--- 1806590.test-k1-n18-v1000.output	2018-04-08 07:43:06.578472447 +0200
+++ test-k1-n18-v1000.out	2018-03-29 14:35:13.029322323 +0200
@@ -17,7 +17,6 @@
 709
 865
 -557
-865
+949
 -557
 949
-