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