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