--- 1798010.random999.output	2018-05-08 20:55:50.296324501 +0200
+++ random999.out	2018-05-02 18:16:30.540937668 +0200
@@ -1,9 +1,6 @@
 ((((-4)+(((((((-3)+(-6))+((8)+(-2)))-((-8)-(-10)))+((((-8)-(-9))-(7))+(6)))-(-1))-((6)-(3))))+(2))-(-2))
-((((-4)+((((((-9)+(6))-(2))+((((-8)-(-9))-(7))+(6)))-(-1))-(3)))+(2))-(-2))
-((((-4)+(((((-3)-(2))+((((-8)-(-9))-(7))+(6)))-(-1))-(3)))+(2))-(-2))
-((((-4)+((((-5)+((((-8)-(-9))-(7))+(6)))-(-1))-(3)))+(2))-(-2))
-((((-4)+((((-5)+(((1)-(7))+(6)))-(-1))-(3)))+(2))-(-2))
-((((-4)+((((-5)+((-6)+(6)))-(-1))-(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))