OEIS A212558: Proof of Unproven Conjecture? Proven!

[Gerald H]

& a programme for the 49G:

Code:

::
  CK1&Dispatch
  BINT1
  ::
    %ABSCOERCE
    DUPDUP
    BINT10
    #<
    OVER
    # BB7
    #>
    OR
    case2drop
    Z0_
    ZEROSWAP
    BEGIN
    BINT10
    #/
    3UNROLL
    #+SWAP
    DUP#0=
    UNTIL
    DROP
    DUPDUP
    #+DUP
    #*
    3UNROLL
    2DUP#+
    4PICKSWAP
    #/
    DROP
    UNCOERCE
    4UNROLL
    #-
    #/
    DROP
    UNCOERCE
    %-
    FPTR2 ^R>Z
  ;
;