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