got_through_pred(1)
got_through_pred(10)
got_through_pred(2)
got_through_pred(3)
got_through_pred(4)
got_through_pred(5)
got_through_pred(6)
got_through_pred(7)
got_through_pred(8)
got_through_pred(9)
got_through_subgoal(1)
got_through_subgoal(10)
got_through_subgoal(2)
got_through_subgoal(3)
got_through_subgoal(4)
got_through_subgoal(5)
got_through_subgoal(6)
got_through_subgoal(7)
got_through_subgoal(8)
got_through_subgoal(9)
