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