tagging V4.hs for paper (includes a few lies)
the memo table was too small by one entry

sligth speedup results