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