--- LorenzoParise.7.out	2015-03-31 15:12:44.788037735 +0200
+++ 7.out	2015-03-20 15:02:23.388404689 +0100
@@ -1,12 +1,15 @@
 791
 792
+793
 794
 795
 796
 798
+799
 800
 801
 802
+803
 804
 805
 806
@@ -18,6 +21,7 @@
 814
 815
 816
+817
 818
 819
 820
@@ -36,6 +40,7 @@
 837
 838
 840
+841
 842
 843
 844
@@ -45,6 +50,7 @@
 848
 849
 850
+851
 852
 854
 855
@@ -58,7 +64,9 @@
 866
 867
 868
+869
 870
+871
 872
 873
 874
@@ -76,12 +84,15 @@
 890
 891
 892
+893
 894
 895
 896
 897
 898
+899
 900
+901
 902
 903
 904
@@ -91,6 +102,7 @@
 909
 910
 912
+913
 914
 915
 916
@@ -99,6 +111,7 @@
 920
 921
 922
+923
 924
 925
 926
@@ -115,10 +128,12 @@
 939
 940
 942
+943
 944
 945
 946
 948
+949
 950
 951
 952
@@ -129,6 +144,7 @@
 958
 959
 960
+961
 962
 963
 964
@@ -143,6 +159,7 @@
 975
 976
 978
+979
 980
 981
 982
@@ -151,6 +168,7 @@
 986
 987
 988
+989
 990
 992
 993
@@ -162,9 +180,11 @@
 1000
 1001
 1002
+1003
 1004
 1005
 1006
+1007
 1008
 1010
 1011
@@ -180,6 +200,7 @@
 1024
 1025
 1026
+1027
 1028
 1029
 1030
@@ -187,6 +208,7 @@
 1034
 1035
 1036
+1037
 1038
 1040
 1041