019b477e-d497-72b6-8250-c583a88d8535
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 28373 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 28374 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71492 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71493 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71494 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71495 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0185 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x995b5aae 00000019: GT 0000001a: PUSH2 0x00d1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd0889358 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xefdcd974 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xefdcd974 0000003a: EQ 0000003b: PUSH2 0x05a6 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf242ab41 00000045: EQ 00000046: PUSH2 0x05cf 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x05fa 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xffb54a99 0000005b: EQ 0000005c: PUSH2 0x0623 0000005f: JUMPI 00000060: PUSH2 0x018c 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xd0889358 0000006b: EQ 0000006c: PUSH2 0x0502 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xdd62ed3e 00000076: EQ 00000077: PUSH2 0x052b 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe13b2007 00000081: EQ 00000082: PUSH2 0x0568 00000085: JUMPI 00000086: PUSH2 0x018c 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x995b5aae 00000091: EQ 00000092: PUSH2 0x03ee 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x9a7a23d6 0000009c: EQ 0000009d: PUSH2 0x041b 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xa457c2d7 000000a7: EQ 000000a8: PUSH2 0x0444 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa9059cbb 000000b2: EQ 000000b3: PUSH2 0x0481 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xae7ed567 000000bd: EQ 000000be: PUSH2 0x04be 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xc9567bf9 000000c8: EQ 000000c9: PUSH2 0x04eb 000000cc: JUMPI 000000cd: PUSH2 0x018c 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x313ce567 000000d8: GT 000000d9: PUSH2 0x013e 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x715018a6 000000e3: GT 000000e4: PUSH2 0x0118 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x715018a6 000000ee: EQ 000000ef: PUSH2 0x0358 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x8b4cee08 000000f9: EQ 000000fa: PUSH2 0x036f 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x8da5cb5b 00000104: EQ 00000105: PUSH2 0x0398 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x95d89b41 0000010f: EQ 00000110: PUSH2 0x03c3 00000113: JUMPI 00000114: PUSH2 0x018c 00000117: JUMP 00000118: JUMPDEST 00000119: DUP1 0000011a: PUSH4 0x313ce567 0000011f: EQ 00000120: PUSH2 0x02b3 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x39509351 0000012a: EQ 0000012b: PUSH2 0x02de 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x70a08231 00000135: EQ 00000136: PUSH2 0x031b 00000139: JUMPI 0000013a: PUSH2 0x018c 0000013d: JUMP 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x06fdde03 00000145: EQ 00000146: PUSH2 0x0191 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x095ea7b3 00000150: EQ 00000151: PUSH2 0x01bc 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x0cc835a3 0000015b: EQ 0000015c: PUSH2 0x01f9 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x18160ddd 00000166: EQ 00000167: PUSH2 0x0222 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x22603661 00000171: EQ 00000172: PUSH2 0x024d 00000175: JUMPI 00000176: DUP1 00000177: PUSH4 0x23b872dd 0000017c: EQ 0000017d: PUSH2 0x0276 00000180: JUMPI 00000181: PUSH2 0x018c 00000184: JUMP 00000185: JUMPDEST 00000186: CALLDATASIZE 00000187: PUSH2 0x018c 0000018a: JUMPI 0000018b: STOP 0000018c: JUMPDEST 0000018d: PUSH1 0x00 0000018f: DUP1 00000190: REVERT 00000191: JUMPDEST 00000192: CALLVALUE 00000193: DUP1 00000194: ISZERO 00000195: PUSH2 0x019d 00000198: JUMPI 00000199: PUSH1 0x00 0000019b: DUP1 0000019c: REVERT 0000019d: JUMPDEST 0000019e: POP 0000019f: PUSH2 0x01a6 000001a2: PUSH2 0x064e 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH1 0x40 000001a9: MLOAD 000001aa: PUSH2 0x01b3 000001ad: SWAP2 000001ae: SWAP1 000001af: PUSH2 0x2585 000001b2: JUMP 000001b3: JUMPDEST 000001b4: PUSH1 0x40 000001b6: MLOAD 000001b7: DUP1 000001b8: SWAP2 000001b9: SUB 000001ba: SWAP1 000001bb: RETURN 000001bc: JUMPDEST 000001bd: CALLVALUE 000001be: DUP1 000001bf: ISZERO 000001c0: PUSH2 0x01c8 000001c3: JUMPI 000001c4: PUSH1 0x00 000001c6: DUP1 000001c7: REVERT 000001c8: JUMPDEST 000001c9: POP 000001ca: PUSH2 0x01e3 000001cd: PUSH1 0x04 000001cf: DUP1 000001d0: CALLDATASIZE 000001d1: SUB 000001d2: DUP2 000001d3: ADD 000001d4: SWAP1 000001d5: PUSH2 0x01de 000001d8: SWAP2 000001d9: SWAP1 000001da: PUSH2 0x2640 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH2 0x06e0 000001e2: JUMP 000001e3: JUMPDEST 000001e4: PUSH1 0x40 000001e6: MLOAD 000001e7: PUSH2 0x01f0 000001ea: SWAP2 000001eb: SWAP1 000001ec: PUSH2 0x269b 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH1 0x40 000001f3: MLOAD 000001f4: DUP1 000001f5: SWAP2 000001f6: SUB 000001f7: SWAP1 000001f8: RETURN 000001f9: JUMPDEST 000001fa: CALLVALUE 000001fb: DUP1 000001fc: ISZERO 000001fd: PUSH2 0x0205 00000200: JUMPI 00000201: PUSH1 0x00 00000203: DUP1 00000204: REVERT 00000205: JUMPDEST 00000206: POP 00000207: PUSH2 0x0220 0000020a: PUSH1 0x04 0000020c: DUP1 0000020d: CALLDATASIZE 0000020e: SUB 0000020f: DUP2 00000210: ADD 00000211: SWAP1 00000212: PUSH2 0x021b 00000215: SWAP2 00000216: SWAP1 00000217: PUSH2 0x26b6 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH2 0x06fe 0000021f: JUMP 00000220: JUMPDEST 00000221: STOP 00000222: JUMPDEST 00000223: CALLVALUE 00000224: DUP1 00000225: ISZERO 00000226: PUSH2 0x022e 00000229: JUMPI 0000022a: PUSH1 0x00 0000022c: DUP1 0000022d: REVERT 0000022e: JUMPDEST 0000022f: POP 00000230: PUSH2 0x0237 00000233: PUSH2 0x0804 00000236: JUMP 00000237: JUMPDEST 00000238: PUSH1 0x40 0000023a: MLOAD 0000023b: PUSH2 0x0244 0000023e: SWAP2 0000023f: SWAP1 00000240: PUSH2 0x26f2 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH1 0x40 00000247: MLOAD 00000248: DUP1 00000249: SWAP2 0000024a: SUB 0000024b: SWAP1 0000024c: RETURN 0000024d: JUMPDEST 0000024e: CALLVALUE 0000024f: DUP1 00000250: ISZERO 00000251: PUSH2 0x0259 00000254: JUMPI 00000255: PUSH1 0x00 00000257: DUP1 00000258: REVERT 00000259: JUMPDEST 0000025a: POP 0000025b: PUSH2 0x0274 0000025e: PUSH1 0x04 00000260: DUP1 00000261: CALLDATASIZE 00000262: SUB 00000263: DUP2 00000264: ADD 00000265: SWAP1 00000266: PUSH2 0x026f 00000269: SWAP2 0000026a: SWAP1 0000026b: PUSH2 0x2739 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH2 0x080e 00000273: JUMP 00000274: JUMPDEST 00000275: STOP 00000276: JUMPDEST 00000277: CALLVALUE 00000278: DUP1 00000279: ISZERO 0000027a: PUSH2 0x0282 0000027d: JUMPI 0000027e: PUSH1 0x00 00000280: DUP1 00000281: REVERT 00000282: JUMPDEST 00000283: POP 00000284: PUSH2 0x029d 00000287: PUSH1 0x04 00000289: DUP1 0000028a: CALLDATASIZE 0000028b: SUB 0000028c: DUP2 0000028d: ADD 0000028e: SWAP1 0000028f: PUSH2 0x0298 00000292: SWAP2 00000293: SWAP1 00000294: PUSH2 0x2779 00000297: JUMP 00000298: JUMPDEST 00000299: PUSH2 0x0933 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH1 0x40 000002a0: MLOAD 000002a1: PUSH2 0x02aa 000002a4: SWAP2 000002a5: SWAP1 000002a6: PUSH2 0x269b 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: DUP1 000002af: SWAP2 000002b0: SUB 000002b1: SWAP1 000002b2: RETURN 000002b3: JUMPDEST 000002b4: CALLVALUE 000002b5: DUP1 000002b6: ISZERO 000002b7: PUSH2 0x02bf 000002ba: JUMPI 000002bb: PUSH1 0x00 000002bd: DUP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: POP 000002c1: PUSH2 0x02c8 000002c4: PUSH2 0x0a2b 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: PUSH2 0x02d5 000002cf: SWAP2 000002d0: SWAP1 000002d1: PUSH2 0x27e8 000002d4: JUMP 000002d5: JUMPDEST 000002d6: PUSH1 0x40 000002d8: MLOAD 000002d9: DUP1 000002da: SWAP2 000002db: SUB 000002dc: SWAP1 000002dd: RETURN 000002de: JUMPDEST 000002df: CALLVALUE 000002e0: DUP1 000002e1: ISZERO 000002e2: PUSH2 0x02ea 000002e5: JUMPI 000002e6: PUSH1 0x00 000002e8: DUP1 000002e9: REVERT 000002ea: JUMPDEST 000002eb: POP 000002ec: PUSH2 0x0305 000002ef: PUSH1 0x04 000002f1: DUP1 000002f2: CALLDATASIZE 000002f3: SUB 000002f4: DUP2 000002f5: ADD 000002f6: SWAP1 000002f7: PUSH2 0x0300 000002fa: SWAP2 000002fb: SWAP1 000002fc: PUSH2 0x2640 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH2 0x0a34 00000304: JUMP 00000305: JUMPDEST 00000306: PUSH1 0x40 00000308: MLOAD 00000309: PUSH2 0x0312 0000030c: SWAP2 0000030d: SWAP1 0000030e: PUSH2 0x269b 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH1 0x40 00000315: MLOAD 00000316: DUP1 00000317: SWAP2 00000318: SUB 00000319: SWAP1 0000031a: RETURN 0000031b: JUMPDEST 0000031c: CALLVALUE 0000031d: DUP1 0000031e: ISZERO 0000031f: PUSH2 0x0327 00000322: JUMPI 00000323: PUSH1 0x00 00000325: DUP1 00000326: REVERT 00000327: JUMPDEST 00000328: POP 00000329: PUSH2 0x0342 0000032c: PUSH1 0x04 0000032e: DUP1 0000032f: CALLDATASIZE 00000330: SUB 00000331: DUP2 00000332: ADD 00000333: SWAP1 00000334: PUSH2 0x033d 00000337: SWAP2 00000338: SWAP1 00000339: PUSH2 0x2803 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH2 0x0ae0 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH1 0x40 00000345: MLOAD 00000346: PUSH2 0x034f 00000349: SWAP2 0000034a: SWAP1 0000034b: PUSH2 0x26f2 0000034e: JUMP 0000034f: JUMPDEST 00000350: PUSH1 0x40 00000352: MLOAD 00000353: DUP1 00000354: SWAP2 00000355: SUB 00000356: SWAP1 00000357: RETURN 00000358: JUMPDEST 00000359: CALLVALUE 0000035a: DUP1 0000035b: ISZERO 0000035c: PUSH2 0x0364 0000035f: JUMPI 00000360: PUSH1 0x00 00000362: DUP1 00000363: REVERT 00000364: JUMPDEST 00000365: POP 00000366: PUSH2 0x036d 00000369: PUSH2 0x0b28 0000036c: JUMP 0000036d: JUMPDEST 0000036e: STOP 0000036f: JUMPDEST 00000370: CALLVALUE 00000371: DUP1 00000372: ISZERO 00000373: PUSH2 0x037b 00000376: JUMPI 00000377: PUSH1 0x00 00000379: DUP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: POP 0000037d: PUSH2 0x0396 00000380: PUSH1 0x04 00000382: DUP1 00000383: CALLDATASIZE 00000384: SUB 00000385: DUP2 00000386: ADD 00000387: SWAP1 00000388: PUSH2 0x0391 0000038b: SWAP2 0000038c: SWAP1 0000038d: PUSH2 0x26b6 00000390: JUMP 00000391: JUMPDEST 00000392: PUSH2 0x0bb0 00000395: JUMP 00000396: JUMPDEST 00000397: STOP 00000398: JUMPDEST 00000399: CALLVALUE 0000039a: DUP1 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: PUSH2 0x03ad 000003a9: PUSH2 0x0cb6 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH1 0x40 000003b0: MLOAD 000003b1: PUSH2 0x03ba 000003b4: SWAP2 000003b5: SWAP1 000003b6: PUSH2 0x283f 000003b9: JUMP 000003ba: JUMPDEST 000003bb: PUSH1 0x40 000003bd: MLOAD 000003be: DUP1 000003bf: SWAP2 000003c0: SUB 000003c1: SWAP1 000003c2: RETURN 000003c3: JUMPDEST 000003c4: CALLVALUE 000003c5: DUP1 000003c6: ISZERO 000003c7: PUSH2 0x03cf 000003ca: JUMPI 000003cb: PUSH1 0x00 000003cd: DUP1 000003ce: REVERT 000003cf: JUMPDEST 000003d0: POP 000003d1: PUSH2 0x03d8 000003d4: PUSH2 0x0ce0 000003d7: JUMP 000003d8: JUMPDEST 000003d9: PUSH1 0x40 000003db: MLOAD 000003dc: PUSH2 0x03e5 000003df: SWAP2 000003e0: SWAP1 000003e1: PUSH2 0x2585 000003e4: JUMP 000003e5: JUMPDEST 000003e6: PUSH1 0x40 000003e8: MLOAD 000003e9: DUP1 000003ea: SWAP2 000003eb: SUB 000003ec: SWAP1 000003ed: RETURN 000003ee: JUMPDEST 000003ef: CALLVALUE 000003f0: DUP1 000003f1: ISZERO 000003f2: PUSH2 0x03fa 000003f5: JUMPI 000003f6: PUSH1 0x00 000003f8: DUP1 000003f9: REVERT 000003fa: JUMPDEST 000003fb: POP 000003fc: PUSH2 0x0403 000003ff: PUSH2 0x0d72 00000402: JUMP 00000403: JUMPDEST 00000404: PUSH1 0x40 00000406: MLOAD 00000407: PUSH2 0x0412 0000040a: SWAP4 0000040b: SWAP3 0000040c: SWAP2 0000040d: SWAP1 0000040e: PUSH2 0x285a 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH1 0x40 00000415: MLOAD 00000416: DUP1 00000417: SWAP2 00000418: SUB 00000419: SWAP1 0000041a: RETURN 0000041b: JUMPDEST 0000041c: CALLVALUE 0000041d: DUP1 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: POP 00000429: PUSH2 0x0442 0000042c: PUSH1 0x04 0000042e: DUP1 0000042f: CALLDATASIZE 00000430: SUB 00000431: DUP2 00000432: ADD 00000433: SWAP1 00000434: PUSH2 0x043d 00000437: SWAP2 00000438: SWAP1 00000439: PUSH2 0x2739 0000043c: JUMP 0000043d: JUMPDEST 0000043e: PUSH2 0x0dab 00000441: JUMP 00000442: JUMPDEST 00000443: STOP 00000444: JUMPDEST 00000445: CALLVALUE 00000446: DUP1 00000447: ISZERO 00000448: PUSH2 0x0450 0000044b: JUMPI 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: REVERT 00000450: JUMPDEST 00000451: POP 00000452: PUSH2 0x046b 00000455: PUSH1 0x04 00000457: DUP1 00000458: CALLDATASIZE 00000459: SUB 0000045a: DUP2 0000045b: ADD 0000045c: SWAP1 0000045d: PUSH2 0x0466 00000460: SWAP2 00000461: SWAP1 00000462: PUSH2 0x2640 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH2 0x0ec3 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH1 0x40 0000046e: MLOAD 0000046f: PUSH2 0x0478 00000472: SWAP2 00000473: SWAP1 00000474: PUSH2 0x269b 00000477: JUMP 00000478: JUMPDEST 00000479: PUSH1 0x40 0000047b: MLOAD 0000047c: DUP1 0000047d: SWAP2 0000047e: SUB 0000047f: SWAP1 00000480: RETURN 00000481: JUMPDEST 00000482: CALLVALUE 00000483: DUP1 00000484: ISZERO 00000485: PUSH2 0x048d 00000488: JUMPI 00000489: PUSH1 0x00 0000048b: DUP1 0000048c: REVERT 0000048d: JUMPDEST 0000048e: POP 0000048f: PUSH2 0x04a8 00000492: PUSH1 0x04 00000494: DUP1 00000495: CALLDATASIZE 00000496: SUB 00000497: DUP2 00000498: ADD 00000499: SWAP1 0000049a: PUSH2 0x04a3 0000049d: SWAP2 0000049e: SWAP1 0000049f: PUSH2 0x2640 000004a2: JUMP 000004a3: JUMPDEST 000004a4: PUSH2 0x0fae 000004a7: JUMP 000004a8: JUMPDEST 000004a9: PUSH1 0x40 000004ab: MLOAD 000004ac: PUSH2 0x04b5 000004af: SWAP2 000004b0: SWAP1 000004b1: PUSH2 0x269b 000004b4: JUMP 000004b5: JUMPDEST 000004b6: PUSH1 0x40 000004b8: MLOAD 000004b9: DUP1 000004ba: SWAP2 000004bb: SUB 000004bc: SWAP1 000004bd: RETURN 000004be: JUMPDEST 000004bf: CALLVALUE 000004c0: DUP1 000004c1: ISZERO 000004c2: PUSH2 0x04ca 000004c5: JUMPI 000004c6: PUSH1 0x00 000004c8: DUP1 000004c9: REVERT 000004ca: JUMPDEST 000004cb: POP 000004cc: PUSH2 0x04d3 000004cf: PUSH2 0x0fcc 000004d2: JUMP 000004d3: JUMPDEST 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: PUSH2 0x04e2 000004da: SWAP4 000004db: SWAP3 000004dc: SWAP2 000004dd: SWAP1 000004de: PUSH2 0x2891 000004e1: JUMP 000004e2: JUMPDEST 000004e3: PUSH1 0x40 000004e5: MLOAD 000004e6: DUP1 000004e7: SWAP2 000004e8: SUB 000004e9: SWAP1 000004ea: RETURN 000004eb: JUMPDEST 000004ec: CALLVALUE 000004ed: DUP1 000004ee: ISZERO 000004ef: PUSH2 0x04f7 000004f2: JUMPI 000004f3: PUSH1 0x00 000004f5: DUP1 000004f6: REVERT 000004f7: JUMPDEST 000004f8: POP 000004f9: PUSH2 0x0500 000004fc: PUSH2 0x0ff2 000004ff: JUMP 00000500: JUMPDEST 00000501: STOP 00000502: JUMPDEST 00000503: CALLVALUE 00000504: DUP1 00000505: ISZERO 00000506: PUSH2 0x050e 00000509: JUMPI 0000050a: PUSH1 0x00 0000050c: DUP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: POP 00000510: PUSH2 0x0529 00000513: PUSH1 0x04 00000515: DUP1 00000516: CALLDATASIZE 00000517: SUB 00000518: DUP2 00000519: ADD 0000051a: SWAP1 0000051b: PUSH2 0x0524 0000051e: SWAP2 0000051f: SWAP1 00000520: PUSH2 0x28c8 00000523: JUMP 00000524: JUMPDEST 00000525: PUSH2 0x10d2 00000528: JUMP 00000529: JUMPDEST 0000052a: STOP 0000052b: JUMPDEST 0000052c: CALLVALUE 0000052d: DUP1 0000052e: ISZERO 0000052f: PUSH2 0x0537 00000532: JUMPI 00000533: PUSH1 0x00 00000535: DUP1 00000536: REVERT 00000537: JUMPDEST 00000538: POP 00000539: PUSH2 0x0552 0000053c: PUSH1 0x04 0000053e: DUP1 0000053f: CALLDATASIZE 00000540: SUB 00000541: DUP2 00000542: ADD 00000543: SWAP1 00000544: PUSH2 0x054d 00000547: SWAP2 00000548: SWAP1 00000549: PUSH2 0x291b 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH2 0x127d 00000551: JUMP 00000552: JUMPDEST 00000553: PUSH1 0x40 00000555: MLOAD 00000556: PUSH2 0x055f 00000559: SWAP2 0000055a: SWAP1 0000055b: PUSH2 0x26f2 0000055e: JUMP 0000055f: JUMPDEST 00000560: PUSH1 0x40 00000562: MLOAD 00000563: DUP1 00000564: SWAP2 00000565: SUB 00000566: SWAP1 00000567: RETURN 00000568: JUMPDEST 00000569: CALLVALUE 0000056a: DUP1 0000056b: ISZERO 0000056c: PUSH2 0x0574 0000056f: JUMPI 00000570: PUSH1 0x00 00000572: DUP1 00000573: REVERT 00000574: JUMPDEST 00000575: POP 00000576: PUSH2 0x058f 00000579: PUSH1 0x04 0000057b: DUP1 0000057c: CALLDATASIZE 0000057d: SUB 0000057e: DUP2 0000057f: ADD 00000580: SWAP1 00000581: PUSH2 0x058a 00000584: SWAP2 00000585: SWAP1 00000586: PUSH2 0x2803 00000589: JUMP 0000058a: JUMPDEST 0000058b: PUSH2 0x1304 0000058e: JUMP 0000058f: JUMPDEST 00000590: PUSH1 0x40 00000592: MLOAD 00000593: PUSH2 0x059d 00000596: SWAP3 00000597: SWAP2 00000598: SWAP1 00000599: PUSH2 0x295b 0000059c: JUMP 0000059d: JUMPDEST 0000059e: PUSH1 0x40 000005a0: MLOAD 000005a1: DUP1 000005a2: SWAP2 000005a3: SUB 000005a4: SWAP1 000005a5: RETURN 000005a6: JUMPDEST 000005a7: CALLVALUE 000005a8: DUP1 000005a9: ISZERO 000005aa: PUSH2 0x05b2 000005ad: JUMPI 000005ae: PUSH1 0x00 000005b0: DUP1 000005b1: REVERT 000005b2: JUMPDEST 000005b3: POP 000005b4: PUSH2 0x05cd 000005b7: PUSH1 0x04 000005b9: DUP1 000005ba: CALLDATASIZE 000005bb: SUB 000005bc: DUP2 000005bd: ADD 000005be: SWAP1 000005bf: PUSH2 0x05c8 000005c2: SWAP2 000005c3: SWAP1 000005c4: PUSH2 0x2803 000005c7: JUMP 000005c8: JUMPDEST 000005c9: PUSH2 0x13aa 000005cc: JUMP 000005cd: JUMPDEST 000005ce: STOP 000005cf: JUMPDEST 000005d0: CALLVALUE 000005d1: DUP1 000005d2: ISZERO 000005d3: PUSH2 0x05db 000005d6: JUMPI 000005d7: PUSH1 0x00 000005d9: DUP1 000005da: REVERT 000005db: JUMPDEST 000005dc: POP 000005dd: PUSH2 0x05e4 000005e0: PUSH2 0x14e6 000005e3: JUMP 000005e4: JUMPDEST 000005e5: PUSH1 0x40 000005e7: MLOAD 000005e8: PUSH2 0x05f1 000005eb: SWAP2 000005ec: SWAP1 000005ed: PUSH2 0x283f 000005f0: JUMP 000005f1: JUMPDEST 000005f2: PUSH1 0x40 000005f4: MLOAD 000005f5: DUP1 000005f6: SWAP2 000005f7: SUB 000005f8: SWAP1 000005f9: RETURN 000005fa: JUMPDEST 000005fb: CALLVALUE 000005fc: DUP1 000005fd: ISZERO 000005fe: PUSH2 0x0606 00000601: JUMPI 00000602: PUSH1 0x00 00000604: DUP1 00000605: REVERT 00000606: JUMPDEST 00000607: POP 00000608: PUSH2 0x0621 0000060b: PUSH1 0x04 0000060d: DUP1 0000060e: CALLDATASIZE 0000060f: SUB 00000610: DUP2 00000611: ADD 00000612: SWAP1 00000613: PUSH2 0x061c 00000616: SWAP2 00000617: SWAP1 00000618: PUSH2 0x2803 0000061b: JUMP 0000061c: JUMPDEST 0000061d: PUSH2 0x150a 00000620: JUMP 00000621: JUMPDEST 00000622: STOP 00000623: JUMPDEST 00000624: CALLVALUE 00000625: DUP1 00000626: ISZERO 00000627: PUSH2 0x062f 0000062a: JUMPI 0000062b: PUSH1 0x00 0000062d: DUP1 0000062e: REVERT 0000062f: JUMPDEST 00000630: POP 00000631: PUSH2 0x0638 00000634: PUSH2 0x1601 00000637: JUMP 00000638: JUMPDEST 00000639: PUSH1 0x40 0000063b: MLOAD 0000063c: PUSH2 0x0645 0000063f: SWAP2 00000640: SWAP1 00000641: PUSH2 0x269b 00000644: JUMP 00000645: JUMPDEST 00000646: PUSH1 0x40 00000648: MLOAD 00000649: DUP1 0000064a: SWAP2 0000064b: SUB 0000064c: SWAP1 0000064d: RETURN 0000064e: JUMPDEST 0000064f: PUSH1 0x60 00000651: PUSH1 0x03 00000653: DUP1 00000654: SLOAD 00000655: PUSH2 0x065d 00000658: SWAP1 00000659: PUSH2 0x29b3 0000065c: JUMP 0000065d: JUMPDEST 0000065e: DUP1 0000065f: PUSH1 0x1f 00000661: ADD 00000662: PUSH1 0x20 00000664: DUP1 00000665: SWAP2 00000666: DIV 00000667: MUL 00000668: PUSH1 0x20 0000066a: ADD 0000066b: PUSH1 0x40 0000066d: MLOAD 0000066e: SWAP1 0000066f: DUP2 00000670: ADD 00000671: PUSH1 0x40 00000673: MSTORE 00000674: DUP1 00000675: SWAP3 00000676: SWAP2 00000677: SWAP1 00000678: DUP2 00000679: DUP2 0000067a: MSTORE 0000067b: PUSH1 0x20 0000067d: ADD 0000067e: DUP3 0000067f: DUP1 00000680: SLOAD 00000681: PUSH2 0x0689 00000684: SWAP1 00000685: PUSH2 0x29b3 00000688: JUMP 00000689: JUMPDEST 0000068a: DUP1 0000068b: ISZERO 0000068c: PUSH2 0x06d6 0000068f: JUMPI 00000690: DUP1 00000691: PUSH1 0x1f 00000693: LT 00000694: PUSH2 0x06ab 00000697: JUMPI 00000698: PUSH2 0x0100 0000069b: DUP1 0000069c: DUP4 0000069d: SLOAD 0000069e: DIV 0000069f: MUL 000006a0: DUP4 000006a1: MSTORE 000006a2: SWAP2 000006a3: PUSH1 0x20 000006a5: ADD 000006a6: SWAP2 000006a7: PUSH2 0x06d6 000006aa: JUMP 000006ab: JUMPDEST 000006ac: DUP3 000006ad: ADD 000006ae: SWAP2 000006af: SWAP1 000006b0: PUSH1 0x00 000006b2: MSTORE 000006b3: PUSH1 0x20 000006b5: PUSH1 0x00 000006b7: KECCAK256 000006b8: SWAP1 000006b9: JUMPDEST 000006ba: DUP2 000006bb: SLOAD 000006bc: DUP2 000006bd: MSTORE 000006be: SWAP1 000006bf: PUSH1 0x01 000006c1: ADD 000006c2: SWAP1 000006c3: PUSH1 0x20 000006c5: ADD 000006c6: DUP1 000006c7: DUP4 000006c8: GT 000006c9: PUSH2 0x06b9 000006cc: JUMPI 000006cd: DUP3 000006ce: SWAP1 000006cf: SUB 000006d0: PUSH1 0x1f 000006d2: AND 000006d3: DUP3 000006d4: ADD 000006d5: SWAP2 000006d6: JUMPDEST 000006d7: POP 000006d8: POP 000006d9: POP 000006da: POP 000006db: POP 000006dc: SWAP1 000006dd: POP 000006de: SWAP1 000006df: JUMP 000006e0: JUMPDEST 000006e1: PUSH1 0x00 000006e3: PUSH2 0x06f4 000006e6: PUSH2 0x06ed 000006e9: PUSH2 0x1614 000006ec: JUMP 000006ed: JUMPDEST 000006ee: DUP5 000006ef: DUP5 000006f0: PUSH2 0x161c 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x01 000006f7: SWAP1 000006f8: POP 000006f9: SWAP3 000006fa: SWAP2 000006fb: POP 000006fc: POP 000006fd: JUMP 000006fe: JUMPDEST 000006ff: PUSH2 0x0706 00000702: PUSH2 0x1614 00000705: JUMP 00000706: JUMPDEST 00000707: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000071c: AND 0000071d: PUSH2 0x0724 00000720: PUSH2 0x0cb6 00000723: JUMP 00000724: JUMPDEST 00000725: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000073a: AND 0000073b: EQ 0000073c: PUSH2 0x077a 0000073f: JUMPI 00000740: PUSH1 0x40 00000742: MLOAD 00000743: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000764: DUP2 00000765: MSTORE 00000766: PUSH1 0x04 00000768: ADD 00000769: PUSH2 0x0771 0000076c: SWAP1 0000076d: PUSH2 0x2a30 00000770: JUMP 00000771: JUMPDEST 00000772: PUSH1 0x40 00000774: MLOAD 00000775: DUP1 00000776: SWAP2 00000777: SUB 00000778: SWAP1 00000779: REVERT 0000077a: JUMPDEST 0000077b: PUSH1 0x09 0000077d: SLOAD 0000077e: DUP2 0000077f: GT 00000780: ISZERO 00000781: PUSH2 0x07bf 00000784: JUMPI 00000785: PUSH1 0x40 00000787: MLOAD 00000788: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH1 0x04 000007ad: ADD 000007ae: PUSH2 0x07b6 000007b1: SWAP1 000007b2: PUSH2 0x2ac2 000007b5: JUMP 000007b6: JUMPDEST 000007b7: PUSH1 0x40 000007b9: MLOAD 000007ba: DUP1 000007bb: SWAP2 000007bc: SUB 000007bd: SWAP1 000007be: REVERT 000007bf: JUMPDEST 000007c0: PUSH32 0x28e297c7c282931a994191b735b01eaf17558295f761512a7047f4e1b8dc3b0b 000007e1: DUP2 000007e2: PUSH1 0x09 000007e4: SLOAD 000007e5: PUSH1 0x40 000007e7: MLOAD 000007e8: PUSH2 0x07f2 000007eb: SWAP3 000007ec: SWAP2 000007ed: SWAP1 000007ee: PUSH2 0x2ae2 000007f1: JUMP 000007f2: JUMPDEST 000007f3: PUSH1 0x40 000007f5: MLOAD 000007f6: DUP1 000007f7: SWAP2 000007f8: SUB 000007f9: SWAP1 000007fa: LOG1 000007fb: DUP1 000007fc: PUSH1 0x09 000007fe: DUP2 000007ff: SWAP1 00000800: SSTORE 00000801: POP 00000802: POP 00000803: JUMP 00000804: JUMPDEST 00000805: PUSH1 0x00 00000807: PUSH1 0x02 00000809: SLOAD 0000080a: SWAP1 0000080b: POP 0000080c: SWAP1 0000080d: JUMP 0000080e: JUMPDEST 0000080f: PUSH2 0x0816 00000812: PUSH2 0x1614 00000815: JUMP 00000816: JUMPDEST 00000817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082c: AND 0000082d: PUSH2 0x0834 00000830: PUSH2 0x0cb6 00000833: JUMP 00000834: JUMPDEST 00000835: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084a: AND 0000084b: EQ 0000084c: PUSH2 0x088a 0000084f: JUMPI 00000850: PUSH1 0x40 00000852: MLOAD 00000853: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000874: DUP2 00000875: MSTORE 00000876: PUSH1 0x04 00000878: ADD 00000879: PUSH2 0x0881 0000087c: SWAP1 0000087d: PUSH2 0x2a30 00000880: JUMP 00000881: JUMPDEST 00000882: PUSH1 0x40 00000884: MLOAD 00000885: DUP1 00000886: SWAP2 00000887: SUB 00000888: SWAP1 00000889: REVERT 0000088a: JUMPDEST 0000088b: DUP1 0000088c: PUSH1 0x0b 0000088e: PUSH1 0x00 00000890: DUP5 00000891: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a6: AND 000008a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bc: AND 000008bd: DUP2 000008be: MSTORE 000008bf: PUSH1 0x20 000008c1: ADD 000008c2: SWAP1 000008c3: DUP2 000008c4: MSTORE 000008c5: PUSH1 0x20 000008c7: ADD 000008c8: PUSH1 0x00 000008ca: KECCAK256 000008cb: PUSH1 0x00 000008cd: PUSH2 0x0100 000008d0: EXP 000008d1: DUP2 000008d2: SLOAD 000008d3: DUP2 000008d4: PUSH1 0xff 000008d6: MUL 000008d7: NOT 000008d8: AND 000008d9: SWAP1 000008da: DUP4 000008db: ISZERO 000008dc: ISZERO 000008dd: MUL 000008de: OR 000008df: SWAP1 000008e0: SSTORE 000008e1: POP 000008e2: DUP2 000008e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f8: AND 000008f9: PUSH32 0x9d8f7706ea1113d1a167b526eca956215946dd36cc7df39eb16180222d8b5df7 0000091a: DUP3 0000091b: PUSH1 0x40 0000091d: MLOAD 0000091e: PUSH2 0x0927 00000921: SWAP2 00000922: SWAP1 00000923: PUSH2 0x269b 00000926: JUMP 00000927: JUMPDEST 00000928: PUSH1 0x40 0000092a: MLOAD 0000092b: DUP1 0000092c: SWAP2 0000092d: SUB 0000092e: SWAP1 0000092f: LOG2 00000930: POP 00000931: POP 00000932: JUMP 00000933: JUMPDEST 00000934: PUSH1 0x00 00000936: PUSH2 0x0940 00000939: DUP5 0000093a: DUP5 0000093b: DUP5 0000093c: PUSH2 0x17e5 0000093f: JUMP 00000940: JUMPDEST 00000941: PUSH1 0x00 00000943: PUSH1 0x01 00000945: PUSH1 0x00 00000947: DUP7 00000948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095d: AND 0000095e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000973: AND 00000974: DUP2 00000975: MSTORE 00000976: PUSH1 0x20 00000978: ADD 00000979: SWAP1 0000097a: DUP2 0000097b: MSTORE 0000097c: PUSH1 0x20 0000097e: ADD 0000097f: PUSH1 0x00 00000981: KECCAK256 00000982: PUSH1 0x00 00000984: PUSH2 0x098b 00000987: PUSH2 0x1614 0000098a: JUMP 0000098b: JUMPDEST 0000098c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a1: AND 000009a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b7: AND 000009b8: DUP2 000009b9: MSTORE 000009ba: PUSH1 0x20 000009bc: ADD 000009bd: SWAP1 000009be: DUP2 000009bf: MSTORE 000009c0: PUSH1 0x20 000009c2: ADD 000009c3: PUSH1 0x00 000009c5: KECCAK256 000009c6: SLOAD 000009c7: SWAP1 000009c8: POP 000009c9: DUP3 000009ca: DUP2 000009cb: LT 000009cc: ISZERO 000009cd: PUSH2 0x0a0b 000009d0: JUMPI 000009d1: PUSH1 0x40 000009d3: MLOAD 000009d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009f5: DUP2 000009f6: MSTORE 000009f7: PUSH1 0x04 000009f9: ADD 000009fa: PUSH2 0x0a02 000009fd: SWAP1 000009fe: PUSH2 0x2b7d 00000a01: JUMP 00000a02: JUMPDEST 00000a03: PUSH1 0x40 00000a05: MLOAD 00000a06: DUP1 00000a07: SWAP2 00000a08: SUB 00000a09: SWAP1 00000a0a: REVERT 00000a0b: JUMPDEST 00000a0c: PUSH2 0x0a1f 00000a0f: DUP6 00000a10: PUSH2 0x0a17 00000a13: PUSH2 0x1614 00000a16: JUMP 00000a17: JUMPDEST 00000a18: DUP6 00000a19: DUP5 00000a1a: SUB 00000a1b: PUSH2 0x161c 00000a1e: JUMP 00000a1f: JUMPDEST 00000a20: PUSH1 0x01 00000a22: SWAP2 00000a23: POP 00000a24: POP 00000a25: SWAP4 00000a26: SWAP3 00000a27: POP 00000a28: POP 00000a29: POP 00000a2a: JUMP 00000a2b: JUMPDEST 00000a2c: PUSH1 0x00 00000a2e: PUSH1 0x12 00000a30: SWAP1 00000a31: POP 00000a32: SWAP1 00000a33: JUMP 00000a34: JUMPDEST 00000a35: PUSH1 0x00 00000a37: PUSH2 0x0ad6 00000a3a: PUSH2 0x0a41 00000a3d: PUSH2 0x1614 00000a40: JUMP 00000a41: JUMPDEST 00000a42: DUP5 00000a43: DUP5 00000a44: PUSH1 0x01 00000a46: PUSH1 0x00 00000a48: PUSH2 0x0a4f 00000a4b: PUSH2 0x1614 00000a4e: JUMP 00000a4f: JUMPDEST 00000a50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a65: AND 00000a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7b: AND 00000a7c: DUP2 00000a7d: MSTORE 00000a7e: PUSH1 0x20 00000a80: ADD 00000a81: SWAP1 00000a82: DUP2 00000a83: MSTORE 00000a84: PUSH1 0x20 00000a86: ADD 00000a87: PUSH1 0x00 00000a89: KECCAK256 00000a8a: PUSH1 0x00 00000a8c: DUP9 00000a8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa2: AND 00000aa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab8: AND 00000ab9: DUP2 00000aba: MSTORE 00000abb: PUSH1 0x20 00000abd: ADD 00000abe: SWAP1 00000abf: DUP2 00000ac0: MSTORE 00000ac1: PUSH1 0x20 00000ac3: ADD 00000ac4: PUSH1 0x00 00000ac6: KECCAK256 00000ac7: SLOAD 00000ac8: PUSH2 0x0ad1 00000acb: SWAP2 00000acc: SWAP1 00000acd: PUSH2 0x2bcc 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH2 0x161c 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: PUSH1 0x01 00000ad9: SWAP1 00000ada: POP 00000adb: SWAP3 00000adc: SWAP2 00000add: POP 00000ade: POP 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: PUSH1 0x00 00000ae3: DUP1 00000ae4: PUSH1 0x00 00000ae6: DUP4 00000ae7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afc: AND 00000afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b12: AND 00000b13: DUP2 00000b14: MSTORE 00000b15: PUSH1 0x20 00000b17: ADD 00000b18: SWAP1 00000b19: DUP2 00000b1a: MSTORE 00000b1b: PUSH1 0x20 00000b1d: ADD 00000b1e: PUSH1 0x00 00000b20: KECCAK256 00000b21: SLOAD 00000b22: SWAP1 00000b23: POP 00000b24: SWAP2 00000b25: SWAP1 00000b26: POP 00000b27: JUMP 00000b28: JUMPDEST 00000b29: PUSH2 0x0b30 00000b2c: PUSH2 0x1614 00000b2f: JUMP 00000b30: JUMPDEST 00000b31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b46: AND 00000b47: PUSH2 0x0b4e 00000b4a: PUSH2 0x0cb6 00000b4d: JUMP 00000b4e: JUMPDEST 00000b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b64: AND 00000b65: EQ 00000b66: PUSH2 0x0ba4 00000b69: JUMPI 00000b6a: PUSH1 0x40 00000b6c: MLOAD 00000b6d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b8e: DUP2 00000b8f: MSTORE 00000b90: PUSH1 0x04 00000b92: ADD 00000b93: PUSH2 0x0b9b 00000b96: SWAP1 00000b97: PUSH2 0x2a30 00000b9a: JUMP 00000b9b: JUMPDEST 00000b9c: PUSH1 0x40 00000b9e: MLOAD 00000b9f: DUP1 00000ba0: SWAP2 00000ba1: SUB 00000ba2: SWAP1 00000ba3: REVERT 00000ba4: JUMPDEST 00000ba5: PUSH2 0x0bae 00000ba8: PUSH1 0x00 00000baa: PUSH2 0x1e68 00000bad: JUMP 00000bae: JUMPDEST 00000baf: JUMP 00000bb0: JUMPDEST 00000bb1: PUSH2 0x0bb8 00000bb4: PUSH2 0x1614 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bce: AND 00000bcf: PUSH2 0x0bd6 00000bd2: PUSH2 0x0cb6 00000bd5: JUMP 00000bd6: JUMPDEST 00000bd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bec: AND 00000bed: EQ 00000bee: PUSH2 0x0c2c 00000bf1: JUMPI 00000bf2: PUSH1 0x40 00000bf4: MLOAD 00000bf5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c16: DUP2 00000c17: MSTORE 00000c18: PUSH1 0x04 00000c1a: ADD 00000c1b: PUSH2 0x0c23 00000c1e: SWAP1 00000c1f: PUSH2 0x2a30 00000c22: JUMP 00000c23: JUMPDEST 00000c24: PUSH1 0x40 00000c26: MLOAD 00000c27: DUP1 00000c28: SWAP2 00000c29: SUB 00000c2a: SWAP1 00000c2b: REVERT 00000c2c: JUMPDEST 00000c2d: PUSH1 0x0a 00000c2f: SLOAD 00000c30: DUP2 00000c31: GT 00000c32: ISZERO 00000c33: PUSH2 0x0c71 00000c36: JUMPI 00000c37: PUSH1 0x40 00000c39: MLOAD 00000c3a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c5b: DUP2 00000c5c: MSTORE 00000c5d: PUSH1 0x04 00000c5f: ADD 00000c60: PUSH2 0x0c68 00000c63: SWAP1 00000c64: PUSH2 0x2ac2 00000c67: JUMP 00000c68: JUMPDEST 00000c69: PUSH1 0x40 00000c6b: MLOAD 00000c6c: DUP1 00000c6d: SWAP2 00000c6e: SUB 00000c6f: SWAP1 00000c70: REVERT 00000c71: JUMPDEST 00000c72: PUSH32 0x5bafec153d96f8ef37761b64348732b41a6b477401d244a5070f9f82d689adce 00000c93: DUP2 00000c94: PUSH1 0x0a 00000c96: SLOAD 00000c97: PUSH1 0x40 00000c99: MLOAD 00000c9a: PUSH2 0x0ca4 00000c9d: SWAP3 00000c9e: SWAP2 00000c9f: SWAP1 00000ca0: PUSH2 0x2ae2 00000ca3: JUMP 00000ca4: JUMPDEST 00000ca5: PUSH1 0x40 00000ca7: MLOAD 00000ca8: DUP1 00000ca9: SWAP2 00000caa: SUB 00000cab: SWAP1 00000cac: LOG1 00000cad: DUP1 00000cae: PUSH1 0x0a 00000cb0: DUP2 00000cb1: SWAP1 00000cb2: SSTORE 00000cb3: POP 00000cb4: POP 00000cb5: JUMP 00000cb6: JUMPDEST 00000cb7: PUSH1 0x00 00000cb9: PUSH1 0x05 00000cbb: PUSH1 0x00 00000cbd: SWAP1 00000cbe: SLOAD 00000cbf: SWAP1 00000cc0: PUSH2 0x0100 00000cc3: EXP 00000cc4: SWAP1 00000cc5: DIV 00000cc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdb: AND 00000cdc: SWAP1 00000cdd: POP 00000cde: SWAP1 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: PUSH1 0x60 00000ce3: PUSH1 0x04 00000ce5: DUP1 00000ce6: SLOAD 00000ce7: PUSH2 0x0cef 00000cea: SWAP1 00000ceb: PUSH2 0x29b3 00000cee: JUMP 00000cef: JUMPDEST 00000cf0: DUP1 00000cf1: PUSH1 0x1f 00000cf3: ADD 00000cf4: PUSH1 0x20 00000cf6: DUP1 00000cf7: SWAP2 00000cf8: DIV 00000cf9: MUL 00000cfa: PUSH1 0x20 00000cfc: ADD 00000cfd: PUSH1 0x40 00000cff: MLOAD 00000d00: SWAP1 00000d01: DUP2 00000d02: ADD 00000d03: PUSH1 0x40 00000d05: MSTORE 00000d06: DUP1 00000d07: SWAP3 00000d08: SWAP2 00000d09: SWAP1 00000d0a: DUP2 00000d0b: DUP2 00000d0c: MSTORE 00000d0d: PUSH1 0x20 00000d0f: ADD 00000d10: DUP3 00000d11: DUP1 00000d12: SLOAD 00000d13: PUSH2 0x0d1b 00000d16: SWAP1 00000d17: PUSH2 0x29b3 00000d1a: JUMP 00000d1b: JUMPDEST 00000d1c: DUP1 00000d1d: ISZERO 00000d1e: PUSH2 0x0d68 00000d21: JUMPI 00000d22: DUP1 00000d23: PUSH1 0x1f 00000d25: LT 00000d26: PUSH2 0x0d3d 00000d29: JUMPI 00000d2a: PUSH2 0x0100 00000d2d: DUP1 00000d2e: DUP4 00000d2f: SLOAD 00000d30: DIV 00000d31: MUL 00000d32: DUP4 00000d33: MSTORE 00000d34: SWAP2 00000d35: PUSH1 0x20 00000d37: ADD 00000d38: SWAP2 00000d39: PUSH2 0x0d68 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: DUP3 00000d3f: ADD 00000d40: SWAP2 00000d41: SWAP1 00000d42: PUSH1 0x00 00000d44: MSTORE 00000d45: PUSH1 0x20 00000d47: PUSH1 0x00 00000d49: KECCAK256 00000d4a: SWAP1 00000d4b: JUMPDEST 00000d4c: DUP2 00000d4d: SLOAD 00000d4e: DUP2 00000d4f: MSTORE 00000d50: SWAP1 00000d51: PUSH1 0x01 00000d53: ADD 00000d54: SWAP1 00000d55: PUSH1 0x20 00000d57: ADD 00000d58: DUP1 00000d59: DUP4 00000d5a: GT 00000d5b: PUSH2 0x0d4b 00000d5e: JUMPI 00000d5f: DUP3 00000d60: SWAP1 00000d61: SUB 00000d62: PUSH1 0x1f 00000d64: AND 00000d65: DUP3 00000d66: ADD 00000d67: SWAP2 00000d68: JUMPDEST 00000d69: POP 00000d6a: POP 00000d6b: POP 00000d6c: POP 00000d6d: POP 00000d6e: SWAP1 00000d6f: POP 00000d70: SWAP1 00000d71: JUMP 00000d72: JUMPDEST 00000d73: PUSH1 0x00 00000d75: DUP1 00000d76: PUSH1 0x00 00000d78: PUSH1 0x09 00000d7a: SLOAD 00000d7b: SWAP3 00000d7c: POP 00000d7d: PUSH1 0x0a 00000d7f: SLOAD 00000d80: SWAP2 00000d81: POP 00000d82: PUSH1 0x08 00000d84: PUSH1 0x00 00000d86: SWAP1 00000d87: SLOAD 00000d88: SWAP1 00000d89: PUSH2 0x0100 00000d8c: EXP 00000d8d: SWAP1 00000d8e: DIV 00000d8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da4: AND 00000da5: SWAP1 00000da6: POP 00000da7: SWAP1 00000da8: SWAP2 00000da9: SWAP3 00000daa: JUMP 00000dab: JUMPDEST 00000dac: PUSH2 0x0db3 00000daf: PUSH2 0x1614 00000db2: JUMP 00000db3: JUMPDEST 00000db4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc9: AND 00000dca: PUSH2 0x0dd1 00000dcd: PUSH2 0x0cb6 00000dd0: JUMP 00000dd1: JUMPDEST 00000dd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de7: AND 00000de8: EQ 00000de9: PUSH2 0x0e27 00000dec: JUMPI 00000ded: PUSH1 0x40 00000def: MLOAD 00000df0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e11: DUP2 00000e12: MSTORE 00000e13: PUSH1 0x04 00000e15: ADD 00000e16: PUSH2 0x0e1e 00000e19: SWAP1 00000e1a: PUSH2 0x2a30 00000e1d: JUMP 00000e1e: JUMPDEST 00000e1f: PUSH1 0x40 00000e21: MLOAD 00000e22: DUP1 00000e23: SWAP2 00000e24: SUB 00000e25: SWAP1 00000e26: REVERT 00000e27: JUMPDEST 00000e28: PUSH32 0x00000000000000000000000061bc0e018a1332107f5d7f730fa39f703e246881 00000e49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5e: AND 00000e5f: DUP3 00000e60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e75: AND 00000e76: SUB 00000e77: PUSH2 0x0eb5 00000e7a: JUMPI 00000e7b: PUSH1 0x40 00000e7d: MLOAD 00000e7e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e9f: DUP2 00000ea0: MSTORE 00000ea1: PUSH1 0x04 00000ea3: ADD 00000ea4: PUSH2 0x0eac 00000ea7: SWAP1 00000ea8: PUSH2 0x2c72 00000eab: JUMP 00000eac: JUMPDEST 00000ead: PUSH1 0x40 00000eaf: MLOAD 00000eb0: DUP1 00000eb1: SWAP2 00000eb2: SUB 00000eb3: SWAP1 00000eb4: REVERT 00000eb5: JUMPDEST 00000eb6: PUSH2 0x0ebf 00000eb9: DUP3 00000eba: DUP3 00000ebb: PUSH2 0x1f2e 00000ebe: JUMP 00000ebf: JUMPDEST 00000ec0: POP 00000ec1: POP 00000ec2: JUMP 00000ec3: JUMPDEST 00000ec4: PUSH1 0x00 00000ec6: DUP1 00000ec7: PUSH1 0x01 00000ec9: PUSH1 0x00 00000ecb: PUSH2 0x0ed2 00000ece: PUSH2 0x1614 00000ed1: JUMP 00000ed2: JUMPDEST 00000ed3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee8: AND 00000ee9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000efe: AND 00000eff: DUP2 00000f00: MSTORE 00000f01: PUSH1 0x20 00000f03: ADD 00000f04: SWAP1 00000f05: DUP2 00000f06: MSTORE 00000f07: PUSH1 0x20 00000f09: ADD 00000f0a: PUSH1 0x00 00000f0c: KECCAK256 00000f0d: PUSH1 0x00 00000f0f: DUP6 00000f10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f25: AND 00000f26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3b: AND 00000f3c: DUP2 00000f3d: MSTORE 00000f3e: PUSH1 0x20 00000f40: ADD 00000f41: SWAP1 00000f42: DUP2 00000f43: MSTORE 00000f44: PUSH1 0x20 00000f46: ADD 00000f47: PUSH1 0x00 00000f49: KECCAK256 00000f4a: SLOAD 00000f4b: SWAP1 00000f4c: POP 00000f4d: DUP3 00000f4e: DUP2 00000f4f: LT 00000f50: ISZERO 00000f51: PUSH2 0x0f8f 00000f54: JUMPI 00000f55: PUSH1 0x40 00000f57: MLOAD 00000f58: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f79: DUP2 00000f7a: MSTORE 00000f7b: PUSH1 0x04 00000f7d: ADD 00000f7e: PUSH2 0x0f86 00000f81: SWAP1 00000f82: PUSH2 0x2d04 00000f85: JUMP 00000f86: JUMPDEST 00000f87: PUSH1 0x40 00000f89: MLOAD 00000f8a: DUP1 00000f8b: SWAP2 00000f8c: SUB 00000f8d: SWAP1 00000f8e: REVERT 00000f8f: JUMPDEST 00000f90: PUSH2 0x0fa3 00000f93: PUSH2 0x0f9a 00000f96: PUSH2 0x1614 00000f99: JUMP 00000f9a: JUMPDEST 00000f9b: DUP6 00000f9c: DUP6 00000f9d: DUP5 00000f9e: SUB 00000f9f: PUSH2 0x161c 00000fa2: JUMP 00000fa3: JUMPDEST 00000fa4: PUSH1 0x01 00000fa6: SWAP2 00000fa7: POP 00000fa8: POP 00000fa9: SWAP3 00000faa: SWAP2 00000fab: POP 00000fac: POP 00000fad: JUMP 00000fae: JUMPDEST 00000faf: PUSH1 0x00 00000fb1: PUSH2 0x0fc2 00000fb4: PUSH2 0x0fbb 00000fb7: PUSH2 0x1614 00000fba: JUMP 00000fbb: JUMPDEST 00000fbc: DUP5 00000fbd: DUP5 00000fbe: PUSH2 0x17e5 00000fc1: JUMP 00000fc2: JUMPDEST 00000fc3: PUSH1 0x01 00000fc5: SWAP1 00000fc6: POP 00000fc7: SWAP3 00000fc8: SWAP2 00000fc9: POP 00000fca: POP 00000fcb: JUMP 00000fcc: JUMPDEST 00000fcd: PUSH1 0x00 00000fcf: DUP1 00000fd0: PUSH1 0x00 00000fd2: PUSH1 0x05 00000fd4: PUSH1 0x16 00000fd6: SWAP1 00000fd7: SLOAD 00000fd8: SWAP1 00000fd9: PUSH2 0x0100 00000fdc: EXP 00000fdd: SWAP1 00000fde: DIV 00000fdf: PUSH1 0xff 00000fe1: AND 00000fe2: SWAP3 00000fe3: POP 00000fe4: PUSH1 0x06 00000fe6: SLOAD 00000fe7: SWAP2 00000fe8: POP 00000fe9: PUSH1 0x07 00000feb: SLOAD 00000fec: SWAP1 00000fed: POP 00000fee: SWAP1 00000fef: SWAP2 00000ff0: SWAP3 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: PUSH2 0x0ffa 00000ff6: PUSH2 0x1614 00000ff9: JUMP 00000ffa: JUMPDEST 00000ffb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001010: AND 00001011: PUSH2 0x1018 00001014: PUSH2 0x0cb6 00001017: JUMP 00001018: JUMPDEST 00001019: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000102e: AND 0000102f: EQ 00001030: PUSH2 0x106e 00001033: JUMPI 00001034: PUSH1 0x40 00001036: MLOAD 00001037: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001058: DUP2 00001059: MSTORE 0000105a: PUSH1 0x04 0000105c: ADD 0000105d: PUSH2 0x1065 00001060: SWAP1 00001061: PUSH2 0x2a30 00001064: JUMP 00001065: JUMPDEST 00001066: PUSH1 0x40 00001068: MLOAD 00001069: DUP1 0000106a: SWAP2 0000106b: SUB 0000106c: SWAP1 0000106d: REVERT 0000106e: JUMPDEST 0000106f: PUSH1 0x01 00001071: PUSH1 0x05 00001073: PUSH1 0x14 00001075: PUSH2 0x0100 00001078: EXP 00001079: DUP2 0000107a: SLOAD 0000107b: DUP2 0000107c: PUSH1 0xff 0000107e: MUL 0000107f: NOT 00001080: AND 00001081: SWAP1 00001082: DUP4 00001083: ISZERO 00001084: ISZERO 00001085: MUL 00001086: OR 00001087: SWAP1 00001088: SSTORE 00001089: POP 0000108a: PUSH1 0x01 0000108c: PUSH1 0x05 0000108e: PUSH1 0x16 00001090: PUSH2 0x0100 00001093: EXP 00001094: DUP2 00001095: SLOAD 00001096: DUP2 00001097: PUSH1 0xff 00001099: MUL 0000109a: NOT 0000109b: AND 0000109c: SWAP1 0000109d: DUP4 0000109e: ISZERO 0000109f: ISZERO 000010a0: MUL 000010a1: OR 000010a2: SWAP1 000010a3: SSTORE 000010a4: POP 000010a5: PUSH32 0x799663458a5ef2936f7fa0c99b3336c69c25890f82974f04e811e5bb359186c7 000010c6: PUSH1 0x40 000010c8: MLOAD 000010c9: PUSH1 0x40 000010cb: MLOAD 000010cc: DUP1 000010cd: SWAP2 000010ce: SUB 000010cf: SWAP1 000010d0: LOG1 000010d1: JUMP 000010d2: JUMPDEST 000010d3: PUSH2 0x10da 000010d6: PUSH2 0x1614 000010d9: JUMP 000010da: JUMPDEST 000010db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f0: AND 000010f1: PUSH2 0x10f8 000010f4: PUSH2 0x0cb6 000010f7: JUMP 000010f8: JUMPDEST 000010f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000110e: AND 0000110f: EQ 00001110: PUSH2 0x114e 00001113: JUMPI 00001114: PUSH1 0x40 00001116: MLOAD 00001117: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001138: DUP2 00001139: MSTORE 0000113a: PUSH1 0x04 0000113c: ADD 0000113d: PUSH2 0x1145 00001140: SWAP1 00001141: PUSH2 0x2a30 00001144: JUMP 00001145: JUMPDEST 00001146: PUSH1 0x40 00001148: MLOAD 00001149: DUP1 0000114a: SWAP2 0000114b: SUB 0000114c: SWAP1 0000114d: REVERT 0000114e: JUMPDEST 0000114f: PUSH1 0x01 00001151: DUP3 00001152: LT 00001153: ISZERO 00001154: PUSH2 0x1192 00001157: JUMPI 00001158: PUSH1 0x40 0000115a: MLOAD 0000115b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000117c: DUP2 0000117d: MSTORE 0000117e: PUSH1 0x04 00001180: ADD 00001181: PUSH2 0x1189 00001184: SWAP1 00001185: PUSH2 0x2d96 00001188: JUMP 00001189: JUMPDEST 0000118a: PUSH1 0x40 0000118c: MLOAD 0000118d: DUP1 0000118e: SWAP2 0000118f: SUB 00001190: SWAP1 00001191: REVERT 00001192: JUMPDEST 00001193: DUP2 00001194: DUP2 00001195: LT 00001196: ISZERO 00001197: PUSH2 0x11d5 0000119a: JUMPI 0000119b: PUSH1 0x40 0000119d: MLOAD 0000119e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011bf: DUP2 000011c0: MSTORE 000011c1: PUSH1 0x04 000011c3: ADD 000011c4: PUSH2 0x11cc 000011c7: SWAP1 000011c8: PUSH2 0x2e28 000011cb: JUMP 000011cc: JUMPDEST 000011cd: PUSH1 0x40 000011cf: MLOAD 000011d0: DUP1 000011d1: SWAP2 000011d2: SUB 000011d3: SWAP1 000011d4: REVERT 000011d5: JUMPDEST 000011d6: DUP3 000011d7: PUSH1 0x05 000011d9: PUSH1 0x16 000011db: PUSH2 0x0100 000011de: EXP 000011df: DUP2 000011e0: SLOAD 000011e1: DUP2 000011e2: PUSH1 0xff 000011e4: MUL 000011e5: NOT 000011e6: AND 000011e7: SWAP1 000011e8: DUP4 000011e9: ISZERO 000011ea: ISZERO 000011eb: MUL 000011ec: OR 000011ed: SWAP1 000011ee: SSTORE 000011ef: POP 000011f0: PUSH3 0x0186a0 000011f4: DUP3 000011f5: PUSH2 0x11fc 000011f8: PUSH2 0x0804 000011fb: JUMP 000011fc: JUMPDEST 000011fd: PUSH2 0x1206 00001200: SWAP2 00001201: SWAP1 00001202: PUSH2 0x2e48 00001205: JUMP 00001206: JUMPDEST 00001207: PUSH2 0x1210 0000120a: SWAP2 0000120b: SWAP1 0000120c: PUSH2 0x2eb9 0000120f: JUMP 00001210: JUMPDEST 00001211: PUSH1 0x06 00001213: DUP2 00001214: SWAP1 00001215: SSTORE 00001216: POP 00001217: PUSH3 0x0186a0 0000121b: DUP2 0000121c: PUSH2 0x1223 0000121f: PUSH2 0x0804 00001222: JUMP 00001223: JUMPDEST 00001224: PUSH2 0x122d 00001227: SWAP2 00001228: SWAP1 00001229: PUSH2 0x2e48 0000122c: JUMP 0000122d: JUMPDEST 0000122e: PUSH2 0x1237 00001231: SWAP2 00001232: SWAP1 00001233: PUSH2 0x2eb9 00001236: JUMP 00001237: JUMPDEST 00001238: PUSH1 0x07 0000123a: DUP2 0000123b: SWAP1 0000123c: SSTORE 0000123d: POP 0000123e: PUSH32 0x52cd2cdb42ff0eeec9362d7ed5b04f64c8d022697128b5378fc51cea7e63c779 0000125f: DUP4 00001260: DUP4 00001261: DUP4 00001262: PUSH1 0x40 00001264: MLOAD 00001265: PUSH2 0x1270 00001268: SWAP4 00001269: SWAP3 0000126a: SWAP2 0000126b: SWAP1 0000126c: PUSH2 0x2891 0000126f: JUMP 00001270: JUMPDEST 00001271: PUSH1 0x40 00001273: MLOAD 00001274: DUP1 00001275: SWAP2 00001276: SUB 00001277: SWAP1 00001278: LOG1 00001279: POP 0000127a: POP 0000127b: POP 0000127c: JUMP 0000127d: JUMPDEST 0000127e: PUSH1 0x00 00001280: PUSH1 0x01 00001282: PUSH1 0x00 00001284: DUP5 00001285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000129a: AND 0000129b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b0: AND 000012b1: DUP2 000012b2: MSTORE 000012b3: PUSH1 0x20 000012b5: ADD 000012b6: SWAP1 000012b7: DUP2 000012b8: MSTORE 000012b9: PUSH1 0x20 000012bb: ADD 000012bc: PUSH1 0x00 000012be: KECCAK256 000012bf: PUSH1 0x00 000012c1: DUP4 000012c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d7: AND 000012d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ed: AND 000012ee: DUP2 000012ef: MSTORE 000012f0: PUSH1 0x20 000012f2: ADD 000012f3: SWAP1 000012f4: DUP2 000012f5: MSTORE 000012f6: PUSH1 0x20 000012f8: ADD 000012f9: PUSH1 0x00 000012fb: KECCAK256 000012fc: SLOAD 000012fd: SWAP1 000012fe: POP 000012ff: SWAP3 00001300: SWAP2 00001301: POP 00001302: POP 00001303: JUMP 00001304: JUMPDEST 00001305: PUSH1 0x00 00001307: DUP1 00001308: PUSH1 0x0b 0000130a: PUSH1 0x00 0000130c: DUP5 0000130d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001322: AND 00001323: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001338: AND 00001339: DUP2 0000133a: MSTORE 0000133b: PUSH1 0x20 0000133d: ADD 0000133e: SWAP1 0000133f: DUP2 00001340: MSTORE 00001341: PUSH1 0x20 00001343: ADD 00001344: PUSH1 0x00 00001346: KECCAK256 00001347: PUSH1 0x00 00001349: SWAP1 0000134a: SLOAD 0000134b: SWAP1 0000134c: PUSH2 0x0100 0000134f: EXP 00001350: SWAP1 00001351: DIV 00001352: PUSH1 0xff 00001354: AND 00001355: SWAP2 00001356: POP 00001357: PUSH1 0x0c 00001359: PUSH1 0x00 0000135b: DUP5 0000135c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001371: AND 00001372: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001387: AND 00001388: DUP2 00001389: MSTORE 0000138a: PUSH1 0x20 0000138c: ADD 0000138d: SWAP1 0000138e: DUP2 0000138f: MSTORE 00001390: PUSH1 0x20 00001392: ADD 00001393: PUSH1 0x00 00001395: KECCAK256 00001396: PUSH1 0x00 00001398: SWAP1 00001399: SLOAD 0000139a: SWAP1 0000139b: PUSH2 0x0100 0000139e: EXP 0000139f: SWAP1 000013a0: DIV 000013a1: PUSH1 0xff 000013a3: AND 000013a4: SWAP1 000013a5: POP 000013a6: SWAP2 000013a7: POP 000013a8: SWAP2 000013a9: JUMP 000013aa: JUMPDEST 000013ab: PUSH2 0x13b2 000013ae: PUSH2 0x1614 000013b1: JUMP 000013b2: JUMPDEST 000013b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013c8: AND 000013c9: PUSH2 0x13d0 000013cc: PUSH2 0x0cb6 000013cf: JUMP 000013d0: JUMPDEST 000013d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e6: AND 000013e7: EQ 000013e8: PUSH2 0x1426 000013eb: JUMPI 000013ec: PUSH1 0x40 000013ee: MLOAD 000013ef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001410: DUP2 00001411: MSTORE 00001412: PUSH1 0x04 00001414: ADD 00001415: PUSH2 0x141d 00001418: SWAP1 00001419: PUSH2 0x2a30 0000141c: JUMP 0000141d: JUMPDEST 0000141e: PUSH1 0x40 00001420: MLOAD 00001421: DUP1 00001422: SWAP2 00001423: SUB 00001424: SWAP1 00001425: REVERT 00001426: JUMPDEST 00001427: PUSH1 0x08 00001429: PUSH1 0x00 0000142b: SWAP1 0000142c: SLOAD 0000142d: SWAP1 0000142e: PUSH2 0x0100 00001431: EXP 00001432: SWAP1 00001433: DIV 00001434: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001449: AND 0000144a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145f: AND 00001460: DUP2 00001461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001476: AND 00001477: PUSH32 0x94223efa5e0ef633fcdce676def839a7ea220f7f45a1c693a4540846bc1ee14d 00001498: PUSH1 0x40 0000149a: MLOAD 0000149b: PUSH1 0x40 0000149d: MLOAD 0000149e: DUP1 0000149f: SWAP2 000014a0: SUB 000014a1: SWAP1 000014a2: LOG3 000014a3: DUP1 000014a4: PUSH1 0x08 000014a6: PUSH1 0x00 000014a8: PUSH2 0x0100 000014ab: EXP 000014ac: DUP2 000014ad: SLOAD 000014ae: DUP2 000014af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c4: MUL 000014c5: NOT 000014c6: AND 000014c7: SWAP1 000014c8: DUP4 000014c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014de: AND 000014df: MUL 000014e0: OR 000014e1: SWAP1 000014e2: SSTORE 000014e3: POP 000014e4: POP 000014e5: JUMP 000014e6: JUMPDEST 000014e7: PUSH32 0x00000000000000000000000061bc0e018a1332107f5d7f730fa39f703e246881 00001508: DUP2 00001509: JUMP 0000150a: JUMPDEST 0000150b: PUSH2 0x1512 0000150e: PUSH2 0x1614 00001511: JUMP 00001512: JUMPDEST 00001513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001528: AND 00001529: PUSH2 0x1530 0000152c: PUSH2 0x0cb6 0000152f: JUMP 00001530: JUMPDEST 00001531: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001546: AND 00001547: EQ 00001548: PUSH2 0x1586 0000154b: JUMPI 0000154c: PUSH1 0x40 0000154e: MLOAD 0000154f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001570: DUP2 00001571: MSTORE 00001572: PUSH1 0x04 00001574: ADD 00001575: PUSH2 0x157d 00001578: SWAP1 00001579: PUSH2 0x2a30 0000157c: JUMP 0000157d: JUMPDEST 0000157e: PUSH1 0x40 00001580: MLOAD 00001581: DUP1 00001582: SWAP2 00001583: SUB 00001584: SWAP1 00001585: REVERT 00001586: JUMPDEST 00001587: PUSH1 0x00 00001589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000159e: AND 0000159f: DUP2 000015a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b5: AND 000015b6: SUB 000015b7: PUSH2 0x15f5 000015ba: JUMPI 000015bb: PUSH1 0x40 000015bd: MLOAD 000015be: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000015df: DUP2 000015e0: MSTORE 000015e1: PUSH1 0x04 000015e3: ADD 000015e4: PUSH2 0x15ec 000015e7: SWAP1 000015e8: PUSH2 0x2f5c 000015eb: JUMP 000015ec: JUMPDEST 000015ed: PUSH1 0x40 000015ef: MLOAD 000015f0: DUP1 000015f1: SWAP2 000015f2: SUB 000015f3: SWAP1 000015f4: REVERT 000015f5: JUMPDEST 000015f6: PUSH2 0x15fe 000015f9: DUP2 000015fa: PUSH2 0x1e68 000015fd: JUMP 000015fe: JUMPDEST 000015ff: POP 00001600: JUMP 00001601: JUMPDEST 00001602: PUSH1 0x05 00001604: PUSH1 0x14 00001606: SWAP1 00001607: SLOAD 00001608: SWAP1 00001609: PUSH2 0x0100 0000160c: EXP 0000160d: SWAP1 0000160e: DIV 0000160f: PUSH1 0xff 00001611: AND 00001612: DUP2 00001613: JUMP 00001614: JUMPDEST 00001615: PUSH1 0x00 00001617: CALLER 00001618: SWAP1 00001619: POP 0000161a: SWAP1 0000161b: JUMP 0000161c: JUMPDEST 0000161d: PUSH1 0x00 0000161f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001634: AND 00001635: DUP4 00001636: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000164b: AND 0000164c: SUB 0000164d: PUSH2 0x168b 00001650: JUMPI 00001651: PUSH1 0x40 00001653: MLOAD 00001654: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001675: DUP2 00001676: MSTORE 00001677: PUSH1 0x04 00001679: ADD 0000167a: PUSH2 0x1682 0000167d: SWAP1 0000167e: PUSH2 0x2fee 00001681: JUMP 00001682: JUMPDEST 00001683: PUSH1 0x40 00001685: MLOAD 00001686: DUP1 00001687: SWAP2 00001688: SUB 00001689: SWAP1 0000168a: REVERT 0000168b: JUMPDEST 0000168c: PUSH1 0x00 0000168e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a3: AND 000016a4: DUP3 000016a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ba: AND 000016bb: SUB 000016bc: PUSH2 0x16fa 000016bf: JUMPI 000016c0: PUSH1 0x40 000016c2: MLOAD 000016c3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000016e4: DUP2 000016e5: MSTORE 000016e6: PUSH1 0x04 000016e8: ADD 000016e9: PUSH2 0x16f1 000016ec: SWAP1 000016ed: PUSH2 0x3080 000016f0: JUMP 000016f1: JUMPDEST 000016f2: PUSH1 0x40 000016f4: MLOAD 000016f5: DUP1 000016f6: SWAP2 000016f7: SUB 000016f8: SWAP1 000016f9: REVERT 000016fa: JUMPDEST 000016fb: DUP1 000016fc: PUSH1 0x01 000016fe: PUSH1 0x00 00001700: DUP6 00001701: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001716: AND 00001717: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000172c: AND 0000172d: DUP2 0000172e: MSTORE 0000172f: PUSH1 0x20 00001731: ADD 00001732: SWAP1 00001733: DUP2 00001734: MSTORE 00001735: PUSH1 0x20 00001737: ADD 00001738: PUSH1 0x00 0000173a: KECCAK256 0000173b: PUSH1 0x00 0000173d: DUP5 0000173e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001753: AND 00001754: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001769: AND 0000176a: DUP2 0000176b: MSTORE 0000176c: PUSH1 0x20 0000176e: ADD 0000176f: SWAP1 00001770: DUP2 00001771: MSTORE 00001772: PUSH1 0x20 00001774: ADD 00001775: PUSH1 0x00 00001777: KECCAK256 00001778: DUP2 00001779: SWAP1 0000177a: SSTORE 0000177b: POP 0000177c: DUP2 0000177d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001792: AND 00001793: DUP4 00001794: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a9: AND 000017aa: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000017cb: DUP4 000017cc: PUSH1 0x40 000017ce: MLOAD 000017cf: PUSH2 0x17d8 000017d2: SWAP2 000017d3: SWAP1 000017d4: PUSH2 0x26f2 000017d7: JUMP 000017d8: JUMPDEST 000017d9: PUSH1 0x40 000017db: MLOAD 000017dc: DUP1 000017dd: SWAP2 000017de: SUB 000017df: SWAP1 000017e0: LOG3 000017e1: POP 000017e2: POP 000017e3: POP 000017e4: JUMP 000017e5: JUMPDEST 000017e6: PUSH1 0x00 000017e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017fd: AND 000017fe: DUP4 000017ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001814: AND 00001815: SUB 00001816: PUSH2 0x1854 00001819: JUMPI 0000181a: PUSH1 0x40 0000181c: MLOAD 0000181d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000183e: DUP2 0000183f: MSTORE 00001840: PUSH1 0x04 00001842: ADD 00001843: PUSH2 0x184b 00001846: SWAP1 00001847: PUSH2 0x3112 0000184a: JUMP 0000184b: JUMPDEST 0000184c: PUSH1 0x40 0000184e: MLOAD 0000184f: DUP1 00001850: SWAP2 00001851: SUB 00001852: SWAP1 00001853: REVERT 00001854: JUMPDEST 00001855: PUSH1 0x00 00001857: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000186c: AND 0000186d: DUP3 0000186e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001883: AND 00001884: SUB 00001885: PUSH2 0x18c3 00001888: JUMPI 00001889: PUSH1 0x40 0000188b: MLOAD 0000188c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018ad: DUP2 000018ae: MSTORE 000018af: PUSH1 0x04 000018b1: ADD 000018b2: PUSH2 0x18ba 000018b5: SWAP1 000018b6: PUSH2 0x31a4 000018b9: JUMP 000018ba: JUMPDEST 000018bb: PUSH1 0x40 000018bd: MLOAD 000018be: DUP1 000018bf: SWAP2 000018c0: SUB 000018c1: SWAP1 000018c2: REVERT 000018c3: JUMPDEST 000018c4: PUSH1 0x00 000018c6: DUP2 000018c7: SUB 000018c8: PUSH2 0x18dc 000018cb: JUMPI 000018cc: PUSH2 0x18d7 000018cf: DUP4 000018d0: DUP4 000018d1: PUSH1 0x00 000018d3: PUSH2 0x1fcf 000018d6: JUMP 000018d7: JUMPDEST 000018d8: PUSH2 0x1e63 000018db: JUMP 000018dc: JUMPDEST 000018dd: PUSH2 0x18e4 000018e0: PUSH2 0x0cb6 000018e3: JUMP 000018e4: JUMPDEST 000018e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018fa: AND 000018fb: DUP4 000018fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001911: AND 00001912: EQ 00001913: ISZERO 00001914: DUP1 00001915: ISZERO 00001916: PUSH2 0x1952 00001919: JUMPI 0000191a: POP 0000191b: PUSH2 0x1922 0000191e: PUSH2 0x0cb6 00001921: JUMP 00001922: JUMPDEST 00001923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001938: AND 00001939: DUP3 0000193a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000194f: AND 00001950: EQ 00001951: ISZERO 00001952: JUMPDEST 00001953: DUP1 00001954: ISZERO 00001955: PUSH2 0x198b 00001958: JUMPI 00001959: POP 0000195a: PUSH1 0x00 0000195c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001971: AND 00001972: DUP3 00001973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001988: AND 00001989: EQ 0000198a: ISZERO 0000198b: JUMPDEST 0000198c: DUP1 0000198d: ISZERO 0000198e: PUSH2 0x19c5 00001991: JUMPI 00001992: POP 00001993: PUSH2 0xdead 00001996: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ab: AND 000019ac: DUP3 000019ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019c2: AND 000019c3: EQ 000019c4: ISZERO 000019c5: JUMPDEST 000019c6: DUP1 000019c7: ISZERO 000019c8: PUSH2 0x19de 000019cb: JUMPI 000019cc: POP 000019cd: PUSH1 0x05 000019cf: PUSH1 0x15 000019d1: SWAP1 000019d2: SLOAD 000019d3: SWAP1 000019d4: PUSH2 0x0100 000019d7: EXP 000019d8: SWAP1 000019d9: DIV 000019da: PUSH1 0xff 000019dc: AND 000019dd: ISZERO 000019de: JUMPDEST 000019df: ISZERO 000019e0: PUSH2 0x1ad9 000019e3: JUMPI 000019e4: PUSH1 0x05 000019e6: PUSH1 0x14 000019e8: SWAP1 000019e9: SLOAD 000019ea: SWAP1 000019eb: PUSH2 0x0100 000019ee: EXP 000019ef: SWAP1 000019f0: DIV 000019f1: PUSH1 0xff 000019f3: AND 000019f4: PUSH2 0x1ad8 000019f7: JUMPI 000019f8: PUSH1 0x0b 000019fa: PUSH1 0x00 000019fc: DUP5 000019fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a12: AND 00001a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a28: AND 00001a29: DUP2 00001a2a: MSTORE 00001a2b: PUSH1 0x20 00001a2d: ADD 00001a2e: SWAP1 00001a2f: DUP2 00001a30: MSTORE 00001a31: PUSH1 0x20 00001a33: ADD 00001a34: PUSH1 0x00 00001a36: KECCAK256 00001a37: PUSH1 0x00 00001a39: SWAP1 00001a3a: SLOAD 00001a3b: SWAP1 00001a3c: PUSH2 0x0100 00001a3f: EXP 00001a40: SWAP1 00001a41: DIV 00001a42: PUSH1 0xff 00001a44: AND 00001a45: DUP1 00001a46: PUSH2 0x1a98 00001a49: JUMPI 00001a4a: POP 00001a4b: PUSH1 0x0b 00001a4d: PUSH1 0x00 00001a4f: DUP4 00001a50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a65: AND 00001a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a7b: AND 00001a7c: DUP2 00001a7d: MSTORE 00001a7e: PUSH1 0x20 00001a80: ADD 00001a81: SWAP1 00001a82: DUP2 00001a83: MSTORE 00001a84: PUSH1 0x20 00001a86: ADD 00001a87: PUSH1 0x00 00001a89: KECCAK256 00001a8a: PUSH1 0x00 00001a8c: SWAP1 00001a8d: SLOAD 00001a8e: SWAP1 00001a8f: PUSH2 0x0100 00001a92: EXP 00001a93: SWAP1 00001a94: DIV 00001a95: PUSH1 0xff 00001a97: AND 00001a98: JUMPDEST 00001a99: PUSH2 0x1ad7 00001a9c: JUMPI 00001a9d: PUSH1 0x40 00001a9f: MLOAD 00001aa0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ac1: DUP2 00001ac2: MSTORE 00001ac3: PUSH1 0x04 00001ac5: ADD 00001ac6: PUSH2 0x1ace 00001ac9: SWAP1 00001aca: PUSH2 0x3236 00001acd: JUMP 00001ace: JUMPDEST 00001acf: PUSH1 0x40 00001ad1: MLOAD 00001ad2: DUP1 00001ad3: SWAP2 00001ad4: SUB 00001ad5: SWAP1 00001ad6: REVERT 00001ad7: JUMPDEST 00001ad8: JUMPDEST 00001ad9: JUMPDEST 00001ada: PUSH1 0x00 00001adc: PUSH2 0x1ae4 00001adf: ADDRESS 00001ae0: PUSH2 0x0ae0 00001ae3: JUMP 00001ae4: JUMPDEST 00001ae5: SWAP1 00001ae6: POP 00001ae7: PUSH1 0x00 00001ae9: PUSH1 0x06 00001aeb: SLOAD 00001aec: DUP3 00001aed: LT 00001aee: ISZERO 00001aef: SWAP1 00001af0: POP 00001af1: DUP1 00001af2: DUP1 00001af3: ISZERO 00001af4: PUSH2 0x1b09 00001af7: JUMPI 00001af8: POP 00001af9: PUSH1 0x05 00001afb: PUSH1 0x16 00001afd: SWAP1 00001afe: SLOAD 00001aff: SWAP1 00001b00: PUSH2 0x0100 00001b03: EXP 00001b04: SWAP1 00001b05: DIV 00001b06: PUSH1 0xff 00001b08: AND 00001b09: JUMPDEST 00001b0a: DUP1 00001b0b: ISZERO 00001b0c: PUSH2 0x1b22 00001b0f: JUMPI 00001b10: POP 00001b11: PUSH1 0x05 00001b13: PUSH1 0x15 00001b15: SWAP1 00001b16: SLOAD 00001b17: SWAP1 00001b18: PUSH2 0x0100 00001b1b: EXP 00001b1c: SWAP1 00001b1d: DIV 00001b1e: PUSH1 0xff 00001b20: AND 00001b21: ISZERO 00001b22: JUMPDEST 00001b23: DUP1 00001b24: ISZERO 00001b25: PUSH2 0x1b78 00001b28: JUMPI 00001b29: POP 00001b2a: PUSH1 0x0c 00001b2c: PUSH1 0x00 00001b2e: DUP7 00001b2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b44: AND 00001b45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b5a: AND 00001b5b: DUP2 00001b5c: MSTORE 00001b5d: PUSH1 0x20 00001b5f: ADD 00001b60: SWAP1 00001b61: DUP2 00001b62: MSTORE 00001b63: PUSH1 0x20 00001b65: ADD 00001b66: PUSH1 0x00 00001b68: KECCAK256 00001b69: PUSH1 0x00 00001b6b: SWAP1 00001b6c: SLOAD 00001b6d: SWAP1 00001b6e: PUSH2 0x0100 00001b71: EXP 00001b72: SWAP1 00001b73: DIV 00001b74: PUSH1 0xff 00001b76: AND 00001b77: ISZERO 00001b78: JUMPDEST 00001b79: DUP1 00001b7a: ISZERO 00001b7b: PUSH2 0x1bce 00001b7e: JUMPI 00001b7f: POP 00001b80: PUSH1 0x0b 00001b82: PUSH1 0x00 00001b84: DUP7 00001b85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b9a: AND 00001b9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bb0: AND 00001bb1: DUP2 00001bb2: MSTORE 00001bb3: PUSH1 0x20 00001bb5: ADD 00001bb6: SWAP1 00001bb7: DUP2 00001bb8: MSTORE 00001bb9: PUSH1 0x20 00001bbb: ADD 00001bbc: PUSH1 0x00 00001bbe: KECCAK256 00001bbf: PUSH1 0x00 00001bc1: SWAP1 00001bc2: SLOAD 00001bc3: SWAP1 00001bc4: PUSH2 0x0100 00001bc7: EXP 00001bc8: SWAP1 00001bc9: DIV 00001bca: PUSH1 0xff 00001bcc: AND 00001bcd: ISZERO 00001bce: JUMPDEST 00001bcf: DUP1 00001bd0: ISZERO 00001bd1: PUSH2 0x1c24 00001bd4: JUMPI 00001bd5: POP 00001bd6: PUSH1 0x0b 00001bd8: PUSH1 0x00 00001bda: DUP6 00001bdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bf0: AND 00001bf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c06: AND 00001c07: DUP2 00001c08: MSTORE 00001c09: PUSH1 0x20 00001c0b: ADD 00001c0c: SWAP1 00001c0d: DUP2 00001c0e: MSTORE 00001c0f: PUSH1 0x20 00001c11: ADD 00001c12: PUSH1 0x00 00001c14: KECCAK256 00001c15: PUSH1 0x00 00001c17: SWAP1 00001c18: SLOAD 00001c19: SWAP1 00001c1a: PUSH2 0x0100 00001c1d: EXP 00001c1e: SWAP1 00001c1f: DIV 00001c20: PUSH1 0xff 00001c22: AND 00001c23: ISZERO 00001c24: JUMPDEST 00001c25: ISZERO 00001c26: PUSH2 0x1c68 00001c29: JUMPI 00001c2a: PUSH1 0x01 00001c2c: PUSH1 0x05 00001c2e: PUSH1 0x15 00001c30: PUSH2 0x0100 00001c33: EXP 00001c34: DUP2 00001c35: SLOAD 00001c36: DUP2 00001c37: PUSH1 0xff 00001c39: MUL 00001c3a: NOT 00001c3b: AND 00001c3c: SWAP1 00001c3d: DUP4 00001c3e: ISZERO 00001c3f: ISZERO 00001c40: MUL 00001c41: OR 00001c42: SWAP1 00001c43: SSTORE 00001c44: POP 00001c45: PUSH2 0x1c4c 00001c48: PUSH2 0x224e 00001c4b: JUMP 00001c4c: JUMPDEST 00001c4d: PUSH1 0x00 00001c4f: PUSH1 0x05 00001c51: PUSH1 0x15 00001c53: PUSH2 0x0100 00001c56: EXP 00001c57: DUP2 00001c58: SLOAD 00001c59: DUP2 00001c5a: PUSH1 0xff 00001c5c: MUL 00001c5d: NOT 00001c5e: AND 00001c5f: SWAP1 00001c60: DUP4 00001c61: ISZERO 00001c62: ISZERO 00001c63: MUL 00001c64: OR 00001c65: SWAP1 00001c66: SSTORE 00001c67: POP 00001c68: JUMPDEST 00001c69: PUSH1 0x00 00001c6b: PUSH1 0x05 00001c6d: PUSH1 0x15 00001c6f: SWAP1 00001c70: SLOAD 00001c71: SWAP1 00001c72: PUSH2 0x0100 00001c75: EXP 00001c76: SWAP1 00001c77: DIV 00001c78: PUSH1 0xff 00001c7a: AND 00001c7b: ISZERO 00001c7c: SWAP1 00001c7d: POP 00001c7e: PUSH1 0x0b 00001c80: PUSH1 0x00 00001c82: DUP8 00001c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c98: AND 00001c99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cae: AND 00001caf: DUP2 00001cb0: MSTORE 00001cb1: PUSH1 0x20 00001cb3: ADD 00001cb4: SWAP1 00001cb5: DUP2 00001cb6: MSTORE 00001cb7: PUSH1 0x20 00001cb9: ADD 00001cba: PUSH1 0x00 00001cbc: KECCAK256 00001cbd: PUSH1 0x00 00001cbf: SWAP1 00001cc0: SLOAD 00001cc1: SWAP1 00001cc2: PUSH2 0x0100 00001cc5: EXP 00001cc6: SWAP1 00001cc7: DIV 00001cc8: PUSH1 0xff 00001cca: AND 00001ccb: DUP1 00001ccc: PUSH2 0x1d1e 00001ccf: JUMPI 00001cd0: POP 00001cd1: PUSH1 0x0b 00001cd3: PUSH1 0x00 00001cd5: DUP7 00001cd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ceb: AND 00001cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d01: AND 00001d02: DUP2 00001d03: MSTORE 00001d04: PUSH1 0x20 00001d06: ADD 00001d07: SWAP1 00001d08: DUP2 00001d09: MSTORE 00001d0a: PUSH1 0x20 00001d0c: ADD 00001d0d: PUSH1 0x00 00001d0f: KECCAK256 00001d10: PUSH1 0x00 00001d12: SWAP1 00001d13: SLOAD 00001d14: SWAP1 00001d15: PUSH2 0x0100 00001d18: EXP 00001d19: SWAP1 00001d1a: DIV 00001d1b: PUSH1 0xff 00001d1d: AND 00001d1e: JUMPDEST 00001d1f: ISZERO 00001d20: PUSH2 0x1d28 00001d23: JUMPI 00001d24: PUSH1 0x00 00001d26: SWAP1 00001d27: POP 00001d28: JUMPDEST 00001d29: PUSH1 0x00 00001d2b: DUP2 00001d2c: ISZERO 00001d2d: PUSH2 0x1e53 00001d30: JUMPI 00001d31: PUSH1 0x0c 00001d33: PUSH1 0x00 00001d35: DUP8 00001d36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d4b: AND 00001d4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d61: AND 00001d62: DUP2 00001d63: MSTORE 00001d64: PUSH1 0x20 00001d66: ADD 00001d67: SWAP1 00001d68: DUP2 00001d69: MSTORE 00001d6a: PUSH1 0x20 00001d6c: ADD 00001d6d: PUSH1 0x00 00001d6f: KECCAK256 00001d70: PUSH1 0x00 00001d72: SWAP1 00001d73: SLOAD 00001d74: SWAP1 00001d75: PUSH2 0x0100 00001d78: EXP 00001d79: SWAP1 00001d7a: DIV 00001d7b: PUSH1 0xff 00001d7d: AND 00001d7e: DUP1 00001d7f: ISZERO 00001d80: PUSH2 0x1d8b 00001d83: JUMPI 00001d84: POP 00001d85: PUSH1 0x00 00001d87: PUSH1 0x0a 00001d89: SLOAD 00001d8a: GT 00001d8b: JUMPDEST 00001d8c: ISZERO 00001d8d: PUSH2 0x1db1 00001d90: JUMPI 00001d91: PUSH1 0x64 00001d93: PUSH1 0x0a 00001d95: SLOAD 00001d96: DUP7 00001d97: PUSH2 0x1da0 00001d9a: SWAP2 00001d9b: SWAP1 00001d9c: PUSH2 0x2e48 00001d9f: JUMP 00001da0: JUMPDEST 00001da1: PUSH2 0x1daa 00001da4: SWAP2 00001da5: SWAP1 00001da6: PUSH2 0x2eb9 00001da9: JUMP 00001daa: JUMPDEST 00001dab: SWAP1 00001dac: POP 00001dad: PUSH2 0x1e2f 00001db0: JUMP 00001db1: JUMPDEST 00001db2: PUSH1 0x0c 00001db4: PUSH1 0x00 00001db6: DUP9 00001db7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dcc: AND 00001dcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001de2: AND 00001de3: DUP2 00001de4: MSTORE 00001de5: PUSH1 0x20 00001de7: ADD 00001de8: SWAP1 00001de9: DUP2 00001dea: MSTORE 00001deb: PUSH1 0x20 00001ded: ADD 00001dee: PUSH1 0x00 00001df0: KECCAK256 00001df1: PUSH1 0x00 00001df3: SWAP1 00001df4: SLOAD 00001df5: SWAP1 00001df6: PUSH2 0x0100 00001df9: EXP 00001dfa: SWAP1 00001dfb: DIV 00001dfc: PUSH1 0xff 00001dfe: AND 00001dff: DUP1 00001e00: ISZERO 00001e01: PUSH2 0x1e0c 00001e04: JUMPI 00001e05: POP 00001e06: PUSH1 0x00 00001e08: PUSH1 0x09 00001e0a: SLOAD 00001e0b: GT 00001e0c: JUMPDEST 00001e0d: ISZERO 00001e0e: PUSH2 0x1e2e 00001e11: JUMPI 00001e12: PUSH1 0x64 00001e14: PUSH1 0x09 00001e16: SLOAD 00001e17: DUP7 00001e18: PUSH2 0x1e21 00001e1b: SWAP2 00001e1c: SWAP1 00001e1d: PUSH2 0x2e48 00001e20: JUMP 00001e21: JUMPDEST 00001e22: PUSH2 0x1e2b 00001e25: SWAP2 00001e26: SWAP1 00001e27: PUSH2 0x2eb9 00001e2a: JUMP 00001e2b: JUMPDEST 00001e2c: SWAP1 00001e2d: POP 00001e2e: JUMPDEST 00001e2f: JUMPDEST 00001e30: PUSH1 0x00 00001e32: DUP2 00001e33: GT 00001e34: ISZERO 00001e35: PUSH2 0x1e44 00001e38: JUMPI 00001e39: PUSH2 0x1e43 00001e3c: DUP8 00001e3d: ADDRESS 00001e3e: DUP4 00001e3f: PUSH2 0x1fcf 00001e42: JUMP 00001e43: JUMPDEST 00001e44: JUMPDEST 00001e45: DUP1 00001e46: DUP6 00001e47: PUSH2 0x1e50 00001e4a: SWAP2 00001e4b: SWAP1 00001e4c: PUSH2 0x3256 00001e4f: JUMP 00001e50: JUMPDEST 00001e51: SWAP5 00001e52: POP 00001e53: JUMPDEST 00001e54: PUSH2 0x1e5e 00001e57: DUP8 00001e58: DUP8 00001e59: DUP8 00001e5a: PUSH2 0x1fcf 00001e5d: JUMP 00001e5e: JUMPDEST 00001e5f: POP 00001e60: POP 00001e61: POP 00001e62: POP 00001e63: JUMPDEST 00001e64: POP 00001e65: POP 00001e66: POP 00001e67: JUMP 00001e68: JUMPDEST 00001e69: PUSH1 0x00 00001e6b: PUSH1 0x05 00001e6d: PUSH1 0x00 00001e6f: SWAP1 00001e70: SLOAD 00001e71: SWAP1 00001e72: PUSH2 0x0100 00001e75: EXP 00001e76: SWAP1 00001e77: DIV 00001e78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e8d: AND 00001e8e: SWAP1 00001e8f: POP 00001e90: DUP2 00001e91: PUSH1 0x05 00001e93: PUSH1 0x00 00001e95: PUSH2 0x0100 00001e98: EXP 00001e99: DUP2 00001e9a: SLOAD 00001e9b: DUP2 00001e9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eb1: MUL 00001eb2: NOT 00001eb3: AND 00001eb4: SWAP1 00001eb5: DUP4 00001eb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ecb: AND 00001ecc: MUL 00001ecd: OR 00001ece: SWAP1 00001ecf: SSTORE 00001ed0: POP 00001ed1: DUP2 00001ed2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ee7: AND 00001ee8: DUP2 00001ee9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001efe: AND 00001eff: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001f20: PUSH1 0x40 00001f22: MLOAD 00001f23: PUSH1 0x40 00001f25: MLOAD 00001f26: DUP1 00001f27: SWAP2 00001f28: SUB 00001f29: SWAP1 00001f2a: LOG3 00001f2b: POP 00001f2c: POP 00001f2d: JUMP 00001f2e: JUMPDEST 00001f2f: DUP1 00001f30: PUSH1 0x0c 00001f32: PUSH1 0x00 00001f34: DUP5 00001f35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f4a: AND 00001f4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f60: AND 00001f61: DUP2 00001f62: MSTORE 00001f63: PUSH1 0x20 00001f65: ADD 00001f66: SWAP1 00001f67: DUP2 00001f68: MSTORE 00001f69: PUSH1 0x20 00001f6b: ADD 00001f6c: PUSH1 0x00 00001f6e: KECCAK256 00001f6f: PUSH1 0x00 00001f71: PUSH2 0x0100 00001f74: EXP 00001f75: DUP2 00001f76: SLOAD 00001f77: DUP2 00001f78: PUSH1 0xff 00001f7a: MUL 00001f7b: NOT 00001f7c: AND 00001f7d: SWAP1 00001f7e: DUP4 00001f7f: ISZERO 00001f80: ISZERO 00001f81: MUL 00001f82: OR 00001f83: SWAP1 00001f84: SSTORE 00001f85: POP 00001f86: DUP1 00001f87: ISZERO 00001f88: ISZERO 00001f89: DUP3 00001f8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f9f: AND 00001fa0: PUSH32 0xffa9187bf1f18bf477bd0ea1bcbb64e93b6a98132473929edfce215cd9b16fab 00001fc1: PUSH1 0x40 00001fc3: MLOAD 00001fc4: PUSH1 0x40 00001fc6: MLOAD 00001fc7: DUP1 00001fc8: SWAP2 00001fc9: SUB 00001fca: SWAP1 00001fcb: LOG3 00001fcc: POP 00001fcd: POP 00001fce: JUMP 00001fcf: JUMPDEST 00001fd0: PUSH1 0x00 00001fd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fe7: AND 00001fe8: DUP4 00001fe9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ffe: AND 00001fff: SUB 00002000: PUSH2 0x203e 00002003: JUMPI 00002004: PUSH1 0x40 00002006: MLOAD 00002007: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002028: DUP2 00002029: MSTORE 0000202a: PUSH1 0x04 0000202c: ADD 0000202d: PUSH2 0x2035 00002030: SWAP1 00002031: PUSH2 0x3112 00002034: JUMP 00002035: JUMPDEST 00002036: PUSH1 0x40 00002038: MLOAD 00002039: DUP1 0000203a: SWAP2 0000203b: SUB 0000203c: SWAP1 0000203d: REVERT 0000203e: JUMPDEST 0000203f: PUSH1 0x00 00002041: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002056: AND 00002057: DUP3 00002058: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000206d: AND 0000206e: SUB 0000206f: PUSH2 0x20ad 00002072: JUMPI 00002073: PUSH1 0x40 00002075: MLOAD 00002076: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002097: DUP2 00002098: MSTORE 00002099: PUSH1 0x04 0000209b: ADD 0000209c: PUSH2 0x20a4 0000209f: SWAP1 000020a0: PUSH2 0x31a4 000020a3: JUMP 000020a4: JUMPDEST 000020a5: PUSH1 0x40 000020a7: MLOAD 000020a8: DUP1 000020a9: SWAP2 000020aa: SUB 000020ab: SWAP1 000020ac: REVERT 000020ad: JUMPDEST 000020ae: PUSH2 0x20b8 000020b1: DUP4 000020b2: DUP4 000020b3: DUP4 000020b4: PUSH2 0x228c 000020b7: JUMP 000020b8: JUMPDEST 000020b9: PUSH1 0x00 000020bb: DUP1 000020bc: PUSH1 0x00 000020be: DUP6 000020bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020d4: AND 000020d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020ea: AND 000020eb: DUP2 000020ec: MSTORE 000020ed: PUSH1 0x20 000020ef: ADD 000020f0: SWAP1 000020f1: DUP2 000020f2: MSTORE 000020f3: PUSH1 0x20 000020f5: ADD 000020f6: PUSH1 0x00 000020f8: KECCAK256 000020f9: SLOAD 000020fa: SWAP1 000020fb: POP 000020fc: DUP2 000020fd: DUP2 000020fe: LT 000020ff: ISZERO 00002100: PUSH2 0x213e 00002103: JUMPI 00002104: PUSH1 0x40 00002106: MLOAD 00002107: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002128: DUP2 00002129: MSTORE 0000212a: PUSH1 0x04 0000212c: ADD 0000212d: PUSH2 0x2135 00002130: SWAP1 00002131: PUSH2 0x32fc 00002134: JUMP 00002135: JUMPDEST 00002136: PUSH1 0x40 00002138: MLOAD 00002139: DUP1 0000213a: SWAP2 0000213b: SUB 0000213c: SWAP1 0000213d: REVERT 0000213e: JUMPDEST 0000213f: DUP2 00002140: DUP2 00002141: SUB 00002142: PUSH1 0x00 00002144: DUP1 00002145: DUP7 00002146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000215b: AND 0000215c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002171: AND 00002172: DUP2 00002173: MSTORE 00002174: PUSH1 0x20 00002176: ADD 00002177: SWAP1 00002178: DUP2 00002179: MSTORE 0000217a: PUSH1 0x20 0000217c: ADD 0000217d: PUSH1 0x00 0000217f: KECCAK256 00002180: DUP2 00002181: SWAP1 00002182: SSTORE 00002183: POP 00002184: DUP2 00002185: PUSH1 0x00 00002187: DUP1 00002188: DUP6 00002189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000219e: AND 0000219f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021b4: AND 000021b5: DUP2 000021b6: MSTORE 000021b7: PUSH1 0x20 000021b9: ADD 000021ba: SWAP1 000021bb: DUP2 000021bc: MSTORE 000021bd: PUSH1 0x20 000021bf: ADD 000021c0: PUSH1 0x00 000021c2: KECCAK256 000021c3: PUSH1 0x00 000021c5: DUP3 000021c6: DUP3 000021c7: SLOAD 000021c8: PUSH2 0x21d1 000021cb: SWAP2 000021cc: SWAP1 000021cd: PUSH2 0x2bcc 000021d0: JUMP 000021d1: JUMPDEST 000021d2: SWAP3 000021d3: POP 000021d4: POP 000021d5: DUP2 000021d6: SWAP1 000021d7: SSTORE 000021d8: POP 000021d9: DUP3 000021da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021ef: AND 000021f0: DUP5 000021f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002206: AND 00002207: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002228: DUP5 00002229: PUSH1 0x40 0000222b: MLOAD 0000222c: PUSH2 0x2235 0000222f: SWAP2 00002230: SWAP1 00002231: PUSH2 0x26f2 00002234: JUMP 00002235: JUMPDEST 00002236: PUSH1 0x40 00002238: MLOAD 00002239: DUP1 0000223a: SWAP2 0000223b: SUB 0000223c: SWAP1 0000223d: LOG3 0000223e: PUSH2 0x2248 00002241: DUP5 00002242: DUP5 00002243: DUP5 00002244: PUSH2 0x2291 00002247: JUMP 00002248: JUMPDEST 00002249: POP 0000224a: POP 0000224b: POP 0000224c: POP 0000224d: JUMP 0000224e: JUMPDEST 0000224f: PUSH1 0x00 00002251: PUSH2 0x2259 00002254: ADDRESS 00002255: PUSH2 0x0ae0 00002258: JUMP 00002259: JUMPDEST 0000225a: SWAP1 0000225b: POP 0000225c: PUSH1 0x00 0000225e: DUP2 0000225f: SUB 00002260: PUSH2 0x2269 00002263: JUMPI 00002264: POP 00002265: PUSH2 0x228a 00002268: JUMP 00002269: JUMPDEST 0000226a: PUSH1 0x07 0000226c: SLOAD 0000226d: DUP2 0000226e: GT 0000226f: ISZERO 00002270: PUSH2 0x2279 00002273: JUMPI 00002274: PUSH1 0x07 00002276: SLOAD 00002277: SWAP1 00002278: POP 00002279: JUMPDEST 0000227a: PUSH1 0x00 0000227c: DUP2 0000227d: SWAP1 0000227e: POP 0000227f: PUSH2 0x2287 00002282: DUP2 00002283: PUSH2 0x2296 00002286: JUMP 00002287: JUMPDEST 00002288: POP 00002289: POP 0000228a: JUMPDEST 0000228b: JUMP 0000228c: JUMPDEST 0000228d: POP 0000228e: POP 0000228f: POP 00002290: JUMP 00002291: JUMPDEST 00002292: POP 00002293: POP 00002294: POP 00002295: JUMP 00002296: JUMPDEST 00002297: PUSH1 0x00 00002299: PUSH1 0x02 0000229b: PUSH8 0xffffffffffffffff 000022a4: DUP2 000022a5: GT 000022a6: ISZERO 000022a7: PUSH2 0x22b3 000022aa: JUMPI 000022ab: PUSH2 0x22b2 000022ae: PUSH2 0x331c 000022b1: JUMP 000022b2: JUMPDEST 000022b3: JUMPDEST 000022b4: PUSH1 0x40 000022b6: MLOAD 000022b7: SWAP1 000022b8: DUP1 000022b9: DUP3 000022ba: MSTORE 000022bb: DUP1 000022bc: PUSH1 0x20 000022be: MUL 000022bf: PUSH1 0x20 000022c1: ADD 000022c2: DUP3 000022c3: ADD 000022c4: PUSH1 0x40 000022c6: MSTORE 000022c7: DUP1 000022c8: ISZERO 000022c9: PUSH2 0x22e1 000022cc: JUMPI 000022cd: DUP2 000022ce: PUSH1 0x20 000022d0: ADD 000022d1: PUSH1 0x20 000022d3: DUP3 000022d4: MUL 000022d5: DUP1 000022d6: CALLDATASIZE 000022d7: DUP4 000022d8: CALLDATACOPY 000022d9: DUP1 000022da: DUP3 000022db: ADD 000022dc: SWAP2 000022dd: POP 000022de: POP 000022df: SWAP1 000022e0: POP 000022e1: JUMPDEST 000022e2: POP 000022e3: SWAP1 000022e4: POP 000022e5: ADDRESS 000022e6: DUP2 000022e7: PUSH1 0x00 000022e9: DUP2 000022ea: MLOAD 000022eb: DUP2 000022ec: LT 000022ed: PUSH2 0x22f9 000022f0: JUMPI 000022f1: PUSH2 0x22f8 000022f4: PUSH2 0x334b 000022f7: JUMP 000022f8: JUMPDEST 000022f9: JUMPDEST 000022fa: PUSH1 0x20 000022fc: MUL 000022fd: PUSH1 0x20 000022ff: ADD 00002300: ADD 00002301: SWAP1 00002302: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002317: AND 00002318: SWAP1 00002319: DUP2 0000231a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000232f: AND 00002330: DUP2 00002331: MSTORE 00002332: POP 00002333: POP 00002334: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00002355: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000236a: AND 0000236b: PUSH4 0xad5c4648 00002370: PUSH1 0x40 00002372: MLOAD 00002373: DUP2 00002374: PUSH4 0xffffffff 00002379: AND 0000237a: PUSH1 0xe0 0000237c: SHL 0000237d: DUP2 0000237e: MSTORE 0000237f: PUSH1 0x04 00002381: ADD 00002382: PUSH1 0x20 00002384: PUSH1 0x40 00002386: MLOAD 00002387: DUP1 00002388: DUP4 00002389: SUB 0000238a: DUP2 0000238b: DUP7 0000238c: GAS 0000238d: STATICCALL 0000238e: ISZERO 0000238f: DUP1 00002390: ISZERO 00002391: PUSH2 0x239e 00002394: JUMPI 00002395: RETURNDATASIZE 00002396: PUSH1 0x00 00002398: DUP1 00002399: RETURNDATACOPY 0000239a: RETURNDATASIZE 0000239b: PUSH1 0x00 0000239d: REVERT 0000239e: JUMPDEST 0000239f: POP 000023a0: POP 000023a1: POP 000023a2: POP 000023a3: PUSH1 0x40 000023a5: MLOAD 000023a6: RETURNDATASIZE 000023a7: PUSH1 0x1f 000023a9: NOT 000023aa: PUSH1 0x1f 000023ac: DUP3 000023ad: ADD 000023ae: AND 000023af: DUP3 000023b0: ADD 000023b1: DUP1 000023b2: PUSH1 0x40 000023b4: MSTORE 000023b5: POP 000023b6: DUP2 000023b7: ADD 000023b8: SWAP1 000023b9: PUSH2 0x23c2 000023bc: SWAP2 000023bd: SWAP1 000023be: PUSH2 0x338f 000023c1: JUMP 000023c2: JUMPDEST 000023c3: DUP2 000023c4: PUSH1 0x01 000023c6: DUP2 000023c7: MLOAD 000023c8: DUP2 000023c9: LT 000023ca: PUSH2 0x23d6 000023cd: JUMPI 000023ce: PUSH2 0x23d5 000023d1: PUSH2 0x334b 000023d4: JUMP 000023d5: JUMPDEST 000023d6: JUMPDEST 000023d7: PUSH1 0x20 000023d9: MUL 000023da: PUSH1 0x20 000023dc: ADD 000023dd: ADD 000023de: SWAP1 000023df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023f4: AND 000023f5: SWAP1 000023f6: DUP2 000023f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000240c: AND 0000240d: DUP2 0000240e: MSTORE 0000240f: POP 00002410: POP 00002411: PUSH2 0x243b 00002414: ADDRESS 00002415: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00002436: DUP5 00002437: PUSH2 0x161c 0000243a: JUMP 0000243b: JUMPDEST 0000243c: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 0000245d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002472: AND 00002473: PUSH4 0x791ac947 00002478: DUP4 00002479: PUSH1 0x00 0000247b: DUP5 0000247c: PUSH1 0x08 0000247e: PUSH1 0x00 00002480: SWAP1 00002481: SLOAD 00002482: SWAP1 00002483: PUSH2 0x0100 00002486: EXP 00002487: SWAP1 00002488: DIV 00002489: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000249e: AND 0000249f: TIMESTAMP 000024a0: PUSH1 0x40 000024a2: MLOAD 000024a3: DUP7 000024a4: PUSH4 0xffffffff 000024a9: AND 000024aa: PUSH1 0xe0 000024ac: SHL 000024ad: DUP2 000024ae: MSTORE 000024af: PUSH1 0x04 000024b1: ADD 000024b2: PUSH2 0x24bf 000024b5: SWAP6 000024b6: SWAP5 000024b7: SWAP4 000024b8: SWAP3 000024b9: SWAP2 000024ba: SWAP1 000024bb: PUSH2 0x34bf 000024be: JUMP 000024bf: JUMPDEST 000024c0: PUSH1 0x00 000024c2: PUSH1 0x40 000024c4: MLOAD 000024c5: DUP1 000024c6: DUP4 000024c7: SUB 000024c8: DUP2 000024c9: PUSH1 0x00 000024cb: DUP8 000024cc: DUP1 000024cd: EXTCODESIZE 000024ce: ISZERO 000024cf: DUP1 000024d0: ISZERO 000024d1: PUSH2 0x24d9 000024d4: JUMPI 000024d5: PUSH1 0x00 000024d7: DUP1 000024d8: REVERT 000024d9: JUMPDEST 000024da: POP 000024db: GAS 000024dc: CALL 000024dd: ISZERO 000024de: DUP1 000024df: ISZERO 000024e0: PUSH2 0x24ed 000024e3: JUMPI 000024e4: RETURNDATASIZE 000024e5: PUSH1 0x00 000024e7: DUP1 000024e8: RETURNDATACOPY 000024e9: RETURNDATASIZE 000024ea: PUSH1 0x00 000024ec: REVERT 000024ed: JUMPDEST 000024ee: POP 000024ef: POP 000024f0: POP 000024f1: POP 000024f2: POP 000024f3: POP 000024f4: JUMP 000024f5: JUMPDEST 000024f6: PUSH1 0x00 000024f8: DUP2 000024f9: MLOAD 000024fa: SWAP1 000024fb: POP 000024fc: SWAP2 000024fd: SWAP1 000024fe: POP 000024ff: JUMP 00002500: JUMPDEST 00002501: PUSH1 0x00 00002503: DUP3 00002504: DUP3 00002505: MSTORE 00002506: PUSH1 0x20 00002508: DUP3 00002509: ADD 0000250a: SWAP1 0000250b: POP 0000250c: SWAP3 0000250d: SWAP2 0000250e: POP 0000250f: POP 00002510: JUMP 00002511: JUMPDEST 00002512: PUSH1 0x00 00002514: JUMPDEST 00002515: DUP4 00002516: DUP2 00002517: LT 00002518: ISZERO 00002519: PUSH2 0x252f 0000251c: JUMPI 0000251d: DUP1 0000251e: DUP3 0000251f: ADD 00002520: MLOAD 00002521: DUP2 00002522: DUP5 00002523: ADD 00002524: MSTORE 00002525: PUSH1 0x20 00002527: DUP2 00002528: ADD 00002529: SWAP1 0000252a: POP 0000252b: PUSH2 0x2514 0000252e: JUMP 0000252f: JUMPDEST 00002530: PUSH1 0x00 00002532: DUP5 00002533: DUP5 00002534: ADD 00002535: MSTORE 00002536: POP 00002537: POP 00002538: POP 00002539: POP 0000253a: JUMP 0000253b: JUMPDEST 0000253c: PUSH1 0x00 0000253e: PUSH1 0x1f 00002540: NOT 00002541: PUSH1 0x1f 00002543: DUP4 00002544: ADD 00002545: AND 00002546: SWAP1 00002547: POP 00002548: SWAP2 00002549: SWAP1 0000254a: POP 0000254b: JUMP 0000254c: JUMPDEST 0000254d: PUSH1 0x00 0000254f: PUSH2 0x2557 00002552: DUP3 00002553: PUSH2 0x24f5 00002556: JUMP 00002557: JUMPDEST 00002558: PUSH2 0x2561 0000255b: DUP2 0000255c: DUP6 0000255d: PUSH2 0x2500 00002560: JUMP 00002561: JUMPDEST 00002562: SWAP4 00002563: POP 00002564: PUSH2 0x2571 00002567: DUP2 00002568: DUP6 00002569: PUSH1 0x20 0000256b: DUP7 0000256c: ADD 0000256d: PUSH2 0x2511 00002570: JUMP 00002571: JUMPDEST 00002572: PUSH2 0x257a 00002575: DUP2 00002576: PUSH2 0x253b 00002579: JUMP 0000257a: JUMPDEST 0000257b: DUP5 0000257c: ADD 0000257d: SWAP2 0000257e: POP 0000257f: POP 00002580: SWAP3 00002581: SWAP2 00002582: POP 00002583: POP 00002584: JUMP 00002585: JUMPDEST 00002586: PUSH1 0x00 00002588: PUSH1 0x20 0000258a: DUP3 0000258b: ADD 0000258c: SWAP1 0000258d: POP 0000258e: DUP2 0000258f: DUP2 00002590: SUB 00002591: PUSH1 0x00 00002593: DUP4 00002594: ADD 00002595: MSTORE 00002596: PUSH2 0x259f 00002599: DUP2 0000259a: DUP5 0000259b: PUSH2 0x254c 0000259e: JUMP 0000259f: JUMPDEST 000025a0: SWAP1 000025a1: POP 000025a2: SWAP3 000025a3: SWAP2 000025a4: POP 000025a5: POP 000025a6: JUMP 000025a7: JUMPDEST 000025a8: PUSH1 0x00 000025aa: DUP1 000025ab: REVERT 000025ac: JUMPDEST 000025ad: PUSH1 0x00 000025af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025c4: DUP3 000025c5: AND 000025c6: SWAP1 000025c7: POP 000025c8: SWAP2 000025c9: SWAP1 000025ca: POP 000025cb: JUMP 000025cc: JUMPDEST 000025cd: PUSH1 0x00 000025cf: PUSH2 0x25d7 000025d2: DUP3 000025d3: PUSH2 0x25ac 000025d6: JUMP 000025d7: JUMPDEST 000025d8: SWAP1 000025d9: POP 000025da: SWAP2 000025db: SWAP1 000025dc: POP 000025dd: JUMP 000025de: JUMPDEST 000025df: PUSH2 0x25e7 000025e2: DUP2 000025e3: PUSH2 0x25cc 000025e6: JUMP 000025e7: JUMPDEST 000025e8: DUP2 000025e9: EQ 000025ea: PUSH2 0x25f2 000025ed: JUMPI 000025ee: PUSH1 0x00 000025f0: DUP1 000025f1: REVERT 000025f2: JUMPDEST 000025f3: POP 000025f4: JUMP 000025f5: JUMPDEST 000025f6: PUSH1 0x00 000025f8: DUP2 000025f9: CALLDATALOAD 000025fa: SWAP1 000025fb: POP 000025fc: PUSH2 0x2604 000025ff: DUP2 00002600: PUSH2 0x25de 00002603: JUMP 00002604: JUMPDEST 00002605: SWAP3 00002606: SWAP2 00002607: POP 00002608: POP 00002609: JUMP 0000260a: JUMPDEST 0000260b: PUSH1 0x00 0000260d: DUP2 0000260e: SWAP1 0000260f: POP 00002610: SWAP2 00002611: SWAP1 00002612: POP 00002613: JUMP 00002614: JUMPDEST 00002615: PUSH2 0x261d 00002618: DUP2 00002619: PUSH2 0x260a 0000261c: JUMP 0000261d: JUMPDEST 0000261e: DUP2 0000261f: EQ 00002620: PUSH2 0x2628 00002623: JUMPI 00002624: PUSH1 0x00 00002626: DUP1 00002627: REVERT 00002628: JUMPDEST 00002629: POP 0000262a: JUMP 0000262b: JUMPDEST 0000262c: PUSH1 0x00 0000262e: DUP2 0000262f: CALLDATALOAD 00002630: SWAP1 00002631: POP 00002632: PUSH2 0x263a 00002635: DUP2 00002636: PUSH2 0x2614 00002639: JUMP 0000263a: JUMPDEST 0000263b: SWAP3 0000263c: SWAP2 0000263d: POP 0000263e: POP 0000263f: JUMP 00002640: JUMPDEST 00002641: PUSH1 0x00 00002643: DUP1 00002644: PUSH1 0x40 00002646: DUP4 00002647: DUP6 00002648: SUB 00002649: SLT 0000264a: ISZERO 0000264b: PUSH2 0x2657 0000264e: JUMPI 0000264f: PUSH2 0x2656 00002652: PUSH2 0x25a7 00002655: JUMP 00002656: JUMPDEST 00002657: JUMPDEST 00002658: PUSH1 0x00 0000265a: PUSH2 0x2665 0000265d: DUP6 0000265e: DUP3 0000265f: DUP7 00002660: ADD 00002661: PUSH2 0x25f5 00002664: JUMP 00002665: JUMPDEST 00002666: SWAP3 00002667: POP 00002668: POP 00002669: PUSH1 0x20 0000266b: PUSH2 0x2676 0000266e: DUP6 0000266f: DUP3 00002670: DUP7 00002671: ADD 00002672: PUSH2 0x262b 00002675: JUMP 00002676: JUMPDEST 00002677: SWAP2 00002678: POP 00002679: POP 0000267a: SWAP3 0000267b: POP 0000267c: SWAP3 0000267d: SWAP1 0000267e: POP 0000267f: JUMP 00002680: JUMPDEST 00002681: PUSH1 0x00 00002683: DUP2 00002684: ISZERO 00002685: ISZERO 00002686: SWAP1 00002687: POP 00002688: SWAP2 00002689: SWAP1 0000268a: POP 0000268b: JUMP 0000268c: JUMPDEST 0000268d: PUSH2 0x2695 00002690: DUP2 00002691: PUSH2 0x2680 00002694: JUMP 00002695: JUMPDEST 00002696: DUP3 00002697: MSTORE 00002698: POP 00002699: POP 0000269a: JUMP 0000269b: JUMPDEST 0000269c: PUSH1 0x00 0000269e: PUSH1 0x20 000026a0: DUP3 000026a1: ADD 000026a2: SWAP1 000026a3: POP 000026a4: PUSH2 0x26b0 000026a7: PUSH1 0x00 000026a9: DUP4 000026aa: ADD 000026ab: DUP5 000026ac: PUSH2 0x268c 000026af: JUMP 000026b0: JUMPDEST 000026b1: SWAP3 000026b2: SWAP2 000026b3: POP 000026b4: POP 000026b5: JUMP 000026b6: JUMPDEST 000026b7: PUSH1 0x00 000026b9: PUSH1 0x20 000026bb: DUP3 000026bc: DUP5 000026bd: SUB 000026be: SLT 000026bf: ISZERO 000026c0: PUSH2 0x26cc 000026c3: JUMPI 000026c4: PUSH2 0x26cb 000026c7: PUSH2 0x25a7 000026ca: JUMP 000026cb: JUMPDEST 000026cc: JUMPDEST 000026cd: PUSH1 0x00 000026cf: PUSH2 0x26da 000026d2: DUP5 000026d3: DUP3 000026d4: DUP6 000026d5: ADD 000026d6: PUSH2 0x262b 000026d9: JUMP 000026da: JUMPDEST 000026db: SWAP2 000026dc: POP 000026dd: POP 000026de: SWAP3 000026df: SWAP2 000026e0: POP 000026e1: POP 000026e2: JUMP 000026e3: JUMPDEST 000026e4: PUSH2 0x26ec 000026e7: DUP2 000026e8: PUSH2 0x260a 000026eb: JUMP 000026ec: JUMPDEST 000026ed: DUP3 000026ee: MSTORE 000026ef: POP 000026f0: POP 000026f1: JUMP 000026f2: JUMPDEST 000026f3: PUSH1 0x00 000026f5: PUSH1 0x20 000026f7: DUP3 000026f8: ADD 000026f9: SWAP1 000026fa: POP 000026fb: PUSH2 0x2707 000026fe: PUSH1 0x00 00002700: DUP4 00002701: ADD 00002702: DUP5 00002703: PUSH2 0x26e3 00002706: JUMP 00002707: JUMPDEST 00002708: SWAP3 00002709: SWAP2 0000270a: POP 0000270b: POP 0000270c: JUMP 0000270d: JUMPDEST 0000270e: PUSH2 0x2716 00002711: DUP2 00002712: PUSH2 0x2680 00002715: JUMP 00002716: JUMPDEST 00002717: DUP2 00002718: EQ 00002719: PUSH2 0x2721 0000271c: JUMPI 0000271d: PUSH1 0x00 0000271f: DUP1 00002720: REVERT 00002721: JUMPDEST 00002722: POP 00002723: JUMP 00002724: JUMPDEST 00002725: PUSH1 0x00 00002727: DUP2 00002728: CALLDATALOAD 00002729: SWAP1 0000272a: POP 0000272b: PUSH2 0x2733 0000272e: DUP2 0000272f: PUSH2 0x270d 00002732: JUMP 00002733: JUMPDEST 00002734: SWAP3 00002735: SWAP2 00002736: POP 00002737: POP 00002738: JUMP 00002739: JUMPDEST 0000273a: PUSH1 0x00 0000273c: DUP1 0000273d: PUSH1 0x40 0000273f: DUP4 00002740: DUP6 00002741: SUB 00002742: SLT 00002743: ISZERO 00002744: PUSH2 0x2750 00002747: JUMPI 00002748: PUSH2 0x274f 0000274b: PUSH2 0x25a7 0000274e: JUMP 0000274f: JUMPDEST 00002750: JUMPDEST 00002751: PUSH1 0x00 00002753: PUSH2 0x275e 00002756: DUP6 00002757: DUP3 00002758: DUP7 00002759: ADD 0000275a: PUSH2 0x25f5 0000275d: JUMP 0000275e: JUMPDEST 0000275f: SWAP3 00002760: POP 00002761: POP 00002762: PUSH1 0x20 00002764: PUSH2 0x276f 00002767: DUP6 00002768: DUP3 00002769: DUP7 0000276a: ADD 0000276b: PUSH2 0x2724 0000276e: JUMP 0000276f: JUMPDEST 00002770: SWAP2 00002771: POP 00002772: POP 00002773: SWAP3 00002774: POP 00002775: SWAP3 00002776: SWAP1 00002777: POP 00002778: JUMP 00002779: JUMPDEST 0000277a: PUSH1 0x00 0000277c: DUP1 0000277d: PUSH1 0x00 0000277f: PUSH1 0x60 00002781: DUP5 00002782: DUP7 00002783: SUB 00002784: SLT 00002785: ISZERO 00002786: PUSH2 0x2792 00002789: JUMPI 0000278a: PUSH2 0x2791 0000278d: PUSH2 0x25a7 00002790: JUMP 00002791: JUMPDEST 00002792: JUMPDEST 00002793: PUSH1 0x00 00002795: PUSH2 0x27a0 00002798: DUP7 00002799: DUP3 0000279a: DUP8 0000279b: ADD 0000279c: PUSH2 0x25f5 0000279f: JUMP 000027a0: JUMPDEST 000027a1: SWAP4 000027a2: POP 000027a3: POP 000027a4: PUSH1 0x20 000027a6: PUSH2 0x27b1 000027a9: DUP7 000027aa: DUP3 000027ab: DUP8 000027ac: ADD 000027ad: PUSH2 0x25f5 000027b0: JUMP 000027b1: JUMPDEST 000027b2: SWAP3 000027b3: POP 000027b4: POP 000027b5: PUSH1 0x40 000027b7: PUSH2 0x27c2 000027ba: DUP7 000027bb: DUP3 000027bc: DUP8 000027bd: ADD 000027be: PUSH2 0x262b 000027c1: JUMP 000027c2: JUMPDEST 000027c3: SWAP2 000027c4: POP 000027c5: POP 000027c6: SWAP3 000027c7: POP 000027c8: SWAP3 000027c9: POP 000027ca: SWAP3 000027cb: JUMP 000027cc: JUMPDEST 000027cd: PUSH1 0x00 000027cf: PUSH1 0xff 000027d1: DUP3 000027d2: AND 000027d3: SWAP1 000027d4: POP 000027d5: SWAP2 000027d6: SWAP1 000027d7: POP 000027d8: JUMP 000027d9: JUMPDEST 000027da: PUSH2 0x27e2 000027dd: DUP2 000027de: PUSH2 0x27cc 000027e1: JUMP 000027e2: JUMPDEST 000027e3: DUP3 000027e4: MSTORE 000027e5: POP 000027e6: POP 000027e7: JUMP 000027e8: JUMPDEST 000027e9: PUSH1 0x00 000027eb: PUSH1 0x20 000027ed: DUP3 000027ee: ADD 000027ef: SWAP1 000027f0: POP 000027f1: PUSH2 0x27fd 000027f4: PUSH1 0x00 000027f6: DUP4 000027f7: ADD 000027f8: DUP5 000027f9: PUSH2 0x27d9 000027fc: JUMP 000027fd: JUMPDEST 000027fe: SWAP3 000027ff: SWAP2 00002800: POP 00002801: POP 00002802: JUMP 00002803: JUMPDEST 00002804: PUSH1 0x00 00002806: PUSH1 0x20 00002808: DUP3 00002809: DUP5 0000280a: SUB 0000280b: SLT 0000280c: ISZERO 0000280d: PUSH2 0x2819 00002810: JUMPI 00002811: PUSH2 0x2818 00002814: PUSH2 0x25a7 00002817: JUMP 00002818: JUMPDEST 00002819: JUMPDEST 0000281a: PUSH1 0x00 0000281c: PUSH2 0x2827 0000281f: DUP5 00002820: DUP3 00002821: DUP6 00002822: ADD 00002823: PUSH2 0x25f5 00002826: JUMP 00002827: JUMPDEST 00002828: SWAP2 00002829: POP 0000282a: POP 0000282b: SWAP3 0000282c: SWAP2 0000282d: POP 0000282e: POP 0000282f: JUMP 00002830: JUMPDEST 00002831: PUSH2 0x2839 00002834: DUP2 00002835: PUSH2 0x25cc 00002838: JUMP 00002839: JUMPDEST 0000283a: DUP3 0000283b: MSTORE 0000283c: POP 0000283d: POP 0000283e: JUMP 0000283f: JUMPDEST 00002840: PUSH1 0x00 00002842: PUSH1 0x20 00002844: DUP3 00002845: ADD 00002846: SWAP1 00002847: POP 00002848: PUSH2 0x2854 0000284b: PUSH1 0x00 0000284d: DUP4 0000284e: ADD 0000284f: DUP5 00002850: PUSH2 0x2830 00002853: JUMP 00002854: JUMPDEST 00002855: SWAP3 00002856: SWAP2 00002857: POP 00002858: POP 00002859: JUMP 0000285a: JUMPDEST 0000285b: PUSH1 0x00 0000285d: PUSH1 0x60 0000285f: DUP3 00002860: ADD 00002861: SWAP1 00002862: POP 00002863: PUSH2 0x286f 00002866: PUSH1 0x00 00002868: DUP4 00002869: ADD 0000286a: DUP7 0000286b: PUSH2 0x26e3 0000286e: JUMP 0000286f: JUMPDEST 00002870: PUSH2 0x287c 00002873: PUSH1 0x20 00002875: DUP4 00002876: ADD 00002877: DUP6 00002878: PUSH2 0x26e3 0000287b: JUMP 0000287c: JUMPDEST 0000287d: PUSH2 0x2889 00002880: PUSH1 0x40 00002882: DUP4 00002883: ADD 00002884: DUP5 00002885: PUSH2 0x2830 00002888: JUMP 00002889: JUMPDEST 0000288a: SWAP5 0000288b: SWAP4 0000288c: POP 0000288d: POP 0000288e: POP 0000288f: POP 00002890: JUMP 00002891: JUMPDEST 00002892: PUSH1 0x00 00002894: PUSH1 0x60 00002896: DUP3 00002897: ADD 00002898: SWAP1 00002899: POP 0000289a: PUSH2 0x28a6 0000289d: PUSH1 0x00 0000289f: DUP4 000028a0: ADD 000028a1: DUP7 000028a2: PUSH2 0x268c 000028a5: JUMP 000028a6: JUMPDEST 000028a7: PUSH2 0x28b3 000028aa: PUSH1 0x20 000028ac: DUP4 000028ad: ADD 000028ae: DUP6 000028af: PUSH2 0x26e3 000028b2: JUMP 000028b3: JUMPDEST 000028b4: PUSH2 0x28c0 000028b7: PUSH1 0x40 000028b9: DUP4 000028ba: ADD 000028bb: DUP5 000028bc: PUSH2 0x26e3 000028bf: JUMP 000028c0: JUMPDEST 000028c1: SWAP5 000028c2: SWAP4 000028c3: POP 000028c4: POP 000028c5: POP 000028c6: POP 000028c7: JUMP 000028c8: JUMPDEST 000028c9: PUSH1 0x00 000028cb: DUP1 000028cc: PUSH1 0x00 000028ce: PUSH1 0x60 000028d0: DUP5 000028d1: DUP7 000028d2: SUB 000028d3: SLT 000028d4: ISZERO 000028d5: PUSH2 0x28e1 000028d8: JUMPI 000028d9: PUSH2 0x28e0 000028dc: PUSH2 0x25a7 000028df: JUMP 000028e0: JUMPDEST 000028e1: JUMPDEST 000028e2: PUSH1 0x00 000028e4: PUSH2 0x28ef 000028e7: DUP7 000028e8: DUP3 000028e9: DUP8 000028ea: ADD 000028eb: PUSH2 0x2724 000028ee: JUMP 000028ef: JUMPDEST 000028f0: SWAP4 000028f1: POP 000028f2: POP 000028f3: PUSH1 0x20 000028f5: PUSH2 0x2900 000028f8: DUP7 000028f9: DUP3 000028fa: DUP8 000028fb: ADD 000028fc: PUSH2 0x262b 000028ff: JUMP 00002900: JUMPDEST 00002901: SWAP3 00002902: POP 00002903: POP 00002904: PUSH1 0x40 00002906: PUSH2 0x2911 00002909: DUP7 0000290a: DUP3 0000290b: DUP8 0000290c: ADD 0000290d: PUSH2 0x262b 00002910: JUMP 00002911: JUMPDEST 00002912: SWAP2 00002913: POP 00002914: POP 00002915: SWAP3 00002916: POP 00002917: SWAP3 00002918: POP 00002919: SWAP3 0000291a: JUMP 0000291b: JUMPDEST 0000291c: PUSH1 0x00 0000291e: DUP1 0000291f: PUSH1 0x40 00002921: DUP4 00002922: DUP6 00002923: SUB 00002924: SLT 00002925: ISZERO 00002926: PUSH2 0x2932 00002929: JUMPI 0000292a: PUSH2 0x2931 0000292d: PUSH2 0x25a7 00002930: JUMP 00002931: JUMPDEST 00002932: JUMPDEST 00002933: PUSH1 0x00 00002935: PUSH2 0x2940 00002938: DUP6 00002939: DUP3 0000293a: DUP7 0000293b: ADD 0000293c: PUSH2 0x25f5 0000293f: JUMP 00002940: JUMPDEST 00002941: SWAP3 00002942: POP 00002943: POP 00002944: PUSH1 0x20 00002946: PUSH2 0x2951 00002949: DUP6 0000294a: DUP3 0000294b: DUP7 0000294c: ADD 0000294d: PUSH2 0x25f5 00002950: JUMP 00002951: JUMPDEST 00002952: SWAP2 00002953: POP 00002954: POP 00002955: SWAP3 00002956: POP 00002957: SWAP3 00002958: SWAP1 00002959: POP 0000295a: JUMP 0000295b: JUMPDEST 0000295c: PUSH1 0x00 0000295e: PUSH1 0x40 00002960: DUP3 00002961: ADD 00002962: SWAP1 00002963: POP 00002964: PUSH2 0x2970 00002967: PUSH1 0x00 00002969: DUP4 0000296a: ADD 0000296b: DUP6 0000296c: PUSH2 0x268c 0000296f: JUMP 00002970: JUMPDEST 00002971: PUSH2 0x297d 00002974: PUSH1 0x20 00002976: DUP4 00002977: ADD 00002978: DUP5 00002979: PUSH2 0x268c 0000297c: JUMP 0000297d: JUMPDEST 0000297e: SWAP4 0000297f: SWAP3 00002980: POP 00002981: POP 00002982: POP 00002983: JUMP 00002984: JUMPDEST 00002985: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000029a6: PUSH1 0x00 000029a8: MSTORE 000029a9: PUSH1 0x22 000029ab: PUSH1 0x04 000029ad: MSTORE 000029ae: PUSH1 0x24 000029b0: PUSH1 0x00 000029b2: REVERT 000029b3: JUMPDEST 000029b4: PUSH1 0x00 000029b6: PUSH1 0x02 000029b8: DUP3 000029b9: DIV 000029ba: SWAP1 000029bb: POP 000029bc: PUSH1 0x01 000029be: DUP3 000029bf: AND 000029c0: DUP1 000029c1: PUSH2 0x29cb 000029c4: JUMPI 000029c5: PUSH1 0x7f 000029c7: DUP3 000029c8: AND 000029c9: SWAP2 000029ca: POP 000029cb: JUMPDEST 000029cc: PUSH1 0x20 000029ce: DUP3 000029cf: LT 000029d0: DUP2 000029d1: SUB 000029d2: PUSH2 0x29de 000029d5: JUMPI 000029d6: PUSH2 0x29dd 000029d9: PUSH2 0x2984 000029dc: JUMP 000029dd: JUMPDEST 000029de: JUMPDEST 000029df: POP 000029e0: SWAP2 000029e1: SWAP1 000029e2: POP 000029e3: JUMP 000029e4: JUMPDEST 000029e5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00002a06: PUSH1 0x00 00002a08: DUP3 00002a09: ADD 00002a0a: MSTORE 00002a0b: POP 00002a0c: JUMP 00002a0d: JUMPDEST 00002a0e: PUSH1 0x00 00002a10: PUSH2 0x2a1a 00002a13: PUSH1 0x20 00002a15: DUP4 00002a16: PUSH2 0x2500 00002a19: JUMP 00002a1a: JUMPDEST 00002a1b: SWAP2 00002a1c: POP 00002a1d: PUSH2 0x2a25 00002a20: DUP3 00002a21: PUSH2 0x29e4 00002a24: JUMP 00002a25: JUMPDEST 00002a26: PUSH1 0x20 00002a28: DUP3 00002a29: ADD 00002a2a: SWAP1 00002a2b: POP 00002a2c: SWAP2 00002a2d: SWAP1 00002a2e: POP 00002a2f: JUMP 00002a30: JUMPDEST 00002a31: PUSH1 0x00 00002a33: PUSH1 0x20 00002a35: DUP3 00002a36: ADD 00002a37: SWAP1 00002a38: POP 00002a39: DUP2 00002a3a: DUP2 00002a3b: SUB 00002a3c: PUSH1 0x00 00002a3e: DUP4 00002a3f: ADD 00002a40: MSTORE 00002a41: PUSH2 0x2a49 00002a44: DUP2 00002a45: PUSH2 0x2a0d 00002a48: JUMP 00002a49: JUMPDEST 00002a4a: SWAP1 00002a4b: POP 00002a4c: SWAP2 00002a4d: SWAP1 00002a4e: POP 00002a4f: JUMP 00002a50: JUMPDEST 00002a51: PUSH32 0x4e6577206665652068617320746f206265206c6f776572207468616e20746865 00002a72: PUSH1 0x00 00002a74: DUP3 00002a75: ADD 00002a76: MSTORE 00002a77: PUSH32 0x2063757272656e74206665650000000000000000000000000000000000000000 00002a98: PUSH1 0x20 00002a9a: DUP3 00002a9b: ADD 00002a9c: MSTORE 00002a9d: POP 00002a9e: JUMP 00002a9f: JUMPDEST 00002aa0: PUSH1 0x00 00002aa2: PUSH2 0x2aac 00002aa5: PUSH1 0x2c 00002aa7: DUP4 00002aa8: PUSH2 0x2500 00002aab: JUMP 00002aac: JUMPDEST 00002aad: SWAP2 00002aae: POP 00002aaf: PUSH2 0x2ab7 00002ab2: DUP3 00002ab3: PUSH2 0x2a50 00002ab6: JUMP 00002ab7: JUMPDEST 00002ab8: PUSH1 0x40 00002aba: DUP3 00002abb: ADD 00002abc: SWAP1 00002abd: POP 00002abe: SWAP2 00002abf: SWAP1 00002ac0: POP 00002ac1: JUMP 00002ac2: JUMPDEST 00002ac3: PUSH1 0x00 00002ac5: PUSH1 0x20 00002ac7: DUP3 00002ac8: ADD 00002ac9: SWAP1 00002aca: POP 00002acb: DUP2 00002acc: DUP2 00002acd: SUB 00002ace: PUSH1 0x00 00002ad0: DUP4 00002ad1: ADD 00002ad2: MSTORE 00002ad3: PUSH2 0x2adb 00002ad6: DUP2 00002ad7: PUSH2 0x2a9f 00002ada: JUMP 00002adb: JUMPDEST 00002adc: SWAP1 00002add: POP 00002ade: SWAP2 00002adf: SWAP1 00002ae0: POP 00002ae1: JUMP 00002ae2: JUMPDEST 00002ae3: PUSH1 0x00 00002ae5: PUSH1 0x40 00002ae7: DUP3 00002ae8: ADD 00002ae9: SWAP1 00002aea: POP 00002aeb: PUSH2 0x2af7 00002aee: PUSH1 0x00 00002af0: DUP4 00002af1: ADD 00002af2: DUP6 00002af3: PUSH2 0x26e3 00002af6: JUMP 00002af7: JUMPDEST 00002af8: PUSH2 0x2b04 00002afb: PUSH1 0x20 00002afd: DUP4 00002afe: ADD 00002aff: DUP5 00002b00: PUSH2 0x26e3 00002b03: JUMP 00002b04: JUMPDEST 00002b05: SWAP4 00002b06: SWAP3 00002b07: POP 00002b08: POP 00002b09: POP 00002b0a: JUMP 00002b0b: JUMPDEST 00002b0c: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061 00002b2d: PUSH1 0x00 00002b2f: DUP3 00002b30: ADD 00002b31: MSTORE 00002b32: PUSH32 0x6c6c6f77616e6365000000000000000000000000000000000000000000000000 00002b53: PUSH1 0x20 00002b55: DUP3 00002b56: ADD 00002b57: MSTORE 00002b58: POP 00002b59: JUMP 00002b5a: JUMPDEST 00002b5b: PUSH1 0x00 00002b5d: PUSH2 0x2b67 00002b60: PUSH1 0x28 00002b62: DUP4 00002b63: PUSH2 0x2500 00002b66: JUMP 00002b67: JUMPDEST 00002b68: SWAP2 00002b69: POP 00002b6a: PUSH2 0x2b72 00002b6d: DUP3 00002b6e: PUSH2 0x2b0b 00002b71: JUMP 00002b72: JUMPDEST 00002b73: PUSH1 0x40 00002b75: DUP3 00002b76: ADD 00002b77: SWAP1 00002b78: POP 00002b79: SWAP2 00002b7a: SWAP1 00002b7b: POP 00002b7c: JUMP 00002b7d: JUMPDEST 00002b7e: PUSH1 0x00 00002b80: PUSH1 0x20 00002b82: DUP3 00002b83: ADD 00002b84: SWAP1 00002b85: POP 00002b86: DUP2 00002b87: DUP2 00002b88: SUB 00002b89: PUSH1 0x00 00002b8b: DUP4 00002b8c: ADD 00002b8d: MSTORE 00002b8e: PUSH2 0x2b96 00002b91: DUP2 00002b92: PUSH2 0x2b5a 00002b95: JUMP 00002b96: JUMPDEST 00002b97: SWAP1 00002b98: POP 00002b99: SWAP2 00002b9a: SWAP1 00002b9b: POP 00002b9c: JUMP 00002b9d: JUMPDEST 00002b9e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002bbf: PUSH1 0x00 00002bc1: MSTORE 00002bc2: PUSH1 0x11 00002bc4: PUSH1 0x04 00002bc6: MSTORE 00002bc7: PUSH1 0x24 00002bc9: PUSH1 0x00 00002bcb: REVERT 00002bcc: JUMPDEST 00002bcd: PUSH1 0x00 00002bcf: PUSH2 0x2bd7 00002bd2: DUP3 00002bd3: PUSH2 0x260a 00002bd6: JUMP 00002bd7: JUMPDEST 00002bd8: SWAP2 00002bd9: POP 00002bda: PUSH2 0x2be2 00002bdd: DUP4 00002bde: PUSH2 0x260a 00002be1: JUMP 00002be2: JUMPDEST 00002be3: SWAP3 00002be4: POP 00002be5: DUP3 00002be6: DUP3 00002be7: ADD 00002be8: SWAP1 00002be9: POP 00002bea: DUP1 00002beb: DUP3 00002bec: GT 00002bed: ISZERO 00002bee: PUSH2 0x2bfa 00002bf1: JUMPI 00002bf2: PUSH2 0x2bf9 00002bf5: PUSH2 0x2b9d 00002bf8: JUMP 00002bf9: JUMPDEST 00002bfa: JUMPDEST 00002bfb: SWAP3 00002bfc: SWAP2 00002bfd: POP 00002bfe: POP 00002bff: JUMP 00002c00: JUMPDEST 00002c01: PUSH32 0x54686520706169722063616e6e6f742062652072656d6f7665642066726f6d20 00002c22: PUSH1 0x00 00002c24: DUP3 00002c25: ADD 00002c26: MSTORE 00002c27: PUSH32 0x6175746f6d617465644d61726b65744d616b6572506169727300000000000000 00002c48: PUSH1 0x20 00002c4a: DUP3 00002c4b: ADD 00002c4c: MSTORE 00002c4d: POP 00002c4e: JUMP 00002c4f: JUMPDEST 00002c50: PUSH1 0x00 00002c52: PUSH2 0x2c5c 00002c55: PUSH1 0x39 00002c57: DUP4 00002c58: PUSH2 0x2500 00002c5b: JUMP 00002c5c: JUMPDEST 00002c5d: SWAP2 00002c5e: POP 00002c5f: PUSH2 0x2c67 00002c62: DUP3 00002c63: PUSH2 0x2c00 00002c66: JUMP 00002c67: JUMPDEST 00002c68: PUSH1 0x40 00002c6a: DUP3 00002c6b: ADD 00002c6c: SWAP1 00002c6d: POP 00002c6e: SWAP2 00002c6f: SWAP1 00002c70: POP 00002c71: JUMP 00002c72: JUMPDEST 00002c73: PUSH1 0x00 00002c75: PUSH1 0x20 00002c77: DUP3 00002c78: ADD 00002c79: SWAP1 00002c7a: POP 00002c7b: DUP2 00002c7c: DUP2 00002c7d: SUB 00002c7e: PUSH1 0x00 00002c80: DUP4 00002c81: ADD 00002c82: MSTORE 00002c83: PUSH2 0x2c8b 00002c86: DUP2 00002c87: PUSH2 0x2c4f 00002c8a: JUMP 00002c8b: JUMPDEST 00002c8c: SWAP1 00002c8d: POP 00002c8e: SWAP2 00002c8f: SWAP1 00002c90: POP 00002c91: JUMP 00002c92: JUMPDEST 00002c93: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77 00002cb4: PUSH1 0x00 00002cb6: DUP3 00002cb7: ADD 00002cb8: MSTORE 00002cb9: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000 00002cda: PUSH1 0x20 00002cdc: DUP3 00002cdd: ADD 00002cde: MSTORE 00002cdf: POP 00002ce0: JUMP 00002ce1: JUMPDEST 00002ce2: PUSH1 0x00 00002ce4: PUSH2 0x2cee 00002ce7: PUSH1 0x25 00002ce9: DUP4 00002cea: PUSH2 0x2500 00002ced: JUMP 00002cee: JUMPDEST 00002cef: SWAP2 00002cf0: POP 00002cf1: PUSH2 0x2cf9 00002cf4: DUP3 00002cf5: PUSH2 0x2c92 00002cf8: JUMP 00002cf9: JUMPDEST 00002cfa: PUSH1 0x40 00002cfc: DUP3 00002cfd: ADD 00002cfe: SWAP1 00002cff: POP 00002d00: SWAP2 00002d01: SWAP1 00002d02: POP 00002d03: JUMP 00002d04: JUMPDEST 00002d05: PUSH1 0x00 00002d07: PUSH1 0x20 00002d09: DUP3 00002d0a: ADD 00002d0b: SWAP1 00002d0c: POP 00002d0d: DUP2 00002d0e: DUP2 00002d0f: SUB 00002d10: PUSH1 0x00 00002d12: DUP4 00002d13: ADD 00002d14: MSTORE 00002d15: PUSH2 0x2d1d 00002d18: DUP2 00002d19: PUSH2 0x2ce1 00002d1c: JUMP 00002d1d: JUMPDEST 00002d1e: SWAP1 00002d1f: POP 00002d20: SWAP2 00002d21: SWAP1 00002d22: POP 00002d23: JUMP 00002d24: JUMPDEST 00002d25: PUSH32 0x5377617020616d6f756e742063616e6e6f74206265206c6f776572207468616e 00002d46: PUSH1 0x00 00002d48: DUP3 00002d49: ADD 00002d4a: MSTORE 00002d4b: PUSH32 0x20302e3030312520746f74616c20737570706c792e0000000000000000000000 00002d6c: PUSH1 0x20 00002d6e: DUP3 00002d6f: ADD 00002d70: MSTORE 00002d71: POP 00002d72: JUMP 00002d73: JUMPDEST 00002d74: PUSH1 0x00 00002d76: PUSH2 0x2d80 00002d79: PUSH1 0x35 00002d7b: DUP4 00002d7c: PUSH2 0x2500 00002d7f: JUMP 00002d80: JUMPDEST 00002d81: SWAP2 00002d82: POP 00002d83: PUSH2 0x2d8b 00002d86: DUP3 00002d87: PUSH2 0x2d24 00002d8a: JUMP 00002d8b: JUMPDEST 00002d8c: PUSH1 0x40 00002d8e: DUP3 00002d8f: ADD 00002d90: SWAP1 00002d91: POP 00002d92: SWAP2 00002d93: SWAP1 00002d94: POP 00002d95: JUMP 00002d96: JUMPDEST 00002d97: PUSH1 0x00 00002d99: PUSH1 0x20 00002d9b: DUP3 00002d9c: ADD 00002d9d: SWAP1 00002d9e: POP 00002d9f: DUP2 00002da0: DUP2 00002da1: SUB 00002da2: PUSH1 0x00 00002da4: DUP4 00002da5: ADD 00002da6: MSTORE 00002da7: PUSH2 0x2daf 00002daa: DUP2 00002dab: PUSH2 0x2d73 00002dae: JUMP 00002daf: JUMPDEST 00002db0: SWAP1 00002db1: POP 00002db2: SWAP2 00002db3: SWAP1 00002db4: POP 00002db5: JUMP 00002db6: JUMPDEST 00002db7: PUSH32 0x6d6178696d756d20616d6f756e742063616e7420626520686967686572207468 00002dd8: PUSH1 0x00 00002dda: DUP3 00002ddb: ADD 00002ddc: MSTORE 00002ddd: PUSH32 0x616e206d696e696d756d00000000000000000000000000000000000000000000 00002dfe: PUSH1 0x20 00002e00: DUP3 00002e01: ADD 00002e02: MSTORE 00002e03: POP 00002e04: JUMP 00002e05: JUMPDEST 00002e06: PUSH1 0x00 00002e08: PUSH2 0x2e12 00002e0b: PUSH1 0x2a 00002e0d: DUP4 00002e0e: PUSH2 0x2500 00002e11: JUMP 00002e12: JUMPDEST 00002e13: SWAP2 00002e14: POP 00002e15: PUSH2 0x2e1d 00002e18: DUP3 00002e19: PUSH2 0x2db6 00002e1c: JUMP 00002e1d: JUMPDEST 00002e1e: PUSH1 0x40 00002e20: DUP3 00002e21: ADD 00002e22: SWAP1 00002e23: POP 00002e24: SWAP2 00002e25: SWAP1 00002e26: POP 00002e27: JUMP 00002e28: JUMPDEST 00002e29: PUSH1 0x00 00002e2b: PUSH1 0x20 00002e2d: DUP3 00002e2e: ADD 00002e2f: SWAP1 00002e30: POP 00002e31: DUP2 00002e32: DUP2 00002e33: SUB 00002e34: PUSH1 0x00 00002e36: DUP4 00002e37: ADD 00002e38: MSTORE 00002e39: PUSH2 0x2e41 00002e3c: DUP2 00002e3d: PUSH2 0x2e05 00002e40: JUMP 00002e41: JUMPDEST 00002e42: SWAP1 00002e43: POP 00002e44: SWAP2 00002e45: SWAP1 00002e46: POP 00002e47: JUMP 00002e48: JUMPDEST 00002e49: PUSH1 0x00 00002e4b: PUSH2 0x2e53 00002e4e: DUP3 00002e4f: PUSH2 0x260a 00002e52: JUMP 00002e53: JUMPDEST 00002e54: SWAP2 00002e55: POP 00002e56: PUSH2 0x2e5e 00002e59: DUP4 00002e5a: PUSH2 0x260a 00002e5d: JUMP 00002e5e: JUMPDEST 00002e5f: SWAP3 00002e60: POP 00002e61: DUP3 00002e62: DUP3 00002e63: MUL 00002e64: PUSH2 0x2e6c 00002e67: DUP2 00002e68: PUSH2 0x260a 00002e6b: JUMP 00002e6c: JUMPDEST 00002e6d: SWAP2 00002e6e: POP 00002e6f: DUP3 00002e70: DUP3 00002e71: DIV 00002e72: DUP5 00002e73: EQ 00002e74: DUP4 00002e75: ISZERO 00002e76: OR 00002e77: PUSH2 0x2e83 00002e7a: JUMPI 00002e7b: PUSH2 0x2e82 00002e7e: PUSH2 0x2b9d 00002e81: JUMP 00002e82: JUMPDEST 00002e83: JUMPDEST 00002e84: POP 00002e85: SWAP3 00002e86: SWAP2 00002e87: POP 00002e88: POP 00002e89: JUMP 00002e8a: JUMPDEST 00002e8b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002eac: PUSH1 0x00 00002eae: MSTORE 00002eaf: PUSH1 0x12 00002eb1: PUSH1 0x04 00002eb3: MSTORE 00002eb4: PUSH1 0x24 00002eb6: PUSH1 0x00 00002eb8: REVERT 00002eb9: JUMPDEST 00002eba: PUSH1 0x00 00002ebc: PUSH2 0x2ec4 00002ebf: DUP3 00002ec0: PUSH2 0x260a 00002ec3: JUMP 00002ec4: JUMPDEST 00002ec5: SWAP2 00002ec6: POP 00002ec7: PUSH2 0x2ecf 00002eca: DUP4 00002ecb: PUSH2 0x260a 00002ece: JUMP 00002ecf: JUMPDEST 00002ed0: SWAP3 00002ed1: POP 00002ed2: DUP3 00002ed3: PUSH2 0x2edf 00002ed6: JUMPI 00002ed7: PUSH2 0x2ede 00002eda: PUSH2 0x2e8a 00002edd: JUMP 00002ede: JUMPDEST 00002edf: JUMPDEST 00002ee0: DUP3 00002ee1: DUP3 00002ee2: DIV 00002ee3: SWAP1 00002ee4: POP 00002ee5: SWAP3 00002ee6: SWAP2 00002ee7: POP 00002ee8: POP 00002ee9: JUMP 00002eea: JUMPDEST 00002eeb: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00002f0c: PUSH1 0x00 00002f0e: DUP3 00002f0f: ADD 00002f10: MSTORE 00002f11: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00002f32: PUSH1 0x20 00002f34: DUP3 00002f35: ADD 00002f36: MSTORE 00002f37: POP 00002f38: JUMP 00002f39: JUMPDEST 00002f3a: PUSH1 0x00 00002f3c: PUSH2 0x2f46 00002f3f: PUSH1 0x26 00002f41: DUP4 00002f42: PUSH2 0x2500 00002f45: JUMP 00002f46: JUMPDEST 00002f47: SWAP2 00002f48: POP 00002f49: PUSH2 0x2f51 00002f4c: DUP3 00002f4d: PUSH2 0x2eea 00002f50: JUMP 00002f51: JUMPDEST 00002f52: PUSH1 0x40 00002f54: DUP3 00002f55: ADD 00002f56: SWAP1 00002f57: POP 00002f58: SWAP2 00002f59: SWAP1 00002f5a: POP 00002f5b: JUMP 00002f5c: JUMPDEST 00002f5d: PUSH1 0x00 00002f5f: PUSH1 0x20 00002f61: DUP3 00002f62: ADD 00002f63: SWAP1 00002f64: POP 00002f65: DUP2 00002f66: DUP2 00002f67: SUB 00002f68: PUSH1 0x00 00002f6a: DUP4 00002f6b: ADD 00002f6c: MSTORE 00002f6d: PUSH2 0x2f75 00002f70: DUP2 00002f71: PUSH2 0x2f39 00002f74: JUMP 00002f75: JUMPDEST 00002f76: SWAP1 00002f77: POP 00002f78: SWAP2 00002f79: SWAP1 00002f7a: POP 00002f7b: JUMP 00002f7c: JUMPDEST 00002f7d: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00002f9e: PUSH1 0x00 00002fa0: DUP3 00002fa1: ADD 00002fa2: MSTORE 00002fa3: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000 00002fc4: PUSH1 0x20 00002fc6: DUP3 00002fc7: ADD 00002fc8: MSTORE 00002fc9: POP 00002fca: JUMP 00002fcb: JUMPDEST 00002fcc: PUSH1 0x00 00002fce: PUSH2 0x2fd8 00002fd1: PUSH1 0x24 00002fd3: DUP4 00002fd4: PUSH2 0x2500 00002fd7: JUMP 00002fd8: JUMPDEST 00002fd9: SWAP2 00002fda: POP 00002fdb: PUSH2 0x2fe3 00002fde: DUP3 00002fdf: PUSH2 0x2f7c 00002fe2: JUMP 00002fe3: JUMPDEST 00002fe4: PUSH1 0x40 00002fe6: DUP3 00002fe7: ADD 00002fe8: SWAP1 00002fe9: POP 00002fea: SWAP2 00002feb: SWAP1 00002fec: POP 00002fed: JUMP 00002fee: JUMPDEST 00002fef: PUSH1 0x00 00002ff1: PUSH1 0x20 00002ff3: DUP3 00002ff4: ADD 00002ff5: SWAP1 00002ff6: POP 00002ff7: DUP2 00002ff8: DUP2 00002ff9: SUB 00002ffa: PUSH1 0x00 00002ffc: DUP4 00002ffd: ADD 00002ffe: MSTORE 00002fff: PUSH2 0x3007 00003002: DUP2 00003003: PUSH2 0x2fcb 00003006: JUMP 00003007: JUMPDEST 00003008: SWAP1 00003009: POP 0000300a: SWAP2 0000300b: SWAP1 0000300c: POP 0000300d: JUMP 0000300e: JUMPDEST 0000300f: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00003030: PUSH1 0x00 00003032: DUP3 00003033: ADD 00003034: MSTORE 00003035: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000 00003056: PUSH1 0x20 00003058: DUP3 00003059: ADD 0000305a: MSTORE 0000305b: POP 0000305c: JUMP 0000305d: JUMPDEST 0000305e: PUSH1 0x00 00003060: PUSH2 0x306a 00003063: PUSH1 0x22 00003065: DUP4 00003066: PUSH2 0x2500 00003069: JUMP 0000306a: JUMPDEST 0000306b: SWAP2 0000306c: POP 0000306d: PUSH2 0x3075 00003070: DUP3 00003071: PUSH2 0x300e 00003074: JUMP 00003075: JUMPDEST 00003076: PUSH1 0x40 00003078: DUP3 00003079: ADD 0000307a: SWAP1 0000307b: POP 0000307c: SWAP2 0000307d: SWAP1 0000307e: POP 0000307f: JUMP 00003080: JUMPDEST 00003081: PUSH1 0x00 00003083: PUSH1 0x20 00003085: DUP3 00003086: ADD 00003087: SWAP1 00003088: POP 00003089: DUP2 0000308a: DUP2 0000308b: SUB 0000308c: PUSH1 0x00 0000308e: DUP4 0000308f: ADD 00003090: MSTORE 00003091: PUSH2 0x3099 00003094: DUP2 00003095: PUSH2 0x305d 00003098: JUMP 00003099: JUMPDEST 0000309a: SWAP1 0000309b: POP 0000309c: SWAP2 0000309d: SWAP1 0000309e: POP 0000309f: JUMP 000030a0: JUMPDEST 000030a1: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 000030c2: PUSH1 0x00 000030c4: DUP3 000030c5: ADD 000030c6: MSTORE 000030c7: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000 000030e8: PUSH1 0x20 000030ea: DUP3 000030eb: ADD 000030ec: MSTORE 000030ed: POP 000030ee: JUMP 000030ef: JUMPDEST 000030f0: PUSH1 0x00 000030f2: PUSH2 0x30fc 000030f5: PUSH1 0x25 000030f7: DUP4 000030f8: PUSH2 0x2500 000030fb: JUMP 000030fc: JUMPDEST 000030fd: SWAP2 000030fe: POP 000030ff: PUSH2 0x3107 00003102: DUP3 00003103: PUSH2 0x30a0 00003106: JUMP 00003107: JUMPDEST 00003108: PUSH1 0x40 0000310a: DUP3 0000310b: ADD 0000310c: SWAP1 0000310d: POP 0000310e: SWAP2 0000310f: SWAP1 00003110: POP 00003111: JUMP 00003112: JUMPDEST 00003113: PUSH1 0x00 00003115: PUSH1 0x20 00003117: DUP3 00003118: ADD 00003119: SWAP1 0000311a: POP 0000311b: DUP2 0000311c: DUP2 0000311d: SUB 0000311e: PUSH1 0x00 00003120: DUP4 00003121: ADD 00003122: MSTORE 00003123: PUSH2 0x312b 00003126: DUP2 00003127: PUSH2 0x30ef 0000312a: JUMP 0000312b: JUMPDEST 0000312c: SWAP1 0000312d: POP 0000312e: SWAP2 0000312f: SWAP1 00003130: POP 00003131: JUMP 00003132: JUMPDEST 00003133: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00003154: PUSH1 0x00 00003156: DUP3 00003157: ADD 00003158: MSTORE 00003159: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000 0000317a: PUSH1 0x20 0000317c: DUP3 0000317d: ADD 0000317e: MSTORE 0000317f: POP 00003180: JUMP 00003181: JUMPDEST 00003182: PUSH1 0x00 00003184: PUSH2 0x318e 00003187: PUSH1 0x23 00003189: DUP4 0000318a: PUSH2 0x2500 0000318d: JUMP 0000318e: JUMPDEST 0000318f: SWAP2 00003190: POP 00003191: PUSH2 0x3199 00003194: DUP3 00003195: PUSH2 0x3132 00003198: JUMP 00003199: JUMPDEST 0000319a: PUSH1 0x40 0000319c: DUP3 0000319d: ADD 0000319e: SWAP1 0000319f: POP 000031a0: SWAP2 000031a1: SWAP1 000031a2: POP 000031a3: JUMP 000031a4: JUMPDEST 000031a5: PUSH1 0x00 000031a7: PUSH1 0x20 000031a9: DUP3 000031aa: ADD 000031ab: SWAP1 000031ac: POP 000031ad: DUP2 000031ae: DUP2 000031af: SUB 000031b0: PUSH1 0x00 000031b2: DUP4 000031b3: ADD 000031b4: MSTORE 000031b5: PUSH2 0x31bd 000031b8: DUP2 000031b9: PUSH2 0x3181 000031bc: JUMP 000031bd: JUMPDEST 000031be: SWAP1 000031bf: POP 000031c0: SWAP2 000031c1: SWAP1 000031c2: POP 000031c3: JUMP 000031c4: JUMPDEST 000031c5: PUSH32 0x5f7472616e736665723a3a2054726164696e67206973206e6f74206163746976 000031e6: PUSH1 0x00 000031e8: DUP3 000031e9: ADD 000031ea: MSTORE 000031eb: PUSH32 0x652e000000000000000000000000000000000000000000000000000000000000 0000320c: PUSH1 0x20 0000320e: DUP3 0000320f: ADD 00003210: MSTORE 00003211: POP 00003212: JUMP 00003213: JUMPDEST 00003214: PUSH1 0x00 00003216: PUSH2 0x3220 00003219: PUSH1 0x22 0000321b: DUP4 0000321c: PUSH2 0x2500 0000321f: JUMP 00003220: JUMPDEST 00003221: SWAP2 00003222: POP 00003223: PUSH2 0x322b 00003226: DUP3 00003227: PUSH2 0x31c4 0000322a: JUMP 0000322b: JUMPDEST 0000322c: PUSH1 0x40 0000322e: DUP3 0000322f: ADD 00003230: SWAP1 00003231: POP 00003232: SWAP2 00003233: SWAP1 00003234: POP 00003235: JUMP 00003236: JUMPDEST 00003237: PUSH1 0x00 00003239: PUSH1 0x20 0000323b: DUP3 0000323c: ADD 0000323d: SWAP1 0000323e: POP 0000323f: DUP2 00003240: DUP2 00003241: SUB 00003242: PUSH1 0x00 00003244: DUP4 00003245: ADD 00003246: MSTORE 00003247: PUSH2 0x324f 0000324a: DUP2 0000324b: PUSH2 0x3213 0000324e: JUMP 0000324f: JUMPDEST 00003250: SWAP1 00003251: POP 00003252: SWAP2 00003253: SWAP1 00003254: POP 00003255: JUMP 00003256: JUMPDEST 00003257: PUSH1 0x00 00003259: PUSH2 0x3261 0000325c: DUP3 0000325d: PUSH2 0x260a 00003260: JUMP 00003261: JUMPDEST 00003262: SWAP2 00003263: POP 00003264: PUSH2 0x326c 00003267: DUP4 00003268: PUSH2 0x260a 0000326b: JUMP 0000326c: JUMPDEST 0000326d: SWAP3 0000326e: POP 0000326f: DUP3 00003270: DUP3 00003271: SUB 00003272: SWAP1 00003273: POP 00003274: DUP2 00003275: DUP2 00003276: GT 00003277: ISZERO 00003278: PUSH2 0x3284 0000327b: JUMPI 0000327c: PUSH2 0x3283 0000327f: PUSH2 0x2b9d 00003282: JUMP 00003283: JUMPDEST 00003284: JUMPDEST 00003285: SWAP3 00003286: SWAP2 00003287: POP 00003288: POP 00003289: JUMP 0000328a: JUMPDEST 0000328b: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062 000032ac: PUSH1 0x00 000032ae: DUP3 000032af: ADD 000032b0: MSTORE 000032b1: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000 000032d2: PUSH1 0x20 000032d4: DUP3 000032d5: ADD 000032d6: MSTORE 000032d7: POP 000032d8: JUMP 000032d9: JUMPDEST 000032da: PUSH1 0x00 000032dc: PUSH2 0x32e6 000032df: PUSH1 0x26 000032e1: DUP4 000032e2: PUSH2 0x2500 000032e5: JUMP 000032e6: JUMPDEST 000032e7: SWAP2 000032e8: POP 000032e9: PUSH2 0x32f1 000032ec: DUP3 000032ed: PUSH2 0x328a 000032f0: JUMP 000032f1: JUMPDEST 000032f2: PUSH1 0x40 000032f4: DUP3 000032f5: ADD 000032f6: SWAP1 000032f7: POP 000032f8: SWAP2 000032f9: SWAP1 000032fa: POP 000032fb: JUMP 000032fc: JUMPDEST 000032fd: PUSH1 0x00 000032ff: PUSH1 0x20 00003301: DUP3 00003302: ADD 00003303: SWAP1 00003304: POP 00003305: DUP2 00003306: DUP2 00003307: SUB 00003308: PUSH1 0x00 0000330a: DUP4 0000330b: ADD 0000330c: MSTORE 0000330d: PUSH2 0x3315 00003310: DUP2 00003311: PUSH2 0x32d9 00003314: JUMP 00003315: JUMPDEST 00003316: SWAP1 00003317: POP 00003318: SWAP2 00003319: SWAP1 0000331a: POP 0000331b: JUMP 0000331c: JUMPDEST 0000331d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000333e: PUSH1 0x00 00003340: MSTORE 00003341: PUSH1 0x41 00003343: PUSH1 0x04 00003345: MSTORE 00003346: PUSH1 0x24 00003348: PUSH1 0x00 0000334a: REVERT 0000334b: JUMPDEST 0000334c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000336d: PUSH1 0x00 0000336f: MSTORE 00003370: PUSH1 0x32 00003372: PUSH1 0x04 00003374: MSTORE 00003375: PUSH1 0x24 00003377: PUSH1 0x00 00003379: REVERT 0000337a: JUMPDEST 0000337b: PUSH1 0x00 0000337d: DUP2 0000337e: MLOAD 0000337f: SWAP1 00003380: POP 00003381: PUSH2 0x3389 00003384: DUP2 00003385: PUSH2 0x25de 00003388: JUMP 00003389: JUMPDEST 0000338a: SWAP3 0000338b: SWAP2 0000338c: POP 0000338d: POP 0000338e: JUMP 0000338f: JUMPDEST 00003390: PUSH1 0x00 00003392: PUSH1 0x20 00003394: DUP3 00003395: DUP5 00003396: SUB 00003397: SLT 00003398: ISZERO 00003399: PUSH2 0x33a5 0000339c: JUMPI 0000339d: PUSH2 0x33a4 000033a0: PUSH2 0x25a7 000033a3: JUMP 000033a4: JUMPDEST 000033a5: JUMPDEST 000033a6: PUSH1 0x00 000033a8: PUSH2 0x33b3 000033ab: DUP5 000033ac: DUP3 000033ad: DUP6 000033ae: ADD 000033af: PUSH2 0x337a 000033b2: JUMP 000033b3: JUMPDEST 000033b4: SWAP2 000033b5: POP 000033b6: POP 000033b7: SWAP3 000033b8: SWAP2 000033b9: POP 000033ba: POP 000033bb: JUMP 000033bc: JUMPDEST 000033bd: PUSH1 0x00 000033bf: DUP2 000033c0: SWAP1 000033c1: POP 000033c2: SWAP2 000033c3: SWAP1 000033c4: POP 000033c5: JUMP 000033c6: JUMPDEST 000033c7: PUSH1 0x00 000033c9: DUP2 000033ca: SWAP1 000033cb: POP 000033cc: SWAP2 000033cd: SWAP1 000033ce: POP 000033cf: JUMP 000033d0: JUMPDEST 000033d1: PUSH1 0x00 000033d3: PUSH2 0x33eb 000033d6: PUSH2 0x33e6 000033d9: PUSH2 0x33e1 000033dc: DUP5 000033dd: PUSH2 0x33bc 000033e0: JUMP 000033e1: JUMPDEST 000033e2: PUSH2 0x33c6 000033e5: JUMP 000033e6: JUMPDEST 000033e7: PUSH2 0x260a 000033ea: JUMP 000033eb: JUMPDEST 000033ec: SWAP1 000033ed: POP 000033ee: SWAP2 000033ef: SWAP1 000033f0: POP 000033f1: JUMP 000033f2: JUMPDEST 000033f3: PUSH2 0x33fb 000033f6: DUP2 000033f7: PUSH2 0x33d0 000033fa: JUMP 000033fb: JUMPDEST 000033fc: DUP3 000033fd: MSTORE 000033fe: POP 000033ff: POP 00003400: JUMP 00003401: JUMPDEST 00003402: PUSH1 0x00 00003404: DUP2 00003405: MLOAD 00003406: SWAP1 00003407: POP 00003408: SWAP2 00003409: SWAP1 0000340a: POP 0000340b: JUMP 0000340c: JUMPDEST 0000340d: PUSH1 0x00 0000340f: DUP3 00003410: DUP3 00003411: MSTORE 00003412: PUSH1 0x20 00003414: DUP3 00003415: ADD 00003416: SWAP1 00003417: POP 00003418: SWAP3 00003419: SWAP2 0000341a: POP 0000341b: POP 0000341c: JUMP 0000341d: JUMPDEST 0000341e: PUSH1 0x00 00003420: DUP2 00003421: SWAP1 00003422: POP 00003423: PUSH1 0x20 00003425: DUP3 00003426: ADD 00003427: SWAP1 00003428: POP 00003429: SWAP2 0000342a: SWAP1 0000342b: POP 0000342c: JUMP 0000342d: JUMPDEST 0000342e: PUSH2 0x3436 00003431: DUP2 00003432: PUSH2 0x25cc 00003435: JUMP 00003436: JUMPDEST 00003437: DUP3 00003438: MSTORE 00003439: POP 0000343a: POP 0000343b: JUMP 0000343c: JUMPDEST 0000343d: PUSH1 0x00 0000343f: PUSH2 0x3448 00003442: DUP4 00003443: DUP4 00003444: PUSH2 0x342d 00003447: JUMP 00003448: JUMPDEST 00003449: PUSH1 0x20 0000344b: DUP4 0000344c: ADD 0000344d: SWAP1 0000344e: POP 0000344f: SWAP3 00003450: SWAP2 00003451: POP 00003452: POP 00003453: JUMP 00003454: JUMPDEST 00003455: PUSH1 0x00 00003457: PUSH1 0x20 00003459: DUP3 0000345a: ADD 0000345b: SWAP1 0000345c: POP 0000345d: SWAP2 0000345e: SWAP1 0000345f: POP 00003460: JUMP 00003461: JUMPDEST 00003462: PUSH1 0x00 00003464: PUSH2 0x346c 00003467: DUP3 00003468: PUSH2 0x3401 0000346b: JUMP 0000346c: JUMPDEST 0000346d: PUSH2 0x3476 00003470: DUP2 00003471: DUP6 00003472: PUSH2 0x340c 00003475: JUMP 00003476: JUMPDEST 00003477: SWAP4 00003478: POP 00003479: PUSH2 0x3481 0000347c: DUP4 0000347d: PUSH2 0x341d 00003480: JUMP 00003481: JUMPDEST 00003482: DUP1 00003483: PUSH1 0x00 00003485: JUMPDEST 00003486: DUP4 00003487: DUP2 00003488: LT 00003489: ISZERO 0000348a: PUSH2 0x34b2 0000348d: JUMPI 0000348e: DUP2 0000348f: MLOAD 00003490: PUSH2 0x3499 00003493: DUP9 00003494: DUP3 00003495: PUSH2 0x343c 00003498: JUMP 00003499: JUMPDEST 0000349a: SWAP8 0000349b: POP 0000349c: PUSH2 0x34a4 0000349f: DUP4 000034a0: PUSH2 0x3454 000034a3: JUMP 000034a4: JUMPDEST 000034a5: SWAP3 000034a6: POP 000034a7: POP 000034a8: PUSH1 0x01 000034aa: DUP2 000034ab: ADD 000034ac: SWAP1 000034ad: POP 000034ae: PUSH2 0x3485 000034b1: JUMP 000034b2: JUMPDEST 000034b3: POP 000034b4: DUP6 000034b5: SWAP4 000034b6: POP 000034b7: POP 000034b8: POP 000034b9: POP 000034ba: SWAP3 000034bb: SWAP2 000034bc: POP 000034bd: POP 000034be: JUMP 000034bf: JUMPDEST 000034c0: PUSH1 0x00 000034c2: PUSH1 0xa0 000034c4: DUP3 000034c5: ADD 000034c6: SWAP1 000034c7: POP 000034c8: PUSH2 0x34d4 000034cb: PUSH1 0x00 000034cd: DUP4 000034ce: ADD 000034cf: DUP9 000034d0: PUSH2 0x26e3 000034d3: JUMP 000034d4: JUMPDEST 000034d5: PUSH2 0x34e1 000034d8: PUSH1 0x20 000034da: DUP4 000034db: ADD 000034dc: DUP8 000034dd: PUSH2 0x33f2 000034e0: JUMP 000034e1: JUMPDEST 000034e2: DUP2 000034e3: DUP2 000034e4: SUB 000034e5: PUSH1 0x40 000034e7: DUP4 000034e8: ADD 000034e9: MSTORE 000034ea: PUSH2 0x34f3 000034ed: DUP2 000034ee: DUP7 000034ef: PUSH2 0x3461 000034f2: JUMP 000034f3: JUMPDEST 000034f4: SWAP1 000034f5: POP 000034f6: PUSH2 0x3502 000034f9: PUSH1 0x60 000034fb: DUP4 000034fc: ADD 000034fd: DUP6 000034fe: PUSH2 0x2830 00003501: JUMP 00003502: JUMPDEST 00003503: PUSH2 0x350f 00003506: PUSH1 0x80 00003508: DUP4 00003509: ADD 0000350a: DUP5 0000350b: PUSH2 0x26e3 0000350e: JUMP 0000350f: JUMPDEST 00003510: SWAP7 00003511: SWAP6 00003512: POP 00003513: POP 00003514: POP 00003515: POP 00003516: POP 00003517: POP 00003518: JUMP 00003519: INVALID 0000351a: LOG2 0000351b: PUSH5 0x6970667358 00003521: UNKNOWN(0x22) 00003522: SLT 00003523: KECCAK256 00003524: SWAP1 00003525: LOG4 00003526: BLOCKHASH 00003527: ISZERO 00003528: PUSH4 0x8900c79c 0000352d: SWAP13 0000352e: PUSH9 0xd6bb82ca66ef4e59ba 00003538: DUP5 00003539: RETURNDATACOPY 0000353a: SMOD 0000353b: DUP1 0000353c: CODECOPY 0000353d: TIMESTAMP 0000353e: UNKNOWN(0x2B) 0000353f: SWAP1 00003540: GASLIMIT 00003541: UNKNOWN(0x21) 00003542: PUSH6 0x4364736f6c63 00003549: NUMBER 0000354a: STOP 0000354b: ADDMOD 0000354c: SGT 0000354d: STOP 0000354e: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa7fed7f3b1a1557960ff1fa2ed9d0a8df63fe5fe536ed17decd205e7102d44c5
call_targets:
0x0305f515fa978cf87226cf8a9776d25bcfb2cc0b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa7fed7f3b1a1557960ff1fa2ed9d0a8df63fe5fe536ed17decd205e7102d44c5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0305f515fa978cf87226cf8a9776d25bcfb2cc0b"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xefdcd974",
"selector": "0xefdcd974",
"calldata_variants": [
"0xefdcd974",
"0xefdcd9740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf242ab41",
"selector": "0xf242ab41",
"calldata_variants": [
"0xf242ab41",
"0xf242ab410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffb54a99",
"selector": "0xffb54a99",
"calldata_variants": [
"0xffb54a99",
"0xffb54a990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0889358",
"selector": "0xd0889358",
"calldata_variants": [
"0xd0889358",
"0xd08893580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe13b2007",
"selector": "0xe13b2007",
"calldata_variants": [
"0xe13b2007",
"0xe13b20070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x995b5aae",
"selector": "0x995b5aae",
"calldata_variants": [
"0x995b5aae",
"0x995b5aae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 9436,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xa7fed7f3b1a1557960ff1fa2ed9d0a8df63fe5fe536ed17decd205e7102d44c5
call_targets:
0x0305f515fa978cf87226cf8a9776d25bcfb2cc0b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa7fed7f3b1a1557960ff1fa2ed9d0a8df63fe5fe536ed17decd205e7102d44c5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0305f515fa978cf87226cf8a9776d25bcfb2cc0b"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xefdcd974",
"selector": "0xefdcd974",
"calldata_variants": [
"0xefdcd974",
"0xefdcd9740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf242ab41",
"selector": "0xf242ab41",
"calldata_variants": [
"0xf242ab41",
"0xf242ab410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffb54a99",
"selector": "0xffb54a99",
"calldata_variants": [
"0xffb54a99",
"0xffb54a990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0889358",
"selector": "0xd0889358",
"calldata_variants": [
"0xd0889358",
"0xd08893580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe13b2007",
"selector": "0xe13b2007",
"calldata_variants": [
"0xe13b2007",
"0xe13b20070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x995b5aae",
"selector": "0x995b5aae",
"calldata_variants": [
"0x995b5aae",
"0x995b5aae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 9436,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|