Contract con_liq_mining_mob


Contract Code


  
1 # Imports
2
3 # Reward Token
4 import con_mintorburn
5
6 # AMM Contract
7 import con_rocketswap_official_v1_1
8
9 # Setup Tokens
10
11 DEX = con_rocketswap_official_v1_1
12 LIQUIDITY_TOKEN = "con_mintorburn" # TAU/RSWP Pair
13 YIELD_TOKEN = con_mintorburn
14
15 # State
16
17 Owner = Variable()
18 DevRewardWallet = Variable()
19 EmissionRatePerHour = Variable()
20 DevRewardPct = Variable()
21 StartTime = Variable()
22 EndTime = Variable()
23 OpenForBusiness = Variable() # If false, users will be unable to join the pool
24
25 Deposits = Hash(default_value=False)
26 Withdrawals = Hash(default_value=0)
27 CurrentEpochIndex = Variable()
28 Epochs = Hash(default_value=False)
29 StakedBalance = Variable() # The total amount of farming token in the vault.
30 WithdrawnBalance = Variable()
31 EpochMinTime = Variable() # The minimum amount of seconds in Epoch
32 EpochMaxRatioIncrease = (
33 Variable()
34 ) # The maximum ratio which the Epoch can increase by since last Epoch before incrementing.
35 meta = Hash(default_value=False)
36 decimal_converter_var = Variable()
37 TrustedImporters = Variable()
38
39 # Vtoken
40 balances = Hash(default_value=0)
41
42
43 @construct
44 def seed():
45 Owner.set(ctx.caller)
46 DevRewardWallet.set("ff61544ea94eaaeb5df08ed863c4a938e9129aba6ceee5f31b6681bdede11b89")
47 CurrentEpochIndex.set(0)
48 StakedBalance.set(0)
49 WithdrawnBalance.set(0)
50 EpochMaxRatioIncrease.set(10)
51 EpochMinTime.set(86400)
52 TrustedImporters.set([])
53
54 Epochs[0] = {"time": now, "staked": 0, "amt_per_hr": 158730}
55
56 meta["version"] = "0.4"
57 meta["type"] = "liquidity_mining_smart_epoch" # staking || lp_farming
58 meta["STAKING_TOKEN"] = "con_mintorburn"
59 meta["YIELD_TOKEN"] = "con_mintorburn"
60
61 EmissionRatePerHour.set(158730) # 1200000 RSWP per year = 10% of supply
62 DevRewardPct.set(1/10)
63
64 # The datetime from which you want to allow staking.
65 StartTime.set(datetime.datetime(year=2021, month=11, day=16, hour=13))
66 # The datetime at which you want staking to finish.
67 EndTime.set(datetime.datetime(year=2022, month=6, day=16, hour=13))
68
69 OpenForBusiness.set(True)
70
71
72 @export
73 def addStakingTokens(amount: float):
74 user = ctx.caller
75 deposit = Deposits[user]
76
77 if deposit is False:
78 return createNewDeposit(amount=amount, user_ctx="caller")
79 else:
80 return increaseDeposit(amount=amount, user_ctx="caller")
81
82
83 def createNewDeposit(
84 amount: float, user_ctx: str
85 ): # user_ctx will either be "caller" or "signer"
86 assert OpenForBusiness.get() == True, "This staking pool is not open right now."
87 assert amount > 0, "You must stake something."
88
89 user = ctx.caller
90
91 # Take the staking tokens from the user's wallet
92 DEX.transfer_liquidity_from(
93 contract=LIQUIDITY_TOKEN, to=ctx.this, main_account=user, amount=amount
94 )
95
96 # Update the Staked amount
97 staked = StakedBalance.get()
98 new_staked_amount = staked + amount
99 StakedBalance.set(new_staked_amount)
100
101 # Update the Epoch
102 epoch_index = decideIncrementEpoch(new_staked_amount=new_staked_amount)
103
104 # Create a record of the user's deposit
105
106 Deposits[user] = {
107 "starting_epoch": epoch_index,
108 "time": now,
109 "amount": amount,
110 "user_yield": 0,
111 }
112
113 # mint vtoken equal to the deposit.
114 mintVToken(amount=amount)
115 return Deposits[user]
116
117
118 @export
119 def increaseDeposit(
120 amount: float, user_ctx: str
121 ): # user_ctx will either be "caller" or "signer"
122
123 user = ctx.caller if user_ctx is "caller" else ctx.caller
124 assert OpenForBusiness.get() == True, "This staking pool is not open right now."
125 assert amount > 0, "You cannot stake a negative balance."
126
127 deposit = Deposits[user]
128
129 assert deposit is not False, "This user has no deposit to add to."
130
131 # Take the staking tokens from the user's wallet
132 DEX.transfer_liquidity_from(
133 contract=LIQUIDITY_TOKEN, to=ctx.this, main_account=user, amount=amount
134 )
135
136 withdrawn_yield = Withdrawals[user]
137 user_yield = deposit["user_yield"]
138 existing_stake = deposit["amount"]
139 start_time = False
140
141 user_yield += calculateYield(deposit=deposit)
142 start_time = deposit["time"]
143 existing_stake = deposit["amount"]
144
145 total_deposit_amount = existing_stake + amount
146 global_amount_staked = StakedBalance.get()
147 new_global_staked = global_amount_staked + amount
148 StakedBalance.set(new_global_staked)
149
150 mintVToken(amount=amount)
151
152 Deposits[user] = {
153 "starting_epoch": decideIncrementEpoch(new_staked_amount=new_global_staked),
154 "time": now,
155 "amount": total_deposit_amount,
156 "user_yield": user_yield,
157 }
158
159 return Deposits[user]
160
161
162 @export
163 def withdrawYield(amount: float):
164 assert amount > 0, "You cannot harvest a negative balance"
165
166 user = ctx.caller
167 deposit = Deposits[user]
168
169 assert deposit is not False, "You have no deposit to withdraw yield from."
170
171 # Calculate how much yield is due per deposit account
172 withdrawn_yield = Withdrawals[user]
173 harvestable_yield = deposit["user_yield"]
174
175 harvestable_yield += calculateYield(deposit=deposit)
176
177 # Determine maximum amount of yield user can withdraw
178 harvestable_yield -= withdrawn_yield
179
180 yield_to_harvest = amount if amount < harvestable_yield else harvestable_yield
181
182 assert yield_to_harvest > 0, "There is no yield to harvest right now :("
183
184 # Take % of Yield Tokens, send it to dev fund
185 dev_share = yield_to_harvest * DevRewardPct.get()
186
187 if dev_share > 0:
188 YIELD_TOKEN.transfer(to=DevRewardWallet.get(), amount=dev_share)
189 # DEX.transfer_liquidity(contract=LIQUIDITY_TOKEN, to=user, amount=amount)
190
191 # Send remanding Yield Tokens to user
192 user_share = yield_to_harvest - dev_share
193 YIELD_TOKEN.transfer(to=user, amount=user_share)
194
195 Withdrawals[user] = withdrawn_yield + yield_to_harvest
196
197 new_withdrawn_amount = WithdrawnBalance.get() + yield_to_harvest
198 WithdrawnBalance.set(new_withdrawn_amount)
199
200
201 @export
202 def withdrawTokensAndYield():
203 user = ctx.caller
204 deposit = Deposits[user]
205
206 assert deposit is not False, "You have no deposit to withdraw"
207
208 # Calculate how much yield is due per deposit account
209 withdrawn_yield = Withdrawals[user]
210 stake_to_return = deposit["amount"]
211 yield_to_harvest = deposit["user_yield"]
212
213 yield_to_harvest += calculateYield(deposit=deposit)
214
215 # Send Staking Tokens to user
216 DEX.transfer_liquidity(contract=LIQUIDITY_TOKEN, to=user, amount=stake_to_return)
217
218 # check that the user has yield left to harvest (this should never be negative, but let's check here just in case)
219 yield_to_harvest -= withdrawn_yield
220 if yield_to_harvest > 0:
221
222 # Take % of Yield Tokens, send it to dev fund
223 dev_share = yield_to_harvest * DevRewardPct.get()
224 if dev_share > 0:
225 YIELD_TOKEN.transfer(to=DevRewardWallet.get(), amount=dev_share)
226
227 # Send remanding Yield Tokens to user
228 user_share = yield_to_harvest - dev_share
229 YIELD_TOKEN.transfer(to=user, amount=user_share)
230
231 # Reset User's Deposits
232 Deposits[user] = False
233
234 # Reset User's Withdrawal
235 Withdrawals[user] = 0
236
237 # Remove token amount from Staked
238 new_staked_amount = StakedBalance.get() - stake_to_return
239 returnAndBurnVToken(amount=stake_to_return)
240 StakedBalance.set(new_staked_amount)
241 new_withdrawn_amount = WithdrawnBalance.get() + yield_to_harvest
242 WithdrawnBalance.set(new_withdrawn_amount)
243
244 # Increment Epoch
245 decideIncrementEpoch(new_staked_amount=new_staked_amount)
246
247
248 # This runs over each of the items in the user's Deposit
249 def calculateYield(deposit):
250 starting_epoch_index = deposit.get("starting_epoch")
251 start_time = deposit.get("time")
252 amount = deposit.get("amount")
253
254 current_epoch_index = getCurrentEpochIndex()
255 this_epoch_index = starting_epoch_index
256 y = 0
257 while this_epoch_index <= current_epoch_index:
258 this_epoch = Epochs[this_epoch_index]
259 next_epoch = Epochs[this_epoch_index + 1]
260
261 delta = 0
262
263 if starting_epoch_index == current_epoch_index:
264 delta = fitTimeToRange(now) - fitTimeToRange(start_time)
265 elif this_epoch_index == starting_epoch_index:
266 delta = fitTimeToRange(next_epoch["time"]) - fitTimeToRange(start_time)
267 elif this_epoch_index == current_epoch_index:
268 delta = fitTimeToRange(now) - fitTimeToRange(this_epoch["time"])
269 else:
270 delta = fitTimeToRange(next_epoch["time"]) - fitTimeToRange(
271 this_epoch["time"]
272 )
273
274 pct_share_of_stake = 0
275 if amount is not 0 and this_epoch["staked"] is not 0:
276 pct_share_of_stake = amount / this_epoch["staked"]
277
278 # These two lines below were causing some problems, until I used the decimal method. get a python expert to review.
279 emission_rate_per_hour = this_epoch["amt_per_hr"]
280 global_yield_this_epoch = delta.seconds * getEmissionRatePerSecond(
281 emission_rate_per_hour
282 )
283 decimal_converter_var.set(pct_share_of_stake)
284 pct_share_of_stake = decimal_converter_var.get()
285 deposit_yield_this_epoch = global_yield_this_epoch * pct_share_of_stake
286 y += deposit_yield_this_epoch
287
288 this_epoch_index += 1
289
290 return y
291
292
293 def fitTimeToRange(time: Any):
294 if time < StartTime.get():
295 time = StartTime.get()
296 elif time > EndTime.get():
297 time = EndTime.get()
298 return time
299
300
301 def getCurrentEpochIndex():
302 current_epoch_index = CurrentEpochIndex.get()
303 return current_epoch_index
304
305
306 def decideIncrementEpoch(new_staked_amount: float):
307 epoch_index = getCurrentEpochIndex()
308 this_epoch = Epochs[epoch_index]
309 this_epoch_staked = this_epoch["staked"]
310 delta = now - this_epoch["time"]
311 delta_seconds = delta.seconds if delta.seconds > 0 else 0
312 if (
313 delta_seconds >= EpochMinTime.get()
314 or this_epoch_staked is 0
315 or maxStakedChangeRatioExceeded(
316 new_staked_amount=new_staked_amount, this_epoch_staked=this_epoch_staked
317 )
318 ):
319 epoch_index = incrementEpoch(new_staked_amount)
320 return epoch_index
321
322
323 def maxStakedChangeRatioExceeded(new_staked_amount: float, this_epoch_staked: float):
324 if this_epoch_staked < 0.0001 :
325 return true
326 smaller = (
327 new_staked_amount
328 if new_staked_amount <= this_epoch_staked
329 else this_epoch_staked
330 )
331 bigger = (
332 new_staked_amount
333 if new_staked_amount >= this_epoch_staked
334 else this_epoch_staked
335 )
336 dif = bigger - smaller
337 return (dif) / this_epoch_staked >= EpochMaxRatioIncrease.get()
338
339
340 def incrementEpoch(new_staked_amount: float):
341 current_epoch = getCurrentEpochIndex()
342 new_epoch_idx = current_epoch + 1
343 CurrentEpochIndex.set(new_epoch_idx)
344 Epochs[new_epoch_idx] = {
345 "time": now,
346 "staked": new_staked_amount,
347 "amt_per_hr": Epochs[current_epoch]["amt_per_hr"],
348 }
349 return new_epoch_idx
350
351
352 @export
353 def changeAmountPerHour(amount_per_hour: float):
354 assertOwner()
355 current_epoch = getCurrentEpochIndex()
356 new_epoch_idx = current_epoch + 1
357 CurrentEpochIndex.set(new_epoch_idx)
358 setEmissionRatePerHour(amount=amount_per_hour)
359
360 Epochs[new_epoch_idx] = {
361 "time": now,
362 "staked": StakedBalance.get(),
363 "amt_per_hr": amount_per_hour,
364 }
365
366
367 @export
368 def setEpochMinTime(min_seconds: float):
369 assertOwner()
370 assert min_seconds >= 0, "you must choose a positive value."
371 EpochMinTime.set(min_seconds)
372
373
374 @export
375 def setEpochMaxRatioIncrease(ratio: float):
376 assertOwner()
377 assert ratio > 0, "must be a positive value"
378 EpochMaxRatioIncrease.set(ratio)
379
380
381 def getEmissionRatePerSecond(emission_rate_per_hour: float):
382 emission_rate_per_minute = emission_rate_per_hour / 60
383 emission_rate_per_second = emission_rate_per_minute / 60
384 return emission_rate_per_second
385
386
387 @export
388 def setOwner(vk: str):
389 assertOwner()
390 Owner.set(vk)
391
392
393 @export
394 def setDevWallet(vk: str):
395 assertOwner()
396 DevRewardWallet.set(vk)
397
398
399 @export
400 def setDevRewardPct(amount: float):
401 assertOwner()
402 assert amount < 1 and amount >= 0, "Amount must be a value between 0 and 1"
403 DevRewardPct.set(amount)
404
405
406 @export
407 def setEmissionRatePerHour(amount: float):
408 assertOwner()
409 EmissionRatePerHour.set(amount)
410
411
412 @export
413 def recoverYieldToken(amount: float):
414 assertOwner()
415 YIELD_TOKEN.transfer(amount=amount, to=Owner.get())
416
417
418 @export
419 def allowStaking(is_open: bool):
420 assertOwner()
421 OpenForBusiness.set(is_open)
422
423
424 @export
425 def setStartTime(year: int, month: int, day: int, hour: int):
426 assertOwner()
427 time = datetime.datetime(year, month, day, hour)
428 StartTime.set(time)
429
430
431 @export
432 def setEndTime(year: int, month: int, day: int, hour: int):
433 assertOwner()
434 time = datetime.datetime(year, month, day, hour)
435 EndTime.set(time)
436
437
438 def assertOwner():
439 assert Owner.get() == ctx.caller, "You must be the owner to call this function."
440
441
442 # This is only to be called in emergencies - the user will forgo their yield when calling this FN.
443
444
445 @export
446 def emergencyReturnStake():
447
448 user = ctx.caller
449 deposit = Deposits[user]
450
451 assert Deposits[user] is not False, "This account has no deposits to return."
452
453 stake_to_return = deposit["amount"]
454
455 DEX.transfer_liquidity(contract=LIQUIDITY_TOKEN, to=user, amount=stake_to_return)
456 returnAndBurnVToken(amount=stake_to_return)
457 Deposits[user] = False
458 Withdrawals[user] = 0
459
460 # Remove token amount from Staked
461 new_staked_amount = StakedBalance.get() - stake_to_return
462 StakedBalance.set(new_staked_amount)
463
464
465 @export
466 def exportYieldToForeignContract():
467 # TrustedImporters = Variable() #
468 calling_contract = ctx.caller
469 user = ctx.signer
470 withdrawn_yield = Withdrawals[user]
471
472 # verify that the contract is calling it is trusted.
473 assert (
474 calling_contract in TrustedImporters.get()
475 ), "The calling contract is not in the trusted list ! :("
476
477 transferred = sendYieldToTarget(
478 amount=999999999999,
479 target=calling_contract,
480 user=user, # big number - transfers all yield.
481 )
482 return transferred
483
484
485 def sendYieldToTarget(amount: float, target: str, user: str):
486
487 deposit = Deposits[user]
488 assert deposit is not False, "You have no deposit to withdraw yield from."
489
490 # Calculate how much yield is due per deposit account
491 withdrawn_yield = Withdrawals[user]
492 harvestable_yield = 0
493
494 harvestable_yield += calculateYield(deposit=deposit)
495
496 # Determine maximum amount of yield user can withdraw
497 harvestable_yield -= withdrawn_yield
498
499 yield_to_harvest = amount if amount < harvestable_yield else harvestable_yield
500
501 assert yield_to_harvest > 0, "There is no yield to harvest right now :("
502
503 # Take % of Yield Tokens, send it to dev fund
504 dev_share = yield_to_harvest * DevRewardPct.get()
505
506 if dev_share > 0:
507 YIELD_TOKEN.transfer(to=DevRewardWallet.get(), amount=dev_share)
508
509 # Send remanding Yield Tokens to user
510 user_share = yield_to_harvest - dev_share
511 YIELD_TOKEN.transfer(to=target, amount=user_share)
512
513 Withdrawals[user] = withdrawn_yield + yield_to_harvest
514
515 new_withdrawn_amount = WithdrawnBalance.get() + yield_to_harvest
516 WithdrawnBalance.set(new_withdrawn_amount)
517
518 return user_share
519
520
521 @export
522 def addToTrustedImporters(contract: str):
523 assertOwner()
524 trusted_importers = TrustedImporters.get()
525 trusted_importers.append(contract)
526 TrustedImporters.set(trusted_importers)
527
528
529 @export
530 def removeFromTrustedImporters(contract: str):
531 assertOwner()
532 trusted_importers = TrustedImporters.get()
533 trusted_importers.remove(contract)
534 TrustedImporters.set(trusted_importers)
535
536
537 # VTOKEN METHODS
538 @export
539 def transfer(amount: float, to: str):
540 assert amount > 0, "Cannot send negative balances!"
541 assert balances[ctx.caller] >= amount, "Not enough VTOKENS to send!"
542 balances[ctx.caller] -= amount
543 balances[to] += amount
544
545
546 @export
547 def approve(amount: float, to: str):
548 assert amount > 0, "Cannot send negative balances!"
549 balances[ctx.caller, to] += amount
550
551
552 @export
553 def transfer_from(amount: float, to: str, main_account: str):
554 assert amount > 0, "Cannot send negative balances!"
555
556 assert (
557 balances[main_account, ctx.caller] >= amount
558 ), "Not enough coins approved to send! You have {} and are trying to spend {}".format(
559 balances[main_account, ctx.caller], amount
560 )
561 assert balances[main_account] >= amount, "Not enough coins to send!"
562 balances[main_account, ctx.caller] -= amount
563 balances[main_account] -= amount
564 balances[to] += amount
565
566
567 def returnAndBurnVToken(amount: float):
568 user = ctx.caller
569 this = ctx.this
570 assert (
571 balances[user] >= amount
572 ), "Your VTOKEN balance is too low to unstake, recover your VTOKENS and try again."
573 balances[user] -= amount
574
575
576 def mintVToken(amount: float):
577 user = ctx.signer
578 balances[user] += amount

