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