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).
