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