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