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