--- 1808746.random999.output	2018-05-08 23:45:19.678829587 +0200
+++ random999.out	2018-05-02 18:16:30.540937668 +0200
@@ -1,3 +1,11 @@
 ((((-4)+(((((((-3)+(-6))+((8)+(-2)))-((-8)-(-10)))+((((-8)-(-9))-(7))+(6)))-(-1))-((6)-(3))))+(2))-(-2))
-(((-7)+(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))
+((-9)-(-2))
+(-7)