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