diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/ind/vf2ppInd15_0.6.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/ind/vf2ppInd15_0.6.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,30 @@
+136	0.165667
+1037	1.349
+1104	1.43567
+1198	1.58233
+1204	1.641
+1400	1.924
+1533	2.02433
+1669	2.29033
+1723	2.36067
+2230	3.12033
+3701	5.424
+4063	6.157
+4258	6.25533
+4476	6.64567
+5205	7.83367
+5304	8.06333
+5718	8.58367
+6123	9.443
+6141	9.535
+6192	9.48433
+6711	10.6077
+6973	11.155
+7075	11.1143
+7294	11.6163
+7653	12.2893
+7869	12.6847
+7878	12.678
+8668	13.8913
+8726	14.3277
+9523	15.6823