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