7.56/7.60 MAYBE 7.56/7.60  * theBenchmark.axxhead is self looping relatively to the rules 7.56/7.60 - Rule noname.axxhead!85 7.56/7.60 - Rule noname.axxu31!69 7.56/7.60 - Rule noname.axxu32!70 7.56/7.60 - Rule noname.mark!102 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60  * theBenchmark.axxu21 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu21!67 7.56/7.60 - Rule noname.axxu22!68 7.56/7.60 - Rule noname.mark!115 7.56/7.60 - Rule noname.axxfst!84 7.56/7.60  * theBenchmark.axxtake is self looping relatively to the rules 7.56/7.60 - Rule noname.axxtake!92 7.56/7.60 - Rule noname.axxu81!81 7.56/7.60 - Rule noname.axxu82!82 7.56/7.60 - Rule noname.mark!119 7.56/7.60  * theBenchmark.axxu42 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60  * theBenchmark.axxtail is self looping relatively to the rules 7.56/7.60 - Rule noname.axxtail!91 7.56/7.60 - Rule noname.axxu71!79 7.56/7.60 - Rule noname.axxu72!80 7.56/7.60 - Rule noname.mark!118 7.56/7.60  * theBenchmark.axxu12 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu12!66 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!94 7.56/7.60  * theBenchmark.axxu51 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu51!73 7.56/7.60 - Rule noname.axxu52!74 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!105 7.56/7.60  * theBenchmark.axxu61 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu61!75 7.56/7.60 - Rule noname.axxu62!76 7.56/7.60 - Rule noname.axxu63!77 7.56/7.60 - Rule noname.axxu64!78 7.56/7.60 - Rule noname.mark!94 7.56/7.60 - Rule noname.axxu12!66 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!101 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!107 7.56/7.60  * theBenchmark.axxfst is self looping relatively to the rules 7.56/7.60 - Rule noname.axxfst!84 7.56/7.60 - Rule noname.axxu21!67 7.56/7.60 - Rule noname.axxu22!68 7.56/7.60 - Rule noname.mark!115 7.56/7.60  * theBenchmark.axxu52 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu52!74 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!105 7.56/7.60 - Rule noname.axxu51!73 7.56/7.60  * theBenchmark.axxsel is self looping relatively to the rules 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!117 7.56/7.60  * theBenchmark.axxu71 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu71!79 7.56/7.60 - Rule noname.axxu72!80 7.56/7.60 - Rule noname.mark!118 7.56/7.60 - Rule noname.axxtail!91 7.56/7.60  * theBenchmark.mark is self looping relatively to the rules 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60  * theBenchmark.axxafterNth is self looping relatively to the rules 7.56/7.60 - Rule noname.axxafterNth!83 7.56/7.60 - Rule noname.axxu11!65 7.56/7.60 - Rule noname.axxu12!66 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!102 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60  * theBenchmark.axxu41 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60  * theBenchmark.axxu81 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu81!81 7.56/7.60 - Rule noname.axxu82!82 7.56/7.60 - Rule noname.mark!119 7.56/7.60 - Rule noname.axxtake!92 7.56/7.60  * theBenchmark.axxu82 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu82!82 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!114 7.56/7.60  * theBenchmark.axxnatsFrom is self looping relatively to the rules 7.56/7.60 - Rule noname.axxnatsFrom!86 7.56/7.60 - Rule noname.mark!116 7.56/7.60  * theBenchmark.axxu22 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu22!68 7.56/7.60 - Rule noname.mark!115 7.56/7.60 - Rule noname.axxfst!84 7.56/7.60 - Rule noname.axxu21!67 7.56/7.60  * theBenchmark.axxu72 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu72!80 7.56/7.60 - Rule noname.mark!118 7.56/7.60 - Rule noname.axxtail!91 7.56/7.60 - Rule noname.axxu71!79 7.56/7.60  * theBenchmark.axxu31 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu31!69 7.56/7.60 - Rule noname.axxu32!70 7.56/7.60 - Rule noname.mark!102 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.axxhead!85 7.56/7.60  * theBenchmark.axxu64 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu64!78 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!110 7.56/7.60  * theBenchmark.axxsplitAt is self looping relatively to the rules 7.56/7.60 - Rule noname.axxsplitAt!89 7.56/7.60 - Rule noname.mark!94 7.56/7.60 - Rule noname.axxu12!66 7.56/7.60  * theBenchmark.axxu32 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu32!70 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!100 7.56/7.60  * theBenchmark.axxu11 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu11!65 7.56/7.60 - Rule noname.axxu12!66 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!102 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.axxafterNth!83 7.56/7.60  * theBenchmark.axxsnd is self looping relatively to the rules 7.56/7.60 - Rule noname.axxsnd!88 7.56/7.60 - Rule noname.axxu51!73 7.56/7.60 - Rule noname.axxu52!74 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!94 7.56/7.60 - Rule noname.axxu12!66 7.56/7.60  * theBenchmark.axxu63 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu63!77 7.56/7.60 - Rule noname.axxu64!78 7.56/7.60 - Rule noname.mark!94 7.56/7.60 - Rule noname.axxu12!66 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!101 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!109 7.56/7.60  * theBenchmark.axxu62 is self looping relatively to the rules 7.56/7.60 - Rule noname.axxu62!76 7.56/7.60 - Rule noname.axxu63!77 7.56/7.60 - Rule noname.axxu64!78 7.56/7.60 - Rule noname.mark!94 7.56/7.60 - Rule noname.axxu12!66 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!101 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!107 7.56/7.60 - Rule noname.axxu61!75 7.56/7.60 EOF