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