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