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