truncated lemmas-by-size as too big for github display