s(0) :- p(0),q(0).
s(0) :- p(0),r(0).
s(0) :- q(0),r(0).
p(0) :- not q(0).
q(0) :- not r(0).
r(0) :- not p(0).
s(1) :- p(1),q(1).
s(1) :- p(1),r(1).
s(1) :- q(1),r(1).
p(1) :- not q(1).
q(1) :- not r(1).
r(1) :- not p(1).
s(2) :- p(2),q(2).
s(2) :- p(2),r(2).
s(2) :- q(2),r(2).
p(2) :- not q(2).
q(2) :- not r(2).
r(2) :- not p(2).
s(3) :- p(3),q(3).
s(3) :- p(3),r(3).
s(3) :- q(3),r(3).
p(3) :- not q(3).
q(3) :- not r(3).
r(3) :- not p(3).
s(4) :- p(4),q(4).
s(4) :- p(4),r(4).
s(4) :- q(4),r(4).
p(4) :- not q(4).
q(4) :- not r(4).
r(4) :- not p(4).
s(5) :- p(5),q(5).
s(5) :- p(5),r(5).
s(5) :- q(5),r(5).
p(5) :- not q(5).
q(5) :- not r(5).
r(5) :- not p(5).
s(6) :- p(6),q(6).
s(6) :- p(6),r(6).
s(6) :- q(6),r(6).
p(6) :- not q(6).
q(6) :- not r(6).
r(6) :- not p(6).
s(7) :- p(7),q(7).
s(7) :- p(7),r(7).
s(7) :- q(7),r(7).
p(7) :- not q(7).
q(7) :- not r(7).
r(7) :- not p(7).
s(8) :- p(8),q(8).
s(8) :- p(8),r(8).
s(8) :- q(8),r(8).
p(8) :- not q(8).
q(8) :- not r(8).
r(8) :- not p(8).
s(9) :- p(9),q(9).
s(9) :- p(9),r(9).
s(9) :- q(9),r(9).
p(9) :- not q(9).
q(9) :- not r(9).
r(9) :- not p(9).
s(10) :- p(10),q(10).
s(10) :- p(10),r(10).
s(10) :- q(10),r(10).
p(10) :- not q(10).
q(10) :- not r(10).
r(10) :- not p(10).
s(11) :- p(11),q(11).
s(11) :- p(11),r(11).
s(11) :- q(11),r(11).
p(11) :- not q(11).
q(11) :- not r(11).
r(11) :- not p(11).
s(12) :- p(12),q(12).
s(12) :- p(12),r(12).
s(12) :- q(12),r(12).
p(12) :- not q(12).
q(12) :- not r(12).
r(12) :- not p(12).
s(13) :- p(13),q(13).
s(13) :- p(13),r(13).
s(13) :- q(13),r(13).
p(13) :- not q(13).
q(13) :- not r(13).
r(13) :- not p(13).
s(14) :- p(14),q(14).
s(14) :- p(14),r(14).
s(14) :- q(14),r(14).
p(14) :- not q(14).
q(14) :- not r(14).
r(14) :- not p(14).
s(15) :- p(15),q(15).
s(15) :- p(15),r(15).
s(15) :- q(15),r(15).
p(15) :- not q(15).
q(15) :- not r(15).
r(15) :- not p(15).
s(16) :- p(16),q(16).
s(16) :- p(16),r(16).
s(16) :- q(16),r(16).
p(16) :- not q(16).
q(16) :- not r(16).
r(16) :- not p(16).
s(17) :- p(17),q(17).
s(17) :- p(17),r(17).
s(17) :- q(17),r(17).
p(17) :- not q(17).
q(17) :- not r(17).
r(17) :- not p(17).
s(18) :- p(18),q(18).
s(18) :- p(18),r(18).
s(18) :- q(18),r(18).
p(18) :- not q(18).
q(18) :- not r(18).
r(18) :- not p(18).
s(19) :- p(19),q(19).
s(19) :- p(19),r(19).
s(19) :- q(19),r(19).
p(19) :- not q(19).
q(19) :- not r(19).
r(19) :- not p(19).
s(20) :- p(20),q(20).
s(20) :- p(20),r(20).
s(20) :- q(20),r(20).
p(20) :- not q(20).
q(20) :- not r(20).
r(20) :- not p(20).
s(21) :- p(21),q(21).
s(21) :- p(21),r(21).
s(21) :- q(21),r(21).
p(21) :- not q(21).
q(21) :- not r(21).
r(21) :- not p(21).
s(22) :- p(22),q(22).
s(22) :- p(22),r(22).
s(22) :- q(22),r(22).
p(22) :- not q(22).
q(22) :- not r(22).
r(22) :- not p(22).
s(23) :- p(23),q(23).
s(23) :- p(23),r(23).
s(23) :- q(23),r(23).
p(23) :- not q(23).
q(23) :- not r(23).
r(23) :- not p(23).
s(24) :- p(24),q(24).
s(24) :- p(24),r(24).
s(24) :- q(24),r(24).
p(24) :- not q(24).
q(24) :- not r(24).
r(24) :- not p(24).
s(25) :- p(25),q(25).
s(25) :- p(25),r(25).
s(25) :- q(25),r(25).
p(25) :- not q(25).
q(25) :- not r(25).
r(25) :- not p(25).
s(26) :- p(26),q(26).
s(26) :- p(26),r(26).
s(26) :- q(26),r(26).
p(26) :- not q(26).
q(26) :- not r(26).
r(26) :- not p(26).
s(27) :- p(27),q(27).
s(27) :- p(27),r(27).
s(27) :- q(27),r(27).
p(27) :- not q(27).
q(27) :- not r(27).
r(27) :- not p(27).
s(28) :- p(28),q(28).
s(28) :- p(28),r(28).
s(28) :- q(28),r(28).
p(28) :- not q(28).
q(28) :- not r(28).
r(28) :- not p(28).
s(29) :- p(29),q(29).
s(29) :- p(29),r(29).
s(29) :- q(29),r(29).
p(29) :- not q(29).
q(29) :- not r(29).
r(29) :- not p(29).
s(30) :- p(30),q(30).
s(30) :- p(30),r(30).
s(30) :- q(30),r(30).
p(30) :- not q(30).
q(30) :- not r(30).
r(30) :- not p(30).
s(31) :- p(31),q(31).
s(31) :- p(31),r(31).
s(31) :- q(31),r(31).
p(31) :- not q(31).
q(31) :- not r(31).
r(31) :- not p(31).
s(32) :- p(32),q(32).
s(32) :- p(32),r(32).
s(32) :- q(32),r(32).
p(32) :- not q(32).
q(32) :- not r(32).
r(32) :- not p(32).
s(33) :- p(33),q(33).
s(33) :- p(33),r(33).
s(33) :- q(33),r(33).
p(33) :- not q(33).
q(33) :- not r(33).
r(33) :- not p(33).
s(34) :- p(34),q(34).
s(34) :- p(34),r(34).
s(34) :- q(34),r(34).
p(34) :- not q(34).
q(34) :- not r(34).
r(34) :- not p(34).
s(35) :- p(35),q(35).
s(35) :- p(35),r(35).
s(35) :- q(35),r(35).
p(35) :- not q(35).
q(35) :- not r(35).
r(35) :- not p(35).
s(36) :- p(36),q(36).
s(36) :- p(36),r(36).
s(36) :- q(36),r(36).
p(36) :- not q(36).
q(36) :- not r(36).
r(36) :- not p(36).
s(37) :- p(37),q(37).
s(37) :- p(37),r(37).
s(37) :- q(37),r(37).
p(37) :- not q(37).
q(37) :- not r(37).
r(37) :- not p(37).
s(38) :- p(38),q(38).
s(38) :- p(38),r(38).
s(38) :- q(38),r(38).
p(38) :- not q(38).
q(38) :- not r(38).
r(38) :- not p(38).
s(39) :- p(39),q(39).
s(39) :- p(39),r(39).
s(39) :- q(39),r(39).
p(39) :- not q(39).
q(39) :- not r(39).
r(39) :- not p(39).
