Contract con_dex_v2_3


Contract Code


  
1 I = importlib
2
3 v1_state = ForeignHash(
4 foreign_contract="con_rocketswap_official_v1_1", foreign_name="state"
5 )
6 v1_discount = ForeignHash(
7 foreign_contract="con_rocketswap_official_v1_1", foreign_name="discount"
8 )
9
10 token_interface = [
11 I.Func("transfer", args=("amount", "to")),
12 I.Func("approve", args=("amount", "to")),
13 I.Func("transfer_from", args=("amount", "to", "main_account")),
14 ]
15
16 base = Variable()
17 pairs = Hash()
18 prices = Hash()
19 lp_points = Hash()
20 reserves = Hash(default_value=[0, 0])
21 state = Hash()
22
23
24 @construct
25 def init(base_contract: str):
26 base.set(base_contract)
27 state["OWNER"] = ctx.caller
28
29
30 @export
31 def create_market(contract: str, base_amount: float, token_amount: float):
32 assert contract != base.get(), "Cannot create a market for the base token!"
33 assert pairs[contract] is None, "Market already exists!"
34 assert contract != v1_state["TOKEN_CONTRACT"
35 ], "Only operator can create this market!"
36 assert base_amount > 0 and token_amount > 0, "Must provide base amount and token amount!"
37
38 base_token = I.import_module(base.get())
39 token = I.import_module(contract)
40 assert I.enforce_interface(base_token, token_interface), "Invalid token interface!"
41 assert I.enforce_interface(token, token_interface), "Invalid token interface!"
42
43 real_base_amount = balance_difference(
44 base_token, contract=base.get(), amount=base_amount
45 )
46
47 real_token_amount = balance_difference(
48 token, contract=contract, amount=token_amount
49 )
50
51 prices[contract] = real_base_amount / real_token_amount
52 pairs[contract] = True
53 lp_points[contract, ctx.caller] = 100
54 lp_points[contract] = 100
55 reserves[contract] = [real_base_amount, real_token_amount]
56 return True
57
58
59 @export
60 def liquidity_balance_of(contract: str, account: str):
61 return lp_points[contract, account]
62
63
64 @export
65 def add_liquidity(contract: str, base_amount: float):
66 assert pairs[contract] is True, "Market does not exist!"
67 assert base_amount > 0, "Must provide base amount!"
68 base_token = I.import_module(base.get())
69 token = I.import_module(contract)
70 assert I.enforce_interface(base_token, token_interface), "Invalid token interface!"
71 assert I.enforce_interface(token, token_interface), "Invalid token interface!"
72
73 token_amount = base_amount / prices[contract]
74
75 real_base_amount = balance_difference(
76 base_token, contract=base.get(), amount=base_amount
77 )
78
79 real_token_amount = balance_difference(
80 token, contract=contract, amount=token_amount
81 )
82
83 total_lp_points = lp_points[contract]
84 base_reserve, token_reserve = reserves[contract]
85 points_per_base = total_lp_points / base_reserve
86 lp_to_mint = points_per_base * real_base_amount
87 lp_points[contract, ctx.caller] += lp_to_mint
88 lp_points[contract] += lp_to_mint
89 reserves[contract] = [
90 base_reserve + real_base_amount,
91 token_reserve + real_token_amount,
92 ]
93 return lp_to_mint
94
95
96 @export
97 def remove_liquidity(contract: str, amount: float):
98 assert pairs[contract] is True, "Market does not exist!"
99 assert amount > 0, "Must be a positive LP point amount!"
100 assert lp_points[contract, ctx.caller] >= amount, "Not enough LP points to remove!"
101 base_token = I.import_module(base.get())
102 token = I.import_module(contract)
103 assert I.enforce_interface(base_token, token_interface), "Invalid token interface!"
104 assert I.enforce_interface(token, token_interface), "Invalid token interface!"
105 lp_percentage = amount / lp_points[contract]
106 base_reserve, token_reserve = reserves[contract]
107 base_amount = base_reserve * lp_percentage
108 token_amount = token_reserve * lp_percentage
109 base_token.transfer(to=ctx.caller, amount=base_amount)
110 token.transfer(to=ctx.caller, amount=token_amount)
111 lp_points[contract, ctx.caller] -= amount
112 lp_points[contract] -= amount
113 assert lp_points[contract] > 1, "Not enough remaining liquidity!"
114 new_base_reserve = base_reserve - base_amount
115 new_token_reserve = token_reserve - token_amount
116 assert new_base_reserve > 0 and new_token_reserve > 0, "Not enough remaining liquidity!"
117 reserves[contract] = [new_base_reserve, new_token_reserve]
118 return base_amount, token_amount
119
120
121 @export
122 def transfer_liquidity(contract: str, to: str, amount: float):
123 assert amount > 0, "Must be a positive LP point amount!"
124 assert lp_points[contract, ctx.caller
125 ] >= amount, "Not enough LP points to transfer!"
126 lp_points[contract, ctx.caller] -= amount
127 lp_points[contract, to] += amount
128
129
130 # @export
131 # def approve_liquidity(
132 # contract: str, to: str, amount: float, ctx_to_signer: bool = False
133 # ):
134 # assert amount > 0, "Cannot send negative balances!"
135 # if ctx_to_signer is True:
136 # lp_points[contract, ctx.signer, to] += amount
137 # else:
138 # lp_points[contract, ctx.caller, to] += amount
139
140 @export
141 def approve_liquidity(contract: str, to: str, amount: float):
142 assert amount > 0, 'Cannot send negative balances!'
143 lp_points[contract, ctx.caller, to] += amount
144
145
146 @export
147 def transfer_liquidity_from(contract: str, to: str, main_account: str, amount: float):
148 assert amount > 0, "Cannot send negative balances!"
149 assert lp_points[contract, main_account, ctx.caller
150 ] >= amount, "Not enough coins approved to send! You have {} and are trying to spend {}".format(
151 lp_points[main_account, ctx.caller], amount)
152 assert lp_points[contract, main_account] >= amount, "Not enough coins to send!"
153 lp_points[contract, main_account, ctx.caller] -= amount
154 lp_points[contract, main_account] -= amount
155 lp_points[contract, to] += amount
156
157
158 @export
159 def buy(
160 contract: str,
161 base_amount: float,
162 minimum_received: float,
163 token_fees: bool = False,
164 ):
165 assert pairs[contract] is True, "Market does not exist!"
166 assert base_amount > 0, "Must provide base amount!"
167 base_token = I.import_module(base.get())
168 token = I.import_module(contract)
169 amm_token = I.import_module(v1_state["TOKEN_CONTRACT"])
170 assert I.enforce_interface(base_token, token_interface), "Invalid token interface!"
171 assert I.enforce_interface(token, token_interface), "Invalid token interface!"
172
173 if contract == v1_state["TOKEN_CONTRACT"]:
174 real_base_amount = balance_difference(
175 base_token, contract=base.get(), amount=base_amount
176 )
177
178 tokens_purchased = internal_buy(
179 contract=v1_state["TOKEN_CONTRACT"], base_amount=real_base_amount
180 )
181
182 token.transfer(amount=tokens_purchased, to=ctx.caller)
183 return tokens_purchased
184
185 real_base_amount = balance_difference(
186 base_token, contract=base.get(), amount=base_amount
187 )
188
189 base_reserve, token_reserve = reserves[contract]
190 k = base_reserve * token_reserve
191 new_base_reserve = base_reserve + real_base_amount
192 new_token_reserve = k / new_base_reserve
193 tokens_purchased = token_reserve - new_token_reserve
194 fee_percent = v1_state["FEE_PERCENTAGE"] * v1_discount[ctx.caller]
195 fee = tokens_purchased * fee_percent
196
197 if token_fees is True:
198 fee = fee * v1_state["TOKEN_DISCOUNT"]
199 rswp_k = base_reserve * token_reserve
200 rswp_new_token_reserve = token_reserve + fee
201 rswp_new_base_reserve = rswp_k / rswp_new_token_reserve
202 rswp_base_purchased = base_reserve - rswp_new_base_reserve
203 rswp_base_purchased += rswp_base_purchased * fee_percent
204 rswp_base_reserve_2, rswp_token_reserve_2 = reserves[v1_state["TOKEN_CONTRACT"]]
205 rswp_k_2 = rswp_base_reserve_2 * rswp_token_reserve_2
206 rswp_new_base_reserve_2 = rswp_base_reserve_2 + rswp_base_purchased
207 rswp_new_base_reserve_2 += rswp_base_purchased * fee_percent
208 rswp_new_token_reserve_2 = rswp_k_2 / rswp_new_base_reserve_2
209 sell_amount = rswp_token_reserve_2 - rswp_new_token_reserve_2
210 sell_amount_with_fee = sell_amount * v1_state["BURN_PERCENTAGE"]
211 amm_token.transfer_from(
212 amount=sell_amount, to=ctx.this, main_account=ctx.caller
213 )
214 base_received = internal_sell(
215 contract=v1_state["TOKEN_CONTRACT"], token_amount=sell_amount_with_fee
216 )
217 amm_token.transfer(
218 amount=sell_amount - sell_amount_with_fee, to=v1_state["BURN_ADDRESS"]
219 )
220 token_received = internal_buy(contract=contract, base_amount=base_received)
221
222 new_base_reserve += (
223 reserves[contract][0] - base_reserve
224 )
225 new_token_reserve += (
226 reserves[contract][1] - token_reserve
227 )
228 new_token_reserve = new_token_reserve + token_received
229 else:
230 tokens_purchased = tokens_purchased - fee
231 burn_amount = internal_buy(
232 contract=v1_state["TOKEN_CONTRACT"],
233 base_amount=internal_sell(
234 contract=contract, token_amount=fee - fee * v1_state["BURN_PERCENTAGE"]
235 ),
236 )
237 new_base_reserve += reserves[contract][0] - base_reserve
238 new_token_reserve += reserves[contract][1] - token_reserve
239 new_token_reserve = new_token_reserve + fee * v1_state["BURN_PERCENTAGE"]
240 amm_token.transfer(amount=burn_amount, to=v1_state["BURN_ADDRESS"])
241
242 if minimum_received != None:
243 assert tokens_purchased >= minimum_received, "Only {} tokens can be purchased, which is less than your minimum, which is {} tokens.".format(
244 tokens_purchased, minimum_received)
245 assert tokens_purchased > 0, "Token reserve error!"
246
247 token.transfer(amount=tokens_purchased, to=ctx.caller)
248 reserves[contract] = [new_base_reserve, new_token_reserve]
249 prices[contract] = new_base_reserve / new_token_reserve
250 return tokens_purchased
251
252
253 @export
254 def sell(
255 contract: str,
256 token_amount: float,
257 minimum_received: float,
258 token_fees: bool = False,
259 ):
260 assert pairs[contract] is True, "Market does not exist!"
261 assert token_amount > 0, "Must provide base amount and token amount!"
262 base_token = I.import_module(base.get())
263 token = I.import_module(contract)
264 amm_token = I.import_module(v1_state["TOKEN_CONTRACT"])
265 assert I.enforce_interface(base_token, token_interface), "Invalid token interface!"
266 assert I.enforce_interface(token, token_interface), "Invalid token interface!"
267
268 if contract == v1_state["TOKEN_CONTRACT"]:
269 real_token_amount = balance_difference(
270 token, contract=contract, amount=token_amount
271 )
272
273 base_purchased = internal_sell(
274 contract=v1_state["TOKEN_CONTRACT"], token_amount=real_token_amount
275 )
276 base_token.transfer(amount=base_purchased, to=ctx.caller)
277 return base_purchased
278
279 real_token_amount = balance_difference(
280 token, contract=contract, amount=token_amount
281 )
282
283 base_reserve, token_reserve = reserves[contract]
284 k = base_reserve * token_reserve
285 new_token_reserve = token_reserve + real_token_amount
286 new_base_reserve = k / new_token_reserve
287 base_purchased = base_reserve - new_base_reserve
288 fee_percent = v1_state["FEE_PERCENTAGE"] * v1_discount[ctx.caller]
289 fee = base_purchased * fee_percent
290 if token_fees is True:
291 fee = fee * v1_state["TOKEN_DISCOUNT"]
292 rswp_base_reserve, rswp_token_reserve = reserves[v1_state["TOKEN_CONTRACT"]]
293 rswp_k = rswp_base_reserve * rswp_token_reserve
294 rswp_new_base_reserve = rswp_base_reserve + fee
295 rswp_new_base_reserve += fee * fee_percent
296 rswp_new_token_reserve = rswp_k / rswp_new_base_reserve
297 sell_amount = rswp_token_reserve - rswp_new_token_reserve
298 sell_amount_with_fee = sell_amount * v1_state["BURN_PERCENTAGE"]
299 amm_token.transfer_from(
300 amount=sell_amount, to=ctx.this, main_account=ctx.caller
301 )
302 base_received = internal_sell(
303 contract=v1_state["TOKEN_CONTRACT"], token_amount=sell_amount_with_fee
304 )
305 amm_token.transfer(
306 amount=sell_amount - sell_amount_with_fee, to=v1_state["BURN_ADDRESS"]
307 )
308 new_base_reserve = new_base_reserve + base_received
309 else:
310 base_purchased = base_purchased - fee
311 burn_amount = fee - fee * v1_state["BURN_PERCENTAGE"]
312 new_base_reserve = new_base_reserve + fee * v1_state["BURN_PERCENTAGE"]
313 token_received = internal_buy(
314 contract=v1_state["TOKEN_CONTRACT"], base_amount=burn_amount
315 )
316 amm_token.transfer(amount=token_received, to=v1_state["BURN_ADDRESS"])
317 if minimum_received != None:
318 assert base_purchased >= minimum_received, "Only {} TAU can be purchased, which is less than your minimum, which is {} TAU.".format(
319 base_purchased, minimum_received)
320 assert base_purchased > 0, "Token reserve error!"
321
322 base_token.transfer(amount=base_purchased, to=ctx.caller)
323 reserves[contract] = [new_base_reserve, new_token_reserve]
324 prices[contract] = new_base_reserve / new_token_reserve
325 return base_purchased
326
327
328 @export
329 def create_rswp_market(base_amount: float, token_amount: float):
330 assert ctx.caller == state["OWNER"], "Only owner can call this method!"
331 assert pairs[v1_state["TOKEN_CONTRACT"]] is None, "Market already exists!"
332 assert base_amount > 0 and token_amount > 0, "Must provide base amount and token amount!"
333
334 base_token = I.import_module(base.get())
335 amm_token = I.import_module(v1_state["TOKEN_CONTRACT"])
336 assert I.enforce_interface(base_token, token_interface), "Invalid token interface!"
337 base_token.transfer_from(amount=base_amount, to=ctx.this, main_account=ctx.caller)
338 amm_token.transfer_from(amount=token_amount, to=ctx.this, main_account=ctx.caller)
339 prices[v1_state["TOKEN_CONTRACT"]] = base_amount / token_amount
340 pairs[v1_state["TOKEN_CONTRACT"]] = True
341 lp_points[v1_state["TOKEN_CONTRACT"], ctx.caller] = 100
342 lp_points[v1_state["TOKEN_CONTRACT"]] = 100
343 reserves[v1_state["TOKEN_CONTRACT"]] = [base_amount, token_amount]
344 return True
345
346
347 @export
348 def sync_reserves(contract: str):
349 assert v1_state["SYNC_ENABLED"] is True, "Sync is not enabled!"
350
351 token_balance = ForeignHash(foreign_contract=contract, foreign_name="balances")
352 new_balance = token_balance[ctx.this]
353 assert new_balance > 0, "Cannot be a negative balance!"
354 reserves[contract][1] = new_balance
355 return new_balance
356
357
358 def balance_difference(token, contract: str, amount: float):
359 token_balance = ForeignHash(foreign_contract=contract, foreign_name="balances")
360
361 v2_balance_1 = token_balance[ctx.this]
362
363 token.transfer_from(amount=amount, to=ctx.this, main_account=ctx.caller)
364
365 v2_balance_2 = token_balance[ctx.this]
366
367 real_amount = v2_balance_2 - v2_balance_1
368
369 return real_amount
370
371
372 def internal_buy(contract: str, base_amount: float):
373 assert pairs[contract] is True, "RSWP Market does not exist!"
374 if base_amount <= 0:
375 return 0
376 token = I.import_module(contract)
377 assert I.enforce_interface(token, token_interface), "Invalid token interface!"
378
379 base_reserve, token_reserve = reserves[contract]
380 k = base_reserve * token_reserve
381 new_base_reserve = base_reserve + base_amount
382 new_token_reserve = k / new_base_reserve
383 tokens_purchased = token_reserve - new_token_reserve
384 fee = tokens_purchased * v1_state["FEE_PERCENTAGE"]
385 tokens_purchased -= fee
386 new_token_reserve += fee
387 assert tokens_purchased > 0, "Token reserve error!"
388 reserves[contract] = [new_base_reserve, new_token_reserve]
389 prices[contract] = new_base_reserve / new_token_reserve
390 return tokens_purchased
391
392
393 def internal_sell(contract: str, token_amount: float):
394 assert pairs[contract] is True, "RSWP Market does not exist!"
395 if token_amount <= 0:
396 return 0
397 token = I.import_module(contract)
398 assert I.enforce_interface(token, token_interface), "Invalid token interface!"
399 base_reserve, token_reserve = reserves[contract]
400 k = base_reserve * token_reserve
401 new_token_reserve = token_reserve + token_amount
402 new_base_reserve = k / new_token_reserve
403 base_purchased = base_reserve - new_base_reserve
404 fee = base_purchased * v1_state["FEE_PERCENTAGE"]
405 base_purchased -= fee
406 new_base_reserve += fee
407 assert base_purchased > 0, "Token reserve error!"
408 reserves[contract] = [new_base_reserve, new_token_reserve]
409 prices[contract] = new_base_reserve / new_token_reserve
410 return base_purchased
411

