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