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