--- 1809541.random16.output	2018-05-10 23:59:35.938590468 +0200
+++ random16.out	2018-05-02 18:12:24.180825651 +0200
@@ -1,3 +1,5 @@
 ((-4)+((10)+((1)-(1))))
-(-6)
+((-4)+((10)+(0)))
+((-4)+(10))
+(6)