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