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