INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A INCREASE A
INCREASE C
# init: I=floor(X/2), F=parity(I), D=parity(X)
REPEAT X TIMES (
INCREASE T
REPEAT R TIMES ( CLEAR T )
CLEAR R
REPEAT T TIMES ( INCREASE R )
INCREASE U
REPEAT R TIMES ( CLEAR U )
REPEAT U TIMES (
INCREASE I
INCREASE W
REPEAT F TIMES ( CLEAR W )
CLEAR F
REPEAT W TIMES ( INCREASE F )
CLEAR W
)
CLEAR U
CLEAR T
)
REPEAT R TIMES ( INCREASE D )
REPEAT A TIMES (
REPEAT C TIMES (
PRINT X
# Check X==1: M = (I==0 AND D==1)
CLEAR L
INCREASE L
REPEAT I TIMES ( CLEAR L )
CLEAR M
REPEAT L TIMES ( REPEAT D TIMES ( INCREASE M ) )
# C := 1 - M (continue if X != 1)
CLEAR C
INCREASE C
REPEAT M TIMES ( CLEAR C )
# S := D (save before processing)
CLEAR S
REPEAT D TIMES ( INCREASE S )
# Process only if C==1 (not terminated)
REPEAT C TIMES (
# even: X := I; D := F; halve I
CLEAR N
INCREASE N
REPEAT S TIMES ( CLEAR N )
REPEAT N TIMES (
CLEAR X
REPEAT I TIMES ( INCREASE X )
CLEAR D
REPEAT F TIMES ( INCREASE D )
CLEAR J
CLEAR R
CLEAR Y
REPEAT I TIMES (
INCREASE T
REPEAT R TIMES ( CLEAR T )
CLEAR R
REPEAT T TIMES ( INCREASE R )
INCREASE U
REPEAT R TIMES ( CLEAR U )
REPEAT U TIMES (
INCREASE J
INCREASE W
REPEAT Y TIMES ( CLEAR W )
CLEAR Y
REPEAT W TIMES ( INCREASE Y )
CLEAR W
)
CLEAR U
CLEAR T
)
CLEAR I
REPEAT J TIMES ( INCREASE I )
CLEAR F
REPEAT Y TIMES ( INCREASE F )
)
# odd:
# If F=0 (I even): X≡1(mod 4), so (3X+1)/4; skip 2 iterations
# If F=1 (I odd): X≡3(mod 4), so (3X+1)/2; skip 1 iteration
REPEAT S TIMES (
# Print 3X+1 = 6I+4
CLEAR K
REPEAT I TIMES ( INCREASE K INCREASE K INCREASE K INCREASE K INCREASE K INCREASE K )
INCREASE K
INCREASE K
INCREASE K
INCREASE K
PRINT K
# If F=0 (I even): X := (3X+1)/4 = floor((3I+2)/2)
CLEAR H
INCREASE H
REPEAT F TIMES ( CLEAR H )
REPEAT H TIMES (
# Compute floor((3I+2)/2)
CLEAR X
REPEAT I TIMES ( INCREASE X )
REPEAT I TIMES ( INCREASE X )
REPEAT I TIMES ( INCREASE X )
INCREASE X
INCREASE X
# Now X = 3I+2, divide by 2
CLEAR J
CLEAR R
REPEAT X TIMES (
INCREASE T
REPEAT R TIMES ( CLEAR T )
CLEAR R
REPEAT T TIMES ( INCREASE R )
INCREASE U
REPEAT R TIMES ( CLEAR U )
REPEAT U TIMES ( INCREASE J )
CLEAR U
CLEAR T
)
CLEAR X
REPEAT J TIMES ( INCREASE X )
)
# If F=1 (I odd): X := (3X+1)/2 = 3I+2
REPEAT F TIMES (
CLEAR X
REPEAT I TIMES ( INCREASE X INCREASE X INCREASE X )
INCREASE X
INCREASE X
)
# Compute new I and F from X
CLEAR I
CLEAR F
CLEAR R
REPEAT X TIMES (
INCREASE T
REPEAT R TIMES ( CLEAR T )
CLEAR R
REPEAT T TIMES ( INCREASE R )
INCREASE U
REPEAT R TIMES ( CLEAR U )
REPEAT U TIMES (
INCREASE I
INCREASE W
REPEAT F TIMES ( CLEAR W )
CLEAR F
REPEAT W TIMES ( INCREASE F )
CLEAR W
)
CLEAR U
CLEAR T
)
# D = parity of new X
CLEAR D
REPEAT R TIMES ( INCREASE D )
)
)
)
)
