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