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