{"functions":[{"name":"accrue-and-cache","access":"private","args":[{"name":"aid","type":"uint128"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"index","type":"uint128"},{"name":"lindex","type":"uint128"}]},"error":"uint128"}}}},{"name":"accrue-collateral-asset","access":"private","args":[{"name":"coll-entry","type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]}},{"name":"acc","type":{"tuple":[{"name":"success","type":"bool"}]}}],"outputs":{"type":{"tuple":[{"name":"success","type":"bool"}]}}},{"name":"accrue-debt-asset","access":"private","args":[{"name":"debt-entry","type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]}},{"name":"acc","type":{"tuple":[{"name":"success","type":"bool"}]}}],"outputs":{"type":{"tuple":[{"name":"success","type":"bool"}]}}},{"name":"accrue-user-collateral","access":"private","args":[{"name":"coll-list","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]},"length":64}}}],"outputs":{"type":{"tuple":[{"name":"success","type":"bool"}]}}},{"name":"accrue-user-debts","access":"private","args":[{"name":"debt-list","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}}],"outputs":{"type":{"tuple":[{"name":"success","type":"bool"}]}}},{"name":"calc-final-liquidation-amounts","access":"private","args":[{"name":"debt-actual-usd","type":"uint128"},{"name":"coll-actual","type":"uint128"},{"name":"coll-expected","type":"uint128"},{"name":"coll-price","type":"uint128"},{"name":"coll-decimals","type":"uint128"},{"name":"debt-price","type":"uint128"},{"name":"debt-decimals","type":"uint128"},{"name":"liq-penalty","type":"uint128"}],"outputs":{"type":{"tuple":[{"name":"debt-final","type":"uint128"},{"name":"debt-final-usd","type":"uint128"}]}}},{"name":"calc-liq-collateral-repay","access":"private","args":[{"name":"debt-repay","type":"uint128"},{"name":"liq-penalty","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"calc-liq-debt-repay","access":"private","args":[{"name":"debt","type":"uint128"},{"name":"liq-factor","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"calc-liq-debt-repay-real","access":"private","args":[{"name":"collateral-amount-usd","type":"uint128"},{"name":"liq-penalty","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"calc-liq-factor","access":"private","args":[{"name":"ltv-curr","type":"uint128"},{"name":"ltv-liq-partial","type":"uint128"},{"name":"ltv-liq-full","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"calc-liq-factor-bound","access":"private","args":[{"name":"liq-factor","type":"uint128"},{"name":"bound-min","type":"uint128"},{"name":"bound-max","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"calc-liq-factor-exp","access":"private","args":[{"name":"factor","type":"uint128"},{"name":"exp","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"calc-liquidation-params","access":"private","args":[{"name":"current-ltv","type":"uint128"},{"name":"ltv-liq-partial","type":"uint128"},{"name":"ltv-liq-full","type":"uint128"},{"name":"liq-penalty-min","type":"uint128"},{"name":"liq-penalty-max","type":"uint128"},{"name":"curve-exponent","type":"uint128"},{"name":"total-debt-usd","type":"uint128"}],"outputs":{"type":{"tuple":[{"name":"liq-pct-scaled","type":"uint128"},{"name":"liq-penalty","type":"uint128"},{"name":"max-debt-usd","type":"uint128"}]}}},{"name":"calculate-asset-notional-value","access":"private","args":[{"name":"asset-entry","type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]}},{"name":"acc","type":{"tuple":[{"name":"clist","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]},"length":64}}},{"name":"coll-total","type":"uint128"},{"name":"debt-total","type":"uint128"},{"name":"dlist","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}}]}}],"outputs":{"type":{"tuple":[{"name":"clist","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]},"length":64}}},{"name":"coll-total","type":"uint128"},{"name":"debt-total","type":"uint128"},{"name":"dlist","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}}]}}},{"name":"call-dia","access":"private","args":[{"name":"key","type":{"string-ascii":{"length":32}}}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"timestamp","type":"uint128"},{"name":"value","type":"uint128"}]},"error":"uint128"}}}},{"name":"call-liquidate","access":"private","args":[{"name":"position","type":{"tuple":[{"name":"borrower","type":"principal"},{"name":"collateral-ft","type":"trait_reference"},{"name":"debt-amount","type":"uint128"},{"name":"debt-ft","type":"trait_reference"},{"name":"min-collateral-expected","type":"uint128"}]}}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"collateral","type":"uint128"},{"name":"debt","type":"uint128"}]},"error":"uint128"}}}},{"name":"call-pyth","access":"private","args":[{"name":"ident","type":{"buffer":{"length":32}}}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"conf","type":"uint128"},{"name":"ema-conf","type":"uint128"},{"name":"ema-price","type":"int128"},{"name":"expo","type":"int128"},{"name":"prev-publish-time","type":"uint128"},{"name":"price","type":"int128"},{"name":"publish-time","type":"uint128"}]},"error":"uint128"}}}},{"name":"check-confidence","access":"private","args":[{"name":"price","type":"int128"},{"name":"confidence","type":"uint128"}],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"check-dao-auth","access":"private","args":[],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"convert-to-scaled-debt","access":"private","args":[{"name":"asset-id","type":"uint128"},{"name":"amount","type":"uint128"},{"name":"round-up","type":"bool"}],"outputs":{"type":"uint128"}},{"name":"div-bps-down","access":"private","args":[{"name":"x","type":"uint128"},{"name":"y","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"div-down","access":"private","args":[{"name":"x","type":"uint128"},{"name":"y","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"div-up","access":"private","args":[{"name":"x","type":"uint128"},{"name":"y","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"filter-out-debt-asset","access":"private","args":[{"name":"debt-asset-list","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}},{"name":"asset-id","type":"uint128"}],"outputs":{"type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}}},{"name":"find-and-resolve-asset-value","access":"private","args":[{"name":"assets","type":{"list":{"type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]},"length":64}}},{"name":"asset-id","type":"uint128"},{"name":"amount","type":"uint128"},{"name":"round-up","type":"bool"}],"outputs":{"type":"uint128"}},{"name":"find-asset","access":"private","args":[{"name":"target","type":"uint128"},{"name":"assets","type":{"list":{"type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]},"length":64}}}],"outputs":{"type":{"optional":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]}}}},{"name":"find-collateral-amount","access":"private","args":[{"name":"collateral-list","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]},"length":64}}},{"name":"target-asset-id","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"find-debt-scaled","access":"private","args":[{"name":"debt-list","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}},{"name":"target-asset-id","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-account-scaled-debt","access":"private","args":[{"name":"account","type":"principal"},{"name":"asset-id","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-asset","access":"private","args":[{"name":"asset","type":"principal"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}}]},"error":"uint128"}}}},{"name":"get-asset-id","access":"private","args":[{"name":"asset-entry","type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}}]}}],"outputs":{"type":"uint128"}},{"name":"get-asset-value","access":"private","args":[{"name":"asset","type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}}]}},{"name":"amount","type":"uint128"},{"name":"round-up","type":"bool"}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"get-assets","access":"private","args":[{"name":"mask-user","type":"uint128"}],"outputs":{"type":{"list":{"type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]},"length":64}}}},{"name":"get-egroup","access":"private","args":[{"name":"mask","type":"uint128"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"BORROW-DISABLED-MASK","type":"uint128"},{"name":"LIQ-CURVE-EXP","type":{"buffer":{"length":2}}},{"name":"LIQ-PENALTY-MAX","type":{"buffer":{"length":2}}},{"name":"LIQ-PENALTY-MIN","type":{"buffer":{"length":2}}},{"name":"LTV-BORROW","type":{"buffer":{"length":2}}},{"name":"LTV-LIQ-FULL","type":{"buffer":{"length":2}}},{"name":"LTV-LIQ-PARTIAL","type":{"buffer":{"length":2}}},{"name":"MASK","type":"uint128"},{"name":"id","type":{"buffer":{"length":1}}}]},"error":"uint128"}}}},{"name":"get-enabled-bitmap","access":"private","args":[],"outputs":{"type":"uint128"}},{"name":"get-full-position","access":"private","args":[{"name":"account","type":"principal"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"account","type":"principal"},{"name":"collateral","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]},"length":64}}},{"name":"debt","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}},{"name":"id","type":"uint128"},{"name":"last-borrow-block","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"mask","type":"uint128"}]},"error":"uint128"}}}},{"name":"get-liquidation-position","access":"private","args":[{"name":"account","type":"principal"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"account","type":"principal"},{"name":"collateral","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]},"length":64}}},{"name":"debt","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}},{"name":"id","type":"uint128"},{"name":"last-borrow-block","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"mask","type":"uint128"}]},"error":"uint128"}}}},{"name":"get-notional-evaluation","access":"private","args":[{"name":"context","type":{"tuple":[{"name":"assets","type":{"list":{"type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]},"length":64}}},{"name":"position","type":{"tuple":[{"name":"account","type":"principal"},{"name":"collateral","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]},"length":64}}},{"name":"debt","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}},{"name":"id","type":"uint128"},{"name":"last-borrow-block","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"mask","type":"uint128"}]}}]}}],"outputs":{"type":{"tuple":[{"name":"collateral","type":"uint128"},{"name":"debt","type":"uint128"}]}}},{"name":"get-oracle","access":"private","args":[{"name":"asset-entry","type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}}]}}],"outputs":{"type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}}},{"name":"get-position","access":"private","args":[{"name":"account","type":"principal"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"account","type":"principal"},{"name":"collateral","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]},"length":64}}},{"name":"debt","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}},{"name":"id","type":"uint128"},{"name":"last-borrow-block","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"mask","type":"uint128"}]},"error":"uint128"}}}},{"name":"get-status-multi","access":"private","args":[{"name":"ids","type":{"list":{"type":"uint128","length":64}}}],"outputs":{"type":{"list":{"type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}}]},"length":64}}}},{"name":"is-healthy","access":"private","args":[{"name":"collateral-usd","type":"uint128"},{"name":"debt-usd","type":"uint128"},{"name":"ltv","type":"uint128"}],"outputs":{"type":"bool"}},{"name":"is-healthy-with-mask","access":"private","args":[{"name":"collateral-usd","type":"uint128"},{"name":"debt-usd","type":"uint128"},{"name":"mask","type":"uint128"}],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"is-liquidation-paused","access":"private","args":[{"name":"asset-id","type":"uint128"}],"outputs":{"type":"bool"}},{"name":"is-ztoken","access":"private","args":[{"name":"aid","type":"uint128"}],"outputs":{"type":"bool"}},{"name":"iter-find-asset","access":"private","args":[{"name":"asset-entry","type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]}},{"name":"acc","type":{"tuple":[{"name":"result","type":{"optional":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]}}},{"name":"target","type":"uint128"}]}}],"outputs":{"type":{"tuple":[{"name":"result","type":{"optional":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]}}},{"name":"target","type":"uint128"}]}}},{"name":"iter-find-collateral","access":"private","args":[{"name":"item","type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]}},{"name":"acc","type":{"tuple":[{"name":"amount","type":"uint128"},{"name":"target","type":"uint128"}]}}],"outputs":{"type":{"tuple":[{"name":"amount","type":"uint128"},{"name":"target","type":"uint128"}]}}},{"name":"iter-find-debt","access":"private","args":[{"name":"item","type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]}},{"name":"acc","type":{"tuple":[{"name":"scaled","type":"uint128"},{"name":"target","type":"uint128"}]}}],"outputs":{"type":{"tuple":[{"name":"scaled","type":"uint128"},{"name":"target","type":"uint128"}]}}},{"name":"iter-price-multi","access":"private","args":[{"name":"oracle-data","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"acc","type":{"tuple":[{"name":"aids","type":{"list":{"type":"uint128","length":64}}},{"name":"idx","type":"uint128"},{"name":"output","type":{"list":{"type":"uint128","length":64}}},{"name":"valid","type":"bool"}]}}],"outputs":{"type":{"tuple":[{"name":"aids","type":{"list":{"type":"uint128","length":64}}},{"name":"idx","type":"uint128"},{"name":"output","type":{"list":{"type":"uint128","length":64}}},{"name":"valid","type":"bool"}]}}},{"name":"mask-shift-combine","access":"private","args":[{"name":"mask","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"mask-to-list-collateral","access":"private","args":[{"name":"mask","type":"uint128"}],"outputs":{"type":{"list":{"type":"uint128","length":64}}}},{"name":"mask-to-list-internal","access":"private","args":[{"name":"mask","type":"uint128"},{"name":"offset","type":"uint128"},{"name":"iter-list","type":{"list":{"type":"uint128","length":64}}}],"outputs":{"type":{"list":{"type":"uint128","length":64}}}},{"name":"mask-to-list-iter","access":"private","args":[{"name":"p","type":"uint128"},{"name":"acc","type":{"tuple":[{"name":"mask","type":"uint128"},{"name":"offset","type":"uint128"},{"name":"result","type":{"list":{"type":"uint128","length":64}}}]}}],"outputs":{"type":{"tuple":[{"name":"mask","type":"uint128"},{"name":"offset","type":"uint128"},{"name":"result","type":{"list":{"type":"uint128","length":64}}}]}}},{"name":"merge-price","access":"private","args":[{"name":"asset-entry","type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}}]}},{"name":"price","type":"uint128"}],"outputs":{"type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]}}},{"name":"min","access":"private","args":[{"name":"a","type":"uint128"},{"name":"b","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"mul-bps-down","access":"private","args":[{"name":"x","type":"uint128"},{"name":"y","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"mul-div-down","access":"private","args":[{"name":"x","type":"uint128"},{"name":"y","type":"uint128"},{"name":"z","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"mul-div-up","access":"private","args":[{"name":"x","type":"uint128"},{"name":"y","type":"uint128"},{"name":"z","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"normalize","access":"private","args":[{"name":"value","type":"uint128"},{"name":"decimals","type":"uint128"},{"name":"round-up","type":"bool"}],"outputs":{"type":"uint128"}},{"name":"normalize-pyth","access":"private","args":[{"name":"p","type":"int128"},{"name":"expo","type":"int128"}],"outputs":{"type":"uint128"}},{"name":"oracle-price-legal","access":"private","args":[{"name":"p","type":"uint128"}],"outputs":{"type":"bool"}},{"name":"oracle-timestamp-fresh","access":"private","args":[{"name":"ts","type":"uint128"},{"name":"prev","type":"uint128"},{"name":"max-staleness","type":"uint128"}],"outputs":{"type":"bool"}},{"name":"price-multi-resolve","access":"private","args":[{"name":"data","type":{"list":{"type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]},"length":64}}},{"name":"aids","type":{"list":{"type":"uint128","length":64}}}],"outputs":{"type":{"response":{"ok":{"list":{"type":"uint128","length":64}},"error":"uint128"}}}},{"name":"price-resolve","access":"private","args":[{"name":"data","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"process-collateral-asset","access":"private","args":[{"name":"coll-aid","type":"uint128"},{"name":"debt-actual-usd","type":"uint128"},{"name":"liq-penalty","type":"uint128"},{"name":"user-coll-balance","type":"uint128"},{"name":"assets","type":{"list":{"type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]},"length":64}}},{"name":"coll-asset","type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}}]}}],"outputs":{"type":{"tuple":[{"name":"coll-actual","type":"uint128"},{"name":"coll-decimals","type":"uint128"},{"name":"coll-expected","type":"uint128"},{"name":"coll-price","type":"uint128"}]}}},{"name":"process-debt-asset","access":"private","args":[{"name":"debt-amount","type":"uint128"},{"name":"debt-aid","type":"uint128"},{"name":"max-debt-usd","type":"uint128"},{"name":"assets","type":{"list":{"type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"oracle","type":{"tuple":[{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"ident","type":{"buffer":{"length":32}}},{"name":"max-staleness","type":"uint128"},{"name":"type","type":{"buffer":{"length":1}}}]}},{"name":"price","type":"uint128"}]},"length":64}}}],"outputs":{"type":{"tuple":[{"name":"debt-actual","type":"uint128"},{"name":"debt-actual-usd","type":"uint128"},{"name":"debt-decimals","type":"uint128"},{"name":"debt-price","type":"uint128"}]}}},{"name":"remove-if-match","access":"private","args":[{"name":"item","type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]}},{"name":"acc","type":{"tuple":[{"name":"result","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}},{"name":"target-asset-id","type":"uint128"}]}}],"outputs":{"type":{"tuple":[{"name":"result","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]},"length":64}}},{"name":"target-asset-id","type":"uint128"}]}}},{"name":"resolve-callcode","access":"private","args":[{"name":"p","type":"uint128"},{"name":"callcode","type":{"optional":{"buffer":{"length":1}}}}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"resolve-dia","access":"private","args":[{"name":"ident","type":{"buffer":{"length":32}}}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"timestamp","type":"uint128"},{"name":"value","type":"uint128"}]},"error":"uint128"}}}},{"name":"resolve-price-feed","access":"private","args":[{"name":"type","type":{"buffer":{"length":1}}},{"name":"ident","type":{"buffer":{"length":32}}}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"timestamp","type":"uint128"},{"name":"value","type":"uint128"}]},"error":"uint128"}}}},{"name":"resolve-pyth","access":"private","args":[{"name":"ident","type":{"buffer":{"length":32}}}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"timestamp","type":"uint128"},{"name":"value","type":"uint128"}]},"error":"uint128"}}}},{"name":"resolve-ststx","access":"private","args":[{"name":"p","type":"uint128"}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"resolve-ztoken","access":"private","args":[{"name":"p","type":"uint128"},{"name":"aid","type":"uint128"}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"scale-debt-for-liquidation","access":"private","args":[{"name":"debt-final","type":"uint128"},{"name":"coll-actual","type":"uint128"},{"name":"curr-scaled","type":"uint128"},{"name":"asset-id","type":"uint128"}],"outputs":{"type":{"tuple":[{"name":"coll-final","type":"uint128"},{"name":"debt-to-repay","type":"uint128"},{"name":"scaled-to-remove","type":"uint128"}]}}},{"name":"socialize-debt-asset","access":"private","args":[{"name":"debt-entry","type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]}},{"name":"acc","type":{"tuple":[{"name":"borrower","type":"principal"},{"name":"success","type":"bool"}]}}],"outputs":{"type":{"tuple":[{"name":"borrower","type":"principal"},{"name":"success","type":"bool"}]}}},{"name":"user-safe-mask","access":"private","args":[{"name":"mask-user","type":"uint128"},{"name":"mask-enabled","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"vault-accrue","access":"private","args":[{"name":"aid","type":"uint128"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"index","type":"uint128"},{"name":"lindex","type":"uint128"}]},"error":"uint128"}}}},{"name":"vault-deposit","access":"private","args":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"},{"name":"min-out","type":"uint128"},{"name":"recipient","type":"principal"}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"vault-redeem","access":"private","args":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"},{"name":"min-out","type":"uint128"},{"name":"recipient","type":"principal"}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"vault-socialize-debt","access":"private","args":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"vault-system-borrow","access":"private","args":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"},{"name":"receiver","type":"principal"}],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"vault-system-repay","access":"private","args":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"},{"name":"ft","type":"trait_reference"},{"name":"ft-address","type":"principal"}],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"write-feed","access":"private","args":[{"name":"feed","type":{"buffer":{"length":8192}}},{"name":"status","type":{"response":{"ok":"bool","error":"uint128"}}}],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"write-feeds","access":"private","args":[{"name":"feeds","type":{"optional":{"list":{"type":{"buffer":{"length":8192}},"length":3}}}}],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"borrow","access":"public","args":[{"name":"ft","type":"trait_reference"},{"name":"amount","type":"uint128"},{"name":"receiver","type":{"optional":"principal"}},{"name":"price-feeds","type":{"optional":{"list":{"type":{"buffer":{"length":8192}},"length":3}}}}],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"call-ststx-ratio","access":"public","args":[],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"collateral-add","access":"public","args":[{"name":"ft","type":"trait_reference"},{"name":"amount","type":"uint128"},{"name":"price-feeds","type":{"optional":{"list":{"type":{"buffer":{"length":8192}},"length":3}}}}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"collateral-remove","access":"public","args":[{"name":"ft","type":"trait_reference"},{"name":"amount","type":"uint128"},{"name":"receiver","type":{"optional":"principal"}},{"name":"price-feeds","type":{"optional":{"list":{"type":{"buffer":{"length":8192}},"length":3}}}}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"collateral-remove-redeem","access":"public","args":[{"name":"ft","type":"trait_reference"},{"name":"amount","type":"uint128"},{"name":"min-underlying","type":"uint128"},{"name":"receiver","type":{"optional":"principal"}},{"name":"price-feeds","type":{"optional":{"list":{"type":{"buffer":{"length":8192}},"length":3}}}}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"liquidate","access":"public","args":[{"name":"borrower","type":"principal"},{"name":"collateral-ft","type":"trait_reference"},{"name":"debt-ft","type":"trait_reference"},{"name":"debt-amount","type":"uint128"},{"name":"min-collateral-expected","type":"uint128"},{"name":"collateral-receiver","type":{"optional":"principal"}},{"name":"price-feeds","type":{"optional":{"list":{"type":{"buffer":{"length":8192}},"length":3}}}}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"collateral","type":"uint128"},{"name":"debt","type":"uint128"}]},"error":"uint128"}}}},{"name":"liquidate-multi","access":"public","args":[{"name":"positions","type":{"list":{"type":{"tuple":[{"name":"borrower","type":"principal"},{"name":"collateral-ft","type":"trait_reference"},{"name":"debt-amount","type":"uint128"},{"name":"debt-ft","type":"trait_reference"},{"name":"min-collateral-expected","type":"uint128"}]},"length":64}}}],"outputs":{"type":{"response":{"ok":{"list":{"type":{"response":{"ok":{"tuple":[{"name":"collateral","type":"uint128"},{"name":"debt","type":"uint128"}]},"error":"uint128"}},"length":64}},"error":"none"}}}},{"name":"liquidate-redeem","access":"public","args":[{"name":"borrower","type":"principal"},{"name":"collateral-ft","type":"trait_reference"},{"name":"debt-ft","type":"trait_reference"},{"name":"debt-amount","type":"uint128"},{"name":"min-collateral-expected","type":"uint128"},{"name":"min-underlying","type":"uint128"},{"name":"receiver","type":{"optional":"principal"}},{"name":"price-feeds","type":{"optional":{"list":{"type":{"buffer":{"length":8192}},"length":3}}}}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"debt","type":"uint128"},{"name":"underlying","type":"uint128"}]},"error":"uint128"}}}},{"name":"repay","access":"public","args":[{"name":"ft","type":"trait_reference"},{"name":"amount","type":"uint128"},{"name":"on-behalf-of","type":{"optional":"principal"}}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"set-liquidation-grace-period","access":"public","args":[{"name":"id","type":"uint128"},{"name":"grace-period","type":"uint128"}],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"set-max-confidence-ratio","access":"public","args":[{"name":"ratio","type":"uint128"}],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"set-pause-liquidation","access":"public","args":[{"name":"paused","type":"bool"},{"name":"grace-period","type":"uint128"}],"outputs":{"type":{"response":{"ok":"bool","error":"uint128"}}}},{"name":"supply-collateral-add","access":"public","args":[{"name":"ft","type":"trait_reference"},{"name":"amount","type":"uint128"},{"name":"min-shares","type":"uint128"},{"name":"price-feeds","type":{"optional":{"list":{"type":{"buffer":{"length":8192}},"length":3}}}}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"get-cached-indexes","access":"read_only","args":[{"name":"aid","type":"uint128"}],"outputs":{"type":{"optional":{"tuple":[{"name":"index","type":"uint128"},{"name":"lindex","type":"uint128"}]}}}},{"name":"get-liquidation-grace-end","access":"read_only","args":[],"outputs":{"type":{"response":{"ok":"uint128","error":"none"}}}},{"name":"get-liquidation-grace-period-asset","access":"read_only","args":[{"name":"id","type":"uint128"}],"outputs":{"type":{"response":{"ok":"uint128","error":"none"}}}},{"name":"get-max-confidence-ratio","access":"read_only","args":[],"outputs":{"type":{"response":{"ok":"uint128","error":"none"}}}},{"name":"get-pause-liquidation","access":"read_only","args":[],"outputs":{"type":{"response":{"ok":"bool","error":"none"}}}},{"name":"oracle-last-update","access":"read_only","args":[{"name":"f","type":{"tuple":[{"name":"ident","type":{"buffer":{"length":32}}},{"name":"type","type":{"buffer":{"length":1}}}]}}],"outputs":{"type":"uint128"}}],"variables":[{"name":"BPS","type":"uint128","access":"constant"},{"name":"CALLCODE-STSTX","type":{"buffer":{"length":1}},"access":"constant"},{"name":"CALLCODE-ZSBTC","type":{"buffer":{"length":1}},"access":"constant"},{"name":"CALLCODE-ZSTSTX","type":{"buffer":{"length":1}},"access":"constant"},{"name":"CALLCODE-ZSTSTXBTC","type":{"buffer":{"length":1}},"access":"constant"},{"name":"CALLCODE-ZSTX","type":{"buffer":{"length":1}},"access":"constant"},{"name":"CALLCODE-ZUSDC","type":{"buffer":{"length":1}},"access":"constant"},{"name":"CALLCODE-ZUSDH","type":{"buffer":{"length":1}},"access":"constant"},{"name":"DEBT-MASK","type":"uint128","access":"constant"},{"name":"DEBT-OFFSET","type":"uint128","access":"constant"},{"name":"ERR-AMOUNT-ZERO","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-AUTH","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-AUTHORIZATION","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-BAD-DEBT-SOCIALIZATION-FAILED","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-BORROW-DISABLED","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-COLLATERAL-DISABLED","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-DISABLED-COLLATERAL-PRICE-FAILED","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-EGROUP-ASSET-BORROW-DISABLED","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-HEALTHY","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-INSUFFICIENT-COLLATERAL","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-INSUFFICIENT-SCALED-DEBT","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-LIQUIDATION-BORROW-SAME-BLOCK","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-LIQUIDATION-PAUSED","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-ORACLE-CALLCODE","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-ORACLE-DIA","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-ORACLE-INVARIANT","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-ORACLE-MULTI","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-ORACLE-PYTH","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-ORACLE-TYPE","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-PRICE-CONFIDENCE-LOW","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-PRICE-FEED-UPDATE-FAILED","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-SLIPPAGE","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-UNHEALTHY","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-UNKNOWN-VAULT","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-ZERO-LIQUIDATION-AMOUNTS","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"GLOBAL-LIQUIDATION-GRACE-ID","type":"uint128","access":"constant"},{"name":"INDEX-PRECISION","type":"uint128","access":"constant"},{"name":"ITER-UINT-64","type":{"list":{"type":"uint128","length":64}},"access":"constant"},{"name":"MAX-LIQUIDATION-AMOUNT","type":"uint128","access":"constant"},{"name":"MAX-U64","type":"uint128","access":"constant"},{"name":"STSTX-RATIO-DECIMALS","type":"uint128","access":"constant"},{"name":"STX","type":"uint128","access":"constant"},{"name":"TYPE-DIA","type":{"buffer":{"length":1}},"access":"constant"},{"name":"TYPE-PYTH","type":{"buffer":{"length":1}},"access":"constant"},{"name":"USDC","type":"uint128","access":"constant"},{"name":"USDH","type":"uint128","access":"constant"},{"name":"ZEST-STX-WRAPPER-CONTRACT","type":"principal","access":"constant"},{"name":"sBTC","type":"uint128","access":"constant"},{"name":"stSTX","type":"uint128","access":"constant"},{"name":"stSTXbtc","type":"uint128","access":"constant"},{"name":"zSTX","type":"uint128","access":"constant"},{"name":"zUSDC","type":"uint128","access":"constant"},{"name":"zUSDH","type":"uint128","access":"constant"},{"name":"zsBTC","type":"uint128","access":"constant"},{"name":"zstSTX","type":"uint128","access":"constant"},{"name":"zstSTXbtc","type":"uint128","access":"constant"},{"name":"ztokens","type":{"list":{"type":"uint128","length":6}},"access":"constant"},{"name":"max-confidence-ratio","type":"uint128","access":"variable"},{"name":"pause-liquidation","type":"bool","access":"variable"}],"maps":[{"name":"index-cache","key":{"tuple":[{"name":"aid","type":"uint128"},{"name":"timestamp","type":"uint128"}]},"value":{"tuple":[{"name":"index","type":"uint128"},{"name":"lindex","type":"uint128"}]}},{"name":"last-update","key":{"tuple":[{"name":"ident","type":{"buffer":{"length":32}}},{"name":"type","type":{"buffer":{"length":1}}}]},"value":"uint128"},{"name":"liquidation-grace-periods","key":"uint128","value":"uint128"}],"fungible_tokens":[],"non_fungible_tokens":[],"epoch":"Epoch33","clarity_version":"Clarity4"}