export {};
//# sourceMappingURL=proofUtils.test.d.ts.map