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