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