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