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