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