--- 1707827.es2.output	2016-03-31 14:25:57.572976754 +0200
+++ es2.out	2016-03-18 11:21:10.000000000 +0100
@@ -36,11 +36,11 @@
 00000000000000000000000000000000
 00000000000000000000000000000000
 10000000000000000000000000000000
+10000000000000000000000000000001
 00000000000000000000000000000001
 00000000000000000000000000000000
 00000000000000000000000000000000
 00000000000000000000000000000000
-00000000000000000000000000000000
 00000000000000000000000000000000
 00000000000000000000000000000000
 00000000000000000000000000000000