hardhat 2.10.0 → 2.10.2

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 (34) hide show
  1. package/README.md +1 -1
  2. package/console.sol +444 -444
  3. package/internal/core/config/default-config.d.ts.map +1 -1
  4. package/internal/core/config/default-config.js +10 -0
  5. package/internal/core/config/default-config.js.map +1 -1
  6. package/internal/hardhat-network/provider/return-data.d.ts +1 -0
  7. package/internal/hardhat-network/provider/return-data.d.ts.map +1 -1
  8. package/internal/hardhat-network/provider/return-data.js +3 -0
  9. package/internal/hardhat-network/provider/return-data.js.map +1 -1
  10. package/internal/hardhat-network/stack-traces/consoleLogger.d.ts.map +1 -1
  11. package/internal/hardhat-network/stack-traces/consoleLogger.js +6 -2
  12. package/internal/hardhat-network/stack-traces/consoleLogger.js.map +1 -1
  13. package/internal/hardhat-network/stack-traces/error-inferrer.d.ts.map +1 -1
  14. package/internal/hardhat-network/stack-traces/error-inferrer.js +9 -0
  15. package/internal/hardhat-network/stack-traces/error-inferrer.js.map +1 -1
  16. package/internal/hardhat-network/stack-traces/logger.d.ts +223 -2
  17. package/internal/hardhat-network/stack-traces/logger.d.ts.map +1 -1
  18. package/internal/hardhat-network/stack-traces/logger.js +445 -224
  19. package/internal/hardhat-network/stack-traces/logger.js.map +1 -1
  20. package/internal/hardhat-network/stack-traces/solidityTracer.d.ts +1 -1
  21. package/internal/hardhat-network/stack-traces/solidityTracer.d.ts.map +1 -1
  22. package/internal/hardhat-network/stack-traces/solidityTracer.js +1 -1
  23. package/internal/hardhat-network/stack-traces/solidityTracer.js.map +1 -1
  24. package/package.json +2 -1
  25. package/sample-projects/javascript/scripts/deploy.js +3 -1
  26. package/sample-projects/javascript/test/Lock.js +1 -1
  27. package/sample-projects/typescript/scripts/deploy.ts +1 -1
  28. package/sample-projects/typescript/test/Lock.ts +1 -1
  29. package/src/internal/core/config/default-config.ts +10 -0
  30. package/src/internal/hardhat-network/provider/return-data.ts +4 -0
  31. package/src/internal/hardhat-network/stack-traces/consoleLogger.ts +9 -4
  32. package/src/internal/hardhat-network/stack-traces/error-inferrer.ts +11 -0
  33. package/src/internal/hardhat-network/stack-traces/logger.ts +444 -223
  34. package/src/internal/hardhat-network/stack-traces/solidityTracer.ts +1 -1
package/src/internal/hardhat-network/stack-traces/logger.ts CHANGED
@@ -3,8 +3,8 @@
3
3
  // scripts/console-library-generator.js
4
4
  // ------------------------------------
5
5
 
6
- export const IntTy = "Int";
7
- export const UintTy = "Uint";
6
+ export const Int256Ty = "Int256";
7
+ export const Uint256Ty = "Uint256";
8
8
  export const StringTy = "String";
9
9
  export const BoolTy = "Bool";
10
10
  export const AddressTy = "Address";
@@ -46,8 +46,10 @@ export const Bytes32Ty = "Bytes32";
46
46
  // we'll store 4byte signature as int
