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