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).
s(150) :- p(150),q(150).
s(150) :- p(150),r(150).
s(150) :- q(150),r(150).
p(150) :- not q(150).
q(150) :- not r(150).
r(150) :- not p(150).
s(151) :- p(151),q(151).
s(151) :- p(151),r(151).
s(151) :- q(151),r(151).
p(151) :- not q(151).
q(151) :- not r(151).
r(151) :- not p(151).
s(152) :- p(152),q(152).
s(152) :- p(152),r(152).
s(152) :- q(152),r(152).
p(152) :- not q(152).
q(152) :- not r(152).
r(152) :- not p(152).
s(153) :- p(153),q(153).
s(153) :- p(153),r(153).
s(153) :- q(153),r(153).
p(153) :- not q(153).
q(153) :- not r(153).
r(153) :- not p(153).
s(154) :- p(154),q(154).
s(154) :- p(154),r(154).
s(154) :- q(154),r(154).
p(154) :- not q(154).
q(154) :- not r(154).
r(154) :- not p(154).
s(155) :- p(155),q(155).
s(155) :- p(155),r(155).
s(155) :- q(155),r(155).
p(155) :- not q(155).
q(155) :- not r(155).
r(155) :- not p(155).
s(156) :- p(156),q(156).
s(156) :- p(156),r(156).
s(156) :- q(156),r(156).
p(156) :- not q(156).
q(156) :- not r(156).
r(156) :- not p(156).
s(157) :- p(157),q(157).
s(157) :- p(157),r(157).
s(157) :- q(157),r(157).
p(157) :- not q(157).
q(157) :- not r(157).
r(157) :- not p(157).
s(158) :- p(158),q(158).
s(158) :- p(158),r(158).
s(158) :- q(158),r(158).
p(158) :- not q(158).
q(158) :- not r(158).
r(158) :- not p(158).
s(159) :- p(159),q(159).
s(159) :- p(159),r(159).
s(159) :- q(159),r(159).
p(159) :- not q(159).
q(159) :- not r(159).
r(159) :- not p(159).
s(160) :- p(160),q(160).
s(160) :- p(160),r(160).
s(160) :- q(160),r(160).
p(160) :- not q(160).
q(160) :- not r(160).
r(160) :- not p(160).
s(161) :- p(161),q(161).
s(161) :- p(161),r(161).
s(161) :- q(161),r(161).
p(161) :- not q(161).
q(161) :- not r(161).
r(161) :- not p(161).
s(162) :- p(162),q(162).
s(162) :- p(162),r(162).
s(162) :- q(162),r(162).
p(162) :- not q(162).
q(162) :- not r(162).
r(162) :- not p(162).
s(163) :- p(163),q(163).
s(163) :- p(163),r(163).
s(163) :- q(163),r(163).
p(163) :- not q(163).
q(163) :- not r(163).
r(163) :- not p(163).
s(164) :- p(164),q(164).
s(164) :- p(164),r(164).
s(164) :- q(164),r(164).
p(164) :- not q(164).
q(164) :- not r(164).
r(164) :- not p(164).
s(165) :- p(165),q(165).
s(165) :- p(165),r(165).
s(165) :- q(165),r(165).
p(165) :- not q(165).
q(165) :- not r(165).
r(165) :- not p(165).
s(166) :- p(166),q(166).
s(166) :- p(166),r(166).
s(166) :- q(166),r(166).
p(166) :- not q(166).
q(166) :- not r(166).
r(166) :- not p(166).
s(167) :- p(167),q(167).
s(167) :- p(167),r(167).
s(167) :- q(167),r(167).
p(167) :- not q(167).
q(167) :- not r(167).
r(167) :- not p(167).
s(168) :- p(168),q(168).
s(168) :- p(168),r(168).
s(168) :- q(168),r(168).
p(168) :- not q(168).
q(168) :- not r(168).
r(168) :- not p(168).
s(169) :- p(169),q(169).
s(169) :- p(169),r(169).
s(169) :- q(169),r(169).
p(169) :- not q(169).
q(169) :- not r(169).
r(169) :- not p(169).
s(170) :- p(170),q(170).
s(170) :- p(170),r(170).
s(170) :- q(170),r(170).
p(170) :- not q(170).
q(170) :- not r(170).
r(170) :- not p(170).
s(171) :- p(171),q(171).
s(171) :- p(171),r(171).
s(171) :- q(171),r(171).
p(171) :- not q(171).
q(171) :- not r(171).
r(171) :- not p(171).
s(172) :- p(172),q(172).
s(172) :- p(172),r(172).
s(172) :- q(172),r(172).
p(172) :- not q(172).
q(172) :- not r(172).
r(172) :- not p(172).
s(173) :- p(173),q(173).
s(173) :- p(173),r(173).
s(173) :- q(173),r(173).
p(173) :- not q(173).
q(173) :- not r(173).
r(173) :- not p(173).
s(174) :- p(174),q(174).
s(174) :- p(174),r(174).
s(174) :- q(174),r(174).
p(174) :- not q(174).
q(174) :- not r(174).
r(174) :- not p(174).
s(175) :- p(175),q(175).
s(175) :- p(175),r(175).
s(175) :- q(175),r(175).
p(175) :- not q(175).
q(175) :- not r(175).
r(175) :- not p(175).
s(176) :- p(176),q(176).
s(176) :- p(176),r(176).
s(176) :- q(176),r(176).
p(176) :- not q(176).
q(176) :- not r(176).
r(176) :- not p(176).
s(177) :- p(177),q(177).
s(177) :- p(177),r(177).
s(177) :- q(177),r(177).
p(177) :- not q(177).
q(177) :- not r(177).
r(177) :- not p(177).
s(178) :- p(178),q(178).
s(178) :- p(178),r(178).
s(178) :- q(178),r(178).
p(178) :- not q(178).
q(178) :- not r(178).
r(178) :- not p(178).
s(179) :- p(179),q(179).
s(179) :- p(179),r(179).
s(179) :- q(179),r(179).
p(179) :- not q(179).
q(179) :- not r(179).
r(179) :- not p(179).
s(180) :- p(180),q(180).
s(180) :- p(180),r(180).
s(180) :- q(180),r(180).
p(180) :- not q(180).
q(180) :- not r(180).
r(180) :- not p(180).
s(181) :- p(181),q(181).
s(181) :- p(181),r(181).
s(181) :- q(181),r(181).
p(181) :- not q(181).
q(181) :- not r(181).
r(181) :- not p(181).
s(182) :- p(182),q(182).
s(182) :- p(182),r(182).
s(182) :- q(182),r(182).
p(182) :- not q(182).
q(182) :- not r(182).
r(182) :- not p(182).
s(183) :- p(183),q(183).
s(183) :- p(183),r(183).
s(183) :- q(183),r(183).
p(183) :- not q(183).
q(183) :- not r(183).
r(183) :- not p(183).
s(184) :- p(184),q(184).
s(184) :- p(184),r(184).
s(184) :- q(184),r(184).
p(184) :- not q(184).
q(184) :- not r(184).
r(184) :- not p(184).
s(185) :- p(185),q(185).
s(185) :- p(185),r(185).
s(185) :- q(185),r(185).
p(185) :- not q(185).
q(185) :- not r(185).
r(185) :- not p(185).
s(186) :- p(186),q(186).
s(186) :- p(186),r(186).
s(186) :- q(186),r(186).
p(186) :- not q(186).
q(186) :- not r(186).
r(186) :- not p(186).
s(187) :- p(187),q(187).
s(187) :- p(187),r(187).
s(187) :- q(187),r(187).
p(187) :- not q(187).
q(187) :- not r(187).
r(187) :- not p(187).
s(188) :- p(188),q(188).
s(188) :- p(188),r(188).
s(188) :- q(188),r(188).
p(188) :- not q(188).
q(188) :- not r(188).
r(188) :- not p(188).
s(189) :- p(189),q(189).
s(189) :- p(189),r(189).
s(189) :- q(189),r(189).
p(189) :- not q(189).
q(189) :- not r(189).
r(189) :- not p(189).
s(190) :- p(190),q(190).
s(190) :- p(190),r(190).
s(190) :- q(190),r(190).
p(190) :- not q(190).
q(190) :- not r(190).
r(190) :- not p(190).
s(191) :- p(191),q(191).
s(191) :- p(191),r(191).
s(191) :- q(191),r(191).
p(191) :- not q(191).
q(191) :- not r(191).
r(191) :- not p(191).
s(192) :- p(192),q(192).
s(192) :- p(192),r(192).
s(192) :- q(192),r(192).
p(192) :- not q(192).
q(192) :- not r(192).
r(192) :- not p(192).
s(193) :- p(193),q(193).
s(193) :- p(193),r(193).
s(193) :- q(193),r(193).
p(193) :- not q(193).
q(193) :- not r(193).
r(193) :- not p(193).
s(194) :- p(194),q(194).
s(194) :- p(194),r(194).
s(194) :- q(194),r(194).
p(194) :- not q(194).
q(194) :- not r(194).
r(194) :- not p(194).
s(195) :- p(195),q(195).
s(195) :- p(195),r(195).
s(195) :- q(195),r(195).
p(195) :- not q(195).
q(195) :- not r(195).
r(195) :- not p(195).
s(196) :- p(196),q(196).
s(196) :- p(196),r(196).
s(196) :- q(196),r(196).
p(196) :- not q(196).
q(196) :- not r(196).
r(196) :- not p(196).
s(197) :- p(197),q(197).
s(197) :- p(197),r(197).
s(197) :- q(197),r(197).
p(197) :- not q(197).
q(197) :- not r(197).
r(197) :- not p(197).
s(198) :- p(198),q(198).
s(198) :- p(198),r(198).
s(198) :- q(198),r(198).
p(198) :- not q(198).
q(198) :- not r(198).
r(198) :- not p(198).
s(199) :- p(199),q(199).
s(199) :- p(199),r(199).
s(199) :- q(199),r(199).
p(199) :- not q(199).
q(199) :- not r(199).
r(199) :- not p(199).
s(200) :- p(200),q(200).
s(200) :- p(200),r(200).
s(200) :- q(200),r(200).
p(200) :- not q(200).
q(200) :- not r(200).
r(200) :- not p(200).
s(201) :- p(201),q(201).
s(201) :- p(201),r(201).
s(201) :- q(201),r(201).
p(201) :- not q(201).
q(201) :- not r(201).
r(201) :- not p(201).
s(202) :- p(202),q(202).
s(202) :- p(202),r(202).
s(202) :- q(202),r(202).
p(202) :- not q(202).
q(202) :- not r(202).
r(202) :- not p(202).
s(203) :- p(203),q(203).
s(203) :- p(203),r(203).
s(203) :- q(203),r(203).
p(203) :- not q(203).
q(203) :- not r(203).
r(203) :- not p(203).
s(204) :- p(204),q(204).
s(204) :- p(204),r(204).
s(204) :- q(204),r(204).
p(204) :- not q(204).
q(204) :- not r(204).
r(204) :- not p(204).
s(205) :- p(205),q(205).
s(205) :- p(205),r(205).
s(205) :- q(205),r(205).
p(205) :- not q(205).
q(205) :- not r(205).
r(205) :- not p(205).
s(206) :- p(206),q(206).
s(206) :- p(206),r(206).
s(206) :- q(206),r(206).
p(206) :- not q(206).
q(206) :- not r(206).
r(206) :- not p(206).
s(207) :- p(207),q(207).
s(207) :- p(207),r(207).
s(207) :- q(207),r(207).
p(207) :- not q(207).
q(207) :- not r(207).
r(207) :- not p(207).
s(208) :- p(208),q(208).
s(208) :- p(208),r(208).
s(208) :- q(208),r(208).
p(208) :- not q(208).
q(208) :- not r(208).
r(208) :- not p(208).
s(209) :- p(209),q(209).
s(209) :- p(209),r(209).
s(209) :- q(209),r(209).
p(209) :- not q(209).
q(209) :- not r(209).
r(209) :- not p(209).
s(210) :- p(210),q(210).
s(210) :- p(210),r(210).
s(210) :- q(210),r(210).
p(210) :- not q(210).
q(210) :- not r(210).
r(210) :- not p(210).
s(211) :- p(211),q(211).
s(211) :- p(211),r(211).
s(211) :- q(211),r(211).
p(211) :- not q(211).
q(211) :- not r(211).
r(211) :- not p(211).
s(212) :- p(212),q(212).
s(212) :- p(212),r(212).
s(212) :- q(212),r(212).
p(212) :- not q(212).
q(212) :- not r(212).
r(212) :- not p(212).
s(213) :- p(213),q(213).
s(213) :- p(213),r(213).
s(213) :- q(213),r(213).
p(213) :- not q(213).
q(213) :- not r(213).
r(213) :- not p(213).
s(214) :- p(214),q(214).
s(214) :- p(214),r(214).
s(214) :- q(214),r(214).
p(214) :- not q(214).
q(214) :- not r(214).
r(214) :- not p(214).
s(215) :- p(215),q(215).
s(215) :- p(215),r(215).
s(215) :- q(215),r(215).
p(215) :- not q(215).
q(215) :- not r(215).
r(215) :- not p(215).
s(216) :- p(216),q(216).
s(216) :- p(216),r(216).
s(216) :- q(216),r(216).
p(216) :- not q(216).
q(216) :- not r(216).
r(216) :- not p(216).
s(217) :- p(217),q(217).
s(217) :- p(217),r(217).
s(217) :- q(217),r(217).
p(217) :- not q(217).
q(217) :- not r(217).
r(217) :- not p(217).
s(218) :- p(218),q(218).
s(218) :- p(218),r(218).
s(218) :- q(218),r(218).
p(218) :- not q(218).
q(218) :- not r(218).
r(218) :- not p(218).
s(219) :- p(219),q(219).
s(219) :- p(219),r(219).
s(219) :- q(219),r(219).
p(219) :- not q(219).
q(219) :- not r(219).
r(219) :- not p(219).
s(220) :- p(220),q(220).
s(220) :- p(220),r(220).
s(220) :- q(220),r(220).
p(220) :- not q(220).
q(220) :- not r(220).
r(220) :- not p(220).
s(221) :- p(221),q(221).
s(221) :- p(221),r(221).
s(221) :- q(221),r(221).
p(221) :- not q(221).
q(221) :- not r(221).
r(221) :- not p(221).
s(222) :- p(222),q(222).
s(222) :- p(222),r(222).
s(222) :- q(222),r(222).
p(222) :- not q(222).
q(222) :- not r(222).
r(222) :- not p(222).
s(223) :- p(223),q(223).
s(223) :- p(223),r(223).
s(223) :- q(223),r(223).
p(223) :- not q(223).
q(223) :- not r(223).
r(223) :- not p(223).
s(224) :- p(224),q(224).
s(224) :- p(224),r(224).
s(224) :- q(224),r(224).
p(224) :- not q(224).
q(224) :- not r(224).
r(224) :- not p(224).
s(225) :- p(225),q(225).
s(225) :- p(225),r(225).
s(225) :- q(225),r(225).
p(225) :- not q(225).
q(225) :- not r(225).
r(225) :- not p(225).
s(226) :- p(226),q(226).
s(226) :- p(226),r(226).
s(226) :- q(226),r(226).
p(226) :- not q(226).
q(226) :- not r(226).
r(226) :- not p(226).
s(227) :- p(227),q(227).
s(227) :- p(227),r(227).
s(227) :- q(227),r(227).
p(227) :- not q(227).
q(227) :- not r(227).
r(227) :- not p(227).
s(228) :- p(228),q(228).
s(228) :- p(228),r(228).
s(228) :- q(228),r(228).
p(228) :- not q(228).
q(228) :- not r(228).
r(228) :- not p(228).
s(229) :- p(229),q(229).
s(229) :- p(229),r(229).
s(229) :- q(229),r(229).
p(229) :- not q(229).
q(229) :- not r(229).
r(229) :- not p(229).
s(230) :- p(230),q(230).
s(230) :- p(230),r(230).
s(230) :- q(230),r(230).
p(230) :- not q(230).
q(230) :- not r(230).
r(230) :- not p(230).
s(231) :- p(231),q(231).
s(231) :- p(231),r(231).
s(231) :- q(231),r(231).
p(231) :- not q(231).
q(231) :- not r(231).
r(231) :- not p(231).
s(232) :- p(232),q(232).
s(232) :- p(232),r(232).
s(232) :- q(232),r(232).
p(232) :- not q(232).
q(232) :- not r(232).
r(232) :- not p(232).
s(233) :- p(233),q(233).
s(233) :- p(233),r(233).
s(233) :- q(233),r(233).
p(233) :- not q(233).
q(233) :- not r(233).
r(233) :- not p(233).
s(234) :- p(234),q(234).
s(234) :- p(234),r(234).
s(234) :- q(234),r(234).
p(234) :- not q(234).
q(234) :- not r(234).
r(234) :- not p(234).
s(235) :- p(235),q(235).
s(235) :- p(235),r(235).
s(235) :- q(235),r(235).
p(235) :- not q(235).
q(235) :- not r(235).
r(235) :- not p(235).
s(236) :- p(236),q(236).
s(236) :- p(236),r(236).
s(236) :- q(236),r(236).
p(236) :- not q(236).
q(236) :- not r(236).
r(236) :- not p(236).
s(237) :- p(237),q(237).
s(237) :- p(237),r(237).
s(237) :- q(237),r(237).
p(237) :- not q(237).
q(237) :- not r(237).
r(237) :- not p(237).
s(238) :- p(238),q(238).
s(238) :- p(238),r(238).
s(238) :- q(238),r(238).
p(238) :- not q(238).
q(238) :- not r(238).
r(238) :- not p(238).
s(239) :- p(239),q(239).
s(239) :- p(239),r(239).
s(239) :- q(239),r(239).
p(239) :- not q(239).
q(239) :- not r(239).
r(239) :- not p(239).
s(240) :- p(240),q(240).
s(240) :- p(240),r(240).
s(240) :- q(240),r(240).
p(240) :- not q(240).
q(240) :- not r(240).
r(240) :- not p(240).
s(241) :- p(241),q(241).
s(241) :- p(241),r(241).
s(241) :- q(241),r(241).
p(241) :- not q(241).
q(241) :- not r(241).
r(241) :- not p(241).
s(242) :- p(242),q(242).
s(242) :- p(242),r(242).
s(242) :- q(242),r(242).
p(242) :- not q(242).
q(242) :- not r(242).
r(242) :- not p(242).
s(243) :- p(243),q(243).
s(243) :- p(243),r(243).
s(243) :- q(243),r(243).
p(243) :- not q(243).
q(243) :- not r(243).
r(243) :- not p(243).
s(244) :- p(244),q(244).
s(244) :- p(244),r(244).
s(244) :- q(244),r(244).
p(244) :- not q(244).
q(244) :- not r(244).
r(244) :- not p(244).
s(245) :- p(245),q(245).
s(245) :- p(245),r(245).
s(245) :- q(245),r(245).
p(245) :- not q(245).
q(245) :- not r(245).
r(245) :- not p(245).
s(246) :- p(246),q(246).
s(246) :- p(246),r(246).
s(246) :- q(246),r(246).
p(246) :- not q(246).
q(246) :- not r(246).
r(246) :- not p(246).
s(247) :- p(247),q(247).
s(247) :- p(247),r(247).
s(247) :- q(247),r(247).
p(247) :- not q(247).
q(247) :- not r(247).
r(247) :- not p(247).
s(248) :- p(248),q(248).
s(248) :- p(248),r(248).
s(248) :- q(248),r(248).
p(248) :- not q(248).
q(248) :- not r(248).
r(248) :- not p(248).
s(249) :- p(249),q(249).
s(249) :- p(249),r(249).
s(249) :- q(249),r(249).
p(249) :- not q(249).
q(249) :- not r(249).
r(249) :- not p(249).
s(250) :- p(250),q(250).
s(250) :- p(250),r(250).
s(250) :- q(250),r(250).
p(250) :- not q(250).
q(250) :- not r(250).
r(250) :- not p(250).
s(251) :- p(251),q(251).
s(251) :- p(251),r(251).
s(251) :- q(251),r(251).
p(251) :- not q(251).
q(251) :- not r(251).
r(251) :- not p(251).
s(252) :- p(252),q(252).
s(252) :- p(252),r(252).
s(252) :- q(252),r(252).
p(252) :- not q(252).
q(252) :- not r(252).
r(252) :- not p(252).
s(253) :- p(253),q(253).
s(253) :- p(253),r(253).
s(253) :- q(253),r(253).
p(253) :- not q(253).
q(253) :- not r(253).
r(253) :- not p(253).
s(254) :- p(254),q(254).
s(254) :- p(254),r(254).
s(254) :- q(254),r(254).
p(254) :- not q(254).
q(254) :- not r(254).
r(254) :- not p(254).
s(255) :- p(255),q(255).
s(255) :- p(255),r(255).
s(255) :- q(255),r(255).
p(255) :- not q(255).
q(255) :- not r(255).
r(255) :- not p(255).
s(256) :- p(256),q(256).
s(256) :- p(256),r(256).
s(256) :- q(256),r(256).
p(256) :- not q(256).
q(256) :- not r(256).
r(256) :- not p(256).
s(257) :- p(257),q(257).
s(257) :- p(257),r(257).
s(257) :- q(257),r(257).
p(257) :- not q(257).
q(257) :- not r(257).
r(257) :- not p(257).
s(258) :- p(258),q(258).
s(258) :- p(258),r(258).
s(258) :- q(258),r(258).
p(258) :- not q(258).
q(258) :- not r(258).
r(258) :- not p(258).
s(259) :- p(259),q(259).
s(259) :- p(259),r(259).
s(259) :- q(259),r(259).
p(259) :- not q(259).
q(259) :- not r(259).
r(259) :- not p(259).
s(260) :- p(260),q(260).
s(260) :- p(260),r(260).
s(260) :- q(260),r(260).
p(260) :- not q(260).
q(260) :- not r(260).
r(260) :- not p(260).
s(261) :- p(261),q(261).
s(261) :- p(261),r(261).
s(261) :- q(261),r(261).
p(261) :- not q(261).
q(261) :- not r(261).
r(261) :- not p(261).
s(262) :- p(262),q(262).
s(262) :- p(262),r(262).
s(262) :- q(262),r(262).
p(262) :- not q(262).
q(262) :- not r(262).
r(262) :- not p(262).
s(263) :- p(263),q(263).
s(263) :- p(263),r(263).
s(263) :- q(263),r(263).
p(263) :- not q(263).
q(263) :- not r(263).
r(263) :- not p(263).
s(264) :- p(264),q(264).
s(264) :- p(264),r(264).
s(264) :- q(264),r(264).
p(264) :- not q(264).
q(264) :- not r(264).
r(264) :- not p(264).
s(265) :- p(265),q(265).
s(265) :- p(265),r(265).
s(265) :- q(265),r(265).
p(265) :- not q(265).
q(265) :- not r(265).
r(265) :- not p(265).
s(266) :- p(266),q(266).
s(266) :- p(266),r(266).
s(266) :- q(266),r(266).
p(266) :- not q(266).
q(266) :- not r(266).
r(266) :- not p(266).
s(267) :- p(267),q(267).
s(267) :- p(267),r(267).
s(267) :- q(267),r(267).
p(267) :- not q(267).
q(267) :- not r(267).
r(267) :- not p(267).
s(268) :- p(268),q(268).
s(268) :- p(268),r(268).
s(268) :- q(268),r(268).
p(268) :- not q(268).
q(268) :- not r(268).
r(268) :- not p(268).
s(269) :- p(269),q(269).
s(269) :- p(269),r(269).
s(269) :- q(269),r(269).
p(269) :- not q(269).
q(269) :- not r(269).
r(269) :- not p(269).
s(270) :- p(270),q(270).
s(270) :- p(270),r(270).
s(270) :- q(270),r(270).
p(270) :- not q(270).
q(270) :- not r(270).
r(270) :- not p(270).
s(271) :- p(271),q(271).
s(271) :- p(271),r(271).
s(271) :- q(271),r(271).
p(271) :- not q(271).
q(271) :- not r(271).
r(271) :- not p(271).
s(272) :- p(272),q(272).
s(272) :- p(272),r(272).
s(272) :- q(272),r(272).
p(272) :- not q(272).
q(272) :- not r(272).
r(272) :- not p(272).
s(273) :- p(273),q(273).
s(273) :- p(273),r(273).
s(273) :- q(273),r(273).
p(273) :- not q(273).
q(273) :- not r(273).
r(273) :- not p(273).
s(274) :- p(274),q(274).
s(274) :- p(274),r(274).
s(274) :- q(274),r(274).
p(274) :- not q(274).
q(274) :- not r(274).
r(274) :- not p(274).
s(275) :- p(275),q(275).
s(275) :- p(275),r(275).
s(275) :- q(275),r(275).
p(275) :- not q(275).
q(275) :- not r(275).
r(275) :- not p(275).
s(276) :- p(276),q(276).
s(276) :- p(276),r(276).
s(276) :- q(276),r(276).
p(276) :- not q(276).
q(276) :- not r(276).
r(276) :- not p(276).
s(277) :- p(277),q(277).
s(277) :- p(277),r(277).
s(277) :- q(277),r(277).
p(277) :- not q(277).
q(277) :- not r(277).
r(277) :- not p(277).
s(278) :- p(278),q(278).
s(278) :- p(278),r(278).
s(278) :- q(278),r(278).
p(278) :- not q(278).
q(278) :- not r(278).
r(278) :- not p(278).
s(279) :- p(279),q(279).
s(279) :- p(279),r(279).
s(279) :- q(279),r(279).
p(279) :- not q(279).
q(279) :- not r(279).
r(279) :- not p(279).
s(280) :- p(280),q(280).
s(280) :- p(280),r(280).
s(280) :- q(280),r(280).
p(280) :- not q(280).
q(280) :- not r(280).
r(280) :- not p(280).
s(281) :- p(281),q(281).
s(281) :- p(281),r(281).
s(281) :- q(281),r(281).
p(281) :- not q(281).
q(281) :- not r(281).
r(281) :- not p(281).
s(282) :- p(282),q(282).
s(282) :- p(282),r(282).
s(282) :- q(282),r(282).
p(282) :- not q(282).
q(282) :- not r(282).
r(282) :- not p(282).
s(283) :- p(283),q(283).
s(283) :- p(283),r(283).
s(283) :- q(283),r(283).
p(283) :- not q(283).
q(283) :- not r(283).
r(283) :- not p(283).
s(284) :- p(284),q(284).
s(284) :- p(284),r(284).
s(284) :- q(284),r(284).
p(284) :- not q(284).
q(284) :- not r(284).
r(284) :- not p(284).
s(285) :- p(285),q(285).
s(285) :- p(285),r(285).
s(285) :- q(285),r(285).
p(285) :- not q(285).
q(285) :- not r(285).
r(285) :- not p(285).
s(286) :- p(286),q(286).
s(286) :- p(286),r(286).
s(286) :- q(286),r(286).
p(286) :- not q(286).
q(286) :- not r(286).
r(286) :- not p(286).
s(287) :- p(287),q(287).
s(287) :- p(287),r(287).
s(287) :- q(287),r(287).
p(287) :- not q(287).
q(287) :- not r(287).
r(287) :- not p(287).
s(288) :- p(288),q(288).
s(288) :- p(288),r(288).
s(288) :- q(288),r(288).
p(288) :- not q(288).
q(288) :- not r(288).
r(288) :- not p(288).
s(289) :- p(289),q(289).
s(289) :- p(289),r(289).
s(289) :- q(289),r(289).
p(289) :- not q(289).
q(289) :- not r(289).
r(289) :- not p(289).
s(290) :- p(290),q(290).
s(290) :- p(290),r(290).
s(290) :- q(290),r(290).
p(290) :- not q(290).
q(290) :- not r(290).
r(290) :- not p(290).
s(291) :- p(291),q(291).
s(291) :- p(291),r(291).
s(291) :- q(291),r(291).
p(291) :- not q(291).
q(291) :- not r(291).
r(291) :- not p(291).
s(292) :- p(292),q(292).
s(292) :- p(292),r(292).
s(292) :- q(292),r(292).
p(292) :- not q(292).
q(292) :- not r(292).
r(292) :- not p(292).
s(293) :- p(293),q(293).
s(293) :- p(293),r(293).
s(293) :- q(293),r(293).
p(293) :- not q(293).
q(293) :- not r(293).
r(293) :- not p(293).
s(294) :- p(294),q(294).
s(294) :- p(294),r(294).
s(294) :- q(294),r(294).
p(294) :- not q(294).
q(294) :- not r(294).
r(294) :- not p(294).
s(295) :- p(295),q(295).
s(295) :- p(295),r(295).
s(295) :- q(295),r(295).
p(295) :- not q(295).
q(295) :- not r(295).
r(295) :- not p(295).
s(296) :- p(296),q(296).
s(296) :- p(296),r(296).
s(296) :- q(296),r(296).
p(296) :- not q(296).
q(296) :- not r(296).
r(296) :- not p(296).
s(297) :- p(297),q(297).
s(297) :- p(297),r(297).
s(297) :- q(297),r(297).
p(297) :- not q(297).
q(297) :- not r(297).
r(297) :- not p(297).
s(298) :- p(298),q(298).
s(298) :- p(298),r(298).
s(298) :- q(298),r(298).
p(298) :- not q(298).
q(298) :- not r(298).
r(298) :- not p(298).
s(299) :- p(299),q(299).
s(299) :- p(299),r(299).
s(299) :- q(299),r(299).
p(299) :- not q(299).
q(299) :- not r(299).
r(299) :- not p(299).
