diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/ind/vf2ppInd32_0.8.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/ind/vf2ppInd32_0.8.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,30 @@
+248	0.872333
+439	1.55767
+443	1.63633
+1328	5.37267
+1471	6.00033
+2396	10.006
+2454	10.3023
+2968	12.4067
+2997	12.942
+3149	13.509
+3328	14.336
+3472	14.9353
+3850	16.56
+4055	17.5867
+5013	22.144
+5059	23.2843
+5663	25.5683
+5728	26.1993
+6077	28.2707
+6448	29.18
+6510	28.466
+6532	29.3593
+7140	31.576
+7297	32.294
+7470	33.6157
+7628	33.767
+8250	38.49
+8333	39.233
+8834	42.1883
+9980	48.5733