--- 1806198.random999.output	2018-05-12 13:51:04.093286169 +0200
+++ random999.out	2018-05-02 18:16:30.540937668 +0200
@@ -1,2 +1,11 @@
-((((^)+(((((((-)+(-6))+((8)+(+)))-((-8)-(-10)))+((((-8)-(-9))-(7))+(6)))-(*))-((6)-(3))))+(2))-(+))
+((((-4)+(((((((-3)+(-6))+((8)+(-2)))-((-8)-(-10)))+((((-8)-(-9))-(7))+(6)))-(-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))
+((-9)-(-2))
+(-7)