1got_through_pred(1) 2got_through_pred(10) 3got_through_pred(2) 4got_through_pred(3) 5got_through_pred(4) 6got_through_pred(5) 7got_through_pred(6) 8got_through_pred(7) 9got_through_pred(8) 10got_through_pred(9) 11got_through_subgoal(1) 12got_through_subgoal(10) 13got_through_subgoal(2) 14got_through_subgoal(3) 15got_through_subgoal(4) 16got_through_subgoal(5) 17got_through_subgoal(6) 18got_through_subgoal(7) 19got_through_subgoal(8) 20got_through_subgoal(9) 21