ConwayLife.com - A community for Conway's Game of Life and related cellular automata
Home  •  LifeWiki  •  Forums  •  Download Golly

15 in 15: Efficient 15-bit Synthesis Project (DONE!)

For discussion of specific patterns or specific families of patterns, both newly-discovered and well-known.

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby BobShemyakin » January 2nd, 2017, 12:35 pm

chris_c wrote:I am attaching a Golly script that can hopefully display an incremental synthesis of any 15 bit still life in less than 15 gliders. Save display_synth.txt and min_paths.txt in the same directory....

I invented an automated algorithm glider syntheses on the database still lifes and converters. I got the first encouraging results and suggest them to you for analysis and search for errors.
First and foremost was able to significantly improve the synthesis database for still lifes with size up to 15 bits, inclusive:
6G: 13.103, 13 222:
x = 82, y = 46, rule = B3/S23
25b2o18b2o28b2o$25bobo17bobo27bobo$26bobo17bobo27bobo$28bo19bo29bo$28b
obo17bobo27bob2o$2o27b2o18b2o28bobo$b2o8b2o41bo25bo$o9b2o42bobo$12bo
38b2ob2o$50bobo$9bo42bo$4b2o3b2o$3bobo2bobo$5bo17$11bo$9b2o$10b2o2$3bo
$bobo$2b2o2bobo14bo14bo19b2o$6b2o11b2obobo9b2obobo14b2obobo$7bo12bobob
o10bobobo15bobo$19bo2b2o10bo2b2o15bo2b2o$19b2o13b2o6b2o10b2o$41b2o$38b
o4bo$bo36b2o$2o35bobo$obo!

7G: 12.55, 12.78, 13.130, 13.194, 13.79, 14.12:
x = 85, y = 222, rule = B3/S23
12bo$11bo$11b3o$6bo$4b2o$bo3b2o$2bo20b2o18b2o18b2o$3o20bo2b2o15bo2b2o
15bo2b2o$24b2o2bo15b2o2bo15b2o2bo$27bobo17bobo17bobo$28bo19bo19b2o$13b
2o$13bobo38b2o$13bo36bo2b2o$50b2o3bo$4b2o43bobo$5b2o$4bo23$obo$b2o6bo$
bo6bo$8b3o4$27b2o18b2o28b2o$27bo2b2o15bo2b2o25bo2b2o$12bo16b2o2bo15b2o
2bo25b2obo$7b2o2b2o19b2o18b2o29bo$6bobo2bobo43bo26bo$8bo46b2o26b2o$56b
2o2$55bo$54b2o$54bobo2$16bo$15b2o$15bobo24$2bo$obo$b2o$11bo$11bobo$11b
2o14b2o18b2o18b2o$6bobo16bo2b3o14bo2b3o14bo2b3o$7b2o16b2o4bo13b2o4bo
13b2o4bo$7bo22bobo17bobo17bobo$31bo19bo19b2o2$15b2o40b2o$2o13bobo35bo
2b2o$b2o12bo37b2o3bo$o51bobo26$2bo2bobo19b2o18b2o28b2o$obo2b2o20bobo
17bobo27bobo$b2o3bo22bo19bo29bo$29bobo17bobo27bobo$30bobo17bobo27bobo$
31bo19bo9bo20bo$13b2o45bo20bo$13bobo37b2o5b3o18b2o$5bo7bo40b2o$5b2o46b
o3b3o$4bobo50bo$58bo24$8bo$8bobo$8b2o$6bo$5b2o15bo19bo29bo$2bo2bobo13b
obo17bobo27bobo$obo17bobo17bobo27bobo$b2o17bo19bo29bo$21bo19bo29bo$22b
obo17bobo2bobo22bo$4b2o17b2o18b2o2b2o24bo$4bobo41bo25bobo$4bo70b2o$45b
2o$46b2o2b2o$45bo3b2o$51bo24$12bo$10b2o$11b2o4$obo$b2o$bo21bo19bo19bo$
22bobo17bobo17bobo$5b2o15bo2bo16bo2bo16bo2bo$6b2o15b2o18b2o18b2o$5bo4b
o14b3o17b3o17b3o$9b2o14bo2bo16bo2bo16bo2bo$9bobo15b2o18b2o17b2o2$51b2o
$51bobo$b3o47bo$3bo43b3o$2bo46bo$48bo!

8G: 12.41, 13.193, 13.43, 13.54:
#D03303418
x = 88, y = 149, rule = B3/S23
13bo$3bobo6bo$4boo6b3o$4bo3$13boo$12boo14boo18boo28boo3boo$3o11bo13bo
3boo14bo3boo24bo3bobo$bbo26bobbo16bobbo26bobbo$bo28bobo17bobo27bobo$
31bo19bo5bo23bo$56bo$56b3o$16boo$15boo38boo3boo$17bo36bobo3bobo$56bo3b
o23$4bo$4bobo$4boo17boo18boo18boo$22bobo17bobo17bobo$21bo19bo19bo$boo
17bo19bo19bo$obo17bobo17bobo17bobo$bbobbobo13bobo17bobo17bobo$5boo15bo
19bo5boo13bo$6bo40boo14boo$8boo39bo$8bobo41boo$8bo30boo6boobboo$40boo
4bobo4bo$39bo8bo26$17bo$17bobo$17boo6$15bobo$6b3o6boo$6bo9bo11boo18boo
28boo$7bo20bo19bo29bo$29bo19bo29bo$6boo22bo19bo29bo$5bobo23bo19bo29bo$
3o4bo24bo19bo29bo$bbo30bobo17bobobbobo22bo$bo32boo18boobboo24bo$59bo
25bobo$86boo$56boo$57boobboo$56bo3boo$62bo22$3bo$4boo$3boo$7bo$6bo$6b
3o$$bbobo$bboo$3bo$19boo18boo28boo$19bo19bo29bo$20b3o17b3o27b3o$6boo
15bo19bo29bo$5boo15bo19bo6bobo20bo$7bo14boo18boo5boo20bo$50bo21b3o$oo
72bo$boo42bo$o44bobo$45boo$41boo$42boo$41bo!

8G: 14.165, 14.244, 14.298, 14.300, 14.368, 14.504, 14.564:
x = 107, y = 269, rule = B3/S23
4b3o12$9bobo8bobo$10b2o8b2o16bo19bo29bo$10bo10bo15bobo17bobo27bobo$34b
obo2bo14bobo2bo24bobo2bo$34b2o3b2o13b2o3b2o3bobo17b2o3b3o$64b2o26bo$
65bo25b2o3$62b3o$62bo$5bo57bo$3bobo$4b2o2$b2o$obo$2bo4b3o$9bo$8bo22$
17bobo$17b2o$18bo2$11b3o$11bo$2bobo7bo$3b2o4bo$3bo5b2o27b2o18b2o18b2o$
8bobo25b3obobo13b3obobo2bobo8b3obo$35bo5b2o12bo5b2o2b2o8bo5bo$35b2o18b
2o9bo8b2o5bobo$83b2o$63b2o$3o61b2o2b2o$2bo60bo3b2o$bo67bo24$18bobo12bo
19bo19bo$18b2o12bobo17bobo17bobo$12b2o5bo11bobobo15bobobo15bobobo$8b2o
2bobo17bo2bo16bo2bo16bo2bo$9b2obo22bobo17bobo17bobo$8bo27bobo17bobo17b
obo$37bo19bo19b2o2$17b2o44b2o$17bobo39bo2b2o$17bo41b2o3bo$58bobo2$10b
3o$12bo$3o8bo$2bo$bo23$2bo$3bo$b3o3$26bo19bo29bo$25bobo17bobo27bobo$4b
obo19bobo17bobo27bobo$5b2o20bobo17bobo27bobo$bo3bo23bo19bo29bo$b2o26bo
bo17bobo6bo20bobo$obo27b2o18b2o6bobo19bobo$54b2o2b2o21b2o$9bo44bobo$9b
2o43bo$8bobo39b2o$51b2o$bo48bo$b2o$obo21$15bobo$15b2o23bo19bo19bo$16bo
22bobo17bobo17bobo$39b2o18b2o18b2o$37b2o18b2o18b2o$36bobo17bobo17bobo$
36bo19bo19bo$12bo24bo19bo19bo$13bo22b2o18b2o20bo$11b3o63b2o$15b2o46bob
o$15bobo45b2o$15bo48bo2$49b3o12b2o$51bo12bobo$50bo9bo3bo$60b2o$b2o56bo
bo$obo$2bo25$36bo8bobo$34bobo8b2o$35b2o9bo$64bo19bo19bo$62b3o17b3o17b
3o$6bo13b3o17b3o18bo19bo19bo$5bo13b3o17b3o3b2o14bob2o16bob2o16bob4o$2o
3b3o37bobo12b2obobo14b2obobo2bo11b2obo2bo$b2o42bo18bo19bo3bobo$o87b2o$
6b2o$6bobo81b2o$6bo82bobo$91bo22$7bo$5bobo$6b2o$26b2o18b2o28b2o$4bo10b
obo8bobo17bobo27bobo$4b2o9b2o11bo19bo29bo$3bobo10bo10bo19bo29bo$27bobo
17bobo27bobo$28bobo17bobo27bobo$29bo19bo9bo20bo$58bo20bo$b2o48b2o5b3o
18b2o$obo49b2o$2bo8b3o37bo3b3o$11bo43bo$12bo43bo!

9G: 13.142, 13.58, 13.76, 13.78:
#D0490FA34
x = 116, y = 146, rule = B3/S23
obo$boo$bo6$26bo$24boo$25boo$36boo23boo19boo$36bobo22bobo18bobo$38bo
24bo5bo14bo$37bo24bo4boo14bo$37boo23boo4boo13boo$14bobo21bo24bo21bo$
15boo21bobo22bobo16bobo$15bo23boo17bobo3boo16boo$11b3o45boo$13bo45bo$
12bo54boo$57boo7boo$58boo8bo$57bo$14boo$15boo$14bo23$48b3o$44bo3bo$45b
oobbo$bobo40boo$boo18bo19bo29bobo17bobobbobo12bo$bbo17bobo17bobo27bob
oo16boboobboo12bobo$20boo18boo28bo19bo6bo12bobbobo$3o65bobo17bobo17bob
o3boo$bbo34bo29bobo17bobo4boo11bobo$bo35boo3boo24bo19bo6boobboo7bo$36b
obobboo51bo3boo$43bo56bo24$7bo$6boo$bbo3bobo$bboo$bobo21boo18boo28boo$
26bo19bo29bo$25bo19bo29bo$13bo10bo19bo29bo$12boo10bobo17bobo27bobo$12b
obo10bobo17bobo27bobo$26bo19bo9bo20bo$55bo20bo$48boo5b3o18boo$3o46boo$
bbo45bo3b3o$bo9bo40bo$10boo41bo$4b3o3bobo$6bo$5bo26$22bo$21bo$21b3o$
40boo18boo18boo$26bo12bobbo16bobbo16bobbo$24boo12bobobbobo12bobobbobo
bbobo7bobobbo$25boo12bo4boo13bo4boobboo9bo4bo$obo66bo15bobo$boo6boo75b
oo$bo8boo54boo$9bo57boobboo$12boo52bo3boo$12bobo57bo$12bo8b3o$21bo$22b
o!

9G: 14.114, 14.118, 14.124, 14.129. 14.235,14.259, 14.264:
x = 136, y = 292, rule = B3/S23
bo$2b2o$b2o2$7bo$8b2o$7b2o13bo$22bobo$22b2o9$26bo18bobo17bobo2bobo12bo
$19b3o3b2o14b2obob2o13b2obob2o2b2o9b2obobo$21bo3bobo14bobo17bobo6bo10b
obo2bobo$20bo21bobo17bobo17bobo3b2o$43bo19bo4b2o13bo$69b2o2b2o$68bo3b
2o$74bo3$9b2o$8bobo$10bo26$bobo$2b2o$2bo4$3bo8bo$4bo5b2o$2b3o6b2o11b2o
bo16b2obo26b2obo$24bob2o16bob2o26bob2o$28b2obo16b2obo2bobo21b2o$3b2o6b
3o14bob2o16bob2o2b2o22bobo$4b2o5bo43bo25bobo$3bo8bo69b2o$52b2o$53b2o2b
2o$52bo3b2o$13bo44bo$12b2o$12bobo31$47bo$45bobo$46b2o2$45bo$44b2o$44bo
bo$7bo28bobo23b2o18b2o28b2o$2b2ob2o15bo14b2o3bo19bo19bo29bo$bobo2b2o
13bobo13bo3bobo19bo19bo29bo$3bo17b2o18b2o17b3o17b3o27b3o$59bo19bo29bo$
37b2o19bobo17bobo28b2o$38b2o19bo19bo9bo20bo$37bo50bo20bo$81b2o5b3o18b
2o$82b2o$81bo3b3o$85bo$86bo26$17bo$15b2o9bo$16b2o8bobo$26b2o$56bo19bo
19bo$2bo20b3o29bobobo15bobobo2bobo10bobo$obo20bo31bo2b2o15bo2b2o2b2o
11bo2bo$b2o21bo9b3o16bobo17bobo7bo9bobo3bobo$34bo17bobo17bobo17bobo5b
2o$35bo17bo19bo6b2o11bo$81b2o2b2o$80bo3b2o$86bo3$15b3o$15bo$16bo23$bob
o101bobo$2b2o6bo95b2o$2bo6bo96bo$9b3o$104b2o$105b2o20b2o$104bo22bo$28b
2o18b2o28b2o28b2o18bo$28bo2b2o15bo2b2o25bo2b2o25bo2b2o16bob2o$13bo16b
2o2bo15b2o2bo25b2obo26b2obo16b2obo$8b2o2b2o19b2o18b2o29bo29bo19bo$7bob
o2bobo43bo26bo29bo19bo$9bo46b2o26b2o28b2o18b2o$57b2o2$56bo$55b2o$55bob
o2$17bo$16b2o$16bobo24$7bo18b2o28b2o18b2o18b2o28b2o$6bo18bo2bo26bo2bo
16bo2bo16bo2bo26bo2bo$6b3o15bo2bobo24bo2bobo14bo2bobo14bo2bobo24bo2bob
o$23bo4bo24bo4bo14bo4bo14bo4bo24bo4b2o$b3o19b2o28b2o17bo19bo29bo$3bo4b
2o38bobo20bo19bo12b2o15bo$2bo6b2o38b2o20b2o18b2o7bo2b2o16b2o$8bo40bo3b
2o45b2o3bo$11b3o38b2o45bobo$11bo36bo5bo$12bo35b2o$47bobo24$31b2o18b2o
28b2o$31bobo17bobo27bobo$16bo17bo19bo29bo$16bobo16bo19bo29bo$16b2o18bo
19bo29bo$37bo19bo29bo$38bo19bo29bo$15bo21b2o18b2o30bo$10b2o2bo37bobo6b
o24b3o$10bobob3o36b2o6bobo22bo$10bo42bo3b2o2b2o$58b2o$52bo4bo$52b2o$
51bobo3$9b2o$10b2o$b3o5bo$3bo$2bo!

9G: 14.294, 14.295, 14.308, 14.380, 14.480, 14.484, 14.65:
#D0490FA34
x = 122, y = 346, rule = B3/S23
bbo$obo$boo28bo$29boo$30boo11$19bo$19bobo54bo19bo19bo$19boo54bobo17bob
o17bobo$74bobbo16bobbo16bobbo$18bo54bo3bobo13bo3bobo13bo3bobo$16bobo
54boo3bobo12boo3bobo12boo3bobo$17boo60bo19bo19boo$$105boo$101bobboo$
101boo3bo$100bobo9$14boobb3o$13bobobbo$15bo3bo16$61boo$60boo$62bo25$4b
o$bbobo$3boo22bobo17bobobbobo12bo$12boo12boboo16boboobboo12bobo$11b4o
11bo19bo6bo12bobbobo$10booboo9bobo17bobo17bobo3boo$11boo10bobo17bobo4b
oo11bobo$23boo18boo6boobboo6boo$50bo3boo$56bo$$10b3o$10bo$11bo$$b3o$3b
o$bbo23$5bo$6bo$4b3o$46boo18boo28boo$bo43bobbo16bobbo5bo20bobbo$bboo
38bobobbobo12bobobbobobboo18bobobbobo$boo39boo4bo13boo4bo4boo17boo4bob
o$25bobo71boo$17boo6boo$16boo8bo44b3o$18bo54bo$14boo56bo3boo$13bobo60b
obo$4b3o8bo60bo$6bo$5bo25$10bo$10bobo$10boo$boo$bboo$bo38bo19bo29bo$
40b3o17b3o27b3o$22b3o18bo19bo29bo$18bo3bo19bo19bo29bo$8bo10boobbo18bob
o17bobo27bobo$8boo8boo23bobo17bobo27bobo$7bobo3boo29bo19bo9bo20bo$14b
oo57bo20bo$13bo52boo5b3o18boo$67boo$66bo3b3o$70bo$71bo23$4bo11bobo$5bo
10boo$3b3o11bo$29boo18boo18boo$28bobbo16bobbo16bobbo$28boboo16boboo16b
oboo$27boobo16boobo16boobo$14bo16bo19bo19b3o$13boo17bo19bo20bo$13bobo
15boo18boo$9b3o48boo$11bo44boobbobo$10bo46boobo$bboo52bo7boo$bobo60bob
o$3bo40bo19bo$44boo$43bobo23$9bo$8bo$8b3o6bo$16bo$16b3o$$bbo$bo38bo14b
o10bo18bo$b3o14boo15boobbobo8boobbobo10bo12boobbobo$17boo16bobobbo9bob
obbo9b3o12bobobbobo$19bo18boo13boo28boobbo$3b3o81boo$3bo10boo50b3o$4bo
8boo53bo$15bo51bo10$48boo$47bobo$49bo24$63bo$61boo$62boo16$16bo3bo$14b
obobbo$15boobb3o14$18boo60bo19bo19bo$17bobo54boo3bobo12boo3bobo12boo3b
obo$19bo54bo3bobo13bo3bobo13bo3boboo$75bobbo16bobbo16bobbo$20boo54bobo
17bobo7boo8bobo$20bobo54bo19bo4bobboo10bo$20bo81boo3bo$101bobo10$31boo
$30boo$bboo28bo$bobo$3bo!

10G: 13.92, 14.154, 14.253:
x = 123, y = 115, rule = B3/S23
4bobo$5b2o3bo$5bo4bobo$10b2o$obo$b2o$bo2$26bo19bo19bo$12bo12bobo17bobo
17bobo$12bobo9bobo17bobo17bobo$12b2o10bo19bo19bo$25bo19bo19bo$26bo19bo
19bo$3bo21b2o18b2o20bo$bobo36bobo6bo14b3o$2b2o2bo34b2o6bobo12bo$6bobo
32bo3b2o2b2o$6b2o38b2o$40bo4bo$40b2o$39bobo24$104bo3bo$102bobo3bobo$
103b2o3b2o$118b2o$13bo14b2o18b2o28b2o18b2o4b3o11bo$8bobo2bobo12bo19bo
10bo18bo19bo5bo14bo$9b2o2b2o14bo19bo10bo18bo19bo5bo10b3obo$9bo16b3o17b
3o9b3o15b3obo15b3obo15bo3bo$26bo19bo29bo3bo15bo3bo19bobo$80b2o18b2o19b
2o$59b3o$b2o12b3o43bo$obo12bo44bo$2bo13bo9$41b2o$40bobo$42bo21$47bo$
48bo$46b3o4$49bo$47b2o$44bo3b2o$45b2o$44b2o$5bo$4bo$4b3o57b2o14b2o19b
2o$23b2o18b2o4bo13bobo13bobo18bobo$22bobo17bobo2b2o13bo15bo20bo$21bo
19bo6b2o11bo15bo20bo$20bo19bo19bo15bo20bo$3o4bo12bobo17bobo17bobo13bob
o18bobo$2bo2b2o14bobo17bobo17bobo13bobo2b3o13bobo$bo4b2o14bo19bo19bo
15bo3bo16bobo$9b2o72bo16bo$9bobo69bo$9bo71b2o$80bobo!

