diff --git a/negatives_file.pl b/negatives_file.pl new file mode 100644 index 0000000000000000000000000000000000000000..353093a392562c24033b665c544f99de9b3bd54d --- /dev/null +++ b/negatives_file.pl @@ -0,0 +1,132 @@ +recommended(1). +recommended(2). +recommended(4). +recommended(5). +recommended(6). +recommended(7). +recommended(9). +recommended(10). +recommended(11). +recommended(12). +recommended(13). +recommended(14). +recommended(20). +recommended(21). +recommended(22). +recommended(23). +recommended(24). +recommended(26). +recommended(27). +recommended(29). +recommended(31). +recommended(33). +recommended(34). +recommended(37). +recommended(38). +recommended(39). +recommended(40). +recommended(41). +recommended(42). +recommended(43). +recommended(45). +recommended(51). +recommended(52). +recommended(54). +recommended(55). +recommended(56). +recommended(57). +recommended(58). +recommended(59). +recommended(60). +recommended(61). +recommended(62). +recommended(63). +recommended(64). +recommended(65). +recommended(67). +recommended(68). +recommended(69). +recommended(70). +recommended(71). +recommended(72). +recommended(76). +recommended(78). +recommended(79). +recommended(85). +recommended(86). +recommended(87). +recommended(88). +recommended(89). +recommended(90). +recommended(92). +recommended(93). +recommended(96). +recommended(97). +recommended(98). +recommended(99). +recommended(100). +recommended(101). +recommended(103). +recommended(104). +recommended(105). +recommended(106). +recommended(107). +recommended(108). +recommended(109). +recommended(110). +recommended(111). +recommended(114). +recommended(115). +recommended(116). +recommended(118). +recommended(120). +recommended(122). +recommended(123). +recommended(125). +recommended(127). +recommended(128). +recommended(130). +recommended(131). +recommended(132). +recommended(136). +recommended(137). +recommended(140). +recommended(142). +recommended(146). +recommended(147). +recommended(148). +recommended(150). +recommended(151). +recommended(152). +recommended(155). +recommended(156). +recommended(160). +recommended(161). +recommended(162). +recommended(164). +recommended(166). +recommended(171). +recommended(173). +recommended(174). +recommended(175). +recommended(176). +recommended(178). +recommended(179). +recommended(180). +recommended(182). +recommended(183). +recommended(184). +recommended(186). +recommended(187). +recommended(188). +recommended(189). +recommended(190). +recommended(191). +recommended(193). +recommended(194). +recommended(195). +recommended(196). +recommended(197). +recommended(198). +recommended(200). +recommended(201).