These Thurston maps are NET maps for every choice of translation term. They have degree 38. They are imprimitive, each factoring as a NET map with degree 19 followed by a Euclidean NET map with degree 2. ALL THURSTON MULTIPLIERS c/d IN UNREDUCED FORM 0/1, 0/19, 0/38, 2/19, 1/2, 2/2, 3/2, 2/1, 4/2, 5/2, 6/2, 4/1, 6/1, 8/1 10/1, 12/1, 14/1, 26/1 EXCLUDED INTERVALS FOR THE HALF-SPACE COMPUTATION (-14.718818,-0.507217) ( -0.491994,0.491994 ) ( 0.507431,0.985926 ) ( 1.013886,2.000000 ) ( 2.000000,13.928369) 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.508611,-0.491534) -1/2 EXTENDED HST ( 0.489653,0.494722 ) 31/63 HST ( 0.491082,0.498447 ) 47/95 HST ( 0.495731,0.504269 ) 1/2 EXTENDED HST ( 0.503378,0.506622 ) 51/101 HST ( 0.504967,0.509739 ) 35/69 HST ( 0.981605,0.990617 ) 71/72 HST ( 0.987737,0.993745 ) 106/107 HST ( 0.991462,1.008686 ) 1/1 EXTENDED HST ( 1.006218,1.012337 ) 109/108 HST ( 1.009299,1.018562 ) 74/73 HST ( 1.974817,2.026059 ) 2/1 EXTENDED HST -5.664062)(6.665039 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: 18272 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,37)(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,37)(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,38)(2,37)(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)", "d=(1,38)(2,37)(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 lambda1: NewSphereMachine( "a=(2,38)(3,37)(4,36)(5,35)(6,34)(7,33)(8,32)(9,31)(10,30)(11,29)(12,28)(13,27)(14,26)(15,25)(16,24)(17,23)(18,22)(19,21)", "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,1,1,1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1>(2,38)(3,37)(4,36)(5,35)(6,34)(7,33)(8,32)(9,31)(10,30)(11,29)(12,28)(13,27)(14,26)(15,25)(16,24)(17,23)(18,22)(19,21)", "c=(1,38)(2,37)(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)", "d=(1,38)(2,37)(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,38)(2,37)(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,38)(2,37)(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)", "c=(1,37)(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,37)(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,38)(2,37)(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,38)(2,37)(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)", "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,1,1,1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1>(2,38)(3,37)(4,36)(5,35)(6,34)(7,33)(8,32)(9,31)(10,30)(11,29)(12,28)(13,27)(14,26)(15,25)(16,24)(17,23)(18,22)(19,21)", "d=(2,38)(3,37)(4,36)(5,35)(6,34)(7,33)(8,32)(9,31)(10,30)(11,29)(12,28)(13,27)(14,26)(15,25)(16,24)(17,23)(18,22)(19,21)", "a*b*c*d");