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