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