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