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