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

Analysis Run

019b477e-ccda-707c-b026-672c73f91cf0

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
26947 artifact.fetch complete 1 / 3 3 months ago
26948 tool.cast_disasm complete 1 / 3 3 months ago
91685 analysis.bundle complete 1 / 3 2 weeks ago
91686 capability.graph complete 1 / 3 2 weeks ago
91687 detector.run complete 1 / 3 2 weeks ago
91688 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
9
EXT*/BALANCE
4
Total opcodes
6018
Flags
selfdestruct_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x023b
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8ac498f0
00000019: GT
0000001a: PUSH2 0x012e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xba745f2e
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdc9a1535
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdc9a1535
0000003a: EQ
0000003b: PUSH2 0x07a0
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe086e5ec
00000045: EQ
00000046: PUSH2 0x07c1
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe6798baa
00000050: EQ
00000051: PUSH2 0x07d6
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe985e9c5
0000005b: EQ
0000005c: PUSH2 0x080a
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x0845
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xba745f2e
00000076: EQ
00000077: PUSH2 0x06f7
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc87b56dd
00000081: EQ
00000082: PUSH2 0x0741
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd55f9273
0000008c: EQ
0000008d: PUSH2 0x0761
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xd5abeb01
00000097: EQ
00000098: PUSH2 0x0777
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xd7b4be24
000000a2: EQ
000000a3: PUSH2 0x078d
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0xa0712d68
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa0712d68
000000bd: EQ
000000be: PUSH2 0x0643
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa22cb465
000000c8: EQ
000000c9: PUSH2 0x0656
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xb0b50ed5
000000d3: EQ
000000d4: PUSH2 0x0676
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xb472070f
000000de: EQ
000000df: PUSH2 0x06bb
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xb88d4fde
000000e9: EQ
000000ea: PUSH2 0x06d7
000000ed: JUMPI
000000ee: PUSH1 0x00
000000f0: DUP1
000000f1: REVERT
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x8ac498f0
000000f9: EQ
000000fa: PUSH2 0x05aa
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x8da5cb5b
00000104: EQ
00000105: PUSH2 0x05db
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x95d89b41
0000010f: EQ
00000110: PUSH2 0x05f9
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x9ad91712
0000011a: EQ
0000011b: PUSH2 0x060e
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x9e281a98
00000125: EQ
00000126: PUSH2 0x0623
00000129: JUMPI
0000012a: PUSH1 0x00
0000012c: DUP1
0000012d: REVERT
0000012e: JUMPDEST
0000012f: DUP1
00000130: PUSH4 0x42842e0e
00000135: GT
00000136: PUSH2 0x01bc
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x6352211e
00000140: GT
00000141: PUSH2 0x0180
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x6352211e
0000014b: EQ
0000014c: PUSH2 0x0524
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x6c27b0f7
00000156: EQ
00000157: PUSH2 0x0544
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x70a08231
00000161: EQ
00000162: PUSH2 0x0559
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x715018a6
0000016c: EQ
0000016d: PUSH2 0x0595
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x8a14bff3
00000177: EQ
00000178: PUSH2 0x031f
0000017b: JUMPI
0000017c: PUSH1 0x00
0000017e: DUP1
0000017f: REVERT
00000180: JUMPDEST
00000181: DUP1
00000182: PUSH4 0x42842e0e
00000187: EQ
00000188: PUSH2 0x043b
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x438b6300
00000192: EQ
00000193: PUSH2 0x045b
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x5266069d
0000019d: EQ
0000019e: PUSH2 0x0488
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x55f804b3
000001a8: EQ
000001a9: PUSH2 0x04e4
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x5e7676e1
000001b3: EQ
000001b4: PUSH2 0x0504
000001b7: JUMPI
000001b8: PUSH1 0x00
000001ba: DUP1
000001bb: REVERT
000001bc: JUMPDEST
000001bd: DUP1
000001be: PUSH4 0x18160ddd
000001c3: GT
000001c4: PUSH2 0x0203
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x18160ddd
000001ce: EQ
000001cf: PUSH2 0x0349
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x23b872dd
000001d9: EQ
000001da: PUSH2 0x035e
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x2913daa0
000001e4: EQ
000001e5: PUSH2 0x037e
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x2c2cdd60
000001ef: EQ
000001f0: PUSH2 0x03b2
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x3ad10ef6
000001fa: EQ
000001fb: PUSH2 0x041b
000001fe: JUMPI
000001ff: PUSH1 0x00
00000201: DUP1
00000202: REVERT
00000203: JUMPDEST
00000204: DUP1
00000205: PUSH4 0x06fdde03
0000020a: EQ
0000020b: PUSH2 0x0240
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x081812fc
00000215: EQ
00000216: PUSH2 0x026b
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x095ea7b3
00000220: EQ
00000221: PUSH2 0x02b9
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x150b7a02
0000022b: EQ
0000022c: PUSH2 0x02db
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0x1748218c
00000236: EQ
00000237: PUSH2 0x031f
0000023a: JUMPI
0000023b: JUMPDEST
0000023c: PUSH1 0x00
0000023e: DUP1
0000023f: REVERT
00000240: JUMPDEST
00000241: CALLVALUE
00000242: DUP1
00000243: ISZERO
00000244: PUSH2 0x024c
00000247: JUMPI
00000248: PUSH1 0x00
0000024a: DUP1
0000024b: REVERT
0000024c: JUMPDEST
0000024d: POP
0000024e: PUSH2 0x0255
00000251: PUSH2 0x0865
00000254: JUMP
00000255: JUMPDEST
00000256: PUSH1 0x40
00000258: MLOAD
00000259: PUSH2 0x0262
0000025c: SWAP2
0000025d: SWAP1
0000025e: PUSH2 0x2182
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH1 0x40
00000265: MLOAD
00000266: DUP1
00000267: SWAP2
00000268: SUB
00000269: SWAP1
0000026a: RETURN
0000026b: JUMPDEST
0000026c: CALLVALUE
0000026d: DUP1
0000026e: ISZERO
0000026f: PUSH2 0x0277
00000272: JUMPI
00000273: PUSH1 0x00
00000275: DUP1
00000276: REVERT
00000277: JUMPDEST
00000278: POP
00000279: PUSH2 0x02a1
0000027c: PUSH2 0x0286
0000027f: CALLDATASIZE
00000280: PUSH1 0x04
00000282: PUSH2 0x2195
00000285: JUMP
00000286: JUMPDEST
00000287: PUSH1 0x06
00000289: PUSH1 0x20
0000028b: MSTORE
0000028c: PUSH1 0x00
0000028e: SWAP1
0000028f: DUP2
00000290: MSTORE
00000291: PUSH1 0x40
00000293: SWAP1
00000294: KECCAK256
00000295: SLOAD
00000296: PUSH1 0x01
00000298: PUSH1 0x01
0000029a: PUSH1 0xa0
0000029c: SHL
0000029d: SUB
0000029e: AND
0000029f: DUP2
000002a0: JUMP
000002a1: JUMPDEST
000002a2: PUSH1 0x40
000002a4: MLOAD
000002a5: PUSH1 0x01
000002a7: PUSH1 0x01
000002a9: PUSH1 0xa0
000002ab: SHL
000002ac: SUB
000002ad: SWAP1
000002ae: SWAP2
000002af: AND
000002b0: DUP2
000002b1: MSTORE
000002b2: PUSH1 0x20
000002b4: ADD
000002b5: PUSH2 0x0262
000002b8: JUMP
000002b9: JUMPDEST
000002ba: CALLVALUE
000002bb: DUP1
000002bc: ISZERO
000002bd: PUSH2 0x02c5
000002c0: JUMPI
000002c1: PUSH1 0x00
000002c3: DUP1
000002c4: REVERT
000002c5: JUMPDEST
000002c6: POP
000002c7: PUSH2 0x02d9
000002ca: PUSH2 0x02d4
000002cd: CALLDATASIZE
000002ce: PUSH1 0x04
000002d0: PUSH2 0x21c5
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH2 0x08f3
000002d8: JUMP
000002d9: JUMPDEST
000002da: STOP
000002db: JUMPDEST
000002dc: CALLVALUE
000002dd: DUP1
000002de: ISZERO
000002df: PUSH2 0x02e7
000002e2: JUMPI
000002e3: PUSH1 0x00
000002e5: DUP1
000002e6: REVERT
000002e7: JUMPDEST
000002e8: POP
000002e9: PUSH2 0x0306
000002ec: PUSH2 0x02f6
000002ef: CALLDATASIZE
000002f0: PUSH1 0x04
000002f2: PUSH2 0x2205
000002f5: JUMP
000002f6: JUMPDEST
000002f7: PUSH4 0x0a85bd01
000002fc: PUSH1 0xe1
000002fe: SHL
000002ff: SWAP5
00000300: SWAP4
00000301: POP
00000302: POP
00000303: POP
00000304: POP
00000305: JUMP
00000306: JUMPDEST
00000307: PUSH1 0x40
00000309: MLOAD
0000030a: PUSH1 0x01
0000030c: PUSH1 0x01
0000030e: PUSH1 0xe0
00000310: SHL
00000311: SUB
00000312: NOT
00000313: SWAP1
00000314: SWAP2
00000315: AND
00000316: DUP2
00000317: MSTORE
00000318: PUSH1 0x20
0000031a: ADD
0000031b: PUSH2 0x0262
0000031e: JUMP
0000031f: JUMPDEST
00000320: CALLVALUE
00000321: DUP1
00000322: ISZERO
00000323: PUSH2 0x032b
00000326: JUMPI
00000327: PUSH1 0x00
00000329: DUP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: POP
0000032d: PUSH2 0x033b
00000330: PUSH8 0x0429d069189e0000
00000339: DUP2
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH1 0x40
0000033e: MLOAD
0000033f: SWAP1
00000340: DUP2
00000341: MSTORE
00000342: PUSH1 0x20
00000344: ADD
00000345: PUSH2 0x0262
00000348: JUMP
00000349: JUMPDEST
0000034a: CALLVALUE
0000034b: DUP1
0000034c: ISZERO
0000034d: PUSH2 0x0355
00000350: JUMPI
00000351: PUSH1 0x00
00000353: DUP1
00000354: REVERT
00000355: JUMPDEST
00000356: POP
00000357: PUSH2 0x033b
0000035a: PUSH2 0x099a
0000035d: JUMP
0000035e: JUMPDEST
0000035f: CALLVALUE
00000360: DUP1
00000361: ISZERO
00000362: PUSH2 0x036a
00000365: JUMPI
00000366: PUSH1 0x00
00000368: DUP1
00000369: REVERT
0000036a: JUMPDEST
0000036b: POP
0000036c: PUSH2 0x02d9
0000036f: PUSH2 0x0379
00000372: CALLDATASIZE
00000373: PUSH1 0x04
00000375: PUSH2 0x22e1
00000378: JUMP
00000379: JUMPDEST
0000037a: PUSH2 0x09cf
0000037d: JUMP
0000037e: JUMPDEST
0000037f: CALLVALUE
00000380: DUP1
00000381: ISZERO
00000382: PUSH2 0x038a
00000385: JUMPI
00000386: PUSH1 0x00
00000388: DUP1
00000389: REVERT
0000038a: JUMPDEST
0000038b: POP
0000038c: PUSH2 0x033b
0000038f: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000003
000003b0: DUP2
000003b1: JUMP
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 0x03f7
000003c3: PUSH2 0x03cd
000003c6: CALLDATASIZE
000003c7: PUSH1 0x04
000003c9: PUSH2 0x2195
000003cc: JUMP
000003cd: JUMPDEST
000003ce: PUSH1 0x03
000003d0: PUSH1 0x20
000003d2: MSTORE
000003d3: PUSH1 0x00
000003d5: SWAP1
000003d6: DUP2
000003d7: MSTORE
000003d8: PUSH1 0x40
000003da: SWAP1
000003db: KECCAK256
000003dc: SLOAD
000003dd: PUSH1 0x01
000003df: PUSH1 0x01
000003e1: PUSH1 0xa0
000003e3: SHL
000003e4: SUB
000003e5: DUP2
000003e6: AND
000003e7: SWAP1
000003e8: PUSH1 0x01
000003ea: PUSH1 0xa0
000003ec: SHL
000003ed: SWAP1
000003ee: DIV
000003ef: PUSH4 0xffffffff
000003f4: AND
000003f5: DUP3
000003f6: JUMP
000003f7: JUMPDEST
000003f8: PUSH1 0x40
000003fa: DUP1
000003fb: MLOAD
000003fc: PUSH1 0x01
000003fe: PUSH1 0x01
00000400: PUSH1 0xa0
00000402: SHL
00000403: SUB
00000404: SWAP1
00000405: SWAP4
00000406: AND
00000407: DUP4
00000408: MSTORE
00000409: PUSH4 0xffffffff
0000040e: SWAP1
0000040f: SWAP2
00000410: AND
00000411: PUSH1 0x20
00000413: DUP4
00000414: ADD
00000415: MSTORE
00000416: ADD
00000417: PUSH2 0x0262
0000041a: JUMP
0000041b: JUMPDEST
0000041c: CALLVALUE
0000041d: DUP1
0000041e: ISZERO
0000041f: PUSH2 0x0427
00000422: JUMPI
00000423: PUSH1 0x00
00000425: DUP1
00000426: REVERT
00000427: JUMPDEST
00000428: POP
00000429: PUSH1 0x0a
0000042b: SLOAD
0000042c: PUSH2 0x02a1
0000042f: SWAP1
00000430: PUSH1 0x01
00000432: PUSH1 0x01
00000434: PUSH1 0xa0
00000436: SHL
00000437: SUB
00000438: AND
00000439: DUP2
0000043a: JUMP
0000043b: JUMPDEST
0000043c: CALLVALUE
0000043d: DUP1
0000043e: ISZERO
0000043f: PUSH2 0x0447
00000442: JUMPI
00000443: PUSH1 0x00
00000445: DUP1
00000446: REVERT
00000447: JUMPDEST
00000448: POP
00000449: PUSH2 0x02d9
0000044c: PUSH2 0x0456
0000044f: CALLDATASIZE
00000450: PUSH1 0x04
00000452: PUSH2 0x22e1
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH2 0x0b2b
0000045a: JUMP
0000045b: JUMPDEST
0000045c: CALLVALUE
0000045d: DUP1
0000045e: ISZERO
0000045f: PUSH2 0x0467
00000462: JUMPI
00000463: PUSH1 0x00
00000465: DUP1
00000466: REVERT
00000467: JUMPDEST
00000468: POP
00000469: PUSH2 0x047b
0000046c: PUSH2 0x0476
0000046f: CALLDATASIZE
00000470: PUSH1 0x04
00000472: PUSH2 0x231d
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH2 0x0c7c
0000047a: JUMP
0000047b: JUMPDEST
0000047c: PUSH1 0x40
0000047e: MLOAD
0000047f: PUSH2 0x0262
00000482: SWAP2
00000483: SWAP1
00000484: PUSH2 0x2338
00000487: JUMP
00000488: JUMPDEST
00000489: CALLVALUE
0000048a: DUP1
0000048b: ISZERO
0000048c: PUSH2 0x0494
0000048f: JUMPI
00000490: PUSH1 0x00
00000492: DUP1
00000493: REVERT
00000494: JUMPDEST
00000495: POP
00000496: PUSH2 0x04c7
00000499: PUSH2 0x04a3
0000049c: CALLDATASIZE
0000049d: PUSH1 0x04
0000049f: PUSH2 0x231d
000004a2: JUMP
000004a3: JUMPDEST
000004a4: PUSH1 0x04
000004a6: PUSH1 0x20
000004a8: MSTORE
000004a9: PUSH1 0x00
000004ab: SWAP1
000004ac: DUP2
000004ad: MSTORE
000004ae: PUSH1 0x40
000004b0: SWAP1
000004b1: KECCAK256
000004b2: SLOAD
000004b3: PUSH4 0xffffffff
000004b8: DUP1
000004b9: DUP3
000004ba: AND
000004bb: SWAP2
000004bc: PUSH5 0x0100000000
000004c2: SWAP1
000004c3: DIV
000004c4: AND
000004c5: DUP3
000004c6: JUMP
000004c7: JUMPDEST
000004c8: PUSH1 0x40
000004ca: DUP1
000004cb: MLOAD
000004cc: PUSH4 0xffffffff
000004d1: SWAP4
000004d2: DUP5
000004d3: AND
000004d4: DUP2
000004d5: MSTORE
000004d6: SWAP3
000004d7: SWAP1
000004d8: SWAP2
000004d9: AND
000004da: PUSH1 0x20
000004dc: DUP4
000004dd: ADD
000004de: MSTORE
000004df: ADD
000004e0: PUSH2 0x0262
000004e3: JUMP
000004e4: JUMPDEST
000004e5: CALLVALUE
000004e6: DUP1
000004e7: ISZERO
000004e8: PUSH2 0x04f0
000004eb: JUMPI
000004ec: PUSH1 0x00
000004ee: DUP1
000004ef: REVERT
000004f0: JUMPDEST
000004f1: POP
000004f2: PUSH2 0x02d9
000004f5: PUSH2 0x04ff
000004f8: CALLDATASIZE
000004f9: PUSH1 0x04
000004fb: PUSH2 0x237c
000004fe: JUMP
000004ff: JUMPDEST
00000500: PUSH2 0x0d78
00000503: JUMP
00000504: JUMPDEST
00000505: CALLVALUE
00000506: DUP1
00000507: ISZERO
00000508: PUSH2 0x0510
0000050b: JUMPI
0000050c: PUSH1 0x00
0000050e: DUP1
0000050f: REVERT
00000510: JUMPDEST
00000511: POP
00000512: PUSH2 0x02a1
00000515: PUSH2 0x051f
00000518: CALLDATASIZE
00000519: PUSH1 0x04
0000051b: PUSH2 0x2195
0000051e: JUMP
0000051f: JUMPDEST
00000520: PUSH2 0x0dc4
00000523: JUMP
00000524: JUMPDEST
00000525: CALLVALUE
00000526: DUP1
00000527: ISZERO
00000528: PUSH2 0x0530
0000052b: JUMPI
0000052c: PUSH1 0x00
0000052e: DUP1
0000052f: REVERT
00000530: JUMPDEST
00000531: POP
00000532: PUSH2 0x02a1
00000535: PUSH2 0x053f
00000538: CALLDATASIZE
00000539: PUSH1 0x04
0000053b: PUSH2 0x2195
0000053e: JUMP
0000053f: JUMPDEST
00000540: PUSH2 0x0dd6
00000543: JUMP
00000544: JUMPDEST
00000545: CALLVALUE
00000546: DUP1
00000547: ISZERO
00000548: PUSH2 0x0550
0000054b: JUMPI
0000054c: PUSH1 0x00
0000054e: DUP1
0000054f: REVERT
00000550: JUMPDEST
00000551: POP
00000552: PUSH2 0x02d9
00000555: PUSH2 0x0dea
00000558: JUMP
00000559: JUMPDEST
0000055a: CALLVALUE
0000055b: DUP1
0000055c: ISZERO
0000055d: PUSH2 0x0565
00000560: JUMPI
00000561: PUSH1 0x00
00000563: DUP1
00000564: REVERT
00000565: JUMPDEST
00000566: POP
00000567: PUSH2 0x033b
0000056a: PUSH2 0x0574
0000056d: CALLDATASIZE
0000056e: PUSH1 0x04
00000570: PUSH2 0x231d
00000573: JUMP
00000574: JUMPDEST
00000575: PUSH1 0x01
00000577: PUSH1 0x01
00000579: PUSH1 0xa0
0000057b: SHL
0000057c: SUB
0000057d: AND
0000057e: PUSH1 0x00
00000580: SWAP1
00000581: DUP2
00000582: MSTORE
00000583: PUSH1 0x04
00000585: PUSH1 0x20
00000587: MSTORE
00000588: PUSH1 0x40
0000058a: SWAP1
0000058b: KECCAK256
0000058c: SLOAD
0000058d: PUSH4 0xffffffff
00000592: AND
00000593: SWAP1
00000594: JUMP
00000595: JUMPDEST
00000596: CALLVALUE
00000597: DUP1
00000598: ISZERO
00000599: PUSH2 0x05a1
0000059c: JUMPI
0000059d: PUSH1 0x00
0000059f: DUP1
000005a0: REVERT
000005a1: JUMPDEST
000005a2: POP
000005a3: PUSH2 0x02d9
000005a6: PUSH2 0x0e4a
000005a9: JUMP
000005aa: JUMPDEST
000005ab: CALLVALUE
000005ac: DUP1
000005ad: ISZERO
000005ae: PUSH2 0x05b6
000005b1: JUMPI
000005b2: PUSH1 0x00
000005b4: DUP1
000005b5: REVERT
000005b6: JUMPDEST
000005b7: POP
000005b8: PUSH1 0x08
000005ba: SLOAD
000005bb: PUSH2 0x05cb
000005be: SWAP1
000005bf: PUSH1 0x01
000005c1: PUSH1 0xa8
000005c3: SHL
000005c4: SWAP1
000005c5: DIV
000005c6: PUSH1 0xff
000005c8: AND
000005c9: DUP2
000005ca: JUMP
000005cb: JUMPDEST
000005cc: PUSH1 0x40
000005ce: MLOAD
000005cf: SWAP1
000005d0: ISZERO
000005d1: ISZERO
000005d2: DUP2
000005d3: MSTORE
000005d4: PUSH1 0x20
000005d6: ADD
000005d7: PUSH2 0x0262
000005da: JUMP
000005db: JUMPDEST
000005dc: CALLVALUE
000005dd: DUP1
000005de: ISZERO
000005df: PUSH2 0x05e7
000005e2: JUMPI
000005e3: PUSH1 0x00
000005e5: DUP1
000005e6: REVERT
000005e7: JUMPDEST
000005e8: POP
000005e9: PUSH1 0x08
000005eb: SLOAD
000005ec: PUSH1 0x01
000005ee: PUSH1 0x01
000005f0: PUSH1 0xa0
000005f2: SHL
000005f3: SUB
000005f4: AND
000005f5: PUSH2 0x02a1
000005f8: JUMP
000005f9: JUMPDEST
000005fa: CALLVALUE
000005fb: DUP1
000005fc: ISZERO
000005fd: PUSH2 0x0605
00000600: JUMPI
00000601: PUSH1 0x00
00000603: DUP1
00000604: REVERT
00000605: JUMPDEST
00000606: POP
00000607: PUSH2 0x0255
0000060a: PUSH2 0x0e5e
0000060d: JUMP
0000060e: JUMPDEST
0000060f: CALLVALUE
00000610: DUP1
00000611: ISZERO
00000612: PUSH2 0x061a
00000615: JUMPI
00000616: PUSH1 0x00
00000618: DUP1
00000619: REVERT
0000061a: JUMPDEST
0000061b: POP
0000061c: PUSH2 0x02d9
0000061f: PUSH2 0x0e6b
00000622: JUMP
00000623: JUMPDEST
00000624: CALLVALUE
00000625: DUP1
00000626: ISZERO
00000627: PUSH2 0x062f
0000062a: JUMPI
0000062b: PUSH1 0x00
0000062d: DUP1
0000062e: REVERT
0000062f: JUMPDEST
00000630: POP
00000631: PUSH2 0x02d9
00000634: PUSH2 0x063e
00000637: CALLDATASIZE
00000638: PUSH1 0x04
0000063a: PUSH2 0x21c5
0000063d: JUMP
0000063e: JUMPDEST
0000063f: PUSH2 0x0ecb
00000642: JUMP
00000643: JUMPDEST
00000644: PUSH2 0x02d9
00000647: PUSH2 0x0651
0000064a: CALLDATASIZE
0000064b: PUSH1 0x04
0000064d: PUSH2 0x2195
00000650: JUMP
00000651: JUMPDEST
00000652: PUSH2 0x0f44
00000655: JUMP
00000656: JUMPDEST
00000657: CALLVALUE
00000658: DUP1
00000659: ISZERO
0000065a: PUSH2 0x0662
0000065d: JUMPI
0000065e: PUSH1 0x00
00000660: DUP1
00000661: REVERT
00000662: JUMPDEST
00000663: POP
00000664: PUSH2 0x02d9
00000667: PUSH2 0x0671
0000066a: CALLDATASIZE
0000066b: PUSH1 0x04
0000066d: PUSH2 0x23fc
00000670: JUMP
00000671: JUMPDEST
00000672: PUSH2 0x130c
00000675: JUMP
00000676: JUMPDEST
00000677: CALLVALUE
00000678: DUP1
00000679: ISZERO
0000067a: PUSH2 0x0682
0000067d: JUMPI
0000067e: PUSH1 0x00
00000680: DUP1
00000681: REVERT
00000682: JUMPDEST
00000683: POP
00000684: PUSH2 0x03f7
00000687: PUSH2 0x0691
0000068a: CALLDATASIZE
0000068b: PUSH1 0x04
0000068d: PUSH2 0x2195
00000690: JUMP
00000691: JUMPDEST
00000692: PUSH1 0x05
00000694: PUSH1 0x20
00000696: MSTORE
00000697: PUSH1 0x00
00000699: SWAP1
0000069a: DUP2
0000069b: MSTORE
0000069c: PUSH1 0x40
0000069e: SWAP1
0000069f: KECCAK256
000006a0: SLOAD
000006a1: PUSH1 0x01
000006a3: PUSH1 0x01
000006a5: PUSH1 0xa0
000006a7: SHL
000006a8: SUB
000006a9: DUP2
000006aa: AND
000006ab: SWAP1
000006ac: PUSH1 0x01
000006ae: PUSH1 0xa0
000006b0: SHL
000006b1: SWAP1
000006b2: DIV
000006b3: PUSH4 0xffffffff
000006b8: AND
000006b9: DUP3
000006ba: JUMP
000006bb: JUMPDEST
000006bc: CALLVALUE
000006bd: DUP1
000006be: ISZERO
000006bf: PUSH2 0x06c7
000006c2: JUMPI
000006c3: PUSH1 0x00
000006c5: DUP1
000006c6: REVERT
000006c7: JUMPDEST
000006c8: POP
000006c9: PUSH2 0x033b
000006cc: PUSH8 0x05f7aab8c56b0000
000006d5: DUP2
000006d6: JUMP
000006d7: JUMPDEST
000006d8: CALLVALUE
000006d9: DUP1
000006da: ISZERO
000006db: PUSH2 0x06e3
000006de: JUMPI
000006df: PUSH1 0x00
000006e1: DUP1
000006e2: REVERT
000006e3: JUMPDEST
000006e4: POP
000006e5: PUSH2 0x02d9
000006e8: PUSH2 0x06f2
000006eb: CALLDATASIZE
000006ec: PUSH1 0x04
000006ee: PUSH2 0x2205
000006f1: JUMP
000006f2: JUMPDEST
000006f3: PUSH2 0x131b
000006f6: JUMP
000006f7: JUMPDEST
000006f8: CALLVALUE
000006f9: DUP1
000006fa: ISZERO
000006fb: PUSH2 0x0703
000006fe: JUMPI
000006ff: PUSH1 0x00
00000701: DUP1
00000702: REVERT
00000703: JUMPDEST
00000704: POP
00000705: PUSH2 0x0717
00000708: PUSH2 0x0712
0000070b: CALLDATASIZE
0000070c: PUSH1 0x04
0000070e: PUSH2 0x2195
00000711: JUMP
00000712: JUMPDEST
00000713: PUSH2 0x147a
00000716: JUMP
00000717: JUMPDEST
00000718: PUSH1 0x40
0000071a: DUP1
0000071b: MLOAD
0000071c: DUP3
0000071d: MLOAD
0000071e: PUSH1 0x01
00000720: PUSH1 0x01
00000722: PUSH1 0xa0
00000724: SHL
00000725: SUB
00000726: AND
00000727: DUP2
00000728: MSTORE
00000729: PUSH1 0x20
0000072b: SWAP3
0000072c: DUP4
0000072d: ADD
0000072e: MLOAD
0000072f: PUSH4 0xffffffff
00000734: AND
00000735: SWAP3
00000736: DUP2
00000737: ADD
00000738: SWAP3
00000739: SWAP1
0000073a: SWAP3
0000073b: MSTORE
0000073c: ADD
0000073d: PUSH2 0x0262
00000740: JUMP
00000741: JUMPDEST
00000742: CALLVALUE
00000743: DUP1
00000744: ISZERO
00000745: PUSH2 0x074d
00000748: JUMPI
00000749: PUSH1 0x00
0000074b: DUP1
0000074c: REVERT
0000074d: JUMPDEST
0000074e: POP
0000074f: PUSH2 0x0255
00000752: PUSH2 0x075c
00000755: CALLDATASIZE
00000756: PUSH1 0x04
00000758: PUSH2 0x2195
0000075b: JUMP
0000075c: JUMPDEST
0000075d: PUSH2 0x15d0
00000760: JUMP
00000761: JUMPDEST
00000762: CALLVALUE
00000763: DUP1
00000764: ISZERO
00000765: PUSH2 0x076d
00000768: JUMPI
00000769: PUSH1 0x00
0000076b: DUP1
0000076c: REVERT
0000076d: JUMPDEST
0000076e: POP
0000076f: PUSH2 0x033b
00000772: PUSH1 0x02
00000774: SLOAD
00000775: DUP2
00000776: JUMP
00000777: JUMPDEST
00000778: CALLVALUE
00000779: DUP1
0000077a: ISZERO
0000077b: PUSH2 0x0783
0000077e: JUMPI
0000077f: PUSH1 0x00
00000781: DUP1
00000782: REVERT
00000783: JUMPDEST
00000784: POP
00000785: PUSH2 0x033b
00000788: PUSH1 0x09
0000078a: SLOAD
0000078b: DUP2
0000078c: JUMP
0000078d: JUMPDEST
0000078e: CALLVALUE
0000078f: DUP1
00000790: ISZERO
00000791: PUSH2 0x0799
00000794: JUMPI
00000795: PUSH1 0x00
00000797: DUP1
00000798: REVERT
00000799: JUMPDEST
0000079a: POP
0000079b: ADDRESS
0000079c: PUSH2 0x02a1
0000079f: JUMP
000007a0: JUMPDEST
000007a1: CALLVALUE
000007a2: DUP1
000007a3: ISZERO
000007a4: PUSH2 0x07ac
000007a7: JUMPI
000007a8: PUSH1 0x00
000007aa: DUP1
000007ab: REVERT
000007ac: JUMPDEST
000007ad: POP
000007ae: PUSH1 0x08
000007b0: SLOAD
000007b1: PUSH2 0x05cb
000007b4: SWAP1
000007b5: PUSH1 0x01
000007b7: PUSH1 0xa0
000007b9: SHL
000007ba: SWAP1
000007bb: DIV
000007bc: PUSH1 0xff
000007be: AND
000007bf: DUP2
000007c0: JUMP
000007c1: JUMPDEST
000007c2: CALLVALUE
000007c3: DUP1
000007c4: ISZERO
000007c5: PUSH2 0x07cd
000007c8: JUMPI
000007c9: PUSH1 0x00
000007cb: DUP1
000007cc: REVERT
000007cd: JUMPDEST
000007ce: POP
000007cf: PUSH2 0x02d9
000007d2: PUSH2 0x16d7
000007d5: JUMP
000007d6: JUMPDEST
000007d7: CALLVALUE
000007d8: DUP1
000007d9: ISZERO
000007da: PUSH2 0x07e2
000007dd: JUMPI
000007de: PUSH1 0x00
000007e0: DUP1
000007e1: REVERT
000007e2: JUMPDEST
000007e3: POP
000007e4: PUSH2 0x033b
000007e7: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000808: DUP2
00000809: JUMP
0000080a: JUMPDEST
0000080b: CALLVALUE
0000080c: DUP1
0000080d: ISZERO
0000080e: PUSH2 0x0816
00000811: JUMPI
00000812: PUSH1 0x00
00000814: DUP1
00000815: REVERT
00000816: JUMPDEST
00000817: POP
00000818: PUSH2 0x05cb
0000081b: PUSH2 0x0825
0000081e: CALLDATASIZE
0000081f: PUSH1 0x04
00000821: PUSH2 0x2433
00000824: JUMP
00000825: JUMPDEST
00000826: PUSH1 0x07
00000828: PUSH1 0x20
0000082a: SWAP1
0000082b: DUP2
0000082c: MSTORE
0000082d: PUSH1 0x00
0000082f: SWAP3
00000830: DUP4
00000831: MSTORE
00000832: PUSH1 0x40
00000834: DUP1
00000835: DUP5
00000836: KECCAK256
00000837: SWAP1
00000838: SWAP2
00000839: MSTORE
0000083a: SWAP1
0000083b: DUP3
0000083c: MSTORE
0000083d: SWAP1
0000083e: KECCAK256
0000083f: SLOAD
00000840: PUSH1 0xff
00000842: AND
00000843: DUP2
00000844: JUMP
00000845: JUMPDEST
00000846: CALLVALUE
00000847: DUP1
00000848: ISZERO
00000849: PUSH2 0x0851
0000084c: JUMPI
0000084d: PUSH1 0x00
0000084f: DUP1
00000850: REVERT
00000851: JUMPDEST
00000852: POP
00000853: PUSH2 0x02d9
00000856: PUSH2 0x0860
00000859: CALLDATASIZE
0000085a: PUSH1 0x04
0000085c: PUSH2 0x231d
0000085f: JUMP
00000860: JUMPDEST
00000861: PUSH2 0x170b
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH1 0x00
00000868: DUP1
00000869: SLOAD
0000086a: PUSH2 0x0872
0000086d: SWAP1
0000086e: PUSH2 0x2466
00000871: JUMP
00000872: JUMPDEST
00000873: DUP1
00000874: PUSH1 0x1f
00000876: ADD
00000877: PUSH1 0x20
00000879: DUP1
0000087a: SWAP2
0000087b: DIV
0000087c: MUL
0000087d: PUSH1 0x20
0000087f: ADD
00000880: PUSH1 0x40
00000882: MLOAD
00000883: SWAP1
00000884: DUP2
00000885: ADD
00000886: PUSH1 0x40
00000888: MSTORE
00000889: DUP1
0000088a: SWAP3
0000088b: SWAP2
0000088c: SWAP1
0000088d: DUP2
0000088e: DUP2
0000088f: MSTORE
00000890: PUSH1 0x20
00000892: ADD
00000893: DUP3
00000894: DUP1
00000895: SLOAD
00000896: PUSH2 0x089e
00000899: SWAP1
0000089a: PUSH2 0x2466
0000089d: JUMP
0000089e: JUMPDEST
0000089f: DUP1
000008a0: ISZERO
000008a1: PUSH2 0x08eb
000008a4: JUMPI
000008a5: DUP1
000008a6: PUSH1 0x1f
000008a8: LT
000008a9: PUSH2 0x08c0
000008ac: JUMPI
000008ad: PUSH2 0x0100
000008b0: DUP1
000008b1: DUP4
000008b2: SLOAD
000008b3: DIV
000008b4: MUL
000008b5: DUP4
000008b6: MSTORE
000008b7: SWAP2
000008b8: PUSH1 0x20
000008ba: ADD
000008bb: SWAP2
000008bc: PUSH2 0x08eb
000008bf: JUMP
000008c0: JUMPDEST
000008c1: DUP3
000008c2: ADD
000008c3: SWAP2
000008c4: SWAP1
000008c5: PUSH1 0x00
000008c7: MSTORE
000008c8: PUSH1 0x20
000008ca: PUSH1 0x00
000008cc: KECCAK256
000008cd: SWAP1
000008ce: JUMPDEST
000008cf: DUP2
000008d0: SLOAD
000008d1: DUP2
000008d2: MSTORE
000008d3: SWAP1
000008d4: PUSH1 0x01
000008d6: ADD
000008d7: SWAP1
000008d8: PUSH1 0x20
000008da: ADD
000008db: DUP1
000008dc: DUP4
000008dd: GT
000008de: PUSH2 0x08ce
000008e1: JUMPI
000008e2: DUP3
000008e3: SWAP1
000008e4: SUB
000008e5: PUSH1 0x1f
000008e7: AND
000008e8: DUP3
000008e9: ADD
000008ea: SWAP2
000008eb: JUMPDEST
000008ec: POP
000008ed: POP
000008ee: POP
000008ef: POP
000008f0: POP
000008f1: DUP2
000008f2: JUMP
000008f3: JUMPDEST
000008f4: PUSH1 0x00
000008f6: PUSH2 0x08fe
000008f9: DUP3
000008fa: PUSH2 0x0dd6
000008fd: JUMP
000008fe: JUMPDEST
000008ff: SWAP1
00000900: POP
00000901: PUSH1 0x01
00000903: PUSH1 0x01
00000905: PUSH1 0xa0
00000907: SHL
00000908: SUB
00000909: DUP2
0000090a: AND
0000090b: CALLER
0000090c: EQ
0000090d: DUP1
0000090e: PUSH2 0x093a
00000911: JUMPI
00000912: POP
00000913: PUSH1 0x01
00000915: PUSH1 0x01
00000917: PUSH1 0xa0
00000919: SHL
0000091a: SUB
0000091b: DUP2
0000091c: AND
0000091d: PUSH1 0x00
0000091f: SWAP1
00000920: DUP2
00000921: MSTORE
00000922: PUSH1 0x07
00000924: PUSH1 0x20
00000926: SWAP1
00000927: DUP2
00000928: MSTORE
00000929: PUSH1 0x40
0000092b: DUP1
0000092c: DUP4
0000092d: KECCAK256
0000092e: CALLER
0000092f: DUP5
00000930: MSTORE
00000931: SWAP1
00000932: SWAP2
00000933: MSTORE
00000934: SWAP1
00000935: KECCAK256
00000936: SLOAD
00000937: PUSH1 0xff
00000939: AND
0000093a: JUMPDEST
0000093b: PUSH2 0x098b
0000093e: JUMPI
0000093f: PUSH1 0x40
00000941: MLOAD
00000942: PUSH3 0x461bcd
00000946: PUSH1 0xe5
00000948: SHL
00000949: DUP2
0000094a: MSTORE
0000094b: PUSH1 0x20
0000094d: PUSH1 0x04
0000094f: DUP3
00000950: ADD
00000951: MSTORE
00000952: PUSH1 0x1f
00000954: PUSH1 0x24
00000956: DUP3
00000957: ADD
00000958: MSTORE
00000959: PUSH32 0x455243373231473a20617070726f7665206e6f7420617574686f72697a656400
0000097a: PUSH1 0x44
0000097c: DUP3
0000097d: ADD
0000097e: MSTORE
0000097f: PUSH1 0x64
00000981: ADD
00000982: JUMPDEST
00000983: PUSH1 0x40
00000985: MLOAD
00000986: DUP1
00000987: SWAP2
00000988: SUB
00000989: SWAP1
0000098a: REVERT
0000098b: JUMPDEST
0000098c: PUSH2 0x0995
0000098f: DUP4
00000990: DUP4
00000991: PUSH2 0x1781
00000994: JUMP
00000995: JUMPDEST
00000996: POP
00000997: POP
00000998: POP
00000999: JUMP
0000099a: JUMPDEST
0000099b: PUSH1 0x00
0000099d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
000009be: PUSH1 0x02
000009c0: SLOAD
000009c1: PUSH2 0x09ca
000009c4: SWAP2
000009c5: SWAP1
000009c6: PUSH2 0x24b6
000009c9: JUMP
000009ca: JUMPDEST
000009cb: SWAP1
000009cc: POP
000009cd: SWAP1
000009ce: JUMP
000009cf: JUMPDEST
000009d0: DUP3
000009d1: PUSH14 0xaaeb6d7670e522a718067333cd4e
000009e0: EXTCODESIZE
000009e1: ISZERO
000009e2: PUSH2 0x0b1a
000009e5: JUMPI
000009e6: CALLER
000009e7: PUSH1 0x01
000009e9: PUSH1 0x01
000009eb: PUSH1 0xa0
000009ed: SHL
000009ee: SUB
000009ef: DUP3
000009f0: AND
000009f1: SUB
000009f2: PUSH2 0x0a05
000009f5: JUMPI
000009f6: PUSH2 0x0a00
000009f9: DUP5
000009fa: DUP5
000009fb: DUP5
000009fc: PUSH2 0x17ef
000009ff: JUMP
00000a00: JUMPDEST
00000a01: PUSH2 0x0b25
00000a04: JUMP
00000a05: JUMPDEST
00000a06: PUSH1 0x40
00000a08: MLOAD
00000a09: PUSH4 0x3185c44d
00000a0e: PUSH1 0xe2
00000a10: SHL
00000a11: DUP2
00000a12: MSTORE
00000a13: ADDRESS
00000a14: PUSH1 0x04
00000a16: DUP3
00000a17: ADD
00000a18: MSTORE
00000a19: CALLER
00000a1a: PUSH1 0x24
00000a1c: DUP3
00000a1d: ADD
00000a1e: MSTORE
00000a1f: PUSH14 0xaaeb6d7670e522a718067333cd4e
00000a2e: SWAP1
00000a2f: PUSH4 0xc6171134
00000a34: SWAP1
00000a35: PUSH1 0x44
00000a37: ADD
00000a38: PUSH1 0x20
00000a3a: PUSH1 0x40
00000a3c: MLOAD
00000a3d: DUP1
00000a3e: DUP4
00000a3f: SUB
00000a40: DUP2
00000a41: DUP7
00000a42: GAS
00000a43: STATICCALL
00000a44: ISZERO
00000a45: DUP1
00000a46: ISZERO
00000a47: PUSH2 0x0a54
00000a4a: JUMPI
00000a4b: RETURNDATASIZE
00000a4c: PUSH1 0x00
00000a4e: DUP1
00000a4f: RETURNDATACOPY
00000a50: RETURNDATASIZE
00000a51: PUSH1 0x00
00000a53: REVERT
00000a54: JUMPDEST
00000a55: POP
00000a56: POP
00000a57: POP
00000a58: POP
00000a59: PUSH1 0x40
00000a5b: MLOAD
00000a5c: RETURNDATASIZE
00000a5d: PUSH1 0x1f
00000a5f: NOT
00000a60: PUSH1 0x1f
00000a62: DUP3
00000a63: ADD
00000a64: AND
00000a65: DUP3
00000a66: ADD
00000a67: DUP1
00000a68: PUSH1 0x40
00000a6a: MSTORE
00000a6b: POP
00000a6c: DUP2
00000a6d: ADD
00000a6e: SWAP1
00000a6f: PUSH2 0x0a78
00000a72: SWAP2
00000a73: SWAP1
00000a74: PUSH2 0x24c9
00000a77: JUMP
00000a78: JUMPDEST
00000a79: DUP1
00000a7a: ISZERO
00000a7b: PUSH2 0x0afb
00000a7e: JUMPI
00000a7f: POP
00000a80: PUSH1 0x40
00000a82: MLOAD
00000a83: PUSH4 0x3185c44d
00000a88: PUSH1 0xe2
00000a8a: SHL
00000a8b: DUP2
00000a8c: MSTORE
00000a8d: ADDRESS
00000a8e: PUSH1 0x04
00000a90: DUP3
00000a91: ADD
00000a92: MSTORE
00000a93: PUSH1 0x01
00000a95: PUSH1 0x01
00000a97: PUSH1 0xa0
00000a99: SHL
00000a9a: SUB
00000a9b: DUP3
00000a9c: AND
00000a9d: PUSH1 0x24
00000a9f: DUP3
00000aa0: ADD
00000aa1: MSTORE
00000aa2: PUSH14 0xaaeb6d7670e522a718067333cd4e
00000ab1: SWAP1
00000ab2: PUSH4 0xc6171134
00000ab7: SWAP1
00000ab8: PUSH1 0x44
00000aba: ADD
00000abb: PUSH1 0x20
00000abd: PUSH1 0x40
00000abf: MLOAD
00000ac0: DUP1
00000ac1: DUP4
00000ac2: SUB
00000ac3: DUP2
00000ac4: DUP7
00000ac5: GAS
00000ac6: STATICCALL
00000ac7: ISZERO
00000ac8: DUP1
00000ac9: ISZERO
00000aca: PUSH2 0x0ad7
00000acd: JUMPI
00000ace: RETURNDATASIZE
00000acf: PUSH1 0x00
00000ad1: DUP1
00000ad2: RETURNDATACOPY
00000ad3: RETURNDATASIZE
00000ad4: PUSH1 0x00
00000ad6: REVERT
00000ad7: JUMPDEST
00000ad8: POP
00000ad9: POP
00000ada: POP
00000adb: POP
00000adc: PUSH1 0x40
00000ade: MLOAD
00000adf: RETURNDATASIZE
00000ae0: PUSH1 0x1f
00000ae2: NOT
00000ae3: PUSH1 0x1f
00000ae5: DUP3
00000ae6: ADD
00000ae7: AND
00000ae8: DUP3
00000ae9: ADD
00000aea: DUP1
00000aeb: PUSH1 0x40
00000aed: MSTORE
00000aee: POP
00000aef: DUP2
00000af0: ADD
00000af1: SWAP1
00000af2: PUSH2 0x0afb
00000af5: SWAP2
00000af6: SWAP1
00000af7: PUSH2 0x24c9
00000afa: JUMP
00000afb: JUMPDEST
00000afc: PUSH2 0x0b1a
00000aff: JUMPI
00000b00: PUSH1 0x40
00000b02: MLOAD
00000b03: PUSH4 0x3b79c773
00000b08: PUSH1 0xe2
00000b0a: SHL
00000b0b: DUP2
00000b0c: MSTORE
00000b0d: CALLER
00000b0e: PUSH1 0x04
00000b10: DUP3
00000b11: ADD
00000b12: MSTORE
00000b13: PUSH1 0x24
00000b15: ADD
00000b16: PUSH2 0x0982
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: PUSH2 0x0b25
00000b1e: DUP5
00000b1f: DUP5
00000b20: DUP5
00000b21: PUSH2 0x17ef
00000b24: JUMP
00000b25: JUMPDEST
00000b26: POP
00000b27: POP
00000b28: POP
00000b29: POP
00000b2a: JUMP
00000b2b: JUMPDEST
00000b2c: DUP3
00000b2d: PUSH14 0xaaeb6d7670e522a718067333cd4e
00000b3c: EXTCODESIZE
00000b3d: ISZERO
00000b3e: PUSH2 0x0c71
00000b41: JUMPI
00000b42: CALLER
00000b43: PUSH1 0x01
00000b45: PUSH1 0x01
00000b47: PUSH1 0xa0
00000b49: SHL
00000b4a: SUB
00000b4b: DUP3
00000b4c: AND
00000b4d: SUB
00000b4e: PUSH2 0x0b5c
00000b51: JUMPI
00000b52: PUSH2 0x0a00
00000b55: DUP5
00000b56: DUP5
00000b57: DUP5
00000b58: PUSH2 0x185b
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x40
00000b5f: MLOAD
00000b60: PUSH4 0x3185c44d
00000b65: PUSH1 0xe2
00000b67: SHL
00000b68: DUP2
00000b69: MSTORE
00000b6a: ADDRESS
00000b6b: PUSH1 0x04
00000b6d: DUP3
00000b6e: ADD
00000b6f: MSTORE
00000b70: CALLER
00000b71: PUSH1 0x24
00000b73: DUP3
00000b74: ADD
00000b75: MSTORE
00000b76: PUSH14 0xaaeb6d7670e522a718067333cd4e
00000b85: SWAP1
00000b86: PUSH4 0xc6171134
00000b8b: SWAP1
00000b8c: PUSH1 0x44
00000b8e: ADD
00000b8f: PUSH1 0x20
00000b91: PUSH1 0x40
00000b93: MLOAD
00000b94: DUP1
00000b95: DUP4
00000b96: SUB
00000b97: DUP2
00000b98: DUP7
00000b99: GAS
00000b9a: STATICCALL
00000b9b: ISZERO
00000b9c: DUP1
00000b9d: ISZERO
00000b9e: PUSH2 0x0bab
00000ba1: JUMPI
00000ba2: RETURNDATASIZE
00000ba3: PUSH1 0x00
00000ba5: DUP1
00000ba6: RETURNDATACOPY
00000ba7: RETURNDATASIZE
00000ba8: PUSH1 0x00
00000baa: REVERT
00000bab: JUMPDEST
00000bac: POP
00000bad: POP
00000bae: POP
00000baf: POP
00000bb0: PUSH1 0x40
00000bb2: MLOAD
00000bb3: RETURNDATASIZE
00000bb4: PUSH1 0x1f
00000bb6: NOT
00000bb7: PUSH1 0x1f
00000bb9: DUP3
00000bba: ADD
00000bbb: AND
00000bbc: DUP3
00000bbd: ADD
00000bbe: DUP1
00000bbf: PUSH1 0x40
00000bc1: MSTORE
00000bc2: POP
00000bc3: DUP2
00000bc4: ADD
00000bc5: SWAP1
00000bc6: PUSH2 0x0bcf
00000bc9: SWAP2
00000bca: SWAP1
00000bcb: PUSH2 0x24c9
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: DUP1
00000bd1: ISZERO
00000bd2: PUSH2 0x0c52
00000bd5: JUMPI
00000bd6: POP
00000bd7: PUSH1 0x40
00000bd9: MLOAD
00000bda: PUSH4 0x3185c44d
00000bdf: PUSH1 0xe2
00000be1: SHL
00000be2: DUP2
00000be3: MSTORE
00000be4: ADDRESS
00000be5: PUSH1 0x04
00000be7: DUP3
00000be8: ADD
00000be9: MSTORE
00000bea: PUSH1 0x01
00000bec: PUSH1 0x01
00000bee: PUSH1 0xa0
00000bf0: SHL
00000bf1: SUB
00000bf2: DUP3
00000bf3: AND
00000bf4: PUSH1 0x24
00000bf6: DUP3
00000bf7: ADD
00000bf8: MSTORE
00000bf9: PUSH14 0xaaeb6d7670e522a718067333cd4e
00000c08: SWAP1
00000c09: PUSH4 0xc6171134
00000c0e: SWAP1
00000c0f: PUSH1 0x44
00000c11: ADD
00000c12: PUSH1 0x20
00000c14: PUSH1 0x40
00000c16: MLOAD
00000c17: DUP1
00000c18: DUP4
00000c19: SUB
00000c1a: DUP2
00000c1b: DUP7
00000c1c: GAS
00000c1d: STATICCALL
00000c1e: ISZERO
00000c1f: DUP1
00000c20: ISZERO
00000c21: PUSH2 0x0c2e
00000c24: JUMPI
00000c25: RETURNDATASIZE
00000c26: PUSH1 0x00
00000c28: DUP1
00000c29: RETURNDATACOPY
00000c2a: RETURNDATASIZE
00000c2b: PUSH1 0x00
00000c2d: REVERT
00000c2e: JUMPDEST
00000c2f: POP
00000c30: POP
00000c31: POP
00000c32: POP
00000c33: PUSH1 0x40
00000c35: MLOAD
00000c36: RETURNDATASIZE
00000c37: PUSH1 0x1f
00000c39: NOT
00000c3a: PUSH1 0x1f
00000c3c: DUP3
00000c3d: ADD
00000c3e: AND
00000c3f: DUP3
00000c40: ADD
00000c41: DUP1
00000c42: PUSH1 0x40
00000c44: MSTORE
00000c45: POP
00000c46: DUP2
00000c47: ADD
00000c48: SWAP1
00000c49: PUSH2 0x0c52
00000c4c: SWAP2
00000c4d: SWAP1
00000c4e: PUSH2 0x24c9
00000c51: JUMP
00000c52: JUMPDEST
00000c53: PUSH2 0x0c71
00000c56: JUMPI
00000c57: PUSH1 0x40
00000c59: MLOAD
00000c5a: PUSH4 0x3b79c773
00000c5f: PUSH1 0xe2
00000c61: SHL
00000c62: DUP2
00000c63: MSTORE
00000c64: CALLER
00000c65: PUSH1 0x04
00000c67: DUP3
00000c68: ADD
00000c69: MSTORE
00000c6a: PUSH1 0x24
00000c6c: ADD
00000c6d: PUSH2 0x0982
00000c70: JUMP
00000c71: JUMPDEST
00000c72: PUSH2 0x0b25
00000c75: DUP5
00000c76: DUP5
00000c77: DUP5
00000c78: PUSH2 0x185b
00000c7b: JUMP
00000c7c: JUMPDEST
00000c7d: PUSH1 0x60
00000c7f: PUSH1 0x00
00000c81: PUSH2 0x0ca5
00000c84: DUP4
00000c85: PUSH1 0x01
00000c87: PUSH1 0x01
00000c89: PUSH1 0xa0
00000c8b: SHL
00000c8c: SUB
00000c8d: AND
00000c8e: PUSH1 0x00
00000c90: SWAP1
00000c91: DUP2
00000c92: MSTORE
00000c93: PUSH1 0x04
00000c95: PUSH1 0x20
00000c97: MSTORE
00000c98: PUSH1 0x40
00000c9a: SWAP1
00000c9b: KECCAK256
00000c9c: SLOAD
00000c9d: PUSH4 0xffffffff
00000ca2: AND
00000ca3: SWAP1
00000ca4: JUMP
00000ca5: JUMPDEST
00000ca6: SWAP1
00000ca7: POP
00000ca8: PUSH1 0x00
00000caa: DUP2
00000cab: PUSH8 0xffffffffffffffff
00000cb4: DUP2
00000cb5: GT
00000cb6: ISZERO
00000cb7: PUSH2 0x0cc2
00000cba: JUMPI
00000cbb: PUSH2 0x0cc2
00000cbe: PUSH2 0x21ef
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: PUSH1 0x40
00000cc5: MLOAD
00000cc6: SWAP1
00000cc7: DUP1
00000cc8: DUP3
00000cc9: MSTORE
00000cca: DUP1
00000ccb: PUSH1 0x20
00000ccd: MUL
00000cce: PUSH1 0x20
00000cd0: ADD
00000cd1: DUP3
00000cd2: ADD
00000cd3: PUSH1 0x40
00000cd5: MSTORE
00000cd6: DUP1
00000cd7: ISZERO
00000cd8: PUSH2 0x0ceb
00000cdb: JUMPI
00000cdc: DUP2
00000cdd: PUSH1 0x20
00000cdf: ADD
00000ce0: PUSH1 0x20
00000ce2: DUP3
00000ce3: MUL
00000ce4: DUP1
00000ce5: CALLDATASIZE
00000ce6: DUP4
00000ce7: CALLDATACOPY
00000ce8: ADD
00000ce9: SWAP1
00000cea: POP
00000ceb: JUMPDEST
00000cec: POP
00000ced: SWAP1
00000cee: POP
00000cef: PUSH1 0x00
00000cf1: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000d12: JUMPDEST
00000d13: DUP4
00000d14: DUP3
00000d15: LT
00000d16: ISZERO
00000d17: PUSH2 0x0d6e
00000d1a: JUMPI
00000d1b: DUP6
00000d1c: PUSH1 0x01
00000d1e: PUSH1 0x01
00000d20: PUSH1 0xa0
00000d22: SHL
00000d23: SUB
00000d24: AND
00000d25: PUSH2 0x0d2d
00000d28: DUP3
00000d29: PUSH2 0x0dd6
00000d2c: JUMP
00000d2d: JUMPDEST
00000d2e: PUSH1 0x01
00000d30: PUSH1 0x01
00000d32: PUSH1 0xa0
00000d34: SHL
00000d35: SUB
00000d36: AND
00000d37: SUB
00000d38: PUSH2 0x0d66
00000d3b: JUMPI
00000d3c: DUP1
00000d3d: DUP4
00000d3e: DUP4
00000d3f: PUSH2 0x0d47
00000d42: DUP2
00000d43: PUSH2 0x24e6
00000d46: JUMP
00000d47: JUMPDEST
00000d48: SWAP5
00000d49: POP
00000d4a: DUP2
00000d4b: MLOAD
00000d4c: DUP2
00000d4d: LT
00000d4e: PUSH2 0x0d59
00000d51: JUMPI
00000d52: PUSH2 0x0d59
00000d55: PUSH2 0x24ff
00000d58: JUMP
00000d59: JUMPDEST
00000d5a: PUSH1 0x20
00000d5c: MUL
00000d5d: PUSH1 0x20
00000d5f: ADD
00000d60: ADD
00000d61: DUP2
00000d62: DUP2
00000d63: MSTORE
00000d64: POP
00000d65: POP
00000d66: JUMPDEST
00000d67: PUSH1 0x01
00000d69: ADD
00000d6a: PUSH2 0x0d12
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: POP
00000d70: SWAP1
00000d71: SWAP5
00000d72: SWAP4
00000d73: POP
00000d74: POP
00000d75: POP
00000d76: POP
00000d77: JUMP
00000d78: JUMPDEST
00000d79: PUSH1 0x0a
00000d7b: SLOAD
00000d7c: PUSH1 0x01
00000d7e: PUSH1 0x01
00000d80: PUSH1 0xa0
00000d82: SHL
00000d83: SUB
00000d84: AND
00000d85: CALLER
00000d86: EQ
00000d87: DUP1
00000d88: PUSH2 0x0d9b
00000d8b: JUMPI
00000d8c: POP
00000d8d: PUSH1 0x08
00000d8f: SLOAD
00000d90: PUSH1 0x01
00000d92: PUSH1 0x01
00000d94: PUSH1 0xa0
00000d96: SHL
00000d97: SUB
00000d98: AND
00000d99: CALLER
00000d9a: EQ
00000d9b: JUMPDEST
00000d9c: PUSH2 0x0db7
00000d9f: JUMPI
00000da0: PUSH1 0x40
00000da2: MLOAD
00000da3: PUSH3 0x461bcd
00000da7: PUSH1 0xe5
00000da9: SHL
00000daa: DUP2
00000dab: MSTORE
00000dac: PUSH1 0x04
00000dae: ADD
00000daf: PUSH2 0x0982
00000db2: SWAP1
00000db3: PUSH2 0x2515
00000db6: JUMP
00000db7: JUMPDEST
00000db8: PUSH1 0x0b
00000dba: PUSH2 0x0995
00000dbd: DUP3
00000dbe: DUP5
00000dbf: DUP4
00000dc0: PUSH2 0x2589
00000dc3: JUMP
00000dc4: JUMPDEST
00000dc5: PUSH1 0x00
00000dc7: PUSH2 0x0dcf
00000dca: DUP3
00000dcb: PUSH2 0x147a
00000dce: JUMP
00000dcf: JUMPDEST
00000dd0: MLOAD
00000dd1: SWAP3
00000dd2: SWAP2
00000dd3: POP
00000dd4: POP
00000dd5: JUMP
00000dd6: JUMPDEST
00000dd7: PUSH1 0x00
00000dd9: DUP1
00000dda: PUSH2 0x0de2
00000ddd: DUP4
00000dde: PUSH2 0x147a
00000de1: JUMP
00000de2: JUMPDEST
00000de3: MLOAD
00000de4: SWAP4
00000de5: SWAP3
00000de6: POP
00000de7: POP
00000de8: POP
00000de9: JUMP
00000dea: JUMPDEST
00000deb: PUSH1 0x0a
00000ded: SLOAD
00000dee: PUSH1 0x01
00000df0: PUSH1 0x01
00000df2: PUSH1 0xa0
00000df4: SHL
00000df5: SUB
00000df6: AND
00000df7: CALLER
00000df8: EQ
00000df9: DUP1
00000dfa: PUSH2 0x0e0d
00000dfd: JUMPI
00000dfe: POP
00000dff: PUSH1 0x08
00000e01: SLOAD
00000e02: PUSH1 0x01
00000e04: PUSH1 0x01
00000e06: PUSH1 0xa0
00000e08: SHL
00000e09: SUB
00000e0a: AND
00000e0b: CALLER
00000e0c: EQ
00000e0d: JUMPDEST
00000e0e: PUSH2 0x0e29
00000e11: JUMPI
00000e12: PUSH1 0x40
00000e14: MLOAD
00000e15: PUSH3 0x461bcd
00000e19: PUSH1 0xe5
00000e1b: SHL
00000e1c: DUP2
00000e1d: MSTORE
00000e1e: PUSH1 0x04
00000e20: ADD
00000e21: PUSH2 0x0982
00000e24: SWAP1
00000e25: PUSH2 0x2515
00000e28: JUMP
00000e29: JUMPDEST
00000e2a: PUSH1 0x08
00000e2c: DUP1
00000e2d: SLOAD
00000e2e: PUSH1 0xff
00000e30: PUSH1 0xa0
00000e32: SHL
00000e33: NOT
00000e34: DUP2
00000e35: AND
00000e36: PUSH1 0x01
00000e38: PUSH1 0xa0
00000e3a: SHL
00000e3b: SWAP2
00000e3c: DUP3
00000e3d: SWAP1
00000e3e: DIV
00000e3f: PUSH1 0xff
00000e41: AND
00000e42: ISZERO
00000e43: SWAP1
00000e44: SWAP2
00000e45: MUL
00000e46: OR
00000e47: SWAP1
00000e48: SSTORE
00000e49: JUMP
00000e4a: JUMPDEST
00000e4b: PUSH2 0x0e52
00000e4e: PUSH2 0x1876
00000e51: JUMP
00000e52: JUMPDEST
00000e53: PUSH2 0x0e5c
00000e56: PUSH1 0x00
00000e58: PUSH2 0x18d0
00000e5b: JUMP
00000e5c: JUMPDEST
00000e5d: JUMP
00000e5e: JUMPDEST
00000e5f: PUSH1 0x01
00000e61: DUP1
00000e62: SLOAD
00000e63: PUSH2 0x0872
00000e66: SWAP1
00000e67: PUSH2 0x2466
00000e6a: JUMP
00000e6b: JUMPDEST
00000e6c: PUSH1 0x0a
00000e6e: SLOAD
00000e6f: PUSH1 0x01
00000e71: PUSH1 0x01
00000e73: PUSH1 0xa0
00000e75: SHL
00000e76: SUB
00000e77: AND
00000e78: CALLER
00000e79: EQ
00000e7a: DUP1
00000e7b: PUSH2 0x0e8e
00000e7e: JUMPI
00000e7f: POP
00000e80: PUSH1 0x08
00000e82: SLOAD
00000e83: PUSH1 0x01
00000e85: PUSH1 0x01
00000e87: PUSH1 0xa0
00000e89: SHL
00000e8a: SUB
00000e8b: AND
00000e8c: CALLER
00000e8d: EQ
00000e8e: JUMPDEST
00000e8f: PUSH2 0x0eaa
00000e92: JUMPI
00000e93: PUSH1 0x40
00000e95: MLOAD
00000e96: PUSH3 0x461bcd
00000e9a: PUSH1 0xe5
00000e9c: SHL
00000e9d: DUP2
00000e9e: MSTORE
00000e9f: PUSH1 0x04
00000ea1: ADD
00000ea2: PUSH2 0x0982
00000ea5: SWAP1
00000ea6: PUSH2 0x2515
00000ea9: JUMP
00000eaa: JUMPDEST
00000eab: PUSH1 0x08
00000ead: DUP1
00000eae: SLOAD
00000eaf: PUSH1 0xff
00000eb1: PUSH1 0xa8
00000eb3: SHL
00000eb4: NOT
00000eb5: DUP2
00000eb6: AND
00000eb7: PUSH1 0x01
00000eb9: PUSH1 0xa8
00000ebb: SHL
00000ebc: SWAP2
00000ebd: DUP3
00000ebe: SWAP1
00000ebf: DIV
00000ec0: PUSH1 0xff
00000ec2: AND
00000ec3: ISZERO
00000ec4: SWAP1
00000ec5: SWAP2
00000ec6: MUL
00000ec7: OR
00000ec8: SWAP1
00000ec9: SSTORE
00000eca: JUMP
00000ecb: JUMPDEST
00000ecc: PUSH2 0x0ed3
00000ecf: PUSH2 0x1876
00000ed2: JUMP
00000ed3: JUMPDEST
00000ed4: PUSH1 0x40
00000ed6: MLOAD
00000ed7: PUSH4 0xa9059cbb
00000edc: PUSH1 0xe0
00000ede: SHL
00000edf: DUP2
00000ee0: MSTORE
00000ee1: CALLER
00000ee2: PUSH1 0x04
00000ee4: DUP3
00000ee5: ADD
00000ee6: MSTORE
00000ee7: PUSH1 0x24
00000ee9: DUP2
00000eea: ADD
00000eeb: DUP3
00000eec: SWAP1
00000eed: MSTORE
00000eee: PUSH1 0x01
00000ef0: PUSH1 0x01
00000ef2: PUSH1 0xa0
00000ef4: SHL
00000ef5: SUB
00000ef6: DUP4
00000ef7: AND
00000ef8: SWAP1
00000ef9: PUSH4 0xa9059cbb
00000efe: SWAP1
00000eff: PUSH1 0x44
00000f01: ADD
00000f02: PUSH1 0x20
00000f04: PUSH1 0x40
00000f06: MLOAD
00000f07: DUP1
00000f08: DUP4
00000f09: SUB
00000f0a: DUP2
00000f0b: PUSH1 0x00
00000f0d: DUP8
00000f0e: GAS
00000f0f: CALL
00000f10: ISZERO
00000f11: DUP1
00000f12: ISZERO
00000f13: PUSH2 0x0f20
00000f16: JUMPI
00000f17: RETURNDATASIZE
00000f18: PUSH1 0x00
00000f1a: DUP1
00000f1b: RETURNDATACOPY
00000f1c: RETURNDATASIZE
00000f1d: PUSH1 0x00
00000f1f: REVERT
00000f20: JUMPDEST
00000f21: POP
00000f22: POP
00000f23: POP
00000f24: POP
00000f25: PUSH1 0x40
00000f27: MLOAD
00000f28: RETURNDATASIZE
00000f29: PUSH1 0x1f
00000f2b: NOT
00000f2c: PUSH1 0x1f
00000f2e: DUP3
00000f2f: ADD
00000f30: AND
00000f31: DUP3
00000f32: ADD
00000f33: DUP1
00000f34: PUSH1 0x40
00000f36: MSTORE
00000f37: POP
00000f38: DUP2
00000f39: ADD
00000f3a: SWAP1
00000f3b: PUSH2 0x0995
00000f3e: SWAP2
00000f3f: SWAP1
00000f40: PUSH2 0x24c9
00000f43: JUMP
00000f44: JUMPDEST
00000f45: PUSH1 0x08
00000f47: SLOAD
00000f48: PUSH1 0x01
00000f4a: PUSH1 0xa8
00000f4c: SHL
00000f4d: SWAP1
00000f4e: DIV
00000f4f: PUSH1 0xff
00000f51: AND
00000f52: PUSH2 0x10d1
00000f55: JUMPI
00000f56: PUSH1 0x01
00000f58: DUP2
00000f59: GT
00000f5a: ISZERO
00000f5b: PUSH2 0x0f9c
00000f5e: JUMPI
00000f5f: PUSH1 0x40
00000f61: MLOAD
00000f62: PUSH3 0x461bcd
00000f66: PUSH1 0xe5
00000f68: SHL
00000f69: DUP2
00000f6a: MSTORE
00000f6b: PUSH1 0x20
00000f6d: PUSH1 0x04
00000f6f: DUP3
00000f70: ADD
00000f71: MSTORE
00000f72: PUSH1 0x13
00000f74: PUSH1 0x24
00000f76: DUP3
00000f77: ADD
00000f78: MSTORE
00000f79: PUSH19 0x1694948e8813585e080c481c195c881b5a5b9d
00000f8d: PUSH1 0x6a
00000f8f: SHL
00000f90: PUSH1 0x44
00000f92: DUP3
00000f93: ADD
00000f94: MSTORE
00000f95: PUSH1 0x64
00000f97: ADD
00000f98: PUSH2 0x0982
00000f9b: JUMP
00000f9c: JUMPDEST
00000f9d: PUSH2 0x0fae
00000fa0: DUP2
00000fa1: PUSH8 0x0429d069189e0000
00000faa: PUSH2 0x2649
00000fad: JUMP
00000fae: JUMPDEST
00000faf: CALLVALUE
00000fb0: EQ
00000fb1: PUSH2 0x0ffc
00000fb4: JUMPI
00000fb5: PUSH1 0x40
00000fb7: MLOAD
00000fb8: PUSH3 0x461bcd
00000fbc: PUSH1 0xe5
00000fbe: SHL
00000fbf: DUP2
00000fc0: MSTORE
00000fc1: PUSH1 0x20
00000fc3: PUSH1 0x04
00000fc5: DUP3
00000fc6: ADD
00000fc7: MSTORE
00000fc8: PUSH1 0x1a
00000fca: PUSH1 0x24
00000fcc: DUP3
00000fcd: ADD
00000fce: MSTORE
00000fcf: PUSH32 0x5a52523a205072697620496e73756666696369656e7420455448000000000000
00000ff0: PUSH1 0x44
00000ff2: DUP3
00000ff3: ADD
00000ff4: MSTORE
00000ff5: PUSH1 0x64
00000ff7: ADD
00000ff8: PUSH2 0x0982
00000ffb: JUMP
00000ffc: JUMPDEST
00000ffd: CALLER
00000ffe: PUSH1 0x00
00001000: SWAP1
00001001: DUP2
00001002: MSTORE
00001003: PUSH1 0x04
00001005: PUSH1 0x20
00001007: MSTORE
00001008: PUSH1 0x40
0000100a: SWAP1
0000100b: KECCAK256
0000100c: SLOAD
0000100d: PUSH1 0x01
0000100f: PUSH5 0x0100000000
00001015: SWAP1
00001016: SWAP2
00001017: DIV
00001018: PUSH4 0xffffffff
0000101d: AND
0000101e: LT
0000101f: PUSH2 0x106a
00001022: JUMPI
00001023: PUSH1 0x40
00001025: MLOAD
00001026: PUSH3 0x461bcd
0000102a: PUSH1 0xe5
0000102c: SHL
0000102d: DUP2
0000102e: MSTORE
0000102f: PUSH1 0x20
00001031: PUSH1 0x04
00001033: DUP3
00001034: ADD
00001035: MSTORE
00001036: PUSH1 0x1b
00001038: PUSH1 0x24
0000103a: DUP3
0000103b: ADD
0000103c: MSTORE
0000103d: PUSH32 0x5a52523a204d61782031206d696e742070657220616464726573730000000000
0000105e: PUSH1 0x44
00001060: DUP3
00001061: ADD
00001062: MSTORE
00001063: PUSH1 0x64
00001065: ADD
00001066: PUSH2 0x0982
00001069: JUMP
0000106a: JUMPDEST
0000106b: PUSH1 0x28
0000106d: PUSH2 0x1074
00001070: PUSH2 0x099a
00001073: JUMP
00001074: JUMPDEST
00001075: PUSH2 0x107e
00001078: SWAP1
00001079: DUP4
0000107a: PUSH2 0x2660
0000107d: JUMP
0000107e: JUMPDEST
0000107f: GT
00001080: ISZERO
00001081: PUSH2 0x10cc
00001084: JUMPI
00001085: PUSH1 0x40
00001087: MLOAD
00001088: PUSH3 0x461bcd
0000108c: PUSH1 0xe5
0000108e: SHL
0000108f: DUP2
00001090: MSTORE
00001091: PUSH1 0x20
00001093: PUSH1 0x04
00001095: DUP3
00001096: ADD
00001097: MSTORE
00001098: PUSH1 0x1c
0000109a: PUSH1 0x24
0000109c: DUP3
0000109d: ADD
0000109e: MSTORE
0000109f: PUSH32 0x5a52523a20456e6420666f722077686974656c6973742073616c657300000000
000010c0: PUSH1 0x44
000010c2: DUP3
000010c3: ADD
000010c4: MSTORE
000010c5: PUSH1 0x64
000010c7: ADD
000010c8: PUSH2 0x0982
000010cb: JUMP
000010cc: JUMPDEST
000010cd: PUSH2 0x12ff
000010d0: JUMP
000010d1: JUMPDEST
000010d2: PUSH1 0x03
000010d4: DUP2
000010d5: GT
000010d6: ISZERO
000010d7: PUSH2 0x1118
000010da: JUMPI
000010db: PUSH1 0x40
000010dd: MLOAD
000010de: PUSH3 0x461bcd
000010e2: PUSH1 0xe5
000010e4: SHL
000010e5: DUP2
000010e6: MSTORE
000010e7: PUSH1 0x20
000010e9: PUSH1 0x04
000010eb: DUP3
000010ec: ADD
000010ed: MSTORE
000010ee: PUSH1 0x13
000010f0: PUSH1 0x24
000010f2: DUP3
000010f3: ADD
000010f4: MSTORE
000010f5: PUSH19 0x1694948e8813585e080cc81c195c881b5a5b9d
00001109: PUSH1 0x6a
0000110b: SHL
0000110c: PUSH1 0x44
0000110e: DUP3
0000110f: ADD
00001110: MSTORE
00001111: PUSH1 0x64
00001113: ADD
00001114: PUSH2 0x0982
00001117: JUMP
00001118: JUMPDEST
00001119: CALLER
0000111a: PUSH1 0x00
0000111c: SWAP1
0000111d: DUP2
0000111e: MSTORE
0000111f: PUSH1 0x04
00001121: PUSH1 0x20
00001123: MSTORE
00001124: PUSH1 0x40
00001126: SWAP1
00001127: KECCAK256
00001128: SLOAD
00001129: PUSH1 0x03
0000112b: PUSH5 0x0100000000
00001131: SWAP1
00001132: SWAP2
00001133: DIV
00001134: PUSH4 0xffffffff
00001139: AND
0000113a: LT
0000113b: PUSH2 0x1186
0000113e: JUMPI
0000113f: PUSH1 0x40
00001141: MLOAD
00001142: PUSH3 0x461bcd
00001146: PUSH1 0xe5
00001148: SHL
00001149: DUP2
0000114a: MSTORE
0000114b: PUSH1 0x20
0000114d: PUSH1 0x04
0000114f: DUP3
00001150: ADD
00001151: MSTORE
00001152: PUSH1 0x1b
00001154: PUSH1 0x24
00001156: DUP3
00001157: ADD
00001158: MSTORE
00001159: PUSH32 0x5a52523a204d61782033206d696e742070657220616464726573730000000000
0000117a: PUSH1 0x44
0000117c: DUP3
0000117d: ADD
0000117e: MSTORE
0000117f: PUSH1 0x64
00001181: ADD
00001182: PUSH2 0x0982
00001185: JUMP
00001186: JUMPDEST
00001187: PUSH1 0x08
00001189: SLOAD
0000118a: PUSH1 0x01
0000118c: PUSH1 0xa0
0000118e: SHL
0000118f: SWAP1
00001190: DIV
00001191: PUSH1 0xff
00001193: AND
00001194: PUSH2 0x1252
00001197: JUMPI
00001198: PUSH2 0x11a9
0000119b: DUP2
0000119c: PUSH8 0x0429d069189e0000
000011a5: PUSH2 0x2649
000011a8: JUMP
000011a9: JUMPDEST
000011aa: CALLVALUE
000011ab: EQ
000011ac: PUSH2 0x11ef
000011af: JUMPI
000011b0: PUSH1 0x40
000011b2: MLOAD
000011b3: PUSH3 0x461bcd
000011b7: PUSH1 0xe5
000011b9: SHL
000011ba: DUP2
000011bb: MSTORE
000011bc: PUSH1 0x20
000011be: PUSH1 0x04
000011c0: DUP3
000011c1: ADD
000011c2: MSTORE
000011c3: PUSH1 0x15
000011c5: PUSH1 0x24
000011c7: DUP3
000011c8: ADD
000011c9: MSTORE
000011ca: PUSH21 0x0b4a4a4744092dce6eaccccd2c6d2cadce8408aa89
000011e0: PUSH1 0x5b
000011e2: SHL
000011e3: PUSH1 0x44
000011e5: DUP3
000011e6: ADD
000011e7: MSTORE
000011e8: PUSH1 0x64
000011ea: ADD
000011eb: PUSH2 0x0982
000011ee: JUMP
000011ef: JUMPDEST
000011f0: PUSH2 0x029a
000011f3: PUSH2 0x11fa
000011f6: PUSH2 0x099a
000011f9: JUMP
000011fa: JUMPDEST
000011fb: PUSH2 0x1204
000011fe: SWAP1
000011ff: DUP4
00001200: PUSH2 0x2660
00001203: JUMP
00001204: JUMPDEST
00001205: GT
00001206: ISZERO
00001207: PUSH2 0x10cc
0000120a: JUMPI
0000120b: PUSH1 0x40
0000120d: MLOAD
0000120e: PUSH3 0x461bcd
00001212: PUSH1 0xe5
00001214: SHL
00001215: DUP2
00001216: MSTORE
00001217: PUSH1 0x20
00001219: PUSH1 0x04
0000121b: DUP3
0000121c: ADD
0000121d: MSTORE
0000121e: PUSH1 0x1a
00001220: PUSH1 0x24
00001222: DUP3
00001223: ADD
00001224: MSTORE
00001225: PUSH32 0x5a52523a20456e6420666f7220707269766174652073616c6573000000000000
00001246: PUSH1 0x44
00001248: DUP3
00001249: ADD
0000124a: MSTORE
0000124b: PUSH1 0x64
0000124d: ADD
0000124e: PUSH2 0x0982
00001251: JUMP
00001252: JUMPDEST
00001253: PUSH2 0x1264
00001256: DUP2
00001257: PUSH8 0x05f7aab8c56b0000
00001260: PUSH2 0x2649
00001263: JUMP
00001264: JUMPDEST
00001265: CALLVALUE
00001266: EQ
00001267: PUSH2 0x12aa
0000126a: JUMPI
0000126b: PUSH1 0x40
0000126d: MLOAD
0000126e: PUSH3 0x461bcd
00001272: PUSH1 0xe5
00001274: SHL
00001275: DUP2
00001276: MSTORE
00001277: PUSH1 0x20
00001279: PUSH1 0x04
0000127b: DUP3
0000127c: ADD
0000127d: MSTORE
0000127e: PUSH1 0x15
00001280: PUSH1 0x24
00001282: DUP3
00001283: ADD
00001284: MSTORE
00001285: PUSH21 0x0b4a4a4744092dce6eaccccd2c6d2cadce8408aa89
0000129b: PUSH1 0x5b
0000129d: SHL
0000129e: PUSH1 0x44
000012a0: DUP3
000012a1: ADD
000012a2: MSTORE
000012a3: PUSH1 0x64
000012a5: ADD
000012a6: PUSH2 0x0982
000012a9: JUMP
000012aa: JUMPDEST
000012ab: PUSH1 0x09
000012ad: SLOAD
000012ae: PUSH2 0x12b5
000012b1: PUSH2 0x099a
000012b4: JUMP
000012b5: JUMPDEST
000012b6: PUSH2 0x12bf
000012b9: SWAP1
000012ba: DUP4
000012bb: PUSH2 0x2660
000012be: JUMP
000012bf: JUMPDEST
000012c0: GT
000012c1: ISZERO
000012c2: PUSH2 0x12ff
000012c5: JUMPI
000012c6: PUSH1 0x40
000012c8: MLOAD
000012c9: PUSH3 0x461bcd
000012cd: PUSH1 0xe5
000012cf: SHL
000012d0: DUP2
000012d1: MSTORE
000012d2: PUSH1 0x20
000012d4: PUSH1 0x04
000012d6: DUP3
000012d7: ADD
000012d8: MSTORE
000012d9: PUSH1 0x0f
000012db: PUSH1 0x24
000012dd: DUP3
000012de: ADD
000012df: MSTORE
000012e0: PUSH15 0x1694948e88105b1b081b5a5b9d1959
000012f0: PUSH1 0x8a
000012f2: SHL
000012f3: PUSH1 0x44
000012f5: DUP3
000012f6: ADD
000012f7: MSTORE
000012f8: PUSH1 0x64
000012fa: ADD
000012fb: PUSH2 0x0982
000012fe: JUMP
000012ff: JUMPDEST
00001300: PUSH2 0x1309
00001303: CALLER
00001304: DUP3
00001305: PUSH2 0x1922
00001308: JUMP
00001309: JUMPDEST
0000130a: POP
0000130b: JUMP
0000130c: JUMPDEST
0000130d: PUSH2 0x1317
00001310: CALLER
00001311: DUP4
00001312: DUP4
00001313: PUSH2 0x19b1
00001316: JUMP
00001317: JUMPDEST
00001318: POP
00001319: POP
0000131a: JUMP
0000131b: JUMPDEST
0000131c: DUP4
0000131d: PUSH14 0xaaeb6d7670e522a718067333cd4e
0000132c: EXTCODESIZE
0000132d: ISZERO
0000132e: PUSH2 0x1467
00001331: JUMPI
00001332: CALLER
00001333: PUSH1 0x01
00001335: PUSH1 0x01
00001337: PUSH1 0xa0
00001339: SHL
0000133a: SUB
0000133b: DUP3
0000133c: AND
0000133d: SUB
0000133e: PUSH2 0x1352
00001341: JUMPI
00001342: PUSH2 0x134d
00001345: DUP6
00001346: DUP6
00001347: DUP6
00001348: DUP6
00001349: PUSH2 0x1a1e
0000134c: JUMP
0000134d: JUMPDEST
0000134e: PUSH2 0x1473
00001351: JUMP
00001352: JUMPDEST
00001353: PUSH1 0x40
00001355: MLOAD
00001356: PUSH4 0x3185c44d
0000135b: PUSH1 0xe2
0000135d: SHL
0000135e: DUP2
0000135f: MSTORE
00001360: ADDRESS
00001361: PUSH1 0x04
00001363: DUP3
00001364: ADD
00001365: MSTORE
00001366: CALLER
00001367: PUSH1 0x24
00001369: DUP3
0000136a: ADD
0000136b: MSTORE
0000136c: PUSH14 0xaaeb6d7670e522a718067333cd4e
0000137b: SWAP1
0000137c: PUSH4 0xc6171134
00001381: SWAP1
00001382: PUSH1 0x44
00001384: ADD
00001385: PUSH1 0x20
00001387: PUSH1 0x40
00001389: MLOAD
0000138a: DUP1
0000138b: DUP4
0000138c: SUB
0000138d: DUP2
0000138e: DUP7
0000138f: GAS
00001390: STATICCALL
00001391: ISZERO
00001392: DUP1
00001393: ISZERO
00001394: PUSH2 0x13a1
00001397: JUMPI
00001398: RETURNDATASIZE
00001399: PUSH1 0x00
0000139b: DUP1
0000139c: RETURNDATACOPY
0000139d: RETURNDATASIZE
0000139e: PUSH1 0x00
000013a0: REVERT
000013a1: JUMPDEST
000013a2: POP
000013a3: POP
000013a4: POP
000013a5: POP
000013a6: PUSH1 0x40
000013a8: MLOAD
000013a9: RETURNDATASIZE
000013aa: PUSH1 0x1f
000013ac: NOT
000013ad: PUSH1 0x1f
000013af: DUP3
000013b0: ADD
000013b1: AND
000013b2: DUP3
000013b3: ADD
000013b4: DUP1
000013b5: PUSH1 0x40
000013b7: MSTORE
000013b8: POP
000013b9: DUP2
000013ba: ADD
000013bb: SWAP1
000013bc: PUSH2 0x13c5
000013bf: SWAP2
000013c0: SWAP1
000013c1: PUSH2 0x24c9
000013c4: JUMP
000013c5: JUMPDEST
000013c6: DUP1
000013c7: ISZERO
000013c8: PUSH2 0x1448
000013cb: JUMPI
000013cc: POP
000013cd: PUSH1 0x40
000013cf: MLOAD
000013d0: PUSH4 0x3185c44d
000013d5: PUSH1 0xe2
000013d7: SHL
000013d8: DUP2
000013d9: MSTORE
000013da: ADDRESS
000013db: PUSH1 0x04
000013dd: DUP3
000013de: ADD
000013df: MSTORE
000013e0: PUSH1 0x01
000013e2: PUSH1 0x01
000013e4: PUSH1 0xa0
000013e6: SHL
000013e7: SUB
000013e8: DUP3
000013e9: AND
000013ea: PUSH1 0x24
000013ec: DUP3
000013ed: ADD
000013ee: MSTORE
000013ef: PUSH14 0xaaeb6d7670e522a718067333cd4e
000013fe: SWAP1
000013ff: PUSH4 0xc6171134
00001404: SWAP1
00001405: PUSH1 0x44
00001407: ADD
00001408: PUSH1 0x20
0000140a: PUSH1 0x40
0000140c: MLOAD
0000140d: DUP1
0000140e: DUP4
0000140f: SUB
00001410: DUP2
00001411: DUP7
00001412: GAS
00001413: STATICCALL
00001414: ISZERO
00001415: DUP1
00001416: ISZERO
00001417: PUSH2 0x1424
0000141a: JUMPI
0000141b: RETURNDATASIZE
0000141c: PUSH1 0x00
0000141e: DUP1
0000141f: RETURNDATACOPY
00001420: RETURNDATASIZE
00001421: PUSH1 0x00
00001423: REVERT
00001424: JUMPDEST
00001425: POP
00001426: POP
00001427: POP
00001428: POP
00001429: PUSH1 0x40
0000142b: MLOAD
0000142c: RETURNDATASIZE
0000142d: PUSH1 0x1f
0000142f: NOT
00001430: PUSH1 0x1f
00001432: DUP3
00001433: ADD
00001434: AND
00001435: DUP3
00001436: ADD
00001437: DUP1
00001438: PUSH1 0x40
0000143a: MSTORE
0000143b: POP
0000143c: DUP2
0000143d: ADD
0000143e: SWAP1
0000143f: PUSH2 0x1448
00001442: SWAP2
00001443: SWAP1
00001444: PUSH2 0x24c9
00001447: JUMP
00001448: JUMPDEST
00001449: PUSH2 0x1467
0000144c: JUMPI
0000144d: PUSH1 0x40
0000144f: MLOAD
00001450: PUSH4 0x3b79c773
00001455: PUSH1 0xe2
00001457: SHL
00001458: DUP2
00001459: MSTORE
0000145a: CALLER
0000145b: PUSH1 0x04
0000145d: DUP3
0000145e: ADD
0000145f: MSTORE
00001460: PUSH1 0x24
00001462: ADD
00001463: PUSH2 0x0982
00001466: JUMP
00001467: JUMPDEST
00001468: PUSH2 0x1473
0000146b: DUP6
0000146c: DUP6
0000146d: DUP6
0000146e: DUP6
0000146f: PUSH2 0x1a1e
00001472: JUMP
00001473: JUMPDEST
00001474: POP
00001475: POP
00001476: POP
00001477: POP
00001478: POP
00001479: JUMP
0000147a: JUMPDEST
0000147b: PUSH1 0x40
0000147d: DUP1
0000147e: MLOAD
0000147f: DUP1
00001480: DUP3
00001481: ADD
00001482: SWAP1
00001483: SWAP2
00001484: MSTORE
00001485: PUSH1 0x00
00001487: DUP1
00001488: DUP3
00001489: MSTORE
0000148a: PUSH1 0x20
0000148c: DUP3
0000148d: ADD
0000148e: MSTORE
0000148f: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
000014b0: DUP3
000014b1: LT
000014b2: ISZERO
000014b3: PUSH2 0x14fe
000014b6: JUMPI
000014b7: PUSH1 0x40
000014b9: MLOAD
000014ba: PUSH3 0x461bcd
000014be: PUSH1 0xe5
000014c0: SHL
000014c1: DUP2
000014c2: MSTORE
000014c3: PUSH1 0x20
000014c5: PUSH1 0x04
000014c7: DUP3
000014c8: ADD
000014c9: MSTORE
000014ca: PUSH1 0x1a
000014cc: PUSH1 0x24
000014ce: DUP3
000014cf: ADD
000014d0: MSTORE
000014d1: PUSH32 0x546f6b656e49642062656c6f77207374617274696e6720496421000000000000
000014f2: PUSH1 0x44
000014f4: DUP3
000014f5: ADD
000014f6: MSTORE
000014f7: PUSH1 0x64
000014f9: ADD
000014fa: PUSH2 0x0982
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x00
00001501: DUP3
00001502: DUP2
00001503: MSTORE
00001504: PUSH1 0x03
00001506: PUSH1 0x20
00001508: MSTORE
00001509: PUSH1 0x40
0000150b: SWAP1
0000150c: KECCAK256
0000150d: SLOAD
0000150e: PUSH1 0x01
00001510: PUSH1 0x01
00001512: PUSH1 0xa0
00001514: SHL
00001515: SUB
00001516: AND
00001517: ISZERO
00001518: ISZERO
00001519: DUP1
0000151a: PUSH2 0x1525
0000151d: JUMPI
0000151e: POP
0000151f: PUSH1 0x02
00001521: SLOAD
00001522: DUP3
00001523: LT
00001524: ISZERO
00001525: JUMPDEST
00001526: ISZERO
00001527: PUSH2 0x1566
0000152a: JUMPI
0000152b: POP
0000152c: PUSH1 0x00
0000152e: SWAP1
0000152f: DUP2
00001530: MSTORE
00001531: PUSH1 0x03
00001533: PUSH1 0x20
00001535: SWAP1
00001536: DUP2
00001537: MSTORE
00001538: PUSH1 0x40
0000153a: SWAP2
0000153b: DUP3
0000153c: SWAP1
0000153d: KECCAK256
0000153e: DUP3
0000153f: MLOAD
00001540: DUP1
00001541: DUP5
00001542: ADD
00001543: SWAP1
00001544: SWAP4
00001545: MSTORE
00001546: SLOAD
00001547: PUSH1 0x01
00001549: PUSH1 0x01
0000154b: PUSH1 0xa0
0000154d: SHL
0000154e: SUB
0000154f: DUP2
00001550: AND
00001551: DUP4
00001552: MSTORE
00001553: PUSH1 0x01
00001555: PUSH1 0xa0
00001557: SHL
00001558: SWAP1
00001559: DIV
0000155a: PUSH4 0xffffffff
0000155f: AND
00001560: SWAP1
00001561: DUP3
00001562: ADD
00001563: MSTORE
00001564: SWAP1
00001565: JUMP
00001566: JUMPDEST
00001567: DUP2
00001568: JUMPDEST
00001569: PUSH1 0x00
0000156b: DUP2
0000156c: DUP2
0000156d: MSTORE
0000156e: PUSH1 0x05
00001570: PUSH1 0x20
00001572: MSTORE
00001573: PUSH1 0x40
00001575: SWAP1
00001576: KECCAK256
00001577: SLOAD
00001578: PUSH1 0x01
0000157a: PUSH1 0x01
0000157c: PUSH1 0xa0
0000157e: SHL
0000157f: SUB
00001580: AND
00001581: PUSH2 0x158d
00001584: JUMPI
00001585: PUSH1 0x00
00001587: NOT
00001588: ADD
00001589: PUSH2 0x1568
0000158c: JUMP
0000158d: JUMPDEST
0000158e: PUSH1 0x00
00001590: SWAP1
00001591: DUP2
00001592: MSTORE
00001593: PUSH1 0x05
00001595: PUSH1 0x20
00001597: SWAP1
00001598: DUP2
00001599: MSTORE
0000159a: PUSH1 0x40
0000159c: SWAP2
0000159d: DUP3
0000159e: SWAP1
0000159f: KECCAK256
000015a0: DUP3
000015a1: MLOAD
000015a2: DUP1
000015a3: DUP5
000015a4: ADD
000015a5: SWAP1
000015a6: SWAP4
000015a7: MSTORE
000015a8: SLOAD
000015a9: PUSH1 0x01
000015ab: PUSH1 0x01
000015ad: PUSH1 0xa0
000015af: SHL
000015b0: SUB
000015b1: DUP2
000015b2: AND
000015b3: DUP4
000015b4: MSTORE
000015b5: PUSH1 0x01
000015b7: PUSH1 0xa0
000015b9: SHL
000015ba: SWAP1
000015bb: DIV
000015bc: PUSH4 0xffffffff
000015c1: AND
000015c2: SWAP1
000015c3: DUP3
000015c4: ADD
000015c5: MSTORE
000015c6: SWAP3
000015c7: SWAP2
000015c8: POP
000015c9: POP
000015ca: JUMP
000015cb: JUMPDEST
000015cc: SWAP2
000015cd: SWAP1
000015ce: POP
000015cf: JUMP
000015d0: JUMPDEST
000015d1: PUSH1 0x60
000015d3: PUSH1 0x00
000015d5: DUP3
000015d6: GT
000015d7: PUSH2 0x161a
000015da: JUMPI
000015db: PUSH1 0x40
000015dd: MLOAD
000015de: PUSH3 0x461bcd
000015e2: PUSH1 0xe5
000015e4: SHL
000015e5: DUP2
000015e6: MSTORE
000015e7: PUSH1 0x20
000015e9: PUSH1 0x04
000015eb: DUP3
000015ec: ADD
000015ed: MSTORE
000015ee: PUSH1 0x15
000015f0: PUSH1 0x24
000015f2: DUP3
000015f3: ADD
000015f4: MSTORE
000015f5: PUSH21 0x5a52523a204964207374617274732066726f6d2031
0000160b: PUSH1 0x58
0000160d: SHL
0000160e: PUSH1 0x44
00001610: DUP3
00001611: ADD
00001612: MSTORE
00001613: PUSH1 0x64
00001615: ADD
00001616: PUSH2 0x0982
00001619: JUMP
0000161a: JUMPDEST
0000161b: PUSH2 0x1623
0000161e: DUP3
0000161f: PUSH2 0x1b7c
00001622: JUMP
00001623: JUMPDEST
00001624: PUSH2 0x167b
00001627: JUMPI
00001628: PUSH1 0x40
0000162a: MLOAD
0000162b: PUSH3 0x461bcd
0000162f: PUSH1 0xe5
00001631: SHL
00001632: DUP2
00001633: MSTORE
00001634: PUSH1 0x20
00001636: PUSH1 0x04
00001638: DUP3
00001639: ADD
0000163a: MSTORE
0000163b: PUSH1 0x24
0000163d: DUP1
0000163e: DUP3
0000163f: ADD
00001640: MSTORE
00001641: PUSH32 0x5a52523a2055524920717565727920666f72206e6f6e6578697374656e742074
00001662: PUSH1 0x44
00001664: DUP3
00001665: ADD
00001666: MSTORE
00001667: PUSH4 0x37b5b2b7
0000166c: PUSH1 0xe1
0000166e: SHL
0000166f: PUSH1 0x64
00001671: DUP3
00001672: ADD
00001673: MSTORE
00001674: PUSH1 0x84
00001676: ADD
00001677: PUSH2 0x0982
0000167a: JUMP
0000167b: JUMPDEST
0000167c: PUSH1 0x00
0000167e: PUSH2 0x1685
00001681: PUSH2 0x1b99
00001684: JUMP
00001685: JUMPDEST
00001686: SWAP1
00001687: POP
00001688: PUSH1 0x00
0000168a: DUP2
0000168b: MLOAD
0000168c: GT
0000168d: PUSH2 0x16a5
00001690: JUMPI
00001691: PUSH1 0x40
00001693: MLOAD
00001694: DUP1
00001695: PUSH1 0x20
00001697: ADD
00001698: PUSH1 0x40
0000169a: MSTORE
0000169b: DUP1
0000169c: PUSH1 0x00
0000169e: DUP2
0000169f: MSTORE
000016a0: POP
000016a1: PUSH2 0x16d0
000016a4: JUMP
000016a5: JUMPDEST
000016a6: DUP1
000016a7: PUSH2 0x16af
000016aa: DUP5
000016ab: PUSH2 0x1c2b
000016ae: JUMP
000016af: JUMPDEST
000016b0: PUSH1 0x40
000016b2: MLOAD
000016b3: PUSH1 0x20
000016b5: ADD
000016b6: PUSH2 0x16c0
000016b9: SWAP3
000016ba: SWAP2
000016bb: SWAP1
000016bc: PUSH2 0x2673
000016bf: JUMP
000016c0: JUMPDEST
000016c1: PUSH1 0x40
000016c3: MLOAD
000016c4: PUSH1 0x20
000016c6: DUP2
000016c7: DUP4
000016c8: SUB
000016c9: SUB
000016ca: DUP2
000016cb: MSTORE
000016cc: SWAP1
000016cd: PUSH1 0x40
000016cf: MSTORE
000016d0: JUMPDEST
000016d1: SWAP4
000016d2: SWAP3
000016d3: POP
000016d4: POP
000016d5: POP
000016d6: JUMP
000016d7: JUMPDEST
000016d8: PUSH2 0x16df
000016db: PUSH2 0x1876
000016de: JUMP
000016df: JUMPDEST
000016e0: PUSH1 0x40
000016e2: MLOAD
000016e3: CALLER
000016e4: SWAP1
000016e5: SELFBALANCE
000016e6: DUP1
000016e7: ISZERO
000016e8: PUSH2 0x08fc
000016eb: MUL
000016ec: SWAP2
000016ed: PUSH1 0x00
000016ef: DUP2
000016f0: DUP2
000016f1: DUP2
000016f2: DUP6
000016f3: DUP9
000016f4: DUP9
000016f5: CALL
000016f6: SWAP4
000016f7: POP
000016f8: POP
000016f9: POP
000016fa: POP
000016fb: ISZERO
000016fc: DUP1
000016fd: ISZERO
000016fe: PUSH2 0x1309
00001701: JUMPI
00001702: RETURNDATASIZE
00001703: PUSH1 0x00
00001705: DUP1
00001706: RETURNDATACOPY
00001707: RETURNDATASIZE
00001708: PUSH1 0x00
0000170a: REVERT
0000170b: JUMPDEST
0000170c: PUSH2 0x1713
0000170f: PUSH2 0x1876
00001712: JUMP
00001713: JUMPDEST
00001714: PUSH1 0x01
00001716: PUSH1 0x01
00001718: PUSH1 0xa0
0000171a: SHL
0000171b: SUB
0000171c: DUP2
0000171d: AND
0000171e: PUSH2 0x1778
00001721: JUMPI
00001722: PUSH1 0x40
00001724: MLOAD
00001725: PUSH3 0x461bcd
00001729: PUSH1 0xe5
0000172b: SHL
0000172c: DUP2
0000172d: MSTORE
0000172e: PUSH1 0x20
00001730: PUSH1 0x04
00001732: DUP3
00001733: ADD
00001734: MSTORE
00001735: PUSH1 0x26
00001737: PUSH1 0x24
00001739: DUP3
0000173a: ADD
0000173b: MSTORE
0000173c: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000175d: PUSH1 0x44
0000175f: DUP3
00001760: ADD
00001761: MSTORE
00001762: PUSH6 0x646472657373
00001769: PUSH1 0xd0
0000176b: SHL
0000176c: PUSH1 0x64
0000176e: DUP3
0000176f: ADD
00001770: MSTORE
00001771: PUSH1 0x84
00001773: ADD
00001774: PUSH2 0x0982
00001777: JUMP
00001778: JUMPDEST
00001779: PUSH2 0x1309
0000177c: DUP2
0000177d: PUSH2 0x18d0
00001780: JUMP
00001781: JUMPDEST
00001782: PUSH1 0x00
00001784: DUP2
00001785: DUP2
00001786: MSTORE
00001787: PUSH1 0x06
00001789: PUSH1 0x20
0000178b: MSTORE
0000178c: PUSH1 0x40
0000178e: SWAP1
0000178f: KECCAK256
00001790: DUP1
00001791: SLOAD
00001792: PUSH1 0x01
00001794: PUSH1 0x01
00001796: PUSH1 0xa0
00001798: SHL
00001799: SUB
0000179a: NOT
0000179b: AND
0000179c: PUSH1 0x01
0000179e: PUSH1 0x01
000017a0: PUSH1 0xa0
000017a2: SHL
000017a3: SUB
000017a4: DUP5
000017a5: AND
000017a6: SWAP1
000017a7: DUP2
000017a8: OR
000017a9: SWAP1
000017aa: SWAP2
000017ab: SSTORE
000017ac: DUP2
000017ad: SWAP1
000017ae: PUSH2 0x17b6
000017b1: DUP3
000017b2: PUSH2 0x0dd6
000017b5: JUMP
000017b6: JUMPDEST
000017b7: PUSH1 0x01
000017b9: PUSH1 0x01
000017bb: PUSH1 0xa0
000017bd: SHL
000017be: SUB
000017bf: AND
000017c0: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000017e1: PUSH1 0x40
000017e3: MLOAD
000017e4: PUSH1 0x40
000017e6: MLOAD
000017e7: DUP1
000017e8: SWAP2
000017e9: SUB
000017ea: SWAP1
000017eb: LOG4
000017ec: POP
000017ed: POP
000017ee: JUMP
000017ef: JUMPDEST
000017f0: PUSH2 0x17f9
000017f3: CALLER
000017f4: DUP3
000017f5: PUSH2 0x1cbe
000017f8: JUMP
000017f9: JUMPDEST
000017fa: PUSH2 0x1850
000017fd: JUMPI
000017fe: PUSH1 0x40
00001800: MLOAD
00001801: PUSH3 0x461bcd
00001805: PUSH1 0xe5
00001807: SHL
00001808: DUP2
00001809: MSTORE
0000180a: PUSH1 0x20
0000180c: PUSH1 0x04
0000180e: DUP3
0000180f: ADD
00001810: MSTORE
00001811: PUSH1 0x22
00001813: PUSH1 0x24
00001815: DUP3
00001816: ADD
00001817: MSTORE
00001818: PUSH32 0x455243373231473a207472616e7366657246726f6d20756e617574686f72697a
00001839: PUSH1 0x44
0000183b: DUP3
0000183c: ADD
0000183d: MSTORE
0000183e: PUSH2 0x1959
00001841: PUSH1 0xf2
00001843: SHL
00001844: PUSH1 0x64
00001846: DUP3
00001847: ADD
00001848: MSTORE
00001849: PUSH1 0x84
0000184b: ADD
0000184c: PUSH2 0x0982
0000184f: JUMP
00001850: JUMPDEST
00001851: PUSH2 0x0995
00001854: DUP4
00001855: DUP4
00001856: DUP4
00001857: PUSH2 0x1d3f
0000185a: JUMP
0000185b: JUMPDEST
0000185c: PUSH2 0x0995
0000185f: DUP4
00001860: DUP4
00001861: DUP4
00001862: PUSH1 0x40
00001864: MLOAD
00001865: DUP1
00001866: PUSH1 0x20
00001868: ADD
00001869: PUSH1 0x40
0000186b: MSTORE
0000186c: DUP1
0000186d: PUSH1 0x00
0000186f: DUP2
00001870: MSTORE
00001871: POP
00001872: PUSH2 0x131b
00001875: JUMP
00001876: JUMPDEST
00001877: PUSH1 0x08
00001879: SLOAD
0000187a: PUSH1 0x01
0000187c: PUSH1 0x01
0000187e: PUSH1 0xa0
00001880: SHL
00001881: SUB
00001882: AND
00001883: CALLER
00001884: EQ
00001885: PUSH2 0x0e5c
00001888: JUMPI
00001889: PUSH1 0x40
0000188b: MLOAD
0000188c: PUSH3 0x461bcd
00001890: PUSH1 0xe5
00001892: SHL
00001893: DUP2
00001894: MSTORE
00001895: PUSH1 0x20
00001897: PUSH1 0x04
00001899: DUP3
0000189a: ADD
0000189b: DUP2
0000189c: SWAP1
0000189d: MSTORE
0000189e: PUSH1 0x24
000018a0: DUP3
000018a1: ADD
000018a2: MSTORE
000018a3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000018c4: PUSH1 0x44
000018c6: DUP3
000018c7: ADD
000018c8: MSTORE
000018c9: PUSH1 0x64
000018cb: ADD
000018cc: PUSH2 0x0982
000018cf: JUMP
000018d0: JUMPDEST
000018d1: PUSH1 0x08
000018d3: DUP1
000018d4: SLOAD
000018d5: PUSH1 0x01
000018d7: PUSH1 0x01
000018d9: PUSH1 0xa0
000018db: SHL
000018dc: SUB
000018dd: DUP4
000018de: DUP2
000018df: AND
000018e0: PUSH1 0x01
000018e2: PUSH1 0x01
000018e4: PUSH1 0xa0
000018e6: SHL
000018e7: SUB
000018e8: NOT
000018e9: DUP4
000018ea: AND
000018eb: DUP2
000018ec: OR
000018ed: SWAP1
000018ee: SWAP4
000018ef: SSTORE
000018f0: PUSH1 0x40
000018f2: MLOAD
000018f3: SWAP2
000018f4: AND
000018f5: SWAP2
000018f6: SWAP1
000018f7: DUP3
000018f8: SWAP1
000018f9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000191a: SWAP1
0000191b: PUSH1 0x00
0000191d: SWAP1
0000191e: LOG3
0000191f: POP
00001920: POP
00001921: JUMP
00001922: JUMPDEST
00001923: DUP1
00001924: JUMPDEST
00001925: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000003
00001946: DUP2
00001947: GT
00001948: ISZERO
00001949: PUSH2 0x19a7
0000194c: JUMPI
0000194d: PUSH2 0x1976
00001950: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000003
00001971: DUP3
00001972: PUSH2 0x24b6
00001975: JUMP
00001976: JUMPDEST
00001977: SWAP1
00001978: POP
00001979: PUSH2 0x19a2
0000197c: DUP4
0000197d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000003
0000199e: PUSH2 0x1eb1
000019a1: JUMP
000019a2: JUMPDEST
000019a3: PUSH2 0x1924
000019a6: JUMP
000019a7: JUMPDEST
000019a8: PUSH2 0x0995
000019ab: DUP4
000019ac: DUP3
000019ad: PUSH2 0x1eb1
000019b0: JUMP
000019b1: JUMPDEST
000019b2: PUSH1 0x01
000019b4: PUSH1 0x01
000019b6: PUSH1 0xa0
000019b8: SHL
000019b9: SUB
000019ba: DUP4
000019bb: DUP2
000019bc: AND
000019bd: PUSH1 0x00
000019bf: DUP2
000019c0: DUP2
000019c1: MSTORE
000019c2: PUSH1 0x07
000019c4: PUSH1 0x20
000019c6: SWAP1
000019c7: DUP2
000019c8: MSTORE
000019c9: PUSH1 0x40
000019cb: DUP1
000019cc: DUP4
000019cd: KECCAK256
000019ce: SWAP5
000019cf: DUP8
000019d0: AND
000019d1: DUP1
000019d2: DUP5
000019d3: MSTORE
000019d4: SWAP5
000019d5: DUP3
000019d6: MSTORE
000019d7: SWAP2
000019d8: DUP3
000019d9: SWAP1
000019da: KECCAK256
000019db: DUP1
000019dc: SLOAD
000019dd: PUSH1 0xff
000019df: NOT
000019e0: AND
000019e1: DUP7
000019e2: ISZERO
000019e3: ISZERO
000019e4: SWAP1
000019e5: DUP2
000019e6: OR
000019e7: SWAP1
000019e8: SWAP2
000019e9: SSTORE
000019ea: SWAP2
000019eb: MLOAD
000019ec: SWAP2
000019ed: DUP3
000019ee: MSTORE
000019ef: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001a10: SWAP2
00001a11: ADD
00001a12: PUSH1 0x40
00001a14: MLOAD
00001a15: DUP1
00001a16: SWAP2
00001a17: SUB
00001a18: SWAP1
00001a19: LOG3
00001a1a: POP
00001a1b: POP
00001a1c: POP
00001a1d: JUMP
00001a1e: JUMPDEST
00001a1f: PUSH2 0x1a29
00001a22: DUP5
00001a23: DUP5
00001a24: DUP5
00001a25: PUSH2 0x09cf
00001a28: JUMP
00001a29: JUMPDEST
00001a2a: PUSH1 0x01
00001a2c: PUSH1 0x01
00001a2e: PUSH1 0xa0
00001a30: SHL
00001a31: SUB
00001a32: DUP4
00001a33: AND
00001a34: EXTCODESIZE
00001a35: ISZERO
00001a36: PUSH2 0x0b25
00001a39: JUMPI
00001a3a: PUSH1 0x00
00001a3c: DUP4
00001a3d: PUSH1 0x01
00001a3f: PUSH1 0x01
00001a41: PUSH1 0xa0
00001a43: SHL
00001a44: SUB
00001a45: AND
00001a46: PUSH4 0x150b7a02
00001a4b: CALLER
00001a4c: DUP8
00001a4d: DUP7
00001a4e: DUP7
00001a4f: PUSH1 0x40
00001a51: MLOAD
00001a52: PUSH1 0x24
00001a54: ADD
00001a55: PUSH2 0x1a61
00001a58: SWAP5
00001a59: SWAP4
00001a5a: SWAP3
00001a5b: SWAP2
00001a5c: SWAP1
00001a5d: PUSH2 0x26a2
00001a60: JUMP
00001a61: JUMPDEST
00001a62: PUSH1 0x40
00001a64: MLOAD
00001a65: PUSH1 0x20
00001a67: DUP2
00001a68: DUP4
00001a69: SUB
00001a6a: SUB
00001a6b: DUP2
00001a6c: MSTORE
00001a6d: SWAP1
00001a6e: PUSH1 0x40
00001a70: MSTORE
00001a71: SWAP1
00001a72: PUSH1 0xe0
00001a74: SHL
00001a75: PUSH1 0x20
00001a77: DUP3
00001a78: ADD
00001a79: DUP1
00001a7a: MLOAD
00001a7b: PUSH1 0x01
00001a7d: PUSH1 0x01
00001a7f: PUSH1 0xe0
00001a81: SHL
00001a82: SUB
00001a83: DUP4
00001a84: DUP2
00001a85: DUP4
00001a86: AND
00001a87: OR
00001a88: DUP4
00001a89: MSTORE
00001a8a: POP
00001a8b: POP
00001a8c: POP
00001a8d: POP
00001a8e: PUSH1 0x40
00001a90: MLOAD
00001a91: PUSH2 0x1a9a
00001a94: SWAP2
00001a95: SWAP1
00001a96: PUSH2 0x26df
00001a99: JUMP
00001a9a: JUMPDEST
00001a9b: PUSH1 0x00
00001a9d: PUSH1 0x40
00001a9f: MLOAD
00001aa0: DUP1
00001aa1: DUP4
00001aa2: SUB
00001aa3: DUP2
00001aa4: PUSH1 0x00
00001aa6: DUP7
00001aa7: GAS
00001aa8: CALL
00001aa9: SWAP2
00001aaa: POP
00001aab: POP
00001aac: RETURNDATASIZE
00001aad: DUP1
00001aae: PUSH1 0x00
00001ab0: DUP2
00001ab1: EQ
00001ab2: PUSH2 0x1ad7
00001ab5: JUMPI
00001ab6: PUSH1 0x40
00001ab8: MLOAD
00001ab9: SWAP2
00001aba: POP
00001abb: PUSH1 0x1f
00001abd: NOT
00001abe: PUSH1 0x3f
00001ac0: RETURNDATASIZE
00001ac1: ADD
00001ac2: AND
00001ac3: DUP3
00001ac4: ADD
00001ac5: PUSH1 0x40
00001ac7: MSTORE
00001ac8: RETURNDATASIZE
00001ac9: DUP3
00001aca: MSTORE
00001acb: RETURNDATASIZE
00001acc: PUSH1 0x00
00001ace: PUSH1 0x20
00001ad0: DUP5
00001ad1: ADD
00001ad2: RETURNDATACOPY
00001ad3: PUSH2 0x1adc
00001ad6: JUMP
00001ad7: JUMPDEST
00001ad8: PUSH1 0x60
00001ada: SWAP2
00001adb: POP
00001adc: JUMPDEST
00001add: POP
00001ade: SWAP2
00001adf: POP
00001ae0: POP
00001ae1: PUSH1 0x00
00001ae3: DUP2
00001ae4: DUP1
00001ae5: PUSH1 0x20
00001ae7: ADD
00001ae8: SWAP1
00001ae9: MLOAD
00001aea: DUP2
00001aeb: ADD
00001aec: SWAP1
00001aed: PUSH2 0x1af6
00001af0: SWAP2
00001af1: SWAP1
00001af2: PUSH2 0x26fb
00001af5: JUMP
00001af6: JUMPDEST
00001af7: SWAP1
00001af8: POP
00001af9: PUSH4 0x0a85bd01
00001afe: PUSH1 0xe1
00001b00: SHL
00001b01: PUSH1 0x01
00001b03: PUSH1 0x01
00001b05: PUSH1 0xe0
00001b07: SHL
00001b08: SUB
00001b09: NOT
00001b0a: DUP3
00001b0b: AND
00001b0c: EQ
00001b0d: PUSH2 0x1b74
00001b10: JUMPI
00001b11: PUSH1 0x40
00001b13: MLOAD
00001b14: PUSH3 0x461bcd
00001b18: PUSH1 0xe5
00001b1a: SHL
00001b1b: DUP2
00001b1c: MSTORE
00001b1d: PUSH1 0x20
00001b1f: PUSH1 0x04
00001b21: DUP3
00001b22: ADD
00001b23: MSTORE
00001b24: PUSH1 0x33
00001b26: PUSH1 0x24
00001b28: DUP3
00001b29: ADD
00001b2a: MSTORE
00001b2b: PUSH32 0x455243373231473a20736166655472616e7366657246726f6d20746f5f206e6f
00001b4c: PUSH1 0x44
00001b4e: DUP3
00001b4f: ADD
00001b50: MSTORE
00001b51: PUSH19 0x6e2d45524337323152656365697661626c6521
00001b65: PUSH1 0x68
00001b67: SHL
00001b68: PUSH1 0x64
00001b6a: DUP3
00001b6b: ADD
00001b6c: MSTORE
00001b6d: PUSH1 0x84
00001b6f: ADD
00001b70: PUSH2 0x0982
00001b73: JUMP
00001b74: JUMPDEST
00001b75: POP
00001b76: POP
00001b77: POP
00001b78: POP
00001b79: POP
00001b7a: POP
00001b7b: JUMP
00001b7c: JUMPDEST
00001b7d: PUSH1 0x00
00001b7f: DUP1
00001b80: PUSH2 0x1b88
00001b83: DUP4
00001b84: PUSH2 0x0dd6
00001b87: JUMP
00001b88: JUMPDEST
00001b89: PUSH1 0x01
00001b8b: PUSH1 0x01
00001b8d: PUSH1 0xa0
00001b8f: SHL
00001b90: SUB
00001b91: AND
00001b92: EQ
00001b93: ISZERO
00001b94: SWAP3
00001b95: SWAP2
00001b96: POP
00001b97: POP
00001b98: JUMP
00001b99: JUMPDEST
00001b9a: PUSH1 0x60
00001b9c: PUSH1 0x0b
00001b9e: DUP1
00001b9f: SLOAD
00001ba0: PUSH2 0x1ba8
00001ba3: SWAP1
00001ba4: PUSH2 0x2466
00001ba7: JUMP
00001ba8: JUMPDEST
00001ba9: DUP1
00001baa: PUSH1 0x1f
00001bac: ADD
00001bad: PUSH1 0x20
00001baf: DUP1
00001bb0: SWAP2
00001bb1: DIV
00001bb2: MUL
00001bb3: PUSH1 0x20
00001bb5: ADD
00001bb6: PUSH1 0x40
00001bb8: MLOAD
00001bb9: SWAP1
00001bba: DUP2
00001bbb: ADD
00001bbc: PUSH1 0x40
00001bbe: MSTORE
00001bbf: DUP1
00001bc0: SWAP3
00001bc1: SWAP2
00001bc2: SWAP1
00001bc3: DUP2
00001bc4: DUP2
00001bc5: MSTORE
00001bc6: PUSH1 0x20
00001bc8: ADD
00001bc9: DUP3
00001bca: DUP1
00001bcb: SLOAD
00001bcc: PUSH2 0x1bd4
00001bcf: SWAP1
00001bd0: PUSH2 0x2466
00001bd3: JUMP
00001bd4: JUMPDEST
00001bd5: DUP1
00001bd6: ISZERO
00001bd7: PUSH2 0x1c21
00001bda: JUMPI
00001bdb: DUP1
00001bdc: PUSH1 0x1f
00001bde: LT
00001bdf: PUSH2 0x1bf6
00001be2: JUMPI
00001be3: PUSH2 0x0100
00001be6: DUP1
00001be7: DUP4
00001be8: SLOAD
00001be9: DIV
00001bea: MUL
00001beb: DUP4
00001bec: MSTORE
00001bed: SWAP2
00001bee: PUSH1 0x20
00001bf0: ADD
00001bf1: SWAP2
00001bf2: PUSH2 0x1c21
00001bf5: JUMP
00001bf6: JUMPDEST
00001bf7: DUP3
00001bf8: ADD
00001bf9: SWAP2
00001bfa: SWAP1
00001bfb: PUSH1 0x00
00001bfd: MSTORE
00001bfe: PUSH1 0x20
00001c00: PUSH1 0x00
00001c02: KECCAK256
00001c03: SWAP1
00001c04: JUMPDEST
00001c05: DUP2
00001c06: SLOAD
00001c07: DUP2
00001c08: MSTORE
00001c09: SWAP1
00001c0a: PUSH1 0x01
00001c0c: ADD
00001c0d: SWAP1
00001c0e: PUSH1 0x20
00001c10: ADD
00001c11: DUP1
00001c12: DUP4
00001c13: GT
00001c14: PUSH2 0x1c04
00001c17: JUMPI
00001c18: DUP3
00001c19: SWAP1
00001c1a: SUB
00001c1b: PUSH1 0x1f
00001c1d: AND
00001c1e: DUP3
00001c1f: ADD
00001c20: SWAP2
00001c21: JUMPDEST
00001c22: POP
00001c23: POP
00001c24: POP
00001c25: POP
00001c26: POP
00001c27: SWAP1
00001c28: POP
00001c29: SWAP1
00001c2a: JUMP
00001c2b: JUMPDEST
00001c2c: PUSH1 0x60
00001c2e: PUSH1 0x00
00001c30: PUSH2 0x1c38
00001c33: DUP4
00001c34: PUSH2 0x205a
00001c37: JUMP
00001c38: JUMPDEST
00001c39: PUSH1 0x01
00001c3b: ADD
00001c3c: SWAP1
00001c3d: POP
00001c3e: PUSH1 0x00
00001c40: DUP2
00001c41: PUSH8 0xffffffffffffffff
00001c4a: DUP2
00001c4b: GT
00001c4c: ISZERO
00001c4d: PUSH2 0x1c58
00001c50: JUMPI
00001c51: PUSH2 0x1c58
00001c54: PUSH2 0x21ef
00001c57: JUMP
00001c58: JUMPDEST
00001c59: PUSH1 0x40
00001c5b: MLOAD
00001c5c: SWAP1
00001c5d: DUP1
00001c5e: DUP3
00001c5f: MSTORE
00001c60: DUP1
00001c61: PUSH1 0x1f
00001c63: ADD
00001c64: PUSH1 0x1f
00001c66: NOT
00001c67: AND
00001c68: PUSH1 0x20
00001c6a: ADD
00001c6b: DUP3
00001c6c: ADD
00001c6d: PUSH1 0x40
00001c6f: MSTORE
00001c70: DUP1
00001c71: ISZERO
00001c72: PUSH2 0x1c82
00001c75: JUMPI
00001c76: PUSH1 0x20
00001c78: DUP3
00001c79: ADD
00001c7a: DUP2
00001c7b: DUP1
00001c7c: CALLDATASIZE
00001c7d: DUP4
00001c7e: CALLDATACOPY
00001c7f: ADD
00001c80: SWAP1
00001c81: POP
00001c82: JUMPDEST
00001c83: POP
00001c84: SWAP1
00001c85: POP
00001c86: DUP2
00001c87: DUP2
00001c88: ADD
00001c89: PUSH1 0x20
00001c8b: ADD
00001c8c: JUMPDEST
00001c8d: PUSH1 0x00
00001c8f: NOT
00001c90: ADD
00001c91: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3
00001ca2: PUSH1 0x81
00001ca4: SHL
00001ca5: PUSH1 0x0a
00001ca7: DUP7
00001ca8: MOD
00001ca9: BYTE
00001caa: DUP2
00001cab: MSTORE8
00001cac: PUSH1 0x0a
00001cae: DUP6
00001caf: DIV
00001cb0: SWAP5
00001cb1: POP
00001cb2: DUP5
00001cb3: PUSH2 0x1c8c
00001cb6: JUMPI
00001cb7: POP
00001cb8: SWAP4
00001cb9: SWAP3
00001cba: POP
00001cbb: POP
00001cbc: POP
00001cbd: JUMP
00001cbe: JUMPDEST
00001cbf: PUSH1 0x00
00001cc1: DUP1
00001cc2: PUSH2 0x1cca
00001cc5: DUP4
00001cc6: PUSH2 0x0dd6
00001cc9: JUMP
00001cca: JUMPDEST
00001ccb: SWAP1
00001ccc: POP
00001ccd: DUP4
00001cce: PUSH1 0x01
00001cd0: PUSH1 0x01
00001cd2: PUSH1 0xa0
00001cd4: SHL
00001cd5: SUB
00001cd6: AND
00001cd7: DUP2
00001cd8: PUSH1 0x01
00001cda: PUSH1 0x01
00001cdc: PUSH1 0xa0
00001cde: SHL
00001cdf: SUB
00001ce0: AND
00001ce1: EQ
00001ce2: DUP1
00001ce3: PUSH2 0x1d05
00001ce6: JUMPI
00001ce7: POP
00001ce8: PUSH1 0x00
00001cea: DUP4
00001ceb: DUP2
00001cec: MSTORE
00001ced: PUSH1 0x06
00001cef: PUSH1 0x20
00001cf1: MSTORE
00001cf2: PUSH1 0x40
00001cf4: SWAP1
00001cf5: KECCAK256
00001cf6: SLOAD
00001cf7: PUSH1 0x01
00001cf9: PUSH1 0x01
00001cfb: PUSH1 0xa0
00001cfd: SHL
00001cfe: SUB
00001cff: DUP6
00001d00: DUP2
00001d01: AND
00001d02: SWAP2
00001d03: AND
00001d04: EQ
00001d05: JUMPDEST
00001d06: DUP1
00001d07: PUSH2 0x1d35
00001d0a: JUMPI
00001d0b: POP
00001d0c: PUSH1 0x01
00001d0e: PUSH1 0x01
00001d10: PUSH1 0xa0
00001d12: SHL
00001d13: SUB
00001d14: DUP1
00001d15: DUP3
00001d16: AND
00001d17: PUSH1 0x00
00001d19: SWAP1
00001d1a: DUP2
00001d1b: MSTORE
00001d1c: PUSH1 0x07
00001d1e: PUSH1 0x20
00001d20: SWAP1
00001d21: DUP2
00001d22: MSTORE
00001d23: PUSH1 0x40
00001d25: DUP1
00001d26: DUP4
00001d27: KECCAK256
00001d28: SWAP4
00001d29: DUP9
00001d2a: AND
00001d2b: DUP4
00001d2c: MSTORE
00001d2d: SWAP3
00001d2e: SWAP1
00001d2f: MSTORE
00001d30: KECCAK256
00001d31: SLOAD
00001d32: PUSH1 0xff
00001d34: AND
00001d35: JUMPDEST
00001d36: SWAP2
00001d37: POP
00001d38: POP
00001d39: JUMPDEST
00001d3a: SWAP3
00001d3b: SWAP2
00001d3c: POP
00001d3d: POP
00001d3e: JUMP
00001d3f: JUMPDEST
00001d40: PUSH2 0x1d48
00001d43: DUP2
00001d44: PUSH2 0x0dd6
00001d47: JUMP
00001d48: JUMPDEST
00001d49: PUSH1 0x01
00001d4b: PUSH1 0x01
00001d4d: PUSH1 0xa0
00001d4f: SHL
00001d50: SUB
00001d51: AND
00001d52: DUP4
00001d53: PUSH1 0x01
00001d55: PUSH1 0x01
00001d57: PUSH1 0xa0
00001d59: SHL
00001d5a: SUB
00001d5b: AND
00001d5c: EQ
00001d5d: PUSH2 0x1da8
00001d60: JUMPI
00001d61: PUSH1 0x40
00001d63: MLOAD
00001d64: PUSH3 0x461bcd
00001d68: PUSH1 0xe5
00001d6a: SHL
00001d6b: DUP2
00001d6c: MSTORE
00001d6d: PUSH1 0x20
00001d6f: PUSH1 0x04
00001d71: DUP3
00001d72: ADD
00001d73: MSTORE
00001d74: PUSH1 0x1d
00001d76: PUSH1 0x24
00001d78: DUP3
00001d79: ADD
00001d7a: MSTORE
00001d7b: PUSH32 0x455243373231473a205f7472616e7366657220213d206f776e65724f66000000
00001d9c: PUSH1 0x44
00001d9e: DUP3
00001d9f: ADD
00001da0: MSTORE
00001da1: PUSH1 0x64
00001da3: ADD
00001da4: PUSH2 0x0982
00001da7: JUMP
00001da8: JUMPDEST
00001da9: PUSH1 0x01
00001dab: PUSH1 0x01
00001dad: PUSH1 0xa0
00001daf: SHL
00001db0: SUB
00001db1: DUP3
00001db2: AND
00001db3: PUSH2 0x1dfe
00001db6: JUMPI
00001db7: PUSH1 0x40
00001db9: MLOAD
00001dba: PUSH3 0x461bcd
00001dbe: PUSH1 0xe5
00001dc0: SHL
00001dc1: DUP2
00001dc2: MSTORE
00001dc3: PUSH1 0x20
00001dc5: PUSH1 0x04
00001dc7: DUP3
00001dc8: ADD
00001dc9: MSTORE
00001dca: PUSH1 0x19
00001dcc: PUSH1 0x24
00001dce: DUP3
00001dcf: ADD
00001dd0: MSTORE
00001dd1: PUSH32 0x455243373231473a205f7472616e7366657220746f2030783000000000000000
00001df2: PUSH1 0x44
00001df4: DUP3
00001df5: ADD
00001df6: MSTORE
00001df7: PUSH1 0x64
00001df9: ADD
00001dfa: PUSH2 0x0982
00001dfd: JUMP
00001dfe: JUMPDEST
00001dff: PUSH1 0x00
00001e01: DUP2
00001e02: DUP2
00001e03: MSTORE
00001e04: PUSH1 0x06
00001e06: PUSH1 0x20
00001e08: SWAP1
00001e09: DUP2
00001e0a: MSTORE
00001e0b: PUSH1 0x40
00001e0d: DUP1
00001e0e: DUP4
00001e0f: KECCAK256
00001e10: DUP1
00001e11: SLOAD
00001e12: PUSH1 0x01
00001e14: PUSH1 0x01
00001e16: PUSH1 0xa0
00001e18: SHL
00001e19: SUB
00001e1a: NOT
00001e1b: SWAP1
00001e1c: DUP2
00001e1d: AND
00001e1e: SWAP1
00001e1f: SWAP2
00001e20: SSTORE
00001e21: PUSH1 0x03
00001e23: DUP4
00001e24: MSTORE
00001e25: DUP2
00001e26: DUP5
00001e27: KECCAK256
00001e28: DUP1
00001e29: SLOAD
00001e2a: SWAP1
00001e2b: SWAP2
00001e2c: AND
00001e2d: PUSH1 0x01
00001e2f: PUSH1 0x01
00001e31: PUSH1 0xa0
00001e33: SHL
00001e34: SUB
00001e35: DUP8
00001e36: DUP2
00001e37: AND
00001e38: SWAP2
00001e39: DUP3
00001e3a: OR
00001e3b: SWAP1
00001e3c: SWAP3
00001e3d: SSTORE
00001e3e: SWAP1
00001e3f: DUP8
00001e40: AND
00001e41: DUP1
00001e42: DUP6
00001e43: MSTORE
00001e44: PUSH1 0x04
00001e46: SWAP1
00001e47: SWAP4
00001e48: MSTORE
00001e49: DUP2
00001e4a: DUP5
00001e4b: KECCAK256
00001e4c: DUP1
00001e4d: SLOAD
00001e4e: PUSH4 0xffffffff
00001e53: NOT
00001e54: DUP1
00001e55: DUP3
00001e56: AND
00001e57: PUSH4 0xffffffff
00001e5c: SWAP3
00001e5d: DUP4
00001e5e: AND
00001e5f: PUSH1 0x00
00001e61: NOT
00001e62: ADD
00001e63: DUP4
00001e64: AND
00001e65: OR
00001e66: SWAP1
00001e67: SWAP3
00001e68: SSTORE
00001e69: DUP3
00001e6a: DUP7
00001e6b: MSTORE
00001e6c: DUP4
00001e6d: DUP7
00001e6e: KECCAK256
00001e6f: DUP1
00001e70: SLOAD
00001e71: SWAP3
00001e72: DUP4
00001e73: AND
00001e74: SWAP3
00001e75: DUP3
00001e76: AND
00001e77: PUSH1 0x01
00001e79: ADD
00001e7a: SWAP1
00001e7b: SWAP2
00001e7c: AND
00001e7d: SWAP2
00001e7e: SWAP1
00001e7f: SWAP2
00001e80: OR
00001e81: SWAP1
00001e82: SSTORE
00001e83: SWAP1
00001e84: MLOAD
00001e85: DUP5
00001e86: SWAP4
00001e87: SWAP2
00001e88: SWAP3
00001e89: SWAP2
00001e8a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001eab: SWAP2
00001eac: LOG4
00001ead: POP
00001eae: POP
00001eaf: POP
00001eb0: JUMP
00001eb1: JUMPDEST
00001eb2: PUSH1 0x01
00001eb4: PUSH1 0x01
00001eb6: PUSH1 0xa0
00001eb8: SHL
00001eb9: SUB
00001eba: DUP3
00001ebb: AND
00001ebc: PUSH2 0x1f07
00001ebf: JUMPI
00001ec0: PUSH1 0x40
00001ec2: MLOAD
00001ec3: PUSH3 0x461bcd
00001ec7: PUSH1 0xe5
00001ec9: SHL
00001eca: DUP2
00001ecb: MSTORE
00001ecc: PUSH1 0x20
00001ece: PUSH1 0x04
00001ed0: DUP3
00001ed1: ADD
00001ed2: MSTORE
00001ed3: PUSH1 0x1d
00001ed5: PUSH1 0x24
00001ed7: DUP3
00001ed8: ADD
00001ed9: MSTORE
00001eda: PUSH32 0x455243373231473a205f6d696e74496e7465726e616c20746f20307830000000
00001efb: PUSH1 0x44
00001efd: DUP3
00001efe: ADD
00001eff: MSTORE
00001f00: PUSH1 0x64
00001f02: ADD
00001f03: PUSH2 0x0982
00001f06: JUMP
00001f07: JUMPDEST
00001f08: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000003
00001f29: DUP2
00001f2a: GT
00001f2b: ISZERO
00001f2c: PUSH2 0x1f88
00001f2f: JUMPI
00001f30: PUSH1 0x40
00001f32: MLOAD
00001f33: PUSH3 0x461bcd
00001f37: PUSH1 0xe5
00001f39: SHL
00001f3a: DUP2
00001f3b: MSTORE
00001f3c: PUSH1 0x20
00001f3e: PUSH1 0x04
00001f40: DUP3
00001f41: ADD
00001f42: MSTORE
00001f43: PUSH1 0x28
00001f45: PUSH1 0x24
00001f47: DUP3
00001f48: ADD
00001f49: MSTORE
00001f4a: PUSH32 0x455243373231473a205f6d696e74496e7465726e616c206f766572206d617842
00001f6b: PUSH1 0x44
00001f6d: DUP3
00001f6e: ADD
00001f6f: MSTORE
00001f70: PUSH8 0x6174636853697a65
00001f79: PUSH1 0xc0
00001f7b: SHL
00001f7c: PUSH1 0x64
00001f7e: DUP3
00001f7f: ADD
00001f80: MSTORE
00001f81: PUSH1 0x84
00001f83: ADD
00001f84: PUSH2 0x0982
00001f87: JUMP
00001f88: JUMPDEST
00001f89: PUSH1 0x02
00001f8b: SLOAD
00001f8c: PUSH1 0x00
00001f8e: PUSH2 0x1f97
00001f91: DUP4
00001f92: DUP4
00001f93: PUSH2 0x2660
00001f96: JUMP
00001f97: JUMPDEST
00001f98: PUSH1 0x00
00001f9a: DUP4
00001f9b: DUP2
00001f9c: MSTORE
00001f9d: PUSH1 0x05
00001f9f: PUSH1 0x20
00001fa1: SWAP1
00001fa2: DUP2
00001fa3: MSTORE
00001fa4: PUSH1 0x40
00001fa6: DUP1
00001fa7: DUP4
00001fa8: KECCAK256
00001fa9: DUP1
00001faa: SLOAD
00001fab: PUSH1 0x01
00001fad: PUSH1 0x01
00001faf: PUSH1 0xa0
00001fb1: SHL
00001fb2: SUB
00001fb3: DUP11
00001fb4: AND
00001fb5: PUSH1 0x01
00001fb7: PUSH1 0x01
00001fb9: PUSH1 0xa0
00001fbb: SHL
00001fbc: SUB
00001fbd: NOT
00001fbe: SWAP1
00001fbf: SWAP2
00001fc0: AND
00001fc1: DUP2
00001fc2: OR
00001fc3: SWAP1
00001fc4: SWAP2
00001fc5: SSTORE
00001fc6: DUP4
00001fc7: MSTORE
00001fc8: PUSH1 0x04
00001fca: SWAP1
00001fcb: SWAP2
00001fcc: MSTORE
00001fcd: SWAP1
00001fce: KECCAK256
00001fcf: DUP1
00001fd0: SLOAD
00001fd1: PUSH5 0x0100000000
00001fd7: PUSH4 0xffffffff
00001fdc: DUP1
00001fdd: DUP4
00001fde: AND
00001fdf: DUP9
00001fe0: ADD
00001fe1: DUP2
00001fe2: AND
00001fe3: PUSH4 0xffffffff
00001fe8: NOT
00001fe9: DUP5
00001fea: AND
00001feb: DUP2
00001fec: OR
00001fed: DUP4
00001fee: SWAP1
00001fef: DIV
00001ff0: DUP3
00001ff1: AND
00001ff2: DUP10
00001ff3: ADD
00001ff4: SWAP1
00001ff5: SWAP2
00001ff6: AND
00001ff7: SWAP1
00001ff8: SWAP2
00001ff9: MUL
00001ffa: PUSH8 0xffffffffffffffff
00002003: NOT
00002004: SWAP1
00002005: SWAP3
00002006: AND
00002007: OR
00002008: OR
00002009: SWAP1
0000200a: SSTORE
0000200b: SWAP1
0000200c: POP
0000200d: JUMPDEST
0000200e: PUSH1 0x40
00002010: MLOAD
00002011: DUP3
00002012: SWAP1
00002013: PUSH1 0x01
00002015: PUSH1 0x01
00002017: PUSH1 0xa0
00002019: SHL
0000201a: SUB
0000201b: DUP7
0000201c: AND
0000201d: SWAP1
0000201e: PUSH1 0x00
00002020: SWAP1
00002021: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002042: SWAP1
00002043: DUP3
00002044: SWAP1
00002045: LOG4
00002046: DUP1
00002047: DUP3
00002048: PUSH1 0x01
0000204a: ADD
0000204b: SWAP3
0000204c: POP
0000204d: DUP3
0000204e: LT
0000204f: PUSH2 0x200d
00002052: JUMPI
00002053: PUSH1 0x02
00002055: SSTORE
00002056: POP
00002057: POP
00002058: POP
00002059: JUMP
0000205a: JUMPDEST
0000205b: PUSH1 0x00
0000205d: DUP1
0000205e: PUSH19 0x184f03e93ff9f4daa797ed6e38ed64bf6a1f01
00002072: PUSH1 0x40
00002074: SHL
00002075: DUP4
00002076: LT
00002077: PUSH2 0x2099
0000207a: JUMPI
0000207b: PUSH19 0x184f03e93ff9f4daa797ed6e38ed64bf6a1f01
0000208f: PUSH1 0x40
00002091: SHL
00002092: DUP4
00002093: DIV
00002094: SWAP3
00002095: POP
00002096: PUSH1 0x40
00002098: ADD
00002099: JUMPDEST
0000209a: PUSH14 0x04ee2d6d415b85acef8100000000
000020a9: DUP4
000020aa: LT
000020ab: PUSH2 0x20c5
000020ae: JUMPI
000020af: PUSH14 0x04ee2d6d415b85acef8100000000
000020be: DUP4
000020bf: DIV
000020c0: SWAP3
000020c1: POP
000020c2: PUSH1 0x20
000020c4: ADD
000020c5: JUMPDEST
000020c6: PUSH7 0x2386f26fc10000
000020ce: DUP4
000020cf: LT
000020d0: PUSH2 0x20e3
000020d3: JUMPI
000020d4: PUSH7 0x2386f26fc10000
000020dc: DUP4
000020dd: DIV
000020de: SWAP3
000020df: POP
000020e0: PUSH1 0x10
000020e2: ADD
000020e3: JUMPDEST
000020e4: PUSH4 0x05f5e100
000020e9: DUP4
000020ea: LT
000020eb: PUSH2 0x20fb
000020ee: JUMPI
000020ef: PUSH4 0x05f5e100
000020f4: DUP4
000020f5: DIV
000020f6: SWAP3
000020f7: POP
000020f8: PUSH1 0x08
000020fa: ADD
000020fb: JUMPDEST
000020fc: PUSH2 0x2710
000020ff: DUP4
00002100: LT
00002101: PUSH2 0x210f
00002104: JUMPI
00002105: PUSH2 0x2710
00002108: DUP4
00002109: DIV
0000210a: SWAP3
0000210b: POP
0000210c: PUSH1 0x04
0000210e: ADD
0000210f: JUMPDEST
00002110: PUSH1 0x64
00002112: DUP4
00002113: LT
00002114: PUSH2 0x2121
00002117: JUMPI
00002118: PUSH1 0x64
0000211a: DUP4
0000211b: DIV
0000211c: SWAP3
0000211d: POP
0000211e: PUSH1 0x02
00002120: ADD
00002121: JUMPDEST
00002122: PUSH1 0x0a
00002124: DUP4
00002125: LT
00002126: PUSH2 0x1d39
00002129: JUMPI
0000212a: PUSH1 0x01
0000212c: ADD
0000212d: SWAP3
0000212e: SWAP2
0000212f: POP
00002130: POP
00002131: JUMP
00002132: JUMPDEST
00002133: PUSH1 0x00
00002135: JUMPDEST
00002136: DUP4
00002137: DUP2
00002138: LT
00002139: ISZERO
0000213a: PUSH2 0x214d
0000213d: JUMPI
0000213e: DUP2
0000213f: DUP2
00002140: ADD
00002141: MLOAD
00002142: DUP4
00002143: DUP3
00002144: ADD
00002145: MSTORE
00002146: PUSH1 0x20
00002148: ADD
00002149: PUSH2 0x2135
0000214c: JUMP
0000214d: JUMPDEST
0000214e: POP
0000214f: POP
00002150: PUSH1 0x00
00002152: SWAP2
00002153: ADD
00002154: MSTORE
00002155: JUMP
00002156: JUMPDEST
00002157: PUSH1 0x00
00002159: DUP2
0000215a: MLOAD
0000215b: DUP1
0000215c: DUP5
0000215d: MSTORE
0000215e: PUSH2 0x216e
00002161: DUP2
00002162: PUSH1 0x20
00002164: DUP7
00002165: ADD
00002166: PUSH1 0x20
00002168: DUP7
00002169: ADD
0000216a: PUSH2 0x2132
0000216d: JUMP
0000216e: JUMPDEST
0000216f: PUSH1 0x1f
00002171: ADD
00002172: PUSH1 0x1f
00002174: NOT
00002175: AND
00002176: SWAP3
00002177: SWAP1
00002178: SWAP3
00002179: ADD
0000217a: PUSH1 0x20
0000217c: ADD
0000217d: SWAP3
0000217e: SWAP2
0000217f: POP
00002180: POP
00002181: JUMP
00002182: JUMPDEST
00002183: PUSH1 0x20
00002185: DUP2
00002186: MSTORE
00002187: PUSH1 0x00
00002189: PUSH2 0x16d0
0000218c: PUSH1 0x20
0000218e: DUP4
0000218f: ADD
00002190: DUP5
00002191: PUSH2 0x2156
00002194: JUMP
00002195: JUMPDEST
00002196: PUSH1 0x00
00002198: PUSH1 0x20
0000219a: DUP3
0000219b: DUP5
0000219c: SUB
0000219d: SLT
0000219e: ISZERO
0000219f: PUSH2 0x21a7
000021a2: JUMPI
000021a3: PUSH1 0x00
000021a5: DUP1
000021a6: REVERT
000021a7: JUMPDEST
000021a8: POP
000021a9: CALLDATALOAD
000021aa: SWAP2
000021ab: SWAP1
000021ac: POP
000021ad: JUMP
000021ae: JUMPDEST
000021af: DUP1
000021b0: CALLDATALOAD
000021b1: PUSH1 0x01
000021b3: PUSH1 0x01
000021b5: PUSH1 0xa0
000021b7: SHL
000021b8: SUB
000021b9: DUP2
000021ba: AND
000021bb: DUP2
000021bc: EQ
000021bd: PUSH2 0x15cb
000021c0: JUMPI
000021c1: PUSH1 0x00
000021c3: DUP1
000021c4: REVERT
000021c5: JUMPDEST
000021c6: PUSH1 0x00
000021c8: DUP1
000021c9: PUSH1 0x40
000021cb: DUP4
000021cc: DUP6
000021cd: SUB
000021ce: SLT
000021cf: ISZERO
000021d0: PUSH2 0x21d8
000021d3: JUMPI
000021d4: PUSH1 0x00
000021d6: DUP1
000021d7: REVERT
000021d8: JUMPDEST
000021d9: PUSH2 0x21e1
000021dc: DUP4
000021dd: PUSH2 0x21ae
000021e0: JUMP
000021e1: JUMPDEST
000021e2: SWAP5
000021e3: PUSH1 0x20
000021e5: SWAP4
000021e6: SWAP1
000021e7: SWAP4
000021e8: ADD
000021e9: CALLDATALOAD
000021ea: SWAP4
000021eb: POP
000021ec: POP
000021ed: POP
000021ee: JUMP
000021ef: JUMPDEST
000021f0: PUSH4 0x4e487b71
000021f5: PUSH1 0xe0
000021f7: SHL
000021f8: PUSH1 0x00
000021fa: MSTORE
000021fb: PUSH1 0x41
000021fd: PUSH1 0x04
000021ff: MSTORE
00002200: PUSH1 0x24
00002202: PUSH1 0x00
00002204: REVERT
00002205: JUMPDEST
00002206: PUSH1 0x00
00002208: DUP1
00002209: PUSH1 0x00
0000220b: DUP1
0000220c: PUSH1 0x80
0000220e: DUP6
0000220f: DUP8
00002210: SUB
00002211: SLT
00002212: ISZERO
00002213: PUSH2 0x221b
00002216: JUMPI
00002217: PUSH1 0x00
00002219: DUP1
0000221a: REVERT
0000221b: JUMPDEST
0000221c: PUSH2 0x2224
0000221f: DUP6
00002220: PUSH2 0x21ae
00002223: JUMP
00002224: JUMPDEST
00002225: SWAP4
00002226: POP
00002227: PUSH2 0x2232
0000222a: PUSH1 0x20
0000222c: DUP7
0000222d: ADD
0000222e: PUSH2 0x21ae
00002231: JUMP
00002232: JUMPDEST
00002233: SWAP3
00002234: POP
00002235: PUSH1 0x40
00002237: DUP6
00002238: ADD
00002239: CALLDATALOAD
0000223a: SWAP2
0000223b: POP
0000223c: PUSH1 0x60
0000223e: DUP6
0000223f: ADD
00002240: CALLDATALOAD
00002241: PUSH8 0xffffffffffffffff
0000224a: DUP1
0000224b: DUP3
0000224c: GT
0000224d: ISZERO
0000224e: PUSH2 0x2256
00002251: JUMPI
00002252: PUSH1 0x00
00002254: DUP1
00002255: REVERT
00002256: JUMPDEST
00002257: DUP2
00002258: DUP8
00002259: ADD
0000225a: SWAP2
0000225b: POP
0000225c: DUP8
0000225d: PUSH1 0x1f
0000225f: DUP4
00002260: ADD
00002261: SLT
00002262: PUSH2 0x226a
00002265: JUMPI
00002266: PUSH1 0x00
00002268: DUP1
00002269: REVERT
0000226a: JUMPDEST
0000226b: DUP2
0000226c: CALLDATALOAD
0000226d: DUP2
0000226e: DUP2
0000226f: GT
00002270: ISZERO
00002271: PUSH2 0x227c
00002274: JUMPI
00002275: PUSH2 0x227c
00002278: PUSH2 0x21ef
0000227b: JUMP
0000227c: JUMPDEST
0000227d: PUSH1 0x40
0000227f: MLOAD
00002280: PUSH1 0x1f
00002282: DUP3
00002283: ADD
00002284: PUSH1 0x1f
00002286: NOT
00002287: SWAP1
00002288: DUP2
00002289: AND
0000228a: PUSH1 0x3f
0000228c: ADD
0000228d: AND
0000228e: DUP2
0000228f: ADD
00002290: SWAP1
00002291: DUP4
00002292: DUP3
00002293: GT
00002294: DUP2
00002295: DUP4
00002296: LT
00002297: OR
00002298: ISZERO
00002299: PUSH2 0x22a4
0000229c: JUMPI
0000229d: PUSH2 0x22a4
000022a0: PUSH2 0x21ef
000022a3: JUMP
000022a4: JUMPDEST
000022a5: DUP2
000022a6: PUSH1 0x40
000022a8: MSTORE
000022a9: DUP3
000022aa: DUP2
000022ab: MSTORE
000022ac: DUP11
000022ad: PUSH1 0x20
000022af: DUP5
000022b0: DUP8
000022b1: ADD
000022b2: ADD
000022b3: GT
000022b4: ISZERO
000022b5: PUSH2 0x22bd
000022b8: JUMPI
000022b9: PUSH1 0x00
000022bb: DUP1
000022bc: REVERT
000022bd: JUMPDEST
000022be: DUP3
000022bf: PUSH1 0x20
000022c1: DUP7
000022c2: ADD
000022c3: PUSH1 0x20
000022c5: DUP4
000022c6: ADD
000022c7: CALLDATACOPY
000022c8: PUSH1 0x00
000022ca: PUSH1 0x20
000022cc: DUP5
000022cd: DUP4
000022ce: ADD
000022cf: ADD
000022d0: MSTORE
000022d1: DUP1
000022d2: SWAP6
000022d3: POP
000022d4: POP
000022d5: POP
000022d6: POP
000022d7: POP
000022d8: POP
000022d9: SWAP3
000022da: SWAP6
000022db: SWAP2
000022dc: SWAP5
000022dd: POP
000022de: SWAP3
000022df: POP
000022e0: JUMP
000022e1: JUMPDEST
000022e2: PUSH1 0x00
000022e4: DUP1
000022e5: PUSH1 0x00
000022e7: PUSH1 0x60
000022e9: DUP5
000022ea: DUP7
000022eb: SUB
000022ec: SLT
000022ed: ISZERO
000022ee: PUSH2 0x22f6
000022f1: JUMPI
000022f2: PUSH1 0x00
000022f4: DUP1
000022f5: REVERT
000022f6: JUMPDEST
000022f7: PUSH2 0x22ff
000022fa: DUP5
000022fb: PUSH2 0x21ae
000022fe: JUMP
000022ff: JUMPDEST
00002300: SWAP3
00002301: POP
00002302: PUSH2 0x230d
00002305: PUSH1 0x20
00002307: DUP6
00002308: ADD
00002309: PUSH2 0x21ae
0000230c: JUMP
0000230d: JUMPDEST
0000230e: SWAP2
0000230f: POP
00002310: PUSH1 0x40
00002312: DUP5
00002313: ADD
00002314: CALLDATALOAD
00002315: SWAP1
00002316: POP
00002317: SWAP3
00002318: POP
00002319: SWAP3
0000231a: POP
0000231b: SWAP3
0000231c: JUMP
0000231d: JUMPDEST
0000231e: PUSH1 0x00
00002320: PUSH1 0x20
00002322: DUP3
00002323: DUP5
00002324: SUB
00002325: SLT
00002326: ISZERO
00002327: PUSH2 0x232f
0000232a: JUMPI
0000232b: PUSH1 0x00
0000232d: DUP1
0000232e: REVERT
0000232f: JUMPDEST
00002330: PUSH2 0x16d0
00002333: DUP3
00002334: PUSH2 0x21ae
00002337: JUMP
00002338: JUMPDEST
00002339: PUSH1 0x20
0000233b: DUP1
0000233c: DUP3
0000233d: MSTORE
0000233e: DUP3
0000233f: MLOAD
00002340: DUP3
00002341: DUP3
00002342: ADD
00002343: DUP2
00002344: SWAP1
00002345: MSTORE
00002346: PUSH1 0x00
00002348: SWAP2
00002349: SWAP1
0000234a: DUP5
0000234b: DUP3
0000234c: ADD
0000234d: SWAP1
0000234e: PUSH1 0x40
00002350: DUP6
00002351: ADD
00002352: SWAP1
00002353: DUP5
00002354: JUMPDEST
00002355: DUP2
00002356: DUP2
00002357: LT
00002358: ISZERO
00002359: PUSH2 0x2370
0000235c: JUMPI
0000235d: DUP4
0000235e: MLOAD
0000235f: DUP4
00002360: MSTORE
00002361: SWAP3
00002362: DUP5
00002363: ADD
00002364: SWAP3
00002365: SWAP2
00002366: DUP5
00002367: ADD
00002368: SWAP2
00002369: PUSH1 0x01
0000236b: ADD
0000236c: PUSH2 0x2354
0000236f: JUMP
00002370: JUMPDEST
00002371: POP
00002372: SWAP1
00002373: SWAP7
00002374: SWAP6
00002375: POP
00002376: POP
00002377: POP
00002378: POP
00002379: POP
0000237a: POP
0000237b: JUMP
0000237c: JUMPDEST
0000237d: PUSH1 0x00
0000237f: DUP1
00002380: PUSH1 0x20
00002382: DUP4
00002383: DUP6
00002384: SUB
00002385: SLT
00002386: ISZERO
00002387: PUSH2 0x238f
0000238a: JUMPI
0000238b: PUSH1 0x00
0000238d: DUP1
0000238e: REVERT
0000238f: JUMPDEST
00002390: DUP3
00002391: CALLDATALOAD
00002392: PUSH8 0xffffffffffffffff
0000239b: DUP1
0000239c: DUP3
0000239d: GT
0000239e: ISZERO
0000239f: PUSH2 0x23a7
000023a2: JUMPI
000023a3: PUSH1 0x00
000023a5: DUP1
000023a6: REVERT
000023a7: JUMPDEST
000023a8: DUP2
000023a9: DUP6
000023aa: ADD
000023ab: SWAP2
000023ac: POP
000023ad: DUP6
000023ae: PUSH1 0x1f
000023b0: DUP4
000023b1: ADD
000023b2: SLT
000023b3: PUSH2 0x23bb
000023b6: JUMPI
000023b7: PUSH1 0x00
000023b9: DUP1
000023ba: REVERT
000023bb: JUMPDEST
000023bc: DUP2
000023bd: CALLDATALOAD
000023be: DUP2
000023bf: DUP2
000023c0: GT
000023c1: ISZERO
000023c2: PUSH2 0x23ca
000023c5: JUMPI
000023c6: PUSH1 0x00
000023c8: DUP1
000023c9: REVERT
000023ca: JUMPDEST
000023cb: DUP7
000023cc: PUSH1 0x20
000023ce: DUP3
000023cf: DUP6
000023d0: ADD
000023d1: ADD
000023d2: GT
000023d3: ISZERO
000023d4: PUSH2 0x23dc
000023d7: JUMPI
000023d8: PUSH1 0x00
000023da: DUP1
000023db: REVERT
000023dc: JUMPDEST
000023dd: PUSH1 0x20
000023df: SWAP3
000023e0: SWAP1
000023e1: SWAP3
000023e2: ADD
000023e3: SWAP7
000023e4: SWAP2
000023e5: SWAP6
000023e6: POP
000023e7: SWAP1
000023e8: SWAP4
000023e9: POP
000023ea: POP
000023eb: POP
000023ec: POP
000023ed: JUMP
000023ee: JUMPDEST
000023ef: DUP1
000023f0: ISZERO
000023f1: ISZERO
000023f2: DUP2
000023f3: EQ
000023f4: PUSH2 0x1309
000023f7: JUMPI
000023f8: PUSH1 0x00
000023fa: DUP1
000023fb: REVERT
000023fc: JUMPDEST
000023fd: PUSH1 0x00
000023ff: DUP1
00002400: PUSH1 0x40
00002402: DUP4
00002403: DUP6
00002404: SUB
00002405: SLT
00002406: ISZERO
00002407: PUSH2 0x240f
0000240a: JUMPI
0000240b: PUSH1 0x00
0000240d: DUP1
0000240e: REVERT
0000240f: JUMPDEST
00002410: PUSH2 0x2418
00002413: DUP4
00002414: PUSH2 0x21ae
00002417: JUMP
00002418: JUMPDEST
00002419: SWAP2
0000241a: POP
0000241b: PUSH1 0x20
0000241d: DUP4
0000241e: ADD
0000241f: CALLDATALOAD
00002420: PUSH2 0x2428
00002423: DUP2
00002424: PUSH2 0x23ee
00002427: JUMP
00002428: JUMPDEST
00002429: DUP1
0000242a: SWAP2
0000242b: POP
0000242c: POP
0000242d: SWAP3
0000242e: POP
0000242f: SWAP3
00002430: SWAP1
00002431: POP
00002432: JUMP
00002433: JUMPDEST
00002434: PUSH1 0x00
00002436: DUP1
00002437: PUSH1 0x40
00002439: DUP4
0000243a: DUP6
0000243b: SUB
0000243c: SLT
0000243d: ISZERO
0000243e: PUSH2 0x2446
00002441: JUMPI
00002442: PUSH1 0x00
00002444: DUP1
00002445: REVERT
00002446: JUMPDEST
00002447: PUSH2 0x244f
0000244a: DUP4
0000244b: PUSH2 0x21ae
0000244e: JUMP
0000244f: JUMPDEST
00002450: SWAP2
00002451: POP
00002452: PUSH2 0x245d
00002455: PUSH1 0x20
00002457: DUP5
00002458: ADD
00002459: PUSH2 0x21ae
0000245c: JUMP
0000245d: JUMPDEST
0000245e: SWAP1
0000245f: POP
00002460: SWAP3
00002461: POP
00002462: SWAP3
00002463: SWAP1
00002464: POP
00002465: JUMP
00002466: JUMPDEST
00002467: PUSH1 0x01
00002469: DUP2
0000246a: DUP2
0000246b: SHR
0000246c: SWAP1
0000246d: DUP3
0000246e: AND
0000246f: DUP1
00002470: PUSH2 0x247a
00002473: JUMPI
00002474: PUSH1 0x7f
00002476: DUP3
00002477: AND
00002478: SWAP2
00002479: POP
0000247a: JUMPDEST
0000247b: PUSH1 0x20
0000247d: DUP3
0000247e: LT
0000247f: DUP2
00002480: SUB
00002481: PUSH2 0x249a
00002484: JUMPI
00002485: PUSH4 0x4e487b71
0000248a: PUSH1 0xe0
0000248c: SHL
0000248d: PUSH1 0x00
0000248f: MSTORE
00002490: PUSH1 0x22
00002492: PUSH1 0x04
00002494: MSTORE
00002495: PUSH1 0x24
00002497: PUSH1 0x00
00002499: REVERT
0000249a: JUMPDEST
0000249b: POP
0000249c: SWAP2
0000249d: SWAP1
0000249e: POP
0000249f: JUMP
000024a0: JUMPDEST
000024a1: PUSH4 0x4e487b71
000024a6: PUSH1 0xe0
000024a8: SHL
000024a9: PUSH1 0x00
000024ab: MSTORE
000024ac: PUSH1 0x11
000024ae: PUSH1 0x04
000024b0: MSTORE
000024b1: PUSH1 0x24
000024b3: PUSH1 0x00
000024b5: REVERT
000024b6: JUMPDEST
000024b7: DUP2
000024b8: DUP2
000024b9: SUB
000024ba: DUP2
000024bb: DUP2
000024bc: GT
000024bd: ISZERO
000024be: PUSH2 0x1d39
000024c1: JUMPI
000024c2: PUSH2 0x1d39
000024c5: PUSH2 0x24a0
000024c8: JUMP
000024c9: JUMPDEST
000024ca: PUSH1 0x00
000024cc: PUSH1 0x20
000024ce: DUP3
000024cf: DUP5
000024d0: SUB
000024d1: SLT
000024d2: ISZERO
000024d3: PUSH2 0x24db
000024d6: JUMPI
000024d7: PUSH1 0x00
000024d9: DUP1
000024da: REVERT
000024db: JUMPDEST
000024dc: DUP2
000024dd: MLOAD
000024de: PUSH2 0x16d0
000024e1: DUP2
000024e2: PUSH2 0x23ee
000024e5: JUMP
000024e6: JUMPDEST
000024e7: PUSH1 0x00
000024e9: PUSH1 0x01
000024eb: DUP3
000024ec: ADD
000024ed: PUSH2 0x24f8
000024f0: JUMPI
000024f1: PUSH2 0x24f8
000024f4: PUSH2 0x24a0
000024f7: JUMP
000024f8: JUMPDEST
000024f9: POP
000024fa: PUSH1 0x01
000024fc: ADD
000024fd: SWAP1
000024fe: JUMP
000024ff: JUMPDEST
00002500: PUSH4 0x4e487b71
00002505: PUSH1 0xe0
00002507: SHL
00002508: PUSH1 0x00
0000250a: MSTORE
0000250b: PUSH1 0x32
0000250d: PUSH1 0x04
0000250f: MSTORE
00002510: PUSH1 0x24
00002512: PUSH1 0x00
00002514: REVERT
00002515: JUMPDEST
00002516: PUSH1 0x20
00002518: DUP1
00002519: DUP3
0000251a: MSTORE
0000251b: PUSH1 0x14
0000251d: SWAP1
0000251e: DUP3
0000251f: ADD
00002520: MSTORE
00002521: PUSH20 0x5a52523a204f6e6c7920476f7665726e616e6365
00002536: PUSH1 0x60
00002538: SHL
00002539: PUSH1 0x40
0000253b: DUP3
0000253c: ADD
0000253d: MSTORE
0000253e: PUSH1 0x60
00002540: ADD
00002541: SWAP1
00002542: JUMP
00002543: JUMPDEST
00002544: PUSH1 0x1f
00002546: DUP3
00002547: GT
00002548: ISZERO
00002549: PUSH2 0x0995
0000254c: JUMPI
0000254d: PUSH1 0x00
0000254f: DUP2
00002550: DUP2
00002551: MSTORE
00002552: PUSH1 0x20
00002554: DUP2
00002555: KECCAK256
00002556: PUSH1 0x1f
00002558: DUP6
00002559: ADD
0000255a: PUSH1 0x05
0000255c: SHR
0000255d: DUP2
0000255e: ADD
0000255f: PUSH1 0x20
00002561: DUP7
00002562: LT
00002563: ISZERO
00002564: PUSH2 0x256a
00002567: JUMPI
00002568: POP
00002569: DUP1
0000256a: JUMPDEST
0000256b: PUSH1 0x1f
0000256d: DUP6
0000256e: ADD
0000256f: PUSH1 0x05
00002571: SHR
00002572: DUP3
00002573: ADD
00002574: SWAP2
00002575: POP
00002576: JUMPDEST
00002577: DUP2
00002578: DUP2
00002579: LT
0000257a: ISZERO
0000257b: PUSH2 0x1b74
0000257e: JUMPI
0000257f: DUP3
00002580: DUP2
00002581: SSTORE
00002582: PUSH1 0x01
00002584: ADD
00002585: PUSH2 0x2576
00002588: JUMP
00002589: JUMPDEST
0000258a: PUSH8 0xffffffffffffffff
00002593: DUP4
00002594: GT
00002595: ISZERO
00002596: PUSH2 0x25a1
00002599: JUMPI
0000259a: PUSH2 0x25a1
0000259d: PUSH2 0x21ef
000025a0: JUMP
000025a1: JUMPDEST
000025a2: PUSH2 0x25b5
000025a5: DUP4
000025a6: PUSH2 0x25af
000025a9: DUP4
000025aa: SLOAD
000025ab: PUSH2 0x2466
000025ae: JUMP
000025af: JUMPDEST
000025b0: DUP4
000025b1: PUSH2 0x2543
000025b4: JUMP
000025b5: JUMPDEST
000025b6: PUSH1 0x00
000025b8: PUSH1 0x1f
000025ba: DUP5
000025bb: GT
000025bc: PUSH1 0x01
000025be: DUP2
000025bf: EQ
000025c0: PUSH2 0x25e9
000025c3: JUMPI
000025c4: PUSH1 0x00
000025c6: DUP6
000025c7: ISZERO
000025c8: PUSH2 0x25d1
000025cb: JUMPI
000025cc: POP
000025cd: DUP4
000025ce: DUP3
000025cf: ADD
000025d0: CALLDATALOAD
000025d1: JUMPDEST
000025d2: PUSH1 0x00
000025d4: NOT
000025d5: PUSH1 0x03
000025d7: DUP8
000025d8: SWAP1
000025d9: SHL
000025da: SHR
000025db: NOT
000025dc: AND
000025dd: PUSH1 0x01
000025df: DUP7
000025e0: SWAP1
000025e1: SHL
000025e2: OR
000025e3: DUP4
000025e4: SSTORE
000025e5: PUSH2 0x1473
000025e8: JUMP
000025e9: JUMPDEST
000025ea: PUSH1 0x00
000025ec: DUP4
000025ed: DUP2
000025ee: MSTORE
000025ef: PUSH1 0x20
000025f1: SWAP1
000025f2: KECCAK256
000025f3: PUSH1 0x1f
000025f5: NOT
000025f6: DUP7
000025f7: AND
000025f8: SWAP1
000025f9: DUP4
000025fa: JUMPDEST
000025fb: DUP3
000025fc: DUP2
000025fd: LT
000025fe: ISZERO
000025ff: PUSH2 0x261a
00002602: JUMPI
00002603: DUP7
00002604: DUP6
00002605: ADD
00002606: CALLDATALOAD
00002607: DUP3
00002608: SSTORE
00002609: PUSH1 0x20
0000260b: SWAP5
0000260c: DUP6
0000260d: ADD
0000260e: SWAP5
0000260f: PUSH1 0x01
00002611: SWAP1
00002612: SWAP3
00002613: ADD
00002614: SWAP2
00002615: ADD
00002616: PUSH2 0x25fa
00002619: JUMP
0000261a: JUMPDEST
0000261b: POP
0000261c: DUP7
0000261d: DUP3
0000261e: LT
0000261f: ISZERO
00002620: PUSH2 0x2637
00002623: JUMPI
00002624: PUSH1 0x00
00002626: NOT
00002627: PUSH1 0xf8
00002629: DUP9
0000262a: PUSH1 0x03
0000262c: SHL
0000262d: AND
0000262e: SHR
0000262f: NOT
00002630: DUP5
00002631: DUP8
00002632: ADD
00002633: CALLDATALOAD
00002634: AND
00002635: DUP2
00002636: SSTORE
00002637: JUMPDEST
00002638: POP
00002639: POP
0000263a: PUSH1 0x01
0000263c: DUP6
0000263d: PUSH1 0x01
0000263f: SHL
00002640: ADD
00002641: DUP4
00002642: SSTORE
00002643: POP
00002644: POP
00002645: POP
00002646: POP
00002647: POP
00002648: JUMP
00002649: JUMPDEST
0000264a: DUP1
0000264b: DUP3
0000264c: MUL
0000264d: DUP2
0000264e: ISZERO
0000264f: DUP3
00002650: DUP3
00002651: DIV
00002652: DUP5
00002653: EQ
00002654: OR
00002655: PUSH2 0x1d39
00002658: JUMPI
00002659: PUSH2 0x1d39
0000265c: PUSH2 0x24a0
0000265f: JUMP
00002660: JUMPDEST
00002661: DUP1
00002662: DUP3
00002663: ADD
00002664: DUP1
00002665: DUP3
00002666: GT
00002667: ISZERO
00002668: PUSH2 0x1d39
0000266b: JUMPI
0000266c: PUSH2 0x1d39
0000266f: PUSH2 0x24a0
00002672: JUMP
00002673: JUMPDEST
00002674: PUSH1 0x00
00002676: DUP4
00002677: MLOAD
00002678: PUSH2 0x2685
0000267b: DUP2
0000267c: DUP5
0000267d: PUSH1 0x20
0000267f: DUP9
00002680: ADD
00002681: PUSH2 0x2132
00002684: JUMP
00002685: JUMPDEST
00002686: DUP4
00002687: MLOAD
00002688: SWAP1
00002689: DUP4
0000268a: ADD
0000268b: SWAP1
0000268c: PUSH2 0x2699
0000268f: DUP2
00002690: DUP4
00002691: PUSH1 0x20
00002693: DUP9
00002694: ADD
00002695: PUSH2 0x2132
00002698: JUMP
00002699: JUMPDEST
0000269a: ADD
0000269b: SWAP5
0000269c: SWAP4
0000269d: POP
0000269e: POP
0000269f: POP
000026a0: POP
000026a1: JUMP
000026a2: JUMPDEST
000026a3: PUSH1 0x01
000026a5: PUSH1 0x01
000026a7: PUSH1 0xa0
000026a9: SHL
000026aa: SUB
000026ab: DUP6
000026ac: DUP2
000026ad: AND
000026ae: DUP3
000026af: MSTORE
000026b0: DUP5
000026b1: AND
000026b2: PUSH1 0x20
000026b4: DUP3
000026b5: ADD
000026b6: MSTORE
000026b7: PUSH1 0x40
000026b9: DUP2
000026ba: ADD
000026bb: DUP4
000026bc: SWAP1
000026bd: MSTORE
000026be: PUSH1 0x80
000026c0: PUSH1 0x60
000026c2: DUP3
000026c3: ADD
000026c4: DUP2
000026c5: SWAP1
000026c6: MSTORE
000026c7: PUSH1 0x00
000026c9: SWAP1
000026ca: PUSH2 0x26d5
000026cd: SWAP1
000026ce: DUP4
000026cf: ADD
000026d0: DUP5
000026d1: PUSH2 0x2156
000026d4: JUMP
000026d5: JUMPDEST
000026d6: SWAP7
000026d7: SWAP6
000026d8: POP
000026d9: POP
000026da: POP
000026db: POP
000026dc: POP
000026dd: POP
000026de: JUMP
000026df: JUMPDEST
000026e0: PUSH1 0x00
000026e2: DUP3
000026e3: MLOAD
000026e4: PUSH2 0x26f1
000026e7: DUP2
000026e8: DUP5
000026e9: PUSH1 0x20
000026eb: DUP8
000026ec: ADD
000026ed: PUSH2 0x2132
000026f0: JUMP
000026f1: JUMPDEST
000026f2: SWAP2
000026f3: SWAP1
000026f4: SWAP2
000026f5: ADD
000026f6: SWAP3
000026f7: SWAP2
000026f8: POP
000026f9: POP
000026fa: JUMP
000026fb: JUMPDEST
000026fc: PUSH1 0x00
000026fe: PUSH1 0x20
00002700: DUP3
00002701: DUP5
00002702: SUB
00002703: SLT
00002704: ISZERO
00002705: PUSH2 0x270d
00002708: JUMPI
00002709: PUSH1 0x00
0000270b: DUP1
0000270c: REVERT
0000270d: JUMPDEST
0000270e: DUP2
0000270f: MLOAD
00002710: PUSH1 0x01
00002712: PUSH1 0x01
00002714: PUSH1 0xe0
00002716: SHL
00002717: SUB
00002718: NOT
00002719: DUP2
0000271a: AND
0000271b: DUP2
0000271c: EQ
0000271d: PUSH2 0x16d0
00002720: JUMPI
00002721: PUSH1 0x00
00002723: DUP1
00002724: REVERT
00002725: INVALID
00002726: LOG2
00002727: PUSH5 0x6970667358
0000272d: UNKNOWN(0x22)
0000272e: SLT
0000272f: KECCAK256
00002730: SELFDESTRUCT
00002731: PUSH17 0x0f19aa66bf7734b3d7269b41c1df4309ce
00002743: PUSH2 0x28a4
00002746: UNKNOWN(0x1F)
00002747: UNKNOWN(0x24)
00002748: UNKNOWN(0xB7)
00002749: UNKNOWN(0xE9)
0000274a: UNKNOWN(0xDD)
0000274b: GT
0000274c: PUSH22

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x315bb312a89f1afa03d03934f7b8f7bb12f421ae358c72fe676a8b03575f51b8
call_targets: 0x5b14c996beded8ea6a3af5da2e48898bcaff6e08
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x315bb312a89f1afa03d03934f7b8f7bb12f421ae358c72fe676a8b03575f51b8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5b14c996beded8ea6a3af5da2e48898bcaff6e08"
    ],
    "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": "0xdc9a1535",
            "selector": "0xdc9a1535",
            "calldata_variants": [
                "0xdc9a1535",
                "0xdc9a15350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe086e5ec",
            "selector": "0xe086e5ec",
            "calldata_variants": [
                "0xe086e5ec",
                "0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe6798baa",
            "selector": "0xe6798baa",
            "calldata_variants": [
                "0xe6798baa",
                "0xe6798baa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba745f2e",
            "selector": "0xba745f2e",
            "calldata_variants": [
                "0xba745f2e",
                "0xba745f2e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd55f9273",
            "selector": "0xd55f9273",
            "calldata_variants": [
                "0xd55f9273",
                "0xd55f92730000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3855,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5877,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6824,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x315bb312a89f1afa03d03934f7b8f7bb12f421ae358c72fe676a8b03575f51b8
call_targets: 0x5b14c996beded8ea6a3af5da2e48898bcaff6e08
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x315bb312a89f1afa03d03934f7b8f7bb12f421ae358c72fe676a8b03575f51b8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5b14c996beded8ea6a3af5da2e48898bcaff6e08"
    ],
    "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": "0xdc9a1535",
            "selector": "0xdc9a1535",
            "calldata_variants": [
                "0xdc9a1535",
                "0xdc9a15350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe086e5ec",
            "selector": "0xe086e5ec",
            "calldata_variants": [
                "0xe086e5ec",
                "0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe6798baa",
            "selector": "0xe6798baa",
            "calldata_variants": [
                "0xe6798baa",
                "0xe6798baa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba745f2e",
            "selector": "0xba745f2e",
            "calldata_variants": [
                "0xba745f2e",
                "0xba745f2e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd55f9273",
            "selector": "0xd55f9273",
            "calldata_variants": [
                "0xd55f9273",
                "0xd55f92730000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3855,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5877,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6824,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0x0eb563e2cc76b715d824d7186b977c8fadf2c309fc828ae00286bb76c77b6985
validation_json
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x0eb563e2cc76b715d824d7186b977c8fadf2c309fc828ae00286bb76c77b6985",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xdc9a1535",
            "selector": "0xdc9a1535",
            "calldata_variants": [
                "0xdc9a1535",
                "0xdc9a15350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe086e5ec",
            "selector": "0xe086e5ec",
            "calldata_variants": [
                "0xe086e5ec",
                "0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe6798baa",
            "selector": "0xe6798baa",
            "calldata_variants": [
                "0xe6798baa",
                "0xe6798baa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba745f2e",
            "selector": "0xba745f2e",
            "calldata_variants": [
                "0xba745f2e",
                "0xba745f2e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd55f9273",
            "selector": "0xd55f9273",
            "calldata_variants": [
                "0xd55f9273",
                "0xd55f92730000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [],
    "selfdestruct_count": 1
}