These Thurston maps are NET maps for every choice of translation term. They are primitive and have degree 35. ALL THURSTON MULTIPLIERS c/d IN UNREDUCED FORM 0/5, 0/7, 0/35, 1/7, 1/5, 2/7, 2/5, 1/1, 2/1, 3/1, 4/1, 5/1, 6/1, 7/1, 8/1 12/1, 13/1 EXCLUDED INTERVALS FOR THE HALF-SPACE COMPUTATION (-infinity,-0.032566) (-0.029412,-0.027778) (-0.025238,-0.024766) (-0.024066,-0.023559) (-0.022410,-0.022037) (-0.020596,-0.020224) (-0.020152,-0.019850) ( 0.019850,0.020152 ) ( 0.020224,0.020596 ) ( 0.022037,0.022410 ) ( 0.023559,0.024066 ) ( 0.024766,0.025238 ) ( 0.027778,0.029412 ) ( 0.032566,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.033652,-0.026320) -1/34 EXTENDED HST -> HST (-0.033794,-0.019540) -1/38 EXTENDED HST -> HST (-0.023587,-0.015374) -2/103 HST (-0.019308,-0.018794) -1/52 HST (-0.016922,-0.013085) -1/66 HST (-0.014663,-0.011419) -2/153 HST (-0.013063,-0.012912) -1/77 HST (-0.011522,-0.011337) -1/88 HST (-0.013656,-0.008901) -1/89 HST (-0.011265,-0.006513) -1/113 HST (-0.007636,0.007636 ) 0/1 EXTENDED HST ( 0.006513,0.011265 ) 1/113 HST ( 0.008882,0.015361 ) 1/83 HST ( 0.012079,0.018533 ) 1/66 HST ( 0.015374,0.023587 ) 1/51 HST ( 0.021040,0.026942 ) 1/41 EXTENDED HST -> HST ( 0.023755,0.030815 ) 1/36 EXTENDED HST -> HST ( 0.026017,0.039917 ) 1/31 EXTENDED HST -> 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: 14027 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 |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,34)(2,33)(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=(1,34)(2,33)(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)", "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: NewSphereMachine( "a=<1,c^-1,b*c^-1,b,b,b,b,b,b,b,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,c*b^-1,c>(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,a*b,b,b,b,b,b,b,b,b,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1>(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 lambda2: 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,34)(2,33)(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)", "d=(1,34)(2,33)(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 lambda1+lambda2: 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,a*b,b,b,b,b,b,b,b,b,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1>(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,b*c*a*b,b*c,b,b,b,b,b,b,b,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,d*a,c*d^2*a>(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");