smodels version 2.28. Reading...done Answer: 1 Stable Model:
happens(tap_on,5) holds_at(filling,6) holds_at(filling,7)
holds_at(filling,8) holds_at(filling,9) holds_at(filling,10)
holds_at(filling,11) holds_at(filling,12) holds_at(filling,13)
holds_at(filling,14) happens(overflow,15) holds_at(has_height(10),15)
holds_at(filling,15) holds_at(has_height(10),16)
holds_at(has_height(10),17) holds_at(has_height(10),18)
holds_at(has_height(10),19) holds_at(has_height(10),20)
holds_at(has_height(10),21) holds_at(has_height(10),22)
holds_at(has_height(10),23) holds_at(has_height(10),24)
holds_at(has_height(10),25) holds_at(has_height(0),0)
holds_at(has_height(0),1) holds_at(has_height(0),2)
holds_at(has_height(0),3) holds_at(has_height(0),4)
holds_at(has_height(0),5) holds_at(has_height(1),6)
holds_at(has_height(2),7) holds_at(has_height(3),8)
holds_at(has_height(4),9) holds_at(has_height(5),10)
holds_at(has_height(6),11) holds_at(has_height(7),12)
holds_at(has_height(8),13) holds_at(has_height(9),14)
-released_at(spilling,1) -released_at(spilling,0)
-released_at(spilling,2) -released_at(spilling,3)
-released_at(spilling,4) -released_at(spilling,5)
-released_at(spilling,6) -released_at(spilling,7)
-released_at(spilling,8) -released_at(spilling,9)
-released_at(spilling,10) -released_at(spilling,11)
-released_at(spilling,12) -released_at(spilling,13)
-released_at(spilling,14) -released_at(spilling,15)
-released_at(spilling,16) -released_at(spilling,17)
-released_at(spilling,18) -released_at(spilling,19)
-released_at(spilling,20) -released_at(spilling,21)
-released_at(spilling,22) -released_at(spilling,23)
-released_at(spilling,24) -released_at(spilling,25)
-released_at(spilling,26) -released_at(filling,1)
-released_at(filling,0) -released_at(filling,2)
-released_at(filling,3) -released_at(filling,4)
-released_at(filling,5) -released_at(filling,6)
-released_at(filling,7) -released_at(filling,8)
-released_at(filling,9) -released_at(filling,10)
-released_at(filling,11) -released_at(filling,12)
-released_at(filling,13) -released_at(filling,14)
-released_at(filling,15) -released_at(filling,16)
-released_at(filling,17) -released_at(filling,18)
-released_at(filling,19) -released_at(filling,20)
-released_at(filling,21) -released_at(filling,22)
-released_at(filling,23) -released_at(filling,24)
-released_at(filling,25) -released_at(filling,26)
-released_at(has_height(0),1) -released_at(has_height(0),0)
-released_at(has_height(0),2) -released_at(has_height(0),3)
-released_at(has_height(0),4) -released_at(has_height(0),5)
released(has_height(0),5) -released_at(has_height(1),1)
-released_at(has_height(1),0) -released_at(has_height(1),2)
-released_at(has_height(1),3) -released_at(has_height(1),4)
-released_at(has_height(1),5) released(has_height(1),5)
-released_at(has_height(2),1) -released_at(has_height(2),0)
-released_at(has_height(2),2) -released_at(has_height(2),3)
-released_at(has_height(2),4) -released_at(has_height(2),5)
released(has_height(2),5) -released_at(has_height(3),1)
-released_at(has_height(3),0) -released_at(has_height(3),2)
-released_at(has_height(3),3) -released_at(has_height(3),4)
-released_at(has_height(3),5) released(has_height(3),5)
-released_at(has_height(4),1) -released_at(has_height(4),0)
-released_at(has_height(4),2) -released_at(has_height(4),3)
-released_at(has_height(4),4) -released_at(has_height(4),5)
released(has_height(4),5) -released_at(has_height(5),1)
-released_at(has_height(5),0) -released_at(has_height(5),2)
-released_at(has_height(5),3) -released_at(has_height(5),4)
-released_at(has_height(5),5) released(has_height(5),5)
-released_at(has_height(6),1) -released_at(has_height(6),0)
-released_at(has_height(6),2) -released_at(has_height(6),3)
-released_at(has_height(6),4) -released_at(has_height(6),5)
released(has_height(6),5) -released_at(has_height(7),1)
-released_at(has_height(7),0) -released_at(has_height(7),2)
-released_at(has_height(7),3) -released_at(has_height(7),4)
-released_at(has_height(7),5) released(has_height(7),5)
-released_at(has_height(8),1) -released_at(has_height(8),0)
-released_at(has_height(8),2) -released_at(has_height(8),3)
-released_at(has_height(8),4) -released_at(has_height(8),5)
released(has_height(8),5) -released_at(has_height(9),1)
-released_at(has_height(9),0) -released_at(has_height(9),2)
-released_at(has_height(9),3) -released_at(has_height(9),4)
-released_at(has_height(9),5) released(has_height(9),5)
-released_at(has_height(10),1) -released_at(has_height(10),0)
-released_at(has_height(10),2) -released_at(has_height(10),3)
-released_at(has_height(10),4) -released_at(has_height(10),5)
released(has_height(10),5) -released_at(has_height(10),16)
-released_at(has_height(10),17) -released_at(has_height(10),18)
-released_at(has_height(10),19) -released_at(has_height(10),20)
-released_at(has_height(10),21) -released_at(has_height(10),22)
-released_at(has_height(10),23) -released_at(has_height(10),24)
-released_at(has_height(10),25) -released_at(has_height(10),26)
-released_at(has_height(11),1) -released_at(has_height(11),0)
-released_at(has_height(11),2) -released_at(has_height(11),3)
-released_at(has_height(11),4) -released_at(has_height(11),5)
released(has_height(11),5) -released_at(has_height(12),1)
-released_at(has_height(12),0) -released_at(has_height(12),2)
-released_at(has_height(12),3) -released_at(has_height(12),4)
-released_at(has_height(12),5) released(has_height(12),5)
-released_at(has_height(13),1) -released_at(has_height(13),0)
-released_at(has_height(13),2) -released_at(has_height(13),3)
-released_at(has_height(13),4) -released_at(has_height(13),5)
released(has_height(13),5) -released_at(has_height(14),1)
-released_at(has_height(14),0) -released_at(has_height(14),2)
-released_at(has_height(14),3) -released_at(has_height(14),4)
-released_at(has_height(14),5) released(has_height(14),5)
-released_at(has_height(15),1) -released_at(has_height(15),0)
-released_at(has_height(15),2) -released_at(has_height(15),3)
-released_at(has_height(15),4) -released_at(has_height(15),5)
released(has_height(15),5) -released_at(has_height(16),1)
-released_at(has_height(16),0) -released_at(has_height(16),2)
-released_at(has_height(16),3) -released_at(has_height(16),4)
-released_at(has_height(16),5) released(has_height(16),5)
-released_at(has_height(17),1) -released_at(has_height(17),0)
-released_at(has_height(17),2) -released_at(has_height(17),3)
-released_at(has_height(17),4) -released_at(has_height(17),5)
released(has_height(17),5) -released_at(has_height(18),1)
-released_at(has_height(18),0) -released_at(has_height(18),2)
-released_at(has_height(18),3) -released_at(has_height(18),4)
-released_at(has_height(18),5) released(has_height(18),5)
-released_at(has_height(19),1) -released_at(has_height(19),0)
-released_at(has_height(19),2) -released_at(has_height(19),3)
-released_at(has_height(19),4) -released_at(has_height(19),5)
released(has_height(19),5) -released_at(has_height(20),1)
-released_at(has_height(20),0) -released_at(has_height(20),2)
-released_at(has_height(20),3) -released_at(has_height(20),4)
-released_at(has_height(20),5) released(has_height(20),5)
initiates(overflow,spilling,0) initiates(overflow,spilling,1)
initiates(overflow,spilling,2) initiates(overflow,spilling,3)
initiates(overflow,spilling,4) initiates(overflow,spilling,5)
initiates(overflow,spilling,6) initiates(overflow,spilling,7)
initiates(overflow,spilling,8) initiates(overflow,spilling,9)
initiates(overflow,spilling,10) initiates(overflow,spilling,11)
initiates(overflow,spilling,12) initiates(overflow,spilling,13)
initiates(overflow,spilling,14) initiates(overflow,spilling,15)
initiates(overflow,spilling,16) initiates(overflow,spilling,17)
initiates(overflow,spilling,18) initiates(overflow,spilling,19)
initiates(overflow,spilling,20) initiates(overflow,spilling,21)
initiates(overflow,spilling,22) initiates(overflow,spilling,23)
initiates(overflow,spilling,24) initiates(overflow,spilling,25)
initiates(overflow,has_height(0),0)
initiates(overflow,has_height(0),1)
initiates(overflow,has_height(0),2)
initiates(overflow,has_height(0),3)
initiates(overflow,has_height(0),4)
initiates(overflow,has_height(0),5)
initiates(overflow,has_height(1),6)
initiates(overflow,has_height(2),7)
initiates(overflow,has_height(3),8)
initiates(overflow,has_height(4),9)
initiates(overflow,has_height(5),10)
initiates(overflow,has_height(6),11)
initiates(overflow,has_height(7),12)
initiates(overflow,has_height(8),13)
initiates(overflow,has_height(9),14)
initiates(overflow,has_height(10),15)
initiates(overflow,has_height(10),16)
initiates(overflow,has_height(10),17)
initiates(overflow,has_height(10),18)
initiates(overflow,has_height(10),19)
initiates(overflow,has_height(10),20)
initiates(overflow,has_height(10),21)
initiates(overflow,has_height(10),22)
initiates(overflow,has_height(10),23)
initiates(overflow,has_height(10),24)
initiates(overflow,has_height(10),25)
initiates(tap_off,has_height(0),0) initiates(tap_off,has_height(0),1)
initiates(tap_off,has_height(0),2) initiates(tap_off,has_height(0),3)
initiates(tap_off,has_height(0),4) initiates(tap_off,has_height(0),5)
initiates(tap_off,has_height(1),6) initiates(tap_off,has_height(2),7)
initiates(tap_off,has_height(3),8) initiates(tap_off,has_height(4),9)
initiates(tap_off,has_height(5),10)
initiates(tap_off,has_height(6),11)
initiates(tap_off,has_height(7),12)
initiates(tap_off,has_height(8),13)
initiates(tap_off,has_height(9),14)
initiates(tap_off,has_height(10),15)
initiates(tap_off,has_height(10),16)
initiates(tap_off,has_height(10),17)
initiates(tap_off,has_height(10),18)
initiates(tap_off,has_height(10),19)
initiates(tap_off,has_height(10),20)
initiates(tap_off,has_height(10),21)
initiates(tap_off,has_height(10),22)
initiates(tap_off,has_height(10),23)
initiates(tap_off,has_height(10),24)
initiates(tap_off,has_height(10),25) initiates(tap_on,filling,0)
initiates(tap_on,filling,1) initiates(tap_on,filling,2)
initiates(tap_on,filling,3) initiates(tap_on,filling,4)
initiates(tap_on,filling,5) initiates(tap_on,filling,6)
initiates(tap_on,filling,7) initiates(tap_on,filling,8)
initiates(tap_on,filling,9) initiates(tap_on,filling,10)
initiates(tap_on,filling,11) initiates(tap_on,filling,12)
initiates(tap_on,filling,13) initiates(tap_on,filling,14)
initiates(tap_on,filling,15) initiates(tap_on,filling,16)
initiates(tap_on,filling,17) initiates(tap_on,filling,18)
initiates(tap_on,filling,19) initiates(tap_on,filling,20)
initiates(tap_on,filling,21) initiates(tap_on,filling,22)
initiates(tap_on,filling,23) initiates(tap_on,filling,24)
initiates(tap_on,filling,25) initiated(spilling,15)
initiated(filling,5) terminated(filling,15)
released_at(has_height(0),6) released_at(has_height(0),7)
released_at(has_height(0),8) released_at(has_height(0),9)
released_at(has_height(0),10) released_at(has_height(0),11)
released_at(has_height(0),12) released_at(has_height(0),13)
released_at(has_height(0),14) released_at(has_height(0),15)
released_at(has_height(0),16) released_at(has_height(0),17)
released_at(has_height(0),18) released_at(has_height(0),19)
released_at(has_height(0),20) released_at(has_height(0),21)
released_at(has_height(0),22) released_at(has_height(0),23)
released_at(has_height(0),24) released_at(has_height(0),25)
released_at(has_height(0),26) released_at(has_height(1),6)
released_at(has_height(1),7) released_at(has_height(1),8)
released_at(has_height(1),9) released_at(has_height(1),10)
released_at(has_height(1),11) released_at(has_height(1),12)
released_at(has_height(1),13) released_at(has_height(1),14)
released_at(has_height(1),15) released_at(has_height(1),16)
released_at(has_height(1),17) released_at(has_height(1),18)
released_at(has_height(1),19) released_at(has_height(1),20)
released_at(has_height(1),21) released_at(has_height(1),22)
released_at(has_height(1),23) released_at(has_height(1),24)
released_at(has_height(1),25) released_at(has_height(1),26)
released_at(has_height(2),6) released_at(has_height(2),7)
released_at(has_height(2),8) released_at(has_height(2),9)
released_at(has_height(2),10) released_at(has_height(2),11)
released_at(has_height(2),12) released_at(has_height(2),13)
released_at(has_height(2),14) released_at(has_height(2),15)
released_at(has_height(2),16) released_at(has_height(2),17)
released_at(has_height(2),18) released_at(has_height(2),19)
released_at(has_height(2),20) released_at(has_height(2),21)
released_at(has_height(2),22) released_at(has_height(2),23)
released_at(has_height(2),24) released_at(has_height(2),25)
released_at(has_height(2),26) released_at(has_height(3),6)
released_at(has_height(3),7) released_at(has_height(3),8)
released_at(has_height(3),9) released_at(has_height(3),10)
released_at(has_height(3),11) released_at(has_height(3),12)
released_at(has_height(3),13) released_at(has_height(3),14)
released_at(has_height(3),15) released_at(has_height(3),16)
released_at(has_height(3),17) released_at(has_height(3),18)
released_at(has_height(3),19) released_at(has_height(3),20)
released_at(has_height(3),21) released_at(has_height(3),22)
released_at(has_height(3),23) released_at(has_height(3),24)
released_at(has_height(3),25) released_at(has_height(3),26)
released_at(has_height(4),6) released_at(has_height(4),7)
released_at(has_height(4),8) released_at(has_height(4),9)
released_at(has_height(4),10) released_at(has_height(4),11)
released_at(has_height(4),12) released_at(has_height(4),13)
released_at(has_height(4),14) released_at(has_height(4),15)
released_at(has_height(4),16) released_at(has_height(4),17)
released_at(has_height(4),18) released_at(has_height(4),19)
released_at(has_height(4),20) released_at(has_height(4),21)
released_at(has_height(4),22) released_at(has_height(4),23)
released_at(has_height(4),24) released_at(has_height(4),25)
released_at(has_height(4),26) released_at(has_height(5),6)
released_at(has_height(5),7) released_at(has_height(5),8)
released_at(has_height(5),9) released_at(has_height(5),10)
released_at(has_height(5),11) released_at(has_height(5),12)
released_at(has_height(5),13) released_at(has_height(5),14)
released_at(has_height(5),15) released_at(has_height(5),16)
released_at(has_height(5),17) released_at(has_height(5),18)
released_at(has_height(5),19) released_at(has_height(5),20)
released_at(has_height(5),21) released_at(has_height(5),22)
released_at(has_height(5),23) released_at(has_height(5),24)
released_at(has_height(5),25) released_at(has_height(5),26)
released_at(has_height(6),6) released_at(has_height(6),7)
released_at(has_height(6),8) released_at(has_height(6),9)
released_at(has_height(6),10) released_at(has_height(6),11)
released_at(has_height(6),12) released_at(has_height(6),13)
released_at(has_height(6),14) released_at(has_height(6),15)
released_at(has_height(6),16) released_at(has_height(6),17)
released_at(has_height(6),18) released_at(has_height(6),19)
released_at(has_height(6),20) released_at(has_height(6),21)
released_at(has_height(6),22) released_at(has_height(6),23)
released_at(has_height(6),24) released_at(has_height(6),25)
released_at(has_height(6),26) released_at(has_height(7),6)
released_at(has_height(7),7) released_at(has_height(7),8)
released_at(has_height(7),9) released_at(has_height(7),10)
released_at(has_height(7),11) released_at(has_height(7),12)
released_at(has_height(7),13) released_at(has_height(7),14)
released_at(has_height(7),15) released_at(has_height(7),16)
released_at(has_height(7),17) released_at(has_height(7),18)
released_at(has_height(7),19) released_at(has_height(7),20)
released_at(has_height(7),21) released_at(has_height(7),22)
released_at(has_height(7),23) released_at(has_height(7),24)
released_at(has_height(7),25) released_at(has_height(7),26)
released_at(has_height(8),6) released_at(has_height(8),7)
released_at(has_height(8),8) released_at(has_height(8),9)
released_at(has_height(8),10) released_at(has_height(8),11)
released_at(has_height(8),12) released_at(has_height(8),13)
released_at(has_height(8),14) released_at(has_height(8),15)
released_at(has_height(8),16) released_at(has_height(8),17)
released_at(has_height(8),18) released_at(has_height(8),19)
released_at(has_height(8),20) released_at(has_height(8),21)
released_at(has_height(8),22) released_at(has_height(8),23)
released_at(has_height(8),24) released_at(has_height(8),25)
released_at(has_height(8),26) released_at(has_height(9),6)
released_at(has_height(9),7) released_at(has_height(9),8)
released_at(has_height(9),9) released_at(has_height(9),10)
released_at(has_height(9),11) released_at(has_height(9),12)
released_at(has_height(9),13) released_at(has_height(9),14)
released_at(has_height(9),15) released_at(has_height(9),16)
released_at(has_height(9),17) released_at(has_height(9),18)
released_at(has_height(9),19) released_at(has_height(9),20)
released_at(has_height(9),21) released_at(has_height(9),22)
released_at(has_height(9),23) released_at(has_height(9),24)
released_at(has_height(9),25) released_at(has_height(9),26)
released_at(has_height(10),6) released_at(has_height(10),7)
released_at(has_height(10),8) released_at(has_height(10),9)
released_at(has_height(10),10) released_at(has_height(10),11)
released_at(has_height(10),12) released_at(has_height(10),13)
released_at(has_height(10),14) released_at(has_height(10),15)
initiated(has_height(10),15) released_at(has_height(11),6)
released_at(has_height(11),7) released_at(has_height(11),8)
released_at(has_height(11),9) released_at(has_height(11),10)
released_at(has_height(11),11) released_at(has_height(11),12)
released_at(has_height(11),13) released_at(has_height(11),14)
released_at(has_height(11),15) released_at(has_height(11),16)
released_at(has_height(11),17) released_at(has_height(11),18)
released_at(has_height(11),19) released_at(has_height(11),20)
released_at(has_height(11),21) released_at(has_height(11),22)
released_at(has_height(11),23) released_at(has_height(11),24)
released_at(has_height(11),25) released_at(has_height(11),26)
released_at(has_height(12),6) released_at(has_height(12),7)
released_at(has_height(12),8) released_at(has_height(12),9)
released_at(has_height(12),10) released_at(has_height(12),11)
released_at(has_height(12),12) released_at(has_height(12),13)
released_at(has_height(12),14) released_at(has_height(12),15)
released_at(has_height(12),16) released_at(has_height(12),17)
released_at(has_height(12),18) released_at(has_height(12),19)
released_at(has_height(12),20) released_at(has_height(12),21)
released_at(has_height(12),22) released_at(has_height(12),23)
released_at(has_height(12),24) released_at(has_height(12),25)
released_at(has_height(12),26) released_at(has_height(13),6)
released_at(has_height(13),7) released_at(has_height(13),8)
released_at(has_height(13),9) released_at(has_height(13),10)
released_at(has_height(13),11) released_at(has_height(13),12)
released_at(has_height(13),13) released_at(has_height(13),14)
released_at(has_height(13),15) released_at(has_height(13),16)
released_at(has_height(13),17) released_at(has_height(13),18)
released_at(has_height(13),19) released_at(has_height(13),20)
released_at(has_height(13),21) released_at(has_height(13),22)
released_at(has_height(13),23) released_at(has_height(13),24)
released_at(has_height(13),25) released_at(has_height(13),26)
released_at(has_height(14),6) released_at(has_height(14),7)
released_at(has_height(14),8) released_at(has_height(14),9)
released_at(has_height(14),10) released_at(has_height(14),11)
released_at(has_height(14),12) released_at(has_height(14),13)
released_at(has_height(14),14) released_at(has_height(14),15)
released_at(has_height(14),16) released_at(has_height(14),17)
released_at(has_height(14),18) released_at(has_height(14),19)
released_at(has_height(14),20) released_at(has_height(14),21)
released_at(has_height(14),22) released_at(has_height(14),23)
released_at(has_height(14),24) released_at(has_height(14),25)
released_at(has_height(14),26) released_at(has_height(15),6)
released_at(has_height(15),7) released_at(has_height(15),8)
released_at(has_height(15),9) released_at(has_height(15),10)
released_at(has_height(15),11) released_at(has_height(15),12)
released_at(has_height(15),13) released_at(has_height(15),14)
released_at(has_height(15),15) released_at(has_height(15),16)
released_at(has_height(15),17) released_at(has_height(15),18)
released_at(has_height(15),19) released_at(has_height(15),20)
released_at(has_height(15),21) released_at(has_height(15),22)
released_at(has_height(15),23) released_at(has_height(15),24)
released_at(has_height(15),25) released_at(has_height(15),26)
released_at(has_height(16),6) released_at(has_height(16),7)
released_at(has_height(16),8) released_at(has_height(16),9)
released_at(has_height(16),10) released_at(has_height(16),11)
released_at(has_height(16),12) released_at(has_height(16),13)
released_at(has_height(16),14) released_at(has_height(16),15)
released_at(has_height(16),16) released_at(has_height(16),17)
released_at(has_height(16),18) released_at(has_height(16),19)
released_at(has_height(16),20) released_at(has_height(16),21)
released_at(has_height(16),22) released_at(has_height(16),23)
released_at(has_height(16),24) released_at(has_height(16),25)
released_at(has_height(16),26) released_at(has_height(17),6)
released_at(has_height(17),7) released_at(has_height(17),8)
released_at(has_height(17),9) released_at(has_height(17),10)
released_at(has_height(17),11) released_at(has_height(17),12)
released_at(has_height(17),13) released_at(has_height(17),14)
released_at(has_height(17),15) released_at(has_height(17),16)
released_at(has_height(17),17) released_at(has_height(17),18)
released_at(has_height(17),19) released_at(has_height(17),20)
released_at(has_height(17),21) released_at(has_height(17),22)
released_at(has_height(17),23) released_at(has_height(17),24)
released_at(has_height(17),25) released_at(has_height(17),26)
released_at(has_height(18),6) released_at(has_height(18),7)
released_at(has_height(18),8) released_at(has_height(18),9)
released_at(has_height(18),10) released_at(has_height(18),11)
released_at(has_height(18),12) released_at(has_height(18),13)
released_at(has_height(18),14) released_at(has_height(18),15)
released_at(has_height(18),16) released_at(has_height(18),17)
released_at(has_height(18),18) released_at(has_height(18),19)
released_at(has_height(18),20) released_at(has_height(18),21)
released_at(has_height(18),22) released_at(has_height(18),23)
released_at(has_height(18),24) released_at(has_height(18),25)
released_at(has_height(18),26) released_at(has_height(19),6)
released_at(has_height(19),7) released_at(has_height(19),8)
released_at(has_height(19),9) released_at(has_height(19),10)
released_at(has_height(19),11) released_at(has_height(19),12)
released_at(has_height(19),13) released_at(has_height(19),14)
released_at(has_height(19),15) released_at(has_height(19),16)
released_at(has_height(19),17) released_at(has_height(19),18)
released_at(has_height(19),19) released_at(has_height(19),20)
released_at(has_height(19),21) released_at(has_height(19),22)
released_at(has_height(19),23) released_at(has_height(19),24)
released_at(has_height(19),25) released_at(has_height(19),26)
released_at(has_height(20),6) released_at(has_height(20),7)
released_at(has_height(20),8) released_at(has_height(20),9)
released_at(has_height(20),10) released_at(has_height(20),11)
released_at(has_height(20),12) released_at(has_height(20),13)
released_at(has_height(20),14) released_at(has_height(20),15)
released_at(has_height(20),16) released_at(has_height(20),17)
released_at(has_height(20),18) released_at(has_height(20),19)
released_at(has_height(20),20) released_at(has_height(20),21)
released_at(has_height(20),22) released_at(has_height(20),23)
released_at(has_height(20),24) released_at(has_height(20),25)
released_at(has_height(20),26) fluent(spilling) fluent(filling)
fluent(has_height(0)) fluent(has_height(1)) fluent(has_height(2))
fluent(has_height(3)) fluent(has_height(4)) fluent(has_height(5))
fluent(has_height(6)) fluent(has_height(7)) fluent(has_height(8))
fluent(has_height(9)) fluent(has_height(10)) fluent(has_height(11))
fluent(has_height(12)) fluent(has_height(13)) fluent(has_height(14))
fluent(has_height(15)) fluent(has_height(16)) fluent(has_height(17))
fluent(has_height(18)) fluent(has_height(19)) fluent(has_height(20))
-holds_at(spilling,0) -holds_at(filling,0) -holds_at(spilling,1)
-holds_at(spilling,2) -holds_at(spilling,3) -holds_at(spilling,4)
-holds_at(spilling,5) -holds_at(spilling,6) -holds_at(spilling,7)
-holds_at(spilling,8) -holds_at(spilling,9) -holds_at(spilling,10)
-holds_at(spilling,11) -holds_at(spilling,12) -holds_at(spilling,13)
-holds_at(spilling,14) -holds_at(spilling,15) -holds_at(filling,1)
-holds_at(filling,2) -holds_at(filling,3) -holds_at(filling,4)
-holds_at(filling,5) -holds_at(filling,16) -holds_at(filling,17)
-holds_at(filling,18) -holds_at(filling,19) -holds_at(filling,20)
-holds_at(filling,21) -holds_at(filling,22) -holds_at(filling,23)
-holds_at(filling,24) -holds_at(filling,25) -holds_at(filling,26)
holds_at(spilling,16) holds_at(spilling,17) holds_at(spilling,18)
holds_at(spilling,19) holds_at(spilling,20) holds_at(spilling,21)
holds_at(spilling,22) holds_at(spilling,23) holds_at(spilling,24)
holds_at(spilling,25) holds_at(spilling,26) stopped_in(14,filling,16)
stopped_in(13,filling,16) stopped_in(14,filling,17)
stopped_in(12,filling,16) stopped_in(13,filling,17)
stopped_in(14,filling,18) stopped_in(11,filling,16)
stopped_in(12,filling,17) stopped_in(13,filling,18)
stopped_in(14,filling,19) stopped_in(10,filling,16)
stopped_in(11,filling,17) stopped_in(12,filling,18)
stopped_in(13,filling,19) stopped_in(14,filling,20)
stopped_in(9,filling,16) stopped_in(10,filling,17)
stopped_in(11,filling,18) stopped_in(12,filling,19)
stopped_in(13,filling,20) stopped_in(14,filling,21)
stopped_in(8,filling,16) stopped_in(9,filling,17)
stopped_in(10,filling,18) stopped_in(11,filling,19)
stopped_in(12,filling,20) stopped_in(13,filling,21)
stopped_in(14,filling,22) stopped_in(7,filling,16)
stopped_in(8,filling,17) stopped_in(9,filling,18)
stopped_in(10,filling,19) stopped_in(11,filling,20)
stopped_in(12,filling,21) stopped_in(13,filling,22)
stopped_in(14,filling,23) stopped_in(6,filling,16)
stopped_in(7,filling,17) stopped_in(8,filling,18)
stopped_in(9,filling,19) stopped_in(10,filling,20)
stopped_in(11,filling,21) stopped_in(12,filling,22)
stopped_in(13,filling,23) stopped_in(14,filling,24)
stopped_in(5,filling,16) stopped_in(6,filling,17)
stopped_in(7,filling,18) stopped_in(8,filling,19)
stopped_in(9,filling,20) stopped_in(10,filling,21)
stopped_in(11,filling,22) stopped_in(12,filling,23)
stopped_in(13,filling,24) stopped_in(14,filling,25)
stopped_in(4,filling,16) stopped_in(5,filling,17)
stopped_in(6,filling,18) stopped_in(7,filling,19)
stopped_in(8,filling,20) stopped_in(9,filling,21)
stopped_in(10,filling,22) stopped_in(11,filling,23)
stopped_in(12,filling,24) stopped_in(13,filling,25)
stopped_in(3,filling,16) stopped_in(4,filling,17)
stopped_in(5,filling,18) stopped_in(6,filling,19)
stopped_in(7,filling,20) stopped_in(8,filling,21)
stopped_in(9,filling,22) stopped_in(10,filling,23)
stopped_in(11,filling,24) stopped_in(12,filling,25)
stopped_in(2,filling,16) stopped_in(3,filling,17)
stopped_in(4,filling,18) stopped_in(5,filling,19)
stopped_in(6,filling,20) stopped_in(7,filling,21)
stopped_in(8,filling,22) stopped_in(9,filling,23)
stopped_in(10,filling,24) stopped_in(11,filling,25)
stopped_in(1,filling,16) stopped_in(2,filling,17)
stopped_in(3,filling,18) stopped_in(4,filling,19)
stopped_in(5,filling,20) stopped_in(6,filling,21)
stopped_in(7,filling,22) stopped_in(8,filling,23)
stopped_in(9,filling,24) stopped_in(10,filling,25)
stopped_in(0,filling,16) stopped_in(1,filling,17)
stopped_in(2,filling,18) stopped_in(3,filling,19)
stopped_in(4,filling,20) stopped_in(5,filling,21)
stopped_in(6,filling,22) stopped_in(7,filling,23)
stopped_in(8,filling,24) stopped_in(9,filling,25)
stopped_in(0,filling,17) stopped_in(1,filling,18)
stopped_in(2,filling,19) stopped_in(3,filling,20)
stopped_in(4,filling,21) stopped_in(5,filling,22)
stopped_in(6,filling,23) stopped_in(7,filling,24)
stopped_in(8,filling,25) stopped_in(0,filling,18)
stopped_in(1,filling,19) stopped_in(2,filling,20)
stopped_in(3,filling,21) stopped_in(4,filling,22)
stopped_in(5,filling,23) stopped_in(6,filling,24)
stopped_in(7,filling,25) stopped_in(0,filling,19)
stopped_in(1,filling,20) stopped_in(2,filling,21)
stopped_in(3,filling,22) stopped_in(4,filling,23)
stopped_in(5,filling,24) stopped_in(6,filling,25)
stopped_in(0,filling,20) stopped_in(1,filling,21)
stopped_in(2,filling,22) stopped_in(3,filling,23)
stopped_in(4,filling,24) stopped_in(5,filling,25)
stopped_in(0,filling,21) stopped_in(1,filling,22)
stopped_in(2,filling,23) stopped_in(3,filling,24)
stopped_in(4,filling,25) stopped_in(0,filling,22)
stopped_in(1,filling,23) stopped_in(2,filling,24)
stopped_in(3,filling,25) stopped_in(0,filling,23)
stopped_in(1,filling,24) stopped_in(2,filling,25)
stopped_in(0,filling,24) stopped_in(1,filling,25)
stopped_in(0,filling,25) trajectory(filling,0,has_height(1),1)
trajectory(filling,1,has_height(1),1)
trajectory(filling,2,has_height(1),1)
trajectory(filling,3,has_height(1),1)
trajectory(filling,4,has_height(1),1)
trajectory(filling,5,has_height(1),1)
trajectory(filling,6,has_height(2),1)
trajectory(filling,0,has_height(2),2)
trajectory(filling,1,has_height(2),2)
trajectory(filling,2,has_height(2),2)
trajectory(filling,3,has_height(2),2)
trajectory(filling,4,has_height(2),2)
trajectory(filling,5,has_height(2),2)
trajectory(filling,7,has_height(3),1)
trajectory(filling,6,has_height(3),2)
trajectory(filling,0,has_height(3),3)
trajectory(filling,1,has_height(3),3)
trajectory(filling,2,has_height(3),3)
trajectory(filling,3,has_height(3),3)
trajectory(filling,4,has_height(3),3)
trajectory(filling,5,has_height(3),3)
trajectory(filling,8,has_height(4),1)
trajectory(filling,7,has_height(4),2)
trajectory(filling,6,has_height(4),3)
trajectory(filling,0,has_height(4),4)
trajectory(filling,1,has_height(4),4)
trajectory(filling,2,has_height(4),4)
trajectory(filling,3,has_height(4),4)
trajectory(filling,4,has_height(4),4)
trajectory(filling,5,has_height(4),4)
trajectory(filling,9,has_height(5),1)
trajectory(filling,8,has_height(5),2)
trajectory(filling,7,has_height(5),3)
trajectory(filling,6,has_height(5),4)
trajectory(filling,0,has_height(5),5)
trajectory(filling,1,has_height(5),5)
trajectory(filling,2,has_height(5),5)
trajectory(filling,3,has_height(5),5)
trajectory(filling,4,has_height(5),5)
trajectory(filling,5,has_height(5),5)
trajectory(filling,10,has_height(6),1)
trajectory(filling,9,has_height(6),2)
trajectory(filling,8,has_height(6),3)
trajectory(filling,7,has_height(6),4)
trajectory(filling,6,has_height(6),5)
trajectory(filling,0,has_height(6),6)
trajectory(filling,1,has_height(6),6)
trajectory(filling,2,has_height(6),6)
trajectory(filling,3,has_height(6),6)
trajectory(filling,4,has_height(6),6)
trajectory(filling,5,has_height(6),6)
trajectory(filling,11,has_height(7),1)
trajectory(filling,10,has_height(7),2)
trajectory(filling,9,has_height(7),3)
trajectory(filling,8,has_height(7),4)
trajectory(filling,7,has_height(7),5)
trajectory(filling,6,has_height(7),6)
trajectory(filling,0,has_height(7),7)
trajectory(filling,1,has_height(7),7)
trajectory(filling,2,has_height(7),7)
trajectory(filling,3,has_height(7),7)
trajectory(filling,4,has_height(7),7)
trajectory(filling,5,has_height(7),7)
trajectory(filling,12,has_height(8),1)
trajectory(filling,11,has_height(8),2)
trajectory(filling,10,has_height(8),3)
trajectory(filling,9,has_height(8),4)
trajectory(filling,8,has_height(8),5)
trajectory(filling,7,has_height(8),6)
trajectory(filling,6,has_height(8),7)
trajectory(filling,0,has_height(8),8)
trajectory(filling,1,has_height(8),8)
trajectory(filling,2,has_height(8),8)
trajectory(filling,3,has_height(8),8)
trajectory(filling,4,has_height(8),8)
trajectory(filling,5,has_height(8),8)
trajectory(filling,13,has_height(9),1)
trajectory(filling,12,has_height(9),2)
trajectory(filling,11,has_height(9),3)
trajectory(filling,10,has_height(9),4)
trajectory(filling,9,has_height(9),5)
trajectory(filling,8,has_height(9),6)
trajectory(filling,7,has_height(9),7)
trajectory(filling,6,has_height(9),8)
trajectory(filling,0,has_height(9),9)
trajectory(filling,1,has_height(9),9)
trajectory(filling,2,has_height(9),9)
trajectory(filling,3,has_height(9),9)
trajectory(filling,4,has_height(9),9)
trajectory(filling,5,has_height(9),9) holds_at(has_height(10),26)
trajectory(filling,14,has_height(10),1)
trajectory(filling,13,has_height(10),2)
trajectory(filling,12,has_height(10),3)
trajectory(filling,11,has_height(10),4)
trajectory(filling,10,has_height(10),5)
trajectory(filling,9,has_height(10),6)
trajectory(filling,8,has_height(10),7)
trajectory(filling,7,has_height(10),8)
trajectory(filling,6,has_height(10),9)
trajectory(filling,0,has_height(10),10)
trajectory(filling,1,has_height(10),10)
trajectory(filling,2,has_height(10),10)
trajectory(filling,3,has_height(10),10)
trajectory(filling,4,has_height(10),10)
trajectory(filling,5,has_height(10),10)
trajectory(filling,15,has_height(11),1)
trajectory(filling,16,has_height(11),1)
trajectory(filling,17,has_height(11),1)
trajectory(filling,18,has_height(11),1)
trajectory(filling,19,has_height(11),1)
trajectory(filling,20,has_height(11),1)
trajectory(filling,21,has_height(11),1)
trajectory(filling,22,has_height(11),1)
trajectory(filling,23,has_height(11),1)
trajectory(filling,24,has_height(11),1)
trajectory(filling,25,has_height(11),1)
trajectory(filling,14,has_height(11),2)
trajectory(filling,13,has_height(11),3)
trajectory(filling,12,has_height(11),4)
trajectory(filling,11,has_height(11),5)
trajectory(filling,10,has_height(11),6)
trajectory(filling,9,has_height(11),7)
trajectory(filling,8,has_height(11),8)
trajectory(filling,7,has_height(11),9)
trajectory(filling,6,has_height(11),10)
trajectory(filling,0,has_height(11),11)
trajectory(filling,1,has_height(11),11)
trajectory(filling,2,has_height(11),11)
trajectory(filling,3,has_height(11),11)
trajectory(filling,4,has_height(11),11)
trajectory(filling,5,has_height(11),11)
trajectory(filling,15,has_height(12),2)
trajectory(filling,16,has_height(12),2)
trajectory(filling,17,has_height(12),2)
trajectory(filling,18,has_height(12),2)
trajectory(filling,19,has_height(12),2)
trajectory(filling,20,has_height(12),2)
trajectory(filling,21,has_height(12),2)
trajectory(filling,22,has_height(12),2)
trajectory(filling,23,has_height(12),2)
trajectory(filling,24,has_height(12),2)
trajectory(filling,25,has_height(12),2)
trajectory(filling,14,has_height(12),3)
trajectory(filling,13,has_height(12),4)
trajectory(filling,12,has_height(12),5)
trajectory(filling,11,has_height(12),6)
trajectory(filling,10,has_height(12),7)
trajectory(filling,9,has_height(12),8)
trajectory(filling,8,has_height(12),9)
trajectory(filling,7,has_height(12),10)
trajectory(filling,6,has_height(12),11)
trajectory(filling,0,has_height(12),12)
trajectory(filling,1,has_height(12),12)
trajectory(filling,2,has_height(12),12)
trajectory(filling,3,has_height(12),12)
trajectory(filling,4,has_height(12),12)
trajectory(filling,5,has_height(12),12)
trajectory(filling,15,has_height(13),3)
trajectory(filling,16,has_height(13),3)
trajectory(filling,17,has_height(13),3)
trajectory(filling,18,has_height(13),3)
trajectory(filling,19,has_height(13),3)
trajectory(filling,20,has_height(13),3)
trajectory(filling,21,has_height(13),3)
trajectory(filling,22,has_height(13),3)
trajectory(filling,23,has_height(13),3)
trajectory(filling,24,has_height(13),3)
trajectory(filling,25,has_height(13),3)
trajectory(filling,14,has_height(13),4)
trajectory(filling,13,has_height(13),5)
trajectory(filling,12,has_height(13),6)
trajectory(filling,11,has_height(13),7)
trajectory(filling,10,has_height(13),8)
trajectory(filling,9,has_height(13),9)
trajectory(filling,8,has_height(13),10)
trajectory(filling,7,has_height(13),11)
trajectory(filling,6,has_height(13),12)
trajectory(filling,0,has_height(13),13)
trajectory(filling,1,has_height(13),13)
trajectory(filling,2,has_height(13),13)
trajectory(filling,3,has_height(13),13)
trajectory(filling,4,has_height(13),13)
trajectory(filling,5,has_height(13),13)
trajectory(filling,15,has_height(14),4)
trajectory(filling,16,has_height(14),4)
trajectory(filling,17,has_height(14),4)
trajectory(filling,18,has_height(14),4)
trajectory(filling,19,has_height(14),4)
trajectory(filling,20,has_height(14),4)
trajectory(filling,21,has_height(14),4)
trajectory(filling,22,has_height(14),4)
trajectory(filling,23,has_height(14),4)
trajectory(filling,24,has_height(14),4)
trajectory(filling,25,has_height(14),4)
trajectory(filling,14,has_height(14),5)
trajectory(filling,13,has_height(14),6)
trajectory(filling,12,has_height(14),7)
trajectory(filling,11,has_height(14),8)
trajectory(filling,10,has_height(14),9)
trajectory(filling,9,has_height(14),10)
trajectory(filling,8,has_height(14),11)
trajectory(filling,7,has_height(14),12)
trajectory(filling,6,has_height(14),13)
trajectory(filling,0,has_height(14),14)
trajectory(filling,1,has_height(14),14)
trajectory(filling,2,has_height(14),14)
trajectory(filling,3,has_height(14),14)
trajectory(filling,4,has_height(14),14)
trajectory(filling,5,has_height(14),14)
trajectory(filling,15,has_height(15),5)
trajectory(filling,16,has_height(15),5)
trajectory(filling,17,has_height(15),5)
trajectory(filling,18,has_height(15),5)
trajectory(filling,19,has_height(15),5)
trajectory(filling,20,has_height(15),5)
trajectory(filling,21,has_height(15),5)
trajectory(filling,22,has_height(15),5)
trajectory(filling,23,has_height(15),5)
trajectory(filling,24,has_height(15),5)
trajectory(filling,25,has_height(15),5)
trajectory(filling,14,has_height(15),6)
trajectory(filling,13,has_height(15),7)
trajectory(filling,12,has_height(15),8)
trajectory(filling,11,has_height(15),9)
trajectory(filling,10,has_height(15),10)
trajectory(filling,9,has_height(15),11)
trajectory(filling,8,has_height(15),12)
trajectory(filling,7,has_height(15),13)
trajectory(filling,6,has_height(15),14)
trajectory(filling,0,has_height(15),15)
trajectory(filling,1,has_height(15),15)
trajectory(filling,2,has_height(15),15)
trajectory(filling,3,has_height(15),15)
trajectory(filling,4,has_height(15),15)
trajectory(filling,5,has_height(15),15)
trajectory(filling,15,has_height(16),6)
trajectory(filling,16,has_height(16),6)
trajectory(filling,17,has_height(16),6)
trajectory(filling,18,has_height(16),6)
trajectory(filling,19,has_height(16),6)
trajectory(filling,20,has_height(16),6)
trajectory(filling,21,has_height(16),6)
trajectory(filling,22,has_height(16),6)
trajectory(filling,23,has_height(16),6)
trajectory(filling,24,has_height(16),6)
trajectory(filling,25,has_height(16),6)
trajectory(filling,14,has_height(16),7)
trajectory(filling,13,has_height(16),8)
trajectory(filling,12,has_height(16),9)
trajectory(filling,11,has_height(16),10)
trajectory(filling,10,has_height(16),11)
trajectory(filling,9,has_height(16),12)
trajectory(filling,8,has_height(16),13)
trajectory(filling,7,has_height(16),14)
trajectory(filling,6,has_height(16),15)
trajectory(filling,0,has_height(16),16)
trajectory(filling,1,has_height(16),16)
trajectory(filling,2,has_height(16),16)
trajectory(filling,3,has_height(16),16)
trajectory(filling,4,has_height(16),16)
trajectory(filling,5,has_height(16),16)
trajectory(filling,15,has_height(17),7)
trajectory(filling,16,has_height(17),7)
trajectory(filling,17,has_height(17),7)
trajectory(filling,18,has_height(17),7)
trajectory(filling,19,has_height(17),7)
trajectory(filling,20,has_height(17),7)
trajectory(filling,21,has_height(17),7)
trajectory(filling,22,has_height(17),7)
trajectory(filling,23,has_height(17),7)
trajectory(filling,24,has_height(17),7)
trajectory(filling,25,has_height(17),7)
trajectory(filling,14,has_height(17),8)
trajectory(filling,13,has_height(17),9)
trajectory(filling,12,has_height(17),10)
trajectory(filling,11,has_height(17),11)
trajectory(filling,10,has_height(17),12)
trajectory(filling,9,has_height(17),13)
trajectory(filling,8,has_height(17),14)
trajectory(filling,7,has_height(17),15)
trajectory(filling,6,has_height(17),16)
trajectory(filling,0,has_height(17),17)
trajectory(filling,1,has_height(17),17)
trajectory(filling,2,has_height(17),17)
trajectory(filling,3,has_height(17),17)
trajectory(filling,4,has_height(17),17)
trajectory(filling,5,has_height(17),17)
trajectory(filling,15,has_height(18),8)
trajectory(filling,16,has_height(18),8)
trajectory(filling,17,has_height(18),8)
trajectory(filling,18,has_height(18),8)
trajectory(filling,19,has_height(18),8)
trajectory(filling,20,has_height(18),8)
trajectory(filling,21,has_height(18),8)
trajectory(filling,22,has_height(18),8)
trajectory(filling,23,has_height(18),8)
trajectory(filling,24,has_height(18),8)
trajectory(filling,25,has_height(18),8)
trajectory(filling,14,has_height(18),9)
trajectory(filling,13,has_height(18),10)
trajectory(filling,12,has_height(18),11)
trajectory(filling,11,has_height(18),12)
trajectory(filling,10,has_height(18),13)
trajectory(filling,9,has_height(18),14)
trajectory(filling,8,has_height(18),15)
trajectory(filling,7,has_height(18),16)
trajectory(filling,6,has_height(18),17)
trajectory(filling,0,has_height(18),18)
trajectory(filling,1,has_height(18),18)
trajectory(filling,2,has_height(18),18)
trajectory(filling,3,has_height(18),18)
trajectory(filling,4,has_height(18),18)
trajectory(filling,5,has_height(18),18)
trajectory(filling,15,has_height(19),9)
trajectory(filling,16,has_height(19),9)
trajectory(filling,17,has_height(19),9)
trajectory(filling,18,has_height(19),9)
trajectory(filling,19,has_height(19),9)
trajectory(filling,20,has_height(19),9)
trajectory(filling,21,has_height(19),9)
trajectory(filling,22,has_height(19),9)
trajectory(filling,23,has_height(19),9)
trajectory(filling,24,has_height(19),9)
trajectory(filling,25,has_height(19),9)
trajectory(filling,14,has_height(19),10)
trajectory(filling,13,has_height(19),11)
trajectory(filling,12,has_height(19),12)
trajectory(filling,11,has_height(19),13)
trajectory(filling,10,has_height(19),14)
trajectory(filling,9,has_height(19),15)
trajectory(filling,8,has_height(19),16)
trajectory(filling,7,has_height(19),17)
trajectory(filling,6,has_height(19),18)
trajectory(filling,0,has_height(19),19)
trajectory(filling,1,has_height(19),19)
trajectory(filling,2,has_height(19),19)
trajectory(filling,3,has_height(19),19)
trajectory(filling,4,has_height(19),19)
trajectory(filling,5,has_height(19),19)
trajectory(filling,15,has_height(20),10)
trajectory(filling,16,has_height(20),10)
trajectory(filling,17,has_height(20),10)
trajectory(filling,18,has_height(20),10)
trajectory(filling,19,has_height(20),10)
trajectory(filling,20,has_height(20),10)
trajectory(filling,21,has_height(20),10)
trajectory(filling,22,has_height(20),10)
trajectory(filling,23,has_height(20),10)
trajectory(filling,24,has_height(20),10)
trajectory(filling,25,has_height(20),10)
trajectory(filling,14,has_height(20),11)
trajectory(filling,13,has_height(20),12)
trajectory(filling,12,has_height(20),13)
trajectory(filling,11,has_height(20),14)
trajectory(filling,10,has_height(20),15)
trajectory(filling,9,has_height(20),16)
trajectory(filling,8,has_height(20),17)
trajectory(filling,7,has_height(20),18)
trajectory(filling,6,has_height(20),19)
trajectory(filling,0,has_height(20),20)
trajectory(filling,1,has_height(20),20)
trajectory(filling,2,has_height(20),20)
trajectory(filling,3,has_height(20),20)
trajectory(filling,4,has_height(20),20)
trajectory(filling,5,has_height(20),20) timepoint(0) timepoint(1)
timepoint(2) timepoint(3) timepoint(4) timepoint(5) timepoint(6)
timepoint(7) timepoint(8) timepoint(9) timepoint(10) timepoint(11)
timepoint(12) timepoint(13) timepoint(14) timepoint(15) timepoint(16)
timepoint(17) timepoint(18) timepoint(19) timepoint(20) timepoint(21)
timepoint(22) timepoint(23) timepoint(24) timepoint(25) height(0)
height(1) height(2) height(3) height(4) height(5) height(6)
height(7) height(8) height(9) height(10) height(11) height(12)
height(13) height(14) height(15) height(16) height(17) height(18)
height(19) height(20) trajectory(filling,0,has_height(0),0)
trajectory(filling,1,has_height(0),0)
trajectory(filling,2,has_height(0),0)
trajectory(filling,3,has_height(0),0)
trajectory(filling,4,has_height(0),0)
trajectory(filling,5,has_height(0),0)
trajectory(filling,6,has_height(1),0)
trajectory(filling,7,has_height(2),0)
trajectory(filling,8,has_height(3),0)
trajectory(filling,9,has_height(4),0)
trajectory(filling,10,has_height(5),0)
trajectory(filling,11,has_height(6),0)
trajectory(filling,12,has_height(7),0)
trajectory(filling,13,has_height(8),0)
trajectory(filling,14,has_height(9),0)
trajectory(filling,15,has_height(10),0)
trajectory(filling,16,has_height(10),0)
trajectory(filling,17,has_height(10),0)
trajectory(filling,18,has_height(10),0)
trajectory(filling,19,has_height(10),0)
trajectory(filling,20,has_height(10),0)
trajectory(filling,21,has_height(10),0)
trajectory(filling,22,has_height(10),0)
trajectory(filling,23,has_height(10),0)
trajectory(filling,24,has_height(10),0)
trajectory(filling,25,has_height(10),0) terminates(tap_off,filling,0)
terminates(tap_off,filling,1) terminates(tap_off,filling,2)
terminates(tap_off,filling,3) terminates(tap_off,filling,4)
terminates(tap_off,filling,5) terminates(tap_off,filling,6)
terminates(tap_off,filling,7) terminates(tap_off,filling,8)
terminates(tap_off,filling,9) terminates(tap_off,filling,10)
terminates(tap_off,filling,11) terminates(tap_off,filling,12)
terminates(tap_off,filling,13) terminates(tap_off,filling,14)
terminates(tap_off,filling,15) terminates(tap_off,filling,16)
terminates(tap_off,filling,17) terminates(tap_off,filling,18)
terminates(tap_off,filling,19) terminates(tap_off,filling,20)
terminates(tap_off,filling,21) terminates(tap_off,filling,22)
terminates(tap_off,filling,23) terminates(tap_off,filling,24)
terminates(tap_off,filling,25) terminates(overflow,filling,0)
terminates(overflow,filling,1) terminates(overflow,filling,2)
terminates(overflow,filling,3) terminates(overflow,filling,4)
terminates(overflow,filling,5) terminates(overflow,filling,6)
terminates(overflow,filling,7) terminates(overflow,filling,8)
terminates(overflow,filling,9) terminates(overflow,filling,10)
terminates(overflow,filling,11) terminates(overflow,filling,12)
terminates(overflow,filling,13) terminates(overflow,filling,14)
terminates(overflow,filling,15) terminates(overflow,filling,16)
terminates(overflow,filling,17) terminates(overflow,filling,18)
terminates(overflow,filling,19) terminates(overflow,filling,20)
terminates(overflow,filling,21) terminates(overflow,filling,22)
terminates(overflow,filling,23) terminates(overflow,filling,24)
terminates(overflow,filling,25) releases(tap_on,has_height(0),0)
releases(tap_on,has_height(0),1) releases(tap_on,has_height(0),2)
releases(tap_on,has_height(0),3) releases(tap_on,has_height(0),4)
releases(tap_on,has_height(0),5) releases(tap_on,has_height(0),6)
releases(tap_on,has_height(0),7) releases(tap_on,has_height(0),8)
releases(tap_on,has_height(0),9) releases(tap_on,has_height(0),10)
releases(tap_on,has_height(0),11) releases(tap_on,has_height(0),12)
releases(tap_on,has_height(0),13) releases(tap_on,has_height(0),14)
releases(tap_on,has_height(0),15) releases(tap_on,has_height(0),16)
releases(tap_on,has_height(0),17) releases(tap_on,has_height(0),18)
releases(tap_on,has_height(0),19) releases(tap_on,has_height(0),20)
releases(tap_on,has_height(0),21) releases(tap_on,has_height(0),22)
releases(tap_on,has_height(0),23) releases(tap_on,has_height(0),24)
releases(tap_on,has_height(0),25) releases(tap_on,has_height(1),0)
releases(tap_on,has_height(1),1) releases(tap_on,has_height(1),2)
releases(tap_on,has_height(1),3) releases(tap_on,has_height(1),4)
releases(tap_on,has_height(1),5) releases(tap_on,has_height(1),6)
releases(tap_on,has_height(1),7) releases(tap_on,has_height(1),8)
releases(tap_on,has_height(1),9) releases(tap_on,has_height(1),10)
releases(tap_on,has_height(1),11) releases(tap_on,has_height(1),12)
releases(tap_on,has_height(1),13) releases(tap_on,has_height(1),14)
releases(tap_on,has_height(1),15) releases(tap_on,has_height(1),16)
releases(tap_on,has_height(1),17) releases(tap_on,has_height(1),18)
releases(tap_on,has_height(1),19) releases(tap_on,has_height(1),20)
releases(tap_on,has_height(1),21) releases(tap_on,has_height(1),22)
releases(tap_on,has_height(1),23) releases(tap_on,has_height(1),24)
releases(tap_on,has_height(1),25) releases(tap_on,has_height(2),0)
releases(tap_on,has_height(2),1) releases(tap_on,has_height(2),2)
releases(tap_on,has_height(2),3) releases(tap_on,has_height(2),4)
releases(tap_on,has_height(2),5) releases(tap_on,has_height(2),6)
releases(tap_on,has_height(2),7) releases(tap_on,has_height(2),8)
releases(tap_on,has_height(2),9) releases(tap_on,has_height(2),10)
releases(tap_on,has_height(2),11) releases(tap_on,has_height(2),12)
releases(tap_on,has_height(2),13) releases(tap_on,has_height(2),14)
releases(tap_on,has_height(2),15) releases(tap_on,has_height(2),16)
releases(tap_on,has_height(2),17) releases(tap_on,has_height(2),18)
releases(tap_on,has_height(2),19) releases(tap_on,has_height(2),20)
releases(tap_on,has_height(2),21) releases(tap_on,has_height(2),22)
releases(tap_on,has_height(2),23) releases(tap_on,has_height(2),24)
releases(tap_on,has_height(2),25) releases(tap_on,has_height(3),0)
releases(tap_on,has_height(3),1) releases(tap_on,has_height(3),2)
releases(tap_on,has_height(3),3) releases(tap_on,has_height(3),4)
releases(tap_on,has_height(3),5) releases(tap_on,has_height(3),6)
releases(tap_on,has_height(3),7) releases(tap_on,has_height(3),8)
releases(tap_on,has_height(3),9) releases(tap_on,has_height(3),10)
releases(tap_on,has_height(3),11) releases(tap_on,has_height(3),12)
releases(tap_on,has_height(3),13) releases(tap_on,has_height(3),14)
releases(tap_on,has_height(3),15) releases(tap_on,has_height(3),16)
releases(tap_on,has_height(3),17) releases(tap_on,has_height(3),18)
releases(tap_on,has_height(3),19) releases(tap_on,has_height(3),20)
releases(tap_on,has_height(3),21) releases(tap_on,has_height(3),22)
releases(tap_on,has_height(3),23) releases(tap_on,has_height(3),24)
releases(tap_on,has_height(3),25) releases(tap_on,has_height(4),0)
releases(tap_on,has_height(4),1) releases(tap_on,has_height(4),2)
releases(tap_on,has_height(4),3) releases(tap_on,has_height(4),4)
releases(tap_on,has_height(4),5) releases(tap_on,has_height(4),6)
releases(tap_on,has_height(4),7) releases(tap_on,has_height(4),8)
releases(tap_on,has_height(4),9) releases(tap_on,has_height(4),10)
releases(tap_on,has_height(4),11) releases(tap_on,has_height(4),12)
releases(tap_on,has_height(4),13) releases(tap_on,has_height(4),14)
releases(tap_on,has_height(4),15) releases(tap_on,has_height(4),16)
releases(tap_on,has_height(4),17) releases(tap_on,has_height(4),18)
releases(tap_on,has_height(4),19) releases(tap_on,has_height(4),20)
releases(tap_on,has_height(4),21) releases(tap_on,has_height(4),22)
releases(tap_on,has_height(4),23) releases(tap_on,has_height(4),24)
releases(tap_on,has_height(4),25) releases(tap_on,has_height(5),0)
releases(tap_on,has_height(5),1) releases(tap_on,has_height(5),2)
releases(tap_on,has_height(5),3) releases(tap_on,has_height(5),4)
releases(tap_on,has_height(5),5) releases(tap_on,has_height(5),6)
releases(tap_on,has_height(5),7) releases(tap_on,has_height(5),8)
releases(tap_on,has_height(5),9) releases(tap_on,has_height(5),10)
releases(tap_on,has_height(5),11) releases(tap_on,has_height(5),12)
releases(tap_on,has_height(5),13) releases(tap_on,has_height(5),14)
releases(tap_on,has_height(5),15) releases(tap_on,has_height(5),16)
releases(tap_on,has_height(5),17) releases(tap_on,has_height(5),18)
releases(tap_on,has_height(5),19) releases(tap_on,has_height(5),20)
releases(tap_on,has_height(5),21) releases(tap_on,has_height(5),22)
releases(tap_on,has_height(5),23) releases(tap_on,has_height(5),24)
releases(tap_on,has_height(5),25) releases(tap_on,has_height(6),0)
releases(tap_on,has_height(6),1) releases(tap_on,has_height(6),2)
releases(tap_on,has_height(6),3) releases(tap_on,has_height(6),4)
releases(tap_on,has_height(6),5) releases(tap_on,has_height(6),6)
releases(tap_on,has_height(6),7) releases(tap_on,has_height(6),8)
releases(tap_on,has_height(6),9) releases(tap_on,has_height(6),10)
releases(tap_on,has_height(6),11) releases(tap_on,has_height(6),12)
releases(tap_on,has_height(6),13) releases(tap_on,has_height(6),14)
releases(tap_on,has_height(6),15) releases(tap_on,has_height(6),16)
releases(tap_on,has_height(6),17) releases(tap_on,has_height(6),18)
releases(tap_on,has_height(6),19) releases(tap_on,has_height(6),20)
releases(tap_on,has_height(6),21) releases(tap_on,has_height(6),22)
releases(tap_on,has_height(6),23) releases(tap_on,has_height(6),24)
releases(tap_on,has_height(6),25) releases(tap_on,has_height(7),0)
releases(tap_on,has_height(7),1) releases(tap_on,has_height(7),2)
releases(tap_on,has_height(7),3) releases(tap_on,has_height(7),4)
releases(tap_on,has_height(7),5) releases(tap_on,has_height(7),6)
releases(tap_on,has_height(7),7) releases(tap_on,has_height(7),8)
releases(tap_on,has_height(7),9) releases(tap_on,has_height(7),10)
releases(tap_on,has_height(7),11) releases(tap_on,has_height(7),12)
releases(tap_on,has_height(7),13) releases(tap_on,has_height(7),14)
releases(tap_on,has_height(7),15) releases(tap_on,has_height(7),16)
releases(tap_on,has_height(7),17) releases(tap_on,has_height(7),18)
releases(tap_on,has_height(7),19) releases(tap_on,has_height(7),20)
releases(tap_on,has_height(7),21) releases(tap_on,has_height(7),22)
releases(tap_on,has_height(7),23) releases(tap_on,has_height(7),24)
releases(tap_on,has_height(7),25) releases(tap_on,has_height(8),0)
releases(tap_on,has_height(8),1) releases(tap_on,has_height(8),2)
releases(tap_on,has_height(8),3) releases(tap_on,has_height(8),4)
releases(tap_on,has_height(8),5) releases(tap_on,has_height(8),6)
releases(tap_on,has_height(8),7) releases(tap_on,has_height(8),8)
releases(tap_on,has_height(8),9) releases(tap_on,has_height(8),10)
releases(tap_on,has_height(8),11) releases(tap_on,has_height(8),12)
releases(tap_on,has_height(8),13) releases(tap_on,has_height(8),14)
releases(tap_on,has_height(8),15) releases(tap_on,has_height(8),16)
releases(tap_on,has_height(8),17) releases(tap_on,has_height(8),18)
releases(tap_on,has_height(8),19) releases(tap_on,has_height(8),20)
releases(tap_on,has_height(8),21) releases(tap_on,has_height(8),22)
releases(tap_on,has_height(8),23) releases(tap_on,has_height(8),24)
releases(tap_on,has_height(8),25) releases(tap_on,has_height(9),0)
releases(tap_on,has_height(9),1) releases(tap_on,has_height(9),2)
releases(tap_on,has_height(9),3) releases(tap_on,has_height(9),4)
releases(tap_on,has_height(9),5) releases(tap_on,has_height(9),6)
releases(tap_on,has_height(9),7) releases(tap_on,has_height(9),8)
releases(tap_on,has_height(9),9) releases(tap_on,has_height(9),10)
releases(tap_on,has_height(9),11) releases(tap_on,has_height(9),12)
releases(tap_on,has_height(9),13) releases(tap_on,has_height(9),14)
releases(tap_on,has_height(9),15) releases(tap_on,has_height(9),16)
releases(tap_on,has_height(9),17) releases(tap_on,has_height(9),18)
releases(tap_on,has_height(9),19) releases(tap_on,has_height(9),20)
releases(tap_on,has_height(9),21) releases(tap_on,has_height(9),22)
releases(tap_on,has_height(9),23) releases(tap_on,has_height(9),24)
releases(tap_on,has_height(9),25) releases(tap_on,has_height(10),0)
releases(tap_on,has_height(10),1) releases(tap_on,has_height(10),2)
releases(tap_on,has_height(10),3) releases(tap_on,has_height(10),4)
releases(tap_on,has_height(10),5) releases(tap_on,has_height(10),6)
releases(tap_on,has_height(10),7) releases(tap_on,has_height(10),8)
releases(tap_on,has_height(10),9) releases(tap_on,has_height(10),10)
releases(tap_on,has_height(10),11) releases(tap_on,has_height(10),12)
releases(tap_on,has_height(10),13) releases(tap_on,has_height(10),14)
releases(tap_on,has_height(10),15) releases(tap_on,has_height(10),16)
releases(tap_on,has_height(10),17) releases(tap_on,has_height(10),18)
releases(tap_on,has_height(10),19) releases(tap_on,has_height(10),20)
releases(tap_on,has_height(10),21) releases(tap_on,has_height(10),22)
releases(tap_on,has_height(10),23) releases(tap_on,has_height(10),24)
releases(tap_on,has_height(10),25) releases(tap_on,has_height(11),0)
releases(tap_on,has_height(11),1) releases(tap_on,has_height(11),2)
releases(tap_on,has_height(11),3) releases(tap_on,has_height(11),4)
releases(tap_on,has_height(11),5) releases(tap_on,has_height(11),6)
releases(tap_on,has_height(11),7) releases(tap_on,has_height(11),8)
releases(tap_on,has_height(11),9) releases(tap_on,has_height(11),10)
releases(tap_on,has_height(11),11) releases(tap_on,has_height(11),12)
releases(tap_on,has_height(11),13) releases(tap_on,has_height(11),14)
releases(tap_on,has_height(11),15) releases(tap_on,has_height(11),16)
releases(tap_on,has_height(11),17) releases(tap_on,has_height(11),18)
releases(tap_on,has_height(11),19) releases(tap_on,has_height(11),20)
releases(tap_on,has_height(11),21) releases(tap_on,has_height(11),22)
releases(tap_on,has_height(11),23) releases(tap_on,has_height(11),24)
releases(tap_on,has_height(11),25) releases(tap_on,has_height(12),0)
releases(tap_on,has_height(12),1) releases(tap_on,has_height(12),2)
releases(tap_on,has_height(12),3) releases(tap_on,has_height(12),4)
releases(tap_on,has_height(12),5) releases(tap_on,has_height(12),6)
releases(tap_on,has_height(12),7) releases(tap_on,has_height(12),8)
releases(tap_on,has_height(12),9) releases(tap_on,has_height(12),10)
releases(tap_on,has_height(12),11) releases(tap_on,has_height(12),12)
releases(tap_on,has_height(12),13) releases(tap_on,has_height(12),14)
releases(tap_on,has_height(12),15) releases(tap_on,has_height(12),16)
releases(tap_on,has_height(12),17) releases(tap_on,has_height(12),18)
releases(tap_on,has_height(12),19) releases(tap_on,has_height(12),20)
releases(tap_on,has_height(12),21) releases(tap_on,has_height(12),22)
releases(tap_on,has_height(12),23) releases(tap_on,has_height(12),24)
releases(tap_on,has_height(12),25) releases(tap_on,has_height(13),0)
releases(tap_on,has_height(13),1) releases(tap_on,has_height(13),2)
releases(tap_on,has_height(13),3) releases(tap_on,has_height(13),4)
releases(tap_on,has_height(13),5) releases(tap_on,has_height(13),6)
releases(tap_on,has_height(13),7) releases(tap_on,has_height(13),8)
releases(tap_on,has_height(13),9) releases(tap_on,has_height(13),10)
releases(tap_on,has_height(13),11) releases(tap_on,has_height(13),12)
releases(tap_on,has_height(13),13) releases(tap_on,has_height(13),14)
releases(tap_on,has_height(13),15) releases(tap_on,has_height(13),16)
releases(tap_on,has_height(13),17) releases(tap_on,has_height(13),18)
releases(tap_on,has_height(13),19) releases(tap_on,has_height(13),20)
releases(tap_on,has_height(13),21) releases(tap_on,has_height(13),22)
releases(tap_on,has_height(13),23) releases(tap_on,has_height(13),24)
releases(tap_on,has_height(13),25) releases(tap_on,has_height(14),0)
releases(tap_on,has_height(14),1) releases(tap_on,has_height(14),2)
releases(tap_on,has_height(14),3) releases(tap_on,has_height(14),4)
releases(tap_on,has_height(14),5) releases(tap_on,has_height(14),6)
releases(tap_on,has_height(14),7) releases(tap_on,has_height(14),8)
releases(tap_on,has_height(14),9) releases(tap_on,has_height(14),10)
releases(tap_on,has_height(14),11) releases(tap_on,has_height(14),12)
releases(tap_on,has_height(14),13) releases(tap_on,has_height(14),14)
releases(tap_on,has_height(14),15) releases(tap_on,has_height(14),16)
releases(tap_on,has_height(14),17) releases(tap_on,has_height(14),18)
releases(tap_on,has_height(14),19) releases(tap_on,has_height(14),20)
releases(tap_on,has_height(14),21) releases(tap_on,has_height(14),22)
releases(tap_on,has_height(14),23) releases(tap_on,has_height(14),24)
releases(tap_on,has_height(14),25) releases(tap_on,has_height(15),0)
releases(tap_on,has_height(15),1) releases(tap_on,has_height(15),2)
releases(tap_on,has_height(15),3) releases(tap_on,has_height(15),4)
releases(tap_on,has_height(15),5) releases(tap_on,has_height(15),6)
releases(tap_on,has_height(15),7) releases(tap_on,has_height(15),8)
releases(tap_on,has_height(15),9) releases(tap_on,has_height(15),10)
releases(tap_on,has_height(15),11) releases(tap_on,has_height(15),12)
releases(tap_on,has_height(15),13) releases(tap_on,has_height(15),14)
releases(tap_on,has_height(15),15) releases(tap_on,has_height(15),16)
releases(tap_on,has_height(15),17) releases(tap_on,has_height(15),18)
releases(tap_on,has_height(15),19) releases(tap_on,has_height(15),20)
releases(tap_on,has_height(15),21) releases(tap_on,has_height(15),22)
releases(tap_on,has_height(15),23) releases(tap_on,has_height(15),24)
releases(tap_on,has_height(15),25) releases(tap_on,has_height(16),0)
releases(tap_on,has_height(16),1) releases(tap_on,has_height(16),2)
releases(tap_on,has_height(16),3) releases(tap_on,has_height(16),4)
releases(tap_on,has_height(16),5) releases(tap_on,has_height(16),6)
releases(tap_on,has_height(16),7) releases(tap_on,has_height(16),8)
releases(tap_on,has_height(16),9) releases(tap_on,has_height(16),10)
releases(tap_on,has_height(16),11) releases(tap_on,has_height(16),12)
releases(tap_on,has_height(16),13) releases(tap_on,has_height(16),14)
releases(tap_on,has_height(16),15) releases(tap_on,has_height(16),16)
releases(tap_on,has_height(16),17) releases(tap_on,has_height(16),18)
releases(tap_on,has_height(16),19) releases(tap_on,has_height(16),20)
releases(tap_on,has_height(16),21) releases(tap_on,has_height(16),22)
releases(tap_on,has_height(16),23) releases(tap_on,has_height(16),24)
releases(tap_on,has_height(16),25) releases(tap_on,has_height(17),0)
releases(tap_on,has_height(17),1) releases(tap_on,has_height(17),2)
releases(tap_on,has_height(17),3) releases(tap_on,has_height(17),4)
releases(tap_on,has_height(17),5) releases(tap_on,has_height(17),6)
releases(tap_on,has_height(17),7) releases(tap_on,has_height(17),8)
releases(tap_on,has_height(17),9) releases(tap_on,has_height(17),10)
releases(tap_on,has_height(17),11) releases(tap_on,has_height(17),12)
releases(tap_on,has_height(17),13) releases(tap_on,has_height(17),14)
releases(tap_on,has_height(17),15) releases(tap_on,has_height(17),16)
releases(tap_on,has_height(17),17) releases(tap_on,has_height(17),18)
releases(tap_on,has_height(17),19) releases(tap_on,has_height(17),20)
releases(tap_on,has_height(17),21) releases(tap_on,has_height(17),22)
releases(tap_on,has_height(17),23) releases(tap_on,has_height(17),24)
releases(tap_on,has_height(17),25) releases(tap_on,has_height(18),0)
releases(tap_on,has_height(18),1) releases(tap_on,has_height(18),2)
releases(tap_on,has_height(18),3) releases(tap_on,has_height(18),4)
releases(tap_on,has_height(18),5) releases(tap_on,has_height(18),6)
releases(tap_on,has_height(18),7) releases(tap_on,has_height(18),8)
releases(tap_on,has_height(18),9) releases(tap_on,has_height(18),10)
releases(tap_on,has_height(18),11) releases(tap_on,has_height(18),12)
releases(tap_on,has_height(18),13) releases(tap_on,has_height(18),14)
releases(tap_on,has_height(18),15) releases(tap_on,has_height(18),16)
releases(tap_on,has_height(18),17) releases(tap_on,has_height(18),18)
releases(tap_on,has_height(18),19) releases(tap_on,has_height(18),20)
releases(tap_on,has_height(18),21) releases(tap_on,has_height(18),22)
releases(tap_on,has_height(18),23) releases(tap_on,has_height(18),24)
releases(tap_on,has_height(18),25) releases(tap_on,has_height(19),0)
releases(tap_on,has_height(19),1) releases(tap_on,has_height(19),2)
releases(tap_on,has_height(19),3) releases(tap_on,has_height(19),4)
releases(tap_on,has_height(19),5) releases(tap_on,has_height(19),6)
releases(tap_on,has_height(19),7) releases(tap_on,has_height(19),8)
releases(tap_on,has_height(19),9) releases(tap_on,has_height(19),10)
releases(tap_on,has_height(19),11) releases(tap_on,has_height(19),12)
releases(tap_on,has_height(19),13) releases(tap_on,has_height(19),14)
releases(tap_on,has_height(19),15) releases(tap_on,has_height(19),16)
releases(tap_on,has_height(19),17) releases(tap_on,has_height(19),18)
releases(tap_on,has_height(19),19) releases(tap_on,has_height(19),20)
releases(tap_on,has_height(19),21) releases(tap_on,has_height(19),22)
releases(tap_on,has_height(19),23) releases(tap_on,has_height(19),24)
releases(tap_on,has_height(19),25) releases(tap_on,has_height(20),0)
releases(tap_on,has_height(20),1) releases(tap_on,has_height(20),2)
releases(tap_on,has_height(20),3) releases(tap_on,has_height(20),4)
releases(tap_on,has_height(20),5) releases(tap_on,has_height(20),6)
releases(tap_on,has_height(20),7) releases(tap_on,has_height(20),8)
releases(tap_on,has_height(20),9) releases(tap_on,has_height(20),10)
releases(tap_on,has_height(20),11) releases(tap_on,has_height(20),12)
releases(tap_on,has_height(20),13) releases(tap_on,has_height(20),14)
releases(tap_on,has_height(20),15) releases(tap_on,has_height(20),16)
releases(tap_on,has_height(20),17) releases(tap_on,has_height(20),18)
releases(tap_on,has_height(20),19) releases(tap_on,has_height(20),20)
releases(tap_on,has_height(20),21) releases(tap_on,has_height(20),22)
releases(tap_on,has_height(20),23) releases(tap_on,has_height(20),24)
releases(tap_on,has_height(20),25) event(overflow) event(tap_off)
event(tap_on) started_in(0,spilling,16) started_in(1,spilling,16)
started_in(2,spilling,16) started_in(3,spilling,16)
started_in(4,spilling,16) started_in(5,spilling,16)
started_in(6,spilling,16) started_in(7,spilling,16)
started_in(8,spilling,16) started_in(9,spilling,16)
started_in(10,spilling,16) started_in(11,spilling,16)
started_in(12,spilling,16) started_in(13,spilling,16)
started_in(14,spilling,16) started_in(0,spilling,17)
started_in(1,spilling,17) started_in(2,spilling,17)
started_in(3,spilling,17) started_in(4,spilling,17)
started_in(5,spilling,17) started_in(6,spilling,17)
started_in(7,spilling,17) started_in(8,spilling,17)
started_in(9,spilling,17) started_in(10,spilling,17)
started_in(11,spilling,17) started_in(12,spilling,17)
started_in(13,spilling,17) started_in(14,spilling,17)
started_in(0,spilling,18) started_in(1,spilling,18)
started_in(2,spilling,18) started_in(3,spilling,18)
started_in(4,spilling,18) started_in(5,spilling,18)
started_in(6,spilling,18) started_in(7,spilling,18)
started_in(8,spilling,18) started_in(9,spilling,18)
started_in(10,spilling,18) started_in(11,spilling,18)
started_in(12,spilling,18) started_in(13,spilling,18)
started_in(14,spilling,18) started_in(0,spilling,19)
started_in(1,spilling,19) started_in(2,spilling,19)
started_in(3,spilling,19) started_in(4,spilling,19)
started_in(5,spilling,19) started_in(6,spilling,19)
started_in(7,spilling,19) started_in(8,spilling,19)
started_in(9,spilling,19) started_in(10,spilling,19)
started_in(11,spilling,19) started_in(12,spilling,19)
started_in(13,spilling,19) started_in(14,spilling,19)
started_in(0,spilling,20) started_in(1,spilling,20)
started_in(2,spilling,20) started_in(3,spilling,20)
started_in(4,spilling,20) started_in(5,spilling,20)
started_in(6,spilling,20) started_in(7,spilling,20)
started_in(8,spilling,20) started_in(9,spilling,20)
started_in(10,spilling,20) started_in(11,spilling,20)
started_in(12,spilling,20) started_in(13,spilling,20)
started_in(14,spilling,20) started_in(0,spilling,21)
started_in(1,spilling,21) started_in(2,spilling,21)
started_in(3,spilling,21) started_in(4,spilling,21)
started_in(5,spilling,21) started_in(6,spilling,21)
started_in(7,spilling,21) started_in(8,spilling,21)
started_in(9,spilling,21) started_in(10,spilling,21)
started_in(11,spilling,21) started_in(12,spilling,21)
started_in(13,spilling,21) started_in(14,spilling,21)
started_in(0,spilling,22) started_in(1,spilling,22)
started_in(2,spilling,22) started_in(3,spilling,22)
started_in(4,spilling,22) started_in(5,spilling,22)
started_in(6,spilling,22) started_in(7,spilling,22)
started_in(8,spilling,22) started_in(9,spilling,22)
started_in(10,spilling,22) started_in(11,spilling,22)
started_in(12,spilling,22) started_in(13,spilling,22)
started_in(14,spilling,22) started_in(0,spilling,23)
started_in(1,spilling,23) started_in(2,spilling,23)
started_in(3,spilling,23) started_in(4,spilling,23)
started_in(5,spilling,23) started_in(6,spilling,23)
started_in(7,spilling,23) started_in(8,spilling,23)
started_in(9,spilling,23) started_in(10,spilling,23)
started_in(11,spilling,23) started_in(12,spilling,23)
started_in(13,spilling,23) started_in(14,spilling,23)
started_in(0,spilling,24) started_in(1,spilling,24)
started_in(2,spilling,24) started_in(3,spilling,24)
started_in(4,spilling,24) started_in(5,spilling,24)
started_in(6,spilling,24) started_in(7,spilling,24)
started_in(8,spilling,24) started_in(9,spilling,24)
started_in(10,spilling,24) started_in(11,spilling,24)
started_in(12,spilling,24) started_in(13,spilling,24)
started_in(14,spilling,24) started_in(0,spilling,25)
started_in(1,spilling,25) started_in(2,spilling,25)
started_in(3,spilling,25) started_in(4,spilling,25)
started_in(5,spilling,25) started_in(6,spilling,25)
started_in(7,spilling,25) started_in(8,spilling,25)
started_in(9,spilling,25) started_in(10,spilling,25)
started_in(11,spilling,25) started_in(12,spilling,25)
started_in(13,spilling,25) started_in(14,spilling,25)
started_in(0,filling,6) started_in(1,filling,6)
started_in(2,filling,6) started_in(3,filling,6)
started_in(4,filling,6) started_in(0,filling,7)
started_in(1,filling,7) started_in(2,filling,7)
started_in(3,filling,7) started_in(4,filling,7)
started_in(0,filling,8) started_in(1,filling,8)
started_in(2,filling,8) started_in(3,filling,8)
started_in(4,filling,8) started_in(0,filling,9)
started_in(1,filling,9) started_in(2,filling,9)
started_in(3,filling,9) started_in(4,filling,9)
started_in(0,filling,10) started_in(1,filling,10)
started_in(2,filling,10) started_in(3,filling,10)
started_in(4,filling,10) started_in(0,filling,11)
started_in(1,filling,11) started_in(2,filling,11)
started_in(3,filling,11) started_in(4,filling,11)
started_in(0,filling,12) started_in(1,filling,12)
started_in(2,filling,12) started_in(3,filling,12)
started_in(4,filling,12) started_in(0,filling,13)
started_in(1,filling,13) started_in(2,filling,13)
started_in(3,filling,13) started_in(4,filling,13)
started_in(0,filling,14) started_in(1,filling,14)
started_in(2,filling,14) started_in(3,filling,14)
started_in(4,filling,14) started_in(0,filling,15)
started_in(1,filling,15) started_in(2,filling,15)
started_in(3,filling,15) started_in(4,filling,15)
started_in(0,filling,16) started_in(1,filling,16)
started_in(2,filling,16) started_in(3,filling,16)
started_in(4,filling,16) started_in(0,filling,17)
started_in(1,filling,17) started_in(2,filling,17)
started_in(3,filling,17) started_in(4,filling,17)
started_in(0,filling,18) started_in(1,filling,18)
started_in(2,filling,18) started_in(3,filling,18)
started_in(4,filling,18) started_in(0,filling,19)
started_in(1,filling,19) started_in(2,filling,19)
started_in(3,filling,19) started_in(4,filling,19)
started_in(0,filling,20) started_in(1,filling,20)
started_in(2,filling,20) started_in(3,filling,20)
started_in(4,filling,20) started_in(0,filling,21)
started_in(1,filling,21) started_in(2,filling,21)
started_in(3,filling,21) started_in(4,filling,21)
started_in(0,filling,22) started_in(1,filling,22)
started_in(2,filling,22) started_in(3,filling,22)
started_in(4,filling,22) started_in(0,filling,23)
started_in(1,filling,23) started_in(2,filling,23)
started_in(3,filling,23) started_in(4,filling,23)
started_in(0,filling,24) started_in(1,filling,24)
started_in(2,filling,24) started_in(3,filling,24)
started_in(4,filling,24) started_in(0,filling,25)
started_in(1,filling,25) started_in(2,filling,25)
started_in(3,filling,25) started_in(4,filling,25)
started_in(0,has_height(10),16) started_in(1,has_height(10),16)
started_in(2,has_height(10),16) started_in(3,has_height(10),16)
started_in(4,has_height(10),16) started_in(5,has_height(10),16)
started_in(6,has_height(10),16) started_in(7,has_height(10),16)
started_in(8,has_height(10),16) started_in(9,has_height(10),16)
started_in(10,has_height(10),16) started_in(11,has_height(10),16)
started_in(12,has_height(10),16) started_in(13,has_height(10),16)
started_in(14,has_height(10),16) started_in(0,has_height(10),17)
started_in(1,has_height(10),17) started_in(2,has_height(10),17)
started_in(3,has_height(10),17) started_in(4,has_height(10),17)
started_in(5,has_height(10),17) started_in(6,has_height(10),17)
started_in(7,has_height(10),17) started_in(8,has_height(10),17)
started_in(9,has_height(10),17) started_in(10,has_height(10),17)
started_in(11,has_height(10),17) started_in(12,has_height(10),17)
started_in(13,has_height(10),17) started_in(14,has_height(10),17)
started_in(0,has_height(10),18) started_in(1,has_height(10),18)
started_in(2,has_height(10),18) started_in(3,has_height(10),18)
started_in(4,has_height(10),18) started_in(5,has_height(10),18)
started_in(6,has_height(10),18) started_in(7,has_height(10),18)
started_in(8,has_height(10),18) started_in(9,has_height(10),18)
started_in(10,has_height(10),18) started_in(11,has_height(10),18)
started_in(12,has_height(10),18) started_in(13,has_height(10),18)
started_in(14,has_height(10),18) started_in(0,has_height(10),19)
started_in(1,has_height(10),19) started_in(2,has_height(10),19)
started_in(3,has_height(10),19) started_in(4,has_height(10),19)
started_in(5,has_height(10),19) started_in(6,has_height(10),19)
started_in(7,has_height(10),19) started_in(8,has_height(10),19)
started_in(9,has_height(10),19) started_in(10,has_height(10),19)
started_in(11,has_height(10),19) started_in(12,has_height(10),19)
started_in(13,has_height(10),19) started_in(14,has_height(10),19)
started_in(0,has_height(10),20) started_in(1,has_height(10),20)
started_in(2,has_height(10),20) started_in(3,has_height(10),20)
started_in(4,has_height(10),20) started_in(5,has_height(10),20)
started_in(6,has_height(10),20) started_in(7,has_height(10),20)
started_in(8,has_height(10),20) started_in(9,has_height(10),20)
started_in(10,has_height(10),20) started_in(11,has_height(10),20)
started_in(12,has_height(10),20) started_in(13,has_height(10),20)
started_in(14,has_height(10),20) started_in(0,has_height(10),21)
started_in(1,has_height(10),21) started_in(2,has_height(10),21)
started_in(3,has_height(10),21) started_in(4,has_height(10),21)
started_in(5,has_height(10),21) started_in(6,has_height(10),21)
started_in(7,has_height(10),21) started_in(8,has_height(10),21)
started_in(9,has_height(10),21) started_in(10,has_height(10),21)
started_in(11,has_height(10),21) started_in(12,has_height(10),21)
started_in(13,has_height(10),21) started_in(14,has_height(10),21)
started_in(0,has_height(10),22) started_in(1,has_height(10),22)
started_in(2,has_height(10),22) started_in(3,has_height(10),22)
started_in(4,has_height(10),22) started_in(5,has_height(10),22)
started_in(6,has_height(10),22) started_in(7,has_height(10),22)
started_in(8,has_height(10),22) started_in(9,has_height(10),22)
started_in(10,has_height(10),22) started_in(11,has_height(10),22)
started_in(12,has_height(10),22) started_in(13,has_height(10),22)
started_in(14,has_height(10),22) started_in(0,has_height(10),23)
started_in(1,has_height(10),23) started_in(2,has_height(10),23)
started_in(3,has_height(10),23) started_in(4,has_height(10),23)
started_in(5,has_height(10),23) started_in(6,has_height(10),23)
started_in(7,has_height(10),23) started_in(8,has_height(10),23)
started_in(9,has_height(10),23) started_in(10,has_height(10),23)
started_in(11,has_height(10),23) started_in(12,has_height(10),23)
started_in(13,has_height(10),23) started_in(14,has_height(10),23)
started_in(0,has_height(10),24) started_in(1,has_height(10),24)
started_in(2,has_height(10),24) started_in(3,has_height(10),24)
started_in(4,has_height(10),24) started_in(5,has_height(10),24)
started_in(6,has_height(10),24) started_in(7,has_height(10),24)
started_in(8,has_height(10),24) started_in(9,has_height(10),24)
started_in(10,has_height(10),24) started_in(11,has_height(10),24)
started_in(12,has_height(10),24) started_in(13,has_height(10),24)
started_in(14,has_height(10),24) started_in(0,has_height(10),25)
started_in(1,has_height(10),25) started_in(2,has_height(10),25)
started_in(3,has_height(10),25) started_in(4,has_height(10),25)
started_in(5,has_height(10),25) started_in(6,has_height(10),25)
started_in(7,has_height(10),25) started_in(8,has_height(10),25)
started_in(9,has_height(10),25) started_in(10,has_height(10),25)
started_in(11,has_height(10),25) started_in(12,has_height(10),25)
started_in(13,has_height(10),25) started_in(14,has_height(10),25)
True Duration: 11.540 Number of choice points: 0 Number of wrong
choices: 0 Number of atoms: 373620 Number of rules: 1245208 Number
of picked atoms: 0 Number of forced atoms: 0 Number of truth
assignments: 9844 Size of searchspace (removed): 0 (0)