--- 1809541.random64.output	2018-05-10 23:59:38.298573745 +0200
+++ random64.out	2018-05-02 18:07:42.230022113 +0200
@@ -1,4 +1,7 @@
 (((2)-(((0)+((-3)-(-1)))+((6)+(-3))))*(((((-4)-(-7))-(6))-(-5))-((((-8)*(4))+(-5))+(((-3)+(-2))-(-9)))))
-((4)*((((3)-(6))-(-5))-(((-32)+(-5))+((-5)-(-9)))))
-(-12)
+(((2)-(((0)+(-2))+(3)))*((((3)-(6))-(-5))-(((-32)+(-5))+((-5)-(-9)))))
+(((2)-((-2)+(3)))*(((-3)-(-5))-((-37)+(4))))
+(((2)-(1))*((2)-(-33)))
+((1)*(35))
+(35)