source passages: C15 lines 335-362; U lines 255-293; md 13.4 lines 804-818; windows+Lemma D lines 821-834; Lemma E+assembly lines 835-861
=== C15: source 309 numerals, transcription 310 numerals
  insert   src[271:271] [] -> tex[271:272] ['12']   (src context: ['1', '1', '1'] | tex context: ['1', '1', '1'])
  numeral hunks: 1
  words: source 248, transcription 245, differing hunks 3
    delete   'notation' -> ''
    delete   'statement' -> ''
    delete   'proof' -> ''
=== U.1-U.3: source 118 numerals, transcription 116 numerals
  replace  src[56:58] ['1', '2'] -> tex[56:57] ['12']   (src context: ['2', '0', '1'] | tex context: ['2', '0', '1'])
  replace  src[61:63] ['1', '2'] -> tex[60:61] ['12']   (src context: ['1', '1', '1'] | tex context: ['1', '1', '1'])
  numeral hunks: 2
  words: source 211, transcription 143, differing hunks 26
    delete   'sqrt sqrt sqrt sqrt' -> ''
    delete   'levy' -> ''
    delete   'theta lambda theta theta lambda theta theta' -> ''
    delete   'theta' -> ''
    delete   'lambda theta lambda theta' -> ''
    delete   'theta theta' -> ''
    delete   'theta' -> ''
    delete   'theta' -> ''
    delete   'theta' -> ''
    delete   'theta' -> ''
    delete   'proof' -> ''
    delete   'alpha alpha' -> ''
    delete   'delta delta delta' -> ''
    delete   'alpha delta sqrt' -> ''
    delete   'beta delta sqrt sqrt beta sqrt beta alpha' -> ''
    delete   'delta' -> ''
    delete   'sqrt' -> ''
    delete   'beta delta beta sqrt' -> ''
    delete   'sqrt sqrt' -> ''
    delete   'theta lambda theta beta theta sqrt lambda theta beta theta sqrt' -> ''
    delete   'lambda theta sqrt' -> ''
    delete   'over' -> ''
    delete   'sqrt sqrt' -> ''
    delete   'sqrt' -> ''
    delete   'sqrt' -> ''
    delete   'delta' -> ''
=== supp verifier (md 13.4): source 27 numerals, transcription 26 numerals
  delete   src[0:1] ['13.4'] -> tex[0:0] []   (src context: [] | tex context: [])
  numeral hunks: 1
  words: source 84, transcription 76, differing hunks 3
    delete   'what exact verifier checks numerics verify' -> ''
    delete   'sqrt' -> ''
    delete   'gamma' -> ''
=== supp windows + Lemma D (md 13.5): source 37 numerals, transcription 36 numerals
  replace  src[3:5] ['6', '5'] -> tex[3:4] ['65']   (src context: ['0.3', '1.03', '4'] | tex context: ['0.3', '1.03', '4'])
  numeral hunks: 1
  words: source 78, transcription 73, differing hunks 3
    delete   'theta' -> ''
    delete   'theta theta' -> ''
    delete   'theta theta' -> ''
=== supp Lemma E + assembly (md 13.5): source 109 numerals, transcription 109 numerals
  numeral hunks: 0
  words: source 146, transcription 112, differing hunks 19
    delete   'delta' -> ''
    delete   'delta delta delta delta' -> ''
    delete   'floor delta floor delta' -> ''
    delete   'floor delta' -> ''
    delete   'theta' -> ''
    delete   'theta' -> ''
    delete   'theta' -> ''
    delete   'theta' -> ''
    delete   'ceil delta' -> ''
    delete   'theta' -> ''
    delete   'theta' -> ''
    delete   'theta theta theta theta' -> ''
    delete   'theta theta' -> ''
    delete   'theta theta theta' -> ''
    delete   'theta' -> ''
    delete   'theta theta' -> ''
    delete   'theta' -> ''
    delete   'theta' -> ''
    delete   'theta' -> ''

SUMMARY C15: numeral hunks 1, word hunks 3
SUMMARY U.1-U.3: numeral hunks 2, word hunks 26
SUMMARY supp verifier (md 13.4): numeral hunks 1, word hunks 3
SUMMARY supp windows + Lemma D (md 13.5): numeral hunks 1, word hunks 3
SUMMARY supp Lemma E + assembly (md 13.5): numeral hunks 0, word hunks 19
