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