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