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