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