{"version":3,"file":"prover.d.ts","sourceRoot":"","sources":["../../../src/types/prover.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,cAAc,CAAA;AAChC,OAAO,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAE3E,oBAAY,SAAS;IACnB,YAAY,IAAI;IAChB,WAAW,IAAI;IACf,WAAW,IAAI;IACf,WAAW,IAAI;CAChB;AAED,eAAO,MAAM,eAAe,wDAA0B,CAAA;AAEtD,MAAM,MAAM,mBAAmB,GAAG;IAChC,YAAY,EAAE,KAAK,CAAA;IACnB,KAAK,EAAE,WAAW,CAAA;IAClB,MAAM,EAAE,IAAI,CAAA;IACZ,SAAS,EAAE,WAAW,CAAA;IACtB,GAAG,EAAE,GAAG,CAAA;IACR,MAAM,EAAE,WAAW,CAAA;IACnB,GAAG,EAAE,MAAM,CAAA;IACX,eAAe,EAAE,WAAW,CAAA;CAC7B,CAAA;AAED,eAAO,MAAM,yBAAyB;;;;;;;;;UASpC,CAAA;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,MAAM,CAAA;IACnB,aAAa,EAAE,SAAS,CAAA;IACxB,MAAM,EAAE,IAAI,CAAA;IACZ,eAAe,EAAE,WAAW,CAAA;CAC7B,CAAA;AAED,eAAO,MAAM,wBAAwB;;;;;UAKnC,CAAA;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,KAAK,EAAE,SAAS,CAAA;IAChB,aAAa,EAAE,WAAW,CAAA;IAC1B,eAAe,EAAE,WAAW,CAAA;CAC7B,CAAA;AAED,eAAO,MAAM,wBAAwB;;;;UAInC,CAAA;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,aAAa,EAAE,WAAW,CAAA;IAC1B,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,MAAM,CAAA;IAChB,eAAe,EAAE,WAAW,CAAA;CAC7B,CAAA;AAED,eAAO,MAAM,wBAAwB;;;;;;UAMnC,CAAA;AAEF,MAAM,MAAM,YAAY,GACpB;IAAE,YAAY,EAAE,mBAAmB,CAAA;CAAE,GACrC;IAAE,WAAW,EAAE,kBAAkB,CAAA;CAAE,GACnC;IAAE,WAAW,EAAE,kBAAkB,CAAA;CAAE,GACnC;IAAE,WAAW,EAAE,kBAAkB,CAAA;CAAE,CAAA;AAEvC,MAAM,MAAM,kBAAkB,GAAG,OAAO,CAAC,YAAY,EAAE;IAAE,YAAY,EAAE,mBAAmB,CAAA;CAAE,CAAC,CAAA;AAC7F,MAAM,MAAM,iBAAiB,GAAG,OAAO,CAAC,YAAY,EAAE;IAAE,WAAW,EAAE,kBAAkB,CAAA;CAAE,CAAC,CAAA;AAC1F,MAAM,MAAM,iBAAiB,GAAG,OAAO,CAAC,YAAY,EAAE;IAAE,WAAW,EAAE,kBAAkB,CAAA;CAAE,CAAC,CAAA;AAC1F,MAAM,MAAM,iBAAiB,GAAG,OAAO,CAAC,YAAY,EAAE;IAAE,WAAW,EAAE,kBAAkB,CAAA;CAAE,CAAC,CAAA;AAE1F,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAK7B,CAAA;AAEF,eAAO,MAAM,cAAc;;;;;;;UAOzB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,wBAAwB;;;;;;;;;;UAGnC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,6BAA6B;;;UAGxC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAA"}