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