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