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