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