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

Analysis Run

019b3844-8965-73de-8c55-c51c964a1183

complete
Chain ID
1
Address
0x575cb87ab3c2329a0248c7d70e0ead8e57f3e3f7
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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?

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
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
11435 artifact.fetch complete 1 / 3 3 months ago
11436 tool.cast_disasm complete 1 / 3 3 months ago
54856 analysis.bundle complete 1 / 3 1 week ago
54857 capability.graph complete 1 / 3 1 week ago
54858 detector.run complete 1 / 3 1 week ago
54859 validation.fork complete 1 / 3 1 week ago

Artifact

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

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)
5
EXT*/BALANCE
3
Total opcodes
2666
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0158
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH3 0x9f9262
0000001e: DUP2
0000001f: EQ
00000020: PUSH2 0x01ad
00000023: JUMPI
00000024: DUP1
00000025: PUSH4 0x014d0f68
0000002a: EQ
0000002b: PUSH2 0x01c5
0000002e: JUMPI
0000002f: DUP1
00000030: PUSH4 0x06fdde03
00000035: EQ
00000036: PUSH2 0x01ea
00000039: JUMPI
0000003a: DUP1
0000003b: PUSH4 0x2b9edee9
00000040: EQ
00000041: PUSH2 0x0275
00000044: JUMPI
00000045: DUP1
00000046: PUSH4 0x3197cbb6
0000004b: EQ
0000004c: PUSH2 0x029c
0000004f: JUMPI
00000050: DUP1
00000051: PUSH4 0x38af3eed
00000056: EQ
00000057: PUSH2 0x02c1
0000005a: JUMPI
0000005b: DUP1
0000005c: PUSH4 0x3ccfd60b
00000061: EQ
00000062: PUSH2 0x02f0
00000065: JUMPI
00000066: DUP1
00000067: PUSH4 0x4e71d92d
0000006c: EQ
0000006d: PUSH2 0x0305
00000070: JUMPI
00000071: DUP1
00000072: PUSH4 0x590e1ae3
00000077: EQ
00000078: PUSH2 0x031a
0000007b: JUMPI
0000007c: DUP1
0000007d: PUSH4 0x5c071492
00000082: EQ
00000083: PUSH2 0x032f
00000086: JUMPI
00000087: DUP1
00000088: PUSH4 0x5da89ac0
0000008d: EQ
0000008e: PUSH2 0x0354
00000091: JUMPI
00000092: DUP1
00000093: PUSH4 0x5ed7ca5b
00000098: EQ
00000099: PUSH2 0x0379
0000009c: JUMPI
0000009d: DUP1
0000009e: PUSH4 0x63bce4e7
000000a3: EQ
000000a4: PUSH2 0x038e
000000a7: JUMPI
000000a8: DUP1
000000a9: PUSH4 0x6bd31a56
000000ae: EQ
000000af: PUSH2 0x03b3
000000b2: JUMPI
000000b3: DUP1
000000b4: PUSH4 0x78e97925
000000b9: EQ
000000ba: PUSH2 0x03d8
000000bd: JUMPI
000000be: DUP1
000000bf: PUSH4 0x7d1710e4
000000c4: EQ
000000c5: PUSH2 0x03fd
000000c8: JUMPI
000000c9: DUP1
000000ca: PUSH4 0x84bcefd4
000000cf: EQ
000000d0: PUSH2 0x042e
000000d3: JUMPI
000000d4: DUP1
000000d5: PUSH4 0x8da5cb5b
000000da: EQ
000000db: PUSH2 0x0453
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x906a26e0
000000e5: EQ
000000e6: PUSH2 0x0482
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x92b6641a
000000f0: EQ
000000f1: PUSH2 0x04a7
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0xb9b8af0b
000000fb: EQ
000000fc: PUSH2 0x04cc
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0xbaa3f7ee
00000106: EQ
00000107: PUSH2 0x04f3
0000010a: JUMPI
0000010b: DUP1
0000010c: PUSH4 0xc38ad273
00000111: EQ
00000112: PUSH2 0x0526
00000115: JUMPI
00000116: DUP1
00000117: PUSH4 0xcb3e64fd
0000011c: EQ
0000011d: PUSH2 0x054b
00000120: JUMPI
00000121: DUP1
00000122: PUSH4 0xd7e64c00
00000127: EQ
00000128: PUSH2 0x0560
0000012b: JUMPI
0000012c: DUP1
0000012d: PUSH4 0xece84fd5
00000132: EQ
00000133: PUSH2 0x0585
00000136: JUMPI
00000137: DUP1
00000138: PUSH4 0xf2fde38b
0000013d: EQ
0000013e: PUSH2 0x05ac
00000141: JUMPI
00000142: DUP1
00000143: PUSH4 0xf9718fc8
00000148: EQ
00000149: PUSH2 0x05cd
0000014c: JUMPI
0000014d: DUP1
0000014e: PUSH4 0xfc0c546a
00000153: EQ
00000154: PUSH2 0x05e2
00000157: JUMPI
00000158: JUMPDEST
00000159: PUSH2 0x01ab
0000015c: JUMPDEST
0000015d: PUSH1 0x00
0000015f: SLOAD
00000160: PUSH1 0xa0
00000162: PUSH1 0x02
00000164: EXP
00000165: SWAP1
00000166: DIV
00000167: PUSH1 0xff
00000169: AND
0000016a: ISZERO
0000016b: PUSH2 0x0173
0000016e: JUMPI
0000016f: PUSH1 0x00
00000171: DUP1
00000172: REVERT
00000173: JUMPDEST
00000174: PUSH7 0x2386f26fc10000
0000017c: CALLVALUE
0000017d: GT
0000017e: DUP1
0000017f: PUSH2 0x0186
00000182: JUMPI
00000183: POP
00000184: CALLVALUE
00000185: ISZERO
00000186: JUMPDEST
00000187: ISZERO
00000188: ISZERO
00000189: PUSH2 0x018e
0000018c: JUMPI
0000018d: INVALID
0000018e: JUMPDEST
0000018f: PUSH7 0x2386f26fc10000
00000197: CALLVALUE
00000198: GT
00000199: ISZERO
0000019a: PUSH2 0x01a6
0000019d: JUMPI
0000019e: PUSH2 0x01a6
000001a1: CALLER
000001a2: PUSH2 0x0611
000001a5: JUMP
000001a6: JUMPDEST
000001a7: JUMPDEST
000001a8: JUMPDEST
000001a9: JUMPDEST
000001aa: JUMP
000001ab: JUMPDEST
000001ac: STOP
000001ad: JUMPDEST
000001ae: CALLVALUE
000001af: ISZERO
000001b0: PUSH2 0x01b8
000001b3: JUMPI
000001b4: PUSH1 0x00
000001b6: DUP1
000001b7: REVERT
000001b8: JUMPDEST
000001b9: PUSH2 0x01ab
000001bc: PUSH1 0x04
000001be: CALLDATALOAD
000001bf: PUSH2 0x07ed
000001c2: JUMP
000001c3: JUMPDEST
000001c4: STOP
000001c5: JUMPDEST
000001c6: CALLVALUE
000001c7: ISZERO
000001c8: PUSH2 0x01d0
000001cb: JUMPI
000001cc: PUSH1 0x00
000001ce: DUP1
000001cf: REVERT
000001d0: JUMPDEST
000001d1: PUSH2 0x01d8
000001d4: PUSH2 0x082c
000001d7: JUMP
000001d8: JUMPDEST
000001d9: PUSH1 0x40
000001db: MLOAD
000001dc: SWAP1
000001dd: DUP2
000001de: MSTORE
000001df: PUSH1 0x20
000001e1: ADD
000001e2: PUSH1 0x40
000001e4: MLOAD
000001e5: DUP1
000001e6: SWAP2
000001e7: SUB
000001e8: SWAP1
000001e9: RETURN
000001ea: JUMPDEST
000001eb: CALLVALUE
000001ec: ISZERO
000001ed: PUSH2 0x01f5
000001f0: JUMPI
000001f1: PUSH1 0x00
000001f3: DUP1
000001f4: REVERT
000001f5: JUMPDEST
000001f6: PUSH2 0x01fd
000001f9: PUSH2 0x0832
000001fc: JUMP
000001fd: JUMPDEST
000001fe: PUSH1 0x40
00000200: MLOAD
00000201: PUSH1 0x20
00000203: DUP1
00000204: DUP3
00000205: MSTORE
00000206: DUP2
00000207: SWAP1
00000208: DUP2
00000209: ADD
0000020a: DUP4
0000020b: DUP2
0000020c: DUP2
0000020d: MLOAD
0000020e: DUP2
0000020f: MSTORE
00000210: PUSH1 0x20
00000212: ADD
00000213: SWAP2
00000214: POP
00000215: DUP1
00000216: MLOAD
00000217: SWAP1
00000218: PUSH1 0x20
0000021a: ADD
0000021b: SWAP1
0000021c: DUP1
0000021d: DUP4
0000021e: DUP4
0000021f: PUSH1 0x00
00000221: JUMPDEST
00000222: DUP4
00000223: DUP2
00000224: LT
00000225: ISZERO
00000226: PUSH2 0x023a
00000229: JUMPI
0000022a: DUP1
0000022b: DUP3
0000022c: ADD
0000022d: MLOAD
0000022e: DUP2
0000022f: DUP5
00000230: ADD
00000231: MSTORE
00000232: JUMPDEST
00000233: PUSH1 0x20
00000235: ADD
00000236: PUSH2 0x0221
00000239: JUMP
0000023a: JUMPDEST
0000023b: POP
0000023c: POP
0000023d: POP
0000023e: POP
0000023f: SWAP1
00000240: POP
00000241: SWAP1
00000242: DUP2
00000243: ADD
00000244: SWAP1
00000245: PUSH1 0x1f
00000247: AND
00000248: DUP1
00000249: ISZERO
0000024a: PUSH2 0x0267
0000024d: JUMPI
0000024e: DUP1
0000024f: DUP3
00000250: SUB
00000251: DUP1
00000252: MLOAD
00000253: PUSH1 0x01
00000255: DUP4
00000256: PUSH1 0x20
00000258: SUB
00000259: PUSH2 0x0100
0000025c: EXP
0000025d: SUB
0000025e: NOT
0000025f: AND
00000260: DUP2
00000261: MSTORE
00000262: PUSH1 0x20
00000264: ADD
00000265: SWAP2
00000266: POP
00000267: JUMPDEST
00000268: POP
00000269: SWAP3
0000026a: POP
0000026b: POP
0000026c: POP
0000026d: PUSH1 0x40
0000026f: MLOAD
00000270: DUP1
00000271: SWAP2
00000272: SUB
00000273: SWAP1
00000274: RETURN
00000275: JUMPDEST
00000276: CALLVALUE
00000277: ISZERO
00000278: PUSH2 0x0280
0000027b: JUMPI
0000027c: PUSH1 0x00
0000027e: DUP1
0000027f: REVERT
00000280: JUMPDEST
00000281: PUSH2 0x0288
00000284: PUSH2 0x08d0
00000287: JUMP
00000288: JUMPDEST
00000289: PUSH1 0x40
0000028b: MLOAD
0000028c: SWAP1
0000028d: ISZERO
0000028e: ISZERO
0000028f: DUP2
00000290: MSTORE
00000291: PUSH1 0x20
00000293: ADD
00000294: PUSH1 0x40
00000296: MLOAD
00000297: DUP1
00000298: SWAP2
00000299: SUB
0000029a: SWAP1
0000029b: RETURN
0000029c: JUMPDEST
0000029d: CALLVALUE
0000029e: ISZERO
0000029f: PUSH2 0x02a7
000002a2: JUMPI
000002a3: PUSH1 0x00
000002a5: DUP1
000002a6: REVERT
000002a7: JUMPDEST
000002a8: PUSH2 0x01d8
000002ab: PUSH2 0x08d9
000002ae: JUMP
000002af: JUMPDEST
000002b0: PUSH1 0x40
000002b2: MLOAD
000002b3: SWAP1
000002b4: DUP2
000002b5: MSTORE
000002b6: PUSH1 0x20
000002b8: ADD
000002b9: PUSH1 0x40
000002bb: MLOAD
000002bc: DUP1
000002bd: SWAP2
000002be: SUB
000002bf: SWAP1
000002c0: RETURN
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: ISZERO
000002c4: PUSH2 0x02cc
000002c7: JUMPI
000002c8: PUSH1 0x00
000002ca: DUP1
000002cb: REVERT
000002cc: JUMPDEST
000002cd: PUSH2 0x02d4
000002d0: PUSH2 0x08df
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH1 0x40
000002d7: MLOAD
000002d8: PUSH1 0x01
000002da: PUSH1 0xa0
000002dc: PUSH1 0x02
000002de: EXP
000002df: SUB
000002e0: SWAP1
000002e1: SWAP2
000002e2: AND
000002e3: DUP2
000002e4: MSTORE
000002e5: PUSH1 0x20
000002e7: ADD
000002e8: PUSH1 0x40
000002ea: MLOAD
000002eb: DUP1
000002ec: SWAP2
000002ed: SUB
000002ee: SWAP1
000002ef: RETURN
000002f0: JUMPDEST
000002f1: CALLVALUE
000002f2: ISZERO
000002f3: PUSH2 0x02fb
000002f6: JUMPI
000002f7: PUSH1 0x00
000002f9: DUP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: PUSH2 0x01ab
000002ff: PUSH2 0x08ee
00000302: JUMP
00000303: JUMPDEST
00000304: STOP
00000305: JUMPDEST
00000306: CALLVALUE
00000307: ISZERO
00000308: PUSH2 0x0310
0000030b: JUMPI
0000030c: PUSH1 0x00
0000030e: DUP1
0000030f: REVERT
00000310: JUMPDEST
00000311: PUSH2 0x01ab
00000314: PUSH2 0x0966
00000317: JUMP
00000318: JUMPDEST
00000319: STOP
0000031a: JUMPDEST
0000031b: CALLVALUE
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: PUSH2 0x01ab
00000329: PUSH2 0x0aee
0000032c: JUMP
0000032d: JUMPDEST
0000032e: STOP
0000032f: JUMPDEST
00000330: CALLVALUE
00000331: ISZERO
00000332: PUSH2 0x033a
00000335: JUMPI
00000336: PUSH1 0x00
00000338: DUP1
00000339: REVERT
0000033a: JUMPDEST
0000033b: PUSH2 0x01d8
0000033e: PUSH2 0x0c1b
00000341: JUMP
00000342: JUMPDEST
00000343: PUSH1 0x40
00000345: MLOAD
00000346: SWAP1
00000347: DUP2
00000348: MSTORE
00000349: PUSH1 0x20
0000034b: ADD
0000034c: PUSH1 0x40
0000034e: MLOAD
0000034f: DUP1
00000350: SWAP2
00000351: SUB
00000352: SWAP1
00000353: RETURN
00000354: JUMPDEST
00000355: CALLVALUE
00000356: ISZERO
00000357: PUSH2 0x035f
0000035a: JUMPI
0000035b: PUSH1 0x00
0000035d: DUP1
0000035e: REVERT
0000035f: JUMPDEST
00000360: PUSH2 0x01d8
00000363: PUSH2 0x0c21
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH1 0x40
0000036a: MLOAD
0000036b: SWAP1
0000036c: DUP2
0000036d: MSTORE
0000036e: PUSH1 0x20
00000370: ADD
00000371: PUSH1 0x40
00000373: MLOAD
00000374: DUP1
00000375: SWAP2
00000376: SUB
00000377: SWAP1
00000378: RETURN
00000379: JUMPDEST
0000037a: CALLVALUE
0000037b: ISZERO
0000037c: PUSH2 0x0384
0000037f: JUMPI
00000380: PUSH1 0x00
00000382: DUP1
00000383: REVERT
00000384: JUMPDEST
00000385: PUSH2 0x01ab
00000388: PUSH2 0x0c27
0000038b: JUMP
0000038c: JUMPDEST
0000038d: STOP
0000038e: JUMPDEST
0000038f: CALLVALUE
00000390: ISZERO
00000391: PUSH2 0x0399
00000394: JUMPI
00000395: PUSH1 0x00
00000397: DUP1
00000398: REVERT
00000399: JUMPDEST
0000039a: PUSH2 0x01d8
0000039d: PUSH2 0x0c6a
000003a0: JUMP
000003a1: JUMPDEST
000003a2: PUSH1 0x40
000003a4: MLOAD
000003a5: SWAP1
000003a6: DUP2
000003a7: MSTORE
000003a8: PUSH1 0x20
000003aa: ADD
000003ab: PUSH1 0x40
000003ad: MLOAD
000003ae: DUP1
000003af: SWAP2
000003b0: SUB
000003b1: SWAP1
000003b2: RETURN
000003b3: JUMPDEST
000003b4: CALLVALUE
000003b5: ISZERO
000003b6: PUSH2 0x03be
000003b9: JUMPI
000003ba: PUSH1 0x00
000003bc: DUP1
000003bd: REVERT
000003be: JUMPDEST
000003bf: PUSH2 0x01d8
000003c2: PUSH2 0x0c70
000003c5: JUMP
000003c6: JUMPDEST
000003c7: PUSH1 0x40
000003c9: MLOAD
000003ca: SWAP1
000003cb: DUP2
000003cc: MSTORE
000003cd: PUSH1 0x20
000003cf: ADD
000003d0: PUSH1 0x40
000003d2: MLOAD
000003d3: DUP1
000003d4: SWAP2
000003d5: SUB
000003d6: SWAP1
000003d7: RETURN
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: ISZERO
000003db: PUSH2 0x03e3
000003de: JUMPI
000003df: PUSH1 0x00
000003e1: DUP1
000003e2: REVERT
000003e3: JUMPDEST
000003e4: PUSH2 0x01d8
000003e7: PUSH2 0x0c76
000003ea: JUMP
000003eb: JUMPDEST
000003ec: PUSH1 0x40
000003ee: MLOAD
000003ef: SWAP1
000003f0: DUP2
000003f1: MSTORE
000003f2: PUSH1 0x20
000003f4: ADD
000003f5: PUSH1 0x40
000003f7: MLOAD
000003f8: DUP1
000003f9: SWAP2
000003fa: SUB
000003fb: SWAP1
000003fc: RETURN
000003fd: JUMPDEST
000003fe: CALLVALUE
000003ff: ISZERO
00000400: PUSH2 0x0408
00000403: JUMPI
00000404: PUSH1 0x00
00000406: DUP1
00000407: REVERT
00000408: JUMPDEST
00000409: PUSH2 0x01d8
0000040c: PUSH1 0x01
0000040e: PUSH1 0xa0
00000410: PUSH1 0x02
00000412: EXP
00000413: SUB
00000414: PUSH1 0x04
00000416: CALLDATALOAD
00000417: AND
00000418: PUSH2 0x0c7c
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH1 0x40
0000041f: MLOAD
00000420: SWAP1
00000421: DUP2
00000422: MSTORE
00000423: PUSH1 0x20
00000425: ADD
00000426: PUSH1 0x40
00000428: MLOAD
00000429: DUP1
0000042a: SWAP2
0000042b: SUB
0000042c: SWAP1
0000042d: RETURN
0000042e: JUMPDEST
0000042f: CALLVALUE
00000430: ISZERO
00000431: PUSH2 0x0439
00000434: JUMPI
00000435: PUSH1 0x00
00000437: DUP1
00000438: REVERT
00000439: JUMPDEST
0000043a: PUSH2 0x01d8
0000043d: PUSH2 0x0c9b
00000440: JUMP
00000441: JUMPDEST
00000442: PUSH1 0x40
00000444: MLOAD
00000445: SWAP1
00000446: DUP2
00000447: MSTORE
00000448: PUSH1 0x20
0000044a: ADD
0000044b: PUSH1 0x40
0000044d: MLOAD
0000044e: DUP1
0000044f: SWAP2
00000450: SUB
00000451: SWAP1
00000452: RETURN
00000453: JUMPDEST
00000454: CALLVALUE
00000455: ISZERO
00000456: PUSH2 0x045e
00000459: JUMPI
0000045a: PUSH1 0x00
0000045c: DUP1
0000045d: REVERT
0000045e: JUMPDEST
0000045f: PUSH2 0x02d4
00000462: PUSH2 0x0ca1
00000465: JUMP
00000466: JUMPDEST
00000467: PUSH1 0x40
00000469: MLOAD
0000046a: PUSH1 0x01
0000046c: PUSH1 0xa0
0000046e: PUSH1 0x02
00000470: EXP
00000471: SUB
00000472: SWAP1
00000473: SWAP2
00000474: AND
00000475: DUP2
00000476: MSTORE
00000477: PUSH1 0x20
00000479: ADD
0000047a: PUSH1 0x40
0000047c: MLOAD
0000047d: DUP1
0000047e: SWAP2
0000047f: SUB
00000480: SWAP1
00000481: RETURN
00000482: JUMPDEST
00000483: CALLVALUE
00000484: ISZERO
00000485: PUSH2 0x048d
00000488: JUMPI
00000489: PUSH1 0x00
0000048b: DUP1
0000048c: REVERT
0000048d: JUMPDEST
0000048e: PUSH2 0x01d8
00000491: PUSH2 0x0cb0
00000494: JUMP
00000495: JUMPDEST
00000496: PUSH1 0x40
00000498: MLOAD
00000499: SWAP1
0000049a: DUP2
0000049b: MSTORE
0000049c: PUSH1 0x20
0000049e: ADD
0000049f: PUSH1 0x40
000004a1: MLOAD
000004a2: DUP1
000004a3: SWAP2
000004a4: SUB
000004a5: SWAP1
000004a6: RETURN
000004a7: JUMPDEST
000004a8: CALLVALUE
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: PUSH2 0x01d8
000004b6: PUSH2 0x0cb6
000004b9: JUMP
000004ba: JUMPDEST
000004bb: PUSH1 0x40
000004bd: MLOAD
000004be: SWAP1
000004bf: DUP2
000004c0: MSTORE
000004c1: PUSH1 0x20
000004c3: ADD
000004c4: PUSH1 0x40
000004c6: MLOAD
000004c7: DUP1
000004c8: SWAP2
000004c9: SUB
000004ca: SWAP1
000004cb: RETURN
000004cc: JUMPDEST
000004cd: CALLVALUE
000004ce: ISZERO
000004cf: PUSH2 0x04d7
000004d2: JUMPI
000004d3: PUSH1 0x00
000004d5: DUP1
000004d6: REVERT
000004d7: JUMPDEST
000004d8: PUSH2 0x0288
000004db: PUSH2 0x0cbc
000004de: JUMP
000004df: JUMPDEST
000004e0: PUSH1 0x40
000004e2: MLOAD
000004e3: SWAP1
000004e4: ISZERO
000004e5: ISZERO
000004e6: DUP2
000004e7: MSTORE
000004e8: PUSH1 0x20
000004ea: ADD
000004eb: PUSH1 0x40
000004ed: MLOAD
000004ee: DUP1
000004ef: SWAP2
000004f0: SUB
000004f1: SWAP1
000004f2: RETURN
000004f3: JUMPDEST
000004f4: CALLVALUE
000004f5: ISZERO
000004f6: PUSH2 0x04fe
000004f9: JUMPI
000004fa: PUSH1 0x00
000004fc: DUP1
000004fd: REVERT
000004fe: JUMPDEST
000004ff: PUSH2 0x0288
00000502: PUSH1 0x01
00000504: PUSH1 0xa0
00000506: PUSH1 0x02
00000508: EXP
00000509: SUB
0000050a: PUSH1 0x04
0000050c: CALLDATALOAD
0000050d: AND
0000050e: PUSH2 0x0ccc
00000511: JUMP
00000512: JUMPDEST
00000513: PUSH1 0x40
00000515: MLOAD
00000516: SWAP1
00000517: ISZERO
00000518: ISZERO
00000519: DUP2
0000051a: MSTORE
0000051b: PUSH1 0x20
0000051d: ADD
0000051e: PUSH1 0x40
00000520: MLOAD
00000521: DUP1
00000522: SWAP2
00000523: SUB
00000524: SWAP1
00000525: RETURN
00000526: JUMPDEST
00000527: CALLVALUE
00000528: ISZERO
00000529: PUSH2 0x0531
0000052c: JUMPI
0000052d: PUSH1 0x00
0000052f: DUP1
00000530: REVERT
00000531: JUMPDEST
00000532: PUSH2 0x01d8
00000535: PUSH2 0x0cee
00000538: JUMP
00000539: JUMPDEST
0000053a: PUSH1 0x40
0000053c: MLOAD
0000053d: SWAP1
0000053e: DUP2
0000053f: MSTORE
00000540: PUSH1 0x20
00000542: ADD
00000543: PUSH1 0x40
00000545: MLOAD
00000546: DUP1
00000547: SWAP2
00000548: SUB
00000549: SWAP1
0000054a: RETURN
0000054b: JUMPDEST
0000054c: CALLVALUE
0000054d: ISZERO
0000054e: PUSH2 0x0556
00000551: JUMPI
00000552: PUSH1 0x00
00000554: DUP1
00000555: REVERT
00000556: JUMPDEST
00000557: PUSH2 0x01ab
0000055a: PUSH2 0x0cf4
0000055d: JUMP
0000055e: JUMPDEST
0000055f: STOP
00000560: JUMPDEST
00000561: CALLVALUE
00000562: ISZERO
00000563: PUSH2 0x056b
00000566: JUMPI
00000567: PUSH1 0x00
00000569: DUP1
0000056a: REVERT
0000056b: JUMPDEST
0000056c: PUSH2 0x01d8
0000056f: PUSH2 0x0d4a
00000572: JUMP
00000573: JUMPDEST
00000574: PUSH1 0x40
00000576: MLOAD
00000577: SWAP1
00000578: DUP2
00000579: MSTORE
0000057a: PUSH1 0x20
0000057c: ADD
0000057d: PUSH1 0x40
0000057f: MLOAD
00000580: DUP1
00000581: SWAP2
00000582: SUB
00000583: SWAP1
00000584: RETURN
00000585: JUMPDEST
00000586: CALLVALUE
00000587: ISZERO
00000588: PUSH2 0x0590
0000058b: JUMPI
0000058c: PUSH1 0x00
0000058e: DUP1
0000058f: REVERT
00000590: JUMPDEST
00000591: PUSH2 0x0288
00000594: PUSH2 0x0d50
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH1 0x40
0000059b: MLOAD
0000059c: SWAP1
0000059d: ISZERO
0000059e: ISZERO
0000059f: DUP2
000005a0: MSTORE
000005a1: PUSH1 0x20
000005a3: ADD
000005a4: PUSH1 0x40
000005a6: MLOAD
000005a7: DUP1
000005a8: SWAP2
000005a9: SUB
000005aa: SWAP1
000005ab: RETURN
000005ac: JUMPDEST
000005ad: CALLVALUE
000005ae: ISZERO
000005af: PUSH2 0x05b7
000005b2: JUMPI
000005b3: PUSH1 0x00
000005b5: DUP1
000005b6: REVERT
000005b7: JUMPDEST
000005b8: PUSH2 0x01ab
000005bb: PUSH1 0x01
000005bd: PUSH1 0xa0
000005bf: PUSH1 0x02
000005c1: EXP
000005c2: SUB
000005c3: PUSH1 0x04
000005c5: CALLDATALOAD
000005c6: AND
000005c7: PUSH2 0x0d5e
000005ca: JUMP
000005cb: JUMPDEST
000005cc: STOP
000005cd: JUMPDEST
000005ce: CALLVALUE
000005cf: ISZERO
000005d0: PUSH2 0x05d8
000005d3: JUMPI
000005d4: PUSH1 0x00
000005d6: DUP1
000005d7: REVERT
000005d8: JUMPDEST
000005d9: PUSH2 0x01ab
000005dc: PUSH2 0x0dbb
000005df: JUMP
000005e0: JUMPDEST
000005e1: STOP
000005e2: JUMPDEST
000005e3: CALLVALUE
000005e4: ISZERO
000005e5: PUSH2 0x05ed
000005e8: JUMPI
000005e9: PUSH1 0x00
000005eb: DUP1
000005ec: REVERT
000005ed: JUMPDEST
000005ee: PUSH2 0x02d4
000005f1: PUSH2 0x0f22
000005f4: JUMP
000005f5: JUMPDEST
000005f6: PUSH1 0x40
000005f8: MLOAD
000005f9: PUSH1 0x01
000005fb: PUSH1 0xa0
000005fd: PUSH1 0x02
000005ff: EXP
00000600: SUB
00000601: SWAP1
00000602: SWAP2
00000603: AND
00000604: DUP2
00000605: MSTORE
00000606: PUSH1 0x20
00000608: ADD
00000609: PUSH1 0x40
0000060b: MLOAD
0000060c: DUP1
0000060d: SWAP2
0000060e: SUB
0000060f: SWAP1
00000610: RETURN
00000611: JUMPDEST
00000612: PUSH1 0x0e
00000614: SLOAD
00000615: TIMESTAMP
00000616: DUP2
00000617: SWAP1
00000618: GT
00000619: PUSH2 0x0621
0000061c: JUMPI
0000061d: PUSH1 0x00
0000061f: DUP1
00000620: REVERT
00000621: JUMPDEST
00000622: PUSH1 0x0f
00000624: SLOAD
00000625: TIMESTAMP
00000626: DUP2
00000627: SWAP1
00000628: LT
00000629: PUSH2 0x0631
0000062c: JUMPI
0000062d: PUSH1 0x00
0000062f: DUP1
00000630: REVERT
00000631: JUMPDEST
00000632: PUSH1 0x10
00000634: SLOAD
00000635: PUSH2 0x0100
00000638: SWAP1
00000639: DIV
0000063a: PUSH1 0xff
0000063c: AND
0000063d: ISZERO
0000063e: PUSH2 0x0646
00000641: JUMPI
00000642: PUSH1 0x00
00000644: DUP1
00000645: REVERT
00000646: JUMPDEST
00000647: PUSH1 0x05
00000649: SLOAD
0000064a: PUSH1 0x0a
0000064c: SLOAD
0000064d: PUSH2 0x065c
00000650: SWAP1
00000651: CALLVALUE
00000652: PUSH4 0xffffffff
00000657: PUSH2 0x0f31
0000065a: AND
0000065b: JUMP
0000065c: JUMPDEST
0000065d: GT
0000065e: ISZERO
0000065f: PUSH2 0x0667
00000662: JUMPI
00000663: PUSH1 0x00
00000665: DUP1
00000666: REVERT
00000667: JUMPDEST
00000668: PUSH1 0x10
0000066a: SLOAD
0000066b: PUSH1 0xff
0000066d: AND
0000066e: ISZERO
0000066f: DUP1
00000670: ISZERO
00000671: PUSH2 0x067d
00000674: JUMPI
00000675: POP
00000676: PUSH1 0x06
00000678: SLOAD
00000679: PUSH1 0x0a
0000067b: SLOAD
0000067c: LT
0000067d: JUMPDEST
0000067e: DUP1
0000067f: ISZERO
00000680: PUSH2 0x069d
00000683: JUMPI
00000684: POP
00000685: PUSH1 0x06
00000687: SLOAD
00000688: PUSH1 0x0a
0000068a: SLOAD
0000068b: PUSH2 0x069a
0000068e: SWAP1
0000068f: CALLVALUE
00000690: PUSH4 0xffffffff
00000695: PUSH2 0x0f31
00000698: AND
00000699: JUMP
0000069a: JUMPDEST
0000069b: LT
0000069c: ISZERO
0000069d: JUMPDEST
0000069e: ISZERO
0000069f: PUSH2 0x06e6
000006a2: JUMPI
000006a3: PUSH1 0x10
000006a5: DUP1
000006a6: SLOAD
000006a7: PUSH1 0xff
000006a9: NOT
000006aa: AND
000006ab: PUSH1 0x01
000006ad: OR
000006ae: SWAP1
000006af: SSTORE
000006b0: PUSH1 0x06
000006b2: SLOAD
000006b3: PUSH32 0x42ef6182c6d744dd081ab962505f40413083376dfcc13e58b60f4f32e9673809
000006d4: SWAP1
000006d5: PUSH1 0x40
000006d7: MLOAD
000006d8: SWAP1
000006d9: DUP2
000006da: MSTORE
000006db: PUSH1 0x20
000006dd: ADD
000006de: PUSH1 0x40
000006e0: MLOAD
000006e1: DUP1
000006e2: SWAP2
000006e3: SUB
000006e4: SWAP1
000006e5: LOG1
000006e6: JUMPDEST
000006e7: PUSH1 0x01
000006e9: PUSH1 0xa0
000006eb: PUSH1 0x02
000006ed: EXP
000006ee: SUB
000006ef: CALLER
000006f0: AND
000006f1: PUSH1 0x00
000006f3: SWAP1
000006f4: DUP2
000006f5: MSTORE
000006f6: PUSH1 0x12
000006f8: PUSH1 0x20
000006fa: MSTORE
000006fb: PUSH1 0x40
000006fd: SWAP1
000006fe: KECCAK256
000006ff: SLOAD
00000700: ISZERO
00000701: ISZERO
00000702: PUSH2 0x070f
00000705: JUMPI
00000706: PUSH1 0x0c
00000708: DUP1
00000709: SLOAD
0000070a: PUSH1 0x01
0000070c: ADD
0000070d: SWAP1
0000070e: SSTORE
0000070f: JUMPDEST
00000710: PUSH1 0x0a
00000712: SLOAD
00000713: PUSH2 0x0722
00000716: SWAP1
00000717: CALLVALUE
00000718: PUSH4 0xffffffff
0000071d: PUSH2 0x0f31
00000720: AND
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH1 0x0a
00000725: SSTORE
00000726: PUSH1 0x01
00000728: PUSH1 0xa0
0000072a: PUSH1 0x02
0000072c: EXP
0000072d: SUB
0000072e: CALLER
0000072f: AND
00000730: PUSH1 0x00
00000732: SWAP1
00000733: DUP2
00000734: MSTORE
00000735: PUSH1 0x12
00000737: PUSH1 0x20
00000739: MSTORE
0000073a: PUSH1 0x40
0000073c: SWAP1
0000073d: KECCAK256
0000073e: SLOAD
0000073f: PUSH2 0x074e
00000742: SWAP1
00000743: CALLVALUE
00000744: PUSH4 0xffffffff
00000749: PUSH2 0x0f31
0000074c: AND
0000074d: JUMP
0000074e: JUMPDEST
0000074f: PUSH1 0x01
00000751: PUSH1 0xa0
00000753: PUSH1 0x02
00000755: EXP
00000756: SUB
00000757: CALLER
00000758: DUP2
00000759: AND
0000075a: PUSH1 0x00
0000075c: SWAP1
0000075d: DUP2
0000075e: MSTORE
0000075f: PUSH1 0x12
00000761: PUSH1 0x20
00000763: MSTORE
00000764: PUSH1 0x40
00000766: SWAP1
00000767: DUP2
00000768: SWAP1
00000769: KECCAK256
0000076a: SWAP3
0000076b: SWAP1
0000076c: SWAP3
0000076d: SSTORE
0000076e: DUP5
0000076f: AND
00000770: SWAP1
00000771: PUSH32 0xbdaa686eb6f59012d211a74523da260341c516896e9e5be954163d6ecf26ffa2
00000792: SWAP1
00000793: CALLVALUE
00000794: SWAP1
00000795: MLOAD
00000796: SWAP1
00000797: DUP2
00000798: MSTORE
00000799: PUSH1 0x20
0000079b: ADD
0000079c: PUSH1 0x40
0000079e: MLOAD
0000079f: DUP1
000007a0: SWAP2
000007a1: SUB
000007a2: SWAP1
000007a3: LOG2
000007a4: PUSH1 0x05
000007a6: SLOAD
000007a7: PUSH1 0x0a
000007a9: SLOAD
000007aa: EQ
000007ab: ISZERO
000007ac: PUSH2 0x07e5
000007af: JUMPI
000007b0: PUSH32 0xfbfd8ab7c24300fa9888cd721c8565a7da56759384781283684dcf7c7c4a846b
000007d1: PUSH1 0x05
000007d3: SLOAD
000007d4: PUSH1 0x40
000007d6: MLOAD
000007d7: SWAP1
000007d8: DUP2
000007d9: MSTORE
000007da: PUSH1 0x20
000007dc: ADD
000007dd: PUSH1 0x40
000007df: MLOAD
000007e0: DUP1
000007e1: SWAP2
000007e2: SUB
000007e3: SWAP1
000007e4: LOG1
000007e5: JUMPDEST
000007e6: JUMPDEST
000007e7: JUMPDEST
000007e8: POP
000007e9: JUMPDEST
000007ea: POP
000007eb: POP
000007ec: JUMP
000007ed: JUMPDEST
000007ee: PUSH1 0x0e
000007f0: SLOAD
000007f1: TIMESTAMP
000007f2: DUP2
000007f3: SWAP1
000007f4: LT
000007f5: PUSH2 0x07fd
000007f8: JUMPI
000007f9: PUSH1 0x00
000007fb: DUP1
000007fc: REVERT
000007fd: JUMPDEST
000007fe: PUSH1 0x00
00000800: SLOAD
00000801: CALLER
00000802: PUSH1 0x01
00000804: PUSH1 0xa0
00000806: PUSH1 0x02
00000808: EXP
00000809: SUB
0000080a: SWAP1
0000080b: DUP2
0000080c: AND
0000080d: SWAP2
0000080e: AND
0000080f: EQ
00000810: PUSH2 0x0818
00000813: JUMPI
00000814: PUSH1 0x00
00000816: DUP1
00000817: REVERT
00000818: JUMPDEST
00000819: PUSH1 0x0b
0000081b: DUP3
0000081c: SWAP1
0000081d: SSTORE
0000081e: PUSH2 0x07e9
00000821: PUSH2 0x0f4b
00000824: JUMP
00000825: JUMPDEST
00000826: JUMPDEST
00000827: JUMPDEST
00000828: JUMPDEST
00000829: POP
0000082a: POP
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH1 0x08
0000082f: SLOAD
00000830: DUP2
00000831: JUMP
00000832: JUMPDEST
00000833: PUSH1 0x01
00000835: DUP1
00000836: SLOAD
00000837: PUSH1 0x01
00000839: DUP2
0000083a: PUSH1 0x01
0000083c: AND
0000083d: ISZERO
0000083e: PUSH2 0x0100
00000841: MUL
00000842: SUB
00000843: AND
00000844: PUSH1 0x02
00000846: SWAP1
00000847: DIV
00000848: DUP1
00000849: PUSH1 0x1f
0000084b: ADD
0000084c: PUSH1 0x20
0000084e: DUP1
0000084f: SWAP2
00000850: DIV
00000851: MUL
00000852: PUSH1 0x20
00000854: ADD
00000855: PUSH1 0x40
00000857: MLOAD
00000858: SWAP1
00000859: DUP2
0000085a: ADD
0000085b: PUSH1 0x40
0000085d: MSTORE
0000085e: DUP1
0000085f: SWAP3
00000860: SWAP2
00000861: SWAP1
00000862: DUP2
00000863: DUP2
00000864: MSTORE
00000865: PUSH1 0x20
00000867: ADD
00000868: DUP3
00000869: DUP1
0000086a: SLOAD
0000086b: PUSH1 0x01
0000086d: DUP2
0000086e: PUSH1 0x01
00000870: AND
00000871: ISZERO
00000872: PUSH2 0x0100
00000875: MUL
00000876: SUB
00000877: AND
00000878: PUSH1 0x02
0000087a: SWAP1
0000087b: DIV
0000087c: DUP1
0000087d: ISZERO
0000087e: PUSH2 0x08c8
00000881: JUMPI
00000882: DUP1
00000883: PUSH1 0x1f
00000885: LT
00000886: PUSH2 0x089d
00000889: JUMPI
0000088a: PUSH2 0x0100
0000088d: DUP1
0000088e: DUP4
0000088f: SLOAD
00000890: DIV
00000891: MUL
00000892: DUP4
00000893: MSTORE
00000894: SWAP2
00000895: PUSH1 0x20
00000897: ADD
00000898: SWAP2
00000899: PUSH2 0x08c8
0000089c: JUMP
0000089d: JUMPDEST
0000089e: DUP3
0000089f: ADD
000008a0: SWAP2
000008a1: SWAP1
000008a2: PUSH1 0x00
000008a4: MSTORE
000008a5: PUSH1 0x20
000008a7: PUSH1 0x00
000008a9: KECCAK256
000008aa: SWAP1
000008ab: JUMPDEST
000008ac: DUP2
000008ad: SLOAD
000008ae: DUP2
000008af: MSTORE
000008b0: SWAP1
000008b1: PUSH1 0x01
000008b3: ADD
000008b4: SWAP1
000008b5: PUSH1 0x20
000008b7: ADD
000008b8: DUP1
000008b9: DUP4
000008ba: GT
000008bb: PUSH2 0x08ab
000008be: JUMPI
000008bf: DUP3
000008c0: SWAP1
000008c1: SUB
000008c2: PUSH1 0x1f
000008c4: AND
000008c5: DUP3
000008c6: ADD
000008c7: SWAP2
000008c8: JUMPDEST
000008c9: POP
000008ca: POP
000008cb: POP
000008cc: POP
000008cd: POP
000008ce: DUP2
000008cf: JUMP
000008d0: JUMPDEST
000008d1: PUSH1 0x10
000008d3: SLOAD
000008d4: PUSH1 0xff
000008d6: AND
000008d7: DUP2
000008d8: JUMP
000008d9: JUMPDEST
000008da: PUSH1 0x0f
000008dc: SLOAD
000008dd: DUP2
000008de: JUMP
000008df: JUMPDEST
000008e0: PUSH1 0x03
000008e2: SLOAD
000008e3: PUSH1 0x01
000008e5: PUSH1 0xa0
000008e7: PUSH1 0x02
000008e9: EXP
000008ea: SUB
000008eb: AND
000008ec: DUP2
000008ed: JUMP
000008ee: JUMPDEST
000008ef: PUSH1 0x00
000008f1: SLOAD
000008f2: CALLER
000008f3: PUSH1 0x01
000008f5: PUSH1 0xa0
000008f7: PUSH1 0x02
000008f9: EXP
000008fa: SUB
000008fb: SWAP1
000008fc: DUP2
000008fd: AND
000008fe: SWAP2
000008ff: AND
00000900: EQ
00000901: PUSH2 0x0909
00000904: JUMPI
00000905: PUSH1 0x00
00000907: DUP1
00000908: REVERT
00000909: JUMPDEST
0000090a: PUSH1 0x10
0000090c: SLOAD
0000090d: PUSH1 0xff
0000090f: AND
00000910: ISZERO
00000911: ISZERO
00000912: PUSH2 0x091a
00000915: JUMPI
00000916: PUSH1 0x00
00000918: DUP1
00000919: REVERT
0000091a: JUMPDEST
0000091b: PUSH1 0x03
0000091d: SLOAD
0000091e: PUSH1 0x0a
00000920: SLOAD
00000921: PUSH1 0x01
00000923: PUSH1 0xa0
00000925: PUSH1 0x02
00000927: EXP
00000928: SUB
00000929: SWAP1
0000092a: SWAP2
0000092b: AND
0000092c: SWAP1
0000092d: DUP1
0000092e: ISZERO
0000092f: PUSH2 0x08fc
00000932: MUL
00000933: SWAP1
00000934: PUSH1 0x40
00000936: MLOAD
00000937: PUSH1 0x00
00000939: PUSH1 0x40
0000093b: MLOAD
0000093c: DUP1
0000093d: DUP4
0000093e: SUB
0000093f: DUP2
00000940: DUP6
00000941: DUP9
00000942: DUP9
00000943: CALL
00000944: SWAP4
00000945: POP
00000946: POP
00000947: POP
00000948: POP
00000949: ISZERO
0000094a: ISZERO
0000094b: PUSH2 0x0953
0000094e: JUMPI
0000094f: PUSH1 0x00
00000951: DUP1
00000952: REVERT
00000953: JUMPDEST
00000954: PUSH1 0x10
00000956: DUP1
00000957: SLOAD
00000958: PUSH2 0xff00
0000095b: NOT
0000095c: AND
0000095d: PUSH2 0x0100
00000960: OR
00000961: SWAP1
00000962: SSTORE
00000963: JUMPDEST
00000964: JUMPDEST
00000965: JUMP
00000966: JUMPDEST
00000967: PUSH1 0x10
00000969: SLOAD
0000096a: PUSH1 0x00
0000096c: SWAP1
0000096d: DUP2
0000096e: SWAP1
0000096f: PUSH2 0x0100
00000972: SWAP1
00000973: DIV
00000974: PUSH1 0xff
00000976: AND
00000977: ISZERO
00000978: ISZERO
00000979: PUSH2 0x0981
0000097c: JUMPI
0000097d: PUSH1 0x00
0000097f: DUP1
00000980: REVERT
00000981: JUMPDEST
00000982: PUSH1 0x01
00000984: PUSH1 0xa0
00000986: PUSH1 0x02
00000988: EXP
00000989: SUB
0000098a: CALLER
0000098b: AND
0000098c: PUSH1 0x00
0000098e: SWAP1
0000098f: DUP2
00000990: MSTORE
00000991: PUSH1 0x13
00000993: PUSH1 0x20
00000995: MSTORE
00000996: PUSH1 0x40
00000998: SWAP1
00000999: KECCAK256
0000099a: SLOAD
0000099b: PUSH1 0xff
0000099d: AND
0000099e: ISZERO
0000099f: PUSH2 0x09a7
000009a2: JUMPI
000009a3: PUSH1 0x00
000009a5: DUP1
000009a6: REVERT
000009a7: JUMPDEST
000009a8: PUSH1 0x04
000009aa: SLOAD
000009ab: PUSH11 0x14adf4b7320334b9000000
000009b7: DUP2
000009b8: ISZERO
000009b9: ISZERO
000009ba: PUSH2 0x09bf
000009bd: JUMPI
000009be: INVALID
000009bf: JUMPDEST
000009c0: DIV
000009c1: SWAP2
000009c2: POP
000009c3: PUSH1 0x04
000009c5: SLOAD
000009c6: PUSH1 0x0a
000009c8: SLOAD
000009c9: GT
000009ca: ISZERO
000009cb: PUSH2 0x09ea
000009ce: JUMPI
000009cf: PUSH1 0x0a
000009d1: SLOAD
000009d2: PUSH11 0x14adf4b7320334b9000000
000009de: DUP2
000009df: ISZERO
000009e0: ISZERO
000009e1: PUSH2 0x09e6
000009e4: JUMPI
000009e5: INVALID
000009e6: JUMPDEST
000009e7: DIV
000009e8: SWAP2
000009e9: POP
000009ea: JUMPDEST
000009eb: POP
000009ec: PUSH1 0x01
000009ee: PUSH1 0xa0
000009f0: PUSH1 0x02
000009f2: EXP
000009f3: SUB
000009f4: CALLER
000009f5: DUP2
000009f6: DUP2
000009f7: AND
000009f8: PUSH1 0x00
000009fa: SWAP1
000009fb: DUP2
000009fc: MSTORE
000009fd: PUSH1 0x12
000009ff: PUSH1 0x20
00000a01: MSTORE
00000a02: PUSH1 0x40
00000a04: DUP1
00000a05: DUP3
00000a06: KECCAK256
00000a07: SLOAD
00000a08: PUSH1 0x02
00000a0a: SLOAD
00000a0b: SWAP1
00000a0c: DUP7
00000a0d: MUL
00000a0e: SWAP5
00000a0f: AND
00000a10: SWAP3
00000a11: PUSH4 0xa9059cbb
00000a16: SWAP3
00000a17: SWAP1
00000a18: SWAP2
00000a19: DUP6
00000a1a: SWAP2
00000a1b: SWAP1
00000a1c: MLOAD
00000a1d: PUSH1 0x20
00000a1f: ADD
00000a20: MSTORE
00000a21: PUSH1 0x40
00000a23: MLOAD
00000a24: PUSH1 0xe0
00000a26: PUSH1 0x02
00000a28: EXP
00000a29: PUSH4 0xffffffff
00000a2e: DUP6
00000a2f: AND
00000a30: MUL
00000a31: DUP2
00000a32: MSTORE
00000a33: PUSH1 0x01
00000a35: PUSH1 0xa0
00000a37: PUSH1 0x02
00000a39: EXP
00000a3a: SUB
00000a3b: SWAP1
00000a3c: SWAP3
00000a3d: AND
00000a3e: PUSH1 0x04
00000a40: DUP4
00000a41: ADD
00000a42: MSTORE
00000a43: PUSH1 0x24
00000a45: DUP3
00000a46: ADD
00000a47: MSTORE
00000a48: PUSH1 0x44
00000a4a: ADD
00000a4b: PUSH1 0x20
00000a4d: PUSH1 0x40
00000a4f: MLOAD
00000a50: DUP1
00000a51: DUP4
00000a52: SUB
00000a53: DUP2
00000a54: PUSH1 0x00
00000a56: DUP8
00000a57: DUP1
00000a58: EXTCODESIZE
00000a59: ISZERO
00000a5a: ISZERO
00000a5b: PUSH2 0x0a63
00000a5e: JUMPI
00000a5f: PUSH1 0x00
00000a61: DUP1
00000a62: REVERT
00000a63: JUMPDEST
00000a64: PUSH2 0x02c6
00000a67: GAS
00000a68: SUB
00000a69: CALL
00000a6a: ISZERO
00000a6b: ISZERO
00000a6c: PUSH2 0x0a74
00000a6f: JUMPI
00000a70: PUSH1 0x00
00000a72: DUP1
00000a73: REVERT
00000a74: JUMPDEST
00000a75: POP
00000a76: POP
00000a77: POP
00000a78: PUSH1 0x40
00000a7a: MLOAD
00000a7b: DUP1
00000a7c: MLOAD
00000a7d: SWAP1
00000a7e: POP
00000a7f: ISZERO
00000a80: ISZERO
00000a81: PUSH2 0x0a89
00000a84: JUMPI
00000a85: PUSH1 0x00
00000a87: DUP1
00000a88: REVERT
00000a89: JUMPDEST
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0xa0
00000a8e: PUSH1 0x02
00000a90: EXP
00000a91: SUB
00000a92: CALLER
00000a93: AND
00000a94: PUSH1 0x00
00000a96: DUP2
00000a97: DUP2
00000a98: MSTORE
00000a99: PUSH1 0x13
00000a9b: PUSH1 0x20
00000a9d: MSTORE
00000a9e: PUSH1 0x40
00000aa0: SWAP1
00000aa1: DUP2
00000aa2: SWAP1
00000aa3: KECCAK256
00000aa4: DUP1
00000aa5: SLOAD
00000aa6: PUSH1 0xff
00000aa8: NOT
00000aa9: AND
00000aaa: PUSH1 0x01
00000aac: OR
00000aad: SWAP1
00000aae: SSTORE
00000aaf: PUSH32 0x9a4772cd5c0946aaea956f025c3bd64f5b4464abfaa006dbfc1ffe104b89ef2f
00000ad0: SWAP1
00000ad1: DUP4
00000ad2: SWAP1
00000ad3: DUP6
00000ad4: SWAP1
00000ad5: MLOAD
00000ad6: SWAP2
00000ad7: DUP3
00000ad8: MSTORE
00000ad9: PUSH1 0x20
00000adb: DUP3
00000adc: ADD
00000add: MSTORE
00000ade: PUSH1 0x40
00000ae0: SWAP1
00000ae1: DUP2
00000ae2: ADD
00000ae3: SWAP1
00000ae4: MLOAD
00000ae5: DUP1
00000ae6: SWAP2
00000ae7: SUB
00000ae8: SWAP1
00000ae9: LOG2
00000aea: JUMPDEST
00000aeb: POP
00000aec: POP
00000aed: JUMP
00000aee: JUMPDEST
00000aef: PUSH1 0x00
00000af1: PUSH1 0x0f
00000af3: SLOAD
00000af4: DUP1
00000af5: TIMESTAMP
00000af6: GT
00000af7: ISZERO
00000af8: ISZERO
00000af9: PUSH2 0x0b01
00000afc: JUMPI
00000afd: PUSH1 0x00
00000aff: DUP1
00000b00: REVERT
00000b01: JUMPDEST
00000b02: PUSH1 0x10
00000b04: SLOAD
00000b05: PUSH1 0xff
00000b07: AND
00000b08: ISZERO
00000b09: PUSH2 0x0b11
00000b0c: JUMPI
00000b0d: PUSH1 0x00
00000b0f: DUP1
00000b10: REVERT
00000b11: JUMPDEST
00000b12: PUSH1 0x01
00000b14: PUSH1 0xa0
00000b16: PUSH1 0x02
00000b18: EXP
00000b19: SUB
00000b1a: CALLER
00000b1b: AND
00000b1c: PUSH1 0x00
00000b1e: SWAP1
00000b1f: DUP2
00000b20: MSTORE
00000b21: PUSH1 0x11
00000b23: PUSH1 0x20
00000b25: MSTORE
00000b26: PUSH1 0x40
00000b28: SWAP1
00000b29: KECCAK256
00000b2a: SLOAD
00000b2b: PUSH1 0xff
00000b2d: AND
00000b2e: ISZERO
00000b2f: PUSH2 0x0b37
00000b32: JUMPI
00000b33: PUSH1 0x00
00000b35: DUP1
00000b36: REVERT
00000b37: JUMPDEST
00000b38: PUSH1 0x01
00000b3a: PUSH1 0xa0
00000b3c: PUSH1 0x02
00000b3e: EXP
00000b3f: SUB
00000b40: CALLER
00000b41: AND
00000b42: PUSH1 0x00
00000b44: SWAP1
00000b45: DUP2
00000b46: MSTORE
00000b47: PUSH1 0x12
00000b49: PUSH1 0x20
00000b4b: MSTORE
00000b4c: PUSH1 0x40
00000b4e: SWAP1
00000b4f: KECCAK256
00000b50: SLOAD
00000b51: ISZERO
00000b52: ISZERO
00000b53: PUSH2 0x0b5b
00000b56: JUMPI
00000b57: PUSH1 0x00
00000b59: DUP1
00000b5a: REVERT
00000b5b: JUMPDEST
00000b5c: PUSH1 0x01
00000b5e: PUSH1 0xa0
00000b60: PUSH1 0x02
00000b62: EXP
00000b63: SUB
00000b64: CALLER
00000b65: AND
00000b66: PUSH1 0x00
00000b68: DUP2
00000b69: DUP2
00000b6a: MSTORE
00000b6b: PUSH1 0x12
00000b6d: PUSH1 0x20
00000b6f: MSTORE
00000b70: PUSH1 0x40
00000b72: SWAP1
00000b73: DUP2
00000b74: SWAP1
00000b75: KECCAK256
00000b76: SLOAD
00000b77: SWAP4
00000b78: POP
00000b79: DUP4
00000b7a: ISZERO
00000b7b: PUSH2 0x08fc
00000b7e: MUL
00000b7f: SWAP1
00000b80: DUP5
00000b81: SWAP1
00000b82: MLOAD
00000b83: PUSH1 0x00
00000b85: PUSH1 0x40
00000b87: MLOAD
00000b88: DUP1
00000b89: DUP4
00000b8a: SUB
00000b8b: DUP2
00000b8c: DUP6
00000b8d: DUP9
00000b8e: DUP9
00000b8f: CALL
00000b90: SWAP4
00000b91: POP
00000b92: POP
00000b93: POP
00000b94: POP
00000b95: ISZERO
00000b96: ISZERO
00000b97: PUSH2 0x0b9f
00000b9a: JUMPI
00000b9b: PUSH1 0x00
00000b9d: DUP1
00000b9e: REVERT
00000b9f: JUMPDEST
00000ba0: PUSH1 0x01
00000ba2: PUSH1 0xa0
00000ba4: PUSH1 0x02
00000ba6: EXP
00000ba7: SUB
00000ba8: CALLER
00000ba9: AND
00000baa: PUSH1 0x00
00000bac: SWAP1
00000bad: DUP2
00000bae: MSTORE
00000baf: PUSH1 0x11
00000bb1: PUSH1 0x20
00000bb3: MSTORE
00000bb4: PUSH1 0x40
00000bb6: SWAP1
00000bb7: KECCAK256
00000bb8: DUP1
00000bb9: SLOAD
00000bba: PUSH1 0xff
00000bbc: NOT
00000bbd: AND
00000bbe: PUSH1 0x01
00000bc0: OR
00000bc1: SWAP1
00000bc2: SSTORE
00000bc3: PUSH1 0x0d
00000bc5: SLOAD
00000bc6: PUSH2 0x0bd5
00000bc9: SWAP1
00000bca: DUP4
00000bcb: PUSH4 0xffffffff
00000bd0: PUSH2 0x0f31
00000bd3: AND
00000bd4: JUMP
00000bd5: JUMPDEST
00000bd6: PUSH1 0x0d
00000bd8: SSTORE
00000bd9: PUSH1 0x01
00000bdb: PUSH1 0xa0
00000bdd: PUSH1 0x02
00000bdf: EXP
00000be0: SUB
00000be1: CALLER
00000be2: AND
00000be3: PUSH32 0xd7dee2702d63ad89917b6a4da9981c90c4d24f8c2bdfd64c604ecae57d8d0651
00000c04: DUP4
00000c05: PUSH1 0x40
00000c07: MLOAD
00000c08: SWAP1
00000c09: DUP2
00000c0a: MSTORE
00000c0b: PUSH1 0x20
00000c0d: ADD
00000c0e: PUSH1 0x40
00000c10: MLOAD
00000c11: DUP1
00000c12: SWAP2
00000c13: SUB
00000c14: SWAP1
00000c15: LOG2
00000c16: JUMPDEST
00000c17: JUMPDEST
00000c18: POP
00000c19: POP
00000c1a: JUMP
00000c1b: JUMPDEST
00000c1c: PUSH1 0x04
00000c1e: SLOAD
00000c1f: DUP2
00000c20: JUMP
00000c21: JUMPDEST
00000c22: PUSH1 0x0d
00000c24: SLOAD
00000c25: DUP2
00000c26: JUMP
00000c27: JUMPDEST
00000c28: PUSH1 0x00
00000c2a: SLOAD
00000c2b: CALLER
00000c2c: PUSH1 0x01
00000c2e: PUSH1 0xa0
00000c30: PUSH1 0x02
00000c32: EXP
00000c33: SUB
00000c34: SWAP1
00000c35: DUP2
00000c36: AND
00000c37: SWAP2
00000c38: AND
00000c39: EQ
00000c3a: PUSH2 0x0c42
00000c3d: JUMPI
00000c3e: PUSH1 0x00
00000c40: DUP1
00000c41: REVERT
00000c42: JUMPDEST
00000c43: PUSH1 0x00
00000c45: DUP1
00000c46: SLOAD
00000c47: PUSH21 0xff0000000000000000000000000000000000000000
00000c5d: NOT
00000c5e: AND
00000c5f: PUSH1 0xa0
00000c61: PUSH1 0x02
00000c63: EXP
00000c64: OR
00000c65: SWAP1
00000c66: SSTORE
00000c67: JUMPDEST
00000c68: JUMPDEST
00000c69: JUMP
00000c6a: JUMPDEST
00000c6b: PUSH1 0x09
00000c6d: SLOAD
00000c6e: DUP2
00000c6f: JUMP
00000c70: JUMPDEST
00000c71: PUSH1 0x07
00000c73: SLOAD
00000c74: DUP2
00000c75: JUMP
00000c76: JUMPDEST
00000c77: PUSH1 0x0e
00000c79: SLOAD
00000c7a: DUP2
00000c7b: JUMP
00000c7c: JUMPDEST
00000c7d: PUSH1 0x01
00000c7f: PUSH1 0xa0
00000c81: PUSH1 0x02
00000c83: EXP
00000c84: SUB
00000c85: DUP2
00000c86: AND
00000c87: PUSH1 0x00
00000c89: SWAP1
00000c8a: DUP2
00000c8b: MSTORE
00000c8c: PUSH1 0x12
00000c8e: PUSH1 0x20
00000c90: MSTORE
00000c91: PUSH1 0x40
00000c93: SWAP1
00000c94: KECCAK256
00000c95: SLOAD
00000c96: JUMPDEST
00000c97: SWAP2
00000c98: SWAP1
00000c99: POP
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: PUSH1 0x0a
00000c9e: SLOAD
00000c9f: DUP2
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: PUSH1 0x00
00000ca4: SLOAD
00000ca5: PUSH1 0x01
00000ca7: PUSH1 0xa0
00000ca9: PUSH1 0x02
00000cab: EXP
00000cac: SUB
00000cad: AND
00000cae: DUP2
00000caf: JUMP
00000cb0: JUMPDEST
00000cb1: PUSH1 0x06
00000cb3: SLOAD
00000cb4: DUP2
00000cb5: JUMP
00000cb6: JUMPDEST
00000cb7: PUSH1 0x05
00000cb9: SLOAD
00000cba: DUP2
00000cbb: JUMP
00000cbc: JUMPDEST
00000cbd: PUSH1 0x00
00000cbf: SLOAD
00000cc0: PUSH1 0xa0
00000cc2: PUSH1 0x02
00000cc4: EXP
00000cc5: SWAP1
00000cc6: DIV
00000cc7: PUSH1 0xff
00000cc9: AND
00000cca: DUP2
00000ccb: JUMP
00000ccc: JUMPDEST
00000ccd: PUSH1 0x01
00000ccf: PUSH1 0xa0
00000cd1: PUSH1 0x02
00000cd3: EXP
00000cd4: SUB
00000cd5: DUP2
00000cd6: AND
00000cd7: PUSH1 0x00
00000cd9: SWAP1
00000cda: DUP2
00000cdb: MSTORE
00000cdc: PUSH1 0x13
00000cde: PUSH1 0x20
00000ce0: MSTORE
00000ce1: PUSH1 0x40
00000ce3: SWAP1
00000ce4: KECCAK256
00000ce5: SLOAD
00000ce6: PUSH1 0xff
00000ce8: AND
00000ce9: JUMPDEST
00000cea: SWAP2
00000ceb: SWAP1
00000cec: POP
00000ced: JUMP
00000cee: JUMPDEST
00000cef: PUSH1 0x0b
00000cf1: SLOAD
00000cf2: DUP2
00000cf3: JUMP
00000cf4: JUMPDEST
00000cf5: PUSH1 0x00
00000cf7: SLOAD
00000cf8: CALLER
00000cf9: PUSH1 0x01
00000cfb: PUSH1 0xa0
00000cfd: PUSH1 0x02
00000cff: EXP
00000d00: SUB
00000d01: SWAP1
00000d02: DUP2
00000d03: AND
00000d04: SWAP2
00000d05: AND
00000d06: EQ
00000d07: PUSH2 0x0d0f
00000d0a: JUMPI
00000d0b: PUSH1 0x00
00000d0d: DUP1
00000d0e: REVERT
00000d0f: JUMPDEST
00000d10: PUSH1 0x00
00000d12: SLOAD
00000d13: PUSH1 0xa0
00000d15: PUSH1 0x02
00000d17: EXP
00000d18: SWAP1
00000d19: DIV
00000d1a: PUSH1 0xff
00000d1c: AND
00000d1d: ISZERO
00000d1e: ISZERO
00000d1f: PUSH2 0x0d27
00000d22: JUMPI
00000d23: PUSH1 0x00
00000d25: DUP1
00000d26: REVERT
00000d27: JUMPDEST
00000d28: PUSH1 0x00
00000d2a: DUP1
00000d2b: SLOAD
00000d2c: PUSH21 0xff0000000000000000000000000000000000000000
00000d42: NOT
00000d43: AND
00000d44: SWAP1
00000d45: SSTORE
00000d46: JUMPDEST
00000d47: JUMPDEST
00000d48: JUMPDEST
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: PUSH1 0x0c
00000d4d: SLOAD
00000d4e: DUP2
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: PUSH1 0x10
00000d53: SLOAD
00000d54: PUSH2 0x0100
00000d57: SWAP1
00000d58: DIV
00000d59: PUSH1 0xff
00000d5b: AND
00000d5c: DUP2
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: PUSH1 0x00
00000d61: SLOAD
00000d62: CALLER
00000d63: PUSH1 0x01
00000d65: PUSH1 0xa0
00000d67: PUSH1 0x02
00000d69: EXP
00000d6a: SUB
00000d6b: SWAP1
00000d6c: DUP2
00000d6d: AND
00000d6e: SWAP2
00000d6f: AND
00000d70: EQ
00000d71: PUSH2 0x0d79
00000d74: JUMPI
00000d75: PUSH1 0x00
00000d77: DUP1
00000d78: REVERT
00000d79: JUMPDEST
00000d7a: PUSH1 0x01
00000d7c: PUSH1 0xa0
00000d7e: PUSH1 0x02
00000d80: EXP
00000d81: SUB
00000d82: DUP2
00000d83: AND
00000d84: ISZERO
00000d85: ISZERO
00000d86: PUSH2 0x0d8e
00000d89: JUMPI
00000d8a: PUSH1 0x00
00000d8c: DUP1
00000d8d: REVERT
00000d8e: JUMPDEST
00000d8f: PUSH1 0x00
00000d91: DUP1
00000d92: SLOAD
00000d93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da8: NOT
00000da9: AND
00000daa: PUSH1 0x01
00000dac: PUSH1 0xa0
00000dae: PUSH1 0x02
00000db0: EXP
00000db1: SUB
00000db2: DUP4
00000db3: AND
00000db4: OR
00000db5: SWAP1
00000db6: SSTORE
00000db7: JUMPDEST
00000db8: JUMPDEST
00000db9: POP
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: PUSH1 0x00
00000dbe: DUP1
00000dbf: SLOAD
00000dc0: CALLER
00000dc1: PUSH1 0x01
00000dc3: PUSH1 0xa0
00000dc5: PUSH1 0x02
00000dc7: EXP
00000dc8: SUB
00000dc9: SWAP1
00000dca: DUP2
00000dcb: AND
00000dcc: SWAP2
00000dcd: AND
00000dce: EQ
00000dcf: PUSH2 0x0dd7
00000dd2: JUMPI
00000dd3: PUSH1 0x00
00000dd5: DUP1
00000dd6: REVERT
00000dd7: JUMPDEST
00000dd8: PUSH1 0x10
00000dda: SLOAD
00000ddb: PUSH2 0x0100
00000dde: SWAP1
00000ddf: DIV
00000de0: PUSH1 0xff
00000de2: AND
00000de3: ISZERO
00000de4: ISZERO
00000de5: PUSH2 0x0ded
00000de8: JUMPI
00000de9: PUSH1 0x00
00000deb: DUP1
00000dec: REVERT
00000ded: JUMPDEST
00000dee: PUSH1 0x02
00000df0: SLOAD
00000df1: PUSH1 0x01
00000df3: PUSH1 0xa0
00000df5: PUSH1 0x02
00000df7: EXP
00000df8: SUB
00000df9: AND
00000dfa: PUSH4 0x70a08231
00000dff: ADDRESS
00000e00: PUSH1 0x00
00000e02: PUSH1 0x40
00000e04: MLOAD
00000e05: PUSH1 0x20
00000e07: ADD
00000e08: MSTORE
00000e09: PUSH1 0x40
00000e0b: MLOAD
00000e0c: PUSH1 0xe0
00000e0e: PUSH1 0x02
00000e10: EXP
00000e11: PUSH4 0xffffffff
00000e16: DUP5
00000e17: AND
00000e18: MUL
00000e19: DUP2
00000e1a: MSTORE
00000e1b: PUSH1 0x01
00000e1d: PUSH1 0xa0
00000e1f: PUSH1 0x02
00000e21: EXP
00000e22: SUB
00000e23: SWAP1
00000e24: SWAP2
00000e25: AND
00000e26: PUSH1 0x04
00000e28: DUP3
00000e29: ADD
00000e2a: MSTORE
00000e2b: PUSH1 0x24
00000e2d: ADD
00000e2e: PUSH1 0x20
00000e30: PUSH1 0x40
00000e32: MLOAD
00000e33: DUP1
00000e34: DUP4
00000e35: SUB
00000e36: DUP2
00000e37: PUSH1 0x00
00000e39: DUP8
00000e3a: DUP1
00000e3b: EXTCODESIZE
00000e3c: ISZERO
00000e3d: ISZERO
00000e3e: PUSH2 0x0e46
00000e41: JUMPI
00000e42: PUSH1 0x00
00000e44: DUP1
00000e45: REVERT
00000e46: JUMPDEST
00000e47: PUSH2 0x02c6
00000e4a: GAS
00000e4b: SUB
00000e4c: CALL
00000e4d: ISZERO
00000e4e: ISZERO
00000e4f: PUSH2 0x0e57
00000e52: JUMPI
00000e53: PUSH1 0x00
00000e55: DUP1
00000e56: REVERT
00000e57: JUMPDEST
00000e58: POP
00000e59: POP
00000e5a: POP
00000e5b: PUSH1 0x40
00000e5d: MLOAD
00000e5e: DUP1
00000e5f: MLOAD
00000e60: SWAP1
00000e61: POP
00000e62: SWAP1
00000e63: POP
00000e64: PUSH1 0x04
00000e66: SLOAD
00000e67: PUSH1 0x0a
00000e69: SLOAD
00000e6a: LT
00000e6b: ISZERO
00000e6c: PUSH2 0x0e91
00000e6f: JUMPI
00000e70: PUSH1 0x04
00000e72: SLOAD
00000e73: PUSH1 0x0a
00000e75: SLOAD
00000e76: DUP2
00000e77: SUB
00000e78: PUSH11 0x14adf4b7320334b9000000
00000e84: MUL
00000e85: DUP2
00000e86: ISZERO
00000e87: ISZERO
00000e88: PUSH2 0x0e8d
00000e8b: JUMPI
00000e8c: INVALID
00000e8d: JUMPDEST
00000e8e: DIV
00000e8f: SWAP1
00000e90: POP
00000e91: JUMPDEST
00000e92: PUSH1 0x02
00000e94: SLOAD
00000e95: PUSH1 0x03
00000e97: SLOAD
00000e98: PUSH1 0x01
00000e9a: PUSH1 0xa0
00000e9c: PUSH1 0x02
00000e9e: EXP
00000e9f: SUB
00000ea0: SWAP2
00000ea1: DUP3
00000ea2: AND
00000ea3: SWAP2
00000ea4: PUSH4 0xa9059cbb
00000ea9: SWAP2
00000eaa: AND
00000eab: DUP4
00000eac: PUSH1 0x00
00000eae: PUSH1 0x40
00000eb0: MLOAD
00000eb1: PUSH1 0x20
00000eb3: ADD
00000eb4: MSTORE
00000eb5: PUSH1 0x40
00000eb7: MLOAD
00000eb8: PUSH1 0xe0
00000eba: PUSH1 0x02
00000ebc: EXP
00000ebd: PUSH4 0xffffffff
00000ec2: DUP6
00000ec3: AND
00000ec4: MUL
00000ec5: DUP2
00000ec6: MSTORE
00000ec7: PUSH1 0x01
00000ec9: PUSH1 0xa0
00000ecb: PUSH1 0x02
00000ecd: EXP
00000ece: SUB
00000ecf: SWAP1
00000ed0: SWAP3
00000ed1: AND
00000ed2: PUSH1 0x04
00000ed4: DUP4
00000ed5: ADD
00000ed6: MSTORE
00000ed7: PUSH1 0x24
00000ed9: DUP3
00000eda: ADD
00000edb: MSTORE
00000edc: PUSH1 0x44
00000ede: ADD
00000edf: PUSH1 0x20
00000ee1: PUSH1 0x40
00000ee3: MLOAD
00000ee4: DUP1
00000ee5: DUP4
00000ee6: SUB
00000ee7: DUP2
00000ee8: PUSH1 0x00
00000eea: DUP8
00000eeb: DUP1
00000eec: EXTCODESIZE
00000eed: ISZERO
00000eee: ISZERO
00000eef: PUSH2 0x0ef7
00000ef2: JUMPI
00000ef3: PUSH1 0x00
00000ef5: DUP1
00000ef6: REVERT
00000ef7: JUMPDEST
00000ef8: PUSH2 0x02c6
00000efb: GAS
00000efc: SUB
00000efd: CALL
00000efe: ISZERO
00000eff: ISZERO
00000f00: PUSH2 0x0f08
00000f03: JUMPI
00000f04: PUSH1 0x00
00000f06: DUP1
00000f07: REVERT
00000f08: JUMPDEST
00000f09: POP
00000f0a: POP
00000f0b: POP
00000f0c: PUSH1 0x40
00000f0e: MLOAD
00000f0f: DUP1
00000f10: MLOAD
00000f11: SWAP1
00000f12: POP
00000f13: ISZERO
00000f14: ISZERO
00000f15: PUSH2 0x0db7
00000f18: JUMPI
00000f19: PUSH1 0x00
00000f1b: DUP1
00000f1c: REVERT
00000f1d: JUMPDEST
00000f1e: JUMPDEST
00000f1f: JUMPDEST
00000f20: POP
00000f21: JUMP
00000f22: JUMPDEST
00000f23: PUSH1 0x02
00000f25: SLOAD
00000f26: PUSH1 0x01
00000f28: PUSH1 0xa0
00000f2a: PUSH1 0x02
00000f2c: EXP
00000f2d: SUB
00000f2e: AND
00000f2f: DUP2
00000f30: JUMP
00000f31: JUMPDEST
00000f32: PUSH1 0x00
00000f34: DUP3
00000f35: DUP3
00000f36: ADD
00000f37: DUP4
00000f38: DUP2
00000f39: LT
00000f3a: ISZERO
00000f3b: PUSH2 0x0f40
00000f3e: JUMPI
00000f3f: INVALID
00000f40: JUMPDEST
00000f41: DUP1
00000f42: SWAP2
00000f43: POP
00000f44: JUMPDEST
00000f45: POP
00000f46: SWAP3
00000f47: SWAP2
00000f48: POP
00000f49: POP
00000f4a: JUMP
00000f4b: JUMPDEST
00000f4c: PUSH1 0x0b
00000f4e: SLOAD
00000f4f: PUSH1 0x07
00000f51: SLOAD
00000f52: PUSH8 0x0de0b6b3a7640000
00000f5b: MUL
00000f5c: DUP2
00000f5d: ISZERO
00000f5e: ISZERO
00000f5f: PUSH2 0x0f64
00000f62: JUMPI
00000f63: INVALID
00000f64: JUMPDEST
00000f65: DIV
00000f66: PUSH1 0x04
00000f68: SSTORE
00000f69: PUSH1 0x0b
00000f6b: SLOAD
00000f6c: PUSH1 0x08
00000f6e: SLOAD
00000f6f: PUSH8 0x0de0b6b3a7640000
00000f78: MUL
00000f79: DUP2
00000f7a: ISZERO
00000f7b: ISZERO
00000f7c: PUSH2 0x0f81
00000f7f: JUMPI
00000f80: INVALID
00000f81: JUMPDEST
00000f82: DIV
00000f83: PUSH1 0x05
00000f85: SSTORE
00000f86: PUSH1 0x0b
00000f88: SLOAD
00000f89: PUSH1 0x09
00000f8b: SLOAD
00000f8c: PUSH8 0x0de0b6b3a7640000
00000f95: MUL
00000f96: DUP2
00000f97: ISZERO
00000f98: ISZERO
00000f99: PUSH2 0x0f9e
00000f9c: JUMPI
00000f9d: INVALID
00000f9e: JUMPDEST
00000f9f: DIV
00000fa0: PUSH1 0x06
00000fa2: SSTORE
00000fa3: JUMPDEST
00000fa4: JUMP
00000fa5: STOP
00000fa6: LOG1
00000fa7: PUSH6 0x627a7a723058
00000fae: KECCAK256
00000faf: LOG1
00000fb0: PUSH26 0x79d6caee931b3fdc1d03336a85bf84d7a3e720a105edd97b0eea
00000fcb: PUSH20
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x82690df12f01b080315c7023841db41c4545ad2f199f56d667e774ab4b1cbee9
call_targets: 0x575cb87ab3c2329a0248c7d70e0ead8e57f3e3f7
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x82690df12f01b080315c7023841db41c4545ad2f199f56d667e774ab4b1cbee9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x575cb87ab3c2329a0248c7d70e0ead8e57f3e3f7"
    ],
    "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": "0x014d0f68",
            "selector": "0x014d0f68",
            "calldata_variants": [
                "0x014d0f68",
                "0x014d0f680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b9edee9",
            "selector": "0x2b9edee9",
            "calldata_variants": [
                "0x2b9edee9",
                "0x2b9edee90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3197cbb6",
            "selector": "0x3197cbb6",
            "calldata_variants": [
                "0x3197cbb6",
                "0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38af3eed",
            "selector": "0x38af3eed",
            "calldata_variants": [
                "0x38af3eed",
                "0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e71d92d",
            "selector": "0x4e71d92d",
            "calldata_variants": [
                "0x4e71d92d",
                "0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x590e1ae3",
            "selector": "0x590e1ae3",
            "calldata_variants": [
                "0x590e1ae3",
                "0x590e1ae30000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2371,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2665,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2959,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x82690df12f01b080315c7023841db41c4545ad2f199f56d667e774ab4b1cbee9
call_targets: 0x575cb87ab3c2329a0248c7d70e0ead8e57f3e3f7
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x82690df12f01b080315c7023841db41c4545ad2f199f56d667e774ab4b1cbee9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x575cb87ab3c2329a0248c7d70e0ead8e57f3e3f7"
    ],
    "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": "0x014d0f68",
            "selector": "0x014d0f68",
            "calldata_variants": [
                "0x014d0f68",
                "0x014d0f680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b9edee9",
            "selector": "0x2b9edee9",
            "calldata_variants": [
                "0x2b9edee9",
                "0x2b9edee90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3197cbb6",
            "selector": "0x3197cbb6",
            "calldata_variants": [
                "0x3197cbb6",
                "0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38af3eed",
            "selector": "0x38af3eed",
            "calldata_variants": [
                "0x38af3eed",
                "0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e71d92d",
            "selector": "0x4e71d92d",
            "calldata_variants": [
                "0x4e71d92d",
                "0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x590e1ae3",
            "selector": "0x590e1ae3",
            "calldata_variants": [
                "0x590e1ae3",
                "0x590e1ae30000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2371,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2665,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2959,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}