node(0).
node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
atom(p).
edge(0,1).
edge(1,0).
edge(1,2).
edge(2,1).
edge(2,3).
edge(3,2).
edge(3,4).
edge(4,3).
edge(4,5).
edge(5,4).
edge(5,6).
edge(6,5).
edge(6,7).
edge(7,6).
edge(7,8).
edge(8,7).
edge(8,9).
edge(9,8).
edge(9,10).
edge(10,9).
edge(10,11).
edge(11,10).
edge(11,12).
edge(12,11).
edge(12,13).
edge(13,12).
edge(13,14).
edge(14,13).
edge(14,15).
edge(15,14).
edge(15,16).
edge(16,15).
edge(16,17).
edge(17,16).
edge(17,18).
edge(18,17).
edge(18,19).
edge(19,18).
edge(19,20).
edge(20,19).
edge(20,21).
edge(21,20).
edge(21,22).
edge(22,21).
edge(22,23).
edge(23,22).
edge(23,24).
edge(24,23).
edge(24,25).
edge(25,24).
edge(25,26).
edge(26,25).
edge(26,27).
edge(27,26).
edge(27,28).
edge(28,27).
edge(28,29).
edge(29,28).
edge(29,30).
edge(30,29).
edge(30,31).
edge(31,30).
edge(31,32).
edge(32,31).
edge(32,33).
edge(33,32).
edge(33,34).
edge(34,33).
edge(34,35).
edge(35,34).
edge(35,36).
edge(36,35).
edge(36,37).
edge(37,36).
edge(37,38).
edge(38,37).
edge(38,39).
edge(39,38).
edge(39,40).
edge(40,39).
edge(40,41).
edge(41,40).
edge(41,42).
edge(42,41).
edge(42,43).
edge(43,42).
edge(43,44).
edge(44,43).
edge(44,45).
edge(45,44).
edge(45,46).
edge(46,45).
edge(46,47).
edge(47,46).
edge(47,48).
edge(48,47).
edge(48,49).
edge(49,48).
edge(49,50).
edge(50,49).
edge(50,51).
edge(51,50).
edge(51,52).
edge(52,51).
edge(52,53).
edge(53,52).
edge(53,54).
edge(54,53).
edge(54,55).
edge(55,54).
edge(55,56).
edge(56,55).
edge(56,57).
edge(57,56).
edge(57,58).
edge(58,57).
edge(58,59).
edge(59,58).
edge(59,60).
edge(60,59).
edge(60,61).
edge(61,60).
edge(61,62).
edge(62,61).
edge(62,63).
edge(63,62).
edge(63,64).
edge(64,63).
edge(64,65).
edge(65,64).
edge(65,66).
edge(66,65).
edge(66,67).
edge(67,66).
edge(67,68).
edge(68,67).
edge(68,69).
edge(69,68).
edge(69,70).
edge(70,69).
edge(70,71).
edge(71,70).
edge(71,72).
edge(72,71).
edge(72,73).
edge(73,72).
edge(73,74).
edge(74,73).
edge(74,75).
edge(75,74).
edge(75,76).
edge(76,75).
edge(76,77).
edge(77,76).
edge(77,78).
edge(78,77).
edge(78,79).
edge(79,78).
edge(79,80).
edge(80,79).
edge(80,81).
edge(81,80).
edge(81,82).
edge(82,81).
edge(82,83).
edge(83,82).
edge(83,84).
edge(84,83).
edge(84,85).
edge(85,84).
edge(85,86).
edge(86,85).
edge(86,87).
edge(87,86).
edge(87,88).
edge(88,87).
edge(88,89).
edge(89,88).
edge(89,90).
edge(90,89).
edge(90,91).
edge(91,90).
edge(91,92).
edge(92,91).
edge(92,93).
edge(93,92).
edge(93,94).
edge(94,93).
edge(94,95).
edge(95,94).
edge(95,96).
edge(96,95).
edge(96,97).
edge(97,96).
edge(97,98).
edge(98,97).
edge(98,99).
edge(99,98).
formula(p,50).
formula(neg(p), 99).
