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