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