(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u101))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u102))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u103))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u105))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u106))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u107))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u109))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u110))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u111))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u112))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u114))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u115))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u116))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u117))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u118))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u119))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u120))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u121))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u122))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u123))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u124))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u125))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u126))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u127))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u129))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u130))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u131))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u132))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u133))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u135))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u136))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u137))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u138))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u140))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u141))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u142))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u143))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u144))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u145))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u146))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u147))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u148))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u149))