first pass: aborted=False states expanded 38031 visited 54331 accepts 23  (2879s)
fertile states: 16 ; depth limit hit: False
accept events in second pass: 23 ; distinct relations up to translation: 1
   ((0, 0), (0, 2), (1, 1), (2, 1), (3, 1), (4, 0), (4, 2))
total time 2879s
