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