--- 1692591.all-left.output	2016-05-25 09:36:12.435179121 +0200
+++ all-left.out	2016-05-09 18:19:41.836185530 +0200
@@ -5,4 +5,10 @@
 0
 0
 0
-
+48
+47
+46
+45
+44
+43
+42