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