--- 1655153.all-left.output	2016-05-25 09:43:11.855471994 +0200
+++ all-left.out	2016-05-09 18:19:41.836185530 +0200
@@ -1,4 +1,11 @@
-000000048
+0
+0
+0
+0
+0
+0
+0
+48
 47
 46
 45