View source for 1RB2LA0LA 2LC---2RA 0RA2RC1LC

← 1RB2LA0LA 2LC---2RA 0RA2RC1LC

Jump to navigation Jump to search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

You can view and copy the source of this page.

{{machine|1RB2LA0LA_2LC---2RA_0RA2RC1LC}}
{{TM|1RB2LA0LA_2LC---2RA_0RA2RC1LC|undecided}}

On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a
[[Category:Stub]]

Templates used on this page:

Return to 1RB2LA0LA 2LC---2RA 0RA2RC1LC.

Retrieved from "https://wiki.bbchallenge.org/wiki/1RB2LA0LA_2LC---2RA_0RA2RC1LC"