https://wiki.bbchallenge.org/w/index.php?action=history&feed=atom&title=BB%283%2C3%29 2026-04-30T20:37:19Z Revision history for this page on the wiki MediaWiki 1.43.5 https://wiki.bbchallenge.org/w/index.php?title=BB(3,3)&diff=6713&oldid=prev 2026-03-28T08:23:51Z

<p>Added &quot;probable&quot; to the cryptid-ness of the probable champion</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 08:23, 28 March 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8">Line 8:</td> <td colspan="2" class="diff-lineno">Line 8:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>\end{array}&lt;/math&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>\end{array}&lt;/math&gt;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>It is believed that the [[probviously]] halting [[Cryptid]] {{TM|1RB2LC1RC_2LC---2RB_2LA0LB0RA|undecided}} beats this record, but it has not been proven.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>It is believed that the [[probviously]] halting <ins style="font-weight: bold; text-decoration: none;">probable </ins>[[Cryptid]] {{TM|1RB2LC1RC_2LC---2RB_2LA0LB0RA|undecided}} beats this record, but it has not been proven.</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Cryptids ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Cryptids ==</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-6709:rev-6713:php=table --> </table>

RobinCodes https://wiki.bbchallenge.org/w/index.php?title=BB(3,3)&diff=6709&oldid=prev 2026-03-28T07:18:00Z

<p><span class="autocomment">Certified Progress: </span> Added equivalence count</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 07:18, 28 March 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l51">Line 51:</td> <td colspan="2" class="diff-lineno">Line 51:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>On [https://discord.com/channels/960643023006490684/1259770474897080380/1325592156257124443 5 Jan 2025], @tjligocki finished an independent enumeration and filtering of the BB(3,3) machines using the established Ligocki filters. He also computed the number of steps and sigma scores for all found halting TMs. The pipeline used to solve all but 367 machines is described [https://docs.google.com/spreadsheets/d/1PU386wH1wcOpSAhU5BjJqkub7YJv5cRQ/edit?usp=share_link&amp;ouid=101978079885839753033&amp;rtpof=true&amp;sd=true here]. He completed another filtering pass on [https://discord.com/channels/960643023006490684/1259770474897080380/1352398469456859167 20 Mar 2025] ([https://docs.google.com/spreadsheets/d/1HhbgIJiVjVU_G4MP6sBSdAlixVKxCu5o/edit?usp=sharing&amp;ouid=101978079885839753033&amp;rtpof=true&amp;sd=true using some non-Ligocki deciders]) that left only 76 holdouts.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>On [https://discord.com/channels/960643023006490684/1259770474897080380/1325592156257124443 5 Jan 2025], @tjligocki finished an independent enumeration and filtering of the BB(3,3) machines using the established Ligocki filters. He also computed the number of steps and sigma scores for all found halting TMs. The pipeline used to solve all but 367 machines is described [https://docs.google.com/spreadsheets/d/1PU386wH1wcOpSAhU5BjJqkub7YJv5cRQ/edit?usp=share_link&amp;ouid=101978079885839753033&amp;rtpof=true&amp;sd=true here]. He completed another filtering pass on [https://discord.com/channels/960643023006490684/1259770474897080380/1352398469456859167 20 Mar 2025] ([https://docs.google.com/spreadsheets/d/1HhbgIJiVjVU_G4MP6sBSdAlixVKxCu5o/edit?usp=sharing&amp;ouid=101978079885839753033&amp;rtpof=true&amp;sd=true using some non-Ligocki deciders]) that left only 76 holdouts.</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>On [https://discord.com/channels/960643023006490684/1259770474897080380/1344554618188730368 26 Feb 2025], @mxdys published a list of 19 holdouts that withstood state-of-the-art Rocq deciders. Some of these machines already had fairly rigorous or even full Rocq proofs for non-halting, which were integrated into a 12 TM Rocq holdout list published on [https://discord.com/channels/960643023006490684/1259770474897080380/1409402854292066335 24 Aug 2025.] Then, on 27 Aug 2025, @mxdys certified two more machines in Rocq, lowering the Rocq holdout list to 10 TMs. Afterwards, on [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 30 Aug 2025], @mxdys certified one more machine in Rocq, lowering the Rocq holdout list to 9 TMs. The three remaining machines with moderate-rigor arguments were believed to never halt due to [[Longitudinal Analysis|longitudinal analysis]] by @Legion. @mxdys formally showed these holdouts to be non-halting on [https://discord.com/channels/960643023006490684/1259770474897080380/1482680295357677651 15 March 2026], uniting the informal and formal holdout lists at 6 TMs.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>On [https://discord.com/channels/960643023006490684/1259770474897080380/1344554618188730368 26 Feb 2025], @mxdys published a list of 19 holdouts that withstood state-of-the-art Rocq deciders. Some of these machines already had fairly rigorous or even full Rocq proofs for non-halting, which were integrated into a 12 TM Rocq holdout list published on [https://discord.com/channels/960643023006490684/1259770474897080380/1409402854292066335 24 Aug 2025.] Then, on 27 Aug 2025, @mxdys certified two more machines in Rocq, lowering the Rocq holdout list to 10 TMs. Afterwards, on [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 30 Aug 2025], @mxdys certified one more machine in Rocq, lowering the Rocq holdout list to 9 TMs. The three remaining machines with moderate-rigor arguments were believed to never halt due to [[Longitudinal Analysis|longitudinal analysis]] by @Legion. @mxdys formally showed these holdouts to be non-halting on [https://discord.com/channels/960643023006490684/1259770474897080380/1482680295357677651 15 March 2026], uniting the informal and formal holdout lists at 6 TMs<ins style="font-weight: bold; text-decoration: none;">, or 4 TMs when considering the non-Rocq-proven equivalences</ins>.</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Holdouts ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Holdouts ==</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-6636:rev-6709:php=table --> </table>

