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