Graph forms
for C4 [ 512, 495 ] =
BGCG(UG(ATD[256,206]);K1;{13,16,19,22})
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 495 ] =
BGCG(UG(ATD[256,206]);K1;{13,16,19,22}).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {256, 274}, {256, 345}, {256, 405}, {256, 455}, {37, 293}, {249,
505}, {39, 295}, {87, 343}, {183, 439}, {36, 293}, {254, 511}, {122, 379}, {46,
303}, {65, 320}, {66, 323}, {81, 336}, {198, 455}, {201, 456}, {48, 306}, {115,
369}, {54, 308}, {11, 264}, {114, 369}, {112, 371}, {22, 277}, {69, 326}, {81,
338}, {109, 366}, {186, 441}, {188, 447}, {138, 398}, {153, 413}, {169, 429},
{200, 460}, {228, 480}, {12, 265}, {171, 430}, {240, 501}, {242, 503}, {8, 270},
{92, 346}, {183, 433}, {71, 320}, {176, 439}, {9, 257}, {127, 375}, {14, 262},
{184, 432}, {234, 482}, {7, 270}, {134, 399}, {18, 283}, {170, 419}, {23, 285},
{106, 352}, {184, 434}, {195, 457}, {6, 269}, {120, 371}, {32, 299}, {47, 292},
{59, 304}, {98, 361}, {219, 464}, {29, 273}, {149, 409}, {48, 316}, {73, 325},
{204, 448}, {235, 487}, {180, 441}, {227, 494}, {16, 286}, {156, 402}, {168,
422}, {199, 457}, {96, 367}, {160, 431}, {223, 464}, {235, 484}, {62, 302},
{129, 401}, {111, 383}, {179, 419}, {182, 422}, {208, 448}, {20, 261}, {26,
267}, {195, 466}, {128, 402}, {146, 384}, {199, 469}, {241, 483}, {70, 341},
{250, 489}, {150, 389}, {123, 360}, {180, 423}, {189, 430}, {46, 314}, {245,
481}, {151, 387}, {7, 274}, {253, 488}, {177, 420}, {11, 285}, {248, 494}, {64,
342}, {67, 341}, {83, 325}, {1, 278}, {178, 421}, {228, 499}, {12, 276}, {137,
401}, {118, 366}, {43, 306}, {135, 414}, {173, 436}, {3, 281}, {135, 413}, {12,
278}, {20, 270}, {60, 295}, {214, 461}, {99, 383}, {132, 408}, {123, 359}, {114,
366}, {162, 446}, {19, 270}, {220, 449}, {221, 448}, {7, 281}, {244, 490}, {50,
300}, {80, 334}, {169, 439}, {186, 420}, {197, 475}, {203, 469}, {210, 460},
{10, 277}, {121, 358}, {18, 269}, {194, 477}, {214, 502}, {249, 473}, {236,
460}, {32, 257}, {141, 428}, {138, 427}, {34, 259}, {68, 357}, {14, 300}, {158,
444}, {40, 266}, {93, 383}, {100, 326}, {196, 486}, {148, 439}, {174, 397},
{226, 449}, {48, 276}, {154, 446}, {137, 429}, {62, 282}, {197, 481}, {48, 277},
{116, 337}, {50, 279}, {98, 327}, {194, 487}, {234, 463}, {18, 308}, {255, 473},
{139, 429}, {122, 348}, {108, 330}, {217, 511}, {230, 448}, {121, 350}, {225,
454}, {17, 313}, {114, 346}, {89, 369}, {218, 498}, {148, 445}, {169, 384},
{130, 424}, {198, 492}, {98, 329}, {206, 485}, {85, 377}, {154, 438}, {239,
451}, {36, 265}, {250, 471}, {159, 434}, {112, 349}, {111, 322}, {53, 280}, {66,
367}, {238, 451}, {143, 417}, {194, 492}, {170, 389}, {187, 404}, {206, 481},
{92, 364}, {253, 461}, {141, 445}, {193, 497}, {238, 478}, {61, 268}, {97, 336},
{162, 403}, {72, 378}, {129, 435}, {78, 380}, {79, 381}, {86, 356}, {176, 386},
{216, 490}, {43, 280}, {73, 378}, {26, 302}, {208, 484}, {224, 468}, {7, 306},
{39, 274}, {65, 372}, {86, 355}, {232, 477}, {3, 309}, {157, 427}, {203, 509},
{118, 321}, {168, 415}, {196, 499}, {33, 281}, {39, 287}, {97, 345}, {179, 395},
{226, 474}, {231, 479}, {52, 269}, {255, 454}, {15, 309}, {88, 354}, {177, 395},
{201, 499}, {40, 276}, {105, 340}, {181, 392}, {211, 494}, {22, 296}, {219,
485}, {230, 472}, {79, 368}, {130, 445}, {242, 461}, {52, 372}, {158, 478}, {94,
286}, {28, 349}, {109, 300}, {174, 495}, {212, 405}, {215, 406}, {6, 324}, {152,
474}, {128, 450}, {58, 376}, {87, 277}, {94, 284}, {173, 495}, {233, 427}, {41,
362}, {156, 479}, {188, 511}, {192, 387}, {218, 409}, {221, 414}, {30, 346},
{85, 273}, {108, 296}, {59, 382}, {88, 285}, {2, 324}, {17, 343}, {46, 360},
{153, 478}, {56, 368}, {124, 308}, {233, 417}, {213, 412}, {224, 425}, {243,
442}, {28, 342}, {113, 315}, {54, 380}, {212, 414}, {213, 415}, {144, 475},
{145, 474}, {216, 403}, {21, 345}, {142, 450}, {86, 282}, {99, 303}, {2, 335},
{23, 346}, {43, 358}, {51, 382}, {169, 484}, {233, 420}, {1, 335}, {6, 328},
{178, 508}, {231, 425}, {72, 263}, {77, 258}, {95, 272}, {181, 506}, {222, 401},
{128, 464}, {149, 453}, {140, 476}, {168, 504}, {178, 482}, {225, 433}, {117,
292}, {172, 509}, {221, 396}, {222, 399}, {175, 509}, {180, 486}, {23, 324},
{122, 297}, {38, 373}, {60, 367}, {91, 264}, {217, 394}, {26, 334}, {251, 431},
{128, 468}, {163, 502}, {75, 284}, {159, 456}, {163, 500}, {26, 322}, {136,
464}, {31, 327}, {46, 374}, {83, 267}, {205, 404}, {239, 438}, {44, 374}, {251,
417}, {119, 301}, {80, 266}, {49, 362}, {250, 417}, {135, 476}, {123, 288}, {62,
357}, {75, 272}, {206, 405}, {38, 378}, {134, 474}, {129, 477}, {56, 357}, {117,
296}, {171, 502}, {184, 485}, {23, 329}, {133, 475}, {85, 267}, {191, 481}, {25,
326}, {137, 470}, {161, 510}, {192, 415}, {210, 397}, {220, 387}, {240, 431},
{155, 507}, {88, 313}, {103, 262}, {18, 368}, {42, 328}, {53, 343}, {61, 351},
{102, 260}, {209, 435}, {214, 436}, {241, 403}, {70, 293}, {155, 504}, {101,
262}, {16, 372}, {35, 327}, {49, 341}, {78, 298}, {101, 257}, {28, 377}, {146,
503}, {144, 501}, {68, 289}, {204, 425}, {61, 347}, {248, 414}, {62, 344}, {65,
295}, {77, 299}, {89, 319}, {90, 316}, {95, 313}, {183, 465}, {13, 362}, {74,
301}, {77, 298}, {100, 259}, {95, 311}, {245, 413}, {133, 493}, {131, 491},
{119, 287}, {176, 472}, {29, 372}, {151, 510}, {49, 344}, {122, 272}, {253,
407}, {125, 279}, {163, 457}, {231, 397}, {27, 368}, {100, 271}, {175, 452},
{181, 478}, {55, 347}, {74, 294}, {190, 466}, {215, 443}, {9, 356}, {244, 409},
{34, 335}, {40, 325}, {50, 351}, {103, 266}, {166, 459}, {193, 428}, {203, 422},
{76, 290}, {106, 261}, {149, 506}, {110, 257}, {44, 348}, {119, 263}, {81, 289},
{97, 273}, {107, 283}, {164, 468}, {191, 463}, {197, 437}, {243, 387}, {21,
356}, {70, 311}, {106, 280}, {142, 508}, {6, 373}, {57, 333}, {60, 328}, {173,
473}, {187, 463}, {142, 507}, {247, 386}, {244, 385}, {82, 292}, {154, 492},
{117, 259}, {205, 443}, {64, 311}, {156, 491}, {115, 260}, {223, 424}, {59,
323}, {140, 500}, {131, 507}, {63, 326}, {130, 507}, {73, 304}, {102, 287},
{223, 422}, {150, 492}, {171, 465}, {211, 425}, {93, 294}, {113, 266}, {96,
283}, {104, 275}, {226, 409}, {10, 374}, {254, 386}, {147, 495}, {31, 354},
{157, 480}, {151, 490}, {146, 495}, {91, 294}, {171, 470}, {198, 443}, {205,
432}, {8, 374}, {138, 500}, {29, 355}, {197, 443}, {45, 338}, {245, 394}, {136,
503}, {59, 324}, {10, 394}, {136, 264}, {119, 503}, {16, 400}, {37, 421}, {217,
345}, {34, 419}, {116, 501}, {52, 437}, {103, 486}, {162, 291}, {170, 299},
{237, 364}, {84, 470}, {249, 379}, {172, 302}, {82, 465}, {177, 306}, {28, 408},
{246, 370}, {120, 508}, {76, 456}, {106, 494}, {166, 290}, {201, 333}, {21,
400}, {77, 456}, {78, 459}, {231, 354}, {10, 396}, {251, 381}, {139, 269}, {127,
505}, {118, 496}, {38, 416}, {82, 469}, {186, 317}, {189, 314}, {239, 360}, {13,
389}, {147, 283}, {229, 365}, {140, 261}, {215, 350}, {5, 399}, {153, 275}, {17,
411}, {72, 450}, {205, 327}, {5, 398}, {35, 424}, {63, 436}, {82, 473}, {87,
476}, {164, 303}, {181, 318}, {126, 498}, {142, 258}, {162, 302}, {41, 420},
{255, 370}, {127, 498}, {178, 319}, {63, 433}, {243, 381}, {20, 411}, {107,
484}, {185, 310}, {236, 355}, {69, 469}, {246, 358}, {161, 305}, {185, 297}, {9,
408}, {246, 359}, {24, 393}, {41, 440}, {88, 457}, {164, 309}, {19, 385}, {92,
462}, {99, 497}, {4, 407}, {155, 264}, {148, 263}, {44, 447}, {45, 446}, {29,
393}, {114, 486}, {188, 296}, {19, 390}, {50, 423}, {101, 496}, {41, 447}, {245,
355}, {98, 500}, {37, 434}, {247, 352}, {111, 504}, {175, 312}, {220, 331},
{195, 347}, {212, 332}, {239, 375}, {216, 321}, {101, 511}, {194, 344}, {237,
375}, {67, 472}, {204, 343}, {207, 340}, {209, 330}, {210, 329}, {25, 389},
{254, 354}, {238, 370}, {241, 365}, {57, 423}, {152, 262}, {74, 468}, {177,
303}, {8, 407}, {9, 406}, {17, 398}, {25, 390}, {47, 432}, {166, 313}, {192,
351}, {69, 485}, {124, 476}, {158, 319}, {159, 318}, {199, 358}, {237, 332},
{110, 460}, {129, 291}, {195, 353}, {203, 361}, {56, 411}, {102, 453}, {219,
376}, {14, 426}, {105, 461}, {167, 259}, {244, 336}, {167, 258}, {121, 479},
{190, 280}, {200, 366}, {32, 391}, {69, 482}, {95, 504}, {2, 426}, {251, 339},
{152, 304}, {147, 315}, {115, 475}, {102, 462}, {218, 370}, {219, 371}, {56,
401}, {37, 399}, {124, 470}, {54, 412}, {165, 271}, {186, 272}, {3, 424}, {139,
288}, {14, 421}, {24, 435}, {33, 394}, {39, 396}, {220, 375}, {22, 442}, {125,
465}, {182, 282}, {20, 442}, {248, 342}, {224, 334}, {27, 436}, {252, 339},
{158, 305}, {55, 408}, {74, 506}, {126, 462}, {89, 489}, {187, 267}, {191, 271},
{208, 352}, {43, 410}, {117, 452}, {116, 453}, {200, 377}, {11, 441}, {150,
292}, {65, 499}, {217, 363}, {73, 506}, {252, 335}, {249, 330}, {207, 379},
{255, 331}, {234, 350}, {31, 426}, {49, 388}, {225, 340}, {44, 410}, {125, 459},
{93, 491}, {94, 488}, {164, 284}, {175, 279}, {189, 261}, {242, 330}, {84, 493},
{147, 298}, {165, 284}, {210, 363}, {3, 441}, {151, 301}, {76, 502}, {11, 432},
{250, 321}, {140, 311}, {45, 406}, {51, 392}, {91, 480}, {230, 349}, {209, 365},
{5, 440}, {144, 301}, {58, 391}, {30, 416}, {247, 329}, {148, 298}, {84, 490},
{185, 263}, {31, 416}, {120, 455}, {45, 402}, {96, 479}, {242, 333}, {108, 428},
{224, 288}, {35, 482}, {157, 348}, {83, 402}, {1, 451}, {33, 483}, {64, 386},
{165, 359}, {35, 480}, {254, 317}, {146, 337}, {36, 487}, {51, 496}, {2, 454},
{111, 427}, {94, 410}, {89, 412}, {176, 373}, {188, 377}, {202, 271}, {227,
294}, {21, 467}, {80, 406}, {215, 273}, {4, 451}, {53, 498}, {58, 509}, {93,
410}, {185, 382}, {136, 320}, {196, 268}, {228, 300}, {8, 449}, {116, 445}, {30,
471}, {107, 418}, {184, 369}, {15, 453}, {13, 454}, {152, 339}, {126, 437}, {24,
467}, {76, 384}, {112, 444}, {206, 258}, {51, 510}, {160, 365}, {141, 320},
{133, 328}, {131, 334}, {67, 398}, {90, 407}, {167, 362}, {172, 353}, {193,
268}, {67, 397}, {133, 331}, {127, 433}, {72, 391}, {130, 333}, {121, 438},
{109, 418}, {166, 361}, {27, 459}, {145, 321}, {126, 430}, {99, 435}, {212,
260}, {125, 428}, {207, 286}, {229, 308}, {236, 317}, {85, 391}, {90, 392},
{100, 438}, {25, 458}, {248, 299}, {159, 332}, {47, 508}, {232, 315}, {240,
291}, {33, 501}, {81, 388}, {252, 297}, {139, 350}, {132, 337}, {193, 276},
{235, 318}, {38, 496}, {87, 385}, {105, 447}, {190, 360}, {229, 307}, {19, 452},
{247, 288}, {52, 483}, {86, 385}, {91, 396}, {190, 361}, {225, 310}, {240, 295},
{53, 493}, {80, 392}, {173, 373}, {235, 307}, {115, 426}, {252, 293}, {141,
340}, {134, 351}, {170, 371}, {228, 317}, {232, 305}, {13, 471}, {57, 483}, {70,
412}, {214, 268}, {226, 312}, {34, 505}, {97, 442}, {22, 458}, {113, 429}, {79,
403}, {202, 278}, {143, 337}, {163, 380}, {180, 363}, {187, 356}, {233, 310},
{71, 423}, {16, 497}, {79, 430}, {208, 305}, {66, 416}, {160, 322}, {135, 357},
{4, 487}, {12, 488}, {161, 325}, {15, 491}, {42, 462}, {109, 393}, {182, 338},
{237, 265}, {42, 463}, {154, 383}, {120, 413}, {110, 395}, {137, 367}, {179,
341}, {218, 316}, {30, 505}, {68, 419}, {108, 395}, {165, 322}, {191, 344},
{198, 289}, {209, 310}, {1, 489}, {149, 381}, {110, 390}, {211, 315}, {221,
309}, {40, 449}, {118, 415}, {243, 282}, {57, 467}, {253, 279}, {238, 260}, {54,
477}, {202, 289}, {5, 489}, {104, 388}, {207, 291}, {42, 455}, {161, 332}, {63,
466}, {174, 323}, {182, 347}, {211, 318}, {213, 312}, {222, 307}, {241, 287},
{60, 467}, {123, 404}, {105, 390}, {179, 348}, {24, 488}, {145, 353}, {112,
384}, {58, 458}, {227, 275}, {15, 510}, {150, 359}, {83, 418}, {216, 297}, {78,
444}, {160, 338}, {36, 471}, {55, 452}, {104, 411}, {96, 404}, {143, 379}, {183,
323}, {4, 497}, {153, 364}, {143, 378}, {55, 450}, {71, 434}, {75, 446}, {230,
275}, {27, 493}, {157, 363}, {189, 331}, {201, 319}, {204, 314}, {61, 458}, {66,
437}, {103, 400}, {213, 290}, {234, 285}, {32, 472}, {124, 388}, {113, 393},
{64, 440}, {90, 418}, {174, 342}, {200, 304}, {92, 421}, {202, 307}, {132, 382},
{155, 353}, {134, 380}, {167, 349}, {227, 281}, {71, 444}, {131, 376}, {84,
431}, {107, 400}, {168, 339}, {229, 286}, {68, 440}, {156, 352}, {144, 364},
{132, 376}, {172, 336}, {192, 316}, {196, 312}, {222, 290}, {47, 466}, {104,
405}, {199, 314}, {232, 278}, {236, 274}, {246, 265}, {75, 512}, {138, 512},
{145, 512}, {223, 512} }>;
(II) A more general form is to represent the graph as the orbit of {256, 274}
under the group generated by the following permutations:
a: (2, 5)(3, 9)(4, 12)(6, 17)(7, 21)(8, 24)(10, 29)(11, 32)(13, 37)(14, 41)(15,
45)(16, 48)(18, 53)(19, 57)(20, 60)(22, 65)(23, 67)(25, 71)(26, 74)(28, 35)(30,
70)(31, 64)(33, 86)(34, 89)(38, 95)(39, 97)(40, 99)(42, 104)(43, 107)(44,
109)(46, 113)(47, 77)(49, 92)(50, 105)(51, 75)(52, 87)(54, 127)(55, 130)(56,
133)(58, 136)(59, 138)(61, 141)(62, 144)(63, 78)(66, 140)(68, 115)(69, 112)(72,
155)(73, 111)(76, 82)(79, 84)(80, 164)(81, 102)(83, 93)(85, 91)(88, 176)(90,
94)(96, 106)(98, 174)(100, 158)(101, 186)(103, 177)(108, 196)(110, 180)(114,
179)(116, 182)(117, 201)(118, 122)(119, 172)(120, 206)(121, 208)(123, 211)(124,
126)(125, 214)(128, 131)(129, 220)(132, 223)(134, 225)(135, 197)(137, 189)(139,
204)(143, 168)(145, 185)(146, 203)(147, 190)(148, 195)(149, 160)(150, 159)(151,
162)(152, 233)(153, 191)(154, 161)(157, 200)(163, 183)(165, 181)(166, 173)(167,
178)(169, 199)(170, 184)(175, 242)(187, 227)(188, 228)(192, 207)(194, 237)(198,
212)(202, 238)(205, 248)(209, 226)(213, 249)(215, 221)(217, 236)(218, 229)(222,
255)(230, 234)(231, 247)(232, 239)(235, 246)(240, 243)(241, 244)(250, 252)(257,
441)(258, 508)(259, 319)(260, 289)(261, 367)(262, 420)(263, 353)(264, 391)(265,
487)(266, 303)(267, 294)(268, 428)(269, 343)(270, 467)(271, 478)(272, 496)(273,
396)(274, 345)(275, 463)(276, 497)(277, 372)(278, 451)(279, 461)(280, 283)(281,
356)(282, 501)(284, 392)(285, 472)(286, 316)(287, 336)(288, 425)(290, 473)(291,
387)(292, 456)(293, 471)(295, 442)(296, 499)(297, 321)(298, 466)(299, 432)(300,
447)(301, 302)(304, 427)(305, 438)(306, 400)(307, 370)(308, 498)(309, 406)(310,
474)(311, 416)(312, 330)(313, 373)(314, 429)(315, 360)(317, 511)(318, 359)(320,
458)(322, 506)(323, 500)(324, 398)(325, 383)(326, 444)(327, 342)(328, 411)(329,
397)(331, 401)(332, 492)(333, 452)(334, 468)(335, 489)(337, 422)(338, 453)(339,
417)(340, 351)(341, 346)(344, 364)(347, 445)(348, 366)(349, 482)(350, 448)(352,
479)(354, 386)(355, 394)(357, 475)(358, 484)(361, 495)(362, 421)(363, 460)(365,
409)(368, 493)(369, 419)(371, 485)(374, 393)(375, 477)(376, 464)(377, 480)(378,
504)(379, 415)(380, 433)(381, 431)(382, 512)(384, 469)(385, 483)(388, 462)(389,
434)(390, 423)(395, 486)(399, 454)(402, 491)(403, 490)(404, 494)(405, 455)(407,
488)(408, 424)(410, 418)(412, 505)(413, 481)(414, 443)(426, 440)(430, 470)(435,
449)(436, 459)(437, 476)(439, 457)(446, 510)(450, 507)(465, 502)(503, 509) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (2, 239)(3, 85)(4, 252)(5, 232)(6, 190)(7, 72)(8, 185)(9, 91)(10, 132)(11,
187)(12, 250)(13, 237)(14, 154)(15, 188)(16, 168)(17, 147)(18, 166)(19, 119)(20,
148)(21, 155)(22, 116)(23, 123)(24, 145)(25, 144)(26, 180)(28, 221)(29, 223)(30,
246)(31, 121)(32, 227)(33, 58)(34, 238)(35, 215)(37, 194)(38, 43)(39, 55)(40,
233)(41, 161)(42, 47)(44, 51)(45, 228)(46, 59)(48, 143)(49, 159)(50, 162)(52,
203)(53, 173)(54, 222)(56, 78)(57, 172)(60, 195)(61, 240)(62, 71)(63, 133)(64,
208)(65, 182)(66, 199)(67, 211)(68, 158)(69, 197)(70, 235)(73, 177)(74, 110)(75,
109)(76, 124)(77, 104)(79, 125)(80, 157)(81, 201)(82, 126)(83, 186)(84, 214)(86,
136)(87, 146)(88, 96)(89, 202)(90, 122)(92, 150)(93, 101)(94, 118)(95, 107)(97,
130)(98, 139)(99, 152)(100, 115)(102, 117)(103, 111)(105, 151)(106, 176)(108,
149)(112, 135)(113, 138)(114, 165)(127, 255)(128, 236)(129, 134)(131, 217)(137,
163)(140, 169)(141, 243)(142, 256)(153, 170)(156, 254)(160, 196)(164, 200)(167,
212)(174, 204)(175, 241)(178, 198)(179, 181)(183, 189)(184, 191)(192, 207)(193,
251)(205, 234)(209, 226)(210, 224)(213, 229)(216, 253)(218, 249)(219, 245)(220,
225)(230, 248)(242, 244)(257, 294)(258, 405)(259, 260)(261, 439)(262, 383)(263,
270)(264, 356)(265, 471)(266, 427)(267, 441)(268, 431)(269, 361)(271, 369)(272,
418)(273, 424)(274, 450)(275, 299)(276, 417)(277, 337)(278, 489)(279, 403)(280,
373)(281, 391)(282, 320)(283, 313)(284, 366)(285, 404)(286, 415)(287, 452)(288,
329)(289, 319)(290, 308)(291, 351)(292, 462)(293, 487)(295, 347)(296, 453)(297,
407)(298, 411)(300, 446)(301, 390)(302, 423)(303, 304)(305, 440)(306, 378)(307,
412)(309, 377)(310, 449)(311, 484)(312, 365)(314, 323)(315, 398)(316, 379)(317,
402)(318, 341)(321, 488)(322, 486)(324, 360)(325, 420)(326, 475)(327, 350)(328,
466)(330, 409)(331, 433)(332, 362)(333, 336)(334, 363)(335, 451)(338, 499)(339,
497)(340, 387)(342, 448)(343, 495)(344, 434)(345, 507)(346, 359)(348, 392)(349,
414)(352, 386)(353, 467)(354, 479)(355, 464)(357, 444)(358, 416)(364, 389)(367,
457)(368, 459)(370, 505)(371, 413)(372, 422)(374, 382)(375, 454)(376, 394)(380,
401)(381, 428)(384, 476)(385, 503)(388, 456)(393, 512)(395, 506)(396, 408)(397,
425)(399, 477)(400, 504)(406, 480)(410, 496)(419, 478)(421, 492)(426, 438)(429,
500)(430, 465)(432, 463)(435, 474)(436, 493)(437, 469)(442, 445)(443, 482)(447,
510)(455, 508)(458, 501)(460, 468)(461, 490)(470, 502)(472, 494)(473, 498)(481,
485)(483, 509)(491, 511)
c: (1, 2)(3, 7)(4, 31)(5, 225)(6, 232)(8, 35)(9, 45)(10, 91)(11, 48)(12, 23)(13,
250)(14, 239)(15, 256)(16, 231)(17, 141)(18, 147)(19, 223)(20, 130)(21, 156)(22,
155)(24, 247)(25, 145)(26, 85)(27, 78)(28, 160)(29, 224)(30, 36)(32, 162)(33,
227)(34, 252)(37, 127)(38, 194)(39, 221)(40, 234)(41, 233)(42, 161)(43, 180)(44,
157)(46, 228)(47, 192)(49, 143)(50, 190)(51, 198)(52, 211)(53, 71)(54, 173)(55,
182)(56, 148)(57, 106)(58, 172)(59, 202)(60, 208)(61, 195)(62, 72)(63, 134)(64,
209)(65, 204)(66, 235)(67, 207)(68, 185)(69, 226)(70, 249)(73, 191)(74, 245)(75,
110)(76, 171)(77, 79)(80, 215)(81, 132)(82, 213)(83, 187)(84, 112)(86, 128)(87,
136)(88, 193)(89, 255)(90, 205)(92, 237)(93, 217)(94, 210)(95, 108)(96, 107)(97,
131)(98, 253)(99, 254)(100, 152)(101, 154)(102, 212)(103, 121)(104, 116)(105,
138)(109, 123)(111, 188)(113, 139)(114, 246)(115, 238)(117, 168)(118, 150)(119,
135)(120, 151)(122, 179)(124, 146)(125, 166)(126, 159)(129, 176)(133, 158)(137,
169)(140, 242)(142, 243)(144, 153)(149, 206)(163, 214)(164, 236)(165, 200)(167,
251)(170, 216)(174, 229)(175, 203)(177, 186)(178, 220)(181, 197)(183, 222)(184,
218)(189, 201)(196, 199)(219, 244)(230, 240)(241, 248)(257, 446)(258, 381)(259,
339)(261, 333)(262, 438)(263, 357)(264, 277)(265, 346)(266, 350)(268, 457)(269,
315)(270, 424)(271, 304)(272, 395)(273, 334)(274, 309)(275, 501)(276, 285)(278,
324)(279, 361)(280, 423)(282, 450)(284, 460)(286, 397)(287, 414)(288, 393)(289,
382)(290, 465)(291, 472)(292, 415)(293, 505)(294, 394)(295, 448)(296, 504)(297,
419)(298, 368)(299, 403)(300, 360)(301, 413)(302, 391)(303, 317)(305, 328)(306,
441)(307, 323)(308, 495)(310, 440)(311, 330)(312, 469)(313, 428)(314, 499)(316,
432)(318, 437)(319, 331)(320, 343)(321, 389)(322, 377)(325, 463)(326, 474)(327,
407)(329, 488)(332, 462)(336, 376)(337, 388)(338, 408)(340, 398)(341, 379)(342,
365)(344, 378)(345, 491)(349, 431)(351, 466)(352, 467)(353, 458)(354, 497)(355,
468)(356, 402)(358, 486)(359, 366)(362, 417)(363, 410)(367, 484)(369, 370)(371,
490)(372, 425)(373, 477)(374, 480)(375, 421)(380, 436)(383, 511)(384, 470)(385,
464)(386, 435)(387, 508)(390, 512)(392, 443)(399, 433)(400, 479)(401, 439)(404,
418)(405, 453)(409, 485)(411, 445)(412, 473)(416, 487)(422, 452)(426, 451)(427,
447)(430, 456)(434, 498)(442, 507)(444, 493)(449, 482)(454, 489)(455, 510)(461,
500)(475, 478)(476, 503)(481, 506)(483, 494)(492, 496)
C4[ 512, 495 ]
512
-1 451 278 335 489
-2 454 324 335 426
-3 309 441 281 424
-4 407 451 497 487
-5 440 398 399 489
-6 269 324 328 373
-7 270 281 306 274
-8 374 407 270 449
-9 408 257 356 406
-10 374 396 277 394
-11 264 441 432 285
-12 265 276 278 488
-13 454 389 471 362
-14 300 421 426 262
-15 309 453 510 491
-16 286 497 400 372
-17 343 398 411 313
-18 308 269 368 283
-19 385 452 390 270
-20 442 411 270 261
-21 345 356 400 467
-22 277 442 458 296
-23 324 346 285 329
-24 488 467 435 393
-25 389 390 326 458
-26 267 322 334 302
-27 368 436 459 493
-28 342 408 377 349
-29 355 393 273 372
-30 346 416 471 505
-31 354 327 426 416
-32 299 257 391 472
-33 281 501 394 483
-34 419 335 259 505
-35 424 480 327 482
-36 265 487 293 471
-37 399 421 434 293
-38 496 378 416 373
-39 396 287 295 274
-40 276 266 325 449
-41 440 420 447 362
-42 462 463 455 328
-43 410 280 358 306
-44 374 410 348 447
-45 402 446 338 406
-46 374 303 314 360
-47 508 432 466 292
-48 276 277 316 306
-49 341 344 388 362
-50 300 279 423 351
-51 496 510 392 382
-52 269 437 372 483
-53 343 498 280 493
-54 308 477 412 380
-55 408 452 347 450
-56 411 357 368 401
-57 333 423 467 483
-58 376 509 391 458
-59 323 324 304 382
-60 367 467 295 328
-61 268 347 458 351
-62 344 302 357 282
-63 433 466 326 436
-64 440 342 386 311
-65 320 499 295 372
-66 323 367 437 416
-67 341 397 398 472
-68 440 419 289 357
-69 485 326 469 482
-70 341 311 412 293
-71 320 444 423 434
-72 378 391 263 450
-73 506 378 325 304
-74 506 301 468 294
-75 446 512 272 284
-76 290 456 502 384
-77 298 299 258 456
-78 298 444 380 459
-79 430 368 381 403
-80 266 334 392 406
-81 289 388 336 338
-82 473 465 292 469
-83 418 267 325 402
-84 431 490 470 493
-85 267 377 391 273
-86 385 355 356 282
-87 385 277 343 476
-88 354 313 457 285
-89 319 412 489 369
-90 407 418 392 316
-91 264 396 480 294
-92 462 364 421 346
-93 410 491 294 383
-94 286 410 488 284
-95 311 313 272 504
-96 367 479 283 404
-97 442 345 336 273
-98 500 327 361 329
-99 497 303 435 383
-100 259 271 326 438
-101 496 257 511 262
-102 462 287 453 260
-103 266 486 400 262
-104 275 388 411 405
-105 390 447 340 461
-106 352 280 261 494
-107 418 484 400 283
-108 330 296 395 428
-109 418 300 366 393
-110 257 390 460 395
-111 322 383 427 504
-112 444 349 371 384
-113 429 266 315 393
-114 486 366 346 369
-115 475 369 260 426
-116 453 445 501 337
-117 452 259 292 296
-118 496 321 366 415
-119 287 301 503 263
-120 508 455 413 371
-121 358 479 350 438
-122 297 379 348 272
-123 288 359 360 404
-124 308 388 476 470
-125 465 279 459 428
-126 462 430 498 437
-127 375 498 433 505
-128 464 402 468 450
-129 477 291 401 435
-130 507 333 445 424
-131 507 376 334 491
-132 408 376 337 382
-133 331 475 328 493
-134 474 399 380 351
-135 476 357 413 414
-136 264 320 464 503
-137 429 367 401 470
-138 398 500 512 427
-139 429 288 269 350
-140 311 476 500 261
-141 320 445 340 428
-142 507 508 258 450
-143 378 379 337 417
-144 364 475 301 501
-145 353 474 321 512
-146 495 337 503 384
-147 495 298 315 283
-148 298 445 263 439
-149 506 409 453 381
-150 389 292 359 492
-151 387 301 510 490
-152 474 304 262 339
-153 275 364 478 413
-154 446 492 383 438
-155 264 353 507 504
-156 352 402 479 491
-157 363 348 480 427
-158 319 444 478 305
-159 332 434 456 318
-160 365 431 322 338
-161 332 510 325 305
-162 291 302 446 403
-163 500 380 457 502
-164 309 303 468 284
-165 322 271 359 284
-166 290 313 459 361
-167 258 259 349 362
-168 422 415 339 504
-169 429 484 384 439
-170 419 299 389 371
-171 430 465 502 470
-172 353 509 302 336
-173 473 495 436 373
-174 495 342 397 323
-175 452 509 279 312
-176 386 373 439 472
-177 420 303 306 395
-178 319 508 421 482
-179 341 419 348 395
-180 363 441 486 423
-181 506 478 392 318
-182 422 347 282 338
-183 465 323 433 439
-184 485 432 434 369
-185 297 310 382 263
-186 441 420 272 317
-187 463 267 356 404
-188 377 511 447 296
-189 331 430 314 261
-190 466 280 360 361
-191 463 344 271 481
-192 387 316 415 351
-193 276 497 268 428
-194 344 487 477 492
-195 353 466 347 457
-196 486 268 312 499
-197 475 443 437 481
-198 289 443 455 492
-199 314 358 457 469
-200 366 377 304 460
-201 319 333 499 456
-202 278 289 271 307
-203 509 422 469 361
-204 343 314 425 448
-205 432 443 327 404
-206 485 258 481 405
-207 286 291 379 340
-208 352 484 305 448
-209 330 310 365 435
-210 363 397 460 329
-211 315 425 318 494
-212 332 260 414 405
-213 290 312 412 415
-214 268 436 502 461
-215 443 273 350 406
-216 297 321 490 403
-217 363 345 511 394
-218 409 498 370 316
-219 485 376 464 371
-220 331 375 387 449
-221 396 309 414 448
-222 399 290 401 307
-223 464 422 424 512
-224 288 334 468 425
-225 310 454 433 340
-226 474 409 312 449
-227 275 281 294 494
-228 300 499 480 317
-229 286 308 365 307
-230 275 349 448 472
-231 397 354 479 425
-232 278 477 315 305
-233 310 420 427 417
-234 463 350 482 285
-235 484 487 307 318
-236 355 317 460 274
-237 265 364 375 332
-238 451 478 260 370
-239 451 375 360 438
-240 431 291 501 295
-241 287 365 403 483
-242 330 333 503 461
-243 387 442 282 381
-244 385 409 336 490
-245 355 413 481 394
-246 265 358 359 370
-247 352 386 288 329
-248 342 299 414 494
-249 330 473 379 505
-250 321 489 471 417
-251 431 381 339 417
-252 297 335 293 339
-253 407 279 488 461
-254 386 354 511 317
-255 473 331 454 370
-256 345 455 405 274
-257 110 101 9 32
-258 77 167 206 142
-259 34 100 167 117
-260 102 212 115 238
-261 189 106 140 20
-262 101 14 103 152
-263 148 72 119 185
-264 11 155 91 136
-265 12 36 246 237
-266 80 113 103 40
-267 187 26 83 85
-268 214 61 193 196
-269 6 18 139 52
-270 7 8 19 20
-271 165 100 191 202
-272 122 95 75 186
-273 215 29 85 97
-274 256 236 39 7
-275 104 227 153 230
-276 12 48 193 40
-277 22 48 10 87
-278 1 12 232 202
-279 253 125 50 175
-280 190 106 53 43
-281 33 3 7 227
-282 243 182 62 86
-283 147 18 96 107
-284 165 94 75 164
-285 11 88 23 234
-286 16 94 207 229
-287 102 39 119 241
-288 123 224 247 139
-289 198 68 81 202
-290 166 222 213 76
-291 129 162 207 240
-292 47 82 117 150
-293 36 37 70 252
-294 91 93 227 74
-295 60 39 240 65
-296 22 188 117 108
-297 122 216 185 252
-298 77 78 147 148
-299 77 170 248 32
-300 14 50 228 109
-301 144 74 151 119
-302 26 62 172 162
-303 99 177 46 164
-304 200 59 73 152
-305 232 158 161 208
-306 177 48 7 43
-307 222 202 235 229
-308 124 18 229 54
-309 221 3 15 164
-310 209 233 225 185
-311 70 95 140 64
-312 213 226 196 175
-313 88 166 17 95
-314 199 46 189 204
-315 232 211 113 147
-316 90 48 192 218
-317 254 236 228 186
-318 211 235 159 181
-319 89 178 201 158
-320 136 71 141 65
-321 145 216 118 250
-322 165 111 26 160
-323 66 59 183 174
-324 23 2 59 6
-325 83 40 73 161
-326 100 25 69 63
-327 35 205 31 98
-328 133 60 6 42
-329 23 210 247 98
-330 209 242 249 108
-331 220 133 189 255
-332 212 159 237 161
-333 242 57 201 130
-334 80 26 224 131
-335 1 34 2 252
-336 244 81 172 97
-337 132 143 146 116
-338 45 81 160 182
-339 168 152 251 252
-340 225 105 141 207
-341 67 179 70 49
-342 28 248 64 174
-343 17 204 53 87
-344 191 49 62 194
-345 256 217 97 21
-346 23 92 114 30
-347 55 61 182 195
-348 44 122 157 179
-349 112 167 28 230
-350 121 234 215 139
-351 134 192 50 61
-352 156 247 106 208
-353 155 145 172 195
-354 88 231 254 31
-355 245 236 29 86
-356 187 9 86 21
-357 56 68 135 62
-358 121 199 246 43
-359 165 123 246 150
-360 46 123 190 239
-361 166 190 203 98
-362 13 167 49 41
-363 210 157 180 217
-364 144 92 237 153
-365 209 160 229 241
-366 200 114 118 109
-367 66 60 137 96
-368 56 79 27 18
-369 89 114 115 184
-370 255 246 238 218
-371 112 170 120 219
-372 16 29 52 65
-373 176 38 6 173
-374 44 46 8 10
-375 220 127 237 239
-376 132 58 131 219
-377 188 200 28 85
-378 143 38 72 73
-379 143 122 249 207
-380 78 134 163 54
-381 243 79 149 251
-382 132 59 51 185
-383 99 154 111 93
-384 112 146 169 76
-385 244 19 86 87
-386 176 254 247 64
-387 220 243 192 151
-388 124 81 49 104
-389 13 25 170 150
-390 110 25 105 19
-391 58 72 85 32
-392 90 80 181 51
-393 24 113 29 109
-394 33 245 217 10
-395 110 177 179 108
-396 221 91 39 10
-397 231 67 210 174
-398 67 5 17 138
-399 134 222 37 5
-400 103 16 107 21
-401 56 222 137 129
-402 45 156 83 128
-403 79 216 162 241
-404 187 123 205 96
-405 212 256 104 206
-406 45 80 215 9
-407 253 90 4 8
-408 55 132 28 9
-409 244 149 226 218
-410 44 93 94 43
-411 56 104 17 20
-412 89 70 213 54
-413 135 245 120 153
-414 221 135 212 248
-415 168 213 192 118
-416 66 38 30 31
-417 143 233 250 251
-418 90 83 107 109
-419 34 68 179 170
-420 177 233 41 186
-421 178 14 37 92
-422 168 223 203 182
-423 57 180 71 50
-424 35 3 223 130
-425 231 211 224 204
-426 2 14 115 31
-427 111 233 157 138
-428 125 193 108 141
-429 113 169 137 139
-430 79 189 126 171
-431 160 84 240 251
-432 11 47 205 184
-433 225 127 183 63
-434 37 71 159 184
-435 99 209 24 129
-436 27 214 63 173
-437 66 126 52 197
-438 121 154 100 239
-439 176 169 148 183
-440 68 5 41 64
-441 11 3 180 186
-442 22 243 20 97
-443 198 215 205 197
-444 78 112 158 71
-445 148 116 130 141
-446 154 45 162 75
-447 44 188 105 41
-448 221 204 208 230
-449 220 226 40 8
-450 55 72 128 142
-451 1 4 238 239
-452 55 117 19 175
-453 102 15 116 149
-454 2 13 255 225
-455 198 256 42 120
-456 77 201 159 76
-457 88 199 195 163
-458 22 25 58 61
-459 78 166 125 27
-460 110 210 200 236
-461 242 253 214 105
-462 102 92 126 42
-463 187 234 191 42
-464 223 136 128 219
-465 125 82 171 183
-466 47 190 63 195
-467 24 57 60 21
-468 224 128 74 164
-469 199 69 82 203
-470 124 137 171 84
-471 13 36 30 250
-472 176 67 32 230
-473 255 82 249 173
-474 134 145 226 152
-475 133 144 115 197
-476 124 135 140 87
-477 232 194 129 54
-478 158 181 238 153
-479 121 231 156 96
-480 35 91 157 228
-481 245 191 206 197
-482 35 178 69 234
-483 33 57 52 241
-484 169 235 107 208
-485 69 184 206 219
-486 103 114 180 196
-487 36 4 235 194
-488 253 12 24 94
-489 1 89 5 250
-490 244 84 216 151
-491 156 15 93 131
-492 154 198 150 194
-493 133 27 84 53
-494 211 248 106 227
-495 146 147 173 174
-496 101 38 51 118
-497 99 4 16 193
-498 126 127 53 218
-499 201 228 196 65
-500 138 140 163 98
-501 33 144 116 240
-502 214 171 163 76
-503 242 146 136 119
-504 111 155 168 95
-505 34 127 249 30
-506 181 149 73 74
-507 155 130 131 142
-508 178 47 120 142
-509 58 203 172 175
-510 15 51 161 151
-511 188 254 101 217
-512 145 223 138 75
0