{
  "status": "passed",
  "degree": 33,
  "coefficients_ascending": [
    "141309652651354763764080403534427756124245584458547200000000000",
    "5055419494087789292116025732132434423878633148769107968000000000",
    "87641861802834578142885216552166238366724075630657231912960000000",
    "-402152197099410443588745986646317849921423069104742386272043008000000",
    "-7860332846504668864245524639996987709346950285120738581542443417600000",
    "-74250690266842016897762274011442500578670747710424426663858688491520000",
    "-451853828931697858674721189352520953370814444555172958105853111566336000",
    "-1990810929067246395505087076777758881895109598081617930348416797455155200",
    "-6765303480546247978727345910773876958061103455551973502845137890354135040",
    "-18446200030178488673178143726475807535745965444820087372104561196896616448",
    "-41445786393892604111694277552956080532866404838483678663964821688208588800",
    "-78210368507518011688549376359621928033000755811237009331136095238477578240",
    "-125700893532946720825761957190749910217110478468256802072805684036732190720",
    "-173887287181436407167137595444875480013078554757393143411502755377789796352",
    "-208692958106561045970398989738436806358794896463803259379110216193802240000",
    "-218604980021143241439128093916761132884287980083398876668480335668628684800",
    "-200743133990646265678462976611473959370396954104920922705570814592077004800",
    "-162102438059606519454390215191806963279441284252502292800948580480733675520",
    "-115329116279947356736609239118058158967846135646631466593629323334254592000",
    "-72352250397181487336940024701636215426704254555923290726996653977790054400",
    "-40016121358237314808731063465333213780631506285606260726794053361650892800",
    "-19486111137126635819187266478255559628599568590524546898913850438388285440",
    "-8333991806307853768986704367696093899240287497732145793324362556768256000",
    "-3118694299500725812177994996163301199111830007759911407439437729733017600",
    "-1015666607111954246155919137233281955150799212777580936172471593205760000",
    "-285757180146981717602901682920569243997225558801513746634760348049080320",
    "-68770230867492792924127552658220633014519424202757421111071622561792000",
    "-13967597886110455166428448772195931667486929227944434205087068323840000",
    "-2350293418601720665265919373886944545996816129580137155248853153218560",
    "-319151865935061726235987464447739189770750661088258246617459706560512",
    "-33632538344658396327272772909057488764967155993892680938925798195200",
    "-2582419507075769120794751589077686939695269086344093181125863669760",
    "-128586227524892239555207453872973316415918427939240509347809198080",
    "-3117241879391327019520180699950868276749537647011891135704465408"
  ],
  "sign_pattern": "+++-------------------------------",
  "sign_changes": 1,
  "critical_point_bracket": [
    "378667493/500000000",
    "757334987/1000000000"
  ],
  "maximum_upper": "-18835112315041/1000000000000",
  "maximum_upper_decimal": -18.835112315041,
  "simplified_phase_upper": "-1883/100",
  "tail_x_phi_prime_upper": "-383/64",
  "script_sha256": "e9c00c50b739939be595d54dfb030b3ed304f14f142bd31214666fc5a8140fc7"
}