@keep-network/tbtc-v2 0.1.1-dev.3 → 0.1.1-dev.30

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (42) hide show
  1. package/README.adoc +12 -0
  2. package/artifacts/TBTC.json +19 -18
  3. package/artifacts/TBTCToken.json +19 -18
  4. package/artifacts/VendingMachine.json +20 -19
  5. package/artifacts/solcInputs/087a7a27c8cd210b7c63e594263dfed9.json +197 -0
  6. package/build/contracts/GovernanceUtils.sol/GovernanceUtils.dbg.json +1 -1
  7. package/build/contracts/GovernanceUtils.sol/GovernanceUtils.json +2 -2
  8. package/build/contracts/bank/Bank.sol/Bank.dbg.json +1 -1
  9. package/build/contracts/bank/Bank.sol/Bank.json +43 -2
  10. package/build/contracts/bridge/BitcoinTx.sol/BitcoinTx.dbg.json +4 -0
  11. package/build/contracts/bridge/BitcoinTx.sol/BitcoinTx.json +96 -0
  12. package/build/contracts/bridge/Bridge.sol/Bridge.dbg.json +1 -1
  13. package/build/contracts/bridge/Bridge.sol/Bridge.json +1598 -71
  14. package/build/contracts/bridge/Bridge.sol/IRelay.dbg.json +4 -0
  15. package/build/contracts/bridge/Bridge.sol/IRelay.json +37 -0
  16. package/build/contracts/bridge/EcdsaLib.sol/EcdsaLib.dbg.json +4 -0
  17. package/build/contracts/bridge/EcdsaLib.sol/EcdsaLib.json +10 -0
  18. package/build/contracts/bridge/Frauds.sol/Frauds.dbg.json +4 -0
  19. package/build/contracts/bridge/Frauds.sol/Frauds.json +138 -0
  20. package/build/contracts/bridge/VendingMachine.sol/VendingMachine.dbg.json +1 -1
  21. package/build/contracts/bridge/VendingMachine.sol/VendingMachine.json +2 -2
  22. package/build/contracts/bridge/Wallets.sol/Wallets.dbg.json +4 -0
  23. package/build/contracts/bridge/Wallets.sol/Wallets.json +138 -0
  24. package/build/contracts/token/TBTC.sol/TBTC.dbg.json +1 -1
  25. package/build/contracts/token/TBTC.sol/TBTC.json +2 -2
  26. package/build/contracts/vault/IVault.sol/IVault.dbg.json +4 -0
  27. package/build/contracts/vault/IVault.sol/IVault.json +47 -0
  28. package/build/contracts/vault/TBTCVault.sol/TBTCVault.dbg.json +1 -1
  29. package/build/contracts/vault/TBTCVault.sol/TBTCVault.json +38 -2
  30. package/contracts/GovernanceUtils.sol +1 -1
  31. package/contracts/bank/Bank.sol +69 -18
  32. package/contracts/bridge/BitcoinTx.sol +241 -0
  33. package/contracts/bridge/Bridge.sol +1956 -104
  34. package/contracts/bridge/EcdsaLib.sol +30 -0
  35. package/contracts/bridge/Frauds.sol +531 -0
  36. package/contracts/bridge/VendingMachine.sol +1 -1
  37. package/contracts/bridge/Wallets.sol +521 -0
  38. package/contracts/token/TBTC.sol +1 -1
  39. package/contracts/vault/IVault.sol +60 -0
  40. package/contracts/vault/TBTCVault.sol +50 -8
  41. package/package.json +28 -24
  42. package/artifacts/solcInputs/cebfa5efa019cb9c8c5e23e38703b883.json +0 -113
@@ -4,14 +4,39 @@
4
4
  "sourceName": "contracts/bridge/Bridge.sol",
