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