diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2pIso80_1.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/iso/vf2pIso80_1.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,30 @@
+460	7.11433
+1133	20.6937
+1988	43.029
+2419	52.139
+2865	68.0847
+4604	131.703
+4770	138.382
+5861	203.565
+6314	222.171
+7278	290.621
+7672	305.5
+8665	391.168
+9691	454.354
+10150	495.209
+10575	546.87
+11432	600.796
+11832	638.647
+11871	651.784
+13337	807.127
+13880	845.07
+14328	890.973
+14680	937.279
+16107	1134.06
+16527	1151.75
+17538	1303
+18692	1455.55
+18757	1465.22
+19043	1480.94
+19207	1530.19
+19547	1555.68