diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/ind/vf2ppInd15_0.7.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/ind/vf2ppInd15_0.7.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,49 @@
+115	0.172667
+197	0.288333
+364	0.552
+392	0.621667
+914	1.50733
+950	1.57567
+1556	2.613
+1561	2.69567
+1702	2.94833
+1740	2.94633
+1834	3.12
+1982	3.45367
+1998	3.46433
+2023	3.472
+2092	3.586
+2187	3.82633
+2297	4.02933
+2314	4.08033
+2399	4.28333
+2450	4.43367
+2534	4.54633
+2570	4.59367
+2666	4.739
+2712	4.90267
+2725	4.784
+2729	4.82333
+2730	4.883
+2895	5.25267
+2920	5.23633
+2929	5.23967
+2997	5.37767
+3117	5.81833
+3149	5.81033
+3182	5.79967
+3451	6.29767
+3464	6.463
+3537	6.45167
+3564	6.591
+3594	6.57067
+3825	7.19667
+3892	7.172
+3972	7.33367
+4198	8.09167
+4243	7.99033
+4281	8.07633
+4327	8.302
+4776	9.09833
+4882	9.21733
+4938	9.47633