--- 1595813.corto-lungo.output	2017-03-27 21:48:10.119956108 +0200
+++ corto-lungo.out	2017-03-21 21:26:31.828990626 +0100
@@ -1 +1,2 @@
+DIVERSI