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