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