--- 1792971.random64.output	2018-05-07 17:01:46.854508220 +0200
+++ random64.out	2018-05-02 18:07:42.230022113 +0200
@@ -1,5 +1,5 @@
 (((2)-(((0)+((-3)-(-1)))+((6)+(-3))))*(((((-4)-(-7))-(6))-(-5))-((((-8)*(4))+(-5))+(((-3)+(-2))-(-9)))))
-(((2)-(((0)+(-2))+((6)+(-3))))*((((3)-(6))-(-5))-(((-32)+(-5))+((-5)-(-9)))))
+(((2)-(((0)+(-2))+(3)))*((((3)-(6))-(-5))-(((-32)+(-5))+((-5)-(-9)))))
 (((2)-((-2)+(3)))*(((-3)-(-5))-((-37)+(4))))
 (((2)-(1))*((2)-(-33)))
 ((1)*(35))