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