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