;; 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 u1501))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1502))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1503))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1504))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1505))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1506))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1507))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1508))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1509))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1510))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1511))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1512))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1513))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1514))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1515))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1516))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1517))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1518))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1519))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1520))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1521))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1522))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1523))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1524))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1525))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1526))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1527))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1528))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1529))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1530))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1531))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1532))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1533))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1534))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1535))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1536))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1537))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1538))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1539))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1540))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1541))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1542))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1543))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1544))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1545))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1546))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1547))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1548))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1549))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1550))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1551))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1552))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1553))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1554))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1555))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1556))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1557))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1558))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1559))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1560))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1561))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1562))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1563))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1564))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1565))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1566))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1567))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1568))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1569))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1570))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1571))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1572))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1573))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1574))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1575))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1576))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1577))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1578))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1579))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1580))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1581))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1582))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1583))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1584))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1585))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1586))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1587))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1588))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1589))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1590))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1591))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1592))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1593))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1594))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1595))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1596))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1597))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1598))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1599))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1600))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1601))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1602))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1603))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1604))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1605))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1606))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1607))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1608))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1609))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1610))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1611))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1612))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1613))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1614))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1615))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1616))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1617))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1618))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1619))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1620))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1621))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1622))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1623))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1624))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1625))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1626))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1627))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1628))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1629))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1630))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1631))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1632))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1633))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1634))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1635))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1636))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1637))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1638))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1639))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1640))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1641))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1642))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1643))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1644))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1645))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1646))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1647))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1648))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1649))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1650))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1651))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1652))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1653))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1654))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1655))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1656))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1657))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1658))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1659))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1660))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1661))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1662))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1663))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1664))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1665))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1666))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1667))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1668))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1669))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1670))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1671))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1672))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1673))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1674))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1675))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1676))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1677))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1678))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1679))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1680))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1681))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1682))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1683))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1684))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1685))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1686))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1687))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1688))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1689))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1690))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1691))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1692))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1693))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1694))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1695))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1696))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1697))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1698))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1699))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1700))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1701))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1702))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1703))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1704))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1705))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1706))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1707))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1708))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1709))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1710))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1711))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1712))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1713))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1714))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1715))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1716))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1717))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1718))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1719))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1720))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1721))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1722))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1723))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1724))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1725))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1726))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1727))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1728))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1729))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1730))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1731))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1732))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1733))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1734))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1735))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1736))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1737))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1738))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1739))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1740))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1741))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1742))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1743))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1744))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1745))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1746))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1747))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1748))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1749))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1750))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1751))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1752))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1753))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1754))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1755))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1756))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1757))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1758))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1759))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1760))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1761))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1762))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1763))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1764))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1765))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1766))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1767))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1768))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1769))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1770))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1771))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1772))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1773))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1774))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1775))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1776))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1777))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1778))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1779))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1780))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1781))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1782))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1783))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1784))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1785))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1786))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1787))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1788))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1789))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1790))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1791))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1792))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1793))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1794))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1795))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1796))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1797))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1798))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1799))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1800))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1801))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1802))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1803))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1804))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1805))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1806))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1807))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1808))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1809))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1810))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1811))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1812))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1813))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1814))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1815))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1816))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1817))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1818))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1819))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1820))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1821))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1822))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1823))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1824))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1825))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1826))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1827))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1828))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1829))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1830))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1831))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1832))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1833))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1834))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1835))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1836))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1837))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1838))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1839))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1840))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1841))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1842))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1843))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1844))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1845))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1846))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1847))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1848))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1849))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1850))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1851))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1852))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1853))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1854))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1855))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1856))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1857))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1858))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1859))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1860))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1861))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1862))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1863))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1864))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1865))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1866))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1867))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1868))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1869))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1870))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1871))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1872))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1873))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1874))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1875))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1876))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1877))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1878))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1879))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1880))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1881))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1882))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1883))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1884))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1885))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1886))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1887))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1888))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1889))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1890))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1891))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1892))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1893))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1894))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1895))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1896))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1897))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1898))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1899))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1900))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1901))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1902))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1903))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1904))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1905))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1906))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1907))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1908))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1909))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1910))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1911))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1912))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1913))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1914))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1915))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1916))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1917))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1918))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1919))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1920))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1921))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1922))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1923))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1924))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1925))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1926))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1927))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1928))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1929))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1930))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1931))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1932))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1933))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1934))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1935))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1936))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1937))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1938))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1939))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1940))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1941))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1942))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1943))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1944))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1945))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1946))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1947))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1948))))

(print (var-get total-debt))