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