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