diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2pIso45_1.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/iso/vf2pIso45_1.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,150 @@
+386	3.324
+447	4.06567
+519	4.81933
+529	4.97867
+573	5.57967
+656	6.73867
+666	6.672
+748	7.827
+824	8.74667
+922	10.081
+1000	11.2587
+1044	11.9267
+1143	13.4053
+1265	15.4557
+1633	21.8493
+1658	22.334
+1958	28.6863
+2003	30.1503
+2540	41.2023
+2617	43.164
+2623	43.2203
+2717	45.6173
+2755	46.595
+3021	52.3687
+3236	59.2987
+3491	67.2967
+3495	65.7783
+3697	73.0793
+3784	78.2883
+3973	81.3153
+4083	88.315
+4598	104.858
+4620	104.158
+4794	108.409
+4801	112.288
+4806	111.156
+4844	112.877
+5005	119.541
+5118	124.07
+5228	128.434
+5476	135.121
+5548	140.343
+5720	146.911
+5845	152.382
+5982	157.441
+6046	159.133
+6234	168.881
+6714	198.679
+6745	193.284
+6979	204.869
+7260	219.403
+7265	229.402
+7287	220.426
+7300	220.593
+7551	235.394
+7984	257.437
+8093	271.482
+8098	264.817
+8126	266.335
+8224	271.423
+8352	280.608
+8690	300.082
+8994	319.219
+8995	321.315
+9106	334.572
+9306	336.308
+9359	340.842
+9684	365.062
+9867	388.231
+10038	388.307
+10061	397.366
+10064	390.465
+10130	405.824
+10344	413.651
+10490	424.256
+11260	489.118
+11353	491.77
+11457	504.883
+11476	501.149
+11504	501.732
+11580	509.844
+11685	516.264
+11705	515.238
+11767	525.811
+11788	531.134
+11932	535.159
+12075	545.18
+12293	568.972
+12513	583.664
+12648	592.057
+12688	597.951
+12785	606.024
+12821	606.887
+12830	612.502
+12843	613.34
+13117	638.367
+13182	642.164
+13202	645.85
+13290	652.754
+13444	661.455
+13503	667.127
+14053	719.333
+14056	729.83
+14132	749.617
+14195	734.141
+14242	735.271
+14592	770.466
+14882	797.771
+14890	798.353
+14946	811.182
+14970	806.116
+15017	812.877
+15137	833.765
+15331	852.753
+15393	868.11
+15717	908.828
+16082	923.461
+16279	952.989
+16482	963.094
+16497	979.317
+16598	981.681
+16791	998.893
+16815	1004.67
+16832	1010.97
+16909	1033.43
+16915	1012.6
+17049	1033.48
+17282	1063.13
+17472	1085.4
+17490	1083.74
+17501	1077.6
+17587	1101.97
+17764	1131.28
+17765	1119.24
+17933	1139.88
+18063	1141.84
+18132	1160.64
+18211	1166.42
+18484	1202.17
+18556	1219.2
+18581	1212.34
+18719	1250.32
+18853	1239.53
+18892	1260.8
+18969	1264.25
+19108	1296.38
+19248	1295.03
+19283	1303.22
+19819	1375.7
+19884	1380.73