Thread:KarpToEndAllKarps/@comment-31953669-20180630212207/@comment-28278669-20180716001946

2 and a half hours.