RobinCodes https://wiki.bbchallenge.org/w/index.php?title=BB(3,3)&diff=6636&oldid=prev 2026-03-15T21:10:36Z

<p>Updated Certified Progress</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 21:10, 15 March 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l51">Line 51:</td> <td colspan="2" class="diff-lineno">Line 51:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>On [https://discord.com/channels/960643023006490684/1259770474897080380/1325592156257124443 5 Jan 2025], @tjligocki finished an independent enumeration and filtering of the BB(3,3) machines using the established Ligocki filters. He also computed the number of steps and sigma scores for all found halting TMs. The pipeline used to solve all but 367 machines is described [https://docs.google.com/spreadsheets/d/1PU386wH1wcOpSAhU5BjJqkub7YJv5cRQ/edit?usp=share_link&amp;ouid=101978079885839753033&amp;rtpof=true&amp;sd=true here]. He completed another filtering pass on [https://discord.com/channels/960643023006490684/1259770474897080380/1352398469456859167 20 Mar 2025] ([https://docs.google.com/spreadsheets/d/1HhbgIJiVjVU_G4MP6sBSdAlixVKxCu5o/edit?usp=sharing&amp;ouid=101978079885839753033&amp;rtpof=true&amp;sd=true using some non-Ligocki deciders]) that left only 76 holdouts.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>On [https://discord.com/channels/960643023006490684/1259770474897080380/1325592156257124443 5 Jan 2025], @tjligocki finished an independent enumeration and filtering of the BB(3,3) machines using the established Ligocki filters. He also computed the number of steps and sigma scores for all found halting TMs. The pipeline used to solve all but 367 machines is described [https://docs.google.com/spreadsheets/d/1PU386wH1wcOpSAhU5BjJqkub7YJv5cRQ/edit?usp=share_link&amp;ouid=101978079885839753033&amp;rtpof=true&amp;sd=true here]. He completed another filtering pass on [https://discord.com/channels/960643023006490684/1259770474897080380/1352398469456859167 20 Mar 2025] ([https://docs.google.com/spreadsheets/d/1HhbgIJiVjVU_G4MP6sBSdAlixVKxCu5o/edit?usp=sharing&amp;ouid=101978079885839753033&amp;rtpof=true&amp;sd=true using some non-Ligocki deciders]) that left only 76 holdouts.</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>On [https://discord.com/channels/960643023006490684/1259770474897080380/1344554618188730368 26 Feb 2025], @mxdys published a list of 19 holdouts that withstood state-of-the-art Rocq deciders. Some of these machines already had fairly rigorous or even full Rocq proofs for non-halting, which were integrated into a 12 TM Rocq holdout list published on [https://discord.com/channels/960643023006490684/1259770474897080380/1409402854292066335 24 Aug 2025.] Then, on 27 Aug 2025, @mxdys certified <del style="font-weight: bold; text-decoration: none;">2 </del>more machines in Rocq, lowering the Rocq holdout list to 10 TMs. Afterwards, on [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 30 Aug 2025], @mxdys certified one more machine in Rocq, lowering the Rocq holdout list to 9 TMs. <del style="font-weight: bold; text-decoration: none;">All 3 of the </del>machines <del style="font-weight: bold; text-decoration: none;">that have a </del>moderate rigor arguments <del style="font-weight: bold; text-decoration: none;">are </del>believed to never halt due to [[Longitudinal Analysis|longitudinal analysis]] by @Legion.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>On [https://discord.com/channels/960643023006490684/1259770474897080380/1344554618188730368 26 Feb 2025], @mxdys published a list of 19 holdouts that withstood state-of-the-art Rocq deciders. Some of these machines already had fairly rigorous or even full Rocq proofs for non-halting, which were integrated into a 12 TM Rocq holdout list published on [https://discord.com/channels/960643023006490684/1259770474897080380/1409402854292066335 24 Aug 2025.] Then, on 27 Aug 2025, @mxdys certified <ins style="font-weight: bold; text-decoration: none;">two </ins>more machines in Rocq, lowering the Rocq holdout list to 10 TMs. Afterwards, on [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 30 Aug 2025], @mxdys certified one more machine in Rocq, lowering the Rocq holdout list to 9 TMs. <ins style="font-weight: bold; text-decoration: none;">The three remaining </ins>machines <ins style="font-weight: bold; text-decoration: none;">with </ins>moderate<ins style="font-weight: bold; text-decoration: none;">-</ins>rigor arguments <ins style="font-weight: bold; text-decoration: none;">were </ins>believed to never halt due to [[Longitudinal Analysis|longitudinal analysis]] by @Legion<ins style="font-weight: bold; text-decoration: none;">. @mxdys formally showed these holdouts to be non-halting on [https://discord.com/channels/960643023006490684/1259770474897080380/1482680295357677651 15 March 2026], uniting the informal and formal holdout lists at 6 TMs</ins>.</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Holdouts ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Holdouts ==</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l72">Line 72:</td> <td colspan="2" class="diff-lineno">Line 72:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>On 30 Aug 2025, @mxdys [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 proved in Rocq] that {{TM|1RB2RB1LC_1LA2RB0RB_2LB---0LA|undecided}} (867) is non-halting. LegionMammal had previously provided some [https://discord.com/channels/960643023006490684/1084047886494470185/1256634331464601640 longitudinal analysis that implied non-halting].</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>On 30 Aug 2025, @mxdys [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 proved in Rocq] that {{TM|1RB2RB1LC_1LA2RB0RB_2LB---0LA|undecided}} (867) is non-halting. LegionMammal had previously provided some [https://discord.com/channels/960643023006490684/1084047886494470185/1256634331464601640 longitudinal analysis that implied non-halting].</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>On <del style="font-weight: bold; text-decoration: none;">16 </del>March 2026, @mxdys [https://discord.com/channels/960643023006490684/1259770474897080380/1482680295357677651 formalised] into Rocq the following informal results:</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>On <ins style="font-weight: bold; text-decoration: none;">15 </ins>March 2026, @mxdys [https://discord.com/channels/960643023006490684/1259770474897080380/1482680295357677651 formalised] into Rocq the following informal results:</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB2LB0LC_2LA2RA1RB_---2LA1LC|undecided}} (650) ([https://cosearch.bbchallenge.org/contribution/32099ui7 cosearch]). [https://discord.com/channels/960643023006490684/1259770474897080380/1290044219481657476 Longitudinal analysis (with extra typo disclaimer) by @Legion implies non-halting]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB2LB0LC_2LA2RA1RB_---2LA1LC|undecided}} (650) ([https://cosearch.bbchallenge.org/contribution/32099ui7 cosearch]). [https://discord.com/channels/960643023006490684/1259770474897080380/1290044219481657476 Longitudinal analysis (with extra typo disclaimer) by @Legion implies non-halting]</div></td></tr> </table>

ADucharme https://wiki.bbchallenge.org/w/index.php?title=BB(3,3)&diff=6634&oldid=prev 2026-03-15T15:25:05Z

<p>remove now-outdated sentence</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 15:25, 15 March 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>The 3-state, 3-symbol Busy Beaver problem, '''BB(3,3)''', is unsolved. With the discovery of the [[Cryptids|Cryptid]] machine [[Bigfoot]] in October 2023, we now know that we must solve a [[Collatz-like]] problem in order to solve BB(3,3) and thus [https://www.sligocki.com/2023/10/16/bb-3-3-is-hard.html BB(3,3) is Hard]<del style="font-weight: bold; text-decoration: none;">. There are nine holdouts unproven in Rocq, three of which are believed to never halt</del>. Of the remaining six with unknown behavior, there are two pairs of holdouts with equivalent behavior, so, in effect, there are four holdouts remaining.  </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>The 3-state, 3-symbol Busy Beaver problem, '''BB(3,3)''', is unsolved. With the discovery of the [[Cryptids|Cryptid]] machine [[Bigfoot]] in October 2023, we now know that we must solve a [[Collatz-like]] problem in order to solve BB(3,3) and thus [https://www.sligocki.com/2023/10/16/bb-3-3-is-hard.html BB(3,3) is Hard]. Of the remaining six with unknown behavior, there are two pairs of holdouts with equivalent behavior, so, in effect, there are four holdouts remaining.  </div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>The current BB(3,3) [[Champions#3-Symbol TMs|champion]] {{TM|0RB2LA1RA_1LA2RB1RC_1RZ1LB1LC|halt}} was discovered by [[User:tjligocki|Terry]] and [[User:sligocki|Shawn Ligocki]] in November 2007, proving the lower bounds:</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>The current BB(3,3) [[Champions#3-Symbol TMs|champion]] {{TM|0RB2LA1RA_1LA2RB1RC_1RZ1LB1LC|halt}} was discovered by [[User:tjligocki|Terry]] and [[User:sligocki|Shawn Ligocki]] in November 2007, proving the lower bounds:</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-6633:rev-6634:php=table --> </table>

Qwertyasdf https://wiki.bbchallenge.org/w/index.php?title=BB(3,3)&diff=6633&oldid=prev 2026-03-15T15:17:27Z

<p><span class="autocomment">Holdouts: </span> descriptor</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 15:17, 15 March 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l60">Line 60:</td> <td colspan="2" class="diff-lineno">Line 60:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Unsolved ===</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Unsolved ===</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB1LB2LC_1LA2RB1RB_---0LA2LA|undecided}} (397)</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB1LB2LC_1LA2RB1RB_---0LA2LA|undecided}} (397)<ins style="font-weight: bold; text-decoration: none;">, similar to Wily Coyote</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB0LB0RC_2LC2LA1RA_1RA1LC---|undecided}} (153, equivalent to 758), potential Cryptid</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB0LB0RC_2LC2LA1RA_1RA1LC---|undecided}} (153, equivalent to 758), potential Cryptid</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LC1RC_2LC---2RB_2LA0LB0RA|undecided}} (758, equivalent to 153)</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LC1RC_2LC---2RB_2LA0LB0RA|undecided}} (758, equivalent to 153)</div></td></tr> </table>

Qwertyasdf https://wiki.bbchallenge.org/w/index.php?title=BB(3,3)&diff=6631&oldid=prev 2026-03-15T15:16:24Z

<p><span class="autocomment">Solved with moderate rigor: </span> upt mxdys formalisation</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 15:16, 15 March 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l67">Line 67:</td> <td colspan="2" class="diff-lineno">Line 67:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Solved with moderate rigor ===</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Solved with moderate rigor ===</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">* {{TM|1RB2LB0LC_2LA2RA1RB_---2LA1LC|undecided}} (650) ([https://cosearch.bbchallenge.org/contribution/32099ui7 cosearch]). [https://discord.com/channels/960643023006490684/1259770474897080380/1290044219481657476 Longitudinal analysis (with extra typo disclaimer) by @Legion implies non-halting]</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">''None''</ins></div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">* {{TM|1RB1LC1LC_1LA2RB0RB_2LB---0LA|undecided}} (412) ([https://cosearch.bbchallenge.org/contribution/f9gdw0mg cosearch]). [https://discord.com/channels/960643023006490684/1259770474897080380/1279055891559223399 Longitudinal analysis by @Legion implies non-halting]</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">* {{TM|1RB0RC---_2RC0LB1LB_2LC2RA2RB|undecided}} (279). [https://discord.com/channels/960643023006490684/1084047886494470185/1256729514076016733 Longitudinal analysis by @Legion implies non-halting] </del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Formally proven ===</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Formally proven ===</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>On 30 Aug 2025, @mxdys [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 proved in Rocq] that {{TM|1RB2RB1LC_1LA2RB0RB_2LB---0LA|undecided}} (867) is non-halting. LegionMammal had previously provided some [https://discord.com/channels/960643023006490684/1084047886494470185/1256634331464601640 longitudinal analysis that implied non-halting].</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>On 30 Aug 2025, @mxdys [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 proved in Rocq] that {{TM|1RB2RB1LC_1LA2RB0RB_2LB---0LA|undecided}} (867) is non-halting. LegionMammal had previously provided some [https://discord.com/channels/960643023006490684/1084047886494470185/1256634331464601640 longitudinal analysis that implied non-halting].</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">On 16 March 2026, @mxdys [https://discord.com/channels/960643023006490684/1259770474897080380/1482680295357677651 formalised] into Rocq the following informal results:</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*{{TM|1RB2LB0LC_2LA2RA1RB_---2LA1LC|undecided}} (650) ([https://cosearch.bbchallenge.org/contribution/32099ui7 cosearch]). [https://discord.com/channels/960643023006490684/1259770474897080380/1290044219481657476 Longitudinal analysis (with extra typo disclaimer) by @Legion implies non-halting]</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* {{TM|1RB1LC1LC_1LA2RB0RB_2LB---0LA|undecided}} (412) ([https://cosearch.bbchallenge.org/contribution/f9gdw0mg cosearch]). [https://discord.com/channels/960643023006490684/1259770474897080380/1279055891559223399 Longitudinal analysis by @Legion implies non-halting]</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* {{TM|1RB0RC---_2RC0LB1LB_2LC2RA2RB|undecided}} (279). [https://discord.com/channels/960643023006490684/1084047886494470185/1256729514076016733 Longitudinal analysis by @Legion implies non-halting] </ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Interesting Rocq-Solved TMs ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Interesting Rocq-Solved TMs ==</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-5490:rev-6631:php=table --> </table>

Qwertyasdf https://wiki.bbchallenge.org/w/index.php?title=BB(3,3)&diff=5490&oldid=prev 2025-12-10T09:03:23Z

<p><span class="autocomment">Interesting Rocq-Solved TMs</span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 09:03, 10 December 2025</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l76">Line 76:</td> <td colspan="2" class="diff-lineno">Line 76:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Interesting Rocq-Solved TMs ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Interesting Rocq-Solved TMs ==</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>The following TMs have halting problems highly dependent on that of machine 816. While all TMs were solved individually, it was theoretically possible that someone solved machine 816 and solved up to five machines &quot;for free.&quot; If 816 was non-halting, then 21, 92, 683, 817, and 818 were all non-halting. If 816 halted via transition C0, then 817 halted. And if 816 halted via transition C2, then 21, 92, 683 and 818 all halted. A compilation of the various analyses can be found [https://discord.com/channels/960643023006490684/1259770474897080380/1291694606534049793 here]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>The following TMs have halting problems highly dependent on that of machine 816. While all TMs were solved individually, it was theoretically possible that someone solved machine 816 and solved up to five machines &quot;for free.&quot; If 816 was non-halting, then 21, 92, 683, 817, and 818 were all non-halting. If 816 halted via transition C0, then 817 halted. And if 816 halted via transition C2, then 21, 92, 683 and 818 all halted. A compilation of the various analyses can be found [https://discord.com/channels/960643023006490684/1259770474897080380/1291694606534049793 here]</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB---0LC_2LC2RC1LB_0RA2RB0LB|undecided}} (21, equivalent to 92 and 818)<del style="font-weight: bold; text-decoration: none;">. </del>[https://discord.com/channels/960643023006490684/1084047886494470185/1256634331464601640 Longitudinal analysis by @Legion implies non-halting]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB---0LC_2LC2RC1LB_0RA2RB0LB|undecided}} (21, equivalent to 92 and 818) [https://discord.com/channels/960643023006490684/1084047886494470185/1256634331464601640 Longitudinal analysis by @Legion implies non-halting]</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB---1RB_2LC2RC1LB_0RA2RB0LB|undecided}} (92, equivalent to 21 and 818)<del style="font-weight: bold; text-decoration: none;">. </del>[https://discord.com/channels/960643023006490684/1084047886494470185/1213612098232262707 Equivalence claim to 21 by @dyuan1]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB---1RB_2LC2RC1LB_0RA2RB0LB|undecided}} (92, equivalent to 21 and 818) [https://discord.com/channels/960643023006490684/1084047886494470185/1213612098232262707 Equivalence claim to 21 by @dyuan1]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RA1LB_0LC0RA1LA_2LA0RB---|undecided}} (818, equivalent to 21 and 92)</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RA1LB_0LC0RA1LA_2LA0RB---|undecided}} (818, equivalent to 21 and 92)</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LC---_0LA0RC1LC_1RB2RC1LB|undecided}} (683)</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LC---_0LA0RC1LC_1RB2RC1LB|undecided}} (683)</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RA1LB_0LC0RA1LA_---2LA---|undecided}} (816)<del style="font-weight: bold; text-decoration: none;">. </del>[https://discord.com/channels/960643023006490684/1259770474897080380/1278398402450817025 See discussion] of likely non-halting by @Rae and @Peacemaker on 28 August 2024</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RA1LB_0LC0RA1LA_---2LA---|undecided}} (816) [https://discord.com/channels/960643023006490684/1259770474897080380/1278398402450817025 See discussion] of likely non-halting by @Rae and @Peacemaker on 28 August 2024</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RA1LB_0LC0RA1LA_---2RB2LA|undecided}} (817)</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RA1LB_0LC0RA1LA_---2RB2LA|undecided}} (817)</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>These TMs were on Justin Blanchard&#039;s informal [[Holdouts lists|holdouts list]] of 22 TMs but were Rocq-decided individually [https://discord.com/channels/960643023006490684/1259770474897080380/1344554618188730368 by @mxdys] in their February 2025 release. Two other members of Justin Blanchard&#039;s list Rocq-decided by mxdys in February 2025 were {{TM|1RB2LB---_1RC2RB1LC_0LA0RB1LB|undecided}} (642) and {{TM|1RB2RB---_1LC2LB1RC_0RA0LB1RB|undecided}} (834). @-d independently generated a Rocq proof for 642 ([https://cosearch.bbchallenge.org/contribution/3wxkcx6f cosearch]), and @dyuan01 independently discovered non-halting arguments for [https://discord.com/channels/960643023006490684/1084047886494470185/1222694817771814922 642] and [https://discord.com/channels/960643023006490684/1084047886494470185/1222694817771814922 834], and noted their similarity.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>These TMs were on Justin Blanchard&#039;s informal [[Holdouts lists|holdouts list]] of 22 TMs but were Rocq-decided individually [https://discord.com/channels/960643023006490684/1259770474897080380/1344554618188730368 by @mxdys] in their February 2025 release. Two other members of Justin Blanchard&#039;s list Rocq-decided by mxdys in February 2025 were {{TM|1RB2LB---_1RC2RB1LC_0LA0RB1LB|undecided}} (642) and {{TM|1RB2RB---_1LC2LB1RC_0RA0LB1RB|undecided}} (834). @-d independently generated a Rocq proof for 642 ([https://cosearch.bbchallenge.org/contribution/3wxkcx6f cosearch]), and @dyuan01 independently discovered non-halting arguments for [https://discord.com/channels/960643023006490684/1084047886494470185/1222694817771814922 642] and [https://discord.com/channels/960643023006490684/1084047886494470185/1222694817771814922 834], and noted their similarity.</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-5489:rev-5490:php=table --> </table>

Azerty https://wiki.bbchallenge.org/w/index.php?title=BB(3,3)&diff=5489&oldid=prev 2025-12-10T09:03:06Z

<p><span class="autocomment">Interesting Rocq-Solved TMs</span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 09:03, 10 December 2025</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l78">Line 78:</td> <td colspan="2" class="diff-lineno">Line 78:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB---0LC_2LC2RC1LB_0RA2RB0LB|undecided}} (21, equivalent to 92 and 818). [https://discord.com/channels/960643023006490684/1084047886494470185/1256634331464601640 Longitudinal analysis by @Legion implies non-halting]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB---0LC_2LC2RC1LB_0RA2RB0LB|undecided}} (21, equivalent to 92 and 818). [https://discord.com/channels/960643023006490684/1084047886494470185/1256634331464601640 Longitudinal analysis by @Legion implies non-halting]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB---1RB_2LC2RC1LB_0RA2RB0LB|undecided}} (92, equivalent to 21 and 818). [https://discord.com/channels/960643023006490684/1084047886494470185/1213612098232262707 Equivalence claim to 21 by @dyuan1]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB---1RB_2LC2RC1LB_0RA2RB0LB|undecided}} (92, equivalent to 21 and 818). [https://discord.com/channels/960643023006490684/1084047886494470185/1213612098232262707 Equivalence claim to 21 by @dyuan1]</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* {{TM|1RB2RA1LB_0LC0RA1LA_2LA0RB---|undecided}} (818, equivalent to 21 and 92)</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LC---_0LA0RC1LC_1RB2RC1LB|undecided}} (683)</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LC---_0LA0RC1LC_1RB2RC1LB|undecided}} (683)</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RA1LB_0LC0RA1LA_---2LA---|undecided}} (816). [https://discord.com/channels/960643023006490684/1259770474897080380/1278398402450817025 See discussion] of likely non-halting by @Rae and @Peacemaker on 28 August 2024</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RA1LB_0LC0RA1LA_---2LA---|undecided}} (816). [https://discord.com/channels/960643023006490684/1259770474897080380/1278398402450817025 See discussion] of likely non-halting by @Rae and @Peacemaker on 28 August 2024</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RA1LB_0LC0RA1LA_---2RB2LA|undecided}} (817)</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RA1LB_0LC0RA1LA_---2RB2LA|undecided}} (817)</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">* {{TM|1RB2RA1LB_0LC0RA1LA_2LA0RB---|undecided}} (818, equivalent to 21 and 92)</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>These TMs were on Justin Blanchard&#039;s informal [[Holdouts lists|holdouts list]] of 22 TMs but were Rocq-decided individually [https://discord.com/channels/960643023006490684/1259770474897080380/1344554618188730368 by @mxdys] in their February 2025 release. Two other members of Justin Blanchard&#039;s list Rocq-decided by mxdys in February 2025 were {{TM|1RB2LB---_1RC2RB1LC_0LA0RB1LB|undecided}} (642) and {{TM|1RB2RB---_1LC2LB1RC_0RA0LB1RB|undecided}} (834). @-d independently generated a Rocq proof for 642 ([https://cosearch.bbchallenge.org/contribution/3wxkcx6f cosearch]), and @dyuan01 independently discovered non-halting arguments for [https://discord.com/channels/960643023006490684/1084047886494470185/1222694817771814922 642] and [https://discord.com/channels/960643023006490684/1084047886494470185/1222694817771814922 834], and noted their similarity.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>These TMs were on Justin Blanchard&#039;s informal [[Holdouts lists|holdouts list]] of 22 TMs but were Rocq-decided individually [https://discord.com/channels/960643023006490684/1259770474897080380/1344554618188730368 by @mxdys] in their February 2025 release. Two other members of Justin Blanchard&#039;s list Rocq-decided by mxdys in February 2025 were {{TM|1RB2LB---_1RC2RB1LC_0LA0RB1LB|undecided}} (642) and {{TM|1RB2RB---_1LC2LB1RC_0RA0LB1RB|undecided}} (834). @-d independently generated a Rocq proof for 642 ([https://cosearch.bbchallenge.org/contribution/3wxkcx6f cosearch]), and @dyuan01 independently discovered non-halting arguments for [https://discord.com/channels/960643023006490684/1084047886494470185/1222694817771814922 642] and [https://discord.com/channels/960643023006490684/1084047886494470185/1222694817771814922 834], and noted their similarity.</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-4976:rev-5489:php=table --> </table>

Azerty https://wiki.bbchallenge.org/w/index.php?title=BB(3,3)&diff=4976&oldid=prev 2025-11-02T21:04:54Z

<p>Update wording on probvious champion</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 21:04, 2 November 2025</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8">Line 8:</td> <td colspan="2" class="diff-lineno">Line 8:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>\end{array}&lt;/math&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>\end{array}&lt;/math&gt;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">One of </del>the <del style="font-weight: bold; text-decoration: none;">currently unsolved TMs, </del>{{TM|1RB2LC1RC_2LC---2RB_2LA0LB0RA|undecided}}, <del style="font-weight: bold; text-decoration: none;">is under exploration on Discord and believed to [[probviously]] halt. If </del>it <del style="font-weight: bold; text-decoration: none;">halts, it will be the new champion</del>.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">It is believed that </ins>the <ins style="font-weight: bold; text-decoration: none;">[[probviously]] halting [[Cryptid]] </ins>{{TM|1RB2LC1RC_2LC---2RB_2LA0LB0RA|undecided}} <ins style="font-weight: bold; text-decoration: none;">beats this record</ins>, <ins style="font-weight: bold; text-decoration: none;">but </ins>it <ins style="font-weight: bold; text-decoration: none;">has not been proven</ins>.</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Cryptids ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Cryptids ==</div></td></tr> </table>

Sligocki https://wiki.bbchallenge.org/w/index.php?title=BB(3,3)&diff=4808&oldid=prev 2025-10-26T20:33:40Z

<p><span class="autocomment">Cryptids: </span> Added &quot;probable champion&quot; to potential cryptid as a name</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 20:33, 26 October 2025</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l15">Line 15:</td> <td colspan="2" class="diff-lineno">Line 15:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Potential Cryptids:</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Potential Cryptids:</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LC1RC_2LC---2RB_2LA0LB0RA|undecided}}</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LC1RC_2LC---2RB_2LA0LB0RA|undecided}}<ins style="font-weight: bold; text-decoration: none;">, probable champion</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Top Halters ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Top Halters ==</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-4753:rev-4808:php=table --> </table>

RobinCodes