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

Analysis Run

019b477e-de08-7211-a2a2-2a7ba477e81a

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
30063 artifact.fetch complete 1 / 3 3 months ago
30064 tool.cast_disasm complete 1 / 3 3 months ago
108713 analysis.bundle complete 1 / 3 1 week ago
108714 capability.graph complete 1 / 3 1 week ago
108715 detector.run complete 1 / 3 1 week ago
108716 validation.fork complete 1 / 3 1 week 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)
5
EXT*/BALANCE
1
Total opcodes
5018
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: DUP1
00000003: PUSH1 0x40
00000005: MSTORE
00000006: PUSH1 0x04
00000008: CALLDATASIZE
00000009: LT
0000000a: ISZERO
0000000b: PUSH2 0x001c
0000000e: JUMPI
0000000f: JUMPDEST
00000010: POP
00000011: CALLDATASIZE
00000012: ISZERO
00000013: PUSH2 0x001a
00000016: JUMPI
00000017: PUSH0
00000018: DUP1
00000019: REVERT
0000001a: JUMPDEST
0000001b: STOP
0000001c: JUMPDEST
0000001d: PUSH0
0000001e: CALLDATALOAD
0000001f: PUSH1 0xe0
00000021: SHR
00000022: SWAP1
00000023: DUP2
00000024: PUSH4 0x02fb0c5e
00000029: EQ
0000002a: PUSH2 0x1a4d
0000002d: JUMPI
0000002e: POP
0000002f: DUP1
00000030: PUSH4 0x144fa6d7
00000035: EQ
00000036: PUSH2 0x19e7
00000039: JUMPI
0000003a: DUP1
0000003b: PUSH4 0x170ae20a
00000040: EQ
00000041: PUSH2 0x19c6
00000044: JUMPI
00000045: DUP1
00000046: PUSH4 0x183a4f6e
0000004b: EQ
0000004c: PUSH2 0x19ae
0000004f: JUMPI
00000050: DUP1
00000051: PUSH4 0x1ac3ddeb
00000056: EQ
00000057: PUSH2 0x1904
0000005a: JUMPI
0000005b: DUP1
0000005c: PUSH4 0x1c10893f
00000061: EQ
00000062: PUSH2 0x18b7
00000065: JUMPI
00000066: DUP1
00000067: PUSH4 0x1cd64df4
0000006c: EQ
0000006d: PUSH2 0x187e
00000070: JUMPI
00000071: DUP1
00000072: PUSH4 0x1e0ba126
00000077: EQ
00000078: PUSH2 0x1859
0000007b: JUMPI
0000007c: DUP1
0000007d: PUSH4 0x238ac933
00000082: EQ
00000083: PUSH2 0x1832
00000086: JUMPI
00000087: DUP1
00000088: PUSH4 0x25692962
0000008d: EQ
0000008e: PUSH2 0x17e9
00000091: JUMPI
00000092: DUP1
00000093: PUSH4 0x2de94807
00000098: EQ
00000099: PUSH2 0x17b7
0000009c: JUMPI
0000009d: DUP1
0000009e: PUSH4 0x3e26aec4
000000a3: EQ
000000a4: PUSH2 0x1760
000000a7: JUMPI
000000a8: DUP1
000000a9: PUSH4 0x3f4ba83a
000000ae: EQ
000000af: PUSH2 0x170f
000000b2: JUMPI
000000b3: DUP1
000000b4: PUSH4 0x40275dfd
000000b9: EQ
000000ba: PUSH2 0x164d
000000bd: JUMPI
000000be: DUP1
000000bf: PUSH4 0x4a4ee7b1
000000c4: EQ
000000c5: PUSH2 0x1625
000000c8: JUMPI
000000c9: DUP1
000000ca: PUSH4 0x514e62fc
000000cf: EQ
000000d0: PUSH2 0x15ed
000000d3: JUMPI
000000d4: DUP1
000000d5: PUSH4 0x54d1f13d
000000da: EQ
000000db: PUSH2 0x15a9
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x54fd4d50
000000e5: EQ
000000e6: PUSH2 0x1562
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x5fc2f036
000000f0: EQ
000000f1: PUSH2 0x1517
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x6817031b
000000fb: EQ
000000fc: PUSH2 0x14b1
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0x6c19e783
00000106: EQ
00000107: PUSH2 0x146f
0000010a: JUMPI
0000010b: DUP1
0000010c: PUSH4 0x715018a6
00000111: EQ
00000112: PUSH2 0x1426
00000115: JUMPI
00000116: DUP1
00000117: PUSH4 0x81992550
0000011c: EQ
0000011d: PUSH2 0x13d7
00000120: JUMPI
00000121: DUP1
00000122: PUSH4 0x8441c46b
00000127: EQ
00000128: PUSH2 0x13ba
0000012b: JUMPI
0000012c: DUP1
0000012d: PUSH4 0x8456cb59
00000132: EQ
00000133: PUSH2 0x136f
00000136: JUMPI
00000137: DUP1
00000138: PUSH4 0x8717eac4
0000013d: EQ
0000013e: PUSH2 0x1325
00000141: JUMPI
00000142: DUP1
00000143: PUSH4 0x8b45d08f
00000148: EQ
00000149: PUSH2 0x12ed
0000014c: JUMPI
0000014d: DUP1
0000014e: PUSH4 0x8da5cb5b
00000153: EQ
00000154: PUSH2 0x12c1
00000157: JUMPI
00000158: DUP1
00000159: PUSH4 0x96b12f6c
0000015e: EQ
0000015f: PUSH2 0x1259
00000162: JUMPI
00000163: DUP1
00000164: PUSH4 0xa54eb242
00000169: EQ
0000016a: PUSH2 0x123e
0000016d: JUMPI
0000016e: DUP1
0000016f: PUSH4 0xa983dcc0
00000174: EQ
00000175: PUSH2 0x11e2
00000178: JUMPI
00000179: DUP1
0000017a: PUSH4 0xab020368
0000017f: EQ
00000180: PUSH2 0x110f
00000183: JUMPI
00000184: DUP1
00000185: PUSH4 0xb352898b
0000018a: EQ
0000018b: PUSH2 0x0d52
0000018e: JUMPI
0000018f: DUP1
00000190: PUSH4 0xb94be978
00000195: EQ
00000196: PUSH2 0x0d0d
00000199: JUMPI
0000019a: DUP1
0000019b: PUSH4 0xbb443c79
000001a0: EQ
000001a1: PUSH2 0x0ce3
000001a4: JUMPI
000001a5: DUP1
000001a6: PUSH4 0xc0b4c9fa
000001ab: EQ
000001ac: PUSH2 0x0c9e
000001af: JUMPI
000001b0: DUP1
000001b1: PUSH4 0xd46e3151
000001b6: EQ
000001b7: PUSH2 0x0c79
000001ba: JUMPI
000001bb: DUP1
000001bc: PUSH4 0xd561506e
000001c1: EQ
000001c2: PUSH2 0x0c22
000001c5: JUMPI
000001c6: DUP1
000001c7: PUSH4 0xd56881c9
000001cc: EQ
000001cd: PUSH2 0x0b73
000001d0: JUMPI
000001d1: DUP1
000001d2: PUSH4 0xed810bc6
000001d7: EQ
000001d8: PUSH2 0x03a8
000001db: JUMPI
000001dc: DUP1
000001dd: PUSH4 0xf04e283e
000001e2: EQ
000001e3: PUSH2 0x035b
000001e6: JUMPI
000001e7: DUP1
000001e8: PUSH4 0xf28a80b6
000001ed: EQ
000001ee: PUSH2 0x0340
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0xf2fde38b
000001f8: EQ
000001f9: PUSH2 0x0305
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0xf448e5a9
00000203: EQ
00000204: PUSH2 0x02e8
00000207: JUMPI
00000208: DUP1
00000209: PUSH4 0xfaf3f3e2
0000020e: EQ
0000020f: PUSH2 0x02be
00000212: JUMPI
00000213: DUP1
00000214: PUSH4 0xfbfa77cf
00000219: EQ
0000021a: PUSH2 0x0296
0000021d: JUMPI
0000021e: DUP1
0000021f: PUSH4 0xfc0c546a
00000224: EQ
00000225: PUSH2 0x026e
00000228: JUMPI
00000229: PUSH4 0xfee81cf4
0000022e: EQ
0000022f: PUSH2 0x0238
00000232: JUMPI
00000233: PUSH0
00000234: PUSH2 0x000f
00000237: JUMP
00000238: JUMPDEST
00000239: CALLVALUE
0000023a: PUSH2 0x026a
0000023d: JUMPI
0000023e: PUSH1 0x20
00000240: CALLDATASIZE
00000241: PUSH1 0x03
00000243: NOT
00000244: ADD
00000245: SLT
00000246: PUSH2 0x026a
00000249: JUMPI
0000024a: PUSH2 0x0251
0000024d: PUSH2 0x1a6f
00000250: JUMP
00000251: JUMPDEST
00000252: PUSH4 0x389a75e1
00000257: PUSH1 0x0c
00000259: MSTORE
0000025a: PUSH0
0000025b: MSTORE
0000025c: PUSH1 0x20
0000025e: DUP1
0000025f: PUSH1 0x0c
00000261: KECCAK256
00000262: SLOAD
00000263: PUSH1 0x40
00000265: MLOAD
00000266: SWAP1
00000267: DUP2
00000268: MSTORE
00000269: RETURN
0000026a: JUMPDEST
0000026b: PUSH0
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: CALLVALUE
00000270: PUSH2 0x026a
00000273: JUMPI
00000274: PUSH0
00000275: CALLDATASIZE
00000276: PUSH1 0x03
00000278: NOT
00000279: ADD
0000027a: SLT
0000027b: PUSH2 0x026a
0000027e: JUMPI
0000027f: PUSH1 0x02
00000281: SLOAD
00000282: PUSH1 0x40
00000284: MLOAD
00000285: PUSH1 0x01
00000287: PUSH1 0x01
00000289: PUSH1 0xa0
0000028b: SHL
0000028c: SUB
0000028d: SWAP1
0000028e: SWAP2
0000028f: AND
00000290: DUP2
00000291: MSTORE
00000292: PUSH1 0x20
00000294: SWAP1
00000295: RETURN
00000296: JUMPDEST
00000297: CALLVALUE
00000298: PUSH2 0x026a
0000029b: JUMPI
0000029c: PUSH0
0000029d: CALLDATASIZE
0000029e: PUSH1 0x03
000002a0: NOT
000002a1: ADD
000002a2: SLT
000002a3: PUSH2 0x026a
000002a6: JUMPI
000002a7: PUSH1 0x01
000002a9: SLOAD
000002aa: PUSH1 0x40
000002ac: MLOAD
000002ad: PUSH1 0x01
000002af: PUSH1 0x01
000002b1: PUSH1 0xa0
000002b3: SHL
000002b4: SUB
000002b5: SWAP1
000002b6: SWAP2
000002b7: AND
000002b8: DUP2
000002b9: MSTORE
000002ba: PUSH1 0x20
000002bc: SWAP1
000002bd: RETURN
000002be: JUMPDEST
000002bf: CALLVALUE
000002c0: PUSH2 0x026a
000002c3: JUMPI
000002c4: PUSH1 0x20
000002c6: CALLDATASIZE
000002c7: PUSH1 0x03
000002c9: NOT
000002ca: ADD
000002cb: SLT
000002cc: PUSH2 0x026a
000002cf: JUMPI
000002d0: PUSH1 0x04
000002d2: CALLDATALOAD
000002d3: PUSH0
000002d4: MSTORE
000002d5: PUSH1 0x06
000002d7: PUSH1 0x20
000002d9: MSTORE
000002da: PUSH1 0x20
000002dc: PUSH1 0x40
000002de: PUSH0
000002df: KECCAK256
000002e0: SLOAD
000002e1: PUSH1 0x40
000002e3: MLOAD
000002e4: SWAP1
000002e5: DUP2
000002e6: MSTORE
000002e7: RETURN
000002e8: JUMPDEST
000002e9: CALLVALUE
000002ea: PUSH2 0x026a
000002ed: JUMPI
000002ee: PUSH0
000002ef: CALLDATASIZE
000002f0: PUSH1 0x03
000002f2: NOT
000002f3: ADD
000002f4: SLT
000002f5: PUSH2 0x026a
000002f8: JUMPI
000002f9: PUSH1 0x20
000002fb: PUSH1 0x03
000002fd: SLOAD
000002fe: PUSH1 0x40
00000300: MLOAD
00000301: SWAP1
00000302: DUP2
00000303: MSTORE
00000304: RETURN
00000305: JUMPDEST
00000306: PUSH1 0x20
00000308: CALLDATASIZE
00000309: PUSH1 0x03
0000030b: NOT
0000030c: ADD
0000030d: SLT
0000030e: PUSH2 0x026a
00000311: JUMPI
00000312: PUSH2 0x0319
00000315: PUSH2 0x1a6f
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x0321
0000031d: PUSH2 0x1de3
00000320: JUMP
00000321: JUMPDEST
00000322: DUP1
00000323: PUSH1 0x60
00000325: SHL
00000326: ISZERO
00000327: PUSH2 0x0333
0000032a: JUMPI
0000032b: PUSH2 0x001a
0000032e: SWAP1
0000032f: PUSH2 0x1df2
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH4 0x7448fbae
00000339: PUSH0
0000033a: MSTORE
0000033b: PUSH1 0x04
0000033d: PUSH1 0x1c
0000033f: REVERT
00000340: JUMPDEST
00000341: CALLVALUE
00000342: PUSH2 0x026a
00000345: JUMPI
00000346: PUSH0
00000347: CALLDATASIZE
00000348: PUSH1 0x03
0000034a: NOT
0000034b: ADD
0000034c: SLT
0000034d: PUSH2 0x026a
00000350: JUMPI
00000351: PUSH1 0x20
00000353: PUSH1 0x40
00000355: MLOAD
00000356: PUSH1 0x01
00000358: DUP2
00000359: MSTORE
0000035a: RETURN
0000035b: JUMPDEST
0000035c: PUSH1 0x20
0000035e: CALLDATASIZE
0000035f: PUSH1 0x03
00000361: NOT
00000362: ADD
00000363: SLT
00000364: PUSH2 0x026a
00000367: JUMPI
00000368: PUSH2 0x036f
0000036b: PUSH2 0x1a6f
0000036e: JUMP
0000036f: JUMPDEST
00000370: PUSH2 0x0377
00000373: PUSH2 0x1de3
00000376: JUMP
00000377: JUMPDEST
00000378: PUSH4 0x389a75e1
0000037d: PUSH1 0x0c
0000037f: MSTORE
00000380: DUP1
00000381: PUSH0
00000382: MSTORE
00000383: PUSH1 0x20
00000385: PUSH1 0x0c
00000387: KECCAK256
00000388: SWAP1
00000389: DUP2
0000038a: SLOAD
0000038b: TIMESTAMP
0000038c: GT
0000038d: PUSH2 0x039b
00000390: JUMPI
00000391: PUSH0
00000392: PUSH2 0x001a
00000395: SWAP3
00000396: SSTORE
00000397: PUSH2 0x1df2
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH4 0x6f5e8818
000003a1: PUSH0
000003a2: MSTORE
000003a3: PUSH1 0x04
000003a5: PUSH1 0x1c
000003a7: REVERT
000003a8: JUMPDEST
000003a9: PUSH1 0xe0
000003ab: CALLDATASIZE
000003ac: PUSH1 0x03
000003ae: NOT
000003af: ADD
000003b0: SLT
000003b1: PUSH2 0x026a
000003b4: JUMPI
000003b5: PUSH1 0x04
000003b7: CALLDATALOAD
000003b8: PUSH1 0x01
000003ba: PUSH1 0x01
000003bc: PUSH1 0x40
000003be: SHL
000003bf: SUB
000003c0: DUP2
000003c1: GT
000003c2: PUSH2 0x026a
000003c5: JUMPI
000003c6: CALLDATASIZE
000003c7: PUSH1 0x23
000003c9: DUP3
000003ca: ADD
000003cb: SLT
000003cc: ISZERO
000003cd: PUSH2 0x026a
000003d0: JUMPI
000003d1: DUP1
000003d2: PUSH1 0x04
000003d4: ADD
000003d5: CALLDATALOAD
000003d6: SWAP1
000003d7: PUSH1 0x01
000003d9: PUSH1 0x01
000003db: PUSH1 0x40
000003dd: SHL
000003de: SUB
000003df: DUP3
000003e0: GT
000003e1: PUSH2 0x026a
000003e4: JUMPI
000003e5: PUSH1 0x24
000003e7: DUP3
000003e8: PUSH1 0x05
000003ea: SHL
000003eb: DUP3
000003ec: ADD
000003ed: ADD
000003ee: SWAP1
000003ef: CALLDATASIZE
000003f0: DUP3
000003f1: GT
000003f2: PUSH2 0x026a
000003f5: JUMPI
000003f6: PUSH1 0x24
000003f8: CALLDATALOAD
000003f9: PUSH1 0x01
000003fb: PUSH1 0x01
000003fd: PUSH1 0x40
000003ff: SHL
00000400: SUB
00000401: DUP2
00000402: GT
00000403: PUSH2 0x026a
00000406: JUMPI
00000407: PUSH2 0x0414
0000040a: SWAP1
0000040b: CALLDATASIZE
0000040c: SWAP1
0000040d: PUSH1 0x04
0000040f: ADD
00000410: PUSH2 0x1b2d
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH1 0xa4
00000417: CALLDATALOAD
00000418: PUSH1 0x01
0000041a: PUSH1 0x01
0000041c: PUSH1 0xa0
0000041e: SHL
0000041f: SUB
00000420: DUP2
00000421: AND
00000422: SWAP5
00000423: SWAP1
00000424: SWAP4
00000425: SWAP3
00000426: SWAP1
00000427: SWAP2
00000428: PUSH1 0x64
0000042a: CALLDATALOAD
0000042b: SWAP2
0000042c: PUSH1 0x84
0000042e: CALLDATALOAD
0000042f: SWAP2
00000430: PUSH1 0x44
00000432: CALLDATALOAD
00000433: SWAP2
00000434: DUP9
00000435: DUP9
00000436: SUB
00000437: PUSH2 0x026a
0000043a: JUMPI
0000043b: PUSH1 0xc4
0000043d: CALLDATALOAD
0000043e: PUSH1 0x01
00000440: PUSH1 0x01
00000442: PUSH1 0x40
00000444: SHL
00000445: SUB
00000446: DUP2
00000447: GT
00000448: PUSH2 0x026a
0000044b: JUMPI
0000044c: PUSH2 0x0459
0000044f: SWAP1
00000450: CALLDATASIZE
00000451: SWAP1
00000452: PUSH1 0x04
00000454: ADD
00000455: PUSH2 0x1b2d
00000458: JUMP
00000459: JUMPDEST
0000045a: SWAP8
0000045b: SWAP1
0000045c: SWAP7
0000045d: PUSH1 0x02
0000045f: SLOAD
00000460: PUSH1 0xff
00000462: DUP2
00000463: PUSH1 0xa8
00000465: SHR
00000466: AND
00000467: ISZERO
00000468: PUSH2 0x0b59
0000046b: JUMPI
0000046c: PUSH1 0x03
0000046e: SLOAD
0000046f: TIMESTAMP
00000470: LT
00000471: DUP1
00000472: ISZERO
00000473: PUSH2 0x0b68
00000476: JUMPI
00000477: JUMPDEST
00000478: PUSH2 0x0b59
0000047b: JUMPI
0000047c: PUSH1 0xb0
0000047e: SHR
0000047f: PUSH1 0xff
00000481: AND
00000482: ISZERO
00000483: PUSH2 0x0b12
00000486: JUMPI
00000487: JUMPDEST
00000488: PUSH1 0x40
0000048a: MLOAD
0000048b: PUSH1 0x20
0000048d: DUP2
0000048e: ADD
0000048f: SWAP1
00000490: DUP8
00000491: DUP3
00000492: MSTORE
00000493: DUP7
00000494: PUSH1 0x40
00000496: DUP3
00000497: ADD
00000498: MSTORE
00000499: PUSH1 0x40
0000049b: DUP2
0000049c: MSTORE
0000049d: PUSH2 0x04a7
000004a0: PUSH1 0x60
000004a2: DUP3
000004a3: PUSH2 0x1af5
000004a6: JUMP
000004a7: JUMPDEST
000004a8: MLOAD
000004a9: SWAP1
000004aa: KECCAK256
000004ab: SWAP1
000004ac: PUSH2 0x04b4
000004af: DUP14
000004b0: PUSH2 0x1b16
000004b3: JUMP
000004b4: JUMPDEST
000004b5: SWAP13
000004b6: PUSH2 0x04c2
000004b9: PUSH1 0x40
000004bb: MLOAD
000004bc: SWAP15
000004bd: DUP16
000004be: PUSH2 0x1af5
000004c1: JUMP
000004c2: JUMPDEST
000004c3: DUP14
000004c4: MSTORE
000004c5: PUSH1 0x20
000004c7: DUP14
000004c8: ADD
000004c9: SWAP3
000004ca: PUSH1 0x24
000004cc: ADD
000004cd: DUP4
000004ce: JUMPDEST
000004cf: DUP3
000004d0: DUP3
000004d1: LT
000004d2: PUSH2 0x0b02
000004d5: JUMPI
000004d6: POP
000004d7: POP
000004d8: POP
000004d9: SWAP11
000004da: DUP1
000004db: MLOAD
000004dc: SWAP2
000004dd: DUP3
000004de: PUSH2 0x0ac9
000004e1: JUMPI
000004e2: JUMPDEST
000004e3: POP
000004e4: POP
000004e5: POP
000004e6: DUP10
000004e7: PUSH0
000004e8: MSTORE
000004e9: PUSH1 0x06
000004eb: PUSH1 0x20
000004ed: MSTORE
000004ee: PUSH1 0x40
000004f0: PUSH0
000004f1: KECCAK256
000004f2: SLOAD
000004f3: ISZERO
000004f4: PUSH2 0x0ab6
000004f7: JUMPI
000004f8: PUSH1 0x20
000004fa: SWAP4
000004fb: DUP11
000004fc: PUSH0
000004fd: MSTORE
000004fe: PUSH1 0x05
00000500: DUP6
00000501: MSTORE
00000502: PUSH1 0x40
00000504: PUSH0
00000505: KECCAK256
00000506: DUP2
00000507: PUSH0
00000508: MSTORE
00000509: DUP6
0000050a: MSTORE
0000050b: PUSH1 0x40
0000050d: PUSH0
0000050e: KECCAK256
0000050f: PUSH1 0x01
00000511: PUSH1 0x40
00000513: MLOAD
00000514: SWAP2
00000515: PUSH2 0x051d
00000518: DUP4
00000519: PUSH2 0x1abf
0000051c: JUMP
0000051d: JUMPDEST
0000051e: DUP1
0000051f: SLOAD
00000520: DUP4
00000521: MSTORE
00000522: ADD
00000523: SLOAD
00000524: SWAP6
00000525: DUP7
00000526: SWAP2
00000527: ADD
00000528: MSTORE
00000529: DUP5
0000052a: ISZERO
0000052b: PUSH2 0x0a97
0000052e: JUMPI
0000052f: JUMPDEST
00000530: DUP6
00000531: DUP5
00000532: LT
00000533: PUSH2 0x0a88
00000536: JUMPI
00000537: DUP6
00000538: DUP6
00000539: EQ
0000053a: PUSH2 0x0a79
0000053d: JUMPI
0000053e: PUSH1 0x40
00000540: MLOAD
00000541: PUSH2 0x0549
00000544: DUP2
00000545: PUSH2 0x1abf
00000548: JUMP
00000549: JUMPDEST
0000054a: NUMBER
0000054b: DUP2
0000054c: MSTORE
0000054d: PUSH1 0x01
0000054f: PUSH1 0x20
00000551: DUP3
00000552: ADD
00000553: DUP9
00000554: DUP2
00000555: MSTORE
00000556: DUP14
00000557: PUSH0
00000558: MSTORE
00000559: PUSH1 0x05
0000055b: PUSH1 0x20
0000055d: MSTORE
0000055e: PUSH1 0x40
00000560: PUSH0
00000561: KECCAK256
00000562: DUP5
00000563: PUSH0
00000564: MSTORE
00000565: PUSH1 0x20
00000567: MSTORE
00000568: PUSH1 0x40
0000056a: PUSH0
0000056b: KECCAK256
0000056c: SWAP3
0000056d: MLOAD
0000056e: DUP4
0000056f: SSTORE
00000570: MLOAD
00000571: SWAP2
00000572: ADD
00000573: SSTORE
00000574: PUSH1 0x01
00000576: DUP1
00000577: PUSH1 0xa0
00000579: SHL
0000057a: SUB
0000057b: PUSH0
0000057c: SLOAD
0000057d: AND
0000057e: SWAP4
0000057f: DUP4
00000580: ISZERO
00000581: PUSH2 0x0a42
00000584: JUMPI
00000585: PUSH1 0x40
00000587: MLOAD
00000588: SWAP1
00000589: PUSH1 0x20
0000058b: DUP3
0000058c: ADD
0000058d: SWAP3
0000058e: DUP4
0000058f: MSTORE
00000590: PUSH1 0x01
00000592: PUSH1 0x01
00000594: PUSH1 0x60
00000596: SHL
00000597: SUB
00000598: NOT
00000599: DUP12
0000059a: PUSH1 0x60
0000059c: SHL
0000059d: AND
0000059e: PUSH1 0x40
000005a0: DUP4
000005a1: ADD
000005a2: MSTORE
000005a3: PUSH1 0x54
000005a5: DUP3
000005a6: ADD
000005a7: MSTORE
000005a8: DUP7
000005a9: PUSH1 0x74
000005ab: DUP3
000005ac: ADD
000005ad: MSTORE
000005ae: DUP12
000005af: PUSH1 0x94
000005b1: DUP3
000005b2: ADD
000005b3: MSTORE
000005b4: ADDRESS
000005b5: PUSH1 0x60
000005b7: SHL
000005b8: PUSH1 0xb4
000005ba: DUP3
000005bb: ADD
000005bc: MSTORE
000005bd: CHAINID
000005be: PUSH1 0xc8
000005c0: DUP3
000005c1: ADD
000005c2: MSTORE
000005c3: DUP9
000005c4: DUP9
000005c5: PUSH1 0xe8
000005c7: DUP4
000005c8: ADD
000005c9: CALLDATACOPY
000005ca: PUSH2 0x05e6
000005cd: PUSH1 0xe8
000005cf: DUP3
000005d0: DUP12
000005d1: DUP2
000005d2: ADD
000005d3: PUSH0
000005d4: DUP4
000005d5: DUP3
000005d6: ADD
000005d7: MSTORE
000005d8: SUB
000005d9: ADD
000005da: PUSH1 0x1f
000005dc: NOT
000005dd: DUP2
000005de: ADD
000005df: DUP4
000005e0: MSTORE
000005e1: DUP3
000005e2: PUSH2 0x1af5
000005e5: JUMP
000005e6: JUMPDEST
000005e7: MLOAD
000005e8: SWAP1
000005e9: KECCAK256
000005ea: PUSH1 0x20
000005ec: MSTORE
000005ed: PUSH28 0x19457468657265756d205369676e6564204d6573736167653a0a3332
0000060a: PUSH0
0000060b: MSTORE
0000060c: PUSH1 0x3c
0000060e: PUSH1 0x04
00000610: KECCAK256
00000611: SWAP1
00000612: PUSH1 0x40
00000614: MLOAD
00000615: SWAP3
00000616: DUP1
00000617: PUSH1 0x40
00000619: EQ
0000061a: PUSH2 0x0a51
0000061d: JUMPI
0000061e: PUSH1 0x41
00000620: EQ
00000621: PUSH2 0x063d
00000624: JUMPI
00000625: POP
00000626: POP
00000627: POP
00000628: POP
00000629: POP
0000062a: POP
0000062b: POP
0000062c: POP
0000062d: POP
0000062e: POP
0000062f: POP
00000630: JUMPDEST
00000631: PUSH4 0x8baa579f
00000636: PUSH0
00000637: MSTORE
00000638: PUSH1 0x04
0000063a: PUSH1 0x1c
0000063c: REVERT
0000063d: JUMPDEST
0000063e: DUP1
0000063f: PUSH1 0x40
00000641: DUP1
00000642: SWAP3
00000643: ADD
00000644: CALLDATALOAD
00000645: PUSH0
00000646: BYTE
00000647: PUSH1 0x20
00000649: MSTORE
0000064a: DUP2
0000064b: CALLDATACOPY
0000064c: JUMPDEST
0000064d: PUSH0
0000064e: MSTORE
0000064f: PUSH1 0x20
00000651: PUSH1 0x01
00000653: PUSH1 0x80
00000655: PUSH0
00000656: DUP3
00000657: GAS
00000658: STATICCALL
00000659: MLOAD
0000065a: SWAP1
0000065b: PUSH0
0000065c: PUSH1 0x60
0000065e: MSTORE
0000065f: PUSH1 0x40
00000661: MSTORE
00000662: RETURNDATASIZE
00000663: PUSH2 0x0674
00000666: JUMPI
00000667: POP
00000668: POP
00000669: POP
0000066a: POP
0000066b: POP
0000066c: POP
0000066d: POP
0000066e: POP
0000066f: POP
00000670: PUSH2 0x0630
00000673: JUMP
00000674: JUMPDEST
00000675: PUSH1 0x01
00000677: PUSH1 0x01
00000679: PUSH1 0xa0
0000067b: SHL
0000067c: SUB
0000067d: AND
0000067e: SUB
0000067f: PUSH2 0x0a42
00000682: JUMPI
00000683: PUSH2 0x068b
00000686: SWAP2
00000687: PUSH2 0x1c2a
0000068a: JUMP
0000068b: JUMPDEST
0000068c: SWAP2
0000068d: PUSH1 0x01
0000068f: DUP1
00000690: PUSH1 0xa0
00000692: SHL
00000693: SUB
00000694: PUSH1 0x01
00000696: SLOAD
00000697: AND
00000698: SWAP1
00000699: PUSH2 0x06a1
0000069c: DUP2
0000069d: PUSH2 0x1b8f
000006a0: JUMP
000006a1: JUMPDEST
000006a2: SWAP1
000006a3: PUSH2 0x06af
000006a6: PUSH1 0x40
000006a8: MLOAD
000006a9: SWAP3
000006aa: DUP4
000006ab: PUSH2 0x1af5
000006ae: JUMP
000006af: JUMPDEST
000006b0: DUP1
000006b1: DUP3
000006b2: MSTORE
000006b3: PUSH1 0x20
000006b5: DUP3
000006b6: ADD
000006b7: SWAP4
000006b8: CALLDATASIZE
000006b9: DUP3
000006ba: DUP3
000006bb: ADD
000006bc: GT
000006bd: PUSH2 0x026a
000006c0: JUMPI
000006c1: DUP2
000006c2: PUSH0
000006c3: SWAP3
000006c4: PUSH1 0x20
000006c6: SWAP3
000006c7: DUP8
000006c8: CALLDATACOPY
000006c9: DUP4
000006ca: ADD
000006cb: ADD
000006cc: MSTORE
000006cd: DUP1
000006ce: MLOAD
000006cf: DUP2
000006d0: ADD
000006d1: SWAP3
000006d2: PUSH1 0x20
000006d4: DUP3
000006d5: DUP2
000006d6: DUP7
000006d7: ADD
000006d8: SWAP6
000006d9: SUB
000006da: SLT
000006db: PUSH2 0x026a
000006de: JUMPI
000006df: MLOAD
000006e0: SWAP1
000006e1: PUSH1 0x01
000006e3: PUSH1 0x01
000006e5: PUSH1 0x40
000006e7: SHL
000006e8: SUB
000006e9: DUP3
000006ea: GT
000006eb: PUSH2 0x026a
000006ee: JUMPI
000006ef: ADD
000006f0: SWAP2
000006f1: DUP1
000006f2: PUSH1 0x3f
000006f4: DUP5
000006f5: ADD
000006f6: SLT
000006f7: ISZERO
000006f8: PUSH2 0x026a
000006fb: JUMPI
000006fc: PUSH1 0x20
000006fe: DUP4
000006ff: ADD
00000700: MLOAD
00000701: SWAP3
00000702: PUSH2 0x070a
00000705: DUP5
00000706: PUSH2 0x1b16
00000709: JUMP
0000070a: JUMPDEST
0000070b: SWAP4
0000070c: PUSH2 0x0718
0000070f: PUSH1 0x40
00000711: MLOAD
00000712: SWAP6
00000713: DUP7
00000714: PUSH2 0x1af5
00000717: JUMP
00000718: JUMPDEST
00000719: DUP1
0000071a: DUP6
0000071b: MSTORE
0000071c: PUSH1 0x20
0000071e: DUP1
0000071f: DUP1
00000720: DUP8
00000721: ADD
00000722: SWAP3
00000723: PUSH1 0x05
00000725: SHL
00000726: DUP5
00000727: ADD
00000728: ADD
00000729: ADD
0000072a: SWAP2
0000072b: DUP4
0000072c: DUP4
0000072d: GT
0000072e: PUSH2 0x026a
00000731: JUMPI
00000732: PUSH1 0x40
00000734: DUP2
00000735: ADD
00000736: SWAP2
00000737: JUMPDEST
00000738: DUP4
00000739: DUP4
0000073a: LT
0000073b: PUSH2 0x09d8
0000073e: JUMPI
0000073f: POP
00000740: POP
00000741: POP
00000742: POP
00000743: POP
00000744: DUP6
00000745: PUSH0
00000746: MSTORE
00000747: PUSH1 0x06
00000749: PUSH1 0x20
0000074b: MSTORE
0000074c: PUSH1 0x40
0000074e: PUSH0
0000074f: KECCAK256
00000750: SLOAD
00000751: PUSH0
00000752: MSTORE
00000753: PUSH1 0x0a
00000755: PUSH1 0x20
00000757: MSTORE
00000758: PUSH1 0x40
0000075a: PUSH0
0000075b: KECCAK256
0000075c: SWAP3
0000075d: PUSH1 0x40
0000075f: MLOAD
00000760: SWAP7
00000761: PUSH2 0x0769
00000764: DUP9
00000765: PUSH2 0x1abf
00000768: JUMP
00000769: JUMPDEST
0000076a: PUSH1 0x01
0000076c: PUSH2 0x0774
0000076f: DUP7
00000770: PUSH2 0x1baa
00000773: JUMP
00000774: JUMPDEST
00000775: SWAP6
00000776: DUP7
00000777: DUP11
00000778: MSTORE
00000779: ADD
0000077a: SLOAD
0000077b: SWAP5
0000077c: PUSH1 0x20
0000077e: DUP10
0000077f: ADD
00000780: SWAP6
00000781: DUP7
00000782: MSTORE
00000783: MLOAD
00000784: DUP5
00000785: MLOAD
00000786: SUB
00000787: PUSH2 0x09c9
0000078a: JUMPI
0000078b: PUSH0
0000078c: SWAP8
0000078d: DUP9
0000078e: JUMPDEST
0000078f: DUP2
00000790: MLOAD
00000791: DUP1
00000792: MLOAD
00000793: DUP12
00000794: LT
00000795: ISZERO
00000796: PUSH2 0x089d
00000799: JUMPI
0000079a: DUP11
0000079b: PUSH2 0x07a3
0000079e: SWAP2
0000079f: PUSH2 0x1c16
000007a2: JUMP
000007a3: JUMPDEST
000007a4: MLOAD
000007a5: DUP8
000007a6: MLOAD
000007a7: DUP12
000007a8: EQ
000007a9: PUSH2 0x0893
000007ac: JUMPI
000007ad: DUP7
000007ae: DUP2
000007af: DUP7
000007b0: DUP14
000007b1: DUP13
000007b2: SWAP5
000007b3: MLOAD
000007b4: SWAP3
000007b5: DUP4
000007b6: PUSH0
000007b7: NOT
000007b8: DIV
000007b9: DUP4
000007ba: GT
000007bb: PUSH2 0x0870
000007be: JUMPI
000007bf: JUMPDEST
000007c0: PUSH1 0x20
000007c2: SWAP5
000007c3: SWAP3
000007c4: PUSH2 0x080b
000007c7: PUSH2 0x07e8
000007ca: PUSH8 0x0de0b6b3a7640000
000007d3: SWAP7
000007d4: SWAP5
000007d5: PUSH0
000007d6: SWAP5
000007d7: DUP10
000007d8: PUSH1 0x01
000007da: DUP1
000007db: PUSH1 0xa0
000007dd: SHL
000007de: SUB
000007df: SWAP2
000007e0: ADD
000007e1: MLOAD
000007e2: AND
000007e3: SWAP7
000007e4: PUSH2 0x1c16
000007e7: JUMP
000007e8: JUMPDEST
000007e9: MLOAD
000007ea: DUP14
000007eb: DUP13
000007ec: PUSH1 0x40
000007ee: MLOAD
000007ef: SWAP11
000007f0: DUP12
000007f1: SWAP10
000007f2: DUP11
000007f3: SWAP9
000007f4: DUP10
000007f5: SWAP8
000007f6: PUSH4 0x44c91603
000007fb: PUSH1 0xe0
000007fd: SHL
000007fe: DUP10
000007ff: MSTORE
00000800: MUL
00000801: DIV
00000802: SWAP3
00000803: PUSH1 0x04
00000805: DUP8
00000806: ADD
00000807: PUSH2 0x1e2f
0000080a: JUMP
0000080b: JUMPDEST
0000080c: SUB
0000080d: SWAP3
0000080e: GAS
0000080f: CALL
00000810: SWAP1
00000811: DUP2
00000812: ISZERO
00000813: PUSH2 0x0865
00000816: JUMPI
00000817: PUSH0
00000818: SWAP2
00000819: PUSH2 0x0833
0000081c: JUMPI
0000081d: JUMPDEST
0000081e: POP
0000081f: PUSH2 0x082a
00000822: SWAP1
00000823: PUSH1 0x01
00000825: SWAP3
00000826: PUSH2 0x1c37
00000829: JUMP
0000082a: JUMPDEST
0000082b: SWAP10
0000082c: JUMPDEST
0000082d: ADD
0000082e: SWAP9
0000082f: PUSH2 0x078e
00000832: JUMP
00000833: JUMPDEST
00000834: SWAP1
00000835: POP
00000836: PUSH1 0x20
00000838: DUP2
00000839: RETURNDATASIZE
0000083a: DUP3
0000083b: GT
0000083c: PUSH2 0x085d
0000083f: JUMPI
00000840: JUMPDEST
00000841: DUP2
00000842: PUSH2 0x084d
00000845: PUSH1 0x20
00000847: SWAP4
00000848: DUP4
00000849: PUSH2 0x1af5
0000084c: JUMP
0000084d: JUMPDEST
0000084e: DUP2
0000084f: ADD
00000850: SUB
00000851: SLT
00000852: PUSH2 0x026a
00000855: JUMPI
00000856: MLOAD
00000857: PUSH1 0x01
00000859: PUSH2 0x081d
0000085c: JUMP
0000085d: JUMPDEST
0000085e: RETURNDATASIZE
0000085f: SWAP2
00000860: POP
00000861: PUSH2 0x0840
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH1 0x40
00000868: MLOAD
00000869: RETURNDATASIZE
0000086a: PUSH0
0000086b: DUP3
0000086c: RETURNDATACOPY
0000086d: RETURNDATASIZE
0000086e: SWAP1
0000086f: REVERT
00000870: JUMPDEST
00000871: SWAP4
00000872: POP
00000873: POP
00000874: POP
00000875: DUP1
00000876: SWAP3
00000877: POP
00000878: PUSH2 0x0886
0000087b: JUMPI
0000087c: DUP10
0000087d: SWAP2
0000087e: DUP7
0000087f: DUP14
00000880: DUP11
00000881: SWAP4
00000882: PUSH2 0x07bf
00000885: JUMP
00000886: JUMPDEST
00000887: PUSH4 0xbac65e5b
0000088c: PUSH0
0000088d: MSTORE
0000088e: PUSH1 0x04
00000890: PUSH1 0x1c
00000892: REVERT
00000893: JUMPDEST
00000894: POP
00000895: SWAP9
00000896: PUSH1 0x01
00000898: SWAP1
00000899: PUSH2 0x082c
0000089c: JUMP
0000089d: JUMPDEST
0000089e: POP
0000089f: SWAP2
000008a0: SWAP6
000008a1: SWAP5
000008a2: DUP4
000008a3: SWAP5
000008a4: DUP10
000008a5: SWAP7
000008a6: DUP10
000008a7: DUP2
000008a8: MLOAD
000008a9: DUP6
000008aa: MLOAD
000008ab: MLOAD
000008ac: GT
000008ad: PUSH2 0x08f7
000008b0: JUMPI
000008b1: JUMPDEST
000008b2: POP
000008b3: POP
000008b4: POP
000008b5: POP
000008b6: POP
000008b7: SUB
000008b8: PUSH2 0x08e8
000008bb: JUMPI
000008bc: PUSH1 0x20
000008be: PUSH32 0x286b28c8571c73086fa8d8852b677537690a70b51e1a76820fe50db64e127779
000008df: SWAP2
000008e0: PUSH1 0x40
000008e2: MLOAD
000008e3: SWAP1
000008e4: DUP2
000008e5: MSTORE
000008e6: LOG3
000008e7: STOP
000008e8: JUMPDEST
000008e9: PUSH4 0xa4aeb3cb
000008ee: PUSH1 0xe0
000008f0: SHL
000008f1: PUSH0
000008f2: MSTORE
000008f3: PUSH1 0x04
000008f5: PUSH0
000008f6: REVERT
000008f7: JUMPDEST
000008f8: SWAP1
000008f9: SWAP2
000008fa: SWAP3
000008fb: SWAP4
000008fc: SWAP5
000008fd: SWAP6
000008fe: DUP7
000008ff: GT
00000900: PUSH2 0x09ba
00000903: JUMPI
00000904: PUSH0
00000905: DUP10
00000906: SWAP4
00000907: PUSH2 0x095b
0000090a: PUSH2 0x093d
0000090d: PUSH1 0x20
0000090f: SWAP8
00000910: PUSH2 0x0919
00000913: DUP12
00000914: DUP14
00000915: PUSH2 0x1c2a
00000918: JUMP
00000919: JUMPDEST
0000091a: SWAP10
0000091b: MLOAD
0000091c: DUP8
0000091d: MLOAD
0000091e: PUSH1 0x01
00000920: PUSH1 0x01
00000922: PUSH1 0xa0
00000924: SHL
00000925: SUB
00000926: SWAP2
00000927: DUP12
00000928: SWAP2
00000929: PUSH2 0x0931
0000092c: SWAP2
0000092d: PUSH2 0x1c16
00000930: JUMP
00000931: JUMPDEST
00000932: MLOAD
00000933: ADD
00000934: MLOAD
00000935: AND
00000936: SWAP7
00000937: MLOAD
00000938: SWAP1
00000939: PUSH2 0x1c16
0000093c: JUMP
0000093d: JUMPDEST
0000093e: MLOAD
0000093f: PUSH1 0x40
00000941: MLOAD
00000942: PUSH4 0x44c91603
00000947: PUSH1 0xe0
00000949: SHL
0000094a: DUP2
0000094b: MSTORE
0000094c: SWAP9
0000094d: DUP10
0000094e: SWAP8
0000094f: DUP9
00000950: SWAP7
00000951: DUP8
00000952: SWAP6
00000953: PUSH1 0x04
00000955: DUP8
00000956: ADD
00000957: PUSH2 0x1e2f
0000095a: JUMP
0000095b: JUMPDEST
0000095c: SUB
0000095d: SWAP3
0000095e: GAS
0000095f: CALL
00000960: DUP1
00000961: ISZERO
00000962: PUSH2 0x0865
00000965: JUMPI
00000966: DUP4
00000967: SWAP2
00000968: PUSH0
00000969: SWAP2
0000096a: PUSH2 0x0983
0000096d: JUMPI
0000096e: JUMPDEST
0000096f: POP
00000970: PUSH2 0x0979
00000973: SWAP2
00000974: SWAP3
00000975: PUSH2 0x1c37
00000978: JUMP
00000979: JUMPDEST
0000097a: DUP6
0000097b: DUP1
0000097c: DUP1
0000097d: DUP1
0000097e: DUP1
0000097f: PUSH2 0x08b1
00000982: JUMP
00000983: JUMPDEST
00000984: SWAP2
00000985: POP
00000986: POP
00000987: PUSH1 0x20
00000989: DUP2
0000098a: RETURNDATASIZE
0000098b: PUSH1 0x20
0000098d: GT
0000098e: PUSH2 0x09b2
00000991: JUMPI
00000992: JUMPDEST
00000993: DUP2
00000994: PUSH2 0x099f
00000997: PUSH1 0x20
00000999: SWAP4
0000099a: DUP4
0000099b: PUSH2 0x1af5
0000099e: JUMP
0000099f: JUMPDEST
000009a0: DUP2
000009a1: ADD
000009a2: SUB
000009a3: SLT
000009a4: PUSH2 0x026a
000009a7: JUMPI
000009a8: MLOAD
000009a9: DUP3
000009aa: SWAP1
000009ab: PUSH2 0x0979
000009ae: PUSH2 0x096e
000009b1: JUMP
000009b2: JUMPDEST
000009b3: RETURNDATASIZE
000009b4: SWAP2
000009b5: POP
000009b6: PUSH2 0x0992
000009b9: JUMP
000009ba: JUMPDEST
000009bb: PUSH4 0x37cb51dd
000009c0: PUSH1 0xe2
000009c2: SHL
000009c3: PUSH0
000009c4: MSTORE
000009c5: PUSH1 0x04
000009c7: PUSH0
000009c8: REVERT
000009c9: JUMPDEST
000009ca: PUSH4 0xb722e495
000009cf: PUSH1 0xe0
000009d1: SHL
000009d2: PUSH0
000009d3: MSTORE
000009d4: PUSH1 0x04
000009d6: PUSH0
000009d7: REVERT
000009d8: JUMPDEST
000009d9: DUP3
000009da: MLOAD
000009db: PUSH1 0x01
000009dd: PUSH1 0x01
000009df: PUSH1 0x40
000009e1: SHL
000009e2: SUB
000009e3: DUP2
000009e4: GT
000009e5: PUSH2 0x026a
000009e8: JUMPI
000009e9: PUSH1 0x20
000009eb: SWAP1
000009ec: DUP4
000009ed: ADD
000009ee: ADD
000009ef: DUP6
000009f0: PUSH1 0x3f
000009f2: DUP3
000009f3: ADD
000009f4: SLT
000009f5: ISZERO
000009f6: PUSH2 0x026a
000009f9: JUMPI
000009fa: PUSH1 0x20
000009fc: DUP2
000009fd: ADD
000009fe: MLOAD
000009ff: SWAP2
00000a00: PUSH2 0x0a08
00000a03: DUP4
00000a04: PUSH2 0x1b8f
00000a07: JUMP
00000a08: JUMPDEST
00000a09: PUSH2 0x0a15
00000a0c: PUSH1 0x40
00000a0e: MLOAD
00000a0f: SWAP2
00000a10: DUP3
00000a11: PUSH2 0x1af5
00000a14: JUMP
00000a15: JUMPDEST
00000a16: DUP4
00000a17: DUP2
00000a18: MSTORE
00000a19: PUSH1 0x40
00000a1b: DUP4
00000a1c: DUP6
00000a1d: ADD
00000a1e: ADD
00000a1f: DUP9
00000a20: LT
00000a21: PUSH2 0x026a
00000a24: JUMPI
00000a25: PUSH0
00000a26: PUSH1 0x20
00000a28: DUP6
00000a29: DUP2
00000a2a: SWAP7
00000a2b: PUSH1 0x40
00000a2d: DUP4
00000a2e: SWAP8
00000a2f: ADD
00000a30: DUP4
00000a31: DUP7
00000a32: ADD
00000a33: MCOPY
00000a34: DUP4
00000a35: ADD
00000a36: ADD
00000a37: MSTORE
00000a38: DUP2
00000a39: MSTORE
00000a3a: ADD
00000a3b: SWAP3
00000a3c: ADD
00000a3d: SWAP2
00000a3e: PUSH2 0x0737
00000a41: JUMP
00000a42: JUMPDEST
00000a43: PUSH4 0x8baa579f
00000a48: PUSH1 0xe0
00000a4a: SHL
00000a4b: PUSH0
00000a4c: MSTORE
00000a4d: PUSH1 0x04
00000a4f: PUSH0
00000a50: REVERT
00000a51: JUMPDEST
00000a52: POP
00000a53: PUSH1 0x20
00000a55: DUP2
00000a56: DUP2
00000a57: ADD
00000a58: CALLDATALOAD
00000a59: PUSH1 0xff
00000a5b: DUP2
00000a5c: SWAP1
00000a5d: SHR
00000a5e: PUSH1 0x1b
00000a60: ADD
00000a61: SWAP1
00000a62: SWAP2
00000a63: MSTORE
00000a64: SWAP1
00000a65: CALLDATALOAD
00000a66: PUSH1 0x40
00000a68: MSTORE
00000a69: PUSH1 0x01
00000a6b: PUSH1 0x01
00000a6d: PUSH1 0xff
00000a6f: SHL
00000a70: SUB
00000a71: AND
00000a72: PUSH1 0x60
00000a74: MSTORE
00000a75: PUSH2 0x064c
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: PUSH4 0x0c8d9eab
00000a7f: PUSH1 0xe3
00000a81: SHL
00000a82: PUSH0
00000a83: MSTORE
00000a84: PUSH1 0x04
00000a86: PUSH0
00000a87: REVERT
00000a88: JUMPDEST
00000a89: PUSH4 0x3cec7925
00000a8e: PUSH1 0xe0
00000a90: SHL
00000a91: PUSH0
00000a92: MSTORE
00000a93: PUSH1 0x04
00000a95: PUSH0
00000a96: REVERT
00000a97: JUMPDEST
00000a98: PUSH2 0x0aa1
00000a9b: DUP5
00000a9c: DUP13
00000a9d: PUSH2 0x1b5a
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: CALLVALUE
00000aa3: EQ
00000aa4: PUSH2 0x052f
00000aa7: JUMPI
00000aa8: PUSH4 0xcd3cb2bb
00000aad: PUSH1 0xe0
00000aaf: SHL
00000ab0: PUSH0
00000ab1: MSTORE
00000ab2: PUSH1 0x04
00000ab4: PUSH0
00000ab5: REVERT
00000ab6: JUMPDEST
00000ab7: DUP10
00000ab8: PUSH4 0x0ee30f2b
00000abd: PUSH1 0xe2
00000abf: SHL
00000ac0: PUSH0
00000ac1: MSTORE
00000ac2: PUSH1 0x04
00000ac4: MSTORE
00000ac5: PUSH1 0x24
00000ac7: PUSH0
00000ac8: REVERT
00000ac9: JUMPDEST
00000aca: SWAP1
00000acb: PUSH1 0x20
00000acd: SWAP2
00000ace: SWAP13
00000acf: SWAP3
00000ad0: PUSH1 0x05
00000ad2: SHL
00000ad3: ADD
00000ad4: ADD
00000ad5: SWAP1
00000ad6: JUMPDEST
00000ad7: DUP12
00000ad8: MLOAD
00000ad9: DUP2
00000ada: GT
00000adb: PUSH1 0x05
00000add: SHL
00000ade: SWAP1
00000adf: DUP2
00000ae0: MSTORE
00000ae1: PUSH1 0x20
00000ae3: DUP13
00000ae4: MLOAD
00000ae5: SWAP2
00000ae6: XOR
00000ae7: MSTORE
00000ae8: PUSH1 0x20
00000aea: PUSH1 0x40
00000aec: PUSH0
00000aed: KECCAK256
00000aee: SWAP12
00000aef: ADD
00000af0: SWAP11
00000af1: DUP2
00000af2: DUP13
00000af3: LT
00000af4: PUSH2 0x0ad6
00000af7: JUMPI
00000af8: SWAP11
00000af9: POP
00000afa: POP
00000afb: DUP11
00000afc: DUP1
00000afd: DUP1
00000afe: PUSH2 0x04e2
00000b01: JUMP
00000b02: JUMPDEST
00000b03: DUP2
00000b04: CALLDATALOAD
00000b05: DUP2
00000b06: MSTORE
00000b07: PUSH1 0x20
00000b09: SWAP2
00000b0a: DUP3
00000b0b: ADD
00000b0c: SWAP2
00000b0d: ADD
00000b0e: PUSH2 0x04ce
00000b11: JUMP
00000b12: JUMPDEST
00000b13: PUSH1 0x40
00000b15: MLOAD
00000b16: PUSH1 0x20
00000b18: DUP2
00000b19: ADD
00000b1a: SWAP1
00000b1b: PUSH1 0x01
00000b1d: PUSH1 0x01
00000b1f: PUSH1 0x60
00000b21: SHL
00000b22: SUB
00000b23: NOT
00000b24: DUP13
00000b25: PUSH1 0x60
00000b27: SHL
00000b28: AND
00000b29: DUP3
00000b2a: MSTORE
00000b2b: PUSH1 0x14
00000b2d: DUP2
00000b2e: MSTORE
00000b2f: PUSH2 0x0b39
00000b32: PUSH1 0x34
00000b34: DUP3
00000b35: PUSH2 0x1af5
00000b38: JUMP
00000b39: JUMPDEST
00000b3a: MLOAD
00000b3b: SWAP1
00000b3c: KECCAK256
00000b3d: DUP7
00000b3e: EQ
00000b3f: PUSH2 0x0487
00000b42: JUMPI
00000b43: DUP11
00000b44: DUP7
00000b45: PUSH4 0x8a9e2bfb
00000b4a: PUSH1 0xe0
00000b4c: SHL
00000b4d: PUSH0
00000b4e: MSTORE
00000b4f: PUSH1 0x04
00000b51: MSTORE
00000b52: PUSH1 0x24
00000b54: MSTORE
00000b55: PUSH1 0x44
00000b57: PUSH0
00000b58: REVERT
00000b59: JUMPDEST
00000b5a: PUSH4 0x4065aaf1
00000b5f: PUSH1 0xe1
00000b61: SHL
00000b62: PUSH0
00000b63: MSTORE
00000b64: PUSH1 0x04
00000b66: PUSH0
00000b67: REVERT
00000b68: JUMPDEST
00000b69: POP
00000b6a: PUSH1 0x04
00000b6c: SLOAD
00000b6d: TIMESTAMP
00000b6e: GT
00000b6f: PUSH2 0x0477
00000b72: JUMP
00000b73: JUMPDEST
00000b74: CALLVALUE
00000b75: PUSH2 0x026a
00000b78: JUMPI
00000b79: PUSH1 0x40
00000b7b: CALLDATASIZE
00000b7c: PUSH1 0x03
00000b7e: NOT
00000b7f: ADD
00000b80: SLT
00000b81: PUSH2 0x026a
00000b84: JUMPI
00000b85: PUSH2 0x0b8c
00000b88: PUSH2 0x1a6f
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: PUSH4 0x8b78c6d8
00000b92: PUSH1 0x0c
00000b94: MSTORE
00000b95: CALLER
00000b96: PUSH0
00000b97: MSTORE
00000b98: PUSH1 0x02
00000b9a: PUSH1 0x20
00000b9c: PUSH1 0x0c
00000b9e: KECCAK256
00000b9f: SLOAD
00000ba0: AND
00000ba1: ISZERO
00000ba2: PUSH2 0x0c15
00000ba5: JUMPI
00000ba6: PUSH1 0x02
00000ba8: SLOAD
00000ba9: PUSH1 0x01
00000bab: SLOAD
00000bac: PUSH1 0x24
00000bae: CALLDATALOAD
00000baf: PUSH1 0x60
00000bb1: SWAP1
00000bb2: DUP2
00000bb3: MSTORE
00000bb4: PUSH1 0x40
00000bb6: SWAP4
00000bb7: SWAP1
00000bb8: SWAP4
00000bb9: MSTORE
00000bba: SWAP1
00000bbb: SWAP2
00000bbc: SHL
00000bbd: PUSH12 0xffffffffffffffffffffffff
00000bca: NOT
00000bcb: AND
00000bcc: PUSH1 0x2c
00000bce: MSTORE
00000bcf: PUSH4 0x23b872dd
00000bd4: PUSH1 0x60
00000bd6: SHL
00000bd7: PUSH1 0x0c
00000bd9: MSTORE
00000bda: PUSH1 0x01
00000bdc: PUSH1 0x01
00000bde: PUSH1 0xa0
00000be0: SHL
00000be1: SUB
00000be2: AND
00000be3: PUSH1 0x20
00000be5: PUSH0
00000be6: PUSH1 0x64
00000be8: PUSH1 0x1c
00000bea: DUP3
00000beb: DUP6
00000bec: GAS
00000bed: CALL
00000bee: SWAP1
00000bef: DUP2
00000bf0: PUSH1 0x01
00000bf2: PUSH0
00000bf3: MLOAD
00000bf4: EQ
00000bf5: AND
00000bf6: ISZERO
00000bf7: PUSH2 0x0bfc
00000bfa: JUMPI
00000bfb: STOP
00000bfc: JUMPDEST
00000bfd: EXTCODESIZE
00000bfe: ISZERO
00000bff: RETURNDATASIZE
00000c00: OR
00000c01: LT
00000c02: ISZERO
00000c03: PUSH2 0x0c08
00000c06: JUMPI
00000c07: STOP
00000c08: JUMPDEST
00000c09: PUSH4 0x7939f424
00000c0e: PUSH0
00000c0f: MSTORE
00000c10: PUSH1 0x04
00000c12: PUSH1 0x1c
00000c14: REVERT
00000c15: JUMPDEST
00000c16: PUSH4 0x82b42900
00000c1b: PUSH0
00000c1c: MSTORE
00000c1d: PUSH1 0x04
00000c1f: PUSH1 0x1c
00000c21: REVERT
00000c22: JUMPDEST
00000c23: CALLVALUE
00000c24: PUSH2 0x026a
00000c27: JUMPI
00000c28: PUSH1 0x40
00000c2a: CALLDATASIZE
00000c2b: PUSH1 0x03
00000c2d: NOT
00000c2e: ADD
00000c2f: SLT
00000c30: PUSH2 0x026a
00000c33: JUMPI
00000c34: PUSH32 0xb1eae1cc3c910aded471d513328d6c8c8e5e7b8c2f29e376445a68219d457f1d
00000c55: PUSH1 0x40
00000c57: PUSH1 0x04
00000c59: CALLDATALOAD
00000c5a: PUSH1 0x24
00000c5c: CALLDATALOAD
00000c5d: PUSH2 0x0c64
00000c60: PUSH2 0x1c44
00000c63: JUMP
00000c64: JUMPDEST
00000c65: DUP2
00000c66: PUSH1 0x03
00000c68: SSTORE
00000c69: DUP1
00000c6a: PUSH1 0x04
00000c6c: SSTORE
00000c6d: DUP3
00000c6e: MLOAD
00000c6f: SWAP2
00000c70: DUP3
00000c71: MSTORE
00000c72: PUSH1 0x20
00000c74: DUP3
00000c75: ADD
00000c76: MSTORE
00000c77: LOG1
00000c78: STOP
00000c79: JUMPDEST
00000c7a: CALLVALUE
00000c7b: PUSH2 0x026a
00000c7e: JUMPI
00000c7f: PUSH0
00000c80: CALLDATASIZE
00000c81: PUSH1 0x03
00000c83: NOT
00000c84: ADD
00000c85: SLT
00000c86: PUSH2 0x026a
00000c89: JUMPI
00000c8a: PUSH1 0x20
00000c8c: PUSH1 0xff
00000c8e: PUSH1 0x02
00000c90: SLOAD
00000c91: PUSH1 0xb0
00000c93: SHR
00000c94: AND
00000c95: PUSH1 0x40
00000c97: MLOAD
00000c98: SWAP1
00000c99: ISZERO
00000c9a: ISZERO
00000c9b: DUP2
00000c9c: MSTORE
00000c9d: RETURN
00000c9e: JUMPDEST
00000c9f: CALLVALUE
00000ca0: PUSH2 0x026a
00000ca3: JUMPI
00000ca4: PUSH1 0x20
00000ca6: CALLDATASIZE
00000ca7: PUSH1 0x03
00000ca9: NOT
00000caa: ADD
00000cab: SLT
00000cac: PUSH2 0x026a
00000caf: JUMPI
00000cb0: PUSH1 0x04
00000cb2: CALLDATALOAD
00000cb3: DUP1
00000cb4: ISZERO
00000cb5: ISZERO
00000cb6: DUP1
00000cb7: SWAP2
00000cb8: SUB
00000cb9: PUSH2 0x026a
00000cbc: JUMPI
00000cbd: PUSH2 0x0cc4
00000cc0: PUSH2 0x1c44
00000cc3: JUMP
00000cc4: JUMPDEST
00000cc5: PUSH1 0x02
00000cc7: DUP1
00000cc8: SLOAD
00000cc9: PUSH1 0xff
00000ccb: PUSH1 0xa0
00000ccd: SHL
00000cce: NOT
00000ccf: AND
00000cd0: PUSH1 0xa0
00000cd2: SWAP3
00000cd3: SWAP1
00000cd4: SWAP3
00000cd5: SHL
00000cd6: PUSH1 0xff
00000cd8: PUSH1 0xa0
00000cda: SHL
00000cdb: AND
00000cdc: SWAP2
00000cdd: SWAP1
00000cde: SWAP2
00000cdf: OR
00000ce0: SWAP1
00000ce1: SSTORE
00000ce2: STOP
00000ce3: JUMPDEST
00000ce4: CALLVALUE
00000ce5: PUSH2 0x026a
00000ce8: JUMPI
00000ce9: PUSH1 0x20
00000ceb: CALLDATASIZE
00000cec: PUSH1 0x03
00000cee: NOT
00000cef: ADD
00000cf0: SLT
00000cf1: PUSH2 0x026a
00000cf4: JUMPI
00000cf5: PUSH1 0x04
00000cf7: CALLDATALOAD
00000cf8: PUSH0
00000cf9: MSTORE
00000cfa: PUSH1 0x08
00000cfc: PUSH1 0x20
00000cfe: MSTORE
00000cff: PUSH1 0x20
00000d01: PUSH1 0x40
00000d03: PUSH0
00000d04: KECCAK256
00000d05: SLOAD
00000d06: PUSH1 0x40
00000d08: MLOAD
00000d09: SWAP1
00000d0a: DUP2
00000d0b: MSTORE
00000d0c: RETURN
00000d0d: JUMPDEST
00000d0e: CALLVALUE
00000d0f: PUSH2 0x026a
00000d12: JUMPI
00000d13: PUSH1 0x20
00000d15: CALLDATASIZE
00000d16: PUSH1 0x03
00000d18: NOT
00000d19: ADD
00000d1a: SLT
00000d1b: PUSH2 0x026a
00000d1e: JUMPI
00000d1f: PUSH1 0x04
00000d21: CALLDATALOAD
00000d22: DUP1
00000d23: ISZERO
00000d24: ISZERO
00000d25: DUP1
00000d26: SWAP2
00000d27: SUB
00000d28: PUSH2 0x026a
00000d2b: JUMPI
00000d2c: PUSH2 0x0d33
00000d2f: PUSH2 0x1c44
00000d32: JUMP
00000d33: JUMPDEST
00000d34: PUSH1 0x02
00000d36: DUP1
00000d37: SLOAD
00000d38: PUSH1 0xff
00000d3a: PUSH1 0xb0
00000d3c: SHL
00000d3d: NOT
00000d3e: AND
00000d3f: PUSH1 0xb0
00000d41: SWAP3
00000d42: SWAP1
00000d43: SWAP3
00000d44: SHL
00000d45: PUSH1 0xff
00000d47: PUSH1 0xb0
00000d49: SHL
00000d4a: AND
00000d4b: SWAP2
00000d4c: SWAP1
00000d4d: SWAP2
00000d4e: OR
00000d4f: SWAP1
00000d50: SSTORE
00000d51: STOP
00000d52: JUMPDEST
00000d53: CALLVALUE
00000d54: PUSH2 0x026a
00000d57: JUMPI
00000d58: PUSH1 0x60
00000d5a: CALLDATASIZE
00000d5b: PUSH1 0x03
00000d5d: NOT
00000d5e: ADD
00000d5f: SLT
00000d60: PUSH2 0x026a
00000d63: JUMPI
00000d64: PUSH1 0x04
00000d66: CALLDATALOAD
00000d67: PUSH1 0x24
00000d69: CALLDATALOAD
00000d6a: PUSH1 0x01
00000d6c: PUSH1 0x01
00000d6e: PUSH1 0x40
00000d70: SHL
00000d71: SUB
00000d72: DUP2
00000d73: GT
00000d74: PUSH2 0x026a
00000d77: JUMPI
00000d78: CALLDATASIZE
00000d79: PUSH1 0x23
00000d7b: DUP3
00000d7c: ADD
00000d7d: SLT
00000d7e: ISZERO
00000d7f: PUSH2 0x026a
00000d82: JUMPI
00000d83: DUP1
00000d84: PUSH1 0x04
00000d86: ADD
00000d87: CALLDATALOAD
00000d88: SWAP1
00000d89: PUSH2 0x0d91
00000d8c: DUP3
00000d8d: PUSH2 0x1b16
00000d90: JUMP
00000d91: JUMPDEST
00000d92: SWAP1
00000d93: PUSH2 0x0d9f
00000d96: PUSH1 0x40
00000d98: MLOAD
00000d99: SWAP3
00000d9a: DUP4
00000d9b: PUSH2 0x1af5
00000d9e: JUMP
00000d9f: JUMPDEST
00000da0: DUP3
00000da1: DUP3
00000da2: MSTORE
00000da3: PUSH1 0x20
00000da5: DUP3
00000da6: ADD
00000da7: SWAP1
00000da8: PUSH1 0x24
00000daa: DUP3
00000dab: SWAP5
00000dac: PUSH1 0x06
00000dae: SHL
00000daf: DUP3
00000db0: ADD
00000db1: ADD
00000db2: SWAP1
00000db3: CALLDATASIZE
00000db4: DUP3
00000db5: GT
00000db6: PUSH2 0x026a
00000db9: JUMPI
00000dba: PUSH1 0x24
00000dbc: ADD
00000dbd: SWAP2
00000dbe: JUMPDEST
00000dbf: DUP2
00000dc0: DUP4
00000dc1: LT
00000dc2: PUSH2 0x10c9
00000dc5: JUMPI
00000dc6: POP
00000dc7: POP
00000dc8: POP
00000dc9: PUSH1 0x44
00000dcb: CALLDATALOAD
00000dcc: SWAP2
00000dcd: PUSH2 0x0dd4
00000dd0: PUSH2 0x1c44
00000dd3: JUMP
00000dd4: JUMPDEST
00000dd5: DUP4
00000dd6: PUSH0
00000dd7: MSTORE
00000dd8: PUSH1 0x0a
00000dda: PUSH1 0x20
00000ddc: MSTORE
00000ddd: PUSH2 0x0de8
00000de0: PUSH1 0x40
00000de2: PUSH0
00000de3: KECCAK256
00000de4: PUSH2 0x1baa
00000de7: JUMP
00000de8: JUMPDEST
00000de9: SWAP4
00000dea: PUSH0
00000deb: JUMPDEST
00000dec: DUP6
00000ded: MLOAD
00000dee: DUP2
00000def: LT
00000df0: ISZERO
00000df1: PUSH2 0x0ec7
00000df4: JUMPI
00000df5: PUSH1 0x01
00000df7: PUSH1 0x01
00000df9: PUSH1 0xa0
00000dfb: SHL
00000dfc: SUB
00000dfd: PUSH1 0x20
00000dff: PUSH2 0x0e08
00000e02: DUP4
00000e03: DUP10
00000e04: PUSH2 0x1c16
00000e07: JUMP
00000e08: JUMPDEST
00000e09: MLOAD
00000e0a: ADD
00000e0b: MLOAD
00000e0c: AND
00000e0d: PUSH0
00000e0e: MSTORE
00000e0f: PUSH1 0x0b
00000e11: PUSH1 0x20
00000e13: MSTORE
00000e14: PUSH1 0x40
00000e16: PUSH0
00000e17: KECCAK256
00000e18: SLOAD
00000e19: SWAP1
00000e1a: DUP2
00000e1b: PUSH2 0x0e79
00000e1e: JUMPI
00000e1f: JUMPDEST
00000e20: PUSH1 0x01
00000e22: SWAP2
00000e23: ISZERO
00000e24: PUSH2 0x0e2e
00000e27: JUMPI
00000e28: JUMPDEST
00000e29: ADD
00000e2a: PUSH2 0x0deb
00000e2d: JUMP
00000e2e: JUMPDEST
00000e2f: DUP2
00000e30: DUP1
00000e31: PUSH1 0xa0
00000e33: SHL
00000e34: SUB
00000e35: PUSH1 0x20
00000e37: PUSH2 0x0e40
00000e3a: DUP4
00000e3b: DUP11
00000e3c: PUSH2 0x1c16
00000e3f: JUMP
00000e40: JUMPDEST
00000e41: MLOAD
00000e42: ADD
00000e43: MLOAD
00000e44: AND
00000e45: PUSH4 0x8b78c6d8
00000e4a: PUSH1 0x0c
00000e4c: MSTORE
00000e4d: PUSH0
00000e4e: MSTORE
00000e4f: PUSH1 0x20
00000e51: PUSH1 0x0c
00000e53: KECCAK256
00000e54: DUP1
00000e55: SLOAD
00000e56: PUSH1 0x02
00000e58: DUP2
00000e59: AND
00000e5a: XOR
00000e5b: DUP1
00000e5c: SWAP2
00000e5d: SSTORE
00000e5e: PUSH1 0x0c
00000e60: MLOAD
00000e61: PUSH1 0x60
00000e63: SHR
00000e64: PUSH0
00000e65: MLOAD
00000e66: PUSH1 0x20
00000e68: PUSH2 0x1e9b
00000e6b: PUSH0
00000e6c: CODECOPY
00000e6d: PUSH0
00000e6e: MLOAD
00000e6f: SWAP1
00000e70: PUSH0
00000e71: MSTORE
00000e72: PUSH0
00000e73: DUP1
00000e74: LOG3
00000e75: PUSH2 0x0e28
00000e78: JUMP
00000e79: JUMPDEST
00000e7a: PUSH0
00000e7b: NOT
00000e7c: DUP3
00000e7d: ADD
00000e7e: SWAP2
00000e7f: DUP3
00000e80: GT
00000e81: PUSH2 0x0eb3
00000e84: JUMPI
00000e85: PUSH1 0x01
00000e87: SWAP2
00000e88: DUP1
00000e89: PUSH1 0x01
00000e8b: PUSH1 0x01
00000e8d: PUSH1 0xa0
00000e8f: SHL
00000e90: SUB
00000e91: PUSH1 0x20
00000e93: PUSH2 0x0e9c
00000e96: DUP6
00000e97: DUP13
00000e98: PUSH2 0x1c16
00000e9b: JUMP
00000e9c: JUMPDEST
00000e9d: MLOAD
00000e9e: ADD
00000e9f: MLOAD
00000ea0: AND
00000ea1: PUSH0
00000ea2: MSTORE
00000ea3: PUSH1 0x0b
00000ea5: PUSH1 0x20
00000ea7: MSTORE
00000ea8: PUSH1 0x40
00000eaa: PUSH0
00000eab: KECCAK256
00000eac: SSTORE
00000ead: SWAP2
00000eae: POP
00000eaf: PUSH2 0x0e1f
00000eb2: JUMP
00000eb3: JUMPDEST
00000eb4: PUSH4 0x4e487b71
00000eb9: PUSH1 0xe0
00000ebb: SHL
00000ebc: PUSH0
00000ebd: MSTORE
00000ebe: PUSH1 0x11
00000ec0: PUSH1 0x04
00000ec2: MSTORE
00000ec3: PUSH1 0x24
00000ec5: PUSH0
00000ec6: REVERT
00000ec7: JUMPDEST
00000ec8: POP
00000ec9: DUP4
00000eca: PUSH0
00000ecb: JUMPDEST
00000ecc: DUP5
00000ecd: MLOAD
00000ece: DUP2
00000ecf: LT
00000ed0: ISZERO
00000ed1: PUSH2 0x0fa9
00000ed4: JUMPI
00000ed5: PUSH8 0x0de0b6b3a7640000
00000ede: PUSH2 0x0ee7
00000ee1: DUP3
00000ee2: DUP8
00000ee3: PUSH2 0x1c16
00000ee6: JUMP
00000ee7: JUMPDEST
00000ee8: MLOAD
00000ee9: MLOAD
00000eea: GT
00000eeb: PUSH2 0x0f9a
00000eee: JUMPI
00000eef: PUSH1 0x01
00000ef1: PUSH1 0x01
00000ef3: PUSH1 0xa0
00000ef5: SHL
00000ef6: SUB
00000ef7: PUSH1 0x20
00000ef9: PUSH2 0x0f02
00000efc: DUP4
00000efd: DUP9
00000efe: PUSH2 0x1c16
00000f01: JUMP
00000f02: JUMPDEST
00000f03: MLOAD
00000f04: ADD
00000f05: MLOAD
00000f06: AND
00000f07: PUSH0
00000f08: MSTORE
00000f09: PUSH1 0x0b
00000f0b: PUSH1 0x20
00000f0d: MSTORE
00000f0e: PUSH1 0x40
00000f10: PUSH0
00000f11: KECCAK256
00000f12: SLOAD
00000f13: SWAP1
00000f14: DUP2
00000f15: ISZERO
00000f16: PUSH2 0x0f52
00000f19: JUMPI
00000f1a: JUMPDEST
00000f1b: PUSH1 0x01
00000f1d: DUP3
00000f1e: ADD
00000f1f: DUP1
00000f20: SWAP3
00000f21: GT
00000f22: PUSH2 0x0eb3
00000f25: JUMPI
00000f26: PUSH1 0x01
00000f28: SWAP2
00000f29: PUSH1 0x01
00000f2b: PUSH1 0x01
00000f2d: PUSH1 0xa0
00000f2f: SHL
00000f30: SUB
00000f31: PUSH1 0x20
00000f33: PUSH2 0x0f3c
00000f36: DUP5
00000f37: DUP11
00000f38: PUSH2 0x1c16
00000f3b: JUMP
00000f3c: JUMPDEST
00000f3d: MLOAD
00000f3e: ADD
00000f3f: MLOAD
00000f40: AND
00000f41: PUSH0
00000f42: MSTORE
00000f43: PUSH1 0x0b
00000f45: PUSH1 0x20
00000f47: MSTORE
00000f48: PUSH1 0x40
00000f4a: PUSH0
00000f4b: KECCAK256
00000f4c: SSTORE
00000f4d: ADD
00000f4e: PUSH2 0x0ecb
00000f51: JUMP
00000f52: JUMPDEST
00000f53: PUSH1 0x01
00000f55: PUSH1 0x01
00000f57: PUSH1 0xa0
00000f59: SHL
00000f5a: SUB
00000f5b: PUSH1 0x20
00000f5d: PUSH2 0x0f66
00000f60: DUP4
00000f61: DUP10
00000f62: PUSH2 0x1c16
00000f65: JUMP
00000f66: JUMPDEST
00000f67: MLOAD
00000f68: ADD
00000f69: MLOAD
00000f6a: AND
00000f6b: PUSH4 0x8b78c6d8
00000f70: PUSH1 0x0c
00000f72: MSTORE
00000f73: PUSH0
00000f74: MSTORE
00000f75: PUSH1 0x02
00000f77: PUSH1 0x20
00000f79: PUSH1 0x0c
00000f7b: KECCAK256
00000f7c: SSTORE
00000f7d: PUSH1 0x02
00000f7f: PUSH1 0x0c
00000f81: MLOAD
00000f82: PUSH1 0x60
00000f84: SHR
00000f85: PUSH0
00000f86: MLOAD
00000f87: PUSH1 0x20
00000f89: PUSH2 0x1e9b
00000f8c: PUSH0
00000f8d: CODECOPY
00000f8e: PUSH0
00000f8f: MLOAD
00000f90: SWAP1
00000f91: PUSH0
00000f92: MSTORE
00000f93: PUSH0
00000f94: DUP1
00000f95: LOG3
00000f96: PUSH2 0x0f1a
00000f99: JUMP
00000f9a: JUMPDEST
00000f9b: PUSH4 0x0db580a5
00000fa0: PUSH1 0xe3
00000fa2: SHL
00000fa3: PUSH0
00000fa4: MSTORE
00000fa5: PUSH1 0x04
00000fa7: PUSH0
00000fa8: REVERT
00000fa9: JUMPDEST
00000faa: POP
00000fab: DUP3
00000fac: DUP5
00000fad: DUP1
00000fae: MLOAD
00000faf: DUP4
00000fb0: GT
00000fb1: PUSH2 0x0f9a
00000fb4: JUMPI
00000fb5: DUP4
00000fb6: PUSH0
00000fb7: MSTORE
00000fb8: PUSH1 0x0a
00000fba: PUSH1 0x20
00000fbc: MSTORE
00000fbd: PUSH1 0x40
00000fbf: PUSH0
00000fc0: KECCAK256
00000fc1: SWAP1
00000fc2: MLOAD
00000fc3: SWAP2
00000fc4: PUSH9 0x010000000000000000
00000fce: DUP4
00000fcf: GT
00000fd0: PUSH2 0x10b5
00000fd3: JUMPI
00000fd4: DUP2
00000fd5: SLOAD
00000fd6: DUP4
00000fd7: DUP4
00000fd8: SSTORE
00000fd9: DUP1
00000fda: DUP5
00000fdb: LT
00000fdc: PUSH2 0x1063
00000fdf: JUMPI
00000fe0: JUMPDEST
00000fe1: POP
00000fe2: SWAP1
00000fe3: PUSH0
00000fe4: MSTORE
00000fe5: PUSH1 0x20
00000fe7: PUSH0
00000fe8: KECCAK256
00000fe9: PUSH0
00000fea: SWAP2
00000feb: JUMPDEST
00000fec: DUP4
00000fed: DUP4
00000fee: LT
00000fef: PUSH2 0x102a
00000ff2: JUMPI
00000ff3: DUP6
00000ff4: DUP6
00000ff5: DUP2
00000ff6: PUSH0
00000ff7: MSTORE
00000ff8: PUSH1 0x0a
00000ffa: PUSH1 0x20
00000ffc: MSTORE
00000ffd: PUSH1 0x01
00000fff: PUSH1 0x40
00001001: PUSH0
00001002: KECCAK256
00001003: ADD
00001004: SSTORE
00001005: PUSH32 0xd86d1ea68633217e54831fb1fefe8da235e38c6c90f724d939b8be43d5362782
00001026: PUSH0
00001027: DUP1
00001028: LOG2
00001029: STOP
0000102a: JUMPDEST
0000102b: PUSH1 0x02
0000102d: PUSH1 0x20
0000102f: DUP3
00001030: PUSH1 0x01
00001032: SWAP4
00001033: MLOAD
00001034: DUP1
00001035: MLOAD
00001036: DUP7
00001037: SSTORE
00001038: DUP5
00001039: DUP7
0000103a: ADD
0000103b: SWAP1
0000103c: DUP4
0000103d: DUP7
0000103e: DUP1
0000103f: PUSH1 0xa0
00001041: SHL
00001042: SUB
00001043: SWAP2
00001044: ADD
00001045: MLOAD
00001046: AND
00001047: PUSH1 0x01
00001049: PUSH1 0x01
0000104b: PUSH1 0x60
0000104d: SHL
0000104e: SUB
0000104f: PUSH1 0xa0
00001051: SHL
00001052: DUP3
00001053: SLOAD
00001054: AND
00001055: OR
00001056: SWAP1
00001057: SSTORE
00001058: ADD
00001059: SWAP3
0000105a: ADD
0000105b: SWAP3
0000105c: ADD
0000105d: SWAP2
0000105e: SWAP1
0000105f: PUSH2 0x0feb
00001062: JUMP
00001063: JUMPDEST
00001064: PUSH1 0x01
00001066: PUSH1 0x01
00001068: PUSH1 0xff
0000106a: SHL
0000106b: SUB
0000106c: DUP2
0000106d: AND
0000106e: DUP2
0000106f: SUB
00001070: PUSH2 0x0eb3
00001073: JUMPI
00001074: PUSH1 0x01
00001076: PUSH1 0x01
00001078: PUSH1 0xff
0000107a: SHL
0000107b: SUB
0000107c: DUP5
0000107d: AND
0000107e: DUP5
0000107f: SUB
00001080: PUSH2 0x0eb3
00001083: JUMPI
00001084: DUP3
00001085: PUSH0
00001086: MSTORE
00001087: PUSH1 0x20
00001089: PUSH0
0000108a: KECCAK256
0000108b: SWAP1
0000108c: PUSH1 0x01
0000108e: SHL
0000108f: DUP2
00001090: ADD
00001091: SWAP1
00001092: DUP5
00001093: PUSH1 0x01
00001095: SHL
00001096: ADD
00001097: JUMPDEST
00001098: DUP2
00001099: DUP2
0000109a: LT
0000109b: PUSH2 0x10a4
0000109e: JUMPI
0000109f: POP
000010a0: PUSH2 0x0fe0
000010a3: JUMP
000010a4: JUMPDEST
000010a5: PUSH0
000010a6: DUP1
000010a7: DUP3
000010a8: SSTORE
000010a9: PUSH1 0x01
000010ab: DUP3
000010ac: ADD
000010ad: SSTORE
000010ae: PUSH1 0x02
000010b0: ADD
000010b1: PUSH2 0x1097
000010b4: JUMP
000010b5: JUMPDEST
000010b6: PUSH4 0x4e487b71
000010bb: PUSH1 0xe0
000010bd: SHL
000010be: PUSH0
000010bf: MSTORE
000010c0: PUSH1 0x41
000010c2: PUSH1 0x04
000010c4: MSTORE
000010c5: PUSH1 0x24
000010c7: PUSH0
000010c8: REVERT
000010c9: JUMPDEST
000010ca: PUSH1 0x40
000010cc: DUP4
000010cd: CALLDATASIZE
000010ce: SUB
000010cf: SLT
000010d0: PUSH2 0x026a
000010d3: JUMPI
000010d4: PUSH1 0x40
000010d6: MLOAD
000010d7: SWAP1
000010d8: PUSH2 0x10e0
000010db: DUP3
000010dc: PUSH2 0x1abf
000010df: JUMP
000010e0: JUMPDEST
000010e1: DUP4
000010e2: CALLDATALOAD
000010e3: DUP3
000010e4: MSTORE
000010e5: PUSH1 0x20
000010e7: DUP5
000010e8: ADD
000010e9: CALLDATALOAD
000010ea: SWAP1
000010eb: PUSH1 0x01
000010ed: PUSH1 0x01
000010ef: PUSH1 0xa0
000010f1: SHL
000010f2: SUB
000010f3: DUP3
000010f4: AND
000010f5: DUP3
000010f6: SUB
000010f7: PUSH2 0x026a
000010fa: JUMPI
000010fb: DUP3
000010fc: PUSH1 0x20
000010fe: SWAP3
000010ff: DUP4
00001100: PUSH1 0x40
00001102: SWAP6
00001103: ADD
00001104: MSTORE
00001105: DUP2
00001106: MSTORE
00001107: ADD
00001108: SWAP3
00001109: ADD
0000110a: SWAP2
0000110b: PUSH2 0x0dbe
0000110e: JUMP
0000110f: JUMPDEST
00001110: CALLVALUE
00001111: PUSH2 0x026a
00001114: JUMPI
00001115: PUSH1 0x80
00001117: CALLDATASIZE
00001118: PUSH1 0x03
0000111a: NOT
0000111b: ADD
0000111c: SLT
0000111d: PUSH2 0x026a
00001120: JUMPI
00001121: PUSH1 0x04
00001123: CALLDATALOAD
00001124: PUSH1 0x64
00001126: CALLDATALOAD
00001127: PUSH1 0x44
00001129: CALLDATALOAD
0000112a: PUSH1 0x24
0000112c: CALLDATALOAD
0000112d: PUSH2 0x1134
00001130: PUSH2 0x1c44
00001133: JUMP
00001134: JUMPDEST
00001135: DUP3
00001136: DUP3
00001137: GT
00001138: PUSH2 0x11d3
0000113b: JUMPI
0000113c: PUSH2 0x11ce
0000113f: PUSH32 0xf15b3734f84fd5be93889964ca805694f2d85a5380f00b4b0638a16d838a0768
00001160: SWAP4
00001161: DUP6
00001162: PUSH0
00001163: MSTORE
00001164: PUSH1 0x07
00001166: PUSH1 0x20
00001168: MSTORE
00001169: PUSH1 0x40
0000116b: PUSH0
0000116c: KECCAK256
0000116d: PUSH1 0x02
0000116f: PUSH1 0xff
00001171: NOT
00001172: DUP3
00001173: SLOAD
00001174: AND
00001175: OR
00001176: SWAP1
00001177: SSTORE
00001178: PUSH1 0x40
0000117a: MLOAD
0000117b: PUSH2 0x1183
0000117e: DUP2
0000117f: PUSH2 0x1ada
00001182: JUMP
00001183: JUMPDEST
00001184: DUP4
00001185: DUP2
00001186: MSTORE
00001187: PUSH1 0x02
00001189: PUSH1 0x20
0000118b: DUP3
0000118c: ADD
0000118d: DUP7
0000118e: DUP2
0000118f: MSTORE
00001190: PUSH1 0x40
00001192: DUP4
00001193: ADD
00001194: SWAP1
00001195: DUP5
00001196: DUP3
00001197: MSTORE
00001198: DUP10
00001199: PUSH0
0000119a: MSTORE
0000119b: PUSH1 0x09
0000119d: PUSH1 0x20
0000119f: MSTORE
000011a0: PUSH1 0x40
000011a2: PUSH0
000011a3: KECCAK256
000011a4: SWAP4
000011a5: MLOAD
000011a6: DUP5
000011a7: SSTORE
000011a8: MLOAD
000011a9: PUSH1 0x01
000011ab: DUP5
000011ac: ADD
000011ad: SSTORE
000011ae: MLOAD
000011af: SWAP2
000011b0: ADD
000011b1: SSTORE
000011b2: PUSH1 0x40
000011b4: MLOAD
000011b5: SWAP4
000011b6: DUP5
000011b7: SWAP4
000011b8: DUP5
000011b9: PUSH1 0x40
000011bb: SWAP2
000011bc: SWAP5
000011bd: SWAP4
000011be: SWAP3
000011bf: PUSH1 0x60
000011c1: DUP3
000011c2: ADD
000011c3: SWAP6
000011c4: DUP3
000011c5: MSTORE
000011c6: PUSH1 0x20
000011c8: DUP3
000011c9: ADD
000011ca: MSTORE
000011cb: ADD
000011cc: MSTORE
000011cd: JUMP
000011ce: JUMPDEST
000011cf: SUB
000011d0: SWAP1
000011d1: LOG2
000011d2: STOP
000011d3: JUMPDEST
000011d4: PUSH4 0x2b00a33d
000011d9: PUSH1 0xe1
000011db: SHL
000011dc: PUSH0
000011dd: MSTORE
000011de: PUSH1 0x04
000011e0: PUSH0
000011e1: REVERT
000011e2: JUMPDEST
000011e3: CALLVALUE
000011e4: PUSH2 0x026a
000011e7: JUMPI
000011e8: PUSH1 0x20
000011ea: CALLDATASIZE
000011eb: PUSH1 0x03
000011ed: NOT
000011ee: ADD
000011ef: SLT
000011f0: PUSH2 0x026a
000011f3: JUMPI
000011f4: PUSH1 0x04
000011f6: CALLDATALOAD
000011f7: PUSH2 0x11fe
000011fa: PUSH2 0x1c44
000011fd: JUMP
000011fe: JUMPDEST
000011ff: DUP1
00001200: ISZERO
00001201: PUSH2 0x11d3
00001204: JUMPI
00001205: DUP1
00001206: PUSH0
00001207: MSTORE
00001208: PUSH1 0x07
0000120a: PUSH1 0x20
0000120c: MSTORE
0000120d: PUSH1 0x40
0000120f: PUSH0
00001210: KECCAK256
00001211: PUSH1 0xff
00001213: NOT
00001214: DUP2
00001215: SLOAD
00001216: AND
00001217: SWAP1
00001218: SSTORE
00001219: PUSH32 0x12210ee12e90745146d17abc0a475e481c9e86899562eeea70a3f734f7162128
0000123a: PUSH0
0000123b: DUP1
0000123c: LOG2
0000123d: STOP
0000123e: JUMPDEST
0000123f: CALLVALUE
00001240: PUSH2 0x026a
00001243: JUMPI
00001244: PUSH0
00001245: CALLDATASIZE
00001246: PUSH1 0x03
00001248: NOT
00001249: ADD
0000124a: SLT
0000124b: PUSH2 0x026a
0000124e: JUMPI
0000124f: PUSH1 0x20
00001251: PUSH1 0x40
00001253: MLOAD
00001254: PUSH1 0x02
00001256: DUP2
00001257: MSTORE
00001258: RETURN
00001259: JUMPDEST
0000125a: CALLVALUE
0000125b: PUSH2 0x026a
0000125e: JUMPI
0000125f: PUSH1 0x20
00001261: PUSH32 0x025df4885db3fa8c2f03e70fb1245c33dfc0519f7017a1d59b0a214fc96d9e2e
00001282: PUSH2 0x128a
00001285: CALLDATASIZE
00001286: PUSH2 0x1a85
00001289: JUMP
0000128a: JUMPDEST
0000128b: PUSH2 0x1295
0000128e: SWAP4
0000128f: SWAP2
00001290: SWAP4
00001291: PUSH2 0x1c44
00001294: JUMP
00001295: JUMPDEST
00001296: DUP4
00001297: PUSH0
00001298: MSTORE
00001299: PUSH1 0x07
0000129b: DUP3
0000129c: MSTORE
0000129d: PUSH1 0x40
0000129f: PUSH0
000012a0: KECCAK256
000012a1: PUSH1 0x01
000012a3: PUSH1 0xff
000012a5: NOT
000012a6: DUP3
000012a7: SLOAD
000012a8: AND
000012a9: OR
000012aa: SWAP1
000012ab: SSTORE
000012ac: DUP4
000012ad: PUSH0
000012ae: MSTORE
000012af: PUSH1 0x08
000012b1: DUP3
000012b2: MSTORE
000012b3: DUP1
000012b4: PUSH1 0x40
000012b6: PUSH0
000012b7: KECCAK256
000012b8: SSTORE
000012b9: PUSH1 0x40
000012bb: MLOAD
000012bc: SWAP1
000012bd: DUP2
000012be: MSTORE
000012bf: LOG2
000012c0: STOP
000012c1: JUMPDEST
000012c2: CALLVALUE
000012c3: PUSH2 0x026a
000012c6: JUMPI
000012c7: PUSH0
000012c8: CALLDATASIZE
000012c9: PUSH1 0x03
000012cb: NOT
000012cc: ADD
000012cd: SLT
000012ce: PUSH2 0x026a
000012d1: JUMPI
000012d2: PUSH4 0x8b78c6d8
000012d7: NOT
000012d8: SLOAD
000012d9: PUSH1 0x40
000012db: MLOAD
000012dc: PUSH1 0x01
000012de: PUSH1 0x01
000012e0: PUSH1 0xa0
000012e2: SHL
000012e3: SUB
000012e4: SWAP1
000012e5: SWAP2
000012e6: AND
000012e7: DUP2
000012e8: MSTORE
000012e9: PUSH1 0x20
000012eb: SWAP1
000012ec: RETURN
000012ed: JUMPDEST
000012ee: CALLVALUE
000012ef: PUSH2 0x026a
000012f2: JUMPI
000012f3: PUSH2 0x12fb
000012f6: CALLDATASIZE
000012f7: PUSH2 0x1a85
000012fa: JUMP
000012fb: JUMPDEST
000012fc: SWAP1
000012fd: PUSH0
000012fe: MSTORE
000012ff: PUSH1 0x05
00001301: PUSH1 0x20
00001303: MSTORE
00001304: PUSH1 0x40
00001306: PUSH0
00001307: KECCAK256
00001308: SWAP1
00001309: PUSH0
0000130a: MSTORE
0000130b: PUSH1 0x20
0000130d: MSTORE
0000130e: PUSH1 0x40
00001310: DUP1
00001311: PUSH0
00001312: KECCAK256
00001313: PUSH1 0x01
00001315: DUP2
00001316: SLOAD
00001317: SWAP2
00001318: ADD
00001319: SLOAD
0000131a: DUP3
0000131b: MLOAD
0000131c: SWAP2
0000131d: DUP3
0000131e: MSTORE
0000131f: PUSH1 0x20
00001321: DUP3
00001322: ADD
00001323: MSTORE
00001324: RETURN
00001325: JUMPDEST
00001326: CALLVALUE
00001327: PUSH2 0x026a
0000132a: JUMPI
0000132b: PUSH1 0x20
0000132d: CALLDATASIZE
0000132e: PUSH1 0x03
00001330: NOT
00001331: ADD
00001332: SLT
00001333: PUSH2 0x026a
00001336: JUMPI
00001337: PUSH1 0x04
00001339: CALLDATALOAD
0000133a: PUSH0
0000133b: MSTORE
0000133c: PUSH1 0x07
0000133e: PUSH1 0x20
00001340: MSTORE
00001341: PUSH1 0xff
00001343: PUSH1 0x40
00001345: PUSH0
00001346: KECCAK256
00001347: SLOAD
00001348: AND
00001349: PUSH1 0x40
0000134b: MLOAD
0000134c: PUSH1 0x03
0000134e: DUP3
0000134f: LT
00001350: ISZERO
00001351: PUSH2 0x135b
00001354: JUMPI
00001355: PUSH1 0x20
00001357: SWAP2
00001358: DUP2
00001359: MSTORE
0000135a: RETURN
0000135b: JUMPDEST
0000135c: PUSH4 0x4e487b71
00001361: PUSH1 0xe0
00001363: SHL
00001364: PUSH0
00001365: MSTORE
00001366: PUSH1 0x21
00001368: PUSH1 0x04
0000136a: MSTORE
0000136b: PUSH1 0x24
0000136d: PUSH0
0000136e: REVERT
0000136f: JUMPDEST
00001370: CALLVALUE
00001371: PUSH2 0x026a
00001374: JUMPI
00001375: PUSH0
00001376: CALLDATASIZE
00001377: PUSH1 0x03
00001379: NOT
0000137a: ADD
0000137b: SLT
0000137c: PUSH2 0x026a
0000137f: JUMPI
00001380: PUSH2 0x1387
00001383: PUSH2 0x1c44
00001386: JUMP
00001387: JUMPDEST
00001388: PUSH1 0x02
0000138a: DUP1
0000138b: SLOAD
0000138c: PUSH1 0xff
0000138e: PUSH1 0xa8
00001390: SHL
00001391: NOT
00001392: AND
00001393: SWAP1
00001394: SSTORE
00001395: PUSH32 0x9e87fac88ff661f02d44f95383c817fece4bce600a3dab7a54406878b965e752
000013b6: PUSH0
000013b7: DUP1
000013b8: LOG1
000013b9: STOP
000013ba: JUMPDEST
000013bb: CALLVALUE
000013bc: PUSH2 0x026a
000013bf: JUMPI
000013c0: PUSH0
000013c1: CALLDATASIZE
000013c2: PUSH1 0x03
000013c4: NOT
000013c5: ADD
000013c6: SLT
000013c7: PUSH2 0x026a
000013ca: JUMPI
000013cb: PUSH1 0x20
000013cd: PUSH1 0x04
000013cf: SLOAD
000013d0: PUSH1 0x40
000013d2: MLOAD
000013d3: SWAP1
000013d4: DUP2
000013d5: MSTORE
000013d6: RETURN
000013d7: JUMPDEST
000013d8: CALLVALUE
000013d9: PUSH2 0x026a
000013dc: JUMPI
000013dd: PUSH1 0x20
000013df: CALLDATASIZE
000013e0: PUSH1 0x03
000013e2: NOT
000013e3: ADD
000013e4: SLT
000013e5: PUSH2 0x026a
000013e8: JUMPI
000013e9: PUSH1 0x04
000013eb: CALLDATALOAD
000013ec: PUSH0
000013ed: MSTORE
000013ee: PUSH1 0x09
000013f0: PUSH1 0x20
000013f2: MSTORE
000013f3: PUSH1 0x40
000013f5: PUSH0
000013f6: KECCAK256
000013f7: DUP1
000013f8: SLOAD
000013f9: PUSH2 0x1422
000013fc: PUSH1 0x02
000013fe: PUSH1 0x01
00001400: DUP5
00001401: ADD
00001402: SLOAD
00001403: SWAP4
00001404: ADD
00001405: SLOAD
00001406: PUSH1 0x40
00001408: MLOAD
00001409: SWAP4
0000140a: DUP5
0000140b: SWAP4
0000140c: DUP5
0000140d: PUSH1 0x40
0000140f: SWAP2
00001410: SWAP5
00001411: SWAP4
00001412: SWAP3
00001413: PUSH1 0x60
00001415: DUP3
00001416: ADD
00001417: SWAP6
00001418: DUP3
00001419: MSTORE
0000141a: PUSH1 0x20
0000141c: DUP3
0000141d: ADD
0000141e: MSTORE
0000141f: ADD
00001420: MSTORE
00001421: JUMP
00001422: JUMPDEST
00001423: SUB
00001424: SWAP1
00001425: RETURN
00001426: JUMPDEST
00001427: PUSH0
00001428: CALLDATASIZE
00001429: PUSH1 0x03
0000142b: NOT
0000142c: ADD
0000142d: SLT
0000142e: PUSH2 0x026a
00001431: JUMPI
00001432: PUSH2 0x1439
00001435: PUSH2 0x1de3
00001438: JUMP
00001439: JUMPDEST
0000143a: PUSH0
0000143b: PUSH4 0x8b78c6d8
00001440: NOT
00001441: SLOAD
00001442: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001463: DUP3
00001464: DUP1
00001465: LOG3
00001466: PUSH0
00001467: PUSH4 0x8b78c6d8
0000146c: NOT
0000146d: SSTORE
0000146e: STOP
0000146f: JUMPDEST
00001470: CALLVALUE
00001471: PUSH2 0x026a
00001474: JUMPI
00001475: PUSH1 0x20
00001477: CALLDATASIZE
00001478: PUSH1 0x03
0000147a: NOT
0000147b: ADD
0000147c: SLT
0000147d: PUSH2 0x026a
00001480: JUMPI
00001481: PUSH2 0x1488
00001484: PUSH2 0x1a6f
00001487: JUMP
00001488: JUMPDEST
00001489: PUSH2 0x1490
0000148c: PUSH2 0x1c44
0000148f: JUMP
00001490: JUMPDEST
00001491: PUSH0
00001492: DUP1
00001493: SLOAD
00001494: PUSH1 0x01
00001496: PUSH1 0x01
00001498: PUSH1 0xa0
0000149a: SHL
0000149b: SUB
0000149c: NOT
0000149d: AND
0000149e: PUSH1 0x01
000014a0: PUSH1 0x01
000014a2: PUSH1 0xa0
000014a4: SHL
000014a5: SUB
000014a6: SWAP3
000014a7: SWAP1
000014a8: SWAP3
000014a9: AND
000014aa: SWAP2
000014ab: SWAP1
000014ac: SWAP2
000014ad: OR
000014ae: SWAP1
000014af: SSTORE
000014b0: STOP
000014b1: JUMPDEST
000014b2: CALLVALUE
000014b3: PUSH2 0x026a
000014b6: JUMPI
000014b7: PUSH1 0x20
000014b9: CALLDATASIZE
000014ba: PUSH1 0x03
000014bc: NOT
000014bd: ADD
000014be: SLT
000014bf: PUSH2 0x026a
000014c2: JUMPI
000014c3: PUSH2 0x14ca
000014c6: PUSH2 0x1a6f
000014c9: JUMP
000014ca: JUMPDEST
000014cb: PUSH2 0x14d2
000014ce: PUSH2 0x1c44
000014d1: JUMP
000014d2: JUMPDEST
000014d3: PUSH1 0x01
000014d5: DUP1
000014d6: SLOAD
000014d7: PUSH1 0x01
000014d9: PUSH1 0x01
000014db: PUSH1 0xa0
000014dd: SHL
000014de: SUB
000014df: NOT
000014e0: AND
000014e1: PUSH1 0x01
000014e3: PUSH1 0x01
000014e5: PUSH1 0xa0
000014e7: SHL
000014e8: SUB
000014e9: SWAP3
000014ea: SWAP1
000014eb: SWAP3
000014ec: AND
000014ed: SWAP2
000014ee: DUP3
000014ef: OR
000014f0: SWAP1
000014f1: SSTORE
000014f2: PUSH32 0xe7ae49f883c825b05681b3e00e8be6fdea9ed2a8a45e4c6ecb9390fc44cce615
00001513: PUSH0
00001514: DUP1
00001515: LOG2
00001516: STOP
00001517: JUMPDEST
00001518: CALLVALUE
00001519: PUSH2 0x026a
0000151c: JUMPI
0000151d: PUSH2 0x1525
00001520: CALLDATASIZE
00001521: PUSH2 0x1a85
00001524: JUMP
00001525: JUMPDEST
00001526: SWAP1
00001527: PUSH2 0x152e
0000152a: PUSH2 0x1c44
0000152d: JUMP
0000152e: JUMPDEST
0000152f: DUP1
00001530: PUSH0
00001531: MSTORE
00001532: PUSH1 0x06
00001534: PUSH1 0x20
00001536: MSTORE
00001537: DUP2
00001538: PUSH1 0x40
0000153a: PUSH0
0000153b: KECCAK256
0000153c: SSTORE
0000153d: PUSH32 0x3682d1b5af5713d476c20cf60350e03fdac90b780edd73deb925f1d864b9809e
0000155e: PUSH0
0000155f: DUP1
00001560: LOG3
00001561: STOP
00001562: JUMPDEST
00001563: CALLVALUE
00001564: PUSH2 0x026a
00001567: JUMPI
00001568: PUSH0
00001569: CALLDATASIZE
0000156a: PUSH1 0x03
0000156c: NOT
0000156d: ADD
0000156e: SLT
0000156f: PUSH2 0x026a
00001572: JUMPI
00001573: PUSH2 0x1422
00001576: PUSH1 0x40
00001578: MLOAD
00001579: PUSH2 0x1583
0000157c: PUSH1 0x40
0000157e: DUP3
0000157f: PUSH2 0x1af5
00001582: JUMP
00001583: JUMPDEST
00001584: PUSH1 0x05
00001586: DUP2
00001587: MSTORE
00001588: PUSH5 0x0332e302e3
0000158e: PUSH1 0xdc
00001590: SHL
00001591: PUSH1 0x20
00001593: DUP3
00001594: ADD
00001595: MSTORE
00001596: PUSH1 0x40
00001598: MLOAD
00001599: SWAP2
0000159a: DUP3
0000159b: SWAP2
0000159c: PUSH1 0x20
0000159e: DUP4
0000159f: MSTORE
000015a0: PUSH1 0x20
000015a2: DUP4
000015a3: ADD
000015a4: SWAP1
000015a5: PUSH2 0x1a9b
000015a8: JUMP
000015a9: JUMPDEST
000015aa: PUSH0
000015ab: CALLDATASIZE
000015ac: PUSH1 0x03
000015ae: NOT
000015af: ADD
000015b0: SLT
000015b1: PUSH2 0x026a
000015b4: JUMPI
000015b5: PUSH4 0x389a75e1
000015ba: PUSH1 0x0c
000015bc: MSTORE
000015bd: CALLER
000015be: PUSH0
000015bf: MSTORE
000015c0: PUSH0
000015c1: PUSH1 0x20
000015c3: PUSH1 0x0c
000015c5: KECCAK256
000015c6: SSTORE
000015c7: CALLER
000015c8: PUSH32 0xfa7b8eab7da67f412cc9575ed43464468f9bfbae89d1675917346ca6d8fe3c92
000015e9: PUSH0
000015ea: DUP1
000015eb: LOG2
000015ec: STOP
000015ed: JUMPDEST
000015ee: CALLVALUE
000015ef: PUSH2 0x026a
000015f2: JUMPI
000015f3: PUSH1 0x40
000015f5: CALLDATASIZE
000015f6: PUSH1 0x03
000015f8: NOT
000015f9: ADD
000015fa: SLT
000015fb: PUSH2 0x026a
000015fe: JUMPI
000015ff: PUSH2 0x1606
00001602: PUSH2 0x1a6f
00001605: JUMP
00001606: JUMPDEST
00001607: PUSH4 0x8b78c6d8
0000160c: PUSH1 0x0c
0000160e: MSTORE
0000160f: PUSH0
00001610: MSTORE
00001611: PUSH1 0x20
00001613: PUSH1 0x24
00001615: CALLDATALOAD
00001616: DUP2
00001617: PUSH1 0x0c
00001619: KECCAK256
0000161a: SLOAD
0000161b: AND
0000161c: ISZERO
0000161d: ISZERO
0000161e: PUSH1 0x40
00001620: MLOAD
00001621: SWAP1
00001622: DUP2
00001623: MSTORE
00001624: RETURN
00001625: JUMPDEST
00001626: PUSH1 0x40
00001628: CALLDATASIZE
00001629: PUSH1 0x03
0000162b: NOT
0000162c: ADD
0000162d: SLT
0000162e: PUSH2 0x026a
00001631: JUMPI
00001632: PUSH2 0x001a
00001635: PUSH2 0x163c
00001638: PUSH2 0x1a6f
0000163b: JUMP
0000163c: JUMPDEST
0000163d: PUSH2 0x1644
00001640: PUSH2 0x1de3
00001643: JUMP
00001644: JUMPDEST
00001645: PUSH1 0x24
00001647: CALLDATALOAD
00001648: SWAP1
00001649: PUSH2 0x1e68
0000164c: JUMP
0000164d: JUMPDEST
0000164e: CALLVALUE
0000164f: PUSH2 0x026a
00001652: JUMPI
00001653: PUSH1 0x20
00001655: CALLDATASIZE
00001656: PUSH1 0x03
00001658: NOT
00001659: ADD
0000165a: SLT
0000165b: PUSH2 0x026a
0000165e: JUMPI
0000165f: PUSH0
00001660: PUSH1 0x20
00001662: PUSH1 0x40
00001664: MLOAD
00001665: PUSH2 0x166d
00001668: DUP2
00001669: PUSH2 0x1abf
0000166c: JUMP
0000166d: JUMPDEST
0000166e: PUSH1 0x60
00001670: DUP2
00001671: MSTORE
00001672: ADD
00001673: MSTORE
00001674: PUSH1 0x04
00001676: CALLDATALOAD
00001677: PUSH0
00001678: MSTORE
00001679: PUSH1 0x0a
0000167b: PUSH1 0x20
0000167d: MSTORE
0000167e: PUSH1 0x40
00001680: PUSH0
00001681: KECCAK256
00001682: PUSH1 0x01
00001684: PUSH1 0x40
00001686: MLOAD
00001687: SWAP2
00001688: PUSH2 0x1690
0000168b: DUP4
0000168c: PUSH2 0x1abf
0000168f: JUMP
00001690: JUMPDEST
00001691: PUSH2 0x1699
00001694: DUP2
00001695: PUSH2 0x1baa
00001698: JUMP
00001699: JUMPDEST
0000169a: DUP4
0000169b: MSTORE
0000169c: ADD
0000169d: SLOAD
0000169e: PUSH1 0x20
000016a0: DUP3
000016a1: ADD
000016a2: SWAP1
000016a3: DUP2
000016a4: MSTORE
000016a5: PUSH1 0x40
000016a7: MLOAD
000016a8: SWAP1
000016a9: PUSH1 0x20
000016ab: DUP3
000016ac: MSTORE
000016ad: PUSH1 0x60
000016af: DUP3
000016b0: ADD
000016b1: SWAP3
000016b2: MLOAD
000016b3: SWAP1
000016b4: PUSH1 0x40
000016b6: PUSH1 0x20
000016b8: DUP5
000016b9: ADD
000016ba: MSTORE
000016bb: DUP2
000016bc: MLOAD
000016bd: DUP1
000016be: SWAP5
000016bf: MSTORE
000016c0: PUSH1 0x20
000016c2: PUSH1 0x80
000016c4: DUP5
000016c5: ADD
000016c6: SWAP3
000016c7: ADD
000016c8: PUSH0
000016c9: SWAP5
000016ca: JUMPDEST
000016cb: DUP1
000016cc: DUP7
000016cd: LT
000016ce: PUSH2 0x16e0
000016d1: JUMPI
000016d2: POP
000016d3: POP
000016d4: DUP3
000016d5: SWAP4
000016d6: POP
000016d7: MLOAD
000016d8: PUSH1 0x40
000016da: DUP4
000016db: ADD
000016dc: MSTORE
000016dd: SUB
000016de: SWAP1
000016df: RETURN
000016e0: JUMPDEST
000016e1: DUP2
000016e2: MLOAD
000016e3: DUP1
000016e4: MLOAD
000016e5: DUP6
000016e6: MSTORE
000016e7: PUSH1 0x20
000016e9: SWAP1
000016ea: DUP2
000016eb: ADD
000016ec: MLOAD
000016ed: PUSH1 0x01
000016ef: PUSH1 0x01
000016f1: PUSH1 0xa0
000016f3: SHL
000016f4: SUB
000016f5: AND
000016f6: DUP2
000016f7: DUP7
000016f8: ADD
000016f9: MSTORE
000016fa: PUSH1 0x01
000016fc: SWAP7
000016fd: SWAP1
000016fe: SWAP7
000016ff: ADD
00001700: SWAP6
00001701: PUSH1 0x40
00001703: SWAP1
00001704: SWAP5
00001705: ADD
00001706: SWAP4
00001707: SWAP1
00001708: SWAP2
00001709: ADD
0000170a: SWAP1
0000170b: PUSH2 0x16ca
0000170e: JUMP
0000170f: JUMPDEST
00001710: CALLVALUE
00001711: PUSH2 0x026a
00001714: JUMPI
00001715: PUSH0
00001716: CALLDATASIZE
00001717: PUSH1 0x03
00001719: NOT
0000171a: ADD
0000171b: SLT
0000171c: PUSH2 0x026a
0000171f: JUMPI
00001720: PUSH2 0x1727
00001723: PUSH2 0x1c44
00001726: JUMP
00001727: JUMPDEST
00001728: PUSH1 0x02
0000172a: DUP1
0000172b: SLOAD
0000172c: PUSH1 0xff
0000172e: PUSH1 0xa8
00001730: SHL
00001731: NOT
00001732: AND
00001733: PUSH1 0x01
00001735: PUSH1 0xa8
00001737: SHL
00001738: OR
00001739: SWAP1
0000173a: SSTORE
0000173b: PUSH32 0xa45f47fdea8a1efdd9029a5691c7f759c32b7c698632b563573e155625d16933
0000175c: PUSH0
0000175d: DUP1
0000175e: LOG1
0000175f: STOP
00001760: JUMPDEST
00001761: CALLVALUE
00001762: PUSH2 0x026a
00001765: JUMPI
00001766: PUSH2 0x176e
00001769: CALLDATASIZE
0000176a: PUSH2 0x1a85
0000176d: JUMP
0000176e: JUMPDEST
0000176f: SWAP1
00001770: PUSH0
00001771: MSTORE
00001772: PUSH1 0x0a
00001774: PUSH1 0x20
00001776: MSTORE
00001777: PUSH1 0x40
00001779: PUSH0
0000177a: KECCAK256
0000177b: SWAP1
0000177c: DUP2
0000177d: SLOAD
0000177e: DUP2
0000177f: LT
00001780: ISZERO
00001781: PUSH2 0x17a3
00001784: JUMPI
00001785: PUSH1 0x20
00001787: SWAP2
00001788: PUSH0
00001789: MSTORE
0000178a: PUSH1 0x01
0000178c: DUP3
0000178d: PUSH0
0000178e: KECCAK256
0000178f: DUP2
00001790: DUP1
00001791: PUSH1 0xa0
00001793: SHL
00001794: SUB
00001795: SWAP3
00001796: DUP3
00001797: SHL
00001798: ADD
00001799: ADD
0000179a: SLOAD
0000179b: AND
0000179c: PUSH1 0x40
0000179e: MLOAD
0000179f: SWAP1
000017a0: DUP2
000017a1: MSTORE
000017a2: RETURN
000017a3: JUMPDEST
000017a4: PUSH4 0x4e487b71
000017a9: PUSH1 0xe0
000017ab: SHL
000017ac: PUSH0
000017ad: MSTORE
000017ae: PUSH1 0x32
000017b0: PUSH1 0x04
000017b2: MSTORE
000017b3: PUSH1 0x24
000017b5: PUSH0
000017b6: REVERT
000017b7: JUMPDEST
000017b8: CALLVALUE
000017b9: PUSH2 0x026a
000017bc: JUMPI
000017bd: PUSH1 0x20
000017bf: CALLDATASIZE
000017c0: PUSH1 0x03
000017c2: NOT
000017c3: ADD
000017c4: SLT
000017c5: PUSH2 0x026a
000017c8: JUMPI
000017c9: PUSH2 0x17d0
000017cc: PUSH2 0x1a6f
000017cf: JUMP
000017d0: JUMPDEST
000017d1: PUSH4 0x8b78c6d8
000017d6: PUSH1 0x0c
000017d8: MSTORE
000017d9: PUSH0
000017da: MSTORE
000017db: PUSH1 0x20
000017dd: DUP1
000017de: PUSH1 0x0c
000017e0: KECCAK256
000017e1: SLOAD
000017e2: PUSH1 0x40
000017e4: MLOAD
000017e5: SWAP1
000017e6: DUP2
000017e7: MSTORE
000017e8: RETURN
000017e9: JUMPDEST
000017ea: PUSH0
000017eb: CALLDATASIZE
000017ec: PUSH1 0x03
000017ee: NOT
000017ef: ADD
000017f0: SLT
000017f1: PUSH2 0x026a
000017f4: JUMPI
000017f5: PUSH4 0x389a75e1
000017fa: PUSH1 0x0c
000017fc: MSTORE
000017fd: CALLER
000017fe: PUSH0
000017ff: MSTORE
00001800: PUSH3 0x02a300
00001804: TIMESTAMP
00001805: ADD
00001806: PUSH1 0x20
00001808: PUSH1 0x0c
0000180a: KECCAK256
0000180b: SSTORE
0000180c: CALLER
0000180d: PUSH32 0xdbf36a107da19e49527a7176a1babf963b4b0ff8cde35ee35d6cd8f1f9ac7e1d
0000182e: PUSH0
0000182f: DUP1
00001830: LOG2
00001831: STOP
00001832: JUMPDEST
00001833: CALLVALUE
00001834: PUSH2 0x026a
00001837: JUMPI
00001838: PUSH0
00001839: CALLDATASIZE
0000183a: PUSH1 0x03
0000183c: NOT
0000183d: ADD
0000183e: SLT
0000183f: PUSH2 0x026a
00001842: JUMPI
00001843: PUSH0
00001844: SLOAD
00001845: PUSH1 0x40
00001847: MLOAD
00001848: PUSH1 0x01
0000184a: PUSH1 0x01
0000184c: PUSH1 0xa0
0000184e: SHL
0000184f: SUB
00001850: SWAP1
00001851: SWAP2
00001852: AND
00001853: DUP2
00001854: MSTORE
00001855: PUSH1 0x20
00001857: SWAP1
00001858: RETURN
00001859: JUMPDEST
0000185a: CALLVALUE
0000185b: PUSH2 0x026a
0000185e: JUMPI
0000185f: PUSH0
00001860: CALLDATASIZE
00001861: PUSH1 0x03
00001863: NOT
00001864: ADD
00001865: SLT
00001866: PUSH2 0x026a
00001869: JUMPI
0000186a: PUSH1 0x20
0000186c: PUSH1 0xff
0000186e: PUSH1 0x02
00001870: SLOAD
00001871: PUSH1 0xa0
00001873: SHR
00001874: AND
00001875: PUSH1 0x40
00001877: MLOAD
00001878: SWAP1
00001879: ISZERO
0000187a: ISZERO
0000187b: DUP2
0000187c: MSTORE
0000187d: RETURN
0000187e: JUMPDEST
0000187f: CALLVALUE
00001880: PUSH2 0x026a
00001883: JUMPI
00001884: PUSH1 0x40
00001886: CALLDATASIZE
00001887: PUSH1 0x03
00001889: NOT
0000188a: ADD
0000188b: SLT
0000188c: PUSH2 0x026a
0000188f: JUMPI
00001890: PUSH1 0x20
00001892: PUSH2 0x1899
00001895: PUSH2 0x1a6f
00001898: JUMP
00001899: JUMPDEST
0000189a: PUSH1 0x24
0000189c: CALLDATALOAD
0000189d: SWAP1
0000189e: PUSH4 0x8b78c6d8
000018a3: PUSH1 0x0c
000018a5: MSTORE
000018a6: PUSH0
000018a7: MSTORE
000018a8: DUP1
000018a9: DUP3
000018aa: PUSH1 0x0c
000018ac: KECCAK256
000018ad: SLOAD
000018ae: AND
000018af: EQ
000018b0: PUSH1 0x40
000018b2: MLOAD
000018b3: SWAP1
000018b4: DUP2
000018b5: MSTORE
000018b6: RETURN
000018b7: JUMPDEST
000018b8: PUSH1 0x40
000018ba: CALLDATASIZE
000018bb: PUSH1 0x03
000018bd: NOT
000018be: ADD
000018bf: SLT
000018c0: PUSH2 0x026a
000018c3: JUMPI
000018c4: PUSH2 0x18cb
000018c7: PUSH2 0x1a6f
000018ca: JUMP
000018cb: JUMPDEST
000018cc: PUSH2 0x18d3
000018cf: PUSH2 0x1de3
000018d2: JUMP
000018d3: JUMPDEST
000018d4: PUSH4 0x8b78c6d8
000018d9: PUSH1 0x0c
000018db: MSTORE
000018dc: PUSH0
000018dd: MSTORE
000018de: PUSH1 0x20
000018e0: PUSH1 0x0c
000018e2: KECCAK256
000018e3: PUSH1 0x24
000018e5: CALLDATALOAD
000018e6: DUP2
000018e7: SLOAD
000018e8: OR
000018e9: DUP1
000018ea: SWAP2
000018eb: SSTORE
000018ec: PUSH1 0x0c
000018ee: MLOAD
000018ef: PUSH1 0x60
000018f1: SHR
000018f2: PUSH0
000018f3: MLOAD
000018f4: PUSH1 0x20
000018f6: PUSH2 0x1e9b
000018f9: PUSH0
000018fa: CODECOPY
000018fb: PUSH0
000018fc: MLOAD
000018fd: SWAP1
000018fe: PUSH0
000018ff: MSTORE
00001900: PUSH0
00001901: DUP1
00001902: LOG3
00001903: STOP
00001904: JUMPDEST
00001905: CALLVALUE
00001906: PUSH2 0x026a
00001909: JUMPI
0000190a: PUSH1 0x20
0000190c: CALLDATASIZE
0000190d: PUSH1 0x03
0000190f: NOT
00001910: ADD
00001911: SLT
00001912: PUSH2 0x026a
00001915: JUMPI
00001916: PUSH2 0x191d
00001919: PUSH2 0x1a6f
0000191c: JUMP
0000191d: JUMPDEST
0000191e: PUSH2 0x1925
00001921: PUSH2 0x1de3
00001924: JUMP
00001925: JUMPDEST
00001926: SELFBALANCE
00001927: SWAP1
00001928: DUP2
00001929: PUSH2 0x192e
0000192c: JUMPI
0000192d: STOP
0000192e: JUMPDEST
0000192f: PUSH1 0x01
00001931: PUSH1 0x01
00001933: PUSH1 0xa0
00001935: SHL
00001936: SUB
00001937: AND
00001938: SWAP1
00001939: PUSH0
0000193a: DUP1
0000193b: DUP1
0000193c: DUP1
0000193d: DUP5
0000193e: DUP7
0000193f: GAS
00001940: CALL
00001941: RETURNDATASIZE
00001942: ISZERO
00001943: PUSH2 0x19a9
00001946: JUMPI
00001947: RETURNDATASIZE
00001948: PUSH2 0x1950
0000194b: DUP2
0000194c: PUSH2 0x1b8f
0000194f: JUMP
00001950: JUMPDEST
00001951: SWAP1
00001952: PUSH2 0x195e
00001955: PUSH1 0x40
00001957: MLOAD
00001958: SWAP3
00001959: DUP4
0000195a: PUSH2 0x1af5
0000195d: JUMP
0000195e: JUMPDEST
0000195f: DUP2
00001960: MSTORE
00001961: PUSH0
00001962: PUSH1 0x20
00001964: RETURNDATASIZE
00001965: SWAP3
00001966: ADD
00001967: RETURNDATACOPY
00001968: JUMPDEST
00001969: ISZERO
0000196a: PUSH2 0x199a
0000196d: JUMPI
0000196e: PUSH1 0x20
00001970: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5
00001991: SWAP2
00001992: PUSH1 0x40
00001994: MLOAD
00001995: SWAP1
00001996: DUP2
00001997: MSTORE
00001998: LOG2
00001999: STOP
0000199a: JUMPDEST
0000199b: PUSH4 0x1d42c867
000019a0: PUSH1 0xe2
000019a2: SHL
000019a3: PUSH0
000019a4: MSTORE
000019a5: PUSH1 0x04
000019a7: PUSH0
000019a8: REVERT
000019a9: JUMPDEST
000019aa: PUSH2 0x1968
000019ad: JUMP
000019ae: JUMPDEST
000019af: PUSH1 0x20
000019b1: CALLDATASIZE
000019b2: PUSH1 0x03
000019b4: NOT
000019b5: ADD
000019b6: SLT
000019b7: PUSH2 0x026a
000019ba: JUMPI
000019bb: PUSH2 0x001a
000019be: PUSH1 0x04
000019c0: CALLDATALOAD
000019c1: CALLER
000019c2: PUSH2 0x1e68
000019c5: JUMP
000019c6: JUMPDEST
000019c7: CALLVALUE
000019c8: PUSH2 0x026a
000019cb: JUMPI
000019cc: PUSH1 0x20
000019ce: PUSH2 0x19df
000019d1: PUSH2 0x19d9
000019d4: CALLDATASIZE
000019d5: PUSH2 0x1a85
000019d8: JUMP
000019d9: JUMPDEST
000019da: SWAP1
000019db: PUSH2 0x1b5a
000019de: JUMP
000019df: JUMPDEST
000019e0: PUSH1 0x40
000019e2: MLOAD
000019e3: SWAP1
000019e4: DUP2
000019e5: MSTORE
000019e6: RETURN
000019e7: JUMPDEST
000019e8: CALLVALUE
000019e9: PUSH2 0x026a
000019ec: JUMPI
000019ed: PUSH1 0x20
000019ef: CALLDATASIZE
000019f0: PUSH1 0x03
000019f2: NOT
000019f3: ADD
000019f4: SLT
000019f5: PUSH2 0x026a
000019f8: JUMPI
000019f9: PUSH2 0x1a00
000019fc: PUSH2 0x1a6f
000019ff: JUMP
00001a00: JUMPDEST
00001a01: PUSH2 0x1a08
00001a04: PUSH2 0x1c44
00001a07: JUMP
00001a08: JUMPDEST
00001a09: PUSH1 0x02
00001a0b: DUP1
00001a0c: SLOAD
00001a0d: PUSH1 0x01
00001a0f: PUSH1 0x01
00001a11: PUSH1 0xa0
00001a13: SHL
00001a14: SUB
00001a15: NOT
00001a16: AND
00001a17: PUSH1 0x01
00001a19: PUSH1 0x01
00001a1b: PUSH1 0xa0
00001a1d: SHL
00001a1e: SUB
00001a1f: SWAP3
00001a20: SWAP1
00001a21: SWAP3
00001a22: AND
00001a23: SWAP2
00001a24: DUP3
00001a25: OR
00001a26: SWAP1
00001a27: SSTORE
00001a28: PUSH32 0xa07c91c183e42229e705a9795a1c06d76528b673788b849597364528c96eefb7
00001a49: PUSH0
00001a4a: DUP1
00001a4b: LOG2
00001a4c: STOP
00001a4d: JUMPDEST
00001a4e: CALLVALUE
00001a4f: PUSH2 0x026a
00001a52: JUMPI
00001a53: PUSH0
00001a54: CALLDATASIZE
00001a55: PUSH1 0x03
00001a57: NOT
00001a58: ADD
00001a59: SLT
00001a5a: PUSH2 0x026a
00001a5d: JUMPI
00001a5e: PUSH1 0x20
00001a60: SWAP1
00001a61: PUSH1 0xff
00001a63: PUSH1 0x02
00001a65: SLOAD
00001a66: PUSH1 0xa8
00001a68: SHR
00001a69: AND
00001a6a: ISZERO
00001a6b: ISZERO
00001a6c: DUP2
00001a6d: MSTORE
00001a6e: RETURN
00001a6f: JUMPDEST
00001a70: PUSH1 0x04
00001a72: CALLDATALOAD
00001a73: SWAP1
00001a74: PUSH1 0x01
00001a76: PUSH1 0x01
00001a78: PUSH1 0xa0
00001a7a: SHL
00001a7b: SUB
00001a7c: DUP3
00001a7d: AND
00001a7e: DUP3
00001a7f: SUB
00001a80: PUSH2 0x026a
00001a83: JUMPI
00001a84: JUMP
00001a85: JUMPDEST
00001a86: PUSH1 0x40
00001a88: SWAP1
00001a89: PUSH1 0x03
00001a8b: NOT
00001a8c: ADD
00001a8d: SLT
00001a8e: PUSH2 0x026a
00001a91: JUMPI
00001a92: PUSH1 0x04
00001a94: CALLDATALOAD
00001a95: SWAP1
00001a96: PUSH1 0x24
00001a98: CALLDATALOAD
00001a99: SWAP1
00001a9a: JUMP
00001a9b: JUMPDEST
00001a9c: DUP1
00001a9d: MLOAD
00001a9e: DUP1
00001a9f: DUP4
00001aa0: MSTORE
00001aa1: PUSH1 0x20
00001aa3: SWAP3
00001aa4: SWAP2
00001aa5: DUP2
00001aa6: SWAP1
00001aa7: DUP5
00001aa8: ADD
00001aa9: DUP5
00001aaa: DUP5
00001aab: ADD
00001aac: MCOPY
00001aad: PUSH0
00001aae: DUP3
00001aaf: DUP3
00001ab0: ADD
00001ab1: DUP5
00001ab2: ADD
00001ab3: MSTORE
00001ab4: PUSH1 0x1f
00001ab6: ADD
00001ab7: PUSH1 0x1f
00001ab9: NOT
00001aba: AND
00001abb: ADD
00001abc: ADD
00001abd: SWAP1
00001abe: JUMP
00001abf: JUMPDEST
00001ac0: PUSH1 0x40
00001ac2: DUP2
00001ac3: ADD
00001ac4: SWAP1
00001ac5: DUP2
00001ac6: LT
00001ac7: PUSH1 0x01
00001ac9: PUSH1 0x01
00001acb: PUSH1 0x40
00001acd: SHL
00001ace: SUB
00001acf: DUP3
00001ad0: GT
00001ad1: OR
00001ad2: PUSH2 0x10b5
00001ad5: JUMPI
00001ad6: PUSH1 0x40
00001ad8: MSTORE
00001ad9: JUMP
00001ada: JUMPDEST
00001adb: PUSH1 0x60
00001add: DUP2
00001ade: ADD
00001adf: SWAP1
00001ae0: DUP2
00001ae1: LT
00001ae2: PUSH1 0x01
00001ae4: PUSH1 0x01
00001ae6: PUSH1 0x40
00001ae8: SHL
00001ae9: SUB
00001aea: DUP3
00001aeb: GT
00001aec: OR
00001aed: PUSH2 0x10b5
00001af0: JUMPI
00001af1: PUSH1 0x40
00001af3: MSTORE
00001af4: JUMP
00001af5: JUMPDEST
00001af6: SWAP1
00001af7: PUSH1 0x1f
00001af9: DUP1
00001afa: NOT
00001afb: SWAP2
00001afc: ADD
00001afd: AND
00001afe: DUP2
00001aff: ADD
00001b00: SWAP1
00001b01: DUP2
00001b02: LT
00001b03: PUSH1 0x01
00001b05: PUSH1 0x01
00001b07: PUSH1 0x40
00001b09: SHL
00001b0a: SUB
00001b0b: DUP3
00001b0c: GT
00001b0d: OR
00001b0e: PUSH2 0x10b5
00001b11: JUMPI
00001b12: PUSH1 0x40
00001b14: MSTORE
00001b15: JUMP
00001b16: JUMPDEST
00001b17: PUSH1 0x01
00001b19: PUSH1 0x01
00001b1b: PUSH1 0x40
00001b1d: SHL
00001b1e: SUB
00001b1f: DUP2
00001b20: GT
00001b21: PUSH2 0x10b5
00001b24: JUMPI
00001b25: PUSH1 0x05
00001b27: SHL
00001b28: PUSH1 0x20
00001b2a: ADD
00001b2b: SWAP1
00001b2c: JUMP
00001b2d: JUMPDEST
00001b2e: SWAP2
00001b2f: DUP2
00001b30: PUSH1 0x1f
00001b32: DUP5
00001b33: ADD
00001b34: SLT
00001b35: ISZERO
00001b36: PUSH2 0x026a
00001b39: JUMPI
00001b3a: DUP3
00001b3b: CALLDATALOAD
00001b3c: SWAP2
00001b3d: PUSH1 0x01
00001b3f: PUSH1 0x01
00001b41: PUSH1 0x40
00001b43: SHL
00001b44: SUB
00001b45: DUP4
00001b46: GT
00001b47: PUSH2 0x026a
00001b4a: JUMPI
00001b4b: PUSH1 0x20
00001b4d: DUP4
00001b4e: DUP2
00001b4f: DUP7
00001b50: ADD
00001b51: SWAP6
00001b52: ADD
00001b53: ADD
00001b54: GT
00001b55: PUSH2 0x026a
00001b58: JUMPI
00001b59: JUMP
00001b5a: JUMPDEST
00001b5b: SWAP1
00001b5c: DUP2
00001b5d: PUSH0
00001b5e: MSTORE
00001b5f: PUSH1 0x07
00001b61: PUSH1 0x20
00001b63: MSTORE
00001b64: PUSH1 0xff
00001b66: PUSH1 0x40
00001b68: PUSH0
00001b69: KECCAK256
00001b6a: SLOAD
00001b6b: AND
00001b6c: PUSH1 0x03
00001b6e: DUP2
00001b6f: LT
00001b70: ISZERO
00001b71: PUSH2 0x135b
00001b74: JUMPI
00001b75: ISZERO
00001b76: PUSH2 0x1b85
00001b79: JUMPI
00001b7a: PUSH2 0x1b82
00001b7d: SWAP2
00001b7e: PUSH2 0x1d81
00001b81: JUMP
00001b82: JUMPDEST
00001b83: SWAP1
00001b84: JUMP
00001b85: JUMPDEST
00001b86: PUSH2 0x1b82
00001b89: SWAP2
00001b8a: POP
00001b8b: PUSH2 0x1c5f
00001b8e: JUMP
00001b8f: JUMPDEST
00001b90: PUSH1 0x01
00001b92: PUSH1 0x01
00001b94: PUSH1 0x40
00001b96: SHL
00001b97: SUB
00001b98: DUP2
00001b99: GT
00001b9a: PUSH2 0x10b5
00001b9d: JUMPI
00001b9e: PUSH1 0x1f
00001ba0: ADD
00001ba1: PUSH1 0x1f
00001ba3: NOT
00001ba4: AND
00001ba5: PUSH1 0x20
00001ba7: ADD
00001ba8: SWAP1
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: SWAP1
00001bac: DUP2
00001bad: SLOAD
00001bae: PUSH2 0x1bb6
00001bb1: DUP2
00001bb2: PUSH2 0x1b16
00001bb5: JUMP
00001bb6: JUMPDEST
00001bb7: SWAP3
00001bb8: PUSH2 0x1bc4
00001bbb: PUSH1 0x40
00001bbd: MLOAD
00001bbe: SWAP5
00001bbf: DUP6
00001bc0: PUSH2 0x1af5
00001bc3: JUMP
00001bc4: JUMPDEST
00001bc5: DUP2
00001bc6: DUP5
00001bc7: MSTORE
00001bc8: PUSH1 0x20
00001bca: DUP5
00001bcb: ADD
00001bcc: SWAP1
00001bcd: PUSH0
00001bce: MSTORE
00001bcf: PUSH1 0x20
00001bd1: PUSH0
00001bd2: KECCAK256
00001bd3: PUSH0
00001bd4: SWAP2
00001bd5: JUMPDEST
00001bd6: DUP4
00001bd7: DUP4
00001bd8: LT
00001bd9: PUSH2 0x1be2
00001bdc: JUMPI
00001bdd: POP
00001bde: POP
00001bdf: POP
00001be0: POP
00001be1: JUMP
00001be2: JUMPDEST
00001be3: PUSH1 0x02
00001be5: PUSH1 0x20
00001be7: PUSH1 0x01
00001be9: SWAP3
00001bea: PUSH1 0x40
00001bec: MLOAD
00001bed: PUSH2 0x1bf5
00001bf0: DUP2
00001bf1: PUSH2 0x1abf
00001bf4: JUMP
00001bf5: JUMPDEST
00001bf6: DUP6
00001bf7: SLOAD
00001bf8: DUP2
00001bf9: MSTORE
00001bfa: DUP5
00001bfb: DUP1
00001bfc: PUSH1 0xa0
00001bfe: SHL
00001bff: SUB
00001c00: DUP6
00001c01: DUP8
00001c02: ADD
00001c03: SLOAD
00001c04: AND
00001c05: DUP4
00001c06: DUP3
00001c07: ADD
00001c08: MSTORE
00001c09: DUP2
00001c0a: MSTORE
00001c0b: ADD
00001c0c: SWAP3
00001c0d: ADD
00001c0e: SWAP3
00001c0f: ADD
00001c10: SWAP2
00001c11: SWAP1
00001c12: PUSH2 0x1bd5
00001c15: JUMP
00001c16: JUMPDEST
00001c17: DUP1
00001c18: MLOAD
00001c19: DUP3
00001c1a: LT
00001c1b: ISZERO
00001c1c: PUSH2 0x17a3
00001c1f: JUMPI
00001c20: PUSH1 0x20
00001c22: SWAP2
00001c23: PUSH1 0x05
00001c25: SHL
00001c26: ADD
00001c27: ADD
00001c28: SWAP1
00001c29: JUMP
00001c2a: JUMPDEST
00001c2b: SWAP2
00001c2c: SWAP1
00001c2d: DUP3
00001c2e: SUB
00001c2f: SWAP2
00001c30: DUP3
00001c31: GT
00001c32: PUSH2 0x0eb3
00001c35: JUMPI
00001c36: JUMP
00001c37: JUMPDEST
00001c38: SWAP2
00001c39: SWAP1
00001c3a: DUP3
00001c3b: ADD
00001c3c: DUP1
00001c3d: SWAP3
00001c3e: GT
00001c3f: PUSH2 0x0eb3
00001c42: JUMPI
00001c43: JUMP
00001c44: JUMPDEST
00001c45: PUSH4 0x8b78c6d8
00001c4a: PUSH1 0x0c
00001c4c: MSTORE
00001c4d: CALLER
00001c4e: PUSH0
00001c4f: MSTORE
00001c50: PUSH1 0x01
00001c52: PUSH1 0x20
00001c54: PUSH1 0x0c
00001c56: KECCAK256
00001c57: SLOAD
00001c58: AND
00001c59: ISZERO
00001c5a: PUSH2 0x0c15
00001c5d: JUMPI
00001c5e: JUMP
00001c5f: JUMPDEST
00001c60: PUSH0
00001c61: DUP1
00001c62: MSTORE
00001c63: PUSH1 0x07
00001c65: PUSH1 0x20
00001c67: MSTORE
00001c68: PUSH32 0x6d5257204ebe7d88fd91ae87941cb2dd9d8062b64ae5a2bd2d28ec40b9fbf6df
00001c89: SLOAD
00001c8a: PUSH1 0xff
00001c8c: AND
00001c8d: PUSH1 0x03
00001c8f: DUP2
00001c90: LT
00001c91: ISZERO
00001c92: PUSH2 0x135b
00001c95: JUMPI
00001c96: PUSH1 0x01
00001c98: DUP2
00001c99: EQ
00001c9a: PUSH2 0x1d52
00001c9d: JUMPI
00001c9e: PUSH1 0x02
00001ca0: EQ
00001ca1: PUSH2 0x1cb3
00001ca4: JUMPI
00001ca5: PUSH4 0x2b00a33d
00001caa: PUSH1 0xe1
00001cac: SHL
00001cad: PUSH0
00001cae: MSTORE
00001caf: PUSH1 0x04
00001cb1: PUSH0
00001cb2: REVERT
00001cb3: JUMPDEST
00001cb4: PUSH0
00001cb5: DUP1
00001cb6: MSTORE
00001cb7: PUSH1 0x09
00001cb9: PUSH1 0x20
00001cbb: MSTORE
00001cbc: PUSH1 0x40
00001cbe: MLOAD
00001cbf: PUSH32 0xec8156718a8372b1db44bb411437d0870f3e3790d4a08526d024ce1b0b668f6b
00001ce0: SWAP2
00001ce1: PUSH2 0x1ce9
00001ce4: DUP3
00001ce5: PUSH2 0x1ada
00001ce8: JUMP
00001ce9: JUMPDEST
00001cea: DUP3
00001ceb: SLOAD
00001cec: DUP1
00001ced: DUP4
00001cee: MSTORE
00001cef: PUSH1 0x40
00001cf1: PUSH1 0x02
00001cf3: PUSH1 0x01
00001cf5: DUP7
00001cf6: ADD
00001cf7: SLOAD
00001cf8: SWAP6
00001cf9: PUSH1 0x20
00001cfb: DUP7
00001cfc: ADD
00001cfd: SWAP7
00001cfe: DUP8
00001cff: MSTORE
00001d00: ADD
00001d01: SLOAD
00001d02: SWAP4
00001d03: ADD
00001d04: SWAP3
00001d05: DUP4
00001d06: MSTORE
00001d07: DUP1
00001d08: DUP3
00001d09: MUL
00001d0a: SWAP2
00001d0b: DUP2
00001d0c: DUP4
00001d0d: DIV
00001d0e: SUB
00001d0f: PUSH2 0x1d48
00001d12: JUMPI
00001d13: JUMPDEST
00001d14: POP
00001d15: PUSH8 0x0de0b6b3a7640000
00001d1e: DUP1
00001d1f: DUP3
00001d20: DIV
00001d21: SWAP2
00001d22: MOD
00001d23: ISZERO
00001d24: ISZERO
00001d25: ADD
00001d26: SWAP2
00001d27: MLOAD
00001d28: DUP1
00001d29: DUP4
00001d2a: GT
00001d2b: ISZERO
00001d2c: PUSH2 0x1d42
00001d2f: JUMPI
00001d30: POP
00001d31: MLOAD
00001d32: DUP1
00001d33: DUP3
00001d34: LT
00001d35: ISZERO
00001d36: PUSH2 0x1d3d
00001d39: JUMPI
00001d3a: POP
00001d3b: SWAP1
00001d3c: JUMP
00001d3d: JUMPDEST
00001d3e: SWAP1
00001d3f: POP
00001d40: SWAP1
00001d41: JUMP
00001d42: JUMPDEST
00001d43: SWAP2
00001d44: POP
00001d45: POP
00001d46: SWAP1
00001d47: JUMP
00001d48: JUMPDEST
00001d49: PUSH2 0x0886
00001d4c: JUMPI
00001d4d: PUSH0
00001d4e: PUSH2 0x1d13
00001d51: JUMP
00001d52: JUMPDEST
00001d53: POP
00001d54: POP
00001d55: PUSH0
00001d56: DUP1
00001d57: MSTORE
00001d58: PUSH1 0x08
00001d5a: PUSH1 0x20
00001d5c: MSTORE
00001d5d: PUSH32 0x5eff886ea0ce6ca488a3d6e336d6c0f75f46d19b42c06ce5ee98e42c96d256c7
00001d7e: SLOAD
00001d7f: SWAP1
00001d80: JUMP
00001d81: JUMPDEST
00001d82: DUP1
00001d83: PUSH0
00001d84: MSTORE
00001d85: PUSH1 0x07
00001d87: PUSH1 0x20
00001d89: MSTORE
00001d8a: PUSH1 0xff
00001d8c: PUSH1 0x40
00001d8e: PUSH0
00001d8f: KECCAK256
00001d90: SLOAD
00001d91: AND
00001d92: PUSH1 0x03
00001d94: DUP2
00001d95: LT
00001d96: ISZERO
00001d97: PUSH2 0x135b
00001d9a: JUMPI
00001d9b: PUSH1 0x01
00001d9d: DUP2
00001d9e: EQ
00001d9f: PUSH2 0x1dd1
00001da2: JUMPI
00001da3: PUSH1 0x02
00001da5: EQ
00001da6: PUSH2 0x1db8
00001da9: JUMPI
00001daa: PUSH4 0x2b00a33d
00001daf: PUSH1 0xe1
00001db1: SHL
00001db2: PUSH0
00001db3: MSTORE
00001db4: PUSH1 0x04
00001db6: PUSH0
00001db7: REVERT
00001db8: JUMPDEST
00001db9: PUSH0
00001dba: MSTORE
00001dbb: PUSH1 0x09
00001dbd: PUSH1 0x20
00001dbf: MSTORE
00001dc0: PUSH1 0x40
00001dc2: PUSH0
00001dc3: KECCAK256
00001dc4: SWAP1
00001dc5: PUSH1 0x40
00001dc7: MLOAD
00001dc8: SWAP1
00001dc9: PUSH2 0x1ce9
00001dcc: DUP3
00001dcd: PUSH2 0x1ada
00001dd0: JUMP
00001dd1: JUMPDEST
00001dd2: POP
00001dd3: SWAP1
00001dd4: POP
00001dd5: PUSH0
00001dd6: MSTORE
00001dd7: PUSH1 0x08
00001dd9: PUSH1 0x20
00001ddb: MSTORE
00001ddc: PUSH1 0x40
00001dde: PUSH0
00001ddf: KECCAK256
00001de0: SLOAD
00001de1: SWAP1
00001de2: JUMP
00001de3: JUMPDEST
00001de4: PUSH4 0x8b78c6d8
00001de9: NOT
00001dea: SLOAD
00001deb: CALLER
00001dec: SUB
00001ded: PUSH2 0x0c15
00001df0: JUMPI
00001df1: JUMP
00001df2: JUMPDEST
00001df3: PUSH1 0x01
00001df5: DUP1
00001df6: PUSH1 0xa0
00001df8: SHL
00001df9: SUB
00001dfa: AND
00001dfb: DUP1
00001dfc: PUSH4 0x8b78c6d8
00001e01: NOT
00001e02: SLOAD
00001e03: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001e24: PUSH0
00001e25: DUP1
00001e26: LOG3
00001e27: PUSH4 0x8b78c6d8
00001e2c: NOT
00001e2d: SSTORE
00001e2e: JUMP
00001e2f: JUMPDEST
00001e30: PUSH1 0x01
00001e32: PUSH1 0x01
00001e34: PUSH1 0xa0
00001e36: SHL
00001e37: SUB
00001e38: SWAP2
00001e39: DUP3
00001e3a: AND
00001e3b: DUP2
00001e3c: MSTORE
00001e3d: SWAP2
00001e3e: AND
00001e3f: PUSH1 0x20
00001e41: DUP3
00001e42: ADD
00001e43: MSTORE
00001e44: PUSH1 0x40
00001e46: DUP2
00001e47: ADD
00001e48: SWAP2
00001e49: SWAP1
00001e4a: SWAP2
00001e4b: MSTORE
00001e4c: PUSH1 0x60
00001e4e: DUP2
00001e4f: ADD
00001e50: SWAP2
00001e51: SWAP1
00001e52: SWAP2
00001e53: MSTORE
00001e54: PUSH1 0xa0
00001e56: PUSH1 0x80
00001e58: DUP3
00001e59: ADD
00001e5a: DUP2
00001e5b: SWAP1
00001e5c: MSTORE
00001e5d: PUSH2 0x1b82
00001e60: SWAP3
00001e61: SWAP2
00001e62: ADD
00001e63: SWAP1
00001e64: PUSH2 0x1a9b
00001e67: JUMP
00001e68: JUMPDEST
00001e69: PUSH4 0x8b78c6d8
00001e6e: PUSH1 0x0c
00001e70: MSTORE
00001e71: PUSH0
00001e72: MSTORE
00001e73: PUSH1 0x20
00001e75: PUSH1 0x0c
00001e77: KECCAK256
00001e78: SWAP1
00001e79: DUP2
00001e7a: SLOAD
00001e7b: SWAP1
00001e7c: DUP2
00001e7d: AND
00001e7e: XOR
00001e7f: DUP1
00001e80: SWAP2
00001e81: SSTORE
00001e82: PUSH1 0x0c
00001e84: MLOAD
00001e85: PUSH1 0x60
00001e87: SHR
00001e88: PUSH0
00001e89: MLOAD
00001e8a: PUSH1 0x20
00001e8c: PUSH2 0x1e9b
00001e8f: PUSH0
00001e90: CODECOPY
00001e91: PUSH0
00001e92: MLOAD
00001e93: SWAP1
00001e94: PUSH0
00001e95: MSTORE
00001e96: PUSH0
00001e97: DUP1
00001e98: LOG3
00001e99: JUMP
00001e9a: INVALID
00001e9b: PUSH18 0x5ad5ce61fc9595c7b415289d59cf203f23a9
00001eae: UNKNOWN(0x4F)
00001eaf: LOG0
00001eb0: PUSH16

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x880082cb4eafefd0b38ccfadfd0f633f065501808d37e8e734d4a762bc42e7fc
call_targets: 0x96c67b143000a60d9162f25c29fa0cf5b8d0e5af
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x880082cb4eafefd0b38ccfadfd0f633f065501808d37e8e734d4a762bc42e7fc",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x96c67b143000a60d9162f25c29fa0cf5b8d0e5af"
    ],
    "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": "0x02fb0c5e",
            "selector": "0x02fb0c5e",
            "calldata_variants": [
                "0x02fb0c5e",
                "0x02fb0c5e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x144fa6d7",
            "selector": "0x144fa6d7",
            "calldata_variants": [
                "0x144fa6d7",
                "0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x170ae20a",
            "selector": "0x170ae20a",
            "calldata_variants": [
                "0x170ae20a",
                "0x170ae20a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x183a4f6e",
            "selector": "0x183a4f6e",
            "calldata_variants": [
                "0x183a4f6e",
                "0x183a4f6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1ac3ddeb",
            "selector": "0x1ac3ddeb",
            "calldata_variants": [
                "0x1ac3ddeb",
                "0x1ac3ddeb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1c10893f",
            "selector": "0x1c10893f",
            "calldata_variants": [
                "0x1c10893f",
                "0x1c10893f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1cd64df4",
            "selector": "0x1cd64df4",
            "calldata_variants": [
                "0x1cd64df4",
                "0x1cd64df40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1e0ba126",
            "selector": "0x1e0ba126",
            "calldata_variants": [
                "0x1e0ba126",
                "0x1e0ba1260000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2063,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2399,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3053,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x880082cb4eafefd0b38ccfadfd0f633f065501808d37e8e734d4a762bc42e7fc
call_targets: 0x96c67b143000a60d9162f25c29fa0cf5b8d0e5af
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x880082cb4eafefd0b38ccfadfd0f633f065501808d37e8e734d4a762bc42e7fc",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x96c67b143000a60d9162f25c29fa0cf5b8d0e5af"
    ],
    "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": "0x02fb0c5e",
            "selector": "0x02fb0c5e",
            "calldata_variants": [
                "0x02fb0c5e",
                "0x02fb0c5e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x144fa6d7",
            "selector": "0x144fa6d7",
            "calldata_variants": [
                "0x144fa6d7",
                "0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x170ae20a",
            "selector": "0x170ae20a",
            "calldata_variants": [
                "0x170ae20a",
                "0x170ae20a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x183a4f6e",
            "selector": "0x183a4f6e",
            "calldata_variants": [
                "0x183a4f6e",
                "0x183a4f6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1ac3ddeb",
            "selector": "0x1ac3ddeb",
            "calldata_variants": [
                "0x1ac3ddeb",
                "0x1ac3ddeb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1c10893f",
            "selector": "0x1c10893f",
            "calldata_variants": [
                "0x1c10893f",
                "0x1c10893f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1cd64df4",
            "selector": "0x1cd64df4",
            "calldata_variants": [
                "0x1cd64df4",
                "0x1cd64df40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1e0ba126",
            "selector": "0x1e0ba126",
            "calldata_variants": [
                "0x1e0ba126",
                "0x1e0ba1260000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2063,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2399,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3053,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}