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