--- 1464148.test-k17-n62-v1000.output	2018-04-09 08:02:10.994522006 +0200
+++ test-k17-n62-v1000.out	2018-03-29 14:38:21.924391381 +0200
@@ -46,6 +46,5 @@
 -501
 -978
 968
--1417
+-4640
 3270
-