IDENTICAL check_note.py   vs  check_note_output.txt  (32 lines new, 32 recorded)
    stderr: (running time 23 s)
IDENTICAL check_constants.py   vs  original/check_constants.out  (11 lines new, 11 recorded)
IDENTICAL check_constants.py   vs  verification_run_A/rerun_claim_check_constants.out  (11 lines new, 11 recorded)
IDENTICAL check_constants.py   vs  verification_run_B/rerun_check_constants.out  (11 lines new, 11 recorded)
IDENTICAL check_lemma1_d1.py   vs  original/check_lemma1_d1.out  (64 lines new, 64 recorded)
IDENTICAL check_lemma1_d1.py   vs  verification_run_A/rerun_claim_check_lemma1_d1.out  (64 lines new, 64 recorded)
IDENTICAL check_lemma1_d1.py   vs  verification_run_B/rerun_check_lemma1_d1.out  (64 lines new, 64 recorded)
IDENTICAL check_A.py   vs  verification_run_A/check_A.out  (13 lines new, 13 recorded)
IDENTICAL check_B.py   vs  verification_run_A/check_B.out  (14 lines new, 14 recorded)
IDENTICAL own_lemma1_d1.py 11 150 / 12 150 / 21 80 noV2 / 21 80 thr78 / 21 80 Lsmall / 21 80 normsmall / 21 80 m0 / 21 80 Lsmall64  vs  verification_run_B/own_lemma1_d1.out  (40 lines new, 40 recorded)
IDENTICAL own_lemma1_d2.py 31 70 / 32 70 / 33 70 / 41 60 noV2 / 41 60 m0  vs  verification_run_B/own_lemma1_d2.out  (20 lines new, 20 recorded)
IDENTICAL own_vitali_maxfn.py 5 ok / 6 ok / 7 ok / 8 eccentric / 9 wrongnorm  vs  verification_run_B/own_vitali_maxfn.out  (30 lines new, 30 recorded)
DIFFERENT own_thmB.py 1 ok / 2 ok / 3 closed / 3 noparent / 3 Mhalf / 4 noTprime  vs  verification_run_B/own_thmB.out  (48 lines new, 42 recorded)
    --- recorded
    +++ rerun
    @@ -41,0 +42,5 @@
    +Lemma9 (a): max over k<12, 1<=j<12 of 2^J int P_kj = 0.0553841 (claim < 1); failures 0
    +Lemma9 (b): max_n ||p_(n+1)-p_n||_1 / 2^-n = 0.00346182 (n <= 23); failures 0
    +Lemma9 (c): p_n(r_k) >= n+1-k for k<6, n in k+{0,3,8,15}: failures 0
    +Lemma9 (d): avg of p_20 over [r_k, r_k+s] vs claimed lower bound: k=0: 2^-2:0.06342(>= 0/2), 2^-8:1.484(>= 1/2), 2^-14:3.484(>= 3/2), 2^-20:5.484(>= 5/2), 2^-26:7.484(>= 7/2), 2^-32:9.484(>= 9/2), 2^-38:11.48(>= 11/2), 2^-44:13.48(>= 13/2) || k=2: 2^-2:0.001005(>= 0/2), 2^-8:0.0633(>= 0/2), 2^-14:1.484(>= 1/2), 2^-20:3.484(>= 3/2), 2^-26:5.484(>= 5/2), 2^-32:7.484(>= 7/2), 2^-38:9.484(>= 9/2), 2^-44:11.48(>= 11/2) || k=3: 2^-2:0.001113(>= 0/2), 2^-8:0.007913(>= 0/2), 2^-14:0.5043(>= 0/2), 2^-20:2.484(>= 2/2), 2^-26:4.484(>= 4/2), 2^-32:6.484(>= 6/2), 2^-38:8.484(>= 8/2), 2^-44:10.48(>= 10/2) || k=5: 2^-2:0.0002494(>= 0/2), 2^-8:0.0001236(>= 0/2), 2^-14:0.007913(>= 0/2), 2^-20:0.5043(>= 0/2), 2^-26:2.484(>= 2/2), 2^-32:4.484(>= 4/2), 2^-38:6.484(>= 6/2), 2^-44:8.484(>= 8/2) ; failures 0
    +Lemma9 (e): p_12 at 1/3, 2/7, 5/11 = ['3.01487e-210', '3.27576e-152', '1.96831e-412'] (bounded, not needed by the claim)
    @@ -42,0 +48 @@
    +ALL CHECKS PASSED True
IDENTICAL own_located.py 1 ok / 2 ok / 3 badtail  vs  verification_run_B/own_located.out  (12 lines new, 12 recorded)
SOME DIFFERENCES (see above)
