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