--- 1613457.random64.output	2018-05-09 14:42:37.008465511 +0200
+++ random64.out	2018-05-02 18:07:42.230022113 +0200
@@ -1,5 +1,6 @@
 (((2)-(((0)+((-3)-(-1)))+((6)+(-3))))*(((((-4)-(-7))-(6))-(-5))-((((-8)*(4))+(-5))+(((-3)+(-2))-(-9)))))
-(((2)-(((0)+(-2))+(3)))*((2)-((-37)+(4))))
+(((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)