Byte Code

e30000000000000000000000000600000040000000739c030000640064016c005a00640064016c015a0165015a0264025a0365005a0465056403640464058d025a0665056403640664058d025a0765056403640764058d025a0865056403640864058d025a0965056403640964058d025a0a65056403640a64058d025a0b65056403640b64058d025a0c650d640c6403640d640e8d035a0e650d64006403640f640e8d035a0f65056403641064058d025a10650d640c64036411640e8d035a1165056403641264058d025a1265056403641364058d025a1365056403641464058d025a1465056403641564058d025a15650d640c64036416640e8d035a1665056403641764058d025a1765056403641864058d025a18650d640064036419640e8d035a19641a641b84005a1a651b64038301651c641c9c01641d641e840483015a1d651c651e641f9c026420642184045a1f651b64038301651c651e641f9c0264226423840483015a20651b64038301651c641c9c0164246425840483015a21651b6403830164266427840083015a226428642984005a236524642a9c01642b642c84045a25642d642e84005a26651c642f9c016430643184045a27651c651c64329c026433643484045a28651c642f9c016435643684045a29651b64038301651c64379c0164386439840483015a2a651b64038301651c643a9c01643b643c840483015a2b651b64038301651c643d9c01643e643f840483015a2c651c64409c016441644284045a2d651b64038301651e64439c0164446445840483015a2e651b64038301651e64439c0164466447840483015a2f651b64038301651c641c9c0164486449840483015a30651b64038301651c641c9c01644a644b840483015a31651b64038301651c641c9c01644c644d840483015a32651b640383016533644e9c01644f6450840483015a34651b64038301653565356535653564519c0464526453840483015a36651b64038301653565356535653564519c0464546455840483015a376456645784005a38651b6403830164586459840083015a39651b64038301645a645b840083015a3a651c651e651e645c9c03645d645e84045a3b651b64038301651e645f9c0164606461840483015a3c651b64038301651e645f9c0164626463840483015a3d651b64038301651c651e64649c0264656466840483015a3e651b64038301651c651e64649c0264676468840483015a3f651b64038301651c651e651e64699c03646a646b840483015a40651c641c9c01646c646d84045a41651c641c9c01646e646f84045a42640153002970e9000000004eda0e636f6e5f6d696e746f726275726eda12636f6e5f6c69715f6d696e696e675f6d6f62da054f776e65722902da08636f6e7472616374da046e616d65da0f44657652657761726457616c6c6574da13456d697373696f6e52617465506572486f7572da0c446576526577617264506374da09537461727454696d65da07456e6454696d65da0f4f70656e466f72427573696e65737346da084465706f736974732903da0d64656661756c745f76616c756572050000007206000000da0b5769746864726177616c73da1143757272656e7445706f6368496e646578da0645706f636873da0d5374616b656442616c616e6365da1057697468647261776e42616c616e6365da0c45706f63684d696e54696d65da1545706f63684d6178526174696f496e637265617365da046d657461da15646563696d616c5f636f6e7665727465725f766172da1054727573746564496d706f7274657273da0862616c616e63657363000000000000000000000000070000004300000073d400000074006a0174026a038301010074046a0164018301010074056a0164028301010074066a0164028301010074076a0164028301010074086a0164038301010074096a01640483010100740a6a01670083010100740b6402640564069c03740c64023c006407740d64083c006409740d640a3c00640b740d640c3c00640b740d640d3c00740e6a01640583010100740f6a0164178301010074106a0174116a11640f64106411641264138d048301010074126a0174116a11641464156411641264138d048301010074136a016416830101006400530029184eda40666636313534346561393465616165623564663038656438363363346139333865393132396162613663656565356633316236363831626465646531316238397201000000e90a0000006980510100690a6c02002903da0474696d65da067374616b6564da0a616d745f7065725f68727a03302e34da0776657273696f6eda1c6c69717569646974795f6d696e696e675f736d6172745f65706f6368da04747970657202000000da0d5354414b494e475f544f4b454eda0b5949454c445f544f4b454ee90100000069e5070000e90b000000e910000000e90d0000002904da0479656172da056d6f6e7468da03646179da04686f757269e6070000e90600000054679a9999999999b93f2914da075f5f4f776e6572da03736574da03637478da0663616c6c6572da115f5f44657652657761726457616c6c6574da135f5f43757272656e7445706f6368496e646578da0f5f5f5374616b656442616c616e6365da125f5f57697468647261776e42616c616e6365da175f5f45706f63684d6178526174696f496e637265617365da0e5f5f45706f63684d696e54696d65da125f5f54727573746564496d706f7274657273da036e6f77da085f5f45706f636873da065f5f6d657461da155f5f456d697373696f6e52617465506572486f7572da0e5f5f446576526577617264506374da0b5f5f537461727454696d65da086461746574696d65da095f5f456e6454696d65da115f5f4f70656e466f72427573696e657373a90072410000007241000000da00da045f5f5f5f27000000732600000000010c01040106010a010a010a010a010a010a01100108010801080108010a010a011801180172430000002901da06616d6f756e74630100000000000000030000000400000043000000733200000074006a017d0174027c0119007d027c0264016b08722274037c00640264038d02530074047c00640264038d0253006400530029044e46723000000029027244000000da08757365725f6374782905722f0000007230000000da0a5f5f4465706f73697473da125f5f6372656174654e65774465706f736974da0f696e6372656173654465706f73697429037244000000da0475736572da076465706f736974724100000072410000007242000000da106164645374616b696e67546f6b656e733d000000730a00000000020601080108010c02724b000000290272440000007245000000630200000000000000060000000600000043000000738600000074006a01830064016b02731474026402830182017c0064036b047324740264048301820174036a047d0274056a06740774036a087c027c0064058d04010074096a0183007d037c037c0017007d0474096a0a7c0483010100740b7c0464068d017d057c05740c7c00640364079c04740d7c023c00740e7c0064088d010100740d7c021900530029094e547a2854686973207374616b696e6720706f6f6c206973206e6f74206f70656e207269676874206e6f772e72010000007a19596f75206d757374207374616b6520736f6d657468696e672e29047205000000da02746fda0c6d61696e5f6163636f756e7472440000002901da116e65775f7374616b65645f616d6f756e742904da0e7374617274696e675f65706f6368721c0000007244000000da0a757365725f7969656c6429017244000000290f7240000000da03676574da0e417373657274696f6e4572726f72722f0000007230000000da03444558da177472616e736665725f6c69717569646974795f66726f6dda0f4c49515549444954595f544f4b454eda04746869737233000000722e000000da165f5f646563696465496e6372656d656e7445706f636872380000007246000000da0c5f5f6d696e7456546f6b656e2906724400000072450000007249000000721d000000724e000000da0b65706f63685f696e646578724100000072410000007242000000724700000047000000731c000000000106010e01100106010a010a01080108010a010a0104010e010a0172470000006302000000000000000b000000060000004300000073ea0000007c0164016b08720e74006a016e0474006a017d0274026a03830064026b02732874046403830182017c0064046b047338740464058301820174057c0219007d037c0364066b097350740464078301820174066a07740874006a097c027c0064088d040100740a7c0219007d047c03640919007d057c03640a19007d0664067d077c05740b7c03640b8d0137007d057c03640c19007d077c03640a19007d067c067c0017007d08740c6a0383007d097c097c0017007d0a740c6a0d7c0a83010100740e7c00640d8d010100740f7c0a640e8d0174107c087c05640f9c0474057c023c0074057c021900530029104e7230000000547a2854686973207374616b696e6720706f6f6c206973206e6f74206f70656e207269676874206e6f772e72010000007a24596f752063616e6e6f74207374616b652061206e656761746976652062616c616e63652e467a2354686973207573657220686173206e6f206465706f73697420746f2061646420746f2e29047205000000724c000000724d0000007244000000725000000072440000002901724a000000721c000000290172440000002901724e0000002904724f000000721c000000724400000072500000002911722f000000723000000072400000007251000000725200000072460000007253000000725400000072550000007256000000da0d5f5f5769746864726177616c73da105f5f63616c63756c6174655969656c647233000000722e000000725800000072570000007238000000290b724400000072450000007249000000724a000000da0f77697468647261776e5f7969656c647250000000da0e6578697374696e675f7374616b65da0a73746172745f74696d65da14746f74616c5f6465706f7369745f616d6f756e74da14676c6f62616c5f616d6f756e745f7374616b6564da116e65775f676c6f62616c5f7374616b656472410000007241000000724200000072480000005800000073300000000002140106010e011001080110010a010a0108010801080104010e01080108010801080108010a010a01020108010e01724800000063010000000000000009000000040000004300000073d60000007c0064016b047310740064028301820174016a027d0174037c0119007d027c0264036b09732e740064048301820174047c0119007d037c02640519007d047c0474057c0264068d0137007d047c047c0338007d047c007c046b0072607c006e027c047d057c0564016b04737474006407830182017c0574066a07830014007d067c0664016b04729a74086a09740a6a0783007c0664088d0201007c057c0618007d0774086a097c017c0764088d0201007c037c05170074047c013c00740b6a0783007c0517007d08740b6a0c7c08830101006400530029094e72010000007a25596f752063616e6e6f7420686172766573742061206e656761746976652062616c616e6365467a2b596f752068617665206e6f206465706f73697420746f207769746864726177207969656c642066726f6d2e72500000002901724a0000007a295468657265206973206e6f207969656c6420746f2068617276657374207269676874206e6f77203a282902724c0000007244000000290d7252000000722f00000072300000007246000000725a000000725b000000723c00000072510000007223000000da087472616e7366657272310000007234000000722e000000290972440000007249000000724a000000725c000000da116861727665737461626c655f7969656c64da107969656c645f746f5f68617276657374da096465765f7368617265da0a757365725f7368617265da146e65775f77697468647261776e5f616d6f756e74724100000072410000007242000000da0d77697468647261775969656c6474000000732600000000021001060108011001080108010e0108010c01040110010c010801120108010e010c010c01726800000063000000000000000009000000050000004300000073f400000074006a017d0074027c0019007d017c0164016b09731e740364028301820174047c0019007d027c01640319007d037c01640419007d047c0474057c0164058d0137007d0474066a0774087c007c0364068d0301007c047c0238007d047c0464076b0472a07c0474096a0a830014007d057c0564076b04728a740b6a0c740d6a0a83007c0564088d0201007c047c0518007d06740b6a0c7c007c0664088d020100640174027c003c00640774047c003c00740e6a0a83007c0318007d07740f7c0364098d010100740e6a107c078301010074116a0a83007c0417007d0874116a107c088301010074127c07640a8d01010064005300290b4e467a1f596f752068617665206e6f206465706f73697420746f207769746864726177724400000072500000002901724a00000029037205000000724c000000724400000072010000002902724c0000007244000000290172440000002901724e0000002913722f000000723000000072460000007252000000725a000000725b0000007253000000da127472616e736665725f6c69717569646974797255000000723c00000072510000007223000000726200000072310000007233000000da155f5f72657475726e416e644275726e56546f6b656e722e0000007234000000725700000029097249000000724a000000725c000000da0f7374616b655f746f5f72657475726e726400000072650000007266000000724e0000007267000000724100000072410000007242000000da167769746864726177546f6b656e73416e645969656c648b000000733000000000020601080110010801080108010e0108010801080108010c010801120108010e01080108010c010a010a010c010a01726c0000006301000000000000000e0000000400000043000000732a0100007c006a00640183017d017c006a00640283017d027c006a00640383017d03740183007d047c017d0564047d0678f87c057c046b019001722474027c0519007d0774027c056405170019007d0864047d097c017c046b02726a74037404830174037c02830118007d096e547c057c016b02728874037c0864021900830174037c02830118007d096e367c057c046b0272a674037404830174037c0764021900830118007d096e1874037c0864021900830174037c0764021900830118007d0964047d0a7c0364046b0972e27c076406190064046b0972e27c037c07640619001b007d0a7c07640719007d0b7c096a0574067c0b830114007d0c74076a087c0a8301010074076a0083007d0a7c0c7c0a14007d0d7c067c0d37007d067c05640537007d05712e57007c06530029084e724f000000721c000000724400000072010000007224000000721d000000721e00000029097251000000da165f5f67657443757272656e7445706f6368496e6465787239000000da105f5f66697454696d65546f52616e67657238000000da077365636f6e6473da1a5f5f676574456d697373696f6e526174655065725365636f6e64da175f5f646563696d616c5f636f6e7665727465725f766172722e000000290e724a000000da147374617274696e675f65706f63685f696e646578725e0000007244000000da1363757272656e745f65706f63685f696e646578da10746869735f65706f63685f696e646578da0179da0a746869735f65706f6368da0a6e6578745f65706f6368da0564656c7461da127063745f73686172655f6f665f7374616b65da16656d697373696f6e5f726174655f7065725f686f7572da17676c6f62616c5f7969656c645f746869735f65706f6368da186465706f7369745f7969656c645f746869735f65706f6368724100000072410000007242000000725b000000a7000000733e00000000010a010a010a010601040104010c0108010c0104010801120108010c010a01080116030c010c01040114010c010801060108010a010801080108010c01725b0000002901721c000000630100000000000000010000000200000043000000732e0000007c0074006a0183006b00721674006a0183007d006e147c0074026a0183006b04722a74026a0183007d007c00530029014e2903723d0000007251000000723f0000002901721c000000724100000072410000007242000000726e000000cb000000730a00000000010c010a010c010801726e000000630000000000000000010000000100000043000000730c00000074006a0183007d007c00530029014e29027232000000725100000029017273000000724100000072410000007242000000726d000000d3000000730400000000010801726d0000002901724e0000006301000000000000000600000004000000430000007362000000740083007d0174017c0119007d027c02640119007d0374027c026402190018007d047c046a0364036b0472327c046a036e0264037d057c0574046a0583006b0573567c0364036b08735674067c007c0364048d02725e74077c0083017d017c01530029054e721d000000721c00000072010000002902724e000000da11746869735f65706f63685f7374616b65642908726d00000072390000007238000000726f00000072360000007251000000da1e5f5f6d61785374616b65644368616e6765526174696f4578636565646564da105f5f696e6372656d656e7445706f63682906724e00000072590000007276000000727d0000007278000000da0d64656c74615f7365636f6e64737241000000724100000072420000007257000000d8000000731600000000010601080108010c0114010c010a0102010801080172570000002902724e000000727d00000063020000000000000005000000030000004300000073480000007c017400640183016b007210740153007c007c016b01721c7c006e027c017d027c007c016b05722c7c006e027c017d037c037c0218007d047c047c011b0074026a0383006b05530029024e7a06302e303030312904da07646563696d616cda0474727565723500000072510000002905724e000000727d000000da07736d616c6c6572da06626967676572da03646966724100000072410000007242000000727e000000e6000000731000000000020c0104010c0104010c0104010801727e0000006301000000000000000300000004000000430000007334000000740083007d017c01640117007d0274016a027c028301010074037c0074047c0119006402190064039c0374047c023c007c02530029044e7224000000721e0000002903721c000000721d000000721e0000002905726d0000007232000000722e000000723800000072390000002903724e000000da0d63757272656e745f65706f6368da0d6e65775f65706f63685f696478724100000072410000007242000000727f000000f2000000730c0000000001060108010a0104011401727f0000002901da0f616d6f756e745f7065725f686f75726301000000000000000300000004000000430000007340000000740083000100740183007d017c01640117007d0274026a037c028301010074047c0064028d010100740574066a0783007c0064039c0374087c023c006400530029044e7224000000290172440000002903721c000000721d000000721e0000002909da0d5f5f6173736572744f776e6572726d0000007232000000722e000000da16736574456d697373696f6e52617465506572486f757272380000007233000000725100000072390000002903728800000072860000007287000000724100000072410000007242000000da136368616e6765416d6f756e74506572486f7572fb000000730e00000000020601060108010a010a010801728b0000002901da0b6d696e5f7365636f6e647363010000000000000001000000020000004300000073240000007400830001007c0064016b057316740164028301820174026a037c00830101006400530029034e72010000007a21796f75206d7573742063686f6f7365206120706f7369746976652076616c75652e2904728900000072520000007236000000722e0000002901728c000000724100000072410000007242000000da0f73657445706f63684d696e54696d65060100007306000000000206011001728d0000002901da05726174696f63010000000000000001000000020000004300000073240000007400830001007c0064016b047316740164028301820174026a037c00830101006400530029034e72010000007a186d757374206265206120706f7369746976652076616c75652904728900000072520000007235000000722e0000002901728e000000724100000072410000007242000000da1873657445706f63684d6178526174696f496e6372656173650d0100007306000000000206011001728f0000002901727a00000063010000000000000003000000020000004300000073140000007c0064011b007d017c0164011b007d027c02530029024ee93c00000072410000002903727a000000da18656d697373696f6e5f726174655f7065725f6d696e757465da18656d697373696f6e5f726174655f7065725f7365636f6e64724100000072410000007242000000727000000014010000730600000000010801080172700000002901da02766b630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e29037289000000722d000000722e00000029017293000000724100000072410000007242000000da087365744f776e65721a0100007304000000000206017294000000630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e290372890000007231000000722e00000029017293000000724100000072410000007242000000da0c73657444657657616c6c6574200100007304000000000206017295000000630100000000000000010000000200000043000000732c0000007400830001007c0064016b0072167c0064026b05731e740164038301820174026a037c00830101006400530029044e722400000072010000007a26416d6f756e74206d75737420626520612076616c7565206265747765656e203020616e642031290472890000007252000000723c000000722e00000029017244000000724100000072410000007242000000da0f7365744465765265776172645063742601000073060000000002060118017296000000630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e29037289000000723b000000722e00000029017244000000724100000072410000007242000000728a0000002d010000730400000000020601728a000000630100000000000000010000000400000043000000731c00000074008300010074016a027c0074036a04830064018d0201006400530029024e29027244000000724c0000002905728900000072230000007262000000722d000000725100000029017244000000724100000072410000007242000000da117265636f7665725969656c64546f6b656e3301000073040000000002060172970000002901da0769735f6f70656e630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e290372890000007240000000722e00000029017298000000724100000072410000007242000000da0c616c6c6f775374616b696e67390100007304000000000206017299000000290472280000007229000000722a000000722b000000630400000000000000050000000500000043000000732400000074008300010074016a017c007c017c027c0383047d0474026a037c04830101006400530029014e29047289000000723e000000723d000000722e000000290572280000007229000000722a000000722b000000721c000000724100000072410000007242000000da0c736574537461727454696d653f0100007306000000000206011001729a000000630400000000000000050000000500000043000000732400000074008300010074016a017c007c017c027c0383047d0474026a037c04830101006400530029014e29047289000000723e000000723f000000722e000000290572280000007229000000722a000000722b000000721c000000724100000072410000007242000000da0a736574456e6454696d65460100007306000000000206011001729b000000630000000000000000000000000200000043000000731a00000074006a01830074026a036b02731674046401830182016400530029024e7a2c596f75206d75737420626520746865206f776e657220746f2063616c6c20746869732066756e6374696f6e2e2905722d0000007251000000722f00000072300000007252000000724100000072410000007241000000724200000072890000004d0100007304000000000106017289000000630000000000000000040000000500000043000000736e00000074006a017d0074027c0019007d0174027c00190064016b09732274036402830182017c01640319007d0274046a0574067c007c0264048d03010074077c0264058d010100640174027c003c00640674087c003c0074096a0a83007c0218007d0374096a0b7c03830101006400530029074e467a2754686973206163636f756e7420686173206e6f206465706f7369747320746f2072657475726e2e724400000029037205000000724c0000007244000000290172440000007201000000290c722f000000723000000072460000007252000000725300000072690000007255000000726a000000725a00000072330000007251000000722e00000029047249000000724a000000726b000000724e000000724100000072410000007242000000da14656d657267656e637952657475726e5374616b6552010000731800000000020601080106010e010801080108010a01080108010c01729c000000630000000000000000040000000500000043000000733a00000074006a017d0074006a027d0174037c0119007d027c0074046a0583006b0673287406640183018201740764027c007c0164038d037d037c03530029044e7a345468652063616c6c696e6720636f6e7472616374206973206e6f7420696e207468652074727573746564206c6973742021203a286c03000000ff0f4a29a30329037244000000da0674617267657472490000002908722f0000007230000000da067369676e6572725a000000723700000072510000007252000000da135f5f73656e645969656c64546f5461726765742904da1063616c6c696e675f636f6e74726163747249000000725c000000da0b7472616e73666572726564724100000072410000007242000000da1c6578706f72745969656c64546f466f726569676e436f6e747261637462010000731000000000020601060108010e01060104010a0172a200000029037244000000729d00000072490000006303000000000000000a000000040000004300000073bc00000074007c0219007d037c0364016b097318740164028301820174027c0219007d0464037d057c0574037c0364048d0137007d057c057c0438007d057c007c056b0072467c006e027c057d067c0664036b04735a74016405830182017c0674046a05830014007d077c0764036b04728074066a0774086a0583007c0764068d0201007c067c0718007d0874066a077c017c0864068d0201007c047c06170074027c023c0074096a0583007c0617007d0974096a0a7c09830101007c08530029074e467a2b596f752068617665206e6f206465706f73697420746f207769746864726177207969656c642066726f6d2e72010000002901724a0000007a295468657265206973206e6f207969656c6420746f2068617276657374207269676874206e6f77203a282902724c0000007244000000290b72460000007252000000725a000000725b000000723c00000072510000007223000000726200000072310000007234000000722e000000290a7244000000729d0000007249000000724a000000725c00000072630000007264000000726500000072660000007267000000724100000072410000007242000000729f0000006e0100007324000000000108011001080104010e0108010c01040110010c010801120108010e010c010c010a01729f00000029017205000000630100000000000000020000000200000043000000732600000074008300010074016a0283007d017c016a037c008301010074016a047c01830101006400530029014e2905728900000072370000007251000000da06617070656e64722e00000029027205000000da11747275737465645f696d706f7274657273724100000072410000007242000000da15616464546f54727573746564496d706f72746572738301000073080000000002060108010a0172a5000000630100000000000000020000000200000043000000732600000074008300010074016a0283007d017c016a037c008301010074016a047c01830101006400530029014e2905728900000072370000007251000000da0672656d6f7665722e0000002902720500000072a4000000724100000072410000007242000000da1a72656d6f766546726f6d54727573746564496d706f72746572738b01000073080000000002060108010a0172a700000029027244000000724c000000630200000000000000020000000400000043000000734c0000007c0064016b0473107400640283018201740174026a0319007c006b0573267400640383018201740174026a03050019007c00380003003c0074017c01050019007c00370003003c006400530029044e72010000007a1e43616e6e6f742073656e64206e656761746976652062616c616e636573217a1b4e6f7420656e6f7567682056544f4b454e5320746f2073656e642129047252000000da0a5f5f62616c616e636573722f000000723000000029027244000000724c000000724100000072410000007242000000726200000093010000730800000000021001160112017262000000630200000000000000020000000400000043000000732a0000007c0064016b0473107400640283018201740174026a037c016602050019007c00370003003c006400530029034e72010000007a1e43616e6e6f742073656e64206e656761746976652062616c616e636573212904725200000072a8000000722f000000723000000029027244000000724c000000724100000072410000007242000000da07617070726f76659b01000073040000000002100172a900000029037244000000724c000000724d000000630300000000000000030000000500000043000000738a0000007c0064016b047310740064028301820174017c0274026a03660219007c006b05733c740064036a0474017c0274026a03660219007c0083028301820174017c0219007c006b057350740064048301820174017c0274026a036602050019007c00380003003c0074017c02050019007c00380003003c0074017c01050019007c00370003003c006400530029054e72010000007a1e43616e6e6f742073656e64206e656761746976652062616c616e636573217a494e6f7420656e6f75676820636f696e7320617070726f76656420746f2073656e642120596f752068617665207b7d20616e642061726520747279696e6720746f207370656e64207b7d7a194e6f7420656e6f75676820636f696e7320746f2073656e64212905725200000072a8000000722f0000007230000000da06666f726d617429037244000000724c000000724d000000724100000072410000007242000000da0d7472616e736665725f66726f6da10100007310000000000210010c010c01140114011601100172ab000000630100000000000000030000000400000043000000733400000074006a017d0174006a027d0274037c0119007c006b057320740464018301820174037c01050019007c00380003003c006400530029024e7a4e596f75722056544f4b454e2062616c616e636520697320746f6f206c6f7720746f20756e7374616b652c207265636f76657220796f75722056544f4b454e5320616e642074727920616761696e2e2905722f0000007230000000725600000072a800000072520000002903724400000072490000007256000000724100000072410000007242000000726a000000ad010000730a00000000010601060106010e01726a000000630100000000000000020000000400000043000000731a00000074006a017d0174027c01050019007c00370003003c006400530029014e2903722f000000729e00000072a80000002902724400000072490000007241000000724100000072420000007258000000b5010000730400000000010601725800000029437202000000da1c636f6e5f726f636b6574737761705f6f6666696369616c5f76315f31725300000072550000007223000000da085661726961626c65722d0000007231000000723b000000723c000000723d000000723f0000007240000000da04486173687246000000725a000000723200000072390000007233000000723400000072360000007235000000723a0000007271000000723700000072a80000007243000000da085f5f6578706f7274da05666c6f6174724b000000da03737472724700000072480000007268000000726c000000725b000000da03416e79726e000000726d0000007257000000727e000000727f000000728b000000728d000000728f0000007270000000729400000072950000007296000000728a0000007297000000da04626f6f6c7299000000da03696e74729a000000729b0000007289000000729c00000072a2000000729f00000072a500000072a7000000726200000072a900000072ab000000726a00000072580000007241000000724100000072410000007242000000da083c6d6f64756c653e0100000073b4000000080108010401040104010c0104010801040108010c010c010c0104010801060108010601080104010801060108010c01040108010c01040108010e0104010801040108010601080308160601100910110601121b06011016101c08240e0808050e0e02010e0b0e090601100a06011006060110060e06060110050601100506011006060110050601100506011005060116060601160608051010100c1215060110070601100706011207060112050601140b0e08