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