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