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