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