(interface fungible-v1
" Standard for fungible coins and tokens as specified in KIP-0002. "
; ----------------------------------------------------------------------
; Schema
(defschema account-details
@doc "Schema for results of 'account' operation."
@model [ (invariant (!= "" sender)) ]
account:string
balance:decimal
guard:guard)
; ----------------------------------------------------------------------
; Caps
(defcap TRANSFER:bool
( sender:string
receiver:string
amount:decimal
)
@doc " Managed capability sealing AMOUNT for transfer from SENDER to \
\ RECEIVER. Permits any number of transfers up to AMOUNT."
@managed amount TRANSFER-mgr
)
(defun TRANSFER-mgr:decimal
( managed:decimal
requested:decimal
)
@doc " Manages TRANSFER AMOUNT linearly, \
\ such that a request for 1.0 amount on a 3.0 \
\ managed quantity emits updated amount 2.0."
)
; ----------------------------------------------------------------------
; Functionality
(defun transfer-create:string
( sender:string
receiver:string
receiver-guard:guard
amount:decimal
)
@doc " Transfer AMOUNT between accounts SENDER and RECEIVER. \
\ Fails if SENDER does not exist. If RECEIVER exists, guard \
\ must match existing value. If RECEIVER does not exist, \
\ RECEIVER account is created using RECEIVER-GUARD. \
\ Subject to management by TRANSFER capability."
@model [ (property (> amount 0.0))
(property (!= sender ""))
(property (!= receiver ""))
(property (!= sender receiver))
]
)
(defpact transfer-crosschain:string
( sender:string
receiver:string
receiver-guard:guard
target-chain:string
amount:decimal
)
@doc " 2-step pact to transfer AMOUNT from SENDER on current chain \
\ to RECEIVER on TARGET-CHAIN via SPV proof. \
\ TARGET-CHAIN must be different than current chain id. \
\ First step debits AMOUNT coins in SENDER account and yields \
\ RECEIVER, RECEIVER_GUARD and AMOUNT to TARGET-CHAIN. \
\ Second step continuation is sent into TARGET-CHAIN with proof \
\ obtained from the spv 'output' endpoint of Chainweb. \
\ Proof is validated and RECEIVER is credited with AMOUNT \
\ creating account with RECEIVER_GUARD as necessary."
@model [ (property (> amount 0.0))
(property (!= sender ""))
(property (!= receiver ""))
(property (!= sender receiver))
(property (!= target-chain ""))
]
)
(defun get-balance:decimal
( account:string )
" Get balance for ACCOUNT. Fails if account does not exist."
)
(defun details:object{account-details}
( account: string )
" Get an object with details of ACCOUNT. \
\ Fails if account does not exist."
)
(defun precision:integer
()
"Return the maximum allowed decimal precision."
)
(defun enforce-unit:bool
( amount:decimal )
" Enforce minimum precision allowed for transactions."
)
(defun create-account:string
( account:string
guard:guard
)
" Create ACCOUNT with 0.0 balance, with GUARD controlling access."
)
(defun rotate:string
( account:string
new-guard:guard
)
" Rotate guard for ACCOUNT. Transaction is validated against \
\ existing guard before installing new guard. "
)
)
(module coin GOVERNANCE
@doc "'coin' represents the Kadena Coin Contract. This contract provides both the \
\buy/redeem gas support in the form of 'fund-tx', as well as transfer, \
\credit, debit, coinbase, account creation and query, as well as SPV burn \
\create. To access the coin contract, you may use its fully-qualified name, \
\or issue the '(use coin)' command in the body of a module declaration."
@model
[ (defproperty conserves-mass
(= (column-delta coin-table 'balance) 0.0))
(defproperty valid-account (account:string)
(and
(>= (length account) 3)
(<= (length account) 256)))
]
(implements fungible-v1)
; --------------------------------------------------------------------------
; Schemas and Tables
(defschema coin-schema
@doc "The coin contract token schema"
@model [ (invariant (>= balance 0.0)) ]
balance:decimal
guard:guard)
(deftable coin-table:{coin-schema})
; --------------------------------------------------------------------------
; Capabilities
(defcap GOVERNANCE ()
(enforce false "Enforce non-upgradeability"))
(defcap GAS ()
"Magic capability to protect gas buy and redeem"
true)
(defcap COINBASE ()
"Magic capability to protect miner reward"
true)
(defcap GENESIS ()
"Magic capability constraining genesis transactions"
true)
(defcap DEBIT (sender:string)
"Capability for managing debiting operations"
(enforce-guard (at 'guard (read coin-table sender)))
(enforce (!= sender "") "valid sender"))
(defcap CREDIT (receiver:string)
"Capability for managing crediting operations"
(enforce (!= receiver "") "valid receiver"))
(defcap TRANSFER:bool
( sender:string
receiver:string
amount:decimal
)
@managed amount TRANSFER-mgr
(enforce (!= sender receiver) "same sender and receiver")
(enforce-unit amount)
(enforce (> amount 0.0) "Positive amount")
(compose-capability (DEBIT sender))
(compose-capability (CREDIT receiver))
)
(defun TRANSFER-mgr:decimal
( managed:decimal
requested:decimal
)
(let ((newbal (- managed requested)))
(enforce (>= newbal 0.0)
(format "TRANSFER exceeded for balance {}" [managed]))
newbal)
)
; --------------------------------------------------------------------------
; Constants
(defconst COIN_CHARSET CHARSET_LATIN1
"The default coin contract character set")
(defconst MINIMUM_PRECISION 12
"Minimum allowed precision for coin transactions")
(defconst MINIMUM_ACCOUNT_LENGTH 3
"Minimum account length admissible for coin accounts")
(defconst MAXIMUM_ACCOUNT_LENGTH 256
"Maximum account name length admissible for coin accounts")
; --------------------------------------------------------------------------
; Utilities
(defun enforce-unit:bool (amount:decimal)
@doc "Enforce minimum precision allowed for coin transactions"
(enforce
(= (floor amount MINIMUM_PRECISION)
amount)
(format "Amount violates minimum precision: {}" [amount]))
)
(defun validate-account (account:string)
@doc "Enforce that an account name conforms to the coin contract \
\minimum and maximum length requirements, as well as the \
\latin-1 character set."
(enforce
(is-charset COIN_CHARSET account)
(format
"Account does not conform to the coin contract charset: {}"
[account]))
(let ((account-length (length account)))
(enforce
(>= account-length MINIMUM_ACCOUNT_LENGTH)
(format
"Account name does not conform to the min length requirement: {}"
[account]))
(enforce
(<= account-length MAXIMUM_ACCOUNT_LENGTH)
(format
"Account name does not conform to the max length requirement: {}"
[account]))
)
)
; --------------------------------------------------------------------------
; Coin Contract
(defun gas-only ()
"Predicate for gas-only user guards."
(require-capability (GAS)))
(defun gas-guard (guard:guard)
"Predicate for gas + single key user guards"
(enforce-one
"Enforce either the presence of a GAS cap or keyset"
[ (gas-only)
(enforce-guard guard)
]))
(defun buy-gas:string (sender:string total:decimal)
@doc "This function describes the main 'gas buy' operation. At this point \
\MINER has been chosen from the pool, and will be validated. The SENDER \
\of this transaction has specified a gas limit LIMIT (maximum gas) for \
\the transaction, and the price is the spot price of gas at that time. \
\The gas buy will be executed prior to executing SENDER's code."
@model [ (property (> total 0.0))
(property (valid-account sender))
]
(validate-account sender)
(enforce-unit total)
(enforce (> total 0.0) "gas supply must be a positive quantity")
(require-capability (GAS))
(with-capability (DEBIT sender)
(debit sender total))
)
(defun redeem-gas:string (miner:string miner-guard:guard sender:string total:decimal)
@doc "This function describes the main 'redeem gas' operation. At this \
\point, the SENDER's transaction has been executed, and the gas that \
\was charged has been calculated. MINER will be credited the gas cost, \
\and SENDER will receive the remainder up to the limit"
@model [ (property (> total 0.0))
(property (valid-account sender))
(property (valid-account miner))
]
(validate-account sender)
(validate-account miner)
(enforce-unit total)
(require-capability (GAS))
(let*
((fee (read-decimal "fee"))
(refund (- total fee)))
(enforce-unit fee)
(enforce (>= fee 0.0)
"fee must be a non-negative quantity")
(enforce (>= refund 0.0)
"refund must be a non-negative quantity")
; directly update instead of credit
(with-capability (CREDIT sender)
(if (> refund 0.0)
(with-read coin-table sender
{ "balance" := balance }
(update coin-table sender
{ "balance": (+ balance refund) }))
"noop"))
(with-capability (CREDIT miner)
(if (> fee 0.0)
(credit miner miner-guard fee)
"noop"))
)
)
(defun create-account:string (account:string guard:guard)
@model [ (property (valid-account account)) ]
(validate-account account)
(insert coin-table account
{ "balance" : 0.0
, "guard" : guard
})
)
(defun get-balance:decimal (account:string)
(with-read coin-table account
{ "balance" := balance }
balance
)
)
(defun details:object{fungible-v1.account-details}
( account:string )
(with-read coin-table account
{ "balance" := bal
, "guard" := g }
{ "account" : account
, "balance" : bal
, "guard": g })
)
(defun rotate:string (account:string new-guard:guard)
(with-read coin-table account
{ "guard" := old-guard }
(enforce-guard old-guard)
(enforce-guard new-guard)
(update coin-table account
{ "guard" : new-guard }
)))
(defun precision:integer
()
MINIMUM_PRECISION)
(defun transfer:string (sender:string receiver:string amount:decimal)
@model [ (property conserves-mass)
(property (> amount 0.0))
(property (valid-account sender))
(property (valid-account receiver))
(property (!= sender receiver)) ]
(enforce (!= sender receiver)
"sender cannot be the receiver of a transfer")
(validate-account sender)
(validate-account receiver)
(enforce (> amount 0.0)
"transfer amount must be positive")
(enforce-unit amount)
(with-capability (TRANSFER sender receiver amount)
(debit sender amount)
(with-read coin-table receiver
{ "guard" := g }
(credit receiver g amount))
)
)
(defun transfer-create:string
( sender:string
receiver:string
receiver-guard:guard
amount:decimal )
@model [ (property conserves-mass) ]
(enforce (!= sender receiver)
"sender cannot be the receiver of a transfer")
(validate-account sender)
(validate-account receiver)
(enforce (> amount 0.0)
"transfer amount must be positive")
(enforce-unit amount)
(with-capability (TRANSFER sender receiver amount)
(debit sender amount)
(credit receiver receiver-guard amount))
)
(defun coinbase:string (account:string account-guard:guard amount:decimal)
@doc "Internal function for the initial creation of coins. This function \
\cannot be used outside of the coin contract."
@model [ (property (valid-account account)) ]
(validate-account account)
(enforce-unit amount)
(require-capability (COINBASE))
(with-capability (CREDIT account)
(credit account account-guard amount))
)
(defpact fund-tx (sender:string miner:string miner-guard:guard total:decimal)
@doc "'fund-tx' is a special pact to fund a transaction in two steps, \
\with the actual transaction transpiring in the middle: \
\ \
\ 1) A buying phase, debiting the sender for total gas and fee, yielding \
\ TX_MAX_CHARGE. \
\ 2) A settlement phase, resuming TX_MAX_CHARGE, and allocating to the \
\ coinbase account for used gas and fee, and sender account for bal- \
\ ance (unused gas, if any)."
@model [ (property (> total 0.0))
(property (valid-account sender))
(property (valid-account miner))
;(property conserves-mass) not supported yet
]
(step (buy-gas sender total))
(step (redeem-gas miner miner-guard sender total))
)
(defun debit:string (account:string amount:decimal)
@doc "Debit AMOUNT from ACCOUNT balance"
@model [ (property (> amount 0.0))
(property (valid-account account))
]
(validate-account account)
(enforce (> amount 0.0)
"debit amount must be positive")
(enforce-unit amount)
(require-capability (DEBIT account))
(with-read coin-table account
{ "balance" := balance }
(enforce (<= amount balance) "Insufficient funds")
(update coin-table account
{ "balance" : (- balance amount) }
))
)
(defun credit:string (account:string guard:guard amount:decimal)
@doc "Credit AMOUNT to ACCOUNT balance"
@model [ (property (> amount 0.0))
(property (valid-account account))
]
(validate-account account)
(enforce (> amount 0.0) "credit amount must be positive")
(enforce-unit amount)
(require-capability (CREDIT account))
(with-default-read coin-table account
{ "balance" : 0.0, "guard" : guard }
{ "balance" := balance, "guard" := retg }
; we don't want to overwrite an existing guard with the user-supplied one
(enforce (= retg guard)
"account guards do not match")
(write coin-table account
{ "balance" : (+ balance amount)
, "guard" : retg
})
))
(defschema crosschain-schema
@doc "Schema for yielded value in cross-chain transfers"
receiver:string
receiver-guard:guard
amount:decimal)
(defpact transfer-crosschain:string
( sender:string
receiver:string
receiver-guard:guard
target-chain:string
amount:decimal )
@model [ (property (> amount 0.0))
(property (!= receiver ""))
(property (valid-account sender))
(property (valid-account receiver))
]
(step
(with-capability (DEBIT sender)
(validate-account sender)
(validate-account receiver)
(enforce (!= "" target-chain) "empty target-chain")
(enforce (!= (at 'chain-id (chain-data)) target-chain)
"cannot run cross-chain transfers to the same chain")
(enforce (> amount 0.0)
"transfer quantity must be positive")
(enforce-unit amount)
;; step 1 - debit delete-account on current chain
(debit sender amount)
(let
((crosschain-details:object{crosschain-schema}
{ "receiver" : receiver
, "receiver-guard" : receiver-guard
, "amount" : amount
}))
(yield crosschain-details target-chain)
)))
(step
(resume
{ "receiver" := receiver
, "receiver-guard" := receiver-guard
, "amount" := amount
}
;; step 2 - credit create account on target chain
(with-capability (CREDIT receiver)
(credit receiver receiver-guard amount))
))
)
; --------------------------------------------------------------------------
; Coin allocations
(defschema allocation-schema
@doc "Genesis allocation registry"
;@model [ (invariant (>= balance 0.0)) ]
balance:decimal
date:time
guard:guard
redeemed:bool)
(deftable allocation-table:{allocation-schema})
(defun create-allocation-account
( account:string
date:time
keyset-ref:string
amount:decimal
)
@doc "Add an entry to the coin allocation table. This function \
\also creates a corresponding empty coin contract account \
\of the same name and guard. Requires GENESIS capability. "
@model [ (property (valid-account account)) ]
(require-capability (GENESIS))
(validate-account account)
(enforce (>= amount 0.0)
"allocation amount must be non-negative")
(enforce-unit amount)
(let
((guard:guard (keyset-ref-guard keyset-ref)))
(create-account account guard)
(insert allocation-table account
{ "balance" : amount
, "date" : date
, "guard" : guard
, "redeemed" : false
})))
(defun release-allocation
( account:string )
@doc "Release funds associated with allocation ACCOUNT into main ledger. \
\ACCOUNT must already exist in main ledger. Allocation is deactivated \
\after release."
@model [ (property (valid-account account)) ]
(validate-account account)
(with-read allocation-table account
{ "balance" := balance
, "date" := release-time
, "redeemed" := redeemed
, "guard" := guard
}
(let ((curr-time:time (at 'block-time (chain-data))))
(enforce (not redeemed)
"allocation funds have already been redeemed")
(enforce
(>= curr-time release-time)
(format "funds locked until {}. current time: {}" [release-time curr-time]))
(enforce-guard guard)
(with-capability (CREDIT account)
(credit account guard balance)
(update allocation-table account
{ "redeemed" : true
, "balance" : 0.0
})
"Allocation successfully released to main ledger")
)))
)
(create-table coin-table)
(create-table allocation-table)
(interface gas-payer-v1
(defcap GAS_PAYER:bool
( user:string
limit:integer
price:decimal
)
@doc
" Provide a capability indicating that declaring module supports \
\ gas payment for USER for gas LIMIT and PRICE. Functionality \
\ should require capability (coin.FUND_TX), and should validate \
\ the spend of (limit * price), possibly updating some database \
\ entry. \
\ Should compose capability required for 'create-gas-payer-guard'."
@model
[ (property (user != ""))
(property (limit > 0))
(property (price > 0.0))
]
)
(defun create-gas-payer-guard:guard ()
@doc
" Provide a guard suitable for controlling a coin account that can \
\ pay gas via GAS_PAYER mechanics. Generally this is accomplished \
\ by having GAS_PAYER compose an unparameterized, unmanaged capability \
\ that is required in this guard. Thus, if coin contract is able to \
\ successfully acquire GAS_PAYER, the composed 'anonymous' cap required \
\ here will be in scope, and gas buy will succeed."
)
)
(define-keyset 'ns-admin-keyset (read-keyset 'ns-admin-keyset))
(define-keyset 'ns-operate-keyset (read-keyset 'ns-genesis-keyset))
(module ns GOVERNANCE
"Administers definition of new namespaces in Chainweb."
(defschema reg-entry
admin-guard:guard
active:bool)
(deftable registry:{reg-entry})
(defcap GOVERNANCE ()
(enforce-keyset 'ns-admin-keyset))
(defcap OPERATE ()
(enforce-keyset 'ns-operate-keyset))
(defconst GUARD_SUCCESS (create-user-guard (success)))
(defconst GUARD_FAILURE (create-user-guard (failure)))
(defun success ()
true)
(defun failure ()
(enforce false "Disabled"))
(defun validate-name (name)
(enforce (!= "" name) "Empty name not allowed")
(enforce (< (length name) 64) "Name must be less than 64 characters long")
(enforce (is-charset CHARSET_LATIN1 name)
"Name must be in latin1 charset"))
(defun validate:bool
( ns-name:string
ns-admin:guard
)
" Manages namespace install for Chainweb. Requires active row in registry \
\ for NS-NAME with guard matching NS-ADMIN."
(validate-name ns-name)
(with-default-read registry ns-name
{ 'admin-guard : ns-admin
, 'active : false }
{ 'admin-guard := ag
, 'active := is-active }
(enforce is-active "Inactive or unregistered namespace")
(enforce (= ns-admin ag) "Admin guard must match guard in registry")
true))
(defun write-registry:string
( ns-name:string
guard:guard
active:bool
)
" Write entry with GUARD and ACTIVE into registry for NAME. \
\ Guarded by operate keyset. "
(with-capability (OPERATE)
(validate-name ns-name)
(write registry ns-name
{ 'admin-guard: guard
, 'active: active })
"Register entry written"))
(defun query:object{reg-entry}
( ns-name:string )
(read registry ns-name))
)
(create-table registry)
(write-registry "kadena"
(keyset-ref-guard 'ns-operate-keyset) true)
(write-registry "user" GUARD_FAILURE true)
(write-registry "free" GUARD_FAILURE true)
(define-namespace "kadena"
(keyset-ref-guard 'ns-operate-keyset)
(keyset-ref-guard 'ns-operate-keyset))
(define-namespace "user" GUARD_SUCCESS GUARD_FAILURE)
(define-namespace "free" GUARD_SUCCESS GUARD_FAILURE)
;;rotate to real operate keyset
(define-keyset 'ns-operate-keyset (read-keyset 'ns-operate-keyset))
(define-keyset "SA <1>" (read-keyset "SA <1>"))
(define-keyset "SA <2>" (read-keyset "SA <2>"))
(define-keyset "SA <3>" (read-keyset "SA <3>"))
(define-keyset "SA <4>" (read-keyset "SA <4>"))
(define-keyset "SA <5>" (read-keyset "SA <5>"))
(define-keyset "SA <6>" (read-keyset "SA <6>"))
(define-keyset "SA <7>" (read-keyset "SA <7>"))
(define-keyset "SA <8>" (read-keyset "SA <8>"))
(define-keyset "SA <9>" (read-keyset "SA <9>"))
(define-keyset "SA <10>" (read-keyset "SA <10>"))
(define-keyset "SA <11>" (read-keyset "SA <11>"))
(define-keyset "SA <12>" (read-keyset "SA <12>"))
(define-keyset "SA <13>" (read-keyset "SA <13>"))
(define-keyset "SA <14>" (read-keyset "SA <14>"))
(define-keyset "SA <15>" (read-keyset "SA <15>"))
(define-keyset "SA <16>" (read-keyset "SA <16>"))
(define-keyset "SA <17>" (read-keyset "SA <17>"))
(define-keyset "SA <18>" (read-keyset "SA <18>"))
(define-keyset "SA <19>" (read-keyset "SA <19>"))
(define-keyset "SA <20>" (read-keyset "SA <20>"))
(define-keyset "SB <1>" (read-keyset "SB <1>"))
(define-keyset "SB <2>" (read-keyset "SB <2>"))
(define-keyset "SB <3>" (read-keyset "SB <3>"))
(define-keyset "SB <4>" (read-keyset "SB <4>"))
(define-keyset "SB <5>" (read-keyset "SB <5>"))
(define-keyset "SB <6>" (read-keyset "SB <6>"))
(define-keyset "SB <7>" (read-keyset "SB <7>"))
(define-keyset "SB <8>" (read-keyset "SB <8>"))
(define-keyset "SB <9>" (read-keyset "SB <9>"))
(define-keyset "SB <10>" (read-keyset "SB <10>"))
(define-keyset "SB <11>" (read-keyset "SB <11>"))
(define-keyset "SB <12>" (read-keyset "SB <12>"))
(define-keyset "SB <13>" (read-keyset "SB <13>"))
(define-keyset "SB <14>" (read-keyset "SB <14>"))
(define-keyset "SB <15>" (read-keyset "SB <15>"))
(define-keyset "SB <16>" (read-keyset "SB <16>"))
(define-keyset "SB <17>" (read-keyset "SB <17>"))
(define-keyset "SB <18>" (read-keyset "SB <18>"))
(define-keyset "SB <19>" (read-keyset "SB <19>"))
(define-keyset "SB <20>" (read-keyset "SB <20>"))
(define-keyset "SB <21>" (read-keyset "SB <21>"))
(define-keyset "SB <22>" (read-keyset "SB <22>"))
(define-keyset "SB <23>" (read-keyset "SB <23>"))
(define-keyset "SB <24>" (read-keyset "SB <24>"))
(define-keyset "SB <25>" (read-keyset "SB <25>"))
(define-keyset "SB <26>" (read-keyset "SB <26>"))
(define-keyset "SB <27>" (read-keyset "SB <27>"))
(define-keyset "SB <28>" (read-keyset "SB <28>"))
(define-keyset "SB <29>" (read-keyset "SB <29>"))
(define-keyset "SB <30>" (read-keyset "SB <30>"))
(define-keyset "SB <31>" (read-keyset "SB <31>"))
(define-keyset "SB <32>" (read-keyset "SB <32>"))
(define-keyset "SB <33>" (read-keyset "SB <33>"))
(define-keyset "SB <34>" (read-keyset "SB <34>"))
(define-keyset "SB <35>" (read-keyset "SB <35>"))
(define-keyset "SB <36>" (read-keyset "SB <36>"))
(define-keyset "SB <37>" (read-keyset "SB <37>"))
(define-keyset "SB <38>" (read-keyset "SB <38>"))
(define-keyset "SB <39>" (read-keyset "SB <39>"))
(define-keyset "SB <40>" (read-keyset "SB <40>"))
(define-keyset "SB <41>" (read-keyset "SB <41>"))
(define-keyset "SB <42>" (read-keyset "SB <42>"))
(define-keyset "SB <43>" (read-keyset "SB <43>"))
(define-keyset "SB <44>" (read-keyset "SB <44>"))
(define-keyset "SB <45>" (read-keyset "SB <45>"))
(define-keyset "SB <46>" (read-keyset "SB <46>"))
(define-keyset "PS_C0" (read-keyset "PS_C0"))
(define-keyset "PS_C1" (read-keyset "PS_C1"))
(define-keyset "PS_C2" (read-keyset "PS_C2"))
(define-keyset "PS_C3" (read-keyset "PS_C3"))
(define-keyset "PS_C4" (read-keyset "PS_C4"))
(define-keyset "PS_C5" (read-keyset "PS_C5"))
(define-keyset "PS_C6" (read-keyset "PS_C6"))
(define-keyset "PS_C7" (read-keyset "PS_C7"))
(define-keyset "PS_C8" (read-keyset "PS_C8"))
(define-keyset "PS_C9" (read-keyset "PS_C9"))
(define-keyset "EB_C9" (read-keyset "EB_C9"))
(define-keyset "Coinlist Non-US" (read-keyset "Coinlist Non-US"))
(define-keyset "Coinlist Global" (read-keyset "Coinlist Global"))
(define-keyset "FTS_C1" (read-keyset "FTS_C1"))
(define-keyset "CS1_C2" (read-keyset "CS1_C2"))
(define-keyset "CS2_C0" (read-keyset "CS2_C0"))
(define-keyset "ST_C1" (read-keyset "ST_C1"))
(coin.create-allocation-account "PS_C0_1309" (time "2024-12-01T00:00:00Z") "PS_C0" 1200000.0)
(coin.create-allocation-account "PS_C0_1299" (time "2024-11-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1289" (time "2024-10-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1279" (time "2024-09-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1269" (time "2024-08-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1259" (time "2024-07-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1249" (time "2024-06-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1239" (time "2024-05-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1229" (time "2024-04-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1219" (time "2024-03-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1209" (time "2024-02-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1199" (time "2024-01-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1189" (time "2023-12-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1179" (time "2023-11-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1169" (time "2023-10-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1159" (time "2023-09-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1149" (time "2023-08-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1139" (time "2023-07-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1129" (time "2023-06-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1119" (time "2023-05-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1109" (time "2023-04-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1099" (time "2023-03-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1089" (time "2023-02-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1079" (time "2023-01-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1069" (time "2022-12-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1059" (time "2022-11-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1048" (time "2022-10-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1038" (time "2022-09-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1028" (time "2022-08-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1017" (time "2022-07-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_1007" (time "2022-06-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_997" (time "2022-05-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_986" (time "2022-04-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_976" (time "2022-03-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_966" (time "2022-02-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_955" (time "2022-01-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_944" (time "2021-12-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_933" (time "2021-11-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_921" (time "2021-10-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_910" (time "2021-09-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_899" (time "2021-08-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_887" (time "2021-07-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_876" (time "2021-06-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_865" (time "2021-05-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_852" (time "2021-04-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_840" (time "2021-03-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_828" (time "2021-02-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "PS_C0_815" (time "2021-01-01T00:00:00Z") "PS_C0" 400000.0)
(coin.create-allocation-account "SB <46>_813" (time "2020-12-01T00:00:00Z") "SB <46>" 68393.85)
(coin.create-allocation-account "SB <45>_812" (time "2020-12-01T00:00:00Z") "SB <45>" 66960.0)
(coin.create-allocation-account "SB <44>_811" (time "2020-12-01T00:00:00Z") "SB <44>" 112000.0)
(coin.create-allocation-account "SB <43>_810" (time "2020-12-01T00:00:00Z") "SB <43>" 40000.0)
(coin.create-allocation-account "SB <42>_809" (time "2020-12-01T00:00:00Z") "SB <42>" 80000.0)
(coin.create-allocation-account "SB <41>_808" (time "2020-12-01T00:00:00Z") "SB <41>" 72000.0)
(coin.create-allocation-account "SB <40>_807" (time "2020-12-01T00:00:00Z") "SB <40>" 80640.0)
(coin.create-allocation-account "SB <39>_806" (time "2020-12-01T00:00:00Z") "SB <39>" 12800.0)
(coin.create-allocation-account "SB <38>_805" (time "2020-12-01T00:00:00Z") "SB <38>" 24000.0)
(coin.create-allocation-account "SB <37>_804" (time "2020-12-01T00:00:00Z") "SB <37>" 4000.0)
(coin.create-allocation-account "SB <36>_803" (time "2020-12-01T00:00:00Z") "SB <36>" 8464.48)
(coin.create-allocation-account "SB <35>_802" (time "2020-12-01T00:00:00Z") "SB <35>" 75920.58)
(coin.create-allocation-account "SB <34>_801" (time "2020-12-01T00:00:00Z") "SB <34>" 16000.0)
(coin.create-allocation-account "SB <33>_800" (time "2020-12-01T00:00:00Z") "SB <33>" 16000.0)
(coin.create-allocation-account "SB <32>_799" (time "2020-12-01T00:00:00Z") "SB <32>" 16000.0)
(coin.create-allocation-account "SB <31>_798" (time "2020-12-01T00:00:00Z") "SB <31>" 24000.0)
(coin.create-allocation-account "SB <30>_797" (time "2020-12-01T00:00:00Z") "SB <30>" 1600.0)
(coin.create-allocation-account "SB <29>_796" (time "2020-12-01T00:00:00Z") "SB <29>" 80000.0)
(coin.create-allocation-account "SB <28>_795" (time "2020-12-01T00:00:00Z") "SB <28>" 7200.0)
(coin.create-allocation-account "SB <27>_794" (time "2020-12-01T00:00:00Z") "SB <27>" 163000.0)
(coin.create-allocation-account "SB <26>_793" (time "2020-12-01T00:00:00Z") "SB <26>" 25248.0)
(coin.create-allocation-account "SB <25>_792" (time "2020-12-01T00:00:00Z") "SB <25>" 16000.0)
(coin.create-allocation-account "SB <24>_791" (time "2020-12-01T00:00:00Z") "SB <24>" 3270.98)
(coin.create-allocation-account "SB <23>_790" (time "2020-12-01T00:00:00Z") "SB <23>" 4000.0)
(coin.create-allocation-account "SB <22>_789" (time "2020-12-01T00:00:00Z") "SB <22>" 16000.0)
(coin.create-allocation-account "SB <21>_788" (time "2020-12-01T00:00:00Z") "SB <21>" 15737.92)
(coin.create-allocation-account "SB <20>_787" (time "2020-12-01T00:00:00Z") "SB <20>" 46320.0)
(coin.create-allocation-account "SB <19>_786" (time "2020-12-01T00:00:00Z") "SB <19>" 80000.0)
(coin.create-allocation-account "SB <18>_785" (time "2020-12-01T00:00:00Z") "SB <18>" 40000.0)
(coin.create-allocation-account "SB <17>_784" (time "2020-12-01T00:00:00Z") "SB <17>" 32000.0)
(coin.create-allocation-account "SB <16>_783" (time "2020-12-01T00:00:00Z") "SB <16>" 40000.0)
(coin.create-allocation-account "SB <15>_782" (time "2020-12-01T00:00:00Z") "SB <15>" 16000.0)
(coin.create-allocation-account "SB <14>_781" (time "2020-12-01T00:00:00Z") "SB <14>" 24000.0)
(coin.create-allocation-account "SB <13>_780" (time "2020-12-01T00:00:00Z") "SB <13>" 42433.32)
(coin.create-allocation-account "SB <12>_779" (time "2020-12-01T00:00:00Z") "SB <12>" 12401.04)
(coin.create-allocation-account "SB <11>_778" (time "2020-12-01T00:00:00Z") "SB <11>" 43266.69)
(coin.create-allocation-account "SB <10>_777" (time "2020-12-01T00:00:00Z") "SB <10>" 158175.9)
(coin.create-allocation-account "SB <9>_776" (time "2020-12-01T00:00:00Z") "SB <9>" 48046.08)
(coin.create-allocation-account "SB <8>_775" (time "2020-12-01T00:00:00Z") "SB <8>" 146854.4)
(coin.create-allocation-account "SB <7>_774" (time "2020-12-01T00:00:00Z") "SB <7>" 4336.0)
(coin.create-allocation-account "SB <6>_773" (time "2020-12-01T00:00:00Z") "SB <6>" 8000.0)
(coin.create-allocation-account "SB <5>_772" (time "2020-12-01T00:00:00Z") "SB <5>" 80000.0)
(coin.create-allocation-account "SB <4>_771" (time "2020-12-01T00:00:00Z") "SB <4>" 160000.0)
(coin.create-allocation-account "SB <3>_770" (time "2020-12-01T00:00:00Z") "SB <3>" 16000.0)
(coin.create-allocation-account "SB <2>_769" (time "2020-12-01T00:00:00Z") "SB <2>" 4800.0)
(coin.create-allocation-account "SB <1>_768" (time "2020-12-01T00:00:00Z") "SB <1>" 8000.0)
(coin.create-allocation-account "SA <20>_767" (time "2020-12-01T00:00:00Z") "SA <20>" 24000.0)
(coin.create-allocation-account "SA <19>_766" (time "2020-12-01T00:00:00Z") "SA <19>" 9600.0)
(coin.create-allocation-account "SA <18>_765" (time "2020-12-01T00:00:00Z") "SA <18>" 12000.0)
(coin.create-allocation-account "SA <17>_764" (time "2020-12-01T00:00:00Z") "SA <17>" 6000.0)
(coin.create-allocation-account "SA <16>_763" (time "2020-12-01T00:00:00Z") "SA <16>" 6000.0)
(coin.create-allocation-account "SA <15> _762" (time "2020-12-01T00:00:00Z") "SA <15>" 2400.0)
(coin.create-allocation-account "SA <14>_761" (time "2020-12-01T00:00:00Z") "SA <14>" 12000.0)
(coin.create-allocation-account "SA <13>_760" (time "2020-12-01T00:00:00Z") "SA <13>" 120000.0)
(coin.create-allocation-account "SA <12>_759" (time "2020-12-01T00:00:00Z") "SA <12>" 6000.0)
(coin.create-allocation-account "SA <11>_758" (time "2020-12-01T00:00:00Z") "SA <11>" 6000.0)
(coin.create-allocation-account "SA <10>_757" (time "2020-12-01T00:00:00Z") "SA <10>" 6000.0)
(coin.create-allocation-account "SA <9>_756" (time "2020-12-01T00:00:00Z") "SA <9>" 12000.0)
(coin.create-allocation-account "SA <8>_755" (time "2020-12-01T00:00:00Z") "SA <8>" 6000.0)
(coin.create-allocation-account "SA <7>_754" (time "2020-12-01T00:00:00Z") "SA <7>" 4800.0)
(coin.create-allocation-account "SA <6>_753" (time "2020-12-01T00:00:00Z") "SA <6>" 6000.0)
(coin.create-allocation-account "SA <5>_752" (time "2020-12-01T00:00:00Z") "SA <5>" 24000.0)
(coin.create-allocation-account "SA <4>_751" (time "2020-12-01T00:00:00Z") "SA <4>" 12000.0)
(coin.create-allocation-account "SA <3>_750" (time "2020-12-01T00:00:00Z") "SA <3>" 1200.0)
(coin.create-allocation-account "SA <2>_749" (time "2020-12-01T00:00:00Z") "SA <2>" 240000.0)
(coin.create-allocation-account "SA <1>_748" (time "2020-12-01T00:00:00Z") "SA <1>" 24000.0)
(coin.create-allocation-account "Coinlist Global_746" (time "2020-11-01T00:00:00Z") "Coinlist Global" 20000000.0)
(coin.create-allocation-account "SB <46>_745" (time "2020-11-01T00:00:00Z") "SB <46>" 45595.9)
(coin.create-allocation-account "SB <45>_744" (time "2020-11-01T00:00:00Z") "SB <45>" 44640.0)
(coin.create-allocation-account "SB <44>_743" (time "2020-11-01T00:00:00Z") "SB <44>" 74666.67)
(coin.create-allocation-account "SB <43>_742" (time "2020-11-01T00:00:00Z") "SB <43>" 26666.67)
(coin.create-allocation-account "SB <42>_741" (time "2020-11-01T00:00:00Z") "SB <42>" 53333.33)
(coin.create-allocation-account "SB <41>_740" (time "2020-11-01T00:00:00Z") "SB <41>" 48000.0)
(coin.create-allocation-account "SB <40>_739" (time "2020-11-01T00:00:00Z") "SB <40>" 53760.0)
(coin.create-allocation-account "SB <39>_738" (time "2020-11-01T00:00:00Z") "SB <39>" 8533.33)
(coin.create-allocation-account "SB <38>_737" (time "2020-11-01T00:00:00Z") "SB <38>" 16000.0)
(coin.create-allocation-account "SB <37>_736" (time "2020-11-01T00:00:00Z") "SB <37>" 2666.67)
(coin.create-allocation-account "SB <36>_735" (time "2020-11-01T00:00:00Z") "SB <36>" 5642.99)
(coin.create-allocation-account "SB <35>_734" (time "2020-11-01T00:00:00Z") "SB <35>" 50613.72)
(coin.create-allocation-account "SB <34>_733" (time "2020-11-01T00:00:00Z") "SB <34>" 10666.67)
(coin.create-allocation-account "SB <33>_732" (time "2020-11-01T00:00:00Z") "SB <33>" 10666.67)
(coin.create-allocation-account "SB <32>_731" (time "2020-11-01T00:00:00Z") "SB <32>" 10666.67)
(coin.create-allocation-account "SB <31>_730" (time "2020-11-01T00:00:00Z") "SB <31>" 16000.0)
(coin.create-allocation-account "SB <30>_729" (time "2020-11-01T00:00:00Z") "SB <30>" 1066.67)
(coin.create-allocation-account "SB <29>_728" (time "2020-11-01T00:00:00Z") "SB <29>" 53333.33)
(coin.create-allocation-account "SB <28>_727" (time "2020-11-01T00:00:00Z") "SB <28>" 4800.0)
(coin.create-allocation-account "SB <27>_726" (time "2020-11-01T00:00:00Z") "SB <27>" 108666.67)
(coin.create-allocation-account "SB <26>_725" (time "2020-11-01T00:00:00Z") "SB <26>" 16832.0)
(coin.create-allocation-account "SB <25>_724" (time "2020-11-01T00:00:00Z") "SB <25>" 10666.67)
(coin.create-allocation-account "SB <24>_723" (time "2020-11-01T00:00:00Z") "SB <24>" 2180.66)
(coin.create-allocation-account "SB <23>_722" (time "2020-11-01T00:00:00Z") "SB <23>" 2666.67)
(coin.create-allocation-account "SB <22>_721" (time "2020-11-01T00:00:00Z") "SB <22>" 10666.67)
(coin.create-allocation-account "SB <21>_720" (time "2020-11-01T00:00:00Z") "SB <21>" 10491.95)
(coin.create-allocation-account "SB <20>_719" (time "2020-11-01T00:00:00Z") "SB <20>" 30880.0)
(coin.create-allocation-account "SB <19>_718" (time "2020-11-01T00:00:00Z") "SB <19>" 53333.33)
(coin.create-allocation-account "SB <18>_717" (time "2020-11-01T00:00:00Z") "SB <18>" 26666.67)
(coin.create-allocation-account "SB <17>_716" (time "2020-11-01T00:00:00Z") "SB <17>" 21333.33)
(coin.create-allocation-account "SB <16>_715" (time "2020-11-01T00:00:00Z") "SB <16>" 26666.67)
(coin.create-allocation-account "SB <15>_714" (time "2020-11-01T00:00:00Z") "SB <15>" 10666.67)
(coin.create-allocation-account "SB <14>_713" (time "2020-11-01T00:00:00Z") "SB <14>" 16000.0)
(coin.create-allocation-account "SB <13>_712" (time "2020-11-01T00:00:00Z") "SB <13>" 28288.88)
(coin.create-allocation-account "SB <12>_711" (time "2020-11-01T00:00:00Z") "SB <12>" 8267.36)
(coin.create-allocation-account "SB <11>_710" (time "2020-11-01T00:00:00Z") "SB <11>" 28844.46)
(coin.create-allocation-account "SB <10>_709" (time "2020-11-01T00:00:00Z") "SB <10>" 105450.6)
(coin.create-allocation-account "SB <9>_708" (time "2020-11-01T00:00:00Z") "SB <9>" 32030.72)
(coin.create-allocation-account "SB <8>_707" (time "2020-11-01T00:00:00Z") "SB <8>" 97902.93)
(coin.create-allocation-account "SB <7>_706" (time "2020-11-01T00:00:00Z") "SB <7>" 2890.67)
(coin.create-allocation-account "SB <6>_705" (time "2020-11-01T00:00:00Z") "SB <6>" 5333.33)
(coin.create-allocation-account "SB <5>_704" (time "2020-11-01T00:00:00Z") "SB <5>" 53333.33)
(coin.create-allocation-account "SB <4>_703" (time "2020-11-01T00:00:00Z") "SB <4>" 106666.67)
(coin.create-allocation-account "SB <3>_702" (time "2020-11-01T00:00:00Z") "SB <3>" 10666.67)
(coin.create-allocation-account "SB <2>_701" (time "2020-11-01T00:00:00Z") "SB <2>" 3200.0)
(coin.create-allocation-account "SB <1>_700" (time "2020-11-01T00:00:00Z") "SB <1>" 5333.33)
(coin.create-allocation-account "SA <20>_699" (time "2020-11-01T00:00:00Z") "SA <20>" 16000.0)
(coin.create-allocation-account "SA <19>_698" (time "2020-11-01T00:00:00Z") "SA <19>" 6400.0)
(coin.create-allocation-account "SA <18>_697" (time "2020-11-01T00:00:00Z") "SA <18>" 8000.0)
(coin.create-allocation-account "SA <17>_696" (time "2020-11-01T00:00:00Z") "SA <17>" 4000.0)
(coin.create-allocation-account "SA <16>_695" (time "2020-11-01T00:00:00Z") "SA <16>" 4000.0)
(coin.create-allocation-account "SA <15> _694" (time "2020-11-01T00:00:00Z") "SA <15>" 1600.0)
(coin.create-allocation-account "SA <14>_693" (time "2020-11-01T00:00:00Z") "SA <14>" 8000.0)
(coin.create-allocation-account "SA <13>_692" (time "2020-11-01T00:00:00Z") "SA <13>" 80000.0)
(coin.create-allocation-account "SA <12>_691" (time "2020-11-01T00:00:00Z") "SA <12>" 4000.0)
(coin.create-allocation-account "SA <11>_690" (time "2020-11-01T00:00:00Z") "SA <11>" 4000.0)
(coin.create-allocation-account "SA <10>_689" (time "2020-11-01T00:00:00Z") "SA <10>" 4000.0)
(coin.create-allocation-account "SA <9>_688" (time "2020-11-01T00:00:00Z") "SA <9>" 8000.0)
(coin.create-allocation-account "SA <8>_687" (time "2020-11-01T00:00:00Z") "SA <8>" 4000.0)
(coin.create-allocation-account "SA <7>_686" (time "2020-11-01T00:00:00Z") "SA <7>" 3200.0)
(coin.create-allocation-account "SA <6>_685" (time "2020-11-01T00:00:00Z") "SA <6>" 4000.0)
(coin.create-allocation-account "SA <5>_684" (time "2020-11-01T00:00:00Z") "SA <5>" 16000.0)
(coin.create-allocation-account "SA <4>_683" (time "2020-11-01T00:00:00Z") "SA <4>" 8000.0)
(coin.create-allocation-account "SA <3>_682" (time "2020-11-01T00:00:00Z") "SA <3>" 800.0)
(coin.create-allocation-account "SA <2>_681" (time "2020-11-01T00:00:00Z") "SA <2>" 160000.0)
(coin.create-allocation-account "SA <1>_680" (time "2020-11-01T00:00:00Z") "SA <1>" 16000.0)
(coin.create-allocation-account "SB <46>_678" (time "2020-10-01T00:00:00Z") "SB <46>" 45595.9)
(coin.create-allocation-account "SB <45>_677" (time "2020-10-01T00:00:00Z") "SB <45>" 44640.0)
(coin.create-allocation-account "SB <44>_676" (time "2020-10-01T00:00:00Z") "SB <44>" 74666.67)
(coin.create-allocation-account "SB <43>_675" (time "2020-10-01T00:00:00Z") "SB <43>" 26666.67)
(coin.create-allocation-account "SB <42>_674" (time "2020-10-01T00:00:00Z") "SB <42>" 53333.33)
(coin.create-allocation-account "SB <41>_673" (time "2020-10-01T00:00:00Z") "SB <41>" 48000.0)
(coin.create-allocation-account "SB <40>_672" (time "2020-10-01T00:00:00Z") "SB <40>" 53760.0)
(coin.create-allocation-account "SB <39>_671" (time "2020-10-01T00:00:00Z") "SB <39>" 8533.33)
(coin.create-allocation-account "SB <38>_670" (time "2020-10-01T00:00:00Z") "SB <38>" 16000.0)
(coin.create-allocation-account "SB <37>_669" (time "2020-10-01T00:00:00Z") "SB <37>" 2666.67)
(coin.create-allocation-account "SB <36>_668" (time "2020-10-01T00:00:00Z") "SB <36>" 5642.99)
(coin.create-allocation-account "SB <35>_667" (time "2020-10-01T00:00:00Z") "SB <35>" 50613.72)
(coin.create-allocation-account "SB <34>_666" (time "2020-10-01T00:00:00Z") "SB <34>" 10666.67)
(coin.create-allocation-account "SB <33>_665" (time "2020-10-01T00:00:00Z") "SB <33>" 10666.67)
(coin.create-allocation-account "SB <32>_664" (time "2020-10-01T00:00:00Z") "SB <32>" 10666.67)
(coin.create-allocation-account "SB <31>_663" (time "2020-10-01T00:00:00Z") "SB <31>" 16000.0)
(coin.create-allocation-account "SB <30>_662" (time "2020-10-01T00:00:00Z") "SB <30>" 1066.67)
(coin.create-allocation-account "SB <29>_661" (time "2020-10-01T00:00:00Z") "SB <29>" 53333.33)
(coin.create-allocation-account "SB <28>_660" (time "2020-10-01T00:00:00Z") "SB <28>" 4800.0)
(coin.create-allocation-account "SB <27>_659" (time "2020-10-01T00:00:00Z") "SB <27>" 108666.67)
(coin.create-allocation-account "SB <26>_658" (time "2020-10-01T00:00:00Z") "SB <26>" 16832.0)
(coin.create-allocation-account "SB <25>_657" (time "2020-10-01T00:00:00Z") "SB <25>" 10666.67)
(coin.create-allocation-account "SB <24>_656" (time "2020-10-01T00:00:00Z") "SB <24>" 2180.66)
(coin.create-allocation-account "SB <23>_655" (time "2020-10-01T00:00:00Z") "SB <23>" 2666.67)
(coin.create-allocation-account "SB <22>_654" (time "2020-10-01T00:00:00Z") "SB <22>" 10666.67)
(coin.create-allocation-account "SB <21>_653" (time "2020-10-01T00:00:00Z") "SB <21>" 10491.95)
(coin.create-allocation-account "SB <20>_652" (time "2020-10-01T00:00:00Z") "SB <20>" 30880.0)
(coin.create-allocation-account "SB <19>_651" (time "2020-10-01T00:00:00Z") "SB <19>" 53333.33)
(coin.create-allocation-account "SB <18>_650" (time "2020-10-01T00:00:00Z") "SB <18>" 26666.67)
(coin.create-allocation-account "SB <17>_649" (time "2020-10-01T00:00:00Z") "SB <17>" 21333.33)
(coin.create-allocation-account "SB <16>_648" (time "2020-10-01T00:00:00Z") "SB <16>" 26666.67)
(coin.create-allocation-account "SB <15>_647" (time "2020-10-01T00:00:00Z") "SB <15>" 10666.67)
(coin.create-allocation-account "SB <14>_646" (time "2020-10-01T00:00:00Z") "SB <14>" 16000.0)
(coin.create-allocation-account "SB <13>_645" (time "2020-10-01T00:00:00Z") "SB <13>" 28288.88)
(coin.create-allocation-account "SB <12>_644" (time "2020-10-01T00:00:00Z") "SB <12>" 8267.36)
(coin.create-allocation-account "SB <11>_643" (time "2020-10-01T00:00:00Z") "SB <11>" 28844.46)
(coin.create-allocation-account "SB <10>_642" (time "2020-10-01T00:00:00Z") "SB <10>" 105450.6)
(coin.create-allocation-account "SB <9>_641" (time "2020-10-01T00:00:00Z") "SB <9>" 32030.72)
(coin.create-allocation-account "SB <8>_640" (time "2020-10-01T00:00:00Z") "SB <8>" 97902.93)
(coin.create-allocation-account "SB <7>_639" (time "2020-10-01T00:00:00Z") "SB <7>" 2890.67)
(coin.create-allocation-account "SB <6>_638" (time "2020-10-01T00:00:00Z") "SB <6>" 5333.33)
(coin.create-allocation-account "SB <5>_637" (time "2020-10-01T00:00:00Z") "SB <5>" 53333.33)
(coin.create-allocation-account "SB <4>_636" (time "2020-10-01T00:00:00Z") "SB <4>" 106666.67)
(coin.create-allocation-account "SB <3>_635" (time "2020-10-01T00:00:00Z") "SB <3>" 10666.67)
(coin.create-allocation-account "SB <2>_634" (time "2020-10-01T00:00:00Z") "SB <2>" 3200.0)
(coin.create-allocation-account "SB <1>_633" (time "2020-10-01T00:00:00Z") "SB <1>" 5333.33)
(coin.create-allocation-account "SA <20>_632" (time "2020-10-01T00:00:00Z") "SA <20>" 16000.0)
(coin.create-allocation-account "SA <19>_631" (time "2020-10-01T00:00:00Z") "SA <19>" 6400.0)
(coin.create-allocation-account "SA <18>_630" (time "2020-10-01T00:00:00Z") "SA <18>" 8000.0)
(coin.create-allocation-account "SA <17>_629" (time "2020-10-01T00:00:00Z") "SA <17>" 4000.0)
(coin.create-allocation-account "SA <16>_628" (time "2020-10-01T00:00:00Z") "SA <16>" 4000.0)
(coin.create-allocation-account "SA <15> _627" (time "2020-10-01T00:00:00Z") "SA <15>" 1600.0)
(coin.create-allocation-account "SA <14>_626" (time "2020-10-01T00:00:00Z") "SA <14>" 8000.0)
(coin.create-allocation-account "SA <13>_625" (time "2020-10-01T00:00:00Z") "SA <13>" 80000.0)
(coin.create-allocation-account "SA <12>_624" (time "2020-10-01T00:00:00Z") "SA <12>" 4000.0)
(coin.create-allocation-account "SA <11>_623" (time "2020-10-01T00:00:00Z") "SA <11>" 4000.0)
(coin.create-allocation-account "SA <10>_622" (time "2020-10-01T00:00:00Z") "SA <10>" 4000.0)
(coin.create-allocation-account "SA <9>_621" (time "2020-10-01T00:00:00Z") "SA <9>" 8000.0)
(coin.create-allocation-account "SA <8>_620" (time "2020-10-01T00:00:00Z") "SA <8>" 4000.0)
(coin.create-allocation-account "SA <7>_619" (time "2020-10-01T00:00:00Z") "SA <7>" 3200.0)
(coin.create-allocation-account "SA <6>_618" (time "2020-10-01T00:00:00Z") "SA <6>" 4000.0)
(coin.create-allocation-account "SA <5>_617" (time "2020-10-01T00:00:00Z") "SA <5>" 16000.0)
(coin.create-allocation-account "SA <4>_616" (time "2020-10-01T00:00:00Z") "SA <4>" 8000.0)
(coin.create-allocation-account "SA <3>_615" (time "2020-10-01T00:00:00Z") "SA <3>" 800.0)
(coin.create-allocation-account "SA <2>_614" (time "2020-10-01T00:00:00Z") "SA <2>" 160000.0)
(coin.create-allocation-account "SA <1>_613" (time "2020-10-01T00:00:00Z") "SA <1>" 16000.0)
(coin.create-allocation-account "SB <46>_611" (time "2020-09-01T00:00:00Z") "SB <46>" 45595.9)
(coin.create-allocation-account "SB <45>_610" (time "2020-09-01T00:00:00Z") "SB <45>" 44640.0)
(coin.create-allocation-account "SB <44>_609" (time "2020-09-01T00:00:00Z") "SB <44>" 74666.67)
(coin.create-allocation-account "SB <43>_608" (time "2020-09-01T00:00:00Z") "SB <43>" 26666.67)
(coin.create-allocation-account "SB <42>_607" (time "2020-09-01T00:00:00Z") "SB <42>" 53333.33)
(coin.create-allocation-account "SB <41>_606" (time "2020-09-01T00:00:00Z") "SB <41>" 48000.0)
(coin.create-allocation-account "SB <40>_605" (time "2020-09-01T00:00:00Z") "SB <40>" 53760.0)
(coin.create-allocation-account "SB <39>_604" (time "2020-09-01T00:00:00Z") "SB <39>" 8533.33)
(coin.create-allocation-account "SB <38>_603" (time "2020-09-01T00:00:00Z") "SB <38>" 16000.0)
(coin.create-allocation-account "SB <37>_602" (time "2020-09-01T00:00:00Z") "SB <37>" 2666.67)
(coin.create-allocation-account "SB <36>_601" (time "2020-09-01T00:00:00Z") "SB <36>" 5642.99)
(coin.create-allocation-account "SB <35>_600" (time "2020-09-01T00:00:00Z") "SB <35>" 50613.72)
(coin.create-allocation-account "SB <34>_599" (time "2020-09-01T00:00:00Z") "SB <34>" 10666.67)
(coin.create-allocation-account "SB <33>_598" (time "2020-09-01T00:00:00Z") "SB <33>" 10666.67)
(coin.create-allocation-account "SB <32>_597" (time "2020-09-01T00:00:00Z") "SB <32>" 10666.67)
(coin.create-allocation-account "SB <31>_596" (time "2020-09-01T00:00:00Z") "SB <31>" 16000.0)
(coin.create-allocation-account "SB <30>_595" (time "2020-09-01T00:00:00Z") "SB <30>" 1066.67)
(coin.create-allocation-account "SB <29>_594" (time "2020-09-01T00:00:00Z") "SB <29>" 53333.33)
(coin.create-allocation-account "SB <28>_593" (time "2020-09-01T00:00:00Z") "SB <28>" 4800.0)
(coin.create-allocation-account "SB <27>_592" (time "2020-09-01T00:00:00Z") "SB <27>" 108666.67)
(coin.create-allocation-account "SB <26>_591" (time "2020-09-01T00:00:00Z") "SB <26>" 16832.0)
(coin.create-allocation-account "SB <25>_590" (time "2020-09-01T00:00:00Z") "SB <25>" 10666.67)
(coin.create-allocation-account "SB <24>_589" (time "2020-09-01T00:00:00Z") "SB <24>" 2180.66)
(coin.create-allocation-account "SB <23>_588" (time "2020-09-01T00:00:00Z") "SB <23>" 2666.67)
(coin.create-allocation-account "SB <22>_587" (time "2020-09-01T00:00:00Z") "SB <22>" 10666.67)
(coin.create-allocation-account "SB <21>_586" (time "2020-09-01T00:00:00Z") "SB <21>" 10491.95)
(coin.create-allocation-account "SB <20>_585" (time "2020-09-01T00:00:00Z") "SB <20>" 30880.0)
(coin.create-allocation-account "SB <19>_584" (time "2020-09-01T00:00:00Z") "SB <19>" 53333.33)
(coin.create-allocation-account "SB <18>_583" (time "2020-09-01T00:00:00Z") "SB <18>" 26666.67)
(coin.create-allocation-account "SB <17>_582" (time "2020-09-01T00:00:00Z") "SB <17>" 21333.33)
(coin.create-allocation-account "SB <16>_581" (time "2020-09-01T00:00:00Z") "SB <16>" 26666.67)
(coin.create-allocation-account "SB <15>_580" (time "2020-09-01T00:00:00Z") "SB <15>" 10666.67)
(coin.create-allocation-account "SB <14>_579" (time "2020-09-01T00:00:00Z") "SB <14>" 16000.0)
(coin.create-allocation-account "SB <13>_578" (time "2020-09-01T00:00:00Z") "SB <13>" 28288.88)
(coin.create-allocation-account "SB <12>_577" (time "2020-09-01T00:00:00Z") "SB <12>" 8267.36)
(coin.create-allocation-account "SB <11>_576" (time "2020-09-01T00:00:00Z") "SB <11>" 28844.46)
(coin.create-allocation-account "SB <10>_575" (time "2020-09-01T00:00:00Z") "SB <10>" 105450.6)
(coin.create-allocation-account "SB <9>_574" (time "2020-09-01T00:00:00Z") "SB <9>" 32030.72)
(coin.create-allocation-account "SB <8>_573" (time "2020-09-01T00:00:00Z") "SB <8>" 97902.93)
(coin.create-allocation-account "SB <7>_572" (time "2020-09-01T00:00:00Z") "SB <7>" 2890.67)
(coin.create-allocation-account "SB <6>_571" (time "2020-09-01T00:00:00Z") "SB <6>" 5333.33)
(coin.create-allocation-account "SB <5>_570" (time "2020-09-01T00:00:00Z") "SB <5>" 53333.33)
(coin.create-allocation-account "SB <4>_569" (time "2020-09-01T00:00:00Z") "SB <4>" 106666.67)
(coin.create-allocation-account "SB <3>_568" (time "2020-09-01T00:00:00Z") "SB <3>" 10666.67)
(coin.create-allocation-account "SB <2>_567" (time "2020-09-01T00:00:00Z") "SB <2>" 3200.0)
(coin.create-allocation-account "SB <1>_566" (time "2020-09-01T00:00:00Z") "SB <1>" 5333.33)
(coin.create-allocation-account "SA <20>_565" (time "2020-09-01T00:00:00Z") "SA <20>" 16000.0)
(coin.create-allocation-account "SA <19>_564" (time "2020-09-01T00:00:00Z") "SA <19>" 6400.0)
(coin.create-allocation-account "SA <18>_563" (time "2020-09-01T00:00:00Z") "SA <18>" 8000.0)
(coin.create-allocation-account "SA <17>_562" (time "2020-09-01T00:00:00Z") "SA <17>" 4000.0)
(coin.create-allocation-account "SA <16>_561" (time "2020-09-01T00:00:00Z") "SA <16>" 4000.0)
(coin.create-allocation-account "SA <15> _560" (time "2020-09-01T00:00:00Z") "SA <15>" 1600.0)
(coin.create-allocation-account "SA <14>_559" (time "2020-09-01T00:00:00Z") "SA <14>" 8000.0)
(coin.create-allocation-account "SA <13>_558" (time "2020-09-01T00:00:00Z") "SA <13>" 80000.0)
(coin.create-allocation-account "SA <12>_557" (time "2020-09-01T00:00:00Z") "SA <12>" 4000.0)
(coin.create-allocation-account "SA <11>_556" (time "2020-09-01T00:00:00Z") "SA <11>" 4000.0)
(coin.create-allocation-account "SA <10>_555" (time "2020-09-01T00:00:00Z") "SA <10>" 4000.0)
(coin.create-allocation-account "SA <9>_554" (time "2020-09-01T00:00:00Z") "SA <9>" 8000.0)
(coin.create-allocation-account "SA <8>_553" (time "2020-09-01T00:00:00Z") "SA <8>" 4000.0)
(coin.create-allocation-account "SA <7>_552" (time "2020-09-01T00:00:00Z") "SA <7>" 3200.0)
(coin.create-allocation-account "SA <6>_551" (time "2020-09-01T00:00:00Z") "SA <6>" 4000.0)
(coin.create-allocation-account "SA <5>_550" (time "2020-09-01T00:00:00Z") "SA <5>" 16000.0)
(coin.create-allocation-account "SA <4>_549" (time "2020-09-01T00:00:00Z") "SA <4>" 8000.0)
(coin.create-allocation-account "SA <3>_548" (time "2020-09-01T00:00:00Z") "SA <3>" 800.0)
(coin.create-allocation-account "SA <2>_547" (time "2020-09-01T00:00:00Z") "SA <2>" 160000.0)
(coin.create-allocation-account "SA <1>_546" (time "2020-09-01T00:00:00Z") "SA <1>" 16000.0)
(coin.create-allocation-account "SB <46>_544" (time "2020-08-01T00:00:00Z") "SB <46>" 45595.9)
(coin.create-allocation-account "SB <45>_543" (time "2020-08-01T00:00:00Z") "SB <45>" 44640.0)
(coin.create-allocation-account "SB <44>_542" (time "2020-08-01T00:00:00Z") "SB <44>" 74666.67)
(coin.create-allocation-account "SB <43>_541" (time "2020-08-01T00:00:00Z") "SB <43>" 26666.67)
(coin.create-allocation-account "SB <42>_540" (time "2020-08-01T00:00:00Z") "SB <42>" 53333.33)
(coin.create-allocation-account "SB <41>_539" (time "2020-08-01T00:00:00Z") "SB <41>" 48000.0)
(coin.create-allocation-account "SB <40>_538" (time "2020-08-01T00:00:00Z") "SB <40>" 53760.0)
(coin.create-allocation-account "SB <39>_537" (time "2020-08-01T00:00:00Z") "SB <39>" 8533.33)
(coin.create-allocation-account "SB <38>_536" (time "2020-08-01T00:00:00Z") "SB <38>" 16000.0)
(coin.create-allocation-account "SB <37>_535" (time "2020-08-01T00:00:00Z") "SB <37>" 2666.67)
(coin.create-allocation-account "SB <36>_534" (time "2020-08-01T00:00:00Z") "SB <36>" 5642.99)
(coin.create-allocation-account "SB <35>_533" (time "2020-08-01T00:00:00Z") "SB <35>" 50613.72)
(coin.create-allocation-account "SB <34>_532" (time "2020-08-01T00:00:00Z") "SB <34>" 10666.67)
(coin.create-allocation-account "SB <33>_531" (time "2020-08-01T00:00:00Z") "SB <33>" 10666.67)
(coin.create-allocation-account "SB <32>_530" (time "2020-08-01T00:00:00Z") "SB <32>" 10666.67)
(coin.create-allocation-account "SB <31>_529" (time "2020-08-01T00:00:00Z") "SB <31>" 16000.0)
(coin.create-allocation-account "SB <30>_528" (time "2020-08-01T00:00:00Z") "SB <30>" 1066.67)
(coin.create-allocation-account "SB <29>_527" (time "2020-08-01T00:00:00Z") "SB <29>" 53333.33)
(coin.create-allocation-account "SB <28>_526" (time "2020-08-01T00:00:00Z") "SB <28>" 4800.0)
(coin.create-allocation-account "SB <27>_525" (time "2020-08-01T00:00:00Z") "SB <27>" 108666.67)
(coin.create-allocation-account "SB <26>_524" (time "2020-08-01T00:00:00Z") "SB <26>" 16832.0)
(coin.create-allocation-account "SB <25>_523" (time "2020-08-01T00:00:00Z") "SB <25>" 10666.67)
(coin.create-allocation-account "SB <24>_522" (time "2020-08-01T00:00:00Z") "SB <24>" 2180.66)
(coin.create-allocation-account "SB <23>_521" (time "2020-08-01T00:00:00Z") "SB <23>" 2666.67)
(coin.create-allocation-account "SB <22>_520" (time "2020-08-01T00:00:00Z") "SB <22>" 10666.67)
(coin.create-allocation-account "SB <21>_519" (time "2020-08-01T00:00:00Z") "SB <21>" 10491.95)
(coin.create-allocation-account "SB <20>_518" (time "2020-08-01T00:00:00Z") "SB <20>" 30880.0)
(coin.create-allocation-account "SB <19>_517" (time "2020-08-01T00:00:00Z") "SB <19>" 53333.33)
(coin.create-allocation-account "SB <18>_516" (time "2020-08-01T00:00:00Z") "SB <18>" 26666.67)
(coin.create-allocation-account "SB <17>_515" (time "2020-08-01T00:00:00Z") "SB <17>" 21333.33)
(coin.create-allocation-account "SB <16>_514" (time "2020-08-01T00:00:00Z") "SB <16>" 26666.67)
(coin.create-allocation-account "SB <15>_513" (time "2020-08-01T00:00:00Z") "SB <15>" 10666.67)
(coin.create-allocation-account "SB <14>_512" (time "2020-08-01T00:00:00Z") "SB <14>" 16000.0)
(coin.create-allocation-account "SB <13>_511" (time "2020-08-01T00:00:00Z") "SB <13>" 28288.88)
(coin.create-allocation-account "SB <12>_510" (time "2020-08-01T00:00:00Z") "SB <12>" 8267.36)
(coin.create-allocation-account "SB <11>_509" (time "2020-08-01T00:00:00Z") "SB <11>" 28844.46)
(coin.create-allocation-account "SB <10>_508" (time "2020-08-01T00:00:00Z") "SB <10>" 105450.6)
(coin.create-allocation-account "SB <9>_507" (time "2020-08-01T00:00:00Z") "SB <9>" 32030.72)
(coin.create-allocation-account "SB <8>_506" (time "2020-08-01T00:00:00Z") "SB <8>" 97902.93)
(coin.create-allocation-account "SB <7>_505" (time "2020-08-01T00:00:00Z") "SB <7>" 2890.67)
(coin.create-allocation-account "SB <6>_504" (time "2020-08-01T00:00:00Z") "SB <6>" 5333.33)
(coin.create-allocation-account "SB <5>_503" (time "2020-08-01T00:00:00Z") "SB <5>" 53333.33)
(coin.create-allocation-account "SB <4>_502" (time "2020-08-01T00:00:00Z") "SB <4>" 106666.67)
(coin.create-allocation-account "SB <3>_501" (time "2020-08-01T00:00:00Z") "SB <3>" 10666.67)
(coin.create-allocation-account "SB <2>_500" (time "2020-08-01T00:00:00Z") "SB <2>" 3200.0)
(coin.create-allocation-account "SB <1>_499" (time "2020-08-01T00:00:00Z") "SB <1>" 5333.33)
(coin.create-allocation-account "SA <20>_498" (time "2020-08-01T00:00:00Z") "SA <20>" 16000.0)
(coin.create-allocation-account "SA <19>_497" (time "2020-08-01T00:00:00Z") "SA <19>" 6400.0)
(coin.create-allocation-account "SA <18>_496" (time "2020-08-01T00:00:00Z") "SA <18>" 8000.0)
(coin.create-allocation-account "SA <17>_495" (time "2020-08-01T00:00:00Z") "SA <17>" 4000.0)
(coin.create-allocation-account "SA <16>_494" (time "2020-08-01T00:00:00Z") "SA <16>" 4000.0)
(coin.create-allocation-account "SA <15> _493" (time "2020-08-01T00:00:00Z") "SA <15>" 1600.0)
(coin.create-allocation-account "SA <14>_492" (time "2020-08-01T00:00:00Z") "SA <14>" 8000.0)
(coin.create-allocation-account "SA <13>_491" (time "2020-08-01T00:00:00Z") "SA <13>" 80000.0)
(coin.create-allocation-account "SA <12>_490" (time "2020-08-01T00:00:00Z") "SA <12>" 4000.0)
(coin.create-allocation-account "SA <11>_489" (time "2020-08-01T00:00:00Z") "SA <11>" 4000.0)
(coin.create-allocation-account "SA <10>_488" (time "2020-08-01T00:00:00Z") "SA <10>" 4000.0)
(coin.create-allocation-account "SA <9>_487" (time "2020-08-01T00:00:00Z") "SA <9>" 8000.0)
(coin.create-allocation-account "SA <8>_486" (time "2020-08-01T00:00:00Z") "SA <8>" 4000.0)
(coin.create-allocation-account "SA <7>_485" (time "2020-08-01T00:00:00Z") "SA <7>" 3200.0)
(coin.create-allocation-account "SA <6>_484" (time "2020-08-01T00:00:00Z") "SA <6>" 4000.0)
(coin.create-allocation-account "SA <5>_483" (time "2020-08-01T00:00:00Z") "SA <5>" 16000.0)
(coin.create-allocation-account "SA <4>_482" (time "2020-08-01T00:00:00Z") "SA <4>" 8000.0)
(coin.create-allocation-account "SA <3>_481" (time "2020-08-01T00:00:00Z") "SA <3>" 800.0)
(coin.create-allocation-account "SA <2>_480" (time "2020-08-01T00:00:00Z") "SA <2>" 160000.0)
(coin.create-allocation-account "SA <1>_479" (time "2020-08-01T00:00:00Z") "SA <1>" 16000.0)
(coin.create-allocation-account "SB <46>_477" (time "2020-07-01T00:00:00Z") "SB <46>" 45595.9)
(coin.create-allocation-account "SB <45>_476" (time "2020-07-01T00:00:00Z") "SB <45>" 44640.0)
(coin.create-allocation-account "SB <44>_475" (time "2020-07-01T00:00:00Z") "SB <44>" 74666.67)
(coin.create-allocation-account "SB <43>_474" (time "2020-07-01T00:00:00Z") "SB <43>" 26666.67)
(coin.create-allocation-account "SB <42>_473" (time "2020-07-01T00:00:00Z") "SB <42>" 53333.33)
(coin.create-allocation-account "SB <41>_472" (time "2020-07-01T00:00:00Z") "SB <41>" 48000.0)
(coin.create-allocation-account "SB <40>_471" (time "2020-07-01T00:00:00Z") "SB <40>" 53760.0)
(coin.create-allocation-account "SB <39>_470" (time "2020-07-01T00:00:00Z") "SB <39>" 8533.33)
(coin.create-allocation-account "SB <38>_469" (time "2020-07-01T00:00:00Z") "SB <38>" 16000.0)
(coin.create-allocation-account "SB <37>_468" (time "2020-07-01T00:00:00Z") "SB <37>" 2666.67)
(coin.create-allocation-account "SB <36>_467" (time "2020-07-01T00:00:00Z") "SB <36>" 5642.99)
(coin.create-allocation-account "SB <35>_466" (time "2020-07-01T00:00:00Z") "SB <35>" 50613.72)
(coin.create-allocation-account "SB <34>_465" (time "2020-07-01T00:00:00Z") "SB <34>" 10666.67)
(coin.create-allocation-account "SB <33>_464" (time "2020-07-01T00:00:00Z") "SB <33>" 10666.67)
(coin.create-allocation-account "SB <32>_463" (time "2020-07-01T00:00:00Z") "SB <32>" 10666.67)
(coin.create-allocation-account "SB <31>_462" (time "2020-07-01T00:00:00Z") "SB <31>" 16000.0)
(coin.create-allocation-account "SB <30>_461" (time "2020-07-01T00:00:00Z") "SB <30>" 1066.67)
(coin.create-allocation-account "SB <29>_460" (time "2020-07-01T00:00:00Z") "SB <29>" 53333.33)
(coin.create-allocation-account "SB <28>_459" (time "2020-07-01T00:00:00Z") "SB <28>" 4800.0)
(coin.create-allocation-account "SB <27>_458" (time "2020-07-01T00:00:00Z") "SB <27>" 108666.67)
(coin.create-allocation-account "SB <26>_457" (time "2020-07-01T00:00:00Z") "SB <26>" 16832.0)
(coin.create-allocation-account "SB <25>_456" (time "2020-07-01T00:00:00Z") "SB <25>" 10666.67)
(coin.create-allocation-account "SB <24>_455" (time "2020-07-01T00:00:00Z") "SB <24>" 2180.66)
(coin.create-allocation-account "SB <23>_454" (time "2020-07-01T00:00:00Z") "SB <23>" 2666.67)
(coin.create-allocation-account "SB <22>_453" (time "2020-07-01T00:00:00Z") "SB <22>" 10666.67)
(coin.create-allocation-account "SB <21>_452" (time "2020-07-01T00:00:00Z") "SB <21>" 10491.95)
(coin.create-allocation-account "SB <20>_451" (time "2020-07-01T00:00:00Z") "SB <20>" 30880.0)
(coin.create-allocation-account "SB <19>_450" (time "2020-07-01T00:00:00Z") "SB <19>" 53333.33)
(coin.create-allocation-account "SB <18>_449" (time "2020-07-01T00:00:00Z") "SB <18>" 26666.67)
(coin.create-allocation-account "SB <17>_448" (time "2020-07-01T00:00:00Z") "SB <17>" 21333.33)
(coin.create-allocation-account "SB <16>_447" (time "2020-07-01T00:00:00Z") "SB <16>" 26666.67)
(coin.create-allocation-account "SB <15>_446" (time "2020-07-01T00:00:00Z") "SB <15>" 10666.67)
(coin.create-allocation-account "SB <14>_445" (time "2020-07-01T00:00:00Z") "SB <14>" 16000.0)
(coin.create-allocation-account "SB <13>_444" (time "2020-07-01T00:00:00Z") "SB <13>" 28288.88)
(coin.create-allocation-account "SB <12>_443" (time "2020-07-01T00:00:00Z") "SB <12>" 8267.36)
(coin.create-allocation-account "SB <11>_442" (time "2020-07-01T00:00:00Z") "SB <11>" 28844.46)
(coin.create-allocation-account "SB <10>_441" (time "2020-07-01T00:00:00Z") "SB <10>" 105450.6)
(coin.create-allocation-account "SB <9>_440" (time "2020-07-01T00:00:00Z") "SB <9>" 32030.72)
(coin.create-allocation-account "SB <8>_439" (time "2020-07-01T00:00:00Z") "SB <8>" 97902.93)
(coin.create-allocation-account "SB <7>_438" (time "2020-07-01T00:00:00Z") "SB <7>" 2890.67)
(coin.create-allocation-account "SB <6>_437" (time "2020-07-01T00:00:00Z") "SB <6>" 5333.33)
(coin.create-allocation-account "SB <5>_436" (time "2020-07-01T00:00:00Z") "SB <5>" 53333.33)
(coin.create-allocation-account "SB <4>_435" (time "2020-07-01T00:00:00Z") "SB <4>" 106666.67)
(coin.create-allocation-account "SB <3>_434" (time "2020-07-01T00:00:00Z") "SB <3>" 10666.67)
(coin.create-allocation-account "SB <2>_433" (time "2020-07-01T00:00:00Z") "SB <2>" 3200.0)
(coin.create-allocation-account "SB <1>_432" (time "2020-07-01T00:00:00Z") "SB <1>" 5333.33)
(coin.create-allocation-account "SA <20>_431" (time "2020-07-01T00:00:00Z") "SA <20>" 16000.0)
(coin.create-allocation-account "SA <19>_430" (time "2020-07-01T00:00:00Z") "SA <19>" 6400.0)
(coin.create-allocation-account "SA <18>_429" (time "2020-07-01T00:00:00Z") "SA <18>" 8000.0)
(coin.create-allocation-account "SA <17>_428" (time "2020-07-01T00:00:00Z") "SA <17>" 4000.0)
(coin.create-allocation-account "SA <16>_427" (time "2020-07-01T00:00:00Z") "SA <16>" 4000.0)
(coin.create-allocation-account "SA <15> _426" (time "2020-07-01T00:00:00Z") "SA <15>" 1600.0)
(coin.create-allocation-account "SA <14>_425" (time "2020-07-01T00:00:00Z") "SA <14>" 8000.0)
(coin.create-allocation-account "SA <13>_424" (time "2020-07-01T00:00:00Z") "SA <13>" 80000.0)
(coin.create-allocation-account "SA <12>_423" (time "2020-07-01T00:00:00Z") "SA <12>" 4000.0)
(coin.create-allocation-account "SA <11>_422" (time "2020-07-01T00:00:00Z") "SA <11>" 4000.0)
(coin.create-allocation-account "SA <10>_421" (time "2020-07-01T00:00:00Z") "SA <10>" 4000.0)
(coin.create-allocation-account "SA <9>_420" (time "2020-07-01T00:00:00Z") "SA <9>" 8000.0)
(coin.create-allocation-account "SA <8>_419" (time "2020-07-01T00:00:00Z") "SA <8>" 4000.0)
(coin.create-allocation-account "SA <7>_418" (time "2020-07-01T00:00:00Z") "SA <7>" 3200.0)
(coin.create-allocation-account "SA <6>_417" (time "2020-07-01T00:00:00Z") "SA <6>" 4000.0)
(coin.create-allocation-account "SA <5>_416" (time "2020-07-01T00:00:00Z") "SA <5>" 16000.0)
(coin.create-allocation-account "SA <4>_415" (time "2020-07-01T00:00:00Z") "SA <4>" 8000.0)
(coin.create-allocation-account "SA <3>_414" (time "2020-07-01T00:00:00Z") "SA <3>" 800.0)
(coin.create-allocation-account "SA <2>_413" (time "2020-07-01T00:00:00Z") "SA <2>" 160000.0)
(coin.create-allocation-account "SA <1>_412" (time "2020-07-01T00:00:00Z") "SA <1>" 16000.0)
(coin.create-allocation-account "SB <46>_409" (time "2020-06-01T00:00:00Z") "SB <46>" 45595.9)
(coin.create-allocation-account "SB <45>_408" (time "2020-06-01T00:00:00Z") "SB <45>" 44640.0)
(coin.create-allocation-account "SB <44>_407" (time "2020-06-01T00:00:00Z") "SB <44>" 74666.67)
(coin.create-allocation-account "SB <43>_406" (time "2020-06-01T00:00:00Z") "SB <43>" 26666.67)
(coin.create-allocation-account "SB <42>_405" (time "2020-06-01T00:00:00Z") "SB <42>" 53333.33)
(coin.create-allocation-account "SB <41>_404" (time "2020-06-01T00:00:00Z") "SB <41>" 48000.0)
(coin.create-allocation-account "SB <40>_403" (time "2020-06-01T00:00:00Z") "SB <40>" 53760.0)
(coin.create-allocation-account "SB <39>_402" (time "2020-06-01T00:00:00Z") "SB <39>" 8533.33)
(coin.create-allocation-account "SB <38>_401" (time "2020-06-01T00:00:00Z") "SB <38>" 16000.0)
(coin.create-allocation-account "SB <37>_400" (time "2020-06-01T00:00:00Z") "SB <37>" 2666.67)
(coin.create-allocation-account "SB <36>_399" (time "2020-06-01T00:00:00Z") "SB <36>" 5642.99)
(coin.create-allocation-account "SB <35>_398" (time "2020-06-01T00:00:00Z") "SB <35>" 50613.72)
(coin.create-allocation-account "SB <34>_397" (time "2020-06-01T00:00:00Z") "SB <34>" 10666.67)
(coin.create-allocation-account "SB <33>_396" (time "2020-06-01T00:00:00Z") "SB <33>" 10666.67)
(coin.create-allocation-account "SB <32>_395" (time "2020-06-01T00:00:00Z") "SB <32>" 10666.67)
(coin.create-allocation-account "SB <31>_394" (time "2020-06-01T00:00:00Z") "SB <31>" 16000.0)
(coin.create-allocation-account "SB <30>_393" (time "2020-06-01T00:00:00Z") "SB <30>" 1066.67)
(coin.create-allocation-account "SB <29>_392" (time "2020-06-01T00:00:00Z") "SB <29>" 53333.33)
(coin.create-allocation-account "SB <28>_391" (time "2020-06-01T00:00:00Z") "SB <28>" 4800.0)
(coin.create-allocation-account "SB <27>_390" (time "2020-06-01T00:00:00Z") "SB <27>" 108666.67)
(coin.create-allocation-account "SB <26>_389" (time "2020-06-01T00:00:00Z") "SB <26>" 16832.0)
(coin.create-allocation-account "SB <25>_388" (time "2020-06-01T00:00:00Z") "SB <25>" 10666.67)
(coin.create-allocation-account "SB <24>_387" (time "2020-06-01T00:00:00Z") "SB <24>" 2180.66)
(coin.create-allocation-account "SB <23>_386" (time "2020-06-01T00:00:00Z") "SB <23>" 2666.67)
(coin.create-allocation-account "SB <22>_385" (time "2020-06-01T00:00:00Z") "SB <22>" 10666.67)
(coin.create-allocation-account "SB <21>_384" (time "2020-06-01T00:00:00Z") "SB <21>" 10491.95)
(coin.create-allocation-account "SB <20>_383" (time "2020-06-01T00:00:00Z") "SB <20>" 30880.0)
(coin.create-allocation-account "SB <19>_382" (time "2020-06-01T00:00:00Z") "SB <19>" 53333.33)
(coin.create-allocation-account "SB <18>_381" (time "2020-06-01T00:00:00Z") "SB <18>" 26666.67)
(coin.create-allocation-account "SB <17>_380" (time "2020-06-01T00:00:00Z") "SB <17>" 21333.33)
(coin.create-allocation-account "SB <16>_379" (time "2020-06-01T00:00:00Z") "SB <16>" 26666.67)
(coin.create-allocation-account "SB <15>_378" (time "2020-06-01T00:00:00Z") "SB <15>" 10666.67)
(coin.create-allocation-account "SB <14>_377" (time "2020-06-01T00:00:00Z") "SB <14>" 16000.0)
(coin.create-allocation-account "SB <13>_376" (time "2020-06-01T00:00:00Z") "SB <13>" 28288.88)
(coin.create-allocation-account "SB <12>_375" (time "2020-06-01T00:00:00Z") "SB <12>" 8267.36)
(coin.create-allocation-account "SB <11>_374" (time "2020-06-01T00:00:00Z") "SB <11>" 28844.46)
(coin.create-allocation-account "SB <10>_373" (time "2020-06-01T00:00:00Z") "SB <10>" 105450.6)
(coin.create-allocation-account "SB <9>_372" (time "2020-06-01T00:00:00Z") "SB <9>" 32030.72)
(coin.create-allocation-account "SB <8>_371" (time "2020-06-01T00:00:00Z") "SB <8>" 97902.93)
(coin.create-allocation-account "SB <7>_370" (time "2020-06-01T00:00:00Z") "SB <7>" 2890.67)
(coin.create-allocation-account "SB <6>_369" (time "2020-06-01T00:00:00Z") "SB <6>" 5333.33)
(coin.create-allocation-account "SB <5>_368" (time "2020-06-01T00:00:00Z") "SB <5>" 53333.33)
(coin.create-allocation-account "SB <4>_367" (time "2020-06-01T00:00:00Z") "SB <4>" 106666.67)
(coin.create-allocation-account "SB <3>_366" (time "2020-06-01T00:00:00Z") "SB <3>" 10666.67)
(coin.create-allocation-account "SB <2>_365" (time "2020-06-01T00:00:00Z") "SB <2>" 3200.0)
(coin.create-allocation-account "SB <1>_364" (time "2020-06-01T00:00:00Z") "SB <1>" 5333.33)
(coin.create-allocation-account "SA <20>_363" (time "2020-06-01T00:00:00Z") "SA <20>" 16000.0)
(coin.create-allocation-account "SA <19>_362" (time "2020-06-01T00:00:00Z") "SA <19>" 6400.0)
(coin.create-allocation-account "SA <18>_361" (time "2020-06-01T00:00:00Z") "SA <18>" 8000.0)
(coin.create-allocation-account "SA <17>_360" (time "2020-06-01T00:00:00Z") "SA <17>" 4000.0)
(coin.create-allocation-account "SA <16>_359" (time "2020-06-01T00:00:00Z") "SA <16>" 4000.0)
(coin.create-allocation-account "SA <15> _358" (time "2020-06-01T00:00:00Z") "SA <15>" 1600.0)
(coin.create-allocation-account "SA <14>_357" (time "2020-06-01T00:00:00Z") "SA <14>" 8000.0)
(coin.create-allocation-account "SA <13>_356" (time "2020-06-01T00:00:00Z") "SA <13>" 80000.0)
(coin.create-allocation-account "SA <12>_355" (time "2020-06-01T00:00:00Z") "SA <12>" 4000.0)
(coin.create-allocation-account "SA <11>_354" (time "2020-06-01T00:00:00Z") "SA <11>" 4000.0)
(coin.create-allocation-account "SA <10>_353" (time "2020-06-01T00:00:00Z") "SA <10>" 4000.0)
(coin.create-allocation-account "SA <9>_352" (time "2020-06-01T00:00:00Z") "SA <9>" 8000.0)
(coin.create-allocation-account "SA <8>_351" (time "2020-06-01T00:00:00Z") "SA <8>" 4000.0)
(coin.create-allocation-account "SA <7>_350" (time "2020-06-01T00:00:00Z") "SA <7>" 3200.0)
(coin.create-allocation-account "SA <6>_349" (time "2020-06-01T00:00:00Z") "SA <6>" 4000.0)
(coin.create-allocation-account "SA <5>_348" (time "2020-06-01T00:00:00Z") "SA <5>" 16000.0)
(coin.create-allocation-account "SA <4>_347" (time "2020-06-01T00:00:00Z") "SA <4>" 8000.0)
(coin.create-allocation-account "SA <3>_346" (time "2020-06-01T00:00:00Z") "SA <3>" 800.0)
(coin.create-allocation-account "SA <2>_345" (time "2020-06-01T00:00:00Z") "SA <2>" 160000.0)
(coin.create-allocation-account "SA <1>_344" (time "2020-06-01T00:00:00Z") "SA <1>" 16000.0)
(coin.create-allocation-account "SB <46>_341" (time "2020-05-01T00:00:00Z") "SB <46>" 45595.9)
(coin.create-allocation-account "SB <45>_340" (time "2020-05-01T00:00:00Z") "SB <45>" 44640.0)
(coin.create-allocation-account "SB <44>_339" (time "2020-05-01T00:00:00Z") "SB <44>" 74666.67)
(coin.create-allocation-account "SB <43>_338" (time "2020-05-01T00:00:00Z") "SB <43>" 26666.67)
(coin.create-allocation-account "SB <42>_337" (time "2020-05-01T00:00:00Z") "SB <42>" 53333.33)
(coin.create-allocation-account "SB <41>_336" (time "2020-05-01T00:00:00Z") "SB <41>" 48000.0)
(coin.create-allocation-account "SB <40>_335" (time "2020-05-01T00:00:00Z") "SB <40>" 53760.0)
(coin.create-allocation-account "SB <39>_334" (time "2020-05-01T00:00:00Z") "SB <39>" 8533.33)
(coin.create-allocation-account "SB <38>_333" (time "2020-05-01T00:00:00Z") "SB <38>" 16000.0)
(coin.create-allocation-account "SB <37>_332" (time "2020-05-01T00:00:00Z") "SB <37>" 2666.67)
(coin.create-allocation-account "SB <36>_331" (time "2020-05-01T00:00:00Z") "SB <36>" 5642.99)
(coin.create-allocation-account "SB <35>_330" (time "2020-05-01T00:00:00Z") "SB <35>" 50613.72)
(coin.create-allocation-account "SB <34>_329" (time "2020-05-01T00:00:00Z") "SB <34>" 10666.67)
(coin.create-allocation-account "SB <33>_328" (time "2020-05-01T00:00:00Z") "SB <33>" 10666.67)
(coin.create-allocation-account "SB <32>_327" (time "2020-05-01T00:00:00Z") "SB <32>" 10666.67)
(coin.create-allocation-account "SB <31>_326" (time "2020-05-01T00:00:00Z") "SB <31>" 16000.0)
(coin.create-allocation-account "SB <30>_325" (time "2020-05-01T00:00:00Z") "SB <30>" 1066.67)
(coin.create-allocation-account "SB <29>_324" (time "2020-05-01T00:00:00Z") "SB <29>" 53333.33)
(coin.create-allocation-account "SB <28>_323" (time "2020-05-01T00:00:00Z") "SB <28>" 4800.0)
(coin.create-allocation-account "SB <27>_322" (time "2020-05-01T00:00:00Z") "SB <27>" 108666.67)
(coin.create-allocation-account "SB <26>_321" (time "2020-05-01T00:00:00Z") "SB <26>" 16832.0)
(coin.create-allocation-account "SB <25>_320" (time "2020-05-01T00:00:00Z") "SB <25>" 10666.67)
(coin.create-allocation-account "SB <24>_319" (time "2020-05-01T00:00:00Z") "SB <24>" 2180.66)
(coin.create-allocation-account "SB <23>_318" (time "2020-05-01T00:00:00Z") "SB <23>" 2666.67)
(coin.create-allocation-account "SB <22>_317" (time "2020-05-01T00:00:00Z") "SB <22>" 10666.67)
(coin.create-allocation-account "SB <21>_316" (time "2020-05-01T00:00:00Z") "SB <21>" 10491.95)
(coin.create-allocation-account "SB <20>_315" (time "2020-05-01T00:00:00Z") "SB <20>" 30880.0)
(coin.create-allocation-account "SB <19>_314" (time "2020-05-01T00:00:00Z") "SB <19>" 53333.33)
(coin.create-allocation-account "SB <18>_313" (time "2020-05-01T00:00:00Z") "SB <18>" 26666.67)
(coin.create-allocation-account "SB <17>_312" (time "2020-05-01T00:00:00Z") "SB <17>" 21333.33)
(coin.create-allocation-account "SB <16>_311" (time "2020-05-01T00:00:00Z") "SB <16>" 26666.67)
(coin.create-allocation-account "SB <15>_310" (time "2020-05-01T00:00:00Z") "SB <15>" 10666.67)
(coin.create-allocation-account "SB <14>_309" (time "2020-05-01T00:00:00Z") "SB <14>" 16000.0)
(coin.create-allocation-account "SB <13>_308" (time "2020-05-01T00:00:00Z") "SB <13>" 28288.88)
(coin.create-allocation-account "SB <12>_307" (time "2020-05-01T00:00:00Z") "SB <12>" 8267.36)
(coin.create-allocation-account "SB <11>_306" (time "2020-05-01T00:00:00Z") "SB <11>" 28844.46)
(coin.create-allocation-account "SB <10>_305" (time "2020-05-01T00:00:00Z") "SB <10>" 105450.6)
(coin.create-allocation-account "SB <9>_304" (time "2020-05-01T00:00:00Z") "SB <9>" 32030.72)
(coin.create-allocation-account "SB <8>_303" (time "2020-05-01T00:00:00Z") "SB <8>" 97902.93)
(coin.create-allocation-account "SB <7>_302" (time "2020-05-01T00:00:00Z") "SB <7>" 2890.67)
(coin.create-allocation-account "SB <6>_301" (time "2020-05-01T00:00:00Z") "SB <6>" 5333.33)
(coin.create-allocation-account "SB <5>_300" (time "2020-05-01T00:00:00Z") "SB <5>" 53333.33)
(coin.create-allocation-account "SB <4>_299" (time "2020-05-01T00:00:00Z") "SB <4>" 106666.67)
(coin.create-allocation-account "SB <3>_298" (time "2020-05-01T00:00:00Z") "SB <3>" 10666.67)
(coin.create-allocation-account "SB <2>_297" (time "2020-05-01T00:00:00Z") "SB <2>" 3200.0)
(coin.create-allocation-account "SB <1>_296" (time "2020-05-01T00:00:00Z") "SB <1>" 5333.33)
(coin.create-allocation-account "SA <20>_295" (time "2020-05-01T00:00:00Z") "SA <20>" 16000.0)
(coin.create-allocation-account "SA <19>_294" (time "2020-05-01T00:00:00Z") "SA <19>" 6400.0)
(coin.create-allocation-account "SA <18>_293" (time "2020-05-01T00:00:00Z") "SA <18>" 8000.0)
(coin.create-allocation-account "SA <17>_292" (time "2020-05-01T00:00:00Z") "SA <17>" 4000.0)
(coin.create-allocation-account "SA <16>_291" (time "2020-05-01T00:00:00Z") "SA <16>" 4000.0)
(coin.create-allocation-account "SA <15> _290" (time "2020-05-01T00:00:00Z") "SA <15>" 1600.0)
(coin.create-allocation-account "SA <14>_289" (time "2020-05-01T00:00:00Z") "SA <14>" 8000.0)
(coin.create-allocation-account "SA <13>_288" (time "2020-05-01T00:00:00Z") "SA <13>" 80000.0)
(coin.create-allocation-account "SA <12>_287" (time "2020-05-01T00:00:00Z") "SA <12>" 4000.0)
(coin.create-allocation-account "SA <11>_286" (time "2020-05-01T00:00:00Z") "SA <11>" 4000.0)
(coin.create-allocation-account "SA <10>_285" (time "2020-05-01T00:00:00Z") "SA <10>" 4000.0)
(coin.create-allocation-account "SA <9>_284" (time "2020-05-01T00:00:00Z") "SA <9>" 8000.0)
(coin.create-allocation-account "SA <8>_283" (time "2020-05-01T00:00:00Z") "SA <8>" 4000.0)
(coin.create-allocation-account "SA <7>_282" (time "2020-05-01T00:00:00Z") "SA <7>" 3200.0)
(coin.create-allocation-account "SA <6>_281" (time "2020-05-01T00:00:00Z") "SA <6>" 4000.0)
(coin.create-allocation-account "SA <5>_280" (time "2020-05-01T00:00:00Z") "SA <5>" 16000.0)
(coin.create-allocation-account "SA <4>_279" (time "2020-05-01T00:00:00Z") "SA <4>" 8000.0)
(coin.create-allocation-account "SA <3>_278" (time "2020-05-01T00:00:00Z") "SA <3>" 800.0)
(coin.create-allocation-account "SA <2>_277" (time "2020-05-01T00:00:00Z") "SA <2>" 160000.0)
(coin.create-allocation-account "SA <1>_276" (time "2020-05-01T00:00:00Z") "SA <1>" 16000.0)
(coin.create-allocation-account "SB <46>_273" (time "2020-04-01T00:00:00Z") "SB <46>" 45595.9)
(coin.create-allocation-account "SB <45>_272" (time "2020-04-01T00:00:00Z") "SB <45>" 44640.0)
(coin.create-allocation-account "SB <44>_271" (time "2020-04-01T00:00:00Z") "SB <44>" 74666.67)
(coin.create-allocation-account "SB <43>_270" (time "2020-04-01T00:00:00Z") "SB <43>" 26666.67)
(coin.create-allocation-account "SB <42>_269" (time "2020-04-01T00:00:00Z") "SB <42>" 53333.33)
(coin.create-allocation-account "SB <41>_268" (time "2020-04-01T00:00:00Z") "SB <41>" 48000.0)
(coin.create-allocation-account "SB <40>_267" (time "2020-04-01T00:00:00Z") "SB <40>" 53760.0)
(coin.create-allocation-account "SB <39>_266" (time "2020-04-01T00:00:00Z") "SB <39>" 8533.33)
(coin.create-allocation-account "SB <38>_265" (time "2020-04-01T00:00:00Z") "SB <38>" 16000.0)
(coin.create-allocation-account "SB <37>_264" (time "2020-04-01T00:00:00Z") "SB <37>" 2666.67)
(coin.create-allocation-account "SB <36>_263" (time "2020-04-01T00:00:00Z") "SB <36>" 5642.99)
(coin.create-allocation-account "SB <35>_262" (time "2020-04-01T00:00:00Z") "SB <35>" 50613.72)
(coin.create-allocation-account "SB <34>_261" (time "2020-04-01T00:00:00Z") "SB <34>" 10666.67)
(coin.create-allocation-account "SB <33>_260" (time "2020-04-01T00:00:00Z") "SB <33>" 10666.67)
(coin.create-allocation-account "SB <32>_259" (time "2020-04-01T00:00:00Z") "SB <32>" 10666.67)
(coin.create-allocation-account "SB <31>_258" (time "2020-04-01T00:00:00Z") "SB <31>" 16000.0)
(coin.create-allocation-account "SB <30>_257" (time "2020-04-01T00:00:00Z") "SB <30>" 1066.67)
(coin.create-allocation-account "SB <29>_256" (time "2020-04-01T00:00:00Z") "SB <29>" 53333.33)
(coin.create-allocation-account "SB <28>_255" (time "2020-04-01T00:00:00Z") "SB <28>" 4800.0)
(coin.create-allocation-account "SB <27>_254" (time "2020-04-01T00:00:00Z") "SB <27>" 108666.67)
(coin.create-allocation-account "SB <26>_253" (time "2020-04-01T00:00:00Z") "SB <26>" 16832.0)
(coin.create-allocation-account "SB <25>_252" (time "2020-04-01T00:00:00Z") "SB <25>" 10666.67)
(coin.create-allocation-account "SB <24>_251" (time "2020-04-01T00:00:00Z") "SB <24>" 2180.66)
(coin.create-allocation-account "SB <23>_250" (time "2020-04-01T00:00:00Z") "SB <23>" 2666.67)
(coin.create-allocation-account "SB <22>_249" (time "2020-04-01T00:00:00Z") "SB <22>" 10666.67)
(coin.create-allocation-account "SB <21>_248" (time "2020-04-01T00:00:00Z") "SB <21>" 10491.95)
(coin.create-allocation-account "SB <20>_247" (time "2020-04-01T00:00:00Z") "SB <20>" 30880.0)
(coin.create-allocation-account "SB <19>_246" (time "2020-04-01T00:00:00Z") "SB <19>" 53333.33)
(coin.create-allocation-account "SB <18>_245" (time "2020-04-01T00:00:00Z") "SB <18>" 26666.67)
(coin.create-allocation-account "SB <17>_244" (time "2020-04-01T00:00:00Z") "SB <17>" 21333.33)
(coin.create-allocation-account "SB <16>_243" (time "2020-04-01T00:00:00Z") "SB <16>" 26666.67)
(coin.create-allocation-account "SB <15>_242" (time "2020-04-01T00:00:00Z") "SB <15>" 10666.67)
(coin.create-allocation-account "SB <14>_241" (time "2020-04-01T00:00:00Z") "SB <14>" 16000.0)
(coin.create-allocation-account "SB <13>_240" (time "2020-04-01T00:00:00Z") "SB <13>" 28288.88)
(coin.create-allocation-account "SB <12>_239" (time "2020-04-01T00:00:00Z") "SB <12>" 8267.36)
(coin.create-allocation-account "SB <11>_238" (time "2020-04-01T00:00:00Z") "SB <11>" 28844.46)
(coin.create-allocation-account "SB <10>_237" (time "2020-04-01T00:00:00Z") "SB <10>" 105450.6)
(coin.create-allocation-account "SB <9>_236" (time "2020-04-01T00:00:00Z") "SB <9>" 32030.72)
(coin.create-allocation-account "SB <8>_235" (time "2020-04-01T00:00:00Z") "SB <8>" 97902.93)
(coin.create-allocation-account "SB <7>_234" (time "2020-04-01T00:00:00Z") "SB <7>" 2890.67)
(coin.create-allocation-account "SB <6>_233" (time "2020-04-01T00:00:00Z") "SB <6>" 5333.33)
(coin.create-allocation-account "SB <5>_232" (time "2020-04-01T00:00:00Z") "SB <5>" 53333.33)
(coin.create-allocation-account "SB <4>_231" (time "2020-04-01T00:00:00Z") "SB <4>" 106666.67)
(coin.create-allocation-account "SB <3>_230" (time "2020-04-01T00:00:00Z") "SB <3>" 10666.67)
(coin.create-allocation-account "SB <2>_229" (time "2020-04-01T00:00:00Z") "SB <2>" 3200.0)
(coin.create-allocation-account "SB <1>_228" (time "2020-04-01T00:00:00Z") "SB <1>" 5333.33)
(coin.create-allocation-account "SA <20>_227" (time "2020-04-01T00:00:00Z") "SA <20>" 16000.0)
(coin.create-allocation-account "SA <19>_226" (time "2020-04-01T00:00:00Z") "SA <19>" 6400.0)
(coin.create-allocation-account "SA <18>_225" (time "2020-04-01T00:00:00Z") "SA <18>" 8000.0)
(coin.create-allocation-account "SA <17>_224" (time "2020-04-01T00:00:00Z") "SA <17>" 4000.0)
(coin.create-allocation-account "SA <16>_223" (time "2020-04-01T00:00:00Z") "SA <16>" 4000.0)
(coin.create-allocation-account "SA <15> _222" (time "2020-04-01T00:00:00Z") "SA <15>" 1600.0)
(coin.create-allocation-account "SA <14>_221" (time "2020-04-01T00:00:00Z") "SA <14>" 8000.0)
(coin.create-allocation-account "SA <13>_220" (time "2020-04-01T00:00:00Z") "SA <13>" 80000.0)
(coin.create-allocation-account "SA <12>_219" (time "2020-04-01T00:00:00Z") "SA <12>" 4000.0)
(coin.create-allocation-account "SA <11>_218" (time "2020-04-01T00:00:00Z") "SA <11>" 4000.0)
(coin.create-allocation-account "SA <10>_217" (time "2020-04-01T00:00:00Z") "SA <10>" 4000.0)
(coin.create-allocation-account "SA <9>_216" (time "2020-04-01T00:00:00Z") "SA <9>" 8000.0)
(coin.create-allocation-account "SA <8>_215" (time "2020-04-01T00:00:00Z") "SA <8>" 4000.0)
(coin.create-allocation-account "SA <7>_214" (time "2020-04-01T00:00:00Z") "SA <7>" 3200.0)
(coin.create-allocation-account "SA <6>_213" (time "2020-04-01T00:00:00Z") "SA <6>" 4000.0)
(coin.create-allocation-account "SA <5>_212" (time "2020-04-01T00:00:00Z") "SA <5>" 16000.0)
(coin.create-allocation-account "SA <4>_211" (time "2020-04-01T00:00:00Z") "SA <4>" 8000.0)
(coin.create-allocation-account "SA <3>_210" (time "2020-04-01T00:00:00Z") "SA <3>" 800.0)
(coin.create-allocation-account "SA <2>_209" (time "2020-04-01T00:00:00Z") "SA <2>" 160000.0)
(coin.create-allocation-account "SA <1>_208" (time "2020-04-01T00:00:00Z") "SA <1>" 16000.0)
(coin.create-allocation-account "SB <46>_204" (time "2020-03-01T00:00:00Z") "SB <46>" 45595.9)
(coin.create-allocation-account "SB <45>_203" (time "2020-03-01T00:00:00Z") "SB <45>" 44640.0)
(coin.create-allocation-account "SB <44>_202" (time "2020-03-01T00:00:00Z") "SB <44>" 74666.67)
(coin.create-allocation-account "SB <43>_201" (time "2020-03-01T00:00:00Z") "SB <43>" 26666.67)
(coin.create-allocation-account "SB <42>_200" (time "2020-03-01T00:00:00Z") "SB <42>" 53333.33)
(coin.create-allocation-account "SB <41>_199" (time "2020-03-01T00:00:00Z") "SB <41>" 48000.0)
(coin.create-allocation-account "SB <40>_198" (time "2020-03-01T00:00:00Z") "SB <40>" 53760.0)
(coin.create-allocation-account "SB <39>_197" (time "2020-03-01T00:00:00Z") "SB <39>" 8533.33)
(coin.create-allocation-account "SB <38>_196" (time "2020-03-01T00:00:00Z") "SB <38>" 16000.0)
(coin.create-allocation-account "SB <37>_195" (time "2020-03-01T00:00:00Z") "SB <37>" 2666.67)
(coin.create-allocation-account "SB <36>_194" (time "2020-03-01T00:00:00Z") "SB <36>" 5642.99)
(coin.create-allocation-account "SB <35>_193" (time "2020-03-01T00:00:00Z") "SB <35>" 50613.72)
(coin.create-allocation-account "SB <34>_192" (time "2020-03-01T00:00:00Z") "SB <34>" 10666.67)
(coin.create-allocation-account "SB <33>_191" (time "2020-03-01T00:00:00Z") "SB <33>" 10666.67)
(coin.create-allocation-account "SB <32>_190" (time "2020-03-01T00:00:00Z") "SB <32>" 10666.67)
(coin.create-allocation-account "SB <31>_189" (time "2020-03-01T00:00:00Z") "SB <31>" 16000.0)
(coin.create-allocation-account "SB <30>_188" (time "2020-03-01T00:00:00Z") "SB <30>" 1066.67)
(coin.create-allocation-account "SB <29>_187" (time "2020-03-01T00:00:00Z") "SB <29>" 53333.33)
(coin.create-allocation-account "SB <28>_186" (time "2020-03-01T00:00:00Z") "SB <28>" 4800.0)
(coin.create-allocation-account "SB <27>_185" (time "2020-03-01T00:00:00Z") "SB <27>" 108666.67)
(coin.create-allocation-account "SB <26>_184" (time "2020-03-01T00:00:00Z") "SB <26>" 16832.0)
(coin.create-allocation-account "SB <25>_183" (time "2020-03-01T00:00:00Z") "SB <25>" 10666.67)
(coin.create-allocation-account "SB <24>_182" (time "2020-03-01T00:00:00Z") "SB <24>" 2180.66)
(coin.create-allocation-account "SB <23>_181" (time "2020-03-01T00:00:00Z") "SB <23>" 2666.67)
(coin.create-allocation-account "SB <22>_180" (time "2020-03-01T00:00:00Z") "SB <22>" 10666.67)
(coin.create-allocation-account "SB <21>_179" (time "2020-03-01T00:00:00Z") "SB <21>" 10491.95)
(coin.create-allocation-account "SB <20>_178" (time "2020-03-01T00:00:00Z") "SB <20>" 30880.0)
(coin.create-allocation-account "SB <19>_177" (time "2020-03-01T00:00:00Z") "SB <19>" 53333.33)
(coin.create-allocation-account "SB <18>_176" (time "2020-03-01T00:00:00Z") "SB <18>" 26666.67)
(coin.create-allocation-account "SB <17>_175" (time "2020-03-01T00:00:00Z") "SB <17>" 21333.33)
(coin.create-allocation-account "SB <16>_174" (time "2020-03-01T00:00:00Z") "SB <16>" 26666.67)
(coin.create-allocation-account "SB <15>_173" (time "2020-03-01T00:00:00Z") "SB <15>" 10666.67)
(coin.create-allocation-account "SB <14>_172" (time "2020-03-01T00:00:00Z") "SB <14>" 16000.0)
(coin.create-allocation-account "SB <13>_171" (time "2020-03-01T00:00:00Z") "SB <13>" 28288.88)
(coin.create-allocation-account "SB <12>_170" (time "2020-03-01T00:00:00Z") "SB <12>" 8267.36)
(coin.create-allocation-account "SB <11>_169" (time "2020-03-01T00:00:00Z") "SB <11>" 28844.46)
(coin.create-allocation-account "SB <10>_168" (time "2020-03-01T00:00:00Z") "SB <10>" 105450.6)
(coin.create-allocation-account "SB <9>_167" (time "2020-03-01T00:00:00Z") "SB <9>" 32030.72)
(coin.create-allocation-account "SB <8>_166" (time "2020-03-01T00:00:00Z") "SB <8>" 97902.93)
(coin.create-allocation-account "SB <7>_165" (time "2020-03-01T00:00:00Z") "SB <7>" 2890.67)
(coin.create-allocation-account "SB <6>_164" (time "2020-03-01T00:00:00Z") "SB <6>" 5333.33)
(coin.create-allocation-account "SB <5>_163" (time "2020-03-01T00:00:00Z") "SB <5>" 53333.33)
(coin.create-allocation-account "SB <4>_162" (time "2020-03-01T00:00:00Z") "SB <4>" 106666.67)
(coin.create-allocation-account "SB <3>_161" (time "2020-03-01T00:00:00Z") "SB <3>" 10666.67)
(coin.create-allocation-account "SB <2>_160" (time "2020-03-01T00:00:00Z") "SB <2>" 3200.0)
(coin.create-allocation-account "SB <1>_159" (time "2020-03-01T00:00:00Z") "SB <1>" 5333.33)
(coin.create-allocation-account "SA <20>_158" (time "2020-03-01T00:00:00Z") "SA <20>" 16000.0)
(coin.create-allocation-account "SA <19>_157" (time "2020-03-01T00:00:00Z") "SA <19>" 6400.0)
(coin.create-allocation-account "SA <18>_156" (time "2020-03-01T00:00:00Z") "SA <18>" 8000.0)
(coin.create-allocation-account "SA <17>_155" (time "2020-03-01T00:00:00Z") "SA <17>" 4000.0)
(coin.create-allocation-account "SA <16>_154" (time "2020-03-01T00:00:00Z") "SA <16>" 4000.0)
(coin.create-allocation-account "SA <15> _153" (time "2020-03-01T00:00:00Z") "SA <15>" 1600.0)
(coin.create-allocation-account "SA <14>_152" (time "2020-03-01T00:00:00Z") "SA <14>" 8000.0)
(coin.create-allocation-account "SA <13>_151" (time "2020-03-01T00:00:00Z") "SA <13>" 80000.0)
(coin.create-allocation-account "SA <12>_150" (time "2020-03-01T00:00:00Z") "SA <12>" 4000.0)
(coin.create-allocation-account "SA <11>_149" (time "2020-03-01T00:00:00Z") "SA <11>" 4000.0)
(coin.create-allocation-account "SA <10>_148" (time "2020-03-01T00:00:00Z") "SA <10>" 4000.0)
(coin.create-allocation-account "SA <9>_147" (time "2020-03-01T00:00:00Z") "SA <9>" 8000.0)
(coin.create-allocation-account "SA <8>_146" (time "2020-03-01T00:00:00Z") "SA <8>" 4000.0)
(coin.create-allocation-account "SA <7>_145" (time "2020-03-01T00:00:00Z") "SA <7>" 3200.0)
(coin.create-allocation-account "SA <6>_144" (time "2020-03-01T00:00:00Z") "SA <6>" 4000.0)
(coin.create-allocation-account "SA <5>_143" (time "2020-03-01T00:00:00Z") "SA <5>" 16000.0)
(coin.create-allocation-account "SA <4>_142" (time "2020-03-01T00:00:00Z") "SA <4>" 8000.0)
(coin.create-allocation-account "SA <3>_141" (time "2020-03-01T00:00:00Z") "SA <3>" 800.0)
(coin.create-allocation-account "SA <2>_140" (time "2020-03-01T00:00:00Z") "SA <2>" 160000.0)
(coin.create-allocation-account "SA <1>_139" (time "2020-03-01T00:00:00Z") "SA <1>" 16000.0)
(coin.create-allocation-account "SB <46>_135" (time "2020-02-01T00:00:00Z") "SB <46>" 45595.9)
(coin.create-allocation-account "SB <45>_134" (time "2020-02-01T00:00:00Z") "SB <45>" 44640.0)
(coin.create-allocation-account "SB <44>_133" (time "2020-02-01T00:00:00Z") "SB <44>" 74666.67)
(coin.create-allocation-account "SB <43>_132" (time "2020-02-01T00:00:00Z") "SB <43>" 26666.67)
(coin.create-allocation-account "SB <42>_131" (time "2020-02-01T00:00:00Z") "SB <42>" 53333.33)
(coin.create-allocation-account "SB <41>_130" (time "2020-02-01T00:00:00Z") "SB <41>" 48000.0)
(coin.create-allocation-account "SB <40>_129" (time "2020-02-01T00:00:00Z") "SB <40>" 53760.0)
(coin.create-allocation-account "SB <39>_128" (time "2020-02-01T00:00:00Z") "SB <39>" 8533.33)
(coin.create-allocation-account "SB <38>_127" (time "2020-02-01T00:00:00Z") "SB <38>" 16000.0)
(coin.create-allocation-account "SB <37>_126" (time "2020-02-01T00:00:00Z") "SB <37>" 2666.67)
(coin.create-allocation-account "SB <36>_125" (time "2020-02-01T00:00:00Z") "SB <36>" 5642.99)
(coin.create-allocation-account "SB <35>_124" (time "2020-02-01T00:00:00Z") "SB <35>" 50613.72)
(coin.create-allocation-account "SB <34>_123" (time "2020-02-01T00:00:00Z") "SB <34>" 10666.67)
(coin.create-allocation-account "SB <33>_122" (time "2020-02-01T00:00:00Z") "SB <33>" 10666.67)
(coin.create-allocation-account "SB <32>_121" (time "2020-02-01T00:00:00Z") "SB <32>" 10666.67)
(coin.create-allocation-account "SB <31>_120" (time "2020-02-01T00:00:00Z") "SB <31>" 16000.0)
(coin.create-allocation-account "SB <30>_119" (time "2020-02-01T00:00:00Z") "SB <30>" 1066.67)
(coin.create-allocation-account "SB <29>_118" (time "2020-02-01T00:00:00Z") "SB <29>" 53333.33)
(coin.create-allocation-account "SB <28>_117" (time "2020-02-01T00:00:00Z") "SB <28>" 4800.0)
(coin.create-allocation-account "SB <27>_116" (time "2020-02-01T00:00:00Z") "SB <27>" 108666.67)
(coin.create-allocation-account "SB <26>_115" (time "2020-02-01T00:00:00Z") "SB <26>" 16832.0)
(coin.create-allocation-account "SB <25>_114" (time "2020-02-01T00:00:00Z") "SB <25>" 10666.67)
(coin.create-allocation-account "SB <24>_113" (time "2020-02-01T00:00:00Z") "SB <24>" 2180.66)
(coin.create-allocation-account "SB <23>_112" (time "2020-02-01T00:00:00Z") "SB <23>" 2666.67)
(coin.create-allocation-account "SB <22>_111" (time "2020-02-01T00:00:00Z") "SB <22>" 10666.67)
(coin.create-allocation-account "SB <21>_110" (time "2020-02-01T00:00:00Z") "SB <21>" 10491.95)
(coin.create-allocation-account "SB <20>_109" (time "2020-02-01T00:00:00Z") "SB <20>" 30880.0)
(coin.create-allocation-account "SB <19>_108" (time "2020-02-01T00:00:00Z") "SB <19>" 53333.33)
(coin.create-allocation-account "SB <18>_107" (time "2020-02-01T00:00:00Z") "SB <18>" 26666.67)
(coin.create-allocation-account "SB <17>_106" (time "2020-02-01T00:00:00Z") "SB <17>" 21333.33)
(coin.create-allocation-account "SB <16>_105" (time "2020-02-01T00:00:00Z") "SB <16>" 26666.67)
(coin.create-allocation-account "SB <15>_104" (time "2020-02-01T00:00:00Z") "SB <15>" 10666.67)
(coin.create-allocation-account "SB <14>_103" (time "2020-02-01T00:00:00Z") "SB <14>" 16000.0)
(coin.create-allocation-account "SB <13>_102" (time "2020-02-01T00:00:00Z") "SB <13>" 28288.88)
(coin.create-allocation-account "SB <12>_101" (time "2020-02-01T00:00:00Z") "SB <12>" 8267.36)
(coin.create-allocation-account "SB <11>_100" (time "2020-02-01T00:00:00Z") "SB <11>" 28844.46)
(coin.create-allocation-account "SB <10>_99" (time "2020-02-01T00:00:00Z") "SB <10>" 105450.6)
(coin.create-allocation-account "SB <9>_98" (time "2020-02-01T00:00:00Z") "SB <9>" 32030.72)
(coin.create-allocation-account "SB <8>_97" (time "2020-02-01T00:00:00Z") "SB <8>" 97902.93)
(coin.create-allocation-account "SB <7>_96" (time "2020-02-01T00:00:00Z") "SB <7>" 2890.67)
(coin.create-allocation-account "SB <6>_95" (time "2020-02-01T00:00:00Z") "SB <6>" 5333.33)
(coin.create-allocation-account "SB <5>_94" (time "2020-02-01T00:00:00Z") "SB <5>" 53333.33)
(coin.create-allocation-account "SB <4>_93" (time "2020-02-01T00:00:00Z") "SB <4>" 106666.67)
(coin.create-allocation-account "SB <3>_92" (time "2020-02-01T00:00:00Z") "SB <3>" 10666.67)
(coin.create-allocation-account "SB <2>_91" (time "2020-02-01T00:00:00Z") "SB <2>" 3200.0)
(coin.create-allocation-account "SB <1>_90" (time "2020-02-01T00:00:00Z") "SB <1>" 5333.33)
(coin.create-allocation-account "SA <20>_89" (time "2020-02-01T00:00:00Z") "SA <20>" 16000.0)
(coin.create-allocation-account "SA <19>_88" (time "2020-02-01T00:00:00Z") "SA <19>" 6400.0)
(coin.create-allocation-account "SA <18>_87" (time "2020-02-01T00:00:00Z") "SA <18>" 8000.0)
(coin.create-allocation-account "SA <17>_86" (time "2020-02-01T00:00:00Z") "SA <17>" 4000.0)
(coin.create-allocation-account "SA <16>_85" (time "2020-02-01T00:00:00Z") "SA <16>" 4000.0)
(coin.create-allocation-account "SA <15> _84" (time "2020-02-01T00:00:00Z") "SA <15>" 1600.0)
(coin.create-allocation-account "SA <14>_83" (time "2020-02-01T00:00:00Z") "SA <14>" 8000.0)
(coin.create-allocation-account "SA <13>_82" (time "2020-02-01T00:00:00Z") "SA <13>" 80000.0)
(coin.create-allocation-account "SA <12>_81" (time "2020-02-01T00:00:00Z") "SA <12>" 4000.0)
(coin.create-allocation-account "SA <11>_80" (time "2020-02-01T00:00:00Z") "SA <11>" 4000.0)
(coin.create-allocation-account "SA <10>_79" (time "2020-02-01T00:00:00Z") "SA <10>" 4000.0)
(coin.create-allocation-account "SA <9>_78" (time "2020-02-01T00:00:00Z") "SA <9>" 8000.0)
(coin.create-allocation-account "SA <8>_77" (time "2020-02-01T00:00:00Z") "SA <8>" 4000.0)
(coin.create-allocation-account "SA <7>_76" (time "2020-02-01T00:00:00Z") "SA <7>" 3200.0)
(coin.create-allocation-account "SA <6>_75" (time "2020-02-01T00:00:00Z") "SA <6>" 4000.0)
(coin.create-allocation-account "SA <5>_74" (time "2020-02-01T00:00:00Z") "SA <5>" 16000.0)
(coin.create-allocation-account "SA <4>_73" (time "2020-02-01T00:00:00Z") "SA <4>" 8000.0)
(coin.create-allocation-account "SA <3>_72" (time "2020-02-01T00:00:00Z") "SA <3>" 800.0)
(coin.create-allocation-account "SA <2>_71" (time "2020-02-01T00:00:00Z") "SA <2>" 160000.0)
(coin.create-allocation-account "SA <1>_70" (time "2020-02-01T00:00:00Z") "SA <1>" 16000.0)
(coin.create-allocation-account "CS2_C0_68" (time "2020-01-01T00:00:00Z") "CS2_C0" 5000000.0)
(coin.create-allocation-account "SB <46>_67" (time "2020-01-01T00:00:00Z") "SB <46>" 45595.9)
(coin.create-allocation-account "SB <45>_66" (time "2020-01-01T00:00:00Z") "SB <45>" 44640.0)
(coin.create-allocation-account "SB <44>_65" (time "2020-01-01T00:00:00Z") "SB <44>" 74666.67)
(coin.create-allocation-account "SB <43>_64" (time "2020-01-01T00:00:00Z") "SB <43>" 26666.67)
(coin.create-allocation-account "SB <42>_63" (time "2020-01-01T00:00:00Z") "SB <42>" 53333.33)
(coin.create-allocation-account "SB <41>_62" (time "2020-01-01T00:00:00Z") "SB <41>" 48000.0)
(coin.create-allocation-account "SB <40>_61" (time "2020-01-01T00:00:00Z") "SB <40>" 53760.0)
(coin.create-allocation-account "SB <39>_60" (time "2020-01-01T00:00:00Z") "SB <39>" 8533.33)
(coin.create-allocation-account "SB <38>_59" (time "2020-01-01T00:00:00Z") "SB <38>" 16000.0)
(coin.create-allocation-account "SB <37>_58" (time "2020-01-01T00:00:00Z") "SB <37>" 2666.67)
(coin.create-allocation-account "SB <36>_57" (time "2020-01-01T00:00:00Z") "SB <36>" 5642.99)
(coin.create-allocation-account "SB <35>_56" (time "2020-01-01T00:00:00Z") "SB <35>" 50613.72)
(coin.create-allocation-account "SB <34>_55" (time "2020-01-01T00:00:00Z") "SB <34>" 10666.67)
(coin.create-allocation-account "SB <33>_54" (time "2020-01-01T00:00:00Z") "SB <33>" 10666.67)
(coin.create-allocation-account "SB <32>_53" (time "2020-01-01T00:00:00Z") "SB <32>" 10666.67)
(coin.create-allocation-account "SB <31>_52" (time "2020-01-01T00:00:00Z") "SB <31>" 16000.0)
(coin.create-allocation-account "SB <30>_51" (time "2020-01-01T00:00:00Z") "SB <30>" 1066.67)
(coin.create-allocation-account "SB <29>_50" (time "2020-01-01T00:00:00Z") "SB <29>" 53333.33)
(coin.create-allocation-account "SB <28>_49" (time "2020-01-01T00:00:00Z") "SB <28>" 4800.0)
(coin.create-allocation-account "SB <27>_48" (time "2020-01-01T00:00:00Z") "SB <27>" 108666.67)
(coin.create-allocation-account "SB <26>_47" (time "2020-01-01T00:00:00Z") "SB <26>" 16832.0)
(coin.create-allocation-account "SB <25>_46" (time "2020-01-01T00:00:00Z") "SB <25>" 10666.67)
(coin.create-allocation-account "SB <24>_45" (time "2020-01-01T00:00:00Z") "SB <24>" 2180.66)
(coin.create-allocation-account "SB <23>_44" (time "2020-01-01T00:00:00Z") "SB <23>" 2666.67)
(coin.create-allocation-account "SB <22>_43" (time "2020-01-01T00:00:00Z") "SB <22>" 10666.67)
(coin.create-allocation-account "SB <21>_42" (time "2020-01-01T00:00:00Z") "SB <21>" 10491.95)
(coin.create-allocation-account "SB <20>_41" (time "2020-01-01T00:00:00Z") "SB <20>" 30880.0)
(coin.create-allocation-account "SB <19>_40" (time "2020-01-01T00:00:00Z") "SB <19>" 53333.33)
(coin.create-allocation-account "SB <18>_39" (time "2020-01-01T00:00:00Z") "SB <18>" 26666.67)
(coin.create-allocation-account "SB <17>_38" (time "2020-01-01T00:00:00Z") "SB <17>" 21333.33)
(coin.create-allocation-account "SB <16>_37" (time "2020-01-01T00:00:00Z") "SB <16>" 26666.67)
(coin.create-allocation-account "SB <15>_36" (time "2020-01-01T00:00:00Z") "SB <15>" 10666.67)
(coin.create-allocation-account "SB <14>_35" (time "2020-01-01T00:00:00Z") "SB <14>" 16000.0)
(coin.create-allocation-account "SB <13>_34" (time "2020-01-01T00:00:00Z") "SB <13>" 28288.88)
(coin.create-allocation-account "SB <12>_33" (time "2020-01-01T00:00:00Z") "SB <12>" 8267.36)
(coin.create-allocation-account "SB <11>_32" (time "2020-01-01T00:00:00Z") "SB <11>" 28844.46)
(coin.create-allocation-account "SB <10>_31" (time "2020-01-01T00:00:00Z") "SB <10>" 105450.6)
(coin.create-allocation-account "SB <9>_30" (time "2020-01-01T00:00:00Z") "SB <9>" 32030.72)
(coin.create-allocation-account "SB <8>_29" (time "2020-01-01T00:00:00Z") "SB <8>" 97902.93)
(coin.create-allocation-account "SB <7>_28" (time "2020-01-01T00:00:00Z") "SB <7>" 2890.67)
(coin.create-allocation-account "SB <6>_27" (time "2020-01-01T00:00:00Z") "SB <6>" 5333.33)
(coin.create-allocation-account "SB <5>_26" (time "2020-01-01T00:00:00Z") "SB <5>" 53333.33)
(coin.create-allocation-account "SB <4>_25" (time "2020-01-01T00:00:00Z") "SB <4>" 106666.67)
(coin.create-allocation-account "SB <3>_24" (time "2020-01-01T00:00:00Z") "SB <3>" 10666.67)
(coin.create-allocation-account "SB <2>_23" (time "2020-01-01T00:00:00Z") "SB <2>" 3200.0)
(coin.create-allocation-account "SB <1>_22" (time "2020-01-01T00:00:00Z") "SB <1>" 5333.33)
(coin.create-allocation-account "SA <20>_21" (time "2020-01-01T00:00:00Z") "SA <20>" 16000.0)
(coin.create-allocation-account "SA <19>_20" (time "2020-01-01T00:00:00Z") "SA <19>" 6400.0)
(coin.create-allocation-account "SA <18>_19" (time "2020-01-01T00:00:00Z") "SA <18>" 8000.0)
(coin.create-allocation-account "SA <17>_18" (time "2020-01-01T00:00:00Z") "SA <17>" 4000.0)
(coin.create-allocation-account "SA <16>_17" (time "2020-01-01T00:00:00Z") "SA <16>" 4000.0)
(coin.create-allocation-account "SA <15> _16" (time "2020-01-01T00:00:00Z") "SA <15>" 1600.0)
(coin.create-allocation-account "SA <14>_15" (time "2020-01-01T00:00:00Z") "SA <14>" 8000.0)
(coin.create-allocation-account "SA <13>_14" (time "2020-01-01T00:00:00Z") "SA <13>" 80000.0)
(coin.create-allocation-account "SA <12>_13" (time "2020-01-01T00:00:00Z") "SA <12>" 4000.0)
(coin.create-allocation-account "SA <11>_12" (time "2020-01-01T00:00:00Z") "SA <11>" 4000.0)
(coin.create-allocation-account "SA <10>_11" (time "2020-01-01T00:00:00Z") "SA <10>" 4000.0)
(coin.create-allocation-account "SA <9>_10" (time "2020-01-01T00:00:00Z") "SA <9>" 8000.0)
(coin.create-allocation-account "SA <8>_9" (time "2020-01-01T00:00:00Z") "SA <8>" 4000.0)
(coin.create-allocation-account "SA <7>_8" (time "2020-01-01T00:00:00Z") "SA <7>" 3200.0)
(coin.create-allocation-account "SA <6>_7" (time "2020-01-01T00:00:00Z") "SA <6>" 4000.0)
(coin.create-allocation-account "SA <5>_6" (time "2020-01-01T00:00:00Z") "SA <5>" 16000.0)
(coin.create-allocation-account "SA <4>_5" (time "2020-01-01T00:00:00Z") "SA <4>" 8000.0)
(coin.create-allocation-account "SA <3>_4" (time "2020-01-01T00:00:00Z") "SA <3>" 800.0)
(coin.create-allocation-account "SA <2>_3" (time "2020-01-01T00:00:00Z") "SA <2>" 160000.0)
(coin.create-allocation-account "SA <1>_2" (time "2020-01-01T00:00:00Z") "SA <1>" 16000.0)
(coin.create-allocation-account "CS2_C0_1" (time "2019-12-01T00:00:00Z") "CS2_C0" 5000000.0)
