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