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

Analysis Run

019b477e-c59f-7343-8ee0-1b21ebc1bcdf

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
25617 artifact.fetch complete 1 / 3 3 months ago
25618 tool.cast_disasm complete 1 / 3 3 months ago
112715 analysis.bundle complete 1 / 3 1 week ago
112716 capability.graph complete 1 / 3 1 week ago
112717 detector.run complete 1 / 3 1 week ago
112718 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
2
CALL-family (heavy)
5
EXT*/BALANCE
3
Total opcodes
4553
Flags
create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x013c
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x01ffc9a7
00000019: EQ
0000001a: PUSH2 0x0141
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x06fdde03
00000024: EQ
00000025: PUSH2 0x0176
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x081812fc
0000002f: EQ
00000030: PUSH2 0x0198
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x095ea7b3
0000003a: EQ
0000003b: PUSH2 0x01c5
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x1249c58b
00000045: EQ
00000046: PUSH2 0x01e7
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x18160ddd
00000050: EQ
00000051: PUSH2 0x01ef
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x23b872dd
0000005b: EQ
0000005c: PUSH2 0x020e
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x2a55205a
00000066: EQ
00000067: PUSH2 0x022e
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x2be09561
00000071: EQ
00000072: PUSH2 0x026d
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x42842e0e
0000007c: EQ
0000007d: PUSH2 0x0282
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x6352211e
00000087: EQ
00000088: PUSH2 0x02a2
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x70a08231
00000092: EQ
00000093: PUSH2 0x02c2
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x715018a6
0000009d: EQ
0000009e: PUSH2 0x02e2
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x8c7ea24b
000000a8: EQ
000000a9: PUSH2 0x02f7
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x8d859f3e
000000b3: EQ
000000b4: PUSH2 0x0317
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x8da5cb5b
000000be: EQ
000000bf: PUSH2 0x0332
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x95d89b41
000000c9: EQ
000000ca: PUSH2 0x0347
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x95fc0e26
000000d4: EQ
000000d5: PUSH2 0x035c
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0xa22cb465
000000df: EQ
000000e0: PUSH2 0x037c
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0xb88d4fde
000000ea: EQ
000000eb: PUSH2 0x039c
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0xc87b56dd
000000f5: EQ
000000f6: PUSH2 0x03bc
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0xcd7c0326
00000100: EQ
00000101: PUSH2 0x03dc
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xd26ea6c0
0000010b: EQ
0000010c: PUSH2 0x03fc
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xd49d5181
00000116: EQ
00000117: PUSH2 0x041c
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xd67b06c1
00000121: EQ
00000122: PUSH2 0x0432
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xe985e9c5
0000012c: EQ
0000012d: PUSH2 0x0452
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xf2fde38b
00000137: EQ
00000138: PUSH2 0x0472
0000013b: JUMPI
0000013c: JUMPDEST
0000013d: PUSH1 0x00
0000013f: DUP1
00000140: REVERT
00000141: JUMPDEST
00000142: CALLVALUE
00000143: DUP1
00000144: ISZERO
00000145: PUSH2 0x014d
00000148: JUMPI
00000149: PUSH1 0x00
0000014b: DUP1
0000014c: REVERT
0000014d: JUMPDEST
0000014e: POP
0000014f: PUSH2 0x0161
00000152: PUSH2 0x015c
00000155: CALLDATASIZE
00000156: PUSH1 0x04
00000158: PUSH2 0x18d6
0000015b: JUMP
0000015c: JUMPDEST
0000015d: PUSH2 0x0492
00000160: JUMP
00000161: JUMPDEST
00000162: PUSH1 0x40
00000164: MLOAD
00000165: SWAP1
00000166: ISZERO
00000167: ISZERO
00000168: DUP2
00000169: MSTORE
0000016a: PUSH1 0x20
0000016c: ADD
0000016d: JUMPDEST
0000016e: PUSH1 0x40
00000170: MLOAD
00000171: DUP1
00000172: SWAP2
00000173: SUB
00000174: SWAP1
00000175: RETURN
00000176: JUMPDEST
00000177: CALLVALUE
00000178: DUP1
00000179: ISZERO
0000017a: PUSH2 0x0182
0000017d: JUMPI
0000017e: PUSH1 0x00
00000180: DUP1
00000181: REVERT
00000182: JUMPDEST
00000183: POP
00000184: PUSH2 0x018b
00000187: PUSH2 0x04a3
0000018a: JUMP
0000018b: JUMPDEST
0000018c: PUSH1 0x40
0000018e: MLOAD
0000018f: PUSH2 0x016d
00000192: SWAP2
00000193: SWAP1
00000194: PUSH2 0x1a14
00000197: JUMP
00000198: JUMPDEST
00000199: CALLVALUE
0000019a: DUP1
0000019b: ISZERO
0000019c: PUSH2 0x01a4
0000019f: JUMPI
000001a0: PUSH1 0x00
000001a2: DUP1
000001a3: REVERT
000001a4: JUMPDEST
000001a5: POP
000001a6: PUSH2 0x01b8
000001a9: PUSH2 0x01b3
000001ac: CALLDATASIZE
000001ad: PUSH1 0x04
000001af: PUSH2 0x192d
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH2 0x0535
000001b7: JUMP
000001b8: JUMPDEST
000001b9: PUSH1 0x40
000001bb: MLOAD
000001bc: PUSH2 0x016d
000001bf: SWAP2
000001c0: SWAP1
000001c1: PUSH2 0x19c3
000001c4: JUMP
000001c5: JUMPDEST
000001c6: CALLVALUE
000001c7: DUP1
000001c8: ISZERO
000001c9: PUSH2 0x01d1
000001cc: JUMPI
000001cd: PUSH1 0x00
000001cf: DUP1
000001d0: REVERT
000001d1: JUMPDEST
000001d2: POP
000001d3: PUSH2 0x01e5
000001d6: PUSH2 0x01e0
000001d9: CALLDATASIZE
000001da: PUSH1 0x04
000001dc: PUSH2 0x17f2
000001df: JUMP
000001e0: JUMPDEST
000001e1: PUSH2 0x05c2
000001e4: JUMP
000001e5: JUMPDEST
000001e6: STOP
000001e7: JUMPDEST
000001e8: PUSH2 0x01e5
000001eb: PUSH2 0x06d3
000001ee: JUMP
000001ef: JUMPDEST
000001f0: CALLVALUE
000001f1: DUP1
000001f2: ISZERO
000001f3: PUSH2 0x01fb
000001f6: JUMPI
000001f7: PUSH1 0x00
000001f9: DUP1
000001fa: REVERT
000001fb: JUMPDEST
000001fc: POP
000001fd: PUSH1 0x02
000001ff: SLOAD
00000200: JUMPDEST
00000201: PUSH1 0x40
00000203: MLOAD
00000204: SWAP1
00000205: DUP2
00000206: MSTORE
00000207: PUSH1 0x20
00000209: ADD
0000020a: PUSH2 0x016d
0000020d: JUMP
0000020e: JUMPDEST
0000020f: CALLVALUE
00000210: DUP1
00000211: ISZERO
00000212: PUSH2 0x021a
00000215: JUMPI
00000216: PUSH1 0x00
00000218: DUP1
00000219: REVERT
0000021a: JUMPDEST
0000021b: POP
0000021c: PUSH2 0x01e5
0000021f: PUSH2 0x0229
00000222: CALLDATASIZE
00000223: PUSH1 0x04
00000225: PUSH2 0x16bb
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH2 0x07ab
0000022d: JUMP
0000022e: JUMPDEST
0000022f: CALLVALUE
00000230: DUP1
00000231: ISZERO
00000232: PUSH2 0x023a
00000235: JUMPI
00000236: PUSH1 0x00
00000238: DUP1
00000239: REVERT
0000023a: JUMPDEST
0000023b: POP
0000023c: PUSH2 0x024e
0000023f: PUSH2 0x0249
00000242: CALLDATASIZE
00000243: PUSH1 0x04
00000245: PUSH2 0x1946
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH2 0x07dc
0000024d: JUMP
0000024e: JUMPDEST
0000024f: PUSH1 0x40
00000251: DUP1
00000252: MLOAD
00000253: PUSH1 0x01
00000255: PUSH1 0x01
00000257: PUSH1 0xa0
00000259: SHL
0000025a: SUB
0000025b: SWAP1
0000025c: SWAP4
0000025d: AND
0000025e: DUP4
0000025f: MSTORE
00000260: PUSH1 0x20
00000262: DUP4
00000263: ADD
00000264: SWAP2
00000265: SWAP1
00000266: SWAP2
00000267: MSTORE
00000268: ADD
00000269: PUSH2 0x016d
0000026c: JUMP
0000026d: JUMPDEST
0000026e: CALLVALUE
0000026f: DUP1
00000270: ISZERO
00000271: PUSH2 0x0279
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: POP
0000027b: PUSH2 0x01e5
0000027e: PUSH2 0x0831
00000281: JUMP
00000282: JUMPDEST
00000283: CALLVALUE
00000284: DUP1
00000285: ISZERO
00000286: PUSH2 0x028e
00000289: JUMPI
0000028a: PUSH1 0x00
0000028c: DUP1
0000028d: REVERT
0000028e: JUMPDEST
0000028f: POP
00000290: PUSH2 0x01e5
00000293: PUSH2 0x029d
00000296: CALLDATASIZE
00000297: PUSH1 0x04
00000299: PUSH2 0x16bb
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH2 0x0875
000002a1: JUMP
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: POP
000002b0: PUSH2 0x01b8
000002b3: PUSH2 0x02bd
000002b6: CALLDATASIZE
000002b7: PUSH1 0x04
000002b9: PUSH2 0x192d
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH2 0x0890
000002c1: JUMP
000002c2: JUMPDEST
000002c3: CALLVALUE
000002c4: DUP1
000002c5: ISZERO
000002c6: PUSH2 0x02ce
000002c9: JUMPI
000002ca: PUSH1 0x00
000002cc: DUP1
000002cd: REVERT
000002ce: JUMPDEST
000002cf: POP
000002d0: PUSH2 0x0200
000002d3: PUSH2 0x02dd
000002d6: CALLDATASIZE
000002d7: PUSH1 0x04
000002d9: PUSH2 0x165e
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH2 0x091c
000002e1: JUMP
000002e2: JUMPDEST
000002e3: CALLVALUE
000002e4: DUP1
000002e5: ISZERO
000002e6: PUSH2 0x02ee
000002e9: JUMPI
000002ea: PUSH1 0x00
000002ec: DUP1
000002ed: REVERT
000002ee: JUMPDEST
000002ef: POP
000002f0: PUSH2 0x01e5
000002f3: PUSH2 0x09e5
000002f6: JUMP
000002f7: JUMPDEST
000002f8: CALLVALUE
000002f9: DUP1
000002fa: ISZERO
000002fb: PUSH2 0x0303
000002fe: JUMPI
000002ff: PUSH1 0x00
00000301: DUP1
00000302: REVERT
00000303: JUMPDEST
00000304: POP
00000305: PUSH2 0x01e5
00000308: PUSH2 0x0312
0000030b: CALLDATASIZE
0000030c: PUSH1 0x04
0000030e: PUSH2 0x17f2
00000311: JUMP
00000312: JUMPDEST
00000313: PUSH2 0x0a1e
00000316: JUMP
00000317: JUMPDEST
00000318: CALLVALUE
00000319: DUP1
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: POP
00000325: PUSH2 0x0200
00000328: PUSH7 0xd529ae9e860000
00000330: DUP2
00000331: JUMP
00000332: JUMPDEST
00000333: CALLVALUE
00000334: DUP1
00000335: ISZERO
00000336: PUSH2 0x033e
00000339: JUMPI
0000033a: PUSH1 0x00
0000033c: DUP1
0000033d: REVERT
0000033e: JUMPDEST
0000033f: POP
00000340: PUSH2 0x01b8
00000343: PUSH2 0x0a5b
00000346: JUMP
00000347: JUMPDEST
00000348: CALLVALUE
00000349: DUP1
0000034a: ISZERO
0000034b: PUSH2 0x0353
0000034e: JUMPI
0000034f: PUSH1 0x00
00000351: DUP1
00000352: REVERT
00000353: JUMPDEST
00000354: POP
00000355: PUSH2 0x018b
00000358: PUSH2 0x0a6a
0000035b: JUMP
0000035c: JUMPDEST
0000035d: CALLVALUE
0000035e: DUP1
0000035f: ISZERO
00000360: PUSH2 0x0368
00000363: JUMPI
00000364: PUSH1 0x00
00000366: DUP1
00000367: REVERT
00000368: JUMPDEST
00000369: POP
0000036a: PUSH2 0x01e5
0000036d: PUSH2 0x0377
00000370: CALLDATASIZE
00000371: PUSH1 0x04
00000373: PUSH2 0x165e
00000376: JUMP
00000377: JUMPDEST
00000378: PUSH2 0x0a79
0000037b: JUMP
0000037c: JUMPDEST
0000037d: CALLVALUE
0000037e: DUP1
0000037f: ISZERO
00000380: PUSH2 0x0388
00000383: JUMPI
00000384: PUSH1 0x00
00000386: DUP1
00000387: REVERT
00000388: JUMPDEST
00000389: POP
0000038a: PUSH2 0x01e5
0000038d: PUSH2 0x0397
00000390: CALLDATASIZE
00000391: PUSH1 0x04
00000393: PUSH2 0x17bf
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH2 0x0b14
0000039b: JUMP
0000039c: JUMPDEST
0000039d: CALLVALUE
0000039e: DUP1
0000039f: ISZERO
000003a0: PUSH2 0x03a8
000003a3: JUMPI
000003a4: PUSH1 0x00
000003a6: DUP1
000003a7: REVERT
000003a8: JUMPDEST
000003a9: POP
000003aa: PUSH2 0x01e5
000003ad: PUSH2 0x03b7
000003b0: CALLDATASIZE
000003b1: PUSH1 0x04
000003b3: PUSH2 0x16fc
000003b6: JUMP
000003b7: JUMPDEST
000003b8: PUSH2 0x0bd5
000003bb: JUMP
000003bc: JUMPDEST
000003bd: CALLVALUE
000003be: DUP1
000003bf: ISZERO
000003c0: PUSH2 0x03c8
000003c3: JUMPI
000003c4: PUSH1 0x00
000003c6: DUP1
000003c7: REVERT
000003c8: JUMPDEST
000003c9: POP
000003ca: PUSH2 0x018b
000003cd: PUSH2 0x03d7
000003d0: CALLDATASIZE
000003d1: PUSH1 0x04
000003d3: PUSH2 0x192d
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH2 0x0c0d
000003db: JUMP
000003dc: JUMPDEST
000003dd: CALLVALUE
000003de: DUP1
000003df: ISZERO
000003e0: PUSH2 0x03e8
000003e3: JUMPI
000003e4: PUSH1 0x00
000003e6: DUP1
000003e7: REVERT
000003e8: JUMPDEST
000003e9: POP
000003ea: PUSH1 0x07
000003ec: SLOAD
000003ed: PUSH2 0x01b8
000003f0: SWAP1
000003f1: PUSH1 0x01
000003f3: PUSH1 0x01
000003f5: PUSH1 0xa0
000003f7: SHL
000003f8: SUB
000003f9: AND
000003fa: DUP2
000003fb: JUMP
000003fc: JUMPDEST
000003fd: CALLVALUE
000003fe: DUP1
000003ff: ISZERO
00000400: PUSH2 0x0408
00000403: JUMPI
00000404: PUSH1 0x00
00000406: DUP1
00000407: REVERT
00000408: JUMPDEST
00000409: POP
0000040a: PUSH2 0x01e5
0000040d: PUSH2 0x0417
00000410: CALLDATASIZE
00000411: PUSH1 0x04
00000413: PUSH2 0x165e
00000416: JUMP
00000417: JUMPDEST
00000418: PUSH2 0x0c47
0000041b: JUMP
0000041c: JUMPDEST
0000041d: CALLVALUE
0000041e: DUP1
0000041f: ISZERO
00000420: PUSH2 0x0428
00000423: JUMPI
00000424: PUSH1 0x00
00000426: DUP1
00000427: REVERT
00000428: JUMPDEST
00000429: POP
0000042a: PUSH2 0x0200
0000042d: PUSH2 0x03e8
00000430: DUP2
00000431: JUMP
00000432: JUMPDEST
00000433: CALLVALUE
00000434: DUP1
00000435: ISZERO
00000436: PUSH2 0x043e
00000439: JUMPI
0000043a: PUSH1 0x00
0000043c: DUP1
0000043d: REVERT
0000043e: JUMPDEST
0000043f: POP
00000440: PUSH2 0x01e5
00000443: PUSH2 0x044d
00000446: CALLDATASIZE
00000447: PUSH1 0x04
00000449: PUSH2 0x181e
0000044c: JUMP
0000044d: JUMPDEST
0000044e: PUSH2 0x0c98
00000451: JUMP
00000452: JUMPDEST
00000453: CALLVALUE
00000454: DUP1
00000455: ISZERO
00000456: PUSH2 0x045e
00000459: JUMPI
0000045a: PUSH1 0x00
0000045c: DUP1
0000045d: REVERT
0000045e: JUMPDEST
0000045f: POP
00000460: PUSH2 0x0161
00000463: PUSH2 0x046d
00000466: CALLDATASIZE
00000467: PUSH1 0x04
00000469: PUSH2 0x1682
0000046c: JUMP
0000046d: JUMPDEST
0000046e: PUSH2 0x0d0d
00000471: JUMP
00000472: JUMPDEST
00000473: CALLVALUE
00000474: DUP1
00000475: ISZERO
00000476: PUSH2 0x047e
00000479: JUMPI
0000047a: PUSH1 0x00
0000047c: DUP1
0000047d: REVERT
0000047e: JUMPDEST
0000047f: POP
00000480: PUSH2 0x01e5
00000483: PUSH2 0x048d
00000486: CALLDATASIZE
00000487: PUSH1 0x04
00000489: PUSH2 0x165e
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH2 0x0de1
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH1 0x00
00000495: PUSH2 0x049d
00000498: DUP3
00000499: PUSH2 0x0e81
0000049c: JUMP
0000049d: JUMPDEST
0000049e: SWAP3
0000049f: SWAP2
000004a0: POP
000004a1: POP
000004a2: JUMP
000004a3: JUMPDEST
000004a4: PUSH1 0x60
000004a6: PUSH1 0x00
000004a8: DUP1
000004a9: SLOAD
000004aa: PUSH2 0x04b2
000004ad: SWAP1
000004ae: PUSH2 0x1bbd
000004b1: JUMP
000004b2: JUMPDEST
000004b3: DUP1
000004b4: PUSH1 0x1f
000004b6: ADD
000004b7: PUSH1 0x20
000004b9: DUP1
000004ba: SWAP2
000004bb: DIV
000004bc: MUL
000004bd: PUSH1 0x20
000004bf: ADD
000004c0: PUSH1 0x40
000004c2: MLOAD
000004c3: SWAP1
000004c4: DUP2
000004c5: ADD
000004c6: PUSH1 0x40
000004c8: MSTORE
000004c9: DUP1
000004ca: SWAP3
000004cb: SWAP2
000004cc: SWAP1
000004cd: DUP2
000004ce: DUP2
000004cf: MSTORE
000004d0: PUSH1 0x20
000004d2: ADD
000004d3: DUP3
000004d4: DUP1
000004d5: SLOAD
000004d6: PUSH2 0x04de
000004d9: SWAP1
000004da: PUSH2 0x1bbd
000004dd: JUMP
000004de: JUMPDEST
000004df: DUP1
000004e0: ISZERO
000004e1: PUSH2 0x052b
000004e4: JUMPI
000004e5: DUP1
000004e6: PUSH1 0x1f
000004e8: LT
000004e9: PUSH2 0x0500
000004ec: JUMPI
000004ed: PUSH2 0x0100
000004f0: DUP1
000004f1: DUP4
000004f2: SLOAD
000004f3: DIV
000004f4: MUL
000004f5: DUP4
000004f6: MSTORE
000004f7: SWAP2
000004f8: PUSH1 0x20
000004fa: ADD
000004fb: SWAP2
000004fc: PUSH2 0x052b
000004ff: JUMP
00000500: JUMPDEST
00000501: DUP3
00000502: ADD
00000503: SWAP2
00000504: SWAP1
00000505: PUSH1 0x00
00000507: MSTORE
00000508: PUSH1 0x20
0000050a: PUSH1 0x00
0000050c: KECCAK256
0000050d: SWAP1
0000050e: JUMPDEST
0000050f: DUP2
00000510: SLOAD
00000511: DUP2
00000512: MSTORE
00000513: SWAP1
00000514: PUSH1 0x01
00000516: ADD
00000517: SWAP1
00000518: PUSH1 0x20
0000051a: ADD
0000051b: DUP1
0000051c: DUP4
0000051d: GT
0000051e: PUSH2 0x050e
00000521: JUMPI
00000522: DUP3
00000523: SWAP1
00000524: SUB
00000525: PUSH1 0x1f
00000527: AND
00000528: DUP3
00000529: ADD
0000052a: SWAP2
0000052b: JUMPDEST
0000052c: POP
0000052d: POP
0000052e: POP
0000052f: POP
00000530: POP
00000531: SWAP1
00000532: POP
00000533: SWAP1
00000534: JUMP
00000535: JUMPDEST
00000536: PUSH1 0x00
00000538: PUSH2 0x0540
0000053b: DUP3
0000053c: PUSH2 0x0ea6
0000053f: JUMP
00000540: JUMPDEST
00000541: PUSH2 0x05a6
00000544: JUMPI
00000545: PUSH1 0x40
00000547: MLOAD
00000548: PUSH3 0x461bcd
0000054c: PUSH1 0xe5
0000054e: SHL
0000054f: DUP2
00000550: MSTORE
00000551: PUSH1 0x20
00000553: PUSH1 0x04
00000555: DUP3
00000556: ADD
00000557: MSTORE
00000558: PUSH1 0x2c
0000055a: PUSH1 0x24
0000055c: DUP3
0000055d: ADD
0000055e: MSTORE
0000055f: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
00000580: PUSH1 0x44
00000582: DUP3
00000583: ADD
00000584: MSTORE
00000585: PUSH12 0x34b9ba32b73a103a37b5b2b7
00000592: PUSH1 0xa1
00000594: SHL
00000595: PUSH1 0x64
00000597: DUP3
00000598: ADD
00000599: MSTORE
0000059a: PUSH1 0x84
0000059c: ADD
0000059d: JUMPDEST
0000059e: PUSH1 0x40
000005a0: MLOAD
000005a1: DUP1
000005a2: SWAP2
000005a3: SUB
000005a4: SWAP1
000005a5: REVERT
000005a6: JUMPDEST
000005a7: POP
000005a8: PUSH1 0x00
000005aa: SWAP1
000005ab: DUP2
000005ac: MSTORE
000005ad: PUSH1 0x03
000005af: PUSH1 0x20
000005b1: MSTORE
000005b2: PUSH1 0x40
000005b4: SWAP1
000005b5: KECCAK256
000005b6: SLOAD
000005b7: PUSH1 0x01
000005b9: PUSH1 0x01
000005bb: PUSH1 0xa0
000005bd: SHL
000005be: SUB
000005bf: AND
000005c0: SWAP1
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH1 0x00
000005c5: PUSH2 0x05cd
000005c8: DUP3
000005c9: PUSH2 0x0890
000005cc: JUMP
000005cd: JUMPDEST
000005ce: SWAP1
000005cf: POP
000005d0: DUP1
000005d1: PUSH1 0x01
000005d3: PUSH1 0x01
000005d5: PUSH1 0xa0
000005d7: SHL
000005d8: SUB
000005d9: AND
000005da: DUP4
000005db: PUSH1 0x01
000005dd: PUSH1 0x01
000005df: PUSH1 0xa0
000005e1: SHL
000005e2: SUB
000005e3: AND
000005e4: EQ
000005e5: ISZERO
000005e6: PUSH2 0x063b
000005e9: JUMPI
000005ea: PUSH1 0x40
000005ec: MLOAD
000005ed: PUSH3 0x461bcd
000005f1: PUSH1 0xe5
000005f3: SHL
000005f4: DUP2
000005f5: MSTORE
000005f6: PUSH1 0x20
000005f8: PUSH1 0x04
000005fa: DUP3
000005fb: ADD
000005fc: MSTORE
000005fd: PUSH1 0x21
000005ff: PUSH1 0x24
00000601: DUP3
00000602: ADD
00000603: MSTORE
00000604: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00000625: PUSH1 0x44
00000627: DUP3
00000628: ADD
00000629: MSTORE
0000062a: PUSH1 0x39
0000062c: PUSH1 0xf9
0000062e: SHL
0000062f: PUSH1 0x64
00000631: DUP3
00000632: ADD
00000633: MSTORE
00000634: PUSH1 0x84
00000636: ADD
00000637: PUSH2 0x059d
0000063a: JUMP
0000063b: JUMPDEST
0000063c: CALLER
0000063d: PUSH1 0x01
0000063f: PUSH1 0x01
00000641: PUSH1 0xa0
00000643: SHL
00000644: SUB
00000645: DUP3
00000646: AND
00000647: EQ
00000648: DUP1
00000649: PUSH2 0x0657
0000064c: JUMPI
0000064d: POP
0000064e: PUSH2 0x0657
00000651: DUP2
00000652: CALLER
00000653: PUSH2 0x0d0d
00000656: JUMP
00000657: JUMPDEST
00000658: PUSH2 0x06c4
0000065b: JUMPI
0000065c: PUSH1 0x40
0000065e: MLOAD
0000065f: PUSH3 0x461bcd
00000663: PUSH1 0xe5
00000665: SHL
00000666: DUP2
00000667: MSTORE
00000668: PUSH1 0x20
0000066a: PUSH1 0x04
0000066c: DUP3
0000066d: ADD
0000066e: MSTORE
0000066f: PUSH1 0x38
00000671: PUSH1 0x24
00000673: DUP3
00000674: ADD
00000675: MSTORE
00000676: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
00000697: PUSH1 0x44
00000699: DUP3
0000069a: ADD
0000069b: MSTORE
0000069c: PUSH24 0x1b995c881b9bdc88185c1c1c9bdd995908199bdc88185b1b
000006b5: PUSH1 0x42
000006b7: SHL
000006b8: PUSH1 0x64
000006ba: DUP3
000006bb: ADD
000006bc: MSTORE
000006bd: PUSH1 0x84
000006bf: ADD
000006c0: PUSH2 0x059d
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH2 0x06ce
000006c8: DUP4
000006c9: DUP4
000006ca: PUSH2 0x0ef0
000006cd: JUMP
000006ce: JUMPDEST
000006cf: POP
000006d0: POP
000006d1: POP
000006d2: JUMP
000006d3: JUMPDEST
000006d4: PUSH1 0x07
000006d6: SLOAD
000006d7: PUSH1 0x01
000006d9: PUSH1 0xa0
000006db: SHL
000006dc: SWAP1
000006dd: DIV
000006de: PUSH1 0xff
000006e0: AND
000006e1: PUSH2 0x0716
000006e4: JUMPI
000006e5: PUSH1 0x40
000006e7: MLOAD
000006e8: PUSH3 0x461bcd
000006ec: PUSH1 0xe5
000006ee: SHL
000006ef: DUP2
000006f0: MSTORE
000006f1: PUSH1 0x20
000006f3: PUSH1 0x04
000006f5: DUP3
000006f6: ADD
000006f7: MSTORE
000006f8: PUSH1 0x07
000006fa: PUSH1 0x24
000006fc: DUP3
000006fd: ADD
000006fe: MSTORE
000006ff: PUSH7 0x139bdd081e595d
00000707: PUSH1 0xca
00000709: SHL
0000070a: PUSH1 0x44
0000070c: DUP3
0000070d: ADD
0000070e: MSTORE
0000070f: PUSH1 0x64
00000711: ADD
00000712: PUSH2 0x059d
00000715: JUMP
00000716: JUMPDEST
00000717: PUSH7 0xd529ae9e860000
0000071f: CALLVALUE
00000720: EQ
00000721: PUSH2 0x075d
00000724: JUMPI
00000725: PUSH1 0x40
00000727: MLOAD
00000728: PUSH3 0x461bcd
0000072c: PUSH1 0xe5
0000072e: SHL
0000072f: DUP2
00000730: MSTORE
00000731: PUSH1 0x20
00000733: PUSH1 0x04
00000735: DUP3
00000736: ADD
00000737: MSTORE
00000738: PUSH1 0x0e
0000073a: PUSH1 0x24
0000073c: DUP3
0000073d: ADD
0000073e: MSTORE
0000073f: PUSH14 0x09cdee8408adcdeeaced0408ae8d
0000074e: PUSH1 0x93
00000750: SHL
00000751: PUSH1 0x44
00000753: DUP3
00000754: ADD
00000755: MSTORE
00000756: PUSH1 0x64
00000758: ADD
00000759: PUSH2 0x059d
0000075c: JUMP
0000075d: JUMPDEST
0000075e: PUSH1 0x02
00000760: SLOAD
00000761: PUSH2 0x03e8
00000764: GT
00000765: PUSH2 0x079b
00000768: JUMPI
00000769: PUSH1 0x40
0000076b: MLOAD
0000076c: PUSH3 0x461bcd
00000770: PUSH1 0xe5
00000772: SHL
00000773: DUP2
00000774: MSTORE
00000775: PUSH1 0x20
00000777: PUSH1 0x04
00000779: DUP3
0000077a: ADD
0000077b: MSTORE
0000077c: PUSH1 0x08
0000077e: PUSH1 0x24
00000780: DUP3
00000781: ADD
00000782: MSTORE
00000783: PUSH8 0x14dbdb190813dd5d
0000078c: PUSH1 0xc2
0000078e: SHL
0000078f: PUSH1 0x44
00000791: DUP3
00000792: ADD
00000793: MSTORE
00000794: PUSH1 0x64
00000796: ADD
00000797: PUSH2 0x059d
0000079a: JUMP
0000079b: JUMPDEST
0000079c: PUSH1 0x02
0000079e: SLOAD
0000079f: PUSH2 0x07a9
000007a2: SWAP1
000007a3: CALLER
000007a4: SWAP1
000007a5: PUSH2 0x0f5e
000007a8: JUMP
000007a9: JUMPDEST
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH2 0x07b5
000007af: CALLER
000007b0: DUP3
000007b1: PUSH2 0x0f78
000007b4: JUMP
000007b5: JUMPDEST
000007b6: PUSH2 0x07d1
000007b9: JUMPI
000007ba: PUSH1 0x40
000007bc: MLOAD
000007bd: PUSH3 0x461bcd
000007c1: PUSH1 0xe5
000007c3: SHL
000007c4: DUP2
000007c5: MSTORE
000007c6: PUSH1 0x04
000007c8: ADD
000007c9: PUSH2 0x059d
000007cc: SWAP1
000007cd: PUSH2 0x1aae
000007d0: JUMP
000007d1: JUMPDEST
000007d2: PUSH2 0x06ce
000007d5: DUP4
000007d6: DUP4
000007d7: DUP4
000007d8: PUSH2 0x103a
000007db: JUMP
000007dc: JUMPDEST
000007dd: PUSH1 0x40
000007df: DUP1
000007e0: MLOAD
000007e1: DUP1
000007e2: DUP3
000007e3: ADD
000007e4: SWAP1
000007e5: SWAP2
000007e6: MSTORE
000007e7: PUSH1 0x05
000007e9: SLOAD
000007ea: PUSH1 0x01
000007ec: PUSH1 0x01
000007ee: PUSH1 0xa0
000007f0: SHL
000007f1: SUB
000007f2: DUP2
000007f3: AND
000007f4: DUP1
000007f5: DUP4
000007f6: MSTORE
000007f7: PUSH1 0x01
000007f9: PUSH1 0xa0
000007fb: SHL
000007fc: SWAP1
000007fd: SWAP2
000007fe: DIV
000007ff: PUSH3 0xffffff
00000803: AND
00000804: PUSH1 0x20
00000806: DUP4
00000807: ADD
00000808: DUP2
00000809: SWAP1
0000080a: MSTORE
0000080b: SWAP1
0000080c: SWAP2
0000080d: PUSH1 0x00
0000080f: SWAP2
00000810: PUSH2 0x2710
00000813: SWAP1
00000814: PUSH2 0x081d
00000817: SWAP1
00000818: DUP7
00000819: PUSH2 0x1b5b
0000081c: JUMP
0000081d: JUMPDEST
0000081e: PUSH2 0x0827
00000821: SWAP2
00000822: SWAP1
00000823: PUSH2 0x1b47
00000826: JUMP
00000827: JUMPDEST
00000828: SWAP2
00000829: POP
0000082a: POP
0000082b: SWAP3
0000082c: POP
0000082d: SWAP3
0000082e: SWAP1
0000082f: POP
00000830: JUMP
00000831: JUMPDEST
00000832: CALLER
00000833: PUSH2 0x083a
00000836: PUSH2 0x0a5b
00000839: JUMP
0000083a: JUMPDEST
0000083b: PUSH1 0x01
0000083d: PUSH1 0x01
0000083f: PUSH1 0xa0
00000841: SHL
00000842: SUB
00000843: AND
00000844: EQ
00000845: PUSH2 0x0860
00000848: JUMPI
00000849: PUSH1 0x40
0000084b: MLOAD
0000084c: PUSH3 0x461bcd
00000850: PUSH1 0xe5
00000852: SHL
00000853: DUP2
00000854: MSTORE
00000855: PUSH1 0x04
00000857: ADD
00000858: PUSH2 0x059d
0000085b: SWAP1
0000085c: PUSH2 0x1a79
0000085f: JUMP
00000860: JUMPDEST
00000861: PUSH1 0x07
00000863: DUP1
00000864: SLOAD
00000865: PUSH1 0xff
00000867: PUSH1 0xa0
00000869: SHL
0000086a: NOT
0000086b: AND
0000086c: PUSH1 0x01
0000086e: PUSH1 0xa0
00000870: SHL
00000871: OR
00000872: SWAP1
00000873: SSTORE
00000874: JUMP
00000875: JUMPDEST
00000876: PUSH2 0x06ce
00000879: DUP4
0000087a: DUP4
0000087b: DUP4
0000087c: PUSH1 0x40
0000087e: MLOAD
0000087f: DUP1
00000880: PUSH1 0x20
00000882: ADD
00000883: PUSH1 0x40
00000885: MSTORE
00000886: DUP1
00000887: PUSH1 0x00
00000889: DUP2
0000088a: MSTORE
0000088b: POP
0000088c: PUSH2 0x0bd5
0000088f: JUMP
00000890: JUMPDEST
00000891: PUSH1 0x00
00000893: DUP1
00000894: PUSH1 0x02
00000896: DUP4
00000897: DUP2
00000898: SLOAD
00000899: DUP2
0000089a: LT
0000089b: PUSH2 0x08a6
0000089e: JUMPI
0000089f: PUSH2 0x08a6
000008a2: PUSH2 0x1c53
000008a5: JUMP
000008a6: JUMPDEST
000008a7: PUSH1 0x00
000008a9: SWAP2
000008aa: DUP3
000008ab: MSTORE
000008ac: PUSH1 0x20
000008ae: SWAP1
000008af: SWAP2
000008b0: KECCAK256
000008b1: ADD
000008b2: SLOAD
000008b3: PUSH1 0x01
000008b5: PUSH1 0x01
000008b7: PUSH1 0xa0
000008b9: SHL
000008ba: SUB
000008bb: AND
000008bc: SWAP1
000008bd: POP
000008be: DUP1
000008bf: PUSH2 0x049d
000008c2: JUMPI
000008c3: PUSH1 0x40
000008c5: MLOAD
000008c6: PUSH3 0x461bcd
000008ca: PUSH1 0xe5
000008cc: SHL
000008cd: DUP2
000008ce: MSTORE
000008cf: PUSH1 0x20
000008d1: PUSH1 0x04
000008d3: DUP3
000008d4: ADD
000008d5: MSTORE
000008d6: PUSH1 0x29
000008d8: PUSH1 0x24
000008da: DUP3
000008db: ADD
000008dc: MSTORE
000008dd: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
000008fe: PUSH1 0x44
00000900: DUP3
00000901: ADD
00000902: MSTORE
00000903: PUSH9 0x32b73a103a37b5b2b7
0000090d: PUSH1 0xb9
0000090f: SHL
00000910: PUSH1 0x64
00000912: DUP3
00000913: ADD
00000914: MSTORE
00000915: PUSH1 0x84
00000917: ADD
00000918: PUSH2 0x059d
0000091b: JUMP
0000091c: JUMPDEST
0000091d: PUSH1 0x00
0000091f: PUSH1 0x01
00000921: PUSH1 0x01
00000923: PUSH1 0xa0
00000925: SHL
00000926: SUB
00000927: DUP3
00000928: AND
00000929: PUSH2 0x0987
0000092c: JUMPI
0000092d: PUSH1 0x40
0000092f: MLOAD
00000930: PUSH3 0x461bcd
00000934: PUSH1 0xe5
00000936: SHL
00000937: DUP2
00000938: MSTORE
00000939: PUSH1 0x20
0000093b: PUSH1 0x04
0000093d: DUP3
0000093e: ADD
0000093f: MSTORE
00000940: PUSH1 0x2a
00000942: PUSH1 0x24
00000944: DUP3
00000945: ADD
00000946: MSTORE
00000947: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
00000968: PUSH1 0x44
0000096a: DUP3
0000096b: ADD
0000096c: MSTORE
0000096d: PUSH10 0x726f2061646472657373
00000978: PUSH1 0xb0
0000097a: SHL
0000097b: PUSH1 0x64
0000097d: DUP3
0000097e: ADD
0000097f: MSTORE
00000980: PUSH1 0x84
00000982: ADD
00000983: PUSH2 0x059d
00000986: JUMP
00000987: JUMPDEST
00000988: PUSH1 0x00
0000098a: DUP1
0000098b: JUMPDEST
0000098c: PUSH1 0x02
0000098e: SLOAD
0000098f: DUP2
00000990: LT
00000991: ISZERO
00000992: PUSH2 0x09de
00000995: JUMPI
00000996: PUSH1 0x02
00000998: DUP2
00000999: DUP2
0000099a: SLOAD
0000099b: DUP2
0000099c: LT
0000099d: PUSH2 0x09a8
000009a0: JUMPI
000009a1: PUSH2 0x09a8
000009a4: PUSH2 0x1c53
000009a7: JUMP
000009a8: JUMPDEST
000009a9: PUSH1 0x00
000009ab: SWAP2
000009ac: DUP3
000009ad: MSTORE
000009ae: PUSH1 0x20
000009b0: SWAP1
000009b1: SWAP2
000009b2: KECCAK256
000009b3: ADD
000009b4: SLOAD
000009b5: PUSH1 0x01
000009b7: PUSH1 0x01
000009b9: PUSH1 0xa0
000009bb: SHL
000009bc: SUB
000009bd: DUP6
000009be: DUP2
000009bf: AND
000009c0: SWAP2
000009c1: AND
000009c2: EQ
000009c3: ISZERO
000009c4: PUSH2 0x09ce
000009c7: JUMPI
000009c8: DUP2
000009c9: PUSH1 0x01
000009cb: ADD
000009cc: SWAP2
000009cd: POP
000009ce: JUMPDEST
000009cf: PUSH2 0x09d7
000009d2: DUP2
000009d3: PUSH2 0x1bf8
000009d6: JUMP
000009d7: JUMPDEST
000009d8: SWAP1
000009d9: POP
000009da: PUSH2 0x098b
000009dd: JUMP
000009de: JUMPDEST
000009df: POP
000009e0: SWAP3
000009e1: SWAP2
000009e2: POP
000009e3: POP
000009e4: JUMP
000009e5: JUMPDEST
000009e6: CALLER
000009e7: PUSH2 0x09ee
000009ea: PUSH2 0x0a5b
000009ed: JUMP
000009ee: JUMPDEST
000009ef: PUSH1 0x01
000009f1: PUSH1 0x01
000009f3: PUSH1 0xa0
000009f5: SHL
000009f6: SUB
000009f7: AND
000009f8: EQ
000009f9: PUSH2 0x0a14
000009fc: JUMPI
000009fd: PUSH1 0x40
000009ff: MLOAD
00000a00: PUSH3 0x461bcd
00000a04: PUSH1 0xe5
00000a06: SHL
00000a07: DUP2
00000a08: MSTORE
00000a09: PUSH1 0x04
00000a0b: ADD
00000a0c: PUSH2 0x059d
00000a0f: SWAP1
00000a10: PUSH2 0x1a79
00000a13: JUMP
00000a14: JUMPDEST
00000a15: PUSH2 0x07a9
00000a18: PUSH1 0x00
00000a1a: PUSH2 0x117e
00000a1d: JUMP
00000a1e: JUMPDEST
00000a1f: CALLER
00000a20: PUSH2 0x0a27
00000a23: PUSH2 0x0a5b
00000a26: JUMP
00000a27: JUMPDEST
00000a28: PUSH1 0x01
00000a2a: PUSH1 0x01
00000a2c: PUSH1 0xa0
00000a2e: SHL
00000a2f: SUB
00000a30: AND
00000a31: EQ
00000a32: PUSH2 0x0a4d
00000a35: JUMPI
00000a36: PUSH1 0x40
00000a38: MLOAD
00000a39: PUSH3 0x461bcd
00000a3d: PUSH1 0xe5
00000a3f: SHL
00000a40: DUP2
00000a41: MSTORE
00000a42: PUSH1 0x04
00000a44: ADD
00000a45: PUSH2 0x059d
00000a48: SWAP1
00000a49: PUSH2 0x1a79
00000a4c: JUMP
00000a4d: JUMPDEST
00000a4e: PUSH2 0x0a57
00000a51: DUP3
00000a52: DUP3
00000a53: PUSH2 0x11d0
00000a56: JUMP
00000a57: JUMPDEST
00000a58: POP
00000a59: POP
00000a5a: JUMP
00000a5b: JUMPDEST
00000a5c: PUSH1 0x06
00000a5e: SLOAD
00000a5f: PUSH1 0x01
00000a61: PUSH1 0x01
00000a63: PUSH1 0xa0
00000a65: SHL
00000a66: SUB
00000a67: AND
00000a68: SWAP1
00000a69: JUMP
00000a6a: JUMPDEST
00000a6b: PUSH1 0x60
00000a6d: PUSH1 0x01
00000a6f: DUP1
00000a70: SLOAD
00000a71: PUSH2 0x04b2
00000a74: SWAP1
00000a75: PUSH2 0x1bbd
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: CALLER
00000a7b: PUSH2 0x0a82
00000a7e: PUSH2 0x0a5b
00000a81: JUMP
00000a82: JUMPDEST
00000a83: PUSH1 0x01
00000a85: PUSH1 0x01
00000a87: PUSH1 0xa0
00000a89: SHL
00000a8a: SUB
00000a8b: AND
00000a8c: EQ
00000a8d: PUSH2 0x0aa8
00000a90: JUMPI
00000a91: PUSH1 0x40
00000a93: MLOAD
00000a94: PUSH3 0x461bcd
00000a98: PUSH1 0xe5
00000a9a: SHL
00000a9b: DUP2
00000a9c: MSTORE
00000a9d: PUSH1 0x04
00000a9f: ADD
00000aa0: PUSH2 0x059d
00000aa3: SWAP1
00000aa4: PUSH2 0x1a79
00000aa7: JUMP
00000aa8: JUMPDEST
00000aa9: PUSH1 0x40
00000aab: MLOAD
00000aac: PUSH1 0x00
00000aae: SWAP1
00000aaf: PUSH1 0x01
00000ab1: PUSH1 0x01
00000ab3: PUSH1 0xa0
00000ab5: SHL
00000ab6: SUB
00000ab7: DUP4
00000ab8: AND
00000ab9: SWAP1
00000aba: SELFBALANCE
00000abb: DUP1
00000abc: ISZERO
00000abd: PUSH2 0x08fc
00000ac0: MUL
00000ac1: SWAP2
00000ac2: DUP5
00000ac3: DUP2
00000ac4: DUP2
00000ac5: DUP2
00000ac6: DUP6
00000ac7: DUP9
00000ac8: DUP9
00000ac9: CALL
00000aca: SWAP4
00000acb: POP
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: SWAP1
00000ad0: POP
00000ad1: DUP1
00000ad2: PUSH2 0x0a57
00000ad5: JUMPI
00000ad6: PUSH1 0x40
00000ad8: MLOAD
00000ad9: PUSH3 0x461bcd
00000add: PUSH1 0xe5
00000adf: SHL
00000ae0: DUP2
00000ae1: MSTORE
00000ae2: PUSH1 0x20
00000ae4: PUSH1 0x04
00000ae6: DUP3
00000ae7: ADD
00000ae8: MSTORE
00000ae9: PUSH1 0x14
00000aeb: PUSH1 0x24
00000aed: DUP3
00000aee: ADD
00000aef: MSTORE
00000af0: PUSH20 0x2330b4b632b2103a379039b2b7321022ba3432b9
00000b05: PUSH1 0x61
00000b07: SHL
00000b08: PUSH1 0x44
00000b0a: DUP3
00000b0b: ADD
00000b0c: MSTORE
00000b0d: PUSH1 0x64
00000b0f: ADD
00000b10: PUSH2 0x059d
00000b13: JUMP
00000b14: JUMPDEST
00000b15: PUSH1 0x01
00000b17: PUSH1 0x01
00000b19: PUSH1 0xa0
00000b1b: SHL
00000b1c: SUB
00000b1d: DUP3
00000b1e: AND
00000b1f: CALLER
00000b20: EQ
00000b21: ISZERO
00000b22: PUSH2 0x0b69
00000b25: JUMPI
00000b26: PUSH1 0x40
00000b28: MLOAD
00000b29: PUSH3 0x461bcd
00000b2d: PUSH1 0xe5
00000b2f: SHL
00000b30: DUP2
00000b31: MSTORE
00000b32: PUSH1 0x20
00000b34: PUSH1 0x04
00000b36: DUP3
00000b37: ADD
00000b38: MSTORE
00000b39: PUSH1 0x19
00000b3b: PUSH1 0x24
00000b3d: DUP3
00000b3e: ADD
00000b3f: MSTORE
00000b40: PUSH25 0x22a9219b99189d1030b8383937bb32903a379031b0b63632b9
00000b5a: PUSH1 0x39
00000b5c: SHL
00000b5d: PUSH1 0x44
00000b5f: DUP3
00000b60: ADD
00000b61: MSTORE
00000b62: PUSH1 0x64
00000b64: ADD
00000b65: PUSH2 0x059d
00000b68: JUMP
00000b69: JUMPDEST
00000b6a: CALLER
00000b6b: PUSH1 0x00
00000b6d: DUP2
00000b6e: DUP2
00000b6f: MSTORE
00000b70: PUSH1 0x04
00000b72: PUSH1 0x20
00000b74: SWAP1
00000b75: DUP2
00000b76: MSTORE
00000b77: PUSH1 0x40
00000b79: DUP1
00000b7a: DUP4
00000b7b: KECCAK256
00000b7c: PUSH1 0x01
00000b7e: PUSH1 0x01
00000b80: PUSH1 0xa0
00000b82: SHL
00000b83: SUB
00000b84: DUP8
00000b85: AND
00000b86: DUP1
00000b87: DUP6
00000b88: MSTORE
00000b89: SWAP1
00000b8a: DUP4
00000b8b: MSTORE
00000b8c: SWAP3
00000b8d: DUP2
00000b8e: SWAP1
00000b8f: KECCAK256
00000b90: DUP1
00000b91: SLOAD
00000b92: PUSH1 0xff
00000b94: NOT
00000b95: AND
00000b96: DUP7
00000b97: ISZERO
00000b98: ISZERO
00000b99: SWAP1
00000b9a: DUP2
00000b9b: OR
00000b9c: SWAP1
00000b9d: SWAP2
00000b9e: SSTORE
00000b9f: SWAP1
00000ba0: MLOAD
00000ba1: SWAP1
00000ba2: DUP2
00000ba3: MSTORE
00000ba4: SWAP2
00000ba5: SWAP3
00000ba6: SWAP2
00000ba7: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00000bc8: SWAP2
00000bc9: ADD
00000bca: PUSH1 0x40
00000bcc: MLOAD
00000bcd: DUP1
00000bce: SWAP2
00000bcf: SUB
00000bd0: SWAP1
00000bd1: LOG3
00000bd2: POP
00000bd3: POP
00000bd4: JUMP
00000bd5: JUMPDEST
00000bd6: PUSH2 0x0bdf
00000bd9: CALLER
00000bda: DUP4
00000bdb: PUSH2 0x0f78
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: PUSH2 0x0bfb
00000be3: JUMPI
00000be4: PUSH1 0x40
00000be6: MLOAD
00000be7: PUSH3 0x461bcd
00000beb: PUSH1 0xe5
00000bed: SHL
00000bee: DUP2
00000bef: MSTORE
00000bf0: PUSH1 0x04
00000bf2: ADD
00000bf3: PUSH2 0x059d
00000bf6: SWAP1
00000bf7: PUSH2 0x1aae
00000bfa: JUMP
00000bfb: JUMPDEST
00000bfc: PUSH2 0x0c07
00000bff: DUP5
00000c00: DUP5
00000c01: DUP5
00000c02: DUP5
00000c03: PUSH2 0x1269
00000c06: JUMP
00000c07: JUMPDEST
00000c08: POP
00000c09: POP
00000c0a: POP
00000c0b: POP
00000c0c: JUMP
00000c0d: JUMPDEST
00000c0e: PUSH1 0x60
00000c10: PUSH2 0x0c17
00000c13: PUSH2 0x129c
00000c16: JUMP
00000c17: JUMPDEST
00000c18: PUSH2 0x0c20
00000c1b: DUP4
00000c1c: PUSH2 0x12bc
00000c1f: JUMP
00000c20: JUMPDEST
00000c21: PUSH1 0x40
00000c23: MLOAD
00000c24: PUSH1 0x20
00000c26: ADD
00000c27: PUSH2 0x0c31
00000c2a: SWAP3
00000c2b: SWAP2
00000c2c: SWAP1
00000c2d: PUSH2 0x1994
00000c30: JUMP
00000c31: JUMPDEST
00000c32: PUSH1 0x40
00000c34: MLOAD
00000c35: PUSH1 0x20
00000c37: DUP2
00000c38: DUP4
00000c39: SUB
00000c3a: SUB
00000c3b: DUP2
00000c3c: MSTORE
00000c3d: SWAP1
00000c3e: PUSH1 0x40
00000c40: MSTORE
00000c41: SWAP1
00000c42: POP
00000c43: SWAP2
00000c44: SWAP1
00000c45: POP
00000c46: JUMP
00000c47: JUMPDEST
00000c48: CALLER
00000c49: PUSH2 0x0c50
00000c4c: PUSH2 0x0a5b
00000c4f: JUMP
00000c50: JUMPDEST
00000c51: PUSH1 0x01
00000c53: PUSH1 0x01
00000c55: PUSH1 0xa0
00000c57: SHL
00000c58: SUB
00000c59: AND
00000c5a: EQ
00000c5b: PUSH2 0x0c76
00000c5e: JUMPI
00000c5f: PUSH1 0x40
00000c61: MLOAD
00000c62: PUSH3 0x461bcd
00000c66: PUSH1 0xe5
00000c68: SHL
00000c69: DUP2
00000c6a: MSTORE
00000c6b: PUSH1 0x04
00000c6d: ADD
00000c6e: PUSH2 0x059d
00000c71: SWAP1
00000c72: PUSH2 0x1a79
00000c75: JUMP
00000c76: JUMPDEST
00000c77: PUSH1 0x07
00000c79: DUP1
00000c7a: SLOAD
00000c7b: PUSH1 0x01
00000c7d: PUSH1 0x01
00000c7f: PUSH1 0xa0
00000c81: SHL
00000c82: SUB
00000c83: NOT
00000c84: AND
00000c85: PUSH1 0x01
00000c87: PUSH1 0x01
00000c89: PUSH1 0xa0
00000c8b: SHL
00000c8c: SUB
00000c8d: SWAP3
00000c8e: SWAP1
00000c8f: SWAP3
00000c90: AND
00000c91: SWAP2
00000c92: SWAP1
00000c93: SWAP2
00000c94: OR
00000c95: SWAP1
00000c96: SSTORE
00000c97: JUMP
00000c98: JUMPDEST
00000c99: CALLER
00000c9a: PUSH2 0x0ca1
00000c9d: PUSH2 0x0a5b
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: PUSH1 0x01
00000ca4: PUSH1 0x01
00000ca6: PUSH1 0xa0
00000ca8: SHL
00000ca9: SUB
00000caa: AND
00000cab: EQ
00000cac: PUSH2 0x0cc7
00000caf: JUMPI
00000cb0: PUSH1 0x40
00000cb2: MLOAD
00000cb3: PUSH3 0x461bcd
00000cb7: PUSH1 0xe5
00000cb9: SHL
00000cba: DUP2
00000cbb: MSTORE
00000cbc: PUSH1 0x04
00000cbe: ADD
00000cbf: PUSH2 0x059d
00000cc2: SWAP1
00000cc3: PUSH2 0x1a79
00000cc6: JUMP
00000cc7: JUMPDEST
00000cc8: PUSH1 0x00
00000cca: JUMPDEST
00000ccb: DUP2
00000ccc: MLOAD
00000ccd: DUP2
00000cce: LT
00000ccf: ISZERO
00000cd0: PUSH2 0x0a57
00000cd3: JUMPI
00000cd4: PUSH2 0x0cfb
00000cd7: DUP3
00000cd8: DUP3
00000cd9: DUP2
00000cda: MLOAD
00000cdb: DUP2
00000cdc: LT
00000cdd: PUSH2 0x0ce8
00000ce0: JUMPI
00000ce1: PUSH2 0x0ce8
00000ce4: PUSH2 0x1c53
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH1 0x20
00000ceb: MUL
00000cec: PUSH1 0x20
00000cee: ADD
00000cef: ADD
00000cf0: MLOAD
00000cf1: PUSH1 0x02
00000cf3: DUP1
00000cf4: SLOAD
00000cf5: SWAP1
00000cf6: POP
00000cf7: PUSH2 0x0f5e
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: DUP1
00000cfd: PUSH2 0x0d05
00000d00: DUP2
00000d01: PUSH2 0x1bf8
00000d04: JUMP
00000d05: JUMPDEST
00000d06: SWAP2
00000d07: POP
00000d08: POP
00000d09: PUSH2 0x0cca
00000d0c: JUMP
00000d0d: JUMPDEST
00000d0e: PUSH1 0x07
00000d10: SLOAD
00000d11: PUSH1 0x40
00000d13: MLOAD
00000d14: PUSH4 0xc4552791
00000d19: PUSH1 0xe0
00000d1b: SHL
00000d1c: DUP2
00000d1d: MSTORE
00000d1e: PUSH1 0x00
00000d20: SWAP2
00000d21: PUSH1 0x01
00000d23: PUSH1 0x01
00000d25: PUSH1 0xa0
00000d27: SHL
00000d28: SUB
00000d29: SWAP1
00000d2a: DUP2
00000d2b: AND
00000d2c: SWAP2
00000d2d: SWAP1
00000d2e: DUP5
00000d2f: AND
00000d30: SWAP1
00000d31: DUP3
00000d32: SWAP1
00000d33: PUSH4 0xc4552791
00000d38: SWAP1
00000d39: PUSH2 0x0d46
00000d3c: SWAP1
00000d3d: DUP9
00000d3e: SWAP1
00000d3f: PUSH1 0x04
00000d41: ADD
00000d42: PUSH2 0x19c3
00000d45: JUMP
00000d46: JUMPDEST
00000d47: PUSH1 0x20
00000d49: PUSH1 0x40
00000d4b: MLOAD
00000d4c: DUP1
00000d4d: DUP4
00000d4e: SUB
00000d4f: DUP2
00000d50: DUP7
00000d51: DUP1
00000d52: EXTCODESIZE
00000d53: ISZERO
00000d54: DUP1
00000d55: ISZERO
00000d56: PUSH2 0x0d5e
00000d59: JUMPI
00000d5a: PUSH1 0x00
00000d5c: DUP1
00000d5d: REVERT
00000d5e: JUMPDEST
00000d5f: POP
00000d60: GAS
00000d61: STATICCALL
00000d62: ISZERO
00000d63: DUP1
00000d64: ISZERO
00000d65: PUSH2 0x0d72
00000d68: JUMPI
00000d69: RETURNDATASIZE
00000d6a: PUSH1 0x00
00000d6c: DUP1
00000d6d: RETURNDATACOPY
00000d6e: RETURNDATASIZE
00000d6f: PUSH1 0x00
00000d71: REVERT
00000d72: JUMPDEST
00000d73: POP
00000d74: POP
00000d75: POP
00000d76: POP
00000d77: PUSH1 0x40
00000d79: MLOAD
00000d7a: RETURNDATASIZE
00000d7b: PUSH1 0x1f
00000d7d: NOT
00000d7e: PUSH1 0x1f
00000d80: DUP3
00000d81: ADD
00000d82: AND
00000d83: DUP3
00000d84: ADD
00000d85: DUP1
00000d86: PUSH1 0x40
00000d88: MSTORE
00000d89: POP
00000d8a: DUP2
00000d8b: ADD
00000d8c: SWAP1
00000d8d: PUSH2 0x0d96
00000d90: SWAP2
00000d91: SWAP1
00000d92: PUSH2 0x1910
00000d95: JUMP
00000d96: JUMPDEST
00000d97: PUSH1 0x01
00000d99: PUSH1 0x01
00000d9b: PUSH1 0xa0
00000d9d: SHL
00000d9e: SUB
00000d9f: AND
00000da0: EQ
00000da1: ISZERO
00000da2: PUSH2 0x0daf
00000da5: JUMPI
00000da6: PUSH1 0x01
00000da8: SWAP2
00000da9: POP
00000daa: POP
00000dab: PUSH2 0x049d
00000dae: JUMP
00000daf: JUMPDEST
00000db0: PUSH1 0x01
00000db2: PUSH1 0x01
00000db4: PUSH1 0xa0
00000db6: SHL
00000db7: SUB
00000db8: DUP1
00000db9: DUP6
00000dba: AND
00000dbb: PUSH1 0x00
00000dbd: SWAP1
00000dbe: DUP2
00000dbf: MSTORE
00000dc0: PUSH1 0x04
00000dc2: PUSH1 0x20
00000dc4: SWAP1
00000dc5: DUP2
00000dc6: MSTORE
00000dc7: PUSH1 0x40
00000dc9: DUP1
00000dca: DUP4
00000dcb: KECCAK256
00000dcc: SWAP4
00000dcd: DUP8
00000dce: AND
00000dcf: DUP4
00000dd0: MSTORE
00000dd1: SWAP3
00000dd2: SWAP1
00000dd3: MSTORE
00000dd4: KECCAK256
00000dd5: SLOAD
00000dd6: PUSH1 0xff
00000dd8: AND
00000dd9: JUMPDEST
00000dda: SWAP5
00000ddb: SWAP4
00000ddc: POP
00000ddd: POP
00000dde: POP
00000ddf: POP
00000de0: JUMP
00000de1: JUMPDEST
00000de2: CALLER
00000de3: PUSH2 0x0dea
00000de6: PUSH2 0x0a5b
00000de9: JUMP
00000dea: JUMPDEST
00000deb: PUSH1 0x01
00000ded: PUSH1 0x01
00000def: PUSH1 0xa0
00000df1: SHL
00000df2: SUB
00000df3: AND
00000df4: EQ
00000df5: PUSH2 0x0e10
00000df8: JUMPI
00000df9: PUSH1 0x40
00000dfb: MLOAD
00000dfc: PUSH3 0x461bcd
00000e00: PUSH1 0xe5
00000e02: SHL
00000e03: DUP2
00000e04: MSTORE
00000e05: PUSH1 0x04
00000e07: ADD
00000e08: PUSH2 0x059d
00000e0b: SWAP1
00000e0c: PUSH2 0x1a79
00000e0f: JUMP
00000e10: JUMPDEST
00000e11: PUSH1 0x01
00000e13: PUSH1 0x01
00000e15: PUSH1 0xa0
00000e17: SHL
00000e18: SUB
00000e19: DUP2
00000e1a: AND
00000e1b: PUSH2 0x0e75
00000e1e: JUMPI
00000e1f: PUSH1 0x40
00000e21: MLOAD
00000e22: PUSH3 0x461bcd
00000e26: PUSH1 0xe5
00000e28: SHL
00000e29: DUP2
00000e2a: MSTORE
00000e2b: PUSH1 0x20
00000e2d: PUSH1 0x04
00000e2f: DUP3
00000e30: ADD
00000e31: MSTORE
00000e32: PUSH1 0x26
00000e34: PUSH1 0x24
00000e36: DUP3
00000e37: ADD
00000e38: MSTORE
00000e39: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000e5a: PUSH1 0x44
00000e5c: DUP3
00000e5d: ADD
00000e5e: MSTORE
00000e5f: PUSH6 0x646472657373
00000e66: PUSH1 0xd0
00000e68: SHL
00000e69: PUSH1 0x64
00000e6b: DUP3
00000e6c: ADD
00000e6d: MSTORE
00000e6e: PUSH1 0x84
00000e70: ADD
00000e71: PUSH2 0x059d
00000e74: JUMP
00000e75: JUMPDEST
00000e76: PUSH2 0x0e7e
00000e79: DUP2
00000e7a: PUSH2 0x117e
00000e7d: JUMP
00000e7e: JUMPDEST
00000e7f: POP
00000e80: JUMP
00000e81: JUMPDEST
00000e82: PUSH1 0x00
00000e84: PUSH1 0x01
00000e86: PUSH1 0x01
00000e88: PUSH1 0xe0
00000e8a: SHL
00000e8b: SUB
00000e8c: NOT
00000e8d: DUP3
00000e8e: AND
00000e8f: PUSH4 0x152a902d
00000e94: PUSH1 0xe1
00000e96: SHL
00000e97: EQ
00000e98: DUP1
00000e99: PUSH2 0x049d
00000e9c: JUMPI
00000e9d: POP
00000e9e: PUSH2 0x049d
00000ea1: DUP3
00000ea2: PUSH2 0x13b9
00000ea5: JUMP
00000ea6: JUMPDEST
00000ea7: PUSH1 0x02
00000ea9: SLOAD
00000eaa: PUSH1 0x00
00000eac: SWAP1
00000ead: DUP3
00000eae: LT
00000eaf: DUP1
00000eb0: ISZERO
00000eb1: PUSH2 0x049d
00000eb4: JUMPI
00000eb5: POP
00000eb6: PUSH1 0x00
00000eb8: PUSH1 0x01
00000eba: PUSH1 0x01
00000ebc: PUSH1 0xa0
00000ebe: SHL
00000ebf: SUB
00000ec0: AND
00000ec1: PUSH1 0x02
00000ec3: DUP4
00000ec4: DUP2
00000ec5: SLOAD
00000ec6: DUP2
00000ec7: LT
00000ec8: PUSH2 0x0ed3
00000ecb: JUMPI
00000ecc: PUSH2 0x0ed3
00000ecf: PUSH2 0x1c53
00000ed2: JUMP
00000ed3: JUMPDEST
00000ed4: PUSH1 0x00
00000ed6: SWAP2
00000ed7: DUP3
00000ed8: MSTORE
00000ed9: PUSH1 0x20
00000edb: SWAP1
00000edc: SWAP2
00000edd: KECCAK256
00000ede: ADD
00000edf: SLOAD
00000ee0: PUSH1 0x01
00000ee2: PUSH1 0x01
00000ee4: PUSH1 0xa0
00000ee6: SHL
00000ee7: SUB
00000ee8: AND
00000ee9: EQ
00000eea: ISZERO
00000eeb: SWAP3
00000eec: SWAP2
00000eed: POP
00000eee: POP
00000eef: JUMP
00000ef0: JUMPDEST
00000ef1: PUSH1 0x00
00000ef3: DUP2
00000ef4: DUP2
00000ef5: MSTORE
00000ef6: PUSH1 0x03
00000ef8: PUSH1 0x20
00000efa: MSTORE
00000efb: PUSH1 0x40
00000efd: SWAP1
00000efe: KECCAK256
00000eff: DUP1
00000f00: SLOAD
00000f01: PUSH1 0x01
00000f03: PUSH1 0x01
00000f05: PUSH1 0xa0
00000f07: SHL
00000f08: SUB
00000f09: NOT
00000f0a: AND
00000f0b: PUSH1 0x01
00000f0d: PUSH1 0x01
00000f0f: PUSH1 0xa0
00000f11: SHL
00000f12: SUB
00000f13: DUP5
00000f14: AND
00000f15: SWAP1
00000f16: DUP2
00000f17: OR
00000f18: SWAP1
00000f19: SWAP2
00000f1a: SSTORE
00000f1b: DUP2
00000f1c: SWAP1
00000f1d: PUSH2 0x0f25
00000f20: DUP3
00000f21: PUSH2 0x0890
00000f24: JUMP
00000f25: JUMPDEST
00000f26: PUSH1 0x01
00000f28: PUSH1 0x01
00000f2a: PUSH1 0xa0
00000f2c: SHL
00000f2d: SUB
00000f2e: AND
00000f2f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000f50: PUSH1 0x40
00000f52: MLOAD
00000f53: PUSH1 0x40
00000f55: MLOAD
00000f56: DUP1
00000f57: SWAP2
00000f58: SUB
00000f59: SWAP1
00000f5a: LOG4
00000f5b: POP
00000f5c: POP
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH2 0x0a57
00000f62: DUP3
00000f63: DUP3
00000f64: PUSH1 0x40
00000f66: MLOAD
00000f67: DUP1
00000f68: PUSH1 0x20
00000f6a: ADD
00000f6b: PUSH1 0x40
00000f6d: MSTORE
00000f6e: DUP1
00000f6f: PUSH1 0x00
00000f71: DUP2
00000f72: MSTORE
00000f73: POP
00000f74: PUSH2 0x1409
00000f77: JUMP
00000f78: JUMPDEST
00000f79: PUSH1 0x00
00000f7b: PUSH2 0x0f83
00000f7e: DUP3
00000f7f: PUSH2 0x0ea6
00000f82: JUMP
00000f83: JUMPDEST
00000f84: PUSH2 0x0fe4
00000f87: JUMPI
00000f88: PUSH1 0x40
00000f8a: MLOAD
00000f8b: PUSH3 0x461bcd
00000f8f: PUSH1 0xe5
00000f91: SHL
00000f92: DUP2
00000f93: MSTORE
00000f94: PUSH1 0x20
00000f96: PUSH1 0x04
00000f98: DUP3
00000f99: ADD
00000f9a: MSTORE
00000f9b: PUSH1 0x2c
00000f9d: PUSH1 0x24
00000f9f: DUP3
00000fa0: ADD
00000fa1: MSTORE
00000fa2: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
00000fc3: PUSH1 0x44
00000fc5: DUP3
00000fc6: ADD
00000fc7: MSTORE
00000fc8: PUSH12 0x34b9ba32b73a103a37b5b2b7
00000fd5: PUSH1 0xa1
00000fd7: SHL
00000fd8: PUSH1 0x64
00000fda: DUP3
00000fdb: ADD
00000fdc: MSTORE
00000fdd: PUSH1 0x84
00000fdf: ADD
00000fe0: PUSH2 0x059d
00000fe3: JUMP
00000fe4: JUMPDEST
00000fe5: PUSH1 0x00
00000fe7: PUSH2 0x0fef
00000fea: DUP4
00000feb: PUSH2 0x0890
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: SWAP1
00000ff1: POP
00000ff2: DUP1
00000ff3: PUSH1 0x01
00000ff5: PUSH1 0x01
00000ff7: PUSH1 0xa0
00000ff9: SHL
00000ffa: SUB
00000ffb: AND
00000ffc: DUP5
00000ffd: PUSH1 0x01
00000fff: PUSH1 0x01
00001001: PUSH1 0xa0
00001003: SHL
00001004: SUB
00001005: AND
00001006: EQ
00001007: DUP1
00001008: PUSH2 0x102a
0000100b: JUMPI
0000100c: POP
0000100d: DUP4
0000100e: PUSH1 0x01
00001010: PUSH1 0x01
00001012: PUSH1 0xa0
00001014: SHL
00001015: SUB
00001016: AND
00001017: PUSH2 0x101f
0000101a: DUP5
0000101b: PUSH2 0x0535
0000101e: JUMP
0000101f: JUMPDEST
00001020: PUSH1 0x01
00001022: PUSH1 0x01
00001024: PUSH1 0xa0
00001026: SHL
00001027: SUB
00001028: AND
00001029: EQ
0000102a: JUMPDEST
0000102b: DUP1
0000102c: PUSH2 0x0dd9
0000102f: JUMPI
00001030: POP
00001031: PUSH2 0x0dd9
00001034: DUP2
00001035: DUP6
00001036: PUSH2 0x0d0d
00001039: JUMP
0000103a: JUMPDEST
0000103b: DUP3
0000103c: PUSH1 0x01
0000103e: PUSH1 0x01
00001040: PUSH1 0xa0
00001042: SHL
00001043: SUB
00001044: AND
00001045: PUSH2 0x104d
00001048: DUP3
00001049: PUSH2 0x0890
0000104c: JUMP
0000104d: JUMPDEST
0000104e: PUSH1 0x01
00001050: PUSH1 0x01
00001052: PUSH1 0xa0
00001054: SHL
00001055: SUB
00001056: AND
00001057: EQ
00001058: PUSH2 0x10b5
0000105b: JUMPI
0000105c: PUSH1 0x40
0000105e: MLOAD
0000105f: PUSH3 0x461bcd
00001063: PUSH1 0xe5
00001065: SHL
00001066: DUP2
00001067: MSTORE
00001068: PUSH1 0x20
0000106a: PUSH1 0x04
0000106c: DUP3
0000106d: ADD
0000106e: MSTORE
0000106f: PUSH1 0x29
00001071: PUSH1 0x24
00001073: DUP3
00001074: ADD
00001075: MSTORE
00001076: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069
00001097: PUSH1 0x44
00001099: DUP3
0000109a: ADD
0000109b: MSTORE
0000109c: PUSH9 0x39903737ba1037bbb7
000010a6: PUSH1 0xb9
000010a8: SHL
000010a9: PUSH1 0x64
000010ab: DUP3
000010ac: ADD
000010ad: MSTORE
000010ae: PUSH1 0x84
000010b0: ADD
000010b1: PUSH2 0x059d
000010b4: JUMP
000010b5: JUMPDEST
000010b6: PUSH1 0x01
000010b8: PUSH1 0x01
000010ba: PUSH1 0xa0
000010bc: SHL
000010bd: SUB
000010be: DUP3
000010bf: AND
000010c0: PUSH2 0x1117
000010c3: JUMPI
000010c4: PUSH1 0x40
000010c6: MLOAD
000010c7: PUSH3 0x461bcd
000010cb: PUSH1 0xe5
000010cd: SHL
000010ce: DUP2
000010cf: MSTORE
000010d0: PUSH1 0x20
000010d2: PUSH1 0x04
000010d4: DUP3
000010d5: ADD
000010d6: MSTORE
000010d7: PUSH1 0x24
000010d9: DUP1
000010da: DUP3
000010db: ADD
000010dc: MSTORE
000010dd: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
000010fe: PUSH1 0x44
00001100: DUP3
00001101: ADD
00001102: MSTORE
00001103: PUSH4 0x72657373
00001108: PUSH1 0xe0
0000110a: SHL
0000110b: PUSH1 0x64
0000110d: DUP3
0000110e: ADD
0000110f: MSTORE
00001110: PUSH1 0x84
00001112: ADD
00001113: PUSH2 0x059d
00001116: JUMP
00001117: JUMPDEST
00001118: PUSH2 0x1122
0000111b: PUSH1 0x00
0000111d: DUP3
0000111e: PUSH2 0x0ef0
00001121: JUMP
00001122: JUMPDEST
00001123: DUP2
00001124: PUSH1 0x02
00001126: DUP3
00001127: DUP2
00001128: SLOAD
00001129: DUP2
0000112a: LT
0000112b: PUSH2 0x1136
0000112e: JUMPI
0000112f: PUSH2 0x1136
00001132: PUSH2 0x1c53
00001135: JUMP
00001136: JUMPDEST
00001137: PUSH1 0x00
00001139: SWAP2
0000113a: DUP3
0000113b: MSTORE
0000113c: PUSH1 0x20
0000113e: DUP3
0000113f: KECCAK256
00001140: ADD
00001141: DUP1
00001142: SLOAD
00001143: PUSH1 0x01
00001145: PUSH1 0x01
00001147: PUSH1 0xa0
00001149: SHL
0000114a: SUB
0000114b: NOT
0000114c: AND
0000114d: PUSH1 0x01
0000114f: PUSH1 0x01
00001151: PUSH1 0xa0
00001153: SHL
00001154: SUB
00001155: SWAP4
00001156: DUP5
00001157: AND
00001158: OR
00001159: SWAP1
0000115a: SSTORE
0000115b: PUSH1 0x40
0000115d: MLOAD
0000115e: DUP4
0000115f: SWAP3
00001160: DUP6
00001161: DUP2
00001162: AND
00001163: SWAP3
00001164: SWAP1
00001165: DUP8
00001166: AND
00001167: SWAP2
00001168: PUSH1 0x00
0000116a: DUP1
0000116b: MLOAD
0000116c: PUSH1 0x20
0000116e: PUSH2 0x1cab
00001171: DUP4
00001172: CODECOPY
00001173: DUP2
00001174: MLOAD
00001175: SWAP2
00001176: MSTORE
00001177: SWAP2
00001178: SWAP1
00001179: LOG4
0000117a: POP
0000117b: POP
0000117c: POP
0000117d: JUMP
0000117e: JUMPDEST
0000117f: PUSH1 0x06
00001181: DUP1
00001182: SLOAD
00001183: PUSH1 0x01
00001185: PUSH1 0x01
00001187: PUSH1 0xa0
00001189: SHL
0000118a: SUB
0000118b: DUP4
0000118c: DUP2
0000118d: AND
0000118e: PUSH1 0x01
00001190: PUSH1 0x01
00001192: PUSH1 0xa0
00001194: SHL
00001195: SUB
00001196: NOT
00001197: DUP4
00001198: AND
00001199: DUP2
0000119a: OR
0000119b: SWAP1
0000119c: SWAP4
0000119d: SSTORE
0000119e: PUSH1 0x40
000011a0: MLOAD
000011a1: SWAP2
000011a2: AND
000011a3: SWAP2
000011a4: SWAP1
000011a5: DUP3
000011a6: SWAP1
000011a7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000011c8: SWAP1
000011c9: PUSH1 0x00
000011cb: SWAP1
000011cc: LOG3
000011cd: POP
000011ce: POP
000011cf: JUMP
000011d0: JUMPDEST
000011d1: PUSH2 0x2710
000011d4: DUP2
000011d5: GT
000011d6: ISZERO
000011d7: PUSH2 0x121f
000011da: JUMPI
000011db: PUSH1 0x40
000011dd: MLOAD
000011de: PUSH3 0x461bcd
000011e2: PUSH1 0xe5
000011e4: SHL
000011e5: DUP2
000011e6: MSTORE
000011e7: PUSH1 0x20
000011e9: PUSH1 0x04
000011eb: DUP3
000011ec: ADD
000011ed: MSTORE
000011ee: PUSH1 0x1a
000011f0: PUSH1 0x24
000011f2: DUP3
000011f3: ADD
000011f4: MSTORE
000011f5: PUSH26 0x08aa48664727062a4def2c2d8e8d2cae67440a8dede40d0d2ced
00001210: PUSH1 0x33
00001212: SHL
00001213: PUSH1 0x44
00001215: DUP3
00001216: ADD
00001217: MSTORE
00001218: PUSH1 0x64
0000121a: ADD
0000121b: PUSH2 0x059d
0000121e: JUMP
0000121f: JUMPDEST
00001220: PUSH1 0x40
00001222: DUP1
00001223: MLOAD
00001224: DUP1
00001225: DUP3
00001226: ADD
00001227: SWAP1
00001228: SWAP2
00001229: MSTORE
0000122a: PUSH1 0x01
0000122c: PUSH1 0x01
0000122e: PUSH1 0xa0
00001230: SHL
00001231: SUB
00001232: SWAP1
00001233: SWAP3
00001234: AND
00001235: DUP1
00001236: DUP4
00001237: MSTORE
00001238: PUSH3 0xffffff
0000123c: SWAP1
0000123d: SWAP2
0000123e: AND
0000123f: PUSH1 0x20
00001241: SWAP1
00001242: SWAP3
00001243: ADD
00001244: DUP3
00001245: SWAP1
00001246: MSTORE
00001247: PUSH1 0x05
00001249: DUP1
0000124a: SLOAD
0000124b: PUSH1 0x01
0000124d: PUSH1 0xa0
0000124f: SHL
00001250: SWAP1
00001251: SWAP4
00001252: MUL
00001253: PUSH1 0x01
00001255: PUSH1 0x01
00001257: PUSH1 0xb8
00001259: SHL
0000125a: SUB
0000125b: NOT
0000125c: SWAP1
0000125d: SWAP4
0000125e: AND
0000125f: SWAP1
00001260: SWAP2
00001261: OR
00001262: SWAP2
00001263: SWAP1
00001264: SWAP2
00001265: OR
00001266: SWAP1
00001267: SSTORE
00001268: JUMP
00001269: JUMPDEST
0000126a: PUSH2 0x1274
0000126d: DUP5
0000126e: DUP5
0000126f: DUP5
00001270: PUSH2 0x103a
00001273: JUMP
00001274: JUMPDEST
00001275: PUSH2 0x1280
00001278: DUP5
00001279: DUP5
0000127a: DUP5
0000127b: DUP5
0000127c: PUSH2 0x143c
0000127f: JUMP
00001280: JUMPDEST
00001281: PUSH2 0x0c07
00001284: JUMPI
00001285: PUSH1 0x40
00001287: MLOAD
00001288: PUSH3 0x461bcd
0000128c: PUSH1 0xe5
0000128e: SHL
0000128f: DUP2
00001290: MSTORE
00001291: PUSH1 0x04
00001293: ADD
00001294: PUSH2 0x059d
00001297: SWAP1
00001298: PUSH2 0x1a27
0000129b: JUMP
0000129c: JUMPDEST
0000129d: PUSH1 0x60
0000129f: PUSH1 0x40
000012a1: MLOAD
000012a2: DUP1
000012a3: PUSH1 0x60
000012a5: ADD
000012a6: PUSH1 0x40
000012a8: MSTORE
000012a9: DUP1
000012aa: PUSH1 0x36
000012ac: DUP2
000012ad: MSTORE
000012ae: PUSH1 0x20
000012b0: ADD
000012b1: PUSH2 0x1ccb
000012b4: PUSH1 0x36
000012b6: SWAP2
000012b7: CODECOPY
000012b8: SWAP1
000012b9: POP
000012ba: SWAP1
000012bb: JUMP
000012bc: JUMPDEST
000012bd: PUSH1 0x60
000012bf: DUP2
000012c0: PUSH2 0x12e0
000012c3: JUMPI
000012c4: POP
000012c5: POP
000012c6: PUSH1 0x40
000012c8: DUP1
000012c9: MLOAD
000012ca: DUP1
000012cb: DUP3
000012cc: ADD
000012cd: SWAP1
000012ce: SWAP2
000012cf: MSTORE
000012d0: PUSH1 0x01
000012d2: DUP2
000012d3: MSTORE
000012d4: PUSH1 0x03
000012d6: PUSH1 0xfc
000012d8: SHL
000012d9: PUSH1 0x20
000012db: DUP3
000012dc: ADD
000012dd: MSTORE
000012de: SWAP1
000012df: JUMP
000012e0: JUMPDEST
000012e1: DUP2
000012e2: PUSH1 0x00
000012e4: JUMPDEST
000012e5: DUP2
000012e6: ISZERO
000012e7: PUSH2 0x130a
000012ea: JUMPI
000012eb: DUP1
000012ec: PUSH2 0x12f4
000012ef: DUP2
000012f0: PUSH2 0x1bf8
000012f3: JUMP
000012f4: JUMPDEST
000012f5: SWAP2
000012f6: POP
000012f7: PUSH2 0x1303
000012fa: SWAP1
000012fb: POP
000012fc: PUSH1 0x0a
000012fe: DUP4
000012ff: PUSH2 0x1b47
00001302: JUMP
00001303: JUMPDEST
00001304: SWAP2
00001305: POP
00001306: PUSH2 0x12e4
00001309: JUMP
0000130a: JUMPDEST
0000130b: PUSH1 0x00
0000130d: DUP2
0000130e: PUSH1 0x01
00001310: PUSH1 0x01
00001312: PUSH1 0x40
00001314: SHL
00001315: SUB
00001316: DUP2
00001317: GT
00001318: ISZERO
00001319: PUSH2 0x1324
0000131c: JUMPI
0000131d: PUSH2 0x1324
00001320: PUSH2 0x1c69
00001323: JUMP
00001324: JUMPDEST
00001325: PUSH1 0x40
00001327: MLOAD
00001328: SWAP1
00001329: DUP1
0000132a: DUP3
0000132b: MSTORE
0000132c: DUP1
0000132d: PUSH1 0x1f
0000132f: ADD
00001330: PUSH1 0x1f
00001332: NOT
00001333: AND
00001334: PUSH1 0x20
00001336: ADD
00001337: DUP3
00001338: ADD
00001339: PUSH1 0x40
0000133b: MSTORE
0000133c: DUP1
0000133d: ISZERO
0000133e: PUSH2 0x134e
00001341: JUMPI
00001342: PUSH1 0x20
00001344: DUP3
00001345: ADD
00001346: DUP2
00001347: DUP1
00001348: CALLDATASIZE
00001349: DUP4
0000134a: CALLDATACOPY
0000134b: ADD
0000134c: SWAP1
0000134d: POP
0000134e: JUMPDEST
0000134f: POP
00001350: SWAP1
00001351: POP
00001352: JUMPDEST
00001353: DUP5
00001354: ISZERO
00001355: PUSH2 0x0dd9
00001358: JUMPI
00001359: PUSH2 0x1363
0000135c: PUSH1 0x01
0000135e: DUP4
0000135f: PUSH2 0x1b7a
00001362: JUMP
00001363: JUMPDEST
00001364: SWAP2
00001365: POP
00001366: PUSH2 0x1370
00001369: PUSH1 0x0a
0000136b: DUP7
0000136c: PUSH2 0x1c13
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH2 0x137b
00001374: SWAP1
00001375: PUSH1 0x30
00001377: PUSH2 0x1b2f
0000137a: JUMP
0000137b: JUMPDEST
0000137c: PUSH1 0xf8
0000137e: SHL
0000137f: DUP2
00001380: DUP4
00001381: DUP2
00001382: MLOAD
00001383: DUP2
00001384: LT
00001385: PUSH2 0x1390
00001388: JUMPI
00001389: PUSH2 0x1390
0000138c: PUSH2 0x1c53
0000138f: JUMP
00001390: JUMPDEST
00001391: PUSH1 0x20
00001393: ADD
00001394: ADD
00001395: SWAP1
00001396: PUSH1 0x01
00001398: PUSH1 0x01
0000139a: PUSH1 0xf8
0000139c: SHL
0000139d: SUB
0000139e: NOT
0000139f: AND
000013a0: SWAP1
000013a1: DUP2
000013a2: PUSH1 0x00
000013a4: BYTE
000013a5: SWAP1
000013a6: MSTORE8
000013a7: POP
000013a8: PUSH2 0x13b2
000013ab: PUSH1 0x0a
000013ad: DUP7
000013ae: PUSH2 0x1b47
000013b1: JUMP
000013b2: JUMPDEST
000013b3: SWAP5
000013b4: POP
000013b5: PUSH2 0x1352
000013b8: JUMP
000013b9: JUMPDEST
000013ba: PUSH1 0x00
000013bc: PUSH1 0x01
000013be: PUSH1 0x01
000013c0: PUSH1 0xe0
000013c2: SHL
000013c3: SUB
000013c4: NOT
000013c5: DUP3
000013c6: AND
000013c7: PUSH4 0x80ac58cd
000013cc: PUSH1 0xe0
000013ce: SHL
000013cf: EQ
000013d0: DUP1
000013d1: PUSH2 0x13ea
000013d4: JUMPI
000013d5: POP
000013d6: PUSH1 0x01
000013d8: PUSH1 0x01
000013da: PUSH1 0xe0
000013dc: SHL
000013dd: SUB
000013de: NOT
000013df: DUP3
000013e0: AND
000013e1: PUSH4 0x5b5e139f
000013e6: PUSH1 0xe0
000013e8: SHL
000013e9: EQ
000013ea: JUMPDEST
000013eb: DUP1
000013ec: PUSH2 0x049d
000013ef: JUMPI
000013f0: POP
000013f1: PUSH4 0x01ffc9a7
000013f6: PUSH1 0xe0
000013f8: SHL
000013f9: PUSH1 0x01
000013fb: PUSH1 0x01
000013fd: PUSH1 0xe0
000013ff: SHL
00001400: SUB
00001401: NOT
00001402: DUP4
00001403: AND
00001404: EQ
00001405: PUSH2 0x049d
00001408: JUMP
00001409: JUMPDEST
0000140a: PUSH2 0x1413
0000140d: DUP4
0000140e: DUP4
0000140f: PUSH2 0x1549
00001412: JUMP
00001413: JUMPDEST
00001414: PUSH2 0x1420
00001417: PUSH1 0x00
00001419: DUP5
0000141a: DUP5
0000141b: DUP5
0000141c: PUSH2 0x143c
0000141f: JUMP
00001420: JUMPDEST
00001421: PUSH2 0x06ce
00001424: JUMPI
00001425: PUSH1 0x40
00001427: MLOAD
00001428: PUSH3 0x461bcd
0000142c: PUSH1 0xe5
0000142e: SHL
0000142f: DUP2
00001430: MSTORE
00001431: PUSH1 0x04
00001433: ADD
00001434: PUSH2 0x059d
00001437: SWAP1
00001438: PUSH2 0x1a27
0000143b: JUMP
0000143c: JUMPDEST
0000143d: PUSH1 0x00
0000143f: PUSH1 0x01
00001441: PUSH1 0x01
00001443: PUSH1 0xa0
00001445: SHL
00001446: SUB
00001447: DUP5
00001448: AND
00001449: EXTCODESIZE
0000144a: ISZERO
0000144b: PUSH2 0x153e
0000144e: JUMPI
0000144f: PUSH1 0x40
00001451: MLOAD
00001452: PUSH4 0x0a85bd01
00001457: PUSH1 0xe1
00001459: SHL
0000145a: DUP2
0000145b: MSTORE
0000145c: PUSH1 0x01
0000145e: PUSH1 0x01
00001460: PUSH1 0xa0
00001462: SHL
00001463: SUB
00001464: DUP6
00001465: AND
00001466: SWAP1
00001467: PUSH4 0x150b7a02
0000146c: SWAP1
0000146d: PUSH2 0x1480
00001470: SWAP1
00001471: CALLER
00001472: SWAP1
00001473: DUP10
00001474: SWAP1
00001475: DUP9
00001476: SWAP1
00001477: DUP9
00001478: SWAP1
00001479: PUSH1 0x04
0000147b: ADD
0000147c: PUSH2 0x19d7
0000147f: JUMP
00001480: JUMPDEST
00001481: PUSH1 0x20
00001483: PUSH1 0x40
00001485: MLOAD
00001486: DUP1
00001487: DUP4
00001488: SUB
00001489: DUP2
0000148a: PUSH1 0x00
0000148c: DUP8
0000148d: DUP1
0000148e: EXTCODESIZE
0000148f: ISZERO
00001490: DUP1
00001491: ISZERO
00001492: PUSH2 0x149a
00001495: JUMPI
00001496: PUSH1 0x00
00001498: DUP1
00001499: REVERT
0000149a: JUMPDEST
0000149b: POP
0000149c: GAS
0000149d: CALL
0000149e: SWAP3
0000149f: POP
000014a0: POP
000014a1: POP
000014a2: DUP1
000014a3: ISZERO
000014a4: PUSH2 0x14ca
000014a7: JUMPI
000014a8: POP
000014a9: PUSH1 0x40
000014ab: DUP1
000014ac: MLOAD
000014ad: PUSH1 0x1f
000014af: RETURNDATASIZE
000014b0: SWAP1
000014b1: DUP2
000014b2: ADD
000014b3: PUSH1 0x1f
000014b5: NOT
000014b6: AND
000014b7: DUP3
000014b8: ADD
000014b9: SWAP1
000014ba: SWAP3
000014bb: MSTORE
000014bc: PUSH2 0x14c7
000014bf: SWAP2
000014c0: DUP2
000014c1: ADD
000014c2: SWAP1
000014c3: PUSH2 0x18f3
000014c6: JUMP
000014c7: JUMPDEST
000014c8: PUSH1 0x01
000014ca: JUMPDEST
000014cb: PUSH2 0x1524
000014ce: JUMPI
000014cf: RETURNDATASIZE
000014d0: DUP1
000014d1: DUP1
000014d2: ISZERO
000014d3: PUSH2 0x14f8
000014d6: JUMPI
000014d7: PUSH1 0x40
000014d9: MLOAD
000014da: SWAP2
000014db: POP
000014dc: PUSH1 0x1f
000014de: NOT
000014df: PUSH1 0x3f
000014e1: RETURNDATASIZE
000014e2: ADD
000014e3: AND
000014e4: DUP3
000014e5: ADD
000014e6: PUSH1 0x40
000014e8: MSTORE
000014e9: RETURNDATASIZE
000014ea: DUP3
000014eb: MSTORE
000014ec: RETURNDATASIZE
000014ed: PUSH1 0x00
000014ef: PUSH1 0x20
000014f1: DUP5
000014f2: ADD
000014f3: RETURNDATACOPY
000014f4: PUSH2 0x14fd
000014f7: JUMP
000014f8: JUMPDEST
000014f9: PUSH1 0x60
000014fb: SWAP2
000014fc: POP
000014fd: JUMPDEST
000014fe: POP
000014ff: DUP1
00001500: MLOAD
00001501: PUSH2 0x151c
00001504: JUMPI
00001505: PUSH1 0x40
00001507: MLOAD
00001508: PUSH3 0x461bcd
0000150c: PUSH1 0xe5
0000150e: SHL
0000150f: DUP2
00001510: MSTORE
00001511: PUSH1 0x04
00001513: ADD
00001514: PUSH2 0x059d
00001517: SWAP1
00001518: PUSH2 0x1a27
0000151b: JUMP
0000151c: JUMPDEST
0000151d: DUP1
0000151e: MLOAD
0000151f: DUP2
00001520: PUSH1 0x20
00001522: ADD
00001523: REVERT
00001524: JUMPDEST
00001525: PUSH1 0x01
00001527: PUSH1 0x01
00001529: PUSH1 0xe0
0000152b: SHL
0000152c: SUB
0000152d: NOT
0000152e: AND
0000152f: PUSH4 0x0a85bd01
00001534: PUSH1 0xe1
00001536: SHL
00001537: EQ
00001538: SWAP1
00001539: POP
0000153a: PUSH2 0x0dd9
0000153d: JUMP
0000153e: JUMPDEST
0000153f: POP
00001540: PUSH1 0x01
00001542: SWAP5
00001543: SWAP4
00001544: POP
00001545: POP
00001546: POP
00001547: POP
00001548: JUMP
00001549: JUMPDEST
0000154a: PUSH1 0x01
0000154c: PUSH1 0x01
0000154e: PUSH1 0xa0
00001550: SHL
00001551: SUB
00001552: DUP3
00001553: AND
00001554: PUSH2 0x159f
00001557: JUMPI
00001558: PUSH1 0x40
0000155a: MLOAD
0000155b: PUSH3 0x461bcd
0000155f: PUSH1 0xe5
00001561: SHL
00001562: DUP2
00001563: MSTORE
00001564: PUSH1 0x20
00001566: PUSH1 0x04
00001568: DUP3
00001569: ADD
0000156a: DUP2
0000156b: SWAP1
0000156c: MSTORE
0000156d: PUSH1 0x24
0000156f: DUP3
00001570: ADD
00001571: MSTORE
00001572: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00001593: PUSH1 0x44
00001595: DUP3
00001596: ADD
00001597: MSTORE
00001598: PUSH1 0x64
0000159a: ADD
0000159b: PUSH2 0x059d
0000159e: JUMP
0000159f: JUMPDEST
000015a0: PUSH2 0x15a8
000015a3: DUP2
000015a4: PUSH2 0x0ea6
000015a7: JUMP
000015a8: JUMPDEST
000015a9: ISZERO
000015aa: PUSH2 0x15f4
000015ad: JUMPI
000015ae: PUSH1 0x40
000015b0: MLOAD
000015b1: PUSH3 0x461bcd
000015b5: PUSH1 0xe5
000015b7: SHL
000015b8: DUP2
000015b9: MSTORE
000015ba: PUSH1 0x20
000015bc: PUSH1 0x04
000015be: DUP3
000015bf: ADD
000015c0: MSTORE
000015c1: PUSH1 0x1c
000015c3: PUSH1 0x24
000015c5: DUP3
000015c6: ADD
000015c7: MSTORE
000015c8: PUSH28 0x115490cdcc8c4e881d1bdad95b88185b1c9958591e481b5a5b9d1959
000015e5: PUSH1 0x22
000015e7: SHL
000015e8: PUSH1 0x44
000015ea: DUP3
000015eb: ADD
000015ec: MSTORE
000015ed: PUSH1 0x64
000015ef: ADD
000015f0: PUSH2 0x059d
000015f3: JUMP
000015f4: JUMPDEST
000015f5: PUSH1 0x02
000015f7: DUP1
000015f8: SLOAD
000015f9: PUSH1 0x01
000015fb: DUP2
000015fc: ADD
000015fd: DUP3
000015fe: SSTORE
000015ff: PUSH1 0x00
00001601: SWAP2
00001602: DUP3
00001603: MSTORE
00001604: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
00001625: ADD
00001626: DUP1
00001627: SLOAD
00001628: PUSH1 0x01
0000162a: PUSH1 0x01
0000162c: PUSH1 0xa0
0000162e: SHL
0000162f: SUB
00001630: NOT
00001631: AND
00001632: PUSH1 0x01
00001634: PUSH1 0x01
00001636: PUSH1 0xa0
00001638: SHL
00001639: SUB
0000163a: DUP6
0000163b: AND
0000163c: SWAP1
0000163d: DUP2
0000163e: OR
0000163f: SWAP1
00001640: SWAP2
00001641: SSTORE
00001642: PUSH1 0x40
00001644: MLOAD
00001645: DUP4
00001646: SWAP3
00001647: SWAP1
00001648: PUSH1 0x00
0000164a: DUP1
0000164b: MLOAD
0000164c: PUSH1 0x20
0000164e: PUSH2 0x1cab
00001651: DUP4
00001652: CODECOPY
00001653: DUP2
00001654: MLOAD
00001655: SWAP2
00001656: MSTORE
00001657: SWAP1
00001658: DUP3
00001659: SWAP1
0000165a: LOG4
0000165b: POP
0000165c: POP
0000165d: JUMP
0000165e: JUMPDEST
0000165f: PUSH1 0x00
00001661: PUSH1 0x20
00001663: DUP3
00001664: DUP5
00001665: SUB
00001666: SLT
00001667: ISZERO
00001668: PUSH2 0x1670
0000166b: JUMPI
0000166c: PUSH1 0x00
0000166e: DUP1
0000166f: REVERT
00001670: JUMPDEST
00001671: DUP2
00001672: CALLDATALOAD
00001673: PUSH2 0x167b
00001676: DUP2
00001677: PUSH2 0x1c7f
0000167a: JUMP
0000167b: JUMPDEST
0000167c: SWAP4
0000167d: SWAP3
0000167e: POP
0000167f: POP
00001680: POP
00001681: JUMP
00001682: JUMPDEST
00001683: PUSH1 0x00
00001685: DUP1
00001686: PUSH1 0x40
00001688: DUP4
00001689: DUP6
0000168a: SUB
0000168b: SLT
0000168c: ISZERO
0000168d: PUSH2 0x1695
00001690: JUMPI
00001691: PUSH1 0x00
00001693: DUP1
00001694: REVERT
00001695: JUMPDEST
00001696: DUP3
00001697: CALLDATALOAD
00001698: PUSH2 0x16a0
0000169b: DUP2
0000169c: PUSH2 0x1c7f
0000169f: JUMP
000016a0: JUMPDEST
000016a1: SWAP2
000016a2: POP
000016a3: PUSH1 0x20
000016a5: DUP4
000016a6: ADD
000016a7: CALLDATALOAD
000016a8: PUSH2 0x16b0
000016ab: DUP2
000016ac: PUSH2 0x1c7f
000016af: JUMP
000016b0: JUMPDEST
000016b1: DUP1
000016b2: SWAP2
000016b3: POP
000016b4: POP
000016b5: SWAP3
000016b6: POP
000016b7: SWAP3
000016b8: SWAP1
000016b9: POP
000016ba: JUMP
000016bb: JUMPDEST
000016bc: PUSH1 0x00
000016be: DUP1
000016bf: PUSH1 0x00
000016c1: PUSH1 0x60
000016c3: DUP5
000016c4: DUP7
000016c5: SUB
000016c6: SLT
000016c7: ISZERO
000016c8: PUSH2 0x16d0
000016cb: JUMPI
000016cc: PUSH1 0x00
000016ce: DUP1
000016cf: REVERT
000016d0: JUMPDEST
000016d1: DUP4
000016d2: CALLDATALOAD
000016d3: PUSH2 0x16db
000016d6: DUP2
000016d7: PUSH2 0x1c7f
000016da: JUMP
000016db: JUMPDEST
000016dc: SWAP3
000016dd: POP
000016de: PUSH1 0x20
000016e0: DUP5
000016e1: ADD
000016e2: CALLDATALOAD
000016e3: PUSH2 0x16eb
000016e6: DUP2
000016e7: PUSH2 0x1c7f
000016ea: JUMP
000016eb: JUMPDEST
000016ec: SWAP3
000016ed: SWAP6
000016ee: SWAP3
000016ef: SWAP5
000016f0: POP
000016f1: POP
000016f2: POP
000016f3: PUSH1 0x40
000016f5: SWAP2
000016f6: SWAP1
000016f7: SWAP2
000016f8: ADD
000016f9: CALLDATALOAD
000016fa: SWAP1
000016fb: JUMP
000016fc: JUMPDEST
000016fd: PUSH1 0x00
000016ff: DUP1
00001700: PUSH1 0x00
00001702: DUP1
00001703: PUSH1 0x80
00001705: DUP6
00001706: DUP8
00001707: SUB
00001708: SLT
00001709: ISZERO
0000170a: PUSH2 0x1712
0000170d: JUMPI
0000170e: PUSH1 0x00
00001710: DUP1
00001711: REVERT
00001712: JUMPDEST
00001713: DUP5
00001714: CALLDATALOAD
00001715: PUSH2 0x171d
00001718: DUP2
00001719: PUSH2 0x1c7f
0000171c: JUMP
0000171d: JUMPDEST
0000171e: SWAP4
0000171f: POP
00001720: PUSH1 0x20
00001722: DUP6
00001723: DUP2
00001724: ADD
00001725: CALLDATALOAD
00001726: PUSH2 0x172e
00001729: DUP2
0000172a: PUSH2 0x1c7f
0000172d: JUMP
0000172e: JUMPDEST
0000172f: SWAP4
00001730: POP
00001731: PUSH1 0x40
00001733: DUP7
00001734: ADD
00001735: CALLDATALOAD
00001736: SWAP3
00001737: POP
00001738: PUSH1 0x60
0000173a: DUP7
0000173b: ADD
0000173c: CALLDATALOAD
0000173d: PUSH1 0x01
0000173f: PUSH1 0x01
00001741: PUSH1 0x40
00001743: SHL
00001744: SUB
00001745: DUP1
00001746: DUP3
00001747: GT
00001748: ISZERO
00001749: PUSH2 0x1751
0000174c: JUMPI
0000174d: PUSH1 0x00
0000174f: DUP1
00001750: REVERT
00001751: JUMPDEST
00001752: DUP2
00001753: DUP9
00001754: ADD
00001755: SWAP2
00001756: POP
00001757: DUP9
00001758: PUSH1 0x1f
0000175a: DUP4
0000175b: ADD
0000175c: SLT
0000175d: PUSH2 0x1765
00001760: JUMPI
00001761: PUSH1 0x00
00001763: DUP1
00001764: REVERT
00001765: JUMPDEST
00001766: DUP2
00001767: CALLDATALOAD
00001768: DUP2
00001769: DUP2
0000176a: GT
0000176b: ISZERO
0000176c: PUSH2 0x1777
0000176f: JUMPI
00001770: PUSH2 0x1777
00001773: PUSH2 0x1c69
00001776: JUMP
00001777: JUMPDEST
00001778: PUSH2 0x1789
0000177b: PUSH1 0x1f
0000177d: DUP3
0000177e: ADD
0000177f: PUSH1 0x1f
00001781: NOT
00001782: AND
00001783: DUP6
00001784: ADD
00001785: PUSH2 0x1aff
00001788: JUMP
00001789: JUMPDEST
0000178a: SWAP2
0000178b: POP
0000178c: DUP1
0000178d: DUP3
0000178e: MSTORE
0000178f: DUP10
00001790: DUP5
00001791: DUP3
00001792: DUP6
00001793: ADD
00001794: ADD
00001795: GT
00001796: ISZERO
00001797: PUSH2 0x179f
0000179a: JUMPI
0000179b: PUSH1 0x00
0000179d: DUP1
0000179e: REVERT
0000179f: JUMPDEST
000017a0: DUP1
000017a1: DUP5
000017a2: DUP5
000017a3: ADD
000017a4: DUP6
000017a5: DUP5
000017a6: ADD
000017a7: CALLDATACOPY
000017a8: PUSH1 0x00
000017aa: DUP5
000017ab: DUP3
000017ac: DUP5
000017ad: ADD
000017ae: ADD
000017af: MSTORE
000017b0: POP
000017b1: DUP1
000017b2: SWAP4
000017b3: POP
000017b4: POP
000017b5: POP
000017b6: POP
000017b7: SWAP3
000017b8: SWAP6
000017b9: SWAP2
000017ba: SWAP5
000017bb: POP
000017bc: SWAP3
000017bd: POP
000017be: JUMP
000017bf: JUMPDEST
000017c0: PUSH1 0x00
000017c2: DUP1
000017c3: PUSH1 0x40
000017c5: DUP4
000017c6: DUP6
000017c7: SUB
000017c8: SLT
000017c9: ISZERO
000017ca: PUSH2 0x17d2
000017cd: JUMPI
000017ce: PUSH1 0x00
000017d0: DUP1
000017d1: REVERT
000017d2: JUMPDEST
000017d3: DUP3
000017d4: CALLDATALOAD
000017d5: PUSH2 0x17dd
000017d8: DUP2
000017d9: PUSH2 0x1c7f
000017dc: JUMP
000017dd: JUMPDEST
000017de: SWAP2
000017df: POP
000017e0: PUSH1 0x20
000017e2: DUP4
000017e3: ADD
000017e4: CALLDATALOAD
000017e5: DUP1
000017e6: ISZERO
000017e7: ISZERO
000017e8: DUP2
000017e9: EQ
000017ea: PUSH2 0x16b0
000017ed: JUMPI
000017ee: PUSH1 0x00
000017f0: DUP1
000017f1: REVERT
000017f2: JUMPDEST
000017f3: PUSH1 0x00
000017f5: DUP1
000017f6: PUSH1 0x40
000017f8: DUP4
000017f9: DUP6
000017fa: SUB
000017fb: SLT
000017fc: ISZERO
000017fd: PUSH2 0x1805
00001800: JUMPI
00001801: PUSH1 0x00
00001803: DUP1
00001804: REVERT
00001805: JUMPDEST
00001806: DUP3
00001807: CALLDATALOAD
00001808: PUSH2 0x1810
0000180b: DUP2
0000180c: PUSH2 0x1c7f
0000180f: JUMP
00001810: JUMPDEST
00001811: SWAP5
00001812: PUSH1 0x20
00001814: SWAP4
00001815: SWAP1
00001816: SWAP4
00001817: ADD
00001818: CALLDATALOAD
00001819: SWAP4
0000181a: POP
0000181b: POP
0000181c: POP
0000181d: JUMP
0000181e: JUMPDEST
0000181f: PUSH1 0x00
00001821: PUSH1 0x20
00001823: DUP1
00001824: DUP4
00001825: DUP6
00001826: SUB
00001827: SLT
00001828: ISZERO
00001829: PUSH2 0x1831
0000182c: JUMPI
0000182d: PUSH1 0x00
0000182f: DUP1
00001830: REVERT
00001831: JUMPDEST
00001832: DUP3
00001833: CALLDATALOAD
00001834: PUSH1 0x01
00001836: PUSH1 0x01
00001838: PUSH1 0x40
0000183a: SHL
0000183b: SUB
0000183c: DUP1
0000183d: DUP3
0000183e: GT
0000183f: ISZERO
00001840: PUSH2 0x1848
00001843: JUMPI
00001844: PUSH1 0x00
00001846: DUP1
00001847: REVERT
00001848: JUMPDEST
00001849: DUP2
0000184a: DUP6
0000184b: ADD
0000184c: SWAP2
0000184d: POP
0000184e: DUP6
0000184f: PUSH1 0x1f
00001851: DUP4
00001852: ADD
00001853: SLT
00001854: PUSH2 0x185c
00001857: JUMPI
00001858: PUSH1 0x00
0000185a: DUP1
0000185b: REVERT
0000185c: JUMPDEST
0000185d: DUP2
0000185e: CALLDATALOAD
0000185f: DUP2
00001860: DUP2
00001861: GT
00001862: ISZERO
00001863: PUSH2 0x186e
00001866: JUMPI
00001867: PUSH2 0x186e
0000186a: PUSH2 0x1c69
0000186d: JUMP
0000186e: JUMPDEST
0000186f: DUP1
00001870: PUSH1 0x05
00001872: SHL
00001873: SWAP2
00001874: POP
00001875: PUSH2 0x187f
00001878: DUP5
00001879: DUP4
0000187a: ADD
0000187b: PUSH2 0x1aff
0000187e: JUMP
0000187f: JUMPDEST
00001880: DUP2
00001881: DUP2
00001882: MSTORE
00001883: DUP5
00001884: DUP2
00001885: ADD
00001886: SWAP1
00001887: DUP5
00001888: DUP7
00001889: ADD
0000188a: DUP5
0000188b: DUP7
0000188c: ADD
0000188d: DUP8
0000188e: ADD
0000188f: DUP11
00001890: LT
00001891: ISZERO
00001892: PUSH2 0x189a
00001895: JUMPI
00001896: PUSH1 0x00
00001898: DUP1
00001899: REVERT
0000189a: JUMPDEST
0000189b: PUSH1 0x00
0000189d: SWAP6
0000189e: POP
0000189f: JUMPDEST
000018a0: DUP4
000018a1: DUP7
000018a2: LT
000018a3: ISZERO
000018a4: PUSH2 0x18c9
000018a7: JUMPI
000018a8: DUP1
000018a9: CALLDATALOAD
000018aa: SWAP5
000018ab: POP
000018ac: PUSH2 0x18b4
000018af: DUP6
000018b0: PUSH2 0x1c7f
000018b3: JUMP
000018b4: JUMPDEST
000018b5: DUP5
000018b6: DUP4
000018b7: MSTORE
000018b8: PUSH1 0x01
000018ba: SWAP6
000018bb: SWAP1
000018bc: SWAP6
000018bd: ADD
000018be: SWAP5
000018bf: SWAP2
000018c0: DUP7
000018c1: ADD
000018c2: SWAP2
000018c3: DUP7
000018c4: ADD
000018c5: PUSH2 0x189f
000018c8: JUMP
000018c9: JUMPDEST
000018ca: POP
000018cb: SWAP9
000018cc: SWAP8
000018cd: POP
000018ce: POP
000018cf: POP
000018d0: POP
000018d1: POP
000018d2: POP
000018d3: POP
000018d4: POP
000018d5: JUMP
000018d6: JUMPDEST
000018d7: PUSH1 0x00
000018d9: PUSH1 0x20
000018db: DUP3
000018dc: DUP5
000018dd: SUB
000018de: SLT
000018df: ISZERO
000018e0: PUSH2 0x18e8
000018e3: JUMPI
000018e4: PUSH1 0x00
000018e6: DUP1
000018e7: REVERT
000018e8: JUMPDEST
000018e9: DUP2
000018ea: CALLDATALOAD
000018eb: PUSH2 0x167b
000018ee: DUP2
000018ef: PUSH2 0x1c94
000018f2: JUMP
000018f3: JUMPDEST
000018f4: PUSH1 0x00
000018f6: PUSH1 0x20
000018f8: DUP3
000018f9: DUP5
000018fa: SUB
000018fb: SLT
000018fc: ISZERO
000018fd: PUSH2 0x1905
00001900: JUMPI
00001901: PUSH1 0x00
00001903: DUP1
00001904: REVERT
00001905: JUMPDEST
00001906: DUP2
00001907: MLOAD
00001908: PUSH2 0x167b
0000190b: DUP2
0000190c: PUSH2 0x1c94
0000190f: JUMP
00001910: JUMPDEST
00001911: PUSH1 0x00
00001913: PUSH1 0x20
00001915: DUP3
00001916: DUP5
00001917: SUB
00001918: SLT
00001919: ISZERO
0000191a: PUSH2 0x1922
0000191d: JUMPI
0000191e: PUSH1 0x00
00001920: DUP1
00001921: REVERT
00001922: JUMPDEST
00001923: DUP2
00001924: MLOAD
00001925: PUSH2 0x167b
00001928: DUP2
00001929: PUSH2 0x1c7f
0000192c: JUMP
0000192d: JUMPDEST
0000192e: PUSH1 0x00
00001930: PUSH1 0x20
00001932: DUP3
00001933: DUP5
00001934: SUB
00001935: SLT
00001936: ISZERO
00001937: PUSH2 0x193f
0000193a: JUMPI
0000193b: PUSH1 0x00
0000193d: DUP1
0000193e: REVERT
0000193f: JUMPDEST
00001940: POP
00001941: CALLDATALOAD
00001942: SWAP2
00001943: SWAP1
00001944: POP
00001945: JUMP
00001946: JUMPDEST
00001947: PUSH1 0x00
00001949: DUP1
0000194a: PUSH1 0x40
0000194c: DUP4
0000194d: DUP6
0000194e: SUB
0000194f: SLT
00001950: ISZERO
00001951: PUSH2 0x1959
00001954: JUMPI
00001955: PUSH1 0x00
00001957: DUP1
00001958: REVERT
00001959: JUMPDEST
0000195a: POP
0000195b: POP
0000195c: DUP1
0000195d: CALLDATALOAD
0000195e: SWAP3
0000195f: PUSH1 0x20
00001961: SWAP1
00001962: SWAP2
00001963: ADD
00001964: CALLDATALOAD
00001965: SWAP2
00001966: POP
00001967: JUMP
00001968: JUMPDEST
00001969: PUSH1 0x00
0000196b: DUP2
0000196c: MLOAD
0000196d: DUP1
0000196e: DUP5
0000196f: MSTORE
00001970: PUSH2 0x1980
00001973: DUP2
00001974: PUSH1 0x20
00001976: DUP7
00001977: ADD
00001978: PUSH1 0x20
0000197a: DUP7
0000197b: ADD
0000197c: PUSH2 0x1b91
0000197f: JUMP
00001980: JUMPDEST
00001981: PUSH1 0x1f
00001983: ADD
00001984: PUSH1 0x1f
00001986: NOT
00001987: AND
00001988: SWAP3
00001989: SWAP1
0000198a: SWAP3
0000198b: ADD
0000198c: PUSH1 0x20
0000198e: ADD
0000198f: SWAP3
00001990: SWAP2
00001991: POP
00001992: POP
00001993: JUMP
00001994: JUMPDEST
00001995: PUSH1 0x00
00001997: DUP4
00001998: MLOAD
00001999: PUSH2 0x19a6
0000199c: DUP2
0000199d: DUP5
0000199e: PUSH1 0x20
000019a0: DUP9
000019a1: ADD
000019a2: PUSH2 0x1b91
000019a5: JUMP
000019a6: JUMPDEST
000019a7: DUP4
000019a8: MLOAD
000019a9: SWAP1
000019aa: DUP4
000019ab: ADD
000019ac: SWAP1
000019ad: PUSH2 0x19ba
000019b0: DUP2
000019b1: DUP4
000019b2: PUSH1 0x20
000019b4: DUP9
000019b5: ADD
000019b6: PUSH2 0x1b91
000019b9: JUMP
000019ba: JUMPDEST
000019bb: ADD
000019bc: SWAP5
000019bd: SWAP4
000019be: POP
000019bf: POP
000019c0: POP
000019c1: POP
000019c2: JUMP
000019c3: JUMPDEST
000019c4: PUSH1 0x01
000019c6: PUSH1 0x01
000019c8: PUSH1 0xa0
000019ca: SHL
000019cb: SUB
000019cc: SWAP2
000019cd: SWAP1
000019ce: SWAP2
000019cf: AND
000019d0: DUP2
000019d1: MSTORE
000019d2: PUSH1 0x20
000019d4: ADD
000019d5: SWAP1
000019d6: JUMP
000019d7: JUMPDEST
000019d8: PUSH1 0x01
000019da: PUSH1 0x01
000019dc: PUSH1 0xa0
000019de: SHL
000019df: SUB
000019e0: DUP6
000019e1: DUP2
000019e2: AND
000019e3: DUP3
000019e4: MSTORE
000019e5: DUP5
000019e6: AND
000019e7: PUSH1 0x20
000019e9: DUP3
000019ea: ADD
000019eb: MSTORE
000019ec: PUSH1 0x40
000019ee: DUP2
000019ef: ADD
000019f0: DUP4
000019f1: SWAP1
000019f2: MSTORE
000019f3: PUSH1 0x80
000019f5: PUSH1 0x60
000019f7: DUP3
000019f8: ADD
000019f9: DUP2
000019fa: SWAP1
000019fb: MSTORE
000019fc: PUSH1 0x00
000019fe: SWAP1
000019ff: PUSH2 0x1a0a
00001a02: SWAP1
00001a03: DUP4
00001a04: ADD
00001a05: DUP5
00001a06: PUSH2 0x1968
00001a09: JUMP
00001a0a: JUMPDEST
00001a0b: SWAP7
00001a0c: SWAP6
00001a0d: POP
00001a0e: POP
00001a0f: POP
00001a10: POP
00001a11: POP
00001a12: POP
00001a13: JUMP
00001a14: JUMPDEST
00001a15: PUSH1 0x20
00001a17: DUP2
00001a18: MSTORE
00001a19: PUSH1 0x00
00001a1b: PUSH2 0x167b
00001a1e: PUSH1 0x20
00001a20: DUP4
00001a21: ADD
00001a22: DUP5
00001a23: PUSH2 0x1968
00001a26: JUMP
00001a27: JUMPDEST
00001a28: PUSH1 0x20
00001a2a: DUP1
00001a2b: DUP3
00001a2c: MSTORE
00001a2d: PUSH1 0x32
00001a2f: SWAP1
00001a30: DUP3
00001a31: ADD
00001a32: MSTORE
00001a33: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00001a54: PUSH1 0x40
00001a56: DUP3
00001a57: ADD
00001a58: MSTORE
00001a59: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
00001a6c: PUSH1 0x71
00001a6e: SHL
00001a6f: PUSH1 0x60
00001a71: DUP3
00001a72: ADD
00001a73: MSTORE
00001a74: PUSH1 0x80
00001a76: ADD
00001a77: SWAP1
00001a78: JUMP
00001a79: JUMPDEST
00001a7a: PUSH1 0x20
00001a7c: DUP1
00001a7d: DUP3
00001a7e: MSTORE
00001a7f: DUP2
00001a80: DUP2
00001a81: ADD
00001a82: MSTORE
00001a83: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001aa4: PUSH1 0x40
00001aa6: DUP3
00001aa7: ADD
00001aa8: MSTORE
00001aa9: PUSH1 0x60
00001aab: ADD
00001aac: SWAP1
00001aad: JUMP
00001aae: JUMPDEST
00001aaf: PUSH1 0x20
00001ab1: DUP1
00001ab2: DUP3
00001ab3: MSTORE
00001ab4: PUSH1 0x31
00001ab6: SWAP1
00001ab7: DUP3
00001ab8: ADD
00001ab9: MSTORE
00001aba: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00001adb: PUSH1 0x40
00001add: DUP3
00001ade: ADD
00001adf: MSTORE
00001ae0: PUSH17 0x1ddb995c881b9bdc88185c1c1c9bdd9959
00001af2: PUSH1 0x7a
00001af4: SHL
00001af5: PUSH1 0x60
00001af7: DUP3
00001af8: ADD
00001af9: MSTORE
00001afa: PUSH1 0x80
00001afc: ADD
00001afd: SWAP1
00001afe: JUMP
00001aff: JUMPDEST
00001b00: PUSH1 0x40
00001b02: MLOAD
00001b03: PUSH1 0x1f
00001b05: DUP3
00001b06: ADD
00001b07: PUSH1 0x1f
00001b09: NOT
00001b0a: AND
00001b0b: DUP2
00001b0c: ADD
00001b0d: PUSH1 0x01
00001b0f: PUSH1 0x01
00001b11: PUSH1 0x40
00001b13: SHL
00001b14: SUB
00001b15: DUP2
00001b16: GT
00001b17: DUP3
00001b18: DUP3
00001b19: LT
00001b1a: OR
00001b1b: ISZERO
00001b1c: PUSH2 0x1b27
00001b1f: JUMPI
00001b20: PUSH2 0x1b27
00001b23: PUSH2 0x1c69
00001b26: JUMP
00001b27: JUMPDEST
00001b28: PUSH1 0x40
00001b2a: MSTORE
00001b2b: SWAP2
00001b2c: SWAP1
00001b2d: POP
00001b2e: JUMP
00001b2f: JUMPDEST
00001b30: PUSH1 0x00
00001b32: DUP3
00001b33: NOT
00001b34: DUP3
00001b35: GT
00001b36: ISZERO
00001b37: PUSH2 0x1b42
00001b3a: JUMPI
00001b3b: PUSH2 0x1b42
00001b3e: PUSH2 0x1c27
00001b41: JUMP
00001b42: JUMPDEST
00001b43: POP
00001b44: ADD
00001b45: SWAP1
00001b46: JUMP
00001b47: JUMPDEST
00001b48: PUSH1 0x00
00001b4a: DUP3
00001b4b: PUSH2 0x1b56
00001b4e: JUMPI
00001b4f: PUSH2 0x1b56
00001b52: PUSH2 0x1c3d
00001b55: JUMP
00001b56: JUMPDEST
00001b57: POP
00001b58: DIV
00001b59: SWAP1
00001b5a: JUMP
00001b5b: JUMPDEST
00001b5c: PUSH1 0x00
00001b5e: DUP2
00001b5f: PUSH1 0x00
00001b61: NOT
00001b62: DIV
00001b63: DUP4
00001b64: GT
00001b65: DUP3
00001b66: ISZERO
00001b67: ISZERO
00001b68: AND
00001b69: ISZERO
00001b6a: PUSH2 0x1b75
00001b6d: JUMPI
00001b6e: PUSH2 0x1b75
00001b71: PUSH2 0x1c27
00001b74: JUMP
00001b75: JUMPDEST
00001b76: POP
00001b77: MUL
00001b78: SWAP1
00001b79: JUMP
00001b7a: JUMPDEST
00001b7b: PUSH1 0x00
00001b7d: DUP3
00001b7e: DUP3
00001b7f: LT
00001b80: ISZERO
00001b81: PUSH2 0x1b8c
00001b84: JUMPI
00001b85: PUSH2 0x1b8c
00001b88: PUSH2 0x1c27
00001b8b: JUMP
00001b8c: JUMPDEST
00001b8d: POP
00001b8e: SUB
00001b8f: SWAP1
00001b90: JUMP
00001b91: JUMPDEST
00001b92: PUSH1 0x00
00001b94: JUMPDEST
00001b95: DUP4
00001b96: DUP2
00001b97: LT
00001b98: ISZERO
00001b99: PUSH2 0x1bac
00001b9c: JUMPI
00001b9d: DUP2
00001b9e: DUP2
00001b9f: ADD
00001ba0: MLOAD
00001ba1: DUP4
00001ba2: DUP3
00001ba3: ADD
00001ba4: MSTORE
00001ba5: PUSH1 0x20
00001ba7: ADD
00001ba8: PUSH2 0x1b94
00001bab: JUMP
00001bac: JUMPDEST
00001bad: DUP4
00001bae: DUP2
00001baf: GT
00001bb0: ISZERO
00001bb1: PUSH2 0x0c07
00001bb4: JUMPI
00001bb5: POP
00001bb6: POP
00001bb7: PUSH1 0x00
00001bb9: SWAP2
00001bba: ADD
00001bbb: MSTORE
00001bbc: JUMP
00001bbd: JUMPDEST
00001bbe: PUSH1 0x01
00001bc0: DUP2
00001bc1: DUP2
00001bc2: SHR
00001bc3: SWAP1
00001bc4: DUP3
00001bc5: AND
00001bc6: DUP1
00001bc7: PUSH2 0x1bd1
00001bca: JUMPI
00001bcb: PUSH1 0x7f
00001bcd: DUP3
00001bce: AND
00001bcf: SWAP2
00001bd0: POP
00001bd1: JUMPDEST
00001bd2: PUSH1 0x20
00001bd4: DUP3
00001bd5: LT
00001bd6: DUP2
00001bd7: EQ
00001bd8: ISZERO
00001bd9: PUSH2 0x1bf2
00001bdc: JUMPI
00001bdd: PUSH4 0x4e487b71
00001be2: PUSH1 0xe0
00001be4: SHL
00001be5: PUSH1 0x00
00001be7: MSTORE
00001be8: PUSH1 0x22
00001bea: PUSH1 0x04
00001bec: MSTORE
00001bed: PUSH1 0x24
00001bef: PUSH1 0x00
00001bf1: REVERT
00001bf2: JUMPDEST
00001bf3: POP
00001bf4: SWAP2
00001bf5: SWAP1
00001bf6: POP
00001bf7: JUMP
00001bf8: JUMPDEST
00001bf9: PUSH1 0x00
00001bfb: PUSH1 0x00
00001bfd: NOT
00001bfe: DUP3
00001bff: EQ
00001c00: ISZERO
00001c01: PUSH2 0x1c0c
00001c04: JUMPI
00001c05: PUSH2 0x1c0c
00001c08: PUSH2 0x1c27
00001c0b: JUMP
00001c0c: JUMPDEST
00001c0d: POP
00001c0e: PUSH1 0x01
00001c10: ADD
00001c11: SWAP1
00001c12: JUMP
00001c13: JUMPDEST
00001c14: PUSH1 0x00
00001c16: DUP3
00001c17: PUSH2 0x1c22
00001c1a: JUMPI
00001c1b: PUSH2 0x1c22
00001c1e: PUSH2 0x1c3d
00001c21: JUMP
00001c22: JUMPDEST
00001c23: POP
00001c24: MOD
00001c25: SWAP1
00001c26: JUMP
00001c27: JUMPDEST
00001c28: PUSH4 0x4e487b71
00001c2d: PUSH1 0xe0
00001c2f: SHL
00001c30: PUSH1 0x00
00001c32: MSTORE
00001c33: PUSH1 0x11
00001c35: PUSH1 0x04
00001c37: MSTORE
00001c38: PUSH1 0x24
00001c3a: PUSH1 0x00
00001c3c: REVERT
00001c3d: JUMPDEST
00001c3e: PUSH4 0x4e487b71
00001c43: PUSH1 0xe0
00001c45: SHL
00001c46: PUSH1 0x00
00001c48: MSTORE
00001c49: PUSH1 0x12
00001c4b: PUSH1 0x04
00001c4d: MSTORE
00001c4e: PUSH1 0x24
00001c50: PUSH1 0x00
00001c52: REVERT
00001c53: JUMPDEST
00001c54: PUSH4 0x4e487b71
00001c59: PUSH1 0xe0
00001c5b: SHL
00001c5c: PUSH1 0x00
00001c5e: MSTORE
00001c5f: PUSH1 0x32
00001c61: PUSH1 0x04
00001c63: MSTORE
00001c64: PUSH1 0x24
00001c66: PUSH1 0x00
00001c68: REVERT
00001c69: JUMPDEST
00001c6a: PUSH4 0x4e487b71
00001c6f: PUSH1 0xe0
00001c71: SHL
00001c72: PUSH1 0x00
00001c74: MSTORE
00001c75: PUSH1 0x41
00001c77: PUSH1 0x04
00001c79: MSTORE
00001c7a: PUSH1 0x24
00001c7c: PUSH1 0x00
00001c7e: REVERT
00001c7f: JUMPDEST
00001c80: PUSH1 0x01
00001c82: PUSH1 0x01
00001c84: PUSH1 0xa0
00001c86: SHL
00001c87: SUB
00001c88: DUP2
00001c89: AND
00001c8a: DUP2
00001c8b: EQ
00001c8c: PUSH2 0x0e7e
00001c8f: JUMPI
00001c90: PUSH1 0x00
00001c92: DUP1
00001c93: REVERT
00001c94: JUMPDEST
00001c95: PUSH1 0x01
00001c97: PUSH1 0x01
00001c99: PUSH1 0xe0
00001c9b: SHL
00001c9c: SUB
00001c9d: NOT
00001c9e: DUP2
00001c9f: AND
00001ca0: DUP2
00001ca1: EQ
00001ca2: PUSH2 0x0e7e
00001ca5: JUMPI
00001ca6: PUSH1 0x00
00001ca8: DUP1
00001ca9: REVERT
00001caa: INVALID
00001cab: UNKNOWN(0xDD)
00001cac: CALLCODE
00001cad: MSTORE
00001cae: UNKNOWN(0xAD)
00001caf: SHL
00001cb0: UNKNOWN(0xE2)
00001cb1: UNKNOWN(0xC8)
00001cb2: SWAP12
00001cb3: PUSH10 0xc2b068fc378daa952ba7
00001cbe: CALL
00001cbf: PUSH4 0xc4a11628
00001cc4: CREATE2
00001cc5: GAS
00001cc6: UNKNOWN(0x4D)
00001cc7: CREATE2
00001cc8: UNKNOWN(0x23)
00001cc9: UNKNOWN(0xB3)
00001cca: UNKNOWN(0xEF)
00001ccb: PUSH10 0x7066733a2f2f516d644a
00001cd6: COINBASE
00001cd7: PUSH14 0x75776a3668626d6956656536434a
00001ce6: PC
00001ce7: PUSH11 0x724b5a6861664b75394d4a
00001cf3: PUSH2 0x5431
00001cf6: PC
00001cf7: UNKNOWN(0x4E)
00001cf8: PUSH11 0x774167647451522fa26469
00001d04: PUSH17 0x6673582212200f8fdc4704ce8def4e179e
00001d16: UNKNOWN(0x0E)
00001d17: UNKNOWN(0xAC)
00001d18: JUMP
00001d19: PUSH26 0x450e063e241ff2d552e2b9d831f171d9df64736f6c6343000807
00001d34: STOP
00001d35: CALLER

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: 0xee2253653ef5db45db1261568a4c734dcde7668407aa416bca9c50e4c7549539
call_targets: 0x260d0df7d892895b778d382c35dc0767c967d1b4
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xee2253653ef5db45db1261568a4c734dcde7668407aa416bca9c50e4c7549539",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x260d0df7d892895b778d382c35dc0767c967d1b4"
    ],
    "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": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x081812fc",
            "selector": "0x081812fc",
            "calldata_variants": [
                "0x081812fc",
                "0x081812fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1249c58b",
            "selector": "0x1249c58b",
            "calldata_variants": [
                "0x1249c58b",
                "0x1249c58b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2a55205a",
            "selector": "0x2a55205a",
            "calldata_variants": [
                "0x2a55205a",
                "0x2a55205a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2761,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5277,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7340,
            "opcode": "CALLCODE",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xee2253653ef5db45db1261568a4c734dcde7668407aa416bca9c50e4c7549539
call_targets: 0x260d0df7d892895b778d382c35dc0767c967d1b4
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xee2253653ef5db45db1261568a4c734dcde7668407aa416bca9c50e4c7549539",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x260d0df7d892895b778d382c35dc0767c967d1b4"
    ],
    "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": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x081812fc",
            "selector": "0x081812fc",
            "calldata_variants": [
                "0x081812fc",
                "0x081812fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1249c58b",
            "selector": "0x1249c58b",
            "calldata_variants": [
                "0x1249c58b",
                "0x1249c58b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2a55205a",
            "selector": "0x2a55205a",
            "calldata_variants": [
                "0x2a55205a",
                "0x2a55205a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2761,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5277,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7340,
            "opcode": "CALLCODE",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x76ca5209730ead53fa3ff023ca13e10bbd6ea9acee3e980b73c40b055b4426b8
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x76ca5209730ead53fa3ff023ca13e10bbd6ea9acee3e980b73c40b055b4426b8",
    "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": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x081812fc",
            "selector": "0x081812fc",
            "calldata_variants": [
                "0x081812fc",
                "0x081812fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1249c58b",
            "selector": "0x1249c58b",
            "calldata_variants": [
                "0x1249c58b",
                "0x1249c58b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2a55205a",
            "selector": "0x2a55205a",
            "calldata_variants": [
                "0x2a55205a",
                "0x2a55205a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 2
}