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