--- 1806590.test-k20-n68-v1000.output	2018-04-08 07:43:07.756462590 +0200
+++ test-k20-n68-v1000.out	2018-03-29 14:38:21.924391381 +0200
@@ -48,7 +48,6 @@
 156
 -120
 -988
-674
+981
 -1965
 2627
-