diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/ind/vf2ppInd7_0.95.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/ind/vf2ppInd7_0.95.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,28 @@
+20	0.029
+59	0.0793333
+80	0.106
+108	0.137667
+166	0.235
+176	0.238667
+222	0.303333
+444	0.61
+624	0.854333
+631	0.857
+669	0.906333
+757	1.02633
+876	1.198
+891	1.20467
+1124	1.565
+1193	1.66233
+1217	1.75233
+1345	1.89033
+1449	2.063
+1603	2.35167
+1655	2.424
+2079	3.209
+2129	3.17833
+2567	3.89
+2716	4.233
+3103	4.88267
+3657	5.85833
+4945	8.292