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

Analysis Run

019b477e-b2df-7188-812b-7dec1162f064

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
Authorization based on tx.origin
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
22441 artifact.fetch complete 1 / 3 3 months ago
22442 tool.cast_disasm complete 1 / 3 3 months ago
65598 analysis.bundle complete 1 / 3 2 weeks ago
65599 capability.graph complete 1 / 3 2 weeks ago
65600 detector.run complete 1 / 3 2 weeks ago
65601 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
4429
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 0x013e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x023563d8
0000003c: EQ
0000003d: PUSH2 0x0140
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x02fb0c5e
00000047: EQ
00000048: PUSH2 0x016d
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x06fdde03
00000052: EQ
00000053: PUSH2 0x019c
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x19dbc19b
0000005d: EQ
0000005e: PUSH2 0x022c
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x260e8dfc
00000068: EQ
00000069: PUSH2 0x0283
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x29dcb0cf
00000073: EQ
00000074: PUSH2 0x02c4
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x3ee89a63
0000007e: EQ
0000007f: PUSH2 0x02ef
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x4ba2363a
00000089: EQ
0000008a: PUSH2 0x0306
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x4f66e22c
00000094: EQ
00000095: PUSH2 0x0310
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x624ae5c0
0000009f: EQ
000000a0: PUSH2 0x0351
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x6ac5db19
000000aa: EQ
000000ab: PUSH2 0x037c
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x6c32c0a6
000000b5: EQ
000000b6: PUSH2 0x03a7
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x8063497a
000000c0: EQ
000000c1: PUSH2 0x03d2
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x83bebced
000000cb: EQ
000000cc: PUSH2 0x0400
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x8da5cb5b
000000d6: EQ
000000d7: PUSH2 0x042b
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x8f9e4e74
000000e1: EQ
000000e2: PUSH2 0x0482
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x95d89b41
000000ec: EQ
000000ed: PUSH2 0x0525
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0xb263cb3a
000000f7: EQ
000000f8: PUSH2 0x05b5
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0xbb290753
00000102: EQ
00000103: PUSH2 0x05e3
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0xcf754cbb
0000010d: EQ
0000010e: PUSH2 0x063a
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0xcfe1f7bf
00000118: EQ
00000119: PUSH2 0x0668
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0xd07673eb
00000123: EQ
00000124: PUSH2 0x0693
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0xdddd3de8
0000012e: EQ
0000012f: PUSH2 0x06d4
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0xef24180a
00000139: EQ
0000013a: PUSH2 0x0740
0000013d: JUMPI
0000013e: JUMPDEST
0000013f: STOP
00000140: JUMPDEST
00000141: CALLVALUE
00000142: DUP1
00000143: ISZERO
00000144: PUSH2 0x014c
00000147: JUMPI
00000148: PUSH1 0x00
0000014a: DUP1
0000014b: REVERT
0000014c: JUMPDEST
0000014d: POP
0000014e: PUSH2 0x016b
00000151: PUSH1 0x04
00000153: DUP1
00000154: CALLDATASIZE
00000155: SUB
00000156: DUP2
00000157: ADD
00000158: SWAP1
00000159: DUP1
0000015a: DUP1
0000015b: CALLDATALOAD
0000015c: SWAP1
0000015d: PUSH1 0x20
0000015f: ADD
00000160: SWAP1
00000161: SWAP3
00000162: SWAP2
00000163: SWAP1
00000164: POP
00000165: POP
00000166: POP
00000167: PUSH2 0x0797
0000016a: JUMP
0000016b: JUMPDEST
0000016c: STOP
0000016d: JUMPDEST
0000016e: CALLVALUE
0000016f: DUP1
00000170: ISZERO
00000171: PUSH2 0x0179
00000174: JUMPI
00000175: PUSH1 0x00
00000177: DUP1
00000178: REVERT
00000179: JUMPDEST
0000017a: POP
0000017b: PUSH2 0x0182
0000017e: PUSH2 0x08d8
00000181: JUMP
00000182: JUMPDEST
00000183: PUSH1 0x40
00000185: MLOAD
00000186: DUP1
00000187: DUP3
00000188: ISZERO
00000189: ISZERO
0000018a: ISZERO
0000018b: ISZERO
0000018c: DUP2
0000018d: MSTORE
0000018e: PUSH1 0x20
00000190: ADD
00000191: SWAP2
00000192: POP
00000193: POP
00000194: PUSH1 0x40
00000196: MLOAD
00000197: DUP1
00000198: SWAP2
00000199: SUB
0000019a: SWAP1
0000019b: RETURN
0000019c: JUMPDEST
0000019d: CALLVALUE
0000019e: DUP1
0000019f: ISZERO
000001a0: PUSH2 0x01a8
000001a3: JUMPI
000001a4: PUSH1 0x00
000001a6: DUP1
000001a7: REVERT
000001a8: JUMPDEST
000001a9: POP
000001aa: PUSH2 0x01b1
000001ad: PUSH2 0x08eb
000001b0: JUMP
000001b1: JUMPDEST
000001b2: PUSH1 0x40
000001b4: MLOAD
000001b5: DUP1
000001b6: DUP1
000001b7: PUSH1 0x20
000001b9: ADD
000001ba: DUP3
000001bb: DUP2
000001bc: SUB
000001bd: DUP3
000001be: MSTORE
000001bf: DUP4
000001c0: DUP2
000001c1: DUP2
000001c2: MLOAD
000001c3: DUP2
000001c4: MSTORE
000001c5: PUSH1 0x20
000001c7: ADD
000001c8: SWAP2
000001c9: POP
000001ca: DUP1
000001cb: MLOAD
000001cc: SWAP1
000001cd: PUSH1 0x20
000001cf: ADD
000001d0: SWAP1
000001d1: DUP1
000001d2: DUP4
000001d3: DUP4
000001d4: PUSH1 0x00
000001d6: JUMPDEST
000001d7: DUP4
000001d8: DUP2
000001d9: LT
000001da: ISZERO
000001db: PUSH2 0x01f1
000001de: JUMPI
000001df: DUP1
000001e0: DUP3
000001e1: ADD
000001e2: MLOAD
000001e3: DUP2
000001e4: DUP5
000001e5: ADD
000001e6: MSTORE
000001e7: PUSH1 0x20
000001e9: DUP2
000001ea: ADD
000001eb: SWAP1
000001ec: POP
000001ed: PUSH2 0x01d6
000001f0: JUMP
000001f1: JUMPDEST
000001f2: POP
000001f3: POP
000001f4: POP
000001f5: POP
000001f6: SWAP1
000001f7: POP
000001f8: SWAP1
000001f9: DUP2
000001fa: ADD
000001fb: SWAP1
000001fc: PUSH1 0x1f
000001fe: AND
000001ff: DUP1
00000200: ISZERO
00000201: PUSH2 0x021e
00000204: JUMPI
00000205: DUP1
00000206: DUP3
00000207: SUB
00000208: DUP1
00000209: MLOAD
0000020a: PUSH1 0x01
0000020c: DUP4
0000020d: PUSH1 0x20
0000020f: SUB
00000210: PUSH2 0x0100
00000213: EXP
00000214: SUB
00000215: NOT
00000216: AND
00000217: DUP2
00000218: MSTORE
00000219: PUSH1 0x20
0000021b: ADD
0000021c: SWAP2
0000021d: POP
0000021e: JUMPDEST
0000021f: POP
00000220: SWAP3
00000221: POP
00000222: POP
00000223: POP
00000224: PUSH1 0x40
00000226: MLOAD
00000227: DUP1
00000228: SWAP2
00000229: SUB
0000022a: SWAP1
0000022b: RETURN
0000022c: JUMPDEST
0000022d: CALLVALUE
0000022e: DUP1
0000022f: ISZERO
00000230: PUSH2 0x0238
00000233: JUMPI
00000234: PUSH1 0x00
00000236: DUP1
00000237: REVERT
00000238: JUMPDEST
00000239: POP
0000023a: PUSH2 0x0241
0000023d: PUSH2 0x0924
00000240: JUMP
00000241: JUMPDEST
00000242: PUSH1 0x40
00000244: MLOAD
00000245: DUP1
00000246: DUP3
00000247: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000025c: AND
0000025d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000272: AND
00000273: DUP2
00000274: MSTORE
00000275: PUSH1 0x20
00000277: ADD
00000278: SWAP2
00000279: POP
0000027a: POP
0000027b: PUSH1 0x40
0000027d: MLOAD
0000027e: DUP1
0000027f: SWAP2
00000280: SUB
00000281: SWAP1
00000282: RETURN
00000283: JUMPDEST
00000284: CALLVALUE
00000285: DUP1
00000286: ISZERO
00000287: PUSH2 0x028f
0000028a: JUMPI
0000028b: PUSH1 0x00
0000028d: DUP1
0000028e: REVERT
0000028f: JUMPDEST
00000290: POP
00000291: PUSH2 0x02ae
00000294: PUSH1 0x04
00000296: DUP1
00000297: CALLDATASIZE
00000298: SUB
00000299: DUP2
0000029a: ADD
0000029b: SWAP1
0000029c: DUP1
0000029d: DUP1
0000029e: CALLDATALOAD
0000029f: SWAP1
000002a0: PUSH1 0x20
000002a2: ADD
000002a3: SWAP1
000002a4: SWAP3
000002a5: SWAP2
000002a6: SWAP1
000002a7: POP
000002a8: POP
000002a9: POP
000002aa: PUSH2 0x094a
000002ad: JUMP
000002ae: JUMPDEST
000002af: PUSH1 0x40
000002b1: MLOAD
000002b2: DUP1
000002b3: DUP3
000002b4: DUP2
000002b5: MSTORE
000002b6: PUSH1 0x20
000002b8: ADD
000002b9: SWAP2
000002ba: POP
000002bb: POP
000002bc: PUSH1 0x40
000002be: MLOAD
000002bf: DUP1
000002c0: SWAP2
000002c1: SUB
000002c2: SWAP1
000002c3: RETURN
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: DUP1
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH2 0x02d9
000002d5: PUSH2 0x0962
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH1 0x40
000002dc: MLOAD
000002dd: DUP1
000002de: DUP3
000002df: DUP2
000002e0: MSTORE
000002e1: PUSH1 0x20
000002e3: ADD
000002e4: SWAP2
000002e5: POP
000002e6: POP
000002e7: PUSH1 0x40
000002e9: MLOAD
000002ea: DUP1
000002eb: SWAP2
000002ec: SUB
000002ed: SWAP1
000002ee: RETURN
000002ef: JUMPDEST
000002f0: CALLVALUE
000002f1: DUP1
000002f2: ISZERO
000002f3: PUSH2 0x02fb
000002f6: JUMPI
000002f7: PUSH1 0x00
000002f9: DUP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: POP
000002fd: PUSH2 0x0304
00000300: PUSH2 0x0968
00000303: JUMP
00000304: JUMPDEST
00000305: STOP
00000306: JUMPDEST
00000307: PUSH2 0x030e
0000030a: PUSH2 0x0b37
0000030d: JUMP
0000030e: JUMPDEST
0000030f: STOP
00000310: JUMPDEST
00000311: CALLVALUE
00000312: DUP1
00000313: ISZERO
00000314: PUSH2 0x031c
00000317: JUMPI
00000318: PUSH1 0x00
0000031a: DUP1
0000031b: REVERT
0000031c: JUMPDEST
0000031d: POP
0000031e: PUSH2 0x033b
00000321: PUSH1 0x04
00000323: DUP1
00000324: CALLDATASIZE
00000325: SUB
00000326: DUP2
00000327: ADD
00000328: SWAP1
00000329: DUP1
0000032a: DUP1
0000032b: CALLDATALOAD
0000032c: SWAP1
0000032d: PUSH1 0x20
0000032f: ADD
00000330: SWAP1
00000331: SWAP3
00000332: SWAP2
00000333: SWAP1
00000334: POP
00000335: POP
00000336: POP
00000337: PUSH2 0x0b77
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH1 0x40
0000033e: MLOAD
0000033f: DUP1
00000340: DUP3
00000341: DUP2
00000342: MSTORE
00000343: PUSH1 0x20
00000345: ADD
00000346: SWAP2
00000347: POP
00000348: POP
00000349: PUSH1 0x40
0000034b: MLOAD
0000034c: DUP1
0000034d: SWAP2
0000034e: SUB
0000034f: SWAP1
00000350: RETURN
00000351: JUMPDEST
00000352: CALLVALUE
00000353: DUP1
00000354: ISZERO
00000355: PUSH2 0x035d
00000358: JUMPI
00000359: PUSH1 0x00
0000035b: DUP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: PUSH2 0x0366
00000362: PUSH2 0x0b9a
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH1 0x40
00000369: MLOAD
0000036a: DUP1
0000036b: DUP3
0000036c: DUP2
0000036d: MSTORE
0000036e: PUSH1 0x20
00000370: ADD
00000371: SWAP2
00000372: POP
00000373: POP
00000374: PUSH1 0x40
00000376: MLOAD
00000377: DUP1
00000378: SWAP2
00000379: SUB
0000037a: SWAP1
0000037b: RETURN
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: PUSH2 0x0391
0000038d: PUSH2 0x0ba0
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH1 0x40
00000394: MLOAD
00000395: DUP1
00000396: DUP3
00000397: DUP2
00000398: MSTORE
00000399: PUSH1 0x20
0000039b: ADD
0000039c: SWAP2
0000039d: POP
0000039e: POP
0000039f: PUSH1 0x40
000003a1: MLOAD
000003a2: DUP1
000003a3: SWAP2
000003a4: SUB
000003a5: SWAP1
000003a6: RETURN
000003a7: JUMPDEST
000003a8: CALLVALUE
000003a9: DUP1
000003aa: ISZERO
000003ab: PUSH2 0x03b3
000003ae: JUMPI
000003af: PUSH1 0x00
000003b1: DUP1
000003b2: REVERT
000003b3: JUMPDEST
000003b4: POP
000003b5: PUSH2 0x03bc
000003b8: PUSH2 0x0ba6
000003bb: JUMP
000003bc: JUMPDEST
000003bd: PUSH1 0x40
000003bf: MLOAD
000003c0: DUP1
000003c1: DUP3
000003c2: DUP2
000003c3: MSTORE
000003c4: PUSH1 0x20
000003c6: ADD
000003c7: SWAP2
000003c8: POP
000003c9: POP
000003ca: PUSH1 0x40
000003cc: MLOAD
000003cd: DUP1
000003ce: SWAP2
000003cf: SUB
000003d0: SWAP1
000003d1: RETURN
000003d2: JUMPDEST
000003d3: PUSH2 0x03fe
000003d6: PUSH1 0x04
000003d8: DUP1
000003d9: CALLDATASIZE
000003da: SUB
000003db: DUP2
000003dc: ADD
000003dd: SWAP1
000003de: DUP1
000003df: DUP1
000003e0: CALLDATALOAD
000003e1: SWAP1
000003e2: PUSH1 0x20
000003e4: ADD
000003e5: SWAP1
000003e6: SWAP3
000003e7: SWAP2
000003e8: SWAP1
000003e9: DUP1
000003ea: CALLDATALOAD
000003eb: PUSH1 0x00
000003ed: NOT
000003ee: AND
000003ef: SWAP1
000003f0: PUSH1 0x20
000003f2: ADD
000003f3: SWAP1
000003f4: SWAP3
000003f5: SWAP2
000003f6: SWAP1
000003f7: POP
000003f8: POP
000003f9: POP
000003fa: PUSH2 0x0bac
000003fd: JUMP
000003fe: JUMPDEST
000003ff: STOP
00000400: JUMPDEST
00000401: CALLVALUE
00000402: DUP1
00000403: ISZERO
00000404: PUSH2 0x040c
00000407: JUMPI
00000408: PUSH1 0x00
0000040a: DUP1
0000040b: REVERT
0000040c: JUMPDEST
0000040d: POP
0000040e: PUSH2 0x0415
00000411: PUSH2 0x0ddc
00000414: JUMP
00000415: JUMPDEST
00000416: PUSH1 0x40
00000418: MLOAD
00000419: DUP1
0000041a: DUP3
0000041b: DUP2
0000041c: MSTORE
0000041d: PUSH1 0x20
0000041f: ADD
00000420: SWAP2
00000421: POP
00000422: POP
00000423: PUSH1 0x40
00000425: MLOAD
00000426: DUP1
00000427: SWAP2
00000428: SUB
00000429: SWAP1
0000042a: RETURN
0000042b: JUMPDEST
0000042c: CALLVALUE
0000042d: DUP1
0000042e: ISZERO
0000042f: PUSH2 0x0437
00000432: JUMPI
00000433: PUSH1 0x00
00000435: DUP1
00000436: REVERT
00000437: JUMPDEST
00000438: POP
00000439: PUSH2 0x0440
0000043c: PUSH2 0x0de2
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH1 0x40
00000443: MLOAD
00000444: DUP1
00000445: DUP3
00000446: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000045b: AND
0000045c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000471: AND
00000472: DUP2
00000473: MSTORE
00000474: PUSH1 0x20
00000476: ADD
00000477: SWAP2
00000478: POP
00000479: POP
0000047a: PUSH1 0x40
0000047c: MLOAD
0000047d: DUP1
0000047e: SWAP2
0000047f: SUB
00000480: SWAP1
00000481: RETURN
00000482: JUMPDEST
00000483: CALLVALUE
00000484: DUP1
00000485: ISZERO
00000486: PUSH2 0x048e
00000489: JUMPI
0000048a: PUSH1 0x00
0000048c: DUP1
0000048d: REVERT
0000048e: JUMPDEST
0000048f: POP
00000490: PUSH2 0x04b7
00000493: PUSH1 0x04
00000495: DUP1
00000496: CALLDATASIZE
00000497: SUB
00000498: DUP2
00000499: ADD
0000049a: SWAP1
0000049b: DUP1
0000049c: DUP1
0000049d: CALLDATALOAD
0000049e: SWAP1
0000049f: PUSH1 0x20
000004a1: ADD
000004a2: SWAP1
000004a3: SWAP3
000004a4: SWAP2
000004a5: SWAP1
000004a6: DUP1
000004a7: CALLDATALOAD
000004a8: SWAP1
000004a9: PUSH1 0x20
000004ab: ADD
000004ac: SWAP1
000004ad: SWAP3
000004ae: SWAP2
000004af: SWAP1
000004b0: POP
000004b1: POP
000004b2: POP
000004b3: PUSH2 0x0e08
000004b6: JUMP
000004b7: JUMPDEST
000004b8: PUSH1 0x40
000004ba: MLOAD
000004bb: DUP1
000004bc: DUP7
000004bd: DUP2
000004be: MSTORE
000004bf: PUSH1 0x20
000004c1: ADD
000004c2: DUP6
000004c3: DUP2
000004c4: MSTORE
000004c5: PUSH1 0x20
000004c7: ADD
000004c8: DUP5
000004c9: PUSH1 0x00
000004cb: NOT
000004cc: AND
000004cd: PUSH1 0x00
000004cf: NOT
000004d0: AND
000004d1: DUP2
000004d2: MSTORE
000004d3: PUSH1 0x20
000004d5: ADD
000004d6: DUP4
000004d7: PUSH1 0x00
000004d9: NOT
000004da: AND
000004db: PUSH1 0x00
000004dd: NOT
000004de: AND
000004df: DUP2
000004e0: MSTORE
000004e1: PUSH1 0x20
000004e3: ADD
000004e4: DUP3
000004e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004fa: AND
000004fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000510: AND
00000511: DUP2
00000512: MSTORE
00000513: PUSH1 0x20
00000515: ADD
00000516: SWAP6
00000517: POP
00000518: POP
00000519: POP
0000051a: POP
0000051b: POP
0000051c: POP
0000051d: PUSH1 0x40
0000051f: MLOAD
00000520: DUP1
00000521: SWAP2
00000522: SUB
00000523: SWAP1
00000524: RETURN
00000525: JUMPDEST
00000526: CALLVALUE
00000527: DUP1
00000528: ISZERO
00000529: PUSH2 0x0531
0000052c: JUMPI
0000052d: PUSH1 0x00
0000052f: DUP1
00000530: REVERT
00000531: JUMPDEST
00000532: POP
00000533: PUSH2 0x053a
00000536: PUSH2 0x0e6b
00000539: JUMP
0000053a: JUMPDEST
0000053b: PUSH1 0x40
0000053d: MLOAD
0000053e: DUP1
0000053f: DUP1
00000540: PUSH1 0x20
00000542: ADD
00000543: DUP3
00000544: DUP2
00000545: SUB
00000546: DUP3
00000547: MSTORE
00000548: DUP4
00000549: DUP2
0000054a: DUP2
0000054b: MLOAD
0000054c: DUP2
0000054d: MSTORE
0000054e: PUSH1 0x20
00000550: ADD
00000551: SWAP2
00000552: POP
00000553: DUP1
00000554: MLOAD
00000555: SWAP1
00000556: PUSH1 0x20
00000558: ADD
00000559: SWAP1
0000055a: DUP1
0000055b: DUP4
0000055c: DUP4
0000055d: PUSH1 0x00
0000055f: JUMPDEST
00000560: DUP4
00000561: DUP2
00000562: LT
00000563: ISZERO
00000564: PUSH2 0x057a
00000567: JUMPI
00000568: DUP1
00000569: DUP3
0000056a: ADD
0000056b: MLOAD
0000056c: DUP2
0000056d: DUP5
0000056e: ADD
0000056f: MSTORE
00000570: PUSH1 0x20
00000572: DUP2
00000573: ADD
00000574: SWAP1
00000575: POP
00000576: PUSH2 0x055f
00000579: JUMP
0000057a: JUMPDEST
0000057b: POP
0000057c: POP
0000057d: POP
0000057e: POP
0000057f: SWAP1
00000580: POP
00000581: SWAP1
00000582: DUP2
00000583: ADD
00000584: SWAP1
00000585: PUSH1 0x1f
00000587: AND
00000588: DUP1
00000589: ISZERO
0000058a: PUSH2 0x05a7
0000058d: JUMPI
0000058e: DUP1
0000058f: DUP3
00000590: SUB
00000591: DUP1
00000592: MLOAD
00000593: PUSH1 0x01
00000595: DUP4
00000596: PUSH1 0x20
00000598: SUB
00000599: PUSH2 0x0100
0000059c: EXP
0000059d: SUB
0000059e: NOT
0000059f: AND
000005a0: DUP2
000005a1: MSTORE
000005a2: PUSH1 0x20
000005a4: ADD
000005a5: SWAP2
000005a6: POP
000005a7: JUMPDEST
000005a8: POP
000005a9: SWAP3
000005aa: POP
000005ab: POP
000005ac: POP
000005ad: PUSH1 0x40
000005af: MLOAD
000005b0: DUP1
000005b1: SWAP2
000005b2: SUB
000005b3: SWAP1
000005b4: RETURN
000005b5: JUMPDEST
000005b6: PUSH2 0x05e1
000005b9: PUSH1 0x04
000005bb: DUP1
000005bc: CALLDATASIZE
000005bd: SUB
000005be: DUP2
000005bf: ADD
000005c0: SWAP1
000005c1: DUP1
000005c2: DUP1
000005c3: CALLDATALOAD
000005c4: SWAP1
000005c5: PUSH1 0x20
000005c7: ADD
000005c8: SWAP1
000005c9: DUP3
000005ca: ADD
000005cb: DUP1
000005cc: CALLDATALOAD
000005cd: SWAP1
000005ce: PUSH1 0x20
000005d0: ADD
000005d1: SWAP2
000005d2: SWAP1
000005d3: SWAP2
000005d4: SWAP3
000005d5: SWAP4
000005d6: SWAP2
000005d7: SWAP3
000005d8: SWAP4
000005d9: SWAP1
000005da: POP
000005db: POP
000005dc: POP
000005dd: PUSH2 0x0ea4
000005e0: JUMP
000005e1: JUMPDEST
000005e2: STOP
000005e3: JUMPDEST
000005e4: CALLVALUE
000005e5: DUP1
000005e6: ISZERO
000005e7: PUSH2 0x05ef
000005ea: JUMPI
000005eb: PUSH1 0x00
000005ed: DUP1
000005ee: REVERT
000005ef: JUMPDEST
000005f0: POP
000005f1: PUSH2 0x05f8
000005f4: PUSH2 0x113e
000005f7: JUMP
000005f8: JUMPDEST
000005f9: PUSH1 0x40
000005fb: MLOAD
000005fc: DUP1
000005fd: DUP3
000005fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000613: AND
00000614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000629: AND
0000062a: DUP2
0000062b: MSTORE
0000062c: PUSH1 0x20
0000062e: ADD
0000062f: SWAP2
00000630: POP
00000631: POP
00000632: PUSH1 0x40
00000634: MLOAD
00000635: DUP1
00000636: SWAP2
00000637: SUB
00000638: SWAP1
00000639: RETURN
0000063a: JUMPDEST
0000063b: PUSH2 0x0666
0000063e: PUSH1 0x04
00000640: DUP1
00000641: CALLDATASIZE
00000642: SUB
00000643: DUP2
00000644: ADD
00000645: SWAP1
00000646: DUP1
00000647: DUP1
00000648: CALLDATALOAD
00000649: SWAP1
0000064a: PUSH1 0x20
0000064c: ADD
0000064d: SWAP1
0000064e: SWAP3
0000064f: SWAP2
00000650: SWAP1
00000651: DUP1
00000652: CALLDATALOAD
00000653: PUSH1 0x00
00000655: NOT
00000656: AND
00000657: SWAP1
00000658: PUSH1 0x20
0000065a: ADD
0000065b: SWAP1
0000065c: SWAP3
0000065d: SWAP2
0000065e: SWAP1
0000065f: POP
00000660: POP
00000661: POP
00000662: PUSH2 0x1164
00000665: JUMP
00000666: JUMPDEST
00000667: STOP
00000668: JUMPDEST
00000669: CALLVALUE
0000066a: DUP1
0000066b: ISZERO
0000066c: PUSH2 0x0674
0000066f: JUMPI
00000670: PUSH1 0x00
00000672: DUP1
00000673: REVERT
00000674: JUMPDEST
00000675: POP
00000676: PUSH2 0x067d
00000679: PUSH2 0x13fd
0000067c: JUMP
0000067d: JUMPDEST
0000067e: PUSH1 0x40
00000680: MLOAD
00000681: DUP1
00000682: DUP3
00000683: DUP2
00000684: MSTORE
00000685: PUSH1 0x20
00000687: ADD
00000688: SWAP2
00000689: POP
0000068a: POP
0000068b: PUSH1 0x40
0000068d: MLOAD
0000068e: DUP1
0000068f: SWAP2
00000690: SUB
00000691: SWAP1
00000692: RETURN
00000693: JUMPDEST
00000694: CALLVALUE
00000695: DUP1
00000696: ISZERO
00000697: PUSH2 0x069f
0000069a: JUMPI
0000069b: PUSH1 0x00
0000069d: DUP1
0000069e: REVERT
0000069f: JUMPDEST
000006a0: POP
000006a1: PUSH2 0x06be
000006a4: PUSH1 0x04
000006a6: DUP1
000006a7: CALLDATASIZE
000006a8: SUB
000006a9: DUP2
000006aa: ADD
000006ab: SWAP1
000006ac: DUP1
000006ad: DUP1
000006ae: CALLDATALOAD
000006af: SWAP1
000006b0: PUSH1 0x20
000006b2: ADD
000006b3: SWAP1
000006b4: SWAP3
000006b5: SWAP2
000006b6: SWAP1
000006b7: POP
000006b8: POP
000006b9: POP
000006ba: PUSH2 0x1403
000006bd: JUMP
000006be: JUMPDEST
000006bf: PUSH1 0x40
000006c1: MLOAD
000006c2: DUP1
000006c3: DUP3
000006c4: DUP2
000006c5: MSTORE
000006c6: PUSH1 0x20
000006c8: ADD
000006c9: SWAP2
000006ca: POP
000006cb: POP
000006cc: PUSH1 0x40
000006ce: MLOAD
000006cf: DUP1
000006d0: SWAP2
000006d1: SUB
000006d2: SWAP1
000006d3: RETURN
000006d4: JUMPDEST
000006d5: CALLVALUE
000006d6: DUP1
000006d7: ISZERO
000006d8: PUSH2 0x06e0
000006db: JUMPI
000006dc: PUSH1 0x00
000006de: DUP1
000006df: REVERT
000006e0: JUMPDEST
000006e1: POP
000006e2: PUSH2 0x06e9
000006e5: PUSH2 0x141b
000006e8: JUMP
000006e9: JUMPDEST
000006ea: PUSH1 0x40
000006ec: MLOAD
000006ed: DUP1
000006ee: DUP1
000006ef: PUSH1 0x20
000006f1: ADD
000006f2: DUP3
000006f3: DUP2
000006f4: SUB
000006f5: DUP3
000006f6: MSTORE
000006f7: DUP4
000006f8: DUP2
000006f9: DUP2
000006fa: MLOAD
000006fb: DUP2
000006fc: MSTORE
000006fd: PUSH1 0x20
000006ff: ADD
00000700: SWAP2
00000701: POP
00000702: DUP1
00000703: MLOAD
00000704: SWAP1
00000705: PUSH1 0x20
00000707: ADD
00000708: SWAP1
00000709: PUSH1 0x20
0000070b: MUL
0000070c: DUP1
0000070d: DUP4
0000070e: DUP4
0000070f: PUSH1 0x00
00000711: JUMPDEST
00000712: DUP4
00000713: DUP2
00000714: LT
00000715: ISZERO
00000716: PUSH2 0x072c
00000719: JUMPI
0000071a: DUP1
0000071b: DUP3
0000071c: ADD
0000071d: MLOAD
0000071e: DUP2
0000071f: DUP5
00000720: ADD
00000721: MSTORE
00000722: PUSH1 0x20
00000724: DUP2
00000725: ADD
00000726: SWAP1
00000727: POP
00000728: PUSH2 0x0711
0000072b: JUMP
0000072c: JUMPDEST
0000072d: POP
0000072e: POP
0000072f: POP
00000730: POP
00000731: SWAP1
00000732: POP
00000733: ADD
00000734: SWAP3
00000735: POP
00000736: POP
00000737: POP
00000738: PUSH1 0x40
0000073a: MLOAD
0000073b: DUP1
0000073c: SWAP2
0000073d: SUB
0000073e: SWAP1
0000073f: RETURN
00000740: JUMPDEST
00000741: CALLVALUE
00000742: DUP1
00000743: ISZERO
00000744: PUSH2 0x074c
00000747: JUMPI
00000748: PUSH1 0x00
0000074a: DUP1
0000074b: REVERT
0000074c: JUMPDEST
0000074d: POP
0000074e: PUSH2 0x0755
00000751: PUSH2 0x1473
00000754: JUMP
00000755: JUMPDEST
00000756: PUSH1 0x40
00000758: MLOAD
00000759: DUP1
0000075a: DUP3
0000075b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000770: AND
00000771: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000786: AND
00000787: DUP2
00000788: MSTORE
00000789: PUSH1 0x20
0000078b: ADD
0000078c: SWAP2
0000078d: POP
0000078e: POP
0000078f: PUSH1 0x40
00000791: MLOAD
00000792: DUP1
00000793: SWAP2
00000794: SUB
00000795: SWAP1
00000796: RETURN
00000797: JUMPDEST
00000798: PUSH20 0x4e10a18a23d1bd1df6331c48cfd75d31f125ca30
000007ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c2: AND
000007c3: CALLER
000007c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d9: AND
000007da: EQ
000007db: DUP1
000007dc: PUSH2 0x0824
000007df: JUMPI
000007e0: POP
000007e1: PUSH20 0x8f92200dd83e8f25cb1dafba59d5532507998307
000007f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080b: AND
0000080c: CALLER
0000080d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000822: AND
00000823: EQ
00000824: JUMPDEST
00000825: ISZERO
00000826: ISZERO
00000827: PUSH2 0x0898
0000082a: JUMPI
0000082b: PUSH1 0x40
0000082d: MLOAD
0000082e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000084f: DUP2
00000850: MSTORE
00000851: PUSH1 0x04
00000853: ADD
00000854: DUP1
00000855: DUP1
00000856: PUSH1 0x20
00000858: ADD
00000859: DUP3
0000085a: DUP2
0000085b: SUB
0000085c: DUP3
0000085d: MSTORE
0000085e: PUSH1 0x1b
00000860: DUP2
00000861: MSTORE
00000862: PUSH1 0x20
00000864: ADD
00000865: DUP1
00000866: PUSH32 0x6f6e6c79207465616d206a7573742063616e2061637469766174650000000000
00000887: DUP2
00000888: MSTORE
00000889: POP
0000088a: PUSH1 0x20
0000088c: ADD
0000088d: SWAP2
0000088e: POP
0000088f: POP
00000890: PUSH1 0x40
00000892: MLOAD
00000893: DUP1
00000894: SWAP2
00000895: SUB
00000896: SWAP1
00000897: REVERT
00000898: JUMPDEST
00000899: PUSH1 0x03
0000089b: PUSH1 0x00
0000089d: SWAP1
0000089e: SLOAD
0000089f: SWAP1
000008a0: PUSH2 0x0100
000008a3: EXP
000008a4: SWAP1
000008a5: DIV
000008a6: PUSH1 0xff
000008a8: AND
000008a9: ISZERO
000008aa: PUSH2 0x08b2
000008ad: JUMPI
000008ae: PUSH2 0x08d5
000008b1: JUMP
000008b2: JUMPDEST
000008b3: PUSH1 0x01
000008b5: PUSH1 0x03
000008b7: PUSH1 0x00
000008b9: PUSH2 0x0100
000008bc: EXP
000008bd: DUP2
000008be: SLOAD
000008bf: DUP2
000008c0: PUSH1 0xff
000008c2: MUL
000008c3: NOT
000008c4: AND
000008c5: SWAP1
000008c6: DUP4
000008c7: ISZERO
000008c8: ISZERO
000008c9: MUL
000008ca: OR
000008cb: SWAP1
000008cc: SSTORE
000008cd: POP
000008ce: DUP1
000008cf: PUSH1 0x01
000008d1: DUP2
000008d2: SWAP1
000008d3: SSTORE
000008d4: POP
000008d5: JUMPDEST
000008d6: POP
000008d7: JUMP
000008d8: JUMPDEST
000008d9: PUSH1 0x03
000008db: PUSH1 0x00
000008dd: SWAP1
000008de: SLOAD
000008df: SWAP1
000008e0: PUSH2 0x0100
000008e3: EXP
000008e4: SWAP1
000008e5: DIV
000008e6: PUSH1 0xff
000008e8: AND
000008e9: DUP2
000008ea: JUMP
000008eb: JUMPDEST
000008ec: PUSH1 0x40
000008ee: DUP1
000008ef: MLOAD
000008f0: SWAP1
000008f1: DUP2
000008f2: ADD
000008f3: PUSH1 0x40
000008f5: MSTORE
000008f6: DUP1
000008f7: PUSH1 0x0d
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x20
000008fd: ADD
000008fe: PUSH32 0x45544820776f726c6420746f7000000000000000000000000000000000000000
0000091f: DUP2
00000920: MSTORE
00000921: POP
00000922: DUP2
00000923: JUMP
00000924: JUMPDEST
00000925: PUSH1 0x07
00000927: PUSH1 0x00
00000929: SWAP1
0000092a: SLOAD
0000092b: SWAP1
0000092c: PUSH2 0x0100
0000092f: EXP
00000930: SWAP1
00000931: DIV
00000932: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000947: AND
00000948: DUP2
00000949: JUMP
0000094a: JUMPDEST
0000094b: PUSH1 0x0c
0000094d: PUSH1 0x20
0000094f: MSTORE
00000950: DUP1
00000951: PUSH1 0x00
00000953: MSTORE
00000954: PUSH1 0x40
00000956: PUSH1 0x00
00000958: KECCAK256
00000959: PUSH1 0x00
0000095b: SWAP2
0000095c: POP
0000095d: SWAP1
0000095e: POP
0000095f: SLOAD
00000960: DUP2
00000961: JUMP
00000962: JUMPDEST
00000963: PUSH1 0x02
00000965: SLOAD
00000966: DUP2
00000967: JUMP
00000968: JUMPDEST
00000969: PUSH20 0x4e10a18a23d1bd1df6331c48cfd75d31f125ca30
0000097e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000993: AND
00000994: CALLER
00000995: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009aa: AND
000009ab: EQ
000009ac: DUP1
000009ad: PUSH2 0x09f5
000009b0: JUMPI
000009b1: POP
000009b2: PUSH20 0x8f92200dd83e8f25cb1dafba59d5532507998307
000009c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009dc: AND
000009dd: CALLER
000009de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f3: AND
000009f4: EQ
000009f5: JUMPDEST
000009f6: ISZERO
000009f7: ISZERO
000009f8: PUSH2 0x0a69
000009fb: JUMPI
000009fc: PUSH1 0x40
000009fe: MLOAD
000009ff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a20: DUP2
00000a21: MSTORE
00000a22: PUSH1 0x04
00000a24: ADD
00000a25: DUP1
00000a26: DUP1
00000a27: PUSH1 0x20
00000a29: ADD
00000a2a: DUP3
00000a2b: DUP2
00000a2c: SUB
00000a2d: DUP3
00000a2e: MSTORE
00000a2f: PUSH1 0x1b
00000a31: DUP2
00000a32: MSTORE
00000a33: PUSH1 0x20
00000a35: ADD
00000a36: DUP1
00000a37: PUSH32 0x6f6e6c79207465616d206a7573742063616e2061637469766174650000000000
00000a58: DUP2
00000a59: MSTORE
00000a5a: POP
00000a5b: PUSH1 0x20
00000a5d: ADD
00000a5e: SWAP2
00000a5f: POP
00000a60: POP
00000a61: PUSH1 0x40
00000a63: MLOAD
00000a64: DUP1
00000a65: SWAP2
00000a66: SUB
00000a67: SWAP1
00000a68: REVERT
00000a69: JUMPDEST
00000a6a: PUSH1 0x0c
00000a6c: PUSH1 0x00
00000a6e: PUSH1 0x0b
00000a70: SLOAD
00000a71: DUP2
00000a72: MSTORE
00000a73: PUSH1 0x20
00000a75: ADD
00000a76: SWAP1
00000a77: DUP2
00000a78: MSTORE
00000a79: PUSH1 0x20
00000a7b: ADD
00000a7c: PUSH1 0x00
00000a7e: KECCAK256
00000a7f: SLOAD
00000a80: ADDRESS
00000a81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a96: AND
00000a97: BALANCE
00000a98: GT
00000a99: ISZERO
00000a9a: PUSH2 0x0b35
00000a9d: JUMPI
00000a9e: PUSH1 0x08
00000aa0: PUSH1 0x00
00000aa2: SWAP1
00000aa3: SLOAD
00000aa4: SWAP1
00000aa5: PUSH2 0x0100
00000aa8: EXP
00000aa9: SWAP1
00000aaa: DIV
00000aab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac0: AND
00000ac1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad6: AND
00000ad7: PUSH2 0x08fc
00000ada: PUSH1 0x0c
00000adc: PUSH1 0x00
00000ade: PUSH1 0x0b
00000ae0: SLOAD
00000ae1: DUP2
00000ae2: MSTORE
00000ae3: PUSH1 0x20
00000ae5: ADD
00000ae6: SWAP1
00000ae7: DUP2
00000ae8: MSTORE
00000ae9: PUSH1 0x20
00000aeb: ADD
00000aec: PUSH1 0x00
00000aee: KECCAK256
00000aef: SLOAD
00000af0: ADDRESS
00000af1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b06: AND
00000b07: BALANCE
00000b08: SUB
00000b09: SWAP1
00000b0a: DUP2
00000b0b: ISZERO
00000b0c: MUL
00000b0d: SWAP1
00000b0e: PUSH1 0x40
00000b10: MLOAD
00000b11: PUSH1 0x00
00000b13: PUSH1 0x40
00000b15: MLOAD
00000b16: DUP1
00000b17: DUP4
00000b18: SUB
00000b19: DUP2
00000b1a: DUP6
00000b1b: DUP9
00000b1c: DUP9
00000b1d: CALL
00000b1e: SWAP4
00000b1f: POP
00000b20: POP
00000b21: POP
00000b22: POP
00000b23: ISZERO
00000b24: DUP1
00000b25: ISZERO
00000b26: PUSH2 0x0b33
00000b29: JUMPI
00000b2a: RETURNDATASIZE
00000b2b: PUSH1 0x00
00000b2d: DUP1
00000b2e: RETURNDATACOPY
00000b2f: RETURNDATASIZE
00000b30: PUSH1 0x00
00000b32: REVERT
00000b33: JUMPDEST
00000b34: POP
00000b35: JUMPDEST
00000b36: JUMP
00000b37: JUMPDEST
00000b38: PUSH1 0x03
00000b3a: PUSH1 0x00
00000b3c: SWAP1
00000b3d: SLOAD
00000b3e: SWAP1
00000b3f: PUSH2 0x0100
00000b42: EXP
00000b43: SWAP1
00000b44: DIV
00000b45: PUSH1 0xff
00000b47: AND
00000b48: ISZERO
00000b49: ISZERO
00000b4a: PUSH2 0x0b52
00000b4d: JUMPI
00000b4e: PUSH1 0x00
00000b50: DUP1
00000b51: REVERT
00000b52: JUMPDEST
00000b53: CALLVALUE
00000b54: PUSH1 0x0c
00000b56: PUSH1 0x00
00000b58: PUSH1 0x0b
00000b5a: SLOAD
00000b5b: DUP2
00000b5c: MSTORE
00000b5d: PUSH1 0x20
00000b5f: ADD
00000b60: SWAP1
00000b61: DUP2
00000b62: MSTORE
00000b63: PUSH1 0x20
00000b65: ADD
00000b66: PUSH1 0x00
00000b68: KECCAK256
00000b69: PUSH1 0x00
00000b6b: DUP3
00000b6c: DUP3
00000b6d: SLOAD
00000b6e: ADD
00000b6f: SWAP3
00000b70: POP
00000b71: POP
00000b72: DUP2
00000b73: SWAP1
00000b74: SSTORE
00000b75: POP
00000b76: JUMP
00000b77: JUMPDEST
00000b78: PUSH1 0x0a
00000b7a: DUP2
00000b7b: DUP2
00000b7c: SLOAD
00000b7d: DUP2
00000b7e: LT
00000b7f: ISZERO
00000b80: ISZERO
00000b81: PUSH2 0x0b86
00000b84: JUMPI
00000b85: INVALID
00000b86: JUMPDEST
00000b87: SWAP1
00000b88: PUSH1 0x00
00000b8a: MSTORE
00000b8b: PUSH1 0x20
00000b8d: PUSH1 0x00
00000b8f: KECCAK256
00000b90: ADD
00000b91: PUSH1 0x00
00000b93: SWAP2
00000b94: POP
00000b95: SWAP1
00000b96: POP
00000b97: SLOAD
00000b98: DUP2
00000b99: JUMP
00000b9a: JUMPDEST
00000b9b: PUSH1 0x0b
00000b9d: SLOAD
00000b9e: DUP2
00000b9f: JUMP
00000ba0: JUMPDEST
00000ba1: PUSH1 0x04
00000ba3: SLOAD
00000ba4: DUP2
00000ba5: JUMP
00000ba6: JUMPDEST
00000ba7: PUSH1 0x00
00000ba9: SLOAD
00000baa: DUP2
00000bab: JUMP
00000bac: JUMPDEST
00000bad: PUSH1 0x03
00000baf: PUSH1 0x00
00000bb1: SWAP1
00000bb2: SLOAD
00000bb3: SWAP1
00000bb4: PUSH2 0x0100
00000bb7: EXP
00000bb8: SWAP1
00000bb9: DIV
00000bba: PUSH1 0xff
00000bbc: AND
00000bbd: ISZERO
00000bbe: ISZERO
00000bbf: PUSH2 0x0bc7
00000bc2: JUMPI
00000bc3: PUSH1 0x00
00000bc5: DUP1
00000bc6: REVERT
00000bc7: JUMPDEST
00000bc8: PUSH1 0x00
00000bca: DUP1
00000bcb: CALLER
00000bcc: SWAP2
00000bcd: POP
00000bce: ORIGIN
00000bcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be4: AND
00000be5: DUP3
00000be6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bfb: AND
00000bfc: EQ
00000bfd: ISZERO
00000bfe: ISZERO
00000bff: PUSH2 0x0c07
00000c02: JUMPI
00000c03: PUSH1 0x00
00000c05: DUP1
00000c06: REVERT
00000c07: JUMPDEST
00000c08: DUP2
00000c09: EXTCODESIZE
00000c0a: SWAP1
00000c0b: POP
00000c0c: PUSH1 0x00
00000c0e: DUP2
00000c0f: EQ
00000c10: ISZERO
00000c11: ISZERO
00000c12: PUSH2 0x0c83
00000c15: JUMPI
00000c16: PUSH1 0x40
00000c18: MLOAD
00000c19: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c3a: DUP2
00000c3b: MSTORE
00000c3c: PUSH1 0x04
00000c3e: ADD
00000c3f: DUP1
00000c40: DUP1
00000c41: PUSH1 0x20
00000c43: ADD
00000c44: DUP3
00000c45: DUP2
00000c46: SUB
00000c47: DUP3
00000c48: MSTORE
00000c49: PUSH1 0x11
00000c4b: DUP2
00000c4c: MSTORE
00000c4d: PUSH1 0x20
00000c4f: ADD
00000c50: DUP1
00000c51: PUSH32 0x736f7272792068756d616e73206f6e6c79000000000000000000000000000000
00000c72: DUP2
00000c73: MSTORE
00000c74: POP
00000c75: PUSH1 0x20
00000c77: ADD
00000c78: SWAP2
00000c79: POP
00000c7a: POP
00000c7b: PUSH1 0x40
00000c7d: MLOAD
00000c7e: DUP1
00000c7f: SWAP2
00000c80: SUB
00000c81: SWAP1
00000c82: REVERT
00000c83: JUMPDEST
00000c84: PUSH1 0x0d
00000c86: PUSH1 0x00
00000c88: PUSH1 0x0b
00000c8a: SLOAD
00000c8b: DUP2
00000c8c: MSTORE
00000c8d: PUSH1 0x20
00000c8f: ADD
00000c90: SWAP1
00000c91: DUP2
00000c92: MSTORE
00000c93: PUSH1 0x20
00000c95: ADD
00000c96: PUSH1 0x00
00000c98: KECCAK256
00000c99: PUSH1 0x00
00000c9b: DUP6
00000c9c: DUP2
00000c9d: MSTORE
00000c9e: PUSH1 0x20
00000ca0: ADD
00000ca1: SWAP1
00000ca2: DUP2
00000ca3: MSTORE
00000ca4: PUSH1 0x20
00000ca6: ADD
00000ca7: PUSH1 0x00
00000ca9: KECCAK256
00000caa: PUSH1 0x04
00000cac: ADD
00000cad: PUSH1 0x00
00000caf: SWAP1
00000cb0: SLOAD
00000cb1: SWAP1
00000cb2: PUSH2 0x0100
00000cb5: EXP
00000cb6: SWAP1
00000cb7: DIV
00000cb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ccd: AND
00000cce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce3: AND
00000ce4: CALLER
00000ce5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cfa: AND
00000cfb: EQ
00000cfc: ISZERO
00000cfd: ISZERO
00000cfe: PUSH2 0x0d95
00000d01: JUMPI
00000d02: PUSH1 0x40
00000d04: MLOAD
00000d05: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d26: DUP2
00000d27: MSTORE
00000d28: PUSH1 0x04
00000d2a: ADD
00000d2b: DUP1
00000d2c: DUP1
00000d2d: PUSH1 0x20
00000d2f: ADD
00000d30: DUP3
00000d31: DUP2
00000d32: SUB
00000d33: DUP3
00000d34: MSTORE
00000d35: PUSH1 0x21
00000d37: DUP2
00000d38: MSTORE
00000d39: PUSH1 0x20
00000d3b: ADD
00000d3c: DUP1
00000d3d: PUSH32 0x6d736753656e6465722073686f756c6420626520636f756e7472794f776e6572
00000d5e: DUP2
00000d5f: MSTORE
00000d60: PUSH1 0x20
00000d62: ADD
00000d63: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000
00000d84: DUP2
00000d85: MSTORE
00000d86: POP
00000d87: PUSH1 0x40
00000d89: ADD
00000d8a: SWAP2
00000d8b: POP
00000d8c: POP
00000d8d: PUSH1 0x40
00000d8f: MLOAD
00000d90: DUP1
00000d91: SWAP2
00000d92: SUB
00000d93: SWAP1
00000d94: REVERT
00000d95: JUMPDEST
00000d96: PUSH1 0x00
00000d98: DUP4
00000d99: PUSH1 0x00
00000d9b: NOT
00000d9c: AND
00000d9d: EQ
00000d9e: ISZERO
00000d9f: ISZERO
00000da0: PUSH2 0x0dd6
00000da3: JUMPI
00000da4: DUP3
00000da5: PUSH1 0x0d
00000da7: PUSH1 0x00
00000da9: PUSH1 0x0b
00000dab: SLOAD
00000dac: DUP2
00000dad: MSTORE
00000dae: PUSH1 0x20
00000db0: ADD
00000db1: SWAP1
00000db2: DUP2
00000db3: MSTORE
00000db4: PUSH1 0x20
00000db6: ADD
00000db7: PUSH1 0x00
00000db9: KECCAK256
00000dba: PUSH1 0x00
00000dbc: DUP7
00000dbd: DUP2
00000dbe: MSTORE
00000dbf: PUSH1 0x20
00000dc1: ADD
00000dc2: SWAP1
00000dc3: DUP2
00000dc4: MSTORE
00000dc5: PUSH1 0x20
00000dc7: ADD
00000dc8: PUSH1 0x00
00000dca: KECCAK256
00000dcb: PUSH1 0x03
00000dcd: ADD
00000dce: DUP2
00000dcf: PUSH1 0x00
00000dd1: NOT
00000dd2: AND
00000dd3: SWAP1
00000dd4: SSTORE
00000dd5: POP
00000dd6: JUMPDEST
00000dd7: POP
00000dd8: POP
00000dd9: POP
00000dda: POP
00000ddb: JUMP
00000ddc: JUMPDEST
00000ddd: PUSH1 0x0f
00000ddf: SLOAD
00000de0: DUP2
00000de1: JUMP
00000de2: JUMPDEST
00000de3: PUSH1 0x05
00000de5: PUSH1 0x00
00000de7: SWAP1
00000de8: SLOAD
00000de9: SWAP1
00000dea: PUSH2 0x0100
00000ded: EXP
00000dee: SWAP1
00000def: DIV
00000df0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e05: AND
00000e06: DUP2
00000e07: JUMP
00000e08: JUMPDEST
00000e09: PUSH1 0x0d
00000e0b: PUSH1 0x20
00000e0d: MSTORE
00000e0e: DUP2
00000e0f: PUSH1 0x00
00000e11: MSTORE
00000e12: PUSH1 0x40
00000e14: PUSH1 0x00
00000e16: KECCAK256
00000e17: PUSH1 0x20
00000e19: MSTORE
00000e1a: DUP1
00000e1b: PUSH1 0x00
00000e1d: MSTORE
00000e1e: PUSH1 0x40
00000e20: PUSH1 0x00
00000e22: KECCAK256
00000e23: PUSH1 0x00
00000e25: SWAP2
00000e26: POP
00000e27: SWAP2
00000e28: POP
00000e29: POP
00000e2a: DUP1
00000e2b: PUSH1 0x00
00000e2d: ADD
00000e2e: SLOAD
00000e2f: SWAP1
00000e30: DUP1
00000e31: PUSH1 0x01
00000e33: ADD
00000e34: SLOAD
00000e35: SWAP1
00000e36: DUP1
00000e37: PUSH1 0x02
00000e39: ADD
00000e3a: SLOAD
00000e3b: SWAP1
00000e3c: DUP1
00000e3d: PUSH1 0x03
00000e3f: ADD
00000e40: SLOAD
00000e41: SWAP1
00000e42: DUP1
00000e43: PUSH1 0x04
00000e45: ADD
00000e46: PUSH1 0x00
00000e48: SWAP1
00000e49: SLOAD
00000e4a: SWAP1
00000e4b: PUSH2 0x0100
00000e4e: EXP
00000e4f: SWAP1
00000e50: DIV
00000e51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e66: AND
00000e67: SWAP1
00000e68: POP
00000e69: DUP6
00000e6a: JUMP
00000e6b: JUMPDEST
00000e6c: PUSH1 0x40
00000e6e: DUP1
00000e6f: MLOAD
00000e70: SWAP1
00000e71: DUP2
00000e72: ADD
00000e73: PUSH1 0x40
00000e75: MSTORE
00000e76: DUP1
00000e77: PUSH1 0x04
00000e79: DUP2
00000e7a: MSTORE
00000e7b: PUSH1 0x20
00000e7d: ADD
00000e7e: PUSH32 0x6371777400000000000000000000000000000000000000000000000000000000
00000e9f: DUP2
00000ea0: MSTORE
00000ea1: POP
00000ea2: DUP2
00000ea3: JUMP
00000ea4: JUMPDEST
00000ea5: PUSH1 0x00
00000ea7: DUP1
00000ea8: PUSH1 0x00
00000eaa: DUP1
00000eab: PUSH1 0x00
00000ead: DUP1
00000eae: CALLER
00000eaf: SWAP2
00000eb0: POP
00000eb1: ORIGIN
00000eb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec7: AND
00000ec8: DUP3
00000ec9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ede: AND
00000edf: EQ
00000ee0: ISZERO
00000ee1: ISZERO
00000ee2: PUSH2 0x0eea
00000ee5: JUMPI
00000ee6: PUSH1 0x00
00000ee8: DUP1
00000ee9: REVERT
00000eea: JUMPDEST
00000eeb: DUP2
00000eec: EXTCODESIZE
00000eed: SWAP1
00000eee: POP
00000eef: PUSH1 0x00
00000ef1: DUP2
00000ef2: EQ
00000ef3: ISZERO
00000ef4: ISZERO
00000ef5: PUSH2 0x0f66
00000ef8: JUMPI
00000ef9: PUSH1 0x40
00000efb: MLOAD
00000efc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f1d: DUP2
00000f1e: MSTORE
00000f1f: PUSH1 0x04
00000f21: ADD
00000f22: DUP1
00000f23: DUP1
00000f24: PUSH1 0x20
00000f26: ADD
00000f27: DUP3
00000f28: DUP2
00000f29: SUB
00000f2a: DUP3
00000f2b: MSTORE
00000f2c: PUSH1 0x11
00000f2e: DUP2
00000f2f: MSTORE
00000f30: PUSH1 0x20
00000f32: ADD
00000f33: DUP1
00000f34: PUSH32 0x736f7272792068756d616e73206f6e6c79000000000000000000000000000000
00000f55: DUP2
00000f56: MSTORE
00000f57: POP
00000f58: PUSH1 0x20
00000f5a: ADD
00000f5b: SWAP2
00000f5c: POP
00000f5d: POP
00000f5e: PUSH1 0x40
00000f60: MLOAD
00000f61: DUP1
00000f62: SWAP2
00000f63: SUB
00000f64: SWAP1
00000f65: REVERT
00000f66: JUMPDEST
00000f67: CALLVALUE
00000f68: SWAP6
00000f69: POP
00000f6a: PUSH2 0x0f86
00000f6d: PUSH7 0xb1a2bc2ec50000
00000f75: DUP10
00000f76: DUP10
00000f77: SWAP1
00000f78: POP
00000f79: PUSH2 0x1499
00000f7c: SWAP1
00000f7d: SWAP2
00000f7e: SWAP1
00000f7f: PUSH4 0xffffffff
00000f84: AND
00000f85: JUMP
00000f86: JUMPDEST
00000f87: DUP7
00000f88: LT
00000f89: ISZERO
00000f8a: ISZERO
00000f8b: ISZERO
00000f8c: PUSH2 0x0ffd
00000f8f: JUMPI
00000f90: PUSH1 0x40
00000f92: MLOAD
00000f93: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fb4: DUP2
00000fb5: MSTORE
00000fb6: PUSH1 0x04
00000fb8: ADD
00000fb9: DUP1
00000fba: DUP1
00000fbb: PUSH1 0x20
00000fbd: ADD
00000fbe: DUP3
00000fbf: DUP2
00000fc0: SUB
00000fc1: DUP3
00000fc2: MSTORE
00000fc3: PUSH1 0x1e
00000fc5: DUP2
00000fc6: MSTORE
00000fc7: PUSH1 0x20
00000fc9: ADD
00000fca: DUP1
00000fcb: PUSH32 0x416d6f756e742073686f756c642062652077697468696e2072616e67652e0000
00000fec: DUP2
00000fed: MSTORE
00000fee: POP
00000fef: PUSH1 0x20
00000ff1: ADD
00000ff2: SWAP2
00000ff3: POP
00000ff4: POP
00000ff5: PUSH1 0x40
00000ff7: MLOAD
00000ff8: DUP1
00000ff9: SWAP2
00000ffa: SUB
00000ffb: SWAP1
00000ffc: REVERT
00000ffd: JUMPDEST
00000ffe: PUSH1 0x00
00001000: SWAP5
00001001: POP
00001002: JUMPDEST
00001003: DUP8
00001004: DUP8
00001005: SWAP1
00001006: POP
00001007: DUP6
00001008: LT
00001009: ISZERO
0000100a: PUSH2 0x10e3
0000100d: JUMPI
0000100e: DUP8
0000100f: DUP8
00001010: DUP7
00001011: DUP2
00001012: DUP2
00001013: LT
00001014: ISZERO
00001015: ISZERO
00001016: PUSH2 0x101b
00001019: JUMPI
0000101a: INVALID
0000101b: JUMPDEST
0000101c: SWAP1
0000101d: POP
0000101e: PUSH1 0x20
00001020: MUL
00001021: ADD
00001022: CALLDATALOAD
00001023: SWAP4
00001024: POP
00001025: PUSH1 0x00
00001027: DUP5
00001028: EQ
00001029: DUP1
0000102a: PUSH2 0x1034
0000102d: JUMPI
0000102e: POP
0000102f: PUSH1 0x01
00001031: SLOAD
00001032: DUP5
00001033: GT
00001034: JUMPDEST
00001035: ISZERO
00001036: PUSH2 0x103e
00001039: JUMPI
0000103a: PUSH2 0x10d6
0000103d: JUMP
0000103e: JUMPDEST
0000103f: PUSH7 0xb1a2bc2ec50000
00001047: SWAP3
00001048: POP
00001049: PUSH1 0x00
0000104b: PUSH1 0x0d
0000104d: PUSH1 0x00
0000104f: PUSH1 0x0b
00001051: SLOAD
00001052: DUP2
00001053: MSTORE
00001054: PUSH1 0x20
00001056: ADD
00001057: SWAP1
00001058: DUP2
00001059: MSTORE
0000105a: PUSH1 0x20
0000105c: ADD
0000105d: PUSH1 0x00
0000105f: KECCAK256
00001060: PUSH1 0x00
00001062: DUP7
00001063: DUP2
00001064: MSTORE
00001065: PUSH1 0x20
00001067: ADD
00001068: SWAP1
00001069: DUP2
0000106a: MSTORE
0000106b: PUSH1 0x20
0000106d: ADD
0000106e: PUSH1 0x00
00001070: KECCAK256
00001071: PUSH1 0x01
00001073: ADD
00001074: SLOAD
00001075: GT
00001076: ISZERO
00001077: PUSH2 0x10a7
0000107a: JUMPI
0000107b: PUSH1 0x0d
0000107d: PUSH1 0x00
0000107f: PUSH1 0x0b
00001081: SLOAD
00001082: DUP2
00001083: MSTORE
00001084: PUSH1 0x20
00001086: ADD
00001087: SWAP1
00001088: DUP2
00001089: MSTORE
0000108a: PUSH1 0x20
0000108c: ADD
0000108d: PUSH1 0x00
0000108f: KECCAK256
00001090: PUSH1 0x00
00001092: DUP6
00001093: DUP2
00001094: MSTORE
00001095: PUSH1 0x20
00001097: ADD
00001098: SWAP1
00001099: DUP2
0000109a: MSTORE
0000109b: PUSH1 0x20
0000109d: ADD
0000109e: PUSH1 0x00
000010a0: KECCAK256
000010a1: PUSH1 0x01
000010a3: ADD
000010a4: SLOAD
000010a5: SWAP3
000010a6: POP
000010a7: JUMPDEST
000010a8: DUP3
000010a9: DUP7
000010aa: LT
000010ab: ISZERO
000010ac: PUSH2 0x10b4
000010af: JUMPI
000010b0: PUSH2 0x10d6
000010b3: JUMP
000010b4: JUMPDEST
000010b5: PUSH2 0x10c0
000010b8: DUP5
000010b9: PUSH1 0x00
000010bb: DUP6
000010bc: PUSH2 0x153d
000010bf: JUMP
000010c0: JUMPDEST
000010c1: PUSH2 0x10d3
000010c4: DUP4
000010c5: DUP8
000010c6: PUSH2 0x1a0b
000010c9: SWAP1
000010ca: SWAP2
000010cb: SWAP1
000010cc: PUSH4 0xffffffff
000010d1: AND
000010d2: JUMP
000010d3: JUMPDEST
000010d4: SWAP6
000010d5: POP
000010d6: JUMPDEST
000010d7: DUP5
000010d8: DUP1
000010d9: PUSH1 0x01
000010db: ADD
000010dc: SWAP6
000010dd: POP
000010de: POP
000010df: PUSH2 0x1002
000010e2: JUMP
000010e3: JUMPDEST
000010e4: PUSH1 0x00
000010e6: DUP7
000010e7: GT
000010e8: ISZERO
000010e9: PUSH2 0x1134
000010ec: JUMPI
000010ed: CALLER
000010ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001103: AND
00001104: PUSH2 0x08fc
00001107: DUP8
00001108: SWAP1
00001109: DUP2
0000110a: ISZERO
0000110b: MUL
0000110c: SWAP1
0000110d: PUSH1 0x40
0000110f: MLOAD
00001110: PUSH1 0x00
00001112: PUSH1 0x40
00001114: MLOAD
00001115: DUP1
00001116: DUP4
00001117: SUB
00001118: DUP2
00001119: DUP6
0000111a: DUP9
0000111b: DUP9
0000111c: CALL
0000111d: SWAP4
0000111e: POP
0000111f: POP
00001120: POP
00001121: POP
00001122: ISZERO
00001123: DUP1
00001124: ISZERO
00001125: PUSH2 0x1132
00001128: JUMPI
00001129: RETURNDATASIZE
0000112a: PUSH1 0x00
0000112c: DUP1
0000112d: RETURNDATACOPY
0000112e: RETURNDATASIZE
0000112f: PUSH1 0x00
00001131: REVERT
00001132: JUMPDEST
00001133: POP
00001134: JUMPDEST
00001135: POP
00001136: POP
00001137: POP
00001138: POP
00001139: POP
0000113a: POP
0000113b: POP
0000113c: POP
0000113d: JUMP
0000113e: JUMPDEST
0000113f: PUSH1 0x08
00001141: PUSH1 0x00
00001143: SWAP1
00001144: SLOAD
00001145: SWAP1
00001146: PUSH2 0x0100
00001149: EXP
0000114a: SWAP1
0000114b: DIV
0000114c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001161: AND
00001162: DUP2
00001163: JUMP
00001164: JUMPDEST
00001165: PUSH1 0x00
00001167: DUP1
00001168: CALLER
00001169: SWAP2
0000116a: POP
0000116b: ORIGIN
0000116c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001181: AND
00001182: DUP3
00001183: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001198: AND
00001199: EQ
0000119a: ISZERO
0000119b: ISZERO
0000119c: PUSH2 0x11a4
0000119f: JUMPI
000011a0: PUSH1 0x00
000011a2: DUP1
000011a3: REVERT
000011a4: JUMPDEST
000011a5: DUP2
000011a6: EXTCODESIZE
000011a7: SWAP1
000011a8: POP
000011a9: PUSH1 0x00
000011ab: DUP2
000011ac: EQ
000011ad: ISZERO
000011ae: ISZERO
000011af: PUSH2 0x1220
000011b2: JUMPI
000011b3: PUSH1 0x40
000011b5: MLOAD
000011b6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x04
000011db: ADD
000011dc: DUP1
000011dd: DUP1
000011de: PUSH1 0x20
000011e0: ADD
000011e1: DUP3
000011e2: DUP2
000011e3: SUB
000011e4: DUP3
000011e5: MSTORE
000011e6: PUSH1 0x11
000011e8: DUP2
000011e9: MSTORE
000011ea: PUSH1 0x20
000011ec: ADD
000011ed: DUP1
000011ee: PUSH32 0x736f7272792068756d616e73206f6e6c79000000000000000000000000000000
0000120f: DUP2
00001210: MSTORE
00001211: POP
00001212: PUSH1 0x20
00001214: ADD
00001215: SWAP2
00001216: POP
00001217: POP
00001218: PUSH1 0x40
0000121a: MLOAD
0000121b: DUP1
0000121c: SWAP2
0000121d: SUB
0000121e: SWAP1
0000121f: REVERT
00001220: JUMPDEST
00001221: PUSH7 0xb1a2bc2ec50000
00001229: CALLVALUE
0000122a: LT
0000122b: ISZERO
0000122c: ISZERO
0000122d: ISZERO
0000122e: PUSH2 0x129f
00001231: JUMPI
00001232: PUSH1 0x40
00001234: MLOAD
00001235: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001256: DUP2
00001257: MSTORE
00001258: PUSH1 0x04
0000125a: ADD
0000125b: DUP1
0000125c: DUP1
0000125d: PUSH1 0x20
0000125f: ADD
00001260: DUP3
00001261: DUP2
00001262: SUB
00001263: DUP3
00001264: MSTORE
00001265: PUSH1 0x1e
00001267: DUP2
00001268: MSTORE
00001269: PUSH1 0x20
0000126b: ADD
0000126c: DUP1
0000126d: PUSH32 0x416d6f756e742073686f756c642062652077697468696e2072616e67652e0000
0000128e: DUP2
0000128f: MSTORE
00001290: POP
00001291: PUSH1 0x20
00001293: ADD
00001294: SWAP2
00001295: POP
00001296: POP
00001297: PUSH1 0x40
00001299: MLOAD
0000129a: DUP1
0000129b: SWAP2
0000129c: SUB
0000129d: SWAP1
0000129e: REVERT
0000129f: JUMPDEST
000012a0: PUSH1 0x0d
000012a2: PUSH1 0x00
000012a4: PUSH1 0x0b
000012a6: SLOAD
000012a7: DUP2
000012a8: MSTORE
000012a9: PUSH1 0x20
000012ab: ADD
000012ac: SWAP1
000012ad: DUP2
000012ae: MSTORE
000012af: PUSH1 0x20
000012b1: ADD
000012b2: PUSH1 0x00
000012b4: KECCAK256
000012b5: PUSH1 0x00
000012b7: DUP6
000012b8: DUP2
000012b9: MSTORE
000012ba: PUSH1 0x20
000012bc: ADD
000012bd: SWAP1
000012be: DUP2
000012bf: MSTORE
000012c0: PUSH1 0x20
000012c2: ADD
000012c3: PUSH1 0x00
000012c5: KECCAK256
000012c6: PUSH1 0x01
000012c8: ADD
000012c9: SLOAD
000012ca: CALLVALUE
000012cb: LT
000012cc: ISZERO
000012cd: ISZERO
000012ce: ISZERO
000012cf: PUSH2 0x1340
000012d2: JUMPI
000012d3: PUSH1 0x40
000012d5: MLOAD
000012d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012f7: DUP2
000012f8: MSTORE
000012f9: PUSH1 0x04
000012fb: ADD
000012fc: DUP1
000012fd: DUP1
000012fe: PUSH1 0x20
00001300: ADD
00001301: DUP3
00001302: DUP2
00001303: SUB
00001304: DUP3
00001305: MSTORE
00001306: PUSH1 0x1d
00001308: DUP2
00001309: MSTORE
0000130a: PUSH1 0x20
0000130c: ADD
0000130d: DUP1
0000130e: PUSH32 0x50726963652073686f756c642062652077697468696e2072616e67652e000000
0000132f: DUP2
00001330: MSTORE
00001331: POP
00001332: PUSH1 0x20
00001334: ADD
00001335: SWAP2
00001336: POP
00001337: POP
00001338: PUSH1 0x40
0000133a: MLOAD
0000133b: DUP1
0000133c: SWAP2
0000133d: SUB
0000133e: SWAP1
0000133f: REVERT
00001340: JUMPDEST
00001341: PUSH1 0x00
00001343: DUP5
00001344: GT
00001345: DUP1
00001346: ISZERO
00001347: PUSH2 0x1352
0000134a: JUMPI
0000134b: POP
0000134c: PUSH1 0x01
0000134e: SLOAD
0000134f: DUP5
00001350: GT
00001351: ISZERO
00001352: JUMPDEST
00001353: ISZERO
00001354: ISZERO
00001355: PUSH2 0x13ec
00001358: JUMPI
00001359: PUSH1 0x40
0000135b: MLOAD
0000135c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000137d: DUP2
0000137e: MSTORE
0000137f: PUSH1 0x04
00001381: ADD
00001382: DUP1
00001383: DUP1
00001384: PUSH1 0x20
00001386: ADD
00001387: DUP3
00001388: DUP2
00001389: SUB
0000138a: DUP3
0000138b: MSTORE
0000138c: PUSH1 0x22
0000138e: DUP2
0000138f: MSTORE
00001390: PUSH1 0x20
00001392: ADD
00001393: DUP1
00001394: PUSH32 0x436f756e7472794e756d2073686f756c642062652077697468696e2063746e75
000013b5: DUP2
000013b6: MSTORE
000013b7: PUSH1 0x20
000013b9: ADD
000013ba: PUSH32 0x6d2e000000000000000000000000000000000000000000000000000000000000
000013db: DUP2
000013dc: MSTORE
000013dd: POP
000013de: PUSH1 0x40
000013e0: ADD
000013e1: SWAP2
000013e2: POP
000013e3: POP
000013e4: PUSH1 0x40
000013e6: MLOAD
000013e7: DUP1
000013e8: SWAP2
000013e9: SUB
000013ea: SWAP1
000013eb: REVERT
000013ec: JUMPDEST
000013ed: PUSH2 0x13f7
000013f0: DUP5
000013f1: DUP5
000013f2: CALLVALUE
000013f3: PUSH2 0x153d
000013f6: JUMP
000013f7: JUMPDEST
000013f8: POP
000013f9: POP
000013fa: POP
000013fb: POP
000013fc: JUMP
000013fd: JUMPDEST
000013fe: PUSH1 0x01
00001400: SLOAD
00001401: DUP2
00001402: JUMP
00001403: JUMPDEST
00001404: PUSH1 0x0e
00001406: PUSH1 0x20
00001408: MSTORE
00001409: DUP1
0000140a: PUSH1 0x00
0000140c: MSTORE
0000140d: PUSH1 0x40
0000140f: PUSH1 0x00
00001411: KECCAK256
00001412: PUSH1 0x00
00001414: SWAP2
00001415: POP
00001416: SWAP1
00001417: POP
00001418: SLOAD
00001419: DUP2
0000141a: JUMP
0000141b: JUMPDEST
0000141c: PUSH1 0x60
0000141e: PUSH1 0x0a
00001420: DUP1
00001421: SLOAD
00001422: DUP1
00001423: PUSH1 0x20
00001425: MUL
00001426: PUSH1 0x20
00001428: ADD
00001429: PUSH1 0x40
0000142b: MLOAD
0000142c: SWAP1
0000142d: DUP2
0000142e: ADD
0000142f: PUSH1 0x40
00001431: MSTORE
00001432: DUP1
00001433: SWAP3
00001434: SWAP2
00001435: SWAP1
00001436: DUP2
00001437: DUP2
00001438: MSTORE
00001439: PUSH1 0x20
0000143b: ADD
0000143c: DUP3
0000143d: DUP1
0000143e: SLOAD
0000143f: DUP1
00001440: ISZERO
00001441: PUSH2 0x1469
00001444: JUMPI
00001445: PUSH1 0x20
00001447: MUL
00001448: DUP3
00001449: ADD
0000144a: SWAP2
0000144b: SWAP1
0000144c: PUSH1 0x00
0000144e: MSTORE
0000144f: PUSH1 0x20
00001451: PUSH1 0x00
00001453: KECCAK256
00001454: SWAP1
00001455: JUMPDEST
00001456: DUP2
00001457: SLOAD
00001458: DUP2
00001459: MSTORE
0000145a: PUSH1 0x20
0000145c: ADD
0000145d: SWAP1
0000145e: PUSH1 0x01
00001460: ADD
00001461: SWAP1
00001462: DUP1
00001463: DUP4
00001464: GT
00001465: PUSH2 0x1455
00001468: JUMPI
00001469: JUMPDEST
0000146a: POP
0000146b: POP
0000146c: POP
0000146d: POP
0000146e: POP
0000146f: SWAP1
00001470: POP
00001471: SWAP1
00001472: JUMP
00001473: JUMPDEST
00001474: PUSH1 0x09
00001476: PUSH1 0x00
00001478: SWAP1
00001479: SLOAD
0000147a: SWAP1
0000147b: PUSH2 0x0100
0000147e: EXP
0000147f: SWAP1
00001480: DIV
00001481: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001496: AND
00001497: DUP2
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH1 0x00
0000149c: DUP1
0000149d: DUP4
0000149e: EQ
0000149f: ISZERO
000014a0: PUSH2 0x14ac
000014a3: JUMPI
000014a4: PUSH1 0x00
000014a6: SWAP1
000014a7: POP
000014a8: PUSH2 0x1537
000014ab: JUMP
000014ac: JUMPDEST
000014ad: DUP2
000014ae: DUP4
000014af: MUL
000014b0: SWAP1
000014b1: POP
000014b2: DUP2
000014b3: DUP4
000014b4: DUP3
000014b5: DUP2
000014b6: ISZERO
000014b7: ISZERO
000014b8: PUSH2 0x14bd
000014bb: JUMPI
000014bc: INVALID
000014bd: JUMPDEST
000014be: DIV
000014bf: EQ
000014c0: ISZERO
000014c1: ISZERO
000014c2: PUSH2 0x1533
000014c5: JUMPI
000014c6: PUSH1 0x40
000014c8: MLOAD
000014c9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014ea: DUP2
000014eb: MSTORE
000014ec: PUSH1 0x04
000014ee: ADD
000014ef: DUP1
000014f0: DUP1
000014f1: PUSH1 0x20
000014f3: ADD
000014f4: DUP3
000014f5: DUP2
000014f6: SUB
000014f7: DUP3
000014f8: MSTORE
000014f9: PUSH1 0x13
000014fb: DUP2
000014fc: MSTORE
000014fd: PUSH1 0x20
000014ff: ADD
00001500: DUP1
00001501: PUSH32 0x536166654d617468206d756c206661696c656400000000000000000000000000
00001522: DUP2
00001523: MSTORE
00001524: POP
00001525: PUSH1 0x20
00001527: ADD
00001528: SWAP2
00001529: POP
0000152a: POP
0000152b: PUSH1 0x40
0000152d: MLOAD
0000152e: DUP1
0000152f: SWAP2
00001530: SUB
00001531: SWAP1
00001532: REVERT
00001533: JUMPDEST
00001534: DUP1
00001535: SWAP1
00001536: POP
00001537: JUMPDEST
00001538: SWAP3
00001539: SWAP2
0000153a: POP
0000153b: POP
0000153c: JUMP
0000153d: JUMPDEST
0000153e: PUSH1 0x00
00001540: PUSH1 0x03
00001542: PUSH1 0x00
00001544: SWAP1
00001545: SLOAD
00001546: SWAP1
00001547: PUSH2 0x0100
0000154a: EXP
0000154b: SWAP1
0000154c: DIV
0000154d: PUSH1 0xff
0000154f: AND
00001550: ISZERO
00001551: ISZERO
00001552: PUSH2 0x155a
00001555: JUMPI
00001556: PUSH1 0x00
00001558: DUP1
00001559: REVERT
0000155a: JUMPDEST
0000155b: PUSH1 0x00
0000155d: DUP4
0000155e: PUSH1 0x00
00001560: NOT
00001561: AND
00001562: EQ
00001563: ISZERO
00001564: ISZERO
00001565: PUSH2 0x159b
00001568: JUMPI
00001569: DUP3
0000156a: PUSH1 0x0d
0000156c: PUSH1 0x00
0000156e: PUSH1 0x0b
00001570: SLOAD
00001571: DUP2
00001572: MSTORE
00001573: PUSH1 0x20
00001575: ADD
00001576: SWAP1
00001577: DUP2
00001578: MSTORE
00001579: PUSH1 0x20
0000157b: ADD
0000157c: PUSH1 0x00
0000157e: KECCAK256
0000157f: PUSH1 0x00
00001581: DUP7
00001582: DUP2
00001583: MSTORE
00001584: PUSH1 0x20
00001586: ADD
00001587: SWAP1
00001588: DUP2
00001589: MSTORE
0000158a: PUSH1 0x20
0000158c: ADD
0000158d: PUSH1 0x00
0000158f: KECCAK256
00001590: PUSH1 0x03
00001592: ADD
00001593: DUP2
00001594: PUSH1 0x00
00001596: NOT
00001597: AND
00001598: SWAP1
00001599: SSTORE
0000159a: POP
0000159b: JUMPDEST
0000159c: PUSH1 0x01
0000159e: ISZERO
0000159f: ISZERO
000015a0: PUSH2 0x15a7
000015a3: PUSH2 0x1a90
000015a6: JUMP
000015a7: JUMPDEST
000015a8: ISZERO
000015a9: ISZERO
000015aa: EQ
000015ab: ISZERO
000015ac: PUSH2 0x182d
000015af: JUMPI
000015b0: PUSH2 0x15d6
000015b3: PUSH1 0x64
000015b5: PUSH2 0x15c8
000015b8: PUSH1 0x07
000015ba: DUP6
000015bb: PUSH2 0x1499
000015be: SWAP1
000015bf: SWAP2
000015c0: SWAP1
000015c1: PUSH4 0xffffffff
000015c6: AND
000015c7: JUMP
000015c8: JUMPDEST
000015c9: PUSH2 0x1cd7
000015cc: SWAP1
000015cd: SWAP2
000015ce: SWAP1
000015cf: PUSH4 0xffffffff
000015d4: AND
000015d5: JUMP
000015d6: JUMPDEST
000015d7: SWAP1
000015d8: POP
000015d9: DUP1
000015da: PUSH1 0x0c
000015dc: PUSH1 0x00
000015de: PUSH1 0x0b
000015e0: SLOAD
000015e1: DUP2
000015e2: MSTORE
000015e3: PUSH1 0x20
000015e5: ADD
000015e6: SWAP1
000015e7: DUP2
000015e8: MSTORE
000015e9: PUSH1 0x20
000015eb: ADD
000015ec: PUSH1 0x00
000015ee: KECCAK256
000015ef: PUSH1 0x00
000015f1: DUP3
000015f2: DUP3
000015f3: SLOAD
000015f4: ADD
000015f5: SWAP3
000015f6: POP
000015f7: POP
000015f8: DUP2
000015f9: SWAP1
000015fa: SSTORE
000015fb: POP
000015fc: PUSH2 0x1605
000015ff: DUP5
00001600: DUP4
00001601: PUSH2 0x1cf2
00001604: JUMP
00001605: JUMPDEST
00001606: PUSH1 0x00
00001608: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161d: AND
0000161e: PUSH1 0x0d
00001620: PUSH1 0x00
00001622: PUSH1 0x0b
00001624: SLOAD
00001625: DUP2
00001626: MSTORE
00001627: PUSH1 0x20
00001629: ADD
0000162a: SWAP1
0000162b: DUP2
0000162c: MSTORE
0000162d: PUSH1 0x20
0000162f: ADD
00001630: PUSH1 0x00
00001632: KECCAK256
00001633: PUSH1 0x00
00001635: DUP7
00001636: DUP2
00001637: MSTORE
00001638: PUSH1 0x20
0000163a: ADD
0000163b: SWAP1
0000163c: DUP2
0000163d: MSTORE
0000163e: PUSH1 0x20
00001640: ADD
00001641: PUSH1 0x00
00001643: KECCAK256
00001644: PUSH1 0x04
00001646: ADD
00001647: PUSH1 0x00
00001649: SWAP1
0000164a: SLOAD
0000164b: SWAP1
0000164c: PUSH2 0x0100
0000164f: EXP
00001650: SWAP1
00001651: DIV
00001652: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001667: AND
00001668: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000167d: AND
0000167e: EQ
0000167f: ISZERO
00001680: ISZERO
00001681: PUSH2 0x173f
00001684: JUMPI
00001685: PUSH1 0x0d
00001687: PUSH1 0x00
00001689: PUSH1 0x0b
0000168b: SLOAD
0000168c: DUP2
0000168d: MSTORE
0000168e: PUSH1 0x20
00001690: ADD
00001691: SWAP1
00001692: DUP2
00001693: MSTORE
00001694: PUSH1 0x20
00001696: ADD
00001697: PUSH1 0x00
00001699: KECCAK256
0000169a: PUSH1 0x00
0000169c: DUP6
0000169d: DUP2
0000169e: MSTORE
0000169f: PUSH1 0x20
000016a1: ADD
000016a2: SWAP1
000016a3: DUP2
000016a4: MSTORE
000016a5: PUSH1 0x20
000016a7: ADD
000016a8: PUSH1 0x00
000016aa: KECCAK256
000016ab: PUSH1 0x04
000016ad: ADD
000016ae: PUSH1 0x00
000016b0: SWAP1
000016b1: SLOAD
000016b2: SWAP1
000016b3: PUSH2 0x0100
000016b6: EXP
000016b7: SWAP1
000016b8: DIV
000016b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ce: AND
000016cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e4: AND
000016e5: PUSH2 0x08fc
000016e8: PUSH2 0x170e
000016eb: PUSH1 0x64
000016ed: PUSH2 0x1700
000016f0: PUSH1 0x58
000016f2: DUP8
000016f3: PUSH2 0x1499
000016f6: SWAP1
000016f7: SWAP2
000016f8: SWAP1
000016f9: PUSH4 0xffffffff
000016fe: AND
000016ff: JUMP
00001700: JUMPDEST
00001701: PUSH2 0x1cd7
00001704: SWAP1
00001705: SWAP2
00001706: SWAP1
00001707: PUSH4 0xffffffff
0000170c: AND
0000170d: JUMP
0000170e: JUMPDEST
0000170f: SWAP1
00001710: DUP2
00001711: ISZERO
00001712: MUL
00001713: SWAP1
00001714: PUSH1 0x40
00001716: MLOAD
00001717: PUSH1 0x00
00001719: PUSH1 0x40
0000171b: MLOAD
0000171c: DUP1
0000171d: DUP4
0000171e: SUB
0000171f: DUP2
00001720: DUP6
00001721: DUP9
00001722: DUP9
00001723: CALL
00001724: SWAP4
00001725: POP
00001726: POP
00001727: POP
00001728: POP
00001729: ISZERO
0000172a: DUP1
0000172b: ISZERO
0000172c: PUSH2 0x1739
0000172f: JUMPI
00001730: RETURNDATASIZE
00001731: PUSH1 0x00
00001733: DUP1
00001734: RETURNDATACOPY
00001735: RETURNDATASIZE
00001736: PUSH1 0x00
00001738: REVERT
00001739: JUMPDEST
0000173a: POP
0000173b: PUSH2 0x176c
0000173e: JUMP
0000173f: JUMPDEST
00001740: PUSH1 0x0a
00001742: DUP5
00001743: SWAP1
00001744: DUP1
00001745: PUSH1 0x01
00001747: DUP2
00001748: SLOAD
00001749: ADD
0000174a: DUP1
0000174b: DUP3
0000174c: SSTORE
0000174d: DUP1
0000174e: SWAP2
0000174f: POP
00001750: POP
00001751: SWAP1
00001752: PUSH1 0x01
00001754: DUP3
00001755: SUB
00001756: SWAP1
00001757: PUSH1 0x00
00001759: MSTORE
0000175a: PUSH1 0x20
0000175c: PUSH1 0x00
0000175e: KECCAK256
0000175f: ADD
00001760: PUSH1 0x00
00001762: SWAP1
00001763: SWAP2
00001764: SWAP3
00001765: SWAP1
00001766: SWAP2
00001767: SWAP1
00001768: SWAP2
00001769: POP
0000176a: SSTORE
0000176b: POP
0000176c: JUMPDEST
0000176d: CALLER
0000176e: PUSH1 0x0d
00001770: PUSH1 0x00
00001772: PUSH1 0x0b
00001774: SLOAD
00001775: DUP2
00001776: MSTORE
00001777: PUSH1 0x20
00001779: ADD
0000177a: SWAP1
0000177b: DUP2
0000177c: MSTORE
0000177d: PUSH1 0x20
0000177f: ADD
00001780: PUSH1 0x00
00001782: KECCAK256
00001783: PUSH1 0x00
00001785: DUP7
00001786: DUP2
00001787: MSTORE
00001788: PUSH1 0x20
0000178a: ADD
0000178b: SWAP1
0000178c: DUP2
0000178d: MSTORE
0000178e: PUSH1 0x20
00001790: ADD
00001791: PUSH1 0x00
00001793: KECCAK256
00001794: PUSH1 0x04
00001796: ADD
00001797: PUSH1 0x00
00001799: PUSH2 0x0100
0000179c: EXP
0000179d: DUP2
0000179e: SLOAD
0000179f: DUP2
000017a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b5: MUL
000017b6: NOT
000017b7: AND
000017b8: SWAP1
000017b9: DUP4
000017ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017cf: AND
000017d0: MUL
000017d1: OR
000017d2: SWAP1
000017d3: SSTORE
000017d4: POP
000017d5: PUSH2 0x17fb
000017d8: PUSH1 0x0a
000017da: PUSH2 0x17ed
000017dd: PUSH1 0x0e
000017df: DUP6
000017e0: PUSH2 0x1499
000017e3: SWAP1
000017e4: SWAP2
000017e5: SWAP1
000017e6: PUSH4 0xffffffff
000017eb: AND
000017ec: JUMP
000017ed: JUMPDEST
000017ee: PUSH2 0x1cd7
000017f1: SWAP1
000017f2: SWAP2
000017f3: SWAP1
000017f4: PUSH4 0xffffffff
000017f9: AND
000017fa: JUMP
000017fb: JUMPDEST
000017fc: PUSH1 0x0d
000017fe: PUSH1 0x00
00001800: PUSH1 0x0b
00001802: SLOAD
00001803: DUP2
00001804: MSTORE
00001805: PUSH1 0x20
00001807: ADD
00001808: SWAP1
00001809: DUP2
0000180a: MSTORE
0000180b: PUSH1 0x20
0000180d: ADD
0000180e: PUSH1 0x00
00001810: KECCAK256
00001811: PUSH1 0x00
00001813: DUP7
00001814: DUP2
00001815: MSTORE
00001816: PUSH1 0x20
00001818: ADD
00001819: SWAP1
0000181a: DUP2
0000181b: MSTORE
0000181c: PUSH1 0x20
0000181e: ADD
0000181f: PUSH1 0x00
00001821: KECCAK256
00001822: PUSH1 0x01
00001824: ADD
00001825: DUP2
00001826: SWAP1
00001827: SSTORE
00001828: POP
00001829: PUSH2 0x1973
0000182c: JUMP
0000182d: JUMPDEST
0000182e: PUSH1 0x0b
00001830: PUSH1 0x00
00001832: DUP2
00001833: SLOAD
00001834: DUP1
00001835: SWAP3
00001836: SWAP2
00001837: SWAP1
00001838: PUSH1 0x01
0000183a: ADD
0000183b: SWAP2
0000183c: SWAP1
0000183d: POP
0000183e: SSTORE
0000183f: POP
00001840: PUSH1 0x00
00001842: PUSH1 0x0a
00001844: DUP2
00001845: PUSH2 0x184e
00001848: SWAP2
00001849: SWAP1
0000184a: PUSH2 0x1fb3
0000184d: JUMP
0000184e: JUMPDEST
0000184f: POP
00001850: CALLER
00001851: PUSH1 0x0d
00001853: PUSH1 0x00
00001855: PUSH1 0x0b
00001857: SLOAD
00001858: DUP2
00001859: MSTORE
0000185a: PUSH1 0x20
0000185c: ADD
0000185d: SWAP1
0000185e: DUP2
0000185f: MSTORE
00001860: PUSH1 0x20
00001862: ADD
00001863: PUSH1 0x00
00001865: KECCAK256
00001866: PUSH1 0x00
00001868: DUP7
00001869: DUP2
0000186a: MSTORE
0000186b: PUSH1 0x20
0000186d: ADD
0000186e: SWAP1
0000186f: DUP2
00001870: MSTORE
00001871: PUSH1 0x20
00001873: ADD
00001874: PUSH1 0x00
00001876: KECCAK256
00001877: PUSH1 0x04
00001879: ADD
0000187a: PUSH1 0x00
0000187c: PUSH2 0x0100
0000187f: EXP
00001880: DUP2
00001881: SLOAD
00001882: DUP2
00001883: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001898: MUL
00001899: NOT
0000189a: AND
0000189b: SWAP1
0000189c: DUP4
0000189d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b2: AND
000018b3: MUL
000018b4: OR
000018b5: SWAP1
000018b6: SSTORE
000018b7: POP
000018b8: PUSH7 0xf8b0a10e470000
000018c0: PUSH1 0x0d
000018c2: PUSH1 0x00
000018c4: PUSH1 0x0b
000018c6: SLOAD
000018c7: DUP2
000018c8: MSTORE
000018c9: PUSH1 0x20
000018cb: ADD
000018cc: SWAP1
000018cd: DUP2
000018ce: MSTORE
000018cf: PUSH1 0x20
000018d1: ADD
000018d2: PUSH1 0x00
000018d4: KECCAK256
000018d5: PUSH1 0x00
000018d7: DUP7
000018d8: DUP2
000018d9: MSTORE
000018da: PUSH1 0x20
000018dc: ADD
000018dd: SWAP1
000018de: DUP2
000018df: MSTORE
000018e0: PUSH1 0x20
000018e2: ADD
000018e3: PUSH1 0x00
000018e5: KECCAK256
000018e6: PUSH1 0x01
000018e8: ADD
000018e9: DUP2
000018ea: SWAP1
000018eb: SSTORE
000018ec: POP
000018ed: PUSH1 0x0a
000018ef: DUP5
000018f0: SWAP1
000018f1: DUP1
000018f2: PUSH1 0x01
000018f4: DUP2
000018f5: SLOAD
000018f6: ADD
000018f7: DUP1
000018f8: DUP3
000018f9: SSTORE
000018fa: DUP1
000018fb: SWAP2
000018fc: POP
000018fd: POP
000018fe: SWAP1
000018ff: PUSH1 0x01
00001901: DUP3
00001902: SUB
00001903: SWAP1
00001904: PUSH1 0x00
00001906: MSTORE
00001907: PUSH1 0x20
00001909: PUSH1 0x00
0000190b: KECCAK256
0000190c: ADD
0000190d: PUSH1 0x00
0000190f: SWAP1
00001910: SWAP2
00001911: SWAP3
00001912: SWAP1
00001913: SWAP2
00001914: SWAP1
00001915: SWAP2
00001916: POP
00001917: SSTORE
00001918: POP
00001919: CALLER
0000191a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192f: AND
00001930: PUSH2 0x08fc
00001933: PUSH7 0xb1a2bc2ec50000
0000193b: DUP5
0000193c: SUB
0000193d: SWAP1
0000193e: DUP2
0000193f: ISZERO
00001940: MUL
00001941: SWAP1
00001942: PUSH1 0x40
00001944: MLOAD
00001945: PUSH1 0x00
00001947: PUSH1 0x40
00001949: MLOAD
0000194a: DUP1
0000194b: DUP4
0000194c: SUB
0000194d: DUP2
0000194e: DUP6
0000194f: DUP9
00001950: DUP9
00001951: CALL
00001952: SWAP4
00001953: POP
00001954: POP
00001955: POP
00001956: POP
00001957: ISZERO
00001958: DUP1
00001959: ISZERO
0000195a: PUSH2 0x1967
0000195d: JUMPI
0000195e: RETURNDATASIZE
0000195f: PUSH1 0x00
00001961: DUP1
00001962: RETURNDATACOPY
00001963: RETURNDATASIZE
00001964: PUSH1 0x00
00001966: REVERT
00001967: JUMPDEST
00001968: POP
00001969: PUSH7 0xb1a2bc2ec50000
00001971: SWAP2
00001972: POP
00001973: JUMPDEST
00001974: CALLER
00001975: PUSH1 0x07
00001977: PUSH1 0x00
00001979: PUSH2 0x0100
0000197c: EXP
0000197d: DUP2
0000197e: SLOAD
0000197f: DUP2
00001980: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001995: MUL
00001996: NOT
00001997: AND
00001998: SWAP1
00001999: DUP4
0000199a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019af: AND
000019b0: MUL
000019b1: OR
000019b2: SWAP1
000019b3: SSTORE
000019b4: POP
000019b5: DUP2
000019b6: PUSH1 0x0e
000019b8: PUSH1 0x00
000019ba: PUSH1 0x0b
000019bc: SLOAD
000019bd: DUP2
000019be: MSTORE
000019bf: PUSH1 0x20
000019c1: ADD
000019c2: SWAP1
000019c3: DUP2
000019c4: MSTORE
000019c5: PUSH1 0x20
000019c7: ADD
000019c8: PUSH1 0x00
000019ca: KECCAK256
000019cb: PUSH1 0x00
000019cd: DUP3
000019ce: DUP3
000019cf: SLOAD
000019d0: ADD
000019d1: SWAP3
000019d2: POP
000019d3: POP
000019d4: DUP2
000019d5: SWAP1
000019d6: SSTORE
000019d7: POP
000019d8: DUP4
000019d9: PUSH1 0x0d
000019db: PUSH1 0x00
000019dd: PUSH1 0x0b
000019df: SLOAD
000019e0: DUP2
000019e1: MSTORE
000019e2: PUSH1 0x20
000019e4: ADD
000019e5: SWAP1
000019e6: DUP2
000019e7: MSTORE
000019e8: PUSH1 0x20
000019ea: ADD
000019eb: PUSH1 0x00
000019ed: KECCAK256
000019ee: PUSH1 0x00
000019f0: DUP7
000019f1: DUP2
000019f2: MSTORE
000019f3: PUSH1 0x20
000019f5: ADD
000019f6: SWAP1
000019f7: DUP2
000019f8: MSTORE
000019f9: PUSH1 0x20
000019fb: ADD
000019fc: PUSH1 0x00
000019fe: KECCAK256
000019ff: PUSH1 0x00
00001a01: ADD
00001a02: DUP2
00001a03: SWAP1
00001a04: SSTORE
00001a05: POP
00001a06: POP
00001a07: POP
00001a08: POP
00001a09: POP
00001a0a: JUMP
00001a0b: JUMPDEST
00001a0c: PUSH1 0x00
00001a0e: DUP3
00001a0f: DUP3
00001a10: GT
00001a11: ISZERO
00001a12: ISZERO
00001a13: ISZERO
00001a14: PUSH2 0x1a85
00001a17: JUMPI
00001a18: PUSH1 0x40
00001a1a: MLOAD
00001a1b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a3c: DUP2
00001a3d: MSTORE
00001a3e: PUSH1 0x04
00001a40: ADD
00001a41: DUP1
00001a42: DUP1
00001a43: PUSH1 0x20
00001a45: ADD
00001a46: DUP3
00001a47: DUP2
00001a48: SUB
00001a49: DUP3
00001a4a: MSTORE
00001a4b: PUSH1 0x13
00001a4d: DUP2
00001a4e: MSTORE
00001a4f: PUSH1 0x20
00001a51: ADD
00001a52: DUP1
00001a53: PUSH32 0x536166654d61746820737562206661696c656400000000000000000000000000
00001a74: DUP2
00001a75: MSTORE
00001a76: POP
00001a77: PUSH1 0x20
00001a79: ADD
00001a7a: SWAP2
00001a7b: POP
00001a7c: POP
00001a7d: PUSH1 0x40
00001a7f: MLOAD
00001a80: DUP1
00001a81: SWAP2
00001a82: SUB
00001a83: SWAP1
00001a84: REVERT
00001a85: JUMPDEST
00001a86: DUP2
00001a87: DUP4
00001a88: SUB
00001a89: SWAP1
00001a8a: POP
00001a8b: SWAP3
00001a8c: SWAP2
00001a8d: POP
00001a8e: POP
00001a8f: JUMP
00001a90: JUMPDEST
00001a91: PUSH1 0x00
00001a93: DUP1
00001a94: PUSH1 0x01
00001a96: SLOAD
00001a97: PUSH1 0x0a
00001a99: DUP1
00001a9a: SLOAD
00001a9b: SWAP1
00001a9c: POP
00001a9d: LT
00001a9e: ISZERO
00001a9f: PUSH2 0x1ab6
00001aa2: JUMPI
00001aa3: PUSH2 0x1aad
00001aa6: PUSH1 0x04
00001aa8: SLOAD
00001aa9: PUSH2 0x1f86
00001aac: JUMP
00001aad: JUMPDEST
00001aae: PUSH1 0x01
00001ab0: SWAP2
00001ab1: POP
00001ab2: PUSH2 0x1cd3
00001ab5: JUMP
00001ab6: JUMPDEST
00001ab7: PUSH1 0x02
00001ab9: SLOAD
00001aba: TIMESTAMP
00001abb: GT
00001abc: ISZERO
00001abd: PUSH2 0x1cc3
00001ac0: JUMPI
00001ac1: PUSH2 0x1afc
00001ac4: PUSH1 0x0a
00001ac6: PUSH2 0x1aee
00001ac9: PUSH1 0x06
00001acb: PUSH1 0x0c
00001acd: PUSH1 0x00
00001acf: PUSH1 0x0b
00001ad1: SLOAD
00001ad2: DUP2
00001ad3: MSTORE
00001ad4: PUSH1 0x20
00001ad6: ADD
00001ad7: SWAP1
00001ad8: DUP2
00001ad9: MSTORE
00001ada: PUSH1 0x20
00001adc: ADD
00001add: PUSH1 0x00
00001adf: KECCAK256
00001ae0: SLOAD
00001ae1: PUSH2 0x1499
00001ae4: SWAP1
00001ae5: SWAP2
00001ae6: SWAP1
00001ae7: PUSH4 0xffffffff
00001aec: AND
00001aed: JUMP
00001aee: JUMPDEST
00001aef: PUSH2 0x1cd7
00001af2: SWAP1
00001af3: SWAP2
00001af4: SWAP1
00001af5: PUSH4 0xffffffff
00001afa: AND
00001afb: JUMP
00001afc: JUMPDEST
00001afd: SWAP1
00001afe: POP
00001aff: PUSH1 0x07
00001b01: PUSH1 0x00
00001b03: SWAP1
00001b04: SLOAD
00001b05: SWAP1
00001b06: PUSH2 0x0100
00001b09: EXP
00001b0a: SWAP1
00001b0b: DIV
00001b0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b21: AND
00001b22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b37: AND
00001b38: PUSH2 0x08fc
00001b3b: DUP3
00001b3c: SWAP1
00001b3d: DUP2
00001b3e: ISZERO
00001b3f: MUL
00001b40: SWAP1
00001b41: PUSH1 0x40
00001b43: MLOAD
00001b44: PUSH1 0x00
00001b46: PUSH1 0x40
00001b48: MLOAD
00001b49: DUP1
00001b4a: DUP4
00001b4b: SUB
00001b4c: DUP2
00001b4d: DUP6
00001b4e: DUP9
00001b4f: DUP9
00001b50: CALL
00001b51: SWAP4
00001b52: POP
00001b53: POP
00001b54: POP
00001b55: POP
00001b56: ISZERO
00001b57: DUP1
00001b58: ISZERO
00001b59: PUSH2 0x1b66
00001b5c: JUMPI
00001b5d: RETURNDATASIZE
00001b5e: PUSH1 0x00
00001b60: DUP1
00001b61: RETURNDATACOPY
00001b62: RETURNDATASIZE
00001b63: PUSH1 0x00
00001b65: REVERT
00001b66: JUMPDEST
00001b67: POP
00001b68: PUSH1 0x07
00001b6a: PUSH1 0x00
00001b6c: SWAP1
00001b6d: SLOAD
00001b6e: SWAP1
00001b6f: PUSH2 0x0100
00001b72: EXP
00001b73: SWAP1
00001b74: DIV
00001b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8a: AND
00001b8b: PUSH1 0x09
00001b8d: PUSH1 0x00
00001b8f: PUSH2 0x0100
00001b92: EXP
00001b93: DUP2
00001b94: SLOAD
00001b95: DUP2
00001b96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bab: MUL
00001bac: NOT
00001bad: AND
00001bae: SWAP1
00001baf: DUP4
00001bb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc5: AND
00001bc6: MUL
00001bc7: OR
00001bc8: SWAP1
00001bc9: SSTORE
00001bca: POP
00001bcb: PUSH32 0x54f6e89eaa1d3639f1797c4d97790572be779e458a4e86f1de320e3e202b6e74
00001bec: PUSH1 0x09
00001bee: PUSH1 0x00
00001bf0: SWAP1
00001bf1: SLOAD
00001bf2: SWAP1
00001bf3: PUSH2 0x0100
00001bf6: EXP
00001bf7: SWAP1
00001bf8: DIV
00001bf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c0e: AND
00001c0f: DUP3
00001c10: PUSH1 0x40
00001c12: MLOAD
00001c13: DUP1
00001c14: DUP4
00001c15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c2a: AND
00001c2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c40: AND
00001c41: DUP2
00001c42: MSTORE
00001c43: PUSH1 0x20
00001c45: ADD
00001c46: DUP3
00001c47: DUP2
00001c48: MSTORE
00001c49: PUSH1 0x20
00001c4b: ADD
00001c4c: SWAP3
00001c4d: POP
00001c4e: POP
00001c4f: POP
00001c50: PUSH1 0x40
00001c52: MLOAD
00001c53: DUP1
00001c54: SWAP2
00001c55: SUB
00001c56: SWAP1
00001c57: LOG1
00001c58: DUP1
00001c59: PUSH1 0x0c
00001c5b: PUSH1 0x00
00001c5d: PUSH1 0x0b
00001c5f: SLOAD
00001c60: DUP2
00001c61: MSTORE
00001c62: PUSH1 0x20
00001c64: ADD
00001c65: SWAP1
00001c66: DUP2
00001c67: MSTORE
00001c68: PUSH1 0x20
00001c6a: ADD
00001c6b: PUSH1 0x00
00001c6d: KECCAK256
00001c6e: SLOAD
00001c6f: SUB
00001c70: PUSH1 0x0c
00001c72: PUSH1 0x00
00001c74: PUSH1 0x01
00001c76: PUSH1 0x0b
00001c78: SLOAD
00001c79: ADD
00001c7a: DUP2
00001c7b: MSTORE
00001c7c: PUSH1 0x20
00001c7e: ADD
00001c7f: SWAP1
00001c80: DUP2
00001c81: MSTORE
00001c82: PUSH1 0x20
00001c84: ADD
00001c85: PUSH1 0x00
00001c87: KECCAK256
00001c88: PUSH1 0x00
00001c8a: DUP3
00001c8b: DUP3
00001c8c: SLOAD
00001c8d: ADD
00001c8e: SWAP3
00001c8f: POP
00001c90: POP
00001c91: DUP2
00001c92: SWAP1
00001c93: SSTORE
00001c94: POP
00001c95: PUSH1 0x00
00001c97: PUSH1 0x0c
00001c99: PUSH1 0x00
00001c9b: PUSH1 0x0b
00001c9d: SLOAD
00001c9e: DUP2
00001c9f: MSTORE
00001ca0: PUSH1 0x20
00001ca2: ADD
00001ca3: SWAP1
00001ca4: DUP2
00001ca5: MSTORE
00001ca6: PUSH1 0x20
00001ca8: ADD
00001ca9: PUSH1 0x00
00001cab: KECCAK256
00001cac: DUP2
00001cad: SWAP1
00001cae: SSTORE
00001caf: POP
00001cb0: PUSH1 0x04
00001cb2: SLOAD
00001cb3: TIMESTAMP
00001cb4: ADD
00001cb5: PUSH1 0x02
00001cb7: DUP2
00001cb8: SWAP1
00001cb9: SSTORE
00001cba: POP
00001cbb: PUSH1 0x00
00001cbd: SWAP2
00001cbe: POP
00001cbf: PUSH2 0x1cd3
00001cc2: JUMP
00001cc3: JUMPDEST
00001cc4: PUSH2 0x1cce
00001cc7: PUSH1 0x00
00001cc9: SLOAD
00001cca: PUSH2 0x1f86
00001ccd: JUMP
00001cce: JUMPDEST
00001ccf: PUSH1 0x01
00001cd1: SWAP2
00001cd2: POP
00001cd3: JUMPDEST
00001cd4: POP
00001cd5: SWAP1
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: PUSH1 0x00
00001cda: DUP1
00001cdb: DUP3
00001cdc: DUP5
00001cdd: DUP2
00001cde: ISZERO
00001cdf: ISZERO
00001ce0: PUSH2 0x1ce5
00001ce3: JUMPI
00001ce4: INVALID
00001ce5: JUMPDEST
00001ce6: DIV
00001ce7: SWAP1
00001ce8: POP
00001ce9: DUP1
00001cea: SWAP2
00001ceb: POP
00001cec: POP
00001ced: SWAP3
00001cee: SWAP2
00001cef: POP
00001cf0: POP
00001cf1: JUMP
00001cf2: JUMPDEST
00001cf3: PUSH1 0x01
00001cf5: PUSH1 0x0b
00001cf7: SLOAD
00001cf8: GT
00001cf9: ISZERO
00001cfa: ISZERO
00001cfb: PUSH2 0x1d03
00001cfe: JUMPI
00001cff: PUSH2 0x1f82
00001d02: JUMP
00001d03: JUMPDEST
00001d04: PUSH1 0x02
00001d06: PUSH1 0x0b
00001d08: SLOAD
00001d09: GT
00001d0a: ISZERO
00001d0b: PUSH2 0x1e4c
00001d0e: JUMPI
00001d0f: PUSH1 0x00
00001d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d26: AND
00001d27: PUSH1 0x0d
00001d29: PUSH1 0x00
00001d2b: PUSH1 0x01
00001d2d: PUSH1 0x0b
00001d2f: SLOAD
00001d30: SUB
00001d31: DUP2
00001d32: MSTORE
00001d33: PUSH1 0x20
00001d35: ADD
00001d36: SWAP1
00001d37: DUP2
00001d38: MSTORE
00001d39: PUSH1 0x20
00001d3b: ADD
00001d3c: PUSH1 0x00
00001d3e: KECCAK256
00001d3f: PUSH1 0x00
00001d41: DUP5
00001d42: DUP2
00001d43: MSTORE
00001d44: PUSH1 0x20
00001d46: ADD
00001d47: SWAP1
00001d48: DUP2
00001d49: MSTORE
00001d4a: PUSH1 0x20
00001d4c: ADD
00001d4d: PUSH1 0x00
00001d4f: KECCAK256
00001d50: PUSH1 0x04
00001d52: ADD
00001d53: PUSH1 0x00
00001d55: SWAP1
00001d56: SLOAD
00001d57: SWAP1
00001d58: PUSH2 0x0100
00001d5b: EXP
00001d5c: SWAP1
00001d5d: DIV
00001d5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d73: AND
00001d74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d89: AND
00001d8a: EQ
00001d8b: ISZERO
00001d8c: ISZERO
00001d8d: PUSH2 0x1e4b
00001d90: JUMPI
00001d91: PUSH1 0x0d
00001d93: PUSH1 0x00
00001d95: PUSH1 0x01
00001d97: PUSH1 0x0b
00001d99: SLOAD
00001d9a: SUB
00001d9b: DUP2
00001d9c: MSTORE
00001d9d: PUSH1 0x20
00001d9f: ADD
00001da0: SWAP1
00001da1: DUP2
00001da2: MSTORE
00001da3: PUSH1 0x20
00001da5: ADD
00001da6: PUSH1 0x00
00001da8: KECCAK256
00001da9: PUSH1 0x00
00001dab: DUP4
00001dac: DUP2
00001dad: MSTORE
00001dae: PUSH1 0x20
00001db0: ADD
00001db1: SWAP1
00001db2: DUP2
00001db3: MSTORE
00001db4: PUSH1 0x20
00001db6: ADD
00001db7: PUSH1 0x00
00001db9: KECCAK256
00001dba: PUSH1 0x04
00001dbc: ADD
00001dbd: PUSH1 0x00
00001dbf: SWAP1
00001dc0: SLOAD
00001dc1: SWAP1
00001dc2: PUSH2 0x0100
00001dc5: EXP
00001dc6: SWAP1
00001dc7: DIV
00001dc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ddd: AND
00001dde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df3: AND
00001df4: PUSH2 0x08fc
00001df7: PUSH2 0x1e1e
00001dfa: PUSH2 0x03e8
00001dfd: PUSH2 0x1e10
00001e00: PUSH1 0x0f
00001e02: DUP7
00001e03: PUSH2 0x1499
00001e06: SWAP1
00001e07: SWAP2
00001e08: SWAP1
00001e09: PUSH4 0xffffffff
00001e0e: AND
00001e0f: JUMP
00001e10: JUMPDEST
00001e11: PUSH2 0x1cd7
00001e14: SWAP1
00001e15: SWAP2
00001e16: SWAP1
00001e17: PUSH4 0xffffffff
00001e1c: AND
00001e1d: JUMP
00001e1e: JUMPDEST
00001e1f: SWAP1
00001e20: DUP2
00001e21: ISZERO
00001e22: MUL
00001e23: SWAP1
00001e24: PUSH1 0x40
00001e26: MLOAD
00001e27: PUSH1 0x00
00001e29: PUSH1 0x40
00001e2b: MLOAD
00001e2c: DUP1
00001e2d: DUP4
00001e2e: SUB
00001e2f: DUP2
00001e30: DUP6
00001e31: DUP9
00001e32: DUP9
00001e33: CALL
00001e34: SWAP4
00001e35: POP
00001e36: POP
00001e37: POP
00001e38: POP
00001e39: ISZERO
00001e3a: DUP1
00001e3b: ISZERO
00001e3c: PUSH2 0x1e49
00001e3f: JUMPI
00001e40: RETURNDATASIZE
00001e41: PUSH1 0x00
00001e43: DUP1
00001e44: RETURNDATACOPY
00001e45: RETURNDATASIZE
00001e46: PUSH1 0x00
00001e48: REVERT
00001e49: JUMPDEST
00001e4a: POP
00001e4b: JUMPDEST
00001e4c: JUMPDEST
00001e4d: PUSH1 0x00
00001e4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e64: AND
00001e65: PUSH1 0x0d
00001e67: PUSH1 0x00
00001e69: PUSH1 0x01
00001e6b: DUP2
00001e6c: MSTORE
00001e6d: PUSH1 0x20
00001e6f: ADD
00001e70: SWAP1
00001e71: DUP2
00001e72: MSTORE
00001e73: PUSH1 0x20
00001e75: ADD
00001e76: PUSH1 0x00
00001e78: KECCAK256
00001e79: PUSH1 0x00
00001e7b: DUP5
00001e7c: DUP2
00001e7d: MSTORE
00001e7e: PUSH1 0x20
00001e80: ADD
00001e81: SWAP1
00001e82: DUP2
00001e83: MSTORE
00001e84: PUSH1 0x20
00001e86: ADD
00001e87: PUSH1 0x00
00001e89: KECCAK256
00001e8a: PUSH1 0x04
00001e8c: ADD
00001e8d: PUSH1 0x00
00001e8f: SWAP1
00001e90: SLOAD
00001e91: SWAP1
00001e92: PUSH2 0x0100
00001e95: EXP
00001e96: SWAP1
00001e97: DIV
00001e98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ead: AND
00001eae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec3: AND
00001ec4: EQ
00001ec5: ISZERO
00001ec6: ISZERO
00001ec7: PUSH2 0x1f81
00001eca: JUMPI
00001ecb: PUSH1 0x0d
00001ecd: PUSH1 0x00
00001ecf: PUSH1 0x01
00001ed1: DUP2
00001ed2: MSTORE
00001ed3: PUSH1 0x20
00001ed5: ADD
00001ed6: SWAP1
00001ed7: DUP2
00001ed8: MSTORE
00001ed9: PUSH1 0x20
00001edb: ADD
00001edc: PUSH1 0x00
00001ede: KECCAK256
00001edf: PUSH1 0x00
00001ee1: DUP4
00001ee2: DUP2
00001ee3: MSTORE
00001ee4: PUSH1 0x20
00001ee6: ADD
00001ee7: SWAP1
00001ee8: DUP2
00001ee9: MSTORE
00001eea: PUSH1 0x20
00001eec: ADD
00001eed: PUSH1 0x00
00001eef: KECCAK256
00001ef0: PUSH1 0x04
00001ef2: ADD
00001ef3: PUSH1 0x00
00001ef5: SWAP1
00001ef6: SLOAD
00001ef7: SWAP1
00001ef8: PUSH2 0x0100
00001efb: EXP
00001efc: SWAP1
00001efd: DIV
00001efe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f13: AND
00001f14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f29: AND
00001f2a: PUSH2 0x08fc
00001f2d: PUSH2 0x1f54
00001f30: PUSH2 0x03e8
00001f33: PUSH2 0x1f46
00001f36: PUSH1 0x0f
00001f38: DUP7
00001f39: PUSH2 0x1499
00001f3c: SWAP1
00001f3d: SWAP2
00001f3e: SWAP1
00001f3f: PUSH4 0xffffffff
00001f44: AND
00001f45: JUMP
00001f46: JUMPDEST
00001f47: PUSH2 0x1cd7
00001f4a: SWAP1
00001f4b: SWAP2
00001f4c: SWAP1
00001f4d: PUSH4 0xffffffff
00001f52: AND
00001f53: JUMP
00001f54: JUMPDEST
00001f55: SWAP1
00001f56: DUP2
00001f57: ISZERO
00001f58: MUL
00001f59: SWAP1
00001f5a: PUSH1 0x40
00001f5c: MLOAD
00001f5d: PUSH1 0x00
00001f5f: PUSH1 0x40
00001f61: MLOAD
00001f62: DUP1
00001f63: DUP4
00001f64: SUB
00001f65: DUP2
00001f66: DUP6
00001f67: DUP9
00001f68: DUP9
00001f69: CALL
00001f6a: SWAP4
00001f6b: POP
00001f6c: POP
00001f6d: POP
00001f6e: POP
00001f6f: ISZERO
00001f70: DUP1
00001f71: ISZERO
00001f72: PUSH2 0x1f7f
00001f75: JUMPI
00001f76: RETURNDATASIZE
00001f77: PUSH1 0x00
00001f79: DUP1
00001f7a: RETURNDATACOPY
00001f7b: RETURNDATASIZE
00001f7c: PUSH1 0x00
00001f7e: REVERT
00001f7f: JUMPDEST
00001f80: POP
00001f81: JUMPDEST
00001f82: JUMPDEST
00001f83: POP
00001f84: POP
00001f85: JUMP
00001f86: JUMPDEST
00001f87: DUP1
00001f88: PUSH1 0x02
00001f8a: PUSH1 0x00
00001f8c: DUP3
00001f8d: DUP3
00001f8e: SLOAD
00001f8f: ADD
00001f90: SWAP3
00001f91: POP
00001f92: POP
00001f93: DUP2
00001f94: SWAP1
00001f95: SSTORE
00001f96: POP
00001f97: PUSH1 0x04
00001f99: SLOAD
00001f9a: TIMESTAMP
00001f9b: ADD
00001f9c: PUSH1 0x02
00001f9e: SLOAD
00001f9f: GT
00001fa0: ISZERO
00001fa1: PUSH2 0x1fb0
00001fa4: JUMPI
00001fa5: PUSH1 0x04
00001fa7: SLOAD
00001fa8: TIMESTAMP
00001fa9: ADD
00001faa: PUSH1 0x02
00001fac: DUP2
00001fad: SWAP1
00001fae: SSTORE
00001faf: POP
00001fb0: JUMPDEST
00001fb1: POP
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: DUP2
00001fb5: SLOAD
00001fb6: DUP2
00001fb7: DUP4
00001fb8: SSTORE
00001fb9: DUP2
00001fba: DUP2
00001fbb: GT
00001fbc: ISZERO
00001fbd: PUSH2 0x1fda
00001fc0: JUMPI
00001fc1: DUP2
00001fc2: DUP4
00001fc3: PUSH1 0x00
00001fc5: MSTORE
00001fc6: PUSH1 0x20
00001fc8: PUSH1 0x00
00001fca: KECCAK256
00001fcb: SWAP2
00001fcc: DUP3
00001fcd: ADD
00001fce: SWAP2
00001fcf: ADD
00001fd0: PUSH2 0x1fd9
00001fd3: SWAP2
00001fd4: SWAP1
00001fd5: PUSH2 0x1fdf
00001fd8: JUMP
00001fd9: JUMPDEST
00001fda: JUMPDEST
00001fdb: POP
00001fdc: POP
00001fdd: POP
00001fde: JUMP
00001fdf: JUMPDEST
00001fe0: PUSH2 0x2001
00001fe3: SWAP2
00001fe4: SWAP1
00001fe5: JUMPDEST
00001fe6: DUP1
00001fe7: DUP3
00001fe8: GT
00001fe9: ISZERO
00001fea: PUSH2 0x1ffd
00001fed: JUMPI
00001fee: PUSH1 0x00
00001ff0: DUP2
00001ff1: PUSH1 0x00
00001ff3: SWAP1
00001ff4: SSTORE
00001ff5: POP
00001ff6: PUSH1 0x01
00001ff8: ADD
00001ff9: PUSH2 0x1fe5
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: POP
00001fff: SWAP1
00002000: JUMP
00002001: JUMPDEST
00002002: SWAP1
00002003: JUMP
00002004: STOP
00002005: LOG1
00002006: PUSH6 0x627a7a723058
0000200d: KECCAK256
0000200e: PUSH23 0x71ff01160257487d999d445604b4fc97f614840c7d46fe
00002026: SLT
00002027: UNKNOWN(0xE7)
00002028: UNKNOWN(0x1F)
00002029: UNKNOWN(0x2A)
0000202a: UNKNOWN(0x25)
0000202b: DUP10
0000202c: CALLDATASIZE
0000202d: LOG3
0000202e: STOP
0000202f: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x023563d8",
            "selector": "0x023563d8",
            "calldata_variants": [
                "0x023563d8",
                "0x023563d80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x02fb0c5e",
            "selector": "0x02fb0c5e",
            "calldata_variants": [
                "0x02fb0c5e",
                "0x02fb0c5e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19dbc19b",
            "selector": "0x19dbc19b",
            "calldata_variants": [
                "0x19dbc19b",
                "0x19dbc19b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x260e8dfc",
            "selector": "0x260e8dfc",
            "calldata_variants": [
                "0x260e8dfc",
                "0x260e8dfc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29dcb0cf",
            "selector": "0x29dcb0cf",
            "calldata_variants": [
                "0x29dcb0cf",
                "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ee89a63",
            "selector": "0x3ee89a63",
            "calldata_variants": [
                "0x3ee89a63",
                "0x3ee89a630000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 1987,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2060,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2452,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2525,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3022,
            "type": "tx_origin_used"
        },
        {
            "pc": 3300,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3761,
            "type": "tx_origin_used"
        },
        {
            "pc": 4459,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x9c309a355a123fcad190beed8283986c6a35f3f0f96ee868e73bfb65196a8ce4
call_targets: 0x2e4fcf85479e5322a656488761a9c88d1eb6ef54
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9c309a355a123fcad190beed8283986c6a35f3f0f96ee868e73bfb65196a8ce4",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2e4fcf85479e5322a656488761a9c88d1eb6ef54"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x023563d8",
            "selector": "0x023563d8",
            "calldata_variants": [
                "0x023563d8",
                "0x023563d80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x02fb0c5e",
            "selector": "0x02fb0c5e",
            "calldata_variants": [
                "0x02fb0c5e",
                "0x02fb0c5e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19dbc19b",
            "selector": "0x19dbc19b",
            "calldata_variants": [
                "0x19dbc19b",
                "0x19dbc19b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x260e8dfc",
            "selector": "0x260e8dfc",
            "calldata_variants": [
                "0x260e8dfc",
                "0x260e8dfc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29dcb0cf",
            "selector": "0x29dcb0cf",
            "calldata_variants": [
                "0x29dcb0cf",
                "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ee89a63",
            "selector": "0x3ee89a63",
            "calldata_variants": [
                "0x3ee89a63",
                "0x3ee89a630000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2845,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4380,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5923,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 7,
    "guards_detected": [
        {
            "pc": 1987,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2060,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2452,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2525,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3022,
            "type": "tx_origin_used"
        },
        {
            "pc": 3300,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3761,
            "type": "tx_origin_used"
        },
        {
            "pc": 4459,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 7
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x9c309a355a123fcad190beed8283986c6a35f3f0f96ee868e73bfb65196a8ce4
call_targets: 0x2e4fcf85479e5322a656488761a9c88d1eb6ef54
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9c309a355a123fcad190beed8283986c6a35f3f0f96ee868e73bfb65196a8ce4",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2e4fcf85479e5322a656488761a9c88d1eb6ef54"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x023563d8",
            "selector": "0x023563d8",
            "calldata_variants": [
                "0x023563d8",
                "0x023563d80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x02fb0c5e",
            "selector": "0x02fb0c5e",
            "calldata_variants": [
                "0x02fb0c5e",
                "0x02fb0c5e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19dbc19b",
            "selector": "0x19dbc19b",
            "calldata_variants": [
                "0x19dbc19b",
                "0x19dbc19b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x260e8dfc",
            "selector": "0x260e8dfc",
            "calldata_variants": [
                "0x260e8dfc",
                "0x260e8dfc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29dcb0cf",
            "selector": "0x29dcb0cf",
            "calldata_variants": [
                "0x29dcb0cf",
                "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ee89a63",
            "selector": "0x3ee89a63",
            "calldata_variants": [
                "0x3ee89a63",
                "0x3ee89a630000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2845,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4380,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5923,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 7,
    "guards_detected": [
        {
            "pc": 1987,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2060,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2452,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2525,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3022,
            "type": "tx_origin_used"
        },
        {
            "pc": 3300,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3761,
            "type": "tx_origin_used"
        },
        {
            "pc": 4459,
            "type": "tx_origin_used"
        }
    ]
}