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