3.84/1.17	NO
3.84/1.18	Loop of length 64 starting with a string of length 52 using right expansion
3.84/1.18	and the encoding {a=a, b=b}:
3.84/1.18	
3.84/1.18	.abbaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 0
3.84/1.18	.aaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 11
3.84/1.18	.aaaaaaaaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 22
3.84/1.18	.aaaaaaaaabbaaaaaaaaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 19
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 37
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 34
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 30
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 27
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 60
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb.aaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 57
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 53
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 50
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 45
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 42
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 38
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 35
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 99
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 96
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 92
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 89
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 84
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 81
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 77
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 74
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 68
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 65
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 61
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 58
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 53
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 50
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 46
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 43
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 170
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 167
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 163
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 160
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 155
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 152
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 148
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 145
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 139
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 136
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 132
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 129
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 124
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 121
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 117
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 114
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 107
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 104
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 100
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 97
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 92
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 89
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 85
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 82
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 76
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 73
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 69
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 66
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 61
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 58
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 54
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.84/1.18		rule abbaaaaaaa -> aaaaaaaaabbabb at position 51
3.84/1.18	.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
3.95/1.21	EOF