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