{"table_entries_matching": 12, "of": 12, "steps": 3000000, "lockstep_mismatch": 0, "final_tapes_equal": true}