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