!- set(i,4),set(j,2),set(rlggsample,8),set(testsample,10000).
%fault(0).
fault(1).
fault(2).
fault(3).
fault(4).
fault(5).
fault(6).
fault(7).
fault(8).
fault(9).
%fault(10).
%fault(11).
%fault(12).
%fault(13).
%fault(14).
%fault(15).
%fault(16).
%fault(17).
%fault(18).
%fault(19).
%fault(30).
%fault(31).
%fault(32).
%fault(33).
%fault(34).
%fault(35).
%fault(36).
%fault(37).
%fault(38).
%fault(39).
%fault(40).
%fault(41).
%fault(42).
%fault(43).
%fault(44).
%fault(45).
%fault(46).
%fault(47).
%fault(48).
%fault(49).
%fault(60).
%fault(61).
%fault(62).
%fault(63).
%fault(64).
%fault(65).
%fault(66).
%fault(67).
%fault(68).
%fault(69).
%fault(70).
%fault(71).
%fault(72).
%fault(73).
%fault(74).
%fault(75).
%fault(76).
%fault(77).
%fault(78).
%fault(79).
%fault(90).
%fault(91).
%fault(92).
%fault(93).
%fault(94).
%fault(95).
%fault(96).
%fault(97).
%fault(98).
%fault(99).
%fault(100).
%fault(101).
%fault(102).
%fault(103).
%fault(104).
%fault(105).
%fault(106).
%fault(107).
%fault(108).
%fault(109).
%fault(120).
%fault(121).
%fault(122).
%fault(123).
%fault(124).
%fault(125).
%fault(126).
%fault(127).
%fault(128).
%fault(129).
%fault(130).
%fault(131).
%fault(132).
%fault(133).
%fault(134).
%fault(135).
%fault(136).
%fault(137).
%fault(138).
%fault(139).
%
%fault(150).
%fault(151).
%fault(152).
%fault(153).
%fault(154).
%fault(155).
%fault(156).
%fault(157).
%fault(158).
%fault(159).
%fault(160).
%fault(161).
%fault(162).
%fault(163).
%fault(164).
%fault(165).
%fault(166).
%fault(167).
%fault(168).
%fault(169).
%fault(180).
%fault(181).
%fault(182).
%fault(183).
%fault(184).
%fault(185).
%fault(186).
%fault(187).
%fault(188).
%fault(189).
%fault(190).
%fault(191).
%fault(192).
%fault(193).
%fault(194).
%fault(195).
%fault(196).
%fault(197).
%fault(198).
%fault(199).
%fault(210).
%fault(211).
%fault(212).
%fault(213).
%fault(214).
%fault(215).
%fault(216).
%fault(217).
%fault(218).
%fault(219).
%fault(220).
%fault(221).
%fault(222).
%fault(223).
%fault(224).
%fault(225).
%fault(226).
%fault(227).
%fault(228).
%fault(229).
%fault(240).
%fault(241).
%fault(242).
%fault(243).
%fault(244).
%fault(245).
%fault(246).
%fault(247).
%fault(248).
%fault(249).
%fault(250).
%fault(251).
%fault(252).
%fault(253).
%fault(254).
%fault(255).
%fault(256).
%fault(257).
%fault(258).
%fault(259).
%fault(270).
%fault(271).
%fault(272).
%fault(273).
%fault(274).
%fault(275).
%fault(276).
%fault(277).
%fault(278).
%fault(279).
%fault(280).
%fault(281).
%fault(282).
%fault(283).
%fault(284).
%fault(285).
%fault(286).
%fault(287).
%fault(288).
%fault(289).
