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

Analysis Run

019b3844-8d76-70c8-8c57-21d1c534ded8

complete
Chain ID
1
Address
0xd73a66b8fb26be8b0acd7c52bd325054ac7d468b
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
12133 artifact.fetch complete 1 / 3 4 months ago
12134 tool.cast_disasm complete 1 / 3 4 months ago
55748 analysis.bundle complete 1 / 3 2 weeks ago
55749 capability.graph complete 1 / 3 2 weeks ago
55750 detector.run complete 1 / 3 2 weeks ago
55751 validation.fork complete 1 / 3 2 weeks 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)
2
EXT*/BALANCE
2
Total opcodes
4157
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 0x0175
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 0x01a3
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x095ea7b3
00000047: EQ
00000048: PUSH2 0x0233
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x0f4d14e9
00000052: EQ
00000053: PUSH2 0x0298
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x18160ddd
0000005d: EQ
0000005e: PUSH2 0x02b8
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x23b872dd
00000068: EQ
00000069: PUSH2 0x02e3
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x313ce567
00000073: EQ
00000074: PUSH2 0x0368
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x41398b15
0000007e: EQ
0000007f: PUSH2 0x0393
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x5ed7ca5b
00000089: EQ
0000008a: PUSH2 0x03ea
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x66188463
00000094: EQ
00000095: PUSH2 0x0401
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x70a08231
0000009f: EQ
000000a0: PUSH2 0x0466
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x746e60b5
000000aa: EQ
000000ab: PUSH2 0x04bd
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x7b929c27
000000b5: EQ
000000b6: PUSH2 0x0514
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x85f2aef2
000000c0: EQ
000000c1: PUSH2 0x056b
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x913a4ec2
000000cb: EQ
000000cc: PUSH2 0x05c2
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x95d89b41
000000d6: EQ
000000d7: PUSH2 0x0607
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0xa035b1fe
000000e1: EQ
000000e2: PUSH2 0x0697
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0xa9059cbb
000000ec: EQ
000000ed: PUSH2 0x06c2
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0xafc7c3ce
000000f7: EQ
000000f8: PUSH2 0x0727
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0xb1bd7683
00000102: EQ
00000103: PUSH2 0x07ac
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0xb2e2c75f
0000010d: EQ
0000010e: PUSH2 0x07d7
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0xb9b8af0b
00000118: EQ
00000119: PUSH2 0x0802
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0xc6a8a6eb
00000123: EQ
00000124: PUSH2 0x0831
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0xcb3e64fd
0000012e: EQ
0000012f: PUSH2 0x085c
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0xcd72ab69
00000139: EQ
0000013a: PUSH2 0x0873
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0xd73dd623
00000144: EQ
00000145: PUSH2 0x089e
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0xd92ca5b4
0000014f: EQ
00000150: PUSH2 0x0903
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0xdc1fb5a5
0000015a: EQ
0000015b: PUSH2 0x092e
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0xdd62ed3e
00000165: EQ
00000166: PUSH2 0x0985
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0xeea8465a
00000170: EQ
00000171: PUSH2 0x09fc
00000174: JUMPI
00000175: JUMPDEST
00000176: PUSH1 0x00
00000178: ISZERO
00000179: ISZERO
0000017a: PUSH1 0x0d
0000017c: PUSH1 0x00
0000017e: SWAP1
0000017f: SLOAD
00000180: SWAP1
00000181: PUSH2 0x0100
00000184: EXP
00000185: SWAP1
00000186: DIV
00000187: PUSH1 0xff
00000189: AND
0000018a: ISZERO
0000018b: ISZERO
0000018c: EQ
0000018d: ISZERO
0000018e: ISZERO
0000018f: PUSH2 0x0197
00000192: JUMPI
00000193: PUSH1 0x00
00000195: DUP1
00000196: REVERT
00000197: JUMPDEST
00000198: PUSH2 0x01a1
0000019b: CALLER
0000019c: CALLVALUE
0000019d: PUSH2 0x0a27
000001a0: JUMP
000001a1: JUMPDEST
000001a2: STOP
000001a3: JUMPDEST
000001a4: CALLVALUE
000001a5: DUP1
000001a6: ISZERO
000001a7: PUSH2 0x01af
000001aa: JUMPI
000001ab: PUSH1 0x00
000001ad: DUP1
000001ae: REVERT
000001af: JUMPDEST
000001b0: POP
000001b1: PUSH2 0x01b8
000001b4: PUSH2 0x0cc6
000001b7: JUMP
000001b8: JUMPDEST
000001b9: PUSH1 0x40
000001bb: MLOAD
000001bc: DUP1
000001bd: DUP1
000001be: PUSH1 0x20
000001c0: ADD
000001c1: DUP3
000001c2: DUP2
000001c3: SUB
000001c4: DUP3
000001c5: MSTORE
000001c6: DUP4
000001c7: DUP2
000001c8: DUP2
000001c9: MLOAD
000001ca: DUP2
000001cb: MSTORE
000001cc: PUSH1 0x20
000001ce: ADD
000001cf: SWAP2
000001d0: POP
000001d1: DUP1
000001d2: MLOAD
000001d3: SWAP1
000001d4: PUSH1 0x20
000001d6: ADD
000001d7: SWAP1
000001d8: DUP1
000001d9: DUP4
000001da: DUP4
000001db: PUSH1 0x00
000001dd: JUMPDEST
000001de: DUP4
000001df: DUP2
000001e0: LT
000001e1: ISZERO
000001e2: PUSH2 0x01f8
000001e5: JUMPI
000001e6: DUP1
000001e7: DUP3
000001e8: ADD
000001e9: MLOAD
000001ea: DUP2
000001eb: DUP5
000001ec: ADD
000001ed: MSTORE
000001ee: PUSH1 0x20
000001f0: DUP2
000001f1: ADD
000001f2: SWAP1
000001f3: POP
000001f4: PUSH2 0x01dd
000001f7: JUMP
000001f8: JUMPDEST
000001f9: POP
000001fa: POP
000001fb: POP
000001fc: POP
000001fd: SWAP1
000001fe: POP
000001ff: SWAP1
00000200: DUP2
00000201: ADD
00000202: SWAP1
00000203: PUSH1 0x1f
00000205: AND
00000206: DUP1
00000207: ISZERO
00000208: PUSH2 0x0225
0000020b: JUMPI
0000020c: DUP1
0000020d: DUP3
0000020e: SUB
0000020f: DUP1
00000210: MLOAD
00000211: PUSH1 0x01
00000213: DUP4
00000214: PUSH1 0x20
00000216: SUB
00000217: PUSH2 0x0100
0000021a: EXP
0000021b: SUB
0000021c: NOT
0000021d: AND
0000021e: DUP2
0000021f: MSTORE
00000220: PUSH1 0x20
00000222: ADD
00000223: SWAP2
00000224: POP
00000225: JUMPDEST
00000226: POP
00000227: SWAP3
00000228: POP
00000229: POP
0000022a: POP
0000022b: PUSH1 0x40
0000022d: MLOAD
0000022e: DUP1
0000022f: SWAP2
00000230: SUB
00000231: SWAP1
00000232: RETURN
00000233: JUMPDEST
00000234: CALLVALUE
00000235: DUP1
00000236: ISZERO
00000237: PUSH2 0x023f
0000023a: JUMPI
0000023b: PUSH1 0x00
0000023d: DUP1
0000023e: REVERT
0000023f: JUMPDEST
00000240: POP
00000241: PUSH2 0x027e
00000244: PUSH1 0x04
00000246: DUP1
00000247: CALLDATASIZE
00000248: SUB
00000249: DUP2
0000024a: ADD
0000024b: SWAP1
0000024c: DUP1
0000024d: DUP1
0000024e: CALLDATALOAD
0000024f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000264: AND
00000265: SWAP1
00000266: PUSH1 0x20
00000268: ADD
00000269: SWAP1
0000026a: SWAP3
0000026b: SWAP2
0000026c: SWAP1
0000026d: DUP1
0000026e: CALLDATALOAD
0000026f: SWAP1
00000270: PUSH1 0x20
00000272: ADD
00000273: SWAP1
00000274: SWAP3
00000275: SWAP2
00000276: SWAP1
00000277: POP
00000278: POP
00000279: POP
0000027a: PUSH2 0x0cff
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH1 0x40
00000281: MLOAD
00000282: DUP1
00000283: DUP3
00000284: ISZERO
00000285: ISZERO
00000286: ISZERO
00000287: ISZERO
00000288: DUP2
00000289: MSTORE
0000028a: PUSH1 0x20
0000028c: ADD
0000028d: SWAP2
0000028e: POP
0000028f: POP
00000290: PUSH1 0x40
00000292: MLOAD
00000293: DUP1
00000294: SWAP2
00000295: SUB
00000296: SWAP1
00000297: RETURN
00000298: JUMPDEST
00000299: PUSH2 0x02b6
0000029c: PUSH1 0x04
0000029e: DUP1
0000029f: CALLDATASIZE
000002a0: SUB
000002a1: DUP2
000002a2: ADD
000002a3: SWAP1
000002a4: DUP1
000002a5: DUP1
000002a6: CALLDATALOAD
000002a7: SWAP1
000002a8: PUSH1 0x20
000002aa: ADD
000002ab: SWAP1
000002ac: SWAP3
000002ad: SWAP2
000002ae: SWAP1
000002af: POP
000002b0: POP
000002b1: POP
000002b2: PUSH2 0x0df1
000002b5: JUMP
000002b6: JUMPDEST
000002b7: STOP
000002b8: JUMPDEST
000002b9: CALLVALUE
000002ba: DUP1
000002bb: ISZERO
000002bc: PUSH2 0x02c4
000002bf: JUMPI
000002c0: PUSH1 0x00
000002c2: DUP1
000002c3: REVERT
000002c4: JUMPDEST
000002c5: POP
000002c6: PUSH2 0x02cd
000002c9: PUSH2 0x0edc
000002cc: JUMP
000002cd: JUMPDEST
000002ce: PUSH1 0x40
000002d0: MLOAD
000002d1: DUP1
000002d2: DUP3
000002d3: DUP2
000002d4: MSTORE
000002d5: PUSH1 0x20
000002d7: ADD
000002d8: SWAP2
000002d9: POP
000002da: POP
000002db: PUSH1 0x40
000002dd: MLOAD
000002de: DUP1
000002df: SWAP2
000002e0: SUB
000002e1: SWAP1
000002e2: RETURN
000002e3: JUMPDEST
000002e4: CALLVALUE
000002e5: DUP1
000002e6: ISZERO
000002e7: PUSH2 0x02ef
000002ea: JUMPI
000002eb: PUSH1 0x00
000002ed: DUP1
000002ee: REVERT
000002ef: JUMPDEST
000002f0: POP
000002f1: PUSH2 0x034e
000002f4: PUSH1 0x04
000002f6: DUP1
000002f7: CALLDATASIZE
000002f8: SUB
000002f9: DUP2
000002fa: ADD
000002fb: SWAP1
000002fc: DUP1
000002fd: DUP1
000002fe: CALLDATALOAD
000002ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000314: AND
00000315: SWAP1
00000316: PUSH1 0x20
00000318: ADD
00000319: SWAP1
0000031a: SWAP3
0000031b: SWAP2
0000031c: SWAP1
0000031d: DUP1
0000031e: CALLDATALOAD
0000031f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000334: AND
00000335: SWAP1
00000336: PUSH1 0x20
00000338: ADD
00000339: SWAP1
0000033a: SWAP3
0000033b: SWAP2
0000033c: SWAP1
0000033d: DUP1
0000033e: CALLDATALOAD
0000033f: SWAP1
00000340: PUSH1 0x20
00000342: ADD
00000343: SWAP1
00000344: SWAP3
00000345: SWAP2
00000346: SWAP1
00000347: POP
00000348: POP
00000349: POP
0000034a: PUSH2 0x0ee6
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH1 0x40
00000351: MLOAD
00000352: DUP1
00000353: DUP3
00000354: ISZERO
00000355: ISZERO
00000356: ISZERO
00000357: ISZERO
00000358: DUP2
00000359: MSTORE
0000035a: PUSH1 0x20
0000035c: ADD
0000035d: SWAP2
0000035e: POP
0000035f: POP
00000360: PUSH1 0x40
00000362: MLOAD
00000363: DUP1
00000364: SWAP2
00000365: SUB
00000366: SWAP1
00000367: RETURN
00000368: JUMPDEST
00000369: CALLVALUE
0000036a: DUP1
0000036b: ISZERO
0000036c: PUSH2 0x0374
0000036f: JUMPI
00000370: PUSH1 0x00
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: POP
00000376: PUSH2 0x037d
00000379: PUSH2 0x1045
0000037c: JUMP
0000037d: JUMPDEST
0000037e: PUSH1 0x40
00000380: MLOAD
00000381: DUP1
00000382: DUP3
00000383: DUP2
00000384: MSTORE
00000385: PUSH1 0x20
00000387: ADD
00000388: SWAP2
00000389: POP
0000038a: POP
0000038b: PUSH1 0x40
0000038d: MLOAD
0000038e: DUP1
0000038f: SWAP2
00000390: SUB
00000391: SWAP1
00000392: RETURN
00000393: JUMPDEST
00000394: CALLVALUE
00000395: DUP1
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: POP
000003a1: PUSH2 0x03a8
000003a4: PUSH2 0x104a
000003a7: JUMP
000003a8: JUMPDEST
000003a9: PUSH1 0x40
000003ab: MLOAD
000003ac: DUP1
000003ad: DUP3
000003ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c3: AND
000003c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d9: AND
000003da: DUP2
000003db: MSTORE
000003dc: PUSH1 0x20
000003de: ADD
000003df: SWAP2
000003e0: POP
000003e1: POP
000003e2: PUSH1 0x40
000003e4: MLOAD
000003e5: DUP1
000003e6: SWAP2
000003e7: SUB
000003e8: SWAP1
000003e9: RETURN
000003ea: JUMPDEST
000003eb: CALLVALUE
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: POP
000003f8: PUSH2 0x03ff
000003fb: PUSH2 0x1062
000003fe: JUMP
000003ff: JUMPDEST
00000400: STOP
00000401: JUMPDEST
00000402: CALLVALUE
00000403: DUP1
00000404: ISZERO
00000405: PUSH2 0x040d
00000408: JUMPI
00000409: PUSH1 0x00
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: POP
0000040f: PUSH2 0x044c
00000412: PUSH1 0x04
00000414: DUP1
00000415: CALLDATASIZE
00000416: SUB
00000417: DUP2
00000418: ADD
00000419: SWAP1
0000041a: DUP1
0000041b: DUP1
0000041c: CALLDATALOAD
0000041d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000432: AND
00000433: SWAP1
00000434: PUSH1 0x20
00000436: ADD
00000437: SWAP1
00000438: SWAP3
00000439: SWAP2
0000043a: SWAP1
0000043b: DUP1
0000043c: CALLDATALOAD
0000043d: SWAP1
0000043e: PUSH1 0x20
00000440: ADD
00000441: SWAP1
00000442: SWAP3
00000443: SWAP2
00000444: SWAP1
00000445: POP
00000446: POP
00000447: POP
00000448: PUSH2 0x1125
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: DUP1
00000451: DUP3
00000452: ISZERO
00000453: ISZERO
00000454: ISZERO
00000455: ISZERO
00000456: DUP2
00000457: MSTORE
00000458: PUSH1 0x20
0000045a: ADD
0000045b: SWAP2
0000045c: POP
0000045d: POP
0000045e: PUSH1 0x40
00000460: MLOAD
00000461: DUP1
00000462: SWAP2
00000463: SUB
00000464: SWAP1
00000465: RETURN
00000466: JUMPDEST
00000467: CALLVALUE
00000468: DUP1
00000469: ISZERO
0000046a: PUSH2 0x0472
0000046d: JUMPI
0000046e: PUSH1 0x00
00000470: DUP1
00000471: REVERT
00000472: JUMPDEST
00000473: POP
00000474: PUSH2 0x04a7
00000477: PUSH1 0x04
00000479: DUP1
0000047a: CALLDATASIZE
0000047b: SUB
0000047c: DUP2
0000047d: ADD
0000047e: SWAP1
0000047f: DUP1
00000480: DUP1
00000481: CALLDATALOAD
00000482: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000497: AND
00000498: SWAP1
00000499: PUSH1 0x20
0000049b: ADD
0000049c: SWAP1
0000049d: SWAP3
0000049e: SWAP2
0000049f: SWAP1
000004a0: POP
000004a1: POP
000004a2: POP
000004a3: PUSH2 0x13b6
000004a6: JUMP
000004a7: JUMPDEST
000004a8: PUSH1 0x40
000004aa: MLOAD
000004ab: DUP1
000004ac: DUP3
000004ad: DUP2
000004ae: MSTORE
000004af: PUSH1 0x20
000004b1: ADD
000004b2: SWAP2
000004b3: POP
000004b4: POP
000004b5: PUSH1 0x40
000004b7: MLOAD
000004b8: DUP1
000004b9: SWAP2
000004ba: SUB
000004bb: SWAP1
000004bc: RETURN
000004bd: JUMPDEST
000004be: CALLVALUE
000004bf: DUP1
000004c0: ISZERO
000004c1: PUSH2 0x04c9
000004c4: JUMPI
000004c5: PUSH1 0x00
000004c7: DUP1
000004c8: REVERT
000004c9: JUMPDEST
000004ca: POP
000004cb: PUSH2 0x04d2
000004ce: PUSH2 0x13fe
000004d1: JUMP
000004d2: JUMPDEST
000004d3: PUSH1 0x40
000004d5: MLOAD
000004d6: DUP1
000004d7: DUP3
000004d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ed: AND
000004ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000503: AND
00000504: DUP2
00000505: MSTORE
00000506: PUSH1 0x20
00000508: ADD
00000509: SWAP2
0000050a: POP
0000050b: POP
0000050c: PUSH1 0x40
0000050e: MLOAD
0000050f: DUP1
00000510: SWAP2
00000511: SUB
00000512: SWAP1
00000513: RETURN
00000514: JUMPDEST
00000515: CALLVALUE
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: POP
00000522: PUSH2 0x0529
00000525: PUSH2 0x1416
00000528: JUMP
00000529: JUMPDEST
0000052a: PUSH1 0x40
0000052c: MLOAD
0000052d: DUP1
0000052e: DUP3
0000052f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000544: AND
00000545: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000055a: AND
0000055b: DUP2
0000055c: MSTORE
0000055d: PUSH1 0x20
0000055f: ADD
00000560: SWAP2
00000561: POP
00000562: POP
00000563: PUSH1 0x40
00000565: MLOAD
00000566: DUP1
00000567: SWAP2
00000568: SUB
00000569: SWAP1
0000056a: RETURN
0000056b: JUMPDEST
0000056c: CALLVALUE
0000056d: DUP1
0000056e: ISZERO
0000056f: PUSH2 0x0577
00000572: JUMPI
00000573: PUSH1 0x00
00000575: DUP1
00000576: REVERT
00000577: JUMPDEST
00000578: POP
00000579: PUSH2 0x0580
0000057c: PUSH2 0x142e
0000057f: JUMP
00000580: JUMPDEST
00000581: PUSH1 0x40
00000583: MLOAD
00000584: DUP1
00000585: DUP3
00000586: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000059b: AND
0000059c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b1: AND
000005b2: DUP2
000005b3: MSTORE
000005b4: PUSH1 0x20
000005b6: ADD
000005b7: SWAP2
000005b8: POP
000005b9: POP
000005ba: PUSH1 0x40
000005bc: MLOAD
000005bd: DUP1
000005be: SWAP2
000005bf: SUB
000005c0: SWAP1
000005c1: RETURN
000005c2: JUMPDEST
000005c3: CALLVALUE
000005c4: DUP1
000005c5: ISZERO
000005c6: PUSH2 0x05ce
000005c9: JUMPI
000005ca: PUSH1 0x00
000005cc: DUP1
000005cd: REVERT
000005ce: JUMPDEST
000005cf: POP
000005d0: PUSH2 0x05ed
000005d3: PUSH1 0x04
000005d5: DUP1
000005d6: CALLDATASIZE
000005d7: SUB
000005d8: DUP2
000005d9: ADD
000005da: SWAP1
000005db: DUP1
000005dc: DUP1
000005dd: CALLDATALOAD
000005de: SWAP1
000005df: PUSH1 0x20
000005e1: ADD
000005e2: SWAP1
000005e3: SWAP3
000005e4: SWAP2
000005e5: SWAP1
000005e6: POP
000005e7: POP
000005e8: POP
000005e9: PUSH2 0x1446
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: DUP1
000005f2: DUP3
000005f3: ISZERO
000005f4: ISZERO
000005f5: ISZERO
000005f6: ISZERO
000005f7: DUP2
000005f8: MSTORE
000005f9: PUSH1 0x20
000005fb: ADD
000005fc: SWAP2
000005fd: POP
000005fe: POP
000005ff: PUSH1 0x40
00000601: MLOAD
00000602: DUP1
00000603: SWAP2
00000604: SUB
00000605: SWAP1
00000606: RETURN
00000607: JUMPDEST
00000608: CALLVALUE
00000609: DUP1
0000060a: ISZERO
0000060b: PUSH2 0x0613
0000060e: JUMPI
0000060f: PUSH1 0x00
00000611: DUP1
00000612: REVERT
00000613: JUMPDEST
00000614: POP
00000615: PUSH2 0x061c
00000618: PUSH2 0x1604
0000061b: JUMP
0000061c: JUMPDEST
0000061d: PUSH1 0x40
0000061f: MLOAD
00000620: DUP1
00000621: DUP1
00000622: PUSH1 0x20
00000624: ADD
00000625: DUP3
00000626: DUP2
00000627: SUB
00000628: DUP3
00000629: MSTORE
0000062a: DUP4
0000062b: DUP2
0000062c: DUP2
0000062d: MLOAD
0000062e: DUP2
0000062f: MSTORE
00000630: PUSH1 0x20
00000632: ADD
00000633: SWAP2
00000634: POP
00000635: DUP1
00000636: MLOAD
00000637: SWAP1
00000638: PUSH1 0x20
0000063a: ADD
0000063b: SWAP1
0000063c: DUP1
0000063d: DUP4
0000063e: DUP4
0000063f: PUSH1 0x00
00000641: JUMPDEST
00000642: DUP4
00000643: DUP2
00000644: LT
00000645: ISZERO
00000646: PUSH2 0x065c
00000649: JUMPI
0000064a: DUP1
0000064b: DUP3
0000064c: ADD
0000064d: MLOAD
0000064e: DUP2
0000064f: DUP5
00000650: ADD
00000651: MSTORE
00000652: PUSH1 0x20
00000654: DUP2
00000655: ADD
00000656: SWAP1
00000657: POP
00000658: PUSH2 0x0641
0000065b: JUMP
0000065c: JUMPDEST
0000065d: POP
0000065e: POP
0000065f: POP
00000660: POP
00000661: SWAP1
00000662: POP
00000663: SWAP1
00000664: DUP2
00000665: ADD
00000666: SWAP1
00000667: PUSH1 0x1f
00000669: AND
0000066a: DUP1
0000066b: ISZERO
0000066c: PUSH2 0x0689
0000066f: JUMPI
00000670: DUP1
00000671: DUP3
00000672: SUB
00000673: DUP1
00000674: MLOAD
00000675: PUSH1 0x01
00000677: DUP4
00000678: PUSH1 0x20
0000067a: SUB
0000067b: PUSH2 0x0100
0000067e: EXP
0000067f: SUB
00000680: NOT
00000681: AND
00000682: DUP2
00000683: MSTORE
00000684: PUSH1 0x20
00000686: ADD
00000687: SWAP2
00000688: POP
00000689: JUMPDEST
0000068a: POP
0000068b: SWAP3
0000068c: POP
0000068d: POP
0000068e: POP
0000068f: PUSH1 0x40
00000691: MLOAD
00000692: DUP1
00000693: SWAP2
00000694: SUB
00000695: SWAP1
00000696: RETURN
00000697: JUMPDEST
00000698: CALLVALUE
00000699: DUP1
0000069a: ISZERO
0000069b: PUSH2 0x06a3
0000069e: JUMPI
0000069f: PUSH1 0x00
000006a1: DUP1
000006a2: REVERT
000006a3: JUMPDEST
000006a4: POP
000006a5: PUSH2 0x06ac
000006a8: PUSH2 0x163d
000006ab: JUMP
000006ac: JUMPDEST
000006ad: PUSH1 0x40
000006af: MLOAD
000006b0: DUP1
000006b1: DUP3
000006b2: DUP2
000006b3: MSTORE
000006b4: PUSH1 0x20
000006b6: ADD
000006b7: SWAP2
000006b8: POP
000006b9: POP
000006ba: PUSH1 0x40
000006bc: MLOAD
000006bd: DUP1
000006be: SWAP2
000006bf: SUB
000006c0: SWAP1
000006c1: RETURN
000006c2: JUMPDEST
000006c3: CALLVALUE
000006c4: DUP1
000006c5: ISZERO
000006c6: PUSH2 0x06ce
000006c9: JUMPI
000006ca: PUSH1 0x00
000006cc: DUP1
000006cd: REVERT
000006ce: JUMPDEST
000006cf: POP
000006d0: PUSH2 0x070d
000006d3: PUSH1 0x04
000006d5: DUP1
000006d6: CALLDATASIZE
000006d7: SUB
000006d8: DUP2
000006d9: ADD
000006da: SWAP1
000006db: DUP1
000006dc: DUP1
000006dd: CALLDATALOAD
000006de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f3: AND
000006f4: SWAP1
000006f5: PUSH1 0x20
000006f7: ADD
000006f8: SWAP1
000006f9: SWAP3
000006fa: SWAP2
000006fb: SWAP1
000006fc: DUP1
000006fd: CALLDATALOAD
000006fe: SWAP1
000006ff: PUSH1 0x20
00000701: ADD
00000702: SWAP1
00000703: SWAP3
00000704: SWAP2
00000705: SWAP1
00000706: POP
00000707: POP
00000708: POP
00000709: PUSH2 0x1643
0000070c: JUMP
0000070d: JUMPDEST
0000070e: PUSH1 0x40
00000710: MLOAD
00000711: DUP1
00000712: DUP3
00000713: ISZERO
00000714: ISZERO
00000715: ISZERO
00000716: ISZERO
00000717: DUP2
00000718: MSTORE
00000719: PUSH1 0x20
0000071b: ADD
0000071c: SWAP2
0000071d: POP
0000071e: POP
0000071f: PUSH1 0x40
00000721: MLOAD
00000722: DUP1
00000723: SWAP2
00000724: SUB
00000725: SWAP1
00000726: RETURN
00000727: JUMPDEST
00000728: CALLVALUE
00000729: DUP1
0000072a: ISZERO
0000072b: PUSH2 0x0733
0000072e: JUMPI
0000072f: PUSH1 0x00
00000731: DUP1
00000732: REVERT
00000733: JUMPDEST
00000734: POP
00000735: PUSH2 0x0792
00000738: PUSH1 0x04
0000073a: DUP1
0000073b: CALLDATASIZE
0000073c: SUB
0000073d: DUP2
0000073e: ADD
0000073f: SWAP1
00000740: DUP1
00000741: DUP1
00000742: CALLDATALOAD
00000743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000758: AND
00000759: SWAP1
0000075a: PUSH1 0x20
0000075c: ADD
0000075d: SWAP1
0000075e: SWAP3
0000075f: SWAP2
00000760: SWAP1
00000761: DUP1
00000762: CALLDATALOAD
00000763: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000778: AND
00000779: SWAP1
0000077a: PUSH1 0x20
0000077c: ADD
0000077d: SWAP1
0000077e: SWAP3
0000077f: SWAP2
00000780: SWAP1
00000781: DUP1
00000782: CALLDATALOAD
00000783: SWAP1
00000784: PUSH1 0x20
00000786: ADD
00000787: SWAP1
00000788: SWAP3
00000789: SWAP2
0000078a: SWAP1
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: PUSH2 0x17b2
00000791: JUMP
00000792: JUMPDEST
00000793: PUSH1 0x40
00000795: MLOAD
00000796: DUP1
00000797: DUP3
00000798: ISZERO
00000799: ISZERO
0000079a: ISZERO
0000079b: ISZERO
0000079c: DUP2
0000079d: MSTORE
0000079e: PUSH1 0x20
000007a0: ADD
000007a1: SWAP2
000007a2: POP
000007a3: POP
000007a4: PUSH1 0x40
000007a6: MLOAD
000007a7: DUP1
000007a8: SWAP2
000007a9: SUB
000007aa: SWAP1
000007ab: RETURN
000007ac: JUMPDEST
000007ad: CALLVALUE
000007ae: DUP1
000007af: ISZERO
000007b0: PUSH2 0x07b8
000007b3: JUMPI
000007b4: PUSH1 0x00
000007b6: DUP1
000007b7: REVERT
000007b8: JUMPDEST
000007b9: POP
000007ba: PUSH2 0x07c1
000007bd: PUSH2 0x1af2
000007c0: JUMP
000007c1: JUMPDEST
000007c2: PUSH1 0x40
000007c4: MLOAD
000007c5: DUP1
000007c6: DUP3
000007c7: DUP2
000007c8: MSTORE
000007c9: PUSH1 0x20
000007cb: ADD
000007cc: SWAP2
000007cd: POP
000007ce: POP
000007cf: PUSH1 0x40
000007d1: MLOAD
000007d2: DUP1
000007d3: SWAP2
000007d4: SUB
000007d5: SWAP1
000007d6: RETURN
000007d7: JUMPDEST
000007d8: CALLVALUE
000007d9: DUP1
000007da: ISZERO
000007db: PUSH2 0x07e3
000007de: JUMPI
000007df: PUSH1 0x00
000007e1: DUP1
000007e2: REVERT
000007e3: JUMPDEST
000007e4: POP
000007e5: PUSH2 0x07ec
000007e8: PUSH2 0x1b00
000007eb: JUMP
000007ec: JUMPDEST
000007ed: PUSH1 0x40
000007ef: MLOAD
000007f0: DUP1
000007f1: DUP3
000007f2: DUP2
000007f3: MSTORE
000007f4: PUSH1 0x20
000007f6: ADD
000007f7: SWAP2
000007f8: POP
000007f9: POP
000007fa: PUSH1 0x40
000007fc: MLOAD
000007fd: DUP1
000007fe: SWAP2
000007ff: SUB
00000800: SWAP1
00000801: RETURN
00000802: JUMPDEST
00000803: CALLVALUE
00000804: DUP1
00000805: ISZERO
00000806: PUSH2 0x080e
00000809: JUMPI
0000080a: PUSH1 0x00
0000080c: DUP1
0000080d: REVERT
0000080e: JUMPDEST
0000080f: POP
00000810: PUSH2 0x0817
00000813: PUSH2 0x1b06
00000816: JUMP
00000817: JUMPDEST
00000818: PUSH1 0x40
0000081a: MLOAD
0000081b: DUP1
0000081c: DUP3
0000081d: ISZERO
0000081e: ISZERO
0000081f: ISZERO
00000820: ISZERO
00000821: DUP2
00000822: MSTORE
00000823: PUSH1 0x20
00000825: ADD
00000826: SWAP2
00000827: POP
00000828: POP
00000829: PUSH1 0x40
0000082b: MLOAD
0000082c: DUP1
0000082d: SWAP2
0000082e: SUB
0000082f: SWAP1
00000830: RETURN
00000831: JUMPDEST
00000832: CALLVALUE
00000833: DUP1
00000834: ISZERO
00000835: PUSH2 0x083d
00000838: JUMPI
00000839: PUSH1 0x00
0000083b: DUP1
0000083c: REVERT
0000083d: JUMPDEST
0000083e: POP
0000083f: PUSH2 0x0846
00000842: PUSH2 0x1b19
00000845: JUMP
00000846: JUMPDEST
00000847: PUSH1 0x40
00000849: MLOAD
0000084a: DUP1
0000084b: DUP3
0000084c: DUP2
0000084d: MSTORE
0000084e: PUSH1 0x20
00000850: ADD
00000851: SWAP2
00000852: POP
00000853: POP
00000854: PUSH1 0x40
00000856: MLOAD
00000857: DUP1
00000858: SWAP2
00000859: SUB
0000085a: SWAP1
0000085b: RETURN
0000085c: JUMPDEST
0000085d: CALLVALUE
0000085e: DUP1
0000085f: ISZERO
00000860: PUSH2 0x0868
00000863: JUMPI
00000864: PUSH1 0x00
00000866: DUP1
00000867: REVERT
00000868: JUMPDEST
00000869: POP
0000086a: PUSH2 0x0871
0000086d: PUSH2 0x1b27
00000870: JUMP
00000871: JUMPDEST
00000872: STOP
00000873: JUMPDEST
00000874: CALLVALUE
00000875: DUP1
00000876: ISZERO
00000877: PUSH2 0x087f
0000087a: JUMPI
0000087b: PUSH1 0x00
0000087d: DUP1
0000087e: REVERT
0000087f: JUMPDEST
00000880: POP
00000881: PUSH2 0x0888
00000884: PUSH2 0x1bea
00000887: JUMP
00000888: JUMPDEST
00000889: PUSH1 0x40
0000088b: MLOAD
0000088c: DUP1
0000088d: DUP3
0000088e: DUP2
0000088f: MSTORE
00000890: PUSH1 0x20
00000892: ADD
00000893: SWAP2
00000894: POP
00000895: POP
00000896: PUSH1 0x40
00000898: MLOAD
00000899: DUP1
0000089a: SWAP2
0000089b: SUB
0000089c: SWAP1
0000089d: RETURN
0000089e: JUMPDEST
0000089f: CALLVALUE
000008a0: DUP1
000008a1: ISZERO
000008a2: PUSH2 0x08aa
000008a5: JUMPI
000008a6: PUSH1 0x00
000008a8: DUP1
000008a9: REVERT
000008aa: JUMPDEST
000008ab: POP
000008ac: PUSH2 0x08e9
000008af: PUSH1 0x04
000008b1: DUP1
000008b2: CALLDATASIZE
000008b3: SUB
000008b4: DUP2
000008b5: ADD
000008b6: SWAP1
000008b7: DUP1
000008b8: DUP1
000008b9: CALLDATALOAD
000008ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cf: AND
000008d0: SWAP1
000008d1: PUSH1 0x20
000008d3: ADD
000008d4: SWAP1
000008d5: SWAP3
000008d6: SWAP2
000008d7: SWAP1
000008d8: DUP1
000008d9: CALLDATALOAD
000008da: SWAP1
000008db: PUSH1 0x20
000008dd: ADD
000008de: SWAP1
000008df: SWAP3
000008e0: SWAP2
000008e1: SWAP1
000008e2: POP
000008e3: POP
000008e4: POP
000008e5: PUSH2 0x1bf0
000008e8: JUMP
000008e9: JUMPDEST
000008ea: PUSH1 0x40
000008ec: MLOAD
000008ed: DUP1
000008ee: DUP3
000008ef: ISZERO
000008f0: ISZERO
000008f1: ISZERO
000008f2: ISZERO
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 0x0918
00000914: PUSH2 0x1dec
00000917: JUMP
00000918: JUMPDEST
00000919: PUSH1 0x40
0000091b: MLOAD
0000091c: DUP1
0000091d: DUP3
0000091e: DUP2
0000091f: MSTORE
00000920: PUSH1 0x20
00000922: ADD
00000923: SWAP2
00000924: POP
00000925: POP
00000926: PUSH1 0x40
00000928: MLOAD
00000929: DUP1
0000092a: SWAP2
0000092b: SUB
0000092c: SWAP1
0000092d: RETURN
0000092e: JUMPDEST
0000092f: CALLVALUE
00000930: DUP1
00000931: ISZERO
00000932: PUSH2 0x093a
00000935: JUMPI
00000936: PUSH1 0x00
00000938: DUP1
00000939: REVERT
0000093a: JUMPDEST
0000093b: POP
0000093c: PUSH2 0x0943
0000093f: PUSH2 0x1dfa
00000942: JUMP
00000943: JUMPDEST
00000944: PUSH1 0x40
00000946: MLOAD
00000947: DUP1
00000948: DUP3
00000949: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095e: AND
0000095f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000974: AND
00000975: DUP2
00000976: MSTORE
00000977: PUSH1 0x20
00000979: ADD
0000097a: SWAP2
0000097b: POP
0000097c: POP
0000097d: PUSH1 0x40
0000097f: MLOAD
00000980: DUP1
00000981: SWAP2
00000982: SUB
00000983: SWAP1
00000984: RETURN
00000985: JUMPDEST
00000986: CALLVALUE
00000987: DUP1
00000988: ISZERO
00000989: PUSH2 0x0991
0000098c: JUMPI
0000098d: PUSH1 0x00
0000098f: DUP1
00000990: REVERT
00000991: JUMPDEST
00000992: POP
00000993: PUSH2 0x09e6
00000996: PUSH1 0x04
00000998: DUP1
00000999: CALLDATASIZE
0000099a: SUB
0000099b: DUP2
0000099c: ADD
0000099d: SWAP1
0000099e: DUP1
0000099f: DUP1
000009a0: CALLDATALOAD
000009a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b6: AND
000009b7: SWAP1
000009b8: PUSH1 0x20
000009ba: ADD
000009bb: SWAP1
000009bc: SWAP3
000009bd: SWAP2
000009be: SWAP1
000009bf: DUP1
000009c0: CALLDATALOAD
000009c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d6: AND
000009d7: SWAP1
000009d8: PUSH1 0x20
000009da: ADD
000009db: SWAP1
000009dc: SWAP3
000009dd: SWAP2
000009de: SWAP1
000009df: POP
000009e0: POP
000009e1: POP
000009e2: PUSH2 0x1e12
000009e5: JUMP
000009e6: JUMPDEST
000009e7: PUSH1 0x40
000009e9: MLOAD
000009ea: DUP1
000009eb: DUP3
000009ec: DUP2
000009ed: MSTORE
000009ee: PUSH1 0x20
000009f0: ADD
000009f1: SWAP2
000009f2: POP
000009f3: POP
000009f4: PUSH1 0x40
000009f6: MLOAD
000009f7: DUP1
000009f8: SWAP2
000009f9: SUB
000009fa: SWAP1
000009fb: RETURN
000009fc: JUMPDEST
000009fd: CALLVALUE
000009fe: DUP1
000009ff: ISZERO
00000a00: PUSH2 0x0a08
00000a03: JUMPI
00000a04: PUSH1 0x00
00000a06: DUP1
00000a07: REVERT
00000a08: JUMPDEST
00000a09: POP
00000a0a: PUSH2 0x0a11
00000a0d: PUSH2 0x1e99
00000a10: JUMP
00000a11: JUMPDEST
00000a12: PUSH1 0x40
00000a14: MLOAD
00000a15: DUP1
00000a16: DUP3
00000a17: DUP2
00000a18: MSTORE
00000a19: PUSH1 0x20
00000a1b: ADD
00000a1c: SWAP2
00000a1d: POP
00000a1e: POP
00000a1f: PUSH1 0x40
00000a21: MLOAD
00000a22: DUP1
00000a23: SWAP2
00000a24: SUB
00000a25: SWAP1
00000a26: RETURN
00000a27: JUMPDEST
00000a28: PUSH1 0x00
00000a2a: DUP1
00000a2b: DUP4
00000a2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a41: AND
00000a42: EQ
00000a43: ISZERO
00000a44: ISZERO
00000a45: ISZERO
00000a46: PUSH2 0x0a4e
00000a49: JUMPI
00000a4a: PUSH1 0x00
00000a4c: DUP1
00000a4d: REVERT
00000a4e: JUMPDEST
00000a4f: PUSH1 0x00
00000a51: DUP3
00000a52: GT
00000a53: ISZERO
00000a54: ISZERO
00000a55: PUSH2 0x0a5d
00000a58: JUMPI
00000a59: PUSH1 0x00
00000a5b: DUP1
00000a5c: REVERT
00000a5d: JUMPDEST
00000a5e: PUSH1 0x0c
00000a60: SLOAD
00000a61: TIMESTAMP
00000a62: LT
00000a63: ISZERO
00000a64: ISZERO
00000a65: PUSH2 0x0a6d
00000a68: JUMPI
00000a69: PUSH1 0x00
00000a6b: DUP1
00000a6c: REVERT
00000a6d: JUMPDEST
00000a6e: PUSH2 0x0a7e
00000a71: DUP3
00000a72: PUSH2 0x0a79
00000a75: PUSH2 0x1ea7
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: PUSH2 0x1f9c
00000a7d: JUMP
00000a7e: JUMPDEST
00000a7f: SWAP1
00000a80: POP
00000a81: PUSH1 0x00
00000a83: DUP1
00000a84: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
00000a99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aae: AND
00000aaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac4: AND
00000ac5: DUP2
00000ac6: MSTORE
00000ac7: PUSH1 0x20
00000ac9: ADD
00000aca: SWAP1
00000acb: DUP2
00000acc: MSTORE
00000acd: PUSH1 0x20
00000acf: ADD
00000ad0: PUSH1 0x00
00000ad2: KECCAK256
00000ad3: SLOAD
00000ad4: PUSH2 0x0adf
00000ad7: PUSH1 0x03
00000ad9: SLOAD
00000ada: DUP4
00000adb: PUSH2 0x1fd7
00000ade: JUMP
00000adf: JUMPDEST
00000ae0: GT
00000ae1: ISZERO
00000ae2: ISZERO
00000ae3: ISZERO
00000ae4: PUSH2 0x0aec
00000ae7: JUMPI
00000ae8: PUSH1 0x00
00000aea: DUP1
00000aeb: REVERT
00000aec: JUMPDEST
00000aed: PUSH2 0x0b34
00000af0: PUSH1 0x00
00000af2: DUP1
00000af3: DUP6
00000af4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b09: AND
00000b0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1f: AND
00000b20: DUP2
00000b21: MSTORE
00000b22: PUSH1 0x20
00000b24: ADD
00000b25: SWAP1
00000b26: DUP2
00000b27: MSTORE
00000b28: PUSH1 0x20
00000b2a: ADD
00000b2b: PUSH1 0x00
00000b2d: KECCAK256
00000b2e: SLOAD
00000b2f: DUP3
00000b30: PUSH2 0x1fd7
00000b33: JUMP
00000b34: JUMPDEST
00000b35: PUSH1 0x00
00000b37: DUP1
00000b38: DUP6
00000b39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4e: AND
00000b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b64: AND
00000b65: DUP2
00000b66: MSTORE
00000b67: PUSH1 0x20
00000b69: ADD
00000b6a: SWAP1
00000b6b: DUP2
00000b6c: MSTORE
00000b6d: PUSH1 0x20
00000b6f: ADD
00000b70: PUSH1 0x00
00000b72: KECCAK256
00000b73: DUP2
00000b74: SWAP1
00000b75: SSTORE
00000b76: POP
00000b77: PUSH2 0x0bd2
00000b7a: PUSH1 0x00
00000b7c: DUP1
00000b7d: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
00000b92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba7: AND
00000ba8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bbd: AND
00000bbe: DUP2
00000bbf: MSTORE
00000bc0: PUSH1 0x20
00000bc2: ADD
00000bc3: SWAP1
00000bc4: DUP2
00000bc5: MSTORE
00000bc6: PUSH1 0x20
00000bc8: ADD
00000bc9: PUSH1 0x00
00000bcb: KECCAK256
00000bcc: SLOAD
00000bcd: DUP3
00000bce: PUSH2 0x1ff5
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH1 0x00
00000bd5: DUP1
00000bd6: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
00000beb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c00: AND
00000c01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c16: AND
00000c17: DUP2
00000c18: MSTORE
00000c19: PUSH1 0x20
00000c1b: ADD
00000c1c: SWAP1
00000c1d: DUP2
00000c1e: MSTORE
00000c1f: PUSH1 0x20
00000c21: ADD
00000c22: PUSH1 0x00
00000c24: KECCAK256
00000c25: DUP2
00000c26: SWAP1
00000c27: SSTORE
00000c28: POP
00000c29: DUP1
00000c2a: PUSH1 0x03
00000c2c: PUSH1 0x00
00000c2e: DUP3
00000c2f: DUP3
00000c30: SLOAD
00000c31: ADD
00000c32: SWAP3
00000c33: POP
00000c34: POP
00000c35: DUP2
00000c36: SWAP1
00000c37: SSTORE
00000c38: POP
00000c39: DUP2
00000c3a: PUSH1 0x04
00000c3c: PUSH1 0x00
00000c3e: DUP3
00000c3f: DUP3
00000c40: SLOAD
00000c41: ADD
00000c42: SWAP3
00000c43: POP
00000c44: POP
00000c45: DUP2
00000c46: SWAP1
00000c47: SSTORE
00000c48: POP
00000c49: DUP3
00000c4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5f: AND
00000c60: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
00000c75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8a: AND
00000c8b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000cac: DUP4
00000cad: PUSH1 0x40
00000caf: MLOAD
00000cb0: DUP1
00000cb1: DUP3
00000cb2: DUP2
00000cb3: MSTORE
00000cb4: PUSH1 0x20
00000cb6: ADD
00000cb7: SWAP2
00000cb8: POP
00000cb9: POP
00000cba: PUSH1 0x40
00000cbc: MLOAD
00000cbd: DUP1
00000cbe: SWAP2
00000cbf: SUB
00000cc0: SWAP1
00000cc1: LOG3
00000cc2: POP
00000cc3: POP
00000cc4: POP
00000cc5: JUMP
00000cc6: JUMPDEST
00000cc7: PUSH1 0x40
00000cc9: DUP1
00000cca: MLOAD
00000ccb: SWAP1
00000ccc: DUP2
00000ccd: ADD
00000cce: PUSH1 0x40
00000cd0: MSTORE
00000cd1: DUP1
00000cd2: PUSH1 0x05
00000cd4: DUP2
00000cd5: MSTORE
00000cd6: PUSH1 0x20
00000cd8: ADD
00000cd9: PUSH32 0x576f6f6e6b000000000000000000000000000000000000000000000000000000
00000cfa: DUP2
00000cfb: MSTORE
00000cfc: POP
00000cfd: DUP2
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: PUSH1 0x00
00000d02: DUP2
00000d03: PUSH1 0x02
00000d05: PUSH1 0x00
00000d07: CALLER
00000d08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d1d: AND
00000d1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d33: AND
00000d34: DUP2
00000d35: MSTORE
00000d36: PUSH1 0x20
00000d38: ADD
00000d39: SWAP1
00000d3a: DUP2
00000d3b: MSTORE
00000d3c: PUSH1 0x20
00000d3e: ADD
00000d3f: PUSH1 0x00
00000d41: KECCAK256
00000d42: PUSH1 0x00
00000d44: DUP6
00000d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5a: AND
00000d5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d70: AND
00000d71: DUP2
00000d72: MSTORE
00000d73: PUSH1 0x20
00000d75: ADD
00000d76: SWAP1
00000d77: DUP2
00000d78: MSTORE
00000d79: PUSH1 0x20
00000d7b: ADD
00000d7c: PUSH1 0x00
00000d7e: KECCAK256
00000d7f: DUP2
00000d80: SWAP1
00000d81: SSTORE
00000d82: POP
00000d83: DUP3
00000d84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d99: AND
00000d9a: CALLER
00000d9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db0: AND
00000db1: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000dd2: DUP5
00000dd3: PUSH1 0x40
00000dd5: MLOAD
00000dd6: DUP1
00000dd7: DUP3
00000dd8: DUP2
00000dd9: MSTORE
00000dda: PUSH1 0x20
00000ddc: ADD
00000ddd: SWAP2
00000dde: POP
00000ddf: POP
00000de0: PUSH1 0x40
00000de2: MLOAD
00000de3: DUP1
00000de4: SWAP2
00000de5: SUB
00000de6: SWAP1
00000de7: LOG3
00000de8: PUSH1 0x01
00000dea: SWAP1
00000deb: POP
00000dec: SWAP3
00000ded: SWAP2
00000dee: POP
00000def: POP
00000df0: JUMP
00000df1: JUMPDEST
00000df2: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
00000e07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e1c: AND
00000e1d: CALLER
00000e1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e33: AND
00000e34: EQ
00000e35: DUP1
00000e36: PUSH2 0x0e8c
00000e39: JUMPI
00000e3a: POP
00000e3b: PUSH1 0x05
00000e3d: PUSH1 0x00
00000e3f: SWAP1
00000e40: SLOAD
00000e41: SWAP1
00000e42: PUSH2 0x0100
00000e45: EXP
00000e46: SWAP1
00000e47: DIV
00000e48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5d: AND
00000e5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e73: AND
00000e74: CALLER
00000e75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e8a: AND
00000e8b: EQ
00000e8c: JUMPDEST
00000e8d: ISZERO
00000e8e: ISZERO
00000e8f: PUSH2 0x0e97
00000e92: JUMPI
00000e93: PUSH1 0x00
00000e95: DUP1
00000e96: REVERT
00000e97: JUMPDEST
00000e98: PUSH1 0x00
00000e9a: ISZERO
00000e9b: ISZERO
00000e9c: PUSH1 0x0d
00000e9e: PUSH1 0x00
00000ea0: SWAP1
00000ea1: SLOAD
00000ea2: SWAP1
00000ea3: PUSH2 0x0100
00000ea6: EXP
00000ea7: SWAP1
00000ea8: DIV
00000ea9: PUSH1 0xff
00000eab: AND
00000eac: ISZERO
00000ead: ISZERO
00000eae: EQ
00000eaf: ISZERO
00000eb0: ISZERO
00000eb1: PUSH2 0x0eb9
00000eb4: JUMPI
00000eb5: PUSH1 0x00
00000eb7: DUP1
00000eb8: REVERT
00000eb9: JUMPDEST
00000eba: DUP1
00000ebb: PUSH1 0x03
00000ebd: PUSH1 0x00
00000ebf: DUP3
00000ec0: DUP3
00000ec1: SLOAD
00000ec2: ADD
00000ec3: SWAP3
00000ec4: POP
00000ec5: POP
00000ec6: DUP2
00000ec7: SWAP1
00000ec8: SSTORE
00000ec9: POP
00000eca: CALLVALUE
00000ecb: PUSH1 0x04
00000ecd: PUSH1 0x00
00000ecf: DUP3
00000ed0: DUP3
00000ed1: SLOAD
00000ed2: ADD
00000ed3: SWAP3
00000ed4: POP
00000ed5: POP
00000ed6: DUP2
00000ed7: SWAP1
00000ed8: SSTORE
00000ed9: POP
00000eda: POP
00000edb: JUMP
00000edc: JUMPDEST
00000edd: PUSH1 0x00
00000edf: PUSH1 0x01
00000ee1: SLOAD
00000ee2: SWAP1
00000ee3: POP
00000ee4: SWAP1
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: PUSH1 0x00
00000ee9: DUP1
00000eea: ISZERO
00000eeb: ISZERO
00000eec: PUSH1 0x0d
00000eee: PUSH1 0x00
00000ef0: SWAP1
00000ef1: SLOAD
00000ef2: SWAP1
00000ef3: PUSH2 0x0100
00000ef6: EXP
00000ef7: SWAP1
00000ef8: DIV
00000ef9: PUSH1 0xff
00000efb: AND
00000efc: ISZERO
00000efd: ISZERO
00000efe: EQ
00000eff: ISZERO
00000f00: ISZERO
00000f01: PUSH2 0x0f09
00000f04: JUMPI
00000f05: PUSH1 0x00
00000f07: DUP1
00000f08: REVERT
00000f09: JUMPDEST
00000f0a: ADDRESS
00000f0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f20: AND
00000f21: DUP4
00000f22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f37: AND
00000f38: EQ
00000f39: ISZERO
00000f3a: PUSH2 0x0f42
00000f3d: JUMPI
00000f3e: PUSH1 0x00
00000f40: DUP1
00000f41: REVERT
00000f42: JUMPDEST
00000f43: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
00000f58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6d: AND
00000f6e: CALLER
00000f6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f84: AND
00000f85: EQ
00000f86: DUP1
00000f87: PUSH2 0x0fcf
00000f8a: JUMPI
00000f8b: POP
00000f8c: PUSH20 0xf868557288d593f01182557fc8844e7f94231d57
00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb6: AND
00000fb7: CALLER
00000fb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fcd: AND
00000fce: EQ
00000fcf: JUMPDEST
00000fd0: DUP1
00000fd1: PUSH2 0x1019
00000fd4: JUMPI
00000fd5: POP
00000fd6: PUSH20 0xcad2ab8017328c6c032e3db3ae33539b90b658c9
00000feb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001000: AND
00001001: CALLER
00001002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001017: AND
00001018: EQ
00001019: JUMPDEST
0000101a: ISZERO
0000101b: PUSH2 0x1030
0000101e: JUMPI
0000101f: PUSH2 0x1029
00001022: DUP5
00001023: DUP5
00001024: DUP5
00001025: PUSH2 0x200e
00001028: JUMP
00001029: JUMPDEST
0000102a: SWAP1
0000102b: POP
0000102c: PUSH2 0x103e
0000102f: JUMP
00001030: JUMPDEST
00001031: PUSH2 0x103b
00001034: DUP5
00001035: DUP5
00001036: DUP5
00001037: PUSH2 0x200e
0000103a: JUMP
0000103b: JUMPDEST
0000103c: SWAP1
0000103d: POP
0000103e: JUMPDEST
0000103f: SWAP4
00001040: SWAP3
00001041: POP
00001042: POP
00001043: POP
00001044: JUMP
00001045: JUMPDEST
00001046: PUSH1 0x12
00001048: DUP2
00001049: JUMP
0000104a: JUMPDEST
0000104b: PUSH20 0x5bc226fc7caefe2bec8304228db45b1c78d2dc4e
00001060: DUP2
00001061: JUMP
00001062: JUMPDEST
00001063: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
00001078: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108d: AND
0000108e: CALLER
0000108f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a4: AND
000010a5: EQ
000010a6: DUP1
000010a7: PUSH2 0x10fd
000010aa: JUMPI
000010ab: POP
000010ac: PUSH1 0x05
000010ae: PUSH1 0x00
000010b0: SWAP1
000010b1: SLOAD
000010b2: SWAP1
000010b3: PUSH2 0x0100
000010b6: EXP
000010b7: SWAP1
000010b8: DIV
000010b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ce: AND
000010cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e4: AND
000010e5: CALLER
000010e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010fb: AND
000010fc: EQ
000010fd: JUMPDEST
000010fe: ISZERO
000010ff: ISZERO
00001100: PUSH2 0x1108
00001103: JUMPI
00001104: PUSH1 0x00
00001106: DUP1
00001107: REVERT
00001108: JUMPDEST
00001109: PUSH1 0x01
0000110b: PUSH1 0x0d
0000110d: PUSH1 0x00
0000110f: PUSH2 0x0100
00001112: EXP
00001113: DUP2
00001114: SLOAD
00001115: DUP2
00001116: PUSH1 0xff
00001118: MUL
00001119: NOT
0000111a: AND
0000111b: SWAP1
0000111c: DUP4
0000111d: ISZERO
0000111e: ISZERO
0000111f: MUL
00001120: OR
00001121: SWAP1
00001122: SSTORE
00001123: POP
00001124: JUMP
00001125: JUMPDEST
00001126: PUSH1 0x00
00001128: DUP1
00001129: PUSH1 0x02
0000112b: PUSH1 0x00
0000112d: CALLER
0000112e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001143: AND
00001144: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001159: AND
0000115a: DUP2
0000115b: MSTORE
0000115c: PUSH1 0x20
0000115e: ADD
0000115f: SWAP1
00001160: DUP2
00001161: MSTORE
00001162: PUSH1 0x20
00001164: ADD
00001165: PUSH1 0x00
00001167: KECCAK256
00001168: PUSH1 0x00
0000116a: DUP6
0000116b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001180: AND
00001181: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001196: AND
00001197: DUP2
00001198: MSTORE
00001199: PUSH1 0x20
0000119b: ADD
0000119c: SWAP1
0000119d: DUP2
0000119e: MSTORE
0000119f: PUSH1 0x20
000011a1: ADD
000011a2: PUSH1 0x00
000011a4: KECCAK256
000011a5: SLOAD
000011a6: SWAP1
000011a7: POP
000011a8: DUP1
000011a9: DUP4
000011aa: GT
000011ab: ISZERO
000011ac: PUSH2 0x1236
000011af: JUMPI
000011b0: PUSH1 0x00
000011b2: PUSH1 0x02
000011b4: PUSH1 0x00
000011b6: CALLER
000011b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011cc: AND
000011cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e2: AND
000011e3: DUP2
000011e4: MSTORE
000011e5: PUSH1 0x20
000011e7: ADD
000011e8: SWAP1
000011e9: DUP2
000011ea: MSTORE
000011eb: PUSH1 0x20
000011ed: ADD
000011ee: PUSH1 0x00
000011f0: KECCAK256
000011f1: PUSH1 0x00
000011f3: DUP7
000011f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001209: AND
0000120a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121f: AND
00001220: DUP2
00001221: MSTORE
00001222: PUSH1 0x20
00001224: ADD
00001225: SWAP1
00001226: DUP2
00001227: MSTORE
00001228: PUSH1 0x20
0000122a: ADD
0000122b: PUSH1 0x00
0000122d: KECCAK256
0000122e: DUP2
0000122f: SWAP1
00001230: SSTORE
00001231: POP
00001232: PUSH2 0x12ca
00001235: JUMP
00001236: JUMPDEST
00001237: PUSH2 0x1249
0000123a: DUP4
0000123b: DUP3
0000123c: PUSH2 0x1ff5
0000123f: SWAP1
00001240: SWAP2
00001241: SWAP1
00001242: PUSH4 0xffffffff
00001247: AND
00001248: JUMP
00001249: JUMPDEST
0000124a: PUSH1 0x02
0000124c: PUSH1 0x00
0000124e: CALLER
0000124f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001264: AND
00001265: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127a: AND
0000127b: DUP2
0000127c: MSTORE
0000127d: PUSH1 0x20
0000127f: ADD
00001280: SWAP1
00001281: DUP2
00001282: MSTORE
00001283: PUSH1 0x20
00001285: ADD
00001286: PUSH1 0x00
00001288: KECCAK256
00001289: PUSH1 0x00
0000128b: DUP7
0000128c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a1: AND
000012a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b7: AND
000012b8: DUP2
000012b9: MSTORE
000012ba: PUSH1 0x20
000012bc: ADD
000012bd: SWAP1
000012be: DUP2
000012bf: MSTORE
000012c0: PUSH1 0x20
000012c2: ADD
000012c3: PUSH1 0x00
000012c5: KECCAK256
000012c6: DUP2
000012c7: SWAP1
000012c8: SSTORE
000012c9: POP
000012ca: JUMPDEST
000012cb: DUP4
000012cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e1: AND
000012e2: CALLER
000012e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f8: AND
000012f9: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000131a: PUSH1 0x02
0000131c: PUSH1 0x00
0000131e: CALLER
0000131f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001334: AND
00001335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000134a: AND
0000134b: DUP2
0000134c: MSTORE
0000134d: PUSH1 0x20
0000134f: ADD
00001350: SWAP1
00001351: DUP2
00001352: MSTORE
00001353: PUSH1 0x20
00001355: ADD
00001356: PUSH1 0x00
00001358: KECCAK256
00001359: PUSH1 0x00
0000135b: DUP9
0000135c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001371: AND
00001372: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001387: AND
00001388: DUP2
00001389: MSTORE
0000138a: PUSH1 0x20
0000138c: ADD
0000138d: SWAP1
0000138e: DUP2
0000138f: MSTORE
00001390: PUSH1 0x20
00001392: ADD
00001393: PUSH1 0x00
00001395: KECCAK256
00001396: SLOAD
00001397: PUSH1 0x40
00001399: MLOAD
0000139a: DUP1
0000139b: DUP3
0000139c: DUP2
0000139d: MSTORE
0000139e: PUSH1 0x20
000013a0: ADD
000013a1: SWAP2
000013a2: POP
000013a3: POP
000013a4: PUSH1 0x40
000013a6: MLOAD
000013a7: DUP1
000013a8: SWAP2
000013a9: SUB
000013aa: SWAP1
000013ab: LOG3
000013ac: PUSH1 0x01
000013ae: SWAP2
000013af: POP
000013b0: POP
000013b1: SWAP3
000013b2: SWAP2
000013b3: POP
000013b4: POP
000013b5: JUMP
000013b6: JUMPDEST
000013b7: PUSH1 0x00
000013b9: DUP1
000013ba: PUSH1 0x00
000013bc: DUP4
000013bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d2: AND
000013d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e8: AND
000013e9: DUP2
000013ea: MSTORE
000013eb: PUSH1 0x20
000013ed: ADD
000013ee: SWAP1
000013ef: DUP2
000013f0: MSTORE
000013f1: PUSH1 0x20
000013f3: ADD
000013f4: PUSH1 0x00
000013f6: KECCAK256
000013f7: SLOAD
000013f8: SWAP1
000013f9: POP
000013fa: SWAP2
000013fb: SWAP1
000013fc: POP
000013fd: JUMP
000013fe: JUMPDEST
000013ff: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
00001414: DUP2
00001415: JUMP
00001416: JUMPDEST
00001417: PUSH20 0xe2c97299b8e9d5e8d8d635ee0b28bdf923de784a
0000142c: DUP2
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH20 0xcad2ab8017328c6c032e3db3ae33539b90b658c9
00001444: DUP2
00001445: JUMP
00001446: JUMPDEST
00001447: PUSH1 0x00
00001449: DUP1
0000144a: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
0000145f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001474: AND
00001475: CALLER
00001476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000148b: AND
0000148c: EQ
0000148d: DUP1
0000148e: PUSH2 0x14e4
00001491: JUMPI
00001492: POP
00001493: PUSH1 0x05
00001495: PUSH1 0x00
00001497: SWAP1
00001498: SLOAD
00001499: SWAP1
0000149a: PUSH2 0x0100
0000149d: EXP
0000149e: SWAP1
0000149f: DIV
000014a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b5: AND
000014b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014cb: AND
000014cc: CALLER
000014cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e2: AND
000014e3: EQ
000014e4: JUMPDEST
000014e5: ISZERO
000014e6: ISZERO
000014e7: PUSH2 0x14ef
000014ea: JUMPI
000014eb: PUSH1 0x00
000014ed: DUP1
000014ee: REVERT
000014ef: JUMPDEST
000014f0: DUP3
000014f1: ADDRESS
000014f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001507: AND
00001508: BALANCE
00001509: LT
0000150a: ISZERO
0000150b: ISZERO
0000150c: ISZERO
0000150d: PUSH2 0x1515
00001510: JUMPI
00001511: PUSH1 0x00
00001513: DUP1
00001514: REVERT
00001515: JUMPDEST
00001516: PUSH1 0x64
00001518: DUP4
00001519: DUP2
0000151a: ISZERO
0000151b: ISZERO
0000151c: PUSH2 0x1521
0000151f: JUMPI
00001520: INVALID
00001521: JUMPDEST
00001522: DIV
00001523: SWAP1
00001524: POP
00001525: PUSH1 0x05
00001527: PUSH1 0x00
00001529: SWAP1
0000152a: SLOAD
0000152b: SWAP1
0000152c: PUSH2 0x0100
0000152f: EXP
00001530: SWAP1
00001531: DIV
00001532: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001547: AND
00001548: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155d: AND
0000155e: PUSH2 0x08fc
00001561: DUP3
00001562: SWAP1
00001563: DUP2
00001564: ISZERO
00001565: MUL
00001566: SWAP1
00001567: PUSH1 0x40
00001569: MLOAD
0000156a: PUSH1 0x00
0000156c: PUSH1 0x40
0000156e: MLOAD
0000156f: DUP1
00001570: DUP4
00001571: SUB
00001572: DUP2
00001573: DUP6
00001574: DUP9
00001575: DUP9
00001576: CALL
00001577: SWAP4
00001578: POP
00001579: POP
0000157a: POP
0000157b: POP
0000157c: ISZERO
0000157d: DUP1
0000157e: ISZERO
0000157f: PUSH2 0x158c
00001582: JUMPI
00001583: RETURNDATASIZE
00001584: PUSH1 0x00
00001586: DUP1
00001587: RETURNDATACOPY
00001588: RETURNDATASIZE
00001589: PUSH1 0x00
0000158b: REVERT
0000158c: JUMPDEST
0000158d: POP
0000158e: PUSH20 0x5bc226fc7caefe2bec8304228db45b1c78d2dc4e
000015a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b8: AND
000015b9: PUSH2 0x08fc
000015bc: PUSH2 0x15ce
000015bf: DUP4
000015c0: DUP7
000015c1: PUSH2 0x1ff5
000015c4: SWAP1
000015c5: SWAP2
000015c6: SWAP1
000015c7: PUSH4 0xffffffff
000015cc: AND
000015cd: JUMP
000015ce: JUMPDEST
000015cf: SWAP1
000015d0: DUP2
000015d1: ISZERO
000015d2: MUL
000015d3: SWAP1
000015d4: PUSH1 0x40
000015d6: MLOAD
000015d7: PUSH1 0x00
000015d9: PUSH1 0x40
000015db: MLOAD
000015dc: DUP1
000015dd: DUP4
000015de: SUB
000015df: DUP2
000015e0: DUP6
000015e1: DUP9
000015e2: DUP9
000015e3: CALL
000015e4: SWAP4
000015e5: POP
000015e6: POP
000015e7: POP
000015e8: POP
000015e9: ISZERO
000015ea: DUP1
000015eb: ISZERO
000015ec: PUSH2 0x15f9
000015ef: JUMPI
000015f0: RETURNDATASIZE
000015f1: PUSH1 0x00
000015f3: DUP1
000015f4: RETURNDATACOPY
000015f5: RETURNDATASIZE
000015f6: PUSH1 0x00
000015f8: REVERT
000015f9: JUMPDEST
000015fa: POP
000015fb: PUSH1 0x01
000015fd: SWAP2
000015fe: POP
000015ff: POP
00001600: SWAP2
00001601: SWAP1
00001602: POP
00001603: JUMP
00001604: JUMPDEST
00001605: PUSH1 0x40
00001607: DUP1
00001608: MLOAD
00001609: SWAP1
0000160a: DUP2
0000160b: ADD
0000160c: PUSH1 0x40
0000160e: MSTORE
0000160f: DUP1
00001610: PUSH1 0x03
00001612: DUP2
00001613: MSTORE
00001614: PUSH1 0x20
00001616: ADD
00001617: PUSH32 0x574e4b0000000000000000000000000000000000000000000000000000000000
00001638: DUP2
00001639: MSTORE
0000163a: POP
0000163b: DUP2
0000163c: JUMP
0000163d: JUMPDEST
0000163e: PUSH2 0xc350
00001641: DUP2
00001642: JUMP
00001643: JUMPDEST
00001644: PUSH1 0x00
00001646: DUP1
00001647: ISZERO
00001648: ISZERO
00001649: PUSH1 0x0d
0000164b: PUSH1 0x00
0000164d: SWAP1
0000164e: SLOAD
0000164f: SWAP1
00001650: PUSH2 0x0100
00001653: EXP
00001654: SWAP1
00001655: DIV
00001656: PUSH1 0xff
00001658: AND
00001659: ISZERO
0000165a: ISZERO
0000165b: EQ
0000165c: ISZERO
0000165d: ISZERO
0000165e: PUSH2 0x1666
00001661: JUMPI
00001662: PUSH1 0x00
00001664: DUP1
00001665: REVERT
00001666: JUMPDEST
00001667: ADDRESS
00001668: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000167d: AND
0000167e: DUP4
0000167f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001694: AND
00001695: EQ
00001696: ISZERO
00001697: PUSH2 0x169f
0000169a: JUMPI
0000169b: PUSH1 0x00
0000169d: DUP1
0000169e: REVERT
0000169f: JUMPDEST
000016a0: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
000016b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ca: AND
000016cb: CALLER
000016cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e1: AND
000016e2: EQ
000016e3: DUP1
000016e4: PUSH2 0x172c
000016e7: JUMPI
000016e8: POP
000016e9: PUSH20 0xf868557288d593f01182557fc8844e7f94231d57
000016fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001713: AND
00001714: CALLER
00001715: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000172a: AND
0000172b: EQ
0000172c: JUMPDEST
0000172d: DUP1
0000172e: PUSH2 0x1776
00001731: JUMPI
00001732: POP
00001733: PUSH20 0xcad2ab8017328c6c032e3db3ae33539b90b658c9
00001748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000175d: AND
0000175e: CALLER
0000175f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001774: AND
00001775: EQ
00001776: JUMPDEST
00001777: ISZERO
00001778: PUSH2 0x178c
0000177b: JUMPI
0000177c: PUSH2 0x1785
0000177f: DUP4
00001780: DUP4
00001781: PUSH2 0x23c8
00001784: JUMP
00001785: JUMPDEST
00001786: SWAP1
00001787: POP
00001788: PUSH2 0x17ac
0000178b: JUMP
0000178c: JUMPDEST
0000178d: PUSH1 0x0c
0000178f: SLOAD
00001790: TIMESTAMP
00001791: GT
00001792: ISZERO
00001793: PUSH2 0x17a7
00001796: JUMPI
00001797: PUSH2 0x17a0
0000179a: DUP4
0000179b: DUP4
0000179c: PUSH2 0x23c8
0000179f: JUMP
000017a0: JUMPDEST
000017a1: SWAP1
000017a2: POP
000017a3: PUSH2 0x17ac
000017a6: JUMP
000017a7: JUMPDEST
000017a8: PUSH1 0x00
000017aa: SWAP1
000017ab: POP
000017ac: JUMPDEST
000017ad: SWAP3
000017ae: SWAP2
000017af: POP
000017b0: POP
000017b1: JUMP
000017b2: JUMPDEST
000017b3: PUSH1 0x00
000017b5: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
000017ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017df: AND
000017e0: CALLER
000017e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f6: AND
000017f7: EQ
000017f8: DUP1
000017f9: PUSH2 0x184f
000017fc: JUMPI
000017fd: POP
000017fe: PUSH1 0x05
00001800: PUSH1 0x00
00001802: SWAP1
00001803: SLOAD
00001804: SWAP1
00001805: PUSH2 0x0100
00001808: EXP
00001809: SWAP1
0000180a: DIV
0000180b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001820: AND
00001821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001836: AND
00001837: CALLER
00001838: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000184d: AND
0000184e: EQ
0000184f: JUMPDEST
00001850: ISZERO
00001851: ISZERO
00001852: PUSH2 0x185a
00001855: JUMPI
00001856: PUSH1 0x00
00001858: DUP1
00001859: REVERT
0000185a: JUMPDEST
0000185b: PUSH2 0x1863
0000185e: DUP5
0000185f: PUSH2 0x25e7
00001862: JUMP
00001863: JUMPDEST
00001864: ISZERO
00001865: ISZERO
00001866: PUSH2 0x186e
00001869: JUMPI
0000186a: PUSH1 0x00
0000186c: DUP1
0000186d: REVERT
0000186e: JUMPDEST
0000186f: DUP2
00001870: PUSH1 0x00
00001872: DUP1
00001873: DUP7
00001874: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001889: AND
0000188a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000189f: AND
000018a0: DUP2
000018a1: MSTORE
000018a2: PUSH1 0x20
000018a4: ADD
000018a5: SWAP1
000018a6: DUP2
000018a7: MSTORE
000018a8: PUSH1 0x20
000018aa: ADD
000018ab: PUSH1 0x00
000018ad: KECCAK256
000018ae: SLOAD
000018af: LT
000018b0: ISZERO
000018b1: ISZERO
000018b2: ISZERO
000018b3: PUSH2 0x18bb
000018b6: JUMPI
000018b7: PUSH1 0x00
000018b9: DUP1
000018ba: REVERT
000018bb: JUMPDEST
000018bc: PUSH1 0x00
000018be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d3: AND
000018d4: DUP4
000018d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ea: AND
000018eb: EQ
000018ec: ISZERO
000018ed: ISZERO
000018ee: ISZERO
000018ef: PUSH2 0x18f7
000018f2: JUMPI
000018f3: PUSH1 0x00
000018f5: DUP1
000018f6: REVERT
000018f7: JUMPDEST
000018f8: PUSH2 0x1948
000018fb: DUP3
000018fc: PUSH1 0x00
000018fe: DUP1
000018ff: DUP8
00001900: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001915: AND
00001916: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192b: AND
0000192c: DUP2
0000192d: MSTORE
0000192e: PUSH1 0x20
00001930: ADD
00001931: SWAP1
00001932: DUP2
00001933: MSTORE
00001934: PUSH1 0x20
00001936: ADD
00001937: PUSH1 0x00
00001939: KECCAK256
0000193a: SLOAD
0000193b: PUSH2 0x1ff5
0000193e: SWAP1
0000193f: SWAP2
00001940: SWAP1
00001941: PUSH4 0xffffffff
00001946: AND
00001947: JUMP
00001948: JUMPDEST
00001949: PUSH1 0x00
0000194b: DUP1
0000194c: DUP7
0000194d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001962: AND
00001963: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001978: AND
00001979: DUP2
0000197a: MSTORE
0000197b: PUSH1 0x20
0000197d: ADD
0000197e: SWAP1
0000197f: DUP2
00001980: MSTORE
00001981: PUSH1 0x20
00001983: ADD
00001984: PUSH1 0x00
00001986: KECCAK256
00001987: DUP2
00001988: SWAP1
00001989: SSTORE
0000198a: POP
0000198b: PUSH2 0x19db
0000198e: DUP3
0000198f: PUSH1 0x00
00001991: DUP1
00001992: DUP7
00001993: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a8: AND
000019a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019be: AND
000019bf: DUP2
000019c0: MSTORE
000019c1: PUSH1 0x20
000019c3: ADD
000019c4: SWAP1
000019c5: DUP2
000019c6: MSTORE
000019c7: PUSH1 0x20
000019c9: ADD
000019ca: PUSH1 0x00
000019cc: KECCAK256
000019cd: SLOAD
000019ce: PUSH2 0x1fd7
000019d1: SWAP1
000019d2: SWAP2
000019d3: SWAP1
000019d4: PUSH4 0xffffffff
000019d9: AND
000019da: JUMP
000019db: JUMPDEST
000019dc: PUSH1 0x00
000019de: DUP1
000019df: DUP6
000019e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f5: AND
000019f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0b: AND
00001a0c: DUP2
00001a0d: MSTORE
00001a0e: PUSH1 0x20
00001a10: ADD
00001a11: SWAP1
00001a12: DUP2
00001a13: MSTORE
00001a14: PUSH1 0x20
00001a16: ADD
00001a17: PUSH1 0x00
00001a19: KECCAK256
00001a1a: DUP2
00001a1b: SWAP1
00001a1c: SSTORE
00001a1d: POP
00001a1e: DUP3
00001a1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a34: AND
00001a35: DUP5
00001a36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4b: AND
00001a4c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001a6d: DUP5
00001a6e: PUSH1 0x40
00001a70: MLOAD
00001a71: DUP1
00001a72: DUP3
00001a73: DUP2
00001a74: MSTORE
00001a75: PUSH1 0x20
00001a77: ADD
00001a78: SWAP2
00001a79: POP
00001a7a: POP
00001a7b: PUSH1 0x40
00001a7d: MLOAD
00001a7e: DUP1
00001a7f: SWAP2
00001a80: SUB
00001a81: SWAP1
00001a82: LOG3
00001a83: DUP3
00001a84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a99: AND
00001a9a: DUP5
00001a9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab0: AND
00001ab1: PUSH32 0xf6891c84a6c6af32a6d052172a8acc4c631b1d5057ffa2bc1da268b6938ea2da
00001ad2: DUP5
00001ad3: PUSH1 0x40
00001ad5: MLOAD
00001ad6: DUP1
00001ad7: DUP3
00001ad8: DUP2
00001ad9: MSTORE
00001ada: PUSH1 0x20
00001adc: ADD
00001add: SWAP2
00001ade: POP
00001adf: POP
00001ae0: PUSH1 0x40
00001ae2: MLOAD
00001ae3: DUP1
00001ae4: SWAP2
00001ae5: SUB
00001ae6: SWAP1
00001ae7: LOG3
00001ae8: PUSH1 0x01
00001aea: SWAP1
00001aeb: POP
00001aec: SWAP4
00001aed: SWAP3
00001aee: POP
00001aef: POP
00001af0: POP
00001af1: JUMP
00001af2: JUMPDEST
00001af3: PUSH1 0x12
00001af5: PUSH1 0x0a
00001af7: EXP
00001af8: PUSH4 0xb2d05e00
00001afd: MUL
00001afe: DUP2
00001aff: JUMP
00001b00: JUMPDEST
00001b01: PUSH1 0x03
00001b03: SLOAD
00001b04: DUP2
00001b05: JUMP
00001b06: JUMPDEST
00001b07: PUSH1 0x0d
00001b09: PUSH1 0x00
00001b0b: SWAP1
00001b0c: SLOAD
00001b0d: SWAP1
00001b0e: PUSH2 0x0100
00001b11: EXP
00001b12: SWAP1
00001b13: DIV
00001b14: PUSH1 0xff
00001b16: AND
00001b17: DUP2
00001b18: JUMP
00001b19: JUMPDEST
00001b1a: PUSH1 0x12
00001b1c: PUSH1 0x0a
00001b1e: EXP
00001b1f: PUSH4 0x47868c00
00001b24: MUL
00001b25: DUP2
00001b26: JUMP
00001b27: JUMPDEST
00001b28: PUSH20 0x87a7cf4f29b690ca9766316cdd6246994fae693f
00001b3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b52: AND
00001b53: CALLER
00001b54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b69: AND
00001b6a: EQ
00001b6b: DUP1
00001b6c: PUSH2 0x1bc2
00001b6f: JUMPI
00001b70: POP
00001b71: PUSH1 0x05
00001b73: PUSH1 0x00
00001b75: SWAP1
00001b76: SLOAD
00001b77: SWAP1
00001b78: PUSH2 0x0100
00001b7b: EXP
00001b7c: SWAP1
00001b7d: DIV
00001b7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b93: AND
00001b94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba9: AND
00001baa: CALLER
00001bab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc0: AND
00001bc1: EQ
00001bc2: JUMPDEST
00001bc3: ISZERO
00001bc4: ISZERO
00001bc5: PUSH2 0x1bcd
00001bc8: JUMPI
00001bc9: PUSH1 0x00
00001bcb: DUP1
00001bcc: REVERT
00001bcd: JUMPDEST
00001bce: PUSH1 0x00
00001bd0: PUSH1 0x0d
00001bd2: PUSH1 0x00
00001bd4: PUSH2 0x0100
00001bd7: EXP
00001bd8: DUP2
00001bd9: SLOAD
00001bda: DUP2
00001bdb: PUSH1 0xff
00001bdd: MUL
00001bde: NOT
00001bdf: AND
00001be0: SWAP1
00001be1: DUP4
00001be2: ISZERO
00001be3: ISZERO
00001be4: MUL
00001be5: OR
00001be6: SWAP1
00001be7: SSTORE
00001be8: POP
00001be9: JUMP
00001bea: JUMPDEST
00001beb: PUSH1 0x04
00001bed: SLOAD
00001bee: DUP2
00001bef: JUMP
00001bf0: JUMPDEST
00001bf1: PUSH1 0x00
00001bf3: PUSH2 0x1c81
00001bf6: DUP3
00001bf7: PUSH1 0x02
00001bf9: PUSH1 0x00
00001bfb: CALLER
00001bfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c11: AND
00001c12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c27: AND
00001c28: DUP2
00001c29: MSTORE
00001c2a: PUSH1 0x20
00001c2c: ADD
00001c2d: SWAP1
00001c2e: DUP2
00001c2f: MSTORE
00001c30: PUSH1 0x20
00001c32: ADD
00001c33: PUSH1 0x00
00001c35: KECCAK256
00001c36: PUSH1 0x00
00001c38: DUP7
00001c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4e: AND
00001c4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c64: AND
00001c65: DUP2
00001c66: MSTORE
00001c67: PUSH1 0x20
00001c69: ADD
00001c6a: SWAP1
00001c6b: DUP2
00001c6c: MSTORE
00001c6d: PUSH1 0x20
00001c6f: ADD
00001c70: PUSH1 0x00
00001c72: KECCAK256
00001c73: SLOAD
00001c74: PUSH2 0x1fd7
00001c77: SWAP1
00001c78: SWAP2
00001c79: SWAP1
00001c7a: PUSH4 0xffffffff
00001c7f: AND
00001c80: JUMP
00001c81: JUMPDEST
00001c82: PUSH1 0x02
00001c84: PUSH1 0x00
00001c86: CALLER
00001c87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c9c: AND
00001c9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb2: AND
00001cb3: DUP2
00001cb4: MSTORE
00001cb5: PUSH1 0x20
00001cb7: ADD
00001cb8: SWAP1
00001cb9: DUP2
00001cba: MSTORE
00001cbb: PUSH1 0x20
00001cbd: ADD
00001cbe: PUSH1 0x00
00001cc0: KECCAK256
00001cc1: PUSH1 0x00
00001cc3: DUP6
00001cc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd9: AND
00001cda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cef: AND
00001cf0: DUP2
00001cf1: MSTORE
00001cf2: PUSH1 0x20
00001cf4: ADD
00001cf5: SWAP1
00001cf6: DUP2
00001cf7: MSTORE
00001cf8: PUSH1 0x20
00001cfa: ADD
00001cfb: PUSH1 0x00
00001cfd: KECCAK256
00001cfe: DUP2
00001cff: SWAP1
00001d00: SSTORE
00001d01: POP
00001d02: DUP3
00001d03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d18: AND
00001d19: CALLER
00001d1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d2f: AND
00001d30: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001d51: PUSH1 0x02
00001d53: PUSH1 0x00
00001d55: CALLER
00001d56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d6b: AND
00001d6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d81: AND
00001d82: DUP2
00001d83: MSTORE
00001d84: PUSH1 0x20
00001d86: ADD
00001d87: SWAP1
00001d88: DUP2
00001d89: MSTORE
00001d8a: PUSH1 0x20
00001d8c: ADD
00001d8d: PUSH1 0x00
00001d8f: KECCAK256
00001d90: PUSH1 0x00
00001d92: DUP8
00001d93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da8: AND
00001da9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dbe: AND
00001dbf: DUP2
00001dc0: MSTORE
00001dc1: PUSH1 0x20
00001dc3: ADD
00001dc4: SWAP1
00001dc5: DUP2
00001dc6: MSTORE
00001dc7: PUSH1 0x20
00001dc9: ADD
00001dca: PUSH1 0x00
00001dcc: KECCAK256
00001dcd: SLOAD
00001dce: PUSH1 0x40
00001dd0: MLOAD
00001dd1: DUP1
00001dd2: DUP3
00001dd3: DUP2
00001dd4: MSTORE
00001dd5: PUSH1 0x20
00001dd7: ADD
00001dd8: SWAP2
00001dd9: POP
00001dda: POP
00001ddb: PUSH1 0x40
00001ddd: MLOAD
00001dde: DUP1
00001ddf: SWAP2
00001de0: SUB
00001de1: SWAP1
00001de2: LOG3
00001de3: PUSH1 0x01
00001de5: SWAP1
00001de6: POP
00001de7: SWAP3
00001de8: SWAP2
00001de9: POP
00001dea: POP
00001deb: JUMP
00001dec: JUMPDEST
00001ded: PUSH1 0x12
00001def: PUSH1 0x0a
00001df1: EXP
00001df2: PUSH4 0x9502f900
00001df7: MUL
00001df8: DUP2
00001df9: JUMP
00001dfa: JUMPDEST
00001dfb: PUSH20 0xf868557288d593f01182557fc8844e7f94231d57
00001e10: DUP2
00001e11: JUMP
00001e12: JUMPDEST
00001e13: PUSH1 0x00
00001e15: PUSH1 0x02
00001e17: PUSH1 0x00
00001e19: DUP5
00001e1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e2f: AND
00001e30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e45: AND
00001e46: DUP2
00001e47: MSTORE
00001e48: PUSH1 0x20
00001e4a: ADD
00001e4b: SWAP1
00001e4c: DUP2
00001e4d: MSTORE
00001e4e: PUSH1 0x20
00001e50: ADD
00001e51: PUSH1 0x00
00001e53: KECCAK256
00001e54: PUSH1 0x00
00001e56: DUP4
00001e57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e6c: AND
00001e6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e82: AND
00001e83: DUP2
00001e84: MSTORE
00001e85: PUSH1 0x20
00001e87: ADD
00001e88: SWAP1
00001e89: DUP2
00001e8a: MSTORE
00001e8b: PUSH1 0x20
00001e8d: ADD
00001e8e: PUSH1 0x00
00001e90: KECCAK256
00001e91: SLOAD
00001e92: SWAP1
00001e93: POP
00001e94: SWAP3
00001e95: SWAP2
00001e96: POP
00001e97: POP
00001e98: JUMP
00001e99: JUMPDEST
00001e9a: PUSH1 0x12
00001e9c: PUSH1 0x0a
00001e9e: EXP
00001e9f: PUSH4 0xc4b20100
00001ea4: MUL
00001ea5: DUP2
00001ea6: JUMP
00001ea7: JUMPDEST
00001ea8: PUSH1 0x00
00001eaa: PUSH1 0x06
00001eac: SLOAD
00001ead: TIMESTAMP
00001eae: LT
00001eaf: ISZERO
00001eb0: PUSH2 0x1ed0
00001eb3: JUMPI
00001eb4: PUSH1 0x64
00001eb6: PUSH1 0x37
00001eb8: PUSH2 0xc350
00001ebb: MUL
00001ebc: DUP2
00001ebd: ISZERO
00001ebe: ISZERO
00001ebf: PUSH2 0x1ec4
00001ec2: JUMPI
00001ec3: INVALID
00001ec4: JUMPDEST
00001ec5: DIV
00001ec6: PUSH2 0xc350
00001ec9: ADD
00001eca: SWAP1
00001ecb: POP
00001ecc: PUSH2 0x1f99
00001ecf: JUMP
00001ed0: JUMPDEST
00001ed1: PUSH1 0x07
00001ed3: SLOAD
00001ed4: TIMESTAMP
00001ed5: LT
00001ed6: ISZERO
00001ed7: PUSH2 0x1ef7
00001eda: JUMPI
00001edb: PUSH1 0x64
00001edd: PUSH1 0x32
00001edf: PUSH2 0xc350
00001ee2: MUL
00001ee3: DUP2
00001ee4: ISZERO
00001ee5: ISZERO
00001ee6: PUSH2 0x1eeb
00001ee9: JUMPI
00001eea: INVALID
00001eeb: JUMPDEST
00001eec: DIV
00001eed: PUSH2 0xc350
00001ef0: ADD
00001ef1: SWAP1
00001ef2: POP
00001ef3: PUSH2 0x1f99
00001ef6: JUMP
00001ef7: JUMPDEST
00001ef8: PUSH1 0x08
00001efa: SLOAD
00001efb: TIMESTAMP
00001efc: LT
00001efd: ISZERO
00001efe: PUSH2 0x1f1e
00001f01: JUMPI
00001f02: PUSH1 0x64
00001f04: PUSH1 0x28
00001f06: PUSH2 0xc350
00001f09: MUL
00001f0a: DUP2
00001f0b: ISZERO
00001f0c: ISZERO
00001f0d: PUSH2 0x1f12
00001f10: JUMPI
00001f11: INVALID
00001f12: JUMPDEST
00001f13: DIV
00001f14: PUSH2 0xc350
00001f17: ADD
00001f18: SWAP1
00001f19: POP
00001f1a: PUSH2 0x1f99
00001f1d: JUMP
00001f1e: JUMPDEST
00001f1f: PUSH1 0x09
00001f21: SLOAD
00001f22: TIMESTAMP
00001f23: LT
00001f24: ISZERO
00001f25: PUSH2 0x1f45
00001f28: JUMPI
00001f29: PUSH1 0x64
00001f2b: PUSH1 0x1e
00001f2d: PUSH2 0xc350
00001f30: MUL
00001f31: DUP2
00001f32: ISZERO
00001f33: ISZERO
00001f34: PUSH2 0x1f39
00001f37: JUMPI
00001f38: INVALID
00001f39: JUMPDEST
00001f3a: DIV
00001f3b: PUSH2 0xc350
00001f3e: ADD
00001f3f: SWAP1
00001f40: POP
00001f41: PUSH2 0x1f99
00001f44: JUMP
00001f45: JUMPDEST
00001f46: PUSH1 0x0a
00001f48: SLOAD
00001f49: TIMESTAMP
00001f4a: LT
00001f4b: ISZERO
00001f4c: PUSH2 0x1f6c
00001f4f: JUMPI
00001f50: PUSH1 0x64
00001f52: PUSH1 0x14
00001f54: PUSH2 0xc350
00001f57: MUL
00001f58: DUP2
00001f59: ISZERO
00001f5a: ISZERO
00001f5b: PUSH2 0x1f60
00001f5e: JUMPI
00001f5f: INVALID
00001f60: JUMPDEST
00001f61: DIV
00001f62: PUSH2 0xc350
00001f65: ADD
00001f66: SWAP1
00001f67: POP
00001f68: PUSH2 0x1f99
00001f6b: JUMP
00001f6c: JUMPDEST
00001f6d: PUSH1 0x0b
00001f6f: SLOAD
00001f70: TIMESTAMP
00001f71: LT
00001f72: ISZERO
00001f73: PUSH2 0x1f93
00001f76: JUMPI
00001f77: PUSH1 0x64
00001f79: PUSH1 0x0a
00001f7b: PUSH2 0xc350
00001f7e: MUL
00001f7f: DUP2
00001f80: ISZERO
00001f81: ISZERO
00001f82: PUSH2 0x1f87
00001f85: JUMPI
00001f86: INVALID
00001f87: JUMPDEST
00001f88: DIV
00001f89: PUSH2 0xc350
00001f8c: ADD
00001f8d: SWAP1
00001f8e: POP
00001f8f: PUSH2 0x1f99
00001f92: JUMP
00001f93: JUMPDEST
00001f94: PUSH2 0xc350
00001f97: SWAP1
00001f98: POP
00001f99: JUMPDEST
00001f9a: SWAP1
00001f9b: JUMP
00001f9c: JUMPDEST
00001f9d: PUSH1 0x00
00001f9f: DUP1
00001fa0: PUSH1 0x00
00001fa2: DUP5
00001fa3: EQ
00001fa4: ISZERO
00001fa5: PUSH2 0x1fb1
00001fa8: JUMPI
00001fa9: PUSH1 0x00
00001fab: SWAP2
00001fac: POP
00001fad: PUSH2 0x1fd0
00001fb0: JUMP
00001fb1: JUMPDEST
00001fb2: DUP3
00001fb3: DUP5
00001fb4: MUL
00001fb5: SWAP1
00001fb6: POP
00001fb7: DUP3
00001fb8: DUP5
00001fb9: DUP3
00001fba: DUP2
00001fbb: ISZERO
00001fbc: ISZERO
00001fbd: PUSH2 0x1fc2
00001fc0: JUMPI
00001fc1: INVALID
00001fc2: JUMPDEST
00001fc3: DIV
00001fc4: EQ
00001fc5: ISZERO
00001fc6: ISZERO
00001fc7: PUSH2 0x1fcc
00001fca: JUMPI
00001fcb: INVALID
00001fcc: JUMPDEST
00001fcd: DUP1
00001fce: SWAP2
00001fcf: POP
00001fd0: JUMPDEST
00001fd1: POP
00001fd2: SWAP3
00001fd3: SWAP2
00001fd4: POP
00001fd5: POP
00001fd6: JUMP
00001fd7: JUMPDEST
00001fd8: PUSH1 0x00
00001fda: DUP1
00001fdb: DUP3
00001fdc: DUP5
00001fdd: ADD
00001fde: SWAP1
00001fdf: POP
00001fe0: DUP4
00001fe1: DUP2
00001fe2: LT
00001fe3: ISZERO
00001fe4: ISZERO
00001fe5: ISZERO
00001fe6: PUSH2 0x1feb
00001fe9: JUMPI
00001fea: INVALID
00001feb: JUMPDEST
00001fec: DUP1
00001fed: SWAP2
00001fee: POP
00001fef: POP
00001ff0: SWAP3
00001ff1: SWAP2
00001ff2: POP
00001ff3: POP
00001ff4: JUMP
00001ff5: JUMPDEST
00001ff6: PUSH1 0x00
00001ff8: DUP3
00001ff9: DUP3
00001ffa: GT
00001ffb: ISZERO
00001ffc: ISZERO
00001ffd: ISZERO
00001ffe: PUSH2 0x2003
00002001: JUMPI
00002002: INVALID
00002003: JUMPDEST
00002004: DUP2
00002005: DUP4
00002006: SUB
00002007: SWAP1
00002008: POP
00002009: SWAP3
0000200a: SWAP2
0000200b: POP
0000200c: POP
0000200d: JUMP
0000200e: JUMPDEST
0000200f: PUSH1 0x00
00002011: DUP1
00002012: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002027: AND
00002028: DUP4
00002029: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000203e: AND
0000203f: EQ
00002040: ISZERO
00002041: ISZERO
00002042: ISZERO
00002043: PUSH2 0x204b
00002046: JUMPI
00002047: PUSH1 0x00
00002049: DUP1
0000204a: REVERT
0000204b: JUMPDEST
0000204c: PUSH1 0x00
0000204e: DUP1
0000204f: DUP6
00002050: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002065: AND
00002066: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000207b: AND
0000207c: DUP2
0000207d: MSTORE
0000207e: PUSH1 0x20
00002080: ADD
00002081: SWAP1
00002082: DUP2
00002083: MSTORE
00002084: PUSH1 0x20
00002086: ADD
00002087: PUSH1 0x00
00002089: KECCAK256
0000208a: SLOAD
0000208b: DUP3
0000208c: GT
0000208d: ISZERO
0000208e: ISZERO
0000208f: ISZERO
00002090: PUSH2 0x2098
00002093: JUMPI
00002094: PUSH1 0x00
00002096: DUP1
00002097: REVERT
00002098: JUMPDEST
00002099: PUSH1 0x02
0000209b: PUSH1 0x00
0000209d: DUP6
0000209e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b3: AND
000020b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c9: AND
000020ca: DUP2
000020cb: MSTORE
000020cc: PUSH1 0x20
000020ce: ADD
000020cf: SWAP1
000020d0: DUP2
000020d1: MSTORE
000020d2: PUSH1 0x20
000020d4: ADD
000020d5: PUSH1 0x00
000020d7: KECCAK256
000020d8: PUSH1 0x00
000020da: CALLER
000020db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f0: AND
000020f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002106: AND
00002107: DUP2
00002108: MSTORE
00002109: PUSH1 0x20
0000210b: ADD
0000210c: SWAP1
0000210d: DUP2
0000210e: MSTORE
0000210f: PUSH1 0x20
00002111: ADD
00002112: PUSH1 0x00
00002114: KECCAK256
00002115: SLOAD
00002116: DUP3
00002117: GT
00002118: ISZERO
00002119: ISZERO
0000211a: ISZERO
0000211b: PUSH2 0x2123
0000211e: JUMPI
0000211f: PUSH1 0x00
00002121: DUP1
00002122: REVERT
00002123: JUMPDEST
00002124: PUSH2 0x2174
00002127: DUP3
00002128: PUSH1 0x00
0000212a: DUP1
0000212b: DUP8
0000212c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002141: AND
00002142: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002157: AND
00002158: DUP2
00002159: MSTORE
0000215a: PUSH1 0x20
0000215c: ADD
0000215d: SWAP1
0000215e: DUP2
0000215f: MSTORE
00002160: PUSH1 0x20
00002162: ADD
00002163: PUSH1 0x00
00002165: KECCAK256
00002166: SLOAD
00002167: PUSH2 0x1ff5
0000216a: SWAP1
0000216b: SWAP2
0000216c: SWAP1
0000216d: PUSH4 0xffffffff
00002172: AND
00002173: JUMP
00002174: JUMPDEST
00002175: PUSH1 0x00
00002177: DUP1
00002178: DUP7
00002179: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000218e: AND
0000218f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021a4: AND
000021a5: DUP2
000021a6: MSTORE
000021a7: PUSH1 0x20
000021a9: ADD
000021aa: SWAP1
000021ab: DUP2
000021ac: MSTORE
000021ad: PUSH1 0x20
000021af: ADD
000021b0: PUSH1 0x00
000021b2: KECCAK256
000021b3: DUP2
000021b4: SWAP1
000021b5: SSTORE
000021b6: POP
000021b7: PUSH2 0x2207
000021ba: DUP3
000021bb: PUSH1 0x00
000021bd: DUP1
000021be: DUP7
000021bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d4: AND
000021d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ea: AND
000021eb: DUP2
000021ec: MSTORE
000021ed: PUSH1 0x20
000021ef: ADD
000021f0: SWAP1
000021f1: DUP2
000021f2: MSTORE
000021f3: PUSH1 0x20
000021f5: ADD
000021f6: PUSH1 0x00
000021f8: KECCAK256
000021f9: SLOAD
000021fa: PUSH2 0x1fd7
000021fd: SWAP1
000021fe: SWAP2
000021ff: SWAP1
00002200: PUSH4 0xffffffff
00002205: AND
00002206: JUMP
00002207: JUMPDEST
00002208: PUSH1 0x00
0000220a: DUP1
0000220b: DUP6
0000220c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002221: AND
00002222: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002237: AND
00002238: DUP2
00002239: MSTORE
0000223a: PUSH1 0x20
0000223c: ADD
0000223d: SWAP1
0000223e: DUP2
0000223f: MSTORE
00002240: PUSH1 0x20
00002242: ADD
00002243: PUSH1 0x00
00002245: KECCAK256
00002246: DUP2
00002247: SWAP1
00002248: SSTORE
00002249: POP
0000224a: PUSH2 0x22d8
0000224d: DUP3
0000224e: PUSH1 0x02
00002250: PUSH1 0x00
00002252: DUP8
00002253: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002268: AND
00002269: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000227e: AND
0000227f: DUP2
00002280: MSTORE
00002281: PUSH1 0x20
00002283: ADD
00002284: SWAP1
00002285: DUP2
00002286: MSTORE
00002287: PUSH1 0x20
00002289: ADD
0000228a: PUSH1 0x00
0000228c: KECCAK256
0000228d: PUSH1 0x00
0000228f: CALLER
00002290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a5: AND
000022a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022bb: AND
000022bc: DUP2
000022bd: MSTORE
000022be: PUSH1 0x20
000022c0: ADD
000022c1: SWAP1
000022c2: DUP2
000022c3: MSTORE
000022c4: PUSH1 0x20
000022c6: ADD
000022c7: PUSH1 0x00
000022c9: KECCAK256
000022ca: SLOAD
000022cb: PUSH2 0x1ff5
000022ce: SWAP1
000022cf: SWAP2
000022d0: SWAP1
000022d1: PUSH4 0xffffffff
000022d6: AND
000022d7: JUMP
000022d8: JUMPDEST
000022d9: PUSH1 0x02
000022db: PUSH1 0x00
000022dd: DUP7
000022de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022f3: AND
000022f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002309: AND
0000230a: DUP2
0000230b: MSTORE
0000230c: PUSH1 0x20
0000230e: ADD
0000230f: SWAP1
00002310: DUP2
00002311: MSTORE
00002312: PUSH1 0x20
00002314: ADD
00002315: PUSH1 0x00
00002317: KECCAK256
00002318: PUSH1 0x00
0000231a: CALLER
0000231b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002330: AND
00002331: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002346: AND
00002347: DUP2
00002348: MSTORE
00002349: PUSH1 0x20
0000234b: ADD
0000234c: SWAP1
0000234d: DUP2
0000234e: MSTORE
0000234f: PUSH1 0x20
00002351: ADD
00002352: PUSH1 0x00
00002354: KECCAK256
00002355: DUP2
00002356: SWAP1
00002357: SSTORE
00002358: POP
00002359: DUP3
0000235a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000236f: AND
00002370: DUP5
00002371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002386: AND
00002387: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000023a8: DUP5
000023a9: PUSH1 0x40
000023ab: MLOAD
000023ac: DUP1
000023ad: DUP3
000023ae: DUP2
000023af: MSTORE
000023b0: PUSH1 0x20
000023b2: ADD
000023b3: SWAP2
000023b4: POP
000023b5: POP
000023b6: PUSH1 0x40
000023b8: MLOAD
000023b9: DUP1
000023ba: SWAP2
000023bb: SUB
000023bc: SWAP1
000023bd: LOG3
000023be: PUSH1 0x01
000023c0: SWAP1
000023c1: POP
000023c2: SWAP4
000023c3: SWAP3
000023c4: POP
000023c5: POP
000023c6: POP
000023c7: JUMP
000023c8: JUMPDEST
000023c9: PUSH1 0x00
000023cb: DUP1
000023cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023e1: AND
000023e2: DUP4
000023e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f8: AND
000023f9: EQ
000023fa: ISZERO
000023fb: ISZERO
000023fc: ISZERO
000023fd: PUSH2 0x2405
00002400: JUMPI
00002401: PUSH1 0x00
00002403: DUP1
00002404: REVERT
00002405: JUMPDEST
00002406: PUSH1 0x00
00002408: DUP1
00002409: CALLER
0000240a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000241f: AND
00002420: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002435: AND
00002436: DUP2
00002437: MSTORE
00002438: PUSH1 0x20
0000243a: ADD
0000243b: SWAP1
0000243c: DUP2
0000243d: MSTORE
0000243e: PUSH1 0x20
00002440: ADD
00002441: PUSH1 0x00
00002443: KECCAK256
00002444: SLOAD
00002445: DUP3
00002446: GT
00002447: ISZERO
00002448: ISZERO
00002449: ISZERO
0000244a: PUSH2 0x2452
0000244d: JUMPI
0000244e: PUSH1 0x00
00002450: DUP1
00002451: REVERT
00002452: JUMPDEST
00002453: PUSH2 0x24a3
00002456: DUP3
00002457: PUSH1 0x00
00002459: DUP1
0000245a: CALLER
0000245b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002470: AND
00002471: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002486: AND
00002487: DUP2
00002488: MSTORE
00002489: PUSH1 0x20
0000248b: ADD
0000248c: SWAP1
0000248d: DUP2
0000248e: MSTORE
0000248f: PUSH1 0x20
00002491: ADD
00002492: PUSH1 0x00
00002494: KECCAK256
00002495: SLOAD
00002496: PUSH2 0x1ff5
00002499: SWAP1
0000249a: SWAP2
0000249b: SWAP1
0000249c: PUSH4 0xffffffff
000024a1: AND
000024a2: JUMP
000024a3: JUMPDEST
000024a4: PUSH1 0x00
000024a6: DUP1
000024a7: CALLER
000024a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024bd: AND
000024be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d3: AND
000024d4: DUP2
000024d5: MSTORE
000024d6: PUSH1 0x20
000024d8: ADD
000024d9: SWAP1
000024da: DUP2
000024db: MSTORE
000024dc: PUSH1 0x20
000024de: ADD
000024df: PUSH1 0x00
000024e1: KECCAK256
000024e2: DUP2
000024e3: SWAP1
000024e4: SSTORE
000024e5: POP
000024e6: PUSH2 0x2536
000024e9: DUP3
000024ea: PUSH1 0x00
000024ec: DUP1
000024ed: DUP7
000024ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002503: AND
00002504: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002519: AND
0000251a: DUP2
0000251b: MSTORE
0000251c: PUSH1 0x20
0000251e: ADD
0000251f: SWAP1
00002520: DUP2
00002521: MSTORE
00002522: PUSH1 0x20
00002524: ADD
00002525: PUSH1 0x00
00002527: KECCAK256
00002528: SLOAD
00002529: PUSH2 0x1fd7
0000252c: SWAP1
0000252d: SWAP2
0000252e: SWAP1
0000252f: PUSH4 0xffffffff
00002534: AND
00002535: JUMP
00002536: JUMPDEST
00002537: PUSH1 0x00
00002539: DUP1
0000253a: DUP6
0000253b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002550: AND
00002551: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002566: AND
00002567: DUP2
00002568: MSTORE
00002569: PUSH1 0x20
0000256b: ADD
0000256c: SWAP1
0000256d: DUP2
0000256e: MSTORE
0000256f: PUSH1 0x20
00002571: ADD
00002572: PUSH1 0x00
00002574: KECCAK256
00002575: DUP2
00002576: SWAP1
00002577: SSTORE
00002578: POP
00002579: DUP3
0000257a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000258f: AND
00002590: CALLER
00002591: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025a6: AND
000025a7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000025c8: DUP5
000025c9: PUSH1 0x40
000025cb: MLOAD
000025cc: DUP1
000025cd: DUP3
000025ce: DUP2
000025cf: MSTORE
000025d0: PUSH1 0x20
000025d2: ADD
000025d3: SWAP2
000025d4: POP
000025d5: POP
000025d6: PUSH1 0x40
000025d8: MLOAD
000025d9: DUP1
000025da: SWAP2
000025db: SUB
000025dc: SWAP1
000025dd: LOG3
000025de: PUSH1 0x01
000025e0: SWAP1
000025e1: POP
000025e2: SWAP3
000025e3: SWAP2
000025e4: POP
000025e5: POP
000025e6: JUMP
000025e7: JUMPDEST
000025e8: PUSH1 0x00
000025ea: DUP1
000025eb: DUP3
000025ec: EXTCODESIZE
000025ed: SWAP1
000025ee: POP
000025ef: PUSH1 0x00
000025f1: DUP2
000025f2: GT
000025f3: SWAP2
000025f4: POP
000025f5: POP
000025f6: SWAP2
000025f7: SWAP1
000025f8: POP
000025f9: JUMP
000025fa: STOP
000025fb: LOG1
000025fc: PUSH6 0x627a7a723058
00002603: KECCAK256
00002604: UNKNOWN(0x2D)
00002605: SWAP14
00002606: UNKNOWN(0xE8)
00002607: PUSH21 0xfc4c1acdb7550b3af05ea4a4b94999df4af8bbeb0d
0000261d: DUP2
0000261e: PUSH9
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
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x7781fc0d59c08ab4e34d1cb67497065644f7085ae48b85ac2e06848856256d03
call_targets: 0xd73a66b8fb26be8b0acd7c52bd325054ac7d468b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7781fc0d59c08ab4e34d1cb67497065644f7085ae48b85ac2e06848856256d03",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd73a66b8fb26be8b0acd7c52bd325054ac7d468b"
    ],
    "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": "0x0f4d14e9",
            "selector": "0x0f4d14e9",
            "calldata_variants": [
                "0x0f4d14e9",
                "0x0f4d14e90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41398b15",
            "selector": "0x41398b15",
            "calldata_variants": [
                "0x41398b15",
                "0x41398b150000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5494,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5603,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 3613,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3700,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3950,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4023,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4097,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4238,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4325,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5237,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5324,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5835,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5908,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5982,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6112,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6199,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6995,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7082,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x7781fc0d59c08ab4e34d1cb67497065644f7085ae48b85ac2e06848856256d03
call_targets: 0xd73a66b8fb26be8b0acd7c52bd325054ac7d468b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7781fc0d59c08ab4e34d1cb67497065644f7085ae48b85ac2e06848856256d03",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd73a66b8fb26be8b0acd7c52bd325054ac7d468b"
    ],
    "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": "0x0f4d14e9",
            "selector": "0x0f4d14e9",
            "calldata_variants": [
                "0x0f4d14e9",
                "0x0f4d14e90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41398b15",
            "selector": "0x41398b15",
            "calldata_variants": [
                "0x41398b15",
                "0x41398b150000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5494,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5603,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 3613,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3700,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3950,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4023,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4097,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4238,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4325,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5237,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5324,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5835,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5908,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5982,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6112,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6199,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6995,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7082,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}