run -f p2.in
where
next
call p_sb(sb)
next
display c
next
step
next
print m
next
call p_sb(sb(
call p_sb(sb)
run
where
next
call p_sb(sb)
where
break sread_term
run -f p3.in
call p_sb(sb)
next
run
step
next
display c
next
step
next
print m
break parse.c:1584
run
file prover9
info break
delete 1 2
info break
run -f p2.in
break fatal_error
run
where
up
down
