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