diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/ind/vf2ppInd7_0.8.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/ind/vf2ppInd7_0.8.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,30 @@
+37	0.0366667
+70	0.0686667
+157	0.164333
+199	0.208667
+271	0.276667
+376	0.403
+379	0.399667
+380	0.404
+522	0.564333
+554	0.597667
+595	0.658667
+634	0.67
+718	0.777
+721	0.789333
+730	0.787
+928	1.02833
+1046	1.168
+1088	1.19933
+1156	1.28133
+1357	1.53
+1443	1.62433
+1564	1.788
+1579	1.79267
+1780	2.067
+1860	2.16867
+1876	2.22433
+2079	2.429
+2866	3.45133
+3318	4.071
+4068	5.20433