--- 1806590.test-k7-n100-v1000.output	2018-04-08 07:43:09.003452155 +0200
+++ test-k7-n100-v1000.out	2018-03-29 14:38:21.923391391 +0200
@@ -93,7 +93,6 @@
 -69
 -193
 -977
-173
+985
 -3699
 3200
-