STATS: 1 iterations
STATS: automaton 0, cache2: 70 entries, cache6: 1310 entries
STATS: cache2: length: 105, used: 35, occupation: 0.333333
STATS: 1 iterations
STATS: automaton 0, cache2: 70 entries, cache6: 1310 entries
STATS: cache2: length: 105, used: 35, occupation: 0.333333