(define-map stakes uint {
staked: bool,
staker: principal,
staked-block: uint
})
(define-map stakers principal (list 3000 uint))
(define-map lifetime-harvested principal uint)
(define-data-var simulated-block-height uint u0)
(define-data-var removing-item-id uint u3001)
(define-data-var number-staked uint u0)
(define-data-var payout-one principal 'SP1FGT2GA12XQVFDCBZBVZJTAHX6GSN4P7M8AEPMC)
(define-data-var payout-two principal 'SP1GPNZB0JSC9RXJTXVBAMSPQE29WM1SE8V39R6K2)
(define-data-var payout-three principal 'SP2597NW8VYYVV4C22WQF3DK0WGQS8TAVDDPXQ5H8)
(define-data-var fee-one uint u2000000)
(define-data-var fee-two uint u2000000)
(define-data-var fee-three uint u1000000)
(define-data-var admin principal 'SP1XPG9QFX5M95G36SGN9R8YJ4KJ0JB7ZXNH892N6)
(define-constant deployer tx-sender)
(define-constant contract-address (as-contract tx-sender))
(define-constant err-not-authorized u403)
(define-constant err-not-found u404)
(define-constant err-already-staked u410)
;;
;; READ-ONLY FUNCTIONS
;; To get the state of staking and the contract
;;
(define-read-only (is-staked (id uint))
(if (and (is-some (map-get? stakes id))
(is-eq (get staked (unwrap-panic (map-get? stakes id))) true)
(is-eq (get staker (unwrap-panic (map-get? stakes id))) (get-monkey-owner id)))
true
false
)
)
(define-read-only (get-user-balance (user principal))
(fold + (map get-monkey-balance (get-staked-ids user)) u0)
)
(define-read-only (get-lifetime-harvested (user principal))
(default-to u0 (map-get? lifetime-harvested user))
)
(define-read-only (get-monkey-balance (id uint))
(if (not (is-staked id)) u0
(/ (* (get-bgr id)
(- (get-block-height)
(get staked-block (unwrap-panic (map-get? stakes id))))
u1000000
)
u14400)
)
)
(define-read-only (get-bgr (uid uint))
(/ (unwrap-panic (element-at (var-get BGR) (- uid u1))) u100)
)
(define-read-only (get-monkey-owner (id uint))
;;(unwrap-panic (unwrap-panic (contract-call? .bitcoin-monkeys get-owner id)))
(unwrap-panic (unwrap-panic (contract-call? 'SP2KAF9RF86PVX3NEE27DFV1CQX0T4WGR41X3S45C.bitcoin-monkeys get-owner id)))
)
(define-read-only (get-balance)
;;(as-contract (contract-call? .btc-monkeys-bananas get-balance contract-address))
(as-contract (contract-call? 'SP2KAF9RF86PVX3NEE27DFV1CQX0T4WGR41X3S45C.btc-monkeys-bananas get-balance contract-address))
)
(define-public (stake (id uint))
(begin
(asserts! (is-eq tx-sender (get-monkey-owner id)) (err err-not-authorized))
(asserts! (not (is-staked id)) (err err-already-staked))
(if (and (is-some (map-get? stakes id))
(is-eq (get staked (unwrap-panic (map-get? stakes id))) true))
(let ((old-owner (get staker (unwrap-panic (map-get? stakes id)))))
(var-set removing-item-id id)
(map-set stakers old-owner (filter remove-item-id (default-to (list ) (map-get? stakers old-owner))))
)
(var-set number-staked (+ (var-get number-staked) u1))
)
(map-set stakes id {
staked: true,
staker: tx-sender,
staked-block: (get-block-height)
})
(map-set stakers tx-sender (unwrap-panic (as-max-len? (concat (default-to (list ) (map-get? stakers tx-sender)) (list id)) u3000)))
(ok true)
)
)
(define-private (hrvst (user principal))
(begin
(map harvest-monkey (get-staked-ids user))
(ok true)
)
)
(define-public (harvest)
(begin
(try! (pay-harvest-fees))
(hrvst tx-sender)
)
)
(define-private (harvest-monkey (id uint))
(let (
(owner (get-monkey-owner id))
(balance (get-monkey-balance id))
)
(asserts! (or (is-admin) (is-eq tx-sender owner))
(err err-not-authorized))
(asserts! (is-some (map-get? stakes id)) (err err-not-found))
(and
(> balance u0)
;; (try! (as-contract (contract-call? .btc-monkeys-bananas transfer balance contract-address owner none)))
(try! (as-contract (contract-call? 'SP2KAF9RF86PVX3NEE27DFV1CQX0T4WGR41X3S45C.btc-monkeys-bananas transfer balance contract-address owner none)))
)
(map-set stakes id {
staked: true,
staker: owner,
staked-block: (get-block-height)
})
(map-set lifetime-harvested owner
(+ (default-to u0 (map-get? lifetime-harvested owner)) balance))
(ok true)
)
)
(define-public (unstake (id uint))
(let ((owner (get-monkey-owner id)))
(asserts! (or (is-admin) (is-eq tx-sender owner)) (err err-not-authorized))
(asserts! (is-staked id) (err err-not-found))
(map-set stakes id {
staked: false,
staker: owner,
staked-block: (get-block-height)
})
(var-set number-staked (- (var-get number-staked) u1))
(var-set removing-item-id id)
(map-set stakers owner (filter remove-item-id (default-to (list ) (map-get? stakers owner))))
(ok true)
)
)
(define-private (remove-item-id (item-id uint))
(if (is-eq item-id (var-get removing-item-id))
false
true
)
)
(define-private (pay-harvest-fees)
(begin
(try! (stx-transfer? (var-get fee-one) tx-sender (var-get payout-one)))
(try! (stx-transfer? (var-get fee-two) tx-sender (var-get payout-two)))
(try! (stx-transfer? (var-get fee-three) tx-sender (var-get payout-three)))
(ok true)
)
)
(define-read-only (get-stake-info (id uint))
(if (is-staked id)
(map-get? stakes id)
none)
)
(define-read-only (get-number-staked)
(var-get number-staked)
)
(define-read-only (get-staked-ids (user principal))
(filter is-staked (default-to (list ) (map-get? stakers user)))
)
(define-read-only (get-block-height)
;;(var-get simulated-block-height)
block-height
)
;;
;; ADMIN FUNCTIONS
;; These should all be gated with is-admin
;;
(define-public (admin-harvest (user principal))
(begin
(asserts! (is-admin) (err err-not-authorized))
(hrvst user)
)
)
(define-private (is-admin)
(or (is-eq tx-sender deployer)
(is-eq tx-sender (var-get admin)))
)
(define-public (withdraw (amount uint))
(begin
(asserts! (is-admin) (err err-not-authorized))
;; (try! (as-contract (contract-call? .btc-monkeys-bananas transfer amount contract-address tx-sender none)))
(try! (as-contract (contract-call? 'SP2KAF9RF86PVX3NEE27DFV1CQX0T4WGR41X3S45C.btc-monkeys-bananas transfer amount contract-address tx-sender none)))
(ok true)
)
)
(define-public (set-payout-one (addr principal))
(begin
(asserts! (is-admin) (err err-not-authorized))
(var-set payout-one addr)
(ok true)
)
)
(define-public (set-payout-two (addr principal))
(begin
(asserts! (is-admin) (err err-not-authorized))
(var-set payout-two addr)
(ok true)
)
)
(define-public (set-payout-three (addr principal))
(begin
(asserts! (is-admin) (err err-not-authorized))
(var-set payout-three addr)
(ok true)
)
)
(define-public (set-fee-one (amount uint))
(begin
(asserts! (is-admin) (err err-not-authorized))
(var-set fee-one amount)
(ok true)
)
)
(define-public (set-fee-two (amount uint))
(begin
(asserts! (is-admin) (err err-not-authorized))
(var-set fee-two amount)
(ok true)
)
)
(define-public (set-fee-three (amount uint))
(begin
(asserts! (is-admin) (err err-not-authorized))
(var-set fee-three amount)
(ok true)
)
)
(define-public (set-admin (addr principal))
(begin
(asserts! (is-admin) (err err-not-authorized))
(ok (var-set admin addr))
)
)
(define-public (set-bgr (bgrs (list 2500 uint)))
(begin
(asserts! (is-admin) (err err-not-authorized))
(ok (var-set BGR bgrs))
)
)
(define-data-var BGR (list 2500 uint) (list
u11900 u10000 u10000 u11500 u13000 u10500 u12400 u11000 u11200 u11900 u11000 u13000 u10700 u14100 u14500 u10000 u11000 u20000 u20000 u10000 u11400 u13000 u10000 u10000 u10500 u10000 u13000 u12700 u11800 u11600 u13000 u16400 u10000 u10000 u11500 u11000 u13500 u11000 u10500 u11500 u11400 u11400 u13500 u10000 u15000 u10500 u12400 u10500 u12000 u11100 u15600 u12400 u10500 u10000 u13000 u13000 u10500 u11000 u10000 u11400 u14000 u10000 u10000 u11400 u11500 u11000 u12500 u12500 u11900 u15500 u11400 u11600 u12400 u14500 u14600 u12000 u13700 u13000 u10000 u10000 u11000 u11000 u13000 u11400 u11700 u10000 u10000 u13500 u10000 u10600 u11700 u14000 u12400 u13700 u11400 u14600 u16400 u10700 u10500 u14400 u10000 u11900 u13500 u12400 u10500 u10000 u13100 u11400 u13700 u10000 u12600 u11500 u11000 u13700 u13100 u11000 u10000 u15900 u12000 u11200 u13500 u12100 u11500 u10000 u10000 u10000 u10000 u11900 u10000 u11400 u20000 u10000 u10000 u11400 u10000 u10000 u10000 u15800 u10000 u10000 u19600 u12500 u11500 u11200 u11200 u14400 u10000 u11200 u10000 u10500 u10000 u14100 u10000 u12500 u11000 u10000 u11000 u12200 u12500 u10000 u10000 u10000 u10700 u13000 u11900 u10600 u10000 u10000 u10000 u11400 u10000 u10000 u11000 u13500 u12100 u12000 u12500 u12100 u11400 u11000 u12800 u10000 u11000 u13500 u12400 u14200 u11200 u10000 u10000 u10000 u11000 u14600 u11200 u11500 u13000 u10000 u14400 u10000 u12600 u11500 u12800 u10000 u10500 u14800 u12800 u10000 u11200 u13000 u11100 u11500 u10000 u11700 u10000 u13300 u11000 u10500 u10000 u11000 u11400 u10000 u10500 u10000 u11600 u11200 u15200 u11900 u10500 u13800 u10000 u16000 u11200 u10000 u10000 u11000 u10000 u11400 u10000 u10000 u10000 u12000 u11000 u14400 u10500 u10500 u10000 u11800 u12100 u10000 u10500 u11000 u15400 u15500 u13300 u10600 u12600 u11000 u10000 u10500 u11400 u11000 u10500 u10500 u11400 u10500 u11400 u11000 u13100 u10000 u10000 u10700 u12600 u10000 u11000 u12700 u10000 u10500 u10000 u11000 u10500 u10000 u10500 u11000 u11400 u11000 u11400 u11000 u11900 u10000 u13500 u11000 u10000 u10500 u15900 u10000 u11500 u12400 u11000 u11400 u10000 u12500 u14000 u10000 u13300 u11000 u11000 u10000 u11600 u11000 u11400 u10500 u11200 u10000 u10000 u11000 u12800 u10000 u11000 u10000 u13300 u12400 u10000 u13300 u12500 u11200 u11400 u11400 u10500 u10000 u10500 u13000 u11000 u10000 u10600 u10700 u10500 u10000 u10500 u13000 u15000 u14600 u10000 u13000 u11600 u10000 u11000 u10000 u11600 u11000 u10700 u11000 u11700 u10000 u12200 u10000 u12500 u10000 u10600 u10000 u10500 u10500 u11500 u10000 u11000 u11000 u12000 u11900 u13000 u10000 u13000 u11000 u13100 u10000 u10000 u11000 u12400 u13000 u11500 u11000 u13000 u11000 u14400 u13000 u10000 u13600 u14900 u10500 u12400 u10500 u11900 u10000 u11400 u11500 u13500 u11000 u11500 u11700 u10000 u13000 u11500 u11900 u15600 u11500 u13000 u10500 u10000 u11400 u10600 u11400 u11000 u10000 u10000 u13000 u11000 u11000 u11400 u10000 u11900 u14200 u10000 u10000 u12800 u11000 u11600 u10000 u11200 u10000 u11000 u10000 u11400 u11200 u10000 u11600 u10500 u10000 u13900 u10500 u12500 u11000 u12500 u13000 u14000 u10000 u12500 u11900 u10000 u10500 u15100 u10000 u12500 u10600 u17800 u10000 u13500 u10600 u10000 u12400 u10000 u11500 u10000 u15000 u13900 u11900 u11100 u11500 u10000 u10000 u10000 u10500 u11600 u11000 u10700 u12600 u11000 u13000 u10500 u10000 u11500 u11200 u11400 u11000 u11200 u23700 u14800 u12800 u10000 u12600 u11900 u10000 u12800 u13100 u11900 u12700 u11000 u12200 u10000 u10000 u11400 u11500 u11400 u10000 u11000 u13500 u10000 u11500 u11200 u11700 u10500 u10500 u13000 u10500 u15000 u10000 u11400 u11500 u10700 u10000 u11900 u10000 u10000 u11200 u11500 u13000 u10500 u11000 u12600 u13000 u10500 u12600 u16900 u10000 u11500 u11700 u11500 u10000 u11400 u11400 u11400 u11200 u11500 u11500 u14900 u11000 u12000 u11400 u13600 u10700 u10500 u11600 u11500 u11400 u10000 u12600 u11100 u12400 u10000 u13000 u11000 u10000 u10600 u16500 u10000 u10500 u10700 u11000 u11200 u11600 u11400 u10000 u10000 u11200 u14400 u11000 u10500 u10500 u11000 u20000 u10000 u12200 u10000 u20600 u11000 u12400 u22800 u10600 u10000 u14600 u10000 u12800 u11000 u11200 u12200 u13000 u10500 u10000 u10500 u10600 u13000 u10500 u10500 u11500 u10500 u12400 u10000 u14000 u10000 u11500 u13700 u14400 u10000 u11000 u10500 u10000 u10500 u11000 u10500 u12400 u12400 u12000 u13000 u10000 u10500 u10000 u10000 u11000 u11500 u11000 u10000 u11000 u10500 u10000 u15400 u23000 u13000 u10000 u13400 u12600 u13700 u14400 u10500 u11000 u10000 u10000 u10500 u14000 u10500 u13000 u14200 u10000 u13500 u10000 u14000 u10000 u11500 u11700 u10000 u11200 u11400 u11200 u10500 u10000 u12900 u14000 u18000 u12600 u12400 u11600 u10500 u10500 u13400 u11400 u10000 u16200 u10500 u10000 u11900 u10500 u10000 u10000 u13500 u10000 u14700 u10000 u12400 u10000 u14000 u10000 u14900 u12900 u13600 u10600 u10000 u12200 u11400 u13000 u15000 u10500 u10000 u10500 u10000 u10000 u11000 u14900 u12400 u10000 u11400 u11600 u10000 u14200 u10000 u12900 u11000 u10000 u12400 u12600 u10000 u11500 u13500 u13000 u10500 u13300 u10500 u11900 u12400 u11900 u10000 u15000 u14100 u12200 u10000 u10000 u14200 u14700 u12100 u11400 u12200 u10000 u10500 u10000 u10000 u10000 u14000 u13000 u13000 u11400 u11600 u11000 u10000 u11900 u14400 u11000 u10500 u15200 u11000 u10700 u11700 u10000 u11400 u10000 u13700 u13900 u11000 u11000 u10000 u11000 u12900 u13500 u11000 u10000 u10000 u10000 u10000 u11500 u14000 u11400 u12100 u10500 u11400 u11600 u12100 u10000 u10500 u15500 u11000 u11400 u11200 u10000 u10500 u11000 u11000 u11000 u12000 u11400 u14700 u13500 u12400 u14000 u10000 u15300 u14500 u10000 u13000 u12400 u11200 u10000 u10500 u14400 u10000 u10600 u10000 u11400 u10500 u10000 u10000 u14500 u20000 u14600 u10000 u10500 u16400 u13000 u13500 u11500 u10500 u11400 u11400 u13700 u12500 u14200 u11200 u12900 u15400 u10000 u10000 u10000 u11400 u10700 u11500 u12000 u11000 u15500 u13600 u10500 u11400 u14100 u11000 u11000 u10000 u10700 u11700 u10600 u11400 u11400 u11400 u14700 u10500 u10000 u10000 u11400 u11000 u12500 u10700 u12000 u14400 u10500 u11900 u10000 u11500 u13900 u10000 u11400 u10000 u11000 u10000 u11400 u11000 u15900 u11500 u10000 u13500 u11900 u10000 u11000 u11900 u14000 u10000 u10500 u11400 u11500 u11400 u12100 u11500 u11000 u11000 u12800 u12400 u15200 u10000 u11900 u10000 u11200 u10000 u10000 u11500 u12000 u17000 u11700 u10000 u10500 u13500 u11000 u12400 u10500 u12800 u11100 u10000 u13500 u11900 u14900 u12400 u10000 u11200 u20000 u11200 u10000 u11400 u11000 u10500 u11500 u10000 u11000 u12000 u11000 u11400 u12100 u12700 u11400 u12500 u10500 u11900 u20500 u15000 u12800 u10000 u11100 u10500 u10700 u11200 u10600 u12800 u11000 u13500 u14000 u16000 u11000 u10500 u18500 u11400 u10500 u10000 u11700 u11200 u11500 u10500 u10500 u10500 u11000 u11000 u11000 u10600 u10500 u10500 u11000 u11500 u11900 u10500 u15500 u17800 u11000 u10500 u10000 u10000 u10000 u11500 u10500 u10000 u11600 u10500 u13300 u11000 u12400 u12900 u13500 u12400 u11500 u11200 u10000 u12400 u10500 u11400 u10000 u11000 u13000 u14000 u11400 u11200 u10000 u10000 u11400 u10000 u10000 u10500 u12000 u10500 u14400 u15700 u11000 u11000 u12400 u13000 u13000 u14000 u12900 u10000 u10600 u11600 u14400 u11900 u10500 u12800 u12800 u11900 u10000 u10500 u16400 u10000 u10500 u10500 u15100 u16400 u10000 u14400 u10000 u10000 u10000 u10500 u12500 u11900 u12800 u10000 u10000 u10500 u11000 u12000 u13000 u10000 u10000 u10700 u12800 u11000 u10000 u11000 u14400 u10500 u11200 u15000 u15500 u10000 u11400 u12900 u10000 u11500 u12500 u11600 u10000 u11400 u10000 u10500 u14500 u13000 u11400 u10600 u11000 u11000 u10000 u10000 u11200 u11900 u10000 u15000 u15500 u15000 u14200 u10500 u13400 u11400 u10000 u10000 u10000 u10000 u10000 u15800 u11400 u10500 u10000 u13300 u12000 u11000 u10000 u13000 u10000 u10000 u11400 u10000 u10000 u12200 u12000 u10500 u10500 u11000 u11000 u15600 u12400 u10500 u10000 u11400 u10000 u14200 u14400 u10500 u11100 u14900 u10000 u11100 u10000 u10000 u13000 u11100 u10600 u11500 u10000 u10500 u10000 u11200 u15600 u10500 u10500 u11200 u12500 u15500 u10500 u10000 u11900 u16100 u11400 u13000 u10000 u12600 u10000 u10000 u10000 u12600 u10600 u14400 u13800 u10500 u10600 u11700 u11200 u10500 u10500 u10000 u10000 u14700 u10500 u11400 u10500 u13500 u13000 u10000 u10000 u13100 u11500 u11400 u13000 u12700 u10000 u10000 u14200 u10500 u11500 u12000 u11500 u11000 u11400 u11900 u10000 u11500 u11000 u11400 u12600 u10000 u10000 u13000 u11400 u11400 u13000 u12100 u11200 u11400 u13000 u11200 u12500 u11000 u12000 u12000 u10500 u12200 u11900 u10000 u10000 u13100 u10000 u10000 u12400 u10700 u11200 u12500 u11500 u10000 u12100 u11000 u14000 u11600 u10700 u10000 u13100 u13500 u10000 u13000 u12500 u11400 u11900 u12800 u11200 u10000 u11000 u11500 u10000 u10700 u11400 u11500 u11400 u10000 u12800 u13000 u11000 u11000 u11800 u13900 u14000 u12000 u12700 u10000 u11900 u10000 u11500 u11000 u11400 u11600 u10000 u10000 u12400 u10000 u10500 u12300 u13000 u11900 u11000 u10000 u12800 u10000 u11400 u10000 u10000 u11400 u11000 u14000 u11400 u10700 u10500 u10000 u10000 u10000 u10000 u11900 u10500 u11000 u10500 u12800 u15000 u11200 u11200 u10000 u12100 u11000 u11600 u11000 u10000 u13100 u11000 u13000 u10500 u10000 u11000 u12000 u10000 u14400 u10000 u11000 u10000 u10000 u12500 u10000 u11000 u10500 u11400 u11000 u10500 u11400 u11900 u11200 u11700 u11000 u11700 u10000 u10000 u10000 u11500 u11500 u10000 u10000 u10000 u16300 u13000 u10000 u10000 u10000 u10000 u10700 u13400 u10600 u10000 u10000 u10000 u13600 u10000 u20000 u16400 u11600 u10000 u11000 u10000 u11400 u12600 u10500 u12500 u10600 u11000 u13000 u10000 u10000 u11200 u11600 u12400 u10000 u12600 u12600 u10500 u10700 u10500 u10500 u11000 u10000 u10500 u13700 u10500 u11200 u11600 u10500 u10000 u10700 u11000 u11000 u10000 u10000 u10000 u11000 u10000 u11500 u11000 u11000 u10500 u11000 u10000 u10000 u10000 u12400 u10000 u10700 u15100 u14000 u11400 u10000 u12400 u13000 u12200 u10000 u11000 u10000 u10000 u10000 u13000 u11400 u10000 u12100 u11000 u12900 u11400 u10000 u11700 u11000 u13000 u11000 u10600 u11500 u10000 u11700 u10000 u11500 u11500 u11100 u11400 u10000 u11700 u11600 u10000 u10000 u12100 u10000 u11500 u11400 u11200 u10000 u12000 u12200 u13000 u11500 u10500 u11400 u12500 u10000 u10000 u11400 u13000 u10000 u13300 u10500 u10000 u14000 u10500 u10500 u15600 u12000 u11400 u10000 u13000 u11900 u10500 u13000 u12100 u11000 u10000 u11500 u10500 u13000 u11000 u13500 u11000 u11000 u10000 u10000 u11000 u11700 u10500 u15500 u13700 u10000 u11000 u10700 u10000 u10000 u12500 u13700 u11200 u10000 u10000 u10500 u13500 u12200 u13000 u11600 u10000 u12500 u13000 u10500 u11700 u12000 u11000 u11400 u14100 u10000 u11400 u14000 u12200 u10000 u13600 u11000 u11400 u11400 u10500 u13000 u14500 u11400 u12700 u10500 u11400 u14400 u12400 u11400 u13500 u10000 u10000 u10000 u13900 u11000 u11000 u11400 u10000 u11200 u11600 u12700 u10600 u12500 u10000 u10000 u11500 u13000 u10700 u14200 u11200 u12500 u13500 u12700 u12900 u12300 u11000 u14200 u10500 u11200 u10000 u11200 u10500 u12000 u11600 u10000 u10000 u11000 u14200 u12400 u12400 u11000 u11500 u14000 u12900 u10000 u10000 u10000 u11400 u10000 u12000 u11600 u11400 u10500 u10000 u11900 u11500 u11000 u11500 u14000 u13000 u11200 u12800 u10000 u13000 u11000 u13000 u10000 u11000 u10500 u15200 u10000 u11600 u11500 u11400 u11400 u13000 u13600 u10000 u10500 u14000 u11200 u11400 u10000 u10000 u14000 u13000 u11200 u10000 u10000 u10500 u12500 u12500 u11200 u10500 u11200 u12400 u10000 u10500 u11500 u11500 u15000 u11500 u10000 u13500 u12000 u12500 u10700 u15600 u10500 u11900 u11500 u10500 u13500 u10000 u15100 u11700 u10000 u13500 u11700 u12000 u10000 u11000 u10000 u10000 u10000 u10000 u12200 u10000 u11000 u11400 u11600 u10000 u20000 u15000 u12000 u10000 u10000 u10500 u13200 u14000 u14800 u10500 u10000 u10500 u10000 u13700 u11500 u10000 u11000 u12000 u15700 u10000 u10500 u10000 u11900 u11000 u11500 u20000 u10000 u21500 u10000 u14400 u11600 u11000 u10500 u15200 u10000 u10000 u11000 u11000 u10000 u11400 u10000 u11400 u13600 u11900 u11000 u11000 u11900 u11200 u12500 u11600 u10000 u12900 u14000 u10000 u11400 u18000 u12900 u12800 u11000 u10500 u10500 u10000 u11400 u13000 u10500 u10500 u11200 u10000 u14000 u10500 u11200 u11200 u12400 u10000 u12400 u13700 u10000 u11500 u10500 u10000 u10000 u12300 u10000 u11000 u15100 u10500 u11500 u11900 u10000 u14000 u11600 u11000 u12800 u13000 u10000 u11000 u10000 u11500 u11000 u10000 u11000 u16400 u11500 u10000 u10700 u12400 u12600 u11700 u10500 u10000 u10500 u11000 u16400 u10000 u10000 u11000 u10000 u10000 u10500 u12100 u13000 u10000 u12400 u10000 u10500 u10500 u11400 u10000 u10600 u10000 u11000 u13000 u10500 u10000 u10000 u10500 u11200 u11400 u10000 u12000 u12100 u11400 u11600 u10500 u10000 u11000 u11000 u12500 u15300 u13700 u12400 u11600 u11500 u15100 u10500 u12500 u10000 u11000 u10000 u11200 u11500 u11000 u10500 u10000 u10500 u10500 u16700 u13000 u11500 u16400 u11000 u16400 u13000 u11500 u12000 u11200 u12800 u11000 u11200 u10000 u10000 u14000 u10000 u12000 u11400 u14400 u10000 u14400 u13500 u13000 u15000 u11900 u13000 u10500 u10000 u10000 u11400 u10000 u10000 u11400 u10000 u10000 u10500 u11000 u10000 u11000 u11400 u11000 u10000 u10000 u12600 u10500 u10000 u12900 u10000 u18000 u11400 u10500 u10000 u10000 u10000 u13500 u16900 u10000 u11000 u11900 u10500 u11100 u14000 u10000 u11400 u11700 u11400 u10000 u10500 u10000 u12800 u10000 u10000 u10500 u12400 u10000 u11400 u11200 u10000 u10000 u11000 u11700 u11000 u11000 u10500 u10000 u11000 u13100 u10000 u13500 u11000 u12000 u11200 u11400 u10000 u11900 u12400 u14000 u11700 u11000 u14200 u10500 u14400 u11000 u11400 u11400 u12400 u11400 u13500 u11000 u10500 u11000 u10500 u11500 u10000 u12000 u11500 u11000 u11500 u20000 u10000 u10500 u11000 u15600 u12400 u14200 u10000 u11000 u11000 u11000 u10000 u10500 u11000 u12400 u11500 u12400 u11200 u12200 u13000 u11400 u10500 u11700 u10500 u10500 u10000 u11900 u11500 u12200 u11400 u11500 u14100 u11000 u13000 u12600 u10000 u10500 u10500 u11000 u10000 u13000 u11500 u11600 u11000 u11700 u10000 u13000 u10600 u12300 u10000 u10000 u10000 u11400 u11200 u11400 u11500 u11000 u13000 u13000 u14000 u13600 u14400 u11400 u11500 u13500 u10000 u10000 u12400 u11000 u10000 u10000 u11000 u12400 u10000 u10000 u10500 u11000 u15500 u10000 u15700 u11000 u14700 u11500 u10000 u10000 u10500 u11200 u10000 u10600 u10000 u11200 u14200 u11000 u11000 u10500 u11000 u12700 u15000 u12100 u11900 u12400 u10000 u13000 u13000 u11000 u11400 u12500 u12600 u13500 u10500 u11600 u11900 u10000 u10000 u14700 u11000 u12500 u10500 u10500 u10500 u16000 u12000 u11000 u12400 u12500 u10000 u11000 u10000 u10000 u10500 u12900 u10000 u10000 u20000 u10000 u10000 u10000 u15400 u13600 u11500 u10600 u10000 u10600 u12400 u10500 u10000 u11400 u10000 u10000 u11400 u10000 u10500 u11500 u12000 u10700 u11400 u11000 u10000 u11400 u20500 u10000 u10000 u13000 u14200 u11000 u11400 u10000 u14000 u10600 u10000 u13500 u10000 u14400 u12200 u12400 u12400 u11400 u11500 u11000 u10000 u15600 u11200 u19900 u11500 u11500 u10500 u14200 u11000 u12400 u11400 u10000 u13000 u10000 u11000 u12000 u11100 u10000 u11500 u11400 u11400 u16400 u11600 u12700 u11000 u10000 u13000 u10000 u14200 u10000 u11000 u11000 u14600 u10500 u12700 u14000 u11400 u13000 u10000 u11400 u12100 u10500 u13900 u11600 u12000 u10000 u17900 u11000 u11000 u12800 u12400 u10500 u11400 u10000 u11400 u14900 u11400 u10500 u12000 u10000 u10000 u15000 u10000 u10600 u11500 u12800 u11000 u10000 u10000 u14600 u11200 u11900 u11000 u10500 u11700 u10000 u12800 u10000 u10000 u10000 u13300 u15600 u11000 u10000 u10000 u14400 u11200 u10000 u15200 u14600 u10000 u11700 u11000 u14900 u10000 u11000 u13000 u11000 u11400 u11000 u11700 u10000 u10000 u11000 u10000 u10000 u13000 u11400 u11000 u12200 u14000 u11000 u10000 u11200 u14600 u10000 u10500 u10500 u11900 u10000 u10000 u11400 u11400 u12400 u11500 u11100 u11000 u20000 u11000 u10500 u13500 u11200 u11900 u10000 u11900 u10000 u11200 u11000 u12000 u12900 u12600 u11400 u10000 u15000 u12800 u11400 u10600 u11700 u11900 u11700 u12400 u10600 u10000 u13900 u10000 u11000 u10500 u10500 u10000 u11000 u14400 u11200 u10700 u11000 u10000 u10000 u11400 u11000 u11400 u11500 u11400 u12900 u15400 u11400 u14000 u10000 u14000 u10000 u11400 u10500 u10000 u11200 u11000 u10500 u12400 u12600 u11800 u11700 u12100 u11400 u11000 u11000 u14600 u10000 u10000 u11000 u10000 u10500 u15600 u11400 u13000 u10000 u13000 u10500 u12100 u10500 u10700 u11400 u11000 u10500 u13400 u10000 u11500 u14800 u11400 u12000 u14200 u11500 u11700 u10600 u14400 u11400 u10500 u10000 u15000 u10000 u11500 u11000 u10000 u11600 u10700 u10700 u10500 u10000 u10500 u10000 u10000 u10500 u10000 u10000 u11400 u10000 u10000 u13000 u11900 u10000 u12000 u11000 u12900 u10000 u14000 u11000 u12500 u13000 u12500 u15500 u11000 u11400 u11000 u10700 u11400 u12400 u11000 u14600 u11000 u12800 u13500 u10000 u10000 u11400 u10000 u11400 u11900 u14000 u10000 u10500 u10500 u11000 u10000 u13000 u11500 u11200 u10000 u11000 u12400 u11500 u11400 u12000 u12400 u11600 u10000 u10000 u11000 u12400 u10000 u12300 u10000 u20000 u11700 u13900 u13000 u10000 u14400 u13100 u11400 u14600 u11400 u11500 u13600 u10000 u11000 u10000 u13600 u11900 u10000 u12400 u12900 u10500 u10700 u11500 u11000 u11400 u11700 u13000 u10000 u10000 u11700 u12400 u10500 u10500 u14900 u10000 u14800 u10500 u14300 u13000 u10500 u11500 u10000 u11400 u10500 u13500 u14400 u10500 u11000 u11500 u11200 u12200 u10000 u10600 u11000 u13000 u10000 u11000 u20000 u13000 u11000 u10500 u10000 u10000 u11400 u11700 u10000 u12000
))