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