--- 1713638.test-k17-n62-v1000.output	2018-04-08 21:54:00.162231221 +0200
+++ test-k17-n62-v1000.out	2018-03-29 14:38:21.924391381 +0200
@@ -47,4 +47,4 @@
 -978
 968
 -4640
-1330
+3270