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