diff --git a/AutFN_orbit.jl b/AutFN_orbit.jl
index b45e4cb..a568755 100644
--- a/AutFN_orbit.jl
+++ b/AutFN_orbit.jl
@@ -6,7 +6,8 @@ using Nemo
 if VERSION >= v"0.6.0"
    import Nemo.Generic.perm
 end
-addprocs(2)
+
+addprocs(4)
 using PropertyT
 
 using Groups
diff --git a/SL_orbit.jl b/SL_orbit.jl
index 62303a7..7e3eab1 100644
--- a/SL_orbit.jl
+++ b/SL_orbit.jl
@@ -7,6 +7,7 @@ if VERSION >= v"0.6.0"
    import Nemo.Generic.perm
 end
 
+addprocs(4)
 using PropertyT
 
 using Groups