--- 1762553.random999.output	2018-05-13 19:37:59.522374574 +0200
+++ random999.out	2018-05-02 18:16:30.540937668 +0200
@@ -1,9 +1,8 @@
 ((((-4)+(((((((-3)+(-6))+((8)+(-2)))-((-8)-(-10)))+((((-8)-(-9))-(7))+(6)))-(-1))-((6)-(3))))+(2))-(-2))
-((((-4)+((((((-9)+(6))-((-8)-(-10)))+((((-8)-(-9))-(7))+(6)))-(-1))-((6)-(3))))+(2))-(-2))
-((((-4)+(((((-3)-(2))+(((1)-(7))+(6)))-(-1))-((6)-(3))))+(2))-(-2))
-((((-4)+((((-5)+((-6)+(6)))-(-1))-((6)-(3))))+(2))-(-2))
-((((-4)+((((-5)+(0))-(-1))-((6)-(3))))+(2))-(-2))
-((((-4)+(((-5)-(-1))-((6)-(3))))+(2))-(-2))
+((((-4)+((((((-9)+(6))-(2))+(((1)-(7))+(6)))-(-1))-(3)))+(2))-(-2))
+((((-4)+(((((-3)-(2))+((-6)+(6)))-(-1))-(3)))+(2))-(-2))
+((((-4)+((((-5)+(0))-(-1))-(3)))+(2))-(-2))
+((((-4)+(((-5)-(-1))-(3)))+(2))-(-2))
 ((((-4)+((-4)-(3)))+(2))-(-2))
 ((((-4)+(-7))+(2))-(-2))
 (((-11)+(2))-(-2))