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