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