1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE: Revision history

27 September 2025

• curprev 04:4304:43, 27 September 2025‎ Int-y1 talk contribs‎ m 1,807 bytes +16‎ add category BB(6)

9 September 2025

• curprev 05:3805:38, 9 September 2025‎ Int-y1 talk contribs‎ m 1,791 bytes −1‎ double space

25 August 2025

• curprev 09:1009:10, 25 August 2025‎ Int-y1 talk contribs‎ m 1,792 bytes +1‎ coq -> rocq

9 August 2025

• curprev 07:2107:21, 9 August 2025‎ Int-y1 talk contribs‎ 1,791 bytes +70‎ add approximation of 4th occasion

8 August 2025

• curprev 22:4922:49, 8 August 2025‎ ADucharme talk contribs‎ 1,721 bytes +80‎ move and expand futility of simulation discussion Tag: Visual edit

6 August 2025

• curprev 23:3423:34, 6 August 2025‎ ADucharme talk contribs‎ 1,641 bytes −6‎ →‎Analysis by mxdys: second typo fix Tag: Visual edit
• curprev 18:2218:22, 6 August 2025‎ ADucharme talk contribs‎ m 1,647 bytes +2‎ formula typo fix Tag: Visual edit
• curprev 09:4809:48, 6 August 2025‎ Int-y1 talk contribs‎ 1,645 bytes +479‎ add more info about (0,0,c) and (0,1,c)
• curprev 09:2909:29, 6 August 2025‎ Polygon talk contribs‎ 1,166 bytes +22‎ Added Category:Cryptids
• curprev 08:1408:14, 6 August 2025‎ Int-y1 talk contribs‎ 1,144 bytes +200‎ proven in coq and lean

5 August 2025

• curprev 22:1122:11, 5 August 2025‎ ADucharme talk contribs‎ 944 bytes +112‎ simulation results Tag: Visual edit
• curprev 21:4521:45, 5 August 2025‎ ADucharme talk contribs‎ 832 bytes +102‎ adding rule 1 acceleration Tag: Visual edit
• curprev 02:4002:40, 5 August 2025‎ Int-y1 talk contribs‎ m 730 bytes −5‎ No edit summary
• curprev 02:4002:40, 5 August 2025‎ Int-y1 talk contribs‎ 735 bytes +80‎ add "Unsolved problem"

30 July 2025

• curprev 15:5915:59, 30 July 2025‎ Sligocki talk contribs‎ 655 bytes +655‎ Created page with "{{machine|1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE}} {{TM|1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE}} is a probviously halting BB(6) Cryptid analzyed by mxdys on 30 July 2025. == Analysis by mxdys == [https://discord.com/channels/960643023006490684/1239205785913790465/1400141896944320602] <pre> 1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE (a,b,c) := 0^inf 1^a 0 01^b 0 11^c+1 B> 0^inf (a,2+b,c) --> (a,b,3+c) (a+1,0,c) --> (a,c,2) (a+1,1,c) --> (a,c,6) (0,0,c..."