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