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