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