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