smodels version 2.28. Reading...done Answer: 1 Stable
Model: holds_at(at(james,l3),2) holds_at(at(james,l4),3)
holds_at(at(james,l4),4) holds_at(at(james,l3),5)
holds_at(at(james,l3),8) holds_at(at(james,l4),9)
holds_at(at(james,l2),1) holds_at(at(james,l2),6)
holds_at(at(james,l2),7) holds_at(at(james,l1),0)
holds_at(at(coin,l4),0) holds_at(at(coin,l4),1)
holds_at(at(coin,l4),2) holds_at(at(coin,l4),3)
holds_at(at(coin,l4),4) holds_at(at(coin,l3),5)
holds_at(at(coin,l2),6) holds_at(at(coin,l2),7)
holds_at(at(coin,l2),8) holds_at(at(coin,l2),9)
at_same_location(james,coin,3) happens(move(james,l1,l2),0)
happens(move(james,l2,l3),1) happens(move(james,l3,l4),2)
happens(pick_up(james,coin),3) happens(move(james,l4,l3),4)
happens(move(james,l3,l2),5) happens(set_down(james,coin),6)
happens(move(james,l2,l3),7) happens(move(james,l3,l4),8)
-released_at(at(james,l4),1) -released_at(at(james,l4),0)
-released_at(at(james,l4),2) -released_at(at(james,l4),3)
-released_at(at(james,l4),4) -released_at(at(james,l4),5)
-released_at(at(james,l4),6) -released_at(at(james,l4),7)
-released_at(at(james,l4),8) -released_at(at(james,l4),9)
-released_at(at(james,l4),10) -released_at(at(james,l3),1)
-released_at(at(james,l3),0) -released_at(at(james,l3),2)
-released_at(at(james,l3),3) -released_at(at(james,l3),4)
-released_at(at(james,l3),5) -released_at(at(james,l3),6)
-released_at(at(james,l3),7) -released_at(at(james,l3),8)
-released_at(at(james,l3),9) -released_at(at(james,l3),10)
-released_at(at(james,l2),1) -released_at(at(james,l2),0)
-released_at(at(james,l2),2) -released_at(at(james,l2),3)
-released_at(at(james,l2),4) -released_at(at(james,l2),5)
-released_at(at(james,l2),6) -released_at(at(james,l2),7)
-released_at(at(james,l2),8) -released_at(at(james,l2),9)
-released_at(at(james,l2),10) -released_at(at(james,l1),1)
-released_at(at(james,l1),0) -released_at(at(james,l1),2)
-released_at(at(james,l1),3) -released_at(at(james,l1),4)
-released_at(at(james,l1),5) -released_at(at(james,l1),6)
-released_at(at(james,l1),7) -released_at(at(james,l1),8)
-released_at(at(james,l1),9) -released_at(at(james,l1),10)
-released_at(at(coin,l4),1) -released_at(at(coin,l4),0)
-released_at(at(coin,l4),2) -released_at(at(coin,l4),3)
-released_at(at(coin,l3),1) -released_at(at(coin,l3),0)
-released_at(at(coin,l3),2) -released_at(at(coin,l3),3)
-released_at(at(coin,l2),1) -released_at(at(coin,l2),0)
-released_at(at(coin,l2),2) -released_at(at(coin,l2),3)
-released_at(at(coin,l2),7) -released_at(at(coin,l2),8)
-released_at(at(coin,l2),9) -released_at(at(coin,l2),10)
-released_at(at(coin,l1),1) -released_at(at(coin,l1),0)
-released_at(at(coin,l1),2) -released_at(at(coin,l1),3)
-released_at(holding(james,coin),1)
-released_at(holding(james,coin),0)
-released_at(holding(james,coin),2)
-released_at(holding(james,coin),3)
-released_at(holding(james,coin),4)
-released_at(holding(james,coin),5)
-released_at(holding(james,coin),6)
-released_at(holding(james,coin),7)
-released_at(holding(james,coin),8)
-released_at(holding(james,coin),9)
-released_at(holding(james,coin),10)
initiates(move(james,l1,l2),at(james,l2),0)
initiates(move(james,l2,l3),at(james,l3),1)
initiates(move(james,l3,l4),at(james,l4),2)
initiates(pick_up(james,coin),holding(james,coin),3)
initiates(move(james,l4,l3),at(james,l3),4)
initiates(move(james,l3,l2),at(james,l2),5)
initiates(set_down(james,coin),at(coin,l2),6)
initiates(move(james,l2,l3),at(james,l3),7)
initiates(move(james,l3,l4),at(james,l4),8) initiated(at(james,l4),2)
initiated(at(james,l4),8) initiated(at(james,l3),1)
initiated(at(james,l3),4) initiated(at(james,l3),7)
initiated(at(james,l2),0) initiated(at(james,l2),5)
released_at(at(coin,l4),4) released_at(at(coin,l4),5)
released_at(at(coin,l4),6) released_at(at(coin,l4),7)
released_at(at(coin,l4),8) released_at(at(coin,l4),9)
released_at(at(coin,l4),10) released_at(at(coin,l3),4)
released_at(at(coin,l3),5) released_at(at(coin,l3),6)
released_at(at(coin,l3),7) released_at(at(coin,l3),8)
released_at(at(coin,l3),9) released_at(at(coin,l3),10)
released_at(at(coin,l2),4) released_at(at(coin,l2),5)
released_at(at(coin,l2),6) initiated(at(coin,l2),6)
released_at(at(coin,l1),4) released_at(at(coin,l1),5)
released_at(at(coin,l1),6) released_at(at(coin,l1),7)
released_at(at(coin,l1),8) released_at(at(coin,l1),9)
released_at(at(coin,l1),10) initiated(holding(james,coin),3)
fluent(at(james,l4)) fluent(at(james,l3)) fluent(at(james,l2))
fluent(at(james,l1)) fluent(at(coin,l4)) fluent(at(coin,l3))
fluent(at(coin,l2)) fluent(at(coin,l1)) fluent(holding(james,coin))
holds_at(at(james,l4),10) holds_at(at(coin,l2),10)
holds_at(holding(james,coin),4) holds_at(holding(james,coin),5)
holds_at(holding(james,coin),6) -holds_at(at(james,l4),5)
-holds_at(at(james,l4),6) -holds_at(at(james,l4),7)
-holds_at(at(james,l4),8) -holds_at(at(james,l3),3)
-holds_at(at(james,l3),4) -holds_at(at(james,l3),6)
-holds_at(at(james,l3),7) -holds_at(at(james,l3),9)
-holds_at(at(james,l3),10) -holds_at(at(james,l2),2)
-holds_at(at(james,l2),3) -holds_at(at(james,l2),4)
-holds_at(at(james,l2),5) -holds_at(at(james,l2),8)
-holds_at(at(james,l2),9) -holds_at(at(james,l2),10)
-holds_at(at(james,l1),1) -holds_at(at(james,l1),2)
-holds_at(at(james,l1),3) -holds_at(at(james,l1),4)
-holds_at(at(james,l1),5) -holds_at(at(james,l1),6)
-holds_at(at(james,l1),7) -holds_at(at(james,l1),8)
-holds_at(at(james,l1),9) -holds_at(at(james,l1),10)
-holds_at(holding(james,coin),1) -holds_at(holding(james,coin),0)
-holds_at(holding(james,coin),2) -holds_at(holding(james,coin),3)
-holds_at(holding(james,coin),7) -holds_at(holding(james,coin),8)
-holds_at(holding(james,coin),9) -holds_at(holding(james,coin),10)
location(l4) location(l3) location(l2) location(l1) physobj(coin)
agent(james) timepoint(0) timepoint(1) timepoint(2) timepoint(3)
timepoint(4) timepoint(5) timepoint(6) timepoint(7) timepoint(8)
timepoint(9) initiates(move(james,l4,l4),at(james,l4),0)
initiates(move(james,l4,l4),at(james,l4),1)
initiates(move(james,l4,l4),at(james,l4),2)
initiates(move(james,l4,l4),at(james,l4),3)
initiates(move(james,l4,l4),at(james,l4),4)
initiates(move(james,l4,l4),at(james,l4),5)
initiates(move(james,l4,l4),at(james,l4),6)
initiates(move(james,l4,l4),at(james,l4),7)
initiates(move(james,l4,l4),at(james,l4),8)
initiates(move(james,l4,l4),at(james,l4),9)
initiates(move(james,l3,l4),at(james,l4),0)
initiates(move(james,l3,l4),at(james,l4),1)
initiates(move(james,l3,l4),at(james,l4),3)
initiates(move(james,l3,l4),at(james,l4),4)
initiates(move(james,l3,l4),at(james,l4),5)
initiates(move(james,l3,l4),at(james,l4),6)
initiates(move(james,l3,l4),at(james,l4),7)
initiates(move(james,l3,l4),at(james,l4),9)
initiates(move(james,l2,l4),at(james,l4),0)
initiates(move(james,l2,l4),at(james,l4),1)
initiates(move(james,l2,l4),at(james,l4),2)
initiates(move(james,l2,l4),at(james,l4),3)
initiates(move(james,l2,l4),at(james,l4),4)
initiates(move(james,l2,l4),at(james,l4),5)
initiates(move(james,l2,l4),at(james,l4),6)
initiates(move(james,l2,l4),at(james,l4),7)
initiates(move(james,l2,l4),at(james,l4),8)
initiates(move(james,l2,l4),at(james,l4),9)
initiates(move(james,l1,l4),at(james,l4),0)
initiates(move(james,l1,l4),at(james,l4),1)
initiates(move(james,l1,l4),at(james,l4),2)
initiates(move(james,l1,l4),at(james,l4),3)
initiates(move(james,l1,l4),at(james,l4),4)
initiates(move(james,l1,l4),at(james,l4),5)
initiates(move(james,l1,l4),at(james,l4),6)
initiates(move(james,l1,l4),at(james,l4),7)
initiates(move(james,l1,l4),at(james,l4),8)
initiates(move(james,l1,l4),at(james,l4),9)
initiates(move(james,l4,l3),at(james,l3),0)
initiates(move(james,l4,l3),at(james,l3),1)
initiates(move(james,l4,l3),at(james,l3),2)
initiates(move(james,l4,l3),at(james,l3),3)
initiates(move(james,l4,l3),at(james,l3),5)
initiates(move(james,l4,l3),at(james,l3),6)
initiates(move(james,l4,l3),at(james,l3),7)
initiates(move(james,l4,l3),at(james,l3),8)
initiates(move(james,l4,l3),at(james,l3),9)
initiates(move(james,l3,l3),at(james,l3),0)
initiates(move(james,l3,l3),at(james,l3),1)
initiates(move(james,l3,l3),at(james,l3),2)
initiates(move(james,l3,l3),at(james,l3),3)
initiates(move(james,l3,l3),at(james,l3),4)
initiates(move(james,l3,l3),at(james,l3),5)
initiates(move(james,l3,l3),at(james,l3),6)
initiates(move(james,l3,l3),at(james,l3),7)
initiates(move(james,l3,l3),at(james,l3),8)
initiates(move(james,l3,l3),at(james,l3),9)
initiates(move(james,l2,l3),at(james,l3),0)
initiates(move(james,l2,l3),at(james,l3),2)
initiates(move(james,l2,l3),at(james,l3),3)
initiates(move(james,l2,l3),at(james,l3),4)
initiates(move(james,l2,l3),at(james,l3),5)
initiates(move(james,l2,l3),at(james,l3),6)
initiates(move(james,l2,l3),at(james,l3),8)
initiates(move(james,l2,l3),at(james,l3),9)
initiates(move(james,l1,l3),at(james,l3),0)
initiates(move(james,l1,l3),at(james,l3),1)
initiates(move(james,l1,l3),at(james,l3),2)
initiates(move(james,l1,l3),at(james,l3),3)
initiates(move(james,l1,l3),at(james,l3),4)
initiates(move(james,l1,l3),at(james,l3),5)
initiates(move(james,l1,l3),at(james,l3),6)
initiates(move(james,l1,l3),at(james,l3),7)
initiates(move(james,l1,l3),at(james,l3),8)
initiates(move(james,l1,l3),at(james,l3),9)
initiates(move(james,l4,l2),at(james,l2),0)
initiates(move(james,l4,l2),at(james,l2),1)
initiates(move(james,l4,l2),at(james,l2),2)
initiates(move(james,l4,l2),at(james,l2),3)
initiates(move(james,l4,l2),at(james,l2),4)
initiates(move(james,l4,l2),at(james,l2),5)
initiates(move(james,l4,l2),at(james,l2),6)
initiates(move(james,l4,l2),at(james,l2),7)
initiates(move(james,l4,l2),at(james,l2),8)
initiates(move(james,l4,l2),at(james,l2),9)
initiates(move(james,l3,l2),at(james,l2),0)
initiates(move(james,l3,l2),at(james,l2),1)
initiates(move(james,l3,l2),at(james,l2),2)
initiates(move(james,l3,l2),at(james,l2),3)
initiates(move(james,l3,l2),at(james,l2),4)
initiates(move(james,l3,l2),at(james,l2),6)
initiates(move(james,l3,l2),at(james,l2),7)
initiates(move(james,l3,l2),at(james,l2),8)
initiates(move(james,l3,l2),at(james,l2),9)
initiates(move(james,l2,l2),at(james,l2),0)
initiates(move(james,l2,l2),at(james,l2),1)
initiates(move(james,l2,l2),at(james,l2),2)
initiates(move(james,l2,l2),at(james,l2),3)
initiates(move(james,l2,l2),at(james,l2),4)
initiates(move(james,l2,l2),at(james,l2),5)
initiates(move(james,l2,l2),at(james,l2),6)
initiates(move(james,l2,l2),at(james,l2),7)
initiates(move(james,l2,l2),at(james,l2),8)
initiates(move(james,l2,l2),at(james,l2),9)
initiates(move(james,l1,l2),at(james,l2),1)
initiates(move(james,l1,l2),at(james,l2),2)
initiates(move(james,l1,l2),at(james,l2),3)
initiates(move(james,l1,l2),at(james,l2),4)
initiates(move(james,l1,l2),at(james,l2),5)
initiates(move(james,l1,l2),at(james,l2),6)
initiates(move(james,l1,l2),at(james,l2),7)
initiates(move(james,l1,l2),at(james,l2),8)
initiates(move(james,l1,l2),at(james,l2),9)
initiates(move(james,l4,l1),at(james,l1),0)
initiates(move(james,l4,l1),at(james,l1),1)
initiates(move(james,l4,l1),at(james,l1),2)
initiates(move(james,l4,l1),at(james,l1),3)
initiates(move(james,l4,l1),at(james,l1),4)
initiates(move(james,l4,l1),at(james,l1),5)
initiates(move(james,l4,l1),at(james,l1),6)
initiates(move(james,l4,l1),at(james,l1),7)
initiates(move(james,l4,l1),at(james,l1),8)
initiates(move(james,l4,l1),at(james,l1),9)
initiates(move(james,l3,l1),at(james,l1),0)
initiates(move(james,l3,l1),at(james,l1),1)
initiates(move(james,l3,l1),at(james,l1),2)
initiates(move(james,l3,l1),at(james,l1),3)
initiates(move(james,l3,l1),at(james,l1),4)
initiates(move(james,l3,l1),at(james,l1),5)
initiates(move(james,l3,l1),at(james,l1),6)
initiates(move(james,l3,l1),at(james,l1),7)
initiates(move(james,l3,l1),at(james,l1),8)
initiates(move(james,l3,l1),at(james,l1),9)
initiates(move(james,l2,l1),at(james,l1),0)
initiates(move(james,l2,l1),at(james,l1),1)
initiates(move(james,l2,l1),at(james,l1),2)
initiates(move(james,l2,l1),at(james,l1),3)
initiates(move(james,l2,l1),at(james,l1),4)
initiates(move(james,l2,l1),at(james,l1),5)
initiates(move(james,l2,l1),at(james,l1),6)
initiates(move(james,l2,l1),at(james,l1),7)
initiates(move(james,l2,l1),at(james,l1),8)
initiates(move(james,l2,l1),at(james,l1),9)
initiates(move(james,l1,l1),at(james,l1),0)
initiates(move(james,l1,l1),at(james,l1),1)
initiates(move(james,l1,l1),at(james,l1),2)
initiates(move(james,l1,l1),at(james,l1),3)
initiates(move(james,l1,l1),at(james,l1),4)
initiates(move(james,l1,l1),at(james,l1),5)
initiates(move(james,l1,l1),at(james,l1),6)
initiates(move(james,l1,l1),at(james,l1),7)
initiates(move(james,l1,l1),at(james,l1),8)
initiates(move(james,l1,l1),at(james,l1),9)
initiates(pick_up(james,coin),holding(james,coin),0)
initiates(pick_up(james,coin),holding(james,coin),1)
initiates(pick_up(james,coin),holding(james,coin),2)
initiates(pick_up(james,coin),holding(james,coin),4)
initiates(pick_up(james,coin),holding(james,coin),5)
initiates(pick_up(james,coin),holding(james,coin),6)
initiates(pick_up(james,coin),holding(james,coin),7)
initiates(pick_up(james,coin),holding(james,coin),8)
initiates(pick_up(james,coin),holding(james,coin),9)
initiates(set_down(james,coin),at(coin,l4),3)
initiates(set_down(james,coin),at(coin,l4),4)
initiates(set_down(james,coin),at(coin,l4),9)
initiates(set_down(james,coin),at(coin,l3),2)
initiates(set_down(james,coin),at(coin,l3),5)
initiates(set_down(james,coin),at(coin,l3),8)
initiates(set_down(james,coin),at(coin,l2),1)
initiates(set_down(james,coin),at(coin,l2),7)
initiates(set_down(james,coin),at(coin,l1),0)
releases(pick_up(james,coin),at(coin,l4),0)
releases(pick_up(james,coin),at(coin,l4),1)
releases(pick_up(james,coin),at(coin,l4),2)
releases(pick_up(james,coin),at(coin,l4),3)
releases(pick_up(james,coin),at(coin,l4),4)
releases(pick_up(james,coin),at(coin,l4),5)
releases(pick_up(james,coin),at(coin,l4),6)
releases(pick_up(james,coin),at(coin,l4),7)
releases(pick_up(james,coin),at(coin,l4),8)
releases(pick_up(james,coin),at(coin,l4),9)
releases(pick_up(james,coin),at(coin,l3),0)
releases(pick_up(james,coin),at(coin,l3),1)
releases(pick_up(james,coin),at(coin,l3),2)
releases(pick_up(james,coin),at(coin,l3),3)
releases(pick_up(james,coin),at(coin,l3),4)
releases(pick_up(james,coin),at(coin,l3),5)
releases(pick_up(james,coin),at(coin,l3),6)
releases(pick_up(james,coin),at(coin,l3),7)
releases(pick_up(james,coin),at(coin,l3),8)
releases(pick_up(james,coin),at(coin,l3),9)
releases(pick_up(james,coin),at(coin,l2),0)
releases(pick_up(james,coin),at(coin,l2),1)
releases(pick_up(james,coin),at(coin,l2),2)
releases(pick_up(james,coin),at(coin,l2),3)
releases(pick_up(james,coin),at(coin,l2),4)
releases(pick_up(james,coin),at(coin,l2),5)
releases(pick_up(james,coin),at(coin,l2),6)
releases(pick_up(james,coin),at(coin,l2),7)
releases(pick_up(james,coin),at(coin,l2),8)
releases(pick_up(james,coin),at(coin,l2),9)
releases(pick_up(james,coin),at(coin,l1),0)
releases(pick_up(james,coin),at(coin,l1),1)
releases(pick_up(james,coin),at(coin,l1),2)
releases(pick_up(james,coin),at(coin,l1),3)
releases(pick_up(james,coin),at(coin,l1),4)
releases(pick_up(james,coin),at(coin,l1),5)
releases(pick_up(james,coin),at(coin,l1),6)
releases(pick_up(james,coin),at(coin,l1),7)
releases(pick_up(james,coin),at(coin,l1),8)
releases(pick_up(james,coin),at(coin,l1),9)
at_same_location(james,coin,4) at_same_location(james,coin,5)
at_same_location(james,coin,6) at_same_location(james,coin,7)
terminates(move(james,l4,l4),at(james,l4),0)
terminates(move(james,l4,l4),at(james,l4),1)
terminates(move(james,l4,l4),at(james,l4),2)
terminates(move(james,l4,l4),at(james,l4),3)
terminates(move(james,l4,l4),at(james,l4),4)
terminates(move(james,l4,l4),at(james,l4),5)
terminates(move(james,l4,l4),at(james,l4),6)
terminates(move(james,l4,l4),at(james,l4),7)
terminates(move(james,l4,l4),at(james,l4),8)
terminates(move(james,l4,l4),at(james,l4),9)
terminates(move(james,l3,l4),at(james,l3),0)
terminates(move(james,l3,l4),at(james,l3),1)
terminates(move(james,l3,l4),at(james,l3),2)
terminates(move(james,l3,l4),at(james,l3),3)
terminates(move(james,l3,l4),at(james,l3),4)
terminates(move(james,l3,l4),at(james,l3),5)
terminates(move(james,l3,l4),at(james,l3),6)
terminates(move(james,l3,l4),at(james,l3),7)
terminates(move(james,l3,l4),at(james,l3),8)
terminates(move(james,l3,l4),at(james,l3),9)
terminates(move(james,l2,l4),at(james,l2),0)
terminates(move(james,l2,l4),at(james,l2),1)
terminates(move(james,l2,l4),at(james,l2),2)
terminates(move(james,l2,l4),at(james,l2),3)
terminates(move(james,l2,l4),at(james,l2),4)
terminates(move(james,l2,l4),at(james,l2),5)
terminates(move(james,l2,l4),at(james,l2),6)
terminates(move(james,l2,l4),at(james,l2),7)
terminates(move(james,l2,l4),at(james,l2),8)
terminates(move(james,l2,l4),at(james,l2),9)
terminates(move(james,l1,l4),at(james,l1),0)
terminates(move(james,l1,l4),at(james,l1),1)
terminates(move(james,l1,l4),at(james,l1),2)
terminates(move(james,l1,l4),at(james,l1),3)
terminates(move(james,l1,l4),at(james,l1),4)
terminates(move(james,l1,l4),at(james,l1),5)
terminates(move(james,l1,l4),at(james,l1),6)
terminates(move(james,l1,l4),at(james,l1),7)
terminates(move(james,l1,l4),at(james,l1),8)
terminates(move(james,l1,l4),at(james,l1),9)
terminates(move(james,l4,l3),at(james,l4),0)
terminates(move(james,l4,l3),at(james,l4),1)
terminates(move(james,l4,l3),at(james,l4),2)
terminates(move(james,l4,l3),at(james,l4),3)
terminates(move(james,l4,l3),at(james,l4),4)
terminates(move(james,l4,l3),at(james,l4),5)
terminates(move(james,l4,l3),at(james,l4),6)
terminates(move(james,l4,l3),at(james,l4),7)
terminates(move(james,l4,l3),at(james,l4),8)
terminates(move(james,l4,l3),at(james,l4),9)
terminates(move(james,l3,l3),at(james,l3),0)
terminates(move(james,l3,l3),at(james,l3),1)
terminates(move(james,l3,l3),at(james,l3),2)
terminates(move(james,l3,l3),at(james,l3),3)
terminates(move(james,l3,l3),at(james,l3),4)
terminates(move(james,l3,l3),at(james,l3),5)
terminates(move(james,l3,l3),at(james,l3),6)
terminates(move(james,l3,l3),at(james,l3),7)
terminates(move(james,l3,l3),at(james,l3),8)
terminates(move(james,l3,l3),at(james,l3),9)
terminates(move(james,l2,l3),at(james,l2),0)
terminates(move(james,l2,l3),at(james,l2),1)
terminates(move(james,l2,l3),at(james,l2),2)
terminates(move(james,l2,l3),at(james,l2),3)
terminates(move(james,l2,l3),at(james,l2),4)
terminates(move(james,l2,l3),at(james,l2),5)
terminates(move(james,l2,l3),at(james,l2),6)
terminates(move(james,l2,l3),at(james,l2),7)
terminates(move(james,l2,l3),at(james,l2),8)
terminates(move(james,l2,l3),at(james,l2),9)
terminates(move(james,l1,l3),at(james,l1),0)
terminates(move(james,l1,l3),at(james,l1),1)
terminates(move(james,l1,l3),at(james,l1),2)
terminates(move(james,l1,l3),at(james,l1),3)
terminates(move(james,l1,l3),at(james,l1),4)
terminates(move(james,l1,l3),at(james,l1),5)
terminates(move(james,l1,l3),at(james,l1),6)
terminates(move(james,l1,l3),at(james,l1),7)
terminates(move(james,l1,l3),at(james,l1),8)
terminates(move(james,l1,l3),at(james,l1),9)
terminates(move(james,l4,l2),at(james,l4),0)
terminates(move(james,l4,l2),at(james,l4),1)
terminates(move(james,l4,l2),at(james,l4),2)
terminates(move(james,l4,l2),at(james,l4),3)
terminates(move(james,l4,l2),at(james,l4),4)
terminates(move(james,l4,l2),at(james,l4),5)
terminates(move(james,l4,l2),at(james,l4),6)
terminates(move(james,l4,l2),at(james,l4),7)
terminates(move(james,l4,l2),at(james,l4),8)
terminates(move(james,l4,l2),at(james,l4),9)
terminates(move(james,l3,l2),at(james,l3),0)
terminates(move(james,l3,l2),at(james,l3),1)
terminates(move(james,l3,l2),at(james,l3),2)
terminates(move(james,l3,l2),at(james,l3),3)
terminates(move(james,l3,l2),at(james,l3),4)
terminates(move(james,l3,l2),at(james,l3),5)
terminates(move(james,l3,l2),at(james,l3),6)
terminates(move(james,l3,l2),at(james,l3),7)
terminates(move(james,l3,l2),at(james,l3),8)
terminates(move(james,l3,l2),at(james,l3),9)
terminates(move(james,l2,l2),at(james,l2),0)
terminates(move(james,l2,l2),at(james,l2),1)
terminates(move(james,l2,l2),at(james,l2),2)
terminates(move(james,l2,l2),at(james,l2),3)
terminates(move(james,l2,l2),at(james,l2),4)
terminates(move(james,l2,l2),at(james,l2),5)
terminates(move(james,l2,l2),at(james,l2),6)
terminates(move(james,l2,l2),at(james,l2),7)
terminates(move(james,l2,l2),at(james,l2),8)
terminates(move(james,l2,l2),at(james,l2),9)
terminates(move(james,l1,l2),at(james,l1),0)
terminates(move(james,l1,l2),at(james,l1),1)
terminates(move(james,l1,l2),at(james,l1),2)
terminates(move(james,l1,l2),at(james,l1),3)
terminates(move(james,l1,l2),at(james,l1),4)
terminates(move(james,l1,l2),at(james,l1),5)
terminates(move(james,l1,l2),at(james,l1),6)
terminates(move(james,l1,l2),at(james,l1),7)
terminates(move(james,l1,l2),at(james,l1),8)
terminates(move(james,l1,l2),at(james,l1),9)
terminates(move(james,l4,l1),at(james,l4),0)
terminates(move(james,l4,l1),at(james,l4),1)
terminates(move(james,l4,l1),at(james,l4),2)
terminates(move(james,l4,l1),at(james,l4),3)
terminates(move(james,l4,l1),at(james,l4),4)
terminates(move(james,l4,l1),at(james,l4),5)
terminates(move(james,l4,l1),at(james,l4),6)
terminates(move(james,l4,l1),at(james,l4),7)
terminates(move(james,l4,l1),at(james,l4),8)
terminates(move(james,l4,l1),at(james,l4),9)
terminates(move(james,l3,l1),at(james,l3),0)
terminates(move(james,l3,l1),at(james,l3),1)
terminates(move(james,l3,l1),at(james,l3),2)
terminates(move(james,l3,l1),at(james,l3),3)
terminates(move(james,l3,l1),at(james,l3),4)
terminates(move(james,l3,l1),at(james,l3),5)
terminates(move(james,l3,l1),at(james,l3),6)
terminates(move(james,l3,l1),at(james,l3),7)
terminates(move(james,l3,l1),at(james,l3),8)
terminates(move(james,l3,l1),at(james,l3),9)
terminates(move(james,l2,l1),at(james,l2),0)
terminates(move(james,l2,l1),at(james,l2),1)
terminates(move(james,l2,l1),at(james,l2),2)
terminates(move(james,l2,l1),at(james,l2),3)
terminates(move(james,l2,l1),at(james,l2),4)
terminates(move(james,l2,l1),at(james,l2),5)
terminates(move(james,l2,l1),at(james,l2),6)
terminates(move(james,l2,l1),at(james,l2),7)
terminates(move(james,l2,l1),at(james,l2),8)
terminates(move(james,l2,l1),at(james,l2),9)
terminates(move(james,l1,l1),at(james,l1),0)
terminates(move(james,l1,l1),at(james,l1),1)
terminates(move(james,l1,l1),at(james,l1),2)
terminates(move(james,l1,l1),at(james,l1),3)
terminates(move(james,l1,l1),at(james,l1),4)
terminates(move(james,l1,l1),at(james,l1),5)
terminates(move(james,l1,l1),at(james,l1),6)
terminates(move(james,l1,l1),at(james,l1),7)
terminates(move(james,l1,l1),at(james,l1),8)
terminates(move(james,l1,l1),at(james,l1),9)
terminates(set_down(james,coin),holding(james,coin),0)
terminates(set_down(james,coin),holding(james,coin),1)
terminates(set_down(james,coin),holding(james,coin),2)
terminates(set_down(james,coin),holding(james,coin),3)
terminates(set_down(james,coin),holding(james,coin),4)
terminates(set_down(james,coin),holding(james,coin),5)
terminates(set_down(james,coin),holding(james,coin),6)
terminates(set_down(james,coin),holding(james,coin),7)
terminates(set_down(james,coin),holding(james,coin),8)
terminates(set_down(james,coin),holding(james,coin),9)
object(james) object(coin) event(pick_up(james,coin))
event(set_down(james,coin)) event(move(james,l4,l4))
event(move(james,l3,l4)) event(move(james,l2,l4))
event(move(james,l1,l4)) event(move(james,l4,l3))
event(move(james,l3,l3)) event(move(james,l2,l3))
event(move(james,l1,l3)) event(move(james,l4,l2))
event(move(james,l3,l2)) event(move(james,l2,l2))
event(move(james,l1,l2)) event(move(james,l4,l1))
event(move(james,l3,l1)) event(move(james,l2,l1))
event(move(james,l1,l1)) released(at(coin,l4),3)
released(at(coin,l3),3) released(at(coin,l2),3)
released(at(coin,l1),3) terminated(at(james,l1),0)
terminated(at(james,l2),1) terminated(at(james,l3),2)
terminated(at(james,l4),4) terminated(at(james,l3),5)
terminated(holding(james,coin),6) terminated(at(james,l2),7)
terminated(at(james,l3),8) started_in(0,at(james,l4),3)
started_in(0,at(james,l4),4) started_in(0,at(james,l4),5)
started_in(0,at(james,l4),6) started_in(0,at(james,l4),7)
started_in(0,at(james,l4),8) started_in(0,at(james,l4),9)
started_in(0,at(james,l3),2) started_in(0,at(james,l3),3)
started_in(0,at(james,l3),4) started_in(0,at(james,l3),5)
started_in(0,at(james,l3),6) started_in(0,at(james,l3),7)
started_in(0,at(james,l3),8) started_in(0,at(james,l3),9)
started_in(0,at(james,l2),6) started_in(0,at(james,l2),7)
started_in(0,at(james,l2),8) started_in(0,at(james,l2),9)
started_in(0,at(coin,l2),7) started_in(0,at(coin,l2),8)
started_in(0,at(coin,l2),9) started_in(0,holding(james,coin),4)
started_in(0,holding(james,coin),5)
started_in(0,holding(james,coin),6)
started_in(0,holding(james,coin),7)
started_in(0,holding(james,coin),8)
started_in(0,holding(james,coin),9) started_in(1,at(james,l4),3)
started_in(1,at(james,l4),4) started_in(1,at(james,l4),5)
started_in(1,at(james,l4),6) started_in(1,at(james,l4),7)
started_in(1,at(james,l4),8) started_in(1,at(james,l4),9)
started_in(1,at(james,l3),5) started_in(1,at(james,l3),6)
started_in(1,at(james,l3),7) started_in(1,at(james,l3),8)
started_in(1,at(james,l3),9) started_in(1,at(james,l2),6)
started_in(1,at(james,l2),7) started_in(1,at(james,l2),8)
started_in(1,at(james,l2),9) started_in(1,at(coin,l2),7)
started_in(1,at(coin,l2),8) started_in(1,at(coin,l2),9)
started_in(1,holding(james,coin),4)
started_in(1,holding(james,coin),5)
started_in(1,holding(james,coin),6)
started_in(1,holding(james,coin),7)
started_in(1,holding(james,coin),8)
started_in(1,holding(james,coin),9) started_in(2,at(james,l4),9)
started_in(2,at(james,l3),5) started_in(2,at(james,l3),6)
started_in(2,at(james,l3),7) started_in(2,at(james,l3),8)
started_in(2,at(james,l3),9) started_in(2,at(james,l2),6)
started_in(2,at(james,l2),7) started_in(2,at(james,l2),8)
started_in(2,at(james,l2),9) started_in(2,at(coin,l2),7)
started_in(2,at(coin,l2),8) started_in(2,at(coin,l2),9)
started_in(2,holding(james,coin),4)
started_in(2,holding(james,coin),5)
started_in(2,holding(james,coin),6)
started_in(2,holding(james,coin),7)
started_in(2,holding(james,coin),8)
started_in(2,holding(james,coin),9) started_in(3,at(james,l4),9)
started_in(3,at(james,l3),5) started_in(3,at(james,l3),6)
started_in(3,at(james,l3),7) started_in(3,at(james,l3),8)
started_in(3,at(james,l3),9) started_in(3,at(james,l2),6)
started_in(3,at(james,l2),7) started_in(3,at(james,l2),8)
started_in(3,at(james,l2),9) started_in(3,at(coin,l2),7)
started_in(3,at(coin,l2),8) started_in(3,at(coin,l2),9)
started_in(4,at(james,l4),9) started_in(4,at(james,l3),8)
started_in(4,at(james,l3),9) started_in(4,at(james,l2),6)
started_in(4,at(james,l2),7) started_in(4,at(james,l2),8)
started_in(4,at(james,l2),9) started_in(4,at(coin,l2),7)
started_in(4,at(coin,l2),8) started_in(4,at(coin,l2),9)
started_in(5,at(james,l4),9) started_in(5,at(james,l3),8)
started_in(5,at(james,l3),9) started_in(5,at(coin,l2),7)
started_in(5,at(coin,l2),8) started_in(5,at(coin,l2),9)
started_in(6,at(james,l4),9) started_in(6,at(james,l3),8)
started_in(6,at(james,l3),9) started_in(7,at(james,l4),9)
stopped_in(0,at(james,l2),2) stopped_in(0,at(james,l2),3)
stopped_in(0,at(james,l2),4) stopped_in(0,at(james,l2),5)
stopped_in(0,at(james,l2),6) stopped_in(0,at(james,l2),7)
stopped_in(0,at(james,l2),8) stopped_in(0,at(james,l2),9)
stopped_in(0,at(james,l3),3) stopped_in(1,at(james,l3),3)
stopped_in(0,at(james,l3),4) stopped_in(1,at(james,l3),4)
stopped_in(0,at(james,l3),5) stopped_in(1,at(james,l3),5)
stopped_in(0,at(james,l3),6) stopped_in(1,at(james,l3),6)
stopped_in(0,at(james,l3),7) stopped_in(1,at(james,l3),7)
stopped_in(0,at(james,l3),8) stopped_in(1,at(james,l3),8)
stopped_in(0,at(james,l3),9) stopped_in(1,at(james,l3),9)
stopped_in(0,at(james,l4),5) stopped_in(1,at(james,l4),5)
stopped_in(2,at(james,l4),5) stopped_in(3,at(james,l4),5)
stopped_in(0,at(james,l4),6) stopped_in(1,at(james,l4),6)
stopped_in(2,at(james,l4),6) stopped_in(3,at(james,l4),6)
stopped_in(0,at(james,l4),7) stopped_in(1,at(james,l4),7)
stopped_in(2,at(james,l4),7) stopped_in(3,at(james,l4),7)
stopped_in(0,at(james,l4),8) stopped_in(1,at(james,l4),8)
stopped_in(2,at(james,l4),8) stopped_in(3,at(james,l4),8)
stopped_in(0,at(james,l4),9) stopped_in(1,at(james,l4),9)
stopped_in(2,at(james,l4),9) stopped_in(3,at(james,l4),9)
stopped_in(2,at(james,l3),6) stopped_in(3,at(james,l3),6)
stopped_in(4,at(james,l3),6) stopped_in(2,at(james,l3),7)
stopped_in(3,at(james,l3),7) stopped_in(4,at(james,l3),7)
stopped_in(2,at(james,l3),8) stopped_in(3,at(james,l3),8)
stopped_in(4,at(james,l3),8) stopped_in(2,at(james,l3),9)
stopped_in(3,at(james,l3),9) stopped_in(4,at(james,l3),9)
stopped_in(0,holding(james,coin),7)
stopped_in(1,holding(james,coin),7)
stopped_in(2,holding(james,coin),7)
stopped_in(3,holding(james,coin),7)
stopped_in(4,holding(james,coin),7)
stopped_in(5,holding(james,coin),7)
stopped_in(0,holding(james,coin),8)
stopped_in(1,holding(james,coin),8)
stopped_in(2,holding(james,coin),8)
stopped_in(3,holding(james,coin),8)
stopped_in(4,holding(james,coin),8)
stopped_in(5,holding(james,coin),8)
stopped_in(0,holding(james,coin),9)
stopped_in(1,holding(james,coin),9)
stopped_in(2,holding(james,coin),9)
stopped_in(3,holding(james,coin),9)
stopped_in(4,holding(james,coin),9)
stopped_in(5,holding(james,coin),9) stopped_in(1,at(james,l2),8)
stopped_in(2,at(james,l2),8) stopped_in(3,at(james,l2),8)
stopped_in(4,at(james,l2),8) stopped_in(5,at(james,l2),8)
stopped_in(6,at(james,l2),8) stopped_in(1,at(james,l2),9)
stopped_in(2,at(james,l2),9) stopped_in(3,at(james,l2),9)
stopped_in(4,at(james,l2),9) stopped_in(5,at(james,l2),9)
stopped_in(6,at(james,l2),9) stopped_in(5,at(james,l3),9)
stopped_in(6,at(james,l3),9) stopped_in(7,at(james,l3),9) True
Duration: 0.010 Number of choice points: 0 Number of wrong choices:
0 Number of atoms: 1463 Number of rules: 2794 Number of picked
atoms: 0 Number of forced atoms: 0 Number of truth assignments:
835 Size of searchspace (removed): 0 (0)