{"version":3,"file":"prover.d.ts","sourceRoot":"","sources":["../../../../src/prover/prover.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AA+C/B,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CAOjE;AAGD,UAAU,MAAM;IACd,GAAG,EAAE,UAAU,CAAA;IACf,GAAG,EAAE,UAAU,CAAA;IACf,GAAG,EAAE,UAAU,CAAA;CAChB;AACD,wBAAsB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAsBrE;AAmJD,wBAAgB,wCAAwC,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAMzF;AAED,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,MAAM;;;;;;;;;GAkCrD;AAED,wBAAsB,kBAAkB,CAAC,GAAG,EAAE,MAAM;;;;;GAuBnD;AAGD,wBAAsB,mBAAmB,CAAC,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAMzH;AAGD,wBAAsB,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAMvH;AAED,wBAAsB,8BAA8B,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAYrF;AAED,wBAAsB,4BAA4B,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAUnF"}