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