diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2pIso5_1.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/iso/vf2pIso5_1.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,149 @@
+109	0.160333
+342	0.768667
+463	1.176
+796	2.82167
+1084	4.669
+1155	5.19067
+1377	7.12367
+1457	7.92533
+1549	8.769
+1564	8.90367
+1567	8.98333
+1595	9.452
+1607	9.49733
+2002	13.988
+2193	16.5057
+2248	17.248
+2426	20.7077
+2447	20.219
+2519	21.2823
+2600	22.6427
+2778	25.5963
+2819	26.295
+2832	26.4467
+2836	27.649
+2925	28.7703
+3186	33.7007
+3304	35.421
+3565	40.941
+3811	47.9227
+3818	46.575
+3854	47.4827
+3961	49.8503
+4301	59.711
+4389	62.441
+4604	66.4957
+4682	68.7103
+4785	72.6057
+4790	71.6627
+5014	80.3197
+5214	84.361
+5284	88.0793
+5326	87.7497
+5478	92.7113
+5646	98.299
+5796	103.404
+5838	104.676
+5994	110.363
+6005	112.427
+6027	111.426
+6065	115.768
+6210	121.661
+6218	118.336
+6378	124.416
+6380	124.274
+6408	125.442
+6556	135.062
+6680	135.863
+6765	141.691
+6856	142.674
+7100	152.998
+7134	157.515
+7232	161.406
+7267	160.103
+7282	160.507
+7288	164.364
+7415	166.225
+7587	173.753
+7933	189.43
+7978	191.763
+7995	203.658
+8006	192.729
+8178	200.99
+8667	229.07
+8773	234.057
+8934	246.681
+8948	243.982
+9173	251.349
+9300	258.433
+9394	270.362
+9542	286.564
+9636	283.049
+9668	278.628
+9679	279.168
+9778	284.742
+9842	290.606
+9865	299.208
+10076	310.629
+10211	316.317
+10370	325.568
+10548	330.142
+10719	340.745
+10735	349.747
+10802	354.166
+11031	369.038
+11111	370.199
+11130	367.137
+11263	383.879
+11273	384.08
+11403	390.66
+11937	420.697
+11943	420.969
+12050	428.333
+12166	446.316
+12173	437.183
+12216	440.372
+12220	449.09
+12376	452.176
+12451	456.736
+12543	463.836
+12663	484.274
+12701	484.142
+12703	475.083
+12726	477.206
+12768	480.049
+12805	483.332
+13279	519.868
+13525	539.538
+13575	541.517
+13688	550.166
+13785	558.028
+13877	565.846
+14088	588.459
+14090	583.104
+14251	608.133
+14421	610.997
+14465	613.764
+14755	638.297
+14975	656.8
+15509	703.964
+15731	738.788
+15763	728.657
+15770	742.474
+15876	737.62
+16011	766.746
+16169	765.951
+16342	802.882
+16722	847.363
+17001	870.866
+17323	903.881
+17432	896.281
+17563	917.642
+17913	966.674
+18207	977.226
+18532	1039.91
+18722	1038.29
+19169	1110.09
+19372	1109.05
+19430	1139.05
+19499	1115.15