--- 1655153.es1.output	2016-05-25 09:43:11.791472379 +0200
+++ es1.out	2016-05-08 23:37:01.614704860 +0200
@@ -1,4 +1,11 @@
-000000070
+0
+0
+0
+0
+0
+0
+0
+70
 30
 60
 10