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