Byte Code

e3000000000000000000000000070000004000000073f801000065005a016502640064016402640364048d045a036502640064056402640664048d045a0465016a0564076442640a8d0265016a05640b6443640a8d0265016a05640c6444640a8d0267035a0665076402640e640f8d025a08650964026410640f8d025a0a650964026411640f8d025a0b650964026412640f8d025a0c65096413641367026402641464158d035a0d650964026401640f8d025a0e650f64169c016417641884045a10651164028301650f6512651264199c03641a641b840483015a13651164028301650f650f641c9c02641d641e840483015a14651164028301650f6512641f9c0264206421840483015a15651164028301650f651264229c0264236424840483015a16651164028301650f650f651264259c0364266427840483015a17651164028301650f650f651264259c0364286429840483015a18651164028301650f650f650f6512642a9c04642b642c840483015a196511640283016445650f65126512651a642e9c04642f6430840583015a1b6511640283016446650f65126512651a64319c0464326433840583015a1c6511640283016512651264349c0264356436840483015a1d651164028301650f64379c0164386439840483015a1e650f651264229c02643a643b84045a1f650f6512641f9c02643c643d84045a20650f6512643e9c02643f644084045a21644153002947da1c636f6e5f726f636b6574737761705f6f6666696369616c5f76315f31da057374617465da0c636f6e5f6465785f76325f33da0876315f73746174652904da10666f726569676e5f636f6e7472616374da0c666f726569676e5f6e616d65da08636f6e7472616374da046e616d65da08646973636f756e74da0b76315f646973636f756e74da087472616e73666572da06616d6f756e74da02746f2901da0461726773da07617070726f7665da0d7472616e736665725f66726f6dda0c6d61696e5f6163636f756e74da0462617365290272070000007208000000da057061697273da06707269636573da096c705f706f696e7473e900000000da0872657365727665732903da0d64656661756c745f76616c7565720700000072080000002901da0d626173655f636f6e7472616374630100000000000000010000000300000043000000731800000074006a017c008301010074026a03740464013c006400530029024eda054f574e45522905da065f5f62617365da03736574da03637478da0663616c6c6572da075f5f737461746529017219000000a9007220000000da00da045f5f5f5f12000000730400000000010a01722200000029037207000000da0b626173655f616d6f756e74da0c746f6b656e5f616d6f756e7463030000000000000007000000050000004300000073ee0000007c0074006a0183006b037314740264018301820174037c00190064006b08732874026402830182017c007404640319006b03733c74026404830182017c0164056b04724c7c0264056b047354740264068301820174056a0674006a01830083017d0374056a067c0083017d0474056a077c03740883027380740264078301820174056a077c04740883027394740264078301820174097c0374006a0183007c0164088d037d0574097c047c007c0264088d037d067c057c061b00740a7c003c00640974037c003c00640a740b7c00740c6a0d66023c00640a740b7c003c007c057c066702740e7c003c0064095300290b4e7a2a43616e6e6f74206372656174652061206d61726b657420666f7220746865206261736520746f6b656e217a164d61726b657420616c72656164792065786973747321da0e544f4b454e5f434f4e54524143547a254f6e6c79206f70657261746f722063616e206372656174652074686973206d61726b65742172160000007a2a4d7573742070726f76696465206261736520616d6f756e7420616e6420746f6b656e20616d6f756e74217a18496e76616c696420746f6b656e20696e746572666163652129027207000000720c00000054e964000000290f721b000000da03676574da0e417373657274696f6e4572726f72da075f5f7061697273da0a5f5f76315f7374617465da0149da0d696d706f72745f6d6f64756c65da11656e666f7263655f696e74657266616365da0f746f6b656e5f696e74657266616365da145f5f62616c616e63655f646966666572656e6365da085f5f707269636573da0b5f5f6c705f706f696e7473721d000000721e000000da0a5f5f72657365727665732907720700000072230000007224000000da0a626173655f746f6b656eda05746f6b656eda107265616c5f626173655f616d6f756e74da117265616c5f746f6b656e5f616d6f756e74722000000072200000007221000000da0d6372656174655f6d61726b657417000000732c00000000020e01060114010e01060118010e010a010e0106010e0106010a010801060108010c0108010e0108010c01723700000029027207000000da076163636f756e74630200000000000000020000000300000043000000730c00000074007c007c0166021900530029014e29017231000000290272070000007238000000722000000072200000007221000000da146c69717569646974795f62616c616e63655f6f66310000007302000000000272390000002902720700000072230000006302000000000000000c000000050000004300000073f200000074007c00190064016b08731474016402830182017c0164036b047324740164048301820174026a0374046a05830083017d0274026a037c0083017d0374026a067c02740783027350740164058301820174026a067c0374078302736474016405830182017c0174087c0019001b007d0474097c0274046a0583007c0164068d037d0574097c037c007c0464068d037d06740a7c0019007d07740b7c0019005c027d087d097c077c081b007d0a7c0a7c0514007d0b740a7c00740c6a0d6602050019007c0b370003003c00740a7c00050019007c0b370003003c007c087c0517007c097c0617006702740b7c003c007c0b530029074e547a164d61726b657420646f6573206e6f742065786973742172160000007a194d7573742070726f76696465206261736520616d6f756e74217a18496e76616c696420746f6b656e20696e746572666163652129027207000000720c000000290e72290000007228000000722b000000722c000000721b0000007227000000722d000000722e0000007230000000722f00000072310000007232000000721d000000721e000000290c7207000000722300000072330000007234000000722400000072350000007236000000da0f746f74616c5f6c705f706f696e7473da0c626173655f72657365727665da0d746f6b656e5f72657365727665da0f706f696e74735f7065725f62617365da0a6c705f746f5f6d696e74722000000072200000007221000000da0d6164645f6c697175696469747936000000732c0000000002140110010e010a010e0106010e0106010c010a0108010601080108010c01080108011601100108010c01723f00000029027207000000720c0000006302000000000000000b0000000400000043000000734201000074007c00190064016b08731474016402830182017c0164036b047324740164048301820174027c0074036a04660219007c016b05733e740164058301820174056a0674076a08830083017d0274056a067c0083017d0374056a097c02740a8302736a740164068301820174056a097c03740a8302737e74016406830182017c0174027c0019001b007d04740b7c0019005c027d057d067c057c0414007d077c067c0414007d087c026a0c74036a047c0764078d0201007c036a0c74036a047c0864078d02010074027c0074036a046602050019007c01380003003c0074027c00050019007c01380003003c0074027c00190064086b049001730274016409830182017c057c0718007d097c067c0818007d0a7c0964036b04900172267c0a64036b049001732e74016409830182017c097c0a6702740b7c003c007c077c0866025300290a4e547a164d61726b657420646f6573206e6f742065786973742172160000007a234d757374206265206120706f736974697665204c5020706f696e7420616d6f756e74217a1f4e6f7420656e6f756768204c5020706f696e747320746f2072656d6f7665217a18496e76616c696420746f6b656e20696e74657266616365212902720d000000720c000000e9010000007a1f4e6f7420656e6f7567682072656d61696e696e67206c697175696469747921290d722900000072280000007231000000721d000000721e000000722b000000722c000000721b0000007227000000722d000000722e0000007232000000720b000000290b7207000000720c00000072330000007234000000da0d6c705f70657263656e74616765723b000000723c00000072230000007224000000da106e65775f626173655f72657365727665da116e65775f746f6b656e5f72657365727665722000000072200000007221000000da1072656d6f76655f6c69717569646974795000000073300000000002140110010c010e010e010a010e0106010e0106010c010c010801080110011001160110011601080108011c010c01724400000029037207000000720d000000720c00000063030000000000000003000000040000004300000073580000007c0264016b047310740064028301820174017c0074026a03660219007c026b05732a740064038301820174017c0074026a036602050019007c02380003003c0074017c007c016602050019007c02370003003c006400530029044e72160000007a234d757374206265206120706f736974697665204c5020706f696e7420616d6f756e74217a214e6f7420656e6f756768204c5020706f696e747320746f207472616e7366657221290472280000007231000000721d000000721e00000029037207000000720d000000720c000000722000000072200000007221000000da127472616e736665725f6c69717569646974796c000000730a000000000210010c010e0116017245000000630300000000000000030000000400000043000000732c0000007c0264016b047310740064028301820174017c0074026a037c016603050019007c02370003003c006400530029034e72160000007a1e43616e6e6f742073656e64206e656761746976652062616c616e63657321290472280000007231000000721d000000721e00000029037207000000720d000000720c000000722000000072200000007221000000da11617070726f76655f6c697175696469747975000000730400000000021001724600000029047207000000720d0000007211000000720c000000630400000000000000040000000500000043000000739a0000007c0364016b047310740064028301820174017c007c0274026a03660319007c036b05733e740064036a0474017c0274026a03660219007c0383028301820174017c007c02660219007c036b057356740064048301820174017c007c0274026a036603050019007c03380003003c0074017c007c026602050019007c03380003003c0074017c007c016602050019007c03370003003c006400530029054e72160000007a1e43616e6e6f742073656e64206e656761746976652062616c616e636573217a494e6f7420656e6f75676820636f696e7320617070726f76656420746f2073656e642120596f752068617665207b7d20616e642061726520747279696e6720746f207370656e64207b7d7a194e6f7420656e6f75676820636f696e7320746f2073656e6421290572280000007231000000721d000000721e000000da06666f726d617429047207000000720d0000007211000000720c000000722000000072200000007221000000da177472616e736665725f6c69717569646974795f66726f6d7b0000007312000000000310010e010c0114010a010e0118011401724800000046290472070000007223000000da106d696e696d756d5f7265636569766564da0a746f6b656e5f666565736304000000000000001e000000080000004300000073e602000074007c00190064016b08731474016402830182017c0164036b047324740164048301820174026a0374046a05830083017d0474026a037c0083017d0574026a0374066405190083017d0674026a077c0474088302735e740164068301820174026a077c0574088302737274016406830182017c007406640519006b0272b474097c0474046a0583007c0164078d037d07740a7406640519007c0764088d027d087c056a0b7c08740c6a0d64098d0201007c08530074097c0474046a0583007c0164078d037d07740e7c0019005c027d097d0a7c097c0a14007d0b7c097c0717007d0c7c0b7c0c1b007d0d7c0a7c0d18007d087406640a1900740f740c6a0d190014007d0e7c087c0e14007d0f7c0364016b089002720e7c0f7406640b190014007d0f7c097c0a14007d107c0a7c0f17007d117c107c111b007d127c097c1218007d137c137c137c0e140037007d13740e74066405190019005c027d147d157c147c1514007d167c147c1317007d177c177c137c0e140037007d177c167c171b007d187c157c1818007d197c197406640c190014007d1a7c066a107c19740c6a11740c6a0d640d8d03010074127406640519007c1a640e8d027d1b7c066a0b7c197c1a18007406640f190064098d020100740a7c007c1b64088d027d1c7c0c740e7c001900640319007c09180037007d0c7c0d740e7c001900641019007c0a180037007d0d7c0d7c1c17007d0d6e767c087c0f18007d08740a74066405190074127c007c0f7c0f7406640c190014001800640e8d0264088d027d1d7c0c740e7c001900640319007c09180037007d0c7c0d740e7c001900641019007c0a180037007d0d7c0d7c0f7406640c1900140017007d0d7c066a0b7c1d7406640f190064098d0201007c0264006b03900272a87c087c026b05900273a8740164116a137c087c028302830182017c0864036b04900273ba74016412830182017c056a0b7c08740c6a0d64098d0201007c0c7c0d6702740e7c003c007c0c7c0d1b0074147c003c007c08530029134e547a164d61726b657420646f6573206e6f742065786973742172160000007a194d7573742070726f76696465206261736520616d6f756e742172250000007a18496e76616c696420746f6b656e20696e746572666163652129027207000000720c0000002902720700000072230000002902720c000000720d000000da0e4645455f50455243454e54414745da0e544f4b454e5f444953434f554e54da0f4255524e5f50455243454e544147452903720c000000720d0000007211000000290272070000007224000000da0c4255524e5f4144445245535372400000007a554f6e6c79207b7d20746f6b656e732063616e206265207075726368617365642c207768696368206973206c657373207468616e20796f7572206d696e696d756d2c207768696368206973207b7d20746f6b656e732e7a14546f6b656e2072657365727665206572726f7221291572290000007228000000722b000000722c000000721b0000007227000000722a000000722d000000722e000000722f000000da0e5f5f696e7465726e616c5f627579720b000000721d000000721e0000007232000000da0d5f5f76315f646973636f756e747210000000da0474686973da0f5f5f696e7465726e616c5f73656c6c72470000007230000000291e720700000072230000007249000000724a00000072330000007234000000da09616d6d5f746f6b656e7235000000da10746f6b656e735f707572636861736564723b000000723c000000da016b72420000007243000000da0b6665655f70657263656e74da03666565da06727377705f6bda16727377705f6e65775f746f6b656e5f72657365727665da15727377705f6e65775f626173655f72657365727665da13727377705f626173655f707572636861736564da13727377705f626173655f726573657276655f32da14727377705f746f6b656e5f726573657276655f32da08727377705f6b5f32da17727377705f6e65775f626173655f726573657276655f32da18727377705f6e65775f746f6b656e5f726573657276655f32da0b73656c6c5f616d6f756e74da1473656c6c5f616d6f756e745f776974685f666565da0d626173655f7265636569766564da0e746f6b656e5f7265636569766564da0b6275726e5f616d6f756e74722000000072200000007221000000da036275798900000073880000000003140110010e010a010e010e0106010e0106010c010a01080104010c01100104010a0108010c010801080108010801120108010a010c0108010801080108010c0104010c01080108010c01080108010c010a010a0104010c010a010c0104010801140114010a0208010801060116011401140106010a0112010a0110010a01120110010c010c0172660000002904720700000072240000007249000000724a0000006304000000000000001a0000000500000043000000735202000074007c00190064016b08731474016402830182017c0164036b047324740164048301820174026a0374046a05830083017d0474026a037c0083017d0574026a0374066405190083017d0674026a077c0474088302735e740164068301820174026a077c0574088302737274016406830182017c007406640519006b0272b074097c057c007c0164078d037d07740a7406640519007c0764088d027d087c046a0b7c08740c6a0d64098d0201007c08530074097c057c007c0164078d037d07740e7c0019005c027d097d0a7c097c0a14007d0b7c0a7c0717007d0c7c0b7c0c1b007d0d7c097c0d18007d087406640a1900740f740c6a0d190014007d0e7c087c0e14007d0f7c0364016b08900172a67c0f7406640b190014007d0f740e74066405190019005c027d107d117c107c1114007d127c107c0f17007d137c137c0f7c0e140037007d137c127c131b007d147c117c1418007d157c157406640c190014007d167c066a107c15740c6a11740c6a0d640d8d030100740a7406640519007c1664088d027d177c066a0b7c157c1618007406640e190064098d0201007c0d7c1717007d0d6e4a7c087c0f18007d087c0f7c0f7406640c1900140018007d187c0d7c0f7406640c1900140017007d0d74127406640519007c18640f8d027d197c066a0b7c197406640e190064098d0201007c0264006b03900272147c087c026b0590027314740164106a137c087c028302830182017c0864036b049002732674016411830182017c046a0b7c08740c6a0d64098d0201007c0d7c0c6702740e7c003c007c0d7c0c1b0074147c003c007c08530029124e547a164d61726b657420646f6573206e6f742065786973742172160000007a2a4d7573742070726f76696465206261736520616d6f756e7420616e6420746f6b656e20616d6f756e742172250000007a18496e76616c696420746f6b656e20696e746572666163652129027207000000720c0000002902720700000072240000002902720c000000720d000000724b000000724c000000724d0000002903720c000000720d0000007211000000724e0000002902720700000072230000007a4f4f6e6c79207b7d205441552063616e206265207075726368617365642c207768696368206973206c657373207468616e20796f7572206d696e696d756d2c207768696368206973207b7d205441552e7a14546f6b656e2072657365727665206572726f7221291572290000007228000000722b000000722c000000721b0000007227000000722a000000722d000000722e000000722f0000007252000000720b000000721d000000721e0000007232000000725000000072100000007251000000724f00000072470000007230000000291a720700000072240000007249000000724a0000007233000000723400000072530000007236000000da0e626173655f707572636861736564723b000000723c00000072550000007243000000724200000072560000007257000000da11727377705f626173655f72657365727665da12727377705f746f6b656e5f726573657276657258000000725a000000725900000072610000007262000000726300000072650000007264000000722000000072200000007221000000da0473656c6cd300000073720000000003140110010e010a010e010e0106010e0106010c010601080104010c0110010401060108010c010801080108010801120108010a010c0104010c01080108010c01080108010c010a010a0104010c010a010c010a020801100106010a0104010c0112020a0110010a01120110010c010c01726a00000029027223000000722400000063020000000000000004000000050000004300000073ec00000074006a017402640119006b02731674036402830182017404740564031900190064006b08732e74036404830182017c0064056b04723e7c0164056b047346740364068301820174066a0774086a09830083017d0274066a0774056403190083017d0374066a0a7c02740b8302737674036407830182017c026a0c7c0074006a0d74006a0164088d0301007c036a0c7c0174006a0d74006a0164088d0301007c007c011b00740e7405640319003c00640974047405640319003c00640a740f74056403190074006a0166023c00640a740f7405640319003c007c007c01670274107405640319003c0064095300290b4e721a0000007a204f6e6c79206f776e65722063616e2063616c6c2074686973206d6574686f642172250000007a164d61726b657420616c7265616479206578697374732172160000007a2a4d7573742070726f76696465206261736520616d6f756e7420616e6420746f6b656e20616d6f756e74217a18496e76616c696420746f6b656e20696e74657266616365212903720c000000720d00000072110000005472260000002911721d000000721e000000721f00000072280000007229000000722a000000722b000000722c000000721b0000007227000000722d000000722e0000007210000000725100000072300000007231000000723200000029047223000000722400000072330000007253000000722000000072200000007221000000da126372656174655f727377705f6d61726b6574130100007324000000000216010a010e0118010e010e010e0106010a010a010a010a0110010c0112010c011001726b00000029017207000000630100000000000000030000000600000043000000734e00000074006401190064026b087314740164038301820174027c0064046405640664078d047d017c0174036a0419007d027c0264086b04733e74016409830182017c0274057c001900640a3c007c025300290b4eda0c53594e435f454e41424c4544547a1453796e63206973206e6f7420656e61626c656421da0862616c616e6365737203000000da0d746f6b656e5f62616c616e63652904720500000072060000007207000000720800000072160000007a1d43616e6e6f742062652061206e656761746976652062616c616e63652172400000002906722a0000007228000000da0b466f726569676e48617368721d0000007251000000723200000029037207000000da0f5f5f746f6b656e5f62616c616e6365da0b6e65775f62616c616e6365722000000072200000007221000000da0d73796e635f726573657276657329010000730e0000000002140104010c010a0110010c017272000000630300000000000000070000000600000043000000734400000074007c0164016402640364048d047d037c0374016a0219007d047c006a037c0274016a0274016a0464058d0301007c0374016a0219007d057c057c0418007d067c06530029064e726d0000007203000000726e000000290472050000007206000000720700000072080000002903720c000000720d00000072110000002905726f000000721d00000072510000007210000000721e000000290772340000007207000000720c0000007270000000da0c76325f62616c616e63655f31da0c76325f62616c616e63655f32da0b7265616c5f616d6f756e74722000000072200000007221000000722f00000034010000730e000000000104010c010a0114010a010801722f0000006302000000000000000a000000030000004300000073b200000074007c00190064016b08731474016402830182017c0164036b0172206403530074026a037c0083017d0274026a047c0274058302733e740164048301820174067c0019005c027d037d047c037c0414007d057c037c0117007d067c057c061b007d077c047c0718007d087c0874076405190014007d097c087c0938007d087c077c0937007d077c0864036b04739674016406830182017c067c07670274067c003c007c067c071b0074087c003c007c08530029074e547a1b52535750204d61726b657420646f6573206e6f742065786973742172160000007a18496e76616c696420746f6b656e20696e7465726661636521724b0000007a14546f6b656e2072657365727665206572726f7221290972290000007228000000722b000000722c000000722d000000722e0000007232000000722a0000007230000000290a720700000072230000007234000000723b000000723c00000072550000007242000000724300000072540000007257000000722000000072200000007221000000724f0000003e010000732400000000011401080104010a010e0106010c0108010801080108010c010801080110010c010c01724f0000002902720700000072240000006302000000000000000a000000030000004300000073b200000074007c00190064016b08731474016402830182017c0164036b0172206403530074026a037c0083017d0274026a047c0274058302733e740164048301820174067c0019005c027d037d047c037c0414007d057c047c0117007d067c057c061b007d077c037c0718007d087c0874076405190014007d097c087c0938007d087c077c0937007d077c0864036b04739674016406830182017c077c06670274067c003c007c077c061b0074087c003c007c08530029074e547a1b52535750204d61726b657420646f6573206e6f742065786973742172160000007a18496e76616c696420746f6b656e20696e7465726661636521724b0000007a14546f6b656e2072657365727665206572726f7221290972290000007228000000722b000000722c000000722d000000722e0000007232000000722a0000007230000000290a720700000072240000007234000000723b000000723c00000072550000007243000000724200000072670000007257000000722000000072200000007221000000725200000053010000732400000000011401080104010a010e0106010c0108010801080108010c010801080110010c010c0172520000004e2902720c000000720d0000002902720c000000720d0000002903720c000000720d00000072110000002901462901462922da09696d706f72746c6962722b000000726f000000722a0000007250000000da0446756e63722e000000da085661726961626c65721b000000da04486173687229000000723000000072310000007232000000721f000000da037374727222000000da085f5f6578706f7274da05666c6f617472370000007239000000723f0000007244000000724500000072460000007248000000da04626f6f6c7266000000726a000000726b0000007272000000722f000000724f00000072520000007220000000722000000072200000007221000000da083c6d6f64756c653e010000007352000000040104010c0104010c0110010e010a010c010c010c010c010a0108010c030e050601141906011204060112190601121b060114080601140506010601100c060218480602183e060112150601100a100a1015