;; constants
(define-constant ERR-NOT-AUTHORIZED u401)
(define-constant CONTRACT-OWNER tx-sender)

(define-data-var total-debt uint u0)


;;;;;;;;;;;;;;



(define-public (get-vault (vault-id uint))
  (let ((vault (get-vault-by-id vault-id)))
  (ok (get debt vault)))
)

(define-read-only (get-debt-for-vault (vault-id uint))
  (let ((vault (get-vault-by-id vault-id))) (ok (get debt vault)))
)

(define-read-only (get-vault-by-id (vault-id uint))
  (contract-call? 'SP2C2YFP12AJZB4MABJBAJ55XECVS7E4PMMZ89YZR.arkadiko-vault-data-v1-1 get-vault-by-id vault-id)
)

(define-read-only (get-total-debt)
  (ok (var-get total-debt))
)


(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u451))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u452))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u453))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u454))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u455))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u456))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u457))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u458))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u459))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u460))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u461))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u462))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u463))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u464))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u465))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u466))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u467))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u468))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u469))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u470))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u471))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u472))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u473))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u474))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u475))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u476))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u477))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u478))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u479))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u480))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u481))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u482))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u483))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u484))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u485))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u486))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u487))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u488))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u489))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u490))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u491))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u492))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u493))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u494))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u495))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u496))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u497))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u498))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u499))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u500))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u501))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u502))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u503))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u504))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u505))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u506))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u507))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u508))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u509))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u510))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u511))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u512))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u513))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u514))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u515))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u516))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u517))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u518))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u519))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u520))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u521))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u522))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u523))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u524))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u525))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u526))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u527))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u528))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u529))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u530))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u531))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u532))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u533))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u534))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u535))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u536))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u537))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u538))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u539))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u540))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u541))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u542))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u543))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u544))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u545))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u546))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u547))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u548))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u549))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u550))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u551))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u552))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u553))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u554))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u555))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u556))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u557))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u558))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u559))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u560))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u561))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u562))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u563))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u564))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u565))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u566))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u567))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u568))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u569))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u570))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u571))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u572))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u573))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u574))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u575))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u576))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u577))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u578))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u579))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u580))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u581))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u582))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u583))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u584))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u585))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u586))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u587))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u588))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u589))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u590))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u591))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u592))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u593))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u594))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u595))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u596))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u597))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u598))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u599))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u600))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u601))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u602))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u603))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u604))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u605))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u606))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u607))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u608))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u609))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u610))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u611))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u612))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u613))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u614))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u615))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u616))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u617))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u618))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u619))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u620))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u621))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u622))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u623))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u624))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u625))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u626))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u627))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u628))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u629))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u630))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u631))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u632))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u633))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u634))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u635))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u636))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u637))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u638))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u639))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u640))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u641))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u642))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u643))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u644))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u645))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u646))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u647))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u648))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u649))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u650))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u651))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u652))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u653))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u654))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u655))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u656))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u657))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u658))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u659))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u660))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u661))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u662))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u663))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u664))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u665))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u666))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u667))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u668))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u669))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u670))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u671))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u672))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u673))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u674))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u675))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u676))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u677))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u678))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u679))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u680))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u681))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u682))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u683))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u684))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u685))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u686))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u687))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u688))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u689))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u690))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u691))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u692))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u693))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u694))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u695))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u696))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u697))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u698))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u699))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u700))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u701))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u702))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u703))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u704))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u705))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u706))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u707))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u708))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u709))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u710))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u711))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u712))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u713))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u714))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u715))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u716))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u717))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u718))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u719))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u720))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u721))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u722))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u723))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u724))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u725))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u726))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u727))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u728))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u729))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u730))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u731))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u732))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u733))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u734))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u735))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u736))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u737))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u738))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u739))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u740))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u741))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u742))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u743))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u744))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u745))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u746))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u747))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u748))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u749))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u750))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u751))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u752))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u753))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u754))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u755))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u756))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u757))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u758))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u759))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u760))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u761))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u762))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u763))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u764))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u765))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u766))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u767))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u768))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u769))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u770))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u771))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u772))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u773))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u774))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u775))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u776))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u777))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u778))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u779))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u780))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u781))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u782))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u783))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u784))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u785))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u786))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u787))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u788))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u789))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u790))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u791))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u792))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u793))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u794))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u795))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u796))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u797))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u798))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u799))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u800))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u801))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u802))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u803))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u804))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u805))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u806))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u807))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u808))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u809))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u810))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u811))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u812))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u813))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u814))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u815))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u816))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u817))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u818))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u819))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u820))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u821))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u822))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u823))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u824))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u825))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u826))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u827))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u828))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u829))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u830))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u831))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u832))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u833))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u834))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u835))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u836))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u837))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u838))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u839))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u840))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u841))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u842))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u843))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u844))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u845))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u846))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u847))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u848))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u849))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u850))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u851))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u852))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u853))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u854))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u855))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u856))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u857))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u858))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u859))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u860))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u861))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u862))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u863))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u864))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u865))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u866))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u867))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u868))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u869))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u870))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u871))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u872))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u873))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u874))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u875))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u876))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u877))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u878))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u879))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u880))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u881))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u882))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u883))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u884))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u885))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u886))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u887))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u888))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u889))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u890))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u891))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u892))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u893))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u894))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u895))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u896))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u897))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u898))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u899))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u900))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u901))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u902))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u903))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u904))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u905))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u906))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u907))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u908))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u909))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u910))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u911))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u912))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u913))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u914))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u915))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u916))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u917))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u918))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u919))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u920))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u921))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u922))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u923))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u924))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u925))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u926))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u927))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u928))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u929))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u930))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u931))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u932))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u933))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u934))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u935))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u936))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u937))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u938))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u939))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u940))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u941))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u942))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u943))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u944))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u945))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u946))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u947))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u948))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u949))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u950))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u951))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u952))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u953))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u954))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u955))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u956))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u957))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u958))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u959))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u960))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u961))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u962))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u963))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u964))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u965))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u966))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u967))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u968))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u969))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u970))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u971))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u972))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u973))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u974))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u975))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u976))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u977))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u978))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u979))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u980))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u981))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u982))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u983))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u984))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u985))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u986))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u987))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u988))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u989))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u990))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u991))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u992))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u993))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u994))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u995))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u996))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u997))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u998))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u999))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1000))))

(print (var-get total-debt))