;; 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 u1001))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1002))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1003))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1004))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1005))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1006))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1007))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1008))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1009))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1010))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1011))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1012))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1013))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1014))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1015))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1016))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1017))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1018))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1019))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1020))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1021))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1022))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1023))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1024))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1025))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1026))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1027))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1028))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1029))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1030))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1031))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1032))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1033))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1034))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1035))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1036))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1037))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1038))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1039))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1040))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1041))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1042))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1043))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1044))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1045))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1046))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1047))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1048))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1049))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1050))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1051))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1052))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1053))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1054))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1055))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1056))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1057))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1058))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1059))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1060))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1061))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1062))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1063))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1064))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1065))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1066))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1067))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1068))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1069))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1070))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1071))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1072))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1073))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1074))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1075))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1076))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1077))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1078))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1079))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1080))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1081))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1082))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1083))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1084))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1085))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1086))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1087))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1088))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1089))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1090))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1091))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1092))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1093))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1094))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1095))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1096))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1097))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1098))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1099))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1100))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1101))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1102))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1103))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1104))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1105))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1106))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1107))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1108))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1109))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1110))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1111))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1112))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1113))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1114))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1115))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1116))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1117))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1118))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1119))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1120))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1121))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1122))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1123))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1124))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1125))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1126))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1127))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1128))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1129))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1130))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1131))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1132))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1133))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1134))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1135))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1136))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1137))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1138))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1139))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1140))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1141))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1142))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1143))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1144))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1145))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1146))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1147))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1148))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1149))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1150))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1151))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1152))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1153))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1154))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1155))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1156))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1157))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1158))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1159))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1160))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1161))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1162))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1163))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1164))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1165))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1166))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1167))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1168))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1169))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1170))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1171))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1172))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1173))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1174))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1175))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1176))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1177))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1178))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1179))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1180))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1181))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1182))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1183))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1184))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1185))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1186))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1187))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1188))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1189))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1190))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1191))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1192))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1193))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1194))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1195))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1196))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1197))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1198))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1199))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1200))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1201))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1202))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1203))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1204))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1205))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1206))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1207))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1208))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1209))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1210))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1211))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1212))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1213))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1214))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1215))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1216))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1217))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1218))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1219))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1220))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1221))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1222))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1223))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1224))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1225))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1226))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1227))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1228))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1229))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1230))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1231))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1232))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1233))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1234))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1235))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1236))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1237))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1238))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1239))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1240))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1241))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1242))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1243))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1244))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1245))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1246))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1247))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1248))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1249))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1250))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1251))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1252))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1253))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1254))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1255))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1256))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1257))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1258))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1259))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1260))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1261))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1262))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1263))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1264))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1265))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1266))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1267))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1268))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1269))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1270))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1271))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1272))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1273))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1274))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1275))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1276))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1277))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1278))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1279))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1280))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1281))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1282))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1283))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1284))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1285))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1286))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1287))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1288))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1289))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1290))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1291))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1292))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1293))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1294))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1295))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1296))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1297))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1298))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1299))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1300))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1301))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1302))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1303))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1304))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1305))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1306))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1307))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1308))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1309))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1310))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1311))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1312))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1313))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1314))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1315))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1316))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1317))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1318))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1319))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1320))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1321))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1322))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1323))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1324))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1325))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1326))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1327))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1328))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1329))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1330))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1331))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1332))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1333))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1334))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1335))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1336))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1337))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1338))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1339))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1340))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1341))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1342))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1343))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1344))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1345))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1346))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1347))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1348))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1349))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1350))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1351))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1352))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1353))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1354))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1355))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1356))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1357))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1358))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1359))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1360))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1361))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1362))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1363))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1364))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1365))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1366))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1367))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1368))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1369))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1370))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1371))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1372))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1373))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1374))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1375))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1376))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1377))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1378))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1379))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1380))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1381))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1382))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1383))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1384))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1385))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1386))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1387))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1388))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1389))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1390))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1391))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1392))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1393))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1394))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1395))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1396))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1397))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1398))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1399))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1400))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1401))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1402))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1403))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1404))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1405))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1406))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1407))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1408))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1409))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1410))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1411))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1412))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1413))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1414))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1415))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1416))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1417))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1418))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1419))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1420))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1421))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1422))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1423))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1424))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1425))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1426))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1427))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1428))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1429))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1430))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1431))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1432))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1433))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1434))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1435))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1436))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1437))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1438))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1439))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1440))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1441))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1442))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1443))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1444))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1445))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1446))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1447))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1448))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1449))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1450))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1451))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1452))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1453))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1454))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1455))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1456))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1457))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1458))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1459))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1460))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1461))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1462))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1463))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1464))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1465))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1466))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1467))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1468))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1469))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1470))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1471))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1472))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1473))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1474))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1475))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1476))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1477))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1478))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1479))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1480))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1481))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1482))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1483))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1484))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1485))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1486))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1487))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1488))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1489))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1490))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1491))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1492))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1493))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1494))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1495))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1496))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1497))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1498))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1499))))
(var-set total-debt (+ (var-get total-debt) (get debt (get-vault-by-id u1500))))

(print (var-get total-debt))