019b477e-b1fa-7000-b1c9-4c1d97b12f75
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 |
|---|---|---|---|---|
| 22245 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 22246 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 66062 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66063 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66064 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66065 | 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 0x01ac 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x02d2 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x095ea7b3 00000047: EQ 00000048: PUSH2 0x0362 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x18160ddd 00000052: EQ 00000053: PUSH2 0x03c7 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x203a318f 0000005d: EQ 0000005e: PUSH2 0x03f2 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x21424e7d 00000068: EQ 00000069: PUSH2 0x041d 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x23548b8b 00000073: EQ 00000074: PUSH2 0x0448 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x23b872dd 0000007e: EQ 0000007f: PUSH2 0x0473 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x26843251 00000089: EQ 0000008a: PUSH2 0x04f8 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x313ce567 00000094: EQ 00000095: PUSH2 0x0523 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x42966c68 0000009f: EQ 000000a0: PUSH2 0x0554 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x4f6c3372 000000aa: EQ 000000ab: PUSH2 0x0599 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x55f413c9 000000b5: EQ 000000b6: PUSH2 0x05b0 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x55f6a412 000000c0: EQ 000000c1: PUSH2 0x05db 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x658f2ad6 000000cb: EQ 000000cc: PUSH2 0x0636 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0x6bf82d74 000000d6: EQ 000000d7: PUSH2 0x064d 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0x70a08231 000000e1: EQ 000000e2: PUSH2 0x06a4 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0x75f12b21 000000ec: EQ 000000ed: PUSH2 0x06fb 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0x7d4d3128 000000f7: EQ 000000f8: PUSH2 0x072a 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0x86f7313d 00000102: EQ 00000103: PUSH2 0x0741 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0x8d75fe05 0000010d: EQ 0000010e: PUSH2 0x076c 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0x8da5cb5b 00000118: EQ 00000119: PUSH2 0x0797 0000011c: JUMPI 0000011d: DUP1 0000011e: PUSH4 0x95d89b41 00000123: EQ 00000124: PUSH2 0x07ee 00000127: JUMPI 00000128: DUP1 00000129: PUSH4 0x9d735286 0000012e: EQ 0000012f: PUSH2 0x087e 00000132: JUMPI 00000133: DUP1 00000134: PUSH4 0x9f62e202 00000139: EQ 0000013a: PUSH2 0x0895 0000013d: JUMPI 0000013e: DUP1 0000013f: PUSH4 0xa393dc44 00000144: EQ 00000145: PUSH2 0x08d8 00000148: JUMPI 00000149: DUP1 0000014a: PUSH4 0xa9059cbb 0000014f: EQ 00000150: PUSH2 0x0903 00000153: JUMPI 00000154: DUP1 00000155: PUSH4 0xb1432cc3 0000015a: EQ 0000015b: PUSH2 0x0968 0000015e: JUMPI 0000015f: DUP1 00000160: PUSH4 0xc35c3265 00000165: EQ 00000166: PUSH2 0x09ab 00000169: JUMPI 0000016a: DUP1 0000016b: PUSH4 0xc7876ea4 00000170: EQ 00000171: PUSH2 0x0a02 00000174: JUMPI 00000175: DUP1 00000176: PUSH4 0xd344e01b 0000017b: EQ 0000017c: PUSH2 0x0a2d 0000017f: JUMPI 00000180: DUP1 00000181: PUSH4 0xdd62ed3e 00000186: EQ 00000187: PUSH2 0x0a44 0000018a: JUMPI 0000018b: DUP1 0000018c: PUSH4 0xe4c5ff46 00000191: EQ 00000192: PUSH2 0x0abb 00000195: JUMPI 00000196: DUP1 00000197: PUSH4 0xe754a4e5 0000019c: EQ 0000019d: PUSH2 0x0b08 000001a0: JUMPI 000001a1: DUP1 000001a2: PUSH4 0xf0947680 000001a7: EQ 000001a8: PUSH2 0x0b33 000001ab: JUMPI 000001ac: JUMPDEST 000001ad: PUSH1 0x00 000001af: DUP1 000001b0: PUSH1 0x07 000001b2: SLOAD 000001b3: TIMESTAMP 000001b4: LT 000001b5: ISZERO 000001b6: DUP1 000001b7: ISZERO 000001b8: PUSH2 0x01c2 000001bb: JUMPI 000001bc: POP 000001bd: PUSH1 0x0b 000001bf: SLOAD 000001c0: TIMESTAMP 000001c1: LT 000001c2: JUMPDEST 000001c3: ISZERO 000001c4: ISZERO 000001c5: PUSH2 0x01cd 000001c8: JUMPI 000001c9: PUSH1 0x00 000001cb: DUP1 000001cc: REVERT 000001cd: JUMPDEST 000001ce: PUSH1 0x00 000001d0: CALLVALUE 000001d1: EQ 000001d2: ISZERO 000001d3: DUP1 000001d4: ISZERO 000001d5: PUSH2 0x01f5 000001d8: JUMPI 000001d9: POP 000001da: PUSH1 0x00 000001dc: CALLER 000001dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f2: AND 000001f3: EQ 000001f4: ISZERO 000001f5: JUMPDEST 000001f6: ISZERO 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: PUSH1 0x0c 00000203: PUSH1 0x01 00000205: SWAP1 00000206: SLOAD 00000207: SWAP1 00000208: PUSH2 0x0100 0000020b: EXP 0000020c: SWAP1 0000020d: DIV 0000020e: PUSH1 0xff 00000210: AND 00000211: ISZERO 00000212: DUP1 00000213: ISZERO 00000214: PUSH2 0x026b 00000217: JUMPI 00000218: POP 00000219: PUSH1 0x04 0000021b: PUSH1 0x00 0000021d: SWAP1 0000021e: SLOAD 0000021f: SWAP1 00000220: PUSH2 0x0100 00000223: EXP 00000224: SWAP1 00000225: DIV 00000226: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023b: AND 0000023c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000251: AND 00000252: CALLER 00000253: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000268: AND 00000269: EQ 0000026a: ISZERO 0000026b: JUMPDEST 0000026c: ISZERO 0000026d: ISZERO 0000026e: PUSH2 0x0276 00000271: JUMPI 00000272: PUSH1 0x00 00000274: DUP1 00000275: REVERT 00000276: JUMPDEST 00000277: PUSH2 0x027e 0000027a: PUSH2 0x0b62 0000027d: JUMP 0000027e: JUMPDEST 0000027f: SWAP2 00000280: POP 00000281: PUSH2 0x0293 00000284: DUP3 00000285: CALLVALUE 00000286: PUSH2 0x0c80 00000289: SWAP1 0000028a: SWAP2 0000028b: SWAP1 0000028c: PUSH4 0xffffffff 00000291: AND 00000292: JUMP 00000293: JUMPDEST 00000294: SWAP1 00000295: POP 00000296: PUSH2 0x02aa 00000299: CALLVALUE 0000029a: PUSH1 0x03 0000029c: SLOAD 0000029d: PUSH2 0x0cbb 000002a0: SWAP1 000002a1: SWAP2 000002a2: SWAP1 000002a3: PUSH4 0xffffffff 000002a8: AND 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH1 0x03 000002ad: DUP2 000002ae: SWAP1 000002af: SSTORE 000002b0: POP 000002b1: PUSH1 0x00 000002b3: SLOAD 000002b4: PUSH1 0x03 000002b6: SLOAD 000002b7: GT 000002b8: ISZERO 000002b9: ISZERO 000002ba: ISZERO 000002bb: PUSH2 0x02c3 000002be: JUMPI 000002bf: PUSH1 0x00 000002c1: DUP1 000002c2: REVERT 000002c3: JUMPDEST 000002c4: PUSH2 0x02ce 000002c7: ADDRESS 000002c8: CALLER 000002c9: DUP4 000002ca: PUSH2 0x0cd9 000002cd: JUMP 000002ce: JUMPDEST 000002cf: POP 000002d0: POP 000002d1: STOP 000002d2: JUMPDEST 000002d3: CALLVALUE 000002d4: DUP1 000002d5: ISZERO 000002d6: PUSH2 0x02de 000002d9: JUMPI 000002da: PUSH1 0x00 000002dc: DUP1 000002dd: REVERT 000002de: JUMPDEST 000002df: POP 000002e0: PUSH2 0x02e7 000002e3: PUSH2 0x1249 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH1 0x40 000002ea: MLOAD 000002eb: DUP1 000002ec: DUP1 000002ed: PUSH1 0x20 000002ef: ADD 000002f0: DUP3 000002f1: DUP2 000002f2: SUB 000002f3: DUP3 000002f4: MSTORE 000002f5: DUP4 000002f6: DUP2 000002f7: DUP2 000002f8: MLOAD 000002f9: DUP2 000002fa: MSTORE 000002fb: PUSH1 0x20 000002fd: ADD 000002fe: SWAP2 000002ff: POP 00000300: DUP1 00000301: MLOAD 00000302: SWAP1 00000303: PUSH1 0x20 00000305: ADD 00000306: SWAP1 00000307: DUP1 00000308: DUP4 00000309: DUP4 0000030a: PUSH1 0x00 0000030c: JUMPDEST 0000030d: DUP4 0000030e: DUP2 0000030f: LT 00000310: ISZERO 00000311: PUSH2 0x0327 00000314: JUMPI 00000315: DUP1 00000316: DUP3 00000317: ADD 00000318: MLOAD 00000319: DUP2 0000031a: DUP5 0000031b: ADD 0000031c: MSTORE 0000031d: PUSH1 0x20 0000031f: DUP2 00000320: ADD 00000321: SWAP1 00000322: POP 00000323: PUSH2 0x030c 00000326: JUMP 00000327: JUMPDEST 00000328: POP 00000329: POP 0000032a: POP 0000032b: POP 0000032c: SWAP1 0000032d: POP 0000032e: SWAP1 0000032f: DUP2 00000330: ADD 00000331: SWAP1 00000332: PUSH1 0x1f 00000334: AND 00000335: DUP1 00000336: ISZERO 00000337: PUSH2 0x0354 0000033a: JUMPI 0000033b: DUP1 0000033c: DUP3 0000033d: SUB 0000033e: DUP1 0000033f: MLOAD 00000340: PUSH1 0x01 00000342: DUP4 00000343: PUSH1 0x20 00000345: SUB 00000346: PUSH2 0x0100 00000349: EXP 0000034a: SUB 0000034b: NOT 0000034c: AND 0000034d: DUP2 0000034e: MSTORE 0000034f: PUSH1 0x20 00000351: ADD 00000352: SWAP2 00000353: POP 00000354: JUMPDEST 00000355: POP 00000356: SWAP3 00000357: POP 00000358: POP 00000359: POP 0000035a: PUSH1 0x40 0000035c: MLOAD 0000035d: DUP1 0000035e: SWAP2 0000035f: SUB 00000360: SWAP1 00000361: RETURN 00000362: JUMPDEST 00000363: CALLVALUE 00000364: DUP1 00000365: ISZERO 00000366: PUSH2 0x036e 00000369: JUMPI 0000036a: PUSH1 0x00 0000036c: DUP1 0000036d: REVERT 0000036e: JUMPDEST 0000036f: POP 00000370: PUSH2 0x03ad 00000373: PUSH1 0x04 00000375: DUP1 00000376: CALLDATASIZE 00000377: SUB 00000378: DUP2 00000379: ADD 0000037a: SWAP1 0000037b: DUP1 0000037c: DUP1 0000037d: CALLDATALOAD 0000037e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000393: AND 00000394: SWAP1 00000395: PUSH1 0x20 00000397: ADD 00000398: SWAP1 00000399: SWAP3 0000039a: SWAP2 0000039b: SWAP1 0000039c: DUP1 0000039d: CALLDATALOAD 0000039e: SWAP1 0000039f: PUSH1 0x20 000003a1: ADD 000003a2: SWAP1 000003a3: SWAP3 000003a4: SWAP2 000003a5: SWAP1 000003a6: POP 000003a7: POP 000003a8: POP 000003a9: PUSH2 0x1282 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH1 0x40 000003b0: MLOAD 000003b1: DUP1 000003b2: DUP3 000003b3: ISZERO 000003b4: ISZERO 000003b5: ISZERO 000003b6: ISZERO 000003b7: DUP2 000003b8: MSTORE 000003b9: PUSH1 0x20 000003bb: ADD 000003bc: SWAP2 000003bd: POP 000003be: POP 000003bf: PUSH1 0x40 000003c1: MLOAD 000003c2: DUP1 000003c3: SWAP2 000003c4: SUB 000003c5: SWAP1 000003c6: RETURN 000003c7: JUMPDEST 000003c8: CALLVALUE 000003c9: DUP1 000003ca: ISZERO 000003cb: PUSH2 0x03d3 000003ce: JUMPI 000003cf: PUSH1 0x00 000003d1: DUP1 000003d2: REVERT 000003d3: JUMPDEST 000003d4: POP 000003d5: PUSH2 0x03dc 000003d8: PUSH2 0x13c7 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH1 0x40 000003df: MLOAD 000003e0: DUP1 000003e1: DUP3 000003e2: DUP2 000003e3: MSTORE 000003e4: PUSH1 0x20 000003e6: ADD 000003e7: SWAP2 000003e8: POP 000003e9: POP 000003ea: PUSH1 0x40 000003ec: MLOAD 000003ed: DUP1 000003ee: SWAP2 000003ef: SUB 000003f0: SWAP1 000003f1: RETURN 000003f2: JUMPDEST 000003f3: CALLVALUE 000003f4: DUP1 000003f5: ISZERO 000003f6: PUSH2 0x03fe 000003f9: JUMPI 000003fa: PUSH1 0x00 000003fc: DUP1 000003fd: REVERT 000003fe: JUMPDEST 000003ff: POP 00000400: PUSH2 0x0407 00000403: PUSH2 0x13d1 00000406: JUMP 00000407: JUMPDEST 00000408: PUSH1 0x40 0000040a: MLOAD 0000040b: DUP1 0000040c: DUP3 0000040d: DUP2 0000040e: MSTORE 0000040f: PUSH1 0x20 00000411: ADD 00000412: SWAP2 00000413: POP 00000414: POP 00000415: PUSH1 0x40 00000417: MLOAD 00000418: DUP1 00000419: SWAP2 0000041a: SUB 0000041b: SWAP1 0000041c: RETURN 0000041d: JUMPDEST 0000041e: CALLVALUE 0000041f: DUP1 00000420: ISZERO 00000421: PUSH2 0x0429 00000424: JUMPI 00000425: PUSH1 0x00 00000427: DUP1 00000428: REVERT 00000429: JUMPDEST 0000042a: POP 0000042b: PUSH2 0x0432 0000042e: PUSH2 0x13d7 00000431: JUMP 00000432: JUMPDEST 00000433: PUSH1 0x40 00000435: MLOAD 00000436: DUP1 00000437: DUP3 00000438: DUP2 00000439: MSTORE 0000043a: PUSH1 0x20 0000043c: ADD 0000043d: SWAP2 0000043e: POP 0000043f: POP 00000440: PUSH1 0x40 00000442: MLOAD 00000443: DUP1 00000444: SWAP2 00000445: SUB 00000446: SWAP1 00000447: RETURN 00000448: JUMPDEST 00000449: CALLVALUE 0000044a: DUP1 0000044b: ISZERO 0000044c: PUSH2 0x0454 0000044f: JUMPI 00000450: PUSH1 0x00 00000452: DUP1 00000453: REVERT 00000454: JUMPDEST 00000455: POP 00000456: PUSH2 0x045d 00000459: PUSH2 0x13dd 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: DUP1 00000462: DUP3 00000463: DUP2 00000464: MSTORE 00000465: PUSH1 0x20 00000467: ADD 00000468: SWAP2 00000469: POP 0000046a: POP 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: DUP1 0000046f: SWAP2 00000470: SUB 00000471: SWAP1 00000472: RETURN 00000473: JUMPDEST 00000474: CALLVALUE 00000475: DUP1 00000476: ISZERO 00000477: PUSH2 0x047f 0000047a: JUMPI 0000047b: PUSH1 0x00 0000047d: DUP1 0000047e: REVERT 0000047f: JUMPDEST 00000480: POP 00000481: PUSH2 0x04de 00000484: PUSH1 0x04 00000486: DUP1 00000487: CALLDATASIZE 00000488: SUB 00000489: DUP2 0000048a: ADD 0000048b: SWAP1 0000048c: DUP1 0000048d: DUP1 0000048e: CALLDATALOAD 0000048f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a4: AND 000004a5: SWAP1 000004a6: PUSH1 0x20 000004a8: ADD 000004a9: SWAP1 000004aa: SWAP3 000004ab: SWAP2 000004ac: SWAP1 000004ad: DUP1 000004ae: CALLDATALOAD 000004af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c4: AND 000004c5: SWAP1 000004c6: PUSH1 0x20 000004c8: ADD 000004c9: SWAP1 000004ca: SWAP3 000004cb: SWAP2 000004cc: SWAP1 000004cd: DUP1 000004ce: CALLDATALOAD 000004cf: SWAP1 000004d0: PUSH1 0x20 000004d2: ADD 000004d3: SWAP1 000004d4: SWAP3 000004d5: SWAP2 000004d6: SWAP1 000004d7: POP 000004d8: POP 000004d9: POP 000004da: PUSH2 0x13e3 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH1 0x40 000004e1: MLOAD 000004e2: DUP1 000004e3: DUP3 000004e4: ISZERO 000004e5: ISZERO 000004e6: ISZERO 000004e7: ISZERO 000004e8: DUP2 000004e9: MSTORE 000004ea: PUSH1 0x20 000004ec: ADD 000004ed: SWAP2 000004ee: POP 000004ef: POP 000004f0: PUSH1 0x40 000004f2: MLOAD 000004f3: DUP1 000004f4: SWAP2 000004f5: SUB 000004f6: SWAP1 000004f7: RETURN 000004f8: JUMPDEST 000004f9: CALLVALUE 000004fa: DUP1 000004fb: ISZERO 000004fc: PUSH2 0x0504 000004ff: JUMPI 00000500: PUSH1 0x00 00000502: DUP1 00000503: REVERT 00000504: JUMPDEST 00000505: POP 00000506: PUSH2 0x050d 00000509: PUSH2 0x17c4 0000050c: JUMP 0000050d: JUMPDEST 0000050e: PUSH1 0x40 00000510: MLOAD 00000511: DUP1 00000512: DUP3 00000513: DUP2 00000514: MSTORE 00000515: PUSH1 0x20 00000517: ADD 00000518: SWAP2 00000519: POP 0000051a: POP 0000051b: PUSH1 0x40 0000051d: MLOAD 0000051e: DUP1 0000051f: SWAP2 00000520: SUB 00000521: SWAP1 00000522: RETURN 00000523: JUMPDEST 00000524: CALLVALUE 00000525: DUP1 00000526: ISZERO 00000527: PUSH2 0x052f 0000052a: JUMPI 0000052b: PUSH1 0x00 0000052d: DUP1 0000052e: REVERT 0000052f: JUMPDEST 00000530: POP 00000531: PUSH2 0x0538 00000534: PUSH2 0x17ca 00000537: JUMP 00000538: JUMPDEST 00000539: PUSH1 0x40 0000053b: MLOAD 0000053c: DUP1 0000053d: DUP3 0000053e: PUSH1 0xff 00000540: AND 00000541: PUSH1 0xff 00000543: AND 00000544: DUP2 00000545: MSTORE 00000546: PUSH1 0x20 00000548: ADD 00000549: SWAP2 0000054a: POP 0000054b: POP 0000054c: PUSH1 0x40 0000054e: MLOAD 0000054f: DUP1 00000550: SWAP2 00000551: SUB 00000552: SWAP1 00000553: RETURN 00000554: JUMPDEST 00000555: CALLVALUE 00000556: DUP1 00000557: ISZERO 00000558: PUSH2 0x0560 0000055b: JUMPI 0000055c: PUSH1 0x00 0000055e: DUP1 0000055f: REVERT 00000560: JUMPDEST 00000561: POP 00000562: PUSH2 0x057f 00000565: PUSH1 0x04 00000567: DUP1 00000568: CALLDATASIZE 00000569: SUB 0000056a: DUP2 0000056b: ADD 0000056c: SWAP1 0000056d: DUP1 0000056e: DUP1 0000056f: CALLDATALOAD 00000570: SWAP1 00000571: PUSH1 0x20 00000573: ADD 00000574: SWAP1 00000575: SWAP3 00000576: SWAP2 00000577: SWAP1 00000578: POP 00000579: POP 0000057a: POP 0000057b: PUSH2 0x17cf 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH1 0x40 00000582: MLOAD 00000583: DUP1 00000584: DUP3 00000585: ISZERO 00000586: ISZERO 00000587: ISZERO 00000588: ISZERO 00000589: DUP2 0000058a: MSTORE 0000058b: PUSH1 0x20 0000058d: ADD 0000058e: SWAP2 0000058f: POP 00000590: POP 00000591: PUSH1 0x40 00000593: MLOAD 00000594: DUP1 00000595: SWAP2 00000596: SUB 00000597: SWAP1 00000598: RETURN 00000599: JUMPDEST 0000059a: CALLVALUE 0000059b: DUP1 0000059c: ISZERO 0000059d: PUSH2 0x05a5 000005a0: JUMPI 000005a1: PUSH1 0x00 000005a3: DUP1 000005a4: REVERT 000005a5: JUMPDEST 000005a6: POP 000005a7: PUSH2 0x05ae 000005aa: PUSH2 0x1991 000005ad: JUMP 000005ae: JUMPDEST 000005af: STOP 000005b0: JUMPDEST 000005b1: CALLVALUE 000005b2: DUP1 000005b3: ISZERO 000005b4: PUSH2 0x05bc 000005b7: JUMPI 000005b8: PUSH1 0x00 000005ba: DUP1 000005bb: REVERT 000005bc: JUMPDEST 000005bd: POP 000005be: PUSH2 0x05c5 000005c1: PUSH2 0x1a44 000005c4: JUMP 000005c5: JUMPDEST 000005c6: PUSH1 0x40 000005c8: MLOAD 000005c9: DUP1 000005ca: DUP3 000005cb: DUP2 000005cc: MSTORE 000005cd: PUSH1 0x20 000005cf: ADD 000005d0: SWAP2 000005d1: POP 000005d2: POP 000005d3: PUSH1 0x40 000005d5: MLOAD 000005d6: DUP1 000005d7: SWAP2 000005d8: SUB 000005d9: SWAP1 000005da: RETURN 000005db: JUMPDEST 000005dc: CALLVALUE 000005dd: DUP1 000005de: ISZERO 000005df: PUSH2 0x05e7 000005e2: JUMPI 000005e3: PUSH1 0x00 000005e5: DUP1 000005e6: REVERT 000005e7: JUMPDEST 000005e8: POP 000005e9: PUSH2 0x061c 000005ec: PUSH1 0x04 000005ee: DUP1 000005ef: CALLDATASIZE 000005f0: SUB 000005f1: DUP2 000005f2: ADD 000005f3: SWAP1 000005f4: DUP1 000005f5: DUP1 000005f6: CALLDATALOAD 000005f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060c: AND 0000060d: SWAP1 0000060e: PUSH1 0x20 00000610: ADD 00000611: SWAP1 00000612: SWAP3 00000613: SWAP2 00000614: SWAP1 00000615: POP 00000616: POP 00000617: POP 00000618: PUSH2 0x1a4a 0000061b: JUMP 0000061c: JUMPDEST 0000061d: PUSH1 0x40 0000061f: MLOAD 00000620: DUP1 00000621: DUP3 00000622: ISZERO 00000623: ISZERO 00000624: ISZERO 00000625: ISZERO 00000626: DUP2 00000627: MSTORE 00000628: PUSH1 0x20 0000062a: ADD 0000062b: SWAP2 0000062c: POP 0000062d: POP 0000062e: PUSH1 0x40 00000630: MLOAD 00000631: DUP1 00000632: SWAP2 00000633: SUB 00000634: SWAP1 00000635: RETURN 00000636: JUMPDEST 00000637: CALLVALUE 00000638: DUP1 00000639: ISZERO 0000063a: PUSH2 0x0642 0000063d: JUMPI 0000063e: PUSH1 0x00 00000640: DUP1 00000641: REVERT 00000642: JUMPDEST 00000643: POP 00000644: PUSH2 0x064b 00000647: PUSH2 0x1d61 0000064a: JUMP 0000064b: JUMPDEST 0000064c: STOP 0000064d: JUMPDEST 0000064e: CALLVALUE 0000064f: DUP1 00000650: ISZERO 00000651: PUSH2 0x0659 00000654: JUMPI 00000655: PUSH1 0x00 00000657: DUP1 00000658: REVERT 00000659: JUMPDEST 0000065a: POP 0000065b: PUSH2 0x0662 0000065e: PUSH2 0x1e13 00000661: JUMP 00000662: JUMPDEST 00000663: PUSH1 0x40 00000665: MLOAD 00000666: DUP1 00000667: DUP3 00000668: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067d: AND 0000067e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000693: AND 00000694: DUP2 00000695: MSTORE 00000696: PUSH1 0x20 00000698: ADD 00000699: SWAP2 0000069a: POP 0000069b: POP 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: DUP1 000006a0: SWAP2 000006a1: SUB 000006a2: SWAP1 000006a3: RETURN 000006a4: JUMPDEST 000006a5: CALLVALUE 000006a6: DUP1 000006a7: ISZERO 000006a8: PUSH2 0x06b0 000006ab: JUMPI 000006ac: PUSH1 0x00 000006ae: DUP1 000006af: REVERT 000006b0: JUMPDEST 000006b1: POP 000006b2: PUSH2 0x06e5 000006b5: PUSH1 0x04 000006b7: DUP1 000006b8: CALLDATASIZE 000006b9: SUB 000006ba: DUP2 000006bb: ADD 000006bc: SWAP1 000006bd: DUP1 000006be: DUP1 000006bf: CALLDATALOAD 000006c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d5: AND 000006d6: SWAP1 000006d7: PUSH1 0x20 000006d9: ADD 000006da: SWAP1 000006db: SWAP3 000006dc: SWAP2 000006dd: SWAP1 000006de: POP 000006df: POP 000006e0: POP 000006e1: PUSH2 0x1e39 000006e4: JUMP 000006e5: JUMPDEST 000006e6: PUSH1 0x40 000006e8: MLOAD 000006e9: DUP1 000006ea: DUP3 000006eb: DUP2 000006ec: MSTORE 000006ed: PUSH1 0x20 000006ef: ADD 000006f0: SWAP2 000006f1: POP 000006f2: POP 000006f3: PUSH1 0x40 000006f5: MLOAD 000006f6: DUP1 000006f7: SWAP2 000006f8: SUB 000006f9: SWAP1 000006fa: RETURN 000006fb: JUMPDEST 000006fc: CALLVALUE 000006fd: DUP1 000006fe: ISZERO 000006ff: PUSH2 0x0707 00000702: JUMPI 00000703: PUSH1 0x00 00000705: DUP1 00000706: REVERT 00000707: JUMPDEST 00000708: POP 00000709: PUSH2 0x0710 0000070c: PUSH2 0x1e82 0000070f: JUMP 00000710: JUMPDEST 00000711: PUSH1 0x40 00000713: MLOAD 00000714: DUP1 00000715: DUP3 00000716: ISZERO 00000717: ISZERO 00000718: ISZERO 00000719: ISZERO 0000071a: DUP2 0000071b: MSTORE 0000071c: PUSH1 0x20 0000071e: ADD 0000071f: SWAP2 00000720: POP 00000721: POP 00000722: PUSH1 0x40 00000724: MLOAD 00000725: DUP1 00000726: SWAP2 00000727: SUB 00000728: SWAP1 00000729: RETURN 0000072a: JUMPDEST 0000072b: CALLVALUE 0000072c: DUP1 0000072d: ISZERO 0000072e: PUSH2 0x0736 00000731: JUMPI 00000732: PUSH1 0x00 00000734: DUP1 00000735: REVERT 00000736: JUMPDEST 00000737: POP 00000738: PUSH2 0x073f 0000073b: PUSH2 0x1e95 0000073e: JUMP 0000073f: JUMPDEST 00000740: STOP 00000741: JUMPDEST 00000742: CALLVALUE 00000743: DUP1 00000744: ISZERO 00000745: PUSH2 0x074d 00000748: JUMPI 00000749: PUSH1 0x00 0000074b: DUP1 0000074c: REVERT 0000074d: JUMPDEST 0000074e: POP 0000074f: PUSH2 0x0756 00000752: PUSH2 0x1f3a 00000755: JUMP 00000756: JUMPDEST 00000757: PUSH1 0x40 00000759: MLOAD 0000075a: DUP1 0000075b: DUP3 0000075c: DUP2 0000075d: MSTORE 0000075e: PUSH1 0x20 00000760: ADD 00000761: SWAP2 00000762: POP 00000763: POP 00000764: PUSH1 0x40 00000766: MLOAD 00000767: DUP1 00000768: SWAP2 00000769: SUB 0000076a: SWAP1 0000076b: RETURN 0000076c: JUMPDEST 0000076d: CALLVALUE 0000076e: DUP1 0000076f: ISZERO 00000770: PUSH2 0x0778 00000773: JUMPI 00000774: PUSH1 0x00 00000776: DUP1 00000777: REVERT 00000778: JUMPDEST 00000779: POP 0000077a: PUSH2 0x0781 0000077d: PUSH2 0x1f40 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH1 0x40 00000784: MLOAD 00000785: DUP1 00000786: DUP3 00000787: DUP2 00000788: MSTORE 00000789: PUSH1 0x20 0000078b: ADD 0000078c: SWAP2 0000078d: POP 0000078e: POP 0000078f: PUSH1 0x40 00000791: MLOAD 00000792: DUP1 00000793: SWAP2 00000794: SUB 00000795: SWAP1 00000796: RETURN 00000797: JUMPDEST 00000798: CALLVALUE 00000799: DUP1 0000079a: ISZERO 0000079b: PUSH2 0x07a3 0000079e: JUMPI 0000079f: PUSH1 0x00 000007a1: DUP1 000007a2: REVERT 000007a3: JUMPDEST 000007a4: POP 000007a5: PUSH2 0x07ac 000007a8: PUSH2 0x1f46 000007ab: JUMP 000007ac: JUMPDEST 000007ad: PUSH1 0x40 000007af: MLOAD 000007b0: DUP1 000007b1: DUP3 000007b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c7: AND 000007c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007dd: AND 000007de: DUP2 000007df: MSTORE 000007e0: PUSH1 0x20 000007e2: ADD 000007e3: SWAP2 000007e4: POP 000007e5: POP 000007e6: PUSH1 0x40 000007e8: MLOAD 000007e9: DUP1 000007ea: SWAP2 000007eb: SUB 000007ec: SWAP1 000007ed: RETURN 000007ee: JUMPDEST 000007ef: CALLVALUE 000007f0: DUP1 000007f1: ISZERO 000007f2: PUSH2 0x07fa 000007f5: JUMPI 000007f6: PUSH1 0x00 000007f8: DUP1 000007f9: REVERT 000007fa: JUMPDEST 000007fb: POP 000007fc: PUSH2 0x0803 000007ff: PUSH2 0x1f6c 00000802: JUMP 00000803: JUMPDEST 00000804: PUSH1 0x40 00000806: MLOAD 00000807: DUP1 00000808: DUP1 00000809: PUSH1 0x20 0000080b: ADD 0000080c: DUP3 0000080d: DUP2 0000080e: SUB 0000080f: DUP3 00000810: MSTORE 00000811: DUP4 00000812: DUP2 00000813: DUP2 00000814: MLOAD 00000815: DUP2 00000816: MSTORE 00000817: PUSH1 0x20 00000819: ADD 0000081a: SWAP2 0000081b: POP 0000081c: DUP1 0000081d: MLOAD 0000081e: SWAP1 0000081f: PUSH1 0x20 00000821: ADD 00000822: SWAP1 00000823: DUP1 00000824: DUP4 00000825: DUP4 00000826: PUSH1 0x00 00000828: JUMPDEST 00000829: DUP4 0000082a: DUP2 0000082b: LT 0000082c: ISZERO 0000082d: PUSH2 0x0843 00000830: JUMPI 00000831: DUP1 00000832: DUP3 00000833: ADD 00000834: MLOAD 00000835: DUP2 00000836: DUP5 00000837: ADD 00000838: MSTORE 00000839: PUSH1 0x20 0000083b: DUP2 0000083c: ADD 0000083d: SWAP1 0000083e: POP 0000083f: PUSH2 0x0828 00000842: JUMP 00000843: JUMPDEST 00000844: POP 00000845: POP 00000846: POP 00000847: POP 00000848: SWAP1 00000849: POP 0000084a: SWAP1 0000084b: DUP2 0000084c: ADD 0000084d: SWAP1 0000084e: PUSH1 0x1f 00000850: AND 00000851: DUP1 00000852: ISZERO 00000853: PUSH2 0x0870 00000856: JUMPI 00000857: DUP1 00000858: DUP3 00000859: SUB 0000085a: DUP1 0000085b: MLOAD 0000085c: PUSH1 0x01 0000085e: DUP4 0000085f: PUSH1 0x20 00000861: SUB 00000862: PUSH2 0x0100 00000865: EXP 00000866: SUB 00000867: NOT 00000868: AND 00000869: DUP2 0000086a: MSTORE 0000086b: PUSH1 0x20 0000086d: ADD 0000086e: SWAP2 0000086f: POP 00000870: JUMPDEST 00000871: POP 00000872: SWAP3 00000873: POP 00000874: POP 00000875: POP 00000876: PUSH1 0x40 00000878: MLOAD 00000879: DUP1 0000087a: SWAP2 0000087b: SUB 0000087c: SWAP1 0000087d: RETURN 0000087e: JUMPDEST 0000087f: CALLVALUE 00000880: DUP1 00000881: ISZERO 00000882: PUSH2 0x088a 00000885: JUMPI 00000886: PUSH1 0x00 00000888: DUP1 00000889: REVERT 0000088a: JUMPDEST 0000088b: POP 0000088c: PUSH2 0x0893 0000088f: PUSH2 0x1fa5 00000892: JUMP 00000893: JUMPDEST 00000894: STOP 00000895: JUMPDEST 00000896: CALLVALUE 00000897: DUP1 00000898: ISZERO 00000899: PUSH2 0x08a1 0000089c: JUMPI 0000089d: PUSH1 0x00 0000089f: DUP1 000008a0: REVERT 000008a1: JUMPDEST 000008a2: POP 000008a3: PUSH2 0x08d6 000008a6: PUSH1 0x04 000008a8: DUP1 000008a9: CALLDATASIZE 000008aa: SUB 000008ab: DUP2 000008ac: ADD 000008ad: SWAP1 000008ae: DUP1 000008af: DUP1 000008b0: CALLDATALOAD 000008b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c6: AND 000008c7: SWAP1 000008c8: PUSH1 0x20 000008ca: ADD 000008cb: SWAP1 000008cc: SWAP3 000008cd: SWAP2 000008ce: SWAP1 000008cf: POP 000008d0: POP 000008d1: POP 000008d2: PUSH2 0x2089 000008d5: JUMP 000008d6: JUMPDEST 000008d7: STOP 000008d8: JUMPDEST 000008d9: CALLVALUE 000008da: DUP1 000008db: ISZERO 000008dc: PUSH2 0x08e4 000008df: JUMPI 000008e0: PUSH1 0x00 000008e2: DUP1 000008e3: REVERT 000008e4: JUMPDEST 000008e5: POP 000008e6: PUSH2 0x08ed 000008e9: PUSH2 0x2350 000008ec: JUMP 000008ed: JUMPDEST 000008ee: PUSH1 0x40 000008f0: MLOAD 000008f1: DUP1 000008f2: DUP3 000008f3: DUP2 000008f4: MSTORE 000008f5: PUSH1 0x20 000008f7: ADD 000008f8: SWAP2 000008f9: POP 000008fa: POP 000008fb: PUSH1 0x40 000008fd: MLOAD 000008fe: DUP1 000008ff: SWAP2 00000900: SUB 00000901: SWAP1 00000902: RETURN 00000903: JUMPDEST 00000904: CALLVALUE 00000905: DUP1 00000906: ISZERO 00000907: PUSH2 0x090f 0000090a: JUMPI 0000090b: PUSH1 0x00 0000090d: DUP1 0000090e: REVERT 0000090f: JUMPDEST 00000910: POP 00000911: PUSH2 0x094e 00000914: PUSH1 0x04 00000916: DUP1 00000917: CALLDATASIZE 00000918: SUB 00000919: DUP2 0000091a: ADD 0000091b: SWAP1 0000091c: DUP1 0000091d: DUP1 0000091e: CALLDATALOAD 0000091f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000934: AND 00000935: SWAP1 00000936: PUSH1 0x20 00000938: ADD 00000939: SWAP1 0000093a: SWAP3 0000093b: SWAP2 0000093c: SWAP1 0000093d: DUP1 0000093e: CALLDATALOAD 0000093f: SWAP1 00000940: PUSH1 0x20 00000942: ADD 00000943: SWAP1 00000944: SWAP3 00000945: SWAP2 00000946: SWAP1 00000947: POP 00000948: POP 00000949: POP 0000094a: PUSH2 0x2356 0000094d: JUMP 0000094e: JUMPDEST 0000094f: PUSH1 0x40 00000951: MLOAD 00000952: DUP1 00000953: DUP3 00000954: ISZERO 00000955: ISZERO 00000956: ISZERO 00000957: ISZERO 00000958: DUP2 00000959: MSTORE 0000095a: PUSH1 0x20 0000095c: ADD 0000095d: SWAP2 0000095e: POP 0000095f: POP 00000960: PUSH1 0x40 00000962: MLOAD 00000963: DUP1 00000964: SWAP2 00000965: SUB 00000966: SWAP1 00000967: RETURN 00000968: JUMPDEST 00000969: CALLVALUE 0000096a: DUP1 0000096b: ISZERO 0000096c: PUSH2 0x0974 0000096f: JUMPI 00000970: PUSH1 0x00 00000972: DUP1 00000973: REVERT 00000974: JUMPDEST 00000975: POP 00000976: PUSH2 0x09a9 00000979: PUSH1 0x04 0000097b: DUP1 0000097c: CALLDATASIZE 0000097d: SUB 0000097e: DUP2 0000097f: ADD 00000980: SWAP1 00000981: DUP1 00000982: DUP1 00000983: CALLDATALOAD 00000984: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000999: AND 0000099a: SWAP1 0000099b: PUSH1 0x20 0000099d: ADD 0000099e: SWAP1 0000099f: SWAP3 000009a0: SWAP2 000009a1: SWAP1 000009a2: POP 000009a3: POP 000009a4: POP 000009a5: PUSH2 0x259f 000009a8: JUMP 000009a9: JUMPDEST 000009aa: STOP 000009ab: JUMPDEST 000009ac: CALLVALUE 000009ad: DUP1 000009ae: ISZERO 000009af: PUSH2 0x09b7 000009b2: JUMPI 000009b3: PUSH1 0x00 000009b5: DUP1 000009b6: REVERT 000009b7: JUMPDEST 000009b8: POP 000009b9: PUSH2 0x09c0 000009bc: PUSH2 0x2665 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH1 0x40 000009c3: MLOAD 000009c4: DUP1 000009c5: DUP3 000009c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009db: AND 000009dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f1: AND 000009f2: DUP2 000009f3: MSTORE 000009f4: PUSH1 0x20 000009f6: ADD 000009f7: SWAP2 000009f8: POP 000009f9: POP 000009fa: PUSH1 0x40 000009fc: MLOAD 000009fd: DUP1 000009fe: SWAP2 000009ff: SUB 00000a00: SWAP1 00000a01: RETURN 00000a02: JUMPDEST 00000a03: CALLVALUE 00000a04: DUP1 00000a05: ISZERO 00000a06: PUSH2 0x0a0e 00000a09: JUMPI 00000a0a: PUSH1 0x00 00000a0c: DUP1 00000a0d: REVERT 00000a0e: JUMPDEST 00000a0f: POP 00000a10: PUSH2 0x0a17 00000a13: PUSH2 0x268b 00000a16: JUMP 00000a17: JUMPDEST 00000a18: PUSH1 0x40 00000a1a: MLOAD 00000a1b: DUP1 00000a1c: DUP3 00000a1d: DUP2 00000a1e: MSTORE 00000a1f: PUSH1 0x20 00000a21: ADD 00000a22: SWAP2 00000a23: POP 00000a24: POP 00000a25: PUSH1 0x40 00000a27: MLOAD 00000a28: DUP1 00000a29: SWAP2 00000a2a: SUB 00000a2b: SWAP1 00000a2c: RETURN 00000a2d: JUMPDEST 00000a2e: CALLVALUE 00000a2f: DUP1 00000a30: ISZERO 00000a31: PUSH2 0x0a39 00000a34: JUMPI 00000a35: PUSH1 0x00 00000a37: DUP1 00000a38: REVERT 00000a39: JUMPDEST 00000a3a: POP 00000a3b: PUSH2 0x0a42 00000a3e: PUSH2 0x2691 00000a41: JUMP 00000a42: JUMPDEST 00000a43: STOP 00000a44: JUMPDEST 00000a45: CALLVALUE 00000a46: DUP1 00000a47: ISZERO 00000a48: PUSH2 0x0a50 00000a4b: JUMPI 00000a4c: PUSH1 0x00 00000a4e: DUP1 00000a4f: REVERT 00000a50: JUMPDEST 00000a51: POP 00000a52: PUSH2 0x0aa5 00000a55: PUSH1 0x04 00000a57: DUP1 00000a58: CALLDATASIZE 00000a59: SUB 00000a5a: DUP2 00000a5b: ADD 00000a5c: SWAP1 00000a5d: DUP1 00000a5e: DUP1 00000a5f: CALLDATALOAD 00000a60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a75: AND 00000a76: SWAP1 00000a77: PUSH1 0x20 00000a79: ADD 00000a7a: SWAP1 00000a7b: SWAP3 00000a7c: SWAP2 00000a7d: SWAP1 00000a7e: DUP1 00000a7f: CALLDATALOAD 00000a80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a95: AND 00000a96: SWAP1 00000a97: PUSH1 0x20 00000a99: ADD 00000a9a: SWAP1 00000a9b: SWAP3 00000a9c: SWAP2 00000a9d: SWAP1 00000a9e: POP 00000a9f: POP 00000aa0: POP 00000aa1: PUSH2 0x2737 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: PUSH1 0x40 00000aa8: MLOAD 00000aa9: DUP1 00000aaa: DUP3 00000aab: DUP2 00000aac: MSTORE 00000aad: PUSH1 0x20 00000aaf: ADD 00000ab0: SWAP2 00000ab1: POP 00000ab2: POP 00000ab3: PUSH1 0x40 00000ab5: MLOAD 00000ab6: DUP1 00000ab7: SWAP2 00000ab8: SUB 00000ab9: SWAP1 00000aba: RETURN 00000abb: JUMPDEST 00000abc: CALLVALUE 00000abd: DUP1 00000abe: ISZERO 00000abf: PUSH2 0x0ac7 00000ac2: JUMPI 00000ac3: PUSH1 0x00 00000ac5: DUP1 00000ac6: REVERT 00000ac7: JUMPDEST 00000ac8: POP 00000ac9: PUSH2 0x0b06 00000acc: PUSH1 0x04 00000ace: DUP1 00000acf: CALLDATASIZE 00000ad0: SUB 00000ad1: DUP2 00000ad2: ADD 00000ad3: SWAP1 00000ad4: DUP1 00000ad5: DUP1 00000ad6: CALLDATALOAD 00000ad7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aec: AND 00000aed: SWAP1 00000aee: PUSH1 0x20 00000af0: ADD 00000af1: SWAP1 00000af2: SWAP3 00000af3: SWAP2 00000af4: SWAP1 00000af5: DUP1 00000af6: CALLDATALOAD 00000af7: SWAP1 00000af8: PUSH1 0x20 00000afa: ADD 00000afb: SWAP1 00000afc: SWAP3 00000afd: SWAP2 00000afe: SWAP1 00000aff: POP 00000b00: POP 00000b01: POP 00000b02: PUSH2 0x2806 00000b05: JUMP 00000b06: JUMPDEST 00000b07: STOP 00000b08: JUMPDEST 00000b09: CALLVALUE 00000b0a: DUP1 00000b0b: ISZERO 00000b0c: PUSH2 0x0b14 00000b0f: JUMPI 00000b10: PUSH1 0x00 00000b12: DUP1 00000b13: REVERT 00000b14: JUMPDEST 00000b15: POP 00000b16: PUSH2 0x0b1d 00000b19: PUSH2 0x2905 00000b1c: JUMP 00000b1d: JUMPDEST 00000b1e: PUSH1 0x40 00000b20: MLOAD 00000b21: DUP1 00000b22: DUP3 00000b23: DUP2 00000b24: MSTORE 00000b25: PUSH1 0x20 00000b27: ADD 00000b28: SWAP2 00000b29: POP 00000b2a: POP 00000b2b: PUSH1 0x40 00000b2d: MLOAD 00000b2e: DUP1 00000b2f: SWAP2 00000b30: SUB 00000b31: SWAP1 00000b32: RETURN 00000b33: JUMPDEST 00000b34: CALLVALUE 00000b35: DUP1 00000b36: ISZERO 00000b37: PUSH2 0x0b3f 00000b3a: JUMPI 00000b3b: PUSH1 0x00 00000b3d: DUP1 00000b3e: REVERT 00000b3f: JUMPDEST 00000b40: POP 00000b41: PUSH2 0x0b48 00000b44: PUSH2 0x290b 00000b47: JUMP 00000b48: JUMPDEST 00000b49: PUSH1 0x40 00000b4b: MLOAD 00000b4c: DUP1 00000b4d: DUP3 00000b4e: ISZERO 00000b4f: ISZERO 00000b50: ISZERO 00000b51: ISZERO 00000b52: DUP2 00000b53: MSTORE 00000b54: PUSH1 0x20 00000b56: ADD 00000b57: SWAP2 00000b58: POP 00000b59: POP 00000b5a: PUSH1 0x40 00000b5c: MLOAD 00000b5d: DUP1 00000b5e: SWAP2 00000b5f: SUB 00000b60: SWAP1 00000b61: RETURN 00000b62: JUMPDEST 00000b63: PUSH1 0x00 00000b65: DUP1 00000b66: PUSH2 0x1964 00000b69: SWAP1 00000b6a: POP 00000b6b: PUSH1 0x07 00000b6d: SLOAD 00000b6e: TIMESTAMP 00000b6f: LT 00000b70: ISZERO 00000b71: PUSH2 0x0ba7 00000b74: JUMPI 00000b75: PUSH10 0x021e19e0c9bab2400000 00000b80: PUSH1 0x03 00000b82: SLOAD 00000b83: LT 00000b84: ISZERO 00000b85: ISZERO 00000b86: PUSH2 0x0b8e 00000b89: JUMPI 00000b8a: PUSH1 0x00 00000b8c: DUP1 00000b8d: REVERT 00000b8e: JUMPDEST 00000b8f: PUSH1 0x05 00000b91: PUSH1 0x06 00000b93: PUSH2 0x1964 00000b96: MUL 00000b97: DUP2 00000b98: ISZERO 00000b99: ISZERO 00000b9a: PUSH2 0x0b9f 00000b9d: JUMPI 00000b9e: INVALID 00000b9f: JUMPDEST 00000ba0: DIV 00000ba1: SWAP1 00000ba2: POP 00000ba3: PUSH2 0x0c79 00000ba6: JUMP 00000ba7: JUMPDEST 00000ba8: PUSH1 0x08 00000baa: SLOAD 00000bab: TIMESTAMP 00000bac: LT 00000bad: ISZERO 00000bae: PUSH2 0x0be4 00000bb1: JUMPI 00000bb2: PUSH10 0x027c5f59e01cc68c0000 00000bbd: PUSH1 0x03 00000bbf: SLOAD 00000bc0: LT 00000bc1: ISZERO 00000bc2: ISZERO 00000bc3: PUSH2 0x0bcb 00000bc6: JUMPI 00000bc7: PUSH1 0x00 00000bc9: DUP1 00000bca: REVERT 00000bcb: JUMPDEST 00000bcc: PUSH1 0x14 00000bce: PUSH1 0x17 00000bd0: PUSH2 0x1964 00000bd3: MUL 00000bd4: DUP2 00000bd5: ISZERO 00000bd6: ISZERO 00000bd7: PUSH2 0x0bdc 00000bda: JUMPI 00000bdb: INVALID 00000bdc: JUMPDEST 00000bdd: DIV 00000bde: SWAP1 00000bdf: POP 00000be0: PUSH2 0x0c78 00000be3: JUMP 00000be4: JUMPDEST 00000be5: PUSH1 0x09 00000be7: SLOAD 00000be8: TIMESTAMP 00000be9: LT 00000bea: ISZERO 00000beb: PUSH2 0x0c21 00000bee: JUMPI 00000bef: PUSH10 0x02deed2b57ef82b40000 00000bfa: PUSH1 0x03 00000bfc: SLOAD 00000bfd: LT 00000bfe: ISZERO 00000bff: ISZERO 00000c00: PUSH2 0x0c08 00000c03: JUMPI 00000c04: PUSH1 0x00 00000c06: DUP1 00000c07: REVERT 00000c08: JUMPDEST 00000c09: PUSH1 0x0a 00000c0b: PUSH1 0x0b 00000c0d: PUSH2 0x1964 00000c10: MUL 00000c11: DUP2 00000c12: ISZERO 00000c13: ISZERO 00000c14: PUSH2 0x0c19 00000c17: JUMPI 00000c18: INVALID 00000c19: JUMPDEST 00000c1a: DIV 00000c1b: SWAP1 00000c1c: POP 00000c1d: PUSH2 0x0c77 00000c20: JUMP 00000c21: JUMPDEST 00000c22: PUSH1 0x0a 00000c24: SLOAD 00000c25: TIMESTAMP 00000c26: LT 00000c27: ISZERO 00000c28: PUSH2 0x0c5e 00000c2b: JUMPI 00000c2c: PUSH10 0x0346325ae6d021d80000 00000c37: PUSH1 0x03 00000c39: SLOAD 00000c3a: LT 00000c3b: ISZERO 00000c3c: ISZERO 00000c3d: PUSH2 0x0c45 00000c40: JUMPI 00000c41: PUSH1 0x00 00000c43: DUP1 00000c44: REVERT 00000c45: JUMPDEST 00000c46: PUSH1 0x14 00000c48: PUSH1 0x15 00000c4a: PUSH2 0x1964 00000c4d: MUL 00000c4e: DUP2 00000c4f: ISZERO 00000c50: ISZERO 00000c51: PUSH2 0x0c56 00000c54: JUMPI 00000c55: INVALID 00000c56: JUMPDEST 00000c57: DIV 00000c58: SWAP1 00000c59: POP 00000c5a: PUSH2 0x0c76 00000c5d: JUMP 00000c5e: JUMPDEST 00000c5f: PUSH1 0x00 00000c61: SLOAD 00000c62: PUSH1 0x03 00000c64: SLOAD 00000c65: LT 00000c66: ISZERO 00000c67: ISZERO 00000c68: PUSH2 0x0c70 00000c6b: JUMPI 00000c6c: PUSH1 0x00 00000c6e: DUP1 00000c6f: REVERT 00000c70: JUMPDEST 00000c71: PUSH2 0x1964 00000c74: SWAP1 00000c75: POP 00000c76: JUMPDEST 00000c77: JUMPDEST 00000c78: JUMPDEST 00000c79: JUMPDEST 00000c7a: DUP1 00000c7b: SWAP2 00000c7c: POP 00000c7d: POP 00000c7e: SWAP1 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: PUSH1 0x00 00000c83: DUP1 00000c84: PUSH1 0x00 00000c86: DUP5 00000c87: EQ 00000c88: ISZERO 00000c89: PUSH2 0x0c95 00000c8c: JUMPI 00000c8d: PUSH1 0x00 00000c8f: SWAP2 00000c90: POP 00000c91: PUSH2 0x0cb4 00000c94: JUMP 00000c95: JUMPDEST 00000c96: DUP3 00000c97: DUP5 00000c98: MUL 00000c99: SWAP1 00000c9a: POP 00000c9b: DUP3 00000c9c: DUP5 00000c9d: DUP3 00000c9e: DUP2 00000c9f: ISZERO 00000ca0: ISZERO 00000ca1: PUSH2 0x0ca6 00000ca4: JUMPI 00000ca5: INVALID 00000ca6: JUMPDEST 00000ca7: DIV 00000ca8: EQ 00000ca9: ISZERO 00000caa: ISZERO 00000cab: PUSH2 0x0cb0 00000cae: JUMPI 00000caf: INVALID 00000cb0: JUMPDEST 00000cb1: DUP1 00000cb2: SWAP2 00000cb3: POP 00000cb4: JUMPDEST 00000cb5: POP 00000cb6: SWAP3 00000cb7: SWAP2 00000cb8: POP 00000cb9: POP 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH1 0x00 00000cbe: DUP1 00000cbf: DUP3 00000cc0: DUP5 00000cc1: ADD 00000cc2: SWAP1 00000cc3: POP 00000cc4: DUP4 00000cc5: DUP2 00000cc6: LT 00000cc7: ISZERO 00000cc8: ISZERO 00000cc9: ISZERO 00000cca: PUSH2 0x0ccf 00000ccd: JUMPI 00000cce: INVALID 00000ccf: JUMPDEST 00000cd0: DUP1 00000cd1: SWAP2 00000cd2: POP 00000cd3: POP 00000cd4: SWAP3 00000cd5: SWAP2 00000cd6: POP 00000cd7: POP 00000cd8: JUMP 00000cd9: JUMPDEST 00000cda: PUSH1 0x00 00000cdc: DUP1 00000cdd: PUSH1 0x00 00000cdf: DUP4 00000ce0: GT 00000ce1: ISZERO 00000ce2: ISZERO 00000ce3: PUSH2 0x0ceb 00000ce6: JUMPI 00000ce7: PUSH1 0x00 00000ce9: DUP1 00000cea: REVERT 00000ceb: JUMPDEST 00000cec: PUSH2 0x0d00 00000cef: DUP4 00000cf0: PUSH1 0x02 00000cf2: SLOAD 00000cf3: PUSH2 0x0cbb 00000cf6: SWAP1 00000cf7: SWAP2 00000cf8: SWAP1 00000cf9: PUSH4 0xffffffff 00000cfe: AND 00000cff: JUMP 00000d00: JUMPDEST 00000d01: PUSH1 0x02 00000d03: DUP2 00000d04: SWAP1 00000d05: SSTORE 00000d06: POP 00000d07: PUSH1 0x41 00000d09: PUSH1 0x04 00000d0b: DUP5 00000d0c: MUL 00000d0d: DUP2 00000d0e: ISZERO 00000d0f: ISZERO 00000d10: PUSH2 0x0d15 00000d13: JUMPI 00000d14: INVALID 00000d15: JUMPDEST 00000d16: DIV 00000d17: SWAP2 00000d18: POP 00000d19: PUSH1 0x41 00000d1b: PUSH1 0x1f 00000d1d: DUP5 00000d1e: MUL 00000d1f: DUP2 00000d20: ISZERO 00000d21: ISZERO 00000d22: PUSH2 0x0d27 00000d25: JUMPI 00000d26: INVALID 00000d27: JUMPDEST 00000d28: DIV 00000d29: SWAP1 00000d2a: POP 00000d2b: PUSH2 0x0d9e 00000d2e: DUP3 00000d2f: PUSH1 0x0d 00000d31: PUSH1 0x00 00000d33: PUSH1 0x06 00000d35: PUSH1 0x00 00000d37: SWAP1 00000d38: SLOAD 00000d39: SWAP1 00000d3a: PUSH2 0x0100 00000d3d: EXP 00000d3e: SWAP1 00000d3f: DIV 00000d40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d55: AND 00000d56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d6b: AND 00000d6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d81: AND 00000d82: DUP2 00000d83: MSTORE 00000d84: PUSH1 0x20 00000d86: ADD 00000d87: SWAP1 00000d88: DUP2 00000d89: MSTORE 00000d8a: PUSH1 0x20 00000d8c: ADD 00000d8d: PUSH1 0x00 00000d8f: KECCAK256 00000d90: SLOAD 00000d91: PUSH2 0x0cbb 00000d94: SWAP1 00000d95: SWAP2 00000d96: SWAP1 00000d97: PUSH4 0xffffffff 00000d9c: AND 00000d9d: JUMP 00000d9e: JUMPDEST 00000d9f: PUSH1 0x0d 00000da1: PUSH1 0x00 00000da3: PUSH1 0x06 00000da5: PUSH1 0x00 00000da7: SWAP1 00000da8: SLOAD 00000da9: SWAP1 00000daa: PUSH2 0x0100 00000dad: EXP 00000dae: SWAP1 00000daf: DIV 00000db0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc5: AND 00000dc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ddb: AND 00000ddc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df1: AND 00000df2: DUP2 00000df3: MSTORE 00000df4: PUSH1 0x20 00000df6: ADD 00000df7: SWAP1 00000df8: DUP2 00000df9: MSTORE 00000dfa: PUSH1 0x20 00000dfc: ADD 00000dfd: PUSH1 0x00 00000dff: KECCAK256 00000e00: DUP2 00000e01: SWAP1 00000e02: SSTORE 00000e03: POP 00000e04: PUSH2 0x0e77 00000e07: DUP2 00000e08: PUSH1 0x0d 00000e0a: PUSH1 0x00 00000e0c: PUSH1 0x04 00000e0e: PUSH1 0x00 00000e10: SWAP1 00000e11: SLOAD 00000e12: SWAP1 00000e13: PUSH2 0x0100 00000e16: EXP 00000e17: SWAP1 00000e18: DIV 00000e19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2e: AND 00000e2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e44: AND 00000e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5a: AND 00000e5b: DUP2 00000e5c: MSTORE 00000e5d: PUSH1 0x20 00000e5f: ADD 00000e60: SWAP1 00000e61: DUP2 00000e62: MSTORE 00000e63: PUSH1 0x20 00000e65: ADD 00000e66: PUSH1 0x00 00000e68: KECCAK256 00000e69: SLOAD 00000e6a: PUSH2 0x0cbb 00000e6d: SWAP1 00000e6e: SWAP2 00000e6f: SWAP1 00000e70: PUSH4 0xffffffff 00000e75: AND 00000e76: JUMP 00000e77: JUMPDEST 00000e78: PUSH1 0x0d 00000e7a: PUSH1 0x00 00000e7c: PUSH1 0x04 00000e7e: PUSH1 0x00 00000e80: SWAP1 00000e81: SLOAD 00000e82: SWAP1 00000e83: PUSH2 0x0100 00000e86: EXP 00000e87: SWAP1 00000e88: DIV 00000e89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9e: AND 00000e9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb4: AND 00000eb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eca: AND 00000ecb: DUP2 00000ecc: MSTORE 00000ecd: PUSH1 0x20 00000ecf: ADD 00000ed0: SWAP1 00000ed1: DUP2 00000ed2: MSTORE 00000ed3: PUSH1 0x20 00000ed5: ADD 00000ed6: PUSH1 0x00 00000ed8: KECCAK256 00000ed9: DUP2 00000eda: SWAP1 00000edb: SSTORE 00000edc: POP 00000edd: PUSH2 0x0f00 00000ee0: PUSH1 0x41 00000ee2: PUSH1 0x64 00000ee4: DUP6 00000ee5: MUL 00000ee6: DUP2 00000ee7: ISZERO 00000ee8: ISZERO 00000ee9: PUSH2 0x0eee 00000eec: JUMPI 00000eed: INVALID 00000eee: JUMPDEST 00000eef: DIV 00000ef0: PUSH1 0x01 00000ef2: SLOAD 00000ef3: PUSH2 0x0cbb 00000ef6: SWAP1 00000ef7: SWAP2 00000ef8: SWAP1 00000ef9: PUSH4 0xffffffff 00000efe: AND 00000eff: JUMP 00000f00: JUMPDEST 00000f01: PUSH1 0x01 00000f03: DUP2 00000f04: SWAP1 00000f05: SSTORE 00000f06: POP 00000f07: PUSH2 0x0f58 00000f0a: DUP4 00000f0b: PUSH1 0x0d 00000f0d: PUSH1 0x00 00000f0f: DUP8 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: PUSH2 0x0cbb 00000f4e: SWAP1 00000f4f: SWAP2 00000f50: SWAP1 00000f51: PUSH4 0xffffffff 00000f56: AND 00000f57: JUMP 00000f58: JUMPDEST 00000f59: PUSH1 0x0d 00000f5b: PUSH1 0x00 00000f5d: DUP7 00000f5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f73: AND 00000f74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f89: AND 00000f8a: DUP2 00000f8b: MSTORE 00000f8c: PUSH1 0x20 00000f8e: ADD 00000f8f: SWAP1 00000f90: DUP2 00000f91: MSTORE 00000f92: PUSH1 0x20 00000f94: ADD 00000f95: PUSH1 0x00 00000f97: KECCAK256 00000f98: DUP2 00000f99: SWAP1 00000f9a: SSTORE 00000f9b: POP 00000f9c: DUP4 00000f9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb2: AND 00000fb3: DUP6 00000fb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc9: AND 00000fca: PUSH32 0xab8530f87dc9b59234c4623bf917212bb2536d647574c8e7e5da92c2ede0c9f8 00000feb: DUP6 00000fec: PUSH1 0x40 00000fee: MLOAD 00000fef: DUP1 00000ff0: DUP3 00000ff1: DUP2 00000ff2: MSTORE 00000ff3: PUSH1 0x20 00000ff5: ADD 00000ff6: SWAP2 00000ff7: POP 00000ff8: POP 00000ff9: PUSH1 0x40 00000ffb: MLOAD 00000ffc: DUP1 00000ffd: SWAP2 00000ffe: SUB 00000fff: SWAP1 00001000: LOG3 00001001: DUP4 00001002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001017: AND 00001018: PUSH1 0x00 0000101a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000103b: DUP6 0000103c: PUSH1 0x40 0000103e: MLOAD 0000103f: DUP1 00001040: DUP3 00001041: DUP2 00001042: MSTORE 00001043: PUSH1 0x20 00001045: ADD 00001046: SWAP2 00001047: POP 00001048: POP 00001049: PUSH1 0x40 0000104b: MLOAD 0000104c: DUP1 0000104d: SWAP2 0000104e: SUB 0000104f: SWAP1 00001050: LOG3 00001051: PUSH1 0x06 00001053: PUSH1 0x00 00001055: SWAP1 00001056: SLOAD 00001057: SWAP1 00001058: PUSH2 0x0100 0000105b: EXP 0000105c: SWAP1 0000105d: DIV 0000105e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001073: AND 00001074: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001089: AND 0000108a: DUP6 0000108b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a0: AND 000010a1: PUSH32 0xab8530f87dc9b59234c4623bf917212bb2536d647574c8e7e5da92c2ede0c9f8 000010c2: DUP5 000010c3: PUSH1 0x40 000010c5: MLOAD 000010c6: DUP1 000010c7: DUP3 000010c8: DUP2 000010c9: MSTORE 000010ca: PUSH1 0x20 000010cc: ADD 000010cd: SWAP2 000010ce: POP 000010cf: POP 000010d0: PUSH1 0x40 000010d2: MLOAD 000010d3: DUP1 000010d4: SWAP2 000010d5: SUB 000010d6: SWAP1 000010d7: LOG3 000010d8: PUSH1 0x06 000010da: PUSH1 0x00 000010dc: SWAP1 000010dd: SLOAD 000010de: SWAP1 000010df: PUSH2 0x0100 000010e2: EXP 000010e3: SWAP1 000010e4: DIV 000010e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fa: AND 000010fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001110: AND 00001111: PUSH1 0x00 00001113: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001134: DUP5 00001135: PUSH1 0x40 00001137: MLOAD 00001138: DUP1 00001139: DUP3 0000113a: DUP2 0000113b: MSTORE 0000113c: PUSH1 0x20 0000113e: ADD 0000113f: SWAP2 00001140: POP 00001141: POP 00001142: PUSH1 0x40 00001144: MLOAD 00001145: DUP1 00001146: SWAP2 00001147: SUB 00001148: SWAP1 00001149: LOG3 0000114a: PUSH1 0x04 0000114c: PUSH1 0x00 0000114e: SWAP1 0000114f: SLOAD 00001150: SWAP1 00001151: PUSH2 0x0100 00001154: EXP 00001155: SWAP1 00001156: DIV 00001157: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000116c: AND 0000116d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001182: AND 00001183: DUP6 00001184: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001199: AND 0000119a: PUSH32 0xab8530f87dc9b59234c4623bf917212bb2536d647574c8e7e5da92c2ede0c9f8 000011bb: DUP4 000011bc: PUSH1 0x40 000011be: MLOAD 000011bf: DUP1 000011c0: DUP3 000011c1: DUP2 000011c2: MSTORE 000011c3: PUSH1 0x20 000011c5: ADD 000011c6: SWAP2 000011c7: POP 000011c8: POP 000011c9: PUSH1 0x40 000011cb: MLOAD 000011cc: DUP1 000011cd: SWAP2 000011ce: SUB 000011cf: SWAP1 000011d0: LOG3 000011d1: PUSH1 0x04 000011d3: PUSH1 0x00 000011d5: SWAP1 000011d6: SLOAD 000011d7: SWAP1 000011d8: PUSH2 0x0100 000011db: EXP 000011dc: SWAP1 000011dd: DIV 000011de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f3: AND 000011f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001209: AND 0000120a: PUSH1 0x00 0000120c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000122d: DUP4 0000122e: PUSH1 0x40 00001230: MLOAD 00001231: DUP1 00001232: DUP3 00001233: DUP2 00001234: MSTORE 00001235: PUSH1 0x20 00001237: ADD 00001238: SWAP2 00001239: POP 0000123a: POP 0000123b: PUSH1 0x40 0000123d: MLOAD 0000123e: DUP1 0000123f: SWAP2 00001240: SUB 00001241: SWAP1 00001242: LOG3 00001243: POP 00001244: POP 00001245: POP 00001246: POP 00001247: POP 00001248: JUMP 00001249: JUMPDEST 0000124a: PUSH1 0x40 0000124c: DUP1 0000124d: MLOAD 0000124e: SWAP1 0000124f: DUP2 00001250: ADD 00001251: PUSH1 0x40 00001253: MSTORE 00001254: DUP1 00001255: PUSH1 0x07 00001257: DUP2 00001258: MSTORE 00001259: PUSH1 0x20 0000125b: ADD 0000125c: PUSH32 0x426f756e74696500000000000000000000000000000000000000000000000000 0000127d: DUP2 0000127e: MSTORE 0000127f: POP 00001280: DUP2 00001281: JUMP 00001282: JUMPDEST 00001283: PUSH1 0x00 00001285: PUSH1 0x0b 00001287: SLOAD 00001288: TIMESTAMP 00001289: LT 0000128a: ISZERO 0000128b: ISZERO 0000128c: ISZERO 0000128d: PUSH2 0x1295 00001290: JUMPI 00001291: PUSH1 0x00 00001293: DUP1 00001294: REVERT 00001295: JUMPDEST 00001296: PUSH1 0x0c 00001298: PUSH1 0x00 0000129a: SWAP1 0000129b: SLOAD 0000129c: SWAP1 0000129d: PUSH2 0x0100 000012a0: EXP 000012a1: SWAP1 000012a2: DIV 000012a3: PUSH1 0xff 000012a5: AND 000012a6: ISZERO 000012a7: ISZERO 000012a8: ISZERO 000012a9: PUSH2 0x12b1 000012ac: JUMPI 000012ad: PUSH1 0x00 000012af: DUP1 000012b0: REVERT 000012b1: JUMPDEST 000012b2: PUSH1 0x00 000012b4: DUP4 000012b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ca: AND 000012cb: EQ 000012cc: ISZERO 000012cd: ISZERO 000012ce: ISZERO 000012cf: PUSH2 0x12d7 000012d2: JUMPI 000012d3: PUSH1 0x00 000012d5: DUP1 000012d6: REVERT 000012d7: JUMPDEST 000012d8: DUP2 000012d9: PUSH1 0x0e 000012db: PUSH1 0x00 000012dd: CALLER 000012de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f3: AND 000012f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001309: AND 0000130a: DUP2 0000130b: MSTORE 0000130c: PUSH1 0x20 0000130e: ADD 0000130f: SWAP1 00001310: DUP2 00001311: MSTORE 00001312: PUSH1 0x20 00001314: ADD 00001315: PUSH1 0x00 00001317: KECCAK256 00001318: PUSH1 0x00 0000131a: DUP6 0000131b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001330: AND 00001331: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001346: AND 00001347: DUP2 00001348: MSTORE 00001349: PUSH1 0x20 0000134b: ADD 0000134c: SWAP1 0000134d: DUP2 0000134e: MSTORE 0000134f: PUSH1 0x20 00001351: ADD 00001352: PUSH1 0x00 00001354: KECCAK256 00001355: DUP2 00001356: SWAP1 00001357: SSTORE 00001358: POP 00001359: DUP3 0000135a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000136f: AND 00001370: CALLER 00001371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001386: AND 00001387: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000013a8: DUP5 000013a9: PUSH1 0x40 000013ab: MLOAD 000013ac: DUP1 000013ad: DUP3 000013ae: DUP2 000013af: MSTORE 000013b0: PUSH1 0x20 000013b2: ADD 000013b3: SWAP2 000013b4: POP 000013b5: POP 000013b6: PUSH1 0x40 000013b8: MLOAD 000013b9: DUP1 000013ba: SWAP2 000013bb: SUB 000013bc: SWAP1 000013bd: LOG3 000013be: PUSH1 0x01 000013c0: SWAP1 000013c1: POP 000013c2: SWAP3 000013c3: SWAP2 000013c4: POP 000013c5: POP 000013c6: JUMP 000013c7: JUMPDEST 000013c8: PUSH1 0x00 000013ca: PUSH1 0x01 000013cc: SLOAD 000013cd: SWAP1 000013ce: POP 000013cf: SWAP1 000013d0: JUMP 000013d1: JUMPDEST 000013d2: PUSH1 0x0a 000013d4: SLOAD 000013d5: DUP2 000013d6: JUMP 000013d7: JUMPDEST 000013d8: PUSH1 0x03 000013da: SLOAD 000013db: DUP2 000013dc: JUMP 000013dd: JUMPDEST 000013de: PUSH1 0x00 000013e0: SLOAD 000013e1: DUP2 000013e2: JUMP 000013e3: JUMPDEST 000013e4: PUSH1 0x00 000013e6: PUSH1 0x0b 000013e8: SLOAD 000013e9: TIMESTAMP 000013ea: LT 000013eb: ISZERO 000013ec: ISZERO 000013ed: ISZERO 000013ee: PUSH2 0x13f6 000013f1: JUMPI 000013f2: PUSH1 0x00 000013f4: DUP1 000013f5: REVERT 000013f6: JUMPDEST 000013f7: PUSH1 0x00 000013f9: DUP4 000013fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140f: AND 00001410: EQ 00001411: ISZERO 00001412: ISZERO 00001413: ISZERO 00001414: PUSH2 0x141c 00001417: JUMPI 00001418: PUSH1 0x00 0000141a: DUP1 0000141b: REVERT 0000141c: JUMPDEST 0000141d: PUSH1 0x0c 0000141f: PUSH1 0x00 00001421: SWAP1 00001422: SLOAD 00001423: SWAP1 00001424: PUSH2 0x0100 00001427: EXP 00001428: SWAP1 00001429: DIV 0000142a: PUSH1 0xff 0000142c: AND 0000142d: ISZERO 0000142e: ISZERO 0000142f: ISZERO 00001430: PUSH2 0x1438 00001433: JUMPI 00001434: PUSH1 0x00 00001436: DUP1 00001437: REVERT 00001438: JUMPDEST 00001439: DUP2 0000143a: PUSH1 0x0d 0000143c: PUSH1 0x00 0000143e: DUP7 0000143f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001454: AND 00001455: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000146a: AND 0000146b: DUP2 0000146c: MSTORE 0000146d: PUSH1 0x20 0000146f: ADD 00001470: SWAP1 00001471: DUP2 00001472: MSTORE 00001473: PUSH1 0x20 00001475: ADD 00001476: PUSH1 0x00 00001478: KECCAK256 00001479: SLOAD 0000147a: LT 0000147b: ISZERO 0000147c: DUP1 0000147d: ISZERO 0000147e: PUSH2 0x1503 00001481: JUMPI 00001482: POP 00001483: DUP2 00001484: PUSH1 0x0e 00001486: PUSH1 0x00 00001488: DUP7 00001489: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000149e: AND 0000149f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014b4: AND 000014b5: DUP2 000014b6: MSTORE 000014b7: PUSH1 0x20 000014b9: ADD 000014ba: SWAP1 000014bb: DUP2 000014bc: MSTORE 000014bd: PUSH1 0x20 000014bf: ADD 000014c0: PUSH1 0x00 000014c2: KECCAK256 000014c3: PUSH1 0x00 000014c5: CALLER 000014c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014db: AND 000014dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f1: AND 000014f2: DUP2 000014f3: MSTORE 000014f4: PUSH1 0x20 000014f6: ADD 000014f7: SWAP1 000014f8: DUP2 000014f9: MSTORE 000014fa: PUSH1 0x20 000014fc: ADD 000014fd: PUSH1 0x00 000014ff: KECCAK256 00001500: SLOAD 00001501: LT 00001502: ISZERO 00001503: JUMPDEST 00001504: DUP1 00001505: ISZERO 00001506: PUSH2 0x1510 00001509: JUMPI 0000150a: POP 0000150b: PUSH1 0x00 0000150d: DUP3 0000150e: LT 0000150f: ISZERO 00001510: JUMPDEST 00001511: ISZERO 00001512: ISZERO 00001513: PUSH2 0x151b 00001516: JUMPI 00001517: PUSH1 0x00 00001519: DUP1 0000151a: REVERT 0000151b: JUMPDEST 0000151c: PUSH2 0x156d 0000151f: DUP3 00001520: PUSH1 0x0d 00001522: PUSH1 0x00 00001524: DUP8 00001525: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000153a: AND 0000153b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001550: AND 00001551: DUP2 00001552: MSTORE 00001553: PUSH1 0x20 00001555: ADD 00001556: SWAP1 00001557: DUP2 00001558: MSTORE 00001559: PUSH1 0x20 0000155b: ADD 0000155c: PUSH1 0x00 0000155e: KECCAK256 0000155f: SLOAD 00001560: PUSH2 0x291e 00001563: SWAP1 00001564: SWAP2 00001565: SWAP1 00001566: PUSH4 0xffffffff 0000156b: AND 0000156c: JUMP 0000156d: JUMPDEST 0000156e: PUSH1 0x0d 00001570: PUSH1 0x00 00001572: DUP7 00001573: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001588: AND 00001589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000159e: AND 0000159f: DUP2 000015a0: MSTORE 000015a1: PUSH1 0x20 000015a3: ADD 000015a4: SWAP1 000015a5: DUP2 000015a6: MSTORE 000015a7: PUSH1 0x20 000015a9: ADD 000015aa: PUSH1 0x00 000015ac: KECCAK256 000015ad: DUP2 000015ae: SWAP1 000015af: SSTORE 000015b0: POP 000015b1: PUSH2 0x163f 000015b4: DUP3 000015b5: PUSH1 0x0e 000015b7: PUSH1 0x00 000015b9: DUP8 000015ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015cf: AND 000015d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e5: AND 000015e6: DUP2 000015e7: MSTORE 000015e8: PUSH1 0x20 000015ea: ADD 000015eb: SWAP1 000015ec: DUP2 000015ed: MSTORE 000015ee: PUSH1 0x20 000015f0: ADD 000015f1: PUSH1 0x00 000015f3: KECCAK256 000015f4: PUSH1 0x00 000015f6: CALLER 000015f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000160c: AND 0000160d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001622: AND 00001623: DUP2 00001624: MSTORE 00001625: PUSH1 0x20 00001627: ADD 00001628: SWAP1 00001629: DUP2 0000162a: MSTORE 0000162b: PUSH1 0x20 0000162d: ADD 0000162e: PUSH1 0x00 00001630: KECCAK256 00001631: SLOAD 00001632: PUSH2 0x291e 00001635: SWAP1 00001636: SWAP2 00001637: SWAP1 00001638: PUSH4 0xffffffff 0000163d: AND 0000163e: JUMP 0000163f: JUMPDEST 00001640: PUSH1 0x0e 00001642: PUSH1 0x00 00001644: DUP7 00001645: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000165a: AND 0000165b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001670: AND 00001671: DUP2 00001672: MSTORE 00001673: PUSH1 0x20 00001675: ADD 00001676: SWAP1 00001677: DUP2 00001678: MSTORE 00001679: PUSH1 0x20 0000167b: ADD 0000167c: PUSH1 0x00 0000167e: KECCAK256 0000167f: PUSH1 0x00 00001681: CALLER 00001682: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001697: AND 00001698: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ad: AND 000016ae: DUP2 000016af: MSTORE 000016b0: PUSH1 0x20 000016b2: ADD 000016b3: SWAP1 000016b4: DUP2 000016b5: MSTORE 000016b6: PUSH1 0x20 000016b8: ADD 000016b9: PUSH1 0x00 000016bb: KECCAK256 000016bc: DUP2 000016bd: SWAP1 000016be: SSTORE 000016bf: POP 000016c0: PUSH2 0x1711 000016c3: DUP3 000016c4: PUSH1 0x0d 000016c6: PUSH1 0x00 000016c8: DUP7 000016c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016de: AND 000016df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f4: AND 000016f5: DUP2 000016f6: MSTORE 000016f7: PUSH1 0x20 000016f9: ADD 000016fa: SWAP1 000016fb: DUP2 000016fc: MSTORE 000016fd: PUSH1 0x20 000016ff: ADD 00001700: PUSH1 0x00 00001702: KECCAK256 00001703: SLOAD 00001704: PUSH2 0x0cbb 00001707: SWAP1 00001708: SWAP2 00001709: SWAP1 0000170a: PUSH4 0xffffffff 0000170f: AND 00001710: JUMP 00001711: JUMPDEST 00001712: PUSH1 0x0d 00001714: PUSH1 0x00 00001716: DUP6 00001717: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000172c: AND 0000172d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001742: AND 00001743: DUP2 00001744: MSTORE 00001745: PUSH1 0x20 00001747: ADD 00001748: SWAP1 00001749: DUP2 0000174a: MSTORE 0000174b: PUSH1 0x20 0000174d: ADD 0000174e: PUSH1 0x00 00001750: KECCAK256 00001751: DUP2 00001752: SWAP1 00001753: SSTORE 00001754: POP 00001755: DUP3 00001756: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000176b: AND 0000176c: DUP5 0000176d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001782: AND 00001783: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000017a4: DUP5 000017a5: PUSH1 0x40 000017a7: MLOAD 000017a8: DUP1 000017a9: DUP3 000017aa: DUP2 000017ab: MSTORE 000017ac: PUSH1 0x20 000017ae: ADD 000017af: SWAP2 000017b0: POP 000017b1: POP 000017b2: PUSH1 0x40 000017b4: MLOAD 000017b5: DUP1 000017b6: SWAP2 000017b7: SUB 000017b8: SWAP1 000017b9: LOG3 000017ba: PUSH1 0x01 000017bc: SWAP1 000017bd: POP 000017be: SWAP4 000017bf: SWAP3 000017c0: POP 000017c1: POP 000017c2: POP 000017c3: JUMP 000017c4: JUMPDEST 000017c5: PUSH1 0x07 000017c7: SLOAD 000017c8: DUP2 000017c9: JUMP 000017ca: JUMPDEST 000017cb: PUSH1 0x12 000017cd: DUP2 000017ce: JUMP 000017cf: JUMPDEST 000017d0: PUSH1 0x00 000017d2: DUP1 000017d3: PUSH1 0x04 000017d5: PUSH1 0x00 000017d7: SWAP1 000017d8: SLOAD 000017d9: SWAP1 000017da: PUSH2 0x0100 000017dd: EXP 000017de: SWAP1 000017df: DIV 000017e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017f5: AND 000017f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000180b: AND 0000180c: CALLER 0000180d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001822: AND 00001823: EQ 00001824: ISZERO 00001825: ISZERO 00001826: PUSH2 0x182e 00001829: JUMPI 0000182a: PUSH1 0x00 0000182c: DUP1 0000182d: REVERT 0000182e: JUMPDEST 0000182f: PUSH8 0x0de0b6b3a7640000 00001838: DUP4 00001839: MUL 0000183a: SWAP1 0000183b: POP 0000183c: DUP1 0000183d: PUSH1 0x0d 0000183f: PUSH1 0x00 00001841: CALLER 00001842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001857: AND 00001858: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000186d: AND 0000186e: DUP2 0000186f: MSTORE 00001870: PUSH1 0x20 00001872: ADD 00001873: SWAP1 00001874: DUP2 00001875: MSTORE 00001876: PUSH1 0x20 00001878: ADD 00001879: PUSH1 0x00 0000187b: KECCAK256 0000187c: SLOAD 0000187d: LT 0000187e: ISZERO 0000187f: ISZERO 00001880: ISZERO 00001881: PUSH2 0x1889 00001884: JUMPI 00001885: PUSH1 0x00 00001887: DUP1 00001888: REVERT 00001889: JUMPDEST 0000188a: PUSH2 0x18db 0000188d: DUP2 0000188e: PUSH1 0x0d 00001890: PUSH1 0x00 00001892: CALLER 00001893: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a8: AND 000018a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018be: AND 000018bf: DUP2 000018c0: MSTORE 000018c1: PUSH1 0x20 000018c3: ADD 000018c4: SWAP1 000018c5: DUP2 000018c6: MSTORE 000018c7: PUSH1 0x20 000018c9: ADD 000018ca: PUSH1 0x00 000018cc: KECCAK256 000018cd: SLOAD 000018ce: PUSH2 0x291e 000018d1: SWAP1 000018d2: SWAP2 000018d3: SWAP1 000018d4: PUSH4 0xffffffff 000018d9: AND 000018da: JUMP 000018db: JUMPDEST 000018dc: PUSH1 0x0d 000018de: PUSH1 0x00 000018e0: CALLER 000018e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018f6: AND 000018f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000190c: AND 0000190d: DUP2 0000190e: MSTORE 0000190f: PUSH1 0x20 00001911: ADD 00001912: SWAP1 00001913: DUP2 00001914: MSTORE 00001915: PUSH1 0x20 00001917: ADD 00001918: PUSH1 0x00 0000191a: KECCAK256 0000191b: DUP2 0000191c: SWAP1 0000191d: SSTORE 0000191e: POP 0000191f: PUSH2 0x1933 00001922: DUP2 00001923: PUSH1 0x01 00001925: SLOAD 00001926: PUSH2 0x291e 00001929: SWAP1 0000192a: SWAP2 0000192b: SWAP1 0000192c: PUSH4 0xffffffff 00001931: AND 00001932: JUMP 00001933: JUMPDEST 00001934: PUSH1 0x01 00001936: DUP2 00001937: SWAP1 00001938: SSTORE 00001939: POP 0000193a: CALLER 0000193b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001950: AND 00001951: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5 00001972: DUP3 00001973: PUSH1 0x40 00001975: MLOAD 00001976: DUP1 00001977: DUP3 00001978: DUP2 00001979: MSTORE 0000197a: PUSH1 0x20 0000197c: ADD 0000197d: SWAP2 0000197e: POP 0000197f: POP 00001980: PUSH1 0x40 00001982: MLOAD 00001983: DUP1 00001984: SWAP2 00001985: SUB 00001986: SWAP1 00001987: LOG2 00001988: PUSH1 0x01 0000198a: SWAP2 0000198b: POP 0000198c: POP 0000198d: SWAP2 0000198e: SWAP1 0000198f: POP 00001990: JUMP 00001991: JUMPDEST 00001992: PUSH1 0x04 00001994: PUSH1 0x00 00001996: SWAP1 00001997: SLOAD 00001998: SWAP1 00001999: PUSH2 0x0100 0000199c: EXP 0000199d: SWAP1 0000199e: DIV 0000199f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b4: AND 000019b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ca: AND 000019cb: CALLER 000019cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e1: AND 000019e2: EQ 000019e3: ISZERO 000019e4: ISZERO 000019e5: PUSH2 0x19ed 000019e8: JUMPI 000019e9: PUSH1 0x00 000019eb: DUP1 000019ec: REVERT 000019ed: JUMPDEST 000019ee: PUSH1 0x07 000019f0: SLOAD 000019f1: TIMESTAMP 000019f2: LT 000019f3: ISZERO 000019f4: DUP1 000019f5: ISZERO 000019f6: PUSH2 0x1a00 000019f9: JUMPI 000019fa: POP 000019fb: PUSH1 0x0b 000019fd: SLOAD 000019fe: TIMESTAMP 000019ff: LT 00001a00: JUMPDEST 00001a01: ISZERO 00001a02: ISZERO 00001a03: PUSH2 0x1a0b 00001a06: JUMPI 00001a07: PUSH1 0x00 00001a09: DUP1 00001a0a: REVERT 00001a0b: JUMPDEST 00001a0c: PUSH1 0x0c 00001a0e: PUSH1 0x01 00001a10: SWAP1 00001a11: SLOAD 00001a12: SWAP1 00001a13: PUSH2 0x0100 00001a16: EXP 00001a17: SWAP1 00001a18: DIV 00001a19: PUSH1 0xff 00001a1b: AND 00001a1c: ISZERO 00001a1d: ISZERO 00001a1e: ISZERO 00001a1f: PUSH2 0x1a27 00001a22: JUMPI 00001a23: PUSH1 0x00 00001a25: DUP1 00001a26: REVERT 00001a27: JUMPDEST 00001a28: PUSH1 0x01 00001a2a: PUSH1 0x0c 00001a2c: PUSH1 0x01 00001a2e: PUSH2 0x0100 00001a31: EXP 00001a32: DUP2 00001a33: SLOAD 00001a34: DUP2 00001a35: PUSH1 0xff 00001a37: MUL 00001a38: NOT 00001a39: AND 00001a3a: SWAP1 00001a3b: DUP4 00001a3c: ISZERO 00001a3d: ISZERO 00001a3e: MUL 00001a3f: OR 00001a40: SWAP1 00001a41: SSTORE 00001a42: POP 00001a43: JUMP 00001a44: JUMPDEST 00001a45: PUSH1 0x09 00001a47: SLOAD 00001a48: DUP2 00001a49: JUMP 00001a4a: JUMPDEST 00001a4b: PUSH1 0x00 00001a4d: DUP1 00001a4e: PUSH1 0x00 00001a50: PUSH1 0x04 00001a52: PUSH1 0x00 00001a54: SWAP1 00001a55: SLOAD 00001a56: SWAP1 00001a57: PUSH2 0x0100 00001a5a: EXP 00001a5b: SWAP1 00001a5c: DIV 00001a5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a72: AND 00001a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a88: AND 00001a89: CALLER 00001a8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a9f: AND 00001aa0: EQ 00001aa1: ISZERO 00001aa2: ISZERO 00001aa3: PUSH2 0x1aab 00001aa6: JUMPI 00001aa7: PUSH1 0x00 00001aa9: DUP1 00001aaa: REVERT 00001aab: JUMPDEST 00001aac: PUSH1 0x00 00001aae: DUP5 00001aaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac4: AND 00001ac5: EQ 00001ac6: ISZERO 00001ac7: DUP1 00001ac8: ISZERO 00001ac9: PUSH2 0x1b20 00001acc: JUMPI 00001acd: POP 00001ace: DUP4 00001acf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ae4: AND 00001ae5: PUSH1 0x06 00001ae7: PUSH1 0x00 00001ae9: SWAP1 00001aea: SLOAD 00001aeb: SWAP1 00001aec: PUSH2 0x0100 00001aef: EXP 00001af0: SWAP1 00001af1: DIV 00001af2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b07: AND 00001b08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b1d: AND 00001b1e: EQ 00001b1f: ISZERO 00001b20: JUMPDEST 00001b21: ISZERO 00001b22: ISZERO 00001b23: PUSH2 0x1b2b 00001b26: JUMPI 00001b27: PUSH1 0x00 00001b29: DUP1 00001b2a: REVERT 00001b2b: JUMPDEST 00001b2c: PUSH1 0x0d 00001b2e: PUSH1 0x00 00001b30: PUSH1 0x06 00001b32: PUSH1 0x00 00001b34: SWAP1 00001b35: SLOAD 00001b36: SWAP1 00001b37: PUSH2 0x0100 00001b3a: EXP 00001b3b: SWAP1 00001b3c: DIV 00001b3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b52: AND 00001b53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b68: AND 00001b69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b7e: AND 00001b7f: DUP2 00001b80: MSTORE 00001b81: PUSH1 0x20 00001b83: ADD 00001b84: SWAP1 00001b85: DUP2 00001b86: MSTORE 00001b87: PUSH1 0x20 00001b89: ADD 00001b8a: PUSH1 0x00 00001b8c: KECCAK256 00001b8d: SLOAD 00001b8e: SWAP2 00001b8f: POP 00001b90: PUSH1 0x06 00001b92: PUSH1 0x00 00001b94: SWAP1 00001b95: SLOAD 00001b96: SWAP1 00001b97: PUSH2 0x0100 00001b9a: EXP 00001b9b: SWAP1 00001b9c: DIV 00001b9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bb2: AND 00001bb3: SWAP1 00001bb4: POP 00001bb5: PUSH2 0x1c06 00001bb8: DUP3 00001bb9: PUSH1 0x0d 00001bbb: PUSH1 0x00 00001bbd: DUP8 00001bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd3: AND 00001bd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001be9: AND 00001bea: DUP2 00001beb: MSTORE 00001bec: PUSH1 0x20 00001bee: ADD 00001bef: SWAP1 00001bf0: DUP2 00001bf1: MSTORE 00001bf2: PUSH1 0x20 00001bf4: ADD 00001bf5: PUSH1 0x00 00001bf7: KECCAK256 00001bf8: SLOAD 00001bf9: PUSH2 0x0cbb 00001bfc: SWAP1 00001bfd: SWAP2 00001bfe: SWAP1 00001bff: PUSH4 0xffffffff 00001c04: AND 00001c05: JUMP 00001c06: JUMPDEST 00001c07: PUSH1 0x0d 00001c09: PUSH1 0x00 00001c0b: DUP7 00001c0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c21: AND 00001c22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c37: AND 00001c38: DUP2 00001c39: MSTORE 00001c3a: PUSH1 0x20 00001c3c: ADD 00001c3d: SWAP1 00001c3e: DUP2 00001c3f: MSTORE 00001c40: PUSH1 0x20 00001c42: ADD 00001c43: PUSH1 0x00 00001c45: KECCAK256 00001c46: DUP2 00001c47: SWAP1 00001c48: SSTORE 00001c49: POP 00001c4a: PUSH1 0x00 00001c4c: PUSH1 0x0d 00001c4e: PUSH1 0x00 00001c50: PUSH1 0x06 00001c52: PUSH1 0x00 00001c54: SWAP1 00001c55: SLOAD 00001c56: SWAP1 00001c57: PUSH2 0x0100 00001c5a: EXP 00001c5b: SWAP1 00001c5c: DIV 00001c5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c72: AND 00001c73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c88: AND 00001c89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c9e: AND 00001c9f: DUP2 00001ca0: MSTORE 00001ca1: PUSH1 0x20 00001ca3: ADD 00001ca4: SWAP1 00001ca5: DUP2 00001ca6: MSTORE 00001ca7: PUSH1 0x20 00001ca9: ADD 00001caa: PUSH1 0x00 00001cac: KECCAK256 00001cad: DUP2 00001cae: SWAP1 00001caf: SSTORE 00001cb0: POP 00001cb1: DUP4 00001cb2: PUSH1 0x06 00001cb4: PUSH1 0x00 00001cb6: PUSH2 0x0100 00001cb9: EXP 00001cba: DUP2 00001cbb: SLOAD 00001cbc: DUP2 00001cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cd2: MUL 00001cd3: NOT 00001cd4: AND 00001cd5: SWAP1 00001cd6: DUP4 00001cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cec: AND 00001ced: MUL 00001cee: OR 00001cef: SWAP1 00001cf0: SSTORE 00001cf1: POP 00001cf2: DUP4 00001cf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d08: AND 00001d09: DUP2 00001d0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d1f: AND 00001d20: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001d41: DUP5 00001d42: PUSH1 0x40 00001d44: MLOAD 00001d45: DUP1 00001d46: DUP3 00001d47: DUP2 00001d48: MSTORE 00001d49: PUSH1 0x20 00001d4b: ADD 00001d4c: SWAP2 00001d4d: POP 00001d4e: POP 00001d4f: PUSH1 0x40 00001d51: MLOAD 00001d52: DUP1 00001d53: SWAP2 00001d54: SUB 00001d55: SWAP1 00001d56: LOG3 00001d57: PUSH1 0x01 00001d59: SWAP3 00001d5a: POP 00001d5b: POP 00001d5c: POP 00001d5d: SWAP2 00001d5e: SWAP1 00001d5f: POP 00001d60: JUMP 00001d61: JUMPDEST 00001d62: PUSH1 0x04 00001d64: PUSH1 0x00 00001d66: SWAP1 00001d67: SLOAD 00001d68: SWAP1 00001d69: PUSH2 0x0100 00001d6c: EXP 00001d6d: SWAP1 00001d6e: DIV 00001d6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d84: AND 00001d85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d9a: AND 00001d9b: CALLER 00001d9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001db1: AND 00001db2: EQ 00001db3: ISZERO 00001db4: ISZERO 00001db5: PUSH2 0x1dbd 00001db8: JUMPI 00001db9: PUSH1 0x00 00001dbb: DUP1 00001dbc: REVERT 00001dbd: JUMPDEST 00001dbe: PUSH1 0x07 00001dc0: SLOAD 00001dc1: TIMESTAMP 00001dc2: LT 00001dc3: ISZERO 00001dc4: DUP1 00001dc5: ISZERO 00001dc6: PUSH2 0x1dd0 00001dc9: JUMPI 00001dca: POP 00001dcb: PUSH1 0x0b 00001dcd: SLOAD 00001dce: TIMESTAMP 00001dcf: LT 00001dd0: JUMPDEST 00001dd1: ISZERO 00001dd2: ISZERO 00001dd3: PUSH2 0x1ddb 00001dd6: JUMPI 00001dd7: PUSH1 0x00 00001dd9: DUP1 00001dda: REVERT 00001ddb: JUMPDEST 00001ddc: PUSH1 0x0c 00001dde: PUSH1 0x01 00001de0: SWAP1 00001de1: SLOAD 00001de2: SWAP1 00001de3: PUSH2 0x0100 00001de6: EXP 00001de7: SWAP1 00001de8: DIV 00001de9: PUSH1 0xff 00001deb: AND 00001dec: ISZERO 00001ded: ISZERO 00001dee: PUSH2 0x1df6 00001df1: JUMPI 00001df2: PUSH1 0x00 00001df4: DUP1 00001df5: REVERT 00001df6: JUMPDEST 00001df7: PUSH1 0x00 00001df9: PUSH1 0x0c 00001dfb: PUSH1 0x01 00001dfd: PUSH2 0x0100 00001e00: EXP 00001e01: DUP2 00001e02: SLOAD 00001e03: DUP2 00001e04: PUSH1 0xff 00001e06: MUL 00001e07: NOT 00001e08: AND 00001e09: SWAP1 00001e0a: DUP4 00001e0b: ISZERO 00001e0c: ISZERO 00001e0d: MUL 00001e0e: OR 00001e0f: SWAP1 00001e10: SSTORE 00001e11: POP 00001e12: JUMP 00001e13: JUMPDEST 00001e14: PUSH1 0x05 00001e16: PUSH1 0x00 00001e18: SWAP1 00001e19: SLOAD 00001e1a: SWAP1 00001e1b: PUSH2 0x0100 00001e1e: EXP 00001e1f: SWAP1 00001e20: DIV 00001e21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e36: AND 00001e37: DUP2 00001e38: JUMP 00001e39: JUMPDEST 00001e3a: PUSH1 0x00 00001e3c: PUSH1 0x0d 00001e3e: PUSH1 0x00 00001e40: DUP4 00001e41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e56: AND 00001e57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e6c: AND 00001e6d: DUP2 00001e6e: MSTORE 00001e6f: PUSH1 0x20 00001e71: ADD 00001e72: SWAP1 00001e73: DUP2 00001e74: MSTORE 00001e75: PUSH1 0x20 00001e77: ADD 00001e78: PUSH1 0x00 00001e7a: KECCAK256 00001e7b: SLOAD 00001e7c: SWAP1 00001e7d: POP 00001e7e: SWAP2 00001e7f: SWAP1 00001e80: POP 00001e81: JUMP 00001e82: JUMPDEST 00001e83: PUSH1 0x0c 00001e85: PUSH1 0x01 00001e87: SWAP1 00001e88: SLOAD 00001e89: SWAP1 00001e8a: PUSH2 0x0100 00001e8d: EXP 00001e8e: SWAP1 00001e8f: DIV 00001e90: PUSH1 0xff 00001e92: AND 00001e93: DUP2 00001e94: JUMP 00001e95: JUMPDEST 00001e96: PUSH1 0x04 00001e98: PUSH1 0x00 00001e9a: SWAP1 00001e9b: SLOAD 00001e9c: SWAP1 00001e9d: PUSH2 0x0100 00001ea0: EXP 00001ea1: SWAP1 00001ea2: DIV 00001ea3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eb8: AND 00001eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ece: AND 00001ecf: CALLER 00001ed0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ee5: AND 00001ee6: EQ 00001ee7: ISZERO 00001ee8: ISZERO 00001ee9: PUSH2 0x1ef1 00001eec: JUMPI 00001eed: PUSH1 0x00 00001eef: DUP1 00001ef0: REVERT 00001ef1: JUMPDEST 00001ef2: PUSH1 0x0b 00001ef4: SLOAD 00001ef5: TIMESTAMP 00001ef6: LT 00001ef7: ISZERO 00001ef8: ISZERO 00001ef9: ISZERO 00001efa: PUSH2 0x1f02 00001efd: JUMPI 00001efe: PUSH1 0x00 00001f00: DUP1 00001f01: REVERT 00001f02: JUMPDEST 00001f03: PUSH1 0x0c 00001f05: PUSH1 0x00 00001f07: SWAP1 00001f08: SLOAD 00001f09: SWAP1 00001f0a: PUSH2 0x0100 00001f0d: EXP 00001f0e: SWAP1 00001f0f: DIV 00001f10: PUSH1 0xff 00001f12: AND 00001f13: ISZERO 00001f14: ISZERO 00001f15: PUSH2 0x1f1d 00001f18: JUMPI 00001f19: PUSH1 0x00 00001f1b: DUP1 00001f1c: REVERT 00001f1d: JUMPDEST 00001f1e: PUSH1 0x00 00001f20: PUSH1 0x0c 00001f22: PUSH1 0x00 00001f24: PUSH2 0x0100 00001f27: EXP 00001f28: DUP2 00001f29: SLOAD 00001f2a: DUP2 00001f2b: PUSH1 0xff 00001f2d: MUL 00001f2e: NOT 00001f2f: AND 00001f30: SWAP1 00001f31: DUP4 00001f32: ISZERO 00001f33: ISZERO 00001f34: MUL 00001f35: OR 00001f36: SWAP1 00001f37: SSTORE 00001f38: POP 00001f39: JUMP 00001f3a: JUMPDEST 00001f3b: PUSH1 0x0b 00001f3d: SLOAD 00001f3e: DUP2 00001f3f: JUMP 00001f40: JUMPDEST 00001f41: PUSH1 0x02 00001f43: SLOAD 00001f44: DUP2 00001f45: JUMP 00001f46: JUMPDEST 00001f47: PUSH1 0x04 00001f49: PUSH1 0x00 00001f4b: SWAP1 00001f4c: SLOAD 00001f4d: SWAP1 00001f4e: PUSH2 0x0100 00001f51: EXP 00001f52: SWAP1 00001f53: DIV 00001f54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f69: AND 00001f6a: DUP2 00001f6b: JUMP 00001f6c: JUMPDEST 00001f6d: PUSH1 0x40 00001f6f: DUP1 00001f70: MLOAD 00001f71: SWAP1 00001f72: DUP2 00001f73: ADD 00001f74: PUSH1 0x40 00001f76: MSTORE 00001f77: DUP1 00001f78: PUSH1 0x04 00001f7a: DUP2 00001f7b: MSTORE 00001f7c: PUSH1 0x20 00001f7e: ADD 00001f7f: PUSH32 0x424e544500000000000000000000000000000000000000000000000000000000 00001fa0: DUP2 00001fa1: MSTORE 00001fa2: POP 00001fa3: DUP2 00001fa4: JUMP 00001fa5: JUMPDEST 00001fa6: PUSH1 0x00 00001fa8: PUSH1 0x04 00001faa: PUSH1 0x00 00001fac: SWAP1 00001fad: SLOAD 00001fae: SWAP1 00001faf: PUSH2 0x0100 00001fb2: EXP 00001fb3: SWAP1 00001fb4: DIV 00001fb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fca: AND 00001fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fe0: AND 00001fe1: CALLER 00001fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ff7: AND 00001ff8: EQ 00001ff9: ISZERO 00001ffa: ISZERO 00001ffb: PUSH2 0x2003 00001ffe: JUMPI 00001fff: PUSH1 0x00 00002001: DUP1 00002002: REVERT 00002003: JUMPDEST 00002004: ADDRESS 00002005: SWAP1 00002006: POP 00002007: PUSH1 0x05 00002009: PUSH1 0x00 0000200b: SWAP1 0000200c: SLOAD 0000200d: SWAP1 0000200e: PUSH2 0x0100 00002011: EXP 00002012: SWAP1 00002013: DIV 00002014: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002029: AND 0000202a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000203f: AND 00002040: PUSH2 0x08fc 00002043: DUP3 00002044: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002059: AND 0000205a: BALANCE 0000205b: SWAP1 0000205c: DUP2 0000205d: ISZERO 0000205e: MUL 0000205f: SWAP1 00002060: PUSH1 0x40 00002062: MLOAD 00002063: PUSH1 0x00 00002065: PUSH1 0x40 00002067: MLOAD 00002068: DUP1 00002069: DUP4 0000206a: SUB 0000206b: DUP2 0000206c: DUP6 0000206d: DUP9 0000206e: DUP9 0000206f: CALL 00002070: SWAP4 00002071: POP 00002072: POP 00002073: POP 00002074: POP 00002075: ISZERO 00002076: DUP1 00002077: ISZERO 00002078: PUSH2 0x2085 0000207b: JUMPI 0000207c: RETURNDATASIZE 0000207d: PUSH1 0x00 0000207f: DUP1 00002080: RETURNDATACOPY 00002081: RETURNDATASIZE 00002082: PUSH1 0x00 00002084: REVERT 00002085: JUMPDEST 00002086: POP 00002087: POP 00002088: JUMP 00002089: JUMPDEST 0000208a: PUSH1 0x04 0000208c: PUSH1 0x00 0000208e: SWAP1 0000208f: SLOAD 00002090: SWAP1 00002091: PUSH2 0x0100 00002094: EXP 00002095: SWAP1 00002096: DIV 00002097: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020ac: AND 000020ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020c2: AND 000020c3: CALLER 000020c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020d9: AND 000020da: EQ 000020db: ISZERO 000020dc: ISZERO 000020dd: PUSH2 0x20e5 000020e0: JUMPI 000020e1: PUSH1 0x00 000020e3: DUP1 000020e4: REVERT 000020e5: JUMPDEST 000020e6: PUSH1 0x00 000020e8: DUP2 000020e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020fe: AND 000020ff: EQ 00002100: ISZERO 00002101: ISZERO 00002102: ISZERO 00002103: PUSH2 0x210b 00002106: JUMPI 00002107: PUSH1 0x00 00002109: DUP1 0000210a: REVERT 0000210b: JUMPDEST 0000210c: PUSH2 0x21be 0000210f: PUSH1 0x0d 00002111: PUSH1 0x00 00002113: PUSH1 0x04 00002115: PUSH1 0x00 00002117: SWAP1 00002118: SLOAD 00002119: SWAP1 0000211a: PUSH2 0x0100 0000211d: EXP 0000211e: SWAP1 0000211f: DIV 00002120: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002135: AND 00002136: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000214b: AND 0000214c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002161: AND 00002162: DUP2 00002163: MSTORE 00002164: PUSH1 0x20 00002166: ADD 00002167: SWAP1 00002168: DUP2 00002169: MSTORE 0000216a: PUSH1 0x20 0000216c: ADD 0000216d: PUSH1 0x00 0000216f: KECCAK256 00002170: SLOAD 00002171: PUSH1 0x0d 00002173: PUSH1 0x00 00002175: DUP5 00002176: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000218b: AND 0000218c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021a1: AND 000021a2: DUP2 000021a3: MSTORE 000021a4: PUSH1 0x20 000021a6: ADD 000021a7: SWAP1 000021a8: DUP2 000021a9: MSTORE 000021aa: PUSH1 0x20 000021ac: ADD 000021ad: PUSH1 0x00 000021af: KECCAK256 000021b0: SLOAD 000021b1: PUSH2 0x0cbb 000021b4: SWAP1 000021b5: SWAP2 000021b6: SWAP1 000021b7: PUSH4 0xffffffff 000021bc: AND 000021bd: JUMP 000021be: JUMPDEST 000021bf: PUSH1 0x0d 000021c1: PUSH1 0x00 000021c3: DUP4 000021c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021d9: AND 000021da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021ef: AND 000021f0: DUP2 000021f1: MSTORE 000021f2: PUSH1 0x20 000021f4: ADD 000021f5: SWAP1 000021f6: DUP2 000021f7: MSTORE 000021f8: PUSH1 0x20 000021fa: ADD 000021fb: PUSH1 0x00 000021fd: KECCAK256 000021fe: DUP2 000021ff: SWAP1 00002200: SSTORE 00002201: POP 00002202: PUSH1 0x00 00002204: PUSH1 0x0d 00002206: PUSH1 0x00 00002208: PUSH1 0x04 0000220a: PUSH1 0x00 0000220c: SWAP1 0000220d: SLOAD 0000220e: SWAP1 0000220f: PUSH2 0x0100 00002212: EXP 00002213: SWAP1 00002214: DIV 00002215: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000222a: AND 0000222b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002240: AND 00002241: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002256: AND 00002257: DUP2 00002258: MSTORE 00002259: PUSH1 0x20 0000225b: ADD 0000225c: SWAP1 0000225d: DUP2 0000225e: MSTORE 0000225f: PUSH1 0x20 00002261: ADD 00002262: PUSH1 0x00 00002264: KECCAK256 00002265: DUP2 00002266: SWAP1 00002267: SSTORE 00002268: POP 00002269: DUP1 0000226a: PUSH1 0x04 0000226c: PUSH1 0x00 0000226e: PUSH2 0x0100 00002271: EXP 00002272: DUP2 00002273: SLOAD 00002274: DUP2 00002275: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000228a: MUL 0000228b: NOT 0000228c: AND 0000228d: SWAP1 0000228e: DUP4 0000228f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022a4: AND 000022a5: MUL 000022a6: OR 000022a7: SWAP1 000022a8: SSTORE 000022a9: POP 000022aa: DUP1 000022ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022c0: AND 000022c1: CALLER 000022c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022d7: AND 000022d8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000022f9: PUSH1 0x0d 000022fb: PUSH1 0x00 000022fd: DUP6 000022fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002313: AND 00002314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002329: AND 0000232a: DUP2 0000232b: MSTORE 0000232c: PUSH1 0x20 0000232e: ADD 0000232f: SWAP1 00002330: DUP2 00002331: MSTORE 00002332: PUSH1 0x20 00002334: ADD 00002335: PUSH1 0x00 00002337: KECCAK256 00002338: SLOAD 00002339: PUSH1 0x40 0000233b: MLOAD 0000233c: DUP1 0000233d: DUP3 0000233e: DUP2 0000233f: MSTORE 00002340: PUSH1 0x20 00002342: ADD 00002343: SWAP2 00002344: POP 00002345: POP 00002346: PUSH1 0x40 00002348: MLOAD 00002349: DUP1 0000234a: SWAP2 0000234b: SUB 0000234c: SWAP1 0000234d: LOG3 0000234e: POP 0000234f: JUMP 00002350: JUMPDEST 00002351: PUSH1 0x01 00002353: SLOAD 00002354: DUP2 00002355: JUMP 00002356: JUMPDEST 00002357: PUSH1 0x00 00002359: PUSH1 0x0b 0000235b: SLOAD 0000235c: TIMESTAMP 0000235d: LT 0000235e: ISZERO 0000235f: ISZERO 00002360: ISZERO 00002361: PUSH2 0x2369 00002364: JUMPI 00002365: PUSH1 0x00 00002367: DUP1 00002368: REVERT 00002369: JUMPDEST 0000236a: PUSH1 0x0c 0000236c: PUSH1 0x00 0000236e: SWAP1 0000236f: SLOAD 00002370: SWAP1 00002371: PUSH2 0x0100 00002374: EXP 00002375: SWAP1 00002376: DIV 00002377: PUSH1 0xff 00002379: AND 0000237a: ISZERO 0000237b: ISZERO 0000237c: ISZERO 0000237d: PUSH2 0x2385 00002380: JUMPI 00002381: PUSH1 0x00 00002383: DUP1 00002384: REVERT 00002385: JUMPDEST 00002386: PUSH1 0x00 00002388: DUP4 00002389: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000239e: AND 0000239f: EQ 000023a0: ISZERO 000023a1: ISZERO 000023a2: ISZERO 000023a3: PUSH2 0x23ab 000023a6: JUMPI 000023a7: PUSH1 0x00 000023a9: DUP1 000023aa: REVERT 000023ab: JUMPDEST 000023ac: DUP2 000023ad: PUSH1 0x0d 000023af: PUSH1 0x00 000023b1: CALLER 000023b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023c7: AND 000023c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023dd: AND 000023de: DUP2 000023df: MSTORE 000023e0: PUSH1 0x20 000023e2: ADD 000023e3: SWAP1 000023e4: DUP2 000023e5: MSTORE 000023e6: PUSH1 0x20 000023e8: ADD 000023e9: PUSH1 0x00 000023eb: KECCAK256 000023ec: SLOAD 000023ed: LT 000023ee: ISZERO 000023ef: DUP1 000023f0: ISZERO 000023f1: PUSH2 0x23fb 000023f4: JUMPI 000023f5: POP 000023f6: PUSH1 0x00 000023f8: DUP3 000023f9: LT 000023fa: ISZERO 000023fb: JUMPDEST 000023fc: ISZERO 000023fd: ISZERO 000023fe: PUSH2 0x2406 00002401: JUMPI 00002402: PUSH1 0x00 00002404: DUP1 00002405: REVERT 00002406: JUMPDEST 00002407: PUSH2 0x2458 0000240a: DUP3 0000240b: PUSH1 0x0d 0000240d: PUSH1 0x00 0000240f: CALLER 00002410: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002425: AND 00002426: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000243b: AND 0000243c: DUP2 0000243d: MSTORE 0000243e: PUSH1 0x20 00002440: ADD 00002441: SWAP1 00002442: DUP2 00002443: MSTORE 00002444: PUSH1 0x20 00002446: ADD 00002447: PUSH1 0x00 00002449: KECCAK256 0000244a: SLOAD 0000244b: PUSH2 0x291e 0000244e: SWAP1 0000244f: SWAP2 00002450: SWAP1 00002451: PUSH4 0xffffffff 00002456: AND 00002457: JUMP 00002458: JUMPDEST 00002459: PUSH1 0x0d 0000245b: PUSH1 0x00 0000245d: CALLER 0000245e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002473: AND 00002474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002489: AND 0000248a: DUP2 0000248b: MSTORE 0000248c: PUSH1 0x20 0000248e: ADD 0000248f: SWAP1 00002490: DUP2 00002491: MSTORE 00002492: PUSH1 0x20 00002494: ADD 00002495: PUSH1 0x00 00002497: KECCAK256 00002498: DUP2 00002499: SWAP1 0000249a: SSTORE 0000249b: POP 0000249c: PUSH2 0x24ed 0000249f: DUP3 000024a0: PUSH1 0x0d 000024a2: PUSH1 0x00 000024a4: DUP7 000024a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024ba: AND 000024bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024d0: AND 000024d1: DUP2 000024d2: MSTORE 000024d3: PUSH1 0x20 000024d5: ADD 000024d6: SWAP1 000024d7: DUP2 000024d8: MSTORE 000024d9: PUSH1 0x20 000024db: ADD 000024dc: PUSH1 0x00 000024de: KECCAK256 000024df: SLOAD 000024e0: PUSH2 0x0cbb 000024e3: SWAP1 000024e4: SWAP2 000024e5: SWAP1 000024e6: PUSH4 0xffffffff 000024eb: AND 000024ec: JUMP 000024ed: JUMPDEST 000024ee: PUSH1 0x0d 000024f0: PUSH1 0x00 000024f2: DUP6 000024f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002508: AND 00002509: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000251e: AND 0000251f: DUP2 00002520: MSTORE 00002521: PUSH1 0x20 00002523: ADD 00002524: SWAP1 00002525: DUP2 00002526: MSTORE 00002527: PUSH1 0x20 00002529: ADD 0000252a: PUSH1 0x00 0000252c: KECCAK256 0000252d: DUP2 0000252e: SWAP1 0000252f: SSTORE 00002530: POP 00002531: DUP3 00002532: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002547: AND 00002548: CALLER 00002549: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000255e: AND 0000255f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002580: DUP5 00002581: PUSH1 0x40 00002583: MLOAD 00002584: DUP1 00002585: DUP3 00002586: DUP2 00002587: MSTORE 00002588: PUSH1 0x20 0000258a: ADD 0000258b: SWAP2 0000258c: POP 0000258d: POP 0000258e: PUSH1 0x40 00002590: MLOAD 00002591: DUP1 00002592: SWAP2 00002593: SUB 00002594: SWAP1 00002595: LOG3 00002596: PUSH1 0x01 00002598: SWAP1 00002599: POP 0000259a: SWAP3 0000259b: SWAP2 0000259c: POP 0000259d: POP 0000259e: JUMP 0000259f: JUMPDEST 000025a0: PUSH1 0x04 000025a2: PUSH1 0x00 000025a4: SWAP1 000025a5: SLOAD 000025a6: SWAP1 000025a7: PUSH2 0x0100 000025aa: EXP 000025ab: SWAP1 000025ac: DIV 000025ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025c2: AND 000025c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025d8: AND 000025d9: CALLER 000025da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025ef: AND 000025f0: EQ 000025f1: ISZERO 000025f2: ISZERO 000025f3: PUSH2 0x25fb 000025f6: JUMPI 000025f7: PUSH1 0x00 000025f9: DUP1 000025fa: REVERT 000025fb: JUMPDEST 000025fc: PUSH1 0x00 000025fe: DUP2 000025ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002614: AND 00002615: EQ 00002616: ISZERO 00002617: ISZERO 00002618: ISZERO 00002619: PUSH2 0x2621 0000261c: JUMPI 0000261d: PUSH1 0x00 0000261f: DUP1 00002620: REVERT 00002621: JUMPDEST 00002622: DUP1 00002623: PUSH1 0x05 00002625: PUSH1 0x00 00002627: PUSH2 0x0100 0000262a: EXP 0000262b: DUP2 0000262c: SLOAD 0000262d: DUP2 0000262e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002643: MUL 00002644: NOT 00002645: AND 00002646: SWAP1 00002647: DUP4 00002648: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000265d: AND 0000265e: MUL 0000265f: OR 00002660: SWAP1 00002661: SSTORE 00002662: POP 00002663: POP 00002664: JUMP 00002665: JUMPDEST 00002666: PUSH1 0x06 00002668: PUSH1 0x00 0000266a: SWAP1 0000266b: SLOAD 0000266c: SWAP1 0000266d: PUSH2 0x0100 00002670: EXP 00002671: SWAP1 00002672: DIV 00002673: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002688: AND 00002689: DUP2 0000268a: JUMP 0000268b: JUMPDEST 0000268c: PUSH2 0x1964 0000268f: DUP2 00002690: JUMP 00002691: JUMPDEST 00002692: PUSH1 0x04 00002694: PUSH1 0x00 00002696: SWAP1 00002697: SLOAD 00002698: SWAP1 00002699: PUSH2 0x0100 0000269c: EXP 0000269d: SWAP1 0000269e: DIV 0000269f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026b4: AND 000026b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026ca: AND 000026cb: CALLER 000026cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026e1: AND 000026e2: EQ 000026e3: ISZERO 000026e4: ISZERO 000026e5: PUSH2 0x26ed 000026e8: JUMPI 000026e9: PUSH1 0x00 000026eb: DUP1 000026ec: REVERT 000026ed: JUMPDEST 000026ee: PUSH1 0x0b 000026f0: SLOAD 000026f1: TIMESTAMP 000026f2: LT 000026f3: ISZERO 000026f4: ISZERO 000026f5: ISZERO 000026f6: PUSH2 0x26fe 000026f9: JUMPI 000026fa: PUSH1 0x00 000026fc: DUP1 000026fd: REVERT 000026fe: JUMPDEST 000026ff: PUSH1 0x0c 00002701: PUSH1 0x00 00002703: SWAP1 00002704: SLOAD 00002705: SWAP1 00002706: PUSH2 0x0100 00002709: EXP 0000270a: SWAP1 0000270b: DIV 0000270c: PUSH1 0xff 0000270e: AND 0000270f: ISZERO 00002710: ISZERO 00002711: ISZERO 00002712: PUSH2 0x271a 00002715: JUMPI 00002716: PUSH1 0x00 00002718: DUP1 00002719: REVERT 0000271a: JUMPDEST 0000271b: PUSH1 0x01 0000271d: PUSH1 0x0c 0000271f: PUSH1 0x00 00002721: PUSH2 0x0100 00002724: EXP 00002725: DUP2 00002726: SLOAD 00002727: DUP2 00002728: PUSH1 0xff 0000272a: MUL 0000272b: NOT 0000272c: AND 0000272d: SWAP1 0000272e: DUP4 0000272f: ISZERO 00002730: ISZERO 00002731: MUL 00002732: OR 00002733: SWAP1 00002734: SSTORE 00002735: POP 00002736: JUMP 00002737: JUMPDEST 00002738: PUSH1 0x00 0000273a: DUP1 0000273b: DUP4 0000273c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002751: AND 00002752: EQ 00002753: ISZERO 00002754: DUP1 00002755: ISZERO 00002756: PUSH2 0x2776 00002759: JUMPI 0000275a: POP 0000275b: PUSH1 0x00 0000275d: DUP3 0000275e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002773: AND 00002774: EQ 00002775: ISZERO 00002776: JUMPDEST 00002777: ISZERO 00002778: ISZERO 00002779: PUSH2 0x2781 0000277c: JUMPI 0000277d: PUSH1 0x00 0000277f: DUP1 00002780: REVERT 00002781: JUMPDEST 00002782: PUSH1 0x0e 00002784: PUSH1 0x00 00002786: DUP5 00002787: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000279c: AND 0000279d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027b2: AND 000027b3: DUP2 000027b4: MSTORE 000027b5: PUSH1 0x20 000027b7: ADD 000027b8: SWAP1 000027b9: DUP2 000027ba: MSTORE 000027bb: PUSH1 0x20 000027bd: ADD 000027be: PUSH1 0x00 000027c0: KECCAK256 000027c1: PUSH1 0x00 000027c3: DUP4 000027c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027d9: AND 000027da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027ef: AND 000027f0: DUP2 000027f1: MSTORE 000027f2: PUSH1 0x20 000027f4: ADD 000027f5: SWAP1 000027f6: DUP2 000027f7: MSTORE 000027f8: PUSH1 0x20 000027fa: ADD 000027fb: PUSH1 0x00 000027fd: KECCAK256 000027fe: SLOAD 000027ff: SWAP1 00002800: POP 00002801: SWAP3 00002802: SWAP2 00002803: POP 00002804: POP 00002805: JUMP 00002806: JUMPDEST 00002807: PUSH1 0x00 00002809: DUP1 0000280a: PUSH1 0x00 0000280c: PUSH1 0x04 0000280e: PUSH1 0x00 00002810: SWAP1 00002811: SLOAD 00002812: SWAP1 00002813: PUSH2 0x0100 00002816: EXP 00002817: SWAP1 00002818: DIV 00002819: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000282e: AND 0000282f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002844: AND 00002845: CALLER 00002846: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000285b: AND 0000285c: EQ 0000285d: ISZERO 0000285e: ISZERO 0000285f: PUSH2 0x2867 00002862: JUMPI 00002863: PUSH1 0x00 00002865: DUP1 00002866: REVERT 00002867: JUMPDEST 00002868: PUSH1 0x0b 0000286a: SLOAD 0000286b: TIMESTAMP 0000286c: LT 0000286d: ISZERO 0000286e: ISZERO 0000286f: PUSH2 0x2877 00002872: JUMPI 00002873: PUSH1 0x00 00002875: DUP1 00002876: REVERT 00002877: JUMPDEST 00002878: PUSH8 0x0de0b6b3a7640000 00002881: DUP5 00002882: MUL 00002883: SWAP3 00002884: POP 00002885: PUSH2 0x288c 00002888: PUSH2 0x0b62 0000288b: JUMP 0000288c: JUMPDEST 0000288d: SWAP2 0000288e: POP 0000288f: PUSH2 0x28a1 00002892: DUP3 00002893: DUP5 00002894: PUSH2 0x2937 00002897: SWAP1 00002898: SWAP2 00002899: SWAP1 0000289a: PUSH4 0xffffffff 0000289f: AND 000028a0: JUMP 000028a1: JUMPDEST 000028a2: SWAP1 000028a3: POP 000028a4: PUSH2 0x28b8 000028a7: DUP2 000028a8: PUSH1 0x03 000028aa: SLOAD 000028ab: PUSH2 0x0cbb 000028ae: SWAP1 000028af: SWAP2 000028b0: SWAP1 000028b1: PUSH4 0xffffffff 000028b6: AND 000028b7: JUMP 000028b8: JUMPDEST 000028b9: PUSH1 0x03 000028bb: DUP2 000028bc: SWAP1 000028bd: SSTORE 000028be: POP 000028bf: PUSH1 0x00 000028c1: SLOAD 000028c2: PUSH1 0x03 000028c4: SLOAD 000028c5: GT 000028c6: ISZERO 000028c7: ISZERO 000028c8: ISZERO 000028c9: PUSH2 0x28d1 000028cc: JUMPI 000028cd: PUSH1 0x00 000028cf: DUP1 000028d0: REVERT 000028d1: JUMPDEST 000028d2: PUSH2 0x28fe 000028d5: PUSH1 0x04 000028d7: PUSH1 0x00 000028d9: SWAP1 000028da: SLOAD 000028db: SWAP1 000028dc: PUSH2 0x0100 000028df: EXP 000028e0: SWAP1 000028e1: DIV 000028e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028f7: AND 000028f8: DUP7 000028f9: DUP6 000028fa: PUSH2 0x0cd9 000028fd: JUMP 000028fe: JUMPDEST 000028ff: POP 00002900: POP 00002901: POP 00002902: POP 00002903: POP 00002904: JUMP 00002905: JUMPDEST 00002906: PUSH1 0x08 00002908: SLOAD 00002909: DUP2 0000290a: JUMP 0000290b: JUMPDEST 0000290c: PUSH1 0x0c 0000290e: PUSH1 0x00 00002910: SWAP1 00002911: SLOAD 00002912: SWAP1 00002913: PUSH2 0x0100 00002916: EXP 00002917: SWAP1 00002918: DIV 00002919: PUSH1 0xff 0000291b: AND 0000291c: DUP2 0000291d: JUMP 0000291e: JUMPDEST 0000291f: PUSH1 0x00 00002921: DUP3 00002922: DUP3 00002923: GT 00002924: ISZERO 00002925: ISZERO 00002926: ISZERO 00002927: PUSH2 0x292c 0000292a: JUMPI 0000292b: INVALID 0000292c: JUMPDEST 0000292d: DUP2 0000292e: DUP4 0000292f: SUB 00002930: SWAP1 00002931: POP 00002932: SWAP3 00002933: SWAP2 00002934: POP 00002935: POP 00002936: JUMP 00002937: JUMPDEST 00002938: PUSH1 0x00 0000293a: DUP1 0000293b: DUP3 0000293c: DUP5 0000293d: DUP2 0000293e: ISZERO 0000293f: ISZERO 00002940: PUSH2 0x2945 00002943: JUMPI 00002944: INVALID 00002945: JUMPDEST 00002946: DIV 00002947: SWAP1 00002948: POP 00002949: DUP1 0000294a: SWAP2 0000294b: POP 0000294c: POP 0000294d: SWAP3 0000294e: SWAP2 0000294f: POP 00002950: POP 00002951: JUMP 00002952: STOP 00002953: LOG1 00002954: PUSH6 0x627a7a723058 0000295b: KECCAK256 0000295c: PUSH26 0x3667bd6498be2bc025b42eb3d1505c2a1d5545b587149f9771ef 00002977: UNKNOWN(0xB7) 00002978: UNKNOWN(0xF9) 00002979: EXTCODECOPY 0000297a: UNKNOWN(0xC6) 0000297b: MSIZE 0000297c: STOP 0000297d: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x42ed97086c93ef4fd22ce444c225210d7acd239b91ce7c31427abf7347668d82
call_targets:
0xee86bec58087512a591ddde8f5bc324be3a257ab
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x42ed97086c93ef4fd22ce444c225210d7acd239b91ce7c31427abf7347668d82",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xee86bec58087512a591ddde8f5bc324be3a257ab"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x203a318f",
"selector": "0x203a318f",
"calldata_variants": [
"0x203a318f",
"0x203a318f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21424e7d",
"selector": "0x21424e7d",
"calldata_variants": [
"0x21424e7d",
"0x21424e7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23548b8b",
"selector": "0x23548b8b",
"calldata_variants": [
"0x23548b8b",
"0x23548b8b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 8303,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 476,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6156,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6603,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6793,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7579,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7887,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8161,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8387,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9689,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9931,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 10309,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x42ed97086c93ef4fd22ce444c225210d7acd239b91ce7c31427abf7347668d82
call_targets:
0xee86bec58087512a591ddde8f5bc324be3a257ab
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x42ed97086c93ef4fd22ce444c225210d7acd239b91ce7c31427abf7347668d82",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xee86bec58087512a591ddde8f5bc324be3a257ab"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x203a318f",
"selector": "0x203a318f",
"calldata_variants": [
"0x203a318f",
"0x203a318f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21424e7d",
"selector": "0x21424e7d",
"calldata_variants": [
"0x21424e7d",
"0x21424e7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23548b8b",
"selector": "0x23548b8b",
"calldata_variants": [
"0x23548b8b",
"0x23548b8b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 8303,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 476,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6156,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6603,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6793,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7579,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7887,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8161,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8387,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9689,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9931,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 10309,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|