<?xml version="1.0" encoding="utf-8" standalone="no"?>
<problem revision="10" short-name="collatz-with-random-increase" url="https://polygon.codeforces.com/p9u37M7/imp0/collatz-with-random-increase">
    <names>
        <name language="english" value="Collatz Hypothesis and Random Increases"/>
        <name language="russian" value="Гипотеза Коллатца и случайные увеличения"/>
    </names>
    <statements>
        <statement charset="UTF-8" language="english" mathjax="true" path="statements/english/problem.tex" type="application/x-tex"/>
        <statement charset="UTF-8" language="russian" mathjax="true" path="statements/russian/problem.tex" type="application/x-tex"/>
        <statement charset="UTF-8" language="english" mathjax="true" path="statements/.html/english/problem.html" type="text/html"/>
        <statement charset="UTF-8" language="russian" mathjax="true" path="statements/.html/russian/problem.html" type="text/html"/>
        <statement language="english" path="statements/.pdf/english/problem.pdf" type="application/pdf"/>
        <statement language="russian" path="statements/.pdf/russian/problem.pdf" type="application/pdf"/>
    </statements>
    <tutorials>
        <tutorial charset="UTF-8" language="english" mathjax="true" path="statements/english/tutorial.tex" type="application/x-tex"/>
        <tutorial charset="UTF-8" language="russian" mathjax="true" path="statements/russian/tutorial.tex" type="application/x-tex"/>
        <tutorial language="english" path="statements/.pdf/english/tutorial.pdf" type="application/pdf"/>
        <tutorial language="russian" path="statements/.pdf/russian/tutorial.pdf" type="application/pdf"/>
    </tutorials>
    <judging cpu-name="Intel(R) Core(TM) i3-8100 CPU @ 3.60GHz" cpu-speed="3600" input-file="" output-file="" run-count="1">
        <testset name="tests">
            <time-limit>3000</time-limit>
            <memory-limit>1073741824</memory-limit>
            <test-count>31</test-count>
            <input-path-pattern>tests/%02d</input-path-pattern>
            <answer-path-pattern>tests/%02d.a</answer-path-pattern>
            <tests>
                <test method="manual" sample="true"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=1 -min_n=2 -max_n=10000000" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=2 -min_n=2 -max_n=10000000" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=3 -min_n=2 -max_n=10000000" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=5 -min_n=2 -max_n=10000000" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=7 -min_n=2 -max_n=10000000" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=10 -min_n=2 -max_n=10000000" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=14 -min_n=2 -max_n=10000000" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=20 -min_n=2 -max_n=10000000" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=28 -min_n=2 -max_n=10000000" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=40 -min_n=2 -max_n=10000000" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=1" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=2" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=3" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=4" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=5" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=6" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=7" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=8" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=9" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=10" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=11" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=12" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=13" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=14" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=15" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=16" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=17" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=18" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=19" method="generated"/>
                <test cmd="collatz-with-random-increase_generate_mi -t=50 -min_n=2 -max_n=10000000 -test_index=20" method="generated"/>
            </tests>
        </testset>
    </judging>
    <files>
        <resources>
            <file path="files/olymp.sty"/>
            <file path="files/problem.tex"/>
            <file path="files/statements.ftl"/>
            <file path="files/testlib.h" type="h.g++"/>
            <file path="files/tutorial.tex"/>
        </resources>
        <executables>
            <executable>
                <source path="files/collatz-with-random-increase_analysis_mi.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="files/collatz-with-random-increase_analysis_mi.exe" type="exe.win32"/>
            </executable>
            <executable>
                <source path="files/collatz-with-random-increase_check_mi.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="files/collatz-with-random-increase_check_mi.exe" type="exe.win32"/>
            </executable>
            <executable>
                <source path="files/collatz-with-random-increase_generate_mi.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="files/collatz-with-random-increase_generate_mi.exe" type="exe.win32"/>
            </executable>
            <executable>
                <source path="files/collatz-with-random-increase_interact_mi.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="files/collatz-with-random-increase_interact_mi.exe" type="exe.win32"/>
            </executable>
            <executable>
                <source path="files/collatz-with-random-increase_validate_mi.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="files/collatz-with-random-increase_validate_mi.exe" type="exe.win32"/>
            </executable>
        </executables>
    </files>
    <assets>
        <checker type="testlib">
            <source path="files/collatz-with-random-increase_check_mi.cpp" type="cpp.gcc14-64-msys2-g++23"/>
            <binary path="check.exe" type="exe.win32"/>
            <copy path="check.cpp" type="cpp.gcc14-64-msys2-g++23"/>
            <testset>
                <test-count>2</test-count>
                <input-path-pattern>files/tests/checker-tests/%02d</input-path-pattern>
                <output-path-pattern>files/tests/checker-tests/%02d.o</output-path-pattern>
                <answer-path-pattern>files/tests/checker-tests/%02d.a</answer-path-pattern>
                <tests>
                    <test verdict="ok"/>
                    <test verdict="wrong-answer"/>
                </tests>
            </testset>
        </checker>
        <interactor>
            <source path="files/collatz-with-random-increase_interact_mi.cpp" type="cpp.gcc14-64-msys2-g++23"/>
            <binary path="files/collatz-with-random-increase_interact_mi.exe" type="exe.win32"/>
        </interactor>
        <validators>
            <validator>
                <source path="files/collatz-with-random-increase_validate_mi.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="files/collatz-with-random-increase_validate_mi.exe" type="exe.win32"/>
                <testset>
                    <test-count>8</test-count>
                    <input-path-pattern>files/tests/validator-tests/%02d</input-path-pattern>
                    <tests>
                        <test verdict="invalid"/>
                        <test verdict="valid"/>
                        <test verdict="valid"/>
                        <test verdict="invalid"/>
                        <test verdict="valid"/>
                        <test verdict="valid"/>
                        <test verdict="invalid"/>
                        <test verdict="invalid"/>
                    </tests>
                </testset>
            </validator>
        </validators>
        <solutions>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_always_collatz_except_2_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_always_collatz_except_2_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_always_collatz_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_always_collatz_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_always_collatz_mi_wa_c.c" type="c.gcc"/>
                <binary path="solutions/collatz-with-random-increase_always_collatz_mi_wa_c.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_always_garbage_mi_wa_c.c" type="c.gcc"/>
                <binary path="solutions/collatz-with-random-increase_always_garbage_mi_wa_c.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_always_random_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_always_random_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_always_random_mi_wa_c.c" type="c.gcc"/>
                <binary path="solutions/collatz-with-random-increase_always_random_mi_wa_c.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_half_logarithmic_19.0_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_half_logarithmic_19.0_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_half_logarithmic_19.44_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_half_logarithmic_19.44_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_half_logarithmic_19.5_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_half_logarithmic_19.5_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_half_logarithmic_20.0_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_half_logarithmic_20.0_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_half_logarithmic_21.0_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_half_logarithmic_21.0_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_half_random_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_half_random_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_logarithmic_24.6_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_logarithmic_24.6_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_logarithmic_25.2_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_logarithmic_25.2_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_logarithmic_25.8_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_logarithmic_25.8_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_1e7_20_ok.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_1e7_20_ok.exe" type="exe.win32"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_1e8_10_tl.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_1e8_10_tl.exe" type="exe.win32"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_1e8_1_tl.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_1e8_1_tl.exe" type="exe.win32"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_1e8_2_tl.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_1e8_2_tl.exe" type="exe.win32"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_1e8_3_tl.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_1e8_3_tl.exe" type="exe.win32"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_1e8_4_tl.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_1e8_4_tl.exe" type="exe.win32"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_1e8_5_tl.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_1e8_5_tl.exe" type="exe.win32"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_1e8_6_tl.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_1e8_6_tl.exe" type="exe.win32"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_1e8_7_tl.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_1e8_7_tl.exe" type="exe.win32"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_1e8_8_tl.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_1e8_8_tl.exe" type="exe.win32"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_1e8_9_tl.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_1e8_9_tl.exe" type="exe.win32"/>
            </solution>
            <solution tag="time-limit-exceeded">
                <source path="solutions/collatz-with-random-increase_runtime_optimal_2e7_30_tl.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_runtime_optimal_2e7_30_tl.exe" type="exe.win32"/>
            </solution>
            <solution tag="main">
                <source path="solutions/collatz-with-random-increase_up_control_11_0.37_mi_ok.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_11_0.37_mi_ok.exe" type="exe.win32"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz-with-random-increase_up_control_11_0.39_mi_ok.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_11_0.39_mi_ok.exe" type="exe.win32"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz-with-random-increase_up_control_14_0.36_mi_ok.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_14_0.36_mi_ok.exe" type="exe.win32"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz-with-random-increase_up_control_14_0.37_mi_ok.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_14_0.37_mi_ok.exe" type="exe.win32"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz-with-random-increase_up_control_17_0.355_mi_ok.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_17_0.355_mi_ok.exe" type="exe.win32"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz-with-random-increase_up_control_17_0.36_mi_ok.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_17_0.36_mi_ok.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_1_0.0_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_1_0.0_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_1_1.0_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_1_1.0_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz-with-random-increase_up_control_20_0.351_mi_ok.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_20_0.351_mi_ok.exe" type="exe.win32"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz-with-random-increase_up_control_24_0.341_mi_ok.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_24_0.341_mi_ok.exe" type="exe.win32"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz-with-random-increase_up_control_28_0.327_mi_ok.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_28_0.327_mi_ok.exe" type="exe.win32"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz-with-random-increase_up_control_28_0.327_spam2_mi_ok.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_28_0.327_spam2_mi_ok.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_28_0.327_spam2_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_28_0.327_spam2_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_2_0.0_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_2_0.0_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_2_0.5_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_2_0.5_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_3_0.0_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_3_0.0_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_3_0.5_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_3_0.5_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_4_0.0_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_4_0.0_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_4_0.3_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_4_0.3_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_4_0.5_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_4_0.5_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_5_0.0_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_5_0.0_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz-with-random-increase_up_control_5_0.3_mi_wa.cpp" type="cpp.gcc14-64-msys2-g++23"/>
                <binary path="solutions/collatz-with-random-increase_up_control_5_0.3_mi_wa.exe" type="exe.win32"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz_ik_10.py" type="python.3"/>
                <binary path="solutions/collatz_ik_10.pys3" type="pythonx.3"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz_ik_100_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_100_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="wrong-answer">
                <source path="solutions/collatz_ik_10_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_10_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz_ik_12.py" type="python.3"/>
                <binary path="solutions/collatz_ik_12.pys3" type="pythonx.3"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz_ik_12_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_12_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz_ik_15.py" type="python.3"/>
                <binary path="solutions/collatz_ik_15.pys3" type="pythonx.3"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz_ik_15_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_15_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz_ik_20.py" type="python.3"/>
                <binary path="solutions/collatz_ik_20.pys3" type="pythonx.3"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz_ik_20_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_20_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz_ik_30_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_30_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz_ik_40_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_40_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz_ik_50_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_50_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz_ik_60_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_60_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz_ik_70_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_70_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz_ik_80_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_80_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="rejected">
                <source path="solutions/collatz_ik_90_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_90_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz_ik_short.py" type="python.3"/>
                <binary path="solutions/collatz_ik_short.pys3" type="pythonx.3"/>
            </solution>
            <solution tag="accepted">
                <source path="solutions/collatz_ik_short_pypy.py" type="python.pypy3-64"/>
                <binary path="solutions/collatz_ik_short_pypy.pypys3-64" type="pythonx.pypy3-64"/>
            </solution>
        </solutions>
    </assets>
    <properties>
        <property name="tests-wellformed" value="true"/>
    </properties>
    <stresses>
        <stress-count>0</stress-count>
        <stress-path-pattern>stresses/%03d</stress-path-pattern>
        <list/>
    </stresses>
    <tags>
        <tag value="collatz"/>
        <tag value="interactive"/>
        <tag value="probability theory"/>
    </tags>
</problem>
