1 helper_less_is_theta
2 fn_less_is_theta
3 loop_is_helper_less
4 program_is_fn_less
5 program_correct_less
6 total_correctness_less