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