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