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