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

Analysis Run

019b3844-9bf9-73b2-a7cd-c32c06939cab

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

What survived the funnel

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

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
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
14517 artifact.fetch complete 1 / 3 3 months ago
14518 tool.cast_disasm complete 1 / 3 3 months ago
99891 analysis.bundle complete 1 / 3 1 week ago
99892 capability.graph complete 1 / 3 1 week ago
99893 detector.run complete 1 / 3 1 week ago
99894 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
5
Total opcodes
5909
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0253
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7146bd08
00000019: GT
0000001a: PUSH2 0x0138
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa4d66daf
00000024: GT
00000025: PUSH2 0x00b0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd5556544
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe72f9843
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe72f9843
00000045: EQ
00000046: PUSH2 0x066d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe985e9c5
00000050: EQ
00000051: PUSH2 0x068d
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x06e3
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xd5556544
0000006b: EQ
0000006c: PUSH2 0x0641
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd5abeb01
00000076: EQ
00000077: PUSH2 0x0657
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xa4d66daf
00000086: EQ
00000087: PUSH2 0x05d5
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xab0bcc41
00000091: EQ
00000092: PUSH2 0x05eb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xb88d4fde
0000009c: EQ
0000009d: PUSH2 0x0601
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc87b56dd
000000a7: EQ
000000a8: PUSH2 0x0621
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x94985ddd
000000b7: GT
000000b8: PUSH2 0x0107
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xa0712d68
000000c2: GT
000000c3: PUSH2 0x00ec
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xa0712d68
000000cd: EQ
000000ce: PUSH2 0x058d
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xa22cb465
000000d8: EQ
000000d9: PUSH2 0x05a0
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xa475b5dd
000000e3: EQ
000000e4: PUSH2 0x05c0
000000e7: JUMPI
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x94985ddd
000000f3: EQ
000000f4: PUSH2 0x0558
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x95d89b41
000000fe: EQ
000000ff: PUSH2 0x0578
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x7146bd08
0000010e: EQ
0000010f: PUSH2 0x04e8
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x715018a6
00000119: EQ
0000011a: PUSH2 0x04fd
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x8d859f3e
00000124: EQ
00000125: PUSH2 0x0512
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x8da5cb5b
0000012f: EQ
00000130: PUSH2 0x052d
00000133: JUMPI
00000134: PUSH1 0x00
00000136: DUP1
00000137: REVERT
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x3ccfd60b
0000013f: GT
00000140: PUSH2 0x01cb
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x55f804b3
0000014a: GT
0000014b: PUSH2 0x019a
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x6352211e
00000155: GT
00000156: PUSH2 0x017f
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x6352211e
00000160: EQ
00000161: PUSH2 0x0493
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x6373a6b1
0000016b: EQ
0000016c: PUSH2 0x04b3
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x70a08231
00000176: EQ
00000177: PUSH2 0x04c8
0000017a: JUMPI
0000017b: PUSH1 0x00
0000017d: DUP1
0000017e: REVERT
0000017f: JUMPDEST
00000180: DUP1
00000181: PUSH4 0x55f804b3
00000186: EQ
00000187: PUSH2 0x045d
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x6080a826
00000191: EQ
00000192: PUSH2 0x047d
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: DUP1
0000019c: PUSH4 0x3ccfd60b
000001a1: EQ
000001a2: PUSH2 0x03e8
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x42842e0e
000001ac: EQ
000001ad: PUSH2 0x03fd
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x42966c68
000001b7: EQ
000001b8: PUSH2 0x041d
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0x4f6ccce7
000001c2: EQ
000001c3: PUSH2 0x043d
000001c6: JUMPI
000001c7: PUSH1 0x00
000001c9: DUP1
000001ca: REVERT
000001cb: JUMPDEST
000001cc: DUP1
000001cd: PUSH4 0x18160ddd
000001d2: GT
000001d3: PUSH2 0x0222
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x27ea6f2b
000001dd: GT
000001de: PUSH2 0x0207
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0x27ea6f2b
000001e8: EQ
000001e9: PUSH2 0x035c
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0x2a55205a
000001f3: EQ
000001f4: PUSH2 0x037c
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0x2f745c59
000001fe: EQ
000001ff: PUSH2 0x03c8
00000202: JUMPI
00000203: PUSH1 0x00
00000205: DUP1
00000206: REVERT
00000207: JUMPDEST
00000208: DUP1
00000209: PUSH4 0x18160ddd
0000020e: EQ
0000020f: PUSH2 0x031d
00000212: JUMPI
00000213: DUP1
00000214: PUSH4 0x23b872dd
00000219: EQ
0000021a: PUSH2 0x033c
0000021d: JUMPI
0000021e: PUSH1 0x00
00000220: DUP1
00000221: REVERT
00000222: JUMPDEST
00000223: DUP1
00000224: PUSH4 0x01ffc9a7
00000229: EQ
0000022a: PUSH2 0x025f
0000022d: JUMPI
0000022e: DUP1
0000022f: PUSH4 0x06fdde03
00000234: EQ
00000235: PUSH2 0x0294
00000238: JUMPI
00000239: DUP1
0000023a: PUSH4 0x081812fc
0000023f: EQ
00000240: PUSH2 0x02b6
00000243: JUMPI
00000244: DUP1
00000245: PUSH4 0x095ea7b3
0000024a: EQ
0000024b: PUSH2 0x02fb
0000024e: JUMPI
0000024f: PUSH1 0x00
00000251: DUP1
00000252: REVERT
00000253: JUMPDEST
00000254: CALLDATASIZE
00000255: PUSH2 0x025a
00000258: JUMPI
00000259: STOP
0000025a: JUMPDEST
0000025b: PUSH1 0x00
0000025d: DUP1
0000025e: REVERT
0000025f: JUMPDEST
00000260: CALLVALUE
00000261: DUP1
00000262: ISZERO
00000263: PUSH2 0x026b
00000266: JUMPI
00000267: PUSH1 0x00
00000269: DUP1
0000026a: REVERT
0000026b: JUMPDEST
0000026c: POP
0000026d: PUSH2 0x027f
00000270: PUSH2 0x027a
00000273: CALLDATASIZE
00000274: PUSH1 0x04
00000276: PUSH2 0x32c4
00000279: JUMP
0000027a: JUMPDEST
0000027b: PUSH2 0x0703
0000027e: JUMP
0000027f: JUMPDEST
00000280: PUSH1 0x40
00000282: MLOAD
00000283: SWAP1
00000284: ISZERO
00000285: ISZERO
00000286: DUP2
00000287: MSTORE
00000288: PUSH1 0x20
0000028a: ADD
0000028b: JUMPDEST
0000028c: PUSH1 0x40
0000028e: MLOAD
0000028f: DUP1
00000290: SWAP2
00000291: SUB
00000292: SWAP1
00000293: RETURN
00000294: JUMPDEST
00000295: CALLVALUE
00000296: DUP1
00000297: ISZERO
00000298: PUSH2 0x02a0
0000029b: JUMPI
0000029c: PUSH1 0x00
0000029e: DUP1
0000029f: REVERT
000002a0: JUMPDEST
000002a1: POP
000002a2: PUSH2 0x02a9
000002a5: PUSH2 0x075f
000002a8: JUMP
000002a9: JUMPDEST
000002aa: PUSH1 0x40
000002ac: MLOAD
000002ad: PUSH2 0x028b
000002b0: SWAP2
000002b1: SWAP1
000002b2: PUSH2 0x3488
000002b5: JUMP
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: DUP1
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: POP
000002c4: PUSH2 0x02d6
000002c7: PUSH2 0x02d1
000002ca: CALLDATASIZE
000002cb: PUSH1 0x04
000002cd: PUSH2 0x3347
000002d0: JUMP
000002d1: JUMPDEST
000002d2: PUSH2 0x07f1
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH1 0x40
000002d9: MLOAD
000002da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002ef: SWAP1
000002f0: SWAP2
000002f1: AND
000002f2: DUP2
000002f3: MSTORE
000002f4: PUSH1 0x20
000002f6: ADD
000002f7: PUSH2 0x028b
000002fa: JUMP
000002fb: JUMPDEST
000002fc: CALLVALUE
000002fd: DUP1
000002fe: ISZERO
000002ff: PUSH2 0x0307
00000302: JUMPI
00000303: PUSH1 0x00
00000305: DUP1
00000306: REVERT
00000307: JUMPDEST
00000308: POP
00000309: PUSH2 0x031b
0000030c: PUSH2 0x0316
0000030f: CALLDATASIZE
00000310: PUSH1 0x04
00000312: PUSH2 0x325b
00000315: JUMP
00000316: JUMPDEST
00000317: PUSH2 0x08d0
0000031a: JUMP
0000031b: JUMPDEST
0000031c: STOP
0000031d: JUMPDEST
0000031e: CALLVALUE
0000031f: DUP1
00000320: ISZERO
00000321: PUSH2 0x0329
00000324: JUMPI
00000325: PUSH1 0x00
00000327: DUP1
00000328: REVERT
00000329: JUMPDEST
0000032a: POP
0000032b: PUSH1 0x09
0000032d: SLOAD
0000032e: JUMPDEST
0000032f: PUSH1 0x40
00000331: MLOAD
00000332: SWAP1
00000333: DUP2
00000334: MSTORE
00000335: PUSH1 0x20
00000337: ADD
00000338: PUSH2 0x028b
0000033b: JUMP
0000033c: JUMPDEST
0000033d: CALLVALUE
0000033e: DUP1
0000033f: ISZERO
00000340: PUSH2 0x0348
00000343: JUMPI
00000344: PUSH1 0x00
00000346: DUP1
00000347: REVERT
00000348: JUMPDEST
00000349: POP
0000034a: PUSH2 0x031b
0000034d: PUSH2 0x0357
00000350: CALLDATASIZE
00000351: PUSH1 0x04
00000353: PUSH2 0x316c
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH2 0x0a5d
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 0x031b
0000036d: PUSH2 0x0377
00000370: CALLDATASIZE
00000371: PUSH1 0x04
00000373: PUSH2 0x3347
00000376: JUMP
00000377: JUMPDEST
00000378: PUSH2 0x0aff
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 0x039c
0000038d: PUSH2 0x0397
00000390: CALLDATASIZE
00000391: PUSH1 0x04
00000393: PUSH2 0x32a2
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH2 0x0b85
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH1 0x40
0000039f: DUP1
000003a0: MLOAD
000003a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b6: SWAP1
000003b7: SWAP4
000003b8: AND
000003b9: DUP4
000003ba: MSTORE
000003bb: PUSH1 0x20
000003bd: DUP4
000003be: ADD
000003bf: SWAP2
000003c0: SWAP1
000003c1: SWAP2
000003c2: MSTORE
000003c3: ADD
000003c4: PUSH2 0x028b
000003c7: JUMP
000003c8: JUMPDEST
000003c9: CALLVALUE
000003ca: DUP1
000003cb: ISZERO
000003cc: PUSH2 0x03d4
000003cf: JUMPI
000003d0: PUSH1 0x00
000003d2: DUP1
000003d3: REVERT
000003d4: JUMPDEST
000003d5: POP
000003d6: PUSH2 0x032e
000003d9: PUSH2 0x03e3
000003dc: CALLDATASIZE
000003dd: PUSH1 0x04
000003df: PUSH2 0x325b
000003e2: JUMP
000003e3: JUMPDEST
000003e4: PUSH2 0x0bb6
000003e7: JUMP
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH2 0x031b
000003f9: PUSH2 0x0c85
000003fc: JUMP
000003fd: JUMPDEST
000003fe: CALLVALUE
000003ff: DUP1
00000400: ISZERO
00000401: PUSH2 0x0409
00000404: JUMPI
00000405: PUSH1 0x00
00000407: DUP1
00000408: REVERT
00000409: JUMPDEST
0000040a: POP
0000040b: PUSH2 0x031b
0000040e: PUSH2 0x0418
00000411: CALLDATASIZE
00000412: PUSH1 0x04
00000414: PUSH2 0x316c
00000417: JUMP
00000418: JUMPDEST
00000419: PUSH2 0x0dc2
0000041c: JUMP
0000041d: JUMPDEST
0000041e: CALLVALUE
0000041f: DUP1
00000420: ISZERO
00000421: PUSH2 0x0429
00000424: JUMPI
00000425: PUSH1 0x00
00000427: DUP1
00000428: REVERT
00000429: JUMPDEST
0000042a: POP
0000042b: PUSH2 0x031b
0000042e: PUSH2 0x0438
00000431: CALLDATASIZE
00000432: PUSH1 0x04
00000434: PUSH2 0x3347
00000437: JUMP
00000438: JUMPDEST
00000439: PUSH2 0x0ddd
0000043c: JUMP
0000043d: JUMPDEST
0000043e: CALLVALUE
0000043f: DUP1
00000440: ISZERO
00000441: PUSH2 0x0449
00000444: JUMPI
00000445: PUSH1 0x00
00000447: DUP1
00000448: REVERT
00000449: JUMPDEST
0000044a: POP
0000044b: PUSH2 0x032e
0000044e: PUSH2 0x0458
00000451: CALLDATASIZE
00000452: PUSH1 0x04
00000454: PUSH2 0x3347
00000457: JUMP
00000458: JUMPDEST
00000459: PUSH2 0x0e7b
0000045c: JUMP
0000045d: JUMPDEST
0000045e: CALLVALUE
0000045f: DUP1
00000460: ISZERO
00000461: PUSH2 0x0469
00000464: JUMPI
00000465: PUSH1 0x00
00000467: DUP1
00000468: REVERT
00000469: JUMPDEST
0000046a: POP
0000046b: PUSH2 0x031b
0000046e: PUSH2 0x0478
00000471: CALLDATASIZE
00000472: PUSH1 0x04
00000474: PUSH2 0x32fe
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH2 0x0f39
0000047c: JUMP
0000047d: JUMPDEST
0000047e: CALLVALUE
0000047f: DUP1
00000480: ISZERO
00000481: PUSH2 0x0489
00000484: JUMPI
00000485: PUSH1 0x00
00000487: DUP1
00000488: REVERT
00000489: JUMPDEST
0000048a: POP
0000048b: PUSH2 0x032e
0000048e: PUSH1 0x0f
00000490: SLOAD
00000491: DUP2
00000492: JUMP
00000493: JUMPDEST
00000494: CALLVALUE
00000495: DUP1
00000496: ISZERO
00000497: PUSH2 0x049f
0000049a: JUMPI
0000049b: PUSH1 0x00
0000049d: DUP1
0000049e: REVERT
0000049f: JUMPDEST
000004a0: POP
000004a1: PUSH2 0x02d6
000004a4: PUSH2 0x04ae
000004a7: CALLDATASIZE
000004a8: PUSH1 0x04
000004aa: PUSH2 0x3347
000004ad: JUMP
000004ae: JUMPDEST
000004af: PUSH2 0x1047
000004b2: JUMP
000004b3: JUMPDEST
000004b4: CALLVALUE
000004b5: DUP1
000004b6: ISZERO
000004b7: PUSH2 0x04bf
000004ba: JUMPI
000004bb: PUSH1 0x00
000004bd: DUP1
000004be: REVERT
000004bf: JUMPDEST
000004c0: POP
000004c1: PUSH2 0x02a9
000004c4: PUSH2 0x10f9
000004c7: JUMP
000004c8: JUMPDEST
000004c9: CALLVALUE
000004ca: DUP1
000004cb: ISZERO
000004cc: PUSH2 0x04d4
000004cf: JUMPI
000004d0: PUSH1 0x00
000004d2: DUP1
000004d3: REVERT
000004d4: JUMPDEST
000004d5: POP
000004d6: PUSH2 0x032e
000004d9: PUSH2 0x04e3
000004dc: CALLDATASIZE
000004dd: PUSH1 0x04
000004df: PUSH2 0x3117
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH2 0x1115
000004e7: JUMP
000004e8: JUMPDEST
000004e9: CALLVALUE
000004ea: DUP1
000004eb: ISZERO
000004ec: PUSH2 0x04f4
000004ef: JUMPI
000004f0: PUSH1 0x00
000004f2: DUP1
000004f3: REVERT
000004f4: JUMPDEST
000004f5: POP
000004f6: PUSH2 0x032e
000004f9: PUSH1 0x0a
000004fb: DUP2
000004fc: JUMP
000004fd: JUMPDEST
000004fe: CALLVALUE
000004ff: DUP1
00000500: ISZERO
00000501: PUSH2 0x0509
00000504: JUMPI
00000505: PUSH1 0x00
00000507: DUP1
00000508: REVERT
00000509: JUMPDEST
0000050a: POP
0000050b: PUSH2 0x031b
0000050e: PUSH2 0x11e3
00000511: JUMP
00000512: JUMPDEST
00000513: CALLVALUE
00000514: DUP1
00000515: ISZERO
00000516: PUSH2 0x051e
00000519: JUMPI
0000051a: PUSH1 0x00
0000051c: DUP1
0000051d: REVERT
0000051e: JUMPDEST
0000051f: POP
00000520: PUSH2 0x032e
00000523: PUSH7 0xf8b0a10e470000
0000052b: DUP2
0000052c: JUMP
0000052d: JUMPDEST
0000052e: CALLVALUE
0000052f: DUP1
00000530: ISZERO
00000531: PUSH2 0x0539
00000534: JUMPI
00000535: PUSH1 0x00
00000537: DUP1
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: PUSH1 0x00
0000053d: SLOAD
0000053e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000553: AND
00000554: PUSH2 0x02d6
00000557: JUMP
00000558: JUMPDEST
00000559: CALLVALUE
0000055a: DUP1
0000055b: ISZERO
0000055c: PUSH2 0x0564
0000055f: JUMPI
00000560: PUSH1 0x00
00000562: DUP1
00000563: REVERT
00000564: JUMPDEST
00000565: POP
00000566: PUSH2 0x031b
00000569: PUSH2 0x0573
0000056c: CALLDATASIZE
0000056d: PUSH1 0x04
0000056f: PUSH2 0x32a2
00000572: JUMP
00000573: JUMPDEST
00000574: PUSH2 0x1270
00000577: JUMP
00000578: JUMPDEST
00000579: CALLVALUE
0000057a: DUP1
0000057b: ISZERO
0000057c: PUSH2 0x0584
0000057f: JUMPI
00000580: PUSH1 0x00
00000582: DUP1
00000583: REVERT
00000584: JUMPDEST
00000585: POP
00000586: PUSH2 0x02a9
00000589: PUSH2 0x1319
0000058c: JUMP
0000058d: JUMPDEST
0000058e: PUSH2 0x031b
00000591: PUSH2 0x059b
00000594: CALLDATASIZE
00000595: PUSH1 0x04
00000597: PUSH2 0x3347
0000059a: JUMP
0000059b: JUMPDEST
0000059c: PUSH2 0x1328
0000059f: JUMP
000005a0: JUMPDEST
000005a1: CALLVALUE
000005a2: DUP1
000005a3: ISZERO
000005a4: PUSH2 0x05ac
000005a7: JUMPI
000005a8: PUSH1 0x00
000005aa: DUP1
000005ab: REVERT
000005ac: JUMPDEST
000005ad: POP
000005ae: PUSH2 0x031b
000005b1: PUSH2 0x05bb
000005b4: CALLDATASIZE
000005b5: PUSH1 0x04
000005b7: PUSH2 0x3224
000005ba: JUMP
000005bb: JUMPDEST
000005bc: PUSH2 0x169d
000005bf: JUMP
000005c0: JUMPDEST
000005c1: CALLVALUE
000005c2: DUP1
000005c3: ISZERO
000005c4: PUSH2 0x05cc
000005c7: JUMPI
000005c8: PUSH1 0x00
000005ca: DUP1
000005cb: REVERT
000005cc: JUMPDEST
000005cd: POP
000005ce: PUSH2 0x031b
000005d1: PUSH2 0x17b4
000005d4: JUMP
000005d5: JUMPDEST
000005d6: CALLVALUE
000005d7: DUP1
000005d8: ISZERO
000005d9: PUSH2 0x05e1
000005dc: JUMPI
000005dd: PUSH1 0x00
000005df: DUP1
000005e0: REVERT
000005e1: JUMPDEST
000005e2: POP
000005e3: PUSH2 0x032e
000005e6: PUSH1 0x13
000005e8: SLOAD
000005e9: DUP2
000005ea: JUMP
000005eb: JUMPDEST
000005ec: CALLVALUE
000005ed: DUP1
000005ee: ISZERO
000005ef: PUSH2 0x05f7
000005f2: JUMPI
000005f3: PUSH1 0x00
000005f5: DUP1
000005f6: REVERT
000005f7: JUMPDEST
000005f8: POP
000005f9: PUSH2 0x032e
000005fc: PUSH1 0x11
000005fe: SLOAD
000005ff: DUP2
00000600: JUMP
00000601: JUMPDEST
00000602: CALLVALUE
00000603: DUP1
00000604: ISZERO
00000605: PUSH2 0x060d
00000608: JUMPI
00000609: PUSH1 0x00
0000060b: DUP1
0000060c: REVERT
0000060d: JUMPDEST
0000060e: POP
0000060f: PUSH2 0x031b
00000612: PUSH2 0x061c
00000615: CALLDATASIZE
00000616: PUSH1 0x04
00000618: PUSH2 0x31a8
0000061b: JUMP
0000061c: JUMPDEST
0000061d: PUSH2 0x19bd
00000620: JUMP
00000621: JUMPDEST
00000622: CALLVALUE
00000623: DUP1
00000624: ISZERO
00000625: PUSH2 0x062d
00000628: JUMPI
00000629: PUSH1 0x00
0000062b: DUP1
0000062c: REVERT
0000062d: JUMPDEST
0000062e: POP
0000062f: PUSH2 0x02a9
00000632: PUSH2 0x063c
00000635: CALLDATASIZE
00000636: PUSH1 0x04
00000638: PUSH2 0x3347
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH2 0x1a65
00000640: JUMP
00000641: JUMPDEST
00000642: CALLVALUE
00000643: DUP1
00000644: ISZERO
00000645: PUSH2 0x064d
00000648: JUMPI
00000649: PUSH1 0x00
0000064b: DUP1
0000064c: REVERT
0000064d: JUMPDEST
0000064e: POP
0000064f: PUSH2 0x032e
00000652: PUSH1 0x12
00000654: SLOAD
00000655: DUP2
00000656: JUMP
00000657: JUMPDEST
00000658: CALLVALUE
00000659: DUP1
0000065a: ISZERO
0000065b: PUSH2 0x0663
0000065e: JUMPI
0000065f: PUSH1 0x00
00000661: DUP1
00000662: REVERT
00000663: JUMPDEST
00000664: POP
00000665: PUSH2 0x032e
00000668: PUSH1 0x10
0000066a: SLOAD
0000066b: DUP2
0000066c: JUMP
0000066d: JUMPDEST
0000066e: CALLVALUE
0000066f: DUP1
00000670: ISZERO
00000671: PUSH2 0x0679
00000674: JUMPI
00000675: PUSH1 0x00
00000677: DUP1
00000678: REVERT
00000679: JUMPDEST
0000067a: POP
0000067b: PUSH2 0x031b
0000067e: PUSH2 0x0688
00000681: CALLDATASIZE
00000682: PUSH1 0x04
00000684: PUSH2 0x3347
00000687: JUMP
00000688: JUMPDEST
00000689: PUSH2 0x1b20
0000068c: JUMP
0000068d: JUMPDEST
0000068e: CALLVALUE
0000068f: DUP1
00000690: ISZERO
00000691: PUSH2 0x0699
00000694: JUMPI
00000695: PUSH1 0x00
00000697: DUP1
00000698: REVERT
00000699: JUMPDEST
0000069a: POP
0000069b: PUSH2 0x027f
0000069e: PUSH2 0x06a8
000006a1: CALLDATASIZE
000006a2: PUSH1 0x04
000006a4: PUSH2 0x3139
000006a7: JUMP
000006a8: JUMPDEST
000006a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006be: SWAP2
000006bf: DUP3
000006c0: AND
000006c1: PUSH1 0x00
000006c3: SWAP1
000006c4: DUP2
000006c5: MSTORE
000006c6: PUSH1 0x06
000006c8: PUSH1 0x20
000006ca: SWAP1
000006cb: DUP2
000006cc: MSTORE
000006cd: PUSH1 0x40
000006cf: DUP1
000006d0: DUP4
000006d1: KECCAK256
000006d2: SWAP4
000006d3: SWAP1
000006d4: SWAP5
000006d5: AND
000006d6: DUP3
000006d7: MSTORE
000006d8: SWAP2
000006d9: SWAP1
000006da: SWAP2
000006db: MSTORE
000006dc: KECCAK256
000006dd: SLOAD
000006de: PUSH1 0xff
000006e0: AND
000006e1: SWAP1
000006e2: JUMP
000006e3: JUMPDEST
000006e4: CALLVALUE
000006e5: DUP1
000006e6: ISZERO
000006e7: PUSH2 0x06ef
000006ea: JUMPI
000006eb: PUSH1 0x00
000006ed: DUP1
000006ee: REVERT
000006ef: JUMPDEST
000006f0: POP
000006f1: PUSH2 0x031b
000006f4: PUSH2 0x06fe
000006f7: CALLDATASIZE
000006f8: PUSH1 0x04
000006fa: PUSH2 0x3117
000006fd: JUMP
000006fe: JUMPDEST
000006ff: PUSH2 0x1bba
00000702: JUMP
00000703: JUMPDEST
00000704: PUSH1 0x00
00000706: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000727: DUP3
00000728: AND
00000729: PUSH32 0x2a55205a00000000000000000000000000000000000000000000000000000000
0000074a: EQ
0000074b: DUP1
0000074c: PUSH2 0x0759
0000074f: JUMPI
00000750: POP
00000751: PUSH2 0x0759
00000754: DUP3
00000755: PUSH2 0x1df3
00000758: JUMP
00000759: JUMPDEST
0000075a: SWAP3
0000075b: SWAP2
0000075c: POP
0000075d: POP
0000075e: JUMP
0000075f: JUMPDEST
00000760: PUSH1 0x60
00000762: PUSH1 0x01
00000764: DUP1
00000765: SLOAD
00000766: PUSH2 0x076e
00000769: SWAP1
0000076a: PUSH2 0x3547
0000076d: JUMP
0000076e: JUMPDEST
0000076f: DUP1
00000770: PUSH1 0x1f
00000772: ADD
00000773: PUSH1 0x20
00000775: DUP1
00000776: SWAP2
00000777: DIV
00000778: MUL
00000779: PUSH1 0x20
0000077b: ADD
0000077c: PUSH1 0x40
0000077e: MLOAD
0000077f: SWAP1
00000780: DUP2
00000781: ADD
00000782: PUSH1 0x40
00000784: MSTORE
00000785: DUP1
00000786: SWAP3
00000787: SWAP2
00000788: SWAP1
00000789: DUP2
0000078a: DUP2
0000078b: MSTORE
0000078c: PUSH1 0x20
0000078e: ADD
0000078f: DUP3
00000790: DUP1
00000791: SLOAD
00000792: PUSH2 0x079a
00000795: SWAP1
00000796: PUSH2 0x3547
00000799: JUMP
0000079a: JUMPDEST
0000079b: DUP1
0000079c: ISZERO
0000079d: PUSH2 0x07e7
000007a0: JUMPI
000007a1: DUP1
000007a2: PUSH1 0x1f
000007a4: LT
000007a5: PUSH2 0x07bc
000007a8: JUMPI
000007a9: PUSH2 0x0100
000007ac: DUP1
000007ad: DUP4
000007ae: SLOAD
000007af: DIV
000007b0: MUL
000007b1: DUP4
000007b2: MSTORE
000007b3: SWAP2
000007b4: PUSH1 0x20
000007b6: ADD
000007b7: SWAP2
000007b8: PUSH2 0x07e7
000007bb: JUMP
000007bc: JUMPDEST
000007bd: DUP3
000007be: ADD
000007bf: SWAP2
000007c0: SWAP1
000007c1: PUSH1 0x00
000007c3: MSTORE
000007c4: PUSH1 0x20
000007c6: PUSH1 0x00
000007c8: KECCAK256
000007c9: SWAP1
000007ca: JUMPDEST
000007cb: DUP2
000007cc: SLOAD
000007cd: DUP2
000007ce: MSTORE
000007cf: SWAP1
000007d0: PUSH1 0x01
000007d2: ADD
000007d3: SWAP1
000007d4: PUSH1 0x20
000007d6: ADD
000007d7: DUP1
000007d8: DUP4
000007d9: GT
000007da: PUSH2 0x07ca
000007dd: JUMPI
000007de: DUP3
000007df: SWAP1
000007e0: SUB
000007e1: PUSH1 0x1f
000007e3: AND
000007e4: DUP3
000007e5: ADD
000007e6: SWAP2
000007e7: JUMPDEST
000007e8: POP
000007e9: POP
000007ea: POP
000007eb: POP
000007ec: POP
000007ed: SWAP1
000007ee: POP
000007ef: SWAP1
000007f0: JUMP
000007f1: JUMPDEST
000007f2: PUSH1 0x00
000007f4: DUP2
000007f5: DUP2
000007f6: MSTORE
000007f7: PUSH1 0x03
000007f9: PUSH1 0x20
000007fb: MSTORE
000007fc: PUSH1 0x40
000007fe: DUP2
000007ff: KECCAK256
00000800: SLOAD
00000801: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000816: AND
00000817: PUSH2 0x08a7
0000081a: JUMPI
0000081b: PUSH1 0x40
0000081d: MLOAD
0000081e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000083f: DUP2
00000840: MSTORE
00000841: PUSH1 0x20
00000843: PUSH1 0x04
00000845: DUP3
00000846: ADD
00000847: MSTORE
00000848: PUSH1 0x2c
0000084a: PUSH1 0x24
0000084c: DUP3
0000084d: ADD
0000084e: MSTORE
0000084f: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
00000870: PUSH1 0x44
00000872: DUP3
00000873: ADD
00000874: MSTORE
00000875: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000
00000896: PUSH1 0x64
00000898: DUP3
00000899: ADD
0000089a: MSTORE
0000089b: PUSH1 0x84
0000089d: ADD
0000089e: JUMPDEST
0000089f: PUSH1 0x40
000008a1: MLOAD
000008a2: DUP1
000008a3: SWAP2
000008a4: SUB
000008a5: SWAP1
000008a6: REVERT
000008a7: JUMPDEST
000008a8: POP
000008a9: PUSH1 0x00
000008ab: SWAP1
000008ac: DUP2
000008ad: MSTORE
000008ae: PUSH1 0x05
000008b0: PUSH1 0x20
000008b2: MSTORE
000008b3: PUSH1 0x40
000008b5: SWAP1
000008b6: KECCAK256
000008b7: SLOAD
000008b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cd: AND
000008ce: SWAP1
000008cf: JUMP
000008d0: JUMPDEST
000008d1: PUSH1 0x00
000008d3: PUSH2 0x08db
000008d6: DUP3
000008d7: PUSH2 0x1047
000008da: JUMP
000008db: JUMPDEST
000008dc: SWAP1
000008dd: POP
000008de: DUP1
000008df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f4: AND
000008f5: DUP4
000008f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000090b: AND
0000090c: EQ
0000090d: ISZERO
0000090e: PUSH2 0x0999
00000911: JUMPI
00000912: PUSH1 0x40
00000914: MLOAD
00000915: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000936: DUP2
00000937: MSTORE
00000938: PUSH1 0x20
0000093a: PUSH1 0x04
0000093c: DUP3
0000093d: ADD
0000093e: MSTORE
0000093f: PUSH1 0x21
00000941: PUSH1 0x24
00000943: DUP3
00000944: ADD
00000945: MSTORE
00000946: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00000967: PUSH1 0x44
00000969: DUP3
0000096a: ADD
0000096b: MSTORE
0000096c: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
0000098d: PUSH1 0x64
0000098f: DUP3
00000990: ADD
00000991: MSTORE
00000992: PUSH1 0x84
00000994: ADD
00000995: PUSH2 0x089e
00000998: JUMP
00000999: JUMPDEST
0000099a: CALLER
0000099b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b0: DUP3
000009b1: AND
000009b2: EQ
000009b3: DUP1
000009b4: PUSH2 0x09c2
000009b7: JUMPI
000009b8: POP
000009b9: PUSH2 0x09c2
000009bc: DUP2
000009bd: CALLER
000009be: PUSH2 0x06a8
000009c1: JUMP
000009c2: JUMPDEST
000009c3: PUSH2 0x0a4e
000009c6: JUMPI
000009c7: PUSH1 0x40
000009c9: MLOAD
000009ca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009eb: DUP2
000009ec: MSTORE
000009ed: PUSH1 0x20
000009ef: PUSH1 0x04
000009f1: DUP3
000009f2: ADD
000009f3: MSTORE
000009f4: PUSH1 0x38
000009f6: PUSH1 0x24
000009f8: DUP3
000009f9: ADD
000009fa: MSTORE
000009fb: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
00000a1c: PUSH1 0x44
00000a1e: DUP3
00000a1f: ADD
00000a20: MSTORE
00000a21: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
00000a42: PUSH1 0x64
00000a44: DUP3
00000a45: ADD
00000a46: MSTORE
00000a47: PUSH1 0x84
00000a49: ADD
00000a4a: PUSH2 0x089e
00000a4d: JUMP
00000a4e: JUMPDEST
00000a4f: PUSH2 0x0a58
00000a52: DUP4
00000a53: DUP4
00000a54: PUSH2 0x1e49
00000a57: JUMP
00000a58: JUMPDEST
00000a59: POP
00000a5a: POP
00000a5b: POP
00000a5c: JUMP
00000a5d: JUMPDEST
00000a5e: PUSH2 0x0a68
00000a61: CALLER
00000a62: JUMPDEST
00000a63: DUP3
00000a64: PUSH2 0x1ee9
00000a67: JUMP
00000a68: JUMPDEST
00000a69: PUSH2 0x0af4
00000a6c: JUMPI
00000a6d: PUSH1 0x40
00000a6f: MLOAD
00000a70: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a91: DUP2
00000a92: MSTORE
00000a93: PUSH1 0x20
00000a95: PUSH1 0x04
00000a97: DUP3
00000a98: ADD
00000a99: MSTORE
00000a9a: PUSH1 0x31
00000a9c: PUSH1 0x24
00000a9e: DUP3
00000a9f: ADD
00000aa0: MSTORE
00000aa1: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00000ac2: PUSH1 0x44
00000ac4: DUP3
00000ac5: ADD
00000ac6: MSTORE
00000ac7: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
00000ae8: PUSH1 0x64
00000aea: DUP3
00000aeb: ADD
00000aec: MSTORE
00000aed: PUSH1 0x84
00000aef: ADD
00000af0: PUSH2 0x089e
00000af3: JUMP
00000af4: JUMPDEST
00000af5: PUSH2 0x0a58
00000af8: DUP4
00000af9: DUP4
00000afa: DUP4
00000afb: PUSH2 0x2059
00000afe: JUMP
00000aff: JUMPDEST
00000b00: PUSH1 0x00
00000b02: SLOAD
00000b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b18: AND
00000b19: CALLER
00000b1a: EQ
00000b1b: PUSH2 0x0b80
00000b1e: JUMPI
00000b1f: PUSH1 0x40
00000b21: MLOAD
00000b22: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b43: DUP2
00000b44: MSTORE
00000b45: PUSH1 0x20
00000b47: PUSH1 0x04
00000b49: DUP3
00000b4a: ADD
00000b4b: DUP2
00000b4c: SWAP1
00000b4d: MSTORE
00000b4e: PUSH1 0x24
00000b50: DUP3
00000b51: ADD
00000b52: MSTORE
00000b53: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000b74: PUSH1 0x44
00000b76: DUP3
00000b77: ADD
00000b78: MSTORE
00000b79: PUSH1 0x64
00000b7b: ADD
00000b7c: PUSH2 0x089e
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: PUSH1 0x13
00000b83: SSTORE
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH1 0x00
00000b88: DUP1
00000b89: PUSH2 0x0b93
00000b8c: PUSH1 0x0a
00000b8e: DUP5
00000b8f: PUSH2 0x34b3
00000b92: JUMP
00000b93: JUMPDEST
00000b94: PUSH1 0x0e
00000b96: SLOAD
00000b97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bac: AND
00000bad: SWAP6
00000bae: SWAP1
00000baf: SWAP5
00000bb0: POP
00000bb1: SWAP3
00000bb2: POP
00000bb3: POP
00000bb4: POP
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH1 0x00
00000bb9: PUSH2 0x0bc1
00000bbc: DUP4
00000bbd: PUSH2 0x1115
00000bc0: JUMP
00000bc1: JUMPDEST
00000bc2: DUP3
00000bc3: LT
00000bc4: PUSH2 0x0c4f
00000bc7: JUMPI
00000bc8: PUSH1 0x40
00000bca: MLOAD
00000bcb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bec: DUP2
00000bed: MSTORE
00000bee: PUSH1 0x20
00000bf0: PUSH1 0x04
00000bf2: DUP3
00000bf3: ADD
00000bf4: MSTORE
00000bf5: PUSH1 0x2b
00000bf7: PUSH1 0x24
00000bf9: DUP3
00000bfa: ADD
00000bfb: MSTORE
00000bfc: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75
00000c1d: PUSH1 0x44
00000c1f: DUP3
00000c20: ADD
00000c21: MSTORE
00000c22: PUSH32 0x74206f6620626f756e6473000000000000000000000000000000000000000000
00000c43: PUSH1 0x64
00000c45: DUP3
00000c46: ADD
00000c47: MSTORE
00000c48: PUSH1 0x84
00000c4a: ADD
00000c4b: PUSH2 0x089e
00000c4e: JUMP
00000c4f: JUMPDEST
00000c50: POP
00000c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c66: SWAP2
00000c67: SWAP1
00000c68: SWAP2
00000c69: AND
00000c6a: PUSH1 0x00
00000c6c: SWAP1
00000c6d: DUP2
00000c6e: MSTORE
00000c6f: PUSH1 0x07
00000c71: PUSH1 0x20
00000c73: SWAP1
00000c74: DUP2
00000c75: MSTORE
00000c76: PUSH1 0x40
00000c78: DUP1
00000c79: DUP4
00000c7a: KECCAK256
00000c7b: SWAP4
00000c7c: DUP4
00000c7d: MSTORE
00000c7e: SWAP3
00000c7f: SWAP1
00000c80: MSTORE
00000c81: KECCAK256
00000c82: SLOAD
00000c83: SWAP1
00000c84: JUMP
00000c85: JUMPDEST
00000c86: PUSH1 0x00
00000c88: SELFBALANCE
00000c89: GT
00000c8a: PUSH2 0x0cef
00000c8d: JUMPI
00000c8e: PUSH1 0x40
00000c90: MLOAD
00000c91: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cb2: DUP2
00000cb3: MSTORE
00000cb4: PUSH1 0x20
00000cb6: PUSH1 0x04
00000cb8: DUP3
00000cb9: ADD
00000cba: MSTORE
00000cbb: PUSH1 0x0a
00000cbd: PUSH1 0x24
00000cbf: DUP3
00000cc0: ADD
00000cc1: MSTORE
00000cc2: PUSH32 0x4e6f2062616c616e636500000000000000000000000000000000000000000000
00000ce3: PUSH1 0x44
00000ce5: DUP3
00000ce6: ADD
00000ce7: MSTORE
00000ce8: PUSH1 0x64
00000cea: ADD
00000ceb: PUSH2 0x089e
00000cee: JUMP
00000cef: JUMPDEST
00000cf0: PUSH1 0x0e
00000cf2: SLOAD
00000cf3: PUSH1 0x40
00000cf5: MLOAD
00000cf6: PUSH1 0x00
00000cf8: SWAP2
00000cf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d0e: AND
00000d0f: SWAP1
00000d10: PUSH3 0x01f84c
00000d14: SWAP1
00000d15: SELFBALANCE
00000d16: SWAP1
00000d17: DUP5
00000d18: DUP2
00000d19: DUP2
00000d1a: DUP2
00000d1b: DUP6
00000d1c: DUP9
00000d1d: DUP9
00000d1e: CALL
00000d1f: SWAP4
00000d20: POP
00000d21: POP
00000d22: POP
00000d23: POP
00000d24: RETURNDATASIZE
00000d25: DUP1
00000d26: PUSH1 0x00
00000d28: DUP2
00000d29: EQ
00000d2a: PUSH2 0x0d4f
00000d2d: JUMPI
00000d2e: PUSH1 0x40
00000d30: MLOAD
00000d31: SWAP2
00000d32: POP
00000d33: PUSH1 0x1f
00000d35: NOT
00000d36: PUSH1 0x3f
00000d38: RETURNDATASIZE
00000d39: ADD
00000d3a: AND
00000d3b: DUP3
00000d3c: ADD
00000d3d: PUSH1 0x40
00000d3f: MSTORE
00000d40: RETURNDATASIZE
00000d41: DUP3
00000d42: MSTORE
00000d43: RETURNDATASIZE
00000d44: PUSH1 0x00
00000d46: PUSH1 0x20
00000d48: DUP5
00000d49: ADD
00000d4a: RETURNDATACOPY
00000d4b: PUSH2 0x0d54
00000d4e: JUMP
00000d4f: JUMPDEST
00000d50: PUSH1 0x60
00000d52: SWAP2
00000d53: POP
00000d54: JUMPDEST
00000d55: POP
00000d56: POP
00000d57: SWAP1
00000d58: POP
00000d59: DUP1
00000d5a: PUSH2 0x0dbf
00000d5d: JUMPI
00000d5e: PUSH1 0x40
00000d60: MLOAD
00000d61: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d82: DUP2
00000d83: MSTORE
00000d84: PUSH1 0x20
00000d86: PUSH1 0x04
00000d88: DUP3
00000d89: ADD
00000d8a: MSTORE
00000d8b: PUSH1 0x12
00000d8d: PUSH1 0x24
00000d8f: DUP3
00000d90: ADD
00000d91: MSTORE
00000d92: PUSH32 0x4661696c656420746f2077697468647261770000000000000000000000000000
00000db3: PUSH1 0x44
00000db5: DUP3
00000db6: ADD
00000db7: MSTORE
00000db8: PUSH1 0x64
00000dba: ADD
00000dbb: PUSH2 0x089e
00000dbe: JUMP
00000dbf: JUMPDEST
00000dc0: POP
00000dc1: JUMP
00000dc2: JUMPDEST
00000dc3: PUSH2 0x0a58
00000dc6: DUP4
00000dc7: DUP4
00000dc8: DUP4
00000dc9: PUSH1 0x40
00000dcb: MLOAD
00000dcc: DUP1
00000dcd: PUSH1 0x20
00000dcf: ADD
00000dd0: PUSH1 0x40
00000dd2: MSTORE
00000dd3: DUP1
00000dd4: PUSH1 0x00
00000dd6: DUP2
00000dd7: MSTORE
00000dd8: POP
00000dd9: PUSH2 0x19bd
00000ddc: JUMP
00000ddd: JUMPDEST
00000dde: PUSH2 0x0de6
00000de1: CALLER
00000de2: PUSH2 0x0a62
00000de5: JUMP
00000de6: JUMPDEST
00000de7: PUSH2 0x0e72
00000dea: JUMPI
00000deb: PUSH1 0x40
00000ded: MLOAD
00000dee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e0f: DUP2
00000e10: MSTORE
00000e11: PUSH1 0x20
00000e13: PUSH1 0x04
00000e15: DUP3
00000e16: ADD
00000e17: MSTORE
00000e18: PUSH1 0x30
00000e1a: PUSH1 0x24
00000e1c: DUP3
00000e1d: ADD
00000e1e: MSTORE
00000e1f: PUSH32 0x4552433732314275726e61626c653a2063616c6c6572206973206e6f74206f77
00000e40: PUSH1 0x44
00000e42: DUP3
00000e43: ADD
00000e44: MSTORE
00000e45: PUSH32 0x6e6572206e6f7220617070726f76656400000000000000000000000000000000
00000e66: PUSH1 0x64
00000e68: DUP3
00000e69: ADD
00000e6a: MSTORE
00000e6b: PUSH1 0x84
00000e6d: ADD
00000e6e: PUSH2 0x089e
00000e71: JUMP
00000e72: JUMPDEST
00000e73: PUSH2 0x0dbf
00000e76: DUP2
00000e77: PUSH2 0x22cb
00000e7a: JUMP
00000e7b: JUMPDEST
00000e7c: PUSH1 0x00
00000e7e: PUSH2 0x0e86
00000e81: PUSH1 0x09
00000e83: SLOAD
00000e84: SWAP1
00000e85: JUMP
00000e86: JUMPDEST
00000e87: DUP3
00000e88: LT
00000e89: PUSH2 0x0f14
00000e8c: JUMPI
00000e8d: PUSH1 0x40
00000e8f: MLOAD
00000e90: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000eb1: DUP2
00000eb2: MSTORE
00000eb3: PUSH1 0x20
00000eb5: PUSH1 0x04
00000eb7: DUP3
00000eb8: ADD
00000eb9: MSTORE
00000eba: PUSH1 0x2c
00000ebc: PUSH1 0x24
00000ebe: DUP3
00000ebf: ADD
00000ec0: MSTORE
00000ec1: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f
00000ee2: PUSH1 0x44
00000ee4: DUP3
00000ee5: ADD
00000ee6: MSTORE
00000ee7: PUSH32 0x7574206f6620626f756e64730000000000000000000000000000000000000000
00000f08: PUSH1 0x64
00000f0a: DUP3
00000f0b: ADD
00000f0c: MSTORE
00000f0d: PUSH1 0x84
00000f0f: ADD
00000f10: PUSH2 0x089e
00000f13: JUMP
00000f14: JUMPDEST
00000f15: PUSH1 0x09
00000f17: DUP3
00000f18: DUP2
00000f19: SLOAD
00000f1a: DUP2
00000f1b: LT
00000f1c: PUSH2 0x0f27
00000f1f: JUMPI
00000f20: PUSH2 0x0f27
00000f23: PUSH2 0x366f
00000f26: JUMP
00000f27: JUMPDEST
00000f28: SWAP1
00000f29: PUSH1 0x00
00000f2b: MSTORE
00000f2c: PUSH1 0x20
00000f2e: PUSH1 0x00
00000f30: KECCAK256
00000f31: ADD
00000f32: SLOAD
00000f33: SWAP1
00000f34: POP
00000f35: SWAP2
00000f36: SWAP1
00000f37: POP
00000f38: JUMP
00000f39: JUMPDEST
00000f3a: PUSH1 0x00
00000f3c: SLOAD
00000f3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f52: AND
00000f53: CALLER
00000f54: EQ
00000f55: PUSH2 0x0fba
00000f58: JUMPI
00000f59: PUSH1 0x40
00000f5b: MLOAD
00000f5c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f7d: DUP2
00000f7e: MSTORE
00000f7f: PUSH1 0x20
00000f81: PUSH1 0x04
00000f83: DUP3
00000f84: ADD
00000f85: DUP2
00000f86: SWAP1
00000f87: MSTORE
00000f88: PUSH1 0x24
00000f8a: DUP3
00000f8b: ADD
00000f8c: MSTORE
00000f8d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000fae: PUSH1 0x44
00000fb0: DUP3
00000fb1: ADD
00000fb2: MSTORE
00000fb3: PUSH1 0x64
00000fb5: ADD
00000fb6: PUSH2 0x089e
00000fb9: JUMP
00000fba: JUMPDEST
00000fbb: PUSH1 0x0c
00000fbd: DUP1
00000fbe: SLOAD
00000fbf: PUSH2 0x0fc7
00000fc2: SWAP1
00000fc3: PUSH2 0x3547
00000fc6: JUMP
00000fc7: JUMPDEST
00000fc8: ISZERO
00000fc9: SWAP1
00000fca: POP
00000fcb: PUSH2 0x1030
00000fce: JUMPI
00000fcf: PUSH1 0x40
00000fd1: MLOAD
00000fd2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ff3: DUP2
00000ff4: MSTORE
00000ff5: PUSH1 0x20
00000ff7: PUSH1 0x04
00000ff9: DUP3
00000ffa: ADD
00000ffb: MSTORE
00000ffc: PUSH1 0x13
00000ffe: PUSH1 0x24
00001000: DUP3
00001001: ADD
00001002: MSTORE
00001003: PUSH32 0x6261736555524920616c72656164792073657400000000000000000000000000
00001024: PUSH1 0x44
00001026: DUP3
00001027: ADD
00001028: MSTORE
00001029: PUSH1 0x64
0000102b: ADD
0000102c: PUSH2 0x089e
0000102f: JUMP
00001030: JUMPDEST
00001031: DUP1
00001032: MLOAD
00001033: PUSH2 0x1043
00001036: SWAP1
00001037: PUSH1 0x0c
00001039: SWAP1
0000103a: PUSH1 0x20
0000103c: DUP5
0000103d: ADD
0000103e: SWAP1
0000103f: PUSH2 0x2fc1
00001042: JUMP
00001043: JUMPDEST
00001044: POP
00001045: POP
00001046: JUMP
00001047: JUMPDEST
00001048: PUSH1 0x00
0000104a: DUP2
0000104b: DUP2
0000104c: MSTORE
0000104d: PUSH1 0x03
0000104f: PUSH1 0x20
00001051: MSTORE
00001052: PUSH1 0x40
00001054: DUP2
00001055: KECCAK256
00001056: SLOAD
00001057: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000106c: AND
0000106d: DUP1
0000106e: PUSH2 0x0759
00001071: JUMPI
00001072: PUSH1 0x40
00001074: MLOAD
00001075: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001096: DUP2
00001097: MSTORE
00001098: PUSH1 0x20
0000109a: PUSH1 0x04
0000109c: DUP3
0000109d: ADD
0000109e: MSTORE
0000109f: PUSH1 0x29
000010a1: PUSH1 0x24
000010a3: DUP3
000010a4: ADD
000010a5: MSTORE
000010a6: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
000010c7: PUSH1 0x44
000010c9: DUP3
000010ca: ADD
000010cb: MSTORE
000010cc: PUSH32 0x656e7420746f6b656e0000000000000000000000000000000000000000000000
000010ed: PUSH1 0x64
000010ef: DUP3
000010f0: ADD
000010f1: MSTORE
000010f2: PUSH1 0x84
000010f4: ADD
000010f5: PUSH2 0x089e
000010f8: JUMP
000010f9: JUMPDEST
000010fa: PUSH1 0x40
000010fc: MLOAD
000010fd: DUP1
000010fe: PUSH1 0x60
00001100: ADD
00001101: PUSH1 0x40
00001103: MSTORE
00001104: DUP1
00001105: PUSH1 0x40
00001107: DUP2
00001108: MSTORE
00001109: PUSH1 0x20
0000110b: ADD
0000110c: PUSH2 0x370a
0000110f: PUSH1 0x40
00001111: SWAP2
00001112: CODECOPY
00001113: DUP2
00001114: JUMP
00001115: JUMPDEST
00001116: PUSH1 0x00
00001118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000112d: DUP3
0000112e: AND
0000112f: PUSH2 0x11ba
00001132: JUMPI
00001133: PUSH1 0x40
00001135: MLOAD
00001136: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001157: DUP2
00001158: MSTORE
00001159: PUSH1 0x20
0000115b: PUSH1 0x04
0000115d: DUP3
0000115e: ADD
0000115f: MSTORE
00001160: PUSH1 0x2a
00001162: PUSH1 0x24
00001164: DUP3
00001165: ADD
00001166: MSTORE
00001167: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
00001188: PUSH1 0x44
0000118a: DUP3
0000118b: ADD
0000118c: MSTORE
0000118d: PUSH32 0x726f206164647265737300000000000000000000000000000000000000000000
000011ae: PUSH1 0x64
000011b0: DUP3
000011b1: ADD
000011b2: MSTORE
000011b3: PUSH1 0x84
000011b5: ADD
000011b6: PUSH2 0x089e
000011b9: JUMP
000011ba: JUMPDEST
000011bb: POP
000011bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d1: AND
000011d2: PUSH1 0x00
000011d4: SWAP1
000011d5: DUP2
000011d6: MSTORE
000011d7: PUSH1 0x04
000011d9: PUSH1 0x20
000011db: MSTORE
000011dc: PUSH1 0x40
000011de: SWAP1
000011df: KECCAK256
000011e0: SLOAD
000011e1: SWAP1
000011e2: JUMP
000011e3: JUMPDEST
000011e4: PUSH1 0x00
000011e6: SLOAD
000011e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fc: AND
000011fd: CALLER
000011fe: EQ
000011ff: PUSH2 0x1264
00001202: JUMPI
00001203: PUSH1 0x40
00001205: MLOAD
00001206: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001227: DUP2
00001228: MSTORE
00001229: PUSH1 0x20
0000122b: PUSH1 0x04
0000122d: DUP3
0000122e: ADD
0000122f: DUP2
00001230: SWAP1
00001231: MSTORE
00001232: PUSH1 0x24
00001234: DUP3
00001235: ADD
00001236: MSTORE
00001237: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001258: PUSH1 0x44
0000125a: DUP3
0000125b: ADD
0000125c: MSTORE
0000125d: PUSH1 0x64
0000125f: ADD
00001260: PUSH2 0x089e
00001263: JUMP
00001264: JUMPDEST
00001265: PUSH2 0x126e
00001268: PUSH1 0x00
0000126a: PUSH2 0x23a4
0000126d: JUMP
0000126e: JUMPDEST
0000126f: JUMP
00001270: JUMPDEST
00001271: CALLER
00001272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001287: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952
000012a8: AND
000012a9: EQ
000012aa: PUSH2 0x130f
000012ad: JUMPI
000012ae: PUSH1 0x40
000012b0: MLOAD
000012b1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012d2: DUP2
000012d3: MSTORE
000012d4: PUSH1 0x20
000012d6: PUSH1 0x04
000012d8: DUP3
000012d9: ADD
000012da: MSTORE
000012db: PUSH1 0x1f
000012dd: PUSH1 0x24
000012df: DUP3
000012e0: ADD
000012e1: MSTORE
000012e2: PUSH32 0x4f6e6c7920565246436f6f7264696e61746f722063616e2066756c66696c6c00
00001303: PUSH1 0x44
00001305: DUP3
00001306: ADD
00001307: MSTORE
00001308: PUSH1 0x64
0000130a: ADD
0000130b: PUSH2 0x089e
0000130e: JUMP
0000130f: JUMPDEST
00001310: PUSH2 0x1043
00001313: DUP3
00001314: DUP3
00001315: PUSH2 0x2419
00001318: JUMP
00001319: JUMPDEST
0000131a: PUSH1 0x60
0000131c: PUSH1 0x02
0000131e: DUP1
0000131f: SLOAD
00001320: PUSH2 0x076e
00001323: SWAP1
00001324: PUSH2 0x3547
00001327: JUMP
00001328: JUMPDEST
00001329: PUSH1 0x11
0000132b: SLOAD
0000132c: PUSH2 0x1391
0000132f: JUMPI
00001330: PUSH1 0x40
00001332: MLOAD
00001333: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001354: DUP2
00001355: MSTORE
00001356: PUSH1 0x20
00001358: PUSH1 0x04
0000135a: DUP3
0000135b: ADD
0000135c: MSTORE
0000135d: PUSH1 0x14
0000135f: PUSH1 0x24
00001361: DUP3
00001362: ADD
00001363: MSTORE
00001364: PUSH32 0x53616c65206e6f74207965742073746172746564000000000000000000000000
00001385: PUSH1 0x44
00001387: DUP3
00001388: ADD
00001389: MSTORE
0000138a: PUSH1 0x64
0000138c: ADD
0000138d: PUSH2 0x089e
00001390: JUMP
00001391: JUMPDEST
00001392: PUSH1 0x00
00001394: DUP2
00001395: GT
00001396: PUSH2 0x13fb
00001399: JUMPI
0000139a: PUSH1 0x40
0000139c: MLOAD
0000139d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013be: DUP2
000013bf: MSTORE
000013c0: PUSH1 0x20
000013c2: PUSH1 0x04
000013c4: DUP3
000013c5: ADD
000013c6: MSTORE
000013c7: PUSH1 0x10
000013c9: PUSH1 0x24
000013cb: DUP3
000013cc: ADD
000013cd: MSTORE
000013ce: PUSH32 0x43616e6e6f74206d696e74207a65726f00000000000000000000000000000000
000013ef: PUSH1 0x44
000013f1: DUP3
000013f2: ADD
000013f3: MSTORE
000013f4: PUSH1 0x64
000013f6: ADD
000013f7: PUSH2 0x089e
000013fa: JUMP
000013fb: JUMPDEST
000013fc: PUSH1 0x13
000013fe: SLOAD
000013ff: ISZERO
00001400: DUP1
00001401: PUSH2 0x141f
00001404: JUMPI
00001405: POP
00001406: PUSH1 0x13
00001408: SLOAD
00001409: DUP2
0000140a: PUSH2 0x1412
0000140d: CALLER
0000140e: PUSH2 0x1115
00001411: JUMP
00001412: JUMPDEST
00001413: PUSH2 0x141c
00001416: SWAP2
00001417: SWAP1
00001418: PUSH2 0x349b
0000141b: JUMP
0000141c: JUMPDEST
0000141d: GT
0000141e: ISZERO
0000141f: JUMPDEST
00001420: PUSH2 0x1485
00001423: JUMPI
00001424: PUSH1 0x40
00001426: MLOAD
00001427: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001448: DUP2
00001449: MSTORE
0000144a: PUSH1 0x20
0000144c: PUSH1 0x04
0000144e: DUP3
0000144f: ADD
00001450: MSTORE
00001451: PUSH1 0x0a
00001453: PUSH1 0x24
00001455: DUP3
00001456: ADD
00001457: MSTORE
00001458: PUSH32 0x4f766572206c696d697400000000000000000000000000000000000000000000
00001479: PUSH1 0x44
0000147b: DUP3
0000147c: ADD
0000147d: MSTORE
0000147e: PUSH1 0x64
00001480: ADD
00001481: PUSH2 0x089e
00001484: JUMP
00001485: JUMPDEST
00001486: PUSH1 0x00
00001488: PUSH2 0x1490
0000148b: PUSH1 0x09
0000148d: SLOAD
0000148e: SWAP1
0000148f: JUMP
00001490: JUMPDEST
00001491: SWAP1
00001492: POP
00001493: PUSH1 0x10
00001495: SLOAD
00001496: DUP2
00001497: LT
00001498: PUSH2 0x14fd
0000149b: JUMPI
0000149c: PUSH1 0x40
0000149e: MLOAD
0000149f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014c0: DUP2
000014c1: MSTORE
000014c2: PUSH1 0x20
000014c4: PUSH1 0x04
000014c6: DUP3
000014c7: ADD
000014c8: MSTORE
000014c9: PUSH1 0x08
000014cb: PUSH1 0x24
000014cd: DUP3
000014ce: ADD
000014cf: MSTORE
000014d0: PUSH32 0x536f6c64206f7574000000000000000000000000000000000000000000000000
000014f1: PUSH1 0x44
000014f3: DUP3
000014f4: ADD
000014f5: MSTORE
000014f6: PUSH1 0x64
000014f8: ADD
000014f9: PUSH2 0x089e
000014fc: JUMP
000014fd: JUMPDEST
000014fe: PUSH1 0x0a
00001500: DUP3
00001501: GT
00001502: ISZERO
00001503: DUP1
00001504: ISZERO
00001505: PUSH2 0x1519
00001508: JUMPI
00001509: POP
0000150a: PUSH1 0x10
0000150c: SLOAD
0000150d: PUSH2 0x1516
00001510: DUP4
00001511: DUP4
00001512: PUSH2 0x349b
00001515: JUMP
00001516: JUMPDEST
00001517: GT
00001518: ISZERO
00001519: JUMPDEST
0000151a: PUSH2 0x157f
0000151d: JUMPI
0000151e: PUSH1 0x40
00001520: MLOAD
00001521: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001542: DUP2
00001543: MSTORE
00001544: PUSH1 0x20
00001546: PUSH1 0x04
00001548: DUP3
00001549: ADD
0000154a: MSTORE
0000154b: PUSH1 0x14
0000154d: PUSH1 0x24
0000154f: DUP3
00001550: ADD
00001551: MSTORE
00001552: PUSH32 0x4d696e7420616d6f756e7420746f6f2068696768000000000000000000000000
00001573: PUSH1 0x44
00001575: DUP3
00001576: ADD
00001577: MSTORE
00001578: PUSH1 0x64
0000157a: ADD
0000157b: PUSH2 0x089e
0000157e: JUMP
0000157f: JUMPDEST
00001580: PUSH2 0x1590
00001583: DUP3
00001584: PUSH7 0xf8b0a10e470000
0000158c: PUSH2 0x34c7
0000158f: JUMP
00001590: JUMPDEST
00001591: CALLVALUE
00001592: LT
00001593: ISZERO
00001594: PUSH2 0x15f9
00001597: JUMPI
00001598: PUSH1 0x40
0000159a: MLOAD
0000159b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015bc: DUP2
000015bd: MSTORE
000015be: PUSH1 0x20
000015c0: PUSH1 0x04
000015c2: DUP3
000015c3: ADD
000015c4: MSTORE
000015c5: PUSH1 0x1a
000015c7: PUSH1 0x24
000015c9: DUP3
000015ca: ADD
000015cb: MSTORE
000015cc: PUSH32 0x4e6f7420656e6f7567682045544820666f72206d696e74696e67000000000000
000015ed: PUSH1 0x44
000015ef: DUP3
000015f0: ADD
000015f1: MSTORE
000015f2: PUSH1 0x64
000015f4: ADD
000015f5: PUSH2 0x089e
000015f8: JUMP
000015f9: JUMPDEST
000015fa: DUP1
000015fb: JUMPDEST
000015fc: PUSH2 0x1605
000015ff: DUP4
00001600: DUP4
00001601: PUSH2 0x349b
00001604: JUMP
00001605: JUMPDEST
00001606: DUP2
00001607: LT
00001608: ISZERO
00001609: PUSH2 0x1628
0000160c: JUMPI
0000160d: PUSH2 0x1616
00001610: CALLER
00001611: DUP3
00001612: PUSH2 0x2519
00001615: JUMP
00001616: JUMPDEST
00001617: DUP1
00001618: PUSH2 0x1620
0000161b: DUP2
0000161c: PUSH2 0x3595
0000161f: JUMP
00001620: JUMPDEST
00001621: SWAP2
00001622: POP
00001623: POP
00001624: PUSH2 0x15fb
00001627: JUMP
00001628: JUMPDEST
00001629: POP
0000162a: PUSH1 0x0f
0000162c: SLOAD
0000162d: PUSH2 0x1636
00001630: DUP4
00001631: DUP4
00001632: PUSH2 0x349b
00001635: JUMP
00001636: JUMPDEST
00001637: LT
00001638: ISZERO
00001639: DUP1
0000163a: PUSH2 0x1653
0000163d: JUMPI
0000163e: POP
0000163f: PUSH3 0x02a300
00001643: PUSH1 0x11
00001645: SLOAD
00001646: TIMESTAMP
00001647: PUSH2 0x1650
0000164a: SWAP2
0000164b: SWAP1
0000164c: PUSH2 0x3504
0000164f: JUMP
00001650: JUMPDEST
00001651: LT
00001652: ISZERO
00001653: JUMPDEST
00001654: DUP1
00001655: ISZERO
00001656: PUSH2 0x165f
00001659: JUMPI
0000165a: POP
0000165b: PUSH1 0x0d
0000165d: SLOAD
0000165e: ISZERO
0000165f: JUMPDEST
00001660: ISZERO
00001661: PUSH2 0x1043
00001664: JUMPI
00001665: PUSH2 0x1696
00001668: PUSH32 0xaa77729d3466ca35ae8d28b3bbac7cc36a5031efdc430821c02bc31a238af445
00001689: PUSH8 0x1bc16d674ec80000
00001692: PUSH2 0x2533
00001695: JUMP
00001696: JUMPDEST
00001697: PUSH1 0x0d
00001699: SSTORE
0000169a: POP
0000169b: POP
0000169c: JUMP
0000169d: JUMPDEST
0000169e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b3: DUP3
000016b4: AND
000016b5: CALLER
000016b6: EQ
000016b7: ISZERO
000016b8: PUSH2 0x171d
000016bb: JUMPI
000016bc: PUSH1 0x40
000016be: MLOAD
000016bf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016e0: DUP2
000016e1: MSTORE
000016e2: PUSH1 0x20
000016e4: PUSH1 0x04
000016e6: DUP3
000016e7: ADD
000016e8: MSTORE
000016e9: PUSH1 0x19
000016eb: PUSH1 0x24
000016ed: DUP3
000016ee: ADD
000016ef: MSTORE
000016f0: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
00001711: PUSH1 0x44
00001713: DUP3
00001714: ADD
00001715: MSTORE
00001716: PUSH1 0x64
00001718: ADD
00001719: PUSH2 0x089e
0000171c: JUMP
0000171d: JUMPDEST
0000171e: CALLER
0000171f: PUSH1 0x00
00001721: DUP2
00001722: DUP2
00001723: MSTORE
00001724: PUSH1 0x06
00001726: PUSH1 0x20
00001728: SWAP1
00001729: DUP2
0000172a: MSTORE
0000172b: PUSH1 0x40
0000172d: DUP1
0000172e: DUP4
0000172f: KECCAK256
00001730: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001745: DUP8
00001746: AND
00001747: DUP1
00001748: DUP6
00001749: MSTORE
0000174a: SWAP1
0000174b: DUP4
0000174c: MSTORE
0000174d: SWAP3
0000174e: DUP2
0000174f: SWAP1
00001750: KECCAK256
00001751: DUP1
00001752: SLOAD
00001753: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001774: AND
00001775: DUP7
00001776: ISZERO
00001777: ISZERO
00001778: SWAP1
00001779: DUP2
0000177a: OR
0000177b: SWAP1
0000177c: SWAP2
0000177d: SSTORE
0000177e: SWAP1
0000177f: MLOAD
00001780: SWAP1
00001781: DUP2
00001782: MSTORE
00001783: SWAP2
00001784: SWAP3
00001785: SWAP2
00001786: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000017a7: SWAP2
000017a8: ADD
000017a9: PUSH1 0x40
000017ab: MLOAD
000017ac: DUP1
000017ad: SWAP2
000017ae: SUB
000017af: SWAP1
000017b0: LOG3
000017b1: POP
000017b2: POP
000017b3: JUMP
000017b4: JUMPDEST
000017b5: PUSH1 0x12
000017b7: SLOAD
000017b8: ISZERO
000017b9: PUSH2 0x181e
000017bc: JUMPI
000017bd: PUSH1 0x40
000017bf: MLOAD
000017c0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017e1: DUP2
000017e2: MSTORE
000017e3: PUSH1 0x20
000017e5: PUSH1 0x04
000017e7: DUP3
000017e8: ADD
000017e9: MSTORE
000017ea: PUSH1 0x10
000017ec: PUSH1 0x24
000017ee: DUP3
000017ef: ADD
000017f0: MSTORE
000017f1: PUSH32 0x416c72656164792072657665616c656400000000000000000000000000000000
00001812: PUSH1 0x44
00001814: DUP3
00001815: ADD
00001816: MSTORE
00001817: PUSH1 0x64
00001819: ADD
0000181a: PUSH2 0x089e
0000181d: JUMP
0000181e: JUMPDEST
0000181f: PUSH1 0x11
00001821: SLOAD
00001822: PUSH2 0x1887
00001825: JUMPI
00001826: PUSH1 0x40
00001828: MLOAD
00001829: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000184a: DUP2
0000184b: MSTORE
0000184c: PUSH1 0x20
0000184e: PUSH1 0x04
00001850: DUP3
00001851: ADD
00001852: MSTORE
00001853: PUSH1 0x14
00001855: PUSH1 0x24
00001857: DUP3
00001858: ADD
00001859: MSTORE
0000185a: PUSH32 0x53616c65206e6f74207965742073746172746564000000000000000000000000
0000187b: PUSH1 0x44
0000187d: DUP3
0000187e: ADD
0000187f: MSTORE
00001880: PUSH1 0x64
00001882: ADD
00001883: PUSH2 0x089e
00001886: JUMP
00001887: JUMPDEST
00001888: PUSH1 0x0d
0000188a: SLOAD
0000188b: ISZERO
0000188c: PUSH2 0x18f1
0000188f: JUMPI
00001890: PUSH1 0x40
00001892: MLOAD
00001893: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018b4: DUP2
000018b5: MSTORE
000018b6: PUSH1 0x20
000018b8: PUSH1 0x04
000018ba: DUP3
000018bb: ADD
000018bc: MSTORE
000018bd: PUSH1 0x18
000018bf: PUSH1 0x24
000018c1: DUP3
000018c2: ADD
000018c3: MSTORE
000018c4: PUSH32 0x52657665616c20616c7265616479207265717565737465640000000000000000
000018e5: PUSH1 0x44
000018e7: DUP3
000018e8: ADD
000018e9: MSTORE
000018ea: PUSH1 0x64
000018ec: ADD
000018ed: PUSH2 0x089e
000018f0: JUMP
000018f1: JUMPDEST
000018f2: PUSH1 0x0a
000018f4: PUSH1 0x0f
000018f6: SLOAD
000018f7: PUSH2 0x1900
000018fa: SWAP2
000018fb: SWAP1
000018fc: PUSH2 0x3504
000018ff: JUMP
00001900: JUMPDEST
00001901: PUSH1 0x09
00001903: SLOAD
00001904: LT
00001905: ISZERO
00001906: DUP1
00001907: PUSH2 0x1920
0000190a: JUMPI
0000190b: POP
0000190c: PUSH3 0x02a300
00001910: PUSH1 0x11
00001912: SLOAD
00001913: TIMESTAMP
00001914: PUSH2 0x191d
00001917: SWAP2
00001918: SWAP1
00001919: PUSH2 0x3504
0000191c: JUMP
0000191d: JUMPDEST
0000191e: LT
0000191f: ISZERO
00001920: JUMPDEST
00001921: PUSH2 0x1986
00001924: JUMPI
00001925: PUSH1 0x40
00001927: MLOAD
00001928: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001949: DUP2
0000194a: MSTORE
0000194b: PUSH1 0x20
0000194d: PUSH1 0x04
0000194f: DUP3
00001950: ADD
00001951: MSTORE
00001952: PUSH1 0x0d
00001954: PUSH1 0x24
00001956: DUP3
00001957: ADD
00001958: MSTORE
00001959: PUSH32 0x53616c65206e6f74206f76657200000000000000000000000000000000000000
0000197a: PUSH1 0x44
0000197c: DUP3
0000197d: ADD
0000197e: MSTORE
0000197f: PUSH1 0x64
00001981: ADD
00001982: PUSH2 0x089e
00001985: JUMP
00001986: JUMPDEST
00001987: PUSH2 0x19b8
0000198a: PUSH32 0xaa77729d3466ca35ae8d28b3bbac7cc36a5031efdc430821c02bc31a238af445
000019ab: PUSH8 0x1bc16d674ec80000
000019b4: PUSH2 0x2533
000019b7: JUMP
000019b8: JUMPDEST
000019b9: PUSH1 0x0d
000019bb: SSTORE
000019bc: JUMP
000019bd: JUMPDEST
000019be: PUSH2 0x19c7
000019c1: CALLER
000019c2: DUP4
000019c3: PUSH2 0x1ee9
000019c6: JUMP
000019c7: JUMPDEST
000019c8: PUSH2 0x1a53
000019cb: JUMPI
000019cc: PUSH1 0x40
000019ce: MLOAD
000019cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019f0: DUP2
000019f1: MSTORE
000019f2: PUSH1 0x20
000019f4: PUSH1 0x04
000019f6: DUP3
000019f7: ADD
000019f8: MSTORE
000019f9: PUSH1 0x31
000019fb: PUSH1 0x24
000019fd: DUP3
000019fe: ADD
000019ff: MSTORE
00001a00: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00001a21: PUSH1 0x44
00001a23: DUP3
00001a24: ADD
00001a25: MSTORE
00001a26: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
00001a47: PUSH1 0x64
00001a49: DUP3
00001a4a: ADD
00001a4b: MSTORE
00001a4c: PUSH1 0x84
00001a4e: ADD
00001a4f: PUSH2 0x089e
00001a52: JUMP
00001a53: JUMPDEST
00001a54: PUSH2 0x1a5f
00001a57: DUP5
00001a58: DUP5
00001a59: DUP5
00001a5a: DUP5
00001a5b: PUSH2 0x26cb
00001a5e: JUMP
00001a5f: JUMPDEST
00001a60: POP
00001a61: POP
00001a62: POP
00001a63: POP
00001a64: JUMP
00001a65: JUMPDEST
00001a66: PUSH1 0x60
00001a68: PUSH1 0x00
00001a6a: PUSH2 0x1a71
00001a6d: PUSH2 0x276e
00001a70: JUMP
00001a71: JUMPDEST
00001a72: SWAP1
00001a73: POP
00001a74: PUSH1 0x12
00001a76: SLOAD
00001a77: PUSH1 0x00
00001a79: EQ
00001a7a: DUP1
00001a7b: PUSH2 0x1a83
00001a7e: JUMPI
00001a7f: POP
00001a80: DUP1
00001a81: MLOAD
00001a82: ISZERO
00001a83: JUMPDEST
00001a84: ISZERO
00001a85: PUSH2 0x1aa8
00001a88: JUMPI
00001a89: PUSH1 0x40
00001a8b: MLOAD
00001a8c: DUP1
00001a8d: PUSH1 0x60
00001a8f: ADD
00001a90: PUSH1 0x40
00001a92: MSTORE
00001a93: DUP1
00001a94: PUSH1 0x35
00001a96: DUP2
00001a97: MSTORE
00001a98: PUSH1 0x20
00001a9a: ADD
00001a9b: PUSH2 0x374a
00001a9e: PUSH1 0x35
00001aa0: SWAP2
00001aa1: CODECOPY
00001aa2: SWAP4
00001aa3: SWAP3
00001aa4: POP
00001aa5: POP
00001aa6: POP
00001aa7: JUMP
00001aa8: JUMPDEST
00001aa9: PUSH1 0x00
00001aab: PUSH1 0x01
00001aad: PUSH1 0x10
00001aaf: SLOAD
00001ab0: PUSH2 0x1ab9
00001ab3: SWAP2
00001ab4: SWAP1
00001ab5: PUSH2 0x3504
00001ab8: JUMP
00001ab9: JUMPDEST
00001aba: SWAP1
00001abb: POP
00001abc: PUSH1 0x00
00001abe: DUP2
00001abf: DUP6
00001ac0: EQ
00001ac1: PUSH2 0x1ae2
00001ac4: JUMPI
00001ac5: DUP2
00001ac6: PUSH1 0x12
00001ac8: SLOAD
00001ac9: DUP7
00001aca: PUSH2 0x1ad3
00001acd: SWAP2
00001ace: SWAP1
00001acf: PUSH2 0x349b
00001ad2: JUMP
00001ad3: JUMPDEST
00001ad4: PUSH2 0x1add
00001ad7: SWAP2
00001ad8: SWAP1
00001ad9: PUSH2 0x35ce
00001adc: JUMP
00001add: JUMPDEST
00001ade: PUSH2 0x1ae4
00001ae1: JUMP
00001ae2: JUMPDEST
00001ae3: DUP5
00001ae4: JUMPDEST
00001ae5: SWAP1
00001ae6: POP
00001ae7: DUP3
00001ae8: PUSH2 0x1af0
00001aeb: DUP3
00001aec: PUSH2 0x277d
00001aef: JUMP
00001af0: JUMPDEST
00001af1: PUSH1 0x40
00001af3: MLOAD
00001af4: PUSH1 0x20
00001af6: ADD
00001af7: PUSH2 0x1b01
00001afa: SWAP3
00001afb: SWAP2
00001afc: SWAP1
00001afd: PUSH2 0x33aa
00001b00: JUMP
00001b01: JUMPDEST
00001b02: PUSH1 0x40
00001b04: MLOAD
00001b05: PUSH1 0x20
00001b07: DUP2
00001b08: DUP4
00001b09: SUB
00001b0a: SUB
00001b0b: DUP2
00001b0c: MSTORE
00001b0d: SWAP1
00001b0e: PUSH1 0x40
00001b10: MSTORE
00001b11: SWAP4
00001b12: POP
00001b13: POP
00001b14: POP
00001b15: POP
00001b16: SWAP2
00001b17: SWAP1
00001b18: POP
00001b19: JUMP
00001b1a: JUMPDEST
00001b1b: POP
00001b1c: SWAP2
00001b1d: SWAP1
00001b1e: POP
00001b1f: JUMP
00001b20: JUMPDEST
00001b21: PUSH1 0x00
00001b23: SLOAD
00001b24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b39: AND
00001b3a: CALLER
00001b3b: EQ
00001b3c: PUSH2 0x1ba1
00001b3f: JUMPI
00001b40: PUSH1 0x40
00001b42: MLOAD
00001b43: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b64: DUP2
00001b65: MSTORE
00001b66: PUSH1 0x20
00001b68: PUSH1 0x04
00001b6a: DUP3
00001b6b: ADD
00001b6c: DUP2
00001b6d: SWAP1
00001b6e: MSTORE
00001b6f: PUSH1 0x24
00001b71: DUP3
00001b72: ADD
00001b73: MSTORE
00001b74: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001b95: PUSH1 0x44
00001b97: DUP3
00001b98: ADD
00001b99: MSTORE
00001b9a: PUSH1 0x64
00001b9c: ADD
00001b9d: PUSH2 0x089e
00001ba0: JUMP
00001ba1: JUMPDEST
00001ba2: PUSH1 0x11
00001ba4: SLOAD
00001ba5: ISZERO
00001ba6: PUSH2 0x1bb0
00001ba9: JUMPI
00001baa: PUSH1 0x00
00001bac: PUSH2 0x1bb2
00001baf: JUMP
00001bb0: JUMPDEST
00001bb1: TIMESTAMP
00001bb2: JUMPDEST
00001bb3: PUSH1 0x11
00001bb5: SSTORE
00001bb6: PUSH1 0x13
00001bb8: SSTORE
00001bb9: JUMP
00001bba: JUMPDEST
00001bbb: PUSH1 0x00
00001bbd: SLOAD
00001bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd3: AND
00001bd4: CALLER
00001bd5: EQ
00001bd6: PUSH2 0x1c3b
00001bd9: JUMPI
00001bda: PUSH1 0x40
00001bdc: MLOAD
00001bdd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bfe: DUP2
00001bff: MSTORE
00001c00: PUSH1 0x20
00001c02: PUSH1 0x04
00001c04: DUP3
00001c05: ADD
00001c06: DUP2
00001c07: SWAP1
00001c08: MSTORE
00001c09: PUSH1 0x24
00001c0b: DUP3
00001c0c: ADD
00001c0d: MSTORE
00001c0e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001c2f: PUSH1 0x44
00001c31: DUP3
00001c32: ADD
00001c33: MSTORE
00001c34: PUSH1 0x64
00001c36: ADD
00001c37: PUSH2 0x089e
00001c3a: JUMP
00001c3b: JUMPDEST
00001c3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c51: DUP2
00001c52: AND
00001c53: PUSH2 0x1cde
00001c56: JUMPI
00001c57: PUSH1 0x40
00001c59: MLOAD
00001c5a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c7b: DUP2
00001c7c: MSTORE
00001c7d: PUSH1 0x20
00001c7f: PUSH1 0x04
00001c81: DUP3
00001c82: ADD
00001c83: MSTORE
00001c84: PUSH1 0x26
00001c86: PUSH1 0x24
00001c88: DUP3
00001c89: ADD
00001c8a: MSTORE
00001c8b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001cac: PUSH1 0x44
00001cae: DUP3
00001caf: ADD
00001cb0: MSTORE
00001cb1: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001cd2: PUSH1 0x64
00001cd4: DUP3
00001cd5: ADD
00001cd6: MSTORE
00001cd7: PUSH1 0x84
00001cd9: ADD
00001cda: PUSH2 0x089e
00001cdd: JUMP
00001cde: JUMPDEST
00001cdf: PUSH2 0x0dbf
00001ce2: DUP2
00001ce3: PUSH2 0x23a4
00001ce6: JUMP
00001ce7: JUMPDEST
00001ce8: EXTCODESIZE
00001ce9: ISZERO
00001cea: ISZERO
00001ceb: SWAP1
00001cec: JUMP
00001ced: JUMPDEST
00001cee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d03: DUP4
00001d04: AND
00001d05: PUSH2 0x1d55
00001d08: JUMPI
00001d09: PUSH2 0x1d50
00001d0c: DUP2
00001d0d: PUSH1 0x09
00001d0f: DUP1
00001d10: SLOAD
00001d11: PUSH1 0x00
00001d13: DUP4
00001d14: DUP2
00001d15: MSTORE
00001d16: PUSH1 0x0a
00001d18: PUSH1 0x20
00001d1a: MSTORE
00001d1b: PUSH1 0x40
00001d1d: DUP2
00001d1e: KECCAK256
00001d1f: DUP3
00001d20: SWAP1
00001d21: SSTORE
00001d22: PUSH1 0x01
00001d24: DUP3
00001d25: ADD
00001d26: DUP4
00001d27: SSTORE
00001d28: SWAP2
00001d29: SWAP1
00001d2a: SWAP2
00001d2b: MSTORE
00001d2c: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af
00001d4d: ADD
00001d4e: SSTORE
00001d4f: JUMP
00001d50: JUMPDEST
00001d51: PUSH2 0x1d92
00001d54: JUMP
00001d55: JUMPDEST
00001d56: DUP2
00001d57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d6c: AND
00001d6d: DUP4
00001d6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d83: AND
00001d84: EQ
00001d85: PUSH2 0x1d92
00001d88: JUMPI
00001d89: PUSH2 0x1d92
00001d8c: DUP4
00001d8d: DUP3
00001d8e: PUSH2 0x28af
00001d91: JUMP
00001d92: JUMPDEST
00001d93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da8: DUP3
00001da9: AND
00001daa: PUSH2 0x1db6
00001dad: JUMPI
00001dae: PUSH2 0x0a58
00001db1: DUP2
00001db2: PUSH2 0x2966
00001db5: JUMP
00001db6: JUMPDEST
00001db7: DUP3
00001db8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dcd: AND
00001dce: DUP3
00001dcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de4: AND
00001de5: EQ
00001de6: PUSH2 0x0a58
00001de9: JUMPI
00001dea: PUSH2 0x0a58
00001ded: DUP3
00001dee: DUP3
00001def: PUSH2 0x2a15
00001df2: JUMP
00001df3: JUMPDEST
00001df4: PUSH1 0x00
00001df6: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001e17: DUP3
00001e18: AND
00001e19: PUSH32 0x780e9d6300000000000000000000000000000000000000000000000000000000
00001e3a: EQ
00001e3b: DUP1
00001e3c: PUSH2 0x0759
00001e3f: JUMPI
00001e40: POP
00001e41: PUSH2 0x0759
00001e44: DUP3
00001e45: PUSH2 0x2a66
00001e48: JUMP
00001e49: JUMPDEST
00001e4a: PUSH1 0x00
00001e4c: DUP2
00001e4d: DUP2
00001e4e: MSTORE
00001e4f: PUSH1 0x05
00001e51: PUSH1 0x20
00001e53: MSTORE
00001e54: PUSH1 0x40
00001e56: SWAP1
00001e57: KECCAK256
00001e58: DUP1
00001e59: SLOAD
00001e5a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001e7b: AND
00001e7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e91: DUP5
00001e92: AND
00001e93: SWAP1
00001e94: DUP2
00001e95: OR
00001e96: SWAP1
00001e97: SWAP2
00001e98: SSTORE
00001e99: DUP2
00001e9a: SWAP1
00001e9b: PUSH2 0x1ea3
00001e9e: DUP3
00001e9f: PUSH2 0x1047
00001ea2: JUMP
00001ea3: JUMPDEST
00001ea4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb9: AND
00001eba: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001edb: PUSH1 0x40
00001edd: MLOAD
00001ede: PUSH1 0x40
00001ee0: MLOAD
00001ee1: DUP1
00001ee2: SWAP2
00001ee3: SUB
00001ee4: SWAP1
00001ee5: LOG4
00001ee6: POP
00001ee7: POP
00001ee8: JUMP
00001ee9: JUMPDEST
00001eea: PUSH1 0x00
00001eec: DUP2
00001eed: DUP2
00001eee: MSTORE
00001eef: PUSH1 0x03
00001ef1: PUSH1 0x20
00001ef3: MSTORE
00001ef4: PUSH1 0x40
00001ef6: DUP2
00001ef7: KECCAK256
00001ef8: SLOAD
00001ef9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0e: AND
00001f0f: PUSH2 0x1f9a
00001f12: JUMPI
00001f13: PUSH1 0x40
00001f15: MLOAD
00001f16: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f37: DUP2
00001f38: MSTORE
00001f39: PUSH1 0x20
00001f3b: PUSH1 0x04
00001f3d: DUP3
00001f3e: ADD
00001f3f: MSTORE
00001f40: PUSH1 0x2c
00001f42: PUSH1 0x24
00001f44: DUP3
00001f45: ADD
00001f46: MSTORE
00001f47: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
00001f68: PUSH1 0x44
00001f6a: DUP3
00001f6b: ADD
00001f6c: MSTORE
00001f6d: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000
00001f8e: PUSH1 0x64
00001f90: DUP3
00001f91: ADD
00001f92: MSTORE
00001f93: PUSH1 0x84
00001f95: ADD
00001f96: PUSH2 0x089e
00001f99: JUMP
00001f9a: JUMPDEST
00001f9b: PUSH1 0x00
00001f9d: PUSH2 0x1fa5
00001fa0: DUP4
00001fa1: PUSH2 0x1047
00001fa4: JUMP
00001fa5: JUMPDEST
00001fa6: SWAP1
00001fa7: POP
00001fa8: DUP1
00001fa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fbe: AND
00001fbf: DUP5
00001fc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd5: AND
00001fd6: EQ
00001fd7: DUP1
00001fd8: PUSH2 0x2014
00001fdb: JUMPI
00001fdc: POP
00001fdd: DUP4
00001fde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff3: AND
00001ff4: PUSH2 0x1ffc
00001ff7: DUP5
00001ff8: PUSH2 0x07f1
00001ffb: JUMP
00001ffc: JUMPDEST
00001ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002012: AND
00002013: EQ
00002014: JUMPDEST
00002015: DUP1
00002016: PUSH2 0x2051
00002019: JUMPI
0000201a: POP
0000201b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002030: DUP1
00002031: DUP3
00002032: AND
00002033: PUSH1 0x00
00002035: SWAP1
00002036: DUP2
00002037: MSTORE
00002038: PUSH1 0x06
0000203a: PUSH1 0x20
0000203c: SWAP1
0000203d: DUP2
0000203e: MSTORE
0000203f: PUSH1 0x40
00002041: DUP1
00002042: DUP4
00002043: KECCAK256
00002044: SWAP4
00002045: DUP9
00002046: AND
00002047: DUP4
00002048: MSTORE
00002049: SWAP3
0000204a: SWAP1
0000204b: MSTORE
0000204c: KECCAK256
0000204d: SLOAD
0000204e: PUSH1 0xff
00002050: AND
00002051: JUMPDEST
00002052: SWAP5
00002053: SWAP4
00002054: POP
00002055: POP
00002056: POP
00002057: POP
00002058: JUMP
00002059: JUMPDEST
0000205a: DUP3
0000205b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002070: AND
00002071: PUSH2 0x2079
00002074: DUP3
00002075: PUSH2 0x1047
00002078: JUMP
00002079: JUMPDEST
0000207a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000208f: AND
00002090: EQ
00002091: PUSH2 0x211c
00002094: JUMPI
00002095: PUSH1 0x40
00002097: MLOAD
00002098: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020b9: DUP2
000020ba: MSTORE
000020bb: PUSH1 0x20
000020bd: PUSH1 0x04
000020bf: DUP3
000020c0: ADD
000020c1: MSTORE
000020c2: PUSH1 0x29
000020c4: PUSH1 0x24
000020c6: DUP3
000020c7: ADD
000020c8: MSTORE
000020c9: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069
000020ea: PUSH1 0x44
000020ec: DUP3
000020ed: ADD
000020ee: MSTORE
000020ef: PUSH32 0x73206e6f74206f776e0000000000000000000000000000000000000000000000
00002110: PUSH1 0x64
00002112: DUP3
00002113: ADD
00002114: MSTORE
00002115: PUSH1 0x84
00002117: ADD
00002118: PUSH2 0x089e
0000211b: JUMP
0000211c: JUMPDEST
0000211d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002132: DUP3
00002133: AND
00002134: PUSH2 0x21be
00002137: JUMPI
00002138: PUSH1 0x40
0000213a: MLOAD
0000213b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000215c: DUP2
0000215d: MSTORE
0000215e: PUSH1 0x20
00002160: PUSH1 0x04
00002162: DUP3
00002163: ADD
00002164: MSTORE
00002165: PUSH1 0x24
00002167: DUP1
00002168: DUP3
00002169: ADD
0000216a: MSTORE
0000216b: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
0000218c: PUSH1 0x44
0000218e: DUP3
0000218f: ADD
00002190: MSTORE
00002191: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
000021b2: PUSH1 0x64
000021b4: DUP3
000021b5: ADD
000021b6: MSTORE
000021b7: PUSH1 0x84
000021b9: ADD
000021ba: PUSH2 0x089e
000021bd: JUMP
000021be: JUMPDEST
000021bf: PUSH2 0x21c9
000021c2: DUP4
000021c3: DUP4
000021c4: DUP4
000021c5: PUSH2 0x2b49
000021c8: JUMP
000021c9: JUMPDEST
000021ca: PUSH2 0x21d4
000021cd: PUSH1 0x00
000021cf: DUP3
000021d0: PUSH2 0x1e49
000021d3: JUMP
000021d4: JUMPDEST
000021d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ea: DUP4
000021eb: AND
000021ec: PUSH1 0x00
000021ee: SWAP1
000021ef: DUP2
000021f0: MSTORE
000021f1: PUSH1 0x04
000021f3: PUSH1 0x20
000021f5: MSTORE
000021f6: PUSH1 0x40
000021f8: DUP2
000021f9: KECCAK256
000021fa: DUP1
000021fb: SLOAD
000021fc: PUSH1 0x01
000021fe: SWAP3
000021ff: SWAP1
00002200: PUSH2 0x220a
00002203: SWAP1
00002204: DUP5
00002205: SWAP1
00002206: PUSH2 0x3504
00002209: JUMP
0000220a: JUMPDEST
0000220b: SWAP1
0000220c: SWAP2
0000220d: SSTORE
0000220e: POP
0000220f: POP
00002210: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002225: DUP3
00002226: AND
00002227: PUSH1 0x00
00002229: SWAP1
0000222a: DUP2
0000222b: MSTORE
0000222c: PUSH1 0x04
0000222e: PUSH1 0x20
00002230: MSTORE
00002231: PUSH1 0x40
00002233: DUP2
00002234: KECCAK256
00002235: DUP1
00002236: SLOAD
00002237: PUSH1 0x01
00002239: SWAP3
0000223a: SWAP1
0000223b: PUSH2 0x2245
0000223e: SWAP1
0000223f: DUP5
00002240: SWAP1
00002241: PUSH2 0x349b
00002244: JUMP
00002245: JUMPDEST
00002246: SWAP1
00002247: SWAP2
00002248: SSTORE
00002249: POP
0000224a: POP
0000224b: PUSH1 0x00
0000224d: DUP2
0000224e: DUP2
0000224f: MSTORE
00002250: PUSH1 0x03
00002252: PUSH1 0x20
00002254: MSTORE
00002255: PUSH1 0x40
00002257: DUP1
00002258: DUP3
00002259: KECCAK256
0000225a: DUP1
0000225b: SLOAD
0000225c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000227d: AND
0000227e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002293: DUP7
00002294: DUP2
00002295: AND
00002296: SWAP2
00002297: DUP3
00002298: OR
00002299: SWAP1
0000229a: SWAP3
0000229b: SSTORE
0000229c: SWAP2
0000229d: MLOAD
0000229e: DUP5
0000229f: SWAP4
000022a0: SWAP2
000022a1: DUP8
000022a2: AND
000022a3: SWAP2
000022a4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000022c5: SWAP2
000022c6: LOG4
000022c7: POP
000022c8: POP
000022c9: POP
000022ca: JUMP
000022cb: JUMPDEST
000022cc: PUSH1 0x00
000022ce: PUSH2 0x22d6
000022d1: DUP3
000022d2: PUSH2 0x1047
000022d5: JUMP
000022d6: JUMPDEST
000022d7: SWAP1
000022d8: POP
000022d9: PUSH2 0x22e4
000022dc: DUP2
000022dd: PUSH1 0x00
000022df: DUP5
000022e0: PUSH2 0x2b49
000022e3: JUMP
000022e4: JUMPDEST
000022e5: PUSH2 0x22ef
000022e8: PUSH1 0x00
000022ea: DUP4
000022eb: PUSH2 0x1e49
000022ee: JUMP
000022ef: JUMPDEST
000022f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002305: DUP2
00002306: AND
00002307: PUSH1 0x00
00002309: SWAP1
0000230a: DUP2
0000230b: MSTORE
0000230c: PUSH1 0x04
0000230e: PUSH1 0x20
00002310: MSTORE
00002311: PUSH1 0x40
00002313: DUP2
00002314: KECCAK256
00002315: DUP1
00002316: SLOAD
00002317: PUSH1 0x01
00002319: SWAP3
0000231a: SWAP1
0000231b: PUSH2 0x2325
0000231e: SWAP1
0000231f: DUP5
00002320: SWAP1
00002321: PUSH2 0x3504
00002324: JUMP
00002325: JUMPDEST
00002326: SWAP1
00002327: SWAP2
00002328: SSTORE
00002329: POP
0000232a: POP
0000232b: PUSH1 0x00
0000232d: DUP3
0000232e: DUP2
0000232f: MSTORE
00002330: PUSH1 0x03
00002332: PUSH1 0x20
00002334: MSTORE
00002335: PUSH1 0x40
00002337: DUP1
00002338: DUP3
00002339: KECCAK256
0000233a: DUP1
0000233b: SLOAD
0000233c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000235d: AND
0000235e: SWAP1
0000235f: SSTORE
00002360: MLOAD
00002361: DUP4
00002362: SWAP2
00002363: SWAP1
00002364: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002379: DUP5
0000237a: AND
0000237b: SWAP1
0000237c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000239d: SWAP1
0000239e: DUP4
0000239f: SWAP1
000023a0: LOG4
000023a1: POP
000023a2: POP
000023a3: JUMP
000023a4: JUMPDEST
000023a5: PUSH1 0x00
000023a7: DUP1
000023a8: SLOAD
000023a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023be: DUP4
000023bf: DUP2
000023c0: AND
000023c1: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000023e2: DUP4
000023e3: AND
000023e4: DUP2
000023e5: OR
000023e6: DUP5
000023e7: SSTORE
000023e8: PUSH1 0x40
000023ea: MLOAD
000023eb: SWAP2
000023ec: SWAP1
000023ed: SWAP3
000023ee: AND
000023ef: SWAP3
000023f0: DUP4
000023f1: SWAP2
000023f2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002413: SWAP2
00002414: SWAP1
00002415: LOG3
00002416: POP
00002417: POP
00002418: JUMP
00002419: JUMPDEST
0000241a: DUP2
0000241b: PUSH1 0x0d
0000241d: SLOAD
0000241e: EQ
0000241f: PUSH2 0x2484
00002422: JUMPI
00002423: PUSH1 0x40
00002425: MLOAD
00002426: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002447: DUP2
00002448: MSTORE
00002449: PUSH1 0x20
0000244b: PUSH1 0x04
0000244d: DUP3
0000244e: ADD
0000244f: MSTORE
00002450: PUSH1 0x0d
00002452: PUSH1 0x24
00002454: DUP3
00002455: ADD
00002456: MSTORE
00002457: PUSH32 0x57726f6e67207265717565737400000000000000000000000000000000000000
00002478: PUSH1 0x44
0000247a: DUP3
0000247b: ADD
0000247c: MSTORE
0000247d: PUSH1 0x64
0000247f: ADD
00002480: PUSH2 0x089e
00002483: JUMP
00002484: JUMPDEST
00002485: PUSH1 0x12
00002487: SLOAD
00002488: ISZERO
00002489: PUSH2 0x24ee
0000248c: JUMPI
0000248d: PUSH1 0x40
0000248f: MLOAD
00002490: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024b1: DUP2
000024b2: MSTORE
000024b3: PUSH1 0x20
000024b5: PUSH1 0x04
000024b7: DUP3
000024b8: ADD
000024b9: MSTORE
000024ba: PUSH1 0x10
000024bc: PUSH1 0x24
000024be: DUP3
000024bf: ADD
000024c0: MSTORE
000024c1: PUSH32 0x416c72656164792072657665616c656400000000000000000000000000000000
000024e2: PUSH1 0x44
000024e4: DUP3
000024e5: ADD
000024e6: MSTORE
000024e7: PUSH1 0x64
000024e9: ADD
000024ea: PUSH2 0x089e
000024ed: JUMP
000024ee: JUMPDEST
000024ef: PUSH1 0x01
000024f1: PUSH1 0x10
000024f3: SLOAD
000024f4: PUSH2 0x24fd
000024f7: SWAP2
000024f8: SWAP1
000024f9: PUSH2 0x3504
000024fc: JUMP
000024fd: JUMPDEST
000024fe: PUSH2 0x2507
00002501: SWAP1
00002502: DUP3
00002503: PUSH2 0x35ce
00002506: JUMP
00002507: JUMPDEST
00002508: PUSH2 0x2512
0000250b: SWAP1
0000250c: PUSH1 0x01
0000250e: PUSH2 0x349b
00002511: JUMP
00002512: JUMPDEST
00002513: PUSH1 0x12
00002515: SSTORE
00002516: POP
00002517: POP
00002518: JUMP
00002519: JUMPDEST
0000251a: PUSH2 0x1043
0000251d: DUP3
0000251e: DUP3
0000251f: PUSH1 0x40
00002521: MLOAD
00002522: DUP1
00002523: PUSH1 0x20
00002525: ADD
00002526: PUSH1 0x40
00002528: MSTORE
00002529: DUP1
0000252a: PUSH1 0x00
0000252c: DUP2
0000252d: MSTORE
0000252e: POP
0000252f: PUSH2 0x2b54
00002532: JUMP
00002533: JUMPDEST
00002534: PUSH1 0x00
00002536: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca
00002557: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000256c: AND
0000256d: PUSH4 0x4000aea0
00002572: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952
00002593: DUP5
00002594: DUP7
00002595: PUSH1 0x00
00002597: PUSH1 0x40
00002599: MLOAD
0000259a: PUSH1 0x20
0000259c: ADD
0000259d: PUSH2 0x25b0
000025a0: SWAP3
000025a1: SWAP2
000025a2: SWAP1
000025a3: SWAP2
000025a4: DUP3
000025a5: MSTORE
000025a6: PUSH1 0x20
000025a8: DUP3
000025a9: ADD
000025aa: MSTORE
000025ab: PUSH1 0x40
000025ad: ADD
000025ae: SWAP1
000025af: JUMP
000025b0: JUMPDEST
000025b1: PUSH1 0x40
000025b3: MLOAD
000025b4: PUSH1 0x20
000025b6: DUP2
000025b7: DUP4
000025b8: SUB
000025b9: SUB
000025ba: DUP2
000025bb: MSTORE
000025bc: SWAP1
000025bd: PUSH1 0x40
000025bf: MSTORE
000025c0: PUSH1 0x40
000025c2: MLOAD
000025c3: DUP5
000025c4: PUSH4 0xffffffff
000025c9: AND
000025ca: PUSH1 0xe0
000025cc: SHL
000025cd: DUP2
000025ce: MSTORE
000025cf: PUSH1 0x04
000025d1: ADD
000025d2: PUSH2 0x25dd
000025d5: SWAP4
000025d6: SWAP3
000025d7: SWAP2
000025d8: SWAP1
000025d9: PUSH2 0x344a
000025dc: JUMP
000025dd: JUMPDEST
000025de: PUSH1 0x20
000025e0: PUSH1 0x40
000025e2: MLOAD
000025e3: DUP1
000025e4: DUP4
000025e5: SUB
000025e6: DUP2
000025e7: PUSH1 0x00
000025e9: DUP8
000025ea: DUP1
000025eb: EXTCODESIZE
000025ec: ISZERO
000025ed: DUP1
000025ee: ISZERO
000025ef: PUSH2 0x25f7
000025f2: JUMPI
000025f3: PUSH1 0x00
000025f5: DUP1
000025f6: REVERT
000025f7: JUMPDEST
000025f8: POP
000025f9: GAS
000025fa: CALL
000025fb: ISZERO
000025fc: DUP1
000025fd: ISZERO
000025fe: PUSH2 0x260b
00002601: JUMPI
00002602: RETURNDATASIZE
00002603: PUSH1 0x00
00002605: DUP1
00002606: RETURNDATACOPY
00002607: RETURNDATASIZE
00002608: PUSH1 0x00
0000260a: REVERT
0000260b: JUMPDEST
0000260c: POP
0000260d: POP
0000260e: POP
0000260f: POP
00002610: PUSH1 0x40
00002612: MLOAD
00002613: RETURNDATASIZE
00002614: PUSH1 0x1f
00002616: NOT
00002617: PUSH1 0x1f
00002619: DUP3
0000261a: ADD
0000261b: AND
0000261c: DUP3
0000261d: ADD
0000261e: DUP1
0000261f: PUSH1 0x40
00002621: MSTORE
00002622: POP
00002623: DUP2
00002624: ADD
00002625: SWAP1
00002626: PUSH2 0x262f
00002629: SWAP2
0000262a: SWAP1
0000262b: PUSH2 0x3285
0000262e: JUMP
0000262f: JUMPDEST
00002630: POP
00002631: PUSH1 0x00
00002633: DUP4
00002634: DUP2
00002635: MSTORE
00002636: PUSH1 0x0b
00002638: PUSH1 0x20
0000263a: DUP2
0000263b: DUP2
0000263c: MSTORE
0000263d: PUSH1 0x40
0000263f: DUP1
00002640: DUP5
00002641: KECCAK256
00002642: SLOAD
00002643: DUP2
00002644: MLOAD
00002645: DUP1
00002646: DUP5
00002647: ADD
00002648: DUP10
00002649: SWAP1
0000264a: MSTORE
0000264b: DUP1
0000264c: DUP4
0000264d: ADD
0000264e: DUP7
0000264f: SWAP1
00002650: MSTORE
00002651: ADDRESS
00002652: PUSH1 0x60
00002654: DUP3
00002655: ADD
00002656: MSTORE
00002657: PUSH1 0x80
00002659: DUP1
0000265a: DUP3
0000265b: ADD
0000265c: DUP4
0000265d: SWAP1
0000265e: MSTORE
0000265f: DUP4
00002660: MLOAD
00002661: DUP1
00002662: DUP4
00002663: SUB
00002664: SWAP1
00002665: SWAP2
00002666: ADD
00002667: DUP2
00002668: MSTORE
00002669: PUSH1 0xa0
0000266b: SWAP1
0000266c: SWAP2
0000266d: ADD
0000266e: SWAP1
0000266f: SWAP3
00002670: MSTORE
00002671: DUP2
00002672: MLOAD
00002673: SWAP2
00002674: DUP4
00002675: ADD
00002676: SWAP2
00002677: SWAP1
00002678: SWAP2
00002679: KECCAK256
0000267a: SWAP4
0000267b: DUP8
0000267c: SWAP1
0000267d: MSTORE
0000267e: SWAP2
0000267f: SWAP1
00002680: MSTORE
00002681: PUSH2 0x268b
00002684: SWAP1
00002685: PUSH1 0x01
00002687: PUSH2 0x349b
0000268a: JUMP
0000268b: JUMPDEST
0000268c: PUSH1 0x00
0000268e: DUP6
0000268f: DUP2
00002690: MSTORE
00002691: PUSH1 0x0b
00002693: PUSH1 0x20
00002695: MSTORE
00002696: PUSH1 0x40
00002698: SWAP1
00002699: KECCAK256
0000269a: SSTORE
0000269b: PUSH2 0x2051
0000269e: DUP5
0000269f: DUP3
000026a0: PUSH1 0x40
000026a2: DUP1
000026a3: MLOAD
000026a4: PUSH1 0x20
000026a6: DUP1
000026a7: DUP3
000026a8: ADD
000026a9: SWAP5
000026aa: SWAP1
000026ab: SWAP5
000026ac: MSTORE
000026ad: DUP1
000026ae: DUP3
000026af: ADD
000026b0: SWAP3
000026b1: SWAP1
000026b2: SWAP3
000026b3: MSTORE
000026b4: DUP1
000026b5: MLOAD
000026b6: DUP1
000026b7: DUP4
000026b8: SUB
000026b9: DUP3
000026ba: ADD
000026bb: DUP2
000026bc: MSTORE
000026bd: PUSH1 0x60
000026bf: SWAP1
000026c0: SWAP3
000026c1: ADD
000026c2: SWAP1
000026c3: MSTORE
000026c4: DUP1
000026c5: MLOAD
000026c6: SWAP2
000026c7: ADD
000026c8: KECCAK256
000026c9: SWAP1
000026ca: JUMP
000026cb: JUMPDEST
000026cc: PUSH2 0x26d6
000026cf: DUP5
000026d0: DUP5
000026d1: DUP5
000026d2: PUSH2 0x2059
000026d5: JUMP
000026d6: JUMPDEST
000026d7: PUSH2 0x26e2
000026da: DUP5
000026db: DUP5
000026dc: DUP5
000026dd: DUP5
000026de: PUSH2 0x2bf7
000026e1: JUMP
000026e2: JUMPDEST
000026e3: PUSH2 0x1a5f
000026e6: JUMPI
000026e7: PUSH1 0x40
000026e9: MLOAD
000026ea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000270b: DUP2
0000270c: MSTORE
0000270d: PUSH1 0x20
0000270f: PUSH1 0x04
00002711: DUP3
00002712: ADD
00002713: MSTORE
00002714: PUSH1 0x32
00002716: PUSH1 0x24
00002718: DUP3
00002719: ADD
0000271a: MSTORE
0000271b: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
0000273c: PUSH1 0x44
0000273e: DUP3
0000273f: ADD
00002740: MSTORE
00002741: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
00002762: PUSH1 0x64
00002764: DUP3
00002765: ADD
00002766: MSTORE
00002767: PUSH1 0x84
00002769: ADD
0000276a: PUSH2 0x089e
0000276d: JUMP
0000276e: JUMPDEST
0000276f: PUSH1 0x60
00002771: PUSH1 0x0c
00002773: DUP1
00002774: SLOAD
00002775: PUSH2 0x076e
00002778: SWAP1
00002779: PUSH2 0x3547
0000277c: JUMP
0000277d: JUMPDEST
0000277e: PUSH1 0x60
00002780: DUP2
00002781: PUSH2 0x27bd
00002784: JUMPI
00002785: POP
00002786: POP
00002787: PUSH1 0x40
00002789: DUP1
0000278a: MLOAD
0000278b: DUP1
0000278c: DUP3
0000278d: ADD
0000278e: SWAP1
0000278f: SWAP2
00002790: MSTORE
00002791: PUSH1 0x01
00002793: DUP2
00002794: MSTORE
00002795: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
000027b6: PUSH1 0x20
000027b8: DUP3
000027b9: ADD
000027ba: MSTORE
000027bb: SWAP1
000027bc: JUMP
000027bd: JUMPDEST
000027be: DUP2
000027bf: PUSH1 0x00
000027c1: JUMPDEST
000027c2: DUP2
000027c3: ISZERO
000027c4: PUSH2 0x27e7
000027c7: JUMPI
000027c8: DUP1
000027c9: PUSH2 0x27d1
000027cc: DUP2
000027cd: PUSH2 0x3595
000027d0: JUMP
000027d1: JUMPDEST
000027d2: SWAP2
000027d3: POP
000027d4: PUSH2 0x27e0
000027d7: SWAP1
000027d8: POP
000027d9: PUSH1 0x0a
000027db: DUP4
000027dc: PUSH2 0x34b3
000027df: JUMP
000027e0: JUMPDEST
000027e1: SWAP2
000027e2: POP
000027e3: PUSH2 0x27c1
000027e6: JUMP
000027e7: JUMPDEST
000027e8: PUSH1 0x00
000027ea: DUP2
000027eb: PUSH8 0xffffffffffffffff
000027f4: DUP2
000027f5: GT
000027f6: ISZERO
000027f7: PUSH2 0x2802
000027fa: JUMPI
000027fb: PUSH2 0x2802
000027fe: PUSH2 0x369e
00002801: JUMP
00002802: JUMPDEST
00002803: PUSH1 0x40
00002805: MLOAD
00002806: SWAP1
00002807: DUP1
00002808: DUP3
00002809: MSTORE
0000280a: DUP1
0000280b: PUSH1 0x1f
0000280d: ADD
0000280e: PUSH1 0x1f
00002810: NOT
00002811: AND
00002812: PUSH1 0x20
00002814: ADD
00002815: DUP3
00002816: ADD
00002817: PUSH1 0x40
00002819: MSTORE
0000281a: DUP1
0000281b: ISZERO
0000281c: PUSH2 0x282c
0000281f: JUMPI
00002820: PUSH1 0x20
00002822: DUP3
00002823: ADD
00002824: DUP2
00002825: DUP1
00002826: CALLDATASIZE
00002827: DUP4
00002828: CALLDATACOPY
00002829: ADD
0000282a: SWAP1
0000282b: POP
0000282c: JUMPDEST
0000282d: POP
0000282e: SWAP1
0000282f: POP
00002830: JUMPDEST
00002831: DUP5
00002832: ISZERO
00002833: PUSH2 0x2051
00002836: JUMPI
00002837: PUSH2 0x2841
0000283a: PUSH1 0x01
0000283c: DUP4
0000283d: PUSH2 0x3504
00002840: JUMP
00002841: JUMPDEST
00002842: SWAP2
00002843: POP
00002844: PUSH2 0x284e
00002847: PUSH1 0x0a
00002849: DUP7
0000284a: PUSH2 0x35ce
0000284d: JUMP
0000284e: JUMPDEST
0000284f: PUSH2 0x2859
00002852: SWAP1
00002853: PUSH1 0x30
00002855: PUSH2 0x349b
00002858: JUMP
00002859: JUMPDEST
0000285a: PUSH1 0xf8
0000285c: SHL
0000285d: DUP2
0000285e: DUP4
0000285f: DUP2
00002860: MLOAD
00002861: DUP2
00002862: LT
00002863: PUSH2 0x286e
00002866: JUMPI
00002867: PUSH2 0x286e
0000286a: PUSH2 0x366f
0000286d: JUMP
0000286e: JUMPDEST
0000286f: PUSH1 0x20
00002871: ADD
00002872: ADD
00002873: SWAP1
00002874: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002894: NOT
00002895: AND
00002896: SWAP1
00002897: DUP2
00002898: PUSH1 0x00
0000289a: BYTE
0000289b: SWAP1
0000289c: MSTORE8
0000289d: POP
0000289e: PUSH2 0x28a8
000028a1: PUSH1 0x0a
000028a3: DUP7
000028a4: PUSH2 0x34b3
000028a7: JUMP
000028a8: JUMPDEST
000028a9: SWAP5
000028aa: POP
000028ab: PUSH2 0x2830
000028ae: JUMP
000028af: JUMPDEST
000028b0: PUSH1 0x00
000028b2: PUSH1 0x01
000028b4: PUSH2 0x28bc
000028b7: DUP5
000028b8: PUSH2 0x1115
000028bb: JUMP
000028bc: JUMPDEST
000028bd: PUSH2 0x28c6
000028c0: SWAP2
000028c1: SWAP1
000028c2: PUSH2 0x3504
000028c5: JUMP
000028c6: JUMPDEST
000028c7: PUSH1 0x00
000028c9: DUP4
000028ca: DUP2
000028cb: MSTORE
000028cc: PUSH1 0x08
000028ce: PUSH1 0x20
000028d0: MSTORE
000028d1: PUSH1 0x40
000028d3: SWAP1
000028d4: KECCAK256
000028d5: SLOAD
000028d6: SWAP1
000028d7: SWAP2
000028d8: POP
000028d9: DUP1
000028da: DUP3
000028db: EQ
000028dc: PUSH2 0x2926
000028df: JUMPI
000028e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028f5: DUP5
000028f6: AND
000028f7: PUSH1 0x00
000028f9: SWAP1
000028fa: DUP2
000028fb: MSTORE
000028fc: PUSH1 0x07
000028fe: PUSH1 0x20
00002900: SWAP1
00002901: DUP2
00002902: MSTORE
00002903: PUSH1 0x40
00002905: DUP1
00002906: DUP4
00002907: KECCAK256
00002908: DUP6
00002909: DUP5
0000290a: MSTORE
0000290b: DUP3
0000290c: MSTORE
0000290d: DUP1
0000290e: DUP4
0000290f: KECCAK256
00002910: SLOAD
00002911: DUP5
00002912: DUP5
00002913: MSTORE
00002914: DUP2
00002915: DUP5
00002916: KECCAK256
00002917: DUP2
00002918: SWAP1
00002919: SSTORE
0000291a: DUP4
0000291b: MSTORE
0000291c: PUSH1 0x08
0000291e: SWAP1
0000291f: SWAP2
00002920: MSTORE
00002921: SWAP1
00002922: KECCAK256
00002923: DUP2
00002924: SWAP1
00002925: SSTORE
00002926: JUMPDEST
00002927: POP
00002928: PUSH1 0x00
0000292a: SWAP2
0000292b: DUP3
0000292c: MSTORE
0000292d: PUSH1 0x08
0000292f: PUSH1 0x20
00002931: SWAP1
00002932: DUP2
00002933: MSTORE
00002934: PUSH1 0x40
00002936: DUP1
00002937: DUP5
00002938: KECCAK256
00002939: DUP5
0000293a: SWAP1
0000293b: SSTORE
0000293c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002951: SWAP1
00002952: SWAP5
00002953: AND
00002954: DUP4
00002955: MSTORE
00002956: PUSH1 0x07
00002958: DUP2
00002959: MSTORE
0000295a: DUP4
0000295b: DUP4
0000295c: KECCAK256
0000295d: SWAP2
0000295e: DUP4
0000295f: MSTORE
00002960: MSTORE
00002961: SWAP1
00002962: DUP2
00002963: KECCAK256
00002964: SSTORE
00002965: JUMP
00002966: JUMPDEST
00002967: PUSH1 0x09
00002969: SLOAD
0000296a: PUSH1 0x00
0000296c: SWAP1
0000296d: PUSH2 0x2978
00002970: SWAP1
00002971: PUSH1 0x01
00002973: SWAP1
00002974: PUSH2 0x3504
00002977: JUMP
00002978: JUMPDEST
00002979: PUSH1 0x00
0000297b: DUP4
0000297c: DUP2
0000297d: MSTORE
0000297e: PUSH1 0x0a
00002980: PUSH1 0x20
00002982: MSTORE
00002983: PUSH1 0x40
00002985: DUP2
00002986: KECCAK256
00002987: SLOAD
00002988: PUSH1 0x09
0000298a: DUP1
0000298b: SLOAD
0000298c: SWAP4
0000298d: SWAP5
0000298e: POP
0000298f: SWAP1
00002990: SWAP3
00002991: DUP5
00002992: SWAP1
00002993: DUP2
00002994: LT
00002995: PUSH2 0x29a0
00002998: JUMPI
00002999: PUSH2 0x29a0
0000299c: PUSH2 0x366f
0000299f: JUMP
000029a0: JUMPDEST
000029a1: SWAP1
000029a2: PUSH1 0x00
000029a4: MSTORE
000029a5: PUSH1 0x20
000029a7: PUSH1 0x00
000029a9: KECCAK256
000029aa: ADD
000029ab: SLOAD
000029ac: SWAP1
000029ad: POP
000029ae: DUP1
000029af: PUSH1 0x09
000029b1: DUP4
000029b2: DUP2
000029b3: SLOAD
000029b4: DUP2
000029b5: LT
000029b6: PUSH2 0x29c1
000029b9: JUMPI
000029ba: PUSH2 0x29c1
000029bd: PUSH2 0x366f
000029c0: JUMP
000029c1: JUMPDEST
000029c2: PUSH1 0x00
000029c4: SWAP2
000029c5: DUP3
000029c6: MSTORE
000029c7: PUSH1 0x20
000029c9: DUP1
000029ca: DUP4
000029cb: KECCAK256
000029cc: SWAP1
000029cd: SWAP2
000029ce: ADD
000029cf: SWAP3
000029d0: SWAP1
000029d1: SWAP3
000029d2: SSTORE
000029d3: DUP3
000029d4: DUP2
000029d5: MSTORE
000029d6: PUSH1 0x0a
000029d8: SWAP1
000029d9: SWAP2
000029da: MSTORE
000029db: PUSH1 0x40
000029dd: DUP1
000029de: DUP3
000029df: KECCAK256
000029e0: DUP5
000029e1: SWAP1
000029e2: SSTORE
000029e3: DUP6
000029e4: DUP3
000029e5: MSTORE
000029e6: DUP2
000029e7: KECCAK256
000029e8: SSTORE
000029e9: PUSH1 0x09
000029eb: DUP1
000029ec: SLOAD
000029ed: DUP1
000029ee: PUSH2 0x29f9
000029f1: JUMPI
000029f2: PUSH2 0x29f9
000029f5: PUSH2 0x3640
000029f8: JUMP
000029f9: JUMPDEST
000029fa: PUSH1 0x01
000029fc: SWAP1
000029fd: SUB
000029fe: DUP2
000029ff: DUP2
00002a00: SWAP1
00002a01: PUSH1 0x00
00002a03: MSTORE
00002a04: PUSH1 0x20
00002a06: PUSH1 0x00
00002a08: KECCAK256
00002a09: ADD
00002a0a: PUSH1 0x00
00002a0c: SWAP1
00002a0d: SSTORE
00002a0e: SWAP1
00002a0f: SSTORE
00002a10: POP
00002a11: POP
00002a12: POP
00002a13: POP
00002a14: JUMP
00002a15: JUMPDEST
00002a16: PUSH1 0x00
00002a18: PUSH2 0x2a20
00002a1b: DUP4
00002a1c: PUSH2 0x1115
00002a1f: JUMP
00002a20: JUMPDEST
00002a21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a36: SWAP1
00002a37: SWAP4
00002a38: AND
00002a39: PUSH1 0x00
00002a3b: SWAP1
00002a3c: DUP2
00002a3d: MSTORE
00002a3e: PUSH1 0x07
00002a40: PUSH1 0x20
00002a42: SWAP1
00002a43: DUP2
00002a44: MSTORE
00002a45: PUSH1 0x40
00002a47: DUP1
00002a48: DUP4
00002a49: KECCAK256
00002a4a: DUP7
00002a4b: DUP5
00002a4c: MSTORE
00002a4d: DUP3
00002a4e: MSTORE
00002a4f: DUP1
00002a50: DUP4
00002a51: KECCAK256
00002a52: DUP6
00002a53: SWAP1
00002a54: SSTORE
00002a55: SWAP4
00002a56: DUP3
00002a57: MSTORE
00002a58: PUSH1 0x08
00002a5a: SWAP1
00002a5b: MSTORE
00002a5c: SWAP2
00002a5d: SWAP1
00002a5e: SWAP2
00002a5f: KECCAK256
00002a60: SWAP2
00002a61: SWAP1
00002a62: SWAP2
00002a63: SSTORE
00002a64: POP
00002a65: JUMP
00002a66: JUMPDEST
00002a67: PUSH1 0x00
00002a69: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002a8a: DUP3
00002a8b: AND
00002a8c: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
00002aad: EQ
00002aae: DUP1
00002aaf: PUSH2 0x2af9
00002ab2: JUMPI
00002ab3: POP
00002ab4: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002ad5: DUP3
00002ad6: AND
00002ad7: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
00002af8: EQ
00002af9: JUMPDEST
00002afa: DUP1
00002afb: PUSH2 0x0759
00002afe: JUMPI
00002aff: POP
00002b00: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00002b21: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002b42: DUP4
00002b43: AND
00002b44: EQ
00002b45: PUSH2 0x0759
00002b48: JUMP
00002b49: JUMPDEST
00002b4a: PUSH2 0x0a58
00002b4d: DUP4
00002b4e: DUP4
00002b4f: DUP4
00002b50: PUSH2 0x1ced
00002b53: JUMP
00002b54: JUMPDEST
00002b55: PUSH2 0x2b5e
00002b58: DUP4
00002b59: DUP4
00002b5a: PUSH2 0x2df3
00002b5d: JUMP
00002b5e: JUMPDEST
00002b5f: PUSH2 0x2b6b
00002b62: PUSH1 0x00
00002b64: DUP5
00002b65: DUP5
00002b66: DUP5
00002b67: PUSH2 0x2bf7
00002b6a: JUMP
00002b6b: JUMPDEST
00002b6c: PUSH2 0x0a58
00002b6f: JUMPI
00002b70: PUSH1 0x40
00002b72: MLOAD
00002b73: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b94: DUP2
00002b95: MSTORE
00002b96: PUSH1 0x20
00002b98: PUSH1 0x04
00002b9a: DUP3
00002b9b: ADD
00002b9c: MSTORE
00002b9d: PUSH1 0x32
00002b9f: PUSH1 0x24
00002ba1: DUP3
00002ba2: ADD
00002ba3: MSTORE
00002ba4: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00002bc5: PUSH1 0x44
00002bc7: DUP3
00002bc8: ADD
00002bc9: MSTORE
00002bca: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
00002beb: PUSH1 0x64
00002bed: DUP3
00002bee: ADD
00002bef: MSTORE
00002bf0: PUSH1 0x84
00002bf2: ADD
00002bf3: PUSH2 0x089e
00002bf6: JUMP
00002bf7: JUMPDEST
00002bf8: PUSH1 0x00
00002bfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c0f: DUP5
00002c10: AND
00002c11: EXTCODESIZE
00002c12: ISZERO
00002c13: PUSH2 0x2deb
00002c16: JUMPI
00002c17: PUSH1 0x40
00002c19: MLOAD
00002c1a: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00002c3b: DUP2
00002c3c: MSTORE
00002c3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c52: DUP6
00002c53: AND
00002c54: SWAP1
00002c55: PUSH4 0x150b7a02
00002c5a: SWAP1
00002c5b: PUSH2 0x2c6e
00002c5e: SWAP1
00002c5f: CALLER
00002c60: SWAP1
00002c61: DUP10
00002c62: SWAP1
00002c63: DUP9
00002c64: SWAP1
00002c65: DUP9
00002c66: SWAP1
00002c67: PUSH1 0x04
00002c69: ADD
00002c6a: PUSH2 0x3401
00002c6d: JUMP
00002c6e: JUMPDEST
00002c6f: PUSH1 0x20
00002c71: PUSH1 0x40
00002c73: MLOAD
00002c74: DUP1
00002c75: DUP4
00002c76: SUB
00002c77: DUP2
00002c78: PUSH1 0x00
00002c7a: DUP8
00002c7b: DUP1
00002c7c: EXTCODESIZE
00002c7d: ISZERO
00002c7e: DUP1
00002c7f: ISZERO
00002c80: PUSH2 0x2c88
00002c83: JUMPI
00002c84: PUSH1 0x00
00002c86: DUP1
00002c87: REVERT
00002c88: JUMPDEST
00002c89: POP
00002c8a: GAS
00002c8b: CALL
00002c8c: SWAP3
00002c8d: POP
00002c8e: POP
00002c8f: POP
00002c90: DUP1
00002c91: ISZERO
00002c92: PUSH2 0x2cd6
00002c95: JUMPI
00002c96: POP
00002c97: PUSH1 0x40
00002c99: DUP1
00002c9a: MLOAD
00002c9b: PUSH1 0x1f
00002c9d: RETURNDATASIZE
00002c9e: SWAP1
00002c9f: DUP2
00002ca0: ADD
00002ca1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002cc2: AND
00002cc3: DUP3
00002cc4: ADD
00002cc5: SWAP1
00002cc6: SWAP3
00002cc7: MSTORE
00002cc8: PUSH2 0x2cd3
00002ccb: SWAP2
00002ccc: DUP2
00002ccd: ADD
00002cce: SWAP1
00002ccf: PUSH2 0x32e1
00002cd2: JUMP
00002cd3: JUMPDEST
00002cd4: PUSH1 0x01
00002cd6: JUMPDEST
00002cd7: PUSH2 0x2da0
00002cda: JUMPI
00002cdb: RETURNDATASIZE
00002cdc: DUP1
00002cdd: DUP1
00002cde: ISZERO
00002cdf: PUSH2 0x2d04
00002ce2: JUMPI
00002ce3: PUSH1 0x40
00002ce5: MLOAD
00002ce6: SWAP2
00002ce7: POP
00002ce8: PUSH1 0x1f
00002cea: NOT
00002ceb: PUSH1 0x3f
00002ced: RETURNDATASIZE
00002cee: ADD
00002cef: AND
00002cf0: DUP3
00002cf1: ADD
00002cf2: PUSH1 0x40
00002cf4: MSTORE
00002cf5: RETURNDATASIZE
00002cf6: DUP3
00002cf7: MSTORE
00002cf8: RETURNDATASIZE
00002cf9: PUSH1 0x00
00002cfb: PUSH1 0x20
00002cfd: DUP5
00002cfe: ADD
00002cff: RETURNDATACOPY
00002d00: PUSH2 0x2d09
00002d03: JUMP
00002d04: JUMPDEST
00002d05: PUSH1 0x60
00002d07: SWAP2
00002d08: POP
00002d09: JUMPDEST
00002d0a: POP
00002d0b: DUP1
00002d0c: MLOAD
00002d0d: PUSH2 0x2d98
00002d10: JUMPI
00002d11: PUSH1 0x40
00002d13: MLOAD
00002d14: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d35: DUP2
00002d36: MSTORE
00002d37: PUSH1 0x20
00002d39: PUSH1 0x04
00002d3b: DUP3
00002d3c: ADD
00002d3d: MSTORE
00002d3e: PUSH1 0x32
00002d40: PUSH1 0x24
00002d42: DUP3
00002d43: ADD
00002d44: MSTORE
00002d45: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00002d66: PUSH1 0x44
00002d68: DUP3
00002d69: ADD
00002d6a: MSTORE
00002d6b: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
00002d8c: PUSH1 0x64
00002d8e: DUP3
00002d8f: ADD
00002d90: MSTORE
00002d91: PUSH1 0x84
00002d93: ADD
00002d94: PUSH2 0x089e
00002d97: JUMP
00002d98: JUMPDEST
00002d99: DUP1
00002d9a: MLOAD
00002d9b: DUP2
00002d9c: PUSH1 0x20
00002d9e: ADD
00002d9f: REVERT
00002da0: JUMPDEST
00002da1: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002dc2: AND
00002dc3: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00002de4: EQ
00002de5: SWAP1
00002de6: POP
00002de7: PUSH2 0x2051
00002dea: JUMP
00002deb: JUMPDEST
00002dec: POP
00002ded: PUSH1 0x01
00002def: PUSH2 0x2051
00002df2: JUMP
00002df3: JUMPDEST
00002df4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e09: DUP3
00002e0a: AND
00002e0b: PUSH2 0x2e70
00002e0e: JUMPI
00002e0f: PUSH1 0x40
00002e11: MLOAD
00002e12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e33: DUP2
00002e34: MSTORE
00002e35: PUSH1 0x20
00002e37: PUSH1 0x04
00002e39: DUP3
00002e3a: ADD
00002e3b: DUP2
00002e3c: SWAP1
00002e3d: MSTORE
00002e3e: PUSH1 0x24
00002e40: DUP3
00002e41: ADD
00002e42: MSTORE
00002e43: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00002e64: PUSH1 0x44
00002e66: DUP3
00002e67: ADD
00002e68: MSTORE
00002e69: PUSH1 0x64
00002e6b: ADD
00002e6c: PUSH2 0x089e
00002e6f: JUMP
00002e70: JUMPDEST
00002e71: PUSH1 0x00
00002e73: DUP2
00002e74: DUP2
00002e75: MSTORE
00002e76: PUSH1 0x03
00002e78: PUSH1 0x20
00002e7a: MSTORE
00002e7b: PUSH1 0x40
00002e7d: SWAP1
00002e7e: KECCAK256
00002e7f: SLOAD
00002e80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e95: AND
00002e96: ISZERO
00002e97: PUSH2 0x2efc
00002e9a: JUMPI
00002e9b: PUSH1 0x40
00002e9d: MLOAD
00002e9e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ebf: DUP2
00002ec0: MSTORE
00002ec1: PUSH1 0x20
00002ec3: PUSH1 0x04
00002ec5: DUP3
00002ec6: ADD
00002ec7: MSTORE
00002ec8: PUSH1 0x1c
00002eca: PUSH1 0x24
00002ecc: DUP3
00002ecd: ADD
00002ece: MSTORE
00002ecf: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00002ef0: PUSH1 0x44
00002ef2: DUP3
00002ef3: ADD
00002ef4: MSTORE
00002ef5: PUSH1 0x64
00002ef7: ADD
00002ef8: PUSH2 0x089e
00002efb: JUMP
00002efc: JUMPDEST
00002efd: PUSH2 0x2f08
00002f00: PUSH1 0x00
00002f02: DUP4
00002f03: DUP4
00002f04: PUSH2 0x2b49
00002f07: JUMP
00002f08: JUMPDEST
00002f09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f1e: DUP3
00002f1f: AND
00002f20: PUSH1 0x00
00002f22: SWAP1
00002f23: DUP2
00002f24: MSTORE
00002f25: PUSH1 0x04
00002f27: PUSH1 0x20
00002f29: MSTORE
00002f2a: PUSH1 0x40
00002f2c: DUP2
00002f2d: KECCAK256
00002f2e: DUP1
00002f2f: SLOAD
00002f30: PUSH1 0x01
00002f32: SWAP3
00002f33: SWAP1
00002f34: PUSH2 0x2f3e
00002f37: SWAP1
00002f38: DUP5
00002f39: SWAP1
00002f3a: PUSH2 0x349b
00002f3d: JUMP
00002f3e: JUMPDEST
00002f3f: SWAP1
00002f40: SWAP2
00002f41: SSTORE
00002f42: POP
00002f43: POP
00002f44: PUSH1 0x00
00002f46: DUP2
00002f47: DUP2
00002f48: MSTORE
00002f49: PUSH1 0x03
00002f4b: PUSH1 0x20
00002f4d: MSTORE
00002f4e: PUSH1 0x40
00002f50: DUP1
00002f51: DUP3
00002f52: KECCAK256
00002f53: DUP1
00002f54: SLOAD
00002f55: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002f76: AND
00002f77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f8c: DUP7
00002f8d: AND
00002f8e: SWAP1
00002f8f: DUP2
00002f90: OR
00002f91: SWAP1
00002f92: SWAP2
00002f93: SSTORE
00002f94: SWAP1
00002f95: MLOAD
00002f96: DUP4
00002f97: SWAP3
00002f98: SWAP1
00002f99: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002fba: SWAP1
00002fbb: DUP3
00002fbc: SWAP1
00002fbd: LOG4
00002fbe: POP
00002fbf: POP
00002fc0: JUMP
00002fc1: JUMPDEST
00002fc2: DUP3
00002fc3: DUP1
00002fc4: SLOAD
00002fc5: PUSH2 0x2fcd
00002fc8: SWAP1
00002fc9: PUSH2 0x3547
00002fcc: JUMP
00002fcd: JUMPDEST
00002fce: SWAP1
00002fcf: PUSH1 0x00
00002fd1: MSTORE
00002fd2: PUSH1 0x20
00002fd4: PUSH1 0x00
00002fd6: KECCAK256
00002fd7: SWAP1
00002fd8: PUSH1 0x1f
00002fda: ADD
00002fdb: PUSH1 0x20
00002fdd: SWAP1
00002fde: DIV
00002fdf: DUP2
00002fe0: ADD
00002fe1: SWAP3
00002fe2: DUP3
00002fe3: PUSH2 0x2fef
00002fe6: JUMPI
00002fe7: PUSH1 0x00
00002fe9: DUP6
00002fea: SSTORE
00002feb: PUSH2 0x3035
00002fee: JUMP
00002fef: JUMPDEST
00002ff0: DUP3
00002ff1: PUSH1 0x1f
00002ff3: LT
00002ff4: PUSH2 0x3008
00002ff7: JUMPI
00002ff8: DUP1
00002ff9: MLOAD
00002ffa: PUSH1 0xff
00002ffc: NOT
00002ffd: AND
00002ffe: DUP4
00002fff: DUP1
00003000: ADD
00003001: OR
00003002: DUP6
00003003: SSTORE
00003004: PUSH2 0x3035
00003007: JUMP
00003008: JUMPDEST
00003009: DUP3
0000300a: DUP1
0000300b: ADD
0000300c: PUSH1 0x01
0000300e: ADD
0000300f: DUP6
00003010: SSTORE
00003011: DUP3
00003012: ISZERO
00003013: PUSH2 0x3035
00003016: JUMPI
00003017: SWAP2
00003018: DUP3
00003019: ADD
0000301a: JUMPDEST
0000301b: DUP3
0000301c: DUP2
0000301d: GT
0000301e: ISZERO
0000301f: PUSH2 0x3035
00003022: JUMPI
00003023: DUP3
00003024: MLOAD
00003025: DUP3
00003026: SSTORE
00003027: SWAP2
00003028: PUSH1 0x20
0000302a: ADD
0000302b: SWAP2
0000302c: SWAP1
0000302d: PUSH1 0x01
0000302f: ADD
00003030: SWAP1
00003031: PUSH2 0x301a
00003034: JUMP
00003035: JUMPDEST
00003036: POP
00003037: PUSH2 0x3041
0000303a: SWAP3
0000303b: SWAP2
0000303c: POP
0000303d: PUSH2 0x3045
00003040: JUMP
00003041: JUMPDEST
00003042: POP
00003043: SWAP1
00003044: JUMP
00003045: JUMPDEST
00003046: JUMPDEST
00003047: DUP1
00003048: DUP3
00003049: GT
0000304a: ISZERO
0000304b: PUSH2 0x3041
0000304e: JUMPI
0000304f: PUSH1 0x00
00003051: DUP2
00003052: SSTORE
00003053: PUSH1 0x01
00003055: ADD
00003056: PUSH2 0x3046
00003059: JUMP
0000305a: JUMPDEST
0000305b: PUSH1 0x00
0000305d: PUSH8 0xffffffffffffffff
00003066: DUP1
00003067: DUP5
00003068: GT
00003069: ISZERO
0000306a: PUSH2 0x3075
0000306d: JUMPI
0000306e: PUSH2 0x3075
00003071: PUSH2 0x369e
00003074: JUMP
00003075: JUMPDEST
00003076: PUSH1 0x40
00003078: MLOAD
00003079: PUSH1 0x1f
0000307b: DUP6
0000307c: ADD
0000307d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000309e: SWAP1
0000309f: DUP2
000030a0: AND
000030a1: PUSH1 0x3f
000030a3: ADD
000030a4: AND
000030a5: DUP2
000030a6: ADD
000030a7: SWAP1
000030a8: DUP3
000030a9: DUP3
000030aa: GT
000030ab: DUP2
000030ac: DUP4
000030ad: LT
000030ae: OR
000030af: ISZERO
000030b0: PUSH2 0x30bb
000030b3: JUMPI
000030b4: PUSH2 0x30bb
000030b7: PUSH2 0x369e
000030ba: JUMP
000030bb: JUMPDEST
000030bc: DUP2
000030bd: PUSH1 0x40
000030bf: MSTORE
000030c0: DUP1
000030c1: SWAP4
000030c2: POP
000030c3: DUP6
000030c4: DUP2
000030c5: MSTORE
000030c6: DUP7
000030c7: DUP7
000030c8: DUP7
000030c9: ADD
000030ca: GT
000030cb: ISZERO
000030cc: PUSH2 0x30d4
000030cf: JUMPI
000030d0: PUSH1 0x00
000030d2: DUP1
000030d3: REVERT
000030d4: JUMPDEST
000030d5: DUP6
000030d6: DUP6
000030d7: PUSH1 0x20
000030d9: DUP4
000030da: ADD
000030db: CALLDATACOPY
000030dc: PUSH1 0x00
000030de: PUSH1 0x20
000030e0: DUP8
000030e1: DUP4
000030e2: ADD
000030e3: ADD
000030e4: MSTORE
000030e5: POP
000030e6: POP
000030e7: POP
000030e8: SWAP4
000030e9: SWAP3
000030ea: POP
000030eb: POP
000030ec: POP
000030ed: JUMP
000030ee: JUMPDEST
000030ef: DUP1
000030f0: CALLDATALOAD
000030f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003106: DUP2
00003107: AND
00003108: DUP2
00003109: EQ
0000310a: PUSH2 0x3112
0000310d: JUMPI
0000310e: PUSH1 0x00
00003110: DUP1
00003111: REVERT
00003112: JUMPDEST
00003113: SWAP2
00003114: SWAP1
00003115: POP
00003116: JUMP
00003117: JUMPDEST
00003118: PUSH1 0x00
0000311a: PUSH1 0x20
0000311c: DUP3
0000311d: DUP5
0000311e: SUB
0000311f: SLT
00003120: ISZERO
00003121: PUSH2 0x3129
00003124: JUMPI
00003125: PUSH1 0x00
00003127: DUP1
00003128: REVERT
00003129: JUMPDEST
0000312a: PUSH2 0x3132
0000312d: DUP3
0000312e: PUSH2 0x30ee
00003131: JUMP
00003132: JUMPDEST
00003133: SWAP4
00003134: SWAP3
00003135: POP
00003136: POP
00003137: POP
00003138: JUMP
00003139: JUMPDEST
0000313a: PUSH1 0x00
0000313c: DUP1
0000313d: PUSH1 0x40
0000313f: DUP4
00003140: DUP6
00003141: SUB
00003142: SLT
00003143: ISZERO
00003144: PUSH2 0x314c
00003147: JUMPI
00003148: PUSH1 0x00
0000314a: DUP1
0000314b: REVERT
0000314c: JUMPDEST
0000314d: PUSH2 0x3155
00003150: DUP4
00003151: PUSH2 0x30ee
00003154: JUMP
00003155: JUMPDEST
00003156: SWAP2
00003157: POP
00003158: PUSH2 0x3163
0000315b: PUSH1 0x20
0000315d: DUP5
0000315e: ADD
0000315f: PUSH2 0x30ee
00003162: JUMP
00003163: JUMPDEST
00003164: SWAP1
00003165: POP
00003166: SWAP3
00003167: POP
00003168: SWAP3
00003169: SWAP1
0000316a: POP
0000316b: JUMP
0000316c: JUMPDEST
0000316d: PUSH1 0x00
0000316f: DUP1
00003170: PUSH1 0x00
00003172: PUSH1 0x60
00003174: DUP5
00003175: DUP7
00003176: SUB
00003177: SLT
00003178: ISZERO
00003179: PUSH2 0x3181
0000317c: JUMPI
0000317d: PUSH1 0x00
0000317f: DUP1
00003180: REVERT
00003181: JUMPDEST
00003182: PUSH2 0x318a
00003185: DUP5
00003186: PUSH2 0x30ee
00003189: JUMP
0000318a: JUMPDEST
0000318b: SWAP3
0000318c: POP
0000318d: PUSH2 0x3198
00003190: PUSH1 0x20
00003192: DUP6
00003193: ADD
00003194: PUSH2 0x30ee
00003197: JUMP
00003198: JUMPDEST
00003199: SWAP2
0000319a: POP
0000319b: PUSH1 0x40
0000319d: DUP5
0000319e: ADD
0000319f: CALLDATALOAD
000031a0: SWAP1
000031a1: POP
000031a2: SWAP3
000031a3: POP
000031a4: SWAP3
000031a5: POP
000031a6: SWAP3
000031a7: JUMP
000031a8: JUMPDEST
000031a9: PUSH1 0x00
000031ab: DUP1
000031ac: PUSH1 0x00
000031ae: DUP1
000031af: PUSH1 0x80
000031b1: DUP6
000031b2: DUP8
000031b3: SUB
000031b4: SLT
000031b5: ISZERO
000031b6: PUSH2 0x31be
000031b9: JUMPI
000031ba: PUSH1 0x00
000031bc: DUP1
000031bd: REVERT
000031be: JUMPDEST
000031bf: PUSH2 0x31c7
000031c2: DUP6
000031c3: PUSH2 0x30ee
000031c6: JUMP
000031c7: JUMPDEST
000031c8: SWAP4
000031c9: POP
000031ca: PUSH2 0x31d5
000031cd: PUSH1 0x20
000031cf: DUP7
000031d0: ADD
000031d1: PUSH2 0x30ee
000031d4: JUMP
000031d5: JUMPDEST
000031d6: SWAP3
000031d7: POP
000031d8: PUSH1 0x40
000031da: DUP6
000031db: ADD
000031dc: CALLDATALOAD
000031dd: SWAP2
000031de: POP
000031df: PUSH1 0x60
000031e1: DUP6
000031e2: ADD
000031e3: CALLDATALOAD
000031e4: PUSH8 0xffffffffffffffff
000031ed: DUP2
000031ee: GT
000031ef: ISZERO
000031f0: PUSH2 0x31f8
000031f3: JUMPI
000031f4: PUSH1 0x00
000031f6: DUP1
000031f7: REVERT
000031f8: JUMPDEST
000031f9: DUP6
000031fa: ADD
000031fb: PUSH1 0x1f
000031fd: DUP2
000031fe: ADD
000031ff: DUP8
00003200: SGT
00003201: PUSH2 0x3209
00003204: JUMPI
00003205: PUSH1 0x00
00003207: DUP1
00003208: REVERT
00003209: JUMPDEST
0000320a: PUSH2 0x3218
0000320d: DUP8
0000320e: DUP3
0000320f: CALLDATALOAD
00003210: PUSH1 0x20
00003212: DUP5
00003213: ADD
00003214: PUSH2 0x305a
00003217: JUMP
00003218: JUMPDEST
00003219: SWAP2
0000321a: POP
0000321b: POP
0000321c: SWAP3
0000321d: SWAP6
0000321e: SWAP2
0000321f: SWAP5
00003220: POP
00003221: SWAP3
00003222: POP
00003223: JUMP
00003224: JUMPDEST
00003225: PUSH1 0x00
00003227: DUP1
00003228: PUSH1 0x40
0000322a: DUP4
0000322b: DUP6
0000322c: SUB
0000322d: SLT
0000322e: ISZERO
0000322f: PUSH2 0x3237
00003232: JUMPI
00003233: PUSH1 0x00
00003235: DUP1
00003236: REVERT
00003237: JUMPDEST
00003238: PUSH2 0x3240
0000323b: DUP4
0000323c: PUSH2 0x30ee
0000323f: JUMP
00003240: JUMPDEST
00003241: SWAP2
00003242: POP
00003243: PUSH1 0x20
00003245: DUP4
00003246: ADD
00003247: CALLDATALOAD
00003248: PUSH2 0x3250
0000324b: DUP2
0000324c: PUSH2 0x36cd
0000324f: JUMP
00003250: JUMPDEST
00003251: DUP1
00003252: SWAP2
00003253: POP
00003254: POP
00003255: SWAP3
00003256: POP
00003257: SWAP3
00003258: SWAP1
00003259: POP
0000325a: JUMP
0000325b: JUMPDEST
0000325c: PUSH1 0x00
0000325e: DUP1
0000325f: PUSH1 0x40
00003261: DUP4
00003262: DUP6
00003263: SUB
00003264: SLT
00003265: ISZERO
00003266: PUSH2 0x326e
00003269: JUMPI
0000326a: PUSH1 0x00
0000326c: DUP1
0000326d: REVERT
0000326e: JUMPDEST
0000326f: PUSH2 0x3277
00003272: DUP4
00003273: PUSH2 0x30ee
00003276: JUMP
00003277: JUMPDEST
00003278: SWAP5
00003279: PUSH1 0x20
0000327b: SWAP4
0000327c: SWAP1
0000327d: SWAP4
0000327e: ADD
0000327f: CALLDATALOAD
00003280: SWAP4
00003281: POP
00003282: POP
00003283: POP
00003284: JUMP
00003285: JUMPDEST
00003286: PUSH1 0x00
00003288: PUSH1 0x20
0000328a: DUP3
0000328b: DUP5
0000328c: SUB
0000328d: SLT
0000328e: ISZERO
0000328f: PUSH2 0x3297
00003292: JUMPI
00003293: PUSH1 0x00
00003295: DUP1
00003296: REVERT
00003297: JUMPDEST
00003298: DUP2
00003299: MLOAD
0000329a: PUSH2 0x3132
0000329d: DUP2
0000329e: PUSH2 0x36cd
000032a1: JUMP
000032a2: JUMPDEST
000032a3: PUSH1 0x00
000032a5: DUP1
000032a6: PUSH1 0x40
000032a8: DUP4
000032a9: DUP6
000032aa: SUB
000032ab: SLT
000032ac: ISZERO
000032ad: PUSH2 0x32b5
000032b0: JUMPI
000032b1: PUSH1 0x00
000032b3: DUP1
000032b4: REVERT
000032b5: JUMPDEST
000032b6: POP
000032b7: POP
000032b8: DUP1
000032b9: CALLDATALOAD
000032ba: SWAP3
000032bb: PUSH1 0x20
000032bd: SWAP1
000032be: SWAP2
000032bf: ADD
000032c0: CALLDATALOAD
000032c1: SWAP2
000032c2: POP
000032c3: JUMP
000032c4: JUMPDEST
000032c5: PUSH1 0x00
000032c7: PUSH1 0x20
000032c9: DUP3
000032ca: DUP5
000032cb: SUB
000032cc: SLT
000032cd: ISZERO
000032ce: PUSH2 0x32d6
000032d1: JUMPI
000032d2: PUSH1 0x00
000032d4: DUP1
000032d5: REVERT
000032d6: JUMPDEST
000032d7: DUP2
000032d8: CALLDATALOAD
000032d9: PUSH2 0x3132
000032dc: DUP2
000032dd: PUSH2 0x36db
000032e0: JUMP
000032e1: JUMPDEST
000032e2: PUSH1 0x00
000032e4: PUSH1 0x20
000032e6: DUP3
000032e7: DUP5
000032e8: SUB
000032e9: SLT
000032ea: ISZERO
000032eb: PUSH2 0x32f3
000032ee: JUMPI
000032ef: PUSH1 0x00
000032f1: DUP1
000032f2: REVERT
000032f3: JUMPDEST
000032f4: DUP2
000032f5: MLOAD
000032f6: PUSH2 0x3132
000032f9: DUP2
000032fa: PUSH2 0x36db
000032fd: JUMP
000032fe: JUMPDEST
000032ff: PUSH1 0x00
00003301: PUSH1 0x20
00003303: DUP3
00003304: DUP5
00003305: SUB
00003306: SLT
00003307: ISZERO
00003308: PUSH2 0x3310
0000330b: JUMPI
0000330c: PUSH1 0x00
0000330e: DUP1
0000330f: REVERT
00003310: JUMPDEST
00003311: DUP2
00003312: CALLDATALOAD
00003313: PUSH8 0xffffffffffffffff
0000331c: DUP2
0000331d: GT
0000331e: ISZERO
0000331f: PUSH2 0x3327
00003322: JUMPI
00003323: PUSH1 0x00
00003325: DUP1
00003326: REVERT
00003327: JUMPDEST
00003328: DUP3
00003329: ADD
0000332a: PUSH1 0x1f
0000332c: DUP2
0000332d: ADD
0000332e: DUP5
0000332f: SGT
00003330: PUSH2 0x3338
00003333: JUMPI
00003334: PUSH1 0x00
00003336: DUP1
00003337: REVERT
00003338: JUMPDEST
00003339: PUSH2 0x2051
0000333c: DUP5
0000333d: DUP3
0000333e: CALLDATALOAD
0000333f: PUSH1 0x20
00003341: DUP5
00003342: ADD
00003343: PUSH2 0x305a
00003346: JUMP
00003347: JUMPDEST
00003348: PUSH1 0x00
0000334a: PUSH1 0x20
0000334c: DUP3
0000334d: DUP5
0000334e: SUB
0000334f: SLT
00003350: ISZERO
00003351: PUSH2 0x3359
00003354: JUMPI
00003355: PUSH1 0x00
00003357: DUP1
00003358: REVERT
00003359: JUMPDEST
0000335a: POP
0000335b: CALLDATALOAD
0000335c: SWAP2
0000335d: SWAP1
0000335e: POP
0000335f: JUMP
00003360: JUMPDEST
00003361: PUSH1 0x00
00003363: DUP2
00003364: MLOAD
00003365: DUP1
00003366: DUP5
00003367: MSTORE
00003368: PUSH2 0x3378
0000336b: DUP2
0000336c: PUSH1 0x20
0000336e: DUP7
0000336f: ADD
00003370: PUSH1 0x20
00003372: DUP7
00003373: ADD
00003374: PUSH2 0x351b
00003377: JUMP
00003378: JUMPDEST
00003379: PUSH1 0x1f
0000337b: ADD
0000337c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000339d: AND
0000339e: SWAP3
0000339f: SWAP1
000033a0: SWAP3
000033a1: ADD
000033a2: PUSH1 0x20
000033a4: ADD
000033a5: SWAP3
000033a6: SWAP2
000033a7: POP
000033a8: POP
000033a9: JUMP
000033aa: JUMPDEST
000033ab: PUSH1 0x00
000033ad: DUP4
000033ae: MLOAD
000033af: PUSH2 0x33bc
000033b2: DUP2
000033b3: DUP5
000033b4: PUSH1 0x20
000033b6: DUP9
000033b7: ADD
000033b8: PUSH2 0x351b
000033bb: JUMP
000033bc: JUMPDEST
000033bd: DUP4
000033be: MLOAD
000033bf: SWAP1
000033c0: DUP4
000033c1: ADD
000033c2: SWAP1
000033c3: PUSH2 0x33d0
000033c6: DUP2
000033c7: DUP4
000033c8: PUSH1 0x20
000033ca: DUP9
000033cb: ADD
000033cc: PUSH2 0x351b
000033cf: JUMP
000033d0: JUMPDEST
000033d1: PUSH32 0x2e6a736f6e000000000000000000000000000000000000000000000000000000
000033f2: SWAP2
000033f3: ADD
000033f4: SWAP1
000033f5: DUP2
000033f6: MSTORE
000033f7: PUSH1 0x05
000033f9: ADD
000033fa: SWAP5
000033fb: SWAP4
000033fc: POP
000033fd: POP
000033fe: POP
000033ff: POP
00003400: JUMP
00003401: JUMPDEST
00003402: PUSH1 0x00
00003404: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003419: DUP1
0000341a: DUP8
0000341b: AND
0000341c: DUP4
0000341d: MSTORE
0000341e: DUP1
0000341f: DUP7
00003420: AND
00003421: PUSH1 0x20
00003423: DUP5
00003424: ADD
00003425: MSTORE
00003426: POP
00003427: DUP4
00003428: PUSH1 0x40
0000342a: DUP4
0000342b: ADD
0000342c: MSTORE
0000342d: PUSH1 0x80
0000342f: PUSH1 0x60
00003431: DUP4
00003432: ADD
00003433: MSTORE
00003434: PUSH2 0x3440
00003437: PUSH1 0x80
00003439: DUP4
0000343a: ADD
0000343b: DUP5
0000343c: PUSH2 0x3360
0000343f: JUMP
00003440: JUMPDEST
00003441: SWAP7
00003442: SWAP6
00003443: POP
00003444: POP
00003445: POP
00003446: POP
00003447: POP
00003448: POP
00003449: JUMP
0000344a: JUMPDEST
0000344b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003460: DUP5
00003461: AND
00003462: DUP2
00003463: MSTORE
00003464: DUP3
00003465: PUSH1 0x20
00003467: DUP3
00003468: ADD
00003469: MSTORE
0000346a: PUSH1 0x60
0000346c: PUSH1 0x40
0000346e: DUP3
0000346f: ADD
00003470: MSTORE
00003471: PUSH1 0x00
00003473: PUSH2 0x347f
00003476: PUSH1 0x60
00003478: DUP4
00003479: ADD
0000347a: DUP5
0000347b: PUSH2 0x3360
0000347e: JUMP
0000347f: JUMPDEST
00003480: SWAP6
00003481: SWAP5
00003482: POP
00003483: POP
00003484: POP
00003485: POP
00003486: POP
00003487: JUMP
00003488: JUMPDEST
00003489: PUSH1 0x20
0000348b: DUP2
0000348c: MSTORE
0000348d: PUSH1 0x00
0000348f: PUSH2 0x3132
00003492: PUSH1 0x20
00003494: DUP4
00003495: ADD
00003496: DUP5
00003497: PUSH2 0x3360
0000349a: JUMP
0000349b: JUMPDEST
0000349c: PUSH1 0x00
0000349e: DUP3
0000349f: NOT
000034a0: DUP3
000034a1: GT
000034a2: ISZERO
000034a3: PUSH2 0x34ae
000034a6: JUMPI
000034a7: PUSH2 0x34ae
000034aa: PUSH2 0x35e2
000034ad: JUMP
000034ae: JUMPDEST
000034af: POP
000034b0: ADD
000034b1: SWAP1
000034b2: JUMP
000034b3: JUMPDEST
000034b4: PUSH1 0x00
000034b6: DUP3
000034b7: PUSH2 0x34c2
000034ba: JUMPI
000034bb: PUSH2 0x34c2
000034be: PUSH2 0x3611
000034c1: JUMP
000034c2: JUMPDEST
000034c3: POP
000034c4: DIV
000034c5: SWAP1
000034c6: JUMP
000034c7: JUMPDEST
000034c8: PUSH1 0x00
000034ca: DUP2
000034cb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000034ec: DIV
000034ed: DUP4
000034ee: GT
000034ef: DUP3
000034f0: ISZERO
000034f1: ISZERO
000034f2: AND
000034f3: ISZERO
000034f4: PUSH2 0x34ff
000034f7: JUMPI
000034f8: PUSH2 0x34ff
000034fb: PUSH2 0x35e2
000034fe: JUMP
000034ff: JUMPDEST
00003500: POP
00003501: MUL
00003502: SWAP1
00003503: JUMP
00003504: JUMPDEST
00003505: PUSH1 0x00
00003507: DUP3
00003508: DUP3
00003509: LT
0000350a: ISZERO
0000350b: PUSH2 0x3516
0000350e: JUMPI
0000350f: PUSH2 0x3516
00003512: PUSH2 0x35e2
00003515: JUMP
00003516: JUMPDEST
00003517: POP
00003518: SUB
00003519: SWAP1
0000351a: JUMP
0000351b: JUMPDEST
0000351c: PUSH1 0x00
0000351e: JUMPDEST
0000351f: DUP4
00003520: DUP2
00003521: LT
00003522: ISZERO
00003523: PUSH2 0x3536
00003526: JUMPI
00003527: DUP2
00003528: DUP2
00003529: ADD
0000352a: MLOAD
0000352b: DUP4
0000352c: DUP3
0000352d: ADD
0000352e: MSTORE
0000352f: PUSH1 0x20
00003531: ADD
00003532: PUSH2 0x351e
00003535: JUMP
00003536: JUMPDEST
00003537: DUP4
00003538: DUP2
00003539: GT
0000353a: ISZERO
0000353b: PUSH2 0x1a5f
0000353e: JUMPI
0000353f: POP
00003540: POP
00003541: PUSH1 0x00
00003543: SWAP2
00003544: ADD
00003545: MSTORE
00003546: JUMP
00003547: JUMPDEST
00003548: PUSH1 0x01
0000354a: DUP2
0000354b: DUP2
0000354c: SHR
0000354d: SWAP1
0000354e: DUP3
0000354f: AND
00003550: DUP1
00003551: PUSH2 0x355b
00003554: JUMPI
00003555: PUSH1 0x7f
00003557: DUP3
00003558: AND
00003559: SWAP2
0000355a: POP
0000355b: JUMPDEST
0000355c: PUSH1 0x20
0000355e: DUP3
0000355f: LT
00003560: DUP2
00003561: EQ
00003562: ISZERO
00003563: PUSH2 0x1b1a
00003566: JUMPI
00003567: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003588: PUSH1 0x00
0000358a: MSTORE
0000358b: PUSH1 0x22
0000358d: PUSH1 0x04
0000358f: MSTORE
00003590: PUSH1 0x24
00003592: PUSH1 0x00
00003594: REVERT
00003595: JUMPDEST
00003596: PUSH1 0x00
00003598: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000035b9: DUP3
000035ba: EQ
000035bb: ISZERO
000035bc: PUSH2 0x35c7
000035bf: JUMPI
000035c0: PUSH2 0x35c7
000035c3: PUSH2 0x35e2
000035c6: JUMP
000035c7: JUMPDEST
000035c8: POP
000035c9: PUSH1 0x01
000035cb: ADD
000035cc: SWAP1
000035cd: JUMP
000035ce: JUMPDEST
000035cf: PUSH1 0x00
000035d1: DUP3
000035d2: PUSH2 0x35dd
000035d5: JUMPI
000035d6: PUSH2 0x35dd
000035d9: PUSH2 0x3611
000035dc: JUMP
000035dd: JUMPDEST
000035de: POP
000035df: MOD
000035e0: SWAP1
000035e1: JUMP
000035e2: JUMPDEST
000035e3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003604: PUSH1 0x00
00003606: MSTORE
00003607: PUSH1 0x11
00003609: PUSH1 0x04
0000360b: MSTORE
0000360c: PUSH1 0x24
0000360e: PUSH1 0x00
00003610: REVERT
00003611: JUMPDEST
00003612: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003633: PUSH1 0x00
00003635: MSTORE
00003636: PUSH1 0x12
00003638: PUSH1 0x04
0000363a: MSTORE
0000363b: PUSH1 0x24
0000363d: PUSH1 0x00
0000363f: REVERT
00003640: JUMPDEST
00003641: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003662: PUSH1 0x00
00003664: MSTORE
00003665: PUSH1 0x31
00003667: PUSH1 0x04
00003669: MSTORE
0000366a: PUSH1 0x24
0000366c: PUSH1 0x00
0000366e: REVERT
0000366f: JUMPDEST
00003670: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003691: PUSH1 0x00
00003693: MSTORE
00003694: PUSH1 0x32
00003696: PUSH1 0x04
00003698: MSTORE
00003699: PUSH1 0x24
0000369b: PUSH1 0x00
0000369d: REVERT
0000369e: JUMPDEST
0000369f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000036c0: PUSH1 0x00
000036c2: MSTORE
000036c3: PUSH1 0x41
000036c5: PUSH1 0x04
000036c7: MSTORE
000036c8: PUSH1 0x24
000036ca: PUSH1 0x00
000036cc: REVERT
000036cd: JUMPDEST
000036ce: DUP1
000036cf: ISZERO
000036d0: ISZERO
000036d1: DUP2
000036d2: EQ
000036d3: PUSH2 0x0dbf
000036d6: JUMPI
000036d7: PUSH1 0x00
000036d9: DUP1
000036da: REVERT
000036db: JUMPDEST
000036dc: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000036fd: DUP2
000036fe: AND
000036ff: DUP2
00003700: EQ
00003701: PUSH2 0x0dbf
00003704: JUMPI
00003705: PUSH1 0x00
00003707: DUP1
00003708: REVERT
00003709: INVALID
0000370a: ORIGIN
0000370b: CODECOPY
0000370c: CALLDATACOPY
0000370d: CALLVALUE
0000370e: PUSH7 0x36303362623130
00003716: CALLDATACOPY
00003717: BALANCE
00003718: CODESIZE
00003719: CODECOPY
0000371a: PUSH2 0x3331
0000371d: ORIGIN
0000371e: CALLDATASIZE
0000371f: CODECOPY
00003720: CALLVALUE
00003721: PUSH3 0x393263
00003725: CODECOPY
00003726: CODESIZE
00003727: CODESIZE
00003728: ADDRESS
00003729: PUSH5 0x3430636339
0000372f: ORIGIN
00003730: PUSH7 0x33633837393664
00003738: CALLDATASIZE
00003739: CALLDATACOPY
0000373a: CALLVALUE
0000373b: CALLVALUE
0000373c: CALLER
0000373d: PUSH5 0x6531376231
00003743: PUSH4 0x66333036
00003748: CODESIZE
00003749: PUSH7 0x697066733a2f2f
00003751: MLOAD
00003752: PUSH14 0x5076424a62787a486d5a38666a72
00003761: PUSH7 0x613154344d6575
00003769: SLOAD
0000376a: PUSH27 0x6d663965376e6552445656784673366270634159a164736f6c6343
00003786: STOP
00003787: ADDMOD
00003788: SMOD
00003789: STOP
0000378a: EXP
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xe72f9843",
            "selector": "0xe72f9843",
            "calldata_variants": [
                "0xe72f9843",
                "0xe72f98430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5556544",
            "selector": "0xd5556544",
            "calldata_variants": [
                "0xd5556544",
                "0xd55565440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5abeb01",
            "selector": "0xd5abeb01",
            "calldata_variants": [
                "0xd5abeb01",
                "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa4d66daf",
            "selector": "0xa4d66daf",
            "calldata_variants": [
                "0xa4d66daf",
                "0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xab0bcc41",
            "selector": "0xab0bcc41",
            "calldata_variants": [
                "0xab0bcc41",
                "0xab0bcc410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 2458,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4721,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 14090,
            "type": "tx_origin_used"
        },
        {
            "pc": 14109,
            "type": "tx_origin_used"
        },
        {
            "pc": 14127,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xfa7c19c900d0e2c0ba253b515d69d6d0662babdf8a8f46fe66267a07c4b86f4a
call_targets: 0x44d26d3ba60df9e9737399a6ecb9781d7122a752
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xfa7c19c900d0e2c0ba253b515d69d6d0662babdf8a8f46fe66267a07c4b86f4a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x44d26d3ba60df9e9737399a6ecb9781d7122a752"
    ],
    "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": "0xe72f9843",
            "selector": "0xe72f9843",
            "calldata_variants": [
                "0xe72f9843",
                "0xe72f98430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5556544",
            "selector": "0xd5556544",
            "calldata_variants": [
                "0xd5556544",
                "0xd55565440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5abeb01",
            "selector": "0xd5abeb01",
            "calldata_variants": [
                "0xd5abeb01",
                "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa4d66daf",
            "selector": "0xa4d66daf",
            "calldata_variants": [
                "0xa4d66daf",
                "0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xab0bcc41",
            "selector": "0xab0bcc41",
            "calldata_variants": [
                "0xab0bcc41",
                "0xab0bcc410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3358,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9722,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11403,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 2458,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4721,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 14090,
            "type": "tx_origin_used"
        },
        {
            "pc": 14109,
            "type": "tx_origin_used"
        },
        {
            "pc": 14127,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 3
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xfa7c19c900d0e2c0ba253b515d69d6d0662babdf8a8f46fe66267a07c4b86f4a
call_targets: 0x44d26d3ba60df9e9737399a6ecb9781d7122a752
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xfa7c19c900d0e2c0ba253b515d69d6d0662babdf8a8f46fe66267a07c4b86f4a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x44d26d3ba60df9e9737399a6ecb9781d7122a752"
    ],
    "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": "0xe72f9843",
            "selector": "0xe72f9843",
            "calldata_variants": [
                "0xe72f9843",
                "0xe72f98430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5556544",
            "selector": "0xd5556544",
            "calldata_variants": [
                "0xd5556544",
                "0xd55565440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5abeb01",
            "selector": "0xd5abeb01",
            "calldata_variants": [
                "0xd5abeb01",
                "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa4d66daf",
            "selector": "0xa4d66daf",
            "calldata_variants": [
                "0xa4d66daf",
                "0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xab0bcc41",
            "selector": "0xab0bcc41",
            "calldata_variants": [
                "0xab0bcc41",
                "0xab0bcc410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3358,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9722,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11403,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 2458,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4721,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 14090,
            "type": "tx_origin_used"
        },
        {
            "pc": 14109,
            "type": "tx_origin_used"
        },
        {
            "pc": 14127,
            "type": "tx_origin_used"
        }
    ]
}