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,-0.336989) (-0.329756,-0.300000) (-0.299880,-0.272727) (-0.271523,-0.201151) (-0.198707,-0.017632) ( 0.017370,infinity ) 1/0 is the slope of a Thurston obstruction with c = 2 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 2 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: 6175 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,d*b,b,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,b^-1>(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,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,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=<1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,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)", "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^-2,c^-2,c^-2,c^-2,c^-2,c^-2,c^-2,c^-2,c^-2,c^-2,c^-2,c^-2,c^-2,c^-2,c^-2,c^-2,1,c^2,c^2,c^2,c^2,c^2,c^2,c^2,c^2,c^2,c^2,c^2,c^2,c^2,c^2,c^2,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,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,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,d*b,b,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,b^-1>(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"); ****************************INTEGER OVERFLOW REPORT***************************** Imminent integer overflow halted computation of the slope function at slope -424284/1512341 during the modular group computation. This caused the modular group computation to abort.