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