These Thurston maps are NET maps for every choice of translation term. They are primitive and have degree 35. ALL THURSTON MULTIPLIERS c/d IN UNREDUCED FORM 0/1, 0/5, 0/7, 0/35, 1/35, 1/7, 1/5, 2/5, 3/5, 1/1, 2/1, 3/1, 4/1, 5/1, 6/1 8/1, 9/1, 10/1, 11/1, 13/1, 15/1, 16/1, 17/1, 23/1, 29/1 EXCLUDED INTERVALS FOR THE HALF-SPACE COMPUTATION (-infinity,-1.017251) (-0.983324,0.664470 ) ( 0.669497,0.983095 ) ( 1.017497,2.000000 ) ( 2.000000,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.203336,-0.855388) -1/1 EXTENDED HST ( 0.659414,0.673618 ) 2/3 EXTENDED HST ( 0.982180,0.984111 ) 117/119 HST ( 0.983208,0.983457 ) 59/60 HST ( 0.981877,0.986912 ) 62/63 HST ( 0.984787,0.988943 ) 76/77 HST ( 0.987223,0.991017 ) 90/91 HST ( 0.989546,0.992592 ) 111/112 HST ( 0.991393,0.993898 ) 134/135 HST ( 0.992864,0.994938 ) 163/164 HST ( 0.994766,0.995113 ) 983/988 HST ( 0.994940,0.994959 ) 197/198 HST ( 0.994320,0.995969 ) 204/205 HST ( 0.995194,1.004853 ) 1/1 EXTENDED HST ( 1.004472,1.006279 ) 187/186 HST ( 1.005387,1.005424 ) 186/185 HST ( 1.005414,1.007566 ) 154/153 HST ( 1.006551,1.009341 ) 127/126 HST ( 1.007977,1.011259 ) 104/103 HST ( 1.009768,1.009840 ) 103/102 HST ( 1.009839,1.009963 ) 102/101 HST ( 1.009953,1.013834 ) 86/85 HST ( 1.011842,1.016741 ) 72/71 HST ( 1.014203,1.020333 ) 59/58 HST ( 1.987223,2.012778 ) 2/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: 10950 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. FUNDAMENTAL GROUP WREATH RECURSIONS When the translation term of the affine map is 0: NewSphereMachine( "a=<1,c^-1,b^-1*d^-1,c^-1,c,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>(2,3)(4,5)(6,7)(8,9)(10,11)(12,13)(14,15)(16,17)(18,19)(20,21)(22,23)(24,25)(26,27)(28,29)(30,31)(32,33)(34,35)", "b=<1,d,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,1>(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)", "c=<1,b,1,1,c,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>(2,3)(4,5)(6,7)(8,9)(10,11)(12,13)(14,15)(16,17)(18,19)(20,21)(22,23)(24,25)(26,27)(28,29)(30,31)(32,33)(34,35)", "d=(1,3)(2,5)(4,7)(6,9)(8,11)(10,13)(12,15)(14,17)(16,19)(18,21)(20,23)(22,25)(24,27)(26,29)(28,31)(30,33)(32,35)", "a*b*c*d"); When the translation term of the affine map is lambda1: NewSphereMachine( "a=(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)", "b=<1,a,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,1>(2,3)(4,5)(6,7)(8,9)(10,11)(12,13)(14,15)(16,17)(18,19)(20,21)(22,23)(24,25)(26,27)(28,29)(30,31)(32,33)(34,35)", "c=<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,1,1,1>(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)", "d=(1,4)(3,6)(5,8)(7,10)(9,12)(11,14)(13,16)(15,18)(17,20)(19,22)(21,24)(23,26)(25,28)(27,30)(29,32)(31,34)(33,35)", "a*b*c*d"); When the translation term of the affine map is lambda2: NewSphereMachine( "a=<1,1,c^-1,c,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,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)", "b=<1,b,1,1,c,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>(2,3)(4,5)(6,7)(8,9)(10,11)(12,13)(14,15)(16,17)(18,19)(20,21)(22,23)(24,25)(26,27)(28,29)(30,31)(32,33)(34,35)", "c=<1,d,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,1>(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)", "d=(1,4)(3,6)(5,8)(7,10)(9,12)(11,14)(13,16)(15,18)(17,20)(19,22)(21,24)(23,26)(25,28)(27,30)(29,32)(31,34)(33,35)", "a*b*c*d"); When the translation term of the affine map is lambda1+lambda2: NewSphereMachine( "a=<1,b*d*a,b*c,1,b*c*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>(2,3)(4,5)(6,7)(8,9)(10,11)(12,13)(14,15)(16,17)(18,19)(20,21)(22,23)(24,25)(26,27)(28,29)(30,31)(32,33)(34,35)", "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,1,1,1>(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)", "c=<1,a,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,1>(2,3)(4,5)(6,7)(8,9)(10,11)(12,13)(14,15)(16,17)(18,19)(20,21)(22,23)(24,25)(26,27)(28,29)(30,31)(32,33)(34,35)", "d=(1,3)(2,5)(4,7)(6,9)(8,11)(10,13)(12,15)(14,17)(16,19)(18,21)(20,23)(22,25)(24,27)(26,29)(28,31)(30,33)(32,35)", "a*b*c*d"); ****************************INTEGER OVERFLOW REPORT***************************** Imminent integer overflow halted computation of the slope function at slope -1001042/2766203 during the modular group computation. This caused the modular group computation to abort.