Contract con_dec_fix_6_vault


Contract Code


  
1 tad_contract = importlib.import_module('con_dec_fix_6_tad')
2 vaults = Hash(default_value=0)
3 stability_rate = Hash(default_value=1)
4 cdp = Hash(default_value=0)
5 stability_pool = Hash(default_value=0)
6 temporary_var = Variable()
7 @construct
8 def seed():
9 vaults['OWNER'] = ctx.caller
10 cdp['current_value'] = 0
11 vaults['list'] = [0]
12 vaults['current_number'] = 1
13 vaults['oracle'] = 'con_dec_fix_6_oracle' # dummy for testing purposes
14 vaults[0, 'collateral_type'] = 'currency'
15 vaults[0, 'minimum_collateralization'] = 1.5
16 vaults[0, 'minimum_auction_time'] = 259200
17 vaults[0, 'cap'] = 100000
18 vaults[0, 'weight'] = 10
19 stability_rate[0] = 1.1 # dummy for testing purposes
20 @export
21 def get_timestamp():
22 # https://developers.lamden.io/docs/smart-contracts/datetime-module/
23 td = now - datetime.datetime(1970, 1, 1, 0, 0, 0)
24 return fix_decimal(td.seconds)
25 @export
26 def create_vault(vault_type: int, amount_of_tad: float,
27 amount_of_collateral: float):
28 assert vault_type in vaults['list'], 'Not an available contract!'
29 collateral = importlib.import_module(
30 vaults[vault_type, 'collateral_type']) # TODO: Add interface enforcement
31 oracle = importlib.import_module(vaults['oracle'])
32 price = oracle.get_price(vault_type)
33 assert amount_of_tad > 0, 'Amount of tad must be positive!'
34 assert vaults[vault_type, 'total'] + amount_of_tad <= vaults[vault_type,
35 'cap'], 'The allowance is not sufficent!'
36 assert fix_decimal((amount_of_collateral * price) / \
37 amount_of_tad) >= vaults[vault_type,
38 'minimum_collateralization'], 'Not enough collateral!'
39 cdp_number = cdp['current_value']
40 cdp['current_value'] += 1
41 cdp[cdp_number, 'owner'] = ctx.caller
42 cdp[cdp_number, 'open'] = True
43 cdp[cdp_number, 'collateral_type'] = vaults[vault_type, 'collateral_type']
44 cdp[cdp_number, 'vault_type'] = vault_type
45 cdp[cdp_number, 'tad'] = amount_of_tad
46 cdp[cdp_number, 'collateral_amount'] = amount_of_collateral
47 cdp[cdp_number, 'time'] = get_timestamp()
48 collateral.approve(amount=amount_of_collateral, to=ctx.this)
49 collateral.transfer_from(amount=amount_of_collateral,
50 to=ctx.this, main_account=ctx.caller)
51 tad_contract.mint(amount=amount_of_tad)
52 tad_contract.transfer(amount=amount_of_tad, to=ctx.caller)
53 vaults[vault_type, 'issued'] += amount_of_tad
54 vaults[vault_type, 'total'] += amount_of_tad
55 return cdp_number
56 @export
57 def close_vault(cdp_number: int):
58 assert cdp[cdp_number, 'owner'] == ctx.caller, 'Not the owner!'
59 assert cdp[cdp_number, 'open'] == True, 'Vault has already been closed!'
60 collateral = importlib.import_module(
61 vaults[cdp[cdp_number, 'vault_type'], 'collateral_type'])
62 stability_ratio = fix_decimal(vaults[cdp[cdp_number, 'vault_type'], 'total'] / \
63 vaults[cdp[cdp_number, 'vault_type'], 'issued'])
64 redemption_cost = cdp[cdp_number, 'tad'] * stability_ratio
65 fee = redemption_cost * \
66 (stability_rate[cdp[cdp_number, 'vault_type']] **
67 (get_timestamp() - cdp[cdp_number, 'time'])) - redemption_cost
68 amount = redemption_cost + fee
69 tad_contract.transfer_from(
70 amount=amount, to=ctx.this, main_account=ctx.caller)
71 tad_contract.burn(amount=redemption_cost)
72 stability_pool[cdp[cdp_number, 'vault_type']] += fee
73 vaults[cdp[cdp_number, 'vault_type'], 'issued'] -= cdp[cdp_number, 'tad']
74 # This is only different if the ratio is different
75 vaults[cdp[cdp_number, 'vault_type'], 'total'] -= redemption_cost
76 cdp[cdp_number, 'open'] = False
77 # Return collateral
78 collateral.transfer(
79 amount=cdp[cdp_number, 'collateral_amount'], to=ctx.caller)
80 return amount
81 @export
82 def fast_force_close_vault(cdp_number: int):
83 assert_insufficent_collateral(cdp_number=cdp_number)
84 assert cdp[cdp_number, 'open'] is True, 'Vault has already been closed!'
85 collateral = importlib.import_module(
86 vaults[cdp[cdp_number, 'vault_type'], 'collateral_type'])
87 oracle = importlib.import_module(vaults['oracle'])
88 stability_ratio = fix_decimal(vaults[cdp[cdp_number, 'vault_type'],
89 'total'] / vaults[cdp[cdp_number, 'vault_type'], 'issued'])
90 redemption_cost_without_fee = cdp[cdp_number,
91 'tad'] * stability_ratio
92 redemption_cost = redemption_cost_without_fee * fix_decimal(1.1)
93 fee = redemption_cost_without_fee * \
94 (stability_rate[cdp[cdp_number, 'vault_type']]
95 ** (get_timestamp() - cdp[cdp_number, 'time'])) - redemption_cost_without_fee
96 redemption_cost += fee
97 amount_of_collateral = cdp[cdp_number, 'collateral_amount']
98 collateral_type = cdp[cdp_number, 'collateral_type']
99 price = oracle.get_price(cdp[cdp_number, 'vault_type'])
100 collateral_percent = fix_decimal((amount_of_collateral * price) / \
101 redemption_cost)
102 if collateral_percent >= fix_decimal(1.03):
103 tad_contract.transfer_from(
104 amount=redemption_cost, to=ctx.this, main_account=ctx.caller)
105 tad_contract.burn(amount=redemption_cost_without_fee)
106 amount = fix_decimal((redemption_cost * fix_decimal(1.03)) / price) # Double check this math is correct
107 collateral.transfer(amount=amount, to=ctx.caller)
108 collateral.transfer(amount=amount_of_collateral -
109 amount, to=cdp[cdp_number, 'owner'])
110 vaults[cdp[cdp_number, 'vault_type'],
111 'issued'] -= cdp[cdp_number, 'tad']
112 vaults[cdp[cdp_number, 'vault_type'],
113 'total'] -= redemption_cost_without_fee
114 else:
115 redemption_cost, redemption_cost_without_fee = redemption_cost * \
116 fix_decimal(collateral_percent / fix_decimal(1.03)), redemption_cost_without_fee * \
117 fix_decimal(collateral_percent / fix_decimal(1.03))
118 tad_contract.transfer_from(
119 amount=redemption_cost, to=ctx.this, main_account=ctx.caller)
120 tad_contract.burn(amount=redemption_cost_without_fee)
121 amount = cdp[cdp_number, 'collateral_amount']
122 # TODO: Add an assert later
123 collateral.transfer(amount=amount, to=ctx.caller)
124 vaults[cdp[cdp_number, 'vault_type'],
125 'issued'] -= cdp[cdp_number, 'tad']
126 vaults[cdp[cdp_number, 'vault_type'],
127 'total'] -= redemption_cost_without_fee
128 stability_pool[cdp[cdp_number, 'vault_type']
129 ] += redemption_cost - redemption_cost_without_fee
130 cdp[cdp_number, 'open'] = False
131 return amount
132 @export
133 def open_force_close_auction(cdp_number: int):
134 assert_insufficent_collateral(cdp_number=cdp_number)
135 assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
136 assert cdp[cdp_number, 'auction',
137 'open'] is not True, 'Auction is already taking place!' # Probably a redundant check, can be removed
138 assert cdp[cdp_number, 'open'] is True, 'Vault has already been closed!'
139 # This contract may only be bid on, and not closed
140 cdp[cdp_number, 'open'] = False
141 cdp[cdp_number, 'auction', 'open'] = True
142 cdp[cdp_number, 'auction', 'highest_bidder'] = ctx.caller
143 cdp[cdp_number, 'auction', 'top_bid'] = 0.0
144 cdp[cdp_number, 'auction', 'time'] = get_timestamp()
145 return True
146 @export
147 def bid_on_force_close(cdp_number: int, amount: float):
148 assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
149 assert cdp[cdp_number, 'auction',
150 'open'] is True, 'Auction is not open!'
151 assert amount > cdp[cdp_number, 'auction',
152 'top_bid'], 'There is already a higher bid!'
153 if cdp[cdp_number, 'auction', ctx.caller, 'bid'] is not None:
154 tad_contract.transfer_from(
155 amount=amount - cdp[cdp_number, 'auction', ctx.caller, 'bid'],
156 to=ctx.this, main_account=ctx.caller)
157 else:
158 tad_contract.transfer_from(
159 amount=amount, to=ctx.this, main_account=ctx.caller)
160 cdp[cdp_number, 'auction', 'highest_bidder'] = ctx.caller
161 cdp[cdp_number, 'auction', 'top_bid'] = amount
162 cdp[cdp_number, 'auction', ctx.caller, 'bid'] = amount
163 return True
164 @export
165 def settle_force_close(cdp_number: int):
166 assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
167 assert cdp[cdp_number, 'auction', 'open'] is True, 'Auction is not open!'
168 assert get_timestamp() - cdp[cdp_number, 'auction', 'time'] > vaults[cdp[cdp_number, 'vault_type'],
169 'minimum_auction_time'], 'Auction is still open!'
170 collateral = importlib.import_module(
171 vaults[cdp[cdp_number, 'vault_type'], 'collateral_type'])
172 cdp[cdp_number, 'auction', 'settled'] = True
173 cdp[cdp_number, 'open'] = False
174 cdp[cdp_number, 'auction', 'open'] = False
175 cdp[cdp_number, 'auction', cdp[cdp_number,
176 'auction', 'highest_bidder'], 'bid'] = 0
177 fee = cdp[cdp_number, 'auction', 'top_bid'] * 0.1
178 collateral.transfer_from(
179 amount=cdp[cdp_number, 'collateral_amount'], to=ctx.caller, main_account=ctx.this)
180 tad_contract.burn(amount=cdp[cdp_number, 'auction', 'top_bid'] - fee)
181 stability_pool[cdp[cdp_number, 'vault_type']] += fee
182 vaults[cdp[cdp_number, 'vault_type'], 'issued'] -= cdp[cdp_number, 'tad']
183 vaults[cdp[cdp_number, 'vault_type'],
184 'total'] -= cdp[cdp_number, 'auction', 'top_bid'] - fee # Fee is not burned, so it does not count
185 return cdp[cdp_number, 'auction', 'highest_bidder'], cdp[cdp_number,
186 'auction', 'top_bid']
187 @export
188 def claim_unwon_bid(cdp_number: int):
189 assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
190 assert cdp[cdp_number, 'auction',
191 'settled'] is True, 'Auction is still open or not opened!'
192 tad_contract.transfer(
193 to=ctx.caller, amount=cdp[cdp_number, 'auction', ctx.caller, 'bid'])
194 cdp[cdp_number, 'auction', ctx.caller, 'bid'] = 0
195 return True
196 @export
197 def sync_stability_pool(vault_type: int):
198 assert vault_type in vaults['list'], 'Not an available contract!'
199 default_amount = vaults[vault_type, 'total'] - vaults[vault_type, 'issued']
200 if default_amount > stability_pool[vault_type]:
201 vaults[vault_type, 'issued'] += stability_pool[vault_type]
202 stability_pool[vault_type] = 0
203 # Return new ratio
204 return fix_decimal(vaults[vault_type, 'issued'] / vaults[vault_type, 'total'])
205 else: # This also applies to negatives and zeros, although those situations are unlikely
206 vaults[vault_type, 'issued'] = vaults[vault_type, 'total']
207 stability_pool[vault_type] -= default_amount
208 return 1.0 # The ratio is perfectly equal
209 @export
210 def export_rewards(vault_type: int, amount: float):
211 # TODO: Change DSR to something else in future
212 assert vaults[vault_type, 'DSR', 'owner'] == ctx.caller, 'Not the owner!'
213 assert stability_pool[vault_type] >= amount, 'Not enough tad in stability pool to export!'
214 stability_pool[vault_type] -= amount
215 tad_contract.transfer(to=ctx.caller, amount=amount)
216 return True
217 @export
218 def mint_rewards(amount: float): # TODO: MAKE SURE MATH CHECKS OUT
219 # TODO: Change DSR to something else in future
220 assert vaults['mint', 'DSR', 'owner'] == ctx.caller, 'Not the owner!'
221 assert amount > 0, 'Cannot mint negative amount!'
222 tad_contract.mint(amount=amount)
223 tad_contract.transfer(to=ctx.caller, amount=amount)
224 total_weight = 0
225 total_funds = amount
226 for vault_type in vaults['list']:
227 total_weight += vaults[vault_type, 'weight']
228 # To make the contract more robust, and to prevent floating point errors
229 for vault_type in vaults['list']:
230 funds_transferred = fix_decimal(
231 vaults[vault_type, 'weight'] / total_weight) * total_funds
232 vaults[vault_type, 'total'] += funds_transferred
233 total_funds -= funds_transferred
234 total_weight -= vaults[vault_type, 'weight']
235 return True
236 @export
237 def sync_burn(vault_type: int, amount: float):
238 assert vault_type in vaults['list'], 'Not an available contract!'
239 tad_contract.transfer_from(
240 to=ctx.this, amount=amount, main_account=ctx.caller)
241 tad_contract.burn(amount=amount)
242 vaults[vault_type, 'total'] -= amount
243 return vaults[vault_type, 'total']
244 @export
245 def add_vault(collateral_type: str, collateral_amount: float, auction_time: float,
246 max_minted: float, s_rate: float, weight: float):
247 assert vaults['OWNER'] == ctx.caller, 'Not the owner!'
248 vault_number = vaults['current_number']
249 vaults['list'].append(vault_number)
250 vaults['current_number'] += 1
251 vaults[vault_number, 'collateral_type'] = collateral_type
252 vaults[vault_number, 'minimum_collateralization'] = collateral_amount
253 vaults[vault_number, 'minimum_auction_time'] = auction_time
254 vaults[vault_number, 'cap'] = max_minted
255 vaults[vault_number, 'weight'] = weight
256 stability_rate[vault_number] = s_rate
257 return vault_number
258 @export
259 def remove_vault(vault_type: int):
260 assert vaults['OWNER'] == ctx.caller, 'Not the owner!'
261 vaults['list'].remove(vault_type)
262 @export
263 def change_state(key: str, new_value: str, convert_to_decimal: bool = False):
264 assert vaults['OWNER'] == ctx.caller, 'Not the owner!'
265 assert type(key) == str, 'Invalid type for key'
266 assert type(new_value) == str, 'Invalid type for new value'
267 if convert_to_decimal:
268 new_value = decimal(new_value)
269 vaults[key] = new_value
270 return new_value
271 @export
272 def change_any_state(key: Any, new_value: Any, convert_to_tuple: bool = False):
273 assert vaults['OWNER'] == ctx.caller, 'Not the owner!'
274 if convert_to_tuple:
275 key = tuple(key)
276 vaults[key] = new_value
277 return new_value
278 @export
279 def change_stability_rate(key: int, new_value: float):
280 assert vaults['OWNER'] == ctx.caller, 'Not the owner!'
281 stability_rate[key] = new_value
282 return new_value
283 @export
284 def get_collateralization_percent(cdp_number: int):
285 assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
286 # TODO: Change this from a one-liner to proper function
287 oracle = importlib.import_module(vaults['oracle'])
288 return cdp[cdp_number, 'collateral_amount'] * oracle.get_price(cdp[cdp_number, 'vault_type']) / cdp[cdp_number, 'tad']
289 # code to check if minimum is met would be
290 # assert cdp[cdp_number, 'collateral_amount'] >= vaults[cdp[cdp_number, 'collateral_type'], 'minimum_collateralization']
291 def assert_insufficent_collateral(cdp_number: int):
292 assert cdp[cdp_number, 'owner'] != 0, 'Nonexistent cdp'
293 oracle = importlib.import_module(vaults['oracle'])
294 assert (cdp[cdp_number, 'collateral_amount'] * oracle.get_price(cdp[cdp_number, 'vault_type']) / cdp[cdp_number, 'tad']) < \
295 vaults[cdp[cdp_number, 'collateral_type'], 'minimum_collateralization'], 'Vault above minimum collateralization!'
296
297 def fix_decimal(old_decimal: float):
298 temporary_var.set(old_decimal)
299 new_decimal = temporary_var.get()
300
301 return new_decimal

