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