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