(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u150))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u151))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u152))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u153))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u154))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u155))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u156))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u157))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u158))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u159))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u160))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u161))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u163))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u165))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u166))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u168))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u169))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u170))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u171))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u172))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u173))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u174))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u175))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u177))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u178))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u180))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u181))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u182))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u183))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u184))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u185))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u187))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u188))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u189))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u190))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u191))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u192))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u193))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u194))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u196))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u197))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u198))
(try! (contract-call? .wgmiami claim-for 'SP3REDX8A1RFHSK0P0VE83HQ64TNTBQZ4V855KGPN u200))