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