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