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