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