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).
s(100) :- p(100),q(100).
s(100) :- p(100),r(100).
s(100) :- q(100),r(100).
p(100) :- not q(100).
q(100) :- not r(100).
r(100) :- not p(100).
s(101) :- p(101),q(101).
s(101) :- p(101),r(101).
s(101) :- q(101),r(101).
p(101) :- not q(101).
q(101) :- not r(101).
r(101) :- not p(101).
s(102) :- p(102),q(102).
s(102) :- p(102),r(102).
s(102) :- q(102),r(102).
p(102) :- not q(102).
q(102) :- not r(102).
r(102) :- not p(102).
s(103) :- p(103),q(103).
s(103) :- p(103),r(103).
s(103) :- q(103),r(103).
p(103) :- not q(103).
q(103) :- not r(103).
r(103) :- not p(103).
s(104) :- p(104),q(104).
s(104) :- p(104),r(104).
s(104) :- q(104),r(104).
p(104) :- not q(104).
q(104) :- not r(104).
r(104) :- not p(104).
s(105) :- p(105),q(105).
s(105) :- p(105),r(105).
s(105) :- q(105),r(105).
p(105) :- not q(105).
q(105) :- not r(105).
r(105) :- not p(105).
s(106) :- p(106),q(106).
s(106) :- p(106),r(106).
s(106) :- q(106),r(106).
p(106) :- not q(106).
q(106) :- not r(106).
r(106) :- not p(106).
s(107) :- p(107),q(107).
s(107) :- p(107),r(107).
s(107) :- q(107),r(107).
p(107) :- not q(107).
q(107) :- not r(107).
r(107) :- not p(107).
s(108) :- p(108),q(108).
s(108) :- p(108),r(108).
s(108) :- q(108),r(108).
p(108) :- not q(108).
q(108) :- not r(108).
r(108) :- not p(108).
s(109) :- p(109),q(109).
s(109) :- p(109),r(109).
s(109) :- q(109),r(109).
p(109) :- not q(109).
q(109) :- not r(109).
r(109) :- not p(109).
s(110) :- p(110),q(110).
s(110) :- p(110),r(110).
s(110) :- q(110),r(110).
p(110) :- not q(110).
q(110) :- not r(110).
r(110) :- not p(110).
s(111) :- p(111),q(111).
s(111) :- p(111),r(111).
s(111) :- q(111),r(111).
p(111) :- not q(111).
q(111) :- not r(111).
r(111) :- not p(111).
s(112) :- p(112),q(112).
s(112) :- p(112),r(112).
s(112) :- q(112),r(112).
p(112) :- not q(112).
q(112) :- not r(112).
r(112) :- not p(112).
s(113) :- p(113),q(113).
s(113) :- p(113),r(113).
s(113) :- q(113),r(113).
p(113) :- not q(113).
q(113) :- not r(113).
r(113) :- not p(113).
s(114) :- p(114),q(114).
s(114) :- p(114),r(114).
s(114) :- q(114),r(114).
p(114) :- not q(114).
q(114) :- not r(114).
r(114) :- not p(114).
s(115) :- p(115),q(115).
s(115) :- p(115),r(115).
s(115) :- q(115),r(115).
p(115) :- not q(115).
q(115) :- not r(115).
r(115) :- not p(115).
s(116) :- p(116),q(116).
s(116) :- p(116),r(116).
s(116) :- q(116),r(116).
p(116) :- not q(116).
q(116) :- not r(116).
r(116) :- not p(116).
s(117) :- p(117),q(117).
s(117) :- p(117),r(117).
s(117) :- q(117),r(117).
p(117) :- not q(117).
q(117) :- not r(117).
r(117) :- not p(117).
s(118) :- p(118),q(118).
s(118) :- p(118),r(118).
s(118) :- q(118),r(118).
p(118) :- not q(118).
q(118) :- not r(118).
r(118) :- not p(118).
s(119) :- p(119),q(119).
s(119) :- p(119),r(119).
s(119) :- q(119),r(119).
p(119) :- not q(119).
q(119) :- not r(119).
r(119) :- not p(119).
s(120) :- p(120),q(120).
s(120) :- p(120),r(120).
s(120) :- q(120),r(120).
p(120) :- not q(120).
q(120) :- not r(120).
r(120) :- not p(120).
s(121) :- p(121),q(121).
s(121) :- p(121),r(121).
s(121) :- q(121),r(121).
p(121) :- not q(121).
q(121) :- not r(121).
r(121) :- not p(121).
s(122) :- p(122),q(122).
s(122) :- p(122),r(122).
s(122) :- q(122),r(122).
p(122) :- not q(122).
q(122) :- not r(122).
r(122) :- not p(122).
s(123) :- p(123),q(123).
s(123) :- p(123),r(123).
s(123) :- q(123),r(123).
p(123) :- not q(123).
q(123) :- not r(123).
r(123) :- not p(123).
s(124) :- p(124),q(124).
s(124) :- p(124),r(124).
s(124) :- q(124),r(124).
p(124) :- not q(124).
q(124) :- not r(124).
r(124) :- not p(124).
s(125) :- p(125),q(125).
s(125) :- p(125),r(125).
s(125) :- q(125),r(125).
p(125) :- not q(125).
q(125) :- not r(125).
r(125) :- not p(125).
s(126) :- p(126),q(126).
s(126) :- p(126),r(126).
s(126) :- q(126),r(126).
p(126) :- not q(126).
q(126) :- not r(126).
r(126) :- not p(126).
s(127) :- p(127),q(127).
s(127) :- p(127),r(127).
s(127) :- q(127),r(127).
p(127) :- not q(127).
q(127) :- not r(127).
r(127) :- not p(127).
s(128) :- p(128),q(128).
s(128) :- p(128),r(128).
s(128) :- q(128),r(128).
p(128) :- not q(128).
q(128) :- not r(128).
r(128) :- not p(128).
s(129) :- p(129),q(129).
s(129) :- p(129),r(129).
s(129) :- q(129),r(129).
p(129) :- not q(129).
q(129) :- not r(129).
r(129) :- not p(129).
s(130) :- p(130),q(130).
s(130) :- p(130),r(130).
s(130) :- q(130),r(130).
p(130) :- not q(130).
q(130) :- not r(130).
r(130) :- not p(130).
s(131) :- p(131),q(131).
s(131) :- p(131),r(131).
s(131) :- q(131),r(131).
p(131) :- not q(131).
q(131) :- not r(131).
r(131) :- not p(131).
s(132) :- p(132),q(132).
s(132) :- p(132),r(132).
s(132) :- q(132),r(132).
p(132) :- not q(132).
q(132) :- not r(132).
r(132) :- not p(132).
s(133) :- p(133),q(133).
s(133) :- p(133),r(133).
s(133) :- q(133),r(133).
p(133) :- not q(133).
q(133) :- not r(133).
r(133) :- not p(133).
s(134) :- p(134),q(134).
s(134) :- p(134),r(134).
s(134) :- q(134),r(134).
p(134) :- not q(134).
q(134) :- not r(134).
r(134) :- not p(134).
s(135) :- p(135),q(135).
s(135) :- p(135),r(135).
s(135) :- q(135),r(135).
p(135) :- not q(135).
q(135) :- not r(135).
r(135) :- not p(135).
s(136) :- p(136),q(136).
s(136) :- p(136),r(136).
s(136) :- q(136),r(136).
p(136) :- not q(136).
q(136) :- not r(136).
r(136) :- not p(136).
s(137) :- p(137),q(137).
s(137) :- p(137),r(137).
s(137) :- q(137),r(137).
p(137) :- not q(137).
q(137) :- not r(137).
r(137) :- not p(137).
s(138) :- p(138),q(138).
s(138) :- p(138),r(138).
s(138) :- q(138),r(138).
p(138) :- not q(138).
q(138) :- not r(138).
r(138) :- not p(138).
s(139) :- p(139),q(139).
s(139) :- p(139),r(139).
s(139) :- q(139),r(139).
p(139) :- not q(139).
q(139) :- not r(139).
r(139) :- not p(139).
s(140) :- p(140),q(140).
s(140) :- p(140),r(140).
s(140) :- q(140),r(140).
p(140) :- not q(140).
q(140) :- not r(140).
r(140) :- not p(140).
s(141) :- p(141),q(141).
s(141) :- p(141),r(141).
s(141) :- q(141),r(141).
p(141) :- not q(141).
q(141) :- not r(141).
r(141) :- not p(141).
s(142) :- p(142),q(142).
s(142) :- p(142),r(142).
s(142) :- q(142),r(142).
p(142) :- not q(142).
q(142) :- not r(142).
r(142) :- not p(142).
s(143) :- p(143),q(143).
s(143) :- p(143),r(143).
s(143) :- q(143),r(143).
p(143) :- not q(143).
q(143) :- not r(143).
r(143) :- not p(143).
s(144) :- p(144),q(144).
s(144) :- p(144),r(144).
s(144) :- q(144),r(144).
p(144) :- not q(144).
q(144) :- not r(144).
r(144) :- not p(144).
s(145) :- p(145),q(145).
s(145) :- p(145),r(145).
s(145) :- q(145),r(145).
p(145) :- not q(145).
q(145) :- not r(145).
r(145) :- not p(145).
s(146) :- p(146),q(146).
s(146) :- p(146),r(146).
s(146) :- q(146),r(146).
p(146) :- not q(146).
q(146) :- not r(146).
r(146) :- not p(146).
s(147) :- p(147),q(147).
s(147) :- p(147),r(147).
s(147) :- q(147),r(147).
p(147) :- not q(147).
q(147) :- not r(147).
r(147) :- not p(147).
s(148) :- p(148),q(148).
s(148) :- p(148),r(148).
s(148) :- q(148),r(148).
p(148) :- not q(148).
q(148) :- not r(148).
r(148) :- not p(148).
s(149) :- p(149),q(149).
s(149) :- p(149),r(149).
s(149) :- q(149),r(149).
p(149) :- not q(149).
q(149) :- not r(149).
r(149) :- not p(149).
