Status
Width 2 : Proof completed in early 2024
Width 3 : Proof completed in early 2024
Width 4 : Proof completed on July 10th, 2026
Width 5 : In progress, see below
Note : The number of missing transformations is only indicative and might sometimes increase with progress.
Organisation of the proofs
We consider all possible ends for width-N still-lifes in a tree where nodes at depth X have X rows in common. We find components that produce such ends from strictly shorter ones, and make sure that they work in all contexts. If we have one such component, we mark the corresponding node as solved. If all paths from the root of the tree must pass through a solved node, the proof is complete.
Indeed, to find a synthesis for a given width-N still-life from this set of components, one just has to find the solved node corresponding to its end in the tree, then to apply the component to produce this still-life from a shorter one, an repeat this process until the synthesis starts from vacuum. By induction and finiteness of the target still-life, this will always happen.
The resulting synthesis may look like this. Note that some extensions come in several steps.
Code: Select all
x = 3179, y = 65, rule = B3/S23
1158bo$1156bobo$1157b2o$1775bo$1202bo572bobo$1201bo573b2o$1201b3o3$
1152bo9bo$1150bobo7bobo8bo$1151b2o8b2o9bo93bo499bo$1170b3o91bobo500b2o
$706bo558b2o499b2o17bo$274bo429b2o1078bo151bo$275bo400bo28b2o1077b3o
150bo$273b3o398bobo8bo3bobo459bo116bo666b3o$675b2o9bo3b2o457bobo41bo
72bobo499bo1154bo$684b3o3bo15bo443b2o16bo22b2o74b2o500bo1151bobo$705bo
460bobo23b2o573b3o1152b2o$692bo12b3o459b2o510bo$692bobo983bo94bobo$
692b2o984b3o92b2o$1774bo860bo102bo189bo$490bobo1173bo870bo98b2o92bo8b
2o185bobo7bo$491b2o94bo884bo91bo102b2o193bo675b2o95b2o94b2o5b2o187b2o
6bo$491bo3bobo87bobo882bobo92bo100b2o192bobo674b2o191b2o203b3o$495b2o
89b2o197bo685b2o90b3o295b2o192bobo92bobo89bo11bo483bo191bobo94bobo$
489bo6bo289bo388bo105bo774b2o93b2o87bobo9b2o90bo96bo193b2o101b2o191b2o
95b2o101bo$392bobo92bobo294b3o389b2o101b2o87bo191bo490bo4bo94bo89b2o
10b2o90b2o95bo94b2o95bobo100bobo191bo96bo100b2o$2bo98b2o290b2o93b2o
685b2o103b2o87b2o97bo92bo104bo191bo193b2o290b2o94b3o93bobo97bo493b2o$
3bo96bo2bo289bo974b2o99bo89b3o102bobo91bo100bo191b2o94bo390bo485bo$b3o
96bo2bo103bo98bo98bo98bo91b2o5bo91b2o5bo84b2o3b2ob2o4bo89b2ob2o4bo89b
2ob2o4bo89b2ob2o4bo89b2ob2o4bo89b2ob2o4bo85b2o2b2ob2o4bo71b3o11b2o2b2o
b2o4bo82b2ob2o2b2ob2o4bo71b2o9b2ob2o2b2ob2o4bo63bobo12b2o2b2ob2o2b2ob
2o4bo65b3o11b2ob2ob2o2b2ob2o4bo76b2ob2ob2ob2o2b2ob2o4bo66bo9b2ob2ob2ob
2o2b2ob2o4bo59b2o10b2o3b2ob2ob2ob2o2b2ob2o4bo68b2ob2o3b2ob2ob2ob2o2b2o
b2o4bo64b2o2b2ob2o3b2ob2ob2ob2o2b2ob2o4bo64b2o2b2ob2o3b2ob2ob2ob2o2b2o
b2o4bo64b2o2b2ob2o3b2ob2ob2ob2o2b2ob2o4bo55bo8b2o2b2ob2o3b2ob2ob2ob2o
2b2ob2o4bo60b2o2b2o2b2ob2o3b2ob2ob2ob2o2b2ob2o4bo61bo2b2o2b2ob2o3b2ob
2ob2ob2o2b2ob2o4bo61bo2b2o2b2ob2o3b2ob2ob2ob2o2b2ob2o4bo45b2o10b2o2bo
2b2o2b2ob2o3b2ob2ob2ob2o2b2ob2o4bo54b2ob2o2bo2b2o2b2ob2o3b2ob2ob2ob2o
2b2ob2o4bo$101b2o103bobo96bobo96bobo91b2o3bobo91bo4bobo89bobo4bobo82bo
bo4bobo4bobo89bobo4bobo87bobobo4bobo87bobobo4bobo87bobobo4bobo87bobobo
4bobo84bo2bobobo4bobo84bo2bobobo4bobo82bobo2bobobo4bobo82bobo2bobobo4b
obo63b2o12bobo2bobo2bobobo4bobo78bo3bobo2bobobo4bobo76bobo3bobo2bobobo
4bobo66b2o8bobo3bobo2bobobo4bobo57b2o11bo5bobo3bobo2bobobo4bobo68bobo
5bobo3bobo2bobobo4bobo63b2o3bobo5bobo3bobo2bobobo4bobo62bobo3bobo5bobo
3bobo2bobobo4bobo55bo8bo3bobo5bobo3bobo2bobobo4bobo54b2o4b2o2bo3bobo5b
obo3bobo2bobobo4bobo59bobo2bo3bobo5bobo3bobo2bobobo4bobo59bobo2bo3bobo
5bobo3bobo2bobobo4bobo59bobo2bo3bobo5bobo3bobo2bobobo4bobo43b2o11bo2bo
bo2bo3bobo5bobo3bobo2bobobo4bobo54bobo2bobo2bo3bobo5bobo3bobo2bobobo4b
obo$207bo96bobo93b2obobo92bobobobo92bobobobo89bo2bobobobo85bo3bo2bobob
obo83bo4bobobobobobo88bobobobobobo88bobobobobobo74b3o11bobobobobobo88b
obobobobobo86bobobobobobobo86bobobobobobobo67b2o12bobo2bobobobobobobo
82bo3bobobobobobobo80bobo3bobobobobobobo80bobo3bobobobobobobo75bobo2bo
bo3bobobobobobobo66b2o4b2obobo2bobo3bobobobobobobo62b3o8bobobo2bobo3bo
bobobobobobo69bo3bobobo2bobo3bobobobobobobo53b2o14bo3bobobo2bobo3bobob
obobobobo54bo9bo4bo3bobobo2bobo3bobobobobobobo56b2o4b3o4bo3bobobo2bobo
3bobobobobobobo54bobo4bob2o4bo3bobobo2bobo3bobobobobobobo63b2o4bo3bobo
bo2bobo3bobobobobobobo60bo2b2o4bo3bobobo2bobo3bobobobobobobo60bo2b2o4b
o3bobobo2bobo3bobobobobobobo48b3o7bobo2b2o4bo3bobobo2bobo3bobobobobobo
bo39b2o14bo2bobo2b2o4bo3bobobo2bobo3bobobobobobobo$bo101bo200b2o94b2ob
2o94b2ob2o94b2ob2o90b2o2b2ob2o90b2o2b2ob2o82bobo4b2o3b2ob2o90bo3b2ob2o
90bo3b2ob2o77bo2b2o8bo3b2ob2o79b3o5b2obo3b2ob2o88bobo3b2ob2o75b2o9b2ob
2o3b2ob2o67bobo12b2o2b2ob2o3b2ob2o69b3o11b2ob2ob2o3b2ob2o80b2ob2ob2ob
2o3b2ob2o69b2o9b2ob2ob2ob2o3b2ob2o76b2o2b2ob2ob2ob2o3b2ob2o73b2ob2o2b
2ob2ob2ob2o3b2ob2o65bo7b2ob2o2b2ob2ob2ob2o3b2ob2o69b2o2b2ob2o2b2ob2ob
2ob2o3b2ob2o53bobo13b2o2b2ob2o2b2ob2ob2ob2o3b2ob2o56b2o11b2o2b2ob2o2b
2ob2ob2ob2o3b2ob2o56bobo4bo5b2o2b2ob2o2b2ob2ob2ob2o3b2ob2o69b2o2b2ob2o
2b2ob2ob2ob2o3b2ob2o69b2o2b2ob2o2b2ob2ob2ob2o3b2ob2o60b2o7b2o2b2ob2o2b
2ob2ob2ob2o3b2ob2o60b2o7b2o2b2ob2o2b2ob2ob2ob2o3b2ob2o51bo8b2o7b2o2b2o
b2o2b2ob2ob2ob2o3b2ob2o39bobo13b2o3b2o7b2o2b2ob2o2b2ob2ob2ob2o3b2ob2o$
b2o100b2o283b3o493b2o288bo4b2o4b3o90bo4bo2bo98bo83bobo91bo100bo89b3o
102bobo290bo188bo98b2o6bo580bo89bo$obo99bobo285bo787bo6bo84bo6bo5b2o
186bo191bo92bo104bo483bo101b2o284b2o$290b2o10b2o85bo197bo298b3o379bobo
484bo196b2o10b2o91b3o285b2o100bobo189b2o91bobo$198bo90bobo9b2o90b2o
192b2o299bo199b2ob3o175b2o680bobo9b2o94bo90bo193bobo194b2o95bobo93bo
292bo$199b2o90bo11bo88bobo191bobo298bo191bo8bo2bo181bo392b2o90b3o192bo
11bo92bo91b2o388bobo97bo86b2o114b2o85b2o95b2o$198b2o194bo196b3o485b2o
5bobo3bo180b2o196b2o192bobo92bo100b2o286bobo390bo183bobo114b2o84bobo
94bobo$211bo371b2o6bo486bobo5b2o77b2o105bobo97b2o12b3o83b2o193bo91bo
102b2o864bo202bo202b3o$197bo12b2o370bobo7bo398b2o171bobo3b3o200b2o11bo
84bo389bo883b3o386bo$196b2o12bobo371bo405b2o174bo5bo199bo9b2o3bo191bo
1165bo92b3o294bo$196bobo784b2o7bo178bo3b2o204bobo99b3o92b2o293b3o870bo
93bo$982bobo190bobo91b2o112bo99bo94bobo292bo856b3o106bo$984bo190bo94b
2o121bo90bo389bo857bo5b2o10bo$578b2o689bo122b2o178b3o1156bo7b2o8b2o$
577bobo812bobo179bo1163bo10bobo$579bo612bo380bo$1191b2o1031b3o$1175b2o
14bobo395b3o634bo$1176b2o411bo635bo$1175bo395b2o17bo$1201b2o369b2o$
1200b2o369bo$1188b2o12bo$1169b3o16bobo2b2o$1171bo16bo3b2o$1144bo25bo
23bo$1144b2o$1143bobo434b2o$1580bobo$1580bo!
Code: Select all
x = 920, y = 917, rule = B3/S23
913bo$913bobo$913b2o18$31bo$32b2o$31b2o3$27bobo$28b2o11bo$28bo13bo$40b
3o4$46bo$47bo$45b3o831bo$879bobo$49bo829b2o$50b2o$49b2o6$66bo$58bo8b2o
$59b2o5b2o$58b2o10$75bo$76b2o$75b2o10$86bobo$87b2o$87bo8$95bo$96b2o$
95b2o4$96bo8bo$94bobo6bobo$95b2o7b2o23$126bo689bo$127b2o686bo$126b2o
687b3o22$160bo$158bobo$159b2o2$156bo11bo$157bo11bo$155b3o9b3o$164bo$
162bobo$163b2o$169bo$167bobo$168b2o9$176bo$174bobo$175b2o14$748bobo$
748b2o$749bo4$210bobo$211b2o$211bo20bo$230bobo$231b2o526bo$207bo549b2o
$208b2o548b2o$207b2o$232bo$233b2o$232b2o$747bo$746bo$746b3o3$747bo$
745b2o$746b2o2$236bo$234bobo$221bobo11b2o$222b2o$222bo2$233bobo$234b2o
$234bo9$247bo$248b2o$247b2o2$243bo$244b2o12bobo$243b2o14b2o$259bo3$
255bo$256b2o$255b2o5$263bo$264b2o$263b2o13$293bo$294bo$292b3o3$295bo$
296bo$294b3o11$680bobo$680b2o$681bo6$297bo$298bo$296b3o$324bo$325bo$
323b3o3$661bo$661bobo$661b2o2$318bo9bo$319bo9bo$317b3o7b3o8bo$336bobo$
337b2o3$317bo$318bo$316b3o15bo316bobo$335bo315b2o$333b3o316bo9$341bobo
$342b2o$342bo13$356bobo$357b2o$357bo$367bo$368bo$366b3o6$618bo$618bobo
$377bobo13bo224b2o$378b2o7bo6bo$378bo9b2o2b3o$387b2o231bo$618b2o$605bo
bo11b2o$605b2o$606bo2$386bobo$387b2o$387bo5$400bo$398bobo$399b2o198bo$
599bobo$396bo202b2o$397b2o$396b2o2$403bo$404b2o$403b2o10$409bo$410b2o$
409b2o32$453bo$454bo$452b3o$445bo$446b2o$445b2o100$452bo$452b2o$451bob
o3$450b2o$449bobo$451bo6$570bo$556bo12b2o$555b2o12bobo$555bobo5$426bo
147b2o$426b2o146bobo$425bobo146bo22$399b2o$398bobo$400bo2$403b3o$405bo
$404bo9$387b3o$389bo$388bo216b2o$384bo219b2o$384b2o220bo$383bobo4$379b
o$379b2o$378bobo3$369b2o$368bobo$370bo14$359b2o$360b2o$359bo2$638b2o$
340b2o295b2o6b2o$339bobo3bo12b2o279bo4b2o$341bo3b2o2b3o5bobo286bo$344b
obo4bo7bo$350bo5$331b3o3b2o$333bo2bobo$332bo5bo$634b3o$634bo$635bo3$
651b2o$342bo307b2o$342b2o308bo$341bobo$661bo$660b2o$660bobo$336b2o309b
3o3bo$335bobo309bo4b2o$337bo310bo3bobo$310b2o$311b2o$310bo12$304b2o$
303bobo$305bo4$300b2o$301b2o$300bo3$297bo$297b2o$296bobo28$267b2o452b
3o$258bo9b2o451bo$258b2o7bo9b2o443bo$257bobo16bobo$278bo$246bo481bo$
246b2o479b2o$245bobo11b2o466bobo$258bobo$260bo2$728b2o$727b2o$729bo3$
728b3o$728bo$729bo$256b2o$257b2o$256bo$231b2o$232b2o506b2o$231bo507b2o
$255b2o484bo$254bobo$235bo20bo$219b2o14b2o$220b2o12bobo$219bo2$223b2o$
224b2o505bo$223bo506b2o$730bobo8$210bo$210b2o$209bobo4$211b2o$210bobo$
212bo2$764b2o$763b2o$765bo2$767bo$191b3o572b2o$193bo572bobo$192bo26$
160bo8b2o$160b2o8b2o$159bobo7bo4$158b2o$157bobo$159bo33$110bo$110b2o$
109bobo8$100bo$100b2o$99bobo2$104b3o$106bo$105bo2$86b3o$88bo755b3o$87b
o756bo$845bo$90b2o$91b2o$90bo3$75b2o$74bobo13b3o$76bo15bo$91bo$79bo$
79b2o$78bobo4$79b2o$78bobo$66bo13bo$66b2o$65bobo8$61b2o$60bobo$62bo$
55b2o$54bobo$56bo$875b3o$875bo$876bo$58b3o$60bo5b2o812bo$59bo7b2o810b
2o$66bo812bobo3$48b3o$50bo$49bo$56b3o$58bo$57bo4$32b2o$31bobo$33bo4$
30b2o$31b2o$30bo14$bo$b2o$obo6$918b2o$917b2o$919bo!
Contributing
To contribute, select an unsolved transformation from the most recent list. Suppose that you picked this one :
Code: Select all
x = 7, y = 4, rule = LifeHistory
3B2CBC$2BDBCBC$2BDADBC$3BCA2B!Code: Select all
x = 14, y = 9, rule = LifeHistory
.A$2.A$3A3$3.2A3B2CBCE$2.A.A2BDBCBC$4.A2BDADBC.E$5.3BCA2B2E!Code: Select all
x = 14, y = 8, rule = LifeHistory
5.9F$5.9F$3B2CBC7F$2BDBCBC7F$2BDADBC7F$3BCA2B7F$5.9F$5.9F!Code: Select all
x = 16, y = 8, rule = LifeHistory
7.9F$7.9F$3B2CB2CB7F$2BDBCBC2B7F$2BDADBCBC7F$3BCA2B2C7F$7.9F$7.9F!Verifying the proofs
One of the reasons why it took me so long before officially starting this project is that I wanted to write robust and scalable software before tackling large widths. The proofs are now entirely computer-verifiable. The software (available below) is written in C++ and relies on cpp_shinjuku and lifelib for the components, but there is also a standalone program with no dependency to verify that a transformation set covers all tree branches. There is also a practical verification : the program can use the proof to find a synthesis for any width-N still-life. Currently, I am not focusing on performance (which should suffice up to width at least 6 for the components and width 9 for the enumeration of transformations), but rather the readability, robustness and user-friendliness of the code. Please post any suggestion or bug in this thread.
If you have good programming skills, you are welcome to contribute an independant verification tool, even partial, or to look for bugs in my verification code.
History of the project
I began the project no later than February 2024, even before I joined the forums. The proof for width-2 still-lifes was found by hand entirely, and checked with help from JLS. For the proof of width-3 still-lifes, completed a few days later, I used a more systematic approach, still with JLS. The resulting proof was quite nice and optimised, but very hard to check (note that I modified the syntax of transformations since) :
Code: Select all
x = 408, y = 376, rule = LifeHistory
332.A$333.A$331.3A7$318.D$318.D$318.D$318.D$62.2D43.D210.D$61.D45.D
210.D$61.D13.D31.D210.D$61.D3.2CB8.D8.2CB7.2DB9.D240.2A2.2A.2DB$61.D
3.2C6.5D7.2CB7.2DB9.D239.A.A.2A2.2DB$61.D3.B10.D8.4B6.4B8.D241.A3.A.
4B$61.D13.D31.D$61.D$61.D$61.D$61.D$61.D$61.D$61.D$61.D$61.D$61.D$61.
D$61.D$61.D$61.D$61.D50.2D37.4D$61.D49.D13.D28.D$61.D49.D3.2CB8.D5.2C
2B5.DC2B9.D$61.D49.D3.CBC5.5D4.CBCB5.CBCB6.4D$61.D49.D3.BC.B7.D5.BC.B
5.BC.B6.D$61.D49.D13.D25.D163.4D$61.D49.D39.4D163.D14.D20.D16.A.A$61.
D49.D206.D13.D2.D4.D4.D.D.4D2.D16.2A$61.D49.D203.4D13.D2.D4.D3.D2.D4.
D2.D16.A$61.D20.2D27.D203.D16.D2.D4.D3.D2.D4.D2.D$42.2D17.D19.D29.D
203.D16.D2.D4.D3.D2.D.4D2.D14.2A$41.D19.D19.D13.D15.D203.4D13.D2.D4.D
2.D3.D.D5.D15.2A$41.D3.2CB12.D20.D3.2CB8.D8.2CB3.D220.D2.D4.D2.D3.D.D
5.D14.A4.DCB$41.D3.C15.D19.D3.CB6.5D7.CB3.D221.D2.D4.D.D4.D.4D2.D19.C
BC$41.D3.B15.D19.D3.BC9.D8.BC.B2.D221.D20.D20.BC$41.D19.D19.D13.D15.D
$41.D19.D19.D29.D$41.D19.D19.D29.D$41.D19.D19.D29.D$41.D19.D19.D29.D$
41.D19.D19.D29.D$41.D19.D19.D29.D13.D25.4D$41.D19.D19.D29.D3.2CB8.D5.
2C2B5.2D2B9.D$41.D19.D19.D29.D3.C2B5.5D4.C2BC5.DABC9.D$41.D19.D19.D
29.D3.BC.B7.D5.B2CB5.B2CB6.4D$41.D19.D19.D29.D13.D28.D$41.D19.D19.D
30.2D40.D$41.D19.D19.D69.4D194.A$41.D19.D19.D265.2A$41.D19.D19.D266.
2A$41.D19.D19.D$41.D19.D19.D258.A$41.D19.D19.D259.A$41.D19.D19.D257.
3A$41.D19.D19.D$41.D19.D19.D233.4D$41.D19.D19.D236.D$41.D19.D19.D236.
D15.A4.2A$41.D19.D19.D233.4D15.2A4.2A3.2D2B$41.D19.D19.D158.D2.D74.D
14.A.A3.A5.DABCA$41.D19.D19.D100.2D56.D2.D74.D26.B2CBA$41.D19.D19.D
99.D15.D42.D2.D71.4D$41.D19.D3.2CB12.D100.D3.2CB2C8.D6.2CB2CB14.2DB2C
B9.4D$41.D19.D3.CB14.D99.D3.CB2CB5.5D5.CB2CB15.DBDCB13.D$41.D19.D3.B
15.D99.D3.5B8.D6.5B15.5B13.D$41.D20.2D17.D99.D15.D45.D$41.D39.D99.D$
41.D39.D99.D152.3A$41.D39.D99.D154.A$41.D39.D99.D153.A$41.D39.D60.2D
37.D$41.D39.D59.D13.D25.D$41.D39.D59.D3.2CBC7.D8.2CBC12.D$41.D39.D59.
D3.CBC5.5D7.CB2CB10.D$41.D39.D59.D3.3B8.D8.5B11.D$41.D39.D59.D13.D25.
D$41.D39.D59.D39.D$41.D39.D59.D39.D$41.D39.D59.D39.D58.4D$41.D39.D20.
2D37.D39.D58.D$41.D39.D19.D39.D39.D58.D139.A.A$41.D39.D19.D13.D25.D
39.D15.D42.4D136.2A$41.D39.D19.D3.2CB8.D8.2CB13.D39.D3.2CBCB8.D6.2CBC
B15.2DACB13.D137.A18.A.A$41.D39.D19.D3.CBC5.5D7.CBC12.D40.D3.CB2CB5.
5D5.CB2CB15.DB2CB13.D157.2A$41.D39.D19.D3.2B9.D8.3B13.D39.D3.5B8.D6.
6B14.6B9.4D100.D3.D52.A$41.D39.D19.D13.D25.D39.D15.D117.D2.D24.D2.D2.
D$41.D39.D19.D39.D40.2D131.D2.D24.D2.D2.D49.2A$41.D39.D19.D39.D173.D
2.D24.D2.D2.D49.A$41.D39.D19.D39.D173.4D24.D2.D2.D20.A29.A4B$41.D39.D
19.D39.D44.4D128.D24.D2.D2.D16.A.2A30.DCB2CBA$41.D39.D19.D39.D44.D
131.D24.D2.D2.D14.A.A2.2A2.5B22.DB2CB2CB$41.D39.D19.D39.D13.D30.D131.
D24.D2.D2.D15.2A6.2CB2CBA18.2A7B$41.D39.D3.2CB12.D40.D3.2C2B7.D8.2C2B
6.2D2B7.4D154.D3.D24.CADCB2C13.A4.A.A$41.D39.D3.CB14.D39.D3.CBC5.5D7.
CBCB6.DACB7.D2.D183.7B14.2A2.A$2.2D37.D39.D3.2B14.D39.D3.3B8.D8.3B2CB
4.BAB2CB5.D2.D203.2A$.D13.D25.D40.2D17.D39.D13.D30.4D$.D3.C10.D8.C15.
D59.D40.2D$.D11.5D7.C14.D60.D$.D14.D8.B15.D59.D$.D13.D25.D59.D43.4D$.
D39.D59.D46.D$.D39.D59.D13.D32.D$.D39.D59.D3.2CB8.D8.2C2B6.2D2B9.D$.D
39.D59.D3.C2B5.5D7.C2BC6.CABC9.D$.D39.D59.D3.2B9.D8.2B2CB5.AB2CB8.D$.
D39.D60.2D11.D32.D$.D39.D$.D39.D$.D39.D$.D39.D$.D39.D$.D39.D$.D39.D$.
D39.D$.D39.D$.D39.D273.4D26.A$.D39.D273.D28.A$.D39.D273.D28.3A$.D39.D
273.4D22.2A3.6B$.D39.D129.D2.D143.D21.2A4.2DACB$.D39.D79.2D48.D2.D
143.D23.A3.DB2CB$.D39.D78.D14.D35.D2.D140.4D27.6B$.D39.D78.D4.CB2CB6.
D8.CB2CB2CB6.DBDCB2CB4.4D161.3A$.D39.D78.D4.2CB2C3.5D7.2CB2CB8.2DB2CB
9.D163.A$.D39.D78.D4.4B7.D8.6B8.6B9.D162.A$.D39.D78.D14.D38.D$.D39.D
78.D$.D39.D78.D226.2A$.D39.D78.D226.A.A$.D39.D78.D226.A$.D39.D78.D$.D
39.D78.D$.D39.D78.D$.D39.D78.D$.D39.D78.D$.D39.D78.D$.D39.D78.D$.D39.
D78.D$.D39.D78.D$.D39.D78.D101.4D$.D39.D40.2D36.D41.2D58.D2.D$.D39.D
39.D13.D24.D40.D15.D44.D2.D113.A$.D39.D39.D3.CB2CB6.D8.CB2CB10.D40.D
3.CB2CBC7.D6.CB2CB2CB7.DB2DB2CB14.4D114.A3.A$.D39.D39.D3.2CBC4.5D7.2C
BC10.D41.D3.2CBCB5.5D5.2CBCBCB8.2DBDBCB15.D2.D112.3A.2A$.D39.D39.D3.
3B8.D8.4B11.D40.D3.4BC.B6.D6.4BC2B8.4BD2B15.D2.D117.2A$.D39.D39.D13.D
24.D40.D15.D44.4D89.4D$.D39.D39.D38.D40.D153.D20.2A$.D39.D39.D38.D40.
D153.D21.2A$.D39.D39.D38.D40.D153.4D17.A$.D39.D39.D38.D40.D153.D2.D
26.2D2B$.D39.D39.D38.D21.2D17.D153.D2.D26.DACBA$.D39.D39.D38.D20.D19.
D153.4D26.BAB2CB$.D39.D39.D38.D20.D3.CB2CB11.D$.D39.D39.D38.D20.D3.2C
BCB10.D$.D39.D39.D38.D20.D3.4BC.B9.D$.D39.D39.D38.D20.D19.D$.D39.D39.
D38.D20.D19.D177.2A$.D39.D39.D38.D20.D19.D176.A.A$.D39.D39.D38.D20.D
19.D64.4D110.A$.D39.D39.D38.D20.D19.D64.D2.D$.D39.D39.D38.D20.D19.D
64.D2.D$D40.D13.D25.D38.D20.D19.D15.D48.4D$.D39.D3.CB9.D8.CB2CB11.D
38.D4.CB2CB11.D19.D3.CB2C2B7.D6.CB2C2B2CB6.DB2D2B2CB20.D$.D39.D3.C7.
5D7.2CB12.D39.D4.2CBCB10.D20.D3.2CBCB5.5D5.2CBC2BCB7.2DBD2BCB21.D$.D
39.D3.B10.D8.3B13.D38.D4.4B12.D19.D3.4BC.B6.D6.4B2C2B7.4B2D2B18.4D$.D
39.D13.D25.D39.2D18.D19.D15.D$.D40.2D37.D59.D20.2D$.D79.D59.D$.D79.D
59.D$.D79.D59.D$.D79.D59.D47.4D$.D79.D59.D13.D33.D$.D79.D59.D3.CB2CB
6.D8.CB2CB5.DB2CB9.D$.D79.D59.D3.2CBCB3.5D7.2CBCB5.2DACB9.4D187.A$.D
79.D59.D3.5B6.D8.6B4.6B11.D145.D6.D33.A$.D79.D59.D13.D36.D122.4D18.D
2.4D2.D29.A2.3A$.D79.D60.2D45.4D125.D18.D2.D5.D27.A.A$.D79.D236.D18.D
2.D5.D28.2A$.D79.D236.D18.D2.4D2.D$.D79.D56.D.4D174.D18.D5.D2.D34.2D
2B$.D79.D56.D.D2.D174.D18.D5.D2.D25.A.A6.CABC$.D79.D13.D42.D.D2.D174.
D18.D2.4D2.D26.2A6.AB2CB$.D79.D3.CB2CB6.D8.CB2C3B8.DBDC3B11.D.D2.D
194.D6.D27.A$.D79.D3.2C2B4.5D7.2C2BCB9.2DABCB12.D.D2.D$.D79.D3.3B8.D
8.3B2CB9.3B2CB12.D.D2.D233.A$.D80.2D11.D42.D.4D226.A6.2A$.D368.2A4.A.
A$.D367.A.A$.D377.3A$.D101.D4.D270.A$.D43.2D56.D4.D271.A$.D42.D12.D
45.D4.D$.D42.D2.B2CB7.D8.B2CB6.B2DB22.D4.D$.D42.D2.CBC5.5D7.CBCB6.DBD
B22.D4.D$.D42.D2.BC2B7.D8.BC3B5.BD3B21.D4.D$.D42.D12.D45.D4.D$.D42.D$
.D42.D$.D42.D$.D42.D58.D.4D$.D42.D58.D4.D$.D8.2D15.D16.D12.D45.D4.D$.
D3.B4.2D5.B10.D8.BC.B3.D2.BC2B7.D8.BC3B5.BD3B21.D.4D$.D15.C7.5D7.CB4.
D3.CBC5.5D7.CBCB6.DBDB22.D.D235.D6.D$.D8.2D5.B10.D8.BC.B3.D2.BC2B7.D
8.BC3B5.BD3B21.D.D234.D2.4D2.D$.D8.2D15.D16.D12.D45.D.4D206.4D21.D2.D
5.D$.D42.D270.D2.D21.D2.D5.D$.D42.D270.D2.D21.D2.4D2.D29.CB2CB2CBA$.D
42.D270.4D21.D5.D2.D29.2CBCBCB2A$2.2D40.D270.D2.D21.D5.D2.D29.4BD2B$
44.D58.D.4D206.D2.D21.D2.4D2.D$44.D12.D45.D4.D206.4D22.D6.D$44.D2.B2C
B7.D8.B2C3B4.BDC3B20.D4.D276.A$44.D2.C2B5.5D7.C2BCB5.DABCB21.D.4D275.
2A$44.D2.B2CB7.D8.B2C3B4.BDC2B21.D4.D275.A.A$44.D12.D45.D4.D$45.2D56.
D.4D$382.3A$384.A$383.A$385.3A$385.A$386.A12$341.D6.D$315.4D21.D2.4D
2.D$315.D2.D21.D2.D5.D$315.D2.D21.D2.D5.D$315.4D21.D2.4D2.D30.CB2C2B
2CBA$318.D21.D5.D2.D30.2CBC2BCB2A$318.D21.D5.D2.D30.4B2D2B$315.4D21.D
2.4D2.D$341.D6.D$384.2A$383.2A$380.2A3.A$381.2A$380.A2$385.2A$384.2A$
386.A8$345.A$345.A.A$345.2A$343.A$341.A.A$342.2A$315.D.4D$315.D.D2.D
23.A$315.D.D2.D23.2A$315.D.D2.D22.A.A$315.D.D2.D24.DBDC3B$315.D.D2.D
24.2DABCB$315.D.4D24.3B2CB23$357.A$315.D4.D30.A5.A.A$315.D4.D31.A4.2A
$315.D4.D29.3A$315.D4.D$315.D4.D34.B2DB$315.D4.D34.DBDB$315.D4.D32.2A
BD3B$352.A.A$354.A20$353.A.A$353.2A$315.D.4D33.A$315.D4.D31.A2.BDC3B$
315.D4.D32.A.DABCB$315.D.4D30.3A.BDC2B$315.D.D$315.D.D$315.D.4D22$
349.A$350.A27.2A$315.D.4D27.3A4.BD3B17.A2.A$315.D4.D34.DBDB18.A2.A3.B
D3B$315.D4.D34.BD3B18.2A4.DBDB$315.D.4D27.A35.BD3B$315.D4.D27.2A30.A$
315.D4.D26.A.A30.2A$315.D.4D58.A.A!The width-5 still-lifes syntheses project was launched in the post below on July 14th, 2026.