diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2pIso10_1.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/iso/vf2pIso10_1.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,150 @@
+371	1.11833
+395	1.27867
+817	3.766
+896	4.23033
+918	4.45167
+993	5.03167
+1130	6.16867
+1209	6.77867
+1227	6.961
+1236	6.99767
+1515	9.817
+1601	10.9007
+1623	11.1377
+1693	11.9723
+1719	12.327
+1720	12.376
+2046	17.1333
+2273	19.9223
+2397	22.19
+2438	23.43
+2469	23.3093
+2484	23.485
+2556	25.4357
+2656	26.312
+2678	26.7383
+2697	27.8737
+2761	28.1483
+2776	28.6357
+2828	30.2983
+2921	31.2717
+2992	32.5533
+3116	36.2827
+3198	36.915
+3231	38.7797
+3322	39.834
+3325	39.5463
+3381	40.8823
+3391	41.656
+3580	45.267
+3643	46.4407
+3775	50.0253
+3803	50.2517
+3854	51.731
+4132	59.9083
+4395	67.2467
+4800	77.892
+4877	80.888
+4891	81.9693
+4894	80.034
+4980	83.3443
+5152	88.3193
+5157	88.2477
+5173	91.155
+5258	91.4503
+5282	92.365
+5314	94.6663
+5333	97.4267
+5453	97.9367
+5501	99.8387
+5746	108.091
+6135	124.587
+6323	130.082
+6363	130.893
+6400	133.279
+6725	145.988
+6762	146.848
+6828	152.555
+7183	164.512
+7189	167.359
+7237	171.757
+7582	182.968
+7590	183.412
+8169	210.671
+8252	214.137
+8258	216.204
+8784	242.524
+8845	246.099
+8866	245.183
+9011	254.975
+9012	253.78
+9090	262.967
+9732	294.994
+9814	299.133
+9817	299.383
+10313	338.256
+10406	334.534
+10506	345.102
+10871	366.195
+11037	381.021
+11214	396.272
+11315	392.349
+11466	406.025
+11675	428.273
+11792	428.912
+11895	436.552
+12011	452.611
+12027	444.26
+12215	454.918
+12314	462.524
+12332	466.498
+12430	475.677
+12496	486.519
+12629	488.718
+12815	503.275
+12834	523.213
+12928	511.078
+13186	531.093
+13354	544.274
+13406	555.552
+13482	557.669
+13690	569.925
+13921	587.318
+13923	590.685
+14052	610.82
+14243	623.192
+14309	634.848
+14328	623.964
+14369	644.294
+14737	672.891
+15239	701.649
+15273	719.861
+15284	708.873
+15348	710.232
+15908	772.151
+16023	785.872
+16133	789.249
+16292	807.356
+16499	831.314
+16855	866.472
+17320	906.521
+18045	987.021
+18086	992.404
+18097	995.914
+18107	1002.18
+18301	1019.99
+18330	1015.99
+18395	1027.2
+18478	1047.95
+18538	1036.37
+18551	1038.84
+18563	1038.25
+18616	1054.28
+18650	1073.19
+18815	1076.38
+19241	1120.12
+19360	1149.44
+19364	1133.82
+19636	1161.3
+19642	1165.09
+19907	1202.62