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