Byte Code

e30000000000000000000000000800000040000000731e02000065006a01640083015a02650364016402640364048d035a04650364056402640664048d035a05650364016402640764048d035a06650364016402640864048d035a07650864026409640a8d025a09640b640c84005a0a650b64028301640d640e840083015a0c650b64028301650d650e650e640f9c0364106411840483015a0f650b64028301650d64129c0164136414840483015a10650b64028301650d64129c0164156416840483015a11650b64028301650d64129c0164176418840483015a12650b64028301650d650e64199c02641a641b840483015a13650b64028301650d64129c01641c641d840483015a14650b64028301650d64129c01641e641f840483015a15650b64028301650d64209c0164216422840483015a16650b64028301650d650e64239c0264246425840483015a17650b64028301650e64269c0164276428840483015a18650b64028301650d650e64239c026429642a840483015a19650b64028301651a650e650e650e650e650e642b9c06642c642d840483015a1b650b64028301650d64209c01642e642f840483015a1c650b640283016442651a651a651d64319c0364326433840583015a1e650b640283016443651f651f651d64349c0364356436840583015a20650b64028301650d650e64379c0264386439840483015a21650b64028301650d64129c01643a643b840483015a22650d64129c01643c643d84045a23650e643e9c01643f644084045a24644153002944da11636f6e5f6465635f6669785f365f746164e900000000da13636f6e5f6465635f6669785f365f7661756c74da067661756c74732903da0d64656661756c745f76616c7565da08636f6e7472616374da046e616d65e901000000da0e73746162696c6974795f72617465da03636470da0e73746162696c6974795f706f6f6cda0d74656d706f726172795f766172290272060000007207000000630000000000000000000000000400000043000000736800000074006a01740264013c006402740364033c0064026701740264043c006405740264063c006407740264083c006409740264143c007404640b8301740264153c00640d740264163c00640f740264173c006411740264183c00740464138301740564023c006400530029194eda054f574e45527202000000da0d63757272656e745f76616c7565da046c6973747208000000da0e63757272656e745f6e756d626572da14636f6e5f6465635f6669785f365f6f7261636c65da066f7261636c65da0863757272656e6379da0f636f6c6c61746572616c5f747970657a03312e35da196d696e696d756d5f636f6c6c61746572616c697a6174696f6e6980f40300da146d696e696d756d5f61756374696f6e5f74696d6569a0860100da03636170e90a000000da067765696768747a03312e312902720200000072140000002902720200000072150000002902720200000072160000002902720200000072170000002902720200000072190000002906da03637478da0663616c6c6572da085f5f7661756c7473da055f5f636470da07646563696d616cda105f5f73746162696c6974795f72617465a90072200000007220000000da00da045f5f5f5f0c000000731600000000010a0108010a010801080108010c0108010801080172220000006300000000000000000100000008000000430000007322000000740074016a01640164026402640364036403830618007d0074027c006a038301530029044e69b2070000720800000072020000002904da036e6f77da086461746574696d65da0d5f5f6669785f646563696d616cda077365636f6e64732901da027464722000000072200000007221000000da0d6765745f74696d657374616d701a00000073040000000002180172280000002903da0a7661756c745f74797065da0d616d6f756e745f6f665f746164da14616d6f756e745f6f665f636f6c6c61746572616c630300000000000000070000000500000043000000737a0100007c007400640119006b067314740164028301820174026a0374007c0064036602190083017d0374026a0374006404190083017d047c046a047c0083017d057c0164056b04734e740164068301820174007c006407660219007c01170074007c006408660219006b017372740164098301820174057c027c0514007c011b00830174007c00640a660219006b0573967401640b830182017406640c19007d067406640c05001900640d370003003c0074076a0874067c06640e66023c00640f74067c06641066023c0074007c0064036602190074067c06640366023c007c0074067c06641166023c007c0174067c06641266023c007c0274067c06641366023c007409830074067c06641466023c007c036a0a7c0274076a0b64158d0201007c036a0c7c0274076a0b74076a0864168d030100740d6a0e7c0164178d010100740d6a0f7c0174076a0864158d02010074007c0064186602050019007c01370003003c0074007c0064076602050019007c01370003003c007c06530029194e720f0000007a1a4e6f7420616e20617661696c61626c6520636f6e7472616374217214000000721200000072020000007a1f416d6f756e74206f6620746164206d75737420626520706f73697469766521da05746f74616c72170000007a1f54686520616c6c6f77616e6365206973206e6f7420737566666963656e742172150000007a164e6f7420656e6f75676820636f6c6c61746572616c21720e0000007208000000da056f776e657254da046f70656e7229000000da03746164da11636f6c6c61746572616c5f616d6f756e74da0474696d652902da06616d6f756e74da02746f290372320000007233000000da0c6d61696e5f6163636f756e7429017232000000da066973737565642910721c000000da0e417373657274696f6e4572726f72da09696d706f72746c6962da0d696d706f72745f6d6f64756c65da096765745f70726963657225000000721d000000721a000000721b0000007228000000da07617070726f7665da0474686973da0d7472616e736665725f66726f6dda0c7461645f636f6e7472616374da046d696e74da087472616e7366657229077229000000722a000000722b000000da0a636f6c6c61746572616c7212000000da057072696365da0a6364705f6e756d626572722000000072200000007221000000da0c6372656174655f7661756c7420000000733a0000000003140108010a010e010a011001100114010e0110010601080110010e010c01040110010c010c010c010e0110010a010a010c01100114011401724300000029017242000000630100000000000000060000000600000043000000735a01000074007c0064016602190074016a026b02731a740364028301820174007c0064036602190064046b027332740364058301820174046a05740674007c0064066602190064076602190083017d017407740674007c00640666021900640866021900740674007c006406660219006409660219001b0083017d0274007c00640a660219007c0214007d037c03740874007c0064066602190019007409830074007c00640b660219001800130014007c0318007d047c037c0417007d05740a6a0b7c0574016a0c74016a02640c8d030100740a6a0d7c03640d8d010100740e74007c00640666021900050019007c04370003003c00740674007c00640666021900640966020500190074007c00640a66021900380003003c00740674007c0064066602190064086602050019007c03380003003c00640e74007c00640366023c007c016a0f74007c00640f6602190074016a0264108d0201007c05530029114e722d0000007a0e4e6f7420746865206f776e657221722e000000547a1e5661756c742068617320616c7265616479206265656e20636c6f7365642172290000007214000000722c0000007235000000722f00000072310000002903723200000072330000007234000000290172320000004672300000002902723200000072330000002910721d000000721a000000721b000000723600000072370000007238000000721c0000007225000000721f0000007228000000723d000000723c000000723b000000da046275726eda105f5f73746162696c6974795f706f6f6c723f000000290672420000007240000000da0f73746162696c6974795f726174696fda0f726564656d7074696f6e5f636f7374da036665657232000000722000000072200000007221000000da0b636c6f73655f7661756c7442000000732800000000021a0118010a0110010e011e01100110011a01080114020c01180118010c011c010c010e010a0172490000006301000000000000000c0000000700000043000000739202000074007c0064018d01010074017c0064026602190064036b087322740264048301820174036a04740574017c0064056602190064066602190083017d0174036a0474056407190083017d027406740574017c00640566021900640866021900740574017c006405660219006409660219001b0083017d0374017c00640a660219007c0314007d047c0474067407640b8301830114007d057c04740874017c0064056602190019007409830074017c00640c660219001800130014007c0418007d067c057c0637007d0574017c00640d660219007d0774017c006406660219007d087c026a0a74017c0064056602190083017d0974067c077c0914007c051b0083017d0a7c0a74067407640e830183016b05900172b8740b6a0c7c05740d6a0e740d6a0f640f8d030100740b6a107c0464108d01010074067c0574067407640e8301830114007c091b0083017d0b7c016a117c0b740d6a0f64118d0201007c016a117c077c0b180074017c0064126602190064118d020100740574017c00640566021900640966020500190074017c00640a66021900380003003c00740574017c0064056602190064086602050019007c04380003003c006eae7c0574067c0a74067407640e830183011b00830114007c0474067c0a74067407640e830183011b008301140002007d057d04740b6a0c7c05740d6a0e740d6a0f640f8d030100740b6a107c0464108d01010074017c00640d660219007d0b7c016a117c0b740d6a0f64118d020100740574017c00640566021900640966020500190074017c00640a66021900380003003c00740574017c0064056602190064086602050019007c04380003003c00741274017c00640566021900050019007c057c041800370003003c00641374017c00640266023c007c0b530029144e29017242000000722e000000547a1e5661756c742068617320616c7265616479206265656e20636c6f73656421722900000072140000007212000000722c0000007235000000722f0000007a03312e31723100000072300000007a04312e3033290372320000007233000000723400000029017232000000290272320000007233000000722d000000462913da1f5f5f6173736572745f696e737566666963656e745f636f6c6c61746572616c721d000000723600000072370000007238000000721c0000007225000000721e000000721f00000072280000007239000000723d000000723c000000721a000000723b000000721b0000007244000000723f0000007245000000290c7242000000724000000072120000007246000000da1b726564656d7074696f6e5f636f73745f776974686f75745f66656572470000007248000000722b00000072140000007241000000da12636f6c6c61746572616c5f70657263656e747232000000722000000072200000007221000000da16666173745f666f7263655f636c6f73655f7661756c745b000000736200000000020a0118010a0110010e010e011e01100106010a0108011c01060108010c010c0112010801080112010a010a010c010201160110010c010e0116010e0114010a0202011401040118010a010a010c010c01100116010e011401080110010c010c01724d00000063010000000000000001000000050000004300000073a400000074007c0064018d01010074017c0064026602190064036b037322740264048301820174017c00640564066603190064076b09733c740264088301820174017c0064066602190064076b0873547402640983018201640a74017c00640666023c00640774017c006405640666033c0074036a0474017c006405640b66033c007405640c830174017c006405640d66033c007406830074017c006405640e66033c0064075300290f4e29017242000000722d00000072020000007a0f4e6f6e6578697374656e7420636470da0761756374696f6e722e000000547a2041756374696f6e20697320616c72656164792074616b696e6720706c616365217a1e5661756c742068617320616c7265616479206265656e20636c6f7365642146da0e686967686573745f6269646465727a03302e30da07746f705f62696472310000002907724a000000721d0000007236000000721a000000721b000000721e000000722800000029017242000000722000000072200000007221000000da186f70656e5f666f7263655f636c6f73655f61756374696f6e91000000731600000000020a0118010c010e0118010c010e01100112011001725100000029027242000000723200000063020000000000000002000000070000004300000073d200000074007c0064016602190064026b037318740164038301820174007c00640464056603190064066b08733274016407830182017c0174007c0064046408660319006b04734c740164098301820174007c00640474026a03640a6604190064006b09728a74046a057c0174007c00640474026a03640a66041900180074026a0674026a03640b8d0301006e1474046a057c0174026a0674026a03640b8d03010074026a0374007c006404640c66033c007c0174007c006404640866033c007c0174007c00640474026a03640a66043c0064065300290d4e722d00000072020000007a0f4e6f6e6578697374656e7420636470724e000000722e000000547a1441756374696f6e206973206e6f74206f70656e2172500000007a1e546865726520697320616c72656164792061206869676865722062696421da036269642903723200000072330000007234000000724f0000002907721d0000007236000000721a000000721b000000723d000000723c000000723b000000290272420000007232000000722000000072200000007221000000da126269645f6f6e5f666f7263655f636c6f7365a0000000731a000000000218011a011401060116010a011e030a010a0110010e0112017253000000630100000000000000030000000800000043000000738c01000074007c0064016602190064026b037318740164038301820174007c00640464056603190064066b08733274016407830182017402830074007c0064046408660319001800740374007c00640966021900640a660219006b0473627401640b8301820174046a05740374007c00640966021900640c6602190083017d01640674007c006404640d66033c00640e74007c00640566023c00640e74007c006404640566033c00640274007c00640474007c006404640f66031900641066043c0074007c00640464116603190074066412830114007d027c016a0774007c0064136602190074086a0974086a0a64148d030100740b6a0c74007c0064046411660319007c02180064158d010100740d74007c00640966021900050019007c02370003003c00740374007c00640966021900641666020500190074007c00641766021900380003003c00740374007c00640966021900641866020500190074007c0064046411660319007c021800380003003c0074007c006404640f6603190074007c0064046411660319006602530029194e722d00000072020000007a0f4e6f6e6578697374656e7420636470724e000000722e000000547a1441756374696f6e206973206e6f74206f70656e217231000000722900000072160000007a1641756374696f6e206973207374696c6c206f70656e217214000000da07736574746c656446724f000000725200000072500000007a03302e3172300000002903723200000072330000007234000000290172320000007235000000722f000000722c000000290e721d00000072360000007228000000721c00000072370000007238000000721e000000723c000000721a000000721b000000723b000000723d000000724400000072450000002903724200000072400000007248000000722000000072200000007221000000da12736574746c655f666f7263655f636c6f7365b3000000732c000000000218011a011401160106010a0110010e010c010e021a0116010e010e011a01180118010c011801120110017255000000630100000000000000010000000700000043000000736600000074007c0064016602190064026b037318740164038301820174007c00640464056603190064066b087332740164078301820174026a0374046a0574007c00640474046a0564086604190064098d020100640274007c00640474046a05640866043c0064065300290a4e722d00000072020000007a0f4e6f6e6578697374656e7420636470724e0000007254000000547a2441756374696f6e206973207374696c6c206f70656e206f72206e6f74206f70656e65642172520000002902723300000072320000002906721d0000007236000000723d000000723f000000721a000000721b00000029017242000000722000000072200000007221000000da0f636c61696d5f756e776f6e5f626964ce000000730e000000000218010c010e010e011001120172560000002901722900000063010000000000000002000000050000004300000073a40000007c007400640119006b067314740164028301820174007c0064036602190074007c0064046602190018007d017c0174027c0019006b04727474007c00640466020500190074027c001900370003003c00640574027c003c00740374007c0064046602190074007c006403660219001b008301530074007c0064036602190074007c00640466023c0074027c00050019007c01380003003c0074046406830153006400530029074e720f0000007a1a4e6f7420616e20617661696c61626c6520636f6e747261637421722c000000723500000072020000007a03312e302905721c000000723600000072450000007225000000721e00000029027229000000da0e64656661756c745f616d6f756e74722000000072200000007221000000da1373796e635f73746162696c6974795f706f6f6cd90000007316000000000214010e010a010c01180108010e010e02140110017258000000290272290000007232000000630200000000000000020000000400000043000000735400000074007c00640164026603190074016a026b02731c740364038301820174047c0019007c016b057330740364048301820174047c00050019007c01380003003c0074056a0674016a027c0164058d0201006406530029074eda03445352722d0000007a0e4e6f7420746865206f776e6572217a2b4e6f7420656e6f7567682074616420696e2073746162696c69747920706f6f6c20746f206578706f727421290272330000007232000000542907721c000000721a000000721b00000072360000007245000000723d000000723f000000290272290000007232000000722000000072200000007221000000da0e6578706f72745f72657761726473e9000000730c00000000021c0106010e0110011001725a0000002901723200000063010000000000000005000000050000004300000073c60000007400640d190074016a026b02731674036404830182017c0064056b047326740364068301820174046a057c0064078d01010074046a0674016a027c0064088d02010064057d017c007d02782074006409190044005d147d037c0174007c03640a6602190037007d0171545700785474006409190044005d487d03740774007c03640a660219007c011b0083017c0214007d0474007c03640b6602050019007c04370003003c007c027c0438007d027c0174007c03640a6602190038007d0171765700640c5300290e4e723e0000007259000000722d0000007a0e4e6f7420746865206f776e65722172020000007a1c43616e6e6f74206d696e74206e6567617469766520616d6f756e742129017232000000290272330000007232000000720f0000007219000000722c000000542903723e0000007259000000722d0000002908721c000000721a000000721b0000007236000000723d000000723e000000723f000000722500000029057232000000da0c746f74616c5f776569676874da0b746f74616c5f66756e64737229000000da1166756e64735f7472616e73666572726564722000000072200000007221000000da0c6d696e745f72657761726473f3000000731e0000000002160110010c011001040104010e0114010e010c010c01140108011401725e00000063020000000000000002000000050000004300000073540000007c007400640119006b067314740164028301820174026a0374046a057c0174046a0664038d03010074026a077c0164048d01010074007c0064056602050019007c01380003003c0074007c00640566021900530029064e720f0000007a1a4e6f7420616e20617661696c61626c6520636f6e747261637421290372330000007232000000723400000029017232000000722c0000002908721c0000007236000000723d000000723c000000721a000000723b000000721b0000007244000000290272290000007232000000722000000072200000007221000000da0973796e635f6275726e06010000730a0000000002140114020c011401725f000000290672140000007230000000da0c61756374696f6e5f74696d65da0a6d61785f6d696e746564da06735f726174657219000000630600000000000000070000000400000043000000738400000074006401190074016a026b02731674036402830182017400640319007d067400640419006a047c068301010074006403050019006405370003003c007c0074007c06640666023c007c0174007c06640766023c007c0274007c06640866023c007c0374007c06640966023c007c0574007c06640a66023c007c0474057c063c007c065300290b4e720d0000007a0e4e6f7420746865206f776e6572217210000000720f0000007208000000721400000072150000007216000000721700000072190000002906721c000000721a000000721b0000007236000000da06617070656e64721f0000002907721400000072300000007260000000726100000072620000007219000000da0c7661756c745f6e756d626572722000000072200000007221000000da096164645f7661756c741001000073160000000003160108010e0110010c010c010c010c010c0108017265000000630100000000000000010000000200000043000000732800000074006401190074016a026b02731674036402830182017400640319006a047c00830101006400530029044e720d0000007a0e4e6f7420746865206f776e657221720f0000002905721c000000721a000000721b0000007236000000da0672656d6f766529017229000000722000000072200000007221000000da0c72656d6f76655f7661756c74200100007304000000000216017267000000462903da036b6579da096e65775f76616c7565da12636f6e766572745f746f5f646563696d616c630300000000000000030000000300000043000000735600000074006401190074016a026b027316740364028301820174047c00830174056b02732a740364038301820174047c01830174056b02733e74036404830182017c02724a74067c0183017d017c0174007c003c007c01530029054e720d0000007a0e4e6f7420746865206f776e6572217a14496e76616c6964207479706520666f72206b65797a1a496e76616c6964207479706520666f72206e65772076616c75652907721c000000721a000000721b0000007236000000da0474797065da03737472721e000000290372680000007269000000726a000000722000000072200000007221000000da0c6368616e67655f737461746526010000730e0000000002160114011401040108010801726d000000290372680000007269000000da10636f6e766572745f746f5f7475706c65630300000000000000030000000300000043000000732e00000074006401190074016a026b02731674036402830182017c02722274047c0083017d007c0174007c003c007c01530029034e720d0000007a0e4e6f7420746865206f776e6572212905721c000000721a000000721b0000007236000000da057475706c65290372680000007269000000726e000000722000000072200000007221000000da106368616e67655f616e795f737461746531010000730a000000000216010401080108017270000000290272680000007269000000630200000000000000020000000300000043000000732200000074006401190074016a026b02731674036402830182017c0174047c003c007c01530029034e720d0000007a0e4e6f7420746865206f776e6572212905721c000000721a000000721b0000007236000000721f000000290272680000007269000000722000000072200000007221000000da156368616e67655f73746162696c6974795f726174653a01000073060000000002160108017271000000630100000000000000020000000500000043000000735000000074007c0064016602190064026b037318740164038301820174026a0374046404190083017d0174007c006405660219007c016a0574007c006406660219008301140074007c006407660219001b00530029084e722d00000072020000007a0f4e6f6e6578697374656e7420636470721200000072300000007229000000722f0000002906721d000000723600000072370000007238000000721c0000007239000000290272420000007212000000722000000072200000007221000000da1d6765745f636f6c6c61746572616c697a6174696f6e5f70657263656e74410100007306000000000218010e027272000000630100000000000000020000000500000043000000737000000074007c0064016602190064026b037318740164038301820174026a0374046404190083017d0174007c006405660219007c016a0574007c006406660219008301140074007c006407660219001b00740474007c006408660219006409660219006b00736c7401640a8301820164005300290b4e722d00000072020000007a0f4e6f6e6578697374656e7420636470721200000072300000007229000000722f000000721400000072150000007a265661756c742061626f7665206d696e696d756d20636f6c6c61746572616c697a6174696f6e212906721d000000723600000072370000007238000000721c0000007239000000290272420000007212000000722000000072200000007221000000724a00000049010000730a000000000118010e022a011601724a0000002901da0b6f6c645f646563696d616c630100000000000000020000000200000043000000731600000074006a017c008301010074006a0283007d017c01530029014e2903da0f5f5f74656d706f726172795f766172da03736574da0367657429027273000000da0b6e65775f646563696d616c722000000072200000007221000000722500000052010000730600000000010a01080172250000004e290146290146292572370000007238000000723d000000da0448617368721c000000721f000000721d0000007245000000da085661726961626c6572740000007222000000da085f5f6578706f72747228000000da03696e74da05666c6f617472430000007249000000724d00000072510000007253000000725500000072560000007258000000725a000000725e000000725f000000726c00000072650000007267000000da04626f6f6c726d000000da03416e79727000000072710000007272000000724a00000072250000007220000000722000000072200000007221000000da083c6d6f64756c653e01000000735e0000000a010e01060108010e01060108010c04080e100606010401102006011018060110350601100e060112120601101a0601100a0601100f06011209060110120601120906010401160e060110050601160a0601160806011206060110070e09