--- 1798010.random256.output	2018-05-08 20:55:47.537352618 +0200
+++ random256.out	2018-05-02 18:13:38.852253406 +0200
@@ -1,8 +1,7 @@
 (((((((-2)+(5))+(((1)^(5))+(0)))+((-9)-(-1)))+(4))*(5))+((-10)+((-8)-(((-4)^(9))-(2)))))
-((((((3)+((1)+(0)))+((-9)-(-1)))+(4))*(5))+((-10)+((-8)-((-262144)-(2)))))
-((((((3)+(1))+((-9)-(-1)))+(4))*(5))+((-10)+((-8)-(-262146))))
-(((((4)+((-9)-(-1)))+(4))*(5))+((-10)+(262138)))
-(((((4)+(-8))+(4))*(5))+(262128))
+((((((3)+((1)+(0)))+(-8))+(4))*(5))+((-10)+((-8)-((-262144)-(2)))))
+((((((3)+(1))+(-8))+(4))*(5))+((-10)+((-8)-(-262146))))
+(((((4)+(-8))+(4))*(5))+((-10)+(262138)))
 ((((-4)+(4))*(5))+(262128))
 (((0)*(5))+(262128))
 ((0)+(262128))