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

Analysis Run

019b3844-92f7-72b1-a3e0-81c6c5e87c09

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:19 PM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
12987 artifact.fetch complete 1 / 3 4 months ago
12988 tool.cast_disasm complete 1 / 3 4 months ago
56084 analysis.bundle complete 1 / 3 2 weeks ago
56085 capability.graph complete 1 / 3 2 weeks ago
56086 detector.run complete 1 / 3 2 weeks ago
56087 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
8
EXT*/BALANCE
7
Total opcodes
5721
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x013a
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x241b6ae6
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x013f
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x30748be0
0000002d: EQ
0000002e: PUSH2 0x0166
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x3f4ba83a
00000038: EQ
00000039: PUSH2 0x01ad
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x46fbf68e
00000043: EQ
00000044: PUSH2 0x01c4
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x4fb7eed3
0000004e: EQ
0000004f: PUSH2 0x01f7
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x58ccf6b6
00000059: EQ
0000005a: PUSH2 0x022a
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x5c975abb
00000064: EQ
00000065: PUSH2 0x025a
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x63bdb94b
0000006f: EQ
00000070: PUSH2 0x026f
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x6ef8d66d
0000007a: EQ
0000007b: PUSH2 0x0277
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x715018a6
00000085: EQ
00000086: PUSH2 0x028c
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x796be41a
00000090: EQ
00000091: PUSH2 0x02a1
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x7ace5778
0000009b: EQ
0000009c: PUSH2 0x02d4
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x7c48522f
000000a6: EQ
000000a7: PUSH2 0x030e
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x82dc1ec4
000000b1: EQ
000000b2: PUSH2 0x038b
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x8456cb59
000000bc: EQ
000000bd: PUSH2 0x03be
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x87d81789
000000c7: EQ
000000c8: PUSH2 0x03d3
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x8da5cb5b
000000d2: EQ
000000d3: PUSH2 0x045e
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x8f32d59b
000000dd: EQ
000000de: PUSH2 0x048f
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x982cc3c9
000000e8: EQ
000000e9: PUSH2 0x04a4
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xbdba5d4e
000000f3: EQ
000000f4: PUSH2 0x04b9
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xbef90459
000000fe: EQ
000000ff: PUSH2 0x0533
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xc89288e5
00000109: EQ
0000010a: PUSH2 0x05c0
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xd2485f26
00000114: EQ
00000115: PUSH2 0x05fb
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xf2fde38b
0000011f: EQ
00000120: PUSH2 0x0684
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xf3612cb3
0000012a: EQ
0000012b: PUSH2 0x06b7
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xf63813f4
00000135: EQ
00000136: PUSH2 0x06cc
00000139: JUMPI
0000013a: JUMPDEST
0000013b: PUSH1 0x00
0000013d: DUP1
0000013e: REVERT
0000013f: JUMPDEST
00000140: CALLVALUE
00000141: DUP1
00000142: ISZERO
00000143: PUSH2 0x014b
00000146: JUMPI
00000147: PUSH1 0x00
00000149: DUP1
0000014a: REVERT
0000014b: JUMPDEST
0000014c: POP
0000014d: PUSH2 0x0154
00000150: PUSH2 0x06f6
00000153: JUMP
00000154: JUMPDEST
00000155: PUSH1 0x40
00000157: DUP1
00000158: MLOAD
00000159: SWAP2
0000015a: DUP3
0000015b: MSTORE
0000015c: MLOAD
0000015d: SWAP1
0000015e: DUP2
0000015f: SWAP1
00000160: SUB
00000161: PUSH1 0x20
00000163: ADD
00000164: SWAP1
00000165: RETURN
00000166: JUMPDEST
00000167: CALLVALUE
00000168: DUP1
00000169: ISZERO
0000016a: PUSH2 0x0172
0000016d: JUMPI
0000016e: PUSH1 0x00
00000170: DUP1
00000171: REVERT
00000172: JUMPDEST
00000173: POP
00000174: PUSH2 0x0199
00000177: PUSH1 0x04
00000179: DUP1
0000017a: CALLDATASIZE
0000017b: SUB
0000017c: PUSH1 0x20
0000017e: DUP2
0000017f: LT
00000180: ISZERO
00000181: PUSH2 0x0189
00000184: JUMPI
00000185: PUSH1 0x00
00000187: DUP1
00000188: REVERT
00000189: JUMPDEST
0000018a: POP
0000018b: CALLDATALOAD
0000018c: PUSH1 0x01
0000018e: PUSH1 0xa0
00000190: PUSH1 0x02
00000192: EXP
00000193: SUB
00000194: AND
00000195: PUSH2 0x06fc
00000198: JUMP
00000199: JUMPDEST
0000019a: PUSH1 0x40
0000019c: DUP1
0000019d: MLOAD
0000019e: SWAP2
0000019f: ISZERO
000001a0: ISZERO
000001a1: DUP3
000001a2: MSTORE
000001a3: MLOAD
000001a4: SWAP1
000001a5: DUP2
000001a6: SWAP1
000001a7: SUB
000001a8: PUSH1 0x20
000001aa: ADD
000001ab: SWAP1
000001ac: RETURN
000001ad: JUMPDEST
000001ae: CALLVALUE
000001af: DUP1
000001b0: ISZERO
000001b1: PUSH2 0x01b9
000001b4: JUMPI
000001b5: PUSH1 0x00
000001b7: DUP1
000001b8: REVERT
000001b9: JUMPDEST
000001ba: POP
000001bb: PUSH2 0x01c2
000001be: PUSH2 0x0719
000001c1: JUMP
000001c2: JUMPDEST
000001c3: STOP
000001c4: JUMPDEST
000001c5: CALLVALUE
000001c6: DUP1
000001c7: ISZERO
000001c8: PUSH2 0x01d0
000001cb: JUMPI
000001cc: PUSH1 0x00
000001ce: DUP1
000001cf: REVERT
000001d0: JUMPDEST
000001d1: POP
000001d2: PUSH2 0x0199
000001d5: PUSH1 0x04
000001d7: DUP1
000001d8: CALLDATASIZE
000001d9: SUB
000001da: PUSH1 0x20
000001dc: DUP2
000001dd: LT
000001de: ISZERO
000001df: PUSH2 0x01e7
000001e2: JUMPI
000001e3: PUSH1 0x00
000001e5: DUP1
000001e6: REVERT
000001e7: JUMPDEST
000001e8: POP
000001e9: CALLDATALOAD
000001ea: PUSH1 0x01
000001ec: PUSH1 0xa0
000001ee: PUSH1 0x02
000001f0: EXP
000001f1: SUB
000001f2: AND
000001f3: PUSH2 0x0839
000001f6: JUMP
000001f7: JUMPDEST
000001f8: CALLVALUE
000001f9: DUP1
000001fa: ISZERO
000001fb: PUSH2 0x0203
000001fe: JUMPI
000001ff: PUSH1 0x00
00000201: DUP1
00000202: REVERT
00000203: JUMPDEST
00000204: POP
00000205: PUSH2 0x01c2
00000208: PUSH1 0x04
0000020a: DUP1
0000020b: CALLDATASIZE
0000020c: SUB
0000020d: PUSH1 0x20
0000020f: DUP2
00000210: LT
00000211: ISZERO
00000212: PUSH2 0x021a
00000215: JUMPI
00000216: PUSH1 0x00
00000218: DUP1
00000219: REVERT
0000021a: JUMPDEST
0000021b: POP
0000021c: CALLDATALOAD
0000021d: PUSH1 0x01
0000021f: PUSH1 0xa0
00000221: PUSH1 0x02
00000223: EXP
00000224: SUB
00000225: AND
00000226: PUSH2 0x0852
00000229: JUMP
0000022a: JUMPDEST
0000022b: CALLVALUE
0000022c: DUP1
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: POP
00000238: PUSH2 0x01c2
0000023b: PUSH1 0x04
0000023d: DUP1
0000023e: CALLDATASIZE
0000023f: SUB
00000240: PUSH1 0x40
00000242: DUP2
00000243: LT
00000244: ISZERO
00000245: PUSH2 0x024d
00000248: JUMPI
00000249: PUSH1 0x00
0000024b: DUP1
0000024c: REVERT
0000024d: JUMPDEST
0000024e: POP
0000024f: DUP1
00000250: CALLDATALOAD
00000251: SWAP1
00000252: PUSH1 0x20
00000254: ADD
00000255: CALLDATALOAD
00000256: PUSH2 0x08cd
00000259: JUMP
0000025a: JUMPDEST
0000025b: CALLVALUE
0000025c: DUP1
0000025d: ISZERO
0000025e: PUSH2 0x0266
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: PUSH2 0x0199
0000026b: PUSH2 0x0973
0000026e: JUMP
0000026f: JUMPDEST
00000270: PUSH2 0x01c2
00000273: PUSH2 0x097c
00000276: JUMP
00000277: JUMPDEST
00000278: CALLVALUE
00000279: DUP1
0000027a: ISZERO
0000027b: PUSH2 0x0283
0000027e: JUMPI
0000027f: PUSH1 0x00
00000281: DUP1
00000282: REVERT
00000283: JUMPDEST
00000284: POP
00000285: PUSH2 0x01c2
00000288: PUSH2 0x0e68
0000028b: JUMP
0000028c: JUMPDEST
0000028d: CALLVALUE
0000028e: DUP1
0000028f: ISZERO
00000290: PUSH2 0x0298
00000293: JUMPI
00000294: PUSH1 0x00
00000296: DUP1
00000297: REVERT
00000298: JUMPDEST
00000299: POP
0000029a: PUSH2 0x01c2
0000029d: PUSH2 0x0e73
000002a0: JUMP
000002a1: JUMPDEST
000002a2: CALLVALUE
000002a3: DUP1
000002a4: ISZERO
000002a5: PUSH2 0x02ad
000002a8: JUMPI
000002a9: PUSH1 0x00
000002ab: DUP1
000002ac: REVERT
000002ad: JUMPDEST
000002ae: POP
000002af: PUSH2 0x0154
000002b2: PUSH1 0x04
000002b4: DUP1
000002b5: CALLDATASIZE
000002b6: SUB
000002b7: PUSH1 0x20
000002b9: DUP2
000002ba: LT
000002bb: ISZERO
000002bc: PUSH2 0x02c4
000002bf: JUMPI
000002c0: PUSH1 0x00
000002c2: DUP1
000002c3: REVERT
000002c4: JUMPDEST
000002c5: POP
000002c6: CALLDATALOAD
000002c7: PUSH1 0x01
000002c9: PUSH1 0xa0
000002cb: PUSH1 0x02
000002cd: EXP
000002ce: SUB
000002cf: AND
000002d0: PUSH2 0x0f16
000002d3: JUMP
000002d4: JUMPDEST
000002d5: CALLVALUE
000002d6: DUP1
000002d7: ISZERO
000002d8: PUSH2 0x02e0
000002db: JUMPI
000002dc: PUSH1 0x00
000002de: DUP1
000002df: REVERT
000002e0: JUMPDEST
000002e1: POP
000002e2: PUSH2 0x01c2
000002e5: PUSH1 0x04
000002e7: DUP1
000002e8: CALLDATASIZE
000002e9: SUB
000002ea: PUSH1 0x40
000002ec: DUP2
000002ed: LT
000002ee: ISZERO
000002ef: PUSH2 0x02f7
000002f2: JUMPI
000002f3: PUSH1 0x00
000002f5: DUP1
000002f6: REVERT
000002f7: JUMPDEST
000002f8: POP
000002f9: PUSH8 0xffffffffffffffff
00000302: DUP2
00000303: CALLDATALOAD
00000304: AND
00000305: SWAP1
00000306: PUSH1 0x20
00000308: ADD
00000309: CALLDATALOAD
0000030a: PUSH2 0x0f28
0000030d: JUMP
0000030e: JUMPDEST
0000030f: CALLVALUE
00000310: DUP1
00000311: ISZERO
00000312: PUSH2 0x031a
00000315: JUMPI
00000316: PUSH1 0x00
00000318: DUP1
00000319: REVERT
0000031a: JUMPDEST
0000031b: POP
0000031c: PUSH2 0x01c2
0000031f: PUSH1 0x04
00000321: DUP1
00000322: CALLDATASIZE
00000323: SUB
00000324: PUSH1 0x20
00000326: DUP2
00000327: LT
00000328: ISZERO
00000329: PUSH2 0x0331
0000032c: JUMPI
0000032d: PUSH1 0x00
0000032f: DUP1
00000330: REVERT
00000331: JUMPDEST
00000332: DUP2
00000333: ADD
00000334: SWAP1
00000335: PUSH1 0x20
00000337: DUP2
00000338: ADD
00000339: DUP2
0000033a: CALLDATALOAD
0000033b: PUSH5 0x0100000000
00000341: DUP2
00000342: GT
00000343: ISZERO
00000344: PUSH2 0x034c
00000347: JUMPI
00000348: PUSH1 0x00
0000034a: DUP1
0000034b: REVERT
0000034c: JUMPDEST
0000034d: DUP3
0000034e: ADD
0000034f: DUP4
00000350: PUSH1 0x20
00000352: DUP3
00000353: ADD
00000354: GT
00000355: ISZERO
00000356: PUSH2 0x035e
00000359: JUMPI
0000035a: PUSH1 0x00
0000035c: DUP1
0000035d: REVERT
0000035e: JUMPDEST
0000035f: DUP1
00000360: CALLDATALOAD
00000361: SWAP1
00000362: PUSH1 0x20
00000364: ADD
00000365: SWAP2
00000366: DUP5
00000367: PUSH1 0x20
00000369: DUP4
0000036a: MUL
0000036b: DUP5
0000036c: ADD
0000036d: GT
0000036e: PUSH5 0x0100000000
00000374: DUP4
00000375: GT
00000376: OR
00000377: ISZERO
00000378: PUSH2 0x0380
0000037b: JUMPI
0000037c: PUSH1 0x00
0000037e: DUP1
0000037f: REVERT
00000380: JUMPDEST
00000381: POP
00000382: SWAP1
00000383: SWAP3
00000384: POP
00000385: SWAP1
00000386: POP
00000387: PUSH2 0x113d
0000038a: JUMP
0000038b: JUMPDEST
0000038c: CALLVALUE
0000038d: DUP1
0000038e: ISZERO
0000038f: PUSH2 0x0397
00000392: JUMPI
00000393: PUSH1 0x00
00000395: DUP1
00000396: REVERT
00000397: JUMPDEST
00000398: POP
00000399: PUSH2 0x01c2
0000039c: PUSH1 0x04
0000039e: DUP1
0000039f: CALLDATASIZE
000003a0: SUB
000003a1: PUSH1 0x20
000003a3: DUP2
000003a4: LT
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: POP
000003b0: CALLDATALOAD
000003b1: PUSH1 0x01
000003b3: PUSH1 0xa0
000003b5: PUSH1 0x02
000003b7: EXP
000003b8: SUB
000003b9: AND
000003ba: PUSH2 0x13d4
000003bd: JUMP
000003be: JUMPDEST
000003bf: CALLVALUE
000003c0: DUP1
000003c1: ISZERO
000003c2: PUSH2 0x03ca
000003c5: JUMPI
000003c6: PUSH1 0x00
000003c8: DUP1
000003c9: REVERT
000003ca: JUMPDEST
000003cb: POP
000003cc: PUSH2 0x01c2
000003cf: PUSH2 0x1465
000003d2: JUMP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x03fd
000003e4: PUSH1 0x04
000003e6: DUP1
000003e7: CALLDATASIZE
000003e8: SUB
000003e9: PUSH1 0x20
000003eb: DUP2
000003ec: LT
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: POP
000003f8: CALLDATALOAD
000003f9: PUSH2 0x1575
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH1 0x40
00000400: DUP1
00000401: MLOAD
00000402: PUSH1 0x01
00000404: PUSH1 0xa0
00000406: PUSH1 0x02
00000408: EXP
00000409: SUB
0000040a: DUP10
0000040b: AND
0000040c: DUP2
0000040d: MSTORE
0000040e: PUSH8 0xffffffffffffffff
00000417: DUP9
00000418: AND
00000419: PUSH1 0x20
0000041b: DUP3
0000041c: ADD
0000041d: MSTORE
0000041e: SWAP1
0000041f: DUP2
00000420: ADD
00000421: DUP7
00000422: PUSH1 0x06
00000424: DUP2
00000425: GT
00000426: ISZERO
00000427: PUSH2 0x042c
0000042a: JUMPI
0000042b: INVALID
0000042c: JUMPDEST
0000042d: PUSH1 0xff
0000042f: AND
00000430: DUP2
00000431: MSTORE
00000432: PUSH1 0x20
00000434: ADD
00000435: DUP6
00000436: DUP2
00000437: MSTORE
00000438: PUSH1 0x20
0000043a: ADD
0000043b: DUP5
0000043c: DUP2
0000043d: MSTORE
0000043e: PUSH1 0x20
00000440: ADD
00000441: DUP4
00000442: DUP2
00000443: MSTORE
00000444: PUSH1 0x20
00000446: ADD
00000447: DUP3
00000448: DUP2
00000449: MSTORE
0000044a: PUSH1 0x20
0000044c: ADD
0000044d: SWAP8
0000044e: POP
0000044f: POP
00000450: POP
00000451: POP
00000452: POP
00000453: POP
00000454: POP
00000455: POP
00000456: PUSH1 0x40
00000458: MLOAD
00000459: DUP1
0000045a: SWAP2
0000045b: SUB
0000045c: SWAP1
0000045d: RETURN
0000045e: JUMPDEST
0000045f: CALLVALUE
00000460: DUP1
00000461: ISZERO
00000462: PUSH2 0x046a
00000465: JUMPI
00000466: PUSH1 0x00
00000468: DUP1
00000469: REVERT
0000046a: JUMPDEST
0000046b: POP
0000046c: PUSH2 0x0473
0000046f: PUSH2 0x15e9
00000472: JUMP
00000473: JUMPDEST
00000474: PUSH1 0x40
00000476: DUP1
00000477: MLOAD
00000478: PUSH1 0x01
0000047a: PUSH1 0xa0
0000047c: PUSH1 0x02
0000047e: EXP
0000047f: SUB
00000480: SWAP1
00000481: SWAP3
00000482: AND
00000483: DUP3
00000484: MSTORE
00000485: MLOAD
00000486: SWAP1
00000487: DUP2
00000488: SWAP1
00000489: SUB
0000048a: PUSH1 0x20
0000048c: ADD
0000048d: SWAP1
0000048e: RETURN
0000048f: JUMPDEST
00000490: CALLVALUE
00000491: DUP1
00000492: ISZERO
00000493: PUSH2 0x049b
00000496: JUMPI
00000497: PUSH1 0x00
00000499: DUP1
0000049a: REVERT
0000049b: JUMPDEST
0000049c: POP
0000049d: PUSH2 0x0199
000004a0: PUSH2 0x15f8
000004a3: JUMP
000004a4: JUMPDEST
000004a5: CALLVALUE
000004a6: DUP1
000004a7: ISZERO
000004a8: PUSH2 0x04b0
000004ab: JUMPI
000004ac: PUSH1 0x00
000004ae: DUP1
000004af: REVERT
000004b0: JUMPDEST
000004b1: POP
000004b2: PUSH2 0x0154
000004b5: PUSH2 0x1609
000004b8: JUMP
000004b9: JUMPDEST
000004ba: CALLVALUE
000004bb: DUP1
000004bc: ISZERO
000004bd: PUSH2 0x04c5
000004c0: JUMPI
000004c1: PUSH1 0x00
000004c3: DUP1
000004c4: REVERT
000004c5: JUMPDEST
000004c6: POP
000004c7: PUSH2 0x04e3
000004ca: PUSH1 0x04
000004cc: DUP1
000004cd: CALLDATASIZE
000004ce: SUB
000004cf: PUSH1 0x20
000004d1: DUP2
000004d2: LT
000004d3: ISZERO
000004d4: PUSH2 0x04dc
000004d7: JUMPI
000004d8: PUSH1 0x00
000004da: DUP1
000004db: REVERT
000004dc: JUMPDEST
000004dd: POP
000004de: CALLDATALOAD
000004df: PUSH2 0x160f
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH1 0x40
000004e6: DUP1
000004e7: MLOAD
000004e8: PUSH1 0x20
000004ea: DUP1
000004eb: DUP3
000004ec: MSTORE
000004ed: DUP4
000004ee: MLOAD
000004ef: DUP2
000004f0: DUP4
000004f1: ADD
000004f2: MSTORE
000004f3: DUP4
000004f4: MLOAD
000004f5: SWAP2
000004f6: SWAP3
000004f7: DUP4
000004f8: SWAP3
000004f9: SWAP1
000004fa: DUP4
000004fb: ADD
000004fc: SWAP2
000004fd: DUP6
000004fe: DUP2
000004ff: ADD
00000500: SWAP2
00000501: MUL
00000502: DUP1
00000503: DUP4
00000504: DUP4
00000505: PUSH1 0x00
00000507: JUMPDEST
00000508: DUP4
00000509: DUP2
0000050a: LT
0000050b: ISZERO
0000050c: PUSH2 0x051f
0000050f: JUMPI
00000510: DUP2
00000511: DUP2
00000512: ADD
00000513: MLOAD
00000514: DUP4
00000515: DUP3
00000516: ADD
00000517: MSTORE
00000518: PUSH1 0x20
0000051a: ADD
0000051b: PUSH2 0x0507
0000051e: JUMP
0000051f: JUMPDEST
00000520: POP
00000521: POP
00000522: POP
00000523: POP
00000524: SWAP1
00000525: POP
00000526: ADD
00000527: SWAP3
00000528: POP
00000529: POP
0000052a: POP
0000052b: PUSH1 0x40
0000052d: MLOAD
0000052e: DUP1
0000052f: SWAP2
00000530: SUB
00000531: SWAP1
00000532: RETURN
00000533: JUMPDEST
00000534: CALLVALUE
00000535: DUP1
00000536: ISZERO
00000537: PUSH2 0x053f
0000053a: JUMPI
0000053b: PUSH1 0x00
0000053d: DUP1
0000053e: REVERT
0000053f: JUMPDEST
00000540: POP
00000541: PUSH2 0x01c2
00000544: PUSH1 0x04
00000546: DUP1
00000547: CALLDATASIZE
00000548: SUB
00000549: PUSH1 0x40
0000054b: DUP2
0000054c: LT
0000054d: ISZERO
0000054e: PUSH2 0x0556
00000551: JUMPI
00000552: PUSH1 0x00
00000554: DUP1
00000555: REVERT
00000556: JUMPDEST
00000557: PUSH1 0x01
00000559: PUSH1 0xa0
0000055b: PUSH1 0x02
0000055d: EXP
0000055e: SUB
0000055f: DUP3
00000560: CALLDATALOAD
00000561: AND
00000562: SWAP2
00000563: SWAP1
00000564: DUP2
00000565: ADD
00000566: SWAP1
00000567: PUSH1 0x40
00000569: DUP2
0000056a: ADD
0000056b: PUSH1 0x20
0000056d: DUP3
0000056e: ADD
0000056f: CALLDATALOAD
00000570: PUSH5 0x0100000000
00000576: DUP2
00000577: GT
00000578: ISZERO
00000579: PUSH2 0x0581
0000057c: JUMPI
0000057d: PUSH1 0x00
0000057f: DUP1
00000580: REVERT
00000581: JUMPDEST
00000582: DUP3
00000583: ADD
00000584: DUP4
00000585: PUSH1 0x20
00000587: DUP3
00000588: ADD
00000589: GT
0000058a: ISZERO
0000058b: PUSH2 0x0593
0000058e: JUMPI
0000058f: PUSH1 0x00
00000591: DUP1
00000592: REVERT
00000593: JUMPDEST
00000594: DUP1
00000595: CALLDATALOAD
00000596: SWAP1
00000597: PUSH1 0x20
00000599: ADD
0000059a: SWAP2
0000059b: DUP5
0000059c: PUSH1 0x20
0000059e: DUP4
0000059f: MUL
000005a0: DUP5
000005a1: ADD
000005a2: GT
000005a3: PUSH5 0x0100000000
000005a9: DUP4
000005aa: GT
000005ab: OR
000005ac: ISZERO
000005ad: PUSH2 0x05b5
000005b0: JUMPI
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: POP
000005b7: SWAP1
000005b8: SWAP3
000005b9: POP
000005ba: SWAP1
000005bb: POP
000005bc: PUSH2 0x1671
000005bf: JUMP
000005c0: JUMPDEST
000005c1: CALLVALUE
000005c2: DUP1
000005c3: ISZERO
000005c4: PUSH2 0x05cc
000005c7: JUMPI
000005c8: PUSH1 0x00
000005ca: DUP1
000005cb: REVERT
000005cc: JUMPDEST
000005cd: POP
000005ce: PUSH2 0x01c2
000005d1: PUSH1 0x04
000005d3: DUP1
000005d4: CALLDATASIZE
000005d5: SUB
000005d6: PUSH1 0x40
000005d8: DUP2
000005d9: LT
000005da: ISZERO
000005db: PUSH2 0x05e3
000005de: JUMPI
000005df: PUSH1 0x00
000005e1: DUP1
000005e2: REVERT
000005e3: JUMPDEST
000005e4: POP
000005e5: PUSH1 0x01
000005e7: PUSH1 0xa0
000005e9: PUSH1 0x02
000005eb: EXP
000005ec: SUB
000005ed: DUP2
000005ee: CALLDATALOAD
000005ef: DUP2
000005f0: AND
000005f1: SWAP2
000005f2: PUSH1 0x20
000005f4: ADD
000005f5: CALLDATALOAD
000005f6: AND
000005f7: PUSH2 0x1c82
000005fa: JUMP
000005fb: JUMPDEST
000005fc: CALLVALUE
000005fd: DUP1
000005fe: ISZERO
000005ff: PUSH2 0x0607
00000602: JUMPI
00000603: PUSH1 0x00
00000605: DUP1
00000606: REVERT
00000607: JUMPDEST
00000608: POP
00000609: PUSH2 0x0625
0000060c: PUSH1 0x04
0000060e: DUP1
0000060f: CALLDATASIZE
00000610: SUB
00000611: PUSH1 0x20
00000613: DUP2
00000614: LT
00000615: ISZERO
00000616: PUSH2 0x061e
00000619: JUMPI
0000061a: PUSH1 0x00
0000061c: DUP1
0000061d: REVERT
0000061e: JUMPDEST
0000061f: POP
00000620: CALLDATALOAD
00000621: PUSH2 0x1d15
00000624: JUMP
00000625: JUMPDEST
00000626: PUSH1 0x40
00000628: MLOAD
00000629: DUP1
0000062a: DUP6
0000062b: DUP2
0000062c: MSTORE
0000062d: PUSH1 0x20
0000062f: ADD
00000630: DUP5
00000631: PUSH8 0xffffffffffffffff
0000063a: AND
0000063b: PUSH8 0xffffffffffffffff
00000644: AND
00000645: DUP2
00000646: MSTORE
00000647: PUSH1 0x20
00000649: ADD
0000064a: DUP4
0000064b: PUSH1 0x01
0000064d: PUSH1 0xa0
0000064f: PUSH1 0x02
00000651: EXP
00000652: SUB
00000653: AND
00000654: PUSH1 0x01
00000656: PUSH1 0xa0
00000658: PUSH1 0x02
0000065a: EXP
0000065b: SUB
0000065c: AND
0000065d: DUP2
0000065e: MSTORE
0000065f: PUSH1 0x20
00000661: ADD
00000662: DUP3
00000663: PUSH1 0x01
00000665: DUP2
00000666: GT
00000667: ISZERO
00000668: PUSH2 0x066d
0000066b: JUMPI
0000066c: INVALID
0000066d: JUMPDEST
0000066e: PUSH1 0xff
00000670: AND
00000671: DUP2
00000672: MSTORE
00000673: PUSH1 0x20
00000675: ADD
00000676: SWAP5
00000677: POP
00000678: POP
00000679: POP
0000067a: POP
0000067b: POP
0000067c: PUSH1 0x40
0000067e: MLOAD
0000067f: DUP1
00000680: SWAP2
00000681: SUB
00000682: SWAP1
00000683: RETURN
00000684: JUMPDEST
00000685: CALLVALUE
00000686: DUP1
00000687: ISZERO
00000688: PUSH2 0x0690
0000068b: JUMPI
0000068c: PUSH1 0x00
0000068e: DUP1
0000068f: REVERT
00000690: JUMPDEST
00000691: POP
00000692: PUSH2 0x01c2
00000695: PUSH1 0x04
00000697: DUP1
00000698: CALLDATASIZE
00000699: SUB
0000069a: PUSH1 0x20
0000069c: DUP2
0000069d: LT
0000069e: ISZERO
0000069f: PUSH2 0x06a7
000006a2: JUMPI
000006a3: PUSH1 0x00
000006a5: DUP1
000006a6: REVERT
000006a7: JUMPDEST
000006a8: POP
000006a9: CALLDATALOAD
000006aa: PUSH1 0x01
000006ac: PUSH1 0xa0
000006ae: PUSH1 0x02
000006b0: EXP
000006b1: SUB
000006b2: AND
000006b3: PUSH2 0x1d6d
000006b6: JUMP
000006b7: JUMPDEST
000006b8: CALLVALUE
000006b9: DUP1
000006ba: ISZERO
000006bb: PUSH2 0x06c3
000006be: JUMPI
000006bf: PUSH1 0x00
000006c1: DUP1
000006c2: REVERT
000006c3: JUMPDEST
000006c4: POP
000006c5: PUSH2 0x0473
000006c8: PUSH2 0x1dc2
000006cb: JUMP
000006cc: JUMPDEST
000006cd: CALLVALUE
000006ce: DUP1
000006cf: ISZERO
000006d0: PUSH2 0x06d8
000006d3: JUMPI
000006d4: PUSH1 0x00
000006d6: DUP1
000006d7: REVERT
000006d8: JUMPDEST
000006d9: POP
000006da: PUSH2 0x01c2
000006dd: PUSH1 0x04
000006df: DUP1
000006e0: CALLDATASIZE
000006e1: SUB
000006e2: PUSH1 0x20
000006e4: DUP2
000006e5: LT
000006e6: ISZERO
000006e7: PUSH2 0x06ef
000006ea: JUMPI
000006eb: PUSH1 0x00
000006ed: DUP1
000006ee: REVERT
000006ef: JUMPDEST
000006f0: POP
000006f1: CALLDATALOAD
000006f2: PUSH2 0x1dd1
000006f5: JUMP
000006f6: JUMPDEST
000006f7: PUSH1 0x03
000006f9: SLOAD
000006fa: SWAP1
000006fb: JUMP
000006fc: JUMPDEST
000006fd: PUSH1 0x01
000006ff: PUSH1 0xa0
00000701: PUSH1 0x02
00000703: EXP
00000704: SUB
00000705: AND
00000706: PUSH1 0x00
00000708: SWAP1
00000709: DUP2
0000070a: MSTORE
0000070b: PUSH1 0x05
0000070d: PUSH1 0x20
0000070f: MSTORE
00000710: PUSH1 0x40
00000712: SWAP1
00000713: KECCAK256
00000714: SLOAD
00000715: ISZERO
00000716: ISZERO
00000717: SWAP1
00000718: JUMP
00000719: JUMPDEST
0000071a: PUSH2 0x0722
0000071d: CALLER
0000071e: PUSH2 0x0839
00000721: JUMP
00000722: JUMPDEST
00000723: ISZERO
00000724: ISZERO
00000725: PUSH2 0x079e
00000728: JUMPI
00000729: PUSH1 0x40
0000072b: DUP1
0000072c: MLOAD
0000072d: PUSH1 0xe5
0000072f: PUSH1 0x02
00000731: EXP
00000732: PUSH3 0x461bcd
00000736: MUL
00000737: DUP2
00000738: MSTORE
00000739: PUSH1 0x20
0000073b: PUSH1 0x04
0000073d: DUP3
0000073e: ADD
0000073f: MSTORE
00000740: PUSH1 0x30
00000742: PUSH1 0x24
00000744: DUP3
00000745: ADD
00000746: MSTORE
00000747: PUSH32 0x506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665
00000768: PUSH1 0x44
0000076a: DUP3
0000076b: ADD
0000076c: MSTORE
0000076d: PUSH32 0x207468652050617573657220726f6c6500000000000000000000000000000000
0000078e: PUSH1 0x64
00000790: DUP3
00000791: ADD
00000792: MSTORE
00000793: SWAP1
00000794: MLOAD
00000795: SWAP1
00000796: DUP2
00000797: SWAP1
00000798: SUB
00000799: PUSH1 0x84
0000079b: ADD
0000079c: SWAP1
0000079d: REVERT
0000079e: JUMPDEST
0000079f: PUSH1 0x02
000007a1: SLOAD
000007a2: PUSH1 0xff
000007a4: AND
000007a5: ISZERO
000007a6: ISZERO
000007a7: PUSH2 0x07fa
000007aa: JUMPI
000007ab: PUSH1 0x40
000007ad: DUP1
000007ae: MLOAD
000007af: PUSH1 0xe5
000007b1: PUSH1 0x02
000007b3: EXP
000007b4: PUSH3 0x461bcd
000007b8: MUL
000007b9: DUP2
000007ba: MSTORE
000007bb: PUSH1 0x20
000007bd: PUSH1 0x04
000007bf: DUP3
000007c0: ADD
000007c1: MSTORE
000007c2: PUSH1 0x14
000007c4: PUSH1 0x24
000007c6: DUP3
000007c7: ADD
000007c8: MSTORE
000007c9: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
000007ea: PUSH1 0x44
000007ec: DUP3
000007ed: ADD
000007ee: MSTORE
000007ef: SWAP1
000007f0: MLOAD
000007f1: SWAP1
000007f2: DUP2
000007f3: SWAP1
000007f4: SUB
000007f5: PUSH1 0x64
000007f7: ADD
000007f8: SWAP1
000007f9: REVERT
000007fa: JUMPDEST
000007fb: PUSH1 0x02
000007fd: DUP1
000007fe: SLOAD
000007ff: PUSH1 0xff
00000801: NOT
00000802: AND
00000803: SWAP1
00000804: SSTORE
00000805: PUSH1 0x40
00000807: DUP1
00000808: MLOAD
00000809: CALLER
0000080a: DUP2
0000080b: MSTORE
0000080c: SWAP1
0000080d: MLOAD
0000080e: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
0000082f: SWAP2
00000830: DUP2
00000831: SWAP1
00000832: SUB
00000833: PUSH1 0x20
00000835: ADD
00000836: SWAP1
00000837: LOG1
00000838: JUMP
00000839: JUMPDEST
0000083a: PUSH1 0x00
0000083c: PUSH2 0x084c
0000083f: PUSH1 0x01
00000841: DUP4
00000842: PUSH4 0xffffffff
00000847: PUSH2 0x2043
0000084a: AND
0000084b: JUMP
0000084c: JUMPDEST
0000084d: SWAP3
0000084e: SWAP2
0000084f: POP
00000850: POP
00000851: JUMP
00000852: JUMPDEST
00000853: PUSH2 0x085a
00000856: PUSH2 0x15f8
00000859: JUMP
0000085a: JUMPDEST
0000085b: ISZERO
0000085c: ISZERO
0000085d: PUSH2 0x089e
00000860: JUMPI
00000861: PUSH1 0x40
00000863: DUP1
00000864: MLOAD
00000865: PUSH1 0xe5
00000867: PUSH1 0x02
00000869: EXP
0000086a: PUSH3 0x461bcd
0000086e: MUL
0000086f: DUP2
00000870: MSTORE
00000871: PUSH1 0x20
00000873: PUSH1 0x04
00000875: DUP3
00000876: ADD
00000877: DUP2
00000878: SWAP1
00000879: MSTORE
0000087a: PUSH1 0x24
0000087c: DUP3
0000087d: ADD
0000087e: MSTORE
0000087f: PUSH1 0x00
00000881: DUP1
00000882: MLOAD
00000883: PUSH1 0x20
00000885: PUSH2 0x262c
00000888: DUP4
00000889: CODECOPY
0000088a: DUP2
0000088b: MLOAD
0000088c: SWAP2
0000088d: MSTORE
0000088e: PUSH1 0x44
00000890: DUP3
00000891: ADD
00000892: MSTORE
00000893: SWAP1
00000894: MLOAD
00000895: SWAP1
00000896: DUP2
00000897: SWAP1
00000898: SUB
00000899: PUSH1 0x64
0000089b: ADD
0000089c: SWAP1
0000089d: REVERT
0000089e: JUMPDEST
0000089f: PUSH1 0x08
000008a1: DUP1
000008a2: SLOAD
000008a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b8: NOT
000008b9: AND
000008ba: PUSH1 0x01
000008bc: PUSH1 0xa0
000008be: PUSH1 0x02
000008c0: EXP
000008c1: SUB
000008c2: SWAP3
000008c3: SWAP1
000008c4: SWAP3
000008c5: AND
000008c6: SWAP2
000008c7: SWAP1
000008c8: SWAP2
000008c9: OR
000008ca: SWAP1
000008cb: SSTORE
000008cc: JUMP
000008cd: JUMPDEST
000008ce: PUSH2 0x08d5
000008d1: PUSH2 0x15f8
000008d4: JUMP
000008d5: JUMPDEST
000008d6: ISZERO
000008d7: ISZERO
000008d8: PUSH2 0x0919
000008db: JUMPI
000008dc: PUSH1 0x40
000008de: DUP1
000008df: MLOAD
000008e0: PUSH1 0xe5
000008e2: PUSH1 0x02
000008e4: EXP
000008e5: PUSH3 0x461bcd
000008e9: MUL
000008ea: DUP2
000008eb: MSTORE
000008ec: PUSH1 0x20
000008ee: PUSH1 0x04
000008f0: DUP3
000008f1: ADD
000008f2: DUP2
000008f3: SWAP1
000008f4: MSTORE
000008f5: PUSH1 0x24
000008f7: DUP3
000008f8: ADD
000008f9: MSTORE
000008fa: PUSH1 0x00
000008fc: DUP1
000008fd: MLOAD
000008fe: PUSH1 0x20
00000900: PUSH2 0x262c
00000903: DUP4
00000904: CODECOPY
00000905: DUP2
00000906: MLOAD
00000907: SWAP2
00000908: MSTORE
00000909: PUSH1 0x44
0000090b: DUP3
0000090c: ADD
0000090d: MSTORE
0000090e: SWAP1
0000090f: MLOAD
00000910: SWAP1
00000911: DUP2
00000912: SWAP1
00000913: SUB
00000914: PUSH1 0x64
00000916: ADD
00000917: SWAP1
00000918: REVERT
00000919: JUMPDEST
0000091a: PUSH2 0x094c
0000091d: DUP2
0000091e: PUSH1 0x04
00000920: DUP5
00000921: DUP2
00000922: SLOAD
00000923: DUP2
00000924: LT
00000925: ISZERO
00000926: ISZERO
00000927: PUSH2 0x092c
0000092a: JUMPI
0000092b: INVALID
0000092c: JUMPDEST
0000092d: SWAP1
0000092e: PUSH1 0x00
00000930: MSTORE
00000931: PUSH1 0x20
00000933: PUSH1 0x00
00000935: KECCAK256
00000936: SWAP1
00000937: PUSH1 0x05
00000939: MUL
0000093a: ADD
0000093b: PUSH1 0x03
0000093d: ADD
0000093e: SLOAD
0000093f: PUSH2 0x20eb
00000942: SWAP1
00000943: SWAP2
00000944: SWAP1
00000945: PUSH4 0xffffffff
0000094a: AND
0000094b: JUMP
0000094c: JUMPDEST
0000094d: PUSH1 0x04
0000094f: DUP1
00000950: SLOAD
00000951: DUP5
00000952: SWAP1
00000953: DUP2
00000954: LT
00000955: PUSH2 0x095a
00000958: JUMPI
00000959: INVALID
0000095a: JUMPDEST
0000095b: SWAP1
0000095c: PUSH1 0x00
0000095e: MSTORE
0000095f: PUSH1 0x20
00000961: PUSH1 0x00
00000963: KECCAK256
00000964: SWAP1
00000965: PUSH1 0x05
00000967: MUL
00000968: ADD
00000969: PUSH1 0x03
0000096b: ADD
0000096c: DUP2
0000096d: SWAP1
0000096e: SSTORE
0000096f: POP
00000970: POP
00000971: POP
00000972: JUMP
00000973: JUMPDEST
00000974: PUSH1 0x02
00000976: SLOAD
00000977: PUSH1 0xff
00000979: AND
0000097a: SWAP1
0000097b: JUMP
0000097c: JUMPDEST
0000097d: PUSH1 0x02
0000097f: SLOAD
00000980: PUSH1 0xff
00000982: AND
00000983: ISZERO
00000984: PUSH2 0x09c5
00000987: JUMPI
00000988: PUSH1 0x40
0000098a: DUP1
0000098b: MLOAD
0000098c: PUSH1 0xe5
0000098e: PUSH1 0x02
00000990: EXP
00000991: PUSH3 0x461bcd
00000995: MUL
00000996: DUP2
00000997: MSTORE
00000998: PUSH1 0x20
0000099a: PUSH1 0x04
0000099c: DUP3
0000099d: ADD
0000099e: MSTORE
0000099f: PUSH1 0x10
000009a1: PUSH1 0x24
000009a3: DUP3
000009a4: ADD
000009a5: MSTORE
000009a6: PUSH1 0x00
000009a8: DUP1
000009a9: MLOAD
000009aa: PUSH1 0x20
000009ac: PUSH2 0x264c
000009af: DUP4
000009b0: CODECOPY
000009b1: DUP2
000009b2: MLOAD
000009b3: SWAP2
000009b4: MSTORE
000009b5: PUSH1 0x44
000009b7: DUP3
000009b8: ADD
000009b9: MSTORE
000009ba: SWAP1
000009bb: MLOAD
000009bc: SWAP1
000009bd: DUP2
000009be: SWAP1
000009bf: SUB
000009c0: PUSH1 0x64
000009c2: ADD
000009c3: SWAP1
000009c4: REVERT
000009c5: JUMPDEST
000009c6: PUSH1 0x08
000009c8: SLOAD
000009c9: PUSH1 0x40
000009cb: DUP1
000009cc: MLOAD
000009cd: PUSH32 0xf291fe9f00000000000000000000000000000000000000000000000000000000
000009ee: DUP2
000009ef: MSTORE
000009f0: CALLER
000009f1: PUSH1 0x04
000009f3: DUP3
000009f4: ADD
000009f5: MSTORE
000009f6: CALLVALUE
000009f7: PUSH1 0x24
000009f9: DUP3
000009fa: ADD
000009fb: MSTORE
000009fc: PUSH1 0x00
000009fe: PUSH1 0x44
00000a00: DUP3
00000a01: ADD
00000a02: DUP2
00000a03: SWAP1
00000a04: MSTORE
00000a05: PUSH1 0x64
00000a07: DUP3
00000a08: ADD
00000a09: DUP2
00000a0a: SWAP1
00000a0b: MSTORE
00000a0c: PUSH1 0x84
00000a0e: DUP3
00000a0f: ADD
00000a10: DUP2
00000a11: SWAP1
00000a12: MSTORE
00000a13: SWAP2
00000a14: MLOAD
00000a15: PUSH1 0x60
00000a17: SWAP4
00000a18: PUSH1 0x01
00000a1a: PUSH1 0xa0
00000a1c: PUSH1 0x02
00000a1e: EXP
00000a1f: SUB
00000a20: AND
00000a21: SWAP3
00000a22: PUSH4 0xf291fe9f
00000a27: SWAP3
00000a28: PUSH1 0xa4
00000a2a: DUP1
00000a2b: DUP3
00000a2c: ADD
00000a2d: SWAP4
00000a2e: SWAP2
00000a2f: DUP3
00000a30: SWAP1
00000a31: SUB
00000a32: ADD
00000a33: DUP2
00000a34: DUP7
00000a35: DUP1
00000a36: EXTCODESIZE
00000a37: ISZERO
00000a38: DUP1
00000a39: ISZERO
00000a3a: PUSH2 0x0a42
00000a3d: JUMPI
00000a3e: PUSH1 0x00
00000a40: DUP1
00000a41: REVERT
00000a42: JUMPDEST
00000a43: POP
00000a44: GAS
00000a45: STATICCALL
00000a46: ISZERO
00000a47: DUP1
00000a48: ISZERO
00000a49: PUSH2 0x0a56
00000a4c: JUMPI
00000a4d: RETURNDATASIZE
00000a4e: PUSH1 0x00
00000a50: DUP1
00000a51: RETURNDATACOPY
00000a52: RETURNDATASIZE
00000a53: PUSH1 0x00
00000a55: REVERT
00000a56: JUMPDEST
00000a57: POP
00000a58: POP
00000a59: POP
00000a5a: POP
00000a5b: PUSH1 0x40
00000a5d: MLOAD
00000a5e: RETURNDATASIZE
00000a5f: PUSH1 0x00
00000a61: DUP3
00000a62: RETURNDATACOPY
00000a63: PUSH1 0x1f
00000a65: RETURNDATASIZE
00000a66: SWAP1
00000a67: DUP2
00000a68: ADD
00000a69: PUSH1 0x1f
00000a6b: NOT
00000a6c: AND
00000a6d: DUP3
00000a6e: ADD
00000a6f: PUSH1 0x40
00000a71: MSTORE
00000a72: PUSH1 0x20
00000a74: DUP2
00000a75: LT
00000a76: ISZERO
00000a77: PUSH2 0x0a7f
00000a7a: JUMPI
00000a7b: PUSH1 0x00
00000a7d: DUP1
00000a7e: REVERT
00000a7f: JUMPDEST
00000a80: DUP2
00000a81: ADD
00000a82: SWAP1
00000a83: DUP1
00000a84: DUP1
00000a85: MLOAD
00000a86: PUSH5 0x0100000000
00000a8c: DUP2
00000a8d: GT
00000a8e: ISZERO
00000a8f: PUSH2 0x0a97
00000a92: JUMPI
00000a93: PUSH1 0x00
00000a95: DUP1
00000a96: REVERT
00000a97: JUMPDEST
00000a98: DUP3
00000a99: ADD
00000a9a: PUSH1 0x20
00000a9c: DUP2
00000a9d: ADD
00000a9e: DUP5
00000a9f: DUP2
00000aa0: GT
00000aa1: ISZERO
00000aa2: PUSH2 0x0aaa
00000aa5: JUMPI
00000aa6: PUSH1 0x00
00000aa8: DUP1
00000aa9: REVERT
00000aaa: JUMPDEST
00000aab: DUP2
00000aac: MLOAD
00000aad: DUP6
00000aae: PUSH1 0x20
00000ab0: DUP3
00000ab1: MUL
00000ab2: DUP4
00000ab3: ADD
00000ab4: GT
00000ab5: PUSH5 0x0100000000
00000abb: DUP3
00000abc: GT
00000abd: OR
00000abe: ISZERO
00000abf: PUSH2 0x0ac7
00000ac2: JUMPI
00000ac3: PUSH1 0x00
00000ac5: DUP1
00000ac6: REVERT
00000ac7: JUMPDEST
00000ac8: POP
00000ac9: SWAP1
00000aca: SWAP5
00000acb: POP
00000acc: PUSH1 0x00
00000ace: SWAP4
00000acf: POP
00000ad0: PUSH2 0x0ad8
00000ad3: SWAP3
00000ad4: POP
00000ad5: POP
00000ad6: POP
00000ad7: JUMP
00000ad8: JUMPDEST
00000ad9: DUP2
00000ada: PUSH1 0x08
00000adc: DUP2
00000add: MLOAD
00000ade: DUP2
00000adf: LT
00000ae0: ISZERO
00000ae1: ISZERO
00000ae2: PUSH2 0x0ae7
00000ae5: JUMPI
00000ae6: INVALID
00000ae7: JUMPDEST
00000ae8: SWAP1
00000ae9: PUSH1 0x20
00000aeb: ADD
00000aec: SWAP1
00000aed: PUSH1 0x20
00000aef: MUL
00000af0: ADD
00000af1: MLOAD
00000af2: PUSH1 0x03
00000af4: DUP2
00000af5: GT
00000af6: ISZERO
00000af7: PUSH2 0x0afc
00000afa: JUMPI
00000afb: INVALID
00000afc: JUMPDEST
00000afd: PUSH1 0x03
00000aff: DUP2
00000b00: GT
00000b01: ISZERO
00000b02: PUSH2 0x0b07
00000b05: JUMPI
00000b06: INVALID
00000b07: JUMPDEST
00000b08: PUSH1 0x08
00000b0a: DUP1
00000b0b: SLOAD
00000b0c: DUP5
00000b0d: MLOAD
00000b0e: SWAP3
00000b0f: SWAP1
00000b10: SWAP4
00000b11: EQ
00000b12: SWAP3
00000b13: PUSH1 0x01
00000b15: PUSH1 0xa0
00000b17: PUSH1 0x02
00000b19: EXP
00000b1a: SUB
00000b1b: AND
00000b1c: SWAP2
00000b1d: PUSH4 0x3fbf509c
00000b22: SWAP2
00000b23: DUP6
00000b24: SWAP2
00000b25: DUP2
00000b26: LT
00000b27: PUSH2 0x0b2c
00000b2a: JUMPI
00000b2b: INVALID
00000b2c: JUMPDEST
00000b2d: SWAP1
00000b2e: PUSH1 0x20
00000b30: ADD
00000b31: SWAP1
00000b32: PUSH1 0x20
00000b34: MUL
00000b35: ADD
00000b36: MLOAD
00000b37: PUSH1 0x03
00000b39: DUP2
00000b3a: GT
00000b3b: ISZERO
00000b3c: PUSH2 0x0b41
00000b3f: JUMPI
00000b40: INVALID
00000b41: JUMPDEST
00000b42: PUSH1 0x40
00000b44: MLOAD
00000b45: DUP3
00000b46: PUSH4 0xffffffff
00000b4b: AND
00000b4c: PUSH1 0xe0
00000b4e: PUSH1 0x02
00000b50: EXP
00000b51: MUL
00000b52: DUP2
00000b53: MSTORE
00000b54: PUSH1 0x04
00000b56: ADD
00000b57: DUP1
00000b58: DUP3
00000b59: PUSH1 0x03
00000b5b: DUP2
00000b5c: GT
00000b5d: ISZERO
00000b5e: PUSH2 0x0b63
00000b61: JUMPI
00000b62: INVALID
00000b63: JUMPDEST
00000b64: PUSH1 0xff
00000b66: AND
00000b67: DUP2
00000b68: MSTORE
00000b69: PUSH1 0x20
00000b6b: ADD
00000b6c: SWAP2
00000b6d: POP
00000b6e: POP
00000b6f: PUSH1 0x00
00000b71: PUSH1 0x40
00000b73: MLOAD
00000b74: DUP1
00000b75: DUP4
00000b76: SUB
00000b77: DUP2
00000b78: DUP7
00000b79: DUP1
00000b7a: EXTCODESIZE
00000b7b: ISZERO
00000b7c: DUP1
00000b7d: ISZERO
00000b7e: PUSH2 0x0b86
00000b81: JUMPI
00000b82: PUSH1 0x00
00000b84: DUP1
00000b85: REVERT
00000b86: JUMPDEST
00000b87: POP
00000b88: GAS
00000b89: STATICCALL
00000b8a: ISZERO
00000b8b: DUP1
00000b8c: ISZERO
00000b8d: PUSH2 0x0b9a
00000b90: JUMPI
00000b91: RETURNDATASIZE
00000b92: PUSH1 0x00
00000b94: DUP1
00000b95: RETURNDATACOPY
00000b96: RETURNDATASIZE
00000b97: PUSH1 0x00
00000b99: REVERT
00000b9a: JUMPDEST
00000b9b: POP
00000b9c: POP
00000b9d: POP
00000b9e: POP
00000b9f: PUSH1 0x40
00000ba1: MLOAD
00000ba2: RETURNDATASIZE
00000ba3: PUSH1 0x00
00000ba5: DUP3
00000ba6: RETURNDATACOPY
00000ba7: PUSH1 0x1f
00000ba9: RETURNDATASIZE
00000baa: SWAP1
00000bab: DUP2
00000bac: ADD
00000bad: PUSH1 0x1f
00000baf: NOT
00000bb0: AND
00000bb1: DUP3
00000bb2: ADD
00000bb3: PUSH1 0x40
00000bb5: MSTORE
00000bb6: PUSH1 0x20
00000bb8: DUP2
00000bb9: LT
00000bba: ISZERO
00000bbb: PUSH2 0x0bc3
00000bbe: JUMPI
00000bbf: PUSH1 0x00
00000bc1: DUP1
00000bc2: REVERT
00000bc3: JUMPDEST
00000bc4: DUP2
00000bc5: ADD
00000bc6: SWAP1
00000bc7: DUP1
00000bc8: DUP1
00000bc9: MLOAD
00000bca: PUSH5 0x0100000000
00000bd0: DUP2
00000bd1: GT
00000bd2: ISZERO
00000bd3: PUSH2 0x0bdb
00000bd6: JUMPI
00000bd7: PUSH1 0x00
00000bd9: DUP1
00000bda: REVERT
00000bdb: JUMPDEST
00000bdc: DUP3
00000bdd: ADD
00000bde: PUSH1 0x20
00000be0: DUP2
00000be1: ADD
00000be2: DUP5
00000be3: DUP2
00000be4: GT
00000be5: ISZERO
00000be6: PUSH2 0x0bee
00000be9: JUMPI
00000bea: PUSH1 0x00
00000bec: DUP1
00000bed: REVERT
00000bee: JUMPDEST
00000bef: DUP2
00000bf0: MLOAD
00000bf1: PUSH5 0x0100000000
00000bf7: DUP2
00000bf8: GT
00000bf9: DUP3
00000bfa: DUP3
00000bfb: ADD
00000bfc: DUP8
00000bfd: LT
00000bfe: OR
00000bff: ISZERO
00000c00: PUSH2 0x0c08
00000c03: JUMPI
00000c04: PUSH1 0x00
00000c06: DUP1
00000c07: REVERT
00000c08: JUMPDEST
00000c09: POP
00000c0a: POP
00000c0b: SWAP3
00000c0c: SWAP2
00000c0d: SWAP1
00000c0e: POP
00000c0f: POP
00000c10: POP
00000c11: SWAP1
00000c12: ISZERO
00000c13: ISZERO
00000c14: PUSH2 0x0c9e
00000c17: JUMPI
00000c18: PUSH1 0x40
00000c1a: MLOAD
00000c1b: PUSH1 0xe5
00000c1d: PUSH1 0x02
00000c1f: EXP
00000c20: PUSH3 0x461bcd
00000c24: MUL
00000c25: DUP2
00000c26: MSTORE
00000c27: PUSH1 0x04
00000c29: ADD
00000c2a: DUP1
00000c2b: DUP1
00000c2c: PUSH1 0x20
00000c2e: ADD
00000c2f: DUP3
00000c30: DUP2
00000c31: SUB
00000c32: DUP3
00000c33: MSTORE
00000c34: DUP4
00000c35: DUP2
00000c36: DUP2
00000c37: MLOAD
00000c38: DUP2
00000c39: MSTORE
00000c3a: PUSH1 0x20
00000c3c: ADD
00000c3d: SWAP2
00000c3e: POP
00000c3f: DUP1
00000c40: MLOAD
00000c41: SWAP1
00000c42: PUSH1 0x20
00000c44: ADD
00000c45: SWAP1
00000c46: DUP1
00000c47: DUP4
00000c48: DUP4
00000c49: PUSH1 0x00
00000c4b: JUMPDEST
00000c4c: DUP4
00000c4d: DUP2
00000c4e: LT
00000c4f: ISZERO
00000c50: PUSH2 0x0c63
00000c53: JUMPI
00000c54: DUP2
00000c55: DUP2
00000c56: ADD
00000c57: MLOAD
00000c58: DUP4
00000c59: DUP3
00000c5a: ADD
00000c5b: MSTORE
00000c5c: PUSH1 0x20
00000c5e: ADD
00000c5f: PUSH2 0x0c4b
00000c62: JUMP
00000c63: JUMPDEST
00000c64: POP
00000c65: POP
00000c66: POP
00000c67: POP
00000c68: SWAP1
00000c69: POP
00000c6a: SWAP1
00000c6b: DUP2
00000c6c: ADD
00000c6d: SWAP1
00000c6e: PUSH1 0x1f
00000c70: AND
00000c71: DUP1
00000c72: ISZERO
00000c73: PUSH2 0x0c90
00000c76: JUMPI
00000c77: DUP1
00000c78: DUP3
00000c79: SUB
00000c7a: DUP1
00000c7b: MLOAD
00000c7c: PUSH1 0x01
00000c7e: DUP4
00000c7f: PUSH1 0x20
00000c81: SUB
00000c82: PUSH2 0x0100
00000c85: EXP
00000c86: SUB
00000c87: NOT
00000c88: AND
00000c89: DUP2
00000c8a: MSTORE
00000c8b: PUSH1 0x20
00000c8d: ADD
00000c8e: SWAP2
00000c8f: POP
00000c90: JUMPDEST
00000c91: POP
00000c92: SWAP3
00000c93: POP
00000c94: POP
00000c95: POP
00000c96: PUSH1 0x40
00000c98: MLOAD
00000c99: DUP1
00000c9a: SWAP2
00000c9b: SUB
00000c9c: SWAP1
00000c9d: REVERT
00000c9e: JUMPDEST
00000c9f: POP
00000ca0: PUSH1 0x40
00000ca2: DUP1
00000ca3: MLOAD
00000ca4: PUSH1 0xe0
00000ca6: DUP2
00000ca7: ADD
00000ca8: DUP3
00000ca9: MSTORE
00000caa: CALLER
00000cab: DUP2
00000cac: MSTORE
00000cad: PUSH8 0xffffffffffffffff
00000cb6: TIMESTAMP
00000cb7: DUP2
00000cb8: AND
00000cb9: PUSH1 0x20
00000cbb: DUP4
00000cbc: ADD
00000cbd: SWAP1
00000cbe: DUP2
00000cbf: MSTORE
00000cc0: PUSH1 0x01
00000cc2: SWAP4
00000cc3: DUP4
00000cc4: ADD
00000cc5: DUP5
00000cc6: DUP2
00000cc7: MSTORE
00000cc8: CALLVALUE
00000cc9: PUSH1 0x60
00000ccb: DUP6
00000ccc: ADD
00000ccd: MSTORE
00000cce: PUSH1 0x00
00000cd0: PUSH1 0x80
00000cd2: DUP6
00000cd3: ADD
00000cd4: DUP2
00000cd5: SWAP1
00000cd6: MSTORE
00000cd7: PUSH1 0xa0
00000cd9: DUP6
00000cda: ADD
00000cdb: DUP2
00000cdc: SWAP1
00000cdd: MSTORE
00000cde: PUSH1 0xc0
00000ce0: DUP6
00000ce1: ADD
00000ce2: DUP2
00000ce3: SWAP1
00000ce4: MSTORE
00000ce5: PUSH1 0x04
00000ce7: DUP1
00000ce8: SLOAD
00000ce9: SWAP7
00000cea: DUP8
00000ceb: ADD
00000cec: DUP1
00000ced: DUP3
00000cee: SSTORE
00000cef: SWAP2
00000cf0: MSTORE
00000cf1: DUP5
00000cf2: MLOAD
00000cf3: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b
00000d14: PUSH1 0x05
00000d16: SWAP1
00000d17: SWAP8
00000d18: MUL
00000d19: SWAP7
00000d1a: SWAP1
00000d1b: SWAP7
00000d1c: ADD
00000d1d: DUP1
00000d1e: SLOAD
00000d1f: SWAP4
00000d20: MLOAD
00000d21: SWAP1
00000d22: SWAP5
00000d23: AND
00000d24: PUSH21 0x010000000000000000000000000000000000000000
00000d3a: MUL
00000d3b: PUSH32 0xffffffff0000000000000000ffffffffffffffffffffffffffffffffffffffff
00000d5c: PUSH1 0x01
00000d5e: PUSH1 0xa0
00000d60: PUSH1 0x02
00000d62: EXP
00000d63: SUB
00000d64: SWAP1
00000d65: SWAP8
00000d66: AND
00000d67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7c: NOT
00000d7d: SWAP1
00000d7e: SWAP5
00000d7f: AND
00000d80: SWAP4
00000d81: SWAP1
00000d82: SWAP4
00000d83: OR
00000d84: SWAP6
00000d85: SWAP1
00000d86: SWAP6
00000d87: AND
00000d88: SWAP2
00000d89: SWAP1
00000d8a: SWAP2
00000d8b: OR
00000d8c: DUP1
00000d8d: DUP4
00000d8e: SSTORE
00000d8f: SWAP1
00000d90: MLOAD
00000d91: SWAP1
00000d92: DUP3
00000d93: SWAP1
00000d94: PUSH1 0xe0
00000d96: PUSH1 0x02
00000d98: EXP
00000d99: PUSH1 0xff
00000d9b: MUL
00000d9c: NOT
00000d9d: AND
00000d9e: PUSH1 0xe0
00000da0: PUSH1 0x02
00000da2: EXP
00000da3: DUP4
00000da4: PUSH1 0x06
00000da6: DUP2
00000da7: GT
00000da8: ISZERO
00000da9: PUSH2 0x0dae
00000dac: JUMPI
00000dad: INVALID
00000dae: JUMPDEST
00000daf: MUL
00000db0: OR
00000db1: SWAP1
00000db2: SSTORE
00000db3: POP
00000db4: PUSH1 0x60
00000db6: DUP3
00000db7: ADD
00000db8: MLOAD
00000db9: PUSH1 0x01
00000dbb: DUP1
00000dbc: DUP4
00000dbd: ADD
00000dbe: SWAP2
00000dbf: SWAP1
00000dc0: SWAP2
00000dc1: SSTORE
00000dc2: PUSH1 0x80
00000dc4: DUP4
00000dc5: ADD
00000dc6: MLOAD
00000dc7: PUSH1 0x02
00000dc9: DUP4
00000dca: ADD
00000dcb: SSTORE
00000dcc: PUSH1 0xa0
00000dce: DUP4
00000dcf: ADD
00000dd0: MLOAD
00000dd1: PUSH1 0x03
00000dd3: DUP4
00000dd4: ADD
00000dd5: SSTORE
00000dd6: PUSH1 0xc0
00000dd8: SWAP1
00000dd9: SWAP3
00000dda: ADD
00000ddb: MLOAD
00000ddc: PUSH1 0x04
00000dde: SWAP1
00000ddf: SWAP2
00000de0: ADD
00000de1: SSTORE
00000de2: CALLER
00000de3: PUSH1 0x00
00000de5: SWAP1
00000de6: DUP2
00000de7: MSTORE
00000de8: PUSH1 0x05
00000dea: PUSH1 0x20
00000dec: MSTORE
00000ded: PUSH1 0x40
00000def: SWAP1
00000df0: KECCAK256
00000df1: SLOAD
00000df2: PUSH2 0x0e02
00000df5: SWAP3
00000df6: POP
00000df7: SWAP1
00000df8: PUSH4 0xffffffff
00000dfd: PUSH2 0x20eb
00000e00: AND
00000e01: JUMP
00000e02: JUMPDEST
00000e03: CALLER
00000e04: PUSH1 0x00
00000e06: DUP2
00000e07: DUP2
00000e08: MSTORE
00000e09: PUSH1 0x05
00000e0b: PUSH1 0x20
00000e0d: MSTORE
00000e0e: PUSH1 0x40
00000e10: SWAP1
00000e11: KECCAK256
00000e12: SWAP2
00000e13: SWAP1
00000e14: SWAP2
00000e15: SSTORE
00000e16: PUSH1 0x04
00000e18: SLOAD
00000e19: PUSH32 0x27d02633599e682f984c85c4f8d2036761dae6638a56360aaa1fb6050daf7a19
00000e3a: SWAP1
00000e3b: CALLVALUE
00000e3c: SWAP1
00000e3d: PUSH2 0x0e4d
00000e40: SWAP1
00000e41: PUSH1 0x01
00000e43: PUSH4 0xffffffff
00000e48: PUSH2 0x214f
00000e4b: AND
00000e4c: JUMP
00000e4d: JUMPDEST
00000e4e: PUSH1 0x40
00000e50: DUP1
00000e51: MLOAD
00000e52: SWAP3
00000e53: DUP4
00000e54: MSTORE
00000e55: PUSH1 0x20
00000e57: DUP4
00000e58: ADD
00000e59: SWAP2
00000e5a: SWAP1
00000e5b: SWAP2
00000e5c: MSTORE
00000e5d: DUP1
00000e5e: MLOAD
00000e5f: SWAP2
00000e60: DUP3
00000e61: SWAP1
00000e62: SUB
00000e63: ADD
00000e64: SWAP1
00000e65: LOG2
00000e66: POP
00000e67: JUMP
00000e68: JUMPDEST
00000e69: PUSH2 0x0e71
00000e6c: CALLER
00000e6d: PUSH2 0x21af
00000e70: JUMP
00000e71: JUMPDEST
00000e72: JUMP
00000e73: JUMPDEST
00000e74: PUSH2 0x0e7b
00000e77: PUSH2 0x15f8
00000e7a: JUMP
00000e7b: JUMPDEST
00000e7c: ISZERO
00000e7d: ISZERO
00000e7e: PUSH2 0x0ebf
00000e81: JUMPI
00000e82: PUSH1 0x40
00000e84: DUP1
00000e85: MLOAD
00000e86: PUSH1 0xe5
00000e88: PUSH1 0x02
00000e8a: EXP
00000e8b: PUSH3 0x461bcd
00000e8f: MUL
00000e90: DUP2
00000e91: MSTORE
00000e92: PUSH1 0x20
00000e94: PUSH1 0x04
00000e96: DUP3
00000e97: ADD
00000e98: DUP2
00000e99: SWAP1
00000e9a: MSTORE
00000e9b: PUSH1 0x24
00000e9d: DUP3
00000e9e: ADD
00000e9f: MSTORE
00000ea0: PUSH1 0x00
00000ea2: DUP1
00000ea3: MLOAD
00000ea4: PUSH1 0x20
00000ea6: PUSH2 0x262c
00000ea9: DUP4
00000eaa: CODECOPY
00000eab: DUP2
00000eac: MLOAD
00000ead: SWAP2
00000eae: MSTORE
00000eaf: PUSH1 0x44
00000eb1: DUP3
00000eb2: ADD
00000eb3: MSTORE
00000eb4: SWAP1
00000eb5: MLOAD
00000eb6: SWAP1
00000eb7: DUP2
00000eb8: SWAP1
00000eb9: SUB
00000eba: PUSH1 0x64
00000ebc: ADD
00000ebd: SWAP1
00000ebe: REVERT
00000ebf: JUMPDEST
00000ec0: PUSH1 0x00
00000ec2: DUP1
00000ec3: SLOAD
00000ec4: PUSH1 0x40
00000ec6: MLOAD
00000ec7: PUSH1 0x01
00000ec9: PUSH1 0xa0
00000ecb: PUSH1 0x02
00000ecd: EXP
00000ece: SUB
00000ecf: SWAP1
00000ed0: SWAP2
00000ed1: AND
00000ed2: SWAP1
00000ed3: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000ef4: SWAP1
00000ef5: DUP4
00000ef6: SWAP1
00000ef7: LOG3
00000ef8: PUSH1 0x00
00000efa: DUP1
00000efb: SLOAD
00000efc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f11: NOT
00000f12: AND
00000f13: SWAP1
00000f14: SSTORE
00000f15: JUMP
00000f16: JUMPDEST
00000f17: PUSH1 0x05
00000f19: PUSH1 0x20
00000f1b: MSTORE
00000f1c: PUSH1 0x00
00000f1e: SWAP1
00000f1f: DUP2
00000f20: MSTORE
00000f21: PUSH1 0x40
00000f23: SWAP1
00000f24: KECCAK256
00000f25: SLOAD
00000f26: DUP2
00000f27: JUMP
00000f28: JUMPDEST
00000f29: PUSH1 0x02
00000f2b: SLOAD
00000f2c: PUSH1 0xff
00000f2e: AND
00000f2f: ISZERO
00000f30: PUSH2 0x0f71
00000f33: JUMPI
00000f34: PUSH1 0x40
00000f36: DUP1
00000f37: MLOAD
00000f38: PUSH1 0xe5
00000f3a: PUSH1 0x02
00000f3c: EXP
00000f3d: PUSH3 0x461bcd
00000f41: MUL
00000f42: DUP2
00000f43: MSTORE
00000f44: PUSH1 0x20
00000f46: PUSH1 0x04
00000f48: DUP3
00000f49: ADD
00000f4a: MSTORE
00000f4b: PUSH1 0x10
00000f4d: PUSH1 0x24
00000f4f: DUP3
00000f50: ADD
00000f51: MSTORE
00000f52: PUSH1 0x00
00000f54: DUP1
00000f55: MLOAD
00000f56: PUSH1 0x20
00000f58: PUSH2 0x264c
00000f5b: DUP4
00000f5c: CODECOPY
00000f5d: DUP2
00000f5e: MLOAD
00000f5f: SWAP2
00000f60: MSTORE
00000f61: PUSH1 0x44
00000f63: DUP3
00000f64: ADD
00000f65: MSTORE
00000f66: SWAP1
00000f67: MLOAD
00000f68: SWAP1
00000f69: DUP2
00000f6a: SWAP1
00000f6b: SUB
00000f6c: PUSH1 0x64
00000f6e: ADD
00000f6f: SWAP1
00000f70: REVERT
00000f71: JUMPDEST
00000f72: PUSH1 0x07
00000f74: SLOAD
00000f75: PUSH1 0x01
00000f77: PUSH1 0xa0
00000f79: PUSH1 0x02
00000f7b: EXP
00000f7c: SUB
00000f7d: AND
00000f7e: CALLER
00000f7f: EQ
00000f80: PUSH2 0x0ff9
00000f83: JUMPI
00000f84: PUSH1 0x40
00000f86: DUP1
00000f87: MLOAD
00000f88: PUSH1 0xe5
00000f8a: PUSH1 0x02
00000f8c: EXP
00000f8d: PUSH3 0x461bcd
00000f91: MUL
00000f92: DUP2
00000f93: MSTORE
00000f94: PUSH1 0x20
00000f96: PUSH1 0x04
00000f98: DUP3
00000f99: ADD
00000f9a: MSTORE
00000f9b: PUSH1 0x26
00000f9d: PUSH1 0x24
00000f9f: DUP3
00000fa0: ADD
00000fa1: MSTORE
00000fa2: PUSH32 0x53656e6465722073686f756c642062652045746865725061796d656e74436f6e
00000fc3: PUSH1 0x44
00000fc5: DUP3
00000fc6: ADD
00000fc7: MSTORE
00000fc8: PUSH32 0x6669726d65720000000000000000000000000000000000000000000000000000
00000fe9: PUSH1 0x64
00000feb: DUP3
00000fec: ADD
00000fed: MSTORE
00000fee: SWAP1
00000fef: MLOAD
00000ff0: SWAP1
00000ff1: DUP2
00000ff2: SWAP1
00000ff3: SUB
00000ff4: PUSH1 0x84
00000ff6: ADD
00000ff7: SWAP1
00000ff8: REVERT
00000ff9: JUMPDEST
00000ffa: PUSH1 0x03
00000ffc: SLOAD
00000ffd: PUSH8 0xffffffffffffffff
00001006: DUP4
00001007: AND
00001008: LT
00001009: PUSH2 0x105c
0000100c: JUMPI
0000100d: PUSH1 0x40
0000100f: DUP1
00001010: MLOAD
00001011: PUSH1 0xe5
00001013: PUSH1 0x02
00001015: EXP
00001016: PUSH3 0x461bcd
0000101a: MUL
0000101b: DUP2
0000101c: MSTORE
0000101d: PUSH1 0x20
0000101f: PUSH1 0x04
00001021: DUP3
00001022: ADD
00001023: MSTORE
00001024: PUSH1 0x17
00001026: PUSH1 0x24
00001028: DUP3
00001029: ADD
0000102a: MSTORE
0000102b: PUSH32 0x5f6f72646572496e64657820697320746f6f2068696768000000000000000000
0000104c: PUSH1 0x44
0000104e: DUP3
0000104f: ADD
00001050: MSTORE
00001051: SWAP1
00001052: MLOAD
00001053: SWAP1
00001054: DUP2
00001055: SWAP1
00001056: SUB
00001057: PUSH1 0x64
00001059: ADD
0000105a: SWAP1
0000105b: REVERT
0000105c: JUMPDEST
0000105d: PUSH1 0x00
0000105f: PUSH1 0x03
00001061: DUP4
00001062: PUSH8 0xffffffffffffffff
0000106b: AND
0000106c: DUP2
0000106d: SLOAD
0000106e: DUP2
0000106f: LT
00001070: ISZERO
00001071: ISZERO
00001072: PUSH2 0x1077
00001075: JUMPI
00001076: INVALID
00001077: JUMPDEST
00001078: PUSH1 0x00
0000107a: SWAP2
0000107b: DUP3
0000107c: MSTORE
0000107d: PUSH1 0x20
0000107f: SWAP1
00001080: SWAP2
00001081: KECCAK256
00001082: PUSH1 0x02
00001084: SWAP1
00001085: SWAP2
00001086: MUL
00001087: ADD
00001088: SWAP1
00001089: POP
0000108a: PUSH1 0x01
0000108c: DUP1
0000108d: DUP3
0000108e: DUP2
0000108f: ADD
00001090: SLOAD
00001091: PUSH1 0xe0
00001093: PUSH1 0x02
00001095: EXP
00001096: SWAP1
00001097: DIV
00001098: PUSH1 0xff
0000109a: AND
0000109b: SWAP1
0000109c: DUP2
0000109d: GT
0000109e: ISZERO
0000109f: PUSH2 0x10a4
000010a2: JUMPI
000010a3: INVALID
000010a4: JUMPDEST
000010a5: EQ
000010a6: ISZERO
000010a7: PUSH2 0x1120
000010aa: JUMPI
000010ab: PUSH1 0x40
000010ad: DUP1
000010ae: MLOAD
000010af: PUSH1 0xe5
000010b1: PUSH1 0x02
000010b3: EXP
000010b4: PUSH3 0x461bcd
000010b8: MUL
000010b9: DUP2
000010ba: MSTORE
000010bb: PUSH1 0x20
000010bd: PUSH1 0x04
000010bf: DUP3
000010c0: ADD
000010c1: MSTORE
000010c2: PUSH1 0x21
000010c4: PUSH1 0x24
000010c6: DUP3
000010c7: ADD
000010c8: MSTORE
000010c9: PUSH32 0x65786368616e67654f726465722e73746174757320697320636f6e6669726d65
000010ea: PUSH1 0x44
000010ec: DUP3
000010ed: ADD
000010ee: MSTORE
000010ef: PUSH32 0x6400000000000000000000000000000000000000000000000000000000000000
00001110: PUSH1 0x64
00001112: DUP3
00001113: ADD
00001114: MSTORE
00001115: SWAP1
00001116: MLOAD
00001117: SWAP1
00001118: DUP2
00001119: SWAP1
0000111a: SUB
0000111b: PUSH1 0x84
0000111d: ADD
0000111e: SWAP1
0000111f: REVERT
00001120: JUMPDEST
00001121: SWAP1
00001122: DUP2
00001123: SSTORE
00001124: PUSH1 0x01
00001126: ADD
00001127: DUP1
00001128: SLOAD
00001129: PUSH1 0xe0
0000112b: PUSH1 0x02
0000112d: EXP
0000112e: PUSH1 0xff
00001130: MUL
00001131: NOT
00001132: AND
00001133: PUSH1 0xe0
00001135: PUSH1 0x02
00001137: EXP
00001138: OR
00001139: SWAP1
0000113a: SSTORE
0000113b: POP
0000113c: JUMP
0000113d: JUMPDEST
0000113e: PUSH1 0x07
00001140: SLOAD
00001141: PUSH1 0x01
00001143: PUSH1 0xa0
00001145: PUSH1 0x02
00001147: EXP
00001148: SUB
00001149: AND
0000114a: CALLER
0000114b: EQ
0000114c: PUSH2 0x11c5
0000114f: JUMPI
00001150: PUSH1 0x40
00001152: DUP1
00001153: MLOAD
00001154: PUSH1 0xe5
00001156: PUSH1 0x02
00001158: EXP
00001159: PUSH3 0x461bcd
0000115d: MUL
0000115e: DUP2
0000115f: MSTORE
00001160: PUSH1 0x20
00001162: PUSH1 0x04
00001164: DUP3
00001165: ADD
00001166: MSTORE
00001167: PUSH1 0x26
00001169: PUSH1 0x24
0000116b: DUP3
0000116c: ADD
0000116d: MSTORE
0000116e: PUSH32 0x53656e6465722073686f756c642062652045746865725061796d656e74436f6e
0000118f: PUSH1 0x44
00001191: DUP3
00001192: ADD
00001193: MSTORE
00001194: PUSH32 0x6669726d65720000000000000000000000000000000000000000000000000000
000011b5: PUSH1 0x64
000011b7: DUP3
000011b8: ADD
000011b9: MSTORE
000011ba: SWAP1
000011bb: MLOAD
000011bc: SWAP1
000011bd: DUP2
000011be: SWAP1
000011bf: SUB
000011c0: PUSH1 0x84
000011c2: ADD
000011c3: SWAP1
000011c4: REVERT
000011c5: JUMPDEST
000011c6: PUSH1 0x00
000011c8: JUMPDEST
000011c9: DUP2
000011ca: DUP2
000011cb: LT
000011cc: ISZERO
000011cd: PUSH2 0x13cf
000011d0: JUMPI
000011d1: PUSH1 0x00
000011d3: DUP4
000011d4: DUP4
000011d5: DUP4
000011d6: DUP2
000011d7: DUP2
000011d8: LT
000011d9: PUSH2 0x11de
000011dc: JUMPI
000011dd: INVALID
000011de: JUMPDEST
000011df: PUSH1 0x20
000011e1: MUL
000011e2: SWAP2
000011e3: SWAP1
000011e4: SWAP2
000011e5: ADD
000011e6: CALLDATALOAD
000011e7: SWAP2
000011e8: POP
000011e9: PUSH1 0x01
000011eb: SWAP1
000011ec: POP
000011ed: PUSH1 0x04
000011ef: DUP1
000011f0: SLOAD
000011f1: DUP4
000011f2: SWAP1
000011f3: DUP2
000011f4: LT
000011f5: PUSH2 0x11fa
000011f8: JUMPI
000011f9: INVALID
000011fa: JUMPDEST
000011fb: PUSH1 0x00
000011fd: SWAP2
000011fe: DUP3
000011ff: MSTORE
00001200: PUSH1 0x20
00001202: SWAP1
00001203: SWAP2
00001204: KECCAK256
00001205: PUSH1 0x05
00001207: SWAP1
00001208: SWAP2
00001209: MUL
0000120a: ADD
0000120b: SLOAD
0000120c: PUSH1 0xe0
0000120e: PUSH1 0x02
00001210: EXP
00001211: SWAP1
00001212: DIV
00001213: PUSH1 0xff
00001215: AND
00001216: PUSH1 0x06
00001218: DUP2
00001219: GT
0000121a: ISZERO
0000121b: PUSH2 0x1220
0000121e: JUMPI
0000121f: INVALID
00001220: JUMPDEST
00001221: EQ
00001222: PUSH2 0x129b
00001225: JUMPI
00001226: PUSH1 0x40
00001228: DUP1
00001229: MLOAD
0000122a: PUSH1 0xe5
0000122c: PUSH1 0x02
0000122e: EXP
0000122f: PUSH3 0x461bcd
00001233: MUL
00001234: DUP2
00001235: MSTORE
00001236: PUSH1 0x20
00001238: PUSH1 0x04
0000123a: DUP3
0000123b: ADD
0000123c: MSTORE
0000123d: PUSH1 0x22
0000123f: PUSH1 0x24
00001241: DUP3
00001242: ADD
00001243: MSTORE
00001244: PUSH32 0x5061796d656e74206d75737420626520696e2073746174652052657175657374
00001265: PUSH1 0x44
00001267: DUP3
00001268: ADD
00001269: MSTORE
0000126a: PUSH32 0x6564000000000000000000000000000000000000000000000000000000000000
0000128b: PUSH1 0x64
0000128d: DUP3
0000128e: ADD
0000128f: MSTORE
00001290: SWAP1
00001291: MLOAD
00001292: SWAP1
00001293: DUP2
00001294: SWAP1
00001295: SUB
00001296: PUSH1 0x84
00001298: ADD
00001299: SWAP1
0000129a: REVERT
0000129b: JUMPDEST
0000129c: PUSH1 0x04
0000129e: DUP1
0000129f: DUP3
000012a0: DUP2
000012a1: SLOAD
000012a2: DUP2
000012a3: LT
000012a4: ISZERO
000012a5: ISZERO
000012a6: PUSH2 0x12ab
000012a9: JUMPI
000012aa: INVALID
000012ab: JUMPDEST
000012ac: PUSH1 0x00
000012ae: SWAP2
000012af: DUP3
000012b0: MSTORE
000012b1: PUSH1 0x20
000012b3: SWAP1
000012b4: SWAP2
000012b5: KECCAK256
000012b6: PUSH1 0x05
000012b8: SWAP1
000012b9: SWAP2
000012ba: MUL
000012bb: ADD
000012bc: DUP1
000012bd: SLOAD
000012be: PUSH1 0xe0
000012c0: PUSH1 0x02
000012c2: EXP
000012c3: PUSH1 0xff
000012c5: MUL
000012c6: NOT
000012c7: AND
000012c8: PUSH1 0xe0
000012ca: PUSH1 0x02
000012cc: EXP
000012cd: DUP4
000012ce: PUSH1 0x06
000012d0: DUP2
000012d1: GT
000012d2: ISZERO
000012d3: PUSH2 0x12d8
000012d6: JUMPI
000012d7: INVALID
000012d8: JUMPDEST
000012d9: MUL
000012da: OR
000012db: SWAP1
000012dc: SSTORE
000012dd: POP
000012de: PUSH2 0x132b
000012e1: PUSH1 0x01
000012e3: PUSH1 0x05
000012e5: PUSH1 0x00
000012e7: PUSH1 0x04
000012e9: DUP6
000012ea: DUP2
000012eb: SLOAD
000012ec: DUP2
000012ed: LT
000012ee: ISZERO
000012ef: ISZERO
000012f0: PUSH2 0x12f5
000012f3: JUMPI
000012f4: INVALID
000012f5: JUMPDEST
000012f6: PUSH1 0x00
000012f8: SWAP2
000012f9: DUP3
000012fa: MSTORE
000012fb: PUSH1 0x20
000012fd: DUP1
000012fe: DUP4
000012ff: KECCAK256
00001300: PUSH1 0x05
00001302: SWAP1
00001303: SWAP3
00001304: MUL
00001305: SWAP1
00001306: SWAP2
00001307: ADD
00001308: SLOAD
00001309: PUSH1 0x01
0000130b: PUSH1 0xa0
0000130d: PUSH1 0x02
0000130f: EXP
00001310: SUB
00001311: AND
00001312: DUP4
00001313: MSTORE
00001314: DUP3
00001315: ADD
00001316: SWAP3
00001317: SWAP1
00001318: SWAP3
00001319: MSTORE
0000131a: PUSH1 0x40
0000131c: ADD
0000131d: SWAP1
0000131e: KECCAK256
0000131f: SLOAD
00001320: SWAP1
00001321: PUSH4 0xffffffff
00001326: PUSH2 0x214f
00001329: AND
0000132a: JUMP
0000132b: JUMPDEST
0000132c: PUSH1 0x05
0000132e: PUSH1 0x00
00001330: PUSH1 0x04
00001332: DUP5
00001333: DUP2
00001334: SLOAD
00001335: DUP2
00001336: LT
00001337: ISZERO
00001338: ISZERO
00001339: PUSH2 0x133e
0000133c: JUMPI
0000133d: INVALID
0000133e: JUMPDEST
0000133f: PUSH1 0x00
00001341: SWAP2
00001342: DUP3
00001343: MSTORE
00001344: PUSH1 0x20
00001346: DUP1
00001347: DUP4
00001348: KECCAK256
00001349: PUSH1 0x05
0000134b: SWAP1
0000134c: SWAP3
0000134d: MUL
0000134e: SWAP1
0000134f: SWAP2
00001350: ADD
00001351: SLOAD
00001352: PUSH1 0x01
00001354: PUSH1 0xa0
00001356: PUSH1 0x02
00001358: EXP
00001359: SUB
0000135a: AND
0000135b: DUP4
0000135c: MSTORE
0000135d: DUP3
0000135e: ADD
0000135f: SWAP3
00001360: SWAP1
00001361: SWAP3
00001362: MSTORE
00001363: PUSH1 0x40
00001365: ADD
00001366: SWAP1
00001367: KECCAK256
00001368: SSTORE
00001369: PUSH1 0x04
0000136b: DUP1
0000136c: SLOAD
0000136d: DUP3
0000136e: SWAP1
0000136f: DUP2
00001370: LT
00001371: PUSH2 0x1376
00001374: JUMPI
00001375: INVALID
00001376: JUMPDEST
00001377: PUSH1 0x00
00001379: SWAP2
0000137a: DUP3
0000137b: MSTORE
0000137c: PUSH1 0x20
0000137e: SWAP2
0000137f: DUP3
00001380: SWAP1
00001381: KECCAK256
00001382: PUSH1 0x05
00001384: SWAP1
00001385: SWAP2
00001386: MUL
00001387: ADD
00001388: SLOAD
00001389: PUSH1 0x40
0000138b: DUP1
0000138c: MLOAD
0000138d: DUP5
0000138e: DUP2
0000138f: MSTORE
00001390: SWAP1
00001391: MLOAD
00001392: PUSH1 0x01
00001394: PUSH1 0xa0
00001396: PUSH1 0x02
00001398: EXP
00001399: SUB
0000139a: SWAP1
0000139b: SWAP3
0000139c: AND
0000139d: SWAP3
0000139e: PUSH32 0xea11d4eb5784e0cc5db25bae5f508815b9a230763736bb69b767af12175329e1
000013bf: SWAP3
000013c0: SWAP2
000013c1: DUP3
000013c2: SWAP1
000013c3: SUB
000013c4: ADD
000013c5: SWAP1
000013c6: LOG2
000013c7: POP
000013c8: PUSH1 0x01
000013ca: ADD
000013cb: PUSH2 0x11c8
000013ce: JUMP
000013cf: JUMPDEST
000013d0: POP
000013d1: POP
000013d2: POP
000013d3: JUMP
000013d4: JUMPDEST
000013d5: PUSH2 0x13dd
000013d8: CALLER
000013d9: PUSH2 0x0839
000013dc: JUMP
000013dd: JUMPDEST
000013de: ISZERO
000013df: ISZERO
000013e0: PUSH2 0x1459
000013e3: JUMPI
000013e4: PUSH1 0x40
000013e6: DUP1
000013e7: MLOAD
000013e8: PUSH1 0xe5
000013ea: PUSH1 0x02
000013ec: EXP
000013ed: PUSH3 0x461bcd
000013f1: MUL
000013f2: DUP2
000013f3: MSTORE
000013f4: PUSH1 0x20
000013f6: PUSH1 0x04
000013f8: DUP3
000013f9: ADD
000013fa: MSTORE
000013fb: PUSH1 0x30
000013fd: PUSH1 0x24
000013ff: DUP3
00001400: ADD
00001401: MSTORE
00001402: PUSH32 0x506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665
00001423: PUSH1 0x44
00001425: DUP3
00001426: ADD
00001427: MSTORE
00001428: PUSH32 0x207468652050617573657220726f6c6500000000000000000000000000000000
00001449: PUSH1 0x64
0000144b: DUP3
0000144c: ADD
0000144d: MSTORE
0000144e: SWAP1
0000144f: MLOAD
00001450: SWAP1
00001451: DUP2
00001452: SWAP1
00001453: SUB
00001454: PUSH1 0x84
00001456: ADD
00001457: SWAP1
00001458: REVERT
00001459: JUMPDEST
0000145a: PUSH2 0x1462
0000145d: DUP2
0000145e: PUSH2 0x21f7
00001461: JUMP
00001462: JUMPDEST
00001463: POP
00001464: JUMP
00001465: JUMPDEST
00001466: PUSH2 0x146e
00001469: CALLER
0000146a: PUSH2 0x0839
0000146d: JUMP
0000146e: JUMPDEST
0000146f: ISZERO
00001470: ISZERO
00001471: PUSH2 0x14ea
00001474: JUMPI
00001475: PUSH1 0x40
00001477: DUP1
00001478: MLOAD
00001479: PUSH1 0xe5
0000147b: PUSH1 0x02
0000147d: EXP
0000147e: PUSH3 0x461bcd
00001482: MUL
00001483: DUP2
00001484: MSTORE
00001485: PUSH1 0x20
00001487: PUSH1 0x04
00001489: DUP3
0000148a: ADD
0000148b: MSTORE
0000148c: PUSH1 0x30
0000148e: PUSH1 0x24
00001490: DUP3
00001491: ADD
00001492: MSTORE
00001493: PUSH32 0x506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665
000014b4: PUSH1 0x44
000014b6: DUP3
000014b7: ADD
000014b8: MSTORE
000014b9: PUSH32 0x207468652050617573657220726f6c6500000000000000000000000000000000
000014da: PUSH1 0x64
000014dc: DUP3
000014dd: ADD
000014de: MSTORE
000014df: SWAP1
000014e0: MLOAD
000014e1: SWAP1
000014e2: DUP2
000014e3: SWAP1
000014e4: SUB
000014e5: PUSH1 0x84
000014e7: ADD
000014e8: SWAP1
000014e9: REVERT
000014ea: JUMPDEST
000014eb: PUSH1 0x02
000014ed: SLOAD
000014ee: PUSH1 0xff
000014f0: AND
000014f1: ISZERO
000014f2: PUSH2 0x1533
000014f5: JUMPI
000014f6: PUSH1 0x40
000014f8: DUP1
000014f9: MLOAD
000014fa: PUSH1 0xe5
000014fc: PUSH1 0x02
000014fe: EXP
000014ff: PUSH3 0x461bcd
00001503: MUL
00001504: DUP2
00001505: MSTORE
00001506: PUSH1 0x20
00001508: PUSH1 0x04
0000150a: DUP3
0000150b: ADD
0000150c: MSTORE
0000150d: PUSH1 0x10
0000150f: PUSH1 0x24
00001511: DUP3
00001512: ADD
00001513: MSTORE
00001514: PUSH1 0x00
00001516: DUP1
00001517: MLOAD
00001518: PUSH1 0x20
0000151a: PUSH2 0x264c
0000151d: DUP4
0000151e: CODECOPY
0000151f: DUP2
00001520: MLOAD
00001521: SWAP2
00001522: MSTORE
00001523: PUSH1 0x44
00001525: DUP3
00001526: ADD
00001527: MSTORE
00001528: SWAP1
00001529: MLOAD
0000152a: SWAP1
0000152b: DUP2
0000152c: SWAP1
0000152d: SUB
0000152e: PUSH1 0x64
00001530: ADD
00001531: SWAP1
00001532: REVERT
00001533: JUMPDEST
00001534: PUSH1 0x02
00001536: DUP1
00001537: SLOAD
00001538: PUSH1 0xff
0000153a: NOT
0000153b: AND
0000153c: PUSH1 0x01
0000153e: OR
0000153f: SWAP1
00001540: SSTORE
00001541: PUSH1 0x40
00001543: DUP1
00001544: MLOAD
00001545: CALLER
00001546: DUP2
00001547: MSTORE
00001548: SWAP1
00001549: MLOAD
0000154a: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
0000156b: SWAP2
0000156c: DUP2
0000156d: SWAP1
0000156e: SUB
0000156f: PUSH1 0x20
00001571: ADD
00001572: SWAP1
00001573: LOG1
00001574: JUMP
00001575: JUMPDEST
00001576: PUSH1 0x04
00001578: DUP1
00001579: SLOAD
0000157a: DUP3
0000157b: SWAP1
0000157c: DUP2
0000157d: LT
0000157e: PUSH2 0x1583
00001581: JUMPI
00001582: INVALID
00001583: JUMPDEST
00001584: PUSH1 0x00
00001586: SWAP2
00001587: DUP3
00001588: MSTORE
00001589: PUSH1 0x20
0000158b: SWAP1
0000158c: SWAP2
0000158d: KECCAK256
0000158e: PUSH1 0x05
00001590: SWAP1
00001591: SWAP2
00001592: MUL
00001593: ADD
00001594: DUP1
00001595: SLOAD
00001596: PUSH1 0x01
00001598: DUP3
00001599: ADD
0000159a: SLOAD
0000159b: PUSH1 0x02
0000159d: DUP4
0000159e: ADD
0000159f: SLOAD
000015a0: PUSH1 0x03
000015a2: DUP5
000015a3: ADD
000015a4: SLOAD
000015a5: PUSH1 0x04
000015a7: SWAP1
000015a8: SWAP5
000015a9: ADD
000015aa: SLOAD
000015ab: PUSH1 0x01
000015ad: PUSH1 0xa0
000015af: PUSH1 0x02
000015b1: EXP
000015b2: SUB
000015b3: DUP5
000015b4: AND
000015b5: SWAP6
000015b6: POP
000015b7: PUSH21 0x010000000000000000000000000000000000000000
000015cd: DUP5
000015ce: DIV
000015cf: PUSH8 0xffffffffffffffff
000015d8: AND
000015d9: SWAP5
000015da: PUSH1 0xe0
000015dc: PUSH1 0x02
000015de: EXP
000015df: SWAP1
000015e0: SWAP5
000015e1: DIV
000015e2: PUSH1 0xff
000015e4: AND
000015e5: SWAP4
000015e6: SWAP1
000015e7: DUP8
000015e8: JUMP
000015e9: JUMPDEST
000015ea: PUSH1 0x00
000015ec: SLOAD
000015ed: PUSH1 0x01
000015ef: PUSH1 0xa0
000015f1: PUSH1 0x02
000015f3: EXP
000015f4: SUB
000015f5: AND
000015f6: SWAP1
000015f7: JUMP
000015f8: JUMPDEST
000015f9: PUSH1 0x00
000015fb: SLOAD
000015fc: PUSH1 0x01
000015fe: PUSH1 0xa0
00001600: PUSH1 0x02
00001602: EXP
00001603: SUB
00001604: AND
00001605: CALLER
00001606: EQ
00001607: SWAP1
00001608: JUMP
00001609: JUMPDEST
0000160a: PUSH1 0x04
0000160c: SLOAD
0000160d: SWAP1
0000160e: JUMP
0000160f: JUMPDEST
00001610: PUSH1 0x00
00001612: DUP2
00001613: DUP2
00001614: MSTORE
00001615: PUSH1 0x06
00001617: PUSH1 0x20
00001619: SWAP1
0000161a: DUP2
0000161b: MSTORE
0000161c: PUSH1 0x40
0000161e: SWAP2
0000161f: DUP3
00001620: SWAP1
00001621: KECCAK256
00001622: DUP1
00001623: SLOAD
00001624: DUP4
00001625: MLOAD
00001626: DUP2
00001627: DUP5
00001628: MUL
00001629: DUP2
0000162a: ADD
0000162b: DUP5
0000162c: ADD
0000162d: SWAP1
0000162e: SWAP5
0000162f: MSTORE
00001630: DUP1
00001631: DUP5
00001632: MSTORE
00001633: PUSH1 0x60
00001635: SWAP4
00001636: SWAP3
00001637: DUP4
00001638: ADD
00001639: DUP3
0000163a: DUP3
0000163b: DUP1
0000163c: ISZERO
0000163d: PUSH2 0x1665
00001640: JUMPI
00001641: PUSH1 0x20
00001643: MUL
00001644: DUP3
00001645: ADD
00001646: SWAP2
00001647: SWAP1
00001648: PUSH1 0x00
0000164a: MSTORE
0000164b: PUSH1 0x20
0000164d: PUSH1 0x00
0000164f: KECCAK256
00001650: SWAP1
00001651: JUMPDEST
00001652: DUP2
00001653: SLOAD
00001654: DUP2
00001655: MSTORE
00001656: PUSH1 0x20
00001658: ADD
00001659: SWAP1
0000165a: PUSH1 0x01
0000165c: ADD
0000165d: SWAP1
0000165e: DUP1
0000165f: DUP4
00001660: GT
00001661: PUSH2 0x1651
00001664: JUMPI
00001665: JUMPDEST
00001666: POP
00001667: POP
00001668: POP
00001669: POP
0000166a: POP
0000166b: SWAP1
0000166c: POP
0000166d: SWAP2
0000166e: SWAP1
0000166f: POP
00001670: JUMP
00001671: JUMPDEST
00001672: PUSH1 0x02
00001674: SLOAD
00001675: PUSH1 0xff
00001677: AND
00001678: ISZERO
00001679: PUSH2 0x16ba
0000167c: JUMPI
0000167d: PUSH1 0x40
0000167f: DUP1
00001680: MLOAD
00001681: PUSH1 0xe5
00001683: PUSH1 0x02
00001685: EXP
00001686: PUSH3 0x461bcd
0000168a: MUL
0000168b: DUP2
0000168c: MSTORE
0000168d: PUSH1 0x20
0000168f: PUSH1 0x04
00001691: DUP3
00001692: ADD
00001693: MSTORE
00001694: PUSH1 0x10
00001696: PUSH1 0x24
00001698: DUP3
00001699: ADD
0000169a: MSTORE
0000169b: PUSH1 0x00
0000169d: DUP1
0000169e: MLOAD
0000169f: PUSH1 0x20
000016a1: PUSH2 0x264c
000016a4: DUP4
000016a5: CODECOPY
000016a6: DUP2
000016a7: MLOAD
000016a8: SWAP2
000016a9: MSTORE
000016aa: PUSH1 0x44
000016ac: DUP3
000016ad: ADD
000016ae: MSTORE
000016af: SWAP1
000016b0: MLOAD
000016b1: SWAP1
000016b2: DUP2
000016b3: SWAP1
000016b4: SUB
000016b5: PUSH1 0x64
000016b7: ADD
000016b8: SWAP1
000016b9: REVERT
000016ba: JUMPDEST
000016bb: PUSH1 0x07
000016bd: SLOAD
000016be: PUSH1 0x01
000016c0: PUSH1 0xa0
000016c2: PUSH1 0x02
000016c4: EXP
000016c5: SUB
000016c6: AND
000016c7: CALLER
000016c8: EQ
000016c9: PUSH2 0x1742
000016cc: JUMPI
000016cd: PUSH1 0x40
000016cf: DUP1
000016d0: MLOAD
000016d1: PUSH1 0xe5
000016d3: PUSH1 0x02
000016d5: EXP
000016d6: PUSH3 0x461bcd
000016da: MUL
000016db: DUP2
000016dc: MSTORE
000016dd: PUSH1 0x20
000016df: PUSH1 0x04
000016e1: DUP3
000016e2: ADD
000016e3: MSTORE
000016e4: PUSH1 0x26
000016e6: PUSH1 0x24
000016e8: DUP3
000016e9: ADD
000016ea: MSTORE
000016eb: PUSH32 0x53656e6465722073686f756c642062652045746865725061796d656e74436f6e
0000170c: PUSH1 0x44
0000170e: DUP3
0000170f: ADD
00001710: MSTORE
00001711: PUSH32 0x6669726d65720000000000000000000000000000000000000000000000000000
00001732: PUSH1 0x64
00001734: DUP3
00001735: ADD
00001736: MSTORE
00001737: SWAP1
00001738: MLOAD
00001739: SWAP1
0000173a: DUP2
0000173b: SWAP1
0000173c: SUB
0000173d: PUSH1 0x84
0000173f: ADD
00001740: SWAP1
00001741: REVERT
00001742: JUMPDEST
00001743: PUSH1 0x08
00001745: SLOAD
00001746: PUSH1 0x40
00001748: MLOAD
00001749: PUSH32 0xd438edb900000000000000000000000000000000000000000000000000000000
0000176a: DUP2
0000176b: MSTORE
0000176c: PUSH1 0x01
0000176e: PUSH1 0xa0
00001770: PUSH1 0x02
00001772: EXP
00001773: SUB
00001774: SWAP1
00001775: SWAP2
00001776: AND
00001777: SWAP1
00001778: PUSH4 0xd438edb9
0000177d: SWAP1
0000177e: PUSH1 0x01
00001780: SWAP1
00001781: PUSH1 0x04
00001783: ADD
00001784: DUP1
00001785: DUP3
00001786: PUSH1 0xff
00001788: AND
00001789: DUP2
0000178a: MSTORE
0000178b: PUSH1 0x20
0000178d: ADD
0000178e: SWAP2
0000178f: POP
00001790: POP
00001791: PUSH1 0x20
00001793: PUSH1 0x40
00001795: MLOAD
00001796: DUP1
00001797: DUP4
00001798: SUB
00001799: DUP2
0000179a: DUP7
0000179b: DUP1
0000179c: EXTCODESIZE
0000179d: ISZERO
0000179e: DUP1
0000179f: ISZERO
000017a0: PUSH2 0x17a8
000017a3: JUMPI
000017a4: PUSH1 0x00
000017a6: DUP1
000017a7: REVERT
000017a8: JUMPDEST
000017a9: POP
000017aa: GAS
000017ab: STATICCALL
000017ac: ISZERO
000017ad: DUP1
000017ae: ISZERO
000017af: PUSH2 0x17bc
000017b2: JUMPI
000017b3: RETURNDATASIZE
000017b4: PUSH1 0x00
000017b6: DUP1
000017b7: RETURNDATACOPY
000017b8: RETURNDATASIZE
000017b9: PUSH1 0x00
000017bb: REVERT
000017bc: JUMPDEST
000017bd: POP
000017be: POP
000017bf: POP
000017c0: POP
000017c1: PUSH1 0x40
000017c3: MLOAD
000017c4: RETURNDATASIZE
000017c5: PUSH1 0x20
000017c7: DUP2
000017c8: LT
000017c9: ISZERO
000017ca: PUSH2 0x17d2
000017cd: JUMPI
000017ce: PUSH1 0x00
000017d0: DUP1
000017d1: REVERT
000017d2: JUMPDEST
000017d3: POP
000017d4: MLOAD
000017d5: DUP1
000017d6: PUSH2 0x1859
000017d9: JUMPI
000017da: POP
000017db: PUSH1 0x08
000017dd: PUSH1 0x00
000017df: SWAP1
000017e0: SLOAD
000017e1: SWAP1
000017e2: PUSH2 0x0100
000017e5: EXP
000017e6: SWAP1
000017e7: DIV
000017e8: PUSH1 0x01
000017ea: PUSH1 0xa0
000017ec: PUSH1 0x02
000017ee: EXP
000017ef: SUB
000017f0: AND
000017f1: PUSH1 0x01
000017f3: PUSH1 0xa0
000017f5: PUSH1 0x02
000017f7: EXP
000017f8: SUB
000017f9: AND
000017fa: PUSH4 0x5c975abb
000017ff: PUSH1 0x40
00001801: MLOAD
00001802: DUP2
00001803: PUSH4 0xffffffff
00001808: AND
00001809: PUSH1 0xe0
0000180b: PUSH1 0x02
0000180d: EXP
0000180e: MUL
0000180f: DUP2
00001810: MSTORE
00001811: PUSH1 0x04
00001813: ADD
00001814: PUSH1 0x20
00001816: PUSH1 0x40
00001818: MLOAD
00001819: DUP1
0000181a: DUP4
0000181b: SUB
0000181c: DUP2
0000181d: DUP7
0000181e: DUP1
0000181f: EXTCODESIZE
00001820: ISZERO
00001821: DUP1
00001822: ISZERO
00001823: PUSH2 0x182b
00001826: JUMPI
00001827: PUSH1 0x00
00001829: DUP1
0000182a: REVERT
0000182b: JUMPDEST
0000182c: POP
0000182d: GAS
0000182e: STATICCALL
0000182f: ISZERO
00001830: DUP1
00001831: ISZERO
00001832: PUSH2 0x183f
00001835: JUMPI
00001836: RETURNDATASIZE
00001837: PUSH1 0x00
00001839: DUP1
0000183a: RETURNDATACOPY
0000183b: RETURNDATASIZE
0000183c: PUSH1 0x00
0000183e: REVERT
0000183f: JUMPDEST
00001840: POP
00001841: POP
00001842: POP
00001843: POP
00001844: PUSH1 0x40
00001846: MLOAD
00001847: RETURNDATASIZE
00001848: PUSH1 0x20
0000184a: DUP2
0000184b: LT
0000184c: ISZERO
0000184d: PUSH2 0x1855
00001850: JUMPI
00001851: PUSH1 0x00
00001853: DUP1
00001854: REVERT
00001855: JUMPDEST
00001856: POP
00001857: MLOAD
00001858: ISZERO
00001859: JUMPDEST
0000185a: ISZERO
0000185b: ISZERO
0000185c: PUSH2 0x18af
0000185f: JUMPI
00001860: PUSH1 0x40
00001862: DUP1
00001863: MLOAD
00001864: PUSH1 0xe5
00001866: PUSH1 0x02
00001868: EXP
00001869: PUSH3 0x461bcd
0000186d: MUL
0000186e: DUP2
0000186f: MSTORE
00001870: PUSH1 0x20
00001872: PUSH1 0x04
00001874: DUP3
00001875: ADD
00001876: MSTORE
00001877: PUSH1 0x17
00001879: PUSH1 0x24
0000187b: DUP3
0000187c: ADD
0000187d: MSTORE
0000187e: PUSH32 0x626f7420696e20737461746520696e766573746d656e74000000000000000000
0000189f: PUSH1 0x44
000018a1: DUP3
000018a2: ADD
000018a3: MSTORE
000018a4: SWAP1
000018a5: MLOAD
000018a6: SWAP1
000018a7: DUP2
000018a8: SWAP1
000018a9: SUB
000018aa: PUSH1 0x64
000018ac: ADD
000018ad: SWAP1
000018ae: REVERT
000018af: JUMPDEST
000018b0: PUSH1 0x04
000018b2: SLOAD
000018b3: PUSH1 0x00
000018b5: LT
000018b6: PUSH2 0x192f
000018b9: JUMPI
000018ba: PUSH1 0x40
000018bc: DUP1
000018bd: MLOAD
000018be: PUSH1 0xe5
000018c0: PUSH1 0x02
000018c2: EXP
000018c3: PUSH3 0x461bcd
000018c7: MUL
000018c8: DUP2
000018c9: MSTORE
000018ca: PUSH1 0x20
000018cc: PUSH1 0x04
000018ce: DUP3
000018cf: ADD
000018d0: MSTORE
000018d1: PUSH1 0x2c
000018d3: PUSH1 0x24
000018d5: DUP3
000018d6: ADD
000018d7: MSTORE
000018d8: PUSH32 0x4174206c65617374206f6e65207061796d656e74206973207265717569726564
000018f9: PUSH1 0x44
000018fb: DUP3
000018fc: ADD
000018fd: MSTORE
000018fe: PUSH32 0x20746f2065786368616e67650000000000000000000000000000000000000000
0000191f: PUSH1 0x64
00001921: DUP3
00001922: ADD
00001923: MSTORE
00001924: SWAP1
00001925: MLOAD
00001926: SWAP1
00001927: DUP2
00001928: SWAP1
00001929: SUB
0000192a: PUSH1 0x84
0000192c: ADD
0000192d: SWAP1
0000192e: REVERT
0000192f: JUMPDEST
00001930: PUSH2 0x1937
00001933: PUSH2 0x2606
00001936: JUMP
00001937: JUMPDEST
00001938: PUSH1 0x80
0000193a: PUSH1 0x40
0000193c: MLOAD
0000193d: SWAP1
0000193e: DUP2
0000193f: ADD
00001940: PUSH1 0x40
00001942: MSTORE
00001943: DUP1
00001944: PUSH1 0x00
00001946: DUP2
00001947: MSTORE
00001948: PUSH1 0x20
0000194a: ADD
0000194b: TIMESTAMP
0000194c: PUSH8 0xffffffffffffffff
00001955: AND
00001956: DUP2
00001957: MSTORE
00001958: PUSH1 0x20
0000195a: ADD
0000195b: DUP6
0000195c: PUSH1 0x01
0000195e: PUSH1 0xa0
00001960: PUSH1 0x02
00001962: EXP
00001963: SUB
00001964: AND
00001965: DUP2
00001966: MSTORE
00001967: PUSH1 0x20
00001969: ADD
0000196a: PUSH1 0x00
0000196c: PUSH1 0x01
0000196e: DUP2
0000196f: GT
00001970: ISZERO
00001971: PUSH2 0x1976
00001974: JUMPI
00001975: INVALID
00001976: JUMPDEST
00001977: SWAP1
00001978: MSTORE
00001979: PUSH1 0x03
0000197b: DUP1
0000197c: SLOAD
0000197d: PUSH1 0x01
0000197f: DUP2
00001980: DUP2
00001981: ADD
00001982: DUP1
00001983: DUP5
00001984: SSTORE
00001985: PUSH1 0x00
00001987: SWAP4
00001988: SWAP1
00001989: SWAP4
0000198a: MSTORE
0000198b: DUP4
0000198c: MLOAD
0000198d: PUSH1 0x02
0000198f: SWAP1
00001990: SWAP3
00001991: MUL
00001992: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
000019b3: DUP2
000019b4: ADD
000019b5: SWAP3
000019b6: DUP4
000019b7: SSTORE
000019b8: PUSH1 0x20
000019ba: DUP6
000019bb: ADD
000019bc: MLOAD
000019bd: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85c
000019de: SWAP1
000019df: SWAP2
000019e0: ADD
000019e1: DUP1
000019e2: SLOAD
000019e3: PUSH1 0x40
000019e5: DUP8
000019e6: ADD
000019e7: MLOAD
000019e8: PUSH1 0x01
000019ea: PUSH1 0xa0
000019ec: PUSH1 0x02
000019ee: EXP
000019ef: SUB
000019f0: AND
000019f1: PUSH9 0x010000000000000000
000019fb: MUL
000019fc: PUSH32 0xffffffff0000000000000000000000000000000000000000ffffffffffffffff
00001a1d: PUSH8 0xffffffffffffffff
00001a26: SWAP1
00001a27: SWAP5
00001a28: AND
00001a29: PUSH8 0xffffffffffffffff
00001a32: NOT
00001a33: SWAP1
00001a34: SWAP3
00001a35: AND
00001a36: SWAP2
00001a37: SWAP1
00001a38: SWAP2
00001a39: OR
00001a3a: SWAP3
00001a3b: SWAP1
00001a3c: SWAP3
00001a3d: AND
00001a3e: SWAP2
00001a3f: SWAP1
00001a40: SWAP2
00001a41: OR
00001a42: DUP1
00001a43: DUP3
00001a44: SSTORE
00001a45: PUSH1 0x60
00001a47: DUP7
00001a48: ADD
00001a49: MLOAD
00001a4a: SWAP6
00001a4b: SWAP7
00001a4c: POP
00001a4d: SWAP4
00001a4e: SWAP5
00001a4f: DUP7
00001a50: SWAP5
00001a51: SWAP1
00001a52: SWAP3
00001a53: PUSH1 0xe0
00001a55: PUSH1 0x02
00001a57: EXP
00001a58: PUSH1 0xff
00001a5a: MUL
00001a5b: NOT
00001a5c: SWAP1
00001a5d: SWAP2
00001a5e: AND
00001a5f: SWAP1
00001a60: PUSH1 0xe0
00001a62: PUSH1 0x02
00001a64: EXP
00001a65: SWAP1
00001a66: DUP5
00001a67: SWAP1
00001a68: DUP2
00001a69: GT
00001a6a: ISZERO
00001a6b: PUSH2 0x1a70
00001a6e: JUMPI
00001a6f: INVALID
00001a70: JUMPDEST
00001a71: MUL
00001a72: OR
00001a73: SWAP1
00001a74: SSTORE
00001a75: POP
00001a76: POP
00001a77: PUSH1 0x03
00001a79: SLOAD
00001a7a: PUSH1 0x00
00001a7c: NOT
00001a7d: ADD
00001a7e: PUSH1 0x00
00001a80: SWAP1
00001a81: DUP2
00001a82: MSTORE
00001a83: PUSH1 0x06
00001a85: PUSH1 0x20
00001a87: MSTORE
00001a88: PUSH1 0x40
00001a8a: DUP2
00001a8b: KECCAK256
00001a8c: SWAP1
00001a8d: SWAP3
00001a8e: POP
00001a8f: SWAP1
00001a90: POP
00001a91: DUP2
00001a92: JUMPDEST
00001a93: PUSH8 0xffffffffffffffff
00001a9c: DUP2
00001a9d: AND
00001a9e: DUP6
00001a9f: GT
00001aa0: ISZERO
00001aa1: PUSH2 0x1bc3
00001aa4: JUMPI
00001aa5: PUSH1 0x00
00001aa7: DUP7
00001aa8: DUP7
00001aa9: PUSH8 0xffffffffffffffff
00001ab2: DUP5
00001ab3: AND
00001ab4: DUP2
00001ab5: DUP2
00001ab6: LT
00001ab7: PUSH2 0x1abc
00001aba: JUMPI
00001abb: INVALID
00001abc: JUMPDEST
00001abd: SWAP1
00001abe: POP
00001abf: PUSH1 0x20
00001ac1: MUL
00001ac2: ADD
00001ac3: CALLDATALOAD
00001ac4: SWAP1
00001ac5: POP
00001ac6: PUSH1 0x00
00001ac8: PUSH1 0x04
00001aca: DUP3
00001acb: DUP2
00001acc: SLOAD
00001acd: DUP2
00001ace: LT
00001acf: ISZERO
00001ad0: ISZERO
00001ad1: PUSH2 0x1ad6
00001ad4: JUMPI
00001ad5: INVALID
00001ad6: JUMPDEST
00001ad7: PUSH1 0x00
00001ad9: SWAP2
00001ada: DUP3
00001adb: MSTORE
00001adc: PUSH1 0x20
00001ade: SWAP1
00001adf: SWAP2
00001ae0: KECCAK256
00001ae1: PUSH1 0x05
00001ae3: SWAP1
00001ae4: SWAP2
00001ae5: MUL
00001ae6: ADD
00001ae7: SWAP1
00001ae8: POP
00001ae9: PUSH1 0x01
00001aeb: DUP2
00001aec: SLOAD
00001aed: PUSH1 0xe0
00001aef: PUSH1 0x02
00001af1: EXP
00001af2: SWAP1
00001af3: DIV
00001af4: PUSH1 0xff
00001af6: AND
00001af7: PUSH1 0x06
00001af9: DUP2
00001afa: GT
00001afb: ISZERO
00001afc: PUSH2 0x1b01
00001aff: JUMPI
00001b00: INVALID
00001b01: JUMPDEST
00001b02: EQ
00001b03: PUSH2 0x1b56
00001b06: JUMPI
00001b07: PUSH1 0x40
00001b09: DUP1
00001b0a: MLOAD
00001b0b: PUSH1 0xe5
00001b0d: PUSH1 0x02
00001b0f: EXP
00001b10: PUSH3 0x461bcd
00001b14: MUL
00001b15: DUP2
00001b16: MSTORE
00001b17: PUSH1 0x20
00001b19: PUSH1 0x04
00001b1b: DUP3
00001b1c: ADD
00001b1d: MSTORE
00001b1e: PUSH1 0x1d
00001b20: PUSH1 0x24
00001b22: DUP3
00001b23: ADD
00001b24: MSTORE
00001b25: PUSH32 0x73686f756c6420626520696e2073746174757320726571756573746564000000
00001b46: PUSH1 0x44
00001b48: DUP3
00001b49: ADD
00001b4a: MSTORE
00001b4b: SWAP1
00001b4c: MLOAD
00001b4d: SWAP1
00001b4e: DUP2
00001b4f: SWAP1
00001b50: SUB
00001b51: PUSH1 0x64
00001b53: ADD
00001b54: SWAP1
00001b55: REVERT
00001b56: JUMPDEST
00001b57: DUP1
00001b58: SLOAD
00001b59: PUSH1 0xe0
00001b5b: PUSH1 0x02
00001b5d: EXP
00001b5e: PUSH1 0xff
00001b60: MUL
00001b61: NOT
00001b62: AND
00001b63: PUSH29 0x0200000000000000000000000000000000000000000000000000000000
00001b81: OR
00001b82: DUP2
00001b83: SSTORE
00001b84: DUP4
00001b85: SLOAD
00001b86: PUSH1 0x01
00001b88: DUP2
00001b89: ADD
00001b8a: DUP6
00001b8b: SSTORE
00001b8c: PUSH1 0x00
00001b8e: DUP6
00001b8f: DUP2
00001b90: MSTORE
00001b91: PUSH1 0x20
00001b93: SWAP1
00001b94: KECCAK256
00001b95: ADD
00001b96: DUP3
00001b97: SWAP1
00001b98: SSTORE
00001b99: PUSH2 0x1ba1
00001b9c: DUP3
00001b9d: PUSH2 0x223f
00001ba0: JUMP
00001ba1: JUMPDEST
00001ba2: PUSH1 0x01
00001ba4: DUP2
00001ba5: ADD
00001ba6: SLOAD
00001ba7: PUSH2 0x1bb7
00001baa: SWAP1
00001bab: DUP7
00001bac: SWAP1
00001bad: PUSH4 0xffffffff
00001bb2: PUSH2 0x20eb
00001bb5: AND
00001bb6: JUMP
00001bb7: JUMPDEST
00001bb8: SWAP5
00001bb9: POP
00001bba: POP
00001bbb: POP
00001bbc: PUSH1 0x01
00001bbe: ADD
00001bbf: PUSH2 0x1a92
00001bc2: JUMP
00001bc3: JUMPDEST
00001bc4: POP
00001bc5: CALLER
00001bc6: PUSH1 0x01
00001bc8: PUSH1 0xa0
00001bca: PUSH1 0x02
00001bcc: EXP
00001bcd: SUB
00001bce: AND
00001bcf: PUSH32 0x867bc23ca6c178085d8b0d3346dd80b94773ac4f234da4ddc6ffe6d3a9fdad5f
00001bf0: DUP3
00001bf1: PUSH1 0x40
00001bf3: MLOAD
00001bf4: DUP1
00001bf5: DUP1
00001bf6: PUSH1 0x20
00001bf8: ADD
00001bf9: DUP3
00001bfa: DUP2
00001bfb: SUB
00001bfc: DUP3
00001bfd: MSTORE
00001bfe: DUP4
00001bff: DUP2
00001c00: DUP2
00001c01: SLOAD
00001c02: DUP2
00001c03: MSTORE
00001c04: PUSH1 0x20
00001c06: ADD
00001c07: SWAP2
00001c08: POP
00001c09: DUP1
00001c0a: SLOAD
00001c0b: DUP1
00001c0c: ISZERO
00001c0d: PUSH2 0x1c35
00001c10: JUMPI
00001c11: PUSH1 0x20
00001c13: MUL
00001c14: DUP3
00001c15: ADD
00001c16: SWAP2
00001c17: SWAP1
00001c18: PUSH1 0x00
00001c1a: MSTORE
00001c1b: PUSH1 0x20
00001c1d: PUSH1 0x00
00001c1f: KECCAK256
00001c20: SWAP1
00001c21: JUMPDEST
00001c22: DUP2
00001c23: SLOAD
00001c24: DUP2
00001c25: MSTORE
00001c26: PUSH1 0x20
00001c28: ADD
00001c29: SWAP1
00001c2a: PUSH1 0x01
00001c2c: ADD
00001c2d: SWAP1
00001c2e: DUP1
00001c2f: DUP4
00001c30: GT
00001c31: PUSH2 0x1c21
00001c34: JUMPI
00001c35: JUMPDEST
00001c36: POP
00001c37: POP
00001c38: SWAP3
00001c39: POP
00001c3a: POP
00001c3b: POP
00001c3c: PUSH1 0x40
00001c3e: MLOAD
00001c3f: DUP1
00001c40: SWAP2
00001c41: SUB
00001c42: SWAP1
00001c43: LOG2
00001c44: PUSH1 0x40
00001c46: MLOAD
00001c47: PUSH1 0x01
00001c49: PUSH1 0xa0
00001c4b: PUSH1 0x02
00001c4d: EXP
00001c4e: SUB
00001c4f: DUP8
00001c50: AND
00001c51: SWAP1
00001c52: DUP4
00001c53: ISZERO
00001c54: PUSH2 0x08fc
00001c57: MUL
00001c58: SWAP1
00001c59: DUP5
00001c5a: SWAP1
00001c5b: PUSH1 0x00
00001c5d: DUP2
00001c5e: DUP2
00001c5f: DUP2
00001c60: DUP6
00001c61: DUP9
00001c62: DUP9
00001c63: CALL
00001c64: SWAP4
00001c65: POP
00001c66: POP
00001c67: POP
00001c68: POP
00001c69: ISZERO
00001c6a: DUP1
00001c6b: ISZERO
00001c6c: PUSH2 0x1c79
00001c6f: JUMPI
00001c70: RETURNDATASIZE
00001c71: PUSH1 0x00
00001c73: DUP1
00001c74: RETURNDATACOPY
00001c75: RETURNDATASIZE
00001c76: PUSH1 0x00
00001c78: REVERT
00001c79: JUMPDEST
00001c7a: POP
00001c7b: POP
00001c7c: POP
00001c7d: POP
00001c7e: POP
00001c7f: POP
00001c80: POP
00001c81: JUMP
00001c82: JUMPDEST
00001c83: PUSH2 0x1c8a
00001c86: PUSH2 0x15f8
00001c89: JUMP
00001c8a: JUMPDEST
00001c8b: ISZERO
00001c8c: ISZERO
00001c8d: PUSH2 0x1cce
00001c90: JUMPI
00001c91: PUSH1 0x40
00001c93: DUP1
00001c94: MLOAD
00001c95: PUSH1 0xe5
00001c97: PUSH1 0x02
00001c99: EXP
00001c9a: PUSH3 0x461bcd
00001c9e: MUL
00001c9f: DUP2
00001ca0: MSTORE
00001ca1: PUSH1 0x20
00001ca3: PUSH1 0x04
00001ca5: DUP3
00001ca6: ADD
00001ca7: DUP2
00001ca8: SWAP1
00001ca9: MSTORE
00001caa: PUSH1 0x24
00001cac: DUP3
00001cad: ADD
00001cae: MSTORE
00001caf: PUSH1 0x00
00001cb1: DUP1
00001cb2: MLOAD
00001cb3: PUSH1 0x20
00001cb5: PUSH2 0x262c
00001cb8: DUP4
00001cb9: CODECOPY
00001cba: DUP2
00001cbb: MLOAD
00001cbc: SWAP2
00001cbd: MSTORE
00001cbe: PUSH1 0x44
00001cc0: DUP3
00001cc1: ADD
00001cc2: MSTORE
00001cc3: SWAP1
00001cc4: MLOAD
00001cc5: SWAP1
00001cc6: DUP2
00001cc7: SWAP1
00001cc8: SUB
00001cc9: PUSH1 0x64
00001ccb: ADD
00001ccc: SWAP1
00001ccd: REVERT
00001cce: JUMPDEST
00001ccf: PUSH1 0x08
00001cd1: DUP1
00001cd2: SLOAD
00001cd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce8: NOT
00001ce9: AND
00001cea: PUSH1 0x01
00001cec: PUSH1 0xa0
00001cee: PUSH1 0x02
00001cf0: EXP
00001cf1: SUB
00001cf2: DUP4
00001cf3: AND
00001cf4: OR
00001cf5: SWAP1
00001cf6: SSTORE
00001cf7: PUSH2 0x1cff
00001cfa: DUP2
00001cfb: PUSH2 0x1d6d
00001cfe: JUMP
00001cff: JUMPDEST
00001d00: PUSH2 0x1d08
00001d03: DUP3
00001d04: PUSH2 0x13d4
00001d07: JUMP
00001d08: JUMPDEST
00001d09: PUSH2 0x1d11
00001d0c: DUP2
00001d0d: PUSH2 0x13d4
00001d10: JUMP
00001d11: JUMPDEST
00001d12: POP
00001d13: POP
00001d14: JUMP
00001d15: JUMPDEST
00001d16: PUSH1 0x03
00001d18: DUP1
00001d19: SLOAD
00001d1a: DUP3
00001d1b: SWAP1
00001d1c: DUP2
00001d1d: LT
00001d1e: PUSH2 0x1d23
00001d21: JUMPI
00001d22: INVALID
00001d23: JUMPDEST
00001d24: PUSH1 0x00
00001d26: SWAP2
00001d27: DUP3
00001d28: MSTORE
00001d29: PUSH1 0x20
00001d2b: SWAP1
00001d2c: SWAP2
00001d2d: KECCAK256
00001d2e: PUSH1 0x02
00001d30: SWAP1
00001d31: SWAP2
00001d32: MUL
00001d33: ADD
00001d34: DUP1
00001d35: SLOAD
00001d36: PUSH1 0x01
00001d38: SWAP1
00001d39: SWAP2
00001d3a: ADD
00001d3b: SLOAD
00001d3c: SWAP1
00001d3d: SWAP2
00001d3e: POP
00001d3f: PUSH8 0xffffffffffffffff
00001d48: DUP2
00001d49: AND
00001d4a: SWAP1
00001d4b: PUSH9 0x010000000000000000
00001d55: DUP2
00001d56: DIV
00001d57: PUSH1 0x01
00001d59: PUSH1 0xa0
00001d5b: PUSH1 0x02
00001d5d: EXP
00001d5e: SUB
00001d5f: AND
00001d60: SWAP1
00001d61: PUSH1 0xe0
00001d63: PUSH1 0x02
00001d65: EXP
00001d66: SWAP1
00001d67: DIV
00001d68: PUSH1 0xff
00001d6a: AND
00001d6b: DUP5
00001d6c: JUMP
00001d6d: JUMPDEST
00001d6e: PUSH2 0x1d75
00001d71: PUSH2 0x15f8
00001d74: JUMP
00001d75: JUMPDEST
00001d76: ISZERO
00001d77: ISZERO
00001d78: PUSH2 0x1db9
00001d7b: JUMPI
00001d7c: PUSH1 0x40
00001d7e: DUP1
00001d7f: MLOAD
00001d80: PUSH1 0xe5
00001d82: PUSH1 0x02
00001d84: EXP
00001d85: PUSH3 0x461bcd
00001d89: MUL
00001d8a: DUP2
00001d8b: MSTORE
00001d8c: PUSH1 0x20
00001d8e: PUSH1 0x04
00001d90: DUP3
00001d91: ADD
00001d92: DUP2
00001d93: SWAP1
00001d94: MSTORE
00001d95: PUSH1 0x24
00001d97: DUP3
00001d98: ADD
00001d99: MSTORE
00001d9a: PUSH1 0x00
00001d9c: DUP1
00001d9d: MLOAD
00001d9e: PUSH1 0x20
00001da0: PUSH2 0x262c
00001da3: DUP4
00001da4: CODECOPY
00001da5: DUP2
00001da6: MLOAD
00001da7: SWAP2
00001da8: MSTORE
00001da9: PUSH1 0x44
00001dab: DUP3
00001dac: ADD
00001dad: MSTORE
00001dae: SWAP1
00001daf: MLOAD
00001db0: SWAP1
00001db1: DUP2
00001db2: SWAP1
00001db3: SUB
00001db4: PUSH1 0x64
00001db6: ADD
00001db7: SWAP1
00001db8: REVERT
00001db9: JUMPDEST
00001dba: PUSH2 0x1462
00001dbd: DUP2
00001dbe: PUSH2 0x23ec
00001dc1: JUMP
00001dc2: JUMPDEST
00001dc3: PUSH1 0x07
00001dc5: SLOAD
00001dc6: PUSH1 0x01
00001dc8: PUSH1 0xa0
00001dca: PUSH1 0x02
00001dcc: EXP
00001dcd: SUB
00001dce: AND
00001dcf: DUP2
00001dd0: JUMP
00001dd1: JUMPDEST
00001dd2: PUSH1 0x00
00001dd4: PUSH1 0x04
00001dd6: DUP3
00001dd7: DUP2
00001dd8: SLOAD
00001dd9: DUP2
00001dda: LT
00001ddb: ISZERO
00001ddc: ISZERO
00001ddd: PUSH2 0x1de2
00001de0: JUMPI
00001de1: INVALID
00001de2: JUMPDEST
00001de3: PUSH1 0x00
00001de5: SWAP2
00001de6: DUP3
00001de7: MSTORE
00001de8: PUSH1 0x20
00001dea: SWAP1
00001deb: SWAP2
00001dec: KECCAK256
00001ded: PUSH1 0x01
00001def: PUSH1 0x05
00001df1: SWAP1
00001df2: SWAP3
00001df3: MUL
00001df4: ADD
00001df5: SWAP1
00001df6: DUP2
00001df7: ADD
00001df8: SLOAD
00001df9: DUP2
00001dfa: SLOAD
00001dfb: SWAP2
00001dfc: SWAP3
00001dfd: POP
00001dfe: SWAP1
00001dff: PUSH1 0x01
00001e01: PUSH1 0xa0
00001e03: PUSH1 0x02
00001e05: EXP
00001e06: SUB
00001e07: AND
00001e08: CALLER
00001e09: EQ
00001e0a: DUP1
00001e0b: PUSH2 0x1e1e
00001e0e: JUMPI
00001e0f: POP
00001e10: PUSH1 0x07
00001e12: SLOAD
00001e13: PUSH1 0x01
00001e15: PUSH1 0xa0
00001e17: PUSH1 0x02
00001e19: EXP
00001e1a: SUB
00001e1b: AND
00001e1c: CALLER
00001e1d: EQ
00001e1e: JUMPDEST
00001e1f: ISZERO
00001e20: ISZERO
00001e21: PUSH2 0x1e9a
00001e24: JUMPI
00001e25: PUSH1 0x40
00001e27: DUP1
00001e28: MLOAD
00001e29: PUSH1 0xe5
00001e2b: PUSH1 0x02
00001e2d: EXP
00001e2e: PUSH3 0x461bcd
00001e32: MUL
00001e33: DUP2
00001e34: MSTORE
00001e35: PUSH1 0x20
00001e37: PUSH1 0x04
00001e39: DUP3
00001e3a: ADD
00001e3b: MSTORE
00001e3c: PUSH1 0x21
00001e3e: PUSH1 0x24
00001e40: DUP3
00001e41: ADD
00001e42: MSTORE
00001e43: PUSH32 0x526566756e6420617265206e6f7420656e61626c656420666f722073656e6465
00001e64: PUSH1 0x44
00001e66: DUP3
00001e67: ADD
00001e68: MSTORE
00001e69: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
00001e8a: PUSH1 0x64
00001e8c: DUP3
00001e8d: ADD
00001e8e: MSTORE
00001e8f: SWAP1
00001e90: MLOAD
00001e91: SWAP1
00001e92: DUP2
00001e93: SWAP1
00001e94: SUB
00001e95: PUSH1 0x84
00001e97: ADD
00001e98: SWAP1
00001e99: REVERT
00001e9a: JUMPDEST
00001e9b: PUSH1 0x04
00001e9d: DUP3
00001e9e: SLOAD
00001e9f: PUSH1 0xe0
00001ea1: PUSH1 0x02
00001ea3: EXP
00001ea4: SWAP1
00001ea5: DIV
00001ea6: PUSH1 0xff
00001ea8: AND
00001ea9: PUSH1 0x06
00001eab: DUP2
00001eac: GT
00001ead: ISZERO
00001eae: PUSH2 0x1eb3
00001eb1: JUMPI
00001eb2: INVALID
00001eb3: JUMPDEST
00001eb4: EQ
00001eb5: PUSH2 0x1f2e
00001eb8: JUMPI
00001eb9: PUSH1 0x40
00001ebb: DUP1
00001ebc: MLOAD
00001ebd: PUSH1 0xe5
00001ebf: PUSH1 0x02
00001ec1: EXP
00001ec2: PUSH3 0x461bcd
00001ec6: MUL
00001ec7: DUP2
00001ec8: MSTORE
00001ec9: PUSH1 0x20
00001ecb: PUSH1 0x04
00001ecd: DUP3
00001ece: ADD
00001ecf: MSTORE
00001ed0: PUSH1 0x34
00001ed2: PUSH1 0x24
00001ed4: DUP3
00001ed5: ADD
00001ed6: MSTORE
00001ed7: PUSH32 0x65746865725061796d656e742e7374617475732073686f756c64206265205061
00001ef8: PUSH1 0x44
00001efa: DUP3
00001efb: ADD
00001efc: MSTORE
00001efd: PUSH32 0x796d656e745374617475732e52656a6563746564000000000000000000000000
00001f1e: PUSH1 0x64
00001f20: DUP3
00001f21: ADD
00001f22: MSTORE
00001f23: SWAP1
00001f24: MLOAD
00001f25: SWAP1
00001f26: DUP2
00001f27: SWAP1
00001f28: SUB
00001f29: PUSH1 0x84
00001f2b: ADD
00001f2c: SWAP1
00001f2d: REVERT
00001f2e: JUMPDEST
00001f2f: ADDRESS
00001f30: BALANCE
00001f31: DUP2
00001f32: GT
00001f33: ISZERO
00001f34: PUSH2 0x1fad
00001f37: JUMPI
00001f38: PUSH1 0x40
00001f3a: DUP1
00001f3b: MLOAD
00001f3c: PUSH1 0xe5
00001f3e: PUSH1 0x02
00001f40: EXP
00001f41: PUSH3 0x461bcd
00001f45: MUL
00001f46: DUP2
00001f47: MSTORE
00001f48: PUSH1 0x20
00001f4a: PUSH1 0x04
00001f4c: DUP3
00001f4d: ADD
00001f4e: MSTORE
00001f4f: PUSH1 0x31
00001f51: PUSH1 0x24
00001f53: DUP3
00001f54: ADD
00001f55: MSTORE
00001f56: PUSH32 0x45786368616e6765205661756c742062616c616e636520646f65736e27742068
00001f77: PUSH1 0x44
00001f79: DUP3
00001f7a: ADD
00001f7b: MSTORE
00001f7c: PUSH32 0x61766520656e6f7567682066756e64732e000000000000000000000000000000
00001f9d: PUSH1 0x64
00001f9f: DUP3
00001fa0: ADD
00001fa1: MSTORE
00001fa2: SWAP1
00001fa3: MLOAD
00001fa4: SWAP1
00001fa5: DUP2
00001fa6: SWAP1
00001fa7: SUB
00001fa8: PUSH1 0x84
00001faa: ADD
00001fab: SWAP1
00001fac: REVERT
00001fad: JUMPDEST
00001fae: DUP2
00001faf: SLOAD
00001fb0: PUSH1 0xe0
00001fb2: PUSH1 0x02
00001fb4: EXP
00001fb5: PUSH1 0xff
00001fb7: MUL
00001fb8: NOT
00001fb9: AND
00001fba: PUSH29 0x0500000000000000000000000000000000000000000000000000000000
00001fd8: OR
00001fd9: DUP3
00001fda: SSTORE
00001fdb: PUSH1 0x40
00001fdd: MLOAD
00001fde: CALLER
00001fdf: SWAP1
00001fe0: DUP3
00001fe1: ISZERO
00001fe2: PUSH2 0x08fc
00001fe5: MUL
00001fe6: SWAP1
00001fe7: DUP4
00001fe8: SWAP1
00001fe9: PUSH1 0x00
00001feb: DUP2
00001fec: DUP2
00001fed: DUP2
00001fee: DUP6
00001fef: DUP9
00001ff0: DUP9
00001ff1: CALL
00001ff2: SWAP4
00001ff3: POP
00001ff4: POP
00001ff5: POP
00001ff6: POP
00001ff7: ISZERO
00001ff8: DUP1
00001ff9: ISZERO
00001ffa: PUSH2 0x2007
00001ffd: JUMPI
00001ffe: RETURNDATASIZE
00001fff: PUSH1 0x00
00002001: DUP1
00002002: RETURNDATACOPY
00002003: RETURNDATASIZE
00002004: PUSH1 0x00
00002006: REVERT
00002007: JUMPDEST
00002008: POP
00002009: PUSH1 0x40
0000200b: DUP1
0000200c: MLOAD
0000200d: DUP3
0000200e: DUP2
0000200f: MSTORE
00002010: SWAP1
00002011: MLOAD
00002012: CALLER
00002013: SWAP2
00002014: PUSH32 0x87939864e1fcd7919e055b4a6f27fd99527425bbecee1458e06ab461914bf32d
00002035: SWAP2
00002036: SWAP1
00002037: DUP2
00002038: SWAP1
00002039: SUB
0000203a: PUSH1 0x20
0000203c: ADD
0000203d: SWAP1
0000203e: LOG2
0000203f: POP
00002040: POP
00002041: POP
00002042: JUMP
00002043: JUMPDEST
00002044: PUSH1 0x00
00002046: PUSH1 0x01
00002048: PUSH1 0xa0
0000204a: PUSH1 0x02
0000204c: EXP
0000204d: SUB
0000204e: DUP3
0000204f: AND
00002050: ISZERO
00002051: ISZERO
00002052: PUSH2 0x20cb
00002055: JUMPI
00002056: PUSH1 0x40
00002058: DUP1
00002059: MLOAD
0000205a: PUSH1 0xe5
0000205c: PUSH1 0x02
0000205e: EXP
0000205f: PUSH3 0x461bcd
00002063: MUL
00002064: DUP2
00002065: MSTORE
00002066: PUSH1 0x20
00002068: PUSH1 0x04
0000206a: DUP3
0000206b: ADD
0000206c: MSTORE
0000206d: PUSH1 0x22
0000206f: PUSH1 0x24
00002071: DUP3
00002072: ADD
00002073: MSTORE
00002074: PUSH32 0x526f6c65733a206163636f756e7420697320746865207a65726f206164647265
00002095: PUSH1 0x44
00002097: DUP3
00002098: ADD
00002099: MSTORE
0000209a: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
000020bb: PUSH1 0x64
000020bd: DUP3
000020be: ADD
000020bf: MSTORE
000020c0: SWAP1
000020c1: MLOAD
000020c2: SWAP1
000020c3: DUP2
000020c4: SWAP1
000020c5: SUB
000020c6: PUSH1 0x84
000020c8: ADD
000020c9: SWAP1
000020ca: REVERT
000020cb: JUMPDEST
000020cc: POP
000020cd: PUSH1 0x01
000020cf: PUSH1 0xa0
000020d1: PUSH1 0x02
000020d3: EXP
000020d4: SUB
000020d5: AND
000020d6: PUSH1 0x00
000020d8: SWAP1
000020d9: DUP2
000020da: MSTORE
000020db: PUSH1 0x20
000020dd: SWAP2
000020de: SWAP1
000020df: SWAP2
000020e0: MSTORE
000020e1: PUSH1 0x40
000020e3: SWAP1
000020e4: KECCAK256
000020e5: SLOAD
000020e6: PUSH1 0xff
000020e8: AND
000020e9: SWAP1
000020ea: JUMP
000020eb: JUMPDEST
000020ec: PUSH1 0x00
000020ee: DUP3
000020ef: DUP3
000020f0: ADD
000020f1: DUP4
000020f2: DUP2
000020f3: LT
000020f4: ISZERO
000020f5: PUSH2 0x2148
000020f8: JUMPI
000020f9: PUSH1 0x40
000020fb: DUP1
000020fc: MLOAD
000020fd: PUSH1 0xe5
000020ff: PUSH1 0x02
00002101: EXP
00002102: PUSH3 0x461bcd
00002106: MUL
00002107: DUP2
00002108: MSTORE
00002109: PUSH1 0x20
0000210b: PUSH1 0x04
0000210d: DUP3
0000210e: ADD
0000210f: MSTORE
00002110: PUSH1 0x1b
00002112: PUSH1 0x24
00002114: DUP3
00002115: ADD
00002116: MSTORE
00002117: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002138: PUSH1 0x44
0000213a: DUP3
0000213b: ADD
0000213c: MSTORE
0000213d: SWAP1
0000213e: MLOAD
0000213f: SWAP1
00002140: DUP2
00002141: SWAP1
00002142: SUB
00002143: PUSH1 0x64
00002145: ADD
00002146: SWAP1
00002147: REVERT
00002148: JUMPDEST
00002149: SWAP4
0000214a: SWAP3
0000214b: POP
0000214c: POP
0000214d: POP
0000214e: JUMP
0000214f: JUMPDEST
00002150: PUSH1 0x00
00002152: DUP3
00002153: DUP3
00002154: GT
00002155: ISZERO
00002156: PUSH2 0x21a9
00002159: JUMPI
0000215a: PUSH1 0x40
0000215c: DUP1
0000215d: MLOAD
0000215e: PUSH1 0xe5
00002160: PUSH1 0x02
00002162: EXP
00002163: PUSH3 0x461bcd
00002167: MUL
00002168: DUP2
00002169: MSTORE
0000216a: PUSH1 0x20
0000216c: PUSH1 0x04
0000216e: DUP3
0000216f: ADD
00002170: MSTORE
00002171: PUSH1 0x1e
00002173: PUSH1 0x24
00002175: DUP3
00002176: ADD
00002177: MSTORE
00002178: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002199: PUSH1 0x44
0000219b: DUP3
0000219c: ADD
0000219d: MSTORE
0000219e: SWAP1
0000219f: MLOAD
000021a0: SWAP1
000021a1: DUP2
000021a2: SWAP1
000021a3: SUB
000021a4: PUSH1 0x64
000021a6: ADD
000021a7: SWAP1
000021a8: REVERT
000021a9: JUMPDEST
000021aa: POP
000021ab: SWAP1
000021ac: SUB
000021ad: SWAP1
000021ae: JUMP
000021af: JUMPDEST
000021b0: PUSH2 0x21c0
000021b3: PUSH1 0x01
000021b5: DUP3
000021b6: PUSH4 0xffffffff
000021bb: PUSH2 0x24da
000021be: AND
000021bf: JUMP
000021c0: JUMPDEST
000021c1: PUSH1 0x40
000021c3: MLOAD
000021c4: PUSH1 0x01
000021c6: PUSH1 0xa0
000021c8: PUSH1 0x02
000021ca: EXP
000021cb: SUB
000021cc: DUP3
000021cd: AND
000021ce: SWAP1
000021cf: PUSH32 0xcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e
000021f0: SWAP1
000021f1: PUSH1 0x00
000021f3: SWAP1
000021f4: LOG2
000021f5: POP
000021f6: JUMP
000021f7: JUMPDEST
000021f8: PUSH2 0x2208
000021fb: PUSH1 0x01
000021fd: DUP3
000021fe: PUSH4 0xffffffff
00002203: PUSH2 0x2582
00002206: AND
00002207: JUMP
00002208: JUMPDEST
00002209: PUSH1 0x40
0000220b: MLOAD
0000220c: PUSH1 0x01
0000220e: PUSH1 0xa0
00002210: PUSH1 0x02
00002212: EXP
00002213: SUB
00002214: DUP3
00002215: AND
00002216: SWAP1
00002217: PUSH32 0x6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f8
00002238: SWAP1
00002239: PUSH1 0x00
0000223b: SWAP1
0000223c: LOG2
0000223d: POP
0000223e: JUMP
0000223f: JUMPDEST
00002240: PUSH1 0x00
00002242: PUSH1 0x04
00002244: DUP3
00002245: DUP2
00002246: SLOAD
00002247: DUP2
00002248: LT
00002249: ISZERO
0000224a: ISZERO
0000224b: PUSH2 0x2250
0000224e: JUMPI
0000224f: INVALID
00002250: JUMPDEST
00002251: PUSH1 0x00
00002253: SWAP2
00002254: DUP3
00002255: MSTORE
00002256: PUSH1 0x20
00002258: DUP1
00002259: DUP4
0000225a: KECCAK256
0000225b: PUSH1 0x05
0000225d: SWAP3
0000225e: DUP4
0000225f: MUL
00002260: ADD
00002261: DUP1
00002262: SLOAD
00002263: PUSH1 0x01
00002265: PUSH1 0xa0
00002267: PUSH1 0x02
00002269: EXP
0000226a: SUB
0000226b: AND
0000226c: DUP5
0000226d: MSTORE
0000226e: SWAP2
0000226f: SWAP1
00002270: MSTORE
00002271: PUSH1 0x40
00002273: SWAP1
00002274: SWAP2
00002275: KECCAK256
00002276: SLOAD
00002277: SWAP1
00002278: SWAP2
00002279: POP
0000227a: PUSH2 0x228a
0000227d: SWAP1
0000227e: PUSH1 0x01
00002280: PUSH4 0xffffffff
00002285: PUSH2 0x214f
00002288: AND
00002289: JUMP
0000228a: JUMPDEST
0000228b: DUP2
0000228c: SLOAD
0000228d: PUSH1 0x01
0000228f: PUSH1 0xa0
00002291: PUSH1 0x02
00002293: EXP
00002294: SUB
00002295: SWAP1
00002296: DUP2
00002297: AND
00002298: PUSH1 0x00
0000229a: SWAP1
0000229b: DUP2
0000229c: MSTORE
0000229d: PUSH1 0x05
0000229f: PUSH1 0x20
000022a1: MSTORE
000022a2: PUSH1 0x40
000022a4: DUP1
000022a5: DUP3
000022a6: KECCAK256
000022a7: SWAP4
000022a8: SWAP1
000022a9: SWAP4
000022aa: SSTORE
000022ab: PUSH1 0x08
000022ad: SLOAD
000022ae: DUP5
000022af: SLOAD
000022b0: PUSH1 0x01
000022b2: DUP7
000022b3: ADD
000022b4: SLOAD
000022b5: DUP6
000022b6: MLOAD
000022b7: PUSH32 0xbf6bffe200000000000000000000000000000000000000000000000000000000
000022d8: DUP2
000022d9: MSTORE
000022da: SWAP2
000022db: DUP6
000022dc: AND
000022dd: PUSH1 0x04
000022df: DUP4
000022e0: ADD
000022e1: MSTORE
000022e2: PUSH1 0x24
000022e4: DUP3
000022e5: ADD
000022e6: MSTORE
000022e7: PUSH1 0x44
000022e9: DUP2
000022ea: ADD
000022eb: DUP8
000022ec: SWAP1
000022ed: MSTORE
000022ee: SWAP4
000022ef: MLOAD
000022f0: SWAP3
000022f1: AND
000022f2: SWAP3
000022f3: PUSH4 0xbf6bffe2
000022f8: SWAP3
000022f9: PUSH1 0x64
000022fb: DUP1
000022fc: DUP4
000022fd: ADD
000022fe: SWAP4
000022ff: SWAP3
00002300: DUP3
00002301: SWAP1
00002302: SUB
00002303: ADD
00002304: DUP2
00002305: DUP4
00002306: DUP8
00002307: DUP1
00002308: EXTCODESIZE
00002309: ISZERO
0000230a: DUP1
0000230b: ISZERO
0000230c: PUSH2 0x2314
0000230f: JUMPI
00002310: PUSH1 0x00
00002312: DUP1
00002313: REVERT
00002314: JUMPDEST
00002315: POP
00002316: GAS
00002317: CALL
00002318: ISZERO
00002319: DUP1
0000231a: ISZERO
0000231b: PUSH2 0x2328
0000231e: JUMPI
0000231f: RETURNDATASIZE
00002320: PUSH1 0x00
00002322: DUP1
00002323: RETURNDATACOPY
00002324: RETURNDATASIZE
00002325: PUSH1 0x00
00002327: REVERT
00002328: JUMPDEST
00002329: POP
0000232a: POP
0000232b: DUP3
0000232c: SLOAD
0000232d: PUSH1 0xe0
0000232f: PUSH1 0x02
00002331: EXP
00002332: PUSH1 0xff
00002334: MUL
00002335: NOT
00002336: AND
00002337: PUSH29 0x0300000000000000000000000000000000000000000000000000000000
00002355: OR
00002356: DUP4
00002357: SSTORE
00002358: POP
00002359: POP
0000235a: PUSH1 0x08
0000235c: SLOAD
0000235d: PUSH1 0x40
0000235f: DUP1
00002360: MLOAD
00002361: PUSH32 0x3ba0b9a900000000000000000000000000000000000000000000000000000000
00002382: DUP2
00002383: MSTORE
00002384: SWAP1
00002385: MLOAD
00002386: PUSH1 0x01
00002388: PUSH1 0xa0
0000238a: PUSH1 0x02
0000238c: EXP
0000238d: SUB
0000238e: SWAP1
0000238f: SWAP3
00002390: AND
00002391: SWAP2
00002392: PUSH4 0x3ba0b9a9
00002397: SWAP2
00002398: PUSH1 0x04
0000239a: DUP1
0000239b: DUP3
0000239c: ADD
0000239d: SWAP3
0000239e: PUSH1 0x20
000023a0: SWAP3
000023a1: SWAP1
000023a2: SWAP2
000023a3: SWAP1
000023a4: DUP3
000023a5: SWAP1
000023a6: SUB
000023a7: ADD
000023a8: DUP2
000023a9: DUP7
000023aa: DUP1
000023ab: EXTCODESIZE
000023ac: ISZERO
000023ad: DUP1
000023ae: ISZERO
000023af: PUSH2 0x23b7
000023b2: JUMPI
000023b3: PUSH1 0x00
000023b5: DUP1
000023b6: REVERT
000023b7: JUMPDEST
000023b8: POP
000023b9: GAS
000023ba: STATICCALL
000023bb: ISZERO
000023bc: DUP1
000023bd: ISZERO
000023be: PUSH2 0x23cb
000023c1: JUMPI
000023c2: RETURNDATASIZE
000023c3: PUSH1 0x00
000023c5: DUP1
000023c6: RETURNDATACOPY
000023c7: RETURNDATASIZE
000023c8: PUSH1 0x00
000023ca: REVERT
000023cb: JUMPDEST
000023cc: POP
000023cd: POP
000023ce: POP
000023cf: POP
000023d0: PUSH1 0x40
000023d2: MLOAD
000023d3: RETURNDATASIZE
000023d4: PUSH1 0x20
000023d6: DUP2
000023d7: LT
000023d8: ISZERO
000023d9: PUSH2 0x23e1
000023dc: JUMPI
000023dd: PUSH1 0x00
000023df: DUP1
000023e0: REVERT
000023e1: JUMPDEST
000023e2: POP
000023e3: MLOAD
000023e4: PUSH1 0x04
000023e6: SWAP1
000023e7: SWAP2
000023e8: ADD
000023e9: SSTORE
000023ea: POP
000023eb: JUMP
000023ec: JUMPDEST
000023ed: PUSH1 0x01
000023ef: PUSH1 0xa0
000023f1: PUSH1 0x02
000023f3: EXP
000023f4: SUB
000023f5: DUP2
000023f6: AND
000023f7: ISZERO
000023f8: ISZERO
000023f9: PUSH2 0x2472
000023fc: JUMPI
000023fd: PUSH1 0x40
000023ff: DUP1
00002400: MLOAD
00002401: PUSH1 0xe5
00002403: PUSH1 0x02
00002405: EXP
00002406: PUSH3 0x461bcd
0000240a: MUL
0000240b: DUP2
0000240c: MSTORE
0000240d: PUSH1 0x20
0000240f: PUSH1 0x04
00002411: DUP3
00002412: ADD
00002413: MSTORE
00002414: PUSH1 0x26
00002416: PUSH1 0x24
00002418: DUP3
00002419: ADD
0000241a: MSTORE
0000241b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000243c: PUSH1 0x44
0000243e: DUP3
0000243f: ADD
00002440: MSTORE
00002441: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00002462: PUSH1 0x64
00002464: DUP3
00002465: ADD
00002466: MSTORE
00002467: SWAP1
00002468: MLOAD
00002469: SWAP1
0000246a: DUP2
0000246b: SWAP1
0000246c: SUB
0000246d: PUSH1 0x84
0000246f: ADD
00002470: SWAP1
00002471: REVERT
00002472: JUMPDEST
00002473: PUSH1 0x00
00002475: DUP1
00002476: SLOAD
00002477: PUSH1 0x40
00002479: MLOAD
0000247a: PUSH1 0x01
0000247c: PUSH1 0xa0
0000247e: PUSH1 0x02
00002480: EXP
00002481: SUB
00002482: DUP1
00002483: DUP6
00002484: AND
00002485: SWAP4
00002486: SWAP3
00002487: AND
00002488: SWAP2
00002489: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000024aa: SWAP2
000024ab: LOG3
000024ac: PUSH1 0x00
000024ae: DUP1
000024af: SLOAD
000024b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c5: NOT
000024c6: AND
000024c7: PUSH1 0x01
000024c9: PUSH1 0xa0
000024cb: PUSH1 0x02
000024cd: EXP
000024ce: SUB
000024cf: SWAP3
000024d0: SWAP1
000024d1: SWAP3
000024d2: AND
000024d3: SWAP2
000024d4: SWAP1
000024d5: SWAP2
000024d6: OR
000024d7: SWAP1
000024d8: SSTORE
000024d9: JUMP
000024da: JUMPDEST
000024db: PUSH2 0x24e4
000024de: DUP3
000024df: DUP3
000024e0: PUSH2 0x2043
000024e3: JUMP
000024e4: JUMPDEST
000024e5: ISZERO
000024e6: ISZERO
000024e7: PUSH2 0x2560
000024ea: JUMPI
000024eb: PUSH1 0x40
000024ed: DUP1
000024ee: MLOAD
000024ef: PUSH1 0xe5
000024f1: PUSH1 0x02
000024f3: EXP
000024f4: PUSH3 0x461bcd
000024f8: MUL
000024f9: DUP2
000024fa: MSTORE
000024fb: PUSH1 0x20
000024fd: PUSH1 0x04
000024ff: DUP3
00002500: ADD
00002501: MSTORE
00002502: PUSH1 0x21
00002504: PUSH1 0x24
00002506: DUP3
00002507: ADD
00002508: MSTORE
00002509: PUSH32 0x526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c
0000252a: PUSH1 0x44
0000252c: DUP3
0000252d: ADD
0000252e: MSTORE
0000252f: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
00002550: PUSH1 0x64
00002552: DUP3
00002553: ADD
00002554: MSTORE
00002555: SWAP1
00002556: MLOAD
00002557: SWAP1
00002558: DUP2
00002559: SWAP1
0000255a: SUB
0000255b: PUSH1 0x84
0000255d: ADD
0000255e: SWAP1
0000255f: REVERT
00002560: JUMPDEST
00002561: PUSH1 0x01
00002563: PUSH1 0xa0
00002565: PUSH1 0x02
00002567: EXP
00002568: SUB
00002569: AND
0000256a: PUSH1 0x00
0000256c: SWAP1
0000256d: DUP2
0000256e: MSTORE
0000256f: PUSH1 0x20
00002571: SWAP2
00002572: SWAP1
00002573: SWAP2
00002574: MSTORE
00002575: PUSH1 0x40
00002577: SWAP1
00002578: KECCAK256
00002579: DUP1
0000257a: SLOAD
0000257b: PUSH1 0xff
0000257d: NOT
0000257e: AND
0000257f: SWAP1
00002580: SSTORE
00002581: JUMP
00002582: JUMPDEST
00002583: PUSH2 0x258c
00002586: DUP3
00002587: DUP3
00002588: PUSH2 0x2043
0000258b: JUMP
0000258c: JUMPDEST
0000258d: ISZERO
0000258e: PUSH2 0x25e1
00002591: JUMPI
00002592: PUSH1 0x40
00002594: DUP1
00002595: MLOAD
00002596: PUSH1 0xe5
00002598: PUSH1 0x02
0000259a: EXP
0000259b: PUSH3 0x461bcd
0000259f: MUL
000025a0: DUP2
000025a1: MSTORE
000025a2: PUSH1 0x20
000025a4: PUSH1 0x04
000025a6: DUP3
000025a7: ADD
000025a8: MSTORE
000025a9: PUSH1 0x1f
000025ab: PUSH1 0x24
000025ad: DUP3
000025ae: ADD
000025af: MSTORE
000025b0: PUSH32 0x526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500
000025d1: PUSH1 0x44
000025d3: DUP3
000025d4: ADD
000025d5: MSTORE
000025d6: SWAP1
000025d7: MLOAD
000025d8: SWAP1
000025d9: DUP2
000025da: SWAP1
000025db: SUB
000025dc: PUSH1 0x64
000025de: ADD
000025df: SWAP1
000025e0: REVERT
000025e1: JUMPDEST
000025e2: PUSH1 0x01
000025e4: PUSH1 0xa0
000025e6: PUSH1 0x02
000025e8: EXP
000025e9: SUB
000025ea: AND
000025eb: PUSH1 0x00
000025ed: SWAP1
000025ee: DUP2
000025ef: MSTORE
000025f0: PUSH1 0x20
000025f2: SWAP2
000025f3: SWAP1
000025f4: SWAP2
000025f5: MSTORE
000025f6: PUSH1 0x40
000025f8: SWAP1
000025f9: KECCAK256
000025fa: DUP1
000025fb: SLOAD
000025fc: PUSH1 0xff
000025fe: NOT
000025ff: AND
00002600: PUSH1 0x01
00002602: OR
00002603: SWAP1
00002604: SSTORE
00002605: JUMP
00002606: JUMPDEST
00002607: PUSH1 0x40
00002609: DUP1
0000260a: MLOAD
0000260b: PUSH1 0x80
0000260d: DUP2
0000260e: ADD
0000260f: DUP3
00002610: MSTORE
00002611: PUSH1 0x00
00002613: DUP1
00002614: DUP3
00002615: MSTORE
00002616: PUSH1 0x20
00002618: DUP3
00002619: ADD
0000261a: DUP2
0000261b: SWAP1
0000261c: MSTORE
0000261d: SWAP2
0000261e: DUP2
0000261f: ADD
00002620: DUP3
00002621: SWAP1
00002622: MSTORE
00002623: SWAP1
00002624: PUSH1 0x60
00002626: DUP3
00002627: ADD
00002628: MSTORE
00002629: SWAP1
0000262a: JUMP
0000262b: INVALID
0000262c: UNKNOWN(0x4F)
0000262d: PUSH24 0x6e61626c653a2063616c6c6572206973206e6f7420746865
00002646: KECCAK256
00002647: PUSH16 0x776e65725061757361626c653a207061
00002658: PUSH22 0x73656400000000000000000000000000000000a16562
0000266f: PUSH27 0x7a7230582001e2c5fc2252eb52e1c397afe1936aece7ffc4b43d0a
0000268b: UNKNOWN(0xCF)
0000268c: UNKNOWN(0xA7)
0000268d: SHL
0000268e: DUP8
0000268f: UNKNOWN(0xBA)
00002690: SWAP6
00002691: SWAP11
00002692: UNKNOWN(0x0F)
00002693: UNKNOWN(0x23)
00002694: UNKNOWN(0xAB)
00002695: STOP
00002696: UNKNOWN(0x29)
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x534d077a6d55441dc4368ee125288404b1c8abd08a9e7f7e307812d4f252ba40
call_targets: 0xbf6969f52bce83966efed7702280d916d28d387f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x534d077a6d55441dc4368ee125288404b1c8abd08a9e7f7e307812d4f252ba40",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbf6969f52bce83966efed7702280d916d28d387f"
    ],
    "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": "0x241b6ae6",
            "selector": "0x241b6ae6",
            "calldata_variants": [
                "0x241b6ae6",
                "0x241b6ae60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x30748be0",
            "selector": "0x30748be0",
            "calldata_variants": [
                "0x30748be0",
                "0x30748be00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x46fbf68e",
            "selector": "0x46fbf68e",
            "calldata_variants": [
                "0x46fbf68e",
                "0x46fbf68e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4fb7eed3",
            "selector": "0x4fb7eed3",
            "calldata_variants": [
                "0x4fb7eed3",
                "0x4fb7eed30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x58ccf6b6",
            "selector": "0x58ccf6b6",
            "calldata_variants": [
                "0x58ccf6b6",
                "0x58ccf6b60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c975abb",
            "selector": "0x5c975abb",
            "calldata_variants": [
                "0x5c975abb",
                "0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63bdb94b",
            "selector": "0x63bdb94b",
            "calldata_variants": [
                "0x63bdb94b",
                "0x63bdb94b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7267,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8177,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8983,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x534d077a6d55441dc4368ee125288404b1c8abd08a9e7f7e307812d4f252ba40
call_targets: 0xbf6969f52bce83966efed7702280d916d28d387f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x534d077a6d55441dc4368ee125288404b1c8abd08a9e7f7e307812d4f252ba40",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbf6969f52bce83966efed7702280d916d28d387f"
    ],
    "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": "0x241b6ae6",
            "selector": "0x241b6ae6",
            "calldata_variants": [
                "0x241b6ae6",
                "0x241b6ae60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x30748be0",
            "selector": "0x30748be0",
            "calldata_variants": [
                "0x30748be0",
                "0x30748be00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x46fbf68e",
            "selector": "0x46fbf68e",
            "calldata_variants": [
                "0x46fbf68e",
                "0x46fbf68e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4fb7eed3",
            "selector": "0x4fb7eed3",
            "calldata_variants": [
                "0x4fb7eed3",
                "0x4fb7eed30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x58ccf6b6",
            "selector": "0x58ccf6b6",
            "calldata_variants": [
                "0x58ccf6b6",
                "0x58ccf6b60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c975abb",
            "selector": "0x5c975abb",
            "calldata_variants": [
                "0x5c975abb",
                "0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63bdb94b",
            "selector": "0x63bdb94b",
            "calldata_variants": [
                "0x63bdb94b",
                "0x63bdb94b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7267,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8177,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8983,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}