1 2 3 4 5 6
1 helper_expt_is_theta 2 fn_expt_is_theta 3 loop_is_helper_expt 4 program_is_fn_expt 5 program_correct_expt 6 total_correctness_expt