These Thurston maps are NET maps for every choice of translation term. They are primitive and have degree 32. ALL THURSTON MULTIPLIERS c/d IN UNREDUCED FORM 0/16, 0/32, 1/32, 1/8, 1/4, 2/8, 1/2, 2/4, 1/1, 2/2, 3/2, 6/4, 5/2, 3/1 6/2, 5/1, 10/2, 7/1, 14/2, 9/1, 11/1, 13/1, 15/1, 17/1, 23/1, 29/1 EXCLUDED INTERVALS FOR THE HALF-SPACE COMPUTATION (-infinity,-1.006050) (-0.994023,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 (-1.007119,-1.004938) -167/166 HST (-1.005586,-0.994476) -1/1 EXTENDED HST (-0.995110,-0.992981) -167/168 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: 1354 NONTRIVIAL CYCLES 0/1 -> 2/1 -> 0/1 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,31)(2,30)(3,29)(4,28)(5,27)(6,26)(7,25)(8,24)(9,23)(10,22)(11,21)(12,20)(13,19)(14,18)(15,17)", "b=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "c=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "d=(1,31)(2,30)(3,29)(4,28)(5,27)(6,26)(7,25)(8,24)(9,23)(10,22)(11,21)(12,20)(13,19)(14,18)(15,17)", "a*b*c*d"); When the translation term of the affine map is lambda1: NewSphereMachine( "a=<1,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,c,c,c,c,c,c,c>(1,2)(3,32)(4,31)(5,30)(6,29)(7,28)(8,27)(9,26)(10,25)(11,24)(12,23)(13,22)(14,21)(15,20)(16,19)(17,18)", "b=(2,32)(3,31)(4,30)(5,29)(6,28)(7,27)(8,26)(9,25)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,18)", "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,c,c,c,c,c,c,c,c*d>(2,32)(3,31)(4,30)(5,29)(6,28)(7,27)(8,26)(9,25)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,18)", "d=(1,2)(3,32)(4,31)(5,30)(6,29)(7,28)(8,27)(9,26)(10,25)(11,24)(12,23)(13,22)(14,21)(15,20)(16,19)(17,18)", "a*b*c*d"); When the translation term of the affine map is lambda2: NewSphereMachine( "a=<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*d>(2,32)(3,31)(4,30)(5,29)(6,28)(7,27)(8,26)(9,25)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,18)", "b=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "c=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "d=(2,32)(3,31)(4,30)(5,29)(6,28)(7,27)(8,26)(9,25)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,18)", "a*b*c*d"); When the translation term of the affine map is lambda1+lambda2: NewSphereMachine( "a=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "b=<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,c,c,c,c,c,c,c,c*d>(2,32)(3,31)(4,30)(5,29)(6,28)(7,27)(8,26)(9,25)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,18)", "c=(2,32)(3,31)(4,30)(5,29)(6,28)(7,27)(8,26)(9,25)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,18)", "d=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "a*b*c*d");