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