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