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

Analysis Run

019b477e-ca73-726d-9662-1cf067e0d7b3

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
26515 artifact.fetch complete 1 / 3 3 months ago
26516 tool.cast_disasm complete 1 / 3 3 months ago
69778 analysis.bundle complete 1 / 3 2 weeks ago
69779 capability.graph complete 1 / 3 2 weeks ago
69780 detector.run complete 1 / 3 2 weeks ago
69781 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
5
Total opcodes
5157
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01f2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x010d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd0a51cc1
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe086e5ec
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe086e5ec
0000003a: EQ
0000003b: PUSH2 0x05ac
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf0f44260
00000045: EQ
00000046: PUSH2 0x05c1
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x05e1
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfbeedd88
0000005b: EQ
0000005c: PUSH2 0x0601
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfe575a87
00000066: EQ
00000067: PUSH2 0x0621
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xd0a51cc1
00000076: EQ
00000077: PUSH2 0x0506
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd6594eda
00000081: EQ
00000082: PUSH2 0x0526
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xdd62ed3e
0000008c: EQ
0000008d: PUSH2 0x0546
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe01af92c
00000097: EQ
00000098: PUSH2 0x058c
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x8da5cb5b
000000a7: GT
000000a8: PUSH2 0x00dc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8da5cb5b
000000b2: EQ
000000b3: PUSH2 0x0493
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x95d89b41
000000bd: EQ
000000be: PUSH2 0x04b1
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa457c2d7
000000c8: EQ
000000c9: PUSH2 0x04c6
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa9059cbb
000000d3: EQ
000000d4: PUSH2 0x04e6
000000d7: JUMPI
000000d8: PUSH1 0x00
000000da: DUP1
000000db: REVERT
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x70a08231
000000e3: EQ
000000e4: PUSH2 0x0412
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x715018a6
000000ee: EQ
000000ef: PUSH2 0x0448
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x790ca413
000000f9: EQ
000000fa: PUSH2 0x045d
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x81fbaf3a
00000104: EQ
00000105: PUSH2 0x0473
00000108: JUMPI
00000109: PUSH1 0x00
0000010b: DUP1
0000010c: REVERT
0000010d: JUMPDEST
0000010e: DUP1
0000010f: PUSH4 0x1b7fa90a
00000114: GT
00000115: PUSH2 0x0185
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x39509351
0000011f: GT
00000120: PUSH2 0x0154
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x39509351
0000012a: EQ
0000012b: PUSH2 0x0398
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x49bd5a5e
00000135: EQ
00000136: PUSH2 0x03b8
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x61d027b3
00000140: EQ
00000141: PUSH2 0x03d8
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x6ccaa10e
0000014b: EQ
0000014c: PUSH2 0x03f8
0000014f: JUMPI
00000150: PUSH1 0x00
00000152: DUP1
00000153: REVERT
00000154: JUMPDEST
00000155: DUP1
00000156: PUSH4 0x1b7fa90a
0000015b: EQ
0000015c: PUSH2 0x0332
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x23b872dd
00000166: EQ
00000167: PUSH2 0x0347
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x293230b8
00000171: EQ
00000172: PUSH2 0x0367
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x313ce567
0000017c: EQ
0000017d: PUSH2 0x037c
00000180: JUMPI
00000181: PUSH1 0x00
00000183: DUP1
00000184: REVERT
00000185: JUMPDEST
00000186: DUP1
00000187: PUSH4 0x134f9c8d
0000018c: GT
0000018d: PUSH2 0x01c1
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x134f9c8d
00000197: EQ
00000198: PUSH2 0x029b
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x14ea796d
000001a2: EQ
000001a3: PUSH2 0x02bb
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x1694505e
000001ad: EQ
000001ae: PUSH2 0x02db
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x18160ddd
000001b8: EQ
000001b9: PUSH2 0x0313
000001bc: JUMPI
000001bd: PUSH1 0x00
000001bf: DUP1
000001c0: REVERT
000001c1: JUMPDEST
000001c2: DUP1
000001c3: PUSH4 0x06b091f9
000001c8: EQ
000001c9: PUSH2 0x01fe
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x06fdde03
000001d3: EQ
000001d4: PUSH2 0x0220
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x08aad1f1
000001de: EQ
000001df: PUSH2 0x024b
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x095ea7b3
000001e9: EQ
000001ea: PUSH2 0x026b
000001ed: JUMPI
000001ee: PUSH1 0x00
000001f0: DUP1
000001f1: REVERT
000001f2: JUMPDEST
000001f3: CALLDATASIZE
000001f4: PUSH2 0x01f9
000001f7: JUMPI
000001f8: STOP
000001f9: JUMPDEST
000001fa: PUSH1 0x00
000001fc: DUP1
000001fd: REVERT
000001fe: JUMPDEST
000001ff: CALLVALUE
00000200: DUP1
00000201: ISZERO
00000202: PUSH2 0x020a
00000205: JUMPI
00000206: PUSH1 0x00
00000208: DUP1
00000209: REVERT
0000020a: JUMPDEST
0000020b: POP
0000020c: PUSH2 0x021e
0000020f: PUSH2 0x0219
00000212: CALLDATASIZE
00000213: PUSH1 0x04
00000215: PUSH2 0x1ce6
00000218: JUMP
00000219: JUMPDEST
0000021a: PUSH2 0x065a
0000021d: JUMP
0000021e: JUMPDEST
0000021f: STOP
00000220: JUMPDEST
00000221: CALLVALUE
00000222: DUP1
00000223: ISZERO
00000224: PUSH2 0x022c
00000227: JUMPI
00000228: PUSH1 0x00
0000022a: DUP1
0000022b: REVERT
0000022c: JUMPDEST
0000022d: POP
0000022e: PUSH2 0x0235
00000231: PUSH2 0x08a0
00000234: JUMP
00000235: JUMPDEST
00000236: PUSH1 0x40
00000238: MLOAD
00000239: PUSH2 0x0242
0000023c: SWAP2
0000023d: SWAP1
0000023e: PUSH2 0x1da6
00000241: JUMP
00000242: JUMPDEST
00000243: PUSH1 0x40
00000245: MLOAD
00000246: DUP1
00000247: SWAP2
00000248: SUB
00000249: SWAP1
0000024a: RETURN
0000024b: JUMPDEST
0000024c: CALLVALUE
0000024d: DUP1
0000024e: ISZERO
0000024f: PUSH2 0x0257
00000252: JUMPI
00000253: PUSH1 0x00
00000255: DUP1
00000256: REVERT
00000257: JUMPDEST
00000258: POP
00000259: PUSH2 0x021e
0000025c: PUSH2 0x0266
0000025f: CALLDATASIZE
00000260: PUSH1 0x04
00000262: PUSH2 0x1c02
00000265: JUMP
00000266: JUMPDEST
00000267: PUSH2 0x0932
0000026a: JUMP
0000026b: JUMPDEST
0000026c: CALLVALUE
0000026d: DUP1
0000026e: ISZERO
0000026f: PUSH2 0x0277
00000272: JUMPI
00000273: PUSH1 0x00
00000275: DUP1
00000276: REVERT
00000277: JUMPDEST
00000278: POP
00000279: PUSH2 0x028b
0000027c: PUSH2 0x0286
0000027f: CALLDATASIZE
00000280: PUSH1 0x04
00000282: PUSH2 0x1ce6
00000285: JUMP
00000286: JUMPDEST
00000287: PUSH2 0x0a47
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH1 0x40
0000028e: MLOAD
0000028f: SWAP1
00000290: ISZERO
00000291: ISZERO
00000292: DUP2
00000293: MSTORE
00000294: PUSH1 0x20
00000296: ADD
00000297: PUSH2 0x0242
0000029a: JUMP
0000029b: JUMPDEST
0000029c: CALLVALUE
0000029d: DUP1
0000029e: ISZERO
0000029f: PUSH2 0x02a7
000002a2: JUMPI
000002a3: PUSH1 0x00
000002a5: DUP1
000002a6: REVERT
000002a7: JUMPDEST
000002a8: POP
000002a9: PUSH2 0x021e
000002ac: PUSH2 0x02b6
000002af: CALLDATASIZE
000002b0: PUSH1 0x04
000002b2: PUSH2 0x1c02
000002b5: JUMP
000002b6: JUMPDEST
000002b7: PUSH2 0x0a5d
000002ba: JUMP
000002bb: JUMPDEST
000002bc: CALLVALUE
000002bd: DUP1
000002be: ISZERO
000002bf: PUSH2 0x02c7
000002c2: JUMPI
000002c3: PUSH1 0x00
000002c5: DUP1
000002c6: REVERT
000002c7: JUMPDEST
000002c8: POP
000002c9: PUSH2 0x021e
000002cc: PUSH2 0x02d6
000002cf: CALLDATASIZE
000002d0: PUSH1 0x04
000002d2: PUSH2 0x1d11
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH2 0x0b10
000002da: JUMP
000002db: JUMPDEST
000002dc: CALLVALUE
000002dd: DUP1
000002de: ISZERO
000002df: PUSH2 0x02e7
000002e2: JUMPI
000002e3: PUSH1 0x00
000002e5: DUP1
000002e6: REVERT
000002e7: JUMPDEST
000002e8: POP
000002e9: PUSH1 0x0e
000002eb: SLOAD
000002ec: PUSH2 0x02fb
000002ef: SWAP1
000002f0: PUSH1 0x01
000002f2: PUSH1 0x01
000002f4: PUSH1 0xa0
000002f6: SHL
000002f7: SUB
000002f8: AND
000002f9: DUP2
000002fa: JUMP
000002fb: JUMPDEST
000002fc: PUSH1 0x40
000002fe: MLOAD
000002ff: PUSH1 0x01
00000301: PUSH1 0x01
00000303: PUSH1 0xa0
00000305: SHL
00000306: SUB
00000307: SWAP1
00000308: SWAP2
00000309: AND
0000030a: DUP2
0000030b: MSTORE
0000030c: PUSH1 0x20
0000030e: ADD
0000030f: PUSH2 0x0242
00000312: JUMP
00000313: JUMPDEST
00000314: CALLVALUE
00000315: DUP1
00000316: ISZERO
00000317: PUSH2 0x031f
0000031a: JUMPI
0000031b: PUSH1 0x00
0000031d: DUP1
0000031e: REVERT
0000031f: JUMPDEST
00000320: POP
00000321: PUSH1 0x02
00000323: SLOAD
00000324: JUMPDEST
00000325: PUSH1 0x40
00000327: MLOAD
00000328: SWAP1
00000329: DUP2
0000032a: MSTORE
0000032b: PUSH1 0x20
0000032d: ADD
0000032e: PUSH2 0x0242
00000331: JUMP
00000332: JUMPDEST
00000333: CALLVALUE
00000334: DUP1
00000335: ISZERO
00000336: PUSH2 0x033e
00000339: JUMPI
0000033a: PUSH1 0x00
0000033c: DUP1
0000033d: REVERT
0000033e: JUMPDEST
0000033f: POP
00000340: PUSH2 0x021e
00000343: PUSH2 0x0b4d
00000346: JUMP
00000347: JUMPDEST
00000348: CALLVALUE
00000349: DUP1
0000034a: ISZERO
0000034b: PUSH2 0x0353
0000034e: JUMPI
0000034f: PUSH1 0x00
00000351: DUP1
00000352: REVERT
00000353: JUMPDEST
00000354: POP
00000355: PUSH2 0x028b
00000358: PUSH2 0x0362
0000035b: CALLDATASIZE
0000035c: PUSH1 0x04
0000035e: PUSH2 0x1c79
00000361: JUMP
00000362: JUMPDEST
00000363: PUSH2 0x0ba5
00000366: JUMP
00000367: JUMPDEST
00000368: CALLVALUE
00000369: DUP1
0000036a: ISZERO
0000036b: PUSH2 0x0373
0000036e: JUMPI
0000036f: PUSH1 0x00
00000371: DUP1
00000372: REVERT
00000373: JUMPDEST
00000374: POP
00000375: PUSH2 0x021e
00000378: PUSH2 0x0c4f
0000037b: JUMP
0000037c: JUMPDEST
0000037d: CALLVALUE
0000037e: DUP1
0000037f: ISZERO
00000380: PUSH2 0x0388
00000383: JUMPI
00000384: PUSH1 0x00
00000386: DUP1
00000387: REVERT
00000388: JUMPDEST
00000389: POP
0000038a: PUSH1 0x40
0000038c: MLOAD
0000038d: PUSH1 0x12
0000038f: DUP2
00000390: MSTORE
00000391: PUSH1 0x20
00000393: ADD
00000394: PUSH2 0x0242
00000397: JUMP
00000398: JUMPDEST
00000399: CALLVALUE
0000039a: DUP1
0000039b: ISZERO
0000039c: PUSH2 0x03a4
0000039f: JUMPI
000003a0: PUSH1 0x00
000003a2: DUP1
000003a3: REVERT
000003a4: JUMPDEST
000003a5: POP
000003a6: PUSH2 0x028b
000003a9: PUSH2 0x03b3
000003ac: CALLDATASIZE
000003ad: PUSH1 0x04
000003af: PUSH2 0x1ce6
000003b2: JUMP
000003b3: JUMPDEST
000003b4: PUSH2 0x0cc2
000003b7: JUMP
000003b8: JUMPDEST
000003b9: CALLVALUE
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: POP
000003c6: PUSH1 0x0f
000003c8: SLOAD
000003c9: PUSH2 0x02fb
000003cc: SWAP1
000003cd: PUSH1 0x01
000003cf: PUSH1 0x01
000003d1: PUSH1 0xa0
000003d3: SHL
000003d4: SUB
000003d5: AND
000003d6: DUP2
000003d7: JUMP
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH1 0x06
000003e8: SLOAD
000003e9: PUSH2 0x02fb
000003ec: SWAP1
000003ed: PUSH1 0x01
000003ef: PUSH1 0x01
000003f1: PUSH1 0xa0
000003f3: SHL
000003f4: SUB
000003f5: AND
000003f6: DUP2
000003f7: JUMP
000003f8: JUMPDEST
000003f9: CALLVALUE
000003fa: DUP1
000003fb: ISZERO
000003fc: PUSH2 0x0404
000003ff: JUMPI
00000400: PUSH1 0x00
00000402: DUP1
00000403: REVERT
00000404: JUMPDEST
00000405: POP
00000406: PUSH1 0x11
00000408: SLOAD
00000409: PUSH2 0x028b
0000040c: SWAP1
0000040d: PUSH1 0xff
0000040f: AND
00000410: DUP2
00000411: JUMP
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041e
00000419: JUMPI
0000041a: PUSH1 0x00
0000041c: DUP1
0000041d: REVERT
0000041e: JUMPDEST
0000041f: POP
00000420: PUSH2 0x0324
00000423: PUSH2 0x042d
00000426: CALLDATASIZE
00000427: PUSH1 0x04
00000429: PUSH2 0x1c02
0000042c: JUMP
0000042d: JUMPDEST
0000042e: PUSH1 0x01
00000430: PUSH1 0x01
00000432: PUSH1 0xa0
00000434: SHL
00000435: SUB
00000436: AND
00000437: PUSH1 0x00
00000439: SWAP1
0000043a: DUP2
0000043b: MSTORE
0000043c: PUSH1 0x20
0000043e: DUP2
0000043f: SWAP1
00000440: MSTORE
00000441: PUSH1 0x40
00000443: SWAP1
00000444: KECCAK256
00000445: SLOAD
00000446: SWAP1
00000447: JUMP
00000448: JUMPDEST
00000449: CALLVALUE
0000044a: DUP1
0000044b: ISZERO
0000044c: PUSH2 0x0454
0000044f: JUMPI
00000450: PUSH1 0x00
00000452: DUP1
00000453: REVERT
00000454: JUMPDEST
00000455: POP
00000456: PUSH2 0x021e
00000459: PUSH2 0x0cfe
0000045c: JUMP
0000045d: JUMPDEST
0000045e: CALLVALUE
0000045f: DUP1
00000460: ISZERO
00000461: PUSH2 0x0469
00000464: JUMPI
00000465: PUSH1 0x00
00000467: DUP1
00000468: REVERT
00000469: JUMPDEST
0000046a: POP
0000046b: PUSH2 0x0324
0000046e: PUSH1 0x0d
00000470: SLOAD
00000471: DUP2
00000472: JUMP
00000473: JUMPDEST
00000474: CALLVALUE
00000475: DUP1
00000476: ISZERO
00000477: PUSH2 0x047f
0000047a: JUMPI
0000047b: PUSH1 0x00
0000047d: DUP1
0000047e: REVERT
0000047f: JUMPDEST
00000480: POP
00000481: PUSH2 0x021e
00000484: PUSH2 0x048e
00000487: CALLDATASIZE
00000488: PUSH1 0x04
0000048a: PUSH2 0x1d49
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH2 0x0d34
00000492: JUMP
00000493: JUMPDEST
00000494: CALLVALUE
00000495: DUP1
00000496: ISZERO
00000497: PUSH2 0x049f
0000049a: JUMPI
0000049b: PUSH1 0x00
0000049d: DUP1
0000049e: REVERT
0000049f: JUMPDEST
000004a0: POP
000004a1: PUSH1 0x05
000004a3: SLOAD
000004a4: PUSH1 0x01
000004a6: PUSH1 0x01
000004a8: PUSH1 0xa0
000004aa: SHL
000004ab: SUB
000004ac: AND
000004ad: PUSH2 0x02fb
000004b0: JUMP
000004b1: JUMPDEST
000004b2: CALLVALUE
000004b3: DUP1
000004b4: ISZERO
000004b5: PUSH2 0x04bd
000004b8: JUMPI
000004b9: PUSH1 0x00
000004bb: DUP1
000004bc: REVERT
000004bd: JUMPDEST
000004be: POP
000004bf: PUSH2 0x0235
000004c2: PUSH2 0x0d6e
000004c5: JUMP
000004c6: JUMPDEST
000004c7: CALLVALUE
000004c8: DUP1
000004c9: ISZERO
000004ca: PUSH2 0x04d2
000004cd: JUMPI
000004ce: PUSH1 0x00
000004d0: DUP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: POP
000004d4: PUSH2 0x028b
000004d7: PUSH2 0x04e1
000004da: CALLDATASIZE
000004db: PUSH1 0x04
000004dd: PUSH2 0x1ce6
000004e0: JUMP
000004e1: JUMPDEST
000004e2: PUSH2 0x0d7d
000004e5: JUMP
000004e6: JUMPDEST
000004e7: CALLVALUE
000004e8: DUP1
000004e9: ISZERO
000004ea: PUSH2 0x04f2
000004ed: JUMPI
000004ee: PUSH1 0x00
000004f0: DUP1
000004f1: REVERT
000004f2: JUMPDEST
000004f3: POP
000004f4: PUSH2 0x028b
000004f7: PUSH2 0x0501
000004fa: CALLDATASIZE
000004fb: PUSH1 0x04
000004fd: PUSH2 0x1ce6
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH2 0x0e16
00000505: JUMP
00000506: JUMPDEST
00000507: CALLVALUE
00000508: DUP1
00000509: ISZERO
0000050a: PUSH2 0x0512
0000050d: JUMPI
0000050e: PUSH1 0x00
00000510: DUP1
00000511: REVERT
00000512: JUMPDEST
00000513: POP
00000514: PUSH2 0x021e
00000517: PUSH2 0x0521
0000051a: CALLDATASIZE
0000051b: PUSH1 0x04
0000051d: PUSH2 0x1d49
00000520: JUMP
00000521: JUMPDEST
00000522: PUSH2 0x0e23
00000525: JUMP
00000526: JUMPDEST
00000527: CALLVALUE
00000528: DUP1
00000529: ISZERO
0000052a: PUSH2 0x0532
0000052d: JUMPI
0000052e: PUSH1 0x00
00000530: DUP1
00000531: REVERT
00000532: JUMPDEST
00000533: POP
00000534: PUSH2 0x021e
00000537: PUSH2 0x0541
0000053a: CALLDATASIZE
0000053b: PUSH1 0x04
0000053d: PUSH2 0x1d49
00000540: JUMP
00000541: JUMPDEST
00000542: PUSH2 0x0e5a
00000545: JUMP
00000546: JUMPDEST
00000547: CALLVALUE
00000548: DUP1
00000549: ISZERO
0000054a: PUSH2 0x0552
0000054d: JUMPI
0000054e: PUSH1 0x00
00000550: DUP1
00000551: REVERT
00000552: JUMPDEST
00000553: POP
00000554: PUSH2 0x0324
00000557: PUSH2 0x0561
0000055a: CALLDATASIZE
0000055b: PUSH1 0x04
0000055d: PUSH2 0x1c41
00000560: JUMP
00000561: JUMPDEST
00000562: PUSH1 0x01
00000564: PUSH1 0x01
00000566: PUSH1 0xa0
00000568: SHL
00000569: SUB
0000056a: SWAP2
0000056b: DUP3
0000056c: AND
0000056d: PUSH1 0x00
0000056f: SWAP1
00000570: DUP2
00000571: MSTORE
00000572: PUSH1 0x01
00000574: PUSH1 0x20
00000576: SWAP1
00000577: DUP2
00000578: MSTORE
00000579: PUSH1 0x40
0000057b: DUP1
0000057c: DUP4
0000057d: KECCAK256
0000057e: SWAP4
0000057f: SWAP1
00000580: SWAP5
00000581: AND
00000582: DUP3
00000583: MSTORE
00000584: SWAP2
00000585: SWAP1
00000586: SWAP2
00000587: MSTORE
00000588: KECCAK256
00000589: SLOAD
0000058a: SWAP1
0000058b: JUMP
0000058c: JUMPDEST
0000058d: CALLVALUE
0000058e: DUP1
0000058f: ISZERO
00000590: PUSH2 0x0598
00000593: JUMPI
00000594: PUSH1 0x00
00000596: DUP1
00000597: REVERT
00000598: JUMPDEST
00000599: POP
0000059a: PUSH2 0x021e
0000059d: PUSH2 0x05a7
000005a0: CALLDATASIZE
000005a1: PUSH1 0x04
000005a3: PUSH2 0x1d11
000005a6: JUMP
000005a7: JUMPDEST
000005a8: PUSH2 0x0ef1
000005ab: JUMP
000005ac: JUMPDEST
000005ad: CALLVALUE
000005ae: DUP1
000005af: ISZERO
000005b0: PUSH2 0x05b8
000005b3: JUMPI
000005b4: PUSH1 0x00
000005b6: DUP1
000005b7: REVERT
000005b8: JUMPDEST
000005b9: POP
000005ba: PUSH2 0x021e
000005bd: PUSH2 0x0f35
000005c0: JUMP
000005c1: JUMPDEST
000005c2: CALLVALUE
000005c3: DUP1
000005c4: ISZERO
000005c5: PUSH2 0x05cd
000005c8: JUMPI
000005c9: PUSH1 0x00
000005cb: DUP1
000005cc: REVERT
000005cd: JUMPDEST
000005ce: POP
000005cf: PUSH2 0x021e
000005d2: PUSH2 0x05dc
000005d5: CALLDATASIZE
000005d6: PUSH1 0x04
000005d8: PUSH2 0x1c02
000005db: JUMP
000005dc: JUMPDEST
000005dd: PUSH2 0x0fd8
000005e0: JUMP
000005e1: JUMPDEST
000005e2: CALLVALUE
000005e3: DUP1
000005e4: ISZERO
000005e5: PUSH2 0x05ed
000005e8: JUMPI
000005e9: PUSH1 0x00
000005eb: DUP1
000005ec: REVERT
000005ed: JUMPDEST
000005ee: POP
000005ef: PUSH2 0x021e
000005f2: PUSH2 0x05fc
000005f5: CALLDATASIZE
000005f6: PUSH1 0x04
000005f8: PUSH2 0x1c02
000005fb: JUMP
000005fc: JUMPDEST
000005fd: PUSH2 0x1024
00000600: JUMP
00000601: JUMPDEST
00000602: CALLVALUE
00000603: DUP1
00000604: ISZERO
00000605: PUSH2 0x060d
00000608: JUMPI
00000609: PUSH1 0x00
0000060b: DUP1
0000060c: REVERT
0000060d: JUMPDEST
0000060e: POP
0000060f: PUSH2 0x021e
00000612: PUSH2 0x061c
00000615: CALLDATASIZE
00000616: PUSH1 0x04
00000618: PUSH2 0x1cb9
0000061b: JUMP
0000061c: JUMPDEST
0000061d: PUSH2 0x10bc
00000620: JUMP
00000621: JUMPDEST
00000622: CALLVALUE
00000623: DUP1
00000624: ISZERO
00000625: PUSH2 0x062d
00000628: JUMPI
00000629: PUSH1 0x00
0000062b: DUP1
0000062c: REVERT
0000062d: JUMPDEST
0000062e: POP
0000062f: PUSH2 0x028b
00000632: PUSH2 0x063c
00000635: CALLDATASIZE
00000636: PUSH1 0x04
00000638: PUSH2 0x1c02
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH1 0x01
0000063f: PUSH1 0x01
00000641: PUSH1 0xa0
00000643: SHL
00000644: SUB
00000645: AND
00000646: PUSH1 0x00
00000648: SWAP1
00000649: DUP2
0000064a: MSTORE
0000064b: PUSH1 0x10
0000064d: PUSH1 0x20
0000064f: MSTORE
00000650: PUSH1 0x40
00000652: SWAP1
00000653: KECCAK256
00000654: SLOAD
00000655: PUSH1 0xff
00000657: AND
00000658: SWAP1
00000659: JUMP
0000065a: JUMPDEST
0000065b: PUSH1 0x05
0000065d: SLOAD
0000065e: PUSH1 0x01
00000660: PUSH1 0x01
00000662: PUSH1 0xa0
00000664: SHL
00000665: SUB
00000666: AND
00000667: CALLER
00000668: EQ
00000669: PUSH2 0x068d
0000066c: JUMPI
0000066d: PUSH1 0x40
0000066f: MLOAD
00000670: PUSH3 0x461bcd
00000674: PUSH1 0xe5
00000676: SHL
00000677: DUP2
00000678: MSTORE
00000679: PUSH1 0x04
0000067b: ADD
0000067c: PUSH2 0x0684
0000067f: SWAP1
00000680: PUSH2 0x1e50
00000683: JUMP
00000684: JUMPDEST
00000685: PUSH1 0x40
00000687: MLOAD
00000688: DUP1
00000689: SWAP2
0000068a: SUB
0000068b: SWAP1
0000068c: REVERT
0000068d: JUMPDEST
0000068e: PUSH1 0x11
00000690: SLOAD
00000691: PUSH1 0xff
00000693: AND
00000694: PUSH2 0x06af
00000697: JUMPI
00000698: PUSH1 0x40
0000069a: MLOAD
0000069b: PUSH3 0x461bcd
0000069f: PUSH1 0xe5
000006a1: SHL
000006a2: DUP2
000006a3: MSTORE
000006a4: PUSH1 0x04
000006a6: ADD
000006a7: PUSH2 0x0684
000006aa: SWAP1
000006ab: PUSH2 0x1e20
000006ae: JUMP
000006af: JUMPDEST
000006b0: PUSH1 0x01
000006b2: PUSH1 0x01
000006b4: PUSH1 0xa0
000006b6: SHL
000006b7: SUB
000006b8: DUP3
000006b9: AND
000006ba: ADDRESS
000006bb: EQ
000006bc: ISZERO
000006bd: PUSH2 0x0708
000006c0: JUMPI
000006c1: PUSH1 0x40
000006c3: MLOAD
000006c4: PUSH3 0x461bcd
000006c8: PUSH1 0xe5
000006ca: SHL
000006cb: DUP2
000006cc: MSTORE
000006cd: PUSH1 0x20
000006cf: PUSH1 0x04
000006d1: DUP3
000006d2: ADD
000006d3: MSTORE
000006d4: PUSH1 0x1a
000006d6: PUSH1 0x24
000006d8: DUP3
000006d9: ADD
000006da: MSTORE
000006db: PUSH32 0x63616e6e6f74207769746864726177207468697320746f6b656e000000000000
000006fc: PUSH1 0x44
000006fe: DUP3
000006ff: ADD
00000700: MSTORE
00000701: PUSH1 0x64
00000703: ADD
00000704: PUSH2 0x0684
00000707: JUMP
00000708: JUMPDEST
00000709: DUP2
0000070a: DUP2
0000070b: PUSH2 0x078a
0000070e: JUMPI
0000070f: PUSH1 0x40
00000711: MLOAD
00000712: PUSH4 0x70a08231
00000717: PUSH1 0xe0
00000719: SHL
0000071a: DUP2
0000071b: MSTORE
0000071c: ADDRESS
0000071d: PUSH1 0x04
0000071f: DUP3
00000720: ADD
00000721: MSTORE
00000722: PUSH1 0x01
00000724: PUSH1 0x01
00000726: PUSH1 0xa0
00000728: SHL
00000729: SUB
0000072a: DUP3
0000072b: AND
0000072c: SWAP1
0000072d: PUSH4 0x70a08231
00000732: SWAP1
00000733: PUSH1 0x24
00000735: ADD
00000736: PUSH1 0x20
00000738: PUSH1 0x40
0000073a: MLOAD
0000073b: DUP1
0000073c: DUP4
0000073d: SUB
0000073e: DUP2
0000073f: DUP7
00000740: DUP1
00000741: EXTCODESIZE
00000742: ISZERO
00000743: DUP1
00000744: ISZERO
00000745: PUSH2 0x074d
00000748: JUMPI
00000749: PUSH1 0x00
0000074b: DUP1
0000074c: REVERT
0000074d: JUMPDEST
0000074e: POP
0000074f: GAS
00000750: STATICCALL
00000751: ISZERO
00000752: DUP1
00000753: ISZERO
00000754: PUSH2 0x0761
00000757: JUMPI
00000758: RETURNDATASIZE
00000759: PUSH1 0x00
0000075b: DUP1
0000075c: RETURNDATACOPY
0000075d: RETURNDATASIZE
0000075e: PUSH1 0x00
00000760: REVERT
00000761: JUMPDEST
00000762: POP
00000763: POP
00000764: POP
00000765: POP
00000766: PUSH1 0x40
00000768: MLOAD
00000769: RETURNDATASIZE
0000076a: PUSH1 0x1f
0000076c: NOT
0000076d: PUSH1 0x1f
0000076f: DUP3
00000770: ADD
00000771: AND
00000772: DUP3
00000773: ADD
00000774: DUP1
00000775: PUSH1 0x40
00000777: MSTORE
00000778: POP
00000779: DUP2
0000077a: ADD
0000077b: SWAP1
0000077c: PUSH2 0x0785
0000077f: SWAP2
00000780: SWAP1
00000781: PUSH2 0x1d61
00000784: JUMP
00000785: JUMPDEST
00000786: PUSH2 0x078c
00000789: JUMP
0000078a: JUMPDEST
0000078b: DUP2
0000078c: JUMPDEST
0000078d: SWAP2
0000078e: POP
0000078f: PUSH1 0x00
00000791: DUP3
00000792: GT
00000793: PUSH2 0x07f9
00000796: JUMPI
00000797: PUSH1 0x40
00000799: MLOAD
0000079a: PUSH3 0x461bcd
0000079e: PUSH1 0xe5
000007a0: SHL
000007a1: DUP2
000007a2: MSTORE
000007a3: PUSH1 0x20
000007a5: PUSH1 0x04
000007a7: DUP3
000007a8: ADD
000007a9: MSTORE
000007aa: PUSH1 0x32
000007ac: PUSH1 0x24
000007ae: DUP3
000007af: ADD
000007b0: MSTORE
000007b1: PUSH32 0x6d616b65207375726520746865726520697320612062616c616e636520617661
000007d2: PUSH1 0x44
000007d4: DUP3
000007d5: ADD
000007d6: MSTORE
000007d7: PUSH18 0x696c61626c6520746f207769746864726177
000007ea: PUSH1 0x70
000007ec: SHL
000007ed: PUSH1 0x64
000007ef: DUP3
000007f0: ADD
000007f1: MSTORE
000007f2: PUSH1 0x84
000007f4: ADD
000007f5: PUSH2 0x0684
000007f8: JUMP
000007f9: JUMPDEST
000007fa: DUP1
000007fb: PUSH1 0x01
000007fd: PUSH1 0x01
000007ff: PUSH1 0xa0
00000801: SHL
00000802: SUB
00000803: AND
00000804: PUSH4 0xa9059cbb
00000809: PUSH2 0x081a
0000080c: PUSH1 0x05
0000080e: SLOAD
0000080f: PUSH1 0x01
00000811: PUSH1 0x01
00000813: PUSH1 0xa0
00000815: SHL
00000816: SUB
00000817: AND
00000818: SWAP1
00000819: JUMP
0000081a: JUMPDEST
0000081b: PUSH1 0x40
0000081d: MLOAD
0000081e: PUSH1 0x01
00000820: PUSH1 0x01
00000822: PUSH1 0xe0
00000824: SHL
00000825: SUB
00000826: NOT
00000827: PUSH1 0xe0
00000829: DUP5
0000082a: SWAP1
0000082b: SHL
0000082c: AND
0000082d: DUP2
0000082e: MSTORE
0000082f: PUSH1 0x01
00000831: PUSH1 0x01
00000833: PUSH1 0xa0
00000835: SHL
00000836: SUB
00000837: SWAP1
00000838: SWAP2
00000839: AND
0000083a: PUSH1 0x04
0000083c: DUP3
0000083d: ADD
0000083e: MSTORE
0000083f: PUSH1 0x24
00000841: DUP2
00000842: ADD
00000843: DUP6
00000844: SWAP1
00000845: MSTORE
00000846: PUSH1 0x44
00000848: ADD
00000849: PUSH1 0x20
0000084b: PUSH1 0x40
0000084d: MLOAD
0000084e: DUP1
0000084f: DUP4
00000850: SUB
00000851: DUP2
00000852: PUSH1 0x00
00000854: DUP8
00000855: DUP1
00000856: EXTCODESIZE
00000857: ISZERO
00000858: DUP1
00000859: ISZERO
0000085a: PUSH2 0x0862
0000085d: JUMPI
0000085e: PUSH1 0x00
00000860: DUP1
00000861: REVERT
00000862: JUMPDEST
00000863: POP
00000864: GAS
00000865: CALL
00000866: ISZERO
00000867: DUP1
00000868: ISZERO
00000869: PUSH2 0x0876
0000086c: JUMPI
0000086d: RETURNDATASIZE
0000086e: PUSH1 0x00
00000870: DUP1
00000871: RETURNDATACOPY
00000872: RETURNDATASIZE
00000873: PUSH1 0x00
00000875: REVERT
00000876: JUMPDEST
00000877: POP
00000878: POP
00000879: POP
0000087a: POP
0000087b: PUSH1 0x40
0000087d: MLOAD
0000087e: RETURNDATASIZE
0000087f: PUSH1 0x1f
00000881: NOT
00000882: PUSH1 0x1f
00000884: DUP3
00000885: ADD
00000886: AND
00000887: DUP3
00000888: ADD
00000889: DUP1
0000088a: PUSH1 0x40
0000088c: MSTORE
0000088d: POP
0000088e: DUP2
0000088f: ADD
00000890: SWAP1
00000891: PUSH2 0x089a
00000894: SWAP2
00000895: SWAP1
00000896: PUSH2 0x1d2d
00000899: JUMP
0000089a: JUMPDEST
0000089b: POP
0000089c: POP
0000089d: POP
0000089e: POP
0000089f: JUMP
000008a0: JUMPDEST
000008a1: PUSH1 0x60
000008a3: PUSH1 0x03
000008a5: DUP1
000008a6: SLOAD
000008a7: PUSH2 0x08af
000008aa: SWAP1
000008ab: PUSH2 0x1f63
000008ae: JUMP
000008af: JUMPDEST
000008b0: DUP1
000008b1: PUSH1 0x1f
000008b3: ADD
000008b4: PUSH1 0x20
000008b6: DUP1
000008b7: SWAP2
000008b8: DIV
000008b9: MUL
000008ba: PUSH1 0x20
000008bc: ADD
000008bd: PUSH1 0x40
000008bf: MLOAD
000008c0: SWAP1
000008c1: DUP2
000008c2: ADD
000008c3: PUSH1 0x40
000008c5: MSTORE
000008c6: DUP1
000008c7: SWAP3
000008c8: SWAP2
000008c9: SWAP1
000008ca: DUP2
000008cb: DUP2
000008cc: MSTORE
000008cd: PUSH1 0x20
000008cf: ADD
000008d0: DUP3
000008d1: DUP1
000008d2: SLOAD
000008d3: PUSH2 0x08db
000008d6: SWAP1
000008d7: PUSH2 0x1f63
000008da: JUMP
000008db: JUMPDEST
000008dc: DUP1
000008dd: ISZERO
000008de: PUSH2 0x0928
000008e1: JUMPI
000008e2: DUP1
000008e3: PUSH1 0x1f
000008e5: LT
000008e6: PUSH2 0x08fd
000008e9: JUMPI
000008ea: PUSH2 0x0100
000008ed: DUP1
000008ee: DUP4
000008ef: SLOAD
000008f0: DIV
000008f1: MUL
000008f2: DUP4
000008f3: MSTORE
000008f4: SWAP2
000008f5: PUSH1 0x20
000008f7: ADD
000008f8: SWAP2
000008f9: PUSH2 0x0928
000008fc: JUMP
000008fd: JUMPDEST
000008fe: DUP3
000008ff: ADD
00000900: SWAP2
00000901: SWAP1
00000902: PUSH1 0x00
00000904: MSTORE
00000905: PUSH1 0x20
00000907: PUSH1 0x00
00000909: KECCAK256
0000090a: SWAP1
0000090b: JUMPDEST
0000090c: DUP2
0000090d: SLOAD
0000090e: DUP2
0000090f: MSTORE
00000910: SWAP1
00000911: PUSH1 0x01
00000913: ADD
00000914: SWAP1
00000915: PUSH1 0x20
00000917: ADD
00000918: DUP1
00000919: DUP4
0000091a: GT
0000091b: PUSH2 0x090b
0000091e: JUMPI
0000091f: DUP3
00000920: SWAP1
00000921: SUB
00000922: PUSH1 0x1f
00000924: AND
00000925: DUP3
00000926: ADD
00000927: SWAP2
00000928: JUMPDEST
00000929: POP
0000092a: POP
0000092b: POP
0000092c: POP
0000092d: POP
0000092e: SWAP1
0000092f: POP
00000930: SWAP1
00000931: JUMP
00000932: JUMPDEST
00000933: PUSH1 0x05
00000935: SLOAD
00000936: PUSH1 0x01
00000938: PUSH1 0x01
0000093a: PUSH1 0xa0
0000093c: SHL
0000093d: SUB
0000093e: AND
0000093f: CALLER
00000940: EQ
00000941: PUSH2 0x095c
00000944: JUMPI
00000945: PUSH1 0x40
00000947: MLOAD
00000948: PUSH3 0x461bcd
0000094c: PUSH1 0xe5
0000094e: SHL
0000094f: DUP2
00000950: MSTORE
00000951: PUSH1 0x04
00000953: ADD
00000954: PUSH2 0x0684
00000957: SWAP1
00000958: PUSH2 0x1e50
0000095b: JUMP
0000095c: JUMPDEST
0000095d: PUSH1 0x0e
0000095f: SLOAD
00000960: PUSH1 0x01
00000962: PUSH1 0x01
00000964: PUSH1 0xa0
00000966: SHL
00000967: SUB
00000968: DUP3
00000969: DUP2
0000096a: AND
0000096b: SWAP2
0000096c: AND
0000096d: EQ
0000096e: ISZERO
0000096f: PUSH2 0x09ba
00000972: JUMPI
00000973: PUSH1 0x40
00000975: MLOAD
00000976: PUSH3 0x461bcd
0000097a: PUSH1 0xe5
0000097c: SHL
0000097d: DUP2
0000097e: MSTORE
0000097f: PUSH1 0x20
00000981: PUSH1 0x04
00000983: DUP3
00000984: ADD
00000985: MSTORE
00000986: PUSH1 0x1c
00000988: PUSH1 0x24
0000098a: DUP3
0000098b: ADD
0000098c: MSTORE
0000098d: PUSH32 0x63616e6e6f74206e6f7420626c61636b6c69737420556e697377617000000000
000009ae: PUSH1 0x44
000009b0: DUP3
000009b1: ADD
000009b2: MSTORE
000009b3: PUSH1 0x64
000009b5: ADD
000009b6: PUSH2 0x0684
000009b9: JUMP
000009ba: JUMPDEST
000009bb: PUSH1 0x01
000009bd: PUSH1 0x01
000009bf: PUSH1 0xa0
000009c1: SHL
000009c2: SUB
000009c3: DUP2
000009c4: AND
000009c5: PUSH1 0x00
000009c7: SWAP1
000009c8: DUP2
000009c9: MSTORE
000009ca: PUSH1 0x10
000009cc: PUSH1 0x20
000009ce: MSTORE
000009cf: PUSH1 0x40
000009d1: SWAP1
000009d2: KECCAK256
000009d3: SLOAD
000009d4: PUSH1 0xff
000009d6: AND
000009d7: ISZERO
000009d8: PUSH2 0x0a23
000009db: JUMPI
000009dc: PUSH1 0x40
000009de: MLOAD
000009df: PUSH3 0x461bcd
000009e3: PUSH1 0xe5
000009e5: SHL
000009e6: DUP2
000009e7: MSTORE
000009e8: PUSH1 0x20
000009ea: PUSH1 0x04
000009ec: DUP3
000009ed: ADD
000009ee: MSTORE
000009ef: PUSH1 0x1b
000009f1: PUSH1 0x24
000009f3: DUP3
000009f4: ADD
000009f5: MSTORE
000009f6: PUSH32 0x7573657220697320616c726561647920626c61636b6c69737465640000000000
00000a17: PUSH1 0x44
00000a19: DUP3
00000a1a: ADD
00000a1b: MSTORE
00000a1c: PUSH1 0x64
00000a1e: ADD
00000a1f: PUSH2 0x0684
00000a22: JUMP
00000a23: JUMPDEST
00000a24: PUSH1 0x01
00000a26: PUSH1 0x01
00000a28: PUSH1 0xa0
00000a2a: SHL
00000a2b: SUB
00000a2c: AND
00000a2d: PUSH1 0x00
00000a2f: SWAP1
00000a30: DUP2
00000a31: MSTORE
00000a32: PUSH1 0x10
00000a34: PUSH1 0x20
00000a36: MSTORE
00000a37: PUSH1 0x40
00000a39: SWAP1
00000a3a: KECCAK256
00000a3b: DUP1
00000a3c: SLOAD
00000a3d: PUSH1 0xff
00000a3f: NOT
00000a40: AND
00000a41: PUSH1 0x01
00000a43: OR
00000a44: SWAP1
00000a45: SSTORE
00000a46: JUMP
00000a47: JUMPDEST
00000a48: PUSH1 0x00
00000a4a: PUSH2 0x0a54
00000a4d: CALLER
00000a4e: DUP5
00000a4f: DUP5
00000a50: PUSH2 0x1111
00000a53: JUMP
00000a54: JUMPDEST
00000a55: POP
00000a56: PUSH1 0x01
00000a58: SWAP3
00000a59: SWAP2
00000a5a: POP
00000a5b: POP
00000a5c: JUMP
00000a5d: JUMPDEST
00000a5e: PUSH1 0x05
00000a60: SLOAD
00000a61: PUSH1 0x01
00000a63: PUSH1 0x01
00000a65: PUSH1 0xa0
00000a67: SHL
00000a68: SUB
00000a69: AND
00000a6a: CALLER
00000a6b: EQ
00000a6c: PUSH2 0x0a87
00000a6f: JUMPI
00000a70: PUSH1 0x40
00000a72: MLOAD
00000a73: PUSH3 0x461bcd
00000a77: PUSH1 0xe5
00000a79: SHL
00000a7a: DUP2
00000a7b: MSTORE
00000a7c: PUSH1 0x04
00000a7e: ADD
00000a7f: PUSH2 0x0684
00000a82: SWAP1
00000a83: PUSH2 0x1e50
00000a86: JUMP
00000a87: JUMPDEST
00000a88: PUSH1 0x01
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0xa0
00000a8e: SHL
00000a8f: SUB
00000a90: DUP2
00000a91: AND
00000a92: PUSH1 0x00
00000a94: SWAP1
00000a95: DUP2
00000a96: MSTORE
00000a97: PUSH1 0x10
00000a99: PUSH1 0x20
00000a9b: MSTORE
00000a9c: PUSH1 0x40
00000a9e: SWAP1
00000a9f: KECCAK256
00000aa0: SLOAD
00000aa1: PUSH1 0xff
00000aa3: AND
00000aa4: PUSH2 0x0aef
00000aa7: JUMPI
00000aa8: PUSH1 0x40
00000aaa: MLOAD
00000aab: PUSH3 0x461bcd
00000aaf: PUSH1 0xe5
00000ab1: SHL
00000ab2: DUP2
00000ab3: MSTORE
00000ab4: PUSH1 0x20
00000ab6: PUSH1 0x04
00000ab8: DUP3
00000ab9: ADD
00000aba: MSTORE
00000abb: PUSH1 0x17
00000abd: PUSH1 0x24
00000abf: DUP3
00000ac0: ADD
00000ac1: MSTORE
00000ac2: PUSH32 0x75736572206973206e6f7420626c61636b6c6973746564000000000000000000
00000ae3: PUSH1 0x44
00000ae5: DUP3
00000ae6: ADD
00000ae7: MSTORE
00000ae8: PUSH1 0x64
00000aea: ADD
00000aeb: PUSH2 0x0684
00000aee: JUMP
00000aef: JUMPDEST
00000af0: PUSH1 0x01
00000af2: PUSH1 0x01
00000af4: PUSH1 0xa0
00000af6: SHL
00000af7: SUB
00000af8: AND
00000af9: PUSH1 0x00
00000afb: SWAP1
00000afc: DUP2
00000afd: MSTORE
00000afe: PUSH1 0x10
00000b00: PUSH1 0x20
00000b02: MSTORE
00000b03: PUSH1 0x40
00000b05: SWAP1
00000b06: KECCAK256
00000b07: DUP1
00000b08: SLOAD
00000b09: PUSH1 0xff
00000b0b: NOT
00000b0c: AND
00000b0d: SWAP1
00000b0e: SSTORE
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: PUSH1 0x05
00000b13: SLOAD
00000b14: PUSH1 0x01
00000b16: PUSH1 0x01
00000b18: PUSH1 0xa0
00000b1a: SHL
00000b1b: SUB
00000b1c: AND
00000b1d: CALLER
00000b1e: EQ
00000b1f: PUSH2 0x0b3a
00000b22: JUMPI
00000b23: PUSH1 0x40
00000b25: MLOAD
00000b26: PUSH3 0x461bcd
00000b2a: PUSH1 0xe5
00000b2c: SHL
00000b2d: DUP2
00000b2e: MSTORE
00000b2f: PUSH1 0x04
00000b31: ADD
00000b32: PUSH2 0x0684
00000b35: SWAP1
00000b36: PUSH2 0x1e50
00000b39: JUMP
00000b3a: JUMPDEST
00000b3b: PUSH1 0x08
00000b3d: DUP1
00000b3e: SLOAD
00000b3f: PUSH1 0xff
00000b41: NOT
00000b42: AND
00000b43: SWAP2
00000b44: ISZERO
00000b45: ISZERO
00000b46: SWAP2
00000b47: SWAP1
00000b48: SWAP2
00000b49: OR
00000b4a: SWAP1
00000b4b: SSTORE
00000b4c: JUMP
00000b4d: JUMPDEST
00000b4e: PUSH1 0x05
00000b50: SLOAD
00000b51: PUSH1 0x01
00000b53: PUSH1 0x01
00000b55: PUSH1 0xa0
00000b57: SHL
00000b58: SUB
00000b59: AND
00000b5a: CALLER
00000b5b: EQ
00000b5c: PUSH2 0x0b77
00000b5f: JUMPI
00000b60: PUSH1 0x40
00000b62: MLOAD
00000b63: PUSH3 0x461bcd
00000b67: PUSH1 0xe5
00000b69: SHL
00000b6a: DUP2
00000b6b: MSTORE
00000b6c: PUSH1 0x04
00000b6e: ADD
00000b6f: PUSH2 0x0684
00000b72: SWAP1
00000b73: PUSH2 0x1e50
00000b76: JUMP
00000b77: JUMPDEST
00000b78: PUSH1 0x11
00000b7a: SLOAD
00000b7b: PUSH1 0xff
00000b7d: AND
00000b7e: PUSH2 0x0b99
00000b81: JUMPI
00000b82: PUSH1 0x40
00000b84: MLOAD
00000b85: PUSH3 0x461bcd
00000b89: PUSH1 0xe5
00000b8b: SHL
00000b8c: DUP2
00000b8d: MSTORE
00000b8e: PUSH1 0x04
00000b90: ADD
00000b91: PUSH2 0x0684
00000b94: SWAP1
00000b95: PUSH2 0x1e20
00000b98: JUMP
00000b99: JUMPDEST
00000b9a: PUSH1 0x11
00000b9c: DUP1
00000b9d: SLOAD
00000b9e: PUSH1 0xff
00000ba0: NOT
00000ba1: AND
00000ba2: SWAP1
00000ba3: SSTORE
00000ba4: JUMP
00000ba5: JUMPDEST
00000ba6: PUSH1 0x00
00000ba8: PUSH2 0x0bb2
00000bab: DUP5
00000bac: DUP5
00000bad: DUP5
00000bae: PUSH2 0x1235
00000bb1: JUMP
00000bb2: JUMPDEST
00000bb3: PUSH1 0x01
00000bb5: PUSH1 0x01
00000bb7: PUSH1 0xa0
00000bb9: SHL
00000bba: SUB
00000bbb: DUP5
00000bbc: AND
00000bbd: PUSH1 0x00
00000bbf: SWAP1
00000bc0: DUP2
00000bc1: MSTORE
00000bc2: PUSH1 0x01
00000bc4: PUSH1 0x20
00000bc6: SWAP1
00000bc7: DUP2
00000bc8: MSTORE
00000bc9: PUSH1 0x40
00000bcb: DUP1
00000bcc: DUP4
00000bcd: KECCAK256
00000bce: CALLER
00000bcf: DUP5
00000bd0: MSTORE
00000bd1: SWAP1
00000bd2: SWAP2
00000bd3: MSTORE
00000bd4: SWAP1
00000bd5: KECCAK256
00000bd6: SLOAD
00000bd7: DUP3
00000bd8: DUP2
00000bd9: LT
00000bda: ISZERO
00000bdb: PUSH2 0x0c37
00000bde: JUMPI
00000bdf: PUSH1 0x40
00000be1: MLOAD
00000be2: PUSH3 0x461bcd
00000be6: PUSH1 0xe5
00000be8: SHL
00000be9: DUP2
00000bea: MSTORE
00000beb: PUSH1 0x20
00000bed: PUSH1 0x04
00000bef: DUP3
00000bf0: ADD
00000bf1: MSTORE
00000bf2: PUSH1 0x28
00000bf4: PUSH1 0x24
00000bf6: DUP3
00000bf7: ADD
00000bf8: MSTORE
00000bf9: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061
00000c1a: PUSH1 0x44
00000c1c: DUP3
00000c1d: ADD
00000c1e: MSTORE
00000c1f: PUSH8 0x6c6c6f77616e6365
00000c28: PUSH1 0xc0
00000c2a: SHL
00000c2b: PUSH1 0x64
00000c2d: DUP3
00000c2e: ADD
00000c2f: MSTORE
00000c30: PUSH1 0x84
00000c32: ADD
00000c33: PUSH2 0x0684
00000c36: JUMP
00000c37: JUMPDEST
00000c38: PUSH2 0x0c44
00000c3b: DUP6
00000c3c: CALLER
00000c3d: DUP6
00000c3e: DUP5
00000c3f: SUB
00000c40: PUSH2 0x1111
00000c43: JUMP
00000c44: JUMPDEST
00000c45: POP
00000c46: PUSH1 0x01
00000c48: SWAP5
00000c49: SWAP4
00000c4a: POP
00000c4b: POP
00000c4c: POP
00000c4d: POP
00000c4e: JUMP
00000c4f: JUMPDEST
00000c50: PUSH1 0x05
00000c52: SLOAD
00000c53: PUSH1 0x01
00000c55: PUSH1 0x01
00000c57: PUSH1 0xa0
00000c59: SHL
00000c5a: SUB
00000c5b: AND
00000c5c: CALLER
00000c5d: EQ
00000c5e: PUSH2 0x0c79
00000c61: JUMPI
00000c62: PUSH1 0x40
00000c64: MLOAD
00000c65: PUSH3 0x461bcd
00000c69: PUSH1 0xe5
00000c6b: SHL
00000c6c: DUP2
00000c6d: MSTORE
00000c6e: PUSH1 0x04
00000c70: ADD
00000c71: PUSH2 0x0684
00000c74: SWAP1
00000c75: PUSH2 0x1e50
00000c78: JUMP
00000c79: JUMPDEST
00000c7a: PUSH1 0x0d
00000c7c: SLOAD
00000c7d: ISZERO
00000c7e: PUSH2 0x0cbc
00000c81: JUMPI
00000c82: PUSH1 0x40
00000c84: MLOAD
00000c85: PUSH3 0x461bcd
00000c89: PUSH1 0xe5
00000c8b: SHL
00000c8c: DUP2
00000c8d: MSTORE
00000c8e: PUSH1 0x20
00000c90: PUSH1 0x04
00000c92: DUP3
00000c93: ADD
00000c94: MSTORE
00000c95: PUSH1 0x10
00000c97: PUSH1 0x24
00000c99: DUP3
00000c9a: ADD
00000c9b: MSTORE
00000c9c: PUSH16 0x185b1c9958591e481b185d5b98da1959
00000cad: PUSH1 0x82
00000caf: SHL
00000cb0: PUSH1 0x44
00000cb2: DUP3
00000cb3: ADD
00000cb4: MSTORE
00000cb5: PUSH1 0x64
00000cb7: ADD
00000cb8: PUSH2 0x0684
00000cbb: JUMP
00000cbc: JUMPDEST
00000cbd: TIMESTAMP
00000cbe: PUSH1 0x0d
00000cc0: SSTORE
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: CALLER
00000cc4: PUSH1 0x00
00000cc6: DUP2
00000cc7: DUP2
00000cc8: MSTORE
00000cc9: PUSH1 0x01
00000ccb: PUSH1 0x20
00000ccd: SWAP1
00000cce: DUP2
00000ccf: MSTORE
00000cd0: PUSH1 0x40
00000cd2: DUP1
00000cd3: DUP4
00000cd4: KECCAK256
00000cd5: PUSH1 0x01
00000cd7: PUSH1 0x01
00000cd9: PUSH1 0xa0
00000cdb: SHL
00000cdc: SUB
00000cdd: DUP8
00000cde: AND
00000cdf: DUP5
00000ce0: MSTORE
00000ce1: SWAP1
00000ce2: SWAP2
00000ce3: MSTORE
00000ce4: DUP2
00000ce5: KECCAK256
00000ce6: SLOAD
00000ce7: SWAP1
00000ce8: SWAP2
00000ce9: PUSH2 0x0a54
00000cec: SWAP2
00000ced: DUP6
00000cee: SWAP1
00000cef: PUSH2 0x0cf9
00000cf2: SWAP1
00000cf3: DUP7
00000cf4: SWAP1
00000cf5: PUSH2 0x1ef5
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: PUSH2 0x1111
00000cfd: JUMP
00000cfe: JUMPDEST
00000cff: PUSH1 0x05
00000d01: SLOAD
00000d02: PUSH1 0x01
00000d04: PUSH1 0x01
00000d06: PUSH1 0xa0
00000d08: SHL
00000d09: SUB
00000d0a: AND
00000d0b: CALLER
00000d0c: EQ
00000d0d: PUSH2 0x0d28
00000d10: JUMPI
00000d11: PUSH1 0x40
00000d13: MLOAD
00000d14: PUSH3 0x461bcd
00000d18: PUSH1 0xe5
00000d1a: SHL
00000d1b: DUP2
00000d1c: MSTORE
00000d1d: PUSH1 0x04
00000d1f: ADD
00000d20: PUSH2 0x0684
00000d23: SWAP1
00000d24: PUSH2 0x1e50
00000d27: JUMP
00000d28: JUMPDEST
00000d29: PUSH2 0x0d32
00000d2c: PUSH1 0x00
00000d2e: PUSH2 0x1583
00000d31: JUMP
00000d32: JUMPDEST
00000d33: JUMP
00000d34: JUMPDEST
00000d35: PUSH1 0x05
00000d37: SLOAD
00000d38: PUSH1 0x01
00000d3a: PUSH1 0x01
00000d3c: PUSH1 0xa0
00000d3e: SHL
00000d3f: SUB
00000d40: AND
00000d41: CALLER
00000d42: EQ
00000d43: PUSH2 0x0d5e
00000d46: JUMPI
00000d47: PUSH1 0x40
00000d49: MLOAD
00000d4a: PUSH3 0x461bcd
00000d4e: PUSH1 0xe5
00000d50: SHL
00000d51: DUP2
00000d52: MSTORE
00000d53: PUSH1 0x04
00000d55: ADD
00000d56: PUSH2 0x0684
00000d59: SWAP1
00000d5a: PUSH2 0x1e50
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: PUSH1 0x09
00000d61: DUP2
00000d62: SWAP1
00000d63: SSTORE
00000d64: PUSH2 0x0d6b
00000d67: PUSH2 0x15d5
00000d6a: JUMP
00000d6b: JUMPDEST
00000d6c: POP
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: PUSH1 0x60
00000d71: PUSH1 0x04
00000d73: DUP1
00000d74: SLOAD
00000d75: PUSH2 0x08af
00000d78: SWAP1
00000d79: PUSH2 0x1f63
00000d7c: JUMP
00000d7d: JUMPDEST
00000d7e: CALLER
00000d7f: PUSH1 0x00
00000d81: SWAP1
00000d82: DUP2
00000d83: MSTORE
00000d84: PUSH1 0x01
00000d86: PUSH1 0x20
00000d88: SWAP1
00000d89: DUP2
00000d8a: MSTORE
00000d8b: PUSH1 0x40
00000d8d: DUP1
00000d8e: DUP4
00000d8f: KECCAK256
00000d90: PUSH1 0x01
00000d92: PUSH1 0x01
00000d94: PUSH1 0xa0
00000d96: SHL
00000d97: SUB
00000d98: DUP7
00000d99: AND
00000d9a: DUP5
00000d9b: MSTORE
00000d9c: SWAP1
00000d9d: SWAP2
00000d9e: MSTORE
00000d9f: DUP2
00000da0: KECCAK256
00000da1: SLOAD
00000da2: DUP3
00000da3: DUP2
00000da4: LT
00000da5: ISZERO
00000da6: PUSH2 0x0dff
00000da9: JUMPI
00000daa: PUSH1 0x40
00000dac: MLOAD
00000dad: PUSH3 0x461bcd
00000db1: PUSH1 0xe5
00000db3: SHL
00000db4: DUP2
00000db5: MSTORE
00000db6: PUSH1 0x20
00000db8: PUSH1 0x04
00000dba: DUP3
00000dbb: ADD
00000dbc: MSTORE
00000dbd: PUSH1 0x25
00000dbf: PUSH1 0x24
00000dc1: DUP3
00000dc2: ADD
00000dc3: MSTORE
00000dc4: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00000de5: PUSH1 0x44
00000de7: DUP3
00000de8: ADD
00000de9: MSTORE
00000dea: PUSH5 0x207a65726f
00000df0: PUSH1 0xd8
00000df2: SHL
00000df3: PUSH1 0x64
00000df5: DUP3
00000df6: ADD
00000df7: MSTORE
00000df8: PUSH1 0x84
00000dfa: ADD
00000dfb: PUSH2 0x0684
00000dfe: JUMP
00000dff: JUMPDEST
00000e00: PUSH2 0x0e0c
00000e03: CALLER
00000e04: DUP6
00000e05: DUP6
00000e06: DUP5
00000e07: SUB
00000e08: PUSH2 0x1111
00000e0b: JUMP
00000e0c: JUMPDEST
00000e0d: POP
00000e0e: PUSH1 0x01
00000e10: SWAP4
00000e11: SWAP3
00000e12: POP
00000e13: POP
00000e14: POP
00000e15: JUMP
00000e16: JUMPDEST
00000e17: PUSH1 0x00
00000e19: PUSH2 0x0a54
00000e1c: CALLER
00000e1d: DUP5
00000e1e: DUP5
00000e1f: PUSH2 0x1235
00000e22: JUMP
00000e23: JUMPDEST
00000e24: PUSH1 0x05
00000e26: SLOAD
00000e27: PUSH1 0x01
00000e29: PUSH1 0x01
00000e2b: PUSH1 0xa0
00000e2d: SHL
00000e2e: SUB
00000e2f: AND
00000e30: CALLER
00000e31: EQ
00000e32: PUSH2 0x0e4d
00000e35: JUMPI
00000e36: PUSH1 0x40
00000e38: MLOAD
00000e39: PUSH3 0x461bcd
00000e3d: PUSH1 0xe5
00000e3f: SHL
00000e40: DUP2
00000e41: MSTORE
00000e42: PUSH1 0x04
00000e44: ADD
00000e45: PUSH2 0x0684
00000e48: SWAP1
00000e49: PUSH2 0x1e50
00000e4c: JUMP
00000e4d: JUMPDEST
00000e4e: PUSH1 0x0a
00000e50: DUP2
00000e51: SWAP1
00000e52: SSTORE
00000e53: PUSH2 0x0d6b
00000e56: PUSH2 0x15d5
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: PUSH1 0x05
00000e5d: SLOAD
00000e5e: PUSH1 0x01
00000e60: PUSH1 0x01
00000e62: PUSH1 0xa0
00000e64: SHL
00000e65: SUB
00000e66: AND
00000e67: CALLER
00000e68: EQ
00000e69: PUSH2 0x0e84
00000e6c: JUMPI
00000e6d: PUSH1 0x40
00000e6f: MLOAD
00000e70: PUSH3 0x461bcd
00000e74: PUSH1 0xe5
00000e76: SHL
00000e77: DUP2
00000e78: MSTORE
00000e79: PUSH1 0x04
00000e7b: ADD
00000e7c: PUSH2 0x0684
00000e7f: SWAP1
00000e80: PUSH2 0x1e50
00000e83: JUMP
00000e84: JUMPDEST
00000e85: PUSH1 0x64
00000e87: PUSH2 0x0e93
00000e8a: PUSH2 0x03e8
00000e8d: PUSH1 0x0a
00000e8f: PUSH2 0x1f2d
00000e92: JUMP
00000e93: JUMPDEST
00000e94: PUSH2 0x0e9d
00000e97: SWAP2
00000e98: SWAP1
00000e99: PUSH2 0x1f0d
00000e9c: JUMP
00000e9d: JUMPDEST
00000e9e: DUP2
00000e9f: GT
00000ea0: ISZERO
00000ea1: PUSH2 0x0eec
00000ea4: JUMPI
00000ea5: PUSH1 0x40
00000ea7: MLOAD
00000ea8: PUSH3 0x461bcd
00000eac: PUSH1 0xe5
00000eae: SHL
00000eaf: DUP2
00000eb0: MSTORE
00000eb1: PUSH1 0x20
00000eb3: PUSH1 0x04
00000eb5: DUP3
00000eb6: ADD
00000eb7: MSTORE
00000eb8: PUSH1 0x17
00000eba: PUSH1 0x24
00000ebc: DUP3
00000ebd: ADD
00000ebe: MSTORE
00000ebf: PUSH32 0x63616e6e6f74206265206d6f7265207468616e20313025000000000000000000
00000ee0: PUSH1 0x44
00000ee2: DUP3
00000ee3: ADD
00000ee4: MSTORE
00000ee5: PUSH1 0x64
00000ee7: ADD
00000ee8: PUSH2 0x0684
00000eeb: JUMP
00000eec: JUMPDEST
00000eed: PUSH1 0x0c
00000eef: SSTORE
00000ef0: JUMP
00000ef1: JUMPDEST
00000ef2: PUSH1 0x05
00000ef4: SLOAD
00000ef5: PUSH1 0x01
00000ef7: PUSH1 0x01
00000ef9: PUSH1 0xa0
00000efb: SHL
00000efc: SUB
00000efd: AND
00000efe: CALLER
00000eff: EQ
00000f00: PUSH2 0x0f1b
00000f03: JUMPI
00000f04: PUSH1 0x40
00000f06: MLOAD
00000f07: PUSH3 0x461bcd
00000f0b: PUSH1 0xe5
00000f0d: SHL
00000f0e: DUP2
00000f0f: MSTORE
00000f10: PUSH1 0x04
00000f12: ADD
00000f13: PUSH2 0x0684
00000f16: SWAP1
00000f17: PUSH2 0x1e50
00000f1a: JUMP
00000f1b: JUMPDEST
00000f1c: PUSH1 0x11
00000f1e: DUP1
00000f1f: SLOAD
00000f20: SWAP2
00000f21: ISZERO
00000f22: ISZERO
00000f23: PUSH2 0x0100
00000f26: MUL
00000f27: PUSH2 0xff00
00000f2a: NOT
00000f2b: SWAP1
00000f2c: SWAP3
00000f2d: AND
00000f2e: SWAP2
00000f2f: SWAP1
00000f30: SWAP2
00000f31: OR
00000f32: SWAP1
00000f33: SSTORE
00000f34: JUMP
00000f35: JUMPDEST
00000f36: PUSH1 0x05
00000f38: SLOAD
00000f39: PUSH1 0x01
00000f3b: PUSH1 0x01
00000f3d: PUSH1 0xa0
00000f3f: SHL
00000f40: SUB
00000f41: AND
00000f42: CALLER
00000f43: EQ
00000f44: PUSH2 0x0f5f
00000f47: JUMPI
00000f48: PUSH1 0x40
00000f4a: MLOAD
00000f4b: PUSH3 0x461bcd
00000f4f: PUSH1 0xe5
00000f51: SHL
00000f52: DUP2
00000f53: MSTORE
00000f54: PUSH1 0x04
00000f56: ADD
00000f57: PUSH2 0x0684
00000f5a: SWAP1
00000f5b: PUSH2 0x1e50
00000f5e: JUMP
00000f5f: JUMPDEST
00000f60: PUSH1 0x11
00000f62: SLOAD
00000f63: PUSH1 0xff
00000f65: AND
00000f66: PUSH2 0x0f81
00000f69: JUMPI
00000f6a: PUSH1 0x40
00000f6c: MLOAD
00000f6d: PUSH3 0x461bcd
00000f71: PUSH1 0xe5
00000f73: SHL
00000f74: DUP2
00000f75: MSTORE
00000f76: PUSH1 0x04
00000f78: ADD
00000f79: PUSH2 0x0684
00000f7c: SWAP1
00000f7d: PUSH2 0x1e20
00000f80: JUMP
00000f81: JUMPDEST
00000f82: PUSH1 0x05
00000f84: SLOAD
00000f85: PUSH1 0x40
00000f87: MLOAD
00000f88: PUSH1 0x01
00000f8a: PUSH1 0x01
00000f8c: PUSH1 0xa0
00000f8e: SHL
00000f8f: SUB
00000f90: SWAP1
00000f91: SWAP2
00000f92: AND
00000f93: SWAP1
00000f94: SELFBALANCE
00000f95: SWAP1
00000f96: PUSH1 0x00
00000f98: DUP2
00000f99: DUP2
00000f9a: DUP2
00000f9b: DUP6
00000f9c: DUP8
00000f9d: GAS
00000f9e: CALL
00000f9f: SWAP3
00000fa0: POP
00000fa1: POP
00000fa2: POP
00000fa3: RETURNDATASIZE
00000fa4: DUP1
00000fa5: PUSH1 0x00
00000fa7: DUP2
00000fa8: EQ
00000fa9: PUSH2 0x0fce
00000fac: JUMPI
00000fad: PUSH1 0x40
00000faf: MLOAD
00000fb0: SWAP2
00000fb1: POP
00000fb2: PUSH1 0x1f
00000fb4: NOT
00000fb5: PUSH1 0x3f
00000fb7: RETURNDATASIZE
00000fb8: ADD
00000fb9: AND
00000fba: DUP3
00000fbb: ADD
00000fbc: PUSH1 0x40
00000fbe: MSTORE
00000fbf: RETURNDATASIZE
00000fc0: DUP3
00000fc1: MSTORE
00000fc2: RETURNDATASIZE
00000fc3: PUSH1 0x00
00000fc5: PUSH1 0x20
00000fc7: DUP5
00000fc8: ADD
00000fc9: RETURNDATACOPY
00000fca: POP
00000fcb: POP
00000fcc: POP
00000fcd: JUMP
00000fce: JUMPDEST
00000fcf: PUSH1 0x60
00000fd1: SWAP2
00000fd2: POP
00000fd3: JUMPDEST
00000fd4: POP
00000fd5: POP
00000fd6: POP
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: PUSH1 0x05
00000fdb: SLOAD
00000fdc: PUSH1 0x01
00000fde: PUSH1 0x01
00000fe0: PUSH1 0xa0
00000fe2: SHL
00000fe3: SUB
00000fe4: AND
00000fe5: CALLER
00000fe6: EQ
00000fe7: PUSH2 0x1002
00000fea: JUMPI
00000feb: PUSH1 0x40
00000fed: MLOAD
00000fee: PUSH3 0x461bcd
00000ff2: PUSH1 0xe5
00000ff4: SHL
00000ff5: DUP2
00000ff6: MSTORE
00000ff7: PUSH1 0x04
00000ff9: ADD
00000ffa: PUSH2 0x0684
00000ffd: SWAP1
00000ffe: PUSH2 0x1e50
00001001: JUMP
00001002: JUMPDEST
00001003: PUSH1 0x06
00001005: DUP1
00001006: SLOAD
00001007: PUSH1 0x01
00001009: PUSH1 0x01
0000100b: PUSH1 0xa0
0000100d: SHL
0000100e: SUB
0000100f: NOT
00001010: AND
00001011: PUSH1 0x01
00001013: PUSH1 0x01
00001015: PUSH1 0xa0
00001017: SHL
00001018: SUB
00001019: SWAP3
0000101a: SWAP1
0000101b: SWAP3
0000101c: AND
0000101d: SWAP2
0000101e: SWAP1
0000101f: SWAP2
00001020: OR
00001021: SWAP1
00001022: SSTORE
00001023: JUMP
00001024: JUMPDEST
00001025: PUSH1 0x05
00001027: SLOAD
00001028: PUSH1 0x01
0000102a: PUSH1 0x01
0000102c: PUSH1 0xa0
0000102e: SHL
0000102f: SUB
00001030: AND
00001031: CALLER
00001032: EQ
00001033: PUSH2 0x104e
00001036: JUMPI
00001037: PUSH1 0x40
00001039: MLOAD
0000103a: PUSH3 0x461bcd
0000103e: PUSH1 0xe5
00001040: SHL
00001041: DUP2
00001042: MSTORE
00001043: PUSH1 0x04
00001045: ADD
00001046: PUSH2 0x0684
00001049: SWAP1
0000104a: PUSH2 0x1e50
0000104d: JUMP
0000104e: JUMPDEST
0000104f: PUSH1 0x01
00001051: PUSH1 0x01
00001053: PUSH1 0xa0
00001055: SHL
00001056: SUB
00001057: DUP2
00001058: AND
00001059: PUSH2 0x10b3
0000105c: JUMPI
0000105d: PUSH1 0x40
0000105f: MLOAD
00001060: PUSH3 0x461bcd
00001064: PUSH1 0xe5
00001066: SHL
00001067: DUP2
00001068: MSTORE
00001069: PUSH1 0x20
0000106b: PUSH1 0x04
0000106d: DUP3
0000106e: ADD
0000106f: MSTORE
00001070: PUSH1 0x26
00001072: PUSH1 0x24
00001074: DUP3
00001075: ADD
00001076: MSTORE
00001077: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001098: PUSH1 0x44
0000109a: DUP3
0000109b: ADD
0000109c: MSTORE
0000109d: PUSH6 0x646472657373
000010a4: PUSH1 0xd0
000010a6: SHL
000010a7: PUSH1 0x64
000010a9: DUP3
000010aa: ADD
000010ab: MSTORE
000010ac: PUSH1 0x84
000010ae: ADD
000010af: PUSH2 0x0684
000010b2: JUMP
000010b3: JUMPDEST
000010b4: PUSH2 0x0d6b
000010b7: DUP2
000010b8: PUSH2 0x1583
000010bb: JUMP
000010bc: JUMPDEST
000010bd: PUSH1 0x05
000010bf: SLOAD
000010c0: PUSH1 0x01
000010c2: PUSH1 0x01
000010c4: PUSH1 0xa0
000010c6: SHL
000010c7: SUB
000010c8: AND
000010c9: CALLER
000010ca: EQ
000010cb: PUSH2 0x10e6
000010ce: JUMPI
000010cf: PUSH1 0x40
000010d1: MLOAD
000010d2: PUSH3 0x461bcd
000010d6: PUSH1 0xe5
000010d8: SHL
000010d9: DUP2
000010da: MSTORE
000010db: PUSH1 0x04
000010dd: ADD
000010de: PUSH2 0x0684
000010e1: SWAP1
000010e2: PUSH2 0x1e50
000010e5: JUMP
000010e6: JUMPDEST
000010e7: PUSH1 0x01
000010e9: PUSH1 0x01
000010eb: PUSH1 0xa0
000010ed: SHL
000010ee: SUB
000010ef: SWAP2
000010f0: SWAP1
000010f1: SWAP2
000010f2: AND
000010f3: PUSH1 0x00
000010f5: SWAP1
000010f6: DUP2
000010f7: MSTORE
000010f8: PUSH1 0x07
000010fa: PUSH1 0x20
000010fc: MSTORE
000010fd: PUSH1 0x40
000010ff: SWAP1
00001100: KECCAK256
00001101: DUP1
00001102: SLOAD
00001103: PUSH1 0xff
00001105: NOT
00001106: AND
00001107: SWAP2
00001108: ISZERO
00001109: ISZERO
0000110a: SWAP2
0000110b: SWAP1
0000110c: SWAP2
0000110d: OR
0000110e: SWAP1
0000110f: SSTORE
00001110: JUMP
00001111: JUMPDEST
00001112: PUSH1 0x01
00001114: PUSH1 0x01
00001116: PUSH1 0xa0
00001118: SHL
00001119: SUB
0000111a: DUP4
0000111b: AND
0000111c: PUSH2 0x1173
0000111f: JUMPI
00001120: PUSH1 0x40
00001122: MLOAD
00001123: PUSH3 0x461bcd
00001127: PUSH1 0xe5
00001129: SHL
0000112a: DUP2
0000112b: MSTORE
0000112c: PUSH1 0x20
0000112e: PUSH1 0x04
00001130: DUP3
00001131: ADD
00001132: MSTORE
00001133: PUSH1 0x24
00001135: DUP1
00001136: DUP3
00001137: ADD
00001138: MSTORE
00001139: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
0000115a: PUSH1 0x44
0000115c: DUP3
0000115d: ADD
0000115e: MSTORE
0000115f: PUSH4 0x72657373
00001164: PUSH1 0xe0
00001166: SHL
00001167: PUSH1 0x64
00001169: DUP3
0000116a: ADD
0000116b: MSTORE
0000116c: PUSH1 0x84
0000116e: ADD
0000116f: PUSH2 0x0684
00001172: JUMP
00001173: JUMPDEST
00001174: PUSH1 0x01
00001176: PUSH1 0x01
00001178: PUSH1 0xa0
0000117a: SHL
0000117b: SUB
0000117c: DUP3
0000117d: AND
0000117e: PUSH2 0x11d4
00001181: JUMPI
00001182: PUSH1 0x40
00001184: MLOAD
00001185: PUSH3 0x461bcd
00001189: PUSH1 0xe5
0000118b: SHL
0000118c: DUP2
0000118d: MSTORE
0000118e: PUSH1 0x20
00001190: PUSH1 0x04
00001192: DUP3
00001193: ADD
00001194: MSTORE
00001195: PUSH1 0x22
00001197: PUSH1 0x24
00001199: DUP3
0000119a: ADD
0000119b: MSTORE
0000119c: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
000011bd: PUSH1 0x44
000011bf: DUP3
000011c0: ADD
000011c1: MSTORE
000011c2: PUSH2 0x7373
000011c5: PUSH1 0xf0
000011c7: SHL
000011c8: PUSH1 0x64
000011ca: DUP3
000011cb: ADD
000011cc: MSTORE
000011cd: PUSH1 0x84
000011cf: ADD
000011d0: PUSH2 0x0684
000011d3: JUMP
000011d4: JUMPDEST
000011d5: PUSH1 0x01
000011d7: PUSH1 0x01
000011d9: PUSH1 0xa0
000011db: SHL
000011dc: SUB
000011dd: DUP4
000011de: DUP2
000011df: AND
000011e0: PUSH1 0x00
000011e2: DUP2
000011e3: DUP2
000011e4: MSTORE
000011e5: PUSH1 0x01
000011e7: PUSH1 0x20
000011e9: SWAP1
000011ea: DUP2
000011eb: MSTORE
000011ec: PUSH1 0x40
000011ee: DUP1
000011ef: DUP4
000011f0: KECCAK256
000011f1: SWAP5
000011f2: DUP8
000011f3: AND
000011f4: DUP1
000011f5: DUP5
000011f6: MSTORE
000011f7: SWAP5
000011f8: DUP3
000011f9: MSTORE
000011fa: SWAP2
000011fb: DUP3
000011fc: SWAP1
000011fd: KECCAK256
000011fe: DUP6
000011ff: SWAP1
00001200: SSTORE
00001201: SWAP1
00001202: MLOAD
00001203: DUP5
00001204: DUP2
00001205: MSTORE
00001206: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001227: SWAP2
00001228: ADD
00001229: PUSH1 0x40
0000122b: MLOAD
0000122c: DUP1
0000122d: SWAP2
0000122e: SUB
0000122f: SWAP1
00001230: LOG3
00001231: POP
00001232: POP
00001233: POP
00001234: JUMP
00001235: JUMPDEST
00001236: PUSH1 0x00
00001238: PUSH2 0x1249
0000123b: PUSH1 0x05
0000123d: SLOAD
0000123e: PUSH1 0x01
00001240: PUSH1 0x01
00001242: PUSH1 0xa0
00001244: SHL
00001245: SUB
00001246: AND
00001247: SWAP1
00001248: JUMP
00001249: JUMPDEST
0000124a: PUSH1 0x01
0000124c: PUSH1 0x01
0000124e: PUSH1 0xa0
00001250: SHL
00001251: SUB
00001252: AND
00001253: DUP5
00001254: PUSH1 0x01
00001256: PUSH1 0x01
00001258: PUSH1 0xa0
0000125a: SHL
0000125b: SUB
0000125c: AND
0000125d: EQ
0000125e: DUP1
0000125f: PUSH2 0x1275
00001262: JUMPI
00001263: POP
00001264: PUSH1 0x05
00001266: SLOAD
00001267: PUSH1 0x01
00001269: PUSH1 0x01
0000126b: PUSH1 0xa0
0000126d: SHL
0000126e: SUB
0000126f: DUP5
00001270: DUP2
00001271: AND
00001272: SWAP2
00001273: AND
00001274: EQ
00001275: JUMPDEST
00001276: DUP1
00001277: PUSH2 0x128a
0000127a: JUMPI
0000127b: POP
0000127c: PUSH1 0x05
0000127e: SLOAD
0000127f: PUSH1 0x01
00001281: PUSH1 0x01
00001283: PUSH1 0xa0
00001285: SHL
00001286: SUB
00001287: AND
00001288: CALLER
00001289: EQ
0000128a: JUMPDEST
0000128b: PUSH1 0x01
0000128d: PUSH1 0x01
0000128f: PUSH1 0xa0
00001291: SHL
00001292: SUB
00001293: DUP5
00001294: AND
00001295: PUSH1 0x00
00001297: SWAP1
00001298: DUP2
00001299: MSTORE
0000129a: PUSH1 0x10
0000129c: PUSH1 0x20
0000129e: MSTORE
0000129f: PUSH1 0x40
000012a1: SWAP1
000012a2: KECCAK256
000012a3: SLOAD
000012a4: SWAP1
000012a5: SWAP2
000012a6: POP
000012a7: PUSH1 0xff
000012a9: AND
000012aa: ISZERO
000012ab: PUSH2 0x12c6
000012ae: JUMPI
000012af: PUSH1 0x40
000012b1: MLOAD
000012b2: PUSH3 0x461bcd
000012b6: PUSH1 0xe5
000012b8: SHL
000012b9: DUP2
000012ba: MSTORE
000012bb: PUSH1 0x04
000012bd: ADD
000012be: PUSH2 0x0684
000012c1: SWAP1
000012c2: PUSH2 0x1df9
000012c5: JUMP
000012c6: JUMPDEST
000012c7: PUSH1 0x01
000012c9: PUSH1 0x01
000012cb: PUSH1 0xa0
000012cd: SHL
000012ce: SUB
000012cf: DUP5
000012d0: AND
000012d1: PUSH1 0x00
000012d3: SWAP1
000012d4: DUP2
000012d5: MSTORE
000012d6: PUSH1 0x10
000012d8: PUSH1 0x20
000012da: MSTORE
000012db: PUSH1 0x40
000012dd: SWAP1
000012de: KECCAK256
000012df: SLOAD
000012e0: PUSH1 0xff
000012e2: AND
000012e3: ISZERO
000012e4: PUSH2 0x12ff
000012e7: JUMPI
000012e8: PUSH1 0x40
000012ea: MLOAD
000012eb: PUSH3 0x461bcd
000012ef: PUSH1 0xe5
000012f1: SHL
000012f2: DUP2
000012f3: MSTORE
000012f4: PUSH1 0x04
000012f6: ADD
000012f7: PUSH2 0x0684
000012fa: SWAP1
000012fb: PUSH2 0x1df9
000012fe: JUMP
000012ff: JUMPDEST
00001300: CALLER
00001301: PUSH1 0x00
00001303: SWAP1
00001304: DUP2
00001305: MSTORE
00001306: PUSH1 0x10
00001308: PUSH1 0x20
0000130a: MSTORE
0000130b: PUSH1 0x40
0000130d: SWAP1
0000130e: KECCAK256
0000130f: SLOAD
00001310: PUSH1 0xff
00001312: AND
00001313: ISZERO
00001314: PUSH2 0x132f
00001317: JUMPI
00001318: PUSH1 0x40
0000131a: MLOAD
0000131b: PUSH3 0x461bcd
0000131f: PUSH1 0xe5
00001321: SHL
00001322: DUP2
00001323: MSTORE
00001324: PUSH1 0x04
00001326: ADD
00001327: PUSH2 0x0684
0000132a: SWAP1
0000132b: PUSH2 0x1df9
0000132e: JUMP
0000132f: JUMPDEST
00001330: ADDRESS
00001331: PUSH1 0x00
00001333: SWAP1
00001334: DUP2
00001335: MSTORE
00001336: PUSH1 0x20
00001338: DUP2
00001339: SWAP1
0000133a: MSTORE
0000133b: PUSH1 0x40
0000133d: DUP2
0000133e: KECCAK256
0000133f: SLOAD
00001340: PUSH1 0x0f
00001342: SLOAD
00001343: SWAP1
00001344: SWAP2
00001345: SWAP1
00001346: PUSH1 0x01
00001348: PUSH1 0x01
0000134a: PUSH1 0xa0
0000134c: SHL
0000134d: SUB
0000134e: DUP8
0000134f: DUP2
00001350: AND
00001351: SWAP2
00001352: AND
00001353: EQ
00001354: DUP1
00001355: ISZERO
00001356: PUSH2 0x136d
00001359: JUMPI
0000135a: POP
0000135b: PUSH1 0x0e
0000135d: SLOAD
0000135e: PUSH1 0x01
00001360: PUSH1 0x01
00001362: PUSH1 0xa0
00001364: SHL
00001365: SUB
00001366: DUP7
00001367: DUP2
00001368: AND
00001369: SWAP2
0000136a: AND
0000136b: EQ
0000136c: ISZERO
0000136d: JUMPDEST
0000136e: PUSH1 0x0f
00001370: SLOAD
00001371: SWAP1
00001372: SWAP2
00001373: POP
00001374: PUSH1 0x01
00001376: PUSH1 0x01
00001378: PUSH1 0xa0
0000137a: SHL
0000137b: SUB
0000137c: DUP7
0000137d: DUP2
0000137e: AND
0000137f: SWAP2
00001380: AND
00001381: EQ
00001382: PUSH1 0x00
00001384: DUP3
00001385: DUP1
00001386: PUSH2 0x138c
00001389: JUMPI
0000138a: POP
0000138b: DUP2
0000138c: JUMPDEST
0000138d: SWAP1
0000138e: POP
0000138f: DUP1
00001390: ISZERO
00001391: PUSH2 0x141e
00001394: JUMPI
00001395: PUSH1 0x0d
00001397: SLOAD
00001398: TIMESTAMP
00001399: EQ
0000139a: ISZERO
0000139b: PUSH2 0x13c6
0000139e: JUMPI
0000139f: PUSH1 0x01
000013a1: PUSH1 0x01
000013a3: PUSH1 0xa0
000013a5: SHL
000013a6: SUB
000013a7: DUP8
000013a8: AND
000013a9: PUSH1 0x00
000013ab: SWAP1
000013ac: DUP2
000013ad: MSTORE
000013ae: PUSH1 0x10
000013b0: PUSH1 0x20
000013b2: MSTORE
000013b3: PUSH1 0x40
000013b5: SWAP1
000013b6: KECCAK256
000013b7: DUP1
000013b8: SLOAD
000013b9: PUSH1 0xff
000013bb: NOT
000013bc: AND
000013bd: PUSH1 0x01
000013bf: OR
000013c0: SWAP1
000013c1: SSTORE
000013c2: PUSH2 0x141e
000013c5: JUMP
000013c6: JUMPDEST
000013c7: DUP3
000013c8: ISZERO
000013c9: PUSH2 0x141e
000013cc: JUMPI
000013cd: PUSH1 0x00
000013cf: PUSH1 0x0d
000013d1: SLOAD
000013d2: GT
000013d3: PUSH2 0x141e
000013d6: JUMPI
000013d7: PUSH1 0x40
000013d9: MLOAD
000013da: PUSH3 0x461bcd
000013de: PUSH1 0xe5
000013e0: SHL
000013e1: DUP2
000013e2: MSTORE
000013e3: PUSH1 0x20
000013e5: PUSH1 0x04
000013e7: DUP3
000013e8: ADD
000013e9: MSTORE
000013ea: PUSH1 0x1a
000013ec: PUSH1 0x24
000013ee: DUP3
000013ef: ADD
000013f0: MSTORE
000013f1: PUSH32 0x74726164696e67206973206e6f7420656e61626c656420796574000000000000
00001412: PUSH1 0x44
00001414: DUP3
00001415: ADD
00001416: MSTORE
00001417: PUSH1 0x64
00001419: ADD
0000141a: PUSH2 0x0684
0000141d: JUMP
0000141e: JUMPDEST
0000141f: PUSH1 0x0c
00001421: SLOAD
00001422: PUSH1 0x0f
00001424: SLOAD
00001425: PUSH1 0x01
00001427: PUSH1 0x01
00001429: PUSH1 0xa0
0000142b: SHL
0000142c: SUB
0000142d: AND
0000142e: PUSH1 0x00
00001430: SWAP1
00001431: DUP2
00001432: MSTORE
00001433: PUSH1 0x20
00001435: DUP2
00001436: SWAP1
00001437: MSTORE
00001438: PUSH1 0x40
0000143a: DUP2
0000143b: KECCAK256
0000143c: SLOAD
0000143d: SWAP1
0000143e: SWAP2
0000143f: PUSH2 0x03e8
00001442: SWAP2
00001443: PUSH2 0x144c
00001446: SWAP2
00001447: SWAP1
00001448: PUSH2 0x1f2d
0000144b: JUMP
0000144c: JUMPDEST
0000144d: PUSH2 0x1456
00001450: SWAP2
00001451: SWAP1
00001452: PUSH2 0x1f0d
00001455: JUMP
00001456: JUMPDEST
00001457: PUSH1 0x11
00001459: SLOAD
0000145a: SWAP1
0000145b: SWAP2
0000145c: POP
0000145d: DUP2
0000145e: DUP7
0000145f: LT
00001460: ISZERO
00001461: SWAP1
00001462: PUSH2 0x0100
00001465: SWAP1
00001466: DIV
00001467: PUSH1 0xff
00001469: AND
0000146a: DUP1
0000146b: ISZERO
0000146c: PUSH2 0x147e
0000146f: JUMPI
00001470: POP
00001471: PUSH1 0x11
00001473: SLOAD
00001474: PUSH3 0x010000
00001478: SWAP1
00001479: DIV
0000147a: PUSH1 0xff
0000147c: AND
0000147d: ISZERO
0000147e: JUMPDEST
0000147f: DUP1
00001480: ISZERO
00001481: PUSH2 0x1488
00001484: JUMPI
00001485: POP
00001486: DUP7
00001487: ISZERO
00001488: JUMPDEST
00001489: DUP1
0000148a: ISZERO
0000148b: PUSH2 0x1491
0000148e: JUMPI
0000148f: POP
00001490: DUP1
00001491: JUMPDEST
00001492: DUP1
00001493: ISZERO
00001494: PUSH2 0x149e
00001497: JUMPI
00001498: POP
00001499: PUSH1 0x0d
0000149b: SLOAD
0000149c: ISZERO
0000149d: ISZERO
0000149e: JUMPDEST
0000149f: DUP1
000014a0: ISZERO
000014a1: PUSH2 0x14b8
000014a4: JUMPI
000014a5: POP
000014a6: PUSH1 0x0f
000014a8: SLOAD
000014a9: PUSH1 0x01
000014ab: PUSH1 0x01
000014ad: PUSH1 0xa0
000014af: SHL
000014b0: SUB
000014b1: DUP12
000014b2: DUP2
000014b3: AND
000014b4: SWAP2
000014b5: AND
000014b6: EQ
000014b7: ISZERO
000014b8: JUMPDEST
000014b9: ISZERO
000014ba: PUSH2 0x14c6
000014bd: JUMPI
000014be: PUSH2 0x14c6
000014c1: DUP3
000014c2: PUSH2 0x1652
000014c5: JUMP
000014c6: JUMPDEST
000014c7: PUSH1 0x00
000014c9: PUSH1 0x0d
000014cb: SLOAD
000014cc: PUSH1 0x00
000014ce: EQ
000014cf: ISZERO
000014d0: DUP1
000014d1: ISZERO
000014d2: PUSH2 0x14d8
000014d5: JUMPI
000014d6: POP
000014d7: DUP4
000014d8: JUMPDEST
000014d9: DUP1
000014da: ISZERO
000014db: PUSH2 0x14e7
000014de: JUMPI
000014df: POP
000014e0: PUSH1 0x08
000014e2: SLOAD
000014e3: PUSH1 0xff
000014e5: AND
000014e6: ISZERO
000014e7: JUMPDEST
000014e8: DUP1
000014e9: ISZERO
000014ea: PUSH2 0x152f
000014ed: JUMPI
000014ee: POP
000014ef: PUSH1 0x01
000014f1: PUSH1 0x01
000014f3: PUSH1 0xa0
000014f5: SHL
000014f6: SUB
000014f7: DUP12
000014f8: AND
000014f9: PUSH1 0x00
000014fb: SWAP1
000014fc: DUP2
000014fd: MSTORE
000014fe: PUSH1 0x07
00001500: PUSH1 0x20
00001502: MSTORE
00001503: PUSH1 0x40
00001505: SWAP1
00001506: KECCAK256
00001507: SLOAD
00001508: PUSH1 0xff
0000150a: AND
0000150b: DUP1
0000150c: PUSH2 0x152d
0000150f: JUMPI
00001510: POP
00001511: PUSH1 0x01
00001513: PUSH1 0x01
00001515: PUSH1 0xa0
00001517: SHL
00001518: SUB
00001519: DUP11
0000151a: AND
0000151b: PUSH1 0x00
0000151d: SWAP1
0000151e: DUP2
0000151f: MSTORE
00001520: PUSH1 0x07
00001522: PUSH1 0x20
00001524: MSTORE
00001525: PUSH1 0x40
00001527: SWAP1
00001528: KECCAK256
00001529: SLOAD
0000152a: PUSH1 0xff
0000152c: AND
0000152d: JUMPDEST
0000152e: ISZERO
0000152f: JUMPDEST
00001530: ISZERO
00001531: PUSH2 0x1562
00001534: JUMPI
00001535: PUSH2 0x03e8
00001538: PUSH1 0x0b
0000153a: SLOAD
0000153b: DUP11
0000153c: PUSH2 0x1545
0000153f: SWAP2
00001540: SWAP1
00001541: PUSH2 0x1f2d
00001544: JUMP
00001545: JUMPDEST
00001546: PUSH2 0x154f
00001549: SWAP2
0000154a: SWAP1
0000154b: PUSH2 0x1f0d
0000154e: JUMP
0000154f: JUMPDEST
00001550: SWAP1
00001551: POP
00001552: DUP1
00001553: ISZERO
00001554: PUSH2 0x1562
00001557: JUMPI
00001558: PUSH2 0x1562
0000155b: DUP12
0000155c: ADDRESS
0000155d: DUP4
0000155e: PUSH2 0x1889
00001561: JUMP
00001562: JUMPDEST
00001563: PUSH2 0x1576
00001566: DUP12
00001567: DUP12
00001568: PUSH2 0x1571
0000156b: DUP5
0000156c: DUP14
0000156d: PUSH2 0x1f4c
00001570: JUMP
00001571: JUMPDEST
00001572: PUSH2 0x1889
00001575: JUMP
00001576: JUMPDEST
00001577: POP
00001578: POP
00001579: POP
0000157a: POP
0000157b: POP
0000157c: POP
0000157d: POP
0000157e: POP
0000157f: POP
00001580: POP
00001581: POP
00001582: JUMP
00001583: JUMPDEST
00001584: PUSH1 0x05
00001586: DUP1
00001587: SLOAD
00001588: PUSH1 0x01
0000158a: PUSH1 0x01
0000158c: PUSH1 0xa0
0000158e: SHL
0000158f: SUB
00001590: DUP4
00001591: DUP2
00001592: AND
00001593: PUSH1 0x01
00001595: PUSH1 0x01
00001597: PUSH1 0xa0
00001599: SHL
0000159a: SUB
0000159b: NOT
0000159c: DUP4
0000159d: AND
0000159e: DUP2
0000159f: OR
000015a0: SWAP1
000015a1: SWAP4
000015a2: SSTORE
000015a3: PUSH1 0x40
000015a5: MLOAD
000015a6: SWAP2
000015a7: AND
000015a8: SWAP2
000015a9: SWAP1
000015aa: DUP3
000015ab: SWAP1
000015ac: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000015cd: SWAP1
000015ce: PUSH1 0x00
000015d0: SWAP1
000015d1: LOG3
000015d2: POP
000015d3: POP
000015d4: JUMP
000015d5: JUMPDEST
000015d6: PUSH1 0x0a
000015d8: SLOAD
000015d9: PUSH1 0x09
000015db: SLOAD
000015dc: PUSH2 0x15e5
000015df: SWAP2
000015e0: SWAP1
000015e1: PUSH2 0x1ef5
000015e4: JUMP
000015e5: JUMPDEST
000015e6: PUSH1 0x0b
000015e8: SSTORE
000015e9: PUSH1 0x64
000015eb: PUSH2 0x15f7
000015ee: PUSH2 0x03e8
000015f1: PUSH1 0x1e
000015f3: PUSH2 0x1f2d
000015f6: JUMP
000015f7: JUMPDEST
000015f8: PUSH2 0x1601
000015fb: SWAP2
000015fc: SWAP1
000015fd: PUSH2 0x1f0d
00001600: JUMP
00001601: JUMPDEST
00001602: PUSH1 0x0b
00001604: SLOAD
00001605: GT
00001606: ISZERO
00001607: PUSH2 0x0d32
0000160a: JUMPI
0000160b: PUSH1 0x40
0000160d: MLOAD
0000160e: PUSH3 0x461bcd
00001612: PUSH1 0xe5
00001614: SHL
00001615: DUP2
00001616: MSTORE
00001617: PUSH1 0x20
00001619: PUSH1 0x04
0000161b: DUP3
0000161c: ADD
0000161d: MSTORE
0000161e: PUSH1 0x17
00001620: PUSH1 0x24
00001622: DUP3
00001623: ADD
00001624: MSTORE
00001625: PUSH32 0x7461782063616e6e6f742062652061626f766520333025000000000000000000
00001646: PUSH1 0x44
00001648: DUP3
00001649: ADD
0000164a: MSTORE
0000164b: PUSH1 0x64
0000164d: ADD
0000164e: PUSH2 0x0684
00001651: JUMP
00001652: JUMPDEST
00001653: PUSH1 0x11
00001655: DUP1
00001656: SLOAD
00001657: PUSH3 0xff0000
0000165b: NOT
0000165c: AND
0000165d: PUSH3 0x010000
00001661: OR
00001662: SWAP1
00001663: SSTORE
00001664: PUSH1 0x0b
00001666: SLOAD
00001667: PUSH1 0x0a
00001669: SLOAD
0000166a: SELFBALANCE
0000166b: SWAP2
0000166c: PUSH1 0x00
0000166e: SWAP2
0000166f: PUSH1 0x02
00001671: SWAP2
00001672: SWAP1
00001673: PUSH2 0x167c
00001676: SWAP1
00001677: DUP7
00001678: PUSH2 0x1f2d
0000167b: JUMP
0000167c: JUMPDEST
0000167d: PUSH2 0x1686
00001680: SWAP2
00001681: SWAP1
00001682: PUSH2 0x1f0d
00001685: JUMP
00001686: JUMPDEST
00001687: PUSH2 0x1690
0000168a: SWAP2
0000168b: SWAP1
0000168c: PUSH2 0x1f0d
0000168f: JUMP
00001690: JUMPDEST
00001691: SWAP1
00001692: POP
00001693: PUSH1 0x00
00001695: PUSH2 0x169e
00001698: DUP3
00001699: DUP6
0000169a: PUSH2 0x1f4c
0000169d: JUMP
0000169e: JUMPDEST
0000169f: PUSH1 0x40
000016a1: DUP1
000016a2: MLOAD
000016a3: PUSH1 0x02
000016a5: DUP1
000016a6: DUP3
000016a7: MSTORE
000016a8: PUSH1 0x60
000016aa: DUP3
000016ab: ADD
000016ac: DUP4
000016ad: MSTORE
000016ae: SWAP3
000016af: SWAP4
000016b0: POP
000016b1: PUSH1 0x00
000016b3: SWAP3
000016b4: SWAP1
000016b5: SWAP2
000016b6: PUSH1 0x20
000016b8: DUP4
000016b9: ADD
000016ba: SWAP1
000016bb: DUP1
000016bc: CALLDATASIZE
000016bd: DUP4
000016be: CALLDATACOPY
000016bf: ADD
000016c0: SWAP1
000016c1: POP
000016c2: POP
000016c3: SWAP1
000016c4: POP
000016c5: ADDRESS
000016c6: DUP2
000016c7: PUSH1 0x00
000016c9: DUP2
000016ca: MLOAD
000016cb: DUP2
000016cc: LT
000016cd: PUSH2 0x16e6
000016d0: JUMPI
000016d1: PUSH4 0x4e487b71
000016d6: PUSH1 0xe0
000016d8: SHL
000016d9: PUSH1 0x00
000016db: MSTORE
000016dc: PUSH1 0x32
000016de: PUSH1 0x04
000016e0: MSTORE
000016e1: PUSH1 0x24
000016e3: PUSH1 0x00
000016e5: REVERT
000016e6: JUMPDEST
000016e7: PUSH1 0x01
000016e9: PUSH1 0x01
000016eb: PUSH1 0xa0
000016ed: SHL
000016ee: SUB
000016ef: SWAP3
000016f0: DUP4
000016f1: AND
000016f2: PUSH1 0x20
000016f4: SWAP2
000016f5: DUP3
000016f6: MUL
000016f7: SWAP3
000016f8: SWAP1
000016f9: SWAP3
000016fa: ADD
000016fb: DUP2
000016fc: ADD
000016fd: SWAP2
000016fe: SWAP1
000016ff: SWAP2
00001700: MSTORE
00001701: PUSH1 0x0e
00001703: SLOAD
00001704: PUSH1 0x40
00001706: DUP1
00001707: MLOAD
00001708: PUSH4 0x15ab88c9
0000170d: PUSH1 0xe3
0000170f: SHL
00001710: DUP2
00001711: MSTORE
00001712: SWAP1
00001713: MLOAD
00001714: SWAP2
00001715: SWAP1
00001716: SWAP4
00001717: AND
00001718: SWAP3
00001719: PUSH4 0xad5c4648
0000171e: SWAP3
0000171f: PUSH1 0x04
00001721: DUP1
00001722: DUP4
00001723: ADD
00001724: SWAP4
00001725: SWAP2
00001726: SWAP3
00001727: DUP3
00001728: SWAP1
00001729: SUB
0000172a: ADD
0000172b: DUP2
0000172c: DUP7
0000172d: DUP1
0000172e: EXTCODESIZE
0000172f: ISZERO
00001730: DUP1
00001731: ISZERO
00001732: PUSH2 0x173a
00001735: JUMPI
00001736: PUSH1 0x00
00001738: DUP1
00001739: REVERT
0000173a: JUMPDEST
0000173b: POP
0000173c: GAS
0000173d: STATICCALL
0000173e: ISZERO
0000173f: DUP1
00001740: ISZERO
00001741: PUSH2 0x174e
00001744: JUMPI
00001745: RETURNDATASIZE
00001746: PUSH1 0x00
00001748: DUP1
00001749: RETURNDATACOPY
0000174a: RETURNDATASIZE
0000174b: PUSH1 0x00
0000174d: REVERT
0000174e: JUMPDEST
0000174f: POP
00001750: POP
00001751: POP
00001752: POP
00001753: PUSH1 0x40
00001755: MLOAD
00001756: RETURNDATASIZE
00001757: PUSH1 0x1f
00001759: NOT
0000175a: PUSH1 0x1f
0000175c: DUP3
0000175d: ADD
0000175e: AND
0000175f: DUP3
00001760: ADD
00001761: DUP1
00001762: PUSH1 0x40
00001764: MSTORE
00001765: POP
00001766: DUP2
00001767: ADD
00001768: SWAP1
00001769: PUSH2 0x1772
0000176c: SWAP2
0000176d: SWAP1
0000176e: PUSH2 0x1c25
00001771: JUMP
00001772: JUMPDEST
00001773: DUP2
00001774: PUSH1 0x01
00001776: DUP2
00001777: MLOAD
00001778: DUP2
00001779: LT
0000177a: PUSH2 0x1793
0000177d: JUMPI
0000177e: PUSH4 0x4e487b71
00001783: PUSH1 0xe0
00001785: SHL
00001786: PUSH1 0x00
00001788: MSTORE
00001789: PUSH1 0x32
0000178b: PUSH1 0x04
0000178d: MSTORE
0000178e: PUSH1 0x24
00001790: PUSH1 0x00
00001792: REVERT
00001793: JUMPDEST
00001794: PUSH1 0x01
00001796: PUSH1 0x01
00001798: PUSH1 0xa0
0000179a: SHL
0000179b: SUB
0000179c: SWAP3
0000179d: DUP4
0000179e: AND
0000179f: PUSH1 0x20
000017a1: SWAP2
000017a2: DUP3
000017a3: MUL
000017a4: SWAP3
000017a5: SWAP1
000017a6: SWAP3
000017a7: ADD
000017a8: ADD
000017a9: MSTORE
000017aa: PUSH1 0x0e
000017ac: SLOAD
000017ad: PUSH2 0x17b9
000017b0: SWAP2
000017b1: ADDRESS
000017b2: SWAP2
000017b3: AND
000017b4: DUP5
000017b5: PUSH2 0x1111
000017b8: JUMP
000017b9: JUMPDEST
000017ba: PUSH1 0x0e
000017bc: SLOAD
000017bd: PUSH1 0x40
000017bf: MLOAD
000017c0: PUSH4 0x791ac947
000017c5: PUSH1 0xe0
000017c7: SHL
000017c8: DUP2
000017c9: MSTORE
000017ca: PUSH1 0x01
000017cc: PUSH1 0x01
000017ce: PUSH1 0xa0
000017d0: SHL
000017d1: SUB
000017d2: SWAP1
000017d3: SWAP2
000017d4: AND
000017d5: SWAP1
000017d6: PUSH4 0x791ac947
000017db: SWAP1
000017dc: PUSH2 0x17f2
000017df: SWAP1
000017e0: DUP6
000017e1: SWAP1
000017e2: PUSH1 0x00
000017e4: SWAP1
000017e5: DUP7
000017e6: SWAP1
000017e7: ADDRESS
000017e8: SWAP1
000017e9: TIMESTAMP
000017ea: SWAP1
000017eb: PUSH1 0x04
000017ed: ADD
000017ee: PUSH2 0x1e85
000017f1: JUMP
000017f2: JUMPDEST
000017f3: PUSH1 0x00
000017f5: PUSH1 0x40
000017f7: MLOAD
000017f8: DUP1
000017f9: DUP4
000017fa: SUB
000017fb: DUP2
000017fc: PUSH1 0x00
000017fe: DUP8
000017ff: DUP1
00001800: EXTCODESIZE
00001801: ISZERO
00001802: DUP1
00001803: ISZERO
00001804: PUSH2 0x180c
00001807: JUMPI
00001808: PUSH1 0x00
0000180a: DUP1
0000180b: REVERT
0000180c: JUMPDEST
0000180d: POP
0000180e: GAS
0000180f: CALL
00001810: ISZERO
00001811: DUP1
00001812: ISZERO
00001813: PUSH2 0x1820
00001816: JUMPI
00001817: RETURNDATASIZE
00001818: PUSH1 0x00
0000181a: DUP1
0000181b: RETURNDATACOPY
0000181c: RETURNDATASIZE
0000181d: PUSH1 0x00
0000181f: REVERT
00001820: JUMPDEST
00001821: POP
00001822: POP
00001823: POP
00001824: POP
00001825: PUSH1 0x00
00001827: DUP5
00001828: SELFBALANCE
00001829: PUSH2 0x1832
0000182c: SWAP2
0000182d: SWAP1
0000182e: PUSH2 0x1f4c
00001831: JUMP
00001832: JUMPDEST
00001833: SWAP1
00001834: POP
00001835: DUP1
00001836: ISZERO
00001837: PUSH2 0x1875
0000183a: JUMPI
0000183b: PUSH1 0x00
0000183d: PUSH1 0x0b
0000183f: SLOAD
00001840: PUSH1 0x09
00001842: SLOAD
00001843: DUP4
00001844: PUSH2 0x184d
00001847: SWAP2
00001848: SWAP1
00001849: PUSH2 0x1f2d
0000184c: JUMP
0000184d: JUMPDEST
0000184e: PUSH2 0x1857
00001851: SWAP2
00001852: SWAP1
00001853: PUSH2 0x1f0d
00001856: JUMP
00001857: JUMPDEST
00001858: SWAP1
00001859: POP
0000185a: PUSH1 0x00
0000185c: PUSH2 0x1865
0000185f: DUP3
00001860: DUP5
00001861: PUSH2 0x1f4c
00001864: JUMP
00001865: JUMPDEST
00001866: SWAP1
00001867: POP
00001868: PUSH2 0x1872
0000186b: DUP3
0000186c: DUP3
0000186d: DUP9
0000186e: PUSH2 0x1a57
00001871: JUMP
00001872: JUMPDEST
00001873: POP
00001874: POP
00001875: JUMPDEST
00001876: POP
00001877: POP
00001878: PUSH1 0x11
0000187a: DUP1
0000187b: SLOAD
0000187c: PUSH3 0xff0000
00001880: NOT
00001881: AND
00001882: SWAP1
00001883: SSTORE
00001884: POP
00001885: POP
00001886: POP
00001887: POP
00001888: JUMP
00001889: JUMPDEST
0000188a: PUSH1 0x01
0000188c: PUSH1 0x01
0000188e: PUSH1 0xa0
00001890: SHL
00001891: SUB
00001892: DUP4
00001893: AND
00001894: PUSH2 0x18ed
00001897: JUMPI
00001898: PUSH1 0x40
0000189a: MLOAD
0000189b: PUSH3 0x461bcd
0000189f: PUSH1 0xe5
000018a1: SHL
000018a2: DUP2
000018a3: MSTORE
000018a4: PUSH1 0x20
000018a6: PUSH1 0x04
000018a8: DUP3
000018a9: ADD
000018aa: MSTORE
000018ab: PUSH1 0x25
000018ad: PUSH1 0x24
000018af: DUP3
000018b0: ADD
000018b1: MSTORE
000018b2: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
000018d3: PUSH1 0x44
000018d5: DUP3
000018d6: ADD
000018d7: MSTORE
000018d8: PUSH5 0x6472657373
000018de: PUSH1 0xd8
000018e0: SHL
000018e1: PUSH1 0x64
000018e3: DUP3
000018e4: ADD
000018e5: MSTORE
000018e6: PUSH1 0x84
000018e8: ADD
000018e9: PUSH2 0x0684
000018ec: JUMP
000018ed: JUMPDEST
000018ee: PUSH1 0x01
000018f0: PUSH1 0x01
000018f2: PUSH1 0xa0
000018f4: SHL
000018f5: SUB
000018f6: DUP3
000018f7: AND
000018f8: PUSH2 0x194f
000018fb: JUMPI
000018fc: PUSH1 0x40
000018fe: MLOAD
000018ff: PUSH3 0x461bcd
00001903: PUSH1 0xe5
00001905: SHL
00001906: DUP2
00001907: MSTORE
00001908: PUSH1 0x20
0000190a: PUSH1 0x04
0000190c: DUP3
0000190d: ADD
0000190e: MSTORE
0000190f: PUSH1 0x23
00001911: PUSH1 0x24
00001913: DUP3
00001914: ADD
00001915: MSTORE
00001916: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00001937: PUSH1 0x44
00001939: DUP3
0000193a: ADD
0000193b: MSTORE
0000193c: PUSH3 0x657373
00001940: PUSH1 0xe8
00001942: SHL
00001943: PUSH1 0x64
00001945: DUP3
00001946: ADD
00001947: MSTORE
00001948: PUSH1 0x84
0000194a: ADD
0000194b: PUSH2 0x0684
0000194e: JUMP
0000194f: JUMPDEST
00001950: PUSH1 0x01
00001952: PUSH1 0x01
00001954: PUSH1 0xa0
00001956: SHL
00001957: SUB
00001958: DUP4
00001959: AND
0000195a: PUSH1 0x00
0000195c: SWAP1
0000195d: DUP2
0000195e: MSTORE
0000195f: PUSH1 0x20
00001961: DUP2
00001962: SWAP1
00001963: MSTORE
00001964: PUSH1 0x40
00001966: SWAP1
00001967: KECCAK256
00001968: SLOAD
00001969: DUP2
0000196a: DUP2
0000196b: LT
0000196c: ISZERO
0000196d: PUSH2 0x19c7
00001970: JUMPI
00001971: PUSH1 0x40
00001973: MLOAD
00001974: PUSH3 0x461bcd
00001978: PUSH1 0xe5
0000197a: SHL
0000197b: DUP2
0000197c: MSTORE
0000197d: PUSH1 0x20
0000197f: PUSH1 0x04
00001981: DUP3
00001982: ADD
00001983: MSTORE
00001984: PUSH1 0x26
00001986: PUSH1 0x24
00001988: DUP3
00001989: ADD
0000198a: MSTORE
0000198b: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
000019ac: PUSH1 0x44
000019ae: DUP3
000019af: ADD
000019b0: MSTORE
000019b1: PUSH6 0x616c616e6365
000019b8: PUSH1 0xd0
000019ba: SHL
000019bb: PUSH1 0x64
000019bd: DUP3
000019be: ADD
000019bf: MSTORE
000019c0: PUSH1 0x84
000019c2: ADD
000019c3: PUSH2 0x0684
000019c6: JUMP
000019c7: JUMPDEST
000019c8: PUSH1 0x01
000019ca: PUSH1 0x01
000019cc: PUSH1 0xa0
000019ce: SHL
000019cf: SUB
000019d0: DUP1
000019d1: DUP6
000019d2: AND
000019d3: PUSH1 0x00
000019d5: SWAP1
000019d6: DUP2
000019d7: MSTORE
000019d8: PUSH1 0x20
000019da: DUP2
000019db: SWAP1
000019dc: MSTORE
000019dd: PUSH1 0x40
000019df: DUP1
000019e0: DUP3
000019e1: KECCAK256
000019e2: DUP6
000019e3: DUP6
000019e4: SUB
000019e5: SWAP1
000019e6: SSTORE
000019e7: SWAP2
000019e8: DUP6
000019e9: AND
000019ea: DUP2
000019eb: MSTORE
000019ec: SWAP1
000019ed: DUP2
000019ee: KECCAK256
000019ef: DUP1
000019f0: SLOAD
000019f1: DUP5
000019f2: SWAP3
000019f3: SWAP1
000019f4: PUSH2 0x19fe
000019f7: SWAP1
000019f8: DUP5
000019f9: SWAP1
000019fa: PUSH2 0x1ef5
000019fd: JUMP
000019fe: JUMPDEST
000019ff: SWAP3
00001a00: POP
00001a01: POP
00001a02: DUP2
00001a03: SWAP1
00001a04: SSTORE
00001a05: POP
00001a06: DUP3
00001a07: PUSH1 0x01
00001a09: PUSH1 0x01
00001a0b: PUSH1 0xa0
00001a0d: SHL
00001a0e: SUB
00001a0f: AND
00001a10: DUP5
00001a11: PUSH1 0x01
00001a13: PUSH1 0x01
00001a15: PUSH1 0xa0
00001a17: SHL
00001a18: SUB
00001a19: AND
00001a1a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001a3b: DUP5
00001a3c: PUSH1 0x40
00001a3e: MLOAD
00001a3f: PUSH2 0x1a4a
00001a42: SWAP2
00001a43: DUP2
00001a44: MSTORE
00001a45: PUSH1 0x20
00001a47: ADD
00001a48: SWAP1
00001a49: JUMP
00001a4a: JUMPDEST
00001a4b: PUSH1 0x40
00001a4d: MLOAD
00001a4e: DUP1
00001a4f: SWAP2
00001a50: SUB
00001a51: SWAP1
00001a52: LOG3
00001a53: PUSH2 0x089a
00001a56: JUMP
00001a57: JUMPDEST
00001a58: DUP3
00001a59: ISZERO
00001a5a: PUSH2 0x1ae6
00001a5d: JUMPI
00001a5e: PUSH1 0x06
00001a60: SLOAD
00001a61: PUSH1 0x00
00001a63: SWAP1
00001a64: PUSH1 0x01
00001a66: PUSH1 0x01
00001a68: PUSH1 0xa0
00001a6a: SHL
00001a6b: SUB
00001a6c: AND
00001a6d: ISZERO
00001a6e: PUSH2 0x1a82
00001a71: JUMPI
00001a72: PUSH1 0x06
00001a74: SLOAD
00001a75: PUSH1 0x01
00001a77: PUSH1 0x01
00001a79: PUSH1 0xa0
00001a7b: SHL
00001a7c: SUB
00001a7d: AND
00001a7e: PUSH2 0x1a8f
00001a81: JUMP
00001a82: JUMPDEST
00001a83: PUSH1 0x05
00001a85: SLOAD
00001a86: PUSH1 0x01
00001a88: PUSH1 0x01
00001a8a: PUSH1 0xa0
00001a8c: SHL
00001a8d: SUB
00001a8e: AND
00001a8f: JUMPDEST
00001a90: SWAP1
00001a91: POP
00001a92: DUP1
00001a93: PUSH1 0x01
00001a95: PUSH1 0x01
00001a97: PUSH1 0xa0
00001a99: SHL
00001a9a: SUB
00001a9b: AND
00001a9c: DUP5
00001a9d: PUSH1 0x40
00001a9f: MLOAD
00001aa0: PUSH1 0x00
00001aa2: PUSH1 0x40
00001aa4: MLOAD
00001aa5: DUP1
00001aa6: DUP4
00001aa7: SUB
00001aa8: DUP2
00001aa9: DUP6
00001aaa: DUP8
00001aab: GAS
00001aac: CALL
00001aad: SWAP3
00001aae: POP
00001aaf: POP
00001ab0: POP
00001ab1: RETURNDATASIZE
00001ab2: DUP1
00001ab3: PUSH1 0x00
00001ab5: DUP2
00001ab6: EQ
00001ab7: PUSH2 0x1adc
00001aba: JUMPI
00001abb: PUSH1 0x40
00001abd: MLOAD
00001abe: SWAP2
00001abf: POP
00001ac0: PUSH1 0x1f
00001ac2: NOT
00001ac3: PUSH1 0x3f
00001ac5: RETURNDATASIZE
00001ac6: ADD
00001ac7: AND
00001ac8: DUP3
00001ac9: ADD
00001aca: PUSH1 0x40
00001acc: MSTORE
00001acd: RETURNDATASIZE
00001ace: DUP3
00001acf: MSTORE
00001ad0: RETURNDATASIZE
00001ad1: PUSH1 0x00
00001ad3: PUSH1 0x20
00001ad5: DUP5
00001ad6: ADD
00001ad7: RETURNDATACOPY
00001ad8: PUSH2 0x1ae1
00001adb: JUMP
00001adc: JUMPDEST
00001add: PUSH1 0x60
00001adf: SWAP2
00001ae0: POP
00001ae1: JUMPDEST
00001ae2: POP
00001ae3: POP
00001ae4: POP
00001ae5: POP
00001ae6: JUMPDEST
00001ae7: PUSH1 0x00
00001ae9: DUP3
00001aea: GT
00001aeb: DUP1
00001aec: ISZERO
00001aed: PUSH2 0x1af6
00001af0: JUMPI
00001af1: POP
00001af2: PUSH1 0x00
00001af4: DUP2
00001af5: GT
00001af6: JUMPDEST
00001af7: ISZERO
00001af8: PUSH2 0x0fd3
00001afb: JUMPI
00001afc: PUSH2 0x0fd3
00001aff: DUP2
00001b00: DUP4
00001b01: PUSH1 0x0e
00001b03: SLOAD
00001b04: PUSH2 0x1b18
00001b07: SWAP1
00001b08: ADDRESS
00001b09: SWAP1
00001b0a: PUSH1 0x01
00001b0c: PUSH1 0x01
00001b0e: PUSH1 0xa0
00001b10: SHL
00001b11: SUB
00001b12: AND
00001b13: DUP5
00001b14: PUSH2 0x1111
00001b17: JUMP
00001b18: JUMPDEST
00001b19: PUSH1 0x0e
00001b1b: SLOAD
00001b1c: PUSH1 0x06
00001b1e: SLOAD
00001b1f: PUSH1 0x01
00001b21: PUSH1 0x01
00001b23: PUSH1 0xa0
00001b25: SHL
00001b26: SUB
00001b27: SWAP2
00001b28: DUP3
00001b29: AND
00001b2a: SWAP2
00001b2b: PUSH4 0xf305d719
00001b30: SWAP2
00001b31: DUP5
00001b32: SWAP2
00001b33: ADDRESS
00001b34: SWAP2
00001b35: DUP8
00001b36: SWAP2
00001b37: PUSH1 0x00
00001b39: SWAP2
00001b3a: DUP3
00001b3b: SWAP2
00001b3c: AND
00001b3d: ISZERO
00001b3e: PUSH2 0x1b52
00001b41: JUMPI
00001b42: PUSH1 0x06
00001b44: SLOAD
00001b45: PUSH1 0x01
00001b47: PUSH1 0x01
00001b49: PUSH1 0xa0
00001b4b: SHL
00001b4c: SUB
00001b4d: AND
00001b4e: PUSH2 0x1b5f
00001b51: JUMP
00001b52: JUMPDEST
00001b53: PUSH1 0x05
00001b55: SLOAD
00001b56: PUSH1 0x01
00001b58: PUSH1 0x01
00001b5a: PUSH1 0xa0
00001b5c: SHL
00001b5d: SUB
00001b5e: AND
00001b5f: JUMPDEST
00001b60: PUSH1 0x40
00001b62: MLOAD
00001b63: PUSH1 0xe0
00001b65: DUP9
00001b66: SWAP1
00001b67: SHL
00001b68: PUSH1 0x01
00001b6a: PUSH1 0x01
00001b6c: PUSH1 0xe0
00001b6e: SHL
00001b6f: SUB
00001b70: NOT
00001b71: AND
00001b72: DUP2
00001b73: MSTORE
00001b74: PUSH1 0x01
00001b76: PUSH1 0x01
00001b78: PUSH1 0xa0
00001b7a: SHL
00001b7b: SUB
00001b7c: SWAP6
00001b7d: DUP7
00001b7e: AND
00001b7f: PUSH1 0x04
00001b81: DUP3
00001b82: ADD
00001b83: MSTORE
00001b84: PUSH1 0x24
00001b86: DUP2
00001b87: ADD
00001b88: SWAP5
00001b89: SWAP1
00001b8a: SWAP5
00001b8b: MSTORE
00001b8c: PUSH1 0x44
00001b8e: DUP5
00001b8f: ADD
00001b90: SWAP3
00001b91: SWAP1
00001b92: SWAP3
00001b93: MSTORE
00001b94: PUSH1 0x64
00001b96: DUP4
00001b97: ADD
00001b98: MSTORE
00001b99: SWAP1
00001b9a: SWAP2
00001b9b: AND
00001b9c: PUSH1 0x84
00001b9e: DUP3
00001b9f: ADD
00001ba0: MSTORE
00001ba1: TIMESTAMP
00001ba2: PUSH1 0xa4
00001ba4: DUP3
00001ba5: ADD
00001ba6: MSTORE
00001ba7: PUSH1 0xc4
00001ba9: ADD
00001baa: PUSH1 0x60
00001bac: PUSH1 0x40
00001bae: MLOAD
00001baf: DUP1
00001bb0: DUP4
00001bb1: SUB
00001bb2: DUP2
00001bb3: DUP6
00001bb4: DUP9
00001bb5: DUP1
00001bb6: EXTCODESIZE
00001bb7: ISZERO
00001bb8: DUP1
00001bb9: ISZERO
00001bba: PUSH2 0x1bc2
00001bbd: JUMPI
00001bbe: PUSH1 0x00
00001bc0: DUP1
00001bc1: REVERT
00001bc2: JUMPDEST
00001bc3: POP
00001bc4: GAS
00001bc5: CALL
00001bc6: ISZERO
00001bc7: DUP1
00001bc8: ISZERO
00001bc9: PUSH2 0x1bd6
00001bcc: JUMPI
00001bcd: RETURNDATASIZE
00001bce: PUSH1 0x00
00001bd0: DUP1
00001bd1: RETURNDATACOPY
00001bd2: RETURNDATASIZE
00001bd3: PUSH1 0x00
00001bd5: REVERT
00001bd6: JUMPDEST
00001bd7: POP
00001bd8: POP
00001bd9: POP
00001bda: POP
00001bdb: POP
00001bdc: PUSH1 0x40
00001bde: MLOAD
00001bdf: RETURNDATASIZE
00001be0: PUSH1 0x1f
00001be2: NOT
00001be3: PUSH1 0x1f
00001be5: DUP3
00001be6: ADD
00001be7: AND
00001be8: DUP3
00001be9: ADD
00001bea: DUP1
00001beb: PUSH1 0x40
00001bed: MSTORE
00001bee: POP
00001bef: DUP2
00001bf0: ADD
00001bf1: SWAP1
00001bf2: PUSH2 0x1bfb
00001bf5: SWAP2
00001bf6: SWAP1
00001bf7: PUSH2 0x1d79
00001bfa: JUMP
00001bfb: JUMPDEST
00001bfc: POP
00001bfd: POP
00001bfe: POP
00001bff: POP
00001c00: POP
00001c01: JUMP
00001c02: JUMPDEST
00001c03: PUSH1 0x00
00001c05: PUSH1 0x20
00001c07: DUP3
00001c08: DUP5
00001c09: SUB
00001c0a: SLT
00001c0b: ISZERO
00001c0c: PUSH2 0x1c13
00001c0f: JUMPI
00001c10: DUP1
00001c11: DUP2
00001c12: REVERT
00001c13: JUMPDEST
00001c14: DUP2
00001c15: CALLDATALOAD
00001c16: PUSH2 0x1c1e
00001c19: DUP2
00001c1a: PUSH2 0x1fb4
00001c1d: JUMP
00001c1e: JUMPDEST
00001c1f: SWAP4
00001c20: SWAP3
00001c21: POP
00001c22: POP
00001c23: POP
00001c24: JUMP
00001c25: JUMPDEST
00001c26: PUSH1 0x00
00001c28: PUSH1 0x20
00001c2a: DUP3
00001c2b: DUP5
00001c2c: SUB
00001c2d: SLT
00001c2e: ISZERO
00001c2f: PUSH2 0x1c36
00001c32: JUMPI
00001c33: DUP1
00001c34: DUP2
00001c35: REVERT
00001c36: JUMPDEST
00001c37: DUP2
00001c38: MLOAD
00001c39: PUSH2 0x1c1e
00001c3c: DUP2
00001c3d: PUSH2 0x1fb4
00001c40: JUMP
00001c41: JUMPDEST
00001c42: PUSH1 0x00
00001c44: DUP1
00001c45: PUSH1 0x40
00001c47: DUP4
00001c48: DUP6
00001c49: SUB
00001c4a: SLT
00001c4b: ISZERO
00001c4c: PUSH2 0x1c53
00001c4f: JUMPI
00001c50: DUP1
00001c51: DUP2
00001c52: REVERT
00001c53: JUMPDEST
00001c54: DUP3
00001c55: CALLDATALOAD
00001c56: PUSH2 0x1c5e
00001c59: DUP2
00001c5a: PUSH2 0x1fb4
00001c5d: JUMP
00001c5e: JUMPDEST
00001c5f: SWAP2
00001c60: POP
00001c61: PUSH1 0x20
00001c63: DUP4
00001c64: ADD
00001c65: CALLDATALOAD
00001c66: PUSH2 0x1c6e
00001c69: DUP2
00001c6a: PUSH2 0x1fb4
00001c6d: JUMP
00001c6e: JUMPDEST
00001c6f: DUP1
00001c70: SWAP2
00001c71: POP
00001c72: POP
00001c73: SWAP3
00001c74: POP
00001c75: SWAP3
00001c76: SWAP1
00001c77: POP
00001c78: JUMP
00001c79: JUMPDEST
00001c7a: PUSH1 0x00
00001c7c: DUP1
00001c7d: PUSH1 0x00
00001c7f: PUSH1 0x60
00001c81: DUP5
00001c82: DUP7
00001c83: SUB
00001c84: SLT
00001c85: ISZERO
00001c86: PUSH2 0x1c8d
00001c89: JUMPI
00001c8a: DUP1
00001c8b: DUP2
00001c8c: REVERT
00001c8d: JUMPDEST
00001c8e: DUP4
00001c8f: CALLDATALOAD
00001c90: PUSH2 0x1c98
00001c93: DUP2
00001c94: PUSH2 0x1fb4
00001c97: JUMP
00001c98: JUMPDEST
00001c99: SWAP3
00001c9a: POP
00001c9b: PUSH1 0x20
00001c9d: DUP5
00001c9e: ADD
00001c9f: CALLDATALOAD
00001ca0: PUSH2 0x1ca8
00001ca3: DUP2
00001ca4: PUSH2 0x1fb4
00001ca7: JUMP
00001ca8: JUMPDEST
00001ca9: SWAP3
00001caa: SWAP6
00001cab: SWAP3
00001cac: SWAP5
00001cad: POP
00001cae: POP
00001caf: POP
00001cb0: PUSH1 0x40
00001cb2: SWAP2
00001cb3: SWAP1
00001cb4: SWAP2
00001cb5: ADD
00001cb6: CALLDATALOAD
00001cb7: SWAP1
00001cb8: JUMP
00001cb9: JUMPDEST
00001cba: PUSH1 0x00
00001cbc: DUP1
00001cbd: PUSH1 0x40
00001cbf: DUP4
00001cc0: DUP6
00001cc1: SUB
00001cc2: SLT
00001cc3: ISZERO
00001cc4: PUSH2 0x1ccb
00001cc7: JUMPI
00001cc8: DUP2
00001cc9: DUP3
00001cca: REVERT
00001ccb: JUMPDEST
00001ccc: DUP3
00001ccd: CALLDATALOAD
00001cce: PUSH2 0x1cd6
00001cd1: DUP2
00001cd2: PUSH2 0x1fb4
00001cd5: JUMP
00001cd6: JUMPDEST
00001cd7: SWAP2
00001cd8: POP
00001cd9: PUSH1 0x20
00001cdb: DUP4
00001cdc: ADD
00001cdd: CALLDATALOAD
00001cde: PUSH2 0x1c6e
00001ce1: DUP2
00001ce2: PUSH2 0x1fc9
00001ce5: JUMP
00001ce6: JUMPDEST
00001ce7: PUSH1 0x00
00001ce9: DUP1
00001cea: PUSH1 0x40
00001cec: DUP4
00001ced: DUP6
00001cee: SUB
00001cef: SLT
00001cf0: ISZERO
00001cf1: PUSH2 0x1cf8
00001cf4: JUMPI
00001cf5: DUP2
00001cf6: DUP3
00001cf7: REVERT
00001cf8: JUMPDEST
00001cf9: DUP3
00001cfa: CALLDATALOAD
00001cfb: PUSH2 0x1d03
00001cfe: DUP2
00001cff: PUSH2 0x1fb4
00001d02: JUMP
00001d03: JUMPDEST
00001d04: SWAP5
00001d05: PUSH1 0x20
00001d07: SWAP4
00001d08: SWAP1
00001d09: SWAP4
00001d0a: ADD
00001d0b: CALLDATALOAD
00001d0c: SWAP4
00001d0d: POP
00001d0e: POP
00001d0f: POP
00001d10: JUMP
00001d11: JUMPDEST
00001d12: PUSH1 0x00
00001d14: PUSH1 0x20
00001d16: DUP3
00001d17: DUP5
00001d18: SUB
00001d19: SLT
00001d1a: ISZERO
00001d1b: PUSH2 0x1d22
00001d1e: JUMPI
00001d1f: DUP1
00001d20: DUP2
00001d21: REVERT
00001d22: JUMPDEST
00001d23: DUP2
00001d24: CALLDATALOAD
00001d25: PUSH2 0x1c1e
00001d28: DUP2
00001d29: PUSH2 0x1fc9
00001d2c: JUMP
00001d2d: JUMPDEST
00001d2e: PUSH1 0x00
00001d30: PUSH1 0x20
00001d32: DUP3
00001d33: DUP5
00001d34: SUB
00001d35: SLT
00001d36: ISZERO
00001d37: PUSH2 0x1d3e
00001d3a: JUMPI
00001d3b: DUP1
00001d3c: DUP2
00001d3d: REVERT
00001d3e: JUMPDEST
00001d3f: DUP2
00001d40: MLOAD
00001d41: PUSH2 0x1c1e
00001d44: DUP2
00001d45: PUSH2 0x1fc9
00001d48: JUMP
00001d49: JUMPDEST
00001d4a: PUSH1 0x00
00001d4c: PUSH1 0x20
00001d4e: DUP3
00001d4f: DUP5
00001d50: SUB
00001d51: SLT
00001d52: ISZERO
00001d53: PUSH2 0x1d5a
00001d56: JUMPI
00001d57: DUP1
00001d58: DUP2
00001d59: REVERT
00001d5a: JUMPDEST
00001d5b: POP
00001d5c: CALLDATALOAD
00001d5d: SWAP2
00001d5e: SWAP1
00001d5f: POP
00001d60: JUMP
00001d61: JUMPDEST
00001d62: PUSH1 0x00
00001d64: PUSH1 0x20
00001d66: DUP3
00001d67: DUP5
00001d68: SUB
00001d69: SLT
00001d6a: ISZERO
00001d6b: PUSH2 0x1d72
00001d6e: JUMPI
00001d6f: DUP1
00001d70: DUP2
00001d71: REVERT
00001d72: JUMPDEST
00001d73: POP
00001d74: MLOAD
00001d75: SWAP2
00001d76: SWAP1
00001d77: POP
00001d78: JUMP
00001d79: JUMPDEST
00001d7a: PUSH1 0x00
00001d7c: DUP1
00001d7d: PUSH1 0x00
00001d7f: PUSH1 0x60
00001d81: DUP5
00001d82: DUP7
00001d83: SUB
00001d84: SLT
00001d85: ISZERO
00001d86: PUSH2 0x1d8d
00001d89: JUMPI
00001d8a: DUP3
00001d8b: DUP4
00001d8c: REVERT
00001d8d: JUMPDEST
00001d8e: DUP4
00001d8f: MLOAD
00001d90: SWAP3
00001d91: POP
00001d92: PUSH1 0x20
00001d94: DUP5
00001d95: ADD
00001d96: MLOAD
00001d97: SWAP2
00001d98: POP
00001d99: PUSH1 0x40
00001d9b: DUP5
00001d9c: ADD
00001d9d: MLOAD
00001d9e: SWAP1
00001d9f: POP
00001da0: SWAP3
00001da1: POP
00001da2: SWAP3
00001da3: POP
00001da4: SWAP3
00001da5: JUMP
00001da6: JUMPDEST
00001da7: PUSH1 0x00
00001da9: PUSH1 0x20
00001dab: DUP1
00001dac: DUP4
00001dad: MSTORE
00001dae: DUP4
00001daf: MLOAD
00001db0: DUP1
00001db1: DUP3
00001db2: DUP6
00001db3: ADD
00001db4: MSTORE
00001db5: DUP3
00001db6: JUMPDEST
00001db7: DUP2
00001db8: DUP2
00001db9: LT
00001dba: ISZERO
00001dbb: PUSH2 0x1dd2
00001dbe: JUMPI
00001dbf: DUP6
00001dc0: DUP2
00001dc1: ADD
00001dc2: DUP4
00001dc3: ADD
00001dc4: MLOAD
00001dc5: DUP6
00001dc6: DUP3
00001dc7: ADD
00001dc8: PUSH1 0x40
00001dca: ADD
00001dcb: MSTORE
00001dcc: DUP3
00001dcd: ADD
00001dce: PUSH2 0x1db6
00001dd1: JUMP
00001dd2: JUMPDEST
00001dd3: DUP2
00001dd4: DUP2
00001dd5: GT
00001dd6: ISZERO
00001dd7: PUSH2 0x1de3
00001dda: JUMPI
00001ddb: DUP4
00001ddc: PUSH1 0x40
00001dde: DUP4
00001ddf: DUP8
00001de0: ADD
00001de1: ADD
00001de2: MSTORE
00001de3: JUMPDEST
00001de4: POP
00001de5: PUSH1 0x1f
00001de7: ADD
00001de8: PUSH1 0x1f
00001dea: NOT
00001deb: AND
00001dec: SWAP3
00001ded: SWAP1
00001dee: SWAP3
00001def: ADD
00001df0: PUSH1 0x40
00001df2: ADD
00001df3: SWAP4
00001df4: SWAP3
00001df5: POP
00001df6: POP
00001df7: POP
00001df8: JUMP
00001df9: JUMPDEST
00001dfa: PUSH1 0x20
00001dfc: DUP1
00001dfd: DUP3
00001dfe: MSTORE
00001dff: PUSH1 0x0d
00001e01: SWAP1
00001e02: DUP3
00001e03: ADD
00001e04: MSTORE
00001e05: PUSH13 0x53746f7020626f7474696e6721
00001e13: PUSH1 0x98
00001e15: SHL
00001e16: PUSH1 0x40
00001e18: DUP3
00001e19: ADD
00001e1a: MSTORE
00001e1b: PUSH1 0x60
00001e1d: ADD
00001e1e: SWAP1
00001e1f: JUMP
00001e20: JUMPDEST
00001e21: PUSH1 0x20
00001e23: DUP1
00001e24: DUP3
00001e25: MSTORE
00001e26: PUSH1 0x16
00001e28: SWAP1
00001e29: DUP3
00001e2a: ADD
00001e2b: MSTORE
00001e2c: PUSH22 0x6f776e65722063616e206e6f74207769746864726177
00001e43: PUSH1 0x50
00001e45: SHL
00001e46: PUSH1 0x40
00001e48: DUP3
00001e49: ADD
00001e4a: MSTORE
00001e4b: PUSH1 0x60
00001e4d: ADD
00001e4e: SWAP1
00001e4f: JUMP
00001e50: JUMPDEST
00001e51: PUSH1 0x20
00001e53: DUP1
00001e54: DUP3
00001e55: MSTORE
00001e56: DUP2
00001e57: DUP2
00001e58: ADD
00001e59: MSTORE
00001e5a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001e7b: PUSH1 0x40
00001e7d: DUP3
00001e7e: ADD
00001e7f: MSTORE
00001e80: PUSH1 0x60
00001e82: ADD
00001e83: SWAP1
00001e84: JUMP
00001e85: JUMPDEST
00001e86: PUSH1 0x00
00001e88: PUSH1 0xa0
00001e8a: DUP3
00001e8b: ADD
00001e8c: DUP8
00001e8d: DUP4
00001e8e: MSTORE
00001e8f: PUSH1 0x20
00001e91: DUP8
00001e92: DUP2
00001e93: DUP6
00001e94: ADD
00001e95: MSTORE
00001e96: PUSH1 0xa0
00001e98: PUSH1 0x40
00001e9a: DUP6
00001e9b: ADD
00001e9c: MSTORE
00001e9d: DUP2
00001e9e: DUP8
00001e9f: MLOAD
00001ea0: DUP1
00001ea1: DUP5
00001ea2: MSTORE
00001ea3: PUSH1 0xc0
00001ea5: DUP7
00001ea6: ADD
00001ea7: SWAP2
00001ea8: POP
00001ea9: DUP3
00001eaa: DUP10
00001eab: ADD
00001eac: SWAP4
00001ead: POP
00001eae: DUP5
00001eaf: JUMPDEST
00001eb0: DUP2
00001eb1: DUP2
00001eb2: LT
00001eb3: ISZERO
00001eb4: PUSH2 0x1ed4
00001eb7: JUMPI
00001eb8: DUP5
00001eb9: MLOAD
00001eba: PUSH1 0x01
00001ebc: PUSH1 0x01
00001ebe: PUSH1 0xa0
00001ec0: SHL
00001ec1: SUB
00001ec2: AND
00001ec3: DUP4
00001ec4: MSTORE
00001ec5: SWAP4
00001ec6: DUP4
00001ec7: ADD
00001ec8: SWAP4
00001ec9: SWAP2
00001eca: DUP4
00001ecb: ADD
00001ecc: SWAP2
00001ecd: PUSH1 0x01
00001ecf: ADD
00001ed0: PUSH2 0x1eaf
00001ed3: JUMP
00001ed4: JUMPDEST
00001ed5: POP
00001ed6: POP
00001ed7: PUSH1 0x01
00001ed9: PUSH1 0x01
00001edb: PUSH1 0xa0
00001edd: SHL
00001ede: SUB
00001edf: SWAP7
00001ee0: SWAP1
00001ee1: SWAP7
00001ee2: AND
00001ee3: PUSH1 0x60
00001ee5: DUP6
00001ee6: ADD
00001ee7: MSTORE
00001ee8: POP
00001ee9: POP
00001eea: POP
00001eeb: PUSH1 0x80
00001eed: ADD
00001eee: MSTORE
00001eef: SWAP4
00001ef0: SWAP3
00001ef1: POP
00001ef2: POP
00001ef3: POP
00001ef4: JUMP
00001ef5: JUMPDEST
00001ef6: PUSH1 0x00
00001ef8: DUP3
00001ef9: NOT
00001efa: DUP3
00001efb: GT
00001efc: ISZERO
00001efd: PUSH2 0x1f08
00001f00: JUMPI
00001f01: PUSH2 0x1f08
00001f04: PUSH2 0x1f9e
00001f07: JUMP
00001f08: JUMPDEST
00001f09: POP
00001f0a: ADD
00001f0b: SWAP1
00001f0c: JUMP
00001f0d: JUMPDEST
00001f0e: PUSH1 0x00
00001f10: DUP3
00001f11: PUSH2 0x1f28
00001f14: JUMPI
00001f15: PUSH4 0x4e487b71
00001f1a: PUSH1 0xe0
00001f1c: SHL
00001f1d: DUP2
00001f1e: MSTORE
00001f1f: PUSH1 0x12
00001f21: PUSH1 0x04
00001f23: MSTORE
00001f24: PUSH1 0x24
00001f26: DUP2
00001f27: REVERT
00001f28: JUMPDEST
00001f29: POP
00001f2a: DIV
00001f2b: SWAP1
00001f2c: JUMP
00001f2d: JUMPDEST
00001f2e: PUSH1 0x00
00001f30: DUP2
00001f31: PUSH1 0x00
00001f33: NOT
00001f34: DIV
00001f35: DUP4
00001f36: GT
00001f37: DUP3
00001f38: ISZERO
00001f39: ISZERO
00001f3a: AND
00001f3b: ISZERO
00001f3c: PUSH2 0x1f47
00001f3f: JUMPI
00001f40: PUSH2 0x1f47
00001f43: PUSH2 0x1f9e
00001f46: JUMP
00001f47: JUMPDEST
00001f48: POP
00001f49: MUL
00001f4a: SWAP1
00001f4b: JUMP
00001f4c: JUMPDEST
00001f4d: PUSH1 0x00
00001f4f: DUP3
00001f50: DUP3
00001f51: LT
00001f52: ISZERO
00001f53: PUSH2 0x1f5e
00001f56: JUMPI
00001f57: PUSH2 0x1f5e
00001f5a: PUSH2 0x1f9e
00001f5d: JUMP
00001f5e: JUMPDEST
00001f5f: POP
00001f60: SUB
00001f61: SWAP1
00001f62: JUMP
00001f63: JUMPDEST
00001f64: PUSH1 0x01
00001f66: DUP2
00001f67: DUP2
00001f68: SHR
00001f69: SWAP1
00001f6a: DUP3
00001f6b: AND
00001f6c: DUP1
00001f6d: PUSH2 0x1f77
00001f70: JUMPI
00001f71: PUSH1 0x7f
00001f73: DUP3
00001f74: AND
00001f75: SWAP2
00001f76: POP
00001f77: JUMPDEST
00001f78: PUSH1 0x20
00001f7a: DUP3
00001f7b: LT
00001f7c: DUP2
00001f7d: EQ
00001f7e: ISZERO
00001f7f: PUSH2 0x1f98
00001f82: JUMPI
00001f83: PUSH4 0x4e487b71
00001f88: PUSH1 0xe0
00001f8a: SHL
00001f8b: PUSH1 0x00
00001f8d: MSTORE
00001f8e: PUSH1 0x22
00001f90: PUSH1 0x04
00001f92: MSTORE
00001f93: PUSH1 0x24
00001f95: PUSH1 0x00
00001f97: REVERT
00001f98: JUMPDEST
00001f99: POP
00001f9a: SWAP2
00001f9b: SWAP1
00001f9c: POP
00001f9d: JUMP
00001f9e: JUMPDEST
00001f9f: PUSH4 0x4e487b71
00001fa4: PUSH1 0xe0
00001fa6: SHL
00001fa7: PUSH1 0x00
00001fa9: MSTORE
00001faa: PUSH1 0x11
00001fac: PUSH1 0x04
00001fae: MSTORE
00001faf: PUSH1 0x24
00001fb1: PUSH1 0x00
00001fb3: REVERT
00001fb4: JUMPDEST
00001fb5: PUSH1 0x01
00001fb7: PUSH1 0x01
00001fb9: PUSH1 0xa0
00001fbb: SHL
00001fbc: SUB
00001fbd: DUP2
00001fbe: AND
00001fbf: DUP2
00001fc0: EQ
00001fc1: PUSH2 0x0d6b
00001fc4: JUMPI
00001fc5: PUSH1 0x00
00001fc7: DUP1
00001fc8: REVERT
00001fc9: JUMPDEST
00001fca: DUP1
00001fcb: ISZERO
00001fcc: ISZERO
00001fcd: DUP2
00001fce: EQ
00001fcf: PUSH2 0x0d6b
00001fd2: JUMPI
00001fd3: PUSH1 0x00
00001fd5: DUP1
00001fd6: REVERT
00001fd7: INVALID
00001fd8: LOG1
00001fd9: PUSH5 0x736f6c6343
00001fdf: STOP
00001fe0: ADDMOD
00001fe1: DIV
00001fe2: STOP
00001fe3: EXP

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x4103ca529fa2551edc9de21482c7b0a8b3c22dcfe367b157c19e471e3a3188cf
call_targets: 0xe5597f0723eeaba1b26948e06f008bf0fc1e37e6
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x4103ca529fa2551edc9de21482c7b0a8b3c22dcfe367b157c19e471e3a3188cf",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe5597f0723eeaba1b26948e06f008bf0fc1e37e6"
    ],
    "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": "0xe086e5ec",
            "selector": "0xe086e5ec",
            "calldata_variants": [
                "0xe086e5ec",
                "0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0f44260",
            "selector": "0xf0f44260",
            "calldata_variants": [
                "0xf0f44260",
                "0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbeedd88",
            "selector": "0xfbeedd88",
            "calldata_variants": [
                "0xfbeedd88",
                "0xfbeedd880000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe575a87",
            "selector": "0xfe575a87",
            "calldata_variants": [
                "0xfe575a87",
                "0xfe575a870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0a51cc1",
            "selector": "0xd0a51cc1",
            "calldata_variants": [
                "0xd0a51cc1",
                "0xd0a51cc10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6594eda",
            "selector": "0xd6594eda",
            "calldata_variants": [
                "0xd6594eda",
                "0xd6594eda0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2149,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3998,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6159,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x4103ca529fa2551edc9de21482c7b0a8b3c22dcfe367b157c19e471e3a3188cf
call_targets: 0xe5597f0723eeaba1b26948e06f008bf0fc1e37e6
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x4103ca529fa2551edc9de21482c7b0a8b3c22dcfe367b157c19e471e3a3188cf",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe5597f0723eeaba1b26948e06f008bf0fc1e37e6"
    ],
    "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": "0xe086e5ec",
            "selector": "0xe086e5ec",
            "calldata_variants": [
                "0xe086e5ec",
                "0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0f44260",
            "selector": "0xf0f44260",
            "calldata_variants": [
                "0xf0f44260",
                "0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbeedd88",
            "selector": "0xfbeedd88",
            "calldata_variants": [
                "0xfbeedd88",
                "0xfbeedd880000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe575a87",
            "selector": "0xfe575a87",
            "calldata_variants": [
                "0xfe575a87",
                "0xfe575a870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0a51cc1",
            "selector": "0xd0a51cc1",
            "calldata_variants": [
                "0xd0a51cc1",
                "0xd0a51cc10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6594eda",
            "selector": "0xd6594eda",
            "calldata_variants": [
                "0xd6594eda",
                "0xd6594eda0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2149,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3998,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6159,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}