{"version":3,"file":"range.d.ts","sourceRoot":"","sources":["../../../src/proof/range.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAY,MAAM,aAAa,CAAA;AAwXtE;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,UAAU,EACpB,QAAQ,EAAE,OAAO,GAAG,IAAI,EACxB,OAAO,EAAE,OAAO,GAAG,IAAI,EACvB,IAAI,EAAE,OAAO,EAAE,EACf,MAAM,EAAE,UAAU,EAAE,EACpB,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,EAC1B,qBAAqB,EAAE,gBAAgB,GACtC,OAAO,CAAC,OAAO,CAAC,CAyGlB"}