TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-b1fa-7000-b1c9-4c1d97b12f75

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
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

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
2
Total opcodes
4818
Flags
No heuristic flags raised.
View cast disassembly output
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)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_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
view
trace_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"
        }
    ]
}