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

Analysis Run

019b477e-abeb-710a-a5ce-900ab9262285

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

What survived the funnel

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

Confirmed
0
Validated
0
Source
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
21109 artifact.fetch complete 1 / 3 3 months ago
21110 tool.cast_disasm complete 1 / 3 3 months ago
88961 analysis.bundle complete 1 / 3 2 weeks ago
88962 capability.graph complete 1 / 3 2 weeks ago
88963 detector.run complete 1 / 3 2 weeks ago
88964 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)
5
EXT*/BALANCE
4
Total opcodes
5677
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0251
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x031fe08f
0000003c: EQ
0000003d: PUSH2 0x02a4
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x046f7da2
00000047: EQ
00000048: PUSH2 0x02d1
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x14f02da9
00000052: EQ
00000053: PUSH2 0x02e6
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x222b9e3f
0000005d: EQ
0000005e: PUSH2 0x0337
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x2320f368
00000068: EQ
00000069: PUSH2 0x038c
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x2c2e312a
00000073: EQ
00000074: PUSH2 0x03e1
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x2e1a7d4d
0000007e: EQ
0000007f: PUSH2 0x03f9
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x3197cbb6
00000089: EQ
0000008a: PUSH2 0x0411
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x31d60100
00000094: EQ
00000095: PUSH2 0x043a
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x33537035
0000009f: EQ
000000a0: PUSH2 0x045f
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x33b5b62e
000000aa: EQ
000000ab: PUSH2 0x048c
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x37f6f22d
000000b5: EQ
000000b6: PUSH2 0x04b5
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x3fa615b0
000000c0: EQ
000000c1: PUSH2 0x04e2
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x44eb2244
000000cb: EQ
000000cc: PUSH2 0x050b
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x47535d7b
000000d6: EQ
000000d7: PUSH2 0x0558
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x4c8fe526
000000e1: EQ
000000e2: PUSH2 0x0585
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x519ee19e
000000ec: EQ
000000ed: PUSH2 0x05da
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x5a852c22
000000f7: EQ
000000f8: PUSH2 0x0603
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x625b9484
00000102: EQ
00000103: PUSH2 0x0628
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x6b6f4a9d
0000010d: EQ
0000010e: PUSH2 0x0668
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x6e66f6e9
00000118: EQ
00000119: PUSH2 0x0691
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0x78e97925
00000123: EQ
00000124: PUSH2 0x06e6
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0x7b3e5e7b
0000012e: EQ
0000012f: PUSH2 0x070f
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0x7ff9b596
00000139: EQ
0000013a: PUSH2 0x0738
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0x8456cb59
00000144: EQ
00000145: PUSH2 0x0761
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0x8b9add74
0000014f: EQ
00000150: PUSH2 0x0776
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0x8cb5a0c0
0000015a: EQ
0000015b: PUSH2 0x07a3
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x8da5cb5b
00000165: EQ
00000166: PUSH2 0x07dc
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x948c5e5a
00000170: EQ
00000171: PUSH2 0x0831
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x9762f802
0000017b: EQ
0000017c: PUSH2 0x085e
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x9f181b5e
00000186: EQ
00000187: PUSH2 0x088b
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0xa4e2d634
00000191: EQ
00000192: PUSH2 0x08b4
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0xa6f9dae1
0000019c: EQ
0000019d: PUSH2 0x08e1
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0xb187bd26
000001a7: EQ
000001a8: PUSH2 0x091a
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0xb374354d
000001b2: EQ
000001b3: PUSH2 0x0947
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0xb79a064d
000001bd: EQ
000001be: PUSH2 0x0974
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0xbef4876b
000001c8: EQ
000001c9: PUSH2 0x09ab
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0xc2b6b58c
000001d3: EQ
000001d4: PUSH2 0x09d8
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0xd361eb46
000001de: EQ
000001df: PUSH2 0x0a05
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0xd3bac6e3
000001e9: EQ
000001ea: PUSH2 0x0a2e
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0xdae89f18
000001f4: EQ
000001f5: PUSH2 0x0a57
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0xdd0b281e
000001ff: EQ
00000200: PUSH2 0x0aba
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0xdd860296
0000020a: EQ
0000020b: PUSH2 0x0ae8
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0xe177b18b
00000215: EQ
00000216: PUSH2 0x0b4b
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0xe94233b7
00000220: EQ
00000221: PUSH2 0x0b74
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0xebfff4de
0000022b: EQ
0000022c: PUSH2 0x0bc5
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0xf83d08ba
00000236: EQ
00000237: PUSH2 0x0c12
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0xfb86a404
00000241: EQ
00000242: PUSH2 0x0c27
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0xfbd6d77e
0000024c: EQ
0000024d: PUSH2 0x0c50
00000250: JUMPI
00000251: JUMPDEST
00000252: PUSH1 0x0e
00000254: PUSH1 0x00
00000256: SWAP1
00000257: SLOAD
00000258: SWAP1
00000259: PUSH2 0x0100
0000025c: EXP
0000025d: SWAP1
0000025e: DIV
0000025f: PUSH1 0xff
00000261: AND
00000262: ISZERO
00000263: ISZERO
00000264: PUSH2 0x026c
00000267: JUMPI
00000268: PUSH1 0x00
0000026a: DUP1
0000026b: REVERT
0000026c: JUMPDEST
0000026d: PUSH1 0x0e
0000026f: PUSH1 0x01
00000271: SWAP1
00000272: SLOAD
00000273: SWAP1
00000274: PUSH2 0x0100
00000277: EXP
00000278: SWAP1
00000279: DIV
0000027a: PUSH1 0xff
0000027c: AND
0000027d: ISZERO
0000027e: PUSH2 0x0286
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: PUSH2 0x028e
0000028a: PUSH2 0x0c89
0000028d: JUMP
0000028e: JUMPDEST
0000028f: ISZERO
00000290: PUSH2 0x0298
00000293: JUMPI
00000294: PUSH1 0x00
00000296: DUP1
00000297: REVERT
00000298: JUMPDEST
00000299: PUSH2 0x02a2
0000029c: CALLER
0000029d: CALLVALUE
0000029e: PUSH2 0x0cd5
000002a1: JUMP
000002a2: JUMPDEST
000002a3: STOP
000002a4: JUMPDEST
000002a5: CALLVALUE
000002a6: ISZERO
000002a7: PUSH2 0x02af
000002aa: JUMPI
000002ab: PUSH1 0x00
000002ad: DUP1
000002ae: REVERT
000002af: JUMPDEST
000002b0: PUSH2 0x02b7
000002b3: PUSH2 0x101e
000002b6: JUMP
000002b7: JUMPDEST
000002b8: PUSH1 0x40
000002ba: MLOAD
000002bb: DUP1
000002bc: DUP3
000002bd: ISZERO
000002be: ISZERO
000002bf: ISZERO
000002c0: ISZERO
000002c1: DUP2
000002c2: MSTORE
000002c3: PUSH1 0x20
000002c5: ADD
000002c6: SWAP2
000002c7: POP
000002c8: POP
000002c9: PUSH1 0x40
000002cb: MLOAD
000002cc: DUP1
000002cd: SWAP2
000002ce: SUB
000002cf: SWAP1
000002d0: RETURN
000002d1: JUMPDEST
000002d2: CALLVALUE
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: PUSH2 0x02e4
000002e0: PUSH2 0x1031
000002e3: JUMP
000002e4: JUMPDEST
000002e5: STOP
000002e6: JUMPDEST
000002e7: CALLVALUE
000002e8: ISZERO
000002e9: PUSH2 0x02f1
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: PUSH2 0x031d
000002f5: PUSH1 0x04
000002f7: DUP1
000002f8: DUP1
000002f9: CALLDATALOAD
000002fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000030f: AND
00000310: SWAP1
00000311: PUSH1 0x20
00000313: ADD
00000314: SWAP1
00000315: SWAP2
00000316: SWAP1
00000317: POP
00000318: POP
00000319: PUSH2 0x1217
0000031c: JUMP
0000031d: JUMPDEST
0000031e: PUSH1 0x40
00000320: MLOAD
00000321: DUP1
00000322: DUP3
00000323: ISZERO
00000324: ISZERO
00000325: ISZERO
00000326: ISZERO
00000327: DUP2
00000328: MSTORE
00000329: PUSH1 0x20
0000032b: ADD
0000032c: SWAP2
0000032d: POP
0000032e: POP
0000032f: PUSH1 0x40
00000331: MLOAD
00000332: DUP1
00000333: SWAP2
00000334: SUB
00000335: SWAP1
00000336: RETURN
00000337: JUMPDEST
00000338: CALLVALUE
00000339: ISZERO
0000033a: PUSH2 0x0342
0000033d: JUMPI
0000033e: PUSH1 0x00
00000340: DUP1
00000341: REVERT
00000342: JUMPDEST
00000343: PUSH2 0x034a
00000346: PUSH2 0x1237
00000349: JUMP
0000034a: JUMPDEST
0000034b: PUSH1 0x40
0000034d: MLOAD
0000034e: DUP1
0000034f: DUP3
00000350: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000365: AND
00000366: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000037b: AND
0000037c: DUP2
0000037d: MSTORE
0000037e: PUSH1 0x20
00000380: ADD
00000381: SWAP2
00000382: POP
00000383: POP
00000384: PUSH1 0x40
00000386: MLOAD
00000387: DUP1
00000388: SWAP2
00000389: SUB
0000038a: SWAP1
0000038b: RETURN
0000038c: JUMPDEST
0000038d: CALLVALUE
0000038e: ISZERO
0000038f: PUSH2 0x0397
00000392: JUMPI
00000393: PUSH1 0x00
00000395: DUP1
00000396: REVERT
00000397: JUMPDEST
00000398: PUSH2 0x039f
0000039b: PUSH2 0x125c
0000039e: JUMP
0000039f: JUMPDEST
000003a0: PUSH1 0x40
000003a2: MLOAD
000003a3: DUP1
000003a4: DUP3
000003a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ba: AND
000003bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d0: AND
000003d1: DUP2
000003d2: MSTORE
000003d3: PUSH1 0x20
000003d5: ADD
000003d6: SWAP2
000003d7: POP
000003d8: POP
000003d9: PUSH1 0x40
000003db: MLOAD
000003dc: DUP1
000003dd: SWAP2
000003de: SUB
000003df: SWAP1
000003e0: RETURN
000003e1: JUMPDEST
000003e2: PUSH2 0x03f7
000003e5: PUSH1 0x04
000003e7: DUP1
000003e8: DUP1
000003e9: CALLDATALOAD
000003ea: SWAP1
000003eb: PUSH1 0x20
000003ed: ADD
000003ee: SWAP1
000003ef: SWAP2
000003f0: SWAP1
000003f1: POP
000003f2: POP
000003f3: PUSH2 0x1282
000003f6: JUMP
000003f7: JUMPDEST
000003f8: STOP
000003f9: JUMPDEST
000003fa: PUSH2 0x040f
000003fd: PUSH1 0x04
000003ff: DUP1
00000400: DUP1
00000401: CALLDATALOAD
00000402: SWAP1
00000403: PUSH1 0x20
00000405: ADD
00000406: SWAP1
00000407: SWAP2
00000408: SWAP1
00000409: POP
0000040a: POP
0000040b: PUSH2 0x1356
0000040e: JUMP
0000040f: JUMPDEST
00000410: STOP
00000411: JUMPDEST
00000412: CALLVALUE
00000413: ISZERO
00000414: PUSH2 0x041c
00000417: JUMPI
00000418: PUSH1 0x00
0000041a: DUP1
0000041b: REVERT
0000041c: JUMPDEST
0000041d: PUSH2 0x0424
00000420: PUSH2 0x14af
00000423: JUMP
00000424: JUMPDEST
00000425: PUSH1 0x40
00000427: MLOAD
00000428: DUP1
00000429: DUP3
0000042a: DUP2
0000042b: MSTORE
0000042c: PUSH1 0x20
0000042e: ADD
0000042f: SWAP2
00000430: POP
00000431: POP
00000432: PUSH1 0x40
00000434: MLOAD
00000435: DUP1
00000436: SWAP2
00000437: SUB
00000438: SWAP1
00000439: RETURN
0000043a: JUMPDEST
0000043b: CALLVALUE
0000043c: ISZERO
0000043d: PUSH2 0x0445
00000440: JUMPI
00000441: PUSH1 0x00
00000443: DUP1
00000444: REVERT
00000445: JUMPDEST
00000446: PUSH2 0x045d
00000449: PUSH1 0x04
0000044b: DUP1
0000044c: DUP1
0000044d: CALLDATALOAD
0000044e: ISZERO
0000044f: ISZERO
00000450: SWAP1
00000451: PUSH1 0x20
00000453: ADD
00000454: SWAP1
00000455: SWAP2
00000456: SWAP1
00000457: POP
00000458: POP
00000459: PUSH2 0x14b5
0000045c: JUMP
0000045d: JUMPDEST
0000045e: STOP
0000045f: JUMPDEST
00000460: CALLVALUE
00000461: ISZERO
00000462: PUSH2 0x046a
00000465: JUMPI
00000466: PUSH1 0x00
00000468: DUP1
00000469: REVERT
0000046a: JUMPDEST
0000046b: PUSH2 0x0472
0000046e: PUSH2 0x15b1
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH1 0x40
00000475: MLOAD
00000476: DUP1
00000477: DUP3
00000478: ISZERO
00000479: ISZERO
0000047a: ISZERO
0000047b: ISZERO
0000047c: DUP2
0000047d: MSTORE
0000047e: PUSH1 0x20
00000480: ADD
00000481: SWAP2
00000482: POP
00000483: POP
00000484: PUSH1 0x40
00000486: MLOAD
00000487: DUP1
00000488: SWAP2
00000489: SUB
0000048a: SWAP1
0000048b: RETURN
0000048c: JUMPDEST
0000048d: CALLVALUE
0000048e: ISZERO
0000048f: PUSH2 0x0497
00000492: JUMPI
00000493: PUSH1 0x00
00000495: DUP1
00000496: REVERT
00000497: JUMPDEST
00000498: PUSH2 0x049f
0000049b: PUSH2 0x15c4
0000049e: JUMP
0000049f: JUMPDEST
000004a0: PUSH1 0x40
000004a2: MLOAD
000004a3: DUP1
000004a4: DUP3
000004a5: DUP2
000004a6: MSTORE
000004a7: PUSH1 0x20
000004a9: ADD
000004aa: SWAP2
000004ab: POP
000004ac: POP
000004ad: PUSH1 0x40
000004af: MLOAD
000004b0: DUP1
000004b1: SWAP2
000004b2: SUB
000004b3: SWAP1
000004b4: RETURN
000004b5: JUMPDEST
000004b6: CALLVALUE
000004b7: ISZERO
000004b8: PUSH2 0x04c0
000004bb: JUMPI
000004bc: PUSH1 0x00
000004be: DUP1
000004bf: REVERT
000004c0: JUMPDEST
000004c1: PUSH2 0x04c8
000004c4: PUSH2 0x15ca
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH1 0x40
000004cb: MLOAD
000004cc: DUP1
000004cd: DUP3
000004ce: ISZERO
000004cf: ISZERO
000004d0: ISZERO
000004d1: ISZERO
000004d2: DUP2
000004d3: MSTORE
000004d4: PUSH1 0x20
000004d6: ADD
000004d7: SWAP2
000004d8: POP
000004d9: POP
000004da: PUSH1 0x40
000004dc: MLOAD
000004dd: DUP1
000004de: SWAP2
000004df: SUB
000004e0: SWAP1
000004e1: RETURN
000004e2: JUMPDEST
000004e3: CALLVALUE
000004e4: ISZERO
000004e5: PUSH2 0x04ed
000004e8: JUMPI
000004e9: PUSH1 0x00
000004eb: DUP1
000004ec: REVERT
000004ed: JUMPDEST
000004ee: PUSH2 0x04f5
000004f1: PUSH2 0x15dd
000004f4: JUMP
000004f5: JUMPDEST
000004f6: PUSH1 0x40
000004f8: MLOAD
000004f9: DUP1
000004fa: DUP3
000004fb: DUP2
000004fc: MSTORE
000004fd: PUSH1 0x20
000004ff: ADD
00000500: SWAP2
00000501: POP
00000502: POP
00000503: PUSH1 0x40
00000505: MLOAD
00000506: DUP1
00000507: SWAP2
00000508: SUB
00000509: SWAP1
0000050a: RETURN
0000050b: JUMPDEST
0000050c: CALLVALUE
0000050d: ISZERO
0000050e: PUSH2 0x0516
00000511: JUMPI
00000512: PUSH1 0x00
00000514: DUP1
00000515: REVERT
00000516: JUMPDEST
00000517: PUSH2 0x0542
0000051a: PUSH1 0x04
0000051c: DUP1
0000051d: DUP1
0000051e: CALLDATALOAD
0000051f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000534: AND
00000535: SWAP1
00000536: PUSH1 0x20
00000538: ADD
00000539: SWAP1
0000053a: SWAP2
0000053b: SWAP1
0000053c: POP
0000053d: POP
0000053e: PUSH2 0x15e3
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH1 0x40
00000545: MLOAD
00000546: DUP1
00000547: DUP3
00000548: DUP2
00000549: MSTORE
0000054a: PUSH1 0x20
0000054c: ADD
0000054d: SWAP2
0000054e: POP
0000054f: POP
00000550: PUSH1 0x40
00000552: MLOAD
00000553: DUP1
00000554: SWAP2
00000555: SUB
00000556: SWAP1
00000557: RETURN
00000558: JUMPDEST
00000559: CALLVALUE
0000055a: ISZERO
0000055b: PUSH2 0x0563
0000055e: JUMPI
0000055f: PUSH1 0x00
00000561: DUP1
00000562: REVERT
00000563: JUMPDEST
00000564: PUSH2 0x056b
00000567: PUSH2 0x15fb
0000056a: JUMP
0000056b: JUMPDEST
0000056c: PUSH1 0x40
0000056e: MLOAD
0000056f: DUP1
00000570: DUP3
00000571: ISZERO
00000572: ISZERO
00000573: ISZERO
00000574: ISZERO
00000575: DUP2
00000576: MSTORE
00000577: PUSH1 0x20
00000579: ADD
0000057a: SWAP2
0000057b: POP
0000057c: POP
0000057d: PUSH1 0x40
0000057f: MLOAD
00000580: DUP1
00000581: SWAP2
00000582: SUB
00000583: SWAP1
00000584: RETURN
00000585: JUMPDEST
00000586: CALLVALUE
00000587: ISZERO
00000588: PUSH2 0x0590
0000058b: JUMPI
0000058c: PUSH1 0x00
0000058e: DUP1
0000058f: REVERT
00000590: JUMPDEST
00000591: PUSH2 0x0598
00000594: PUSH2 0x1646
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH1 0x40
0000059b: MLOAD
0000059c: DUP1
0000059d: DUP3
0000059e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b3: AND
000005b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005c9: AND
000005ca: DUP2
000005cb: MSTORE
000005cc: PUSH1 0x20
000005ce: ADD
000005cf: SWAP2
000005d0: POP
000005d1: POP
000005d2: PUSH1 0x40
000005d4: MLOAD
000005d5: DUP1
000005d6: SWAP2
000005d7: SUB
000005d8: SWAP1
000005d9: RETURN
000005da: JUMPDEST
000005db: CALLVALUE
000005dc: ISZERO
000005dd: PUSH2 0x05e5
000005e0: JUMPI
000005e1: PUSH1 0x00
000005e3: DUP1
000005e4: REVERT
000005e5: JUMPDEST
000005e6: PUSH2 0x05ed
000005e9: PUSH2 0x166c
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: DUP1
000005f2: DUP3
000005f3: DUP2
000005f4: MSTORE
000005f5: PUSH1 0x20
000005f7: ADD
000005f8: SWAP2
000005f9: POP
000005fa: POP
000005fb: PUSH1 0x40
000005fd: MLOAD
000005fe: DUP1
000005ff: SWAP2
00000600: SUB
00000601: SWAP1
00000602: RETURN
00000603: JUMPDEST
00000604: CALLVALUE
00000605: ISZERO
00000606: PUSH2 0x060e
00000609: JUMPI
0000060a: PUSH1 0x00
0000060c: DUP1
0000060d: REVERT
0000060e: JUMPDEST
0000060f: PUSH2 0x0626
00000612: PUSH1 0x04
00000614: DUP1
00000615: DUP1
00000616: CALLDATALOAD
00000617: ISZERO
00000618: ISZERO
00000619: SWAP1
0000061a: PUSH1 0x20
0000061c: ADD
0000061d: SWAP1
0000061e: SWAP2
0000061f: SWAP1
00000620: POP
00000621: POP
00000622: PUSH2 0x1672
00000625: JUMP
00000626: JUMPDEST
00000627: STOP
00000628: JUMPDEST
00000629: CALLVALUE
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: PUSH2 0x0652
00000637: PUSH1 0x04
00000639: DUP1
0000063a: DUP1
0000063b: CALLDATALOAD
0000063c: SWAP1
0000063d: PUSH1 0x20
0000063f: ADD
00000640: SWAP1
00000641: SWAP2
00000642: SWAP1
00000643: DUP1
00000644: CALLDATALOAD
00000645: SWAP1
00000646: PUSH1 0x20
00000648: ADD
00000649: SWAP1
0000064a: SWAP2
0000064b: SWAP1
0000064c: POP
0000064d: POP
0000064e: PUSH2 0x176e
00000651: JUMP
00000652: JUMPDEST
00000653: PUSH1 0x40
00000655: MLOAD
00000656: DUP1
00000657: DUP3
00000658: DUP2
00000659: MSTORE
0000065a: PUSH1 0x20
0000065c: ADD
0000065d: SWAP2
0000065e: POP
0000065f: POP
00000660: PUSH1 0x40
00000662: MLOAD
00000663: DUP1
00000664: SWAP2
00000665: SUB
00000666: SWAP1
00000667: RETURN
00000668: JUMPDEST
00000669: CALLVALUE
0000066a: ISZERO
0000066b: PUSH2 0x0673
0000066e: JUMPI
0000066f: PUSH1 0x00
00000671: DUP1
00000672: REVERT
00000673: JUMPDEST
00000674: PUSH2 0x067b
00000677: PUSH2 0x1797
0000067a: JUMP
0000067b: JUMPDEST
0000067c: PUSH1 0x40
0000067e: MLOAD
0000067f: DUP1
00000680: DUP3
00000681: DUP2
00000682: MSTORE
00000683: PUSH1 0x20
00000685: ADD
00000686: SWAP2
00000687: POP
00000688: POP
00000689: PUSH1 0x40
0000068b: MLOAD
0000068c: DUP1
0000068d: SWAP2
0000068e: SUB
0000068f: SWAP1
00000690: RETURN
00000691: JUMPDEST
00000692: CALLVALUE
00000693: ISZERO
00000694: PUSH2 0x069c
00000697: JUMPI
00000698: PUSH1 0x00
0000069a: DUP1
0000069b: REVERT
0000069c: JUMPDEST
0000069d: PUSH2 0x06a4
000006a0: PUSH2 0x179d
000006a3: JUMP
000006a4: JUMPDEST
000006a5: PUSH1 0x40
000006a7: MLOAD
000006a8: DUP1
000006a9: DUP3
000006aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006bf: AND
000006c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d5: AND
000006d6: DUP2
000006d7: MSTORE
000006d8: PUSH1 0x20
000006da: ADD
000006db: SWAP2
000006dc: POP
000006dd: POP
000006de: PUSH1 0x40
000006e0: MLOAD
000006e1: DUP1
000006e2: SWAP2
000006e3: SUB
000006e4: SWAP1
000006e5: RETURN
000006e6: JUMPDEST
000006e7: CALLVALUE
000006e8: ISZERO
000006e9: PUSH2 0x06f1
000006ec: JUMPI
000006ed: PUSH1 0x00
000006ef: DUP1
000006f0: REVERT
000006f1: JUMPDEST
000006f2: PUSH2 0x06f9
000006f5: PUSH2 0x17c3
000006f8: JUMP
000006f9: JUMPDEST
000006fa: PUSH1 0x40
000006fc: MLOAD
000006fd: DUP1
000006fe: DUP3
000006ff: DUP2
00000700: MSTORE
00000701: PUSH1 0x20
00000703: ADD
00000704: SWAP2
00000705: POP
00000706: POP
00000707: PUSH1 0x40
00000709: MLOAD
0000070a: DUP1
0000070b: SWAP2
0000070c: SUB
0000070d: SWAP1
0000070e: RETURN
0000070f: JUMPDEST
00000710: CALLVALUE
00000711: ISZERO
00000712: PUSH2 0x071a
00000715: JUMPI
00000716: PUSH1 0x00
00000718: DUP1
00000719: REVERT
0000071a: JUMPDEST
0000071b: PUSH2 0x0722
0000071e: PUSH2 0x17c9
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH1 0x40
00000725: MLOAD
00000726: DUP1
00000727: DUP3
00000728: DUP2
00000729: MSTORE
0000072a: PUSH1 0x20
0000072c: ADD
0000072d: SWAP2
0000072e: POP
0000072f: POP
00000730: PUSH1 0x40
00000732: MLOAD
00000733: DUP1
00000734: SWAP2
00000735: SUB
00000736: SWAP1
00000737: RETURN
00000738: JUMPDEST
00000739: CALLVALUE
0000073a: ISZERO
0000073b: PUSH2 0x0743
0000073e: JUMPI
0000073f: PUSH1 0x00
00000741: DUP1
00000742: REVERT
00000743: JUMPDEST
00000744: PUSH2 0x074b
00000747: PUSH2 0x17cf
0000074a: JUMP
0000074b: JUMPDEST
0000074c: PUSH1 0x40
0000074e: MLOAD
0000074f: DUP1
00000750: DUP3
00000751: DUP2
00000752: MSTORE
00000753: PUSH1 0x20
00000755: ADD
00000756: SWAP2
00000757: POP
00000758: POP
00000759: PUSH1 0x40
0000075b: MLOAD
0000075c: DUP1
0000075d: SWAP2
0000075e: SUB
0000075f: SWAP1
00000760: RETURN
00000761: JUMPDEST
00000762: CALLVALUE
00000763: ISZERO
00000764: PUSH2 0x076c
00000767: JUMPI
00000768: PUSH1 0x00
0000076a: DUP1
0000076b: REVERT
0000076c: JUMPDEST
0000076d: PUSH2 0x0774
00000770: PUSH2 0x17d5
00000773: JUMP
00000774: JUMPDEST
00000775: STOP
00000776: JUMPDEST
00000777: CALLVALUE
00000778: ISZERO
00000779: PUSH2 0x0781
0000077c: JUMPI
0000077d: PUSH1 0x00
0000077f: DUP1
00000780: REVERT
00000781: JUMPDEST
00000782: PUSH2 0x0789
00000785: PUSH2 0x19ba
00000788: JUMP
00000789: JUMPDEST
0000078a: PUSH1 0x40
0000078c: MLOAD
0000078d: DUP1
0000078e: DUP3
0000078f: ISZERO
00000790: ISZERO
00000791: ISZERO
00000792: ISZERO
00000793: DUP2
00000794: MSTORE
00000795: PUSH1 0x20
00000797: ADD
00000798: SWAP2
00000799: POP
0000079a: POP
0000079b: PUSH1 0x40
0000079d: MLOAD
0000079e: DUP1
0000079f: SWAP2
000007a0: SUB
000007a1: SWAP1
000007a2: RETURN
000007a3: JUMPDEST
000007a4: CALLVALUE
000007a5: ISZERO
000007a6: PUSH2 0x07ae
000007a9: JUMPI
000007aa: PUSH1 0x00
000007ac: DUP1
000007ad: REVERT
000007ae: JUMPDEST
000007af: PUSH2 0x07da
000007b2: PUSH1 0x04
000007b4: DUP1
000007b5: DUP1
000007b6: CALLDATALOAD
000007b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007cc: AND
000007cd: SWAP1
000007ce: PUSH1 0x20
000007d0: ADD
000007d1: SWAP1
000007d2: SWAP2
000007d3: SWAP1
000007d4: POP
000007d5: POP
000007d6: PUSH2 0x19cd
000007d9: JUMP
000007da: JUMPDEST
000007db: STOP
000007dc: JUMPDEST
000007dd: CALLVALUE
000007de: ISZERO
000007df: PUSH2 0x07e7
000007e2: JUMPI
000007e3: PUSH1 0x00
000007e5: DUP1
000007e6: REVERT
000007e7: JUMPDEST
000007e8: PUSH2 0x07ef
000007eb: PUSH2 0x1c60
000007ee: JUMP
000007ef: JUMPDEST
000007f0: PUSH1 0x40
000007f2: MLOAD
000007f3: DUP1
000007f4: DUP3
000007f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080a: AND
0000080b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000820: AND
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: ISZERO
00000834: PUSH2 0x083c
00000837: JUMPI
00000838: PUSH1 0x00
0000083a: DUP1
0000083b: REVERT
0000083c: JUMPDEST
0000083d: PUSH2 0x0844
00000840: PUSH2 0x1c86
00000843: JUMP
00000844: JUMPDEST
00000845: PUSH1 0x40
00000847: MLOAD
00000848: DUP1
00000849: DUP3
0000084a: ISZERO
0000084b: ISZERO
0000084c: ISZERO
0000084d: ISZERO
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x20
00000852: ADD
00000853: SWAP2
00000854: POP
00000855: POP
00000856: PUSH1 0x40
00000858: MLOAD
00000859: DUP1
0000085a: SWAP2
0000085b: SUB
0000085c: SWAP1
0000085d: RETURN
0000085e: JUMPDEST
0000085f: CALLVALUE
00000860: ISZERO
00000861: PUSH2 0x0869
00000864: JUMPI
00000865: PUSH1 0x00
00000867: DUP1
00000868: REVERT
00000869: JUMPDEST
0000086a: PUSH2 0x0871
0000086d: PUSH2 0x1c99
00000870: JUMP
00000871: JUMPDEST
00000872: PUSH1 0x40
00000874: MLOAD
00000875: DUP1
00000876: DUP3
00000877: ISZERO
00000878: ISZERO
00000879: ISZERO
0000087a: ISZERO
0000087b: DUP2
0000087c: MSTORE
0000087d: PUSH1 0x20
0000087f: ADD
00000880: SWAP2
00000881: POP
00000882: POP
00000883: PUSH1 0x40
00000885: MLOAD
00000886: DUP1
00000887: SWAP2
00000888: SUB
00000889: SWAP1
0000088a: RETURN
0000088b: JUMPDEST
0000088c: CALLVALUE
0000088d: ISZERO
0000088e: PUSH2 0x0896
00000891: JUMPI
00000892: PUSH1 0x00
00000894: DUP1
00000895: REVERT
00000896: JUMPDEST
00000897: PUSH2 0x089e
0000089a: PUSH2 0x1cac
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH1 0x40
000008a1: MLOAD
000008a2: DUP1
000008a3: DUP3
000008a4: DUP2
000008a5: MSTORE
000008a6: PUSH1 0x20
000008a8: ADD
000008a9: SWAP2
000008aa: POP
000008ab: POP
000008ac: PUSH1 0x40
000008ae: MLOAD
000008af: DUP1
000008b0: SWAP2
000008b1: SUB
000008b2: SWAP1
000008b3: RETURN
000008b4: JUMPDEST
000008b5: CALLVALUE
000008b6: ISZERO
000008b7: PUSH2 0x08bf
000008ba: JUMPI
000008bb: PUSH1 0x00
000008bd: DUP1
000008be: REVERT
000008bf: JUMPDEST
000008c0: PUSH2 0x08c7
000008c3: PUSH2 0x1cb2
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH1 0x40
000008ca: MLOAD
000008cb: DUP1
000008cc: DUP3
000008cd: ISZERO
000008ce: ISZERO
000008cf: ISZERO
000008d0: ISZERO
000008d1: DUP2
000008d2: MSTORE
000008d3: PUSH1 0x20
000008d5: ADD
000008d6: SWAP2
000008d7: POP
000008d8: POP
000008d9: PUSH1 0x40
000008db: MLOAD
000008dc: DUP1
000008dd: SWAP2
000008de: SUB
000008df: SWAP1
000008e0: RETURN
000008e1: JUMPDEST
000008e2: CALLVALUE
000008e3: ISZERO
000008e4: PUSH2 0x08ec
000008e7: JUMPI
000008e8: PUSH1 0x00
000008ea: DUP1
000008eb: REVERT
000008ec: JUMPDEST
000008ed: PUSH2 0x0918
000008f0: PUSH1 0x04
000008f2: DUP1
000008f3: DUP1
000008f4: CALLDATALOAD
000008f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000090a: AND
0000090b: SWAP1
0000090c: PUSH1 0x20
0000090e: ADD
0000090f: SWAP1
00000910: SWAP2
00000911: SWAP1
00000912: POP
00000913: POP
00000914: PUSH2 0x1cc5
00000917: JUMP
00000918: JUMPDEST
00000919: STOP
0000091a: JUMPDEST
0000091b: CALLVALUE
0000091c: ISZERO
0000091d: PUSH2 0x0925
00000920: JUMPI
00000921: PUSH1 0x00
00000923: DUP1
00000924: REVERT
00000925: JUMPDEST
00000926: PUSH2 0x092d
00000929: PUSH2 0x1e04
0000092c: JUMP
0000092d: JUMPDEST
0000092e: PUSH1 0x40
00000930: MLOAD
00000931: DUP1
00000932: DUP3
00000933: ISZERO
00000934: ISZERO
00000935: ISZERO
00000936: ISZERO
00000937: DUP2
00000938: MSTORE
00000939: PUSH1 0x20
0000093b: ADD
0000093c: SWAP2
0000093d: POP
0000093e: POP
0000093f: PUSH1 0x40
00000941: MLOAD
00000942: DUP1
00000943: SWAP2
00000944: SUB
00000945: SWAP1
00000946: RETURN
00000947: JUMPDEST
00000948: CALLVALUE
00000949: ISZERO
0000094a: PUSH2 0x0952
0000094d: JUMPI
0000094e: PUSH1 0x00
00000950: DUP1
00000951: REVERT
00000952: JUMPDEST
00000953: PUSH2 0x095a
00000956: PUSH2 0x1e17
00000959: JUMP
0000095a: JUMPDEST
0000095b: PUSH1 0x40
0000095d: MLOAD
0000095e: DUP1
0000095f: DUP3
00000960: ISZERO
00000961: ISZERO
00000962: ISZERO
00000963: ISZERO
00000964: DUP2
00000965: MSTORE
00000966: PUSH1 0x20
00000968: ADD
00000969: SWAP2
0000096a: POP
0000096b: POP
0000096c: PUSH1 0x40
0000096e: MLOAD
0000096f: DUP1
00000970: SWAP2
00000971: SUB
00000972: SWAP1
00000973: RETURN
00000974: JUMPDEST
00000975: PUSH2 0x09a9
00000978: PUSH1 0x04
0000097a: DUP1
0000097b: DUP1
0000097c: CALLDATALOAD
0000097d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000992: AND
00000993: SWAP1
00000994: PUSH1 0x20
00000996: ADD
00000997: SWAP1
00000998: SWAP2
00000999: SWAP1
0000099a: DUP1
0000099b: CALLDATALOAD
0000099c: SWAP1
0000099d: PUSH1 0x20
0000099f: ADD
000009a0: SWAP1
000009a1: SWAP2
000009a2: SWAP1
000009a3: POP
000009a4: POP
000009a5: PUSH2 0x0cd5
000009a8: JUMP
000009a9: JUMPDEST
000009aa: STOP
000009ab: JUMPDEST
000009ac: CALLVALUE
000009ad: ISZERO
000009ae: PUSH2 0x09b6
000009b1: JUMPI
000009b2: PUSH1 0x00
000009b4: DUP1
000009b5: REVERT
000009b6: JUMPDEST
000009b7: PUSH2 0x09be
000009ba: PUSH2 0x1e2a
000009bd: JUMP
000009be: JUMPDEST
000009bf: PUSH1 0x40
000009c1: MLOAD
000009c2: DUP1
000009c3: DUP3
000009c4: ISZERO
000009c5: ISZERO
000009c6: ISZERO
000009c7: ISZERO
000009c8: DUP2
000009c9: MSTORE
000009ca: PUSH1 0x20
000009cc: ADD
000009cd: SWAP2
000009ce: POP
000009cf: POP
000009d0: PUSH1 0x40
000009d2: MLOAD
000009d3: DUP1
000009d4: SWAP2
000009d5: SUB
000009d6: SWAP1
000009d7: RETURN
000009d8: JUMPDEST
000009d9: CALLVALUE
000009da: ISZERO
000009db: PUSH2 0x09e3
000009de: JUMPI
000009df: PUSH1 0x00
000009e1: DUP1
000009e2: REVERT
000009e3: JUMPDEST
000009e4: PUSH2 0x09eb
000009e7: PUSH2 0x0c89
000009ea: JUMP
000009eb: JUMPDEST
000009ec: PUSH1 0x40
000009ee: MLOAD
000009ef: DUP1
000009f0: DUP3
000009f1: ISZERO
000009f2: ISZERO
000009f3: ISZERO
000009f4: ISZERO
000009f5: DUP2
000009f6: MSTORE
000009f7: PUSH1 0x20
000009f9: ADD
000009fa: SWAP2
000009fb: POP
000009fc: POP
000009fd: PUSH1 0x40
000009ff: MLOAD
00000a00: DUP1
00000a01: SWAP2
00000a02: SUB
00000a03: SWAP1
00000a04: RETURN
00000a05: JUMPDEST
00000a06: CALLVALUE
00000a07: ISZERO
00000a08: PUSH2 0x0a10
00000a0b: JUMPI
00000a0c: PUSH1 0x00
00000a0e: DUP1
00000a0f: REVERT
00000a10: JUMPDEST
00000a11: PUSH2 0x0a18
00000a14: PUSH2 0x1e3d
00000a17: JUMP
00000a18: JUMPDEST
00000a19: PUSH1 0x40
00000a1b: MLOAD
00000a1c: DUP1
00000a1d: DUP3
00000a1e: DUP2
00000a1f: MSTORE
00000a20: PUSH1 0x20
00000a22: ADD
00000a23: SWAP2
00000a24: POP
00000a25: POP
00000a26: PUSH1 0x40
00000a28: MLOAD
00000a29: DUP1
00000a2a: SWAP2
00000a2b: SUB
00000a2c: SWAP1
00000a2d: RETURN
00000a2e: JUMPDEST
00000a2f: CALLVALUE
00000a30: ISZERO
00000a31: PUSH2 0x0a39
00000a34: JUMPI
00000a35: PUSH1 0x00
00000a37: DUP1
00000a38: REVERT
00000a39: JUMPDEST
00000a3a: PUSH2 0x0a41
00000a3d: PUSH2 0x1e43
00000a40: JUMP
00000a41: JUMPDEST
00000a42: PUSH1 0x40
00000a44: MLOAD
00000a45: DUP1
00000a46: DUP3
00000a47: DUP2
00000a48: MSTORE
00000a49: PUSH1 0x20
00000a4b: ADD
00000a4c: SWAP2
00000a4d: POP
00000a4e: POP
00000a4f: PUSH1 0x40
00000a51: MLOAD
00000a52: DUP1
00000a53: SWAP2
00000a54: SUB
00000a55: SWAP1
00000a56: RETURN
00000a57: JUMPDEST
00000a58: CALLVALUE
00000a59: ISZERO
00000a5a: PUSH2 0x0a62
00000a5d: JUMPI
00000a5e: PUSH1 0x00
00000a60: DUP1
00000a61: REVERT
00000a62: JUMPDEST
00000a63: PUSH2 0x0a78
00000a66: PUSH1 0x04
00000a68: DUP1
00000a69: DUP1
00000a6a: CALLDATALOAD
00000a6b: SWAP1
00000a6c: PUSH1 0x20
00000a6e: ADD
00000a6f: SWAP1
00000a70: SWAP2
00000a71: SWAP1
00000a72: POP
00000a73: POP
00000a74: PUSH2 0x1e49
00000a77: JUMP
00000a78: JUMPDEST
00000a79: PUSH1 0x40
00000a7b: MLOAD
00000a7c: DUP1
00000a7d: DUP3
00000a7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a93: AND
00000a94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa9: AND
00000aaa: DUP2
00000aab: MSTORE
00000aac: PUSH1 0x20
00000aae: ADD
00000aaf: SWAP2
00000ab0: POP
00000ab1: POP
00000ab2: PUSH1 0x40
00000ab4: MLOAD
00000ab5: DUP1
00000ab6: SWAP2
00000ab7: SUB
00000ab8: SWAP1
00000ab9: RETURN
00000aba: JUMPDEST
00000abb: PUSH2 0x0ae6
00000abe: PUSH1 0x04
00000ac0: DUP1
00000ac1: DUP1
00000ac2: CALLDATALOAD
00000ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad8: AND
00000ad9: SWAP1
00000ada: PUSH1 0x20
00000adc: ADD
00000add: SWAP1
00000ade: SWAP2
00000adf: SWAP1
00000ae0: POP
00000ae1: POP
00000ae2: PUSH2 0x1e7c
00000ae5: JUMP
00000ae6: JUMPDEST
00000ae7: STOP
00000ae8: JUMPDEST
00000ae9: CALLVALUE
00000aea: ISZERO
00000aeb: PUSH2 0x0af3
00000aee: JUMPI
00000aef: PUSH1 0x00
00000af1: DUP1
00000af2: REVERT
00000af3: JUMPDEST
00000af4: PUSH2 0x0b09
00000af7: PUSH1 0x04
00000af9: DUP1
00000afa: DUP1
00000afb: CALLDATALOAD
00000afc: SWAP1
00000afd: PUSH1 0x20
00000aff: ADD
00000b00: SWAP1
00000b01: SWAP2
00000b02: SWAP1
00000b03: POP
00000b04: POP
00000b05: PUSH2 0x1fe6
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: PUSH1 0x40
00000b0c: MLOAD
00000b0d: DUP1
00000b0e: DUP3
00000b0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b24: AND
00000b25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3a: AND
00000b3b: DUP2
00000b3c: MSTORE
00000b3d: PUSH1 0x20
00000b3f: ADD
00000b40: SWAP2
00000b41: POP
00000b42: POP
00000b43: PUSH1 0x40
00000b45: MLOAD
00000b46: DUP1
00000b47: SWAP2
00000b48: SUB
00000b49: SWAP1
00000b4a: RETURN
00000b4b: JUMPDEST
00000b4c: CALLVALUE
00000b4d: ISZERO
00000b4e: PUSH2 0x0b56
00000b51: JUMPI
00000b52: PUSH1 0x00
00000b54: DUP1
00000b55: REVERT
00000b56: JUMPDEST
00000b57: PUSH2 0x0b5e
00000b5a: PUSH2 0x2019
00000b5d: JUMP
00000b5e: JUMPDEST
00000b5f: PUSH1 0x40
00000b61: MLOAD
00000b62: DUP1
00000b63: DUP3
00000b64: DUP2
00000b65: MSTORE
00000b66: PUSH1 0x20
00000b68: ADD
00000b69: SWAP2
00000b6a: POP
00000b6b: POP
00000b6c: PUSH1 0x40
00000b6e: MLOAD
00000b6f: DUP1
00000b70: SWAP2
00000b71: SUB
00000b72: SWAP1
00000b73: RETURN
00000b74: JUMPDEST
00000b75: CALLVALUE
00000b76: ISZERO
00000b77: PUSH2 0x0b7f
00000b7a: JUMPI
00000b7b: PUSH1 0x00
00000b7d: DUP1
00000b7e: REVERT
00000b7f: JUMPDEST
00000b80: PUSH2 0x0bab
00000b83: PUSH1 0x04
00000b85: DUP1
00000b86: DUP1
00000b87: CALLDATALOAD
00000b88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9d: AND
00000b9e: SWAP1
00000b9f: PUSH1 0x20
00000ba1: ADD
00000ba2: SWAP1
00000ba3: SWAP2
00000ba4: SWAP1
00000ba5: POP
00000ba6: POP
00000ba7: PUSH2 0x201f
00000baa: JUMP
00000bab: JUMPDEST
00000bac: PUSH1 0x40
00000bae: MLOAD
00000baf: DUP1
00000bb0: DUP3
00000bb1: ISZERO
00000bb2: ISZERO
00000bb3: ISZERO
00000bb4: ISZERO
00000bb5: DUP2
00000bb6: MSTORE
00000bb7: PUSH1 0x20
00000bb9: ADD
00000bba: SWAP2
00000bbb: POP
00000bbc: POP
00000bbd: PUSH1 0x40
00000bbf: MLOAD
00000bc0: DUP1
00000bc1: SWAP2
00000bc2: SUB
00000bc3: SWAP1
00000bc4: RETURN
00000bc5: JUMPDEST
00000bc6: CALLVALUE
00000bc7: ISZERO
00000bc8: PUSH2 0x0bd0
00000bcb: JUMPI
00000bcc: PUSH1 0x00
00000bce: DUP1
00000bcf: REVERT
00000bd0: JUMPDEST
00000bd1: PUSH2 0x0bfc
00000bd4: PUSH1 0x04
00000bd6: DUP1
00000bd7: DUP1
00000bd8: CALLDATALOAD
00000bd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bee: AND
00000bef: SWAP1
00000bf0: PUSH1 0x20
00000bf2: ADD
00000bf3: SWAP1
00000bf4: SWAP2
00000bf5: SWAP1
00000bf6: POP
00000bf7: POP
00000bf8: PUSH2 0x203f
00000bfb: JUMP
00000bfc: JUMPDEST
00000bfd: PUSH1 0x40
00000bff: MLOAD
00000c00: DUP1
00000c01: DUP3
00000c02: DUP2
00000c03: MSTORE
00000c04: PUSH1 0x20
00000c06: ADD
00000c07: SWAP2
00000c08: POP
00000c09: POP
00000c0a: PUSH1 0x40
00000c0c: MLOAD
00000c0d: DUP1
00000c0e: SWAP2
00000c0f: SUB
00000c10: SWAP1
00000c11: RETURN
00000c12: JUMPDEST
00000c13: CALLVALUE
00000c14: ISZERO
00000c15: PUSH2 0x0c1d
00000c18: JUMPI
00000c19: PUSH1 0x00
00000c1b: DUP1
00000c1c: REVERT
00000c1d: JUMPDEST
00000c1e: PUSH2 0x0c25
00000c21: PUSH2 0x2057
00000c24: JUMP
00000c25: JUMPDEST
00000c26: STOP
00000c27: JUMPDEST
00000c28: CALLVALUE
00000c29: ISZERO
00000c2a: PUSH2 0x0c32
00000c2d: JUMPI
00000c2e: PUSH1 0x00
00000c30: DUP1
00000c31: REVERT
00000c32: JUMPDEST
00000c33: PUSH2 0x0c3a
00000c36: PUSH2 0x2113
00000c39: JUMP
00000c3a: JUMPDEST
00000c3b: PUSH1 0x40
00000c3d: MLOAD
00000c3e: DUP1
00000c3f: DUP3
00000c40: DUP2
00000c41: MSTORE
00000c42: PUSH1 0x20
00000c44: ADD
00000c45: SWAP2
00000c46: POP
00000c47: POP
00000c48: PUSH1 0x40
00000c4a: MLOAD
00000c4b: DUP1
00000c4c: SWAP2
00000c4d: SUB
00000c4e: SWAP1
00000c4f: RETURN
00000c50: JUMPDEST
00000c51: CALLVALUE
00000c52: ISZERO
00000c53: PUSH2 0x0c5b
00000c56: JUMPI
00000c57: PUSH1 0x00
00000c59: DUP1
00000c5a: REVERT
00000c5b: JUMPDEST
00000c5c: PUSH2 0x0c87
00000c5f: PUSH1 0x04
00000c61: DUP1
00000c62: DUP1
00000c63: CALLDATALOAD
00000c64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c79: AND
00000c7a: SWAP1
00000c7b: PUSH1 0x20
00000c7d: ADD
00000c7e: SWAP1
00000c7f: SWAP2
00000c80: SWAP1
00000c81: POP
00000c82: POP
00000c83: PUSH2 0x2119
00000c86: JUMP
00000c87: JUMPDEST
00000c88: STOP
00000c89: JUMPDEST
00000c8a: PUSH1 0x00
00000c8c: PUSH1 0x18
00000c8e: PUSH1 0x04
00000c90: SWAP1
00000c91: SLOAD
00000c92: SWAP1
00000c93: PUSH2 0x0100
00000c96: EXP
00000c97: SWAP1
00000c98: DIV
00000c99: PUSH1 0xff
00000c9b: AND
00000c9c: DUP1
00000c9d: PUSH2 0x0ca8
00000ca0: JUMPI
00000ca1: POP
00000ca2: PUSH1 0x08
00000ca4: SLOAD
00000ca5: TIMESTAMP
00000ca6: LT
00000ca7: ISZERO
00000ca8: JUMPDEST
00000ca9: DUP1
00000caa: ISZERO
00000cab: PUSH2 0x0ccf
00000cae: JUMPI
00000caf: POP
00000cb0: PUSH1 0x18
00000cb2: PUSH1 0x03
00000cb4: SWAP1
00000cb5: SLOAD
00000cb6: SWAP1
00000cb7: PUSH2 0x0100
00000cba: EXP
00000cbb: SWAP1
00000cbc: DIV
00000cbd: PUSH1 0xff
00000cbf: AND
00000cc0: ISZERO
00000cc1: DUP1
00000cc2: ISZERO
00000cc3: PUSH2 0x0cce
00000cc6: JUMPI
00000cc7: POP
00000cc8: PUSH1 0x09
00000cca: SLOAD
00000ccb: TIMESTAMP
00000ccc: GT
00000ccd: ISZERO
00000cce: JUMPDEST
00000ccf: JUMPDEST
00000cd0: ISZERO
00000cd1: SWAP1
00000cd2: POP
00000cd3: SWAP1
00000cd4: JUMP
00000cd5: JUMPDEST
00000cd6: PUSH1 0x00
00000cd8: DUP1
00000cd9: PUSH1 0x00
00000cdb: DUP1
00000cdc: PUSH1 0x00
00000cde: DUP6
00000cdf: SWAP5
00000ce0: POP
00000ce1: PUSH1 0x00
00000ce3: SWAP4
00000ce4: POP
00000ce5: PUSH1 0x0b
00000ce7: SLOAD
00000ce8: DUP6
00000ce9: LT
00000cea: ISZERO
00000ceb: PUSH2 0x0cf3
00000cee: JUMPI
00000cef: PUSH1 0x00
00000cf1: DUP1
00000cf2: REVERT
00000cf3: JUMPDEST
00000cf4: PUSH1 0x05
00000cf6: SLOAD
00000cf7: DUP6
00000cf8: PUSH1 0x06
00000cfa: SLOAD
00000cfb: ADD
00000cfc: GT
00000cfd: ISZERO
00000cfe: PUSH2 0x0d2d
00000d01: JUMPI
00000d02: PUSH1 0x03
00000d04: PUSH1 0x14
00000d06: SWAP1
00000d07: SLOAD
00000d08: SWAP1
00000d09: PUSH2 0x0100
00000d0c: EXP
00000d0d: SWAP1
00000d0e: DIV
00000d0f: PUSH1 0xff
00000d11: AND
00000d12: ISZERO
00000d13: ISZERO
00000d14: PUSH2 0x0d1c
00000d17: JUMPI
00000d18: PUSH1 0x00
00000d1a: DUP1
00000d1b: REVERT
00000d1c: JUMPDEST
00000d1d: PUSH1 0x05
00000d1f: SLOAD
00000d20: DUP6
00000d21: PUSH1 0x06
00000d23: SLOAD
00000d24: ADD
00000d25: SUB
00000d26: SWAP4
00000d27: POP
00000d28: DUP4
00000d29: DUP6
00000d2a: SUB
00000d2b: SWAP5
00000d2c: POP
00000d2d: JUMPDEST
00000d2e: PUSH2 0x0d39
00000d31: DUP6
00000d32: PUSH1 0x0a
00000d34: SLOAD
00000d35: PUSH2 0x176e
00000d38: JUMP
00000d39: JUMPDEST
00000d3a: SWAP3
00000d3b: POP
00000d3c: DUP5
00000d3d: PUSH1 0x06
00000d3f: PUSH1 0x00
00000d41: DUP3
00000d42: DUP3
00000d43: SLOAD
00000d44: ADD
00000d45: SWAP3
00000d46: POP
00000d47: POP
00000d48: DUP2
00000d49: SWAP1
00000d4a: SSTORE
00000d4b: POP
00000d4c: PUSH1 0x00
00000d4e: SWAP2
00000d4f: POP
00000d50: PUSH1 0x00
00000d52: SWAP1
00000d53: POP
00000d54: JUMPDEST
00000d55: PUSH1 0x12
00000d57: SLOAD
00000d58: DUP2
00000d59: LT
00000d5a: DUP1
00000d5b: ISZERO
00000d5c: PUSH2 0x0d63
00000d5f: JUMPI
00000d60: POP
00000d61: DUP2
00000d62: ISZERO
00000d63: JUMPDEST
00000d64: ISZERO
00000d65: PUSH2 0x0de6
00000d68: JUMPI
00000d69: DUP7
00000d6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7f: AND
00000d80: PUSH1 0x11
00000d82: PUSH1 0x00
00000d84: DUP4
00000d85: DUP2
00000d86: MSTORE
00000d87: PUSH1 0x20
00000d89: ADD
00000d8a: SWAP1
00000d8b: DUP2
00000d8c: MSTORE
00000d8d: PUSH1 0x20
00000d8f: ADD
00000d90: PUSH1 0x00
00000d92: KECCAK256
00000d93: PUSH1 0x00
00000d95: SWAP1
00000d96: SLOAD
00000d97: SWAP1
00000d98: PUSH2 0x0100
00000d9b: EXP
00000d9c: SWAP1
00000d9d: DIV
00000d9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db3: AND
00000db4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc9: AND
00000dca: EQ
00000dcb: ISZERO
00000dcc: PUSH2 0x0dd9
00000dcf: JUMPI
00000dd0: PUSH1 0x01
00000dd2: SWAP2
00000dd3: POP
00000dd4: PUSH1 0x12
00000dd6: SLOAD
00000dd7: SWAP1
00000dd8: POP
00000dd9: JUMPDEST
00000dda: DUP1
00000ddb: DUP1
00000ddc: PUSH1 0x01
00000dde: ADD
00000ddf: SWAP2
00000de0: POP
00000de1: POP
00000de2: PUSH2 0x0d54
00000de5: JUMP
00000de6: JUMPDEST
00000de7: DUP2
00000de8: ISZERO
00000de9: ISZERO
00000dea: PUSH2 0x0ede
00000ded: JUMPI
00000dee: DUP7
00000def: PUSH1 0x11
00000df1: PUSH1 0x00
00000df3: PUSH1 0x12
00000df5: SLOAD
00000df6: DUP2
00000df7: MSTORE
00000df8: PUSH1 0x20
00000dfa: ADD
00000dfb: SWAP1
00000dfc: DUP2
00000dfd: MSTORE
00000dfe: PUSH1 0x20
00000e00: ADD
00000e01: PUSH1 0x00
00000e03: KECCAK256
00000e04: PUSH1 0x00
00000e06: PUSH2 0x0100
00000e09: EXP
00000e0a: DUP2
00000e0b: SLOAD
00000e0c: DUP2
00000e0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e22: MUL
00000e23: NOT
00000e24: AND
00000e25: SWAP1
00000e26: DUP4
00000e27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3c: AND
00000e3d: MUL
00000e3e: OR
00000e3f: SWAP1
00000e40: SSTORE
00000e41: POP
00000e42: PUSH1 0x00
00000e44: PUSH1 0x0f
00000e46: PUSH1 0x00
00000e48: DUP10
00000e49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5e: AND
00000e5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e74: AND
00000e75: DUP2
00000e76: MSTORE
00000e77: PUSH1 0x20
00000e79: ADD
00000e7a: SWAP1
00000e7b: DUP2
00000e7c: MSTORE
00000e7d: PUSH1 0x20
00000e7f: ADD
00000e80: PUSH1 0x00
00000e82: KECCAK256
00000e83: DUP2
00000e84: SWAP1
00000e85: SSTORE
00000e86: POP
00000e87: PUSH1 0x00
00000e89: PUSH1 0x10
00000e8b: PUSH1 0x00
00000e8d: DUP10
00000e8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea3: AND
00000ea4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb9: AND
00000eba: DUP2
00000ebb: MSTORE
00000ebc: PUSH1 0x20
00000ebe: ADD
00000ebf: SWAP1
00000ec0: DUP2
00000ec1: MSTORE
00000ec2: PUSH1 0x20
00000ec4: ADD
00000ec5: PUSH1 0x00
00000ec7: KECCAK256
00000ec8: DUP2
00000ec9: SWAP1
00000eca: SSTORE
00000ecb: POP
00000ecc: PUSH1 0x12
00000ece: PUSH1 0x00
00000ed0: DUP2
00000ed1: SLOAD
00000ed2: DUP1
00000ed3: SWAP3
00000ed4: SWAP2
00000ed5: SWAP1
00000ed6: PUSH1 0x01
00000ed8: ADD
00000ed9: SWAP2
00000eda: SWAP1
00000edb: POP
00000edc: SSTORE
00000edd: POP
00000ede: JUMPDEST
00000edf: DUP5
00000ee0: PUSH1 0x10
00000ee2: PUSH1 0x00
00000ee4: DUP10
00000ee5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000efa: AND
00000efb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f10: AND
00000f11: DUP2
00000f12: MSTORE
00000f13: PUSH1 0x20
00000f15: ADD
00000f16: SWAP1
00000f17: DUP2
00000f18: MSTORE
00000f19: PUSH1 0x20
00000f1b: ADD
00000f1c: PUSH1 0x00
00000f1e: KECCAK256
00000f1f: PUSH1 0x00
00000f21: DUP3
00000f22: DUP3
00000f23: SLOAD
00000f24: ADD
00000f25: SWAP3
00000f26: POP
00000f27: POP
00000f28: DUP2
00000f29: SWAP1
00000f2a: SSTORE
00000f2b: POP
00000f2c: DUP3
00000f2d: PUSH1 0x0f
00000f2f: PUSH1 0x00
00000f31: DUP10
00000f32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f47: AND
00000f48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f5d: AND
00000f5e: DUP2
00000f5f: MSTORE
00000f60: PUSH1 0x20
00000f62: ADD
00000f63: SWAP1
00000f64: DUP2
00000f65: MSTORE
00000f66: PUSH1 0x20
00000f68: ADD
00000f69: PUSH1 0x00
00000f6b: KECCAK256
00000f6c: PUSH1 0x00
00000f6e: DUP3
00000f6f: DUP3
00000f70: SLOAD
00000f71: ADD
00000f72: SWAP3
00000f73: POP
00000f74: POP
00000f75: DUP2
00000f76: SWAP1
00000f77: SSTORE
00000f78: POP
00000f79: PUSH32 0xf7ac3f6afbc05f2167f3bdec83da4febd1594327b9bc1d137d567c832be20f15
00000f9a: DUP8
00000f9b: DUP7
00000f9c: DUP6
00000f9d: PUSH1 0x40
00000f9f: MLOAD
00000fa0: DUP1
00000fa1: DUP5
00000fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb7: AND
00000fb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fcd: AND
00000fce: DUP2
00000fcf: MSTORE
00000fd0: PUSH1 0x20
00000fd2: ADD
00000fd3: DUP4
00000fd4: DUP2
00000fd5: MSTORE
00000fd6: PUSH1 0x20
00000fd8: ADD
00000fd9: DUP3
00000fda: DUP2
00000fdb: MSTORE
00000fdc: PUSH1 0x20
00000fde: ADD
00000fdf: SWAP4
00000fe0: POP
00000fe1: POP
00000fe2: POP
00000fe3: POP
00000fe4: PUSH1 0x40
00000fe6: MLOAD
00000fe7: DUP1
00000fe8: SWAP2
00000fe9: SUB
00000fea: SWAP1
00000feb: LOG1
00000fec: DUP3
00000fed: PUSH1 0x0d
00000fef: PUSH1 0x00
00000ff1: DUP3
00000ff2: DUP3
00000ff3: SLOAD
00000ff4: ADD
00000ff5: SWAP3
00000ff6: POP
00000ff7: POP
00000ff8: DUP2
00000ff9: SWAP1
00000ffa: SSTORE
00000ffb: POP
00000ffc: PUSH2 0x1003
00000fff: PUSH2 0x22a5
00001002: JUMP
00001003: JUMPDEST
00001004: PUSH2 0x100d
00001007: DUP5
00001008: DUP9
00001009: PUSH2 0x23a3
0000100c: JUMP
0000100d: JUMPDEST
0000100e: PUSH2 0x1015
00001011: PUSH2 0x2564
00001014: JUMP
00001015: JUMPDEST
00001016: POP
00001017: POP
00001018: POP
00001019: POP
0000101a: POP
0000101b: POP
0000101c: POP
0000101d: JUMP
0000101e: JUMPDEST
0000101f: PUSH1 0x03
00001021: PUSH1 0x16
00001023: SWAP1
00001024: SLOAD
00001025: SWAP1
00001026: PUSH2 0x0100
00001029: EXP
0000102a: SWAP1
0000102b: DIV
0000102c: PUSH1 0xff
0000102e: AND
0000102f: DUP2
00001030: JUMP
00001031: JUMPDEST
00001032: PUSH1 0x00
00001034: DUP1
00001035: PUSH2 0x103c
00001038: PUSH2 0x0c89
0000103b: JUMP
0000103c: JUMPDEST
0000103d: ISZERO
0000103e: PUSH2 0x1046
00001041: JUMPI
00001042: PUSH1 0x00
00001044: DUP1
00001045: REVERT
00001046: JUMPDEST
00001047: PUSH1 0x0e
00001049: PUSH1 0x01
0000104b: SWAP1
0000104c: SLOAD
0000104d: SWAP1
0000104e: PUSH2 0x0100
00001051: EXP
00001052: SWAP1
00001053: DIV
00001054: PUSH1 0xff
00001056: AND
00001057: ISZERO
00001058: ISZERO
00001059: PUSH2 0x1061
0000105c: JUMPI
0000105d: PUSH1 0x00
0000105f: DUP1
00001060: REVERT
00001061: JUMPDEST
00001062: PUSH1 0x00
00001064: SWAP2
00001065: POP
00001066: PUSH1 0x00
00001068: SWAP1
00001069: POP
0000106a: JUMPDEST
0000106b: PUSH1 0x16
0000106d: SLOAD
0000106e: DUP2
0000106f: LT
00001070: ISZERO
00001071: PUSH2 0x1116
00001074: JUMPI
00001075: PUSH1 0x01
00001077: ISZERO
00001078: ISZERO
00001079: PUSH1 0x13
0000107b: PUSH1 0x00
0000107d: PUSH1 0x15
0000107f: PUSH1 0x00
00001081: DUP6
00001082: DUP2
00001083: MSTORE
00001084: PUSH1 0x20
00001086: ADD
00001087: SWAP1
00001088: DUP2
00001089: MSTORE
0000108a: PUSH1 0x20
0000108c: ADD
0000108d: PUSH1 0x00
0000108f: KECCAK256
00001090: PUSH1 0x00
00001092: SWAP1
00001093: SLOAD
00001094: SWAP1
00001095: PUSH2 0x0100
00001098: EXP
00001099: SWAP1
0000109a: DIV
0000109b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b0: AND
000010b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c6: AND
000010c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010dc: AND
000010dd: DUP2
000010de: MSTORE
000010df: PUSH1 0x20
000010e1: ADD
000010e2: SWAP1
000010e3: DUP2
000010e4: MSTORE
000010e5: PUSH1 0x20
000010e7: ADD
000010e8: PUSH1 0x00
000010ea: KECCAK256
000010eb: PUSH1 0x00
000010ed: SWAP1
000010ee: SLOAD
000010ef: SWAP1
000010f0: PUSH2 0x0100
000010f3: EXP
000010f4: SWAP1
000010f5: DIV
000010f6: PUSH1 0xff
000010f8: AND
000010f9: ISZERO
000010fa: ISZERO
000010fb: EQ
000010fc: ISZERO
000010fd: PUSH2 0x1109
00001100: JUMPI
00001101: DUP2
00001102: DUP1
00001103: PUSH1 0x01
00001105: ADD
00001106: SWAP3
00001107: POP
00001108: POP
00001109: JUMPDEST
0000110a: DUP1
0000110b: DUP1
0000110c: PUSH1 0x01
0000110e: ADD
0000110f: SWAP2
00001110: POP
00001111: POP
00001112: PUSH2 0x106a
00001115: JUMP
00001116: JUMPDEST
00001117: PUSH1 0x17
00001119: SLOAD
0000111a: DUP3
0000111b: LT
0000111c: ISZERO
0000111d: PUSH2 0x1125
00001120: JUMPI
00001121: PUSH1 0x00
00001123: DUP1
00001124: REVERT
00001125: JUMPDEST
00001126: PUSH1 0x00
00001128: PUSH1 0x0e
0000112a: PUSH1 0x01
0000112c: PUSH2 0x0100
0000112f: EXP
00001130: DUP2
00001131: SLOAD
00001132: DUP2
00001133: PUSH1 0xff
00001135: MUL
00001136: NOT
00001137: AND
00001138: SWAP1
00001139: DUP4
0000113a: ISZERO
0000113b: ISZERO
0000113c: MUL
0000113d: OR
0000113e: SWAP1
0000113f: SSTORE
00001140: POP
00001141: PUSH1 0x00
00001143: SWAP1
00001144: POP
00001145: JUMPDEST
00001146: PUSH1 0x16
00001148: SLOAD
00001149: DUP2
0000114a: LT
0000114b: ISZERO
0000114c: PUSH2 0x11e7
0000114f: JUMPI
00001150: PUSH1 0x00
00001152: PUSH1 0x13
00001154: PUSH1 0x00
00001156: PUSH1 0x15
00001158: PUSH1 0x00
0000115a: DUP6
0000115b: DUP2
0000115c: MSTORE
0000115d: PUSH1 0x20
0000115f: ADD
00001160: SWAP1
00001161: DUP2
00001162: MSTORE
00001163: PUSH1 0x20
00001165: ADD
00001166: PUSH1 0x00
00001168: KECCAK256
00001169: PUSH1 0x00
0000116b: SWAP1
0000116c: SLOAD
0000116d: SWAP1
0000116e: PUSH2 0x0100
00001171: EXP
00001172: SWAP1
00001173: DIV
00001174: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001189: AND
0000118a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119f: AND
000011a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b5: AND
000011b6: DUP2
000011b7: MSTORE
000011b8: PUSH1 0x20
000011ba: ADD
000011bb: SWAP1
000011bc: DUP2
000011bd: MSTORE
000011be: PUSH1 0x20
000011c0: ADD
000011c1: PUSH1 0x00
000011c3: KECCAK256
000011c4: PUSH1 0x00
000011c6: PUSH2 0x0100
000011c9: EXP
000011ca: DUP2
000011cb: SLOAD
000011cc: DUP2
000011cd: PUSH1 0xff
000011cf: MUL
000011d0: NOT
000011d1: AND
000011d2: SWAP1
000011d3: DUP4
000011d4: ISZERO
000011d5: ISZERO
000011d6: MUL
000011d7: OR
000011d8: SWAP1
000011d9: SSTORE
000011da: POP
000011db: DUP1
000011dc: DUP1
000011dd: PUSH1 0x01
000011df: ADD
000011e0: SWAP2
000011e1: POP
000011e2: POP
000011e3: PUSH2 0x1145
000011e6: JUMP
000011e7: JUMPDEST
000011e8: PUSH32 0x62451d457bc659158be6e6247f56ec1df424a5c7597f71c20c2bc44e0965c8f9
00001209: PUSH1 0x40
0000120b: MLOAD
0000120c: PUSH1 0x40
0000120e: MLOAD
0000120f: DUP1
00001210: SWAP2
00001211: SUB
00001212: SWAP1
00001213: LOG1
00001214: POP
00001215: POP
00001216: JUMP
00001217: JUMPDEST
00001218: PUSH1 0x14
0000121a: PUSH1 0x20
0000121c: MSTORE
0000121d: DUP1
0000121e: PUSH1 0x00
00001220: MSTORE
00001221: PUSH1 0x40
00001223: PUSH1 0x00
00001225: KECCAK256
00001226: PUSH1 0x00
00001228: SWAP2
00001229: POP
0000122a: SLOAD
0000122b: SWAP1
0000122c: PUSH2 0x0100
0000122f: EXP
00001230: SWAP1
00001231: DIV
00001232: PUSH1 0xff
00001234: AND
00001235: DUP2
00001236: JUMP
00001237: JUMPDEST
00001238: PUSH1 0x00
0000123a: DUP1
0000123b: SWAP1
0000123c: SLOAD
0000123d: SWAP1
0000123e: PUSH2 0x0100
00001241: EXP
00001242: SWAP1
00001243: DIV
00001244: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001259: AND
0000125a: DUP2
0000125b: JUMP
0000125c: JUMPDEST
0000125d: PUSH1 0x03
0000125f: PUSH1 0x00
00001261: SWAP1
00001262: SLOAD
00001263: SWAP1
00001264: PUSH2 0x0100
00001267: EXP
00001268: SWAP1
00001269: DIV
0000126a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127f: AND
00001280: DUP2
00001281: JUMP
00001282: JUMPDEST
00001283: PUSH2 0x128a
00001286: PUSH2 0x15fb
00001289: JUMP
0000128a: JUMPDEST
0000128b: ISZERO
0000128c: PUSH2 0x1294
0000128f: JUMPI
00001290: PUSH1 0x00
00001292: DUP1
00001293: REVERT
00001294: JUMPDEST
00001295: PUSH2 0x129c
00001298: PUSH2 0x27f5
0000129b: JUMP
0000129c: JUMPDEST
0000129d: PUSH2 0x12a4
000012a0: PUSH2 0x2564
000012a3: JUMP
000012a4: JUMPDEST
000012a5: PUSH1 0x04
000012a7: SLOAD
000012a8: PUSH1 0x06
000012aa: SLOAD
000012ab: LT
000012ac: ISZERO
000012ad: PUSH2 0x131b
000012b0: JUMPI
000012b1: PUSH1 0x18
000012b3: PUSH1 0x01
000012b5: SWAP1
000012b6: SLOAD
000012b7: SWAP1
000012b8: PUSH2 0x0100
000012bb: EXP
000012bc: SWAP1
000012bd: DIV
000012be: PUSH1 0xff
000012c0: AND
000012c1: ISZERO
000012c2: ISZERO
000012c3: PUSH2 0x130e
000012c6: JUMPI
000012c7: PUSH1 0x01
000012c9: PUSH1 0x18
000012cb: PUSH1 0x01
000012cd: PUSH2 0x0100
000012d0: EXP
000012d1: DUP2
000012d2: SLOAD
000012d3: DUP2
000012d4: PUSH1 0xff
000012d6: MUL
000012d7: NOT
000012d8: AND
000012d9: SWAP1
000012da: DUP4
000012db: ISZERO
000012dc: ISZERO
000012dd: MUL
000012de: OR
000012df: SWAP1
000012e0: SSTORE
000012e1: POP
000012e2: PUSH32 0x2b517277219445b8ec6f883d8dc4bb0d3fd661089e8d309771e5f29fb1e2c81f
00001303: PUSH1 0x40
00001305: MLOAD
00001306: PUSH1 0x40
00001308: MLOAD
00001309: DUP1
0000130a: SWAP2
0000130b: SUB
0000130c: SWAP1
0000130d: LOG1
0000130e: JUMPDEST
0000130f: PUSH2 0x1316
00001312: PUSH2 0x2836
00001315: JUMP
00001316: JUMPDEST
00001317: PUSH2 0x1353
0000131a: JUMP
0000131b: JUMPDEST
0000131c: PUSH1 0x00
0000131e: DUP2
0000131f: GT
00001320: ISZERO
00001321: PUSH2 0x1352
00001324: JUMPI
00001325: PUSH1 0x03
00001327: PUSH1 0x15
00001329: SWAP1
0000132a: SLOAD
0000132b: SWAP1
0000132c: PUSH2 0x0100
0000132f: EXP
00001330: SWAP1
00001331: DIV
00001332: PUSH1 0xff
00001334: AND
00001335: ISZERO
00001336: PUSH2 0x1347
00001339: JUMPI
0000133a: PUSH2 0x1342
0000133d: DUP2
0000133e: PUSH2 0x2a2f
00001341: JUMP
00001342: JUMPDEST
00001343: PUSH2 0x1351
00001346: JUMP
00001347: JUMPDEST
00001348: PUSH2 0x1350
0000134b: DUP2
0000134c: PUSH2 0x2acb
0000134f: JUMP
00001350: JUMPDEST
00001351: JUMPDEST
00001352: JUMPDEST
00001353: JUMPDEST
00001354: POP
00001355: JUMP
00001356: JUMPDEST
00001357: PUSH1 0x00
00001359: DUP1
0000135a: PUSH1 0x04
0000135c: SLOAD
0000135d: PUSH1 0x06
0000135f: SLOAD
00001360: LT
00001361: DUP1
00001362: PUSH2 0x1378
00001365: JUMPI
00001366: POP
00001367: PUSH1 0x03
00001369: PUSH1 0x16
0000136b: SWAP1
0000136c: SLOAD
0000136d: SWAP1
0000136e: PUSH2 0x0100
00001371: EXP
00001372: SWAP1
00001373: DIV
00001374: PUSH1 0xff
00001376: AND
00001377: ISZERO
00001378: JUMPDEST
00001379: ISZERO
0000137a: PUSH2 0x1382
0000137d: JUMPI
0000137e: PUSH1 0x00
00001380: DUP1
00001381: REVERT
00001382: JUMPDEST
00001383: PUSH1 0x0e
00001385: PUSH1 0x02
00001387: SWAP1
00001388: SLOAD
00001389: SWAP1
0000138a: PUSH2 0x0100
0000138d: EXP
0000138e: SWAP1
0000138f: DIV
00001390: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a5: AND
000013a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013bb: AND
000013bc: CALLER
000013bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d2: AND
000013d3: EQ
000013d4: SWAP2
000013d5: POP
000013d6: PUSH1 0x00
000013d8: SWAP1
000013d9: POP
000013da: JUMPDEST
000013db: PUSH1 0x16
000013dd: SLOAD
000013de: DUP2
000013df: LT
000013e0: DUP1
000013e1: ISZERO
000013e2: PUSH2 0x13e9
000013e5: JUMPI
000013e6: POP
000013e7: DUP2
000013e8: ISZERO
000013e9: JUMPDEST
000013ea: ISZERO
000013eb: PUSH2 0x1467
000013ee: JUMPI
000013ef: CALLER
000013f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001405: AND
00001406: PUSH1 0x15
00001408: PUSH1 0x00
0000140a: DUP4
0000140b: DUP2
0000140c: MSTORE
0000140d: PUSH1 0x20
0000140f: ADD
00001410: SWAP1
00001411: DUP2
00001412: MSTORE
00001413: PUSH1 0x20
00001415: ADD
00001416: PUSH1 0x00
00001418: KECCAK256
00001419: PUSH1 0x00
0000141b: SWAP1
0000141c: SLOAD
0000141d: SWAP1
0000141e: PUSH2 0x0100
00001421: EXP
00001422: SWAP1
00001423: DIV
00001424: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001439: AND
0000143a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000144f: AND
00001450: EQ
00001451: ISZERO
00001452: PUSH2 0x145a
00001455: JUMPI
00001456: PUSH1 0x01
00001458: SWAP2
00001459: POP
0000145a: JUMPDEST
0000145b: DUP1
0000145c: DUP1
0000145d: PUSH1 0x01
0000145f: ADD
00001460: SWAP2
00001461: POP
00001462: POP
00001463: PUSH2 0x13da
00001466: JUMP
00001467: JUMPDEST
00001468: DUP2
00001469: ISZERO
0000146a: ISZERO
0000146b: PUSH2 0x1473
0000146e: JUMPI
0000146f: PUSH1 0x00
00001471: DUP1
00001472: REVERT
00001473: JUMPDEST
00001474: PUSH1 0x00
00001476: DUP4
00001477: GT
00001478: ISZERO
00001479: PUSH2 0x14aa
0000147c: JUMPI
0000147d: PUSH1 0x03
0000147f: PUSH1 0x15
00001481: SWAP1
00001482: SLOAD
00001483: SWAP1
00001484: PUSH2 0x0100
00001487: EXP
00001488: SWAP1
00001489: DIV
0000148a: PUSH1 0xff
0000148c: AND
0000148d: ISZERO
0000148e: PUSH2 0x149f
00001491: JUMPI
00001492: PUSH2 0x149a
00001495: DUP4
00001496: PUSH2 0x2a2f
00001499: JUMP
0000149a: JUMPDEST
0000149b: PUSH2 0x14a9
0000149e: JUMP
0000149f: JUMPDEST
000014a0: PUSH2 0x14a8
000014a3: DUP4
000014a4: PUSH2 0x2acb
000014a7: JUMP
000014a8: JUMPDEST
000014a9: JUMPDEST
000014aa: JUMPDEST
000014ab: POP
000014ac: POP
000014ad: POP
000014ae: JUMP
000014af: JUMPDEST
000014b0: PUSH1 0x09
000014b2: SLOAD
000014b3: DUP2
000014b4: JUMP
000014b5: JUMPDEST
000014b6: PUSH1 0x00
000014b8: DUP1
000014b9: PUSH1 0x00
000014bb: SWAP2
000014bc: POP
000014bd: PUSH1 0x00
000014bf: SWAP1
000014c0: POP
000014c1: JUMPDEST
000014c2: PUSH1 0x16
000014c4: SLOAD
000014c5: DUP2
000014c6: LT
000014c7: ISZERO
000014c8: PUSH2 0x1549
000014cb: JUMPI
000014cc: CALLER
000014cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e2: AND
000014e3: PUSH1 0x15
000014e5: PUSH1 0x00
000014e7: DUP4
000014e8: DUP2
000014e9: MSTORE
000014ea: PUSH1 0x20
000014ec: ADD
000014ed: SWAP1
000014ee: DUP2
000014ef: MSTORE
000014f0: PUSH1 0x20
000014f2: ADD
000014f3: PUSH1 0x00
000014f5: KECCAK256
000014f6: PUSH1 0x00
000014f8: SWAP1
000014f9: SLOAD
000014fa: SWAP1
000014fb: PUSH2 0x0100
000014fe: EXP
000014ff: SWAP1
00001500: DIV
00001501: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001516: AND
00001517: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000152c: AND
0000152d: EQ
0000152e: ISZERO
0000152f: PUSH2 0x153c
00001532: JUMPI
00001533: PUSH1 0x01
00001535: SWAP2
00001536: POP
00001537: PUSH1 0x16
00001539: SLOAD
0000153a: SWAP1
0000153b: POP
0000153c: JUMPDEST
0000153d: DUP1
0000153e: DUP1
0000153f: PUSH1 0x01
00001541: ADD
00001542: SWAP2
00001543: POP
00001544: POP
00001545: PUSH2 0x14c1
00001548: JUMP
00001549: JUMPDEST
0000154a: DUP2
0000154b: ISZERO
0000154c: ISZERO
0000154d: PUSH2 0x1555
00001550: JUMPI
00001551: PUSH1 0x00
00001553: DUP1
00001554: REVERT
00001555: JUMPDEST
00001556: DUP3
00001557: PUSH1 0x14
00001559: PUSH1 0x00
0000155b: CALLER
0000155c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001571: AND
00001572: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001587: AND
00001588: DUP2
00001589: MSTORE
0000158a: PUSH1 0x20
0000158c: ADD
0000158d: SWAP1
0000158e: DUP2
0000158f: MSTORE
00001590: PUSH1 0x20
00001592: ADD
00001593: PUSH1 0x00
00001595: KECCAK256
00001596: PUSH1 0x00
00001598: PUSH2 0x0100
0000159b: EXP
0000159c: DUP2
0000159d: SLOAD
0000159e: DUP2
0000159f: PUSH1 0xff
000015a1: MUL
000015a2: NOT
000015a3: AND
000015a4: SWAP1
000015a5: DUP4
000015a6: ISZERO
000015a7: ISZERO
000015a8: MUL
000015a9: OR
000015aa: SWAP1
000015ab: SSTORE
000015ac: POP
000015ad: POP
000015ae: POP
000015af: POP
000015b0: JUMP
000015b1: JUMPDEST
000015b2: PUSH1 0x03
000015b4: PUSH1 0x14
000015b6: SWAP1
000015b7: SLOAD
000015b8: SWAP1
000015b9: PUSH2 0x0100
000015bc: EXP
000015bd: SWAP1
000015be: DIV
000015bf: PUSH1 0xff
000015c1: AND
000015c2: DUP2
000015c3: JUMP
000015c4: JUMPDEST
000015c5: PUSH1 0x0b
000015c7: SLOAD
000015c8: DUP2
000015c9: JUMP
000015ca: JUMPDEST
000015cb: PUSH1 0x18
000015cd: PUSH1 0x04
000015cf: SWAP1
000015d0: SLOAD
000015d1: SWAP1
000015d2: PUSH2 0x0100
000015d5: EXP
000015d6: SWAP1
000015d7: DIV
000015d8: PUSH1 0xff
000015da: AND
000015db: DUP2
000015dc: JUMP
000015dd: JUMPDEST
000015de: PUSH1 0x04
000015e0: SLOAD
000015e1: DUP2
000015e2: JUMP
000015e3: JUMPDEST
000015e4: PUSH1 0x10
000015e6: PUSH1 0x20
000015e8: MSTORE
000015e9: DUP1
000015ea: PUSH1 0x00
000015ec: MSTORE
000015ed: PUSH1 0x40
000015ef: PUSH1 0x00
000015f1: KECCAK256
000015f2: PUSH1 0x00
000015f4: SWAP2
000015f5: POP
000015f6: SWAP1
000015f7: POP
000015f8: SLOAD
000015f9: DUP2
000015fa: JUMP
000015fb: JUMPDEST
000015fc: PUSH1 0x00
000015fe: PUSH1 0x18
00001600: PUSH1 0x04
00001602: SWAP1
00001603: SLOAD
00001604: SWAP1
00001605: PUSH2 0x0100
00001608: EXP
00001609: SWAP1
0000160a: DIV
0000160b: PUSH1 0xff
0000160d: AND
0000160e: DUP1
0000160f: PUSH2 0x161a
00001612: JUMPI
00001613: POP
00001614: PUSH1 0x08
00001616: SLOAD
00001617: TIMESTAMP
00001618: LT
00001619: ISZERO
0000161a: JUMPDEST
0000161b: DUP1
0000161c: ISZERO
0000161d: PUSH2 0x1641
00001620: JUMPI
00001621: POP
00001622: PUSH1 0x18
00001624: PUSH1 0x03
00001626: SWAP1
00001627: SLOAD
00001628: SWAP1
00001629: PUSH2 0x0100
0000162c: EXP
0000162d: SWAP1
0000162e: DIV
0000162f: PUSH1 0xff
00001631: AND
00001632: ISZERO
00001633: DUP1
00001634: ISZERO
00001635: PUSH2 0x1640
00001638: JUMPI
00001639: POP
0000163a: PUSH1 0x09
0000163c: SLOAD
0000163d: TIMESTAMP
0000163e: GT
0000163f: ISZERO
00001640: JUMPDEST
00001641: JUMPDEST
00001642: SWAP1
00001643: POP
00001644: SWAP1
00001645: JUMP
00001646: JUMPDEST
00001647: PUSH1 0x02
00001649: PUSH1 0x00
0000164b: SWAP1
0000164c: SLOAD
0000164d: SWAP1
0000164e: PUSH2 0x0100
00001651: EXP
00001652: SWAP1
00001653: DIV
00001654: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001669: AND
0000166a: DUP2
0000166b: JUMP
0000166c: JUMPDEST
0000166d: PUSH1 0x0d
0000166f: SLOAD
00001670: DUP2
00001671: JUMP
00001672: JUMPDEST
00001673: PUSH1 0x00
00001675: DUP1
00001676: PUSH1 0x00
00001678: SWAP2
00001679: POP
0000167a: PUSH1 0x00
0000167c: SWAP1
0000167d: POP
0000167e: JUMPDEST
0000167f: PUSH1 0x16
00001681: SLOAD
00001682: DUP2
00001683: LT
00001684: ISZERO
00001685: PUSH2 0x1706
00001688: JUMPI
00001689: CALLER
0000168a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169f: AND
000016a0: PUSH1 0x15
000016a2: PUSH1 0x00
000016a4: DUP4
000016a5: DUP2
000016a6: MSTORE
000016a7: PUSH1 0x20
000016a9: ADD
000016aa: SWAP1
000016ab: DUP2
000016ac: MSTORE
000016ad: PUSH1 0x20
000016af: ADD
000016b0: PUSH1 0x00
000016b2: KECCAK256
000016b3: PUSH1 0x00
000016b5: SWAP1
000016b6: SLOAD
000016b7: SWAP1
000016b8: PUSH2 0x0100
000016bb: EXP
000016bc: SWAP1
000016bd: DIV
000016be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d3: AND
000016d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e9: AND
000016ea: EQ
000016eb: ISZERO
000016ec: PUSH2 0x16f9
000016ef: JUMPI
000016f0: PUSH1 0x01
000016f2: SWAP2
000016f3: POP
000016f4: PUSH1 0x16
000016f6: SLOAD
000016f7: SWAP1
000016f8: POP
000016f9: JUMPDEST
000016fa: DUP1
000016fb: DUP1
000016fc: PUSH1 0x01
000016fe: ADD
000016ff: SWAP2
00001700: POP
00001701: POP
00001702: PUSH2 0x167e
00001705: JUMP
00001706: JUMPDEST
00001707: DUP2
00001708: ISZERO
00001709: ISZERO
0000170a: PUSH2 0x1712
0000170d: JUMPI
0000170e: PUSH1 0x00
00001710: DUP1
00001711: REVERT
00001712: JUMPDEST
00001713: DUP3
00001714: PUSH1 0x13
00001716: PUSH1 0x00
00001718: CALLER
00001719: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000172e: AND
0000172f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001744: AND
00001745: DUP2
00001746: MSTORE
00001747: PUSH1 0x20
00001749: ADD
0000174a: SWAP1
0000174b: DUP2
0000174c: MSTORE
0000174d: PUSH1 0x20
0000174f: ADD
00001750: PUSH1 0x00
00001752: KECCAK256
00001753: PUSH1 0x00
00001755: PUSH2 0x0100
00001758: EXP
00001759: DUP2
0000175a: SLOAD
0000175b: DUP2
0000175c: PUSH1 0xff
0000175e: MUL
0000175f: NOT
00001760: AND
00001761: SWAP1
00001762: DUP4
00001763: ISZERO
00001764: ISZERO
00001765: MUL
00001766: OR
00001767: SWAP1
00001768: SSTORE
00001769: POP
0000176a: POP
0000176b: POP
0000176c: POP
0000176d: JUMP
0000176e: JUMPDEST
0000176f: PUSH1 0x00
00001771: DUP2
00001772: PUSH1 0x64
00001774: SUB
00001775: PUSH1 0x07
00001777: SLOAD
00001778: PUSH1 0x64
0000177a: DUP6
0000177b: MUL
0000177c: DUP2
0000177d: ISZERO
0000177e: ISZERO
0000177f: PUSH2 0x1784
00001782: JUMPI
00001783: INVALID
00001784: JUMPDEST
00001785: DIV
00001786: DUP2
00001787: ISZERO
00001788: ISZERO
00001789: PUSH2 0x178e
0000178c: JUMPI
0000178d: INVALID
0000178e: JUMPDEST
0000178f: DIV
00001790: SWAP1
00001791: POP
00001792: SWAP3
00001793: SWAP2
00001794: POP
00001795: POP
00001796: JUMP
00001797: JUMPDEST
00001798: PUSH1 0x0a
0000179a: SLOAD
0000179b: DUP2
0000179c: JUMP
0000179d: JUMPDEST
0000179e: PUSH1 0x01
000017a0: PUSH1 0x00
000017a2: SWAP1
000017a3: SLOAD
000017a4: SWAP1
000017a5: PUSH2 0x0100
000017a8: EXP
000017a9: SWAP1
000017aa: DIV
000017ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c0: AND
000017c1: DUP2
000017c2: JUMP
000017c3: JUMPDEST
000017c4: PUSH1 0x08
000017c6: SLOAD
000017c7: DUP2
000017c8: JUMP
000017c9: JUMPDEST
000017ca: PUSH1 0x06
000017cc: SLOAD
000017cd: DUP2
000017ce: JUMP
000017cf: JUMPDEST
000017d0: PUSH1 0x07
000017d2: SLOAD
000017d3: DUP2
000017d4: JUMP
000017d5: JUMPDEST
000017d6: PUSH1 0x00
000017d8: DUP1
000017d9: PUSH2 0x17e0
000017dc: PUSH2 0x0c89
000017df: JUMP
000017e0: JUMPDEST
000017e1: ISZERO
000017e2: PUSH2 0x17ea
000017e5: JUMPI
000017e6: PUSH1 0x00
000017e8: DUP1
000017e9: REVERT
000017ea: JUMPDEST
000017eb: PUSH1 0x0e
000017ed: PUSH1 0x01
000017ef: SWAP1
000017f0: SLOAD
000017f1: SWAP1
000017f2: PUSH2 0x0100
000017f5: EXP
000017f6: SWAP1
000017f7: DIV
000017f8: PUSH1 0xff
000017fa: AND
000017fb: ISZERO
000017fc: PUSH2 0x1804
000017ff: JUMPI
00001800: PUSH1 0x00
00001802: DUP1
00001803: REVERT
00001804: JUMPDEST
00001805: PUSH1 0x00
00001807: SWAP2
00001808: POP
00001809: PUSH1 0x00
0000180b: SWAP1
0000180c: POP
0000180d: JUMPDEST
0000180e: PUSH1 0x16
00001810: SLOAD
00001811: DUP2
00001812: LT
00001813: ISZERO
00001814: PUSH2 0x18b9
00001817: JUMPI
00001818: PUSH1 0x01
0000181a: ISZERO
0000181b: ISZERO
0000181c: PUSH1 0x14
0000181e: PUSH1 0x00
00001820: PUSH1 0x15
00001822: PUSH1 0x00
00001824: DUP6
00001825: DUP2
00001826: MSTORE
00001827: PUSH1 0x20
00001829: ADD
0000182a: SWAP1
0000182b: DUP2
0000182c: MSTORE
0000182d: PUSH1 0x20
0000182f: ADD
00001830: PUSH1 0x00
00001832: KECCAK256
00001833: PUSH1 0x00
00001835: SWAP1
00001836: SLOAD
00001837: SWAP1
00001838: PUSH2 0x0100
0000183b: EXP
0000183c: SWAP1
0000183d: DIV
0000183e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001853: AND
00001854: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001869: AND
0000186a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000187f: AND
00001880: DUP2
00001881: MSTORE
00001882: PUSH1 0x20
00001884: ADD
00001885: SWAP1
00001886: DUP2
00001887: MSTORE
00001888: PUSH1 0x20
0000188a: ADD
0000188b: PUSH1 0x00
0000188d: KECCAK256
0000188e: PUSH1 0x00
00001890: SWAP1
00001891: SLOAD
00001892: SWAP1
00001893: PUSH2 0x0100
00001896: EXP
00001897: SWAP1
00001898: DIV
00001899: PUSH1 0xff
0000189b: AND
0000189c: ISZERO
0000189d: ISZERO
0000189e: EQ
0000189f: ISZERO
000018a0: PUSH2 0x18ac
000018a3: JUMPI
000018a4: DUP2
000018a5: DUP1
000018a6: PUSH1 0x01
000018a8: ADD
000018a9: SWAP3
000018aa: POP
000018ab: POP
000018ac: JUMPDEST
000018ad: DUP1
000018ae: DUP1
000018af: PUSH1 0x01
000018b1: ADD
000018b2: SWAP2
000018b3: POP
000018b4: POP
000018b5: PUSH2 0x180d
000018b8: JUMP
000018b9: JUMPDEST
000018ba: PUSH1 0x17
000018bc: SLOAD
000018bd: DUP3
000018be: LT
000018bf: ISZERO
000018c0: PUSH2 0x18c8
000018c3: JUMPI
000018c4: PUSH1 0x00
000018c6: DUP1
000018c7: REVERT
000018c8: JUMPDEST
000018c9: PUSH1 0x01
000018cb: PUSH1 0x0e
000018cd: PUSH1 0x01
000018cf: PUSH2 0x0100
000018d2: EXP
000018d3: DUP2
000018d4: SLOAD
000018d5: DUP2
000018d6: PUSH1 0xff
000018d8: MUL
000018d9: NOT
000018da: AND
000018db: SWAP1
000018dc: DUP4
000018dd: ISZERO
000018de: ISZERO
000018df: MUL
000018e0: OR
000018e1: SWAP1
000018e2: SSTORE
000018e3: POP
000018e4: PUSH1 0x00
000018e6: SWAP1
000018e7: POP
000018e8: JUMPDEST
000018e9: PUSH1 0x16
000018eb: SLOAD
000018ec: DUP2
000018ed: LT
000018ee: ISZERO
000018ef: PUSH2 0x198a
000018f2: JUMPI
000018f3: PUSH1 0x00
000018f5: PUSH1 0x14
000018f7: PUSH1 0x00
000018f9: PUSH1 0x15
000018fb: PUSH1 0x00
000018fd: DUP6
000018fe: DUP2
000018ff: MSTORE
00001900: PUSH1 0x20
00001902: ADD
00001903: SWAP1
00001904: DUP2
00001905: MSTORE
00001906: PUSH1 0x20
00001908: ADD
00001909: PUSH1 0x00
0000190b: KECCAK256
0000190c: PUSH1 0x00
0000190e: SWAP1
0000190f: SLOAD
00001910: SWAP1
00001911: PUSH2 0x0100
00001914: EXP
00001915: SWAP1
00001916: DIV
00001917: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192c: AND
0000192d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001942: AND
00001943: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001958: AND
00001959: DUP2
0000195a: MSTORE
0000195b: PUSH1 0x20
0000195d: ADD
0000195e: SWAP1
0000195f: DUP2
00001960: MSTORE
00001961: PUSH1 0x20
00001963: ADD
00001964: PUSH1 0x00
00001966: KECCAK256
00001967: PUSH1 0x00
00001969: PUSH2 0x0100
0000196c: EXP
0000196d: DUP2
0000196e: SLOAD
0000196f: DUP2
00001970: PUSH1 0xff
00001972: MUL
00001973: NOT
00001974: AND
00001975: SWAP1
00001976: DUP4
00001977: ISZERO
00001978: ISZERO
00001979: MUL
0000197a: OR
0000197b: SWAP1
0000197c: SSTORE
0000197d: POP
0000197e: DUP1
0000197f: DUP1
00001980: PUSH1 0x01
00001982: ADD
00001983: SWAP2
00001984: POP
00001985: POP
00001986: PUSH2 0x18e8
00001989: JUMP
0000198a: JUMPDEST
0000198b: PUSH32 0x9e87fac88ff661f02d44f95383c817fece4bce600a3dab7a54406878b965e752
000019ac: PUSH1 0x40
000019ae: MLOAD
000019af: PUSH1 0x40
000019b1: MLOAD
000019b2: DUP1
000019b3: SWAP2
000019b4: SUB
000019b5: SWAP1
000019b6: LOG1
000019b7: POP
000019b8: POP
000019b9: JUMP
000019ba: JUMPDEST
000019bb: PUSH1 0x18
000019bd: PUSH1 0x01
000019bf: SWAP1
000019c0: SLOAD
000019c1: SWAP1
000019c2: PUSH2 0x0100
000019c5: EXP
000019c6: SWAP1
000019c7: DIV
000019c8: PUSH1 0xff
000019ca: AND
000019cb: DUP2
000019cc: JUMP
000019cd: JUMPDEST
000019ce: PUSH1 0x00
000019d0: DUP1
000019d1: PUSH1 0x0e
000019d3: PUSH1 0x00
000019d5: SWAP1
000019d6: SLOAD
000019d7: SWAP1
000019d8: PUSH2 0x0100
000019db: EXP
000019dc: SWAP1
000019dd: DIV
000019de: PUSH1 0xff
000019e0: AND
000019e1: ISZERO
000019e2: ISZERO
000019e3: PUSH2 0x1c5b
000019e6: JUMPI
000019e7: PUSH1 0x0e
000019e9: PUSH1 0x02
000019eb: SWAP1
000019ec: SLOAD
000019ed: SWAP1
000019ee: PUSH2 0x0100
000019f1: EXP
000019f2: SWAP1
000019f3: DIV
000019f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a09: AND
00001a0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a1f: AND
00001a20: CALLER
00001a21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a36: AND
00001a37: EQ
00001a38: ISZERO
00001a39: ISZERO
00001a3a: PUSH2 0x1a42
00001a3d: JUMPI
00001a3e: PUSH1 0x00
00001a40: DUP1
00001a41: REVERT
00001a42: JUMPDEST
00001a43: PUSH1 0x13
00001a45: PUSH1 0x00
00001a47: DUP5
00001a48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a5d: AND
00001a5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a73: AND
00001a74: DUP2
00001a75: MSTORE
00001a76: PUSH1 0x20
00001a78: ADD
00001a79: SWAP1
00001a7a: DUP2
00001a7b: MSTORE
00001a7c: PUSH1 0x20
00001a7e: ADD
00001a7f: PUSH1 0x00
00001a81: KECCAK256
00001a82: PUSH1 0x00
00001a84: PUSH2 0x0100
00001a87: EXP
00001a88: DUP2
00001a89: SLOAD
00001a8a: SWAP1
00001a8b: PUSH1 0xff
00001a8d: MUL
00001a8e: NOT
00001a8f: AND
00001a90: SWAP1
00001a91: SSTORE
00001a92: PUSH1 0x14
00001a94: PUSH1 0x00
00001a96: DUP5
00001a97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aac: AND
00001aad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac2: AND
00001ac3: DUP2
00001ac4: MSTORE
00001ac5: PUSH1 0x20
00001ac7: ADD
00001ac8: SWAP1
00001ac9: DUP2
00001aca: MSTORE
00001acb: PUSH1 0x20
00001acd: ADD
00001ace: PUSH1 0x00
00001ad0: KECCAK256
00001ad1: PUSH1 0x00
00001ad3: PUSH2 0x0100
00001ad6: EXP
00001ad7: DUP2
00001ad8: SLOAD
00001ad9: SWAP1
00001ada: PUSH1 0xff
00001adc: MUL
00001add: NOT
00001ade: AND
00001adf: SWAP1
00001ae0: SSTORE
00001ae1: PUSH1 0x00
00001ae3: SWAP2
00001ae4: POP
00001ae5: JUMPDEST
00001ae6: PUSH1 0x16
00001ae8: SLOAD
00001ae9: DUP3
00001aea: LT
00001aeb: ISZERO
00001aec: PUSH2 0x1c5a
00001aef: JUMPI
00001af0: DUP3
00001af1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b06: AND
00001b07: PUSH1 0x15
00001b09: PUSH1 0x00
00001b0b: DUP5
00001b0c: DUP2
00001b0d: MSTORE
00001b0e: PUSH1 0x20
00001b10: ADD
00001b11: SWAP1
00001b12: DUP2
00001b13: MSTORE
00001b14: PUSH1 0x20
00001b16: ADD
00001b17: PUSH1 0x00
00001b19: KECCAK256
00001b1a: PUSH1 0x00
00001b1c: SWAP1
00001b1d: SLOAD
00001b1e: SWAP1
00001b1f: PUSH2 0x0100
00001b22: EXP
00001b23: SWAP1
00001b24: DIV
00001b25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b3a: AND
00001b3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b50: AND
00001b51: EQ
00001b52: ISZERO
00001b53: PUSH2 0x1c4d
00001b56: JUMPI
00001b57: DUP2
00001b58: SWAP1
00001b59: POP
00001b5a: JUMPDEST
00001b5b: PUSH1 0x01
00001b5d: PUSH1 0x16
00001b5f: SLOAD
00001b60: SUB
00001b61: DUP2
00001b62: LT
00001b63: ISZERO
00001b64: PUSH2 0x1bfc
00001b67: JUMPI
00001b68: PUSH1 0x15
00001b6a: PUSH1 0x00
00001b6c: PUSH1 0x01
00001b6e: DUP4
00001b6f: ADD
00001b70: DUP2
00001b71: MSTORE
00001b72: PUSH1 0x20
00001b74: ADD
00001b75: SWAP1
00001b76: DUP2
00001b77: MSTORE
00001b78: PUSH1 0x20
00001b7a: ADD
00001b7b: PUSH1 0x00
00001b7d: KECCAK256
00001b7e: PUSH1 0x00
00001b80: SWAP1
00001b81: SLOAD
00001b82: SWAP1
00001b83: PUSH2 0x0100
00001b86: EXP
00001b87: SWAP1
00001b88: DIV
00001b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9e: AND
00001b9f: PUSH1 0x15
00001ba1: PUSH1 0x00
00001ba3: DUP4
00001ba4: DUP2
00001ba5: MSTORE
00001ba6: PUSH1 0x20
00001ba8: ADD
00001ba9: SWAP1
00001baa: DUP2
00001bab: MSTORE
00001bac: PUSH1 0x20
00001bae: ADD
00001baf: PUSH1 0x00
00001bb1: KECCAK256
00001bb2: PUSH1 0x00
00001bb4: PUSH2 0x0100
00001bb7: EXP
00001bb8: DUP2
00001bb9: SLOAD
00001bba: DUP2
00001bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd0: MUL
00001bd1: NOT
00001bd2: AND
00001bd3: SWAP1
00001bd4: DUP4
00001bd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bea: AND
00001beb: MUL
00001bec: OR
00001bed: SWAP1
00001bee: SSTORE
00001bef: POP
00001bf0: DUP1
00001bf1: DUP1
00001bf2: PUSH1 0x01
00001bf4: ADD
00001bf5: SWAP2
00001bf6: POP
00001bf7: POP
00001bf8: PUSH2 0x1b5a
00001bfb: JUMP
00001bfc: JUMPDEST
00001bfd: PUSH1 0x16
00001bff: PUSH1 0x00
00001c01: DUP2
00001c02: SLOAD
00001c03: DUP1
00001c04: SWAP3
00001c05: SWAP2
00001c06: SWAP1
00001c07: PUSH1 0x01
00001c09: SWAP1
00001c0a: SUB
00001c0b: SWAP2
00001c0c: SWAP1
00001c0d: POP
00001c0e: SSTORE
00001c0f: POP
00001c10: PUSH1 0x15
00001c12: PUSH1 0x00
00001c14: PUSH1 0x16
00001c16: SLOAD
00001c17: DUP2
00001c18: MSTORE
00001c19: PUSH1 0x20
00001c1b: ADD
00001c1c: SWAP1
00001c1d: DUP2
00001c1e: MSTORE
00001c1f: PUSH1 0x20
00001c21: ADD
00001c22: PUSH1 0x00
00001c24: KECCAK256
00001c25: PUSH1 0x00
00001c27: PUSH2 0x0100
00001c2a: EXP
00001c2b: DUP2
00001c2c: SLOAD
00001c2d: SWAP1
00001c2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c43: MUL
00001c44: NOT
00001c45: AND
00001c46: SWAP1
00001c47: SSTORE
00001c48: PUSH1 0x16
00001c4a: SLOAD
00001c4b: SWAP2
00001c4c: POP
00001c4d: JUMPDEST
00001c4e: DUP2
00001c4f: DUP1
00001c50: PUSH1 0x01
00001c52: ADD
00001c53: SWAP3
00001c54: POP
00001c55: POP
00001c56: PUSH2 0x1ae5
00001c59: JUMP
00001c5a: JUMPDEST
00001c5b: JUMPDEST
00001c5c: POP
00001c5d: POP
00001c5e: POP
00001c5f: JUMP
00001c60: JUMPDEST
00001c61: PUSH1 0x0e
00001c63: PUSH1 0x02
00001c65: SWAP1
00001c66: SLOAD
00001c67: SWAP1
00001c68: PUSH2 0x0100
00001c6b: EXP
00001c6c: SWAP1
00001c6d: DIV
00001c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c83: AND
00001c84: DUP2
00001c85: JUMP
00001c86: JUMPDEST
00001c87: PUSH1 0x03
00001c89: PUSH1 0x15
00001c8b: SWAP1
00001c8c: SLOAD
00001c8d: SWAP1
00001c8e: PUSH2 0x0100
00001c91: EXP
00001c92: SWAP1
00001c93: DIV
00001c94: PUSH1 0xff
00001c96: AND
00001c97: DUP2
00001c98: JUMP
00001c99: JUMPDEST
00001c9a: PUSH1 0x18
00001c9c: PUSH1 0x00
00001c9e: SWAP1
00001c9f: SLOAD
00001ca0: SWAP1
00001ca1: PUSH2 0x0100
00001ca4: EXP
00001ca5: SWAP1
00001ca6: DIV
00001ca7: PUSH1 0xff
00001ca9: AND
00001caa: DUP2
00001cab: JUMP
00001cac: JUMPDEST
00001cad: PUSH1 0x0c
00001caf: SLOAD
00001cb0: DUP2
00001cb1: JUMP
00001cb2: JUMPDEST
00001cb3: PUSH1 0x0e
00001cb5: PUSH1 0x00
00001cb7: SWAP1
00001cb8: SLOAD
00001cb9: SWAP1
00001cba: PUSH2 0x0100
00001cbd: EXP
00001cbe: SWAP1
00001cbf: DIV
00001cc0: PUSH1 0xff
00001cc2: AND
00001cc3: DUP2
00001cc4: JUMP
00001cc5: JUMPDEST
00001cc6: PUSH1 0x0e
00001cc8: PUSH1 0x00
00001cca: SWAP1
00001ccb: SLOAD
00001ccc: SWAP1
00001ccd: PUSH2 0x0100
00001cd0: EXP
00001cd1: SWAP1
00001cd2: DIV
00001cd3: PUSH1 0xff
00001cd5: AND
00001cd6: ISZERO
00001cd7: PUSH2 0x1cdf
00001cda: JUMPI
00001cdb: PUSH1 0x00
00001cdd: DUP1
00001cde: REVERT
00001cdf: JUMPDEST
00001ce0: PUSH1 0x0e
00001ce2: PUSH1 0x02
00001ce4: SWAP1
00001ce5: SLOAD
00001ce6: SWAP1
00001ce7: PUSH2 0x0100
00001cea: EXP
00001ceb: SWAP1
00001cec: DIV
00001ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d02: AND
00001d03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d18: AND
00001d19: CALLER
00001d1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d2f: AND
00001d30: EQ
00001d31: ISZERO
00001d32: ISZERO
00001d33: PUSH2 0x1d3b
00001d36: JUMPI
00001d37: PUSH1 0x00
00001d39: DUP1
00001d3a: REVERT
00001d3b: JUMPDEST
00001d3c: DUP1
00001d3d: PUSH1 0x0e
00001d3f: PUSH1 0x02
00001d41: PUSH2 0x0100
00001d44: EXP
00001d45: DUP2
00001d46: SLOAD
00001d47: DUP2
00001d48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d5d: MUL
00001d5e: NOT
00001d5f: AND
00001d60: SWAP1
00001d61: DUP4
00001d62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d77: AND
00001d78: MUL
00001d79: OR
00001d7a: SWAP1
00001d7b: SSTORE
00001d7c: POP
00001d7d: PUSH32 0xa2ea9883a321a3e97b8266c2b078bfeec6d50c711ed71f874a90d500ae2eaf36
00001d9e: PUSH1 0x0e
00001da0: PUSH1 0x02
00001da2: SWAP1
00001da3: SLOAD
00001da4: SWAP1
00001da5: PUSH2 0x0100
00001da8: EXP
00001da9: SWAP1
00001daa: DIV
00001dab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc0: AND
00001dc1: PUSH1 0x40
00001dc3: MLOAD
00001dc4: DUP1
00001dc5: DUP3
00001dc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ddb: AND
00001ddc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df1: AND
00001df2: DUP2
00001df3: MSTORE
00001df4: PUSH1 0x20
00001df6: ADD
00001df7: SWAP2
00001df8: POP
00001df9: POP
00001dfa: PUSH1 0x40
00001dfc: MLOAD
00001dfd: DUP1
00001dfe: SWAP2
00001dff: SUB
00001e00: SWAP1
00001e01: LOG1
00001e02: POP
00001e03: JUMP
00001e04: JUMPDEST
00001e05: PUSH1 0x0e
00001e07: PUSH1 0x01
00001e09: SWAP1
00001e0a: SLOAD
00001e0b: SWAP1
00001e0c: PUSH2 0x0100
00001e0f: EXP
00001e10: SWAP1
00001e11: DIV
00001e12: PUSH1 0xff
00001e14: AND
00001e15: DUP2
00001e16: JUMP
00001e17: JUMPDEST
00001e18: PUSH1 0x18
00001e1a: PUSH1 0x02
00001e1c: SWAP1
00001e1d: SLOAD
00001e1e: SWAP1
00001e1f: PUSH2 0x0100
00001e22: EXP
00001e23: SWAP1
00001e24: DIV
00001e25: PUSH1 0xff
00001e27: AND
00001e28: DUP2
00001e29: JUMP
00001e2a: JUMPDEST
00001e2b: PUSH1 0x18
00001e2d: PUSH1 0x03
00001e2f: SWAP1
00001e30: SLOAD
00001e31: SWAP1
00001e32: PUSH2 0x0100
00001e35: EXP
00001e36: SWAP1
00001e37: DIV
00001e38: PUSH1 0xff
00001e3a: AND
00001e3b: DUP2
00001e3c: JUMP
00001e3d: JUMPDEST
00001e3e: PUSH1 0x12
00001e40: SLOAD
00001e41: DUP2
00001e42: JUMP
00001e43: JUMPDEST
00001e44: PUSH1 0x16
00001e46: SLOAD
00001e47: DUP2
00001e48: JUMP
00001e49: JUMPDEST
00001e4a: PUSH1 0x15
00001e4c: PUSH1 0x20
00001e4e: MSTORE
00001e4f: DUP1
00001e50: PUSH1 0x00
00001e52: MSTORE
00001e53: PUSH1 0x40
00001e55: PUSH1 0x00
00001e57: KECCAK256
00001e58: PUSH1 0x00
00001e5a: SWAP2
00001e5b: POP
00001e5c: SLOAD
00001e5d: SWAP1
00001e5e: PUSH2 0x0100
00001e61: EXP
00001e62: SWAP1
00001e63: DIV
00001e64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e79: AND
00001e7a: DUP2
00001e7b: JUMP
00001e7c: JUMPDEST
00001e7d: PUSH1 0x03
00001e7f: PUSH1 0x00
00001e81: SWAP1
00001e82: SLOAD
00001e83: SWAP1
00001e84: PUSH2 0x0100
00001e87: EXP
00001e88: SWAP1
00001e89: DIV
00001e8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9f: AND
00001ea0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb5: AND
00001eb6: CALLER
00001eb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ecc: AND
00001ecd: EQ
00001ece: ISZERO
00001ecf: ISZERO
00001ed0: PUSH2 0x1ed8
00001ed3: JUMPI
00001ed4: PUSH1 0x00
00001ed6: DUP1
00001ed7: REVERT
00001ed8: JUMPDEST
00001ed9: PUSH1 0x0e
00001edb: PUSH1 0x00
00001edd: SWAP1
00001ede: SLOAD
00001edf: SWAP1
00001ee0: PUSH2 0x0100
00001ee3: EXP
00001ee4: SWAP1
00001ee5: DIV
00001ee6: PUSH1 0xff
00001ee8: AND
00001ee9: ISZERO
00001eea: ISZERO
00001eeb: PUSH2 0x1ef3
00001eee: JUMPI
00001eef: PUSH1 0x00
00001ef1: DUP1
00001ef2: REVERT
00001ef3: JUMPDEST
00001ef4: PUSH1 0x0e
00001ef6: PUSH1 0x01
00001ef8: SWAP1
00001ef9: SLOAD
00001efa: SWAP1
00001efb: PUSH2 0x0100
00001efe: EXP
00001eff: SWAP1
00001f00: DIV
00001f01: PUSH1 0xff
00001f03: AND
00001f04: ISZERO
00001f05: PUSH2 0x1f0d
00001f08: JUMPI
00001f09: PUSH1 0x00
00001f0b: DUP1
00001f0c: REVERT
00001f0d: JUMPDEST
00001f0e: PUSH2 0x1f15
00001f11: PUSH2 0x15fb
00001f14: JUMP
00001f15: JUMPDEST
00001f16: ISZERO
00001f17: PUSH2 0x1f1f
00001f1a: JUMPI
00001f1b: PUSH1 0x00
00001f1d: DUP1
00001f1e: REVERT
00001f1f: JUMPDEST
00001f20: PUSH1 0x18
00001f22: PUSH1 0x04
00001f24: SWAP1
00001f25: SLOAD
00001f26: SWAP1
00001f27: PUSH2 0x0100
00001f2a: EXP
00001f2b: SWAP1
00001f2c: DIV
00001f2d: PUSH1 0xff
00001f2f: AND
00001f30: ISZERO
00001f31: PUSH2 0x1f39
00001f34: JUMPI
00001f35: PUSH1 0x00
00001f37: DUP1
00001f38: REVERT
00001f39: JUMPDEST
00001f3a: PUSH1 0x01
00001f3c: PUSH1 0x18
00001f3e: PUSH1 0x04
00001f40: PUSH2 0x0100
00001f43: EXP
00001f44: DUP2
00001f45: SLOAD
00001f46: DUP2
00001f47: PUSH1 0xff
00001f49: MUL
00001f4a: NOT
00001f4b: AND
00001f4c: SWAP1
00001f4d: DUP4
00001f4e: ISZERO
00001f4f: ISZERO
00001f50: MUL
00001f51: OR
00001f52: SWAP1
00001f53: SSTORE
00001f54: POP
00001f55: PUSH32 0x6370124f0d62a9416c9cfc13351020801f29e517604f336c37ea23a144ac4864
00001f76: PUSH1 0x03
00001f78: PUSH1 0x00
00001f7a: SWAP1
00001f7b: SLOAD
00001f7c: SWAP1
00001f7d: PUSH2 0x0100
00001f80: EXP
00001f81: SWAP1
00001f82: DIV
00001f83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f98: AND
00001f99: PUSH1 0x40
00001f9b: MLOAD
00001f9c: DUP1
00001f9d: DUP3
00001f9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb3: AND
00001fb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc9: AND
00001fca: DUP2
00001fcb: MSTORE
00001fcc: PUSH1 0x20
00001fce: ADD
00001fcf: SWAP2
00001fd0: POP
00001fd1: POP
00001fd2: PUSH1 0x40
00001fd4: MLOAD
00001fd5: DUP1
00001fd6: SWAP2
00001fd7: SUB
00001fd8: SWAP1
00001fd9: LOG1
00001fda: PUSH2 0x1fe3
00001fdd: DUP2
00001fde: CALLVALUE
00001fdf: PUSH2 0x0cd5
00001fe2: JUMP
00001fe3: JUMPDEST
00001fe4: POP
00001fe5: JUMP
00001fe6: JUMPDEST
00001fe7: PUSH1 0x11
00001fe9: PUSH1 0x20
00001feb: MSTORE
00001fec: DUP1
00001fed: PUSH1 0x00
00001fef: MSTORE
00001ff0: PUSH1 0x40
00001ff2: PUSH1 0x00
00001ff4: KECCAK256
00001ff5: PUSH1 0x00
00001ff7: SWAP2
00001ff8: POP
00001ff9: SLOAD
00001ffa: SWAP1
00001ffb: PUSH2 0x0100
00001ffe: EXP
00001fff: SWAP1
00002000: DIV
00002001: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002016: AND
00002017: DUP2
00002018: JUMP
00002019: JUMPDEST
0000201a: PUSH1 0x17
0000201c: SLOAD
0000201d: DUP2
0000201e: JUMP
0000201f: JUMPDEST
00002020: PUSH1 0x13
00002022: PUSH1 0x20
00002024: MSTORE
00002025: DUP1
00002026: PUSH1 0x00
00002028: MSTORE
00002029: PUSH1 0x40
0000202b: PUSH1 0x00
0000202d: KECCAK256
0000202e: PUSH1 0x00
00002030: SWAP2
00002031: POP
00002032: SLOAD
00002033: SWAP1
00002034: PUSH2 0x0100
00002037: EXP
00002038: SWAP1
00002039: DIV
0000203a: PUSH1 0xff
0000203c: AND
0000203d: DUP2
0000203e: JUMP
0000203f: JUMPDEST
00002040: PUSH1 0x0f
00002042: PUSH1 0x20
00002044: MSTORE
00002045: DUP1
00002046: PUSH1 0x00
00002048: MSTORE
00002049: PUSH1 0x40
0000204b: PUSH1 0x00
0000204d: KECCAK256
0000204e: PUSH1 0x00
00002050: SWAP2
00002051: POP
00002052: SWAP1
00002053: POP
00002054: SLOAD
00002055: DUP2
00002056: JUMP
00002057: JUMPDEST
00002058: PUSH1 0x0e
0000205a: PUSH1 0x00
0000205c: SWAP1
0000205d: SLOAD
0000205e: SWAP1
0000205f: PUSH2 0x0100
00002062: EXP
00002063: SWAP1
00002064: DIV
00002065: PUSH1 0xff
00002067: AND
00002068: ISZERO
00002069: ISZERO
0000206a: PUSH2 0x2111
0000206d: JUMPI
0000206e: PUSH1 0x0e
00002070: PUSH1 0x02
00002072: SWAP1
00002073: SLOAD
00002074: SWAP1
00002075: PUSH2 0x0100
00002078: EXP
00002079: SWAP1
0000207a: DIV
0000207b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002090: AND
00002091: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a6: AND
000020a7: CALLER
000020a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020bd: AND
000020be: EQ
000020bf: ISZERO
000020c0: ISZERO
000020c1: PUSH2 0x20c9
000020c4: JUMPI
000020c5: PUSH1 0x00
000020c7: DUP1
000020c8: REVERT
000020c9: JUMPDEST
000020ca: PUSH1 0x01
000020cc: PUSH1 0x0e
000020ce: PUSH1 0x00
000020d0: PUSH2 0x0100
000020d3: EXP
000020d4: DUP2
000020d5: SLOAD
000020d6: DUP2
000020d7: PUSH1 0xff
000020d9: MUL
000020da: NOT
000020db: AND
000020dc: SWAP1
000020dd: DUP4
000020de: ISZERO
000020df: ISZERO
000020e0: MUL
000020e1: OR
000020e2: SWAP1
000020e3: SSTORE
000020e4: POP
000020e5: PUSH32 0x46620e39f4e119bf05f13544f8ef38338fc06c17f6b731c7f95bee356572db96
00002106: PUSH1 0x40
00002108: MLOAD
00002109: PUSH1 0x40
0000210b: MLOAD
0000210c: DUP1
0000210d: SWAP2
0000210e: SUB
0000210f: SWAP1
00002110: LOG1
00002111: JUMPDEST
00002112: JUMP
00002113: JUMPDEST
00002114: PUSH1 0x05
00002116: SLOAD
00002117: DUP2
00002118: JUMP
00002119: JUMPDEST
0000211a: PUSH1 0x0e
0000211c: PUSH1 0x00
0000211e: SWAP1
0000211f: SLOAD
00002120: SWAP1
00002121: PUSH2 0x0100
00002124: EXP
00002125: SWAP1
00002126: DIV
00002127: PUSH1 0xff
00002129: AND
0000212a: ISZERO
0000212b: ISZERO
0000212c: PUSH2 0x22a2
0000212f: JUMPI
00002130: PUSH1 0x0e
00002132: PUSH1 0x02
00002134: SWAP1
00002135: SLOAD
00002136: SWAP1
00002137: PUSH2 0x0100
0000213a: EXP
0000213b: SWAP1
0000213c: DIV
0000213d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002152: AND
00002153: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002168: AND
00002169: CALLER
0000216a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000217f: AND
00002180: EQ
00002181: ISZERO
00002182: ISZERO
00002183: PUSH2 0x218b
00002186: JUMPI
00002187: PUSH1 0x00
00002189: DUP1
0000218a: REVERT
0000218b: JUMPDEST
0000218c: DUP1
0000218d: PUSH1 0x15
0000218f: PUSH1 0x00
00002191: PUSH1 0x16
00002193: SLOAD
00002194: DUP2
00002195: MSTORE
00002196: PUSH1 0x20
00002198: ADD
00002199: SWAP1
0000219a: DUP2
0000219b: MSTORE
0000219c: PUSH1 0x20
0000219e: ADD
0000219f: PUSH1 0x00
000021a1: KECCAK256
000021a2: PUSH1 0x00
000021a4: PUSH2 0x0100
000021a7: EXP
000021a8: DUP2
000021a9: SLOAD
000021aa: DUP2
000021ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c0: MUL
000021c1: NOT
000021c2: AND
000021c3: SWAP1
000021c4: DUP4
000021c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021da: AND
000021db: MUL
000021dc: OR
000021dd: SWAP1
000021de: SSTORE
000021df: POP
000021e0: PUSH1 0x00
000021e2: PUSH1 0x14
000021e4: PUSH1 0x00
000021e6: DUP4
000021e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021fc: AND
000021fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002212: AND
00002213: DUP2
00002214: MSTORE
00002215: PUSH1 0x20
00002217: ADD
00002218: SWAP1
00002219: DUP2
0000221a: MSTORE
0000221b: PUSH1 0x20
0000221d: ADD
0000221e: PUSH1 0x00
00002220: KECCAK256
00002221: PUSH1 0x00
00002223: PUSH2 0x0100
00002226: EXP
00002227: DUP2
00002228: SLOAD
00002229: DUP2
0000222a: PUSH1 0xff
0000222c: MUL
0000222d: NOT
0000222e: AND
0000222f: SWAP1
00002230: DUP4
00002231: ISZERO
00002232: ISZERO
00002233: MUL
00002234: OR
00002235: SWAP1
00002236: SSTORE
00002237: POP
00002238: PUSH1 0x00
0000223a: PUSH1 0x13
0000223c: PUSH1 0x00
0000223e: DUP4
0000223f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002254: AND
00002255: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000226a: AND
0000226b: DUP2
0000226c: MSTORE
0000226d: PUSH1 0x20
0000226f: ADD
00002270: SWAP1
00002271: DUP2
00002272: MSTORE
00002273: PUSH1 0x20
00002275: ADD
00002276: PUSH1 0x00
00002278: KECCAK256
00002279: PUSH1 0x00
0000227b: PUSH2 0x0100
0000227e: EXP
0000227f: DUP2
00002280: SLOAD
00002281: DUP2
00002282: PUSH1 0xff
00002284: MUL
00002285: NOT
00002286: AND
00002287: SWAP1
00002288: DUP4
00002289: ISZERO
0000228a: ISZERO
0000228b: MUL
0000228c: OR
0000228d: SWAP1
0000228e: SSTORE
0000228f: POP
00002290: PUSH1 0x16
00002292: PUSH1 0x00
00002294: DUP2
00002295: SLOAD
00002296: DUP1
00002297: SWAP3
00002298: SWAP2
00002299: SWAP1
0000229a: PUSH1 0x01
0000229c: ADD
0000229d: SWAP2
0000229e: SWAP1
0000229f: POP
000022a0: SSTORE
000022a1: POP
000022a2: JUMPDEST
000022a3: POP
000022a4: JUMP
000022a5: JUMPDEST
000022a6: PUSH1 0x05
000022a8: SLOAD
000022a9: PUSH1 0x06
000022ab: SLOAD
000022ac: LT
000022ad: ISZERO
000022ae: DUP1
000022af: ISZERO
000022b0: PUSH2 0x22c6
000022b3: JUMPI
000022b4: POP
000022b5: PUSH1 0x18
000022b7: PUSH1 0x00
000022b9: SWAP1
000022ba: SLOAD
000022bb: SWAP1
000022bc: PUSH2 0x0100
000022bf: EXP
000022c0: SWAP1
000022c1: DIV
000022c2: PUSH1 0xff
000022c4: AND
000022c5: ISZERO
000022c6: JUMPDEST
000022c7: ISZERO
000022c8: PUSH2 0x2332
000022cb: JUMPI
000022cc: PUSH1 0x01
000022ce: PUSH1 0x18
000022d0: PUSH1 0x00
000022d2: PUSH2 0x0100
000022d5: EXP
000022d6: DUP2
000022d7: SLOAD
000022d8: DUP2
000022d9: PUSH1 0xff
000022db: MUL
000022dc: NOT
000022dd: AND
000022de: SWAP1
000022df: DUP4
000022e0: ISZERO
000022e1: ISZERO
000022e2: MUL
000022e3: OR
000022e4: SWAP1
000022e5: SSTORE
000022e6: POP
000022e7: PUSH1 0x01
000022e9: PUSH1 0x18
000022eb: PUSH1 0x03
000022ed: PUSH2 0x0100
000022f0: EXP
000022f1: DUP2
000022f2: SLOAD
000022f3: DUP2
000022f4: PUSH1 0xff
000022f6: MUL
000022f7: NOT
000022f8: AND
000022f9: SWAP1
000022fa: DUP4
000022fb: ISZERO
000022fc: ISZERO
000022fd: MUL
000022fe: OR
000022ff: SWAP1
00002300: SSTORE
00002301: POP
00002302: PUSH32 0x9788c3426de973293d591b3f0e14ad70f5569c28608c87c18153eabc2a157eed
00002323: PUSH1 0x40
00002325: MLOAD
00002326: PUSH1 0x40
00002328: MLOAD
00002329: DUP1
0000232a: SWAP2
0000232b: SUB
0000232c: SWAP1
0000232d: LOG1
0000232e: PUSH2 0x23a1
00002331: JUMP
00002332: JUMPDEST
00002333: PUSH1 0x04
00002335: SLOAD
00002336: PUSH1 0x06
00002338: SLOAD
00002339: LT
0000233a: ISZERO
0000233b: DUP1
0000233c: ISZERO
0000233d: PUSH2 0x2353
00002340: JUMPI
00002341: POP
00002342: PUSH1 0x18
00002344: PUSH1 0x01
00002346: SWAP1
00002347: SLOAD
00002348: SWAP1
00002349: PUSH2 0x0100
0000234c: EXP
0000234d: SWAP1
0000234e: DIV
0000234f: PUSH1 0xff
00002351: AND
00002352: ISZERO
00002353: JUMPDEST
00002354: ISZERO
00002355: PUSH2 0x23a0
00002358: JUMPI
00002359: PUSH1 0x01
0000235b: PUSH1 0x18
0000235d: PUSH1 0x01
0000235f: PUSH2 0x0100
00002362: EXP
00002363: DUP2
00002364: SLOAD
00002365: DUP2
00002366: PUSH1 0xff
00002368: MUL
00002369: NOT
0000236a: AND
0000236b: SWAP1
0000236c: DUP4
0000236d: ISZERO
0000236e: ISZERO
0000236f: MUL
00002370: OR
00002371: SWAP1
00002372: SSTORE
00002373: POP
00002374: PUSH32 0xa6fc43077cd47bc21afd654cb424d8716bb8257cf25ace9c705886f256bb5a46
00002395: PUSH1 0x40
00002397: MLOAD
00002398: PUSH1 0x40
0000239a: MLOAD
0000239b: DUP1
0000239c: SWAP2
0000239d: SUB
0000239e: SWAP1
0000239f: LOG1
000023a0: JUMPDEST
000023a1: JUMPDEST
000023a2: JUMP
000023a3: JUMPDEST
000023a4: PUSH1 0x00
000023a6: DUP3
000023a7: GT
000023a8: ISZERO
000023a9: PUSH2 0x2560
000023ac: JUMPI
000023ad: PUSH1 0x01
000023af: PUSH1 0x18
000023b1: PUSH1 0x03
000023b3: PUSH2 0x0100
000023b6: EXP
000023b7: DUP2
000023b8: SLOAD
000023b9: DUP2
000023ba: PUSH1 0xff
000023bc: MUL
000023bd: NOT
000023be: AND
000023bf: SWAP1
000023c0: DUP4
000023c1: ISZERO
000023c2: ISZERO
000023c3: MUL
000023c4: OR
000023c5: SWAP1
000023c6: SSTORE
000023c7: POP
000023c8: PUSH32 0x52df9fe5b9c9a7b0b4fdc2c9f89387959e35e4209c2a8d133a2b8165edad2a04
000023e9: PUSH1 0x40
000023eb: MLOAD
000023ec: PUSH1 0x40
000023ee: MLOAD
000023ef: DUP1
000023f0: SWAP2
000023f1: SUB
000023f2: SWAP1
000023f3: LOG1
000023f4: PUSH1 0x03
000023f6: PUSH1 0x14
000023f8: SWAP1
000023f9: SLOAD
000023fa: SWAP1
000023fb: PUSH2 0x0100
000023fe: EXP
000023ff: SWAP1
00002400: DIV
00002401: PUSH1 0xff
00002403: AND
00002404: ISZERO
00002405: PUSH2 0x255f
00002408: JUMPI
00002409: PUSH1 0x02
0000240b: PUSH1 0x00
0000240d: SWAP1
0000240e: SLOAD
0000240f: SWAP1
00002410: PUSH2 0x0100
00002413: EXP
00002414: SWAP1
00002415: DIV
00002416: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000242b: AND
0000242c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002441: AND
00002442: PUSH4 0xdd0b281e
00002447: DUP4
00002448: DUP4
00002449: PUSH1 0x40
0000244b: MLOAD
0000244c: DUP4
0000244d: PUSH4 0xffffffff
00002452: AND
00002453: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002471: MUL
00002472: DUP2
00002473: MSTORE
00002474: PUSH1 0x04
00002476: ADD
00002477: DUP1
00002478: DUP3
00002479: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000248e: AND
0000248f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a4: AND
000024a5: DUP2
000024a6: MSTORE
000024a7: PUSH1 0x20
000024a9: ADD
000024aa: SWAP2
000024ab: POP
000024ac: POP
000024ad: PUSH1 0x00
000024af: PUSH1 0x40
000024b1: MLOAD
000024b2: DUP1
000024b3: DUP4
000024b4: SUB
000024b5: DUP2
000024b6: DUP6
000024b7: DUP9
000024b8: DUP1
000024b9: EXTCODESIZE
000024ba: ISZERO
000024bb: ISZERO
000024bc: PUSH2 0x24c4
000024bf: JUMPI
000024c0: PUSH1 0x00
000024c2: DUP1
000024c3: REVERT
000024c4: JUMPDEST
000024c5: PUSH2 0x25ee
000024c8: GAS
000024c9: SUB
000024ca: CALL
000024cb: ISZERO
000024cc: ISZERO
000024cd: PUSH2 0x24d5
000024d0: JUMPI
000024d1: PUSH1 0x00
000024d3: DUP1
000024d4: REVERT
000024d5: JUMPDEST
000024d6: POP
000024d7: POP
000024d8: POP
000024d9: POP
000024da: PUSH32 0x26a917fef1c56a17f3672b35e95ab9a099c39c0d4334cd8d60420115eee70151
000024fb: PUSH1 0x02
000024fd: PUSH1 0x00
000024ff: SWAP1
00002500: SLOAD
00002501: SWAP1
00002502: PUSH2 0x0100
00002505: EXP
00002506: SWAP1
00002507: DIV
00002508: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000251d: AND
0000251e: PUSH1 0x40
00002520: MLOAD
00002521: DUP1
00002522: DUP3
00002523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002538: AND
00002539: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000254e: AND
0000254f: DUP2
00002550: MSTORE
00002551: PUSH1 0x20
00002553: ADD
00002554: SWAP2
00002555: POP
00002556: POP
00002557: PUSH1 0x40
00002559: MLOAD
0000255a: DUP1
0000255b: SWAP2
0000255c: SUB
0000255d: SWAP1
0000255e: LOG1
0000255f: JUMPDEST
00002560: JUMPDEST
00002561: POP
00002562: POP
00002563: JUMP
00002564: JUMPDEST
00002565: PUSH1 0x00
00002567: DUP1
00002568: SWAP1
00002569: POP
0000256a: JUMPDEST
0000256b: PUSH1 0x12
0000256d: SLOAD
0000256e: DUP2
0000256f: LT
00002570: ISZERO
00002571: PUSH2 0x27f2
00002574: JUMPI
00002575: PUSH1 0x00
00002577: PUSH1 0x0f
00002579: PUSH1 0x00
0000257b: PUSH1 0x11
0000257d: PUSH1 0x00
0000257f: DUP6
00002580: DUP2
00002581: MSTORE
00002582: PUSH1 0x20
00002584: ADD
00002585: SWAP1
00002586: DUP2
00002587: MSTORE
00002588: PUSH1 0x20
0000258a: ADD
0000258b: PUSH1 0x00
0000258d: KECCAK256
0000258e: PUSH1 0x00
00002590: SWAP1
00002591: SLOAD
00002592: SWAP1
00002593: PUSH2 0x0100
00002596: EXP
00002597: SWAP1
00002598: DIV
00002599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025ae: AND
000025af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025c4: AND
000025c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025da: AND
000025db: DUP2
000025dc: MSTORE
000025dd: PUSH1 0x20
000025df: ADD
000025e0: SWAP1
000025e1: DUP2
000025e2: MSTORE
000025e3: PUSH1 0x20
000025e5: ADD
000025e6: PUSH1 0x00
000025e8: KECCAK256
000025e9: SLOAD
000025ea: GT
000025eb: ISZERO
000025ec: PUSH2 0x27e5
000025ef: JUMPI
000025f0: PUSH1 0x01
000025f2: PUSH1 0x00
000025f4: SWAP1
000025f5: SLOAD
000025f6: SWAP1
000025f7: PUSH2 0x0100
000025fa: EXP
000025fb: SWAP1
000025fc: DIV
000025fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002612: AND
00002613: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002628: AND
00002629: PUSH4 0xa9059cbb
0000262e: PUSH1 0x11
00002630: PUSH1 0x00
00002632: DUP5
00002633: DUP2
00002634: MSTORE
00002635: PUSH1 0x20
00002637: ADD
00002638: SWAP1
00002639: DUP2
0000263a: MSTORE
0000263b: PUSH1 0x20
0000263d: ADD
0000263e: PUSH1 0x00
00002640: KECCAK256
00002641: PUSH1 0x00
00002643: SWAP1
00002644: SLOAD
00002645: SWAP1
00002646: PUSH2 0x0100
00002649: EXP
0000264a: SWAP1
0000264b: DIV
0000264c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002661: AND
00002662: PUSH1 0x0f
00002664: PUSH1 0x00
00002666: PUSH1 0x11
00002668: PUSH1 0x00
0000266a: DUP8
0000266b: DUP2
0000266c: MSTORE
0000266d: PUSH1 0x20
0000266f: ADD
00002670: SWAP1
00002671: DUP2
00002672: MSTORE
00002673: PUSH1 0x20
00002675: ADD
00002676: PUSH1 0x00
00002678: KECCAK256
00002679: PUSH1 0x00
0000267b: SWAP1
0000267c: SLOAD
0000267d: SWAP1
0000267e: PUSH2 0x0100
00002681: EXP
00002682: SWAP1
00002683: DIV
00002684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002699: AND
0000269a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026af: AND
000026b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026c5: AND
000026c6: DUP2
000026c7: MSTORE
000026c8: PUSH1 0x20
000026ca: ADD
000026cb: SWAP1
000026cc: DUP2
000026cd: MSTORE
000026ce: PUSH1 0x20
000026d0: ADD
000026d1: PUSH1 0x00
000026d3: KECCAK256
000026d4: SLOAD
000026d5: PUSH1 0x40
000026d7: MLOAD
000026d8: DUP4
000026d9: PUSH4 0xffffffff
000026de: AND
000026df: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000026fd: MUL
000026fe: DUP2
000026ff: MSTORE
00002700: PUSH1 0x04
00002702: ADD
00002703: DUP1
00002704: DUP4
00002705: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000271a: AND
0000271b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002730: AND
00002731: DUP2
00002732: MSTORE
00002733: PUSH1 0x20
00002735: ADD
00002736: DUP3
00002737: DUP2
00002738: MSTORE
00002739: PUSH1 0x20
0000273b: ADD
0000273c: SWAP3
0000273d: POP
0000273e: POP
0000273f: POP
00002740: PUSH1 0x00
00002742: PUSH1 0x40
00002744: MLOAD
00002745: DUP1
00002746: DUP4
00002747: SUB
00002748: DUP2
00002749: PUSH1 0x00
0000274b: DUP8
0000274c: DUP1
0000274d: EXTCODESIZE
0000274e: ISZERO
0000274f: ISZERO
00002750: PUSH2 0x2758
00002753: JUMPI
00002754: PUSH1 0x00
00002756: DUP1
00002757: REVERT
00002758: JUMPDEST
00002759: PUSH2 0x02c6
0000275c: GAS
0000275d: SUB
0000275e: CALL
0000275f: ISZERO
00002760: ISZERO
00002761: PUSH2 0x2769
00002764: JUMPI
00002765: PUSH1 0x00
00002767: DUP1
00002768: REVERT
00002769: JUMPDEST
0000276a: POP
0000276b: POP
0000276c: POP
0000276d: PUSH1 0x00
0000276f: PUSH1 0x0f
00002771: PUSH1 0x00
00002773: PUSH1 0x11
00002775: PUSH1 0x00
00002777: DUP6
00002778: DUP2
00002779: MSTORE
0000277a: PUSH1 0x20
0000277c: ADD
0000277d: SWAP1
0000277e: DUP2
0000277f: MSTORE
00002780: PUSH1 0x20
00002782: ADD
00002783: PUSH1 0x00
00002785: KECCAK256
00002786: PUSH1 0x00
00002788: SWAP1
00002789: SLOAD
0000278a: SWAP1
0000278b: PUSH2 0x0100
0000278e: EXP
0000278f: SWAP1
00002790: DIV
00002791: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027a6: AND
000027a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027bc: AND
000027bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d2: AND
000027d3: DUP2
000027d4: MSTORE
000027d5: PUSH1 0x20
000027d7: ADD
000027d8: SWAP1
000027d9: DUP2
000027da: MSTORE
000027db: PUSH1 0x20
000027dd: ADD
000027de: PUSH1 0x00
000027e0: KECCAK256
000027e1: DUP2
000027e2: SWAP1
000027e3: SSTORE
000027e4: POP
000027e5: JUMPDEST
000027e6: DUP1
000027e7: DUP1
000027e8: PUSH1 0x01
000027ea: ADD
000027eb: SWAP2
000027ec: POP
000027ed: POP
000027ee: PUSH2 0x256a
000027f1: JUMP
000027f2: JUMPDEST
000027f3: POP
000027f4: JUMP
000027f5: JUMPDEST
000027f6: PUSH1 0x09
000027f8: SLOAD
000027f9: TIMESTAMP
000027fa: GT
000027fb: DUP1
000027fc: ISZERO
000027fd: PUSH2 0x2813
00002800: JUMPI
00002801: POP
00002802: PUSH1 0x18
00002804: PUSH1 0x03
00002806: SWAP1
00002807: SLOAD
00002808: SWAP1
00002809: PUSH2 0x0100
0000280c: EXP
0000280d: SWAP1
0000280e: DIV
0000280f: PUSH1 0xff
00002811: AND
00002812: ISZERO
00002813: JUMPDEST
00002814: ISZERO
00002815: PUSH2 0x2834
00002818: JUMPI
00002819: PUSH1 0x01
0000281b: PUSH1 0x18
0000281d: PUSH1 0x03
0000281f: PUSH2 0x0100
00002822: EXP
00002823: DUP2
00002824: SLOAD
00002825: DUP2
00002826: PUSH1 0xff
00002828: MUL
00002829: NOT
0000282a: AND
0000282b: SWAP1
0000282c: DUP4
0000282d: ISZERO
0000282e: ISZERO
0000282f: MUL
00002830: OR
00002831: SWAP1
00002832: SSTORE
00002833: POP
00002834: JUMPDEST
00002835: JUMP
00002836: JUMPDEST
00002837: PUSH1 0x00
00002839: DUP1
0000283a: SWAP1
0000283b: POP
0000283c: JUMPDEST
0000283d: PUSH1 0x12
0000283f: SLOAD
00002840: DUP2
00002841: LT
00002842: ISZERO
00002843: PUSH2 0x2a2c
00002846: JUMPI
00002847: PUSH1 0x00
00002849: PUSH1 0x10
0000284b: PUSH1 0x00
0000284d: PUSH1 0x11
0000284f: PUSH1 0x00
00002851: DUP6
00002852: DUP2
00002853: MSTORE
00002854: PUSH1 0x20
00002856: ADD
00002857: SWAP1
00002858: DUP2
00002859: MSTORE
0000285a: PUSH1 0x20
0000285c: ADD
0000285d: PUSH1 0x00
0000285f: KECCAK256
00002860: PUSH1 0x00
00002862: SWAP1
00002863: SLOAD
00002864: SWAP1
00002865: PUSH2 0x0100
00002868: EXP
00002869: SWAP1
0000286a: DIV
0000286b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002880: AND
00002881: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002896: AND
00002897: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028ac: AND
000028ad: DUP2
000028ae: MSTORE
000028af: PUSH1 0x20
000028b1: ADD
000028b2: SWAP1
000028b3: DUP2
000028b4: MSTORE
000028b5: PUSH1 0x20
000028b7: ADD
000028b8: PUSH1 0x00
000028ba: KECCAK256
000028bb: SLOAD
000028bc: GT
000028bd: ISZERO
000028be: PUSH2 0x2a1f
000028c1: JUMPI
000028c2: PUSH1 0x11
000028c4: PUSH1 0x00
000028c6: DUP3
000028c7: DUP2
000028c8: MSTORE
000028c9: PUSH1 0x20
000028cb: ADD
000028cc: SWAP1
000028cd: DUP2
000028ce: MSTORE
000028cf: PUSH1 0x20
000028d1: ADD
000028d2: PUSH1 0x00
000028d4: KECCAK256
000028d5: PUSH1 0x00
000028d7: SWAP1
000028d8: SLOAD
000028d9: SWAP1
000028da: PUSH2 0x0100
000028dd: EXP
000028de: SWAP1
000028df: DIV
000028e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028f5: AND
000028f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000290b: AND
0000290c: PUSH2 0x08fc
0000290f: PUSH1 0x10
00002911: PUSH1 0x00
00002913: PUSH1 0x11
00002915: PUSH1 0x00
00002917: DUP7
00002918: DUP2
00002919: MSTORE
0000291a: PUSH1 0x20
0000291c: ADD
0000291d: SWAP1
0000291e: DUP2
0000291f: MSTORE
00002920: PUSH1 0x20
00002922: ADD
00002923: PUSH1 0x00
00002925: KECCAK256
00002926: PUSH1 0x00
00002928: SWAP1
00002929: SLOAD
0000292a: SWAP1
0000292b: PUSH2 0x0100
0000292e: EXP
0000292f: SWAP1
00002930: DIV
00002931: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002946: AND
00002947: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000295c: AND
0000295d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002972: AND
00002973: DUP2
00002974: MSTORE
00002975: PUSH1 0x20
00002977: ADD
00002978: SWAP1
00002979: DUP2
0000297a: MSTORE
0000297b: PUSH1 0x20
0000297d: ADD
0000297e: PUSH1 0x00
00002980: KECCAK256
00002981: SLOAD
00002982: SWAP1
00002983: DUP2
00002984: ISZERO
00002985: MUL
00002986: SWAP1
00002987: PUSH1 0x40
00002989: MLOAD
0000298a: PUSH1 0x00
0000298c: PUSH1 0x40
0000298e: MLOAD
0000298f: DUP1
00002990: DUP4
00002991: SUB
00002992: DUP2
00002993: DUP6
00002994: DUP9
00002995: DUP9
00002996: CALL
00002997: SWAP4
00002998: POP
00002999: POP
0000299a: POP
0000299b: POP
0000299c: ISZERO
0000299d: ISZERO
0000299e: PUSH2 0x29a6
000029a1: JUMPI
000029a2: PUSH1 0x00
000029a4: DUP1
000029a5: REVERT
000029a6: JUMPDEST
000029a7: PUSH1 0x00
000029a9: PUSH1 0x10
000029ab: PUSH1 0x00
000029ad: PUSH1 0x11
000029af: PUSH1 0x00
000029b1: DUP6
000029b2: DUP2
000029b3: MSTORE
000029b4: PUSH1 0x20
000029b6: ADD
000029b7: SWAP1
000029b8: DUP2
000029b9: MSTORE
000029ba: PUSH1 0x20
000029bc: ADD
000029bd: PUSH1 0x00
000029bf: KECCAK256
000029c0: PUSH1 0x00
000029c2: SWAP1
000029c3: SLOAD
000029c4: SWAP1
000029c5: PUSH2 0x0100
000029c8: EXP
000029c9: SWAP1
000029ca: DIV
000029cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029e0: AND
000029e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029f6: AND
000029f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a0c: AND
00002a0d: DUP2
00002a0e: MSTORE
00002a0f: PUSH1 0x20
00002a11: ADD
00002a12: SWAP1
00002a13: DUP2
00002a14: MSTORE
00002a15: PUSH1 0x20
00002a17: ADD
00002a18: PUSH1 0x00
00002a1a: KECCAK256
00002a1b: DUP2
00002a1c: SWAP1
00002a1d: SSTORE
00002a1e: POP
00002a1f: JUMPDEST
00002a20: DUP1
00002a21: DUP1
00002a22: PUSH1 0x01
00002a24: ADD
00002a25: SWAP2
00002a26: POP
00002a27: POP
00002a28: PUSH2 0x283c
00002a2b: JUMP
00002a2c: JUMPDEST
00002a2d: POP
00002a2e: JUMP
00002a2f: JUMPDEST
00002a30: PUSH1 0x00
00002a32: DUP1
00002a33: SWAP1
00002a34: SLOAD
00002a35: SWAP1
00002a36: PUSH2 0x0100
00002a39: EXP
00002a3a: SWAP1
00002a3b: DIV
00002a3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a51: AND
00002a52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a67: AND
00002a68: PUSH4 0x3277a8e8
00002a6d: DUP3
00002a6e: PUSH1 0x40
00002a70: MLOAD
00002a71: DUP3
00002a72: PUSH4 0xffffffff
00002a77: AND
00002a78: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002a96: MUL
00002a97: DUP2
00002a98: MSTORE
00002a99: PUSH1 0x04
00002a9b: ADD
00002a9c: PUSH1 0x00
00002a9e: PUSH1 0x40
00002aa0: MLOAD
00002aa1: DUP1
00002aa2: DUP4
00002aa3: SUB
00002aa4: DUP2
00002aa5: DUP6
00002aa6: DUP9
00002aa7: DUP1
00002aa8: EXTCODESIZE
00002aa9: ISZERO
00002aaa: ISZERO
00002aab: PUSH2 0x2ab3
00002aae: JUMPI
00002aaf: PUSH1 0x00
00002ab1: DUP1
00002ab2: REVERT
00002ab3: JUMPDEST
00002ab4: PUSH2 0x25ee
00002ab7: GAS
00002ab8: SUB
00002ab9: CALL
00002aba: ISZERO
00002abb: ISZERO
00002abc: PUSH2 0x2ac4
00002abf: JUMPI
00002ac0: PUSH1 0x00
00002ac2: DUP1
00002ac3: REVERT
00002ac4: JUMPDEST
00002ac5: POP
00002ac6: POP
00002ac7: POP
00002ac8: POP
00002ac9: POP
00002aca: JUMP
00002acb: JUMPDEST
00002acc: PUSH1 0x00
00002ace: DUP1
00002acf: SWAP1
00002ad0: SLOAD
00002ad1: SWAP1
00002ad2: PUSH2 0x0100
00002ad5: EXP
00002ad6: SWAP1
00002ad7: DIV
00002ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aed: AND
00002aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b03: AND
00002b04: PUSH4 0x2f3f0bc3
00002b09: DUP3
00002b0a: PUSH1 0x40
00002b0c: MLOAD
00002b0d: DUP3
00002b0e: PUSH4 0xffffffff
00002b13: AND
00002b14: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002b32: MUL
00002b33: DUP2
00002b34: MSTORE
00002b35: PUSH1 0x04
00002b37: ADD
00002b38: PUSH1 0x00
00002b3a: PUSH1 0x40
00002b3c: MLOAD
00002b3d: DUP1
00002b3e: DUP4
00002b3f: SUB
00002b40: DUP2
00002b41: DUP6
00002b42: DUP9
00002b43: DUP1
00002b44: EXTCODESIZE
00002b45: ISZERO
00002b46: ISZERO
00002b47: PUSH2 0x2b4f
00002b4a: JUMPI
00002b4b: PUSH1 0x00
00002b4d: DUP1
00002b4e: REVERT
00002b4f: JUMPDEST
00002b50: PUSH2 0x25ee
00002b53: GAS
00002b54: SUB
00002b55: CALL
00002b56: ISZERO
00002b57: ISZERO
00002b58: PUSH2 0x2b60
00002b5b: JUMPI
00002b5c: PUSH1 0x00
00002b5e: DUP1
00002b5f: REVERT
00002b60: JUMPDEST
00002b61: POP
00002b62: POP
00002b63: POP
00002b64: POP
00002b65: POP
00002b66: JUMP
00002b67: STOP
00002b68: LOG1
00002b69: PUSH6 0x627a7a723058
00002b70: KECCAK256
00002b71: GAS
00002b72: UNKNOWN(0xB8)
00002b73: UNKNOWN(0xD0)
00002b74: UNKNOWN(0xA5)
00002b75: UNKNOWN(0xDA)
00002b76: UNKNOWN(0xDC)
00002b77: INVALID
00002b78: DUP4
00002b79: MUL
00002b7a: UNKNOWN(0xAF)
00002b7b: COINBASE
00002b7c: RETURNDATACOPY
00002b7d: BASEFEE
00002b7e: UNKNOWN(0xDF)
00002b7f: SLT
00002b80: RETURNDATASIZE
00002b81: CODESIZE
00002b82: UNKNOWN(0xBD)
00002b83: DUP8
00002b84: SWAP3
00002b85: SWAP14
00002b86: JUMPI
00002b87: PUSH22

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: 0xcd9b9ca0bd783955a6cd5d375f8f305a9fee7207321254e5e41c9ef487a9debb
call_targets: 0xf8602dfa933a34d513e6e1aab3f3cc6861254d51
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xcd9b9ca0bd783955a6cd5d375f8f305a9fee7207321254e5e41c9ef487a9debb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf8602dfa933a34d513e6e1aab3f3cc6861254d51"
    ],
    "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": "0x031fe08f",
            "selector": "0x031fe08f",
            "calldata_variants": [
                "0x031fe08f",
                "0x031fe08f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x046f7da2",
            "selector": "0x046f7da2",
            "calldata_variants": [
                "0x046f7da2",
                "0x046f7da20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14f02da9",
            "selector": "0x14f02da9",
            "calldata_variants": [
                "0x14f02da9",
                "0x14f02da90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x222b9e3f",
            "selector": "0x222b9e3f",
            "calldata_variants": [
                "0x222b9e3f",
                "0x222b9e3f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2320f368",
            "selector": "0x2320f368",
            "calldata_variants": [
                "0x2320f368",
                "0x2320f3680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2c2e312a",
            "selector": "0x2c2e312a",
            "calldata_variants": [
                "0x2c2e312a",
                "0x2c2e312a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 9418,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10078,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10646,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [
        {
            "pc": 5052,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6688,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7449,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7862,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8359,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8553,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 5
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xcd9b9ca0bd783955a6cd5d375f8f305a9fee7207321254e5e41c9ef487a9debb
call_targets: 0xf8602dfa933a34d513e6e1aab3f3cc6861254d51
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xcd9b9ca0bd783955a6cd5d375f8f305a9fee7207321254e5e41c9ef487a9debb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf8602dfa933a34d513e6e1aab3f3cc6861254d51"
    ],
    "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": "0x031fe08f",
            "selector": "0x031fe08f",
            "calldata_variants": [
                "0x031fe08f",
                "0x031fe08f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x046f7da2",
            "selector": "0x046f7da2",
            "calldata_variants": [
                "0x046f7da2",
                "0x046f7da20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14f02da9",
            "selector": "0x14f02da9",
            "calldata_variants": [
                "0x14f02da9",
                "0x14f02da90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x222b9e3f",
            "selector": "0x222b9e3f",
            "calldata_variants": [
                "0x222b9e3f",
                "0x222b9e3f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2320f368",
            "selector": "0x2320f368",
            "calldata_variants": [
                "0x2320f368",
                "0x2320f3680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2c2e312a",
            "selector": "0x2c2e312a",
            "calldata_variants": [
                "0x2c2e312a",
                "0x2c2e312a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 9418,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10078,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10646,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": [
        {
            "pc": 5052,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6688,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7449,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7862,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8359,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8553,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}