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