These Thurston maps are NET maps for every choice of translation term. They are primitive and have degree 36. ALL THURSTON MULTIPLIERS c/d IN UNREDUCED FORM 0/1, 0/3, 0/9, 0/18, 0/36, 1/36, 1/12, 2/9, 1/4, 2/6, 2/4, 2/3, 2/2, 4/4 5/4, 4/3, 2/1, 4/2, 8/3, 4/1, 8/2, 14/2, 8/1, 10/1, 14/1, 16/1, 20/1, 22/1 32/1 EXCLUDED INTERVALS FOR THE HALF-SPACE COMPUTATION (-infinity,-0.507828) (-0.494382,infinity ) The half-space computation does not determine rationality. EXCLUDED INTERVALS FOR JUST THE SUPPLEMENTAL HALF-SPACE COMPUTATION INTERVAL COMPUTED FOR HST OR EXTENDED HST (-0.508772,-0.506173) -33/65 HST (-0.506250,-0.506098) -41/81 HST (-0.507071,-0.504990) -42/83 HST (-0.505654,-0.504052) -51/101 HST (-0.504084,-0.504046) -311/617 HST (-0.504172,-0.503905) -187/371 HST (-0.504042,-0.496022) -1/2 EXTENDED HST (-0.496183,-0.494640) -53/107 HST (-0.495292,-0.493482) -44/89 HST The supplemental half-space computation shows that these NET maps are rational. SLOPE FUNCTION INFORMATION There are no slope function fixed points. Number of excluded intervals computed by the fixed point finder: 7424 NONTRIVIAL CYCLES 1/0 -> 3/1 -> 1/0 The slope function maps some slope to the nonslope. The slope function orbit of every slope p/q with |p| <= 50 and |q| <= 50 ends in either one of the above cycles or the nonslope. FUNDAMENTAL GROUP WREATH RECURSIONS When the translation term of the affine map is 0: NewSphereMachine( "a=(1,35)(2,34)(3,33)(4,32)(5,31)(6,30)(7,29)(8,28)(9,27)(10,26)(11,25)(12,24)(13,23)(14,22)(15,21)(16,20)(17,19)", "b=(1,35)(2,34)(3,33)(4,32)(5,31)(6,30)(7,29)(8,28)(9,27)(10,26)(11,25)(12,24)(13,23)(14,22)(15,21)(16,20)(17,19)", "c=(1,36)(2,35)(3,34)(4,33)(5,32)(6,31)(7,30)(8,29)(9,28)(10,27)(11,26)(12,25)(13,24)(14,23)(15,22)(16,21)(17,20)(18,19)", "d=(1,36)(2,35)(3,34)(4,33)(5,32)(6,31)(7,30)(8,29)(9,28)(10,27)(11,26)(12,25)(13,24)(14,23)(15,22)(16,21)(17,20)(18,19)", "a*b*c*d"); When the translation term of the affine map is lambda1: NewSphereMachine( "a=<1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,c,c,c,c,c,c,c,c,c>(2,36)(3,35)(4,34)(5,33)(6,32)(7,31)(8,30)(9,29)(10,28)(11,27)(12,26)(13,25)(14,24)(15,23)(16,22)(17,21)(18,20)", "b=<1,b,c^-1*b,c^-1*b,c^-1*b,c^-1*b,c^-1*b,c^-1*b,c^-1*b,c^-1*b,b,b,b,b,b,b,b,b,b,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1*c,b^-1*c,b^-1*c,b^-1*c,b^-1*c,b^-1*c,b^-1*c,b^-1*c,b^-1>(2,36)(3,35)(4,34)(5,33)(6,32)(7,31)(8,30)(9,29)(10,28)(11,27)(12,26)(13,25)(14,24)(15,23)(16,22)(17,21)(18,20)", "c=(1,36)(2,35)(3,34)(4,33)(5,32)(6,31)(7,30)(8,29)(9,28)(10,27)(11,26)(12,25)(13,24)(14,23)(15,22)(16,21)(17,20)(18,19)", "d=(1,36)(2,35)(3,34)(4,33)(5,32)(6,31)(7,30)(8,29)(9,28)(10,27)(11,26)(12,25)(13,24)(14,23)(15,22)(16,21)(17,20)(18,19)", "a*b*c*d"); When the translation term of the affine map is lambda2: NewSphereMachine( "a=(1,36)(2,35)(3,34)(4,33)(5,32)(6,31)(7,30)(8,29)(9,28)(10,27)(11,26)(12,25)(13,24)(14,23)(15,22)(16,21)(17,20)(18,19)", "b=(1,36)(2,35)(3,34)(4,33)(5,32)(6,31)(7,30)(8,29)(9,28)(10,27)(11,26)(12,25)(13,24)(14,23)(15,22)(16,21)(17,20)(18,19)", "c=(1,35)(2,34)(3,33)(4,32)(5,31)(6,30)(7,29)(8,28)(9,27)(10,26)(11,25)(12,24)(13,23)(14,22)(15,21)(16,20)(17,19)", "d=(1,35)(2,34)(3,33)(4,32)(5,31)(6,30)(7,29)(8,28)(9,27)(10,26)(11,25)(12,24)(13,23)(14,22)(15,21)(16,20)(17,19)", "a*b*c*d"); When the translation term of the affine map is lambda1+lambda2: NewSphereMachine( "a=(1,36)(2,35)(3,34)(4,33)(5,32)(6,31)(7,30)(8,29)(9,28)(10,27)(11,26)(12,25)(13,24)(14,23)(15,22)(16,21)(17,20)(18,19)", "b=(1,36)(2,35)(3,34)(4,33)(5,32)(6,31)(7,30)(8,29)(9,28)(10,27)(11,26)(12,25)(13,24)(14,23)(15,22)(16,21)(17,20)(18,19)", "c=<1,b,c^-1*b,c^-1*b,c^-1*b,c^-1*b,c^-1*b,c^-1*b,c^-1*b,c^-1*b,b,b,b,b,b,b,b,b,b,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1*c,b^-1*c,b^-1*c,b^-1*c,b^-1*c,b^-1*c,b^-1*c,b^-1*c,b^-1>(2,36)(3,35)(4,34)(5,33)(6,32)(7,31)(8,30)(9,29)(10,28)(11,27)(12,26)(13,25)(14,24)(15,23)(16,22)(17,21)(18,20)", "d=<1,b*c*b,c^-1*b^2,c^-1*b^2,c^-1*b^2,c^-1*b^2,c^-1*b^2,c^-1*b^2,c^-1*b^2,c^-1*b^2,b^2,b^2,b^2,b^2,b^2,b^2,b^2,b^2,1,b^-2,b^-2,b^-2,b^-2,b^-2,b^-2,b^-2,b^-2,b^-2*c,b^-2*c,b^-2*c,b^-2*c,b^-2*c,b^-2*c,b^-2*c,b^-2*c,b^-1*d*a>(2,36)(3,35)(4,34)(5,33)(6,32)(7,31)(8,30)(9,29)(10,28)(11,27)(12,26)(13,25)(14,24)(15,23)(16,22)(17,21)(18,20)", "a*b*c*d");