1.
knowsValueIsNot((1,0),bought,0,true).
knowsValueIsNot((2,0),bought,0,true).
knowsValueIsNot((3,0),bought,0,true).
knowsValueIsNot((4,0),bought,0,true).
knowsValueIsNot((5,0),bought,0,true).
knowsValueIsNot((6,0),bought,0,true).
knowsValueIsNot((7,0),bought,0,true).
knowsValueIsNot((8,0),bought,0,true).
knowsValueIsNot((9,0),bought,0,true).
2.
knowsValueIsNot((1,0),collected,0,true).
knowsValueIsNot((2,0),collected,0,true).
knowsValueIsNot((3,0),collected,0,true).
knowsValueIsNot((4,0),collected,0,true).
knowsValueIsNot((5,0),collected,0,true).
knowsValueIsNot((6,0),collected,0,true).
knowsValueIsNot((7,0),collected,0,true).
knowsValueIsNot((8,0),collected,0,true).
knowsValueIsNot((9,0),collected,0,true).
3.
knowsValueIsNot((1,0),bought,2,false).
knowsValueIsNot((2,0),bought,2,false).
knowsValueIsNot((3,0),bought,2,false).
knowsValueIsNot((4,0),bought,2,false).
knowsValueIsNot((5,0),bought,2,false).
knowsValueIsNot((6,0),bought,2,false).
knowsValueIsNot((7,0),bought,2,false).
knowsValueIsNot((8,0),bought,2,false).
knowsValueIsNot((9,0),bought,2,false).
4.
knowsValueIsNot((1,0),collected,4,false).
knowsValueIsNot((2,0),collected,4,false).
knowsValueIsNot((3,0),collected,4,false).
knowsValueIsNot((4,0),collected,4,false).
knowsValueIsNot((5,0),collected,4,false).
knowsValueIsNot((6,0),collected,4,false).
knowsValueIsNot((7,0),collected,4,false).
knowsValueIsNot((8,0),collected,4,false).
knowsValueIsNot((9,0),collected,4,false).
5.
-knowsValueIsNot((1,0),collectionPoint,0,red).
-knowsValueIsNot((2,0),collectionPoint,0,red).
-knowsValueIsNot((3,0),collectionPoint,0,red).
-knowsValueIsNot((4,0),collectionPoint,0,red).
-knowsValueIsNot((5,0),collectionPoint,0,red).
-knowsValueIsNot((6,0),collectionPoint,0,red).
-knowsValueIsNot((7,0),collectionPoint,0,red).
-knowsValueIsNot((8,0),collectionPoint,0,red).
-knowsValueIsNot((9,0),collectionPoint,0,red).
6.
-knowsValueIsNot((1,0),collectionPoint,0,blue).
-knowsValueIsNot((2,0),collectionPoint,0,blue).
-knowsValueIsNot((3,0),collectionPoint,0,blue).
-knowsValueIsNot((4,0),collectionPoint,0,blue).
-knowsValueIsNot((5,0),collectionPoint,0,blue).
-knowsValueIsNot((6,0),collectionPoint,0,blue).
-knowsValueIsNot((7,0),collectionPoint,0,blue).
-knowsValueIsNot((8,0),collectionPoint,0,blue).
-knowsValueIsNot((9,0),collectionPoint,0,blue).
7.
-knowsValueIsNot((1,0),collectionPoint,0,green).
-knowsValueIsNot((2,0),collectionPoint,0,green).
-knowsValueIsNot((3,0),collectionPoint,0,green).
-knowsValueIsNot((4,0),collectionPoint,0,green).
-knowsValueIsNot((5,0),collectionPoint,0,green).
-knowsValueIsNot((6,0),collectionPoint,0,green).
-knowsValueIsNot((7,0),collectionPoint,0,green).
-knowsValueIsNot((8,0),collectionPoint,0,green).
-knowsValueIsNot((9,0),collectionPoint,0,green).
8.
-knowsValueIsNot((1,0),collectionPoint,3,red).
-knowsValueIsNot((2,0),collectionPoint,3,red).
-knowsValueIsNot((3,0),collectionPoint,3,red).
-knowsValueIsNot((4,0),collectionPoint,3,red).
-knowsValueIsNot((5,0),collectionPoint,3,red).
-knowsValueIsNot((6,0),collectionPoint,3,red).
-knowsValueIsNot((7,0),collectionPoint,3,red).
-knowsValueIsNot((8,0),collectionPoint,3,red).
-knowsValueIsNot((9,0),collectionPoint,3,red).
9.
-knowsValueIsNot((1,0),collectionPoint,3,blue).
-knowsValueIsNot((2,0),collectionPoint,3,blue).
-knowsValueIsNot((3,0),collectionPoint,3,blue).
-knowsValueIsNot((4,0),collectionPoint,3,blue).
-knowsValueIsNot((5,0),collectionPoint,3,blue).
-knowsValueIsNot((6,0),collectionPoint,3,blue).
-knowsValueIsNot((7,0),collectionPoint,3,blue).
-knowsValueIsNot((8,0),collectionPoint,3,blue).
-knowsValueIsNot((9,0),collectionPoint,3,blue).
10.
-knowsValueIsNot((1,0),collectionPoint,3,green).
-knowsValueIsNot((2,0),collectionPoint,3,green).
-knowsValueIsNot((3,0),collectionPoint,3,green).
-knowsValueIsNot((4,0),collectionPoint,3,green).
-knowsValueIsNot((5,0),collectionPoint,3,green).
-knowsValueIsNot((6,0),collectionPoint,3,green).
-knowsValueIsNot((7,0),collectionPoint,3,green).
-knowsValueIsNot((8,0),collectionPoint,3,green).
-knowsValueIsNot((9,0),collectionPoint,3,green).
11.
-knowsValueIsNot((1,3),collectionPoint,0,red).
-knowsValueIsNot((2,3),collectionPoint,0,red).
-knowsValueIsNot((3,3),collectionPoint,0,red).
-knowsValueIsNot((4,3),collectionPoint,0,red).
-knowsValueIsNot((5,3),collectionPoint,0,red).
-knowsValueIsNot((6,3),collectionPoint,0,red).
-knowsValueIsNot((7,3),collectionPoint,0,red).
-knowsValueIsNot((8,3),collectionPoint,0,red).
-knowsValueIsNot((9,3),collectionPoint,0,red).
12.
-knowsValueIsNot((1,3),collectionPoint,0,blue).
-knowsValueIsNot((2,3),collectionPoint,0,blue).
-knowsValueIsNot((3,3),collectionPoint,0,blue).
-knowsValueIsNot((4,3),collectionPoint,0,blue).
-knowsValueIsNot((5,3),collectionPoint,0,blue).
-knowsValueIsNot((6,3),collectionPoint,0,blue).
-knowsValueIsNot((7,3),collectionPoint,0,blue).
-knowsValueIsNot((8,3),collectionPoint,0,blue).
-knowsValueIsNot((9,3),collectionPoint,0,blue).
13.
-knowsValueIsNot((1,3),collectionPoint,0,green).
-knowsValueIsNot((2,3),collectionPoint,0,green).
-knowsValueIsNot((3,3),collectionPoint,0,green).
-knowsValueIsNot((4,3),collectionPoint,0,green).
-knowsValueIsNot((5,3),collectionPoint,0,green).
-knowsValueIsNot((6,3),collectionPoint,0,green).
-knowsValueIsNot((7,3),collectionPoint,0,green).
-knowsValueIsNot((8,3),collectionPoint,0,green).
-knowsValueIsNot((9,3),collectionPoint,0,green).
14.
knowsValueIsNot((1,3),collectionPoint,3,red).
knowsValueIsNot((2,3),collectionPoint,3,red).
-knowsValueIsNot((3,3),collectionPoint,3,red).
-knowsValueIsNot((4,3),collectionPoint,3,red).
knowsValueIsNot((5,3),collectionPoint,3,red).
knowsValueIsNot((6,3),collectionPoint,3,red).
knowsValueIsNot((7,3),collectionPoint,3,red).
-knowsValueIsNot((8,3),collectionPoint,3,red).
knowsValueIsNot((9,3),collectionPoint,3,red).
15.
knowsValueIsNot((1,3),collectionPoint,3,red).
knowsValueIsNot((2,3),collectionPoint,3,red).
-knowsValueIsNot((3,3),collectionPoint,3,red).
-knowsValueIsNot((4,3),collectionPoint,3,red).
knowsValueIsNot((5,3),collectionPoint,3,red).
knowsValueIsNot((6,3),collectionPoint,3,red).
knowsValueIsNot((7,3),collectionPoint,3,red).
-knowsValueIsNot((8,3),collectionPoint,3,red).
knowsValueIsNot((9,3),collectionPoint,3,red).
16.
-knowsValueIsNot((1,3),collectionPoint,3,blue).
-knowsValueIsNot((2,3),collectionPoint,3,blue).
knowsValueIsNot((3,3),collectionPoint,3,blue).
knowsValueIsNot((4,3),collectionPoint,3,blue).
-knowsValueIsNot((5,3),collectionPoint,3,blue).
knowsValueIsNot((6,3),collectionPoint,3,blue).
knowsValueIsNot((7,3),collectionPoint,3,blue).
knowsValueIsNot((8,3),collectionPoint,3,blue).
knowsValueIsNot((9,3),collectionPoint,3,blue).
17.
-knowsValueIsNot((1,3),collectionPoint,3,blue).
-knowsValueIsNot((2,3),collectionPoint,3,blue).
knowsValueIsNot((3,3),collectionPoint,3,blue).
knowsValueIsNot((4,3),collectionPoint,3,blue).
-knowsValueIsNot((5,3),collectionPoint,3,blue).
knowsValueIsNot((6,3),collectionPoint,3,blue).
knowsValueIsNot((7,3),collectionPoint,3,blue).
knowsValueIsNot((8,3),collectionPoint,3,blue).
knowsValueIsNot((9,3),collectionPoint,3,blue).
18.
knowsValueIsNot((1,3),collectionPoint,3,green).
knowsValueIsNot((2,3),collectionPoint,3,green).
knowsValueIsNot((3,3),collectionPoint,3,green).
knowsValueIsNot((4,3),collectionPoint,3,green).
knowsValueIsNot((5,3),collectionPoint,3,green).
-knowsValueIsNot((6,3),collectionPoint,3,green).
-knowsValueIsNot((7,3),collectionPoint,3,green).
knowsValueIsNot((8,3),collectionPoint,3,green).
-knowsValueIsNot((9,3),collectionPoint,3,green).
19.
knowsValueIsNot((1,3),collectionPoint,3,green).
knowsValueIsNot((2,3),collectionPoint,3,green).
knowsValueIsNot((3,3),collectionPoint,3,green).
knowsValueIsNot((4,3),collectionPoint,3,green).
knowsValueIsNot((5,3),collectionPoint,3,green).
-knowsValueIsNot((6,3),collectionPoint,3,green).
-knowsValueIsNot((7,3),collectionPoint,3,green).
knowsValueIsNot((8,3),collectionPoint,3,green).
-knowsValueIsNot((9,3),collectionPoint,3,green).
20.
knowsValueIs((1,0),bought,0,false).
knowsValueIs((2,0),bought,0,false).
knowsValueIs((3,0),bought,0,false).
knowsValueIs((4,0),bought,0,false).
knowsValueIs((5,0),bought,0,false).
knowsValueIs((6,0),bought,0,false).
knowsValueIs((7,0),bought,0,false).
knowsValueIs((8,0),bought,0,false).
knowsValueIs((9,0),bought,0,false).
21.
knowsValueIs((1,0),collected,0,false).
knowsValueIs((2,0),collected,0,false).
knowsValueIs((3,0),collected,0,false).
knowsValueIs((4,0),collected,0,false).
knowsValueIs((5,0),collected,0,false).
knowsValueIs((6,0),collected,0,false).
knowsValueIs((7,0),collected,0,false).
knowsValueIs((8,0),collected,0,false).
knowsValueIs((9,0),collected,0,false).
22.
knowsValueIs((1,0),bought,2,true).
knowsValueIs((2,0),bought,2,true).
knowsValueIs((3,0),bought,2,true).
knowsValueIs((4,0),bought,2,true).
knowsValueIs((5,0),bought,2,true).
knowsValueIs((6,0),bought,2,true).
knowsValueIs((7,0),bought,2,true).
knowsValueIs((8,0),bought,2,true).
knowsValueIs((9,0),bought,2,true).
23.
knowsValueIs((1,0),collected,4,true).
knowsValueIs((2,0),collected,4,true).
knowsValueIs((3,0),collected,4,true).
knowsValueIs((4,0),collected,4,true).
knowsValueIs((5,0),collected,4,true).
knowsValueIs((6,0),collected,4,true).
knowsValueIs((7,0),collected,4,true).
knowsValueIs((8,0),collected,4,true).
knowsValueIs((9,0),collected,4,true).
24.
-knowsValueIs((1,0),collectionPoint,0,red).
-knowsValueIs((2,0),collectionPoint,0,red).
-knowsValueIs((3,0),collectionPoint,0,red).
-knowsValueIs((4,0),collectionPoint,0,red).
-knowsValueIs((5,0),collectionPoint,0,red).
-knowsValueIs((6,0),collectionPoint,0,red).
-knowsValueIs((7,0),collectionPoint,0,red).
-knowsValueIs((8,0),collectionPoint,0,red).
-knowsValueIs((9,0),collectionPoint,0,red).
25.
-knowsValueIs((1,0),collectionPoint,0,blue).
-knowsValueIs((2,0),collectionPoint,0,blue).
-knowsValueIs((3,0),collectionPoint,0,blue).
-knowsValueIs((4,0),collectionPoint,0,blue).
-knowsValueIs((5,0),collectionPoint,0,blue).
-knowsValueIs((6,0),collectionPoint,0,blue).
-knowsValueIs((7,0),collectionPoint,0,blue).
-knowsValueIs((8,0),collectionPoint,0,blue).
-knowsValueIs((9,0),collectionPoint,0,blue).
26.
-knowsValueIs((1,0),collectionPoint,0,green).
-knowsValueIs((2,0),collectionPoint,0,green).
-knowsValueIs((3,0),collectionPoint,0,green).
-knowsValueIs((4,0),collectionPoint,0,green).
-knowsValueIs((5,0),collectionPoint,0,green).
-knowsValueIs((6,0),collectionPoint,0,green).
-knowsValueIs((7,0),collectionPoint,0,green).
-knowsValueIs((8,0),collectionPoint,0,green).
-knowsValueIs((9,0),collectionPoint,0,green).
27.
-knowsValueIs((1,0),collectionPoint,3,red).
-knowsValueIs((2,0),collectionPoint,3,red).
-knowsValueIs((3,0),collectionPoint,3,red).
-knowsValueIs((4,0),collectionPoint,3,red).
-knowsValueIs((5,0),collectionPoint,3,red).
-knowsValueIs((6,0),collectionPoint,3,red).
-knowsValueIs((7,0),collectionPoint,3,red).
-knowsValueIs((8,0),collectionPoint,3,red).
-knowsValueIs((9,0),collectionPoint,3,red).
28.
-knowsValueIs((1,0),collectionPoint,3,blue).
-knowsValueIs((2,0),collectionPoint,3,blue).
-knowsValueIs((3,0),collectionPoint,3,blue).
-knowsValueIs((4,0),collectionPoint,3,blue).
-knowsValueIs((5,0),collectionPoint,3,blue).
-knowsValueIs((6,0),collectionPoint,3,blue).
-knowsValueIs((7,0),collectionPoint,3,blue).
-knowsValueIs((8,0),collectionPoint,3,blue).
-knowsValueIs((9,0),collectionPoint,3,blue).
29.
-knowsValueIs((1,0),collectionPoint,3,green).
-knowsValueIs((2,0),collectionPoint,3,green).
-knowsValueIs((3,0),collectionPoint,3,green).
-knowsValueIs((4,0),collectionPoint,3,green).
-knowsValueIs((5,0),collectionPoint,3,green).
-knowsValueIs((6,0),collectionPoint,3,green).
-knowsValueIs((7,0),collectionPoint,3,green).
-knowsValueIs((8,0),collectionPoint,3,green).
-knowsValueIs((9,0),collectionPoint,3,green).
30.
-knowsValueIs((1,3),collectionPoint,0,red).
-knowsValueIs((2,3),collectionPoint,0,red).
-knowsValueIs((3,3),collectionPoint,0,red).
-knowsValueIs((4,3),collectionPoint,0,red).
-knowsValueIs((5,3),collectionPoint,0,red).
-knowsValueIs((6,3),collectionPoint,0,red).
-knowsValueIs((7,3),collectionPoint,0,red).
-knowsValueIs((8,3),collectionPoint,0,red).
-knowsValueIs((9,3),collectionPoint,0,red).
31.
-knowsValueIs((1,3),collectionPoint,0,blue).
-knowsValueIs((2,3),collectionPoint,0,blue).
-knowsValueIs((3,3),collectionPoint,0,blue).
-knowsValueIs((4,3),collectionPoint,0,blue).
-knowsValueIs((5,3),collectionPoint,0,blue).
-knowsValueIs((6,3),collectionPoint,0,blue).
-knowsValueIs((7,3),collectionPoint,0,blue).
-knowsValueIs((8,3),collectionPoint,0,blue).
-knowsValueIs((9,3),collectionPoint,0,blue).
32.
-knowsValueIs((1,3),collectionPoint,0,green).
-knowsValueIs((2,3),collectionPoint,0,green).
-knowsValueIs((3,3),collectionPoint,0,green).
-knowsValueIs((4,3),collectionPoint,0,green).
-knowsValueIs((5,3),collectionPoint,0,green).
-knowsValueIs((6,3),collectionPoint,0,green).
-knowsValueIs((7,3),collectionPoint,0,green).
-knowsValueIs((8,3),collectionPoint,0,green).
-knowsValueIs((9,3),collectionPoint,0,green).
33.
-knowsValueIs((1,3),collectionPoint,3,red).
-knowsValueIs((2,3),collectionPoint,3,red).
knowsValueIs((3,3),collectionPoint,3,red).
knowsValueIs((4,3),collectionPoint,3,red).
-knowsValueIs((5,3),collectionPoint,3,red).
-knowsValueIs((6,3),collectionPoint,3,red).
-knowsValueIs((7,3),collectionPoint,3,red).
knowsValueIs((8,3),collectionPoint,3,red).
-knowsValueIs((9,3),collectionPoint,3,red).
34.
-knowsValueIs((1,3),collectionPoint,3,red).
-knowsValueIs((2,3),collectionPoint,3,red).
knowsValueIs((3,3),collectionPoint,3,red).
knowsValueIs((4,3),collectionPoint,3,red).
-knowsValueIs((5,3),collectionPoint,3,red).
-knowsValueIs((6,3),collectionPoint,3,red).
-knowsValueIs((7,3),collectionPoint,3,red).
knowsValueIs((8,3),collectionPoint,3,red).
-knowsValueIs((9,3),collectionPoint,3,red).
35.
knowsValueIs((1,3),collectionPoint,3,blue).
knowsValueIs((2,3),collectionPoint,3,blue).
-knowsValueIs((3,3),collectionPoint,3,blue).
-knowsValueIs((4,3),collectionPoint,3,blue).
knowsValueIs((5,3),collectionPoint,3,blue).
-knowsValueIs((6,3),collectionPoint,3,blue).
-knowsValueIs((7,3),collectionPoint,3,blue).
-knowsValueIs((8,3),collectionPoint,3,blue).
-knowsValueIs((9,3),collectionPoint,3,blue).
36.
knowsValueIs((1,3),collectionPoint,3,blue).
knowsValueIs((2,3),collectionPoint,3,blue).
-knowsValueIs((3,3),collectionPoint,3,blue).
-knowsValueIs((4,3),collectionPoint,3,blue).
knowsValueIs((5,3),collectionPoint,3,blue).
-knowsValueIs((6,3),collectionPoint,3,blue).
-knowsValueIs((7,3),collectionPoint,3,blue).
-knowsValueIs((8,3),collectionPoint,3,blue).
-knowsValueIs((9,3),collectionPoint,3,blue).
37.
-knowsValueIs((1,3),collectionPoint,3,green).
-knowsValueIs((2,3),collectionPoint,3,green).
-knowsValueIs((3,3),collectionPoint,3,green).
-knowsValueIs((4,3),collectionPoint,3,green).
-knowsValueIs((5,3),collectionPoint,3,green).
knowsValueIs((6,3),collectionPoint,3,green).
knowsValueIs((7,3),collectionPoint,3,green).
-knowsValueIs((8,3),collectionPoint,3,green).
knowsValueIs((9,3),collectionPoint,3,green).
38.
-knowsValueIs((1,3),collectionPoint,3,green).
-knowsValueIs((2,3),collectionPoint,3,green).
-knowsValueIs((3,3),collectionPoint,3,green).
-knowsValueIs((4,3),collectionPoint,3,green).
-knowsValueIs((5,3),collectionPoint,3,green).
knowsValueIs((6,3),collectionPoint,3,green).
knowsValueIs((7,3),collectionPoint,3,green).
-knowsValueIs((8,3),collectionPoint,3,green).
knowsValueIs((9,3),collectionPoint,3,green).
39.
knowsValue((1,0),bought,0).
knowsValue((2,0),bought,0).
knowsValue((3,0),bought,0).
knowsValue((4,0),bought,0).
knowsValue((5,0),bought,0).
knowsValue((6,0),bought,0).
knowsValue((7,0),bought,0).
knowsValue((8,0),bought,0).
knowsValue((9,0),bought,0).
40.
knowsValue((1,0),collected,0).
knowsValue((2,0),collected,0).
knowsValue((3,0),collected,0).
knowsValue((4,0),collected,0).
knowsValue((5,0),collected,0).
knowsValue((6,0),collected,0).
knowsValue((7,0),collected,0).
knowsValue((8,0),collected,0).
knowsValue((9,0),collected,0).
41.
knowsValue((1,0),bought,2).
knowsValue((2,0),bought,2).
knowsValue((3,0),bought,2).
knowsValue((4,0),bought,2).
knowsValue((5,0),bought,2).
knowsValue((6,0),bought,2).
knowsValue((7,0),bought,2).
knowsValue((8,0),bought,2).
knowsValue((9,0),bought,2).
42.
knowsValue((1,0),collected,4).
knowsValue((2,0),collected,4).
knowsValue((3,0),collected,4).
knowsValue((4,0),collected,4).
knowsValue((5,0),collected,4).
knowsValue((6,0),collected,4).
knowsValue((7,0),collected,4).
knowsValue((8,0),collected,4).
knowsValue((9,0),collected,4).
43.
-knowsValue((1,0),collectionPoint,0).
-knowsValue((2,0),collectionPoint,0).
-knowsValue((3,0),collectionPoint,0).
-knowsValue((4,0),collectionPoint,0).
-knowsValue((5,0),collectionPoint,0).
-knowsValue((6,0),collectionPoint,0).
-knowsValue((7,0),collectionPoint,0).
-knowsValue((8,0),collectionPoint,0).
-knowsValue((9,0),collectionPoint,0).
44.
-knowsValue((1,0),collectionPoint,3).
-knowsValue((2,0),collectionPoint,3).
-knowsValue((3,0),collectionPoint,3).
-knowsValue((4,0),collectionPoint,3).
-knowsValue((5,0),collectionPoint,3).
-knowsValue((6,0),collectionPoint,3).
-knowsValue((7,0),collectionPoint,3).
-knowsValue((8,0),collectionPoint,3).
-knowsValue((9,0),collectionPoint,3).
45.
-knowsValue((1,3),collectionPoint,0).
-knowsValue((2,3),collectionPoint,0).
-knowsValue((3,3),collectionPoint,0).
-knowsValue((4,3),collectionPoint,0).
-knowsValue((5,3),collectionPoint,0).
-knowsValue((6,3),collectionPoint,0).
-knowsValue((7,3),collectionPoint,0).
-knowsValue((8,3),collectionPoint,0).
-knowsValue((9,3),collectionPoint,0).
46.
knowsValue((1,3),collectionPoint,3).
knowsValue((2,3),collectionPoint,3).
knowsValue((3,3),collectionPoint,3).
knowsValue((4,3),collectionPoint,3).
knowsValue((5,3),collectionPoint,3).
knowsValue((6,3),collectionPoint,3).
knowsValue((7,3),collectionPoint,3).
knowsValue((8,3),collectionPoint,3).
knowsValue((9,3),collectionPoint,3).
47.
knowsHappens((1,0),purchase,1).
knowsHappens((2,0),purchase,1).
knowsHappens((3,0),purchase,1).
knowsHappens((4,0),purchase,1).
knowsHappens((5,0),purchase,1).
knowsHappens((6,0),purchase,1).
knowsHappens((7,0),purchase,1).
knowsHappens((8,0),purchase,1).
knowsHappens((9,0),purchase,1).
48.
knowsHappens((1,0),sense(collectionPoint),2).
knowsHappens((2,0),sense(collectionPoint),2).
knowsHappens((3,0),sense(collectionPoint),2).
knowsHappens((4,0),sense(collectionPoint),2).
knowsHappens((5,0),sense(collectionPoint),2).
knowsHappens((6,0),sense(collectionPoint),2).
knowsHappens((7,0),sense(collectionPoint),2).
knowsHappens((8,0),sense(collectionPoint),2).
knowsHappens((9,0),sense(collectionPoint),2).
49.
-knowsHappens((1,0),collectFromRed,3).
-knowsHappens((2,0),collectFromRed,3).
-knowsHappens((3,0),collectFromRed,3).
-knowsHappens((4,0),collectFromRed,3).
-knowsHappens((5,0),collectFromRed,3).
-knowsHappens((6,0),collectFromRed,3).
-knowsHappens((7,0),collectFromRed,3).
-knowsHappens((8,0),collectFromRed,3).
-knowsHappens((9,0),collectFromRed,3).
50.
-knowsHappens((1,0),collectFromBlue,3).
-knowsHappens((2,0),collectFromBlue,3).
-knowsHappens((3,0),collectFromBlue,3).
-knowsHappens((4,0),collectFromBlue,3).
-knowsHappens((5,0),collectFromBlue,3).
-knowsHappens((6,0),collectFromBlue,3).
-knowsHappens((7,0),collectFromBlue,3).
-knowsHappens((8,0),collectFromBlue,3).
-knowsHappens((9,0),collectFromBlue,3).
51.
-knowsHappens((1,0),collectFromGreen,3).
-knowsHappens((2,0),collectFromGreen,3).
-knowsHappens((3,0),collectFromGreen,3).
-knowsHappens((4,0),collectFromGreen,3).
-knowsHappens((5,0),collectFromGreen,3).
-knowsHappens((6,0),collectFromGreen,3).
-knowsHappens((7,0),collectFromGreen,3).
-knowsHappens((8,0),collectFromGreen,3).
-knowsHappens((9,0),collectFromGreen,3).
52.
-knowsHappens((1,0),giveFreeGift,3).
-knowsHappens((2,0),giveFreeGift,3).
-knowsHappens((3,0),giveFreeGift,3).
-knowsHappens((4,0),giveFreeGift,3).
-knowsHappens((5,0),giveFreeGift,3).
-knowsHappens((6,0),giveFreeGift,3).
-knowsHappens((7,0),giveFreeGift,3).
-knowsHappens((8,0),giveFreeGift,3).
-knowsHappens((9,0),giveFreeGift,3).
53.
knowsHappens((1,3),purchase,1).
knowsHappens((2,3),purchase,1).
knowsHappens((3,3),purchase,1).
knowsHappens((4,3),purchase,1).
knowsHappens((5,3),purchase,1).
knowsHappens((6,3),purchase,1).
knowsHappens((7,3),purchase,1).
knowsHappens((8,3),purchase,1).
knowsHappens((9,3),purchase,1).
54.
knowsHappens((1,3),sense(collectionPoint),2).
knowsHappens((2,3),sense(collectionPoint),2).
knowsHappens((3,3),sense(collectionPoint),2).
knowsHappens((4,3),sense(collectionPoint),2).
knowsHappens((5,3),sense(collectionPoint),2).
knowsHappens((6,3),sense(collectionPoint),2).
knowsHappens((7,3),sense(collectionPoint),2).
knowsHappens((8,3),sense(collectionPoint),2).
knowsHappens((9,3),sense(collectionPoint),2).
55.
-knowsHappens((1,3),collectFromRed,3).
-knowsHappens((2,3),collectFromRed,3).
knowsHappens((3,3),collectFromRed,3).
knowsHappens((4,3),collectFromRed,3).
-knowsHappens((5,3),collectFromRed,3).
-knowsHappens((6,3),collectFromRed,3).
-knowsHappens((7,3),collectFromRed,3).
knowsHappens((8,3),collectFromRed,3).
-knowsHappens((9,3),collectFromRed,3).
56.
-knowsHappens((1,3),collectFromRed,3).
-knowsHappens((2,3),collectFromRed,3).
knowsHappens((3,3),collectFromRed,3).
knowsHappens((4,3),collectFromRed,3).
-knowsHappens((5,3),collectFromRed,3).
-knowsHappens((6,3),collectFromRed,3).
-knowsHappens((7,3),collectFromRed,3).
knowsHappens((8,3),collectFromRed,3).
-knowsHappens((9,3),collectFromRed,3).
57.
knowsHappens((1,3),collectFromBlue,3).
knowsHappens((2,3),collectFromBlue,3).
-knowsHappens((3,3),collectFromBlue,3).
-knowsHappens((4,3),collectFromBlue,3).
knowsHappens((5,3),collectFromBlue,3).
-knowsHappens((6,3),collectFromBlue,3).
-knowsHappens((7,3),collectFromBlue,3).
-knowsHappens((8,3),collectFromBlue,3).
-knowsHappens((9,3),collectFromBlue,3).
58.
knowsHappens((1,3),collectFromBlue,3).
knowsHappens((2,3),collectFromBlue,3).
-knowsHappens((3,3),collectFromBlue,3).
-knowsHappens((4,3),collectFromBlue,3).
knowsHappens((5,3),collectFromBlue,3).
-knowsHappens((6,3),collectFromBlue,3).
-knowsHappens((7,3),collectFromBlue,3).
-knowsHappens((8,3),collectFromBlue,3).
-knowsHappens((9,3),collectFromBlue,3).
59.
-knowsHappens((1,3),collectFromGreen,3).
-knowsHappens((2,3),collectFromGreen,3).
-knowsHappens((3,3),collectFromGreen,3).
-knowsHappens((4,3),collectFromGreen,3).
-knowsHappens((5,3),collectFromGreen,3).
knowsHappens((6,3),collectFromGreen,3).
knowsHappens((7,3),collectFromGreen,3).
-knowsHappens((8,3),collectFromGreen,3).
knowsHappens((9,3),collectFromGreen,3).
60.
-knowsHappens((1,3),collectFromGreen,3).
-knowsHappens((2,3),collectFromGreen,3).
-knowsHappens((3,3),collectFromGreen,3).
-knowsHappens((4,3),collectFromGreen,3).
-knowsHappens((5,3),collectFromGreen,3).
knowsHappens((6,3),collectFromGreen,3).
knowsHappens((7,3),collectFromGreen,3).
-knowsHappens((8,3),collectFromGreen,3).
knowsHappens((9,3),collectFromGreen,3).
61.
-knowsHappens((1,3),giveFreeGift,3).
-knowsHappens((2,3),giveFreeGift,3).
knowsHappens((3,3),giveFreeGift,3).
knowsHappens((4,3),giveFreeGift,3).
-knowsHappens((5,3),giveFreeGift,3).
-knowsHappens((6,3),giveFreeGift,3).
-knowsHappens((7,3),giveFreeGift,3).
knowsHappens((8,3),giveFreeGift,3).
-knowsHappens((9,3),giveFreeGift,3).
62.
-knowsHappens((1,3),giveFreeGift,3).
-knowsHappens((2,3),giveFreeGift,3).
knowsHappens((3,3),giveFreeGift,3).
knowsHappens((4,3),giveFreeGift,3).
-knowsHappens((5,3),giveFreeGift,3).
-knowsHappens((6,3),giveFreeGift,3).
-knowsHappens((7,3),giveFreeGift,3).
knowsHappens((8,3),giveFreeGift,3).
-knowsHappens((9,3),giveFreeGift,3).
63.
knowsNotHappens((1,0),purchase,4).
knowsNotHappens((2,0),purchase,4).
knowsNotHappens((3,0),purchase,4).
knowsNotHappens((4,0),purchase,4).
knowsNotHappens((5,0),purchase,4).
knowsNotHappens((6,0),purchase,4).
knowsNotHappens((7,0),purchase,4).
knowsNotHappens((8,0),purchase,4).
knowsNotHappens((9,0),purchase,4).
64.
-knowsNotHappens((1,0),purchase,1).
-knowsNotHappens((2,0),purchase,1).
-knowsNotHappens((3,0),purchase,1).
-knowsNotHappens((4,0),purchase,1).
-knowsNotHappens((5,0),purchase,1).
-knowsNotHappens((6,0),purchase,1).
-knowsNotHappens((7,0),purchase,1).
-knowsNotHappens((8,0),purchase,1).
-knowsNotHappens((9,0),purchase,1).
65.
-knowsNotHappens((1,0),collectFromRed,3).
-knowsNotHappens((2,0),collectFromRed,3).
-knowsNotHappens((3,0),collectFromRed,3).
-knowsNotHappens((4,0),collectFromRed,3).
-knowsNotHappens((5,0),collectFromRed,3).
-knowsNotHappens((6,0),collectFromRed,3).
-knowsNotHappens((7,0),collectFromRed,3).
-knowsNotHappens((8,0),collectFromRed,3).
-knowsNotHappens((9,0),collectFromRed,3).
66.
-knowsNotHappens((1,0),collectFromBlue,3).
-knowsNotHappens((2,0),collectFromBlue,3).
-knowsNotHappens((3,0),collectFromBlue,3).
-knowsNotHappens((4,0),collectFromBlue,3).
-knowsNotHappens((5,0),collectFromBlue,3).
-knowsNotHappens((6,0),collectFromBlue,3).
-knowsNotHappens((7,0),collectFromBlue,3).
-knowsNotHappens((8,0),collectFromBlue,3).
-knowsNotHappens((9,0),collectFromBlue,3).
67.
-knowsNotHappens((1,0),collectFromGreen,3).
-knowsNotHappens((2,0),collectFromGreen,3).
-knowsNotHappens((3,0),collectFromGreen,3).
-knowsNotHappens((4,0),collectFromGreen,3).
-knowsNotHappens((5,0),collectFromGreen,3).
-knowsNotHappens((6,0),collectFromGreen,3).
-knowsNotHappens((7,0),collectFromGreen,3).
-knowsNotHappens((8,0),collectFromGreen,3).
-knowsNotHappens((9,0),collectFromGreen,3).
68.
-knowsNotHappens((1,0),giveFreeGift,3).
-knowsNotHappens((2,0),giveFreeGift,3).
-knowsNotHappens((3,0),giveFreeGift,3).
-knowsNotHappens((4,0),giveFreeGift,3).
-knowsNotHappens((5,0),giveFreeGift,3).
-knowsNotHappens((6,0),giveFreeGift,3).
-knowsNotHappens((7,0),giveFreeGift,3).
-knowsNotHappens((8,0),giveFreeGift,3).
-knowsNotHappens((9,0),giveFreeGift,3).
69.
-knowsNotHappens((1,3),purchase,1).
-knowsNotHappens((2,3),purchase,1).
-knowsNotHappens((3,3),purchase,1).
-knowsNotHappens((4,3),purchase,1).
-knowsNotHappens((5,3),purchase,1).
-knowsNotHappens((6,3),purchase,1).
-knowsNotHappens((7,3),purchase,1).
-knowsNotHappens((8,3),purchase,1).
-knowsNotHappens((9,3),purchase,1).
70.
-knowsNotHappens((1,3),sense(collectionPoint),2).
-knowsNotHappens((2,3),sense(collectionPoint),2).
-knowsNotHappens((3,3),sense(collectionPoint),2).
-knowsNotHappens((4,3),sense(collectionPoint),2).
-knowsNotHappens((5,3),sense(collectionPoint),2).
-knowsNotHappens((6,3),sense(collectionPoint),2).
-knowsNotHappens((7,3),sense(collectionPoint),2).
-knowsNotHappens((8,3),sense(collectionPoint),2).
-knowsNotHappens((9,3),sense(collectionPoint),2).
71.
knowsNotHappens((1,3),collectFromRed,3).
knowsNotHappens((2,3),collectFromRed,3).
-knowsNotHappens((3,3),collectFromRed,3).
-knowsNotHappens((4,3),collectFromRed,3).
knowsNotHappens((5,3),collectFromRed,3).
knowsNotHappens((6,3),collectFromRed,3).
knowsNotHappens((7,3),collectFromRed,3).
-knowsNotHappens((8,3),collectFromRed,3).
knowsNotHappens((9,3),collectFromRed,3).
72.
knowsNotHappens((1,3),collectFromRed,3).
knowsNotHappens((2,3),collectFromRed,3).
-knowsNotHappens((3,3),collectFromRed,3).
-knowsNotHappens((4,3),collectFromRed,3).
knowsNotHappens((5,3),collectFromRed,3).
knowsNotHappens((6,3),collectFromRed,3).
knowsNotHappens((7,3),collectFromRed,3).
-knowsNotHappens((8,3),collectFromRed,3).
knowsNotHappens((9,3),collectFromRed,3).
73.
-knowsNotHappens((1,3),collectFromBlue,3).
-knowsNotHappens((2,3),collectFromBlue,3).
knowsNotHappens((3,3),collectFromBlue,3).
knowsNotHappens((4,3),collectFromBlue,3).
-knowsNotHappens((5,3),collectFromBlue,3).
knowsNotHappens((6,3),collectFromBlue,3).
knowsNotHappens((7,3),collectFromBlue,3).
knowsNotHappens((8,3),collectFromBlue,3).
knowsNotHappens((9,3),collectFromBlue,3).
74.
-knowsNotHappens((1,3),collectFromBlue,3).
-knowsNotHappens((2,3),collectFromBlue,3).
knowsNotHappens((3,3),collectFromBlue,3).
knowsNotHappens((4,3),collectFromBlue,3).
-knowsNotHappens((5,3),collectFromBlue,3).
knowsNotHappens((6,3),collectFromBlue,3).
knowsNotHappens((7,3),collectFromBlue,3).
knowsNotHappens((8,3),collectFromBlue,3).
knowsNotHappens((9,3),collectFromBlue,3).
75.
knowsNotHappens((1,3),collectFromGreen,3).
knowsNotHappens((2,3),collectFromGreen,3).
knowsNotHappens((3,3),collectFromGreen,3).
knowsNotHappens((4,3),collectFromGreen,3).
knowsNotHappens((5,3),collectFromGreen,3).
-knowsNotHappens((6,3),collectFromGreen,3).
-knowsNotHappens((7,3),collectFromGreen,3).
knowsNotHappens((8,3),collectFromGreen,3).
-knowsNotHappens((9,3),collectFromGreen,3).
76.
knowsNotHappens((1,3),collectFromGreen,3).
knowsNotHappens((2,3),collectFromGreen,3).
knowsNotHappens((3,3),collectFromGreen,3).
knowsNotHappens((4,3),collectFromGreen,3).
knowsNotHappens((5,3),collectFromGreen,3).
-knowsNotHappens((6,3),collectFromGreen,3).
-knowsNotHappens((7,3),collectFromGreen,3).
knowsNotHappens((8,3),collectFromGreen,3).
-knowsNotHappens((9,3),collectFromGreen,3).
77.
knowsNotHappens((1,3),giveFreeGift,3).
knowsNotHappens((2,3),giveFreeGift,3).
-knowsNotHappens((3,3),giveFreeGift,3).
-knowsNotHappens((4,3),giveFreeGift,3).
knowsNotHappens((5,3),giveFreeGift,3).
knowsNotHappens((6,3),giveFreeGift,3).
knowsNotHappens((7,3),giveFreeGift,3).
-knowsNotHappens((8,3),giveFreeGift,3).
knowsNotHappens((9,3),giveFreeGift,3).
78.
knowsNotHappens((1,3),giveFreeGift,3).
knowsNotHappens((2,3),giveFreeGift,3).
-knowsNotHappens((3,3),giveFreeGift,3).
-knowsNotHappens((4,3),giveFreeGift,3).
knowsNotHappens((5,3),giveFreeGift,3).
knowsNotHappens((6,3),giveFreeGift,3).
knowsNotHappens((7,3),giveFreeGift,3).
-knowsNotHappens((8,3),giveFreeGift,3).
knowsNotHappens((9,3),giveFreeGift,3).
79.
knowsIfHappens((1,0),purchase,4).
knowsIfHappens((2,0),purchase,4).
knowsIfHappens((3,0),purchase,4).
knowsIfHappens((4,0),purchase,4).
knowsIfHappens((5,0),purchase,4).
knowsIfHappens((6,0),purchase,4).
knowsIfHappens((7,0),purchase,4).
knowsIfHappens((8,0),purchase,4).
knowsIfHappens((9,0),purchase,4).
80.
knowsIfHappens((1,0),purchase,1).
knowsIfHappens((2,0),purchase,1).
knowsIfHappens((3,0),purchase,1).
knowsIfHappens((4,0),purchase,1).
knowsIfHappens((5,0),purchase,1).
knowsIfHappens((6,0),purchase,1).
knowsIfHappens((7,0),purchase,1).
knowsIfHappens((8,0),purchase,1).
knowsIfHappens((9,0),purchase,1).
81.
-knowsIfHappens((1,0),collectFromRed,3).
-knowsIfHappens((2,0),collectFromRed,3).
-knowsIfHappens((3,0),collectFromRed,3).
-knowsIfHappens((4,0),collectFromRed,3).
-knowsIfHappens((5,0),collectFromRed,3).
-knowsIfHappens((6,0),collectFromRed,3).
-knowsIfHappens((7,0),collectFromRed,3).
-knowsIfHappens((8,0),collectFromRed,3).
-knowsIfHappens((9,0),collectFromRed,3).
82.
-knowsIfHappens((1,0),collectFromBlue,3).
-knowsIfHappens((2,0),collectFromBlue,3).
-knowsIfHappens((3,0),collectFromBlue,3).
-knowsIfHappens((4,0),collectFromBlue,3).
-knowsIfHappens((5,0),collectFromBlue,3).
-knowsIfHappens((6,0),collectFromBlue,3).
-knowsIfHappens((7,0),collectFromBlue,3).
-knowsIfHappens((8,0),collectFromBlue,3).
-knowsIfHappens((9,0),collectFromBlue,3).
83.
-knowsIfHappens((1,0),collectFromGreen,3).
-knowsIfHappens((2,0),collectFromGreen,3).
-knowsIfHappens((3,0),collectFromGreen,3).
-knowsIfHappens((4,0),collectFromGreen,3).
-knowsIfHappens((5,0),collectFromGreen,3).
-knowsIfHappens((6,0),collectFromGreen,3).
-knowsIfHappens((7,0),collectFromGreen,3).
-knowsIfHappens((8,0),collectFromGreen,3).
-knowsIfHappens((9,0),collectFromGreen,3).
84.
-knowsIfHappens((1,0),giveFreeGift,3).
-knowsIfHappens((2,0),giveFreeGift,3).
-knowsIfHappens((3,0),giveFreeGift,3).
-knowsIfHappens((4,0),giveFreeGift,3).
-knowsIfHappens((5,0),giveFreeGift,3).
-knowsIfHappens((6,0),giveFreeGift,3).
-knowsIfHappens((7,0),giveFreeGift,3).
-knowsIfHappens((8,0),giveFreeGift,3).
-knowsIfHappens((9,0),giveFreeGift,3).
85.
knowsIfHappens((1,3),collectFromRed,3).
knowsIfHappens((2,3),collectFromRed,3).
knowsIfHappens((3,3),collectFromRed,3).
knowsIfHappens((4,3),collectFromRed,3).
knowsIfHappens((5,3),collectFromRed,3).
knowsIfHappens((6,3),collectFromRed,3).
knowsIfHappens((7,3),collectFromRed,3).
knowsIfHappens((8,3),collectFromRed,3).
knowsIfHappens((9,3),collectFromRed,3).
86.
knowsIfHappens((1,3),collectFromBlue,3).
knowsIfHappens((2,3),collectFromBlue,3).
knowsIfHappens((3,3),collectFromBlue,3).
knowsIfHappens((4,3),collectFromBlue,3).
knowsIfHappens((5,3),collectFromBlue,3).
knowsIfHappens((6,3),collectFromBlue,3).
knowsIfHappens((7,3),collectFromBlue,3).
knowsIfHappens((8,3),collectFromBlue,3).
knowsIfHappens((9,3),collectFromBlue,3).
87.
knowsIfHappens((1,3),collectFromGreen,3).
knowsIfHappens((2,3),collectFromGreen,3).
knowsIfHappens((3,3),collectFromGreen,3).
knowsIfHappens((4,3),collectFromGreen,3).
knowsIfHappens((5,3),collectFromGreen,3).
knowsIfHappens((6,3),collectFromGreen,3).
knowsIfHappens((7,3),collectFromGreen,3).
knowsIfHappens((8,3),collectFromGreen,3).
knowsIfHappens((9,3),collectFromGreen,3).
88.
knowsIfHappens((1,3),giveFreeGift,3).
knowsIfHappens((2,3),giveFreeGift,3).
knowsIfHappens((3,3),giveFreeGift,3).
knowsIfHappens((4,3),giveFreeGift,3).
knowsIfHappens((5,3),giveFreeGift,3).
knowsIfHappens((6,3),giveFreeGift,3).
knowsIfHappens((7,3),giveFreeGift,3).
knowsIfHappens((8,3),giveFreeGift,3).
knowsIfHappens((9,3),giveFreeGift,3).