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