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