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