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