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