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/6, 0/9, 0/12, 0/36, 1/36, 1/18, 1/12, 1/9, 1/4, 1/3, 2/6, 1/2 2/4, 2/3, 3/4, 2/2, 3/3, 3/2, 5/3, 2/1, 6/3, 3/1, 6/1, 12/2, 7/1, 8/1, 10/1 13/1, 14/1, 15/1, 17/1, 30/1 EXCLUDED INTERVALS FOR THE HALF-SPACE COMPUTATION (-infinity,-1.017301) (-0.983278,-0.602472) (-0.597161,-0.036180) (-0.035928,-0.035503) (-0.033520,-0.033149) (-0.031414,-0.031088) (-0.029557,-0.029268) (-0.027907,-0.027650) (-0.026432,-0.026201) (-0.025105,-0.024896) (-0.023904,-0.023715) (-0.022814,-0.022642) (-0.021818,-0.021661) (-0.020906,-0.020761) (-0.020067,-0.019934) ( 0.019934,0.020067 ) ( 0.020761,0.020906 ) ( 0.021661,0.021818 ) ( 0.022642,0.022814 ) ( 0.023715,0.023904 ) ( 0.024896,0.025105 ) ( 0.026201,0.026432 ) ( 0.027650,0.027907 ) ( 0.029268,0.029557 ) ( 0.031088,0.031414 ) ( 0.033149,0.033520 ) ( 0.035503,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.020173,-1.014327) -59/58 HST (-1.016706,-1.011876) -71/70 HST (-1.013917,-1.009901) -426/421 HST (-1.011797,-1.011732) -86/85 HST (-1.009958,-1.009845) -102/101 HST (-1.011457,-1.008157) -103/102 HST (-1.009421,-1.006711) -124/123 HST (-1.008083,-0.992045) -1/1 EXTENDED HST (-0.994250,-0.989632) -123/124 HST (-0.991890,-0.985404) -87/88 HST (-0.988537,-0.988475) -86/87 HST (-0.988399,-0.983834) -71/72 HST (-0.986072,-0.980609) -59/60 HST (-0.603536,-0.601277) -50/83 HST (-0.601671,-0.598338) -3/5 EXTENDED HST (-0.598456,-0.596958) -52/87 HST (-0.597701,-0.596737) -43/72 HST (-0.038806,-0.033233) -6/167 HST (-0.035355,-0.028110) -1/31 EXTENDED HST -> HST (-0.030162,-0.025761) -6/215 HST (-0.028216,-0.022400) -1/39 EXTENDED HST -> HST (-0.024505,-0.019438) -1/45 EXTENDED HST -> HST (-0.105415,0.133629 ) 0/1 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: 8617 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,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,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,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,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,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,1,c,c,c,c,c,c,c,c>(1,2)(3,36)(4,35)(5,34)(6,33)(7,32)(8,31)(9,30)(10,29)(11,28)(12,27)(13,26)(14,25)(15,24)(16,23)(17,22)(18,21)(19,20)", "b=<1,b,c^-1*b,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,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)", "d=<1,a,d*a,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,1,c,c,c,c,c,c,c,b*c>(1,2)(3,36)(4,35)(5,34)(6,33)(7,32)(8,31)(9,30)(10,29)(11,28)(12,27)(13,26)(14,25)(15,24)(16,23)(17,22)(18,21)(19,20)", "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,c^-1,1,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*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,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,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,d*a*c*a*b,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,1,1,c,c,c,c,c,c,b*c,c*d*b*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"); 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,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)", "c=<1,b,c^-1*b,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,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");