--- 1464148.test-k7-n100-v1000.output	2018-04-09 08:02:13.735500137 +0200
+++ test-k7-n100-v1000.out	2018-03-29 14:38:21.923391391 +0200
@@ -94,6 +94,5 @@
 -193
 -977
 985
--2329
+-3699
 3200
-