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