--- 1613457.random8.output	2018-05-09 14:42:37.835455335 +0200
+++ random8.out	2018-05-02 18:11:04.021441774 +0200
@@ -1,3 +1,4 @@
 (((-5)+(-2))+(-7))
+((-7)+(-7))
 (-14)