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