Contract con_october_vault
| Creator | f0fc0db25cc1381a98052a2826cb905b78fb6ab4d7ef76f64054509bee070b07 |
| Creation Hash | 72db98233254510ee9fe611e1451f85dd9fb53143b6f3f1d65039af25cf4bda9 |
| Created On | 404 days ago - 10/23/2022, 10:28:15 PM UTC+0 |
Contract Code
1
tad_contract = importlib.import_module('con_october_tad')
2
3
vaults = Hash(default_value=0)
4
stability_rate = Hash(default_value=1)
5
cdp = Hash(default_value=0)
6
stability_pool = Hash(default_value=0)
7
8
temporary_var = Variable()
9
10
@construct
11
def seed():
12
vaults['OWNER'] = ctx.caller
13
cdp['current_value'] = 0
14
vaults['list'] = [0]
15
vaults['current_number'] = 1
16
17
vaults['oracle'] = 'oracle' # dummy for testing purposes
18
19
vaults[0, 'collateral_type'] = 'currency'
20
vaults[0, 'minimum_collateralization'] = 1.5
21
vaults[0, 'minimum_auction_time'] = 259200
22
vaults[0, 'cap'] = 100000
23
vaults[0, 'weight'] = 10
24
25
stability_rate[0] = 1.0000000015469297 # default value, change on deployment
26
27
28
@export
29
def get_timestamp():
30
# https://developers.lamden.io/docs/smart-contracts/datetime-module/
31
td = now - datetime.datetime(1970, 1, 1, 0, 0, 0)
32
return fix_decimal(td.seconds)
33
34
35
@export
36
def create_vault(vault_type: int, amount_of_tad: float,
37
amount_of_collateral: float):
38
assert vault_type in vaults['list'], 'Not an available contract!'
39
# interface enforcement is unnecessary because collateral types should be pre-vetted
40
collateral = importlib.import_module(
41
vaults[vault_type, 'collateral_type'])
42
oracle = importlib.import_module(vaults['oracle'])
43
44
price = oracle.get_price(vault_type)
45
46
assert amount_of_tad > 0, 'Amount of tad must be positive!'
47
assert vaults[vault_type, 'total'] + amount_of_tad <= vaults[vault_type,
48
'cap'], 'The allowance is not sufficent!'
49
50
assert fix_decimal((amount_of_collateral * price) / \
51
amount_of_tad) >= vaults[vault_type,
52
'minimum_collateralization'], 'Not enough collateral!'
53
54
cdp_number = cdp['current_value']
55
cdp['current_value'] += 1
56
57
cdp[cdp_number, 'owner'] = ctx.caller
58
cdp[cdp_number, 'open'] = True
59
60
cdp[cdp_number, 'collateral_type'] = vaults[vault_type, 'collateral_type']
61
cdp[cdp_number, 'vault_type'] = vault_type
62
cdp[cdp_number, 'tad'] = amount_of_tad
63
cdp[cdp_number, 'collateral_amount'] = amount_of_collateral
64
cdp[cdp_number, 'time'] = get_timestamp()
65
66
collateral.approve(amount=amount_of_collateral, to=ctx.this)
67
collateral.transfer_from(amount=amount_of_collateral,
68
to=ctx.this, main_account=ctx.caller)
69
70
tad_contract.mint(amount=amount_of_tad)
71
tad_contract.transfer(amount=amount_of_tad, to=ctx.caller)
72
73
vaults[vault_type, 'issued'] += amount_of_tad
74
vaults[vault_type, 'total'] += amount_of_tad
75
76
return cdp_number
77
78
79
@export
80
def close_vault(cdp_number: int):
81
assert cdp[cdp_number, 'owner'] == ctx.caller, 'Not the owner!'
82
assert cdp[cdp_number, 'open'] == True, 'Vault has already been closed!'
83
84
collateral = importlib.import_module(
85
vaults[cdp[cdp_number, 'vault_type'], 'collateral_type'])
86
87
stability_ratio = fix_decimal(vaults[cdp[cdp_number, 'vault_type'], 'total'] / \
88
vaults[cdp[cdp_number, 'vault_type'], 'issued'])
89
redemption_cost = cdp[cdp_number, 'tad'] * stability_ratio
90
fee = redemption_cost * \
91
(stability_rate[cdp[cdp_number, 'vault_type']] **
92
(get_timestamp() - cdp[cdp_number, 'time'])) - redemption_cost
93
94
amount = redemption_cost + fee
95
tad_contract.transfer_from(
96
amount=amount, to=ctx.this, main_account=ctx.caller)
97
tad_contract.burn(amount=redemption_cost)
98
99
stability_pool[cdp[cdp_number, 'vault_type']] += fee
100
101
vaults[cdp[cdp_number, 'vault_type'], 'issued'] -= cdp[cdp_number, 'tad']
102
# This is only different if the ratio is different
103
vaults[cdp[cdp_number, 'vault_type'], 'total'] -= redemption_cost
104
105
cdp[cdp_number, 'open'] = False
106
107
# Return collateral
108
collateral.transfer(
109
amount=cdp[cdp_number, 'collateral_amount'], to=ctx.caller)
110
111
return amount
112
113
114
@export
115
def fast_force_close_vault(cdp_number: int):
116
assert_insufficent_collateral(cdp_number=cdp_number)
117
assert cdp[cdp_number, 'open'] is True, 'Vault has already been closed!'
118
119
collateral = importlib.import_module(
120
vaults[cdp[cdp_number, 'vault_type'], 'collateral_type'])
121
oracle = importlib.import_module(vaults['oracle'])
122
123
stability_ratio = fix_decimal(vaults[cdp[cdp_number, 'vault_type'],
124
'total'] / vaults[cdp[cdp_number, 'vault_type'], 'issued'])
125
redemption_cost_without_fee = cdp[cdp_number,
126
'tad'] * stability_ratio
127
redemption_cost = redemption_cost_without_fee * fix_decimal(1.1)
128
fee = redemption_cost_without_fee * \
129
(stability_rate[cdp[cdp_number, 'vault_type']]
130
** (get_timestamp() - cdp[cdp_number, 'time'])) - redemption_cost_without_fee
131
redemption_cost += fee
132
133
amount_of_collateral = cdp[cdp_number, 'collateral_amount']
134
price = oracle.get_price(cdp[cdp_number, 'vault_type'])
135
collateral_percent = fix_decimal((amount_of_collateral * price) / \
136
redemption_cost)
137
138
if collateral_percent >= fix_decimal(1.03):
139
tad_contract.transfer_from(
140
amount=redemption_cost, to=ctx.this, main_account=ctx.caller)
141
tad_contract.burn(amount=redemption_cost_without_fee)
142
amount = fix_decimal((redemption_cost * fix_decimal(1.03)) / price) # Double check this math is correct
143
144
collateral.transfer(amount=amount, to=ctx.caller)
145
collateral.transfer(amount=amount_of_collateral -
146
amount, to=cdp[cdp_number, 'owner'])
147
148
vaults[cdp[cdp_number, 'vault_type'],
149
'issued'] -= cdp[cdp_number, 'tad']
150
vaults[cdp[cdp_number, 'vault_type'],
151
'total'] -= redemption_cost_without_fee
152
153
else:
154
redemption_cost, redemption_cost_without_fee = redemption_cost * \
155
fix_decimal(collateral_percent / fix_decimal(1.03)), redemption_cost_without_fee * \
156
fix_decimal(collateral_percent / fix_decimal(1.03))
157
158
tad_contract.transfer_from(
159
amount=redemption_cost, to=ctx.this, main_account=ctx.caller)
160
tad_contract.burn(amount=redemption_cost_without_fee)
161
162
amount = cdp[cdp_number, 'collateral_amount']
163
164
collateral.transfer(amount=amount, to=ctx.caller)
165
166
vaults[cdp[cdp_number, 'vault_type'],
167
'issued'] -= cdp[cdp_number, 'tad']
168
vaults[cdp[cdp_number, 'vault_type'],
169
'total'] -= redemption_cost_without_fee
170
171
stability_pool[cdp[cdp_number, 'vault_type']
172
] += redemption_cost - redemption_cost_without_fee
173
174
cdp[cdp_number, 'open'] = False
175
176
return amount
177
178
179
@export
180
def open_force_close_auction(cdp_number: int):
181
assert_insufficent_collateral(cdp_number=cdp_number)
182
183
assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
184
assert cdp[cdp_number, 'auction',
185
'open'] is not True, 'Auction is already taking place!' # Probably a redundant check, can be removed
186
assert cdp[cdp_number, 'open'] is True, 'Vault has already been closed!'
187
188
# This contract may only be bid on, and not closed
189
cdp[cdp_number, 'open'] = False
190
cdp[cdp_number, 'auction', 'open'] = True
191
192
cdp[cdp_number, 'auction', 'highest_bidder'] = ctx.caller
193
cdp[cdp_number, 'auction', 'top_bid'] = 0.0
194
195
cdp[cdp_number, 'auction', 'time'] = get_timestamp()
196
197
return True
198
199
200
@export
201
def bid_on_force_close(cdp_number: int, amount: float):
202
assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
203
assert cdp[cdp_number, 'auction',
204
'open'] is True, 'Auction is not open!'
205
assert amount > cdp[cdp_number, 'auction',
206
'top_bid'], 'There is already a higher bid!'
207
208
if cdp[cdp_number, 'auction', ctx.caller, 'bid'] is not None:
209
tad_contract.transfer_from(
210
amount=amount - cdp[cdp_number, 'auction', ctx.caller, 'bid'],
211
to=ctx.this, main_account=ctx.caller)
212
213
else:
214
tad_contract.transfer_from(
215
amount=amount, to=ctx.this, main_account=ctx.caller)
216
217
cdp[cdp_number, 'auction', 'highest_bidder'] = ctx.caller
218
cdp[cdp_number, 'auction', 'top_bid'] = amount
219
cdp[cdp_number, 'auction', ctx.caller, 'bid'] = amount
220
221
return True
222
223
224
@export
225
def settle_force_close(cdp_number: int):
226
assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
227
assert cdp[cdp_number, 'auction', 'open'] is True, 'Auction is not open!'
228
229
assert get_timestamp() - cdp[cdp_number, 'auction', 'time'] > vaults[cdp[cdp_number, 'vault_type'],
230
'minimum_auction_time'], 'Auction is still open!'
231
232
collateral = importlib.import_module(
233
vaults[cdp[cdp_number, 'vault_type'], 'collateral_type'])
234
235
cdp[cdp_number, 'auction', 'settled'] = True
236
cdp[cdp_number, 'open'] = False
237
cdp[cdp_number, 'auction', 'open'] = False
238
239
cdp[cdp_number, 'auction', cdp[cdp_number,
240
'auction', 'highest_bidder'], 'bid'] = 0
241
242
fee = cdp[cdp_number, 'auction', 'top_bid'] * 0.1
243
collateral.transfer_from(
244
amount=cdp[cdp_number, 'collateral_amount'], to=ctx.caller, main_account=ctx.this)
245
tad_contract.burn(amount=cdp[cdp_number, 'auction', 'top_bid'] - fee)
246
247
stability_pool[cdp[cdp_number, 'vault_type']] += fee
248
249
vaults[cdp[cdp_number, 'vault_type'], 'issued'] -= cdp[cdp_number, 'tad']
250
vaults[cdp[cdp_number, 'vault_type'],
251
'total'] -= cdp[cdp_number, 'auction', 'top_bid'] - fee # Fee is not burned, so it does not count
252
253
return cdp[cdp_number, 'auction', 'highest_bidder'], cdp[cdp_number,
254
'auction', 'top_bid']
255
256
257
@export
258
def claim_unwon_bid(cdp_number: int):
259
assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
260
assert cdp[cdp_number, 'auction',
261
'settled'] is True, 'Auction is still open or not opened!'
262
263
tad_contract.transfer(
264
to=ctx.caller, amount=cdp[cdp_number, 'auction', ctx.caller, 'bid'])
265
cdp[cdp_number, 'auction', ctx.caller, 'bid'] = 0
266
267
return True
268
269
270
@export
271
def sync_stability_pool(vault_type: int):
272
assert vault_type in vaults['list'], 'Not an available contract!'
273
274
default_amount = vaults[vault_type, 'total'] - vaults[vault_type, 'issued']
275
276
if default_amount > stability_pool[vault_type]:
277
vaults[vault_type, 'issued'] += stability_pool[vault_type]
278
stability_pool[vault_type] = 0
279
# Return new ratio
280
return fix_decimal(vaults[vault_type, 'issued'] / vaults[vault_type, 'total'])
281
282
else: # This also applies to negatives and zeros, although those situations are unlikely
283
vaults[vault_type, 'issued'] = vaults[vault_type, 'total']
284
stability_pool[vault_type] -= default_amount
285
286
return 1.0 # The ratio is perfectly equal
287
288
289
@export
290
def export_rewards(vault_type: int, amount: float):
291
assert vaults[vault_type, 'DSR', 'owner'] == ctx.caller, 'Not the owner!'
292
assert stability_pool[vault_type] >= amount, 'Not enough tad in stability pool to export!'
293
294
stability_pool[vault_type] -= amount
295
tad_contract.transfer(to=ctx.caller, amount=amount)
296
297
return True
298
299
300
@export
301
def mint_rewards(amount: float):
302
assert vaults['mint', 'DSR', 'owner'] == ctx.caller, 'Not the owner!'
303
assert amount > 0, 'Cannot mint negative amount!'
304
305
tad_contract.mint(amount=amount)
306
tad_contract.transfer(to=ctx.caller, amount=amount)
307
308
total_weight = 0
309
total_funds = amount
310
311
for vault_type in vaults['list']:
312
total_weight += vaults[vault_type, 'weight']
313
314
# To make the contract more robust, and to prevent floating point errors
315
for vault_type in vaults['list']:
316
funds_transferred = fix_decimal(
317
vaults[vault_type, 'weight'] / total_weight) * total_funds
318
vaults[vault_type, 'total'] += funds_transferred
319
320
total_funds -= funds_transferred
321
total_weight -= vaults[vault_type, 'weight']
322
323
return True
324
325
326
@export
327
def sync_burn(vault_type: int, amount: float):
328
assert vault_type in vaults['list'], 'Not an available contract!'
329
330
tad_contract.transfer_from(
331
to=ctx.this, amount=amount, main_account=ctx.caller)
332
tad_contract.burn(amount=amount)
333
334
vaults[vault_type, 'total'] -= amount
335
336
return vaults[vault_type, 'total']
337
338
339
@export
340
def add_vault(collateral_type: str, collateral_amount: float, auction_time: float,
341
max_minted: float, s_rate: float, weight: float):
342
assert vaults['OWNER'] == ctx.caller, 'Not the owner!'
343
344
vault_number = vaults['current_number']
345
vaults['list'].append(vault_number)
346
vaults['current_number'] += 1
347
348
vaults[vault_number, 'collateral_type'] = collateral_type
349
vaults[vault_number, 'minimum_collateralization'] = collateral_amount
350
vaults[vault_number, 'minimum_auction_time'] = auction_time
351
vaults[vault_number, 'cap'] = max_minted
352
vaults[vault_number, 'weight'] = weight
353
354
stability_rate[vault_number] = s_rate
355
356
return vault_number
357
358
359
@export
360
def remove_vault(vault_type: int):
361
assert vaults['OWNER'] == ctx.caller, 'Not the owner!'
362
vaults['list'].remove(vault_type)
363
364
365
@export
366
def change_state(key: str, new_value: str, convert_to_decimal: bool = False):
367
assert vaults['OWNER'] == ctx.caller, 'Not the owner!'
368
assert type(key) == str, 'Invalid type for key'
369
assert type(new_value) == str, 'Invalid type for new value'
370
371
if convert_to_decimal:
372
new_value = decimal(new_value)
373
vaults[key] = new_value
374
375
return new_value
376
377
378
@export
379
def change_any_state(key: Any, new_value: Any, convert_to_tuple: bool = False):
380
assert vaults['OWNER'] == ctx.caller, 'Not the owner!'
381
382
if convert_to_tuple:
383
key = tuple(key)
384
385
vaults[key] = new_value
386
387
return new_value
388
389
390
@export
391
def change_stability_rate(key: int, new_value: float):
392
assert vaults['OWNER'] == ctx.caller, 'Not the owner!'
393
394
stability_rate[key] = new_value
395
396
return new_value
397
398
399
@export
400
def get_collateralization_percent(cdp_number: int):
401
assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
402
oracle = importlib.import_module(vaults['oracle'])
403
404
return cdp[cdp_number, 'collateral_amount'] * oracle.get_price(cdp[cdp_number, 'vault_type']) / cdp[cdp_number, 'tad']
405
406
407
def assert_insufficent_collateral(cdp_number: int):
408
assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
409
410
oracle = importlib.import_module(vaults['oracle'])
411
412
assert (cdp[cdp_number, 'collateral_amount'] * oracle.get_price(cdp[cdp_number, 'vault_type']) / cdp[cdp_number, 'tad']) < \
413
vaults[cdp[cdp_number, 'collateral_type'], 'minimum_collateralization'], 'Vault above minimum collateralization!'
414
415
416
def fix_decimal(old_decimal: float):
417
temporary_var.set(old_decimal)
418
new_decimal = temporary_var.get()
419
420
return new_decimal
421
Byte Code
e30000000000000000000000000800000040000000731e02000065006a01640083015a02650364016402640364048d035a04650364056402640664048d035a05650364016402640764048d035a06650364016402640864048d035a07650864026409640a8d025a09640b640c84005a0a650b64028301640d640e840083015a0c650b64028301650d650e650e640f9c0364106411840483015a0f650b64028301650d64129c0164136414840483015a10650b64028301650d64129c0164156416840483015a11650b64028301650d64129c0164176418840483015a12650b64028301650d650e64199c02641a641b840483015a13650b64028301650d64129c01641c641d840483015a14650b64028301650d64129c01641e641f840483015a15650b64028301650d64209c0164216422840483015a16650b64028301650d650e64239c0264246425840483015a17650b64028301650e64269c0164276428840483015a18650b64028301650d650e64239c026429642a840483015a19650b64028301651a650e650e650e650e650e642b9c06642c642d840483015a1b650b64028301650d64209c01642e642f840483015a1c650b640283016442651a651a651d64319c0364326433840583015a1e650b640283016443651f651f651d64349c0364356436840583015a20650b64028301650d650e64379c0264386439840483015a21650b64028301650d64129c01643a643b840483015a22650d64129c01643c643d84045a23650e643e9c01643f644084045a24644153002944da0f636f6e5f6f63746f6265725f746164e900000000da11636f6e5f6f63746f6265725f7661756c74da067661756c74732903da0d64656661756c745f76616c7565da08636f6e7472616374da046e616d65e901000000da0e73746162696c6974795f72617465da03636470da0e73746162696c6974795f706f6f6cda0d74656d706f726172795f766172290272060000007207000000630000000000000000000000000400000043000000736800000074006a01740264013c006402740364033c0064026701740264043c006405740264063c006407740264073c006408740264133c007404640a8301740264143c00640c740264153c00640e740264163c006410740264173c00740464128301740564023c006400530029184eda054f574e45527202000000da0d63757272656e745f76616c7565da046c6973747208000000da0e63757272656e745f6e756d626572da066f7261636c65da0863757272656e6379da0f636f6c6c61746572616c5f747970657a03312e35da196d696e696d756d5f636f6c6c61746572616c697a6174696f6e6980f40300da146d696e696d756d5f61756374696f6e5f74696d6569a0860100da03636170e90a000000da067765696768747a12312e303030303030303031353436393239372902720200000072130000002902720200000072140000002902720200000072150000002902720200000072160000002902720200000072180000002906da03637478da0663616c6c6572da085f5f7661756c7473da055f5f636470da07646563696d616cda105f5f73746162696c6974795f72617465a900721f000000721f000000da00da045f5f5f5f0b000000731600000000010a0108010a010801080108010c0108010801080172210000006300000000000000000100000008000000430000007322000000740074016a01640164026402640364036403830618007d0074027c006a038301530029044e69b2070000720800000072020000002904da036e6f77da086461746574696d65da0d5f5f6669785f646563696d616cda077365636f6e64732901da027464721f000000721f0000007220000000da0d6765745f74696d657374616d701900000073040000000002180172270000002903da0a7661756c745f74797065da0d616d6f756e745f6f665f746164da14616d6f756e745f6f665f636f6c6c61746572616c630300000000000000070000000500000043000000737a0100007c007400640119006b067314740164028301820174026a0374007c0064036602190083017d0374026a0374006404190083017d047c046a047c0083017d057c0164056b04734e740164068301820174007c006407660219007c01170074007c006408660219006b017372740164098301820174057c027c0514007c011b00830174007c00640a660219006b0573967401640b830182017406640c19007d067406640c05001900640d370003003c0074076a0874067c06640e66023c00640f74067c06641066023c0074007c0064036602190074067c06640366023c007c0074067c06641166023c007c0174067c06641266023c007c0274067c06641366023c007409830074067c06641466023c007c036a0a7c0274076a0b64158d0201007c036a0c7c0274076a0b74076a0864168d030100740d6a0e7c0164178d010100740d6a0f7c0174076a0864158d02010074007c0064186602050019007c01370003003c0074007c0064076602050019007c01370003003c007c06530029194e720f0000007a1a4e6f7420616e20617661696c61626c6520636f6e7472616374217213000000721100000072020000007a1f416d6f756e74206f6620746164206d75737420626520706f73697469766521da05746f74616c72160000007a1f54686520616c6c6f77616e6365206973206e6f7420737566666963656e742172140000007a164e6f7420656e6f75676820636f6c6c61746572616c21720e0000007208000000da056f776e657254da046f70656e7228000000da03746164da11636f6c6c61746572616c5f616d6f756e74da0474696d652902da06616d6f756e74da02746f290372310000007232000000da0c6d61696e5f6163636f756e7429017231000000da066973737565642910721b000000da0e417373657274696f6e4572726f72da09696d706f72746c6962da0d696d706f72745f6d6f64756c65da096765745f70726963657224000000721c0000007219000000721a0000007227000000da07617070726f7665da0474686973da0d7472616e736665725f66726f6dda0c7461645f636f6e7472616374da046d696e74da087472616e73666572290772280000007229000000722a000000da0a636f6c6c61746572616c7211000000da057072696365da0a6364705f6e756d626572721f000000721f0000007220000000da0c6372656174655f7661756c741f000000733a0000000003140108010a010e010a011001100114010e0110010601080110010e010c01040110010c010c010c010e0110010a010a010c01100114011401724200000029017241000000630100000000000000060000000600000043000000735a01000074007c0064016602190074016a026b02731a740364028301820174007c0064036602190064046b027332740364058301820174046a05740674007c0064066602190064076602190083017d017407740674007c00640666021900640866021900740674007c006406660219006409660219001b0083017d0274007c00640a660219007c0214007d037c03740874007c0064066602190019007409830074007c00640b660219001800130014007c0318007d047c037c0417007d05740a6a0b7c0574016a0c74016a02640c8d030100740a6a0d7c03640d8d010100740e74007c00640666021900050019007c04370003003c00740674007c00640666021900640966020500190074007c00640a66021900380003003c00740674007c0064066602190064086602050019007c03380003003c00640e74007c00640366023c007c016a0f74007c00640f6602190074016a0264108d0201007c05530029114e722c0000007a0e4e6f7420746865206f776e657221722d000000547a1e5661756c742068617320616c7265616479206265656e20636c6f7365642172280000007213000000722b0000007234000000722e000000723000000029037231000000723200000072330000002901723100000046722f0000002902723100000072320000002910721c0000007219000000721a000000723500000072360000007237000000721b0000007224000000721e0000007227000000723c000000723b000000723a000000da046275726eda105f5f73746162696c6974795f706f6f6c723e00000029067241000000723f000000da0f73746162696c6974795f726174696fda0f726564656d7074696f6e5f636f7374da036665657231000000721f000000721f0000007220000000da0b636c6f73655f7661756c7441000000732800000000021a0118010a0110010e011e01100110011a01080114020c01180118010c011c010c010e010a0172480000006301000000000000000b0000000700000043000000738602000074007c0064018d01010074017c0064026602190064036b087322740264048301820174036a04740574017c0064056602190064066602190083017d0174036a0474056407190083017d027406740574017c00640566021900640866021900740574017c006405660219006409660219001b0083017d0374017c00640a660219007c0314007d047c0474067407640b8301830114007d057c04740874017c0064056602190019007409830074017c00640c660219001800130014007c0418007d067c057c0637007d0574017c00640d660219007d077c026a0a74017c0064056602190083017d0874067c077c0814007c051b0083017d097c0974067407640e830183016b05900172ac740b6a0c7c05740d6a0e740d6a0f640f8d030100740b6a107c0464108d01010074067c0574067407640e8301830114007c081b0083017d0a7c016a117c0a740d6a0f64118d0201007c016a117c077c0a180074017c0064126602190064118d020100740574017c00640566021900640966020500190074017c00640a66021900380003003c00740574017c0064056602190064086602050019007c04380003003c006eae7c0574067c0974067407640e830183011b00830114007c0474067c0974067407640e830183011b008301140002007d057d04740b6a0c7c05740d6a0e740d6a0f640f8d030100740b6a107c0464108d01010074017c00640d660219007d0a7c016a117c0a740d6a0f64118d020100740574017c00640566021900640966020500190074017c00640a66021900380003003c00740574017c0064056602190064086602050019007c04380003003c00741274017c00640566021900050019007c057c041800370003003c00641374017c00640266023c007c0a530029144e29017241000000722d000000547a1e5661756c742068617320616c7265616479206265656e20636c6f73656421722800000072130000007211000000722b0000007234000000722e0000007a03312e317230000000722f0000007a04312e3033290372310000007232000000723300000029017231000000290272310000007232000000722c000000462913da1f5f5f6173736572745f696e737566666963656e745f636f6c6c61746572616c721c000000723500000072360000007237000000721b0000007224000000721d000000721e00000072270000007238000000723c000000723b0000007219000000723a000000721a0000007243000000723e0000007244000000290b7241000000723f00000072110000007245000000da1b726564656d7074696f6e5f636f73745f776974686f75745f66656572460000007247000000722a0000007240000000da12636f6c6c61746572616c5f70657263656e747231000000721f000000721f0000007220000000da16666173745f666f7263655f636c6f73655f7661756c745a000000736000000000020a0118010a0110010e010e011e01100106010a0108011c01060108010c0112010801080112010a010a010c010201160110010c010e0116010e0114010a0202011401040118010a010a010c010c01100116010e011401080110010c010c01724c00000063010000000000000001000000050000004300000073a400000074007c0064018d01010074017c0064026602190064036b037322740264048301820174017c00640564066603190064076b09733c740264088301820174017c0064066602190064076b0873547402640983018201640a74017c00640666023c00640774017c006405640666033c0074036a0474017c006405640b66033c007405640c830174017c006405640d66033c007406830074017c006405640e66033c0064075300290f4e29017241000000722c00000072020000007a0f4e6f6e6578697374656e7420636470da0761756374696f6e722d000000547a2041756374696f6e20697320616c72656164792074616b696e6720706c616365217a1e5661756c742068617320616c7265616479206265656e20636c6f7365642146da0e686967686573745f6269646465727a03302e30da07746f705f626964723000000029077249000000721c00000072350000007219000000721a000000721d000000722700000029017241000000721f000000721f0000007220000000da186f70656e5f666f7263655f636c6f73655f61756374696f6e8f000000731600000000020a0118010c010e0118010c010e01100112011001725000000029027241000000723100000063020000000000000002000000070000004300000073d200000074007c0064016602190064026b037318740164038301820174007c00640464056603190064066b08733274016407830182017c0174007c0064046408660319006b04734c740164098301820174007c00640474026a03640a6604190064006b09728a74046a057c0174007c00640474026a03640a66041900180074026a0674026a03640b8d0301006e1474046a057c0174026a0674026a03640b8d03010074026a0374007c006404640c66033c007c0174007c006404640866033c007c0174007c00640474026a03640a66043c0064065300290d4e722c00000072020000007a0f4e6f6e6578697374656e7420636470724d000000722d000000547a1441756374696f6e206973206e6f74206f70656e21724f0000007a1e546865726520697320616c72656164792061206869676865722062696421da036269642903723100000072320000007233000000724e0000002907721c00000072350000007219000000721a000000723c000000723b000000723a000000290272410000007231000000721f000000721f0000007220000000da126269645f6f6e5f666f7263655f636c6f73659e000000731a000000000218011a011401060116010a011e030a010a0110010e0112017252000000630100000000000000030000000800000043000000738c01000074007c0064016602190064026b037318740164038301820174007c00640464056603190064066b08733274016407830182017402830074007c0064046408660319001800740374007c00640966021900640a660219006b0473627401640b8301820174046a05740374007c00640966021900640c6602190083017d01640674007c006404640d66033c00640e74007c00640566023c00640e74007c006404640566033c00640274007c00640474007c006404640f66031900641066043c0074007c00640464116603190074066412830114007d027c016a0774007c0064136602190074086a0974086a0a64148d030100740b6a0c74007c0064046411660319007c02180064158d010100740d74007c00640966021900050019007c02370003003c00740374007c00640966021900641666020500190074007c00641766021900380003003c00740374007c00640966021900641866020500190074007c0064046411660319007c021800380003003c0074007c006404640f6603190074007c0064046411660319006602530029194e722c00000072020000007a0f4e6f6e6578697374656e7420636470724d000000722d000000547a1441756374696f6e206973206e6f74206f70656e217230000000722800000072150000007a1641756374696f6e206973207374696c6c206f70656e217213000000da07736574746c656446724e0000007251000000724f0000007a03302e31722f0000002903723100000072320000007233000000290172310000007234000000722e000000722b000000290e721c00000072350000007227000000721b00000072360000007237000000721d000000723b0000007219000000721a000000723a000000723c0000007243000000724400000029037241000000723f0000007247000000721f000000721f0000007220000000da12736574746c655f666f7263655f636c6f7365b1000000732c000000000218011a011401160106010a0110010e010c010e021a0116010e010e011a01180118010c011801120110017254000000630100000000000000010000000700000043000000736600000074007c0064016602190064026b037318740164038301820174007c00640464056603190064066b087332740164078301820174026a0374046a0574007c00640474046a0564086604190064098d020100640274007c00640474046a05640866043c0064065300290a4e722c00000072020000007a0f4e6f6e6578697374656e7420636470724d0000007253000000547a2441756374696f6e206973207374696c6c206f70656e206f72206e6f74206f70656e65642172510000002902723200000072310000002906721c0000007235000000723c000000723e0000007219000000721a00000029017241000000721f000000721f0000007220000000da0f636c61696d5f756e776f6e5f626964cc000000730e000000000218010c010e010e011001120172550000002901722800000063010000000000000002000000050000004300000073a40000007c007400640119006b067314740164028301820174007c0064036602190074007c0064046602190018007d017c0174027c0019006b04727474007c00640466020500190074027c001900370003003c00640574027c003c00740374007c0064046602190074007c006403660219001b008301530074007c0064036602190074007c00640466023c0074027c00050019007c01380003003c0074046406830153006400530029074e720f0000007a1a4e6f7420616e20617661696c61626c6520636f6e747261637421722b000000723400000072020000007a03312e302905721b000000723500000072440000007224000000721d00000029027228000000da0e64656661756c745f616d6f756e74721f000000721f0000007220000000da1373796e635f73746162696c6974795f706f6f6cd70000007316000000000214010e010a010c01180108010e010e02140110017257000000290272280000007231000000630200000000000000020000000400000043000000735400000074007c00640164026603190074016a026b02731c740364038301820174047c0019007c016b057330740364048301820174047c00050019007c01380003003c0074056a0674016a027c0164058d0201006406530029074eda03445352722c0000007a0e4e6f7420746865206f776e6572217a2b4e6f7420656e6f7567682074616420696e2073746162696c69747920706f6f6c20746f206578706f727421290272320000007231000000542907721b0000007219000000721a00000072350000007244000000723c000000723e000000290272280000007231000000721f000000721f0000007220000000da0e6578706f72745f72657761726473e7000000730c00000000021c0106010e011001100172590000002901723100000063010000000000000005000000050000004300000073c60000007400640d190074016a026b02731674036404830182017c0064056b047326740364068301820174046a057c0064078d01010074046a0674016a027c0064088d02010064057d017c007d02782074006409190044005d147d037c0174007c03640a6602190037007d0171545700785474006409190044005d487d03740774007c03640a660219007c011b0083017c0214007d0474007c03640b6602050019007c04370003003c007c027c0438007d027c0174007c03640a6602190038007d0171765700640c5300290e4e723d0000007258000000722c0000007a0e4e6f7420746865206f776e65722172020000007a1c43616e6e6f74206d696e74206e6567617469766520616d6f756e742129017231000000290272320000007231000000720f0000007218000000722b000000542903723d0000007258000000722c0000002908721b0000007219000000721a0000007235000000723c000000723d000000723e000000722400000029057231000000da0c746f74616c5f776569676874da0b746f74616c5f66756e64737228000000da1166756e64735f7472616e73666572726564721f000000721f0000007220000000da0c6d696e745f72657761726473f1000000731e0000000002160110010c011001040104010e0114010e010c010c01140108011401725d00000063020000000000000002000000050000004300000073540000007c007400640119006b067314740164028301820174026a0374046a057c0174046a0664038d03010074026a077c0164048d01010074007c0064056602050019007c01380003003c0074007c00640566021900530029064e720f0000007a1a4e6f7420616e20617661696c61626c6520636f6e747261637421290372320000007231000000723300000029017231000000722b0000002908721b0000007235000000723c000000723b0000007219000000723a000000721a0000007243000000290272280000007231000000721f000000721f0000007220000000da0973796e635f6275726e04010000730a0000000002140114020c011401725e00000029067213000000722f000000da0c61756374696f6e5f74696d65da0a6d61785f6d696e746564da06735f726174657218000000630600000000000000070000000400000043000000738400000074006401190074016a026b02731674036402830182017400640319007d067400640419006a047c068301010074006403050019006405370003003c007c0074007c06640666023c007c0174007c06640766023c007c0274007c06640866023c007c0374007c06640966023c007c0574007c06640a66023c007c0474057c063c007c065300290b4e720d0000007a0e4e6f7420746865206f776e6572217210000000720f0000007208000000721300000072140000007215000000721600000072180000002906721b0000007219000000721a0000007235000000da06617070656e64721e00000029077213000000722f000000725f000000726000000072610000007218000000da0c7661756c745f6e756d626572721f000000721f0000007220000000da096164645f7661756c740e01000073160000000003160108010e0110010c010c010c010c010c0108017264000000630100000000000000010000000200000043000000732800000074006401190074016a026b02731674036402830182017400640319006a047c00830101006400530029044e720d0000007a0e4e6f7420746865206f776e657221720f0000002905721b0000007219000000721a0000007235000000da0672656d6f766529017228000000721f000000721f0000007220000000da0c72656d6f76655f7661756c741e0100007304000000000216017266000000462903da036b6579da096e65775f76616c7565da12636f6e766572745f746f5f646563696d616c630300000000000000030000000300000043000000735600000074006401190074016a026b027316740364028301820174047c00830174056b02732a740364038301820174047c01830174056b02733e74036404830182017c02724a74067c0183017d017c0174007c003c007c01530029054e720d0000007a0e4e6f7420746865206f776e6572217a14496e76616c6964207479706520666f72206b65797a1a496e76616c6964207479706520666f72206e65772076616c75652907721b0000007219000000721a0000007235000000da0474797065da03737472721d0000002903726700000072680000007269000000721f000000721f0000007220000000da0c6368616e67655f737461746524010000730e0000000002160114011401040108010801726c000000290372670000007268000000da10636f6e766572745f746f5f7475706c65630300000000000000030000000300000043000000732e00000074006401190074016a026b02731674036402830182017c02722274047c0083017d007c0174007c003c007c01530029034e720d0000007a0e4e6f7420746865206f776e6572212905721b0000007219000000721a0000007235000000da057475706c65290372670000007268000000726d000000721f000000721f0000007220000000da106368616e67655f616e795f73746174652f010000730a00000000021601040108010801726f000000290272670000007268000000630200000000000000020000000300000043000000732200000074006401190074016a026b02731674036402830182017c0174047c003c007c01530029034e720d0000007a0e4e6f7420746865206f776e6572212905721b0000007219000000721a0000007235000000721e000000290272670000007268000000721f000000721f0000007220000000da156368616e67655f73746162696c6974795f726174653801000073060000000002160108017270000000630100000000000000020000000500000043000000735000000074007c0064016602190064026b037318740164038301820174026a0374046404190083017d0174007c006405660219007c016a0574007c006406660219008301140074007c006407660219001b00530029084e722c00000072020000007a0f4e6f6e6578697374656e74206364707211000000722f0000007228000000722e0000002906721c000000723500000072360000007237000000721b0000007238000000290272410000007211000000721f000000721f0000007220000000da1d6765745f636f6c6c61746572616c697a6174696f6e5f70657263656e743f0100007306000000000218010e027271000000630100000000000000020000000500000043000000737000000074007c0064016602190064026b037318740164038301820174026a0374046404190083017d0174007c006405660219007c016a0574007c006406660219008301140074007c006407660219001b00740474007c006408660219006409660219006b00736c7401640a8301820164005300290b4e722c00000072020000007a0f4e6f6e6578697374656e74206364707211000000722f0000007228000000722e000000721300000072140000007a265661756c742061626f7665206d696e696d756d20636f6c6c61746572616c697a6174696f6e212906721c000000723500000072360000007237000000721b0000007238000000290272410000007211000000721f000000721f0000007220000000724900000047010000730a000000000118010e022a01160172490000002901da0b6f6c645f646563696d616c630100000000000000020000000200000043000000731600000074006a017c008301010074006a0283007d017c01530029014e2903da0f5f5f74656d706f726172795f766172da03736574da0367657429027272000000da0b6e65775f646563696d616c721f000000721f0000007220000000722400000050010000730600000000010a01080172240000004e290146290146292572360000007237000000723c000000da0448617368721b000000721e000000721c0000007244000000da085661726961626c6572730000007221000000da085f5f6578706f72747227000000da03696e74da05666c6f617472420000007248000000724c000000725000000072520000007254000000725500000072570000007259000000725d000000725e000000726b00000072640000007266000000da04626f6f6c726c000000da03416e79726f0000007270000000727100000072490000007224000000721f000000721f000000721f0000007220000000da083c6d6f64756c653e01000000735e0000000a010e01060108010e01060108010c03080e100606010401102006011018060110340601100e060112120601101a0601100a0601100f06011209060110120601120906010401160e060110050601160a0601160806011206060110070e09