94.18/94.25 MAYBE 94.18/94.25  * theBenchmark.axxhead is self looping relatively to the rules 94.18/94.25 - Rule noname.axxhead!169 94.18/94.25 - Rule noname.axxu31!151 94.18/94.25 - Rule noname.mark!228 94.18/94.25 - Rule noname.axxu171!143 94.18/94.25  * theBenchmark.axxu21 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu21!148 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!235 94.18/94.25  * theBenchmark.axxu101 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu101!125 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25  * theBenchmark.axxtake is self looping relatively to the rules 94.18/94.25 - Rule noname.axxtake!204 94.18/94.25 - Rule noname.axxu221!150 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!260 94.18/94.25  * theBenchmark.axxu202 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!234 94.18/94.25  * theBenchmark.axxu161 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu161!142 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!226 94.18/94.25  * theBenchmark.axxisLNatKind is self looping relatively to the rules 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!257 94.18/94.25  * theBenchmark.axxu42 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu42!153 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!240 94.18/94.25 - Rule noname.mark!241 94.18/94.25  * theBenchmark.axxtail is self looping relatively to the rules 94.18/94.25 - Rule noname.axxtail!203 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!259 94.18/94.25  * theBenchmark.axxu221 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu221!150 94.18/94.25 - Rule noname.axxfst!168 94.18/94.25 - Rule noname.axxu21!148 94.18/94.25 - Rule noname.mark!237 94.18/94.25  * theBenchmark.axxu51 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu51!155 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!242 94.18/94.25 - Rule noname.mark!243 94.18/94.25  * theBenchmark.axxisNaturalKind is self looping relatively to the rules 94.18/94.25 - Rule noname.axxisNaturalKind!191 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!255 94.18/94.25 - Rule noname.mark!256 94.18/94.25  * theBenchmark.axxu171 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu171!143 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!228 94.18/94.25  * theBenchmark.axxu111 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu111!129 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!213 94.18/94.25  * theBenchmark.axxfst is self looping relatively to the rules 94.18/94.25 - Rule noname.axxfst!168 94.18/94.25 - Rule noname.axxu21!148 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!237 94.18/94.25 - Rule noname.axxu221!150 94.18/94.25  * theBenchmark.axxu61 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu61!158 94.18/94.25 - Rule noname.axxisPLNat!194 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!245 94.18/94.25 - Rule noname.mark!246 94.18/94.25  * theBenchmark.axxu52 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu52!156 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!244 94.18/94.25  * theBenchmark.axxsel is self looping relatively to the rules 94.18/94.25 - Rule noname.axxsel!199 94.18/94.25 - Rule noname.axxu171!143 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!261 94.18/94.25  * theBenchmark.axxu71 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu71!160 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!247 94.18/94.25 - Rule noname.mark!249 94.18/94.25  * theBenchmark.mark is self looping relatively to the rules 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25  * theBenchmark.axxafterNth is self looping relatively to the rules 94.18/94.25 - Rule noname.axxafterNth!166 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!228 94.18/94.25 - Rule noname.axxu171!143 94.18/94.25  * theBenchmark.axxu41 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!239 94.18/94.25 - Rule noname.mark!240 94.18/94.25  * theBenchmark.axxu152 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu152!140 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!224 94.18/94.25  * theBenchmark.axxisPLNat is self looping relatively to the rules 94.18/94.25 - Rule noname.axxisPLNat!194 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!248 94.18/94.25  * theBenchmark.axxu81 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu81!162 94.18/94.25 - Rule noname.axxisPLNat!194 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!250 94.18/94.25 - Rule noname.mark!251 94.18/94.25  * theBenchmark.axxu141 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu141!136 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!220 94.18/94.25  * theBenchmark.axxu181 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu181!144 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!231 94.18/94.25  * theBenchmark.axxu151 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu151!139 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!223 94.18/94.25  * theBenchmark.axxisNatural is self looping relatively to the rules 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.axxu101!125 94.18/94.25  * theBenchmark.axxnatsFrom is self looping relatively to the rules 94.18/94.25 - Rule noname.axxnatsFrom!198 94.18/94.25 - Rule noname.axxu161!142 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!227 94.18/94.25  * theBenchmark.axxu31 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu31!151 94.18/94.25 - Rule noname.mark!228 94.18/94.25 - Rule noname.axxu171!143 94.18/94.25 - Rule noname.axxhead!169 94.18/94.25  * theBenchmark.axxu102 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu102!126 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.axxu101!125 94.18/94.25  * theBenchmark.axxu201 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu201!146 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!233 94.18/94.25  * theBenchmark.axxand is self looping relatively to the rules 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!228 94.18/94.25 - Rule noname.axxu171!143 94.18/94.25 - Rule noname.axxhead!169 94.18/94.25  * theBenchmark.axxu91 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu91!164 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!252 94.18/94.25 - Rule noname.mark!253 94.18/94.25  * theBenchmark.axxsplitAt is self looping relatively to the rules 94.18/94.25 - Rule noname.axxsplitAt!201 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!212 94.18/94.25  * theBenchmark.axxu132 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu132!134 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!218 94.18/94.25  * theBenchmark.axxu11 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu11!128 94.18/94.25 - Rule noname.axxsplitAt!202 94.18/94.25 - Rule noname.axxu201!146 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!210 94.18/94.25  * theBenchmark.axxu191 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu191!145 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!232 94.18/94.25  * theBenchmark.axxsnd is self looping relatively to the rules 94.18/94.25 - Rule noname.axxsnd!200 94.18/94.25 - Rule noname.axxu181!144 94.18/94.25 - Rule noname.mark!211 94.18/94.25  * theBenchmark.axxu131 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu131!133 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!217 94.18/94.25  * theBenchmark.axxu121 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu121!131 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!215 94.18/94.25  * theBenchmark.axxisPLNatKind is self looping relatively to the rules 94.18/94.25 - Rule noname.axxisPLNatKind!196 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!258 94.18/94.25  * theBenchmark.axxisLNat is self looping relatively to the rules 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!209 94.18/94.25  * theBenchmark.axxu142 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu142!137 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!221 94.18/94.25  * theBenchmark.axxu211 is self looping relatively to the rules 94.18/94.25 - Rule noname.axxu211!149 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!236 94.18/94.25 EOF