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).
s(40) :- p(40),q(40).
s(40) :- p(40),r(40).
s(40) :- q(40),r(40).
p(40) :- not q(40).
q(40) :- not r(40).
r(40) :- not p(40).
s(41) :- p(41),q(41).
s(41) :- p(41),r(41).
s(41) :- q(41),r(41).
p(41) :- not q(41).
q(41) :- not r(41).
r(41) :- not p(41).
s(42) :- p(42),q(42).
s(42) :- p(42),r(42).
s(42) :- q(42),r(42).
p(42) :- not q(42).
q(42) :- not r(42).
r(42) :- not p(42).
s(43) :- p(43),q(43).
s(43) :- p(43),r(43).
s(43) :- q(43),r(43).
p(43) :- not q(43).
q(43) :- not r(43).
r(43) :- not p(43).
s(44) :- p(44),q(44).
s(44) :- p(44),r(44).
s(44) :- q(44),r(44).
p(44) :- not q(44).
q(44) :- not r(44).
r(44) :- not p(44).
s(45) :- p(45),q(45).
s(45) :- p(45),r(45).
s(45) :- q(45),r(45).
p(45) :- not q(45).
q(45) :- not r(45).
r(45) :- not p(45).
s(46) :- p(46),q(46).
s(46) :- p(46),r(46).
s(46) :- q(46),r(46).
p(46) :- not q(46).
q(46) :- not r(46).
r(46) :- not p(46).
s(47) :- p(47),q(47).
s(47) :- p(47),r(47).
s(47) :- q(47),r(47).
p(47) :- not q(47).
q(47) :- not r(47).
r(47) :- not p(47).
s(48) :- p(48),q(48).
s(48) :- p(48),r(48).
s(48) :- q(48),r(48).
p(48) :- not q(48).
q(48) :- not r(48).
r(48) :- not p(48).
s(49) :- p(49),q(49).
s(49) :- p(49),r(49).
s(49) :- q(49),r(49).
p(49) :- not q(49).
q(49) :- not r(49).
r(49) :- not p(49).
s(50) :- p(50),q(50).
s(50) :- p(50),r(50).
s(50) :- q(50),r(50).
p(50) :- not q(50).
q(50) :- not r(50).
r(50) :- not p(50).
s(51) :- p(51),q(51).
s(51) :- p(51),r(51).
s(51) :- q(51),r(51).
p(51) :- not q(51).
q(51) :- not r(51).
r(51) :- not p(51).
s(52) :- p(52),q(52).
s(52) :- p(52),r(52).
s(52) :- q(52),r(52).
p(52) :- not q(52).
q(52) :- not r(52).
r(52) :- not p(52).
s(53) :- p(53),q(53).
s(53) :- p(53),r(53).
s(53) :- q(53),r(53).
p(53) :- not q(53).
q(53) :- not r(53).
r(53) :- not p(53).
s(54) :- p(54),q(54).
s(54) :- p(54),r(54).
s(54) :- q(54),r(54).
p(54) :- not q(54).
q(54) :- not r(54).
r(54) :- not p(54).
s(55) :- p(55),q(55).
s(55) :- p(55),r(55).
s(55) :- q(55),r(55).
p(55) :- not q(55).
q(55) :- not r(55).
r(55) :- not p(55).
s(56) :- p(56),q(56).
s(56) :- p(56),r(56).
s(56) :- q(56),r(56).
p(56) :- not q(56).
q(56) :- not r(56).
r(56) :- not p(56).
s(57) :- p(57),q(57).
s(57) :- p(57),r(57).
s(57) :- q(57),r(57).
p(57) :- not q(57).
q(57) :- not r(57).
r(57) :- not p(57).
s(58) :- p(58),q(58).
s(58) :- p(58),r(58).
s(58) :- q(58),r(58).
p(58) :- not q(58).
q(58) :- not r(58).
r(58) :- not p(58).
s(59) :- p(59),q(59).
s(59) :- p(59),r(59).
s(59) :- q(59),r(59).
p(59) :- not q(59).
q(59) :- not r(59).
r(59) :- not p(59).
s(60) :- p(60),q(60).
s(60) :- p(60),r(60).
s(60) :- q(60),r(60).
p(60) :- not q(60).
q(60) :- not r(60).
r(60) :- not p(60).
s(61) :- p(61),q(61).
s(61) :- p(61),r(61).
s(61) :- q(61),r(61).
p(61) :- not q(61).
q(61) :- not r(61).
r(61) :- not p(61).
s(62) :- p(62),q(62).
s(62) :- p(62),r(62).
s(62) :- q(62),r(62).
p(62) :- not q(62).
q(62) :- not r(62).
r(62) :- not p(62).
s(63) :- p(63),q(63).
s(63) :- p(63),r(63).
s(63) :- q(63),r(63).
p(63) :- not q(63).
q(63) :- not r(63).
r(63) :- not p(63).
s(64) :- p(64),q(64).
s(64) :- p(64),r(64).
s(64) :- q(64),r(64).
p(64) :- not q(64).
q(64) :- not r(64).
r(64) :- not p(64).
s(65) :- p(65),q(65).
s(65) :- p(65),r(65).
s(65) :- q(65),r(65).
p(65) :- not q(65).
q(65) :- not r(65).
r(65) :- not p(65).
s(66) :- p(66),q(66).
s(66) :- p(66),r(66).
s(66) :- q(66),r(66).
p(66) :- not q(66).
q(66) :- not r(66).
r(66) :- not p(66).
s(67) :- p(67),q(67).
s(67) :- p(67),r(67).
s(67) :- q(67),r(67).
p(67) :- not q(67).
q(67) :- not r(67).
r(67) :- not p(67).
s(68) :- p(68),q(68).
s(68) :- p(68),r(68).
s(68) :- q(68),r(68).
p(68) :- not q(68).
q(68) :- not r(68).
r(68) :- not p(68).
s(69) :- p(69),q(69).
s(69) :- p(69),r(69).
s(69) :- q(69),r(69).
p(69) :- not q(69).
q(69) :- not r(69).
r(69) :- not p(69).
s(70) :- p(70),q(70).
s(70) :- p(70),r(70).
s(70) :- q(70),r(70).
p(70) :- not q(70).
q(70) :- not r(70).
r(70) :- not p(70).
s(71) :- p(71),q(71).
s(71) :- p(71),r(71).
s(71) :- q(71),r(71).
p(71) :- not q(71).
q(71) :- not r(71).
r(71) :- not p(71).
s(72) :- p(72),q(72).
s(72) :- p(72),r(72).
s(72) :- q(72),r(72).
p(72) :- not q(72).
q(72) :- not r(72).
r(72) :- not p(72).
s(73) :- p(73),q(73).
s(73) :- p(73),r(73).
s(73) :- q(73),r(73).
p(73) :- not q(73).
q(73) :- not r(73).
r(73) :- not p(73).
s(74) :- p(74),q(74).
s(74) :- p(74),r(74).
s(74) :- q(74),r(74).
p(74) :- not q(74).
q(74) :- not r(74).
r(74) :- not p(74).
s(75) :- p(75),q(75).
s(75) :- p(75),r(75).
s(75) :- q(75),r(75).
p(75) :- not q(75).
q(75) :- not r(75).
r(75) :- not p(75).
s(76) :- p(76),q(76).
s(76) :- p(76),r(76).
s(76) :- q(76),r(76).
p(76) :- not q(76).
q(76) :- not r(76).
r(76) :- not p(76).
s(77) :- p(77),q(77).
s(77) :- p(77),r(77).
s(77) :- q(77),r(77).
p(77) :- not q(77).
q(77) :- not r(77).
r(77) :- not p(77).
s(78) :- p(78),q(78).
s(78) :- p(78),r(78).
s(78) :- q(78),r(78).
p(78) :- not q(78).
q(78) :- not r(78).
r(78) :- not p(78).
s(79) :- p(79),q(79).
s(79) :- p(79),r(79).
s(79) :- q(79),r(79).
p(79) :- not q(79).
q(79) :- not r(79).
r(79) :- not p(79).
s(80) :- p(80),q(80).
s(80) :- p(80),r(80).
s(80) :- q(80),r(80).
p(80) :- not q(80).
q(80) :- not r(80).
r(80) :- not p(80).
s(81) :- p(81),q(81).
s(81) :- p(81),r(81).
s(81) :- q(81),r(81).
p(81) :- not q(81).
q(81) :- not r(81).
r(81) :- not p(81).
s(82) :- p(82),q(82).
s(82) :- p(82),r(82).
s(82) :- q(82),r(82).
p(82) :- not q(82).
q(82) :- not r(82).
r(82) :- not p(82).
s(83) :- p(83),q(83).
s(83) :- p(83),r(83).
s(83) :- q(83),r(83).
p(83) :- not q(83).
q(83) :- not r(83).
r(83) :- not p(83).
s(84) :- p(84),q(84).
s(84) :- p(84),r(84).
s(84) :- q(84),r(84).
p(84) :- not q(84).
q(84) :- not r(84).
r(84) :- not p(84).
s(85) :- p(85),q(85).
s(85) :- p(85),r(85).
s(85) :- q(85),r(85).
p(85) :- not q(85).
q(85) :- not r(85).
r(85) :- not p(85).
s(86) :- p(86),q(86).
s(86) :- p(86),r(86).
s(86) :- q(86),r(86).
p(86) :- not q(86).
q(86) :- not r(86).
r(86) :- not p(86).
s(87) :- p(87),q(87).
s(87) :- p(87),r(87).
s(87) :- q(87),r(87).
p(87) :- not q(87).
q(87) :- not r(87).
r(87) :- not p(87).
s(88) :- p(88),q(88).
s(88) :- p(88),r(88).
s(88) :- q(88),r(88).
p(88) :- not q(88).
q(88) :- not r(88).
r(88) :- not p(88).
s(89) :- p(89),q(89).
s(89) :- p(89),r(89).
s(89) :- q(89),r(89).
p(89) :- not q(89).
q(89) :- not r(89).
r(89) :- not p(89).
s(90) :- p(90),q(90).
s(90) :- p(90),r(90).
s(90) :- q(90),r(90).
p(90) :- not q(90).
q(90) :- not r(90).
r(90) :- not p(90).
s(91) :- p(91),q(91).
s(91) :- p(91),r(91).
s(91) :- q(91),r(91).
p(91) :- not q(91).
q(91) :- not r(91).
r(91) :- not p(91).
s(92) :- p(92),q(92).
s(92) :- p(92),r(92).
s(92) :- q(92),r(92).
p(92) :- not q(92).
q(92) :- not r(92).
r(92) :- not p(92).
s(93) :- p(93),q(93).
s(93) :- p(93),r(93).
s(93) :- q(93),r(93).
p(93) :- not q(93).
q(93) :- not r(93).
r(93) :- not p(93).
s(94) :- p(94),q(94).
s(94) :- p(94),r(94).
s(94) :- q(94),r(94).
p(94) :- not q(94).
q(94) :- not r(94).
r(94) :- not p(94).
s(95) :- p(95),q(95).
s(95) :- p(95),r(95).
s(95) :- q(95),r(95).
p(95) :- not q(95).
q(95) :- not r(95).
r(95) :- not p(95).
s(96) :- p(96),q(96).
s(96) :- p(96),r(96).
s(96) :- q(96),r(96).
p(96) :- not q(96).
q(96) :- not r(96).
r(96) :- not p(96).
s(97) :- p(97),q(97).
s(97) :- p(97),r(97).
s(97) :- q(97),r(97).
p(97) :- not q(97).
q(97) :- not r(97).
r(97) :- not p(97).
s(98) :- p(98),q(98).
s(98) :- p(98),r(98).
s(98) :- q(98),r(98).
p(98) :- not q(98).
q(98) :- not r(98).
r(98) :- not p(98).
s(99) :- p(99),q(99).
s(99) :- p(99),r(99).
s(99) :- q(99),r(99).
p(99) :- not q(99).
q(99) :- not r(99).
r(99) :- not p(99).
