Lukujono

# Q = 114
# 408 successful iterations

INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 10
INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 20
INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 30
INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 40
INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 50
INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 60
INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 70
INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 80
INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 90
INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 100
INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 110
INCREASE Q INCREASE Q INCREASE Q INCREASE Q # 114
 
#CLEAR S # s <= (x > 0) assume empty
#CLEAR L assume empty
#CLEAR M assume empty
INCREASE M
REPEAT X TIMES (
    REPEAT L TIMES ( CLEAR L INCREASE S )
    REPEAT M TIMES ( CLEAR M INCREASE L )
)

PRINT X
REPEAT Q TIMES (
    # if x > 1
    REPEAT S TIMES (
    
        # o: store x / 2
        CLEAR O
 
        # a: even
        # b: odd
        # c: pass-through
        CLEAR A
        INCREASE A
        CLEAR B
        #CLEAR C always clear, used as pass-through
        REPEAT X TIMES (
            # flip-flop a/b
            REPEAT A TIMES ( CLEAR A INCREASE C )
            REPEAT B TIMES ( CLEAR B INCREASE A INCREASE O )
            REPEAT C TIMES ( CLEAR C INCREASE B )
        )
 
        # if a
        REPEAT A TIMES (
 
            # out alrdy has x / 2
            # copy x <= out
            CLEAR X
            REPEAT O TIMES ( INCREASE X )
            
            # only needed in this branch!
            # other branch always increases value of x
            # check x/2 > 1 (for next iteration)
            CLEAR S # s <= (x > 0)
            #CLEAR L assume empty, if not empty then we shouldnt be inside the loop
            #CLEAR M same as above
            INCREASE M
            REPEAT X TIMES (
                REPEAT L TIMES ( CLEAR L INCREASE S )
                REPEAT M TIMES ( CLEAR M INCREASE L )
            )
        )

        # else (if b)
        REPEAT B TIMES (
            # x += 0.5x
            # o += o: o = x-1
            REPEAT O TIMES ( INCREASE X INCREASE O )

            INCREASE O
            # o = x

            # o = 3x
            REPEAT O TIMES ( INCREASE O INCREASE O )

            # x += 1
            INCREASE X
            # o += 1
            INCREASE O

            # print o: 3x+1
            PRINT O
        )
 
        # mandatory print
        PRINT X
    )
)

Test 1 (public)

Verdict: ACCEPTED