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