--- LorenzoParise.8.out	2015-03-31 15:12:45.950057646 +0200
+++ 8.out	2015-03-20 15:02:23.787411549 +0100
@@ -15,12 +15,15 @@
 890
 891
 892
+893
 894
 895
 896
 897
 898
+899
 900
+901
 902
 903
 904
@@ -30,6 +33,7 @@
 909
 910
 912
+913
 914
 915
 916
@@ -38,6 +42,7 @@
 920
 921
 922
+923
 924
 925
 926
@@ -54,10 +59,12 @@
 939
 940
 942
+943
 944
 945
 946
 948
+949
 950
 951
 952
@@ -68,6 +75,7 @@
 958
 959
 960
+961
 962
 963
 964
@@ -82,6 +90,7 @@
 975
 976
 978
+979
 980
 981
 982
@@ -90,6 +99,7 @@
 986
 987
 988
+989
 990
 992
 993