--- 1821488.random16.output	2018-05-06 19:29:14.356076782 +0200
+++ random16.out	2018-05-02 18:12:24.180825651 +0200
@@ -1,4 +1,5 @@
 ((-4)+((10)+((1)-(1))))
-((0)+((10)+(0)))
-((443556)+(10))
-(443566)
+((-4)+((10)+(0)))
+((-4)+(10))
+(6)
+