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