(define-constant contract-owner tx-sender)
(define-constant NOT-OWNER (err u101))
(define-public (admin-update-mint-1151-1177)
(begin
(asserts! (is-eq tx-sender contract-owner) NOT-OWNER)
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1151))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1152))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1153))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1154))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1155))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1156))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1157))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1158))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1159))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1160))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1161))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1162))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1163))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1164))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1165))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1166))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1167))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1168))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1169))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1170))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1171))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1172))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1173))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1174))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1175))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1176))
(ok (try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1177)))
)
)
(define-public (admin-update-mint-1178-1204)
(begin
(asserts! (is-eq tx-sender contract-owner) NOT-OWNER)
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1178))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1179))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1180))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1181))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1182))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1183))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1184))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1185))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1186))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1187))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1188))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1189))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1190))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1191))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1192))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1193))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1194))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1195))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1196))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1197))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1198))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1199))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1200))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1201))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1202))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1203))
(ok (try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1204)))
)
)
(define-public (admin-update-mint-1205-1231)
(begin
(asserts! (is-eq tx-sender contract-owner) NOT-OWNER)
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1205))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1206))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1207))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1208))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1209))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1210))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1211))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1212))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1213))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1214))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1215))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1216))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1217))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1218))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1219))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1220))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1221))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1222))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1223))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1224))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1225))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1226))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1227))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1228))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1229))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1230))
(ok (try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1231)))
)
)
(define-public (admin-update-mint-1232-1258)
(begin
(asserts! (is-eq tx-sender contract-owner) NOT-OWNER)
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1232))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1233))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1234))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1235))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1236))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1237))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1238))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1239))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1240))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1241))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1242))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1243))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1244))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1245))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1246))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1247))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1248))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1249))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1250))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1251))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1252))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1253))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1254))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1255))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1256))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1257))
(ok (try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1258)))
)
)