### GENERATION_41: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 41 --ref_iter 26 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 41 --ref_iter 35 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 41 --ref_iter 35

### GENERATION_42: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 42 --ref_iter 27 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 42 --ref_iter 35 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 42 --ref_iter 35

### GENERATION_43: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 43 --ref_iter 28 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 43 --ref_iter 35 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 43 --ref_iter 35

### GENERATION_44: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 44 --ref_iter 29 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 44 --ref_iter 35 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 44 --ref_iter 35

### GENERATION_45: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 45 --ref_iter 30 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 45 --ref_iter 35 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 45 --ref_iter 35

### GENERATION_46: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 46 --ref_iter 31 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 46 --ref_iter 35 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 46 --ref_iter 35


### GENERATION_47: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 47 --ref_iter 32 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 47 --ref_iter 35 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 47 --ref_iter 35


### GENERATION_48: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 48 --ref_iter 33 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 48 --ref_iter 35 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 48 --ref_iter 35


### GENERATION_49: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 49 --ref_iter 34 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 49 --ref_iter 35 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 49 --ref_iter 35


### GENERATION_50: autoformalization, informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
    # --index 0-7473 --type formalization --overwrite 0 --save_iter 50 --ref_iter 45 
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
    # --index 0-7473 --type check --overwrite 0 --save_iter 50 --ref_iter 45
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 50 --ref_iter 45 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 50 --ref_iter 45


### GENERATION_51: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 51 --ref_iter 36 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 51 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 51 --ref_iter 50


### GENERATION_52: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 52 --ref_iter 37 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 52 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 52 --ref_iter 50


# ## # GENERATION_53: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 53 --ref_iter 38 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 53 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 53 --ref_iter 50


# ## # GENERATION_54: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 54 --ref_iter 39 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 54 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 54 --ref_iter 50


# ## # GENERATION_55: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 55 --ref_iter 40 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 55 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 55 --ref_iter 50


# ## # GENERATION_56: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 56 --ref_iter 41 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 56 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 56 --ref_iter 50


# ## # GENERATION_57: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 57 --ref_iter 42 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 57 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 57 --ref_iter 50


# ## # GENERATION_58: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 58 --ref_iter 43 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 58 --ref_iter 50 --informal_prompt 'math-word'
#     --index 0-7473 --type solution --overwrite 0 --save_iter 58 --ref_iter 50
# python data_gen.py --num_process 50 --data train --num_retrive 8 \


# ## # GENERATION_59: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 59 --ref_iter 44 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 59 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 59 --ref_iter 50


# # ## # GENERATION_60: mutation; informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 60 --ref_iter 45 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 60 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 60 --ref_iter 50


#=====  GENERATION_61: mutation; informalization, and solving =====#

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 61 --ref_iter 46 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 61 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 61 --ref_iter 50


#=====  GENERATION_62: mutation; informalization, and solving =====#

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 62 --ref_iter 47 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 62 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 62 --ref_iter 50


#=====  GENERATION_63: mutation; informalization, and solving =====#

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 63 --ref_iter 48 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 63 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 63 --ref_iter 50


#=====  GENERATION_64: mutation; informalization, and solving =====#

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 64 --ref_iter 49 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 0
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 64 --ref_iter 50 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 64 --ref_iter 50


### GENERATION_65: autoformalization, informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type formalization --overwrite 0 --save_iter 65 --ref_iter 60 
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type check --overwrite 0 --save_iter 65 --ref_iter 60
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 65 --ref_iter 60 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 65 --ref_iter 60


### GENERATION_66: mutation with renaming, informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 66 --ref_iter 51 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 1
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 66 --ref_iter 65 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 66 --ref_iter 65


### GENERATION_66: mutation with renaming, informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 67 --ref_iter 52 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 1
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 67 --ref_iter 65 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 67 --ref_iter 65


### GENERATION_68: mutation with renaming, informalization, and solving

# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type mutation --overwrite 0 --save_iter 68 --ref_iter 53 \
#     --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 1
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type informalization --overwrite 0 --save_iter 68 --ref_iter 65 --informal_prompt 'math-word'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
#     --index 0-7473 --type solution --overwrite 0 --save_iter 68 --ref_iter 65


### GENERATION_69: mutation with renaming, informalization, and solving

python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type mutation --overwrite 0 --save_iter 69 --ref_iter 53 \
    --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 1
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type mutation --overwrite 0 --save_iter 69 --ref_iter 53 \
    --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 1
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type informalization --overwrite 0 --save_iter 69 --ref_iter 65 --informal_prompt 'math-word'
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type informalization --overwrite 0 --save_iter 69 --ref_iter 65 --informal_prompt 'math-word'
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type informalization --overwrite 0 --save_iter 69 --ref_iter 65 --informal_prompt 'math-word'
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type informalization --overwrite 0 --save_iter 69 --ref_iter 65 --informal_prompt 'math-word'
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type solution --overwrite 0 --save_iter 69 --ref_iter 65
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type solution --overwrite 0 --save_iter 69 --ref_iter 65
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type solution --overwrite 0 --save_iter 69 --ref_iter 65
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type solution --overwrite 0 --save_iter 69 --ref_iter 65


### GENERATION_70: mutation with renaming, informalization, and solving

python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type mutation --overwrite 0 --save_iter 70 --ref_iter 53 \
    --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 1
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type mutation --overwrite 0 --save_iter 70 --ref_iter 53 \
    --mutation_type 'mcmc' --remove_aux 1 --allow_real 0 --simplify 1 --comment 1 --rename 1
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type informalization --overwrite 0 --save_iter 70 --ref_iter 65 --informal_prompt 'math-word'
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type informalization --overwrite 0 --save_iter 70 --ref_iter 65 --informal_prompt 'math-word'
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type informalization --overwrite 0 --save_iter 70 --ref_iter 65 --informal_prompt 'math-word'
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type informalization --overwrite 0 --save_iter 70 --ref_iter 65 --informal_prompt 'math-word'
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type solution --overwrite 0 --save_iter 70 --ref_iter 65
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type solution --overwrite 0 --save_iter 70 --ref_iter 65
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type solution --overwrite 0 --save_iter 70 --ref_iter 65
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7473 --type solution --overwrite 0 --save_iter 70 --ref_iter 65