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