--- 029971.1.output	2016-05-17 21:43:55.668632375 +0200
+++ 1.out	2016-03-06 10:29:10.000000000 +0100
@@ -1 +1 @@
-0
+1