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