These Thurston maps are NET maps for every choice of translation term. They are primitive and have degree 32. ALL THURSTON MULTIPLIERS c/d IN UNREDUCED FORM 0/32, 1/32, 1/16, 1/8, 1/4, 3/8, 1/2, 3/4, 1/1, 5/4, 3/2, 7/4, 5/2, 3/1 7/2, 9/2, 5/1, 11/2, 13/2, 7/1, 15/2, 9/1, 11/1, 13/1, 15/1, 17/1, 19/1 21/1, 23/1, 25/1, 27/1, 29/1, 31/1 EXCLUDED INTERVALS FOR THE HALF-SPACE COMPUTATION (-infinity,-1.000000) (-0.993898,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.005586,-0.994476) -1/1 EXTENDED HST (-0.996109,-0.991638) -163/164 HST The supplemental half-space computation shows that these NET maps are rational. SLOPE FUNCTION INFORMATION NUMBER OF FIXED POINTS: 1 EQUATOR? FIXED POINT c d 0 lambda1 lambda2 lambda1+lambda2 2/1 1 16 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: 2230 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 either one of the above cycles or the nonslope. FUNDAMENTAL GROUP WREATH RECURSIONS When the translation term of the affine map is 0: NewSphereMachine( "a=(1,31)(2,30)(3,29)(4,28)(5,27)(6,26)(7,25)(8,24)(9,23)(10,22)(11,21)(12,20)(13,19)(14,18)(15,17)", "b=(1,31)(2,30)(3,29)(4,28)(5,27)(6,26)(7,25)(8,24)(9,23)(10,22)(11,21)(12,20)(13,19)(14,18)(15,17)", "c=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "d=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "a*b*c*d"); When the translation term of the affine map is lambda1: NewSphereMachine( "a=(2,32)(3,31)(4,30)(5,29)(6,28)(7,27)(8,26)(9,25)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,18)", "b=(2,32)(3,31)(4,30)(5,29)(6,28)(7,27)(8,26)(9,25)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,18)", "c=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "d=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "a*b*c*d"); When the translation term of the affine map is lambda2: NewSphereMachine( "a=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "b=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "c=(1,31)(2,30)(3,29)(4,28)(5,27)(6,26)(7,25)(8,24)(9,23)(10,22)(11,21)(12,20)(13,19)(14,18)(15,17)", "d=(1,31)(2,30)(3,29)(4,28)(5,27)(6,26)(7,25)(8,24)(9,23)(10,22)(11,21)(12,20)(13,19)(14,18)(15,17)", "a*b*c*d"); When the translation term of the affine map is lambda1+lambda2: NewSphereMachine( "a=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "b=(1,32)(2,31)(3,30)(4,29)(5,28)(6,27)(7,26)(8,25)(9,24)(10,23)(11,22)(12,21)(13,20)(14,19)(15,18)(16,17)", "c=(2,32)(3,31)(4,30)(5,29)(6,28)(7,27)(8,26)(9,25)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,18)", "d=(2,32)(3,31)(4,30)(5,29)(6,28)(7,27)(8,26)(9,25)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,18)", "a*b*c*d"); ****************************INTEGER OVERFLOW REPORT***************************** Imminent integer overflow occurred during the computation of a fixed point excluded interval about -889949/919647. Imminent integer overflow occurred during the computation of a fixed point excluded interval about -9455371/9770901. Imminent integer overflow occurred during the computation of a fixed point excluded interval about -9455371/9770901. Imminent integer overflow occurred during the computation of a fixed point excluded interval about -9455371/9770901. Imminent integer overflow halted computation of the slope function at slope -746485/461546 during the modular group computation. This caused the modular group computation to abort.