# F

PRINT X
REPEAT X TIMES (
    INCREASE Z
    INCREASE Z
)

# 初始化 Z=2X

INCREASE T
# 当T=0时结束

INCREASE N
INCREASE N
INCREASE N
REPEAT N TIMES (
    INCREASE N
    INCREASE N
)
REPEAT N TIMES (
    INCREASE N
    INCREASE N
)
REPEAT N TIMES (
    INCREASE N
    INCREASE N
)

# 初始化N

INCREASE A
# A: 从X开始

REPEAT N TIMES (
    REPEAT T TIMES ( REPEAT A TIMES (
        INCREASE Q
        REPEAT P TIMES (
            CLEAR Q
            CLEAR P
            CLEAR I CLEAR J
            REPEAT Y TIMES (
                REPEAT I TIMES (
                    INCREASE J
                    INCREASE Y
                )
                INCREASE I
                REPEAT J TIMES ( CLEAR I CLEAR J )
            )
            INCREASE Y
        )
        REPEAT Q TIMES (
            CLEAR Q
            INCREASE S
            CLEAR Y CLEAR I CLEAR J # 清空Y,I,J
            REPEAT X TIMES (
                REPEAT I TIMES ( 
                    INCREASE J 
                    INCREASE Y
                    CLEAR S
                )
                INCREASE I
                REPEAT J TIMES ( CLEAR I CLEAR J )
            )
            REPEAT S TIMES ( CLEAR T )
        )
        REPEAT T TIMES (
            INCREASE J
            REPEAT I TIMES ( # 奇数
                CLEAR J
                # Z<=3*X+1=Z+X+1=Z+2Y+2
                # X<=(3*X+1)/2; 2Y+1=X, (3*(2Y+1)+1)/2=(6Y+4)/2=3Y+2=X+Y+1
                REPEAT Y TIMES (
                    INCREASE Z
                    INCREASE Z
                    INCREASE X
                )
                INCREASE Z INCREASE Z
                INCREASE X
                PRINT Z
                PRINT X
                INCREASE P # 关键. 选择保留Y
            )
            REPEAT J TIMES ( # 偶数
                PRINT Y
                CLEAR A
                INCREASE B # 主变量改为Y
            )
        )
    ) )
    REPEAT T TIMES ( REPEAT B TIMES (
        INCREASE Q
        REPEAT P TIMES (
            CLEAR Q
            CLEAR P
            CLEAR I CLEAR J
            REPEAT Z TIMES ( # 上一轮是奇数
                REPEAT I TIMES (
                    INCREASE J
                    INCREASE Z
                )
                INCREASE I
                REPEAT J TIMES ( CLEAR I CLEAR J )
            )
            INCREASE Z
        )
        REPEAT Q TIMES (
            CLEAR Q
            INCREASE S
            CLEAR Z CLEAR I CLEAR J # 清空Z,I,J
            REPEAT Y TIMES (
                REPEAT I TIMES (
                    INCREASE J
                    INCREASE Z
                    CLEAR S
                )
                INCREASE I
                REPEAT J TIMES ( CLEAR I CLEAR J )
            )
            REPEAT S TIMES ( CLEAR T )
        )   
        REPEAT T TIMES (
            INCREASE J
            REPEAT I TIMES ( # 奇数
                CLEAR J
                REPEAT Z TIMES (
                    INCREASE X
                    INCREASE X
                    INCREASE Y
                )
                INCREASE X INCREASE X
                INCREASE Y
                PRINT X
                PRINT Y
                INCREASE P
            )
            REPEAT J TIMES ( # 偶数
                PRINT Z
                CLEAR B
                INCREASE C # 主变量改为Z
            )
        )
    ) )
    REPEAT T TIMES ( REPEAT C TIMES (
        INCREASE Q
        REPEAT P TIMES (
            CLEAR Q
            CLEAR P
            CLEAR I CLEAR J
            REPEAT X TIMES (
                REPEAT I TIMES (
                    INCREASE J
                    INCREASE X
                )
                INCREASE I
                REPEAT J TIMES ( CLEAR I CLEAR J )
            )
            INCREASE X
        )
        REPEAT Q TIMES (
            CLEAR Q
            INCREASE S
            CLEAR X CLEAR I CLEAR J # 清空Z,I,J
            REPEAT Z TIMES (
                REPEAT I TIMES (
                    INCREASE J
                    INCREASE X
                    CLEAR S
                )
                INCREASE I
                REPEAT J TIMES ( CLEAR I CLEAR J )
            )
            REPEAT S TIMES ( CLEAR T )
        )
        REPEAT T TIMES (
            INCREASE J
            REPEAT I TIMES ( # 奇数
                CLEAR J
                REPEAT X TIMES (
                    INCREASE Y
                    INCREASE Y
                    INCREASE Z
                )
                INCREASE Y INCREASE Y
                INCREASE Z
                PRINT Y
                PRINT Z
                INCREASE P
            )
            REPEAT J TIMES ( # 偶数
                PRINT X
                CLEAR C
                INCREASE A # 主变量改为X
            )
        )
    ) )
)

# 4258390 for 871 (55p)
# 2682954 for 871 (70p)
# 2543657 for 871 (72p)
# 2381967 for 871 (75p)
# 2217723 for 871 (78p)