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