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