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

Analysis Run

019b477e-d443-7117-a52b-aa6a385f3f28

complete
Chain ID
1
Address
0xb645cffd9bfb93c2c181d5be0d6a8c1d81c2aef3
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?

back to vulns open contract
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
28307 artifact.fetch complete 1 / 3 4 months ago
28308 tool.cast_disasm complete 1 / 3 4 months ago
71367 analysis.bundle complete 1 / 3 2 weeks ago
71368 capability.graph complete 1 / 3 2 weeks ago
71369 detector.run complete 1 / 3 2 weeks ago
71370 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
5
EXT*/BALANCE
1
Total opcodes
5823
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0126
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x1774e7ca
00000019: EQ
0000001a: PUSH2 0x012b
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x1a010e19
00000024: EQ
00000025: PUSH2 0x0168
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x25692962
0000002f: EQ
00000030: PUSH2 0x01ae
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x32a46e4b
0000003a: EQ
0000003b: PUSH2 0x01b8
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x3f4ba83a
00000045: EQ
00000046: PUSH2 0x01d8
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x3f60b633
00000050: EQ
00000051: PUSH2 0x01ed
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x4bfbb532
0000005b: EQ
0000005c: PUSH2 0x0200
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x51cff8d9
00000066: EQ
00000067: PUSH2 0x0213
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x54d1f13d
00000071: EQ
00000072: PUSH2 0x0233
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x5c975abb
0000007c: EQ
0000007d: PUSH2 0x023b
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x715018a6
00000087: EQ
00000088: PUSH2 0x025e
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x8456cb59
00000092: EQ
00000093: PUSH2 0x0266
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x84b0196e
0000009d: EQ
0000009e: PUSH2 0x027b
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x8a274f3c
000000a8: EQ
000000a9: PUSH2 0x02a3
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x8da5cb5b
000000b3: EQ
000000b4: PUSH2 0x02c3
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0xb490abde
000000be: EQ
000000bf: PUSH2 0x02e5
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0xbbc492c0
000000c9: EQ
000000ca: PUSH2 0x0305
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0xd171f025
000000d4: EQ
000000d5: PUSH2 0x0325
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0xde25de50
000000df: EQ
000000e0: PUSH2 0x0338
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0xe369f9f5
000000ea: EQ
000000eb: PUSH2 0x0387
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0xe6070b92
000000f5: EQ
000000f6: PUSH2 0x03c8
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0xf04e283e
00000100: EQ
00000101: PUSH2 0x03fe
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xf091335c
0000010b: EQ
0000010c: PUSH2 0x0411
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xf2fde38b
00000116: EQ
00000117: PUSH2 0x0449
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xfee81cf4
00000121: EQ
00000122: PUSH2 0x045c
00000125: JUMPI
00000126: JUMPDEST
00000127: PUSH1 0x00
00000129: DUP1
0000012a: REVERT
0000012b: JUMPDEST
0000012c: CALLVALUE
0000012d: DUP1
0000012e: ISZERO
0000012f: PUSH2 0x0137
00000132: JUMPI
00000133: PUSH1 0x00
00000135: DUP1
00000136: REVERT
00000137: JUMPDEST
00000138: POP
00000139: PUSH2 0x014b
0000013c: PUSH2 0x0146
0000013f: CALLDATASIZE
00000140: PUSH1 0x04
00000142: PUSH2 0x1b05
00000145: JUMP
00000146: JUMPDEST
00000147: PUSH2 0x048f
0000014a: JUMP
0000014b: JUMPDEST
0000014c: PUSH1 0x40
0000014e: MLOAD
0000014f: PUSH1 0x01
00000151: PUSH1 0x01
00000153: PUSH1 0x80
00000155: SHL
00000156: SUB
00000157: SWAP1
00000158: SWAP2
00000159: AND
0000015a: DUP2
0000015b: MSTORE
0000015c: PUSH1 0x20
0000015e: ADD
0000015f: JUMPDEST
00000160: PUSH1 0x40
00000162: MLOAD
00000163: DUP1
00000164: SWAP2
00000165: SUB
00000166: SWAP1
00000167: RETURN
00000168: JUMPDEST
00000169: CALLVALUE
0000016a: DUP1
0000016b: ISZERO
0000016c: PUSH2 0x0174
0000016f: JUMPI
00000170: PUSH1 0x00
00000172: DUP1
00000173: REVERT
00000174: JUMPDEST
00000175: POP
00000176: PUSH2 0x01a0
00000179: PUSH2 0x0183
0000017c: CALLDATASIZE
0000017d: PUSH1 0x04
0000017f: PUSH2 0x1b22
00000182: JUMP
00000183: JUMPDEST
00000184: PUSH1 0x0a
00000186: PUSH1 0x20
00000188: SWAP1
00000189: DUP2
0000018a: MSTORE
0000018b: PUSH1 0x00
0000018d: SWAP3
0000018e: DUP4
0000018f: MSTORE
00000190: PUSH1 0x40
00000192: DUP1
00000193: DUP5
00000194: KECCAK256
00000195: SWAP1
00000196: SWAP2
00000197: MSTORE
00000198: SWAP1
00000199: DUP3
0000019a: MSTORE
0000019b: SWAP1
0000019c: KECCAK256
0000019d: SLOAD
0000019e: DUP2
0000019f: JUMP
000001a0: JUMPDEST
000001a1: PUSH1 0x40
000001a3: MLOAD
000001a4: SWAP1
000001a5: DUP2
000001a6: MSTORE
000001a7: PUSH1 0x20
000001a9: ADD
000001aa: PUSH2 0x015f
000001ad: JUMP
000001ae: JUMPDEST
000001af: PUSH2 0x01b6
000001b2: PUSH2 0x04bc
000001b5: JUMP
000001b6: JUMPDEST
000001b7: STOP
000001b8: JUMPDEST
000001b9: CALLVALUE
000001ba: DUP1
000001bb: ISZERO
000001bc: PUSH2 0x01c4
000001bf: JUMPI
000001c0: PUSH1 0x00
000001c2: DUP1
000001c3: REVERT
000001c4: JUMPDEST
000001c5: POP
000001c6: PUSH2 0x01a0
000001c9: PUSH2 0x01d3
000001cc: CALLDATASIZE
000001cd: PUSH1 0x04
000001cf: PUSH2 0x1b05
000001d2: JUMP
000001d3: JUMPDEST
000001d4: PUSH2 0x050b
000001d7: JUMP
000001d8: JUMPDEST
000001d9: CALLVALUE
000001da: DUP1
000001db: ISZERO
000001dc: PUSH2 0x01e4
000001df: JUMPI
000001e0: PUSH1 0x00
000001e2: DUP1
000001e3: REVERT
000001e4: JUMPDEST
000001e5: POP
000001e6: PUSH2 0x01b6
000001e9: PUSH2 0x052e
000001ec: JUMP
000001ed: JUMPDEST
000001ee: PUSH2 0x01b6
000001f1: PUSH2 0x01fb
000001f4: CALLDATASIZE
000001f5: PUSH1 0x04
000001f7: PUSH2 0x1b4e
000001fa: JUMP
000001fb: JUMPDEST
000001fc: PUSH2 0x0540
000001ff: JUMP
00000200: JUMPDEST
00000201: PUSH2 0x01b6
00000204: PUSH2 0x020e
00000207: CALLDATASIZE
00000208: PUSH1 0x04
0000020a: PUSH2 0x1bd9
0000020d: JUMP
0000020e: JUMPDEST
0000020f: PUSH2 0x05d8
00000212: JUMP
00000213: JUMPDEST
00000214: CALLVALUE
00000215: DUP1
00000216: ISZERO
00000217: PUSH2 0x021f
0000021a: JUMPI
0000021b: PUSH1 0x00
0000021d: DUP1
0000021e: REVERT
0000021f: JUMPDEST
00000220: POP
00000221: PUSH2 0x01b6
00000224: PUSH2 0x022e
00000227: CALLDATASIZE
00000228: PUSH1 0x04
0000022a: PUSH2 0x1b05
0000022d: JUMP
0000022e: JUMPDEST
0000022f: PUSH2 0x066d
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH2 0x01b6
00000237: PUSH2 0x0779
0000023a: JUMP
0000023b: JUMPDEST
0000023c: CALLVALUE
0000023d: DUP1
0000023e: ISZERO
0000023f: PUSH2 0x0247
00000242: JUMPI
00000243: PUSH1 0x00
00000245: DUP1
00000246: REVERT
00000247: JUMPDEST
00000248: POP
00000249: PUSH1 0x04
0000024b: SLOAD
0000024c: PUSH1 0xff
0000024e: AND
0000024f: PUSH1 0x40
00000251: MLOAD
00000252: SWAP1
00000253: ISZERO
00000254: ISZERO
00000255: DUP2
00000256: MSTORE
00000257: PUSH1 0x20
00000259: ADD
0000025a: PUSH2 0x015f
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH2 0x01b6
00000262: PUSH2 0x07b5
00000265: JUMP
00000266: JUMPDEST
00000267: CALLVALUE
00000268: DUP1
00000269: ISZERO
0000026a: PUSH2 0x0272
0000026d: JUMPI
0000026e: PUSH1 0x00
00000270: DUP1
00000271: REVERT
00000272: JUMPDEST
00000273: POP
00000274: PUSH2 0x01b6
00000277: PUSH2 0x07c7
0000027a: JUMP
0000027b: JUMPDEST
0000027c: CALLVALUE
0000027d: DUP1
0000027e: ISZERO
0000027f: PUSH2 0x0287
00000282: JUMPI
00000283: PUSH1 0x00
00000285: DUP1
00000286: REVERT
00000287: JUMPDEST
00000288: POP
00000289: PUSH2 0x0290
0000028c: PUSH2 0x07d7
0000028f: JUMP
00000290: JUMPDEST
00000291: PUSH1 0x40
00000293: MLOAD
00000294: PUSH2 0x015f
00000297: SWAP8
00000298: SWAP7
00000299: SWAP6
0000029a: SWAP5
0000029b: SWAP4
0000029c: SWAP3
0000029d: SWAP2
0000029e: SWAP1
0000029f: PUSH2 0x1cae
000002a2: JUMP
000002a3: JUMPDEST
000002a4: CALLVALUE
000002a5: DUP1
000002a6: ISZERO
000002a7: PUSH2 0x02af
000002aa: JUMPI
000002ab: PUSH1 0x00
000002ad: DUP1
000002ae: REVERT
000002af: JUMPDEST
000002b0: POP
000002b1: PUSH2 0x01a0
000002b4: PUSH2 0x02be
000002b7: CALLDATASIZE
000002b8: PUSH1 0x04
000002ba: PUSH2 0x1d47
000002bd: JUMP
000002be: JUMPDEST
000002bf: PUSH2 0x085f
000002c2: JUMP
000002c3: JUMPDEST
000002c4: CALLVALUE
000002c5: DUP1
000002c6: ISZERO
000002c7: PUSH2 0x02cf
000002ca: JUMPI
000002cb: PUSH1 0x00
000002cd: DUP1
000002ce: REVERT
000002cf: JUMPDEST
000002d0: POP
000002d1: PUSH4 0x8b78c6d8
000002d6: NOT
000002d7: SLOAD
000002d8: JUMPDEST
000002d9: PUSH1 0x40
000002db: MLOAD
000002dc: PUSH2 0x015f
000002df: SWAP2
000002e0: SWAP1
000002e1: PUSH2 0x1d9d
000002e4: JUMP
000002e5: JUMPDEST
000002e6: CALLVALUE
000002e7: DUP1
000002e8: ISZERO
000002e9: PUSH2 0x02f1
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: POP
000002f3: PUSH2 0x01b6
000002f6: PUSH2 0x0300
000002f9: CALLDATASIZE
000002fa: PUSH1 0x04
000002fc: PUSH2 0x1db1
000002ff: JUMP
00000300: JUMPDEST
00000301: PUSH2 0x08ec
00000304: JUMP
00000305: JUMPDEST
00000306: CALLVALUE
00000307: DUP1
00000308: ISZERO
00000309: PUSH2 0x0311
0000030c: JUMPI
0000030d: PUSH1 0x00
0000030f: DUP1
00000310: REVERT
00000311: JUMPDEST
00000312: POP
00000313: PUSH2 0x01a0
00000316: PUSH2 0x0320
00000319: CALLDATASIZE
0000031a: PUSH1 0x04
0000031c: PUSH2 0x1b22
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH2 0x0b3e
00000324: JUMP
00000325: JUMPDEST
00000326: PUSH2 0x01b6
00000329: PUSH2 0x0333
0000032c: CALLDATASIZE
0000032d: PUSH1 0x04
0000032f: PUSH2 0x1e4f
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH2 0x0b6f
00000337: JUMP
00000338: JUMPDEST
00000339: CALLVALUE
0000033a: DUP1
0000033b: ISZERO
0000033c: PUSH2 0x0344
0000033f: JUMPI
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: POP
00000346: PUSH2 0x0358
00000349: PUSH2 0x0353
0000034c: CALLDATASIZE
0000034d: PUSH1 0x04
0000034f: PUSH2 0x1b22
00000352: JUMP
00000353: JUMPDEST
00000354: PUSH2 0x0c6f
00000357: JUMP
00000358: JUMPDEST
00000359: PUSH1 0x40
0000035b: DUP1
0000035c: MLOAD
0000035d: PUSH1 0x01
0000035f: PUSH1 0x01
00000361: PUSH1 0x40
00000363: SHL
00000364: SUB
00000365: SWAP5
00000366: DUP6
00000367: AND
00000368: DUP2
00000369: MSTORE
0000036a: SWAP4
0000036b: SWAP1
0000036c: SWAP3
0000036d: AND
0000036e: PUSH1 0x20
00000370: DUP5
00000371: ADD
00000372: MSTORE
00000373: PUSH1 0x01
00000375: PUSH1 0x01
00000377: PUSH1 0x80
00000379: SHL
0000037a: SUB
0000037b: AND
0000037c: SWAP1
0000037d: DUP3
0000037e: ADD
0000037f: MSTORE
00000380: PUSH1 0x60
00000382: ADD
00000383: PUSH2 0x015f
00000386: JUMP
00000387: JUMPDEST
00000388: CALLVALUE
00000389: DUP1
0000038a: ISZERO
0000038b: PUSH2 0x0393
0000038e: JUMPI
0000038f: PUSH1 0x00
00000391: DUP1
00000392: REVERT
00000393: JUMPDEST
00000394: POP
00000395: PUSH2 0x02d8
00000398: PUSH2 0x03a2
0000039b: CALLDATASIZE
0000039c: PUSH1 0x04
0000039e: PUSH2 0x1b22
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH1 0x03
000003a5: PUSH1 0x20
000003a7: SWAP1
000003a8: DUP2
000003a9: MSTORE
000003aa: PUSH1 0x00
000003ac: SWAP3
000003ad: DUP4
000003ae: MSTORE
000003af: PUSH1 0x40
000003b1: DUP1
000003b2: DUP5
000003b3: KECCAK256
000003b4: SWAP1
000003b5: SWAP2
000003b6: MSTORE
000003b7: SWAP1
000003b8: DUP3
000003b9: MSTORE
000003ba: SWAP1
000003bb: KECCAK256
000003bc: SLOAD
000003bd: PUSH1 0x01
000003bf: PUSH1 0x01
000003c1: PUSH1 0xa0
000003c3: SHL
000003c4: SUB
000003c5: AND
000003c6: DUP2
000003c7: JUMP
000003c8: JUMPDEST
000003c9: CALLVALUE
000003ca: DUP1
000003cb: ISZERO
000003cc: PUSH2 0x03d4
000003cf: JUMPI
000003d0: PUSH1 0x00
000003d2: DUP1
000003d3: REVERT
000003d4: JUMPDEST
000003d5: POP
000003d6: PUSH2 0x03e8
000003d9: PUSH2 0x03e3
000003dc: CALLDATASIZE
000003dd: PUSH1 0x04
000003df: PUSH2 0x1b05
000003e2: JUMP
000003e3: JUMPDEST
000003e4: PUSH2 0x0cc1
000003e7: JUMP
000003e8: JUMPDEST
000003e9: PUSH1 0x40
000003eb: MLOAD
000003ec: PUSH5 0xffffffffff
000003f2: SWAP1
000003f3: SWAP2
000003f4: AND
000003f5: DUP2
000003f6: MSTORE
000003f7: PUSH1 0x20
000003f9: ADD
000003fa: PUSH2 0x015f
000003fd: JUMP
000003fe: JUMPDEST
000003ff: PUSH2 0x01b6
00000402: PUSH2 0x040c
00000405: CALLDATASIZE
00000406: PUSH1 0x04
00000408: PUSH2 0x1b05
0000040b: JUMP
0000040c: JUMPDEST
0000040d: PUSH2 0x0cd7
00000410: JUMP
00000411: JUMPDEST
00000412: CALLVALUE
00000413: DUP1
00000414: ISZERO
00000415: PUSH2 0x041d
00000418: JUMPI
00000419: PUSH1 0x00
0000041b: DUP1
0000041c: REVERT
0000041d: JUMPDEST
0000041e: POP
0000041f: PUSH2 0x01a0
00000422: PUSH2 0x042c
00000425: CALLDATASIZE
00000426: PUSH1 0x04
00000428: PUSH2 0x1b22
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH1 0x02
0000042f: PUSH1 0x20
00000431: SWAP1
00000432: DUP2
00000433: MSTORE
00000434: PUSH1 0x00
00000436: SWAP3
00000437: DUP4
00000438: MSTORE
00000439: PUSH1 0x40
0000043b: DUP1
0000043c: DUP5
0000043d: KECCAK256
0000043e: SWAP1
0000043f: SWAP2
00000440: MSTORE
00000441: SWAP1
00000442: DUP3
00000443: MSTORE
00000444: SWAP1
00000445: KECCAK256
00000446: SLOAD
00000447: DUP2
00000448: JUMP
00000449: JUMPDEST
0000044a: PUSH2 0x01b6
0000044d: PUSH2 0x0457
00000450: CALLDATASIZE
00000451: PUSH1 0x04
00000453: PUSH2 0x1b05
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH2 0x0d17
0000045b: JUMP
0000045c: JUMPDEST
0000045d: CALLVALUE
0000045e: DUP1
0000045f: ISZERO
00000460: PUSH2 0x0468
00000463: JUMPI
00000464: PUSH1 0x00
00000466: DUP1
00000467: REVERT
00000468: JUMPDEST
00000469: POP
0000046a: PUSH2 0x01a0
0000046d: PUSH2 0x0477
00000470: CALLDATASIZE
00000471: PUSH1 0x04
00000473: PUSH2 0x1b05
00000476: JUMP
00000477: JUMPDEST
00000478: PUSH4 0x389a75e1
0000047d: PUSH1 0x0c
0000047f: SWAP1
00000480: DUP2
00000481: MSTORE
00000482: PUSH1 0x00
00000484: SWAP2
00000485: SWAP1
00000486: SWAP2
00000487: MSTORE
00000488: PUSH1 0x20
0000048a: SWAP1
0000048b: KECCAK256
0000048c: SLOAD
0000048d: SWAP1
0000048e: JUMP
0000048f: JUMPDEST
00000490: PUSH1 0x01
00000492: PUSH1 0x01
00000494: PUSH1 0x9f
00000496: SHL
00000497: SUB
00000498: PUSH1 0x01
0000049a: DUP3
0000049b: SWAP1
0000049c: SHR
0000049d: AND
0000049e: PUSH1 0x00
000004a0: SWAP1
000004a1: DUP2
000004a2: MSTORE
000004a3: PUSH1 0x09
000004a5: PUSH1 0x20
000004a7: MSTORE
000004a8: PUSH1 0x40
000004aa: DUP2
000004ab: KECCAK256
000004ac: SLOAD
000004ad: PUSH1 0x07
000004af: DUP4
000004b0: SWAP1
000004b1: SHL
000004b2: PUSH1 0x80
000004b4: AND
000004b5: SHR
000004b6: JUMPDEST
000004b7: SWAP3
000004b8: SWAP2
000004b9: POP
000004ba: POP
000004bb: JUMP
000004bc: JUMPDEST
000004bd: PUSH1 0x00
000004bf: PUSH3 0x02a300
000004c3: PUSH1 0x01
000004c5: PUSH1 0x01
000004c7: PUSH1 0x40
000004c9: SHL
000004ca: SUB
000004cb: AND
000004cc: TIMESTAMP
000004cd: ADD
000004ce: SWAP1
000004cf: POP
000004d0: PUSH4 0x389a75e1
000004d5: PUSH1 0x0c
000004d7: MSTORE
000004d8: CALLER
000004d9: PUSH1 0x00
000004db: MSTORE
000004dc: DUP1
000004dd: PUSH1 0x20
000004df: PUSH1 0x0c
000004e1: KECCAK256
000004e2: SSTORE
000004e3: CALLER
000004e4: PUSH32 0xdbf36a107da19e49527a7176a1babf963b4b0ff8cde35ee35d6cd8f1f9ac7e1d
00000505: PUSH1 0x00
00000507: DUP1
00000508: LOG2
00000509: POP
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH1 0x00
0000050e: PUSH2 0x0521
00000511: PUSH1 0x08
00000513: DUP4
00000514: PUSH1 0x01
00000516: PUSH1 0x01
00000518: PUSH1 0xa0
0000051a: SHL
0000051b: SUB
0000051c: AND
0000051d: PUSH2 0x0d3e
00000520: JUMP
00000521: JUMPDEST
00000522: PUSH5 0xffffffffff
00000528: AND
00000529: SWAP3
0000052a: SWAP2
0000052b: POP
0000052c: POP
0000052d: JUMP
0000052e: JUMPDEST
0000052f: PUSH2 0x0536
00000532: PUSH2 0x0d5e
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH2 0x053e
0000053a: PUSH2 0x0d79
0000053d: JUMP
0000053e: JUMPDEST
0000053f: JUMP
00000540: JUMPDEST
00000541: PUSH2 0x0548
00000544: PUSH2 0x0dc5
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH1 0x00
0000054b: PUSH2 0x0554
0000054e: DUP6
0000054f: DUP6
00000550: PUSH2 0x0e10
00000553: JUMP
00000554: JUMPDEST
00000555: PUSH1 0x01
00000557: PUSH1 0x01
00000559: PUSH1 0xa0
0000055b: SHL
0000055c: SUB
0000055d: DUP1
0000055e: DUP8
0000055f: AND
00000560: PUSH1 0x00
00000562: SWAP1
00000563: DUP2
00000564: MSTORE
00000565: PUSH1 0x03
00000567: PUSH1 0x20
00000569: SWAP1
0000056a: DUP2
0000056b: MSTORE
0000056c: PUSH1 0x40
0000056e: DUP1
0000056f: DUP4
00000570: KECCAK256
00000571: DUP10
00000572: DUP5
00000573: MSTORE
00000574: SWAP1
00000575: SWAP2
00000576: MSTORE
00000577: SWAP1
00000578: KECCAK256
00000579: SLOAD
0000057a: SWAP2
0000057b: SWAP3
0000057c: POP
0000057d: AND
0000057e: DUP2
0000057f: ISZERO
00000580: PUSH2 0x059c
00000583: JUMPI
00000584: PUSH1 0x40
00000586: MLOAD
00000587: PUSH4 0x6e0d0605
0000058c: PUSH1 0xe0
0000058e: SHL
0000058f: DUP2
00000590: MSTORE
00000591: PUSH1 0x04
00000593: ADD
00000594: PUSH1 0x40
00000596: MLOAD
00000597: DUP1
00000598: SWAP2
00000599: SUB
0000059a: SWAP1
0000059b: REVERT
0000059c: JUMPDEST
0000059d: PUSH1 0x01
0000059f: PUSH1 0x01
000005a1: PUSH1 0xa0
000005a3: SHL
000005a4: SUB
000005a5: DUP2
000005a6: AND
000005a7: ISZERO
000005a8: PUSH2 0x05c4
000005ab: JUMPI
000005ac: PUSH1 0x40
000005ae: MLOAD
000005af: PUSH4 0x9fabe1c1
000005b4: PUSH1 0xe0
000005b6: SHL
000005b7: DUP2
000005b8: MSTORE
000005b9: PUSH1 0x04
000005bb: ADD
000005bc: PUSH1 0x40
000005be: MLOAD
000005bf: DUP1
000005c0: SWAP2
000005c1: SUB
000005c2: SWAP1
000005c3: REVERT
000005c4: JUMPDEST
000005c5: PUSH2 0x05d0
000005c8: DUP7
000005c9: DUP7
000005ca: DUP7
000005cb: DUP7
000005cc: PUSH2 0x0e38
000005cf: JUMP
000005d0: JUMPDEST
000005d1: POP
000005d2: POP
000005d3: POP
000005d4: POP
000005d5: POP
000005d6: POP
000005d7: JUMP
000005d8: JUMPDEST
000005d9: PUSH2 0x05e0
000005dc: PUSH2 0x0dc5
000005df: JUMP
000005e0: JUMPDEST
000005e1: PUSH1 0x01
000005e3: PUSH1 0x01
000005e5: PUSH1 0xa0
000005e7: SHL
000005e8: SUB
000005e9: DUP1
000005ea: DUP9
000005eb: AND
000005ec: PUSH1 0x00
000005ee: SWAP1
000005ef: DUP2
000005f0: MSTORE
000005f1: PUSH1 0x03
000005f3: PUSH1 0x20
000005f5: SWAP1
000005f6: DUP2
000005f7: MSTORE
000005f8: PUSH1 0x40
000005fa: DUP1
000005fb: DUP4
000005fc: KECCAK256
000005fd: DUP11
000005fe: DUP5
000005ff: MSTORE
00000600: SWAP1
00000601: SWAP2
00000602: MSTORE
00000603: SWAP1
00000604: KECCAK256
00000605: SLOAD
00000606: AND
00000607: DUP1
00000608: PUSH2 0x0624
0000060b: JUMPI
0000060c: PUSH1 0x40
0000060e: MLOAD
0000060f: PUSH4 0x03161cbd
00000614: PUSH1 0xe4
00000616: SHL
00000617: DUP2
00000618: MSTORE
00000619: PUSH1 0x04
0000061b: ADD
0000061c: PUSH1 0x40
0000061e: MLOAD
0000061f: DUP1
00000620: SWAP2
00000621: SUB
00000622: SWAP1
00000623: REVERT
00000624: JUMPDEST
00000625: PUSH1 0x01
00000627: PUSH1 0x01
00000629: PUSH1 0xa0
0000062b: SHL
0000062c: SUB
0000062d: DUP9
0000062e: AND
0000062f: PUSH1 0x00
00000631: SWAP1
00000632: DUP2
00000633: MSTORE
00000634: PUSH1 0x06
00000636: PUSH1 0x20
00000638: SWAP1
00000639: DUP2
0000063a: MSTORE
0000063b: PUSH1 0x40
0000063d: DUP1
0000063e: DUP4
0000063f: KECCAK256
00000640: DUP11
00000641: DUP5
00000642: MSTORE
00000643: SWAP1
00000644: SWAP2
00000645: MSTORE
00000646: SWAP1
00000647: KECCAK256
00000648: PUSH2 0x0656
0000064b: DUP10
0000064c: DUP10
0000064d: DUP8
0000064e: DUP10
0000064f: DUP9
00000650: DUP9
00000651: DUP8
00000652: PUSH2 0x1135
00000655: JUMP
00000656: JUMPDEST
00000657: PUSH2 0x0662
0000065a: DUP10
0000065b: DUP10
0000065c: DUP10
0000065d: DUP10
0000065e: PUSH2 0x0e38
00000661: JUMP
00000662: JUMPDEST
00000663: POP
00000664: POP
00000665: POP
00000666: POP
00000667: POP
00000668: POP
00000669: POP
0000066a: POP
0000066b: POP
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH2 0x0675
00000671: PUSH2 0x0dc5
00000674: JUMP
00000675: JUMPDEST
00000676: PUSH1 0x00
00000678: PUSH2 0x0680
0000067b: DUP3
0000067c: PUSH2 0x048f
0000067f: JUMP
00000680: JUMPDEST
00000681: PUSH1 0x01
00000683: PUSH1 0x01
00000685: PUSH1 0x80
00000687: SHL
00000688: SUB
00000689: AND
0000068a: SWAP1
0000068b: POP
0000068c: DUP1
0000068d: PUSH1 0x00
0000068f: SUB
00000690: PUSH2 0x06ac
00000693: JUMPI
00000694: PUSH1 0x40
00000696: MLOAD
00000697: PUSH4 0x356680b7
0000069c: PUSH1 0xe0
0000069e: SHL
0000069f: DUP2
000006a0: MSTORE
000006a1: PUSH1 0x04
000006a3: ADD
000006a4: PUSH1 0x40
000006a6: MLOAD
000006a7: DUP1
000006a8: SWAP2
000006a9: SUB
000006aa: SWAP1
000006ab: REVERT
000006ac: JUMPDEST
000006ad: PUSH1 0x00
000006af: DUP3
000006b0: PUSH1 0x01
000006b2: PUSH1 0x01
000006b4: PUSH1 0xa0
000006b6: SHL
000006b7: SUB
000006b8: AND
000006b9: PUSH4 0x899308a8
000006be: PUSH1 0x40
000006c0: MLOAD
000006c1: DUP2
000006c2: PUSH4 0xffffffff
000006c7: AND
000006c8: PUSH1 0xe0
000006ca: SHL
000006cb: DUP2
000006cc: MSTORE
000006cd: PUSH1 0x04
000006cf: ADD
000006d0: PUSH1 0x20
000006d2: PUSH1 0x40
000006d4: MLOAD
000006d5: DUP1
000006d6: DUP4
000006d7: SUB
000006d8: DUP2
000006d9: DUP7
000006da: GAS
000006db: STATICCALL
000006dc: ISZERO
000006dd: DUP1
000006de: ISZERO
000006df: PUSH2 0x06ec
000006e2: JUMPI
000006e3: RETURNDATASIZE
000006e4: PUSH1 0x00
000006e6: DUP1
000006e7: RETURNDATACOPY
000006e8: RETURNDATASIZE
000006e9: PUSH1 0x00
000006eb: REVERT
000006ec: JUMPDEST
000006ed: POP
000006ee: POP
000006ef: POP
000006f0: POP
000006f1: PUSH1 0x40
000006f3: MLOAD
000006f4: RETURNDATASIZE
000006f5: PUSH1 0x1f
000006f7: NOT
000006f8: PUSH1 0x1f
000006fa: DUP3
000006fb: ADD
000006fc: AND
000006fd: DUP3
000006fe: ADD
000006ff: DUP1
00000700: PUSH1 0x40
00000702: MSTORE
00000703: POP
00000704: DUP2
00000705: ADD
00000706: SWAP1
00000707: PUSH2 0x0710
0000070a: SWAP2
0000070b: SWAP1
0000070c: PUSH2 0x1eda
0000070f: JUMP
00000710: JUMPDEST
00000711: SWAP1
00000712: POP
00000713: PUSH2 0x071d
00000716: DUP4
00000717: PUSH1 0x00
00000719: PUSH2 0x1285
0000071c: JUMP
0000071d: JUMPDEST
0000071e: PUSH2 0x0727
00000721: DUP2
00000722: DUP4
00000723: PUSH2 0x12c6
00000726: JUMP
00000727: JUMPDEST
00000728: DUP1
00000729: PUSH1 0x01
0000072b: PUSH1 0x01
0000072d: PUSH1 0xa0
0000072f: SHL
00000730: SUB
00000731: AND
00000732: DUP4
00000733: PUSH1 0x01
00000735: PUSH1 0x01
00000737: PUSH1 0xa0
00000739: SHL
0000073a: SUB
0000073b: AND
0000073c: PUSH32 0xd1c19fbcd4551a5edfb66d43d2e337c04837afda3482b42bdf569a8fccdae5fb
0000075d: DUP5
0000075e: PUSH1 0x40
00000760: MLOAD
00000761: PUSH2 0x076c
00000764: SWAP2
00000765: DUP2
00000766: MSTORE
00000767: PUSH1 0x20
00000769: ADD
0000076a: SWAP1
0000076b: JUMP
0000076c: JUMPDEST
0000076d: PUSH1 0x40
0000076f: MLOAD
00000770: DUP1
00000771: SWAP2
00000772: SUB
00000773: SWAP1
00000774: LOG3
00000775: POP
00000776: POP
00000777: POP
00000778: JUMP
00000779: JUMPDEST
0000077a: PUSH4 0x389a75e1
0000077f: PUSH1 0x0c
00000781: MSTORE
00000782: CALLER
00000783: PUSH1 0x00
00000785: MSTORE
00000786: PUSH1 0x00
00000788: PUSH1 0x20
0000078a: PUSH1 0x0c
0000078c: KECCAK256
0000078d: SSTORE
0000078e: CALLER
0000078f: PUSH32 0xfa7b8eab7da67f412cc9575ed43464468f9bfbae89d1675917346ca6d8fe3c92
000007b0: PUSH1 0x00
000007b2: DUP1
000007b3: LOG2
000007b4: JUMP
000007b5: JUMPDEST
000007b6: PUSH2 0x07bd
000007b9: PUSH2 0x0d5e
000007bc: JUMP
000007bd: JUMPDEST
000007be: PUSH2 0x053e
000007c1: PUSH1 0x00
000007c3: PUSH2 0x131c
000007c6: JUMP
000007c7: JUMPDEST
000007c8: PUSH2 0x07cf
000007cb: PUSH2 0x0d5e
000007ce: JUMP
000007cf: JUMPDEST
000007d0: PUSH2 0x053e
000007d3: PUSH2 0x135a
000007d6: JUMP
000007d7: JUMPDEST
000007d8: PUSH1 0x00
000007da: PUSH1 0x60
000007dc: DUP1
000007dd: DUP3
000007de: DUP1
000007df: DUP1
000007e0: DUP4
000007e1: PUSH2 0x080a
000007e4: PUSH32 0x4d494e545f504153530000000000000000000000000000000000000000000009
00000805: DUP4
00000806: PUSH2 0x1397
00000809: JUMP
0000080a: JUMPDEST
0000080b: PUSH2 0x0835
0000080e: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000001
0000082f: PUSH1 0x01
00000831: PUSH2 0x1397
00000834: JUMP
00000835: JUMPDEST
00000836: PUSH1 0x40
00000838: DUP1
00000839: MLOAD
0000083a: PUSH1 0x00
0000083c: DUP1
0000083d: DUP3
0000083e: MSTORE
0000083f: PUSH1 0x20
00000841: DUP3
00000842: ADD
00000843: SWAP1
00000844: SWAP3
00000845: MSTORE
00000846: PUSH1 0x0f
00000848: PUSH1 0xf8
0000084a: SHL
0000084b: SWAP12
0000084c: SWAP4
0000084d: SWAP11
0000084e: POP
0000084f: SWAP2
00000850: SWAP9
00000851: POP
00000852: CHAINID
00000853: SWAP8
00000854: POP
00000855: ADDRESS
00000856: SWAP7
00000857: POP
00000858: SWAP5
00000859: POP
0000085a: SWAP3
0000085b: POP
0000085c: SWAP1
0000085d: POP
0000085e: JUMP
0000085f: JUMPDEST
00000860: PUSH1 0x40
00000862: DUP1
00000863: MLOAD
00000864: PUSH32 0xdd7e41b6fe4a3be49851f7dea65a88ec7a32cc99679bf27a9078e21908588b09
00000885: PUSH1 0x20
00000887: DUP3
00000888: ADD
00000889: MSTORE
0000088a: PUSH1 0x01
0000088c: PUSH1 0x01
0000088e: PUSH1 0xa0
00000890: SHL
00000891: SUB
00000892: DUP1
00000893: DUP9
00000894: AND
00000895: SWAP3
00000896: DUP3
00000897: ADD
00000898: SWAP3
00000899: SWAP1
0000089a: SWAP3
0000089b: MSTORE
0000089c: PUSH1 0x60
0000089e: DUP2
0000089f: ADD
000008a0: DUP6
000008a1: SWAP1
000008a2: MSTORE
000008a3: PUSH1 0x80
000008a5: DUP2
000008a6: ADD
000008a7: DUP7
000008a8: SWAP1
000008a9: MSTORE
000008aa: PUSH1 0xa0
000008ac: DUP2
000008ad: ADD
000008ae: DUP5
000008af: SWAP1
000008b0: MSTORE
000008b1: SWAP1
000008b2: DUP3
000008b3: AND
000008b4: PUSH1 0xc0
000008b6: DUP3
000008b7: ADD
000008b8: MSTORE
000008b9: PUSH1 0x00
000008bb: SWAP1
000008bc: DUP2
000008bd: SWAP1
000008be: PUSH1 0xe0
000008c0: ADD
000008c1: PUSH1 0x40
000008c3: MLOAD
000008c4: PUSH1 0x20
000008c6: DUP2
000008c7: DUP4
000008c8: SUB
000008c9: SUB
000008ca: DUP2
000008cb: MSTORE
000008cc: SWAP1
000008cd: PUSH1 0x40
000008cf: MSTORE
000008d0: DUP1
000008d1: MLOAD
000008d2: SWAP1
000008d3: PUSH1 0x20
000008d5: ADD
000008d6: KECCAK256
000008d7: SWAP1
000008d8: POP
000008d9: PUSH2 0x08e1
000008dc: DUP2
000008dd: PUSH2 0x1442
000008e0: JUMP
000008e1: JUMPDEST
000008e2: SWAP8
000008e3: SWAP7
000008e4: POP
000008e5: POP
000008e6: POP
000008e7: POP
000008e8: POP
000008e9: POP
000008ea: POP
000008eb: JUMP
000008ec: JUMPDEST
000008ed: PUSH2 0x08f4
000008f0: PUSH2 0x0dc5
000008f3: JUMP
000008f4: JUMPDEST
000008f5: CALLER
000008f6: PUSH1 0x00
000008f8: DUP2
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x0c
000008fd: PUSH1 0x20
000008ff: MSTORE
00000900: PUSH1 0x40
00000902: SWAP1
00000903: KECCAK256
00000904: SLOAD
00000905: SWAP1
00000906: TIMESTAMP
00000907: SWAP1
00000908: PUSH2 0x0910
0000090b: SWAP1
0000090c: PUSH2 0x0cc1
0000090f: JUMP
00000910: JUMPDEST
00000911: PUSH5 0xffffffffff
00000917: AND
00000918: EQ
00000919: PUSH2 0x0930
0000091c: JUMPI
0000091d: PUSH2 0x0926
00000920: CALLER
00000921: TIMESTAMP
00000922: PUSH2 0x146f
00000925: JUMP
00000926: JUMPDEST
00000927: PUSH2 0x0930
0000092a: CALLER
0000092b: DUP3
0000092c: PUSH2 0x1484
0000092f: JUMP
00000930: JUMPDEST
00000931: PUSH2 0x0940
00000934: PUSH1 0x60
00000936: DUP6
00000937: ADD
00000938: PUSH1 0x40
0000093a: DUP7
0000093b: ADD
0000093c: PUSH2 0x1f0c
0000093f: JUMP
00000940: JUMPDEST
00000941: PUSH1 0x01
00000943: PUSH1 0x01
00000945: PUSH1 0x80
00000947: SHL
00000948: SUB
00000949: AND
0000094a: PUSH1 0x00
0000094c: SUB
0000094d: PUSH2 0x0969
00000950: JUMPI
00000951: PUSH1 0x40
00000953: MLOAD
00000954: PUSH4 0x05d7ba19
00000959: PUSH1 0xe1
0000095b: SHL
0000095c: DUP2
0000095d: MSTORE
0000095e: PUSH1 0x04
00000960: ADD
00000961: PUSH1 0x40
00000963: MLOAD
00000964: DUP1
00000965: SWAP2
00000966: SUB
00000967: SWAP1
00000968: REVERT
00000969: JUMPDEST
0000096a: PUSH1 0x00
0000096c: DUP1
0000096d: DUP1
0000096e: PUSH2 0x0979
00000971: DUP6
00000972: DUP8
00000973: ADD
00000974: DUP8
00000975: PUSH2 0x1f29
00000978: JUMP
00000979: JUMPDEST
0000097a: SWAP2
0000097b: SWAP5
0000097c: POP
0000097d: SWAP3
0000097e: POP
0000097f: SWAP1
00000980: POP
00000981: DUP2
00000982: ISZERO
00000983: PUSH2 0x09d0
00000986: JUMPI
00000987: PUSH1 0x01
00000989: PUSH1 0x01
0000098b: PUSH1 0xa0
0000098d: SHL
0000098e: SUB
0000098f: DUP2
00000990: AND
00000991: ISZERO
00000992: PUSH2 0x09ae
00000995: JUMPI
00000996: PUSH1 0x40
00000998: MLOAD
00000999: PUSH4 0x298ec655
0000099e: PUSH1 0xe0
000009a0: SHL
000009a1: DUP2
000009a2: MSTORE
000009a3: PUSH1 0x04
000009a5: ADD
000009a6: PUSH1 0x40
000009a8: MLOAD
000009a9: DUP1
000009aa: SWAP2
000009ab: SUB
000009ac: SWAP1
000009ad: REVERT
000009ae: JUMPDEST
000009af: CALLER
000009b0: PUSH1 0x00
000009b2: SWAP1
000009b3: DUP2
000009b4: MSTORE
000009b5: PUSH1 0x0a
000009b7: PUSH1 0x20
000009b9: SWAP1
000009ba: DUP2
000009bb: MSTORE
000009bc: PUSH1 0x40
000009be: DUP1
000009bf: DUP4
000009c0: KECCAK256
000009c1: DUP8
000009c2: DUP5
000009c3: MSTORE
000009c4: SWAP1
000009c5: SWAP2
000009c6: MSTORE
000009c7: SWAP1
000009c8: KECCAK256
000009c9: DUP3
000009ca: SWAP1
000009cb: SSTORE
000009cc: PUSH2 0x0a36
000009cf: JUMP
000009d0: JUMPDEST
000009d1: PUSH1 0x01
000009d3: PUSH1 0x01
000009d5: PUSH1 0xa0
000009d7: SHL
000009d8: SUB
000009d9: DUP2
000009da: AND
000009db: ISZERO
000009dc: PUSH2 0x0a36
000009df: JUMPI
000009e0: CALLER
000009e1: PUSH1 0x00
000009e3: DUP2
000009e4: DUP2
000009e5: MSTORE
000009e6: PUSH1 0x03
000009e8: PUSH1 0x20
000009ea: SWAP1
000009eb: DUP2
000009ec: MSTORE
000009ed: PUSH1 0x40
000009ef: DUP1
000009f0: DUP4
000009f1: KECCAK256
000009f2: DUP9
000009f3: DUP5
000009f4: MSTORE
000009f5: DUP3
000009f6: MSTORE
000009f7: DUP1
000009f8: DUP4
000009f9: KECCAK256
000009fa: DUP1
000009fb: SLOAD
000009fc: PUSH1 0x01
000009fe: PUSH1 0x01
00000a00: PUSH1 0xa0
00000a02: SHL
00000a03: SUB
00000a04: NOT
00000a05: AND
00000a06: PUSH1 0x01
00000a08: PUSH1 0x01
00000a0a: PUSH1 0xa0
00000a0c: SHL
00000a0d: SUB
00000a0e: DUP8
00000a0f: AND
00000a10: OR
00000a11: SWAP1
00000a12: SSTORE
00000a13: SWAP3
00000a14: DUP3
00000a15: MSTORE
00000a16: PUSH1 0x02
00000a18: DUP2
00000a19: MSTORE
00000a1a: DUP3
00000a1b: DUP3
00000a1c: KECCAK256
00000a1d: DUP8
00000a1e: DUP4
00000a1f: MSTORE
00000a20: SWAP1
00000a21: MSTORE
00000a22: SWAP1
00000a23: DUP2
00000a24: KECCAK256
00000a25: DUP1
00000a26: SLOAD
00000a27: SWAP2
00000a28: PUSH2 0x0a30
00000a2b: DUP4
00000a2c: PUSH2 0x1f78
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: SWAP2
00000a32: SWAP1
00000a33: POP
00000a34: SSTORE
00000a35: POP
00000a36: JUMPDEST
00000a37: CALLER
00000a38: PUSH1 0x00
00000a3a: DUP2
00000a3b: DUP2
00000a3c: MSTORE
00000a3d: PUSH1 0x0b
00000a3f: PUSH1 0x20
00000a41: SWAP1
00000a42: DUP2
00000a43: MSTORE
00000a44: PUSH1 0x40
00000a46: DUP1
00000a47: DUP4
00000a48: KECCAK256
00000a49: DUP1
00000a4a: SLOAD
00000a4b: PUSH1 0x01
00000a4d: DUP2
00000a4e: DUP2
00000a4f: ADD
00000a50: DUP4
00000a51: SSTORE
00000a52: SWAP2
00000a53: DUP6
00000a54: MSTORE
00000a55: DUP4
00000a56: DUP6
00000a57: KECCAK256
00000a58: ADD
00000a59: DUP9
00000a5a: SWAP1
00000a5b: SSTORE
00000a5c: SWAP4
00000a5d: DUP4
00000a5e: MSTORE
00000a5f: PUSH1 0x0c
00000a61: DUP3
00000a62: MSTORE
00000a63: DUP3
00000a64: KECCAK256
00000a65: DUP1
00000a66: SLOAD
00000a67: SWAP4
00000a68: DUP5
00000a69: ADD
00000a6a: DUP2
00000a6b: SSTORE
00000a6c: DUP3
00000a6d: MSTORE
00000a6e: SWAP1
00000a6f: KECCAK256
00000a70: DUP9
00000a71: SWAP2
00000a72: ADD
00000a73: PUSH2 0x0a7c
00000a76: DUP3
00000a77: DUP3
00000a78: PUSH2 0x1fa6
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: POP
00000a7e: PUSH1 0x00
00000a80: SWAP1
00000a81: POP
00000a82: PUSH1 0x01
00000a84: PUSH1 0x01
00000a86: PUSH1 0x78
00000a88: SHL
00000a89: SUB
00000a8a: PUSH2 0x0a99
00000a8d: PUSH1 0x60
00000a8f: DUP11
00000a90: ADD
00000a91: PUSH1 0x40
00000a93: DUP12
00000a94: ADD
00000a95: PUSH2 0x1f0c
00000a98: JUMP
00000a99: JUMPDEST
00000a9a: PUSH1 0x01
00000a9c: PUSH1 0x01
00000a9e: PUSH1 0x80
00000aa0: SHL
00000aa1: SUB
00000aa2: AND
00000aa3: EQ
00000aa4: PUSH2 0x0aae
00000aa7: JUMPI
00000aa8: PUSH1 0x00
00000aaa: PUSH2 0x0ab1
00000aad: JUMP
00000aae: JUMPDEST
00000aaf: PUSH1 0x01
00000ab1: JUMPDEST
00000ab2: SWAP1
00000ab3: POP
00000ab4: PUSH1 0x00
00000ab6: PUSH1 0x01
00000ab8: PUSH1 0x01
00000aba: PUSH1 0x40
00000abc: SHL
00000abd: SUB
00000abe: PUSH2 0x0acd
00000ac1: PUSH1 0x40
00000ac3: DUP12
00000ac4: ADD
00000ac5: PUSH1 0x20
00000ac7: DUP13
00000ac8: ADD
00000ac9: PUSH2 0x201f
00000acc: JUMP
00000acd: JUMPDEST
00000ace: PUSH1 0x01
00000ad0: PUSH1 0x01
00000ad2: PUSH1 0x40
00000ad4: SHL
00000ad5: SUB
00000ad6: AND
00000ad7: EQ
00000ad8: PUSH2 0x0ae2
00000adb: JUMPI
00000adc: PUSH1 0x00
00000ade: PUSH2 0x0ae5
00000ae1: JUMP
00000ae2: JUMPDEST
00000ae3: PUSH1 0x01
00000ae5: JUMPDEST
00000ae6: SWAP1
00000ae7: POP
00000ae8: DUP6
00000ae9: CALLER
00000aea: PUSH1 0x01
00000aec: PUSH1 0x01
00000aee: PUSH1 0xa0
00000af0: SHL
00000af1: SUB
00000af2: AND
00000af3: PUSH32 0x9bbb0d43f3d669c2a9c2bdcbb746c9f968d09d2277c9e9a39ced456e4d8a8213
00000b14: DUP8
00000b15: DUP13
00000b16: DUP9
00000b17: DUP9
00000b18: DUP9
00000b19: DUP9
00000b1a: PUSH1 0x40
00000b1c: MLOAD
00000b1d: PUSH2 0x0b2b
00000b20: SWAP7
00000b21: SWAP6
00000b22: SWAP5
00000b23: SWAP4
00000b24: SWAP3
00000b25: SWAP2
00000b26: SWAP1
00000b27: PUSH2 0x203c
00000b2a: JUMP
00000b2b: JUMPDEST
00000b2c: PUSH1 0x40
00000b2e: MLOAD
00000b2f: DUP1
00000b30: SWAP2
00000b31: SUB
00000b32: SWAP1
00000b33: LOG3
00000b34: POP
00000b35: POP
00000b36: POP
00000b37: POP
00000b38: POP
00000b39: POP
00000b3a: POP
00000b3b: POP
00000b3c: POP
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: PUSH1 0x0b
00000b41: PUSH1 0x20
00000b43: MSTORE
00000b44: DUP2
00000b45: PUSH1 0x00
00000b47: MSTORE
00000b48: PUSH1 0x40
00000b4a: PUSH1 0x00
00000b4c: KECCAK256
00000b4d: DUP2
00000b4e: DUP2
00000b4f: SLOAD
00000b50: DUP2
00000b51: LT
00000b52: PUSH2 0x0b5a
00000b55: JUMPI
00000b56: PUSH1 0x00
00000b58: DUP1
00000b59: REVERT
00000b5a: JUMPDEST
00000b5b: SWAP1
00000b5c: PUSH1 0x00
00000b5e: MSTORE
00000b5f: PUSH1 0x20
00000b61: PUSH1 0x00
00000b63: KECCAK256
00000b64: ADD
00000b65: PUSH1 0x00
00000b67: SWAP2
00000b68: POP
00000b69: SWAP2
00000b6a: POP
00000b6b: POP
00000b6c: SLOAD
00000b6d: DUP2
00000b6e: JUMP
00000b6f: JUMPDEST
00000b70: PUSH2 0x0b77
00000b73: PUSH2 0x0dc5
00000b76: JUMP
00000b77: JUMPDEST
00000b78: PUSH1 0x00
00000b7a: PUSH2 0x0b83
00000b7d: DUP9
00000b7e: DUP9
00000b7f: PUSH2 0x0e10
00000b82: JUMP
00000b83: JUMPDEST
00000b84: SWAP1
00000b85: POP
00000b86: DUP1
00000b87: PUSH2 0x0ba3
00000b8a: JUMPI
00000b8b: PUSH1 0x40
00000b8d: MLOAD
00000b8e: PUSH4 0x849c7449
00000b93: PUSH1 0xe0
00000b95: SHL
00000b96: DUP2
00000b97: MSTORE
00000b98: PUSH1 0x04
00000b9a: ADD
00000b9b: PUSH1 0x40
00000b9d: MLOAD
00000b9e: DUP1
00000b9f: SWAP2
00000ba0: SUB
00000ba1: SWAP1
00000ba2: REVERT
00000ba3: JUMPDEST
00000ba4: PUSH1 0x01
00000ba6: PUSH1 0x01
00000ba8: PUSH1 0xa0
00000baa: SHL
00000bab: SUB
00000bac: DUP9
00000bad: AND
00000bae: PUSH1 0x00
00000bb0: SWAP1
00000bb1: DUP2
00000bb2: MSTORE
00000bb3: PUSH1 0x05
00000bb5: PUSH1 0x20
00000bb7: SWAP1
00000bb8: DUP2
00000bb9: MSTORE
00000bba: PUSH1 0x40
00000bbc: DUP1
00000bbd: DUP4
00000bbe: KECCAK256
00000bbf: DUP11
00000bc0: DUP5
00000bc1: MSTORE
00000bc2: SWAP1
00000bc3: SWAP2
00000bc4: MSTORE
00000bc5: DUP2
00000bc6: KECCAK256
00000bc7: SWAP1
00000bc8: DUP4
00000bc9: SWAP1
00000bca: JUMPDEST
00000bcb: DUP2
00000bcc: DUP2
00000bcd: LT
00000bce: ISZERO
00000bcf: PUSH2 0x0c56
00000bd2: JUMPI
00000bd3: PUSH2 0x0c4e
00000bd6: DUP12
00000bd7: DUP12
00000bd8: DUP11
00000bd9: DUP11
00000bda: DUP6
00000bdb: DUP2
00000bdc: DUP2
00000bdd: LT
00000bde: PUSH2 0x0be9
00000be1: JUMPI
00000be2: PUSH2 0x0be9
00000be5: PUSH2 0x20c3
00000be8: JUMP
00000be9: JUMPDEST
00000bea: SWAP1
00000beb: POP
00000bec: PUSH1 0x20
00000bee: MUL
00000bef: ADD
00000bf0: CALLDATALOAD
00000bf1: DUP13
00000bf2: DUP11
00000bf3: DUP11
00000bf4: DUP8
00000bf5: DUP2
00000bf6: DUP2
00000bf7: LT
00000bf8: PUSH2 0x0c03
00000bfb: JUMPI
00000bfc: PUSH2 0x0c03
00000bff: PUSH2 0x20c3
00000c02: JUMP
00000c03: JUMPDEST
00000c04: SWAP1
00000c05: POP
00000c06: PUSH1 0x20
00000c08: MUL
00000c09: DUP2
00000c0a: ADD
00000c0b: SWAP1
00000c0c: PUSH2 0x0c15
00000c0f: SWAP2
00000c10: SWAP1
00000c11: PUSH2 0x20d9
00000c14: JUMP
00000c15: JUMPDEST
00000c16: DUP1
00000c17: DUP1
00000c18: PUSH1 0x20
00000c1a: MUL
00000c1b: PUSH1 0x20
00000c1d: ADD
00000c1e: PUSH1 0x40
00000c20: MLOAD
00000c21: SWAP1
00000c22: DUP2
00000c23: ADD
00000c24: PUSH1 0x40
00000c26: MSTORE
00000c27: DUP1
00000c28: SWAP4
00000c29: SWAP3
00000c2a: SWAP2
00000c2b: SWAP1
00000c2c: DUP2
00000c2d: DUP2
00000c2e: MSTORE
00000c2f: PUSH1 0x20
00000c31: ADD
00000c32: DUP4
00000c33: DUP4
00000c34: PUSH1 0x20
00000c36: MUL
00000c37: DUP1
00000c38: DUP3
00000c39: DUP5
00000c3a: CALLDATACOPY
00000c3b: PUSH1 0x00
00000c3d: SWAP3
00000c3e: ADD
00000c3f: SWAP2
00000c40: SWAP1
00000c41: SWAP2
00000c42: MSTORE
00000c43: POP
00000c44: DUP12
00000c45: SWAP3
00000c46: POP
00000c47: PUSH2 0x1499
00000c4a: SWAP2
00000c4b: POP
00000c4c: POP
00000c4d: JUMP
00000c4e: JUMPDEST
00000c4f: PUSH1 0x01
00000c51: ADD
00000c52: PUSH2 0x0bca
00000c55: JUMP
00000c56: JUMPDEST
00000c57: POP
00000c58: PUSH2 0x0c63
00000c5b: DUP11
00000c5c: DUP11
00000c5d: DUP4
00000c5e: DUP12
00000c5f: PUSH2 0x0e38
00000c62: JUMP
00000c63: JUMPDEST
00000c64: POP
00000c65: POP
00000c66: POP
00000c67: POP
00000c68: POP
00000c69: POP
00000c6a: POP
00000c6b: POP
00000c6c: POP
00000c6d: POP
00000c6e: JUMP
00000c6f: JUMPDEST
00000c70: PUSH1 0x0c
00000c72: PUSH1 0x20
00000c74: MSTORE
00000c75: DUP2
00000c76: PUSH1 0x00
00000c78: MSTORE
00000c79: PUSH1 0x40
00000c7b: PUSH1 0x00
00000c7d: KECCAK256
00000c7e: DUP2
00000c7f: DUP2
00000c80: SLOAD
00000c81: DUP2
00000c82: LT
00000c83: PUSH2 0x0c8b
00000c86: JUMPI
00000c87: PUSH1 0x00
00000c89: DUP1
00000c8a: REVERT
00000c8b: JUMPDEST
00000c8c: PUSH1 0x00
00000c8e: SWAP2
00000c8f: DUP3
00000c90: MSTORE
00000c91: PUSH1 0x20
00000c93: SWAP1
00000c94: SWAP2
00000c95: KECCAK256
00000c96: ADD
00000c97: SLOAD
00000c98: PUSH1 0x01
00000c9a: PUSH1 0x01
00000c9c: PUSH1 0x40
00000c9e: SHL
00000c9f: SUB
00000ca0: DUP1
00000ca1: DUP3
00000ca2: AND
00000ca3: SWAP4
00000ca4: POP
00000ca5: PUSH1 0x01
00000ca7: PUSH1 0x40
00000ca9: SHL
00000caa: DUP3
00000cab: DIV
00000cac: AND
00000cad: SWAP2
00000cae: POP
00000caf: PUSH1 0x01
00000cb1: PUSH1 0x80
00000cb3: SHL
00000cb4: SWAP1
00000cb5: DIV
00000cb6: PUSH1 0x01
00000cb8: PUSH1 0x01
00000cba: PUSH1 0x80
00000cbc: SHL
00000cbd: SUB
00000cbe: AND
00000cbf: DUP4
00000cc0: JUMP
00000cc1: JUMPDEST
00000cc2: PUSH1 0x00
00000cc4: PUSH2 0x04b6
00000cc7: PUSH1 0x07
00000cc9: DUP4
00000cca: PUSH1 0x01
00000ccc: PUSH1 0x01
00000cce: PUSH1 0xa0
00000cd0: SHL
00000cd1: SUB
00000cd2: AND
00000cd3: PUSH2 0x0d3e
00000cd6: JUMP
00000cd7: JUMPDEST
00000cd8: PUSH2 0x0cdf
00000cdb: PUSH2 0x0d5e
00000cde: JUMP
00000cdf: JUMPDEST
00000ce0: PUSH4 0x389a75e1
00000ce5: PUSH1 0x0c
00000ce7: MSTORE
00000ce8: DUP1
00000ce9: PUSH1 0x00
00000ceb: MSTORE
00000cec: PUSH1 0x20
00000cee: PUSH1 0x0c
00000cf0: KECCAK256
00000cf1: DUP1
00000cf2: SLOAD
00000cf3: TIMESTAMP
00000cf4: GT
00000cf5: ISZERO
00000cf6: PUSH2 0x0d07
00000cf9: JUMPI
00000cfa: PUSH4 0x6f5e8818
00000cff: PUSH1 0x00
00000d01: MSTORE
00000d02: PUSH1 0x04
00000d04: PUSH1 0x1c
00000d06: REVERT
00000d07: JUMPDEST
00000d08: PUSH1 0x00
00000d0a: SWAP1
00000d0b: SSTORE
00000d0c: PUSH2 0x0d14
00000d0f: DUP2
00000d10: PUSH2 0x131c
00000d13: JUMP
00000d14: JUMPDEST
00000d15: POP
00000d16: JUMP
00000d17: JUMPDEST
00000d18: PUSH2 0x0d1f
00000d1b: PUSH2 0x0d5e
00000d1e: JUMP
00000d1f: JUMPDEST
00000d20: DUP1
00000d21: PUSH1 0x60
00000d23: SHL
00000d24: PUSH2 0x0d35
00000d27: JUMPI
00000d28: PUSH4 0x7448fbae
00000d2d: PUSH1 0x00
00000d2f: MSTORE
00000d30: PUSH1 0x04
00000d32: PUSH1 0x1c
00000d34: REVERT
00000d35: JUMPDEST
00000d36: PUSH2 0x0d14
00000d39: DUP2
00000d3a: PUSH2 0x131c
00000d3d: JUMP
00000d3e: JUMPDEST
00000d3f: PUSH1 0x06
00000d41: DUP1
00000d42: DUP3
00000d43: DIV
00000d44: PUSH1 0x00
00000d46: SWAP1
00000d47: DUP2
00000d48: MSTORE
00000d49: PUSH1 0x20
00000d4b: SWAP4
00000d4c: SWAP1
00000d4d: SWAP4
00000d4e: MSTORE
00000d4f: PUSH1 0x40
00000d51: SWAP1
00000d52: SWAP3
00000d53: KECCAK256
00000d54: SLOAD
00000d55: SWAP2
00000d56: SWAP1
00000d57: MOD
00000d58: PUSH1 0x28
00000d5a: MUL
00000d5b: SHR
00000d5c: SWAP1
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: PUSH4 0x8b78c6d8
00000d64: NOT
00000d65: SLOAD
00000d66: CALLER
00000d67: EQ
00000d68: PUSH2 0x053e
00000d6b: JUMPI
00000d6c: PUSH4 0x82b42900
00000d71: PUSH1 0x00
00000d73: MSTORE
00000d74: PUSH1 0x04
00000d76: PUSH1 0x1c
00000d78: REVERT
00000d79: JUMPDEST
00000d7a: PUSH2 0x0d81
00000d7d: PUSH2 0x15a3
00000d80: JUMP
00000d81: JUMPDEST
00000d82: PUSH1 0x04
00000d84: DUP1
00000d85: SLOAD
00000d86: PUSH1 0xff
00000d88: NOT
00000d89: AND
00000d8a: SWAP1
00000d8b: SSTORE
00000d8c: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00000dad: CALLER
00000dae: JUMPDEST
00000daf: PUSH1 0x40
00000db1: MLOAD
00000db2: PUSH2 0x0dbb
00000db5: SWAP2
00000db6: SWAP1
00000db7: PUSH2 0x1d9d
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: PUSH1 0x40
00000dbe: MLOAD
00000dbf: DUP1
00000dc0: SWAP2
00000dc1: SUB
00000dc2: SWAP1
00000dc3: LOG1
00000dc4: JUMP
00000dc5: JUMPDEST
00000dc6: PUSH1 0x04
00000dc8: SLOAD
00000dc9: PUSH1 0xff
00000dcb: AND
00000dcc: ISZERO
00000dcd: PUSH2 0x053e
00000dd0: JUMPI
00000dd1: PUSH1 0x40
00000dd3: MLOAD
00000dd4: PUSH3 0x461bcd
00000dd8: PUSH1 0xe5
00000dda: SHL
00000ddb: DUP2
00000ddc: MSTORE
00000ddd: PUSH1 0x20
00000ddf: PUSH1 0x04
00000de1: DUP3
00000de2: ADD
00000de3: MSTORE
00000de4: PUSH1 0x10
00000de6: PUSH1 0x24
00000de8: DUP3
00000de9: ADD
00000dea: MSTORE
00000deb: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00000dfc: PUSH1 0x82
00000dfe: SHL
00000dff: PUSH1 0x44
00000e01: DUP3
00000e02: ADD
00000e03: MSTORE
00000e04: PUSH1 0x64
00000e06: ADD
00000e07: JUMPDEST
00000e08: PUSH1 0x40
00000e0a: MLOAD
00000e0b: DUP1
00000e0c: SWAP2
00000e0d: SUB
00000e0e: SWAP1
00000e0f: REVERT
00000e10: JUMPDEST
00000e11: PUSH1 0x01
00000e13: PUSH1 0x01
00000e15: PUSH1 0xa0
00000e17: SHL
00000e18: SUB
00000e19: SWAP2
00000e1a: SWAP1
00000e1b: SWAP2
00000e1c: AND
00000e1d: PUSH1 0x00
00000e1f: SWAP1
00000e20: DUP2
00000e21: MSTORE
00000e22: PUSH1 0x0a
00000e24: PUSH1 0x20
00000e26: SWAP1
00000e27: DUP2
00000e28: MSTORE
00000e29: PUSH1 0x40
00000e2b: DUP1
00000e2c: DUP4
00000e2d: KECCAK256
00000e2e: SWAP4
00000e2f: DUP4
00000e30: MSTORE
00000e31: SWAP3
00000e32: SWAP1
00000e33: MSTORE
00000e34: KECCAK256
00000e35: SLOAD
00000e36: SWAP1
00000e37: JUMP
00000e38: JUMPDEST
00000e39: PUSH1 0x01
00000e3b: PUSH1 0x01
00000e3d: PUSH1 0xa0
00000e3f: SHL
00000e40: SUB
00000e41: DUP5
00000e42: AND
00000e43: PUSH1 0x00
00000e45: SWAP1
00000e46: DUP2
00000e47: MSTORE
00000e48: PUSH1 0x0c
00000e4a: PUSH1 0x20
00000e4c: MSTORE
00000e4d: PUSH1 0x40
00000e4f: DUP2
00000e50: KECCAK256
00000e51: SLOAD
00000e52: SWAP1
00000e53: PUSH2 0x0e5b
00000e56: DUP7
00000e57: PUSH2 0x050b
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: SWAP1
00000e5d: POP
00000e5e: DUP2
00000e5f: PUSH1 0x00
00000e61: SUB
00000e62: PUSH2 0x0e7e
00000e65: JUMPI
00000e66: PUSH1 0x40
00000e68: MLOAD
00000e69: PUSH4 0xc1ab6dc1
00000e6e: PUSH1 0xe0
00000e70: SHL
00000e71: DUP2
00000e72: MSTORE
00000e73: PUSH1 0x04
00000e75: ADD
00000e76: PUSH1 0x40
00000e78: MLOAD
00000e79: DUP1
00000e7a: SWAP2
00000e7b: SUB
00000e7c: SWAP1
00000e7d: REVERT
00000e7e: JUMPDEST
00000e7f: DUP2
00000e80: DUP6
00000e81: LT
00000e82: ISZERO
00000e83: DUP1
00000e84: PUSH2 0x0e8c
00000e87: JUMPI
00000e88: POP
00000e89: DUP1
00000e8a: DUP6
00000e8b: LT
00000e8c: JUMPDEST
00000e8d: ISZERO
00000e8e: PUSH2 0x0eaa
00000e91: JUMPI
00000e92: PUSH1 0x40
00000e94: MLOAD
00000e95: PUSH4 0xe46aea09
00000e9a: PUSH1 0xe0
00000e9c: SHL
00000e9d: DUP2
00000e9e: MSTORE
00000e9f: PUSH1 0x04
00000ea1: ADD
00000ea2: PUSH1 0x40
00000ea4: MLOAD
00000ea5: DUP1
00000ea6: SWAP2
00000ea7: SUB
00000ea8: SWAP1
00000ea9: REVERT
00000eaa: JUMPDEST
00000eab: PUSH1 0x01
00000ead: PUSH1 0x01
00000eaf: PUSH1 0xa0
00000eb1: SHL
00000eb2: SUB
00000eb3: DUP7
00000eb4: AND
00000eb5: PUSH1 0x00
00000eb7: SWAP1
00000eb8: DUP2
00000eb9: MSTORE
00000eba: PUSH1 0x0c
00000ebc: PUSH1 0x20
00000ebe: MSTORE
00000ebf: PUSH1 0x40
00000ec1: DUP2
00000ec2: KECCAK256
00000ec3: DUP1
00000ec4: SLOAD
00000ec5: DUP8
00000ec6: SWAP1
00000ec7: DUP2
00000ec8: LT
00000ec9: PUSH2 0x0ed4
00000ecc: JUMPI
00000ecd: PUSH2 0x0ed4
00000ed0: PUSH2 0x20c3
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: PUSH1 0x00
00000ed7: SWAP2
00000ed8: DUP3
00000ed9: MSTORE
00000eda: PUSH1 0x20
00000edc: SWAP1
00000edd: SWAP2
00000ede: KECCAK256
00000edf: ADD
00000ee0: DUP1
00000ee1: SLOAD
00000ee2: SWAP1
00000ee3: SWAP2
00000ee4: POP
00000ee5: PUSH1 0x01
00000ee7: PUSH1 0x01
00000ee9: PUSH1 0x40
00000eeb: SHL
00000eec: SUB
00000eed: AND
00000eee: TIMESTAMP
00000eef: LT
00000ef0: ISZERO
00000ef1: PUSH2 0x0f0d
00000ef4: JUMPI
00000ef5: PUSH1 0x40
00000ef7: MLOAD
00000ef8: PUSH4 0x6f312cbd
00000efd: PUSH1 0xe0
00000eff: SHL
00000f00: DUP2
00000f01: MSTORE
00000f02: PUSH1 0x04
00000f04: ADD
00000f05: PUSH1 0x40
00000f07: MLOAD
00000f08: DUP1
00000f09: SWAP2
00000f0a: SUB
00000f0b: SWAP1
00000f0c: REVERT
00000f0d: JUMPDEST
00000f0e: DUP1
00000f0f: SLOAD
00000f10: PUSH1 0x01
00000f12: PUSH1 0x40
00000f14: SHL
00000f15: SWAP1
00000f16: DIV
00000f17: PUSH1 0x01
00000f19: PUSH1 0x01
00000f1b: PUSH1 0x40
00000f1d: SHL
00000f1e: SUB
00000f1f: AND
00000f20: TIMESTAMP
00000f21: GT
00000f22: ISZERO
00000f23: PUSH2 0x0f3f
00000f26: JUMPI
00000f27: PUSH1 0x40
00000f29: MLOAD
00000f2a: PUSH4 0x477383f3
00000f2f: PUSH1 0xe0
00000f31: SHL
00000f32: DUP2
00000f33: MSTORE
00000f34: PUSH1 0x04
00000f36: ADD
00000f37: PUSH1 0x40
00000f39: MLOAD
00000f3a: DUP1
00000f3b: SWAP2
00000f3c: SUB
00000f3d: SWAP1
00000f3e: REVERT
00000f3f: JUMPDEST
00000f40: DUP1
00000f41: SLOAD
00000f42: PUSH1 0x01
00000f44: PUSH1 0x80
00000f46: SHL
00000f47: SWAP1
00000f48: DIV
00000f49: PUSH1 0x01
00000f4b: PUSH1 0x01
00000f4d: PUSH1 0x80
00000f4f: SHL
00000f50: SUB
00000f51: AND
00000f52: DUP6
00000f53: GT
00000f54: ISZERO
00000f55: PUSH2 0x0f71
00000f58: JUMPI
00000f59: PUSH1 0x40
00000f5b: MLOAD
00000f5c: PUSH4 0x6b2d630f
00000f61: PUSH1 0xe1
00000f63: SHL
00000f64: DUP2
00000f65: MSTORE
00000f66: PUSH1 0x04
00000f68: ADD
00000f69: PUSH1 0x40
00000f6b: MLOAD
00000f6c: DUP1
00000f6d: SWAP2
00000f6e: SUB
00000f6f: SWAP1
00000f70: REVERT
00000f71: JUMPDEST
00000f72: PUSH1 0x01
00000f74: PUSH1 0x01
00000f76: PUSH1 0xa0
00000f78: SHL
00000f79: SUB
00000f7a: DUP5
00000f7b: AND
00000f7c: PUSH2 0x0f98
00000f7f: JUMPI
00000f80: PUSH1 0x40
00000f82: MLOAD
00000f83: PUSH4 0x9fabe1c1
00000f88: PUSH1 0xe0
00000f8a: SHL
00000f8b: DUP2
00000f8c: MSTORE
00000f8d: PUSH1 0x04
00000f8f: ADD
00000f90: PUSH1 0x40
00000f92: MLOAD
00000f93: DUP1
00000f94: SWAP2
00000f95: SUB
00000f96: SWAP1
00000f97: REVERT
00000f98: JUMPDEST
00000f99: PUSH1 0x01
00000f9b: PUSH1 0x01
00000f9d: PUSH1 0xa0
00000f9f: SHL
00000fa0: SUB
00000fa1: DUP8
00000fa2: AND
00000fa3: PUSH1 0x00
00000fa5: SWAP1
00000fa6: DUP2
00000fa7: MSTORE
00000fa8: PUSH1 0x0b
00000faa: PUSH1 0x20
00000fac: MSTORE
00000fad: PUSH1 0x40
00000faf: DUP2
00000fb0: KECCAK256
00000fb1: DUP1
00000fb2: SLOAD
00000fb3: DUP9
00000fb4: SWAP1
00000fb5: DUP2
00000fb6: LT
00000fb7: PUSH2 0x0fc2
00000fba: JUMPI
00000fbb: PUSH2 0x0fc2
00000fbe: PUSH2 0x20c3
00000fc1: JUMP
00000fc2: JUMPDEST
00000fc3: SWAP1
00000fc4: PUSH1 0x00
00000fc6: MSTORE
00000fc7: PUSH1 0x20
00000fc9: PUSH1 0x00
00000fcb: KECCAK256
00000fcc: ADD
00000fcd: SLOAD
00000fce: DUP7
00000fcf: PUSH2 0x0fd8
00000fd2: SWAP2
00000fd3: SWAP1
00000fd4: PUSH2 0x2122
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: SWAP1
00000fda: POP
00000fdb: DUP1
00000fdc: CALLVALUE
00000fdd: EQ
00000fde: PUSH2 0x0ffa
00000fe1: JUMPI
00000fe2: PUSH1 0x40
00000fe4: MLOAD
00000fe5: PUSH4 0x078d6965
00000fea: PUSH1 0xe3
00000fec: SHL
00000fed: DUP2
00000fee: MSTORE
00000fef: PUSH1 0x04
00000ff1: ADD
00000ff2: PUSH1 0x40
00000ff4: MLOAD
00000ff5: DUP1
00000ff6: SWAP2
00000ff7: SUB
00000ff8: SWAP1
00000ff9: REVERT
00000ffa: JUMPDEST
00000ffb: PUSH2 0x1003
00000ffe: DUP7
00000fff: PUSH2 0x15ec
00001002: JUMP
00001003: JUMPDEST
00001004: DUP3
00001005: SLOAD
00001006: DUP4
00001007: SWAP1
00001008: PUSH1 0x10
0000100a: SWAP1
0000100b: PUSH2 0x1025
0000100e: SWAP1
0000100f: DUP5
00001010: SWAP1
00001011: PUSH1 0x01
00001013: PUSH1 0x80
00001015: SHL
00001016: SWAP1
00001017: DIV
00001018: PUSH1 0x01
0000101a: PUSH1 0x01
0000101c: PUSH1 0x80
0000101e: SHL
0000101f: SUB
00001020: AND
00001021: PUSH2 0x2139
00001024: JUMP
00001025: JUMPDEST
00001026: SWAP3
00001027: POP
00001028: PUSH2 0x0100
0000102b: EXP
0000102c: DUP2
0000102d: SLOAD
0000102e: DUP2
0000102f: PUSH1 0x01
00001031: PUSH1 0x01
00001033: PUSH1 0x80
00001035: SHL
00001036: SUB
00001037: MUL
00001038: NOT
00001039: AND
0000103a: SWAP1
0000103b: DUP4
0000103c: PUSH1 0x01
0000103e: PUSH1 0x01
00001040: PUSH1 0x80
00001042: SHL
00001043: SUB
00001044: AND
00001045: MUL
00001046: OR
00001047: SWAP1
00001048: SSTORE
00001049: POP
0000104a: PUSH2 0x106f
0000104d: DUP9
0000104e: DUP3
0000104f: PUSH2 0x1057
00001052: DUP12
00001053: PUSH2 0x048f
00001056: JUMP
00001057: JUMPDEST
00001058: PUSH1 0x01
0000105a: PUSH1 0x01
0000105c: PUSH1 0x80
0000105e: SHL
0000105f: SUB
00001060: AND
00001061: PUSH2 0x106a
00001064: SWAP2
00001065: SWAP1
00001066: PUSH2 0x2160
00001069: JUMP
0000106a: JUMPDEST
0000106b: PUSH2 0x1285
0000106e: JUMP
0000106f: JUMPDEST
00001070: PUSH1 0x40
00001072: MLOAD
00001073: PUSH4 0x0ab714fb
00001078: PUSH1 0xe1
0000107a: SHL
0000107b: DUP2
0000107c: MSTORE
0000107d: PUSH1 0x01
0000107f: PUSH1 0x01
00001081: PUSH1 0xa0
00001083: SHL
00001084: SUB
00001085: DUP7
00001086: DUP2
00001087: AND
00001088: PUSH1 0x04
0000108a: DUP4
0000108b: ADD
0000108c: MSTORE
0000108d: PUSH1 0x24
0000108f: DUP3
00001090: ADD
00001091: DUP9
00001092: SWAP1
00001093: MSTORE
00001094: PUSH1 0x44
00001096: DUP3
00001097: ADD
00001098: DUP4
00001099: SWAP1
0000109a: MSTORE
0000109b: DUP10
0000109c: AND
0000109d: SWAP1
0000109e: PUSH4 0x156e29f6
000010a3: SWAP1
000010a4: PUSH1 0x64
000010a6: ADD
000010a7: PUSH1 0x00
000010a9: PUSH1 0x40
000010ab: MLOAD
000010ac: DUP1
000010ad: DUP4
000010ae: SUB
000010af: DUP2
000010b0: PUSH1 0x00
000010b2: DUP8
000010b3: DUP1
000010b4: EXTCODESIZE
000010b5: ISZERO
000010b6: DUP1
000010b7: ISZERO
000010b8: PUSH2 0x10c0
000010bb: JUMPI
000010bc: PUSH1 0x00
000010be: DUP1
000010bf: REVERT
000010c0: JUMPDEST
000010c1: POP
000010c2: GAS
000010c3: CALL
000010c4: ISZERO
000010c5: DUP1
000010c6: ISZERO
000010c7: PUSH2 0x10d4
000010ca: JUMPI
000010cb: RETURNDATASIZE
000010cc: PUSH1 0x00
000010ce: DUP1
000010cf: RETURNDATACOPY
000010d0: RETURNDATASIZE
000010d1: PUSH1 0x00
000010d3: REVERT
000010d4: JUMPDEST
000010d5: POP
000010d6: POP
000010d7: PUSH1 0x40
000010d9: DUP1
000010da: MLOAD
000010db: DUP10
000010dc: DUP2
000010dd: MSTORE
000010de: PUSH1 0x01
000010e0: PUSH1 0x01
000010e2: PUSH1 0xa0
000010e4: SHL
000010e5: SUB
000010e6: DUP10
000010e7: DUP2
000010e8: AND
000010e9: PUSH1 0x20
000010eb: DUP4
000010ec: ADD
000010ed: MSTORE
000010ee: SWAP2
000010ef: DUP2
000010f0: ADD
000010f1: DUP6
000010f2: SWAP1
000010f3: MSTORE
000010f4: CALLER
000010f5: SWAP4
000010f6: POP
000010f7: DUP11
000010f8: SWAP3
000010f9: POP
000010fa: SWAP1
000010fb: DUP12
000010fc: AND
000010fd: SWAP1
000010fe: PUSH32 0x1ed291f7d8423022df7d587aba59cfed69a7c95aeb081171cc756b396b31557f
0000111f: SWAP1
00001120: PUSH1 0x60
00001122: ADD
00001123: JUMPDEST
00001124: PUSH1 0x40
00001126: MLOAD
00001127: DUP1
00001128: SWAP2
00001129: SUB
0000112a: SWAP1
0000112b: LOG4
0000112c: POP
0000112d: POP
0000112e: POP
0000112f: POP
00001130: POP
00001131: POP
00001132: POP
00001133: POP
00001134: JUMP
00001135: JUMPDEST
00001136: PUSH2 0x113f
00001139: DUP2
0000113a: DUP7
0000113b: PUSH2 0x1602
0000113e: JUMP
0000113f: JUMPDEST
00001140: ISZERO
00001141: PUSH2 0x115d
00001144: JUMPI
00001145: PUSH1 0x40
00001147: MLOAD
00001148: PUSH4 0x34a4ecb9
0000114d: PUSH1 0xe1
0000114f: SHL
00001150: DUP2
00001151: MSTORE
00001152: PUSH1 0x04
00001154: ADD
00001155: PUSH1 0x40
00001157: MLOAD
00001158: DUP1
00001159: SWAP2
0000115a: SUB
0000115b: SWAP1
0000115c: REVERT
0000115d: JUMPDEST
0000115e: PUSH1 0x01
00001160: PUSH1 0x01
00001162: PUSH1 0xa0
00001164: SHL
00001165: SUB
00001166: DUP8
00001167: AND
00001168: PUSH1 0x00
0000116a: SWAP1
0000116b: DUP2
0000116c: MSTORE
0000116d: PUSH1 0x02
0000116f: PUSH1 0x20
00001171: SWAP1
00001172: DUP2
00001173: MSTORE
00001174: PUSH1 0x40
00001176: DUP1
00001177: DUP4
00001178: KECCAK256
00001179: DUP10
0000117a: DUP5
0000117b: MSTORE
0000117c: SWAP1
0000117d: SWAP2
0000117e: MSTORE
0000117f: DUP2
00001180: KECCAK256
00001181: SLOAD
00001182: SWAP1
00001183: PUSH2 0x118f
00001186: DUP10
00001187: DUP10
00001188: DUP5
00001189: DUP11
0000118a: DUP11
0000118b: PUSH2 0x085f
0000118e: JUMP
0000118f: JUMPDEST
00001190: PUSH1 0x01
00001192: PUSH1 0x01
00001194: PUSH1 0xa0
00001196: SHL
00001197: SUB
00001198: DUP1
00001199: DUP12
0000119a: AND
0000119b: PUSH1 0x00
0000119d: SWAP1
0000119e: DUP2
0000119f: MSTORE
000011a0: PUSH1 0x03
000011a2: PUSH1 0x20
000011a4: SWAP1
000011a5: DUP2
000011a6: MSTORE
000011a7: PUSH1 0x40
000011a9: DUP1
000011aa: DUP4
000011ab: KECCAK256
000011ac: DUP14
000011ad: DUP5
000011ae: MSTORE
000011af: DUP3
000011b0: MSTORE
000011b1: SWAP2
000011b2: DUP3
000011b3: SWAP1
000011b4: KECCAK256
000011b5: SLOAD
000011b6: DUP3
000011b7: MLOAD
000011b8: PUSH1 0x1f
000011ba: DUP11
000011bb: ADD
000011bc: DUP4
000011bd: SWAP1
000011be: DIV
000011bf: DUP4
000011c0: MUL
000011c1: DUP2
000011c2: ADD
000011c3: DUP4
000011c4: ADD
000011c5: SWAP1
000011c6: SWAP4
000011c7: MSTORE
000011c8: DUP9
000011c9: DUP4
000011ca: MSTORE
000011cb: SWAP4
000011cc: SWAP5
000011cd: POP
000011ce: SWAP3
000011cf: SWAP1
000011d0: SWAP2
000011d1: AND
000011d2: SWAP2
000011d3: PUSH2 0x1204
000011d6: SWAP2
000011d7: DUP5
000011d8: SWAP2
000011d9: DUP10
000011da: SWAP1
000011db: DUP10
000011dc: SWAP1
000011dd: DUP2
000011de: SWAP1
000011df: DUP5
000011e0: ADD
000011e1: DUP4
000011e2: DUP3
000011e3: DUP1
000011e4: DUP3
000011e5: DUP5
000011e6: CALLDATACOPY
000011e7: PUSH1 0x00
000011e9: SWAP3
000011ea: ADD
000011eb: SWAP2
000011ec: SWAP1
000011ed: SWAP2
000011ee: MSTORE
000011ef: POP
000011f0: POP
000011f1: PUSH1 0x01
000011f3: PUSH1 0x01
000011f5: PUSH1 0xa0
000011f7: SHL
000011f8: SUB
000011f9: DUP7
000011fa: AND
000011fb: SWAP4
000011fc: SWAP3
000011fd: SWAP2
000011fe: POP
000011ff: POP
00001200: PUSH2 0x1624
00001203: JUMP
00001204: JUMPDEST
00001205: PUSH2 0x1221
00001208: JUMPI
00001209: PUSH1 0x40
0000120b: MLOAD
0000120c: PUSH4 0x8baa579f
00001211: PUSH1 0xe0
00001213: SHL
00001214: DUP2
00001215: MSTORE
00001216: PUSH1 0x04
00001218: ADD
00001219: PUSH1 0x40
0000121b: MLOAD
0000121c: DUP1
0000121d: SWAP2
0000121e: SUB
0000121f: SWAP1
00001220: REVERT
00001221: JUMPDEST
00001222: PUSH2 0x122b
00001225: DUP5
00001226: DUP10
00001227: PUSH2 0x1685
0000122a: JUMP
0000122b: JUMPDEST
0000122c: DUP7
0000122d: PUSH1 0x01
0000122f: PUSH1 0x01
00001231: PUSH1 0xa0
00001233: SHL
00001234: SUB
00001235: AND
00001236: DUP10
00001237: DUP12
00001238: PUSH1 0x01
0000123a: PUSH1 0x01
0000123c: PUSH1 0xa0
0000123e: SHL
0000123f: SUB
00001240: AND
00001241: PUSH32 0x494f010c97f6ccb9604ae91b0030ffe42d4e29e25cc0f97acd0c81d0744baba1
00001262: DUP12
00001263: PUSH1 0x40
00001265: MLOAD
00001266: PUSH2 0x1271
00001269: SWAP2
0000126a: DUP2
0000126b: MSTORE
0000126c: PUSH1 0x20
0000126e: ADD
0000126f: SWAP1
00001270: JUMP
00001271: JUMPDEST
00001272: PUSH1 0x40
00001274: MLOAD
00001275: DUP1
00001276: SWAP2
00001277: SUB
00001278: SWAP1
00001279: LOG4
0000127a: POP
0000127b: POP
0000127c: POP
0000127d: POP
0000127e: POP
0000127f: POP
00001280: POP
00001281: POP
00001282: POP
00001283: POP
00001284: JUMP
00001285: JUMPDEST
00001286: PUSH1 0x09
00001288: PUSH1 0x20
0000128a: MSTORE
0000128b: PUSH1 0x01
0000128d: PUSH1 0x01
0000128f: PUSH1 0x9f
00001291: SHL
00001292: SUB
00001293: PUSH1 0x01
00001295: DUP4
00001296: SWAP1
00001297: SHR
00001298: AND
00001299: PUSH1 0x00
0000129b: SWAP1
0000129c: DUP2
0000129d: MSTORE
0000129e: PUSH1 0x40
000012a0: SWAP1
000012a1: KECCAK256
000012a2: DUP1
000012a3: SLOAD
000012a4: PUSH1 0x80
000012a6: PUSH1 0x07
000012a8: DUP6
000012a9: SWAP1
000012aa: SHL
000012ab: AND
000012ac: DUP2
000012ad: DUP2
000012ae: SHR
000012af: DUP5
000012b0: XOR
000012b1: PUSH1 0x01
000012b3: PUSH1 0x01
000012b5: PUSH1 0x80
000012b7: SHL
000012b8: SUB
000012b9: AND
000012ba: SWAP1
000012bb: SHL
000012bc: XOR
000012bd: SWAP1
000012be: SSTORE
000012bf: POP
000012c0: POP
000012c1: JUMP
000012c2: JUMPDEST
000012c3: POP
000012c4: POP
000012c5: JUMP
000012c6: JUMPDEST
000012c7: PUSH1 0x00
000012c9: DUP1
000012ca: PUSH1 0x00
000012cc: DUP1
000012cd: PUSH1 0x00
000012cf: DUP6
000012d0: DUP8
000012d1: GAS
000012d2: CALL
000012d3: SWAP1
000012d4: POP
000012d5: DUP1
000012d6: PUSH2 0x1317
000012d9: JUMPI
000012da: PUSH1 0x40
000012dc: MLOAD
000012dd: PUSH3 0x461bcd
000012e1: PUSH1 0xe5
000012e3: SHL
000012e4: DUP2
000012e5: MSTORE
000012e6: PUSH1 0x20
000012e8: PUSH1 0x04
000012ea: DUP3
000012eb: ADD
000012ec: MSTORE
000012ed: PUSH1 0x13
000012ef: PUSH1 0x24
000012f1: DUP3
000012f2: ADD
000012f3: MSTORE
000012f4: PUSH19 0x11551217d514905394d1915497d19052531151
00001308: PUSH1 0x6a
0000130a: SHL
0000130b: PUSH1 0x44
0000130d: DUP3
0000130e: ADD
0000130f: MSTORE
00001310: PUSH1 0x64
00001312: ADD
00001313: PUSH2 0x0e07
00001316: JUMP
00001317: JUMPDEST
00001318: POP
00001319: POP
0000131a: POP
0000131b: JUMP
0000131c: JUMPDEST
0000131d: PUSH4 0x8b78c6d8
00001322: NOT
00001323: DUP1
00001324: SLOAD
00001325: PUSH1 0x01
00001327: PUSH1 0x01
00001329: PUSH1 0xa0
0000132b: SHL
0000132c: SUB
0000132d: SWAP1
0000132e: SWAP3
0000132f: AND
00001330: SWAP2
00001331: DUP3
00001332: SWAP1
00001333: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001354: PUSH1 0x00
00001356: DUP1
00001357: LOG3
00001358: SSTORE
00001359: JUMP
0000135a: JUMPDEST
0000135b: PUSH2 0x1362
0000135e: PUSH2 0x0dc5
00001361: JUMP
00001362: JUMPDEST
00001363: PUSH1 0x04
00001365: DUP1
00001366: SLOAD
00001367: PUSH1 0xff
00001369: NOT
0000136a: AND
0000136b: PUSH1 0x01
0000136d: OR
0000136e: SWAP1
0000136f: SSTORE
00001370: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001391: PUSH2 0x0dae
00001394: CALLER
00001395: SWAP1
00001396: JUMP
00001397: JUMPDEST
00001398: PUSH1 0x60
0000139a: PUSH1 0xff
0000139c: DUP4
0000139d: EQ
0000139e: PUSH2 0x13b1
000013a1: JUMPI
000013a2: PUSH2 0x13aa
000013a5: DUP4
000013a6: PUSH2 0x16ae
000013a9: JUMP
000013aa: JUMPDEST
000013ab: SWAP1
000013ac: POP
000013ad: PUSH2 0x04b6
000013b0: JUMP
000013b1: JUMPDEST
000013b2: DUP2
000013b3: DUP1
000013b4: SLOAD
000013b5: PUSH2 0x13bd
000013b8: SWAP1
000013b9: PUSH2 0x2173
000013bc: JUMP
000013bd: JUMPDEST
000013be: DUP1
000013bf: PUSH1 0x1f
000013c1: ADD
000013c2: PUSH1 0x20
000013c4: DUP1
000013c5: SWAP2
000013c6: DIV
000013c7: MUL
000013c8: PUSH1 0x20
000013ca: ADD
000013cb: PUSH1 0x40
000013cd: MLOAD
000013ce: SWAP1
000013cf: DUP2
000013d0: ADD
000013d1: PUSH1 0x40
000013d3: MSTORE
000013d4: DUP1
000013d5: SWAP3
000013d6: SWAP2
000013d7: SWAP1
000013d8: DUP2
000013d9: DUP2
000013da: MSTORE
000013db: PUSH1 0x20
000013dd: ADD
000013de: DUP3
000013df: DUP1
000013e0: SLOAD
000013e1: PUSH2 0x13e9
000013e4: SWAP1
000013e5: PUSH2 0x2173
000013e8: JUMP
000013e9: JUMPDEST
000013ea: DUP1
000013eb: ISZERO
000013ec: PUSH2 0x1436
000013ef: JUMPI
000013f0: DUP1
000013f1: PUSH1 0x1f
000013f3: LT
000013f4: PUSH2 0x140b
000013f7: JUMPI
000013f8: PUSH2 0x0100
000013fb: DUP1
000013fc: DUP4
000013fd: SLOAD
000013fe: DIV
000013ff: MUL
00001400: DUP4
00001401: MSTORE
00001402: SWAP2
00001403: PUSH1 0x20
00001405: ADD
00001406: SWAP2
00001407: PUSH2 0x1436
0000140a: JUMP
0000140b: JUMPDEST
0000140c: DUP3
0000140d: ADD
0000140e: SWAP2
0000140f: SWAP1
00001410: PUSH1 0x00
00001412: MSTORE
00001413: PUSH1 0x20
00001415: PUSH1 0x00
00001417: KECCAK256
00001418: SWAP1
00001419: JUMPDEST
0000141a: DUP2
0000141b: SLOAD
0000141c: DUP2
0000141d: MSTORE
0000141e: SWAP1
0000141f: PUSH1 0x01
00001421: ADD
00001422: SWAP1
00001423: PUSH1 0x20
00001425: ADD
00001426: DUP1
00001427: DUP4
00001428: GT
00001429: PUSH2 0x1419
0000142c: JUMPI
0000142d: DUP3
0000142e: SWAP1
0000142f: SUB
00001430: PUSH1 0x1f
00001432: AND
00001433: DUP3
00001434: ADD
00001435: SWAP2
00001436: JUMPDEST
00001437: POP
00001438: POP
00001439: POP
0000143a: POP
0000143b: POP
0000143c: SWAP1
0000143d: POP
0000143e: PUSH2 0x04b6
00001441: JUMP
00001442: JUMPDEST
00001443: PUSH1 0x00
00001445: PUSH2 0x04b6
00001448: PUSH2 0x144f
0000144b: PUSH2 0x16ed
0000144e: JUMP
0000144f: JUMPDEST
00001450: DUP4
00001451: PUSH1 0x40
00001453: MLOAD
00001454: PUSH2 0x1901
00001457: PUSH1 0xf0
00001459: SHL
0000145a: DUP2
0000145b: MSTORE
0000145c: PUSH1 0x02
0000145e: DUP2
0000145f: ADD
00001460: SWAP3
00001461: SWAP1
00001462: SWAP3
00001463: MSTORE
00001464: PUSH1 0x22
00001466: DUP3
00001467: ADD
00001468: MSTORE
00001469: PUSH1 0x42
0000146b: SWAP1
0000146c: KECCAK256
0000146d: SWAP1
0000146e: JUMP
0000146f: JUMPDEST
00001470: PUSH2 0x12c2
00001473: PUSH1 0x07
00001475: DUP4
00001476: PUSH1 0x01
00001478: PUSH1 0x01
0000147a: PUSH1 0xa0
0000147c: SHL
0000147d: SUB
0000147e: AND
0000147f: DUP4
00001480: PUSH2 0x181d
00001483: JUMP
00001484: JUMPDEST
00001485: PUSH2 0x12c2
00001488: PUSH1 0x08
0000148a: DUP4
0000148b: PUSH1 0x01
0000148d: PUSH1 0x01
0000148f: PUSH1 0xa0
00001491: SHL
00001492: SUB
00001493: AND
00001494: DUP4
00001495: PUSH2 0x181d
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH2 0x14a3
0000149d: DUP2
0000149e: DUP6
0000149f: PUSH2 0x1602
000014a2: JUMP
000014a3: JUMPDEST
000014a4: ISZERO
000014a5: PUSH2 0x14c1
000014a8: JUMPI
000014a9: PUSH1 0x40
000014ab: MLOAD
000014ac: PUSH4 0xe788928f
000014b1: PUSH1 0xe0
000014b3: SHL
000014b4: DUP2
000014b5: MSTORE
000014b6: PUSH1 0x04
000014b8: ADD
000014b9: PUSH1 0x40
000014bb: MLOAD
000014bc: DUP1
000014bd: SWAP2
000014be: SUB
000014bf: SWAP1
000014c0: REVERT
000014c1: JUMPDEST
000014c2: PUSH1 0x00
000014c4: PUSH2 0x14cd
000014c7: DUP8
000014c8: DUP8
000014c9: PUSH2 0x0e10
000014cc: JUMP
000014cd: JUMPDEST
000014ce: SWAP1
000014cf: POP
000014d0: PUSH1 0x00
000014d2: DUP6
000014d3: DUP6
000014d4: PUSH1 0x40
000014d6: MLOAD
000014d7: PUSH1 0x20
000014d9: ADD
000014da: PUSH2 0x14f6
000014dd: SWAP3
000014de: SWAP2
000014df: SWAP1
000014e0: SWAP2
000014e1: DUP3
000014e2: MSTORE
000014e3: PUSH1 0x01
000014e5: PUSH1 0x01
000014e7: PUSH1 0xa0
000014e9: SHL
000014ea: SUB
000014eb: AND
000014ec: PUSH1 0x20
000014ee: DUP3
000014ef: ADD
000014f0: MSTORE
000014f1: PUSH1 0x40
000014f3: ADD
000014f4: SWAP1
000014f5: JUMP
000014f6: JUMPDEST
000014f7: PUSH1 0x40
000014f9: DUP1
000014fa: MLOAD
000014fb: PUSH1 0x1f
000014fd: NOT
000014fe: DUP2
000014ff: DUP5
00001500: SUB
00001501: ADD
00001502: DUP2
00001503: MSTORE
00001504: DUP3
00001505: DUP3
00001506: MSTORE
00001507: DUP1
00001508: MLOAD
00001509: PUSH1 0x20
0000150b: SWAP2
0000150c: DUP3
0000150d: ADD
0000150e: KECCAK256
0000150f: SWAP1
00001510: DUP4
00001511: ADD
00001512: MSTORE
00001513: ADD
00001514: PUSH1 0x40
00001516: MLOAD
00001517: PUSH1 0x20
00001519: DUP2
0000151a: DUP4
0000151b: SUB
0000151c: SUB
0000151d: DUP2
0000151e: MSTORE
0000151f: SWAP1
00001520: PUSH1 0x40
00001522: MSTORE
00001523: DUP1
00001524: MLOAD
00001525: SWAP1
00001526: PUSH1 0x20
00001528: ADD
00001529: KECCAK256
0000152a: SWAP1
0000152b: POP
0000152c: PUSH2 0x1536
0000152f: DUP5
00001530: DUP4
00001531: DUP4
00001532: PUSH2 0x1852
00001535: JUMP
00001536: JUMPDEST
00001537: PUSH2 0x1553
0000153a: JUMPI
0000153b: PUSH1 0x40
0000153d: MLOAD
0000153e: PUSH4 0x09bde339
00001543: PUSH1 0xe0
00001545: SHL
00001546: DUP2
00001547: MSTORE
00001548: PUSH1 0x04
0000154a: ADD
0000154b: PUSH1 0x40
0000154d: MLOAD
0000154e: DUP1
0000154f: SWAP2
00001550: SUB
00001551: SWAP1
00001552: REVERT
00001553: JUMPDEST
00001554: PUSH2 0x155d
00001557: DUP4
00001558: DUP8
00001559: PUSH2 0x1685
0000155c: JUMP
0000155d: JUMPDEST
0000155e: DUP5
0000155f: PUSH1 0x01
00001561: PUSH1 0x01
00001563: PUSH1 0xa0
00001565: SHL
00001566: SUB
00001567: AND
00001568: DUP8
00001569: DUP10
0000156a: PUSH1 0x01
0000156c: PUSH1 0x01
0000156e: PUSH1 0xa0
00001570: SHL
00001571: SUB
00001572: AND
00001573: PUSH32 0x8de988e4fefdaa217f4ce185855faba54b1a03355ef824e83cc4014d9e4a7265
00001594: DUP10
00001595: PUSH1 0x40
00001597: MLOAD
00001598: PUSH2 0x1123
0000159b: SWAP2
0000159c: DUP2
0000159d: MSTORE
0000159e: PUSH1 0x20
000015a0: ADD
000015a1: SWAP1
000015a2: JUMP
000015a3: JUMPDEST
000015a4: PUSH1 0x04
000015a6: SLOAD
000015a7: PUSH1 0xff
000015a9: AND
000015aa: PUSH2 0x053e
000015ad: JUMPI
000015ae: PUSH1 0x40
000015b0: MLOAD
000015b1: PUSH3 0x461bcd
000015b5: PUSH1 0xe5
000015b7: SHL
000015b8: DUP2
000015b9: MSTORE
000015ba: PUSH1 0x20
000015bc: PUSH1 0x04
000015be: DUP3
000015bf: ADD
000015c0: MSTORE
000015c1: PUSH1 0x14
000015c3: PUSH1 0x24
000015c5: DUP3
000015c6: ADD
000015c7: MSTORE
000015c8: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
000015dd: PUSH1 0x62
000015df: SHL
000015e0: PUSH1 0x44
000015e2: DUP3
000015e3: ADD
000015e4: MSTORE
000015e5: PUSH1 0x64
000015e7: ADD
000015e8: PUSH2 0x0e07
000015eb: JUMP
000015ec: JUMPDEST
000015ed: PUSH1 0x00
000015ef: PUSH1 0x01
000015f1: PUSH1 0x80
000015f3: SHL
000015f4: DUP3
000015f5: LT
000015f6: PUSH2 0x15fe
000015f9: JUMPI
000015fa: PUSH1 0x00
000015fc: DUP1
000015fd: REVERT
000015fe: JUMPDEST
000015ff: POP
00001600: SWAP1
00001601: JUMP
00001602: JUMPDEST
00001603: PUSH1 0x08
00001605: DUP2
00001606: SWAP1
00001607: SHR
00001608: PUSH1 0x00
0000160a: SWAP1
0000160b: DUP2
0000160c: MSTORE
0000160d: PUSH1 0x20
0000160f: SWAP3
00001610: SWAP1
00001611: SWAP3
00001612: MSTORE
00001613: PUSH1 0x40
00001615: SWAP1
00001616: SWAP2
00001617: KECCAK256
00001618: SLOAD
00001619: PUSH1 0x01
0000161b: PUSH1 0xff
0000161d: SWAP1
0000161e: SWAP3
0000161f: AND
00001620: SHR
00001621: AND
00001622: SWAP1
00001623: JUMP
00001624: JUMPDEST
00001625: PUSH1 0x00
00001627: DUP1
00001628: PUSH1 0x00
0000162a: PUSH2 0x1633
0000162d: DUP6
0000162e: DUP6
0000162f: PUSH2 0x1868
00001632: JUMP
00001633: JUMPDEST
00001634: SWAP1
00001635: SWAP3
00001636: POP
00001637: SWAP1
00001638: POP
00001639: PUSH1 0x00
0000163b: DUP2
0000163c: PUSH1 0x04
0000163e: DUP2
0000163f: GT
00001640: ISZERO
00001641: PUSH2 0x164c
00001644: JUMPI
00001645: PUSH2 0x164c
00001648: PUSH2 0x21ad
0000164b: JUMP
0000164c: JUMPDEST
0000164d: EQ
0000164e: DUP1
0000164f: ISZERO
00001650: PUSH2 0x166a
00001653: JUMPI
00001654: POP
00001655: DUP6
00001656: PUSH1 0x01
00001658: PUSH1 0x01
0000165a: PUSH1 0xa0
0000165c: SHL
0000165d: SUB
0000165e: AND
0000165f: DUP3
00001660: PUSH1 0x01
00001662: PUSH1 0x01
00001664: PUSH1 0xa0
00001666: SHL
00001667: SUB
00001668: AND
00001669: EQ
0000166a: JUMPDEST
0000166b: DUP1
0000166c: PUSH2 0x167b
0000166f: JUMPI
00001670: POP
00001671: PUSH2 0x167b
00001674: DUP7
00001675: DUP7
00001676: DUP7
00001677: PUSH2 0x18ad
0000167a: JUMP
0000167b: JUMPDEST
0000167c: SWAP7
0000167d: SWAP6
0000167e: POP
0000167f: POP
00001680: POP
00001681: POP
00001682: POP
00001683: POP
00001684: JUMP
00001685: JUMPDEST
00001686: PUSH1 0x08
00001688: DUP2
00001689: SWAP1
0000168a: SHR
0000168b: PUSH1 0x00
0000168d: SWAP1
0000168e: DUP2
0000168f: MSTORE
00001690: PUSH1 0x20
00001692: SWAP3
00001693: SWAP1
00001694: SWAP3
00001695: MSTORE
00001696: PUSH1 0x40
00001698: SWAP1
00001699: SWAP2
0000169a: KECCAK256
0000169b: DUP1
0000169c: SLOAD
0000169d: PUSH1 0x01
0000169f: PUSH1 0xff
000016a1: SWAP1
000016a2: SWAP4
000016a3: AND
000016a4: SWAP3
000016a5: SWAP1
000016a6: SWAP3
000016a7: SHL
000016a8: SWAP1
000016a9: SWAP2
000016aa: OR
000016ab: SWAP1
000016ac: SSTORE
000016ad: JUMP
000016ae: JUMPDEST
000016af: PUSH1 0x60
000016b1: PUSH1 0x00
000016b3: PUSH2 0x16bb
000016b6: DUP4
000016b7: PUSH2 0x1999
000016ba: JUMP
000016bb: JUMPDEST
000016bc: PUSH1 0x40
000016be: DUP1
000016bf: MLOAD
000016c0: PUSH1 0x20
000016c2: DUP1
000016c3: DUP3
000016c4: MSTORE
000016c5: DUP2
000016c6: DUP4
000016c7: ADD
000016c8: SWAP1
000016c9: SWAP3
000016ca: MSTORE
000016cb: SWAP2
000016cc: SWAP3
000016cd: POP
000016ce: PUSH1 0x00
000016d0: SWAP2
000016d1: SWAP1
000016d2: PUSH1 0x20
000016d4: DUP3
000016d5: ADD
000016d6: DUP2
000016d7: DUP1
000016d8: CALLDATASIZE
000016d9: DUP4
000016da: CALLDATACOPY
000016db: POP
000016dc: POP
000016dd: POP
000016de: SWAP2
000016df: DUP3
000016e0: MSTORE
000016e1: POP
000016e2: PUSH1 0x20
000016e4: DUP2
000016e5: ADD
000016e6: SWAP3
000016e7: SWAP1
000016e8: SWAP3
000016e9: MSTORE
000016ea: POP
000016eb: SWAP1
000016ec: JUMP
000016ed: JUMPDEST
000016ee: PUSH1 0x00
000016f0: ADDRESS
000016f1: PUSH1 0x01
000016f3: PUSH1 0x01
000016f5: PUSH1 0xa0
000016f7: SHL
000016f8: SUB
000016f9: PUSH32 0x000000000000000000000000b645cffd9bfb93c2c181d5be0d6a8c1d81c2aef3
0000171a: AND
0000171b: EQ
0000171c: DUP1
0000171d: ISZERO
0000171e: PUSH2 0x1746
00001721: JUMPI
00001722: POP
00001723: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00001744: CHAINID
00001745: EQ
00001746: JUMPDEST
00001747: ISZERO
00001748: PUSH2 0x1770
0000174b: JUMPI
0000174c: POP
0000174d: PUSH32 0x31ec3ff2435ec82061d8c3707301d7db4d082cb46909b77a83f9d2df3e0acde3
0000176e: SWAP1
0000176f: JUMP
00001770: JUMPDEST
00001771: PUSH2 0x1818
00001774: PUSH1 0x40
00001776: DUP1
00001777: MLOAD
00001778: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00001799: PUSH1 0x20
0000179b: DUP3
0000179c: ADD
0000179d: MSTORE
0000179e: PUSH32 0x1124dc85820b9e5ce354d22596b28435f8b4b3e3cbaa636b09163ced4d74fbe0
000017bf: SWAP2
000017c0: DUP2
000017c1: ADD
000017c2: SWAP2
000017c3: SWAP1
000017c4: SWAP2
000017c5: MSTORE
000017c6: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
000017e7: PUSH1 0x60
000017e9: DUP3
000017ea: ADD
000017eb: MSTORE
000017ec: CHAINID
000017ed: PUSH1 0x80
000017ef: DUP3
000017f0: ADD
000017f1: MSTORE
000017f2: ADDRESS
000017f3: PUSH1 0xa0
000017f5: DUP3
000017f6: ADD
000017f7: MSTORE
000017f8: PUSH1 0x00
000017fa: SWAP1
000017fb: PUSH1 0xc0
000017fd: ADD
000017fe: PUSH1 0x40
00001800: MLOAD
00001801: PUSH1 0x20
00001803: DUP2
00001804: DUP4
00001805: SUB
00001806: SUB
00001807: DUP2
00001808: MSTORE
00001809: SWAP1
0000180a: PUSH1 0x40
0000180c: MSTORE
0000180d: DUP1
0000180e: MLOAD
0000180f: SWAP1
00001810: PUSH1 0x20
00001812: ADD
00001813: KECCAK256
00001814: SWAP1
00001815: POP
00001816: SWAP1
00001817: JUMP
00001818: JUMPDEST
00001819: SWAP1
0000181a: POP
0000181b: SWAP1
0000181c: JUMP
0000181d: JUMPDEST
0000181e: DUP3
0000181f: PUSH1 0x20
00001821: MSTORE
00001822: PUSH1 0x06
00001824: DUP3
00001825: DIV
00001826: PUSH1 0x00
00001828: MSTORE
00001829: PUSH1 0x40
0000182b: PUSH1 0x00
0000182d: KECCAK256
0000182e: PUSH1 0x06
00001830: DUP4
00001831: MOD
00001832: PUSH1 0x28
00001834: MUL
00001835: DUP2
00001836: SLOAD
00001837: PUSH5 0xffffffffff
0000183d: DUP5
0000183e: DUP3
0000183f: DUP5
00001840: SHR
00001841: XOR
00001842: DUP2
00001843: AND
00001844: DUP4
00001845: SHL
00001846: DUP3
00001847: XOR
00001848: DUP5
00001849: SSTORE
0000184a: POP
0000184b: POP
0000184c: POP
0000184d: POP
0000184e: POP
0000184f: POP
00001850: POP
00001851: JUMP
00001852: JUMPDEST
00001853: PUSH1 0x00
00001855: DUP3
00001856: PUSH2 0x185f
00001859: DUP6
0000185a: DUP5
0000185b: PUSH2 0x19c1
0000185e: JUMP
0000185f: JUMPDEST
00001860: EQ
00001861: SWAP5
00001862: SWAP4
00001863: POP
00001864: POP
00001865: POP
00001866: POP
00001867: JUMP
00001868: JUMPDEST
00001869: PUSH1 0x00
0000186b: DUP1
0000186c: DUP3
0000186d: MLOAD
0000186e: PUSH1 0x41
00001870: SUB
00001871: PUSH2 0x189e
00001874: JUMPI
00001875: PUSH1 0x20
00001877: DUP4
00001878: ADD
00001879: MLOAD
0000187a: PUSH1 0x40
0000187c: DUP5
0000187d: ADD
0000187e: MLOAD
0000187f: PUSH1 0x60
00001881: DUP6
00001882: ADD
00001883: MLOAD
00001884: PUSH1 0x00
00001886: BYTE
00001887: PUSH2 0x1892
0000188a: DUP8
0000188b: DUP3
0000188c: DUP6
0000188d: DUP6
0000188e: PUSH2 0x1a04
00001891: JUMP
00001892: JUMPDEST
00001893: SWAP5
00001894: POP
00001895: SWAP5
00001896: POP
00001897: POP
00001898: POP
00001899: POP
0000189a: PUSH2 0x18a6
0000189d: JUMP
0000189e: JUMPDEST
0000189f: POP
000018a0: PUSH1 0x00
000018a2: SWAP1
000018a3: POP
000018a4: PUSH1 0x02
000018a6: JUMPDEST
000018a7: SWAP3
000018a8: POP
000018a9: SWAP3
000018aa: SWAP1
000018ab: POP
000018ac: JUMP
000018ad: JUMPDEST
000018ae: PUSH1 0x00
000018b0: DUP1
000018b1: PUSH1 0x00
000018b3: DUP6
000018b4: PUSH1 0x01
000018b6: PUSH1 0x01
000018b8: PUSH1 0xa0
000018ba: SHL
000018bb: SUB
000018bc: AND
000018bd: PUSH4 0x1626ba7e
000018c2: PUSH1 0xe0
000018c4: SHL
000018c5: DUP7
000018c6: DUP7
000018c7: PUSH1 0x40
000018c9: MLOAD
000018ca: PUSH1 0x24
000018cc: ADD
000018cd: PUSH2 0x18d7
000018d0: SWAP3
000018d1: SWAP2
000018d2: SWAP1
000018d3: PUSH2 0x21c3
000018d6: JUMP
000018d7: JUMPDEST
000018d8: PUSH1 0x40
000018da: DUP1
000018db: MLOAD
000018dc: PUSH1 0x1f
000018de: NOT
000018df: DUP2
000018e0: DUP5
000018e1: SUB
000018e2: ADD
000018e3: DUP2
000018e4: MSTORE
000018e5: SWAP2
000018e6: DUP2
000018e7: MSTORE
000018e8: PUSH1 0x20
000018ea: DUP3
000018eb: ADD
000018ec: DUP1
000018ed: MLOAD
000018ee: PUSH1 0x01
000018f0: PUSH1 0x01
000018f2: PUSH1 0xe0
000018f4: SHL
000018f5: SUB
000018f6: AND
000018f7: PUSH1 0x01
000018f9: PUSH1 0x01
000018fb: PUSH1 0xe0
000018fd: SHL
000018fe: SUB
000018ff: NOT
00001900: SWAP1
00001901: SWAP5
00001902: AND
00001903: SWAP4
00001904: SWAP1
00001905: SWAP4
00001906: OR
00001907: SWAP1
00001908: SWAP3
00001909: MSTORE
0000190a: SWAP1
0000190b: MLOAD
0000190c: PUSH2 0x1915
0000190f: SWAP2
00001910: SWAP1
00001911: PUSH2 0x21e4
00001914: JUMP
00001915: JUMPDEST
00001916: PUSH1 0x00
00001918: PUSH1 0x40
0000191a: MLOAD
0000191b: DUP1
0000191c: DUP4
0000191d: SUB
0000191e: DUP2
0000191f: DUP6
00001920: GAS
00001921: STATICCALL
00001922: SWAP2
00001923: POP
00001924: POP
00001925: RETURNDATASIZE
00001926: DUP1
00001927: PUSH1 0x00
00001929: DUP2
0000192a: EQ
0000192b: PUSH2 0x1950
0000192e: JUMPI
0000192f: PUSH1 0x40
00001931: MLOAD
00001932: SWAP2
00001933: POP
00001934: PUSH1 0x1f
00001936: NOT
00001937: PUSH1 0x3f
00001939: RETURNDATASIZE
0000193a: ADD
0000193b: AND
0000193c: DUP3
0000193d: ADD
0000193e: PUSH1 0x40
00001940: MSTORE
00001941: RETURNDATASIZE
00001942: DUP3
00001943: MSTORE
00001944: RETURNDATASIZE
00001945: PUSH1 0x00
00001947: PUSH1 0x20
00001949: DUP5
0000194a: ADD
0000194b: RETURNDATACOPY
0000194c: PUSH2 0x1955
0000194f: JUMP
00001950: JUMPDEST
00001951: PUSH1 0x60
00001953: SWAP2
00001954: POP
00001955: JUMPDEST
00001956: POP
00001957: SWAP2
00001958: POP
00001959: SWAP2
0000195a: POP
0000195b: DUP2
0000195c: DUP1
0000195d: ISZERO
0000195e: PUSH2 0x1969
00001961: JUMPI
00001962: POP
00001963: PUSH1 0x20
00001965: DUP2
00001966: MLOAD
00001967: LT
00001968: ISZERO
00001969: JUMPDEST
0000196a: DUP1
0000196b: ISZERO
0000196c: PUSH2 0x167b
0000196f: JUMPI
00001970: POP
00001971: DUP1
00001972: MLOAD
00001973: PUSH4 0x0b135d3f
00001978: PUSH1 0xe1
0000197a: SHL
0000197b: SWAP1
0000197c: PUSH2 0x198e
0000197f: SWAP1
00001980: DUP4
00001981: ADD
00001982: PUSH1 0x20
00001984: SWAP1
00001985: DUP2
00001986: ADD
00001987: SWAP1
00001988: DUP5
00001989: ADD
0000198a: PUSH2 0x2200
0000198d: JUMP
0000198e: JUMPDEST
0000198f: EQ
00001990: SWAP7
00001991: SWAP6
00001992: POP
00001993: POP
00001994: POP
00001995: POP
00001996: POP
00001997: POP
00001998: JUMP
00001999: JUMPDEST
0000199a: PUSH1 0x00
0000199c: PUSH1 0xff
0000199e: DUP3
0000199f: AND
000019a0: PUSH1 0x1f
000019a2: DUP2
000019a3: GT
000019a4: ISZERO
000019a5: PUSH2 0x04b6
000019a8: JUMPI
000019a9: PUSH1 0x40
000019ab: MLOAD
000019ac: PUSH4 0x2cd44ac3
000019b1: PUSH1 0xe2
000019b3: SHL
000019b4: DUP2
000019b5: MSTORE
000019b6: PUSH1 0x04
000019b8: ADD
000019b9: PUSH1 0x40
000019bb: MLOAD
000019bc: DUP1
000019bd: SWAP2
000019be: SUB
000019bf: SWAP1
000019c0: REVERT
000019c1: JUMPDEST
000019c2: PUSH1 0x00
000019c4: DUP2
000019c5: DUP2
000019c6: JUMPDEST
000019c7: DUP5
000019c8: MLOAD
000019c9: DUP2
000019ca: LT
000019cb: ISZERO
000019cc: PUSH2 0x19fc
000019cf: JUMPI
000019d0: PUSH2 0x19f2
000019d3: DUP3
000019d4: DUP7
000019d5: DUP4
000019d6: DUP2
000019d7: MLOAD
000019d8: DUP2
000019d9: LT
000019da: PUSH2 0x19e5
000019dd: JUMPI
000019de: PUSH2 0x19e5
000019e1: PUSH2 0x20c3
000019e4: JUMP
000019e5: JUMPDEST
000019e6: PUSH1 0x20
000019e8: MUL
000019e9: PUSH1 0x20
000019eb: ADD
000019ec: ADD
000019ed: MLOAD
000019ee: PUSH2 0x1abe
000019f1: JUMP
000019f2: JUMPDEST
000019f3: SWAP2
000019f4: POP
000019f5: PUSH1 0x01
000019f7: ADD
000019f8: PUSH2 0x19c6
000019fb: JUMP
000019fc: JUMPDEST
000019fd: POP
000019fe: SWAP4
000019ff: SWAP3
00001a00: POP
00001a01: POP
00001a02: POP
00001a03: JUMP
00001a04: JUMPDEST
00001a05: PUSH1 0x00
00001a07: DUP1
00001a08: PUSH16 0xa2a8918ca85bafe22016d0b997e4df60
00001a19: PUSH1 0x01
00001a1b: PUSH1 0xff
00001a1d: SHL
00001a1e: SUB
00001a1f: DUP4
00001a20: GT
00001a21: ISZERO
00001a22: PUSH2 0x1a31
00001a25: JUMPI
00001a26: POP
00001a27: PUSH1 0x00
00001a29: SWAP1
00001a2a: POP
00001a2b: PUSH1 0x03
00001a2d: PUSH2 0x1ab5
00001a30: JUMP
00001a31: JUMPDEST
00001a32: PUSH1 0x40
00001a34: DUP1
00001a35: MLOAD
00001a36: PUSH1 0x00
00001a38: DUP1
00001a39: DUP3
00001a3a: MSTORE
00001a3b: PUSH1 0x20
00001a3d: DUP3
00001a3e: ADD
00001a3f: DUP1
00001a40: DUP5
00001a41: MSTORE
00001a42: DUP10
00001a43: SWAP1
00001a44: MSTORE
00001a45: PUSH1 0xff
00001a47: DUP9
00001a48: AND
00001a49: SWAP3
00001a4a: DUP3
00001a4b: ADD
00001a4c: SWAP3
00001a4d: SWAP1
00001a4e: SWAP3
00001a4f: MSTORE
00001a50: PUSH1 0x60
00001a52: DUP2
00001a53: ADD
00001a54: DUP7
00001a55: SWAP1
00001a56: MSTORE
00001a57: PUSH1 0x80
00001a59: DUP2
00001a5a: ADD
00001a5b: DUP6
00001a5c: SWAP1
00001a5d: MSTORE
00001a5e: PUSH1 0x01
00001a60: SWAP1
00001a61: PUSH1 0xa0
00001a63: ADD
00001a64: PUSH1 0x20
00001a66: PUSH1 0x40
00001a68: MLOAD
00001a69: PUSH1 0x20
00001a6b: DUP2
00001a6c: SUB
00001a6d: SWAP1
00001a6e: DUP1
00001a6f: DUP5
00001a70: SUB
00001a71: SWAP1
00001a72: DUP6
00001a73: GAS
00001a74: STATICCALL
00001a75: ISZERO
00001a76: DUP1
00001a77: ISZERO
00001a78: PUSH2 0x1a85
00001a7b: JUMPI
00001a7c: RETURNDATASIZE
00001a7d: PUSH1 0x00
00001a7f: DUP1
00001a80: RETURNDATACOPY
00001a81: RETURNDATASIZE
00001a82: PUSH1 0x00
00001a84: REVERT
00001a85: JUMPDEST
00001a86: POP
00001a87: POP
00001a88: PUSH1 0x40
00001a8a: MLOAD
00001a8b: PUSH1 0x1f
00001a8d: NOT
00001a8e: ADD
00001a8f: MLOAD
00001a90: SWAP2
00001a91: POP
00001a92: POP
00001a93: PUSH1 0x01
00001a95: PUSH1 0x01
00001a97: PUSH1 0xa0
00001a99: SHL
00001a9a: SUB
00001a9b: DUP2
00001a9c: AND
00001a9d: PUSH2 0x1aae
00001aa0: JUMPI
00001aa1: PUSH1 0x00
00001aa3: PUSH1 0x01
00001aa5: SWAP3
00001aa6: POP
00001aa7: SWAP3
00001aa8: POP
00001aa9: POP
00001aaa: PUSH2 0x1ab5
00001aad: JUMP
00001aae: JUMPDEST
00001aaf: SWAP2
00001ab0: POP
00001ab1: PUSH1 0x00
00001ab3: SWAP1
00001ab4: POP
00001ab5: JUMPDEST
00001ab6: SWAP5
00001ab7: POP
00001ab8: SWAP5
00001ab9: SWAP3
00001aba: POP
00001abb: POP
00001abc: POP
00001abd: JUMP
00001abe: JUMPDEST
00001abf: PUSH1 0x00
00001ac1: DUP2
00001ac2: DUP4
00001ac3: LT
00001ac4: PUSH2 0x1ada
00001ac7: JUMPI
00001ac8: PUSH1 0x00
00001aca: DUP3
00001acb: DUP2
00001acc: MSTORE
00001acd: PUSH1 0x20
00001acf: DUP5
00001ad0: SWAP1
00001ad1: MSTORE
00001ad2: PUSH1 0x40
00001ad4: SWAP1
00001ad5: KECCAK256
00001ad6: PUSH2 0x1ae9
00001ad9: JUMP
00001ada: JUMPDEST
00001adb: PUSH1 0x00
00001add: DUP4
00001ade: DUP2
00001adf: MSTORE
00001ae0: PUSH1 0x20
00001ae2: DUP4
00001ae3: SWAP1
00001ae4: MSTORE
00001ae5: PUSH1 0x40
00001ae7: SWAP1
00001ae8: KECCAK256
00001ae9: JUMPDEST
00001aea: SWAP4
00001aeb: SWAP3
00001aec: POP
00001aed: POP
00001aee: POP
00001aef: JUMP
00001af0: JUMPDEST
00001af1: PUSH1 0x01
00001af3: PUSH1 0x01
00001af5: PUSH1 0xa0
00001af7: SHL
00001af8: SUB
00001af9: DUP2
00001afa: AND
00001afb: DUP2
00001afc: EQ
00001afd: PUSH2 0x0d14
00001b00: JUMPI
00001b01: PUSH1 0x00
00001b03: DUP1
00001b04: REVERT
00001b05: JUMPDEST
00001b06: PUSH1 0x00
00001b08: PUSH1 0x20
00001b0a: DUP3
00001b0b: DUP5
00001b0c: SUB
00001b0d: SLT
00001b0e: ISZERO
00001b0f: PUSH2 0x1b17
00001b12: JUMPI
00001b13: PUSH1 0x00
00001b15: DUP1
00001b16: REVERT
00001b17: JUMPDEST
00001b18: DUP2
00001b19: CALLDATALOAD
00001b1a: PUSH2 0x1ae9
00001b1d: DUP2
00001b1e: PUSH2 0x1af0
00001b21: JUMP
00001b22: JUMPDEST
00001b23: PUSH1 0x00
00001b25: DUP1
00001b26: PUSH1 0x40
00001b28: DUP4
00001b29: DUP6
00001b2a: SUB
00001b2b: SLT
00001b2c: ISZERO
00001b2d: PUSH2 0x1b35
00001b30: JUMPI
00001b31: PUSH1 0x00
00001b33: DUP1
00001b34: REVERT
00001b35: JUMPDEST
00001b36: DUP3
00001b37: CALLDATALOAD
00001b38: PUSH2 0x1b40
00001b3b: DUP2
00001b3c: PUSH2 0x1af0
00001b3f: JUMP
00001b40: JUMPDEST
00001b41: SWAP5
00001b42: PUSH1 0x20
00001b44: SWAP4
00001b45: SWAP1
00001b46: SWAP4
00001b47: ADD
00001b48: CALLDATALOAD
00001b49: SWAP4
00001b4a: POP
00001b4b: POP
00001b4c: POP
00001b4d: JUMP
00001b4e: JUMPDEST
00001b4f: PUSH1 0x00
00001b51: DUP1
00001b52: PUSH1 0x00
00001b54: DUP1
00001b55: PUSH1 0x80
00001b57: DUP6
00001b58: DUP8
00001b59: SUB
00001b5a: SLT
00001b5b: ISZERO
00001b5c: PUSH2 0x1b64
00001b5f: JUMPI
00001b60: PUSH1 0x00
00001b62: DUP1
00001b63: REVERT
00001b64: JUMPDEST
00001b65: DUP5
00001b66: CALLDATALOAD
00001b67: PUSH2 0x1b6f
00001b6a: DUP2
00001b6b: PUSH2 0x1af0
00001b6e: JUMP
00001b6f: JUMPDEST
00001b70: SWAP4
00001b71: POP
00001b72: PUSH1 0x20
00001b74: DUP6
00001b75: ADD
00001b76: CALLDATALOAD
00001b77: SWAP3
00001b78: POP
00001b79: PUSH1 0x40
00001b7b: DUP6
00001b7c: ADD
00001b7d: CALLDATALOAD
00001b7e: SWAP2
00001b7f: POP
00001b80: PUSH1 0x60
00001b82: DUP6
00001b83: ADD
00001b84: CALLDATALOAD
00001b85: PUSH2 0x1b8d
00001b88: DUP2
00001b89: PUSH2 0x1af0
00001b8c: JUMP
00001b8d: JUMPDEST
00001b8e: SWAP4
00001b8f: SWAP7
00001b90: SWAP3
00001b91: SWAP6
00001b92: POP
00001b93: SWAP1
00001b94: SWAP4
00001b95: POP
00001b96: POP
00001b97: JUMP
00001b98: JUMPDEST
00001b99: PUSH1 0x00
00001b9b: DUP1
00001b9c: DUP4
00001b9d: PUSH1 0x1f
00001b9f: DUP5
00001ba0: ADD
00001ba1: SLT
00001ba2: PUSH2 0x1baa
00001ba5: JUMPI
00001ba6: PUSH1 0x00
00001ba8: DUP1
00001ba9: REVERT
00001baa: JUMPDEST
00001bab: POP
00001bac: DUP2
00001bad: CALLDATALOAD
00001bae: PUSH1 0x01
00001bb0: PUSH1 0x01
00001bb2: PUSH1 0x40
00001bb4: SHL
00001bb5: SUB
00001bb6: DUP2
00001bb7: GT
00001bb8: ISZERO
00001bb9: PUSH2 0x1bc1
00001bbc: JUMPI
00001bbd: PUSH1 0x00
00001bbf: DUP1
00001bc0: REVERT
00001bc1: JUMPDEST
00001bc2: PUSH1 0x20
00001bc4: DUP4
00001bc5: ADD
00001bc6: SWAP2
00001bc7: POP
00001bc8: DUP4
00001bc9: PUSH1 0x20
00001bcb: DUP3
00001bcc: DUP6
00001bcd: ADD
00001bce: ADD
00001bcf: GT
00001bd0: ISZERO
00001bd1: PUSH2 0x18a6
00001bd4: JUMPI
00001bd5: PUSH1 0x00
00001bd7: DUP1
00001bd8: REVERT
00001bd9: JUMPDEST
00001bda: PUSH1 0x00
00001bdc: DUP1
00001bdd: PUSH1 0x00
00001bdf: DUP1
00001be0: PUSH1 0x00
00001be2: DUP1
00001be3: PUSH1 0x00
00001be5: PUSH1 0xc0
00001be7: DUP9
00001be8: DUP11
00001be9: SUB
00001bea: SLT
00001beb: ISZERO
00001bec: PUSH2 0x1bf4
00001bef: JUMPI
00001bf0: PUSH1 0x00
00001bf2: DUP1
00001bf3: REVERT
00001bf4: JUMPDEST
00001bf5: DUP8
00001bf6: CALLDATALOAD
00001bf7: PUSH2 0x1bff
00001bfa: DUP2
00001bfb: PUSH2 0x1af0
00001bfe: JUMP
00001bff: JUMPDEST
00001c00: SWAP7
00001c01: POP
00001c02: PUSH1 0x20
00001c04: DUP9
00001c05: ADD
00001c06: CALLDATALOAD
00001c07: SWAP6
00001c08: POP
00001c09: PUSH1 0x40
00001c0b: DUP9
00001c0c: ADD
00001c0d: CALLDATALOAD
00001c0e: SWAP5
00001c0f: POP
00001c10: PUSH1 0x60
00001c12: DUP9
00001c13: ADD
00001c14: CALLDATALOAD
00001c15: PUSH2 0x1c1d
00001c18: DUP2
00001c19: PUSH2 0x1af0
00001c1c: JUMP
00001c1d: JUMPDEST
00001c1e: SWAP4
00001c1f: POP
00001c20: PUSH1 0x80
00001c22: DUP9
00001c23: ADD
00001c24: CALLDATALOAD
00001c25: SWAP3
00001c26: POP
00001c27: PUSH1 0xa0
00001c29: DUP9
00001c2a: ADD
00001c2b: CALLDATALOAD
00001c2c: PUSH1 0x01
00001c2e: PUSH1 0x01
00001c30: PUSH1 0x40
00001c32: SHL
00001c33: SUB
00001c34: DUP2
00001c35: GT
00001c36: ISZERO
00001c37: PUSH2 0x1c3f
00001c3a: JUMPI
00001c3b: PUSH1 0x00
00001c3d: DUP1
00001c3e: REVERT
00001c3f: JUMPDEST
00001c40: PUSH2 0x1c4b
00001c43: DUP11
00001c44: DUP3
00001c45: DUP12
00001c46: ADD
00001c47: PUSH2 0x1b98
00001c4a: JUMP
00001c4b: JUMPDEST
00001c4c: SWAP9
00001c4d: SWAP12
00001c4e: SWAP8
00001c4f: SWAP11
00001c50: POP
00001c51: SWAP6
00001c52: SWAP9
00001c53: POP
00001c54: SWAP4
00001c55: SWAP7
00001c56: SWAP3
00001c57: SWAP6
00001c58: SWAP3
00001c59: SWAP4
00001c5a: POP
00001c5b: POP
00001c5c: POP
00001c5d: JUMP
00001c5e: JUMPDEST
00001c5f: PUSH1 0x00
00001c61: JUMPDEST
00001c62: DUP4
00001c63: DUP2
00001c64: LT
00001c65: ISZERO
00001c66: PUSH2 0x1c79
00001c69: JUMPI
00001c6a: DUP2
00001c6b: DUP2
00001c6c: ADD
00001c6d: MLOAD
00001c6e: DUP4
00001c6f: DUP3
00001c70: ADD
00001c71: MSTORE
00001c72: PUSH1 0x20
00001c74: ADD
00001c75: PUSH2 0x1c61
00001c78: JUMP
00001c79: JUMPDEST
00001c7a: POP
00001c7b: POP
00001c7c: PUSH1 0x00
00001c7e: SWAP2
00001c7f: ADD
00001c80: MSTORE
00001c81: JUMP
00001c82: JUMPDEST
00001c83: PUSH1 0x00
00001c85: DUP2
00001c86: MLOAD
00001c87: DUP1
00001c88: DUP5
00001c89: MSTORE
00001c8a: PUSH2 0x1c9a
00001c8d: DUP2
00001c8e: PUSH1 0x20
00001c90: DUP7
00001c91: ADD
00001c92: PUSH1 0x20
00001c94: DUP7
00001c95: ADD
00001c96: PUSH2 0x1c5e
00001c99: JUMP
00001c9a: JUMPDEST
00001c9b: PUSH1 0x1f
00001c9d: ADD
00001c9e: PUSH1 0x1f
00001ca0: NOT
00001ca1: AND
00001ca2: SWAP3
00001ca3: SWAP1
00001ca4: SWAP3
00001ca5: ADD
00001ca6: PUSH1 0x20
00001ca8: ADD
00001ca9: SWAP3
00001caa: SWAP2
00001cab: POP
00001cac: POP
00001cad: JUMP
00001cae: JUMPDEST
00001caf: PUSH1 0xff
00001cb1: PUSH1 0xf8
00001cb3: SHL
00001cb4: DUP9
00001cb5: AND
00001cb6: DUP2
00001cb7: MSTORE
00001cb8: PUSH1 0x00
00001cba: PUSH1 0x20
00001cbc: PUSH1 0xe0
00001cbe: PUSH1 0x20
00001cc0: DUP5
00001cc1: ADD
00001cc2: MSTORE
00001cc3: PUSH2 0x1ccf
00001cc6: PUSH1 0xe0
00001cc8: DUP5
00001cc9: ADD
00001cca: DUP11
00001ccb: PUSH2 0x1c82
00001cce: JUMP
00001ccf: JUMPDEST
00001cd0: DUP4
00001cd1: DUP2
00001cd2: SUB
00001cd3: PUSH1 0x40
00001cd5: DUP6
00001cd6: ADD
00001cd7: MSTORE
00001cd8: PUSH2 0x1ce1
00001cdb: DUP2
00001cdc: DUP11
00001cdd: PUSH2 0x1c82
00001ce0: JUMP
00001ce1: JUMPDEST
00001ce2: PUSH1 0x60
00001ce4: DUP6
00001ce5: ADD
00001ce6: DUP10
00001ce7: SWAP1
00001ce8: MSTORE
00001ce9: PUSH1 0x01
00001ceb: PUSH1 0x01
00001ced: PUSH1 0xa0
00001cef: SHL
00001cf0: SUB
00001cf1: DUP9
00001cf2: AND
00001cf3: PUSH1 0x80
00001cf5: DUP7
00001cf6: ADD
00001cf7: MSTORE
00001cf8: PUSH1 0xa0
00001cfa: DUP6
00001cfb: ADD
00001cfc: DUP8
00001cfd: SWAP1
00001cfe: MSTORE
00001cff: DUP5
00001d00: DUP2
00001d01: SUB
00001d02: PUSH1 0xc0
00001d04: DUP7
00001d05: ADD
00001d06: MSTORE
00001d07: DUP6
00001d08: MLOAD
00001d09: DUP1
00001d0a: DUP3
00001d0b: MSTORE
00001d0c: PUSH1 0x20
00001d0e: DUP1
00001d0f: DUP9
00001d10: ADD
00001d11: SWAP4
00001d12: POP
00001d13: SWAP1
00001d14: SWAP2
00001d15: ADD
00001d16: SWAP1
00001d17: PUSH1 0x00
00001d19: JUMPDEST
00001d1a: DUP2
00001d1b: DUP2
00001d1c: LT
00001d1d: ISZERO
00001d1e: PUSH2 0x1d35
00001d21: JUMPI
00001d22: DUP4
00001d23: MLOAD
00001d24: DUP4
00001d25: MSTORE
00001d26: SWAP3
00001d27: DUP5
00001d28: ADD
00001d29: SWAP3
00001d2a: SWAP2
00001d2b: DUP5
00001d2c: ADD
00001d2d: SWAP2
00001d2e: PUSH1 0x01
00001d30: ADD
00001d31: PUSH2 0x1d19
00001d34: JUMP
00001d35: JUMPDEST
00001d36: POP
00001d37: SWAP1
00001d38: SWAP13
00001d39: SWAP12
00001d3a: POP
00001d3b: POP
00001d3c: POP
00001d3d: POP
00001d3e: POP
00001d3f: POP
00001d40: POP
00001d41: POP
00001d42: POP
00001d43: POP
00001d44: POP
00001d45: POP
00001d46: JUMP
00001d47: JUMPDEST
00001d48: PUSH1 0x00
00001d4a: DUP1
00001d4b: PUSH1 0x00
00001d4d: DUP1
00001d4e: PUSH1 0x00
00001d50: PUSH1 0xa0
00001d52: DUP7
00001d53: DUP9
00001d54: SUB
00001d55: SLT
00001d56: ISZERO
00001d57: PUSH2 0x1d5f
00001d5a: JUMPI
00001d5b: PUSH1 0x00
00001d5d: DUP1
00001d5e: REVERT
00001d5f: JUMPDEST
00001d60: DUP6
00001d61: CALLDATALOAD
00001d62: PUSH2 0x1d6a
00001d65: DUP2
00001d66: PUSH2 0x1af0
00001d69: JUMP
00001d6a: JUMPDEST
00001d6b: SWAP5
00001d6c: POP
00001d6d: PUSH1 0x20
00001d6f: DUP7
00001d70: ADD
00001d71: CALLDATALOAD
00001d72: SWAP4
00001d73: POP
00001d74: PUSH1 0x40
00001d76: DUP7
00001d77: ADD
00001d78: CALLDATALOAD
00001d79: SWAP3
00001d7a: POP
00001d7b: PUSH1 0x60
00001d7d: DUP7
00001d7e: ADD
00001d7f: CALLDATALOAD
00001d80: SWAP2
00001d81: POP
00001d82: PUSH1 0x80
00001d84: DUP7
00001d85: ADD
00001d86: CALLDATALOAD
00001d87: PUSH2 0x1d8f
00001d8a: DUP2
00001d8b: PUSH2 0x1af0
00001d8e: JUMP
00001d8f: JUMPDEST
00001d90: DUP1
00001d91: SWAP2
00001d92: POP
00001d93: POP
00001d94: SWAP3
00001d95: SWAP6
00001d96: POP
00001d97: SWAP3
00001d98: SWAP6
00001d99: SWAP1
00001d9a: SWAP4
00001d9b: POP
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: PUSH1 0x01
00001da0: PUSH1 0x01
00001da2: PUSH1 0xa0
00001da4: SHL
00001da5: SUB
00001da6: SWAP2
00001da7: SWAP1
00001da8: SWAP2
00001da9: AND
00001daa: DUP2
00001dab: MSTORE
00001dac: PUSH1 0x20
00001dae: ADD
00001daf: SWAP1
00001db0: JUMP
00001db1: JUMPDEST
00001db2: PUSH1 0x00
00001db4: DUP1
00001db5: PUSH1 0x00
00001db7: DUP4
00001db8: DUP6
00001db9: SUB
00001dba: PUSH1 0x80
00001dbc: DUP2
00001dbd: SLT
00001dbe: ISZERO
00001dbf: PUSH2 0x1dc7
00001dc2: JUMPI
00001dc3: PUSH1 0x00
00001dc5: DUP1
00001dc6: REVERT
00001dc7: JUMPDEST
00001dc8: PUSH1 0x60
00001dca: DUP2
00001dcb: SLT
00001dcc: ISZERO
00001dcd: PUSH2 0x1dd5
00001dd0: JUMPI
00001dd1: PUSH1 0x00
00001dd3: DUP1
00001dd4: REVERT
00001dd5: JUMPDEST
00001dd6: POP
00001dd7: DUP4
00001dd8: SWAP3
00001dd9: POP
00001dda: PUSH1 0x60
00001ddc: DUP4
00001ddd: ADD
00001dde: CALLDATALOAD
00001ddf: PUSH1 0x01
00001de1: PUSH1 0x01
00001de3: PUSH1 0x40
00001de5: SHL
00001de6: SUB
00001de7: DUP2
00001de8: GT
00001de9: ISZERO
00001dea: PUSH2 0x1df2
00001ded: JUMPI
00001dee: PUSH1 0x00
00001df0: DUP1
00001df1: REVERT
00001df2: JUMPDEST
00001df3: PUSH2 0x1dfe
00001df6: DUP7
00001df7: DUP3
00001df8: DUP8
00001df9: ADD
00001dfa: PUSH2 0x1b98
00001dfd: JUMP
00001dfe: JUMPDEST
00001dff: SWAP5
00001e00: SWAP8
00001e01: SWAP1
00001e02: SWAP7
00001e03: POP
00001e04: SWAP4
00001e05: SWAP5
00001e06: POP
00001e07: POP
00001e08: POP
00001e09: POP
00001e0a: JUMP
00001e0b: JUMPDEST
00001e0c: PUSH1 0x00
00001e0e: DUP1
00001e0f: DUP4
00001e10: PUSH1 0x1f
00001e12: DUP5
00001e13: ADD
00001e14: SLT
00001e15: PUSH2 0x1e1d
00001e18: JUMPI
00001e19: PUSH1 0x00
00001e1b: DUP1
00001e1c: REVERT
00001e1d: JUMPDEST
00001e1e: POP
00001e1f: DUP2
00001e20: CALLDATALOAD
00001e21: PUSH1 0x01
00001e23: PUSH1 0x01
00001e25: PUSH1 0x40
00001e27: SHL
00001e28: SUB
00001e29: DUP2
00001e2a: GT
00001e2b: ISZERO
00001e2c: PUSH2 0x1e34
00001e2f: JUMPI
00001e30: PUSH1 0x00
00001e32: DUP1
00001e33: REVERT
00001e34: JUMPDEST
00001e35: PUSH1 0x20
00001e37: DUP4
00001e38: ADD
00001e39: SWAP2
00001e3a: POP
00001e3b: DUP4
00001e3c: PUSH1 0x20
00001e3e: DUP3
00001e3f: PUSH1 0x05
00001e41: SHL
00001e42: DUP6
00001e43: ADD
00001e44: ADD
00001e45: GT
00001e46: ISZERO
00001e47: PUSH2 0x18a6
00001e4a: JUMPI
00001e4b: PUSH1 0x00
00001e4d: DUP1
00001e4e: REVERT
00001e4f: JUMPDEST
00001e50: PUSH1 0x00
00001e52: DUP1
00001e53: PUSH1 0x00
00001e55: DUP1
00001e56: PUSH1 0x00
00001e58: DUP1
00001e59: PUSH1 0x00
00001e5b: PUSH1 0xa0
00001e5d: DUP9
00001e5e: DUP11
00001e5f: SUB
00001e60: SLT
00001e61: ISZERO
00001e62: PUSH2 0x1e6a
00001e65: JUMPI
00001e66: PUSH1 0x00
00001e68: DUP1
00001e69: REVERT
00001e6a: JUMPDEST
00001e6b: DUP8
00001e6c: CALLDATALOAD
00001e6d: PUSH2 0x1e75
00001e70: DUP2
00001e71: PUSH2 0x1af0
00001e74: JUMP
00001e75: JUMPDEST
00001e76: SWAP7
00001e77: POP
00001e78: PUSH1 0x20
00001e7a: DUP9
00001e7b: ADD
00001e7c: CALLDATALOAD
00001e7d: SWAP6
00001e7e: POP
00001e7f: PUSH1 0x40
00001e81: DUP9
00001e82: ADD
00001e83: CALLDATALOAD
00001e84: PUSH2 0x1e8c
00001e87: DUP2
00001e88: PUSH2 0x1af0
00001e8b: JUMP
00001e8c: JUMPDEST
00001e8d: SWAP5
00001e8e: POP
00001e8f: PUSH1 0x60
00001e91: DUP9
00001e92: ADD
00001e93: CALLDATALOAD
00001e94: PUSH1 0x01
00001e96: PUSH1 0x01
00001e98: PUSH1 0x40
00001e9a: SHL
00001e9b: SUB
00001e9c: DUP1
00001e9d: DUP3
00001e9e: GT
00001e9f: ISZERO
00001ea0: PUSH2 0x1ea8
00001ea3: JUMPI
00001ea4: PUSH1 0x00
00001ea6: DUP1
00001ea7: REVERT
00001ea8: JUMPDEST
00001ea9: PUSH2 0x1eb4
00001eac: DUP12
00001ead: DUP4
00001eae: DUP13
00001eaf: ADD
00001eb0: PUSH2 0x1e0b
00001eb3: JUMP
00001eb4: JUMPDEST
00001eb5: SWAP1
00001eb6: SWAP7
00001eb7: POP
00001eb8: SWAP5
00001eb9: POP
00001eba: PUSH1 0x80
00001ebc: DUP11
00001ebd: ADD
00001ebe: CALLDATALOAD
00001ebf: SWAP2
00001ec0: POP
00001ec1: DUP1
00001ec2: DUP3
00001ec3: GT
00001ec4: ISZERO
00001ec5: PUSH2 0x1ecd
00001ec8: JUMPI
00001ec9: PUSH1 0x00
00001ecb: DUP1
00001ecc: REVERT
00001ecd: JUMPDEST
00001ece: POP
00001ecf: PUSH2 0x1c4b
00001ed2: DUP11
00001ed3: DUP3
00001ed4: DUP12
00001ed5: ADD
00001ed6: PUSH2 0x1e0b
00001ed9: JUMP
00001eda: JUMPDEST
00001edb: PUSH1 0x00
00001edd: PUSH1 0x20
00001edf: DUP3
00001ee0: DUP5
00001ee1: SUB
00001ee2: SLT
00001ee3: ISZERO
00001ee4: PUSH2 0x1eec
00001ee7: JUMPI
00001ee8: PUSH1 0x00
00001eea: DUP1
00001eeb: REVERT
00001eec: JUMPDEST
00001eed: DUP2
00001eee: MLOAD
00001eef: PUSH2 0x1ae9
00001ef2: DUP2
00001ef3: PUSH2 0x1af0
00001ef6: JUMP
00001ef7: JUMPDEST
00001ef8: PUSH1 0x01
00001efa: PUSH1 0x01
00001efc: PUSH1 0x80
00001efe: SHL
00001eff: SUB
00001f00: DUP2
00001f01: AND
00001f02: DUP2
00001f03: EQ
00001f04: PUSH2 0x0d14
00001f07: JUMPI
00001f08: PUSH1 0x00
00001f0a: DUP1
00001f0b: REVERT
00001f0c: JUMPDEST
00001f0d: PUSH1 0x00
00001f0f: PUSH1 0x20
00001f11: DUP3
00001f12: DUP5
00001f13: SUB
00001f14: SLT
00001f15: ISZERO
00001f16: PUSH2 0x1f1e
00001f19: JUMPI
00001f1a: PUSH1 0x00
00001f1c: DUP1
00001f1d: REVERT
00001f1e: JUMPDEST
00001f1f: DUP2
00001f20: CALLDATALOAD
00001f21: PUSH2 0x1ae9
00001f24: DUP2
00001f25: PUSH2 0x1ef7
00001f28: JUMP
00001f29: JUMPDEST
00001f2a: PUSH1 0x00
00001f2c: DUP1
00001f2d: PUSH1 0x00
00001f2f: PUSH1 0x60
00001f31: DUP5
00001f32: DUP7
00001f33: SUB
00001f34: SLT
00001f35: ISZERO
00001f36: PUSH2 0x1f3e
00001f39: JUMPI
00001f3a: PUSH1 0x00
00001f3c: DUP1
00001f3d: REVERT
00001f3e: JUMPDEST
00001f3f: DUP4
00001f40: CALLDATALOAD
00001f41: SWAP3
00001f42: POP
00001f43: PUSH1 0x20
00001f45: DUP5
00001f46: ADD
00001f47: CALLDATALOAD
00001f48: SWAP2
00001f49: POP
00001f4a: PUSH1 0x40
00001f4c: DUP5
00001f4d: ADD
00001f4e: CALLDATALOAD
00001f4f: PUSH2 0x1f57
00001f52: DUP2
00001f53: PUSH2 0x1af0
00001f56: JUMP
00001f57: JUMPDEST
00001f58: DUP1
00001f59: SWAP2
00001f5a: POP
00001f5b: POP
00001f5c: SWAP3
00001f5d: POP
00001f5e: SWAP3
00001f5f: POP
00001f60: SWAP3
00001f61: JUMP
00001f62: JUMPDEST
00001f63: PUSH4 0x4e487b71
00001f68: PUSH1 0xe0
00001f6a: SHL
00001f6b: PUSH1 0x00
00001f6d: MSTORE
00001f6e: PUSH1 0x11
00001f70: PUSH1 0x04
00001f72: MSTORE
00001f73: PUSH1 0x24
00001f75: PUSH1 0x00
00001f77: REVERT
00001f78: JUMPDEST
00001f79: PUSH1 0x00
00001f7b: PUSH1 0x01
00001f7d: DUP3
00001f7e: ADD
00001f7f: PUSH2 0x1f8a
00001f82: JUMPI
00001f83: PUSH2 0x1f8a
00001f86: PUSH2 0x1f62
00001f89: JUMP
00001f8a: JUMPDEST
00001f8b: POP
00001f8c: PUSH1 0x01
00001f8e: ADD
00001f8f: SWAP1
00001f90: JUMP
00001f91: JUMPDEST
00001f92: PUSH1 0x01
00001f94: PUSH1 0x01
00001f96: PUSH1 0x40
00001f98: SHL
00001f99: SUB
00001f9a: DUP2
00001f9b: AND
00001f9c: DUP2
00001f9d: EQ
00001f9e: PUSH2 0x0d14
00001fa1: JUMPI
00001fa2: PUSH1 0x00
00001fa4: DUP1
00001fa5: REVERT
00001fa6: JUMPDEST
00001fa7: DUP2
00001fa8: CALLDATALOAD
00001fa9: PUSH2 0x1fb1
00001fac: DUP2
00001fad: PUSH2 0x1f91
00001fb0: JUMP
00001fb1: JUMPDEST
00001fb2: DUP2
00001fb3: SLOAD
00001fb4: PUSH1 0x01
00001fb6: PUSH1 0x01
00001fb8: PUSH1 0x40
00001fba: SHL
00001fbb: SUB
00001fbc: NOT
00001fbd: DUP2
00001fbe: AND
00001fbf: PUSH1 0x01
00001fc1: PUSH1 0x01
00001fc3: PUSH1 0x40
00001fc5: SHL
00001fc6: SUB
00001fc7: SWAP3
00001fc8: SWAP1
00001fc9: SWAP3
00001fca: AND
00001fcb: SWAP2
00001fcc: DUP3
00001fcd: OR
00001fce: DUP4
00001fcf: SSTORE
00001fd0: PUSH1 0x20
00001fd2: DUP5
00001fd3: ADD
00001fd4: CALLDATALOAD
00001fd5: PUSH2 0x1fdd
00001fd8: DUP2
00001fd9: PUSH2 0x1f91
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: PUSH1 0x01
00001fe0: PUSH1 0x40
00001fe2: SHL
00001fe3: PUSH1 0x01
00001fe5: PUSH1 0x80
00001fe7: SHL
00001fe8: SUB
00001fe9: PUSH1 0x40
00001feb: SWAP2
00001fec: DUP3
00001fed: SHL
00001fee: AND
00001fef: PUSH1 0x01
00001ff1: PUSH1 0x01
00001ff3: PUSH1 0x80
00001ff5: SHL
00001ff6: SUB
00001ff7: NOT
00001ff8: SWAP3
00001ff9: DUP4
00001ffa: AND
00001ffb: DUP5
00001ffc: OR
00001ffd: DUP2
00001ffe: OR
00001fff: DUP6
00002000: SSTORE
00002001: SWAP1
00002002: DUP6
00002003: ADD
00002004: CALLDATALOAD
00002005: SWAP2
00002006: PUSH2 0x200e
00002009: DUP4
0000200a: PUSH2 0x1ef7
0000200d: JUMP
0000200e: JUMPDEST
0000200f: SWAP3
00002010: OR
00002011: PUSH1 0x80
00002013: SWAP2
00002014: SWAP1
00002015: SWAP2
00002016: SHL
00002017: SWAP1
00002018: SWAP2
00002019: AND
0000201a: OR
0000201b: SWAP1
0000201c: SSTORE
0000201d: POP
0000201e: JUMP
0000201f: JUMPDEST
00002020: PUSH1 0x00
00002022: PUSH1 0x20
00002024: DUP3
00002025: DUP5
00002026: SUB
00002027: SLT
00002028: ISZERO
00002029: PUSH2 0x2031
0000202c: JUMPI
0000202d: PUSH1 0x00
0000202f: DUP1
00002030: REVERT
00002031: JUMPDEST
00002032: DUP2
00002033: CALLDATALOAD
00002034: PUSH2 0x1ae9
00002037: DUP2
00002038: PUSH2 0x1f91
0000203b: JUMP
0000203c: JUMPDEST
0000203d: DUP7
0000203e: DUP2
0000203f: MSTORE
00002040: PUSH2 0x0100
00002043: DUP2
00002044: ADD
00002045: DUP7
00002046: CALLDATALOAD
00002047: PUSH2 0x204f
0000204a: DUP2
0000204b: PUSH2 0x1f91
0000204e: JUMP
0000204f: JUMPDEST
00002050: PUSH1 0x01
00002052: PUSH1 0x01
00002054: PUSH1 0x40
00002056: SHL
00002057: SUB
00002058: SWAP1
00002059: DUP2
0000205a: AND
0000205b: PUSH1 0x20
0000205d: DUP5
0000205e: DUP2
0000205f: ADD
00002060: SWAP2
00002061: SWAP1
00002062: SWAP2
00002063: MSTORE
00002064: DUP9
00002065: ADD
00002066: CALLDATALOAD
00002067: SWAP1
00002068: PUSH2 0x2070
0000206b: DUP3
0000206c: PUSH2 0x1f91
0000206f: JUMP
00002070: JUMPDEST
00002071: AND
00002072: PUSH1 0x40
00002074: DUP4
00002075: DUP2
00002076: ADD
00002077: SWAP2
00002078: SWAP1
00002079: SWAP2
0000207a: MSTORE
0000207b: DUP8
0000207c: ADD
0000207d: CALLDATALOAD
0000207e: PUSH2 0x2086
00002081: DUP2
00002082: PUSH2 0x1ef7
00002085: JUMP
00002086: JUMPDEST
00002087: PUSH1 0x01
00002089: PUSH1 0x01
0000208b: PUSH1 0x80
0000208d: SHL
0000208e: SUB
0000208f: AND
00002090: PUSH1 0x60
00002092: DUP4
00002093: ADD
00002094: MSTORE
00002095: PUSH1 0x80
00002097: DUP3
00002098: ADD
00002099: SWAP6
0000209a: SWAP1
0000209b: SWAP6
0000209c: MSTORE
0000209d: PUSH1 0x01
0000209f: PUSH1 0x01
000020a1: PUSH1 0xa0
000020a3: SHL
000020a4: SUB
000020a5: SWAP4
000020a6: SWAP1
000020a7: SWAP4
000020a8: AND
000020a9: PUSH1 0xa0
000020ab: DUP5
000020ac: ADD
000020ad: MSTORE
000020ae: SWAP1
000020af: ISZERO
000020b0: ISZERO
000020b1: PUSH1 0xc0
000020b3: DUP4
000020b4: ADD
000020b5: MSTORE
000020b6: ISZERO
000020b7: ISZERO
000020b8: PUSH1 0xe0
000020ba: SWAP1
000020bb: SWAP2
000020bc: ADD
000020bd: MSTORE
000020be: SWAP3
000020bf: SWAP2
000020c0: POP
000020c1: POP
000020c2: JUMP
000020c3: JUMPDEST
000020c4: PUSH4 0x4e487b71
000020c9: PUSH1 0xe0
000020cb: SHL
000020cc: PUSH1 0x00
000020ce: MSTORE
000020cf: PUSH1 0x32
000020d1: PUSH1 0x04
000020d3: MSTORE
000020d4: PUSH1 0x24
000020d6: PUSH1 0x00
000020d8: REVERT
000020d9: JUMPDEST
000020da: PUSH1 0x00
000020dc: DUP1
000020dd: DUP4
000020de: CALLDATALOAD
000020df: PUSH1 0x1e
000020e1: NOT
000020e2: DUP5
000020e3: CALLDATASIZE
000020e4: SUB
000020e5: ADD
000020e6: DUP2
000020e7: SLT
000020e8: PUSH2 0x20f0
000020eb: JUMPI
000020ec: PUSH1 0x00
000020ee: DUP1
000020ef: REVERT
000020f0: JUMPDEST
000020f1: DUP4
000020f2: ADD
000020f3: DUP1
000020f4: CALLDATALOAD
000020f5: SWAP2
000020f6: POP
000020f7: PUSH1 0x01
000020f9: PUSH1 0x01
000020fb: PUSH1 0x40
000020fd: SHL
000020fe: SUB
000020ff: DUP3
00002100: GT
00002101: ISZERO
00002102: PUSH2 0x210a
00002105: JUMPI
00002106: PUSH1 0x00
00002108: DUP1
00002109: REVERT
0000210a: JUMPDEST
0000210b: PUSH1 0x20
0000210d: ADD
0000210e: SWAP2
0000210f: POP
00002110: PUSH1 0x05
00002112: DUP2
00002113: SWAP1
00002114: SHL
00002115: CALLDATASIZE
00002116: SUB
00002117: DUP3
00002118: SGT
00002119: ISZERO
0000211a: PUSH2 0x18a6
0000211d: JUMPI
0000211e: PUSH1 0x00
00002120: DUP1
00002121: REVERT
00002122: JUMPDEST
00002123: DUP1
00002124: DUP3
00002125: MUL
00002126: DUP2
00002127: ISZERO
00002128: DUP3
00002129: DUP3
0000212a: DIV
0000212b: DUP5
0000212c: EQ
0000212d: OR
0000212e: PUSH2 0x04b6
00002131: JUMPI
00002132: PUSH2 0x04b6
00002135: PUSH2 0x1f62
00002138: JUMP
00002139: JUMPDEST
0000213a: PUSH1 0x01
0000213c: PUSH1 0x01
0000213e: PUSH1 0x80
00002140: SHL
00002141: SUB
00002142: DUP3
00002143: DUP2
00002144: AND
00002145: DUP3
00002146: DUP3
00002147: AND
00002148: SUB
00002149: SWAP1
0000214a: DUP1
0000214b: DUP3
0000214c: GT
0000214d: ISZERO
0000214e: PUSH2 0x2159
00002151: JUMPI
00002152: PUSH2 0x2159
00002155: PUSH2 0x1f62
00002158: JUMP
00002159: JUMPDEST
0000215a: POP
0000215b: SWAP3
0000215c: SWAP2
0000215d: POP
0000215e: POP
0000215f: JUMP
00002160: JUMPDEST
00002161: DUP1
00002162: DUP3
00002163: ADD
00002164: DUP1
00002165: DUP3
00002166: GT
00002167: ISZERO
00002168: PUSH2 0x04b6
0000216b: JUMPI
0000216c: PUSH2 0x04b6
0000216f: PUSH2 0x1f62
00002172: JUMP
00002173: JUMPDEST
00002174: PUSH1 0x01
00002176: DUP2
00002177: DUP2
00002178: SHR
00002179: SWAP1
0000217a: DUP3
0000217b: AND
0000217c: DUP1
0000217d: PUSH2 0x2187
00002180: JUMPI
00002181: PUSH1 0x7f
00002183: DUP3
00002184: AND
00002185: SWAP2
00002186: POP
00002187: JUMPDEST
00002188: PUSH1 0x20
0000218a: DUP3
0000218b: LT
0000218c: DUP2
0000218d: SUB
0000218e: PUSH2 0x21a7
00002191: JUMPI
00002192: PUSH4 0x4e487b71
00002197: PUSH1 0xe0
00002199: SHL
0000219a: PUSH1 0x00
0000219c: MSTORE
0000219d: PUSH1 0x22
0000219f: PUSH1 0x04
000021a1: MSTORE
000021a2: PUSH1 0x24
000021a4: PUSH1 0x00
000021a6: REVERT
000021a7: JUMPDEST
000021a8: POP
000021a9: SWAP2
000021aa: SWAP1
000021ab: POP
000021ac: JUMP
000021ad: JUMPDEST
000021ae: PUSH4 0x4e487b71
000021b3: PUSH1 0xe0
000021b5: SHL
000021b6: PUSH1 0x00
000021b8: MSTORE
000021b9: PUSH1 0x21
000021bb: PUSH1 0x04
000021bd: MSTORE
000021be: PUSH1 0x24
000021c0: PUSH1 0x00
000021c2: REVERT
000021c3: JUMPDEST
000021c4: DUP3
000021c5: DUP2
000021c6: MSTORE
000021c7: PUSH1 0x40
000021c9: PUSH1 0x20
000021cb: DUP3
000021cc: ADD
000021cd: MSTORE
000021ce: PUSH1 0x00
000021d0: PUSH2 0x21dc
000021d3: PUSH1 0x40
000021d5: DUP4
000021d6: ADD
000021d7: DUP5
000021d8: PUSH2 0x1c82
000021db: JUMP
000021dc: JUMPDEST
000021dd: SWAP5
000021de: SWAP4
000021df: POP
000021e0: POP
000021e1: POP
000021e2: POP
000021e3: JUMP
000021e4: JUMPDEST
000021e5: PUSH1 0x00
000021e7: DUP3
000021e8: MLOAD
000021e9: PUSH2 0x21f6
000021ec: DUP2
000021ed: DUP5
000021ee: PUSH1 0x20
000021f0: DUP8
000021f1: ADD
000021f2: PUSH2 0x1c5e
000021f5: JUMP
000021f6: JUMPDEST
000021f7: SWAP2
000021f8: SWAP1
000021f9: SWAP2
000021fa: ADD
000021fb: SWAP3
000021fc: SWAP2
000021fd: POP
000021fe: POP
000021ff: JUMP
00002200: JUMPDEST
00002201: PUSH1 0x00
00002203: PUSH1 0x20
00002205: DUP3
00002206: DUP5
00002207: SUB
00002208: SLT
00002209: ISZERO
0000220a: PUSH2 0x2212
0000220d: JUMPI
0000220e: PUSH1 0x00
00002210: DUP1
00002211: REVERT
00002212: JUMPDEST
00002213: POP
00002214: MLOAD
00002215: SWAP2
00002216: SWAP1
00002217: POP
00002218: JUMP
00002219: INVALID
0000221a: LOG2
0000221b: PUSH5 0x6970667358
00002221: UNKNOWN(0x22)
00002222: SLT
00002223: KECCAK256
00002224: SWAP10
00002225: UNKNOWN(0x24)
00002226: UNKNOWN(0x2C)
00002227: UNKNOWN(0xCC)
00002228: UNKNOWN(0x2F)
00002229: CODESIZE
0000222a: PUSH29 0xd9ad5e7d9d269c036b0c0e3bfc17f0a6b7cf1a15d37966702964736f6c
00002248: PUSH4 0x43000817
0000224d: STOP
0000224e: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x5ea8300de03f54ec587b166c2de69d56a2d1445205264fdec72b3911b534799f
call_targets: 0xb645cffd9bfb93c2c181d5be0d6a8c1d81c2aef3
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5ea8300de03f54ec587b166c2de69d56a2d1445205264fdec72b3911b534799f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb645cffd9bfb93c2c181d5be0d6a8c1d81c2aef3"
    ],
    "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": "0x1774e7ca",
            "selector": "0x1774e7ca",
            "calldata_variants": [
                "0x1774e7ca",
                "0x1774e7ca0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1a010e19",
            "selector": "0x1a010e19",
            "calldata_variants": [
                "0x1a010e19",
                "0x1a010e190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x25692962",
            "selector": "0x25692962",
            "calldata_variants": [
                "0x25692962",
                "0x256929620000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x32a46e4b",
            "selector": "0x32a46e4b",
            "calldata_variants": [
                "0x32a46e4b",
                "0x32a46e4b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f60b633",
            "selector": "0x3f60b633",
            "calldata_variants": [
                "0x3f60b633",
                "0x3f60b6330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bfbb532",
            "selector": "0x4bfbb532",
            "calldata_variants": [
                "0x4bfbb532",
                "0x4bfbb5320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x51cff8d9",
            "selector": "0x51cff8d9",
            "calldata_variants": [
                "0x51cff8d9",
                "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4291,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4818,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 3431,
            "type": "msg_sender_eq_storage"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x5ea8300de03f54ec587b166c2de69d56a2d1445205264fdec72b3911b534799f
call_targets: 0xb645cffd9bfb93c2c181d5be0d6a8c1d81c2aef3
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5ea8300de03f54ec587b166c2de69d56a2d1445205264fdec72b3911b534799f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb645cffd9bfb93c2c181d5be0d6a8c1d81c2aef3"
    ],
    "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": "0x1774e7ca",
            "selector": "0x1774e7ca",
            "calldata_variants": [
                "0x1774e7ca",
                "0x1774e7ca0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1a010e19",
            "selector": "0x1a010e19",
            "calldata_variants": [
                "0x1a010e19",
                "0x1a010e190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x25692962",
            "selector": "0x25692962",
            "calldata_variants": [
                "0x25692962",
                "0x256929620000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x32a46e4b",
            "selector": "0x32a46e4b",
            "calldata_variants": [
                "0x32a46e4b",
                "0x32a46e4b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f60b633",
            "selector": "0x3f60b633",
            "calldata_variants": [
                "0x3f60b633",
                "0x3f60b6330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bfbb532",
            "selector": "0x4bfbb532",
            "calldata_variants": [
                "0x4bfbb532",
                "0x4bfbb5320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x51cff8d9",
            "selector": "0x51cff8d9",
            "calldata_variants": [
                "0x51cff8d9",
                "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4291,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4818,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 3431,
            "type": "msg_sender_eq_storage"
        }
    ]
}