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