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