Collatz, but stop at the drop: A game with two letters.

[Ruud H.G. van Tol]

I uploaded an early Draft of a paper as
https://oeis.org/A122442/a122442.pdf
in the Links of A122442,
that is aimed at being enjoyed by teenagers
and all other playful people.

It is thoroughly backed by Lean,
which isn't all finished either,
but cleanly compiles as is.

It has been great fun working on it, and still is.

It is supposed to be a light read,
as an introduction to one-or-more related papers,
so expect the next draft to be even lighter.

-- Ruud

[Jon Wild]

Super fun to read, thank you!

On 2026-09-30 7:19 p.m., 'Ruud H.G. van Tol' via SeqFan wrote:
>
> I uploaded an early Draft of a paper as

> https://can01.safelinks.protection.outlook.com/?
> url=https%3A%2F%2Foeis.org%2FA122442%2Fa122442.pdf&data=05%7C02%7Cjon.wild%40mcgill.ca%7C87ef88326836437da42c08df1f49537f%7Ccd31967152e74a68afa9fcf8f89f09ea%7C0%7C0%7C639264072069149489%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=Qy2ocbkLJDU0U%2F29qNyUT7GvexuMXiOHaGAu%2B9%2FNpZc%3D&reserved=0

[Ruud H.G. van Tol]

The latest draft is in my edits of A122422:
https://oeis.org/A122442/a122442_3.pdf
https://oeis.org/A122442/a122442_4.pdf
⁠pv.py ⁠: https://oeis.org/A122442/a122442.py.txt

-- Ruud

[Ruud H.G. van Tol]

On 2026-10-09 20:41, 'Ruud H.G. van Tol' via SeqFan wrote:
> [...]

> The latest draft is in my edits of A122422:
> https://oeis.org/A122442/a122442_3.pdf
> https://oeis.org/A122442/a122442_4.pdf
> ⁠pv.py ⁠: https://oeis.org/A122442/a122442.py.txt

The Lean-4 files are available (on direct request
via my email address) in a 240 KB R_42_lean.zip

Some initial final version will go to some public repo, later.

-- Ruud