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