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