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