47
47
  export const ConsoleLogs = {
48
48
  1368866505: [],
49
- 1309416733: [IntTy],
50
- 4122065833: [UintTy],
49
+ 760966329: [Int256Ty],
50
+ 1309416733: [Int256Ty],
51
+ 4163653873: [Uint256Ty],
52
+ 4122065833: [Uint256Ty],
51
53
  1093685164: [StringTy],
52
54
  843419373: [BoolTy],
53
55
  741264322: [AddressTy],
@@ -84,339 +86,558 @@ export const ConsoleLogs = {
84
86
  3994207469: [Bytes30Ty],
85
87
  3263516050: [Bytes31Ty],
86
88
  666357637: [Bytes32Ty],
87
- 1812949376: [UintTy, UintTy],
88
- 262402885: [UintTy, StringTy],
89
- 510514412: [UintTy, BoolTy],
90
- 1491830284: [UintTy, AddressTy],
91
- 2534451664: [StringTy, UintTy],
89
+ 4133908826: [Uint256Ty, Uint256Ty],
90
+ 1812949376: [Uint256Ty, Uint256Ty],
91
+ 1681903839: [Uint256Ty, StringTy],
92
+ 262402885: [Uint256Ty, StringTy],
93
+ 480083635: [Uint256Ty, BoolTy],
94
+ 510514412: [Uint256Ty, BoolTy],
95
+ 1764191366: [Uint256Ty, AddressTy],
96
+ 1491830284: [Uint256Ty, AddressTy],
97
+ 3054400204: [StringTy, Uint256Ty],
98
+ 2534451664: [StringTy, Uint256Ty],
92
99
  1264337527: [StringTy, StringTy],
93
100
  3283441205: [StringTy, BoolTy],
94
101
  832238387: [StringTy, AddressTy],
95
- 910912146: [BoolTy, UintTy],
102
+ 965833939: [BoolTy, Uint256Ty],
103
+ 910912146: [BoolTy, Uint256Ty],
96
104
  2414527781: [BoolTy, StringTy],
97
105
  705760899: [BoolTy, BoolTy],
98
106
  2235320393: [BoolTy, AddressTy],
99
- 574869411: [AddressTy, UintTy],
107
+ 2198464680: [AddressTy, Uint256Ty],
108
+ 574869411: [AddressTy, Uint256Ty],
100
109
  1973388987: [AddressTy, StringTy],
101
110
  1974863315: [AddressTy, BoolTy],
102
111
  3673216170: [AddressTy, AddressTy],
103
- 3884059252: [UintTy, UintTy, UintTy],
104
- 2104037094: [UintTy, UintTy, StringTy],
105
- 1733758967: [UintTy, UintTy, BoolTy],
106
- 3191032091: [UintTy, UintTy, AddressTy],
107
- 1533929535: [UintTy, StringTy, UintTy],
108
- 1062716053: [UintTy, StringTy, StringTy],
109
- 1185403086: [UintTy, StringTy, BoolTy],
110
- 529592906: [UintTy, StringTy, AddressTy],
111
- 1515034914: [UintTy, BoolTy, UintTy],
112
- 2332955902: [UintTy, BoolTy, StringTy],
113
- 3587091680: [UintTy, BoolTy, BoolTy],
114
- 1112473535: [UintTy, BoolTy, AddressTy],
115
- 2286109610: [UintTy, AddressTy, UintTy],
116
- 3464692859: [UintTy, AddressTy, StringTy],
117
- 2060456590: [UintTy, AddressTy, BoolTy],
118
- 2104993307: [UintTy, AddressTy, AddressTy],
119
- 2526862595: [StringTy, UintTy, UintTy],
120
- 2750793529: [StringTy, UintTy, StringTy],
121
- 4043501061: [StringTy, UintTy, BoolTy],
122
- 3817119609: [StringTy, UintTy, AddressTy],
123
- 4083337817: [StringTy, StringTy, UintTy],
112
+ 3522001468: [Uint256Ty, Uint256Ty, Uint256Ty],
113
+ 3884059252: [Uint256Ty, Uint256Ty, Uint256Ty],
114
+ 1909476082: [Uint256Ty, Uint256Ty, StringTy],
115
+ 2104037094: [Uint256Ty, Uint256Ty, StringTy],
116
+ 1197922930: [Uint256Ty, Uint256Ty, BoolTy],
117
+ 1733758967: [Uint256Ty, Uint256Ty, BoolTy],
118
+ 1553380145: [Uint256Ty, Uint256Ty, AddressTy],
119
+ 3191032091: [Uint256Ty, Uint256Ty, AddressTy],
120
+ 933920076: [Uint256Ty, StringTy, Uint256Ty],
121
+ 1533929535: [Uint256Ty, StringTy, Uint256Ty],
122
+ 2970968351: [Uint256Ty, StringTy, StringTy],
123
+ 1062716053: [Uint256Ty, StringTy, StringTy],
124
+ 1290643290: [Uint256Ty, StringTy, BoolTy],
125
+ 1185403086: [Uint256Ty, StringTy, BoolTy],
126
+ 2063255897: [Uint256Ty, StringTy, AddressTy],
127
+ 529592906: [Uint256Ty, StringTy, AddressTy],
128
+ 537493524: [Uint256Ty, BoolTy, Uint256Ty],
129
+ 1515034914: [Uint256Ty, BoolTy, Uint256Ty],
130
+ 2239189025: [Uint256Ty, BoolTy, StringTy],
131
+ 2332955902: [Uint256Ty, BoolTy, StringTy],
132
+ 544310864: [Uint256Ty, BoolTy, BoolTy],
133
+ 3587091680: [Uint256Ty, BoolTy, BoolTy],
134
+ 889741179: [Uint256Ty, BoolTy, AddressTy],
135
+ 1112473535: [Uint256Ty, BoolTy, AddressTy],
136
+ 1520131797: [Uint256Ty, AddressTy, Uint256Ty],
137
+ 2286109610: [Uint256Ty, AddressTy, Uint256Ty],
138
+ 1674265081: [Uint256Ty, AddressTy, StringTy],
139
+ 3464692859: [Uint256Ty, AddressTy, StringTy],
140
+ 2607726658: [Uint256Ty, AddressTy, BoolTy],
141
+ 2060456590: [Uint256Ty, AddressTy, BoolTy],
142
+ 3170737120: [Uint256Ty, AddressTy, AddressTy],
143
+ 2104993307: [Uint256Ty, AddressTy, AddressTy],
144
+ 3393701099: [StringTy, Uint256Ty, Uint256Ty],
145
+ 2526862595: [StringTy, Uint256Ty, Uint256Ty],
146
+ 1500569737: [StringTy, Uint256Ty, StringTy],
147
+ 2750793529: [StringTy, Uint256Ty, StringTy],
148
+ 3396809649: [StringTy, Uint256Ty, BoolTy],
149
+ 4043501061: [StringTy, Uint256Ty, BoolTy],
150
+ 478069832: [StringTy, Uint256Ty, AddressTy],
151
+ 3817119609: [StringTy, Uint256Ty, AddressTy],
152
+ 1478619041: [StringTy, StringTy, Uint256Ty],
153
+ 4083337817: [StringTy, StringTy, Uint256Ty],
124
154
  753761519: [StringTy, StringTy, StringTy],
125
155
  2967534005: [StringTy, StringTy, BoolTy],
126
156
  2515337621: [StringTy, StringTy, AddressTy],
127
- 689682896: [StringTy, BoolTy, UintTy],
157
+ 3378075862: [StringTy, BoolTy, Uint256Ty],
158
+ 689682896: [StringTy, BoolTy, Uint256Ty],
128
159
  3801674877: [StringTy, BoolTy, StringTy],
129
160
  2232122070: [StringTy, BoolTy, BoolTy],
130
161
  2469116728: [StringTy, BoolTy, AddressTy],
131
- 130552343: [StringTy, AddressTy, UintTy],
162
+ 220641573: [StringTy, AddressTy, Uint256Ty],
163
+ 130552343: [StringTy, AddressTy, Uint256Ty],
132
164
  3773410639: [StringTy, AddressTy, StringTy],
133
165
  3374145236: [StringTy, AddressTy, BoolTy],
134
166
  4243355104: [StringTy, AddressTy, AddressTy],
135
- 995886048: [BoolTy, UintTy, UintTy],
136
- 3359211184: [BoolTy, UintTy, StringTy],
137
- 464374251: [BoolTy, UintTy, BoolTy],
138
- 3302110471: [BoolTy, UintTy, AddressTy],
139
- 3224906412: [BoolTy, StringTy, UintTy],
167
+ 923808615: [BoolTy, Uint256Ty, Uint256Ty],
168
+ 995886048: [BoolTy, Uint256Ty, Uint256Ty],
169
+ 3288086896: [BoolTy, Uint256Ty, StringTy],
170
+ 3359211184: [BoolTy, Uint256Ty, StringTy],
171
+ 3906927529: [BoolTy, Uint256Ty, BoolTy],
172
+ 464374251: [BoolTy, Uint256Ty, BoolTy],
173
+ 143587794: [BoolTy, Uint256Ty, AddressTy],
174
+ 3302110471: [BoolTy, Uint256Ty, AddressTy],
175
+ 278130193: [BoolTy, StringTy, Uint256Ty],
176
+ 3224906412: [BoolTy, StringTy, Uint256Ty],
140
177
  2960557183: [BoolTy, StringTy, StringTy],
141
178
  3686056519: [BoolTy, StringTy, BoolTy],
142
179
  2509355347: [BoolTy, StringTy, AddressTy],
143
- 2954061243: [BoolTy, BoolTy, UintTy],
180
+ 317855234: [BoolTy, BoolTy, Uint256Ty],
181
+ 2954061243: [BoolTy, BoolTy, Uint256Ty],
144
182
  626391622: [BoolTy, BoolTy, StringTy],
145
183
  1349555864: [BoolTy, BoolTy, BoolTy],
146
184
  276362893: [BoolTy, BoolTy, AddressTy],
147
- 3950005167: [BoolTy, AddressTy, UintTy],
185
+ 1601936123: [BoolTy, AddressTy, Uint256Ty],
186
+ 3950005167: [BoolTy, AddressTy, Uint256Ty],
148
187
  3734671984: [BoolTy, AddressTy, StringTy],
149
188
  415876934: [BoolTy, AddressTy, BoolTy],
150
189
  3530962535: [BoolTy, AddressTy, AddressTy],
151
- 2273710942: [AddressTy, UintTy, UintTy],
152
- 3136907337: [AddressTy, UintTy, StringTy],
153
- 3846889796: [AddressTy, UintTy, BoolTy],
154
- 2548867988: [AddressTy, UintTy, AddressTy],
155
- 484110986: [AddressTy, StringTy, UintTy],
190
+ 3063663350: [AddressTy, Uint256Ty, Uint256Ty],
191
+ 2273710942: [AddressTy, Uint256Ty, Uint256Ty],
192
+ 2717051050: [AddressTy, Uint256Ty, StringTy],
193
+ 3136907337: [AddressTy, Uint256Ty, StringTy],
194
+ 1736575400: [AddressTy, Uint256Ty, BoolTy],
195
+ 3846889796: [AddressTy, Uint256Ty, BoolTy],
196
+ 2076235848: [AddressTy, Uint256Ty, AddressTy],
197
+ 2548867988: [AddressTy, Uint256Ty, AddressTy],
198
+ 1742565361: [AddressTy, StringTy, Uint256Ty],
199
+ 484110986: [AddressTy, StringTy, Uint256Ty],
156
200
  4218888805: [AddressTy, StringTy, StringTy],
157
201
  3473018801: [AddressTy, StringTy, BoolTy],
158
202
  4035396840: [AddressTy, StringTy, AddressTy],
159
- 742821141: [AddressTy, BoolTy, UintTy],
203
+ 2622462459: [AddressTy, BoolTy, Uint256Ty],
204
+ 742821141: [AddressTy, BoolTy, Uint256Ty],
160
205
  555898316: [AddressTy, BoolTy, StringTy],
161
206
  3951234194: [AddressTy, BoolTy, BoolTy],
162
207
  4044790253: [AddressTy, BoolTy, AddressTy],
163
- 1815506290: [AddressTy, AddressTy, UintTy],
208
+ 402547077: [AddressTy, AddressTy, Uint256Ty],
209
+ 1815506290: [AddressTy, AddressTy, Uint256Ty],
164
210
  7426238: [AddressTy, AddressTy, StringTy],
165
211
  4070990470: [AddressTy, AddressTy, BoolTy],
166
212
  25986242: [AddressTy, AddressTy, AddressTy],
167
- 1554033982: [UintTy, UintTy, UintTy, UintTy],
168
- 2024634892: [UintTy, UintTy, UintTy, StringTy],
169
- 1683143115: [UintTy, UintTy, UintTy, BoolTy],
170
- 3766828905: [UintTy, UintTy, UintTy, AddressTy],
171
- 949229117: [UintTy, UintTy, StringTy, UintTy],
172
- 2080582194: [UintTy, UintTy, StringTy, StringTy],
173
- 2989403910: [UintTy, UintTy, StringTy, BoolTy],
174
- 1127384482: [UintTy, UintTy, StringTy, AddressTy],
175
- 1818524812: [UintTy, UintTy, BoolTy, UintTy],
176
- 4024028142: [UintTy, UintTy, BoolTy, StringTy],
177
- 2495495089: [UintTy, UintTy, BoolTy, BoolTy],
178
- 3776410703: [UintTy, UintTy, BoolTy, AddressTy],
179
- 1628154048: [UintTy, UintTy, AddressTy, UintTy],
180
- 3600994782: [UintTy, UintTy, AddressTy, StringTy],
181
- 2833785006: [UintTy, UintTy, AddressTy, BoolTy],
182
- 3398671136: [UintTy, UintTy, AddressTy, AddressTy],
183
- 3221501959: [UintTy, StringTy, UintTy, UintTy],
184
- 2730232985: [UintTy, StringTy, UintTy, StringTy],
185
- 2270850606: [UintTy, StringTy, UintTy, BoolTy],
186
- 2877020669: [UintTy, StringTy, UintTy, AddressTy],
187
- 1995203422: [UintTy, StringTy, StringTy, UintTy],
188
- 1474103825: [UintTy, StringTy, StringTy, StringTy],
189
- 310782872: [UintTy, StringTy, StringTy, BoolTy],
190
- 3432549024: [UintTy, StringTy, StringTy, AddressTy],
191
- 2763295359: [UintTy, StringTy, BoolTy, UintTy],
192
- 2370346144: [UintTy, StringTy, BoolTy, StringTy],
193
- 1371286465: [UintTy, StringTy, BoolTy, BoolTy],
194
- 2037328032: [UintTy, StringTy, BoolTy, AddressTy],
195
- 2565338099: [UintTy, StringTy, AddressTy, UintTy],
196
- 4170733439: [UintTy, StringTy, AddressTy, StringTy],
197
- 4181720887: [UintTy, StringTy, AddressTy, BoolTy],
198
- 2141537675: [UintTy, StringTy, AddressTy, AddressTy],
199
- 1451396516: [UintTy, BoolTy, UintTy, UintTy],
200
- 3906845782: [UintTy, BoolTy, UintTy, StringTy],
201
- 3534472445: [UintTy, BoolTy, UintTy, BoolTy],
202
- 1329595790: [UintTy, BoolTy, UintTy, AddressTy],
203
- 2438978344: [UintTy, BoolTy, StringTy, UintTy],
204
- 2754870525: [UintTy, BoolTy, StringTy, StringTy],
205
- 879671495: [UintTy, BoolTy, StringTy, BoolTy],
206
- 1231956916: [UintTy, BoolTy, StringTy, AddressTy],
207
- 3173363033: [UintTy, BoolTy, BoolTy, UintTy],
208
- 831186331: [UintTy, BoolTy, BoolTy, StringTy],
209
- 1315722005: [UintTy, BoolTy, BoolTy, BoolTy],
210
- 1392910941: [UintTy, BoolTy, BoolTy, AddressTy],
211
- 1102442299: [UintTy, BoolTy, AddressTy, UintTy],
212
- 2721084958: [UintTy, BoolTy, AddressTy, StringTy],
213
- 2449150530: [UintTy, BoolTy, AddressTy, BoolTy],
214
- 2263728396: [UintTy, BoolTy, AddressTy, AddressTy],
215
- 3399106228: [UintTy, AddressTy, UintTy, UintTy],
216
- 1054063912: [UintTy, AddressTy, UintTy, StringTy],
217
- 435581801: [UintTy, AddressTy, UintTy, BoolTy],
218
- 4256361684: [UintTy, AddressTy, UintTy, AddressTy],
219
- 2697204968: [UintTy, AddressTy, StringTy, UintTy],
220
- 2373420580: [UintTy, AddressTy, StringTy, StringTy],
221
- 581204390: [UintTy, AddressTy, StringTy, BoolTy],
222
- 3420819197: [UintTy, AddressTy, StringTy, AddressTy],
223
- 2064181483: [UintTy, AddressTy, BoolTy, UintTy],
224
- 1676730946: [UintTy, AddressTy, BoolTy, StringTy],
225
- 2116501773: [UintTy, AddressTy, BoolTy, BoolTy],
226
- 3056677012: [UintTy, AddressTy, BoolTy, AddressTy],
227
- 2587672470: [UintTy, AddressTy, AddressTy, UintTy],
228
- 2034490470: [UintTy, AddressTy, AddressTy, StringTy],
229
- 22350596: [UintTy, AddressTy, AddressTy, BoolTy],
230
- 1430734329: [UintTy, AddressTy, AddressTy, AddressTy],
231
- 149837414: [StringTy, UintTy, UintTy, UintTy],
232
- 2773406909: [StringTy, UintTy, UintTy, StringTy],
233
- 4147936829: [StringTy, UintTy, UintTy, BoolTy],
234
- 3201771711: [StringTy, UintTy, UintTy, AddressTy],
235
- 2697245221: [StringTy, UintTy, StringTy, UintTy],
236
- 1821956834: [StringTy, UintTy, StringTy, StringTy],
237
- 3919545039: [StringTy, UintTy, StringTy, BoolTy],
238
- 3144824297: [StringTy, UintTy, StringTy, AddressTy],
239
- 1427009269: [StringTy, UintTy, BoolTy, UintTy],
240
- 1993105508: [StringTy, UintTy, BoolTy, StringTy],
241
- 3816813520: [StringTy, UintTy, BoolTy, BoolTy],
242
- 3847527825: [StringTy, UintTy, BoolTy, AddressTy],
243
- 1481210622: [StringTy, UintTy, AddressTy, UintTy],
244
- 844415720: [StringTy, UintTy, AddressTy, StringTy],
245
- 285649143: [StringTy, UintTy, AddressTy, BoolTy],
246
- 3939013249: [StringTy, UintTy, AddressTy, AddressTy],
247
- 3587119056: [StringTy, StringTy, UintTy, UintTy],
248
- 2366909661: [StringTy, StringTy, UintTy, StringTy],
249
- 3864418506: [StringTy, StringTy, UintTy, BoolTy],
250
- 1565476480: [StringTy, StringTy, UintTy, AddressTy],
251
- 2681211381: [StringTy, StringTy, StringTy, UintTy],
213
+ 423606272: [Uint256Ty, Uint256Ty, Uint256Ty, Uint256Ty],
214
+ 1554033982: [Uint256Ty, Uint256Ty, Uint256Ty, Uint256Ty],
215
+ 1506790371: [Uint256Ty, Uint256Ty, Uint256Ty, StringTy],
216
+ 2024634892: [Uint256Ty, Uint256Ty, Uint256Ty, StringTy],
217
+ 3315126661: [Uint256Ty, Uint256Ty, Uint256Ty, BoolTy],
218
+ 1683143115: [Uint256Ty, Uint256Ty, Uint256Ty, BoolTy],
219
+ 4202792367: [Uint256Ty, Uint256Ty, Uint256Ty, AddressTy],
220
+ 3766828905: [Uint256Ty, Uint256Ty, Uint256Ty, AddressTy],
221
+ 1570936811: [Uint256Ty, Uint256Ty, StringTy, Uint256Ty],
222
+ 949229117: [Uint256Ty, Uint256Ty, StringTy, Uint256Ty],
223
+ 668512210: [Uint256Ty, Uint256Ty, StringTy, StringTy],
224
+ 2080582194: [Uint256Ty, Uint256Ty, StringTy, StringTy],
225
+ 2062986021: [Uint256Ty, Uint256Ty, StringTy, BoolTy],
226
+ 2989403910: [Uint256Ty, Uint256Ty, StringTy, BoolTy],
227
+ 1121066423: [Uint256Ty, Uint256Ty, StringTy, AddressTy],
228
+ 1127384482: [Uint256Ty, Uint256Ty, StringTy, AddressTy],
229
+ 3950997458: [Uint256Ty, Uint256Ty, BoolTy, Uint256Ty],
230
+ 1818524812: [Uint256Ty, Uint256Ty, BoolTy, Uint256Ty],
231
+ 2780101785: [Uint256Ty, Uint256Ty, BoolTy, StringTy],
232
+ 4024028142: [Uint256Ty, Uint256Ty, BoolTy, StringTy],
233
+ 2869451494: [Uint256Ty, Uint256Ty, BoolTy, BoolTy],
234
+ 2495495089: [Uint256Ty, Uint256Ty, BoolTy, BoolTy],
235
+ 2592172675: [Uint256Ty, Uint256Ty, BoolTy, AddressTy],
236
+ 3776410703: [Uint256Ty, Uint256Ty, BoolTy, AddressTy],
237
+ 2297881778: [Uint256Ty, Uint256Ty, AddressTy, Uint256Ty],
238
+ 1628154048: [Uint256Ty, Uint256Ty, AddressTy, Uint256Ty],
239
+ 1826504888: [Uint256Ty, Uint256Ty, AddressTy, StringTy],
240
+ 3600994782: [Uint256Ty, Uint256Ty, AddressTy, StringTy],
241
+ 365610102: [Uint256Ty, Uint256Ty, AddressTy, BoolTy],
242
+ 2833785006: [Uint256Ty, Uint256Ty, AddressTy, BoolTy],
243
+ 1453707697: [Uint256Ty, Uint256Ty, AddressTy, AddressTy],
244
+ 3398671136: [Uint256Ty, Uint256Ty, AddressTy, AddressTy],
245
+ 2193775476: [Uint256Ty, StringTy, Uint256Ty, Uint256Ty],
246
+ 3221501959: [Uint256Ty, StringTy, Uint256Ty, Uint256Ty],
247
+ 3082360010: [Uint256Ty, StringTy, Uint256Ty, StringTy],
248
+ 2730232985: [Uint256Ty, StringTy, Uint256Ty, StringTy],
249
+ 1763348340: [Uint256Ty, StringTy, Uint256Ty, BoolTy],
250
+ 2270850606: [Uint256Ty, StringTy, Uint256Ty, BoolTy],
251
+ 992115124: [Uint256Ty, StringTy, Uint256Ty, AddressTy],
252
+ 2877020669: [Uint256Ty, StringTy, Uint256Ty, AddressTy],
253
+ 2955463101: [Uint256Ty, StringTy, StringTy, Uint256Ty],
254
+ 1995203422: [Uint256Ty, StringTy, StringTy, Uint256Ty],
255
+ 564987523: [Uint256Ty, StringTy, StringTy, StringTy],
256
+ 1474103825: [Uint256Ty, StringTy, StringTy, StringTy],
257
+ 3014047421: [Uint256Ty, StringTy, StringTy, BoolTy],
258
+ 310782872: [Uint256Ty, StringTy, StringTy, BoolTy],
259
+ 3582182914: [Uint256Ty, StringTy, StringTy, AddressTy],
260
+ 3432549024: [Uint256Ty, StringTy, StringTy, AddressTy],
261
+ 3472922752: [Uint256Ty, StringTy, BoolTy, Uint256Ty],
262
+ 2763295359: [Uint256Ty, StringTy, BoolTy, Uint256Ty],
263
+ 3537118157: [Uint256Ty, StringTy, BoolTy, StringTy],
264
+ 2370346144: [Uint256Ty, StringTy, BoolTy, StringTy],
265
+ 3126025628: [Uint256Ty, StringTy, BoolTy, BoolTy],
266
+ 1371286465: [Uint256Ty, StringTy, BoolTy, BoolTy],
267
+ 2922300801: [Uint256Ty, StringTy, BoolTy, AddressTy],
268
+ 2037328032: [Uint256Ty, StringTy, BoolTy, AddressTy],
269
+ 3906142605: [Uint256Ty, StringTy, AddressTy, Uint256Ty],
270
+ 2565338099: [Uint256Ty, StringTy, AddressTy, Uint256Ty],
271
+ 2621104033: [Uint256Ty, StringTy, AddressTy, StringTy],
272
+ 4170733439: [Uint256Ty, StringTy, AddressTy, StringTy],
273
+ 2428701270: [Uint256Ty, StringTy, AddressTy, BoolTy],
274
+ 4181720887: [Uint256Ty, StringTy, AddressTy, BoolTy],
275
+ 1634266465: [Uint256Ty, StringTy, AddressTy, AddressTy],
276
+ 2141537675: [Uint256Ty, StringTy, AddressTy, AddressTy],
277
+ 3333212072: [Uint256Ty, BoolTy, Uint256Ty, Uint256Ty],
278
+ 1451396516: [Uint256Ty, BoolTy, Uint256Ty, Uint256Ty],
279
+ 3724797812: [Uint256Ty, BoolTy, Uint256Ty, StringTy],
280
+ 3906845782: [Uint256Ty, BoolTy, Uint256Ty, StringTy],
281
+ 2443193898: [Uint256Ty, BoolTy, Uint256Ty, BoolTy],
282
+ 3534472445: [Uint256Ty, BoolTy, Uint256Ty, BoolTy],
283
+ 2295029825: [Uint256Ty, BoolTy, Uint256Ty, AddressTy],
284
+ 1329595790: [Uint256Ty, BoolTy, Uint256Ty, AddressTy],
285
+ 740099910: [Uint256Ty, BoolTy, StringTy, Uint256Ty],
286
+ 2438978344: [Uint256Ty, BoolTy, StringTy, Uint256Ty],
287
+ 1757984957: [Uint256Ty, BoolTy, StringTy, StringTy],
288
+ 2754870525: [Uint256Ty, BoolTy, StringTy, StringTy],
289
+ 3952250239: [Uint256Ty, BoolTy, StringTy, BoolTy],
290
+ 879671495: [Uint256Ty, BoolTy, StringTy, BoolTy],
291
+ 4015165464: [Uint256Ty, BoolTy, StringTy, AddressTy],
292
+ 1231956916: [Uint256Ty, BoolTy, StringTy, AddressTy],
293
+ 1952763427: [Uint256Ty, BoolTy, BoolTy, Uint256Ty],
294
+ 3173363033: [Uint256Ty, BoolTy, BoolTy, Uint256Ty],
295
+ 3722155361: [Uint256Ty, BoolTy, BoolTy, StringTy],
296
+ 831186331: [Uint256Ty, BoolTy, BoolTy, StringTy],
297
+ 3069540257: [Uint256Ty, BoolTy, BoolTy, BoolTy],
298
+ 1315722005: [Uint256Ty, BoolTy, BoolTy, BoolTy],
299
+ 1768164185: [Uint256Ty, BoolTy, BoolTy, AddressTy],
300
+ 1392910941: [Uint256Ty, BoolTy, BoolTy, AddressTy],
301
+ 125994997: [Uint256Ty, BoolTy, AddressTy, Uint256Ty],
302
+ 1102442299: [Uint256Ty, BoolTy, AddressTy, Uint256Ty],
303
+ 2917159623: [Uint256Ty, BoolTy, AddressTy, StringTy],
304
+ 2721084958: [Uint256Ty, BoolTy, AddressTy, StringTy],
305
+ 1162695845: [Uint256Ty, BoolTy, AddressTy, BoolTy],
306
+ 2449150530: [Uint256Ty, BoolTy, AddressTy, BoolTy],
307
+ 2716814523: [Uint256Ty, BoolTy, AddressTy, AddressTy],
308
+ 2263728396: [Uint256Ty, BoolTy, AddressTy, AddressTy],
309
+ 211605953: [Uint256Ty, AddressTy, Uint256Ty, Uint256Ty],
310
+ 3399106228: [Uint256Ty, AddressTy, Uint256Ty, Uint256Ty],
311
+ 3719324961: [Uint256Ty, AddressTy, Uint256Ty, StringTy],
312
+ 1054063912: [Uint256Ty, AddressTy, Uint256Ty, StringTy],
313
+ 1601452668: [Uint256Ty, AddressTy, Uint256Ty, BoolTy],
314
+ 435581801: [Uint256Ty, AddressTy, Uint256Ty, BoolTy],
315
+ 364980149: [Uint256Ty, AddressTy, Uint256Ty, AddressTy],
316
+ 4256361684: [Uint256Ty, AddressTy, Uint256Ty, AddressTy],
317
+ 1182952285: [Uint256Ty, AddressTy, StringTy, Uint256Ty],
318
+ 2697204968: [Uint256Ty, AddressTy, StringTy, Uint256Ty],
319
+ 1041403043: [Uint256Ty, AddressTy, StringTy, StringTy],
320
+ 2373420580: [Uint256Ty, AddressTy, StringTy, StringTy],
321
+ 3425872647: [Uint256Ty, AddressTy, StringTy, BoolTy],
322
+ 581204390: [Uint256Ty, AddressTy, StringTy, BoolTy],
323
+ 2629472255: [Uint256Ty, AddressTy, StringTy, AddressTy],
324
+ 3420819197: [Uint256Ty, AddressTy, StringTy, AddressTy],
325
+ 1522374954: [Uint256Ty, AddressTy, BoolTy, Uint256Ty],
326
+ 2064181483: [Uint256Ty, AddressTy, BoolTy, Uint256Ty],
327
+ 2432370346: [Uint256Ty, AddressTy, BoolTy, StringTy],
328
+ 1676730946: [Uint256Ty, AddressTy, BoolTy, StringTy],
329
+ 3813741583: [Uint256Ty, AddressTy, BoolTy, BoolTy],
330
+ 2116501773: [Uint256Ty, AddressTy, BoolTy, BoolTy],
331
+ 4017276179: [Uint256Ty, AddressTy, BoolTy, AddressTy],
332
+ 3056677012: [Uint256Ty, AddressTy, BoolTy, AddressTy],
333
+ 1936653238: [Uint256Ty, AddressTy, AddressTy, Uint256Ty],
334
+ 2587672470: [Uint256Ty, AddressTy, AddressTy, Uint256Ty],
335
+ 52195187: [Uint256Ty, AddressTy, AddressTy, StringTy],
336
+ 2034490470: [Uint256Ty, AddressTy, AddressTy, StringTy],
337
+ 153090805: [Uint256Ty, AddressTy, AddressTy, BoolTy],
338
+ 22350596: [Uint256Ty, AddressTy, AddressTy, BoolTy],
339
+ 612938772: [Uint256Ty, AddressTy, AddressTy, AddressTy],
340
+ 1430734329: [Uint256Ty, AddressTy, AddressTy, AddressTy],
341
+ 2812835923: [StringTy, Uint256Ty, Uint256Ty, Uint256Ty],
342
+ 149837414: [StringTy, Uint256Ty, Uint256Ty, Uint256Ty],
343
+ 2236298390: [StringTy, Uint256Ty, Uint256Ty, StringTy],
344
+ 2773406909: [StringTy, Uint256Ty, Uint256Ty, StringTy],
345
+ 1982258066: [StringTy, Uint256Ty, Uint256Ty, BoolTy],
346
+ 4147936829: [StringTy, Uint256Ty, Uint256Ty, BoolTy],
347
+ 3793609336: [StringTy, Uint256Ty, Uint256Ty, AddressTy],
348
+ 3201771711: [StringTy, Uint256Ty, Uint256Ty, AddressTy],
349
+ 3330189777: [StringTy, Uint256Ty, StringTy, Uint256Ty],
350
+ 2697245221: [StringTy, Uint256Ty, StringTy, Uint256Ty],
351
+ 1522028063: [StringTy, Uint256Ty, StringTy, StringTy],
352
+ 1821956834: [StringTy, Uint256Ty, StringTy, StringTy],
353
+ 2099530013: [StringTy, Uint256Ty, StringTy, BoolTy],
354
+ 3919545039: [StringTy, Uint256Ty, StringTy, BoolTy],
355
+ 2084975268: [StringTy, Uint256Ty, StringTy, AddressTy],
356
+ 3144824297: [StringTy, Uint256Ty, StringTy, AddressTy],
357
+ 3827003247: [StringTy, Uint256Ty, BoolTy, Uint256Ty],
358
+ 1427009269: [StringTy, Uint256Ty, BoolTy, Uint256Ty],
359
+ 2885106328: [StringTy, Uint256Ty, BoolTy, StringTy],
360
+ 1993105508: [StringTy, Uint256Ty, BoolTy, StringTy],
361
+ 894187222: [StringTy, Uint256Ty, BoolTy, BoolTy],
362
+ 3816813520: [StringTy, Uint256Ty, BoolTy, BoolTy],
363
+ 3773389720: [StringTy, Uint256Ty, BoolTy, AddressTy],
364
+ 3847527825: [StringTy, Uint256Ty, BoolTy, AddressTy],
365
+ 1325727174: [StringTy, Uint256Ty, AddressTy, Uint256Ty],
366
+ 1481210622: [StringTy, Uint256Ty, AddressTy, Uint256Ty],
367
+ 2684039059: [StringTy, Uint256Ty, AddressTy, StringTy],
368
+ 844415720: [StringTy, Uint256Ty, AddressTy, StringTy],
369
+ 2182163010: [StringTy, Uint256Ty, AddressTy, BoolTy],
370
+ 285649143: [StringTy, Uint256Ty, AddressTy, BoolTy],
371
+ 1587722158: [StringTy, Uint256Ty, AddressTy, AddressTy],
372
+ 3939013249: [StringTy, Uint256Ty, AddressTy, AddressTy],
373
+ 4099767596: [StringTy, StringTy, Uint256Ty, Uint256Ty],
374
+ 3587119056: [StringTy, StringTy, Uint256Ty, Uint256Ty],
375
+ 1562023706: [StringTy, StringTy, Uint256Ty, StringTy],
376
+ 2366909661: [StringTy, StringTy, Uint256Ty, StringTy],
377
+ 3282609748: [StringTy, StringTy, Uint256Ty, BoolTy],
378
+ 3864418506: [StringTy, StringTy, Uint256Ty, BoolTy],
379
+ 270792626: [StringTy, StringTy, Uint256Ty, AddressTy],
380
+ 1565476480: [StringTy, StringTy, Uint256Ty, AddressTy],
381
+ 2393878571: [StringTy, StringTy, StringTy, Uint256Ty],
382
+ 2681211381: [StringTy, StringTy, StringTy, Uint256Ty],
252
383
  3731419658: [StringTy, StringTy, StringTy, StringTy],
253
384
  739726573: [StringTy, StringTy, StringTy, BoolTy],
254
385
  1834430276: [StringTy, StringTy, StringTy, AddressTy],
255
- 2256636538: [StringTy, StringTy, BoolTy, UintTy],
386
+ 3601791698: [StringTy, StringTy, BoolTy, Uint256Ty],
387
+ 2256636538: [StringTy, StringTy, BoolTy, Uint256Ty],
256
388
  1585754346: [StringTy, StringTy, BoolTy, StringTy],
257
389
  1081628777: [StringTy, StringTy, BoolTy, BoolTy],
258
390
  3279013851: [StringTy, StringTy, BoolTy, AddressTy],
259
- 1250010474: [StringTy, StringTy, AddressTy, UintTy],
391
+ 2093204999: [StringTy, StringTy, AddressTy, Uint256Ty],
392
+ 1250010474: [StringTy, StringTy, AddressTy, Uint256Ty],
260
393
  3944480640: [StringTy, StringTy, AddressTy, StringTy],
261
394
  1556958775: [StringTy, StringTy, AddressTy, BoolTy],
262
395
  1134328815: [StringTy, StringTy, AddressTy, AddressTy],
263
- 1572859960: [StringTy, BoolTy, UintTy, UintTy],
264
- 1119461927: [StringTy, BoolTy, UintTy, StringTy],
265
- 1019590099: [StringTy, BoolTy, UintTy, BoolTy],
266
- 1909687565: [StringTy, BoolTy, UintTy, AddressTy],
267
- 885731469: [StringTy, BoolTy, StringTy, UintTy],
396
+ 1689631591: [StringTy, BoolTy, Uint256Ty, Uint256Ty],
397
+ 1572859960: [StringTy, BoolTy, Uint256Ty, Uint256Ty],
398
+ 1949134567: [StringTy, BoolTy, Uint256Ty, StringTy],
399
+ 1119461927: [StringTy, BoolTy, Uint256Ty, StringTy],
400
+ 2331496330: [StringTy, BoolTy, Uint256Ty, BoolTy],
401
+ 1019590099: [StringTy, BoolTy, Uint256Ty, BoolTy],
402
+ 2472413631: [StringTy, BoolTy, Uint256Ty, AddressTy],
403
+ 1909687565: [StringTy, BoolTy, Uint256Ty, AddressTy],
404
+ 620303461: [StringTy, BoolTy, StringTy, Uint256Ty],
405
+ 885731469: [StringTy, BoolTy, StringTy, Uint256Ty],
268
406
  2821114603: [StringTy, BoolTy, StringTy, StringTy],
269
407
  1066037277: [StringTy, BoolTy, StringTy, BoolTy],
270
408
  3764542249: [StringTy, BoolTy, StringTy, AddressTy],
271
- 2155164136: [StringTy, BoolTy, BoolTy, UintTy],
409
+ 2386524329: [StringTy, BoolTy, BoolTy, Uint256Ty],
410
+ 2155164136: [StringTy, BoolTy, BoolTy, Uint256Ty],
272
411
  2636305885: [StringTy, BoolTy, BoolTy, StringTy],
273
412
  2304440517: [StringTy, BoolTy, BoolTy, BoolTy],
274
413
  1905304873: [StringTy, BoolTy, BoolTy, AddressTy],
275
- 685723286: [StringTy, BoolTy, AddressTy, UintTy],
414
+ 1560853253: [StringTy, BoolTy, AddressTy, Uint256Ty],
415
+ 685723286: [StringTy, BoolTy, AddressTy, Uint256Ty],
276
416
  764294052: [StringTy, BoolTy, AddressTy, StringTy],
277
417
  2508990662: [StringTy, BoolTy, AddressTy, BoolTy],
278
418
  870964509: [StringTy, BoolTy, AddressTy, AddressTy],
279
- 3668153533: [StringTy, AddressTy, UintTy, UintTy],
280
- 1280700980: [StringTy, AddressTy, UintTy, StringTy],
281
- 1522647356: [StringTy, AddressTy, UintTy, BoolTy],
282
- 2741431424: [StringTy, AddressTy, UintTy, AddressTy],
283
- 2405583849: [StringTy, AddressTy, StringTy, UintTy],
419
+ 4176812830: [StringTy, AddressTy, Uint256Ty, Uint256Ty],
420
+ 3668153533: [StringTy, AddressTy, Uint256Ty, Uint256Ty],
421
+ 1514632754: [StringTy, AddressTy, Uint256Ty, StringTy],
422
+ 1280700980: [StringTy, AddressTy, Uint256Ty, StringTy],
423
+ 4232594928: [StringTy, AddressTy, Uint256Ty, BoolTy],
424
+ 1522647356: [StringTy, AddressTy, Uint256Ty, BoolTy],
425
+ 1677429701: [StringTy, AddressTy, Uint256Ty, AddressTy],
426
+ 2741431424: [StringTy, AddressTy, Uint256Ty, AddressTy],
427
+ 2446397742: [StringTy, AddressTy, StringTy, Uint256Ty],
428
+ 2405583849: [StringTy, AddressTy, StringTy, Uint256Ty],
284
429
  609847026: [StringTy, AddressTy, StringTy, StringTy],
285
430
  1595265676: [StringTy, AddressTy, StringTy, BoolTy],
286
431
  2864486961: [StringTy, AddressTy, StringTy, AddressTy],
287
- 3318856587: [StringTy, AddressTy, BoolTy, UintTy],
432
+ 1050642026: [StringTy, AddressTy, BoolTy, Uint256Ty],
433
+ 3318856587: [StringTy, AddressTy, BoolTy, Uint256Ty],
288
434
  72663161: [StringTy, AddressTy, BoolTy, StringTy],
289
435
  2038975531: [StringTy, AddressTy, BoolTy, BoolTy],
290
436
  573965245: [StringTy, AddressTy, BoolTy, AddressTy],
291
- 1857524797: [StringTy, AddressTy, AddressTy, UintTy],
437
+ 2398352281: [StringTy, AddressTy, AddressTy, Uint256Ty],
438
+ 1857524797: [StringTy, AddressTy, AddressTy, Uint256Ty],
292
439
  2148146279: [StringTy, AddressTy, AddressTy, StringTy],
293
440
  3047013728: [StringTy, AddressTy, AddressTy, BoolTy],
294
441
  3985582326: [StringTy, AddressTy, AddressTy, AddressTy],
295
- 853517604: [BoolTy, UintTy, UintTy, UintTy],
296
- 3657852616: [BoolTy, UintTy, UintTy, StringTy],
297
- 2753397214: [BoolTy, UintTy, UintTy, BoolTy],
298
- 4049711649: [BoolTy, UintTy, UintTy, AddressTy],
299
- 1098907931: [BoolTy, UintTy, StringTy, UintTy],
300
- 3542771016: [BoolTy, UintTy, StringTy, StringTy],
301
- 2446522387: [BoolTy, UintTy, StringTy, BoolTy],
302
- 2781285673: [BoolTy, UintTy, StringTy, AddressTy],
303
- 3554563475: [BoolTy, UintTy, BoolTy, UintTy],
304
- 3067439572: [BoolTy, UintTy, BoolTy, StringTy],
305
- 2650928961: [BoolTy, UintTy, BoolTy, BoolTy],
306
- 1114097656: [BoolTy, UintTy, BoolTy, AddressTy],
307
- 3399820138: [BoolTy, UintTy, AddressTy, UintTy],
308
- 403247937: [BoolTy, UintTy, AddressTy, StringTy],
309
- 1705899016: [BoolTy, UintTy, AddressTy, BoolTy],
310
- 2318373034: [BoolTy, UintTy, AddressTy, AddressTy],
311
- 2387273838: [BoolTy, StringTy, UintTy, UintTy],
312
- 2007084013: [BoolTy, StringTy, UintTy, StringTy],
313
- 549177775: [BoolTy, StringTy, UintTy, BoolTy],
314
- 1529002296: [BoolTy, StringTy, UintTy, AddressTy],
315
- 1574643090: [BoolTy, StringTy, StringTy, UintTy],
442
+ 927708338: [BoolTy, Uint256Ty, Uint256Ty, Uint256Ty],
443
+ 853517604: [BoolTy, Uint256Ty, Uint256Ty, Uint256Ty],
444
+ 2389310301: [BoolTy, Uint256Ty, Uint256Ty, StringTy],
445
+ 3657852616: [BoolTy, Uint256Ty, Uint256Ty, StringTy],
446
+ 3197649747: [BoolTy, Uint256Ty, Uint256Ty, BoolTy],
447
+ 2753397214: [BoolTy, Uint256Ty, Uint256Ty, BoolTy],
448
+ 14518201: [BoolTy, Uint256Ty, Uint256Ty, AddressTy],
449
+ 4049711649: [BoolTy, Uint256Ty, Uint256Ty, AddressTy],
450
+ 1779538402: [BoolTy, Uint256Ty, StringTy, Uint256Ty],
451
+ 1098907931: [BoolTy, Uint256Ty, StringTy, Uint256Ty],
452
+ 4122747465: [BoolTy, Uint256Ty, StringTy, StringTy],
453
+ 3542771016: [BoolTy, Uint256Ty, StringTy, StringTy],
454
+ 3857124139: [BoolTy, Uint256Ty, StringTy, BoolTy],
455
+ 2446522387: [BoolTy, Uint256Ty, StringTy, BoolTy],
456
+ 4275904511: [BoolTy, Uint256Ty, StringTy, AddressTy],
457
+ 2781285673: [BoolTy, Uint256Ty, StringTy, AddressTy],
458
+ 2140912802: [BoolTy, Uint256Ty, BoolTy, Uint256Ty],
459
+ 3554563475: [BoolTy, Uint256Ty, BoolTy, Uint256Ty],
460
+ 2437143473: [BoolTy, Uint256Ty, BoolTy, StringTy],
461
+ 3067439572: [BoolTy, Uint256Ty, BoolTy, StringTy],
462
+ 3468031191: [BoolTy, Uint256Ty, BoolTy, BoolTy],
463
+ 2650928961: [BoolTy, Uint256Ty, BoolTy, BoolTy],
464
+ 2597139990: [BoolTy, Uint256Ty, BoolTy, AddressTy],
465
+ 1114097656: [BoolTy, Uint256Ty, BoolTy, AddressTy],
466
+ 355982471: [BoolTy, Uint256Ty, AddressTy, Uint256Ty],
467
+ 3399820138: [BoolTy, Uint256Ty, AddressTy, Uint256Ty],
468
+ 464760986: [BoolTy, Uint256Ty, AddressTy, StringTy],
469
+ 403247937: [BoolTy, Uint256Ty, AddressTy, StringTy],
470
+ 3032683775: [BoolTy, Uint256Ty, AddressTy, BoolTy],
471
+ 1705899016: [BoolTy, Uint256Ty, AddressTy, BoolTy],
472
+ 653615272: [BoolTy, Uint256Ty, AddressTy, AddressTy],
473
+ 2318373034: [BoolTy, Uint256Ty, AddressTy, AddressTy],
474
+ 679886795: [BoolTy, StringTy, Uint256Ty, Uint256Ty],
475
+ 2387273838: [BoolTy, StringTy, Uint256Ty, Uint256Ty],
476
+ 450457062: [BoolTy, StringTy, Uint256Ty, StringTy],
477
+ 2007084013: [BoolTy, StringTy, Uint256Ty, StringTy],
478
+ 1796103507: [BoolTy, StringTy, Uint256Ty, BoolTy],
479
+ 549177775: [BoolTy, StringTy, Uint256Ty, BoolTy],
480
+ 362193358: [BoolTy, StringTy, Uint256Ty, AddressTy],
481
+ 1529002296: [BoolTy, StringTy, Uint256Ty, AddressTy],
482
+ 2078327787: [BoolTy, StringTy, StringTy, Uint256Ty],
483
+ 1574643090: [BoolTy, StringTy, StringTy, Uint256Ty],
316
484
  392356650: [BoolTy, StringTy, StringTy, StringTy],
317
485
  508266469: [BoolTy, StringTy, StringTy, BoolTy],
318
486
  2547225816: [BoolTy, StringTy, StringTy, AddressTy],
319
- 2372902053: [BoolTy, StringTy, BoolTy, UintTy],
487
+ 369533843: [BoolTy, StringTy, BoolTy, Uint256Ty],
488
+ 2372902053: [BoolTy, StringTy, BoolTy, Uint256Ty],
320
489
  1211958294: [BoolTy, StringTy, BoolTy, StringTy],
321
490
  3697185627: [BoolTy, StringTy, BoolTy, BoolTy],
322
491
  1401816747: [BoolTy, StringTy, BoolTy, AddressTy],
323
- 453743963: [BoolTy, StringTy, AddressTy, UintTy],
492
+ 2781534868: [BoolTy, StringTy, AddressTy, Uint256Ty],
493
+ 453743963: [BoolTy, StringTy, AddressTy, Uint256Ty],
324
494
  316065672: [BoolTy, StringTy, AddressTy, StringTy],
325
495
  1842623690: [BoolTy, StringTy, AddressTy, BoolTy],
326
496
  724244700: [BoolTy, StringTy, AddressTy, AddressTy],
327
- 1181212302: [BoolTy, BoolTy, UintTy, UintTy],
328
- 1348569399: [BoolTy, BoolTy, UintTy, StringTy],
329
- 2874982852: [BoolTy, BoolTy, UintTy, BoolTy],
330
- 201299213: [BoolTy, BoolTy, UintTy, AddressTy],
331
- 395003525: [BoolTy, BoolTy, StringTy, UintTy],
497
+ 196087467: [BoolTy, BoolTy, Uint256Ty, Uint256Ty],
498
+ 1181212302: [BoolTy, BoolTy, Uint256Ty, Uint256Ty],
499
+ 2111099104: [BoolTy, BoolTy, Uint256Ty, StringTy],
500
+ 1348569399: [BoolTy, BoolTy, Uint256Ty, StringTy],
501
+ 1637764366: [BoolTy, BoolTy, Uint256Ty, BoolTy],
502
+ 2874982852: [BoolTy, BoolTy, Uint256Ty, BoolTy],
503
+ 1420274080: [BoolTy, BoolTy, Uint256Ty, AddressTy],
504
+ 201299213: [BoolTy, BoolTy, Uint256Ty, AddressTy],
505
+ 3819555375: [BoolTy, BoolTy, StringTy, Uint256Ty],
506
+ 395003525: [BoolTy, BoolTy, StringTy, Uint256Ty],
332
507
  1830717265: [BoolTy, BoolTy, StringTy, StringTy],
333
508
  3092715066: [BoolTy, BoolTy, StringTy, BoolTy],
334
509
  4188875657: [BoolTy, BoolTy, StringTy, AddressTy],
335
- 3259532109: [BoolTy, BoolTy, BoolTy, UintTy],
510
+ 1836074433: [BoolTy, BoolTy, BoolTy, Uint256Ty],
511
+ 3259532109: [BoolTy, BoolTy, BoolTy, Uint256Ty],
336
512
  719587540: [BoolTy, BoolTy, BoolTy, StringTy],
337
513
  992632032: [BoolTy, BoolTy, BoolTy, BoolTy],
338
514
  2352126746: [BoolTy, BoolTy, BoolTy, AddressTy],
339
- 1620281063: [BoolTy, BoolTy, AddressTy, UintTy],
515
+ 1276263767: [BoolTy, BoolTy, AddressTy, Uint256Ty],
516
+ 1620281063: [BoolTy, BoolTy, AddressTy, Uint256Ty],
340
517
  2695133539: [BoolTy, BoolTy, AddressTy, StringTy],
341
518
  3231908568: [BoolTy, BoolTy, AddressTy, BoolTy],
342
519
  4102557348: [BoolTy, BoolTy, AddressTy, AddressTy],
343
- 2617143996: [BoolTy, AddressTy, UintTy, UintTy],
344
- 2691192883: [BoolTy, AddressTy, UintTy, StringTy],
345
- 4002252402: [BoolTy, AddressTy, UintTy, BoolTy],
346
- 1760647349: [BoolTy, AddressTy, UintTy, AddressTy],
347
- 194640930: [BoolTy, AddressTy, StringTy, UintTy],
520
+ 2079424929: [BoolTy, AddressTy, Uint256Ty, Uint256Ty],
521
+ 2617143996: [BoolTy, AddressTy, Uint256Ty, Uint256Ty],
522
+ 1374724088: [BoolTy, AddressTy, Uint256Ty, StringTy],
523
+ 2691192883: [BoolTy, AddressTy, Uint256Ty, StringTy],
524
+ 3590430492: [BoolTy, AddressTy, Uint256Ty, BoolTy],
525
+ 4002252402: [BoolTy, AddressTy, Uint256Ty, BoolTy],
526
+ 325780957: [BoolTy, AddressTy, Uint256Ty, AddressTy],
527
+ 1760647349: [BoolTy, AddressTy, Uint256Ty, AddressTy],
528
+ 3256837319: [BoolTy, AddressTy, StringTy, Uint256Ty],
529
+ 194640930: [BoolTy, AddressTy, StringTy, Uint256Ty],
348
530
  2805734838: [BoolTy, AddressTy, StringTy, StringTy],
349
531
  3804222987: [BoolTy, AddressTy, StringTy, BoolTy],
350
532
  1870422078: [BoolTy, AddressTy, StringTy, AddressTy],
351
- 1287000017: [BoolTy, AddressTy, BoolTy, UintTy],
533
+ 126031106: [BoolTy, AddressTy, BoolTy, Uint256Ty],
534
+ 1287000017: [BoolTy, AddressTy, BoolTy, Uint256Ty],
352
535
  1248250676: [BoolTy, AddressTy, BoolTy, StringTy],
353
536
  1788626827: [BoolTy, AddressTy, BoolTy, BoolTy],
354
537
  474063670: [BoolTy, AddressTy, BoolTy, AddressTy],
355
- 1384430956: [BoolTy, AddressTy, AddressTy, UintTy],
538
+ 208064958: [BoolTy, AddressTy, AddressTy, Uint256Ty],
539
+ 1384430956: [BoolTy, AddressTy, AddressTy, Uint256Ty],
356
540
  3625099623: [BoolTy, AddressTy, AddressTy, StringTy],
357
541
  1180699616: [BoolTy, AddressTy, AddressTy, BoolTy],
358
542
  487903233: [BoolTy, AddressTy, AddressTy, AddressTy],
359
- 1024368100: [AddressTy, UintTy, UintTy, UintTy],
360
- 2301889963: [AddressTy, UintTy, UintTy, StringTy],
361
- 3964381346: [AddressTy, UintTy, UintTy, BoolTy],
362
- 519451700: [AddressTy, UintTy, UintTy, AddressTy],
363
- 4111650715: [AddressTy, UintTy, StringTy, UintTy],
364
- 2119616147: [AddressTy, UintTy, StringTy, StringTy],
365
- 2751614737: [AddressTy, UintTy, StringTy, BoolTy],
366
- 3698927108: [AddressTy, UintTy, StringTy, AddressTy],
367
- 1770996626: [AddressTy, UintTy, BoolTy, UintTy],
368
- 2391690869: [AddressTy, UintTy, BoolTy, StringTy],
369
- 4272018778: [AddressTy, UintTy, BoolTy, BoolTy],
370
- 602229106: [AddressTy, UintTy, BoolTy, AddressTy],
371
- 2782496616: [AddressTy, UintTy, AddressTy, UintTy],
372
- 1567749022: [AddressTy, UintTy, AddressTy, StringTy],
373
- 4051804649: [AddressTy, UintTy, AddressTy, BoolTy],
374
- 3961816175: [AddressTy, UintTy, AddressTy, AddressTy],
375
- 2764647008: [AddressTy, StringTy, UintTy, UintTy],
376
- 1561552329: [AddressTy, StringTy, UintTy, StringTy],
377
- 2116357467: [AddressTy, StringTy, UintTy, BoolTy],
378
- 3755464715: [AddressTy, StringTy, UintTy, AddressTy],
379
- 2706362425: [AddressTy, StringTy, StringTy, UintTy],
543
+ 888202806: [AddressTy, Uint256Ty, Uint256Ty, Uint256Ty],
544
+ 1024368100: [AddressTy, Uint256Ty, Uint256Ty, Uint256Ty],
545
+ 1244184599: [AddressTy, Uint256Ty, Uint256Ty, StringTy],
546
+ 2301889963: [AddressTy, Uint256Ty, Uint256Ty, StringTy],
547
+ 1727118439: [AddressTy, Uint256Ty, Uint256Ty, BoolTy],
548
+ 3964381346: [AddressTy, Uint256Ty, Uint256Ty, BoolTy],
549
+ 551786573: [AddressTy, Uint256Ty, Uint256Ty, AddressTy],
550
+ 519451700: [AddressTy, Uint256Ty, Uint256Ty, AddressTy],
551
+ 3204577425: [AddressTy, Uint256Ty, StringTy, Uint256Ty],
552
+ 4111650715: [AddressTy, Uint256Ty, StringTy, Uint256Ty],
553
+ 2292761606: [AddressTy, Uint256Ty, StringTy, StringTy],
554
+ 2119616147: [AddressTy, Uint256Ty, StringTy, StringTy],
555
+ 3474460764: [AddressTy, Uint256Ty, StringTy, BoolTy],
556
+ 2751614737: [AddressTy, Uint256Ty, StringTy, BoolTy],
557
+ 1547898183: [AddressTy, Uint256Ty, StringTy, AddressTy],
558
+ 3698927108: [AddressTy, Uint256Ty, StringTy, AddressTy],
559
+ 586594713: [AddressTy, Uint256Ty, BoolTy, Uint256Ty],
560
+ 1770996626: [AddressTy, Uint256Ty, BoolTy, Uint256Ty],
561
+ 3316483577: [AddressTy, Uint256Ty, BoolTy, StringTy],
562
+ 2391690869: [AddressTy, Uint256Ty, BoolTy, StringTy],
563
+ 1005970743: [AddressTy, Uint256Ty, BoolTy, BoolTy],
564
+ 4272018778: [AddressTy, Uint256Ty, BoolTy, BoolTy],
565
+ 2736520652: [AddressTy, Uint256Ty, BoolTy, AddressTy],
566
+ 602229106: [AddressTy, Uint256Ty, BoolTy, AddressTy],
567
+ 269444366: [AddressTy, Uint256Ty, AddressTy, Uint256Ty],
568
+ 2782496616: [AddressTy, Uint256Ty, AddressTy, Uint256Ty],
569
+ 497649386: [AddressTy, Uint256Ty, AddressTy, StringTy],
570
+ 1567749022: [AddressTy, Uint256Ty, AddressTy, StringTy],
571
+ 2713504179: [AddressTy, Uint256Ty, AddressTy, BoolTy],
572
+ 4051804649: [AddressTy, Uint256Ty, AddressTy, BoolTy],
573
+ 1200430178: [AddressTy, Uint256Ty, AddressTy, AddressTy],
574
+ 3961816175: [AddressTy, Uint256Ty, AddressTy, AddressTy],
575
+ 499704248: [AddressTy, StringTy, Uint256Ty, Uint256Ty],
576
+ 2764647008: [AddressTy, StringTy, Uint256Ty, Uint256Ty],
577
+ 1149776040: [AddressTy, StringTy, Uint256Ty, StringTy],
578
+ 1561552329: [AddressTy, StringTy, Uint256Ty, StringTy],
579
+ 251125840: [AddressTy, StringTy, Uint256Ty, BoolTy],
580
+ 2116357467: [AddressTy, StringTy, Uint256Ty, BoolTy],
581
+ 1662531192: [AddressTy, StringTy, Uint256Ty, AddressTy],
582
+ 3755464715: [AddressTy, StringTy, Uint256Ty, AddressTy],
583
+ 362776871: [AddressTy, StringTy, StringTy, Uint256Ty],
584
+ 2706362425: [AddressTy, StringTy, StringTy, Uint256Ty],
380
585
  1560462603: [AddressTy, StringTy, StringTy, StringTy],
381
586
  900007711: [AddressTy, StringTy, StringTy, BoolTy],
382
587
  2689478535: [AddressTy, StringTy, StringTy, AddressTy],
383
- 3877655068: [AddressTy, StringTy, BoolTy, UintTy],
588
+ 1365129398: [AddressTy, StringTy, BoolTy, Uint256Ty],
589
+ 3877655068: [AddressTy, StringTy, BoolTy, Uint256Ty],
384
590
  3154862590: [AddressTy, StringTy, BoolTy, StringTy],
385
591
  1595759775: [AddressTy, StringTy, BoolTy, BoolTy],
386
592
  542667202: [AddressTy, StringTy, BoolTy, AddressTy],
387
- 2350461865: [AddressTy, StringTy, AddressTy, UintTy],
593
+ 1166009295: [AddressTy, StringTy, AddressTy, Uint256Ty],
594
+ 2350461865: [AddressTy, StringTy, AddressTy, Uint256Ty],
388
595
  4158874181: [AddressTy, StringTy, AddressTy, StringTy],
389
596
  233909110: [AddressTy, StringTy, AddressTy, BoolTy],
390
597
  221706784: [AddressTy, StringTy, AddressTy, AddressTy],
391
- 3255869470: [AddressTy, BoolTy, UintTy, UintTy],
392
- 2606272204: [AddressTy, BoolTy, UintTy, StringTy],
393
- 2244855215: [AddressTy, BoolTy, UintTy, BoolTy],
394
- 227337758: [AddressTy, BoolTy, UintTy, AddressTy],
395
- 2652011374: [AddressTy, BoolTy, StringTy, UintTy],
598
+ 946861556: [AddressTy, BoolTy, Uint256Ty, Uint256Ty],
599
+ 3255869470: [AddressTy, BoolTy, Uint256Ty, Uint256Ty],
600
+ 178704301: [AddressTy, BoolTy, Uint256Ty, StringTy],
601
+ 2606272204: [AddressTy, BoolTy, Uint256Ty, StringTy],
602
+ 3294903840: [AddressTy, BoolTy, Uint256Ty, BoolTy],
603
+ 2244855215: [AddressTy, BoolTy, Uint256Ty, BoolTy],
604
+ 3438776481: [AddressTy, BoolTy, Uint256Ty, AddressTy],
605
+ 227337758: [AddressTy, BoolTy, Uint256Ty, AddressTy],
606
+ 2162598411: [AddressTy, BoolTy, StringTy, Uint256Ty],
607
+ 2652011374: [AddressTy, BoolTy, StringTy, Uint256Ty],
396
608
  1197235251: [AddressTy, BoolTy, StringTy, StringTy],
397
609
  1353532957: [AddressTy, BoolTy, StringTy, BoolTy],
398
610
  436029782: [AddressTy, BoolTy, StringTy, AddressTy],
399
- 3484780374: [AddressTy, BoolTy, BoolTy, UintTy],
611
+ 2353946086: [AddressTy, BoolTy, BoolTy, Uint256Ty],
612
+ 3484780374: [AddressTy, BoolTy, BoolTy, Uint256Ty],
400
613
  3754205928: [AddressTy, BoolTy, BoolTy, StringTy],
401
614
  3401856121: [AddressTy, BoolTy, BoolTy, BoolTy],
402
615
  3476636805: [AddressTy, BoolTy, BoolTy, AddressTy],
403
- 3698398930: [AddressTy, BoolTy, AddressTy, UintTy],
616
+ 2807847390: [AddressTy, BoolTy, AddressTy, Uint256Ty],
617
+ 3698398930: [AddressTy, BoolTy, AddressTy, Uint256Ty],
404
618
  769095910: [AddressTy, BoolTy, AddressTy, StringTy],
405
619
  2801077007: [AddressTy, BoolTy, AddressTy, BoolTy],
406
620
  1711502813: [AddressTy, BoolTy, AddressTy, AddressTy],
407
- 1425929188: [AddressTy, AddressTy, UintTy, UintTy],
408
- 2647731885: [AddressTy, AddressTy, UintTy, StringTy],
409
- 3270936812: [AddressTy, AddressTy, UintTy, BoolTy],
410
- 3603321462: [AddressTy, AddressTy, UintTy, AddressTy],
411
- 69767936: [AddressTy, AddressTy, StringTy, UintTy],
621
+ 3193255041: [AddressTy, AddressTy, Uint256Ty, Uint256Ty],
622
+ 1425929188: [AddressTy, AddressTy, Uint256Ty, Uint256Ty],
623
+ 4256496016: [AddressTy, AddressTy, Uint256Ty, StringTy],
624
+ 2647731885: [AddressTy, AddressTy, Uint256Ty, StringTy],
625
+ 2604815586: [AddressTy, AddressTy, Uint256Ty, BoolTy],
626
+ 3270936812: [AddressTy, AddressTy, Uint256Ty, BoolTy],
627
+ 2376523509: [AddressTy, AddressTy, Uint256Ty, AddressTy],
628
+ 3603321462: [AddressTy, AddressTy, Uint256Ty, AddressTy],
629
+ 4011651047: [AddressTy, AddressTy, StringTy, Uint256Ty],
630
+ 69767936: [AddressTy, AddressTy, StringTy, Uint256Ty],
412
631
  566079269: [AddressTy, AddressTy, StringTy, StringTy],
413
632
  1863997774: [AddressTy, AddressTy, StringTy, BoolTy],
414
633
  2406706454: [AddressTy, AddressTy, StringTy, AddressTy],
415
- 2513854225: [AddressTy, AddressTy, BoolTy, UintTy],
634
+ 963766156: [AddressTy, AddressTy, BoolTy, Uint256Ty],
635
+ 2513854225: [AddressTy, AddressTy, BoolTy, Uint256Ty],
416
636
  2858762440: [AddressTy, AddressTy, BoolTy, StringTy],
417
637
  752096074: [AddressTy, AddressTy, BoolTy, BoolTy],
418
638
  2669396846: [AddressTy, AddressTy, BoolTy, AddressTy],
419
- 3982404743: [AddressTy, AddressTy, AddressTy, UintTy],
639
+ 2485456247: [AddressTy, AddressTy, AddressTy, Uint256Ty],
640
+ 3982404743: [AddressTy, AddressTy, AddressTy, Uint256Ty],
420
641
  4161329696: [AddressTy, AddressTy, AddressTy, StringTy],
421
642
  238520724: [AddressTy, AddressTy, AddressTy, BoolTy],
422
643
  1717301556: [AddressTy, AddressTy, AddressTy, AddressTy],