PASS  tex is the corrected FULL_PROOF  14777fb49609ceb03bf5b14f8a9749f5
      RQ-REF1/REFEREE.md md5 369c1cfb30e99367178317bdfdb3c494
      RQ-REF2/REFEREE.md md5 bd18da81cc4c1c35ccb99c07047c06ba
      RQ-REF3/REFEREE.md md5 6ac713c05dd3a1b74e71d5c959ac0ceb
PASS  11 source boxes, in Chapters 1-10 (two in Chapter 7)  [1, 2, 3, 4, 5, 6, 7, 7, 8, 9, 10]
PASS  RQ-REF1: every line that mentions a fix says "no fix required"  4 lines
PASS  RQ-REF1 verdict table: Theorem 1 VALID
PASS  RQ-REF1 verdict table: Theorem 2 VALID
PASS  RQ-REF1 verdict table: Theorem 3 VALID
PASS  RQ-REF1 verdict table: Theorem 4 VALID
PASS  RQ-REF2: "No fixes are required." and MAIN-5, MAIN-6 VALID in its verdict table
PASS  Chapter 1 (box at line 679): "RQ-REF1, VALID, no fixes", md5 as the store report  RQ-REF1, VALID, no fixes (report \texttt{REFEREE.md}, md5 \t...
PASS  Chapter 2 (box at line 1327): "RQ-REF1, VALID, no fixes", md5 as the store report  RQ-REF1, VALID, no fixes (report \texttt{REFEREE.md}, md5 \t...
PASS  Chapter 3 (box at line 2088): "RQ-REF1, VALID, no fixes", md5 as the store report  RQ-REF1, VALID, no fixes (report \texttt{REFEREE.md}, md5 \t...
PASS  Chapter 4 (box at line 2907): "RQ-REF1, VALID, no fixes", md5 as the store report  RQ-REF1, VALID, no fixes (report \texttt{REFEREE.md}, md5 \t...
PASS  Chapter 5 (box at line 4024): "RQ-REF2, VALID, no fixes", md5 as the store report  RQ-REF2, VALID, no fixes (report \texttt{REFEREE.md}, md5 \t...
PASS  Chapter 6 (box at line 5427): "RQ-REF2, VALID, no fixes", md5 as the store report  RQ-REF2, VALID, no fixes (report \texttt{REFEREE.md}, md5 \t...
PASS  Chapter 7: RQ-REF3 link 1 VALID, "by hand; constants re-checked exactly", full md5 of the store report
PASS  Chapter 7: the items named are lem:level1, thm:poisson and thm:uniform (a)-(d) only
PASS  RQ-REF3 link 1 row: Lemma 2.1, Theorem 3, Theorem 3.4 (a)-(d) = RQ-A U.1-U.3, tex labels lem:level1, thm:poisson, thm:uniform; VALID (by hand; constants re-checked exactly)
PASS  Chapter 7 uses thm:equal in Step 2, outside the referee list; Step 2 needs only its elementary direction, and RQ-REF3 checks that direction (the lower bound R >= M) by hand
PASS  Section 7.6: quotes "Theorem 3.4 (a)--(d) = RQ-A U.1--U.3", as the report writes it
PASS  Chapter 8: RQ-REF3 link 2 VALID, "by hand; constants re-checked exactly", as the link 2 row
      Chapter 9 items: 1 lemma lem:flip, 2 lemma lem:ell, 3 lemma lem:or, 4 lemma lem:comp, 5 remark rem:psi, 6 lemma lem:cost, 7 lemma lem:onejump, 8 lemma lem:feas, 9 proposition prop:band, 10 theorem thm:band, 11 corollary cor:c5, 12 lemma lem:absorb, 13 theorem thm:bandstar, 14 corollary cor:idstar, 15 corollary cor:c5star, 16 theorem thm:heavy, 17 corollary cor:light, 18 lemma lem:chord, 19 lemma lem:QM, 20 lemma lem:box, 21 lemma lem:mom, 22 lemma lem:lin, 23 lemma lem:maj, 24 lemma lem:cellcert
PASS  Chapter 9: every lemma is in RQ-REF3's hand checks of link 3, and no other lemma is named there  lemmas [1, 2, 3, 4, 6, 7, 8, 12, 18, 19, 20, 21, 22, 23, 24]
PASS  Chapter 9: outside the hand checks are only items 10, 11 and 17; 17 is in the link 3 row ("Cor 17")  outside [10, 11, 17]
PASS  Chapter 9 box: items 10 (thm:band) and 11 (cor:c5) are "not used by the chain", and the report says no link uses Theorem 10 or Corollary 11
PASS  Chapter 9 box: "every lemma checked by hand", Theorem 16 (thm:heavy) certificates re-verified, Theorem 13 (thm:bandstar) re-done with an own exact cover; the link 3 row says the same
PASS  Chapter 10: link 4, 10,966 certificates re-verified, one robustness remark on the multiplier list lengths, as the report says
A41J_PASS
