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