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