--- 1692591.all-right.output	2016-05-25 09:36:12.467178875 +0200
+++ all-right.out	2016-05-09 18:20:09.709710553 +0200
@@ -10,4 +10,5 @@
 44
 45
 46
-
+47
+48