STATS: 1 iterations
STATS: automaton 0, cache2: 6 entries, cache6: 18 entries
STATS: cache2: length: 9, used: 3, occupation: 0.333333
STATS: 1 iterations
STATS: automaton 0, cache2: 6 entries, cache6: 18 entries
STATS: cache2: length: 9, used: 3, occupation: 0.333333