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