Contract con_staking_pro_lhc


Contract Code


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

Byte Code

e300000000000000000000000006000000400000007394030000640064016c005a00640064016c015a0165025a0365005a0465015a0565066402640364048d025a0765066402640564048d025a0865066402640664048d025a0965066402640764048d025a0a65066402640864048d025a0b65066402640964048d025a0c65066402640a64048d025a0d650e640b6402640c640d8d035a0f650e64006402640e640d8d035a1065066402640f64048d025a11650e640b64026410640d8d035a1265066402641164048d025a1365066402641264048d025a1465066402641364048d025a1565066402641464048d025a16650e640b64026415640d8d035a1765066402641664048d025a1865066402641764048d025a19650e640064026418640d8d035a1a6419641a84005a1b651c64028301651d641b9c01641c641d840483015a1e651c64028301651f641e9c01641f6420840483015a20651d652164219c026422642384045a22651c64028301651d652164219c0264246425840483015a23651d651f651f64269c036427642884045a24651c64028301651d641b9c016429642a840483015a25651c64028301642b642c840083015a26642d642e84005a276528642f9c016430643184045a296432643384005a2a651d64349c016435643684045a2b651d651d64379c026438643984045a2c651d64349c01643a643b84045a2d651c64028301651d643c9c01643d643e840483015a2e651c64028301651d643f9c0164406441840483015a2f651c64028301651d64429c0164436444840483015a30651d64459c016446644784045a31651c64028301651f64489c016449644a840483015a32651c64028301651f64489c01644b644c840483015a33651c64028301651d641b9c01644d644e840483015a34651d641b9c01644f645084045a35651c64028301651f641e9c0164516452840483015a36651c64028301651f641e9c0164536454840483015a37651c6402830164556456840083015a38651c64028301652164579c0164586459840483015a39651c64028301653a653a653a653a645a9c04645b645c840483015a3b651c64028301653a653a653a653a645a9c04645d645e840483015a3c645f646084005a3d651c6402830164616462840083015a3e651c64028301651d651f64639c0264646465840483015a3f651c64028301651d651f64639c0264666467840483015a40651c64028301651d651f651f64689c036469646a840483015a41651d641b9c01646b646c84045a42651d641b9c01646d646e84045a4364015300296fe9000000004eda13636f6e5f7374616b696e675f70726f5f6c6863da054f776e65722902da08636f6e7472616374da046e616d65da0f44657652657761726457616c6c6574da13456d697373696f6e52617465506572486f7572da0c446576526577617264506374da09537461727454696d65da07456e6454696d65da0f4f70656e466f72427573696e65737346da084465706f736974732903da0d64656661756c745f76616c756572040000007205000000da0b5769746864726177616c73da1143757272656e7445706f6368496e646578da0645706f636873da0d5374616b656442616c616e6365da1057697468647261776e42616c616e6365da0c45706f63684d696e54696d65da1545706f63684d6178526174696f496e637265617365da046d657461da15646563696d616c5f636f6e7665727465725f766172da10547275737465644578706f7274657273da0862616c616e63657363000000000000000000000000070000004300000073d600000074006a0174026a038301010074046a0174026a038301010074056a0164018301010074066a0164018301010074076a0164018301010074086a0164028301010074096a01640383010100740a6a01670083010100740b6401640464059c03740c64013c006406740d64073c006408740d64093c00640a740d640b3c00640c740d640d3c00740e6a01640483010100740f6a0164178301010074106a0174116a11640f64106411641264138d048301010074126a0174116a11640f64146415641264138d048301010074136a016416830101006400530029184e7201000000e90100000069100e000069250200002903da0474696d65da067374616b6564da0a616d745f7065725f68727a05302e302e33da0776657273696f6eda137374616b696e675f736d6172745f65706f6368da0474797065da13636f6e5f70726f746f6e5f636f6e7472616374da0d5354414b494e475f544f4b454eda15636f6e5f636f6c6c696465725f636f6e7472616374da0b5949454c445f544f4b454ee90a00000069e5070000e908000000e91f000000e90b0000002904da0479656172da056d6f6e7468da03646179da04686f7572e90c000000e90600000054679a9999999999b93f2914da075f5f4f776e6572da03736574da03637478da0663616c6c6572da115f5f44657652657761726457616c6c6574da135f5f43757272656e7445706f6368496e646578da0f5f5f5374616b656442616c616e6365da125f5f57697468647261776e42616c616e6365da175f5f45706f63684d6178526174696f496e637265617365da0e5f5f45706f63684d696e54696d65da125f5f547275737465644578706f7274657273da036e6f77da085f5f45706f636873da065f5f6d657461da155f5f456d697373696f6e52617465506572486f7572da0e5f5f446576526577617264506374da0b5f5f537461727454696d65da086461746574696d65da095f5f456e6454696d65da115f5f4f70656e466f72427573696e657373a90072420000007242000000da00da045f5f5f5f28000000732400000000010c010c010a010a010a010a010a010a01100108010801080108010a010a011801180172440000002901da06616d6f756e74630100000000000000030000000400000043000000734200000074006a017d0174027c0119007d027c0064016b04731e74036402830182017c0264036b08723274047c00640364048d02530074057c00640364048d0253006400530029054e72010000007a1b596f75206d757374207374616b6520736f6d6520746f6b656e732e4629027245000000da0d66726f6d5f636f6e7472616374290672300000007231000000da0a5f5f4465706f73697473da0e417373657274696f6e4572726f72da125f5f6372656174654e65774465706f736974da0f696e6372656173654465706f73697429037245000000da0475736572da076465706f736974724200000072420000007243000000da106164645374616b696e67546f6b656e733d000000730c000000000206010801100108010c02724d0000002901720400000063010000000000000005000000040000004300000073580000007c0074006a0183006b067314740264018301820174036a047c0083017d017c016a0583007d0274066a077d0374087c0319007d047c0464026b08724874097c02640364048d025300740a7c02640364048d0253006400530029054e7a3254686520636f6e7472616374206973206e6f7420696e207468652074727573746564206578706f7274657273206c6973742e4654290272450000007246000000290b7238000000da036765747248000000da0149da0d696d706f72745f6d6f64756c65da1c6578706f72745969656c64546f466f726569676e436f6e74726163747230000000da067369676e657272470000007249000000724a00000029057204000000da0e7969656c645f636f6e74726163747245000000724b000000724c000000724200000072420000007243000000da187374616b6546726f6d436f6e747261637450726f6669747348000000731200000000020e0106010a0108010601080108010c027254000000290272450000007246000000630200000000000000060000000500000043000000738c00000074006a01830064016b02731474026402830182017c0064036b047324740264048301820174036a047d027c0164056b08724474056a067c0074036a077c0264068d03010074086a0183007d037c037c0017007d0474086a097c0483010100740a7c0464078d017d057c05740b7c00640364089c04740c7c023c00740d7c0064098d010100740c7c0219005300290a4e547a2854686973207374616b696e6720706f6f6c206973206e6f74206f70656e207269676874206e6f772e72010000007a19596f75206d757374207374616b6520736f6d657468696e672e4629037245000000da02746fda0c6d61696e5f6163636f756e742901da116e65775f7374616b65645f616d6f756e742904da0e7374617274696e675f65706f6368721a0000007245000000da0a757365725f7969656c6429017245000000290e7241000000724e0000007248000000723000000072310000007221000000da0d7472616e736665725f66726f6dda04746869737234000000722f000000da165f5f646563696465496e6372656d656e7445706f636872390000007247000000da0c5f5f6d696e7456546f6b656e290672450000007246000000724b000000721b0000007257000000da0b65706f63685f696e646578724200000072420000007243000000724900000056000000731e000000000106010e011001060108010a010801080108010a010a0104010e010a0172490000006302000000000000000b000000050000004300000073ea00000074006a017d0274026a03830064016b02731a74046402830182017c0064036b05732a740464048301820174057c0219007d037c0364056b09734274046406830182017c0064036b0472647c0164056b08726474066a077c0074006a087c0264078d03010074097c0219007d047c03640819007d057c03640919007d0664057d077c05740a7c03640a8d0137007d057c03640b19007d077c03640919007d067c067c0017007d08740b6a0383007d097c097c0017007d0a740b6a0c7c0a83010100740d7c00640c8d010100740e7c0a640d8d01740f7c087c05640e9c0474057c023c0074057c0219005300290f4e547a2854686973207374616b696e6720706f6f6c206973206e6f74206f70656e207269676874206e6f772e72010000007a24596f752063616e6e6f74207374616b652061206e656761746976652062616c616e63652e467a2354686973207573657220686173206e6f206465706f73697420746f2061646420746f2e2903724500000072550000007256000000725900000072450000002901724c000000721a000000290172450000002901725700000029047258000000721a000000724500000072590000002910723000000072310000007241000000724e000000724800000072470000007221000000725a000000725b000000da0d5f5f5769746864726177616c73da105f5f63616c63756c6174655969656c647234000000722f000000725d000000725c0000007239000000290b72450000007246000000724b000000724c000000da0f77697468647261776e5f7969656c647259000000da0e6578697374696e675f7374616b65da0a73746172745f74696d65da14746f74616c5f6465706f7369745f616d6f756e74da14676c6f62616c5f616d6f756e745f7374616b6564da116e65775f676c6f62616c5f7374616b6564724200000072420000007243000000724a0000006800000073320000000002060106010e0110010801100110010a01080108010801080104010e01080108010801080108010a010a01020108010e01724a00000029037245000000da06746172676574724b0000006303000000000000000a000000040000004300000073c000000074007c0219007d037c0364016b097318740164028301820174027c0219007d047c03640319007d057c0574037c0364048d0137007d057c057c0438007d057c007c056b00724a7c006e027c057d067c0664056b04735e74016406830182017c0674046a05830014007d077c0764056b04728474066a0774086a0583007c0764078d0201007c067c0718007d0874066a077c017c0864078d0201007c047c06170074027c023c0074096a0583007c0617007d0974096a0a7c09830101007c08530029084e467a2b596f752068617665206e6f206465706f73697420746f207769746864726177207969656c642066726f6d2e72590000002901724c00000072010000007a295468657265206973206e6f207969656c6420746f2068617276657374207269676874206e6f77203a28290272550000007245000000290b72470000007248000000725f0000007260000000723d000000724e0000007223000000da087472616e7366657272320000007235000000722f000000290a72450000007267000000724b000000724c0000007261000000da116861727665737461626c655f7969656c64da107969656c645f746f5f68617276657374da096465765f7368617265da0a757365725f7368617265da146e65775f77697468647261776e5f616d6f756e74724200000072420000007243000000da135f5f73656e645969656c64546f546172676574850000007324000000000108011001080108010e0108010c01040110010c010801120108010e010c010c010a01726e00000063010000000000000002000000050000004300000073240000007c0064016b047310740064028301820174016a027d0174037c007c017c0164038d03530029044e72010000007a25596f752063616e6e6f7420686172766573742061206e656761746976652062616c616e6365290372450000007267000000724b0000002904724800000072300000007231000000726e00000029027245000000724b000000724200000072420000007243000000da0d77697468647261775969656c649a0000007306000000000210010601726f00000063000000000000000009000000040000004300000073f600000074006a017d0074027c0019007d017c0164016b09731e740364028301820174047c0019007d027c01640319007d037c01640419007d0464057d057c0474057c0164068d0137007d0474066a077c007c0364078d02010074087c0364088d0101007c047c0238007d047c0464056b0472ac7c0474096a0a830014007d067c0664056b047296740b6a07740c6a0a83007c0664078d0201007c047c0618007d05740b6a077c007c0564078d020100640174027c003c00640574047c003c00740d6a0a83007c0318007d07740d6a0e7c0783010100740f6a0a83007c0417007d08740f6a0e7c088301010074107c0764098d0101007c055300290a4e467a1f596f752068617665206e6f206465706f73697420746f2077697468647261777245000000725900000072010000002901724c000000290272550000007245000000290172450000002901725700000029117230000000723100000072470000007248000000725f000000726000000072210000007268000000da155f5f72657475726e416e644275726e56546f6b656e723d000000724e000000722300000072320000007234000000722f0000007235000000725c0000002909724b000000724c0000007261000000da0f7374616b655f746f5f72657475726e726a000000726c000000726b0000007257000000726d000000724200000072420000007243000000da167769746864726177546f6b656e73416e645969656c64a10000007332000000000206010801100108010801080104010e010e010a01080108010c010801120108010e01080108010c010a010c010a010a0172720000006301000000000000000e0000000400000043000000732a0100007c006a00640183017d017c006a00640283017d027c006a00640383017d03740183007d047c017d0564047d0678f87c057c046b019001722474027c0519007d0774027c056405170019007d0864047d097c017c046b02726a74037404830174037c02830118007d096e547c057c016b02728874037c0864021900830174037c02830118007d096e367c057c046b0272a674037404830174037c0764021900830118007d096e1874037c0864021900830174037c0764021900830118007d0964047d0a7c0364046b0972e27c076406190064046b0972e27c037c07640619001b007d0a7c07640719007d0b7c096a0574067c0b830114007d0c74076a087c0a8301010074076a0083007d0a7c0c7c0a14007d0d7c067c0d37007d067c05640537007d05712e57007c06530029084e7258000000721a000000724500000072010000007219000000721b000000721c0000002909724e000000da165f5f67657443757272656e7445706f6368496e646578723a000000da105f5f66697454696d65546f52616e67657239000000da077365636f6e6473da1a5f5f676574456d697373696f6e526174655065725365636f6e64da175f5f646563696d616c5f636f6e7665727465725f766172722f000000290e724c000000da147374617274696e675f65706f63685f696e64657872630000007245000000da1363757272656e745f65706f63685f696e646578da10746869735f65706f63685f696e646578da0179da0a746869735f65706f6368da0a6e6578745f65706f6368da0564656c7461da127063745f73686172655f6f665f7374616b65da16656d697373696f6e5f726174655f7065725f686f7572da17676c6f62616c5f7969656c645f746869735f65706f6368da186465706f7369745f7969656c645f746869735f65706f63687242000000724200000072430000007260000000be000000733e00000000010a010a010a010601040104010c0108010c0104010801120108010c010a01080116030c010c01040114010c010801060108010a010801080108010c0172600000002901721a000000630100000000000000010000000200000043000000732e0000007c0074006a0183006b00721674006a0183007d006e147c0074026a0183006b04722a74026a0183007d007c00530029014e2903723e000000724e00000072400000002901721a0000007242000000724200000072430000007274000000e2000000730a00000000010c010a010c0108017274000000630000000000000000010000000100000043000000730c00000074006a0183007d007c00530029014e29027233000000724e000000290172790000007242000000724200000072430000007273000000ea0000007304000000000108017273000000290172570000006301000000000000000600000004000000430000007362000000740083007d0174017c0119007d027c02640119007d0374027c026402190018007d047c046a0364036b0472327c046a036e0264037d057c0574046a0583006b0573567c0364036b08735674067c007c0364048d02725e74077c0083017d017c01530029054e721b000000721a000000720100000029027257000000da11746869735f65706f63685f7374616b656429087273000000723a000000723900000072750000007237000000724e000000da1e5f5f6d61785374616b65644368616e6765526174696f4578636565646564da105f5f696e6372656d656e7445706f636829067257000000725e000000727c0000007283000000727e000000da0d64656c74615f7365636f6e6473724200000072420000007243000000725c000000ef000000731600000000010601080108010c0114010c010a01020108010801725c00000029027257000000728300000063020000000000000005000000030000004300000073480000007c007c016b01720c7c006e027c017d027c007c016b05721c7c006e027c017d037c037c0218007d047c017400640183016b007238740153007c047c011b0074026a0383006b05530029024e7a06302e303030312904da07646563696d616cda04747275657236000000724e000000290572570000007283000000da07736d616c6c6572da06626967676572da036469667242000000724200000072430000007284000000fd000000731000000000020c0104010c01040108010c01040172840000006301000000000000000300000004000000430000007334000000740083007d017c01640117007d0274016a027c028301010074037c0074047c0119006402190064039c0374047c023c007c02530029044e7219000000721c0000002903721a000000721b000000721c000000290572730000007233000000722f0000007239000000723a00000029037257000000da0d63757272656e745f65706f6368da0d6e65775f65706f63685f696478724200000072420000007243000000728500000009010000730c0000000001060108010a010401140172850000002901da0f616d6f756e745f7065725f686f75726301000000000000000300000004000000430000007340000000740083000100740183007d017c01640117007d0274026a037c028301010074047c0064028d010100740574066a0783007c0064039c0374087c023c006400530029044e7219000000290172450000002903721a000000721b000000721c0000002909da0d5f5f6173736572744f776e657272730000007233000000722f000000da185f5f736574456d697373696f6e52617465506572486f757272390000007234000000724e000000723a0000002903728e000000728c000000728d000000724200000072420000007243000000da136368616e6765416d6f756e74506572486f757212010000730e00000000020601060108010a010a01080172910000002901da0b6d696e5f7365636f6e647363010000000000000001000000020000004300000073240000007400830001007c0064016b057316740164028301820174026a037c00830101006400530029034e72010000007a21796f75206d7573742063686f6f7365206120706f7369746976652076616c75652e2904728f00000072480000007237000000722f00000029017292000000724200000072420000007243000000da0f73657445706f63684d696e54696d651d010000730600000000020601100172930000002901da05726174696f63010000000000000001000000020000004300000073240000007400830001007c0064016b047316740164028301820174026a037c00830101006400530029034e72010000007a186d757374206265206120706f7369746976652076616c75652904728f00000072480000007236000000722f00000029017294000000724200000072420000007243000000da1873657445706f63684d6178526174696f496e63726561736524010000730600000000020601100172950000002901728000000063010000000000000003000000020000004300000073140000007c0064011b007d017c0164011b007d027c02530029024ee93c000000724200000029037280000000da18656d697373696f6e5f726174655f7065725f6d696e757465da18656d697373696f6e5f726174655f7065725f7365636f6e6472420000007242000000724300000072760000002b010000730600000000010801080172760000002901da02766b630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e2903728f000000722e000000722f00000029017299000000724200000072420000007243000000da087365744f776e657231010000730400000000020601729a000000630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e2903728f0000007232000000722f00000029017299000000724200000072420000007243000000da0c73657444657657616c6c657437010000730400000000020601729b000000630100000000000000010000000200000043000000732c0000007400830001007c0064016b0072167c0064026b05731e740164038301820174026a037c00830101006400530029044e721900000072010000007a26416d6f756e74206d75737420626520612076616c7565206265747765656e203020616e6420312904728f0000007248000000723d000000722f00000029017245000000724200000072420000007243000000da0f7365744465765265776172645063743d0100007306000000000206011801729c000000630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e2903728f000000723c000000722f000000290172450000007242000000724200000072430000007290000000440100007304000000000106017290000000630100000000000000020000000200000043000000733200000074008300010074016a0283007d017c007c016b06721a640053007c016a037c008301010074016a047c01830101006400530029014e2905728f0000007238000000724e000000da06617070656e64722f00000029027204000000da11747275737465645f6578706f7274657273724200000072420000007243000000da15616464546f547275737465644578706f727465727349010000730c000000000206010801080104010a01729f000000630100000000000000020000000200000043000000732600000074008300010074016a0283007d017c016a037c008301010074016a047c01830101006400530029014e2905728f0000007238000000724e000000da0672656d6f7665722f00000029027204000000729e000000724200000072420000007243000000da1a72656d6f766546726f6d547275737465644578706f72746572735301000073080000000002060108010a0172a1000000630000000000000000030000000600000043000000734200000074008300010074016a0283007d00740374046401190064026403640464058d047d017c0174056a0619007d0274076a087c0274096a02830064068d0201006400530029074e722300000072180000007202000000da0e7969656c645f62616c616e6365732904da10666f726569676e5f636f6e7472616374da0c666f726569676e5f6e616d6572040000007205000000290272450000007255000000290a728f0000007234000000724e000000da0b466f726569676e48617368723b0000007230000000725b00000072230000007268000000722e0000002903da0e7374616b65645f62616c616e6365da105f5f7969656c645f62616c616e636573da11746f74616c5f696e5f636f6e7472616374724200000072420000007243000000da117265636f7665725969656c64546f6b656e5b010000730e0000000002060108010801040108010a0172a90000002901da0769735f6f70656e630100000000000000010000000200000043000000731400000074008300010074016a027c00830101006400530029014e2903728f0000007241000000722f000000290172aa000000724200000072420000007243000000da0c616c6c6f775374616b696e676601000073040000000002060172ab000000290472280000007229000000722a000000722b000000630400000000000000050000000500000043000000732400000074008300010074016a017c007c017c027c0383047d0474026a037c04830101006400530029014e2904728f000000723f000000723e000000722f000000290572280000007229000000722a000000722b000000721a000000724200000072420000007243000000da0c736574537461727454696d656c010000730600000000020601100172ac000000630400000000000000050000000500000043000000732400000074008300010074016a017c007c017c027c0383047d0474026a037c04830101006400530029014e2904728f000000723f0000007240000000722f000000290572280000007229000000722a000000722b000000721a000000724200000072420000007243000000da0a736574456e6454696d6573010000730600000000020601100172ad000000630000000000000000000000000200000043000000731a00000074006a01830074026a036b02731674046401830182016400530029024e7a2c596f75206d75737420626520746865206f776e657220746f2063616c6c20746869732066756e6374696f6e2e2905722e000000724e0000007230000000723100000072480000007242000000724200000072420000007243000000728f0000007a010000730400000000010601728f000000630000000000000000040000000400000043000000737e00000074006a017d0074027c0019007d0174027c00190064016b097322740364028301820164037d027c027c016404190037007d0274046a057c007c0264058d02010074067c0264068d010100640174027c003c00640374077c003c0074086a0983007c0218007d0374086a0a7c0383010100740b7c0364078d0101006400530029084e467a2754686973206163636f756e7420686173206e6f206465706f7369747320746f2072657475726e2e720100000072450000002902725500000072450000002901724500000029017257000000290c7230000000723100000072470000007248000000722100000072680000007270000000725f0000007234000000724e000000722f000000725c0000002904724b000000724c00000072710000007257000000724200000072420000007243000000da14656d657267656e637952657475726e5374616b657f010000731a00000000020601080106010e0104010c010e010a01080108010c010a0172ae000000290272450000007255000000630200000000000000020000000400000043000000734c0000007c0064016b0473107400640283018201740174026a0319007c006b0573267400640383018201740174026a03050019007c00380003003c0074017c01050019007c00370003003c006400530029044e72010000007a1e43616e6e6f742073656e64206e656761746976652062616c616e636573217a1b4e6f7420656e6f7567682056544f4b454e5320746f2073656e642129047248000000da0a5f5f62616c616e63657372300000007231000000290272450000007255000000724200000072420000007243000000726800000090010000730800000000021001160112017268000000630200000000000000020000000400000043000000732a0000007c0064016b0473107400640283018201740174026a037c016602050019007c00370003003c006400530029034e72010000007a1e43616e6e6f742073656e64206e656761746976652062616c616e636573212904724800000072af00000072300000007231000000290272450000007255000000724200000072420000007243000000da07617070726f76659801000073040000000002100172b00000002903724500000072550000007256000000630300000000000000030000000500000043000000738a0000007c0064016b047310740064028301820174017c0274026a03660219007c006b05733c740064036a0474017c0274026a03660219007c0083028301820174017c0219007c006b057350740064048301820174017c0274026a036602050019007c00380003003c0074017c02050019007c00380003003c0074017c01050019007c00370003003c006400530029054e72010000007a1e43616e6e6f742073656e64206e656761746976652062616c616e636573217a494e6f7420656e6f75676820636f696e7320617070726f76656420746f2073656e642120596f752068617665207b7d20616e642061726520747279696e6720746f207370656e64207b7d7a194e6f7420656e6f75676820636f696e7320746f2073656e64212905724800000072af00000072300000007231000000da06666f726d61742903724500000072550000007256000000724200000072420000007243000000725a0000009e0100007310000000000210010c010c011401140116011001725a000000630100000000000000020000000400000043000000732e00000074006a017d0174027c0119007c006b05731a740364018301820174027c01050019007c00380003003c006400530029024e7a4e596f75722056544f4b454e2062616c616e636520697320746f6f206c6f7720746f20756e7374616b652c207265636f76657220796f75722056544f4b454e5320616e642074727920616761696e2e29047230000000723100000072af000000724800000029027245000000724b0000007242000000724200000072430000007270000000aa01000073080000000001060106010e017270000000630100000000000000020000000400000043000000731a00000074006a017d0174027c01050019007c00370003003c006400530029014e29037230000000725200000072af00000029027245000000724b000000724200000072420000007243000000725d000000b1010000730400000000010601725d000000294472200000007222000000da09696d706f72746c6962724f00000072210000007223000000da085661726961626c65722e0000007232000000723c000000723d000000723e00000072400000007241000000da04486173687247000000725f0000007233000000723a0000007234000000723500000072370000007236000000723b0000007277000000723800000072af0000007244000000da085f5f6578706f7274da05666c6f6174724d000000da037374727254000000da04626f6f6c7249000000724a000000726e000000726f00000072720000007260000000da03416e7972740000007273000000725c000000728400000072850000007291000000729300000072950000007276000000729a000000729b000000729c0000007290000000729f00000072a100000072a900000072ab000000da03696e7472ac00000072ad000000728f00000072ae000000726800000072b0000000725a0000007270000000725d0000007242000000724200000072420000007243000000da083c6d6f64756c653e0100000073b2000000080108010401040104010c0104010801040108010c010c010c0104010801060108010601080104010801060108010c02040108010c01040108010e0104010801040108010601080308150601100a0601100d10120601121c121506011006101d08240e0808050e0e02010e0b0e090601100a06011006060110060e060601100506011005060110060e050601100906011007100b0601100506011606060116060805101106011207060112050601140b0e07