{"version":3,"file":"prover.d.ts","sourceRoot":"","sources":["../../src/decider/prover.ts"],"names":[],"mappings":"AAIA;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,gBAAgB,GAAG,iBAAiB,CAAC;AAExE;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,oGAAoG;IACpG,SAAS,CAAC,EAAE,OAAO,KAAK,CAAC;CAC1B;AAuDD,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAa;IAClC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IACtC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IAEjC;;;;OAIG;gBACS,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,oBAAyB;IAS/D;;;;;;;;;;;;;;OAcG;IACG,mBAAmB,CACvB,OAAO,EAAE,WAAW,EACpB,QAAQ,EAAE,UAAU,GAAG,MAAM,GAC5B,OAAO,CAAC,UAAU,CAAC;CAkDvB"}