s = sOf(3) in [[1.05126995479423663626079492698609848665581428805992914021771866828203201293945312499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998 +/- 4.89e-180], [1.05126995479423663626079493525790461218609103677401606091734720394015312194824218750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001 +/- 4.82e-180]]  (bracket proved)
3^s = [3.17382692313558494662760103796821585474358679819204703864786700281377808129823203183858451254842745388873928491844871477072890231732759805373071547384918572127257611342124982315104 +/- 2.24e-182]   (Cauchy radius must be below this)
HEAD  max_{k<=200} FkOdd_k 3^k <= [367.843501834747720093485897241056014383595161475039093079704183658411133273406227887383233251430504850537334568415107749086348608565372186448065203648865294029120643249914942668588 +/- 2.00e-178]   (at k = 11)
TAIL  k > 200: M_R (3/R)^k <= [36.9340487616170988531293084926264856512324445234795763514187341723120629186930949672961835214302497882705957882861832693504677301745262962067027052812043740354173744489168524447658 +/- 4.74e-181]

CN <= [367.843501834747720093485897241056014383595161475039093079704183658411133273406227887383233251430504850537334568415107749086348608565372186448065203648865294029120643249914942668588 +/- 2.00e-178]