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