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