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