diff --git a/extractor/lean_export.go b/extractor/lean_export.go
index 563d4d1..329b74f 100644
--- a/extractor/lean_export.go
+++ b/extractor/lean_export.go
@@ -29,7 +29,7 @@ import ProvenZk.Ext.Vector
 namespace %s
 
 set_option maxRecDepth 1200
-set_option maxHeartbeats 2000000
+set_option maxHeartbeats 20000000
 
 def Order : ℕ := 0x%s
 variable [Fact (Nat.Prime Order)]