diff --git a/README.md b/README.md
index 85c4c83..305cf53 100644
--- a/README.md
+++ b/README.md
@@ -53,7 +53,7 @@ julia SL_orbit.jl -N 4 --radius 2 --upper-bound 1.3
 ```
 to find (and certify) the spectral gap for $SL(4, \mathbb{Z})$ is at least `1.2999...` in just under $2$ minutes time (for comparison this result requires over `5` hours in the old implementation on the same hardware).
 
-To replicate the results of _$\operatorname{Aut}(\textbf{F}_5)$ has property (T)_ article (currently not published) You neet to run (on a `4`-core CPU)
+To replicate the results of _$\operatorname{Aut}(\textbf{F}_5)$ has property (T)_ You neet to run (on a `4`-core CPU)
 ```shell
 julia ../AutFN_orbit.jl -N 5 --upper-bound 1.2 --iterations 24000000 --cpus 4
 ```
@@ -102,3 +102,27 @@ Pkg.checkout("GroupRings", "1703.09680v1")
 Pkg.checkout("PropertyT", "1703.09680v1")
 Pkg.resolve()
 ```
+
+# Specific version of [1712.07167](https://arxiv.org/abs/1712.07167)
+
+You need to run `julia-0.6`. In REPL execute
+```julia
+Pkg.add("ArgParse")
+Pkg.add("Nemo")
+Pkg.clone("https://git.wmi.amu.edu.pl/kalmar/Groups.jl.git")
+Pkg.checkout("Groups", "1712.07167")
+Pkg.clone("https://git.wmi.amu.edu.pl/kalmar/GroupRings.jl.git")
+Pkg.checkout("GroupRings", "1712.07167")
+Pkg.clone("https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl.git")
+Pkg.checkout("PropertyT", "1712.07167")
+Pkg.checkout("SCS")
+Pkg.build("SCS")
+```
+
+This should resolve all the dependencies. Quit `julia` and place the `oSAutF5_r2` folder downloaded from [here](https://cloud.impan.pl/s/fGIpxvxdTYYkUxK) inside `GroupsWithPropertyT` folder. To verify the decomposition of $\Delta^2 - \lambda \Delta$ for the group run (if You have a `4`-core CPU at Your disposal)
+```julia
+julia AutFN_orbit.jl -N 5 --upper-bound=1.2 --cpus 4
+```
+If You want to generate `pm` and other files on Your own delete everything from the `oSAutF5_r2` folder but `1.2` folder and its contents and run the same command again.
+
+Note: You need at least `32`GB of RAM and spare `24`h of Your CPU.