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