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