Thread:KarpToEndAllKarps/@comment-31953669-20181105125003/@comment-33281350-20181115125914

ok

and do what to space?