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