--- 1806590.test-k2-n26-v1000.output 2018-04-08 07:43:08.418457050 +0200 +++ test-k2-n26-v1000.out 2018-03-29 14:35:53.809912211 +0200 @@ -24,7 +24,6 @@ -144 -1517 -939 -0 +970 -1659 1779 -