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