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