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