anchor.diff:  ("bench/fwt.working.rkt" doc-045 text-size)
   ("bench/fwt.working.rkt" doc-055 text-size)
   ("bench/fwt.working.rkt" doc-074 text-size)
  +("bench/fwt.working.rkt" doc-025 text-size)
  +("bench/fwt.working.rkt" doc-040 text-size)
   
   ("bench/fwt.working.rkt" doc-040 heading-size)
   ("bench/fwt.working.rkt" doc-021 heading-size)
  
positive.code: ("bench/fwt.working.rkt" doc-088 heading-size)
  ("bench/fwt.working.rkt" doc-067 heading-size)
  ("bench/fwt.working.rkt" doc-010 heading-size)
  
negative.code: ("bench/fwt.working.rkt" doc-017 line-width)
  ("bench/fwt.working.rkt" doc-009 line-width)
  ("bench/fwt.working.rkt" doc-090 line-width)
  ("bench/fwt.working.rkt" doc-061 line-width)
  ("bench/fwt.working.rkt" doc-084 line-width)
  
  ("bench/fwt.working.rkt" doc-040 text-size)
  ("bench/fwt.working.rkt" doc-021 text-size)
  