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