11G: 14.104, 14.338, 14.517, 14.81:
x = 207, y = 222, rule = B3/S23
obo$b2o24bo$bo25bobo$27b2o3$63bobo$64b2o$64bo$71bo$70bo$70b3o2$42b2o2b
2o14b2o2b2o5b3o6b2o2bobo13b2o2bobo2bobo8b2o2bo$42bo2bobo14bo2bobo5bo8b
o2bob2o13bo2bob2o2b2o9bo2bobo$43bobo17bobo8bo8bobo17bobo6bo10bobo2bobo
$29bo3bo10b2o18b2o18b2o18b2o18b2o3b2o$27bobob2o76b2o$28b2o2b2o76b2o2b
2o$109bo3b2o$115bo8$4b2o$5b2o$4bo25$10bo$11bo$2bo6b3o$3bo$b3o$58bobo$
17bo40b2o4bobo$18bo10bo19bo9bo4b2o13bo6b2o$2o14b3o9bobo2b2o13bobo2b2o
10bo12bobo2b2o2bo$b2o26bo2bobo14bo2bobo7bo16bo2bob2o$o29b2o18b2o9b2o
17b2o$14b3o39bobo2bobo$4b2o10bo39b2o$5b2o8bo41bo$4bo$57b3o$57bo$58bo
23$30bo$29bo$29b3o$26bo$2bo24bo19b2o18b2o28b2o$obo22b3o20bo19bo29bo$b
2o44bo19bo4bobo22bo$31bo14bo19bo5b2o4bobo15bo$31bobo11bo19bo7bo4b2o15b
o4b2o$14bo16b2o13b3o17b3o10bo16b3o2bo$15b2o31bo19bo7bo21b2o$14b2o59b2o
$70bobo2bobo$70b2o$71bo2$71b3o$71bo$72bo2$14b2o$15b2o$14bo23$67bo$66bo
$66b3o47$25bo$24bo$24b3o$11bo$10bo$10b3o2$o80b2o38b2o$b2o78b2o38b2o$2o
20b2o$17b2o2b2o94b2o$16bobo4bo94b2o$18bo98bo2$3b3o$5bo$4bo3$84bo39bo$
84bo39bo$84bo39bo2$80b3o3b3o31b3o3b3o$91b2o2b2o34b2o2b2o14b2o2b2o24b2o
2b2o14b2o2b2o$84bo5bo2bo2bo20b2o5bo5bo2bo2bo13bo2bo2bo23bo2bo2bo13bo2b
o2bo$84bo4bobo2b2o22b2o4bo4bobo2b2o13bobo2b2o23bobo2b2o13bobo2b2o$84bo
5bo26bo6bo5bo19bo29bo17bobo$175bo23bo$176b2o$175b2o2b2o$178bobo$180bo!

12G: 14.252:
x = 108, y = 27, rule = B3/S23
47bo$48bo$46b3o4$49bo$47b2o$44bo3b2o$45b2o$44b2o$5bo$4bo$4b3o57b2o20b
2o18b2o$23b2o18b2o4bo13bobo19bobo17bobo$22bobo17bobo2b2o13bo21bo19bo$
21bo19bo6b2o11bo21bo19bo$20bo19bo19bo21bo19bo$3o4bo12bobo17bobo17bobo
19bobo17bobo$2bo2b2o14bobo17bobo17bobo19bobo17bobo$bo4b2o14bo19bo19bo
21bo5b2o13bo$9b2o78b2o14b2o$9bobo79bo$9bo84b2o$81b2o6b2o2b2o$82b2o4bob
o4bo$81bo8bo!


still15-2.rar
For SL15 found 215 improvements
(16.57 KiB) Downloaded 24 times


Bob Shemyakin
BobShemyakin
 
Posts: 191
Joined: June 15th, 2014, 6:24 am

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby chris_c » January 8th, 2017, 12:54 pm

BobShemyakin wrote:I invented an automated algorithm glider syntheses on the database still lifes and converters. I got the first encouraging results and suggest them to you for analysis and search for errors.


Thanks! I didn't find any errors in your syntheses. Looking at your collection I was able to see that I was missing these useful converters:

x = 210, y = 115, rule = B3/S23
208bo$207bo$207b3o2$126bo$125bo65b2o$125b3o62bobo$104bo85bo$6bo98bo82b
3o$7b2o94b3o81bo$6b2o178bobo$187bo2$26bo$25bobo$24bobo$25bo$22b3o$21bo
$21b2o2$117b2o$115bo2bo$115b3o$178b2o$117b3o59b2o$116bo2bo58bo25b3o$
116b2o86bo$205bo2$99b3o$9b2o90bo$8bobo89bo$10bo2$30b2o$30bobo$30bo34$
163bobo$164b2o$164bo$196bobo$196b2o$197bo4$107bo90bo$105b3o90bobo$104b
o93b2o$105bo$102b3o$101bo$101b2o3$obo$b2o174bo$bo174bobo$27bo149b2o$
25b2o152b2o$26b2o151bobo$180bo6$85b3o$12b2o73bo22b2o$11bo2bo71bo23bobo
$10bobobo95bo$10bo2bo100b2o$9b2o103bobo$9bo104bo$11bo$10b2o3$29b3o140b
2o$29bo141bobo$30bo142bo!


Altogether I was able to improve 29 still lifes in the range 12-15 bits and 91 still lifes of population 16. I have pushed an update to my github repo.

Note that I have published a list of still lifes and glider costs in order of still life here. If you keep a similar list then it should be easy to find any differences.
chris_c
 
Posts: 701
Joined: June 28th, 2014, 7:15 am

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby mniemiec » January 8th, 2017, 5:01 pm

