diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2ppIso5_1.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/iso/vf2ppIso5_1.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,149 @@
+109	0.118667
+342	0.386333
+463	0.509667
+796	0.931333
+1084	1.23033
+1155	1.31733
+1377	1.622
+1457	1.76533
+1549	1.848
+1564	1.84467
+1567	1.88833
+1595	1.99667
+1607	1.92667
+2002	2.45467
+2193	2.706
+2248	2.77667
+2426	3.199
+2447	3.07433
+2519	3.15167
+2600	3.28233
+2778	3.53867
+2819	3.55
+2832	3.532
+2836	3.785
+2925	3.73467
+3186	4.06333
+3304	4.22633
+3565	4.66233
+3811	5.18533
+3818	5.02
+3854	5.14967
+3961	5.172
+4301	5.88
+4389	5.996
+4604	6.216
+4682	6.365
+4785	6.593
+4790	6.46533
+5014	6.999
+5214	7.132
+5284	7.25167
+5326	7.24867
+5478	7.55833
+5646	7.803
+5796	8.00933
+5838	8.05467
+5994	8.36433
+6005	8.48233
+6027	8.38267
+6065	8.68333
+6210	8.84433
+6218	8.63033
+6378	9.056
+6380	8.843
+6408	9.01733
+6556	9.47933
+6680	9.35367
+6765	9.608
+6856	9.49833
+7100	10.0793
+7134	10.3483
+7232	10.3733
+7267	10.369
+7282	10.3063
+7288	10.5533
+7415	10.4853
+7587	10.7457
+7933	11.25
+7978	11.372
+7995	12.2147
+8006	11.2797
+8178	11.737
+8667	12.6323
+8773	12.8113
+8934	13.27
+8948	13.1463
+9173	13.2473
+9300	13.3797
+9394	13.7667
+9542	14.7287
+9636	14.422
+9668	14.1363
+9679	14.0897
+9778	14.2623
+9842	14.5257
+9865	15.1183
+10076	15.0557
+10211	15.1927
+10370	15.4593
+10548	15.3827
+10719	15.8367
+10735	16.134
+10802	16.293
+11031	16.793
+11111	16.948
+11130	16.5287
+11263	16.8977
+11273	17.114
+11403	17.455
+11937	17.6023
+11943	17.7257
+12050	17.8363
+12166	18.578
+12173	18.2247
+12216	18.3123
+12220	18.823
+12376	18.574
+12451	18.596
+12543	18.8143
+12663	19.6093
+12701	19.5487
+12703	19.0223
+12726	19.0153
+12768	19.185
+12805	19.3987
+13279	20.5553
+13525	20.7063
+13575	20.309
+13688	20.6413
+13785	20.6077
+13877	20.9447
+14088	21.5977
+14090	21.3453
+14251	22.1723
+14421	21.7103
+14465	21.9927
+14755	22.245
+14975	22.7087
+15509	23.531
+15731	25.024
+15763	24.171
+15770	24.953
+15876	24.2917
+16011	25.2847
+16169	31.2663
+16342	25.8483
+16722	26.6623
+17001	27.233
+17323	27.6113
+17432	26.9747
+17563	27.324
+17913	28.4223
+18207	28.0947
+18532	29.9937
+18722	29.3833
+19169	30.965
+19372	29.9257
+19430	31.733
+19499	29.9433