diff --git a/data/stat_history/02bf779.txt b/data/stat_history/02bf779.txt
new file mode 100644
index 000000000..9b4680cbd
--- /dev/null
+++ b/data/stat_history/02bf779.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27810,
+"implicit_proof_true": 5299864,
+"unknown": 2863054,
+"implicit_proof_false": 42,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/041b92d.txt b/data/stat_history/041b92d.txt
new file mode 100644
index 000000000..4c4e37ce9
--- /dev/null
+++ b/data/stat_history/041b92d.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274799,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582443}
diff --git a/data/stat_history/05025ec.txt b/data/stat_history/05025ec.txt
new file mode 100644
index 000000000..99f66a5a6
--- /dev/null
+++ b/data/stat_history/05025ec.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582095,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/05138bb.txt b/data/stat_history/05138bb.txt
new file mode 100644
index 000000000..aa3f3ad38
--- /dev/null
+++ b/data/stat_history/05138bb.txt
@@ -0,0 +1,5 @@
+{"unknown": 21407,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581649}
diff --git a/data/stat_history/06b2822.txt b/data/stat_history/06b2822.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/06b2822.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/06cc0f7.txt b/data/stat_history/06cc0f7.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/06cc0f7.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/09d8c67.txt b/data/stat_history/09d8c67.txt
new file mode 100644
index 000000000..9d3612caf
--- /dev/null
+++ b/data/stat_history/09d8c67.txt
@@ -0,0 +1,7 @@
+{"unknown": 932,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272264,
+ "implicit_conjecture_false": 11,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582102,
+ "explicit_conjecture_false": 48}
diff --git a/data/stat_history/0b53ad1.txt b/data/stat_history/0b53ad1.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/0b53ad1.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/0c3dda4.txt b/data/stat_history/0c3dda4.txt
new file mode 100644
index 000000000..45cdc728b
--- /dev/null
+++ b/data/stat_history/0c3dda4.txt
@@ -0,0 +1,10 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"explicit_conjecture_true": 38949,
+"implicit_conjecture_true": 1223057,
+"unknown": 7999,
+"implicit_conjecture_false": 1540725,
+"explicit_conjecture_false": 79635,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/0d7bd04.txt b/data/stat_history/0d7bd04.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/0d7bd04.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/0e34e17.txt b/data/stat_history/0e34e17.txt
new file mode 100644
index 000000000..cec1b2380
--- /dev/null
+++ b/data/stat_history/0e34e17.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27803,
+"implicit_proof_true": 5294943,
+"unknown": 2886650,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/0eb0e5a.txt b/data/stat_history/0eb0e5a.txt
new file mode 100644
index 000000000..563af0bcd
--- /dev/null
+++ b/data/stat_history/0eb0e5a.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"unknown": 2890365,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607,
+}
diff --git a/data/stat_history/0f89900.txt b/data/stat_history/0f89900.txt
new file mode 100644
index 000000000..51293a71d
--- /dev/null
+++ b/data/stat_history/0f89900.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28239,
+"implicit_proof_true": 5454927,
+"unknown": 2707562,
+"implicit_proof_false": 42,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/1082fda.txt b/data/stat_history/1082fda.txt
new file mode 100644
index 000000000..2cd2b321f
--- /dev/null
+++ b/data/stat_history/1082fda.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28264,
+"implicit_proof_true": 5457961,
+"unknown": 2734065,
+"implicit_proof_false": 7723,
+"explicit_proof_false": 13833796
+}
diff --git a/data/stat_history/114922c.txt b/data/stat_history/114922c.txt
new file mode 100644
index 000000000..b4f4d2d4c
--- /dev/null
+++ b/data/stat_history/114922c.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27810,
+"implicit_proof_true": 5299864,
+"unknown": 2881722,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/11a1831.txt b/data/stat_history/11a1831.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/11a1831.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/11ab32c.txt b/data/stat_history/11ab32c.txt
new file mode 100644
index 000000000..41d275801
--- /dev/null
+++ b/data/stat_history/11ab32c.txt
@@ -0,0 +1,7 @@
+{"unknown": 741,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272281,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582126,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/11dfc73.txt b/data/stat_history/11dfc73.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/11dfc73.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/11f5d00.txt b/data/stat_history/11f5d00.txt
new file mode 100644
index 000000000..3c7880d4a
--- /dev/null
+++ b/data/stat_history/11f5d00.txt
@@ -0,0 +1,5 @@
+{"unknown": 29503,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268299,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581166}
diff --git a/data/stat_history/12ceca3.txt b/data/stat_history/12ceca3.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/12ceca3.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/12cfae3.txt b/data/stat_history/12cfae3.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/12cfae3.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/1327a8f.txt b/data/stat_history/1327a8f.txt
new file mode 100644
index 000000000..c5b99d129
--- /dev/null
+++ b/data/stat_history/1327a8f.txt
@@ -0,0 +1,5 @@
+{"unknown": 21323,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275914,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581731}
diff --git a/data/stat_history/1335244.txt b/data/stat_history/1335244.txt
new file mode 100644
index 000000000..b4f4d2d4c
--- /dev/null
+++ b/data/stat_history/1335244.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27810,
+"implicit_proof_true": 5299864,
+"unknown": 2881722,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/143ec7e.txt b/data/stat_history/143ec7e.txt
new file mode 100644
index 000000000..49c96df96
--- /dev/null
+++ b/data/stat_history/143ec7e.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28264,
+"implicit_proof_true": 5457961,
+"unknown": 2726304,
+"implicit_proof_false": 3486,
+"explicit_proof_false": 13845794
+}
diff --git a/data/stat_history/14c230f.txt b/data/stat_history/14c230f.txt
new file mode 100644
index 000000000..d374eb1aa
--- /dev/null
+++ b/data/stat_history/14c230f.txt
@@ -0,0 +1,5 @@
+{"unknown": 21411,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275918,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581639}
diff --git a/data/stat_history/15b9889.txt b/data/stat_history/15b9889.txt
new file mode 100644
index 000000000..a67bfb290
--- /dev/null
+++ b/data/stat_history/15b9889.txt
@@ -0,0 +1,5 @@
+{"unknown": 21319,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275885,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581764}
diff --git a/data/stat_history/15d5417.txt b/data/stat_history/15d5417.txt
new file mode 100644
index 000000000..45cdc728b
--- /dev/null
+++ b/data/stat_history/15d5417.txt
@@ -0,0 +1,10 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"explicit_conjecture_true": 38949,
+"implicit_conjecture_true": 1223057,
+"unknown": 7999,
+"implicit_conjecture_false": 1540725,
+"explicit_conjecture_false": 79635,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/161bdcc.txt b/data/stat_history/161bdcc.txt
new file mode 100644
index 000000000..3706dada9
--- /dev/null
+++ b/data/stat_history/161bdcc.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28264,
+"implicit_proof_true": 5457961,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/16ecfa0.txt b/data/stat_history/16ecfa0.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/16ecfa0.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/198f326.txt b/data/stat_history/198f326.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/198f326.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/198fd3f.txt b/data/stat_history/198fd3f.txt
new file mode 100644
index 000000000..d374eb1aa
--- /dev/null
+++ b/data/stat_history/198fd3f.txt
@@ -0,0 +1,5 @@
+{"unknown": 21411,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275918,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581639}
diff --git a/data/stat_history/199bfef.txt b/data/stat_history/199bfef.txt
new file mode 100644
index 000000000..aa3f3ad38
--- /dev/null
+++ b/data/stat_history/199bfef.txt
@@ -0,0 +1,5 @@
+{"unknown": 21407,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581649}
diff --git a/data/stat_history/19b3bf7.txt b/data/stat_history/19b3bf7.txt
new file mode 100644
index 000000000..03bed1967
--- /dev/null
+++ b/data/stat_history/19b3bf7.txt
@@ -0,0 +1,7 @@
+{"unknown": 733,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582131,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/1a9fba3.txt b/data/stat_history/1a9fba3.txt
new file mode 100644
index 000000000..0aa618bf2
--- /dev/null
+++ b/data/stat_history/1a9fba3.txt
@@ -0,0 +1,5 @@
+{"unknown": 21162,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275949,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581857}
diff --git a/data/stat_history/1bb5c50.txt b/data/stat_history/1bb5c50.txt
new file mode 100644
index 000000000..4c4e37ce9
--- /dev/null
+++ b/data/stat_history/1bb5c50.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274799,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582443}
diff --git a/data/stat_history/1c7e1bc.txt b/data/stat_history/1c7e1bc.txt
new file mode 100644
index 000000000..03bed1967
--- /dev/null
+++ b/data/stat_history/1c7e1bc.txt
@@ -0,0 +1,7 @@
+{"unknown": 733,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582131,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/1d1a7f6.txt b/data/stat_history/1d1a7f6.txt
new file mode 100644
index 000000000..aa3f3ad38
--- /dev/null
+++ b/data/stat_history/1d1a7f6.txt
@@ -0,0 +1,5 @@
+{"unknown": 21407,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581649}
diff --git a/data/stat_history/1e6ebff.txt b/data/stat_history/1e6ebff.txt
new file mode 100644
index 000000000..cec1b2380
--- /dev/null
+++ b/data/stat_history/1e6ebff.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27803,
+"implicit_proof_true": 5294943,
+"unknown": 2886650,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/1e78ea5.txt b/data/stat_history/1e78ea5.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/1e78ea5.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/1e88f78.txt b/data/stat_history/1e88f78.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/1e88f78.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/1ee4205.txt b/data/stat_history/1ee4205.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/1ee4205.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/1f05607.txt b/data/stat_history/1f05607.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/1f05607.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/1f15dfe.txt b/data/stat_history/1f15dfe.txt
new file mode 100644
index 000000000..0aa618bf2
--- /dev/null
+++ b/data/stat_history/1f15dfe.txt
@@ -0,0 +1,5 @@
+{"unknown": 21162,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275949,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581857}
diff --git a/data/stat_history/1f2b196.txt b/data/stat_history/1f2b196.txt
new file mode 100644
index 000000000..1ef6ebc45
--- /dev/null
+++ b/data/stat_history/1f2b196.txt
@@ -0,0 +1,5 @@
+{"unknown": 29682,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13243431,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 605855}
diff --git a/data/stat_history/1fa3377.txt b/data/stat_history/1fa3377.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/1fa3377.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/1fdaa67.txt b/data/stat_history/1fdaa67.txt
new file mode 100644
index 000000000..2758d8ad6
--- /dev/null
+++ b/data/stat_history/1fdaa67.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1127134,
+"implicit_proof_false": 8440,
+"explicit_proof_false": 13833796
+}
diff --git a/data/stat_history/202dd71.txt b/data/stat_history/202dd71.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/202dd71.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/2059764.txt b/data/stat_history/2059764.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/2059764.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/2077ebf.txt b/data/stat_history/2077ebf.txt
new file mode 100644
index 000000000..51293a71d
--- /dev/null
+++ b/data/stat_history/2077ebf.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28239,
+"implicit_proof_true": 5454927,
+"unknown": 2707562,
+"implicit_proof_false": 42,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/20bd4f9.txt b/data/stat_history/20bd4f9.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/20bd4f9.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/216d377.txt b/data/stat_history/216d377.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/216d377.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/22ba7a0.txt b/data/stat_history/22ba7a0.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/22ba7a0.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/2541455.txt b/data/stat_history/2541455.txt
new file mode 100644
index 000000000..c5b99d129
--- /dev/null
+++ b/data/stat_history/2541455.txt
@@ -0,0 +1,5 @@
+{"unknown": 21323,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275914,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581731}
diff --git a/data/stat_history/2572c83.txt b/data/stat_history/2572c83.txt
new file mode 100644
index 000000000..f539bd9eb
--- /dev/null
+++ b/data/stat_history/2572c83.txt
@@ -0,0 +1,7 @@
+{"unknown": 21116,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275949,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581857,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/270867f.txt b/data/stat_history/270867f.txt
new file mode 100644
index 000000000..b4f4d2d4c
--- /dev/null
+++ b/data/stat_history/270867f.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27810,
+"implicit_proof_true": 5299864,
+"unknown": 2881722,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/275bb67.txt b/data/stat_history/275bb67.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/275bb67.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/27fa1e1.txt b/data/stat_history/27fa1e1.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/27fa1e1.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/2abd15e.txt b/data/stat_history/2abd15e.txt
new file mode 100644
index 000000000..9d3612caf
--- /dev/null
+++ b/data/stat_history/2abd15e.txt
@@ -0,0 +1,7 @@
+{"unknown": 932,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272264,
+ "implicit_conjecture_false": 11,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582102,
+ "explicit_conjecture_false": 48}
diff --git a/data/stat_history/2ddfb96.txt b/data/stat_history/2ddfb96.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/2ddfb96.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/2f97cc0.txt b/data/stat_history/2f97cc0.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/2f97cc0.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/317d1db.txt b/data/stat_history/317d1db.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/317d1db.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/3294f5e.txt b/data/stat_history/3294f5e.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/3294f5e.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/335a83d.txt b/data/stat_history/335a83d.txt
new file mode 100644
index 000000000..3706dada9
--- /dev/null
+++ b/data/stat_history/335a83d.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28264,
+"implicit_proof_true": 5457961,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/33c35bf.txt b/data/stat_history/33c35bf.txt
new file mode 100644
index 000000000..3706dada9
--- /dev/null
+++ b/data/stat_history/33c35bf.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28264,
+"implicit_proof_true": 5457961,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/345f865.txt b/data/stat_history/345f865.txt
new file mode 100644
index 000000000..2c9928ffb
--- /dev/null
+++ b/data/stat_history/345f865.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147764,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 30515,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/35e22b0.txt b/data/stat_history/35e22b0.txt
new file mode 100644
index 000000000..60107a1e3
--- /dev/null
+++ b/data/stat_history/35e22b0.txt
@@ -0,0 +1,5 @@
+{"unknown": 21679,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275845,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581444}
diff --git a/data/stat_history/3810b21.txt b/data/stat_history/3810b21.txt
new file mode 100644
index 000000000..3c7880d4a
--- /dev/null
+++ b/data/stat_history/3810b21.txt
@@ -0,0 +1,5 @@
+{"unknown": 29503,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268299,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581166}
diff --git a/data/stat_history/3a25591.txt b/data/stat_history/3a25591.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/3a25591.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/3b11388.txt b/data/stat_history/3b11388.txt
new file mode 100644
index 000000000..6168c5233
--- /dev/null
+++ b/data/stat_history/3b11388.txt
@@ -0,0 +1,10 @@
+{"explicit_proof_true": 27803,
+"implicit_proof_true": 5294943,
+"explicit_conjecture_true": 38938,
+"implicit_conjecture_true": 1222463,
+"unknown": 2826,
+"implicit_conjecture_false": 1542808,
+"explicit_conjecture_false": 79615,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/3e0b766.txt b/data/stat_history/3e0b766.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/3e0b766.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/3e5f9cd.txt b/data/stat_history/3e5f9cd.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/3e5f9cd.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/3f2f8a2.txt b/data/stat_history/3f2f8a2.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/3f2f8a2.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/3f3bbdd.txt b/data/stat_history/3f3bbdd.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/3f3bbdd.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/3f750f6.txt b/data/stat_history/3f750f6.txt
new file mode 100644
index 000000000..6338357ef
--- /dev/null
+++ b/data/stat_history/3f750f6.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"unknown": 2890365,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/41f40e0.txt b/data/stat_history/41f40e0.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/41f40e0.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/45aa093.txt b/data/stat_history/45aa093.txt
new file mode 100644
index 000000000..60107a1e3
--- /dev/null
+++ b/data/stat_history/45aa093.txt
@@ -0,0 +1,5 @@
+{"unknown": 21679,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275845,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581444}
diff --git a/data/stat_history/45d299a.txt b/data/stat_history/45d299a.txt
new file mode 100644
index 000000000..d374eb1aa
--- /dev/null
+++ b/data/stat_history/45d299a.txt
@@ -0,0 +1,5 @@
+{"unknown": 21411,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275918,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581639}
diff --git a/data/stat_history/46a3207.txt b/data/stat_history/46a3207.txt
new file mode 100644
index 000000000..c5b99d129
--- /dev/null
+++ b/data/stat_history/46a3207.txt
@@ -0,0 +1,5 @@
+{"unknown": 21323,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275914,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581731}
diff --git a/data/stat_history/47df00d.txt b/data/stat_history/47df00d.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/47df00d.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/4861735.txt b/data/stat_history/4861735.txt
new file mode 100644
index 000000000..4c4e37ce9
--- /dev/null
+++ b/data/stat_history/4861735.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274799,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582443}
diff --git a/data/stat_history/4c809c3.txt b/data/stat_history/4c809c3.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/4c809c3.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/4d95792.txt b/data/stat_history/4d95792.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/4d95792.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/4f64081.txt b/data/stat_history/4f64081.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/4f64081.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/4f7ebef.txt b/data/stat_history/4f7ebef.txt
new file mode 100644
index 000000000..51293a71d
--- /dev/null
+++ b/data/stat_history/4f7ebef.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28239,
+"implicit_proof_true": 5454927,
+"unknown": 2707562,
+"implicit_proof_false": 42,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/4fafd77.txt b/data/stat_history/4fafd77.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/4fafd77.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/5019a2d.txt b/data/stat_history/5019a2d.txt
new file mode 100644
index 000000000..41d275801
--- /dev/null
+++ b/data/stat_history/5019a2d.txt
@@ -0,0 +1,7 @@
+{"unknown": 741,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272281,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582126,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/51127a6.txt b/data/stat_history/51127a6.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/51127a6.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/528eb75.txt b/data/stat_history/528eb75.txt
new file mode 100644
index 000000000..45cdc728b
--- /dev/null
+++ b/data/stat_history/528eb75.txt
@@ -0,0 +1,10 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"explicit_conjecture_true": 38949,
+"implicit_conjecture_true": 1223057,
+"unknown": 7999,
+"implicit_conjecture_false": 1540725,
+"explicit_conjecture_false": 79635,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/52e2d36.txt b/data/stat_history/52e2d36.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/52e2d36.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/530be11.txt b/data/stat_history/530be11.txt
new file mode 100644
index 000000000..2969c8938
--- /dev/null
+++ b/data/stat_history/530be11.txt
@@ -0,0 +1,5 @@
+{"unknown": 1120090,
+ "implicit_proof_true": 7063191,
+ "implicit_proof_false": 13243426,
+ "explicit_proof_true": 29248,
+ "explicit_proof_false": 605854}
diff --git a/data/stat_history/534ac2f.txt b/data/stat_history/534ac2f.txt
new file mode 100644
index 000000000..2c9928ffb
--- /dev/null
+++ b/data/stat_history/534ac2f.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147764,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 30515,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/5388f81.txt b/data/stat_history/5388f81.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/5388f81.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/54bce15.txt b/data/stat_history/54bce15.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/54bce15.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/551d1ac.txt b/data/stat_history/551d1ac.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/551d1ac.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/55fd2de.txt b/data/stat_history/55fd2de.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/55fd2de.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/57789ec.txt b/data/stat_history/57789ec.txt
new file mode 100644
index 000000000..c6d28c75d
--- /dev/null
+++ b/data/stat_history/57789ec.txt
@@ -0,0 +1,5 @@
+{"unknown": 29651,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268154,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581163}
diff --git a/data/stat_history/59ee360.txt b/data/stat_history/59ee360.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/59ee360.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/5a1c13f.txt b/data/stat_history/5a1c13f.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/5a1c13f.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/5aa86c8.txt b/data/stat_history/5aa86c8.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/5aa86c8.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/5bffc43.txt b/data/stat_history/5bffc43.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/5bffc43.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/5d02887.txt b/data/stat_history/5d02887.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/5d02887.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/5e30571.txt b/data/stat_history/5e30571.txt
new file mode 100644
index 000000000..0aa618bf2
--- /dev/null
+++ b/data/stat_history/5e30571.txt
@@ -0,0 +1,5 @@
+{"unknown": 21162,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275949,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581857}
diff --git a/data/stat_history/5e59409.txt b/data/stat_history/5e59409.txt
new file mode 100644
index 000000000..7a2851849
--- /dev/null
+++ b/data/stat_history/5e59409.txt
@@ -0,0 +1,10 @@
+{"explicit_proof_true": 23111,
+"implicit_proof_true": 5295920,
+"explicit_conjecture_true": 38949,
+"implicit_conjecture_true": 1223057,
+"unknown": 7999,
+"implicit_conjecture_false": 1540725,
+"explicit_conjecture_false": 79635,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/5e82e8e.txt b/data/stat_history/5e82e8e.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/5e82e8e.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/604b709.txt b/data/stat_history/604b709.txt
new file mode 100644
index 000000000..cec1b2380
--- /dev/null
+++ b/data/stat_history/604b709.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27803,
+"implicit_proof_true": 5294943,
+"unknown": 2886650,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/623c3e0.txt b/data/stat_history/623c3e0.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/623c3e0.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/636282c.txt b/data/stat_history/636282c.txt
new file mode 100644
index 000000000..2c9928ffb
--- /dev/null
+++ b/data/stat_history/636282c.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147764,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 30515,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/63d1594.txt b/data/stat_history/63d1594.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/63d1594.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/64137d3.txt b/data/stat_history/64137d3.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/64137d3.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/6469fb4.txt b/data/stat_history/6469fb4.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/6469fb4.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/679a681.txt b/data/stat_history/679a681.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/679a681.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/679dc5e.txt b/data/stat_history/679dc5e.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/679dc5e.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/67abc4f.txt b/data/stat_history/67abc4f.txt
new file mode 100644
index 000000000..6338357ef
--- /dev/null
+++ b/data/stat_history/67abc4f.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"unknown": 2890365,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/680ee99.txt b/data/stat_history/680ee99.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/680ee99.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/6891c5f.txt b/data/stat_history/6891c5f.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/6891c5f.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/6a6d708.txt b/data/stat_history/6a6d708.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/6a6d708.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/6b0a098.txt b/data/stat_history/6b0a098.txt
new file mode 100644
index 000000000..3c7880d4a
--- /dev/null
+++ b/data/stat_history/6b0a098.txt
@@ -0,0 +1,5 @@
+{"unknown": 29503,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268299,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581166}
diff --git a/data/stat_history/6b0de50.txt b/data/stat_history/6b0de50.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/6b0de50.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/6bb8055.txt b/data/stat_history/6bb8055.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/6bb8055.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/6c3419c.txt b/data/stat_history/6c3419c.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/6c3419c.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/6c3d4b0.txt b/data/stat_history/6c3d4b0.txt
new file mode 100644
index 000000000..6168c5233
--- /dev/null
+++ b/data/stat_history/6c3d4b0.txt
@@ -0,0 +1,10 @@
+{"explicit_proof_true": 27803,
+"implicit_proof_true": 5294943,
+"explicit_conjecture_true": 38938,
+"implicit_conjecture_true": 1222463,
+"unknown": 2826,
+"implicit_conjecture_false": 1542808,
+"explicit_conjecture_false": 79615,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/6d8816d.txt b/data/stat_history/6d8816d.txt
new file mode 100644
index 000000000..51293a71d
--- /dev/null
+++ b/data/stat_history/6d8816d.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28239,
+"implicit_proof_true": 5454927,
+"unknown": 2707562,
+"implicit_proof_false": 42,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/6e385e3.txt b/data/stat_history/6e385e3.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/6e385e3.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/6e869dc.txt b/data/stat_history/6e869dc.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/6e869dc.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/6ef4e49.txt b/data/stat_history/6ef4e49.txt
new file mode 100644
index 000000000..f539bd9eb
--- /dev/null
+++ b/data/stat_history/6ef4e49.txt
@@ -0,0 +1,7 @@
+{"unknown": 21116,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275949,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581857,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/71bc89b.txt b/data/stat_history/71bc89b.txt
new file mode 100644
index 000000000..2969c8938
--- /dev/null
+++ b/data/stat_history/71bc89b.txt
@@ -0,0 +1,5 @@
+{"unknown": 1120090,
+ "implicit_proof_true": 7063191,
+ "implicit_proof_false": 13243426,
+ "explicit_proof_true": 29248,
+ "explicit_proof_false": 605854}
diff --git a/data/stat_history/7325974.txt b/data/stat_history/7325974.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/7325974.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/7407ef2.txt b/data/stat_history/7407ef2.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/7407ef2.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/75b8b81.txt b/data/stat_history/75b8b81.txt
new file mode 100644
index 000000000..9d3612caf
--- /dev/null
+++ b/data/stat_history/75b8b81.txt
@@ -0,0 +1,7 @@
+{"unknown": 932,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272264,
+ "implicit_conjecture_false": 11,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582102,
+ "explicit_conjecture_false": 48}
diff --git a/data/stat_history/772488b.txt b/data/stat_history/772488b.txt
new file mode 100644
index 000000000..6338357ef
--- /dev/null
+++ b/data/stat_history/772488b.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"unknown": 2890365,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/77480d3.txt b/data/stat_history/77480d3.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/77480d3.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/78b431a.txt b/data/stat_history/78b431a.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/78b431a.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/793cc7f.txt b/data/stat_history/793cc7f.txt
new file mode 100644
index 000000000..3706dada9
--- /dev/null
+++ b/data/stat_history/793cc7f.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28264,
+"implicit_proof_true": 5457961,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/799c085.txt b/data/stat_history/799c085.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/799c085.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/7c916a1.txt b/data/stat_history/7c916a1.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/7c916a1.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/7d70653.txt b/data/stat_history/7d70653.txt
new file mode 100644
index 000000000..6338357ef
--- /dev/null
+++ b/data/stat_history/7d70653.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"unknown": 2890365,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/7d73c44.txt b/data/stat_history/7d73c44.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/7d73c44.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/7dd58db.txt b/data/stat_history/7dd58db.txt
new file mode 100644
index 000000000..aa3f3ad38
--- /dev/null
+++ b/data/stat_history/7dd58db.txt
@@ -0,0 +1,5 @@
+{"unknown": 21407,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581649}
diff --git a/data/stat_history/7e3442e.txt b/data/stat_history/7e3442e.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/7e3442e.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/7fbbe3b.txt b/data/stat_history/7fbbe3b.txt
new file mode 100644
index 000000000..3fd21c977
--- /dev/null
+++ b/data/stat_history/7fbbe3b.txt
@@ -0,0 +1,7 @@
+{"unknown": 932,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 55}
diff --git a/data/stat_history/8054662.txt b/data/stat_history/8054662.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/8054662.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/81bc942.txt b/data/stat_history/81bc942.txt
new file mode 100644
index 000000000..9d3612caf
--- /dev/null
+++ b/data/stat_history/81bc942.txt
@@ -0,0 +1,7 @@
+{"unknown": 932,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272264,
+ "implicit_conjecture_false": 11,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582102,
+ "explicit_conjecture_false": 48}
diff --git a/data/stat_history/824c22e.txt b/data/stat_history/824c22e.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/824c22e.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/82c114b.txt b/data/stat_history/82c114b.txt
new file mode 100644
index 000000000..7a2851849
--- /dev/null
+++ b/data/stat_history/82c114b.txt
@@ -0,0 +1,10 @@
+{"explicit_proof_true": 23111,
+"implicit_proof_true": 5295920,
+"explicit_conjecture_true": 38949,
+"implicit_conjecture_true": 1223057,
+"unknown": 7999,
+"implicit_conjecture_false": 1540725,
+"explicit_conjecture_false": 79635,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/83d4a21.txt b/data/stat_history/83d4a21.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/83d4a21.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/84313d5.txt b/data/stat_history/84313d5.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/84313d5.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/846395e.txt b/data/stat_history/846395e.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/846395e.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/84d123f.txt b/data/stat_history/84d123f.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/84d123f.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/84e7631.txt b/data/stat_history/84e7631.txt
new file mode 100644
index 000000000..3c7880d4a
--- /dev/null
+++ b/data/stat_history/84e7631.txt
@@ -0,0 +1,5 @@
+{"unknown": 29503,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268299,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581166}
diff --git a/data/stat_history/851d3ec.txt b/data/stat_history/851d3ec.txt
new file mode 100644
index 000000000..3fd21c977
--- /dev/null
+++ b/data/stat_history/851d3ec.txt
@@ -0,0 +1,7 @@
+{"unknown": 932,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 55}
diff --git a/data/stat_history/858d43a.txt b/data/stat_history/858d43a.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/858d43a.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/86bd918.txt b/data/stat_history/86bd918.txt
new file mode 100644
index 000000000..c6d28c75d
--- /dev/null
+++ b/data/stat_history/86bd918.txt
@@ -0,0 +1,5 @@
+{"unknown": 29651,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268154,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581163}
diff --git a/data/stat_history/878d576.txt b/data/stat_history/878d576.txt
new file mode 100644
index 000000000..b4f4d2d4c
--- /dev/null
+++ b/data/stat_history/878d576.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27810,
+"implicit_proof_true": 5299864,
+"unknown": 2881722,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/88064eb.txt b/data/stat_history/88064eb.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/88064eb.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/882dc92.txt b/data/stat_history/882dc92.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/882dc92.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/8b1ae99.txt b/data/stat_history/8b1ae99.txt
new file mode 100644
index 000000000..b4f4d2d4c
--- /dev/null
+++ b/data/stat_history/8b1ae99.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27810,
+"implicit_proof_true": 5299864,
+"unknown": 2881722,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/8b4ecbd.txt b/data/stat_history/8b4ecbd.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/8b4ecbd.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/8bed986.txt b/data/stat_history/8bed986.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/8bed986.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/8ddc4a0.txt b/data/stat_history/8ddc4a0.txt
new file mode 100644
index 000000000..60107a1e3
--- /dev/null
+++ b/data/stat_history/8ddc4a0.txt
@@ -0,0 +1,5 @@
+{"unknown": 21679,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275845,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581444}
diff --git a/data/stat_history/8e13420.txt b/data/stat_history/8e13420.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/8e13420.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/8ecfe5a.txt b/data/stat_history/8ecfe5a.txt
new file mode 100644
index 000000000..60107a1e3
--- /dev/null
+++ b/data/stat_history/8ecfe5a.txt
@@ -0,0 +1,5 @@
+{"unknown": 21679,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275845,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581444}
diff --git a/data/stat_history/90055c6.txt b/data/stat_history/90055c6.txt
new file mode 100644
index 000000000..d80acceb8
--- /dev/null
+++ b/data/stat_history/90055c6.txt
@@ -0,0 +1,5 @@
+{"unknown": 29313,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268109,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581546}
diff --git a/data/stat_history/90eb906.txt b/data/stat_history/90eb906.txt
new file mode 100644
index 000000000..2969c8938
--- /dev/null
+++ b/data/stat_history/90eb906.txt
@@ -0,0 +1,5 @@
+{"unknown": 1120090,
+ "implicit_proof_true": 7063191,
+ "implicit_proof_false": 13243426,
+ "explicit_proof_true": 29248,
+ "explicit_proof_false": 605854}
diff --git a/data/stat_history/9110dd7.txt b/data/stat_history/9110dd7.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/9110dd7.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/91df68f.txt b/data/stat_history/91df68f.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/91df68f.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/92d063b.txt b/data/stat_history/92d063b.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/92d063b.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/943dc9b.txt b/data/stat_history/943dc9b.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/943dc9b.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/94d07ef.txt b/data/stat_history/94d07ef.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/94d07ef.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/95f14e1.txt b/data/stat_history/95f14e1.txt
new file mode 100644
index 000000000..a228c3438
--- /dev/null
+++ b/data/stat_history/95f14e1.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27810,
+"implicit_proof_true": 5295170,
+"unknown": 2886416,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/960a414.txt b/data/stat_history/960a414.txt
new file mode 100644
index 000000000..2969c8938
--- /dev/null
+++ b/data/stat_history/960a414.txt
@@ -0,0 +1,5 @@
+{"unknown": 1120090,
+ "implicit_proof_true": 7063191,
+ "implicit_proof_false": 13243426,
+ "explicit_proof_true": 29248,
+ "explicit_proof_false": 605854}
diff --git a/data/stat_history/96e9c18.txt b/data/stat_history/96e9c18.txt
new file mode 100644
index 000000000..aa3f3ad38
--- /dev/null
+++ b/data/stat_history/96e9c18.txt
@@ -0,0 +1,5 @@
+{"unknown": 21407,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581649}
diff --git a/data/stat_history/9767075.txt b/data/stat_history/9767075.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/9767075.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/97dfcbd.txt b/data/stat_history/97dfcbd.txt
new file mode 100644
index 000000000..c6d28c75d
--- /dev/null
+++ b/data/stat_history/97dfcbd.txt
@@ -0,0 +1,5 @@
+{"unknown": 29651,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268154,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581163}
diff --git a/data/stat_history/9a402bb.txt b/data/stat_history/9a402bb.txt
new file mode 100644
index 000000000..c5b99d129
--- /dev/null
+++ b/data/stat_history/9a402bb.txt
@@ -0,0 +1,5 @@
+{"unknown": 21323,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275914,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581731}
diff --git a/data/stat_history/9ada53e.txt b/data/stat_history/9ada53e.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/9ada53e.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/9b898f5.txt b/data/stat_history/9b898f5.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/9b898f5.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/9bdec11.txt b/data/stat_history/9bdec11.txt
new file mode 100644
index 000000000..3c7880d4a
--- /dev/null
+++ b/data/stat_history/9bdec11.txt
@@ -0,0 +1,5 @@
+{"unknown": 29503,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268299,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581166}
diff --git a/data/stat_history/9c2302a.txt b/data/stat_history/9c2302a.txt
new file mode 100644
index 000000000..d80acceb8
--- /dev/null
+++ b/data/stat_history/9c2302a.txt
@@ -0,0 +1,5 @@
+{"unknown": 29313,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268109,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581546}
diff --git a/data/stat_history/9ca4390.txt b/data/stat_history/9ca4390.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/9ca4390.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/9e9f6f7.txt b/data/stat_history/9e9f6f7.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/9e9f6f7.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/9edd1c0.txt b/data/stat_history/9edd1c0.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/9edd1c0.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/a03ffcb.txt b/data/stat_history/a03ffcb.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/a03ffcb.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/a06c30b.txt b/data/stat_history/a06c30b.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/a06c30b.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/a1d2079.txt b/data/stat_history/a1d2079.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/a1d2079.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/a1eb2db.txt b/data/stat_history/a1eb2db.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/a1eb2db.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/a326d6d.txt b/data/stat_history/a326d6d.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/a326d6d.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/a3a1e16.txt b/data/stat_history/a3a1e16.txt
new file mode 100644
index 000000000..3c7880d4a
--- /dev/null
+++ b/data/stat_history/a3a1e16.txt
@@ -0,0 +1,5 @@
+{"unknown": 29503,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268299,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581166}
diff --git a/data/stat_history/a47e6bd.txt b/data/stat_history/a47e6bd.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/a47e6bd.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/a51f860.txt b/data/stat_history/a51f860.txt
new file mode 100644
index 000000000..51293a71d
--- /dev/null
+++ b/data/stat_history/a51f860.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28239,
+"implicit_proof_true": 5454927,
+"unknown": 2707562,
+"implicit_proof_false": 42,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/a9301dc.txt b/data/stat_history/a9301dc.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/a9301dc.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/aa110cf.txt b/data/stat_history/aa110cf.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/aa110cf.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/adc92cb.txt b/data/stat_history/adc92cb.txt
new file mode 100644
index 000000000..2c9928ffb
--- /dev/null
+++ b/data/stat_history/adc92cb.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147764,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 30515,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/b14d9b3.txt b/data/stat_history/b14d9b3.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/b14d9b3.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/b1aab6a.txt b/data/stat_history/b1aab6a.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/b1aab6a.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/b287fc3.txt b/data/stat_history/b287fc3.txt
new file mode 100644
index 000000000..d374eb1aa
--- /dev/null
+++ b/data/stat_history/b287fc3.txt
@@ -0,0 +1,5 @@
+{"unknown": 21411,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275918,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581639}
diff --git a/data/stat_history/b2eaa3e.txt b/data/stat_history/b2eaa3e.txt
new file mode 100644
index 000000000..03bed1967
--- /dev/null
+++ b/data/stat_history/b2eaa3e.txt
@@ -0,0 +1,7 @@
+{"unknown": 733,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582131,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/b470f79.txt b/data/stat_history/b470f79.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/b470f79.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/b4f717e.txt b/data/stat_history/b4f717e.txt
new file mode 100644
index 000000000..60107a1e3
--- /dev/null
+++ b/data/stat_history/b4f717e.txt
@@ -0,0 +1,5 @@
+{"unknown": 21679,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275845,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581444}
diff --git a/data/stat_history/b51aa7c.txt b/data/stat_history/b51aa7c.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/b51aa7c.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/b546bd1.txt b/data/stat_history/b546bd1.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/b546bd1.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/b5dc599.txt b/data/stat_history/b5dc599.txt
new file mode 100644
index 000000000..6338357ef
--- /dev/null
+++ b/data/stat_history/b5dc599.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"unknown": 2890365,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/b6373e8.txt b/data/stat_history/b6373e8.txt
new file mode 100644
index 000000000..60107a1e3
--- /dev/null
+++ b/data/stat_history/b6373e8.txt
@@ -0,0 +1,5 @@
+{"unknown": 21679,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275845,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581444}
diff --git a/data/stat_history/b8efafa.txt b/data/stat_history/b8efafa.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/b8efafa.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/b998dd8.txt b/data/stat_history/b998dd8.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/b998dd8.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/backfill_stats.py b/data/stat_history/backfill_stats.py
new file mode 100644
index 000000000..c61e7a8fc
--- /dev/null
+++ b/data/stat_history/backfill_stats.py
@@ -0,0 +1,55 @@
+import os
+import subprocess
+
+# Function to read commit IDs from a file
+def load_commit_ids(file_path):
+    commits = []
+    with open(file_path, 'r') as file:
+        for line in file:
+            # Extract the first part of the line (the commit ID)
+            commit_id = line.split()[0]
+            commits.append(commit_id)
+    return commits
+
+# Function to run a command and capture its output
+def run_command(command):
+    result = subprocess.run(command, shell=True, capture_output=True, text=True)
+    return result.stdout, result.stderr
+
+# Load commits from the file 'commits.txt'
+commit_file = 'order2'
+commits = load_commit_ids(commit_file)
+
+# Loop through each commit
+for commit in commits:
+    # Checkout to the specific commit
+    print(f"Checking out commit {commit}...")
+    checkout_cmd = f"git checkout --force {commit}"
+    stdout, stderr = run_command(checkout_cmd)
+    
+    # Run the lake build command
+    print("Running 'lake build'...")
+    build_cmd = "lake build"
+    stdout, stderr = run_command(build_cmd)
+    
+    if stderr:
+        print(f"Error during 'lake build' for commit {commit}: {stderr}")
+        continue
+
+    # Run the lake exe command and save the output
+    print("Running 'lake exe extract_implications outcomes --hist'...")
+    exe_cmd = "lake exe extract_implications outcomes --hist"
+    stdout, stderr = run_command(exe_cmd)
+    
+    if stderr:
+        print(f"Error during 'lake exe extract_implications outcomes --hist' for commit {commit}: {stderr}")
+        continue
+
+    # Save the output to a file named after the commit
+    output_file = f"{commit}.txt"
+    with open(output_file, 'w') as f:
+        f.write(stdout)
+
+    print(f"Output saved to {output_file}")
+
+print("All commits processed.")
diff --git a/data/stat_history/bbd46df.txt b/data/stat_history/bbd46df.txt
new file mode 100644
index 000000000..c6d28c75d
--- /dev/null
+++ b/data/stat_history/bbd46df.txt
@@ -0,0 +1,5 @@
+{"unknown": 29651,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268154,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581163}
diff --git a/data/stat_history/bbd4f36.txt b/data/stat_history/bbd4f36.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/bbd4f36.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/bd38c5f.txt b/data/stat_history/bd38c5f.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/bd38c5f.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/bda22e4.txt b/data/stat_history/bda22e4.txt
new file mode 100644
index 000000000..6338357ef
--- /dev/null
+++ b/data/stat_history/bda22e4.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"unknown": 2890365,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/be362a7.txt b/data/stat_history/be362a7.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/be362a7.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/be47f3e.txt b/data/stat_history/be47f3e.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/be47f3e.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/bec31a3.txt b/data/stat_history/bec31a3.txt
new file mode 100644
index 000000000..d374eb1aa
--- /dev/null
+++ b/data/stat_history/bec31a3.txt
@@ -0,0 +1,5 @@
+{"unknown": 21411,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275918,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581639}
diff --git a/data/stat_history/bf376c8.txt b/data/stat_history/bf376c8.txt
new file mode 100644
index 000000000..ca53e28a9
--- /dev/null
+++ b/data/stat_history/bf376c8.txt
@@ -0,0 +1,7 @@
+{"unknown": 741,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272271,
+ "implicit_conjecture_false": 15,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582104,
+ "explicit_conjecture_false": 226}
diff --git a/data/stat_history/bf6c691.txt b/data/stat_history/bf6c691.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/bf6c691.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/c01a91f.txt b/data/stat_history/c01a91f.txt
new file mode 100644
index 000000000..563af0bcd
--- /dev/null
+++ b/data/stat_history/c01a91f.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"unknown": 2890365,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607,
+}
diff --git a/data/stat_history/c0fc978.txt b/data/stat_history/c0fc978.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/c0fc978.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/c172a9e.txt b/data/stat_history/c172a9e.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/c172a9e.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/c2b92b1.txt b/data/stat_history/c2b92b1.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/c2b92b1.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/c3707d2.txt b/data/stat_history/c3707d2.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/c3707d2.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/c3bf4ac.txt b/data/stat_history/c3bf4ac.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/c3bf4ac.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/c3d8575.txt b/data/stat_history/c3d8575.txt
new file mode 100644
index 000000000..9d3612caf
--- /dev/null
+++ b/data/stat_history/c3d8575.txt
@@ -0,0 +1,7 @@
+{"unknown": 932,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272264,
+ "implicit_conjecture_false": 11,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582102,
+ "explicit_conjecture_false": 48}
diff --git a/data/stat_history/c5a903f.txt b/data/stat_history/c5a903f.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/c5a903f.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/c68087c.txt b/data/stat_history/c68087c.txt
new file mode 100644
index 000000000..c6d28c75d
--- /dev/null
+++ b/data/stat_history/c68087c.txt
@@ -0,0 +1,5 @@
+{"unknown": 29651,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268154,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581163}
diff --git a/data/stat_history/c8bbb8d.txt b/data/stat_history/c8bbb8d.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/c8bbb8d.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/c8eb843.txt b/data/stat_history/c8eb843.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/c8eb843.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/ca6a36a.txt b/data/stat_history/ca6a36a.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/ca6a36a.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/cab1423.txt b/data/stat_history/cab1423.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/cab1423.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/ccc41d1.txt b/data/stat_history/ccc41d1.txt
new file mode 100644
index 000000000..4c4e37ce9
--- /dev/null
+++ b/data/stat_history/ccc41d1.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274799,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582443}
diff --git a/data/stat_history/cd63f18.txt b/data/stat_history/cd63f18.txt
new file mode 100644
index 000000000..c6d28c75d
--- /dev/null
+++ b/data/stat_history/cd63f18.txt
@@ -0,0 +1,5 @@
+{"unknown": 29651,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268154,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581163}
diff --git a/data/stat_history/cdab4ea.txt b/data/stat_history/cdab4ea.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/cdab4ea.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/cf97f57.txt b/data/stat_history/cf97f57.txt
new file mode 100644
index 000000000..03bed1967
--- /dev/null
+++ b/data/stat_history/cf97f57.txt
@@ -0,0 +1,7 @@
+{"unknown": 733,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582131,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/d0975a7.txt b/data/stat_history/d0975a7.txt
new file mode 100644
index 000000000..e2667fc7a
--- /dev/null
+++ b/data/stat_history/d0975a7.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/d138c4e.txt b/data/stat_history/d138c4e.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/d138c4e.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/d22688a.txt b/data/stat_history/d22688a.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/d22688a.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/d36b5cc.txt b/data/stat_history/d36b5cc.txt
new file mode 100644
index 000000000..3fd21c977
--- /dev/null
+++ b/data/stat_history/d36b5cc.txt
@@ -0,0 +1,7 @@
+{"unknown": 932,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 55}
diff --git a/data/stat_history/d4b4118.txt b/data/stat_history/d4b4118.txt
new file mode 100644
index 000000000..c5b99d129
--- /dev/null
+++ b/data/stat_history/d4b4118.txt
@@ -0,0 +1,5 @@
+{"unknown": 21323,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275914,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581731}
diff --git a/data/stat_history/d58d808.txt b/data/stat_history/d58d808.txt
new file mode 100644
index 000000000..2c9928ffb
--- /dev/null
+++ b/data/stat_history/d58d808.txt
@@ -0,0 +1,7 @@
+{"unknown": 732,
+ "implicit_proof_true": 8147764,
+ "implicit_proof_false": 13272284,
+ "implicit_conjecture_false": 12,
+ "explicit_proof_true": 30515,
+ "explicit_proof_false": 582132,
+ "explicit_conjecture_false": 197}
diff --git a/data/stat_history/d61b690.txt b/data/stat_history/d61b690.txt
new file mode 100644
index 000000000..a67bfb290
--- /dev/null
+++ b/data/stat_history/d61b690.txt
@@ -0,0 +1,5 @@
+{"unknown": 21319,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275885,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581764}
diff --git a/data/stat_history/d62e043.txt b/data/stat_history/d62e043.txt
new file mode 100644
index 000000000..7a2851849
--- /dev/null
+++ b/data/stat_history/d62e043.txt
@@ -0,0 +1,10 @@
+{"explicit_proof_true": 23111,
+"implicit_proof_true": 5295920,
+"explicit_conjecture_true": 38949,
+"implicit_conjecture_true": 1223057,
+"unknown": 7999,
+"implicit_conjecture_false": 1540725,
+"explicit_conjecture_false": 79635,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/d6695c1.txt b/data/stat_history/d6695c1.txt
new file mode 100644
index 000000000..3c7880d4a
--- /dev/null
+++ b/data/stat_history/d6695c1.txt
@@ -0,0 +1,5 @@
+{"unknown": 29503,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268299,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581166}
diff --git a/data/stat_history/d8b60e3.txt b/data/stat_history/d8b60e3.txt
new file mode 100644
index 000000000..3c7880d4a
--- /dev/null
+++ b/data/stat_history/d8b60e3.txt
@@ -0,0 +1,5 @@
+{"unknown": 29503,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13268299,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581166}
diff --git a/data/stat_history/d99988d.txt b/data/stat_history/d99988d.txt
new file mode 100644
index 000000000..1ef6ebc45
--- /dev/null
+++ b/data/stat_history/d99988d.txt
@@ -0,0 +1,5 @@
+{"unknown": 29682,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13243431,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 605855}
diff --git a/data/stat_history/dac82d9.txt b/data/stat_history/dac82d9.txt
new file mode 100644
index 000000000..c60781304
--- /dev/null
+++ b/data/stat_history/dac82d9.txt
@@ -0,0 +1,5 @@
+{"unknown": 29688,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13243426,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 605854}
diff --git a/data/stat_history/dd791fe.txt b/data/stat_history/dd791fe.txt
new file mode 100644
index 000000000..6338357ef
--- /dev/null
+++ b/data/stat_history/dd791fe.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"unknown": 2890365,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/dee88db.txt b/data/stat_history/dee88db.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/dee88db.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/dfe556a.txt b/data/stat_history/dfe556a.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/dfe556a.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/e1a75b5.txt b/data/stat_history/e1a75b5.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/e1a75b5.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/e3aee7b.txt b/data/stat_history/e3aee7b.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/e3aee7b.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/e3d1cf4.txt b/data/stat_history/e3d1cf4.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/e3d1cf4.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/e4cdaf1.txt b/data/stat_history/e4cdaf1.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/e4cdaf1.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/e5d4241.txt b/data/stat_history/e5d4241.txt
new file mode 100644
index 000000000..51293a71d
--- /dev/null
+++ b/data/stat_history/e5d4241.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28239,
+"implicit_proof_true": 5454927,
+"unknown": 2707562,
+"implicit_proof_false": 42,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/e864ee9.txt b/data/stat_history/e864ee9.txt
new file mode 100644
index 000000000..ca53e28a9
--- /dev/null
+++ b/data/stat_history/e864ee9.txt
@@ -0,0 +1,7 @@
+{"unknown": 741,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272271,
+ "implicit_conjecture_false": 15,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582104,
+ "explicit_conjecture_false": 226}
diff --git a/data/stat_history/e8c08c4.txt b/data/stat_history/e8c08c4.txt
new file mode 100644
index 000000000..563af0bcd
--- /dev/null
+++ b/data/stat_history/e8c08c4.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 23109,
+"implicit_proof_true": 5295922,
+"unknown": 2890365,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607,
+}
diff --git a/data/stat_history/ea6e617.txt b/data/stat_history/ea6e617.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/ea6e617.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/ec402a6.txt b/data/stat_history/ec402a6.txt
new file mode 100644
index 000000000..c5b99d129
--- /dev/null
+++ b/data/stat_history/ec402a6.txt
@@ -0,0 +1,5 @@
+{"unknown": 21323,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275914,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581731}
diff --git a/data/stat_history/f20bcd0.txt b/data/stat_history/f20bcd0.txt
new file mode 100644
index 000000000..21deaae25
--- /dev/null
+++ b/data/stat_history/f20bcd0.txt
@@ -0,0 +1,5 @@
+{"unknown": 21726,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13274797,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 582445}
diff --git a/data/stat_history/f3df951.txt b/data/stat_history/f3df951.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/f3df951.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/f49ece0.txt b/data/stat_history/f49ece0.txt
new file mode 100644
index 000000000..4a0c0ebd0
--- /dev/null
+++ b/data/stat_history/f49ece0.txt
@@ -0,0 +1,7 @@
+{"unknown": 955,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582094,
+ "explicit_conjecture_false": 36}
diff --git a/data/stat_history/f4ec9f2.txt b/data/stat_history/f4ec9f2.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/f4ec9f2.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/f5378ff.txt b/data/stat_history/f5378ff.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/f5378ff.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/f590767.txt b/data/stat_history/f590767.txt
new file mode 100644
index 000000000..4985d40e3
--- /dev/null
+++ b/data/stat_history/f590767.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 29248,
+"implicit_proof_true": 7063191,
+"unknown": 1120090,
+"implicit_proof_false": 13243426,
+"explicit_proof_false": 605854
+}
diff --git a/data/stat_history/f63f8d0.txt b/data/stat_history/f63f8d0.txt
new file mode 100644
index 000000000..c5b99d129
--- /dev/null
+++ b/data/stat_history/f63f8d0.txt
@@ -0,0 +1,5 @@
+{"unknown": 21323,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275914,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581731}
diff --git a/data/stat_history/f6a209e.txt b/data/stat_history/f6a209e.txt
new file mode 100644
index 000000000..9d3612caf
--- /dev/null
+++ b/data/stat_history/f6a209e.txt
@@ -0,0 +1,7 @@
+{"unknown": 932,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272264,
+ "implicit_conjecture_false": 11,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582102,
+ "explicit_conjecture_false": 48}
diff --git a/data/stat_history/f8adedf.txt b/data/stat_history/f8adedf.txt
new file mode 100644
index 000000000..b4f4d2d4c
--- /dev/null
+++ b/data/stat_history/f8adedf.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 27810,
+"implicit_proof_true": 5299864,
+"unknown": 2881722,
+"implicit_proof_false": 12994633,
+"explicit_proof_false": 829607
+}
diff --git a/data/stat_history/f91b4f2.txt b/data/stat_history/f91b4f2.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/f91b4f2.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/f9a1686.txt b/data/stat_history/f9a1686.txt
new file mode 100644
index 000000000..d374eb1aa
--- /dev/null
+++ b/data/stat_history/f9a1686.txt
@@ -0,0 +1,5 @@
+{"unknown": 21411,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275918,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581639}
diff --git a/data/stat_history/f9b97e9.txt b/data/stat_history/f9b97e9.txt
new file mode 100644
index 000000000..76c2a2b33
--- /dev/null
+++ b/data/stat_history/f9b97e9.txt
@@ -0,0 +1,5 @@
+{"unknown": 21409,
+ "implicit_proof_true": 8151818,
+ "implicit_proof_false": 13275912,
+ "explicit_proof_true": 31023,
+ "explicit_proof_false": 581647}
diff --git a/data/stat_history/fc480c4.txt b/data/stat_history/fc480c4.txt
new file mode 100644
index 000000000..dd246442f
--- /dev/null
+++ b/data/stat_history/fc480c4.txt
@@ -0,0 +1,7 @@
+{"unknown": 954,
+ "implicit_proof_true": 8147260,
+ "implicit_proof_false": 13272262,
+ "implicit_conjecture_false": 10,
+ "explicit_proof_true": 31019,
+ "explicit_proof_false": 582096,
+ "explicit_conjecture_false": 35}
diff --git a/data/stat_history/fc96237.txt b/data/stat_history/fc96237.txt
new file mode 100644
index 000000000..4d2a62f2e
--- /dev/null
+++ b/data/stat_history/fc96237.txt
@@ -0,0 +1,6 @@
+{"explicit_proof_true": 28263,
+"implicit_proof_true": 5457962,
+"unknown": 2729196,
+"implicit_proof_false": 3522,
+"explicit_proof_false": 13842866
+}
diff --git a/data/stat_history/fe88e4f.txt b/data/stat_history/fe88e4f.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/fe88e4f.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from
diff --git a/data/stat_history/fe8966e.txt b/data/stat_history/fe8966e.txt
new file mode 100644
index 000000000..a4dc0b41d
--- /dev/null
+++ b/data/stat_history/fe8966e.txt
@@ -0,0 +1,12 @@
+extract_implications outcomes
+Output the status of all implications.
+
+USAGE:
+    extract_implications outcomes [FLAGS] <files>...
+
+FLAGS:
+    -h, --help  Prints this message.
+    --hist      Create a histogram instead of outputting all outcomes
+
+ARGS:
+    files : Array ModuleName  The files to extract the implications from