{"version":3,"file":"proof.d.ts","sourceRoot":"","sources":["../../src/scenarios/proof.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,eAAe,EAA2B,MAAM,4BAA4B,CAAC;AAG3F,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EAKxB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EACL,KAAK,uBAAuB,EAG7B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAEjE,OAAO,EAAE,cAAc,EAAE,KAAK,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC5F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,KAAK,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAOvE,OAAO,EAAE,kBAAkB,EAA+B,MAAM,qBAAqB,CAAC;AAWtF,OAAO,EAAE,KAAK,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAc/E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAE1D,OAAO,EAAE,iBAAiB,EAA2B,MAAM,iBAAiB,CAAC;AA2B7E,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;AACjD,MAAM,MAAM,YAAY,GAAG,gBAAgB,CAAC;AAc5C,QAAA,MAAM,oBAAoB,YACxB,cAAc,EACd,aAAa,EACb,eAAe,EACf,WAAW,EACX,oBAAoB,EACpB,cAAc,EACd,UAAU,EACV,sBAAsB,EACtB,uBAAuB,EACvB,eAAe,CACP,CAAC;AACX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAQrE,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,OAAO,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,WAAW,CAAC,EAAE,mBAAmB,CAAC;IAClC,SAAS,CAAC,EAAE,cAAc,CAAC;CAC5B;AAED,MAAM,WAAW,WAAW;IAC1B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,QAAQ,EAAE,WAAW,CAAC;CACvB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAChD;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC;AAED,eAAO,MAAM,eAAe,EAAE,SAAS,oBAAoB,EAwP1D,CAAC;AAEF,UAAU,iBAAiB;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,gBAAgB,EAAE,UAAU,MAAM,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACjD;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IACnC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxB;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,UAAU,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IACtC,aAAa,EAAE,WAAW,CAAC,eAAe,CAAC,CAAC;IAC5C,eAAe,EAAE,WAAW,CAAC,iBAAiB,CAAC,CAAC;IAChD,mBAAmB,EAAE,WAAW,CAAC,qBAAqB,CAAC,CAAC;IACxD,eAAe,EAAE,WAAW,CAAC,iBAAiB,CAAC,CAAC;CACjD;AAED,MAAM,WAAW,iBAAiB;IAChC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAC7E,eAAe,CACb,GAAG,EAAE,OAAO,EACZ,WAAW,CAAC,EAAE,SAAS,uBAAuB,EAAE,EAChD,kBAAkB,CAAC,EAAE,SAAS,gBAAgB,EAAE,GAC/C,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC/B,aAAa,CACX,KAAK,EAAE,MAAM,EACb,gBAAgB,EAAE,MAAM,EACxB,OAAO,CAAC,EAAE,oBAAoB,GAC7B,mBAAmB,CAAC;IACvB,qBAAqB,CAAC,CAAC,OAAO,EAAE,qBAAqB,GAAG,mBAAmB,CAAC;IAC5E,aAAa,CACX,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,gBAAgB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,EACzD,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,EAC/B,YAAY,CAAC,EAAE,OAAO,GACrB,SAAS,kBAAkB,CAAC,wBAAwB,CAAC,EAAE,CAAC;CAC5D;AAED,MAAM,WAAW,yBAA0B,SAAQ,oBAAoB;IACrE,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;IAC3C,MAAM,CAAC,QAAQ,EAAE,kBAAkB,GAAG,SAAS,GAAG,kBAAkB,CAAC,wBAAwB,CAAC,CAAC;CAChG;AA0DD,eAAO,MAAM,4BAA4B,EAAE,SAAS,yBAAyB,EAwa5E,CAAC;AAEF,wBAAgB,qBAAqB,CAAC,SAAS,GAAE,cAAmB,GAAG,sBAAsB,CAyD5F;AAED,wBAAgB,iCAAiC,CAC/C,SAAS,EAAE,sBAAsB,EACjC,SAAS,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAChE,IAAI,CAiBN;AAUD,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,GAAG,MAAM,CAmB1F;AAED,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,MAAM,EACb,gBAAgB,EAAE,MAAM,EACxB,OAAO,GAAE,oBAAyB,GACjC,qBAAqB,CAgCvB;AAgBD,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,gBAAgB,GAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAa,EACpE,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,EAC/B,YAAY,UAAQ,GACnB,SAAS,kBAAkB,CAAC,wBAAwB,CAAC,EAAE,CA8BzD;AA8KD,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,YAAY,EACrB,YAAY,EAAE,iBAAiB,GAC9B,OAAO,CAAC,WAAW,CAAC,CA4ItB;AAED,wBAAsB,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,CAE1E"}