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