This is to Bob Shemyakin (I sent it on Oct. 24, but it doesn't look like you got it).
I am slowly working my way through still15.rar. While I will eventually look through all the syntheses, I am currently looking primarily at syntheses that will affect my secondary stamp collections (i.e. still-lifes buildable from 2-7 gliders, 1 glider/bit, or more than 1 glider/bit). You have several syntheses where you do not list glider counts, so I examined each of them, and discovered one that was incorrect.
Your file "15-466 Bob 04-24-2015.lif" is actually an older synthesis for 15.378.
(I am not worrying about files whose format is incorrect, e.g. RLE files with negative sizes, because the data from these can always be extracted with simple manual editing.)
mniemiec
 
Posts: 719
Joined: June 1st, 2013, 12:00 am

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby Extrementhusiast » January 8th, 2017, 8:38 pm

chris_c wrote:
BobShemyakin wrote:I invented an automated algorithm glider syntheses on the database still lifes and converters. I got the first encouraging results and suggest them to you for analysis and search for errors.


Thanks! I didn't find any errors in your syntheses. Looking at your collection I was able to see that I was missing these useful converters:

RLE

That last converter can be improved further, even making it one-sided, to boot:
x = 23, y = 29, rule = B3/S23
16bobo$16b2o$17bo3bo$20bo$20b3o7$bo$obo$b2o$3b2o$3bobo$4bo10$17b3o$17b
o$18bo!
I Like My Heisenburps! (and others)
User avatar
Extrementhusiast
 
Posts: 1612
Joined: June 16th, 2009, 11:24 pm
Location: USA

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby BobShemyakin » January 9th, 2017, 1:33 pm

mniemiec wrote:This is to Bob Shemyakin (I sent it on Oct. 24, but it doesn't look like you got it).
I am slowly working my way through still15.rar. While I will eventually look through all the syntheses, I am currently looking primarily at syntheses that will affect my secondary stamp collections (i.e. still-lifes buildable from 2-7 gliders, 1 glider/bit, or more than 1 glider/bit). You have several syntheses where you do not list glider counts, so I examined each of them, and discovered one that was incorrect.
Your file "15-466 Bob 04-24-2015.lif" is actually an older synthesis for 15.378.
(I am not worrying about files whose format is incorrect, e.g. RLE files with negative sizes, because the data from these can always be extracted with simple manual editing.)

Thank you! I I'll fix in my database.

Bob Shemyakin
BobShemyakin
 
Posts: 191
Joined: June 15th, 2014, 6:24 am

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby BobShemyakin » January 9th, 2017, 1:43 pm

Extrementhusiast wrote:
chris_c wrote:
BobShemyakin wrote:I invented an automated algorithm glider syntheses on the database still lifes and converters. I got the first encouraging results and suggest them to you for analysis and search for errors.


Thanks! I didn't find any errors in your syntheses. Looking at your collection I was able to see that I was missing these useful converters:

RLE

That last converter can be improved further, even making it one-sided, to boot:
x = 23, y = 29, rule = B3/S23
16bobo$16b2o$17bo3bo$20bo$20b3o7$bo$obo$b2o$3b2o$3bobo$4bo10$17b3o$17b
o$18bo!

Thank you! I will make this converter in my automated algorithm.
In my algorithm I use more than 350 converters, their is not enough.
Now I really need some good converters.

Bob Shemyakin
BobShemyakin
 
Posts: 191
Joined: June 15th, 2014, 6:24 am

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby BobShemyakin » January 9th, 2017, 2:02 pm

chris_c wrote:...

Note that I have published a list of still lifes and glider costs in order of still life here. If you keep a similar list then it should be easy to find any differences.

Thank you! Publish my list SL 4 up to 15 bits. The last column contains distinct from your list (minus in your favor):
No   bit No in bit   G (chris)   G (Bob)      dG
1474   15   392   10      13      -3
1874   15   792   7      10      -3
305   13   82   8      10      -2
1192   15   110   11      13      -2
1244   15   162   11      13      -2
1355   15   273   7      9      -2
1389   15   307   11      13      -2
1672   15   590   11      13      -2
1737   15   655   11      13      -2
1861   15   779   12      14      -2
1864   15   782   10      12      -2
1983   15   901   11      13      -2
2068   15   986   11      13      -2
2422   15   1340   9      11      -2
664   14   201   11      12      -1
676   14   213   11      12      -1
1021   14   558   9      10      -1
1262   15   180   7      8      -1
1281   15   199   9      10      -1
1298   15   216   9      10      -1
1368   15   286   11      12      -1
1472   15   390   12      13      -1
1507   15   425   10      11      -1
1568   15   486   13      14      -1
1570   15   488   9      10      -1
1580   15   498   9      10      -1
1584   15   502   11      12      -1
1585   15   503   11      12      -1
1603   15   521   9      10      -1
1644   15   562   9      10      -1
1660   15   578   10      11      -1
1669   15   587   10      11      -1
1680   15   598   13      14      -1
1770   15   688   9      10      -1
1786   15   704   10      11      -1
1926   15   844   12      13      -1
1963   15   881   12      13      -1
2001   15   919   12      13      -1
2076   15   994   9      10      -1
46   10   15   7      6      1
53   10   22   7      6      1
85   11   29   7      6      1
143   12   41   9      8      1
157   12   55   8      7      1
171   12   69   7      6      1
180   12   78   8      7      1
198   12   96   8      7      1
262   13   39   7      6      1
266   13   43   9      8      1
277   13   54   9      8      1
281   13   58   10      9      1
291   13   68   7      6      1
299   13   76   10      9      1
301   13   78   10      9      1
302   13   79   8      7      1
315   13   92   11      10      1
332   13   109   10      9      1
353   13   130   8      7      1
365   13   142   10      9      1
407   13   184   11      10      1
417   13   194   8      7      1
445   13   222   7      6      1
470   14   7   10      9      1
481   14   18   8      7      1
501   14   38   8      7      1
528   14   65   10      9      1
544   14   81   12      11      1
549   14   86   11      10      1
567   14   104   12      11      1
569   14   106   13      12      1
573   14   110   11      10      1
577   14   114   10      9      1
581   14   118   10      9      1
587   14   124   10      9      1
592   14   129   10      9      1
617   14   154   11      10      1
628   14   165   9      8      1
677   14   214   10      9      1
689   14   226   10      9      1
694   14   231   12      11      1
707   14   244   9      8      1
722   14   259   10      9      1
724   14   261   12      11      1
730   14   267   9      8      1
757   14   294   10      9      1
758   14   295   10      9      1
761   14   298   9      8      1
763   14   300   9      8      1
771   14   308   10      9      1
776   14   313   10      9      1
796   14   333   13      12      1
797   14   334   12      11      1
801   14   338   12      11      1
817   14   354   13      12      1
821   14   358   13      12      1
831   14   368   9      8      1
843   14   380   10      9      1
930   14   467   12      11      1
947   14   484   10      9      1
980   14   517   12      11      1
990   14   527   13      12      1
1009   14   546   10      9      1
1017   14   554   10      9      1
1018   14   555   10      9      1
1027   14   564   9      8      1
1067   14   604   8      7      1
1111   15   29   12      11      1
1116   15   34   11      10      1
1119   15   37   10      9      1
1136   15   54   11      10      1
1153   15   71   13      12      1
1191   15   109   11      10      1
1272   15   190   14      13      1
1278   15   196   10      9      1
1280   15   198   12      11      1
1282   15   200   11      10      1
1283   15   201   8      7      1
1307   15   225   13      12      1
1337   15   255   12      11      1
1344   15   262   12      11      1
1361   15   279   9      8      1
1364   15   282   11      10      1
1369   15   287   11      10      1
1370   15   288   12      11      1
1375   15   293   10      9      1
1380   15   298   13      12      1
1384   15   302   11      10      1
1390   15   308   11      10      1
1391   15   309   14      13      1
1395   15   313   12      11      1
1397   15   315   12      11      1
1407   15   325   13      12      1
1417   15   335   10      9      1
1425   15   343   13      12      1
1431   15   349   14      13      1
1433   15   351   12      11      1
1447   15   365   7      6      1
1449   15   367   8      7      1
1531   15   449   11      10      1
1563   15   481   10      9      1
1564   15   482   7      6      1
1586   15   504   12      11      1
1607   15   525   8      7      1
1616   15   534   8      7      1
1623   15   541   14      13      1
1625   15   543   8      7      1
1630   15   548   8      7      1
1631   15   549   10      9      1
1636   15   554   7      6      1
1689   15   607   11      10      1
1722   15   640   9      8      1
1728   15   646   8      7      1
1736   15   654   13      12      1
1758   15   676   11      10      1
1761   15   679   11      10      1
1793   15   711   14      13      1
1815   15   733   11      10      1
1822   15   740   10      9      1
1834   15   752   13      12      1
1851   15   769   9      8      1
1853   15   771   12      11      1
1862   15   780   8      7      1
1866   15   784   13      12      1
1871   15   789   12      11      1
1872   15   790   12      11      1
1880   15   798   13      12      1
1886   15   804   12      11      1
1888   15   806   12      11      1
1902   15   820   14      13      1
1907   15   825   14      13      1
1910   15   828   10      9      1
1911   15   829   12      11      1
1912   15   830   12      11      1
1966   15   884   11      10      1
2006   15   924   13      12      1
2036   15   954   9      8      1
2048   15   966   8      7      1
2058   15   976   8      7      1
2067   15   985   14      13      1
2069   15   987   10      9      1
2074   15   992   14      13      1
2075   15   993   9      8      1
2079   15   997   11      10      1
2082   15   1000   8      7      1
2107   15   1025   13      12      1
2168   15   1086   9      8      1
2189   15   1107   12      11      1
2191   15   1109   11      10      1
2196   15   1114   9      8      1
2212   15   1130   9      8      1
2216   15   1134   8      7      1
2218   15   1136   11      10      1
2219   15   1137   10      9      1
2227   15   1145   10      9      1
2238   15   1156   10      9      1
2242   15   1160   9      8      1
2246   15   1164   12      11      1
2250   15   1168   13      12      1
2251   15   1169   10      9      1
2252   15   1170   12      11      1
2253   15   1171   10      9      1
2257   15   1175   11      10      1
2265   15   1183   9      8      1
2266   15   1184   10      9      1
2267   15   1185   12      11      1
2272   15   1190   13      12      1
2276   15   1194   9      8      1
2277   15   1195   14      13      1
2294   15   1212   9      8      1
2296   15   1214   10      9      1
2317   15   1235   9      8      1
2318   15   1236   9      8      1
2327   15   1245   7      6      1
2331   15   1249   8      7      1
2341   15   1259   9      8      1
2342   15   1260   12      11      1
2344   15   1262   10      9      1
2347   15   1265   9      8      1
2348   15   1266   10      9      1
2355   15   1273   9      8      1
2357   15   1275   14      13      1
2384   15   1302   10      9      1
2386   15   1304   11      10      1
2387   15   1305   9      8      1
2393   15   1311   11      10      1
2395   15   1313   13      12      1
2397   15   1315   13      12      1
2398   15   1316   14      13      1
2429   15   1347   12      11      1
2431   15   1349   9      8      1
2432   15   1350   13      12      1
2435   15   1353   12      11      1
136   12   34   10      8      2
153   12   51   11      9      2
200   12   98   11      9      2
236   13   13   9      7      2
416   13   193   10      8      2
428   13   205   9      7      2
559   14   96   13      11      2
716   14   253   12      10      2
727   14   264   11      9      2
732   14   269   10      8      2
943   14   480   11      9      2
1050   14   587   10      8      2
1080   14   617   10      8      2
1140   15   58   14      12      2
1152   15   70   14      12      2
1170   15   88   9      7      2
1225   15   143   14      12      2
1240   15   158   9      7      2
1242   15   160   11      9      2
1266   15   184   13      11      2
1301   15   219   12      10      2
1313   15   231   12      10      2
1314   15   232   11      9      2
1321   15   239   11      9      2
1323   15   241   10      8      2
1372   15   290   12      10      2
1429   15   347   12      10      2
1434   15   352   14      12      2
1475   15   393   14      12      2
1545   15   463   10      8      2
1547   15   465   11      9      2
1618   15   536   9      7      2
1619   15   537   9      7      2
1641   15   559   9      7      2
1707   15   625   9      7      2
1727   15   645   11      9      2
1749   15   667   11      9      2
1772   15   690   11      9      2
1852   15   770   9      7      2
1878   15   796   12      10      2
1883   15   801   12      10      2
1887   15   805   12      10      2
1920   15   838   14      12      2
1928   15   846   13      11      2
1961   15   879   12      10      2
2021   15   939   12      10      2
2035   15   953   9      7      2
2064   15   982   12      10      2
2078   15   996   11      9      2
2088   15   1006   11      9      2
2141   15   1059   13      11      2
2159   15   1077   8      6      2
2175   15   1093   10      8      2
2179   15   1097   10      8      2
2184   15   1102   10      8      2
2204   15   1122   11      9      2
2214   15   1132   14      12      2
2215   15   1133   13      11      2
2268   15   1186   11      9      2
2271   15   1189   14      12      2
2274   15   1192   12      10      2
2302   15   1220   10      8      2
2389   15   1307   13      11      2
2403   15   1321   8      6      2
2419   15   1337   11      9      2
2421   15   1339   10      8      2
2426   15   1344   12      10      2
568   14   105   13      10      3
646   14   183   13      10      3
719   14   256   12      9      3
784   14   321   13      10      3
809   14   346   13      10      3
1085   15   3   12      9      3
1322   15   240   8      5      3
1362   15   280   12      9      3
1408   15   326   14      11      3
1601   15   519   13      10      3
1776   15   694   12      9      3
1850   15   768   13      10      3
1877   15   795   11      8      3
2027   15   945   9      6      3
2173   15   1091   12      9      3
2195   15   1113   10      7      3
2217   15   1135   14      11      3
2282   15   1200   12      9      3
2297   15   1215   14      11      3
2377   15   1295   11      8      3
2379   15   1297   11      8      3
2390   15   1308   14      11      3
2428   15   1346   11      8      3
458   13   235   11      7      4
1379   15   297   14      10      4
1714   15   632   11      7      4
1832   15   750   12      8      4
1962   15   880   11      7      4
1977   15   895   14      10      4
2017   15   935   12      8      4
2164   15   1082   13      9      4
2232   15   1150   14      10      4
401   13   178   12      7      5
456   13   233   12      7      5
1349   15   267   13      8      5
1602   15   520   14      9      5
1750   15   668   14      9      5
1837   15   755   12      7      5
1455   15   373   13      7      6
1   4   1   2      2      
2   4   2   3      3      
3   5   1   2      2      
4   6   1   4      4      
5   6   2   3      3      
6   6   3   2      2      
7   6   4   4      4      
8   6   5   3      3      
9   7   1   4      4      
10   7   2   2      2      
11   7   3   2      2      
12   7   4   3      3      
13   8   1   4      4      
14   8   2   2      2      
15   8   3   4      4      
16   8   4   3      3      
17   8   5   4      4      
18   8   6   4      4      
19   8   7   3      3      
20   8   8   4      4      
21   8   9   4      4      
22   9   1   3      3      
23   9   2   5      5      
24   9   3   4      4      
25   9   4   4      4      
26   9   5   4      4      
27   9   6   4      4      
28   9   7   4      4      
29   9   8   5      5      
30   9   9   4      4      
31   9   10   3      3      
32   10   1   5      5      
33   10   2   4      4      
34   10   3   6      6      
35   10   4   4      4      
36   10   5   4      4      
37   10   6   5      5      
38   10   7   4      4      
39   10   8   5      5      
40   10   9   4      4      
41   10   10   5      5      
42   10   11   4      4      
43   10   12   6      6      
44   10   13   5      5      
45   10   14   6      6      
47   10   16   5      5      
48   10   17   4      4      
49   10   18   4      4      
50   10   19   5      5      
51   10   20   4      4      
52   10   21   4      4      
54   10   23   4      4      
55   10   24   4      4      
56   10   25   4      4      
57   11   1   4      4      
58   11   2   4      4      
59   11   3   6      6      
60   11   4   4      4      
61   11   5   4      4      
62   11   6   7      7      
63   11   7   8      8      
64   11   8   5      5      
65   11   9   6      6      
66   11   10   7      7      
67   11   11   4      4      
68   11   12   5      5      
69   11   13   7      7      
70   11   14   7      7      
71   11   15   8      8      
72   11   16   7      7      
73   11   17   4      4      
74   11   18   6      6      
75   11   19   6      6      
76   11   20   7      7      
77   11   21   6      6      
78   11   22   6      6      
79   11   23   7      7      
80   11   24   6      6      
81   11   25   4      4      
82   11   26   5      5      
83   11   27   6      6      
84   11   28   6      6      
86   11   30   4      4      
87   11   31   6      6      
88   11   32   5      5      
89   11   33   4      4      
90   11   34   5      5      
91   11   35   4      4      
92   11   36   4      4      
93   11   37   4      4      
94   11   38   4      4      
95   11   39   6      6      
96   11   40   5      5      
97   11   41   6      6      
98   11   42   5      5      
99   11   43   4      4      
100   11   44   5      5      
101   11   45   6      6      
102   11   46   4      4      
103   12   1   4      4      
104   12   2   5      5      
105   12   3   4      4      
106   12   4   7      7      
107   12   5   5      5      
108   12   6   4      4      
109   12   7   4      4      
110   12   8   6      6      
111   12   9   5      5      
112   12   10   7      7      
113   12   11   6      6      
114   12   12   9      9      
115   12   13   8      8      
116   12   14   7      7      
117   12   15   6      6      
118   12   16   5      5      
119   12   17   6      6      
120   12   18   4      4      
121   12   19   8      8      
122   12   20   7      7      
123   12   21   7      7      
124   12   22   8      8      
125   12   23   7      7      
126   12   24   7      7      
127   12   25   4      4      
128   12   26   6      6      
129   12   27   4      4      
130   12   28   4      4      
131   12   29   4      4      
132   12   30   8      8      
133   12   31   5      5      
134   12   32   7      7      
135   12   33   7      7      
137   12   35   5      5      
138   12   36   8      8      
139   12   37   7      7      
140   12   38   7      7      
141   12   39   9      9      
142   12   40   8      8      
144   12   42   6      6      
145   12   43   5      5      
146   12   44   9      9      
147   12   45   6      6      
148   12   46   8      8      
149   12   47   7      7      
150   12   48   8      8      
151   12   49   7      7      
152   12   50   8      8      
154   12   52   8      8      
155   12   53   7      7      
156   12   54   6      6      
158   12   56   6      6      
159   12   57   8      8      
160   12   58   6      6      
161   12   59   7      7      
162   12   60   7      7      
163   12   61   7      7      
164   12   62   7      7      
165   12   63   6      6      
166   12   64   5      5      
167   12   65   5      5      
168   12   66   4      4      
169   12   67   7      7      
170   12   68   5      5      
172   12   70   7      7      
173   12   71   5      5      
174   12   72   6      6      
175   12   73   5      5      
176   12   74   9      9      
177   12   75   6      6      
178   12   76   7      7      
179   12   77   6      6      
181   12   79   6      6      
182   12   80   7      7      
183   12   81   8      8      
184   12   82   9      9      
185   12   83   8      8      
186   12   84   6      6      
187   12   85   4      4      
188   12   86   6      6      
189   12   87   9      9      
190   12   88   8      8      
191   12   89   7      7      
192   12   90   5      5      
193   12   91   5      5      
194   12   92   6      6      
195   12   93   7      7      
196   12   94   8      8      
197   12   95   8      8      
199   12   97   8      8      
201   12   99   9      9      
202   12   100   7      7      
203   12   101   5      5      
204   12   102   5      5      
205   12   103   7      7      
206   12   104   4      4      
207   12   105   7      7      
208   12   106   7      7      
209   12   107   4      4      
210   12   108   4      4      
211   12   109   4      4      
212   12   110   6      6      
213   12   111   4      4      
214   12   112   4      4      
215   12   113   4      4      
216   12   114   4      4      
217   12   115   5      5      
218   12   116   6      6      
219   12   117   6      6      
220   12   118   9      9      
221   12   119   7      7      
222   12   120   6      6      
223   12   121   9      9      
224   13   1   6      6      
225   13   2   5      5      
226   13   3   7      7      
227   13   4   7      7      
228   13   5   9      9      
229   13   6   5      5      
230   13   7   7      7      
231   13   8   9      9      
232   13   9   4      4      
233   13   10   5      5      
234   13   11   4      4      
235   13   12   6      6      
237   13   14   8      8      
238   13   15   11      11      
239   13   16   10      10      
240   13   17   7      7      
241   13   18   9      9      
242   13   19   10      10      
243   13   20   8      8      
244   13   21   7      7      
245   13   22   9      9      
246   13   23   9      9      
247   13   24   6      6      
248   13   25   5      5      
249   13   26   4      4      
250   13   27   5      5      
251   13   28   9      9      
252   13   29   7      7      
253   13   30   8      8      
254   13   31   9      9      
255   13   32   4      4      
256   13   33   4      4      
257   13   34   5      5      
258   13   35   4      4      
259   13   36   4      4      
260   13   37   5      5      
261   13   38   5      5      
263   13   40   7      7      
264   13   41   7      7      
265   13   42   8      8      
267   13   44   8      8      
268   13   45   9      9      
269   13   46   8      8      
270   13   47   9      9      
271   13   48   10      10      
272   13   49   8      8      
273   13   50   8      8      
274   13   51   8      8      
275   13   52   8      8      
276   13   53   8      8      
278   13   55   7      7      
279   13   56   11      11      
280   13   57   11      11      
282   13   59   8      8      
283   13   60   8      8      
284   13   61   8      8      
285   13   62   8      8      
286   13   63   9      9      
287   13   64   9      9      
288   13   65   7      7      
289   13   66   6      6      
290   13   67   8      8      
292   13   69   7      7      
293   13   70   6      6      
294   13   71   4      4      
295   13   72   8      8      
296   13   73   6      6      
297   13   74   8      8      
298   13   75   10      10      
300   13   77   7      7      
303   13   80   10      10      
304   13   81   5      5      
306   13   83   10      10      
307   13   84   9      9      
308   13   85   6      6      
309   13   86   8      8      
310   13   87   8      8      
311   13   88   8      8      
312   13   89   7      7      
313   13   90   8      8      
314   13   91   8      8      
316   13   93   7      7      
317   13   94   7      7      
318   13   95   4      4      
319   13   96   5      5      
320   13   97   6      6      
321   13   98   8      8      
322   13   99   6      6      
323   13   100   7      7      
324   13   101   8      8      
325   13   102   7      7      
326   13   103   6      6      
327   13   104   7      7      
328   13   105   9      9      
329   13   106   10      10      
330   13   107   10      10      
331   13   108   9      9      
333   13   110   9      9      
334   13   111   8      8      
335   13   112   6      6      
336   13   113   9      9      
337   13   114   7      7      
338   13   115   8      8      
339   13   116   11      11      
340   13   117   9      9      
341   13   118   8      8      
342   13   119   7      7      
343   13   120   6      6      
344   13   121   7      7      
345   13   122   8      8      
346   13   123   7      7      
347   13   124   7      7      
348   13   125   7      7      
349   13   126   7      7      
350   13   127   8      8      
351   13   128   7      7      
352   13   129   8      8      
354   13   131   7      7      
355   13   132   6      6      
356   13   133   9      9      
357   13   134   8      8      
358   13   135   8      8      
359   13   136   6      6      
360   13   137   6      6      
361   13   138   6      6      
362   13   139   6      6      
363   13   140   11      11      
364   13   141   9      9      
366   13   143   7      7      
367   13   144   8      8      
368   13   145   5      5      
369   13   146   9      9      
370   13   147   8      8      
371   13   148   10      10      
372   13   149   9      9      
373   13   150   10      10      
374   13   151   8      8      
375   13   152   6      6      
376   13   153   5      5      
377   13   154   5      5      
378   13   155   9      9      
379   13   156   9      9      
380   13   157   9      9      
381   13   158   6      6      
382   13   159   6      6      
383   13   160   7      7      
384   13   161   6      6      
385   13   162   6      6      
386   13   163   9      9      
387   13   164   6      6      
388   13   165   5      5      
389   13   166   5      5      
390   13   167   7      7      
391   13   168   7      7      
392   13   169   7      7      
393   13   170   6      6      
394   13   171   4      4      
395   13   172   7      7      
396   13   173   4      4      
397   13   174   8      8      
398   13   175   5      5      
399   13   176   7      7      
400   13   177   7      7      
402   13   179   9      9      
403   13   180   9      9      
404   13   181   8      8      
405   13   182   8      8      
406   13   183   5      5      
408   13   185   5      5      
409   13   186   6      6      
410   13   187   8      8      
411   13   188   5      5      
412   13   189   8      8      
413   13   190   6      6      
414   13   191   5      5      
415   13   192   8      8      
418   13   195   8      8      
419   13   196   8      8      
420   13   197   8      8      
421   13   198   5      5      
422   13   199   7      7      
423   13   200   5      5      
424   13   201   5      5      
425   13   202   5      5      
426   13   203   7      7      
427   13   204   7      7      
429   13   206   5      5      
430   13   207   11      11      
431   13   208   9      9      
432   13   209   4      4      
433   13   210   5      5      
434   13   211   10      10      
435   13   212   7      7      
436   13   213   5      5      
437   13   214   10      10      
438   13   215   9      9      
439   13   216   8      8      
440   13   217   5      5      
441   13   218   4      4      
442   13   219   8      8      
443   13   220   5      5      
444   13   221   5      5      
446   13   223   7      7      
447   13   224   4      4      
448   13   225   5      5      
449   13   226   6      6      
450   13   227   5      5      
451   13   228   9      9      
452   13   229   7      7      
453   13   230   4      4      
454   13   231   8      8      
455   13   232   11      11      
457   13   234   10      10      
459   13   236   6      6      
460   13   237   8      8      
461   13   238   5      5      
462   13   239   6      6      
463   13   240   6      6      
464   14   1   8      8      
465   14   2   12      12      
466   14   3   5      5      
467   14   4   6      6      
468   14   5   4      4      
469   14   6   10      10      
471   14   8   8      8      
472   14   9   6      6      
473   14   10   6      6      
474   14   11   4      4      
475   14   12   7      7      
476   14   13   4      4      
477   14   14   5      5      
478   14   15   4      4      
479   14   16   7      7      
480   14   17   8      8      
482   14   19   7      7      
483   14   20   8      8      
484   14   21   8      8      
485   14   22   10      10      
486   14   23   7      7      
487   14   24   11      11      
488   14   25   8      8      
489   14   26   8      8      
490   14   27   5      5      
491   14   28   5      5      
492   14   29   7      7      
493   14   30   3      3      
494   14   31   9      9      
495   14   32   4      4      
496   14   33   10      10      
497   14   34   7      7      
498   14   35   9      9      
499   14   36   4      4      
500   14   37   5      5      
502   14   39   4      4      
503   14   40   8      8      
504   14   41   11      11      
505   14   42   9      9      
506   14   43   9      9      
507   14   44   10      10      
508   14   45   9      9      
509   14   46   10      10      
510   14   47   9      9      
511   14   48   7      7      
512   14   49   7      7      
513   14   50   4      4      
514   14   51   10      10      
515   14   52   8      8      
516   14   53   8      8      
517   14   54   5      5      
518   14   55   4      4      
519   14   56   5      5      
520   14   57   6      6      
521   14   58   5      5      
522   14   59   8      8      
523   14   60   8      8      
524   14   61   6      6      
525   14   62   5      5      
526   14   63   5      5      
527   14   64   4      4      
529   14   66   10      10      
530   14   67   7      7      
531   14   68   7      7      
532   14   69   7      7      
533   14   70   6      6      
534   14   71   6      6      
535   14   72   8      8      
536   14   73   6      6      
537   14   74   6      6      
538   14   75   7      7      
539   14   76   7      7      
540   14   77   5      5      
541   14   78   8      8      
542   14   79   3      3      
543   14   80   12      12      
545   14   82   9      9      
546   14   83   10      10      
547   14   84   10      10      
548   14   85   12      12      
550   14   87   4      4      
551   14   88   5      5      
552   14   89   4      4      
553   14   90   8      8      
554   14   91   7      7      
555   14   92   9      9      
556   14   93   7      7      
557   14   94   11      11      
558   14   95   4      4      
560   14   97   8      8      
561   14   98   10      10      
562   14   99   7      7      
563   14   100   8      8      
564   14   101   9      9      
565   14   102   8      8      
566   14   103   10      10      
570   14   107   10      10      
571   14   108   9      9      
572   14   109   12      12      
574   14   111   11      11      
575   14   112   9      9      
576   14   113   7      7      
578   14   115   12      12      
579   14   116   7      7      
580   14   117   9      9      
582   14   119   10      10      
583   14   120   8      8      
584   14   121   8      8      
585   14   122   8      8      
586   14   123   8      8      
588   14   125   8      8      
589   14   126   8      8      
590   14   127   9      9      
591   14   128   10      10      
593   14   130   10      10      
594   14   131   10      10      
595   14   132   8      8      
596   14   133   11      11      
597   14   134   9      9      
598   14   135   8      8      
599   14   136   11      11      
600   14   137   10      10      
601   14   138   9      9      
602   14   139   7      7      
603   14   140   7      7      
604   14   141   8      8      
605   14   142   8      8      
606   14   143   7      7      
607   14   144   10      10      
608   14   145   11      11      
609   14   146   6      6      
610   14   147   6      6      
611   14   148   8      8      
612   14   149   5      5      
613   14   150   6      6      
614   14   151   8      8      
615   14   152   8      8      
616   14   153   8      8      
618   14   155   6      6      
619   14   156   7      7      
620   14   157   7      7      
621   14   158   7      7      
622   14   159   7      7      
623   14   160   7      7      
624   14   161   5      5      
625   14   162   6      6      
626   14   163   6      6      
627   14   164   7      7      
629   14   166   8      8      
630   14   167   6      6      
631   14   168   5      5      
632   14   169   6      6      
633   14   170   5      5      
634   14   171   9      9      
635   14   172   5      5      
636   14   173   8      8      
637   14   174   6      6      
638   14   175   8      8      
639   14   176   4      4      
640   14   177   8      8      
641   14   178   5      5      
642   14   179   9      9      
643   14   180   9      9      
644   14   181   8      8      
645   14   182   9      9      
647   14   184   12      12      
648   14   185   8      8      
649   14   186   10      10      
650   14   187   10      10      
651   14   188   8      8      
652   14   189   4      4      
653   14   190   10      10      
654   14   191   10      10      
655   14   192   8      8      
656   14   193   9      9      
657   14   194   9      9      
658   14   195   10      10      
659   14   196   9      9      
660   14   197   10      10      
661   14   198   7      7      
662   14   199   8      8      
663   14   200   10      10      
665   14   202   5      5      
666   14   203   12      12      
667   14   204   11      11      
668   14   205   11      11      
669   14   206   11      11      
670   14   207   11      11      
671   14   208   9      9      
672   14   209   11      11      
673   14   210   9      9      
674   14   211   8      8      
675   14   212   10      10      
678   14   215   12      12      
679   14   216   8      8      
680   14   217   9      9      
681   14   218   7      7      
682   14   219   11      11      
683   14   220   9      9      
684   14   221   9      9      
685   14   222   8      8      
686   14   223   8      8      
687   14   224   9      9      
688   14   225   8      8      
690   14   227   9      9      
691   14   228   9      9      
692   14   229   9      9      
693   14   230   8      8      
695   14   232   6      6      
696   14   233   9      9      
697   14   234   9      9      
698   14   235   9      9      
699   14   236   8      8      
700   14   237   9      9      
701   14   238   8      8      
702   14   239   6      6      
703   14   240   7      7      
704   14   241   10      10      
705   14   242   8      8      
706   14   243   10      10      
708   14   245   9      9      
709   14   246   11      11      
710   14   247   9      9      
711   14   248   11      11      
712   14   249   6      6      
713   14   250   10      10      
714   14   251   8      8      
715   14   252   12      12      
717   14   254   9      9      
718   14   255   9      9      
720   14   257   8      8      
721   14   258   9      9      
723   14   260   9      9      
725   14   262   9      9      
726   14   263   9      9      
728   14   265   9      9      
729   14   266   9      9      
731   14   268   11      11      
733   14   270   9      9      
734   14   271   7      7      
735   14   272   7      7      
736   14   273   7      7      
737   14   274   7      7      
738   14   275   7      7      
739   14   276   9      9      
740   14   277   6      6      
741   14   278   8      8      
742   14   279   5      5      
743   14   280   6      6      
744   14   281   5      5      
745   14   282   6      6      
746   14   283   5      5      
747   14   284   6      6      
748   14   285   9      9      
749   14   286   8      8      
750   14   287   7      7      
751   14   288   8      8      
752   14   289   12      12      
753   14   290   12      12      
754   14   291   10      10      
755   14   292   9      9      
756   14   293   5      5      
759   14   296   6      6      
760   14   297   8      8      
762   14   299   7      7      
764   14   301   7      7      
765   14   302   8      8      
766   14   303   6      6      
767   14   304   9      9      
768   14   305   8      8      
769   14   306   7      7      
770   14   307   7      7      
772   14   309   7      7      
773   14   310   6      6      
774   14   311   8      8      
775   14   312   8      8      
777   14   314   7      7      
778   14   315   7      7      
779   14   316   6      6      
780   14   317   11      11      
781   14   318   8      8      
782   14   319   8      8      
783   14   320   10      10      
785   14   322   8      8      
786   14   323   8      8      
787   14   324   10      10      
788   14   325   12      12      
789   14   326   8      8      
790   14   327   11      11      
791   14   328   11      11      
792   14   329   8      8      
793   14   330   7      7      
794   14   331   8      8      
795   14   332   7      7      
798   14   335   9      9      
799   14   336   9      9      
800   14   337   7      7      
802   14   339   9      9      
803   14   340   9      9      
804   14   341   11      11      
805   14   342   5      5      
806   14   343   8      8      
807   14   344   11      11      
808   14   345   10      10      
810   14   347   9      9      
811   14   348   10      10      
812   14   349   9      9      
813   14   350   9      9      
814   14   351   6      6      
815   14   352   10      10      
816   14   353   8      8      
818   14   355   10      10      
819   14   356   9      9      
820   14   357   9      9      
822   14   359   8      8      
823   14   360   8      8      
824   14   361   8      8      
825   14   362   6      6      
826   14   363   4      4      
827   14   364   6      6      
828   14   365   8      8      
829   14   366   8      8      
830   14   367   8      8      
832   14   369   8      8      
833   14   370   11      11      
834   14   371   7      7      
835   14   372   6      6      
836   14   373   9      9      
837   14   374   8      8      
838   14   375   8      8      
839   14   376   7      7      
840   14   377   10      10      
841   14   378   8      8      
842   14   379   10      10      
844   14   381   9      9      
845   14   382   9      9      
846   14   383   7      7      
847   14   384   7      7      
848   14   385   9      9      
849   14   386   9      9      
850   14   387   9      9      
851   14   388   9      9      
852   14   389   10      10      
853   14   390   8      8      
854   14   391   5      5      
855   14   392   12      12      
856   14   393   9      9      
857   14   394   9      9      
858   14   395   11      11      
859   14   396   11      11      
860   14   397   10      10      
861   14   398   11      11      
862   14   399   9      9      
863   14   400   11      11      
864   14   401   9      9      
865   14   402   8      8      
866   14   403   9      9      
867   14   404   9      9      
868   14   405   7      7      
869   14   406   7      7      
870   14   407   8      8      
871   14   408   7      7      
872   14   409   8      8      
873   14   410   7      7      
874   14   411   8      8      
875   14   412   11      11      
876   14   413   7      7      
877   14   414   9      9      
878   14   415   7      7      
879   14   416   8      8      
880   14   417   10      10      
881   14   418   11      11      
882   14   419   8      8      
883   14   420   10      10      
884   14   421   8      8      
885   14   422   8      8      
886   14   423   12      12      
887   14   424   9      9      
888   14   425   10      10      
889   14   426   11      11      
890   14   427   10      10      
891   14   428   7      7      
892   14   429   7      7      
893   14   430   7      7      
894   14   431   7      7      
895   14   432   6      6      
896   14   433   4      4      
897   14   434   7      7      
898   14   435   8      8      
899   14   436   8      8      
900   14   437   7      7      
901   14   438   9      9      
902   14   439   9      9      
903   14   440   8      8      
904   14   441   7      7      
905   14   442   7      7      
906   14   443   5      5      
907   14   444   7      7      
908   14   445   6      6      
909   14   446   8      8      
910   14   447   6      6      
911   14   448   8      8      
912   14   449   7      7      
913   14   450   8      8      
914   14   451   11      11      
915   14   452   9      9      
916   14   453   10      10      
917   14   454   10      10      
918   14   455   10      10      
919   14   456   8      8      
920   14   457   10      10      
921   14   458   10      10      
922   14   459   8      8      
923   14   460   10      10      
924   14   461   10      10      
925   14   462   7      7      
926   14   463   12      12      
927   14   464   9      9      
928   14   465   10      10      
929   14   466   8      8      
931   14   468   9      9      
932   14   469   5      5      
933   14   470   6      6      
934   14   471   8      8      
935   14   472   10      10      
936   14   473   8      8      
937   14   474   5      5      
938   14   475   9      9      
939   14   476   8      8      
940   14   477   5      5      
941   14   478   12      12      
942   14   479   8      8      
944   14   481   9      9      
945   14   482   8      8      
946   14   483   5      5      
948   14   485   6      6      
949   14   486   8      8      
950   14   487   9      9      
951   14   488   8      8      
952   14   489   7      7      
953   14   490   7      7      
954   14   491   7      7      
955   14   492   7      7      
956   14   493   9      9      
957   14   494   6      6      
958   14   495   9      9      
959   14   496   7      7      
960   14   497   7      7      
961   14   498   7      7      
962   14   499   7      7      
963   14   500   8      8      
964   14   501   7      7      
965   14   502   4      4      
966   14   503   8      8      
967   14   504   8      8      
968   14   505   8      8      
969   14   506   12      12      
970   14   507   4      4      
971   14   508   12      12      
972   14   509   8      8      
973   14   510   8      8      
974   14   511   10      10      
975   14   512   9      9      
976   14   513   10      10      
977   14   514   12      12      
978   14   515   6      6      
979   14   516   8      8      
981   14   518   8      8      
982   14   519   7      7      
983   14   520   4      4      
984   14   521   12      12      
985   14   522   7      7      
986   14   523   6      6      
987   14   524   10      10      
988   14   525   10      10      
989   14   526   4      4      
991   14   528   9      9      
992   14   529   8      8      
993   14   530   7      7      
994   14   531   6      6      
995   14   532   8      8      
996   14   533   7      7      
997   14   534   10      10      
998   14   535   7      7      
999   14   536   7      7      
1000   14   537   8      8      
1001   14   538   8      8      
1002   14   539   8      8      
1003   14   540   5      5      
1004   14   541   6      6      
1005   14   542   6      6      
1006   14   543   6      6      
1007   14   544   10      10      
1008   14   545   7      7      
1010   14   547   7      7      
1011   14   548   6      6      
1012   14   549   10      10      
1013   14   550   8      8      
1014   14   551   9      9      
1015   14   552   9      9      
1016   14   553   7      7      
1019   14   556   8      8      
1020   14   557   8      8      
1022   14   559   9      9      
1023   14   560   9      9      
1024   14   561   5      5      
1025   14   562   8      8      
1026   14   563   7      7      
1028   14   565   10      10      
1029   14   566   7      7      
1030   14   567   8      8      
1031   14   568   6      6      
1032   14   569   12      12      
1033   14   570   8      8      
1034   14   571   8      8      
1035   14   572   7      7      
1036   14   573   4      4      
1037   14   574   6      6      
1038   14   575   9      9      
1039   14   576   7      7      
1040   14   577   7      7      
1041   14   578   6      6      
1042   14   579   6      6      
1043   14   580   5      5      
1044   14   581   5      5      
1045   14   582   6      6      
1046   14   583   5      5      
1047   14   584   10      10      
1048   14   585   5      5      
1049   14   586   6      6      
1051   14   588   5      5      
1052   14   589   4      4      
1053   14   590   4      4      
1054   14   591   4      4      
1055   14   592   5      5      
1056   14   593   6      6      
1057   14   594   5      5      
1058   14   595   4      4      
1059   14   596   9      9      
1060   14   597   10      10      
1061   14   598   11      11      
1062   14   599   10      10      
1063   14   600   9      9      
1064   14   601   9      9      
1065   14   602   8      8      
1066   14   603   7      7      
1068   14   605   8      8      
1069   14   606   7      7      
1070   14   607   6      6      
1071   14   608   8      8      
1072   14   609   7      7      
1073   14   610   4      4      
1074   14   611   5      5      
1075   14   612   4      4      
1076   14   613   7      7      
1077   14   614   7      7      
1078   14   615   9      9      
1079   14   616   8      8      
1081   14   618   12      12      
1082   14   619   7      7      
1083   15   1   12      12      
1084   15   2   12      12      
1086   15   4   11      11      
1087   15   5   10      10      
1088   15   6   12      12      
1089   15   7   6      6      
1090   15   8   5      5      
1091   15   9   7      7      
1092   15   10   5      5      
1093   15   11   6      6      
1094   15   12   6      6      
1095   15   13   4      4      
1096   15   14   12      12      
1097   15   15   8      8      
1098   15   16   7      7      
1099   15   17   10      10      
1100   15   18   13      13      
1101   15   19   7      7      
1102   15   20   8      8      
1103   15   21   8      8      
1104   15   22   12      12      
1105   15   23   12      12      
1106   15   24   10      10      
1107   15   25   13      13      
1108   15   26   12      12      
1109   15   27   11      11      
1110   15   28   9      9      
1112   15   30   9      9      
1113   15   31   7      7      
1114   15   32   7      7      
1115   15   33   7      7      
1117   15   35   12      12      
1118   15   36   9      9      
1120   15   38   11      11      
1121   15   39   11      11      
1122   15   40   11      11      
1123   15   41   10      10      
1124   15   42   9      9      
1125   15   43   11      11      
1126   15   44   11      11      
1127   15   45   10      10      
1128   15   46   14      14      
1129   15   47   10      10      
1130   15   48   12      12      
1131   15   49   11      11      
1132   15   50   10      10      
1133   15   51   10      10      
1134   15   52   14      14      
1135   15   53   9      9      
1137   15   55   11      11      
1138   15   56   9      9      
1139   15   57   11      11      
1141   15   59   13      13      
1142   15   60   9      9      
1143   15   61   13      13      
1144   15   62   12      12      
1145   15   63   13      13      
1146   15   64   9      9      
1147   15   65   9      9      
1148   15   66   9      9      
1149   15   67   9      9      
1150   15   68   12      12      
1151   15   69   9      9      
1154   15   72   10      10      
1155   15   73   12      12      
1156   15   74   13      13      
1157   15   75   6      6      
1158   15   76   4      4      
1159   15   77   11      11      
1160   15   78   4      4      
1161   15   79   9      9      
1162   15   80   12      12      
1163   15   81   8      8      
1164   15   82   11      11      
1165   15   83   9      9      
1166   15   84   8      8      
1167   15   85   8      8      
1168   15   86   7      7      
1169   15   87   8      8      
1171   15   89   10      10      
1172   15   90   8      8      
1173   15   91   7      7      
1174   15   92   12      12      
1175   15   93   8      8      
1176   15   94   4      4      
1177   15   95   11      11      
1178   15   96   12      12      
1179   15   97   13      13      
1180   15   98   9      9      
1181   15   99   9      9      
1182   15   100   13      13      
1183   15   101   7      7      
1184   15   102   9      9      
1185   15   103   11      11      
1186   15   104   12      12      
1187   15   105   7      7      
1188   15   106   4      4      
1189   15   107   10      10      
1190   15   108   7      7      
1193   15   111   6      6      
1194   15   112   7      7      
1195   15   113   12      12      
1196   15   114   4      4      
1197   15   115   12      12      
1198   15   116   9      9      
1199   15   117   10      10      
1200   15   118   5      5      
1201   15   119   6      6      
1202   15   120   10      10      
1203   15   121   6      6      
1204   15   122   8      8      
1205   15   123   5      5      
1206   15   124   8      8      
1207   15   125   4      4      
1208   15   126   8      8      
1209   15   127   6      6      
1210   15   128   9      9      
1211   15   129   11      11      
1212   15   130   12      12      
1213   15   131   10      10      
1214   15   132   7      7      
1215   15   133   12      12      
1216   15   134   9      9      
1217   15   135   8      8      
1218   15   136   7      7      
1219   15   137   10      10      
1220   15   138   11      11      
1221   15   139   10      10      
1222   15   140   10      10      
1223   15   141   5      5      
1224   15   142   12      12      
1226   15   144   7      7      
1227   15   145   6      6      
1228   15   146   5      5      
1229   15   147   7      7      
1230   15   148   7      7      
1231   15   149   9      9      
1232   15   150   6      6      
1233   15   151   4      4      
1234   15   152   11      11      
1235   15   153   11      11      
1236   15   154   11      11      
1237   15   155   7      7      
1238   15   156   8      8      
1239   15   157   7      7      
1241   15   159   13      13      
1243   15   161   5      5      
1245   15   163   8      8      
1246   15   164   7      7      
1247   15   165   9      9      
1248   15   166   7      7      
1249   15   167   12      12      
1250   15   168   5      5      
1251   15   169   12      12      
1252   15   170   5      5      
1253   15   171   6      6      
1254   15   172   5      5      
1255   15   173   4      4      
1256   15   174   9      9      
1257   15   175   12      12      
1258   15   176   8      8      
1259   15   177   12      12      
1260   15   178   13      13      
1261   15   179   12      12      
1263   15   181   7      7      
1264   15   182   7      7      
1265   15   183   8      8      
1267   15   185   7      7      
1268   15   186   8      8      
1269   15   187   8      8      
1270   15   188   7      7      
1271   15   189   7      7      
1273   15   191   8      8      
1274   15   192   10      10      
1275   15   193   13      13      
1276   15   194   9      9      
1277   15   195   9      9      
1279   15   197   10      10      
1284   15   202   8      8      
1285   15   203   11      11      
1286   15   204   11      11      
1287   15   205   8      8      
1288   15   206   10      10      
1289   15   207   8      8      
1290   15   208   11      11      
1291   15   209   10      10      
1292   15   210   11      11      
1293   15   211   10      10      
1294   15   212   7      7      
1295   15   213   8      8      
1296   15   214   11      11      
1297   15   215   9      9      
1299   15   217   10      10      
1300   15   218   8      8      
1302   15   220   9      9      
1303   15   221   10      10      
1304   15   222   9      9      
1305   15   223   8      8      
1306   15   224   8      8      
1308   15   226   11      11      
1309   15   227   10      10      
1310   15   228   9      9      
1311   15   229   11      11      
1312   15   230   9      9      
1315   15   233   11      11      
1316   15   234   11      11      
1317   15   235   12      12      
1318   15   236   6      6      
1319   15   237   9      9      
1320   15   238   9      9      
1324   15   242   10      10      
1325   15   243   4      4      
1326   15   244   8      8      
1327   15   245   9      9      
1328   15   246   8      8      
1329   15   247   13      13      
1330   15   248   9      9      
1331   15   249   10      10      
1332   15   250   8      8      
1333   15   251   7      7      
1334   15   252   12      12      
1335   15   253   8      8      
1336   15   254   8      8      
1338   15   256   8      8      
1339   15   257   8      8      
1340   15   258   12      12      
1341   15   259   12      12      
1342   15   260   8      8      
1343   15   261   7      7      
1345   15   263   12      12      
1346   15   264   9      9      
1347   15   265   11      11      
1348   15   266   11      11      
1350   15   268   10      10      
1351   15   269   11      11      
1352   15   270   7      7      
1353   15   271   9      9      
1354   15   272   12      12      
1356   15   274   8      8      
1357   15   275   11      11      
1358   15   276   12      12      
1359   15   277   13      13      
1360   15   278   11      11      
1363   15   281   11      11      
1365   15   283   10      10      
1366   15   284   10      10      
1367   15   285   8      8      
1371   15   289   12      12      
1373   15   291   9      9      
1374   15   292   9      9      
1376   15   294   13      13      
1377   15   295   11      11      
1378   15   296   12      12      
1381   15   299   12      12      
1382   15   300   9      9      
1383   15   301   8      8      
1385   15   303   11      11      
1386   15   304   12      12      
1387   15   305   11      11      
1388   15   306   9      9      
1392   15   310   11      11      
1393   15   311   7      7      
1394   15   312   11      11      
1396   15   314   10      10      
1398   15   316   11      11      
1399   15   317   11      11      
1400   15   318   9      9      
1401   15   319   12      12      
1402   15   320   13      13      
1403   15   321   10      10      
1404   15   322   12      12      
1405   15   323   12      12      
1406   15   324   7      7      
1409   15   327   9      9      
1410   15   328   9      9      
1411   15   329   12      12      
1412   15   330   12      12      
1413   15   331   13      13      
1414   15   332   10      10      
1415   15   333   8      8      
1416   15   334   8      8      
1418   15   336   12      12      
1419   15   337   14      14      
1420   15   338   14      14      
1421   15   339   14      14      
1422   15   340   14      14      
1423   15   341   13      13      
1424   15   342   11      11      
1426   15   344   10      10      
1427   15   345   14      14      
1428   15   346   10      10      
1430   15   348   12      12      
1432   15   350   12      12      
1435   15   353   13      13      
1436   15   354   10      10      
1437   15   355   7      7      
1438   15   356   4      4      
1439   15   357   5      5      
1440   15   358   7      7      
1441   15   359   10      10      
1442   15   360   4      4      
1443   15   361   9      9      
1444   15   362   7      7      
1445   15   363   7      7      
1446   15   364   8      8      
1448   15   366   10      10      
1450   15   368   13      13      
1451   15   369   10      10      
1452   15   370   4      4      
1453   15   371   13      13      
1454   15   372   11      11      
1456   15   374   11      11      
1457   15   375   14      14      
1458   15   376   11      11      
1459   15   377   12      12      
1460   15   378   5      5      
1461   15   379   11      11      
1462   15   380   9      9      
1463   15   381   10      10      
1464   15   382   12      12      
1465   15   383   14      14      
1466   15   384   11      11      
1467   15   385   12      12      
1468   15   386   9      9      
1469   15   387   11      11      
1470   15   388   8      8      
1471   15   389   13      13      
1473   15   391   13      13      
1476   15   394   7      7      
1477   15   395   12      12      
1478   15   396   14      14      
1479   15   397   13      13      
1480   15   398   6      6      
1481   15   399   13      13      
1482   15   400   10      10      
1483   15   401   9      9      
1484   15   402   6      6      
1485   15   403   7      7      
1486   15   404   14      14      
1487   15   405   11      11      
1488   15   406   12      12      
1489   15   407   13      13      
1490   15   408   7      7      
1491   15   409   14      14      
1492   15   410   12      12      
1493   15   411   13      13      
1494   15   412   8      8      
1495   15   413   14      14      
1496   15   414   12      12      
1497   15   415   13      13      
1498   15   416   12      12      
1499   15   417   13      13      
1500   15   418   11      11      
1501   15   419   11      11      
1502   15   420   10      10      
1503   15   421   9      9      
1504   15   422   7      7      
1505   15   423   7      7      
1506   15   424   5      5      
1508   15   426   9      9      
1509   15   427   10      10      
1510   15   428   14      14      
1511   15   429   7      7      
1512   15   430   10      10      
1513   15   431   9      9      
1514   15   432   9      9      
1515   15   433   5      5      
1516   15   434   5      5      
1517   15   435   8      8      
1518   15   436   6      6      
1519   15   437   5      5      
1520   15   438   4      4      
1521   15   439   13      13      
1522   15   440   8      8      
1523   15   441   13      13      
1524   15   442   12      12      
1525   15   443   11      11      
1526   15   444   7      7      
1527   15   445   9      9      
1528   15   446   9      9      
1529   15   447   11      11      
1530   15   448   8      8      
1532   15   450   13      13      
1533   15   451   14      14      
1534   15   452   10      10      
1535   15   453   11      11      
1536   15   454   9      9      
1537   15   455   14      14      
1538   15   456   11      11      
1539   15   457   11      11      
1540   15   458   10      10      
1541   15   459   12      12      
1542   15   460   12      12      
1543   15   461   9      9      
1544   15   462   4      4      
1546   15   464   12      12      
1548   15   466   14      14      
1549   15   467   8      8      
1550   15   468   9      9      
1551   15   469   12      12      
1552   15   470   10      10      
1553   15   471   7      7      
1554   15   472   5      5      
1555   15   473   12      12      
1556   15   474   7      7      
1557   15   475   14      14      
1558   15   476   13      13      
1559   15   477   14      14      
1560   15   478   9      9      
1561   15   479   13      13      
1562   15   480   13      13      
1565   15   483   8      8      
1566   15   484   10      10      
1567   15   485   13      13      
1569   15   487   13      13      
1571   15   489   11      11      
1572   15   490   7      7      
1573   15   491   13      13      
1574   15   492   11      11      
1575   15   493   13      13      
1576   15   494   9      9      
1577   15   495   13      13      
1578   15   496   7      7      
1579   15   497   14      14      
1581   15   499   9      9      
1582   15   500   11      11      
1583   15   501   10      10      
1587   15   505   11      11      
1588   15   506   14      14      
1589   15   507   12      12      
1590   15   508   9      9      
1591   15   509   9      9      
1592   15   510   14      14      
1593   15   511   5      5      
1594   15   512   14      14      
1595   15   513   9      9      
1596   15   514   11      11      
1597   15   515   12      12      
1598   15   516   14      14      
1599   15   517   10      10      
1600   15   518   8      8      
1604   15   522   8      8      
1605   15   523   9      9      
1606   15   524   11      11      
1608   15   526   7      7      
1609   15   527   6      6      
1610   15   528   7      7      
1611   15   529   6      6      
1612   15   530   8      8      
1613   15   531   7      7      
1614   15   532   9      9      
1615   15   533   7      7      
1617   15   535   7      7      
1620   15   538   8      8      
1621   15   539   9      9      
1622   15   540   6      6      
1624   15   542   10      10      
1626   15   544   13      13      
1627   15   545   9      9      
1628   15   546   7      7      
1629   15   547   11      11      
1632   15   550   5      5      
1633   15   551   4      4      
1634   15   552   14      14      
1635   15   553   7      7      
1637   15   555   9      9      
1638   15   556   7      7      
1639   15   557   6      6      
1640   15   558   5      5      
1642   15   560   11      11      
1643   15   561   6      6      
1645   15   563   6      6      
1646   15   564   13      13      
1647   15   565   11      11      
1648   15   566   10      10      
1649   15   567   6      6      
1650   15   568   7      7      
1651   15   569   12      12      
1652   15   570   9      9      
1653   15   571   7      7      
1654   15   572   7      7      
1655   15   573   5      5      
1656   15   574   7      7      
1657   15   575   11      11      
1658   15   576   8      8      
1659   15   577   7      7      
1661   15   579   9      9      
1662   15   580   9      9      
1663   15   581   10      10      
1664   15   582   10      10      
1665   15   583   8      8      
1666   15   584   8      8      
1667   15   585   8      8      
1668   15   586   10      10      
1670   15   588   12      12      
1671   15   589   7      7      
1673   15   591   8      8      
1674   15   592   8      8      
1675   15   593   8      8      
1676   15   594   11      11      
1677   15   595   7      7      
1678   15   596   12      12      
1679   15   597   7      7      
1681   15   599   14      14      
1682   15   600   6      6      
1683   15   601   4      4      
1684   15   602   6      6      
1685   15   603   5      5      
1686   15   604   6      6      
1687   15   605   7      7      
1688   15   606   6      6      
1690   15   608   8      8      
1691   15   609   5      5      
1692   15   610   7      7      
1693   15   611   6      6      
1694   15   612   12      12      
1695   15   613   10      10      
1696   15   614   6      6      
1697   15   615   12      12      
1698   15   616   5      5      
1699   15   617   10      10      
1700   15   618   12      12      
1701   15   619   11      11      
1702   15   620   12      12      
1703   15   621   6      6      
1704   15   622   6      6      
1705   15   623   7      7      
1706   15   624   11      11      
1708   15   626   12      12      
1709   15   627   6      6      
1710   15   628   6      6      
1711   15   629   6      6      
1712   15   630   5      5      
1713   15   631   7      7      
1715   15   633   5      5      
1716   15   634   8      8      
1717   15   635   7      7      
1718   15   636   8      8      
1719   15   637   6      6      
1720   15   638   8      8      
1721   15   639   8      8      
1723   15   641   7      7      
1724   15   642   7      7      
1725   15   643   7      7      
1726   15   644   10      10      
1729   15   647   10      10      
1730   15   648   9      9      
1731   15   649   8      8      
1732   15   650   12      12      
1733   15   651   11      11      
1734   15   652   10      10      
1735   15   653   13      13      
1738   15   656   14      14      
1739   15   657   12      12      
1740   15   658   11      11      
1741   15   659   10      10      
1742   15   660   12      12      
1743   15   661   6      6      
1744   15   662   6      6      
1745   15   663   8      8      
1746   15   664   8      8      
1747   15   665   10      10      
1748   15   666   9      9      
1751   15   669   7      7      
1752   15   670   8      8      
1753   15   671   12      12      
1754   15   672   10      10      
1755   15   673   8      8      
1756   15   674   8      8      
1757   15   675   11      11      
1759   15   677   10      10      
1760   15   678   7      7      
1762   15   680   7      7      
1763   15   681   8      8      
1764   15   682   9      9      
1765   15   683   9      9      
1766   15   684   8      8      
1767   15   685   10      10      
1768   15   686   6      6      
1769   15   687   9      9      
1771   15   689   10      10      
1773   15   691   10      10      
1774   15   692   6      6      
1775   15   693   9      9      
1777   15   695   11      11      
1778   15   696   12      12      
1779   15   697   10      10      
1780   15   698   12      12      
1781   15   699   11      11      
1782   15   700   8      8      
1783   15   701   7      7      
1784   15   702   9      9      
1785   15   703   9      9      
1787   15   705   10      10      
1788   15   706   9      9      
1789   15   707   10      10      
1790   15   708   13      13      
1791   15   709   8      8      
1792   15   710   9      9      
1794   15   712   12      12      
1795   15   713   7      7      
1796   15   714   14      14      
1797   15   715   11      11      
1798   15   716   11      11      
1799   15   717   7      7      
1800   15   718   9      9      
1801   15   719   12      12      
1802   15   720   8      8      
1803   15   721   5      5      
1804   15   722   11      11      
1805   15   723   13      13      
1806   15   724   11      11      
1807   15   725   7      7      
1808   15   726   12      12      
1809   15   727   11      11      
1810   15   728   12      12      
1811   15   729   12      12      
1812   15   730   7      7      
1813   15   731   14      14      
1814   15   732   8      8      
1816   15   734   10      10      
1817   15   735   9      9      
1818   15   736   11      11      
1819   15   737   7      7      
1820   15   738   7      7      
1821   15   739   14      14      
1823   15   741   8      8      
1824   15   742   7      7      
1825   15   743   10      10      
1826   15   744   8      8      
1827   15   745   8      8      
1828   15   746   10      10      
1829   15   747   10      10      
1830   15   748   10      10      
1831   15   749   9      9      
1833   15   751   11      11      
1835   15   753   8      8      
1836   15   754   11      11      
1838   15   756   10      10      
1839   15   757   9      9      
1840   15   758   11      11      
1841   15   759   14      14      
1842   15   760   9      9      
1843   15   761   13      13      
1844   15   762   10      10      
1845   15   763   9      9      
1846   15   764   6      6      
1847   15   765   9      9      
1848   15   766   8      8      
1849   15   767   7      7      
1854   15   772   9      9      
1855   15   773   12      12      
1856   15   774   11      11      
1857   15   775   11      11      
1858   15   776   10      10      
1859   15   777   10      10      
1860   15   778   11      11      
1863   15   781   10      10      
1865   15   783   11      11      
1867   15   785   10      10      
1868   15   786   12      12      
1869   15   787   11      11      
1870   15   788   11      11      
1873   15   791   14      14      
1875   15   793   9      9      
1876   15   794   12      12      
1879   15   797   13      13      
1881   15   799   11      11      
1882   15   800   13      13      
1884   15   802   12      12      
1885   15   803   10      10      
1889   15   807   9      9      
1890   15   808   12      12      
1891   15   809   12      12      
1892   15   810   12      12      
1893   15   811   11      11      
1894   15   812   10      10      
1895   15   813   9      9      
1896   15   814   10      10      
1897   15   815   11      11      
1898   15   816   7      7      
1899   15   817   8      8      
1900   15   818   11      11      
1901   15   819   8      8      
1903   15   821   10      10      
1904   15   822   9      9      
1905   15   823   11      11      
1906   15   824   11      11      
1908   15   826   11      11      
1909   15   827   11      11      
1913   15   831   11      11      
1914   15   832   10      10      
1915   15   833   9      9      
1916   15   834   13      13      
1917   15   835   13      13      
1918   15   836   10      10      
1919   15   837   9      9      
1921   15   839   8      8      
1922   15   840   12      12      
1923   15   841   8      8      
1924   15   842   12      12      
1925   15   843   11      11      
1927   15   845   6      6      
1929   15   847   14      14      
1930   15   848   13      13      
1931   15   849   12      12      
1932   15   850   12      12      
1933   15   851   6      6      
1934   15   852   7      7      
1935   15   853   13      13      
1936   15   854   13      13      
1937   15   855   9      9      
1938   15   856   4      4      
1939   15   857   12      12      
1940   15   858   14      14      
1941   15   859   11      11      
1942   15   860   9      9      
1943   15   861   7      7      
1944   15   862   9      9      
1945   15   863   9      9      
1946   15   864   5      5      
1947   15   865   6      6      
1948   15   866   10      10      
1949   15   867   10      10      
1950   15   868   14      14      
1951   15   869   10      10      
1952   15   870   12      12      
1953   15   871   9      9      
1954   15   872   11      11      
1955   15   873   11      11      
1956   15   874   9      9      
1957   15   875   8      8      
1958   15   876   9      9      
1959   15   877   8      8      
1960   15   878   9      9      
1964   15   882   8      8      
1965   15   883   10      10      
1967   15   885   9      9      
1968   15   886   11      11      
1969   15   887   11      11      
1970   15   888   9      9      
1971   15   889   7      7      
1972   15   890   10      10      
1973   15   891   12      12      
1974   15   892   10      10      
1975   15   893   11      11      
1976   15   894   11      11      
1978   15   896   12      12      
1979   15   897   10      10      
1980   15   898   10      10      
1981   15   899   6      6      
1982   15   900   6      6      
1984   15   902   11      11      
1985   15   903   4      4      
1986   15   904   9      9      
1987   15   905   11      11      
1988   15   906   11      11      
1989   15   907   12      12      
1990   15   908   10      10      
1991   15   909   9      9      
1992   15   910   13      13      
1993   15   911   10      10      
1994   15   912   8      8      
1995   15   913   9      9      
1996   15   914   11      11      
1997   15   915   7      7      
1998   15   916   10      10      
1999   15   917   10      10      
2000   15   918   11      11      
2002   15   920   10      10      
2003   15   921   9      9      
2004   15   922   9      9      
2005   15   923   13      13      
2007   15   925   7      7      
2008   15   926   11      11      
2009   15   927   9      9      
2010   15   928   12      12      
2011   15   929   6      6      
2012   15   930   7      7      
2013   15   931   9      9      
2014   15   932   12      12      
2015   15   933   6      6      
2016   15   934   10      10      
2018   15   936   10      10      
2019   15   937   9      9      
2020   15   938   12      12      
2022   15   940   9      9      
2023   15   941   9      9      
2024   15   942   11      11      
2025   15   943   14      14      
2026   15   944   14      14      
2028   15   946   9      9      
2029   15   947   13      13      
2030   15   948   13      13      
2031   15   949   8      8      
2032   15   950   11      11      
2033   15   951   9      9      
2034   15   952   9      9      
2037   15   955   12      12      
2038   15   956   6      6      
2039   15   957   8      8      
2040   15   958   8      8      
2041   15   959   8      8      
2042   15   960   9      9      
2043   15   961   7      7      
2044   15   962   7      7      
2045   15   963   10      10      
2046   15   964   13      13      
2047   15   965   12      12      
2049   15   967   12      12      
2050   15   968   8      8      
2051   15   969   7      7      
2052   15   970   5      5      
2053   15   971   7      7      
2054   15   972   9      9      
2055   15   973   6      6      
2056   15   974   6      6      
2057   15   975   10      10      
2059   15   977   7      7      
2060   15   978   9      9      
2061   15   979   10      10      
2062   15   980   12      12      
2063   15   981   8      8      
2065   15   983   9      9      
2066   15   984   14      14      
2070   15   988   8      8      
2071   15   989   9      9      
2072   15   990   11      11      
2073   15   991   12      12      
2077   15   995   11      11      
2080   15   998   7      7      
2081   15   999   14      14      
2083   15   1001   14      14      
2084   15   1002   7      7      
2085   15   1003   7      7      
2086   15   1004   8      8      
2087   15   1005   11      11      
2089   15   1007   13      13      
2090   15   1008   10      10      
2091   15   1009   9      9      
2092   15   1010   9      9      
2093   15   1011   11      11      
2094   15   1012   12      12      
2095   15   1013   12      12      
2096   15   1014   11      11      
2097   15   1015   10      10      
2098   15   1016   8      8      
2099   15   1017   12      12      
2100   15   1018   13      13      
2101   15   1019   13      13      
2102   15   1020   13      13      
2103   15   1021   14      14      
2104   15   1022   11      11      
2105   15   1023   11      11      
2106   15   1024   9      9      
2108   15   1026   11      11      
2109   15   1027   8      8      
2110   15   1028   6      6      
2111   15   1029   6      6      
2112   15   1030   7      7      
2113   15   1031   8      8      
2114   15   1032   11      11      
2115   15   1033   12      12      
2116   15   1034   12      12      
2117   15   1035   13      13      
2118   15   1036   10      10      
2119   15   1037   6      6      
2120   15   1038   6      6      
2121   15   1039   5      5      
2122   15   1040   8      8      
2123   15   1041   7      7      
2124   15   1042   7      7      
2125   15   1043   7      7      
2126   15   1044   10      10      
2127   15   1045   11      11      
2128   15   1046   6      6      
2129   15   1047   6      6      
2130   15   1048   12      12      
2131   15   1049   7      7      
2132   15   1050   7      7      
2133   15   1051   9      9      
2134   15   1052   10      10      
2135   15   1053   7      7      
2136   15   1054   6      6      
2137   15   1055   10      10      
2138   15   1056   8      8      
2139   15   1057   10      10      
2140   15   1058   10      10      
2142   15   1060   13      13      
2143   15   1061   8      8      
2144   15   1062   13      13      
2145   15   1063   13      13      
2146   15   1064   10      10      
2147   15   1065   9      9      
2148   15   1066   8      8      
2149   15   1067   10      10      
2150   15   1068   9      9      
2151   15   1069   7      7      
2152   15   1070   6      6      
2153   15   1071   8      8      
2154   15   1072   7      7      
2155   15   1073   9      9      
2156   15   1074   11      11      
2157   15   1075   9      9      
2158   15   1076   6      6      
2160   15   1078   9      9      
2161   15   1079   10      10      
2162   15   1080   8      8      
2163   15   1081   9      9      
2165   15   1083   7      7      
2166   15   1084   8      8      
2167   15   1085   8      8      
2169   15   1087   9      9      
2170   15   1088   10      10      
2171   15   1089   11      11      
2172   15   1090   7      7      
2174   15   1092   11      11      
2176   15   1094   9      9      
2177   15   1095   7      7      
2178   15   1096   7      7      
2180   15   1098   6      6      
2181   15   1099   10      10      
2182   15   1100   10      10      
2183   15   1101   9      9      
2185   15   1103   11      11      
2186   15   1104   9      9      
2187   15   1105   9      9      
2188   15   1106   13      13      
2190   15   1108   8      8      
2192   15   1110   12      12      
2193   15   1111   12      12      
2194   15   1112   13      13      
2197   15   1115   9      9      
2198   15   1116   7      7      
2199   15   1117   7      7      
2200   15   1118   8      8      
2201   15   1119   10      10      
2202   15   1120   8      8      
2203   15   1121   7      7      
2205   15   1123   9      9      
2206   15   1124   8      8      
2207   15   1125   8      8      
2208   15   1126   9      9      
2209   15   1127   8      8      
2210   15   1128   10      10      
2211   15   1129   7      7      
2213   15   1131   10      10      
2220   15   1138   10      10      
2221   15   1139   11      11      
2222   15   1140   11      11      
2223   15   1141   9      9      
2224   15   1142   9      9      
2225   15   1143   11      11      
2226   15   1144   8      8      
2228   15   1146   11      11      
2229   15   1147   9      9      
2230   15   1148   10      10      
2231   15   1149   8      8      
2233   15   1151   13      13      
2234   15   1152   10      10      
2235   15   1153   10      10      
2236   15   1154   9      9      
2237   15   1155   9      9      
2239   15   1157   10      10      
2240   15   1158   11      11      
2241   15   1159   13      13      
2243   15   1161   12      12      
2244   15   1162   8      8      
2245   15   1163   11      11      
2247   15   1165   9      9      
2248   15   1166   11      11      
2249   15   1167   11      11      
2254   15   1172   11      11      
2255   15   1173   13      13      
2256   15   1174   8      8      
2258   15   1176   10      10      
2259   15   1177   10      10      
2260   15   1178   8      8      
2261   15   1179   12      12      
2262   15   1180   12      12      
2263   15   1181   9      9      
2264   15   1182   11      11      
2269   15   1187   10      10      
2270   15   1188   12      12      
2273   15   1191   12      12      
2275   15   1193   9      9      
2278   15   1196   11      11      
2279   15   1197   11      11      
2280   15   1198   8      8      
2281   15   1199   11      11      
2283   15   1201   11      11      
2284   15   1202   8      8      
2285   15   1203   6      6      
2286   15   1204   8      8      
2287   15   1205   13      13      
2288   15   1206   7      7      
2289   15   1207   14      14      
2290   15   1208   14      14      
2291   15   1209   8      8      
2292   15   1210   9      9      
2293   15   1211   8      8      
2295   15   1213   10      10      
2298   15   1216   10      10      
2299   15   1217   9      9      
2300   15   1218   10      10      
2301   15   1219   6      6      
2303   15   1221   8      8      
2304   15   1222   7      7      
2305   15   1223   9      9      
2306   15   1224   5      5      
2307   15   1225   8      8      
2308   15   1226   8      8      
2309   15   1227   12      12      
2310   15   1228   10      10      
2311   15   1229   8      8      
2312   15   1230   7      7      
2313   15   1231   10      10      
2314   15   1232   8      8      
2315   15   1233   8      8      
2316   15   1234   9      9      
2319   15   1237   6      6      
2320   15   1238   6      6      
2321   15   1239   7      7      
2322   15   1240   7      7      
2323   15   1241   6      6      
2324   15   1242   9      9      
2325   15   1243   7      7      
2326   15   1244   8      8      
2328   15   1246   6      6      
2329   15   1247   8      8      
2330   15   1248   12      12      
2332   15   1250   7      7      
2333   15   1251   11      11      
2334   15   1252   8      8      
2335   15   1253   12      12      
2336   15   1254   10      10      
2337   15   1255   6      6      
2338   15   1256   8      8      
2339   15   1257   6      6      
2340   15   1258   9      9      
2343   15   1261   9      9      
2345   15   1263   8      8      
2346   15   1264   10      10      
2349   15   1267   10      10      
2350   15   1268   9      9      
2351   15   1269   9      9      
2352   15   1270   9      9      
2353   15   1271   10      10      
2354   15   1272   8      8      
2356   15   1274   9      9      
2358   15   1276   7      7      
2359   15   1277   8      8      
2360   15   1278   11      11      
2361   15   1279   9      9      
2362   15   1280   9      9      
2363   15   1281   8      8      
2364   15   1282   8      8      
2365   15   1283   9      9      
2366   15   1284   8      8      
2367   15   1285   7      7      
2368   15   1286   6      6      
2369   15   1287   11      11      
2370   15   1288   12      12      
2371   15   1289   8      8      
2372   15   1290   8      8      
2373   15   1291   9      9      
2374   15   1292   9      9      
2375   15   1293   12      12      
2376   15   1294   10      10      
2378   15   1296   8      8      
2380   15   1298   8      8      
2381   15   1299   10      10      
2382   15   1300   9      9      
2383   15   1301   8      8      
2385   15   1303   10      10      
2388   15   1306   8      8      
2391   15   1309   11      11      
2392   15   1310   11      11      
2394   15   1312   9      9      
2396   15   1314   11      11      
2399   15   1317   11      11      
2400   15   1318   12      12      
2401   15   1319   13      13      
2402   15   1320   10      10      
2404   15   1322   6      6      
2405   15   1323   8      8      
2406   15   1324   9      9      
2407   15   1325   12      12      
2408   15   1326   13      13      
2409   15   1327   11      11      
2410   15   1328   8      8      
2411   15   1329   9      9      
2412   15   1330   9      9      
2413   15   1331   9      9      
2414   15   1332   7      7      
2415   15   1333   7      7      
2416   15   1334   9      9      
2417   15   1335   7      7      
2418   15   1336   8      8      
2420   15   1338   10      10      
2423   15   1341   10      10      
2424   15   1342   10      10      
2425   15   1343   9      9      
2427   15   1345   10      10      
2430   15   1348   12      12      
2433   15   1351   9      9      
2434   15   1352   11      11      

For SL16 bit will be ready by the end of the week.

Bob Shemyakin
BobShemyakin
 
Posts: 191
Joined: June 15th, 2014, 6:24 am

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby chris_c » January 9th, 2017, 5:44 pm

BobShemyakin wrote:Thank you! Publish my list SL 4 up to 15 bits. The last column contains distinct from your list (minus in your favor):
No   bit No in bit   G (chris)   G (Bob)      dG
1474   15   392   10      13      -3
....
46   10   15   7      6      1
53   10   22   7      6      1
....



Are you sure you are using an up to date version of my lists? I had a 10 glider synthesis of 15.392 in 10 gliders but it was already improved to 7 gliders by 20th December. Also all 10 bit still lifes have been at 6 gliders or less in my lists for even longer than that.

BobShemyakin wrote:For SL16 bit will be ready by the end of the week.

Great. I'd love to see the actual syntheses as well if possible.

EDIT: I analysed your list and it seems that 38 of your costs are lower than mine:

12.96      xs12_252sga6             8      7      1     
13.39      xs13_0gbb8oz121          7      6      1     
13.68      xs13_0ggka53z32          7      6      1     
13.178     xs13_4ai30o8zx121        11     7      4     
13.184     xs13_354215ac            11     10     1     
13.205     xs13_178n96              9      7      2     
14.7       xs14_255q8a52            10     9      1     
14.214     xs14_4a52sga6            10     9      1     
14.269     xs14_25a842ako           10     8      2     
14.334     xs14_4aq453z32           12     11     1     
14.467     xs14_ca9jzw1226          12     11     1     
14.546     xs14_ca9jzw1252          10     9      1     
14.587     xs14_08u1acz321          10     8      2     
14.617     xs14_3123qp3             10     8      2     
15.109     xs15_6ags25ac            11     10     1     
15.158     xs15_178c2dio            8      7      1     
15.160     xs15_178c2dic            10     9      1     
15.198     xs15_6248c2dic           12     11     1     
15.239     xs15_39m86248c           10     9      1     
15.280     xs15_0g8jdz3kp           11     9      2     
15.393     xs15_4s0s2pmzw1          14     12     2     
15.463     xs15_0mlla4z32           10     8      2     
15.519     xs15_8e13kczw65          11     10     1     
15.536     xs15_03ihe8z2521         9      7      2     
15.548     xs15_0gbhe8z3421         8      7      1     
15.559     xs15_69b88czw252         9      7      2     
15.879     xs15_o4871acz23          11     10     1     
15.939     xs15_4ai30o4czx121       12     10     2     
15.954     xs15_25akggozx66         9      8      1     
15.997     xs15_0g8hf0ccz23         11     10     1     
15.1077    xs15_ci96zw115a4         8      6      2     
15.1186    xs15_xg8o64213z321       11     9      2     
15.1194    xs15_w8o69a4z2521        9      8      1     
15.1220    xs15_wkc32acz65          10     8      2     
15.1262    xs15_x8ka52zad11         10     9      1     
15.1304    xs15_358gzw116a8o        11     10     1     
15.1305    xs15_358gzw116ak8        9      8      1     
15.1337    xs15_3lozx31248c         11     9      2     


I already spotted that you have a synthesis of 13.68 that involves an HWSS. Obviously I would be curious to know how you improved the rest :)
Last edited by chris_c on January 10th, 2017, 8:09 am, edited 1 time in total.
chris_c
 
Posts: 701
Joined: June 28th, 2014, 7:15 am

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby Goldtiger997 » January 9th, 2017, 10:01 pm

Slightly off topic alert

mniemiec wrote:On a related note, all pseudo-still-lifes up to 19 bits have been solved. All 20-bit ones can be synthesized except for the following 57 (the last 3 of which can be synthesized based on some of the others plus a snake-to-carrier converter);
x = 144, y = 83, rule = B3/S23
ooboobo8booboobo8booboobo8booboboo8booboobo8booboobo8booboobboo6booboo
boo8booboo10booboo$obooboo8bobooboo8booboboo8bobooboo8bobooboo8boboob
oo9bobobbobo7bobo3bo7bobobo10bobobobo$90bo3bobo8bo3bobo8bo4b3o7bo6bo$o
booboo8bobooboo8booboboo9booboobo8booboobo8booboobo7booboobbo7booboobo
bo7bo5bo8bo3b3o$ooboboo8booboobo8bobooboo9booboboo8bobooboo8booboboo
13boo14boo8bobobo10bobo$121booboo10booboo10$oo13booboo10booboo11booboo
9booboobo8boo3boo9boobo11booboo10booboo10booboo$obbooboo8bobobboo7bob
oobo9bobobobo9boboboo8bo5bo8bobboo12bobobo10bobobo8bobobo$bobo3bo7bo3b
obo14bo8bo6bo8bo15bobo10boo14bo5bo8bo4bo8bo4bo$oobbobo8booboobbo14bo8b
o6bo8bo13booboo15boo7bo4boo8bo5boo8bo4bo$bboboboo12bobo7boobobobo9bobo
bobo9boboboo7bo3bo9boo5bo7bobobbo9bobo4bo9bo4bo$bboo16boo8bobooboo11b
ooboo9booboobo8bobo10bobob3o9boo3bo9boobbo12bobobo$76booboo12boo15boo
13boo10booboo9$obooboo8boo13boo13boo13boobbo10boobboo9boobboo9boobo11b
oobobboo7booboo$oobobo10bo14bobbo10bo4boo8bo3b3o8bo3bo10bobobbo9boboo
11boboo3bo7boobo$7bo7bo5boo7bo3b3o10bobbobo8bo5bo8bo3bo11bobo16boo11b
3o11bobboo$6boo7b4obobo7boo5bo8boo4bo7boo4bo8boo4bo9bobb4o7boboo3bo8b
oobo13boobbo$bboobo12bobo10bo4bo8bo5bo8bo4bo9bo6bo8boo4bo7boobobbo10bo
16bobo$bobboo11bo3bo9bobobo10bobobo11bobo12bob3o14bo11bobo11bobo13bobb
oo$boo14booboo10booboo10booboo9booboo10boobo16boo10boo13boo13boo9$bboo
boo9boboo11boobbo10booboo10booboo9boboobo9boboobo9bobooboo8bobooboo8b
oobboo$3bobo10boobo10bobobb3o9bobobo8bobobobo8boobob3o7boobob3o7boobob
o9boobobobo7bobbobo$bbo3bo15boo6bo7bo7bo5bo7bo6bo15bo14bo12bo16bo8boo$
bo5bo7boboo4bo7bo5bo7bo7bo7bo6bo13boo10booboo13bo13boo10bobo$o7bo6boo
bbobbo9bo3bo8bobo3bobo8bo3bobo9boobbo11bo12boo4bo8boobbo10bobb3o$b3ob
3o10bobbo11bobo10boobbobo10bobboo10bobobo9bobo12bobb3o9bobobo10boo4bo$
3bobo13boo11booboo14bo10boo17bo10boo15boo14bo16boo9$ooboo10booboo10boo
boo12booboo9booboo10booboo10booboo9boo13boo13boo$bobo12boboo10bo3bo13b
obobo9bobo12bobo12bobobbo8bo5bo8bo4boo7bobo3boo$o3bo10bo6boo7bobo3boo
8bo5bo7bo3bo9bo4bo10bo4boo7bo4b3o8boboobbo9bo3bo$ooboobbo7booboo3bo6b
ooboo3bo7bo7bo5bo5bo8boo4bo8bo14boobbo12boboo11boo3bo$4bobobo10bobbo
11bobbo7bo5b3o6bobo4bo8bo5bo8b3o16bo30boo$4bobbo11bobo12bobo9b3obbo9bo
bobboo8bobobboo10b3o9boobboo11boboo11boobbo$3boo15bo14bo12bo14bo13bobo
16bo8bobbo13boobbo10bobobo$63boo13bo16boo10boo16boo13bo8$ooboo11booboo
9bo14boo15boobo11boobo10boo$o3bo12bobo10b3o4boo6bobo12bobbob3o7bobbob
3o9bo4bo$bobo3bo8bo3b3o10bo4bo8bo3boo7boo6bo6boo6bo6bo4b3o$oob5o7bo7bo
8bobb3o9boobbo15boo10booboo6boobbo$15boo5bo9boobo17bo9boobbo11bo15bo$
5bo15bo11bo13boo3boo9bobobo9bobo10boobboo$4bobo11bobo12bobo11bobobo14b
o10boo11bobbo$5bo12boo14boo14boo40boo!


I forgot to post this when I found it, then when I found it in my files a month later I forgot again, so I am posting this now before I forget again.

Here is one of those 57 20-bit pseudo still-lifes in 15 gliders:

x = 159, y = 39, rule = B3/S23
80bo$81bo$79b3o3$80b3o$82bo$81bo7$135bo$135bobo$131bo3b2o$132b2o$131b
2o$128bo$126bobo$127b2o$104b2o28b2o16b2o$103bo2bo26bo2bo16bo$48bo54bob
o27bobo17bob2o$o3bo42bo38b3o15bo29bo19bobo$b2obobo18b2o20b3o5b2o20b2o
7bo20b2o28b2o18b2o$2o2b2o20bo17b2o10bo21bo8bo20bo29bo19bo$21b2obo18b2o
6b2obo16b2obobo24b2obobo14b2o8b2obobo14b2obobo$21b2ob2o19bo5b2ob2o15bo
b2ob2o23bob2ob2o12bobo8bob2ob2o13bob2ob2o$122bo$39b3o$4b3o34bo$4bo35bo
$5bo$3o$2bo47b2o$bo48bobo$50bo!


I thought this thread was probably the best place to post this
User avatar
Goldtiger997
 
Posts: 240
Joined: June 21st, 2016, 8:00 am
Location: 11.329903°N 142.199305°E

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby BobShemyakin » January 14th, 2017, 8:01 am

Publish my list for still lifes 16 bits:
16 1 12
16 2 11
16 3 12
16 4 14
16 5 10
16 6 13
16 7 4
16 8 7
16 9 9
16 10 5
16 11 11
16 12 7
16 13 9
16 14 8
16 15 17
16 16 10
16 17 11
16 18 999
16 19 18
16 20 10
16 21 8
16 22 12
16 23 13
16 24 15
16 25 8
16 26 14
16 27 14
16 28 11
16 29 11
16 30 17
16 31 15
16 32 16
16 33 9
16 34 13
16 35 10
16 36 12
16 37 16
16 38 10
16 39 10
16 40 11
16 41 7
16 42 10
16 43 16
16 44 11
16 45 999
16 46 15
16 47 11
16 48 15
16 49 12
16 50 13
16 51 999
16 52 13
16 53 13
16 54 18
16 55 13
16 56 14
16 57 999
16 58 15
16 59 8
16 60 7
16 61 7
16 62 9
16 63 11
16 64 17
16 65 7
16 66 8
16 67 999
16 68 15
16 69 13
16 70 10
16 71 13
16 72 9
16 73 18
16 74 13
16 75 10
16 76 13
16 77 12
16 78 15
16 79 15
16 80 12
16 81 9
16 82 10
16 83 14
16 84 11
16 85 7
16 86 14
16 87 14
16 88 13
16 89 13
16 90 15
16 91 12
16 92 999
16 93 12
16 94 14
16 95 13
16 96 10
16 97 14
16 98 11
16 99 15
16 100 12
16 101 999
16 102 999
16 103 12
16 104 16
16 105 15
16 106 17
16 107 10
16 108 13
16 109 15
16 110 18
16 111 16
16 112 9
16 113 8
16 114 13
16 115 16
16 116 12
16 117 16
16 118 14
16 119 10
16 120 10
16 121 30
16 122 4
16 123 9
16 124 27
16 125 13
16 126 42
16 127 14
16 128 27
16 129 4
16 130 14
16 131 32
16 132 7
16 133 6
16 134 999
16 135 4
16 136 7
16 137 11
16 138 5
16 139 7
16 140 14
16 141 999
16 142 999
16 143 999
16 144 999
16 145 12
16 146 7
16 147 32
16 148 32
16 149 999
16 150 999
16 151 44
16 152 999
16 153 999
16 154 14
16 155 18
16 156 999
16 157 24
16 158 12
16 159 21
16 160 9
16 161 13
16 162 12
16 163 13
16 164 4
16 165 4
16 166 6
16 167 6
16 168 6
16 169 999
16 170 999
16 171 999
16 172 13
16 173 10
16 174 13
16 175 4
16 176 999
16 177 999
16 178 14
16 179 8
16 180 999
16 181 13
16 182 16
16 183 5
16 184 11
16 185 30
16 186 14
16 187 9
16 188 7
16 189 7
16 190 8
16 191 999
16 192 9
16 193 8
16 194 10
16 195 8
16 196 999
16 197 7
16 198 15
16 199 10
16 200 13
16 201 9
16 202 999
16 203 7
16 204 10
16 205 7
16 206 10
16 207 6
16 208 11
16 209 999
16 210 7
16 211 999
16 212 14
16 213 999
16 214 14
16 215 9
16 216 7
16 217 39
16 218 33
16 219 12
16 220 25
16 221 999
16 222 12
16 223 999
16 224 10
16 225 8
16 226 999
16 227 17
16 228 999
16 229 11
16 230 999
16 231 7
16 232 8
16 233 17
16 234 7
16 235 12
16 236 999
16 237 10
16 238 14
16 239 14
16 240 11
16 241 14
16 242 11
16 243 16
16 244 4
16 245 9
16 246 999
16 247 9
16 248 999
16 249 7
16 250 6
16 251 10
16 252 9
16 253 8
16 254 8
16 255 11
16 256 5
16 257 11
16 258 8
16 259 999
16 260 999
16 261 15
16 262 14
16 263 999
16 264 999
16 265 17
16 266 16
16 267 13
16 268 13
16 269 9
16 270 16
16 271 10
16 272 9
16 273 16
16 274 13
16 275 11
16 276 14
16 277 9
16 278 999
16 279 10
16 280 9
16 281 8
16 282 10
16 283 10
16 284 9
16 285 14
16 286 8
16 287 11
16 288 8
16 289 7
16 290 7
16 291 11
16 292 13
16 293 11
16 294 13
16 295 11
16 296 11
16 297 13
16 298 13
16 299 14
16 300 23
16 301 999
16 302 16
16 303 12
16 304 9
16 305 7
16 306 10
16 307 16
16 308 7
16 309 12
16 310 12
16 311 7
16 312 29
16 313 35
16 314 10
16 315 12
16 316 9
16 317 12
16 318 7
16 319 10
16 320 11
16 321 10
16 322 7
16 323 11
16 324 8
16 325 15
16 326 15
16 327 9
16 328 7
16 329 9
16 330 8
16 331 8
16 332 9
16 333 9
16 334 11
16 335 11
16 336 7
16 337 13
16 338 7
16 339 8
16 340 15
16 341 12
16 342 8
16 343 11
16 344 10
16 345 10
16 346 8
16 347 17
16 348 13
16 349 41
16 350 16
16 351 14
16 352 10
16 353 999
16 354 35
16 355 8
16 356 12
16 357 11
16 358 17
16 359 11
16 360 16
16 361 12
16 362 12
16 363 16
16 364 999
16 365 12
16 366 11
16 367 7
16 368 12
16 369 999
16 370 12
16 371 999
16 372 999
16 373 8
16 374 9
16 375 10
16 376 9
16 377 8
16 378 12
16 379 12
16 380 17
16 381 12
16 382 12
16 383 12
16 384 14
16 385 9
16 386 11
16 387 12
16 388 9
16 389 13
16 390 12
16 391 12
16 392 11
16 393 6
16 394 11
16 395 14
16 396 9
16 397 10
16 398 7
16 399 17
16 400 999
16 401 14
16 402 10
16 403 13
16 404 9
16 405 999
16 406 12
16 407 13
16 408 13
16 409 12
16 410 10
16 411 12
16 412 12
16 413 13
16 414 12
16 415 14
16 416 12
16 417 10
16 418 12
16 419 11
16 420 12
16 421 10
16 422 12
16 423 999
16 424 10
16 425 10
16 426 14
16 427 12
16 428 14
16 429 14
16 430 13
16 431 999
16 432 9
16 433 11
16 434 10
16 435 13
16 436 11
16 437 13
16 438 9
16 439 11
16 440 9
16 441 12
16 442 17
16 443 11
16 444 7
16 445 13
16 446 12
16 447 9
16 448 8
16 449 12
16 450 9
16 451 10
16 452 14
16 453 11
16 454 15
16 455 12
16 456 10
16 457 12
16 458 11
16 459 8
16 460 12
16 461 9
16 462 10
16 463 11
16 464 9
16 465 13
16 466 13
16 467 14
16 468 15
16 469 10
16 470 14
16 471 7
16 472 11
16 473 8
16 474 999
16 475 11
16 476 12
16 477 11
16 478 13
16 479 13
16 480 9
16 481 10
16 482 12
16 483 9
16 484 11
16 485 8
16 486 12
16 487 14
16 488 14
16 489 8
16 490 10
16 491 9
16 492 13
16 493 12
16 494 12
16 495 10
16 496 12
16 497 11
16 498 12
16 499 11
16 500 14
16 501 9
16 502 9
16 503 12
16 504 18
16 505 15
16 506 18
16 507 7
16 508 8
16 509 9
16 510 12
16 511 11
16 512 11
16 513 12
16 514 15
16 515 12
16 516 17
16 517 10
16 518 11
16 519 14
16 520 12
16 521 13
16 522 10
16 523 16
16 524 12
16 525 12
16 526 14
16 527 12
16 528 12
16 529 16
16 530 11
16 531 10
16 532 10
16 533 13
16 534 11
16 535 12
16 536 14
16 537 12
16 538 11
16 539 13
16 540 12
16 541 13
16 542 16
16 543 12
16 544 13
16 545 14
16 546 15
16 547 14
16 548 16
16 549 14
16 550 14
16 551 11
16 552 6
16 553 13
16 554 14
16 555 11
16 556 13
16 557 999
16 558 999
16 559 13
16 560 10
16 561 10
16 562 11
16 563 13
16 564 17
16 565 12
16 566 11
16 567 13
16 568 10
16 569 14
16 570 10
16 571 13
16 572 10
16 573 11
16 574 15
16 575 13
16 576 11
16 577 11
16 578 12
16 579 10
16 580 14
16 581 13
16 582 14
16 583 10
16 584 13
16 585 14
16 586 14
16 587 12
16 588 13
16 589 13
16 590 14
16 591 999
16 592 11
16 593 999
16 594 11
16 595 16
16 596 12
16 597 11
16 598 16
16 599 10
16 600 18
16 601 14
16 602 14
16 603 13
16 604 11
16 605 9
16 606 12
16 607 11
16 608 14
16 609 14
16 610 14
16 611 16
16 612 13
16 613 10
16 614 11
16 615 17
16 616 17
16 617 6
16 618 10
16 619 999
16 620 999
16 621 25
16 622 25
16 623 27
16 624 4
16 625 8
16 626 999
16 627 9
16 628 28
16 629 10
16 630 12
16 631 12
16 632 999
16 633 8
16 634 999
16 635 999
16 636 15
16 637 15
16 638 12
16 639 15
16 640 999
16 641 999
16 642 51
16 643 999
16 644 4
16 645 16
16 646 9
16 647 999
16 648 9
16 649 10
16 650 12
16 651 8
16 652 6
16 653 13
16 654 12
16 655 999
16 656 999
16 657 16
16 658 7
16 659 5
16 660 15
16 661 14
16 662 15
16 663 999
16 664 999
16 665 999
16 666 14
16 667 14
16 668 17
16 669 5
16 670 5
16 671 14
16 672 15
16 673 8
16 674 999
16 675 6
16 676 10
16 677 12
16 678 14
16 679 13
16 680 7
16 681 999
16 682 999
16 683 999
16 684 10
16 685 999
16 686 999
16 687 999
16 688 14
16 689 9
16 690 12
16 691 999
16 692 13
16 693 11
16 694 11
16 695 25
16 696 6
16 697 999
16 698 999
16 699 11
16 700 18
16 701 12
16 702 999
16 703 8
16 704 8
16 705 5
16 706 29
16 707 999
16 708 7
16 709 16
16 710 12
16 711 15
16 712 48
16 713 999
16 714 13
16 715 999
16 716 34
16 717 33
16 718 21
16 719 12
16 720 5
16 721 5
16 722 999
16 723 999
16 724 16
16 725 5
16 726 6
16 727 7
16 728 6
16 729 7
16 730 14
16 731 29
16 732 8
16 733 9
16 734 10
16 735 13
16 736 10
16 737 4
16 738 24
16 739 16
16 740 16
16 741 9
16 742 8
16 743 999
16 744 999
16 745 24
16 746 7
16 747 12
16 748 999
16 749 9
16 750 15
16 751 13
16 752 14
16 753 12
16 754 10
16 755 14
16 756 10
16 757 9
16 758 4
16 759 8
16 760 14
16 761 999
16 762 16
16 763 10
16 764 13
16 765 999
16 766 10
16 767 999
16 768 7
16 769 14
16 770 6
16 771 16
16 772 17
16 773 6
16 774 21
16 775 14
16 776 999
16 777 10
16 778 39
16 779 9
16 780 8
16 781 14
16 782 999
16 783 999
16 784 15
16 785 14
16 786 28
16 787 12
16 788 9
16 789 9
16 790 999
16 791 11
16 792 10
16 793 11
16 794 7
16 795 56
16 796 9
16 797 8
16 798 6
16 799 17
16 800 999
16 801 999
16 802 999
16 803 17
16 804 999
16 805 7
16 806 10
16 807 999
16 808 13
16 809 8
16 810 999
16 811 11
16 812 7
16 813 999
16 814 8
16 815 6
16 816 999
16 817 6
16 818 10
16 819 999
16 820 10
16 821 999
16 822 999
16 823 999
16 824 15
16 825 999
16 826 9
16 827 999
16 828 999
16 829 999
16 830 14
16 831 999
16 832 8
16 833 999
16 834 999
16 835 16
16 836 20
16 837 15
16 838 16
16 839 999
16 840 16
16 841 13
16 842 37
16 843 10
16 844 6
16 845 999
16 846 999
16 847 12
16 848 18
16 849 12
16 850 12
16 851 999
16 852 16
16 853 16
16 854 999
16 855 12
16 856 999
16 857 7
16 858 13
16 859 6
16 860 7
16 861 6
16 862 13
16 863 14
16 864 7
16 865 9
16 866 7
16 867 7
16 868 9
16 869 6
16 870 7
16 871 13
16 872 999
16 873 10
16 874 4
16 875 999
16 876 8
16 877 999
16 878 14
16 879 999
16 880 13
16 881 13
16 882 14
16 883 7
16 884 11
16 885 7
16 886 11
16 887 8
16 888 9
16 889 27
16 890 40
16 891 10
16 892 6
16 893 15
16 894 6
16 895 6
16 896 10
16 897 48
16 898 9
16 899 5
16 900 5
16 901 11
16 902 14
16 903 10
16 904 10
16 905 12
16 906 999
16 907 14
16 908 7
16 909 14
16 910 12
16 911 6
16 912 13
16 913 999
16 914 999
16 915 999
16 916 13
16 917 13
16 918 11
16 919 6
16 920 8
16 921 16
16 922 11
16 923 10
16 924 13
16 925 12
16 926 999
16 927 999
16 928 999
16 929 999
16 930 999
16 931 14
16 932 14
16 933 7
16 934 7
16 935 7
16 936 10
16 937 10
16 938 7
16 939 9
16 940 9
16 941 10
16 942 14
16 943 999
16 944 999
16 945 10
16 946 999
16 947 999
16 948 999
16 949 12
16 950 12
16 951 15
16 952 12
16 953 16
16 954 999
16 955 14
16 956 999
16 957 999
16 958 13
16 959 16
16 960 8
16 961 6
16 962 10
16 963 8
16 964 5
16 965 6
16 966 8
16 967 14
16 968 9
16 969 7
16 970 6
16 971 7
16 972 11
16 973 10
16 974 14
16 975 16
16 976 11
16 977 12
16 978 9
16 979 14
16 980 11
16 981 5
16 982 11
16 983 7
16 984 13
16 985 16
16 986 999
16 987 999
16 988 12
16 989 13
16 990 999
16 991 12
16 992 11
16 993 999
16 994 6
16 995 999
16 996 999
16 997 14
16 998 999
16 999 7
16 1000 15
16 1001 13
16 1002 5
16 1003 7
16 1004 12
16 1005 8
16 1006 5
16 1007 6
16 1008 11
16 1009 10
16 1010 11
16 1011 7
16 1012 7
16 1013 13
16 1014 8
16 1015 7
16 1016 8
16 1017 10
16 1018 999
16 1019 6
16 1020 13
16 1021 11
16 1022 10
16 1023 5
16 1024 7
16 1025 10
16 1026 8
16 1027 8
16 1028 12
16 1029 14
16 1030 8
16 1031 15
16 1032 9
16 1033 8
16 1034 999
16 1035 11
16 1036 7
16 137 11
16 1038 10
16 1039 999
16 1040 11
16 1041 16
16 1042 5
16 1043 12
16 1044 11
16 1045 8
16 1046 15
16 1047 10
16 1048 12
16 1049 14
16 1050 13
16 1051 12
16 1052 10
16 1053 10
16 1054 11
16 1055 12
16 1056 999
16 1057 999
16 1058 11
16 1059 14
16 1060 15
16 1061 15
16 1062 10
16 1063 16
16 1064 999
16 1065 10
16 1066 12
16 1067 17
16 1068 16
16 1069 11
16 1070 11
16 1071 13
16 1072 10
16 1073 999
16 1074 9
16 1075 11
16 1076 9
16 1077 999
16 1078 13
16 1079 16
16 1080 18
16 1081 999
16 1082 8
16 1083 5
16 1084 22
16 1085 16
16 1086 999
16 1087 999
16 1088 9
16 1089 14
16 1090 12
16 1091 11
16 1092 10
16 1093 5
16 1094 999
16 1095 7
16 1096 18
16 1097 17
16 1098 11
16 1099 13
16 1100 8
16 1101 7
16 1102 8
16 1103 999
16 1104 999
16 1105 999
16 1106 999
16 1107 18
16 1108 16
16 1109 999
16 1110 999
16 1111 999
16 1112 999
16 1113 999
16 1114 11
16 1115 999
16 1116 13
16 1117 11
16 1118 10
16 1119 7
16 1120 8
16 1121 999
16 1122 13
16 1123 4
16 1124 7
16 1125 6
16 1126 8
16 1127 32
16 1128 13
16 1129 15
16 1130 18
16 1131 12
16 1132 11
16 1133 9
16 1134 13
16 1135 8
16 1136 10
16 1137 10
16 1138 9
16 1139 999
16 1140 7
16 1141 8
16 1142 999
16 1143 999
16 1144 10
16 1145 9
16 1146 12
16 1147 999
16 1148 999
16 1149 12
16 1150 17
16 1151 10
16 1152 9
16 1153 8
16 1154 10
16 1155 9
16 1156 14
16 1157 9
16 1158 13
16 1159 999
16 1160 15
16 1161 12
16 1162 9
16 1163 7
16 1164 8
16 1165 9
16 1166 8
16 1167 11
16 1168 9
16 1169 9
16 1170 9
16 1171 8
16 1172 9
16 1173 8
16 1174 11
16 1175 11
16 1176 11
16 1177 10
16 1178 9
16 1179 8
16 1180 8
16 1181 7
16 1182 11
16 1183 10
16 1184 11
16 1185 10
16 1186 9
16 1187 9
16 1188 14
16 1189 12
16 1190 14
16 1191 9
16 1192 10
16 1193 7
16 1194 10
16 1195 7
16 1196 5
16 1197 8
16 1198 7
16 1199 7
16 1200 11
16 1201 12
16 1202 10
16 1203 7
16 1204 9
16 1205 8
16 1206 7
16 1207 10
16 1208 7
16 1209 7
16 1210 13
16 1211 999
16 1212 9
16 1213 12
16 1214 14
16 1215 11
16 1216 13
16 1217 6
16 1218 11
16 1219 16
16 1220 10
16 1221 12
16 1222 12
16 1223 12
16 1224 15
16 1225 999
16 1226 11
16 1227 8
16 1228 10
16 1229 7
16 1230 13
16 1231 10
16 1232 10
16 1233 999
16 1234 13
16 1235 9
16 1236 9
16 1237 11
16 1238 10
16 1239 13
16 1240 11
16 1241 13
16 1242 11
16 1243 13
16 1244 13
16 1245 999
16 1246 999
16 1247 17
16 1248 10
16 1249 17
16 1250 11
16 1251 9
16 1252 9
16 1253 7
16 1254 13
16 1255 7
16 1256 13
16 1257 12
16 1258 13
16 1259 12
16 1260 11
16 1261 13
16 1262 11
16 1263 11
16 1264 7
16 1265 11
16 1266 18
16 1267 7
16 1268 9
16 1269 9
16 1270 7
16 1271 10
16 1272 10
16 1273 999
16 1274 11
16 1275 12
16 1276 18
16 1277 12
16 1278 9
16 1279 9
16 1280 14
16 1281 8
16 1282 8
16 1283 7
16 1284 13
16 1285 15
16 1286 8
16 1287 9
16 1288 9
16 1289 5
16 1290 9
16 1291 9
16 1292 10
16 1293 9
16 1294 13
16 1295 9
16 1296 10
16 1297 8
16 1298 8
16 1299 15
16 1300 7
16 1301 999
16 1302 16
16 1303 16
16 1304 999
16 1305 16
16 1306 18
16 1307 13
16 1308 10
16 1309 999
16 1310 10
16 1311 999
16 1312 12
16 1313 14
16 1314 12
16 1315 6
16 1316 7
16 1317 6
16 1318 12
16 1319 10
16 1320 12
16 1321 14
16 1322 7
16 1323 18
16 1324 6
16 1325 999
16 1326 9
16 1327 10
16 1328 13
16 1329 11
16 1330 14
16 1331 13
16 1332 13
16 1333 9
16 1334 8
16 1335 11
16 1336 8
16 1337 14
16 1338 15
16 1339 7
16 1340 8
16 1341 10
16 1342 12
16 1343 8
16 1344 8
16 1345 12
16 1346 9
16 1347 10
16 1348 9
16 1349 7
16 1350 9
16 1351 9
16 1352 8
16 1353 8
16 1354 7
16 1355 8
16 1356 9
16 1357 7
16 1358 7
16 1359 10
16 1360 8
16 1361 10
16 1362 8
16 1363 10
16 1364 9
16 1365 9
16 1366 9
16 1367 9
16 1368 12
16 1369 11
16 1370 12
16 1371 10
16 1372 10
16 1373 999
16 1374 10
16 1375 8
16 1376 11
16 1377 7
16 1378 8
16 1379 10
16 1380 8
16 1381 999
16 1382 10
16 1383 9
16 1384 10
16 1385 17
16 1386 5
16 1387 10
16 1388 13
16 1389 13
16 1390 8
16 1391 15
16 1392 999
16 1393 11
16 1394 13
16 1395 17
16 1396 15
16 1397 11
16 1398 999
16 1399 11
16 1400 11
16 1401 999
16 1402 15
16 1403 13
16 1404 11
16 1405 13
16 1406 11
16 1407 9
16 1408 8
16 1409 10
16 1410 9
16 1411 11
16 1412 17
16 1413 10
16 1414 7
16 1415 17
16 1416 18
16 1417 10
16 1418 13
16 1419 999
16 1420 9
16 1421 17
16 1422 12
16 1423 10
16 1424 9
16 1425 12
16 1426 10
16 1427 12
16 1428 10
16 1429 6
16 1430 13
16 1431 13
16 1432 13
16 1433 11
16 1434 16
16 1435 12
16 1436 9
16 1437 10
16 1438 10
16 1439 12
16 1440 11
16 1441 12
16 1442 12
16 1443 7
16 1444 999
16 1445 16
16 1446 9
16 1447 12
16 1448 10
16 1449 7
16 1450 8
16 1451 10
16 1452 6
16 1453 11
16 1454 9
16 1455 10
16 1456 12
16 1457 10
16 1458 11
16 1459 14
16 1460 15
16 1461 13
16 1462 12
16 1463 8
16 1464 999
16 1465 10
16 1466 11
16 1467 12
16 1468 12
16 1469 13
16 1470 14
16 1471 11
16 1472 12
16 1473 17
16 1474 11
16 1475 10
16 1476 10
16 1477 11
16 1478 7
16 1479 15
16 1480 10
16 1481 9
16 1482 11
16 1483 12
16 1484 13
16 1485 13
16 1486 13
16 1487 10
16 1488 12
16 1489 16
16 1490 17
16 1491 16
16 1492 13
16 1493 10
16 1494 10
16 1495 15
16 1496 10
16 1497 10
16 1498 11
16 1499 9
16 1500 13
16 1501 8
16 1502 13
16 1503 12
16 1504 15
16 1505 10
16 1506 14
16 1507 12
16 1508 8
16 1509 12
16 1510 12
16 1511 10
16 1512 12
16 1513 17
16 1514 10
16 1515 11
16 1516 11
16 1517 11
16 1518 7
16 1519 12
16 1520 11
16 1521 12
16 1522 11
16 1523 10
16 1524 15
16 1525 10
16 1526 11
16 1527 9
16 1528 10
16 1529 11
16 1530 13
16 1531 10
16 1532 16
16 1533 9
16 1534 10
16 1535 9
16 1536 12
16 1537 11
16 1538 12
16 1539 10
16 1540 8
16 1541 14
16 1542 12
16 1543 11
16 1544 10
16 1545 12
16 1546 16
16 1547 11
16 1548 10
16 1549 12
16 1550 12
16 1551 12
16 1552 11
16 1553 9
16 1554 12
16 1555 11
16 1556 11
16 1557 15
16 1558 18
16 1559 13
16 1560 10
16 1561 9
16 1562 11
16 1563 9
16 1564 10
16 1565 12
16 1566 12
16 1567 15
16 1568 12
16 1569 12
16 1570 12
16 1571 12
16 1572 10
16 1573 8
16 1574 12
16 1575 12
16 1576 11
16 1577 13
16 1578 9
16 1579 9
16 1580 9
16 1581 999
16 1582 12
16 1583 17
16 1584 12
16 1585 11
16 1586 9
16 1587 11
16 1588 12
16 1589 15
16 1590 15
16 1591 14
16 1592 15
16 1593 11
16 1594 9
16 1595 11
16 1596 11
16 1597 13
16 1598 13
16 1599 12
16 1600 14
16 1601 16
16 1602 13
16 1603 11
16 1604 13
16 1605 11
16 1606 12
16 1607 10
16 1608 14
16 1609 10
16 1610 12
16 1611 10
16 1612 13
16 1613 14
16 1614 13
16 1615 13
16 1616 13
16 1617 15
16 1618 14
16 1619 14
16 1620 18
16 1621 11
16 1622 10
16 1623 12
16 1624 12
16 1625 14
16 1626 10
16 1627 12
16 1628 16
16 1629 13
16 1630 11
16 1631 9
16 1632 13
16 1633 12
16 1634 10
16 1635 12
16 1636 12
16 1637 11
16 1638 12
16 1639 10
16 1640 7
16 1641 7
16 1642 12
16 1643 14
16 1644 14
16 1645 12
16 1646 13
16 1647 10
16 1648 16
16 1649 11
16 1650 10
16 1651 12
16 1652 13
16 1653 14
16 1654 12
16 1655 13
16 1656 13
16 1657 14
16 1658 9
16 1659 15
16 1660 10
16 1661 15
16 1662 999
16 1663 12
16 1664 12
16 1665 12
16 1666 14
16 1667 14
16 1668 13
16 1669 9
16 1670 10
16 1671 11
16 1672 9
16 1673 10
16 1674 13
16 1675 16
16 1676 13
16 1677 13
16 1678 13
16 1679 9
16 1680 999
16 1681 999
16 1682 999
16 1683 10
16 1684 19
16 1685 999
16 1686 13
16 1687 8
16 1688 12
16 1689 27
16 1690 8
16 1691 999
16 1692 999
16 1693 999
16 1694 999
16 1695 999
16 1696 999
16 1697 15
16 1698 999
16 1699 999
16 1700 999
16 1701 999
16 1702 999
16 1703 999
16 1704 999
16 1705 9
16 1706 999
16 1707 17
16 1708 15
16 1709 12
16 1710 16
16 1711 999
16 1712 10
16 1713 9
16 1714 999
16 1715 17
16 1716 999
16 1717 999
16 1718 12
16 1719 14
16 1720 16
16 1721 55
16 1722 17
16 1723 999
16 1724 999
16 1725 15
16 1726 14
16 1727 8
16 1728 6
16 1729 7
16 1730 12
16 1731 13
16 1732 13
16 1733 13
16 1734 11
16 1735 11
16 1736 999
16 1737 999
16 1738 999
16 1739 999
16 1740 999
16 1741 13
16 1742 12
16 1743 999
16 1744 11
16 1745 10
16 1746 14
16 1747 8
16 1748 9
16 1749 3
16 1750 5
16 1751 5
16 1752 999
16 1753 999
16 1754 999
16 1755 999
16 1756 9
16 1757 999
16 1758 17
16 1759 6
16 1760 6
16 1761 6
16 1762 10
16 1763 999
16 1764 13
16 1765 9
16 1766 999
16 1767 999
16 1768 17
16 1769 7
16 1770 12
16 1771 7
16 1772 13
16 1773 999
16 1774 10
16 1775 8
16 1776 8
16 1777 8
16 1778 15
16 1779 16
16 1780 8
16 1781 16
16 1782 15
16 1783 15
16 1784 9
16 1785 999
16 1786 13
16 1787 18
16 1788 10
16 1789 12
16 1790 999
16 1791 999
16 1792 999
16 1793 13
16 1794 10
16 1795 12
16 1796 999
16 1797 999
16 1798 7
16 1799 999
16 1800 7
16 1801 14
16 1802 999
16 1803 10
16 1804 8
16 1805 11
16 1806 11
16 1807 6
16 1808 11
16 1809 9
16 1810 14
16 1811 8
16 1812 8
16 1813 10
16 1814 10
16 1815 14
16 1816 9
16 1817 11
16 1818 14
16 1819 13
16 1820 6
16 1821 6
16 1822 12
16 1823 999
16 1824 6
16 1825 7
16 1826 13
16 1827 13
16 1828 13
16 1829 15
16 1830 14
16 1831 7
16 1832 14
16 1833 15
16 1834 15
16 1835 8
16 1836 14
16 1837 7
16 1838 10
16 1839 8
16 1840 8
16 1841 15
16 1842 999
16 1843 9
16 1844 7
16 1845 10
16 1846 999
16 1847 999
16 1848 24
16 1849 14
16 1850 10
16 1851 14
16 1852 8
16 1853 13
16 1854 16
16 1855 16
16 1856 16
16 1857 16
16 1858 7
16 1859 11
16 1860 11
16 1861 999
16 1862 999
16 1863 17
16 1864 16
16 1865 12
16 1866 18
16 1867 17
16 1868 11
16 1869 999
16 1870 10
16 1871 17
16 1872 12
16 1873 14
16 1874 13
16 1875 12
16 1876 11
16 1877 999
16 1878 999
16 1879 13
16 1880 999
16 1881 999
16 1882 17
16 1883 7
16 1884 6
16 1885 14
16 1886 10
16 1887 10
16 1888 11
16 1889 999
16 1890 17
16 1891 15
16 1892 13
16 1893 11
16 1894 999
16 1895 10
16 1896 13
16 1897 11
16 1898 13
16 1899 13
16 1900 13
16 1901 999
16 1902 13
16 1903 11
16 1904 999
16 1905 17
16 1906 17
16 1907 13
16 1908 12
16 1909 12
16 1910 12
16 1911 999
16 1912 999
16 1913 17
16 1914 12
16 1915 16
16 1916 999
16 1917 999
16 1918 16
16 1919 10
16 1920 999
16 1921 999
16 1922 999
16 1923 999
16 1924 999
16 1925 9
16 1926 6
16 1927 999
16 1928 17
16 1929 16
16 1930 999
16 1931 12
16 1932 999
16 1933 12
16 1934 17
16 1935 999
16 1936 999
16 1937 7
16 1938 6
16 1939 6
16 1940 999
16 1941 5
16 1942 4
16 1943 9
16 1944 999
16 1945 7
16 1946 10
16 1947 16
16 1948 12
16 1949 999
16 1950 12
16 1951 17
16 1952 8
16 1953 999
16 1954 999
16 1955 11
16 1956 13
16 1957 999
16 1958 999
16 1959 16
16 1960 1
16 1961 999
16 1962 999
16 1963 999
16 1964 999
16 1965 10
16 1966 13
16 1967 17
16 1968 13
16 1969 17
16 1970 999
16 1971 15
16 1972 13
16 1973 999
16 1974 11
16 1975 6
16 1976 999
16 1977 14
16 1978 11
16 1979 999
16 1980 999
16 1981 999
16 1982 12
16 1983 10
16 1984 12
16 1985 10
16 1986 8
16 1987 8
16 1988 10
16 1989 999
16 1990 999
16 1991 999
16 1992 999
16 1993 14
16 1994 16
16 1995 999
16 1996 999
16 1997 14
16 1998 16
16 1999 14
16 2000 12
16 2001 8
16 2002 9
16 2003 17
16 2004 12
16 2005 999
16 2006 15
16 2007 6
16 2008 18
16 2009 13
16 2010 10
16 2011 11
16 2012 15
16 2013 10
16 2014 17
16 2015 8
16 2016 999
16 2017 999
16 2018 999
16 2019 9
16 2020 9
16 2021 9
16 2022 12
16 2023 999
16 2024 999
16 2025 999
16 2026 7
16 2027 7
16 2028 16
16 2029 16
16 2030 999
16 2031 12
16 2032 12
16 2033 14
16 2034 10
16 2035 13
16 2036 999
16 2037 12
16 2038 16
16 2039 999
16 2040 14
16 2041 4
16 2042 999
16 2043 14
16 2044 10
16 2045 17
16 2046 12
16 2047 10
16 2048 14
16 2049 12
16 2050 999
16 2051 13
16 2052 8
16 2053 7
16 2054 14
16 2055 7
16 2056 999
16 2057 9
16 2058 999
16 2059 999
16 2060 999
16 2061 999
16 2062 7
16 2063 999
16 2064 17
16 2065 10
16 2066 13
16 2067 5
16 2068 8
16 2069 17
16 2070 999
16 2071 13
16 2072 10
16 2073 11
16 2074 13
16 2075 10
16 2076 15
16 2077 12
16 2078 7
16 2079 8
16 2080 9
16 2081 6
16 2082 10
16 2083 7
16 2084 999
16 2085 9
16 2086 11
16 2087 7
16 2088 12
16 2089 10
16 2090 15
16 2091 12
16 2092 15
16 2093 15
16 2094 15
16 2095 11
16 2096 999
16 2097 12
16 2098 9
16 2099 12
16 2100 10
16 2101 9
16 2102 8
16 2103 15
16 2104 13
16 2105 13
16 2106 9
16 2107 12
16 2108 12
16 2109 9
16 2110 10
16 2111 9
16 2112 8
16 2113 13
16 2114 9
16 2115 13
16 2116 13
16 2117 14
16 2118 10
16 2119 11
16 2120 17
16 2121 11
16 2122 13
16 2123 999
16 2124 16
16 2125 14
16 2126 11
16 2127 14
16 2128 999
16 2129 16
16 2130 12
16 2131 10
16 2132 999
16 2133 9
16 2134 7
16 2135 9
16 2136 8
16 2137 9
16 2138 12
16 2139 12
16 2140 18
16 2141 14
16 2142 16
16 2143 13
16 2144 10
16 2145 9
16 2146 10
16 2147 12
16 2148 10
16 2149 8
16 2150 10
16 2151 9
16 2152 9
16 2153 14
16 2154 11
16 2155 9
16 2156 13
16 2157 7
16 2158 11
16 2159 17
16 2160 12
16 2161 15
16 2162 999
16 2163 15
16 2164 999
16 2165 10
16 2166 12
16 2167 15
16 2168 12
16 2169 14
16 2170 12
16 2171 12
16 2172 15
16 2173 999
16 2174 999
16 2175 999
16 2176 11
16 2177 11
16 2178 16
16 2179 12
16 2180 10
16 2181 9
16 2182 999
16 2183 6
16 2184 14
16 2185 12
16 2186 999
16 2187 999
16 2188 999
16 2189 12
16 2190 999
16 2191 15
16 2192 9
16 2193 7
16 2194 9
16 2195 8
16 2196 6
16 2197 15
16 2198 18
16 2199 12
16 2200 999
16 2201 18
16 2202 999
16 2203 15
16 2204 999
16 2205 999
16 2206 14
16 2207 999
16 2208 999
16 2209 16
16 2210 9
16 2211 12
16 2212 12
16 2213 9
16 2214 999
16 2215 999
16 2216 13
16 2217 11
16 2218 11
16 2219 999
16 2220 12
16 2221 14
16 2222 8
16 2223 17
16 2224 12
16 2225 14
16 2226 12
16 2227 13
16 2228 999
16 2229 13
16 2230 14
16 2231 12
16 2232 9
16 2233 13
16 2234 12
16 2235 10
16 2236 13
16 2237 10
16 2238 12
16 2239 7
16 2240 8
16 2241 6
16 2242 12
16 2243 14
16 2244 12
16 2245 13
16 2246 8
16 2247 8
16 2248 9
16 2249 10
16 2250 15
16 2251 15
16 2252 10
16 2253 13
16 2254 11
16 2255 11
16 2256 6
16 2257 10
16 2258 9
16 2259 11
16 2260 13
16 2261 8
16 2262 8
16 2263 6
16 2264 7
16 2265 13
16 2266 8
16 2267 13
16 2268 10
16 2269 14
16 2270 12
16 2271 11
16 2272 999
16 2273 9
16 2274 11
16 2275 11
16 2276 9
16 2277 13
16 2278 12
16 2279 13
16 2280 14
16 2281 15
16 2282 15
16 2283 9
16 2284 8
16 2285 7
16 2286 8
16 2287 11
16 2288 11
16 2289 7
16 2290 8
16 2291 7
16 2292 11
16 2293 8
16 2294 10
16 2295 999
16 2296 14
16 2297 15
16 2298 13
16 2299 10
16 2300 14
16 2301 7
16 2302 16
16 2303 10
16 2304 10
16 2305 18
16 2306 999
16 2307 999
16 2308 17
16 2309 999
16 2310 11
16 2311 13
16 2312 999
16 2313 999
16 2314 14
16 2315 17
16 2316 999
16 2317 999
16 2318 999
16 2319 10
16 2320 10
16 2321 10
16 2322 16
16 2323 16
16 2324 11
16 2325 9
16 2326 12
16 2327 12
16 2328 10
16 2329 8
16 2330 6
16 2331 13
16 2332 8
16 2333 8
16 2334 12
16 2335 13
16 2336 13
16 2337 12
16 2338 999
16 2339 14
16 2340 999
16 2341 12
16 2342 11
16 2343 15
16 2344 9
16 2345 14
16 2346 17
16 2347 999
16 2348 18
16 2349 7
16 2350 6
16 2351 10
16 2352 6
16 2353 8
16 2354 10
16 2355 6
16 2356 17
16 2357 11
16 2358 17
16 2359 10
16 2360 9
16 2361 9
16 2362 9
16 2363 8
16 2364 10
16 2365 9
16 2366 11
16 2367 10
16 2368 11
16 2369 10
16 2370 9
16 2371 7
16 2372 9
16 2373 7
16 2374 6
16 2375 13
16 2376 11
16 2377 999
16 2378 999
16 2379 7
16 2380 7
16 2381 8
16 2382 8
16 2383 8
16 2384 10
16 2385 9
16 2386 8
16 2387 11
16 2388 8
16 2389 12
16 2390 15
16 2391 9
16 2392 999
16 2393 999
16 2394 13
16 2395 6
16 2396 8
16 2397 6
16 2398 11
16 2399 8
16 2400 9
16 2401 7
16 2402 8
16 2403 9
16 2404 7
16 2405 9
16 2406 9
16 2407 8
16 2408 999
16 2409 13
16 2410 11
16 2411 13
16 2412 6
16 2413 13
16 2414 9
16 2415 6
16 2416 10
16 2417 10
16 2418 7
16 2419 11
16 2420 9
16 2421 10
16 2422 9
16 2423 9
16 2424 999
16 2425 9
16 2426 999
16 2427 10
16 2428 10
16 2429 13
16 2430 15
16 2431 12
16 2432 8
16 2433 10
16 2434 11
16 2435 10
16 2436 6
16 2437 12
16 2438 11
16 2439 12
16 2440 8
16 2441 11
16 2442 9
16 2443 10
16 2444 11
16 2445 999
16 2446 15
16 2447 18
16 2448 8
16 2449 12
16 2450 999
16 2451 999
16 2452 11
16 2453 11
16 2454 10
16 2455 13
16 2456 15
16 2457 12
16 2458 12
16 2459 10
16 2460 16
16 2461 10
16 2462 11
16 2463 15
16 2464 16
16 2465 15
16 2466 11
16 2467 999
16 2468 12
16 2469 10
16 2470 9
16 2471 8
16 2472 7
16 2473 9
16 2474 7
16 2475 8
16 2476 7
16 2477 8
16 2478 12
16 2479 9
16 2480 18
16 2481 7
16 2482 7
16 2483 9
16 2484 9
16 2485 9
16 2486 13
16 2487 10
16 2488 9
16 2489 14
16 2490 8
16 2491 13
16 2492 12
16 2493 9
16 2494 11
16 2495 10
16 2496 12
16 2497 11
16 2498 14
16 2499 10
16 2500 9
16 2501 13
16 2502 8
16 2503 999
16 2504 7
16 2505 10
16 2506 11
16 2507 8
16 2508 12
16 2509 7
16 2510 9
16 2511 9
16 2512 10
16 2513 12
16 2514 10
16 2515 10
16 2516 12
16 2517 11
16 2518 8
16 2519 11
16 2520 8
16 2521 10
16 2522 10
16 2523 9
16 2524 9
16 2525 7
16 2526 11
16 2527 10
16 2528 10
16 2529 10
16 2530 10
16 2531 6
16 2532 13
16 2533 12
16 2534 13
16 2535 11
16 2536 15
16 2537 17
16 2538 15
16 2539 13
16 2540 10
16 2541 999
16 2542 16
16 2543 13
16 2544 11
16 2545 9
16 2546 16
16 2547 999
16 2548 9
16 2549 999
16 2550 10
16 2551 9
16 2552 11
16 2553 6
16 2554 12
16 2555 999
16 2556 10
16 2557 15
16 2558 15
16 2559 11
16 2560 17
16 2561 9
16 2562 9
16 2563 10
16 2564 10
16 2565 9
16 2566 10
16 2567 11
16 2568 999
16 2569 9
16 2570 10
16 2571 10
16 2572 9
16 2573 12
16 2574 10
16 2575 9
16 2576 9
16 2577 10
16 2578 12
16 2579 10
16 2580 7
16 2581 10
16 2582 8
16 2583 9
16 2584 12
16 2585 12
16 2586 11
16 2587 13
16 2588 9
16 2589 11
16 2590 11
16 2591 12
16 2592 10
16 2593 11
16 2594 16
16 2595 10
16 2596 8
16 2597 9
16 2598 12
16 2599 12
16 2600 11
16 2601 11
16 2602 9
16 2603 10
16 2604 10
16 2605 12
16 2606 12
16 2607 14
16 2608 10
16 2609 10
16 2610 10
16 2611 11
16 2612 10
16 2613 12
16 2614 8
16 2615 999
16 2616 11
16 2617 14
16 2618 14
16 2619 12
16 2620 10
16 2621 12
16 2622 10
16 2623 13
16 2624 11
16 2625 7
16 2626 14
16 2627 11
16 2628 9
16 2629 11
16 2630 17
16 2631 10
16 2632 10
16 2633 13
16 2634 9
16 2635 9
16 2636 7
16 2637 10
16 2638 9
16 2639 11
16 2640 10
16 2641 10
16 2642 8
16 2643 10
16 2644 8
16 2645 9
16 2646 9
16 2647 16
16 2648 13
16 2649 12
16 2650 15
16 2651 12
16 2652 10
16 2653 14
16 2654 12
16 2655 12
16 2656 10
16 2657 15
16 2658 12
16 2659 9
16 2660 11
16 2661 9
16 2662 13
16 2663 10
16 2664 12
16 2665 10
16 2666 12
16 2667 13
16 2668 12
16 2669 10
16 2670 14
16 2671 10
16 2672 8
16 2673 12
16 2674 10
16 2675 11
16 2676 11
16 2677 12
16 2678 12
16 2679 12
16 2680 11
16 2681 11
16 2682 13
16 2683 14
16 2684 12
16 2685 10
16 2686 9
16 2687 999
16 2688 999
16 2689 13
16 2690 14
16 2691 12
16 2692 6
16 2693 13
16 2694 17
16 2695 13
16 2696 13
16 2697 10
16 2698 7
16 2699 17
16 2700 12
16 2701 10
16 2702 8
16 2703 12
16 2704 9
16 2705 14
16 2706 10
16 2707 11
16 2708 999
16 2709 13
16 2710 16
16 2711 999
16 2712 10
16 2713 11
16 2714 12
16 2715 14
16 2716 12
16 2717 14
16 2718 10
16 2719 11
16 2720 11
16 2721 10
16 2722 12
16 2723 13
16 2724 12
16 2725 13
16 2726 11
16 2727 10
16 2728 10
16 2729 8
16 2730 8
16 2731 11
16 2732 15
16 2733 13
16 2734 13
16 2735 12
16 2736 13
16 2737 9
16 2738 13
16 2739 11
16 2740 13
16 2741 12
16 2742 11
16 2743 14
16 2744 15
16 2745 14
16 2746 12
16 2747 12
16 2748 11
16 2749 999
16 2750 15
16 2751 16
16 2752 16
16 2753 9
16 2754 10
16 2755 9
16 2756 16
16 2757 13
16 2758 999
16 2759 9
16 2760 15
16 2761 13
16 2762 14
16 2763 17
16 2764 6
16 2765 5
16 2766 7
16 2767 999
16 2768 12
16 2769 7
16 2770 6
16 2771 10
16 2772 12
16 2773 11
16 2774 11
16 2775 12
16 2776 6
16 2777 14
16 2778 11
16 2779 7
16 2780 8
16 2781 16
16 2782 12
16 2783 7
16 2784 999
16 2785 999
16 2786 999
16 2787 999
16 2788 15
16 2789 14
16 2790 11
16 2791 9
16 2792 8
16 2793 9
16 2794 11
16 2795 7
16 2796 10
16 2797 18
16 2798 8
16 2799 11
16 2800 13
16 2801 17
16 2802 13
16 2803 14
16 2804 11
16 2805 16
16 2806 11
16 2807 14
16 2808 12
16 2809 13
16 2810 14
16 2811 12
16 2812 15
16 2813 8
16 2814 8
16 2815 11
16 2816 8
16 2817 8
16 2818 11
16 2819 11
16 2820 999
16 2821 13
16 2822 8
16 2823 10
16 2824 9
16 2825 7
16 2826 7
16 2827 10
16 2828 11
16 2829 14
16 2830 10
16 2831 13
16 2832 14
16 2833 12
16 2834 7
16 2835 11
16 2836 9
16 2837 10
16 2838 12
16 2839 11
16 2840 12
16 2841 13
16 2842 10
16 2843 8
16 2844 13
16 2845 11
16 2846 11
16 2847 10
16 2848 10
16 2849 6
16 2850 13
16 2851 11
16 2852 12
16 2853 8
16 2854 6
16 2855 7
16 2856 13
16 2857 8
16 2858 10
16 2859 14
16 2860 12
16 2861 17
16 2862 15
16 2863 15
16 2864 13
16 2865 11
16 2866 12
16 2867 999
16 2868 12
16 2869 7
16 2870 11
16 2871 14
16 2872 14
16 2873 8
16 2874 17
16 2875 13
16 2876 13
16 2877 10
16 2878 11
16 2879 7
16 2880 10
16 2881 8
16 2882 10
16 2883 12
16 2884 7
16 2885 9
16 2886 9
16 2887 10
16 2888 10
16 2889 6
16 2890 13
16 2891 15
16 2892 12
16 2893 14
16 2894 7
16 2895 9
16 2896 8
16 2897 10
16 2898 7
16 2899 7
16 2900 6
16 2901 7
16 2902 8
16 2903 10
16 2904 13
16 2905 13
16 2906 9
16 2907 18
16 2908 11
16 2909 12
16 2910 8
16 2911 8
16 2912 10
16 2913 10
16 2914 9
16 2915 12
16 2916 7
16 2917 9
16 2918 9
16 2919 11
16 2920 12
16 2921 8
16 2922 12
16 2923 8
16 2924 9
16 2925 7
16 2926 10
16 2927 7
16 2928 999
16 2929 9
16 2930 15
16 2931 8
16 2932 11
16 2933 11
16 2934 11
16 2935 12
16 2936 11
16 2937 10
16 2938 12
16 2939 12
16 2940 12
16 2941 13
16 2942 14
16 2943 10
16 2944 13
16 2945 9
16 2946 12
16 2947 15
16 2948 12
16 2949 11
16 2950 11
16 2951 6
16 2952 8
16 2953 8
16 2954 8
16 2955 6
16 2956 10
16 2957 8
16 2958 14
16 2959 10
16 2960 17
16 2961 18
16 2962 12
16 2963 12
16 2964 15
16 2965 10
16 2966 12
16 2967 12
16 2968 8
16 2969 10
16 2970 9
16 2971 12
16 2972 12
16 2973 12
16 2974 7
16 2975 7
16 2976 13
16 2977 9
16 2978 10
16 2979 9
16 2980 11
16 2981 11
16 2982 9
16 2983 9
16 2984 9
16 2985 8
16 2986 8
16 2987 8
16 2988 10
16 2989 9
16 2990 10
16 2991 8
16 2992 10
16 2993 6
16 2994 8
16 2995 9
16 2996 11
16 2997 9
16 2998 10
16 2999 11
16 3000 8
16 3001 9
16 3002 9
16 3003 10
16 3004 7
16 3005 8
16 3006 9
16 3007 14
16 3008 10
16 3009 10
16 3010 13
16 3011 14
16 3012 13
16 3013 999
16 3014 999
16 3015 17
16 3016 9
16 3017 999
16 3018 11
16 3019 12
16 3020 11
16 3021 9
16 3022 12
16 3023 10
16 3024 12
16 3025 10
16 3026 999
16 3027 13
16 3028 10
16 3029 999
16 3030 11
16 3031 11
16 3032 16
16 3033 14
16 3034 11
16 3035 9
16 3036 12
16 3037 15
16 3038 13
16 3039 12
16 3040 11
16 3041 8
16 3042 11
16 3043 11
16 3044 12
16 3045 14
16 3046 12
16 3047 11
16 3048 9
16 3049 999
16 3050 11
16 3051 14
16 3052 12
16 3053 9
16 3054 16
16 3055 11
16 3056 11
16 3057 10
16 3058 9
16 3059 13
16 3060 13
16 3061 11
16 3062 7
16 3063 11
16 3064 14
16 3065 8
16 3066 17
16 3067 13
16 3068 13
16 3069 16
16 3070 12
16 3071 12
16 3072 10
16 3073 12
16 3074 11
16 3075 9
16 3076 7
16 3077 12
16 3078 14
16 3079 7
16 3080 8
16 3081 11
16 3082 11
16 3083 7
16 3084 12
16 3085 10
16 3086 13
16 3087 17
16 3088 11
16 3089 9
16 3090 12
16 3091 12
16 3092 8
16 3093 8
16 3094 9
16 3095 14
16 3096 15
16 3097 12
16 3098 13
16 3099 17
16 3100 999
16 3101 11
16 3102 11
16 3103 8
16 3104 15
16 3105 13
16 3106 15
16 3107 13
16 3108 11
16 3109 11
16 3110 12
16 3111 9
16 3112 12
16 3113 14
16 3114 13
16 3115 12
16 3116 12
16 3117 13
16 3118 12
16 3119 10
16 3120 9
16 3121 12
16 3122 15
16 3123 11
16 3124 15
16 3125 12
16 3126 999
16 3127 8
16 3128 6
16 3129 9
16 3130 8
16 3131 8
16 3132 6
16 3133 6
16 3134 999
16 3135 7
16 3136 6
16 3137 8
16 3138 8
16 3139 8
16 3140 8
16 3141 9
16 3142 10
16 3143 11
16 3144 8
16 3145 8
16 3146 9
16 3147 9
16 3148 7
16 3149 7
16 3150 7
16 3151 9
16 3152 9
16 3153 10
16 3154 999
16 3155 6
16 3156 10
16 3157 9
16 3158 16
16 3159 8
16 3160 11
16 3161 14
16 3162 12
16 3163 17
16 3164 17
16 3165 12
16 3166 13
16 3167 999
16 3168 12
16 3169 13
16 3170 12
16 3171 10
16 3172 10
16 3173 7
16 3174 13
16 3175 11
16 3176 8
16 3177 8
16 3178 10
16 3179 10
16 3180 8
16 3181 8
16 3182 9
16 3183 7
16 3184 9
16 3185 10
16 3186 8
16 3187 6
16 3188 12
16 3189 8
16 3190 7
16 3191 7
16 3192 8
16 3193 8
16 3194 9
16 3195 9
16 3196 10
16 3197 10
16 3198 8
16 3199 9
16 3200 7
16 3201 10
16 3202 8
16 3203 10
16 3204 9
16 3205 6
16 3206 6
16 3207 8
16 3208 8
16 3209 999
16 3210 8
16 3211 8
16 3212 12
16 3213 11
16 3214 9
16 3215 999
16 3216 10
16 3217 999
16 3218 10
16 3219 14
16 3220 12
16 3221 10
16 3222 12
16 3223 16
16 3224 11
16 3225 12
16 3226 9
16 3227 999
16 3228 12
16 3229 11
16 3230 12
16 3231 12
16 3232 10
16 3233 10
16 3234 11
16 3235 12
16 3236 11
16 3237 13
16 3238 10
16 3239 10
16 3240 8
16 3241 9
16 3242 9
16 3243 9
16 3244 13
16 3245 13
16 3246 9
16 3247 10
16 3248 10
16 3249 11
16 3250 11
16 3251 14
16 3252 9
16 3253 14
16 3254 12
16 3255 12
16 3256 12
16 3257 999
16 3258 12
16 3259 10
16 3260 999
16 3261 999
16 3262 10
16 3263 10
16 3264 8
16 3265 10
16 3266 10
16 3267 11
16 3268 8
16 3269 9
16 3270 11
16 3271 9
16 3272 15
16 3273 11
16 3274 11
16 3275 11
16 3276 11
16 3277 14
16 3278 10
16 3279 11
16 3280 12
16 3281 12
16 3282 9
16 3283 12
16 3284 12
16 3285 12
16 3286 11

It is much worse than Chris. In addition,
I attach the base found
still16.RAR
still lifes 16 bits
(254.82 KiB) Downloaded 17 times
.
Can't understand why such a large discrepancy. I use the database still lifes to 18 bits, and database converters. The database contains more than 300 converters

Bob Shemyakin
BobShemyakin
 
Posts: 191
Joined: June 15th, 2014, 6:24 am

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby Goldtiger997 » January 14th, 2017, 9:31 am

BobShemyakin wrote:Publish my list for still lifes 16 bits:
...
It is much worse than Chris. In addition,
I attach the base found
still16.RAR
.
...
Bob Shemyakin


Nice. I just checked through the syntheses I found, and found an error.

16.2446 contains the error AbptzTa pointed out and then fixed in the 16 in 16 thread (glider would have to pass through a block). Here is the corrected synthesis again:

x = 291, y = 34, rule = B3/S23
250bo$250bobo$250b2o$246bobo$247b2o$247bo2$126b2o38b2o38b2o38b2o38bo$
125bobo37bobo37bobo37bobo37bobo$126bo39bo39bo39bo39bo2$98bo25b5o35b5o
35b5o35b5o35b5o$77bo19bo26bo3bo35bo3bo35bo3bo35bo3bo35bo3bo$75bobo19b
3o27bo39bo39bo39bo39bo$76b2o12bo37b3o37b3o37b3o37b3o37b3o$73b2o15bobo
37bo39bo39bo39bo39bo$72bobo15b2o$74bo$87bobo$88b2o$4bo83bo47bo39bo$5bo
39bo39bo33b2o15bo22b2o15bo$3b3o38bobo37bobo32b2o15bo22b2o15bo$44bobo
37bobo$3o42bo39bo91b3o$2bo118b3o3b3o31b3o3b3o7bo$bo76b3o90b2o5bo$80bo
44bo39bo4b2o$79bo6b2o37bo39bo6bo$87b2o36bo39bo$86bo$101b3o11b2o$101bo
12b2o$102bo13bo!
Last edited by Goldtiger997 on January 14th, 2017, 7:26 pm, edited 1 time in total.
User avatar
Goldtiger997
 
Posts: 240
Joined: June 21st, 2016, 8:00 am
Location: 11.329903°N 142.199305°E

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby chris_c » January 14th, 2017, 9:50 am

BobShemyakin wrote:Publish my list for still lifes 16 bits:

Can't understand why such a large discrepancy. I use the database still lifes to 18 bits, and database converters. The database contains more than 300 converters


Well it looks promising to me. I think there are 331 still lifes on my list that aren't on yours and 62 still lifes on your list that aren't on mine. Amongst still lifes on both lists I claim a lower cost for 563, while you claim a lower cost for 196. I will start to look through your collection!

EDIT: Looking over your syntheses I have already managed to improve roughly 70 SLs in my own database. I have a few queries about some other things...

Is it possible for you to show explicit syntheses with the following costs. I don't think they are available in any of your collections so far.

12.96 7
13.39 6
13.178 7
13.205 7   (EDIT: it's ok I've got this one now)
14.7 9
14.587 8
14.617 8


Also I believe these are errors in your collections:

Synthesis of 16.625 is actually 15.625

Synthesis of 16.552 is actually of 16.652. This also affects the cost of 15.280 I think.

Synthesis of 16.638 is too small by 2. I think it doesn't count the final conversion from 16.637 to 16.638.

I am bit suspicious about the records for 15.1304, 15.1337 and 16.605. They all use the same aircraft carrier to long python converter. You claim records for 15.1304, 15.1337 and 16.605 but you don't seem to claim records for the 13 and 14-bit still lifes they are based on. Is this correct?

The collection is nice. I found lots of converters that were new to me. Thanks.

EDIT2: I can now match your costs 15.1304 and 15.1337 but they use a different converter than you. Still not sure how to get 16.605 at the cost you state though.

x = 113, y = 42, rule = B3/S23
46bo$46bobo$46b2o$110bo$110bobo$110b2o7$15b2o$16bo64b2o$16bobo62bo$17b
2o63bo$19b2o62bo$19bobo60b2o$20bo63b2o$84bobo$85bo14$11b2o$10bobo64b2o
$12bo63bobo$5b3o70bo$bo5bo63b3o$b2o3bo60bo5bo$obo64b2o3bo$66bobo!
chris_c
 
Posts: 701
Joined: June 28th, 2014, 7:15 am

Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)

Postby BobShemyakin » January 17th, 2017, 2:49 pm

chris_c wrote:...

Is it possible for you to show explicit syntheses with the following costs. I don't think they are available in any of your collections so far.

12.96 7
13.39 6
13.178 7
13.205 7   (EDIT: it's ok I've got this one now)
14.7 9
14.587 8
14.617 8


Also I believe these are errors in your collections:

Synthesis of 16.625 is actually 15.625

Synthesis of 16.552 is actually of 16.652. This also affects the cost of 15.280 I think.

Synthesis of 16.638 is too small by 2. I think it doesn't count the final conversion from 16.637 to 16.638.

...

Thanks!
I have no doubt that there are errors in my collection. Although the search for synthesis and verification go programmatically, the original data is necessary to cook manually.
I myself found several errors in numbering still lifes. Errors in the database converters will most likely result in the fact that they wont work.
I will certainly bear your jeamechanija for further work.


Bob Shemyakin
BobShemyakin
 
Posts: 191
Joined: June 15th, 2014, 6:24 am

Previous

Return to Patterns

Who is online

Users browsing this forum: No registered users and 3 guests