{"version":3,"file":"proofs.d.ts","sourceRoot":"","sources":["../../src/namespaces/proofs.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,EACV,WAAW,EACX,WAAW,EACX,kBAAkB,EAClB,mBAAmB,EACpB,MAAM,mBAAmB,CAAC;AAG3B,eAAO,MAAM,MAAM,GACjB,QAAQ,WAAW,EACnB,SAAS,kBAAkB,KAC1B,OAAO,CAAC,mBAAmB,CAA6D,CAAC;AAE5F,eAAO,MAAM,YAAY,GACvB,QAAQ,WAAW,EACnB,SAAS,MAAM,KACd,OAAO,CAAC,WAAW,CAC2D,CAAC"}