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