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/12, 0/36, 1/36, 1/18, 1/9, 1/6, 2/9, 1/4, 1/3, 2/6, 2/4, 2/3, 3/4, 1/1 2/2, 3/3, 4/4, 3/2, 5/3, 2/1, 7/3, 3/1, 6/2, 5/1, 6/1, 13/2, 7/1, 10/1, 11/1 13/1, 14/1, 15/1, 17/1, 31/1 EXCLUDED INTERVALS FOR THE HALF-SPACE COMPUTATION (-infinity,-1.008883) (-0.991272,-0.373667) (-0.372595,-0.338028) (-0.328767,-0.301557) (-0.298852,-0.214953) (-0.213498,-0.203032) (-0.196721,-0.189272) (-0.186992,-0.152281) (-0.152249,-0.152091) (-0.148885,-0.147572) (-0.147465,-0.145455) (-0.140351,-0.138528) (-0.138434,-0.137299) (-0.134532,-0.116730) (-0.114724,-0.113942) (-0.113879,-0.113360) (-0.108949,-0.108475) (-0.108417,-0.107719) (-0.106009,-0.096491) (-0.095719,-0.094636) (-0.093313,-0.092796) (-0.089098,-0.088626) (-0.087465,-0.086560) (-0.085938,-0.080882) (-0.080339,-0.079575) (-0.074442,-0.073786) (-0.072289,-0.070588) (-0.069217,-0.068649) (-0.064795,-0.064297) (-0.063158,-0.061856) (-0.060800,-0.060362) (-0.057362,-0.056971) (-0.056075,-0.055046) (-0.054209,-0.053860) (-0.051458,-0.051144) (-0.050420,-0.049587) (-0.048906,-0.048622) (-0.046657,-0.046398) (-0.045802,-0.045113) (-0.044549,-0.044313) (-0.042674,-0.042458) (-0.041958,-0.041379) (-0.040904,-0.040705) (-0.038710,-0.038217) (-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,0.035928 ) ( 0.038217,0.038710 ) ( 0.040705,0.040904 ) ( 0.041379,0.041958 ) ( 0.042458,0.042674 ) ( 0.044313,0.044549 ) ( 0.045113,0.045802 ) ( 0.046398,0.046657 ) ( 0.048622,0.048906 ) ( 0.049587,0.050420 ) ( 0.051144,0.051458 ) ( 0.053860,0.054209 ) ( 0.055046,0.056075 ) ( 0.056971,0.057362 ) ( 0.060362,0.060800 ) ( 0.061856,0.063158 ) ( 0.064297,0.064795 ) ( 0.068649,0.069217 ) ( 0.070588,0.072289 ) ( 0.073786,0.074442 ) ( 0.079575,0.080339 ) ( 0.080882,0.085938 ) ( 0.086560,0.087465 ) ( 0.088626,0.089098 ) ( 0.092796,0.093313 ) ( 0.094636,0.095719 ) ( 0.096491,0.106009 ) ( 0.107719,0.108417 ) ( 0.108475,0.108949 ) ( 0.113360,0.113879 ) ( 0.113942,0.114724 ) ( 0.116730,0.134532 ) ( 0.137299,0.138434 ) ( 0.138528,0.140351 ) ( 0.145455,0.147465 ) ( 0.147572,0.148885 ) ( 0.152091,0.152249 ) ( 0.152281,0.186992 ) ( 0.189272,0.196721 ) ( 0.203032,0.213498 ) ( 0.214953,0.298852 ) ( 0.301557,0.328767 ) ( 0.338028,0.372595 ) ( 0.373667,0.991272 ) ( 1.008883,infinity ) 1/0 is the slope of a Thurston obstruction with c = 1 and d = 1. These NET maps are not rational. SLOPE FUNCTION INFORMATION NUMBER OF FIXED POINTS: 1 EQUATOR? FIXED POINT c d 0 lambda1 lambda2 lambda1+lambda2 1/0 1 1 No No No No NUMBER OF EQUATORS: 0 0 0 0 There are no more slope function fixed points. Number of excluded intervals computed by the fixed point finder: 4284 No nontrivial cycles were found. The slope function maps some slope to the nonslope. If the slope function maps slope s to a slope s' and if the intersection pairing of s with 1/0 is n, then the intersection pairing of s' with 1/0 is at most n. The slope function orbit of every slope whose intersection pairing with 1/0 is at most 50 ends in either the nonslope or one of the slopes described above. 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,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=(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,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=(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^-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*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=(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");