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