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