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