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