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