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