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