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