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