@mainsail/evm-contracts 0.0.1-evm.3 → 0.0.1-evm.5

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 (2) hide show
  1. package/distribution/abis/Consensus.json +182 -336
  2. package/package.json +1 -1
package/distribution/abis/Consensus.json CHANGED
@@ -1,42 +1,46 @@
1
1
  {
2
2
  "abi": [
3
- {
4
- "type": "constructor",
5
- "inputs": [],
6
- "stateMutability": "nonpayable"
7
- },
3
+ { "type": "constructor", "inputs": [], "stateMutability": "nonpayable" },
8
4
  {
9
5
  "type": "function",
10
6
  "name": "activeValidatorsCount",
11
7
  "inputs": [],
12
- "outputs": [
13
- {
14
- "name": "",
15
- "type": "uint256",
16
- "internalType": "uint256"
17
- }
18
- ],
8
+ "outputs": [{ "name": "", "type": "uint256", "internalType": "uint256" }],
19
9
  "stateMutability": "view"
20
10
  },
21
11
  {
22
12
  "type": "function",
23
13
  "name": "calculateTopValidators",
24
- "inputs": [
25
- {
26
- "name": "n",
27
- "type": "uint8",
28
- "internalType": "uint8"
29
- }
30
- ],
14
+ "inputs": [{ "name": "n", "type": "uint8", "internalType": "uint8" }],
31
15
  "outputs": [],
32
16
  "stateMutability": "nonpayable"
33
17
  },
34
18
  {
35
19
  "type": "function",
36
- "name": "deregisterValidator",
20
+ "name": "getAllValidators",
37
21
  "inputs": [],
38
- "outputs": [],
39
- "stateMutability": "nonpayable"
22
+ "outputs": [
23
+ {
24
+ "name": "",
25
+ "type": "tuple[]",
26
+ "internalType": "struct Validator[]",
27
+ "components": [
28
+ { "name": "addr", "type": "address", "internalType": "address" },
29
+ {
30
+ "name": "data",
31
+ "type": "tuple",
32
+ "internalType": "struct ValidatorData",
33
+ "components": [
34
+ { "name": "votersCount", "type": "uint256", "internalType": "uint256" },
35
+ { "name": "voteBalance", "type": "uint256", "internalType": "uint256" },
36
+ { "name": "isResigned", "type": "bool", "internalType": "bool" },
37
+ { "name": "bls12_381_public_key", "type": "bytes", "internalType": "bytes" }
38
+ ]
39
+ }
40
+ ]
41
+ }
42
+ ],
43
+ "stateMutability": "view"
40
44
  },
41
45
  {
42
46
  "type": "function",
@@ -48,31 +52,16 @@
48
52
  "type": "tuple[]",
49
53
  "internalType": "struct Validator[]",
50
54
  "components": [
51
- {
52
- "name": "addr",
53
- "type": "address",
54
- "internalType": "address"
55
- },
55
+ { "name": "addr", "type": "address", "internalType": "address" },
56
56
  {
57
57
  "name": "data",
58
58
  "type": "tuple",
59
59
  "internalType": "struct ValidatorData",
60
60
  "components": [
61
- {
62
- "name": "voteBalance",
63
- "type": "uint256",
64
- "internalType": "uint256"
65
- },
66
- {
67
- "name": "isResigned",
68
- "type": "bool",
69
- "internalType": "bool"
70
- },
71
- {
72
- "name": "bls12_381_public_key",
73
- "type": "bytes",
74
- "internalType": "bytes"
75
- }
61
+ { "name": "votersCount", "type": "uint256", "internalType": "uint256" },
62
+ { "name": "voteBalance", "type": "uint256", "internalType": "uint256" },
63
+ { "name": "isResigned", "type": "bool", "internalType": "bool" },
64
+ { "name": "bls12_381_public_key", "type": "bytes", "internalType": "bytes" }
76
65
  ]
77
66
  }
78
67
  ]
@@ -83,44 +72,23 @@
83
72
  {
84
73
  "type": "function",
85
74
  "name": "getValidator",
86
- "inputs": [
87
- {
88
- "name": "_addr",
89
- "type": "address",
90
- "internalType": "address"
91
- }
92
- ],
75
+ "inputs": [{ "name": "_addr", "type": "address", "internalType": "address" }],
93
76
  "outputs": [
94
77
  {
95
78
  "name": "",
96
79
  "type": "tuple",
97
80
  "internalType": "struct Validator",
98
81
  "components": [
99
- {
100
- "name": "addr",
101
- "type": "address",
102
- "internalType": "address"
103
- },
82
+ { "name": "addr", "type": "address", "internalType": "address" },
104
83
  {
105
84
  "name": "data",
106
85
  "type": "tuple",
107
86
  "internalType": "struct ValidatorData",
108
87
  "components": [
109
- {
110
- "name": "voteBalance",
111
- "type": "uint256",
112
- "internalType": "uint256"
113
- },
114
- {
115
- "name": "isResigned",
116
- "type": "bool",
117
- "internalType": "bool"
118
- },
119
- {
120
- "name": "bls12_381_public_key",
121
- "type": "bytes",
122
- "internalType": "bytes"
123
- }
88
+ { "name": "votersCount", "type": "uint256", "internalType": "uint256" },
89
+ { "name": "voteBalance", "type": "uint256", "internalType": "uint256" },
90
+ { "name": "isResigned", "type": "bool", "internalType": "bool" },
91
+ { "name": "bls12_381_public_key", "type": "bytes", "internalType": "bytes" }
124
92
  ]
125
93
  }
126
94
  ]
@@ -131,55 +99,33 @@
131
99
  {
132
100
  "type": "function",
133
101
  "name": "isValidatorRegistered",
134
- "inputs": [
135
- {
136
- "name": "addr",
137
- "type": "address",
138
- "internalType": "address"
139
- }
140
- ],
141
- "outputs": [
142
- {
143
- "name": "",
144
- "type": "bool",
145
- "internalType": "bool"
146
- }
147
- ],
102
+ "inputs": [{ "name": "addr", "type": "address", "internalType": "address" }],
103
+ "outputs": [{ "name": "", "type": "bool", "internalType": "bool" }],
148
104
  "stateMutability": "view"
149
105
  },
150
106
  {
151
107
  "type": "function",
152
- "name": "performValidatorResignations",
153
- "inputs": [],
108
+ "name": "registerValidator",
109
+ "inputs": [{ "name": "bls12_381_public_key", "type": "bytes", "internalType": "bytes" }],
154
110
  "outputs": [],
155
111
  "stateMutability": "nonpayable"
156
112
  },
157
113
  {
158
114
  "type": "function",
159
- "name": "registerValidator",
160
- "inputs": [
161
- {
162
- "name": "bls12_381_public_key",
163
- "type": "bytes",
164
- "internalType": "bytes"
165
- }
166
- ],
167
- "outputs": [],
168
- "stateMutability": "nonpayable"
115
+ "name": "registeredValidatorsCount",
116
+ "inputs": [],
117
+ "outputs": [{ "name": "", "type": "uint256", "internalType": "uint256" }],
118
+ "stateMutability": "view"
169
119
  },
120
+ { "type": "function", "name": "resignValidator", "inputs": [], "outputs": [], "stateMutability": "nonpayable" },
170
121
  {
171
122
  "type": "function",
172
- "name": "registeredValidatorsCount",
123
+ "name": "resignedValidatorsCount",
173
124
  "inputs": [],
174
- "outputs": [
175
- {
176
- "name": "",
177
- "type": "uint256",
178
- "internalType": "uint256"
179
- }
180
- ],
125
+ "outputs": [{ "name": "", "type": "uint256", "internalType": "uint256" }],
181
126
  "stateMutability": "view"
182
127
  },
128
+ { "type": "function", "name": "unvote", "inputs": [], "outputs": [], "stateMutability": "nonpayable" },
183
129
  {
184
130
  "type": "function",
185
131
  "name": "updateValidator",
@@ -189,31 +135,16 @@
189
135
  "type": "tuple",
190
136
  "internalType": "struct Validator",
191
137
  "components": [
192
- {
193
- "name": "addr",
194
- "type": "address",
195
- "internalType": "address"
196
- },
138
+ { "name": "addr", "type": "address", "internalType": "address" },
197
139
  {
198
140
  "name": "data",
199
141
  "type": "tuple",
200
142
  "internalType": "struct ValidatorData",
201
143
  "components": [
202
- {
203
- "name": "voteBalance",
204
- "type": "uint256",
205
- "internalType": "uint256"
206
- },
207
- {
208
- "name": "isResigned",
209
- "type": "bool",
210
- "internalType": "bool"
211
- },
212
- {
213
- "name": "bls12_381_public_key",
214
- "type": "bytes",
215
- "internalType": "bytes"
216
- }
144
+ { "name": "votersCount", "type": "uint256", "internalType": "uint256" },
145
+ { "name": "voteBalance", "type": "uint256", "internalType": "uint256" },
146
+ { "name": "isResigned", "type": "bool", "internalType": "bool" },
147
+ { "name": "bls12_381_public_key", "type": "bytes", "internalType": "bytes" }
217
148
  ]
218
149
  }
219
150
  ]
@@ -225,108 +156,113 @@
225
156
  {
226
157
  "type": "function",
227
158
  "name": "updateVoters",
228
- "inputs": [
229
- {
230
- "name": "voters",
231
- "type": "address[]",
232
- "internalType": "address[]"
233
- }
234
- ],
159
+ "inputs": [{ "name": "voters", "type": "address[]", "internalType": "address[]" }],
235
160
  "outputs": [],
236
161
  "stateMutability": "nonpayable"
237
162
  },
238
163
  {
239
164
  "type": "function",
240
165
  "name": "vote",
241
- "inputs": [
242
- {
243
- "name": "addr",
244
- "type": "address",
245
- "internalType": "address"
246
- }
247
- ],
166
+ "inputs": [{ "name": "addr", "type": "address", "internalType": "address" }],
248
167
  "outputs": [],
249
168
  "stateMutability": "nonpayable"
250
169
  },
170
+ {
171
+ "type": "event",
172
+ "name": "Unvoted",
173
+ "inputs": [
174
+ { "name": "voter", "type": "address", "indexed": false, "internalType": "address" },
175
+ { "name": "validator", "type": "address", "indexed": false, "internalType": "address" }
176
+ ],
177
+ "anonymous": false
178
+ },
179
+ {
180
+ "type": "event",
181
+ "name": "ValidatorRegistered",
182
+ "inputs": [
183
+ { "name": "addr", "type": "address", "indexed": false, "internalType": "address" },
184
+ { "name": "bls12_381_public_key", "type": "bytes", "indexed": false, "internalType": "bytes" }
185
+ ],
186
+ "anonymous": false
187
+ },
188
+ {
189
+ "type": "event",
190
+ "name": "ValidatorResigned",
191
+ "inputs": [{ "name": "addr", "type": "address", "indexed": false, "internalType": "address" }],
192
+ "anonymous": false
193
+ },
251
194
  {
252
195
  "type": "event",
253
196
  "name": "Voted",
254
197
  "inputs": [
255
- {
256
- "name": "voter",
257
- "type": "address",
258
- "indexed": false,
259
- "internalType": "address"
260
- },
261
- {
262
- "name": "validator",
263
- "type": "address",
264
- "indexed": false,
265
- "internalType": "address"
266
- }
198
+ { "name": "voter", "type": "address", "indexed": false, "internalType": "address" },
199
+ { "name": "validator", "type": "address", "indexed": false, "internalType": "address" }
267
200
  ],
268
201
  "anonymous": false
269
202
  }
270
203
  ],
271
204
  "bytecode": {
272
- "object": "0x60a06040525f5f555f6008553480156015575f5ffd5b50336080526080516121426100325f395f61072d01526121425ff3fe608060405234801561000f575f5ffd5b50600436106100b1575f3560e01c80636dd7d8ea1161006e5780636dd7d8ea146101245780637c1f669a14610137578063afeea1151461014a578063b5cfa68c1461015f578063d04a68c714610172578063f1bd0b37146101ad575f5ffd5b80630d2bd909146100b55780630f062c64146100cc5780631904bb2e146100d65780632bdf6d43146100f6578063602a9eee146101095780636a911ccf1461011c575b5f5ffd5b6009545b6040519081526020015b60405180910390f35b6100d46101b4565b005b6100e96100e4366004611afa565b61058a565b6040516100c39190611ba1565b6100d4610104366004611bb3565b6106dd565b6100d4610117366004611c24565b610723565b6100d46109a4565b6100d4610132366004611afa565b610aae565b6100d4610145366004611c82565b610c1f565b610152610cba565b6040516100c39190611cb9565b6100d461016d366004611d1c565b610e4d565b61019d610180366004611afa565b6001600160a01b03165f9081526002602052604090205460ff1690565b60405190151581526020016100c3565b5f546100b9565b600a545f9067ffffffffffffffff8111156101d1576101d1611d3c565b6040519080825280602002602001820160405280156101fa578160200160208202803683370190505b5090505f5b600a548110156103c0575f600a828154811061021d5761021d611d50565b5f9182526020808320909101546001600160a01b03168083526001918290526040909220908101549192509060ff1661029d5760405162461bcd60e51b815260206004820152601960248201527f56616c696461746f72206973206e6f742072657369676e65640000000000000060448201526064015b60405180910390fd5b5f816002016040516102af9190611d96565b6040519081900390205f8054919250806102c883611e1b565b90915550506001600160a01b0383165f908152600260208181526040808420805460ff19908116909155600192839052908420848155918201805490911690559190610316908301826119ee565b50505f818152600360205260408120805460ff191690555b60045461033d90600190611e30565b8510156103b057836001600160a01b03166004828154811061036157610361611d50565b5f918252602090912001546001600160a01b03160361039e578086868151811061038d5761038d611d50565b6020026020010181815250506103b0565b806103a881611e43565b91505061032e565b5050600190920191506101ff9050565b505f5b815181101561049e575f6103d8826001611e5b565b90505b8251811015610495578281815181106103f6576103f6611d50565b602002602001015183838151811061041057610410611d50565b6020026020010151101561048d5782818151811061043057610430611d50565b602002602001015183838151811061044a5761044a611d50565b602002602001015184848151811061046457610464611d50565b6020026020010185848151811061047d5761047d611d50565b6020908102919091010191909152525b6001016103db565b506001016103c3565b505f5b815181101561057b575f8282815181106104bd576104bd611d50565b60200260200101519050600460016004805490506104db9190611e30565b815481106104eb576104eb611d50565b5f91825260209091200154600480546001600160a01b03909216918390811061051657610516611d50565b905f5260205f20015f6101000a8154816001600160a01b0302191690836001600160a01b03160217905550600480548061055257610552611e6e565b5f8281526020902081015f1990810180546001600160a01b0319169055019055506001016104a1565b50610587600a5f611a25565b50565b610592611a40565b6001600160a01b0382165f9081526002602052604090205460ff166105f95760405162461bcd60e51b815260206004820152601c60248201527f56616c696461746f724461746120646f65736e277420657869737473000000006044820152606401610294565b6040805180820182526001600160a01b0384168082525f90815260016020818152918490208451606081018652815481529181015460ff16151582840152600281018054949593860194929391929184019161065490611d64565b80601f016020809104026020016040519081016040528092919081815260200182805461068090611d64565b80156106cb5780601f106106a2576101008083540402835291602001916106cb565b820191905f5260205f20905b8154815290600101906020018083116106ae57829003601f168201915b50505091909252505050905292915050565b5f5b8181101561071e576107168383838181106106fc576106fc611d50565b90506020020160208101906107119190611afa565b6111da565b6001016106df565b505050565b6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016330361078c5760405162461bcd60e51b815260206004820152600e60248201526d24b73b30b634b21031b0b63632b960911b6044820152606401610294565b335f9081526002602052604090205460ff16156107f75760405162461bcd60e51b815260206004820152602360248201527f56616c696461746f724461746120697320616c726561647920726567697374656044820152621c995960ea1b6064820152608401610294565b5f8282604051610808929190611e82565b60408051918290039091205f8181526003602052919091205490915060ff16156108805760405162461bcd60e51b815260206004820152602360248201527f424c5331322d333831206b657920697320616c726561647920726567697374656044820152621c995960ea1b6064820152608401610294565b61088a83836112b4565b5f60405180606001604052805f81526020015f1515815260200185858080601f0160208091040260200160405190810160405280939291908181526020018383808284375f92018290525093909452505080549293509050806108ec83611e43565b9091555050335f9081526002602081815260408084208054600160ff199182168117909255818452948290208651815592860151908301805490951690151517909355918301518392918201906109439082611edc565b5050505f91825250600360205260408120805460ff191660019081179091556004805491820181559091527f8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b0180546001600160a01b031916331790555050565b335f9081526002602052604090205460ff166109fb5760405162461bcd60e51b815260206004820152601660248201527521b0b63632b9103737ba1030903b30b634b230ba37b960511b6044820152606401610294565b335f9081526001602081905260409091209081015460ff1615610a605760405162461bcd60e51b815260206004820152601d60248201527f56616c696461746f7220697320616c72656164792072657369676e65640000006044820152606401610294565b6001908101805460ff191682179055600a805491820181555f527fc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a80180546001600160a01b03191633179055565b6001600160a01b0381165f9081526002602052604090205460ff16610b155760405162461bcd60e51b815260206004820152601760248201527f6d75737420766f746520666f722076616c696461746f720000000000000000006044820152606401610294565b335f908152600560205260409020546001600160a01b031615610b705760405162461bcd60e51b81526020600482015260136024820152721513d113ce88185b1c9958591e481d9bdd1959606a1b6044820152606401610294565b6040805180820182526001600160a01b0383811680835233803160208086019182525f83815260058252878120965187546001600160a01b0319169616959095178655905160019586015591835292905291822080549131929091610bd6908490611e5b565b9091555050604080513381526001600160a01b03831660208201527fce0c7a2a940807f7dc2ce7a615c2532e915e6c0ac9a08bc4ed9d515a710a53e2910160405180910390a150565b610c2f6101806020830183611afa565b610c7b5760405162461bcd60e51b815260206004820152601c60248201527f56616c696461746f724461746120646f65736e277420657869737473000000006044820152606401610294565b610c886020820182611f97565b60015f610c986020850185611afa565b6001600160a01b0316815260208101919091526040015f2061071e828261206f565b6009546060905f9067ffffffffffffffff811115610cda57610cda611d3c565b604051908082528060200260200182016040528015610d1357816020015b610d00611a40565b815260200190600190039081610cf85790505b5090505f5b600954811015610e47575f60098281548110610d3657610d36611d50565b5f9182526020808320909101546001600160a01b03168083526001808352604093849020845180860186528381528551606081018752825481529282015460ff161515838601526002820180549497509195909485019386929184019190610d9d90611d64565b80601f0160208091040260200160405190810160405280929190818152602001828054610dc990611d64565b8015610e145780601f10610deb57610100808354040283529160200191610e14565b820191905f5260205f20905b815481529060010190602001808311610df757829003601f168201915b505050505081525050815250848481518110610e3257610e32611d50565b60209081029190910101525050600101610d18565b50919050565b610e55611316565b610e5d611465565b5f610e718260ff165f6004805490506114b6565b90508060ff165f03610e81575050565b60045f81548110610e9457610e94611d50565b5f91825260209091200154600680546001600160a01b0319166001600160a01b03909216919091179055600160088190555b6004548110156110fd575f60048281548110610ee457610ee4611d50565b5f918252602090912001546008546001600160a01b03909116915060ff84161115610f1957610f138184611547565b506110f5565b6001600160a01b038082165f818152600160208181526040808420600654909616845292839020835180850185529485528351606081018552865481529286015460ff1615158383015260028601805491956110e2959094938501939288929184019190610f8690611d64565b80601f0160208091040260200160405190810160405280929190818152602001828054610fb290611d64565b8015610ffd5780601f10610fd457610100808354040283529160200191610ffd565b820191905f5260205f20905b815481529060010190602001808311610fe057829003601f168201915b5050509190925250505090526040805180820182526006546001600160a01b03168152815160608101835285548152600186015460ff16151560208281019190915260028701805493949185019388928401919061105a90611d64565b80601f016020809104026020016040519081016040528092919081815260200182805461108690611d64565b80156110d15780601f106110a8576101008083540402835291602001916110d1565b820191905f5260205f20905b8154815290600101906020018083116110b457829003601f168201915b5050505050815250508152506118fe565b156110f1576110f18386611547565b5050505b600101610ec6565b506006546001600160a01b031661111560095f611a25565b8160ff1667ffffffffffffffff81111561113157611131611d3c565b60405190808252806020026020018201604052801561115a578160200160208202803683370190505b50805161116f91600991602090910190611a83565b505f5b8260ff168110156111d457816009828154811061119157611191611d50565b5f91825260208083209190910180546001600160a01b0319166001600160a01b039485161790559382168152600790935260409092205490911690600101611172565b50505050565b6001600160a01b038082165f90815260056020526040902080549091166111ff575050565b60018101546001600160a01b0383163181101561125d5761122a816001600160a01b03851631611e30565b82546001600160a01b03165f9081526001602052604081208054909190611252908490611e5b565b9091555061129f9050565b6112716001600160a01b0384163182611e30565b82546001600160a01b03165f9081526001602052604081208054909190611299908490611e30565b90915550505b506001600160a01b0390911631600190910155565b603081146113125760405162461bcd60e51b815260206004820152602560248201527f424c5331322d333831207075626c69634b6579206c656e67746820697320696e6044820152641d985b1a5960da1b6064820152608401610294565b5050565b6004545f611325600183611e30565b90505b8015611312575f61133a826001611e5b565b60408051426020820152449181019190915260608101849052608001604051602081830303815290604052805190602001205f1c61137891906120ed565b90505f6004838154811061138e5761138e611d50565b5f91825260209091200154600480546001600160a01b03909216925090839081106113bb576113bb611d50565b5f91825260209091200154600480546001600160a01b0390921691859081106113e6576113e6611d50565b905f5260205f20015f6101000a8154816001600160a01b0302191690836001600160a01b03160217905550806004838154811061142557611425611d50565b905f5260205f20015f6101000a8154816001600160a01b0302191690836001600160a01b031602179055505050808061145d90611e1b565b915050611328565b6006546001600160a01b03165b6001600160a01b038116156114af576001600160a01b039081165f90815260076020526040902080546001600160a01b0319811690915516611472565b505f600855565b5f8183111561151f5760405162461bcd60e51b815260206004820152602f60248201527f4d696e696d756d2073686f756c64206265206c657373207468616e206f72206560448201526e7175616c20746f206d6178696d756d60881b6064820152608401610294565b8284101561152e575081611540565b8184111561153d575080611540565b50825b9392505050565b6001600160a01b0382165f9081526001602081815260408084208151606081018352815481529381015460ff161515928401929092526002820180549184019161159090611d64565b80601f01602080910402602001604051908101604052809291908181526020018280546115bc90611d64565b80156116075780601f106115de57610100808354040283529160200191611607565b820191905f5260205f20905b8154815290600101906020018083116115ea57829003601f168201915b5050509190925250506040805180820182526006546001600160a01b03168082525f90815260016020818152918490208451606081018652815481529181015460ff1615158284015260028101805497985061171c979496509286019491939092918401919061167690611d64565b80601f01602080910402602001604051908101604052809291908181526020018280546116a290611d64565b80156116ed5780601f106116c4576101008083540402835291602001916116ed565b820191905f5260205f20905b8154815290600101906020018083116116d057829003601f168201915b5050505050815250508152506040518060400160405280866001600160a01b03168152602001848152506118fe565b1561172f5761172a8361193f565b61189f565b6006546001600160a01b039081165f81815260076020526040902054909116905b6001600160a01b03821661176d576117688186611990565b61189c565b6040805180820182526001600160a01b0384168082525f90815260016020818152918490208451606081018652815481529181015460ff1615158284015260028101805461186c9694860194840191906117c690611d64565b80601f01602080910402602001604051908101604052809291908181526020018280546117f290611d64565b801561183d5780601f106118145761010080835404028352916020019161183d565b820191905f5260205f20905b81548152906001019060200180831161182057829003601f168201915b5050505050815250508152506040518060400160405280886001600160a01b03168152602001868152506118fe565b1561187b576117688186611990565b506001600160a01b038082165f908152600760205260409020541690611750565b50505b8160ff16600854111561071e57600680546001600160a01b039081165f90815260076020526040812080546001600160a01b031980821690925584549316921682179092556008805491926118f383611e1b565b919050555050505050565b6020808201515190830151515f91900361192a5750805182516001600160a01b03918216911611611939565b50602080820151519083015151115b92915050565b600680546001600160a01b038381165f8181526007602052604081208054939094166001600160a01b031993841617909355835490911617909155600880549161198883611e43565b919050555050565b6001600160a01b038281165f8181526007602052604080822080548686168085529284208054919096166001600160a01b0319918216179095559282528254909316909217905560088054916119e583611e43565b91905055505050565b5080546119fa90611d64565b5f825580601f10611a09575050565b601f0160209004905f5260205f20908101906105879190611ae6565b5080545f8255905f5260205f20908101906105879190611ae6565b60405180604001604052805f6001600160a01b03168152602001611a7e60405180606001604052805f81526020015f15158152602001606081525090565b905290565b828054828255905f5260205f20908101928215611ad6579160200282015b82811115611ad657825182546001600160a01b0319166001600160a01b03909116178255602090920191600190910190611aa1565b50611ae2929150611ae6565b5090565b5b80821115611ae2575f8155600101611ae7565b5f60208284031215611b0a575f5ffd5b81356001600160a01b0381168114611540575f5ffd5b60018060a01b0381511682525f60208201516040602085015280516040850152602081015115156060850152604081015190506060608085015280518060a08601525f5b81811015611b8157602081840181015160c0888401015201611b64565b505f60c0828701015260c0601f19601f8301168601019250505092915050565b602081525f6115406020830184611b20565b5f5f60208385031215611bc4575f5ffd5b823567ffffffffffffffff811115611bda575f5ffd5b8301601f81018513611bea575f5ffd5b803567ffffffffffffffff811115611c00575f5ffd5b8560208260051b8401011115611c14575f5ffd5b6020919091019590945092505050565b5f5f60208385031215611c35575f5ffd5b823567ffffffffffffffff811115611c4b575f5ffd5b8301601f81018513611c5b575f5ffd5b803567ffffffffffffffff811115611c71575f5ffd5b856020828401011115611c14575f5ffd5b5f60208284031215611c92575f5ffd5b813567ffffffffffffffff811115611ca8575f5ffd5b820160408185031215611540575f5ffd5b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b82811015611d1057603f19878603018452611cfb858351611b20565b94506020938401939190910190600101611cdf565b50929695505050505050565b5f60208284031215611d2c575f5ffd5b813560ff81168114611540575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b634e487b7160e01b5f52603260045260245ffd5b600181811c90821680611d7857607f821691505b602082108103610e4757634e487b7160e01b5f52602260045260245ffd5b5f5f8354611da381611d64565b600182168015611dba5760018114611dcf57611dfc565b60ff1983168652811515820286019350611dfc565b865f5260205f205f5b83811015611df457815488820152600190910190602001611dd8565b505081860193505b509195945050505050565b634e487b7160e01b5f52601160045260245ffd5b5f81611e2957611e29611e07565b505f190190565b8181038181111561193957611939611e07565b5f60018201611e5457611e54611e07565b5060010190565b8082018082111561193957611939611e07565b634e487b7160e01b5f52603160045260245ffd5b818382375f9101908152919050565b601f82111561071e57805f5260205f20601f840160051c81016020851015611eb65750805b601f840160051c820191505b81811015611ed5575f8155600101611ec2565b5050505050565b815167ffffffffffffffff811115611ef657611ef6611d3c565b611f0a81611f048454611d64565b84611e91565b6020601f821160018114611f3c575f8315611f255750848201515b5f19600385901b1c1916600184901b178455611ed5565b5f84815260208120601f198516915b82811015611f6b5787850151825560209485019460019092019101611f4b565b5084821015611f8857868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b5f8235605e19833603018112611fab575f5ffd5b9190910192915050565b67ffffffffffffffff831115611fcd57611fcd611d3c565b611fe183611fdb8354611d64565b83611e91565b5f601f841160018114612012575f8515611ffb5750838201355b5f19600387901b1c1916600186901b178355611ed5565b5f83815260208120601f198716915b828110156120415786850135825560209485019460019092019101612021565b508682101561205d575f1960f88860031b161c19848701351681555b505060018560011b0183555050505050565b8135815560018101602083013580151580821461208a575f5ffd5b60ff19835416915060ff8116821783555050506040820135601e198336030181126120b3575f5ffd5b8201803567ffffffffffffffff8111156120cb575f5ffd5b6020820191508036038213156120df575f5ffd5b6111d4818360028601611fb5565b5f8261210757634e487b7160e01b5f52601260045260245ffd5b50069056fea26469706673582212208e47e43b8cf06d166611fee9a075d6e046f76909aacf1346ca470edff6bf40c964736f6c634300081b0033",
273
- "sourceMap": "1195:9133:23:-:0;;;1290:1;1245:46;;1680:1;1642:39;;1771:41;;;;;;;;;-1:-1:-1;1798:10:23;1789:19;;1195:9133;;;;;;;;;;;;",
205
+ "object": "0x60a06040525f5f555f6001555f6009553480156019575f5ffd5b50336080526080516121976100365f395f6104d001526121975ff3fe608060405234801561000f575f5ffd5b50600436106100e5575f3560e01c80636dd7d8ea11610088578063b85f5da211610063578063b85f5da2146101a6578063d04a68c7146101ae578063f1bd0b37146101e9578063f3513a37146101f0575f5ffd5b80636dd7d8ea1461016b578063afeea1151461017e578063b5cfa68c14610193575f5ffd5b80632bdf6d43116100c35780632bdf6d43146101285780633174b6891461013d578063602a9eee146101455780636252587914610158575f5ffd5b80630777cbef146100e95780630d2bd909146101005780631904bb2e14610108575b5f5ffd5b6001545b6040519081526020015b60405180910390f35b600a546100ed565b61011b610116366004611b81565b6101f8565b6040516100f79190611c32565b61013b610136366004611c44565b61035d565b005b61013b6103a3565b61013b610153366004611cb5565b6104c6565b61013b610166366004611d13565b610792565b61013b610179366004611b81565b61082d565b610186610a25565b6040516100f79190611d4a565b61013b6101a1366004611dad565b610bc3565b61013b610f9d565b6101d96101bc366004611b81565b6001600160a01b03165f9081526003602052604090205460ff1690565b60405190151581526020016100f7565b5f546100ed565b6101866110be565b610200611aa3565b6001600160a01b0382165f9081526003602052604090205460ff1661026c5760405162461bcd60e51b815260206004820152601c60248201527f56616c696461746f724461746120646f65736e2774206578697374730000000060448201526064015b60405180910390fd5b6040805180820182526001600160a01b0384168082525f90815260026020818152918490208451608081018652815481526001820154818501529181015460ff161515948201949094526003840180549394928501939192916060840191906102d490611dcd565b80601f016020809104026020016040519081016040528092919081815260200182805461030090611dcd565b801561034b5780601f106103225761010080835404028352916020019161034b565b820191905f5260205f20905b81548152906001019060200180831161032e57829003601f168201915b50505091909252505050905292915050565b5f5b8181101561039e5761039683838381811061037c5761037c611dff565b90506020020160208101906103919190611b81565b611256565b60010161035f565b505050565b335f90815260066020526040902080546001600160a01b03166103fa5760405162461bcd60e51b815260206004820152600f60248201526e1513d113ce881b9bdd081d9bdd1959608a1b6044820152606401610263565b8054604080513381526001600160a01b0390921660208301527f6572af8bf9a0a86efb88dcc30011626a15c9c4603503aa4466a3f87a1867deef910160405180910390a160018082015482546001600160a01b03165f908152600260205260408120909201805491929091610470908490611e27565b909155505080546001600160a01b03165f90815260026020526040812080546001929061049e908490611e27565b9091555050335f90815260066020526040812080546001600160a01b03191681556001015550565b6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016330361052f5760405162461bcd60e51b815260206004820152600e60248201526d24b73b30b634b21031b0b63632b960911b6044820152606401610263565b335f9081526003602052604090205460ff161561058e5760405162461bcd60e51b815260206004820152601f60248201527f56616c696461746f7220697320616c72656164792072656769737465726564006044820152606401610263565b5f828260405161059f929190611e3a565b60408051918290039091205f8181526004602052919091205490915060ff16156106175760405162461bcd60e51b815260206004820152602360248201527f424c5331322d333831206b657920697320616c726561647920726567697374656044820152621c995960ea1b6064820152608401610263565b6106218383611336565b5f60405180608001604052805f81526020015f81526020015f1515815260200185858080601f0160208091040260200160405190810160405280939291908181526020018383808284375f920182905250939094525050805492935090508061068983611e49565b9091555050335f9081526003602081815260408084208054600160ff1991821681179092556002808552958390208751815593870151918401919091559085015193820180549091169315159390931790925560608301518392918201906106f19082611ec0565b5050505f82815260046020526040808220805460ff191660019081179091556005805491820181559092527f036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db090910180546001600160a01b0319163390811790915590517f61809fa303a3a57f4d70552f533f3e0b003173d424590cd4bb22a2afe000990c916107849187908790611f7b565b60405180910390a150505050565b6107a26101bc6020830183611b81565b6107ee5760405162461bcd60e51b815260206004820152601c60248201527f56616c696461746f724461746120646f65736e277420657869737473000000006044820152606401610263565b6107fb6020820182611fba565b60025f61080b6020850185611b81565b6001600160a01b0316815260208101919091526040015f2061039e8282612092565b6001600160a01b0381165f9081526003602052604090205460ff166108945760405162461bcd60e51b815260206004820152601760248201527f4d75737420766f746520666f722076616c696461746f720000000000000000006044820152606401610263565b335f908152600660205260409020546001600160a01b0316156108e95760405162461bcd60e51b815260206004820152600d60248201526c105b1c9958591e481d9bdd1959609a1b6044820152606401610263565b6001600160a01b0381165f9081526002602081905260409091209081015460ff16156109625760405162461bcd60e51b815260206004820152602260248201527f4d75737420766f746520666f7220756e72657369676e65642076616c6964617460448201526137b960f11b6064820152608401610263565b6040805180820182526001600160a01b03848116825233803160208085019182525f8381526006909152948520935184546001600160a01b03191693169290921783559051600192830155908301805491319290916109c290849061211a565b9091555050805460019082905f906109db90849061211a565b9091555050604080513381526001600160a01b03841660208201527fce0c7a2a940807f7dc2ce7a615c2532e915e6c0ac9a08bc4ed9d515a710a53e2910160405180910390a15050565b600a546060905f9067ffffffffffffffff811115610a4557610a45611e61565b604051908082528060200260200182016040528015610a7e57816020015b610a6b611aa3565b815260200190600190039081610a635790505b5090505f5b600a54811015610bbd575f600a8281548110610aa157610aa1611dff565b5f9182526020808320909101546001600160a01b03168083526002808352604093849020845180860186528381528551608081018752825481526001830154818701529282015460ff1615159583019590955260038101805493965090949384019285916060840191610b1390611dcd565b80601f0160208091040260200160405190810160405280929190818152602001828054610b3f90611dcd565b8015610b8a5780601f10610b6157610100808354040283529160200191610b8a565b820191905f5260205f20905b815481529060010190602001808311610b6d57829003601f168201915b505050505081525050815250848481518110610ba857610ba8611dff565b60209081029190910101525050600101610a83565b50919050565b610bcb611398565b610bd36114e7565b600780546001600160a01b03191690556001545f80549091610c059160ff8516918491610c009190611e27565b611538565b90508060ff165f03610c15575050565b5f5b600554811015610ec0575f60058281548110610c3557610c35611dff565b5f9182526020808320909101546001600160a01b03168083526002918290526040909220908101549192509060ff1615610c70575050610eb8565b6007546001600160a01b0316610cab5750600780546001600160a01b0319166001600160a01b03929092169190911790556001600955610eb8565b8360ff166009541015610cc957610cc282856115c9565b5050610eb8565b6007546001600160a01b039081165f908152600260208181526040928390208351808501855294871685528351608081018552865481526001870154818401529286015460ff161515938301939093526003850180549394610ea594909392840192918791606084019190610d3d90611dcd565b80601f0160208091040260200160405190810160405280929190818152602001828054610d6990611dcd565b8015610db45780601f10610d8b57610100808354040283529160200191610db4565b820191905f5260205f20905b815481529060010190602001808311610d9757829003601f168201915b5050509190925250505090526040805180820182526007546001600160a01b031681528151608081018352855481526001860154602082810191909152600287015460ff16151593820193909352600386018054929384019287916060840191610e1d90611dcd565b80601f0160208091040260200160405190810160405280929190818152602001828054610e4990611dcd565b8015610e945780601f10610e6b57610100808354040283529160200191610e94565b820191905f5260205f20905b815481529060010190602001808311610e7757829003601f168201915b5050505050815250508152506119a8565b15610eb457610eb483866115c9565b5050505b600101610c17565b506007546001600160a01b0316610ed8600a5f611aec565b8160ff1667ffffffffffffffff811115610ef457610ef4611e61565b604051908082528060200260200182016040528015610f1d578160200160208202803683370190505b508051610f3291600a91602090910190611b0a565b505f5b8260ff16811015610f975781600a8281548110610f5457610f54611dff565b5f91825260208083209190910180546001600160a01b0319166001600160a01b039485161790559382168152600890935260409092205490911690600101610f35565b50505050565b335f9081526003602052604090205460ff16610ffb5760405162461bcd60e51b815260206004820152601960248201527f43616c6c6572206973206e6f7420612076616c696461746f72000000000000006044820152606401610263565b335f9081526002602081905260409091209081015460ff16156110605760405162461bcd60e51b815260206004820152601d60248201527f56616c696461746f7220697320616c72656164792072657369676e65640000006044820152606401610263565b60028101805460ff19166001908117909155805481905f9061108390839061211a565b90915550506040513381527f24250fc1ec78a1405ddd4cc8b75964858af228d05faa8d4bc1302966d8a541179060200160405180910390a150565b6005546060905f9067ffffffffffffffff8111156110de576110de611e61565b60405190808252806020026020018201604052801561111757816020015b611104611aa3565b8152602001906001900390816110fc5790505b5090505f5b600554811015610bbd575f6005828154811061113a5761113a611dff565b5f9182526020808320909101546001600160a01b03168083526002808352604093849020845180860186528381528551608081018752825481526001830154818701529282015460ff16151595830195909552600381018054939650909493840192859160608401916111ac90611dcd565b80601f01602080910402602001604051908101604052809291908181526020018280546111d890611dcd565b80156112235780601f106111fa57610100808354040283529160200191611223565b820191905f5260205f20905b81548152906001019060200180831161120657829003601f168201915b50505050508152505081525084848151811061124157611241611dff565b6020908102919091010152505060010161111c565b6001600160a01b038082165f908152600660205260409020805490911661127b575050565b60018101546001600160a01b038316318110156112dc576112a6816001600160a01b03851631611e27565b82546001600160a01b03165f90815260026020526040812060010180549091906112d190849061211a565b909155506113219050565b6112f06001600160a01b0384163182611e27565b82546001600160a01b03165f908152600260205260408120600101805490919061131b908490611e27565b90915550505b506001600160a01b0390911631600190910155565b603081146113945760405162461bcd60e51b815260206004820152602560248201527f424c5331322d333831207075626c69634b6579206c656e67746820697320696e6044820152641d985b1a5960da1b6064820152608401610263565b5050565b6005545f6113a7600183611e27565b90505b8015611394575f6113bc82600161211a565b60408051426020820152449181019190915260608101849052608001604051602081830303815290604052805190602001205f1c6113fa919061212d565b90505f6005838154811061141057611410611dff565b5f91825260209091200154600580546001600160a01b039092169250908390811061143d5761143d611dff565b5f91825260209091200154600580546001600160a01b03909216918590811061146857611468611dff565b905f5260205f20015f6101000a8154816001600160a01b0302191690836001600160a01b0316021790555080600583815481106114a7576114a7611dff565b905f5260205f20015f6101000a8154816001600160a01b0302191690836001600160a01b03160217905550505080806114df9061214c565b9150506113aa565b6007546001600160a01b03165b6001600160a01b03811615611531576001600160a01b039081165f90815260086020526040902080546001600160a01b03198116909155166114f4565b505f600955565b5f818311156115a15760405162461bcd60e51b815260206004820152602f60248201527f4d696e696d756d2073686f756c64206265206c657373207468616e206f72206560448201526e7175616c20746f206d6178696d756d60881b6064820152608401610263565b828410156115b05750816115c2565b818411156115bf5750806115c2565b50825b9392505050565b6001600160a01b0382165f9081526002602081815260408084208151608081018352815481526001820154938101939093529283015460ff1615159082015260038201805491929160608401919061162090611dcd565b80601f016020809104026020016040519081016040528092919081815260200182805461164c90611dcd565b80156116975780601f1061166e57610100808354040283529160200191611697565b820191905f5260205f20905b81548152906001019060200180831161167a57829003601f168201915b5050509190925250506040805180820182526007546001600160a01b03168082525f90815260026020818152918490208451608081018652815481526001820154818501529181015460ff161515948201949094526003840180549697506117b8969395509185019390929091606084019161171290611dcd565b80601f016020809104026020016040519081016040528092919081815260200182805461173e90611dcd565b80156117895780601f1061176057610100808354040283529160200191611789565b820191905f5260205f20905b81548152906001019060200180831161176c57829003601f168201915b5050505050815250508152506040518060400160405280866001600160a01b03168152602001848152506119a8565b156117cb576117c6836119f4565b611949565b6007546001600160a01b039081165f81815260086020526040902054909116905b6001600160a01b038216611809576118048186611a45565b611946565b6040805180820182526001600160a01b0384168082525f90815260026020818152918490208451608081018652815481526001820154818501529181015460ff16151594820194909452600384018054611916959385019391606084019161187090611dcd565b80601f016020809104026020016040519081016040528092919081815260200182805461189c90611dcd565b80156118e75780601f106118be576101008083540402835291602001916118e7565b820191905f5260205f20905b8154815290600101906020018083116118ca57829003601f168201915b5050505050815250508152506040518060400160405280886001600160a01b03168152602001868152506119a8565b15611925576118048186611a45565b506001600160a01b038082165f9081526008602052604090205416906117ec565b50505b8160ff16600954111561039e57600780546001600160a01b039081165f90815260086020526040812080546001600160a01b0319808216909255845493169216821790925560098054919261199d8361214c565b919050555050505050565b5f816020015160200151836020015160200151036119d85750805182516001600160a01b039182169116116119ee565b8160200151602001518360200151602001511190505b92915050565b600780546001600160a01b038381165f8181526008602052604081208054939094166001600160a01b0319938416179093558354909116179091556009805491611a3d83611e49565b919050555050565b6001600160a01b038281165f8181526008602052604080822080548686168085529284208054919096166001600160a01b031991821617909555928252825490931690921790556009805491611a9a83611e49565b91905055505050565b60405180604001604052805f6001600160a01b03168152602001611ae760405180608001604052805f81526020015f81526020015f15158152602001606081525090565b905290565b5080545f8255905f5260205f2090810190611b079190611b6d565b50565b828054828255905f5260205f20908101928215611b5d579160200282015b82811115611b5d57825182546001600160a01b0319166001600160a01b03909116178255602090920191600190910190611b28565b50611b69929150611b6d565b5090565b5b80821115611b69575f8155600101611b6e565b5f60208284031215611b91575f5ffd5b81356001600160a01b03811681146115c2575f5ffd5b60018060a01b0381511682525f602082015160406020850152805160408501526020810151606085015260408101511515608085015260608101519050608060a085015280518060c08601525f5b81811015611c1257602081840181015160e0888401015201611bf5565b505f60e0828701015260e0601f19601f8301168601019250505092915050565b602081525f6115c26020830184611ba7565b5f5f60208385031215611c55575f5ffd5b823567ffffffffffffffff811115611c6b575f5ffd5b8301601f81018513611c7b575f5ffd5b803567ffffffffffffffff811115611c91575f5ffd5b8560208260051b8401011115611ca5575f5ffd5b6020919091019590945092505050565b5f5f60208385031215611cc6575f5ffd5b823567ffffffffffffffff811115611cdc575f5ffd5b8301601f81018513611cec575f5ffd5b803567ffffffffffffffff811115611d02575f5ffd5b856020828401011115611ca5575f5ffd5b5f60208284031215611d23575f5ffd5b813567ffffffffffffffff811115611d39575f5ffd5b8201604081850312156115c2575f5ffd5b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b82811015611da157603f19878603018452611d8c858351611ba7565b94506020938401939190910190600101611d70565b50929695505050505050565b5f60208284031215611dbd575f5ffd5b813560ff811681146115c2575f5ffd5b600181811c90821680611de157607f821691505b602082108103610bbd57634e487b7160e01b5f52602260045260245ffd5b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b818103818111156119ee576119ee611e13565b818382375f9101908152919050565b5f60018201611e5a57611e5a611e13565b5060010190565b634e487b7160e01b5f52604160045260245ffd5b601f82111561039e57805f5260205f20601f840160051c81016020851015611e9a5750805b601f840160051c820191505b81811015611eb9575f8155600101611ea6565b5050505050565b815167ffffffffffffffff811115611eda57611eda611e61565b611eee81611ee88454611dcd565b84611e75565b6020601f821160018114611f20575f8315611f095750848201515b5f19600385901b1c1916600184901b178455611eb9565b5f84815260208120601f198516915b82811015611f4f5787850151825560209485019460019092019101611f2f565b5084821015611f6c57868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b6001600160a01b03841681526040602082018190528101829052818360608301375f818301606090810191909152601f909201601f1916010192915050565b5f8235607e19833603018112611fce575f5ffd5b9190910192915050565b67ffffffffffffffff831115611ff057611ff0611e61565b61200483611ffe8354611dcd565b83611e75565b5f601f841160018114612035575f851561201e5750838201355b5f19600387901b1c1916600186901b178355611eb9565b5f83815260208120601f198716915b828110156120645786850135825560209485019460019092019101612044565b5086821015612080575f1960f88860031b161c19848701351681555b505060018560011b0183555050505050565b81358155602082013560018201556002810160408301358015158082146120b7575f5ffd5b60ff19835416915060ff8116821783555050506060820135601e198336030181126120e0575f5ffd5b8201803567ffffffffffffffff8111156120f8575f5ffd5b60208201915080360382131561210c575f5ffd5b610f97818360038601611fd8565b808201808211156119ee576119ee611e13565b5f8261214757634e487b7160e01b5f52601260045260245ffd5b500690565b5f8161215a5761215a611e13565b505f19019056fea26469706673582212208483eac18c17b7b489b2525c30682bde046eb73b97e4083f9685acc5f05b145b64736f6c634300081b0033",
206
+ "sourceMap": "1326:8925:23:-:0;;;1421:1;1376:46;;1468:1;1425:44;;1858:1;1820:39;;1908:41;;;;;;;;;-1:-1:-1;1935:10:23;1926:19;;1326:8925;;;;;;;;;;;;",
274
207
  "linkReferences": {}
275
208
  },
276
209
  "deployedBytecode": {
277
- "object": "0x608060405234801561000f575f5ffd5b50600436106100b1575f3560e01c80636dd7d8ea1161006e5780636dd7d8ea146101245780637c1f669a14610137578063afeea1151461014a578063b5cfa68c1461015f578063d04a68c714610172578063f1bd0b37146101ad575f5ffd5b80630d2bd909146100b55780630f062c64146100cc5780631904bb2e146100d65780632bdf6d43146100f6578063602a9eee146101095780636a911ccf1461011c575b5f5ffd5b6009545b6040519081526020015b60405180910390f35b6100d46101b4565b005b6100e96100e4366004611afa565b61058a565b6040516100c39190611ba1565b6100d4610104366004611bb3565b6106dd565b6100d4610117366004611c24565b610723565b6100d46109a4565b6100d4610132366004611afa565b610aae565b6100d4610145366004611c82565b610c1f565b610152610cba565b6040516100c39190611cb9565b6100d461016d366004611d1c565b610e4d565b61019d610180366004611afa565b6001600160a01b03165f9081526002602052604090205460ff1690565b60405190151581526020016100c3565b5f546100b9565b600a545f9067ffffffffffffffff8111156101d1576101d1611d3c565b6040519080825280602002602001820160405280156101fa578160200160208202803683370190505b5090505f5b600a548110156103c0575f600a828154811061021d5761021d611d50565b5f9182526020808320909101546001600160a01b03168083526001918290526040909220908101549192509060ff1661029d5760405162461bcd60e51b815260206004820152601960248201527f56616c696461746f72206973206e6f742072657369676e65640000000000000060448201526064015b60405180910390fd5b5f816002016040516102af9190611d96565b6040519081900390205f8054919250806102c883611e1b565b90915550506001600160a01b0383165f908152600260208181526040808420805460ff19908116909155600192839052908420848155918201805490911690559190610316908301826119ee565b50505f818152600360205260408120805460ff191690555b60045461033d90600190611e30565b8510156103b057836001600160a01b03166004828154811061036157610361611d50565b5f918252602090912001546001600160a01b03160361039e578086868151811061038d5761038d611d50565b6020026020010181815250506103b0565b806103a881611e43565b91505061032e565b5050600190920191506101ff9050565b505f5b815181101561049e575f6103d8826001611e5b565b90505b8251811015610495578281815181106103f6576103f6611d50565b602002602001015183838151811061041057610410611d50565b6020026020010151101561048d5782818151811061043057610430611d50565b602002602001015183838151811061044a5761044a611d50565b602002602001015184848151811061046457610464611d50565b6020026020010185848151811061047d5761047d611d50565b6020908102919091010191909152525b6001016103db565b506001016103c3565b505f5b815181101561057b575f8282815181106104bd576104bd611d50565b60200260200101519050600460016004805490506104db9190611e30565b815481106104eb576104eb611d50565b5f91825260209091200154600480546001600160a01b03909216918390811061051657610516611d50565b905f5260205f20015f6101000a8154816001600160a01b0302191690836001600160a01b03160217905550600480548061055257610552611e6e565b5f8281526020902081015f1990810180546001600160a01b0319169055019055506001016104a1565b50610587600a5f611a25565b50565b610592611a40565b6001600160a01b0382165f9081526002602052604090205460ff166105f95760405162461bcd60e51b815260206004820152601c60248201527f56616c696461746f724461746120646f65736e277420657869737473000000006044820152606401610294565b6040805180820182526001600160a01b0384168082525f90815260016020818152918490208451606081018652815481529181015460ff16151582840152600281018054949593860194929391929184019161065490611d64565b80601f016020809104026020016040519081016040528092919081815260200182805461068090611d64565b80156106cb5780601f106106a2576101008083540402835291602001916106cb565b820191905f5260205f20905b8154815290600101906020018083116106ae57829003601f168201915b50505091909252505050905292915050565b5f5b8181101561071e576107168383838181106106fc576106fc611d50565b90506020020160208101906107119190611afa565b6111da565b6001016106df565b505050565b6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016330361078c5760405162461bcd60e51b815260206004820152600e60248201526d24b73b30b634b21031b0b63632b960911b6044820152606401610294565b335f9081526002602052604090205460ff16156107f75760405162461bcd60e51b815260206004820152602360248201527f56616c696461746f724461746120697320616c726561647920726567697374656044820152621c995960ea1b6064820152608401610294565b5f8282604051610808929190611e82565b60408051918290039091205f8181526003602052919091205490915060ff16156108805760405162461bcd60e51b815260206004820152602360248201527f424c5331322d333831206b657920697320616c726561647920726567697374656044820152621c995960ea1b6064820152608401610294565b61088a83836112b4565b5f60405180606001604052805f81526020015f1515815260200185858080601f0160208091040260200160405190810160405280939291908181526020018383808284375f92018290525093909452505080549293509050806108ec83611e43565b9091555050335f9081526002602081815260408084208054600160ff199182168117909255818452948290208651815592860151908301805490951690151517909355918301518392918201906109439082611edc565b5050505f91825250600360205260408120805460ff191660019081179091556004805491820181559091527f8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b0180546001600160a01b031916331790555050565b335f9081526002602052604090205460ff166109fb5760405162461bcd60e51b815260206004820152601660248201527521b0b63632b9103737ba1030903b30b634b230ba37b960511b6044820152606401610294565b335f9081526001602081905260409091209081015460ff1615610a605760405162461bcd60e51b815260206004820152601d60248201527f56616c696461746f7220697320616c72656164792072657369676e65640000006044820152606401610294565b6001908101805460ff191682179055600a805491820181555f527fc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a80180546001600160a01b03191633179055565b6001600160a01b0381165f9081526002602052604090205460ff16610b155760405162461bcd60e51b815260206004820152601760248201527f6d75737420766f746520666f722076616c696461746f720000000000000000006044820152606401610294565b335f908152600560205260409020546001600160a01b031615610b705760405162461bcd60e51b81526020600482015260136024820152721513d113ce88185b1c9958591e481d9bdd1959606a1b6044820152606401610294565b6040805180820182526001600160a01b0383811680835233803160208086019182525f83815260058252878120965187546001600160a01b0319169616959095178655905160019586015591835292905291822080549131929091610bd6908490611e5b565b9091555050604080513381526001600160a01b03831660208201527fce0c7a2a940807f7dc2ce7a615c2532e915e6c0ac9a08bc4ed9d515a710a53e2910160405180910390a150565b610c2f6101806020830183611afa565b610c7b5760405162461bcd60e51b815260206004820152601c60248201527f56616c696461746f724461746120646f65736e277420657869737473000000006044820152606401610294565b610c886020820182611f97565b60015f610c986020850185611afa565b6001600160a01b0316815260208101919091526040015f2061071e828261206f565b6009546060905f9067ffffffffffffffff811115610cda57610cda611d3c565b604051908082528060200260200182016040528015610d1357816020015b610d00611a40565b815260200190600190039081610cf85790505b5090505f5b600954811015610e47575f60098281548110610d3657610d36611d50565b5f9182526020808320909101546001600160a01b03168083526001808352604093849020845180860186528381528551606081018752825481529282015460ff161515838601526002820180549497509195909485019386929184019190610d9d90611d64565b80601f0160208091040260200160405190810160405280929190818152602001828054610dc990611d64565b8015610e145780601f10610deb57610100808354040283529160200191610e14565b820191905f5260205f20905b815481529060010190602001808311610df757829003601f168201915b505050505081525050815250848481518110610e3257610e32611d50565b60209081029190910101525050600101610d18565b50919050565b610e55611316565b610e5d611465565b5f610e718260ff165f6004805490506114b6565b90508060ff165f03610e81575050565b60045f81548110610e9457610e94611d50565b5f91825260209091200154600680546001600160a01b0319166001600160a01b03909216919091179055600160088190555b6004548110156110fd575f60048281548110610ee457610ee4611d50565b5f918252602090912001546008546001600160a01b03909116915060ff84161115610f1957610f138184611547565b506110f5565b6001600160a01b038082165f818152600160208181526040808420600654909616845292839020835180850185529485528351606081018552865481529286015460ff1615158383015260028601805491956110e2959094938501939288929184019190610f8690611d64565b80601f0160208091040260200160405190810160405280929190818152602001828054610fb290611d64565b8015610ffd5780601f10610fd457610100808354040283529160200191610ffd565b820191905f5260205f20905b815481529060010190602001808311610fe057829003601f168201915b5050509190925250505090526040805180820182526006546001600160a01b03168152815160608101835285548152600186015460ff16151560208281019190915260028701805493949185019388928401919061105a90611d64565b80601f016020809104026020016040519081016040528092919081815260200182805461108690611d64565b80156110d15780601f106110a8576101008083540402835291602001916110d1565b820191905f5260205f20905b8154815290600101906020018083116110b457829003601f168201915b5050505050815250508152506118fe565b156110f1576110f18386611547565b5050505b600101610ec6565b506006546001600160a01b031661111560095f611a25565b8160ff1667ffffffffffffffff81111561113157611131611d3c565b60405190808252806020026020018201604052801561115a578160200160208202803683370190505b50805161116f91600991602090910190611a83565b505f5b8260ff168110156111d457816009828154811061119157611191611d50565b5f91825260208083209190910180546001600160a01b0319166001600160a01b039485161790559382168152600790935260409092205490911690600101611172565b50505050565b6001600160a01b038082165f90815260056020526040902080549091166111ff575050565b60018101546001600160a01b0383163181101561125d5761122a816001600160a01b03851631611e30565b82546001600160a01b03165f9081526001602052604081208054909190611252908490611e5b565b9091555061129f9050565b6112716001600160a01b0384163182611e30565b82546001600160a01b03165f9081526001602052604081208054909190611299908490611e30565b90915550505b506001600160a01b0390911631600190910155565b603081146113125760405162461bcd60e51b815260206004820152602560248201527f424c5331322d333831207075626c69634b6579206c656e67746820697320696e6044820152641d985b1a5960da1b6064820152608401610294565b5050565b6004545f611325600183611e30565b90505b8015611312575f61133a826001611e5b565b60408051426020820152449181019190915260608101849052608001604051602081830303815290604052805190602001205f1c61137891906120ed565b90505f6004838154811061138e5761138e611d50565b5f91825260209091200154600480546001600160a01b03909216925090839081106113bb576113bb611d50565b5f91825260209091200154600480546001600160a01b0390921691859081106113e6576113e6611d50565b905f5260205f20015f6101000a8154816001600160a01b0302191690836001600160a01b03160217905550806004838154811061142557611425611d50565b905f5260205f20015f6101000a8154816001600160a01b0302191690836001600160a01b031602179055505050808061145d90611e1b565b915050611328565b6006546001600160a01b03165b6001600160a01b038116156114af576001600160a01b039081165f90815260076020526040902080546001600160a01b0319811690915516611472565b505f600855565b5f8183111561151f5760405162461bcd60e51b815260206004820152602f60248201527f4d696e696d756d2073686f756c64206265206c657373207468616e206f72206560448201526e7175616c20746f206d6178696d756d60881b6064820152608401610294565b8284101561152e575081611540565b8184111561153d575080611540565b50825b9392505050565b6001600160a01b0382165f9081526001602081815260408084208151606081018352815481529381015460ff161515928401929092526002820180549184019161159090611d64565b80601f01602080910402602001604051908101604052809291908181526020018280546115bc90611d64565b80156116075780601f106115de57610100808354040283529160200191611607565b820191905f5260205f20905b8154815290600101906020018083116115ea57829003601f168201915b5050509190925250506040805180820182526006546001600160a01b03168082525f90815260016020818152918490208451606081018652815481529181015460ff1615158284015260028101805497985061171c979496509286019491939092918401919061167690611d64565b80601f01602080910402602001604051908101604052809291908181526020018280546116a290611d64565b80156116ed5780601f106116c4576101008083540402835291602001916116ed565b820191905f5260205f20905b8154815290600101906020018083116116d057829003601f168201915b5050505050815250508152506040518060400160405280866001600160a01b03168152602001848152506118fe565b1561172f5761172a8361193f565b61189f565b6006546001600160a01b039081165f81815260076020526040902054909116905b6001600160a01b03821661176d576117688186611990565b61189c565b6040805180820182526001600160a01b0384168082525f90815260016020818152918490208451606081018652815481529181015460ff1615158284015260028101805461186c9694860194840191906117c690611d64565b80601f01602080910402602001604051908101604052809291908181526020018280546117f290611d64565b801561183d5780601f106118145761010080835404028352916020019161183d565b820191905f5260205f20905b81548152906001019060200180831161182057829003601f168201915b5050505050815250508152506040518060400160405280886001600160a01b03168152602001868152506118fe565b1561187b576117688186611990565b506001600160a01b038082165f908152600760205260409020541690611750565b50505b8160ff16600854111561071e57600680546001600160a01b039081165f90815260076020526040812080546001600160a01b031980821690925584549316921682179092556008805491926118f383611e1b565b919050555050505050565b6020808201515190830151515f91900361192a5750805182516001600160a01b03918216911611611939565b50602080820151519083015151115b92915050565b600680546001600160a01b038381165f8181526007602052604081208054939094166001600160a01b031993841617909355835490911617909155600880549161198883611e43565b919050555050565b6001600160a01b038281165f8181526007602052604080822080548686168085529284208054919096166001600160a01b0319918216179095559282528254909316909217905560088054916119e583611e43565b91905055505050565b5080546119fa90611d64565b5f825580601f10611a09575050565b601f0160209004905f5260205f20908101906105879190611ae6565b5080545f8255905f5260205f20908101906105879190611ae6565b60405180604001604052805f6001600160a01b03168152602001611a7e60405180606001604052805f81526020015f15158152602001606081525090565b905290565b828054828255905f5260205f20908101928215611ad6579160200282015b82811115611ad657825182546001600160a01b0319166001600160a01b03909116178255602090920191600190910190611aa1565b50611ae2929150611ae6565b5090565b5b80821115611ae2575f8155600101611ae7565b5f60208284031215611b0a575f5ffd5b81356001600160a01b0381168114611540575f5ffd5b60018060a01b0381511682525f60208201516040602085015280516040850152602081015115156060850152604081015190506060608085015280518060a08601525f5b81811015611b8157602081840181015160c0888401015201611b64565b505f60c0828701015260c0601f19601f8301168601019250505092915050565b602081525f6115406020830184611b20565b5f5f60208385031215611bc4575f5ffd5b823567ffffffffffffffff811115611bda575f5ffd5b8301601f81018513611bea575f5ffd5b803567ffffffffffffffff811115611c00575f5ffd5b8560208260051b8401011115611c14575f5ffd5b6020919091019590945092505050565b5f5f60208385031215611c35575f5ffd5b823567ffffffffffffffff811115611c4b575f5ffd5b8301601f81018513611c5b575f5ffd5b803567ffffffffffffffff811115611c71575f5ffd5b856020828401011115611c14575f5ffd5b5f60208284031215611c92575f5ffd5b813567ffffffffffffffff811115611ca8575f5ffd5b820160408185031215611540575f5ffd5b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b82811015611d1057603f19878603018452611cfb858351611b20565b94506020938401939190910190600101611cdf565b50929695505050505050565b5f60208284031215611d2c575f5ffd5b813560ff81168114611540575f5ffd5b634e487b7160e01b5f52604160045260245ffd5b634e487b7160e01b5f52603260045260245ffd5b600181811c90821680611d7857607f821691505b602082108103610e4757634e487b7160e01b5f52602260045260245ffd5b5f5f8354611da381611d64565b600182168015611dba5760018114611dcf57611dfc565b60ff1983168652811515820286019350611dfc565b865f5260205f205f5b83811015611df457815488820152600190910190602001611dd8565b505081860193505b509195945050505050565b634e487b7160e01b5f52601160045260245ffd5b5f81611e2957611e29611e07565b505f190190565b8181038181111561193957611939611e07565b5f60018201611e5457611e54611e07565b5060010190565b8082018082111561193957611939611e07565b634e487b7160e01b5f52603160045260245ffd5b818382375f9101908152919050565b601f82111561071e57805f5260205f20601f840160051c81016020851015611eb65750805b601f840160051c820191505b81811015611ed5575f8155600101611ec2565b5050505050565b815167ffffffffffffffff811115611ef657611ef6611d3c565b611f0a81611f048454611d64565b84611e91565b6020601f821160018114611f3c575f8315611f255750848201515b5f19600385901b1c1916600184901b178455611ed5565b5f84815260208120601f198516915b82811015611f6b5787850151825560209485019460019092019101611f4b565b5084821015611f8857868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b5f8235605e19833603018112611fab575f5ffd5b9190910192915050565b67ffffffffffffffff831115611fcd57611fcd611d3c565b611fe183611fdb8354611d64565b83611e91565b5f601f841160018114612012575f8515611ffb5750838201355b5f19600387901b1c1916600186901b178355611ed5565b5f83815260208120601f198716915b828110156120415786850135825560209485019460019092019101612021565b508682101561205d575f1960f88860031b161c19848701351681555b505060018560011b0183555050505050565b8135815560018101602083013580151580821461208a575f5ffd5b60ff19835416915060ff8116821783555050506040820135601e198336030181126120b3575f5ffd5b8201803567ffffffffffffffff8111156120cb575f5ffd5b6020820191508036038213156120df575f5ffd5b6111d4818360028601611fb5565b5f8261210757634e487b7160e01b5f52601260045260245ffd5b50069056fea26469706673582212208e47e43b8cf06d166611fee9a075d6e046f76909aacf1346ca470edff6bf40c964736f6c634300081b0033",
278
- "sourceMap": "1195:9133:23:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5179:109;5253:24;:31;5179:109;;;160:25:27;;;148:2;133:18;5179:109:23;;;;;;;;6501:1498;;;:::i;:::-;;8277:229;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;9114:185::-;;;;;;:::i;:::-;;:::i;5291:874::-;;;;;;:::i;:::-;;:::i;6168:330::-;;;:::i;8725:386::-;;;;;;:::i;:::-;;:::i;8509:213::-;;;;;;:::i;:::-;;:::i;4664:401::-;;;:::i;:::-;;;;;;;:::i;2497:949::-;;;;;;:::i;:::-;;:::i;8002:116::-;;;;;;:::i;:::-;-1:-1:-1;;;;;8085:29:23;8068:4;8085:29;;;:23;:29;;;;;;;;;8002:116;;;;4447:14:27;;4440:22;4422:41;;4410:2;4395:18;8002:116:23;4282:187:27;5068:108:23;5126:7;5146:26;5068:108;;6501:1498;6659:19;:26;6610:32;;6645:41;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;6645:41:23;-1:-1:-1;6610:76:23;-1:-1:-1;6696:9:23;6691:680;6715:19;:26;6711:30;;6691:680;;;6753:12;6768:19;6788:1;6768:22;;;;;;;;:::i;:::-;;;;;;;;;;;;;-1:-1:-1;;;;;6768:22:23;6829:30;;;6768:22;6829:30;;;;;;;;6872:20;;;;6768:22;;-1:-1:-1;6829:30:23;6872:20;;6864:58;;;;-1:-1:-1;;;6864:58:23;;4940:2:27;6864:58:23;;;4922:21:27;4979:2;4959:18;;;4952:30;5018:27;4998:18;;;4991:55;5063:18;;6864:58:23;;;;;;;;;6928:27;6968:9;:30;;6958:41;;;;;;:::i;:::-;;;;;;;;;7005:26;:28;;6958:41;;-1:-1:-1;7005:26:23;:28;;;:::i;:::-;;;;-1:-1:-1;;;;;;;7045:29:23;;;;;;:23;:29;;;;;;;;7038:36;;-1:-1:-1;;7038:36:23;;;;;;;7086:30;;;;;;;7079:37;;;;;;;;;;;;;7086:30;7045:29;7079:37;;;;7045:29;7079:37;:::i;:::-;-1:-1:-1;;7128:42:23;;;;:21;:42;;;;;7121:49;;-1:-1:-1;;7121:49:23;;;7193:174;7217:21;:28;:32;;7248:1;;7217:32;:::i;:::-;7213:1;:36;7193:174;;;7294:4;-1:-1:-1;;;;;7266:32:23;:21;7288:1;7266:24;;;;;;;;:::i;:::-;;;;;;;;;;;-1:-1:-1;;;;;7266:24:23;:32;7307:8;7262:60;7349:1;7328:15;7344:1;7328:18;;;;;;;;:::i;:::-;;;;;;:22;;;;;7356:5;;7193:174;7251:3;;;;:::i;:::-;;;;7193:174;;;-1:-1:-1;;6743:3:23;;;;;-1:-1:-1;6691:680:23;;-1:-1:-1;6691:680:23;;-1:-1:-1;7443:9:23;7438:272;7462:15;:22;7458:1;:26;7438:272;;;7501:9;7513:5;:1;7517;7513:5;:::i;:::-;7501:17;;7496:210;7524:15;:22;7520:1;:26;7496:210;;;7584:15;7600:1;7584:18;;;;;;;;:::i;:::-;;;;;;;7563:15;7579:1;7563:18;;;;;;;;:::i;:::-;;;;;;;:39;7559:142;;;7655:15;7671:1;7655:18;;;;;;;;:::i;:::-;;;;;;;7675:15;7691:1;7675:18;;;;;;;;:::i;:::-;;;;;;;7612:15;7628:1;7612:18;;;;;;;;:::i;:::-;;;;;;7632:15;7648:1;7632:18;;;;;;;;:::i;:::-;;;;;;;;;;7611:83;;;;;7559:142;7548:3;;7496:210;;;-1:-1:-1;7486:3:23;;7438:272;;;-1:-1:-1;7719:9:23;7714:220;7738:15;:22;7734:1;:26;7714:220;;;7772:13;7788:15;7804:1;7788:18;;;;;;;;:::i;:::-;;;;;;;7772:34;;7842:21;7895:1;7864:21;:28;;;;:32;;;;:::i;:::-;7842:55;;;;;;;;:::i;:::-;;;;;;;;;;;7811:21;:28;;-1:-1:-1;;;;;7842:55:23;;;;7833:5;;7811:28;;;;;;:::i;:::-;;;;;;;;;:86;;;;;-1:-1:-1;;;;;7811:86:23;;;;;-1:-1:-1;;;;;7811:86:23;;;;;;7902:21;:27;;;;;;;:::i;:::-;;;;;;;;;;-1:-1:-1;;7902:27:23;;;;;-1:-1:-1;;;;;;7902:27:23;;;;;;-1:-1:-1;7902:27:23;7762:3;7714:220;;;-1:-1:-1;7969:26:23;7976:19;;7969:26;:::i;:::-;6550:1449;6501:1498::o;8277:229::-;8335:16;;:::i;:::-;-1:-1:-1;;;;;8085:29:23;;8068:4;8085:29;;;:23;:29;;;;;;;;8357:71;;;;-1:-1:-1;;;8357:71:23;;7412:2:27;8357:71:23;;;7394:21:27;7451:2;7431:18;;;7424:30;7490;7470:18;;;7463:58;7538:18;;8357:71:23;7210:352:27;8357:71:23;8439:63;;;;;;;;-1:-1:-1;;;;;8439:63:23;;;;;-1:-1:-1;8469:31:23;;;:24;8439:63;8469:31;;;;;;;8439:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8469:31;;8439:63;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;8439:63:23;;;;-1:-1:-1;;;8439:63:23;;8432:70;8277:229;-1:-1:-1;;8277:229:23:o;9114:185::-;9227:6;9222:74;9239:17;;;9222:74;;;9268:23;9281:6;;9288:1;9281:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;9268:12;:23::i;:::-;9258:3;;9222:74;;;;9114:185;;:::o;5291:874::-;-1:-1:-1;;;;;5390:6:23;5376:20;:10;:20;5368:47;;;;-1:-1:-1;;;5368:47:23;;7769:2:27;5368:47:23;;;7751:21:27;7808:2;7788:18;;;7781:30;-1:-1:-1;;;7827:18:27;;;7820:44;7881:18;;5368:47:23;7567:338:27;5368:47:23;5452:10;5428:35;;;;:23;:35;;;;;;;;5427:36;5419:84;;;;-1:-1:-1;;;5419:84:23;;8112:2:27;5419:84:23;;;8094:21:27;8151:2;8131:18;;;8124:30;8190:34;8170:18;;;8163:62;-1:-1:-1;;;8241:18:27;;;8234:33;8284:19;;5419:84:23;7910:399:27;5419:84:23;5508:27;5548:20;;5538:31;;;;;;;:::i;:::-;;;;;;;;;;;5583:42;;;;:21;:42;;;;;;;5538:31;;-1:-1:-1;5583:42:23;;5582:43;5574:91;;;;-1:-1:-1;;;5574:91:23;;8792:2:27;5574:91:23;;;8774:21:27;8831:2;8811:18;;;8804:30;8870:34;8850:18;;;8843:62;-1:-1:-1;;;8921:18:27;;;8914:33;8964:19;;5574:91:23;8590:399:27;5574:91:23;5670:46;5695:20;;5670:24;:46::i;:::-;5721:30;5754:107;;;;;;;;5786:1;5754:107;;;;5804:5;5754:107;;;;;;5836:20;;5754:107;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;5754:107:23;;;;-1:-1:-1;;5866:28:23;;5721:140;;-1:-1:-1;5754:107:23;-1:-1:-1;5754:107:23;5866:28;;;:::i;:::-;;;;-1:-1:-1;;5922:10:23;5898:35;;;;:23;:35;;;;;;;;:42;;5936:4;-1:-1:-1;;5898:42:23;;;;;;;;5944:36;;;;;;;:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:36;:48;;;;;;;:::i;:::-;-1:-1:-1;;;5996:42:23;;;;-1:-1:-1;5996:21:23;:42;;;;;:49;;-1:-1:-1;;5996:49:23;6041:4;5996:49;;;;;;6116:21;:38;;;;;;;;;;;;;;-1:-1:-1;;;;;;6116:38:23;6143:10;6116:38;;;-1:-1:-1;;5291:874:23:o;6168:330::-;6242:10;8068:4;8085:29;;;:23;:29;;;;;;;;6212:68;;;;-1:-1:-1;;;6212:68:23;;11189:2:27;6212:68:23;;;11171:21:27;11228:2;11208:18;;;11201:30;-1:-1:-1;;;11247:18:27;;;11240:52;11309:18;;6212:68:23;10987:346:27;6212:68:23;6344:10;6285:31;6319:36;;;:24;:36;;;;;;;;6368:20;;;;;;6367:21;6359:63;;;;-1:-1:-1;;;6359:63:23;;11540:2:27;6359:63:23;;;11522:21:27;11579:2;11559:18;;;11552:30;11618:31;11598:18;;;11591:59;11667:18;;6359:63:23;11338:353:27;6359:63:23;6450:4;6427:20;;;:27;;-1:-1:-1;;6427:27:23;;;;;6458:19;:36;;;;;;;6427:20;6458:36;;;;;-1:-1:-1;;;;;;6458:36:23;6483:10;6458:36;;;6168:330::o;8725:386::-;-1:-1:-1;;;;;8085:29:23;;8068:4;8085:29;;;:23;:29;;;;;;;;8766:63;;;;-1:-1:-1;;;8766:63:23;;11898:2:27;8766:63:23;;;11880:21:27;11937:2;11917:18;;;11910:30;11976:25;11956:18;;;11949:53;12019:18;;8766:63:23;11696:347:27;8766:63:23;8848:10;8881:1;8841:18;;;:6;:18;;;;;:28;-1:-1:-1;;;;;8841:28:23;:42;8833:74;;;;-1:-1:-1;;;8833:74:23;;12250:2:27;8833:74:23;;;12232:21:27;12289:2;12269:18;;;12262:30;-1:-1:-1;;;12308:18:27;;;12301:49;12367:18;;8833:74:23;12048:343:27;8833:74:23;8933:52;;;;;;;;-1:-1:-1;;;;;8933:52:23;;;;;;8965:10;:18;;8933:52;;;;;;;-1:-1:-1;8912:18:23;;;:6;:18;;;;;:73;;;;-1:-1:-1;;;;;;8912:73:23;;;;;;;;;;;-1:-1:-1;8912:73:23;;;;9010:30;;;;;;;;;:64;;9056:18;;;9010:30;;:64;;9056:18;;9010:64;:::i;:::-;;;;-1:-1:-1;;9084:23:23;;;9090:10;12570:51:27;;-1:-1:-1;;;;;12657:32:27;;12652:2;12637:18;;12630:60;9084:23:23;;12543:18:27;9084:23:23;;;;;;;8725:386;:::o;8509:213::-;8584:38;8606:15;;;;:10;:15;:::i;8584:38::-;8576:79;;;;-1:-1:-1;;;8576:79:23;;7412:2:27;8576:79:23;;;7394:21:27;7451:2;7431:18;;;7424:30;7490;7470:18;;;7463:58;7538:18;;8576:79:23;7210:352:27;8576:79:23;8703:15;;;;:10;:15;:::i;:::-;8659:24;:41;8684:15;;;;:10;:15;:::i;:::-;-1:-1:-1;;;;;8659:41:23;;;;;;;;;;;;-1:-1:-1;8659:41:23;:59;;:41;:59;:::i;4664:401::-;4781:24;:31;4713:18;;4737:25;;4765:48;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;-1:-1:-1;4737:76:23;-1:-1:-1;4822:6:23;4817:227;4838:24;:31;4834:35;;4817:227;;;4881:12;4896:24;4921:1;4896:27;;;;;;;;:::i;:::-;;;;;;;;;;;;;-1:-1:-1;;;;;4896:27:23;4957:30;;;4896:27;4957:30;;;;;;;;5004:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4896:27;;-1:-1:-1;4957:30:23;;5004:35;;;;;4957:30;;5004:35;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4992:6;4999:1;4992:9;;;;;;;;:::i;:::-;;;;;;;;;;:47;-1:-1:-1;;4871:3:23;;4817:227;;;-1:-1:-1;5055:6:23;4664:401;-1:-1:-1;4664:401:23:o;2497:949::-;2551:9;:7;:9::i;:::-;2564:21;:19;:21::i;:::-;2590:9;2608:42;2615:1;2608:42;;2618:1;2621:21;:28;;;;2608:6;:42::i;:::-;2590:61;;2659:3;:8;;2666:1;2659:8;2655:30;;2674:7;2497:949;:::o;2655:30::-;2697:21;2719:1;2697:24;;;;;;;;:::i;:::-;;;;;;;;;;;2689:5;:32;;-1:-1:-1;;;;;;2689:32:23;-1:-1:-1;;;;;2697:24:23;;;2689:32;;;;;;2697:24;2725:19;:23;;;2753:471;2774:21;:28;2770:32;;2753:471;;;2814:12;2829:21;2851:1;2829:24;;;;;;;;:::i;:::-;;;;;;;;;;;2863:19;;-1:-1:-1;;;;;2829:24:23;;;;-1:-1:-1;2863:25:23;;;-1:-1:-1;2859:86:23;;;2896:29;2915:4;2921:3;2896:18;:29::i;:::-;2931:8;;;2859:86;-1:-1:-1;;;;;2979:30:23;;;2950:26;2979:30;;;:24;:30;;;;;;;;3072:5;;;;;3047:31;;;;;;3099:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3047:31;;3088:89;;3099:35;;;;;;;2979:30;;3099:35;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3099:35:23;;;;-1:-1:-1;;;3099:35:23;;3136:40;;;;;;;;3153:5;;-1:-1:-1;;;;;3153:5:23;3136:40;;;;;;;;;;;;;3153:5;3136:40;;;;;;;;;;;;;;;;;;;;;;;;;;3166:8;;3136:40;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3088:10;:89::i;:::-;3084:136;;;3185:29;3204:4;3210:3;3185:18;:29::i;:::-;2809:415;;;2753:471;2804:3;;2753:471;;;-1:-1:-1;3243:5:23;;-1:-1:-1;;;;;3243:5:23;3252:31;3259:24;3228:12;3252:31;:::i;:::-;3328:3;3314:18;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3314:18:23;-1:-1:-1;3287:45:23;;;;:24;;:45;;;;;;:::i;:::-;-1:-1:-1;3341:6:23;3336:107;3357:3;3353:7;;:1;:7;3336:107;;;3402:4;3372:24;3397:1;3372:27;;;;;;;;:::i;:::-;;;;;;;;;;;;;:34;;-1:-1:-1;;;;;;3372:34:23;-1:-1:-1;;;;;3372:34:23;;;;;;3418:20;;;;;:14;:20;;;;;;;;;;;;-1:-1:-1;3362:3:23;3336:107;;;;2547:899;;2497:949;:::o;9302:444::-;-1:-1:-1;;;;;9371:12:23;;;9350:18;9371:12;;;:6;:12;;;;;9391:15;;9371:12;;9391:15;9387:51;;9427:7;9302:444;:::o;9387:51::-;9465:13;;;;-1:-1:-1;;;;;9502:12:23;;;9487:27;;9483:227;;;9578:27;9593:12;-1:-1:-1;;;;;9578:12:23;;;:27;:::i;:::-;9546:15;;-1:-1:-1;;;;;9546:15:23;9521:41;;;;:24;:41;;;;;:84;;:41;;;:84;;;;;:::i;:::-;;;;-1:-1:-1;9483:227:23;;-1:-1:-1;9483:227:23;;9678:27;-1:-1:-1;;;;;9693:12:23;;;9678;:27;:::i;:::-;9646:15;;-1:-1:-1;;;;;9646:15:23;9621:41;;;;:24;:41;;;;;:84;;:41;;;:84;;;;;:::i;:::-;;;;-1:-1:-1;;9483:227:23;-1:-1:-1;;;;;;9730:12:23;;;;9714:13;;;;:28;9302:444::o;8121:153::-;8226:2;8206:22;;8198:72;;;;-1:-1:-1;;;8198:72:23;;15427:2:27;8198:72:23;;;15409:21:27;15466:2;15446:18;;;15439:30;15505:34;15485:18;;;15478:62;-1:-1:-1;;;15556:18:27;;;15549:35;15601:19;;8198:72:23;15225:401:27;8198:72:23;8121:153;;:::o;1815:448::-;1859:21;:28;1847:9;1908:5;1912:1;1859:28;1908:5;:::i;:::-;1896:17;;1891:369;1915:5;;1891:369;;1985:9;2075:5;:1;2079;2075:5;:::i;:::-;2015:54;;;2032:15;2015:54;;;15816:19:27;2049:16:23;15851:12:27;;;15844:28;;;;15888:12;;;15881:28;;;15925:12;;2015:54:23;;;;;;;;;;;;2005:65;;;;;;1997:74;;:84;;;;:::i;:::-;1985:96;;2124:12;2139:21;2161:1;2139:24;;;;;;;;:::i;:::-;;;;;;;;;;;2195:21;:24;;-1:-1:-1;;;;;2139:24:23;;;;-1:-1:-1;2195:21:23;2217:1;;2195:24;;;;;;:::i;:::-;;;;;;;;;;;2168:21;:24;;-1:-1:-1;;;;;2195:24:23;;;;2190:1;;2168:24;;;;;;:::i;:::-;;;;;;;;;:51;;;;;-1:-1:-1;;;;;2168:51:23;;;;;-1:-1:-1;;;;;2168:51:23;;;;;;2251:4;2224:21;2246:1;2224:24;;;;;;;;:::i;:::-;;;;;;;;;:31;;;;;-1:-1:-1;;;;;2224:31:23;;;;;-1:-1:-1;;;;;2224:31:23;;;;;;1927:333;;1922:3;;;;;:::i;:::-;;;;1891:369;;2266:228;2325:5;;-1:-1:-1;;;;;2325:5:23;2335:129;-1:-1:-1;;;;;2342:18:23;;;2335:129;;-1:-1:-1;;;;;2401:23:23;;;2367:15;2401:23;;;:14;:23;;;;;;;-1:-1:-1;;;;;;2429:30:23;;;;;2401:23;2335:129;;;-1:-1:-1;2489:1:23;2467:19;:23;2266:228::o;10049:277::-;10128:7;10156:3;10149;:10;;10141:70;;;;-1:-1:-1;;;10141:70:23;;16364:2:27;10141:70:23;;;16346:21:27;16403:2;16383:18;;;16376:30;16442:34;16422:18;;;16415:62;-1:-1:-1;;;16493:18:27;;;16486:45;16548:19;;10141:70:23;16162:411:27;10141:70:23;10227:3;10219:5;:11;10215:108;;;-1:-1:-1;10244:3:23;10237:10;;10215:108;10270:3;10262:5;:11;10258:65;;;-1:-1:-1;10287:3:23;10280:10;;10258:65;-1:-1:-1;10313:5:23;10258:65;10049:277;;;;;:::o;3449:921::-;-1:-1:-1;;;;;3543:30:23;;3515:25;3543:30;;;:24;:30;;;;;;;;3515:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3515:58:23;;;;-1:-1:-1;;3602:63:23;;;;;;;;3619:5;;-1:-1:-1;;;;;3619:5:23;3602:63;;;-1:-1:-1;3632:31:23;;;3619:5;3602:63;3632:31;;;;;;;3602:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;3515:58;;-1:-1:-1;3586:125:23;;3602:63;;-1:-1:-1;3602:63:23;;;;;;3632:31;;3602:63;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3671:35;;;;;;;;3688:4;-1:-1:-1;;;;;3671:35:23;;;;;3700:4;3671:35;;;3586:10;:125::i;:::-;3578:632;;;3721:16;3732:4;3721:10;:16::i;:::-;3578:632;;;3786:5;;-1:-1:-1;;;;;3786:5:23;;;3753:15;3771:21;;;:14;:21;;;;;;;;;;3827:379;-1:-1:-1;;;;;3850:21:23;;3846:80;;3880:27;3892:8;3902:4;3880:11;:27::i;:::-;3914:5;;3846:80;3960:67;;;;;;;;-1:-1:-1;;;;;3960:67:23;;;;;-1:-1:-1;3992:33:23;;;:24;3960:67;3992:33;;;;;;;3960:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;3942:135;;3960:67;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4035:35;;;;;;;;4052:4;-1:-1:-1;;;;;4035:35:23;;;;;4064:4;4035:35;;;3942:10;:135::i;:::-;3932:205;;;4091:27;4103:8;4113:4;4091:11;:27::i;3932:205::-;-1:-1:-1;;;;;;4177:23:23;;;;;;;:14;:23;;;;;;;;3827:379;;;3748:462;;3578:632;4240:3;4218:25;;:19;;:25;4214:153;;;4280:5;;;-1:-1:-1;;;;;4280:5:23;;;4250:12;4265:21;;;:14;:21;;;;;;;-1:-1:-1;;;;;;4291:28:23;;;;;;4324:12;;4265:21;;4324:12;;;;;;;4341:19;:21;;4265;;4341;;;:::i;:::-;;;;;;4245:122;3511:859;3449:921;;:::o;9749:297::-;9895:15;;;;;:27;9864:15;;;;:27;9850:4;;9864:58;;9860:114;;-1:-1:-1;9954:15:23;;9936;;-1:-1:-1;;;;;9936:33:23;;;;;;9929:40;;9860:114;-1:-1:-1;10015:15:23;;;;;:27;9985:15;;;;:27;:57;9749:297;;;;;:::o;4373:120::-;4443:5;;;-1:-1:-1;;;;;4420:20:23;;;4443:5;4420:20;;;:14;:20;;;;;:28;;4443:5;;;;-1:-1:-1;;;;;;4420:28:23;;;;;;;4452:12;;;;;;;;;4468:19;:21;;;;;;:::i;:::-;;;;;;4373:120;:::o;4496:165::-;-1:-1:-1;;;;;4581:20:23;;;;;;;:14;:20;;;;;;;;4558;;;;;;;;;:43;;4581:20;;;;-1:-1:-1;;;;;;4558:43:23;;;;;;;4605:20;;;:27;;;;;;;;;;4636:19;:21;;;;;;:::i;:::-;;;;;;4496:165;;:::o;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;196:286:27;255:6;308:2;296:9;287:7;283:23;279:32;276:52;;;324:1;321;314:12;276:52;350:23;;-1:-1:-1;;;;;402:31:27;;392:42;;382:70;;448:1;445;438:12;487:812;604:1;600;595:3;591:11;587:19;579:5;573:12;569:38;564:3;557:51;539:3;654:4;647:5;643:16;637:23;692:4;685;680:3;676:14;669:28;735:12;729:19;722:4;717:3;713:14;706:43;819:4;805:12;801:23;795:30;788:38;781:46;774:4;769:3;765:14;758:70;883:4;869:12;865:23;859:30;837:52;;920:4;914:3;909;905:13;898:27;954:14;948:21;1000:6;994:3;989;985:13;978:29;1025:1;1035:147;1049:6;1046:1;1043:13;1035:147;;;1165:4;1141:22;;;1137:33;;1131:40;1125:3;1112:11;;;1108:21;1101:71;1064:12;1035:147;;;1039:3;1226:1;1220:3;1211:6;1206:3;1202:16;1198:26;1191:37;1289:3;1282:2;1278:7;1273:2;1265:6;1261:15;1257:29;1252:3;1248:39;1244:49;1237:56;;;;487:812;;;;:::o;1304:266::-;1489:2;1478:9;1471:21;1452:4;1509:55;1560:2;1549:9;1545:18;1537:6;1509:55;:::i;1575:610::-;1661:6;1669;1722:2;1710:9;1701:7;1697:23;1693:32;1690:52;;;1738:1;1735;1728:12;1690:52;1778:9;1765:23;1811:18;1803:6;1800:30;1797:50;;;1843:1;1840;1833:12;1797:50;1866:22;;1919:4;1911:13;;1907:27;-1:-1:-1;1897:55:27;;1948:1;1945;1938:12;1897:55;1988:2;1975:16;2014:18;2006:6;2003:30;2000:50;;;2046:1;2043;2036:12;2000:50;2099:7;2094:2;2084:6;2081:1;2077:14;2073:2;2069:23;2065:32;2062:45;2059:65;;;2120:1;2117;2110:12;2059:65;2151:2;2143:11;;;;;2173:6;;-1:-1:-1;1575:610:27;-1:-1:-1;;;1575:610:27:o;2190:586::-;2260:6;2268;2321:2;2309:9;2300:7;2296:23;2292:32;2289:52;;;2337:1;2334;2327:12;2289:52;2377:9;2364:23;2410:18;2402:6;2399:30;2396:50;;;2442:1;2439;2432:12;2396:50;2465:22;;2518:4;2510:13;;2506:27;-1:-1:-1;2496:55:27;;2547:1;2544;2537:12;2496:55;2587:2;2574:16;2613:18;2605:6;2602:30;2599:50;;;2645:1;2642;2635:12;2599:50;2690:7;2685:2;2676:6;2672:2;2668:15;2664:24;2661:37;2658:57;;;2711:1;2708;2701:12;2781:389;2870:6;2923:2;2911:9;2902:7;2898:23;2894:32;2891:52;;;2939:1;2936;2929:12;2891:52;2979:9;2966:23;3012:18;3004:6;3001:30;2998:50;;;3044:1;3041;3034:12;2998:50;3067:22;;3123:2;3105:16;;;3101:25;3098:45;;;3139:1;3136;3129:12;3175:828;3373:4;3421:2;3410:9;3406:18;3451:2;3440:9;3433:21;3474:6;3509;3503:13;3540:6;3532;3525:22;3578:2;3567:9;3563:18;3556:25;;3640:2;3630:6;3627:1;3623:14;3612:9;3608:30;3604:39;3590:53;;3678:2;3670:6;3666:15;3699:1;3709:265;3723:6;3720:1;3717:13;3709:265;;;3816:2;3812:7;3800:9;3792:6;3788:22;3784:36;3779:3;3772:49;3844:50;3887:6;3878;3872:13;3844:50;:::i;:::-;3834:60;-1:-1:-1;3929:2:27;3952:12;;;;3917:15;;;;;3745:1;3738:9;3709:265;;;-1:-1:-1;3991:6:27;;3175:828;-1:-1:-1;;;;;;3175:828:27:o;4008:269::-;4065:6;4118:2;4106:9;4097:7;4093:23;4089:32;4086:52;;;4134:1;4131;4124:12;4086:52;4173:9;4160:23;4223:4;4216:5;4212:16;4205:5;4202:27;4192:55;;4243:1;4240;4233:12;4474:127;4535:10;4530:3;4526:20;4523:1;4516:31;4566:4;4563:1;4556:15;4590:4;4587:1;4580:15;4606:127;4667:10;4662:3;4658:20;4655:1;4648:31;4698:4;4695:1;4688:15;4722:4;4719:1;4712:15;5092:380;5171:1;5167:12;;;;5214;;;5235:61;;5289:4;5281:6;5277:17;5267:27;;5235:61;5342:2;5334:6;5331:14;5311:18;5308:38;5305:161;;5388:10;5383:3;5379:20;5376:1;5369:31;5423:4;5420:1;5413:15;5451:4;5448:1;5441:15;5602:795;5728:3;5757:1;5790:6;5784:13;5820:36;5846:9;5820:36;:::i;:::-;5887:1;5872:17;;5898:133;;;;6045:1;6040:332;;;;5865:507;;5898:133;-1:-1:-1;;5931:24:27;;5919:37;;6004:14;;5997:22;5985:35;;5976:45;;;-1:-1:-1;5898:133:27;;6040:332;6071:6;6068:1;6061:17;6119:4;6116:1;6106:18;6146:1;6160:166;6174:6;6171:1;6168:13;6160:166;;;6254:14;;6241:11;;;6234:35;6310:1;6297:15;;;;6196:4;6189:12;6160:166;;;6164:3;;6355:6;6350:3;6346:16;6339:23;;5865:507;-1:-1:-1;6388:3:27;;5602:795;-1:-1:-1;;;;;5602:795:27:o;6402:127::-;6463:10;6458:3;6454:20;6451:1;6444:31;6494:4;6491:1;6484:15;6518:4;6515:1;6508:15;6534:136;6573:3;6601:5;6591:39;;6610:18;;:::i;:::-;-1:-1:-1;;;6646:18:27;;6534:136::o;6675:128::-;6742:9;;;6763:11;;;6760:37;;;6777:18;;:::i;6808:135::-;6847:3;6868:17;;;6865:43;;6888:18;;:::i;:::-;-1:-1:-1;6935:1:27;6924:13;;6808:135::o;6948:125::-;7013:9;;;7034:10;;;7031:36;;;7047:18;;:::i;7078:127::-;7139:10;7134:3;7130:20;7127:1;7120:31;7170:4;7167:1;7160:15;7194:4;7191:1;7184:15;8314:271;8497:6;8489;8484:3;8471:33;8453:3;8523:16;;8548:13;;;8523:16;8314:271;-1:-1:-1;8314:271:27:o;8994:517::-;9095:2;9090:3;9087:11;9084:421;;;9131:5;9128:1;9121:16;9175:4;9172:1;9162:18;9245:2;9233:10;9229:19;9226:1;9222:27;9216:4;9212:38;9281:4;9269:10;9266:20;9263:47;;;-1:-1:-1;9304:4:27;9263:47;9359:2;9354:3;9350:12;9347:1;9343:20;9337:4;9333:31;9323:41;;9414:81;9432:2;9425:5;9422:13;9414:81;;;9491:1;9477:16;;9458:1;9447:13;9414:81;;;9418:3;;8994:517;;;:::o;9687:1295::-;9811:3;9805:10;9838:18;9830:6;9827:30;9824:56;;;9860:18;;:::i;:::-;9889:96;9978:6;9938:38;9970:4;9964:11;9938:38;:::i;:::-;9932:4;9889:96;:::i;:::-;10034:4;10065:2;10054:14;;10082:1;10077:648;;;;10769:1;10786:6;10783:89;;;-1:-1:-1;10838:19:27;;;10832:26;10783:89;-1:-1:-1;;9644:1:27;9640:11;;;9636:24;9632:29;9622:40;9668:1;9664:11;;;9619:57;10885:81;;10047:929;;10077:648;5549:1;5542:14;;;5586:4;5573:18;;-1:-1:-1;;10113:20:27;;;10230:222;10244:7;10241:1;10238:14;10230:222;;;10326:19;;;10320:26;10305:42;;10433:4;10418:20;;;;10386:1;10374:14;;;;10260:12;10230:222;;;10234:3;10480:6;10471:7;10468:19;10465:201;;;10541:19;;;10535:26;-1:-1:-1;;10624:1:27;10620:14;;;10636:3;10616:24;10612:37;10608:42;10593:58;10578:74;;10465:201;-1:-1:-1;;;;10712:1:27;10696:14;;;10692:22;10679:36;;-1:-1:-1;9687:1295:27:o;12701:331::-;12801:4;12859:11;12846:25;12953:2;12949:7;12938:8;12922:14;12918:29;12914:43;12894:18;12890:68;12880:96;;12972:1;12969;12962:12;12880:96;12993:33;;;;;12701:331;-1:-1:-1;;12701:331:27:o;13037:1178::-;13143:18;13138:3;13135:27;13132:53;;;13165:18;;:::i;:::-;13194:93;13283:3;13243:38;13275:4;13269:11;13243:38;:::i;:::-;13237:4;13194:93;:::i;:::-;13313:1;13338:2;13333:3;13330:11;13355:1;13350:607;;;;14001:1;14018:3;14015:93;;;-1:-1:-1;14074:19:27;;;14061:33;14015:93;-1:-1:-1;;9644:1:27;9640:11;;;9636:24;9632:29;9622:40;9668:1;9664:11;;;9619:57;14121:78;;13323:886;;13350:607;5549:1;5542:14;;;5586:4;5573:18;;-1:-1:-1;;13386:17:27;;;13500:229;13514:7;13511:1;13508:14;13500:229;;;13603:19;;;13590:33;13575:49;;13710:4;13695:20;;;;13663:1;13651:14;;;;13530:12;13500:229;;;13504:3;13757;13748:7;13745:16;13742:159;;;13881:1;13877:6;13871:3;13865;13862:1;13858:11;13854:21;13850:34;13846:39;13833:9;13828:3;13824:19;13811:33;13807:79;13799:6;13792:95;13742:159;;;13944:1;13938:3;13935:1;13931:11;13927:19;13921:4;13914:33;13323:886;;13037:1178;;;:::o;14220:1000::-;14397:5;14384:19;14378:4;14371:33;14441:1;14435:4;14431:12;14491:2;14484:5;14480:14;14467:28;14528:7;14521:15;14514:23;14568:2;14559:7;14556:15;14546:43;;14585:1;14582;14575:12;14546:43;14640:3;14636:8;14623:10;14617:17;14613:32;14598:47;;14693:3;14689:2;14685:12;14676:7;14673:25;14661:10;14654:45;;;;14758:2;14751:5;14747:14;14734:28;14841:2;14837:7;14829:5;14813:14;14809:26;14805:40;14785:18;14781:65;14771:93;;14860:1;14857;14850:12;14771:93;14885:30;;14938:18;;14979;14968:30;;14965:50;;;15011:1;15008;15001:12;14965:50;15048:2;15042:4;15038:13;15024:27;;15095:6;15079:14;15075:27;15067:6;15063:40;15060:60;;;15116:1;15113;15106:12;15060:60;15129:85;15207:6;15199;15195:1;15189:4;15185:12;15129:85;:::i;15948:209::-;15980:1;16006;15996:132;;16050:10;16045:3;16041:20;16038:1;16031:31;16085:4;16082:1;16075:15;16113:4;16110:1;16103:15;15996:132;-1:-1:-1;16142:9:27;;15948:209::o",
210
+ "object": "0x608060405234801561000f575f5ffd5b50600436106100e5575f3560e01c80636dd7d8ea11610088578063b85f5da211610063578063b85f5da2146101a6578063d04a68c7146101ae578063f1bd0b37146101e9578063f3513a37146101f0575f5ffd5b80636dd7d8ea1461016b578063afeea1151461017e578063b5cfa68c14610193575f5ffd5b80632bdf6d43116100c35780632bdf6d43146101285780633174b6891461013d578063602a9eee146101455780636252587914610158575f5ffd5b80630777cbef146100e95780630d2bd909146101005780631904bb2e14610108575b5f5ffd5b6001545b6040519081526020015b60405180910390f35b600a546100ed565b61011b610116366004611b81565b6101f8565b6040516100f79190611c32565b61013b610136366004611c44565b61035d565b005b61013b6103a3565b61013b610153366004611cb5565b6104c6565b61013b610166366004611d13565b610792565b61013b610179366004611b81565b61082d565b610186610a25565b6040516100f79190611d4a565b61013b6101a1366004611dad565b610bc3565b61013b610f9d565b6101d96101bc366004611b81565b6001600160a01b03165f9081526003602052604090205460ff1690565b60405190151581526020016100f7565b5f546100ed565b6101866110be565b610200611aa3565b6001600160a01b0382165f9081526003602052604090205460ff1661026c5760405162461bcd60e51b815260206004820152601c60248201527f56616c696461746f724461746120646f65736e2774206578697374730000000060448201526064015b60405180910390fd5b6040805180820182526001600160a01b0384168082525f90815260026020818152918490208451608081018652815481526001820154818501529181015460ff161515948201949094526003840180549394928501939192916060840191906102d490611dcd565b80601f016020809104026020016040519081016040528092919081815260200182805461030090611dcd565b801561034b5780601f106103225761010080835404028352916020019161034b565b820191905f5260205f20905b81548152906001019060200180831161032e57829003601f168201915b50505091909252505050905292915050565b5f5b8181101561039e5761039683838381811061037c5761037c611dff565b90506020020160208101906103919190611b81565b611256565b60010161035f565b505050565b335f90815260066020526040902080546001600160a01b03166103fa5760405162461bcd60e51b815260206004820152600f60248201526e1513d113ce881b9bdd081d9bdd1959608a1b6044820152606401610263565b8054604080513381526001600160a01b0390921660208301527f6572af8bf9a0a86efb88dcc30011626a15c9c4603503aa4466a3f87a1867deef910160405180910390a160018082015482546001600160a01b03165f908152600260205260408120909201805491929091610470908490611e27565b909155505080546001600160a01b03165f90815260026020526040812080546001929061049e908490611e27565b9091555050335f90815260066020526040812080546001600160a01b03191681556001015550565b6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016330361052f5760405162461bcd60e51b815260206004820152600e60248201526d24b73b30b634b21031b0b63632b960911b6044820152606401610263565b335f9081526003602052604090205460ff161561058e5760405162461bcd60e51b815260206004820152601f60248201527f56616c696461746f7220697320616c72656164792072656769737465726564006044820152606401610263565b5f828260405161059f929190611e3a565b60408051918290039091205f8181526004602052919091205490915060ff16156106175760405162461bcd60e51b815260206004820152602360248201527f424c5331322d333831206b657920697320616c726561647920726567697374656044820152621c995960ea1b6064820152608401610263565b6106218383611336565b5f60405180608001604052805f81526020015f81526020015f1515815260200185858080601f0160208091040260200160405190810160405280939291908181526020018383808284375f920182905250939094525050805492935090508061068983611e49565b9091555050335f9081526003602081815260408084208054600160ff1991821681179092556002808552958390208751815593870151918401919091559085015193820180549091169315159390931790925560608301518392918201906106f19082611ec0565b5050505f82815260046020526040808220805460ff191660019081179091556005805491820181559092527f036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db090910180546001600160a01b0319163390811790915590517f61809fa303a3a57f4d70552f533f3e0b003173d424590cd4bb22a2afe000990c916107849187908790611f7b565b60405180910390a150505050565b6107a26101bc6020830183611b81565b6107ee5760405162461bcd60e51b815260206004820152601c60248201527f56616c696461746f724461746120646f65736e277420657869737473000000006044820152606401610263565b6107fb6020820182611fba565b60025f61080b6020850185611b81565b6001600160a01b0316815260208101919091526040015f2061039e8282612092565b6001600160a01b0381165f9081526003602052604090205460ff166108945760405162461bcd60e51b815260206004820152601760248201527f4d75737420766f746520666f722076616c696461746f720000000000000000006044820152606401610263565b335f908152600660205260409020546001600160a01b0316156108e95760405162461bcd60e51b815260206004820152600d60248201526c105b1c9958591e481d9bdd1959609a1b6044820152606401610263565b6001600160a01b0381165f9081526002602081905260409091209081015460ff16156109625760405162461bcd60e51b815260206004820152602260248201527f4d75737420766f746520666f7220756e72657369676e65642076616c6964617460448201526137b960f11b6064820152608401610263565b6040805180820182526001600160a01b03848116825233803160208085019182525f8381526006909152948520935184546001600160a01b03191693169290921783559051600192830155908301805491319290916109c290849061211a565b9091555050805460019082905f906109db90849061211a565b9091555050604080513381526001600160a01b03841660208201527fce0c7a2a940807f7dc2ce7a615c2532e915e6c0ac9a08bc4ed9d515a710a53e2910160405180910390a15050565b600a546060905f9067ffffffffffffffff811115610a4557610a45611e61565b604051908082528060200260200182016040528015610a7e57816020015b610a6b611aa3565b815260200190600190039081610a635790505b5090505f5b600a54811015610bbd575f600a8281548110610aa157610aa1611dff565b5f9182526020808320909101546001600160a01b03168083526002808352604093849020845180860186528381528551608081018752825481526001830154818701529282015460ff1615159583019590955260038101805493965090949384019285916060840191610b1390611dcd565b80601f0160208091040260200160405190810160405280929190818152602001828054610b3f90611dcd565b8015610b8a5780601f10610b6157610100808354040283529160200191610b8a565b820191905f5260205f20905b815481529060010190602001808311610b6d57829003601f168201915b505050505081525050815250848481518110610ba857610ba8611dff565b60209081029190910101525050600101610a83565b50919050565b610bcb611398565b610bd36114e7565b600780546001600160a01b03191690556001545f80549091610c059160ff8516918491610c009190611e27565b611538565b90508060ff165f03610c15575050565b5f5b600554811015610ec0575f60058281548110610c3557610c35611dff565b5f9182526020808320909101546001600160a01b03168083526002918290526040909220908101549192509060ff1615610c70575050610eb8565b6007546001600160a01b0316610cab5750600780546001600160a01b0319166001600160a01b03929092169190911790556001600955610eb8565b8360ff166009541015610cc957610cc282856115c9565b5050610eb8565b6007546001600160a01b039081165f908152600260208181526040928390208351808501855294871685528351608081018552865481526001870154818401529286015460ff161515938301939093526003850180549394610ea594909392840192918791606084019190610d3d90611dcd565b80601f0160208091040260200160405190810160405280929190818152602001828054610d6990611dcd565b8015610db45780601f10610d8b57610100808354040283529160200191610db4565b820191905f5260205f20905b815481529060010190602001808311610d9757829003601f168201915b5050509190925250505090526040805180820182526007546001600160a01b031681528151608081018352855481526001860154602082810191909152600287015460ff16151593820193909352600386018054929384019287916060840191610e1d90611dcd565b80601f0160208091040260200160405190810160405280929190818152602001828054610e4990611dcd565b8015610e945780601f10610e6b57610100808354040283529160200191610e94565b820191905f5260205f20905b815481529060010190602001808311610e7757829003601f168201915b5050505050815250508152506119a8565b15610eb457610eb483866115c9565b5050505b600101610c17565b506007546001600160a01b0316610ed8600a5f611aec565b8160ff1667ffffffffffffffff811115610ef457610ef4611e61565b604051908082528060200260200182016040528015610f1d578160200160208202803683370190505b508051610f3291600a91602090910190611b0a565b505f5b8260ff16811015610f975781600a8281548110610f5457610f54611dff565b5f91825260208083209190910180546001600160a01b0319166001600160a01b039485161790559382168152600890935260409092205490911690600101610f35565b50505050565b335f9081526003602052604090205460ff16610ffb5760405162461bcd60e51b815260206004820152601960248201527f43616c6c6572206973206e6f7420612076616c696461746f72000000000000006044820152606401610263565b335f9081526002602081905260409091209081015460ff16156110605760405162461bcd60e51b815260206004820152601d60248201527f56616c696461746f7220697320616c72656164792072657369676e65640000006044820152606401610263565b60028101805460ff19166001908117909155805481905f9061108390839061211a565b90915550506040513381527f24250fc1ec78a1405ddd4cc8b75964858af228d05faa8d4bc1302966d8a541179060200160405180910390a150565b6005546060905f9067ffffffffffffffff8111156110de576110de611e61565b60405190808252806020026020018201604052801561111757816020015b611104611aa3565b8152602001906001900390816110fc5790505b5090505f5b600554811015610bbd575f6005828154811061113a5761113a611dff565b5f9182526020808320909101546001600160a01b03168083526002808352604093849020845180860186528381528551608081018752825481526001830154818701529282015460ff16151595830195909552600381018054939650909493840192859160608401916111ac90611dcd565b80601f01602080910402602001604051908101604052809291908181526020018280546111d890611dcd565b80156112235780601f106111fa57610100808354040283529160200191611223565b820191905f5260205f20905b81548152906001019060200180831161120657829003601f168201915b50505050508152505081525084848151811061124157611241611dff565b6020908102919091010152505060010161111c565b6001600160a01b038082165f908152600660205260409020805490911661127b575050565b60018101546001600160a01b038316318110156112dc576112a6816001600160a01b03851631611e27565b82546001600160a01b03165f90815260026020526040812060010180549091906112d190849061211a565b909155506113219050565b6112f06001600160a01b0384163182611e27565b82546001600160a01b03165f908152600260205260408120600101805490919061131b908490611e27565b90915550505b506001600160a01b0390911631600190910155565b603081146113945760405162461bcd60e51b815260206004820152602560248201527f424c5331322d333831207075626c69634b6579206c656e67746820697320696e6044820152641d985b1a5960da1b6064820152608401610263565b5050565b6005545f6113a7600183611e27565b90505b8015611394575f6113bc82600161211a565b60408051426020820152449181019190915260608101849052608001604051602081830303815290604052805190602001205f1c6113fa919061212d565b90505f6005838154811061141057611410611dff565b5f91825260209091200154600580546001600160a01b039092169250908390811061143d5761143d611dff565b5f91825260209091200154600580546001600160a01b03909216918590811061146857611468611dff565b905f5260205f20015f6101000a8154816001600160a01b0302191690836001600160a01b0316021790555080600583815481106114a7576114a7611dff565b905f5260205f20015f6101000a8154816001600160a01b0302191690836001600160a01b03160217905550505080806114df9061214c565b9150506113aa565b6007546001600160a01b03165b6001600160a01b03811615611531576001600160a01b039081165f90815260086020526040902080546001600160a01b03198116909155166114f4565b505f600955565b5f818311156115a15760405162461bcd60e51b815260206004820152602f60248201527f4d696e696d756d2073686f756c64206265206c657373207468616e206f72206560448201526e7175616c20746f206d6178696d756d60881b6064820152608401610263565b828410156115b05750816115c2565b818411156115bf5750806115c2565b50825b9392505050565b6001600160a01b0382165f9081526002602081815260408084208151608081018352815481526001820154938101939093529283015460ff1615159082015260038201805491929160608401919061162090611dcd565b80601f016020809104026020016040519081016040528092919081815260200182805461164c90611dcd565b80156116975780601f1061166e57610100808354040283529160200191611697565b820191905f5260205f20905b81548152906001019060200180831161167a57829003601f168201915b5050509190925250506040805180820182526007546001600160a01b03168082525f90815260026020818152918490208451608081018652815481526001820154818501529181015460ff161515948201949094526003840180549697506117b8969395509185019390929091606084019161171290611dcd565b80601f016020809104026020016040519081016040528092919081815260200182805461173e90611dcd565b80156117895780601f1061176057610100808354040283529160200191611789565b820191905f5260205f20905b81548152906001019060200180831161176c57829003601f168201915b5050505050815250508152506040518060400160405280866001600160a01b03168152602001848152506119a8565b156117cb576117c6836119f4565b611949565b6007546001600160a01b039081165f81815260086020526040902054909116905b6001600160a01b038216611809576118048186611a45565b611946565b6040805180820182526001600160a01b0384168082525f90815260026020818152918490208451608081018652815481526001820154818501529181015460ff16151594820194909452600384018054611916959385019391606084019161187090611dcd565b80601f016020809104026020016040519081016040528092919081815260200182805461189c90611dcd565b80156118e75780601f106118be576101008083540402835291602001916118e7565b820191905f5260205f20905b8154815290600101906020018083116118ca57829003601f168201915b5050505050815250508152506040518060400160405280886001600160a01b03168152602001868152506119a8565b15611925576118048186611a45565b506001600160a01b038082165f9081526008602052604090205416906117ec565b50505b8160ff16600954111561039e57600780546001600160a01b039081165f90815260086020526040812080546001600160a01b0319808216909255845493169216821790925560098054919261199d8361214c565b919050555050505050565b5f816020015160200151836020015160200151036119d85750805182516001600160a01b039182169116116119ee565b8160200151602001518360200151602001511190505b92915050565b600780546001600160a01b038381165f8181526008602052604081208054939094166001600160a01b0319938416179093558354909116179091556009805491611a3d83611e49565b919050555050565b6001600160a01b038281165f8181526008602052604080822080548686168085529284208054919096166001600160a01b031991821617909555928252825490931690921790556009805491611a9a83611e49565b91905055505050565b60405180604001604052805f6001600160a01b03168152602001611ae760405180608001604052805f81526020015f81526020015f15158152602001606081525090565b905290565b5080545f8255905f5260205f2090810190611b079190611b6d565b50565b828054828255905f5260205f20908101928215611b5d579160200282015b82811115611b5d57825182546001600160a01b0319166001600160a01b03909116178255602090920191600190910190611b28565b50611b69929150611b6d565b5090565b5b80821115611b69575f8155600101611b6e565b5f60208284031215611b91575f5ffd5b81356001600160a01b03811681146115c2575f5ffd5b60018060a01b0381511682525f602082015160406020850152805160408501526020810151606085015260408101511515608085015260608101519050608060a085015280518060c08601525f5b81811015611c1257602081840181015160e0888401015201611bf5565b505f60e0828701015260e0601f19601f8301168601019250505092915050565b602081525f6115c26020830184611ba7565b5f5f60208385031215611c55575f5ffd5b823567ffffffffffffffff811115611c6b575f5ffd5b8301601f81018513611c7b575f5ffd5b803567ffffffffffffffff811115611c91575f5ffd5b8560208260051b8401011115611ca5575f5ffd5b6020919091019590945092505050565b5f5f60208385031215611cc6575f5ffd5b823567ffffffffffffffff811115611cdc575f5ffd5b8301601f81018513611cec575f5ffd5b803567ffffffffffffffff811115611d02575f5ffd5b856020828401011115611ca5575f5ffd5b5f60208284031215611d23575f5ffd5b813567ffffffffffffffff811115611d39575f5ffd5b8201604081850312156115c2575f5ffd5b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b82811015611da157603f19878603018452611d8c858351611ba7565b94506020938401939190910190600101611d70565b50929695505050505050565b5f60208284031215611dbd575f5ffd5b813560ff811681146115c2575f5ffd5b600181811c90821680611de157607f821691505b602082108103610bbd57634e487b7160e01b5f52602260045260245ffd5b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b818103818111156119ee576119ee611e13565b818382375f9101908152919050565b5f60018201611e5a57611e5a611e13565b5060010190565b634e487b7160e01b5f52604160045260245ffd5b601f82111561039e57805f5260205f20601f840160051c81016020851015611e9a5750805b601f840160051c820191505b81811015611eb9575f8155600101611ea6565b5050505050565b815167ffffffffffffffff811115611eda57611eda611e61565b611eee81611ee88454611dcd565b84611e75565b6020601f821160018114611f20575f8315611f095750848201515b5f19600385901b1c1916600184901b178455611eb9565b5f84815260208120601f198516915b82811015611f4f5787850151825560209485019460019092019101611f2f565b5084821015611f6c57868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b6001600160a01b03841681526040602082018190528101829052818360608301375f818301606090810191909152601f909201601f1916010192915050565b5f8235607e19833603018112611fce575f5ffd5b9190910192915050565b67ffffffffffffffff831115611ff057611ff0611e61565b61200483611ffe8354611dcd565b83611e75565b5f601f841160018114612035575f851561201e5750838201355b5f19600387901b1c1916600186901b178355611eb9565b5f83815260208120601f198716915b828110156120645786850135825560209485019460019092019101612044565b5086821015612080575f1960f88860031b161c19848701351681555b505060018560011b0183555050505050565b81358155602082013560018201556002810160408301358015158082146120b7575f5ffd5b60ff19835416915060ff8116821783555050506060820135601e198336030181126120e0575f5ffd5b8201803567ffffffffffffffff8111156120f8575f5ffd5b60208201915080360382131561210c575f5ffd5b610f97818360038601611fd8565b808201808211156119ee576119ee611e13565b5f8261214757634e487b7160e01b5f52601260045260245ffd5b500690565b5f8161215a5761215a611e13565b505f19019056fea26469706673582212208483eac18c17b7b489b2525c30682bde046eb73b97e4083f9685acc5f05b145b64736f6c634300081b0033",
211
+ "sourceMap": "1326:8925:23:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5950:104;6026:24;;5950:104;;;160:25:30;;;148:2;133:18;5950:104:23;;;;;;;;6057:109;6131:24;:31;6057:109;;7689:229;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;9037:185::-;;;;;;:::i;:::-;;:::i;:::-;;8687:347;;;:::i;6169:878::-;;;;;;:::i;:::-;;:::i;7921:213::-;;;;;;:::i;:::-;;:::i;8137:547::-;;;;;;:::i;:::-;;:::i;4986:401::-;;;:::i;:::-;;;;;;;:::i;2634:1134::-;;;;;;:::i;:::-;;:::i;7050:361::-;;;:::i;7414:116::-;;;;;;:::i;:::-;-1:-1:-1;;;;;7497:29:23;7480:4;7497:29;;;:23;:29;;;;;;;;;7414:116;;;;4506:14:30;;4499:22;4481:41;;4469:2;4454:18;7414:116:23;4341:187:30;5839:108:23;5897:7;5917:26;5839:108;;5390:446;;;:::i;7689:229::-;7747:16;;:::i;:::-;-1:-1:-1;;;;;7497:29:23;;7480:4;7497:29;;;:23;:29;;;;;;;;7769:71;;;;-1:-1:-1;;;7769:71:23;;4735:2:30;7769:71:23;;;4717:21:30;4774:2;4754:18;;;4747:30;4813;4793:18;;;4786:58;4861:18;;7769:71:23;;;;;;;;;7851:63;;;;;;;;-1:-1:-1;;;;;7851:63:23;;;;;-1:-1:-1;7881:31:23;;;:24;7851:63;7881:31;;;;;;;7851:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7881:31;7851:63;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;7851:63:23;;;;-1:-1:-1;;;7851:63:23;;7844:70;7689:229;-1:-1:-1;;7689:229:23:o;9037:185::-;9150:6;9145:74;9162:17;;;9145:74;;;9191:23;9204:6;;9211:1;9204:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;9191:12;:23::i;:::-;9181:3;;9145:74;;;;9037:185;;:::o;8687:347::-;8746:10;8718:18;8739;;;:6;:18;;;;;8769:15;;-1:-1:-1;;;;;8769:15:23;8761:57;;;;-1:-1:-1;;;8761:57:23;;5609:2:30;8761:57:23;;;5591:21:30;5648:2;5628:18;;;5621:30;-1:-1:-1;;;5667:18:30;;;5660:45;5722:18;;8761:57:23;5407:339:30;8761:57:23;8848:15;;8828:36;;;8836:10;5925:51:30;;-1:-1:-1;;;;;8848:15:23;;;6007:2:30;5992:18;;5985:60;8828:36:23;;5898:18:30;8828:36:23;;;;;;;8926:13;;;;;8894:15;;-1:-1:-1;;;;;8894:15:23;8869:41;;;;:24;:41;;;;;:53;;;:70;;8926:13;;8869:53;;:70;;8926:13;;8869:70;:::i;:::-;;;;-1:-1:-1;;8968:15:23;;-1:-1:-1;;;;;8968:15:23;8943:41;;;;:24;:41;;;;;:58;;9000:1;;8943:41;:58;;9000:1;;8943:58;:::i;:::-;;;;-1:-1:-1;;9019:10:23;9012:18;;;;:6;:18;;;;;9005:25;;-1:-1:-1;;;;;;9005:25:23;;;;;;-1:-1:-1;8687:347:23:o;6169:878::-;-1:-1:-1;;;;;6268:6:23;6254:20;:10;:20;6246:47;;;;-1:-1:-1;;;6246:47:23;;6523:2:30;6246:47:23;;;6505:21:30;6562:2;6542:18;;;6535:30;-1:-1:-1;;;6581:18:30;;;6574:44;6635:18;;6246:47:23;6321:338:30;6246:47:23;6330:10;6306:35;;;;:23;:35;;;;;;;;6305:36;6297:80;;;;-1:-1:-1;;;6297:80:23;;6866:2:30;6297:80:23;;;6848:21:30;6905:2;6885:18;;;6878:30;6944:33;6924:18;;;6917:61;6995:18;;6297:80:23;6664:355:30;6297:80:23;6382:27;6422:20;;6412:31;;;;;;;:::i;:::-;;;;;;;;;;;6457:42;;;;:21;:42;;;;;;;6412:31;;-1:-1:-1;6457:42:23;;6456:43;6448:91;;;;-1:-1:-1;;;6448:91:23;;7502:2:30;6448:91:23;;;7484:21:30;7541:2;7521:18;;;7514:30;7580:34;7560:18;;;7553:62;-1:-1:-1;;;7631:18:30;;;7624:33;7674:19;;6448:91:23;7300:399:30;6448:91:23;6544:46;6569:20;;6544:24;:46::i;:::-;6595:30;6628:126;;;;;;;;6660:1;6628:126;;;;6679:1;6628:126;;;;6697:5;6628:126;;;;;;6729:20;;6628:126;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;6628:126:23;;;;-1:-1:-1;;6759:28:23;;6595:159;;-1:-1:-1;6628:126:23;-1:-1:-1;6628:126:23;6759:28;;;:::i;:::-;;;;-1:-1:-1;;6815:10:23;6791:35;;;;:23;:35;;;;;;;;:42;;6829:4;-1:-1:-1;;6791:42:23;;;;;;;;6837:24;:36;;;;;;;:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:36;:48;;;;;;;:::i;:::-;-1:-1:-1;;;6889:42:23;;;;:21;:42;;;;;;:49;;-1:-1:-1;;6889:49:23;6934:4;6889:49;;;;;;6942:21;:38;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;6942:38:23;6969:10;6942:38;;;;;;6990:53;;;;;;7022:20;;;;6990:53;:::i;:::-;;;;;;;;6242:805;;6169:878;;:::o;7921:213::-;7996:38;8018:15;;;;:10;:15;:::i;7996:38::-;7988:79;;;;-1:-1:-1;;;7988:79:23;;4735:2:30;7988:79:23;;;4717:21:30;4774:2;4754:18;;;4747:30;4813;4793:18;;;4786:58;4861:18;;7988:79:23;4533:352:30;7988:79:23;8115:15;;;;:10;:15;:::i;:::-;8071:24;:41;8096:15;;;;:10;:15;:::i;:::-;-1:-1:-1;;;;;8071:41:23;;;;;;;;;;;;-1:-1:-1;8071:41:23;:59;;:41;:59;:::i;8137:547::-;-1:-1:-1;;;;;7497:29:23;;7480:4;7497:29;;;:23;:29;;;;;;;;8178:63;;;;-1:-1:-1;;;8178:63:23;;13504:2:30;8178:63:23;;;13486:21:30;13543:2;13523:18;;;13516:30;13582:25;13562:18;;;13555:53;13625:18;;8178:63:23;13302:347:30;8178:63:23;8260:10;8293:1;8253:18;;;:6;:18;;;;;:28;-1:-1:-1;;;;;8253:28:23;:42;8245:68;;;;-1:-1:-1;;;8245:68:23;;13856:2:30;8245:68:23;;;13838:21:30;13895:2;13875:18;;;13868:30;-1:-1:-1;;;13914:18:30;;;13907:43;13967:18;;8245:68:23;13654:337:30;8245:68:23;-1:-1:-1;;;;;8356:30:23;;8318:35;8356:30;;;:24;:30;;;;;;;;8399:24;;;;;;8398:25;8390:72;;;;-1:-1:-1;;;8390:72:23;;14198:2:30;8390:72:23;;;14180:21:30;14237:2;14217:18;;;14210:30;14276:34;14256:18;;;14249:62;-1:-1:-1;;;14327:18:30;;;14320:32;14369:19;;8390:72:23;13996:398:30;8390:72:23;8488:52;;;;;;;;-1:-1:-1;;;;;8488:52:23;;;;;8520:10;:18;;8488:52;;;;;;;-1:-1:-1;8467:18:23;;;:6;:18;;;;;;:73;;;;-1:-1:-1;;;;;;8467:73:23;;;;;;;;;;;-1:-1:-1;8467:73:23;;;;8566:25;;;:47;;8595:18;;;8566:25;;:47;;8595:18;;8566:47;:::i;:::-;;;;-1:-1:-1;;8617:30:23;;8646:1;;8617:13;;:25;;:30;;8646:1;;8617:30;:::i;:::-;;;;-1:-1:-1;;8657:23:23;;;8663:10;5925:51:30;;-1:-1:-1;;;;;6012:32:30;;6007:2;5992:18;;5985:60;8657:23:23;;5898:18:30;8657:23:23;;;;;;;8174:510;8137:547;:::o;4986:401::-;5103:24;:31;5035:18;;5059:25;;5087:48;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;-1:-1:-1;5059:76:23;-1:-1:-1;5144:6:23;5139:227;5160:24;:31;5156:35;;5139:227;;;5203:12;5218:24;5243:1;5218:27;;;;;;;;:::i;:::-;;;;;;;;;;;;;-1:-1:-1;;;;;5218:27:23;5279:30;;;:24;:30;;;;;;;;5326:35;;;;;;;;;;;;;;;;;;;;;5218:27;5326:35;;;;;;;;;;;;;;;;;;;;;;;;;;;5218:27;;-1:-1:-1;5279:30:23;;5326:35;;;;5279:30;;5326:35;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5314:6;5321:1;5314:9;;;;;;;;:::i;:::-;;;;;;;;;;:47;-1:-1:-1;;5193:3:23;;5139:227;;;-1:-1:-1;5377:6:23;4986:401;-1:-1:-1;4986:401:23:o;2634:1134::-;2688:9;:7;:9::i;:::-;2701:21;:19;:21::i;:::-;2727:5;:18;;-1:-1:-1;;;;;;2727:18:23;;;;2810:24;2743:1;2781:26;;2743:1;;2768:67;;;;;;2743:1;;2781:53;;2810:24;2781:53;:::i;:::-;2768:6;:67::i;:::-;2750:86;;2903:3;:8;;2910:1;2903:8;2899:30;;2918:7;2634:1134;:::o;2899:30::-;2938:6;2933:613;2954:21;:28;2950:32;;2933:613;;;2994:12;3009:21;3031:1;3009:24;;;;;;;;:::i;:::-;;;;;;;;;;;;;-1:-1:-1;;;;;3009:24:23;3068:30;;;:24;:30;;;;;;;;3106:15;;;;3009:24;;-1:-1:-1;3068:30:23;3106:15;;3103:40;;;3129:8;;;;3103:40;3151:5;;-1:-1:-1;;;;;3151:5:23;3148:91;;-1:-1:-1;3178:5:23;:12;;-1:-1:-1;;;;;;3178:12:23;-1:-1:-1;;;;;3178:12:23;;;;;;;;;;-1:-1:-1;3196:19:23;:23;3225:8;;3148:91;3271:3;3249:25;;:19;;:25;3245:86;;;3282:29;3301:4;3307:3;3282:18;:29::i;:::-;3317:8;;;;3245:86;3394:5;;-1:-1:-1;;;;;3394:5:23;;;3336:30;3369:31;;;:24;:31;;;;;;;;;3421:35;;;;;;;;;;;;;;;;;;;;;;;3394:5;3421:35;;;;;;;;;;;;;;;;;;;;;;;;;;;3369:31;;3410:89;;3421:35;;;;;;;3450:4;;3421:35;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3421:35:23;;;;-1:-1:-1;;;3421:35:23;;3458:40;;;;;;;;3475:5;;-1:-1:-1;;;;;3475:5:23;3458:40;;;;;;;;;;;;;3475:5;3458:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3488:8;;3458:40;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3410:10;:89::i;:::-;3406:136;;;3507:29;3526:4;3532:3;3507:18;:29::i;:::-;2989:557;;;2933:613;2984:3;;2933:613;;;-1:-1:-1;3565:5:23;;-1:-1:-1;;;;;3565:5:23;3574:31;3581:24;3550:12;3574:31;:::i;:::-;3650:3;3636:18;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3636:18:23;-1:-1:-1;3609:45:23;;;;:24;;:45;;;;;;:::i;:::-;-1:-1:-1;3663:6:23;3658:107;3679:3;3675:7;;:1;:7;3658:107;;;3724:4;3694:24;3719:1;3694:27;;;;;;;;:::i;:::-;;;;;;;;;;;;;:34;;-1:-1:-1;;;;;;3694:34:23;-1:-1:-1;;;;;3694:34:23;;;;;;3740:20;;;;;:14;:20;;;;;;;;;;;;-1:-1:-1;3684:3:23;3658:107;;;;2684:1084;;2634:1134;:::o;7050:361::-;7120:10;7480:4;7497:29;;;:23;:29;;;;;;;;7090:71;;;;-1:-1:-1;;;7090:71:23;;14731:2:30;7090:71:23;;;14713:21:30;14770:2;14750:18;;;14743:30;14809:27;14789:18;;;14782:55;14854:18;;7090:71:23;14529:349:30;7090:71:23;7225:10;7166:31;7200:36;;;:24;:36;;;;;;;;7249:20;;;;;;7248:21;7240:63;;;;-1:-1:-1;;;7240:63:23;;15085:2:30;7240:63:23;;;15067:21:30;15124:2;15104:18;;;15097:30;15163:31;15143:18;;;15136:59;15212:18;;7240:63:23;14883:353:30;7240:63:23;7308:20;;;:27;;-1:-1:-1;;7308:27:23;7331:4;7308:27;;;;;;7339:29;;7331:4;;7308:20;;7339:29;;7331:4;;7339:29;:::i;:::-;;;;-1:-1:-1;;7378:29:23;;7396:10;15387:51:30;;7378:29:23;;15375:2:30;15360:18;7378:29:23;;;;;;;7086:325;7050:361::o;5390:446::-;5513:21;:28;5439:18;;5469:25;;5497:45;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;-1:-1:-1;5469:73:23;-1:-1:-1;5557:6:23;5552:254;5573:21;:28;5569:32;;5552:254;;;5622:12;5637:21;5659:1;5637:24;;;;;;;;:::i;:::-;;;;;;;;;;;;;-1:-1:-1;;;;;5637:24:23;5704:30;;;:24;:30;;;;;;;;5760:35;;;;;;;;;;;;;;;;;;;;;5637:24;5760:35;;;;;;;;;;;;;;;;;;;;;;;;;;;5637:24;;-1:-1:-1;5704:30:23;;5760:35;;;;5704:30;;5760:35;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5748:6;5755:1;5748:9;;;;;;;;:::i;:::-;;;;;;;;;;:47;-1:-1:-1;;5603:3:23;;5552:254;;9225:444;-1:-1:-1;;;;;9294:12:23;;;9273:18;9294:12;;;:6;:12;;;;;9314:15;;9294:12;;9314:15;9310:51;;9350:7;9225:444;:::o;9310:51::-;9388:13;;;;-1:-1:-1;;;;;9425:12:23;;;9410:27;;9406:227;;;9501:27;9516:12;-1:-1:-1;;;;;9501:12:23;;;:27;:::i;:::-;9469:15;;-1:-1:-1;;;;;9469:15:23;9444:41;;;;:24;:41;;;;;9469:15;9444:53;:84;;:53;;:41;:84;;;;;:::i;:::-;;;;-1:-1:-1;9406:227:23;;-1:-1:-1;9406:227:23;;9601:27;-1:-1:-1;;;;;9616:12:23;;;9601;:27;:::i;:::-;9569:15;;-1:-1:-1;;;;;9569:15:23;9544:41;;;;:24;:41;;;;;9569:15;9544:53;:84;;:53;;:41;:84;;;;;:::i;:::-;;;;-1:-1:-1;;9406:227:23;-1:-1:-1;;;;;;9653:12:23;;;;9637:13;;;;:28;9225:444::o;7533:153::-;7638:2;7618:22;;7610:72;;;;-1:-1:-1;;;7610:72:23;;15651:2:30;7610:72:23;;;15633:21:30;15690:2;15670:18;;;15663:30;15729:34;15709:18;;;15702:62;-1:-1:-1;;;15780:18:30;;;15773:35;15825:19;;7610:72:23;15449:401:30;7610:72:23;7533:153;;:::o;1952:448::-;1996:21;:28;1984:9;2045:5;2049:1;1996:28;2045:5;:::i;:::-;2033:17;;2028:369;2052:5;;2028:369;;2122:9;2212:5;:1;2216;2212:5;:::i;:::-;2152:54;;;2169:15;2152:54;;;16040:19:30;2186:16:23;16075:12:30;;;16068:28;;;;16112:12;;;16105:28;;;16149:12;;2152:54:23;;;;;;;;;;;;2142:65;;;;;;2134:74;;:84;;;;:::i;:::-;2122:96;;2261:12;2276:21;2298:1;2276:24;;;;;;;;:::i;:::-;;;;;;;;;;;2332:21;:24;;-1:-1:-1;;;;;2276:24:23;;;;-1:-1:-1;2332:21:23;2354:1;;2332:24;;;;;;:::i;:::-;;;;;;;;;;;2305:21;:24;;-1:-1:-1;;;;;2332:24:23;;;;2327:1;;2305:24;;;;;;:::i;:::-;;;;;;;;;:51;;;;;-1:-1:-1;;;;;2305:51:23;;;;;-1:-1:-1;;;;;2305:51:23;;;;;;2388:4;2361:21;2383:1;2361:24;;;;;;;;:::i;:::-;;;;;;;;;:31;;;;;-1:-1:-1;;;;;2361:31:23;;;;;-1:-1:-1;;;;;2361:31:23;;;;;;2064:333;;2059:3;;;;;:::i;:::-;;;;2028:369;;2403:228;2462:5;;-1:-1:-1;;;;;2462:5:23;2472:129;-1:-1:-1;;;;;2479:18:23;;;2472:129;;-1:-1:-1;;;;;2538:23:23;;;2504:15;2538:23;;;:14;:23;;;;;;;-1:-1:-1;;;;;;2566:30:23;;;;;2538:23;2472:129;;;-1:-1:-1;2626:1:23;2604:19;:23;2403:228::o;9972:277::-;10051:7;10079:3;10072;:10;;10064:70;;;;-1:-1:-1;;;10064:70:23;;16729:2:30;10064:70:23;;;16711:21:30;16768:2;16748:18;;;16741:30;16807:34;16787:18;;;16780:62;-1:-1:-1;;;16858:18:30;;;16851:45;16913:19;;10064:70:23;16527:411:30;10064:70:23;10150:3;10142:5;:11;10138:108;;;-1:-1:-1;10167:3:23;10160:10;;10138:108;10193:3;10185:5;:11;10181:65;;;-1:-1:-1;10210:3:23;10203:10;;10181:65;-1:-1:-1;10236:5:23;10181:65;9972:277;;;;;:::o;3771:921::-;-1:-1:-1;;;;;3865:30:23;;3837:25;3865:30;;;:24;:30;;;;;;;;3837:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3865:30;3837:58;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3837:58:23;;;;-1:-1:-1;;3924:63:23;;;;;;;;3941:5;;-1:-1:-1;;;;;3941:5:23;3924:63;;;-1:-1:-1;3954:31:23;;;:24;3924:63;3954:31;;;;;;;3924:63;;;;;;;;;;;3941:5;3924:63;;;;;;;;;;;;;;;;;;;;;;;;;;;3837:58;;-1:-1:-1;3908:125:23;;3924:63;;-1:-1:-1;3924:63:23;;;;;;3954:31;;3924:63;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3993:35;;;;;;;;4010:4;-1:-1:-1;;;;;3993:35:23;;;;;4022:4;3993:35;;;3908:10;:125::i;:::-;3900:632;;;4043:16;4054:4;4043:10;:16::i;:::-;3900:632;;;4108:5;;-1:-1:-1;;;;;4108:5:23;;;4075:15;4093:21;;;:14;:21;;;;;;;;;;4149:379;-1:-1:-1;;;;;4172:21:23;;4168:80;;4202:27;4214:8;4224:4;4202:11;:27::i;:::-;4236:5;;4168:80;4282:67;;;;;;;;-1:-1:-1;;;;;4282:67:23;;;;;-1:-1:-1;4314:33:23;;;:24;4282:67;4314:33;;;;;;;4282:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4264:135;;4282:67;;;;4314:33;4282:67;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4357:35;;;;;;;;4374:4;-1:-1:-1;;;;;4357:35:23;;;;;4386:4;4357:35;;;4264:10;:135::i;:::-;4254:205;;;4413:27;4425:8;4435:4;4413:11;:27::i;4254:205::-;-1:-1:-1;;;;;;4499:23:23;;;;;;;:14;:23;;;;;;;;4149:379;;;4070:462;;3900:632;4562:3;4540:25;;:19;;:25;4536:153;;;4602:5;;;-1:-1:-1;;;;;4602:5:23;;;4572:12;4587:21;;;:14;:21;;;;;;;-1:-1:-1;;;;;;4613:28:23;;;;;;4646:12;;4587:21;;4646:12;;;;;;;4663:19;:21;;4587;;4663;;;:::i;:::-;;;;;;4567:122;3833:859;3771:921;;:::o;9672:297::-;9773:4;9818:10;:15;;;:27;;;9787:10;:15;;;:27;;;:58;9783:114;;-1:-1:-1;9877:15:23;;9859;;-1:-1:-1;;;;;9859:33:23;;;;;;9852:40;;9783:114;9938:10;:15;;;:27;;;9908:10;:15;;;:27;;;:57;9901:64;;9672:297;;;;;:::o;4695:120::-;4765:5;;;-1:-1:-1;;;;;4742:20:23;;;4765:5;4742:20;;;:14;:20;;;;;:28;;4765:5;;;;-1:-1:-1;;;;;;4742:28:23;;;;;;;4774:12;;;;;;;;;4790:19;:21;;;;;;:::i;:::-;;;;;;4695:120;:::o;4818:165::-;-1:-1:-1;;;;;4903:20:23;;;;;;;:14;:20;;;;;;;;4880;;;;;;;;;:43;;4903:20;;;;-1:-1:-1;;;;;;4880:43:23;;;;;;;4927:20;;;:27;;;;;;;;;;4958:19;:21;;;;;;:::i;:::-;;;;;;4818:165;;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;196:286:30;255:6;308:2;296:9;287:7;283:23;279:32;276:52;;;324:1;321;314:12;276:52;350:23;;-1:-1:-1;;;;;402:31:30;;392:42;;382:70;;448:1;445;438:12;487:871;604:1;600;595:3;591:11;587:19;579:5;573:12;569:38;564:3;557:51;539:3;654:4;647:5;643:16;637:23;692:4;685;680:3;676:14;669:28;735:12;729:19;722:4;717:3;713:14;706:43;803:4;789:12;785:23;779:30;774:2;769:3;765:12;758:52;880:4;866:12;862:23;856:30;849:38;842:46;835:4;830:3;826:14;819:70;944:2;930:12;926:21;920:28;898:50;;979:4;973:3;968;964:13;957:27;1013:14;1007:21;1059:6;1053:3;1048;1044:13;1037:29;1084:1;1094:147;1108:6;1105:1;1102:13;1094:147;;;1224:4;1200:22;;;1196:33;;1190:40;1184:3;1171:11;;;1167:21;1160:71;1123:12;1094:147;;;1098:3;1285:1;1279:3;1270:6;1265:3;1261:16;1257:26;1250:37;1348:3;1341:2;1337:7;1332:2;1324:6;1320:15;1316:29;1311:3;1307:39;1303:49;1296:56;;;;487:871;;;;:::o;1363:266::-;1548:2;1537:9;1530:21;1511:4;1568:55;1619:2;1608:9;1604:18;1596:6;1568:55;:::i;1634:610::-;1720:6;1728;1781:2;1769:9;1760:7;1756:23;1752:32;1749:52;;;1797:1;1794;1787:12;1749:52;1837:9;1824:23;1870:18;1862:6;1859:30;1856:50;;;1902:1;1899;1892:12;1856:50;1925:22;;1978:4;1970:13;;1966:27;-1:-1:-1;1956:55:30;;2007:1;2004;1997:12;1956:55;2047:2;2034:16;2073:18;2065:6;2062:30;2059:50;;;2105:1;2102;2095:12;2059:50;2158:7;2153:2;2143:6;2140:1;2136:14;2132:2;2128:23;2124:32;2121:45;2118:65;;;2179:1;2176;2169:12;2118:65;2210:2;2202:11;;;;;2232:6;;-1:-1:-1;1634:610:30;-1:-1:-1;;;1634:610:30:o;2249:586::-;2319:6;2327;2380:2;2368:9;2359:7;2355:23;2351:32;2348:52;;;2396:1;2393;2386:12;2348:52;2436:9;2423:23;2469:18;2461:6;2458:30;2455:50;;;2501:1;2498;2491:12;2455:50;2524:22;;2577:4;2569:13;;2565:27;-1:-1:-1;2555:55:30;;2606:1;2603;2596:12;2555:55;2646:2;2633:16;2672:18;2664:6;2661:30;2658:50;;;2704:1;2701;2694:12;2658:50;2749:7;2744:2;2735:6;2731:2;2727:15;2723:24;2720:37;2717:57;;;2770:1;2767;2760:12;2840:389;2929:6;2982:2;2970:9;2961:7;2957:23;2953:32;2950:52;;;2998:1;2995;2988:12;2950:52;3038:9;3025:23;3071:18;3063:6;3060:30;3057:50;;;3103:1;3100;3093:12;3057:50;3126:22;;3182:2;3164:16;;;3160:25;3157:45;;;3198:1;3195;3188:12;3234:828;3432:4;3480:2;3469:9;3465:18;3510:2;3499:9;3492:21;3533:6;3568;3562:13;3599:6;3591;3584:22;3637:2;3626:9;3622:18;3615:25;;3699:2;3689:6;3686:1;3682:14;3671:9;3667:30;3663:39;3649:53;;3737:2;3729:6;3725:15;3758:1;3768:265;3782:6;3779:1;3776:13;3768:265;;;3875:2;3871:7;3859:9;3851:6;3847:22;3843:36;3838:3;3831:49;3903:50;3946:6;3937;3931:13;3903:50;:::i;:::-;3893:60;-1:-1:-1;3988:2:30;4011:12;;;;3976:15;;;;;3804:1;3797:9;3768:265;;;-1:-1:-1;4050:6:30;;3234:828;-1:-1:-1;;;;;;3234:828:30:o;4067:269::-;4124:6;4177:2;4165:9;4156:7;4152:23;4148:32;4145:52;;;4193:1;4190;4183:12;4145:52;4232:9;4219:23;4282:4;4275:5;4271:16;4264:5;4261:27;4251:55;;4302:1;4299;4292:12;4890:380;4969:1;4965:12;;;;5012;;;5033:61;;5087:4;5079:6;5075:17;5065:27;;5033:61;5140:2;5132:6;5129:14;5109:18;5106:38;5103:161;;5186:10;5181:3;5177:20;5174:1;5167:31;5221:4;5218:1;5211:15;5249:4;5246:1;5239:15;5275:127;5336:10;5331:3;5327:20;5324:1;5317:31;5367:4;5364:1;5357:15;5391:4;5388:1;5381:15;6056:127;6117:10;6112:3;6108:20;6105:1;6098:31;6148:4;6145:1;6138:15;6172:4;6169:1;6162:15;6188:128;6255:9;;;6276:11;;;6273:37;;;6290:18;;:::i;7024:271::-;7207:6;7199;7194:3;7181:33;7163:3;7233:16;;7258:13;;;7233:16;7024:271;-1:-1:-1;7024:271:30:o;7704:135::-;7743:3;7764:17;;;7761:43;;7784:18;;:::i;:::-;-1:-1:-1;7831:1:30;7820:13;;7704:135::o;7844:127::-;7905:10;7900:3;7896:20;7893:1;7886:31;7936:4;7933:1;7926:15;7960:4;7957:1;7950:15;8101:517;8202:2;8197:3;8194:11;8191:421;;;8238:5;8235:1;8228:16;8282:4;8279:1;8269:18;8352:2;8340:10;8336:19;8333:1;8329:27;8323:4;8319:38;8388:4;8376:10;8373:20;8370:47;;;-1:-1:-1;8411:4:30;8370:47;8466:2;8461:3;8457:12;8454:1;8450:20;8444:4;8440:31;8430:41;;8521:81;8539:2;8532:5;8529:13;8521:81;;;8598:1;8584:16;;8565:1;8554:13;8521:81;;;8525:3;;8101:517;;;:::o;8794:1295::-;8918:3;8912:10;8945:18;8937:6;8934:30;8931:56;;;8967:18;;:::i;:::-;8996:96;9085:6;9045:38;9077:4;9071:11;9045:38;:::i;:::-;9039:4;8996:96;:::i;:::-;9141:4;9172:2;9161:14;;9189:1;9184:648;;;;9876:1;9893:6;9890:89;;;-1:-1:-1;9945:19:30;;;9939:26;9890:89;-1:-1:-1;;8751:1:30;8747:11;;;8743:24;8739:29;8729:40;8775:1;8771:11;;;8726:57;9992:81;;9154:929;;9184:648;8048:1;8041:14;;;8085:4;8072:18;;-1:-1:-1;;9220:20:30;;;9337:222;9351:7;9348:1;9345:14;9337:222;;;9433:19;;;9427:26;9412:42;;9540:4;9525:20;;;;9493:1;9481:14;;;;9367:12;9337:222;;;9341:3;9587:6;9578:7;9575:19;9572:201;;;9648:19;;;9642:26;-1:-1:-1;;9731:1:30;9727:14;;;9743:3;9723:24;9719:37;9715:42;9700:58;9685:74;;9572:201;-1:-1:-1;;;;9819:1:30;9803:14;;;9799:22;9786:36;;-1:-1:-1;8794:1295:30:o;10094:485::-;-1:-1:-1;;;;;10279:32:30;;10261:51;;10348:2;10343;10328:18;;10321:30;;;10367:18;;10360:34;;;10387:6;10436;10431:2;10416:18;;10403:48;10500:1;10471:22;;;10495:2;10467:31;;;10460:42;;;;10563:2;10542:15;;;-1:-1:-1;;10538:29:30;10523:45;10519:54;;10094:485;-1:-1:-1;;10094:485:30:o;10584:332::-;10684:4;10742:11;10729:25;10836:3;10832:8;10821;10805:14;10801:29;10797:44;10777:18;10773:69;10763:97;;10856:1;10853;10846:12;10763:97;10877:33;;;;;10584:332;-1:-1:-1;;10584:332:30:o;10921:1178::-;11027:18;11022:3;11019:27;11016:53;;;11049:18;;:::i;:::-;11078:93;11167:3;11127:38;11159:4;11153:11;11127:38;:::i;:::-;11121:4;11078:93;:::i;:::-;11197:1;11222:2;11217:3;11214:11;11239:1;11234:607;;;;11885:1;11902:3;11899:93;;;-1:-1:-1;11958:19:30;;;11945:33;11899:93;-1:-1:-1;;8751:1:30;8747:11;;;8743:24;8739:29;8729:40;8775:1;8771:11;;;8726:57;12005:78;;11207:886;;11234:607;8048:1;8041:14;;;8085:4;8072:18;;-1:-1:-1;;11270:17:30;;;11384:229;11398:7;11395:1;11392:14;11384:229;;;11487:19;;;11474:33;11459:49;;11594:4;11579:20;;;;11547:1;11535:14;;;;11414:12;11384:229;;;11388:3;11641;11632:7;11629:16;11626:159;;;11765:1;11761:6;11755:3;11749;11746:1;11742:11;11738:21;11734:34;11730:39;11717:9;11712:3;11708:19;11695:33;11691:79;11683:6;11676:95;11626:159;;;11828:1;11822:3;11819:1;11815:11;11811:19;11805:4;11798:33;11207:886;;10921:1178;;;:::o;12104:1193::-;12299:19;;12327:25;;12433:2;12422:14;;12409:28;12463:1;12453:12;;12446:35;12518:1;12508:12;;12568:2;12557:14;;12544:28;12598:15;;12591:23;12633:15;;;12623:43;;12662:1;12659;12652:12;12623:43;12717:3;12713:8;12700:10;12694:17;12690:32;12675:47;;12770:3;12766:2;12762:12;12753:7;12750:25;12738:10;12731:45;;;;12835:2;12828:5;12824:14;12811:28;12918:2;12914:7;12906:5;12890:14;12886:26;12882:40;12862:18;12858:65;12848:93;;12937:1;12934;12927:12;12848:93;12962:30;;13015:18;;13056;13045:30;;13042:50;;;13088:1;13085;13078:12;13042:50;13125:2;13119:4;13115:13;13101:27;;13172:6;13156:14;13152:27;13144:6;13140:40;13137:60;;;13193:1;13190;13183:12;13137:60;13206:85;13284:6;13276;13272:1;13266:4;13262:12;13206:85;:::i;14399:125::-;14464:9;;;14485:10;;;14482:36;;;14498:18;;:::i;16172:209::-;16204:1;16230;16220:132;;16274:10;16269:3;16265:20;16262:1;16255:31;16309:4;16306:1;16299:15;16337:4;16334:1;16327:15;16220:132;-1:-1:-1;16366:9:30;;16172:209::o;16386:136::-;16425:3;16453:5;16443:39;;16462:18;;:::i;:::-;-1:-1:-1;;;16498:18:30;;16386:136::o",
279
212
  "linkReferences": {},
280
- "immutableReferences": {
281
- "39808": [
282
- {
283
- "start": 1837,
284
- "length": 32
285
- }
286
- ]
287
- }
213
+ "immutableReferences": { "39820": [{ "start": 1232, "length": 32 }] }
288
214
  },
289
215
  "methodIdentifiers": {
290
216
  "activeValidatorsCount()": "0d2bd909",
291
217
  "calculateTopValidators(uint8)": "b5cfa68c",
292
- "deregisterValidator()": "6a911ccf",
218
+ "getAllValidators()": "f3513a37",
293
219
  "getTopValidators()": "afeea115",
294
220
  "getValidator(address)": "1904bb2e",
295
221
  "isValidatorRegistered(address)": "d04a68c7",
296
- "performValidatorResignations()": "0f062c64",
297
222
  "registerValidator(bytes)": "602a9eee",
298
223
  "registeredValidatorsCount()": "f1bd0b37",
299
- "updateValidator((address,(uint256,bool,bytes)))": "7c1f669a",
224
+ "resignValidator()": "b85f5da2",
225
+ "resignedValidatorsCount()": "0777cbef",
226
+ "unvote()": "3174b689",
227
+ "updateValidator((address,(uint256,uint256,bool,bytes)))": "62525879",
300
228
  "updateVoters(address[])": "2bdf6d43",
301
229
  "vote(address)": "6dd7d8ea"
302
230
  },
303
- "rawMetadata": "{\"compiler\":{\"version\":\"0.8.27+commit.40a35a09\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"address\",\"name\":\"voter\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"address\",\"name\":\"validator\",\"type\":\"address\"}],\"name\":\"Voted\",\"type\":\"event\"},{\"inputs\":[],\"name\":\"activeValidatorsCount\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint8\",\"name\":\"n\",\"type\":\"uint8\"}],\"name\":\"calculateTopValidators\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"deregisterValidator\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getTopValidators\",\"outputs\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"components\":[{\"internalType\":\"uint256\",\"name\":\"voteBalance\",\"type\":\"uint256\"},{\"internalType\":\"bool\",\"name\":\"isResigned\",\"type\":\"bool\"},{\"internalType\":\"bytes\",\"name\":\"bls12_381_public_key\",\"type\":\"bytes\"}],\"internalType\":\"struct ValidatorData\",\"name\":\"data\",\"type\":\"tuple\"}],\"internalType\":\"struct Validator[]\",\"name\":\"\",\"type\":\"tuple[]\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"_addr\",\"type\":\"address\"}],\"name\":\"getValidator\",\"outputs\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"components\":[{\"internalType\":\"uint256\",\"name\":\"voteBalance\",\"type\":\"uint256\"},{\"internalType\":\"bool\",\"name\":\"isResigned\",\"type\":\"bool\"},{\"internalType\":\"bytes\",\"name\":\"bls12_381_public_key\",\"type\":\"bytes\"}],\"internalType\":\"struct ValidatorData\",\"name\":\"data\",\"type\":\"tuple\"}],\"internalType\":\"struct Validator\",\"name\":\"\",\"type\":\"tuple\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"}],\"name\":\"isValidatorRegistered\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"performValidatorResignations\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes\",\"name\":\"bls12_381_public_key\",\"type\":\"bytes\"}],\"name\":\"registerValidator\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"registeredValidatorsCount\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"components\":[{\"internalType\":\"uint256\",\"name\":\"voteBalance\",\"type\":\"uint256\"},{\"internalType\":\"bool\",\"name\":\"isResigned\",\"type\":\"bool\"},{\"internalType\":\"bytes\",\"name\":\"bls12_381_public_key\",\"type\":\"bytes\"}],\"internalType\":\"struct ValidatorData\",\"name\":\"data\",\"type\":\"tuple\"}],\"internalType\":\"struct Validator\",\"name\":\"_validator\",\"type\":\"tuple\"}],\"name\":\"updateValidator\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"voters\",\"type\":\"address[]\"}],\"name\":\"updateVoters\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"}],\"name\":\"vote\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"src/consensus/Consensus.sol\":\"Consensus\"},\"evmVersion\":\"shanghai\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[\":@contracts/=src/\",\":@forge-std/=forge-std/src/\"]},\"sources\":{\"src/consensus/Consensus.sol\":{\"keccak256\":\"0x246ca54ce44d1f0e5376b0a90ddf55d71a158fe9ca2dc5b8edb511188af3df19\",\"urls\":[\"bzz-raw://eb3a54b76cecb9a7ba487d9e1da5e672bebeed0f8dc4ebbab6c4e9608ee3eb12\",\"dweb:/ipfs/QmUXoutRvgh44qjb9SakvtemzPwxiokT88P4LmfhafK1Ad\"]}},\"version\":1}",
231
+ "rawMetadata": "{\"compiler\":{\"version\":\"0.8.27+commit.40a35a09\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"address\",\"name\":\"voter\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"address\",\"name\":\"validator\",\"type\":\"address\"}],\"name\":\"Unvoted\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"bytes\",\"name\":\"bls12_381_public_key\",\"type\":\"bytes\"}],\"name\":\"ValidatorRegistered\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"}],\"name\":\"ValidatorResigned\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"address\",\"name\":\"voter\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"address\",\"name\":\"validator\",\"type\":\"address\"}],\"name\":\"Voted\",\"type\":\"event\"},{\"inputs\":[],\"name\":\"activeValidatorsCount\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint8\",\"name\":\"n\",\"type\":\"uint8\"}],\"name\":\"calculateTopValidators\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getAllValidators\",\"outputs\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"components\":[{\"internalType\":\"uint256\",\"name\":\"votersCount\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"voteBalance\",\"type\":\"uint256\"},{\"internalType\":\"bool\",\"name\":\"isResigned\",\"type\":\"bool\"},{\"internalType\":\"bytes\",\"name\":\"bls12_381_public_key\",\"type\":\"bytes\"}],\"internalType\":\"struct ValidatorData\",\"name\":\"data\",\"type\":\"tuple\"}],\"internalType\":\"struct Validator[]\",\"name\":\"\",\"type\":\"tuple[]\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getTopValidators\",\"outputs\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"components\":[{\"internalType\":\"uint256\",\"name\":\"votersCount\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"voteBalance\",\"type\":\"uint256\"},{\"internalType\":\"bool\",\"name\":\"isResigned\",\"type\":\"bool\"},{\"internalType\":\"bytes\",\"name\":\"bls12_381_public_key\",\"type\":\"bytes\"}],\"internalType\":\"struct ValidatorData\",\"name\":\"data\",\"type\":\"tuple\"}],\"internalType\":\"struct Validator[]\",\"name\":\"\",\"type\":\"tuple[]\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"_addr\",\"type\":\"address\"}],\"name\":\"getValidator\",\"outputs\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"components\":[{\"internalType\":\"uint256\",\"name\":\"votersCount\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"voteBalance\",\"type\":\"uint256\"},{\"internalType\":\"bool\",\"name\":\"isResigned\",\"type\":\"bool\"},{\"internalType\":\"bytes\",\"name\":\"bls12_381_public_key\",\"type\":\"bytes\"}],\"internalType\":\"struct ValidatorData\",\"name\":\"data\",\"type\":\"tuple\"}],\"internalType\":\"struct Validator\",\"name\":\"\",\"type\":\"tuple\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"}],\"name\":\"isValidatorRegistered\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes\",\"name\":\"bls12_381_public_key\",\"type\":\"bytes\"}],\"name\":\"registerValidator\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"registeredValidatorsCount\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"resignValidator\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"resignedValidatorsCount\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"unvote\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"components\":[{\"internalType\":\"uint256\",\"name\":\"votersCount\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"voteBalance\",\"type\":\"uint256\"},{\"internalType\":\"bool\",\"name\":\"isResigned\",\"type\":\"bool\"},{\"internalType\":\"bytes\",\"name\":\"bls12_381_public_key\",\"type\":\"bytes\"}],\"internalType\":\"struct ValidatorData\",\"name\":\"data\",\"type\":\"tuple\"}],\"internalType\":\"struct Validator\",\"name\":\"_validator\",\"type\":\"tuple\"}],\"name\":\"updateValidator\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"voters\",\"type\":\"address[]\"}],\"name\":\"updateVoters\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"}],\"name\":\"vote\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"src/consensus/Consensus.sol\":\"Consensus\"},\"evmVersion\":\"shanghai\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[\":@contracts/=src/\",\":@forge-std/=forge-std/src/\"]},\"sources\":{\"src/consensus/Consensus.sol\":{\"keccak256\":\"0x3b0374a16a6b3f764386b55b58055267097ecc3e54a4a145cb878ed502fa154d\",\"urls\":[\"bzz-raw://0437545ea6fe4c54447ee6cd6366cdad26ccdd7228c4459b9ee8e69c78439693\",\"dweb:/ipfs/QmSpxQKRukhFchXQ27s6jGTNeXgr1yGriK7SzZWjDgEtFf\"]}},\"version\":1}",
304
232
  "metadata": {
305
- "compiler": {
306
- "version": "0.8.27+commit.40a35a09"
307
- },
233
+ "compiler": { "version": "0.8.27+commit.40a35a09" },
308
234
  "language": "Solidity",
309
235
  "output": {
310
236
  "abi": [
237
+ { "inputs": [], "stateMutability": "nonpayable", "type": "constructor" },
311
238
  {
312
- "inputs": [],
313
- "stateMutability": "nonpayable",
314
- "type": "constructor"
239
+ "inputs": [
240
+ { "internalType": "address", "name": "voter", "type": "address", "indexed": false },
241
+ { "internalType": "address", "name": "validator", "type": "address", "indexed": false }
242
+ ],
243
+ "type": "event",
244
+ "name": "Unvoted",
245
+ "anonymous": false
315
246
  },
316
247
  {
317
248
  "inputs": [
318
- {
319
- "internalType": "address",
320
- "name": "voter",
321
- "type": "address",
322
- "indexed": false
323
- },
324
- {
325
- "internalType": "address",
326
- "name": "validator",
327
- "type": "address",
328
- "indexed": false
329
- }
249
+ { "internalType": "address", "name": "addr", "type": "address", "indexed": false },
250
+ { "internalType": "bytes", "name": "bls12_381_public_key", "type": "bytes", "indexed": false }
251
+ ],
252
+ "type": "event",
253
+ "name": "ValidatorRegistered",
254
+ "anonymous": false
255
+ },
256
+ {
257
+ "inputs": [{ "internalType": "address", "name": "addr", "type": "address", "indexed": false }],
258
+ "type": "event",
259
+ "name": "ValidatorResigned",
260
+ "anonymous": false
261
+ },
262
+ {
263
+ "inputs": [
264
+ { "internalType": "address", "name": "voter", "type": "address", "indexed": false },
265
+ { "internalType": "address", "name": "validator", "type": "address", "indexed": false }
330
266
  ],
331
267
  "type": "event",
332
268
  "name": "Voted",
@@ -337,31 +273,40 @@
337
273
  "stateMutability": "view",
338
274
  "type": "function",
339
275
  "name": "activeValidatorsCount",
340
- "outputs": [
341
- {
342
- "internalType": "uint256",
343
- "name": "",
344
- "type": "uint256"
345
- }
346
- ]
276
+ "outputs": [{ "internalType": "uint256", "name": "", "type": "uint256" }]
347
277
  },
348
278
  {
349
- "inputs": [
350
- {
351
- "internalType": "uint8",
352
- "name": "n",
353
- "type": "uint8"
354
- }
355
- ],
279
+ "inputs": [{ "internalType": "uint8", "name": "n", "type": "uint8" }],
356
280
  "stateMutability": "nonpayable",
357
281
  "type": "function",
358
282
  "name": "calculateTopValidators"
359
283
  },
360
284
  {
361
285
  "inputs": [],
362
- "stateMutability": "nonpayable",
286
+ "stateMutability": "view",
363
287
  "type": "function",
364
- "name": "deregisterValidator"
288
+ "name": "getAllValidators",
289
+ "outputs": [
290
+ {
291
+ "internalType": "struct Validator[]",
292
+ "name": "",
293
+ "type": "tuple[]",
294
+ "components": [
295
+ { "internalType": "address", "name": "addr", "type": "address" },
296
+ {
297
+ "internalType": "struct ValidatorData",
298
+ "name": "data",
299
+ "type": "tuple",
300
+ "components": [
301
+ { "internalType": "uint256", "name": "votersCount", "type": "uint256" },
302
+ { "internalType": "uint256", "name": "voteBalance", "type": "uint256" },
303
+ { "internalType": "bool", "name": "isResigned", "type": "bool" },
304
+ { "internalType": "bytes", "name": "bls12_381_public_key", "type": "bytes" }
305
+ ]
306
+ }
307
+ ]
308
+ }
309
+ ]
365
310
  },
366
311
  {
367
312
  "inputs": [],
@@ -374,31 +319,16 @@
374
319
  "name": "",
375
320
  "type": "tuple[]",
376
321
  "components": [
377
- {
378
- "internalType": "address",
379
- "name": "addr",
380
- "type": "address"
381
- },
322
+ { "internalType": "address", "name": "addr", "type": "address" },
382
323
  {
383
324
  "internalType": "struct ValidatorData",
384
325
  "name": "data",
385
326
  "type": "tuple",
386
327
  "components": [
387
- {
388
- "internalType": "uint256",
389
- "name": "voteBalance",
390
- "type": "uint256"
391
- },
392
- {
393
- "internalType": "bool",
394
- "name": "isResigned",
395
- "type": "bool"
396
- },
397
- {
398
- "internalType": "bytes",
399
- "name": "bls12_381_public_key",
400
- "type": "bytes"
401
- }
328
+ { "internalType": "uint256", "name": "votersCount", "type": "uint256" },
329
+ { "internalType": "uint256", "name": "voteBalance", "type": "uint256" },
330
+ { "internalType": "bool", "name": "isResigned", "type": "bool" },
331
+ { "internalType": "bytes", "name": "bls12_381_public_key", "type": "bytes" }
402
332
  ]
403
333
  }
404
334
  ]
@@ -406,13 +336,7 @@
406
336
  ]
407
337
  },
408
338
  {
409
- "inputs": [
410
- {
411
- "internalType": "address",
412
- "name": "_addr",
413
- "type": "address"
414
- }
415
- ],
339
+ "inputs": [{ "internalType": "address", "name": "_addr", "type": "address" }],
416
340
  "stateMutability": "view",
417
341
  "type": "function",
418
342
  "name": "getValidator",
@@ -422,31 +346,16 @@
422
346
  "name": "",
423
347
  "type": "tuple",
424
348
  "components": [
425
- {
426
- "internalType": "address",
427
- "name": "addr",
428
- "type": "address"
429
- },
349
+ { "internalType": "address", "name": "addr", "type": "address" },
430
350
  {
431
351
  "internalType": "struct ValidatorData",
432
352
  "name": "data",
433
353
  "type": "tuple",
434
354
  "components": [
435
- {
436
- "internalType": "uint256",
437
- "name": "voteBalance",
438
- "type": "uint256"
439
- },
440
- {
441
- "internalType": "bool",
442
- "name": "isResigned",
443
- "type": "bool"
444
- },
445
- {
446
- "internalType": "bytes",
447
- "name": "bls12_381_public_key",
448
- "type": "bytes"
449
- }
355
+ { "internalType": "uint256", "name": "votersCount", "type": "uint256" },
356
+ { "internalType": "uint256", "name": "voteBalance", "type": "uint256" },
357
+ { "internalType": "bool", "name": "isResigned", "type": "bool" },
358
+ { "internalType": "bytes", "name": "bls12_381_public_key", "type": "bytes" }
450
359
  ]
451
360
  }
452
361
  ]
@@ -454,55 +363,34 @@
454
363
  ]
455
364
  },
456
365
  {
457
- "inputs": [
458
- {
459
- "internalType": "address",
460
- "name": "addr",
461
- "type": "address"
462
- }
463
- ],
366
+ "inputs": [{ "internalType": "address", "name": "addr", "type": "address" }],
464
367
  "stateMutability": "view",
465
368
  "type": "function",
466
369
  "name": "isValidatorRegistered",
467
- "outputs": [
468
- {
469
- "internalType": "bool",
470
- "name": "",
471
- "type": "bool"
472
- }
473
- ]
370
+ "outputs": [{ "internalType": "bool", "name": "", "type": "bool" }]
474
371
  },
475
372
  {
476
- "inputs": [],
373
+ "inputs": [{ "internalType": "bytes", "name": "bls12_381_public_key", "type": "bytes" }],
477
374
  "stateMutability": "nonpayable",
478
375
  "type": "function",
479
- "name": "performValidatorResignations"
376
+ "name": "registerValidator"
480
377
  },
481
378
  {
482
- "inputs": [
483
- {
484
- "internalType": "bytes",
485
- "name": "bls12_381_public_key",
486
- "type": "bytes"
487
- }
488
- ],
489
- "stateMutability": "nonpayable",
379
+ "inputs": [],
380
+ "stateMutability": "view",
490
381
  "type": "function",
491
- "name": "registerValidator"
382
+ "name": "registeredValidatorsCount",
383
+ "outputs": [{ "internalType": "uint256", "name": "", "type": "uint256" }]
492
384
  },
385
+ { "inputs": [], "stateMutability": "nonpayable", "type": "function", "name": "resignValidator" },
493
386
  {
494
387
  "inputs": [],
495
388
  "stateMutability": "view",
496
389
  "type": "function",
497
- "name": "registeredValidatorsCount",
498
- "outputs": [
499
- {
500
- "internalType": "uint256",
501
- "name": "",
502
- "type": "uint256"
503
- }
504
- ]
390
+ "name": "resignedValidatorsCount",
391
+ "outputs": [{ "internalType": "uint256", "name": "", "type": "uint256" }]
505
392
  },
393
+ { "inputs": [], "stateMutability": "nonpayable", "type": "function", "name": "unvote" },
506
394
  {
507
395
  "inputs": [
508
396
  {
@@ -510,31 +398,16 @@
510
398
  "name": "_validator",
511
399
  "type": "tuple",
512
400
  "components": [
513
- {
514
- "internalType": "address",
515
- "name": "addr",
516
- "type": "address"
517
- },
401
+ { "internalType": "address", "name": "addr", "type": "address" },
518
402
  {
519
403
  "internalType": "struct ValidatorData",
520
404
  "name": "data",
521
405
  "type": "tuple",
522
406
  "components": [
523
- {
524
- "internalType": "uint256",
525
- "name": "voteBalance",
526
- "type": "uint256"
527
- },
528
- {
529
- "internalType": "bool",
530
- "name": "isResigned",
531
- "type": "bool"
532
- },
533
- {
534
- "internalType": "bytes",
535
- "name": "bls12_381_public_key",
536
- "type": "bytes"
537
- }
407
+ { "internalType": "uint256", "name": "votersCount", "type": "uint256" },
408
+ { "internalType": "uint256", "name": "voteBalance", "type": "uint256" },
409
+ { "internalType": "bool", "name": "isResigned", "type": "bool" },
410
+ { "internalType": "bytes", "name": "bls12_381_public_key", "type": "bytes" }
538
411
  ]
539
412
  }
540
413
  ]
@@ -545,62 +418,35 @@
545
418
  "name": "updateValidator"
546
419
  },
547
420
  {
548
- "inputs": [
549
- {
550
- "internalType": "address[]",
551
- "name": "voters",
552
- "type": "address[]"
553
- }
554
- ],
421
+ "inputs": [{ "internalType": "address[]", "name": "voters", "type": "address[]" }],
555
422
  "stateMutability": "nonpayable",
556
423
  "type": "function",
557
424
  "name": "updateVoters"
558
425
  },
559
426
  {
560
- "inputs": [
561
- {
562
- "internalType": "address",
563
- "name": "addr",
564
- "type": "address"
565
- }
566
- ],
427
+ "inputs": [{ "internalType": "address", "name": "addr", "type": "address" }],
567
428
  "stateMutability": "nonpayable",
568
429
  "type": "function",
569
430
  "name": "vote"
570
431
  }
571
432
  ],
572
- "devdoc": {
573
- "kind": "dev",
574
- "methods": {},
575
- "version": 1
576
- },
577
- "userdoc": {
578
- "kind": "user",
579
- "methods": {},
580
- "version": 1
581
- }
433
+ "devdoc": { "kind": "dev", "methods": {}, "version": 1 },
434
+ "userdoc": { "kind": "user", "methods": {}, "version": 1 }
582
435
  },
583
436
  "settings": {
584
437
  "remappings": ["@contracts/=src/", "@forge-std/=forge-std/src/"],
585
- "optimizer": {
586
- "enabled": true,
587
- "runs": 200
588
- },
589
- "metadata": {
590
- "bytecodeHash": "ipfs"
591
- },
592
- "compilationTarget": {
593
- "src/consensus/Consensus.sol": "Consensus"
594
- },
438
+ "optimizer": { "enabled": true, "runs": 200 },
439
+ "metadata": { "bytecodeHash": "ipfs" },
440
+ "compilationTarget": { "src/consensus/Consensus.sol": "Consensus" },
595
441
  "evmVersion": "shanghai",
596
442
  "libraries": {}
597
443
  },
598
444
  "sources": {
599
445
  "src/consensus/Consensus.sol": {
600
- "keccak256": "0x246ca54ce44d1f0e5376b0a90ddf55d71a158fe9ca2dc5b8edb511188af3df19",
446
+ "keccak256": "0x3b0374a16a6b3f764386b55b58055267097ecc3e54a4a145cb878ed502fa154d",
601
447
  "urls": [
602
- "bzz-raw://eb3a54b76cecb9a7ba487d9e1da5e672bebeed0f8dc4ebbab6c4e9608ee3eb12",
603
- "dweb:/ipfs/QmUXoutRvgh44qjb9SakvtemzPwxiokT88P4LmfhafK1Ad"
448
+ "bzz-raw://0437545ea6fe4c54447ee6cd6366cdad26ccdd7228c4459b9ee8e69c78439693",
449
+ "dweb:/ipfs/QmSpxQKRukhFchXQ27s6jGTNeXgr1yGriK7SzZWjDgEtFf"
604
450
  ],
605
451
  "license": null
606
452
  }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@mainsail/evm-contracts",
3
- "version": "0.0.1-evm.3",
3
+ "version": "0.0.1-evm.5",
4
4
  "description": "EVM Contract ABIs for the Mainsail blockchain",
5
5
  "license": "GPL-3.0-only",
6
6
  "contributors": [],