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