--- 1802597.test-k17-n62-v1000.output	2018-04-06 11:43:45.810667056 +0200
+++ test-k17-n62-v1000.out	2018-03-29 14:38:21.924391381 +0200
@@ -21,20 +21,30 @@
 -2093
 -2275
 -3666
-1768838957
-1679844484
-978522996
-1292498170
-1769171917
-1679845850
-978524848
-1292500114
-1835624174
-1768169285
-540693399
-1632438623
-1835627491
-1768169898
-540694031
-3335
-20173270192819721719791-501-978968-36661835627491
+-4640
+-2793
+-3317
+-2854
+-1940
+-1427
+-1465
+-910
+-1915
+-298
+-1417
+-161
+112
+315
+-785
+775
+2017
+3270
+1928
+1972
+1719
+791
+-501
+-978
+968
+-4640
+3270