{"version":3,"file":"proofs.d.ts","sourceRoot":"","sources":["../../ts/proofs.ts"],"names":[],"mappings":"AACA,OAAO,EAAiB,KAAK,aAAa,EAAE,KAAK,YAAY,EAAE,MAAM,SAAS,CAAC;AAO/E,OAAO,KAAK,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAC1F,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAIvD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,QAAQ,gFAOlB,gBAAgB,KAAG,OAAO,CAAC,eAAe,CAuE5C,CAAC;AAUF;;;;;;;GAOG;AACH,eAAO,MAAM,WAAW,iBACR,aAAa,SACpB,YAAY,MACf,uBAAuB,wBAE1B,OAAO,CAAC,OAAO,CAMjB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,SAAS,aAAoB,MAAM,wBAAmB,OAAO,CAAC,eAAe,CAQpF,CAAC"}