--- 1808746.random8.output	2018-05-08 23:45:18.976835002 +0200
+++ random8.out	2018-05-02 18:11:04.021441774 +0200
@@ -1,3 +1,4 @@
 (((-5)+(-2))+(-7))
 ((-7)+(-7))
+(-14)