Update karp size info 2017-04-13 14:31