diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2ppIso.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/iso/vf2ppIso.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,149 @@
+127	0.2475
+162	0.3179
+240	0.5048
+376	0.7385
+425	0.8341
+491	1.0078
+653	1.3457
+690	1.4696
+896	1.9433
+985	2.1439
+1003	2.1887
+1030	2.267
+1132	2.5292
+1328	2.9828
+1942	4.565
+2226	5.3828
+2472	6.0585
+2804	6.9615
+2818	6.9784
+2907	7.3493
+2930	7.394
+3076	7.8708
+3200	7.9738
+3364	8.5584
+3467	8.8448
+3544	8.9522
+3613	9.2748
+3704	9.3056
+3946	10.0191
+4023	10.3206
+4076	10.5848
+4145	10.8889
+4183	10.8269
+4426	11.516
+4644	12.3283
+4767	12.5105
+5112	13.0615
+5204	13.6587
+5243	14.1105
+5263	13.886
+5384	14.0727
+5408	14.3146
+5490	14.4172
+5653	14.7732
+5783	15.7436
+5861	16.0297
+5873	15.3428
+6014	15.9
+6135	16.8004
+6340	16.2746
+6378	16.3637
+6443	16.637
+6530	17.9352
+6822	18.1772
+7086	19.7832
+7180	18.4522
+7464	20.2062
+7504	20.9217
+7509	19.9981
+8175	22.995
+8291	22.5465
+8478	22.1819
+8480	21.977
+8622	24.1893
+8626	24.8052
+8904	24.1822
+8936	24.6966
+9189	24.8059
+9243	26.403
+9249	26.5304
+9558	26.0595
+9630	27.3661
+10031	28.1027
+10493	31.7348
+10529	29.5586
+10873	32.8937
+10895	30.9428
+10966	31.0019
+10977	31.0048
+10994	32.7813
+11060	30.3078
+11204	30.9329
+11286	33.8151
+11314	31.8284
+11378	32.1371
+11553	32.5491
+11582	32.6654
+11723	33.3891
+11841	33.4698
+11979	33.248
+11998	34.309
+12223	33.9931
+12233	33.8327
+12509	37.5049
+12518	35.6404
+13063	36.3748
+13109	37.7132
+13223	40.6669
+13294	41.326
+13328	38.4173
+13434	40.1864
+13537	41.5796
+13786	41.7435
+13865	40.2441
+14002	40.4287
+14031	40.0248
+14082	40.7643
+14163	40.3461
+14247	41.167
+14629	41.958
+14904	43.7579
+14981	44.0209
+15258	44.5197
+15437	45.2129
+15509	47.8536
+15886	46.034
+15906	45.5545
+16099	48.7558
+16328	48.0843
+16346	47.1788
+16791	53.7857
+16801	49.7468
+16825	50.2715
+16841	49.0651
+16933	54.8406
+16999	49.4961
+17001	51.7994
+17047	51.6072
+17121	49.9785
+17292	50.6554
+17525	52.0872
+17669	50.2323
+17773	52.0208
+17911	55.669
+18099	51.63
+18160	55.594
+18263	52.2811
+18347	52.5131
+18443	54.2513
+18462	52.5976
+18567	52.0907
+18675	53.7774
+18882	53.8973
+18946	54.6199
+19131	54.8236
+19695	62.52
+19723	57.3523
+19952	57.6225
+19978	56.2806