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