--- 1815762.test-k1-n18-v1000.output	2018-04-09 08:02:21.759436119 +0200
+++ test-k1-n18-v1000.out	2018-03-29 14:35:13.029322323 +0200
@@ -18,5 +18,5 @@
 865
 -557
 949
-865
-865
+-557
+949