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