--- 1762553.random512.output	2018-05-13 19:37:57.351392063 +0200
+++ random512.out	2018-05-02 18:02:05.845656521 +0200
@@ -1,14 +1,9 @@
 ((((-6)-(((3)+(-2))-(2)))-(-3))+(((-1)-((-5)+(((-6)+(((1)-(-9))+(0)))-((4)-((-7)+(-3))))))+((-5)-((1)*(8)))))
-((((-6)-((1)-(2)))-(-3))+(((-1)-((-5)+(((-6)+(((1)-(-9))+(0)))-((4)-((-7)+(-3))))))+((-5)-((1)*(8)))))
-((((-6)-(-1))-(-3))+(((-1)-((-5)+(((-6)+(((1)-(-9))+(0)))-((4)-((-7)+(-3))))))+((-5)-((1)*(8)))))
-(((-5)-(-3))+(((-1)-((-5)+(((-6)+(((1)-(-9))+(0)))-((4)-((-7)+(-3))))))+((-5)-((1)*(8)))))
-((-2)+(((-1)-((-5)+(((-6)+((10)+(0)))-((4)-((-7)+(-3))))))+((-5)-((1)*(8)))))
-((-2)+(((-1)-((-5)+(((-6)+(10))-((4)-((-7)+(-3))))))+((-5)-((1)*(8)))))
-((-2)+(((-1)-((-5)+((4)-((4)-(-10)))))+((-5)-((1)*(8)))))
-((-2)+(((-1)-((-5)+((4)-(14))))+((-5)-((1)*(8)))))
-((-2)+(((-1)-((-5)+(-10)))+((-5)-((1)*(8)))))
-((-2)+(((-1)-(-15))+((-5)-((1)*(8)))))
-((-2)+((14)+((-5)-(8))))
+((((-6)-((1)-(2)))-(-3))+(((-1)-((-5)+(((-6)+((10)+(0)))-((4)-(-10)))))+((-5)-(8))))
+((((-6)-(-1))-(-3))+(((-1)-((-5)+(((-6)+(10))-(14))))+(-13)))
+(((-5)-(-3))+(((-1)-((-5)+((4)-(14))))+(-13)))
+((-2)+(((-1)-((-5)+(-10)))+(-13)))
+((-2)+(((-1)-(-15))+(-13)))
 ((-2)+((14)+(-13)))
 ((-2)+(1))
 (-1)