--- 1707827.es1.output	2016-03-31 14:25:56.865981579 +0200
+++ es1.out	2016-03-18 11:19:20.000000000 +0100
@@ -36,7 +36,7 @@
 00000000000000000000000000000000
 00000000000000000000000000000000
 00001000000000000000000000000000
-00010000000000000000000000000000
+00011000000000000000000000000000
 00010000000000000000000000000000
 00000000000000000000000000000000
 00000000000000000000000000000000