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