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