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