diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/ind/vf2ppInd15_0.8.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/ind/vf2ppInd15_0.8.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,30 @@
+57	0.099
+864	1.69167
+1355	2.68633
+1402	2.852
+1580	3.21867
+2161	4.597
+2295	4.885
+2368	5.01667
+2585	5.51133
+2720	5.82433
+3126	6.803
+3151	6.917
+4218	9.72633
+4886	11.0813
+5022	11.658
+5239	12.1167
+5344	12.2433
+5361	12.1497
+5375	12.3153
+5819	13.4813
+5930	13.69
+6273	14.7603
+6477	15.2887
+6947	16.3877
+7598	18.3013
+8269	19.8827
+8736	21.7027
+8868	21.4237
+8972	21.9797
+9725	23.7263