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