96.36/96.39 MAYBE 96.36/96.39  * theBenchmark.axxhead is self looping relatively to the rules 96.36/96.39 - Rule noname.axxhead!170 96.36/96.39 - Rule noname.axxu31!152 96.36/96.39 - Rule noname.mark!229 96.36/96.39 - Rule noname.axxu171!144 96.36/96.39  * theBenchmark.axxu21 is self looping relatively to the rules 96.36/96.39 - Rule noname.axxu21!149 96.36/96.39 - Rule noname.mark!206 96.36/96.39 - Rule noname.mark!235 96.36/96.39 - Rule noname.axxu202!148 96.36/96.39 - Rule noname.mark!236 96.36/96.39  * theBenchmark.axxu101 is self looping relatively to the rules 96.36/96.39 - Rule noname.axxu101!126 96.36/96.39 - Rule noname.axxisNatural!188 96.36/96.39 - Rule noname.axxisLNatKind!181 96.36/96.39 - Rule noname.axxand!168 96.36/96.39 - Rule noname.mark!235 96.36/96.39 - Rule noname.axxu202!148 96.36/96.39 - Rule noname.mark!206 96.36/96.39  * theBenchmark.axxtake is self looping relatively to the rules 96.36/96.39 - Rule noname.axxtake!205 96.36/96.39 - Rule noname.axxu221!151 96.36/96.39 - Rule noname.mark!206 96.36/96.39 - Rule noname.mark!261 96.36/96.39  * theBenchmark.axxu202 is self looping relatively to the rules 96.36/96.39 - Rule noname.axxu202!148 96.36/96.39 - Rule noname.mark!235 96.36/96.39 - Rule noname.axxu202!148 96.36/96.39 - Rule noname.mark!235 96.36/96.39  * theBenchmark.axxu161 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu161!143 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!227 96.36/96.40  * theBenchmark.axxisLNatKind is self looping relatively to the rules 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!258 96.36/96.40  * theBenchmark.axxu42 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu42!154 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!241 96.36/96.40 - Rule noname.mark!242 96.36/96.40  * theBenchmark.axxtail is self looping relatively to the rules 96.36/96.40 - Rule noname.axxtail!204 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!260 96.36/96.40  * theBenchmark.axxu221 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu221!151 96.36/96.40 - Rule noname.axxfst!169 96.36/96.40 - Rule noname.axxu21!149 96.36/96.40 - Rule noname.mark!238 96.36/96.40  * theBenchmark.axxu51 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu51!156 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!243 96.36/96.40 - Rule noname.mark!244 96.36/96.40  * theBenchmark.axxisNaturalKind is self looping relatively to the rules 96.36/96.40 - Rule noname.axxisNaturalKind!192 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!256 96.36/96.40 - Rule noname.mark!257 96.36/96.40  * theBenchmark.axxu171 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu171!144 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!229 96.36/96.40  * theBenchmark.axxu111 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu111!130 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!214 96.36/96.40  * theBenchmark.axxfst is self looping relatively to the rules 96.36/96.40 - Rule noname.axxfst!169 96.36/96.40 - Rule noname.axxu21!149 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!238 96.36/96.40 - Rule noname.axxu221!151 96.36/96.40  * theBenchmark.axxu61 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu61!159 96.36/96.40 - Rule noname.axxisPLNat!195 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!246 96.36/96.40 - Rule noname.mark!247 96.36/96.40  * theBenchmark.axxu52 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu52!157 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!245 96.36/96.40  * theBenchmark.axxsel is self looping relatively to the rules 96.36/96.40 - Rule noname.axxsel!200 96.36/96.40 - Rule noname.axxu171!144 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!262 96.36/96.40  * theBenchmark.axxu71 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu71!161 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!248 96.36/96.40 - Rule noname.mark!250 96.36/96.40  * theBenchmark.mark is self looping relatively to the rules 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40  * theBenchmark.axxafterNth is self looping relatively to the rules 96.36/96.40 - Rule noname.axxafterNth!167 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!229 96.36/96.40 - Rule noname.axxu171!144 96.36/96.40  * theBenchmark.axxu41 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!240 96.36/96.40 - Rule noname.mark!241 96.36/96.40  * theBenchmark.axxu152 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu152!141 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!225 96.36/96.40  * theBenchmark.axxisPLNat is self looping relatively to the rules 96.36/96.40 - Rule noname.axxisPLNat!195 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!249 96.36/96.40  * theBenchmark.axxu81 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu81!163 96.36/96.40 - Rule noname.axxisPLNat!195 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!251 96.36/96.40 - Rule noname.mark!252 96.36/96.40  * theBenchmark.axxu141 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu141!137 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!221 96.36/96.40  * theBenchmark.axxu181 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu181!145 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!232 96.36/96.40  * theBenchmark.axxu151 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu151!140 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!224 96.36/96.40  * theBenchmark.axxisNatural is self looping relatively to the rules 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.axxu101!126 96.36/96.40  * theBenchmark.axxnatsFrom is self looping relatively to the rules 96.36/96.40 - Rule noname.axxnatsFrom!199 96.36/96.40 - Rule noname.axxu161!143 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!228 96.36/96.40  * theBenchmark.axxu31 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu31!152 96.36/96.40 - Rule noname.mark!229 96.36/96.40 - Rule noname.axxu171!144 96.36/96.40 - Rule noname.axxhead!170 96.36/96.40  * theBenchmark.axxu102 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu102!127 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.axxu101!126 96.36/96.40  * theBenchmark.axxu201 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu201!147 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!234 96.36/96.40  * theBenchmark.axxand is self looping relatively to the rules 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!229 96.36/96.40 - Rule noname.axxu171!144 96.36/96.40 - Rule noname.axxhead!170 96.36/96.40  * theBenchmark.axxu91 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu91!165 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!253 96.36/96.40 - Rule noname.mark!254 96.36/96.40  * theBenchmark.axxsplitAt is self looping relatively to the rules 96.36/96.40 - Rule noname.axxsplitAt!202 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!213 96.36/96.40  * theBenchmark.axxu132 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu132!135 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!219 96.36/96.40  * theBenchmark.axxu11 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu11!129 96.36/96.40 - Rule noname.axxsplitAt!203 96.36/96.40 - Rule noname.axxu201!147 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!211 96.36/96.40  * theBenchmark.axxu191 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu191!146 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!233 96.36/96.40  * theBenchmark.axxsnd is self looping relatively to the rules 96.36/96.40 - Rule noname.axxsnd!201 96.36/96.40 - Rule noname.axxu181!145 96.36/96.40 - Rule noname.mark!212 96.36/96.40  * theBenchmark.axxu131 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu131!134 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!218 96.36/96.40  * theBenchmark.axxu121 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu121!132 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!216 96.36/96.40  * theBenchmark.axxisPLNatKind is self looping relatively to the rules 96.36/96.40 - Rule noname.axxisPLNatKind!197 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!259 96.36/96.40  * theBenchmark.axxisLNat is self looping relatively to the rules 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!210 96.36/96.40  * theBenchmark.axxu142 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu142!138 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!222 96.36/96.40  * theBenchmark.axxu211 is self looping relatively to the rules 96.36/96.40 - Rule noname.axxu211!150 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!237 96.36/96.40 EOF