--- 1762553.random64.output	2018-05-13 19:37:58.001386827 +0200
+++ random64.out	2018-05-02 18:07:42.230022113 +0200
@@ -1,11 +1,7 @@
 (((2)-(((0)+((-3)-(-1)))+((6)+(-3))))*(((((-4)-(-7))-(6))-(-5))-((((-8)*(4))+(-5))+(((-3)+(-2))-(-9)))))
-(((2)-(((0)+(-2))+((6)+(-3))))*(((((-4)-(-7))-(6))-(-5))-((((-8)*(4))+(-5))+(((-3)+(-2))-(-9)))))
-(((2)-((-2)+(3)))*((((3)-(6))-(-5))-((((-8)*(4))+(-5))+(((-3)+(-2))-(-9)))))
-(((2)-(1))*(((-3)-(-5))-((((-8)*(4))+(-5))+(((-3)+(-2))-(-9)))))
-((1)*((2)-(((-32)+(-5))+(((-3)+(-2))-(-9)))))
-((1)*((2)-((-37)+((-5)-(-9)))))
-((1)*((2)-((-37)+(4))))
-((1)*((2)-(-33)))
+(((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)