z1(0) :- v1(0),w1(0).
z2(0) :- v1(0),w2(0).
z3(0) :- v2(0),w1(0).
z4(0) :- v2(0),w2(0).
v1(0) :- s(0).
v2(0) :- t(0).
w1(0) :- p(0).
w2(0) :- q(0).
t(0) :- not s(0).
s(0) :- not t(0).
p(0) :- not q(0).
q(0) :- not p(0).
m(0) :- z1(0).
m(0) :- z2(0).
m(0) :- z3(0).
m(0) :- z4(0).
z1(1) :- v1(1),w1(1).
z2(1) :- v1(1),w2(1).
z3(1) :- v2(1),w1(1).
z4(1) :- v2(1),w2(1).
v1(1) :- s(1).
v2(1) :- t(1).
w1(1) :- p(1).
w2(1) :- q(1).
t(1) :- not s(1).
s(1) :- not t(1).
p(1) :- not q(1).
q(1) :- not p(1).
m(1) :- z1(1).
m(1) :- z2(1).
m(1) :- z3(1).
m(1) :- z4(1).
z1(2) :- v1(2),w1(2).
z2(2) :- v1(2),w2(2).
z3(2) :- v2(2),w1(2).
z4(2) :- v2(2),w2(2).
v1(2) :- s(2).
v2(2) :- t(2).
w1(2) :- p(2).
w2(2) :- q(2).
t(2) :- not s(2).
s(2) :- not t(2).
p(2) :- not q(2).
q(2) :- not p(2).
m(2) :- z1(2).
m(2) :- z2(2).
m(2) :- z3(2).
m(2) :- z4(2).
z1(3) :- v1(3),w1(3).
z2(3) :- v1(3),w2(3).
z3(3) :- v2(3),w1(3).
z4(3) :- v2(3),w2(3).
v1(3) :- s(3).
v2(3) :- t(3).
w1(3) :- p(3).
w2(3) :- q(3).
t(3) :- not s(3).
s(3) :- not t(3).
p(3) :- not q(3).
q(3) :- not p(3).
m(3) :- z1(3).
m(3) :- z2(3).
m(3) :- z3(3).
m(3) :- z4(3).
z1(4) :- v1(4),w1(4).
z2(4) :- v1(4),w2(4).
z3(4) :- v2(4),w1(4).
z4(4) :- v2(4),w2(4).
v1(4) :- s(4).
v2(4) :- t(4).
w1(4) :- p(4).
w2(4) :- q(4).
t(4) :- not s(4).
s(4) :- not t(4).
p(4) :- not q(4).
q(4) :- not p(4).
m(4) :- z1(4).
m(4) :- z2(4).
m(4) :- z3(4).
m(4) :- z4(4).
