# Verifier B: re-run of the claim's scripts from a scratch copy (python -I), compared with the claim's saved outputs (timing fields ignored).
param_check.py exit=0 1s
m1_exact.py exit=0 4s
m1_alpha3_modp.py exit=0 2s
m2 1000039 exit=0 24s
m2 1000303 exit=0 13s
m3 exit=0 16s
ALLDONE

== m1_exact_output.txt: diff (re-run < , saved >):
   identical
== m1_alpha3_modp_output.txt: diff (re-run < , saved >):
   identical
== m2_modp_output_p1000039.txt: diff (re-run < , saved >):
21,29c21,27
< (4) t=44: #monomials=1035, #conditions=1221, rank mod p=1035, h^1 mod p = 186   [5s]
< (4) t=45: #monomials=1081, #conditions=1221, rank mod p=1078, h^1 mod p = 143   [7s]
< (4) t=46: #monomials=1128, #conditions=1221, rank mod p=1119, h^1 mod p = 102   [9s]
< (4) t=47: #monomials=1176, #conditions=1221, rank mod p=1158, h^1 mod p = 63   [11s]
< (4) t=48: #monomials=1225, #conditions=1221, rank mod p=1186, h^1 mod p = 35   [14s]
< (4) t=49: #monomials=1275, #conditions=1221, rank mod p=1203, h^1 mod p = 18   [16s]
< (4) t=50: #monomials=1326, #conditions=1221, rank mod p=1218, h^1 mod p = 3   [19s]
< (4) t=51: #monomials=1378, #conditions=1221, rank mod p=1221, h^1 mod p = 0   [21s]
< (4) t=52: #monomials=1431, #conditions=1221, rank mod p=1221, h^1 mod p = 0   [24s]
---
> (4) t=46: #monomials=1128, #conditions=1221, rank mod p=1119, h^1 mod p = 102   [5s]
> (4) t=47: #monomials=1176, #conditions=1221, rank mod p=1158, h^1 mod p = 63   [7s]
> (4) t=48: #monomials=1225, #conditions=1221, rank mod p=1186, h^1 mod p = 35   [9s]
> (4) t=49: #monomials=1275, #conditions=1221, rank mod p=1203, h^1 mod p = 18   [11s]
> (4) t=50: #monomials=1326, #conditions=1221, rank mod p=1218, h^1 mod p = 3   [14s]
> (4) t=51: #monomials=1378, #conditions=1221, rank mod p=1221, h^1 mod p = 0   [16s]
> (4) t=52: #monomials=1431, #conditions=1221, rank mod p=1221, h^1 mod p = 0   [18s]
== m2_modp_output_p1000303.txt: diff (re-run < , saved >):
   identical
== param_check_output.txt: diff (re-run < , saved >):
   identical
== m3_modp_output.txt: diff (re-run < , saved >):
   identical
