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