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

Analysis Run

019b477e-b6e2-7120-8b0d-c18d99b50eac

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

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
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
23187 artifact.fetch complete 1 / 3 4 months ago
23188 tool.cast_disasm complete 1 / 3 4 months ago
66498 analysis.bundle complete 1 / 3 2 weeks ago
66499 capability.graph complete 1 / 3 2 weeks ago
66500 detector.run complete 1 / 3 2 weeks ago
66501 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)
16
EXT*/BALANCE
12
Total opcodes
8197
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01e3
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x74ebe3ec
00000019: GT
0000001a: PUSH2 0x0102
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xad9a90d0
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xbc31c1c1
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xbc31c1c1
0000003a: EQ
0000003b: PUSH2 0x0c7a
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd4b11713
00000045: EQ
00000046: PUSH2 0x0cc9
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd7e784eb
00000050: EQ
00000051: PUSH2 0x0d04
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x0de4
0000005f: JUMPI
00000060: PUSH2 0x01e3
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xad9a90d0
0000006b: EQ
0000006c: PUSH2 0x0b58
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xb0215143
00000076: EQ
00000077: PUSH2 0x0ba9
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xb6996398
00000081: EQ
00000082: PUSH2 0x0bf8
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xb69ef8a8
0000008c: EQ
0000008d: PUSH2 0x0c4f
00000090: JUMPI
00000091: PUSH2 0x01e3
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x8da5cb5b
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8da5cb5b
000000a7: EQ
000000a8: PUSH2 0x0a04
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8f32d59b
000000b2: EQ
000000b3: PUSH2 0x0a5b
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x9396a735
000000bd: EQ
000000be: PUSH2 0x0a8a
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x978a4509
000000c8: EQ
000000c9: PUSH2 0x0af3
000000cc: JUMPI
000000cd: PUSH2 0x01e3
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x74ebe3ec
000000d8: EQ
000000d9: PUSH2 0x0908
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x7c5e2795
000000e3: EQ
000000e4: PUSH2 0x0971
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x82dc1ec4
000000ee: EQ
000000ef: PUSH2 0x099c
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x8456cb59
000000f9: EQ
000000fa: PUSH2 0x09ed
000000fd: JUMPI
000000fe: PUSH2 0x01e3
00000101: JUMP
00000102: JUMPDEST
00000103: DUP1
00000104: PUSH4 0x3f4ba83a
00000109: GT
0000010a: PUSH2 0x017a
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x6b6f7421
00000114: GT
00000115: PUSH2 0x0149
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x6b6f7421
0000011f: EQ
00000120: PUSH2 0x07e2
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x6e392551
0000012a: EQ
0000012b: PUSH2 0x0887
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x6ef8d66d
00000135: EQ
00000136: PUSH2 0x08da
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x715018a6
00000140: EQ
00000141: PUSH2 0x08f1
00000144: JUMPI
00000145: PUSH2 0x01e3
00000148: JUMP
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0x3f4ba83a
00000150: EQ
00000151: PUSH2 0x06dc
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x454d2e66
0000015b: EQ
0000015c: PUSH2 0x06f3
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x46fbf68e
00000166: EQ
00000167: PUSH2 0x074a
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x5c975abb
00000171: EQ
00000172: PUSH2 0x07b3
00000175: JUMPI
00000176: PUSH2 0x01e3
00000179: JUMP
0000017a: JUMPDEST
0000017b: DUP1
0000017c: PUSH4 0x24c42f35
00000181: GT
00000182: PUSH2 0x01b6
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x24c42f35
0000018c: EQ
0000018d: PUSH2 0x05c2
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x29bfb801
00000197: EQ
00000198: PUSH2 0x0619
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x2bf859a1
000001a2: EQ
000001a3: PUSH2 0x0668
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x3ccfd60b
000001ad: EQ
000001ae: PUSH2 0x06c5
000001b1: JUMPI
000001b2: PUSH2 0x01e3
000001b5: JUMP
000001b6: JUMPDEST
000001b7: DUP1
000001b8: PUSH4 0x035c6972
000001bd: EQ
000001be: PUSH2 0x01e8
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x12a6316c
000001c8: EQ
000001c9: PUSH2 0x02b2
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x1fe7b82e
000001d3: EQ
000001d4: PUSH2 0x03b2
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x22f00ccd
000001de: EQ
000001df: PUSH2 0x04ba
000001e2: JUMPI
000001e3: JUMPDEST
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: CALLVALUE
000001ea: DUP1
000001eb: ISZERO
000001ec: PUSH2 0x01f4
000001ef: JUMPI
000001f0: PUSH1 0x00
000001f2: DUP1
000001f3: REVERT
000001f4: JUMPDEST
000001f5: POP
000001f6: PUSH2 0x0237
000001f9: PUSH1 0x04
000001fb: DUP1
000001fc: CALLDATASIZE
000001fd: SUB
000001fe: PUSH1 0x20
00000200: DUP2
00000201: LT
00000202: ISZERO
00000203: PUSH2 0x020b
00000206: JUMPI
00000207: PUSH1 0x00
00000209: DUP1
0000020a: REVERT
0000020b: JUMPDEST
0000020c: DUP2
0000020d: ADD
0000020e: SWAP1
0000020f: DUP1
00000210: DUP1
00000211: CALLDATALOAD
00000212: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000227: AND
00000228: SWAP1
00000229: PUSH1 0x20
0000022b: ADD
0000022c: SWAP1
0000022d: SWAP3
0000022e: SWAP2
0000022f: SWAP1
00000230: POP
00000231: POP
00000232: POP
00000233: PUSH2 0x0e35
00000236: JUMP
00000237: JUMPDEST
00000238: PUSH1 0x40
0000023a: MLOAD
0000023b: DUP1
0000023c: DUP1
0000023d: PUSH1 0x20
0000023f: ADD
00000240: DUP3
00000241: DUP2
00000242: SUB
00000243: DUP3
00000244: MSTORE
00000245: DUP4
00000246: DUP2
00000247: DUP2
00000248: MLOAD
00000249: DUP2
0000024a: MSTORE
0000024b: PUSH1 0x20
0000024d: ADD
0000024e: SWAP2
0000024f: POP
00000250: DUP1
00000251: MLOAD
00000252: SWAP1
00000253: PUSH1 0x20
00000255: ADD
00000256: SWAP1
00000257: DUP1
00000258: DUP4
00000259: DUP4
0000025a: PUSH1 0x00
0000025c: JUMPDEST
0000025d: DUP4
0000025e: DUP2
0000025f: LT
00000260: ISZERO
00000261: PUSH2 0x0277
00000264: JUMPI
00000265: DUP1
00000266: DUP3
00000267: ADD
00000268: MLOAD
00000269: DUP2
0000026a: DUP5
0000026b: ADD
0000026c: MSTORE
0000026d: PUSH1 0x20
0000026f: DUP2
00000270: ADD
00000271: SWAP1
00000272: POP
00000273: PUSH2 0x025c
00000276: JUMP
00000277: JUMPDEST
00000278: POP
00000279: POP
0000027a: POP
0000027b: POP
0000027c: SWAP1
0000027d: POP
0000027e: SWAP1
0000027f: DUP2
00000280: ADD
00000281: SWAP1
00000282: PUSH1 0x1f
00000284: AND
00000285: DUP1
00000286: ISZERO
00000287: PUSH2 0x02a4
0000028a: JUMPI
0000028b: DUP1
0000028c: DUP3
0000028d: SUB
0000028e: DUP1
0000028f: MLOAD
00000290: PUSH1 0x01
00000292: DUP4
00000293: PUSH1 0x20
00000295: SUB
00000296: PUSH2 0x0100
00000299: EXP
0000029a: SUB
0000029b: NOT
0000029c: AND
0000029d: DUP2
0000029e: MSTORE
0000029f: PUSH1 0x20
000002a1: ADD
000002a2: SWAP2
000002a3: POP
000002a4: JUMPDEST
000002a5: POP
000002a6: SWAP3
000002a7: POP
000002a8: POP
000002a9: POP
000002aa: PUSH1 0x40
000002ac: MLOAD
000002ad: DUP1
000002ae: SWAP2
000002af: SUB
000002b0: SWAP1
000002b1: RETURN
000002b2: JUMPDEST
000002b3: CALLVALUE
000002b4: DUP1
000002b5: ISZERO
000002b6: PUSH2 0x02be
000002b9: JUMPI
000002ba: PUSH1 0x00
000002bc: DUP1
000002bd: REVERT
000002be: JUMPDEST
000002bf: POP
000002c0: PUSH2 0x0398
000002c3: PUSH1 0x04
000002c5: DUP1
000002c6: CALLDATASIZE
000002c7: SUB
000002c8: PUSH1 0x40
000002ca: DUP2
000002cb: LT
000002cc: ISZERO
000002cd: PUSH2 0x02d5
000002d0: JUMPI
000002d1: PUSH1 0x00
000002d3: DUP1
000002d4: REVERT
000002d5: JUMPDEST
000002d6: DUP2
000002d7: ADD
000002d8: SWAP1
000002d9: DUP1
000002da: DUP1
000002db: CALLDATALOAD
000002dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002f1: AND
000002f2: SWAP1
000002f3: PUSH1 0x20
000002f5: ADD
000002f6: SWAP1
000002f7: SWAP3
000002f8: SWAP2
000002f9: SWAP1
000002fa: DUP1
000002fb: CALLDATALOAD
000002fc: SWAP1
000002fd: PUSH1 0x20
000002ff: ADD
00000300: SWAP1
00000301: PUSH5 0x0100000000
00000307: DUP2
00000308: GT
00000309: ISZERO
0000030a: PUSH2 0x0312
0000030d: JUMPI
0000030e: PUSH1 0x00
00000310: DUP1
00000311: REVERT
00000312: JUMPDEST
00000313: DUP3
00000314: ADD
00000315: DUP4
00000316: PUSH1 0x20
00000318: DUP3
00000319: ADD
0000031a: GT
0000031b: ISZERO
0000031c: PUSH2 0x0324
0000031f: JUMPI
00000320: PUSH1 0x00
00000322: DUP1
00000323: REVERT
00000324: JUMPDEST
00000325: DUP1
00000326: CALLDATALOAD
00000327: SWAP1
00000328: PUSH1 0x20
0000032a: ADD
0000032b: SWAP2
0000032c: DUP5
0000032d: PUSH1 0x01
0000032f: DUP4
00000330: MUL
00000331: DUP5
00000332: ADD
00000333: GT
00000334: PUSH5 0x0100000000
0000033a: DUP4
0000033b: GT
0000033c: OR
0000033d: ISZERO
0000033e: PUSH2 0x0346
00000341: JUMPI
00000342: PUSH1 0x00
00000344: DUP1
00000345: REVERT
00000346: JUMPDEST
00000347: SWAP2
00000348: SWAP1
00000349: DUP1
0000034a: DUP1
0000034b: PUSH1 0x1f
0000034d: ADD
0000034e: PUSH1 0x20
00000350: DUP1
00000351: SWAP2
00000352: DIV
00000353: MUL
00000354: PUSH1 0x20
00000356: ADD
00000357: PUSH1 0x40
00000359: MLOAD
0000035a: SWAP1
0000035b: DUP2
0000035c: ADD
0000035d: PUSH1 0x40
0000035f: MSTORE
00000360: DUP1
00000361: SWAP4
00000362: SWAP3
00000363: SWAP2
00000364: SWAP1
00000365: DUP2
00000366: DUP2
00000367: MSTORE
00000368: PUSH1 0x20
0000036a: ADD
0000036b: DUP4
0000036c: DUP4
0000036d: DUP1
0000036e: DUP3
0000036f: DUP5
00000370: CALLDATACOPY
00000371: PUSH1 0x00
00000373: DUP2
00000374: DUP5
00000375: ADD
00000376: MSTORE
00000377: PUSH1 0x1f
00000379: NOT
0000037a: PUSH1 0x1f
0000037c: DUP3
0000037d: ADD
0000037e: AND
0000037f: SWAP1
00000380: POP
00000381: DUP1
00000382: DUP4
00000383: ADD
00000384: SWAP3
00000385: POP
00000386: POP
00000387: POP
00000388: POP
00000389: POP
0000038a: POP
0000038b: POP
0000038c: SWAP2
0000038d: SWAP3
0000038e: SWAP2
0000038f: SWAP3
00000390: SWAP1
00000391: POP
00000392: POP
00000393: POP
00000394: PUSH2 0x0ee5
00000397: JUMP
00000398: JUMPDEST
00000399: PUSH1 0x40
0000039b: MLOAD
0000039c: DUP1
0000039d: DUP3
0000039e: ISZERO
0000039f: ISZERO
000003a0: ISZERO
000003a1: ISZERO
000003a2: DUP2
000003a3: MSTORE
000003a4: PUSH1 0x20
000003a6: ADD
000003a7: SWAP2
000003a8: POP
000003a9: POP
000003aa: PUSH1 0x40
000003ac: MLOAD
000003ad: DUP1
000003ae: SWAP2
000003af: SUB
000003b0: SWAP1
000003b1: RETURN
000003b2: JUMPDEST
000003b3: CALLVALUE
000003b4: DUP1
000003b5: ISZERO
000003b6: PUSH2 0x03be
000003b9: JUMPI
000003ba: PUSH1 0x00
000003bc: DUP1
000003bd: REVERT
000003be: JUMPDEST
000003bf: POP
000003c0: PUSH2 0x0478
000003c3: PUSH1 0x04
000003c5: DUP1
000003c6: CALLDATASIZE
000003c7: SUB
000003c8: PUSH1 0x20
000003ca: DUP2
000003cb: LT
000003cc: ISZERO
000003cd: PUSH2 0x03d5
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: DUP2
000003d7: ADD
000003d8: SWAP1
000003d9: DUP1
000003da: DUP1
000003db: CALLDATALOAD
000003dc: SWAP1
000003dd: PUSH1 0x20
000003df: ADD
000003e0: SWAP1
000003e1: PUSH5 0x0100000000
000003e7: DUP2
000003e8: GT
000003e9: ISZERO
000003ea: PUSH2 0x03f2
000003ed: JUMPI
000003ee: PUSH1 0x00
000003f0: DUP1
000003f1: REVERT
000003f2: JUMPDEST
000003f3: DUP3
000003f4: ADD
000003f5: DUP4
000003f6: PUSH1 0x20
000003f8: DUP3
000003f9: ADD
000003fa: GT
000003fb: ISZERO
000003fc: PUSH2 0x0404
000003ff: JUMPI
00000400: PUSH1 0x00
00000402: DUP1
00000403: REVERT
00000404: JUMPDEST
00000405: DUP1
00000406: CALLDATALOAD
00000407: SWAP1
00000408: PUSH1 0x20
0000040a: ADD
0000040b: SWAP2
0000040c: DUP5
0000040d: PUSH1 0x01
0000040f: DUP4
00000410: MUL
00000411: DUP5
00000412: ADD
00000413: GT
00000414: PUSH5 0x0100000000
0000041a: DUP4
0000041b: GT
0000041c: OR
0000041d: ISZERO
0000041e: PUSH2 0x0426
00000421: JUMPI
00000422: PUSH1 0x00
00000424: DUP1
00000425: REVERT
00000426: JUMPDEST
00000427: SWAP2
00000428: SWAP1
00000429: DUP1
0000042a: DUP1
0000042b: PUSH1 0x1f
0000042d: ADD
0000042e: PUSH1 0x20
00000430: DUP1
00000431: SWAP2
00000432: DIV
00000433: MUL
00000434: PUSH1 0x20
00000436: ADD
00000437: PUSH1 0x40
00000439: MLOAD
0000043a: SWAP1
0000043b: DUP2
0000043c: ADD
0000043d: PUSH1 0x40
0000043f: MSTORE
00000440: DUP1
00000441: SWAP4
00000442: SWAP3
00000443: SWAP2
00000444: SWAP1
00000445: DUP2
00000446: DUP2
00000447: MSTORE
00000448: PUSH1 0x20
0000044a: ADD
0000044b: DUP4
0000044c: DUP4
0000044d: DUP1
0000044e: DUP3
0000044f: DUP5
00000450: CALLDATACOPY
00000451: PUSH1 0x00
00000453: DUP2
00000454: DUP5
00000455: ADD
00000456: MSTORE
00000457: PUSH1 0x1f
00000459: NOT
0000045a: PUSH1 0x1f
0000045c: DUP3
0000045d: ADD
0000045e: AND
0000045f: SWAP1
00000460: POP
00000461: DUP1
00000462: DUP4
00000463: ADD
00000464: SWAP3
00000465: POP
00000466: POP
00000467: POP
00000468: POP
00000469: POP
0000046a: POP
0000046b: POP
0000046c: SWAP2
0000046d: SWAP3
0000046e: SWAP2
0000046f: SWAP3
00000470: SWAP1
00000471: POP
00000472: POP
00000473: POP
00000474: PUSH2 0x13e5
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH1 0x40
0000047b: MLOAD
0000047c: DUP1
0000047d: DUP3
0000047e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000493: AND
00000494: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a9: AND
000004aa: DUP2
000004ab: MSTORE
000004ac: PUSH1 0x20
000004ae: ADD
000004af: SWAP2
000004b0: POP
000004b1: POP
000004b2: PUSH1 0x40
000004b4: MLOAD
000004b5: DUP1
000004b6: SWAP2
000004b7: SUB
000004b8: SWAP1
000004b9: RETURN
000004ba: JUMPDEST
000004bb: CALLVALUE
000004bc: DUP1
000004bd: ISZERO
000004be: PUSH2 0x04c6
000004c1: JUMPI
000004c2: PUSH1 0x00
000004c4: DUP1
000004c5: REVERT
000004c6: JUMPDEST
000004c7: POP
000004c8: PUSH2 0x0580
000004cb: PUSH1 0x04
000004cd: DUP1
000004ce: CALLDATASIZE
000004cf: SUB
000004d0: PUSH1 0x20
000004d2: DUP2
000004d3: LT
000004d4: ISZERO
000004d5: PUSH2 0x04dd
000004d8: JUMPI
000004d9: PUSH1 0x00
000004db: DUP1
000004dc: REVERT
000004dd: JUMPDEST
000004de: DUP2
000004df: ADD
000004e0: SWAP1
000004e1: DUP1
000004e2: DUP1
000004e3: CALLDATALOAD
000004e4: SWAP1
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: SWAP1
000004e9: PUSH5 0x0100000000
000004ef: DUP2
000004f0: GT
000004f1: ISZERO
000004f2: PUSH2 0x04fa
000004f5: JUMPI
000004f6: PUSH1 0x00
000004f8: DUP1
000004f9: REVERT
000004fa: JUMPDEST
000004fb: DUP3
000004fc: ADD
000004fd: DUP4
000004fe: PUSH1 0x20
00000500: DUP3
00000501: ADD
00000502: GT
00000503: ISZERO
00000504: PUSH2 0x050c
00000507: JUMPI
00000508: PUSH1 0x00
0000050a: DUP1
0000050b: REVERT
0000050c: JUMPDEST
0000050d: DUP1
0000050e: CALLDATALOAD
0000050f: SWAP1
00000510: PUSH1 0x20
00000512: ADD
00000513: SWAP2
00000514: DUP5
00000515: PUSH1 0x01
00000517: DUP4
00000518: MUL
00000519: DUP5
0000051a: ADD
0000051b: GT
0000051c: PUSH5 0x0100000000
00000522: DUP4
00000523: GT
00000524: OR
00000525: ISZERO
00000526: PUSH2 0x052e
00000529: JUMPI
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: SWAP2
00000530: SWAP1
00000531: DUP1
00000532: DUP1
00000533: PUSH1 0x1f
00000535: ADD
00000536: PUSH1 0x20
00000538: DUP1
00000539: SWAP2
0000053a: DIV
0000053b: MUL
0000053c: PUSH1 0x20
0000053e: ADD
0000053f: PUSH1 0x40
00000541: MLOAD
00000542: SWAP1
00000543: DUP2
00000544: ADD
00000545: PUSH1 0x40
00000547: MSTORE
00000548: DUP1
00000549: SWAP4
0000054a: SWAP3
0000054b: SWAP2
0000054c: SWAP1
0000054d: DUP2
0000054e: DUP2
0000054f: MSTORE
00000550: PUSH1 0x20
00000552: ADD
00000553: DUP4
00000554: DUP4
00000555: DUP1
00000556: DUP3
00000557: DUP5
00000558: CALLDATACOPY
00000559: PUSH1 0x00
0000055b: DUP2
0000055c: DUP5
0000055d: ADD
0000055e: MSTORE
0000055f: PUSH1 0x1f
00000561: NOT
00000562: PUSH1 0x1f
00000564: DUP3
00000565: ADD
00000566: AND
00000567: SWAP1
00000568: POP
00000569: DUP1
0000056a: DUP4
0000056b: ADD
0000056c: SWAP3
0000056d: POP
0000056e: POP
0000056f: POP
00000570: POP
00000571: POP
00000572: POP
00000573: POP
00000574: SWAP2
00000575: SWAP3
00000576: SWAP2
00000577: SWAP3
00000578: SWAP1
00000579: POP
0000057a: POP
0000057b: POP
0000057c: PUSH2 0x1478
0000057f: JUMP
00000580: JUMPDEST
00000581: PUSH1 0x40
00000583: MLOAD
00000584: DUP1
00000585: DUP3
00000586: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000059b: AND
0000059c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b1: AND
000005b2: DUP2
000005b3: MSTORE
000005b4: PUSH1 0x20
000005b6: ADD
000005b7: SWAP2
000005b8: POP
000005b9: POP
000005ba: PUSH1 0x40
000005bc: MLOAD
000005bd: DUP1
000005be: SWAP2
000005bf: SUB
000005c0: SWAP1
000005c1: RETURN
000005c2: JUMPDEST
000005c3: CALLVALUE
000005c4: DUP1
000005c5: ISZERO
000005c6: PUSH2 0x05ce
000005c9: JUMPI
000005ca: PUSH1 0x00
000005cc: DUP1
000005cd: REVERT
000005ce: JUMPDEST
000005cf: POP
000005d0: PUSH2 0x05d7
000005d3: PUSH2 0x14c1
000005d6: JUMP
000005d7: JUMPDEST
000005d8: PUSH1 0x40
000005da: MLOAD
000005db: DUP1
000005dc: DUP3
000005dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f2: AND
000005f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000608: AND
00000609: DUP2
0000060a: MSTORE
0000060b: PUSH1 0x20
0000060d: ADD
0000060e: SWAP2
0000060f: POP
00000610: POP
00000611: PUSH1 0x40
00000613: MLOAD
00000614: DUP1
00000615: SWAP2
00000616: SUB
00000617: SWAP1
00000618: RETURN
00000619: JUMPDEST
0000061a: CALLVALUE
0000061b: DUP1
0000061c: ISZERO
0000061d: PUSH2 0x0625
00000620: JUMPI
00000621: PUSH1 0x00
00000623: DUP1
00000624: REVERT
00000625: JUMPDEST
00000626: POP
00000627: PUSH2 0x0652
0000062a: PUSH1 0x04
0000062c: DUP1
0000062d: CALLDATASIZE
0000062e: SUB
0000062f: PUSH1 0x20
00000631: DUP2
00000632: LT
00000633: ISZERO
00000634: PUSH2 0x063c
00000637: JUMPI
00000638: PUSH1 0x00
0000063a: DUP1
0000063b: REVERT
0000063c: JUMPDEST
0000063d: DUP2
0000063e: ADD
0000063f: SWAP1
00000640: DUP1
00000641: DUP1
00000642: CALLDATALOAD
00000643: SWAP1
00000644: PUSH1 0x20
00000646: ADD
00000647: SWAP1
00000648: SWAP3
00000649: SWAP2
0000064a: SWAP1
0000064b: POP
0000064c: POP
0000064d: POP
0000064e: PUSH2 0x14e7
00000651: JUMP
00000652: JUMPDEST
00000653: PUSH1 0x40
00000655: MLOAD
00000656: DUP1
00000657: DUP3
00000658: DUP2
00000659: MSTORE
0000065a: PUSH1 0x20
0000065c: ADD
0000065d: SWAP2
0000065e: POP
0000065f: POP
00000660: PUSH1 0x40
00000662: MLOAD
00000663: DUP1
00000664: SWAP2
00000665: SUB
00000666: SWAP1
00000667: RETURN
00000668: JUMPDEST
00000669: CALLVALUE
0000066a: DUP1
0000066b: ISZERO
0000066c: PUSH2 0x0674
0000066f: JUMPI
00000670: PUSH1 0x00
00000672: DUP1
00000673: REVERT
00000674: JUMPDEST
00000675: POP
00000676: PUSH2 0x06c3
00000679: PUSH1 0x04
0000067b: DUP1
0000067c: CALLDATASIZE
0000067d: SUB
0000067e: PUSH1 0x40
00000680: DUP2
00000681: LT
00000682: ISZERO
00000683: PUSH2 0x068b
00000686: JUMPI
00000687: PUSH1 0x00
00000689: DUP1
0000068a: REVERT
0000068b: JUMPDEST
0000068c: DUP2
0000068d: ADD
0000068e: SWAP1
0000068f: DUP1
00000690: DUP1
00000691: CALLDATALOAD
00000692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a7: AND
000006a8: SWAP1
000006a9: PUSH1 0x20
000006ab: ADD
000006ac: SWAP1
000006ad: SWAP3
000006ae: SWAP2
000006af: SWAP1
000006b0: DUP1
000006b1: CALLDATALOAD
000006b2: ISZERO
000006b3: ISZERO
000006b4: SWAP1
000006b5: PUSH1 0x20
000006b7: ADD
000006b8: SWAP1
000006b9: SWAP3
000006ba: SWAP2
000006bb: SWAP1
000006bc: POP
000006bd: POP
000006be: POP
000006bf: PUSH2 0x14ff
000006c2: JUMP
000006c3: JUMPDEST
000006c4: STOP
000006c5: JUMPDEST
000006c6: CALLVALUE
000006c7: DUP1
000006c8: ISZERO
000006c9: PUSH2 0x06d1
000006cc: JUMPI
000006cd: PUSH1 0x00
000006cf: DUP1
000006d0: REVERT
000006d1: JUMPDEST
000006d2: POP
000006d3: PUSH2 0x06da
000006d6: PUSH2 0x160b
000006d9: JUMP
000006da: JUMPDEST
000006db: STOP
000006dc: JUMPDEST
000006dd: CALLVALUE
000006de: DUP1
000006df: ISZERO
000006e0: PUSH2 0x06e8
000006e3: JUMPI
000006e4: PUSH1 0x00
000006e6: DUP1
000006e7: REVERT
000006e8: JUMPDEST
000006e9: POP
000006ea: PUSH2 0x06f1
000006ed: PUSH2 0x16e5
000006f0: JUMP
000006f1: JUMPDEST
000006f2: STOP
000006f3: JUMPDEST
000006f4: CALLVALUE
000006f5: DUP1
000006f6: ISZERO
000006f7: PUSH2 0x06ff
000006fa: JUMPI
000006fb: PUSH1 0x00
000006fd: DUP1
000006fe: REVERT
000006ff: JUMPDEST
00000700: POP
00000701: PUSH2 0x0708
00000704: PUSH2 0x1845
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH1 0x40
0000070b: MLOAD
0000070c: DUP1
0000070d: DUP3
0000070e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000723: AND
00000724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000739: AND
0000073a: DUP2
0000073b: MSTORE
0000073c: PUSH1 0x20
0000073e: ADD
0000073f: SWAP2
00000740: POP
00000741: POP
00000742: PUSH1 0x40
00000744: MLOAD
00000745: DUP1
00000746: SWAP2
00000747: SUB
00000748: SWAP1
00000749: RETURN
0000074a: JUMPDEST
0000074b: CALLVALUE
0000074c: DUP1
0000074d: ISZERO
0000074e: PUSH2 0x0756
00000751: JUMPI
00000752: PUSH1 0x00
00000754: DUP1
00000755: REVERT
00000756: JUMPDEST
00000757: POP
00000758: PUSH2 0x0799
0000075b: PUSH1 0x04
0000075d: DUP1
0000075e: CALLDATASIZE
0000075f: SUB
00000760: PUSH1 0x20
00000762: DUP2
00000763: LT
00000764: ISZERO
00000765: PUSH2 0x076d
00000768: JUMPI
00000769: PUSH1 0x00
0000076b: DUP1
0000076c: REVERT
0000076d: JUMPDEST
0000076e: DUP2
0000076f: ADD
00000770: SWAP1
00000771: DUP1
00000772: DUP1
00000773: CALLDATALOAD
00000774: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000789: AND
0000078a: SWAP1
0000078b: PUSH1 0x20
0000078d: ADD
0000078e: SWAP1
0000078f: SWAP3
00000790: SWAP2
00000791: SWAP1
00000792: POP
00000793: POP
00000794: POP
00000795: PUSH2 0x186b
00000798: JUMP
00000799: JUMPDEST
0000079a: PUSH1 0x40
0000079c: MLOAD
0000079d: DUP1
0000079e: DUP3
0000079f: ISZERO
000007a0: ISZERO
000007a1: ISZERO
000007a2: ISZERO
000007a3: DUP2
000007a4: MSTORE
000007a5: PUSH1 0x20
000007a7: ADD
000007a8: SWAP2
000007a9: POP
000007aa: POP
000007ab: PUSH1 0x40
000007ad: MLOAD
000007ae: DUP1
000007af: SWAP2
000007b0: SUB
000007b1: SWAP1
000007b2: RETURN
000007b3: JUMPDEST
000007b4: CALLVALUE
000007b5: DUP1
000007b6: ISZERO
000007b7: PUSH2 0x07bf
000007ba: JUMPI
000007bb: PUSH1 0x00
000007bd: DUP1
000007be: REVERT
000007bf: JUMPDEST
000007c0: POP
000007c1: PUSH2 0x07c8
000007c4: PUSH2 0x1888
000007c7: JUMP
000007c8: JUMPDEST
000007c9: PUSH1 0x40
000007cb: MLOAD
000007cc: DUP1
000007cd: DUP3
000007ce: ISZERO
000007cf: ISZERO
000007d0: ISZERO
000007d1: ISZERO
000007d2: DUP2
000007d3: MSTORE
000007d4: PUSH1 0x20
000007d6: ADD
000007d7: SWAP2
000007d8: POP
000007d9: POP
000007da: PUSH1 0x40
000007dc: MLOAD
000007dd: DUP1
000007de: SWAP2
000007df: SUB
000007e0: SWAP1
000007e1: RETURN
000007e2: JUMPDEST
000007e3: PUSH2 0x0885
000007e6: PUSH1 0x04
000007e8: DUP1
000007e9: CALLDATASIZE
000007ea: SUB
000007eb: PUSH1 0xa0
000007ed: DUP2
000007ee: LT
000007ef: ISZERO
000007f0: PUSH2 0x07f8
000007f3: JUMPI
000007f4: PUSH1 0x00
000007f6: DUP1
000007f7: REVERT
000007f8: JUMPDEST
000007f9: DUP2
000007fa: ADD
000007fb: SWAP1
000007fc: DUP1
000007fd: DUP1
000007fe: CALLDATALOAD
000007ff: SWAP1
00000800: PUSH1 0x20
00000802: ADD
00000803: SWAP1
00000804: SWAP3
00000805: SWAP2
00000806: SWAP1
00000807: DUP1
00000808: CALLDATALOAD
00000809: ISZERO
0000080a: ISZERO
0000080b: SWAP1
0000080c: PUSH1 0x20
0000080e: ADD
0000080f: SWAP1
00000810: SWAP3
00000811: SWAP2
00000812: SWAP1
00000813: DUP1
00000814: CALLDATALOAD
00000815: SWAP1
00000816: PUSH1 0x20
00000818: ADD
00000819: SWAP1
0000081a: SWAP3
0000081b: SWAP2
0000081c: SWAP1
0000081d: DUP1
0000081e: CALLDATALOAD
0000081f: ISZERO
00000820: ISZERO
00000821: SWAP1
00000822: PUSH1 0x20
00000824: ADD
00000825: SWAP1
00000826: SWAP3
00000827: SWAP2
00000828: SWAP1
00000829: DUP1
0000082a: CALLDATALOAD
0000082b: SWAP1
0000082c: PUSH1 0x20
0000082e: ADD
0000082f: SWAP1
00000830: PUSH5 0x0100000000
00000836: DUP2
00000837: GT
00000838: ISZERO
00000839: PUSH2 0x0841
0000083c: JUMPI
0000083d: PUSH1 0x00
0000083f: DUP1
00000840: REVERT
00000841: JUMPDEST
00000842: DUP3
00000843: ADD
00000844: DUP4
00000845: PUSH1 0x20
00000847: DUP3
00000848: ADD
00000849: GT
0000084a: ISZERO
0000084b: PUSH2 0x0853
0000084e: JUMPI
0000084f: PUSH1 0x00
00000851: DUP1
00000852: REVERT
00000853: JUMPDEST
00000854: DUP1
00000855: CALLDATALOAD
00000856: SWAP1
00000857: PUSH1 0x20
00000859: ADD
0000085a: SWAP2
0000085b: DUP5
0000085c: PUSH1 0x01
0000085e: DUP4
0000085f: MUL
00000860: DUP5
00000861: ADD
00000862: GT
00000863: PUSH5 0x0100000000
00000869: DUP4
0000086a: GT
0000086b: OR
0000086c: ISZERO
0000086d: PUSH2 0x0875
00000870: JUMPI
00000871: PUSH1 0x00
00000873: DUP1
00000874: REVERT
00000875: JUMPDEST
00000876: SWAP1
00000877: SWAP2
00000878: SWAP3
00000879: SWAP4
0000087a: SWAP2
0000087b: SWAP3
0000087c: SWAP4
0000087d: SWAP1
0000087e: POP
0000087f: POP
00000880: POP
00000881: PUSH2 0x189f
00000884: JUMP
00000885: JUMPDEST
00000886: STOP
00000887: JUMPDEST
00000888: CALLVALUE
00000889: DUP1
0000088a: ISZERO
0000088b: PUSH2 0x0893
0000088e: JUMPI
0000088f: PUSH1 0x00
00000891: DUP1
00000892: REVERT
00000893: JUMPDEST
00000894: POP
00000895: PUSH2 0x08d8
00000898: PUSH1 0x04
0000089a: DUP1
0000089b: CALLDATASIZE
0000089c: SUB
0000089d: PUSH1 0x60
0000089f: DUP2
000008a0: LT
000008a1: ISZERO
000008a2: PUSH2 0x08aa
000008a5: JUMPI
000008a6: PUSH1 0x00
000008a8: DUP1
000008a9: REVERT
000008aa: JUMPDEST
000008ab: DUP2
000008ac: ADD
000008ad: SWAP1
000008ae: DUP1
000008af: DUP1
000008b0: CALLDATALOAD
000008b1: SWAP1
000008b2: PUSH1 0x20
000008b4: ADD
000008b5: SWAP1
000008b6: SWAP3
000008b7: SWAP2
000008b8: SWAP1
000008b9: DUP1
000008ba: CALLDATALOAD
000008bb: ISZERO
000008bc: ISZERO
000008bd: SWAP1
000008be: PUSH1 0x20
000008c0: ADD
000008c1: SWAP1
000008c2: SWAP3
000008c3: SWAP2
000008c4: SWAP1
000008c5: DUP1
000008c6: CALLDATALOAD
000008c7: ISZERO
000008c8: ISZERO
000008c9: SWAP1
000008ca: PUSH1 0x20
000008cc: ADD
000008cd: SWAP1
000008ce: SWAP3
000008cf: SWAP2
000008d0: SWAP1
000008d1: POP
000008d2: POP
000008d3: POP
000008d4: PUSH2 0x255f
000008d7: JUMP
000008d8: JUMPDEST
000008d9: STOP
000008da: JUMPDEST
000008db: CALLVALUE
000008dc: DUP1
000008dd: ISZERO
000008de: PUSH2 0x08e6
000008e1: JUMPI
000008e2: PUSH1 0x00
000008e4: DUP1
000008e5: REVERT
000008e6: JUMPDEST
000008e7: POP
000008e8: PUSH2 0x08ef
000008eb: PUSH2 0x27f8
000008ee: JUMP
000008ef: JUMPDEST
000008f0: STOP
000008f1: JUMPDEST
000008f2: CALLVALUE
000008f3: DUP1
000008f4: ISZERO
000008f5: PUSH2 0x08fd
000008f8: JUMPI
000008f9: PUSH1 0x00
000008fb: DUP1
000008fc: REVERT
000008fd: JUMPDEST
000008fe: POP
000008ff: PUSH2 0x0906
00000902: PUSH2 0x2803
00000905: JUMP
00000906: JUMPDEST
00000907: STOP
00000908: JUMPDEST
00000909: CALLVALUE
0000090a: DUP1
0000090b: ISZERO
0000090c: PUSH2 0x0914
0000090f: JUMPI
00000910: PUSH1 0x00
00000912: DUP1
00000913: REVERT
00000914: JUMPDEST
00000915: POP
00000916: PUSH2 0x0957
00000919: PUSH1 0x04
0000091b: DUP1
0000091c: CALLDATASIZE
0000091d: SUB
0000091e: PUSH1 0x20
00000920: DUP2
00000921: LT
00000922: ISZERO
00000923: PUSH2 0x092b
00000926: JUMPI
00000927: PUSH1 0x00
00000929: DUP1
0000092a: REVERT
0000092b: JUMPDEST
0000092c: DUP2
0000092d: ADD
0000092e: SWAP1
0000092f: DUP1
00000930: DUP1
00000931: CALLDATALOAD
00000932: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000947: AND
00000948: SWAP1
00000949: PUSH1 0x20
0000094b: ADD
0000094c: SWAP1
0000094d: SWAP3
0000094e: SWAP2
0000094f: SWAP1
00000950: POP
00000951: POP
00000952: POP
00000953: PUSH2 0x293e
00000956: JUMP
00000957: JUMPDEST
00000958: PUSH1 0x40
0000095a: MLOAD
0000095b: DUP1
0000095c: DUP3
0000095d: ISZERO
0000095e: ISZERO
0000095f: ISZERO
00000960: ISZERO
00000961: DUP2
00000962: MSTORE
00000963: PUSH1 0x20
00000965: ADD
00000966: SWAP2
00000967: POP
00000968: POP
00000969: PUSH1 0x40
0000096b: MLOAD
0000096c: DUP1
0000096d: SWAP2
0000096e: SUB
0000096f: SWAP1
00000970: RETURN
00000971: JUMPDEST
00000972: CALLVALUE
00000973: DUP1
00000974: ISZERO
00000975: PUSH2 0x097d
00000978: JUMPI
00000979: PUSH1 0x00
0000097b: DUP1
0000097c: REVERT
0000097d: JUMPDEST
0000097e: POP
0000097f: PUSH2 0x0986
00000982: PUSH2 0x2994
00000985: JUMP
00000986: JUMPDEST
00000987: PUSH1 0x40
00000989: MLOAD
0000098a: DUP1
0000098b: DUP3
0000098c: DUP2
0000098d: MSTORE
0000098e: PUSH1 0x20
00000990: ADD
00000991: SWAP2
00000992: POP
00000993: POP
00000994: PUSH1 0x40
00000996: MLOAD
00000997: DUP1
00000998: SWAP2
00000999: SUB
0000099a: SWAP1
0000099b: RETURN
0000099c: JUMPDEST
0000099d: CALLVALUE
0000099e: DUP1
0000099f: ISZERO
000009a0: PUSH2 0x09a8
000009a3: JUMPI
000009a4: PUSH1 0x00
000009a6: DUP1
000009a7: REVERT
000009a8: JUMPDEST
000009a9: POP
000009aa: PUSH2 0x09eb
000009ad: PUSH1 0x04
000009af: DUP1
000009b0: CALLDATASIZE
000009b1: SUB
000009b2: PUSH1 0x20
000009b4: DUP2
000009b5: LT
000009b6: ISZERO
000009b7: PUSH2 0x09bf
000009ba: JUMPI
000009bb: PUSH1 0x00
000009bd: DUP1
000009be: REVERT
000009bf: JUMPDEST
000009c0: DUP2
000009c1: ADD
000009c2: SWAP1
000009c3: DUP1
000009c4: DUP1
000009c5: CALLDATALOAD
000009c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009db: AND
000009dc: SWAP1
000009dd: PUSH1 0x20
000009df: ADD
000009e0: SWAP1
000009e1: SWAP3
000009e2: SWAP2
000009e3: SWAP1
000009e4: POP
000009e5: POP
000009e6: POP
000009e7: PUSH2 0x299f
000009ea: JUMP
000009eb: JUMPDEST
000009ec: STOP
000009ed: JUMPDEST
000009ee: CALLVALUE
000009ef: DUP1
000009f0: ISZERO
000009f1: PUSH2 0x09f9
000009f4: JUMPI
000009f5: PUSH1 0x00
000009f7: DUP1
000009f8: REVERT
000009f9: JUMPDEST
000009fa: POP
000009fb: PUSH2 0x0a02
000009fe: PUSH2 0x2a09
00000a01: JUMP
00000a02: JUMPDEST
00000a03: STOP
00000a04: JUMPDEST
00000a05: CALLVALUE
00000a06: DUP1
00000a07: ISZERO
00000a08: PUSH2 0x0a10
00000a0b: JUMPI
00000a0c: PUSH1 0x00
00000a0e: DUP1
00000a0f: REVERT
00000a10: JUMPDEST
00000a11: POP
00000a12: PUSH2 0x0a19
00000a15: PUSH2 0x2b69
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: PUSH1 0x40
00000a1c: MLOAD
00000a1d: DUP1
00000a1e: DUP3
00000a1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a34: AND
00000a35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4a: AND
00000a4b: DUP2
00000a4c: MSTORE
00000a4d: PUSH1 0x20
00000a4f: ADD
00000a50: SWAP2
00000a51: POP
00000a52: POP
00000a53: PUSH1 0x40
00000a55: MLOAD
00000a56: DUP1
00000a57: SWAP2
00000a58: SUB
00000a59: SWAP1
00000a5a: RETURN
00000a5b: JUMPDEST
00000a5c: CALLVALUE
00000a5d: DUP1
00000a5e: ISZERO
00000a5f: PUSH2 0x0a67
00000a62: JUMPI
00000a63: PUSH1 0x00
00000a65: DUP1
00000a66: REVERT
00000a67: JUMPDEST
00000a68: POP
00000a69: PUSH2 0x0a70
00000a6c: PUSH2 0x2b93
00000a6f: JUMP
00000a70: JUMPDEST
00000a71: PUSH1 0x40
00000a73: MLOAD
00000a74: DUP1
00000a75: DUP3
00000a76: ISZERO
00000a77: ISZERO
00000a78: ISZERO
00000a79: ISZERO
00000a7a: DUP2
00000a7b: MSTORE
00000a7c: PUSH1 0x20
00000a7e: ADD
00000a7f: SWAP2
00000a80: POP
00000a81: POP
00000a82: PUSH1 0x40
00000a84: MLOAD
00000a85: DUP1
00000a86: SWAP2
00000a87: SUB
00000a88: SWAP1
00000a89: RETURN
00000a8a: JUMPDEST
00000a8b: CALLVALUE
00000a8c: DUP1
00000a8d: ISZERO
00000a8e: PUSH2 0x0a96
00000a91: JUMPI
00000a92: PUSH1 0x00
00000a94: DUP1
00000a95: REVERT
00000a96: JUMPDEST
00000a97: POP
00000a98: PUSH2 0x0ad9
00000a9b: PUSH1 0x04
00000a9d: DUP1
00000a9e: CALLDATASIZE
00000a9f: SUB
00000aa0: PUSH1 0x20
00000aa2: DUP2
00000aa3: LT
00000aa4: ISZERO
00000aa5: PUSH2 0x0aad
00000aa8: JUMPI
00000aa9: PUSH1 0x00
00000aab: DUP1
00000aac: REVERT
00000aad: JUMPDEST
00000aae: DUP2
00000aaf: ADD
00000ab0: SWAP1
00000ab1: DUP1
00000ab2: DUP1
00000ab3: CALLDATALOAD
00000ab4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac9: AND
00000aca: SWAP1
00000acb: PUSH1 0x20
00000acd: ADD
00000ace: SWAP1
00000acf: SWAP3
00000ad0: SWAP2
00000ad1: SWAP1
00000ad2: POP
00000ad3: POP
00000ad4: POP
00000ad5: PUSH2 0x2beb
00000ad8: JUMP
00000ad9: JUMPDEST
00000ada: PUSH1 0x40
00000adc: MLOAD
00000add: DUP1
00000ade: DUP3
00000adf: ISZERO
00000ae0: ISZERO
00000ae1: ISZERO
00000ae2: ISZERO
00000ae3: DUP2
00000ae4: MSTORE
00000ae5: PUSH1 0x20
00000ae7: ADD
00000ae8: SWAP2
00000ae9: POP
00000aea: POP
00000aeb: PUSH1 0x40
00000aed: MLOAD
00000aee: DUP1
00000aef: SWAP2
00000af0: SUB
00000af1: SWAP1
00000af2: RETURN
00000af3: JUMPDEST
00000af4: CALLVALUE
00000af5: DUP1
00000af6: ISZERO
00000af7: PUSH2 0x0aff
00000afa: JUMPI
00000afb: PUSH1 0x00
00000afd: DUP1
00000afe: REVERT
00000aff: JUMPDEST
00000b00: POP
00000b01: PUSH2 0x0b42
00000b04: PUSH1 0x04
00000b06: DUP1
00000b07: CALLDATASIZE
00000b08: SUB
00000b09: PUSH1 0x20
00000b0b: DUP2
00000b0c: LT
00000b0d: ISZERO
00000b0e: PUSH2 0x0b16
00000b11: JUMPI
00000b12: PUSH1 0x00
00000b14: DUP1
00000b15: REVERT
00000b16: JUMPDEST
00000b17: DUP2
00000b18: ADD
00000b19: SWAP1
00000b1a: DUP1
00000b1b: DUP1
00000b1c: CALLDATALOAD
00000b1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b32: AND
00000b33: SWAP1
00000b34: PUSH1 0x20
00000b36: ADD
00000b37: SWAP1
00000b38: SWAP3
00000b39: SWAP2
00000b3a: SWAP1
00000b3b: POP
00000b3c: POP
00000b3d: POP
00000b3e: PUSH2 0x2c0b
00000b41: JUMP
00000b42: JUMPDEST
00000b43: PUSH1 0x40
00000b45: MLOAD
00000b46: DUP1
00000b47: DUP3
00000b48: DUP2
00000b49: MSTORE
00000b4a: PUSH1 0x20
00000b4c: ADD
00000b4d: SWAP2
00000b4e: POP
00000b4f: POP
00000b50: PUSH1 0x40
00000b52: MLOAD
00000b53: DUP1
00000b54: SWAP2
00000b55: SUB
00000b56: SWAP1
00000b57: RETURN
00000b58: JUMPDEST
00000b59: CALLVALUE
00000b5a: DUP1
00000b5b: ISZERO
00000b5c: PUSH2 0x0b64
00000b5f: JUMPI
00000b60: PUSH1 0x00
00000b62: DUP1
00000b63: REVERT
00000b64: JUMPDEST
00000b65: POP
00000b66: PUSH2 0x0ba7
00000b69: PUSH1 0x04
00000b6b: DUP1
00000b6c: CALLDATASIZE
00000b6d: SUB
00000b6e: PUSH1 0x20
00000b70: DUP2
00000b71: LT
00000b72: ISZERO
00000b73: PUSH2 0x0b7b
00000b76: JUMPI
00000b77: PUSH1 0x00
00000b79: DUP1
00000b7a: REVERT
00000b7b: JUMPDEST
00000b7c: DUP2
00000b7d: ADD
00000b7e: SWAP1
00000b7f: DUP1
00000b80: DUP1
00000b81: CALLDATALOAD
00000b82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b97: AND
00000b98: SWAP1
00000b99: PUSH1 0x20
00000b9b: ADD
00000b9c: SWAP1
00000b9d: SWAP3
00000b9e: SWAP2
00000b9f: SWAP1
00000ba0: POP
00000ba1: POP
00000ba2: POP
00000ba3: PUSH2 0x2c23
00000ba6: JUMP
00000ba7: JUMPDEST
00000ba8: STOP
00000ba9: JUMPDEST
00000baa: CALLVALUE
00000bab: DUP1
00000bac: ISZERO
00000bad: PUSH2 0x0bb5
00000bb0: JUMPI
00000bb1: PUSH1 0x00
00000bb3: DUP1
00000bb4: REVERT
00000bb5: JUMPDEST
00000bb6: POP
00000bb7: PUSH2 0x0be2
00000bba: PUSH1 0x04
00000bbc: DUP1
00000bbd: CALLDATASIZE
00000bbe: SUB
00000bbf: PUSH1 0x20
00000bc1: DUP2
00000bc2: LT
00000bc3: ISZERO
00000bc4: PUSH2 0x0bcc
00000bc7: JUMPI
00000bc8: PUSH1 0x00
00000bca: DUP1
00000bcb: REVERT
00000bcc: JUMPDEST
00000bcd: DUP2
00000bce: ADD
00000bcf: SWAP1
00000bd0: DUP1
00000bd1: DUP1
00000bd2: CALLDATALOAD
00000bd3: SWAP1
00000bd4: PUSH1 0x20
00000bd6: ADD
00000bd7: SWAP1
00000bd8: SWAP3
00000bd9: SWAP2
00000bda: SWAP1
00000bdb: POP
00000bdc: POP
00000bdd: POP
00000bde: PUSH2 0x2ce1
00000be1: JUMP
00000be2: JUMPDEST
00000be3: PUSH1 0x40
00000be5: MLOAD
00000be6: DUP1
00000be7: DUP3
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x20
00000bec: ADD
00000bed: SWAP2
00000bee: POP
00000bef: POP
00000bf0: PUSH1 0x40
00000bf2: MLOAD
00000bf3: DUP1
00000bf4: SWAP2
00000bf5: SUB
00000bf6: SWAP1
00000bf7: RETURN
00000bf8: JUMPDEST
00000bf9: CALLVALUE
00000bfa: DUP1
00000bfb: ISZERO
00000bfc: PUSH2 0x0c04
00000bff: JUMPI
00000c00: PUSH1 0x00
00000c02: DUP1
00000c03: REVERT
00000c04: JUMPDEST
00000c05: POP
00000c06: PUSH2 0x0c0d
00000c09: PUSH2 0x2f0f
00000c0c: JUMP
00000c0d: JUMPDEST
00000c0e: PUSH1 0x40
00000c10: MLOAD
00000c11: DUP1
00000c12: DUP3
00000c13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c28: AND
00000c29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3e: AND
00000c3f: DUP2
00000c40: MSTORE
00000c41: PUSH1 0x20
00000c43: ADD
00000c44: SWAP2
00000c45: POP
00000c46: POP
00000c47: PUSH1 0x40
00000c49: MLOAD
00000c4a: DUP1
00000c4b: SWAP2
00000c4c: SUB
00000c4d: SWAP1
00000c4e: RETURN
00000c4f: JUMPDEST
00000c50: CALLVALUE
00000c51: DUP1
00000c52: ISZERO
00000c53: PUSH2 0x0c5b
00000c56: JUMPI
00000c57: PUSH1 0x00
00000c59: DUP1
00000c5a: REVERT
00000c5b: JUMPDEST
00000c5c: POP
00000c5d: PUSH2 0x0c64
00000c60: PUSH2 0x2f35
00000c63: JUMP
00000c64: JUMPDEST
00000c65: PUSH1 0x40
00000c67: MLOAD
00000c68: DUP1
00000c69: DUP3
00000c6a: DUP2
00000c6b: MSTORE
00000c6c: PUSH1 0x20
00000c6e: ADD
00000c6f: SWAP2
00000c70: POP
00000c71: POP
00000c72: PUSH1 0x40
00000c74: MLOAD
00000c75: DUP1
00000c76: SWAP2
00000c77: SUB
00000c78: SWAP1
00000c79: RETURN
00000c7a: JUMPDEST
00000c7b: CALLVALUE
00000c7c: DUP1
00000c7d: ISZERO
00000c7e: PUSH2 0x0c86
00000c81: JUMPI
00000c82: PUSH1 0x00
00000c84: DUP1
00000c85: REVERT
00000c86: JUMPDEST
00000c87: POP
00000c88: PUSH2 0x0cb3
00000c8b: PUSH1 0x04
00000c8d: DUP1
00000c8e: CALLDATASIZE
00000c8f: SUB
00000c90: PUSH1 0x20
00000c92: DUP2
00000c93: LT
00000c94: ISZERO
00000c95: PUSH2 0x0c9d
00000c98: JUMPI
00000c99: PUSH1 0x00
00000c9b: DUP1
00000c9c: REVERT
00000c9d: JUMPDEST
00000c9e: DUP2
00000c9f: ADD
00000ca0: SWAP1
00000ca1: DUP1
00000ca2: DUP1
00000ca3: CALLDATALOAD
00000ca4: SWAP1
00000ca5: PUSH1 0x20
00000ca7: ADD
00000ca8: SWAP1
00000ca9: SWAP3
00000caa: SWAP2
00000cab: SWAP1
00000cac: POP
00000cad: POP
00000cae: POP
00000caf: PUSH2 0x2f54
00000cb2: JUMP
00000cb3: JUMPDEST
00000cb4: PUSH1 0x40
00000cb6: MLOAD
00000cb7: DUP1
00000cb8: DUP3
00000cb9: DUP2
00000cba: MSTORE
00000cbb: PUSH1 0x20
00000cbd: ADD
00000cbe: SWAP2
00000cbf: POP
00000cc0: POP
00000cc1: PUSH1 0x40
00000cc3: MLOAD
00000cc4: DUP1
00000cc5: SWAP2
00000cc6: SUB
00000cc7: SWAP1
00000cc8: RETURN
00000cc9: JUMPDEST
00000cca: CALLVALUE
00000ccb: DUP1
00000ccc: ISZERO
00000ccd: PUSH2 0x0cd5
00000cd0: JUMPI
00000cd1: PUSH1 0x00
00000cd3: DUP1
00000cd4: REVERT
00000cd5: JUMPDEST
00000cd6: POP
00000cd7: PUSH2 0x0d02
00000cda: PUSH1 0x04
00000cdc: DUP1
00000cdd: CALLDATASIZE
00000cde: SUB
00000cdf: PUSH1 0x20
00000ce1: DUP2
00000ce2: LT
00000ce3: ISZERO
00000ce4: PUSH2 0x0cec
00000ce7: JUMPI
00000ce8: PUSH1 0x00
00000cea: DUP1
00000ceb: REVERT
00000cec: JUMPDEST
00000ced: DUP2
00000cee: ADD
00000cef: SWAP1
00000cf0: DUP1
00000cf1: DUP1
00000cf2: CALLDATALOAD
00000cf3: SWAP1
00000cf4: PUSH1 0x20
00000cf6: ADD
00000cf7: SWAP1
00000cf8: SWAP3
00000cf9: SWAP2
00000cfa: SWAP1
00000cfb: POP
00000cfc: POP
00000cfd: POP
00000cfe: PUSH2 0x2f6c
00000d01: JUMP
00000d02: JUMPDEST
00000d03: STOP
00000d04: JUMPDEST
00000d05: CALLVALUE
00000d06: DUP1
00000d07: ISZERO
00000d08: PUSH2 0x0d10
00000d0b: JUMPI
00000d0c: PUSH1 0x00
00000d0e: DUP1
00000d0f: REVERT
00000d10: JUMPDEST
00000d11: POP
00000d12: PUSH2 0x0dca
00000d15: PUSH1 0x04
00000d17: DUP1
00000d18: CALLDATASIZE
00000d19: SUB
00000d1a: PUSH1 0x20
00000d1c: DUP2
00000d1d: LT
00000d1e: ISZERO
00000d1f: PUSH2 0x0d27
00000d22: JUMPI
00000d23: PUSH1 0x00
00000d25: DUP1
00000d26: REVERT
00000d27: JUMPDEST
00000d28: DUP2
00000d29: ADD
00000d2a: SWAP1
00000d2b: DUP1
00000d2c: DUP1
00000d2d: CALLDATALOAD
00000d2e: SWAP1
00000d2f: PUSH1 0x20
00000d31: ADD
00000d32: SWAP1
00000d33: PUSH5 0x0100000000
00000d39: DUP2
00000d3a: GT
00000d3b: ISZERO
00000d3c: PUSH2 0x0d44
00000d3f: JUMPI
00000d40: PUSH1 0x00
00000d42: DUP1
00000d43: REVERT
00000d44: JUMPDEST
00000d45: DUP3
00000d46: ADD
00000d47: DUP4
00000d48: PUSH1 0x20
00000d4a: DUP3
00000d4b: ADD
00000d4c: GT
00000d4d: ISZERO
00000d4e: PUSH2 0x0d56
00000d51: JUMPI
00000d52: PUSH1 0x00
00000d54: DUP1
00000d55: REVERT
00000d56: JUMPDEST
00000d57: DUP1
00000d58: CALLDATALOAD
00000d59: SWAP1
00000d5a: PUSH1 0x20
00000d5c: ADD
00000d5d: SWAP2
00000d5e: DUP5
00000d5f: PUSH1 0x01
00000d61: DUP4
00000d62: MUL
00000d63: DUP5
00000d64: ADD
00000d65: GT
00000d66: PUSH5 0x0100000000
00000d6c: DUP4
00000d6d: GT
00000d6e: OR
00000d6f: ISZERO
00000d70: PUSH2 0x0d78
00000d73: JUMPI
00000d74: PUSH1 0x00
00000d76: DUP1
00000d77: REVERT
00000d78: JUMPDEST
00000d79: SWAP2
00000d7a: SWAP1
00000d7b: DUP1
00000d7c: DUP1
00000d7d: PUSH1 0x1f
00000d7f: ADD
00000d80: PUSH1 0x20
00000d82: DUP1
00000d83: SWAP2
00000d84: DIV
00000d85: MUL
00000d86: PUSH1 0x20
00000d88: ADD
00000d89: PUSH1 0x40
00000d8b: MLOAD
00000d8c: SWAP1
00000d8d: DUP2
00000d8e: ADD
00000d8f: PUSH1 0x40
00000d91: MSTORE
00000d92: DUP1
00000d93: SWAP4
00000d94: SWAP3
00000d95: SWAP2
00000d96: SWAP1
00000d97: DUP2
00000d98: DUP2
00000d99: MSTORE
00000d9a: PUSH1 0x20
00000d9c: ADD
00000d9d: DUP4
00000d9e: DUP4
00000d9f: DUP1
00000da0: DUP3
00000da1: DUP5
00000da2: CALLDATACOPY
00000da3: PUSH1 0x00
00000da5: DUP2
00000da6: DUP5
00000da7: ADD
00000da8: MSTORE
00000da9: PUSH1 0x1f
00000dab: NOT
00000dac: PUSH1 0x1f
00000dae: DUP3
00000daf: ADD
00000db0: AND
00000db1: SWAP1
00000db2: POP
00000db3: DUP1
00000db4: DUP4
00000db5: ADD
00000db6: SWAP3
00000db7: POP
00000db8: POP
00000db9: POP
00000dba: POP
00000dbb: POP
00000dbc: POP
00000dbd: POP
00000dbe: SWAP2
00000dbf: SWAP3
00000dc0: SWAP2
00000dc1: SWAP3
00000dc2: SWAP1
00000dc3: POP
00000dc4: POP
00000dc5: POP
00000dc6: PUSH2 0x3076
00000dc9: JUMP
00000dca: JUMPDEST
00000dcb: PUSH1 0x40
00000dcd: MLOAD
00000dce: DUP1
00000dcf: DUP3
00000dd0: ISZERO
00000dd1: ISZERO
00000dd2: ISZERO
00000dd3: ISZERO
00000dd4: DUP2
00000dd5: MSTORE
00000dd6: PUSH1 0x20
00000dd8: ADD
00000dd9: SWAP2
00000dda: POP
00000ddb: POP
00000ddc: PUSH1 0x40
00000dde: MLOAD
00000ddf: DUP1
00000de0: SWAP2
00000de1: SUB
00000de2: SWAP1
00000de3: RETURN
00000de4: JUMPDEST
00000de5: CALLVALUE
00000de6: DUP1
00000de7: ISZERO
00000de8: PUSH2 0x0df0
00000deb: JUMPI
00000dec: PUSH1 0x00
00000dee: DUP1
00000def: REVERT
00000df0: JUMPDEST
00000df1: POP
00000df2: PUSH2 0x0e33
00000df5: PUSH1 0x04
00000df7: DUP1
00000df8: CALLDATASIZE
00000df9: SUB
00000dfa: PUSH1 0x20
00000dfc: DUP2
00000dfd: LT
00000dfe: ISZERO
00000dff: PUSH2 0x0e07
00000e02: JUMPI
00000e03: PUSH1 0x00
00000e05: DUP1
00000e06: REVERT
00000e07: JUMPDEST
00000e08: DUP2
00000e09: ADD
00000e0a: SWAP1
00000e0b: DUP1
00000e0c: DUP1
00000e0d: CALLDATALOAD
00000e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e23: AND
00000e24: SWAP1
00000e25: PUSH1 0x20
00000e27: ADD
00000e28: SWAP1
00000e29: SWAP3
00000e2a: SWAP2
00000e2b: SWAP1
00000e2c: POP
00000e2d: POP
00000e2e: POP
00000e2f: PUSH2 0x351d
00000e32: JUMP
00000e33: JUMPDEST
00000e34: STOP
00000e35: JUMPDEST
00000e36: PUSH1 0x19
00000e38: PUSH1 0x20
00000e3a: MSTORE
00000e3b: DUP1
00000e3c: PUSH1 0x00
00000e3e: MSTORE
00000e3f: PUSH1 0x40
00000e41: PUSH1 0x00
00000e43: KECCAK256
00000e44: PUSH1 0x00
00000e46: SWAP2
00000e47: POP
00000e48: SWAP1
00000e49: POP
00000e4a: DUP1
00000e4b: SLOAD
00000e4c: PUSH1 0x01
00000e4e: DUP2
00000e4f: PUSH1 0x01
00000e51: AND
00000e52: ISZERO
00000e53: PUSH2 0x0100
00000e56: MUL
00000e57: SUB
00000e58: AND
00000e59: PUSH1 0x02
00000e5b: SWAP1
00000e5c: DIV
00000e5d: DUP1
00000e5e: PUSH1 0x1f
00000e60: ADD
00000e61: PUSH1 0x20
00000e63: DUP1
00000e64: SWAP2
00000e65: DIV
00000e66: MUL
00000e67: PUSH1 0x20
00000e69: ADD
00000e6a: PUSH1 0x40
00000e6c: MLOAD
00000e6d: SWAP1
00000e6e: DUP2
00000e6f: ADD
00000e70: PUSH1 0x40
00000e72: MSTORE
00000e73: DUP1
00000e74: SWAP3
00000e75: SWAP2
00000e76: SWAP1
00000e77: DUP2
00000e78: DUP2
00000e79: MSTORE
00000e7a: PUSH1 0x20
00000e7c: ADD
00000e7d: DUP3
00000e7e: DUP1
00000e7f: SLOAD
00000e80: PUSH1 0x01
00000e82: DUP2
00000e83: PUSH1 0x01
00000e85: AND
00000e86: ISZERO
00000e87: PUSH2 0x0100
00000e8a: MUL
00000e8b: SUB
00000e8c: AND
00000e8d: PUSH1 0x02
00000e8f: SWAP1
00000e90: DIV
00000e91: DUP1
00000e92: ISZERO
00000e93: PUSH2 0x0edd
00000e96: JUMPI
00000e97: DUP1
00000e98: PUSH1 0x1f
00000e9a: LT
00000e9b: PUSH2 0x0eb2
00000e9e: JUMPI
00000e9f: PUSH2 0x0100
00000ea2: DUP1
00000ea3: DUP4
00000ea4: SLOAD
00000ea5: DIV
00000ea6: MUL
00000ea7: DUP4
00000ea8: MSTORE
00000ea9: SWAP2
00000eaa: PUSH1 0x20
00000eac: ADD
00000ead: SWAP2
00000eae: PUSH2 0x0edd
00000eb1: JUMP
00000eb2: JUMPDEST
00000eb3: DUP3
00000eb4: ADD
00000eb5: SWAP2
00000eb6: SWAP1
00000eb7: PUSH1 0x00
00000eb9: MSTORE
00000eba: PUSH1 0x20
00000ebc: PUSH1 0x00
00000ebe: KECCAK256
00000ebf: SWAP1
00000ec0: JUMPDEST
00000ec1: DUP2
00000ec2: SLOAD
00000ec3: DUP2
00000ec4: MSTORE
00000ec5: SWAP1
00000ec6: PUSH1 0x01
00000ec8: ADD
00000ec9: SWAP1
00000eca: PUSH1 0x20
00000ecc: ADD
00000ecd: DUP1
00000ece: DUP4
00000ecf: GT
00000ed0: PUSH2 0x0ec0
00000ed3: JUMPI
00000ed4: DUP3
00000ed5: SWAP1
00000ed6: SUB
00000ed7: PUSH1 0x1f
00000ed9: AND
00000eda: DUP3
00000edb: ADD
00000edc: SWAP2
00000edd: JUMPDEST
00000ede: POP
00000edf: POP
00000ee0: POP
00000ee1: POP
00000ee2: POP
00000ee3: DUP2
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: PUSH1 0x00
00000ee8: PUSH2 0x0eef
00000eeb: PUSH2 0x2b93
00000eee: JUMP
00000eef: JUMPDEST
00000ef0: PUSH2 0x0f61
00000ef3: JUMPI
00000ef4: PUSH1 0x40
00000ef6: MLOAD
00000ef7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f18: DUP2
00000f19: MSTORE
00000f1a: PUSH1 0x04
00000f1c: ADD
00000f1d: DUP1
00000f1e: DUP1
00000f1f: PUSH1 0x20
00000f21: ADD
00000f22: DUP3
00000f23: DUP2
00000f24: SUB
00000f25: DUP3
00000f26: MSTORE
00000f27: PUSH1 0x20
00000f29: DUP2
00000f2a: MSTORE
00000f2b: PUSH1 0x20
00000f2d: ADD
00000f2e: DUP1
00000f2f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000f50: DUP2
00000f51: MSTORE
00000f52: POP
00000f53: PUSH1 0x20
00000f55: ADD
00000f56: SWAP2
00000f57: POP
00000f58: POP
00000f59: PUSH1 0x40
00000f5b: MLOAD
00000f5c: DUP1
00000f5d: SWAP2
00000f5e: SUB
00000f5f: SWAP1
00000f60: REVERT
00000f61: JUMPDEST
00000f62: PUSH2 0x0f69
00000f65: PUSH2 0x2b69
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7f: AND
00000f80: DUP4
00000f81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f96: AND
00000f97: EQ
00000f98: ISZERO
00000f99: PUSH2 0x0fed
00000f9c: JUMPI
00000f9d: PUSH1 0x40
00000f9f: MLOAD
00000fa0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fc1: DUP2
00000fc2: MSTORE
00000fc3: PUSH1 0x04
00000fc5: ADD
00000fc6: DUP1
00000fc7: DUP1
00000fc8: PUSH1 0x20
00000fca: ADD
00000fcb: DUP3
00000fcc: DUP2
00000fcd: SUB
00000fce: DUP3
00000fcf: MSTORE
00000fd0: PUSH1 0x24
00000fd2: DUP2
00000fd3: MSTORE
00000fd4: PUSH1 0x20
00000fd6: ADD
00000fd7: DUP1
00000fd8: PUSH2 0x3da2
00000fdb: PUSH1 0x24
00000fdd: SWAP2
00000fde: CODECOPY
00000fdf: PUSH1 0x40
00000fe1: ADD
00000fe2: SWAP2
00000fe3: POP
00000fe4: POP
00000fe5: PUSH1 0x40
00000fe7: MLOAD
00000fe8: DUP1
00000fe9: SWAP2
00000fea: SUB
00000feb: SWAP1
00000fec: REVERT
00000fed: JUMPDEST
00000fee: DUP3
00000fef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001004: AND
00001005: PUSH1 0x17
00001007: DUP4
00001008: PUSH1 0x40
0000100a: MLOAD
0000100b: DUP1
0000100c: DUP3
0000100d: DUP1
0000100e: MLOAD
0000100f: SWAP1
00001010: PUSH1 0x20
00001012: ADD
00001013: SWAP1
00001014: DUP1
00001015: DUP4
00001016: DUP4
00001017: JUMPDEST
00001018: PUSH1 0x20
0000101a: DUP4
0000101b: LT
0000101c: PUSH2 0x103a
0000101f: JUMPI
00001020: DUP1
00001021: MLOAD
00001022: DUP3
00001023: MSTORE
00001024: PUSH1 0x20
00001026: DUP3
00001027: ADD
00001028: SWAP2
00001029: POP
0000102a: PUSH1 0x20
0000102c: DUP2
0000102d: ADD
0000102e: SWAP1
0000102f: POP
00001030: PUSH1 0x20
00001032: DUP4
00001033: SUB
00001034: SWAP3
00001035: POP
00001036: PUSH2 0x1017
00001039: JUMP
0000103a: JUMPDEST
0000103b: PUSH1 0x01
0000103d: DUP4
0000103e: PUSH1 0x20
00001040: SUB
00001041: PUSH2 0x0100
00001044: EXP
00001045: SUB
00001046: DUP1
00001047: NOT
00001048: DUP3
00001049: MLOAD
0000104a: AND
0000104b: DUP2
0000104c: DUP5
0000104d: MLOAD
0000104e: AND
0000104f: DUP1
00001050: DUP3
00001051: OR
00001052: DUP6
00001053: MSTORE
00001054: POP
00001055: POP
00001056: POP
00001057: POP
00001058: POP
00001059: POP
0000105a: SWAP1
0000105b: POP
0000105c: ADD
0000105d: SWAP2
0000105e: POP
0000105f: POP
00001060: SWAP1
00001061: DUP2
00001062: MSTORE
00001063: PUSH1 0x20
00001065: ADD
00001066: PUSH1 0x40
00001068: MLOAD
00001069: DUP1
0000106a: SWAP2
0000106b: SUB
0000106c: SWAP1
0000106d: KECCAK256
0000106e: PUSH1 0x00
00001070: SWAP1
00001071: SLOAD
00001072: SWAP1
00001073: PUSH2 0x0100
00001076: EXP
00001077: SWAP1
00001078: DIV
00001079: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108e: AND
0000108f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a4: AND
000010a5: EQ
000010a6: PUSH2 0x1117
000010a9: JUMPI
000010aa: PUSH1 0x40
000010ac: MLOAD
000010ad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010ce: DUP2
000010cf: MSTORE
000010d0: PUSH1 0x04
000010d2: ADD
000010d3: DUP1
000010d4: DUP1
000010d5: PUSH1 0x20
000010d7: ADD
000010d8: DUP3
000010d9: DUP2
000010da: SUB
000010db: DUP3
000010dc: MSTORE
000010dd: PUSH1 0x18
000010df: DUP2
000010e0: MSTORE
000010e1: PUSH1 0x20
000010e3: ADD
000010e4: DUP1
000010e5: PUSH32 0x74686973206c696e6b20646f6573206e6f74206d617463680000000000000000
00001106: DUP2
00001107: MSTORE
00001108: POP
00001109: PUSH1 0x20
0000110b: ADD
0000110c: SWAP2
0000110d: POP
0000110e: POP
0000110f: PUSH1 0x40
00001111: MLOAD
00001112: DUP1
00001113: SWAP2
00001114: SUB
00001115: SWAP1
00001116: REVERT
00001117: JUMPDEST
00001118: PUSH1 0x01
0000111a: ISZERO
0000111b: ISZERO
0000111c: PUSH1 0x18
0000111e: PUSH1 0x00
00001120: DUP6
00001121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001136: AND
00001137: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000114c: AND
0000114d: DUP2
0000114e: MSTORE
0000114f: PUSH1 0x20
00001151: ADD
00001152: SWAP1
00001153: DUP2
00001154: MSTORE
00001155: PUSH1 0x20
00001157: ADD
00001158: PUSH1 0x00
0000115a: KECCAK256
0000115b: PUSH1 0x00
0000115d: SWAP1
0000115e: SLOAD
0000115f: SWAP1
00001160: PUSH2 0x0100
00001163: EXP
00001164: SWAP1
00001165: DIV
00001166: PUSH1 0xff
00001168: AND
00001169: ISZERO
0000116a: ISZERO
0000116b: EQ
0000116c: PUSH2 0x11dd
0000116f: JUMPI
00001170: PUSH1 0x40
00001172: MLOAD
00001173: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001194: DUP2
00001195: MSTORE
00001196: PUSH1 0x04
00001198: ADD
00001199: DUP1
0000119a: DUP1
0000119b: PUSH1 0x20
0000119d: ADD
0000119e: DUP3
0000119f: DUP2
000011a0: SUB
000011a1: DUP3
000011a2: MSTORE
000011a3: PUSH1 0x1a
000011a5: DUP2
000011a6: MSTORE
000011a7: PUSH1 0x20
000011a9: ADD
000011aa: DUP1
000011ab: PUSH32 0x74686579206e657665722061737369676e65642061206c696e6b000000000000
000011cc: DUP2
000011cd: MSTORE
000011ce: POP
000011cf: PUSH1 0x20
000011d1: ADD
000011d2: SWAP2
000011d3: POP
000011d4: POP
000011d5: PUSH1 0x40
000011d7: MLOAD
000011d8: DUP1
000011d9: SWAP2
000011da: SUB
000011db: SWAP1
000011dc: REVERT
000011dd: JUMPDEST
000011de: PUSH1 0x00
000011e0: PUSH1 0x18
000011e2: PUSH1 0x00
000011e4: DUP6
000011e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fa: AND
000011fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001210: AND
00001211: DUP2
00001212: MSTORE
00001213: PUSH1 0x20
00001215: ADD
00001216: SWAP1
00001217: DUP2
00001218: MSTORE
00001219: PUSH1 0x20
0000121b: ADD
0000121c: PUSH1 0x00
0000121e: KECCAK256
0000121f: PUSH1 0x00
00001221: PUSH2 0x0100
00001224: EXP
00001225: DUP2
00001226: SLOAD
00001227: DUP2
00001228: PUSH1 0xff
0000122a: MUL
0000122b: NOT
0000122c: AND
0000122d: SWAP1
0000122e: DUP4
0000122f: ISZERO
00001230: ISZERO
00001231: MUL
00001232: OR
00001233: SWAP1
00001234: SSTORE
00001235: POP
00001236: PUSH1 0x17
00001238: DUP3
00001239: PUSH1 0x40
0000123b: MLOAD
0000123c: DUP1
0000123d: DUP3
0000123e: DUP1
0000123f: MLOAD
00001240: SWAP1
00001241: PUSH1 0x20
00001243: ADD
00001244: SWAP1
00001245: DUP1
00001246: DUP4
00001247: DUP4
00001248: JUMPDEST
00001249: PUSH1 0x20
0000124b: DUP4
0000124c: LT
0000124d: PUSH2 0x126b
00001250: JUMPI
00001251: DUP1
00001252: MLOAD
00001253: DUP3
00001254: MSTORE
00001255: PUSH1 0x20
00001257: DUP3
00001258: ADD
00001259: SWAP2
0000125a: POP
0000125b: PUSH1 0x20
0000125d: DUP2
0000125e: ADD
0000125f: SWAP1
00001260: POP
00001261: PUSH1 0x20
00001263: DUP4
00001264: SUB
00001265: SWAP3
00001266: POP
00001267: PUSH2 0x1248
0000126a: JUMP
0000126b: JUMPDEST
0000126c: PUSH1 0x01
0000126e: DUP4
0000126f: PUSH1 0x20
00001271: SUB
00001272: PUSH2 0x0100
00001275: EXP
00001276: SUB
00001277: DUP1
00001278: NOT
00001279: DUP3
0000127a: MLOAD
0000127b: AND
0000127c: DUP2
0000127d: DUP5
0000127e: MLOAD
0000127f: AND
00001280: DUP1
00001281: DUP3
00001282: OR
00001283: DUP6
00001284: MSTORE
00001285: POP
00001286: POP
00001287: POP
00001288: POP
00001289: POP
0000128a: POP
0000128b: SWAP1
0000128c: POP
0000128d: ADD
0000128e: SWAP2
0000128f: POP
00001290: POP
00001291: SWAP1
00001292: DUP2
00001293: MSTORE
00001294: PUSH1 0x20
00001296: ADD
00001297: PUSH1 0x40
00001299: MLOAD
0000129a: DUP1
0000129b: SWAP2
0000129c: SUB
0000129d: SWAP1
0000129e: KECCAK256
0000129f: PUSH1 0x00
000012a1: PUSH2 0x0100
000012a4: EXP
000012a5: DUP2
000012a6: SLOAD
000012a7: SWAP1
000012a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012bd: MUL
000012be: NOT
000012bf: AND
000012c0: SWAP1
000012c1: SSTORE
000012c2: PUSH1 0x19
000012c4: PUSH1 0x00
000012c6: CALLER
000012c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012dc: AND
000012dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f2: AND
000012f3: DUP2
000012f4: MSTORE
000012f5: PUSH1 0x20
000012f7: ADD
000012f8: SWAP1
000012f9: DUP2
000012fa: MSTORE
000012fb: PUSH1 0x20
000012fd: ADD
000012fe: PUSH1 0x00
00001300: KECCAK256
00001301: PUSH1 0x00
00001303: PUSH2 0x130c
00001306: SWAP2
00001307: SWAP1
00001308: PUSH2 0x3c39
0000130b: JUMP
0000130c: JUMPDEST
0000130d: PUSH31 0xc1f0597e2bac0be32789f0dbac538ac36aa7887c11c60e7fa834e4acddb153
0000132d: CALLER
0000132e: DUP4
0000132f: PUSH1 0x40
00001331: MLOAD
00001332: DUP1
00001333: DUP4
00001334: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001349: AND
0000134a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000135f: AND
00001360: DUP2
00001361: MSTORE
00001362: PUSH1 0x20
00001364: ADD
00001365: DUP1
00001366: PUSH1 0x20
00001368: ADD
00001369: DUP3
0000136a: DUP2
0000136b: SUB
0000136c: DUP3
0000136d: MSTORE
0000136e: DUP4
0000136f: DUP2
00001370: DUP2
00001371: MLOAD
00001372: DUP2
00001373: MSTORE
00001374: PUSH1 0x20
00001376: ADD
00001377: SWAP2
00001378: POP
00001379: DUP1
0000137a: MLOAD
0000137b: SWAP1
0000137c: PUSH1 0x20
0000137e: ADD
0000137f: SWAP1
00001380: DUP1
00001381: DUP4
00001382: DUP4
00001383: PUSH1 0x00
00001385: JUMPDEST
00001386: DUP4
00001387: DUP2
00001388: LT
00001389: ISZERO
0000138a: PUSH2 0x13a0
0000138d: JUMPI
0000138e: DUP1
0000138f: DUP3
00001390: ADD
00001391: MLOAD
00001392: DUP2
00001393: DUP5
00001394: ADD
00001395: MSTORE
00001396: PUSH1 0x20
00001398: DUP2
00001399: ADD
0000139a: SWAP1
0000139b: POP
0000139c: PUSH2 0x1385
0000139f: JUMP
000013a0: JUMPDEST
000013a1: POP
000013a2: POP
000013a3: POP
000013a4: POP
000013a5: SWAP1
000013a6: POP
000013a7: SWAP1
000013a8: DUP2
000013a9: ADD
000013aa: SWAP1
000013ab: PUSH1 0x1f
000013ad: AND
000013ae: DUP1
000013af: ISZERO
000013b0: PUSH2 0x13cd
000013b3: JUMPI
000013b4: DUP1
000013b5: DUP3
000013b6: SUB
000013b7: DUP1
000013b8: MLOAD
000013b9: PUSH1 0x01
000013bb: DUP4
000013bc: PUSH1 0x20
000013be: SUB
000013bf: PUSH2 0x0100
000013c2: EXP
000013c3: SUB
000013c4: NOT
000013c5: AND
000013c6: DUP2
000013c7: MSTORE
000013c8: PUSH1 0x20
000013ca: ADD
000013cb: SWAP2
000013cc: POP
000013cd: JUMPDEST
000013ce: POP
000013cf: SWAP4
000013d0: POP
000013d1: POP
000013d2: POP
000013d3: POP
000013d4: PUSH1 0x40
000013d6: MLOAD
000013d7: DUP1
000013d8: SWAP2
000013d9: SUB
000013da: SWAP1
000013db: LOG1
000013dc: PUSH1 0x01
000013de: SWAP1
000013df: POP
000013e0: SWAP3
000013e1: SWAP2
000013e2: POP
000013e3: POP
000013e4: JUMP
000013e5: JUMPDEST
000013e6: PUSH1 0x00
000013e8: PUSH1 0x17
000013ea: DUP3
000013eb: PUSH1 0x40
000013ed: MLOAD
000013ee: DUP1
000013ef: DUP3
000013f0: DUP1
000013f1: MLOAD
000013f2: SWAP1
000013f3: PUSH1 0x20
000013f5: ADD
000013f6: SWAP1
000013f7: DUP1
000013f8: DUP4
000013f9: DUP4
000013fa: JUMPDEST
000013fb: PUSH1 0x20
000013fd: DUP4
000013fe: LT
000013ff: PUSH2 0x141d
00001402: JUMPI
00001403: DUP1
00001404: MLOAD
00001405: DUP3
00001406: MSTORE
00001407: PUSH1 0x20
00001409: DUP3
0000140a: ADD
0000140b: SWAP2
0000140c: POP
0000140d: PUSH1 0x20
0000140f: DUP2
00001410: ADD
00001411: SWAP1
00001412: POP
00001413: PUSH1 0x20
00001415: DUP4
00001416: SUB
00001417: SWAP3
00001418: POP
00001419: PUSH2 0x13fa
0000141c: JUMP
0000141d: JUMPDEST
0000141e: PUSH1 0x01
00001420: DUP4
00001421: PUSH1 0x20
00001423: SUB
00001424: PUSH2 0x0100
00001427: EXP
00001428: SUB
00001429: DUP1
0000142a: NOT
0000142b: DUP3
0000142c: MLOAD
0000142d: AND
0000142e: DUP2
0000142f: DUP5
00001430: MLOAD
00001431: AND
00001432: DUP1
00001433: DUP3
00001434: OR
00001435: DUP6
00001436: MSTORE
00001437: POP
00001438: POP
00001439: POP
0000143a: POP
0000143b: POP
0000143c: POP
0000143d: SWAP1
0000143e: POP
0000143f: ADD
00001440: SWAP2
00001441: POP
00001442: POP
00001443: SWAP1
00001444: DUP2
00001445: MSTORE
00001446: PUSH1 0x20
00001448: ADD
00001449: PUSH1 0x40
0000144b: MLOAD
0000144c: DUP1
0000144d: SWAP2
0000144e: SUB
0000144f: SWAP1
00001450: KECCAK256
00001451: PUSH1 0x00
00001453: SWAP1
00001454: SLOAD
00001455: SWAP1
00001456: PUSH2 0x0100
00001459: EXP
0000145a: SWAP1
0000145b: DIV
0000145c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001471: AND
00001472: SWAP1
00001473: POP
00001474: SWAP2
00001475: SWAP1
00001476: POP
00001477: JUMP
00001478: JUMPDEST
00001479: PUSH1 0x17
0000147b: DUP2
0000147c: DUP1
0000147d: MLOAD
0000147e: PUSH1 0x20
00001480: DUP2
00001481: ADD
00001482: DUP3
00001483: ADD
00001484: DUP1
00001485: MLOAD
00001486: DUP5
00001487: DUP3
00001488: MSTORE
00001489: PUSH1 0x20
0000148b: DUP4
0000148c: ADD
0000148d: PUSH1 0x20
0000148f: DUP6
00001490: ADD
00001491: KECCAK256
00001492: DUP2
00001493: DUP4
00001494: MSTORE
00001495: DUP1
00001496: SWAP6
00001497: POP
00001498: POP
00001499: POP
0000149a: POP
0000149b: POP
0000149c: POP
0000149d: PUSH1 0x00
0000149f: SWAP2
000014a0: POP
000014a1: SLOAD
000014a2: SWAP1
000014a3: PUSH2 0x0100
000014a6: EXP
000014a7: SWAP1
000014a8: DIV
000014a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014be: AND
000014bf: DUP2
000014c0: JUMP
000014c1: JUMPDEST
000014c2: PUSH1 0x16
000014c4: PUSH1 0x00
000014c6: SWAP1
000014c7: SLOAD
000014c8: SWAP1
000014c9: PUSH2 0x0100
000014cc: EXP
000014cd: SWAP1
000014ce: DIV
000014cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e4: AND
000014e5: DUP2
000014e6: JUMP
000014e7: JUMPDEST
000014e8: PUSH1 0x05
000014ea: DUP2
000014eb: PUSH1 0x0b
000014ed: DUP2
000014ee: LT
000014ef: PUSH2 0x14f4
000014f2: JUMPI
000014f3: INVALID
000014f4: JUMPDEST
000014f5: ADD
000014f6: PUSH1 0x00
000014f8: SWAP2
000014f9: POP
000014fa: SWAP1
000014fb: POP
000014fc: SLOAD
000014fd: DUP2
000014fe: JUMP
000014ff: JUMPDEST
00001500: PUSH2 0x1507
00001503: PUSH2 0x2b93
00001506: JUMP
00001507: JUMPDEST
00001508: PUSH2 0x1579
0000150b: JUMPI
0000150c: PUSH1 0x40
0000150e: MLOAD
0000150f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001530: DUP2
00001531: MSTORE
00001532: PUSH1 0x04
00001534: ADD
00001535: DUP1
00001536: DUP1
00001537: PUSH1 0x20
00001539: ADD
0000153a: DUP3
0000153b: DUP2
0000153c: SUB
0000153d: DUP3
0000153e: MSTORE
0000153f: PUSH1 0x20
00001541: DUP2
00001542: MSTORE
00001543: PUSH1 0x20
00001545: ADD
00001546: DUP1
00001547: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001568: DUP2
00001569: MSTORE
0000156a: POP
0000156b: PUSH1 0x20
0000156d: ADD
0000156e: SWAP2
0000156f: POP
00001570: POP
00001571: PUSH1 0x40
00001573: MLOAD
00001574: DUP1
00001575: SWAP2
00001576: SUB
00001577: SWAP1
00001578: REVERT
00001579: JUMPDEST
0000157a: DUP1
0000157b: ISZERO
0000157c: PUSH2 0x15c5
0000157f: JUMPI
00001580: DUP2
00001581: PUSH1 0x15
00001583: PUSH1 0x00
00001585: PUSH2 0x0100
00001588: EXP
00001589: DUP2
0000158a: SLOAD
0000158b: DUP2
0000158c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a1: MUL
000015a2: NOT
000015a3: AND
000015a4: SWAP1
000015a5: DUP4
000015a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015bb: AND
000015bc: MUL
000015bd: OR
000015be: SWAP1
000015bf: SSTORE
000015c0: POP
000015c1: PUSH2 0x1607
000015c4: JUMP
000015c5: JUMPDEST
000015c6: DUP2
000015c7: PUSH1 0x16
000015c9: PUSH1 0x00
000015cb: PUSH2 0x0100
000015ce: EXP
000015cf: DUP2
000015d0: SLOAD
000015d1: DUP2
000015d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e7: MUL
000015e8: NOT
000015e9: AND
000015ea: SWAP1
000015eb: DUP4
000015ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001601: AND
00001602: MUL
00001603: OR
00001604: SWAP1
00001605: SSTORE
00001606: POP
00001607: JUMPDEST
00001608: POP
00001609: POP
0000160a: JUMP
0000160b: JUMPDEST
0000160c: PUSH2 0x1613
0000160f: PUSH2 0x2b93
00001612: JUMP
00001613: JUMPDEST
00001614: PUSH2 0x1685
00001617: JUMPI
00001618: PUSH1 0x40
0000161a: MLOAD
0000161b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000163c: DUP2
0000163d: MSTORE
0000163e: PUSH1 0x04
00001640: ADD
00001641: DUP1
00001642: DUP1
00001643: PUSH1 0x20
00001645: ADD
00001646: DUP3
00001647: DUP2
00001648: SUB
00001649: DUP3
0000164a: MSTORE
0000164b: PUSH1 0x20
0000164d: DUP2
0000164e: MSTORE
0000164f: PUSH1 0x20
00001651: ADD
00001652: DUP1
00001653: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001674: DUP2
00001675: MSTORE
00001676: POP
00001677: PUSH1 0x20
00001679: ADD
0000167a: SWAP2
0000167b: POP
0000167c: POP
0000167d: PUSH1 0x40
0000167f: MLOAD
00001680: DUP1
00001681: SWAP2
00001682: SUB
00001683: SWAP1
00001684: REVERT
00001685: JUMPDEST
00001686: CALLER
00001687: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169c: AND
0000169d: PUSH2 0x08fc
000016a0: ADDRESS
000016a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b6: AND
000016b7: BALANCE
000016b8: SWAP1
000016b9: DUP2
000016ba: ISZERO
000016bb: MUL
000016bc: SWAP1
000016bd: PUSH1 0x40
000016bf: MLOAD
000016c0: PUSH1 0x00
000016c2: PUSH1 0x40
000016c4: MLOAD
000016c5: DUP1
000016c6: DUP4
000016c7: SUB
000016c8: DUP2
000016c9: DUP6
000016ca: DUP9
000016cb: DUP9
000016cc: CALL
000016cd: SWAP4
000016ce: POP
000016cf: POP
000016d0: POP
000016d1: POP
000016d2: ISZERO
000016d3: DUP1
000016d4: ISZERO
000016d5: PUSH2 0x16e2
000016d8: JUMPI
000016d9: RETURNDATASIZE
000016da: PUSH1 0x00
000016dc: DUP1
000016dd: RETURNDATACOPY
000016de: RETURNDATASIZE
000016df: PUSH1 0x00
000016e1: REVERT
000016e2: JUMPDEST
000016e3: POP
000016e4: JUMP
000016e5: JUMPDEST
000016e6: PUSH2 0x16ee
000016e9: CALLER
000016ea: PUSH2 0x186b
000016ed: JUMP
000016ee: JUMPDEST
000016ef: PUSH2 0x1743
000016f2: JUMPI
000016f3: PUSH1 0x40
000016f5: MLOAD
000016f6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001717: DUP2
00001718: MSTORE
00001719: PUSH1 0x04
0000171b: ADD
0000171c: DUP1
0000171d: DUP1
0000171e: PUSH1 0x20
00001720: ADD
00001721: DUP3
00001722: DUP2
00001723: SUB
00001724: DUP3
00001725: MSTORE
00001726: PUSH1 0x30
00001728: DUP2
00001729: MSTORE
0000172a: PUSH1 0x20
0000172c: ADD
0000172d: DUP1
0000172e: PUSH2 0x3d27
00001731: PUSH1 0x30
00001733: SWAP2
00001734: CODECOPY
00001735: PUSH1 0x40
00001737: ADD
00001738: SWAP2
00001739: POP
0000173a: POP
0000173b: PUSH1 0x40
0000173d: MLOAD
0000173e: DUP1
0000173f: SWAP2
00001740: SUB
00001741: SWAP1
00001742: REVERT
00001743: JUMPDEST
00001744: PUSH1 0x01
00001746: PUSH1 0x00
00001748: SWAP1
00001749: SLOAD
0000174a: SWAP1
0000174b: PUSH2 0x0100
0000174e: EXP
0000174f: SWAP1
00001750: DIV
00001751: PUSH1 0xff
00001753: AND
00001754: PUSH2 0x17c5
00001757: JUMPI
00001758: PUSH1 0x40
0000175a: MLOAD
0000175b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000177c: DUP2
0000177d: MSTORE
0000177e: PUSH1 0x04
00001780: ADD
00001781: DUP1
00001782: DUP1
00001783: PUSH1 0x20
00001785: ADD
00001786: DUP3
00001787: DUP2
00001788: SUB
00001789: DUP3
0000178a: MSTORE
0000178b: PUSH1 0x14
0000178d: DUP2
0000178e: MSTORE
0000178f: PUSH1 0x20
00001791: ADD
00001792: DUP1
00001793: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
000017b4: DUP2
000017b5: MSTORE
000017b6: POP
000017b7: PUSH1 0x20
000017b9: ADD
000017ba: SWAP2
000017bb: POP
000017bc: POP
000017bd: PUSH1 0x40
000017bf: MLOAD
000017c0: DUP1
000017c1: SWAP2
000017c2: SUB
000017c3: SWAP1
000017c4: REVERT
000017c5: JUMPDEST
000017c6: PUSH1 0x00
000017c8: PUSH1 0x01
000017ca: PUSH1 0x00
000017cc: PUSH2 0x0100
000017cf: EXP
000017d0: DUP2
000017d1: SLOAD
000017d2: DUP2
000017d3: PUSH1 0xff
000017d5: MUL
000017d6: NOT
000017d7: AND
000017d8: SWAP1
000017d9: DUP4
000017da: ISZERO
000017db: ISZERO
000017dc: MUL
000017dd: OR
000017de: SWAP1
000017df: SSTORE
000017e0: POP
000017e1: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001802: CALLER
00001803: PUSH1 0x40
00001805: MLOAD
00001806: DUP1
00001807: DUP3
00001808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181d: AND
0000181e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001833: AND
00001834: DUP2
00001835: MSTORE
00001836: PUSH1 0x20
00001838: ADD
00001839: SWAP2
0000183a: POP
0000183b: POP
0000183c: PUSH1 0x40
0000183e: MLOAD
0000183f: DUP1
00001840: SWAP2
00001841: SUB
00001842: SWAP1
00001843: LOG1
00001844: JUMP
00001845: JUMPDEST
00001846: PUSH1 0x15
00001848: PUSH1 0x00
0000184a: SWAP1
0000184b: SLOAD
0000184c: SWAP1
0000184d: PUSH2 0x0100
00001850: EXP
00001851: SWAP1
00001852: DIV
00001853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001868: AND
00001869: DUP2
0000186a: JUMP
0000186b: JUMPDEST
0000186c: PUSH1 0x00
0000186e: PUSH2 0x1881
00001871: DUP3
00001872: PUSH1 0x00
00001874: PUSH2 0x35a3
00001877: SWAP1
00001878: SWAP2
00001879: SWAP1
0000187a: PUSH4 0xffffffff
0000187f: AND
00001880: JUMP
00001881: JUMPDEST
00001882: SWAP1
00001883: POP
00001884: SWAP2
00001885: SWAP1
00001886: POP
00001887: JUMP
00001888: JUMPDEST
00001889: PUSH1 0x00
0000188b: PUSH1 0x01
0000188d: PUSH1 0x00
0000188f: SWAP1
00001890: SLOAD
00001891: SWAP1
00001892: PUSH2 0x0100
00001895: EXP
00001896: SWAP1
00001897: DIV
00001898: PUSH1 0xff
0000189a: AND
0000189b: SWAP1
0000189c: POP
0000189d: SWAP1
0000189e: JUMP
0000189f: JUMPDEST
000018a0: PUSH1 0x01
000018a2: PUSH1 0x02
000018a4: PUSH1 0x00
000018a6: DUP3
000018a7: DUP3
000018a8: SLOAD
000018a9: ADD
000018aa: SWAP3
000018ab: POP
000018ac: POP
000018ad: DUP2
000018ae: SWAP1
000018af: SSTORE
000018b0: POP
000018b1: PUSH1 0x00
000018b3: PUSH1 0x02
000018b5: SLOAD
000018b6: SWAP1
000018b7: POP
000018b8: PUSH1 0x01
000018ba: PUSH1 0x00
000018bc: SWAP1
000018bd: SLOAD
000018be: SWAP1
000018bf: PUSH2 0x0100
000018c2: EXP
000018c3: SWAP1
000018c4: DIV
000018c5: PUSH1 0xff
000018c7: AND
000018c8: ISZERO
000018c9: PUSH2 0x193a
000018cc: JUMPI
000018cd: PUSH1 0x40
000018cf: MLOAD
000018d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018f1: DUP2
000018f2: MSTORE
000018f3: PUSH1 0x04
000018f5: ADD
000018f6: DUP1
000018f7: DUP1
000018f8: PUSH1 0x20
000018fa: ADD
000018fb: DUP3
000018fc: DUP2
000018fd: SUB
000018fe: DUP3
000018ff: MSTORE
00001900: PUSH1 0x10
00001902: DUP2
00001903: MSTORE
00001904: PUSH1 0x20
00001906: ADD
00001907: DUP1
00001908: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00001929: DUP2
0000192a: MSTORE
0000192b: POP
0000192c: PUSH1 0x20
0000192e: ADD
0000192f: SWAP2
00001930: POP
00001931: POP
00001932: PUSH1 0x40
00001934: MLOAD
00001935: DUP1
00001936: SWAP2
00001937: SUB
00001938: SWAP1
00001939: REVERT
0000193a: JUMPDEST
0000193b: PUSH1 0x00
0000193d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001952: AND
00001953: PUSH2 0x199f
00001956: DUP5
00001957: DUP5
00001958: DUP1
00001959: DUP1
0000195a: PUSH1 0x1f
0000195c: ADD
0000195d: PUSH1 0x20
0000195f: DUP1
00001960: SWAP2
00001961: DIV
00001962: MUL
00001963: PUSH1 0x20
00001965: ADD
00001966: PUSH1 0x40
00001968: MLOAD
00001969: SWAP1
0000196a: DUP2
0000196b: ADD
0000196c: PUSH1 0x40
0000196e: MSTORE
0000196f: DUP1
00001970: SWAP4
00001971: SWAP3
00001972: SWAP2
00001973: SWAP1
00001974: DUP2
00001975: DUP2
00001976: MSTORE
00001977: PUSH1 0x20
00001979: ADD
0000197a: DUP4
0000197b: DUP4
0000197c: DUP1
0000197d: DUP3
0000197e: DUP5
0000197f: CALLDATACOPY
00001980: PUSH1 0x00
00001982: DUP2
00001983: DUP5
00001984: ADD
00001985: MSTORE
00001986: PUSH1 0x1f
00001988: NOT
00001989: PUSH1 0x1f
0000198b: DUP3
0000198c: ADD
0000198d: AND
0000198e: SWAP1
0000198f: POP
00001990: DUP1
00001991: DUP4
00001992: ADD
00001993: SWAP3
00001994: POP
00001995: POP
00001996: POP
00001997: POP
00001998: POP
00001999: POP
0000199a: POP
0000199b: PUSH2 0x13e5
0000199e: JUMP
0000199f: JUMPDEST
000019a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b5: AND
000019b6: EQ
000019b7: ISZERO
000019b8: PUSH2 0x1a29
000019bb: JUMPI
000019bc: PUSH1 0x40
000019be: MLOAD
000019bf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019e0: DUP2
000019e1: MSTORE
000019e2: PUSH1 0x04
000019e4: ADD
000019e5: DUP1
000019e6: DUP1
000019e7: PUSH1 0x20
000019e9: ADD
000019ea: DUP3
000019eb: DUP2
000019ec: SUB
000019ed: DUP3
000019ee: MSTORE
000019ef: PUSH1 0x19
000019f1: DUP2
000019f2: MSTORE
000019f3: PUSH1 0x20
000019f5: ADD
000019f6: DUP1
000019f7: PUSH32 0x616666696c69617465206d75737420626520646566696e656400000000000000
00001a18: DUP2
00001a19: MSTORE
00001a1a: POP
00001a1b: PUSH1 0x20
00001a1d: ADD
00001a1e: SWAP2
00001a1f: POP
00001a20: POP
00001a21: PUSH1 0x40
00001a23: MLOAD
00001a24: DUP1
00001a25: SWAP2
00001a26: SUB
00001a27: SWAP1
00001a28: REVERT
00001a29: JUMPDEST
00001a2a: PUSH1 0x00
00001a2c: CALLER
00001a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a42: AND
00001a43: PUSH2 0x1a8f
00001a46: DUP6
00001a47: DUP6
00001a48: DUP1
00001a49: DUP1
00001a4a: PUSH1 0x1f
00001a4c: ADD
00001a4d: PUSH1 0x20
00001a4f: DUP1
00001a50: SWAP2
00001a51: DIV
00001a52: MUL
00001a53: PUSH1 0x20
00001a55: ADD
00001a56: PUSH1 0x40
00001a58: MLOAD
00001a59: SWAP1
00001a5a: DUP2
00001a5b: ADD
00001a5c: PUSH1 0x40
00001a5e: MSTORE
00001a5f: DUP1
00001a60: SWAP4
00001a61: SWAP3
00001a62: SWAP2
00001a63: SWAP1
00001a64: DUP2
00001a65: DUP2
00001a66: MSTORE
00001a67: PUSH1 0x20
00001a69: ADD
00001a6a: DUP4
00001a6b: DUP4
00001a6c: DUP1
00001a6d: DUP3
00001a6e: DUP5
00001a6f: CALLDATACOPY
00001a70: PUSH1 0x00
00001a72: DUP2
00001a73: DUP5
00001a74: ADD
00001a75: MSTORE
00001a76: PUSH1 0x1f
00001a78: NOT
00001a79: PUSH1 0x1f
00001a7b: DUP3
00001a7c: ADD
00001a7d: AND
00001a7e: SWAP1
00001a7f: POP
00001a80: DUP1
00001a81: DUP4
00001a82: ADD
00001a83: SWAP3
00001a84: POP
00001a85: POP
00001a86: POP
00001a87: POP
00001a88: POP
00001a89: POP
00001a8a: POP
00001a8b: PUSH2 0x13e5
00001a8e: JUMP
00001a8f: JUMPDEST
00001a90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa5: AND
00001aa6: EQ
00001aa7: ISZERO
00001aa8: PUSH2 0x1af0
00001aab: JUMPI
00001aac: PUSH2 0x1ae9
00001aaf: PUSH1 0x40
00001ab1: MLOAD
00001ab2: DUP1
00001ab3: PUSH1 0x40
00001ab5: ADD
00001ab6: PUSH1 0x40
00001ab8: MSTORE
00001ab9: DUP1
00001aba: PUSH1 0x07
00001abc: DUP2
00001abd: MSTORE
00001abe: PUSH1 0x20
00001ac0: ADD
00001ac1: PUSH32 0x64656661756c7400000000000000000000000000000000000000000000000000
00001ae2: DUP2
00001ae3: MSTORE
00001ae4: POP
00001ae5: PUSH2 0x13e5
00001ae8: JUMP
00001ae9: JUMPDEST
00001aea: SWAP1
00001aeb: POP
00001aec: PUSH2 0x1b40
00001aef: JUMP
00001af0: JUMPDEST
00001af1: PUSH2 0x1b3d
00001af4: DUP5
00001af5: DUP5
00001af6: DUP1
00001af7: DUP1
00001af8: PUSH1 0x1f
00001afa: ADD
00001afb: PUSH1 0x20
00001afd: DUP1
00001afe: SWAP2
00001aff: DIV
00001b00: MUL
00001b01: PUSH1 0x20
00001b03: ADD
00001b04: PUSH1 0x40
00001b06: MLOAD
00001b07: SWAP1
00001b08: DUP2
00001b09: ADD
00001b0a: PUSH1 0x40
00001b0c: MSTORE
00001b0d: DUP1
00001b0e: SWAP4
00001b0f: SWAP3
00001b10: SWAP2
00001b11: SWAP1
00001b12: DUP2
00001b13: DUP2
00001b14: MSTORE
00001b15: PUSH1 0x20
00001b17: ADD
00001b18: DUP4
00001b19: DUP4
00001b1a: DUP1
00001b1b: DUP3
00001b1c: DUP5
00001b1d: CALLDATACOPY
00001b1e: PUSH1 0x00
00001b20: DUP2
00001b21: DUP5
00001b22: ADD
00001b23: MSTORE
00001b24: PUSH1 0x1f
00001b26: NOT
00001b27: PUSH1 0x1f
00001b29: DUP3
00001b2a: ADD
00001b2b: AND
00001b2c: SWAP1
00001b2d: POP
00001b2e: DUP1
00001b2f: DUP4
00001b30: ADD
00001b31: SWAP3
00001b32: POP
00001b33: POP
00001b34: POP
00001b35: POP
00001b36: POP
00001b37: POP
00001b38: POP
00001b39: PUSH2 0x13e5
00001b3c: JUMP
00001b3d: JUMPDEST
00001b3e: SWAP1
00001b3f: POP
00001b40: JUMPDEST
00001b41: PUSH1 0x00
00001b43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b58: AND
00001b59: PUSH1 0x04
00001b5b: PUSH1 0x00
00001b5d: SWAP1
00001b5e: SLOAD
00001b5f: SWAP1
00001b60: PUSH2 0x0100
00001b63: EXP
00001b64: SWAP1
00001b65: DIV
00001b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b7b: AND
00001b7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b91: AND
00001b92: EQ
00001b93: ISZERO
00001b94: PUSH2 0x1be8
00001b97: JUMPI
00001b98: PUSH1 0x40
00001b9a: MLOAD
00001b9b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bbc: DUP2
00001bbd: MSTORE
00001bbe: PUSH1 0x04
00001bc0: ADD
00001bc1: DUP1
00001bc2: DUP1
00001bc3: PUSH1 0x20
00001bc5: ADD
00001bc6: DUP3
00001bc7: DUP2
00001bc8: SUB
00001bc9: DUP3
00001bca: MSTORE
00001bcb: PUSH1 0x23
00001bcd: DUP2
00001bce: MSTORE
00001bcf: PUSH1 0x20
00001bd1: ADD
00001bd2: DUP1
00001bd3: PUSH2 0x3e2a
00001bd6: PUSH1 0x23
00001bd8: SWAP2
00001bd9: CODECOPY
00001bda: PUSH1 0x40
00001bdc: ADD
00001bdd: SWAP2
00001bde: POP
00001bdf: POP
00001be0: PUSH1 0x40
00001be2: MLOAD
00001be3: DUP1
00001be4: SWAP2
00001be5: SUB
00001be6: SWAP1
00001be7: REVERT
00001be8: JUMPDEST
00001be9: PUSH1 0x00
00001beb: PUSH1 0x04
00001bed: PUSH1 0x00
00001bef: SWAP1
00001bf0: SLOAD
00001bf1: SWAP1
00001bf2: PUSH2 0x0100
00001bf5: EXP
00001bf6: SWAP1
00001bf7: DIV
00001bf8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c0d: AND
00001c0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c23: AND
00001c24: PUSH4 0xdd6413fd
00001c29: DUP11
00001c2a: DUP11
00001c2b: DUP11
00001c2c: DUP11
00001c2d: PUSH1 0x40
00001c2f: MLOAD
00001c30: DUP6
00001c31: PUSH4 0xffffffff
00001c36: AND
00001c37: PUSH1 0xe0
00001c39: SHL
00001c3a: DUP2
00001c3b: MSTORE
00001c3c: PUSH1 0x04
00001c3e: ADD
00001c3f: DUP1
00001c40: DUP6
00001c41: DUP2
00001c42: MSTORE
00001c43: PUSH1 0x20
00001c45: ADD
00001c46: DUP5
00001c47: ISZERO
00001c48: ISZERO
00001c49: ISZERO
00001c4a: ISZERO
00001c4b: DUP2
00001c4c: MSTORE
00001c4d: PUSH1 0x20
00001c4f: ADD
00001c50: DUP4
00001c51: DUP2
00001c52: MSTORE
00001c53: PUSH1 0x20
00001c55: ADD
00001c56: DUP3
00001c57: ISZERO
00001c58: ISZERO
00001c59: ISZERO
00001c5a: ISZERO
00001c5b: DUP2
00001c5c: MSTORE
00001c5d: PUSH1 0x20
00001c5f: ADD
00001c60: SWAP5
00001c61: POP
00001c62: POP
00001c63: POP
00001c64: POP
00001c65: POP
00001c66: PUSH1 0x20
00001c68: PUSH1 0x40
00001c6a: MLOAD
00001c6b: DUP1
00001c6c: DUP4
00001c6d: SUB
00001c6e: DUP2
00001c6f: PUSH1 0x00
00001c71: DUP8
00001c72: DUP1
00001c73: EXTCODESIZE
00001c74: ISZERO
00001c75: DUP1
00001c76: ISZERO
00001c77: PUSH2 0x1c7f
00001c7a: JUMPI
00001c7b: PUSH1 0x00
00001c7d: DUP1
00001c7e: REVERT
00001c7f: JUMPDEST
00001c80: POP
00001c81: GAS
00001c82: CALL
00001c83: ISZERO
00001c84: DUP1
00001c85: ISZERO
00001c86: PUSH2 0x1c93
00001c89: JUMPI
00001c8a: RETURNDATASIZE
00001c8b: PUSH1 0x00
00001c8d: DUP1
00001c8e: RETURNDATACOPY
00001c8f: RETURNDATASIZE
00001c90: PUSH1 0x00
00001c92: REVERT
00001c93: JUMPDEST
00001c94: POP
00001c95: POP
00001c96: POP
00001c97: POP
00001c98: PUSH1 0x40
00001c9a: MLOAD
00001c9b: RETURNDATASIZE
00001c9c: PUSH1 0x20
00001c9e: DUP2
00001c9f: LT
00001ca0: ISZERO
00001ca1: PUSH2 0x1ca9
00001ca4: JUMPI
00001ca5: PUSH1 0x00
00001ca7: DUP1
00001ca8: REVERT
00001ca9: JUMPDEST
00001caa: DUP2
00001cab: ADD
00001cac: SWAP1
00001cad: DUP1
00001cae: DUP1
00001caf: MLOAD
00001cb0: SWAP1
00001cb1: PUSH1 0x20
00001cb3: ADD
00001cb4: SWAP1
00001cb5: SWAP3
00001cb6: SWAP2
00001cb7: SWAP1
00001cb8: POP
00001cb9: POP
00001cba: POP
00001cbb: SWAP1
00001cbc: POP
00001cbd: DUP1
00001cbe: CALLVALUE
00001cbf: LT
00001cc0: ISZERO
00001cc1: PUSH2 0x1d32
00001cc4: JUMPI
00001cc5: PUSH1 0x40
00001cc7: MLOAD
00001cc8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ce9: DUP2
00001cea: MSTORE
00001ceb: PUSH1 0x04
00001ced: ADD
00001cee: DUP1
00001cef: DUP1
00001cf0: PUSH1 0x20
00001cf2: ADD
00001cf3: DUP3
00001cf4: DUP2
00001cf5: SUB
00001cf6: DUP3
00001cf7: MSTORE
00001cf8: PUSH1 0x15
00001cfa: DUP2
00001cfb: MSTORE
00001cfc: PUSH1 0x20
00001cfe: ADD
00001cff: DUP1
00001d00: PUSH32 0x746f6f206c6974746c652066756e64732073656e740000000000000000000000
00001d21: DUP2
00001d22: MSTORE
00001d23: POP
00001d24: PUSH1 0x20
00001d26: ADD
00001d27: SWAP2
00001d28: POP
00001d29: POP
00001d2a: PUSH1 0x40
00001d2c: MLOAD
00001d2d: DUP1
00001d2e: SWAP2
00001d2f: SUB
00001d30: SWAP1
00001d31: REVERT
00001d32: JUMPDEST
00001d33: PUSH1 0x00
00001d35: PUSH1 0x04
00001d37: PUSH1 0x00
00001d39: SWAP1
00001d3a: SLOAD
00001d3b: SWAP1
00001d3c: PUSH2 0x0100
00001d3f: EXP
00001d40: SWAP1
00001d41: DIV
00001d42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d57: AND
00001d58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d6d: AND
00001d6e: PUSH4 0x88f74795
00001d73: DUP12
00001d74: DUP12
00001d75: DUP12
00001d76: DUP12
00001d77: CALLER
00001d78: PUSH1 0x40
00001d7a: MLOAD
00001d7b: DUP7
00001d7c: PUSH4 0xffffffff
00001d81: AND
00001d82: PUSH1 0xe0
00001d84: SHL
00001d85: DUP2
00001d86: MSTORE
00001d87: PUSH1 0x04
00001d89: ADD
00001d8a: DUP1
00001d8b: DUP7
00001d8c: DUP2
00001d8d: MSTORE
00001d8e: PUSH1 0x20
00001d90: ADD
00001d91: DUP6
00001d92: ISZERO
00001d93: ISZERO
00001d94: ISZERO
00001d95: ISZERO
00001d96: DUP2
00001d97: MSTORE
00001d98: PUSH1 0x20
00001d9a: ADD
00001d9b: DUP5
00001d9c: DUP2
00001d9d: MSTORE
00001d9e: PUSH1 0x20
00001da0: ADD
00001da1: DUP4
00001da2: ISZERO
00001da3: ISZERO
00001da4: ISZERO
00001da5: ISZERO
00001da6: DUP2
00001da7: MSTORE
00001da8: PUSH1 0x20
00001daa: ADD
00001dab: DUP3
00001dac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc1: AND
00001dc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd7: AND
00001dd8: DUP2
00001dd9: MSTORE
00001dda: PUSH1 0x20
00001ddc: ADD
00001ddd: SWAP6
00001dde: POP
00001ddf: POP
00001de0: POP
00001de1: POP
00001de2: POP
00001de3: POP
00001de4: PUSH1 0x20
00001de6: PUSH1 0x40
00001de8: MLOAD
00001de9: DUP1
00001dea: DUP4
00001deb: SUB
00001dec: DUP2
00001ded: PUSH1 0x00
00001def: DUP8
00001df0: DUP1
00001df1: EXTCODESIZE
00001df2: ISZERO
00001df3: DUP1
00001df4: ISZERO
00001df5: PUSH2 0x1dfd
00001df8: JUMPI
00001df9: PUSH1 0x00
00001dfb: DUP1
00001dfc: REVERT
00001dfd: JUMPDEST
00001dfe: POP
00001dff: GAS
00001e00: CALL
00001e01: ISZERO
00001e02: DUP1
00001e03: ISZERO
00001e04: PUSH2 0x1e11
00001e07: JUMPI
00001e08: RETURNDATASIZE
00001e09: PUSH1 0x00
00001e0b: DUP1
00001e0c: RETURNDATACOPY
00001e0d: RETURNDATASIZE
00001e0e: PUSH1 0x00
00001e10: REVERT
00001e11: JUMPDEST
00001e12: POP
00001e13: POP
00001e14: POP
00001e15: POP
00001e16: PUSH1 0x40
00001e18: MLOAD
00001e19: RETURNDATASIZE
00001e1a: PUSH1 0x20
00001e1c: DUP2
00001e1d: LT
00001e1e: ISZERO
00001e1f: PUSH2 0x1e27
00001e22: JUMPI
00001e23: PUSH1 0x00
00001e25: DUP1
00001e26: REVERT
00001e27: JUMPDEST
00001e28: DUP2
00001e29: ADD
00001e2a: SWAP1
00001e2b: DUP1
00001e2c: DUP1
00001e2d: MLOAD
00001e2e: SWAP1
00001e2f: PUSH1 0x20
00001e31: ADD
00001e32: SWAP1
00001e33: SWAP3
00001e34: SWAP2
00001e35: SWAP1
00001e36: POP
00001e37: POP
00001e38: POP
00001e39: SWAP1
00001e3a: POP
00001e3b: DUP1
00001e3c: PUSH2 0x1ead
00001e3f: JUMPI
00001e40: PUSH1 0x40
00001e42: MLOAD
00001e43: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e64: DUP2
00001e65: MSTORE
00001e66: PUSH1 0x04
00001e68: ADD
00001e69: DUP1
00001e6a: DUP1
00001e6b: PUSH1 0x20
00001e6d: ADD
00001e6e: DUP3
00001e6f: DUP2
00001e70: SUB
00001e71: DUP3
00001e72: MSTORE
00001e73: PUSH1 0x14
00001e75: DUP2
00001e76: MSTORE
00001e77: PUSH1 0x20
00001e79: ADD
00001e7a: DUP1
00001e7b: PUSH32 0x696e6e65722066756e6374696f6e206572726f72000000000000000000000000
00001e9c: DUP2
00001e9d: MSTORE
00001e9e: POP
00001e9f: PUSH1 0x20
00001ea1: ADD
00001ea2: SWAP2
00001ea3: POP
00001ea4: POP
00001ea5: PUSH1 0x40
00001ea7: MLOAD
00001ea8: DUP1
00001ea9: SWAP2
00001eaa: SUB
00001eab: SWAP1
00001eac: REVERT
00001ead: JUMPDEST
00001eae: PUSH1 0x00
00001eb0: DUP10
00001eb1: PUSH2 0x1ebb
00001eb4: JUMPI
00001eb5: PUSH1 0x00
00001eb7: PUSH2 0x1ebe
00001eba: JUMP
00001ebb: JUMPDEST
00001ebc: PUSH1 0x01
00001ebe: JUMPDEST
00001ebf: PUSH1 0xff
00001ec1: AND
00001ec2: SWAP1
00001ec3: POP
00001ec4: DUP8
00001ec5: ISZERO
00001ec6: PUSH2 0x1ef3
00001ec9: JUMPI
00001eca: DUP11
00001ecb: PUSH1 0x05
00001ecd: PUSH1 0x0a
00001ecf: PUSH1 0x0b
00001ed1: DUP2
00001ed2: LT
00001ed3: PUSH2 0x1ed8
00001ed6: JUMPI
00001ed7: INVALID
00001ed8: JUMPDEST
00001ed9: ADD
00001eda: SLOAD
00001edb: ADD
00001edc: PUSH1 0x05
00001ede: PUSH1 0x0a
00001ee0: PUSH1 0x0b
00001ee2: DUP2
00001ee3: LT
00001ee4: PUSH2 0x1ee9
00001ee7: JUMPI
00001ee8: INVALID
00001ee9: JUMPDEST
00001eea: ADD
00001eeb: DUP2
00001eec: SWAP1
00001eed: SSTORE
00001eee: POP
00001eef: PUSH2 0x1f27
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: DUP11
00001ef5: PUSH1 0x05
00001ef7: DUP3
00001ef8: PUSH1 0x02
00001efa: PUSH1 0x01
00001efc: DUP14
00001efd: SUB
00001efe: MUL
00001eff: ADD
00001f00: PUSH1 0x0b
00001f02: DUP2
00001f03: LT
00001f04: PUSH2 0x1f09
00001f07: JUMPI
00001f08: INVALID
00001f09: JUMPDEST
00001f0a: ADD
00001f0b: SLOAD
00001f0c: ADD
00001f0d: PUSH1 0x05
00001f0f: DUP3
00001f10: PUSH1 0x02
00001f12: PUSH1 0x01
00001f14: DUP14
00001f15: SUB
00001f16: MUL
00001f17: ADD
00001f18: PUSH1 0x0b
00001f1a: DUP2
00001f1b: LT
00001f1c: PUSH2 0x1f21
00001f1f: JUMPI
00001f20: INVALID
00001f21: JUMPDEST
00001f22: ADD
00001f23: DUP2
00001f24: SWAP1
00001f25: SSTORE
00001f26: POP
00001f27: JUMPDEST
00001f28: DUP8
00001f29: PUSH2 0x218e
00001f2c: JUMPI
00001f2d: PUSH2 0x2004
00001f30: PUSH2 0x1fe4
00001f33: PUSH1 0x04
00001f35: PUSH1 0x00
00001f37: SWAP1
00001f38: SLOAD
00001f39: SWAP1
00001f3a: PUSH2 0x0100
00001f3d: EXP
00001f3e: SWAP1
00001f3f: DIV
00001f40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f55: AND
00001f56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f6b: AND
00001f6c: PUSH4 0xc0b3aff3
00001f71: PUSH1 0x40
00001f73: MLOAD
00001f74: DUP2
00001f75: PUSH4 0xffffffff
00001f7a: AND
00001f7b: PUSH1 0xe0
00001f7d: SHL
00001f7e: DUP2
00001f7f: MSTORE
00001f80: PUSH1 0x04
00001f82: ADD
00001f83: PUSH1 0x20
00001f85: PUSH1 0x40
00001f87: MLOAD
00001f88: DUP1
00001f89: DUP4
00001f8a: SUB
00001f8b: DUP2
00001f8c: DUP7
00001f8d: DUP1
00001f8e: EXTCODESIZE
00001f8f: ISZERO
00001f90: DUP1
00001f91: ISZERO
00001f92: PUSH2 0x1f9a
00001f95: JUMPI
00001f96: PUSH1 0x00
00001f98: DUP1
00001f99: REVERT
00001f9a: JUMPDEST
00001f9b: POP
00001f9c: GAS
00001f9d: STATICCALL
00001f9e: ISZERO
00001f9f: DUP1
00001fa0: ISZERO
00001fa1: PUSH2 0x1fae
00001fa4: JUMPI
00001fa5: RETURNDATASIZE
00001fa6: PUSH1 0x00
00001fa8: DUP1
00001fa9: RETURNDATACOPY
00001faa: RETURNDATASIZE
00001fab: PUSH1 0x00
00001fad: REVERT
00001fae: JUMPDEST
00001faf: POP
00001fb0: POP
00001fb1: POP
00001fb2: POP
00001fb3: PUSH1 0x40
00001fb5: MLOAD
00001fb6: RETURNDATASIZE
00001fb7: PUSH1 0x20
00001fb9: DUP2
00001fba: LT
00001fbb: ISZERO
00001fbc: PUSH2 0x1fc4
00001fbf: JUMPI
00001fc0: PUSH1 0x00
00001fc2: DUP1
00001fc3: REVERT
00001fc4: JUMPDEST
00001fc5: DUP2
00001fc6: ADD
00001fc7: SWAP1
00001fc8: DUP1
00001fc9: DUP1
00001fca: MLOAD
00001fcb: SWAP1
00001fcc: PUSH1 0x20
00001fce: ADD
00001fcf: SWAP1
00001fd0: SWAP3
00001fd1: SWAP2
00001fd2: SWAP1
00001fd3: POP
00001fd4: POP
00001fd5: POP
00001fd6: DUP14
00001fd7: PUSH2 0x3681
00001fda: SWAP1
00001fdb: SWAP2
00001fdc: SWAP1
00001fdd: PUSH4 0xffffffff
00001fe2: AND
00001fe3: JUMP
00001fe4: JUMPDEST
00001fe5: PUSH1 0x10
00001fe7: PUSH1 0x01
00001fe9: DUP13
00001fea: SUB
00001feb: PUSH1 0x05
00001fed: DUP2
00001fee: LT
00001fef: PUSH2 0x1ff4
00001ff2: JUMPI
00001ff3: INVALID
00001ff4: JUMPDEST
00001ff5: ADD
00001ff6: SLOAD
00001ff7: PUSH2 0x3707
00001ffa: SWAP1
00001ffb: SWAP2
00001ffc: SWAP1
00001ffd: PUSH4 0xffffffff
00002002: AND
00002003: JUMP
00002004: JUMPDEST
00002005: PUSH1 0x10
00002007: PUSH1 0x01
00002009: DUP12
0000200a: SUB
0000200b: PUSH1 0x05
0000200d: DUP2
0000200e: LT
0000200f: PUSH2 0x2014
00002012: JUMPI
00002013: INVALID
00002014: JUMPDEST
00002015: ADD
00002016: DUP2
00002017: SWAP1
00002018: SSTORE
00002019: POP
0000201a: PUSH1 0x04
0000201c: PUSH1 0x00
0000201e: SWAP1
0000201f: SLOAD
00002020: SWAP1
00002021: PUSH2 0x0100
00002024: EXP
00002025: SWAP1
00002026: DIV
00002027: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000203c: AND
0000203d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002052: AND
00002053: PUSH4 0xa46f40a3
00002058: PUSH1 0x40
0000205a: MLOAD
0000205b: DUP2
0000205c: PUSH4 0xffffffff
00002061: AND
00002062: PUSH1 0xe0
00002064: SHL
00002065: DUP2
00002066: MSTORE
00002067: PUSH1 0x04
00002069: ADD
0000206a: PUSH1 0x20
0000206c: PUSH1 0x40
0000206e: MLOAD
0000206f: DUP1
00002070: DUP4
00002071: SUB
00002072: DUP2
00002073: DUP7
00002074: DUP1
00002075: EXTCODESIZE
00002076: ISZERO
00002077: DUP1
00002078: ISZERO
00002079: PUSH2 0x2081
0000207c: JUMPI
0000207d: PUSH1 0x00
0000207f: DUP1
00002080: REVERT
00002081: JUMPDEST
00002082: POP
00002083: GAS
00002084: STATICCALL
00002085: ISZERO
00002086: DUP1
00002087: ISZERO
00002088: PUSH2 0x2095
0000208b: JUMPI
0000208c: RETURNDATASIZE
0000208d: PUSH1 0x00
0000208f: DUP1
00002090: RETURNDATACOPY
00002091: RETURNDATASIZE
00002092: PUSH1 0x00
00002094: REVERT
00002095: JUMPDEST
00002096: POP
00002097: POP
00002098: POP
00002099: POP
0000209a: PUSH1 0x40
0000209c: MLOAD
0000209d: RETURNDATASIZE
0000209e: PUSH1 0x20
000020a0: DUP2
000020a1: LT
000020a2: ISZERO
000020a3: PUSH2 0x20ab
000020a6: JUMPI
000020a7: PUSH1 0x00
000020a9: DUP1
000020aa: REVERT
000020ab: JUMPDEST
000020ac: DUP2
000020ad: ADD
000020ae: SWAP1
000020af: DUP1
000020b0: DUP1
000020b1: MLOAD
000020b2: SWAP1
000020b3: PUSH1 0x20
000020b5: ADD
000020b6: SWAP1
000020b7: SWAP3
000020b8: SWAP2
000020b9: SWAP1
000020ba: POP
000020bb: POP
000020bc: POP
000020bd: PUSH1 0x10
000020bf: PUSH1 0x01
000020c1: DUP12
000020c2: SUB
000020c3: PUSH1 0x05
000020c5: DUP2
000020c6: LT
000020c7: PUSH2 0x20cc
000020ca: JUMPI
000020cb: INVALID
000020cc: JUMPDEST
000020cd: ADD
000020ce: SLOAD
000020cf: GT
000020d0: ISZERO
000020d1: PUSH2 0x218d
000020d4: JUMPI
000020d5: PUSH1 0x04
000020d7: PUSH1 0x00
000020d9: SWAP1
000020da: SLOAD
000020db: SWAP1
000020dc: PUSH2 0x0100
000020df: EXP
000020e0: SWAP1
000020e1: DIV
000020e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f7: AND
000020f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000210d: AND
0000210e: PUSH4 0xa46f40a3
00002113: PUSH1 0x40
00002115: MLOAD
00002116: DUP2
00002117: PUSH4 0xffffffff
0000211c: AND
0000211d: PUSH1 0xe0
0000211f: SHL
00002120: DUP2
00002121: MSTORE
00002122: PUSH1 0x04
00002124: ADD
00002125: PUSH1 0x20
00002127: PUSH1 0x40
00002129: MLOAD
0000212a: DUP1
0000212b: DUP4
0000212c: SUB
0000212d: DUP2
0000212e: DUP7
0000212f: DUP1
00002130: EXTCODESIZE
00002131: ISZERO
00002132: DUP1
00002133: ISZERO
00002134: PUSH2 0x213c
00002137: JUMPI
00002138: PUSH1 0x00
0000213a: DUP1
0000213b: REVERT
0000213c: JUMPDEST
0000213d: POP
0000213e: GAS
0000213f: STATICCALL
00002140: ISZERO
00002141: DUP1
00002142: ISZERO
00002143: PUSH2 0x2150
00002146: JUMPI
00002147: RETURNDATASIZE
00002148: PUSH1 0x00
0000214a: DUP1
0000214b: RETURNDATACOPY
0000214c: RETURNDATASIZE
0000214d: PUSH1 0x00
0000214f: REVERT
00002150: JUMPDEST
00002151: POP
00002152: POP
00002153: POP
00002154: POP
00002155: PUSH1 0x40
00002157: MLOAD
00002158: RETURNDATASIZE
00002159: PUSH1 0x20
0000215b: DUP2
0000215c: LT
0000215d: ISZERO
0000215e: PUSH2 0x2166
00002161: JUMPI
00002162: PUSH1 0x00
00002164: DUP1
00002165: REVERT
00002166: JUMPDEST
00002167: DUP2
00002168: ADD
00002169: SWAP1
0000216a: DUP1
0000216b: DUP1
0000216c: MLOAD
0000216d: SWAP1
0000216e: PUSH1 0x20
00002170: ADD
00002171: SWAP1
00002172: SWAP3
00002173: SWAP2
00002174: SWAP1
00002175: POP
00002176: POP
00002177: POP
00002178: PUSH1 0x10
0000217a: PUSH1 0x01
0000217c: DUP12
0000217d: SUB
0000217e: PUSH1 0x05
00002180: DUP2
00002181: LT
00002182: PUSH2 0x2187
00002185: JUMPI
00002186: INVALID
00002187: JUMPDEST
00002188: ADD
00002189: DUP2
0000218a: SWAP1
0000218b: SSTORE
0000218c: POP
0000218d: JUMPDEST
0000218e: JUMPDEST
0000218f: PUSH1 0x00
00002191: PUSH2 0x21a3
00002194: DUP5
00002195: CALLVALUE
00002196: PUSH2 0x378f
00002199: SWAP1
0000219a: SWAP2
0000219b: SWAP1
0000219c: PUSH4 0xffffffff
000021a1: AND
000021a2: JUMP
000021a3: JUMPDEST
000021a4: GT
000021a5: ISZERO
000021a6: PUSH2 0x2203
000021a9: JUMPI
000021aa: CALLER
000021ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c0: AND
000021c1: PUSH2 0x08fc
000021c4: PUSH2 0x21d6
000021c7: DUP6
000021c8: CALLVALUE
000021c9: PUSH2 0x378f
000021cc: SWAP1
000021cd: SWAP2
000021ce: SWAP1
000021cf: PUSH4 0xffffffff
000021d4: AND
000021d5: JUMP
000021d6: JUMPDEST
000021d7: SWAP1
000021d8: DUP2
000021d9: ISZERO
000021da: MUL
000021db: SWAP1
000021dc: PUSH1 0x40
000021de: MLOAD
000021df: PUSH1 0x00
000021e1: PUSH1 0x40
000021e3: MLOAD
000021e4: DUP1
000021e5: DUP4
000021e6: SUB
000021e7: DUP2
000021e8: DUP6
000021e9: DUP9
000021ea: DUP9
000021eb: CALL
000021ec: SWAP4
000021ed: POP
000021ee: POP
000021ef: POP
000021f0: POP
000021f1: ISZERO
000021f2: DUP1
000021f3: ISZERO
000021f4: PUSH2 0x2201
000021f7: JUMPI
000021f8: RETURNDATASIZE
000021f9: PUSH1 0x00
000021fb: DUP1
000021fc: RETURNDATACOPY
000021fd: RETURNDATASIZE
000021fe: PUSH1 0x00
00002200: REVERT
00002201: JUMPDEST
00002202: POP
00002203: JUMPDEST
00002204: PUSH1 0x15
00002206: PUSH1 0x00
00002208: SWAP1
00002209: SLOAD
0000220a: SWAP1
0000220b: PUSH2 0x0100
0000220e: EXP
0000220f: SWAP1
00002210: DIV
00002211: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002226: AND
00002227: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000223c: AND
0000223d: PUSH2 0x08fc
00002240: PUSH2 0x2268
00002243: PUSH2 0x2710
00002246: PUSH2 0x225a
00002249: PUSH2 0x01f4
0000224c: DUP9
0000224d: PUSH2 0x3681
00002250: SWAP1
00002251: SWAP2
00002252: SWAP1
00002253: PUSH4 0xffffffff
00002258: AND
00002259: JUMP
0000225a: JUMPDEST
0000225b: PUSH2 0x3818
0000225e: SWAP1
0000225f: SWAP2
00002260: SWAP1
00002261: PUSH4 0xffffffff
00002266: AND
00002267: JUMP
00002268: JUMPDEST
00002269: SWAP1
0000226a: DUP2
0000226b: ISZERO
0000226c: MUL
0000226d: SWAP1
0000226e: PUSH1 0x40
00002270: MLOAD
00002271: PUSH1 0x00
00002273: PUSH1 0x40
00002275: MLOAD
00002276: DUP1
00002277: DUP4
00002278: SUB
00002279: DUP2
0000227a: DUP6
0000227b: DUP9
0000227c: DUP9
0000227d: CALL
0000227e: SWAP4
0000227f: POP
00002280: POP
00002281: POP
00002282: POP
00002283: ISZERO
00002284: DUP1
00002285: ISZERO
00002286: PUSH2 0x2293
00002289: JUMPI
0000228a: RETURNDATASIZE
0000228b: PUSH1 0x00
0000228d: DUP1
0000228e: RETURNDATACOPY
0000228f: RETURNDATASIZE
00002290: PUSH1 0x00
00002292: REVERT
00002293: JUMPDEST
00002294: POP
00002295: PUSH1 0x16
00002297: PUSH1 0x00
00002299: SWAP1
0000229a: SLOAD
0000229b: SWAP1
0000229c: PUSH2 0x0100
0000229f: EXP
000022a0: SWAP1
000022a1: DIV
000022a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022b7: AND
000022b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022cd: AND
000022ce: PUSH2 0x08fc
000022d1: PUSH2 0x22f8
000022d4: PUSH2 0x2710
000022d7: PUSH2 0x22ea
000022da: PUSH1 0x64
000022dc: DUP9
000022dd: PUSH2 0x3681
000022e0: SWAP1
000022e1: SWAP2
000022e2: SWAP1
000022e3: PUSH4 0xffffffff
000022e8: AND
000022e9: JUMP
000022ea: JUMPDEST
000022eb: PUSH2 0x3818
000022ee: SWAP1
000022ef: SWAP2
000022f0: SWAP1
000022f1: PUSH4 0xffffffff
000022f6: AND
000022f7: JUMP
000022f8: JUMPDEST
000022f9: SWAP1
000022fa: DUP2
000022fb: ISZERO
000022fc: MUL
000022fd: SWAP1
000022fe: PUSH1 0x40
00002300: MLOAD
00002301: PUSH1 0x00
00002303: PUSH1 0x40
00002305: MLOAD
00002306: DUP1
00002307: DUP4
00002308: SUB
00002309: DUP2
0000230a: DUP6
0000230b: DUP9
0000230c: DUP9
0000230d: CALL
0000230e: SWAP4
0000230f: POP
00002310: POP
00002311: POP
00002312: POP
00002313: ISZERO
00002314: DUP1
00002315: ISZERO
00002316: PUSH2 0x2323
00002319: JUMPI
0000231a: RETURNDATASIZE
0000231b: PUSH1 0x00
0000231d: DUP1
0000231e: RETURNDATACOPY
0000231f: RETURNDATASIZE
00002320: PUSH1 0x00
00002322: REVERT
00002323: JUMPDEST
00002324: POP
00002325: DUP4
00002326: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000233b: AND
0000233c: PUSH2 0x08fc
0000233f: PUSH2 0x2367
00002342: PUSH2 0x2710
00002345: PUSH2 0x2359
00002348: PUSH2 0x01f4
0000234b: DUP9
0000234c: PUSH2 0x3681
0000234f: SWAP1
00002350: SWAP2
00002351: SWAP1
00002352: PUSH4 0xffffffff
00002357: AND
00002358: JUMP
00002359: JUMPDEST
0000235a: PUSH2 0x3818
0000235d: SWAP1
0000235e: SWAP2
0000235f: SWAP1
00002360: PUSH4 0xffffffff
00002365: AND
00002366: JUMP
00002367: JUMPDEST
00002368: SWAP1
00002369: DUP2
0000236a: ISZERO
0000236b: MUL
0000236c: SWAP1
0000236d: PUSH1 0x40
0000236f: MLOAD
00002370: PUSH1 0x00
00002372: PUSH1 0x40
00002374: MLOAD
00002375: DUP1
00002376: DUP4
00002377: SUB
00002378: DUP2
00002379: DUP6
0000237a: DUP9
0000237b: DUP9
0000237c: CALL
0000237d: SWAP4
0000237e: POP
0000237f: POP
00002380: POP
00002381: POP
00002382: ISZERO
00002383: DUP1
00002384: ISZERO
00002385: PUSH2 0x2392
00002388: JUMPI
00002389: RETURNDATASIZE
0000238a: PUSH1 0x00
0000238c: DUP1
0000238d: RETURNDATACOPY
0000238e: RETURNDATASIZE
0000238f: PUSH1 0x00
00002391: REVERT
00002392: JUMPDEST
00002393: POP
00002394: PUSH2 0x240d
00002397: PUSH2 0x23bf
0000239a: PUSH2 0x2710
0000239d: PUSH2 0x23b1
000023a0: PUSH2 0x01f4
000023a3: DUP8
000023a4: PUSH2 0x3681
000023a7: SWAP1
000023a8: SWAP2
000023a9: SWAP1
000023aa: PUSH4 0xffffffff
000023af: AND
000023b0: JUMP
000023b1: JUMPDEST
000023b2: PUSH2 0x3818
000023b5: SWAP1
000023b6: SWAP2
000023b7: SWAP1
000023b8: PUSH4 0xffffffff
000023bd: AND
000023be: JUMP
000023bf: JUMPDEST
000023c0: PUSH1 0x1a
000023c2: PUSH1 0x00
000023c4: DUP8
000023c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023da: AND
000023db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f0: AND
000023f1: DUP2
000023f2: MSTORE
000023f3: PUSH1 0x20
000023f5: ADD
000023f6: SWAP1
000023f7: DUP2
000023f8: MSTORE
000023f9: PUSH1 0x20
000023fb: ADD
000023fc: PUSH1 0x00
000023fe: KECCAK256
000023ff: SLOAD
00002400: PUSH2 0x3707
00002403: SWAP1
00002404: SWAP2
00002405: SWAP1
00002406: PUSH4 0xffffffff
0000240b: AND
0000240c: JUMP
0000240d: JUMPDEST
0000240e: PUSH1 0x1a
00002410: PUSH1 0x00
00002412: DUP7
00002413: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002428: AND
00002429: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000243e: AND
0000243f: DUP2
00002440: MSTORE
00002441: PUSH1 0x20
00002443: ADD
00002444: SWAP1
00002445: DUP2
00002446: MSTORE
00002447: PUSH1 0x20
00002449: ADD
0000244a: PUSH1 0x00
0000244c: KECCAK256
0000244d: DUP2
0000244e: SWAP1
0000244f: SSTORE
00002450: POP
00002451: PUSH32 0x0e6772c6a78c360d13834d9564dd7ab8c8bf3d4db2c6b169b8d9a225f599266c
00002472: CALLER
00002473: DUP13
00002474: DUP12
00002475: DUP14
00002476: DUP13
00002477: PUSH1 0x40
00002479: MLOAD
0000247a: DUP1
0000247b: DUP7
0000247c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002491: AND
00002492: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a7: AND
000024a8: DUP2
000024a9: MSTORE
000024aa: PUSH1 0x20
000024ac: ADD
000024ad: DUP6
000024ae: DUP2
000024af: MSTORE
000024b0: PUSH1 0x20
000024b2: ADD
000024b3: DUP5
000024b4: DUP2
000024b5: MSTORE
000024b6: PUSH1 0x20
000024b8: ADD
000024b9: DUP4
000024ba: ISZERO
000024bb: ISZERO
000024bc: ISZERO
000024bd: ISZERO
000024be: DUP2
000024bf: MSTORE
000024c0: PUSH1 0x20
000024c2: ADD
000024c3: DUP3
000024c4: ISZERO
000024c5: ISZERO
000024c6: ISZERO
000024c7: ISZERO
000024c8: DUP2
000024c9: MSTORE
000024ca: PUSH1 0x20
000024cc: ADD
000024cd: SWAP6
000024ce: POP
000024cf: POP
000024d0: POP
000024d1: POP
000024d2: POP
000024d3: POP
000024d4: PUSH1 0x40
000024d6: MLOAD
000024d7: DUP1
000024d8: SWAP2
000024d9: SUB
000024da: SWAP1
000024db: LOG1
000024dc: POP
000024dd: POP
000024de: POP
000024df: POP
000024e0: PUSH1 0x02
000024e2: SLOAD
000024e3: DUP2
000024e4: EQ
000024e5: PUSH2 0x2556
000024e8: JUMPI
000024e9: PUSH1 0x40
000024eb: MLOAD
000024ec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000250d: DUP2
0000250e: MSTORE
0000250f: PUSH1 0x04
00002511: ADD
00002512: DUP1
00002513: DUP1
00002514: PUSH1 0x20
00002516: ADD
00002517: DUP3
00002518: DUP2
00002519: SUB
0000251a: DUP3
0000251b: MSTORE
0000251c: PUSH1 0x1f
0000251e: DUP2
0000251f: MSTORE
00002520: PUSH1 0x20
00002522: ADD
00002523: DUP1
00002524: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00002545: DUP2
00002546: MSTORE
00002547: POP
00002548: PUSH1 0x20
0000254a: ADD
0000254b: SWAP2
0000254c: POP
0000254d: POP
0000254e: PUSH1 0x40
00002550: MLOAD
00002551: DUP1
00002552: SWAP2
00002553: SUB
00002554: SWAP1
00002555: REVERT
00002556: JUMPDEST
00002557: POP
00002558: POP
00002559: POP
0000255a: POP
0000255b: POP
0000255c: POP
0000255d: POP
0000255e: JUMP
0000255f: JUMPDEST
00002560: PUSH1 0x01
00002562: PUSH1 0x02
00002564: PUSH1 0x00
00002566: DUP3
00002567: DUP3
00002568: SLOAD
00002569: ADD
0000256a: SWAP3
0000256b: POP
0000256c: POP
0000256d: DUP2
0000256e: SWAP1
0000256f: SSTORE
00002570: POP
00002571: PUSH1 0x00
00002573: PUSH1 0x02
00002575: SLOAD
00002576: SWAP1
00002577: POP
00002578: PUSH1 0x01
0000257a: PUSH1 0x00
0000257c: SWAP1
0000257d: SLOAD
0000257e: SWAP1
0000257f: PUSH2 0x0100
00002582: EXP
00002583: SWAP1
00002584: DIV
00002585: PUSH1 0xff
00002587: AND
00002588: ISZERO
00002589: PUSH2 0x25fa
0000258c: JUMPI
0000258d: PUSH1 0x40
0000258f: MLOAD
00002590: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025b1: DUP2
000025b2: MSTORE
000025b3: PUSH1 0x04
000025b5: ADD
000025b6: DUP1
000025b7: DUP1
000025b8: PUSH1 0x20
000025ba: ADD
000025bb: DUP3
000025bc: DUP2
000025bd: SUB
000025be: DUP3
000025bf: MSTORE
000025c0: PUSH1 0x10
000025c2: DUP2
000025c3: MSTORE
000025c4: PUSH1 0x20
000025c6: ADD
000025c7: DUP1
000025c8: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
000025e9: DUP2
000025ea: MSTORE
000025eb: POP
000025ec: PUSH1 0x20
000025ee: ADD
000025ef: SWAP2
000025f0: POP
000025f1: POP
000025f2: PUSH1 0x40
000025f4: MLOAD
000025f5: DUP1
000025f6: SWAP2
000025f7: SUB
000025f8: SWAP1
000025f9: REVERT
000025fa: JUMPDEST
000025fb: PUSH1 0x00
000025fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002612: AND
00002613: PUSH1 0x04
00002615: PUSH1 0x00
00002617: SWAP1
00002618: SLOAD
00002619: SWAP1
0000261a: PUSH2 0x0100
0000261d: EXP
0000261e: SWAP1
0000261f: DIV
00002620: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002635: AND
00002636: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000264b: AND
0000264c: EQ
0000264d: ISZERO
0000264e: PUSH2 0x26a2
00002651: JUMPI
00002652: PUSH1 0x40
00002654: MLOAD
00002655: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002676: DUP2
00002677: MSTORE
00002678: PUSH1 0x04
0000267a: ADD
0000267b: DUP1
0000267c: DUP1
0000267d: PUSH1 0x20
0000267f: ADD
00002680: DUP3
00002681: DUP2
00002682: SUB
00002683: DUP3
00002684: MSTORE
00002685: PUSH1 0x23
00002687: DUP2
00002688: MSTORE
00002689: PUSH1 0x20
0000268b: ADD
0000268c: DUP1
0000268d: PUSH2 0x3e2a
00002690: PUSH1 0x23
00002692: SWAP2
00002693: CODECOPY
00002694: PUSH1 0x40
00002696: ADD
00002697: SWAP2
00002698: POP
00002699: POP
0000269a: PUSH1 0x40
0000269c: MLOAD
0000269d: DUP1
0000269e: SWAP2
0000269f: SUB
000026a0: SWAP1
000026a1: REVERT
000026a2: JUMPDEST
000026a3: PUSH1 0x04
000026a5: PUSH1 0x00
000026a7: SWAP1
000026a8: SLOAD
000026a9: SWAP1
000026aa: PUSH2 0x0100
000026ad: EXP
000026ae: SWAP1
000026af: DIV
000026b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026c5: AND
000026c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026db: AND
000026dc: PUSH4 0xe4e4dc2c
000026e1: DUP6
000026e2: DUP6
000026e3: DUP6
000026e4: CALLER
000026e5: PUSH1 0x40
000026e7: MLOAD
000026e8: DUP6
000026e9: PUSH4 0xffffffff
000026ee: AND
000026ef: PUSH1 0xe0
000026f1: SHL
000026f2: DUP2
000026f3: MSTORE
000026f4: PUSH1 0x04
000026f6: ADD
000026f7: DUP1
000026f8: DUP6
000026f9: DUP2
000026fa: MSTORE
000026fb: PUSH1 0x20
000026fd: ADD
000026fe: DUP5
000026ff: ISZERO
00002700: ISZERO
00002701: ISZERO
00002702: ISZERO
00002703: DUP2
00002704: MSTORE
00002705: PUSH1 0x20
00002707: ADD
00002708: DUP4
00002709: ISZERO
0000270a: ISZERO
0000270b: ISZERO
0000270c: ISZERO
0000270d: DUP2
0000270e: MSTORE
0000270f: PUSH1 0x20
00002711: ADD
00002712: DUP3
00002713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002728: AND
00002729: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000273e: AND
0000273f: DUP2
00002740: MSTORE
00002741: PUSH1 0x20
00002743: ADD
00002744: SWAP5
00002745: POP
00002746: POP
00002747: POP
00002748: POP
00002749: POP
0000274a: PUSH1 0x00
0000274c: PUSH1 0x40
0000274e: MLOAD
0000274f: DUP1
00002750: DUP4
00002751: SUB
00002752: DUP2
00002753: PUSH1 0x00
00002755: DUP8
00002756: DUP1
00002757: EXTCODESIZE
00002758: ISZERO
00002759: DUP1
0000275a: ISZERO
0000275b: PUSH2 0x2763
0000275e: JUMPI
0000275f: PUSH1 0x00
00002761: DUP1
00002762: REVERT
00002763: JUMPDEST
00002764: POP
00002765: GAS
00002766: CALL
00002767: ISZERO
00002768: DUP1
00002769: ISZERO
0000276a: PUSH2 0x2777
0000276d: JUMPI
0000276e: RETURNDATASIZE
0000276f: PUSH1 0x00
00002771: DUP1
00002772: RETURNDATACOPY
00002773: RETURNDATASIZE
00002774: PUSH1 0x00
00002776: REVERT
00002777: JUMPDEST
00002778: POP
00002779: POP
0000277a: POP
0000277b: POP
0000277c: PUSH1 0x02
0000277e: SLOAD
0000277f: DUP2
00002780: EQ
00002781: PUSH2 0x27f2
00002784: JUMPI
00002785: PUSH1 0x40
00002787: MLOAD
00002788: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000027a9: DUP2
000027aa: MSTORE
000027ab: PUSH1 0x04
000027ad: ADD
000027ae: DUP1
000027af: DUP1
000027b0: PUSH1 0x20
000027b2: ADD
000027b3: DUP3
000027b4: DUP2
000027b5: SUB
000027b6: DUP3
000027b7: MSTORE
000027b8: PUSH1 0x1f
000027ba: DUP2
000027bb: MSTORE
000027bc: PUSH1 0x20
000027be: ADD
000027bf: DUP1
000027c0: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000027e1: DUP2
000027e2: MSTORE
000027e3: POP
000027e4: PUSH1 0x20
000027e6: ADD
000027e7: SWAP2
000027e8: POP
000027e9: POP
000027ea: PUSH1 0x40
000027ec: MLOAD
000027ed: DUP1
000027ee: SWAP2
000027ef: SUB
000027f0: SWAP1
000027f1: REVERT
000027f2: JUMPDEST
000027f3: POP
000027f4: POP
000027f5: POP
000027f6: POP
000027f7: JUMP
000027f8: JUMPDEST
000027f9: PUSH2 0x2801
000027fc: CALLER
000027fd: PUSH2 0x38a7
00002800: JUMP
00002801: JUMPDEST
00002802: JUMP
00002803: JUMPDEST
00002804: PUSH2 0x280b
00002807: PUSH2 0x2b93
0000280a: JUMP
0000280b: JUMPDEST
0000280c: PUSH2 0x287d
0000280f: JUMPI
00002810: PUSH1 0x40
00002812: MLOAD
00002813: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002834: DUP2
00002835: MSTORE
00002836: PUSH1 0x04
00002838: ADD
00002839: DUP1
0000283a: DUP1
0000283b: PUSH1 0x20
0000283d: ADD
0000283e: DUP3
0000283f: DUP2
00002840: SUB
00002841: DUP3
00002842: MSTORE
00002843: PUSH1 0x20
00002845: DUP2
00002846: MSTORE
00002847: PUSH1 0x20
00002849: ADD
0000284a: DUP1
0000284b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000286c: DUP2
0000286d: MSTORE
0000286e: POP
0000286f: PUSH1 0x20
00002871: ADD
00002872: SWAP2
00002873: POP
00002874: POP
00002875: PUSH1 0x40
00002877: MLOAD
00002878: DUP1
00002879: SWAP2
0000287a: SUB
0000287b: SWAP1
0000287c: REVERT
0000287d: JUMPDEST
0000287e: PUSH1 0x00
00002880: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002895: AND
00002896: PUSH1 0x03
00002898: PUSH1 0x00
0000289a: SWAP1
0000289b: SLOAD
0000289c: SWAP1
0000289d: PUSH2 0x0100
000028a0: EXP
000028a1: SWAP1
000028a2: DIV
000028a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028b8: AND
000028b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028ce: AND
000028cf: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000028f0: PUSH1 0x40
000028f2: MLOAD
000028f3: PUSH1 0x40
000028f5: MLOAD
000028f6: DUP1
000028f7: SWAP2
000028f8: SUB
000028f9: SWAP1
000028fa: LOG3
000028fb: PUSH1 0x00
000028fd: PUSH1 0x03
000028ff: PUSH1 0x00
00002901: PUSH2 0x0100
00002904: EXP
00002905: DUP2
00002906: SLOAD
00002907: DUP2
00002908: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000291d: MUL
0000291e: NOT
0000291f: AND
00002920: SWAP1
00002921: DUP4
00002922: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002937: AND
00002938: MUL
00002939: OR
0000293a: SWAP1
0000293b: SSTORE
0000293c: POP
0000293d: JUMP
0000293e: JUMPDEST
0000293f: PUSH1 0x00
00002941: PUSH1 0x18
00002943: PUSH1 0x00
00002945: DUP4
00002946: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000295b: AND
0000295c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002971: AND
00002972: DUP2
00002973: MSTORE
00002974: PUSH1 0x20
00002976: ADD
00002977: SWAP1
00002978: DUP2
00002979: MSTORE
0000297a: PUSH1 0x20
0000297c: ADD
0000297d: PUSH1 0x00
0000297f: KECCAK256
00002980: PUSH1 0x00
00002982: SWAP1
00002983: SLOAD
00002984: SWAP1
00002985: PUSH2 0x0100
00002988: EXP
00002989: SWAP1
0000298a: DIV
0000298b: PUSH1 0xff
0000298d: AND
0000298e: SWAP1
0000298f: POP
00002990: SWAP2
00002991: SWAP1
00002992: POP
00002993: JUMP
00002994: JUMPDEST
00002995: PUSH7 0x60a24181e40000
0000299d: DUP2
0000299e: JUMP
0000299f: JUMPDEST
000029a0: PUSH2 0x29a8
000029a3: CALLER
000029a4: PUSH2 0x186b
000029a7: JUMP
000029a8: JUMPDEST
000029a9: PUSH2 0x29fd
000029ac: JUMPI
000029ad: PUSH1 0x40
000029af: MLOAD
000029b0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000029d1: DUP2
000029d2: MSTORE
000029d3: PUSH1 0x04
000029d5: ADD
000029d6: DUP1
000029d7: DUP1
000029d8: PUSH1 0x20
000029da: ADD
000029db: DUP3
000029dc: DUP2
000029dd: SUB
000029de: DUP3
000029df: MSTORE
000029e0: PUSH1 0x30
000029e2: DUP2
000029e3: MSTORE
000029e4: PUSH1 0x20
000029e6: ADD
000029e7: DUP1
000029e8: PUSH2 0x3d27
000029eb: PUSH1 0x30
000029ed: SWAP2
000029ee: CODECOPY
000029ef: PUSH1 0x40
000029f1: ADD
000029f2: SWAP2
000029f3: POP
000029f4: POP
000029f5: PUSH1 0x40
000029f7: MLOAD
000029f8: DUP1
000029f9: SWAP2
000029fa: SUB
000029fb: SWAP1
000029fc: REVERT
000029fd: JUMPDEST
000029fe: PUSH2 0x2a06
00002a01: DUP2
00002a02: PUSH2 0x3901
00002a05: JUMP
00002a06: JUMPDEST
00002a07: POP
00002a08: JUMP
00002a09: JUMPDEST
00002a0a: PUSH2 0x2a12
00002a0d: CALLER
00002a0e: PUSH2 0x186b
00002a11: JUMP
00002a12: JUMPDEST
00002a13: PUSH2 0x2a67
00002a16: JUMPI
00002a17: PUSH1 0x40
00002a19: MLOAD
00002a1a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a3b: DUP2
00002a3c: MSTORE
00002a3d: PUSH1 0x04
00002a3f: ADD
00002a40: DUP1
00002a41: DUP1
00002a42: PUSH1 0x20
00002a44: ADD
00002a45: DUP3
00002a46: DUP2
00002a47: SUB
00002a48: DUP3
00002a49: MSTORE
00002a4a: PUSH1 0x30
00002a4c: DUP2
00002a4d: MSTORE
00002a4e: PUSH1 0x20
00002a50: ADD
00002a51: DUP1
00002a52: PUSH2 0x3d27
00002a55: PUSH1 0x30
00002a57: SWAP2
00002a58: CODECOPY
00002a59: PUSH1 0x40
00002a5b: ADD
00002a5c: SWAP2
00002a5d: POP
00002a5e: POP
00002a5f: PUSH1 0x40
00002a61: MLOAD
00002a62: DUP1
00002a63: SWAP2
00002a64: SUB
00002a65: SWAP1
00002a66: REVERT
00002a67: JUMPDEST
00002a68: PUSH1 0x01
00002a6a: PUSH1 0x00
00002a6c: SWAP1
00002a6d: SLOAD
00002a6e: SWAP1
00002a6f: PUSH2 0x0100
00002a72: EXP
00002a73: SWAP1
00002a74: DIV
00002a75: PUSH1 0xff
00002a77: AND
00002a78: ISZERO
00002a79: PUSH2 0x2aea
00002a7c: JUMPI
00002a7d: PUSH1 0x40
00002a7f: MLOAD
00002a80: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002aa1: DUP2
00002aa2: MSTORE
00002aa3: PUSH1 0x04
00002aa5: ADD
00002aa6: DUP1
00002aa7: DUP1
00002aa8: PUSH1 0x20
00002aaa: ADD
00002aab: DUP3
00002aac: DUP2
00002aad: SUB
00002aae: DUP3
00002aaf: MSTORE
00002ab0: PUSH1 0x10
00002ab2: DUP2
00002ab3: MSTORE
00002ab4: PUSH1 0x20
00002ab6: ADD
00002ab7: DUP1
00002ab8: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00002ad9: DUP2
00002ada: MSTORE
00002adb: POP
00002adc: PUSH1 0x20
00002ade: ADD
00002adf: SWAP2
00002ae0: POP
00002ae1: POP
00002ae2: PUSH1 0x40
00002ae4: MLOAD
00002ae5: DUP1
00002ae6: SWAP2
00002ae7: SUB
00002ae8: SWAP1
00002ae9: REVERT
00002aea: JUMPDEST
00002aeb: PUSH1 0x01
00002aed: DUP1
00002aee: PUSH1 0x00
00002af0: PUSH2 0x0100
00002af3: EXP
00002af4: DUP2
00002af5: SLOAD
00002af6: DUP2
00002af7: PUSH1 0xff
00002af9: MUL
00002afa: NOT
00002afb: AND
00002afc: SWAP1
00002afd: DUP4
00002afe: ISZERO
00002aff: ISZERO
00002b00: MUL
00002b01: OR
00002b02: SWAP1
00002b03: SSTORE
00002b04: POP
00002b05: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00002b26: CALLER
00002b27: PUSH1 0x40
00002b29: MLOAD
00002b2a: DUP1
00002b2b: DUP3
00002b2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b41: AND
00002b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b57: AND
00002b58: DUP2
00002b59: MSTORE
00002b5a: PUSH1 0x20
00002b5c: ADD
00002b5d: SWAP2
00002b5e: POP
00002b5f: POP
00002b60: PUSH1 0x40
00002b62: MLOAD
00002b63: DUP1
00002b64: SWAP2
00002b65: SUB
00002b66: SWAP1
00002b67: LOG1
00002b68: JUMP
00002b69: JUMPDEST
00002b6a: PUSH1 0x00
00002b6c: PUSH1 0x03
00002b6e: PUSH1 0x00
00002b70: SWAP1
00002b71: SLOAD
00002b72: SWAP1
00002b73: PUSH2 0x0100
00002b76: EXP
00002b77: SWAP1
00002b78: DIV
00002b79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b8e: AND
00002b8f: SWAP1
00002b90: POP
00002b91: SWAP1
00002b92: JUMP
00002b93: JUMPDEST
00002b94: PUSH1 0x00
00002b96: PUSH1 0x03
00002b98: PUSH1 0x00
00002b9a: SWAP1
00002b9b: SLOAD
00002b9c: SWAP1
00002b9d: PUSH2 0x0100
00002ba0: EXP
00002ba1: SWAP1
00002ba2: DIV
00002ba3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bb8: AND
00002bb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bce: AND
00002bcf: CALLER
00002bd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002be5: AND
00002be6: EQ
00002be7: SWAP1
00002be8: POP
00002be9: SWAP1
00002bea: JUMP
00002beb: JUMPDEST
00002bec: PUSH1 0x18
00002bee: PUSH1 0x20
00002bf0: MSTORE
00002bf1: DUP1
00002bf2: PUSH1 0x00
00002bf4: MSTORE
00002bf5: PUSH1 0x40
00002bf7: PUSH1 0x00
00002bf9: KECCAK256
00002bfa: PUSH1 0x00
00002bfc: SWAP2
00002bfd: POP
00002bfe: SLOAD
00002bff: SWAP1
00002c00: PUSH2 0x0100
00002c03: EXP
00002c04: SWAP1
00002c05: DIV
00002c06: PUSH1 0xff
00002c08: AND
00002c09: DUP2
00002c0a: JUMP
00002c0b: JUMPDEST
00002c0c: PUSH1 0x1a
00002c0e: PUSH1 0x20
00002c10: MSTORE
00002c11: DUP1
00002c12: PUSH1 0x00
00002c14: MSTORE
00002c15: PUSH1 0x40
00002c17: PUSH1 0x00
00002c19: KECCAK256
00002c1a: PUSH1 0x00
00002c1c: SWAP2
00002c1d: POP
00002c1e: SWAP1
00002c1f: POP
00002c20: SLOAD
00002c21: DUP2
00002c22: JUMP
00002c23: JUMPDEST
00002c24: PUSH2 0x2c2b
00002c27: PUSH2 0x2b93
00002c2a: JUMP
00002c2b: JUMPDEST
00002c2c: PUSH2 0x2c9d
00002c2f: JUMPI
00002c30: PUSH1 0x40
00002c32: MLOAD
00002c33: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c54: DUP2
00002c55: MSTORE
00002c56: PUSH1 0x04
00002c58: ADD
00002c59: DUP1
00002c5a: DUP1
00002c5b: PUSH1 0x20
00002c5d: ADD
00002c5e: DUP3
00002c5f: DUP2
00002c60: SUB
00002c61: DUP3
00002c62: MSTORE
00002c63: PUSH1 0x20
00002c65: DUP2
00002c66: MSTORE
00002c67: PUSH1 0x20
00002c69: ADD
00002c6a: DUP1
00002c6b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002c8c: DUP2
00002c8d: MSTORE
00002c8e: POP
00002c8f: PUSH1 0x20
00002c91: ADD
00002c92: SWAP2
00002c93: POP
00002c94: POP
00002c95: PUSH1 0x40
00002c97: MLOAD
00002c98: DUP1
00002c99: SWAP2
00002c9a: SUB
00002c9b: SWAP1
00002c9c: REVERT
00002c9d: JUMPDEST
00002c9e: DUP1
00002c9f: PUSH1 0x04
00002ca1: PUSH1 0x00
00002ca3: PUSH2 0x0100
00002ca6: EXP
00002ca7: DUP2
00002ca8: SLOAD
00002ca9: DUP2
00002caa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cbf: MUL
00002cc0: NOT
00002cc1: AND
00002cc2: SWAP1
00002cc3: DUP4
00002cc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cd9: AND
00002cda: MUL
00002cdb: OR
00002cdc: SWAP1
00002cdd: SSTORE
00002cde: POP
00002cdf: POP
00002ce0: JUMP
00002ce1: JUMPDEST
00002ce2: PUSH1 0x00
00002ce4: DUP1
00002ce5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cfa: AND
00002cfb: PUSH1 0x04
00002cfd: PUSH1 0x00
00002cff: SWAP1
00002d00: SLOAD
00002d01: SWAP1
00002d02: PUSH2 0x0100
00002d05: EXP
00002d06: SWAP1
00002d07: DIV
00002d08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d1d: AND
00002d1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d33: AND
00002d34: EQ
00002d35: ISZERO
00002d36: PUSH2 0x2d8a
00002d39: JUMPI
00002d3a: PUSH1 0x40
00002d3c: MLOAD
00002d3d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d5e: DUP2
00002d5f: MSTORE
00002d60: PUSH1 0x04
00002d62: ADD
00002d63: DUP1
00002d64: DUP1
00002d65: PUSH1 0x20
00002d67: ADD
00002d68: DUP3
00002d69: DUP2
00002d6a: SUB
00002d6b: DUP3
00002d6c: MSTORE
00002d6d: PUSH1 0x23
00002d6f: DUP2
00002d70: MSTORE
00002d71: PUSH1 0x20
00002d73: ADD
00002d74: DUP1
00002d75: PUSH2 0x3e2a
00002d78: PUSH1 0x23
00002d7a: SWAP2
00002d7b: CODECOPY
00002d7c: PUSH1 0x40
00002d7e: ADD
00002d7f: SWAP2
00002d80: POP
00002d81: POP
00002d82: PUSH1 0x40
00002d84: MLOAD
00002d85: DUP1
00002d86: SWAP2
00002d87: SUB
00002d88: SWAP1
00002d89: REVERT
00002d8a: JUMPDEST
00002d8b: NUMBER
00002d8c: PUSH1 0x04
00002d8e: PUSH1 0x00
00002d90: SWAP1
00002d91: SLOAD
00002d92: SWAP1
00002d93: PUSH2 0x0100
00002d96: EXP
00002d97: SWAP1
00002d98: DIV
00002d99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dae: AND
00002daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dc4: AND
00002dc5: PUSH4 0xc24abff6
00002dca: DUP5
00002dcb: PUSH1 0x40
00002dcd: MLOAD
00002dce: DUP3
00002dcf: PUSH4 0xffffffff
00002dd4: AND
00002dd5: PUSH1 0xe0
00002dd7: SHL
00002dd8: DUP2
00002dd9: MSTORE
00002dda: PUSH1 0x04
00002ddc: ADD
00002ddd: DUP1
00002dde: DUP3
00002ddf: DUP2
00002de0: MSTORE
00002de1: PUSH1 0x20
00002de3: ADD
00002de4: SWAP2
00002de5: POP
00002de6: POP
00002de7: PUSH1 0x20
00002de9: PUSH1 0x40
00002deb: MLOAD
00002dec: DUP1
00002ded: DUP4
00002dee: SUB
00002def: DUP2
00002df0: DUP7
00002df1: DUP1
00002df2: EXTCODESIZE
00002df3: ISZERO
00002df4: DUP1
00002df5: ISZERO
00002df6: PUSH2 0x2dfe
00002df9: JUMPI
00002dfa: PUSH1 0x00
00002dfc: DUP1
00002dfd: REVERT
00002dfe: JUMPDEST
00002dff: POP
00002e00: GAS
00002e01: STATICCALL
00002e02: ISZERO
00002e03: DUP1
00002e04: ISZERO
00002e05: PUSH2 0x2e12
00002e08: JUMPI
00002e09: RETURNDATASIZE
00002e0a: PUSH1 0x00
00002e0c: DUP1
00002e0d: RETURNDATACOPY
00002e0e: RETURNDATASIZE
00002e0f: PUSH1 0x00
00002e11: REVERT
00002e12: JUMPDEST
00002e13: POP
00002e14: POP
00002e15: POP
00002e16: POP
00002e17: PUSH1 0x40
00002e19: MLOAD
00002e1a: RETURNDATASIZE
00002e1b: PUSH1 0x20
00002e1d: DUP2
00002e1e: LT
00002e1f: ISZERO
00002e20: PUSH2 0x2e28
00002e23: JUMPI
00002e24: PUSH1 0x00
00002e26: DUP1
00002e27: REVERT
00002e28: JUMPDEST
00002e29: DUP2
00002e2a: ADD
00002e2b: SWAP1
00002e2c: DUP1
00002e2d: DUP1
00002e2e: MLOAD
00002e2f: SWAP1
00002e30: PUSH1 0x20
00002e32: ADD
00002e33: SWAP1
00002e34: SWAP3
00002e35: SWAP2
00002e36: SWAP1
00002e37: POP
00002e38: POP
00002e39: POP
00002e3a: GT
00002e3b: PUSH2 0x2e47
00002e3e: JUMPI
00002e3f: PUSH1 0x00
00002e41: SWAP1
00002e42: POP
00002e43: PUSH2 0x2f0a
00002e46: JUMP
00002e47: JUMPDEST
00002e48: PUSH2 0x2f07
00002e4b: NUMBER
00002e4c: PUSH1 0x04
00002e4e: PUSH1 0x00
00002e50: SWAP1
00002e51: SLOAD
00002e52: SWAP1
00002e53: PUSH2 0x0100
00002e56: EXP
00002e57: SWAP1
00002e58: DIV
00002e59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e6e: AND
00002e6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e84: AND
00002e85: PUSH4 0xc24abff6
00002e8a: DUP6
00002e8b: PUSH1 0x40
00002e8d: MLOAD
00002e8e: DUP3
00002e8f: PUSH4 0xffffffff
00002e94: AND
00002e95: PUSH1 0xe0
00002e97: SHL
00002e98: DUP2
00002e99: MSTORE
00002e9a: PUSH1 0x04
00002e9c: ADD
00002e9d: DUP1
00002e9e: DUP3
00002e9f: DUP2
00002ea0: MSTORE
00002ea1: PUSH1 0x20
00002ea3: ADD
00002ea4: SWAP2
00002ea5: POP
00002ea6: POP
00002ea7: PUSH1 0x20
00002ea9: PUSH1 0x40
00002eab: MLOAD
00002eac: DUP1
00002ead: DUP4
00002eae: SUB
00002eaf: DUP2
00002eb0: DUP7
00002eb1: DUP1
00002eb2: EXTCODESIZE
00002eb3: ISZERO
00002eb4: DUP1
00002eb5: ISZERO
00002eb6: PUSH2 0x2ebe
00002eb9: JUMPI
00002eba: PUSH1 0x00
00002ebc: DUP1
00002ebd: REVERT
00002ebe: JUMPDEST
00002ebf: POP
00002ec0: GAS
00002ec1: STATICCALL
00002ec2: ISZERO
00002ec3: DUP1
00002ec4: ISZERO
00002ec5: PUSH2 0x2ed2
00002ec8: JUMPI
00002ec9: RETURNDATASIZE
00002eca: PUSH1 0x00
00002ecc: DUP1
00002ecd: RETURNDATACOPY
00002ece: RETURNDATASIZE
00002ecf: PUSH1 0x00
00002ed1: REVERT
00002ed2: JUMPDEST
00002ed3: POP
00002ed4: POP
00002ed5: POP
00002ed6: POP
00002ed7: PUSH1 0x40
00002ed9: MLOAD
00002eda: RETURNDATASIZE
00002edb: PUSH1 0x20
00002edd: DUP2
00002ede: LT
00002edf: ISZERO
00002ee0: PUSH2 0x2ee8
00002ee3: JUMPI
00002ee4: PUSH1 0x00
00002ee6: DUP1
00002ee7: REVERT
00002ee8: JUMPDEST
00002ee9: DUP2
00002eea: ADD
00002eeb: SWAP1
00002eec: DUP1
00002eed: DUP1
00002eee: MLOAD
00002eef: SWAP1
00002ef0: PUSH1 0x20
00002ef2: ADD
00002ef3: SWAP1
00002ef4: SWAP3
00002ef5: SWAP2
00002ef6: SWAP1
00002ef7: POP
00002ef8: POP
00002ef9: POP
00002efa: PUSH2 0x378f
00002efd: SWAP1
00002efe: SWAP2
00002eff: SWAP1
00002f00: PUSH4 0xffffffff
00002f05: AND
00002f06: JUMP
00002f07: JUMPDEST
00002f08: SWAP1
00002f09: POP
00002f0a: JUMPDEST
00002f0b: SWAP2
00002f0c: SWAP1
00002f0d: POP
00002f0e: JUMP
00002f0f: JUMPDEST
00002f10: PUSH1 0x04
00002f12: PUSH1 0x00
00002f14: SWAP1
00002f15: SLOAD
00002f16: SWAP1
00002f17: PUSH2 0x0100
00002f1a: EXP
00002f1b: SWAP1
00002f1c: DIV
00002f1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f32: AND
00002f33: DUP2
00002f34: JUMP
00002f35: JUMPDEST
00002f36: PUSH1 0x00
00002f38: ADDRESS
00002f39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f4e: AND
00002f4f: BALANCE
00002f50: SWAP1
00002f51: POP
00002f52: SWAP1
00002f53: JUMP
00002f54: JUMPDEST
00002f55: PUSH1 0x10
00002f57: DUP2
00002f58: PUSH1 0x05
00002f5a: DUP2
00002f5b: LT
00002f5c: PUSH2 0x2f61
00002f5f: JUMPI
00002f60: INVALID
00002f61: JUMPDEST
00002f62: ADD
00002f63: PUSH1 0x00
00002f65: SWAP2
00002f66: POP
00002f67: SWAP1
00002f68: POP
00002f69: SLOAD
00002f6a: DUP2
00002f6b: JUMP
00002f6c: JUMPDEST
00002f6d: PUSH2 0x2f74
00002f70: PUSH2 0x2b93
00002f73: JUMP
00002f74: JUMPDEST
00002f75: PUSH2 0x2fe6
00002f78: JUMPI
00002f79: PUSH1 0x40
00002f7b: MLOAD
00002f7c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f9d: DUP2
00002f9e: MSTORE
00002f9f: PUSH1 0x04
00002fa1: ADD
00002fa2: DUP1
00002fa3: DUP1
00002fa4: PUSH1 0x20
00002fa6: ADD
00002fa7: DUP3
00002fa8: DUP2
00002fa9: SUB
00002faa: DUP3
00002fab: MSTORE
00002fac: PUSH1 0x20
00002fae: DUP2
00002faf: MSTORE
00002fb0: PUSH1 0x20
00002fb2: ADD
00002fb3: DUP1
00002fb4: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002fd5: DUP2
00002fd6: MSTORE
00002fd7: POP
00002fd8: PUSH1 0x20
00002fda: ADD
00002fdb: SWAP2
00002fdc: POP
00002fdd: POP
00002fde: PUSH1 0x40
00002fe0: MLOAD
00002fe1: DUP1
00002fe2: SWAP2
00002fe3: SUB
00002fe4: SWAP1
00002fe5: REVERT
00002fe6: JUMPDEST
00002fe7: PUSH1 0x04
00002fe9: PUSH1 0x00
00002feb: SWAP1
00002fec: SLOAD
00002fed: SWAP1
00002fee: PUSH2 0x0100
00002ff1: EXP
00002ff2: SWAP1
00002ff3: DIV
00002ff4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003009: AND
0000300a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000301f: AND
00003020: PUSH4 0xd4b11713
00003025: DUP3
00003026: PUSH1 0x40
00003028: MLOAD
00003029: DUP3
0000302a: PUSH4 0xffffffff
0000302f: AND
00003030: PUSH1 0xe0
00003032: SHL
00003033: DUP2
00003034: MSTORE
00003035: PUSH1 0x04
00003037: ADD
00003038: DUP1
00003039: DUP3
0000303a: DUP2
0000303b: MSTORE
0000303c: PUSH1 0x20
0000303e: ADD
0000303f: SWAP2
00003040: POP
00003041: POP
00003042: PUSH1 0x00
00003044: PUSH1 0x40
00003046: MLOAD
00003047: DUP1
00003048: DUP4
00003049: SUB
0000304a: DUP2
0000304b: PUSH1 0x00
0000304d: DUP8
0000304e: DUP1
0000304f: EXTCODESIZE
00003050: ISZERO
00003051: DUP1
00003052: ISZERO
00003053: PUSH2 0x305b
00003056: JUMPI
00003057: PUSH1 0x00
00003059: DUP1
0000305a: REVERT
0000305b: JUMPDEST
0000305c: POP
0000305d: GAS
0000305e: CALL
0000305f: ISZERO
00003060: DUP1
00003061: ISZERO
00003062: PUSH2 0x306f
00003065: JUMPI
00003066: RETURNDATASIZE
00003067: PUSH1 0x00
00003069: DUP1
0000306a: RETURNDATACOPY
0000306b: RETURNDATASIZE
0000306c: PUSH1 0x00
0000306e: REVERT
0000306f: JUMPDEST
00003070: POP
00003071: POP
00003072: POP
00003073: POP
00003074: POP
00003075: JUMP
00003076: JUMPDEST
00003077: PUSH1 0x00
00003079: PUSH1 0x03
0000307b: DUP3
0000307c: MLOAD
0000307d: GT
0000307e: PUSH2 0x30ef
00003081: JUMPI
00003082: PUSH1 0x40
00003084: MLOAD
00003085: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000030a6: DUP2
000030a7: MSTORE
000030a8: PUSH1 0x04
000030aa: ADD
000030ab: DUP1
000030ac: DUP1
000030ad: PUSH1 0x20
000030af: ADD
000030b0: DUP3
000030b1: DUP2
000030b2: SUB
000030b3: DUP3
000030b4: MSTORE
000030b5: PUSH1 0x09
000030b7: DUP2
000030b8: MSTORE
000030b9: PUSH1 0x20
000030bb: ADD
000030bc: DUP1
000030bd: PUSH32 0x746f6f2073686f72740000000000000000000000000000000000000000000000
000030de: DUP2
000030df: MSTORE
000030e0: POP
000030e1: PUSH1 0x20
000030e3: ADD
000030e4: SWAP2
000030e5: POP
000030e6: POP
000030e7: PUSH1 0x40
000030e9: MLOAD
000030ea: DUP1
000030eb: SWAP2
000030ec: SUB
000030ed: SWAP1
000030ee: REVERT
000030ef: JUMPDEST
000030f0: PUSH1 0x09
000030f2: DUP3
000030f3: MLOAD
000030f4: LT
000030f5: PUSH2 0x3166
000030f8: JUMPI
000030f9: PUSH1 0x40
000030fb: MLOAD
000030fc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000311d: DUP2
0000311e: MSTORE
0000311f: PUSH1 0x04
00003121: ADD
00003122: DUP1
00003123: DUP1
00003124: PUSH1 0x20
00003126: ADD
00003127: DUP3
00003128: DUP2
00003129: SUB
0000312a: DUP3
0000312b: MSTORE
0000312c: PUSH1 0x08
0000312e: DUP2
0000312f: MSTORE
00003130: PUSH1 0x20
00003132: ADD
00003133: DUP1
00003134: PUSH32 0x746f6f206c6f6e67000000000000000000000000000000000000000000000000
00003155: DUP2
00003156: MSTORE
00003157: POP
00003158: PUSH1 0x20
0000315a: ADD
0000315b: SWAP2
0000315c: POP
0000315d: POP
0000315e: PUSH1 0x40
00003160: MLOAD
00003161: DUP1
00003162: SWAP2
00003163: SUB
00003164: SWAP1
00003165: REVERT
00003166: JUMPDEST
00003167: PUSH1 0x00
00003169: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000317e: AND
0000317f: PUSH1 0x17
00003181: DUP4
00003182: PUSH1 0x40
00003184: MLOAD
00003185: DUP1
00003186: DUP3
00003187: DUP1
00003188: MLOAD
00003189: SWAP1
0000318a: PUSH1 0x20
0000318c: ADD
0000318d: SWAP1
0000318e: DUP1
0000318f: DUP4
00003190: DUP4
00003191: JUMPDEST
00003192: PUSH1 0x20
00003194: DUP4
00003195: LT
00003196: PUSH2 0x31b4
00003199: JUMPI
0000319a: DUP1
0000319b: MLOAD
0000319c: DUP3
0000319d: MSTORE
0000319e: PUSH1 0x20
000031a0: DUP3
000031a1: ADD
000031a2: SWAP2
000031a3: POP
000031a4: PUSH1 0x20
000031a6: DUP2
000031a7: ADD
000031a8: SWAP1
000031a9: POP
000031aa: PUSH1 0x20
000031ac: DUP4
000031ad: SUB
000031ae: SWAP3
000031af: POP
000031b0: PUSH2 0x3191
000031b3: JUMP
000031b4: JUMPDEST
000031b5: PUSH1 0x01
000031b7: DUP4
000031b8: PUSH1 0x20
000031ba: SUB
000031bb: PUSH2 0x0100
000031be: EXP
000031bf: SUB
000031c0: DUP1
000031c1: NOT
000031c2: DUP3
000031c3: MLOAD
000031c4: AND
000031c5: DUP2
000031c6: DUP5
000031c7: MLOAD
000031c8: AND
000031c9: DUP1
000031ca: DUP3
000031cb: OR
000031cc: DUP6
000031cd: MSTORE
000031ce: POP
000031cf: POP
000031d0: POP
000031d1: POP
000031d2: POP
000031d3: POP
000031d4: SWAP1
000031d5: POP
000031d6: ADD
000031d7: SWAP2
000031d8: POP
000031d9: POP
000031da: SWAP1
000031db: DUP2
000031dc: MSTORE
000031dd: PUSH1 0x20
000031df: ADD
000031e0: PUSH1 0x40
000031e2: MLOAD
000031e3: DUP1
000031e4: SWAP2
000031e5: SUB
000031e6: SWAP1
000031e7: KECCAK256
000031e8: PUSH1 0x00
000031ea: SWAP1
000031eb: SLOAD
000031ec: SWAP1
000031ed: PUSH2 0x0100
000031f0: EXP
000031f1: SWAP1
000031f2: DIV
000031f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003208: AND
00003209: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000321e: AND
0000321f: EQ
00003220: PUSH2 0x3274
00003223: JUMPI
00003224: PUSH1 0x40
00003226: MLOAD
00003227: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003248: DUP2
00003249: MSTORE
0000324a: PUSH1 0x04
0000324c: ADD
0000324d: DUP1
0000324e: DUP1
0000324f: PUSH1 0x20
00003251: ADD
00003252: DUP3
00003253: DUP2
00003254: SUB
00003255: DUP3
00003256: MSTORE
00003257: PUSH1 0x25
00003259: DUP2
0000325a: MSTORE
0000325b: PUSH1 0x20
0000325d: ADD
0000325e: DUP1
0000325f: PUSH2 0x3d7d
00003262: PUSH1 0x25
00003264: SWAP2
00003265: CODECOPY
00003266: PUSH1 0x40
00003268: ADD
00003269: SWAP2
0000326a: POP
0000326b: POP
0000326c: PUSH1 0x40
0000326e: MLOAD
0000326f: DUP1
00003270: SWAP2
00003271: SUB
00003272: SWAP1
00003273: REVERT
00003274: JUMPDEST
00003275: PUSH2 0x327d
00003278: CALLER
00003279: PUSH2 0x293e
0000327c: JUMP
0000327d: JUMPDEST
0000327e: ISZERO
0000327f: PUSH2 0x32f0
00003282: JUMPI
00003283: PUSH1 0x40
00003285: MLOAD
00003286: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000032a7: DUP2
000032a8: MSTORE
000032a9: PUSH1 0x04
000032ab: ADD
000032ac: DUP1
000032ad: DUP1
000032ae: PUSH1 0x20
000032b0: ADD
000032b1: DUP3
000032b2: DUP2
000032b3: SUB
000032b4: DUP3
000032b5: MSTORE
000032b6: PUSH1 0x20
000032b8: DUP2
000032b9: MSTORE
000032ba: PUSH1 0x20
000032bc: ADD
000032bd: DUP1
000032be: PUSH32 0x6164647265737320616c72656164792068617320616e20616666696c69617465
000032df: DUP2
000032e0: MSTORE
000032e1: POP
000032e2: PUSH1 0x20
000032e4: ADD
000032e5: SWAP2
000032e6: POP
000032e7: POP
000032e8: PUSH1 0x40
000032ea: MLOAD
000032eb: DUP1
000032ec: SWAP2
000032ed: SUB
000032ee: SWAP1
000032ef: REVERT
000032f0: JUMPDEST
000032f1: CALLER
000032f2: PUSH1 0x17
000032f4: DUP4
000032f5: PUSH1 0x40
000032f7: MLOAD
000032f8: DUP1
000032f9: DUP3
000032fa: DUP1
000032fb: MLOAD
000032fc: SWAP1
000032fd: PUSH1 0x20
000032ff: ADD
00003300: SWAP1
00003301: DUP1
00003302: DUP4
00003303: DUP4
00003304: JUMPDEST
00003305: PUSH1 0x20
00003307: DUP4
00003308: LT
00003309: PUSH2 0x3327
0000330c: JUMPI
0000330d: DUP1
0000330e: MLOAD
0000330f: DUP3
00003310: MSTORE
00003311: PUSH1 0x20
00003313: DUP3
00003314: ADD
00003315: SWAP2
00003316: POP
00003317: PUSH1 0x20
00003319: DUP2
0000331a: ADD
0000331b: SWAP1
0000331c: POP
0000331d: PUSH1 0x20
0000331f: DUP4
00003320: SUB
00003321: SWAP3
00003322: POP
00003323: PUSH2 0x3304
00003326: JUMP
00003327: JUMPDEST
00003328: PUSH1 0x01
0000332a: DUP4
0000332b: PUSH1 0x20
0000332d: SUB
0000332e: PUSH2 0x0100
00003331: EXP
00003332: SUB
00003333: DUP1
00003334: NOT
00003335: DUP3
00003336: MLOAD
00003337: AND
00003338: DUP2
00003339: DUP5
0000333a: MLOAD
0000333b: AND
0000333c: DUP1
0000333d: DUP3
0000333e: OR
0000333f: DUP6
00003340: MSTORE
00003341: POP
00003342: POP
00003343: POP
00003344: POP
00003345: POP
00003346: POP
00003347: SWAP1
00003348: POP
00003349: ADD
0000334a: SWAP2
0000334b: POP
0000334c: POP
0000334d: SWAP1
0000334e: DUP2
0000334f: MSTORE
00003350: PUSH1 0x20
00003352: ADD
00003353: PUSH1 0x40
00003355: MLOAD
00003356: DUP1
00003357: SWAP2
00003358: SUB
00003359: SWAP1
0000335a: KECCAK256
0000335b: PUSH1 0x00
0000335d: PUSH2 0x0100
00003360: EXP
00003361: DUP2
00003362: SLOAD
00003363: DUP2
00003364: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003379: MUL
0000337a: NOT
0000337b: AND
0000337c: SWAP1
0000337d: DUP4
0000337e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003393: AND
00003394: MUL
00003395: OR
00003396: SWAP1
00003397: SSTORE
00003398: POP
00003399: DUP2
0000339a: PUSH1 0x19
0000339c: PUSH1 0x00
0000339e: CALLER
0000339f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033b4: AND
000033b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033ca: AND
000033cb: DUP2
000033cc: MSTORE
000033cd: PUSH1 0x20
000033cf: ADD
000033d0: SWAP1
000033d1: DUP2
000033d2: MSTORE
000033d3: PUSH1 0x20
000033d5: ADD
000033d6: PUSH1 0x00
000033d8: KECCAK256
000033d9: SWAP1
000033da: DUP1
000033db: MLOAD
000033dc: SWAP1
000033dd: PUSH1 0x20
000033df: ADD
000033e0: SWAP1
000033e1: PUSH2 0x33eb
000033e4: SWAP3
000033e5: SWAP2
000033e6: SWAP1
000033e7: PUSH2 0x3c81
000033ea: JUMP
000033eb: JUMPDEST
000033ec: POP
000033ed: PUSH1 0x01
000033ef: PUSH1 0x18
000033f1: PUSH1 0x00
000033f3: CALLER
000033f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003409: AND
0000340a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000341f: AND
00003420: DUP2
00003421: MSTORE
00003422: PUSH1 0x20
00003424: ADD
00003425: SWAP1
00003426: DUP2
00003427: MSTORE
00003428: PUSH1 0x20
0000342a: ADD
0000342b: PUSH1 0x00
0000342d: KECCAK256
0000342e: PUSH1 0x00
00003430: PUSH2 0x0100
00003433: EXP
00003434: DUP2
00003435: SLOAD
00003436: DUP2
00003437: PUSH1 0xff
00003439: MUL
0000343a: NOT
0000343b: AND
0000343c: SWAP1
0000343d: DUP4
0000343e: ISZERO
0000343f: ISZERO
00003440: MUL
00003441: OR
00003442: SWAP1
00003443: SSTORE
00003444: POP
00003445: PUSH32 0xcd783fd1508c373f7f8b4fda28bff2160aef87ac584320bb874220645c1ee0f5
00003466: CALLER
00003467: DUP4
00003468: PUSH1 0x40
0000346a: MLOAD
0000346b: DUP1
0000346c: DUP4
0000346d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003482: AND
00003483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003498: AND
00003499: DUP2
0000349a: MSTORE
0000349b: PUSH1 0x20
0000349d: ADD
0000349e: DUP1
0000349f: PUSH1 0x20
000034a1: ADD
000034a2: DUP3
000034a3: DUP2
000034a4: SUB
000034a5: DUP3
000034a6: MSTORE
000034a7: DUP4
000034a8: DUP2
000034a9: DUP2
000034aa: MLOAD
000034ab: DUP2
000034ac: MSTORE
000034ad: PUSH1 0x20
000034af: ADD
000034b0: SWAP2
000034b1: POP
000034b2: DUP1
000034b3: MLOAD
000034b4: SWAP1
000034b5: PUSH1 0x20
000034b7: ADD
000034b8: SWAP1
000034b9: DUP1
000034ba: DUP4
000034bb: DUP4
000034bc: PUSH1 0x00
000034be: JUMPDEST
000034bf: DUP4
000034c0: DUP2
000034c1: LT
000034c2: ISZERO
000034c3: PUSH2 0x34d9
000034c6: JUMPI
000034c7: DUP1
000034c8: DUP3
000034c9: ADD
000034ca: MLOAD
000034cb: DUP2
000034cc: DUP5
000034cd: ADD
000034ce: MSTORE
000034cf: PUSH1 0x20
000034d1: DUP2
000034d2: ADD
000034d3: SWAP1
000034d4: POP
000034d5: PUSH2 0x34be
000034d8: JUMP
000034d9: JUMPDEST
000034da: POP
000034db: POP
000034dc: POP
000034dd: POP
000034de: SWAP1
000034df: POP
000034e0: SWAP1
000034e1: DUP2
000034e2: ADD
000034e3: SWAP1
000034e4: PUSH1 0x1f
000034e6: AND
000034e7: DUP1
000034e8: ISZERO
000034e9: PUSH2 0x3506
000034ec: JUMPI
000034ed: DUP1
000034ee: DUP3
000034ef: SUB
000034f0: DUP1
000034f1: MLOAD
000034f2: PUSH1 0x01
000034f4: DUP4
000034f5: PUSH1 0x20
000034f7: SUB
000034f8: PUSH2 0x0100
000034fb: EXP
000034fc: SUB
000034fd: NOT
000034fe: AND
000034ff: DUP2
00003500: MSTORE
00003501: PUSH1 0x20
00003503: ADD
00003504: SWAP2
00003505: POP
00003506: JUMPDEST
00003507: POP
00003508: SWAP4
00003509: POP
0000350a: POP
0000350b: POP
0000350c: POP
0000350d: PUSH1 0x40
0000350f: MLOAD
00003510: DUP1
00003511: SWAP2
00003512: SUB
00003513: SWAP1
00003514: LOG1
00003515: PUSH1 0x01
00003517: SWAP1
00003518: POP
00003519: SWAP2
0000351a: SWAP1
0000351b: POP
0000351c: JUMP
0000351d: JUMPDEST
0000351e: PUSH2 0x3525
00003521: PUSH2 0x2b93
00003524: JUMP
00003525: JUMPDEST
00003526: PUSH2 0x3597
00003529: JUMPI
0000352a: PUSH1 0x40
0000352c: MLOAD
0000352d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000354e: DUP2
0000354f: MSTORE
00003550: PUSH1 0x04
00003552: ADD
00003553: DUP1
00003554: DUP1
00003555: PUSH1 0x20
00003557: ADD
00003558: DUP3
00003559: DUP2
0000355a: SUB
0000355b: DUP3
0000355c: MSTORE
0000355d: PUSH1 0x20
0000355f: DUP2
00003560: MSTORE
00003561: PUSH1 0x20
00003563: ADD
00003564: DUP1
00003565: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00003586: DUP2
00003587: MSTORE
00003588: POP
00003589: PUSH1 0x20
0000358b: ADD
0000358c: SWAP2
0000358d: POP
0000358e: POP
0000358f: PUSH1 0x40
00003591: MLOAD
00003592: DUP1
00003593: SWAP2
00003594: SUB
00003595: SWAP1
00003596: REVERT
00003597: JUMPDEST
00003598: PUSH2 0x35a0
0000359b: DUP2
0000359c: PUSH2 0x395b
0000359f: JUMP
000035a0: JUMPDEST
000035a1: POP
000035a2: JUMP
000035a3: JUMPDEST
000035a4: PUSH1 0x00
000035a6: DUP1
000035a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035bc: AND
000035bd: DUP3
000035be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035d3: AND
000035d4: EQ
000035d5: ISZERO
000035d6: PUSH2 0x362a
000035d9: JUMPI
000035da: PUSH1 0x40
000035dc: MLOAD
000035dd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000035fe: DUP2
000035ff: MSTORE
00003600: PUSH1 0x04
00003602: ADD
00003603: DUP1
00003604: DUP1
00003605: PUSH1 0x20
00003607: ADD
00003608: DUP3
00003609: DUP2
0000360a: SUB
0000360b: DUP3
0000360c: MSTORE
0000360d: PUSH1 0x22
0000360f: DUP2
00003610: MSTORE
00003611: PUSH1 0x20
00003613: ADD
00003614: DUP1
00003615: PUSH2 0x3e08
00003618: PUSH1 0x22
0000361a: SWAP2
0000361b: CODECOPY
0000361c: PUSH1 0x40
0000361e: ADD
0000361f: SWAP2
00003620: POP
00003621: POP
00003622: PUSH1 0x40
00003624: MLOAD
00003625: DUP1
00003626: SWAP2
00003627: SUB
00003628: SWAP1
00003629: REVERT
0000362a: JUMPDEST
0000362b: DUP3
0000362c: PUSH1 0x00
0000362e: ADD
0000362f: PUSH1 0x00
00003631: DUP4
00003632: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003647: AND
00003648: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000365d: AND
0000365e: DUP2
0000365f: MSTORE
00003660: PUSH1 0x20
00003662: ADD
00003663: SWAP1
00003664: DUP2
00003665: MSTORE
00003666: PUSH1 0x20
00003668: ADD
00003669: PUSH1 0x00
0000366b: KECCAK256
0000366c: PUSH1 0x00
0000366e: SWAP1
0000366f: SLOAD
00003670: SWAP1
00003671: PUSH2 0x0100
00003674: EXP
00003675: SWAP1
00003676: DIV
00003677: PUSH1 0xff
00003679: AND
0000367a: SWAP1
0000367b: POP
0000367c: SWAP3
0000367d: SWAP2
0000367e: POP
0000367f: POP
00003680: JUMP
00003681: JUMPDEST
00003682: PUSH1 0x00
00003684: DUP1
00003685: DUP4
00003686: EQ
00003687: ISZERO
00003688: PUSH2 0x3694
0000368b: JUMPI
0000368c: PUSH1 0x00
0000368e: SWAP1
0000368f: POP
00003690: PUSH2 0x3701
00003693: JUMP
00003694: JUMPDEST
00003695: PUSH1 0x00
00003697: DUP3
00003698: DUP5
00003699: MUL
0000369a: SWAP1
0000369b: POP
0000369c: DUP3
0000369d: DUP5
0000369e: DUP3
0000369f: DUP2
000036a0: PUSH2 0x36a5
000036a3: JUMPI
000036a4: INVALID
000036a5: JUMPDEST
000036a6: DIV
000036a7: EQ
000036a8: PUSH2 0x36fc
000036ab: JUMPI
000036ac: PUSH1 0x40
000036ae: MLOAD
000036af: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000036d0: DUP2
000036d1: MSTORE
000036d2: PUSH1 0x04
000036d4: ADD
000036d5: DUP1
000036d6: DUP1
000036d7: PUSH1 0x20
000036d9: ADD
000036da: DUP3
000036db: DUP2
000036dc: SUB
000036dd: DUP3
000036de: MSTORE
000036df: PUSH1 0x21
000036e1: DUP2
000036e2: MSTORE
000036e3: PUSH1 0x20
000036e5: ADD
000036e6: DUP1
000036e7: PUSH2 0x3de7
000036ea: PUSH1 0x21
000036ec: SWAP2
000036ed: CODECOPY
000036ee: PUSH1 0x40
000036f0: ADD
000036f1: SWAP2
000036f2: POP
000036f3: POP
000036f4: PUSH1 0x40
000036f6: MLOAD
000036f7: DUP1
000036f8: SWAP2
000036f9: SUB
000036fa: SWAP1
000036fb: REVERT
000036fc: JUMPDEST
000036fd: DUP1
000036fe: SWAP2
000036ff: POP
00003700: POP
00003701: JUMPDEST
00003702: SWAP3
00003703: SWAP2
00003704: POP
00003705: POP
00003706: JUMP
00003707: JUMPDEST
00003708: PUSH1 0x00
0000370a: DUP1
0000370b: DUP3
0000370c: DUP5
0000370d: ADD
0000370e: SWAP1
0000370f: POP
00003710: DUP4
00003711: DUP2
00003712: LT
00003713: ISZERO
00003714: PUSH2 0x3785
00003717: JUMPI
00003718: PUSH1 0x40
0000371a: MLOAD
0000371b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000373c: DUP2
0000373d: MSTORE
0000373e: PUSH1 0x04
00003740: ADD
00003741: DUP1
00003742: DUP1
00003743: PUSH1 0x20
00003745: ADD
00003746: DUP3
00003747: DUP2
00003748: SUB
00003749: DUP3
0000374a: MSTORE
0000374b: PUSH1 0x1b
0000374d: DUP2
0000374e: MSTORE
0000374f: PUSH1 0x20
00003751: ADD
00003752: DUP1
00003753: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00003774: DUP2
00003775: MSTORE
00003776: POP
00003777: PUSH1 0x20
00003779: ADD
0000377a: SWAP2
0000377b: POP
0000377c: POP
0000377d: PUSH1 0x40
0000377f: MLOAD
00003780: DUP1
00003781: SWAP2
00003782: SUB
00003783: SWAP1
00003784: REVERT
00003785: JUMPDEST
00003786: DUP1
00003787: SWAP2
00003788: POP
00003789: POP
0000378a: SWAP3
0000378b: SWAP2
0000378c: POP
0000378d: POP
0000378e: JUMP
0000378f: JUMPDEST
00003790: PUSH1 0x00
00003792: DUP3
00003793: DUP3
00003794: GT
00003795: ISZERO
00003796: PUSH2 0x3807
00003799: JUMPI
0000379a: PUSH1 0x40
0000379c: MLOAD
0000379d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000037be: DUP2
000037bf: MSTORE
000037c0: PUSH1 0x04
000037c2: ADD
000037c3: DUP1
000037c4: DUP1
000037c5: PUSH1 0x20
000037c7: ADD
000037c8: DUP3
000037c9: DUP2
000037ca: SUB
000037cb: DUP3
000037cc: MSTORE
000037cd: PUSH1 0x1e
000037cf: DUP2
000037d0: MSTORE
000037d1: PUSH1 0x20
000037d3: ADD
000037d4: DUP1
000037d5: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000037f6: DUP2
000037f7: MSTORE
000037f8: POP
000037f9: PUSH1 0x20
000037fb: ADD
000037fc: SWAP2
000037fd: POP
000037fe: POP
000037ff: PUSH1 0x40
00003801: MLOAD
00003802: DUP1
00003803: SWAP2
00003804: SUB
00003805: SWAP1
00003806: REVERT
00003807: JUMPDEST
00003808: PUSH1 0x00
0000380a: DUP3
0000380b: DUP5
0000380c: SUB
0000380d: SWAP1
0000380e: POP
0000380f: DUP1
00003810: SWAP2
00003811: POP
00003812: POP
00003813: SWAP3
00003814: SWAP2
00003815: POP
00003816: POP
00003817: JUMP
00003818: JUMPDEST
00003819: PUSH1 0x00
0000381b: DUP1
0000381c: DUP3
0000381d: GT
0000381e: PUSH2 0x388f
00003821: JUMPI
00003822: PUSH1 0x40
00003824: MLOAD
00003825: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003846: DUP2
00003847: MSTORE
00003848: PUSH1 0x04
0000384a: ADD
0000384b: DUP1
0000384c: DUP1
0000384d: PUSH1 0x20
0000384f: ADD
00003850: DUP3
00003851: DUP2
00003852: SUB
00003853: DUP3
00003854: MSTORE
00003855: PUSH1 0x1a
00003857: DUP2
00003858: MSTORE
00003859: PUSH1 0x20
0000385b: ADD
0000385c: DUP1
0000385d: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
0000387e: DUP2
0000387f: MSTORE
00003880: POP
00003881: PUSH1 0x20
00003883: ADD
00003884: SWAP2
00003885: POP
00003886: POP
00003887: PUSH1 0x40
00003889: MLOAD
0000388a: DUP1
0000388b: SWAP2
0000388c: SUB
0000388d: SWAP1
0000388e: REVERT
0000388f: JUMPDEST
00003890: PUSH1 0x00
00003892: DUP3
00003893: DUP5
00003894: DUP2
00003895: PUSH2 0x389a
00003898: JUMPI
00003899: INVALID
0000389a: JUMPDEST
0000389b: DIV
0000389c: SWAP1
0000389d: POP
0000389e: DUP1
0000389f: SWAP2
000038a0: POP
000038a1: POP
000038a2: SWAP3
000038a3: SWAP2
000038a4: POP
000038a5: POP
000038a6: JUMP
000038a7: JUMPDEST
000038a8: PUSH2 0x38bb
000038ab: DUP2
000038ac: PUSH1 0x00
000038ae: PUSH2 0x3aa1
000038b1: SWAP1
000038b2: SWAP2
000038b3: SWAP1
000038b4: PUSH4 0xffffffff
000038b9: AND
000038ba: JUMP
000038bb: JUMPDEST
000038bc: DUP1
000038bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038d2: AND
000038d3: PUSH32 0xcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e
000038f4: PUSH1 0x40
000038f6: MLOAD
000038f7: PUSH1 0x40
000038f9: MLOAD
000038fa: DUP1
000038fb: SWAP2
000038fc: SUB
000038fd: SWAP1
000038fe: LOG2
000038ff: POP
00003900: JUMP
00003901: JUMPDEST
00003902: PUSH2 0x3915
00003905: DUP2
00003906: PUSH1 0x00
00003908: PUSH2 0x3b5e
0000390b: SWAP1
0000390c: SWAP2
0000390d: SWAP1
0000390e: PUSH4 0xffffffff
00003913: AND
00003914: JUMP
00003915: JUMPDEST
00003916: DUP1
00003917: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000392c: AND
0000392d: PUSH32 0x6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f8
0000394e: PUSH1 0x40
00003950: MLOAD
00003951: PUSH1 0x40
00003953: MLOAD
00003954: DUP1
00003955: SWAP2
00003956: SUB
00003957: SWAP1
00003958: LOG2
00003959: POP
0000395a: JUMP
0000395b: JUMPDEST
0000395c: PUSH1 0x00
0000395e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003973: AND
00003974: DUP2
00003975: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000398a: AND
0000398b: EQ
0000398c: ISZERO
0000398d: PUSH2 0x39e1
00003990: JUMPI
00003991: PUSH1 0x40
00003993: MLOAD
00003994: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000039b5: DUP2
000039b6: MSTORE
000039b7: PUSH1 0x04
000039b9: ADD
000039ba: DUP1
000039bb: DUP1
000039bc: PUSH1 0x20
000039be: ADD
000039bf: DUP3
000039c0: DUP2
000039c1: SUB
000039c2: DUP3
000039c3: MSTORE
000039c4: PUSH1 0x26
000039c6: DUP2
000039c7: MSTORE
000039c8: PUSH1 0x20
000039ca: ADD
000039cb: DUP1
000039cc: PUSH2 0x3d57
000039cf: PUSH1 0x26
000039d1: SWAP2
000039d2: CODECOPY
000039d3: PUSH1 0x40
000039d5: ADD
000039d6: SWAP2
000039d7: POP
000039d8: POP
000039d9: PUSH1 0x40
000039db: MLOAD
000039dc: DUP1
000039dd: SWAP2
000039de: SUB
000039df: SWAP1
000039e0: REVERT
000039e1: JUMPDEST
000039e2: DUP1
000039e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039f8: AND
000039f9: PUSH1 0x03
000039fb: PUSH1 0x00
000039fd: SWAP1
000039fe: SLOAD
000039ff: SWAP1
00003a00: PUSH2 0x0100
00003a03: EXP
00003a04: SWAP1
00003a05: DIV
00003a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a1b: AND
00003a1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a31: AND
00003a32: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00003a53: PUSH1 0x40
00003a55: MLOAD
00003a56: PUSH1 0x40
00003a58: MLOAD
00003a59: DUP1
00003a5a: SWAP2
00003a5b: SUB
00003a5c: SWAP1
00003a5d: LOG3
00003a5e: DUP1
00003a5f: PUSH1 0x03
00003a61: PUSH1 0x00
00003a63: PUSH2 0x0100
00003a66: EXP
00003a67: DUP2
00003a68: SLOAD
00003a69: DUP2
00003a6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a7f: MUL
00003a80: NOT
00003a81: AND
00003a82: SWAP1
00003a83: DUP4
00003a84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a99: AND
00003a9a: MUL
00003a9b: OR
00003a9c: SWAP1
00003a9d: SSTORE
00003a9e: POP
00003a9f: POP
00003aa0: JUMP
00003aa1: JUMPDEST
00003aa2: PUSH2 0x3aab
00003aa5: DUP3
00003aa6: DUP3
00003aa7: PUSH2 0x35a3
00003aaa: JUMP
00003aab: JUMPDEST
00003aac: PUSH2 0x3b00
00003aaf: JUMPI
00003ab0: PUSH1 0x40
00003ab2: MLOAD
00003ab3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003ad4: DUP2
00003ad5: MSTORE
00003ad6: PUSH1 0x04
00003ad8: ADD
00003ad9: DUP1
00003ada: DUP1
00003adb: PUSH1 0x20
00003add: ADD
00003ade: DUP3
00003adf: DUP2
00003ae0: SUB
00003ae1: DUP3
00003ae2: MSTORE
00003ae3: PUSH1 0x21
00003ae5: DUP2
00003ae6: MSTORE
00003ae7: PUSH1 0x20
00003ae9: ADD
00003aea: DUP1
00003aeb: PUSH2 0x3dc6
00003aee: PUSH1 0x21
00003af0: SWAP2
00003af1: CODECOPY
00003af2: PUSH1 0x40
00003af4: ADD
00003af5: SWAP2
00003af6: POP
00003af7: POP
00003af8: PUSH1 0x40
00003afa: MLOAD
00003afb: DUP1
00003afc: SWAP2
00003afd: SUB
00003afe: SWAP1
00003aff: REVERT
00003b00: JUMPDEST
00003b01: PUSH1 0x00
00003b03: DUP3
00003b04: PUSH1 0x00
00003b06: ADD
00003b07: PUSH1 0x00
00003b09: DUP4
00003b0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b1f: AND
00003b20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b35: AND
00003b36: DUP2
00003b37: MSTORE
00003b38: PUSH1 0x20
00003b3a: ADD
00003b3b: SWAP1
00003b3c: DUP2
00003b3d: MSTORE
00003b3e: PUSH1 0x20
00003b40: ADD
00003b41: PUSH1 0x00
00003b43: KECCAK256
00003b44: PUSH1 0x00
00003b46: PUSH2 0x0100
00003b49: EXP
00003b4a: DUP2
00003b4b: SLOAD
00003b4c: DUP2
00003b4d: PUSH1 0xff
00003b4f: MUL
00003b50: NOT
00003b51: AND
00003b52: SWAP1
00003b53: DUP4
00003b54: ISZERO
00003b55: ISZERO
00003b56: MUL
00003b57: OR
00003b58: SWAP1
00003b59: SSTORE
00003b5a: POP
00003b5b: POP
00003b5c: POP
00003b5d: JUMP
00003b5e: JUMPDEST
00003b5f: PUSH2 0x3b68
00003b62: DUP3
00003b63: DUP3
00003b64: PUSH2 0x35a3
00003b67: JUMP
00003b68: JUMPDEST
00003b69: ISZERO
00003b6a: PUSH2 0x3bdb
00003b6d: JUMPI
00003b6e: PUSH1 0x40
00003b70: MLOAD
00003b71: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003b92: DUP2
00003b93: MSTORE
00003b94: PUSH1 0x04
00003b96: ADD
00003b97: DUP1
00003b98: DUP1
00003b99: PUSH1 0x20
00003b9b: ADD
00003b9c: DUP3
00003b9d: DUP2
00003b9e: SUB
00003b9f: DUP3
00003ba0: MSTORE
00003ba1: PUSH1 0x1f
00003ba3: DUP2
00003ba4: MSTORE
00003ba5: PUSH1 0x20
00003ba7: ADD
00003ba8: DUP1
00003ba9: PUSH32 0x526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500
00003bca: DUP2
00003bcb: MSTORE
00003bcc: POP
00003bcd: PUSH1 0x20
00003bcf: ADD
00003bd0: SWAP2
00003bd1: POP
00003bd2: POP
00003bd3: PUSH1 0x40
00003bd5: MLOAD
00003bd6: DUP1
00003bd7: SWAP2
00003bd8: SUB
00003bd9: SWAP1
00003bda: REVERT
00003bdb: JUMPDEST
00003bdc: PUSH1 0x01
00003bde: DUP3
00003bdf: PUSH1 0x00
00003be1: ADD
00003be2: PUSH1 0x00
00003be4: DUP4
00003be5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bfa: AND
00003bfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c10: AND
00003c11: DUP2
00003c12: MSTORE
00003c13: PUSH1 0x20
00003c15: ADD
00003c16: SWAP1
00003c17: DUP2
00003c18: MSTORE
00003c19: PUSH1 0x20
00003c1b: ADD
00003c1c: PUSH1 0x00
00003c1e: KECCAK256
00003c1f: PUSH1 0x00
00003c21: PUSH2 0x0100
00003c24: EXP
00003c25: DUP2
00003c26: SLOAD
00003c27: DUP2
00003c28: PUSH1 0xff
00003c2a: MUL
00003c2b: NOT
00003c2c: AND
00003c2d: SWAP1
00003c2e: DUP4
00003c2f: ISZERO
00003c30: ISZERO
00003c31: MUL
00003c32: OR
00003c33: SWAP1
00003c34: SSTORE
00003c35: POP
00003c36: POP
00003c37: POP
00003c38: JUMP
00003c39: JUMPDEST
00003c3a: POP
00003c3b: DUP1
00003c3c: SLOAD
00003c3d: PUSH1 0x01
00003c3f: DUP2
00003c40: PUSH1 0x01
00003c42: AND
00003c43: ISZERO
00003c44: PUSH2 0x0100
00003c47: MUL
00003c48: SUB
00003c49: AND
00003c4a: PUSH1 0x02
00003c4c: SWAP1
00003c4d: DIV
00003c4e: PUSH1 0x00
00003c50: DUP3
00003c51: SSTORE
00003c52: DUP1
00003c53: PUSH1 0x1f
00003c55: LT
00003c56: PUSH2 0x3c5f
00003c59: JUMPI
00003c5a: POP
00003c5b: PUSH2 0x3c7e
00003c5e: JUMP
00003c5f: JUMPDEST
00003c60: PUSH1 0x1f
00003c62: ADD
00003c63: PUSH1 0x20
00003c65: SWAP1
00003c66: DIV
00003c67: SWAP1
00003c68: PUSH1 0x00
00003c6a: MSTORE
00003c6b: PUSH1 0x20
00003c6d: PUSH1 0x00
00003c6f: KECCAK256
00003c70: SWAP1
00003c71: DUP2
00003c72: ADD
00003c73: SWAP1
00003c74: PUSH2 0x3c7d
00003c77: SWAP2
00003c78: SWAP1
00003c79: PUSH2 0x3d01
00003c7c: JUMP
00003c7d: JUMPDEST
00003c7e: JUMPDEST
00003c7f: POP
00003c80: JUMP
00003c81: JUMPDEST
00003c82: DUP3
00003c83: DUP1
00003c84: SLOAD
00003c85: PUSH1 0x01
00003c87: DUP2
00003c88: PUSH1 0x01
00003c8a: AND
00003c8b: ISZERO
00003c8c: PUSH2 0x0100
00003c8f: MUL
00003c90: SUB
00003c91: AND
00003c92: PUSH1 0x02
00003c94: SWAP1
00003c95: DIV
00003c96: SWAP1
00003c97: PUSH1 0x00
00003c99: MSTORE
00003c9a: PUSH1 0x20
00003c9c: PUSH1 0x00
00003c9e: KECCAK256
00003c9f: SWAP1
00003ca0: PUSH1 0x1f
00003ca2: ADD
00003ca3: PUSH1 0x20
00003ca5: SWAP1
00003ca6: DIV
00003ca7: DUP2
00003ca8: ADD
00003ca9: SWAP3
00003caa: DUP3
00003cab: PUSH1 0x1f
00003cad: LT
00003cae: PUSH2 0x3cc2
00003cb1: JUMPI
00003cb2: DUP1
00003cb3: MLOAD
00003cb4: PUSH1 0xff
00003cb6: NOT
00003cb7: AND
00003cb8: DUP4
00003cb9: DUP1
00003cba: ADD
00003cbb: OR
00003cbc: DUP6
00003cbd: SSTORE
00003cbe: PUSH2 0x3cf0
00003cc1: JUMP
00003cc2: JUMPDEST
00003cc3: DUP3
00003cc4: DUP1
00003cc5: ADD
00003cc6: PUSH1 0x01
00003cc8: ADD
00003cc9: DUP6
00003cca: SSTORE
00003ccb: DUP3
00003ccc: ISZERO
00003ccd: PUSH2 0x3cf0
00003cd0: JUMPI
00003cd1: SWAP2
00003cd2: DUP3
00003cd3: ADD
00003cd4: JUMPDEST
00003cd5: DUP3
00003cd6: DUP2
00003cd7: GT
00003cd8: ISZERO
00003cd9: PUSH2 0x3cef
00003cdc: JUMPI
00003cdd: DUP3
00003cde: MLOAD
00003cdf: DUP3
00003ce0: SSTORE
00003ce1: SWAP2
00003ce2: PUSH1 0x20
00003ce4: ADD
00003ce5: SWAP2
00003ce6: SWAP1
00003ce7: PUSH1 0x01
00003ce9: ADD
00003cea: SWAP1
00003ceb: PUSH2 0x3cd4
00003cee: JUMP
00003cef: JUMPDEST
00003cf0: JUMPDEST
00003cf1: POP
00003cf2: SWAP1
00003cf3: POP
00003cf4: PUSH2 0x3cfd
00003cf7: SWAP2
00003cf8: SWAP1
00003cf9: PUSH2 0x3d01
00003cfc: JUMP
00003cfd: JUMPDEST
00003cfe: POP
00003cff: SWAP1
00003d00: JUMP
00003d01: JUMPDEST
00003d02: PUSH2 0x3d23
00003d05: SWAP2
00003d06: SWAP1
00003d07: JUMPDEST
00003d08: DUP1
00003d09: DUP3
00003d0a: GT
00003d0b: ISZERO
00003d0c: PUSH2 0x3d1f
00003d0f: JUMPI
00003d10: PUSH1 0x00
00003d12: DUP2
00003d13: PUSH1 0x00
00003d15: SWAP1
00003d16: SSTORE
00003d17: POP
00003d18: PUSH1 0x01
00003d1a: ADD
00003d1b: PUSH2 0x3d07
00003d1e: JUMP
00003d1f: JUMPDEST
00003d20: POP
00003d21: SWAP1
00003d22: JUMP
00003d23: JUMPDEST
00003d24: SWAP1
00003d25: JUMP
00003d26: INVALID
00003d27: POP
00003d28: PUSH2 0x7573
00003d2b: PUSH6 0x72526f6c653a
00003d32: KECCAK256
00003d33: PUSH4 0x616c6c65
00003d38: PUSH19 0x20646f6573206e6f7420686176652074686520
00003d4c: POP
00003d4d: PUSH2 0x7573
00003d50: PUSH6 0x7220726f6c65
00003d57: UNKNOWN(0x4F)
00003d58: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
00003d71: PUSH27 0x65726f2061646472657373616666696c69617465206c696e6b2068
00003d8d: PUSH2 0x7320
00003d90: PUSH2 0x6c72
00003d93: PUSH6 0x616479206265
00003d9a: PUSH6 0x6e2074616b65
00003da1: PUSH15 0x63616e6e6f742072656d6f76652064
00003db1: PUSH6 0x6661756c7420
00003db8: PUSH2 0x6666
00003dbb: PUSH10 0x6c69617465206c696e6b
00003dc6: MSTORE
00003dc7: PUSH16 0x6c65733a206163636f756e7420646f65
00003dd8: PUSH20 0x206e6f74206861766520726f6c65536166654d61
00003ded: PUSH21 0x683a206d756c7469706c69636174696f6e206f7665
00003e03: PUSH19 0x666c6f77526f6c65733a206163636f756e7420
00003e17: PUSH10 0x7320746865207a65726f
00003e22: KECCAK256
00003e23: PUSH2 0x6464
00003e26: PUSH19 0x657373636172644d616e6167656d656e742068
00003e3a: PUSH2 0x7320
00003e3d: PUSH15 0x6f74206265656e20646566696e6564
00003e4d: LOG1
00003e4e: PUSH6 0x627a7a723058
00003e55: KECCAK256
00003e56: CALLDATASIZE
00003e57: RETURNDATASIZE
00003e58: CALL
00003e59: UNKNOWN(0xCB)
00003e5a: SWAP9
00003e5b: UNKNOWN(0xCA)
00003e5c: SWAP9
00003e5d: GASPRICE
00003e5e: EXTCODESIZE
00003e5f: SWAP16
00003e60: NUMBER
00003e61: UNKNOWN(0xB3)
00003e62: SIGNEXTEND
00003e63: UNKNOWN(0x2B)
00003e64: PUSH13 0xfc48d33fe4df69f83125329659
00003e72: UNKNOWN(0x22)
00003e73: CALLCODE
00003e74: RETURNDATASIZE
00003e75: DIV
00003e76: STOP
00003e77: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xc06ba7d37ca55f61d3f9317f7d2e795522adc520b4f2893901e632a3ff2ec6c3
call_targets: 0x7c5afcfdf14a54d91662a1e230789dcb650c3faa
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xc06ba7d37ca55f61d3f9317f7d2e795522adc520b4f2893901e632a3ff2ec6c3",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7c5afcfdf14a54d91662a1e230789dcb650c3faa"
    ],
    "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": "0xbc31c1c1",
            "selector": "0xbc31c1c1",
            "calldata_variants": [
                "0xbc31c1c1",
                "0xbc31c1c10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd4b11713",
            "selector": "0xd4b11713",
            "calldata_variants": [
                "0xd4b11713",
                "0xd4b117130000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7e784eb",
            "selector": "0xd7e784eb",
            "calldata_variants": [
                "0xd7e784eb",
                "0xd7e784eb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xad9a90d0",
            "selector": "0xad9a90d0",
            "calldata_variants": [
                "0xad9a90d0",
                "0xad9a90d00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb0215143",
            "selector": "0xb0215143",
            "calldata_variants": [
                "0xb0215143",
                "0xb02151430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb6996398",
            "selector": "0xb6996398",
            "calldata_variants": [
                "0xb6996398",
                "0xb69963980000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb69ef8a8",
            "selector": "0xb69ef8a8",
            "calldata_variants": [
                "0xb69ef8a8",
                "0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5836,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7298,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7680,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 11,
    "guards_detected": [
        {
            "pc": 11215,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 10
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xc06ba7d37ca55f61d3f9317f7d2e795522adc520b4f2893901e632a3ff2ec6c3
call_targets: 0x7c5afcfdf14a54d91662a1e230789dcb650c3faa
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xc06ba7d37ca55f61d3f9317f7d2e795522adc520b4f2893901e632a3ff2ec6c3",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7c5afcfdf14a54d91662a1e230789dcb650c3faa"
    ],
    "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": "0xbc31c1c1",
            "selector": "0xbc31c1c1",
            "calldata_variants": [
                "0xbc31c1c1",
                "0xbc31c1c10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd4b11713",
            "selector": "0xd4b11713",
            "calldata_variants": [
                "0xd4b11713",
                "0xd4b117130000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7e784eb",
            "selector": "0xd7e784eb",
            "calldata_variants": [
                "0xd7e784eb",
                "0xd7e784eb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xad9a90d0",
            "selector": "0xad9a90d0",
            "calldata_variants": [
                "0xad9a90d0",
                "0xad9a90d00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb0215143",
            "selector": "0xb0215143",
            "calldata_variants": [
                "0xb0215143",
                "0xb02151430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb6996398",
            "selector": "0xb6996398",
            "calldata_variants": [
                "0xb6996398",
                "0xb69963980000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb69ef8a8",
            "selector": "0xb69ef8a8",
            "calldata_variants": [
                "0xb69ef8a8",
                "0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5836,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7298,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7680,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 11,
    "guards_detected": [
        {
            "pc": 11215,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}