(a) tex
  PASS FULL_PROOF.tex: 0ec0a1e2 + 9 substitutions == 14777fb4 (9807 -> 9809 lines)
  PASS front.tex: 5bf6c26c + 6 substitutions == 9e41564b (599 -> 601 lines)
  PASS back.tex: 3ced08eb + 2 substitutions == 9938892b (1156 -> 1156 lines)
  PASS ch08_c15.tex: d234dbf5 + 1 substitutions == a21f5bc9 (145 -> 145 lines)
  store RQ-A/full_proof/ at run time (information only):
    back.tex                           expected 9938892b store 9938892b same
    ch07_u.tex                         expected dfc4de2a store dfc4de2a same
    ch08_c15.tex                       expected a21f5bc9 store a21f5bc9 same
    ch10_supp_lemmaD.tex               expected 1976c80f store 1976c80f same
    ch10_supp_lemmaE.tex               expected fefa88ae store fefa88ae same
    ch10_supp_verifier.tex             expected bb3c1cd2 store bb3c1cd2 same
    front.tex                          expected 9e41564b store 9e41564b same
    preamble.tex                       expected 4755d7a0 store 4755d7a0 same
    heads/ch01.tex                     expected b034ff9d store b034ff9d same
    heads/ch02.tex                     expected 00f6f5a8 store 00f6f5a8 same
    heads/ch03.tex                     expected 53ff3b50 store 53ff3b50 same
    heads/ch04.tex                     expected d2a9b28b store d2a9b28b same
    heads/ch05.tex                     expected d473ccd7 store d473ccd7 same
    heads/ch06.tex                     expected 93ba6413 store 93ba6413 same
    heads/ch07.tex                     expected 7a59a5d3 store 7a59a5d3 same
    heads/ch09.tex                     expected 76ec11c9 store 76ec11c9 same
    heads/ch10.tex                     expected 0655e83f store 0655e83f same
    sources/RQA_CLAIMS.md              expected 67c3f27b store 67c3f27b same
    sources/RQB_MAIN_RESULT.md         expected b47f2945 store b47f2945 same
    sources/RQB_MAIN_RESULT.tex        expected e4193842 store e4193842 same
    sources/RQC_CLAIMS.md              expected 4b1e22a4 store 4b1e22a4 same
    sources/RQD_MAIN_RESULT.tex        expected ac0ecf4f store ac0ecf4f same
    sources/RQD_MAIN_RESULT_refereed.tex expected 212c6f23 store 212c6f23 same
    sources/RQREF3_REFEREE.md          expected 6ac713c0 store 6ac713c0 same
    FULL_PROOF.tex                     expected 14777fb4 store 14777fb4 same
    FULL_PROOF.pdf                     expected 21fe1613 store 21fe1613 same

(b) PDF
  PASS pages: 192 (pdftotext pages old 192, new 192)
  PASS every page equals the delivered page with the substitutions applied (193 pdftotext pages, 0 mismatches)
  PASS page labels unchanged on all pages
  pages that differ at all (physical, label): 7 (vi), 8 (vii), 11 (x), 16 (xv), 136 (119), 174 (157), 183 (166)
  substitution -> page: 'OR of k bits. (This' p[7]; 'part (b) of each of Theo' p[8]; '0.133975 . . .' p[11]; '0.105573 . . .' p[11]; '0.147929 . . .' p[11]; '1.0046 . . .' p[16]; '1.5759927 . . .' p[136]; 'finishing at 23:33 UTC' p[174]; 'finished 23:33)' p[183]
  PASS '??' in the corrected PDF: 0

(c) corrected f1 sentence (exact rationals)
  PASS D(OR_k) = k(1-q)^(2k-2) and D(AND_k) = k q^(2k-2) by enumeration of {0,1}^k, k <= 6, q in 1/7, 1/2, 3/5, 9/10
  PASS on 403 rationals q (n/400 and four convergents of 1/sqrt2 from both sides), at every maximising k: the OR attains the maximum if q <= 1/2, the AND if q >= 1/2; exceptions []
  PASS control: the delivered wording (OR at every q) fails at 119 grid points, exactly those with q > 1/sqrt2 (smallest 169/239)

