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