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