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