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