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