{"traces": 250, "states": 11332, "canonical_unchanged": true, "mode": "compare"}
