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