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