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