--- 1821488.random8.output	2018-05-06 19:29:16.785034459 +0200
+++ random8.out	2018-05-02 18:11:04.021441774 +0200
@@ -1,2 +1,4 @@
 (((-5)+(-2))+(-7))
+((-7)+(-7))
 (-14)
+