;; Constants
(define-constant CONTRACT-OWNER tx-sender)
(define-constant ERR-NOT-AUTHORIZED u401)
(define-data-var multipliers (list 5000 uint) (list
u22500
u10000
u12500
u40000
u22000
u10000
u22000
u10000
u10000
u10500
u10000
u40000
u10000
u10000
u10000
u10000
u10000
u10000
u30000
u10000
u10000
u10500
u31000
u10000
u22000
u10000
u10000
u10000
u26000
u10000
u26000
u10000
u50000
u10000
u20000
u10000
u11000
u27000
u26000
u30000
u10000
u10000
u11500
u20000
u10000
u10000
u10500
u10500
u12000
u10000
u10000
u11000
u22000
u11500
u10000
u10500
u10000
u10000
u11000
u11000
u10000
u10500
u10500
u20000
u20000
u10000
u10000
u10500
u10000
u10500
u10000
u10500
u10000
u22000
u11000
u10500
u10000
u10000
u10000
u10500
u10000
u60000
u10000
u10000
u10000
u22000
u20000
u10000
u51500
u10000
u10000
u11000
u10000
u10000
u26000
u10000
u11500
u10000
u22000
u40000
u22000
u20000
u22000
u10000
u22500
u22500
u10500
u10500
u10500
u10000
u10000
u30000
u30000
u21000
u12500
u10000
u20000
u10000
u10500
u10000
u50000
u11000
u21000
u11000
u10000
u10000
u26000
u10000
u10000
u10000
u10000
u30000
u10000
u10000
u20000
u10000
u22500
u10000
u20000
u10000
u10000
u10000
u10000
u12000
u10000
u10000
u10000
u10000
u22000
u11000
u12000
u10000
u22000
u20500
u10000
u21000
u10000
u12000
u20000
u20000
u10000
u10000
u40000
u10000
u20000
u10000
u10500
u10000
u10000
u10500
u10000
u10000
u10000
u20000
u10000
u10000
u10000
u10500
u10000
u10000
u22500
u10000
u26000
u10000
u26500
u10000
u10000
u20000
u35000
u12000
u30000
u10000
u11000
u26000
u23000
u20000
u30000
u10000
u10000
u11000
u12000
u10000
u40000
u26000
u11500
u10000
u10000
u12000
u10000
u30000
u10500
u11000
u10000
u11500
u10000
u11000
u11000
u10000
u10000
u20000
u10000
u10000
u10000
u10500
u11000
u30000
u10000
u10000
u10000
u11000
u12000
u10000
u20000
u40000
u10000
u10000
u10000
u10500
u30000
u10000
u20000
u20000
u10500
u10000
u10000
u10000
u35000
u10000
u10000
u10000
u20000
u10000
u10000
u10000
u10000
u22000
u10000
u27500
u10000
u10000
u11000
u10000
u40000
u10000
u10000
u10000
u12500
u10000
u10000
u10000
u21500
u35000
u10000
u10500
u13000
u10000
u10500
u30000
u10000
u10000
u11000
u11000
u10000
u10000
u22000
u11000
u30000
u10000
u10000
u26000
u10000
u10000
u10000
u10000
u10000
u41000
u22000
u20000
u11000
u22000
u10500
u10000
u10500
u30000
u12000
u11500
u30000
u10000
u10000
u26000
u10000
u10000
u10500
u10000
u26500
u30000
u20500
u10000
u10000
u27000
u35000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u20500
u26000
u11000
u10000
u10000
u20000
u10500
u10000
u10000
u26000
u30000
u10000
u11000
u10000
u10000
u30500
u10000
u10000
u10000
u40000
u11000
u26000
u12000
u10000
u10000
u35000
u10000
u20000
u10000
u10500
u12000
u12000
u10000
u26000
u10000
u20000
u10000
u10000
u20000
u11000
u50000
u10000
u10500
u10000
u10000
u10000
u30000
u22000
u10000
u10000
u10000
u11000
u20000
u31000
u10000
u30000
u27000
u20000
u22000
u10500
u30000
u10000
u10000
u10000
u23000
u10000
u10000
u40000
u20000
u10000
u22000
u10000
u30000
u22500
u20000
u40000
u10000
u10000
u10500
u20000
u20000
u12000
u10000
u10000
u20000
u22500
u10000
u10000
u10000
u10000
u10500
u10500
u20000
u10000
u20000
u10000
u11000
u10000
u36000
u10000
u10000
u10000
u10500
u10000
u10000
u10000
u10500
u10000
u10500
u11000
u22000
u30000
u30000
u23000
u10000
u11000
u10000
u30000
u35000
u10000
u10500
u30000
u10500
u10000
u10500
u10000
u10500
u22000
u10500
u11000
u10000
u10000
u20500
u10000
u20000
u10500
u11000
u10000
u10000
u10500
u20000
u10000
u12000
u30000
u26500
u50000
u31000
u10000
u10000
u10000
u20000
u20000
u12000
u10500
u22000
u10000
u10000
u12000
u30000
u10000
u20000
u10000
u11000
u26000
u10000
u30000
u20000
u10000
u26000
u10000
u10500
u30000
u20000
u10000
u20500
u10500
u10000
u10000
u10000
u26000
u10000
u10000
u21000
u28000
u10000
u60000
u10000
u22500
u10000
u10000
u27000
u30000
u10000
u10000
u10000
u22000
u10000
u10000
u26000
u10000
u10500
u10000
u10000
u10000
u23000
u22500
u10000
u10500
u20000
u22000
u30000
u30000
u10000
u10000
u20000
u22000
u31000
u10000
u22500
u30500
u10000
u22000
u10000
u30000
u26000
u10000
u10500
u10000
u36000
u10500
u22000
u26000
u10500
u10000
u40500
u10000
u10000
u20000
u13000
u12000
u10000
u20000
u10000
u22000
u30000
u10000
u30500
u10000
u30000
u10500
u30000
u30000
u10000
u10000
u10000
u21000
u10000
u10000
u10000
u10000
u10000
u11000
u10000
u26500
u10000
u10500
u10000
u12000
u10000
u20000
u10000
u11000
u10000
u12000
u22000
u10000
u10000
u23000
u22000
u10000
u10000
u11000
u50500
u10000
u20500
u30000
u11500
u10500
u23000
u10000
u10000
u12000
u26000
u35000
u11000
u10500
u10000
u26000
u10000
u10000
u10000
u21000
u12000
u11000
u10000
u26000
u10000
u10000
u10000
u40000
u11000
u10000
u22500
u10000
u20500
u10000
u10000
u10000
u10000
u10000
u22000
u10500
u10000
u22000
u10500
u10500
u10000
u10000
u11000
u10000
u40000
u10000
u10500
u10000
u10000
u10000
u10000
u10000
u26500
u22000
u10000
u26000
u10000
u10000
u10500
u10000
u22000
u10000
u20500
u10000
u10500
u10000
u50000
u20000
u10500
u10000
u10000
u10000
u10000
u10000
u10000
u11000
u20000
u30000
u26000
u10000
u22000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u11000
u20000
u26000
u10000
u10000
u10000
u10500
u20500
u20500
u10000
u11000
u10000
u10500
u10000
u10000
u10000
u22000
u26500
u10500
u10000
u10000
u10000
u10000
u10000
u27500
u50000
u40000
u12000
u10500
u20000
u10000
u20000
u10000
u20000
u10000
u10000
u20000
u26000
u10000
u11000
u10000
u10000
u10500
u30000
u10000
u10000
u20000
u10500
u10000
u30000
u30000
u10000
u10000
u10000
u10000
u30000
u21500
u10500
u10000
u10000
u10000
u10000
u10500
u10000
u22000
u10000
u40500
u40000
u10000
u10000
u10000
u20000
u20000
u10500
u11000
u10500
u10000
u30000
u10000
u10000
u10000
u10000
u20000
u30500
u30000
u30000
u10000
u10000
u20000
u11000
u11000
u35000
u10000
u30000
u10000
u20000
u11000
u10000
u10500
u10500
u10000
u10000
u11000
u41000
u10000
u10000
u26000
u10000
u10500
u10500
u30000
u10000
u30000
u10000
u20000
u40000
u10000
u10500
u11500
u10000
u30000
u22000
u10500
u10000
u10500
u10000
u20000
u12000
u20000
u10000
u10000
u22000
u27500
u10000
u10000
u10000
u11000
u22000
u10000
u10000
u10000
u40000
u10000
u10500
u10000
u10000
u10000
u10000
u10000
u30000
u10000
u22000
u10000
u22000
u30000
u10500
u22000
u10000
u10000
u10000
u10000
u10000
u10000
u26500
u10000
u10000
u22500
u23000
u10500
u10500
u20000
u10000
u26000
u11000
u22000
u10000
u35000
u26000
u10000
u10000
u10000
u10000
u22000
u40000
u20500
u10000
u10000
u21500
u12000
u10000
u30000
u12000
u10000
u11000
u10000
u30000
u11000
u10000
u11000
u11000
u10000
u20000
u31000
u10500
u10000
u10500
u26000
u10000
u22000
u10000
u10000
u10000
u10000
u10000
u26500
u40000
u10000
u11000
u10000
u10000
u10000
u10000
u10500
u21000
u10000
u30000
u10000
u10000
u30000
u10000
u12000
u10000
u10000
u10000
u10000
u10500
u21000
u20000
u22000
u10000
u10000
u22000
u22000
u30000
u20500
u10000
u54000
u10000
u20000
u10000
u10000
u10000
u10000
u10000
u35000
u10000
u22000
u10500
u11000
u21000
u10000
u10500
u10000
u27500
u10000
u10000
u10000
u10500
u10000
u10000
u30000
u10500
u10000
u10500
u10500
u50000
u10000
u10000
u26000
u10000
u10000
u10000
u10000
u10000
u10000
u10500
u11000
u26500
u10500
u10000
u10000
u10000
u20500
u10000
u31000
u10000
u10000
u40000
u10000
u10000
u10000
u10000
u26500
u10000
u29000
u10000
u30000
u10000
u10000
u20000
u10000
u30000
u10000
u12000
u10000
u35000
u10500
u10000
u10000
u30000
u10000
u10000
u20000
u10000
u11000
u10000
u10000
u10000
u22000
u10000
u20000
u10000
u11000
u10000
u10500
u11000
u10000
u10500
u10000
u10000
u22000
u12000
u23000
u20000
u10000
u11000
u10000
u20000
u10000
u30500
u10000
u10500
u20500
u22000
u10000
u10000
u10500
u10000
u10000
u10000
u26000
u20000
u10000
u10000
u10000
u30000
u10500
u10000
u26000
u22000
u10000
u22500
u26000
u10000
u22000
u13000
u50000
u10000
u26000
u10500
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u30000
u10000
u26000
u10000
u10000
u10000
u10500
u10000
u26000
u30000
u12000
u30000
u10000
u50000
u20000
u10000
u10000
u26500
u10000
u22000
u10000
u10000
u20000
u20000
u10000
u10000
u10000
u10000
u20000
u10000
u22000
u10000
u10000
u10000
u20000
u10000
u36500
u10000
u10000
u30000
u20000
u10000
u10000
u10500
u10000
u10000
u10000
u35000
u12000
u11500
u10000
u10000
u12500
u26000
u10500
u10000
u11000
u20500
u10000
u20000
u10500
u10500
u10500
u10000
u35000
u10000
u12500
u10000
u20000
u30000
u10000
u10000
u10000
u10000
u10000
u10000
u26000
u10000
u30000
u10000
u10000
u10000
u23000
u10500
u10000
u10000
u10000
u10000
u10000
u10000
u21000
u50000
u31000
u20000
u27000
u10000
u10000
u26000
u10000
u10000
u10000
u10000
u21000
u10000
u11000
u10000
u30000
u10000
u30500
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u40000
u10000
u10000
u10000
u10000
u10000
u26000
u10000
u10000
u12000
u10000
u10000
u10500
u10000
u11000
u10000
u10500
u10000
u10000
u10000
u20000
u10000
u10000
u20500
u10000
u20000
u10000
u20000
u10500
u10500
u10500
u10500
u10000
u11500
u10000
u10000
u20000
u10000
u10000
u20000
u10500
u10000
u10000
u30000
u10000
u26500
u10000
u10000
u10000
u10500
u10000
u10000
u10000
u22000
u11000
u22000
u28000
u20000
u12000
u10000
u36500
u12500
u11000
u10500
u10000
u22000
u10000
u22000
u10000
u11000
u20500
u10000
u10000
u10000
u10500
u10500
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u22000
u10000
u10500
u20500
u30000
u10000
u10000
u11000
u27000
u22000
u10000
u10000
u26000
u10000
u31000
u20000
u22000
u10000
u30000
u10000
u10500
u30000
u11500
u12000
u10000
u10000
u22000
u10000
u20000
u11000
u10500
u22000
u10000
u11000
u10000
u30000
u10000
u10000
u22500
u10000
u10500
u10000
u10000
u20000
u23000
u22500
u20000
u10000
u10000
u20000
u10000
u10000
u10000
u11000
u20000
u12500
u10000
u10500
u12000
u10000
u10500
u11000
u30500
u22000
u10000
u10000
u10500
u10000
u10000
u20500
u22000
u10000
u10000
u22500
u10000
u10500
u10000
u10000
u40000
u10000
u10000
u22000
u10000
u10000
u12000
u10000
u10000
u10000
u22000
u11000
u10000
u10500
u10000
u10000
u10000
u10000
u21000
u10000
u26000
u11500
u10000
u10000
u20000
u23000
u10000
u10500
u26500
u10500
u10000
u10000
u50500
u10000
u10500
u10000
u10000
u10000
u20000
u10000
u20000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u20000
u10000
u10500
u10000
u10000
u26000
u10000
u10500
u10000
u30500
u10000
u10000
u11000
u12500
u10500
u10000
u10500
u10500
u10000
u12000
u30500
u10000
u11000
u30000
u10000
u30000
u22000
u10000
u11500
u10000
u26500
u10000
u11000
u10000
u10000
u10000
u10000
u10000
u10000
u22000
u11000
u10500
u10000
u10000
u10500
u10000
u10000
u10000
u10000
u10000
u12000
u10000
u10500
u10500
u22000
u10000
u10000
u10000
u10000
u10000
u11000
u10500
u10000
u10000
u10000
u10500
u10500
u10000
u30500
u10000
u10500
u10500
u27500
u10000
u10000
u10000
u22000
u30000
u10000
u10000
u10000
u22000
u10500
u10000
u11000
u10500
u10500
u10000
u26000
u22000
u10500
u12000
u10000
u35000
u10500
u10000
u35000
u22000
u10000
u12500
u10500
u10000
u10000
u10000
u10000
u26000
u35000
u10000
u30000
u10000
u10000
u10000
u22000
u20000
u10000
u10000
u40000
u10000
u22500
u10000
u20000
u20000
u10000
u10000
u10000
u10000
u12000
u30000
u10000
u10000
u10000
u22000
u10500
u10000
u26000
u10000
u10000
u26000
u40000
u10000
u24000
u20500
u10000
u10000
u10000
u30000
u10000
u10000
u10000
u24000
u10000
u10000
u10000
u10000
u10000
u22000
u10000
u10000
u10000
u10500
u10000
u10500
u10000
u10000
u10000
u10500
u10000
u10000
u40000
u10000
u10000
u10000
u10500
u10000
u11000
u10500
u10000
u10000
u12500
u26000
u10000
u10000
u10500
u10000
u10000
u10000
u10000
u22000
u10500
u26500
u10000
u10000
u10500
u10000
u23000
u30000
u10500
u10000
u35000
u10000
u12000
u10000
u10500
u10000
u10500
u22000
u22000
u11000
u10000
u11500
u12000
u11000
u10000
u20000
u10000
u10000
u22000
u10500
u10500
u11000
u10000
u22000
u10000
u20000
u10000
u10000
u26500
u10000
u22000
u10000
u10000
u10500
u10000
u10000
u10500
u30000
u30000
u22000
u10000
u10000
u26000
u36000
u10000
u10000
u10000
u20000
u10000
u10000
u26500
u10000
u30000
u10000
u35000
u10000
u10000
u10000
u10500
u10000
u10500
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u11000
u10000
u26000
u10000
u10000
u10000
u10000
u10000
u12000
u10000
u10500
u10000
u10500
u10000
u30000
u10000
u35000
u40500
u10500
u10000
u40000
u26000
u31000
u30000
u11000
u10000
u26000
u26500
u35000
u23000
u22000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u12000
u22000
u30500
u11000
u23000
u10000
u10000
u10000
u30000
u22000
u10500
u26000
u10500
u22000
u10500
u22000
u10000
u12000
u36000
u20000
u10000
u35000
u13000
u10000
u11500
u20000
u10000
u10000
u10000
u10000
u10000
u10000
u10500
u10000
u11000
u10000
u10000
u10000
u10000
u10000
u22000
u22500
u30000
u10500
u10000
u23000
u11000
u20000
u10000
u10000
u10000
u10000
u30000
u10000
u30000
u10000
u10000
u10000
u10000
u10500
u26000
u26000
u10000
u30000
u10000
u10000
u11000
u12000
u35500
u10000
u10000
u10500
u22000
u11000
u10000
u26000
u10000
u11000
u10000
u10000
u10000
u12000
u26500
u10500
u26000
u20000
u10000
u10000
u11000
u10000
u20000
u10000
u10000
u10000
u10000
u10000
u10500
u10000
u10000
u20000
u20000
u10000
u10000
u11000
u20000
u10000
u13000
u10000
u10000
u27000
u26000
u26000
u20000
u10000
u10000
u10000
u30000
u10000
u10000
u10000
u20000
u20000
u22000
u11000
u10000
u10000
u35000
u10000
u10500
u20000
u22000
u10000
u10000
u31500
u10000
u20000
u10000
u30000
u10000
u11000
u10500
u20000
u11000
u10000
u12000
u10500
u21500
u10000
u30000
u10000
u10500
u10000
u11000
u10000
u10000
u27500
u22000
u10500
u26500
u22000
u20500
u31000
u10000
u23000
u22000
u10500
u22000
u26000
u10000
u10000
u10000
u22000
u10000
u10000
u10000
u35000
u10500
u10000
u22000
u10000
u10000
u10000
u10000
u11000
u10500
u10000
u10000
u26500
u10000
u11000
u22000
u11000
u22000
u10000
u10000
u10000
u10500
u10000
u10000
u10000
u10500
u10000
u10000
u20000
u10500
u10000
u10500
u22000
u10500
u10000
u12000
u10000
u10000
u10000
u10500
u10000
u26000
u10500
u28000
u12000
u10000
u10000
u10500
u36000
u30000
u10500
u10500
u10000
u10000
u10000
u10000
u10500
u10000
u10000
u11000
u10000
u12000
u30000
u30000
u10000
u35500
u10000
u26000
u26000
u10000
u60000
u35000
u10500
u30000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u30500
u20500
u20000
u22000
u10000
u10000
u11000
u28500
u10500
u22000
u10500
u10000
u11000
u10000
u10000
u23000
u26000
u26000
u10000
u11000
u10500
u10000
u10000
u10000
u11000
u35000
u10000
u10000
u10500
u10000
u10000
u26000
u10000
u11000
u10500
u10000
u10000
u10000
u30000
u22000
u10000
u36000
u23000
u30000
u22000
u10000
u30000
u74000
u10000
u22000
u10000
u10500
u10000
u10500
u11500
u10500
u10000
u10000
u10000
u10000
u10500
u12000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u12000
u11500
u11000
u10000
u10000
u10000
u10000
u12000
u26000
u20000
u10500
u11000
u26500
u10000
u10000
u10500
u20000
u10000
u10000
u10000
u41000
u10000
u20500
u10000
u20000
u23000
u10000
u36000
u10000
u20000
u26000
u22500
u10000
u10000
u10500
u10000
u20000
u35000
u10000
u10000
u10000
u40000
u30000
u12000
u10000
u10000
u10000
u12000
u10000
u10000
u10500
u10000
u10000
u20000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u26000
u12000
u10000
u10500
u10500
u10000
u30000
u20000
u22000
u10000
u10000
u10000
u10000
u12000
u10500
u26000
u20500
u30500
u22000
u10000
u10000
u10000
u26000
u10000
u10500
u31000
u10000
u10000
u10000
u22000
u21000
u10000
u10000
u30000
u30000
u10000
u10500
u10000
u10500
u10000
u10000
u50000
u11000
u12000
u10000
u10000
u11500
u35000
u20000
u10000
u10000
u10000
u10500
u30000
u21000
u35000
u28000
u10000
u11000
u10000
u20000
u26000
u35000
u20000
u10500
u26000
u10000
u10000
u10000
u30000
u11000
u10500
u10500
u10000
u10000
u10000
u10000
u10000
u20000
u10500
u10000
u11000
u10000
u10500
u10000
u10000
u20000
u10500
u26000
u10000
u20000
u22000
u35500
u30000
u35000
u10500
u32500
u26000
u10000
u27000
u10000
u10000
u10000
u10000
u10000
u22000
u10500
u10000
u10500
u22000
u10000
u10000
u10000
u30000
u10000
u11000
u10500
u10000
u10000
u27500
u26000
u30000
u10000
u41000
u26000
u20000
u22000
u26000
u10000
u10000
u10000
u26000
u10500
u10000
u35000
u10500
u10500
u10000
u10000
u10000
u22000
u23500
u11500
u10000
u20000
u10000
u10000
u20000
u30000
u10000
u26000
u30000
u10000
u10000
u10000
u10500
u10500
u10000
u12000
u10000
u10500
u20000
u10000
u12000
u10000
u10000
u10000
u10000
u10000
u20000
u10000
u10000
u26000
u20000
u10000
u11500
u10000
u10000
u11500
u10000
u20500
u10000
u22000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u22000
u26500
u11000
u10000
u10000
u12000
u10000
u30000
u10000
u26000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u20000
u10000
u10000
u10000
u10000
u10500
u10500
u11000
u22000
u10000
u10000
u10000
u10000
u36000
u10500
u10000
u26000
u10000
u31000
u30500
u10000
u26000
u10000
u10500
u10000
u10000
u10000
u10500
u10500
u10000
u10000
u10000
u10500
u10000
u10000
u10000
u10000
u10500
u10000
u10500
u10000
u10000
u10500
u22000
u10000
u10000
u35000
u10000
u10000
u10000
u10000
u50000
u22000
u22000
u10500
u10000
u20000
u10000
u10000
u10500
u10000
u10000
u10000
u10500
u10000
u10500
u22000
u22000
u10000
u10500
u10000
u10500
u26000
u10000
u30000
u11000
u10000
u10500
u35000
u10000
u22000
u10500
u10000
u37000
u10000
u21000
u11500
u10000
u11000
u10000
u10000
u10000
u10500
u26000
u10000
u10000
u20000
u20000
u10000
u11000
u10000
u10000
u22000
u11000
u10500
u10000
u10000
u10000
u26000
u10000
u10000
u30000
u30000
u22000
u11000
u30000
u10000
u10000
u11000
u10000
u10000
u12500
u10000
u10000
u10000
u22000
u10000
u10000
u24000
u10000
u10000
u10000
u10000
u10500
u10000
u10000
u10000
u11000
u10000
u10000
u11500
u10000
u10000
u20500
u10000
u10000
u12000
u10000
u20000
u12000
u10000
u10000
u10000
u30000
u11000
u26500
u10000
u10000
u11500
u10000
u21000
u10500
u10000
u22000
u10000
u10000
u10000
u10000
u10000
u10000
u20000
u10000
u10000
u10000
u10000
u10000
u11000
u10000
u20000
u10000
u11000
u26000
u26000
u10500
u10000
u10000
u50000
u10000
u10000
u40000
u10000
u10000
u10000
u10500
u10000
u20500
u10000
u10000
u26000
u10000
u10500
u21000
u10000
u20000
u20000
u10000
u10000
u26500
u22000
u35000
u10000
u10000
u10000
u10000
u50000
u10000
u26000
u22000
u10000
u11000
u10000
u20000
u10000
u10000
u10000
u26000
u35000
u22000
u10000
u10000
u11000
u11000
u10500
u10000
u10000
u40500
u50000
u10000
u20000
u10500
u10000
u10000
u22000
u10000
u10500
u12000
u26000
u10000
u10500
u10000
u10000
u10000
u26000
u10000
u26000
u10500
u10000
u35500
u40000
u23000
u10000
u10000
u10000
u10000
u10000
u10500
u11500
u11000
u26000
u26000
u20000
u10500
u10000
u10500
u11000
u10500
u20500
u20000
u11000
u10000
u10000
u10000
u10000
u10500
u10000
u46000
u10500
u10000
u10000
u10000
u10000
u22000
u12000
u10000
u10000
u10000
u10000
u40500
u10000
u10000
u10000
u22000
u10500
u22000
u10000
u10000
u10500
u35500
u10000
u10000
u12000
u10000
u10500
u10000
u22000
u11000
u10000
u10000
u10000
u22000
u10000
u10000
u10000
u30000
u10000
u22000
u20500
u11000
u27000
u10000
u20000
u10000
u10500
u26000
u10000
u10000
u22000
u12000
u10000
u22000
u11000
u10000
u10000
u10000
u26000
u10000
u10500
u31000
u26000
u30000
u12000
u22000
u11000
u10000
u11000
u22000
u10000
u20000
u10000
u11500
u10000
u22000
u10000
u10000
u26000
u22000
u35000
u10000
u10000
u10000
u30000
u10000
u22000
u10000
u10000
u10000
u22000
u10000
u10500
u10000
u10500
u10000
u11500
u10000
u26500
u26000
u10000
u10000
u10000
u35000
u26000
u10000
u10000
u11000
u10000
u10500
u12000
u10000
u10000
u21500
u11000
u20000
u10500
u22000
u30000
u10000
u40500
u10000
u10000
u20500
u10000
u10000
u11000
u11000
u10000
u10000
u10000
u10000
u20000
u11000
u10000
u10000
u10000
u10000
u22000
u20000
u10000
u10000
u10500
u10000
u10000
u31000
u11000
u10000
u10000
u10000
u11000
u26000
u21500
u10000
u11000
u10000
u10000
u10000
u10000
u10000
u11000
u11500
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u26000
u22000
u11000
u30000
u12500
u20000
u22000
u12000
u10000
u10000
u26500
u10000
u10000
u22500
u20000
u10000
u10000
u10000
u10000
u30500
u10000
u10500
u10000
u10000
u10000
u20000
u10000
u10500
u11000
u10000
u10000
u10500
u10000
u23000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u11000
u10000
u10000
u10000
u10000
u10000
u22000
u13000
u10000
u20000
u40000
u10000
u10000
u10000
u10000
u22000
u10000
u26000
u20500
u11000
u22500
u10500
u10500
u10000
u10000
u10000
u10000
u22000
u10000
u10000
u10000
u20000
u10000
u10000
u10000
u10000
u10000
u50000
u50500
u35000
u30500
u10500
u10000
u10000
u10000
u11000
u10000
u10000
u10500
u10000
u10000
u10000
u10000
u41000
u11000
u30000
u20000
u10000
u22000
u26000
u10000
u10000
u10000
u10000
u26000
u10000
u12000
u11000
u10500
u20000
u10500
u10000
u10000
u10000
u20000
u10000
u10000
u20000
u10000
u12000
u10000
u10000
u10000
u35000
u11000
u30000
u26000
u12000
u22000
u11000
u10000
u20000
u35000
u20000
u30000
u10500
u26000
u20000
u10000
u10000
u21000
u30000
u10000
u30500
u12000
u10000
u22000
u10000
u10000
u30500
u10000
u10000
u10500
u10500
u10000
u26000
u35500
u35000
u10500
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u26000
u10000
u50000
u20000
u10000
u10000
u10500
u10500
u10000
u35000
u26000
u10000
u10000
u10000
u20000
u35000
u12000
u22000
u20000
u20500
u10000
u10000
u10000
u10000
u10500
u10000
u20000
u10000
u10000
u10000
u10000
u10000
u21000
u10500
u22000
u10000
u10000
u21000
u26000
u10000
u22500
u10000
u20000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u22000
u27000
u21000
u10000
u10000
u10000
u10000
u10000
u10000
u20000
u26000
u10000
u10000
u10000
u20000
u10000
u10000
u10500
u23000
u10000
u51000
u20000
u10000
u10000
u10000
u10000
u10000
u10000
u20000
u10500
u10500
u32000
u10000
u10000
u10000
u10000
u20000
u10000
u30000
u12500
u10000
u23000
u10000
u20500
u10000
u10000
u10500
u22000
u20000
u10500
u10000
u10000
u11000
u22000
u10500
u10000
u10000
u10500
u10000
u10000
u10000
u10000
u10000
u10000
u11000
u22000
u10000
u10000
u20500
u10000
u11000
u10000
u10000
u10000
u12000
u22000
u30000
u12000
u10000
u10000
u10000
u10000
u10000
u20000
u11000
u10000
u22000
u11000
u10500
u10000
u10500
u10000
u22000
u22000
u10000
u10000
u26000
u10000
u12000
u10000
u12000
u31000
u10000
u11000
u10500
u10000
u10000
u10000
u10000
u22000
u11000
u22500
u10000
u26500
u11000
u20000
u21000
u10000
u10000
u10000
u10000
u10000
u12000
u11000
u20500
u20000
u20000
u10000
u10000
u10000
u10000
u10500
u23000
u20000
u10000
u12000
u10000
u12000
u10500
u26500
u10000
u10500
u22000
u10500
u10000
u11000
u10000
u10000
u11000
u10500
u10500
u22000
u20000
u22000
u10000
u10000
u10000
u10000
u10000
u10000
u10500
u30000
u26000
u10500
u20000
u10000
u10000
u11000
u10000
u12000
u11000
u30000
u22000
u10000
u10000
u30000
u10000
u26000
u11000
u10000
u10500
u10000
u41000
u10000
u13000
u40000
u10000
u10000
u10000
u10000
u10000
u10500
u22000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u50000
u10000
u11000
u22000
u12000
u10000
u10000
u10000
u20500
u11000
u30000
u11000
u22000
u30000
u40500
u30000
u20000
u10000
u30000
u10000
u10000
u10500
u10000
u10000
u10000
u10500
u26500
u10000
u26500
u26000
u11000
u22000
u35000
u20500
u11000
u10000
u26000
u10500
u10000
u10000
u10500
u20000
u10000
u10500
u20000
u10000
u10000
u11000
u10000
u10000
u11000
u10000
u10000
u10000
u10000
u20000
u10000
u35000
u30000
u10000
u10000
u22000
u10000
u22000
u11000
u10000
u10500
u30500
u22000
u10000
u20500
u10000
u20000
u10000
u10000
u10000
u23000
u10500
u10000
u10000
u11000
u10000
u10000
u10000
u10000
u10000
u10000
u11000
u50000
u10500
u10000
u10000
u10000
u36000
u22000
u10000
u10000
u10000
u10000
u22000
u10000
u10500
u30000
u10000
u10000
u11000
u20000
u22500
u10000
u10000
u10000
u10000
u10000
u10500
u11000
u10000
u11000
u10000
u10000
u10000
u10000
u10000
u22000
u11000
u10000
u10000
u12000
u10000
u10000
u26000
u40000
u10000
u10000
u10000
u26000
u10000
u10000
u22000
u10500
u10000
u40000
u30000
u26500
u10500
u10000
u10000
u30000
u10000
u10000
u30000
u10500
u10000
u10000
u30000
u30000
u20000
u10500
u10000
u10000
u10000
u22000
u11500
u10000
u10000
u10000
u10000
u10000
u10000
u30500
u10000
u10000
u11000
u20000
u10000
u22000
u26000
u10000
u22500
u10000
u10000
u26000
u10000
u22000
u22000
u10000
u10000
u36000
u23000
u10000
u10000
u10500
u10000
u30000
u20500
u30000
u10000
u10000
u20000
u10000
u26000
u10000
u22000
u11000
u10000
u20000
u10000
u10000
u10000
u10000
u10000
u35000
u12000
u10500
u11000
u10000
u10000
u10000
u10500
u10000
u10000
u10000
u10500
u10000
u12000
u10000
u20500
u10500
u10000
u10000
u10000
u20000
u10000
u10000
u22000
u30000
u31000
u10000
u10000
u10000
u35000
u10000
u10000
u20000
u10000
u10000
u10000
u35000
u10000
u12000
u10000
u10000
u10000
u26000
u10000
u30000
u20000
u10500
u20000
u10000
u11000
u10000
u20500
u26500
u10000
u40000
u26000
u10000
u20000
u26000
u26000
u10500
u10000
u11000
u10500
u26000
u10000
u10000
u26500
u22000
u10500
u10000
u10000
u10000
u22000
u10500
u10500
u10500
u22000
u10000
u30000
u10000
u22000
u27500
u40000
u40000
u10000
u26000
u10000
u10000
u11000
u10000
u20000
u10500
u20000
u10000
u20500
u10000
u10000
u35000
u26000
u22000
u40000
u10500
u10000
u27000
u10000
u10000
u10500
u20000
u22000
u26000
u11500
u28000
u10500
u10000
u26000
u11500
u10000
u10000
u10000
u10000
u10000
u10000
u10500
u30000
u30000
u10500
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10500
u10000
u12000
u10000
u10000
u10000
u11000
u26000
u10000
u12500
u35000
u22000
u26000
u26000
u10500
u10500
u10000
u26000
u10000
u40000
u10000
u10500
u30000
u30000
u10000
u26000
u11500
u10000
u10000
u10000
u20000
u20000
u22500
u22000
u10000
u30000
u22000
u10000
u22000
u10000
u10500
u10000
u10000
u10000
u11500
u10000
u10500
u26000
u11000
u10000
u10000
u10000
u20000
u26000
u26000
u10000
u22000
u11000
u22000
u35000
u26000
u20000
u10500
u11000
u20000
u10500
u10500
u10000
u10000
u10000
u10000
u22000
u10000
u10000
u10000
u10500
u20000
u22500
u10500
u10000
u10000
u30000
u10000
u10000
u11000
u11500
u10000
u20000
u10000
u10000
u11000
u10000
u20500
u21000
u29000
u10000
u30000
u27000
u10000
u12000
u35000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u20000
u10000
u10000
u10000
u10500
u11000
u11000
u10500
u10000
u12000
u10000
u10000
u20000
u26000
u10500
u10000
u10500
u12000
u26000
u10500
u10000
u10500
u22000
u10000
u10000
u10000
u20000
u10000
u10000
u26000
u27000
u10000
u10000
u10000
u30500
u11000
u10000
u40000
u20000
u10000
u10000
u26500
u10000
u10500
u10000
u10000
u10000
u30000
u10000
u10000
u26000
u10000
u20000
u20000
u10000
u10000
u10000
u40000
u10000
u30000
u20000
u10000
u22000
u10500
u10000
u10500
u11000
u10000
u10000
u22000
u11000
u10000
u10500
u10000
u10000
u30000
u10000
u21000
u10500
u10000
u10000
u10000
u22000
u10500
u10000
u50000
u10000
u22000
u20000
u10000
u10000
u26000
u40000
u26500
u10000
u26000
u10500
u10000
u11000
u10000
u10500
u10000
u11000
u10000
u10500
u10500
u10000
u20000
u20000
u41500
u10500
u10000
u10000
u10000
u30000
u22500
u11000
u26000
u31000
u35000
u10000
u21000
u12000
u10000
u10000
u11000
u10500
u10000
u26000
u22500
u10000
u30000
u22000
u10000
u10500
u10500
u10000
u10500
u10000
u10500
u26000
u10000
u11000
u22000
u26000
u10000
u10000
u20000
u10000
u35000
u10000
u10000
u10000
u22000
u10000
u10000
u10000
u10000
u30000
u10000
u11000
u10000
u10000
u10000
u10000
u22500
u10000
u10000
u10500
u10500
u10500
u30000
u10000
u10000
u10500
u10000
u10000
u20000
u10000
u10000
u44000
u35500
u10000
u20000
u41000
u10000
u30000
u31000
u20000
u10000
u10000
u23000
u26000
u10000
u10000
u10500
u10000
u10000
u20500
u10500
u27000
u26500
u22000
u35000
u10000
u10500
u10000
u26000
u10500
u10000
u26000
u20000
u22000
u10500
u22000
u10000
u10000
u10000
u11000
u10000
u11000
u20000
u10000
u10000
u31000
u22000
u10000
u26000
u10000
u10000
u10000
u10500
u10000
u10000
u20000
u10000
u11500
u22000
u10000
u20000
u10500
u10000
u10000
u22000
u22000
u22000
u10000
u30000
u10000
u10000
u35500
u26000
u20000
u35000
u30000
u35500
u10000
u10500
u10500
u26500
u10000
u10000
u35500
u10500
u22000
u12000
u10000
u10000
u10000
u11500
u11000
u10000
u12500
u10000
u10000
u10000
u11000
u30000
u11000
u30000
u10000
u10000
u10500
u10000
u35000
u10500
u28000
u10000
u20000
u10500
u10000
u30000
u10000
u10000
u10000
u11000
u10000
u10500
u10000
u26500
u30000
u10000
u10000
u10000
u10000
u22000
u10500
u20500
u10000
u31000
u23000
u10000
u10000
u10000
u10000
u10000
u10000
u11000
u10000
u10000
u10000
u50000
u10000
u11000
u10500
u26500
u11000
u10000
u22000
u10000
u10000
u10000
u10000
u10000
u10500
u35000
u22000
u22000
u10000
u10000
u10000
u10500
u40000
u20000
u10000
u40000
u10000
u30000
u10000
u20000
u30000
u10000
u10000
u11000
u10000
u10000
u10000
u26500
u10000
u28000
u10000
u10000
u22000
u10000
u26000
u12000
u22000
u10000
u10000
u11000
u10000
u10000
u10000
u10000
u26000
u10000
u11000
u10000
u10000
u10000
u10000
u20500
u11000
u30000
u10000
u26000
u10000
u20000
u10000
u10000
u11500
u30000
u10500
u10000
u10500
u30000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10500
u10500
u10000
u26000
u11000
u12000
u10000
u10000
u20500
u26500
u30000
u10500
u10000
u10500
u10000
u10500
u10500
u27500
u10000
u10500
u20000
u10000
u10000
u10000
u10500
u10500
u10500
u10000
u10000
u10000
u10500
u26000
u10000
u10000
u22000
u21500
u10000
u10000
u40500
u10000
u10000
u10000
u10000
u10000
u10000
u20500
u10000
u10000
u10000
u10500
u10000
u11000
u10000
u10000
u10000
u10000
u10500
u10000
u31000
u12000
u10000
u10000
u10000
u20000
u11000
u10500
u10500
u20000
u10000
u11000
u10000
u20500
u10000
u21000
u10000
u10000
u10000
u10000
u11000
u20000
u20000
u10500
u10000
u26000
u10500
u10500
u10000
u20500
u10000
u10000
u11000
u30000
u10000
u10000
u10000
u10000
u26000
u30000
u10000
u10000
u10000
u10000
u22000
u10500
u10000
u10500
u10000
u10500
u11000
u10500
u10500
u22000
u10000
u10000
u30000
u10000
u10000
u30000
u10000
u10500
u11000
u10500
u11000
u20000
u20000
u10000
u10000
u10000
u40000
u20000
u10500
u10000
u22500
u30000
u21500
u10000
u22000
u10000
u10000
u11000
u10000
u22000
u10000
u27000
u10000
u10000
u30000
u10500
u23000
u10000
u20500
u22000
u10000
u11000
u35500
u10000
u10000
u10000
u26000
u10000
u26000
u10000
u26000
u11000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u26000
u12000
u10000
u10500
u12000
u10000
u22000
u10000
u20000
u26500
u10000
u10000
u10000
u22500
u10500
u22500
u10000
u10000
u10500
u27000
u10000
u10000
u10000
u10000
u20000
u20000
u10000
u10000
u21000
u11000
u10000
u10000
u10000
u30000
u30500
u10000
u26000
u10000
u10000
u10000
u10500
u10000
u35000
u22000
u29000
u10000
u26000
u10000
u36500
u11000
u10000
u10000
u10000
u10000
u22000
u10000
u10000
u10000
u10000
u50000
u31000
u11000
u10500
u10000
u10000
u10000
u22000
u11000
u10000
u10000
u10000
u10000
u10000
u10000
u20000
u10500
u10000
u10500
u22000
u10500
u10500
u10000
u22000
u10500
u10000
u11000
u10000
u10500
u10000
u12000
u10000
u10000
u10000
u10000
u10500
u40000
u10000
u10000
u10000
u24000
u10000
u35000
u11000
u10000
u30000
u11500
u12000
u26000
u11500
u20000
u10000
u10000
u10000
u22000
u11500
u10000
u10000
u40000
u22000
u10000
u10500
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u26000
u10000
u10000
u20000
u10500
u11000
u10000
u10000
u21000
u10500
u10000
u23000
u10000
u10000
u10000
u30500
u26000
u10000
u10000
u10000
u10000
u10500
u10500
u10500
u10500
u10000
u10000
u23000
u20000
u10000
u26000
u10000
u26000
u10000
u11000
u22000
u10000
u26000
u22000
u10000
u26000
u10000
u10000
u10500
u20000
u22000
u10000
u10500
u10000
u10500
u10000
u10000
u30500
u10000
u10000
u10000
u22000
u11000
u10000
u10000
u10000
u10000
u10000
u20000
u12000
u10000
u26000
u11000
u10000
u22000
u11500
u31000
u11000
u26000
u10000
u10500
u10500
u26000
u50000
u10000
u10000
u10000
u10000
u40000
u35000
u10000
u10000
u40000
u10500
u10000
u10000
u22000
u10000
u11000
u22000
u10000
u10000
u10000
u12000
u10000
u10000
u12000
u20000
u20000
u20000
u10000
u11000
u10000
u10500
u26500
u12000
u10000
u10500
u10000
u10000
u10000
u10000
u10000
u10000
u26000
u10000
u21000
u30000
u40000
u10000
u10000
u10000
u10500
u50000
u22000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u26000
u10000
u10000
u10000
u10500
u10000
u30000
u10000
u11000
u10000
u10000
u26000
u40000
u10500
u20000
u10000
u11000
u10500
u11500
u10000
u10000
u10500
u10500
u10000
u26000
u26500
u26000
u26500
u10000
u26000
u10000
u10000
u21000
u10500
u30000
u10500
u20500
u10000
u26000
u26500
u26000
u10000
u11500
u20500
u11000
u22000
u10000
u22000
u36000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u20000
u20000
u20000
u10000
u10500
u30000
u22000
u40000
u10000
u10000
u12000
u10000
u10500
u22000
u22000
u10000
u10000
u10000
u20000
u26000
u10000
u10000
u11500
u10000
u10000
u20000
u10000
u10000
u10000
u10000
u26500
u10000
u22000
u20500
u35000
u10000
u10000
u10000
u11000
u10000
u21000
u10000
u27000
u36000
u30000
u22000
u10000
u10000
u10000
u10000
u10500
u10000
u10000
u10000
u10000
u10000
u12000
u10000
u11000
u10500
u10000
u12000
u10000
u26000
u10000
u26000
u10500
u10000
u10000
u10000
u10000
u10000
u10500
u10000
u10500
u10000
u12000
u10000
u22000
u10500
u10000
u10000
u11000
u10000
u10000
u10000
u10000
u11000
u10000
u10000
u10000
u10000
u40000
u26000
u10000
u10000
u20000
u22000
u10500
u26000
u11000
u20000
u10000
u22500
u10000
u10000
u10500
u10000
u10000
u10000
u10000
u10000
u30000
u10500
u10500
u30000
u10000
u10000
u10000
u10000
u30000
u10000
u10000
u10000
u10000
u20000
u20000
u10000
u10000
u10000
u10000
u10000
u26000
u10000
u10000
u10000
u10000
u10000
u21500
u10000
u10000
u10000
u23500
u10000
u31000
u10000
u22000
u10000
u21000
u10000
u20000
u10000
u10000
u10000
u20000
u10000
u10000
u21000
u10000
u10000
u10000
u10000
u20000
u10000
u10000
u10500
u21000
u10000
u11000
u10000
u10000
u10000
u11000
u10000
u10500
u26000
u10000
u10000
u26000
u11000
u20000
u26000
u10000
u10000
u10000
u10000
u10500
u10000
u10000
u22500
u10000
u10000
u10000
u10000
u26000
u22000
u12000
u10500
u11000
u22000
u10500
u10000
u10500
u10000
u22000
u10500
u11000
u23000
u10000
u30500
u20000
u12000
u10000
u10000
u30000
u20000
u30000
u10000
u10500
u10000
u31000
u10000
u35000
u10000
u26000
u10000
u40000
u10500
u20000
u10000
u22000
u12000
u11000
u10000
u11000
u10000
u40000
u11000
u10000
u10500
u10000
u22000
u11000
u11000
u10000
u10000
u22000
u10000
u10000
u10000
u10000
u30000
u10000
u26000
u11000
u10000
u10500
u10500
u10500
u10000
u10000
u10000
u10000
u10000
u10500
u35000
u10000
u40500
u10000
u10000
u40000
u26000
u10500
u22500
u10000
u10000
u10000
u20500
u10000
u40000
u10000
u10000
u12500
u10000
u10000
u35500
u10500
u40000
u10000
u10000
u10000
u30000
u10000
u10500
u22000
u10000
u10000
u10000
u10000
u10000
u10500
u10000
u10000
u30000
u10000
u30500
u10000
u10000
u10000
u10000
u26000
u30000
u10500
u40500
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u10000
u22000
u10000
u20000
u10500
u10000
u35000
u10000
u12000
u10000
u30500
u30000
u10500
u10500
u10000
u10500
u10000
u10000
u12000
u10000
u40000
u10000
u35000
u10000
u10000
u10000
u30000
u10000
u22000
u24500
u22000
u30000
u10000
u30000
u10000
u26000
u10000
u10000
u10500
u27000
u40000
u10000
u20000
u10000
u10000
u10000
u10500
u22000
u22000
u10000
u11000
u10000
u30000
u30000
u10000
u20500
u20000
u10000
u11500
u10000
u10000
u10000
u10000
u30000
u30000
u11000
u10000
u10000
u10000
u30000
u22000
u10000
u10000
u10000
u10500
u20000
u10000
u50000
u11000
u10000
u10500
u10500
u20000
u22500
u30000
u11000
u22000
u30000
u10000
u11000
u10000
u10000
u20000
u10000
u26000
u10000
u10500
u10000
u12500
u10000
u10000
u10000
u30500
u10500
u11000
u26000
u10000
u26500
u10000
u10500
u10000
u10000
u10000
u21000
u10000
u10000
u10000
u27000
u50000
u22000
))
(define-public (new-list (new-multipliers (list 5000 uint)))
(begin
(asserts! (is-eq tx-sender CONTRACT-OWNER) (err ERR-NOT-AUTHORIZED))
(var-set multipliers new-multipliers)
(ok new-multipliers)
)
)
(define-read-only (lookup (uid uint))
(ok (unwrap-panic (element-at (var-get multipliers) uid)))
)