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