--- 1713638.test-k20-n68-v1000.output	2018-04-08 21:54:01.958216193 +0200
+++ test-k20-n68-v1000.out	2018-03-29 14:38:21.924391381 +0200
@@ -50,4 +50,4 @@
 -988
 981
 -1965
-1871
+2627