{"version":3,"file":"execution.d.ts","sourceRoot":"","sources":["../../src/verified/execution.ts"],"names":[],"mappings":"AAKA;6EAC6E;AAC7E,eAAO,MAAM,iBAAiB,GAAI,WAAW,MAAM,GAAG,IAAI,GAAG,SAAS,EAAE,UAAU,MAAM,EAAE,OAAO,MAAM,KAAG,MAQzG,CAAC;AAEF;wEACwE;AACxE,eAAO,MAAM,iBAAiB,GAAI,CAAC,EAAE,UAAU,CAAC,GAAG,SAAS,EAAE,eAAe,MAAM,GAAG,SAAS,KAAG,CAAC,GAAG,SAKrG,CAAC"}