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