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