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