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