{"caution":"Do not replace the original 109/119-case denominators or infer an arm advantage from these targeted probes.","results":[{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":145},{"id":"leading-zero-repeat","matches_contract":false,"outcome":{"error":"ValueError","kind":"error"},"scope":"extension-contract","steps":134},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":29215}],"program":"seed"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":487},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":954},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":110902}],"program":"speculative-0-g1"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":false,"outcome":{"error":"ValueError","kind":"error"},"scope":"original-contract","steps":287},{"id":"leading-zero-repeat","matches_contract":false,"outcome":{"error":"ValueError","kind":"error"},"scope":"extension-contract","steps":297},{"id":"maximum-flat-zero-padded-list","matches_contract":false,"outcome":{"error":"ValueError","kind":"error"},"scope":"original-contract","steps":297}],"program":"speculative-1-g1"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":624},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":926},{"id":"maximum-flat-zero-padded-list","matches_contract":false,"outcome":{"detail":"instruction budget","error":"GuestLimit","kind":"execution_error"},"scope":"original-contract","steps":120001}],"program":"speculative-2-g1"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":490},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":924},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":113455}],"program":"speculative-3-g1"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":424},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":900},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":103444}],"program":"speculative-4-g1"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":511},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":1045},{"id":"maximum-flat-zero-padded-list","matches_contract":false,"outcome":{"detail":"instruction budget","error":"GuestLimit","kind":"execution_error"},"scope":"original-contract","steps":120001}],"program":"direct-0-g1"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":378},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":892},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":94728}],"program":"direct-1-g1"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":476},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":1005},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":110636}],"program":"direct-2-g1"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":546},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":1071},{"id":"maximum-flat-zero-padded-list","matches_contract":false,"outcome":{"detail":"instruction budget","error":"GuestLimit","kind":"execution_error"},"scope":"original-contract","steps":120001}],"program":"direct-3-g1"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":475},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":962},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":107320}],"program":"direct-4-g1"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":484},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":1044},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":118804}],"program":"speculative-0-g2"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":455},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":967},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":108830}],"program":"speculative-1-g2"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":483},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":993},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":116763}],"program":"speculative-2-g2"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":452},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":927},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":115202}],"program":"speculative-3-g2"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":468},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":1007},{"id":"maximum-flat-zero-padded-list","matches_contract":true,"outcome":{"kind":"value","value":[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]},"scope":"original-contract","steps":113688}],"program":"speculative-4-g2"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":497},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":1017},{"id":"maximum-flat-zero-padded-list","matches_contract":false,"outcome":{"detail":"instruction budget","error":"GuestLimit","kind":"execution_error"},"scope":"original-contract","steps":120001}],"program":"direct-0-g2"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":494},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":1007},{"id":"maximum-flat-zero-padded-list","matches_contract":false,"outcome":{"detail":"instruction budget","error":"GuestLimit","kind":"execution_error"},"scope":"original-contract","steps":120001}],"program":"direct-1-g2"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":514},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":1051},{"id":"maximum-flat-zero-padded-list","matches_contract":false,"outcome":{"detail":"instruction budget","error":"GuestLimit","kind":"execution_error"},"scope":"original-contract","steps":120001}],"program":"direct-2-g2"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":497},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":1027},{"id":"maximum-flat-zero-padded-list","matches_contract":false,"outcome":{"detail":"instruction budget","error":"GuestLimit","kind":"execution_error"},"scope":"original-contract","steps":120001}],"program":"direct-3-g2"},{"admitted":true,"probes":[{"id":"leading-zero-integer","matches_contract":true,"outcome":{"kind":"value","value":[1]},"scope":"original-contract","steps":511},{"id":"leading-zero-repeat","matches_contract":true,"outcome":{"kind":"value","value":[1,1]},"scope":"extension-contract","steps":1041},{"id":"maximum-flat-zero-padded-list","matches_contract":false,"outcome":{"detail":"instruction budget","error":"GuestLimit","kind":"execution_error"},"scope":"original-contract","steps":120001}],"program":"direct-4-g2"}],"schema":"gyre-posthoc-contract-probes/1","status":"post-hoc; not preregistered; original data unchanged","subjects":21}