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