(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u1))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u2))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u3))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u4))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u5))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u6))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u7))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u8))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u9))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u10))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u12))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u13))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u14))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u15))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u16))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u17))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u18))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u20))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u21))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u22))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u24))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u25))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u27))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u28))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u29))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u30))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u31))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u32))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u33))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u34))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u36))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u37))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u38))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u39))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u40))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u41))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u42))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u43))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u44))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u45))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u46))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u47))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u48))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u49))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u50))