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