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