--- 1806198.random16.output	2018-05-12 13:50:45.933414854 +0200
+++ random16.out	2018-05-02 18:12:24.180825651 +0200
@@ -1,2 +1,5 @@
-((^)+((10)+((1)-(1))))
+((-4)+((10)+((1)-(1))))
+((-4)+((10)+(0)))
+((-4)+(10))
+(6)