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