STATS: 1 iterations
STATS: automaton 0, cache2: 170 entries, cache6: 3149 entries
STATS: cache2: length: 255, used: 85, occupation: 0.333333
STATS: 1 iterations
STATS: automaton 0, cache2: 170 entries, cache6: 3149 entries
STATS: cache2: length: 255, used: 85, occupation: 0.333333