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