Contract con_liq_mining_neb


Contract Code

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

Byte Code

e30000000000000000000000000600000040000000739c030000640064016c005a00640064016c015a0165015a0264025a0365005a0465056403640464058d025a0665056403640664058d025a0765056403640764058d025a0865056403640864058d025a0965056403640964058d025a0a65056403640a64058d025a0b65056403640b64058d025a0c650d640c6403640d640e8d035a0e650d64006403640f640e8d035a0f65056403641064058d025a10650d640c64036411640e8d035a1165056403641264058d025a1265056403641364058d025a1365056403641464058d025a1465056403641564058d025a15650d640c64036416640e8d035a1665056403641764058d025a1765056403641864058d025a18650d640064036419640e8d035a19641a641b84005a1a651b64038301651c641c9c01641d641e840483015a1d651c651e641f9c026420642184045a1f651b64038301651c651e641f9c0264226423840483015a20651b64038301651c641c9c0164246425840483015a21651b6403830164266427840083015a226428642984005a236524642a9c01642b642c84045a25642d642e84005a26651c642f9c016430643184045a27651c651c64329c026433643484045a28651c642f9c016435643684045a29651b64038301651c64379c0164386439840483015a2a651b64038301651c643a9c01643b643c840483015a2b651b64038301651c643d9c01643e643f840483015a2c651c64409c016441644284045a2d651b64038301651e64439c0164446445840483015a2e651b64038301651e64439c0164466447840483015a2f651b64038301651c641c9c0164486449840483015a30651b64038301651c641c9c01644a644b840483015a31651b64038301651c641c9c01644c644d840483015a32651b640383016533644e9c01644f6450840483015a34651b64038301653565356535653564519c0464526453840483015a36651b64038301653565356535653564519c0464546455840483015a376456645784005a38651b6403830164586459840083015a39651b64038301645a645b840083015a3a651c651e651e645c9c03645d645e84045a3b651b64038301651e645f9c0164606461840483015a3c651b64038301651e645f9c0164626463840483015a3d651b64038301651c651e64649c0264656466840483015a3e651b64038301651c651e64649c0264676468840483015a3f651b64038301651c651e651e64699c03646a646b840483015a40651c641c9c01646c646d84045a41651c641c9c01646e646f84045a42640153002970e9000000004eda0a636f6e5f6e6562756c61da12636f6e5f6c69715f6d696e696e675f6e6562da054f776e65722902da08636f6e7472616374da046e616d65da0f44657652657761726457616c6c6574da13456d697373696f6e52617465506572486f7572da0c446576526577617264506374da09537461727454696d65da07456e6454696d65da0f4f70656e466f72427573696e65737346da084465706f736974732903da0d64656661756c745f76616c756572050000007206000000da0b5769746864726177616c73da1143757272656e7445706f6368496e646578da0645706f636873da0d5374616b656442616c616e6365da1057697468647261776e42616c616e6365da0c45706f63684d696e54696d65da1545706f63684d6178526174696f496e637265617365da046d657461da15646563696d616c5f636f6e7665727465725f766172da1054727573746564496d706f7274657273da0862616c616e63657363000000000000000000000000070000004300000073de00000074006a0174026a038301010074046a0174026a038301010074056a0164018301010074066a0164018301010074076a0164018301010074086a0164158301010074096a01640483010100740a6a01670083010100740b6401740c6405830164069c03740d64013c006407740e64083c006409740e640a3c00640b740e640c3c00640b740e640d3c00740f6a01740c640583018301010074106a0164168301010074116a0174126a12640e640f6410641164128d048301010074136a0174126a12640e64136413641164128d048301010074146a016414830101006400530029174e7201000000e901000000e90400000069100e00007a1231383730372e3438323939333139373237382903da0474696d65da067374616b6564da0a616d745f7065725f68727a03302e34da0776657273696f6eda1c6c69717569646974795f6d696e696e675f736d6172745f65706f6368da04747970657202000000da0d5354414b494e475f544f4b454eda0b5949454c445f544f4b454e69e5070000e908000000e91f000000e9160000002904da0479656172da056d6f6e7468da03646179da04686f7572e90c0000005467000000000000d03f67000000000000d03f2915da075f5f4f776e6572da03736574da03637478da0663616c6c6572da115f5f44657652657761726457616c6c6574da135f5f43757272656e7445706f6368496e646578da0f5f5f5374616b656442616c616e6365da125f5f57697468647261776e42616c616e6365da175f5f45706f63684d6178526174696f496e637265617365da0e5f5f45706f63684d696e54696d65da125f5f54727573746564496d706f7274657273da036e6f77da07646563696d616cda085f5f45706f636873da065f5f6d657461da155f5f456d697373696f6e52617465506572486f7572da0e5f5f446576526577617264506374da0b5f5f537461727454696d65da086461746574696d65da095f5f456e6454696d65da115f5f4f70656e466f72427573696e657373a90072410000007241000000da00da045f5f5f5f27000000732600000000010c010c010a010a010a010a010a010a0106010e0108010801080108010e010a011801180172430000002901da06616d6f756e74630100000000000000030000000400000043000000733200000074006a017d0174027c0119007d027c0264016b08722274037c00640264038d02530074047c00640264038d0253006400530029044e46722f00000029027244000000da08757365725f6374782905722e000000722f000000da0a5f5f4465706f73697473da125f5f6372656174654e65774465706f736974da0f696e6372656173654465706f73697429037244000000da0475736572da076465706f736974724100000072410000007242000000da106164645374616b696e67546f6b656e733d000000730a00000000020601080108010c02724b000000290272440000007245000000630200000000000000060000000600000043000000738600000074006a01830064016b02731474026402830182017c0064036b047324740264048301820174036a047d0274056a06740774036a087c027c0064058d04010074096a0183007d037c037c0017007d0474096a0a7c0483010100740b7c0464068d017d057c05740c7c00640364079c04740d7c023c00740e7c0064088d010100740d7c021900530029094e547a2854686973207374616b696e6720706f6f6c206973206e6f74206f70656e207269676874206e6f772e72010000007a19596f75206d757374207374616b6520736f6d657468696e672e29047205000000da02746fda0c6d61696e5f6163636f756e7472440000002901da116e65775f7374616b65645f616d6f756e742904da0e7374617274696e675f65706f6368721c0000007244000000da0a757365725f7969656c6429017244000000290f7240000000da03676574da0e417373657274696f6e4572726f72722e000000722f000000da03444558da177472616e736665725f6c69717569646974795f66726f6dda0f4c49515549444954595f544f4b454eda04746869737232000000722d000000da165f5f646563696465496e6372656d656e7445706f636872370000007246000000da0c5f5f6d696e7456546f6b656e2906724400000072450000007249000000721d000000724e000000da0b65706f63685f696e646578724100000072410000007242000000724700000047000000731c000000000106010e01100106010a010a01080108010a010a0104010e010a0172470000006302000000000000000b000000060000004300000073ea0000007c0164016b08720e74006a016e0474006a017d0274026a03830064026b02732874046403830182017c0064046b047338740464058301820174057c0219007d037c0364066b097350740464078301820174066a07740874006a097c027c0064088d040100740a7c0219007d047c03640919007d057c03640a19007d0664067d077c05740b7c03640b8d0137007d057c03640c19007d077c03640a19007d067c067c0017007d08740c6a0383007d097c097c0017007d0a740c6a0d7c0a83010100740e7c00640d8d010100740f7c0a640e8d0174107c087c05640f9c0474057c023c0074057c021900530029104e722f000000547a2854686973207374616b696e6720706f6f6c206973206e6f74206f70656e207269676874206e6f772e72010000007a24596f752063616e6e6f74207374616b652061206e656761746976652062616c616e63652e467a2354686973207573657220686173206e6f206465706f73697420746f2061646420746f2e29047205000000724c000000724d0000007244000000725000000072440000002901724a000000721c000000290172440000002901724e0000002904724f000000721c000000724400000072500000002911722e000000722f00000072400000007251000000725200000072460000007253000000725400000072550000007256000000da0d5f5f5769746864726177616c73da105f5f63616c63756c6174655969656c647232000000722d000000725800000072570000007237000000290b724400000072450000007249000000724a000000da0f77697468647261776e5f7969656c647250000000da0e6578697374696e675f7374616b65da0a73746172745f74696d65da14746f74616c5f6465706f7369745f616d6f756e74da14676c6f62616c5f616d6f756e745f7374616b6564da116e65775f676c6f62616c5f7374616b656472410000007241000000724200000072480000005800000073300000000002140106010e011001080110010a010a0108010801080104010e01080108010801080108010a010a01020108010e01724800000063010000000000000009000000040000004300000073d60000007c0064016b047310740064028301820174016a027d0174037c0119007d027c0264036b09732e740064048301820174047c0119007d037c02640519007d047c0474057c0264068d0137007d047c047c0338007d047c007c046b0072607c006e027c047d057c0564016b04737474006407830182017c0574066a07830014007d067c0664016b04729a74086a09740a6a0783007c0664088d0201007c057c0618007d0774086a097c017c0764088d0201007c037c05170074047c013c00740b6a0783007c0517007d08740b6a0c7c08830101006400530029094e72010000007a25596f752063616e6e6f7420686172766573742061206e656761746976652062616c616e6365467a2b596f752068617665206e6f206465706f73697420746f207769746864726177207969656c642066726f6d2e72500000002901724a0000007a295468657265206973206e6f207969656c6420746f2068617276657374207269676874206e6f77203a282902724c0000007244000000290d7252000000722e000000722f0000007246000000725a000000725b000000723c00000072510000007223000000da087472616e7366657272300000007233000000722d000000290972440000007249000000724a000000725c000000da116861727665737461626c655f7969656c64da107969656c645f746f5f68617276657374da096465765f7368617265da0a757365725f7368617265da146e65775f77697468647261776e5f616d6f756e74724100000072410000007242000000da0d77697468647261775969656c6474000000732600000000021001060108011001080108010e0108010c01040110010c010801120108010e010c010c01726800000063000000000000000009000000050000004300000073f400000074006a017d0074027c0019007d017c0164016b09731e740364028301820174047c0019007d027c01640319007d037c01640419007d047c0474057c0164058d0137007d0474066a0774087c007c0364068d0301007c047c0238007d047c0464076b0472a07c0474096a0a830014007d057c0564076b04728a740b6a0c740d6a0a83007c0564088d0201007c047c0518007d06740b6a0c7c007c0664088d020100640174027c003c00640774047c003c00740e6a0a83007c0318007d07740f7c0364098d010100740e6a107c078301010074116a0a83007c0417007d0874116a107c088301010074127c07640a8d01010064005300290b4e467a1f596f752068617665206e6f206465706f73697420746f207769746864726177724400000072500000002901724a00000029037205000000724c000000724400000072010000002902724c0000007244000000290172440000002901724e0000002913722e000000722f00000072460000007252000000725a000000725b0000007253000000da127472616e736665725f6c69717569646974797255000000723c00000072510000007223000000726200000072300000007232000000da155f5f72657475726e416e644275726e56546f6b656e722d0000007233000000725700000029097249000000724a000000725c000000da0f7374616b655f746f5f72657475726e726400000072650000007266000000724e0000007267000000724100000072410000007242000000da167769746864726177546f6b656e73416e645969656c648b000000733000000000020601080110010801080108010e0108010801080108010c010801120108010e01080108010c010a010a010c010a01726c0000006301000000000000000e0000000400000043000000732a0100007c006a00640183017d017c006a00640283017d027c006a00640383017d03740183007d047c017d0564047d0678f87c057c046b019001722474027c0519007d0774027c056405170019007d0864047d097c017c046b02726a74037404830174037c02830118007d096e547c057c016b02728874037c0864021900830174037c02830118007d096e367c057c046b0272a674037404830174037c0764021900830118007d096e1874037c0864021900830174037c0764021900830118007d0964047d0a7c0364046b0972e27c076406190064046b0972e27c037c07640619001b007d0a7c07640719007d0b7c096a0574067c0b830114007d0c74076a087c0a8301010074076a0083007d0a7c0c7c0a14007d0d7c067c0d37007d067c05640537007d05712e57007c06530029084e724f000000721c00000072440000007201000000721a000000721d000000721e00000029097251000000da165f5f67657443757272656e7445706f6368496e6465787239000000da105f5f66697454696d65546f52616e67657237000000da077365636f6e6473da1a5f5f676574456d697373696f6e526174655065725365636f6e64da175f5f646563696d616c5f636f6e7665727465725f766172722d000000290e724a000000da147374617274696e675f65706f63685f696e646578725e0000007244000000da1363757272656e745f65706f63685f696e646578da10746869735f65706f63685f696e646578da0179da0a746869735f65706f6368da0a6e6578745f65706f6368da0564656c7461da127063745f73686172655f6f665f7374616b65da16656d697373696f6e5f726174655f7065725f686f7572da17676c6f62616c5f7969656c645f746869735f65706f6368da186465706f7369745f7969656c645f746869735f65706f6368724100000072410000007242000000725b000000a7000000733e00000000010a010a010a010601040104010c0108010c0104010801120108010c010a01080116030c010c01040114010c010801060108010a010801080108010c01725b0000002901721c000000630100000000000000010000000200000043000000732e0000007c0074006a0183006b00721674006a0183007d006e147c0074026a0183006b04722a74026a0183007d007c00530029014e2903723d0000007251000000723f0000002901721c000000724100000072410000007242000000726e000000cb000000730a00000000010c010a010c010801726e000000630000000000000000010000000100000043000000730c00000074006a0183007d007c00530029014e29027231000000725100000029017273000000724100000072410000007242000000726d000000d3000000730400000000010801726d0000002901724e0000006301000000000000000600000004000000430000007362000000740083007d0174017c0119007d027c02640119007d0374027c026402190018007d047c046a0364036b0472327c046a036e0264037d057c0574046a0583006b0573567c0364036b08735674067c007c0364048d02725e74077c0083017d017c01530029054e721d000000721c00000072010000002902724e000000da11746869735f65706f63685f7374616b65642908726d00000072390000007237000000726f00000072350000007251000000da1e5f5f6d61785374616b65644368616e6765526174696f4578636565646564da105f5f696e6372656d656e7445706f63682906724e00000072590000007276000000727d0000007278000000da0d64656c74615f7365636f6e64737241000000724100000072420000007257000000d8000000731600000000010601080108010c0114010c010a0102010801080172570000002902724e000000727d00000063020000000000000005000000030000004300000073480000007c017400640183016b007210740153007c007c016b01721c7c006e027c017d027c007c016b05722c7c006e027c017d037c037c0218007d047c047c011b0074026a0383006b05530029024e7a06302e3030303129047238000000da0474727565723400000072510000002905724e000000727d000000da07736d616c6c6572da06626967676572da03646966724100000072410000007242000000727e000000e6000000731000000000020c0104010c0104010c0104010801727e0000006301000000000000000300000004000000430000007334000000740083007d017c01640117007d0274016a027c028301010074037c0074047c0119006402190064039c0374047c023c007c02530029044e721a000000721e0000002903721c000000721d000000721e0000002905726d0000007231000000722d000000723700000072390000002903724e000000da0d63757272656e745f65706f6368da0d6e65775f65706f63685f696478724100000072410000007242000000727f000000f2000000730c0000000001060108010a0104011401727f0000002901da0f616d6f756e745f7065725f686f75726301000000000000000300000004000000430000007340000000740083000100740183007d017c01640117007d0274026a037c028301010074047c0064028d010100740574066a0783007c0064039c0374087c023c006400530029044e721a000000290172440000002903721c000000721d000000721e0000002909da0d5f5f6173736572744f776e6572726d0000007231000000722d000000da16736574456d697373696f6e52617465506572486f757272370000007232000000725100000072390000002903728700000072850000007286000000724100000072410000007242000000da136368616e6765416d6f756e74506572486f7572fb000000730e00000000020601060108010a010a010801728a0000002901da0b6d696e5f7365636f6e647363010000000000000001000000020000004300000073240000007400830001007c0064016b057316740164028301820174026a037c00830101006400530029034e72010000007a21796f75206d7573742063686f6f7365206120706f7369746976652076616c75652e2904728800000072520000007235000000722d0000002901728b000000724100000072410000007242000000da0f73657445706f63684d696e54696d65060100007306000000000206011001728c0000002901da05726174696f63010000000000000001000000020000004300000073240000007400830001007c0064016b047316740164028301820174026a037c00830101006400530029034e72010000007a186d757374206265206120706f7369746976652076616c75652904728800000072520000007234000000722d0000002901728d000000724100000072410000007242000000da1873657445706f63684d6178526174696f496e6372656173650d0100007306000000000206011001728e0000002901727a00000063010000000000000003000000020000004300000073140000007c0064011b007d017c0164011b007d027c02530029024ee93c00000072410000002903727a000000da18656d697373696f6e5f726174655f7065725f6d696e757465da18656d697373696f6e5f726174655f7065725f7365636f6e64724100000072410000007242000000727000000014010000730600000000010801080172700000002901da02766b630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e29037288000000722c000000722d00000029017292000000724100000072410000007242000000da087365744f776e65721a0100007304000000000206017293000000630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e290372880000007230000000722d00000029017292000000724100000072410000007242000000da0c73657444657657616c6c6574200100007304000000000206017294000000630100000000000000010000000200000043000000732c0000007400830001007c0064016b0072167c0064026b05731e740164038301820174026a037c00830101006400530029044e721a00000072010000007a26416d6f756e74206d75737420626520612076616c7565206265747765656e203020616e642031290472880000007252000000723c000000722d00000029017244000000724100000072410000007242000000da0f7365744465765265776172645063742601000073060000000002060118017295000000630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e29037288000000723b000000722d0000002901724400000072410000007241000000724200000072890000002d0100007304000000000206017289000000630100000000000000010000000400000043000000731c00000074008300010074016a027c0074036a04830064018d0201006400530029024e29027244000000724c0000002905728800000072230000007262000000722c000000725100000029017244000000724100000072410000007242000000da117265636f7665725969656c64546f6b656e3301000073040000000002060172960000002901da0769735f6f70656e630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e290372880000007240000000722d00000029017297000000724100000072410000007242000000da0c616c6c6f775374616b696e673901000073040000000002060172980000002904722700000072280000007229000000722a000000630400000000000000050000000500000043000000732400000074008300010074016a017c007c017c027c0383047d0474026a037c04830101006400530029014e29047288000000723e000000723d000000722d0000002905722700000072280000007229000000722a000000721c000000724100000072410000007242000000da0c736574537461727454696d653f01000073060000000002060110017299000000630400000000000000050000000500000043000000732400000074008300010074016a017c007c017c027c0383047d0474026a037c04830101006400530029014e29047288000000723e000000723f000000722d0000002905722700000072280000007229000000722a000000721c000000724100000072410000007242000000da0a736574456e6454696d65460100007306000000000206011001729a000000630000000000000000000000000200000043000000731a00000074006a01830074026a036b02731674046401830182016400530029024e7a2c596f75206d75737420626520746865206f776e657220746f2063616c6c20746869732066756e6374696f6e2e2905722c0000007251000000722e000000722f0000007252000000724100000072410000007241000000724200000072880000004d0100007304000000000106017288000000630000000000000000040000000500000043000000736e00000074006a017d0074027c0019007d0174027c00190064016b09732274036402830182017c01640319007d0274046a0574067c007c0264048d03010074077c0264058d010100640174027c003c00640674087c003c0074096a0a83007c0218007d0374096a0b7c03830101006400530029074e467a2754686973206163636f756e7420686173206e6f206465706f7369747320746f2072657475726e2e724400000029037205000000724c0000007244000000290172440000007201000000290c722e000000722f00000072460000007252000000725300000072690000007255000000726a000000725a00000072320000007251000000722d00000029047249000000724a000000726b000000724e000000724100000072410000007242000000da14656d657267656e637952657475726e5374616b6552010000731800000000020601080106010e010801080108010a01080108010c01729b000000630000000000000000040000000500000043000000733a00000074006a017d0074006a027d0174037c0119007d027c0074046a0583006b0673287406640183018201740764027c007c0164038d037d037c03530029044e7a345468652063616c6c696e6720636f6e7472616374206973206e6f7420696e207468652074727573746564206c6973742021203a286c03000000ff0f4a29a30329037244000000da0674617267657472490000002908722e000000722f000000da067369676e6572725a000000723600000072510000007252000000da135f5f73656e645969656c64546f5461726765742904da1063616c6c696e675f636f6e74726163747249000000725c000000da0b7472616e73666572726564724100000072410000007242000000da1c6578706f72745969656c64546f466f726569676e436f6e747261637462010000731000000000020601060108010e01060104010a0172a100000029037244000000729c00000072490000006303000000000000000a000000040000004300000073bc00000074007c0219007d037c0364016b097318740164028301820174027c0219007d0464037d057c0574037c0364048d0137007d057c057c0438007d057c007c056b0072467c006e027c057d067c0664036b04735a74016405830182017c0674046a05830014007d077c0764036b04728074066a0774086a0583007c0764068d0201007c067c0718007d0874066a077c017c0864068d0201007c047c06170074027c023c0074096a0583007c0617007d0974096a0a7c09830101007c08530029074e467a2b596f752068617665206e6f206465706f73697420746f207769746864726177207969656c642066726f6d2e72010000002901724a0000007a295468657265206973206e6f207969656c6420746f2068617276657374207269676874206e6f77203a282902724c0000007244000000290b72460000007252000000725a000000725b000000723c00000072510000007223000000726200000072300000007233000000722d000000290a7244000000729c0000007249000000724a000000725c00000072630000007264000000726500000072660000007267000000724100000072410000007242000000729e0000006e0100007324000000000108011001080104010e0108010c01040110010c010801120108010e010c010c010a01729e00000029017205000000630100000000000000020000000200000043000000732600000074008300010074016a0283007d017c016a037c008301010074016a047c01830101006400530029014e2905728800000072360000007251000000da06617070656e64722d00000029027205000000da11747275737465645f696d706f7274657273724100000072410000007242000000da15616464546f54727573746564496d706f72746572738301000073080000000002060108010a0172a4000000630100000000000000020000000200000043000000732600000074008300010074016a0283007d017c016a037c008301010074016a047c01830101006400530029014e2905728800000072360000007251000000da0672656d6f7665722d0000002902720500000072a3000000724100000072410000007242000000da1a72656d6f766546726f6d54727573746564496d706f72746572738b01000073080000000002060108010a0172a600000029027244000000724c000000630200000000000000020000000400000043000000734c0000007c0064016b0473107400640283018201740174026a0319007c006b0573267400640383018201740174026a03050019007c00380003003c0074017c01050019007c00370003003c006400530029044e72010000007a1e43616e6e6f742073656e64206e656761746976652062616c616e636573217a1b4e6f7420656e6f7567682056544f4b454e5320746f2073656e642129047252000000da0a5f5f62616c616e636573722e000000722f00000029027244000000724c000000724100000072410000007242000000726200000093010000730800000000021001160112017262000000630200000000000000020000000400000043000000732a0000007c0064016b0473107400640283018201740174026a037c016602050019007c00370003003c006400530029034e72010000007a1e43616e6e6f742073656e64206e656761746976652062616c616e636573212904725200000072a7000000722e000000722f00000029027244000000724c000000724100000072410000007242000000da07617070726f76659b01000073040000000002100172a800000029037244000000724c000000724d000000630300000000000000030000000500000043000000738a0000007c0064016b047310740064028301820174017c0274026a03660219007c006b05733c740064036a0474017c0274026a03660219007c0083028301820174017c0219007c006b057350740064048301820174017c0274026a036602050019007c00380003003c0074017c02050019007c00380003003c0074017c01050019007c00370003003c006400530029054e72010000007a1e43616e6e6f742073656e64206e656761746976652062616c616e636573217a494e6f7420656e6f75676820636f696e7320617070726f76656420746f2073656e642120596f752068617665207b7d20616e642061726520747279696e6720746f207370656e64207b7d7a194e6f7420656e6f75676820636f696e7320746f2073656e64212905725200000072a7000000722e000000722f000000da06666f726d617429037244000000724c000000724d000000724100000072410000007242000000da0d7472616e736665725f66726f6da10100007310000000000210010c010c01140114011601100172aa000000630100000000000000030000000400000043000000733400000074006a017d0174006a027d0274037c0119007c006b057320740464018301820174037c01050019007c00380003003c006400530029024e7a4e596f75722056544f4b454e2062616c616e636520697320746f6f206c6f7720746f20756e7374616b652c207265636f76657220796f75722056544f4b454e5320616e642074727920616761696e2e2905722e000000722f000000725600000072a700000072520000002903724400000072490000007256000000724100000072410000007242000000726a000000ad010000730a00000000010601060106010e01726a000000630100000000000000020000000400000043000000731a00000074006a017d0174027c01050019007c00370003003c006400530029014e2903722e000000729d00000072a70000002902724400000072490000007241000000724100000072420000007258000000b5010000730400000000010601725800000029437202000000da1c636f6e5f726f636b6574737761705f6f6666696369616c5f76315f31725300000072550000007223000000da085661726961626c65722c0000007230000000723b000000723c000000723d000000723f0000007240000000da04486173687246000000725a000000723100000072390000007232000000723300000072350000007234000000723a0000007271000000723600000072a70000007243000000da085f5f6578706f7274da05666c6f6174724b000000da03737472724700000072480000007268000000726c000000725b000000da03416e79726e000000726d0000007257000000727e000000727f000000728a000000728c000000728e000000727000000072930000007294000000729500000072890000007296000000da04626f6f6c7298000000da03696e747299000000729a0000007288000000729b00000072a1000000729e00000072a400000072a6000000726200000072a800000072aa000000726a00000072580000007241000000724100000072410000007242000000da083c6d6f64756c653e0100000073b4000000080108010401040104010c0104010801040108010c010c010c0104010801060108010601080104010801060108010c01040108010c01040108010e0104010801040108010601080308160601100910110601121b06011016101c08240e0808050e0e02010e0b0e090601100a06011006060110060e06060110050601100506011006060110050601100506011005060116060601160608051010100c1215060110070601100706011207060112050601140b0e08