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