diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/ind/vf2ppInd10_0.95.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/ind/vf2ppInd10_0.95.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,39 @@
+550	0.977333
+628	1.12967
+660	1.16167
+1192	2.21433
+1663	3.18033
+1749	3.43967
+2082	4.02067
+2355	4.75233
+2375	4.75433
+2946	6.37567
+3499	7.39967
+3567	7.56767
+3774	8.10367
+4189	9.01667
+4205	9.05533
+4214	9.09067
+4414	9.57467
+4430	10.0363
+4481	9.95667
+4500	9.74033
+4861	10.8177
+5162	11.4517
+5650	12.598
+5724	13.0937
+5795	13.2703
+5944	13.2853
+6006	13.8167
+6057	13.4997
+6462	14.4263
+6536	14.7693
+6668	15.2183
+6996	15.9877
+7594	17.3567
+7936	18.2223
+8716	20.4137
+9142	21.4613
+9164	21.742
+9435	21.7353
+9465	22.3537