3x7 Collatz machine, longitudinal analysis

1RB2LB---_1RC2RB1LC_0LA0RB1LB (u.h.id. 642) does not halt

1RB2LB0LC_2LA2RA1RB_---2LA1LC (u.h.id. 650) does not halt

1RB1LC1LC_1LA2RB0RB_2LB---0LA (u.h.id. 412) does not halt

BB(1094) > Loader's number

1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA halts in about 10^36 steps

Potential cryptid with new mechanism

1RB2LA0LA_2LC---2RA_0RA2RC1LC doesn't halt

Coq-BB5 - Skelet #17 doesn't halt, Coq proof

Skelet #17 does not halt

Skelet #26 and #15 don't halt

Skelet #33 doesn't halt

Skelet #1 is a translated cycler – Coq agrees

Machine #10756090, also known as Finned 3, is irregular

Skelet #1 is infinite ... we think