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