(d) re-runs of a41a-a41e and a41g on the corrected version
  (the diffs below are the committed output, '-', against the re-run, '+'; the first 40 lines of each)
  PASS a41a_faithful.py (md5 55d1adf9, unchanged; 1 path/map substitution(s) at run time); exit 0; 110 output lines differ from the committed output
      tail| editorial insertions inside source blocks: 34
      tail| hunks or checks needing inspection: 0
      tail| A41A_PASS
      -FULL_PROOF.tex md5 0ec0a1e23799bfcf7714b2032b0f28de, 9807 lines, 13 source blocks
      +FULL_PROOF.tex md5 14777fb49609ceb03bf5b14f8a9749f5, 9809 lines, 13 source blocks
      -BLOCK 1: MAIN -> Chapter 1 (FULL_PROOF lines 697-1321); md5 38b69350 OK
      -  editorial insertions removed: 2 (ednote@1256, ednote@1320)
      -    ednote       line 1256: ...$|\alpha|_2=1$. Reduce as in Section 2[[\ednote{Section~2 of the source paper, that is, Se ...]] to $a=\alpha_1=\max|\alpha_i|>0$. If $a=1$ t...
      -    ednote       line 1320: ...and $\kappa_3B_0-4c_4\ge6.1\cdot10^{-3}$.[[\ednote{The refereed text (\texttt{MAIN\_RESULT.te ...]]...
      +BLOCK 1: MAIN -> Chapter 1 (FULL_PROOF lines 699-1323); md5 38b69350 OK
      +  editorial insertions removed: 2 (ednote@1258, ednote@1322)
      +    ednote       line 1258: ...$|\alpha|_2=1$. Reduce as in Section 2[[\ednote{Section~2 of the source paper, that is, Se ...]] to $a=\alpha_1=\max|\alpha_i|>0$. If $a=1$ t...
      +    ednote       line 1322: ...and $\kappa_3B_0-4c_4\ge6.1\cdot10^{-3}$.[[\ednote{The refereed text (\texttt{MAIN\_RESULT.te ...]]...
      -BLOCK 2: K2 -> Chapter 2 (FULL_PROOF lines 1340-2082); md5 280e80ed OK
      +BLOCK 2: K2 -> Chapter 2 (FULL_PROOF lines 1342-2084); md5 280e80ed OK
      -BLOCK 3: K3 -> Chapter 3 (FULL_PROOF lines 2101-2900); md5 00720a0c OK
      +BLOCK 3: K3 -> Chapter 3 (FULL_PROOF lines 2103-2902); md5 00720a0c OK
      -BLOCK 4: K3B -> Chapter 4 (FULL_PROOF lines 2920-4018); md5 efa33947 OK
      +BLOCK 4: K3B -> Chapter 4 (FULL_PROOF lines 2922-4020); md5 efa33947 OK
      -BLOCK 5: K4 -> Chapter 5 (FULL_PROOF lines 4039-5421); md5 01d91659 OK
      +BLOCK 5: K4 -> Chapter 5 (FULL_PROOF lines 4041-5423); md5 01d91659 OK
      -BLOCK 6: K5 -> Chapter 6 (FULL_PROOF lines 5441-6761); md5 bc42dd0f OK
      +BLOCK 6: K5 -> Chapter 6 (FULL_PROOF lines 5443-6763); md5 bc42dd0f OK
      -BLOCK 7: RQB -> Chapter 7, P1 (FULL_PROOF lines 6804-6834); md5 e4193842 OK
      -  editorial insertions removed: 3 (srctag@6814, srctag@6825, srctag@6829)
      -    srctag       line 6814: ...orov measures and $\Rid$]\label{ch07:def:Rid}[[\srctag{RQ-B tex Definition 1.1} ...]]...
      -    srctag       line 6825: ...main conjecture in the regime]\label{ch07:c0}[[\srctag{RQ-B tex Conjecture 1.2} ...]]...
      -    srctag       line 6829: ...visible Khintchine inequality]\label{ch07:c5}[[\srctag{RQ-B tex Conjecture 1.3} ...]]...
      +BLOCK 7: RQB -> Chapter 7, P1 (FULL_PROOF lines 6806-6836); md5 e4193842 OK
      +  editorial insertions removed: 3 (srctag@6816, srctag@6827, srctag@6831)
      +    srctag       line 6816: ...orov measures and $\Rid$]\label{ch07:def:Rid}[[\srctag{RQ-B tex Definition 1.1} ...]]...
      +    srctag       line 6827: ...main conjecture in the regime]\label{ch07:c0}[[\srctag{RQ-B tex Conjecture 1.2} ...]]...
      +    srctag       line 6831: ...visible Khintchine inequality]\label{ch07:c5}[[\srctag{RQ-B tex Conjecture 1.3} ...]]...
      -BLOCK 8: RQB -> Chapter 7, P2 (FULL_PROOF lines 6838-6861); md5 e4193842 OK
      -  editorial insertions removed: 1 (srctag@6841)
      -    srctag       line 6841: ...\begin{theorem}\label{ch07:thm:equal}[[\srctag{RQ-B tex Theorem 2.1; md Theorem 1} ...]]...
      +BLOCK 8: RQB -> Chapter 7, P2 (FULL_PROOF lines 6840-6863); md5 e4193842 OK
      +  editorial insertions removed: 1 (srctag@6843)
      +    srctag       line 6843: ...\begin{theorem}\label{ch07:thm:equal}[[\srctag{RQ-B tex Theorem 2.1; md Theorem 1} ...]]...
      -BLOCK 9: RQB -> Chapter 7, P3 (FULL_PROOF lines 6865-6872); md5 e4193842 OK
      +BLOCK 9: RQB -> Chapter 7, P3 (FULL_PROOF lines 6867-6874); md5 e4193842 OK
      -BLOCK 10: RQB -> Chapter 7, P4 (FULL_PROOF lines 6876-7040); md5 e4193842 OK
      -  editorial insertions removed: 9 (srctag@6882, srctag@6895, srctag@6920, srctag@6924, ednote@6952, srctag@6957, srctag@7022, ednote@7036, ednote@7037)
      ... 70 more
  PASS a41b_numbering.py (md5 fd621c74, unchanged; 1 path/map substitution(s) at run time); exit 0; 44 output lines differ from the committed output
      tail| PASS rewritten reference \ref{sec:fail}: printed as Section 11; replay ('Section', '11', 867); PDF agrees
      tail| PASS rewritten reference \ref{thm:cond}: printed as Theorem 6.1; replay ('Theorem', '6.1', 378); PDF agrees
      tail| A41B_PASS
      -PASS tag@6802 RQ-B tex Section 1 ``Setting, notation, and summary'', without the sum -> tex Section 1 "Setting, notation, and summary}" (by replay)
      -PASS tag@6814 label (no source label; begin line occurs 1 time(s) in RQ-B tex; block offset gives line 69) tex Definition 1.1 (replay: Definition 1.1, line 69); PDF line garbled by pdftotext
      -PASS tag@6825 label c0               tex Conjecture 1.2 (replay: Conjecture 1.2, line 80); PDF prints it
      -PASS tag@6829 label c5               tex Conjecture 1.3 (replay: Conjecture 1.3, line 84); PDF prints it
      -PASS tag@6841 label thm:equal        tex Theorem 2.1 (replay: Theorem 2.1, line 121); md "Theorem 1" found; PDF prints it
      -PASS tag@6882 label lem:level1       tex Lemma 3.1 (replay: Lemma 3.1, line 201); md "Lemma 2.1" found; PDF prints it
      -PASS tag@6895 label thm:poisson      tex Theorem 4.1 (replay: Theorem 4.1, line 214); md "Theorem 3" found; PDF prints it
      -PASS tag@6920 label (no source label; begin line occurs 3 time(s) in RQ-B tex; block offset gives line 239) tex Remark 4.2 (replay: Remark 4.2, line 239); md "Remark 3.2" found; PDF prints it
      -PASS tag@6924 label rem:apc          tex Remark 4.3 (replay: Remark 4.3, line 243); md "Remark 3.3" found; PDF prints it
      -PASS tag@6957 label thm:uniform      tex Theorem 4.4 (replay: Theorem 4.4, line 276); md "Theorem 3.4" found; PDF prints it
      -PASS tag@7022 label rem:uniform      tex Remark 4.5 (replay: Remark 4.5, line 341); md "Remarks on Theorem 3.4" found; PDF prints it
      -PASS tag@7045 RQ-B tex Section 6 ``Exact values conditional on C5'', Proposition 6.2 -> tex Section 6 "Exact values conditional on C5}" (by replay)
      -PASS tag@7048 label prop:window      tex Proposition 6.2 (replay: Proposition 6.2, line 401); md "Proposition 5.1" found; PDF prints it
      -PASS tag@8402 label thm:flight       tex Theorem 12.1 (replay: Theorem 12.1, line 898); md "Theorem 13.1" found; PDF prints it
      -PASS tag@8422 label lem:S1           tex Lemma 12.2 (replay: Lemma 12.2, line 918); md "Lemma S1" found; PDF prints it
      -PASS tag@8436 label lem:S2           tex Lemma 12.3 (replay: Lemma 12.3, line 932); md "Lemma S2" found; PDF prints it
      -PASS tag@8450 label lem:S3           tex Lemma 12.4 (replay: Lemma 12.4, line 946); md "Lemma S3" found; PDF prints it
      -PASS tag@8460 label cor:S4           tex Corollary 12.5 (replay: Corollary 12.5, line 956); md "Corollary S4" found; PDF prints it
      -PASS tag@8465 label lem:S5           tex Lemma 12.6 (replay: Lemma 12.6, line 961); md "Lemma S5" found; PDF prints it
      -PASS tag@8487 label lem:cert         tex Lemma 12.7 (replay: Lemma 12.7, line 983); md "Lemma C" found; PDF prints it
      -PASS tag@8552 label lem:D            tex Lemma 12.8 (replay: Lemma 12.8, line 1014); md "Lemma D" found; PDF prints it
      -PASS tag@8579 label lem:E            tex Lemma 12.9 (replay: Lemma 12.9, line 1020); md "Lemma E" found; PDF prints it
      +PASS tag@6804 RQ-B tex Section 1 ``Setting, notation, and summary'', without the sum -> tex Section 1 "Setting, notation, and summary}" (by replay)
      +PASS tag@6816 label (no source label; begin line occurs 1 time(s) in RQ-B tex; block offset gives line 69) tex Definition 1.1 (replay: Definition 1.1, line 69); PDF line garbled by pdftotext
      +PASS tag@6827 label c0               tex Conjecture 1.2 (replay: Conjecture 1.2, line 80); PDF prints it
      +PASS tag@6831 label c5               tex Conjecture 1.3 (replay: Conjecture 1.3, line 84); PDF prints it
      +PASS tag@6843 label thm:equal        tex Theorem 2.1 (replay: Theorem 2.1, line 121); md "Theorem 1" found; PDF prints it
      +PASS tag@6884 label lem:level1       tex Lemma 3.1 (replay: Lemma 3.1, line 201); md "Lemma 2.1" found; PDF prints it
      +PASS tag@6897 label thm:poisson      tex Theorem 4.1 (replay: Theorem 4.1, line 214); md "Theorem 3" found; PDF prints it
      +PASS tag@6922 label (no source label; begin line occurs 3 time(s) in RQ-B tex; block offset gives line 239) tex Remark 4.2 (replay: Remark 4.2, line 239); md "Remark 3.2" found; PDF prints it
      +PASS tag@6926 label rem:apc          tex Remark 4.3 (replay: Remark 4.3, line 243); md "Remark 3.3" found; PDF prints it
      +PASS tag@6959 label thm:uniform      tex Theorem 4.4 (replay: Theorem 4.4, line 276); md "Theorem 3.4" found; PDF prints it
      +PASS tag@7024 label rem:uniform      tex Remark 4.5 (replay: Remark 4.5, line 341); md "Remarks on Theorem 3.4" found; PDF prints it
      +PASS tag@7047 RQ-B tex Section 6 ``Exact values conditional on C5'', Proposition 6.2 -> tex Section 6 "Exact values conditional on C5}" (by replay)
      +PASS tag@7050 label prop:window      tex Proposition 6.2 (replay: Proposition 6.2, line 401); md "Proposition 5.1" found; PDF prints it
      +PASS tag@8404 label thm:flight       tex Theorem 12.1 (replay: Theorem 12.1, line 898); md "Theorem 13.1" found; PDF prints it
      +PASS tag@8424 label lem:S1           tex Lemma 12.2 (replay: Lemma 12.2, line 918); md "Lemma S1" found; PDF prints it
      +PASS tag@8438 label lem:S2           tex Lemma 12.3 (replay: Lemma 12.3, line 932); md "Lemma S2" found; PDF prints it
      +PASS tag@8452 label lem:S3           tex Lemma 12.4 (replay: Lemma 12.4, line 946); md "Lemma S3" found; PDF prints it
      +PASS tag@8462 label cor:S4           tex Corollary 12.5 (replay: Corollary 12.5, line 956); md "Corollary S4" found; PDF prints it
      ... 4 more
  PASS a41c_ellipsis_fullproof.py (md5 1580ff0f, unchanged; 1 path/map substitution(s) at run time); exit 0; 76 output lines differ from the committed output
      tail| figures found: 38; mapped: 38; unmapped: []; map entries not found: []
      tail| PASS 38  ROUNDED 0  FAIL 0
      tail| A41C_DONE (ROUNDED figures are findings, not errors of this script)
      -PASS     line   265  1.53804...             A'(q5)=sqrt(5q5/ln(5/4))     exact 1.538044391650755301371
      -PASS     line   279  0.85510...             C5                           exact 0.8551004554708192457185
      -PASS     line   350  0.292893...            q2                           exact 0.2928932188134524755992
      -PASS     line   350  0.183503...            q3                           exact 0.1835034190722739672676
      -ROUNDED  line   350  0.133975...            q4                           exact 0.1339745962155613532363
      -ROUNDED  line   351  0.105573...            q5                           exact 0.1055728090000841214363
      -PASS     line   351  0.087129...            q6                           exact 0.08712907082472314423838
      -ROUNDED  line   352  0.147929...            qL=25/169                    exact 0.1479289940828402366864
      -PASS     line   354  0.857763...            sqrt(2/e)                    exact 0.8577638849607067964802
      -PASS     line   357  0.855100455470819...   C5                           exact 0.8551004554708192457185
      -PASS     line   357  0.853343...            C4                           exact 0.8533435684960486491500
      -PASS     line   357  0.855984...            C6                           exact 0.8559844891738153881824
      -PASS     line   373  1.538044391650755...   A'(q5)=sqrt(5q5/ln(5/4))     exact 1.538044391650755301371
      -PASS     line   626  1.538044...            A'(q5)=sqrt(5q5/ln(5/4))     exact 1.538044391650755301371
      -ROUNDED  line   652  1.0046...              (C5-171/200)*1e4             exact 1.004554708192457185191
      -PASS     line  1138  0.940104...            361/384                      exact 0.9401041666666666666667
      -PASS     line  6984  0.85334356...          C4                           exact 0.8533435684960486491500
      -PASS     line  6984  0.85510045...          C5                           exact 0.8551004554708192457185
      -PASS     line  6984  0.85598448...          C6                           exact 0.8559844891738153881824
      -PASS     line  7133  0.8533435684...        C4                           exact 0.8533435684960486491500
      -PASS     line  7133  0.8551004554...        C5                           exact 0.8551004554708192457185
      -PASS     line  7133  0.8559844891...        C6                           exact 0.8559844891738153881824
      -PASS     line  7134  0.0044203164...        eta4                         exact 0.004420316464658147330203
      -PASS     line  7134  0.0026634294...        eta5                         exact 0.002663429489887550761671
      -PASS     line  7134  0.0017793957...        eta6                         exact 0.001779395786891408297822
      -PASS     line  7218  1.538044391650755...   A'(q5)=sqrt(5q5/ln(5/4))     exact 1.538044391650755301371
      -PASS     line  7225  1.538044...            A'(q5)=sqrt(5q5/ln(5/4))     exact 1.538044391650755301371
      -ROUNDED  line  7226  1.5759927...           A'(q4)                       exact 1.575992669192194874003
      -PASS     line  7748  0.8551004...           C5                           exact 0.8551004554708192457185
      -PASS     line  7751  1.538...               A'(q5)=sqrt(5q5/ln(5/4))     exact 1.538044391650755301371
      -PASS     line  7936  0.4462871...           lambda_lo=2ln(5/4)           exact 0.4462871026284195115326
      -PASS     line  7936  0.5578588...           lambda_hi                    exact 0.5578588782855243894157
      -PASS     line  8088  1.107...               0.8/0.85^2                   exact 1.107266435986159169550
      -PASS     line  8088  0.337...               0.8/1.54^2                   exact 0.3373250126496879743633
      -PASS     line  8284  0.8551004...           C5                           exact 0.8551004554708192457185
      -PASS     line  9038  0.855100455470819...   C5                           exact 0.8551004554708192457185
      -PASS     line  9039  1.538044391650755...   A'(q5)=sqrt(5q5/ln(5/4))     exact 1.538044391650755301371
      +PASS     line   267  1.53804...             A'(q5)=sqrt(5q5/ln(5/4))     exact 1.538044391650755301371
      +PASS     line   281  0.85510...             C5                           exact 0.8551004554708192457185
      +PASS     line   352  0.292893...            q2                           exact 0.2928932188134524755992
      ... 36 more
  PASS a41d_pdf_coverage.py (md5 ebbc94d2, unchanged; 0 path/map substitution(s) at run time); exit 0; 2 output lines differ from the committed output
      tail|     missing numbers: []
      tail|     missing words: []
      tail| A41D_PASS
      -(c) numbers in the tex body: 1099, missing from the PDF text: 0
      +(c) numbers in the tex body: 1102, missing from the PDF text: 0
  PASS a41e_numerals.py (md5 22f7335f, unchanged; 0 path/map substitution(s) at run time); exit 0; 0 output lines differ from the committed output
      tail| SUMMARY supp verifier (md 13.4): numeral hunks 1, word hunks 3
      tail| SUMMARY supp windows + Lemma D (md 13.5): numeral hunks 1, word hunks 3
      tail| SUMMARY supp Lemma E + assembly (md 13.5): numeral hunks 0, word hunks 19
  PASS a41g_macros.py (md5 0434fde7, unchanged; 1 path/map substitution(s) at run time); exit None; 0 output lines differ from the committed output
      tail| 
      tail| used macros whose definition is missing or different in FULL_PROOF: 0
      tail| A41G_PASS

A41H_PASS
