diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2pIso.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/iso/vf2pIso.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,149 @@
+127	0.3269
+162	0.432
+240	0.7383
+376	1.2215
+425	1.4418
+491	1.7892
+653	2.6752
+690	2.954
+896	4.3193
+985	4.9454
+1003	5.0853
+1030	5.3009
+1132	6.187
+1328	7.918
+1942	14.7931
+2226	19.1137
+2472	22.4367
+2804	28.1592
+2818	28.1566
+2907	30.4856
+2930	30.6408
+3076	34.0425
+3200	35.2525
+3364	39.1791
+3467	41.12
+3544	42.2586
+3613	44.5656
+3704	45.6906
+3946	51.1882
+4023	53.1333
+4076	55.1514
+4145	56.5863
+4183	57.0518
+4426	64.6284
+4644	71.1045
+4767	73.4162
+5112	81.686
+5204	84.8276
+5243	88.8607
+5263	87.1636
+5384	90.1785
+5408	93.2033
+5490	93.4534
+5653	101.436
+5783	103.567
+5861	108.921
+5873	105.73
+6014	110.53
+6135	118.937
+6340	121.431
+6378	122.979
+6443	125.289
+6530	132.548
+6822	139.731
+7086	151.391
+7180	152.987
+7464	165.421
+7504	171.694
+7509	170.031
+8175	201.68
+8291	201.49
+8478	209.186
+8480	209.196
+8622	220.353
+8626	223.71
+8904	230.857
+8936	232.141
+9189	244.022
+9243	253.276
+9249	255.463
+9558	263.282
+9630	271.048
+10031	289.299
+10493	324.825
+10529	316.988
+10873	347.361
+10895	338.602
+10966	342.686
+10977	343.294
+10994	354.913
+11060	349.165
+11204	356.526
+11286	372.999
+11314	363.811
+11378	373.179
+11553	378.583
+11582	387.468
+11723	390.035
+11841	396.816
+11979	405.154
+11998	407.449
+12223	421.647
+12233	422.152
+12509	451.354
+12518	442.427
+13063	479.332
+13109	483.504
+13223	501.017
+13294	512.705
+13328	499.509
+13434	517.922
+13537	527.302
+13786	543.749
+13865	539.42
+14002	548.837
+14031	552.555
+14082	556.61
+14163	563.011
+14247	567.519
+14629	597.366
+14904	623.21
+14981	631.806
+15258	653.052
+15437	665.189
+15509	686.911
+15886	703.382
+15906	703.776
+16099	732.679
+16328	743.431
+16346	743.708
+16791	807.157
+16801	789.883
+16825	792.622
+16841	791.928
+16933	818.123
+16999	806.333
+17001	815.739
+17047	813.86
+17121	817.818
+17292	833.62
+17525	856.627
+17669	867.454
+17773	880.85
+17911	911.295
+18099	911.129
+18160	931.889
+18263	926.688
+18347	935.971
+18443	957.162
+18462	945.711
+18567	955.508
+18675	969.268
+18882	995.408
+18946	995.628
+19131	1013.69
+19695	1105.03
+19723	1082.63
+19952	1102.51
+19978	1105.65