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