(define-constant contract-owner tx-sender)
(define-constant NOT-OWNER (err u101))
(define-public (admin-update-mint-1399-1427)
(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 u1399))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1400))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1401))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1402))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1403))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1404))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1405))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1406))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1407))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1408))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1409))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1410))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1411))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1412))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1413))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1414))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1415))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1416))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1417))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1418))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1419))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1420))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1421))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1422))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1423))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1424))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1425))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1426))
(ok (try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1427)))
)
)
(define-public (admin-update-mint-1428-1456)
(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 u1428))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1429))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1430))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1431))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1432))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1433))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1434))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1435))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1436))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1437))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1438))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1439))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1440))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1441))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1442))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1443))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1444))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1445))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1446))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1447))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1448))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1449))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1450))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1451))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1452))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1453))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1454))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1455))
(ok (try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1456)))
)
)
(define-public (admin-update-mint-1457-1485)
(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 u1457))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1458))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1459))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1460))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1461))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1462))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1463))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1464))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1465))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1466))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1467))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1468))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1469))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1470))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1471))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1472))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1473))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1474))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1475))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1476))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1477))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1478))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1479))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1480))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1481))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1482))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1483))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1484))
(ok (try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1485)))
)
)
(define-public (admin-update-mint-1486-1514)
(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 u1486))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1487))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1488))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1489))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1490))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1491))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1492))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1493))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1494))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1495))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1496))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1497))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1498))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1499))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1500))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1501))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1502))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1503))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1504))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1505))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1506))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1507))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1508))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1509))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1510))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1511))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1512))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1513))
(ok (try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1514)))
)
)
(define-public (admin-update-mint-1515-1543)
(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 u1515))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1516))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1517))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1518))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1519))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1520))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1521))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1522))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1523))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1524))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1525))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1526))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1527))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1528))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1529))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1530))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1531))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1532))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1533))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1534))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1535))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1536))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1537))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1538))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1539))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1540))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1541))
(try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1542))
(ok (try! (contract-call? 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.btc-badgers-v2 admin-mint-drop 'SP27F9EJH20K3GT6GHZG0RD08REZKY2TDMD6D9M2Z.updated-mia-mint-v3 u1543)))
)
)