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