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