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/12, 1/6, 1/4, 1/3, 1/2, 2/4, 1/1, 2/2, 3/3 4/3, 7/3, 3/1, 7/2, 4/1, 5/1, 7/1, 8/1, 11/1, 13/1, 15/1, 31/1 EXCLUDED INTERVALS FOR THE HALF-SPACE COMPUTATION (-18.441169,-1.018105) ( -0.981625,-0.018375) ( 0.018105,18.441169) 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.022723,-1.012417) -57/56 HST ( -1.012422,-1.012270) -82/81 HST ( -1.013709,-1.010809) -165/163 HST ( -1.012199,-1.012191) -83/82 EXTENDED HST ( -1.013900,-1.007625) -94/93 HST ( -1.008083,-0.992045) -1/1 EXTENDED HST ( -0.994203,-0.989547) -121/122 HST ( -0.991797,-0.985237) -84/85 HST ( -0.988177,-0.988013) -83/84 HST ( -0.987954,-0.987949) -82/83 EXTENDED HST ( -0.987809,-0.987801) -81/82 EXTENDED HST ( -0.987730,-0.987578) -80/81 HST ( -0.987509,-0.987491) -79/80 EXTENDED HST ( -0.987457,-0.977506) -54/55 HST ( -0.022494,-0.012543) -1/55 HST ( -0.013226,-0.011834) -4/319 HST ( -0.012509,-0.012491) -1/80 EXTENDED HST ( -0.014763,-0.008203) -1/85 HST ( -0.010453,-0.005797) -1/122 HST ( -0.007955,0.008084 ) 0/1 EXTENDED HST ( 0.005770,0.010502 ) 1/123 HST ( 0.008149,0.014862 ) 1/85 HST ( 0.011823,0.011987 ) 1/84 HST ( 0.012046,0.012051 ) 1/83 EXTENDED HST ( 0.012191,0.012199 ) 1/82 EXTENDED HST ( 0.012270,0.012422 ) 1/81 HST ( 0.012417,0.022723 ) 1/56 HST -10.391602)(9.392578 infinity EXTENDED 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: 20326 No nontrivial cycles were found. 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 the nonslope. If the slope function maps slope p/q to slope p'/q', then |p'| <= |p| for every slope p/q with |p| <= 50 and |q| <= 50. If the slope function maps slope p/q to slope p'/q', then |q'| <= |q| for every slope p/q with |p| <= 50 and |q| <= 50. 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*d>(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,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,b^-1*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)", "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,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,b^-1*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)", "d=<1,c^-1*a^-1*b,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,b^-1*d*a*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)", "a*b*c*d");