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,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,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,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(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,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)
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)
declipped(0,at(james,l4),3) declipped(1,at(james,l4),3)
declipped(2,at(james,l4),3) declipped(0,at(james,l4),4)
declipped(1,at(james,l4),4) declipped(2,at(james,l4),4)
declipped(5,at(james,l4),9) declipped(6,at(james,l4),9)
declipped(7,at(james,l4),9) declipped(8,at(james,l4),9)
declipped(0,at(james,l3),2) declipped(1,at(james,l3),2)
declipped(3,at(james,l3),5) declipped(4,at(james,l3),5)
declipped(6,at(james,l3),8) declipped(7,at(james,l3),8)
declipped(0,at(james,l2),1) declipped(2,at(james,l2),6)
declipped(3,at(james,l2),6) declipped(4,at(james,l2),6)
declipped(5,at(james,l2),6) declipped(2,at(james,l2),7)
declipped(3,at(james,l2),7) declipped(4,at(james,l2),7)
declipped(5,at(james,l2),7) 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,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,l2),4)
released_at(at(coin,l2),5) released_at(at(coin,l2),6)
declipped(0,at(coin,l2),7) declipped(1,at(coin,l2),7)
declipped(2,at(coin,l2),7) declipped(3,at(coin,l2),7)
declipped(4,at(coin,l2),7) declipped(5,at(coin,l2),7)
declipped(6,at(coin,l2),7) declipped(0,at(coin,l2),8)
declipped(1,at(coin,l2),8) declipped(2,at(coin,l2),8)
declipped(3,at(coin,l2),8) declipped(4,at(coin,l2),8)
declipped(5,at(coin,l2),8) declipped(6,at(coin,l2),8)
declipped(0,at(coin,l2),9) declipped(1,at(coin,l2),9)
declipped(2,at(coin,l2),9) declipped(3,at(coin,l2),9)
declipped(4,at(coin,l2),9) declipped(5,at(coin,l2),9)
declipped(6,at(coin,l2),9) 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) declipped(0,holding(james,coin),4)
declipped(1,holding(james,coin),4) declipped(2,holding(james,coin),4)
declipped(3,holding(james,coin),4) declipped(0,holding(james,coin),5)
declipped(1,holding(james,coin),5) declipped(2,holding(james,coin),5)
declipped(3,holding(james,coin),5) declipped(0,holding(james,coin),6)
declipped(1,holding(james,coin),6) declipped(2,holding(james,coin),6)
declipped(3,holding(james,coin),6) started_in(3,at(coin,l2),7)
started_in(3,at(coin,l2),8) started_in(3,at(coin,l2),9)
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)) released_at_between(0,at(coin,l4),4)
released_at_between(1,at(coin,l4),4)
released_at_between(2,at(coin,l4),4)
released_at_between(3,at(coin,l4),4)
released_at_between(0,at(coin,l4),5)
released_at_between(1,at(coin,l4),5)
released_at_between(2,at(coin,l4),5)
released_at_between(3,at(coin,l4),5)
released_at_between(4,at(coin,l4),5)
released_at_between(0,at(coin,l4),6)
released_at_between(1,at(coin,l4),6)
released_at_between(2,at(coin,l4),6)
released_at_between(3,at(coin,l4),6)
released_at_between(4,at(coin,l4),6)
released_at_between(5,at(coin,l4),6)
released_at_between(0,at(coin,l4),7)
released_at_between(1,at(coin,l4),7)
released_at_between(2,at(coin,l4),7)
released_at_between(3,at(coin,l4),7)
released_at_between(4,at(coin,l4),7)
released_at_between(5,at(coin,l4),7)
released_at_between(6,at(coin,l4),7)
released_at_between(0,at(coin,l4),8)
released_at_between(1,at(coin,l4),8)
released_at_between(2,at(coin,l4),8)
released_at_between(3,at(coin,l4),8)
released_at_between(4,at(coin,l4),8)
released_at_between(5,at(coin,l4),8)
released_at_between(6,at(coin,l4),8)
released_at_between(7,at(coin,l4),8)
released_at_between(0,at(coin,l4),9)
released_at_between(1,at(coin,l4),9)
released_at_between(2,at(coin,l4),9)
released_at_between(3,at(coin,l4),9)
released_at_between(4,at(coin,l4),9)
released_at_between(5,at(coin,l4),9)
released_at_between(6,at(coin,l4),9)
released_at_between(7,at(coin,l4),9)
released_at_between(8,at(coin,l4),9)
released_at_between(0,at(coin,l3),4)
released_at_between(1,at(coin,l3),4)
released_at_between(2,at(coin,l3),4)
released_at_between(3,at(coin,l3),4)
released_at_between(0,at(coin,l3),5)
released_at_between(1,at(coin,l3),5)
released_at_between(2,at(coin,l3),5)
released_at_between(3,at(coin,l3),5)
released_at_between(4,at(coin,l3),5)
released_at_between(0,at(coin,l3),6)
released_at_between(1,at(coin,l3),6)
released_at_between(2,at(coin,l3),6)
released_at_between(3,at(coin,l3),6)
released_at_between(4,at(coin,l3),6)
released_at_between(5,at(coin,l3),6)
released_at_between(0,at(coin,l3),7)
released_at_between(1,at(coin,l3),7)
released_at_between(2,at(coin,l3),7)
released_at_between(3,at(coin,l3),7)
released_at_between(4,at(coin,l3),7)
released_at_between(5,at(coin,l3),7)
released_at_between(6,at(coin,l3),7)
released_at_between(0,at(coin,l3),8)
released_at_between(1,at(coin,l3),8)
released_at_between(2,at(coin,l3),8)
released_at_between(3,at(coin,l3),8)
released_at_between(4,at(coin,l3),8)
released_at_between(5,at(coin,l3),8)
released_at_between(6,at(coin,l3),8)
released_at_between(7,at(coin,l3),8)
released_at_between(0,at(coin,l3),9)
released_at_between(1,at(coin,l3),9)
released_at_between(2,at(coin,l3),9)
released_at_between(3,at(coin,l3),9)
released_at_between(4,at(coin,l3),9)
released_at_between(5,at(coin,l3),9)
released_at_between(6,at(coin,l3),9)
released_at_between(7,at(coin,l3),9)
released_at_between(8,at(coin,l3),9)
released_at_between(0,at(coin,l2),4)
released_at_between(1,at(coin,l2),4)
released_at_between(2,at(coin,l2),4)
released_at_between(3,at(coin,l2),4)
released_at_between(0,at(coin,l2),5)
released_at_between(1,at(coin,l2),5)
released_at_between(2,at(coin,l2),5)
released_at_between(3,at(coin,l2),5)
released_at_between(4,at(coin,l2),5)
released_at_between(0,at(coin,l2),6)
released_at_between(1,at(coin,l2),6)
released_at_between(2,at(coin,l2),6)
released_at_between(3,at(coin,l2),6)
released_at_between(4,at(coin,l2),6)
released_at_between(5,at(coin,l2),6)
released_at_between(0,at(coin,l2),7)
released_at_between(1,at(coin,l2),7)
released_at_between(2,at(coin,l2),7)
released_at_between(3,at(coin,l2),7)
released_at_between(4,at(coin,l2),7)
released_at_between(5,at(coin,l2),7)
released_at_between(0,at(coin,l2),8)
released_at_between(1,at(coin,l2),8)
released_at_between(2,at(coin,l2),8)
released_at_between(3,at(coin,l2),8)
released_at_between(4,at(coin,l2),8)
released_at_between(5,at(coin,l2),8)
released_at_between(0,at(coin,l2),9)
released_at_between(1,at(coin,l2),9)
released_at_between(2,at(coin,l2),9)
released_at_between(3,at(coin,l2),9)
released_at_between(4,at(coin,l2),9)
released_at_between(5,at(coin,l2),9)
released_at_between(0,at(coin,l1),4)
released_at_between(1,at(coin,l1),4)
released_at_between(2,at(coin,l1),4)
released_at_between(3,at(coin,l1),4)
released_at_between(0,at(coin,l1),5)
released_at_between(1,at(coin,l1),5)
released_at_between(2,at(coin,l1),5)
released_at_between(3,at(coin,l1),5)
released_at_between(4,at(coin,l1),5)
released_at_between(0,at(coin,l1),6)
released_at_between(1,at(coin,l1),6)
released_at_between(2,at(coin,l1),6)
released_at_between(3,at(coin,l1),6)
released_at_between(4,at(coin,l1),6)
released_at_between(5,at(coin,l1),6)
released_at_between(0,at(coin,l1),7)
released_at_between(1,at(coin,l1),7)
released_at_between(2,at(coin,l1),7)
released_at_between(3,at(coin,l1),7)
released_at_between(4,at(coin,l1),7)
released_at_between(5,at(coin,l1),7)
released_at_between(6,at(coin,l1),7)
released_at_between(0,at(coin,l1),8)
released_at_between(1,at(coin,l1),8)
released_at_between(2,at(coin,l1),8)
released_at_between(3,at(coin,l1),8)
released_at_between(4,at(coin,l1),8)
released_at_between(5,at(coin,l1),8)
released_at_between(6,at(coin,l1),8)
released_at_between(7,at(coin,l1),8)
released_at_between(0,at(coin,l1),9)
released_at_between(1,at(coin,l1),9)
released_at_between(2,at(coin,l1),9)
released_at_between(3,at(coin,l1),9)
released_at_between(4,at(coin,l1),9)
released_at_between(5,at(coin,l1),9)
released_at_between(6,at(coin,l1),9)
released_at_between(7,at(coin,l1),9)
released_at_between(8,at(coin,l1),9) holds_at(holding(james,coin),4)
holds_at(holding(james,coin),5) holds_at(holding(james,coin),6)
-holds_at(at(james,l4),5) declipped(0,at(james,l4),5)
declipped(1,at(james,l4),5) declipped(2,at(james,l4),5)
-holds_at(at(james,l4),6) declipped(0,at(james,l4),6)
declipped(1,at(james,l4),6) declipped(2,at(james,l4),6)
-holds_at(at(james,l4),7) declipped(0,at(james,l4),7)
declipped(1,at(james,l4),7) declipped(2,at(james,l4),7)
-holds_at(at(james,l4),8) declipped(0,at(james,l4),8)
declipped(1,at(james,l4),8) declipped(2,at(james,l4),8)
declipped(0,at(james,l4),9) declipped(1,at(james,l4),9)
declipped(2,at(james,l4),9) declipped(3,at(james,l4),9)
declipped(4,at(james,l4),9) -holds_at(at(james,l3),3)
declipped(0,at(james,l3),3) declipped(1,at(james,l3),3)
-holds_at(at(james,l3),4) declipped(0,at(james,l3),4)
declipped(1,at(james,l3),4) declipped(0,at(james,l3),5)
declipped(1,at(james,l3),5) declipped(2,at(james,l3),5)
-holds_at(at(james,l3),6) declipped(0,at(james,l3),6)
declipped(1,at(james,l3),6) declipped(2,at(james,l3),6)
declipped(3,at(james,l3),6) declipped(4,at(james,l3),6)
-holds_at(at(james,l3),7) declipped(0,at(james,l3),7)
declipped(1,at(james,l3),7) declipped(2,at(james,l3),7)
declipped(3,at(james,l3),7) declipped(4,at(james,l3),7)
declipped(0,at(james,l3),8) declipped(1,at(james,l3),8)
declipped(2,at(james,l3),8) declipped(3,at(james,l3),8)
declipped(4,at(james,l3),8) declipped(5,at(james,l3),8)
-holds_at(at(james,l3),9) declipped(0,at(james,l3),9)
declipped(1,at(james,l3),9) declipped(2,at(james,l3),9)
declipped(3,at(james,l3),9) declipped(4,at(james,l3),9)
declipped(5,at(james,l3),9) declipped(6,at(james,l3),9)
declipped(7,at(james,l3),9) -holds_at(at(james,l2),2)
declipped(0,at(james,l2),2) -holds_at(at(james,l2),3)
declipped(0,at(james,l2),3) -holds_at(at(james,l2),4)
declipped(0,at(james,l2),4) -holds_at(at(james,l2),5)
declipped(0,at(james,l2),5) declipped(0,at(james,l2),6)
declipped(1,at(james,l2),6) declipped(0,at(james,l2),7)
declipped(1,at(james,l2),7) -holds_at(at(james,l2),8)
declipped(0,at(james,l2),8) declipped(1,at(james,l2),8)
declipped(2,at(james,l2),8) declipped(3,at(james,l2),8)
declipped(4,at(james,l2),8) declipped(5,at(james,l2),8)
-holds_at(at(james,l2),9) declipped(0,at(james,l2),9)
declipped(1,at(james,l2),9) declipped(2,at(james,l2),9)
declipped(3,at(james,l2),9) declipped(4,at(james,l2),9)
declipped(5,at(james,l2),9) -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(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) declipped(0,holding(james,coin),7)
declipped(1,holding(james,coin),7) declipped(2,holding(james,coin),7)
declipped(3,holding(james,coin),7) -holds_at(holding(james,coin),8)
declipped(0,holding(james,coin),8) declipped(1,holding(james,coin),8)
declipped(2,holding(james,coin),8) declipped(3,holding(james,coin),8)
-holds_at(holding(james,coin),9) declipped(0,holding(james,coin),9)
declipped(1,holding(james,coin),9) declipped(2,holding(james,coin),9)
declipped(3,holding(james,coin),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(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(4,at(james,l4),9) started_in(5,at(james,l3),8)
started_in(5,at(james,l3),9) 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_in(0,at(coin,l4),4) released_in(1,at(coin,l4),4)
released_in(2,at(coin,l4),4) released_in(0,at(coin,l4),5)
released_in(1,at(coin,l4),5) released_in(2,at(coin,l4),5)
released_in(0,at(coin,l4),6) released_in(1,at(coin,l4),6)
released_in(2,at(coin,l4),6) released_in(0,at(coin,l4),7)
released_in(1,at(coin,l4),7) released_in(2,at(coin,l4),7)
released_in(0,at(coin,l4),8) released_in(1,at(coin,l4),8)
released_in(2,at(coin,l4),8) released_in(0,at(coin,l4),9)
released_in(1,at(coin,l4),9) released_in(2,at(coin,l4),9)
released_in(0,at(coin,l3),4) released_in(1,at(coin,l3),4)
released_in(2,at(coin,l3),4) released_in(0,at(coin,l3),5)
released_in(1,at(coin,l3),5) released_in(2,at(coin,l3),5)
released_in(0,at(coin,l3),6) released_in(1,at(coin,l3),6)
released_in(2,at(coin,l3),6) released_in(0,at(coin,l3),7)
released_in(1,at(coin,l3),7) released_in(2,at(coin,l3),7)
released_in(0,at(coin,l3),8) released_in(1,at(coin,l3),8)
released_in(2,at(coin,l3),8) released_in(0,at(coin,l3),9)
released_in(1,at(coin,l3),9) released_in(2,at(coin,l3),9)
released_in(0,at(coin,l2),4) released_in(1,at(coin,l2),4)
released_in(2,at(coin,l2),4) released_in(0,at(coin,l2),5)
released_in(1,at(coin,l2),5) released_in(2,at(coin,l2),5)
released_in(0,at(coin,l2),6) released_in(1,at(coin,l2),6)
released_in(2,at(coin,l2),6) released_in(0,at(coin,l2),7)
released_in(1,at(coin,l2),7) released_in(2,at(coin,l2),7)
released_in(0,at(coin,l2),8) released_in(1,at(coin,l2),8)
released_in(2,at(coin,l2),8) released_in(0,at(coin,l2),9)
released_in(1,at(coin,l2),9) released_in(2,at(coin,l2),9)
released_in(0,at(coin,l1),4) released_in(1,at(coin,l1),4)
released_in(2,at(coin,l1),4) released_in(0,at(coin,l1),5)
released_in(1,at(coin,l1),5) released_in(2,at(coin,l1),5)
released_in(0,at(coin,l1),6) released_in(1,at(coin,l1),6)
released_in(2,at(coin,l1),6) released_in(0,at(coin,l1),7)
released_in(1,at(coin,l1),7) released_in(2,at(coin,l1),7)
released_in(0,at(coin,l1),8) released_in(1,at(coin,l1),8)
released_in(2,at(coin,l1),8) released_in(0,at(coin,l1),9)
released_in(1,at(coin,l1),9) released_in(2,at(coin,l1),9)
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(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,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(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(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)
released_between(0,at(coin,l4),4) released_between(1,at(coin,l4),4)
released_between(2,at(coin,l4),4) released_between(3,at(coin,l4),4)
released_between(0,at(coin,l4),5) released_between(1,at(coin,l4),5)
released_between(2,at(coin,l4),5) released_between(3,at(coin,l4),5)
released_between(0,at(coin,l4),6) released_between(1,at(coin,l4),6)
released_between(2,at(coin,l4),6) released_between(3,at(coin,l4),6)
released_between(0,at(coin,l4),7) released_between(1,at(coin,l4),7)
released_between(2,at(coin,l4),7) released_between(3,at(coin,l4),7)
released_between(0,at(coin,l4),8) released_between(1,at(coin,l4),8)
released_between(2,at(coin,l4),8) released_between(3,at(coin,l4),8)
released_between(0,at(coin,l4),9) released_between(1,at(coin,l4),9)
released_between(2,at(coin,l4),9) released_between(3,at(coin,l4),9)
released_between(0,at(coin,l3),4) released_between(1,at(coin,l3),4)
released_between(2,at(coin,l3),4) released_between(3,at(coin,l3),4)
released_between(0,at(coin,l3),5) released_between(1,at(coin,l3),5)
released_between(2,at(coin,l3),5) released_between(3,at(coin,l3),5)
released_between(0,at(coin,l3),6) released_between(1,at(coin,l3),6)
released_between(2,at(coin,l3),6) released_between(3,at(coin,l3),6)
released_between(0,at(coin,l3),7) released_between(1,at(coin,l3),7)
released_between(2,at(coin,l3),7) released_between(3,at(coin,l3),7)
released_between(0,at(coin,l3),8) released_between(1,at(coin,l3),8)
released_between(2,at(coin,l3),8) released_between(3,at(coin,l3),8)
released_between(0,at(coin,l3),9) released_between(1,at(coin,l3),9)
released_between(2,at(coin,l3),9) released_between(3,at(coin,l3),9)
released_between(0,at(coin,l2),4) released_between(1,at(coin,l2),4)
released_between(2,at(coin,l2),4) released_between(3,at(coin,l2),4)
released_between(0,at(coin,l2),5) released_between(1,at(coin,l2),5)
released_between(2,at(coin,l2),5) released_between(3,at(coin,l2),5)
released_between(0,at(coin,l2),6) released_between(1,at(coin,l2),6)
released_between(2,at(coin,l2),6) released_between(3,at(coin,l2),6)
released_between(0,at(coin,l2),7) released_between(1,at(coin,l2),7)
released_between(2,at(coin,l2),7) released_between(3,at(coin,l2),7)
released_between(0,at(coin,l2),8) released_between(1,at(coin,l2),8)
released_between(2,at(coin,l2),8) released_between(3,at(coin,l2),8)
released_between(0,at(coin,l2),9) released_between(1,at(coin,l2),9)
released_between(2,at(coin,l2),9) released_between(3,at(coin,l2),9)
released_between(0,at(coin,l1),4) released_between(1,at(coin,l1),4)
released_between(2,at(coin,l1),4) released_between(3,at(coin,l1),4)
released_between(0,at(coin,l1),5) released_between(1,at(coin,l1),5)
released_between(2,at(coin,l1),5) released_between(3,at(coin,l1),5)
released_between(0,at(coin,l1),6) released_between(1,at(coin,l1),6)
released_between(2,at(coin,l1),6) released_between(3,at(coin,l1),6)
released_between(0,at(coin,l1),7) released_between(1,at(coin,l1),7)
released_between(2,at(coin,l1),7) released_between(3,at(coin,l1),7)
released_between(0,at(coin,l1),8) released_between(1,at(coin,l1),8)
released_between(2,at(coin,l1),8) released_between(3,at(coin,l1),8)
released_between(0,at(coin,l1),9) released_between(1,at(coin,l1),9)
released_between(2,at(coin,l1),9) released_between(3,at(coin,l1),9)
clipped(0,at(james,l1),1) clipped(0,at(james,l1),2)
clipped(0,at(james,l1),3) clipped(0,at(james,l1),4)
clipped(0,at(james,l1),5) clipped(0,at(james,l1),6)
clipped(0,at(james,l1),7) clipped(0,at(james,l1),8)
clipped(0,at(james,l1),9) clipped(0,at(james,l2),2)
clipped(1,at(james,l2),2) clipped(0,at(james,l2),3)
clipped(1,at(james,l2),3) clipped(0,at(james,l2),4)
clipped(1,at(james,l2),4) clipped(0,at(james,l2),5)
clipped(1,at(james,l2),5) clipped(0,at(james,l2),6)
clipped(1,at(james,l2),6) clipped(0,at(james,l2),7)
clipped(1,at(james,l2),7) clipped(0,at(james,l2),8)
clipped(1,at(james,l2),8) clipped(0,at(james,l2),9)
clipped(1,at(james,l2),9) clipped(0,at(james,l3),3)
clipped(1,at(james,l3),3) clipped(2,at(james,l3),3)
clipped(0,at(james,l3),4) clipped(1,at(james,l3),4)
clipped(2,at(james,l3),4) clipped(0,at(james,l3),5)
clipped(1,at(james,l3),5) clipped(2,at(james,l3),5)
clipped(0,at(james,l3),6) clipped(1,at(james,l3),6)
clipped(2,at(james,l3),6) clipped(0,at(james,l3),7)
clipped(1,at(james,l3),7) clipped(2,at(james,l3),7)
clipped(0,at(james,l3),8) clipped(1,at(james,l3),8)
clipped(2,at(james,l3),8) clipped(0,at(james,l3),9)
clipped(1,at(james,l3),9) clipped(2,at(james,l3),9)
clipped(0,at(james,l4),5) clipped(1,at(james,l4),5)
clipped(2,at(james,l4),5) clipped(3,at(james,l4),5)
clipped(4,at(james,l4),5) clipped(0,at(james,l4),6)
clipped(1,at(james,l4),6) clipped(2,at(james,l4),6)
clipped(3,at(james,l4),6) clipped(4,at(james,l4),6)
clipped(0,at(james,l4),7) clipped(1,at(james,l4),7)
clipped(2,at(james,l4),7) clipped(3,at(james,l4),7)
clipped(4,at(james,l4),7) clipped(0,at(james,l4),8)
clipped(1,at(james,l4),8) clipped(2,at(james,l4),8)
clipped(3,at(james,l4),8) clipped(4,at(james,l4),8)
clipped(0,at(james,l4),9) clipped(1,at(james,l4),9)
clipped(2,at(james,l4),9) clipped(3,at(james,l4),9)
clipped(4,at(james,l4),9) clipped(3,at(james,l3),6)
clipped(4,at(james,l3),6) clipped(5,at(james,l3),6)
clipped(3,at(james,l3),7) clipped(4,at(james,l3),7)
clipped(5,at(james,l3),7) clipped(3,at(james,l3),8)
clipped(4,at(james,l3),8) clipped(5,at(james,l3),8)
clipped(3,at(james,l3),9) clipped(4,at(james,l3),9)
clipped(5,at(james,l3),9) clipped(0,holding(james,coin),7)
clipped(1,holding(james,coin),7) clipped(2,holding(james,coin),7)
clipped(3,holding(james,coin),7) clipped(4,holding(james,coin),7)
clipped(5,holding(james,coin),7) clipped(6,holding(james,coin),7)
clipped(0,holding(james,coin),8) clipped(1,holding(james,coin),8)
clipped(2,holding(james,coin),8) clipped(3,holding(james,coin),8)
clipped(4,holding(james,coin),8) clipped(5,holding(james,coin),8)
clipped(6,holding(james,coin),8) clipped(0,holding(james,coin),9)
clipped(1,holding(james,coin),9) clipped(2,holding(james,coin),9)
clipped(3,holding(james,coin),9) clipped(4,holding(james,coin),9)
clipped(5,holding(james,coin),9) clipped(6,holding(james,coin),9)
clipped(2,at(james,l2),8) clipped(3,at(james,l2),8)
clipped(4,at(james,l2),8) clipped(5,at(james,l2),8)
clipped(6,at(james,l2),8) clipped(7,at(james,l2),8)
clipped(2,at(james,l2),9) clipped(3,at(james,l2),9)
clipped(4,at(james,l2),9) clipped(5,at(james,l2),9)
clipped(6,at(james,l2),9) clipped(7,at(james,l2),9)
clipped(6,at(james,l3),9) clipped(7,at(james,l3),9)
clipped(8,at(james,l3),9) True Duration: 0.200 Number of choice
points: 0 Number of wrong choices: 0 Number of atoms: 2434 Number
of rules: 32630 Number of picked atoms: 0 Number of forced atoms:
0 Number of truth assignments: 1389 Size of searchspace (removed):
0 (0)