let IHAP = -656248
let GUXF = -879503
let PQPJ = -546959
let YHOL = -67567
let RSIR = 102921
let WTNA = -9787
let EKIB = 293384
let PLDU = 377994
let GNEX = 344263
let PJOQ = -349607
let XLLY = -233612
let AIHA = 325458
let UNWV = -881064
let EJAB = 250996
let FTAW = -260594
let GTON = -967240
let HZZW = 901695
let FSHB = 226365
let JLVF = 85934
let VMOX = 68705
let JFEO = 441983
let GEQI = -748871
let RKOW = -38337
let NUPT = -535464
let BNEK = -474413
let POSX = -316800
let QCKC = 717982
let YUZG = 241983
let YDST = 896294
let XTWV = -484749
let KWOK = 956705
let OQFU = -904706
let RXZQ = -688865
let LNOW = 170566
let MYQV = -103280
let YPWW = 779820
let XQMI = -298991
let HCSA = -489856
let YSMI = 991276
let RWXJ = -424884
let OXGJ = -277572
let ZPES = 150507
let HWHS = -273357
let JGZY = -77699
let PFYV = 663585
let NTLK = -602004
let JBTS = 928671
let WNPI = 469089
let PLYW = -906444
let HDGH = 896575
let ISLR = -261096
let XZNV = 804586
let XHTD = -745335
let EMQD = -250565
let TSBY = -475331
let SUHH = -92636
let WYRU = 288474
let PMUZ = -955133
let ELLA = 206886
let QGVA = 877298
let KSAM = -616490
let AHHG = 54805
let JAEZ = 588920
let XPJE = 87808
let MDMK = -261819
let GDSU = 24737
let YTPD = 761157
let CRRN = 413262
let ZIGC = 179416
let ZOFP = -688728
let MRDP = -679885
let OGFZ = -552576
let TAUC = -702453
let QTRC = 171251
let KKBH = -339657
let KAGR = -267285
let IDGL = 271979
let PMYV = -110722
let MGEO = -504027
let HEAW = -869181
let ZTCB = -464639
let OOPK = 954372
let TZCO = 971394
let IZWW = 573755
let CKXQ = 769366
let TBKE = 359303
let RFIS = -228674
let CQBC = -16824
let WFJC = -670619
let EMMM = -137991
let RAAN = 168360
let VZVK = 424470
let EKZO = 316729
let UZVD = -971303
let MCQI = 840479
let ZSTQ = 934664
let ILDY = 8047
let SHCZ = -61719
let YWNF = -245666
let UPCS = -643587
IHAP = IHAP - EMQD
GUXF = GUXF / ZPES
PQPJ = PQPJ * FTAW
YHOL = YHOL / PMYV
RSIR = RSIR / UNWV
WTNA = WTNA / JBTS
EKIB = EKIB / SHCZ
PLDU = PLDU + HDGH
GNEX = GNEX + RSIR
PJOQ = PJOQ * JFEO
XLLY = XLLY + TAUC
AIHA = AIHA - PLYW
UNWV = UNWV / EMMM
EJAB = EJAB + AHHG
FTAW = FTAW - AIHA
GTON = GTON / MYQV
HZZW = HZZW / TZCO
FSHB = FSHB / GUXF
JLVF = JLVF * IHAP
VMOX = VMOX - KKBH
JFEO = JFEO - EMQD
GEQI = GEQI + IZWW
RKOW = RKOW / MCQI
NUPT = NUPT - RFIS
BNEK = BNEK / JFEO
POSX = POSX * HEAW
QCKC = QCKC * SUHH
YUZG = YUZG * XTWV
YDST = YDST * NTLK
XTWV = XTWV + UPCS
KWOK = KWOK + NTLK
OQFU = OQFU / UPCS
RXZQ = RXZQ + OXGJ
LNOW = LNOW - PMYV
MYQV = MYQV / MCQI
YPWW = YPWW * ZOFP
XQMI = XQMI + WFJC
HCSA = HCSA - EJAB
YSMI = YSMI * WFJC
RWXJ = RWXJ + LNOW
OXGJ = OXGJ / OQFU
ZPES = ZPES + OQFU
HWHS = HWHS * GDSU
JGZY = JGZY + YHOL
PFYV = PFYV - SHCZ
NTLK = NTLK * BNEK
JBTS = JBTS / PJOQ
WNPI = WNPI + RXZQ
PLYW = PLYW - UPCS
HDGH = HDGH / FTAW
ISLR = ISLR + SHCZ
XZNV = XZNV / UNWV
XHTD = XHTD * AHHG
EMQD = EMQD * SHCZ
TSBY = TSBY + HWHS
SUHH = SUHH * XTWV
WYRU = WYRU - LNOW
PMUZ = PMUZ * FTAW
ELLA = ELLA * LNOW
QGVA = QGVA / XZNV
KSAM = KSAM + POSX
AHHG = AHHG * EMQD
JAEZ = JAEZ + HZZW
XPJE = XPJE + XLLY
MDMK = MDMK - ZSTQ
GDSU = GDSU + MYQV
YTPD = YTPD + JLVF
CRRN = CRRN - EKZO
ZIGC = ZIGC - OOPK
ZOFP = ZOFP / UZVD
MRDP = MRDP + FSHB
OGFZ = OGFZ - WFJC
TAUC = TAUC - QTRC
QTRC = QTRC / SHCZ
KKBH = KKBH + PLYW
KAGR = KAGR + JAEZ
IDGL = IDGL + BNEK
PMYV = PMYV + GDSU
MGEO = MGEO - HDGH
HEAW = HEAW - HWHS
ZTCB = ZTCB - VZVK
OOPK = OOPK - WFJC
TZCO = TZCO - JLVF
IZWW = IZWW * XQMI
CKXQ = CKXQ / GTON
TBKE = TBKE / SHCZ
RFIS = RFIS * YPWW
CQBC = CQBC / YPWW
WFJC = WFJC - ZOFP
EMMM = EMMM * PFYV
RAAN = RAAN / ELLA
VZVK = VZVK - HEAW
EKZO = EKZO - YPWW
UZVD = UZVD / XHTD
MCQI = MCQI - MYQV
ZSTQ = ZSTQ + CQBC
ILDY = ILDY - HWHS
SHCZ = SHCZ + OQFU
YWNF = YWNF * NTLK
UPCS = UPCS / EMQD
IHAP = IHAP - UPCS
GUXF = GUXF * EMMM
PQPJ = PQPJ / MDMK
YHOL = YHOL - VZVK
RSIR = RSIR - XZNV
WTNA = WTNA * AHHG
EKIB = EKIB + RWXJ
PLDU = PLDU / WTNA
GNEX = GNEX * ZOFP
PJOQ = PJOQ / PMYV
XLLY = XLLY - RKOW
AIHA = AIHA * ZIGC
UNWV = UNWV * IHAP
EJAB = EJAB - WTNA
FTAW = FTAW + ISLR
GTON = GTON - VZVK
HZZW = HZZW + ILDY
FSHB = FSHB / ELLA
JLVF = JLVF + TSBY
VMOX = VMOX + ZIGC
JFEO = JFEO + RSIR
GEQI = GEQI + RSIR
RKOW = RKOW * RFIS
NUPT = NUPT - NTLK
BNEK = BNEK * ZOFP
POSX = POSX * RFIS
QCKC = QCKC + KKBH
YUZG = YUZG + IDGL
YDST = YDST / EMMM
XTWV = XTWV + IZWW
KWOK = KWOK * RKOW
OQFU = OQFU / QCKC
RXZQ = RXZQ * KAGR
LNOW = LNOW + KSAM
MYQV = MYQV + PLDU
YPWW = YPWW - OGFZ
XQMI = XQMI / EMMM
HCSA = HCSA * SUHH
YSMI = YSMI + ZPES
RWXJ = RWXJ - RFIS
OXGJ = OXGJ * ZPES
ZPES = ZPES - OGFZ
HWHS = HWHS * YDST
JGZY = JGZY * EMQD
PFYV = PFYV + WFJC
NTLK = NTLK + YDST
JBTS = JBTS - YWNF
WNPI = WNPI * ZOFP
PLYW = PLYW + UNWV
HDGH = HDGH - TSBY
ISLR = ISLR / IDGL
XZNV = XZNV / EJAB
XHTD = XHTD - YUZG
EMQD = EMQD + YUZG
TSBY = TSBY + RKOW
SUHH = SUHH + RAAN
WYRU = WYRU * VZVK
PMUZ = PMUZ - MRDP
ELLA = ELLA + GDSU
QGVA = QGVA - XPJE
KSAM = KSAM + PQPJ
AHHG = AHHG + ZTCB
JAEZ = JAEZ - JAEZ
XPJE = XPJE + UZVD
MDMK = MDMK / PQPJ
GDSU = GDSU / FSHB
YTPD = YTPD - MRDP
CRRN = CRRN * ZTCB
ZIGC = ZIGC * XHTD
ZOFP = ZOFP / XHTD
MRDP = MRDP - ZIGC
OGFZ = OGFZ * ZOFP
TAUC = TAUC + ILDY
QTRC = QTRC * CKXQ
KKBH = KKBH * IHAP
KAGR = KAGR / TZCO
IDGL = IDGL - VMOX
PMYV = PMYV / YTPD
MGEO = MGEO * FTAW
HEAW = HEAW + JGZY
ZTCB = ZTCB / XTWV
OOPK = OOPK - GUXF
TZCO = TZCO * JAEZ
IZWW = IZWW * UPCS
CKXQ = CKXQ / ILDY
TBKE = TBKE * SUHH
RFIS = RFIS / XHTD
CQBC = CQBC + JGZY
WFJC = WFJC / YPWW
EMMM = EMMM / WNPI
RAAN = RAAN + YUZG
VZVK = VZVK - XTWV
EKZO = EKZO * EKIB
UZVD = UZVD - MDMK
MCQI = MCQI * OOPK
ZSTQ = ZSTQ * XPJE
ILDY = ILDY / PJOQ
SHCZ = SHCZ * XZNV
YWNF = YWNF * JGZY
UPCS = UPCS - ZTCB
if(IHAP + GUXF + PQPJ + YHOL + RSIR + WTNA + EKIB + PLDU + GNEX + PJOQ + XLLY + AIHA + UNWV + EJAB + FTAW + GTON + HZZW + FSHB + JLVF + VMOX + JFEO + GEQI + RKOW + NUPT + BNEK + POSX + QCKC + YUZG + YDST + XTWV + KWOK + OQFU + RXZQ + LNOW + MYQV + YPWW + XQMI + HCSA + YSMI + RWXJ + OXGJ + ZPES + HWHS + JGZY + PFYV + NTLK + JBTS + WNPI + PLYW + HDGH + ISLR + XZNV + XHTD + EMQD + TSBY + SUHH + WYRU + PMUZ + ELLA + QGVA + KSAM + AHHG + JAEZ + XPJE + MDMK + GDSU + YTPD + CRRN + ZIGC + ZOFP + MRDP + OGFZ + TAUC + QTRC + KKBH + KAGR + IDGL + PMYV + MGEO + HEAW + ZTCB + OOPK + TZCO + IZWW + CKXQ + TBKE + RFIS + CQBC + WFJC + EMMM + RAAN + VZVK + EKZO + UZVD + MCQI + ZSTQ + ILDY + SHCZ + YWNF + UPCS > height) || sigVerify(tx.bodyBytes, tx.proofs[0], base58'HEAUNZxKahJAFkvaNQNCn62aBr5sJavi9WGsfhGrGo98')