--- 1806198.random64.output	2018-05-12 13:50:57.030336218 +0200
+++ random64.out	2018-05-02 18:07:42.230022113 +0200
@@ -1,2 +1,7 @@
-(((2)-(((0)+((-)-(*)))+((6)+(-))))*(((((^)-(-7))-(6))-(-5))-((((-8)*(4))+(-5))+(((-)+(+))-(-9)))))
+(((2)-(((0)+((-3)-(-1)))+((6)+(-3))))*(((((-4)-(-7))-(6))-(-5))-((((-8)*(4))+(-5))+(((-3)+(-2))-(-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))
+(35)