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