U = 3.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, S_0 <= [44.5987000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.42e-179], S_1 <= [486.194600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.91e-180] HEAD max_{k<=400} ratio <= [26.0961936493824208613006155776319974853229361560982944918753867564237365667934001026821473269057435818108069000507270610363578798497429766192950617108090591877457076737896427655959 +/- 7.07e-181] (at k = 7) TAIL k > 400: envelope ratio <= [12.0773867817315095110227771528473711980219333305102469301927261976145863601849708575723481841494198158387340659876879039272222438101858281118053501699175322548246563636171221128567 +/- 4.38e-179] NEARU <= [26.0961936493824208613006155776319974853229361560982944918753867564237365667934001026821473269057435818108069000507270610363578798497429766192950617108090591877457076737896427655959 +/- 7.07e-181]