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