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

Shinjuku: a database of glider syntheses

For general discussion about Conway's Game of Life.

Shinjuku: a database of glider syntheses

Postby Freywa » April 10th, 2019, 11:47 am

After seeing the futility of trying to maintain separate synthesis files on the LifeWiki and more than a week of coding, I have just made public my dedicated git repository of glider syntheses, Shinjuku. It is a brand-new database, with a format different from Chris Cain's, and depends on lifelib. (I even managed to find a bug in lifelib and have it fixed while testing!)

I encourage you to adopt this new database and suggest any additions or improvements whenever either may arise. Time to hit the rail.
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 580
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: Shinjuku: a database of glider syntheses

Postby hkoenig » April 10th, 2019, 1:34 pm

So where is the actual data contained? Is there a concise description of the database format?
hkoenig
 
Posts: 94
Joined: June 20th, 2009, 11:40 am

Re: Shinjuku: a database of glider syntheses

Postby Freywa » April 10th, 2019, 1:39 pm

hkoenig wrote:So where is the actual data contained? Is there a concise description of the database format?

The entire format and the functions available are described in the two Jupyter notebooks in the git repository. The actual data is in shinjuku/comp, in five files.

As for conciseness, I had to cover every corner in devising the glider set format, including gliders that miss and gliders travelling in one direction. The format is, in a sense, described by the program more than the lengthy descriptions that go along with it (in the style of Knuth's literate programming).
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 580
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: Shinjuku: a database of glider syntheses

Postby dvgrn » April 10th, 2019, 1:43 pm

Freywa wrote:After seeing the futility of trying to maintain separate synthesis files on the LifeWiki and more than a week of coding, I have just made public my dedicated git repository of glider syntheses, Shinjuku.

Interesting! It's nice to see lifelib getting some healthy exercise.

Do the eighty-some lines in names represent all the syntheses currently in the database? What's the plan for adding more syntheses, or updating existing ones -- if someone else wanted to help add syntheses, for example, would they log issues in the repository, or maybe submit pull requests?

When I open the Jupyter notebooks from the links, not surprisingly, nothing shows up where the LifeViewer instances are supposed to appear. I've previously gotten Jupyter notebooks working very nicely with LifeViewer on this system, but at the moment I'm drawing a blank on what I might need to fix first. Will post a walkthrough if I get something figured out.
User avatar
dvgrn
Moderator
 
Posts: 5833
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: Shinjuku: a database of glider syntheses

Postby Freywa » April 10th, 2019, 2:00 pm

dvgrn wrote:Do the eighty-some lines in names represent all the syntheses currently in the database? What's the plan for adding more syntheses, or updating existing ones -- if someone else wanted to help add syntheses, for example, would they log issues in the repository, or maybe submit pull requests?

No, those names are simply convenient aliases for the lookup_synth() function. Invoking dijkstra() gives a dictionary of all syntheses known to the database (that it can construct), but lookup_synth() should be relied on for updates to the LifeWiki.

Additions and modifications and improvements are intended to be made via issues and pull requests. Either is fine by me.
dvgrn wrote:When I open the Jupyter notebooks from the links, not surprisingly, nothing shows up where the LifeViewer instances are supposed to appear. I've previously gotten Jupyter notebooks working very nicely with LifeViewer on this system, but at the moment I'm drawing a blank on what I might need to fix first. Will post a walkthrough if I get something figured out.

Run the notebooks. Run all the cells from beginning to end. The beauty will show.
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 580
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: Shinjuku: a database of glider syntheses

Postby calcyman » April 11th, 2019, 8:23 am

Impressive work!

I've converted Chris Cain's library of incremental syntheses (including all still-lifes of <= 16 bits) into Shinjuku format, so we now have another 6452 lines of syntheses. Enclosed as a .tar.gz.

It took about 25 minutes to convert the 6452 recipes. Fortunately, it only takes 34 seconds to run the consistency_check() on the new database, even on my slow laptop.

Now it's clear how to make Catagolue compatible with Shinjuku. Specifically, we can have an internal protected census with synthesis costs instead of object counts. Then, during the Catagolue update process (which runs in GitLab CI), there can be a process to do the following:

  • Download the latest version of Shinjuku, consistency_check() it, and compute the minimum costs for each object (by running dijkstra());
  • Download the 'textcensus' which contains Catagolue's object costs;
  • Restrict to the subset of objects in the Shinjuku database which are either absent from Catagolue's object costs or are strictly more optimal than Catagolue's object costs;
  • Produce RLEs of those incremental syntheses and upload them (password-protectedly) to Catagolue. They will be stored in a similar type of entity to the sample soups (i.e. associated with an object page, not with a census).

This means there will be practically no server-side strain; everything is handled by the CI process.

Other large collections of syntheses include Mark Niemiec's website and the LifeWiki. They will be more difficult to convert to Shinjuku format because they have many components bundled in a single pattern file -- which is why it's especially convenient that Shinjuku is built on lifelib.

EDIT: I've opened a merge request with this together with Martin Grant's two most ambitious syntheses (spider and pipsquirter) and some code to run your consistency_check() in GitLab CI.
Attachments
chris_synths.tar.gz
6452 lines of Shinjuku syntheses
(96.73 KiB) Downloaded 226 times
What do you do with ill crystallographers? Take them to the mono-clinic!
User avatar
calcyman
 
Posts: 2089
Joined: June 1st, 2009, 4:32 pm

Re: Shinjuku: a database of glider syntheses

Postby chris_c » April 11th, 2019, 11:05 am

Sounds great. Being based on lifelib means this will be much more suitable for running on some kind of automated server than my version.

I had a brief look through the code and ran a couple of examples. I note that you are not detecting invalid syntheses yet. Example:

>>> gliderset.gset.extract(lt.pattern("5b3o$3o2bo$2bo3bo$bo7bobo$9b2o$10bo!")).ct()
('17 -5/-9 2/12 -5/', '@3f6 2')


I suppose it would be preferable not to output a canonical string when the input pattern contains invalid glider crossings:

x = 12, y = 6, rule = B3/S23
5b3o$3o2bo$2bo3bo$bo7bobo$9b2o$10bo!


calcyman wrote:I've converted Chris Cain's library of incremental syntheses (including all still-lifes of <= 16 bits) into Shinjuku format, so we now have another 6452 lines of syntheses. Enclosed as a .tar.gz.


Good stuff. Would be nice to do a sanity check between the costs according to Shinjuku and my costs. The costs according to Shinjuku may be smaller if Shinjuku knows about synths that are not in my list.

By the way, when compiling the cheapest syntheses I always used the paths containing the most incremental steps as an additional tie-breaker. The reason being that multi-stage syntheses are usually more edifying than all-at-once magical ones. Could be something to consider for Shinjuku (assuming it is not done already).
chris_c
 
Posts: 905
Joined: June 28th, 2014, 7:15 am

Re: Shinjuku: a database of glider syntheses

Postby Freywa » April 11th, 2019, 2:53 pm

chris_c wrote:I had a brief look through the code and ran a couple of examples. I note that you are not detecting invalid syntheses yet. I suppose it would be preferable not to output a canonical string when the input pattern contains invalid glider crossings.

This is definitely doable – and would take the form of another checking function in search.py, prove_comp(). In the meantime, though, I've focused on adding the syntheses I collected in the Dounreay folder before I started on Shinjuku. Perhaps this could be integrated into consistency_check() as well.
chris_c wrote:By the way, when compiling the cheapest syntheses I always used the paths containing the most incremental steps as an additional tie-breaker. The reason being that multi-stage syntheses are usually more edifying than all-at-once magical ones. Could be something to consider for Shinjuku (assuming it is not done already).

This would take the form of a modification to dijkstra() to retain the full path from vacuum to the object under consideration, and would be more substantial, but would still be doable.
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 580
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: Shinjuku: a database of glider syntheses

Postby calcyman » April 11th, 2019, 4:10 pm

Freywa wrote:
chris_c wrote:By the way, when compiling the cheapest syntheses I always used the paths containing the most incremental steps as an additional tie-breaker. The reason being that multi-stage syntheses are usually more edifying than all-at-once magical ones. Could be something to consider for Shinjuku (assuming it is not done already).

This would take the form of a modification to dijkstra() to retain the full path from vacuum to the object under consideration, and would be more substantial, but would still be doable.


A quicker way is to subtract 0.000001 from the number of gliders in a component to calculate the cost of a component. So a single component with 5 gliders has a cost of 4.999999, for instance. And if you have a 2-component recipe with 8 gliders in total, it would have a total cost of 7.999998. Then you can just run ordinary Dijkstra. (If you don't like floats, multiply by 10^6 and use integer arithmetic.)

If you're worried about having more than 10^6 gliders in a recipe, you can instead represent the cost as a 2-tuple (n_gliders, -1), add costs componentwise, and use Python's default (lexicographical) ordering on tuples.
What do you do with ill crystallographers? Take them to the mono-clinic!
User avatar
calcyman
 
Posts: 2089
Joined: June 1st, 2009, 4:32 pm

Re: Shinjuku: a database of glider syntheses

Postby Freywa » April 12th, 2019, 3:45 am

calcyman wrote:A quicker way is to subtract 0.000001 from the number of gliders in a component to calculate the cost of a component. So a single component with 5 gliders has a cost of 4.999999, for instance. And if you have a 2-component recipe with 8 gliders in total, it would have a total cost of 7.999998. Then you can just run ordinary Dijkstra. (If you don't like floats, multiply by 10^6 and use integer arithmetic.)

If you're worried about having more than 10^6 gliders in a recipe, you can instead represent the cost as a 2-tuple (n_gliders, -1), add costs componentwise, and use Python's default (lexicographical) ordering on tuples.

Implemented, in the first suggested form, here. I've also added a lot more components in the meantime.

Edit: Shinjuku has now surpassed 8000 components.
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 580
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: Shinjuku: a database of glider syntheses

Postby calcyman » April 13th, 2019, 12:42 pm

I bulk-downloaded the _synth.rle files from LifeWiki, ran apgluxe on them with a stdin symmetry, and used comm to find all of the objects present in LifeWiki but absent from Shinjuku. EDIT: updated at 2019-04-14

Period-2 oscillators:
xp2_035453z4ad1dic
xp2_0354ljgy0ggm44oz4s07ada7w7ada7011zw113y365156
xp2_03lkl3zojc0cjo
xp2_03lkmzojc0cjo
xp2_256o8gzy120ago
xp2_318c0f9
xp2_318c0f96
xp2_31a08zy01050ko
xp2_3hu0og26
xp2_c8b8acz0253
xp2_j1u062goz11
xp2_k3g4gljz11
xp2_wbq2sgz32
xp2_wgj1u0og26z25421
xp2_xrhewehrz253


Period-3 oscillators:
xp3_0354m96z330fghh1u0oozy1cid4ko
xp3_0gilmz32w4b8o
xp3_2530fh884a4
xp3_4a422hu0696
xp3_4s0gbb88gzw107888b42sgzy333
xp3_6s17o4s0cczw11da1
xp3_g0gbb88gz1107888b426zy233
xp3_g8861r0798czd54p1m1p453zw11011
xp3_ggwdbz0342t111eg8gzy111ldw32zy311
xp3_x3ia4z330fghh1u0oozy14a9o
xp3_xgilmz321egggn84czy06a4


Period-4 oscillators:
xp4_0354kljgzcc0fgiikf0cczy266
xp4_c4o796z6fvz321e96
xp4_g0gg3iakg88gz1101cjg88ge1c84czy41226
xp4_gg0g88bbgz11078aa97066zy033
xp4_w3iab88gz6607899a7066zy233
xp4_x3lkkl3z330fghmgf0cczy066
xp4_x696z4alhhhla4zx4a4
xp4_xg88bbgz66078aa97066zy033
xp4_xgiligz321egage1e8zy11
xp4_y0gilmzcc0fgiikf033zy266
xp4_y0mllmz330fghmgf0cczy066


Period-5 oscillators:
xp5_035426ozca5123
xp5_0i6vwv6iz321y0123cko
xp5_356o8gy0g8o653zy09cvwvc9
xp5_ggy0g8o653z9cvwvc9
What do you do with ill crystallographers? Take them to the mono-clinic!
User avatar
calcyman
 
Posts: 2089
Joined: June 1st, 2009, 4:32 pm

Re: Shinjuku: a database of glider syntheses

Postby Freywa » April 18th, 2019, 12:46 pm

chris_c wrote:I had a brief look through the code and ran a couple of examples. I note that you are not detecting invalid syntheses yet.

The latest version of Shinjuku now includes a check for such invalid syntheses, where the gliders are not rewindable to infinity. I checked the 8800+ components I had in Shinjuku with this new function and found several errors, some minor but a couple major:
  • One of the steps in Niemiec's synthesis of hustler II is invalid, but I easily found a replacement for the same cost. The left side is the original, invalid step as given on the LifeWiki, and the right side is the corrected step:
    x = 61, y = 36, rule = B3/S23
    15bobo30bo$15b2o29bobo$16bo30b2o3bo$51bo$51b3o$11b3o34b2o$11bo35bobo$
    12bo36bo$9bo$9b2o$8bobo47b2o$21b2o35bobo$12b2o6b2o28b2o6bo$12b2o8bo27b
    2o$16b2o36b2o$10b4o2bo31b4o2bo$9bo4bobo30bo4bobo$9bo3bobo31bo3bobo$7bo
    bo3bo31bobo3bo$6bobo4bo30bobo4bo$6bo2b4o31bo2b4o$5b2o36b2o$o8b2o36b2o$
    b2o6b2o29bo6b2o$2o36bobo$12bobo24b2o$12b2o$13bo$10bo38bo$11bo37bobo$9b
    3o37b2o$45b3o$47bo$6bo39bo3b2o$6b2o42bobo$5bobo42bo!
  • Buckingham's 13-glider synthesis of A for all, the claimed best-known at the time of checking, is invalid, as described here. I managed to find a 12-glider synthesis.
Edit: with the addition of component lines scraped from Niemiec's database, there are now over 19000 components in Shinjuku.
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 580
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: Shinjuku: a database of glider syntheses

Postby dvgrn » April 24th, 2019, 11:27 am

Here are the results of a quick check this morning of synthesis costs given in Catagolue vs. in the LifeWiki.

74 LifeWiki articles have out-of-date costs. I'll take care of updating these numbers on the LifeWiki:
apgcode   Article name   LifeWiki cost   Catagolue cost
xs11_31eg84c    Integral_with_long_hook   7   4
xs15_4al5ak8zx11    Super_mango   25   10
xs13_4a960ui    Ortho-loaf_on_table   5   4
xp2_0c813z255d1e8    Cis-beacon_on_anvil   22   7
xp2_4k1v0ciczw11    Beehive_on_griddle   16   8
xp15_14441xvtvz41114x757    Karel%27s_p15   18   11
xp2_69b8b9iczx32    26P2   41   9
xs11_256o8go    Boat_tie_snake   6   4
xp3_xgba9jz624bo2ob426zy0121    Pressure_cooker   118   117
xp7_5b8b94gszw652y06a8o    28P7.3   30   29
xs10_2eg853    Cis-hook_with_tail   8   5
xs11_3586246    Snake_with_feather   5   4
xp3_025qz32qq1    Candlefrobra   12   7
xs11_wg84213z65    Long%5E3_canoe   7   5
xs11_178c48c    Eater_head_siamese_snake   8   6
xp72_66625dw66y66664abw66zy3ccy8cczyd6995    Two_blockers_hassling_R-pentomino   19   18
xp2_6a88baiczx32    24P2   15   12
xp12_2hqz037133zccw6q4wi6zy1oogtozy4bh8    Baker%27s_dozen   30   26
xs10_178ka4    Cis-barge_with_tail   5   4
xs11_358gka4    Tub_with_cis-tail   8   4
xp2_c8b8acz0253    Boat_on_griddle   17   9
xp3_4a422hu06a4    Cis-boat_on_long_hook_eating_tub   13   9
xp11_0g842130v1oozra888ab43zx33    38P11.1   136   81
xs27_651u0u156zw17871    Hat_siamese_vase   15   9
xq5_qv3oowg9v0v9gwoo3vqzw1wuhp43034phuw1    60P5H2V0   63   61
xs11_321eg8o    Amphisbaena   8   7
xp3_025qzrq221    Trans-block_on_long_hook_eating_tub   12   9
xs17_2ege1ege2    Twin_hat   5   4
xs16_259e0e952    Up_wing_on_wing   5   4
xp10_y8oga13zy2g0k413zwo0a02z32    Bipole_tie_pseudo-barberpole   62   23
xp4_35s2e0e2s53zx1iqi1    T-nosed_p4   56   53
xs10_0j96z32    Very_long_shillelagh   5   4
xs13_g88m96z121    Beehive_at_loaf   7   4
xs10_0cp3z32    Carrier_siamese_carrier   5   4
xp3_4s3ia4oggzw12e    Pulsar_quadrant   12   10
xs16_69f0f96    Bi-cap   9   4
xs12_0ggm96z32    Beehive_with_nine   5   4
xq4_a1hhpnzy03mvo2ms8zy211    Pushalong_1   77   75
xp6_g80e55e08gz120ekke021    A_for_all   13   12
xp2_31egge13    Test_tube_baby   8   6
xs12_ck3123z11    Snake_bridge_snake   9   7
xp2_31a08zy01050ko    Heptapole   16   12
xs11_32132ac    Eater_tail_siamese_snake   6   4
xs11_35a8426    Boat_with_very_long_tail   8   7
xs16_g88m996z1221    Bi-pond   4   3
xs9_25a84c    Tub_with_long_tail   5   4
xs17_4al5q4ozx121    Super_loaf   30   10
xs11_178b52    Boat_with_hooked_tail   5   4
xp6_ccb7w69115a4ozs224y22443z125a8896wed33    Unicycle   28   23
xs11_0cp3z65    Carrier_siamese_long_snake   8   7
xs10_25a8426    Tub_with_very_long_tail   7   6
xs11_ggka53z1    Trans-long_boat_with_tail   5   4
xp2_4o6o7o68zx1    Cha_cha   23   12
xp4_y1g8bb8gzcc0u1y21u0cczy0124kk421zy311    Octagon_4   34   24
xp4_8eh5e0e5he8z178a707a871    Achim%27s_p4   7   6
xs11_08o652z32    Carrier_tie_boat   5   4
xp6_c0plc71ggoz311gs6lj06    Jason%27s_p6   40   14
xp64_y1j3zy031d8ey633zggy6s4c0gz11y8hj1zya11    Merzenich%27s_p64   20   19
xs13_69e0mq    R-bee_and_snake   7   4
xs22_09v0v9z3210123    Bookends_siamese_tables   9   8
xs11_25a84ko    Very_long_integral   9   5
xp5_g0giegmp3z11074x6a8o    Pentant   29   22
xs24_o4q55q4oz0125521    Super_pond   30   10
xs10_69ar    Loop   5   4
xs10_4al96    Barge_siamese_loaf   9   6
xp2_25a88gz8ka221    Tub_test_tube_baby   14   6
xp11_xg8k8x33x8k8gzw121ow111111wo121z33xfy6fx33zw25ak8022222208ka52zy633    Achim%27s_p11   95   91
xs10_1784213    Very_long_hook_with_tail   7   6
xp13_g88e1e8z0113033xokczy4araaaa4z0ggo0oox356z122ege2    Buckingham%27s_p13   88   84
xs11_178ka6    Cis-long_boat_with_tail   7   6
xp2_j5g29jz11w11    Quad   11   10
xp9_0c93wmk46z69bo7421    29P9   59   58
xs11_3215a8o    Fuse_with_tail_and_long_tail   7   6
xp3_4a422hu0696    Beehive_on_long_hook_eating_tub   12   9

Catagolue seems to be out of date in just a dozen cases, where the LifeWiki promises a better synthesis:

xp7_g88bdggz01130147obbgzy54t1u246zy71    44P7.2   127   129
xp4_wgiligz25a888a52zx252    Gray_counter   30   32
xp3_g0g88bbgz1107888b426zy033    Hustler   61   89
xp46_wbdz0ggy2bdz2ddy125b8ozz066wc4ozy311    Tanner%27s_p46   15   19
xp4_xgiligz321egage123zy11    1-2-3-4   28   29
xp5_wftsw6246z32    Silver%27s_p5   14   19
xp18_y632aczyao8ggz178cy0gggx133dumozy4167rscoy631e8zy911zyb354c    Four_eaters_hassling_four_bookends   42   45
xp2_8e1t2gozw23    21P2   7   8
xp4_64k8wc871zx1ro    Eater/block_frob   8   12
xp8_gg0gba9jz11078987066zx3213    Hertz_oscillator   11   64
xp9_039e0o4czolnhlla23zw66    Thumb_1   98   102
xp3_695qc8zx33    Jam   6   7

Then there are 172 LifeWiki articles where no synthesis is promised at all, but there's one available on Catagolue. If anyone wants to help with these, it's just a matter of adding |synthesis = {number given below} to the appropriate article's infobox.

A link to an auto-generated RLE file on Catagolue should automatically pop up. There's no need any more to create an RLE:{pname}_synth article, or to create a separate _synth file and upload it to the LifeWiki server (yay!).

I've done the first two on the list, just to prove that everything works. I think a standard place to put the "|synthesis =" line is before the "|plaintext" and "|rle" lines, after "|isorulemax" if that's there. So that just leaves a hundred and seventy edits for somebody else to do:

xs15_3lk453z121    Trans-boat_on_dock   not in LifeWiki   4
xs14_39e0e96    Cis-hook_and_R-bee   not in LifeWiki   4
xs12_69iczx113    Trans-mango_with_tail   not in LifeWiki   4
xs14_6is079c    Cis-rotated_hook   not in LifeWiki   4
xs22_69b88cz69d113    Cis-mirrored_worm   not in LifeWiki   4
xs18_3lk453z3443    Pond_on_dock   not in LifeWiki   4
xs15_259e0eic    Trans-R-bee_and_R-loaf   not in LifeWiki   4
xs14_6960uic    Beehive_on_cap   not in LifeWiki   4
xs16_69bob96    Symmetric_scorpion   not in LifeWiki   4
xs13_2eg6p3zx1    Thirteen_loop   not in LifeWiki   4
xs14_j1u413z11    Carrier_siamese_dock   not in LifeWiki   4
xs12_0g8o652z121    Boat_tie_long_boat   not in LifeWiki   4
xs12_0ggs252z32    Gull_with_tub   not in LifeWiki   4
xs14_39e0eic    Trans-hook_and_R-bee   not in LifeWiki   4
xs14_g8o0e96z121    Trans-rotated_R-bee   not in LifeWiki   4
xs12_xg84213zca1    Long%5E4_canoe   not in LifeWiki   4
xs12_6530f9    Cis-ship_on_table   not in LifeWiki   4
xs12_32qj4c    Aircraft_carrier_bridge_table   not in LifeWiki   4
xs15_259e0e96    Cis-R-bee_and_R-loaf   not in LifeWiki   4
xs16_j1u0696z11    Beehive_on_dock   not in LifeWiki   4
xs18_c4o0ehrz321    Rotated_C   not in LifeWiki   4
xs12_641j4czx11    Carrier_bridge_carrier   not in LifeWiki   4
xs12_0g8ka52z121    Long%5E3_barge   not in LifeWiki   4
xs14_o4s0796z01    Skew_R-bees   not in LifeWiki   5
xs12_03loz643    Eater_tail_siamese_long_snake   not in LifeWiki   5
xs12_25a8og4c    Carrier_siamese_tub_with_tail   not in LifeWiki   5
xs12_3123cko    Ship_tie_snake   not in LifeWiki   5
xs12_0gbaa4z121    Integral_with_tub_and_tail   not in LifeWiki   5
xs12_g8ka53z11    Long%5E3_ship   not in LifeWiki   5
xs12_3lozx352    Boat_tie_long_snake   not in LifeWiki   5
xs12_g4q453z11    Inverted_double_claw   not in LifeWiki   5
xs12_3560ui    Trans-ship_on_table   not in LifeWiki   5
xs12_178ka52    Cis-long_barge_with_tail   not in LifeWiki   5
xs12_0ggka52z32    Trans-barge_with_nine   not in LifeWiki   5
xs12_0g0s256z121    Cis-boat_line_tub   not in LifeWiki   5
xs12_651i4ozx11    Double_claw   not in LifeWiki   5
xs12_0ggm93z32    Hook_with_nine   not in LifeWiki   5
xs12_178kia4    Cis-mango_with_tail   not in LifeWiki   5
xs18_j1u0uh3z11    Dock_and_long_hook   not in LifeWiki   5
xs12_354qic    Teardrop_with_claw   not in LifeWiki   5
xs14_0g8ka53z321    Long%5E4_ship   not in LifeWiki   6
xs12_32qb8o    Rotated_table   not in LifeWiki   6
xs12_0g8o652z23    Boat_tie_eater_head   not in LifeWiki   6
xs12_0gila4z32    Cis-barge_with_nine   not in LifeWiki   6
xs12_08o653z32    Aircraft_carrier_tie_ship   not in LifeWiki   6
xp2_03lk46z6401    Trans-beacon_up_on_long_hook   not in LifeWiki   6
xs12_ggdbz65    Cis-snake-tie   not in LifeWiki   6
xs12_5b8ozx123    Broken_elevener   not in LifeWiki   6
xs16_j1u0uiz11    Table_and_dock   not in LifeWiki   6
xp2_wgj1u0og26z25421    20P2   not in LifeWiki   6
xs12_0g8ka52z23    Trans-long_barge_with_tail   not in LifeWiki   6
xs12_642tic    R-bee_with_feather   not in LifeWiki   6
xp2_w8o0uh3z32    Trans-beacon_down_on_long_hook   not in LifeWiki   6
xs12_354cga6    Eater_with_tail_feather   not in LifeWiki   6
xs12_3pczw1ac    Carrier_siamese_very_long_snake   not in LifeWiki   6
xs12_g853zdb    Snake_siamese_very_long_snake   not in LifeWiki   6
xs12_358gka6    Boat_with_cis-tail   not in LifeWiki   6
xs12_3pczw1246    Carrier_siamese_canoe   not in LifeWiki   6
xs12_312312ko    Canoe_siamese_snake   not in LifeWiki   6
xs12_2ege123    Integral_with_hook_and_tail   not in LifeWiki   6
xs15_3lkia4z32    Xs15_3lkia4z32   not in LifeWiki   6
xs12_35iczx113    Claw_with_boat_with_tail   not in LifeWiki   6
xs14_6970sic    Cis-rotated_R-bee   not in LifeWiki   6
xs12_0ggc93z641    Cis-carrier-tie   not in LifeWiki   6
xs18_m2s0si96z11    R-mango_and_house   not in LifeWiki   6
xs12_3215ako    Long_boat_with_long_tail   not in LifeWiki   6
xs12_32qczx113    Eater_head_siamese_eater_head   not in LifeWiki   6
xs12_31eozx123    Eater_tail_siamese_eater_tail   not in LifeWiki   6
xs12_8ljgzx252    Integral_with_long_hook_and_tub   not in LifeWiki   6
xs12_0g8ge13z23    Fuse_with_tail_and_integral   not in LifeWiki   6
xs12_g88a53z23    Trans-boat_amphisbaena   not in LifeWiki   6
xp2_318c0fho    Cis-beacon_down_on_long_hook   not in LifeWiki   6
xs12_321f84c    Egyptian_walk   not in LifeWiki   6
xs13_0g8ka52z321    Long%5E4_boat   not in LifeWiki   6
xs12_drz346    Shillelagh_siamese_snake   not in LifeWiki   6
xs16_wg8ka53z6521    Long%5E5_ship   not in LifeWiki   7
xs12_0g8k871z23    Tub_with_two_down_trans_tails   not in LifeWiki   7
xs12_0g8ka23z23    Tub_with_two_up_trans_tails   not in LifeWiki   7
xs15_wg8ka52z6521    Long%5E5_boat   not in LifeWiki   7
xs12_ghn84cz1    Hook_with_two_tails   not in LifeWiki   7
xs12_0g0s252z321    Trans-boat_line_tub   not in LifeWiki   7
xs12_69jzx1ac    Long%5E4_shillelagh   not in LifeWiki   7
xs12_178421e8    Very_long_melusine   not in LifeWiki   7
xs12_g8jdz56    Fuse_with_two_long_tails   not in LifeWiki   7
xs12_3pcz643    Carrier_siamese_shillelagh   not in LifeWiki   7
xs12_25a8og8o    Tub_with_tail_siamese_snake   not in LifeWiki   7
xs12_31230f9    Down_snake_on_table   not in LifeWiki   7
xs12_358m96    Honeybarge   not in LifeWiki   7
xp60_vtvz757zac4zzzy0vtvzy0757    P60_glider_shuttle   not in LifeWiki   7
xs12_252sga6    Tub_with_tail_with_cape   not in LifeWiki   7
xs12_32130f9    Up_snake_on_table   not in LifeWiki   7
xs12_g88b52z23    Cis-boat_amphisbaena   not in LifeWiki   7
xs12_4ai3zx1246    Very_long_cis-hook_with_tail   not in LifeWiki   7
xs12_32132qk    Hook-with-tail_tail_siamese_snake   not in LifeWiki   7
xs12_178c2ko    Eater_with_head_feather   not in LifeWiki   7
xs12_358m93    Claw_siamese_tub_with_cape   not in LifeWiki   7
xs12_31460ui    Trans-aircraft_carrier_down_on_table   not in LifeWiki   7
xs12_g4q552z11    Beehive_at_claw   not in LifeWiki   7
xs12_0gjl8z56    Asymmetric_amphisbaena   not in LifeWiki   7
xs12_69jzx1246    Very_long_cis-shillelagh   not in LifeWiki   7
xs12_35icz65    Boat_with_long%5E3_tail   not in LifeWiki   7
xs12_178ka23    Tub_with_two_up_cis_tails   not in LifeWiki   7
xs12_17842156    Very_long_claw_with_tail   not in LifeWiki   7
xs12_ck3146z11    Carrier_bridge_snake   not in LifeWiki   7
xs12_kc3213z11    Trans-snake-tie   not in LifeWiki   7
xs12_3542ako    Long_integral_with_boat   not in LifeWiki   7
xs12_628c0f9    Trans-aircraft_carrier_up_on_table   not in LifeWiki   7
xs12_08o6413z32    Trans-carrier-tie   not in LifeWiki   7
xs12_025iczca1    Tub_with_long%5E4_tail   not in LifeWiki   7
xs12_358mic    Teardrop_with_cape   not in LifeWiki   8
xs34_03lkl3z0ju0ujz1226221    House_on_house_siamese_table-on-table_weld_hat-siamese-hat   not in LifeWiki   8
xs12_17842ak8    Long_tub-claw_with_tail   not in LifeWiki   8
xs12_0ol3zca1    Long_snake_siamese_long_snake   not in LifeWiki   8
xs12_4ap3z65    Inflected_long_snake   not in LifeWiki   8
xp2_3lgh1lo    14P2.1   not in LifeWiki   8
xs12_25akg84c    Barge_with_very_long_tail   not in LifeWiki   8
xs12_ci52zw1246    Tub_with_long_cis-tail   not in LifeWiki   8
xp2_s0i0j0ezw1    12P2   not in LifeWiki   8
xs12_4ai3zx1ac    Long%5E4_hook_with_tail   not in LifeWiki   8
xs12_31eg853    Integral_with_cis-hook   not in LifeWiki   8
xs12_35861ac    Inflexion   not in LifeWiki   8
xs12_31eg8426    Integral_with_very_long_hook   not in LifeWiki   8
xs12_25a842ac    Very_long_prodigal   not in LifeWiki   8
xs12_25iczw1252    Tub_bend_line_tub   not in LifeWiki   8
xp2_woga13zdb    Bipole_tie_snake   not in LifeWiki   8
xs12_5b8og4c    Carrier_siamese_hook-with-tail_tail   not in LifeWiki   8
xs12_8o6413z32    Trans-aircraft_carrier_tie_snake   not in LifeWiki   8
xs12_3123c4go    Cis-aircraft_carrier_tie_snake   not in LifeWiki   8
xs12_1784c826    Carrier_siamese_hook-with-tail_hook   not in LifeWiki   8
xp2_03544ozoid11    Monoclaw_test_tube_baby   not in LifeWiki   8
xp2_xoga13z253    Boat_tie_bipole   not in LifeWiki   8
xs12_321e853    Hook_with_tail_with_cape   not in LifeWiki   8
xs12_0cq23z65    Eater_head_siamese_long_snake   not in LifeWiki   8
xs12_4s0c93z11    Cis-aircraft_carrier_down_on_table   not in LifeWiki   8
xs12_39c0f9    Cis-aircraft_carrier_up_on_table   not in LifeWiki   8
xs12_32akg84c    Fuse_with_tail_and_very_long_tail   not in LifeWiki   8
xs12_drz1226    Hook-with-tail_hook_siamese_snake   not in LifeWiki   8
xs12_358gzy012ko    Long%5E6_snake   not in LifeWiki   8
xs12_0j96z346    Long%5E3_integral   not in LifeWiki   8
xp2_03544ozcid11    Beehive_test_tube_baby   not in LifeWiki   9
xp2_03544ozca511    Boat_test_tube_baby   not in LifeWiki   9
xs18_j1u0uicz11    Cap_and_dock   not in LifeWiki   9
xs18_xg8ka53zca521    Long%5E6_ship   not in LifeWiki   9
xp8_6m048y4g08k9h1ezw1033xk88034441    Tumbling_T-tetson   not in LifeWiki   10
xs20_178kai3z311w32    Spiral   not in LifeWiki   10
xs17_xg8ka52zca521    Long%5E6_boat   not in LifeWiki   10
xp2_321egge123    Hook_test_tube_baby   not in LifeWiki   11
xs26_69p6o8gzcijc321    Mickey_Mouse   not in LifeWiki   11
xp2_xg8o652zca02    Boat_tie_tripole   not in LifeWiki   11
xp2_4k1v0f9zw11    Griddle_and_table   not in LifeWiki   11
xp2_xoga13zc93    Carrier_tie_bipole   not in LifeWiki   12
xp2_c88b9iczw32    Mangled_1_beacon   not in LifeWiki   13
xp5_giligz36asgv04a4    Heart   not in LifeWiki   14
xp2_y2g0k053zw80a02z321    Nonapole   not in LifeWiki   16
xp2_y580a13zxg0k0501zca02    Undecapole   not in LifeWiki   18
xp12_g88e1u8y0g8oz011313wcc23zxca23    35P12.1   not in LifeWiki   21
xp2_31a08zy01050k0gzy620ago    Duodecapole   not in LifeWiki   22
xp34_x32acy1ca23zy3sr7zg88a6y16a8oz122ac    Honey_thieves_with_test_tube_baby   not in LifeWiki   23
xp18_gg032acycok46z0346x888y6imgzy18o032y9gg031e8zx311yd1226    P18_honey_farm_hassler   not in LifeWiki   23
xp6_178czy12fiszy631e8    P6_shuttle   not in LifeWiki   24
xp30_yb33zy8gka9akgzyjg8gczyda64w1243cy633zccy63s2k8w265zy8301y1ggxggzyh25952zyicc    Hectic   not in LifeWiki   26
xp5_4j8qa606aq8j4zx26x62    Scot%27s_p5   not in LifeWiki   27
xp10_y133x33z66w595x595w66zccwkikxkikwcczy1ooxoo    P10_traffic_light_hassler   not in LifeWiki   30
xp11_y3316zy17s8apgwiu39hwgkczg88w8g0ocw8pggoz11x44632x42017zy9346    P11_pinwheel   not in LifeWiki   30
xp3_gg0gbahm44oz25s1688gjc1dazx113426    Tubber   not in LifeWiki   35
xp87_ya32aczyfg8gw33y466zxg8gy81221zggw1oogyesscz11y2deeyd1266x33zycggy9252z0ooy4ggw3421zy711y2ckggzyi1    84P87   not in LifeWiki   38
xp3_bnp0oeu2z128841    Runny_nose   not in LifeWiki   40
xp16_oowg8cx33xj3zooxjx31whh032zw8o0hhwgoxpx33zxopxoox621w33    68P16   not in LifeWiki   44
xp8_g8861d688886d1688gz123ty6t321zcim50g0gggg0g05miczx3453y03543    Bottle   not in LifeWiki   46
xp22_occsgwssg0pfezwccey2scczwss602eew2ecc6zx11    48P22.1   not in LifeWiki   48
xp16_g8861daowoad1688gz12174wokcx47121zcik71ggowogg17kiczx3452y02543    Ship_in_a_bottle   not in LifeWiki   49
xp3_08ean1e8zoga3    Fire-spitting   not in LifeWiki   61

Finally, there are 28 syntheses given on the LifeWiki that apparently haven't made it to Catagolue/Shinjuku yet:

xp3_g8o0eh5mggz122q92t0643zy011    Snake_pit_2   6   not in Catagolue
xp46_033y133zzzckgsxsgkczz0cc    Twin_bees_shuttle   7   not in Catagolue
xs30_69b8b96z69d1d96    Clips   8   not in Catagolue
xp2_md321pmz1221321     Washing_machine   8   not in Catagolue
xq4_027deee6z4eqscc6    Sidecar   8   not in Catagolue
yl1344_2_1118_c2aaaf958f8f412c06554ab3e40b8749    Noah%27s_ark   8   not in Catagolue
xp2_318czw3553    Trans-beacon_on_cap   8   not in Catagolue
xs32_4a9b8b96z259d1d96    Inflected_30-great_sym   10   not in Catagolue
xp3_0ca1d2sgz321343    Stillater   11   not in Catagolue
xp2_3p606p3z0c95d    Light_bulb   11   not in Catagolue
xq4_8444sx5889ezhwh4rrez24447xk22ie    Hivenudger   15   not in Catagolue
xp33_0ggq52z044sy4ai2cz0u03y4s4sy84q4z0p99y4110g8oy499pz252y83i3y4s07zya3445y4jiizyk4a5    Jason%27s_p33   16   not in Catagolue
xp2_xgbq9jwj9qbgz2egjl653w356ljge2zy01y41    Glasses   17   not in Catagolue
xq96_yzyp573w8aegvzyzytgyb33zyzys343yioozyzyee0oooydo4ozyzyh3e8yd1yj66zyz08880o44owkkkkox17231yx217zyzy049421zyoexgzyn6999421yu42ezynu0uzyc888y2gw11ygg8gy0cczye77264c0d71yh78galg8ggwezg0gyzgy831z331gy18kk8yo322z8babczyd2552zy1ggzy111zy9cczylca8zyh33    6-in-a-row_Cordership   21   not in Catagolue
xp45_32acxca23zy06e6y3skszy0cecy3vnvzo8a6x6a8o    Pentadecathlon_on_snacker   23   not in Catagolue
xq96_yzyy4e1msgzyzyzw167y8cczyzyzciczyzyzy5gyb33zyzyl8s0soyd343y3oggy8oozyzy7sy4gy461yk49dq052zyzy826ik465c12yu321y186czyso8ozyshh9ogy5cgmgogkgb5zyr27d0877y78kgeyegcozylsy4gyfoozym26ik465c12y433yc11259p0cgzyzy9ooya11zyvgoggzy9g0gy3g0ogy04a1951dc72zgo4ogy31303r4y1321z0106ruzw8gy28kk8zw2jjgyo8okz0324447y72552zy2ggzy211zyacc    7-in-a-row_Cordership   25   not in Catagolue
xp12_08o0il96xggzxgjx6is343zw1j3xfvvz460jqx643siczx233    Crown   30   not in Catagolue
xp6_0ggc2ab1u0ooz32019l91    Extremely_impressive   30   not in Catagolue
xq96_yk573w8aegvzyzy133zyzy9oozyao0ovogoy14440g8gzyb6ug101y61ycgggy2gw66zg8880gxg8gx4874w11yl231w4578fz34440d9ac8lya2552zyhoozy1ooggy1aghh92yc763zx77glhf2ymgmknozy5ggy9kscx8o0szy511ye11123zydcc    6-engine_Cordership   37   not in Catagolue
xp29_y8ca23z252y24eexcczg8gy28ssy366xg0s4z01y76e6x6e6w11zzy8252y1252    Pre-pulsar_shuttle_29   43   not in Catagolue
xp47_y6252y1252zwggweydewggz4701xggw4r4x4r4wggx1074z4s0gx11w4r4x4r4w11xg0s4zw11weydew11zy68k8y18k8    Pre-pulsar_shuttle_47   52   not in Catagolue
xp44_y365la8ceeeec8al56zy511y411zzccy7si1isy7cczy9gg0ggz33y734843y733zzy5o8y48ozy36aa5137777315aa6    P44_pi-heptomino_hassler   67   not in Catagolue
xp3_g0gbb8oz11078aqi6    1-2-3   69   not in Catagolue
xp6_wgbb88gz320fge8b426zy023    $rats   100   not in Catagolue
xp4_gg0g88bbgz1107899a7066zy033    Clock_2   139   not in Catagolue
xp4_gg0g88bbgz11078c9a7066zy033    Pinwheel   151   not in Catagolue
xp13_0kq2c5jzha8dkllld2sgz11da226943    53P13   219   not in Catagolue
xq30_yq232x232zug1hmgc865da808ad568cgmh1guybug1hmgc865da808ad568cgmh1guz124w6yb6w421yb124w6yb6w421    Pre-pulsar_spaceship   1212   not in Catagolue
User avatar
dvgrn
Moderator
 
Posts: 5833
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: Shinjuku: a database of glider syntheses

Postby dvgrn » April 24th, 2019, 5:09 pm

I think we're all caught up at the LifeWiki end for the moment, thanks to some quick work by Ian07. So that just leaves the 40 = 12 + 28 cases where the LifeWiki knows something that Shinjuku doesn't.

Also, just out of curiosity, what exactly happens if a multi-stage recipe like the spider synthesis gets updated? As a trivial example, this step

x = 74, y = 68, rule = B3/S23
27bo43bo$28bo42bobo$26b3o42b2o2$22b3o$24bo4bobo$23bo5b2o$30bo2$34bobo$
34b2o$35bo3bo$38b2o$33bo4bobo$31bobo$32b2o$49bo$48bo$15bobo30b3o$16b2o
$16bo7$46bo$44b2o$45b2o7$27b2o$28bo$2b2o21b3o$bo2bo19bo$o2b2o19b2o27bo
$b2o2b2o3b2o5b2o3b2o2bo25b2o$4bo2bobo2bo3bo2bobo2bobo25bobo$b3obobob2o
bo3bob2obobobo$bo3bobobo2b2ob2o2bobobo$5b2o2bobo5bobo2b2o$9bob7obo$10b
o7bo$11bobobobo$12b2ob2o4$50b2o$49b2o$51bo2$57b3o$57bo$15b2o41bo$16b2o
$15bo$42b2o$42bobo$42bo$14bo$14b2o$13bobo!

should technically be decomposed into

x = 193, y = 68, rule = B3/S23
27bo$28bo$26b3o2$22b3o$24bo4bobo$23bo5b2o$30bo2$34bobo$34b2o$35bo3bo$
38b2o$33bo4bobo$31bobo$32b2o$49bo$48bo$15bobo30b3o$16b2o$16bo3$185b3o
2$183bo5bo$183bo5bo$46bo136bo5bo$44b2o$45b2o138b3o2$190bo$190bobo$190b
2o3$27b2o159b2o$28bo159b2o$2b2o21b3o124b2o21b2o$bo2bo19bo126bo2bo19bo
2bo$o2b2o19b2o27bo96bo2b2o19b2o2bo$b2o2b2o3b2o5b2o3b2o2bo25b2o97b2o2b
2o3b2o5b2o3b2o2b2o$4bo2bobo2bo3bo2bobo2bobo25bobo99bo2bobo2bo3bo2bobo
2bo$b3obobob2obo3bob2obobobo125b3obobob2obo3bob2obobob3o$bo3bobobo2b2o
b2o2bobobo127bo3bobobo2b2ob2o2bobobo3bo$5b2o2bobo5bobo2b2o131b2o2bobo
5bobo2b2o$9bob7obo139bob7obo$10bo7bo141bo7bo$11bobobobo143bobobobo$12b
2ob2o145b2ob2o4$50b2o$49b2o$51bo2$57b3o$57bo$15b2o41bo$16b2o$15bo$42b
2o$42bobo$42bo$14bo$14b2o$13bobo!

If a revised incremental synthesis of the spider shows up, how will Shinjuku find out about it exactly? Looks like maybe someone will have to save an RLE, then give niemiec.py the path to that RLE. Then (in the example above) the big-still-life-plus-TL-plus-block will get added to the database as a new intermediate step, and will show up as an apgcode with a synthesis cost tracked by Catagolue. (?)

... Is there any way to get Catagolue's output RLE to pay attention to intermediates' orientations, by the way? It would be nice if the orientation of each sub-recipe's output object was the same as the orientation of the next sub-recipe's input object.
User avatar
dvgrn
Moderator
 
Posts: 5833
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: Shinjuku: a database of glider syntheses

Postby Freywa » April 25th, 2019, 10:55 am

dvgrn wrote:I think we're all caught up at the LifeWiki end for the moment, thanks to some quick work by Ian07. So that just leaves the 40 = 12 + 28 cases where the LifeWiki knows something that Shinjuku doesn't.

... Is there any way to get Catagolue's output RLE to pay attention to intermediates' orientations, by the way? It would be nice if the orientation of each sub-recipe's output object was the same as the orientation of the next sub-recipe's input object.

I've implemented orientation locking in the latest commit. I've also added some of the synths that were missing from the LifeWiki.
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 580
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: Shinjuku: a database of glider syntheses

Postby calcyman » April 25th, 2019, 2:40 pm

Freywa wrote:
dvgrn wrote:I think we're all caught up at the LifeWiki end for the moment, thanks to some quick work by Ian07. So that just leaves the 40 = 12 + 28 cases where the LifeWiki knows something that Shinjuku doesn't.

... Is there any way to get Catagolue's output RLE to pay attention to intermediates' orientations, by the way? It would be nice if the orientation of each sub-recipe's output object was the same as the orientation of the next sub-recipe's input object.

I've implemented orientation locking in the latest commit. I've also added some of the synths that were missing from the LifeWiki.


Very nice! I tried it on the spider and everything seems to be aligned beautifully:

x = 7454, y = 119, rule = B3/S23
4314bo$4312b2o$4313b2o12$4255bobo$4256b2o$4256bo3$4273bo$4271bobo$
4260bo11b2o$4261bo$4259b3o34bobo$4296b2o2525bo$4297bo2523bobo116bo
$4286bo2535b2o117b2o$3700bobo582bo2654b2o$3278bo421b2o583b3o$3279b
o380bobo38bo548bo2576bo$3277b3o381b2o80bobo505b2o2575bo57b2o59b2o$
3661bo81b2o505b2o2574b3o56bo2bo57bo2bo$3744bo3141bobo58bobo$4093bo
208bo2584bo60bo459bo$2652bobo344bo468bo273bo303bo47bo205bobo2525bo
bo112bo235bo229b2o17bobo$559bo2093b2o342bobo286bo182bo270bobo301bo
bo45b3o206b2o2525b2o114b2o65bo166bo229b2o8bo10b2o$560bo1928bo163bo
344b2o287bo179b3o271b2o263bo38b2o153bobo2626bo113b2o64bobo166b3o
47bo190bo9bo$92bobo463b3o1928bobo793b3o185bo531bo43bo138bo11b2o5bo
96bo1311bo176bo1216b2o163bo50bobo188b3o24bo$92b2o2391bo3b2o982bobo
313bo215b3o41bobo34bobo6bobo53bo37b2o10bo3b2o97bobo1307bobo11bobo
160bobo980bo239bo48bobo110bo50b2o7bo150bo54b2o$93bo272bo497bo1621b
o941bo44b2o137bo124bo9bobo40bo57bo153bo46b2o36b2o2b2o2b2o54bobo34b
2o16b2o96b2o1309b2o11b2o162b2o3bobo973bo240bobo47b2o54bo53b3o54b2o
3bobo149b2o53b2o$364b2o496bobo1619b3o9bo634bo8bo146bobo138bobo179b
obo125bo8b2o39b3o57bobo53bo98bo83bo3b2o3bo32bo21b2o61bo85b2o1318bo
8bo157bobo7b2o974b3o167b3o55b2o11b2o40b2o6bo3b2o41b2o5bobo45b2o53b
2o7bo2bo2b2o38b2o9bo99b2o26b2o9bo$365b2o496b2o1201bo427b2o636bo7bo
bo144b2o4bo128bobo3b2o38b3o50bo89b2o83bo39b3o9bo49bo49b2o7bo44b2o
97b3o4bobo119b2o3bo77bo85b2o1317bobo167b2o8bo862bo50bo232bo55bo54b
o11b2o41bo7b2o45bo54bo9b2o43bo9bobo126bo9bobo$567bo1496bobo428b2o
172bo460b3o7b2o146bo4bobo127b2o45bo48b2o101bobo69bobo101bobo55bo
46b2o103b2o119b2o5b2o7bo67b3o85bo6bo1212bo97b2o4bo49bo112bo872bobo
46bobo3bobo51b2o172bo57bo54bo54bo10bo43bo54bo54bo9b2o123bo3bo9b2o$
568bo316bo1179b2o307bo167bo125bo111bo339bo172b2o90bo37bo45bo50b2o
100b2o71b2o101b2o56b3o150bo37b2ob2o38b2ob2o40b2o4b2obobo161bobo
1208b2o48bo53bobo47bobo3bobo979b2o48b2o3b2o51bo2bo54b2o59b2o59b2o
52bo54bo54bo9bobo42bo54bo54bo131bobo4bo$96bo268b2o199b3o248bo65bob
o102bo1356bo26b2o166bobo125b3o8bo98bobo340b2o160bo101bobo137b2o96b
o164bo52bo51bo47bo62bo43bob2o39bob2o47bob2o9b2o52b3o96b2o1210b2o
47bobo52b2o48b2o3b2o99bo873bo62bo51bo2bo54bobo58bobo58bobo52bobo
52bobo52bo8b2o44bo7b2o45bo7b2o45bo7b2o122b2o5bo7b2o$94bobo159bo3bo
bo102bobo102bo186bo11bo146bo67b2o3bobo96bobo1355b2o25b2o100bo65b2o
135bo100b2o339b2o12bo106bo39bobo97bo3b2o40bobo80b2o13bobo34b2o7bob
o3b2o37b2o169bobo50bobo5b2o42bobo10bo34bobo60bobo42bo42bo50bo11b2o
53bo67b2o34bo40bo51bo52bo51bo46bo41bo46bo41bo51bo53bo64bo59bo46bo
52bo51bo47bo62bo42bo42bo50bo49bo77bo82bo33bo3b2o10bo56bo41bo11bo
32b3o2bobo10bo37b2o18bo44bo49bo56bo53bo50bo57bo58bo69bo66bo57bo57b
o60bo61bo60bo39bobo19bo56bo38b2o13bo42b2o13bo45b2o13bo45b2o13bo39b
2o13bo39b2o13bo39bo14bo39bo6b2o6bo39bo6b2o6bo39bo6b2o6bo123bo6b2o
6bo$95b2o102bo55bo4b2o33bo69bo102b2o188b2o9bobo94bobo47b3o60bobo7b
2o93bo3b2o1355b2o129bo201b3o453bobo55bo49bo39b2o4bo93bo44b2o32b3o
47bo7b2o4bo37bo3bo4b2o3bobo37bo7b3o160b2o10b2o39b2o6bo43b2o9b2o35b
2o61b2o5b2o34b2o5b2o34b2o5b2o34b2o6b2o5b2o6bo41b2o10bo65bobo33b2o
36b2obobo46b2obobo47b2obobo46b2obobo41b2obobo36b2obobo41b2obobo36b
2obobo46b2obobo48b2obobo59b2obobo54b2obobo41b2obobo47b2obobo46b2ob
obo42b2obobo57b2obobo37b2obobo37b2obobo45b2obobo44b2obobo72b2obobo
77b2obobo33bo10b2obobo51b2obobo48b2obobo33bo2b2o7b2obobo35b2o15b2o
bobo39b2obobo44b2obobo51b2obobo48b2obobo45b2obobo52b2obobo53b2obob
o64b2obobo61b2obobo52b2obobo52b2obobo55b2obobo56b2obobo55b2obobo
39b2o15b2obobo51b2obobo48b2obobo52b2obobo55b2obobo55b2obobo49b2obo
bo49b2obobo39bo9b2obobo39bo9b2obobo39bo9b2obobo39bo9b2obobo123bo9b
2obobo$197bobo55b3o3bo31bobo173b2o97bobo86b2o6bo3b2o96b2o53bo57b2o
8bo94bo1083bo62bo277bo63b3o187bobo457bo5bo3b2o54b2o48b3o45bobo89b
3o45bo34bo6b2o38bo7b2o42bo3bobo3bo4bo38bo8bo55bo15bo45b2o45b2o7b2o
42b2o2bo47b2o2bo4bobo36b2o2b2o18bo38b2o3bo37b2o3bo37b2o3bo36b2o7b
2o3bo45b2o2bo73b2o2bo35bobo36bobo2bo46bobo2bo47bobo2bo46bobo2bo41b
obo2bo36bobo2bo41bobo2bo36bobo2bo46bobo2bo48bobo2bo59bobo2bo54bobo
2bo41bobo2bo47bobo2bo46bobo2bo42bobo2bo57bobo2bo37bobo2bo37bobo2bo
45bobo2bo44bobo2bo72bobo2bo69b2o6bobo2bo30b3o11bobo2bo51bobo2bo31b
o16bobo2bo31bo4bo8bobo2bo52bobo2bo30b2o7bobo2bo35b2o7bobo2bo42b2o
7bobo2bo39b2o7bobo2bo36b2o7bobo2bo43b2o7bobo2bo44b2o7bobo2bo55b2o
7bobo2bo52b2o7bobo2bo43b2o7bobo2bo43b2o7bobo2bo46b2o7bobo2bo47b2o
7bobo2bo46b2o7bobo2bo47b2o7bobo2bo42b2o7bobo2bo39b2o7bobo2bo43b2o
7bobo2bo46b2o7bobo2bo46b2o7bobo2bo40b2o7bobo2bo40b2o7bobo2bo39bo9b
obo2bo39bo9bobo2bo39bo9bobo2bo39bo9bobo2bo110bobo10bo9bobo2bo9bobo
$108bo89b2o50bobo41b2o64bobo10bo32bo161b2o96bo49bo50bo54bobo55bo
102b3o1081bobo63b2o273bobo6bobo108bo136b2o458bo2bobo60b2o52bo42b2o
54bo117bo7b2o38b2o8bo41b2o3b2o47b2o8bo54b3o13bobo43bo7b2o37bo10bo
41bo3b2o2b2o42bo2bobo42bo2bobo18bobo36bo2bobo37bo2bobo37bo2bobo35b
o9bo2bobo44bo2bobo72bo2bobo74bo2bobo46bo2bobo47bo2bobo46bo2bobo41b
o2bobo36bo2bobo41bo2bobo36bo2bobo46bo2bobo48bo2bobo59bo2bobo54bo2b
obo41bo2bobo47bo2bobo46bo2bobo42bo2bobo57bo2bobo37bo2bobo37bo2bobo
45bo2bobo44bo2bobo72bo2bobo70b2o5bo2bobo44bo2bobo51bo2bobo31b2o10b
2o3bo2bobo40b2o3bo2bobo42b2o3b2o3bo2bobo30bo3b2o3bo2bobo35bo3b2o3b
o2bobo42bo3b2o3bo2bobo39bo3b2o3bo2bobo36bo3b2o3bo2bobo43bo3b2o3bo
2bobo44bo3b2o3bo2bobo3bo51bo3b2o3bo2bobo52bo3b2o3bo2bobo43bo3b2o3b
o2bobo43bo3b2o3bo2bobo46bo3b2o3bo2bobo47bo3b2o3bo2bobo40bo5bo3b2o
3bo2bobo47bo3b2o3bo2bobo36b2o4bo3b2o3bo2bobo33b2o4bo3b2o3bo2bobo
37b2o4bo3b2o3bo2bobo40b2o4bo3b2o3bo2bobo40b2o4bo3b2o3bo2bobo34b2o
4bo3b2o3bo2bobo34b2o4bo3b2o3bo2bobo34b2o4bo3b2o3bo2bobo34b2o4bo3b
2o3bo2bobo34b2o4bo3b2o3bo2bobo34b2o4bo3b2o3bo2bobo111b2o5b2o4bo3b
2o3bo2bobo9b2o$108bobo92bo41bo5b2o107b2o10b2o33bo52bobo99bo6bo94b
3o50bo104b2o43bo4bo533bobo425bo233b2o62b2o275b2o7b2o5bobo101bo135b
o116bo340b3o3b2o65b2o46bo98bo275bo64bo8b2o2b2o34b3o8bo6bobo37bo52b
o4bo2bo43bob2o44bob2o19b2o38bob2o39bob2o39bob2o47bob2o46bob2o74bob
2o33bo42bob2o48bob2o49bob2o48bob2o43bob2o38bob2o43bob2o38bob2o48bo
b2o50bob2o61bob2o56bob2o43bob2o49bob2o48bob2o44bob2o59bob2o39bob2o
39bob2o47bob2o46bob2o74bob2o70bo8bob2o46bob2o38bo8bo5bob2o31bobo
11bo4bob2o42bo4bob2o43bobo3bo4bob2o32bo3bo4bob2o37bo3bo4bob2o44bo
3bo4bob2o41bo3bo4bob2o38bo3bo4bob2o45bo3bo4bob2o46bo3bo4bob2o4bobo
50bo3bo4bob2o54bo3bo4bob2o45bo3bo4bob2o45bo3bo4bob2o48bo3bo4bob2o
49bo3bo4bob2o39bobo6bo3bo4bob2o49bo3bo4bob2o37b2o5bo3bo4bob2o34b2o
5bo3bo4bob2o38b2o5bo3bo4bob2o41b2o5bo3bo4bob2o41b2o5bo3bo4bob2o35b
2o5bo3bo4bob2o35b2o5bo3bo4bob2o35b2o5bo3bo4bob2o35b2o5bo3bo4bob2o
35b2o5bo3bo4bob2o35b2o5bo3bo4bob2o112bo6b2o5bo3bo4bob2o11bo$2bo33b
o71b2o91b2o37bo5bo4bo109bo10bobo30b3o53b2o2bobo92bobo152b3o54bo43b
2o50bo4b2o532b2o426bo582bo6b2o100b3o253b2o411bobo45b3o49b2o40b2o3b
3o39b2o38b2o43b4o36b4o48b4o50b3obo60b3obo6b2o41bo5b3obo5bo36b3obo
48b3obo3b2o42b3obo43b3obo17b2o39b3obo38b3obo38b3obo46b3obo45b3obo
73b3obo35b2o38b3obo47b3obo48b3obo47b3obo42b3obo37b3obo42b3obo37b3o
bo47b3obo49b3obo60b3obo55b3obo42b3obo48b3obo47b3obo43b3obo7bo50b3o
bo38b3obo38b3obo46b3obo45b3obo73b3obo78b3obo39b2ob2ob3obo41b2o5bob
ob3obo47bob3obo35b2o3b2o2bob3obo48bo2bob3obo35bo2bob3obo40bo2bob3o
bo47bo2bob3obo44bo2bob3obo41bo2bob3obo48bo2bob3obo41bo7bo2bob3obo
6b2o52bo2bob3obo57bo2bob3obo48bo2bob3obo48bo2bob3obo51bo2bob3obo
52bo2bob3obo42b2o7bo2bob3obo52bo2bob3obo47bo2bob3obo44bo2bob3obo
48bo2bob3obo51bo2bob3obo51bo2bob3obo45bo2bob3obo45bo2bob3obo45bo2b
ob3obo45bo2bob3obo45bo2bob3obo45bo2bob3obo129bo2bob3obo$obo33bobo
163b2o34bobo3b3o214bo3b2o94b2o208bo45b2o47b3o3b2o533bo425b3o5bo
584bo304bo45bo4b2o9bo45b2o52bo9b2o50b2o72b2o47b2o55b2o53b2o4bo41bo
52bo3bo2bo39bobo7bo36bo2bo35bo2bo42bo3bo35bo3bo47bo3bo7b3o39bo3bo
60bo3bo8bo39bo6bo3bo42bo3bo48bo3bo47bo3bo43bo3bo17bobo38bo3bo38bo
3bo38bo3bo46bo3bo45bo3bo73bo3bo34bobo38bo3bo47bo3bo48bo3bo47bo3bo
42bo3bo37bo3bo42bo3bo37bo3bo47bo3bo49bo3bo60bo3bo55bo3bo42bo3bo48b
o3bo47bo3bo43bo3bo6bo51bo3bo38bo3bo38bo3bo46bo3bo45bo3bo73bo3bo78b
o3bo39b2ob2obo3bo40b2o6bobobo3bo44b2obobo3bo36b2o2bobobobo3bo49bob
obo3bo36bobobo3bo41bobobo3bo48bobobo3bo45bobobo3bo42bobobo3bo49bob
obo3bo39bobo8bobobo3bo61bobobo3bo3b2o53bobobo3bo3b2o44bobobo3bo3b
2o44bobobo3bo3b2o47bobobo3bo3b2o48bobobo3bo3b2o47bobobo3bo3b2o32bo
8b2o5bobobo3bo3b2o34b4o5bobobo3bo3b2o31b4o5bobobo3bo3b2o35b4o5bobo
bo3bo3b2o38b4o5bobobo3bo3b2o38b4o5bobobo3bo3b2o32b4o5bobobo3bo3b2o
32b4o5bobobo3bo3b2o32b4o5bobobo3bo3b2o32b4o5bobobo3bo3b2o32b4o5bob
obo3bo3b2o32b4o5bobobo3bo3b2o116b4o5bobobo3bo3b2o$b2o19bo13b2o201b
2o16bobo91bo114bo304b3o42bo109bo112b2o54b2o48b2o46b2o46bobo8b2o52b
2o54b2o53b2o48b2o44b2o57b2o53b2o54b2o52b2o50b2o48bobo9b2o47bo3bo7b
2o51b2o49b2o65b2o44bo3b2o6b2o332bo74b2o44bo6bo63b2o6bo54bobo45b2o
12bobo43bo2bo52bo7bo2bo48bo2bo70bo2bo45bo2bo53bo2bo51b2o46bobo50bo
bo3b2o5bo35bo7b2o37b3o36b3o43b3o37b3o49b3o8bo42b3o62b3o57b3o44b3o
50b3o12bo36b3o45b3o18bo41b3o40b3o40b3o48b3o47b3o75b3o77b3o49b3o50b
3o49b3o44b3o39b3o44b3o39b3o49b3o51b3o62b3o57b3o44b3o50b3o49b3o45b
3o7b3o50b3o40b3o40b3o48b3o47b3o75b3o80b3o47b3o50bo3b3o45bobo3b3o
36bo7bo3b3o51bo3b3o38bo3b3o43bo3b3o50bo3b3o47bo3b3o44bo3b3o51bo3b
3o41b2o9bo3b3o11bo51bo3b3o4bobo53bo3b3o4bobo44bo3b3o4bobo44bo3b3o
4bobo47bo3b3o4bobo48bo3b3o4bobo33bo13bo3b3o4bobo32bo6bobo6bo3b3o4b
obo33bo2bo6bo3b3o4bobo30bo2bo6bo3b3o4bobo34bo2bo6bo3b3o4bobo37bo2b
o6bo3b3o4bobo37bo2bo6bo3b3o4bobo31bo2bo6bo3b3o4bobo31bo2bo6bo3b3o
4bobo31bo2bo6bo3b3o4bobo31bo2bo6bo3b3o4bobo31bo2bo6bo3b3o4bobo31bo
2bo6bo3b3o4bobo115bo2bo6bo3b3o4bobo$20b2o235b2o90bobo74bo46bo49bo
47bo47bo58bo53bo34b2o13bo45bo58bo39b2o7b2o4bo34b2o13b2o4bo39bo2bob
2o4bo45bobob2o4bo39bobob2o4bo37bobob2o4bo38b2o8bobob2o4bo38bo4bobo
b2o4bo45bobob2o4bo44bobob2o4bo39bobob2o4bo35bobob2o4bo48bobob2o4bo
44bobob2o4bo45bobob2o4bo43bobob2o4bo41bobob2o4bo40b2o9bobob2o4bo
39bo3b2o5bobob2o4bo42bobob2o4bo40bobob2o4bo56bobob2o4bo33bobo4b2o
5bobob2o4bo41b2ob2o4bo48b2ob2o4bo41b2ob2o4bo53b2ob2o4bo56bo43bobo
15bo47bo8bobo4bo37bo6bobo4bo56bobo5bobo4bo47bobobo4bo38b2o12bobobo
4bo36bo2bobo4bo44b3o6bo2bobo4bo41bo2bobo4bo63bo2bobo4bo38bo2bobo4b
o46bo2bobo4bo38bo8bo42bo3b2o47bo3b2o8b2o44bobo225bo279b2o1662b3o
97bo563b2o48b2o14bo50b2o14bo33bo7b2o14bo41b2o14bo44b2o14bo45b2o14b
o35b2o7b2o14bo31b3o7bo3b2o14bo35b2o3b2o14bo32b2o3b2o14bo36b2o3b2o
14bo39b2o3b2o14bo39b2o3b2o14bo33b2o3b2o14bo33b2o3b2o14bo33b2o3b2o
14bo33b2o3b2o14bo33b2o3b2o14bo33b2o3b2o14bo110bo6b2o3b2o14bo$21b2o
228bo6bo51bo39b2o14bo57b3o44b3o47b3o45b3o33bo4bobo4b3o56b3o51b3o
33bobo11b3o43b3o51b2o3b3o38b2o8bo3b3o33bobo9b2o2bo3b3o34bo4b2obobo
3b3o47bobo3b3o41bobo3b3o39bobo3b3o38bo11bobo3b3o36bobo6bobo3b3o47b
obo3b3o46bobo3b3o41bobo3b3o37bobo3b3o50bobo3b3o46bobo3b3o47bobo3b
3o45bobo3b3o43bobo3b3o53bobo3b3o37b3o2b2o8bobo3b3o37bo6bobo3b3o42b
obo3b3o58bobo3b3o34b2o3bo9bobo3b3o34bo7bobo3b3o47bobobo3b3o40bobob
o3b3o52bobobo3b3o54b3o43b2o9b2o3b3o48bo9bo2b3o37b3o3bo2bo2b3o51b2o
5bo4bo2bo2b3o48bo2bo2b3o53bo2bo2b3o37b2o2bo2b3o54b2o2bo2b3o42b2o2b
o2b3o58bo5b2o2bo2b3o39b2o2bo2b3o34bo12b2o2bo2b3o36b3o49b3o50b3o14b
2o33b5o42b5o34b5o41b5o35b5o47b5o49b5o60b5o55b5o42b5o12b2o34b5o11b
2o34b5o43b5o58b5o38b5o38b5o46b5o45b5o73b5o75b5o47b5o48b5o47b5o42b
5o37b5o42b5o37b5o47b5o49b5o60b5o55b5o42b5o48b5o47b5o43b5o12b2o44b
5o38b5o38b5o46b5o45b5o73b5o74bo3b5o45b5o40bo11b5o49b5o46b5o34b3o
16b5o40b5o45b5o52b5o49b5o46b5o53b5o54b5o10b2o46bo2bo3b5o55bo2bo3b
5o40b2o4bo2bo3b5o46bo2bo3b5o49bo2bo3b5o50bo2bo3b5o40b2o7bo2bo3b5o
50bo2bo3b5o45bo2bo3b5o42bo2bo3b5o46bo2bo3b5o49bo2bo3b5o49bo2bo3b5o
43bo2bo3b5o43bo2bo3b5o43bo2bo3b5o43bo2bo3b5o43bo2bo3b5o43bo2bo3b5o
117b2o8bo2bo3b5o$152b2o44b2o5b2o43bobo57b3o53b3o54bo3b2o41bo3b2o
40bo3bo3b2o38bo3bo3b2o32b2o2b2o4bo3b2o48bo4bo3b2o48bo3b2o33bo10bo
3b2o35b2o3bo3b2o48bobo2bo3b2o43b2obo2bo3b2o33bo9bobobo2bo3b2o33b2o
5bobo2bo3b2o44b2obo2bo3b2o38b2obo2bo3b2o36b2obo2bo3b2o31bobo13b2ob
o2bo3b2o35b2o5b2obo2bo3b2o44b2obo2bo3b2o43b2obo2bo3b2o38b2obo2bo3b
2o34b2obo2bo3b2o47b2obo2bo3b2o43b2obo2bo3b2o44b2obo2bo3b2o33bo8b2o
bo2bo3b2o40b2obo2bo3b2o50b2obo2bo3b2o31b2o16b2obo2bo3b2o36bo4b2obo
2bo3b2o39b2obo2bo3b2o55b2obo2bo3b2o46b2obo2bo3b2o33bo4bobobo2bo3b
2o45bobobo2bo3b2o38bobobo2bo3b2o50bobobo2bo3b2o40bo8bobo3b2o53bo2b
o3b2o44b3o8b2obo3b2o41bob2obo3b2o50b2o9bob2obo3b2o49bobo3b2o54bobo
3b2o39bobo3b2o56bobo3b2o44bobo3b2o54bobo9bobo3b2o41bobo3b2o33b2o
14bobo3b2o33bo3b2o46bo3b2o47bo3b2o46bo3bobo40bo3bobo32bo3bobo39bo
3bobo33bo3bobo45bo3bobo47bo3bobo58bo3bobo53bo3bobo40bo3bobo11bobo
32bo3bobo5b3o37bo3bobo41bo3bobo20b2o34bo3bobo36bo3bobo36bo3bobo44b
o3bobo43bo3bobo71bo3bobo73bo3bobo45bo3bobo46bo3bobo45bo3bobo40bo3b
obo35bo3bobo40bo3bobo35bo3bobo45bo3bobo47bo3bobo58bo3bobo53bo3bobo
40bo3bobo46bo3bobo45bo3bobo41bo3bobo10b2o44bo3bobo36bo3bobo36bo3bo
bo44bo3bobo43bo3bobo71bo3bobo72bo3bo3bobo43bo3bobo37b3o10bo3bobo
47bo3bobo44bo3bobo35bo15bo3bobo38bo3bobo43bo3bobo50bo3bobo47bo3bob
o44bo3bobo51bo3bobo35bo16bo3bobo58b2o3bo3bobo55b2o3bo3bobo38b2o6b
2o3bo3bobo37bo8b2o3bo3bobo49b2o3bo3bobo50b2o3bo3bobo49b2o3bo3bobo
40bo9b2o3bo3bobo45b2o3bo3bobo42b2o3bo3bobo46b2o3bo3bobo49b2o3bo3bo
bo49b2o3bo3bobo43b2o3bo3bobo43b2o3bo3bobo43b2o3bo3bobo43b2o3bo3bob
o43b2o3bo3bobo43b2o3bo3bobo115b2o10b2o3bo3bobo$69b2o2b2o71b2o5bo
38b2o5bo5bobo36b2o5bo56b2o3bo50b2o3bo42bo9bob2o3bo39bob2o3bo30bobo
5bobobob2o3bo36bobobob2o3bo30b2o4bo3bob2o3bo47bo3bob2o3bo41bob2obo
b2o3bo39b2obob2o3bo34bobobob2o3bo38b2o7bobobob2o3bo31bo11bobobob2o
3bo44bobobob2o3bo31b2o6bobobob2o3bo44bobobob2o3bo38bobobob2o3bo38b
obob2o3bo31b2o16bobob2o3bo44bobob2o3bo46bobob2o3bo45bobob2o3bo40bo
bob2o3bo36bobob2o3bo49bobob2o3bo45bobob2o3bo46bobob2o3bo30bobo11bo
bob2o3bo42bobob2o3bo34bo17bobob2o3bo31b2o18bobob2o3bo33b3o7bobob2o
3bo33b2o6bobob2o3bo49b2o6bobob2o3bo48bobob2o3bo30b3o4b2o2bobob2o3b
o45bo2bobob2o3bo38bo2bobob2o3bo44bo5bo2bobob2o3bo37bobo8b2ob2o3bo
32bo19bobob2o3bo53bo2bob2o3bo30b3o8bo2bob2o3bo48bo12bo2bob2o3bo49b
ob2o3bo54bob2o3bo39bob2o3bo56bob2o3bo34bo9bob2o3bo54b2o10bob2o3bo
41bob2o3bo31b2o5bo10bob2o3bo31bob2o3bo44bob2o3bo45bob2o3bo7b2o35bo
b2o3bo39bob2o3bo31bob2o3bo38bob2o3bo32bob2o3bo44bob2o3bo46bob2o3bo
57bob2o3bo52bob2o3bo39bob2o3bo11bo33bob2o3bo5bo38bob2o3bo40bob2o3b
o20bobo32bob2o3bo35bob2o3bo35bob2o3bo43bob2o3bo42bob2o3bo70bob2o3b
o21b2o49bob2o3bo44bob2o3bo45bob2o3bo44bob2o3bo39bob2o3bo34bob2o3bo
39bob2o3bo34bob2o3bo44bob2o3bo46bob2o3bo37bo19bob2o3bo52bob2o3bo
39bob2o3bo45bob2o3bo44bob2o3bo40bob2o3bo12bo42bob2o3bo35bob2o3bo
35bob2o3bo43bob2o3bo42bob2o3bo70bob2o3bo75bob2o3bo42bob2o3bo49bob
2o3bo46bob2o3bo43bob2o3bo34bo15bob2o3bo37bob2o3bo42bob2o3bo49bob2o
3bo46bob2o3bo43bob2o3bo50bob2o3bo33bobo15bob2o3bo62bob2o3bo59bob2o
3bo50bob2o3bo38bo11bob2o3bo53bob2o3bo54bob2o3bo53bob2o3bo40b2o12bo
b2o3bo49bob2o3bo46bob2o3bo50bob2o3bo53bob2o3bo53bob2o3bo47bob2o3bo
47bob2o3bo47bob2o3bo47bob2o3bo47bob2o3bo47bob2o3bo131bob2o3bo$22bo
46bobo2bo71bobob3o39bobob3o6bo38bobob3o56bo2b3o50bo2b3o44bo9bo2b3o
33bo2bo4bo2b3o32b2o2bo3bo3bo2b3o36bobo3bo2b3o41bobob3o48bo3bobob3o
42b2obobobob3o37bobobobobob3o33bobobobobob3o38bobo5bobobobobob3o
33b2o2b2o3bobobobobob3o43bobobobobob3o38bobobobobob3o33bo9bobobobo
bob3o39bobobobob3o39bobobob3o32bo17bobobob3o32b2o11bobobob3o40b2o
5bobobob3o39b2o5bobobob3o41bobobob3o37bobobob3o50bobobob3o46bobobo
b3o47bobobob3o32b2o11bobobob3o35bo7bobobob3o35bobo15bobobob3o31bo
20bobobob3o44bobobob3o34b2o6bobobob3o50b2o6bobobob3o49bobobob3o42b
obobob3o49bobobob3o35bo6bobobob3o43bobo8bobobob3o39b2o2b2o7bob3o
31bobo20bo2bob3o55b2o2bob3o33bo9b2o2bob3o63b2o2bob3o52bob3o57bob3o
35b2o5bob3o59bob3o36bo10bob3o69bob3o44bob3o40bo11bob3o31bo2bob3o
44bo2bob3o45bo2bob3o7b2o35bo2bob3o39bo2bob3o31bo2bob3o38bo2bob3o
32bo2bob3o44bo2bob3o46bo2bob3o57bo2bob3o52bo2bob3o39bo2bob3o45bo2b
ob3o7bo36bo2bob3o40bo2bob3o21bo33bo2bob3o35bo2bob3o35bo2bob3o43bo
2bob3o42bo2bob3o58b3o9bo2bob3o22bobo47bo2bob3o44bo2bob3o45bo2bob3o
44bo2bob3o39bo2bob3o34bo2bob3o39bo2bob3o34bo2bob3o44bo2bob3o46bo2b
ob3o39b2o16bo2bob3o52bo2bob3o39bo2bob3o45bo2bob3o44bo2bob3o40bo2bo
b3o55bo2bob3o35bo2bob3o35bo2bob3o43bo2bob3o42bo2bob3o70bo2bob3o75b
o2bob3o42bo2bob3o49bo2bob3o46bo2bob3o43bo2bob3o50bo2bob3o37bo2bob
3o42bo2bob3o40bo8bo2bob3o46bo2bob3o43bo2bob3o50bo2bob3o35b2o14bo2b
ob3o12b2o48bo2bob3o59bo2bob3o50bo2bob3o37b3o5bo4bo2bob3o48bo4bo2bo
b3o49bo4bo2bob3o38b2o8bo4bo2bob3o40bobo6bo4bo2bob3o44bo4bo2bob3o
41bo4bo2bob3o45bo4bo2bob3o48bo4bo2bob3o48bo4bo2bob3o42bo4bo2bob3o
42bo4bo2bob3o42bo4bo2bob3o42bo4bo2bob3o42bo4bo2bob3o42bo4bo2bob3o
126bo4bo2bob3o17bo$20b2o49b3o74bobo43bobo49bobo59bobo53bobo44b3o
10bobo35b4o5bobo34bo3b4o5bobo39bo5bobo42b2obobo53b2obobo48b2obobo
39b2o3b2obobo35b2o3b2obobo42bo5b2o3b2obobo34b2o4b2o2b2o3b2obobo45b
2o3b2obobo40b2o3b2obobo33bobo9b2o3b2obobo38b2obo2b2obobo42b2obobo
53b2obobo33bobo3b2o7b2obobo41bo2bo5b2obobo41bobo5b2obobo44b2obobo
40b2obobo53b2obobo49b2obobo50b2obobo48b2obobo36bobo7b2obobo37b2o
17b2obobo55b2obobo47b2obobo45b2obobo61b2obobo52b2obobo45b2obobo52b
2obobo35bobo7b2obobo46b2o9b2obobo46b2o6bobo34b2o23bobo49b2o10bobo
34bo14bobo69bobo54bobo59bobo36bobo5bobo50bo10bobo36b3o10bobo60b2ob
2o6bobo46bobo40b3o11bobo33b2obobo46b2obobo47b2obobo11bo34b2obobo
41b2obobo33b2obobo40b2obobo34b2obobo46b2obobo48b2obobo59b2obobo54b
2obobo41b2obobo47b2obobo46b2obobo42b2obobo57b2obobo37b2obobo37b2ob
obo45b2obobo44b2obobo54b2o6bo9b2obobo24bo49b2obobo46b2obobo47b2obo
bo46b2obobo41b2obobo36b2obobo41b2obobo36b2obobo46b2obobo48b2obobo
40b2o17b2obobo54b2obobo41b2obobo47b2obobo46b2obobo42b2obobo57b2obo
bo37b2obobo37b2obobo45b2obobo44b2obobo55bo16b2obobo77b2obobo44b2ob
obo51b2obobo39b3o6b2obobo45b2obobo52b2obobo39b2obobo44b2obobo43b2o
6b2obobo40bo7b2obobo45b2obobo52b2obobo41b2o10b2obobo14bobo36bo10b
2obobo48bo12b2obobo40b2o10b2obobo46bobo3b2obobo49bobo3b2obobo50bob
o3b2obobo39bobo7bobo3b2obobo50bobo3b2obobo45bobo3b2obobo42bobo3b2o
bobo46bobo3b2obobo49bobo3b2obobo49bobo3b2obobo43bobo3b2obobo43bobo
3b2obobo43bobo3b2obobo43bobo3b2obobo43bobo3b2obobo43bobo3b2obobo
17bo109bobo3b2obobo18b2o$21b2o47bo76b2o44b2o50b2o60b2o54b2o42b2o
14b2o45b2o48b2o46b2o47bo58bo35bobo15bo49bo45bo58bo41bo12bo55bo35b
2o13bo36b2o17bo40bo2bo5bo47bo58bo37bo4b2o9bo43bo2bo8bo46bo7bo49bo
45bo58bo41bo12bo55bo39b2o12bo38bobo10bo53bo7bo52bo7bo36b2o5b2o7bo
41b2o7bo38bo18b2o7bo57bo38b2o10bo57bo38b2o10bo44b2o16bo47bo7b2o60b
2o50bobo9b2o50b2o60b2ob2o5b2o47bo7b2o60b2o39bo5b2o50bobo9b2o50b2o
62b2ob2o5b2o42b3o2b2o50b3o2b2o38bo51bo52bo51bo46bo38bo45bo39bo51bo
53bo64bo59bo46bo52bo51bo47bo62bo42bo42bo50bo49bo55bobo5bo13bo79bo
51bo52bo51bo46bo41bo46bo41bo51bo53bo64bo59bo46bo52bo51bo47bo62bo
42bo42bo50bo49bo55bobo5bo13bo82bo49bo44b2o10bo43bo9bo50bo57bo44bo
49bo44b2o10bo43bo9bo50bo57bo42bobo13bo16bo36bobo13bo16bo34b2o13bo
41bo2bo12bo49bo7bo43bo6bobo7bo51bobo7bo43bo6bobo7bo51bobo7bo46bobo
7bo43bobo7bo47bobo7bo50bobo7bo50bobo7bo44bobo7bo44bobo7bo44bobo7bo
44bobo7bo44bobo7bo44bobo7bo18bo106bo2bobo7bo20bobo$71b3o36bo37bobo
43bobo49bobo59bobo53bobo41b2o14bobo35b4o5bobo34bo3b4o5bobo39bo5bob
o42b2obobo53b2obobo34b2o12b2obobo44b2obobo40b2obobo53b2obobo49b2ob
obo50b2obobo34b2o9b2obobo50b2obobo34b2o3b2o3b2obobo42b2obobo53b2ob
obo39bo8b2obobo42b2o6b2obobo45bo3b2obobo39b2o3b2obobo35b2o3b2obobo
42bo5b2o3b2obobo34b2o4b2o2b2o3b2obobo45b2o3b2obobo36bobo4b2o3b2obo
bo37bo3b2o3b2obobo35bo14bobo3b2obobo49bobo3b2obobo33bobo5bobo3b2ob
obo39bobo3b2obobo37b2o16bobo3b2obobo52b2obobo35bobo7b2obobo52b2obo
bo45b2obobo41bobo13b2obobo54bobo59bobo50bo10bobo36b3o10bobo58b2ob
2o6bobo46b2o6bobo34b2o23bobo44bobo49b2o10bobo34bo14bobo71bobo46bob
o54bobo33b2obobo46b2obobo47b2obobo46b2obobo41b2obobo33b2obobo40b2o
bobo34b2obobo46b2obobo48b2obobo40b2o17b2obobo54b2obobo41b2obobo47b
2obobo46b2obobo42b2obobo57b2obobo37b2obobo37b2obobo45b2obobo44b2ob
obo55bo16b2obobo74b2obobo46b2obobo47b2obobo11bo34b2obobo41b2obobo
36b2obobo41b2obobo36b2obobo46b2obobo48b2obobo59b2obobo54b2obobo41b
2obobo47b2obobo46b2obobo42b2obobo57b2obobo37b2obobo37b2obobo45b2ob
obo44b2obobo54b2o6bo9b2obobo24bo52b2obobo44b2obobo43b2o6b2obobo40b
o7b2obobo45b2obobo52b2obobo39b2obobo44b2obobo51b2obobo39b3o6b2obob
o45b2obobo52b2obobo42bo10b2obobo52b2o10b2obobo14bobo31b2o11b2obobo
39bo2bo9b2obobo42b2o8b2obobo39bobo7bo5b2obobo50bo5b2obobo49bo5b2ob
obo50bo5b2obobo45bo5b2obobo42bo5b2obobo46bo5b2obobo49bo5b2obobo49b
o5b2obobo43bo5b2obobo43bo5b2obobo43bo5b2obobo43bo5b2obobo43bo5b2ob
obo43bo5b2obobo16b3o102bobo3bo5b2obobo$2bo66bobo2bo29b2o2b2o36bobo
b3o6bo32bobob3o45bobob3o56bo2b3o50bo2b3o38bo15bo2b3o33bo2bo4bo2b3o
32b2o2bo3bo3bo2b3o36bobo3bo2b3o41bobob3o32bo19bobob3o32bo14bobob3o
43bobob3o39bobob3o52bobob3o48bobob3o49bobob3o31bo12bobob3o49bobob
3o31bobo9bobob3o41bobob3o48bo3bobob3o42b2obobobob3o44b2obobobob3o
44bobobobob3o37bobobobobob3o33bobobobobob3o38bobo5bobobobobob3o33b
2o2b2o3bobobobobob3o43bobobobobob3o36bo4bobobobobob3o39bobobobobob
3o31bobo15bobobobobob3o48bobobobobob3o33bo6bobobobobob3o32bo5bobob
obobob3o34b2o13b2o3bobobobobob3o49bobobob3o35bo6bobobob3o49bobobob
3o42bobobob3o41bo12bobobob3o52bob3o57bob3o59bob3o36bo10bob3o67bob
3o39b2o2b2o7bob3o31bobo20bo2bob3o31b3o4b2o2bob3o55b2o2bob3o33bo9b
2o2bob3o65b2o2bob3o44bob3o52bob3o31bo2bob3o44bo2bob3o45bo2bob3o44b
o2bob3o39bo2bob3o31bo2bob3o38bo2bob3o32bo2bob3o44bo2bob3o46bo2bob
3o39b2o16bo2bob3o52bo2bob3o39bo2bob3o45bo2bob3o44bo2bob3o40bo2bob
3o55bo2bob3o35bo2bob3o35bo2bob3o43bo2bob3o42bo2bob3o70bo2bob3o72bo
2bob3o44bo2bob3o45bo2bob3o7b2o35bo2bob3o39bo2bob3o34bo2bob3o39bo2b
ob3o34bo2bob3o44bo2bob3o46bo2bob3o57bo2bob3o52bo2bob3o39bo2bob3o
45bo2bob3o7bo36bo2bob3o40bo2bob3o21bo33bo2bob3o35bo2bob3o35bo2bob
3o43bo2bob3o42bo2bob3o58b3o9bo2bob3o22bobo50bo2bob3o42bo2bob3o40bo
8bo2bob3o46bo2bob3o43bo2bob3o50bo2bob3o37bo2bob3o42bo2bob3o49bo2bo
b3o46bo2bob3o43bo2bob3o50bo2bob3o51bo2bob3o46b2o14bo2bob3o12b2o45b
o2bob3o38b2o10bo2bob3o39bobo8bo2bob3o38b2o13bo2bob3o40bobo11bo2bob
3o53bo2bob3o54bo2bob3o49bo2bob3o46bo2bob3o50bo2bob3o53bo2bob3o53bo
2bob3o47bo2bob3o47bo2bob3o47bo2bob3o47bo2bob3o47bo2bob3o47bo2bob3o
120b2o9bo2bob3o$3bo15b2o48b2o2b2o28b2o4b2o35b2o5bo5bobo30b2o5bo44b
2o5bo56b2o3bo48bob2o3bo52bob2o3bo39bob2o3bo30bobo5bobobob2o3bo30b
2o4bobobob2o3bo40bob2o3bo31b2o18bob2o3bo46bob2o3bo42bob2o3bo38bob
2o3bo51bob2o3bo47bob2o3bo48bob2o3bo43bob2o3bo48bob2o3bo32bo9bob2o
3bo30b2o4bo3bob2o3bo47bo3bob2o3bo41bob2obob2o3bo43bob2obob2o3bo44b
2obob2o3bo39b2obob2o3bo34bobobob2o3bo38b2o7bobobob2o3bo31bo11bobob
ob2o3bo44bobobob2o3bo42bobobob2o3bo31b2o7bobobob2o3bo31b2o17bobobo
b2o3bo49bobobob2o3bo41bobobob2o3bo32b2o5bobobob2o3bo47bo2bo4bobobo
b2o3bo48bobob2o3bo41bobob2o3bo48bobob2o3bo30b3o4b2o2bobob2o3bo50bo
2bobob2o3bo48b2ob2o3bo53b2ob2o3bo55b2ob2o3bo34bo8b2ob2o3bo52b2o9b
2ob2o3bo37bobo8b2ob2o3bo32bo19bobob2o3bo32bo3bo2bob2o3bo53bo2bob2o
3bo30b3o8bo2bob2o3bo50bo12bo2bob2o3bo41bob2o3bo34b2o13bob2o3bo31bo
b2o3bo44bob2o3bo45bob2o3bo44bob2o3bo39bob2o3bo31bob2o3bo38bob2o3bo
32bob2o3bo44bob2o3bo46bob2o3bo37bo19bob2o3bo52bob2o3bo39bob2o3bo
45bob2o3bo44bob2o3bo40bob2o3bo55bob2o3bo35bob2o3bo35bob2o3bo43bob
2o3bo42bob2o3bo70bob2o3bo72bob2o3bo44bob2o3bo45bob2o3bo7b2o35bob2o
3bo39bob2o3bo34bob2o3bo39bob2o3bo34bob2o3bo44bob2o3bo46bob2o3bo57b
ob2o3bo52bob2o3bo39bob2o3bo11bo33bob2o3bo5bo38bob2o3bo40bob2o3bo
20bobo32bob2o3bo35bob2o3bo35bob2o3bo43bob2o3bo42bob2o3bo70bob2o3bo
21b2o52bob2o3bo42bob2o3bo49bob2o3bo46bob2o3bo43bob2o3bo50bob2o3bo
37bob2o3bo42bob2o3bo49bob2o3bo46bob2o3bo43bob2o3bo34bo15bob2o3bo
51bob2o3bo44bobo15bob2o3bo59bob2o3bo50bob2o3bo40bo9bob2o3bo53bob2o
3bo40b2o12bob2o3bo53bob2o3bo54bob2o3bo49bob2o3bo46bob2o3bo50bob2o
3bo53bob2o3bo53bob2o3bo47bob2o3bo47bob2o3bo47bob2o3bo47bob2o3bo47b
ob2o3bo47bob2o3bo131bob2o3bo9b2o$b3o14b2o85bo7b2o37b2o5b2o37bobo
49bobo57b3o50bo3b2o54bo3b2o41bo3b2o40bo3bo3b2o32b2o4bo3bo3b2o42bo
3b2o31bobo19bo3b2o40bo7bo3b2o44bo3b2o40bo3b2o53bo3b2o49bo3b2o50bo
3b2o45bo3b2o50bo3b2o44bo3b2o32b2o2b2o4bo3b2o48bo4bo3b2o48bo3b2o31b
2o17bo3b2o49bo3b2o33bo10bo3b2o35b2o3bo3b2o48bobo2bo3b2o43b2obo2bo
3b2o33bo9bobobo2bo3b2o43bobo2bo3b2o31bobo7bobo2bo3b2o36b2o13bobo2b
o3b2o49b2obo2bo3b2o41b2obo2bo3b2o32b2o5b2obo2bo3b2o48bo2bo3b2obo2b
o3b2o46b2obo2bo3b2o39b2obo2bo3b2o46b2obo2bo3b2o33bo4bobobo2bo3b2o
50bobobo2bo3b2o49bobo3b2o54bobo3b2o56bobo3b2o44bobo3b2o52bobo9bobo
3b2o40bo8bobo3b2o53bo2bo3b2o32bo5b2obo3b2o44b3o8b2obo3b2o41bob2obo
3b2o52b2o9bob2obo3b2o41bobo3b2o36b2o11bobo3b2o33bo3b2o46bo3b2o47bo
3b2o46bo3b2o41bo3b2o33bo3b2o40bo3b2o34bo3b2o46bo3b2o48bo3b2o59bo3b
2o54bo3b2o41bo3b2o47bo3b2o46bo3b2o42bo3b2o57bo3b2o37bo3b2o37bo3b2o
45bo3b2o44bo3b2o72bo3b2o74bo3b2o46bo3b2o47bo3b2o46bo3bobo40bo3bobo
35bo3bobo40bo3bobo35bo3bobo45bo3bobo47bo3bobo58bo3bobo53bo3bobo40b
o3bobo11bobo32bo3bobo5b3o37bo3bobo41bo3bobo20b2o34bo3bobo36bo3bobo
36bo3bobo44bo3bobo43bo3bobo71bo3bobo76bo3bobo43bo3bobo50bo3bobo47b
o3bobo44bo3bobo51bo3bobo34bo3bo3bobo43bo3bobo37b3o10bo3bobo47bo3bo
bo44bo3bobo35bo15bo3bobo52bo3bobo46bo16bo3bobo55b2o3bo3bobo46b2o3b
o3bobo46b2o3bo3bobo49b2o3bo3bobo40bo9b2o3bo3bobo49b2o3bo3bobo50b2o
3bo3bobo45b2o3bo3bobo42b2o3bo3bobo46b2o3bo3bobo49b2o3bo3bobo49b2o
3bo3bobo43b2o3bo3bobo43b2o3bo3bobo43b2o3bo3bobo43b2o3bo3bobo43b2o
3bo3bobo43b2o3bo3bobo10b3o114b2o3bo3bobo9b2o$20bo92bobo83bo51bo6bo
35b2o14bo53b3o57b3o44b3o47b3o33bo11b3o45b3o38bo17b3o36b2o3b2o8b3o
47b3o43b3o56b3o52b3o53b3o48b3o40b3o10b3o47b3o33bo4bobo4b3o56b3o51b
3o34b2o17b3o52b3o33bobo11b3o43b3o51b2o3b3o38b2o8bo3b3o33bobo9b2o2b
o3b3o42b2obobo3b3o35bo4b2obobo3b3o39b2o9b2obobo3b3o52bobo3b3o44bob
o3b3o42bobo3b3o51b2o5bobo3b3o49bobo3b3o42bobo3b3o34b2o3bo9bobo3b3o
34bo7bobo3b3o52bobobo3b3o54b3o59b3o61b3o49b3o56bo12b3o54b3o43b2o9b
2o3b3o41bo2b3o48bo9bo2b3o37b3o3bo2bo2b3o53b2o5bo4bo2bo2b3o34b2o4bo
2bo2b3o37bo9b2o2bo2b3o36b3o49b3o50b3o49b3o44b3o36b3o43b3o37b3o49b
3o51b3o62b3o57b3o44b3o50b3o49b3o45b3o60b3o40b3o40b3o48b3o47b3o75b
3o77b3o49b3o50b3o14b2o33b5o42b5o37b5o42b5o37b5o47b5o49b5o60b5o55b
5o42b5o12b2o34b5o11b2o34b5o43b5o58b5o38b5o38b5o46b5o45b5o73b5o78b
5o45b5o52b5o49b5o46b5o53b5o36bo3b5o45b5o40bo11b5o49b5o46b5o34b3o
16b5o54b5o65b5o10b2o33b3o7bo2bo3b5o46bo2bo3b5o46bo2bo3b5o40b2o7bo
2bo3b5o50bo2bo3b5o49bo2bo3b5o50bo2bo3b5o45bo2bo3b5o42bo2bo3b5o46bo
2bo3b5o49bo2bo3b5o49bo2bo3b5o43bo2bo3b5o43bo2bo3b5o43bo2bo3b5o43bo
2bo3b5o43bo2bo3b5o43bo2bo3b5o11bo115bo2bo3b5o$113bo143b2o34bobo70b
o59bo46bo49bo47bo47bo38b2o18bo35bobo3bobo9bo49bo45bo58bo54bo55bo
50bo42bo12bo49bo47bo58bo53bo33bo21bo54bo34b2o13bo45bo58bo39b2o7b2o
4bo34b2o13b2o4bo42bo2bob2o4bo40bo2bob2o4bo38bo11bo2bob2o4bo50bobob
2o4bo42bobob2o4bo40bobob2o4bo56bobob2o4bo47bobob2o4bo40bobob2o4bo
33bobo4b2o5bobob2o4bo41b2ob2o4bo53b2ob2o4bo56bo38b2o21bo44b3o16bo
51bo71bo56bo43bobo15bo39bobo4bo47bo8bobo4bo37bo6bobo4bo58bobo5bobo
4bo33bobo3bobobo4bo46bo2bobo4bo38bo51bo52bo51bo46bo38bo45bo39bo51b
o53bo64bo59bo46bo52bo51bo47bo62bo42bo42bo50bo49bo77bo79bo8bo42bo3b
2o47bo3b2o8b2o44bobo231bo279b2o803b3o97bo318b2o36bo8b2o14bo41b2o
14bo41b2o14bo35b2o7b2o14bo31b3o7bo3b2o14bo39b2o3b2o14bo40b2o3b2o
14bo35b2o3b2o14bo32b2o3b2o14bo36b2o3b2o14bo39b2o3b2o14bo39b2o3b2o
14bo33b2o3b2o14bo33b2o3b2o14bo33b2o3b2o14bo33b2o3b2o14bo33b2o3b2o
14bo33b2o3b2o14bo6bo110b2o3b2o14bo$239b2o16bobo35bo170bo190bobo56b
o374bo3b2o313bo55b3o42bo109bo115b2o50b2o60b2o59b2o51b2o49b2o65b2o
56b2o49b2o44bo3b2o6b2o219b2o67bo241bo57b2o62b2o44bo6bo65b2o6bo41bo
4bobo53bo2bo1219b2o46bobo50bobo3b2o5bo35bo7b2o37b3o39b3o44b3o39b3o
49b3o8bo42b3o62b3o57b3o44b3o50b3o12bo36b3o45b3o18bo41b3o40b3o40b3o
48b3o47b3o75b3o80b3o47b3o54b3o51b3o48b3o55b3o42b3o47b3o50bo3b3o45b
obo3b3o36bo7bo3b3o51bo3b3o52bo3b3o52b2o9bo3b3o11bo34bo13bo3b3o4bob
o44bo3b3o4bobo44bo3b3o4bobo33bo13bo3b3o4bobo32bo6bobo6bo3b3o4bobo
37bo2bo6bo3b3o4bobo38bo2bo6bo3b3o4bobo33bo2bo6bo3b3o4bobo30bo2bo6b
o3b3o4bobo34bo2bo6bo3b3o4bobo37bo2bo6bo3b3o4bobo37bo2bo6bo3b3o4bob
o31bo2bo6bo3b3o4bobo31bo2bo6bo3b3o4bobo31bo2bo6bo3b3o4bobo31bo2bo
6bo3b3o4bobo31bo2bo6bo3b3o4bobo31bo2bo6bo3b3o4bobo115bo2bo6bo3b3o
4bobo$13b2o10b3o82b2o44b2o80bobo3b3o160b2o52bo3b2o94b2o532bobo312b
2o54bo45b2o47b3o3b2o440b3o458bo4b2o62bo193bo345bo55b2o814b2o405b2o
4bo41bo52bo3bo2bo39bobo7bo36bo2bo38bo2bo43bo3bo37bo3bo47bo3bo7b3o
39bo3bo60bo3bo8bo39bo6bo3bo42bo3bo48bo3bo47bo3bo43bo3bo17bobo38bo
3bo38bo3bo38bo3bo46bo3bo45bo3bo73bo3bo34bobo41bo3bo45bo3bo52bo3bo
49bo3bo46bo3bo53bo3bo40bo3bo39b2ob2obo3bo40b2o6bobobo3bo44b2obobo
3bo36b2o2bobobobo3bo49bobobo3bo50bobobo3bo50bobo8bobobo3bo58bobobo
3bo3b2o44bobobo3bo3b2o44bobobo3bo3b2o47bobobo3bo3b2o32bo8b2o5bobob
o3bo3b2o38b4o5bobobo3bo3b2o39b4o5bobobo3bo3b2o34b4o5bobobo3bo3b2o
31b4o5bobobo3bo3b2o35b4o5bobobo3bo3b2o38b4o5bobobo3bo3b2o38b4o5bob
obo3bo3b2o32b4o5bobobo3bo3b2o32b4o5bobobo3bo3b2o32b4o5bobobo3bo3b
2o32b4o5bobobo3bo3b2o32b4o5bobobo3bo3b2o32b4o5bobobo3bo3b2o116b4o
5bobobo3bo3b2o$13bobo9bo83bobo43b2o83bo5bo4bo53bo10bobo87bobo52b2o
2bobo92bobo532bo268bo44bobo55bo43b2o50bo4b2o441bo464b2o247bo6b2o
147b3o191b2o875b2o410bobo45b3o49b2o40b2o3b3o39b2o41b2o44b4o38b4o
48b4o50b3obo60b3obo6b2o41bo5b3obo5bo36b3obo48b3obo3b2o42b3obo43b3o
bo17b2o39b3obo38b3obo38b3obo46b3obo45b3obo73b3obo35b2o41b3obo45b3o
bo52b3obo49b3obo46b3obo53b3obo40b3obo39b2ob2ob3obo41b2o5bobob3obo
47bob3obo35b2o3b2o2bob3obo48bo2bob3obo49bo2bob3obo52bo7bo2bob3obo
6b2o49bo2bob3obo48bo2bob3obo48bo2bob3obo42b2o7bo2bob3obo52bo2bob3o
bo51bo2bob3obo52bo2bob3obo47bo2bob3obo44bo2bob3obo48bo2bob3obo51bo
2bob3obo51bo2bob3obo45bo2bob3obo45bo2bob3obo45bo2bob3obo45bo2bob3o
bo45bo2bob3obo45bo2bob3obo129bo2bob3obo$13bo12bo84bo45bo87bo5b2o
51b2o10b2o90bo51bobo99bo6bo678b3o103bo8b2o152b2o43bo4bo442bo56b3o
171b2o232bo240b2o7b2o5bobo148bo137bo52b2o47b3o3b2o820bo412b2o46bo
98bo281bo64bo8b2o2b2o34b3o8bo6bobo37bo52bo4bo2bo43bob2o44bob2o19b
2o38bob2o39bob2o39bob2o47bob2o46bob2o74bob2o33bo45bob2o46bob2o53bo
b2o50bob2o47bob2o54bob2o32bo8bob2o46bob2o38bo8bo5bob2o31bobo11bo4b
ob2o42bo4bob2o43bobo3bo4bob2o46bo3bo4bob2o57bo3bo4bob2o4bobo47bo3b
o4bob2o45bo3bo4bob2o45bo3bo4bob2o39bobo6bo3bo4bob2o49bo3bo4bob2o
41b2o5bo3bo4bob2o42b2o5bo3bo4bob2o37b2o5bo3bo4bob2o34b2o5bo3bo4bob
2o38b2o5bo3bo4bob2o41b2o5bo3bo4bob2o41b2o5bo3bo4bob2o35b2o5bo3bo4b
ob2o35b2o5bo3bo4bob2o35b2o5bo3bo4bob2o35b2o5bo3bo4bob2o35b2o5bo3bo
4bob2o35b2o5bo3bo4bob2o119b2o5bo3bo4bob2o11bo$152b2o96bobo51bobo
10bo32b2o62bo153b2o680bo103b2o7bobo50b2o44bo54bobo55bo102b3o379b2o
7bo172b2o471bobo6bobo155bo138b2o53bo48bo2bobo1228b2o52bo42b2o54bo
121bo7b2o40b2o8bo41b2o3b2o47b2o8bo54b3o13bobo43bo7b2o37bo10bo41bo
3b2o2b2o42bo2bobo42bo2bobo18bobo36bo2bobo37bo2bobo37bo2bobo35bo9bo
2bobo44bo2bobo72bo2bobo77bo2bobo44bo2bobo51bo2bobo48bo2bobo45bo2bo
bo52bo2bobo32b2o5bo2bobo44bo2bobo51bo2bobo31b2o10b2o3bo2bobo40b2o
3bo2bobo42b2o3b2o3bo2bobo44bo3b2o3bo2bobo55bo3b2o3bo2bobo3bo48bo3b
2o3bo2bobo43bo3b2o3bo2bobo43bo3b2o3bo2bobo40bo5bo3b2o3bo2bobo47bo
3b2o3bo2bobo40b2o4bo3b2o3bo2bobo41b2o4bo3b2o3bo2bobo36b2o4bo3b2o3b
o2bobo33b2o4bo3b2o3bo2bobo37b2o4bo3b2o3bo2bobo40b2o4bo3b2o3bo2bobo
40b2o4bo3b2o3bo2bobo34b2o4bo3b2o3bo2bobo34b2o4bo3b2o3bo2bobo34b2o
4bo3b2o3bo2bobo34b2o4bo3b2o3bo2bobo34b2o4bo3b2o3bo2bobo34b2o4bo3b
2o3bo2bobo118b2o4bo3b2o3bo2bobo9b2o$151bobo101b3o3bo87bobo61b2o54b
2o97bobo670b2o6bo3b2o98bobo3b2o55bobo43b2o53bo57b2o8bo94bo380b2o5b
o172bo475bo63b3o236bobo101bo5bo3b2o1222b2o48b3o45bobo89b3o48bo35bo
6b2o40bo7b2o42bo3bobo3bo4bo38bo8bo55bo15bo45b2o45b2o7b2o42b2o2bo
47b2o2bo4bobo36b2o2b2o18bo38b2o3bo37b2o3bo37b2o3bo36b2o7b2o3bo45b
2o2bo73b2o2bo35bobo39bobo2bo44bobo2bo51bobo2bo48bobo2bo45bobo2bo
52bobo2bo31b2o6bobo2bo30b3o11bobo2bo51bobo2bo31bo16bobo2bo31bo4bo
8bobo2bo52bobo2bo44b2o7bobo2bo55b2o7bobo2bo52b2o7bobo2bo43b2o7bobo
2bo43b2o7bobo2bo46b2o7bobo2bo47b2o7bobo2bo46b2o7bobo2bo47b2o7bobo
2bo42b2o7bobo2bo39b2o7bobo2bo43b2o7bobo2bo46b2o7bobo2bo46b2o7bobo
2bo40b2o7bobo2bo40b2o7bobo2bo39bo9bobo2bo39bo9bobo2bo39bo9bobo2bo
39bo9bobo2bo123bo9bobo2bo9bobo$153bo101bo4b2o47bo41bo61bobo52b2o
772b2o9bobo103bobo54bo44bobo47b3o60bobo7b2o93bo3b2o375bo17b3o392b
2o308bo250b3o97bobo1223bo49bo39b2o4bo93bo47b2o33b3o49bo7b2o4bo37bo
3bo4b2o3bobo37bo7b3o160b2o10b2o39b2o6bo43b2o9b2o35b2o61b2o5b2o34b
2o5b2o34b2o5b2o34b2o6b2o5b2o6bo41b2o10bo65bobo33b2o39b2obobo44b2ob
obo51b2obobo48b2obobo45b2obobo52b2obobo39b2obobo33bo10b2obobo51b2o
bobo48b2obobo33bo2b2o7b2obobo35b2o15b2obobo53b2obobo64b2obobo61b2o
bobo52b2obobo52b2obobo55b2obobo39b2o15b2obobo55b2obobo56b2obobo51b
2obobo48b2obobo52b2obobo55b2obobo55b2obobo49b2obobo49b2obobo39bo9b
2obobo39bo9b2obobo39bo9b2obobo39bo9b2obobo123bo9b2obobo15b3o$256bo
3bobo46bobo158bo770bo11bo105bo151bo67b2o3bobo96bobo392bo294b2o97bo
bo307bo112b2o137bo85b2o12bo1274bo39bobo97bo3b2o43bobo83b2o13bobo
34b2o7bobo3b2o37b2o169bobo50bobo5b2o42bobo10bo34bobo60bobo42bo42bo
50bo11b2o53bo67b2o34bo43bo49bo56bo53bo50bo57bo44bo33bo3b2o10bo56bo
41bo11bo32b3o2bobo10bo37b2o18bo58bo69bo66bo57bo57bo60bo39bobo19bo
60bo61bo56bo38b2o13bo42b2o13bo45b2o13bo45b2o13bo39b2o13bo39b2o13bo
39bo14bo39bo6b2o6bo39bo6b2o6bo39bo6b2o6bo123bo6b2o6bo16bo$309b2o
255b3o844b2o97bo65bobo102bo390b2o3bo6bo285b2o100bo419bobo127b3o8bo
85b2o1328bo101bobo143b2o96bo164bo52bo51bo47bo62bo43bob2o39bob2o47b
ob2o9b2o52b3o96b2o351b2o47bobo52b2o48b2o3b2o99bo435bo185bo51bo2bo
54bobo58bobo58bobo52bobo52bobo52bo8b2o44bo7b2o45bo7b2o45bo7b2o122b
2o5bo7b2o24bo$568bo843bobo165bo492bobo9b2o287bo521bo127bo95bo1340b
2o90bo40bo46bo52b2o100b2o71b2o101b2o56b3o150bo37b2ob2o38b2ob2o40b
2o4b2obobo161bobo349b2o48bo53bobo47bobo3bobo541b2o171b2o3b2o51bo2b
o54b2o59b2o58bo54bo54bo54bo9bobo42bo54bo54bo131bobo4bo$567bo846bo
660bo9bobo714b2o221bo104b3o7b2o1314bo4bobo130b2o46bo50b2o101bobo
69bobo101bobo55bo46b2o103b2o119b2o5b2o7bo67b3o85bo6bo353bo97b2o4bo
49bo112bo434bobo169bobo3bobo51b2o111bo63bo54bo54bo54bo10bo43bo54bo
54bo9b2o123bo3bo9b2o$309b2o1247b2o1241b2o329bo7bobo1312b2o4bo131bo
bo3b2o39b3o52bo89b2o83bo39b3o9bo49bo49b2o7bo44b2o97b3o4bobo119b2o
3bo77bo85b2o458bobo167b2o8bo424bo173bo171bo61bo54bo54bo11b2o41bo7b
2o45bo54bo9b2o43bo9bobo126bo9bobo$308b2o1247bobo1231b3o9bo327bo8bo
1314bobo141bobo182bobo125bo8b2o39b3o57bobo53bo98bo83bo3b2o3bo32bo
21b2o61bo85b2o459bo8bo157bobo7b2o659b3o106b3o61b2o53b2o11b2o40b2o
6bo3b2o41b2o5bobo45b2o53b2o7bo2bo2b2o38b2o9bo127b2o9bo$93bo216bo
1248bo1233bo1805bo45b2o139bo124bo9bobo40bo57bo153bo46b2o36b2o2b2o
2b2o54bobo34b2o16b2o96b2o450b2o11b2o162b2o3bobo658bo240bobo47b2o
54bo53b3o54b2o3bobo204b2o$92b2o2698bo3b2o1847bobo315bo215b3o41bobo
34bobo6bobo53bo37b2o10bo3b2o97bobo448bobo11bobo160bobo665bo239bo
48bobo110bo50b2o7bo205b2o$92bobo463b3o2235bobo1654b3o189bo533bo43b
o138bo11b2o5bo96bo452bo176bo901b2o163bo50bobo173b2o13b3o24bo$560bo
2235bo212bo1445bo183b3o273b2o263bo38b2o153bobo1452bo52b2o125bobo
166b3o47bo174b2o14bo9bo$559bo2449b2o1443bo186bo272bobo301bobo45b3o
206b2o1351b2o53b2o126bo166bo223bo5b2o8bo10b2o$2643b2o363bobo1629bo
275bo303bo47bo205bobo1351bobo51bo296bo229b2o17bobo$2644b2o2621bo
208bo1410bo520bo$2643bo2274bo1967bobo$4835bo81b2o505b2o1400b3o56bo
2bo$4445b3o387b2o80bobo505b2o1401bo57b2o$4447bo386bobo38bo548bo
1402bo$4446bo427b2o583b3o$4874bobo582bo1419b2o$5460bo1361b2o56b2o$
5471bo1349bobo55bo$5470b2o1351bo$5433b3o34bobo$5435bo$5434bo11b2o
1893b2o$5445bobo1894b2o$5447bo1893bo3$5430bo$5430b2o$5429bobo12$
5487b2o$5486b2o$5488bo!
What do you do with ill crystallographers? Take them to the mono-clinic!
User avatar
calcyman
 
Posts: 2089
Joined: June 1st, 2009, 4:32 pm

Re: Shinjuku: a database of glider syntheses

Postby Hdjensofjfnen » April 26th, 2019, 11:39 pm

Shinjuku? You mean the giant station in Tokyo that I've gotten lost in multiple times? Sounds fitting for the number of glider syntheses that exist.
That that is, is. That that is not, is not. Is that it? It is.
A predecessor to my favorite oscillator of all time:
x = 7, y = 5, rule = B3/S2-i3-y4i
4b3o$6bo$o3b3o$2o$bo!
User avatar
Hdjensofjfnen
 
Posts: 1297
Joined: March 15th, 2016, 6:41 pm
Location: r cis θ

Re: Shinjuku: a database of glider syntheses

Postby dvgrn » May 15th, 2019, 12:40 pm

I just ran the comparison again between LifeWiki and Shinjuku. Looks like things are staying pretty well aligned -- only ten articles needed updating in the LifeWiki. I've fixed those, so as of right now it should all be up to date.

Shinjuku doesn't seem to be behind the times anywhere at all at this point, relative to the LifeWiki. The only places where the comparison script reports a better cost are eight oscillators where a variant with a different stator can be synthesized more cheaply:

Twin_bees_shuttle   xp46_033y133zzzckgsxsgkczz0cc   LifeWiki=7   Catagolue=8
Hertz_oscillator   xp8_gg0gba9jz11078987066zx3213   LifeWiki=11   Catagolue=64
Light_bulb   xp2_3p606p3z0c95d   LifeWiki=11   Catagolue=30
Silver%27s_p5   xp5_wftsw6246z32   LifeWiki=14   Catagolue=19
Tanner%27s_p46   xp46_wbdz0ggy2bdz2ddy125b8ozz066wc4ozy311   LifeWiki=15   Catagolue=19
Bipole_tie_pseudo-barberpole   xp10_y8oga13zy2g0k413zwo0a02z32   LifeWiki=22   Catagolue=23
1-2-3-4   xp4_xgiligz321egage123zy11   LifeWiki=28   Catagolue=29
Gray_counter   xp4_wgiligz25a888a52zx252   LifeWiki=30   Catagolue=32

These articles all give the apgcode for the standard variant of the oscillator, not the cheap variant. Seems to me that that amounts to false advertising, now that a specific apgcode is included as a standard identifier in the infobox.

How about we change the above articles so that the synthesis cost matches the actual pattern shown in the infobox -- and then add an embedded viewer showing the cheaper synthesis for the variant?

The apgcodes for those variants should get mentioned in the embedded-viewer caption, with a link to the appropriate Catagolue page. And Catagolue/Shinjuku should be told about those syntheses, of course, if they aren't in there already. Maybe the embedded viewer isn't really necessary if there's not much to say about the synthesis -- just a link to the Catagolue object page, might be enough, since there will be a LifeViewer synthesis there.
User avatar
dvgrn
Moderator
 
Posts: 5833
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: Shinjuku: a database of glider syntheses

Postby dvgrn » May 30th, 2019, 7:32 am

I could use some suggestions about how to proceed, for a couple of recipe improvements that I've tried and failed to move into the Shinjuku/Catagolue synthesis database.

First, I've submitted to Catagolue a way of building xp2_07y066z111w444we (part of this larger constellation, which in turn must be used to build some symmetric oscillator or other) in 8 gliders instead of 9:

x = 175, y = 41, rule = B3/S23
bo$2bo$3o12$96bo$94b2o$95b2o74bo$162bo3b3o2bo$163bo7bo$161b3o2$98bo74b
o$98bo74bo$98bo74bo$10b2o13bo138b3o$9bobo12b2o140bo$11bo12bobo70b3o65b
o6b3o3$94b3o$94bo$95bo7$71b2o$70bobo$72bo!

Yesterday Catagolue wasn't admitting that there's a known 9-glider recipe for this constellation at all. Today the old 9-glider synthesis shows up, no sign of an 8-glider one, and of course Catagolue is also not reducing the cost of xp2_0sy07w222z444x66x2i2zw444wey03 from 18 to 17, as I was thinking it would. What exactly is happening here, and how would I work around it?

(Also, what would be a good way of finding the final target object for which this constellation is an intermediate step? It would be nice to be able to navigate in Catagolue to earlier steps in the synthesis tree from any given constellation or object page, and later steps if there are any.)

Second, I've also tried sending in a few chunks of RLE like this, to divide up the synthesis for xs17_gbaik8zc93
into its actual stages:

RLE is well-formed and has a population of 135 and a size of 429 bytes.
RLE is sufficiently small to post to Catagolue:

x = 0, y = 0, rule = B3/S23
193bo$191bobo$192b2o$2o68b2o64b2o68b2o$o69bo65bo69bo$2bo69bo65bo69bo$b
2o68b2o64b2o68b2o$o2b2o65bo2b2o61bo2b2o65bo2b2o$b2o2bo65b2o2bo61b2o2bo
65b2o2bo$4b2o68b2o64b2o68b2o3$76b2o61b2ob2o65b2ob2o$76bobo59bobobobo
63bobobobo$4b2o72bo60bo4bo64bo3bo$3bobo72b2o64b2o$5bo$10bo$9b2o56b2o$
4b2o3bobo56b2o$5b2o60bo$4bo137bo$142b2o$141bobo50b2o31bo$10b3o180bobo
30b2o$10bo184bo30bobo$11bo2$223b2o$223bobo$223bo!

RLE has been successfully saved in the Datastore.

That didn't work, so I've stopped trying this kind of thing for now. The only way I can see to fix this kind of combined synthesis is to find an improvement somewhere in the chain, and trigger a successful replacement that way. (?)

Third, somewhat related: yesterday I looked at just the first five soups for xp8_ggwo46awjjgz1pg81g1x20436zw12iiwkp87w33zy011 and came up with a thoroughly uninspired synthesis. Couldn't seem to find a decent cleanup without running a gencols search, so I put one in that takes just about one glider per piece of junk (except two blocks with one glider to start out). Quite possibly there's a better reaction to start with instead, hiding in the later soups.

The problem here is that the second stage has gliders that have to wait more than 200 ticks before interacting. What should be done in cases like this? I tried submitting a continuous synthesis instead of an incremental one, and that seems to have gotten the recipe into the database okay:

RLE is well-formed and has a population of 180 and a size of 738 bytes.
RLE is sufficiently small to post to Catagolue:

x = 0, y = 0, rule = B3/S23
14bo$12bobo$13b2o10$262bo$261bo$261b3o2$27bo$25bobo$26b2o7$246bo$245bo
$245b3o$206bo$206bobo16bobo$206b2o17b2o$226bo5$29bo$30b2o$29b2o17$29bo
163bobo$30bo162b2o$28b3o163bo11$55bo$56b2o$55b2o27$109bo$107bobo$108b
2o6$126bo$127b2o$126b2o37bo$164bo$115bo48b3o$116b2o$115b2o4$152bobo$
152b2o$153bo4$132bo$132bobo$132b2o3$156bobo$156b2o$157bo$122bo$123bo$
121b3o$140b3o$140bo$141bo$106bo$106b2o$105bobo3$130b2o$129bobo$131bo4$
110bo$110b2o$109bobo4$147b2o$146b2o$97b3o48bo$99bo$98bo37b2o$135b2o$
137bo6$154b2o$154bobo$154bo27$207b2o$206b2o$208bo11$69bo163b3o$69b2o
162bo$68bobo163bo17$233b2o$232b2o$234bo5$37bo$37b2o17b2o$36bobo16bobo$
57bo$16b3o$18bo$17bo7$236b2o$236bobo$236bo2$3o$2bo$bo10$249b2o$249bobo
$249bo!

RLE has been successfully saved in the Datastore.

As a multi-stage synthesis I think the second stage might have run into trouble.
User avatar
dvgrn
Moderator
 
Posts: 5833
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: Shinjuku: a database of glider syntheses

Postby Ian07 » June 1st, 2019, 9:19 pm

dvgrn wrote:Shinjuku doesn't seem to be behind the times anywhere at all at this point, relative to the LifeWiki. The only places where the comparison script reports a better cost are eight oscillators where a variant with a different stator can be synthesized more cheaply:

Twin_bees_shuttle   xp46_033y133zzzckgsxsgkczz0cc   LifeWiki=7   Catagolue=8
Hertz_oscillator   xp8_gg0gba9jz11078987066zx3213   LifeWiki=11   Catagolue=64
Light_bulb   xp2_3p606p3z0c95d   LifeWiki=11   Catagolue=30
Silver%27s_p5   xp5_wftsw6246z32   LifeWiki=14   Catagolue=19
Tanner%27s_p46   xp46_wbdz0ggy2bdz2ddy125b8ozz066wc4ozy311   LifeWiki=15   Catagolue=19
Bipole_tie_pseudo-barberpole   xp10_y8oga13zy2g0k413zwo0a02z32   LifeWiki=22   Catagolue=23
1-2-3-4   xp4_xgiligz321egage123zy11   LifeWiki=28   Catagolue=29
Gray_counter   xp4_wgiligz25a888a52zx252   LifeWiki=30   Catagolue=32


As you've probably already seen, I fixed all of these a few days ago, but this list seems to be incomplete, as it doesn't include pages such as Crown in which there is a synthesis for a variant of the oscillator, but none at all on Catagolue for the canonical version.
Ian07
 
Posts: 311
Joined: September 22nd, 2018, 8:48 am

Re: Shinjuku: a database of glider syntheses

Postby dvgrn » June 1st, 2019, 10:48 pm

Ian07 wrote:... this list seems to be incomplete, as it doesn't include pages such as Crown in which there is a synthesis for a variant of the oscillator, but none at all on Catagolue for the canonical version.

Yes, that last time around I might not have done the best job of reporting the apgcodes that were missing from one list but not from the other.

That part of the comparison is semi-manual at the moment. I'll try to finish automating that properly for the next time I run and check in the script. Looks like you fixed the Crown article so that it won't show up on a proper comparison, but it sounds like there are others along the same lines.
User avatar
dvgrn
Moderator
 
Posts: 5833
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: Shinjuku: a database of glider syntheses

Postby Ian07 » August 21st, 2019, 1:46 am

A few days ago I submitted the following component to Catagolue:
x = 11, y = 11, rule = B3/S23
2o5b2o$o7bo$b3ob3o$3bobo3$9bo$8b2o$3b3o2bobo$5bo$4bo!

This doesn't reduce the cost of xs17_31e88gzc8711, which already costs 6G by a completely different method, but it did reduce the cost of all the cloverleaf +n variants to 10 gliders or less, and I presumed that transfer.py would detect this component and find other syntheses it could reduce using it. However, AGreason (the guy who ran it on August 5th) informed me on Discord that transfer.py actually only looks at still lifes and also only looks at the minpaths for those still lifes. I can't really be bothered to manually find a still life that this component reduces. (after all, doesn't that sort of defeat the purpose of the script?) I feel like this should be improved if possible to look at all of the .sjk files (including comp_pool.sjk and the oscillator/spaceship ones) because there are probably several other components sitting there that transfer.py hasn't caught yet.
Ian07
 
Posts: 311
Joined: September 22nd, 2018, 8:48 am

Re: Shinjuku: a database of glider syntheses

Postby dvgrn » August 21st, 2019, 7:53 pm

The bump to this thread reminded me to run the LifeWiki auto-update script again.

Things are looking very good and consistent on the LifeWiki these days. There wasn't much at all that the script felt a need to complain about, just one RLE page with a missing header (now fixed). It generated a few dozen new .rle and .cells files, and those are all uploaded to the server now.

There were just a couple of syntheses that the LifeWiki has that Shinjuku doesn't know about:

'6-engine_Cordership', '6enginecordership', 'xq96_yk573w8aegvzyzy133zyzy9oozyao0ovogoy14440g8gzyb6ug101y61ycgggy2gw66zg8880gxg8gx4874w11yl231w4578fz34440d9ac8lya2552zyhoozy1ooggy1aghh92yc763zx77glhf2ymgmknozy5ggy9kscx8o0szy511ye11123zydcc', '37'
'Washing_machine', 'washingmachine', 'xp2_md321pmz1221321 ', 8 gliders

... along with
'Noah%27s_ark', 'noahsark', 'yl1344_2_1118_c2aaaf958f8f412c06554ab3e40b8749', 6 gliders
'Period-156_glider_gun', 'p156gun', 'yl78_1_20_ce2bb2c697ad330277935c32ef179035', 14 gliders

but I think it's been mentioned before that Catagolue/Shinjuku isn't really set up to collect syntheses for infinite-growth patterns at the moment.

Are there any other cases left on the LifeWiki along the lines of Crown, mentioned a few posts up, where the script should really be reporting a problem but is missing some subtlety of synthesis -- like the glider count being for one variant and the apgcode being for another variant?

Side note: I've figured out more or less why some auto-generated .cells files are sometimes showing up with blank spaces between the comment lines, and sometimes not (for the same file). It appears that the code that splits existing RLE comments into separate lines --

  for line in html.split("\n"):  # collect any comments and add them to .cells file

-- doesn't work quite the same if the RLE file in question has single-character Unix newlines vs. Windows-style two-character newlines. So after chopping up the HTML on \n, each line was sometimes left with a single trailing \0D character, resulting in a weird hybrid newline separator \0D\0D\0A. I think some text editors display this as two consecutive newlines, where others count it as just a single newline.

... Something like that, anyway. So now I have to do a survey of .cells files on the server and see how many of them have this problem. Arrgh. I think new .cells files will be generated correctly now, at least.
User avatar
dvgrn
Moderator
 
Posts: 5833
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: Shinjuku: a database of glider syntheses

Postby Ian07 » August 21st, 2019, 8:14 pm

dvgrn wrote:There were just a couple of syntheses that the LifeWiki has that Shinjuku doesn't know about:

'6-engine_Cordership', '6enginecordership', 'xq96_yk573w8aegvzyzy133zyzy9oozyao0ovogoy14440g8gzyb6ug101y61ycgggy2gw66zg8880gxg8gx4874w11yl231w4578fz34440d9ac8lya2552zyhoozy1ooggy1aghh92yc763zx77glhf2ymgmknozy5ggy9kscx8o0szy511ye11123zydcc', '37'
'Washing_machine', 'washingmachine', 'xp2_md321pmz1221321 ', 8 gliders

I was a bit confused as to why washing machine was on this list, then I realized that there was a space after the apgcode, which has now been fixed.

dvgrn wrote:Are there any other cases left on the LifeWiki along the lines of Crown, mentioned a few posts up, where the script should really be reporting a problem but is missing some subtlety of synthesis -- like the glider count being for one variant and the apgcode being for another variant?

I'm pretty sure those have all been taken care of, as otherwise the script would have recorded that the LifeWiki synthesis is cheaper than on Shinjuku. EDIT: Forget I said this, I misunderstood what you were saying here and I have no idea if there are any of those remaining.
Ian07
 
Posts: 311
Joined: September 22nd, 2018, 8:48 am


Return to General Discussion

Who is online

Users browsing this forum: No registered users and 4 guests