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