diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2ppIso35_1.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/iso/vf2ppIso35_1.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,149 @@
+26	0.077
+442	2.50867
+799	4.914
+912	5.52
+1000	6.26533
+1031	6.591
+1034	6.43033
+1126	7.35167
+1185	7.453
+1256	8.06933
+1363	8.99033
+1461	9.288
+1550	9.95567
+1569	10.1127
+1602	10.5247
+1678	10.84
+1882	12.0957
+2005	12.883
+2190	14.3587
+2238	14.7053
+2266	14.8173
+2291	15.0023
+2452	16.1017
+2515	16.309
+2537	16.4483
+2602	17.093
+2704	17.9393
+2752	18.184
+2947	19.2983
+3056	21.9477
+3254	21.6123
+3352	21.7217
+3366	21.7563
+3418	22.5123
+3463	23.0407
+3601	23.5653
+3716	25.9887
+4153	26.751
+4195	27.8617
+4285	27.8257
+4436	28.657
+4461	28.939
+4557	29.6107
+4640	30.375
+4719	30.8617
+4787	32.1797
+4856	31.3977
+4881	32.5457
+4976	32.2653
+5159	35.0043
+5206	33.623
+5268	34.1517
+5302	34.4293
+5409	35.1197
+5492	35.8633
+5563	35.8393
+5783	38.9637
+6024	39.713
+6050	39.4227
+6102	40.4507
+6193	40.072
+6279	41.4817
+6494	41.842
+6497	42.0333
+6764	44.8477
+7195	46.9697
+7338	51.709
+8172	57.4497
+8384	55.6
+8457	56.605
+8533	58.1627
+8563	59.454
+8721	58.173
+9259	67.7077
+9325	67.8053
+9401	66.8967
+9480	67.196
+9536	67.7077
+10414	72.192
+10542	72.7803
+10607	73.569
+10633	80.3677
+10661	78.0857
+11108	81.4237
+11194	83.2257
+11275	82.3177
+11295	87.6113
+11328	83.403
+12070	92.4137
+12167	90.6547
+12218	91.8017
+12243	92.0533
+12341	93.6583
+12481	94.461
+12489	94.1117
+12523	93.933
+12556	100.721
+12700	96.5863
+12820	99.859
+12888	98.734
+12901	102.914
+12923	112.891
+13242	101.758
+13318	103.185
+13419	103.468
+13436	102.987
+13704	106.974
+13850	108.169
+13884	107.727
+14050	111.306
+14352	113.103
+14430	112.981
+14441	120.451
+14485	114.615
+14617	118.104
+14770	119.14
+14848	118.077
+14913	118.202
+15383	125.555
+15413	131.999
+15504	125.287
+15517	126.886
+15950	131.498
+16097	131.951
+16134	133.346
+16230	140.328
+16324	135.845
+16329	134.236
+16342	134.317
+16728	140.073
+17286	145.706
+17405	145.403
+17468	144.804
+17619	145.933
+17625	147.113
+17840	148.07
+17870	148.472
+18250	153.789
+18612	164.447
+18616	156.911
+18655	162.553
+18951	165.779
+18980	160.143
+19122	163.148
+19285	165.125
+19311	169.478
+19523	163.851
+19743	168.437
+19862	175.334