UNPKG

@josojo/realitytoken-contracts

Version:

realitytoken basic contracts

github.com/josojo/subjectivocracy

josojo/subjectivocracy

420 lines • 785 kB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
{ "contractName": "StandardMarket", "abi": [ { "constant": true, "inputs": [], "name": "creator", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "marketMaker", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "createdAtBlock", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "uint256" } ], "name": "netOutcomeTokensSold", "outputs": [ { "name": "", "type": "int256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "stage", "outputs": [ { "name": "", "type": "uint8" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "funding", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "fee", "outputs": [ { "name": "", "type": "uint24" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "eventContract", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "FEE_RANGE", "outputs": [ { "name": "", "type": "uint24" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "inputs": [ { "name": "_creator", "type": "address" }, { "name": "_eventContract", "type": "address" }, { "name": "_marketMaker", "type": "address" }, { "name": "_fee", "type": "uint24" } ], "payable": false, "stateMutability": "nonpayable", "type": "constructor" }, { "anonymous": false, "inputs": [ { "indexed": false, "name": "funding", "type": "uint256" } ], "name": "MarketFunding", "type": "event" }, { "anonymous": false, "inputs": [], "name": "MarketClosing", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "name": "fees", "type": "uint256" } ], "name": "FeeWithdrawal", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "buyer", "type": "address" }, { "indexed": false, "name": "outcomeTokenIndex", "type": "uint8" }, { "indexed": false, "name": "outcomeTokenCount", "type": "uint256" }, { "indexed": false, "name": "outcomeTokenCost", "type": "uint256" }, { "indexed": false, "name": "marketFees", "type": "uint256" } ], "name": "OutcomeTokenPurchase", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "seller", "type": "address" }, { "indexed": false, "name": "outcomeTokenIndex", "type": "uint8" }, { "indexed": false, "name": "outcomeTokenCount", "type": "uint256" }, { "indexed": false, "name": "outcomeTokenProfit", "type": "uint256" }, { "indexed": false, "name": "marketFees", "type": "uint256" } ], "name": "OutcomeTokenSale", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "buyer", "type": "address" }, { "indexed": false, "name": "outcomeTokenIndex", "type": "uint8" }, { "indexed": false, "name": "outcomeTokenCount", "type": "uint256" }, { "indexed": false, "name": "cost", "type": "uint256" } ], "name": "OutcomeTokenShortSale", "type": "event" }, { "constant": false, "inputs": [ { "name": "_funding", "type": "uint256" } ], "name": "fund", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [], "name": "close", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [], "name": "withdrawFees", "outputs": [ { "name": "fees", "type": "uint256" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "outcomeTokenIndex", "type": "uint8" }, { "name": "outcomeTokenCount", "type": "uint256" }, { "name": "maxCost", "type": "uint256" } ], "name": "buy", "outputs": [ { "name": "cost", "type": "uint256" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "outcomeTokenIndex", "type": "uint8" }, { "name": "outcomeTokenCount", "type": "uint256" }, { "name": "minProfit", "type": "uint256" } ], "name": "sell", "outputs": [ { "name": "profit", "type": "uint256" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "outcomeTokenIndex", "type": "uint8" }, { "name": "outcomeTokenCount", "type": "uint256" }, { "name": "minProfit", "type": "uint256" } ], "name": "shortSell", "outputs": [ { "name": "cost", "type": "uint256" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": true, "inputs": [ { "name": "outcomeTokenCost", "type": "uint256" } ], "name": "calcMarketFee", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" } ], "bytecode": "0x60806040523480156200001157600080fd5b50604051608080620021968339810160409081528151602083015191830151606090930151909290600160a060020a038316158015906200005a5750600160a060020a03821615155b80156200006e5750620f424062ffffff8216105b15156200007a57600080fd5b60008054600160a060020a03808716600160a060020a0319928316178355436001556002805487831693169290921791829055604080517f7dc8f08600000000000000000000000000000000000000000000000000000000815290519290911692637dc8f086926004808401936020939083900390910190829087803b1580156200010457600080fd5b505af115801562000119573d6000803e3d6000fd5b505050506040513d60208110156200013057600080fd5b50516040805160ff9092168083526020818102840101909152801562000160578160200160208202803883390190505b5080516200017791600591602090910190620001db565b506003805460a060020a62ffffff0219167401000000000000000000000000000000000000000062ffffff84160217600160a060020a031916600160a060020a038416179055600680546000919060ff19166001830217905550505050506200024b565b82805482825590600052602060002090810192821562000219579160200282015b8281111562000219578251825591602001919060010190620001fc565b50620002279291506200022b565b5090565b6200024891905b8082111562000227576000815560010162000232565b90565b611f3b806200025b6000396000f3006080604052600436106100cc5763ffffffff60e060020a60003504166302d05d3f81146100d15780631f21f9af1461010257806328c05d321461011757806343d726d61461014a57806346280a8014610161578063476343ee1461018257806359acb42c14610197578063a157979c146101ac578063b0011509146101c4578063c040e6b8146101dc578063ca1d209d14610215578063cb4c86b71461022d578063ddca3f4314610242578063e274fd241461026f578063f6d956df14610284578063fbde47f6146102a5575b600080fd5b3480156100dd57600080fd5b506100e66102ba565b60408051600160a060020a039092168252519081900360200190f35b34801561010e57600080fd5b506100e66102c9565b34801561012357600080fd5b5061013860ff600435166024356044356102d8565b60408051918252519081900360200190f35b34801561015657600080fd5b5061015f610a2e565b005b34801561016d57600080fd5b5061013860ff60043516602435604435610d63565b34801561018e57600080fd5b50610138611298565b3480156101a357600080fd5b50610138611517565b3480156101b857600080fd5b5061013860043561151d565b3480156101d057600080fd5b5061013860043561153c565b3480156101e857600080fd5b506101f161156d565b6040518082600281111561020157fe5b60ff16815260200191505060405180910390f35b34801561022157600080fd5b5061015f600435611576565b34801561023957600080fd5b5061013861188f565b34801561024e57600080fd5b50610257611895565b6040805162ffffff9092168252519081900360200190f35b34801561027b57600080fd5b506100e66118b8565b34801561029057600080fd5b5061013860ff600435166024356044356118c7565b3480156102b157600080fd5b50610257611f08565b600054600160a060020a031681565b600354600160a060020a031681565b600080600080600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561033157600080fd5b505af1158015610345573d6000803e3d6000fd5b505050506040513d602081101561035b57600080fd5b50516040805160e060020a6323b872dd028152336004820152306024820152604481018990529051600160a060020a03909216916323b872dd916064808201926020929091908290030181600087803b1580156103b757600080fd5b505af11580156103cb573d6000803e3d6000fd5b505050506040513d60208110156103e157600080fd5b505180156104ef5750600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561043d57600080fd5b505af1158015610451573d6000803e3d6000fd5b505050506040513d602081101561046757600080fd5b50516002546040805160e060020a63095ea7b3028152600160a060020a039283166004820152602481018a90529051919092169163095ea7b39160448083019260209291908290030181600087803b1580156104c257600080fd5b505af11580156104d6573d6000803e3d6000fd5b505050506040513d60208110156104ec57600080fd5b50515b15156104fa57600080fd5b600254604080517f28da850b000000000000000000000000000000000000000000000000000000008152600481018990529051600160a060020a03909216916328da850b9160248082019260009290919082900301818387803b15801561056057600080fd5b505af1158015610574573d6000803e3d6000fd5b50506002546040805160e160020a63455f2cf502815260ff8c1660048201529051600160a060020a039092169350638abe59ea92506024808201926020929091908290030181600087803b1580156105cb57600080fd5b505af11580156105df573d6000803e3d6000fd5b505050506040513d60208110156105f557600080fd5b50516040805160e060020a63095ea7b3028152306004820152602481018990529051600160a060020a039092169163095ea7b3916044808201926020929091908290030181600087803b15801561064b57600080fd5b505af115801561065f573d6000803e3d6000fd5b505050506040513d602081101561067557600080fd5b5050604080517f46280a8000000000000000000000000000000000000000000000000000000000815260ff891660048201526024810188905260448101879052905130916346280a809160648083019260209291908290030181600087803b1580156106e057600080fd5b505af11580156106f4573d6000803e3d6000fd5b505050506040513d602081101561070a57600080fd5b5051600254604080517f7dc8f0860000000000000000000000000000000000000000000000000000000081529051838a039750929550600160a060020a0390911691637dc8f086916004808201926020929091908290030181600087803b15801561077457600080fd5b505af1158015610788573d6000803e3d6000fd5b505050506040513d602081101561079e57600080fd5b50519150600090505b8160ff168160ff1610156108d45760ff818116908816146108cc576002546040805160e160020a63455f2cf502815260ff841660048201529051600160a060020a0390921691638abe59ea916024808201926020929091908290030181600087803b15801561081557600080fd5b505af1158015610829573d6000803e3d6000fd5b505050506040513d602081101561083f57600080fd5b50516040805160e060020a63a9059cbb028152336004820152602481018990529051600160a060020a039092169163a9059cbb916044808201926020929091908290030181600087803b15801561089557600080fd5b505af11580156108a9573d6000803e3d6000fd5b505050506040513d60208110156108bf57600080fd5b505115156108cc57600080fd5b6001016107a7565b600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561092757600080fd5b505af115801561093b573d6000803e3d6000fd5b505050506040513d602081101561095157600080fd5b50516040805160e060020a63a9059cbb028152336004820152602481018690529051600160a060020a039092169163a9059cbb916044808201926020929091908290030181600087803b1580156109a757600080fd5b505af11580156109bb573d6000803e3d6000fd5b505050506040513d60208110156109d157600080fd5b505115156109de57600080fd5b6040805160ff8916815260208101889052808201869052905133917f1dbdc4ff4d51949738d56e120b2be4edecc55d8d2150f1616ec5802abaae3f88919081900360600190a25050509392505050565b600080548190600160a060020a03163314610a4857600080fd5b60018060065460ff166002811115610a5c57fe5b14610a6657600080fd5b600260009054906101000a9004600160a060020a0316600160a060020a0316637dc8f0866040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015610ab957600080fd5b505af1158015610acd573d6000803e3d6000fd5b505050506040513d6020811015610ae357600080fd5b50519250600091505b8260ff168260ff161015610d28576002546040805160e160020a63455f2cf502815260ff851660048201529051600160a060020a0390921691638abe59ea916024808201926020929091908290030181600087803b158015610b4d57600080fd5b505af1158015610b61573d6000803e3d6000fd5b505050506040513d6020811015610b7757600080fd5b5051600080546002546040805160e160020a63455f2cf502815260ff881660048201529051600160a060020a039586169563a9059cbb9594811694931692638abe59ea92602480820193602093909283900390910190829087803b158015610bde57600080fd5b505af1158015610bf2573d6000803e3d6000fd5b505050506040513d6020811015610c0857600080fd5b5051604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051600160a060020a03909216916370a08231916024808201926020929091908290030181600087803b158015610c6d57600080fd5b505af1158015610c81573d6000803e3d6000fd5b505050506040513d6020811015610c9757600080fd5b50516040805160e060020a63ffffffff8616028152600160a060020a03909316600484015260248301919091525160448083019260209291908290030181600087803b158015610ce657600080fd5b505af1158015610cfa573d6000803e3d6000fd5b505050506040513d6020811015610d1057600080fd5b50511515610d1d57600080fd5b600190910190610aec565b6006805460ff191660021790556040517fe7d85885f81486e8f4c99e50e056745493861b8b5d4f973dcf0c3c0f74a25e0790600090a1505050565b6000808060018060065460ff166002811115610d7b57fe5b14610d8557600080fd5b600354604080517f4091c6a900000000000000000000000000000000000000000000000000000000815230600482015260ff8a166024820152604481018990529051600160a060020a0390921691634091c6a9916064808201926020929091908290030181600087803b158015610dfb57600080fd5b505af1158015610e0f573d6000803e3d6000fd5b505050506040513d6020811015610e2557600080fd5b50519250610e328361153c565b91508273__Math__________________________________63b67d77c59091846040518363ffffffff1660e060020a028152600401808381526020018281526020019250505060206040518083038186803b158015610e9057600080fd5b505af4158015610ea4573d6000803e3d6000fd5b505050506040513d6020811015610eba57600080fd5b50519350600084118015610ece5750848410155b1515610ed957600080fd5b6002546040805160e160020a63455f2cf502815260ff8a1660048201529051600160a060020a0390921691638abe59ea916024808201926020929091908290030181600087803b158015610f2c57600080fd5b505af1158015610f40573d6000803e3d6000fd5b505050506040513d6020811015610f5657600080fd5b50516040805160e060020a6323b872dd028152336004820152306024820152604481018990529051600160a060020a03909216916323b872dd916064808201926020929091908290030181600087803b158015610fb257600080fd5b505af1158015610fc6573d6000803e3d6000fd5b505050506040513d6020811015610fdc57600080fd5b50511515610fe957600080fd5b600254604080517f6fb1edcd000000000000000000000000000000000000000000000000000000008152600481018690529051600160a060020a0390921691636fb1edcd9160248082019260009290919082900301818387803b15801561104f57600080fd5b505af1158015611063573d6000803e3d6000fd5b50505050600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b1580156110ba57600080fd5b505af11580156110ce573d6000803e3d6000fd5b505050506040513d60208110156110e457600080fd5b50516040805160e060020a63a9059cbb028152336004820152602481018790529051600160a060020a039092169163a9059cbb916044808201926020929091908290030181600087803b15801561113a57600080fd5b505af115801561114e573d6000803e3d6000fd5b505050506040513d602081101561116457600080fd5b5051151561117157600080fd5b600086121561117f57600080fd5b6005805460ff891690811061119057fe5b906000526020600020015473__Math__________________________________63adefc37b9091886040518363ffffffff1660e060020a028152600401808381526020018281526020019250505060206040518083038186803b1580156111f657600080fd5b505af415801561120a573d6000803e3d6000fd5b505050506040513d602081101561122057600080fd5b50516005805460ff8a1690811061123357fe5b600091825260209182902001919091556040805160ff8a168152918201889052818101859052606082018490525133917fab24ef3371efb2e0e3b02955e33b8ef03c14523e71f3bda87878a2386cc17b69919081900360800190a25050509392505050565b60008054600160a060020a031633146112b057600080fd5b600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561130357600080fd5b505af1158015611317573d6000803e3d6000fd5b505050506040513d602081101561132d57600080fd5b5051604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051600160a060020a03909216916370a08231916024808201926020929091908290030181600087803b15801561139257600080fd5b505af11580156113a6573d6000803e3d6000fd5b505050506040513d60208110156113bc57600080fd5b5051600254604080517fb2016bd40000000000000000000000000000000000000000000000000000000081529051929350600160a060020a039091169163b2016bd4916004808201926020929091908290030181600087803b15801561142157600080fd5b505af1158015611435573d6000803e3d6000fd5b505050506040513d602081101561144b57600080fd5b5051600080546040805160e060020a63a9059cbb028152600160a060020a039283166004820152602481018690529051919093169263a9059cbb9260448083019360209390929083900390910190829087803b1580156114aa57600080fd5b505af11580156114be573d6000803e3d6000fd5b505050506040513d60208110156114d457600080fd5b505115156114e157600080fd5b6040805182815290517f706d7f48c702007c2fb0881cea5759732e64f52faee427d5ab030787cfb7d7879181900360200190a190565b60015481565b600580548290811061152b57fe5b600091825260209091200154905081565b600354600090620f42409074010000000000000000000000000000000000000000900462ffffff1683020492915050565b60065460ff1681565b600054600160a060020a0316331461158d57600080fd5b60008060065460ff1660028111156115a157fe5b146115ab57600080fd5b600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b1580156115fe57600080fd5b505af1158015611612573d6000803e3d6000fd5b505050506040513d602081101561162857600080fd5b50516040805160e060020a6323b872dd028152336004820152306024820152604481018590529051600160a060020a03909216916323b872dd916064808201926020929091908290030181600087803b15801561168457600080fd5b505af1158015611698573d6000803e3d6000fd5b505050506040513d60208110156116ae57600080fd5b505180156117bc5750600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561170a57600080fd5b505af115801561171e573d6000803e3d6000fd5b505050506040513d602081101561173457600080fd5b50516002546040805160e060020a63095ea7b3028152600160a060020a039283166004820152602481018690529051919092169163095ea7b39160448083019260209291908290030181600087803b15801561178f57600080fd5b505af11580156117a3573d6000803e3d6000fd5b505050506040513d60208110156117b957600080fd5b50515b15156117c757600080fd5b600254604080517f28da850b000000000000000000000000000000000000000000000000000000008152600481018590529051600160a060020a03909216916328da850b9160248082019260009290919082900301818387803b15801561182d57600080fd5b505af1158015611841573d6000803e3d6000fd5b5050506004839055506006805460ff191660011790556040805183815290517f8a2fe22ce705a4ac9c189969cef327affbdc477afdae4ae274c2f8ad021f9163916020908290030190a15050565b60045481565b60035474010000000000000000000000000000000000000000900462ffffff1681565b600254600160a060020a031681565b6000808060018060065460ff1660028111156118df57fe5b146118e957600080fd5b600354604080517fbd8ff81700000000000000000000000000000000000000000000000000000000815230600482015260ff8a166024820152604481018990529051600160a060020a039092169163bd8ff817916064808201926020929091908290030181600087803b15801561195f57600080fd5b505af1158015611973573d6000803e3d6000fd5b505050506040513d602081101561198957600080fd5b505192506119968361153c565b91508273__Math__________________________________63771602f79091846040518363ffffffff1660e060020a028152600401808381526020018281526020019250505060206040518083038186803b1580156119f457600080fd5b505af4158015611a08573d6000803e3d6000fd5b505050506040513d6020811015611a1e57600080fd5b50519350600084118015611a325750848411155b1515611a3d57600080fd5b600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611a9057600080fd5b505af1158015611aa4573d6000803e3d6000fd5b505050506040513d6020811015611aba57600080fd5b50516040805160e060020a6323b872dd028152336004820152306024820152604481018790529051600160a060020a03909216916323b872dd916064808201926020929091908290030181600087803b158015611b1657600080fd5b505af1158015611b2a573d6000803e3d6000fd5b505050506040513d6020811015611b4057600080fd5b50518015611c4e5750600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611b9c57600080fd5b505af1158015611bb0573d6000803e3d6000fd5b505050506040513d6020811015611bc657600080fd5b50516002546040805160e060020a63095ea7b3028152600160a060020a039283166004820152602481018790529051919092169163095ea7b39160448083019260209291908290030181600087803b158015611c2157600080fd5b505af1158015611c35573d6000803e3d6000fd5b505050506040513d6020811015611c4b57600080fd5b50515b1515611c5957600080fd5b600254604080517f28da850b000000000000000000000000000000000000000000000000000000008152600481018690529051600160a060020a03909216916328da850b9160248082019260009290919082900301818387803b158015611cbf57600080fd5b505af1158015611cd3573d6000803e3d6000fd5b50506002546040805160e160020a63455f2cf502815260ff8c1660048201529051600160a060020a039092169350638abe59ea92506024808201926020929091908290030181600087803b158015611d2a57600080fd5b505af1158015611d3e573d6000803e3d6000fd5b505050506040513d6020811015611d5457600080fd5b50516040805160e060020a63a9059cbb028152336004820152602481018990529051600160a060020a039092169163a9059cbb916044808201926020929091908290030181600087803b158015611daa57600080fd5b505af1158015611dbe573d6000803e3d6000fd5b505050506040513d6020811015611dd457600080fd5b50511515611de157600080fd5b6000861215611def57600080fd5b6005805460ff8916908110611e0057fe5b906000526020600020015473__Math__________________________________63a5f3c23b9091886040518363ffffffff1660e060020a028152600401808381526020018281526020019250505060206040518083038186803b158015611e6657600080fd5b505af4158015611e7a573d6000803e3d6000fd5b505050506040513d6020811015611e9057600080fd5b50516005805460ff8a16908110611ea357fe5b600091825260209182902001919091556040805160ff8a168152918201889052818101859052606082018490525133917f7caea4a19892ce49b4daa2014d5599eed561dcd16ffabfac851a9737217ae410919081900360800190a25050509392505050565b620f4240815600a165627a7a72305820484aafaeacf87c73aeb16e21d02ea670d3ac05d4f796fb0a4b8433bc4e1ccf180029", "deployedBytecode": "0x6080604052600436106100cc5763ffffffff60e060020a60003504166302d05d3f81146100d15780631f21f9af1461010257806328c05d321461011757806343d726d61461014a57806346280a8014610161578063476343ee1461018257806359acb42c14610197578063a157979c146101ac578063b0011509146101c4578063c040e6b8146101dc578063ca1d209d14610215578063cb4c86b71461022d578063ddca3f4314610242578063e274fd241461026f578063f6d956df14610284578063fbde47f6146102a5575b600080fd5b3480156100dd57600080fd5b506100e66102ba565b60408051600160a060020a039092168252519081900360200190f35b34801561010e57600080fd5b506100e66102c9565b34801561012357600080fd5b5061013860ff600435166024356044356102d8565b60408051918252519081900360200190f35b34801561015657600080fd5b5061015f610a2e565b005b34801561016d57600080fd5b5061013860ff60043516602435604435610d63565b34801561018e57600080fd5b50610138611298565b3480156101a357600080fd5b50610138611517565b3480156101b857600080fd5b5061013860043561151d565b3480156101d057600080fd5b5061013860043561153c565b3480156101e857600080fd5b506101f161156d565b6040518082600281111561020157fe5b60ff16815260200191505060405180910390f35b34801561022157600080fd5b5061015f600435611576565b34801561023957600080fd5b5061013861188f565b34801561024e57600080fd5b50610257611895565b6040805162ffffff9092168252519081900360200190f35b34801561027b57600080fd5b506100e66118b8565b34801561029057600080fd5b5061013860ff600435166024356044356118c7565b3480156102b157600080fd5b50610257611f08565b600054600160a060020a031681565b600354600160a060020a031681565b600080600080600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561033157600080fd5b505af1158015610345573d6000803e3d6000fd5b505050506040513d602081101561035b57600080fd5b50516040805160e060020a6323b872dd028152336004820152306024820152604481018990529051600160a060020a03909216916323b872dd916064808201926020929091908290030181600087803b1580156103b757600080fd5b505af11580156103cb573d6000803e3d6000fd5b505050506040513d60208110156103e157600080fd5b505180156104ef5750600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561043d57600080fd5b505af1158015610451573d6000803e3d6000fd5b505050506040513d602081101561046757600080fd5b50516002546040805160e060020a63095ea7b3028152600160a060020a039283166004820152602481018a90529051919092169163095ea7b39160448083019260209291908290030181600087803b1580156104c257600080fd5b505af11580156104d6573d6000803e3d6000fd5b505050506040513d60208110156104ec57600080fd5b50515b15156104fa57600080fd5b600254604080517f28da850b000000000000000000000000000000000000000000000000000000008152600481018990529051600160a060020a03909216916328da850b9160248082019260009290919082900301818387803b15801561056057600080fd5b505af1158015610574573d6000803e3d6000fd5b50506002546040805160e160020a63455f2cf502815260ff8c1660048201529051600160a060020a039092169350638abe59ea92506024808201926020929091908290030181600087803b1580156105cb57600080fd5b505af11580156105df573d6000803e3d6000fd5b505050506040513d60208110156105f557600080fd5b50516040805160e060020a63095ea7b3028152306004820152602481018990529051600160a060020a039092169163095ea7b3916044808201926020929091908290030181600087803b15801561064b57600080fd5b505af115801561065f573d6000803e3d6000fd5b505050506040513d602081101561067557600080fd5b5050604080517f46280a8000000000000000000000000000000000000000000000000000000000815260ff891660048201526024810188905260448101879052905130916346280a809160648083019260209291908290030181600087803b1580156106e057600080fd5b505af11580156106f4573d6000803e3d6000fd5b505050506040513d602081101561070a57600080fd5b5051600254604080517f7dc8f0860000000000000000000000000000000000000000000000000000000081529051838a039750929550600160a060020a0390911691637dc8f086916004808201926020929091908290030181600087803b15801561077457600080fd5b505af1158015610788573d6000803e3d6000fd5b505050506040513d602081101561079e57600080fd5b50519150600090505b8160ff168160ff1610156108d45760ff818116908816146108cc576002546040805160e160020a63455f2cf502815260ff841660048201529051600160a060020a0390921691638abe59ea916024808201926020929091908290030181600087803b15801561081557600080fd5b505af1158015610829573d6000803e3d6000fd5b505050506040513d602081101561083f57600080fd5b50516040805160e060020a63a9059cbb028152336004820152602481018990529051600160a060020a039092169163a9059cbb916044808201926020929091908290030181600087803b15801561089557600080fd5b505af11580156108a9573d6000803e3d6000fd5b505050506040513d60208110156108bf57600080fd5b505115156108cc57600080fd5b6001016107a7565b600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561092757600080fd5b505af115801561093b573d6000803e3d6000fd5b505050506040513d602081101561095157600080fd5b50516040805160e060020a63a9059cbb028152336004820152602481018690529051600160a060020a039092169163a9059cbb916044808201926020929091908290030181600087803b1580156109a757600080fd5b505af11580156109bb573d6000803e3d6000fd5b505050506040513d60208110156109d157600080fd5b505115156109de57600080fd5b6040805160ff8916815260208101889052808201869052905133917f1dbdc4ff4d51949738d56e120b2be4edecc55d8d2150f1616ec5802abaae3f88919081900360600190a25050509392505050565b600080548190600160a060020a03163314610a4857600080fd5b60018060065460ff166002811115610a5c57fe5b14610a6657600080fd5b600260009054906101000a9004600160a060020a0316600160a060020a0316637dc8f0866040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015610ab957600080fd5b505af1158015610acd573d6000803e3d6000fd5b505050506040513d6020811015610ae357600080fd5b50519250600091505b8260ff168260ff161015610d28576002546040805160e160020a63455f2cf502815260ff851660048201529051600160a060020a0390921691638abe59ea916024808201926020929091908290030181600087803b158015610b4d57600080fd5b505af1158015610b61573d6000803e3d6000fd5b505050506040513d6020811015610b7757600080fd5b5051600080546002546040805160e160020a63455f2cf502815260ff881660048201529051600160a060020a039586169563a9059cbb9594811694931692638abe59ea92602480820193602093909283900390910190829087803b158015610bde57600080fd5b505af1158015610bf2573d6000803e3d6000fd5b505050506040513d6020811015610c0857600080fd5b5051604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051600160a060020a03909216916370a08231916024808201926020929091908290030181600087803b158015610c6d57600080fd5b505af1158015610c81573d6000803e3d6000fd5b505050506040513d6020811015610c9757600080fd5b50516040805160e060020a63ffffffff8616028152600160a060020a03909316600484015260248301919091525160448083019260209291908290030181600087803b158015610ce657600080fd5b505af1158015610cfa573d6000803e3d6000fd5b505050506040513d6020811015610d1057600080fd5b50511515610d1d57600080fd5b600190910190610aec565b6006805460ff191660021790556040517fe7d85885f81486e8f4c99e50e056745493861b8b5d4f973dcf0c3c0f74a25e0790600090a1505050565b6000808060018060065460ff166002811115610d7b57fe5b14610d8557600080fd5b600354604080517f4091c6a900000000000000000000000000000000000000000000000000000000815230600482015260ff8a166024820152604481018990529051600160a060020a0390921691634091c6a9916064808201926020929091908290030181600087803b158015610dfb57600080fd5b505af1158015610e0f573d6000803e3d6000fd5b505050506040513d6020811015610e2557600080fd5b50519250610e328361153c565b91508273__Math__________________________________63b67d77c59091846040518363ffffffff1660e060020a028152600401808381526020018281526020019250505060206040518083038186803b158015610e9057600080fd5b505af4158015610ea4573d6000803e3d6000fd5b505050506040513d6020811015610eba57600080fd5b50519350600084118015610ece5750848410155b1515610ed957600080fd5b6002546040805160e160020a63455f2cf502815260ff8a1660048201529051600160a060020a0390921691638abe59ea916024808201926020929091908290030181600087803b158015610f2c57600080fd5b505af1158015610f40573d6000803e3d6000fd5b505050506040513d6020811015610f5657600080fd5b50516040805160e060020a6323b872dd028152336004820152306024820152604481018990529051600160a060020a03909216916323b872dd916064808201926020929091908290030181600087803b158015610fb257600080fd5b505af1158015610fc6573d6000803e3d6000fd5b505050506040513d6020811015610fdc57600080fd5b50511515610fe957600080fd5b600254604080517f6fb1edcd000000000000000000000000000000000000000000000000000000008152600481018690529051600160a060020a0390921691636fb1edcd9160248082019260009290919082900301818387803b15801561104f57600080fd5b505af1158015611063573d6000803e3d6000fd5b50505050600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b1580156110ba57600080fd5b505af11580156110ce573d6000803e3d6000fd5b505050506040513d60208110156110e457600080fd5b50516040805160e060020a63a9059cbb028152336004820152602481018790529051600160a060020a039092169163a9059cbb916044808201926020929091908290030181600087803b15801561113a57600080fd5b505af115801561114e573d6000803e3d6000fd5b505050506040513d602081101561116457600080fd5b5051151561117157600080fd5b600086121561117f57600080fd5b6005805460ff891690811061119057fe5b906000526020600020015473__Math__________________________________63adefc37b9091886040518363ffffffff1660e060020a028152600401808381526020018281526020019250505060206040518083038186803b1580156111f657600080fd5b505af415801561120a573d6000803e3d6000fd5b505050506040513d602081101561122057600080fd5b50516005805460ff8a1690811061123357fe5b600091825260209182902001919091556040805160ff8a168152918201889052818101859052606082018490525133917fab24ef3371efb2e0e3b02955e33b8ef03c14523e71f3bda87878a2386cc17b69919081900360800190a25050509392505050565b60008054600160a060020a031633146112b057600080fd5b600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561130357600080fd5b505af1158015611317573d6000803e3d6000fd5b505050506040513d602081101561132d57600080fd5b5051604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051600160a060020a03909216916370a08231916024808201926020929091908290030181600087803b15801561139257600080fd5b505af11580156113a6573d6000803e3d6000fd5b505050506040513d60208110156113bc57600080fd5b5051600254604080517fb2016bd40000000000000000000000000000000000000000000000000000000081529051929350600160a060020a039091169163b2016bd4916004808201926020929091908290030181600087803b15801561142157600080fd5b505af1158015611435573d6000803e3d6000fd5b505050506040513d602081101561144b57600080fd5b5051600080546040805160e060020a63a9059cbb028152600160a060020a039283166004820152602481018690529051919093169263a9059cbb9260448083019360209390929083900390910190829087803b1580156114aa57600080fd5b505af11580156114be573d6000803e3d6000fd5b505050506040513d60208110156114d457600080fd5b505115156114e157600080fd5b6040805182815290517f706d7f48c702007c2fb0881cea5759732e64f52faee427d5ab030787cfb7d7879181900360200190a190565b60015481565b600580548290811061152b57fe5b600091825260209091200154905081565b600354600090620f42409074010000000000000000000000000000000000000000900462ffffff1683020492915050565b60065460ff1681565b600054600160a060020a0316331461158d57600080fd5b60008060065460ff1660028111156115a157fe5b146115ab57600080fd5b600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b1580156115fe57600080fd5b505af1158015611612573d6000803e3d6000fd5b505050506040513d602081101561162857600080fd5b50516040805160e060020a6323b872dd028152336004820152306024820152604481018590529051600160a060020a03909216916323b872dd916064808201926020929091908290030181600087803b15801561168457600080fd5b505af1158015611698573d6000803e3d6000fd5b505050506040513d60208110156116ae57600080fd5b505180156117bc5750600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561170a57600080fd5b505af115801561171e573d6000803e3d6000fd5b505050506040513d602081101561173457600080fd5b50516002546040805160e060020a63095ea7b3028152600160a060020a039283166004820152602481018690529051919092169163095ea7b39160448083019260209291908290030181600087803b15801561178f57600080fd5b505af11580156117a3573d6000803e3d6000fd5b505050506040513d60208110156117b957600080fd5b50515b15156117c757600080fd5b600254604080517f28da850b000000000000000000000000000000000000000000000000000000008152600481018590529051600160a060020a03909216916328da850b9160248082019260009290919082900301818387803b15801561182d57600080fd5b505af1158015611841573d6000803e3d6000fd5b5050506004839055506006805460ff191660011790556040805183815290517f8a2fe22ce705a4ac9c189969cef327affbdc477afdae4ae274c2f8ad021f9163916020908290030190a15050565b60045481565b60035474010000000000000000000000000000000000000000900462ffffff1681565b600254600160a060020a031681565b6000808060018060065460ff1660028111156118df57fe5b146118e957600080fd5b600354604080517fbd8ff81700000000000000000000000000000000000000000000000000000000815230600482015260ff8a166024820152604481018990529051600160a060020a039092169163bd8ff817916064808201926020929091908290030181600087803b15801561195f57600080fd5b505af1158015611973573d6000803e3d6000fd5b505050506040513d602081101561198957600080fd5b505192506119968361153c565b91508273__Math__________________________________63771602f79091846040518363ffffffff1660e060020a028152600401808381526020018281526020019250505060206040518083038186803b1580156119f457600080fd5b505af4158015611a08573d6000803e3d6000fd5b505050506040513d6020811015611a1e57600080fd5b50519350600084118015611a325750848411155b1515611a3d57600080fd5b600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611a9057600080fd5b505af1158015611aa4573d6000803e3d6000fd5b505050506040513d6020811015611aba57600080fd5b50516040805160e060020a6323b872dd028152336004820152306024820152604481018790529051600160a060020a03909216916323b872dd916064808201926020929091908290030181600087803b158015611b1657600080fd5b505af1158015611b2a573d6000803e3d6000fd5b505050506040513d6020811015611b4057600080fd5b50518015611c4e5750600260009054906101000a9004600160a060020a0316600160a060020a031663b2016bd46040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611b9c57600080fd5b505af1158015611bb0573d6000803e3d6000fd5b505050506040513d6020811015611bc657600080fd5b50516002546040805160e060020a63095ea7b3028152600160a060020a039283166004820152602481018790529051919092169163095ea7b39160448083019260209291908290030181600087803b158015611c2157600080fd5b505af1158015611c35573d6000803e3d6000fd5b505050506040513d6020811015611c4b57600080fd5b50515b1515611c5957600080fd5b600254604080517f28da850b000000000000000000000000000000000000000000000000000000008152600481018690529051600160a060020a03909216916328da850b9160248082019260009290919082900301818387803b158015611cbf57600080fd5b505af1158015611cd3573d6000803e3d6000fd5b50506002546040805160e160020a63455f2cf502815260ff8c1660048201529051600160a060020a039092169350638abe59ea92506024808201926020929091908290030181600087803b158015611d2a57600080fd5b505af1158015611d3e573d6000803e3d6000fd5b505050506040513d6020811015611d5457600080fd5b50516040805160e060020a63a9059cbb028152336004820152602481018990529051600160a060020a039092169163a9059cbb916044808201926020929091908290030181600087803b158015611daa57600080fd5b505af1158015611dbe573d6000803e3d6000fd5b505050506040513d6020811015611dd457600080fd5b50511515611de157600080fd5b6000861215611def57600080fd5b6005805460ff8916908110611e0057fe5b906000526020600020015473__Math__________________________________63a5f3c23b9091886040518363ffffffff1660e060020a028152600401808381526020018281526020019250505060206040518083038186803b158015611e6657600080fd5b505af4158015611e7a573d6000803e3d6000fd5b505050506040513d6020811015611e9057600080fd5b50516005805460ff8a16908110611ea357fe5b600091825260209182902001919091556040805160ff8a168152918201889052818101859052606082018490525133917f7caea4a19892ce49b4daa2014d5599eed561dcd16ffabfac851a9737217ae410919081900360800190a25050509392505050565b620f4240815600a165627a7a72305820484aafaeacf87c73aeb16e21d02ea670d3ac05d4f796fb0a4b8433bc4e1ccf180029", "sourceMap": "279:8103:10:-;;;998:529;8:9:-1;5:2;;;30:1;27;20:12;5:2;998:529:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;1165:28:10;;;;;;:58;;-1:-1:-1;;;;;;1197:26:10;;;;1165:58;:78;;;;-1:-1:-1;410:7:10;1227:16;;;;1165:78;1157:87;;;;;;;;1254:7;:18;;-1:-1:-1;;;;;1254:18:10;;;-1:-1:-1;;;;;;1254:18:10;;;;;;1299:12;1254:18;1282:29;1321:13;:30;;;;;;;;;;;;;;;1394:31;;;;;;;;:13;;;;;:29;;:31;;;;;;;;;;;;;;;;;:13;:31;;;5:2:-1;;;;30:1;27;20:12;5:2;1394:31:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;1394:31:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1394:31:10;1384:42;;;;;;;;;;1394:31;1384:42;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;136:17;;-1:-1;1384:42:10;-1:-1:-1;1361:65:10;;;;:20;;:65;;;;;;:::i;:::-;-1:-1:-1;1436:3:10;:10;;-1:-1:-1;;;;;;1436:10:10;;;;;;;-1:-1:-1;;;;;;1456:26:10;-1:-1:-1;;;;;1456:26:10;;;;;1492:5;:28;;-1:-1:-1;;1492:5:10;-1:-1:-1;;1492:28:10;-1:-1:-1;;1492:28:10;;;;;998:529;;;;279:8103;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;279:8103:10;;;-1:-1:-1;279:8103:10;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;", "deployedSourceMap": "279:8103:10:-;;;;;;;;;-1:-1:-1;;;279:8103:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;775:22:9;;8:9:-1;5:2;;;30:1;27;20:12;5:2;775:22:9;;;;;;;;-1:-1:-1;;;;;775:22:9;;;;;;;;;;;;;;867:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;867:30:9;;;;6896:1167:10;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6896:1167:10;;;;;;;;;;;;;;;;;;;;;;;;;;;2325:390;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2325:390:10;;;;;;5130:1297;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5130:1297:10;;;;;;;;;;;2820:288;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2820:288:10;;;;803:26:9;;8:9:-1;5:2;;;30:1;27;20:12;5:2;803:26:9;;;;951:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;951:33:9;;;;;8217:163:10;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;8217:163:10;;;;;990:19:9;;8:9:-1;5:2;;;30:1;27;20:12;5:2;990:19:9;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1670:533:10;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1670:533:10;;;;;926:19:9;;8:9:-1;5:2;;;30:1;27;20:12;5:2;926:19:9;;;;903:17;;8:9:-1;5:2;;;30:1;27;20:12;5:2;903:17:9;;;;;;;;;;;;;;;;;;;;;;;835:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;835:26:9;;;;3435:1360:10;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3435:1360:10;;;;;;;;;;;375:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;375:42:10;;;;775:22:9;;;-1:-1:-1;;;;;775:22:9;;:::o;867:30::-;;;-1:-1:-1;;;;;867:30:9;;:::o;6896:1167:10:-;7012:9;7446:11;7615:18;7682:7;7076:13;;;;;;;;;-1:-1:-1;;;;;7076:13:10;-1:-1:-1;;;;;7076:29:10;;:31;;;;;-1:-1:-1;;;7076:31:10;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7076:31:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7076:31:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7076:31:10;:81;;;-1:-1:-1;;;;;7076:81:10;;7121:10;7076:81;;;;7133:4;7076:81;;;;;;;;;;;;-1:-1:-1;;;;;7076:44:10;;;;;;:81;;;;;:31;;:81;;;;;;;;-1:-1:-1;7076:44:10;:81;;;5:2:-1;;;;30:1;27;20:12;5:2;7076:81:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7076:81:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7076:81:10;:174;;;;;7177:13;;;;;;;;;-1:-1:-1;;;;;7177:13:10;-1:-1:-1;;;;;7177:29:10;;:31;;;;;-1:-1:-1;;;7177:31:10;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7177:31:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7177:31:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7177:31:10;7217:13;;7177:73;;;-1:-1:-1;;;;;7177:73:10;;-1:-1:-1;;;;;7217:13:10;;;7177:73;;;;;;;;;;;;:39;;;;;;;:73;;;;;:31;;:73;;;;;;;7217:13;7177:39;:73;;;5:2:-1;;;;30:1;27;20:12;5:2;7177:73:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7177:73:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7177:73:10;7076:174;7065:186;;;;;;;;7261:13;;:47;;;;;;;;;;;;;;-1:-1:-1;;;;;7261:13:10;;;;:28;;:47;;;;;:13;;:47;;;;;;;;:13;;:47;;;5:2:-1;;;;30:1;27;20:12;5:2;7261:47:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;7357:13:10;;:46;;;-1:-1:-1;;;;;7357:46:10;;;;;;;;;;;-1:-1:-1;;;;;7357:13:10;;;;-1:-1:-1;7357:27:10;;-1:-1:-1;7357:46:10;;;;;;;;;;;;;;;:13;;:46;;;5:2:-1;;;;30:1;27;20:12;5:2;7357:46:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7357:46:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7357:46:10;:79;;;-1:-1:-1;;;;;7357:79:10;;7412:4;7357:79;;;;;;;;;;;;-1:-1:-1;;;;;7357:54:10;;;;;;:79;;;;;:46;;:79;;;;;;;;-1:-1:-1;7357:54:10;:79;;;5:2:-1;;;;30:1;27;20:12;5:2;7357:79:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7357:79:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;7460:58:10;;;;;;;;;;;;;;;;;;;;;;;;;;;:4;;:9;;:58;;;;;7357:79;;7460:58;;;;;;;-1:-1:-1;7460:4:10;:58;;;5:2:-1;;;;30:1;27;20:12;5:2;7460:58:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7460:58:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7460:58:10;7636:13;;:31;;;;;;;;7535:26;;;;-1:-1:-1;7460:58:10;;-1:-1:-1;;;;;;7636:13:10;;;;:29;;:31;;;;;7460:58;;7636:31;;;;;;;;:13;;:31;;;5:2:-1;;;;30:1;27;20:12;5:2;7636:31:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7636:31:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7636:31:10;;-1:-1:-1;7692:1:10;;-1:-1:-1;7677:176:10;7699:12;7695:16;;:1;:16;;;7677:176;;;7734:22;;;;;;;;7730:123;;7782:13;;:30;;;-1:-1:-1;;;;;7782:30:10;;;;;;;;;;;-1:-1:-1;;;;;7782:13:10;;;;:27;;:30;;;;;;;;;;;;;;;:13;;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;7782:30:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7782:30:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7782:30:10;:70;;;-1:-1:-1;;;;;7782:70:10;;7822:10;7782:70;;;;;;;;;;;;-1:-1:-1;;;;;7782:39:10;;;;;;:70;;;;;:30;;:70;;;;;;;;-1:-1:-1;7782:39:10;:70;;;5:2:-1;;;;30:1;27;20:12;5:2;7782:70:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7782:70:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7782:70:10;7774:79;;;;;;;;7713:3;;7677:176;;;7908:13;;;;;;;;;-1:-1:-1;;;;;7908:13:10;-1:-1:-1;;;;;7908:29:10;;:31;;;;;-1:-1:-1;;;7908:31:10;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7908:31:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7908:31:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7908:31:10;:60;;;-1:-1:-1;;;;;7908:60:10;;7949:10;7908:60;;;;;;;;;;;;-1:-1:-1;;;;;7908:40:10;;;;;;:60;;;;;:31;;:60;;;;;;;;-1:-1:-1;7908:40:10;:60;;;5:2:-1;;;;30:1;27;20:12;5:2;7908:60:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7908:60:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7908:60:10;7900:69;;;;;;;;7979:77;;;;;;;;;;;;;;;;;;;;;;8001:10;;7979:77;;;;;;;;;;6896:1167;;;;;;;;:::o;2325:390::-;2426:18;564:7;;2426:18;;-1:-1:-1;;;;;564:7:10;550:10;:21;542:30;;;;;;2391:19;;691:5;;;;:15;;;;;;;;;683:24;;;;;;2447:13;;;;;;;;;-1:-1:-1;;;;;2447:13:10;-1:-1:-1;;;;;2447:29:10;;:31;;;;;-1:-1:-1;;;2447:31:10;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2447:31:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2447:31:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2447:31:10;;-1:-1:-1;2503:1:10;;-1:-1:-1;2488:158:10;2510:12;2506:16;;:1;:16;;;2488:158;;;2549:13;;:30;;;-1:-1:-1;;;;;2549:30:10;;;;;;;;;;;-1:-1:-1;;;;;2549:13:10;;;;:27;;:30;;;;;;;;;;;;;;;:13;;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;2549:30:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2549:30:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2549:30:10;2589:7;;;2598:13;;:30;;;-1:-1:-1;;;;;2598:30:10;;;;;;;;;;;-1:-1:-1;;;;;2549:39:10;;;;;;2589:7;;;;2598:13;;;:27;;:30;;;;;2549;;2598;;;;;;;;;;;:13;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;2598:30:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2598:30:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2598:30:10;:46;;;;;;2639:4;2598:46;;;;;;-1:-1:-1;;;;;2598:40:10;;;;;;:46;;;;;:30;;:46;;;;;;;;-1:-1:-1;2598:40:10;:46;;;5:2:-1;;;;30:1;27;20:12;5:2;2598:46:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2598:46:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2598:46:10;2549:96;;;-1:-1:-1;;;2549:96:10;;;;;;-1:-1:-1;;;;;2549:96:10;;;;;;;;;;;;;;;;;;;;2598:46;;2549:96;;;;;;;-1:-1:-1;2549:96:10;;;;5:2:-1;;;;30:1;27;20:12;5:2;2549:96:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2549:96:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2549:96:10;2541:105;;;;;;;;2524:3;;;;;2488:158;;;2656:5;:27;;-1:-1:-1;;2656:27:10;2664:19;2656:27;;;2693:15;;;;-1:-1:-1;;2693:15:10;582:1;2325:390;;:::o;5130:1297::-;5278:11;;;5240:19;;691:5;;;;:15;;;;;;;;;683:24;;;;;;5386:11;;:66;;;;;;5409:4;5386:66;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5386:11:10;;;;:22;;:66;;;;;;;;;;;;;;;:11;;:66;;;5:2:-1;;;;30:1;27;20:12;5:2;5386:66:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5386:66:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5386:66:10;