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