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