diff --git a/positives_file.pl b/positives_file.pl new file mode 100644 index 0000000000000000000000000000000000000000..2297a47e0fb2f9f2e543579d8be726b075b8a5a1 --- /dev/null +++ b/positives_file.pl @@ -0,0 +1,70 @@ +recommended(0). +recommended(3). +recommended(8). +recommended(15). +recommended(16). +recommended(17). +recommended(18). +recommended(19). +recommended(25). +recommended(28). +recommended(30). +recommended(32). +recommended(35). +recommended(36). +recommended(44). +recommended(46). +recommended(47). +recommended(48). +recommended(49). +recommended(50). +recommended(53). +recommended(66). +recommended(73). +recommended(74). +recommended(75). +recommended(77). +recommended(80). +recommended(81). +recommended(82). +recommended(83). +recommended(84). +recommended(91). +recommended(94). +recommended(95). +recommended(102). +recommended(112). +recommended(113). +recommended(117). +recommended(119). +recommended(121). +recommended(124). +recommended(126). +recommended(129). +recommended(133). +recommended(134). +recommended(135). +recommended(138). +recommended(139). +recommended(141). +recommended(143). +recommended(144). +recommended(145). +recommended(149). +recommended(153). +recommended(154). +recommended(157). +recommended(158). +recommended(159). +recommended(163). +recommended(165). +recommended(167). +recommended(168). +recommended(169). +recommended(170). +recommended(172). +recommended(177). +recommended(181). +recommended(185). +recommended(192). +recommended(199).