5
5
  "abi": [
6
6
  {
7
- "anonymous": false,
8
7
  "inputs": [
9
8
  {
10
- "indexed": false,
9
+ "internalType": "address",
10
+ "name": "_bank",
11
+ "type": "address"
12
+ },
13
+ {
14
+ "internalType": "address",
15
+ "name": "_relay",
16
+ "type": "address"
17
+ },
18
+ {
19
+ "internalType": "address",
20
+ "name": "_treasury",
21
+ "type": "address"
22
+ },
23
+ {
24
+ "internalType": "address",
25
+ "name": "_ecdsaWalletRegistry",
26
+ "type": "address"
27
+ },
28
+ {
11
29
  "internalType": "uint256",
12
- "name": "depositId",
30
+ "name": "_txProofDifficultyFactor",
13
31
  "type": "uint256"
14
- },
32
+ }
33
+ ],
34
+ "stateMutability": "nonpayable",
35
+ "type": "constructor"
36
+ },
37
+ {
38
+ "anonymous": false,
39
+ "inputs": [
15
40
  {
16
41
  "indexed": false,
17
42
  "internalType": "bytes32",
@@ -20,9 +45,9 @@
20
45
  },
21
46
  {
22
47
  "indexed": false,
23
- "internalType": "uint8",
48
+ "internalType": "uint32",
24
49
  "name": "fundingOutputIndex",
25
- "type": "uint8"
50
+ "type": "uint32"
26
51
  },
27
52
  {
28
53
  "indexed": false,
@@ -33,20 +58,32 @@
33
58
  {
34
59
  "indexed": false,
35
60
  "internalType": "uint64",
36
- "name": "blindingFactor",
61
+ "name": "amount",
37
62
  "type": "uint64"
38
63
  },
39
64
  {
40
65
  "indexed": false,
41
- "internalType": "bytes",
42
- "name": "refundPubKey",
43
- "type": "bytes"
66
+ "internalType": "bytes8",
67
+ "name": "blindingFactor",
68
+ "type": "bytes8"
44
69
  },
45
70
  {
46
71
  "indexed": false,
47
- "internalType": "uint64",
48
- "name": "amount",
49
- "type": "uint64"
72
+ "internalType": "bytes20",
73
+ "name": "walletPubKeyHash",
74
+ "type": "bytes20"
75
+ },
76
+ {
77
+ "indexed": false,
78
+ "internalType": "bytes20",
79
+ "name": "refundPubKeyHash",
80
+ "type": "bytes20"
81
+ },
82
+ {
83
+ "indexed": false,
84
+ "internalType": "bytes4",
85
+ "name": "refundLocktime",
86
+ "type": "bytes4"
50
87
  },
51
88
  {
52
89
  "indexed": false,
@@ -59,118 +96,1608 @@
59
96
  "type": "event"
60
97
  },
61
98
  {
99
+ "anonymous": false,
62
100
  "inputs": [
63
101
  {
102
+ "indexed": false,
103
+ "internalType": "bytes20",
104
+ "name": "walletPubKeyHash",
105
+ "type": "bytes20"
106
+ },
107
+ {
108
+ "indexed": false,
64
109
  "internalType": "bytes32",
65
- "name": "fundingTxHash",
110
+ "name": "sweepTxHash",
111
+ "type": "bytes32"
112
+ }
113
+ ],
114
+ "name": "DepositsSwept",
115
+ "type": "event"
116
+ },
117
+ {
118
+ "anonymous": false,
119
+ "inputs": [
120
+ {
121
+ "indexed": false,
122
+ "internalType": "bytes20",
123
+ "name": "walletPublicKeyHash",
124
+ "type": "bytes20"
125
+ },
126
+ {
127
+ "indexed": false,
128
+ "internalType": "bytes32",
129
+ "name": "sighash",
130
+ "type": "bytes32"
131
+ }
132
+ ],
133
+ "name": "FraudChallengeDefeatTimedOut",
134
+ "type": "event"
135
+ },
136
+ {
137
+ "anonymous": false,
138
+ "inputs": [
139
+ {
140
+ "indexed": false,
141
+ "internalType": "uint256",
142
+ "name": "newFraudChallengeDefeatTimeout",
143
+ "type": "uint256"
144
+ }
145
+ ],
146
+ "name": "FraudChallengeDefeatTimeoutUpdated",
147
+ "type": "event"
148
+ },
149
+ {
150
+ "anonymous": false,
151
+ "inputs": [
152
+ {
153
+ "indexed": false,
154
+ "internalType": "bytes20",
155
+ "name": "walletPublicKeyHash",
156
+ "type": "bytes20"
157
+ },
158
+ {
159
+ "indexed": false,
160
+ "internalType": "bytes32",
161
+ "name": "sighash",
162
+ "type": "bytes32"
163
+ }
164
+ ],
165
+ "name": "FraudChallengeDefeated",
166
+ "type": "event"
167
+ },
168
+ {
169
+ "anonymous": false,
170
+ "inputs": [
171
+ {
172
+ "indexed": false,
173
+ "internalType": "uint256",
174
+ "name": "newFraudChallengeDepositAmount",
175
+ "type": "uint256"
176
+ }
177
+ ],
178
+ "name": "FraudChallengeDepositAmountUpdated",
179
+ "type": "event"
180
+ },
181
+ {
182
+ "anonymous": false,
183
+ "inputs": [
184
+ {
185
+ "indexed": false,
186
+ "internalType": "bytes20",
187
+ "name": "walletPublicKeyHash",
188
+ "type": "bytes20"
189
+ },
190
+ {
191
+ "indexed": false,
192
+ "internalType": "bytes32",
193
+ "name": "sighash",
66
194
  "type": "bytes32"
67
195
  },
68
196
  {
197
+ "indexed": false,
69
198
  "internalType": "uint8",
70
- "name": "fundingOutputIndex",
199
+ "name": "v",
71
200
  "type": "uint8"
72
201
  },
73
202
  {
74
- "internalType": "uint64",
75
- "name": "blindingFactor",
76
- "type": "uint64"
203
+ "indexed": false,
204
+ "internalType": "bytes32",
205
+ "name": "r",
206
+ "type": "bytes32"
77
207
  },
78
208
  {
79
- "internalType": "bytes",
80
- "name": "refundPubKey",
81
- "type": "bytes"
209
+ "indexed": false,
210
+ "internalType": "bytes32",
211
+ "name": "s",
212
+ "type": "bytes32"
213
+ }
214
+ ],
215
+ "name": "FraudChallengeSubmitted",
216
+ "type": "event"
217
+ },
218
+ {
219
+ "anonymous": false,
220
+ "inputs": [
221
+ {
222
+ "indexed": false,
223
+ "internalType": "uint256",
224
+ "name": "newFraudNotifierRewardMultiplier",
225
+ "type": "uint256"
226
+ }
227
+ ],
228
+ "name": "FraudNotifierRewardMultiplierUpdated",
229
+ "type": "event"
230
+ },
231
+ {
232
+ "anonymous": false,
233
+ "inputs": [
234
+ {
235
+ "indexed": false,
236
+ "internalType": "uint256",
237
+ "name": "newFraudSlashingAmount",
238
+ "type": "uint256"
239
+ }
240
+ ],
241
+ "name": "FraudSlashingAmountUpdated",
242
+ "type": "event"
243
+ },
244
+ {
245
+ "anonymous": false,
246
+ "inputs": [
247
+ {
248
+ "indexed": true,
249
+ "internalType": "bytes32",
250
+ "name": "ecdsaWalletID",
251
+ "type": "bytes32"
82
252
  },
83
253
  {
84
- "internalType": "uint64",
85
- "name": "amount",
86
- "type": "uint64"
254
+ "indexed": true,
255
+ "internalType": "bytes20",
256
+ "name": "walletPubKeyHash",
257
+ "type": "bytes20"
258
+ }
259
+ ],
260
+ "name": "NewWalletRegistered",
261
+ "type": "event"
262
+ },
263
+ {
264
+ "anonymous": false,
265
+ "inputs": [],
266
+ "name": "NewWalletRequested",
267
+ "type": "event"
268
+ },
269
+ {
270
+ "anonymous": false,
271
+ "inputs": [
272
+ {
273
+ "indexed": true,
274
+ "internalType": "address",
275
+ "name": "previousOwner",
276
+ "type": "address"
87
277
  },
88
278
  {
279
+ "indexed": true,
89
280
  "internalType": "address",
90
- "name": "vault",
281
+ "name": "newOwner",
91
282
  "type": "address"
92
283
  }
93
284
  ],
94
- "name": "revealDeposit",
95
- "outputs": [],
96
- "stateMutability": "nonpayable",
97
- "type": "function"
285
+ "name": "OwnershipTransferred",
286
+ "type": "event"
98
287
  },
99
288
  {
289
+ "anonymous": false,
100
290
  "inputs": [
101
291
  {
102
- "internalType": "bytes4",
103
- "name": "txVersion",
104
- "type": "bytes4"
292
+ "indexed": false,
293
+ "internalType": "bytes20",
294
+ "name": "walletPubKeyHash",
295
+ "type": "bytes20"
105
296
  },
106
297
  {
298
+ "indexed": false,
107
299
  "internalType": "bytes",
108
- "name": "txInputVector",
300
+ "name": "redeemerOutputScript",
109
301
  "type": "bytes"
110
302
  },
111
303
  {
112
- "internalType": "bytes",
113
- "name": "txOutput",
114
- "type": "bytes"
304
+ "indexed": false,
305
+ "internalType": "address",
306
+ "name": "redeemer",
307
+ "type": "address"
115
308
  },
116
309
  {
117
- "internalType": "bytes4",
118
- "name": "txLocktime",
119
- "type": "bytes4"
310
+ "indexed": false,
311
+ "internalType": "uint64",
312
+ "name": "requestedAmount",
313
+ "type": "uint64"
120
314
  },
121
315
  {
122
- "internalType": "bytes",
123
- "name": "merkleProof",
124
- "type": "bytes"
316
+ "indexed": false,
317
+ "internalType": "uint64",
318
+ "name": "treasuryFee",
319
+ "type": "uint64"
125
320
  },
126
321
  {
127
- "internalType": "uint256",
128
- "name": "txIndexInBlock",
129
- "type": "uint256"
322
+ "indexed": false,
323
+ "internalType": "uint64",
324
+ "name": "txMaxFee",
325
+ "type": "uint64"
326
+ }
327
+ ],
328
+ "name": "RedemptionRequested",
329
+ "type": "event"
330
+ },
331
+ {
332
+ "anonymous": false,
333
+ "inputs": [
334
+ {
335
+ "indexed": false,
336
+ "internalType": "bytes20",
337
+ "name": "walletPubKeyHash",
338
+ "type": "bytes20"
130
339
  },
131
340
  {
341
+ "indexed": false,
132
342
  "internalType": "bytes",
133
- "name": "bitcoinHeaders",
343
+ "name": "redeemerOutputScript",
134
344
  "type": "bytes"
135
345
  }
136
346
  ],
137
- "name": "sweep",
138
- "outputs": [],
139
- "stateMutability": "nonpayable",
140
- "type": "function"
347
+ "name": "RedemptionTimedOut",
348
+ "type": "event"
141
349
  },
142
350
  {
351
+ "anonymous": false,
143
352
  "inputs": [
144
353
  {
145
- "internalType": "uint256",
146
- "name": "",
147
- "type": "uint256"
354
+ "indexed": false,
355
+ "internalType": "bytes20",
356
+ "name": "walletPubKeyHash",
357
+ "type": "bytes20"
358
+ },
359
+ {
360
+ "indexed": false,
361
+ "internalType": "bytes32",
362
+ "name": "redemptionTxHash",
363
+ "type": "bytes32"
148
364
  }
149
365
  ],
150
- "name": "unswept",
151
- "outputs": [
152
- {
153
- "internalType": "uint64",
154
- "name": "amount",
155
- "type": "uint64"
156
- },
366
+ "name": "RedemptionsCompleted",
367
+ "type": "event"
368
+ },
369
+ {
370
+ "anonymous": false,
371
+ "inputs": [
157
372
  {
373
+ "indexed": true,
158
374
  "internalType": "address",
159
375
  "name": "vault",
160
376
  "type": "address"
161
377
  },
162
378
  {
163
- "internalType": "uint32",
164
- "name": "revealedAt",
165
- "type": "uint32"
379
+ "indexed": false,
380
+ "internalType": "bool",
381
+ "name": "isTrusted",
382
+ "type": "bool"
166
383
  }
167
384
  ],
168
- "stateMutability": "view",
169
- "type": "function"
170
- }
171
- ],
172
- "bytecode": "0x608060405234801561001057600080fd5b506109f0806100206000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c80632c3e1d121461004657806342b1f1a41461006257806343c6de291461007e575b600080fd5b610060600480360381019061005b91906103df565b6100b0565b005b61007c60048036038101906100779190610486565b610238565b005b61009860048036038101906100939190610584565b610241565b6040516100a793929190610735565b60405180910390f35b60008787336040516020016100c793929190610657565b6040516020818303038152906040528051906020012060001c905060008060008381526020019081526020016000209050600081600001601c9054906101000a900463ffffffff1663ffffffff1614610155576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161014c9061068e565b60405180910390fd5b838160000160006101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550828160000160086101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055504281600001601c6101000a81548163ffffffff021916908363ffffffff1602179055507fed7e2a3180a53ccf8540bf67f1679359557837b4c2350f3c7f1d1409eaac3739828a8a338b8b8b8b8b604051610225999897969594939291906106ae565b60405180910390a1505050505050505050565b50505050505050565b60006020528060005260406000206000915090508060000160009054906101000a900467ffffffffffffffff16908060000160089054906101000a900473ffffffffffffffffffffffffffffffffffffffff169080600001601c9054906101000a900463ffffffff16905083565b60006102c26102bd84610791565b61076c565b9050828152602081018484840111156102da57600080fd5b6102e5848285610887565b509392505050565b6000813590506102fc81610930565b92915050565b60008135905061031181610947565b92915050565b6000813590506103268161095e565b92915050565b60008083601f84011261033e57600080fd5b8235905067ffffffffffffffff81111561035757600080fd5b60208301915083600182028301111561036f57600080fd5b9250929050565b600082601f83011261038757600080fd5b81356103978482602086016102af565b91505092915050565b6000813590506103af81610975565b92915050565b6000813590506103c48161098c565b92915050565b6000813590506103d9816109a3565b92915050565b600080600080600080600060c0888a0312156103fa57600080fd5b60006104088a828b01610302565b97505060206104198a828b016103ca565b965050604061042a8a828b016103b5565b955050606088013567ffffffffffffffff81111561044757600080fd5b6104538a828b0161032c565b945094505060806104668a828b016103b5565b92505060a06104778a828b016102ed565b91505092959891949750929550565b600080600080600080600060e0888a0312156104a157600080fd5b60006104af8a828b01610317565b975050602088013567ffffffffffffffff8111156104cc57600080fd5b6104d88a828b01610376565b965050604088013567ffffffffffffffff8111156104f557600080fd5b6105018a828b01610376565b95505060606105128a828b01610317565b945050608088013567ffffffffffffffff81111561052f57600080fd5b61053b8a828b01610376565b93505060a061054c8a828b016103a0565b92505060c088013567ffffffffffffffff81111561056957600080fd5b6105758a828b01610376565b91505092959891949750929550565b60006020828403121561059657600080fd5b60006105a4848285016103a0565b91505092915050565b6105b6816107e4565b82525050565b6105c5816107f6565b82525050565b60006105d783856107c2565b93506105e4838584610887565b6105ed836108f6565b840190509392505050565b60006106056018836107d3565b915061061082610907565b602082019050919050565b6106248161084c565b82525050565b61063381610856565b82525050565b61064281610866565b82525050565b6106518161087a565b82525050565b600060608201905061066c60008301866105bc565b6106796020830185610648565b61068660408301846105ad565b949350505050565b600060208201905081810360008301526106a7816105f8565b9050919050565b6000610100820190506106c4600083018c61061b565b6106d1602083018b6105bc565b6106de604083018a610648565b6106eb60608301896105ad565b6106f86080830188610639565b81810360a083015261070b8186886105cb565b905061071a60c0830185610639565b61072760e08301846105ad565b9a9950505050505050505050565b600060608201905061074a6000830186610639565b61075760208301856105ad565b610764604083018461062a565b949350505050565b6000610776610787565b90506107828282610896565b919050565b6000604051905090565b600067ffffffffffffffff8211156107ac576107ab6108c7565b5b6107b5826108f6565b9050602081019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b60006107ef8261082c565b9050919050565b6000819050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600067ffffffffffffffff82169050919050565b600060ff82169050919050565b82818337600083830152505050565b61089f826108f6565b810181811067ffffffffffffffff821117156108be576108bd6108c7565b5b80604052505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b7f4465706f73697420616c72656164792072657665616c65640000000000000000600082015250565b610939816107e4565b811461094457600080fd5b50565b610950816107f6565b811461095b57600080fd5b50565b61096781610800565b811461097257600080fd5b50565b61097e8161084c565b811461098957600080fd5b50565b61099581610866565b81146109a057600080fd5b50565b6109ac8161087a565b81146109b757600080fd5b5056fea2646970667358221220bca337d7cb05b6b689ca49ecdd85c75dc9cdde9d5b5a54318aba5449dda2e35064736f6c63430008040033",
173
- "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100415760003560e01c80632c3e1d121461004657806342b1f1a41461006257806343c6de291461007e575b600080fd5b610060600480360381019061005b91906103df565b6100b0565b005b61007c60048036038101906100779190610486565b610238565b005b61009860048036038101906100939190610584565b610241565b6040516100a793929190610735565b60405180910390f35b60008787336040516020016100c793929190610657565b6040516020818303038152906040528051906020012060001c905060008060008381526020019081526020016000209050600081600001601c9054906101000a900463ffffffff1663ffffffff1614610155576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161014c9061068e565b60405180910390fd5b838160000160006101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550828160000160086101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055504281600001601c6101000a81548163ffffffff021916908363ffffffff1602179055507fed7e2a3180a53ccf8540bf67f1679359557837b4c2350f3c7f1d1409eaac3739828a8a338b8b8b8b8b604051610225999897969594939291906106ae565b60405180910390a1505050505050505050565b50505050505050565b60006020528060005260406000206000915090508060000160009054906101000a900467ffffffffffffffff16908060000160089054906101000a900473ffffffffffffffffffffffffffffffffffffffff169080600001601c9054906101000a900463ffffffff16905083565b60006102c26102bd84610791565b61076c565b9050828152602081018484840111156102da57600080fd5b6102e5848285610887565b509392505050565b6000813590506102fc81610930565b92915050565b60008135905061031181610947565b92915050565b6000813590506103268161095e565b92915050565b60008083601f84011261033e57600080fd5b8235905067ffffffffffffffff81111561035757600080fd5b60208301915083600182028301111561036f57600080fd5b9250929050565b600082601f83011261038757600080fd5b81356103978482602086016102af565b91505092915050565b6000813590506103af81610975565b92915050565b6000813590506103c48161098c565b92915050565b6000813590506103d9816109a3565b92915050565b600080600080600080600060c0888a0312156103fa57600080fd5b60006104088a828b01610302565b97505060206104198a828b016103ca565b965050604061042a8a828b016103b5565b955050606088013567ffffffffffffffff81111561044757600080fd5b6104538a828b0161032c565b945094505060806104668a828b016103b5565b92505060a06104778a828b016102ed565b91505092959891949750929550565b600080600080600080600060e0888a0312156104a157600080fd5b60006104af8a828b01610317565b975050602088013567ffffffffffffffff8111156104cc57600080fd5b6104d88a828b01610376565b965050604088013567ffffffffffffffff8111156104f557600080fd5b6105018a828b01610376565b95505060606105128a828b01610317565b945050608088013567ffffffffffffffff81111561052f57600080fd5b61053b8a828b01610376565b93505060a061054c8a828b016103a0565b92505060c088013567ffffffffffffffff81111561056957600080fd5b6105758a828b01610376565b91505092959891949750929550565b60006020828403121561059657600080fd5b60006105a4848285016103a0565b91505092915050565b6105b6816107e4565b82525050565b6105c5816107f6565b82525050565b60006105d783856107c2565b93506105e4838584610887565b6105ed836108f6565b840190509392505050565b60006106056018836107d3565b915061061082610907565b602082019050919050565b6106248161084c565b82525050565b61063381610856565b82525050565b61064281610866565b82525050565b6106518161087a565b82525050565b600060608201905061066c60008301866105bc565b6106796020830185610648565b61068660408301846105ad565b949350505050565b600060208201905081810360008301526106a7816105f8565b9050919050565b6000610100820190506106c4600083018c61061b565b6106d1602083018b6105bc565b6106de604083018a610648565b6106eb60608301896105ad565b6106f86080830188610639565b81810360a083015261070b8186886105cb565b905061071a60c0830185610639565b61072760e08301846105ad565b9a9950505050505050505050565b600060608201905061074a6000830186610639565b61075760208301856105ad565b610764604083018461062a565b949350505050565b6000610776610787565b90506107828282610896565b919050565b6000604051905090565b600067ffffffffffffffff8211156107ac576107ab6108c7565b5b6107b5826108f6565b9050602081019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b60006107ef8261082c565b9050919050565b6000819050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600067ffffffffffffffff82169050919050565b600060ff82169050919050565b82818337600083830152505050565b61089f826108f6565b810181811067ffffffffffffffff821117156108be576108bd6108c7565b5b80604052505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b7f4465706f73697420616c72656164792072657665616c65640000000000000000600082015250565b610939816107e4565b811461094457600080fd5b50565b610950816107f6565b811461095b57600080fd5b50565b61096781610800565b811461097257600080fd5b50565b61097e8161084c565b811461098957600080fd5b50565b61099581610866565b81146109a057600080fd5b50565b6109ac8161087a565b81146109b757600080fd5b5056fea2646970667358221220bca337d7cb05b6b689ca49ecdd85c75dc9cdde9d5b5a54318aba5449dda2e35064736f6c63430008040033",
174
- "linkReferences": {},
175
- "deployedLinkReferences": {}
385
+ "name": "VaultStatusUpdated",
386
+ "type": "event"
387
+ },
388
+ {
389
+ "anonymous": false,
390
+ "inputs": [
391
+ {
392
+ "indexed": false,
393
+ "internalType": "uint64",
394
+ "name": "newMinBtcBalance",
395
+ "type": "uint64"
396
+ },
397
+ {
398
+ "indexed": false,
399
+ "internalType": "uint64",
400
+ "name": "newMaxBtcBalance",
401
+ "type": "uint64"
402
+ }
403
+ ],
404
+ "name": "WalletBtcBalanceRangeUpdated",
405
+ "type": "event"
406
+ },
407
+ {
408
+ "anonymous": false,
409
+ "inputs": [
410
+ {
411
+ "indexed": true,
412
+ "internalType": "bytes32",
413
+ "name": "ecdsaWalletID",
414
+ "type": "bytes32"
415
+ },
416
+ {
417
+ "indexed": true,
418
+ "internalType": "bytes20",
419
+ "name": "walletPubKeyHash",
420
+ "type": "bytes20"
421
+ }
422
+ ],
423
+ "name": "WalletClosed",
424
+ "type": "event"
425
+ },
426
+ {
427
+ "anonymous": false,
428
+ "inputs": [
429
+ {
430
+ "indexed": false,
431
+ "internalType": "uint32",
432
+ "name": "newCreationPeriod",
433
+ "type": "uint32"
434
+ }
435
+ ],
436
+ "name": "WalletCreationPeriodUpdated",
437
+ "type": "event"
438
+ },
439
+ {
440
+ "anonymous": false,
441
+ "inputs": [
442
+ {
443
+ "indexed": false,
444
+ "internalType": "uint32",
445
+ "name": "newMaxAge",
446
+ "type": "uint32"
447
+ }
448
+ ],
449
+ "name": "WalletMaxAgeUpdated",
450
+ "type": "event"
451
+ },
452
+ {
453
+ "anonymous": false,
454
+ "inputs": [
455
+ {
456
+ "indexed": true,
457
+ "internalType": "bytes32",
458
+ "name": "ecdsaWalletID",
459
+ "type": "bytes32"
460
+ },
461
+ {
462
+ "indexed": true,
463
+ "internalType": "bytes20",
464
+ "name": "walletPubKeyHash",
465
+ "type": "bytes20"
466
+ }
467
+ ],
468
+ "name": "WalletMovingFunds",
469
+ "type": "event"
470
+ },
471
+ {
472
+ "anonymous": false,
473
+ "inputs": [
474
+ {
475
+ "indexed": true,
476
+ "internalType": "bytes32",
477
+ "name": "ecdsaWalletID",
478
+ "type": "bytes32"
479
+ },
480
+ {
481
+ "indexed": true,
482
+ "internalType": "bytes20",
483
+ "name": "walletPubKeyHash",
484
+ "type": "bytes20"
485
+ }
486
+ ],
487
+ "name": "WalletTerminated",
488
+ "type": "event"
489
+ },
490
+ {
491
+ "inputs": [
492
+ {
493
+ "internalType": "bytes32",
494
+ "name": "ecdsaWalletID",
495
+ "type": "bytes32"
496
+ },
497
+ {
498
+ "internalType": "bytes32",
499
+ "name": "publicKeyX",
500
+ "type": "bytes32"
501
+ },
502
+ {
503
+ "internalType": "bytes32",
504
+ "name": "publicKeyY",
505
+ "type": "bytes32"
506
+ }
507
+ ],
508
+ "name": "__ecdsaWalletCreatedCallback",
509
+ "outputs": [],
510
+ "stateMutability": "nonpayable",
511
+ "type": "function"
512
+ },
513
+ {
514
+ "inputs": [
515
+ {
516
+ "internalType": "bytes32",
517
+ "name": "",
518
+ "type": "bytes32"
519
+ },
520
+ {
521
+ "internalType": "bytes32",
522
+ "name": "publicKeyX",
523
+ "type": "bytes32"
524
+ },
525
+ {
526
+ "internalType": "bytes32",
527
+ "name": "publicKeyY",
528
+ "type": "bytes32"
529
+ }
530
+ ],
531
+ "name": "__ecdsaWalletHeartbeatFailedCallback",
532
+ "outputs": [],
533
+ "stateMutability": "nonpayable",
534
+ "type": "function"
535
+ },
536
+ {
537
+ "inputs": [],
538
+ "name": "bank",
539
+ "outputs": [
540
+ {
541
+ "internalType": "contract Bank",
542
+ "name": "",
543
+ "type": "address"
544
+ }
545
+ ],
546
+ "stateMutability": "view",
547
+ "type": "function"
548
+ },
549
+ {
550
+ "inputs": [
551
+ {
552
+ "internalType": "bytes",
553
+ "name": "walletPublicKey",
554
+ "type": "bytes"
555
+ },
556
+ {
557
+ "internalType": "bytes",
558
+ "name": "preimage",
559
+ "type": "bytes"
560
+ },
561
+ {
562
+ "internalType": "bool",
563
+ "name": "witness",
564
+ "type": "bool"
565
+ }
566
+ ],
567
+ "name": "defeatFraudChallenge",
568
+ "outputs": [],
569
+ "stateMutability": "nonpayable",
570
+ "type": "function"
571
+ },
572
+ {
573
+ "inputs": [],
574
+ "name": "depositDustThreshold",
575
+ "outputs": [
576
+ {
577
+ "internalType": "uint64",
578
+ "name": "",
579
+ "type": "uint64"
580
+ }
581
+ ],
582
+ "stateMutability": "view",
583
+ "type": "function"
584
+ },
585
+ {
586
+ "inputs": [],
587
+ "name": "depositTreasuryFeeDivisor",
588
+ "outputs": [
589
+ {
590
+ "internalType": "uint64",
591
+ "name": "",
592
+ "type": "uint64"
593
+ }
594
+ ],
595
+ "stateMutability": "view",
596
+ "type": "function"
597
+ },
598
+ {
599
+ "inputs": [],
600
+ "name": "depositTxMaxFee",
601
+ "outputs": [
602
+ {
603
+ "internalType": "uint64",
604
+ "name": "",
605
+ "type": "uint64"
606
+ }
607
+ ],
608
+ "stateMutability": "view",
609
+ "type": "function"
610
+ },
611
+ {
612
+ "inputs": [
613
+ {
614
+ "internalType": "uint256",
615
+ "name": "",
616
+ "type": "uint256"
617
+ }
618
+ ],
619
+ "name": "deposits",
620
+ "outputs": [
621
+ {
622
+ "internalType": "address",
623
+ "name": "depositor",
624
+ "type": "address"
625
+ },
626
+ {
627
+ "internalType": "uint64",
628
+ "name": "amount",
629
+ "type": "uint64"
630
+ },
631
+ {
632
+ "internalType": "uint32",
633
+ "name": "revealedAt",
634
+ "type": "uint32"
635
+ },
636
+ {
637
+ "internalType": "address",
638
+ "name": "vault",
639
+ "type": "address"
640
+ },
641
+ {
642
+ "internalType": "uint64",
643
+ "name": "treasuryFee",
644
+ "type": "uint64"
645
+ },
646
+ {
647
+ "internalType": "uint32",
648
+ "name": "sweptAt",
649
+ "type": "uint32"
650
+ }
651
+ ],
652
+ "stateMutability": "view",
653
+ "type": "function"
654
+ },
655
+ {
656
+ "inputs": [
657
+ {
658
+ "internalType": "uint256",
659
+ "name": "challengeKey",
660
+ "type": "uint256"
661
+ }
662
+ ],
663
+ "name": "fraudChallenges",
664
+ "outputs": [
665
+ {
666
+ "components": [
667
+ {
668
+ "internalType": "address",
669
+ "name": "challenger",
670
+ "type": "address"
671
+ },
672
+ {
673
+ "internalType": "uint256",
674
+ "name": "depositAmount",
675
+ "type": "uint256"
676
+ },
677
+ {
678
+ "internalType": "uint32",
679
+ "name": "reportedAt",
680
+ "type": "uint32"
681
+ },
682
+ {
683
+ "internalType": "bool",
684
+ "name": "resolved",
685
+ "type": "bool"
686
+ }
687
+ ],
688
+ "internalType": "struct Frauds.FraudChallenge",
689
+ "name": "",
690
+ "type": "tuple"
691
+ }
692
+ ],
693
+ "stateMutability": "view",
694
+ "type": "function"
695
+ },
696
+ {
697
+ "inputs": [],
698
+ "name": "getActiveWalletPubKeyHash",
699
+ "outputs": [
700
+ {
701
+ "internalType": "bytes20",
702
+ "name": "",
703
+ "type": "bytes20"
704
+ }
705
+ ],
706
+ "stateMutability": "view",
707
+ "type": "function"
708
+ },
709
+ {
710
+ "inputs": [],
711
+ "name": "getFraudParameters",
712
+ "outputs": [
713
+ {
714
+ "internalType": "uint256",
715
+ "name": "slashingAmount",
716
+ "type": "uint256"
717
+ },
718
+ {
719
+ "internalType": "uint256",
720
+ "name": "notifierRewardMultiplier",
721
+ "type": "uint256"
722
+ },
723
+ {
724
+ "internalType": "uint256",
725
+ "name": "challengeDefeatTimeout",
726
+ "type": "uint256"
727
+ },
728
+ {
729
+ "internalType": "uint256",
730
+ "name": "challengeDepositAmount",
731
+ "type": "uint256"
732
+ }
733
+ ],
734
+ "stateMutability": "view",
735
+ "type": "function"
736
+ },
737
+ {
738
+ "inputs": [
739
+ {
740
+ "internalType": "bytes20",
741
+ "name": "walletPubKeyHash",
742
+ "type": "bytes20"
743
+ }
744
+ ],
745
+ "name": "getWallet",
746
+ "outputs": [
747
+ {
748
+ "components": [
749
+ {
750
+ "internalType": "bytes32",
751
+ "name": "ecdsaWalletID",
752
+ "type": "bytes32"
753
+ },
754
+ {
755
+ "internalType": "bytes32",
756
+ "name": "mainUtxoHash",
757
+ "type": "bytes32"
758
+ },
759
+ {
760
+ "internalType": "uint64",
761
+ "name": "pendingRedemptionsValue",
762
+ "type": "uint64"
763
+ },
764
+ {
765
+ "internalType": "uint32",
766
+ "name": "createdAt",
767
+ "type": "uint32"
768
+ },
769
+ {
770
+ "internalType": "uint32",
771
+ "name": "moveFundsRequestedAt",
772
+ "type": "uint32"
773
+ },
774
+ {
775
+ "internalType": "enum Wallets.WalletState",
776
+ "name": "state",
777
+ "type": "uint8"
778
+ }
779
+ ],
780
+ "internalType": "struct Wallets.Wallet",
781
+ "name": "",
782
+ "type": "tuple"
783
+ }
784
+ ],
785
+ "stateMutability": "view",
786
+ "type": "function"
787
+ },
788
+ {
789
+ "inputs": [],
790
+ "name": "getWalletsParameters",
791
+ "outputs": [
792
+ {
793
+ "internalType": "uint32",
794
+ "name": "creationPeriod",
795
+ "type": "uint32"
796
+ },
797
+ {
798
+ "internalType": "uint64",
799
+ "name": "minBtcBalance",
800
+ "type": "uint64"
801
+ },
802
+ {
803
+ "internalType": "uint64",
804
+ "name": "maxBtcBalance",
805
+ "type": "uint64"
806
+ },
807
+ {
808
+ "internalType": "uint32",
809
+ "name": "maxAge",
810
+ "type": "uint32"
811
+ }
812
+ ],
813
+ "stateMutability": "view",
814
+ "type": "function"
815
+ },
816
+ {
817
+ "inputs": [
818
+ {
819
+ "internalType": "address",
820
+ "name": "",
821
+ "type": "address"
822
+ }
823
+ ],
824
+ "name": "isVaultTrusted",
825
+ "outputs": [
826
+ {
827
+ "internalType": "bool",
828
+ "name": "",
829
+ "type": "bool"
830
+ }
831
+ ],
832
+ "stateMutability": "view",
833
+ "type": "function"
834
+ },
835
+ {
836
+ "inputs": [
837
+ {
838
+ "internalType": "bytes20",
839
+ "name": "walletPubKeyHash",
840
+ "type": "bytes20"
841
+ },
842
+ {
843
+ "components": [
844
+ {
845
+ "internalType": "bytes32",
846
+ "name": "txHash",
847
+ "type": "bytes32"
848
+ },
849
+ {
850
+ "internalType": "uint32",
851
+ "name": "txOutputIndex",
852
+ "type": "uint32"
853
+ },
854
+ {
855
+ "internalType": "uint64",
856
+ "name": "txOutputValue",
857
+ "type": "uint64"
858
+ }
859
+ ],
860
+ "internalType": "struct BitcoinTx.UTXO",
861
+ "name": "walletMainUtxo",
862
+ "type": "tuple"
863
+ }
864
+ ],
865
+ "name": "notifyCloseableWallet",
866
+ "outputs": [],
867
+ "stateMutability": "nonpayable",
868
+ "type": "function"
869
+ },
870
+ {
871
+ "inputs": [
872
+ {
873
+ "internalType": "bytes",
874
+ "name": "walletPublicKey",
875
+ "type": "bytes"
876
+ },
877
+ {
878
+ "internalType": "bytes32",
879
+ "name": "sighash",
880
+ "type": "bytes32"
881
+ }
882
+ ],
883
+ "name": "notifyFraudChallengeDefeatTimeout",
884
+ "outputs": [],
885
+ "stateMutability": "nonpayable",
886
+ "type": "function"
887
+ },
888
+ {
889
+ "inputs": [
890
+ {
891
+ "internalType": "bytes20",
892
+ "name": "walletPubKeyHash",
893
+ "type": "bytes20"
894
+ },
895
+ {
896
+ "internalType": "bytes",
897
+ "name": "redeemerOutputScript",
898
+ "type": "bytes"
899
+ }
900
+ ],
901
+ "name": "notifyRedemptionTimeout",
902
+ "outputs": [],
903
+ "stateMutability": "nonpayable",
904
+ "type": "function"
905
+ },
906
+ {
907
+ "inputs": [],
908
+ "name": "owner",
909
+ "outputs": [
910
+ {
911
+ "internalType": "address",
912
+ "name": "",
913
+ "type": "address"
914
+ }
915
+ ],
916
+ "stateMutability": "view",
917
+ "type": "function"
918
+ },
919
+ {
920
+ "inputs": [
921
+ {
922
+ "internalType": "uint256",
923
+ "name": "",
924
+ "type": "uint256"
925
+ }
926
+ ],
927
+ "name": "pendingRedemptions",
928
+ "outputs": [
929
+ {
930
+ "internalType": "address",
931
+ "name": "redeemer",
932
+ "type": "address"
933
+ },
934
+ {
935
+ "internalType": "uint64",
936
+ "name": "requestedAmount",
937
+ "type": "uint64"
938
+ },
939
+ {
940
+ "internalType": "uint64",
941
+ "name": "treasuryFee",
942
+ "type": "uint64"
943
+ },
944
+ {
945
+ "internalType": "uint64",
946
+ "name": "txMaxFee",
947
+ "type": "uint64"
948
+ },
949
+ {
950
+ "internalType": "uint32",
951
+ "name": "requestedAt",
952
+ "type": "uint32"
953
+ }
954
+ ],
955
+ "stateMutability": "view",
956
+ "type": "function"
957
+ },
958
+ {
959
+ "inputs": [],
960
+ "name": "redemptionDustThreshold",
961
+ "outputs": [
962
+ {
963
+ "internalType": "uint64",
964
+ "name": "",
965
+ "type": "uint64"
966
+ }
967
+ ],
968
+ "stateMutability": "view",
969
+ "type": "function"
970
+ },
971
+ {
972
+ "inputs": [],
973
+ "name": "redemptionTimeout",
974
+ "outputs": [
975
+ {
976
+ "internalType": "uint256",
977
+ "name": "",
978
+ "type": "uint256"
979
+ }
980
+ ],
981
+ "stateMutability": "view",
982
+ "type": "function"
983
+ },
984
+ {
985
+ "inputs": [],
986
+ "name": "redemptionTreasuryFeeDivisor",
987
+ "outputs": [
988
+ {
989
+ "internalType": "uint64",
990
+ "name": "",
991
+ "type": "uint64"
992
+ }
993
+ ],
994
+ "stateMutability": "view",
995
+ "type": "function"
996
+ },
997
+ {
998
+ "inputs": [],
999
+ "name": "redemptionTxMaxFee",
1000
+ "outputs": [
1001
+ {
1002
+ "internalType": "uint64",
1003
+ "name": "",
1004
+ "type": "uint64"
1005
+ }
1006
+ ],
1007
+ "stateMutability": "view",
1008
+ "type": "function"
1009
+ },
1010
+ {
1011
+ "inputs": [],
1012
+ "name": "relay",
1013
+ "outputs": [
1014
+ {
1015
+ "internalType": "contract IRelay",
1016
+ "name": "",
1017
+ "type": "address"
1018
+ }
1019
+ ],
1020
+ "stateMutability": "view",
1021
+ "type": "function"
1022
+ },
1023
+ {
1024
+ "inputs": [],
1025
+ "name": "renounceOwnership",
1026
+ "outputs": [],
1027
+ "stateMutability": "nonpayable",
1028
+ "type": "function"
1029
+ },
1030
+ {
1031
+ "inputs": [
1032
+ {
1033
+ "components": [
1034
+ {
1035
+ "internalType": "bytes32",
1036
+ "name": "txHash",
1037
+ "type": "bytes32"
1038
+ },
1039
+ {
1040
+ "internalType": "uint32",
1041
+ "name": "txOutputIndex",
1042
+ "type": "uint32"
1043
+ },
1044
+ {
1045
+ "internalType": "uint64",
1046
+ "name": "txOutputValue",
1047
+ "type": "uint64"
1048
+ }
1049
+ ],
1050
+ "internalType": "struct BitcoinTx.UTXO",
1051
+ "name": "activeWalletMainUtxo",
1052
+ "type": "tuple"
1053
+ }
1054
+ ],
1055
+ "name": "requestNewWallet",
1056
+ "outputs": [],
1057
+ "stateMutability": "nonpayable",
1058
+ "type": "function"
1059
+ },
1060
+ {
1061
+ "inputs": [
1062
+ {
1063
+ "internalType": "bytes20",
1064
+ "name": "walletPubKeyHash",
1065
+ "type": "bytes20"
1066
+ },
1067
+ {
1068
+ "components": [
1069
+ {
1070
+ "internalType": "bytes32",
1071
+ "name": "txHash",
1072
+ "type": "bytes32"
1073
+ },
1074
+ {
1075
+ "internalType": "uint32",
1076
+ "name": "txOutputIndex",
1077
+ "type": "uint32"
1078
+ },
1079
+ {
1080
+ "internalType": "uint64",
1081
+ "name": "txOutputValue",
1082
+ "type": "uint64"
1083
+ }
1084
+ ],
1085
+ "internalType": "struct BitcoinTx.UTXO",
1086
+ "name": "mainUtxo",
1087
+ "type": "tuple"
1088
+ },
1089
+ {
1090
+ "internalType": "bytes",
1091
+ "name": "redeemerOutputScript",
1092
+ "type": "bytes"
1093
+ },
1094
+ {
1095
+ "internalType": "uint64",
1096
+ "name": "amount",
1097
+ "type": "uint64"
1098
+ }
1099
+ ],
1100
+ "name": "requestRedemption",
1101
+ "outputs": [],
1102
+ "stateMutability": "nonpayable",
1103
+ "type": "function"
1104
+ },
1105
+ {
1106
+ "inputs": [
1107
+ {
1108
+ "components": [
1109
+ {
1110
+ "internalType": "bytes4",
1111
+ "name": "version",
1112
+ "type": "bytes4"
1113
+ },
1114
+ {
1115
+ "internalType": "bytes",
1116
+ "name": "inputVector",
1117
+ "type": "bytes"
1118
+ },
1119
+ {
1120
+ "internalType": "bytes",
1121
+ "name": "outputVector",
1122
+ "type": "bytes"
1123
+ },
1124
+ {
1125
+ "internalType": "bytes4",
1126
+ "name": "locktime",
1127
+ "type": "bytes4"
1128
+ }
1129
+ ],
1130
+ "internalType": "struct BitcoinTx.Info",
1131
+ "name": "fundingTx",
1132
+ "type": "tuple"
1133
+ },
1134
+ {
1135
+ "components": [
1136
+ {
1137
+ "internalType": "uint32",
1138
+ "name": "fundingOutputIndex",
1139
+ "type": "uint32"
1140
+ },
1141
+ {
1142
+ "internalType": "address",
1143
+ "name": "depositor",
1144
+ "type": "address"
1145
+ },
1146
+ {
1147
+ "internalType": "bytes8",
1148
+ "name": "blindingFactor",
1149
+ "type": "bytes8"
1150
+ },
1151
+ {
1152
+ "internalType": "bytes20",
1153
+ "name": "walletPubKeyHash",
1154
+ "type": "bytes20"
1155
+ },
1156
+ {
1157
+ "internalType": "bytes20",
1158
+ "name": "refundPubKeyHash",
1159
+ "type": "bytes20"
1160
+ },
1161
+ {
1162
+ "internalType": "bytes4",
1163
+ "name": "refundLocktime",
1164
+ "type": "bytes4"
1165
+ },
1166
+ {
1167
+ "internalType": "address",
1168
+ "name": "vault",
1169
+ "type": "address"
1170
+ }
1171
+ ],
1172
+ "internalType": "struct Bridge.RevealInfo",
1173
+ "name": "reveal",
1174
+ "type": "tuple"
1175
+ }
1176
+ ],
1177
+ "name": "revealDeposit",
1178
+ "outputs": [],
1179
+ "stateMutability": "nonpayable",
1180
+ "type": "function"
1181
+ },
1182
+ {
1183
+ "inputs": [
1184
+ {
1185
+ "internalType": "address",
1186
+ "name": "vault",
1187
+ "type": "address"
1188
+ },
1189
+ {
1190
+ "internalType": "bool",
1191
+ "name": "isTrusted",
1192
+ "type": "bool"
1193
+ }
1194
+ ],
1195
+ "name": "setVaultStatus",
1196
+ "outputs": [],
1197
+ "stateMutability": "nonpayable",
1198
+ "type": "function"
1199
+ },
1200
+ {
1201
+ "inputs": [
1202
+ {
1203
+ "internalType": "uint256",
1204
+ "name": "",
1205
+ "type": "uint256"
1206
+ }
1207
+ ],
1208
+ "name": "spentMainUTXOs",
1209
+ "outputs": [
1210
+ {
1211
+ "internalType": "bool",
1212
+ "name": "",
1213
+ "type": "bool"
1214
+ }
1215
+ ],
1216
+ "stateMutability": "view",
1217
+ "type": "function"
1218
+ },
1219
+ {
1220
+ "inputs": [
1221
+ {
1222
+ "internalType": "bytes",
1223
+ "name": "walletPublicKey",
1224
+ "type": "bytes"
1225
+ },
1226
+ {
1227
+ "internalType": "bytes32",
1228
+ "name": "sighash",
1229
+ "type": "bytes32"
1230
+ },
1231
+ {
1232
+ "components": [
1233
+ {
1234
+ "internalType": "bytes32",
1235
+ "name": "r",
1236
+ "type": "bytes32"
1237
+ },
1238
+ {
1239
+ "internalType": "bytes32",
1240
+ "name": "s",
1241
+ "type": "bytes32"
1242
+ },
1243
+ {
1244
+ "internalType": "uint8",
1245
+ "name": "v",
1246
+ "type": "uint8"
1247
+ }
1248
+ ],
1249
+ "internalType": "struct BitcoinTx.RSVSignature",
1250
+ "name": "signature",
1251
+ "type": "tuple"
1252
+ }
1253
+ ],
1254
+ "name": "submitFraudChallenge",
1255
+ "outputs": [],
1256
+ "stateMutability": "payable",
1257
+ "type": "function"
1258
+ },
1259
+ {
1260
+ "inputs": [
1261
+ {
1262
+ "components": [
1263
+ {
1264
+ "internalType": "bytes4",
1265
+ "name": "version",
1266
+ "type": "bytes4"
1267
+ },
1268
+ {
1269
+ "internalType": "bytes",
1270
+ "name": "inputVector",
1271
+ "type": "bytes"
1272
+ },
1273
+ {
1274
+ "internalType": "bytes",
1275
+ "name": "outputVector",
1276
+ "type": "bytes"
1277
+ },
1278
+ {
1279
+ "internalType": "bytes4",
1280
+ "name": "locktime",
1281
+ "type": "bytes4"
1282
+ }
1283
+ ],
1284
+ "internalType": "struct BitcoinTx.Info",
1285
+ "name": "redemptionTx",
1286
+ "type": "tuple"
1287
+ },
1288
+ {
1289
+ "components": [
1290
+ {
1291
+ "internalType": "bytes",
1292
+ "name": "merkleProof",
1293
+ "type": "bytes"
1294
+ },
1295
+ {
1296
+ "internalType": "uint256",
1297
+ "name": "txIndexInBlock",
1298
+ "type": "uint256"
1299
+ },
1300
+ {
1301
+ "internalType": "bytes",
1302
+ "name": "bitcoinHeaders",
1303
+ "type": "bytes"
1304
+ }
1305
+ ],
1306
+ "internalType": "struct BitcoinTx.Proof",
1307
+ "name": "redemptionProof",
1308
+ "type": "tuple"
1309
+ },
1310
+ {
1311
+ "components": [
1312
+ {
1313
+ "internalType": "bytes32",
1314
+ "name": "txHash",
1315
+ "type": "bytes32"
1316
+ },
1317
+ {
1318
+ "internalType": "uint32",
1319
+ "name": "txOutputIndex",
1320
+ "type": "uint32"
1321
+ },
1322
+ {
1323
+ "internalType": "uint64",
1324
+ "name": "txOutputValue",
1325
+ "type": "uint64"
1326
+ }
1327
+ ],
1328
+ "internalType": "struct BitcoinTx.UTXO",
1329
+ "name": "mainUtxo",
1330
+ "type": "tuple"
1331
+ },
1332
+ {
1333
+ "internalType": "bytes20",
1334
+ "name": "walletPubKeyHash",
1335
+ "type": "bytes20"
1336
+ }
1337
+ ],
1338
+ "name": "submitRedemptionProof",
1339
+ "outputs": [],
1340
+ "stateMutability": "nonpayable",
1341
+ "type": "function"
1342
+ },
1343
+ {
1344
+ "inputs": [
1345
+ {
1346
+ "components": [
1347
+ {
1348
+ "internalType": "bytes4",
1349
+ "name": "version",
1350
+ "type": "bytes4"
1351
+ },
1352
+ {
1353
+ "internalType": "bytes",
1354
+ "name": "inputVector",
1355
+ "type": "bytes"
1356
+ },
1357
+ {
1358
+ "internalType": "bytes",
1359
+ "name": "outputVector",
1360
+ "type": "bytes"
1361
+ },
1362
+ {
1363
+ "internalType": "bytes4",
1364
+ "name": "locktime",
1365
+ "type": "bytes4"
1366
+ }
1367
+ ],
1368
+ "internalType": "struct BitcoinTx.Info",
1369
+ "name": "sweepTx",
1370
+ "type": "tuple"
1371
+ },
1372
+ {
1373
+ "components": [
1374
+ {
1375
+ "internalType": "bytes",
1376
+ "name": "merkleProof",
1377
+ "type": "bytes"
1378
+ },
1379
+ {
1380
+ "internalType": "uint256",
1381
+ "name": "txIndexInBlock",
1382
+ "type": "uint256"
1383
+ },
1384
+ {
1385
+ "internalType": "bytes",
1386
+ "name": "bitcoinHeaders",
1387
+ "type": "bytes"
1388
+ }
1389
+ ],
1390
+ "internalType": "struct BitcoinTx.Proof",
1391
+ "name": "sweepProof",
1392
+ "type": "tuple"
1393
+ },
1394
+ {
1395
+ "components": [
1396
+ {
1397
+ "internalType": "bytes32",
1398
+ "name": "txHash",
1399
+ "type": "bytes32"
1400
+ },
1401
+ {
1402
+ "internalType": "uint32",
1403
+ "name": "txOutputIndex",
1404
+ "type": "uint32"
1405
+ },
1406
+ {
1407
+ "internalType": "uint64",
1408
+ "name": "txOutputValue",
1409
+ "type": "uint64"
1410
+ }
1411
+ ],
1412
+ "internalType": "struct BitcoinTx.UTXO",
1413
+ "name": "mainUtxo",
1414
+ "type": "tuple"
1415
+ }
1416
+ ],
1417
+ "name": "submitSweepProof",
1418
+ "outputs": [],
1419
+ "stateMutability": "nonpayable",
1420
+ "type": "function"
1421
+ },
1422
+ {
1423
+ "inputs": [
1424
+ {
1425
+ "internalType": "uint256",
1426
+ "name": "",
1427
+ "type": "uint256"
1428
+ }
1429
+ ],
1430
+ "name": "timedOutRedemptions",
1431
+ "outputs": [
1432
+ {
1433
+ "internalType": "address",
1434
+ "name": "redeemer",
1435
+ "type": "address"
1436
+ },
1437
+ {
1438
+ "internalType": "uint64",
1439
+ "name": "requestedAmount",
1440
+ "type": "uint64"
1441
+ },
1442
+ {
1443
+ "internalType": "uint64",
1444
+ "name": "treasuryFee",
1445
+ "type": "uint64"
1446
+ },
1447
+ {
1448
+ "internalType": "uint64",
1449
+ "name": "txMaxFee",
1450
+ "type": "uint64"
1451
+ },
1452
+ {
1453
+ "internalType": "uint32",
1454
+ "name": "requestedAt",
1455
+ "type": "uint32"
1456
+ }
1457
+ ],
1458
+ "stateMutability": "view",
1459
+ "type": "function"
1460
+ },
1461
+ {
1462
+ "inputs": [
1463
+ {
1464
+ "internalType": "address",
1465
+ "name": "newOwner",
1466
+ "type": "address"
1467
+ }
1468
+ ],
1469
+ "name": "transferOwnership",
1470
+ "outputs": [],
1471
+ "stateMutability": "nonpayable",
1472
+ "type": "function"
1473
+ },
1474
+ {
1475
+ "inputs": [],
1476
+ "name": "treasury",
1477
+ "outputs": [
1478
+ {
1479
+ "internalType": "address",
1480
+ "name": "",
1481
+ "type": "address"
1482
+ }
1483
+ ],
1484
+ "stateMutability": "view",
1485
+ "type": "function"
1486
+ },
1487
+ {
1488
+ "inputs": [],
1489
+ "name": "txProofDifficultyFactor",
1490
+ "outputs": [
1491
+ {
1492
+ "internalType": "uint256",
1493
+ "name": "",
1494
+ "type": "uint256"
1495
+ }
1496
+ ],
1497
+ "stateMutability": "view",
1498
+ "type": "function"
1499
+ },
1500
+ {
1501
+ "inputs": [
1502
+ {
1503
+ "internalType": "uint32",
1504
+ "name": "creationPeriod",
1505
+ "type": "uint32"
1506
+ },
1507
+ {
1508
+ "internalType": "uint64",
1509
+ "name": "minBtcBalance",
1510
+ "type": "uint64"
1511
+ },
1512
+ {
1513
+ "internalType": "uint64",
1514
+ "name": "maxBtcBalance",
1515
+ "type": "uint64"
1516
+ },
1517
+ {
1518
+ "internalType": "uint32",
1519
+ "name": "maxAge",
1520
+ "type": "uint32"
1521
+ }
1522
+ ],
1523
+ "name": "updateWalletsParameters",
1524
+ "outputs": [],
1525
+ "stateMutability": "nonpayable",
1526
+ "type": "function"
1527
+ }
1528
+ ],
1529
+ "bytecode": "0x6101006040523480156200001257600080fd5b5060405162006b0c38038062006b0c8339810160408190526200003591620005c2565b620000403362000555565b6001600160a01b0385166200009c5760405162461bcd60e51b815260206004820152601b60248201527f42616e6b20616464726573732063616e6e6f74206265207a65726f000000000060448201526064015b60405180910390fd5b6001600160a01b0380861660a0528416620000fa5760405162461bcd60e51b815260206004820152601c60248201527f52656c617920616464726573732063616e6e6f74206265207a65726f00000000604482015260640162000093565b6001600160a01b0380851660c0528316620001585760405162461bcd60e51b815260206004820152601f60248201527f547265617375727920616464726573732063616e6e6f74206265207a65726f00604482015260640162000093565b6001600160a01b03831660e052608081905260008054600160a01b600160e01b031916613d0960a61b1790557907d000000000000f424000000000000003e800000000000007d0600155600280546103e86001600160401b03199091161790556202a300600355604051630848fc7160e21b81526009600482015269021e19e0c9bab2400000602482015273__$d790fbbb73aa5f15b682a7376a512ac8e4$__90632123f1c49060440160006040518083038186803b1580156200021b57600080fd5b505af415801562000230573d6000803e3d6000fd5b5050604051635452278760e01b8152600960048201526064602482015273__$d790fbbb73aa5f15b682a7376a512ac8e4$__92506354522787915060440160006040518083038186803b1580156200028757600080fd5b505af41580156200029c573d6000803e3d6000fd5b5050604051634039940360e01b81526009600482015262093a80602482015273__$d790fbbb73aa5f15b682a7376a512ac8e4$__92506340399403915060440160006040518083038186803b158015620002f557600080fd5b505af41580156200030a573d6000803e3d6000fd5b505060405163e6d20d4560e01b815260096004820152671bc16d674ec80000602482015273__$d790fbbb73aa5f15b682a7376a512ac8e4$__925063e6d20d45915060440160006040518083038186803b1580156200036857600080fd5b505af41580156200037d573d6000803e3d6000fd5b505060405163f832341d60e01b8152600e60048201526001600160a01b038516602482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__925063f832341d915060440160006040518083038186803b158015620003dc57600080fd5b505af4158015620003f1573d6000803e3d6000fd5b505060405163041aee9960e01b8152600e600482015262093a80602482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__925063041aee99915060440160006040518083038186803b1580156200044a57600080fd5b505af41580156200045f573d6000803e3d6000fd5b5050604051632662d59360e21b8152600e60048201526305f5e1006024820152633b9aca00604482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__925063998b564c915060640160006040518083038186803b158015620004c357600080fd5b505af4158015620004d8573d6000803e3d6000fd5b505060405163117665a760e21b8152600e600482015262eff100602482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__92506345d9969c915060440160006040518083038186803b1580156200053157600080fd5b505af415801562000546573d6000803e3d6000fd5b50505050505050505062000629565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b80516001600160a01b0381168114620005bd57600080fd5b919050565b600080600080600060a08688031215620005db57600080fd5b620005e686620005a5565b9450620005f660208701620005a5565b93506200060660408701620005a5565b92506200061660608701620005a5565b9150608086015190509295509295909350565b60805160a05160c05160e051616455620006b760003960008181610631015281816111bb015281816124410152612a380152600081816109820152818161356201526135fc0152600081816106c501528181611128015281816111ea01528181611f99015281816129b801528181612a70015261318f01526000818161041c015261369201526164556000f3fe6080604052600436106102855760003560e01c8063793bb47311610153578063b34b3216116100cb578063d95027b71161007f578063e95eb7a811610064578063e95eb7a814610a62578063f2fde38b14610a89578063fd56208014610aa957600080fd5b8063d95027b714610a12578063e53c0b5514610a3257600080fd5b8063bdf9fca9116100b0578063bdf9fca9146109a4578063cb7f3a09146109cb578063d6eccdf0146109f257600080fd5b8063b34b321614610950578063b59589d11461097057600080fd5b8063a145e2d511610122578063a8fa0f4211610107578063a8fa0f421461082e578063b02c43d01461084e578063b2146cd61461091057600080fd5b8063a145e2d5146107ee578063a588f0591461080e57600080fd5b8063793bb473146107075780638da5cb5b146107435780638dd0f79a146107615780638fa4ad28146107c157600080fd5b806359a9d90a1161020157806367f27247116101b5578063715018a61161019a578063715018a61461069e57806376cdb03b146106b357806377145f21146106e757600080fd5b806367f272471461066b5780636d02b43c1461068b57600080fd5b80635c0b4812116101e65780635c0b4812146105df57806360d712fc146105ff57806361d027b31461061f57600080fd5b806359a9d90a146105985780635afb143c146105b857600080fd5b80632bb818c2116102585780633dce98121161023d5780633dce98121461051d578063575e42791461053f578063595ff9ff1461055f57600080fd5b80632bb818c21461040a57806333e957cb1461043e57600080fd5b806303d952f71461028a578063079bf52c146103425780630b6ba19d1461037a5780631fff4e70146103e6575b600080fd5b34801561029657600080fd5b506102f66102a53660046153f2565b600760205260009081526040902080546001909101546001600160a01b03821691600160a01b90046001600160401b039081169181811691600160401b82041690600160801b900463ffffffff1685565b604080516001600160a01b0390961686526001600160401b0394851660208701529284169285019290925291909116606083015263ffffffff16608082015260a0015b60405180910390f35b34801561034e57600080fd5b50600154610362906001600160401b031681565b6040516001600160401b039091168152602001610339565b34801561038657600080fd5b506102f66103953660046153f2565b600860205260009081526040902080546001909101546001600160a01b03821691600160a01b90046001600160401b039081169181811691600160401b82041690600160801b900463ffffffff1685565b3480156103f257600080fd5b506103fc60035481565b604051908152602001610339565b34801561041657600080fd5b506103fc7f000000000000000000000000000000000000000000000000000000000000000081565b34801561044a57600080fd5b506104d96104593660046153f2565b604080516080810182526000808252602082018190529181018290526060810191909152506000908152600d6020908152604091829020825160808101845281546001600160a01b031681526001820154928101929092526002015463ffffffff81169282019290925264010000000090910460ff161515606082015290565b604051610339919081516001600160a01b031681526020808301519082015260408083015163ffffffff169082015260609182015115159181019190915260800190565b34801561052957600080fd5b5061053d61053836600461540b565b610ac9565b005b34801561054b57600080fd5b5061053d61055a36600461546c565b610b59565b34801561056b57600080fd5b50600954600a54600b54600c54604080519485526020850193909352918301526060820152608001610339565b3480156105a457600080fd5b5061053d6105b33660046154b2565b610be2565b3480156105c457600080fd5b5060005461036290600160a01b90046001600160401b031681565b3480156105eb57600080fd5b5061053d6105fa36600461551d565b611258565b34801561060b57600080fd5b5061053d61061a36600461559e565b6119e9565b34801561062b57600080fd5b506106537f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b039091168152602001610339565b34801561067757600080fd5b5061053d610686366004615609565b611aa2565b61053d61069936600461565b565b612023565b3480156106aa57600080fd5b5061053d61222b565b3480156106bf57600080fd5b506106537f000000000000000000000000000000000000000000000000000000000000000081565b3480156106f357600080fd5b5061053d6107023660046156b8565b612291565b34801561071357600080fd5b50600f546c01000000000000000000000000900460601b6040516001600160601b03199091168152602001610339565b34801561074f57600080fd5b506000546001600160a01b0316610653565b34801561076d57600080fd5b50600e54600f546040805163ffffffff600160a01b8504811682526001600160401b03600160c01b9095048516602083015293831691810191909152600160401b9091049091166060820152608001610339565b3480156107cd57600080fd5b506107e16107dc366004615738565b612495565b6040516103399190615769565b3480156107fa57600080fd5b5061053d6108093660046157e2565b61257c565b34801561081a57600080fd5b50600254610362906001600160401b031681565b34801561083a57600080fd5b5061053d61084936600461540b565b612602565b34801561085a57600080fd5b506108c06108693660046153f2565b600560205260009081526040902080546001909101546001600160a01b03808316926001600160401b03600160a01b80830482169463ffffffff600160e01b94859004811695821694928204909316929190041686565b604080516001600160a01b0397881681526001600160401b03968716602082015263ffffffff958616918101919091529590921660608601529290921660808401521660a082015260c001610339565b34801561091c57600080fd5b5061094061092b3660046153f2565b60066020526000908152604090205460ff1681565b6040519015158152602001610339565b34801561095c57600080fd5b5061053d61096b3660046157fe565b612668565b34801561097c57600080fd5b506106537f000000000000000000000000000000000000000000000000000000000000000081565b3480156109b057600080fd5b5060015461036290600160801b90046001600160401b031681565b3480156109d757600080fd5b5060015461036290600160401b90046001600160401b031681565b3480156109fe57600080fd5b5061053d610a0d36600461588f565b612ad8565b348015610a1e57600080fd5b5061053d610a2d3660046158f9565b613200565b348015610a3e57600080fd5b50610940610a4d366004615944565b60046020526000908152604090205460ff1681565b348015610a6e57600080fd5b5060015461036290600160c01b90046001600160401b031681565b348015610a9557600080fd5b5061053d610aa4366004615944565b613257565b348015610ab557600080fd5b5061053d610ac4366004615973565b613339565b6040517f1803c09e000000000000000000000000000000000000000000000000000000008152600e6004820152602481018390526044810182905273__$0f118c52967a3847a37f0a2ef02ffcee04$__90631803c09e906064015b60006040518083038186803b158015610b3c57600080fd5b505af4158015610b50573d6000803e3d6000fd5b50505050505050565b6040517f9655f02b00000000000000000000000000000000000000000000000000000000815273__$0f118c52967a3847a37f0a2ef02ffcee04$__90639655f02b90610bae90600e90869086906004016159f5565b60006040518083038186803b158015610bc657600080fd5b505af4158015610bda573d6000803e3d6000fd5b505050505050565b600073__$a0a90fa014aeccc935ad103f88ed15a604$__639d7ae1348585610c0861353c565b6040518463ffffffff1660e01b8152600401610c2693929190615a9f565b60206040518083038186803b158015610c3e57600080fd5b505af4158015610c52573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c769190615b9a565b9050600080610cc5610c8b6040880188615bb3565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152506136b992505050565b6001600160601b031982166000908152601060205260409020600281015492945090925090600160801b900460ff166001816004811115610d0857610d08615753565b1480610d2557506002816004811115610d2357610d23615753565b145b610d9c5760405162461bcd60e51b815260206004820152602b60248201527f57616c6c6574206d75737420626520696e204c697665206f72204d6f76696e6760448201527f46756e647320737461746500000000000000000000000000000000000000000060648201526084015b60405180910390fd5b604080516060810182526000808252602082018190529181019190915260018301548015610e9957808835610dd760408b0160208c01615bf9565b610de760608c0160408d01615c14565b604051602001610e249392919092835260e09190911b6001600160e01b031916602083015260c01b6001600160c01b0319166024820152602c0190565b6040516020818303038152906040528051906020012014610e875760405162461bcd60e51b815260206004820152601660248201527f496e76616c6964206d61696e205554584f2064617461000000000000000000006044820152606401610d93565b610e9636899003890189615c45565b91505b6000610ee7610eab60208d018d615bb3565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508792506137ec915050565b905060008080610f0a84600001518a6001600160401b0316866040015151613dcc565b6001549193509150600160401b90046001600160401b0316610f2c8284615ccd565b1115610f7a5760405162461bcd60e51b815260206004820152601b60248201527f5472616e73616374696f6e2066656520697320746f6f206869676800000000006044820152606401610d93565b60005b8460400151518110156110685760006001866040015151610f9e9190615ce5565b8214610faa5783610fb4565b610fb48385615ccd565b90508086606001518381518110610fcd57610fcd615cfc565b602002602001015187604001518481518110610feb57610feb615cfc565b6020026020010151610ffd9190615ce5565b6110079190615ce5565b8660400151838151811061101d5761101d615cfc565b6020026020010181815250508560600151828151811061103f5761103f615cfc565b6020026020010151856110529190615ccd565b945050808061106090615d12565b915050610f7d565b5060408051602081018d90526000918101919091526001600160c01b031960c08b901b166044820152604c0160408051808303601f19018152828252805160209182012060018c01556001600160601b03198d16835282018d90527fe50ffdcc0a5f2c1ede5c122b9414ffd7b2c6bc870d2d775194049dc30da95e6a910160405180910390a1602084015160408086015190517f266a123a0000000000000000000000000000000000000000000000000000000081526001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000169263266a123a9261115b92600401615d2d565b600060405180830381600087803b15801561117557600080fd5b505af1158015611189573d6000803e3d6000fd5b50506040517f5b86f5990000000000000000000000000000000000000000000000000000000081526001600160a01b037f000000000000000000000000000000000000000000000000000000000000000081166004830152602482018790527f0000000000000000000000000000000000000000000000000000000000000000169250635b86f5999150604401600060405180830381600087803b15801561123057600080fd5b505af1158015611244573d6000803e3d6000fd5b505050505050505050505050505050505050565b60016010600061126e6080850160608601615738565b6001600160601b0319168152602081019190915260400160002060020154600160801b900460ff1660048111156112a7576112a7615753565b146112f45760405162461bcd60e51b815260206004820152601b60248201527f57616c6c6574206973206e6f7420696e204c69766520737461746500000000006044820152606401610d93565b600061130660e0830160c08401615944565b6001600160a01b0316148061134857506004600061132a60e0840160c08501615944565b6001600160a01b0316815260208101919091526040016000205460ff165b6113945760405162461bcd60e51b815260206004820152601460248201527f5661756c74206973206e6f7420747275737465640000000000000000000000006044820152606401610d93565b60006113a66040830160208401615944565b6113b66060840160408501615db1565b6113c66080850160608601615738565b6113d660a0860160808701615738565b6113e660c0870160a08801615ddb565b6040516020016113fa959493929190615df6565b60408051601f198184030181529190529050600061146e61141e6020850185615bf9565b63ffffffff166114316040870187615bb3565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509293925050613e089050565b9050600061147b82613fd3565b90508051601414156115015761149083614279565b6001600160601b0319166114a58260006142a0565b6001600160601b031916146114fc5760405162461bcd60e51b815260206004820152601960248201527f57726f6e672032302d62797465207363726970742068617368000000000000006044820152606401610d93565b6115f9565b8051602014156115b15760028360405161151b91906160a6565b602060405180830381855afa158015611538573d6000803e3d6000fd5b5050506040513d601f19601f8201168201806040525081019061155b9190615b9a565b611564826142b6565b146114fc5760405162461bcd60e51b815260206004820152601960248201527f57726f6e672033322d62797465207363726970742068617368000000000000006044820152606401610d93565b60405162461bcd60e51b815260206004820152601860248201527f57726f6e67207363726970742068617368206c656e67746800000000000000006044820152606401610d93565b600061165e61160b6020880188615ddb565b6116186020890189615bb3565b61162560408b018b615bb3565b61163560808d0160608e01615ddb565b60405160200161164a969594939291906160b2565b6040516020818303038152906040526142d2565b905060006005818361167360208a018a615bf9565b60405160200161169a92919091825260e01b6001600160e01b031916602082015260240190565b60408051808303601f190181529181528151602092830120835290820192909252016000208054909150600160e01b900463ffffffff161561171e5760405162461bcd60e51b815260206004820152601860248201527f4465706f73697420616c72656164792072657665616c656400000000000000006044820152606401610d93565b6000611729856142f9565b6000549091506001600160401b03600160a01b909104811690821610156117925760405162461bcd60e51b815260206004820152601860248201527f4465706f73697420616d6f756e7420746f6f20736d616c6c00000000000000006044820152606401610d93565b81547fffffffff0000000000000000ffffffffffffffffffffffffffffffffffffffff16600160a01b6001600160401b038316021782556117d96040880160208901615944565b82546001600160a01b03919091167bffffffffffffffff000000000000000000000000000000000000000090911617600160e01b4263ffffffff160217825561182860e0880160c08901615944565b6001838101805473ffffffffffffffffffffffffffffffffffffffff19166001600160a01b039390931692909217909155546001600160401b031661186e576000611884565b600154611884906001600160401b03168261610a565b6001830180546001600160401b0392909216600160a01b027fffffffff0000000000000000ffffffffffffffffffffffffffffffffffffffff9092169190911790557fa7382159a693ed317a024daf0fd1ba30805cdf9928ee09550af517c516e2ef05836118f560208a018a615bf9565b61190560408b0160208c01615944565b8461191660608d0160408e01615db1565b61192660808e0160608f01615738565b8d60800160208101906119399190615738565b8e60a001602081019061194c9190615ddb565b8f60c001602081019061195f9190615944565b60408051998a5263ffffffff90981660208a01526001600160a01b03968716978901979097526001600160401b0390941660608801526001600160c01b031990921660808701526001600160601b031990811660a08701521660c08501526001600160e01b03191660e0840152166101008201526101200160405180910390a15050505050505050565b6000546001600160a01b03163314611a435760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610d93565b6001600160a01b038216600081815260046020908152604091829020805460ff191685151590811790915591519182527f9065599c12c4294d9e2201638226d0d0beb95c228f468c4e7c2bdb8322b6066f910160405180910390a25050565b6000838383604051602001611ab993929190616130565b60408051808303601f19018152828252805160209182012060008181526007835283902060a08501845280546001600160a01b0381168652600160a01b90046001600160401b03908116938601939093526001015480831693850193909352600160401b83049091166060840152600160801b90910463ffffffff1660808301819052909250611b955760405162461bcd60e51b815260206004820152602160248201527f526564656d7074696f6e207265717565737420646f6573206e6f7420657869736044820152601d60fa1b6064820152608401610d93565b42600354826080015163ffffffff16611bae9190615ccd565b10611c205760405162461bcd60e51b8152602060048201526024808201527f526564656d7074696f6e207265717565737420686173206e6f742074696d656460448201527f206f7574000000000000000000000000000000000000000000000000000000006064820152608401610d93565b6001600160601b031985166000908152601060209081526040918290209183015190830151611c4f9190616154565b600282018054600090611c6c9084906001600160401b0316616154565b92506101000a8154816001600160401b0302191690836001600160401b0316021790555060016004811115611ca357611ca3615753565b6002820154600160801b900460ff166004811115611cc357611cc3615753565b1480611ced5750600280820154600160801b900460ff166004811115611ceb57611ceb615753565b145b80611d17575060046002820154600160801b900460ff166004811115611d1557611d15615753565b145b611d895760405162461bcd60e51b815260206004820152603b60248201527f5468652077616c6c6574206d75737420626520696e204c6976652c204d6f766960448201527f6e6746756e6473206f72205465726d696e6174656420737461746500000000006064820152608401610d93565b600083815260086020908152604080832085518154878501516001600160a01b039092166001600160e01b031991821617600160a01b6001600160401b0393841602178355878401516001938401805460608b015160808c01519386166fffffffffffffffffffffffffffffffff1990921691909117600160401b91909516029390931773ffffffff000000000000000000000000000000001916600160801b63ffffffff909216919091021790915560079093529220805490911681558101805473ffffffffffffffffffffffffffffffffffffffff191690556002820154600160801b900460ff166004811115611e8457611e84615753565b1480611eae5750600280820154600160801b900460ff166004811115611eac57611eac615753565b145b15611f40576040517f65951fcf000000000000000000000000000000000000000000000000000000008152600e60048201526001600160601b03198716602482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__906365951fcf9060440160006040518083038186803b158015611f2757600080fd5b505af4158015611f3b573d6000803e3d6000fd5b505050505b7f013dddc8debc4730cd01232fdcea9ae6013689837732356c187fe5edb9a8a8d5868686604051611f739392919061617c565b60405180910390a1815160208301516040516356a6d9ef60e01b81526001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016926356a6d9ef92611fe9926004016001600160a01b039290921682526001600160401b0316602082015260400190565b600060405180830381600087803b15801561200357600080fd5b505af1158015612017573d6000803e3d6000fd5b50505050505050505050565b60006120b061206c600087878080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929392505061436f9050565b604080516020601f89018190048102820181019092528781526120ab9190898980838501838280828437600092019190915250929392505061436f9050565b614377565b905060006120bd82614279565b6001600160601b03198116600090815260106020526040902090915060016002820154600160801b900460ff1660048111156120fb576120fb615753565b14806121255750600280820154600160801b900460ff16600481111561212357612123615753565b145b6121975760405162461bcd60e51b815260206004820152602f60248201527f57616c6c6574206973206e65697468657220696e204c697665206e6f72204d6f60448201527f76696e6746756e647320737461746500000000000000000000000000000000006064820152608401610d93565b6040517f2a6f2ad800000000000000000000000000000000000000000000000000000000815273__$d790fbbb73aa5f15b682a7376a512ac8e4$__90632a6f2ad8906121f2906009908b908b9088908c908c906004016161a5565b60006040518083038186803b15801561220a57600080fd5b505af415801561221e573d6000803e3d6000fd5b5050505050505050505050565b6000546001600160a01b031633146122855760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610d93565b61228f6000614421565b565b6040517fc945968600000000000000000000000000000000000000000000000000000000815260009073__$d790fbbb73aa5f15b682a7376a512ac8e4$__9063c9459686906122ef906009908a908a908a908a908a90600401616215565b60206040518083038186803b15801561230757600080fd5b505af415801561231b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061233f9190615b9a565b600081815260056020526040902060010154909150600160e01b900463ffffffff1615158061237c575060008181526006602052604090205460ff165b6123ee5760405162461bcd60e51b815260206004820152603060248201527f5370656e74205554584f206e6f7420666f756e6420616d6f6e6720636f72726560448201527f63746c79207370656e74205554584f73000000000000000000000000000000006064820152608401610d93565b6040517f3f31f49f00000000000000000000000000000000000000000000000000000000815273__$d790fbbb73aa5f15b682a7376a512ac8e4$__90633f31f49f90612469906009908a908a908a908a907f000000000000000000000000000000000000000000000000000000000000000090600401616258565b60006040518083038186803b15801561248157600080fd5b505af4158015612017573d6000803e3d6000fd5b6124cb6040805160c08101825260008082526020820181905291810182905260608101829052608081018290529060a082015290565b6001600160601b03198216600090815260106020908152604091829020825160c0810184528154815260018201549281019290925260028101546001600160401b0381169383019390935263ffffffff600160401b8404811660608401526c010000000000000000000000008404166080830152909160a083019060ff600160801b90910416600481111561256257612562615753565b600481111561257357612573615753565b90525092915050565b6040517fb4e671f400000000000000000000000000000000000000000000000000000000815273__$0f118c52967a3847a37f0a2ef02ffcee04$__9063b4e671f4906125cf90600e9085906004016162a2565b60006040518083038186803b1580156125e757600080fd5b505af41580156125fb573d6000803e3d6000fd5b5050505050565b6040517f4fd7d486000000000000000000000000000000000000000000000000000000008152600e600482015260248101849052604481018390526064810182905273__$0f118c52967a3847a37f0a2ef02ffcee04$__90634fd7d48690608401610b24565b600073__$a0a90fa014aeccc935ad103f88ed15a604$__639d7ae134868661268e61353c565b6040518463ffffffff1660e01b81526004016126ac93929190615a9f565b60206040518083038186803b1580156126c457600080fd5b505af41580156126d8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906126fc9190615b9a565b905061274c61270e6020870187615bb3565b8080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525087925086915061447e9050565b6001600160601b0319821660009081526010602052604090206002810154600160801b900460ff16600181600481111561278857612788615753565b14806127a5575060028160048111156127a3576127a3615753565b145b6128175760405162461bcd60e51b815260206004820152602a60248201527f57616c6c6574206d75737420626520696e204c697665206f72204d6f76696e6760448201527f46756473207374617465000000000000000000000000000000000000000000006064820152608401610d93565b600061286561282960408a018a615bb3565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508992506146f9915050565b60608101519091506001600160401b0316156128e55783816040015182606001516040516020016128c39392919092835260e09190911b6001600160e01b031916602083015260c01b6001600160c01b0319166024820152602c0190565b60408051601f19818403018152919052805160209091012060018401556128ed565b600060018401555b805160028401805460009061290c9084906001600160401b0316616154565b92506101000a8154816001600160401b0302191690836001600160401b031602179055507fa45596c10f758d32ec8cca64a0fbfe776052b08fdb3f026e0a87f52118bf8fbe85856040516129769291906001600160601b0319929092168252602082015260400190565b60405180910390a180516040517f392aee430000000000000000000000000000000000000000000000000000000081526001600160401b0390911660048201527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03169063392aee4390602401600060405180830381600087803b158015612a0457600080fd5b505af1158015612a18573d6000803e3d6000fd5b5050505060208101516040516356a6d9ef60e01b81526001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000811660048301526001600160401b0390921660248201527f0000000000000000000000000000000000000000000000000000000000000000909116906356a6d9ef90604401600060405180830381600087803b158015612ab657600080fd5b505af1158015612aca573d6000803e3d6000fd5b505050505050505050505050565b6001600160601b03198516600090815260106020526040902060016002820154600160801b900460ff166004811115612b1357612b13615753565b14612b605760405162461bcd60e51b815260206004820152601c60248201527f57616c6c6574206d75737420626520696e204c697665207374617465000000006044820152606401610d93565b600181015480612bbc5760405162461bcd60e51b815260206004820152602160248201527f4e6f206d61696e205554584f20666f722074686520676976656e2077616c6c656044820152601d60fa1b6064820152608401610d93565b808635612bcf6040890160208a01615bf9565b612bdf60608a0160408b01615c14565b604051602001612c1c9392919092835260e09190911b6001600160e01b031916602083015260c01b6001600160c01b0319166024820152602c0190565b6040516020818303038152906040528051906020012014612c7f5760405162461bcd60e51b815260206004820152601660248201527f496e76616c6964206d61696e205554584f2064617461000000000000000000006044820152606401610d93565b6000612cb1600060c01b8787604051602001612c9d939291906162b6565b604051602081830303815290604052613fd3565b90506000815111612d2a5760405162461bcd60e51b815260206004820152602e60248201527f52656465656d6572206f757470757420736372697074206d757374206265206160448201527f207374616e6461726420747970650000000000000000000000000000000000006064820152608401610d93565b808051906020012088604051602001612d5391906001600160601b031991909116815260140190565b604051602081830303815290604052805190602001201415612ddd5760405162461bcd60e51b815260206004820152603760248201527f52656465656d6572206f757470757420736372697074206d757374206e6f742060448201527f706f696e7420746f207468652077616c6c657420504b480000000000000000006064820152608401610d93565b6001546001600160401b03600160801b90910481169085161015612e435760405162461bcd60e51b815260206004820152601b60248201527f526564656d7074696f6e20616d6f756e7420746f6f20736d616c6c00000000006044820152606401610d93565b6000888787604051602001612e5a93929190616130565b60408051808303601f19018152918152815160209283012060008181526007909352912060010154909150600160801b900463ffffffff1615612f2b5760405162461bcd60e51b815260206004820152604a60248201527f546865726520697320612070656e64696e6720726564656d7074696f6e20726560448201527f71756573742066726f6d20746869732077616c6c657420746f2074686520736160648201527f6d65206164647265737300000000000000000000000000000000000000000000608482015260a401610d93565b600154600090600160c01b90046001600160401b0316612f4c576000612f69565b600154612f6990600160c01b90046001600160401b03168761610a565b6002549091506001600160401b0316612f828288616154565b600287018054600090612f9f9084906001600160401b03166162da565b82546101009290920a6001600160401b038181021990931691831602179091556002880154169050612fd760608c0160408d01615c14565b6001600160401b0316101561302e5760405162461bcd60e51b815260206004820152601960248201527f496e73756666696369656e742077616c6c65742066756e6473000000000000006044820152606401610d93565b6040805160a081018252338082526001600160401b03808b1660208085019182528783168587019081528784166060870190815263ffffffff4281166080890190815260008d81526007909552938990209751885495518716600160a01b026001600160e01b03199096166001600160a01b03919091161794909417875590516001909601805491519251909316600160801b0273ffffffff0000000000000000000000000000000019928516600160401b026fffffffffffffffffffffffffffffffff19909216969094169590951794909417939093161790915590517f97a0199072f487232635d50ab75860891afe0b91c976ed2fc76502c4d82d0d9591613144918e918d918d91908d9089908990616305565b60405180910390a16040517f7c6db49c0000000000000000000000000000000000000000000000000000000081523360048201523060248201526001600160401b03881660448201527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031690637c6db49c90606401600060405180830381600087803b1580156131db57600080fd5b505af11580156131ef573d6000803e3d6000fd5b505050505050505050505050505050565b6040517f05cf9ce300000000000000000000000000000000000000000000000000000000815273__$d790fbbb73aa5f15b682a7376a512ac8e4$__906305cf9ce390610b2490600990879087908790600401616368565b6000546001600160a01b031633146132b15760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610d93565b6001600160a01b03811661332d5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f64647265737300000000000000000000000000000000000000000000000000006064820152608401610d93565b61333681614421565b50565b6000546001600160a01b031633146133935760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610d93565b6040517f041aee99000000000000000000000000000000000000000000000000000000008152600e600482015263ffffffff8516602482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__9063041aee999060440160006040518083038186803b15801561340357600080fd5b505af4158015613417573d6000803e3d6000fd5b50506040517f998b564c000000000000000000000000000000000000000000000000000000008152600e60048201526001600160401b0380871660248301528516604482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__925063998b564c915060640160006040518083038186803b15801561349657600080fd5b505af41580156134aa573d6000803e3d6000fd5b50506040517f45d9969c000000000000000000000000000000000000000000000000000000008152600e600482015263ffffffff8416602482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__92506345d9969c915060440160006040518083038186803b15801561351e57600080fd5b505af4158015613532573d6000803e3d6000fd5b5050505050505050565b61356060405180606001604052806000815260200160008152602001600081525090565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663113764be6040518163ffffffff1660e01b815260040160206040518083038186803b1580156135b957600080fd5b505afa1580156135cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906135f19190615b9a565b8160000181815250507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316632b97be246040518163ffffffff1660e01b815260040160206040518083038186803b15801561365357600080fd5b505afa158015613667573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061368b9190615b9a565b60208201527f0000000000000000000000000000000000000000000000000000000000000000604082015290565b60008060006136c784614d0e565b915050806001146137405760405162461bcd60e51b815260206004820152602b60248201527f5377656570207472616e73616374696f6e206d7573742068617665206120736960448201527f6e676c65206f75747075740000000000000000000000000000000000000000006064820152608401610d93565b600061374c8582613e08565b9050613757816142f9565b9250600061376482613fd3565b905080516014146137dd5760405162461bcd60e51b815260206004820152602b60248201527f57616c6c6574207075626c6963206b657920686173682073686f756c6420686160448201527f76652032302062797465730000000000000000000000000000000000000000006064820152608401610d93565b60208101519450505050915091565b6138176040518060800160405280600081526020016060815260200160608152602001606081525090565b815115156000808061382887614d0e565b9092509050600061383a836001615ccd565b905084156138525761384d600183615ce5565b613854565b815b6001600160401b0381111561386b5761386b615c2f565b604051908082528060200260200182016040528015613894578160200160208202803683370190505b5060208701819052516001600160401b038111156138b4576138b4615c2f565b6040519080825280602002602001820160405280156138dd578160200160208202803683370190505b5060408701526020860151516001600160401b0381111561390057613900615c2f565b604051908082528060200260200182016040528015613929578160200160208202803683370190505b5060608701526000805b83811015613ccf57600080600061394a8d87614d25565b925092509250600060056000858560405160200161397f92919091825260e01b6001600160e01b031916602082015260240190565b60408051808303601f190181529181528151602092830120835290820192909252016000208054909150600160e01b900463ffffffff1615613bbb576001810154600160e01b900463ffffffff1615613a1a5760405162461bcd60e51b815260206004820152601560248201527f4465706f73697420616c726561647920737765707400000000000000000000006044820152606401610d93565b8b6020015151861415613a955760405162461bcd60e51b815260206004820152603a60248201527f4578706563746564206d61696e205554584f206e6f742070726573656e74206960448201527f6e207377656570207472616e73616374696f6e20696e707574730000000000006064820152608401610d93565b6001810180547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16600160e01b4263ffffffff1602179055805460208d015180516001600160a01b039092169188908110613aee57613aee615cfc565b6001600160a01b039290921660209283029190910190910152805460408d01518051600160a01b9092046001600160401b03169188908110613b3257613b32615cfc565b6020026020010181815250508b604001518681518110613b5457613b54615cfc565b60200260200101518c600001818151613b6d9190615ccd565b905250600181015460608d01518051600160a01b9092046001600160401b03169188908110613b9e57613b9e615cfc565b602090810291909101015285613bb381615d12565b965050613cac565b8915158b151514158015613bcf57508c5184145b15613c64578c604001516001600160401b03168c600001818151613bf39190615ccd565b90525060405160019a508a90600690600090613c2b908890889060200191825260e01b6001600160e01b031916602082015260240190565b60408051808303601f19018152918152815160209283012083529082019290925201600020805460ff1916911515919091179055613cac565b60405162461bcd60e51b815260206004820152601260248201527f556e6b6e6f776e20696e707574207479706500000000000000000000000000006044820152606401610d93565b613cb68288615ccd565b9650505050508080613cc790615d12565b915050613933565b5060008111613d465760405162461bcd60e51b815260206004820152603360248201527f5377656570207472616e73616374696f6e206d7573742070726f63657373206160448201527f74206c65617374206f6e65206465706f736974000000000000000000000000006064820152608401610d93565b84151586151514613dbf5760405162461bcd60e51b815260206004820152603a60248201527f4578706563746564206d61696e205554584f206e6f742070726573656e74206960448201527f6e207377656570207472616e73616374696f6e20696e707574730000000000006064820152608401610d93565b5050505050505b92915050565b60008080613dda8587615ce5565b9050613de68482616393565b915083613df38383615ce5565b613dfd91906163a7565b925050935093915050565b6060600080613e1685614d0e565b9092509050600019821415613e785760405162461bcd60e51b815260206004820152602260248201527f52656164206f76657272756e20647572696e6720566172496e742070617273696044820152616e6760f01b6064820152608401610d93565b808410613ec75760405162461bcd60e51b815260206004820152601160248201527f566f75742072656164206f76657272756e0000000000000000000000000000006044820152606401610d93565b600080613ed5846001615ccd565b905060005b86811015613f5e57613eec8883614d7d565b9250600019831415613f405760405162461bcd60e51b815260206004820152601a60248201527f42616420566172496e7420696e207363726970745075626b65790000000000006044820152606401610d93565b613f4a8383615ccd565b915080613f5681615d12565b915050613eda565b50613f698782614d7d565b9150600019821415613fbd5760405162461bcd60e51b815260206004820152601a60248201527f42616420566172496e7420696e207363726970745075626b65790000000000006044820152606401610d93565b613fc8878284614dec565b979650505050505050565b6060600082600881518110613fea57613fea615cfc565b0160200151835160f89190911c91506140048260096163bb565b60ff1614614022575050604080516020810190915260008152919050565b8260098151811061403557614035615cfc565b016020015160f81c6140db5760028160ff161015614063575050604080516020810190915260008152919050565b600083600a8151811061407857614078615cfc565b016020015160f81c905061408d6002836163e0565b60ff16811415806140ab5750806020141580156140ab575080601414155b156140c757505060408051602081019091526000815292915050565b6140d384600b83614dec565b949350505050565b60006140e88460086142a0565b90507f1976a900000000000000000000000000000000000000000000000000000000007fffffff0000000000000000000000000000000000000000000000000000000000821614156141c55783600b8151811061414757614147615cfc565b60209101015160f81c601414158061419c57506141726002855161416b9190615ce5565b85906142a0565b7dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191661222b60f21b14155b156141b857505060408051602081019091526000815292915050565b6140d384600c6014614dec565b7f17a91400000000000000000000000000000000000000000000000000000000007fffffff00000000000000000000000000000000000000000000000000000000008216141561426257836001855161421e9190615ce5565b8151811061422e5761422e615cfc565b60209101015160f81c60871461425557505060408051602081019091526000815292915050565b6140d384600b6014614dec565b505050604080516020810190915260008152919050565b60006020600083516020850160025afa50602060006020600060035afa5050600c51919050565b60006142af8383016020015190565b9392505050565b60008151600014156142ca57506000919050565b506020015190565b60006020600083516020850160025afa50602060006020600060025afa5050600051919050565b60008061430583614eb6565b60c01c905060006140d38264ff000000ff600882811c91821665ff000000ff009390911b92831617601090811b6001600160401b031666ff00ff00ff00ff9290921667ff00ff00ff00ff009093169290921790911c65ffff0000ffff1617602081811c91901b1790565b016020015190565b60606000614386600284616393565b6143b157507f02000000000000000000000000000000000000000000000000000000000000006143d4565b507f03000000000000000000000000000000000000000000000000000000000000005b6040517fff00000000000000000000000000000000000000000000000000000000000000821660208201526021810185905260410160405160208183030381529060405291505092915050565b600080546001600160a01b0383811673ffffffffffffffffffffffffffffffffffffffff19831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6001600160601b03198116600090815260106020526040902060010154806144e85760405162461bcd60e51b815260206004820152601d60248201527f4e6f206d61696e205554584f20666f7220676976656e2077616c6c65740000006044820152606401610d93565b8083356144fb6040860160208701615bf9565b61450b6060870160408801615c14565b6040516020016145489392919092835260e09190911b6001600160e01b031916602083015260c01b6001600160c01b0319166024820152602c0190565b60405160208183030381529060405280519060200120146145ab5760405162461bcd60e51b815260206004820152601660248201527f496e76616c6964206d61696e205554584f2064617461000000000000000000006044820152606401610d93565b6000806145b786614ec2565b90925090508435821480156145e6575063ffffffff81166145de6040870160208801615bf9565b63ffffffff16145b61467e5760405162461bcd60e51b815260206004820152604160248201527f526564656d7074696f6e207472616e73616374696f6e20696e707574206d757360448201527f7420706f696e7420746f207468652077616c6c65742773206d61696e2055545860648201527f4f00000000000000000000000000000000000000000000000000000000000000608482015260a401610d93565b600160066000873561469660408a0160208b01615bf9565b6040516020016146bd92919091825260e01b6001600160e01b031916602082015260240190565b60408051808303601f19018152918152815160209283012083529082019290925201600020805460ff1916911515919091179055505050505050565b6040805160808101825260008082526020820181905291810182905260608101829052908061472785614d0e565b90925090506000614739836001615ccd565b604080517f1976a914000000000000000000000000000000000000000000000000000000006020808301919091526001600160601b031989166024830181905261222b60f21b60388401528351601a818503018152603a840185528051908301207f1600140000000000000000000000000000000000000000000000000000000000605a850152605d8401919091528351605181850301815260719093019093528151910120919250906000805b85811015614c975760006147fb8b87614d7d565b9050600061480a8c8884614dec565b90506000614817826142f9565b90506000614835600880855161482d9190615ce5565b859190614dec565b90508b606001516001600160401b0316600014801561486857508051602082012088148061486857508051602082012087145b801561487d57506000826001600160401b0316115b156148a25763ffffffff851660408d01526001600160401b03821660608d0152614c74565b60008d826040516020016148b7929190616403565b60408051808303601f19018152918152815160209283012060008181526007909352912060010154909150600160801b900463ffffffff1615614ac157600081815260076020526040812060018101548154919291614929916001600160401b0390811691600160a01b900416616154565b60018301549091506001600160401b038087169161495091600160401b9091041683616154565b6001600160401b0316111580156149795750806001600160401b0316856001600160401b031611155b614a115760405162461bcd60e51b815260206004820152604660248201527f4f75747075742076616c7565206973206e6f742077697468696e20746865206160448201527f636365707461626c652072616e6765206f66207468652070656e64696e67207260648201527f6571756573740000000000000000000000000000000000000000000000000000608482015260a401610d93565b808f600001818151614a2391906162da565b9150906001600160401b031690816001600160401b0316815250508160010160009054906101000a90046001600160401b03168f602001818151614a6791906162da565b6001600160401b0316905250600083815260076020526040902080546001600160e01b0319168155600101805473ffffffffffffffffffffffffffffffffffffffff1916905588614ab781615d12565b9950505050614c72565b60008181526008602052604090206001810154600160801b900463ffffffff16614b525760405162461bcd60e51b8152602060048201526024808201527f4f75747075742069732061206e6f6e2d72657175657374656420726564656d7060448201527f74696f6e000000000000000000000000000000000000000000000000000000006064820152608401610d93565b60018101548154600091614b7a916001600160401b0391821691600160a01b90910416616154565b60018301549091506001600160401b0380871691614ba191600160401b9091041683616154565b6001600160401b031611158015614bca5750806001600160401b0316856001600160401b031611155b614c625760405162461bcd60e51b815260206004820152604860248201527f4f75747075742076616c7565206973206e6f742077697468696e20746865206160448201527f636365707461626c652072616e6765206f66207468652074696d6564206f757460648201527f2072657175657374000000000000000000000000000000000000000000000000608482015260a401610d93565b88614c6c81615d12565b99505050505b505b614c7e848a615ccd565b9850505050508080614c8f90615d12565b9150506147e7565b5060008111613dbf5760405162461bcd60e51b815260206004820152603b60248201527f526564656d7074696f6e207472616e73616374696f6e206d7573742070726f6360448201527f657373206174206c65617374206f6e6520726564656d7074696f6e00000000006064820152608401610d93565b600080614d1c836000614f77565b91509150915091565b60008080614d3385856142a0565b9250614d68614d4286866150f3565b60d881901c63ff00ff001662ff00ff60e89290921c9190911617601081811b91901c1790565b9150614d74858561510a565b90509250925092565b6000614d8a826009615ccd565b83511015614d9b5750600019613dc6565b600080614db285614dad866008615ccd565b614f77565b9092509050600019821415614dcd5760001992505050613dc6565b80614dd9836009615ccd565b614de39190615ccd565b95945050505050565b606081614e0857506040805160208101909152600081526142af565b6000614e148385615ccd565b90508381118015614e26575080855110155b614e725760405162461bcd60e51b815260206004820152601360248201527f536c696365206f7574206f6620626f756e6473000000000000000000000000006044820152606401610d93565b604051915082604083010160405282825283850182038460208701018481015b80821015614eab57815183830152602082019150614e92565b505050509392505050565b6000613dc682826142a0565b6000806000614ed084614d0e565b91505080600114614f495760405162461bcd60e51b815260206004820152602f60248201527f526564656d7074696f6e207472616e73616374696f6e206d757374206861766560448201527f20612073696e676c6520696e70757400000000000000000000000000000000006064820152608401610d93565b6000614f558582615155565b9050614f608161530a565b9350614f6e614d4282615317565b92505050915091565b6000806000614f868585615324565b905060ff8116614fb8576000858581518110614fa457614fa4615cfc565b016020015190935060f81c91506150ec9050565b83614fc48260016163bb565b60ff16614fd19190615ccd565b85511015614fe857600019600092509250506150ec565b60008160ff166002141561502d5761502261500e615007876001615ccd565b88906142a0565b62ffff0060e882901c1660f89190911c1790565b61ffff1690506150e2565b8160ff16600414156150575761504a614d42615007876001615ccd565b63ffffffff1690506150e2565b8160ff16600814156150e2576150d6615074615007876001615ccd565b60c01c64ff000000ff600882811c91821665ff000000ff009390911b92831617601090811b6001600160401b031666ff00ff00ff00ff9290921667ff00ff00ff00ff009093169290921790911c65ffff0000ffff1617602081811c91901b1790565b6001600160401b031690505b60ff909116925090505b9250929050565b60006142af615103836020615ccd565b84906142a0565b600080600061511985856153b0565b90925090506000198214156151345760001992505050613dc6565b80615140836025615ccd565b61514a9190615ccd565b614de3906004615ccd565b606060008061516385614d0e565b90925090506000198214156151c55760405162461bcd60e51b815260206004820152602260248201527f52656164206f76657272756e20647572696e6720566172496e742070617273696044820152616e6760f01b6064820152608401610d93565b8084106152145760405162461bcd60e51b815260206004820152601060248201527f56696e2072656164206f76657272756e000000000000000000000000000000006044820152606401610d93565b600080615222846001615ccd565b905060005b868110156152ab57615239888361510a565b925060001983141561528d5760405162461bcd60e51b815260206004820152601760248201527f42616420566172496e7420696e207363726970745369670000000000000000006044820152606401610d93565b6152978383615ccd565b9150806152a381615d12565b915050615227565b506152b6878261510a565b9150600019821415613fbd5760405162461bcd60e51b815260206004820152601760248201527f42616420566172496e7420696e207363726970745369670000000000000000006044820152606401610d93565b6020810151600090613dc6565b6000613dc68260206142a0565b600082828151811061533857615338615cfc565b60209101015160f81c60ff141561535157506008613dc6565b82828151811061536357615363615cfc565b60209101015160f81c60fe141561537c57506004613dc6565b82828151811061538e5761538e615cfc565b60209101015160f81c60fd14156153a757506002613dc6565b50600092915050565b6000806153be836025615ccd565b845110156153d35750600019905060006150ec565b6000806153e586614dad876024615ccd565b9097909650945050505050565b60006020828403121561540457600080fd5b5035919050565b60008060006060848603121561542057600080fd5b505081359360208301359350604090920135919050565b80356001600160601b03198116811461544f57600080fd5b919050565b60006060828403121561546657600080fd5b50919050565b6000806080838503121561547f57600080fd5b61548883615437565b91506154978460208501615454565b90509250929050565b60006080828403121561546657600080fd5b600080600060a084860312156154c757600080fd5b83356001600160401b03808211156154de57600080fd5b6154ea878388016154a0565b9450602086013591508082111561550057600080fd5b5061550d86828701615454565b925050614d748560408601615454565b60008082840361010081121561553257600080fd5b83356001600160401b0381111561554857600080fd5b615554868287016154a0565b93505060e0601f198201121561556957600080fd5b506020830190509250929050565b80356001600160a01b038116811461544f57600080fd5b8035801515811461544f57600080fd5b600080604083850312156155b157600080fd5b6155ba83615577565b91506154976020840161558e565b60008083601f8401126155da57600080fd5b5081356001600160401b038111156155f157600080fd5b6020830191508360208285010111156150ec57600080fd5b60008060006040848603121561561e57600080fd5b61562784615437565b925060208401356001600160401b0381111561564257600080fd5b61564e868287016155c8565b9497909650939450505050565b60008060008060a0858703121561567157600080fd5b84356001600160401b0381111561568757600080fd5b615693878288016155c8565b909550935050602085013591506156ad8660408701615454565b905092959194509250565b6000806000806000606086880312156156d057600080fd5b85356001600160401b03808211156156e757600080fd5b6156f389838a016155c8565b9097509550602088013591508082111561570c57600080fd5b50615719888289016155c8565b909450925061572c90506040870161558e565b90509295509295909350565b60006020828403121561574a57600080fd5b6142af82615437565b634e487b7160e01b600052602160045260246000fd5b600060c08201905082518252602083015160208301526001600160401b036040840151166040830152606083015163ffffffff8082166060850152806080860151166080850152505060a0830151600581106157d557634e487b7160e01b600052602160045260246000fd5b8060a08401525092915050565b6000606082840312156157f457600080fd5b6142af8383615454565b60008060008060c0858703121561581457600080fd5b84356001600160401b038082111561582b57600080fd5b615837888389016154a0565b9550602087013591508082111561584d57600080fd5b5061585a87828801615454565b93505061586a8660408701615454565b91506156ad60a08601615437565b80356001600160401b038116811461544f57600080fd5b600080600080600060c086880312156158a757600080fd5b6158b086615437565b94506158bf8760208801615454565b935060808601356001600160401b038111156158da57600080fd5b6158e6888289016155c8565b909450925061572c905060a08701615878565b60008060006040848603121561590e57600080fd5b83356001600160401b0381111561592457600080fd5b615930868287016155c8565b909790965060209590950135949350505050565b60006020828403121561595657600080fd5b6142af82615577565b803563ffffffff8116811461544f57600080fd5b6000806000806080858703121561598957600080fd5b6159928561595f565b93506159a060208601615878565b92506159ae60408601615878565b91506156ad6060860161595f565b8035825263ffffffff6159d16020830161595f565b1660208301526001600160401b036159eb60408301615878565b1660408301525050565b8381526001600160601b03198316602082015260a081016140d360408301846159bc565b80356001600160e01b03198116811461544f57600080fd5b6000808335601e19843603018112615a4857600080fd5b83016020810192503590506001600160401b03811115615a6757600080fd5b8036038313156150ec57600080fd5b81835281816020850137506000828201602090810191909152601f909101601f19169091010190565b60a0815260006001600160e01b031980615ab887615a19565b1660a0840152615acb6020870187615a31565b608060c0860152615ae161012086018284615a76565b915050615af16040880188615a31565b858303609f190160e0870152615b08838284615a76565b9250505081615b1960608901615a19565b166101008501528381036020850152615b328687615a31565b925060608252615b46606083018483615a76565b92505060208601356020820152615b606040870187615a31565b8284036040840152615b73848284615a76565b9450505050506140d360408301848051825260208082015190830152604090810151910152565b600060208284031215615bac57600080fd5b5051919050565b6000808335601e19843603018112615bca57600080fd5b8301803591506001600160401b03821115615be457600080fd5b6020019150368190038213156150ec57600080fd5b600060208284031215615c0b57600080fd5b6142af8261595f565b600060208284031215615c2657600080fd5b6142af82615878565b634e487b7160e01b600052604160045260246000fd5b600060608284031215615c5757600080fd5b604051606081018181106001600160401b0382111715615c8757634e487b7160e01b600052604160045260246000fd5b60405282358152615c9a6020840161595f565b6020820152615cab60408401615878565b60408201529392505050565b634e487b7160e01b600052601160045260246000fd5b60008219821115615ce057615ce0615cb7565b500190565b600082821015615cf757615cf7615cb7565b500390565b634e487b7160e01b600052603260045260246000fd5b6000600019821415615d2657615d26615cb7565b5060010190565b604080825283519082018190526000906020906060840190828701845b82811015615d6f5781516001600160a01b031684529284019290840190600101615d4a565b5050508381038285015284518082528583019183019060005b81811015615da457835183529284019291840191600101615d88565b5090979650505050505050565b600060208284031215615dc357600080fd5b81356001600160c01b0319811681146142af57600080fd5b600060208284031215615ded57600080fd5b6142af82615a19565b600560fa1b8152606086901b6001600160601b0319166001820152607560f81b60158201527f080000000000000000000000000000000000000000000000000000000000000060168201526001600160c01b031985166017820152607560f81b601f8201526000615eca615ebd615e94602085015b7f7600000000000000000000000000000000000000000000000000000000000000815260010190565b7fa900000000000000000000000000000000000000000000000000000000000000815260010190565b600560fa1b815260010190565b6001600160601b0319861681527f870000000000000000000000000000000000000000000000000000000000000060148201527f63000000000000000000000000000000000000000000000000000000000000006015820152615f89615ebd615e94615e6b615f60601686015b7fac00000000000000000000000000000000000000000000000000000000000000815260010190565b7f6700000000000000000000000000000000000000000000000000000000000000815260010190565b6001600160601b0319861681527f880000000000000000000000000000000000000000000000000000000000000060148201527f040000000000000000000000000000000000000000000000000000000000000060158201529050601681016001600160e01b0319851681527fb1000000000000000000000000000000000000000000000000000000000000006004820152607560f81b6005820152905061605f61603660068301615f37565b7f6800000000000000000000000000000000000000000000000000000000000000815260010190565b98975050505050505050565b6000815160005b8181101561608c5760208185018101518683015201616072565b8181111561609b576000828601525b509290920192915050565b60006142af828461606b565b60006001600160e01b03198089168352868860048501378683016004810160008152868882375093169390920160048101939093525050600801949350505050565b634e487b7160e01b600052601260045260246000fd5b60006001600160401b0380841680616124576161246160f4565b92169190910492915050565b6001600160601b031984168152818360148301376000910160140190815292915050565b60006001600160401b038381169083168181101561617457616174615cb7565b039392505050565b6bffffffffffffffffffffffff1984168152604060208201526000614de3604083018486615a76565b86815260e0602082015260006161bf60e083018789615a76565b90506bffffffffffffffffffffffff198516604083015283606083015282356080830152602083013560a0830152604083013560ff811680821461620257600080fd5b8060c08501525050979650505050505050565b86815260806020820152600061622f608083018789615a76565b8281036040840152616242818688615a76565b9150508215156060830152979650505050505050565b868152608060208201526000616272608083018789615a76565b8281036040840152616285818688615a76565b9150506001600160a01b0383166060830152979650505050505050565b828152608081016142af60208301846159bc565b6001600160c01b031984168152818360088301376000910160080190815292915050565b60006001600160401b038083168185168083038211156162fc576162fc615cb7565b01949350505050565b6bffffffffffffffffffffffff198816815260c06020820152600061632e60c08301888a615a76565b6001600160a01b03969096166040830152506001600160401b039384166060820152918316608083015290911660a0909101529392505050565b848152606060208201526000616382606083018587615a76565b905082604083015295945050505050565b6000826163a2576163a26160f4565b500690565b6000826163b6576163b66160f4565b500490565b600060ff821660ff84168060ff038211156163d8576163d8615cb7565b019392505050565b600060ff821660ff8416808210156163fa576163fa615cb7565b90039392505050565b6001600160601b03198316815260006140d3601483018461606b56fea26469706673582212204130cda772b841038c7714690e66f798a23ccd48b4b7a071306638d8aa70adc164736f6c63430008090033",
1530
+ "deployedBytecode": "0x6080604052600436106102855760003560e01c8063793bb47311610153578063b34b3216116100cb578063d95027b71161007f578063e95eb7a811610064578063e95eb7a814610a62578063f2fde38b14610a89578063fd56208014610aa957600080fd5b8063d95027b714610a12578063e53c0b5514610a3257600080fd5b8063bdf9fca9116100b0578063bdf9fca9146109a4578063cb7f3a09146109cb578063d6eccdf0146109f257600080fd5b8063b34b321614610950578063b59589d11461097057600080fd5b8063a145e2d511610122578063a8fa0f4211610107578063a8fa0f421461082e578063b02c43d01461084e578063b2146cd61461091057600080fd5b8063a145e2d5146107ee578063a588f0591461080e57600080fd5b8063793bb473146107075780638da5cb5b146107435780638dd0f79a146107615780638fa4ad28146107c157600080fd5b806359a9d90a1161020157806367f27247116101b5578063715018a61161019a578063715018a61461069e57806376cdb03b146106b357806377145f21146106e757600080fd5b806367f272471461066b5780636d02b43c1461068b57600080fd5b80635c0b4812116101e65780635c0b4812146105df57806360d712fc146105ff57806361d027b31461061f57600080fd5b806359a9d90a146105985780635afb143c146105b857600080fd5b80632bb818c2116102585780633dce98121161023d5780633dce98121461051d578063575e42791461053f578063595ff9ff1461055f57600080fd5b80632bb818c21461040a57806333e957cb1461043e57600080fd5b806303d952f71461028a578063079bf52c146103425780630b6ba19d1461037a5780631fff4e70146103e6575b600080fd5b34801561029657600080fd5b506102f66102a53660046153f2565b600760205260009081526040902080546001909101546001600160a01b03821691600160a01b90046001600160401b039081169181811691600160401b82041690600160801b900463ffffffff1685565b604080516001600160a01b0390961686526001600160401b0394851660208701529284169285019290925291909116606083015263ffffffff16608082015260a0015b60405180910390f35b34801561034e57600080fd5b50600154610362906001600160401b031681565b6040516001600160401b039091168152602001610339565b34801561038657600080fd5b506102f66103953660046153f2565b600860205260009081526040902080546001909101546001600160a01b03821691600160a01b90046001600160401b039081169181811691600160401b82041690600160801b900463ffffffff1685565b3480156103f257600080fd5b506103fc60035481565b604051908152602001610339565b34801561041657600080fd5b506103fc7f000000000000000000000000000000000000000000000000000000000000000081565b34801561044a57600080fd5b506104d96104593660046153f2565b604080516080810182526000808252602082018190529181018290526060810191909152506000908152600d6020908152604091829020825160808101845281546001600160a01b031681526001820154928101929092526002015463ffffffff81169282019290925264010000000090910460ff161515606082015290565b604051610339919081516001600160a01b031681526020808301519082015260408083015163ffffffff169082015260609182015115159181019190915260800190565b34801561052957600080fd5b5061053d61053836600461540b565b610ac9565b005b34801561054b57600080fd5b5061053d61055a36600461546c565b610b59565b34801561056b57600080fd5b50600954600a54600b54600c54604080519485526020850193909352918301526060820152608001610339565b3480156105a457600080fd5b5061053d6105b33660046154b2565b610be2565b3480156105c457600080fd5b5060005461036290600160a01b90046001600160401b031681565b3480156105eb57600080fd5b5061053d6105fa36600461551d565b611258565b34801561060b57600080fd5b5061053d61061a36600461559e565b6119e9565b34801561062b57600080fd5b506106537f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b039091168152602001610339565b34801561067757600080fd5b5061053d610686366004615609565b611aa2565b61053d61069936600461565b565b612023565b3480156106aa57600080fd5b5061053d61222b565b3480156106bf57600080fd5b506106537f000000000000000000000000000000000000000000000000000000000000000081565b3480156106f357600080fd5b5061053d6107023660046156b8565b612291565b34801561071357600080fd5b50600f546c01000000000000000000000000900460601b6040516001600160601b03199091168152602001610339565b34801561074f57600080fd5b506000546001600160a01b0316610653565b34801561076d57600080fd5b50600e54600f546040805163ffffffff600160a01b8504811682526001600160401b03600160c01b9095048516602083015293831691810191909152600160401b9091049091166060820152608001610339565b3480156107cd57600080fd5b506107e16107dc366004615738565b612495565b6040516103399190615769565b3480156107fa57600080fd5b5061053d6108093660046157e2565b61257c565b34801561081a57600080fd5b50600254610362906001600160401b031681565b34801561083a57600080fd5b5061053d61084936600461540b565b612602565b34801561085a57600080fd5b506108c06108693660046153f2565b600560205260009081526040902080546001909101546001600160a01b03808316926001600160401b03600160a01b80830482169463ffffffff600160e01b94859004811695821694928204909316929190041686565b604080516001600160a01b0397881681526001600160401b03968716602082015263ffffffff958616918101919091529590921660608601529290921660808401521660a082015260c001610339565b34801561091c57600080fd5b5061094061092b3660046153f2565b60066020526000908152604090205460ff1681565b6040519015158152602001610339565b34801561095c57600080fd5b5061053d61096b3660046157fe565b612668565b34801561097c57600080fd5b506106537f000000000000000000000000000000000000000000000000000000000000000081565b3480156109b057600080fd5b5060015461036290600160801b90046001600160401b031681565b3480156109d757600080fd5b5060015461036290600160401b90046001600160401b031681565b3480156109fe57600080fd5b5061053d610a0d36600461588f565b612ad8565b348015610a1e57600080fd5b5061053d610a2d3660046158f9565b613200565b348015610a3e57600080fd5b50610940610a4d366004615944565b60046020526000908152604090205460ff1681565b348015610a6e57600080fd5b5060015461036290600160c01b90046001600160401b031681565b348015610a9557600080fd5b5061053d610aa4366004615944565b613257565b348015610ab557600080fd5b5061053d610ac4366004615973565b613339565b6040517f1803c09e000000000000000000000000000000000000000000000000000000008152600e6004820152602481018390526044810182905273__$0f118c52967a3847a37f0a2ef02ffcee04$__90631803c09e906064015b60006040518083038186803b158015610b3c57600080fd5b505af4158015610b50573d6000803e3d6000fd5b50505050505050565b6040517f9655f02b00000000000000000000000000000000000000000000000000000000815273__$0f118c52967a3847a37f0a2ef02ffcee04$__90639655f02b90610bae90600e90869086906004016159f5565b60006040518083038186803b158015610bc657600080fd5b505af4158015610bda573d6000803e3d6000fd5b505050505050565b600073__$a0a90fa014aeccc935ad103f88ed15a604$__639d7ae1348585610c0861353c565b6040518463ffffffff1660e01b8152600401610c2693929190615a9f565b60206040518083038186803b158015610c3e57600080fd5b505af4158015610c52573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c769190615b9a565b9050600080610cc5610c8b6040880188615bb3565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152506136b992505050565b6001600160601b031982166000908152601060205260409020600281015492945090925090600160801b900460ff166001816004811115610d0857610d08615753565b1480610d2557506002816004811115610d2357610d23615753565b145b610d9c5760405162461bcd60e51b815260206004820152602b60248201527f57616c6c6574206d75737420626520696e204c697665206f72204d6f76696e6760448201527f46756e647320737461746500000000000000000000000000000000000000000060648201526084015b60405180910390fd5b604080516060810182526000808252602082018190529181019190915260018301548015610e9957808835610dd760408b0160208c01615bf9565b610de760608c0160408d01615c14565b604051602001610e249392919092835260e09190911b6001600160e01b031916602083015260c01b6001600160c01b0319166024820152602c0190565b6040516020818303038152906040528051906020012014610e875760405162461bcd60e51b815260206004820152601660248201527f496e76616c6964206d61696e205554584f2064617461000000000000000000006044820152606401610d93565b610e9636899003890189615c45565b91505b6000610ee7610eab60208d018d615bb3565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508792506137ec915050565b905060008080610f0a84600001518a6001600160401b0316866040015151613dcc565b6001549193509150600160401b90046001600160401b0316610f2c8284615ccd565b1115610f7a5760405162461bcd60e51b815260206004820152601b60248201527f5472616e73616374696f6e2066656520697320746f6f206869676800000000006044820152606401610d93565b60005b8460400151518110156110685760006001866040015151610f9e9190615ce5565b8214610faa5783610fb4565b610fb48385615ccd565b90508086606001518381518110610fcd57610fcd615cfc565b602002602001015187604001518481518110610feb57610feb615cfc565b6020026020010151610ffd9190615ce5565b6110079190615ce5565b8660400151838151811061101d5761101d615cfc565b6020026020010181815250508560600151828151811061103f5761103f615cfc565b6020026020010151856110529190615ccd565b945050808061106090615d12565b915050610f7d565b5060408051602081018d90526000918101919091526001600160c01b031960c08b901b166044820152604c0160408051808303601f19018152828252805160209182012060018c01556001600160601b03198d16835282018d90527fe50ffdcc0a5f2c1ede5c122b9414ffd7b2c6bc870d2d775194049dc30da95e6a910160405180910390a1602084015160408086015190517f266a123a0000000000000000000000000000000000000000000000000000000081526001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000169263266a123a9261115b92600401615d2d565b600060405180830381600087803b15801561117557600080fd5b505af1158015611189573d6000803e3d6000fd5b50506040517f5b86f5990000000000000000000000000000000000000000000000000000000081526001600160a01b037f000000000000000000000000000000000000000000000000000000000000000081166004830152602482018790527f0000000000000000000000000000000000000000000000000000000000000000169250635b86f5999150604401600060405180830381600087803b15801561123057600080fd5b505af1158015611244573d6000803e3d6000fd5b505050505050505050505050505050505050565b60016010600061126e6080850160608601615738565b6001600160601b0319168152602081019190915260400160002060020154600160801b900460ff1660048111156112a7576112a7615753565b146112f45760405162461bcd60e51b815260206004820152601b60248201527f57616c6c6574206973206e6f7420696e204c69766520737461746500000000006044820152606401610d93565b600061130660e0830160c08401615944565b6001600160a01b0316148061134857506004600061132a60e0840160c08501615944565b6001600160a01b0316815260208101919091526040016000205460ff165b6113945760405162461bcd60e51b815260206004820152601460248201527f5661756c74206973206e6f7420747275737465640000000000000000000000006044820152606401610d93565b60006113a66040830160208401615944565b6113b66060840160408501615db1565b6113c66080850160608601615738565b6113d660a0860160808701615738565b6113e660c0870160a08801615ddb565b6040516020016113fa959493929190615df6565b60408051601f198184030181529190529050600061146e61141e6020850185615bf9565b63ffffffff166114316040870187615bb3565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509293925050613e089050565b9050600061147b82613fd3565b90508051601414156115015761149083614279565b6001600160601b0319166114a58260006142a0565b6001600160601b031916146114fc5760405162461bcd60e51b815260206004820152601960248201527f57726f6e672032302d62797465207363726970742068617368000000000000006044820152606401610d93565b6115f9565b8051602014156115b15760028360405161151b91906160a6565b602060405180830381855afa158015611538573d6000803e3d6000fd5b5050506040513d601f19601f8201168201806040525081019061155b9190615b9a565b611564826142b6565b146114fc5760405162461bcd60e51b815260206004820152601960248201527f57726f6e672033322d62797465207363726970742068617368000000000000006044820152606401610d93565b60405162461bcd60e51b815260206004820152601860248201527f57726f6e67207363726970742068617368206c656e67746800000000000000006044820152606401610d93565b600061165e61160b6020880188615ddb565b6116186020890189615bb3565b61162560408b018b615bb3565b61163560808d0160608e01615ddb565b60405160200161164a969594939291906160b2565b6040516020818303038152906040526142d2565b905060006005818361167360208a018a615bf9565b60405160200161169a92919091825260e01b6001600160e01b031916602082015260240190565b60408051808303601f190181529181528151602092830120835290820192909252016000208054909150600160e01b900463ffffffff161561171e5760405162461bcd60e51b815260206004820152601860248201527f4465706f73697420616c72656164792072657665616c656400000000000000006044820152606401610d93565b6000611729856142f9565b6000549091506001600160401b03600160a01b909104811690821610156117925760405162461bcd60e51b815260206004820152601860248201527f4465706f73697420616d6f756e7420746f6f20736d616c6c00000000000000006044820152606401610d93565b81547fffffffff0000000000000000ffffffffffffffffffffffffffffffffffffffff16600160a01b6001600160401b038316021782556117d96040880160208901615944565b82546001600160a01b03919091167bffffffffffffffff000000000000000000000000000000000000000090911617600160e01b4263ffffffff160217825561182860e0880160c08901615944565b6001838101805473ffffffffffffffffffffffffffffffffffffffff19166001600160a01b039390931692909217909155546001600160401b031661186e576000611884565b600154611884906001600160401b03168261610a565b6001830180546001600160401b0392909216600160a01b027fffffffff0000000000000000ffffffffffffffffffffffffffffffffffffffff9092169190911790557fa7382159a693ed317a024daf0fd1ba30805cdf9928ee09550af517c516e2ef05836118f560208a018a615bf9565b61190560408b0160208c01615944565b8461191660608d0160408e01615db1565b61192660808e0160608f01615738565b8d60800160208101906119399190615738565b8e60a001602081019061194c9190615ddb565b8f60c001602081019061195f9190615944565b60408051998a5263ffffffff90981660208a01526001600160a01b03968716978901979097526001600160401b0390941660608801526001600160c01b031990921660808701526001600160601b031990811660a08701521660c08501526001600160e01b03191660e0840152166101008201526101200160405180910390a15050505050505050565b6000546001600160a01b03163314611a435760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610d93565b6001600160a01b038216600081815260046020908152604091829020805460ff191685151590811790915591519182527f9065599c12c4294d9e2201638226d0d0beb95c228f468c4e7c2bdb8322b6066f910160405180910390a25050565b6000838383604051602001611ab993929190616130565b60408051808303601f19018152828252805160209182012060008181526007835283902060a08501845280546001600160a01b0381168652600160a01b90046001600160401b03908116938601939093526001015480831693850193909352600160401b83049091166060840152600160801b90910463ffffffff1660808301819052909250611b955760405162461bcd60e51b815260206004820152602160248201527f526564656d7074696f6e207265717565737420646f6573206e6f7420657869736044820152601d60fa1b6064820152608401610d93565b42600354826080015163ffffffff16611bae9190615ccd565b10611c205760405162461bcd60e51b8152602060048201526024808201527f526564656d7074696f6e207265717565737420686173206e6f742074696d656460448201527f206f7574000000000000000000000000000000000000000000000000000000006064820152608401610d93565b6001600160601b031985166000908152601060209081526040918290209183015190830151611c4f9190616154565b600282018054600090611c6c9084906001600160401b0316616154565b92506101000a8154816001600160401b0302191690836001600160401b0316021790555060016004811115611ca357611ca3615753565b6002820154600160801b900460ff166004811115611cc357611cc3615753565b1480611ced5750600280820154600160801b900460ff166004811115611ceb57611ceb615753565b145b80611d17575060046002820154600160801b900460ff166004811115611d1557611d15615753565b145b611d895760405162461bcd60e51b815260206004820152603b60248201527f5468652077616c6c6574206d75737420626520696e204c6976652c204d6f766960448201527f6e6746756e6473206f72205465726d696e6174656420737461746500000000006064820152608401610d93565b600083815260086020908152604080832085518154878501516001600160a01b039092166001600160e01b031991821617600160a01b6001600160401b0393841602178355878401516001938401805460608b015160808c01519386166fffffffffffffffffffffffffffffffff1990921691909117600160401b91909516029390931773ffffffff000000000000000000000000000000001916600160801b63ffffffff909216919091021790915560079093529220805490911681558101805473ffffffffffffffffffffffffffffffffffffffff191690556002820154600160801b900460ff166004811115611e8457611e84615753565b1480611eae5750600280820154600160801b900460ff166004811115611eac57611eac615753565b145b15611f40576040517f65951fcf000000000000000000000000000000000000000000000000000000008152600e60048201526001600160601b03198716602482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__906365951fcf9060440160006040518083038186803b158015611f2757600080fd5b505af4158015611f3b573d6000803e3d6000fd5b505050505b7f013dddc8debc4730cd01232fdcea9ae6013689837732356c187fe5edb9a8a8d5868686604051611f739392919061617c565b60405180910390a1815160208301516040516356a6d9ef60e01b81526001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016926356a6d9ef92611fe9926004016001600160a01b039290921682526001600160401b0316602082015260400190565b600060405180830381600087803b15801561200357600080fd5b505af1158015612017573d6000803e3d6000fd5b50505050505050505050565b60006120b061206c600087878080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929392505061436f9050565b604080516020601f89018190048102820181019092528781526120ab9190898980838501838280828437600092019190915250929392505061436f9050565b614377565b905060006120bd82614279565b6001600160601b03198116600090815260106020526040902090915060016002820154600160801b900460ff1660048111156120fb576120fb615753565b14806121255750600280820154600160801b900460ff16600481111561212357612123615753565b145b6121975760405162461bcd60e51b815260206004820152602f60248201527f57616c6c6574206973206e65697468657220696e204c697665206e6f72204d6f60448201527f76696e6746756e647320737461746500000000000000000000000000000000006064820152608401610d93565b6040517f2a6f2ad800000000000000000000000000000000000000000000000000000000815273__$d790fbbb73aa5f15b682a7376a512ac8e4$__90632a6f2ad8906121f2906009908b908b9088908c908c906004016161a5565b60006040518083038186803b15801561220a57600080fd5b505af415801561221e573d6000803e3d6000fd5b5050505050505050505050565b6000546001600160a01b031633146122855760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610d93565b61228f6000614421565b565b6040517fc945968600000000000000000000000000000000000000000000000000000000815260009073__$d790fbbb73aa5f15b682a7376a512ac8e4$__9063c9459686906122ef906009908a908a908a908a908a90600401616215565b60206040518083038186803b15801561230757600080fd5b505af415801561231b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061233f9190615b9a565b600081815260056020526040902060010154909150600160e01b900463ffffffff1615158061237c575060008181526006602052604090205460ff165b6123ee5760405162461bcd60e51b815260206004820152603060248201527f5370656e74205554584f206e6f7420666f756e6420616d6f6e6720636f72726560448201527f63746c79207370656e74205554584f73000000000000000000000000000000006064820152608401610d93565b6040517f3f31f49f00000000000000000000000000000000000000000000000000000000815273__$d790fbbb73aa5f15b682a7376a512ac8e4$__90633f31f49f90612469906009908a908a908a908a907f000000000000000000000000000000000000000000000000000000000000000090600401616258565b60006040518083038186803b15801561248157600080fd5b505af4158015612017573d6000803e3d6000fd5b6124cb6040805160c08101825260008082526020820181905291810182905260608101829052608081018290529060a082015290565b6001600160601b03198216600090815260106020908152604091829020825160c0810184528154815260018201549281019290925260028101546001600160401b0381169383019390935263ffffffff600160401b8404811660608401526c010000000000000000000000008404166080830152909160a083019060ff600160801b90910416600481111561256257612562615753565b600481111561257357612573615753565b90525092915050565b6040517fb4e671f400000000000000000000000000000000000000000000000000000000815273__$0f118c52967a3847a37f0a2ef02ffcee04$__9063b4e671f4906125cf90600e9085906004016162a2565b60006040518083038186803b1580156125e757600080fd5b505af41580156125fb573d6000803e3d6000fd5b5050505050565b6040517f4fd7d486000000000000000000000000000000000000000000000000000000008152600e600482015260248101849052604481018390526064810182905273__$0f118c52967a3847a37f0a2ef02ffcee04$__90634fd7d48690608401610b24565b600073__$a0a90fa014aeccc935ad103f88ed15a604$__639d7ae134868661268e61353c565b6040518463ffffffff1660e01b81526004016126ac93929190615a9f565b60206040518083038186803b1580156126c457600080fd5b505af41580156126d8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906126fc9190615b9a565b905061274c61270e6020870187615bb3565b8080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525087925086915061447e9050565b6001600160601b0319821660009081526010602052604090206002810154600160801b900460ff16600181600481111561278857612788615753565b14806127a5575060028160048111156127a3576127a3615753565b145b6128175760405162461bcd60e51b815260206004820152602a60248201527f57616c6c6574206d75737420626520696e204c697665206f72204d6f76696e6760448201527f46756473207374617465000000000000000000000000000000000000000000006064820152608401610d93565b600061286561282960408a018a615bb3565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508992506146f9915050565b60608101519091506001600160401b0316156128e55783816040015182606001516040516020016128c39392919092835260e09190911b6001600160e01b031916602083015260c01b6001600160c01b0319166024820152602c0190565b60408051601f19818403018152919052805160209091012060018401556128ed565b600060018401555b805160028401805460009061290c9084906001600160401b0316616154565b92506101000a8154816001600160401b0302191690836001600160401b031602179055507fa45596c10f758d32ec8cca64a0fbfe776052b08fdb3f026e0a87f52118bf8fbe85856040516129769291906001600160601b0319929092168252602082015260400190565b60405180910390a180516040517f392aee430000000000000000000000000000000000000000000000000000000081526001600160401b0390911660048201527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03169063392aee4390602401600060405180830381600087803b158015612a0457600080fd5b505af1158015612a18573d6000803e3d6000fd5b5050505060208101516040516356a6d9ef60e01b81526001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000811660048301526001600160401b0390921660248201527f0000000000000000000000000000000000000000000000000000000000000000909116906356a6d9ef90604401600060405180830381600087803b158015612ab657600080fd5b505af1158015612aca573d6000803e3d6000fd5b505050505050505050505050565b6001600160601b03198516600090815260106020526040902060016002820154600160801b900460ff166004811115612b1357612b13615753565b14612b605760405162461bcd60e51b815260206004820152601c60248201527f57616c6c6574206d75737420626520696e204c697665207374617465000000006044820152606401610d93565b600181015480612bbc5760405162461bcd60e51b815260206004820152602160248201527f4e6f206d61696e205554584f20666f722074686520676976656e2077616c6c656044820152601d60fa1b6064820152608401610d93565b808635612bcf6040890160208a01615bf9565b612bdf60608a0160408b01615c14565b604051602001612c1c9392919092835260e09190911b6001600160e01b031916602083015260c01b6001600160c01b0319166024820152602c0190565b6040516020818303038152906040528051906020012014612c7f5760405162461bcd60e51b815260206004820152601660248201527f496e76616c6964206d61696e205554584f2064617461000000000000000000006044820152606401610d93565b6000612cb1600060c01b8787604051602001612c9d939291906162b6565b604051602081830303815290604052613fd3565b90506000815111612d2a5760405162461bcd60e51b815260206004820152602e60248201527f52656465656d6572206f757470757420736372697074206d757374206265206160448201527f207374616e6461726420747970650000000000000000000000000000000000006064820152608401610d93565b808051906020012088604051602001612d5391906001600160601b031991909116815260140190565b604051602081830303815290604052805190602001201415612ddd5760405162461bcd60e51b815260206004820152603760248201527f52656465656d6572206f757470757420736372697074206d757374206e6f742060448201527f706f696e7420746f207468652077616c6c657420504b480000000000000000006064820152608401610d93565b6001546001600160401b03600160801b90910481169085161015612e435760405162461bcd60e51b815260206004820152601b60248201527f526564656d7074696f6e20616d6f756e7420746f6f20736d616c6c00000000006044820152606401610d93565b6000888787604051602001612e5a93929190616130565b60408051808303601f19018152918152815160209283012060008181526007909352912060010154909150600160801b900463ffffffff1615612f2b5760405162461bcd60e51b815260206004820152604a60248201527f546865726520697320612070656e64696e6720726564656d7074696f6e20726560448201527f71756573742066726f6d20746869732077616c6c657420746f2074686520736160648201527f6d65206164647265737300000000000000000000000000000000000000000000608482015260a401610d93565b600154600090600160c01b90046001600160401b0316612f4c576000612f69565b600154612f6990600160c01b90046001600160401b03168761610a565b6002549091506001600160401b0316612f828288616154565b600287018054600090612f9f9084906001600160401b03166162da565b82546101009290920a6001600160401b038181021990931691831602179091556002880154169050612fd760608c0160408d01615c14565b6001600160401b0316101561302e5760405162461bcd60e51b815260206004820152601960248201527f496e73756666696369656e742077616c6c65742066756e6473000000000000006044820152606401610d93565b6040805160a081018252338082526001600160401b03808b1660208085019182528783168587019081528784166060870190815263ffffffff4281166080890190815260008d81526007909552938990209751885495518716600160a01b026001600160e01b03199096166001600160a01b03919091161794909417875590516001909601805491519251909316600160801b0273ffffffff0000000000000000000000000000000019928516600160401b026fffffffffffffffffffffffffffffffff19909216969094169590951794909417939093161790915590517f97a0199072f487232635d50ab75860891afe0b91c976ed2fc76502c4d82d0d9591613144918e918d918d91908d9089908990616305565b60405180910390a16040517f7c6db49c0000000000000000000000000000000000000000000000000000000081523360048201523060248201526001600160401b03881660448201527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031690637c6db49c90606401600060405180830381600087803b1580156131db57600080fd5b505af11580156131ef573d6000803e3d6000fd5b505050505050505050505050505050565b6040517f05cf9ce300000000000000000000000000000000000000000000000000000000815273__$d790fbbb73aa5f15b682a7376a512ac8e4$__906305cf9ce390610b2490600990879087908790600401616368565b6000546001600160a01b031633146132b15760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610d93565b6001600160a01b03811661332d5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f64647265737300000000000000000000000000000000000000000000000000006064820152608401610d93565b61333681614421565b50565b6000546001600160a01b031633146133935760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610d93565b6040517f041aee99000000000000000000000000000000000000000000000000000000008152600e600482015263ffffffff8516602482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__9063041aee999060440160006040518083038186803b15801561340357600080fd5b505af4158015613417573d6000803e3d6000fd5b50506040517f998b564c000000000000000000000000000000000000000000000000000000008152600e60048201526001600160401b0380871660248301528516604482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__925063998b564c915060640160006040518083038186803b15801561349657600080fd5b505af41580156134aa573d6000803e3d6000fd5b50506040517f45d9969c000000000000000000000000000000000000000000000000000000008152600e600482015263ffffffff8416602482015273__$0f118c52967a3847a37f0a2ef02ffcee04$__92506345d9969c915060440160006040518083038186803b15801561351e57600080fd5b505af4158015613532573d6000803e3d6000fd5b5050505050505050565b61356060405180606001604052806000815260200160008152602001600081525090565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663113764be6040518163ffffffff1660e01b815260040160206040518083038186803b1580156135b957600080fd5b505afa1580156135cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906135f19190615b9a565b8160000181815250507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316632b97be246040518163ffffffff1660e01b815260040160206040518083038186803b15801561365357600080fd5b505afa158015613667573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061368b9190615b9a565b60208201527f0000000000000000000000000000000000000000000000000000000000000000604082015290565b60008060006136c784614d0e565b915050806001146137405760405162461bcd60e51b815260206004820152602b60248201527f5377656570207472616e73616374696f6e206d7573742068617665206120736960448201527f6e676c65206f75747075740000000000000000000000000000000000000000006064820152608401610d93565b600061374c8582613e08565b9050613757816142f9565b9250600061376482613fd3565b905080516014146137dd5760405162461bcd60e51b815260206004820152602b60248201527f57616c6c6574207075626c6963206b657920686173682073686f756c6420686160448201527f76652032302062797465730000000000000000000000000000000000000000006064820152608401610d93565b60208101519450505050915091565b6138176040518060800160405280600081526020016060815260200160608152602001606081525090565b815115156000808061382887614d0e565b9092509050600061383a836001615ccd565b905084156138525761384d600183615ce5565b613854565b815b6001600160401b0381111561386b5761386b615c2f565b604051908082528060200260200182016040528015613894578160200160208202803683370190505b5060208701819052516001600160401b038111156138b4576138b4615c2f565b6040519080825280602002602001820160405280156138dd578160200160208202803683370190505b5060408701526020860151516001600160401b0381111561390057613900615c2f565b604051908082528060200260200182016040528015613929578160200160208202803683370190505b5060608701526000805b83811015613ccf57600080600061394a8d87614d25565b925092509250600060056000858560405160200161397f92919091825260e01b6001600160e01b031916602082015260240190565b60408051808303601f190181529181528151602092830120835290820192909252016000208054909150600160e01b900463ffffffff1615613bbb576001810154600160e01b900463ffffffff1615613a1a5760405162461bcd60e51b815260206004820152601560248201527f4465706f73697420616c726561647920737765707400000000000000000000006044820152606401610d93565b8b6020015151861415613a955760405162461bcd60e51b815260206004820152603a60248201527f4578706563746564206d61696e205554584f206e6f742070726573656e74206960448201527f6e207377656570207472616e73616374696f6e20696e707574730000000000006064820152608401610d93565b6001810180547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16600160e01b4263ffffffff1602179055805460208d015180516001600160a01b039092169188908110613aee57613aee615cfc565b6001600160a01b039290921660209283029190910190910152805460408d01518051600160a01b9092046001600160401b03169188908110613b3257613b32615cfc565b6020026020010181815250508b604001518681518110613b5457613b54615cfc565b60200260200101518c600001818151613b6d9190615ccd565b905250600181015460608d01518051600160a01b9092046001600160401b03169188908110613b9e57613b9e615cfc565b602090810291909101015285613bb381615d12565b965050613cac565b8915158b151514158015613bcf57508c5184145b15613c64578c604001516001600160401b03168c600001818151613bf39190615ccd565b90525060405160019a508a90600690600090613c2b908890889060200191825260e01b6001600160e01b031916602082015260240190565b60408051808303601f19018152918152815160209283012083529082019290925201600020805460ff1916911515919091179055613cac565b60405162461bcd60e51b815260206004820152601260248201527f556e6b6e6f776e20696e707574207479706500000000000000000000000000006044820152606401610d93565b613cb68288615ccd565b9650505050508080613cc790615d12565b915050613933565b5060008111613d465760405162461bcd60e51b815260206004820152603360248201527f5377656570207472616e73616374696f6e206d7573742070726f63657373206160448201527f74206c65617374206f6e65206465706f736974000000000000000000000000006064820152608401610d93565b84151586151514613dbf5760405162461bcd60e51b815260206004820152603a60248201527f4578706563746564206d61696e205554584f206e6f742070726573656e74206960448201527f6e207377656570207472616e73616374696f6e20696e707574730000000000006064820152608401610d93565b5050505050505b92915050565b60008080613dda8587615ce5565b9050613de68482616393565b915083613df38383615ce5565b613dfd91906163a7565b925050935093915050565b6060600080613e1685614d0e565b9092509050600019821415613e785760405162461bcd60e51b815260206004820152602260248201527f52656164206f76657272756e20647572696e6720566172496e742070617273696044820152616e6760f01b6064820152608401610d93565b808410613ec75760405162461bcd60e51b815260206004820152601160248201527f566f75742072656164206f76657272756e0000000000000000000000000000006044820152606401610d93565b600080613ed5846001615ccd565b905060005b86811015613f5e57613eec8883614d7d565b9250600019831415613f405760405162461bcd60e51b815260206004820152601a60248201527f42616420566172496e7420696e207363726970745075626b65790000000000006044820152606401610d93565b613f4a8383615ccd565b915080613f5681615d12565b915050613eda565b50613f698782614d7d565b9150600019821415613fbd5760405162461bcd60e51b815260206004820152601a60248201527f42616420566172496e7420696e207363726970745075626b65790000000000006044820152606401610d93565b613fc8878284614dec565b979650505050505050565b6060600082600881518110613fea57613fea615cfc565b0160200151835160f89190911c91506140048260096163bb565b60ff1614614022575050604080516020810190915260008152919050565b8260098151811061403557614035615cfc565b016020015160f81c6140db5760028160ff161015614063575050604080516020810190915260008152919050565b600083600a8151811061407857614078615cfc565b016020015160f81c905061408d6002836163e0565b60ff16811415806140ab5750806020141580156140ab575080601414155b156140c757505060408051602081019091526000815292915050565b6140d384600b83614dec565b949350505050565b60006140e88460086142a0565b90507f1976a900000000000000000000000000000000000000000000000000000000007fffffff0000000000000000000000000000000000000000000000000000000000821614156141c55783600b8151811061414757614147615cfc565b60209101015160f81c601414158061419c57506141726002855161416b9190615ce5565b85906142a0565b7dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191661222b60f21b14155b156141b857505060408051602081019091526000815292915050565b6140d384600c6014614dec565b7f17a91400000000000000000000000000000000000000000000000000000000007fffffff00000000000000000000000000000000000000000000000000000000008216141561426257836001855161421e9190615ce5565b8151811061422e5761422e615cfc565b60209101015160f81c60871461425557505060408051602081019091526000815292915050565b6140d384600b6014614dec565b505050604080516020810190915260008152919050565b60006020600083516020850160025afa50602060006020600060035afa5050600c51919050565b60006142af8383016020015190565b9392505050565b60008151600014156142ca57506000919050565b506020015190565b60006020600083516020850160025afa50602060006020600060025afa5050600051919050565b60008061430583614eb6565b60c01c905060006140d38264ff000000ff600882811c91821665ff000000ff009390911b92831617601090811b6001600160401b031666ff00ff00ff00ff9290921667ff00ff00ff00ff009093169290921790911c65ffff0000ffff1617602081811c91901b1790565b016020015190565b60606000614386600284616393565b6143b157507f02000000000000000000000000000000000000000000000000000000000000006143d4565b507f03000000000000000000000000000000000000000000000000000000000000005b6040517fff00000000000000000000000000000000000000000000000000000000000000821660208201526021810185905260410160405160208183030381529060405291505092915050565b600080546001600160a01b0383811673ffffffffffffffffffffffffffffffffffffffff19831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6001600160601b03198116600090815260106020526040902060010154806144e85760405162461bcd60e51b815260206004820152601d60248201527f4e6f206d61696e205554584f20666f7220676976656e2077616c6c65740000006044820152606401610d93565b8083356144fb6040860160208701615bf9565b61450b6060870160408801615c14565b6040516020016145489392919092835260e09190911b6001600160e01b031916602083015260c01b6001600160c01b0319166024820152602c0190565b60405160208183030381529060405280519060200120146145ab5760405162461bcd60e51b815260206004820152601660248201527f496e76616c6964206d61696e205554584f2064617461000000000000000000006044820152606401610d93565b6000806145b786614ec2565b90925090508435821480156145e6575063ffffffff81166145de6040870160208801615bf9565b63ffffffff16145b61467e5760405162461bcd60e51b815260206004820152604160248201527f526564656d7074696f6e207472616e73616374696f6e20696e707574206d757360448201527f7420706f696e7420746f207468652077616c6c65742773206d61696e2055545860648201527f4f00000000000000000000000000000000000000000000000000000000000000608482015260a401610d93565b600160066000873561469660408a0160208b01615bf9565b6040516020016146bd92919091825260e01b6001600160e01b031916602082015260240190565b60408051808303601f19018152918152815160209283012083529082019290925201600020805460ff1916911515919091179055505050505050565b6040805160808101825260008082526020820181905291810182905260608101829052908061472785614d0e565b90925090506000614739836001615ccd565b604080517f1976a914000000000000000000000000000000000000000000000000000000006020808301919091526001600160601b031989166024830181905261222b60f21b60388401528351601a818503018152603a840185528051908301207f1600140000000000000000000000000000000000000000000000000000000000605a850152605d8401919091528351605181850301815260719093019093528151910120919250906000805b85811015614c975760006147fb8b87614d7d565b9050600061480a8c8884614dec565b90506000614817826142f9565b90506000614835600880855161482d9190615ce5565b859190614dec565b90508b606001516001600160401b0316600014801561486857508051602082012088148061486857508051602082012087145b801561487d57506000826001600160401b0316115b156148a25763ffffffff851660408d01526001600160401b03821660608d0152614c74565b60008d826040516020016148b7929190616403565b60408051808303601f19018152918152815160209283012060008181526007909352912060010154909150600160801b900463ffffffff1615614ac157600081815260076020526040812060018101548154919291614929916001600160401b0390811691600160a01b900416616154565b60018301549091506001600160401b038087169161495091600160401b9091041683616154565b6001600160401b0316111580156149795750806001600160401b0316856001600160401b031611155b614a115760405162461bcd60e51b815260206004820152604660248201527f4f75747075742076616c7565206973206e6f742077697468696e20746865206160448201527f636365707461626c652072616e6765206f66207468652070656e64696e67207260648201527f6571756573740000000000000000000000000000000000000000000000000000608482015260a401610d93565b808f600001818151614a2391906162da565b9150906001600160401b031690816001600160401b0316815250508160010160009054906101000a90046001600160401b03168f602001818151614a6791906162da565b6001600160401b0316905250600083815260076020526040902080546001600160e01b0319168155600101805473ffffffffffffffffffffffffffffffffffffffff1916905588614ab781615d12565b9950505050614c72565b60008181526008602052604090206001810154600160801b900463ffffffff16614b525760405162461bcd60e51b8152602060048201526024808201527f4f75747075742069732061206e6f6e2d72657175657374656420726564656d7060448201527f74696f6e000000000000000000000000000000000000000000000000000000006064820152608401610d93565b60018101548154600091614b7a916001600160401b0391821691600160a01b90910416616154565b60018301549091506001600160401b0380871691614ba191600160401b9091041683616154565b6001600160401b031611158015614bca5750806001600160401b0316856001600160401b031611155b614c625760405162461bcd60e51b815260206004820152604860248201527f4f75747075742076616c7565206973206e6f742077697468696e20746865206160448201527f636365707461626c652072616e6765206f66207468652074696d6564206f757460648201527f2072657175657374000000000000000000000000000000000000000000000000608482015260a401610d93565b88614c6c81615d12565b99505050505b505b614c7e848a615ccd565b9850505050508080614c8f90615d12565b9150506147e7565b5060008111613dbf5760405162461bcd60e51b815260206004820152603b60248201527f526564656d7074696f6e207472616e73616374696f6e206d7573742070726f6360448201527f657373206174206c65617374206f6e6520726564656d7074696f6e00000000006064820152608401610d93565b600080614d1c836000614f77565b91509150915091565b60008080614d3385856142a0565b9250614d68614d4286866150f3565b60d881901c63ff00ff001662ff00ff60e89290921c9190911617601081811b91901c1790565b9150614d74858561510a565b90509250925092565b6000614d8a826009615ccd565b83511015614d9b5750600019613dc6565b600080614db285614dad866008615ccd565b614f77565b9092509050600019821415614dcd5760001992505050613dc6565b80614dd9836009615ccd565b614de39190615ccd565b95945050505050565b606081614e0857506040805160208101909152600081526142af565b6000614e148385615ccd565b90508381118015614e26575080855110155b614e725760405162461bcd60e51b815260206004820152601360248201527f536c696365206f7574206f6620626f756e6473000000000000000000000000006044820152606401610d93565b604051915082604083010160405282825283850182038460208701018481015b80821015614eab57815183830152602082019150614e92565b505050509392505050565b6000613dc682826142a0565b6000806000614ed084614d0e565b91505080600114614f495760405162461bcd60e51b815260206004820152602f60248201527f526564656d7074696f6e207472616e73616374696f6e206d757374206861766560448201527f20612073696e676c6520696e70757400000000000000000000000000000000006064820152608401610d93565b6000614f558582615155565b9050614f608161530a565b9350614f6e614d4282615317565b92505050915091565b6000806000614f868585615324565b905060ff8116614fb8576000858581518110614fa457614fa4615cfc565b016020015190935060f81c91506150ec9050565b83614fc48260016163bb565b60ff16614fd19190615ccd565b85511015614fe857600019600092509250506150ec565b60008160ff166002141561502d5761502261500e615007876001615ccd565b88906142a0565b62ffff0060e882901c1660f89190911c1790565b61ffff1690506150e2565b8160ff16600414156150575761504a614d42615007876001615ccd565b63ffffffff1690506150e2565b8160ff16600814156150e2576150d6615074615007876001615ccd565b60c01c64ff000000ff600882811c91821665ff000000ff009390911b92831617601090811b6001600160401b031666ff00ff00ff00ff9290921667ff00ff00ff00ff009093169290921790911c65ffff0000ffff1617602081811c91901b1790565b6001600160401b031690505b60ff909116925090505b9250929050565b60006142af615103836020615ccd565b84906142a0565b600080600061511985856153b0565b90925090506000198214156151345760001992505050613dc6565b80615140836025615ccd565b61514a9190615ccd565b614de3906004615ccd565b606060008061516385614d0e565b90925090506000198214156151c55760405162461bcd60e51b815260206004820152602260248201527f52656164206f76657272756e20647572696e6720566172496e742070617273696044820152616e6760f01b6064820152608401610d93565b8084106152145760405162461bcd60e51b815260206004820152601060248201527f56696e2072656164206f76657272756e000000000000000000000000000000006044820152606401610d93565b600080615222846001615ccd565b905060005b868110156152ab57615239888361510a565b925060001983141561528d5760405162461bcd60e51b815260206004820152601760248201527f42616420566172496e7420696e207363726970745369670000000000000000006044820152606401610d93565b6152978383615ccd565b9150806152a381615d12565b915050615227565b506152b6878261510a565b9150600019821415613fbd5760405162461bcd60e51b815260206004820152601760248201527f42616420566172496e7420696e207363726970745369670000000000000000006044820152606401610d93565b6020810151600090613dc6565b6000613dc68260206142a0565b600082828151811061533857615338615cfc565b60209101015160f81c60ff141561535157506008613dc6565b82828151811061536357615363615cfc565b60209101015160f81c60fe141561537c57506004613dc6565b82828151811061538e5761538e615cfc565b60209101015160f81c60fd14156153a757506002613dc6565b50600092915050565b6000806153be836025615ccd565b845110156153d35750600019905060006150ec565b6000806153e586614dad876024615ccd565b9097909650945050505050565b60006020828403121561540457600080fd5b5035919050565b60008060006060848603121561542057600080fd5b505081359360208301359350604090920135919050565b80356001600160601b03198116811461544f57600080fd5b919050565b60006060828403121561546657600080fd5b50919050565b6000806080838503121561547f57600080fd5b61548883615437565b91506154978460208501615454565b90509250929050565b60006080828403121561546657600080fd5b600080600060a084860312156154c757600080fd5b83356001600160401b03808211156154de57600080fd5b6154ea878388016154a0565b9450602086013591508082111561550057600080fd5b5061550d86828701615454565b925050614d748560408601615454565b60008082840361010081121561553257600080fd5b83356001600160401b0381111561554857600080fd5b615554868287016154a0565b93505060e0601f198201121561556957600080fd5b506020830190509250929050565b80356001600160a01b038116811461544f57600080fd5b8035801515811461544f57600080fd5b600080604083850312156155b157600080fd5b6155ba83615577565b91506154976020840161558e565b60008083601f8401126155da57600080fd5b5081356001600160401b038111156155f157600080fd5b6020830191508360208285010111156150ec57600080fd5b60008060006040848603121561561e57600080fd5b61562784615437565b925060208401356001600160401b0381111561564257600080fd5b61564e868287016155c8565b9497909650939450505050565b60008060008060a0858703121561567157600080fd5b84356001600160401b0381111561568757600080fd5b615693878288016155c8565b909550935050602085013591506156ad8660408701615454565b905092959194509250565b6000806000806000606086880312156156d057600080fd5b85356001600160401b03808211156156e757600080fd5b6156f389838a016155c8565b9097509550602088013591508082111561570c57600080fd5b50615719888289016155c8565b909450925061572c90506040870161558e565b90509295509295909350565b60006020828403121561574a57600080fd5b6142af82615437565b634e487b7160e01b600052602160045260246000fd5b600060c08201905082518252602083015160208301526001600160401b036040840151166040830152606083015163ffffffff8082166060850152806080860151166080850152505060a0830151600581106157d557634e487b7160e01b600052602160045260246000fd5b8060a08401525092915050565b6000606082840312156157f457600080fd5b6142af8383615454565b60008060008060c0858703121561581457600080fd5b84356001600160401b038082111561582b57600080fd5b615837888389016154a0565b9550602087013591508082111561584d57600080fd5b5061585a87828801615454565b93505061586a8660408701615454565b91506156ad60a08601615437565b80356001600160401b038116811461544f57600080fd5b600080600080600060c086880312156158a757600080fd5b6158b086615437565b94506158bf8760208801615454565b935060808601356001600160401b038111156158da57600080fd5b6158e6888289016155c8565b909450925061572c905060a08701615878565b60008060006040848603121561590e57600080fd5b83356001600160401b0381111561592457600080fd5b615930868287016155c8565b909790965060209590950135949350505050565b60006020828403121561595657600080fd5b6142af82615577565b803563ffffffff8116811461544f57600080fd5b6000806000806080858703121561598957600080fd5b6159928561595f565b93506159a060208601615878565b92506159ae60408601615878565b91506156ad6060860161595f565b8035825263ffffffff6159d16020830161595f565b1660208301526001600160401b036159eb60408301615878565b1660408301525050565b8381526001600160601b03198316602082015260a081016140d360408301846159bc565b80356001600160e01b03198116811461544f57600080fd5b6000808335601e19843603018112615a4857600080fd5b83016020810192503590506001600160401b03811115615a6757600080fd5b8036038313156150ec57600080fd5b81835281816020850137506000828201602090810191909152601f909101601f19169091010190565b60a0815260006001600160e01b031980615ab887615a19565b1660a0840152615acb6020870187615a31565b608060c0860152615ae161012086018284615a76565b915050615af16040880188615a31565b858303609f190160e0870152615b08838284615a76565b9250505081615b1960608901615a19565b166101008501528381036020850152615b328687615a31565b925060608252615b46606083018483615a76565b92505060208601356020820152615b606040870187615a31565b8284036040840152615b73848284615a76565b9450505050506140d360408301848051825260208082015190830152604090810151910152565b600060208284031215615bac57600080fd5b5051919050565b6000808335601e19843603018112615bca57600080fd5b8301803591506001600160401b03821115615be457600080fd5b6020019150368190038213156150ec57600080fd5b600060208284031215615c0b57600080fd5b6142af8261595f565b600060208284031215615c2657600080fd5b6142af82615878565b634e487b7160e01b600052604160045260246000fd5b600060608284031215615c5757600080fd5b604051606081018181106001600160401b0382111715615c8757634e487b7160e01b600052604160045260246000fd5b60405282358152615c9a6020840161595f565b6020820152615cab60408401615878565b60408201529392505050565b634e487b7160e01b600052601160045260246000fd5b60008219821115615ce057615ce0615cb7565b500190565b600082821015615cf757615cf7615cb7565b500390565b634e487b7160e01b600052603260045260246000fd5b6000600019821415615d2657615d26615cb7565b5060010190565b604080825283519082018190526000906020906060840190828701845b82811015615d6f5781516001600160a01b031684529284019290840190600101615d4a565b5050508381038285015284518082528583019183019060005b81811015615da457835183529284019291840191600101615d88565b5090979650505050505050565b600060208284031215615dc357600080fd5b81356001600160c01b0319811681146142af57600080fd5b600060208284031215615ded57600080fd5b6142af82615a19565b600560fa1b8152606086901b6001600160601b0319166001820152607560f81b60158201527f080000000000000000000000000000000000000000000000000000000000000060168201526001600160c01b031985166017820152607560f81b601f8201526000615eca615ebd615e94602085015b7f7600000000000000000000000000000000000000000000000000000000000000815260010190565b7fa900000000000000000000000000000000000000000000000000000000000000815260010190565b600560fa1b815260010190565b6001600160601b0319861681527f870000000000000000000000000000000000000000000000000000000000000060148201527f63000000000000000000000000000000000000000000000000000000000000006015820152615f89615ebd615e94615e6b615f60601686015b7fac00000000000000000000000000000000000000000000000000000000000000815260010190565b7f6700000000000000000000000000000000000000000000000000000000000000815260010190565b6001600160601b0319861681527f880000000000000000000000000000000000000000000000000000000000000060148201527f040000000000000000000000000000000000000000000000000000000000000060158201529050601681016001600160e01b0319851681527fb1000000000000000000000000000000000000000000000000000000000000006004820152607560f81b6005820152905061605f61603660068301615f37565b7f6800000000000000000000000000000000000000000000000000000000000000815260010190565b98975050505050505050565b6000815160005b8181101561608c5760208185018101518683015201616072565b8181111561609b576000828601525b509290920192915050565b60006142af828461606b565b60006001600160e01b03198089168352868860048501378683016004810160008152868882375093169390920160048101939093525050600801949350505050565b634e487b7160e01b600052601260045260246000fd5b60006001600160401b0380841680616124576161246160f4565b92169190910492915050565b6001600160601b031984168152818360148301376000910160140190815292915050565b60006001600160401b038381169083168181101561617457616174615cb7565b039392505050565b6bffffffffffffffffffffffff1984168152604060208201526000614de3604083018486615a76565b86815260e0602082015260006161bf60e083018789615a76565b90506bffffffffffffffffffffffff198516604083015283606083015282356080830152602083013560a0830152604083013560ff811680821461620257600080fd5b8060c08501525050979650505050505050565b86815260806020820152600061622f608083018789615a76565b8281036040840152616242818688615a76565b9150508215156060830152979650505050505050565b868152608060208201526000616272608083018789615a76565b8281036040840152616285818688615a76565b9150506001600160a01b0383166060830152979650505050505050565b828152608081016142af60208301846159bc565b6001600160c01b031984168152818360088301376000910160080190815292915050565b60006001600160401b038083168185168083038211156162fc576162fc615cb7565b01949350505050565b6bffffffffffffffffffffffff198816815260c06020820152600061632e60c08301888a615a76565b6001600160a01b03969096166040830152506001600160401b039384166060820152918316608083015290911660a0909101529392505050565b848152606060208201526000616382606083018587615a76565b905082604083015295945050505050565b6000826163a2576163a26160f4565b500690565b6000826163b6576163b66160f4565b500490565b600060ff821660ff84168060ff038211156163d8576163d8615cb7565b019392505050565b600060ff821660ff8416808210156163fa576163fa615cb7565b90039392505050565b6001600160601b03198316815260006140d3601483018461606b56fea26469706673582212204130cda772b841038c7714690e66f798a23ccd48b4b7a071306638d8aa70adc164736f6c63430008090033",
1531
+ "linkReferences": {
1532
+ "contracts/bridge/BitcoinTx.sol": {
1533
+ "BitcoinTx": [
1534
+ {
1535
+ "length": 20,
1536
+ "start": 4765
1537
+ },
1538
+ {
1539
+ "length": 20,
1540
+ "start": 11555
1541
+ }
1542
+ ]
1543
+ },
1544
+ "contracts/bridge/Frauds.sol": {
1545
+ "Frauds": [
1546
+ {
1547
+ "length": 20,
1548
+ "start": 485
1549
+ },
1550
+ {
1551
+ "length": 20,
1552
+ "start": 591
1553
+ },
1554
+ {
1555
+ "length": 20,
1556
+ "start": 701
1557
+ },
1558
+ {
1559
+ "length": 20,
1560
+ "start": 816
1561
+ },
1562
+ {
1563
+ "length": 20,
1564
+ "start": 10358
1565
+ },
1566
+ {
1567
+ "length": 20,
1568
+ "start": 10611
1569
+ },
1570
+ {
1571
+ "length": 20,
1572
+ "start": 10957
1573
+ },
1574
+ {
1575
+ "length": 20,
1576
+ "start": 14559
1577
+ }
1578
+ ]
1579
+ },
1580
+ "contracts/bridge/Wallets.sol": {
1581
+ "Wallets": [
1582
+ {
1583
+ "length": 20,
1584
+ "start": 932
1585
+ },
1586
+ {
1587
+ "length": 20,
1588
+ "start": 1042
1589
+ },
1590
+ {
1591
+ "length": 20,
1592
+ "start": 1163
1593
+ },
1594
+ {
1595
+ "length": 20,
1596
+ "start": 1273
1597
+ },
1598
+ {
1599
+ "length": 20,
1600
+ "start": 4541
1601
+ },
1602
+ {
1603
+ "length": 20,
1604
+ "start": 4664
1605
+ },
1606
+ {
1607
+ "length": 20,
1608
+ "start": 9641
1609
+ },
1610
+ {
1611
+ "length": 20,
1612
+ "start": 11355
1613
+ },
1614
+ {
1615
+ "length": 20,
1616
+ "start": 11517
1617
+ },
1618
+ {
1619
+ "length": 20,
1620
+ "start": 14981
1621
+ },
1622
+ {
1623
+ "length": 20,
1624
+ "start": 15126
1625
+ },
1626
+ {
1627
+ "length": 20,
1628
+ "start": 15262
1629
+ }
1630
+ ]
1631
+ }
1632
+ },
1633
+ "deployedLinkReferences": {
1634
+ "contracts/bridge/BitcoinTx.sol": {
1635
+ "BitcoinTx": [
1636
+ {
1637
+ "length": 20,
1638
+ "start": 3046
1639
+ },
1640
+ {
1641
+ "length": 20,
1642
+ "start": 9836
1643
+ }
1644
+ ]
1645
+ },
1646
+ "contracts/bridge/Frauds.sol": {
1647
+ "Frauds": [
1648
+ {
1649
+ "length": 20,
1650
+ "start": 8639
1651
+ },
1652
+ {
1653
+ "length": 20,
1654
+ "start": 8892
1655
+ },
1656
+ {
1657
+ "length": 20,
1658
+ "start": 9238
1659
+ },
1660
+ {
1661
+ "length": 20,
1662
+ "start": 12840
1663
+ }
1664
+ ]
1665
+ },
1666
+ "contracts/bridge/Wallets.sol": {
1667
+ "Wallets": [
1668
+ {
1669
+ "length": 20,
1670
+ "start": 2822
1671
+ },
1672
+ {
1673
+ "length": 20,
1674
+ "start": 2945
1675
+ },
1676
+ {
1677
+ "length": 20,
1678
+ "start": 7922
1679
+ },
1680
+ {
1681
+ "length": 20,
1682
+ "start": 9636
1683
+ },
1684
+ {
1685
+ "length": 20,
1686
+ "start": 9798
1687
+ },
1688
+ {
1689
+ "length": 20,
1690
+ "start": 13262
1691
+ },
1692
+ {
1693
+ "length": 20,
1694
+ "start": 13407
1695
+ },
1696
+ {
1697
+ "length": 20,
1698
+ "start": 13543
1699
+ }
1700
+ ]
1701
+ }
1702
+ }
176
1703
  }