(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u51))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u52))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u53))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u54))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u55))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u56))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u57))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u58))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u59))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u60))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u61))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u62))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u63))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u64))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u65))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u66))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u67))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u68))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u69))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u70))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u71))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u72))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u73))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u74))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u75))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u76))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u78))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u79))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u80))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u81))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u82))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u83))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u84))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u85))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u86))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u87))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u88))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u89))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u90))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u91))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u92))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u93))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u94))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u95))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u96))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u97))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u98))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u99))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u100))