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

Analysis Run

019b3844-97ab-724b-8a22-cd5d6feafae7

complete
Chain ID
1
Address
0x03eb7ce2907e202bb70bae3d7b0c588573d3cecc
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?

back to vulns open contract
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
13765 artifact.fetch complete 1 / 3 4 months ago
13766 tool.cast_disasm complete 1 / 3 4 months ago
85564 analysis.bundle complete 1 / 3 2 weeks ago
85565 capability.graph complete 1 / 3 2 weeks ago
85566 detector.run complete 1 / 3 2 weeks ago
85567 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
13
EXT*/BALANCE
10
Total opcodes
9052
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x032d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x95d89b41
00000019: GT
0000001a: PUSH2 0x01a5
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd505accf
00000024: GT
00000025: PUSH2 0x00ec
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xec0c2beb
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf6bcbd31
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf6bcbd31
00000045: EQ
00000046: PUSH2 0x0bfd
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf99b1bdb
00000050: EQ
00000051: PUSH2 0x0c45
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfa352c00
0000005b: EQ
0000005c: PUSH2 0x0c9b
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfaddc929
00000066: EQ
00000067: PUSH2 0x0cdb
0000006a: JUMPI
0000006b: PUSH2 0x0347
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xec0c2beb
00000076: EQ
00000077: PUSH2 0x0bbe
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xf16673a4
00000081: EQ
00000082: PUSH2 0x0bd3
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xf2fe0b42
0000008c: EQ
0000008d: PUSH2 0x0be8
00000090: JUMPI
00000091: PUSH2 0x0347
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xe6a3c053
0000009c: GT
0000009d: PUSH2 0x00c6
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xe6a3c053
000000a7: EQ
000000a8: PUSH2 0x0b54
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xe71bdf41
000000b2: EQ
000000b3: PUSH2 0x0b69
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xe833091f
000000bd: EQ
000000be: PUSH2 0x0ba9
000000c1: JUMPI
000000c2: PUSH2 0x0347
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0xd505accf
000000cd: EQ
000000ce: PUSH2 0x0a4b
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xd7020d0a
000000d8: EQ
000000d9: PUSH2 0x0ab6
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xdd62ed3e
000000e3: EQ
000000e4: PUSH2 0x0b0c
000000e7: JUMPI
000000e8: PUSH2 0x0347
000000eb: JUMP
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0xa9059cbb
000000f3: GT
000000f4: PUSH2 0x014e
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xc2eebdcf
000000fe: GT
000000ff: PUSH2 0x0128
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xc2eebdcf
00000109: EQ
0000010a: PUSH2 0x09dc
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xc560ce9a
00000114: EQ
00000115: PUSH2 0x0a09
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xcea55f57
0000011f: EQ
00000120: PUSH2 0x0a36
00000123: JUMPI
00000124: PUSH2 0x0347
00000127: JUMP
00000128: JUMPDEST
00000129: DUP1
0000012a: PUSH4 0xa9059cbb
0000012f: EQ
00000130: PUSH2 0x0941
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0xb5d832fe
0000013a: EQ
0000013b: PUSH2 0x0987
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0xc0bd65d7
00000145: EQ
00000146: PUSH2 0x09c7
00000149: JUMPI
0000014a: PUSH2 0x0347
0000014d: JUMP
0000014e: JUMPDEST
0000014f: DUP1
00000150: PUSH4 0xa0c8ee96
00000155: GT
00000156: PUSH2 0x017f
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0xa0c8ee96
00000160: EQ
00000161: PUSH2 0x08b3
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0xa3e6ba94
0000016b: EQ
0000016c: PUSH2 0x08e6
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0xa457c2d7
00000176: EQ
00000177: PUSH2 0x08fb
0000017a: JUMPI
0000017b: PUSH2 0x0347
0000017e: JUMP
0000017f: JUMPDEST
00000180: DUP1
00000181: PUSH4 0x95d89b41
00000186: EQ
00000187: PUSH2 0x0833
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x9670393d
00000191: EQ
00000192: PUSH2 0x0848
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0x9a4c6a9a
0000019c: EQ
0000019d: PUSH2 0x085d
000001a0: JUMPI
000001a1: PUSH2 0x0347
000001a4: JUMP
000001a5: JUMPDEST
000001a6: DUP1
000001a7: PUSH4 0x3e1028a0
000001ac: GT
000001ad: PUSH2 0x0274
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x6ea51d08
000001b7: GT
000001b8: PUSH2 0x021d
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0x7b1837de
000001c2: GT
000001c3: PUSH2 0x01f7
000001c6: JUMPI
000001c7: DUP1
000001c8: PUSH4 0x7b1837de
000001cd: EQ
000001ce: PUSH2 0x0790
000001d1: JUMPI
000001d2: DUP1
000001d3: PUSH4 0x7ecebe00
000001d8: EQ
000001d9: PUSH2 0x07c9
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0x8382f4ee
000001e3: EQ
000001e4: PUSH2 0x0809
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0x93b11ebe
000001ee: EQ
000001ef: PUSH2 0x081e
000001f2: JUMPI
000001f3: PUSH2 0x0347
000001f6: JUMP
000001f7: JUMPDEST
000001f8: DUP1
000001f9: PUSH4 0x6ea51d08
000001fe: EQ
000001ff: PUSH2 0x06fd
00000202: JUMPI
00000203: DUP1
00000204: PUSH4 0x70a08231
00000209: EQ
0000020a: PUSH2 0x073b
0000020d: JUMPI
0000020e: DUP1
0000020f: PUSH4 0x71b0a154
00000214: EQ
00000215: PUSH2 0x077b
00000218: JUMPI
00000219: PUSH2 0x0347
0000021c: JUMP
0000021d: JUMPDEST
0000021e: DUP1
0000021f: PUSH4 0x49f3bb96
00000224: GT
00000225: PUSH2 0x024e
00000228: JUMPI
00000229: DUP1
0000022a: PUSH4 0x49f3bb96
0000022f: EQ
00000230: PUSH2 0x06a6
00000233: JUMPI
00000234: DUP1
00000235: PUSH4 0x61fbccb5
0000023a: EQ
0000023b: PUSH2 0x06d3
0000023e: JUMPI
0000023f: DUP1
00000240: PUSH4 0x6a146024
00000245: EQ
00000246: PUSH2 0x06e8
00000249: JUMPI
0000024a: PUSH2 0x0347
0000024d: JUMP
0000024e: JUMPDEST
0000024f: DUP1
00000250: PUSH4 0x3e1028a0
00000255: EQ
00000256: PUSH2 0x0606
00000259: JUMPI
0000025a: DUP1
0000025b: PUSH4 0x40c10f19
00000260: EQ
00000261: PUSH2 0x0658
00000264: JUMPI
00000265: DUP1
00000266: PUSH4 0x459e414f
0000026b: EQ
0000026c: PUSH2 0x0691
0000026f: JUMPI
00000270: PUSH2 0x0347
00000273: JUMP
00000274: JUMPDEST
00000275: DUP1
00000276: PUSH4 0x2db1187f
0000027b: GT
0000027c: PUSH2 0x02d6
0000027f: JUMPI
00000280: DUP1
00000281: PUSH4 0x313ce567
00000286: GT
00000287: PUSH2 0x02b0
0000028a: JUMPI
0000028b: DUP1
0000028c: PUSH4 0x313ce567
00000291: EQ
00000292: PUSH2 0x0580
00000295: JUMPI
00000296: DUP1
00000297: PUSH4 0x3644e515
0000029c: EQ
0000029d: PUSH2 0x05ab
000002a0: JUMPI
000002a1: DUP1
000002a2: PUSH4 0x39509351
000002a7: EQ
000002a8: PUSH2 0x05c0
000002ab: JUMPI
000002ac: PUSH2 0x0347
000002af: JUMP
000002b0: JUMPDEST
000002b1: DUP1
000002b2: PUSH4 0x2db1187f
000002b7: EQ
000002b8: PUSH2 0x0523
000002bb: JUMPI
000002bc: DUP1
000002bd: PUSH4 0x3098e279
000002c2: EQ
000002c3: PUSH2 0x0556
000002c6: JUMPI
000002c7: DUP1
000002c8: PUSH4 0x30adf81f
000002cd: EQ
000002ce: PUSH2 0x056b
000002d1: JUMPI
000002d2: PUSH2 0x0347
000002d5: JUMP
000002d6: JUMPDEST
000002d7: DUP1
000002d8: PUSH4 0x1a28ff05
000002dd: GT
000002de: PUSH2 0x0307
000002e1: JUMPI
000002e2: DUP1
000002e3: PUSH4 0x1a28ff05
000002e8: EQ
000002e9: PUSH2 0x0457
000002ec: JUMPI
000002ed: DUP1
000002ee: PUSH4 0x23b872dd
000002f3: EQ
000002f4: PUSH2 0x04be
000002f7: JUMPI
000002f8: DUP1
000002f9: PUSH4 0x2c23183d
000002fe: EQ
000002ff: PUSH2 0x050e
00000302: JUMPI
00000303: PUSH2 0x0347
00000306: JUMP
00000307: JUMPDEST
00000308: DUP1
00000309: PUSH4 0x06fdde03
0000030e: EQ
0000030f: PUSH2 0x034c
00000312: JUMPI
00000313: DUP1
00000314: PUSH4 0x095ea7b3
00000319: EQ
0000031a: PUSH2 0x03d6
0000031d: JUMPI
0000031e: DUP1
0000031f: PUSH4 0x18160ddd
00000324: EQ
00000325: PUSH2 0x0430
00000328: JUMPI
00000329: PUSH2 0x0347
0000032c: JUMP
0000032d: JUMPDEST
0000032e: CALLDATASIZE
0000032f: PUSH2 0x0347
00000332: JUMPI
00000333: PUSH2 0x0344
00000336: CALLER
00000337: PUSH2 0x033f
0000033a: CALLVALUE
0000033b: PUSH2 0x0cf0
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH2 0x0d20
00000343: JUMP
00000344: JUMPDEST
00000345: POP
00000346: STOP
00000347: JUMPDEST
00000348: PUSH1 0x00
0000034a: DUP1
0000034b: REVERT
0000034c: JUMPDEST
0000034d: CALLVALUE
0000034e: DUP1
0000034f: ISZERO
00000350: PUSH2 0x0358
00000353: JUMPI
00000354: PUSH1 0x00
00000356: DUP1
00000357: REVERT
00000358: JUMPDEST
00000359: POP
0000035a: PUSH2 0x0361
0000035d: PUSH2 0x0f80
00000360: JUMP
00000361: JUMPDEST
00000362: PUSH1 0x40
00000364: DUP1
00000365: MLOAD
00000366: PUSH1 0x20
00000368: DUP1
00000369: DUP3
0000036a: MSTORE
0000036b: DUP4
0000036c: MLOAD
0000036d: DUP2
0000036e: DUP4
0000036f: ADD
00000370: MSTORE
00000371: DUP4
00000372: MLOAD
00000373: SWAP2
00000374: SWAP3
00000375: DUP4
00000376: SWAP3
00000377: SWAP1
00000378: DUP4
00000379: ADD
0000037a: SWAP2
0000037b: DUP6
0000037c: ADD
0000037d: SWAP1
0000037e: DUP1
0000037f: DUP4
00000380: DUP4
00000381: PUSH1 0x00
00000383: JUMPDEST
00000384: DUP4
00000385: DUP2
00000386: LT
00000387: ISZERO
00000388: PUSH2 0x039b
0000038b: JUMPI
0000038c: DUP2
0000038d: DUP2
0000038e: ADD
0000038f: MLOAD
00000390: DUP4
00000391: DUP3
00000392: ADD
00000393: MSTORE
00000394: PUSH1 0x20
00000396: ADD
00000397: PUSH2 0x0383
0000039a: JUMP
0000039b: JUMPDEST
0000039c: POP
0000039d: POP
0000039e: POP
0000039f: POP
000003a0: SWAP1
000003a1: POP
000003a2: SWAP1
000003a3: DUP2
000003a4: ADD
000003a5: SWAP1
000003a6: PUSH1 0x1f
000003a8: AND
000003a9: DUP1
000003aa: ISZERO
000003ab: PUSH2 0x03c8
000003ae: JUMPI
000003af: DUP1
000003b0: DUP3
000003b1: SUB
000003b2: DUP1
000003b3: MLOAD
000003b4: PUSH1 0x01
000003b6: DUP4
000003b7: PUSH1 0x20
000003b9: SUB
000003ba: PUSH2 0x0100
000003bd: EXP
000003be: SUB
000003bf: NOT
000003c0: AND
000003c1: DUP2
000003c2: MSTORE
000003c3: PUSH1 0x20
000003c5: ADD
000003c6: SWAP2
000003c7: POP
000003c8: JUMPDEST
000003c9: POP
000003ca: SWAP3
000003cb: POP
000003cc: POP
000003cd: POP
000003ce: PUSH1 0x40
000003d0: MLOAD
000003d1: DUP1
000003d2: SWAP2
000003d3: SUB
000003d4: SWAP1
000003d5: RETURN
000003d6: JUMPDEST
000003d7: CALLVALUE
000003d8: DUP1
000003d9: ISZERO
000003da: PUSH2 0x03e2
000003dd: JUMPI
000003de: PUSH1 0x00
000003e0: DUP1
000003e1: REVERT
000003e2: JUMPDEST
000003e3: POP
000003e4: PUSH2 0x041c
000003e7: PUSH1 0x04
000003e9: DUP1
000003ea: CALLDATASIZE
000003eb: SUB
000003ec: PUSH1 0x40
000003ee: DUP2
000003ef: LT
000003f0: ISZERO
000003f1: PUSH2 0x03f9
000003f4: JUMPI
000003f5: PUSH1 0x00
000003f7: DUP1
000003f8: REVERT
000003f9: JUMPDEST
000003fa: POP
000003fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000410: DUP2
00000411: CALLDATALOAD
00000412: AND
00000413: SWAP1
00000414: PUSH1 0x20
00000416: ADD
00000417: CALLDATALOAD
00000418: PUSH2 0x1035
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH1 0x40
0000041f: DUP1
00000420: MLOAD
00000421: SWAP2
00000422: ISZERO
00000423: ISZERO
00000424: DUP3
00000425: MSTORE
00000426: MLOAD
00000427: SWAP1
00000428: DUP2
00000429: SWAP1
0000042a: SUB
0000042b: PUSH1 0x20
0000042d: ADD
0000042e: SWAP1
0000042f: RETURN
00000430: JUMPDEST
00000431: CALLVALUE
00000432: DUP1
00000433: ISZERO
00000434: PUSH2 0x043c
00000437: JUMPI
00000438: PUSH1 0x00
0000043a: DUP1
0000043b: REVERT
0000043c: JUMPDEST
0000043d: POP
0000043e: PUSH2 0x0445
00000441: PUSH2 0x1053
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH1 0x40
00000448: DUP1
00000449: MLOAD
0000044a: SWAP2
0000044b: DUP3
0000044c: MSTORE
0000044d: MLOAD
0000044e: SWAP1
0000044f: DUP2
00000450: SWAP1
00000451: SUB
00000452: PUSH1 0x20
00000454: ADD
00000455: SWAP1
00000456: RETURN
00000457: JUMPDEST
00000458: CALLVALUE
00000459: DUP1
0000045a: ISZERO
0000045b: PUSH2 0x0463
0000045e: JUMPI
0000045f: PUSH1 0x00
00000461: DUP1
00000462: REVERT
00000463: JUMPDEST
00000464: POP
00000465: PUSH2 0x04bc
00000468: PUSH1 0x04
0000046a: DUP1
0000046b: CALLDATASIZE
0000046c: SUB
0000046d: PUSH1 0xc0
0000046f: DUP2
00000470: LT
00000471: ISZERO
00000472: PUSH2 0x047a
00000475: JUMPI
00000476: PUSH1 0x00
00000478: DUP1
00000479: REVERT
0000047a: JUMPDEST
0000047b: POP
0000047c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000491: DUP2
00000492: CALLDATALOAD
00000493: DUP2
00000494: AND
00000495: SWAP2
00000496: PUSH1 0x20
00000498: DUP2
00000499: ADD
0000049a: CALLDATALOAD
0000049b: SWAP1
0000049c: SWAP2
0000049d: AND
0000049e: SWAP1
0000049f: PUSH1 0x40
000004a1: DUP2
000004a2: ADD
000004a3: CALLDATALOAD
000004a4: SWAP1
000004a5: PUSH1 0xff
000004a7: PUSH1 0x60
000004a9: DUP3
000004aa: ADD
000004ab: CALLDATALOAD
000004ac: AND
000004ad: SWAP1
000004ae: PUSH1 0x80
000004b0: DUP2
000004b1: ADD
000004b2: CALLDATALOAD
000004b3: SWAP1
000004b4: PUSH1 0xa0
000004b6: ADD
000004b7: CALLDATALOAD
000004b8: PUSH2 0x1059
000004bb: JUMP
000004bc: JUMPDEST
000004bd: STOP
000004be: JUMPDEST
000004bf: CALLVALUE
000004c0: DUP1
000004c1: ISZERO
000004c2: PUSH2 0x04ca
000004c5: JUMPI
000004c6: PUSH1 0x00
000004c8: DUP1
000004c9: REVERT
000004ca: JUMPDEST
000004cb: POP
000004cc: PUSH2 0x041c
000004cf: PUSH1 0x04
000004d1: DUP1
000004d2: CALLDATASIZE
000004d3: SUB
000004d4: PUSH1 0x60
000004d6: DUP2
000004d7: LT
000004d8: ISZERO
000004d9: PUSH2 0x04e1
000004dc: JUMPI
000004dd: PUSH1 0x00
000004df: DUP1
000004e0: REVERT
000004e1: JUMPDEST
000004e2: POP
000004e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f8: DUP2
000004f9: CALLDATALOAD
000004fa: DUP2
000004fb: AND
000004fc: SWAP2
000004fd: PUSH1 0x20
000004ff: DUP2
00000500: ADD
00000501: CALLDATALOAD
00000502: SWAP1
00000503: SWAP2
00000504: AND
00000505: SWAP1
00000506: PUSH1 0x40
00000508: ADD
00000509: CALLDATALOAD
0000050a: PUSH2 0x1307
0000050d: JUMP
0000050e: JUMPDEST
0000050f: CALLVALUE
00000510: DUP1
00000511: ISZERO
00000512: PUSH2 0x051a
00000515: JUMPI
00000516: PUSH1 0x00
00000518: DUP1
00000519: REVERT
0000051a: JUMPDEST
0000051b: POP
0000051c: PUSH2 0x0445
0000051f: PUSH2 0x13ae
00000522: JUMP
00000523: JUMPDEST
00000524: CALLVALUE
00000525: DUP1
00000526: ISZERO
00000527: PUSH2 0x052f
0000052a: JUMPI
0000052b: PUSH1 0x00
0000052d: DUP1
0000052e: REVERT
0000052f: JUMPDEST
00000530: POP
00000531: PUSH2 0x0445
00000534: PUSH1 0x04
00000536: DUP1
00000537: CALLDATASIZE
00000538: SUB
00000539: PUSH1 0x40
0000053b: DUP2
0000053c: LT
0000053d: ISZERO
0000053e: PUSH2 0x0546
00000541: JUMPI
00000542: PUSH1 0x00
00000544: DUP1
00000545: REVERT
00000546: JUMPDEST
00000547: POP
00000548: DUP1
00000549: CALLDATALOAD
0000054a: SWAP1
0000054b: PUSH1 0x20
0000054d: ADD
0000054e: CALLDATALOAD
0000054f: PUSH1 0xff
00000551: AND
00000552: PUSH2 0x145b
00000555: JUMP
00000556: JUMPDEST
00000557: CALLVALUE
00000558: DUP1
00000559: ISZERO
0000055a: PUSH2 0x0562
0000055d: JUMPI
0000055e: PUSH1 0x00
00000560: DUP1
00000561: REVERT
00000562: JUMPDEST
00000563: POP
00000564: PUSH2 0x0445
00000567: PUSH2 0x1476
0000056a: JUMP
0000056b: JUMPDEST
0000056c: CALLVALUE
0000056d: DUP1
0000056e: ISZERO
0000056f: PUSH2 0x0577
00000572: JUMPI
00000573: PUSH1 0x00
00000575: DUP1
00000576: REVERT
00000577: JUMPDEST
00000578: POP
00000579: PUSH2 0x0445
0000057c: PUSH2 0x150e
0000057f: JUMP
00000580: JUMPDEST
00000581: CALLVALUE
00000582: DUP1
00000583: ISZERO
00000584: PUSH2 0x058c
00000587: JUMPI
00000588: PUSH1 0x00
0000058a: DUP1
0000058b: REVERT
0000058c: JUMPDEST
0000058d: POP
0000058e: PUSH2 0x0595
00000591: PUSH2 0x1532
00000594: JUMP
00000595: JUMPDEST
00000596: PUSH1 0x40
00000598: DUP1
00000599: MLOAD
0000059a: PUSH1 0xff
0000059c: SWAP1
0000059d: SWAP3
0000059e: AND
0000059f: DUP3
000005a0: MSTORE
000005a1: MLOAD
000005a2: SWAP1
000005a3: DUP2
000005a4: SWAP1
000005a5: SUB
000005a6: PUSH1 0x20
000005a8: ADD
000005a9: SWAP1
000005aa: RETURN
000005ab: JUMPDEST
000005ac: CALLVALUE
000005ad: DUP1
000005ae: ISZERO
000005af: PUSH2 0x05b7
000005b2: JUMPI
000005b3: PUSH1 0x00
000005b5: DUP1
000005b6: REVERT
000005b7: JUMPDEST
000005b8: POP
000005b9: PUSH2 0x0445
000005bc: PUSH2 0x153b
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 0x041c
000005d1: PUSH1 0x04
000005d3: DUP1
000005d4: CALLDATASIZE
000005d5: SUB
000005d6: PUSH1 0x40
000005d8: DUP2
000005d9: LT
000005da: ISZERO
000005db: PUSH2 0x05e3
000005de: JUMPI
000005df: PUSH1 0x00
000005e1: DUP1
000005e2: REVERT
000005e3: JUMPDEST
000005e4: POP
000005e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fa: DUP2
000005fb: CALLDATALOAD
000005fc: AND
000005fd: SWAP1
000005fe: PUSH1 0x20
00000600: ADD
00000601: CALLDATALOAD
00000602: PUSH2 0x155f
00000605: JUMP
00000606: JUMPDEST
00000607: CALLVALUE
00000608: DUP1
00000609: ISZERO
0000060a: PUSH2 0x0612
0000060d: JUMPI
0000060e: PUSH1 0x00
00000610: DUP1
00000611: REVERT
00000612: JUMPDEST
00000613: POP
00000614: PUSH2 0x061b
00000617: PUSH2 0x15c0
0000061a: JUMP
0000061b: JUMPDEST
0000061c: PUSH1 0x40
0000061e: DUP1
0000061f: MLOAD
00000620: PUSH4 0xffffffff
00000625: SWAP1
00000626: SWAP4
00000627: AND
00000628: DUP4
00000629: MSTORE
0000062a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000647: SWAP1
00000648: SWAP2
00000649: AND
0000064a: PUSH1 0x20
0000064c: DUP4
0000064d: ADD
0000064e: MSTORE
0000064f: DUP1
00000650: MLOAD
00000651: SWAP2
00000652: DUP3
00000653: SWAP1
00000654: SUB
00000655: ADD
00000656: SWAP1
00000657: RETURN
00000658: JUMPDEST
00000659: PUSH2 0x0445
0000065c: PUSH1 0x04
0000065e: DUP1
0000065f: CALLDATASIZE
00000660: SUB
00000661: PUSH1 0x40
00000663: DUP2
00000664: LT
00000665: ISZERO
00000666: PUSH2 0x066e
00000669: JUMPI
0000066a: PUSH1 0x00
0000066c: DUP1
0000066d: REVERT
0000066e: JUMPDEST
0000066f: POP
00000670: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000685: DUP2
00000686: CALLDATALOAD
00000687: AND
00000688: SWAP1
00000689: PUSH1 0x20
0000068b: ADD
0000068c: CALLDATALOAD
0000068d: PUSH2 0x15f4
00000690: JUMP
00000691: JUMPDEST
00000692: CALLVALUE
00000693: DUP1
00000694: ISZERO
00000695: PUSH2 0x069d
00000698: JUMPI
00000699: PUSH1 0x00
0000069b: DUP1
0000069c: REVERT
0000069d: JUMPDEST
0000069e: POP
0000069f: PUSH2 0x0445
000006a2: PUSH2 0x1600
000006a5: JUMP
000006a6: JUMPDEST
000006a7: CALLVALUE
000006a8: DUP1
000006a9: ISZERO
000006aa: PUSH2 0x06b2
000006ad: JUMPI
000006ae: PUSH1 0x00
000006b0: DUP1
000006b1: REVERT
000006b2: JUMPDEST
000006b3: POP
000006b4: PUSH2 0x0445
000006b7: PUSH1 0x04
000006b9: DUP1
000006ba: CALLDATASIZE
000006bb: SUB
000006bc: PUSH1 0x20
000006be: DUP2
000006bf: LT
000006c0: ISZERO
000006c1: PUSH2 0x06c9
000006c4: JUMPI
000006c5: PUSH1 0x00
000006c7: DUP1
000006c8: REVERT
000006c9: JUMPDEST
000006ca: POP
000006cb: CALLDATALOAD
000006cc: PUSH1 0xff
000006ce: AND
000006cf: PUSH2 0x1624
000006d2: JUMP
000006d3: JUMPDEST
000006d4: CALLVALUE
000006d5: DUP1
000006d6: ISZERO
000006d7: PUSH2 0x06df
000006da: JUMPI
000006db: PUSH1 0x00
000006dd: DUP1
000006de: REVERT
000006df: JUMPDEST
000006e0: POP
000006e1: PUSH2 0x0445
000006e4: PUSH2 0x164f
000006e7: JUMP
000006e8: JUMPDEST
000006e9: CALLVALUE
000006ea: DUP1
000006eb: ISZERO
000006ec: PUSH2 0x06f4
000006ef: JUMPI
000006f0: PUSH1 0x00
000006f2: DUP1
000006f3: REVERT
000006f4: JUMPDEST
000006f5: POP
000006f6: PUSH2 0x0445
000006f9: PUSH2 0x165b
000006fc: JUMP
000006fd: JUMPDEST
000006fe: CALLVALUE
000006ff: DUP1
00000700: ISZERO
00000701: PUSH2 0x0709
00000704: JUMPI
00000705: PUSH1 0x00
00000707: DUP1
00000708: REVERT
00000709: JUMPDEST
0000070a: POP
0000070b: PUSH2 0x0712
0000070e: PUSH2 0x1667
00000711: JUMP
00000712: JUMPDEST
00000713: PUSH1 0x40
00000715: DUP1
00000716: MLOAD
00000717: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000072c: SWAP1
0000072d: SWAP3
0000072e: AND
0000072f: DUP3
00000730: MSTORE
00000731: MLOAD
00000732: SWAP1
00000733: DUP2
00000734: SWAP1
00000735: SUB
00000736: PUSH1 0x20
00000738: ADD
00000739: SWAP1
0000073a: RETURN
0000073b: JUMPDEST
0000073c: CALLVALUE
0000073d: DUP1
0000073e: ISZERO
0000073f: PUSH2 0x0747
00000742: JUMPI
00000743: PUSH1 0x00
00000745: DUP1
00000746: REVERT
00000747: JUMPDEST
00000748: POP
00000749: PUSH2 0x0445
0000074c: PUSH1 0x04
0000074e: DUP1
0000074f: CALLDATASIZE
00000750: SUB
00000751: PUSH1 0x20
00000753: DUP2
00000754: LT
00000755: ISZERO
00000756: PUSH2 0x075e
00000759: JUMPI
0000075a: PUSH1 0x00
0000075c: DUP1
0000075d: REVERT
0000075e: JUMPDEST
0000075f: POP
00000760: CALLDATALOAD
00000761: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000776: AND
00000777: PUSH2 0x168b
0000077a: JUMP
0000077b: JUMPDEST
0000077c: CALLVALUE
0000077d: DUP1
0000077e: ISZERO
0000077f: PUSH2 0x0787
00000782: JUMPI
00000783: PUSH1 0x00
00000785: DUP1
00000786: REVERT
00000787: JUMPDEST
00000788: POP
00000789: PUSH2 0x0445
0000078c: PUSH2 0x16b7
0000078f: JUMP
00000790: JUMPDEST
00000791: PUSH2 0x0445
00000794: PUSH1 0x04
00000796: DUP1
00000797: CALLDATASIZE
00000798: SUB
00000799: PUSH1 0x40
0000079b: DUP2
0000079c: LT
0000079d: ISZERO
0000079e: PUSH2 0x07a6
000007a1: JUMPI
000007a2: PUSH1 0x00
000007a4: DUP1
000007a5: REVERT
000007a6: JUMPDEST
000007a7: POP
000007a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007bd: DUP2
000007be: CALLDATALOAD
000007bf: AND
000007c0: SWAP1
000007c1: PUSH1 0x20
000007c3: ADD
000007c4: CALLDATALOAD
000007c5: PUSH2 0x16bc
000007c8: JUMP
000007c9: JUMPDEST
000007ca: CALLVALUE
000007cb: DUP1
000007cc: ISZERO
000007cd: PUSH2 0x07d5
000007d0: JUMPI
000007d1: PUSH1 0x00
000007d3: DUP1
000007d4: REVERT
000007d5: JUMPDEST
000007d6: POP
000007d7: PUSH2 0x0445
000007da: PUSH1 0x04
000007dc: DUP1
000007dd: CALLDATASIZE
000007de: SUB
000007df: PUSH1 0x20
000007e1: DUP2
000007e2: LT
000007e3: ISZERO
000007e4: PUSH2 0x07ec
000007e7: JUMPI
000007e8: PUSH1 0x00
000007ea: DUP1
000007eb: REVERT
000007ec: JUMPDEST
000007ed: POP
000007ee: CALLDATALOAD
000007ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000804: AND
00000805: PUSH2 0x16c8
00000808: JUMP
00000809: JUMPDEST
0000080a: CALLVALUE
0000080b: DUP1
0000080c: ISZERO
0000080d: PUSH2 0x0815
00000810: JUMPI
00000811: PUSH1 0x00
00000813: DUP1
00000814: REVERT
00000815: JUMPDEST
00000816: POP
00000817: PUSH2 0x0445
0000081a: PUSH2 0x16da
0000081d: JUMP
0000081e: JUMPDEST
0000081f: CALLVALUE
00000820: DUP1
00000821: ISZERO
00000822: PUSH2 0x082a
00000825: JUMPI
00000826: PUSH1 0x00
00000828: DUP1
00000829: REVERT
0000082a: JUMPDEST
0000082b: POP
0000082c: PUSH2 0x0445
0000082f: PUSH2 0x16df
00000832: JUMP
00000833: JUMPDEST
00000834: CALLVALUE
00000835: DUP1
00000836: ISZERO
00000837: PUSH2 0x083f
0000083a: JUMPI
0000083b: PUSH1 0x00
0000083d: DUP1
0000083e: REVERT
0000083f: JUMPDEST
00000840: POP
00000841: PUSH2 0x0361
00000844: PUSH2 0x16f2
00000847: JUMP
00000848: JUMPDEST
00000849: CALLVALUE
0000084a: DUP1
0000084b: ISZERO
0000084c: PUSH2 0x0854
0000084f: JUMPI
00000850: PUSH1 0x00
00000852: DUP1
00000853: REVERT
00000854: JUMPDEST
00000855: POP
00000856: PUSH2 0x061b
00000859: PUSH2 0x1771
0000085c: JUMP
0000085d: JUMPDEST
0000085e: CALLVALUE
0000085f: DUP1
00000860: ISZERO
00000861: PUSH2 0x0869
00000864: JUMPI
00000865: PUSH1 0x00
00000867: DUP1
00000868: REVERT
00000869: JUMPDEST
0000086a: POP
0000086b: PUSH2 0x0445
0000086e: PUSH1 0x04
00000870: DUP1
00000871: CALLDATASIZE
00000872: SUB
00000873: PUSH1 0x80
00000875: DUP2
00000876: LT
00000877: ISZERO
00000878: PUSH2 0x0880
0000087b: JUMPI
0000087c: PUSH1 0x00
0000087e: DUP1
0000087f: REVERT
00000880: JUMPDEST
00000881: POP
00000882: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000897: DUP2
00000898: CALLDATALOAD
00000899: DUP2
0000089a: AND
0000089b: SWAP2
0000089c: PUSH1 0x20
0000089e: DUP2
0000089f: ADD
000008a0: CALLDATALOAD
000008a1: SWAP1
000008a2: SWAP2
000008a3: AND
000008a4: SWAP1
000008a5: PUSH1 0x40
000008a7: DUP2
000008a8: ADD
000008a9: CALLDATALOAD
000008aa: SWAP1
000008ab: PUSH1 0x60
000008ad: ADD
000008ae: CALLDATALOAD
000008af: PUSH2 0x17a5
000008b2: JUMP
000008b3: JUMPDEST
000008b4: CALLVALUE
000008b5: DUP1
000008b6: ISZERO
000008b7: PUSH2 0x08bf
000008ba: JUMPI
000008bb: PUSH1 0x00
000008bd: DUP1
000008be: REVERT
000008bf: JUMPDEST
000008c0: POP
000008c1: PUSH2 0x0445
000008c4: PUSH1 0x04
000008c6: DUP1
000008c7: CALLDATASIZE
000008c8: SUB
000008c9: PUSH1 0x40
000008cb: DUP2
000008cc: LT
000008cd: ISZERO
000008ce: PUSH2 0x08d6
000008d1: JUMPI
000008d2: PUSH1 0x00
000008d4: DUP1
000008d5: REVERT
000008d6: JUMPDEST
000008d7: POP
000008d8: DUP1
000008d9: CALLDATALOAD
000008da: SWAP1
000008db: PUSH1 0x20
000008dd: ADD
000008de: CALLDATALOAD
000008df: PUSH1 0xff
000008e1: AND
000008e2: PUSH2 0x18ea
000008e5: JUMP
000008e6: JUMPDEST
000008e7: CALLVALUE
000008e8: DUP1
000008e9: ISZERO
000008ea: PUSH2 0x08f2
000008ed: JUMPI
000008ee: PUSH1 0x00
000008f0: DUP1
000008f1: REVERT
000008f2: JUMPDEST
000008f3: POP
000008f4: PUSH2 0x0445
000008f7: PUSH2 0x18fe
000008fa: JUMP
000008fb: JUMPDEST
000008fc: CALLVALUE
000008fd: DUP1
000008fe: ISZERO
000008ff: PUSH2 0x0907
00000902: JUMPI
00000903: PUSH1 0x00
00000905: DUP1
00000906: REVERT
00000907: JUMPDEST
00000908: POP
00000909: PUSH2 0x041c
0000090c: PUSH1 0x04
0000090e: DUP1
0000090f: CALLDATASIZE
00000910: SUB
00000911: PUSH1 0x40
00000913: DUP2
00000914: LT
00000915: ISZERO
00000916: PUSH2 0x091e
00000919: JUMPI
0000091a: PUSH1 0x00
0000091c: DUP1
0000091d: REVERT
0000091e: JUMPDEST
0000091f: POP
00000920: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000935: DUP2
00000936: CALLDATALOAD
00000937: AND
00000938: SWAP1
00000939: PUSH1 0x20
0000093b: ADD
0000093c: CALLDATALOAD
0000093d: PUSH2 0x1925
00000940: JUMP
00000941: JUMPDEST
00000942: CALLVALUE
00000943: DUP1
00000944: ISZERO
00000945: PUSH2 0x094d
00000948: JUMPI
00000949: PUSH1 0x00
0000094b: DUP1
0000094c: REVERT
0000094d: JUMPDEST
0000094e: POP
0000094f: PUSH2 0x041c
00000952: PUSH1 0x04
00000954: DUP1
00000955: CALLDATASIZE
00000956: SUB
00000957: PUSH1 0x40
00000959: DUP2
0000095a: LT
0000095b: ISZERO
0000095c: PUSH2 0x0964
0000095f: JUMPI
00000960: PUSH1 0x00
00000962: DUP1
00000963: REVERT
00000964: JUMPDEST
00000965: POP
00000966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097b: DUP2
0000097c: CALLDATALOAD
0000097d: AND
0000097e: SWAP1
0000097f: PUSH1 0x20
00000981: ADD
00000982: CALLDATALOAD
00000983: PUSH2 0x19a0
00000986: JUMP
00000987: JUMPDEST
00000988: CALLVALUE
00000989: DUP1
0000098a: ISZERO
0000098b: PUSH2 0x0993
0000098e: JUMPI
0000098f: PUSH1 0x00
00000991: DUP1
00000992: REVERT
00000993: JUMPDEST
00000994: POP
00000995: PUSH2 0x0445
00000998: PUSH1 0x04
0000099a: DUP1
0000099b: CALLDATASIZE
0000099c: SUB
0000099d: PUSH1 0x20
0000099f: DUP2
000009a0: LT
000009a1: ISZERO
000009a2: PUSH2 0x09aa
000009a5: JUMPI
000009a6: PUSH1 0x00
000009a8: DUP1
000009a9: REVERT
000009aa: JUMPDEST
000009ab: POP
000009ac: CALLDATALOAD
000009ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c2: AND
000009c3: PUSH2 0x19b4
000009c6: JUMP
000009c7: JUMPDEST
000009c8: CALLVALUE
000009c9: DUP1
000009ca: ISZERO
000009cb: PUSH2 0x09d3
000009ce: JUMPI
000009cf: PUSH1 0x00
000009d1: DUP1
000009d2: REVERT
000009d3: JUMPDEST
000009d4: POP
000009d5: PUSH2 0x0445
000009d8: PUSH2 0x19c6
000009db: JUMP
000009dc: JUMPDEST
000009dd: CALLVALUE
000009de: DUP1
000009df: ISZERO
000009e0: PUSH2 0x09e8
000009e3: JUMPI
000009e4: PUSH1 0x00
000009e6: DUP1
000009e7: REVERT
000009e8: JUMPDEST
000009e9: POP
000009ea: PUSH2 0x0445
000009ed: PUSH1 0x04
000009ef: DUP1
000009f0: CALLDATASIZE
000009f1: SUB
000009f2: PUSH1 0x20
000009f4: DUP2
000009f5: LT
000009f6: ISZERO
000009f7: PUSH2 0x09ff
000009fa: JUMPI
000009fb: PUSH1 0x00
000009fd: DUP1
000009fe: REVERT
000009ff: JUMPDEST
00000a00: POP
00000a01: CALLDATALOAD
00000a02: PUSH1 0xff
00000a04: AND
00000a05: PUSH2 0x19ea
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: CALLVALUE
00000a0b: DUP1
00000a0c: ISZERO
00000a0d: PUSH2 0x0a15
00000a10: JUMPI
00000a11: PUSH1 0x00
00000a13: DUP1
00000a14: REVERT
00000a15: JUMPDEST
00000a16: POP
00000a17: PUSH2 0x0445
00000a1a: PUSH1 0x04
00000a1c: DUP1
00000a1d: CALLDATASIZE
00000a1e: SUB
00000a1f: PUSH1 0x20
00000a21: DUP2
00000a22: LT
00000a23: ISZERO
00000a24: PUSH2 0x0a2c
00000a27: JUMPI
00000a28: PUSH1 0x00
00000a2a: DUP1
00000a2b: REVERT
00000a2c: JUMPDEST
00000a2d: POP
00000a2e: CALLDATALOAD
00000a2f: PUSH1 0xff
00000a31: AND
00000a32: PUSH2 0x1a0d
00000a35: JUMP
00000a36: JUMPDEST
00000a37: CALLVALUE
00000a38: DUP1
00000a39: ISZERO
00000a3a: PUSH2 0x0a42
00000a3d: JUMPI
00000a3e: PUSH1 0x00
00000a40: DUP1
00000a41: REVERT
00000a42: JUMPDEST
00000a43: POP
00000a44: PUSH2 0x0445
00000a47: PUSH2 0x1aca
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: CALLVALUE
00000a4d: DUP1
00000a4e: ISZERO
00000a4f: PUSH2 0x0a57
00000a52: JUMPI
00000a53: PUSH1 0x00
00000a55: DUP1
00000a56: REVERT
00000a57: JUMPDEST
00000a58: POP
00000a59: PUSH2 0x04bc
00000a5c: PUSH1 0x04
00000a5e: DUP1
00000a5f: CALLDATASIZE
00000a60: SUB
00000a61: PUSH1 0xe0
00000a63: DUP2
00000a64: LT
00000a65: ISZERO
00000a66: PUSH2 0x0a6e
00000a69: JUMPI
00000a6a: PUSH1 0x00
00000a6c: DUP1
00000a6d: REVERT
00000a6e: JUMPDEST
00000a6f: POP
00000a70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a85: DUP2
00000a86: CALLDATALOAD
00000a87: DUP2
00000a88: AND
00000a89: SWAP2
00000a8a: PUSH1 0x20
00000a8c: DUP2
00000a8d: ADD
00000a8e: CALLDATALOAD
00000a8f: SWAP1
00000a90: SWAP2
00000a91: AND
00000a92: SWAP1
00000a93: PUSH1 0x40
00000a95: DUP2
00000a96: ADD
00000a97: CALLDATALOAD
00000a98: SWAP1
00000a99: PUSH1 0x60
00000a9b: DUP2
00000a9c: ADD
00000a9d: CALLDATALOAD
00000a9e: SWAP1
00000a9f: PUSH1 0xff
00000aa1: PUSH1 0x80
00000aa3: DUP3
00000aa4: ADD
00000aa5: CALLDATALOAD
00000aa6: AND
00000aa7: SWAP1
00000aa8: PUSH1 0xa0
00000aaa: DUP2
00000aab: ADD
00000aac: CALLDATALOAD
00000aad: SWAP1
00000aae: PUSH1 0xc0
00000ab0: ADD
00000ab1: CALLDATALOAD
00000ab2: PUSH2 0x1adf
00000ab5: JUMP
00000ab6: JUMPDEST
00000ab7: CALLVALUE
00000ab8: DUP1
00000ab9: ISZERO
00000aba: PUSH2 0x0ac2
00000abd: JUMPI
00000abe: PUSH1 0x00
00000ac0: DUP1
00000ac1: REVERT
00000ac2: JUMPDEST
00000ac3: POP
00000ac4: PUSH2 0x0445
00000ac7: PUSH1 0x04
00000ac9: DUP1
00000aca: CALLDATASIZE
00000acb: SUB
00000acc: PUSH1 0x80
00000ace: DUP2
00000acf: LT
00000ad0: ISZERO
00000ad1: PUSH2 0x0ad9
00000ad4: JUMPI
00000ad5: PUSH1 0x00
00000ad7: DUP1
00000ad8: REVERT
00000ad9: JUMPDEST
00000ada: POP
00000adb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af0: DUP2
00000af1: CALLDATALOAD
00000af2: DUP2
00000af3: AND
00000af4: SWAP2
00000af5: PUSH1 0x20
00000af7: DUP2
00000af8: ADD
00000af9: CALLDATALOAD
00000afa: SWAP1
00000afb: SWAP2
00000afc: AND
00000afd: SWAP1
00000afe: PUSH1 0x40
00000b00: DUP2
00000b01: ADD
00000b02: CALLDATALOAD
00000b03: SWAP1
00000b04: PUSH1 0x60
00000b06: ADD
00000b07: CALLDATALOAD
00000b08: PUSH2 0x1d98
00000b0b: JUMP
00000b0c: JUMPDEST
00000b0d: CALLVALUE
00000b0e: DUP1
00000b0f: ISZERO
00000b10: PUSH2 0x0b18
00000b13: JUMPI
00000b14: PUSH1 0x00
00000b16: DUP1
00000b17: REVERT
00000b18: JUMPDEST
00000b19: POP
00000b1a: PUSH2 0x0445
00000b1d: PUSH1 0x04
00000b1f: DUP1
00000b20: CALLDATASIZE
00000b21: SUB
00000b22: PUSH1 0x40
00000b24: DUP2
00000b25: LT
00000b26: ISZERO
00000b27: PUSH2 0x0b2f
00000b2a: JUMPI
00000b2b: PUSH1 0x00
00000b2d: DUP1
00000b2e: REVERT
00000b2f: JUMPDEST
00000b30: POP
00000b31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b46: DUP2
00000b47: CALLDATALOAD
00000b48: DUP2
00000b49: AND
00000b4a: SWAP2
00000b4b: PUSH1 0x20
00000b4d: ADD
00000b4e: CALLDATALOAD
00000b4f: AND
00000b50: PUSH2 0x1e95
00000b53: JUMP
00000b54: JUMPDEST
00000b55: CALLVALUE
00000b56: DUP1
00000b57: ISZERO
00000b58: PUSH2 0x0b60
00000b5b: JUMPI
00000b5c: PUSH1 0x00
00000b5e: DUP1
00000b5f: REVERT
00000b60: JUMPDEST
00000b61: POP
00000b62: PUSH2 0x0445
00000b65: PUSH2 0x1ecd
00000b68: JUMP
00000b69: JUMPDEST
00000b6a: CALLVALUE
00000b6b: DUP1
00000b6c: ISZERO
00000b6d: PUSH2 0x0b75
00000b70: JUMPI
00000b71: PUSH1 0x00
00000b73: DUP1
00000b74: REVERT
00000b75: JUMPDEST
00000b76: POP
00000b77: PUSH2 0x04bc
00000b7a: PUSH1 0x04
00000b7c: DUP1
00000b7d: CALLDATASIZE
00000b7e: SUB
00000b7f: PUSH1 0x20
00000b81: DUP2
00000b82: LT
00000b83: ISZERO
00000b84: PUSH2 0x0b8c
00000b87: JUMPI
00000b88: PUSH1 0x00
00000b8a: DUP1
00000b8b: REVERT
00000b8c: JUMPDEST
00000b8d: POP
00000b8e: CALLDATALOAD
00000b8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba4: AND
00000ba5: PUSH2 0x1eed
00000ba8: JUMP
00000ba9: JUMPDEST
00000baa: CALLVALUE
00000bab: DUP1
00000bac: ISZERO
00000bad: PUSH2 0x0bb5
00000bb0: JUMPI
00000bb1: PUSH1 0x00
00000bb3: DUP1
00000bb4: REVERT
00000bb5: JUMPDEST
00000bb6: POP
00000bb7: PUSH2 0x0445
00000bba: PUSH2 0x1efa
00000bbd: JUMP
00000bbe: JUMPDEST
00000bbf: CALLVALUE
00000bc0: DUP1
00000bc1: ISZERO
00000bc2: PUSH2 0x0bca
00000bc5: JUMPI
00000bc6: PUSH1 0x00
00000bc8: DUP1
00000bc9: REVERT
00000bca: JUMPDEST
00000bcb: POP
00000bcc: PUSH2 0x0445
00000bcf: PUSH2 0x1f04
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: CALLVALUE
00000bd5: DUP1
00000bd6: ISZERO
00000bd7: PUSH2 0x0bdf
00000bda: JUMPI
00000bdb: PUSH1 0x00
00000bdd: DUP1
00000bde: REVERT
00000bdf: JUMPDEST
00000be0: POP
00000be1: PUSH2 0x0445
00000be4: PUSH2 0x1fe7
00000be7: JUMP
00000be8: JUMPDEST
00000be9: CALLVALUE
00000bea: DUP1
00000beb: ISZERO
00000bec: PUSH2 0x0bf4
00000bef: JUMPI
00000bf0: PUSH1 0x00
00000bf2: DUP1
00000bf3: REVERT
00000bf4: JUMPDEST
00000bf5: POP
00000bf6: PUSH2 0x0445
00000bf9: PUSH2 0x1feb
00000bfc: JUMP
00000bfd: JUMPDEST
00000bfe: CALLVALUE
00000bff: DUP1
00000c00: ISZERO
00000c01: PUSH2 0x0c09
00000c04: JUMPI
00000c05: PUSH1 0x00
00000c07: DUP1
00000c08: REVERT
00000c09: JUMPDEST
00000c0a: POP
00000c0b: PUSH2 0x041c
00000c0e: PUSH1 0x04
00000c10: DUP1
00000c11: CALLDATASIZE
00000c12: SUB
00000c13: PUSH1 0x40
00000c15: DUP2
00000c16: LT
00000c17: ISZERO
00000c18: PUSH2 0x0c20
00000c1b: JUMPI
00000c1c: PUSH1 0x00
00000c1e: DUP1
00000c1f: REVERT
00000c20: JUMPDEST
00000c21: POP
00000c22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c37: DUP2
00000c38: CALLDATALOAD
00000c39: DUP2
00000c3a: AND
00000c3b: SWAP2
00000c3c: PUSH1 0x20
00000c3e: ADD
00000c3f: CALLDATALOAD
00000c40: AND
00000c41: PUSH2 0x20a2
00000c44: JUMP
00000c45: JUMPDEST
00000c46: CALLVALUE
00000c47: DUP1
00000c48: ISZERO
00000c49: PUSH2 0x0c51
00000c4c: JUMPI
00000c4d: PUSH1 0x00
00000c4f: DUP1
00000c50: REVERT
00000c51: JUMPDEST
00000c52: POP
00000c53: PUSH2 0x0445
00000c56: PUSH1 0x04
00000c58: DUP1
00000c59: CALLDATASIZE
00000c5a: SUB
00000c5b: PUSH1 0x80
00000c5d: DUP2
00000c5e: LT
00000c5f: ISZERO
00000c60: PUSH2 0x0c68
00000c63: JUMPI
00000c64: PUSH1 0x00
00000c66: DUP1
00000c67: REVERT
00000c68: JUMPDEST
00000c69: POP
00000c6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c7f: DUP2
00000c80: CALLDATALOAD
00000c81: DUP2
00000c82: AND
00000c83: SWAP2
00000c84: PUSH1 0x20
00000c86: DUP2
00000c87: ADD
00000c88: CALLDATALOAD
00000c89: SWAP1
00000c8a: SWAP2
00000c8b: AND
00000c8c: SWAP1
00000c8d: PUSH1 0x40
00000c8f: DUP2
00000c90: ADD
00000c91: CALLDATALOAD
00000c92: SWAP1
00000c93: PUSH1 0x60
00000c95: ADD
00000c96: CALLDATALOAD
00000c97: PUSH2 0x20c2
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: CALLVALUE
00000c9d: DUP1
00000c9e: ISZERO
00000c9f: PUSH2 0x0ca7
00000ca2: JUMPI
00000ca3: PUSH1 0x00
00000ca5: DUP1
00000ca6: REVERT
00000ca7: JUMPDEST
00000ca8: POP
00000ca9: PUSH2 0x04bc
00000cac: PUSH1 0x04
00000cae: DUP1
00000caf: CALLDATASIZE
00000cb0: SUB
00000cb1: PUSH1 0x20
00000cb3: DUP2
00000cb4: LT
00000cb5: ISZERO
00000cb6: PUSH2 0x0cbe
00000cb9: JUMPI
00000cba: PUSH1 0x00
00000cbc: DUP1
00000cbd: REVERT
00000cbe: JUMPDEST
00000cbf: POP
00000cc0: CALLDATALOAD
00000cc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd6: AND
00000cd7: PUSH2 0x2163
00000cda: JUMP
00000cdb: JUMPDEST
00000cdc: CALLVALUE
00000cdd: DUP1
00000cde: ISZERO
00000cdf: PUSH2 0x0ce7
00000ce2: JUMPI
00000ce3: PUSH1 0x00
00000ce5: DUP1
00000ce6: REVERT
00000ce7: JUMPDEST
00000ce8: POP
00000ce9: PUSH2 0x0445
00000cec: PUSH2 0x216d
00000cef: JUMP
00000cf0: JUMPDEST
00000cf1: PUSH1 0x00
00000cf3: PUSH5 0x174876e800
00000cf9: DUP3
00000cfa: MOD
00000cfb: DUP1
00000cfc: ISZERO
00000cfd: DUP1
00000cfe: ISZERO
00000cff: SWAP1
00000d00: PUSH2 0x0d0b
00000d03: JUMPI
00000d04: POP
00000d05: PUSH3 0x989680
00000d09: DUP2
00000d0a: LT
00000d0b: JUMPDEST
00000d0c: ISZERO
00000d0d: PUSH2 0x0d1a
00000d10: JUMPI
00000d11: PUSH1 0x64
00000d13: DUP4
00000d14: DUP3
00000d15: MUL
00000d16: JUMPDEST
00000d17: DIV
00000d18: SWAP2
00000d19: POP
00000d1a: JUMPDEST
00000d1b: POP
00000d1c: SWAP2
00000d1d: SWAP1
00000d1e: POP
00000d1f: JUMP
00000d20: JUMPDEST
00000d21: PUSH1 0x00
00000d23: DUP1
00000d24: PUSH2 0x0d2b
00000d27: PUSH2 0x1fe7
00000d2a: JUMP
00000d2b: JUMPDEST
00000d2c: SWAP1
00000d2d: POP
00000d2e: PUSH1 0x00
00000d30: PUSH2 0x0d3f
00000d33: DUP3
00000d34: CALLVALUE
00000d35: PUSH4 0xffffffff
00000d3a: PUSH2 0x2174
00000d3d: AND
00000d3e: JUMP
00000d3f: JUMPDEST
00000d40: SWAP1
00000d41: POP
00000d42: PUSH1 0x00
00000d44: DUP2
00000d45: GT
00000d46: PUSH2 0x0d96
00000d49: JUMPI
00000d4a: PUSH1 0x40
00000d4c: DUP1
00000d4d: MLOAD
00000d4e: PUSH3 0x461bcd
00000d52: PUSH1 0xe5
00000d54: SHL
00000d55: DUP2
00000d56: MSTORE
00000d57: PUSH1 0x20
00000d59: PUSH1 0x04
00000d5b: DUP3
00000d5c: ADD
00000d5d: MSTORE
00000d5e: PUSH1 0x13
00000d60: PUSH1 0x24
00000d62: DUP3
00000d63: ADD
00000d64: MSTORE
00000d65: PUSH32 0x46756e64206265666f7265206d696e74696e6700000000000000000000000000
00000d86: PUSH1 0x44
00000d88: DUP3
00000d89: ADD
00000d8a: MSTORE
00000d8b: SWAP1
00000d8c: MLOAD
00000d8d: SWAP1
00000d8e: DUP2
00000d8f: SWAP1
00000d90: SUB
00000d91: PUSH1 0x64
00000d93: ADD
00000d94: SWAP1
00000d95: REVERT
00000d96: JUMPDEST
00000d97: PUSH1 0x00
00000d99: PUSH2 0x0da0
00000d9c: PUSH2 0x1efa
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: SWAP1
00000da2: POP
00000da3: PUSH1 0x00
00000da5: PUSH2 0x0dac
00000da8: PUSH2 0x1053
00000dab: JUMP
00000dac: JUMPDEST
00000dad: SWAP1
00000dae: POP
00000daf: PUSH1 0x00
00000db1: PUSH2 0x0dbb
00000db4: DUP4
00000db5: DUP6
00000db6: DUP5
00000db7: PUSH2 0x21b6
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: SWAP1
00000dbd: POP
00000dbe: PUSH2 0x0dca
00000dc1: DUP4
00000dc2: CALLVALUE
00000dc3: DUP7
00000dc4: DUP6
00000dc5: DUP6
00000dc6: PUSH2 0x21f1
00000dc9: JUMP
00000dca: JUMPDEST
00000dcb: SWAP6
00000dcc: POP
00000dcd: DUP7
00000dce: DUP7
00000dcf: LT
00000dd0: ISZERO
00000dd1: PUSH2 0x0e21
00000dd4: JUMPI
00000dd5: PUSH1 0x40
00000dd7: DUP1
00000dd8: MLOAD
00000dd9: PUSH3 0x461bcd
00000ddd: PUSH1 0xe5
00000ddf: SHL
00000de0: DUP2
00000de1: MSTORE
00000de2: PUSH1 0x20
00000de4: PUSH1 0x04
00000de6: DUP3
00000de7: ADD
00000de8: MSTORE
00000de9: PUSH1 0x11
00000deb: PUSH1 0x24
00000ded: DUP3
00000dee: ADD
00000def: MSTORE
00000df0: PUSH32 0x4c696d6974206e6f742072656163686564000000000000000000000000000000
00000e11: PUSH1 0x44
00000e13: DUP3
00000e14: ADD
00000e15: MSTORE
00000e16: SWAP1
00000e17: MLOAD
00000e18: SWAP1
00000e19: DUP2
00000e1a: SWAP1
00000e1b: SUB
00000e1c: PUSH1 0x64
00000e1e: ADD
00000e1f: SWAP1
00000e20: REVERT
00000e21: JUMPDEST
00000e22: PUSH1 0x00
00000e24: PUSH2 0x0e3d
00000e27: DUP5
00000e28: DUP8
00000e29: PUSH2 0x0e38
00000e2c: DUP7
00000e2d: DUP12
00000e2e: PUSH4 0xffffffff
00000e33: PUSH2 0x231e
00000e36: AND
00000e37: JUMP
00000e38: JUMPDEST
00000e39: PUSH2 0x21b6
00000e3c: JUMP
00000e3d: JUMPDEST
00000e3e: SWAP1
00000e3f: POP
00000e40: PUSH2 0x0e51
00000e43: DUP3
00000e44: DUP3
00000e45: PUSH2 0x0e4c
00000e48: PUSH2 0x13ae
00000e4b: JUMP
00000e4c: JUMPDEST
00000e4d: PUSH2 0x2378
00000e50: JUMP
00000e51: JUMPDEST
00000e52: PUSH2 0x0e5b
00000e55: DUP10
00000e56: DUP9
00000e57: PUSH2 0x2482
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: PUSH1 0x09
00000e5e: SLOAD
00000e5f: TIMESTAMP
00000e60: GT
00000e61: ISZERO
00000e62: PUSH2 0x0eb2
00000e65: JUMPI
00000e66: PUSH1 0x40
00000e68: DUP1
00000e69: MLOAD
00000e6a: PUSH3 0x461bcd
00000e6e: PUSH1 0xe5
00000e70: SHL
00000e71: DUP2
00000e72: MSTORE
00000e73: PUSH1 0x20
00000e75: PUSH1 0x04
00000e77: DUP3
00000e78: ADD
00000e79: MSTORE
00000e7a: PUSH1 0x1c
00000e7c: PUSH1 0x24
00000e7e: DUP3
00000e7f: ADD
00000e80: MSTORE
00000e81: PUSH32 0x547269616c20657870697265642c2072656d6f76652061737365747300000000
00000ea2: PUSH1 0x44
00000ea4: DUP3
00000ea5: ADD
00000ea6: MSTORE
00000ea7: SWAP1
00000ea8: MLOAD
00000ea9: SWAP1
00000eaa: DUP2
00000eab: SWAP1
00000eac: SUB
00000ead: PUSH1 0x64
00000eaf: ADD
00000eb0: SWAP1
00000eb1: REVERT
00000eb2: JUMPDEST
00000eb3: PUSH8 0x0de0b6b3a7640000
00000ebc: CALLVALUE
00000ebd: GT
00000ebe: ISZERO
00000ebf: PUSH2 0x0f0f
00000ec2: JUMPI
00000ec3: PUSH1 0x40
00000ec5: DUP1
00000ec6: MLOAD
00000ec7: PUSH3 0x461bcd
00000ecb: PUSH1 0xe5
00000ecd: SHL
00000ece: DUP2
00000ecf: MSTORE
00000ed0: PUSH1 0x20
00000ed2: PUSH1 0x04
00000ed4: DUP3
00000ed5: ADD
00000ed6: MSTORE
00000ed7: PUSH1 0x16
00000ed9: PUSH1 0x24
00000edb: DUP3
00000edc: ADD
00000edd: MSTORE
00000ede: PUSH32 0x4361707065642061742031204554482070657220747800000000000000000000
00000eff: PUSH1 0x44
00000f01: DUP3
00000f02: ADD
00000f03: MSTORE
00000f04: SWAP1
00000f05: MLOAD
00000f06: SWAP1
00000f07: DUP2
00000f08: SWAP1
00000f09: SUB
00000f0a: PUSH1 0x64
00000f0c: ADD
00000f0d: SWAP1
00000f0e: REVERT
00000f0f: JUMPDEST
00000f10: PUSH9 0x056bc75e2d63100000
00000f1a: PUSH2 0x0f21
00000f1d: PUSH2 0x1fe7
00000f20: JUMP
00000f21: JUMPDEST
00000f22: GT
00000f23: ISZERO
00000f24: PUSH2 0x0f74
00000f27: JUMPI
00000f28: PUSH1 0x40
00000f2a: DUP1
00000f2b: MLOAD
00000f2c: PUSH3 0x461bcd
00000f30: PUSH1 0xe5
00000f32: SHL
00000f33: DUP2
00000f34: MSTORE
00000f35: PUSH1 0x20
00000f37: PUSH1 0x04
00000f39: DUP3
00000f3a: ADD
00000f3b: MSTORE
00000f3c: PUSH1 0x18
00000f3e: PUSH1 0x24
00000f40: DUP3
00000f41: ADD
00000f42: MSTORE
00000f43: PUSH32 0x4361707065642061742031303020706f6f6c6564204554480000000000000000
00000f64: PUSH1 0x44
00000f66: DUP3
00000f67: ADD
00000f68: MSTORE
00000f69: SWAP1
00000f6a: MLOAD
00000f6b: SWAP1
00000f6c: DUP2
00000f6d: SWAP1
00000f6e: SUB
00000f6f: PUSH1 0x64
00000f71: ADD
00000f72: SWAP1
00000f73: REVERT
00000f74: JUMPDEST
00000f75: POP
00000f76: POP
00000f77: POP
00000f78: POP
00000f79: POP
00000f7a: POP
00000f7b: SWAP3
00000f7c: SWAP2
00000f7d: POP
00000f7e: POP
00000f7f: JUMP
00000f80: JUMPDEST
00000f81: PUSH1 0x03
00000f83: DUP1
00000f84: SLOAD
00000f85: PUSH1 0x40
00000f87: DUP1
00000f88: MLOAD
00000f89: PUSH1 0x20
00000f8b: PUSH1 0x1f
00000f8d: PUSH1 0x02
00000f8f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000fb0: PUSH2 0x0100
00000fb3: PUSH1 0x01
00000fb5: DUP9
00000fb6: AND
00000fb7: ISZERO
00000fb8: MUL
00000fb9: ADD
00000fba: SWAP1
00000fbb: SWAP6
00000fbc: AND
00000fbd: SWAP5
00000fbe: SWAP1
00000fbf: SWAP5
00000fc0: DIV
00000fc1: SWAP4
00000fc2: DUP5
00000fc3: ADD
00000fc4: DUP2
00000fc5: SWAP1
00000fc6: DIV
00000fc7: DUP2
00000fc8: MUL
00000fc9: DUP3
00000fca: ADD
00000fcb: DUP2
00000fcc: ADD
00000fcd: SWAP1
00000fce: SWAP3
00000fcf: MSTORE
00000fd0: DUP3
00000fd1: DUP2
00000fd2: MSTORE
00000fd3: PUSH1 0x60
00000fd5: SWAP4
00000fd6: SWAP1
00000fd7: SWAP3
00000fd8: SWAP1
00000fd9: SWAP2
00000fda: DUP4
00000fdb: ADD
00000fdc: DUP3
00000fdd: DUP3
00000fde: DUP1
00000fdf: ISZERO
00000fe0: PUSH2 0x102a
00000fe3: JUMPI
00000fe4: DUP1
00000fe5: PUSH1 0x1f
00000fe7: LT
00000fe8: PUSH2 0x0fff
00000feb: JUMPI
00000fec: PUSH2 0x0100
00000fef: DUP1
00000ff0: DUP4
00000ff1: SLOAD
00000ff2: DIV
00000ff3: MUL
00000ff4: DUP4
00000ff5: MSTORE
00000ff6: SWAP2
00000ff7: PUSH1 0x20
00000ff9: ADD
00000ffa: SWAP2
00000ffb: PUSH2 0x102a
00000ffe: JUMP
00000fff: JUMPDEST
00001000: DUP3
00001001: ADD
00001002: SWAP2
00001003: SWAP1
00001004: PUSH1 0x00
00001006: MSTORE
00001007: PUSH1 0x20
00001009: PUSH1 0x00
0000100b: KECCAK256
0000100c: SWAP1
0000100d: JUMPDEST
0000100e: DUP2
0000100f: SLOAD
00001010: DUP2
00001011: MSTORE
00001012: SWAP1
00001013: PUSH1 0x01
00001015: ADD
00001016: SWAP1
00001017: PUSH1 0x20
00001019: ADD
0000101a: DUP1
0000101b: DUP4
0000101c: GT
0000101d: PUSH2 0x100d
00001020: JUMPI
00001021: DUP3
00001022: SWAP1
00001023: SUB
00001024: PUSH1 0x1f
00001026: AND
00001027: DUP3
00001028: ADD
00001029: SWAP2
0000102a: JUMPDEST
0000102b: POP
0000102c: POP
0000102d: POP
0000102e: POP
0000102f: POP
00001030: SWAP1
00001031: POP
00001032: JUMPDEST
00001033: SWAP1
00001034: JUMP
00001035: JUMPDEST
00001036: PUSH1 0x00
00001038: PUSH2 0x1049
0000103b: PUSH2 0x1042
0000103e: PUSH2 0x25a5
00001041: JUMP
00001042: JUMPDEST
00001043: DUP5
00001044: DUP5
00001045: PUSH2 0x25a9
00001048: JUMP
00001049: JUMPDEST
0000104a: POP
0000104b: PUSH1 0x01
0000104d: JUMPDEST
0000104e: SWAP3
0000104f: SWAP2
00001050: POP
00001051: POP
00001052: JUMP
00001053: JUMPDEST
00001054: PUSH1 0x02
00001056: SLOAD
00001057: SWAP1
00001058: JUMP
00001059: JUMPDEST
0000105a: TIMESTAMP
0000105b: DUP5
0000105c: LT
0000105d: ISZERO
0000105e: PUSH2 0x10ae
00001061: JUMPI
00001062: PUSH1 0x40
00001064: DUP1
00001065: MLOAD
00001066: PUSH3 0x461bcd
0000106a: PUSH1 0xe5
0000106c: SHL
0000106d: DUP2
0000106e: MSTORE
0000106f: PUSH1 0x20
00001071: PUSH1 0x04
00001073: DUP3
00001074: ADD
00001075: MSTORE
00001076: PUSH1 0x1c
00001078: PUSH1 0x24
0000107a: DUP3
0000107b: ADD
0000107c: MSTORE
0000107d: PUSH32 0x44656c656761626c653a205369676e6174757265206578706972656400000000
0000109e: PUSH1 0x44
000010a0: DUP3
000010a1: ADD
000010a2: MSTORE
000010a3: SWAP1
000010a4: MLOAD
000010a5: SWAP1
000010a6: DUP2
000010a7: SWAP1
000010a8: SUB
000010a9: PUSH1 0x64
000010ab: ADD
000010ac: SWAP1
000010ad: REVERT
000010ae: JUMPDEST
000010af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c4: DUP1
000010c5: DUP8
000010c6: AND
000010c7: PUSH1 0x00
000010c9: DUP2
000010ca: DUP2
000010cb: MSTORE
000010cc: PUSH1 0x07
000010ce: PUSH1 0x20
000010d0: SWAP1
000010d1: DUP2
000010d2: MSTORE
000010d3: PUSH1 0x40
000010d5: DUP1
000010d6: DUP4
000010d7: KECCAK256
000010d8: DUP1
000010d9: SLOAD
000010da: PUSH1 0x01
000010dc: DUP1
000010dd: DUP3
000010de: ADD
000010df: SWAP1
000010e0: SWAP3
000010e1: SSTORE
000010e2: DUP3
000010e3: MLOAD
000010e4: PUSH32 0x0d077601844dd17f704bafff948229d27f33b57445915754dfe3d095fda2beb7
00001105: DUP2
00001106: DUP7
00001107: ADD
00001108: MSTORE
00001109: DUP1
0000110a: DUP5
0000110b: ADD
0000110c: SWAP7
0000110d: SWAP1
0000110e: SWAP7
0000110f: MSTORE
00001110: SWAP6
00001111: DUP12
00001112: AND
00001113: PUSH1 0x60
00001115: DUP7
00001116: ADD
00001117: MSTORE
00001118: PUSH1 0x80
0000111a: DUP6
0000111b: ADD
0000111c: SWAP6
0000111d: SWAP1
0000111e: SWAP6
0000111f: MSTORE
00001120: PUSH1 0xa0
00001122: DUP1
00001123: DUP6
00001124: ADD
00001125: DUP11
00001126: SWAP1
00001127: MSTORE
00001128: DUP2
00001129: MLOAD
0000112a: DUP1
0000112b: DUP7
0000112c: SUB
0000112d: SWAP1
0000112e: SWAP2
0000112f: ADD
00001130: DUP2
00001131: MSTORE
00001132: PUSH1 0xc0
00001134: DUP6
00001135: ADD
00001136: DUP3
00001137: MSTORE
00001138: DUP1
00001139: MLOAD
0000113a: SWAP1
0000113b: DUP4
0000113c: ADD
0000113d: KECCAK256
0000113e: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
0000115f: PUSH1 0xe0
00001161: DUP7
00001162: ADD
00001163: MSTORE
00001164: PUSH32 0xe659cd4b84ab11547a2df5648508538aab5ccd2f05c3d74fc65eb7c947de23e2
00001185: PUSH1 0xe2
00001187: DUP7
00001188: ADD
00001189: MSTORE
0000118a: PUSH2 0x0102
0000118d: DUP1
0000118e: DUP7
0000118f: ADD
00001190: DUP3
00001191: SWAP1
00001192: MSTORE
00001193: DUP3
00001194: MLOAD
00001195: DUP1
00001196: DUP8
00001197: SUB
00001198: SWAP1
00001199: SWAP2
0000119a: ADD
0000119b: DUP2
0000119c: MSTORE
0000119d: PUSH2 0x0122
000011a0: DUP7
000011a1: ADD
000011a2: DUP1
000011a3: DUP5
000011a4: MSTORE
000011a5: DUP2
000011a6: MLOAD
000011a7: SWAP2
000011a8: DUP6
000011a9: ADD
000011aa: SWAP2
000011ab: SWAP1
000011ac: SWAP2
000011ad: KECCAK256
000011ae: SWAP1
000011af: DUP6
000011b0: SWAP1
000011b1: MSTORE
000011b2: PUSH2 0x0142
000011b5: DUP7
000011b6: ADD
000011b7: DUP1
000011b8: DUP5
000011b9: MSTORE
000011ba: DUP2
000011bb: SWAP1
000011bc: MSTORE
000011bd: PUSH1 0xff
000011bf: DUP11
000011c0: AND
000011c1: PUSH2 0x0162
000011c4: DUP8
000011c5: ADD
000011c6: MSTORE
000011c7: PUSH2 0x0182
000011ca: DUP7
000011cb: ADD
000011cc: DUP10
000011cd: SWAP1
000011ce: MSTORE
000011cf: PUSH2 0x01a2
000011d2: DUP7
000011d3: ADD
000011d4: DUP9
000011d5: SWAP1
000011d6: MSTORE
000011d7: SWAP2
000011d8: MLOAD
000011d9: SWAP1
000011da: SWAP6
000011db: SWAP2
000011dc: SWAP5
000011dd: SWAP2
000011de: SWAP3
000011df: PUSH2 0x01c2
000011e2: DUP1
000011e3: DUP5
000011e4: ADD
000011e5: SWAP4
000011e6: SWAP2
000011e7: SWAP3
000011e8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001209: DUP2
0000120a: ADD
0000120b: SWAP3
0000120c: DUP2
0000120d: SWAP1
0000120e: SUB
0000120f: SWAP1
00001210: SWAP2
00001211: ADD
00001212: SWAP1
00001213: DUP6
00001214: GAS
00001215: STATICCALL
00001216: ISZERO
00001217: DUP1
00001218: ISZERO
00001219: PUSH2 0x1226
0000121c: JUMPI
0000121d: RETURNDATASIZE
0000121e: PUSH1 0x00
00001220: DUP1
00001221: RETURNDATACOPY
00001222: RETURNDATASIZE
00001223: PUSH1 0x00
00001225: REVERT
00001226: JUMPDEST
00001227: POP
00001228: POP
00001229: PUSH1 0x40
0000122b: MLOAD
0000122c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000124d: ADD
0000124e: MLOAD
0000124f: SWAP2
00001250: POP
00001251: POP
00001252: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001267: DUP2
00001268: AND
00001269: ISZERO
0000126a: DUP1
0000126b: ISZERO
0000126c: SWAP1
0000126d: PUSH2 0x12a1
00001270: JUMPI
00001271: POP
00001272: DUP9
00001273: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001288: AND
00001289: DUP2
0000128a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129f: AND
000012a0: EQ
000012a1: JUMPDEST
000012a2: PUSH2 0x12f2
000012a5: JUMPI
000012a6: PUSH1 0x40
000012a8: DUP1
000012a9: MLOAD
000012aa: PUSH3 0x461bcd
000012ae: PUSH1 0xe5
000012b0: SHL
000012b1: DUP2
000012b2: MSTORE
000012b3: PUSH1 0x20
000012b5: PUSH1 0x04
000012b7: DUP3
000012b8: ADD
000012b9: MSTORE
000012ba: PUSH1 0x1c
000012bc: PUSH1 0x24
000012be: DUP3
000012bf: ADD
000012c0: MSTORE
000012c1: PUSH32 0x44656c656761626c653a20496e76616c6964207369676e617475726500000000
000012e2: PUSH1 0x44
000012e4: DUP3
000012e5: ADD
000012e6: MSTORE
000012e7: SWAP1
000012e8: MLOAD
000012e9: SWAP1
000012ea: DUP2
000012eb: SWAP1
000012ec: SUB
000012ed: PUSH1 0x64
000012ef: ADD
000012f0: SWAP1
000012f1: REVERT
000012f2: JUMPDEST
000012f3: PUSH2 0x12fc
000012f6: DUP10
000012f7: DUP10
000012f8: PUSH2 0x26bc
000012fb: JUMP
000012fc: JUMPDEST
000012fd: POP
000012fe: POP
000012ff: POP
00001300: POP
00001301: POP
00001302: POP
00001303: POP
00001304: POP
00001305: POP
00001306: JUMP
00001307: JUMPDEST
00001308: PUSH1 0x00
0000130a: PUSH2 0x1314
0000130d: DUP5
0000130e: DUP5
0000130f: DUP5
00001310: PUSH2 0x27db
00001313: JUMP
00001314: JUMPDEST
00001315: PUSH2 0x13a4
00001318: DUP5
00001319: PUSH2 0x1320
0000131c: PUSH2 0x25a5
0000131f: JUMP
00001320: JUMPDEST
00001321: PUSH2 0x139f
00001324: DUP6
00001325: PUSH1 0x40
00001327: MLOAD
00001328: DUP1
00001329: PUSH1 0x60
0000132b: ADD
0000132c: PUSH1 0x40
0000132e: MSTORE
0000132f: DUP1
00001330: PUSH1 0x28
00001332: DUP2
00001333: MSTORE
00001334: PUSH1 0x20
00001336: ADD
00001337: PUSH2 0x45cd
0000133a: PUSH1 0x28
0000133c: SWAP2
0000133d: CODECOPY
0000133e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001353: DUP11
00001354: AND
00001355: PUSH1 0x00
00001357: SWAP1
00001358: DUP2
00001359: MSTORE
0000135a: PUSH1 0x01
0000135c: PUSH1 0x20
0000135e: MSTORE
0000135f: PUSH1 0x40
00001361: DUP2
00001362: KECCAK256
00001363: SWAP1
00001364: PUSH2 0x136b
00001367: PUSH2 0x25a5
0000136a: JUMP
0000136b: JUMPDEST
0000136c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001381: AND
00001382: DUP2
00001383: MSTORE
00001384: PUSH1 0x20
00001386: DUP2
00001387: ADD
00001388: SWAP2
00001389: SWAP1
0000138a: SWAP2
0000138b: MSTORE
0000138c: PUSH1 0x40
0000138e: ADD
0000138f: PUSH1 0x00
00001391: KECCAK256
00001392: SLOAD
00001393: SWAP2
00001394: SWAP1
00001395: PUSH4 0xffffffff
0000139a: PUSH2 0x2893
0000139d: AND
0000139e: JUMP
0000139f: JUMPDEST
000013a0: PUSH2 0x25a9
000013a3: JUMP
000013a4: JUMPDEST
000013a5: POP
000013a6: PUSH1 0x01
000013a8: SWAP4
000013a9: SWAP3
000013aa: POP
000013ab: POP
000013ac: POP
000013ad: JUMP
000013ae: JUMPDEST
000013af: PUSH1 0x0b
000013b1: SLOAD
000013b2: PUSH1 0x00
000013b4: SWAP1
000013b5: DUP2
000013b6: SWAP1
000013b7: PUSH2 0x13de
000013ba: SWAP1
000013bb: PUSH1 0x3c
000013bd: SWAP1
000013be: PUSH2 0x13d2
000013c1: SWAP1
000013c2: TIMESTAMP
000013c3: SWAP1
000013c4: PUSH4 0xffffffff
000013c9: SWAP1
000013ca: DUP2
000013cb: AND
000013cc: SWAP1
000013cd: PUSH2 0x2174
000013d0: AND
000013d1: JUMP
000013d2: JUMPDEST
000013d3: SWAP1
000013d4: PUSH4 0xffffffff
000013d9: PUSH2 0x28ed
000013dc: AND
000013dd: JUMP
000013de: JUMPDEST
000013df: SWAP1
000013e0: POP
000013e1: PUSH1 0x00
000013e3: PUSH2 0x13f3
000013e6: DUP3
000013e7: PUSH1 0x0a
000013e9: PUSH4 0xffffffff
000013ee: PUSH2 0x290b
000013f1: AND
000013f2: JUMP
000013f3: JUMPDEST
000013f4: PUSH1 0x0b
000013f6: SLOAD
000013f7: SWAP1
000013f8: SWAP2
000013f9: POP
000013fa: PUSH2 0x1454
000013fd: SWAP1
000013fe: DUP3
000013ff: SWAP1
00001400: PUSH2 0x1448
00001403: SWAP1
00001404: PUSH2 0x1433
00001407: SWAP1
00001408: PUSH5 0x0100000000
0000140e: SWAP1
0000140f: DIV
00001410: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000142d: AND
0000142e: DUP4
0000142f: PUSH2 0x2961
00001432: JUMP
00001433: JUMPDEST
00001434: PUSH8 0x0de0b6b3a7640000
0000143d: SWAP1
0000143e: PUSH4 0xffffffff
00001443: PUSH2 0x231e
00001446: AND
00001447: JUMP
00001448: JUMPDEST
00001449: SWAP1
0000144a: PUSH4 0xffffffff
0000144f: PUSH2 0x2174
00001452: AND
00001453: JUMP
00001454: JUMPDEST
00001455: SWAP3
00001456: POP
00001457: POP
00001458: POP
00001459: SWAP1
0000145a: JUMP
0000145b: JUMPDEST
0000145c: PUSH1 0x00
0000145e: PUSH2 0x146f
00001461: PUSH2 0x1468
00001464: PUSH2 0x18fe
00001467: JUMP
00001468: JUMPDEST
00001469: DUP5
0000146a: DUP5
0000146b: PUSH2 0x298b
0000146e: JUMP
0000146f: JUMPDEST
00001470: SWAP4
00001471: SWAP3
00001472: POP
00001473: POP
00001474: POP
00001475: JUMP
00001476: JUMPDEST
00001477: PUSH1 0x0a
00001479: SLOAD
0000147a: PUSH1 0x00
0000147c: SWAP1
0000147d: PUSH5 0x0100000000
00001483: SWAP1
00001484: DIV
00001485: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000014a2: AND
000014a3: ISZERO
000014a4: PUSH2 0x1032
000014a7: JUMPI
000014a8: PUSH1 0x0a
000014aa: SLOAD
000014ab: PUSH1 0x00
000014ad: SWAP1
000014ae: PUSH2 0x14cb
000014b1: SWAP1
000014b2: PUSH3 0x015180
000014b6: SWAP1
000014b7: PUSH2 0x13d2
000014ba: SWAP1
000014bb: TIMESTAMP
000014bc: SWAP1
000014bd: PUSH4 0xffffffff
000014c2: SWAP1
000014c3: DUP2
000014c4: AND
000014c5: SWAP1
000014c6: PUSH2 0x2174
000014c9: AND
000014ca: JUMP
000014cb: JUMPDEST
000014cc: SWAP1
000014cd: POP
000014ce: PUSH1 0x00
000014d0: PUSH2 0x14d8
000014d3: DUP3
000014d4: PUSH2 0x299e
000014d7: JUMP
000014d8: JUMPDEST
000014d9: PUSH1 0x0a
000014db: SLOAD
000014dc: SWAP1
000014dd: SWAP2
000014de: POP
000014df: PUSH2 0x1454
000014e2: SWAP1
000014e3: PUSH5 0x0100000000
000014e9: SWAP1
000014ea: DIV
000014eb: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001508: AND
00001509: DUP3
0000150a: PUSH2 0x29ca
0000150d: JUMP
0000150e: JUMPDEST
0000150f: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00001530: DUP2
00001531: JUMP
00001532: JUMPDEST
00001533: PUSH1 0x05
00001535: SLOAD
00001536: PUSH1 0xff
00001538: AND
00001539: SWAP1
0000153a: JUMP
0000153b: JUMPDEST
0000153c: PUSH32 0x262df23ae4f55eabdf69a193d74d500359aa82bb242237b2c2c5759f968a2597
0000155d: DUP2
0000155e: JUMP
0000155f: JUMPDEST
00001560: PUSH1 0x00
00001562: PUSH2 0x1049
00001565: PUSH2 0x156c
00001568: PUSH2 0x25a5
0000156b: JUMP
0000156c: JUMPDEST
0000156d: DUP5
0000156e: PUSH2 0x139f
00001571: DUP6
00001572: PUSH1 0x01
00001574: PUSH1 0x00
00001576: PUSH2 0x157d
00001579: PUSH2 0x25a5
0000157c: JUMP
0000157d: JUMPDEST
0000157e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001593: SWAP1
00001594: DUP2
00001595: AND
00001596: DUP3
00001597: MSTORE
00001598: PUSH1 0x20
0000159a: DUP1
0000159b: DUP4
0000159c: ADD
0000159d: SWAP4
0000159e: SWAP1
0000159f: SWAP4
000015a0: MSTORE
000015a1: PUSH1 0x40
000015a3: SWAP2
000015a4: DUP3
000015a5: ADD
000015a6: PUSH1 0x00
000015a8: SWAP1
000015a9: DUP2
000015aa: KECCAK256
000015ab: SWAP2
000015ac: DUP13
000015ad: AND
000015ae: DUP2
000015af: MSTORE
000015b0: SWAP3
000015b1: MSTORE
000015b2: SWAP1
000015b3: KECCAK256
000015b4: SLOAD
000015b5: SWAP1
000015b6: PUSH4 0xffffffff
000015bb: PUSH2 0x231e
000015be: AND
000015bf: JUMP
000015c0: JUMPDEST
000015c1: PUSH1 0x0b
000015c3: SLOAD
000015c4: PUSH4 0xffffffff
000015c9: DUP2
000015ca: AND
000015cb: SWAP1
000015cc: PUSH5 0x0100000000
000015d2: SWAP1
000015d3: DIV
000015d4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000015f1: AND
000015f2: DUP3
000015f3: JUMP
000015f4: JUMPDEST
000015f5: PUSH1 0x00
000015f7: PUSH2 0x146f
000015fa: DUP4
000015fb: DUP4
000015fc: PUSH2 0x0d20
000015ff: JUMP
00001600: JUMPDEST
00001601: PUSH32 0xe659cd4b84ab11547a2df5648508538aab5ccd2f05c3d74fc65eb7c947de23e2
00001622: DUP2
00001623: JUMP
00001624: JUMPDEST
00001625: PUSH1 0x00
00001627: DUP1
00001628: PUSH2 0x162f
0000162b: PUSH2 0x18fe
0000162e: JUMP
0000162f: JUMPDEST
00001630: SWAP1
00001631: POP
00001632: PUSH2 0x146f
00001635: DUP4
00001636: DUP3
00001637: PUSH2 0x164a
0000163a: DUP5
0000163b: PUSH2 0x1642
0000163e: PUSH2 0x1fe7
00001641: JUMP
00001642: JUMPDEST
00001643: PUSH2 0x0e38
00001646: PUSH2 0x1053
00001649: JUMP
0000164a: JUMPDEST
0000164b: PUSH2 0x29fd
0000164e: JUMP
0000164f: JUMPDEST
00001650: PUSH8 0x0b1a2bc2ec500000
00001659: DUP2
0000165a: JUMP
0000165b: JUMPDEST
0000165c: PUSH8 0x0de0b6b3a7640000
00001665: DUP2
00001666: JUMP
00001667: JUMPDEST
00001668: PUSH32 0x000000000000000000000000f04a5d82ff8a801f7d45e9c14cdcf73deff1a394
00001689: DUP2
0000168a: JUMP
0000168b: JUMPDEST
0000168c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a1: DUP2
000016a2: AND
000016a3: PUSH1 0x00
000016a5: SWAP1
000016a6: DUP2
000016a7: MSTORE
000016a8: PUSH1 0x20
000016aa: DUP2
000016ab: SWAP1
000016ac: MSTORE
000016ad: PUSH1 0x40
000016af: SWAP1
000016b0: KECCAK256
000016b1: SLOAD
000016b2: JUMPDEST
000016b3: SWAP2
000016b4: SWAP1
000016b5: POP
000016b6: JUMP
000016b7: JUMPDEST
000016b8: PUSH1 0x3c
000016ba: DUP2
000016bb: JUMP
000016bc: JUMPDEST
000016bd: PUSH1 0x00
000016bf: PUSH2 0x146f
000016c2: DUP4
000016c3: DUP4
000016c4: PUSH2 0x2b22
000016c7: JUMP
000016c8: JUMPDEST
000016c9: PUSH1 0x06
000016cb: PUSH1 0x20
000016cd: MSTORE
000016ce: PUSH1 0x00
000016d0: SWAP1
000016d1: DUP2
000016d2: MSTORE
000016d3: PUSH1 0x40
000016d5: SWAP1
000016d6: KECCAK256
000016d7: SLOAD
000016d8: DUP2
000016d9: JUMP
000016da: JUMPDEST
000016db: PUSH1 0x78
000016dd: DUP2
000016de: JUMP
000016df: JUMPDEST
000016e0: PUSH15 0x010000000000000000000000000000
000016f0: DUP2
000016f1: JUMP
000016f2: JUMPDEST
000016f3: PUSH1 0x04
000016f5: DUP1
000016f6: SLOAD
000016f7: PUSH1 0x40
000016f9: DUP1
000016fa: MLOAD
000016fb: PUSH1 0x20
000016fd: PUSH1 0x1f
000016ff: PUSH1 0x02
00001701: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001722: PUSH2 0x0100
00001725: PUSH1 0x01
00001727: DUP9
00001728: AND
00001729: ISZERO
0000172a: MUL
0000172b: ADD
0000172c: SWAP1
0000172d: SWAP6
0000172e: AND
0000172f: SWAP5
00001730: SWAP1
00001731: SWAP5
00001732: DIV
00001733: SWAP4
00001734: DUP5
00001735: ADD
00001736: DUP2
00001737: SWAP1
00001738: DIV
00001739: DUP2
0000173a: MUL
0000173b: DUP3
0000173c: ADD
0000173d: DUP2
0000173e: ADD
0000173f: SWAP1
00001740: SWAP3
00001741: MSTORE
00001742: DUP3
00001743: DUP2
00001744: MSTORE
00001745: PUSH1 0x60
00001747: SWAP4
00001748: SWAP1
00001749: SWAP3
0000174a: SWAP1
0000174b: SWAP2
0000174c: DUP4
0000174d: ADD
0000174e: DUP3
0000174f: DUP3
00001750: DUP1
00001751: ISZERO
00001752: PUSH2 0x102a
00001755: JUMPI
00001756: DUP1
00001757: PUSH1 0x1f
00001759: LT
0000175a: PUSH2 0x0fff
0000175d: JUMPI
0000175e: PUSH2 0x0100
00001761: DUP1
00001762: DUP4
00001763: SLOAD
00001764: DIV
00001765: MUL
00001766: DUP4
00001767: MSTORE
00001768: SWAP2
00001769: PUSH1 0x20
0000176b: ADD
0000176c: SWAP2
0000176d: PUSH2 0x102a
00001770: JUMP
00001771: JUMPDEST
00001772: PUSH1 0x0a
00001774: SLOAD
00001775: PUSH4 0xffffffff
0000177a: DUP2
0000177b: AND
0000177c: SWAP1
0000177d: PUSH5 0x0100000000
00001783: SWAP1
00001784: DIV
00001785: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000017a2: AND
000017a3: DUP3
000017a4: JUMP
000017a5: JUMPDEST
000017a6: PUSH1 0x00
000017a8: DUP5
000017a9: PUSH1 0x40
000017ab: MLOAD
000017ac: DUP1
000017ad: PUSH1 0x40
000017af: ADD
000017b0: PUSH1 0x40
000017b2: MSTORE
000017b3: DUP1
000017b4: PUSH1 0x17
000017b6: DUP2
000017b7: MSTORE
000017b8: PUSH1 0x20
000017ba: ADD
000017bb: PUSH32 0x4f6e6c7920686f6c646572206f722064656c6567617465000000000000000000
000017dc: DUP2
000017dd: MSTORE
000017de: POP
000017df: DUP2
000017e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f5: AND
000017f6: CALLER
000017f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000180c: AND
0000180d: EQ
0000180e: DUP1
0000180f: PUSH2 0x1848
00001812: JUMPI
00001813: POP
00001814: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001829: DUP3
0000182a: AND
0000182b: PUSH1 0x00
0000182d: SWAP1
0000182e: DUP2
0000182f: MSTORE
00001830: PUSH1 0x08
00001832: PUSH1 0x20
00001834: SWAP1
00001835: DUP2
00001836: MSTORE
00001837: PUSH1 0x40
00001839: DUP1
0000183a: DUP4
0000183b: KECCAK256
0000183c: CALLER
0000183d: DUP5
0000183e: MSTORE
0000183f: SWAP1
00001840: SWAP2
00001841: MSTORE
00001842: SWAP1
00001843: KECCAK256
00001844: SLOAD
00001845: PUSH1 0xff
00001847: AND
00001848: JUMPDEST
00001849: DUP2
0000184a: SWAP1
0000184b: PUSH2 0x18d2
0000184e: JUMPI
0000184f: PUSH1 0x40
00001851: MLOAD
00001852: PUSH3 0x461bcd
00001856: PUSH1 0xe5
00001858: SHL
00001859: DUP2
0000185a: MSTORE
0000185b: PUSH1 0x04
0000185d: ADD
0000185e: DUP1
0000185f: DUP1
00001860: PUSH1 0x20
00001862: ADD
00001863: DUP3
00001864: DUP2
00001865: SUB
00001866: DUP3
00001867: MSTORE
00001868: DUP4
00001869: DUP2
0000186a: DUP2
0000186b: MLOAD
0000186c: DUP2
0000186d: MSTORE
0000186e: PUSH1 0x20
00001870: ADD
00001871: SWAP2
00001872: POP
00001873: DUP1
00001874: MLOAD
00001875: SWAP1
00001876: PUSH1 0x20
00001878: ADD
00001879: SWAP1
0000187a: DUP1
0000187b: DUP4
0000187c: DUP4
0000187d: PUSH1 0x00
0000187f: JUMPDEST
00001880: DUP4
00001881: DUP2
00001882: LT
00001883: ISZERO
00001884: PUSH2 0x1897
00001887: JUMPI
00001888: DUP2
00001889: DUP2
0000188a: ADD
0000188b: MLOAD
0000188c: DUP4
0000188d: DUP3
0000188e: ADD
0000188f: MSTORE
00001890: PUSH1 0x20
00001892: ADD
00001893: PUSH2 0x187f
00001896: JUMP
00001897: JUMPDEST
00001898: POP
00001899: POP
0000189a: POP
0000189b: POP
0000189c: SWAP1
0000189d: POP
0000189e: SWAP1
0000189f: DUP2
000018a0: ADD
000018a1: SWAP1
000018a2: PUSH1 0x1f
000018a4: AND
000018a5: DUP1
000018a6: ISZERO
000018a7: PUSH2 0x18c4
000018aa: JUMPI
000018ab: DUP1
000018ac: DUP3
000018ad: SUB
000018ae: DUP1
000018af: MLOAD
000018b0: PUSH1 0x01
000018b2: DUP4
000018b3: PUSH1 0x20
000018b5: SUB
000018b6: PUSH2 0x0100
000018b9: EXP
000018ba: SUB
000018bb: NOT
000018bc: AND
000018bd: DUP2
000018be: MSTORE
000018bf: PUSH1 0x20
000018c1: ADD
000018c2: SWAP2
000018c3: POP
000018c4: JUMPDEST
000018c5: POP
000018c6: SWAP3
000018c7: POP
000018c8: POP
000018c9: POP
000018ca: PUSH1 0x40
000018cc: MLOAD
000018cd: DUP1
000018ce: SWAP2
000018cf: SUB
000018d0: SWAP1
000018d1: REVERT
000018d2: JUMPDEST
000018d3: POP
000018d4: PUSH2 0x18df
000018d7: DUP8
000018d8: DUP8
000018d9: DUP8
000018da: DUP8
000018db: PUSH2 0x2e7c
000018de: JUMP
000018df: JUMPDEST
000018e0: SWAP8
000018e1: SWAP7
000018e2: POP
000018e3: POP
000018e4: POP
000018e5: POP
000018e6: POP
000018e7: POP
000018e8: POP
000018e9: JUMP
000018ea: JUMPDEST
000018eb: PUSH1 0x00
000018ed: PUSH2 0x146f
000018f0: PUSH2 0x18f7
000018f3: PUSH2 0x18fe
000018f6: JUMP
000018f7: JUMPDEST
000018f8: DUP5
000018f9: DUP5
000018fa: PUSH2 0x308d
000018fd: JUMP
000018fe: JUMPDEST
000018ff: PUSH1 0x00
00001901: PUSH2 0x1920
00001904: PUSH2 0x190b
00001907: PUSH2 0x30a0
0000190a: JUMP
0000190b: JUMPDEST
0000190c: PUSH2 0x1913
0000190f: PUSH2 0x30aa
00001912: JUMP
00001913: JUMPDEST
00001914: PUSH2 0x191b
00001917: PUSH2 0x30b4
0000191a: JUMP
0000191b: JUMPDEST
0000191c: PUSH2 0x30be
0000191f: JUMP
00001920: JUMPDEST
00001921: SWAP1
00001922: POP
00001923: SWAP1
00001924: JUMP
00001925: JUMPDEST
00001926: PUSH1 0x00
00001928: PUSH2 0x1049
0000192b: PUSH2 0x1932
0000192e: PUSH2 0x25a5
00001931: JUMP
00001932: JUMPDEST
00001933: DUP5
00001934: PUSH2 0x139f
00001937: DUP6
00001938: PUSH1 0x40
0000193a: MLOAD
0000193b: DUP1
0000193c: PUSH1 0x60
0000193e: ADD
0000193f: PUSH1 0x40
00001941: MSTORE
00001942: DUP1
00001943: PUSH1 0x25
00001945: DUP2
00001946: MSTORE
00001947: PUSH1 0x20
00001949: ADD
0000194a: PUSH2 0x465f
0000194d: PUSH1 0x25
0000194f: SWAP2
00001950: CODECOPY
00001951: PUSH1 0x01
00001953: PUSH1 0x00
00001955: PUSH2 0x195c
00001958: PUSH2 0x25a5
0000195b: JUMP
0000195c: JUMPDEST
0000195d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001972: SWAP1
00001973: DUP2
00001974: AND
00001975: DUP3
00001976: MSTORE
00001977: PUSH1 0x20
00001979: DUP1
0000197a: DUP4
0000197b: ADD
0000197c: SWAP4
0000197d: SWAP1
0000197e: SWAP4
0000197f: MSTORE
00001980: PUSH1 0x40
00001982: SWAP2
00001983: DUP3
00001984: ADD
00001985: PUSH1 0x00
00001987: SWAP1
00001988: DUP2
00001989: KECCAK256
0000198a: SWAP2
0000198b: DUP14
0000198c: AND
0000198d: DUP2
0000198e: MSTORE
0000198f: SWAP3
00001990: MSTORE
00001991: SWAP1
00001992: KECCAK256
00001993: SLOAD
00001994: SWAP2
00001995: SWAP1
00001996: PUSH4 0xffffffff
0000199b: PUSH2 0x2893
0000199e: AND
0000199f: JUMP
000019a0: JUMPDEST
000019a1: PUSH1 0x00
000019a3: PUSH2 0x1049
000019a6: PUSH2 0x19ad
000019a9: PUSH2 0x25a5
000019ac: JUMP
000019ad: JUMPDEST
000019ae: DUP5
000019af: DUP5
000019b0: PUSH2 0x27db
000019b3: JUMP
000019b4: JUMPDEST
000019b5: PUSH1 0x07
000019b7: PUSH1 0x20
000019b9: MSTORE
000019ba: PUSH1 0x00
000019bc: SWAP1
000019bd: DUP2
000019be: MSTORE
000019bf: PUSH1 0x40
000019c1: SWAP1
000019c2: KECCAK256
000019c3: SLOAD
000019c4: DUP2
000019c5: JUMP
000019c6: JUMPDEST
000019c7: PUSH32 0x0d077601844dd17f704bafff948229d27f33b57445915754dfe3d095fda2beb7
000019e8: DUP2
000019e9: JUMP
000019ea: JUMPDEST
000019eb: PUSH1 0x00
000019ed: PUSH2 0x104d
000019f0: PUSH2 0x19f7
000019f3: PUSH2 0x18fe
000019f6: JUMP
000019f7: JUMPDEST
000019f8: PUSH2 0x19ff
000019fb: PUSH2 0x1fe7
000019fe: JUMP
000019ff: JUMPDEST
00001a00: PUSH2 0x1a07
00001a03: PUSH2 0x1053
00001a06: JUMP
00001a07: JUMPDEST
00001a08: DUP6
00001a09: PUSH2 0x30f3
00001a0c: JUMP
00001a0d: JUMPDEST
00001a0e: PUSH1 0x00
00001a10: PUSH2 0x104d
00001a13: DUP3
00001a14: PUSH2 0x1a1b
00001a17: PUSH2 0x18fe
00001a1a: JUMP
00001a1b: JUMPDEST
00001a1c: PUSH2 0x1a23
00001a1f: PUSH2 0x1fe7
00001a22: JUMP
00001a23: JUMPDEST
00001a24: PUSH2 0x1a2b
00001a27: PUSH2 0x1053
00001a2a: JUMP
00001a2b: JUMPDEST
00001a2c: PUSH32 0x000000000000000000000000f04a5d82ff8a801f7d45e9c14cdcf73deff1a394
00001a4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a62: AND
00001a63: PUSH4 0x18160ddd
00001a68: PUSH1 0x40
00001a6a: MLOAD
00001a6b: DUP2
00001a6c: PUSH4 0xffffffff
00001a71: AND
00001a72: PUSH1 0xe0
00001a74: SHL
00001a75: DUP2
00001a76: MSTORE
00001a77: PUSH1 0x04
00001a79: ADD
00001a7a: PUSH1 0x20
00001a7c: PUSH1 0x40
00001a7e: MLOAD
00001a7f: DUP1
00001a80: DUP4
00001a81: SUB
00001a82: DUP2
00001a83: DUP7
00001a84: DUP1
00001a85: EXTCODESIZE
00001a86: ISZERO
00001a87: DUP1
00001a88: ISZERO
00001a89: PUSH2 0x1a91
00001a8c: JUMPI
00001a8d: PUSH1 0x00
00001a8f: DUP1
00001a90: REVERT
00001a91: JUMPDEST
00001a92: POP
00001a93: GAS
00001a94: STATICCALL
00001a95: ISZERO
00001a96: DUP1
00001a97: ISZERO
00001a98: PUSH2 0x1aa5
00001a9b: JUMPI
00001a9c: RETURNDATASIZE
00001a9d: PUSH1 0x00
00001a9f: DUP1
00001aa0: RETURNDATACOPY
00001aa1: RETURNDATASIZE
00001aa2: PUSH1 0x00
00001aa4: REVERT
00001aa5: JUMPDEST
00001aa6: POP
00001aa7: POP
00001aa8: POP
00001aa9: POP
00001aaa: PUSH1 0x40
00001aac: MLOAD
00001aad: RETURNDATASIZE
00001aae: PUSH1 0x20
00001ab0: DUP2
00001ab1: LT
00001ab2: ISZERO
00001ab3: PUSH2 0x1abb
00001ab6: JUMPI
00001ab7: PUSH1 0x00
00001ab9: DUP1
00001aba: REVERT
00001abb: JUMPDEST
00001abc: POP
00001abd: MLOAD
00001abe: PUSH2 0x1ac5
00001ac1: PUSH2 0x13ae
00001ac4: JUMP
00001ac5: JUMPDEST
00001ac6: PUSH2 0x3181
00001ac9: JUMP
00001aca: JUMPDEST
00001acb: PUSH1 0x00
00001acd: PUSH2 0x1920
00001ad0: PUSH2 0x1ad7
00001ad3: PUSH2 0x18fe
00001ad6: JUMP
00001ad7: JUMPDEST
00001ad8: PUSH2 0x1642
00001adb: PUSH2 0x1fe7
00001ade: JUMP
00001adf: JUMPDEST
00001ae0: TIMESTAMP
00001ae1: DUP5
00001ae2: LT
00001ae3: ISZERO
00001ae4: PUSH2 0x1b34
00001ae7: JUMPI
00001ae8: PUSH1 0x40
00001aea: DUP1
00001aeb: MLOAD
00001aec: PUSH3 0x461bcd
00001af0: PUSH1 0xe5
00001af2: SHL
00001af3: DUP2
00001af4: MSTORE
00001af5: PUSH1 0x20
00001af7: PUSH1 0x04
00001af9: DUP3
00001afa: ADD
00001afb: MSTORE
00001afc: PUSH1 0x1d
00001afe: PUSH1 0x24
00001b00: DUP3
00001b01: ADD
00001b02: MSTORE
00001b03: PUSH32 0x45524332305065726d69743a206578706972656420646561646c696e65000000
00001b24: PUSH1 0x44
00001b26: DUP3
00001b27: ADD
00001b28: MSTORE
00001b29: SWAP1
00001b2a: MLOAD
00001b2b: SWAP1
00001b2c: DUP2
00001b2d: SWAP1
00001b2e: SUB
00001b2f: PUSH1 0x64
00001b31: ADD
00001b32: SWAP1
00001b33: REVERT
00001b34: JUMPDEST
00001b35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4a: DUP1
00001b4b: DUP9
00001b4c: AND
00001b4d: PUSH1 0x00
00001b4f: DUP2
00001b50: DUP2
00001b51: MSTORE
00001b52: PUSH1 0x06
00001b54: PUSH1 0x20
00001b56: SWAP1
00001b57: DUP2
00001b58: MSTORE
00001b59: PUSH1 0x40
00001b5b: DUP1
00001b5c: DUP4
00001b5d: KECCAK256
00001b5e: DUP1
00001b5f: SLOAD
00001b60: PUSH1 0x01
00001b62: DUP1
00001b63: DUP3
00001b64: ADD
00001b65: SWAP1
00001b66: SWAP3
00001b67: SSTORE
00001b68: DUP3
00001b69: MLOAD
00001b6a: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00001b8b: DUP2
00001b8c: DUP7
00001b8d: ADD
00001b8e: MSTORE
00001b8f: DUP1
00001b90: DUP5
00001b91: ADD
00001b92: SWAP7
00001b93: SWAP1
00001b94: SWAP7
00001b95: MSTORE
00001b96: SWAP6
00001b97: DUP13
00001b98: AND
00001b99: PUSH1 0x60
00001b9b: DUP7
00001b9c: ADD
00001b9d: MSTORE
00001b9e: PUSH1 0x80
00001ba0: DUP6
00001ba1: ADD
00001ba2: DUP12
00001ba3: SWAP1
00001ba4: MSTORE
00001ba5: PUSH1 0xa0
00001ba7: DUP6
00001ba8: ADD
00001ba9: SWAP6
00001baa: SWAP1
00001bab: SWAP6
00001bac: MSTORE
00001bad: PUSH1 0xc0
00001baf: DUP1
00001bb0: DUP6
00001bb1: ADD
00001bb2: DUP11
00001bb3: SWAP1
00001bb4: MSTORE
00001bb5: DUP2
00001bb6: MLOAD
00001bb7: DUP1
00001bb8: DUP7
00001bb9: SUB
00001bba: SWAP1
00001bbb: SWAP2
00001bbc: ADD
00001bbd: DUP2
00001bbe: MSTORE
00001bbf: PUSH1 0xe0
00001bc1: DUP6
00001bc2: ADD
00001bc3: DUP3
00001bc4: MSTORE
00001bc5: DUP1
00001bc6: MLOAD
00001bc7: SWAP1
00001bc8: DUP4
00001bc9: ADD
00001bca: KECCAK256
00001bcb: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00001bec: PUSH2 0x0100
00001bef: DUP7
00001bf0: ADD
00001bf1: MSTORE
00001bf2: PUSH32 0x262df23ae4f55eabdf69a193d74d500359aa82bb242237b2c2c5759f968a2597
00001c13: PUSH2 0x0102
00001c16: DUP7
00001c17: ADD
00001c18: MSTORE
00001c19: PUSH2 0x0122
00001c1c: DUP1
00001c1d: DUP7
00001c1e: ADD
00001c1f: DUP3
00001c20: SWAP1
00001c21: MSTORE
00001c22: DUP3
00001c23: MLOAD
00001c24: DUP1
00001c25: DUP8
00001c26: SUB
00001c27: SWAP1
00001c28: SWAP2
00001c29: ADD
00001c2a: DUP2
00001c2b: MSTORE
00001c2c: PUSH2 0x0142
00001c2f: DUP7
00001c30: ADD
00001c31: DUP1
00001c32: DUP5
00001c33: MSTORE
00001c34: DUP2
00001c35: MLOAD
00001c36: SWAP2
00001c37: DUP6
00001c38: ADD
00001c39: SWAP2
00001c3a: SWAP1
00001c3b: SWAP2
00001c3c: KECCAK256
00001c3d: SWAP1
00001c3e: DUP6
00001c3f: SWAP1
00001c40: MSTORE
00001c41: PUSH2 0x0162
00001c44: DUP7
00001c45: ADD
00001c46: DUP1
00001c47: DUP5
00001c48: MSTORE
00001c49: DUP2
00001c4a: SWAP1
00001c4b: MSTORE
00001c4c: PUSH1 0xff
00001c4e: DUP11
00001c4f: AND
00001c50: PUSH2 0x0182
00001c53: DUP8
00001c54: ADD
00001c55: MSTORE
00001c56: PUSH2 0x01a2
00001c59: DUP7
00001c5a: ADD
00001c5b: DUP10
00001c5c: SWAP1
00001c5d: MSTORE
00001c5e: PUSH2 0x01c2
00001c61: DUP7
00001c62: ADD
00001c63: DUP9
00001c64: SWAP1
00001c65: MSTORE
00001c66: SWAP2
00001c67: MLOAD
00001c68: SWAP1
00001c69: SWAP6
00001c6a: SWAP2
00001c6b: SWAP5
00001c6c: SWAP2
00001c6d: SWAP3
00001c6e: PUSH2 0x01e2
00001c71: DUP1
00001c72: DUP5
00001c73: ADD
00001c74: SWAP4
00001c75: SWAP2
00001c76: SWAP3
00001c77: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001c98: DUP2
00001c99: ADD
00001c9a: SWAP3
00001c9b: DUP2
00001c9c: SWAP1
00001c9d: SUB
00001c9e: SWAP1
00001c9f: SWAP2
00001ca0: ADD
00001ca1: SWAP1
00001ca2: DUP6
00001ca3: GAS
00001ca4: STATICCALL
00001ca5: ISZERO
00001ca6: DUP1
00001ca7: ISZERO
00001ca8: PUSH2 0x1cb5
00001cab: JUMPI
00001cac: RETURNDATASIZE
00001cad: PUSH1 0x00
00001caf: DUP1
00001cb0: RETURNDATACOPY
00001cb1: RETURNDATASIZE
00001cb2: PUSH1 0x00
00001cb4: REVERT
00001cb5: JUMPDEST
00001cb6: POP
00001cb7: POP
00001cb8: PUSH1 0x40
00001cba: MLOAD
00001cbb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001cdc: ADD
00001cdd: MLOAD
00001cde: SWAP2
00001cdf: POP
00001ce0: POP
00001ce1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf6: DUP2
00001cf7: AND
00001cf8: ISZERO
00001cf9: DUP1
00001cfa: ISZERO
00001cfb: SWAP1
00001cfc: PUSH2 0x1d30
00001cff: JUMPI
00001d00: POP
00001d01: DUP10
00001d02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d17: AND
00001d18: DUP2
00001d19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d2e: AND
00001d2f: EQ
00001d30: JUMPDEST
00001d31: PUSH2 0x1d81
00001d34: JUMPI
00001d35: PUSH1 0x40
00001d37: DUP1
00001d38: MLOAD
00001d39: PUSH3 0x461bcd
00001d3d: PUSH1 0xe5
00001d3f: SHL
00001d40: DUP2
00001d41: MSTORE
00001d42: PUSH1 0x20
00001d44: PUSH1 0x04
00001d46: DUP3
00001d47: ADD
00001d48: MSTORE
00001d49: PUSH1 0x1e
00001d4b: PUSH1 0x24
00001d4d: DUP3
00001d4e: ADD
00001d4f: MSTORE
00001d50: PUSH32 0x45524332305065726d69743a20696e76616c6964207369676e61747572650000
00001d71: PUSH1 0x44
00001d73: DUP3
00001d74: ADD
00001d75: MSTORE
00001d76: SWAP1
00001d77: MLOAD
00001d78: SWAP1
00001d79: DUP2
00001d7a: SWAP1
00001d7b: SUB
00001d7c: PUSH1 0x64
00001d7e: ADD
00001d7f: SWAP1
00001d80: REVERT
00001d81: JUMPDEST
00001d82: PUSH2 0x1d8c
00001d85: DUP11
00001d86: DUP11
00001d87: DUP11
00001d88: PUSH2 0x25a9
00001d8b: JUMP
00001d8c: JUMPDEST
00001d8d: POP
00001d8e: POP
00001d8f: POP
00001d90: POP
00001d91: POP
00001d92: POP
00001d93: POP
00001d94: POP
00001d95: POP
00001d96: POP
00001d97: JUMP
00001d98: JUMPDEST
00001d99: PUSH1 0x00
00001d9b: DUP5
00001d9c: PUSH1 0x40
00001d9e: MLOAD
00001d9f: DUP1
00001da0: PUSH1 0x40
00001da2: ADD
00001da3: PUSH1 0x40
00001da5: MSTORE
00001da6: DUP1
00001da7: PUSH1 0x17
00001da9: DUP2
00001daa: MSTORE
00001dab: PUSH1 0x20
00001dad: ADD
00001dae: PUSH32 0x4f6e6c7920686f6c646572206f722064656c6567617465000000000000000000
00001dcf: DUP2
00001dd0: MSTORE
00001dd1: POP
00001dd2: DUP2
00001dd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de8: AND
00001de9: CALLER
00001dea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dff: AND
00001e00: EQ
00001e01: DUP1
00001e02: PUSH2 0x1e3b
00001e05: JUMPI
00001e06: POP
00001e07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1c: DUP3
00001e1d: AND
00001e1e: PUSH1 0x00
00001e20: SWAP1
00001e21: DUP2
00001e22: MSTORE
00001e23: PUSH1 0x08
00001e25: PUSH1 0x20
00001e27: SWAP1
00001e28: DUP2
00001e29: MSTORE
00001e2a: PUSH1 0x40
00001e2c: DUP1
00001e2d: DUP4
00001e2e: KECCAK256
00001e2f: CALLER
00001e30: DUP5
00001e31: MSTORE
00001e32: SWAP1
00001e33: SWAP2
00001e34: MSTORE
00001e35: SWAP1
00001e36: KECCAK256
00001e37: SLOAD
00001e38: PUSH1 0xff
00001e3a: AND
00001e3b: JUMPDEST
00001e3c: DUP2
00001e3d: SWAP1
00001e3e: PUSH2 0x1e88
00001e41: JUMPI
00001e42: PUSH1 0x40
00001e44: MLOAD
00001e45: PUSH3 0x461bcd
00001e49: PUSH1 0xe5
00001e4b: SHL
00001e4c: DUP2
00001e4d: MSTORE
00001e4e: PUSH1 0x20
00001e50: PUSH1 0x04
00001e52: DUP3
00001e53: ADD
00001e54: DUP2
00001e55: DUP2
00001e56: MSTORE
00001e57: DUP4
00001e58: MLOAD
00001e59: PUSH1 0x24
00001e5b: DUP5
00001e5c: ADD
00001e5d: MSTORE
00001e5e: DUP4
00001e5f: MLOAD
00001e60: SWAP1
00001e61: SWAP3
00001e62: DUP4
00001e63: SWAP3
00001e64: PUSH1 0x44
00001e66: SWAP1
00001e67: SWAP2
00001e68: ADD
00001e69: SWAP2
00001e6a: SWAP1
00001e6b: DUP6
00001e6c: ADD
00001e6d: SWAP1
00001e6e: DUP1
00001e6f: DUP4
00001e70: DUP4
00001e71: PUSH1 0x00
00001e73: DUP4
00001e74: ISZERO
00001e75: PUSH2 0x1897
00001e78: JUMPI
00001e79: DUP2
00001e7a: DUP2
00001e7b: ADD
00001e7c: MLOAD
00001e7d: DUP4
00001e7e: DUP3
00001e7f: ADD
00001e80: MSTORE
00001e81: PUSH1 0x20
00001e83: ADD
00001e84: PUSH2 0x187f
00001e87: JUMP
00001e88: JUMPDEST
00001e89: POP
00001e8a: PUSH2 0x18df
00001e8d: DUP8
00001e8e: DUP8
00001e8f: DUP8
00001e90: DUP8
00001e91: PUSH2 0x327b
00001e94: JUMP
00001e95: JUMPDEST
00001e96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eab: SWAP2
00001eac: DUP3
00001ead: AND
00001eae: PUSH1 0x00
00001eb0: SWAP1
00001eb1: DUP2
00001eb2: MSTORE
00001eb3: PUSH1 0x01
00001eb5: PUSH1 0x20
00001eb7: SWAP1
00001eb8: DUP2
00001eb9: MSTORE
00001eba: PUSH1 0x40
00001ebc: DUP1
00001ebd: DUP4
00001ebe: KECCAK256
00001ebf: SWAP4
00001ec0: SWAP1
00001ec1: SWAP5
00001ec2: AND
00001ec3: DUP3
00001ec4: MSTORE
00001ec5: SWAP2
00001ec6: SWAP1
00001ec7: SWAP2
00001ec8: MSTORE
00001ec9: KECCAK256
00001eca: SLOAD
00001ecb: SWAP1
00001ecc: JUMP
00001ecd: JUMPDEST
00001ece: PUSH1 0x00
00001ed0: DUP1
00001ed1: PUSH2 0x1ed8
00001ed4: PUSH2 0x33af
00001ed7: JUMP
00001ed8: JUMPDEST
00001ed9: SWAP2
00001eda: POP
00001edb: POP
00001edc: PUSH2 0x1ee4
00001edf: DUP2
00001ee0: PUSH2 0x33e0
00001ee3: JUMP
00001ee4: JUMPDEST
00001ee5: POP
00001ee6: SWAP1
00001ee7: SWAP4
00001ee8: SWAP3
00001ee9: POP
00001eea: POP
00001eeb: POP
00001eec: JUMP
00001eed: JUMPDEST
00001eee: PUSH2 0x1ef7
00001ef1: CALLER
00001ef2: DUP3
00001ef3: PUSH2 0x26bc
00001ef6: JUMP
00001ef7: JUMPDEST
00001ef8: POP
00001ef9: JUMP
00001efa: JUMPDEST
00001efb: PUSH1 0x00
00001efd: PUSH2 0x1920
00001f00: PUSH2 0x3448
00001f03: JUMP
00001f04: JUMPDEST
00001f05: PUSH1 0x0d
00001f07: SLOAD
00001f08: PUSH1 0x40
00001f0a: DUP1
00001f0b: MLOAD
00001f0c: PUSH32 0xfe2c619800000000000000000000000000000000000000000000000000000000
00001f2d: DUP2
00001f2e: MSTORE
00001f2f: PUSH1 0x20
00001f31: PUSH1 0x04
00001f33: DUP3
00001f34: ADD
00001f35: DUP2
00001f36: SWAP1
00001f37: MSTORE
00001f38: PUSH1 0x03
00001f3a: PUSH1 0x24
00001f3c: DUP4
00001f3d: ADD
00001f3e: MSTORE
00001f3f: PUSH32 0x4554480000000000000000000000000000000000000000000000000000000000
00001f60: PUSH1 0x44
00001f62: DUP4
00001f63: ADD
00001f64: MSTORE
00001f65: SWAP2
00001f66: MLOAD
00001f67: PUSH1 0x00
00001f69: SWAP4
00001f6a: PUSH2 0x1920
00001f6d: SWAP4
00001f6e: PUSH5 0xe8d4a51000
00001f74: SWAP4
00001f75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8a: SWAP1
00001f8b: SWAP3
00001f8c: AND
00001f8d: SWAP3
00001f8e: PUSH4 0xfe2c6198
00001f93: SWAP3
00001f94: PUSH1 0x64
00001f96: DUP1
00001f97: DUP3
00001f98: ADD
00001f99: SWAP4
00001f9a: SWAP3
00001f9b: SWAP2
00001f9c: DUP3
00001f9d: SWAP1
00001f9e: SUB
00001f9f: ADD
00001fa0: DUP2
00001fa1: DUP7
00001fa2: DUP1
00001fa3: EXTCODESIZE
00001fa4: ISZERO
00001fa5: DUP1
00001fa6: ISZERO
00001fa7: PUSH2 0x1faf
00001faa: JUMPI
00001fab: PUSH1 0x00
00001fad: DUP1
00001fae: REVERT
00001faf: JUMPDEST
00001fb0: POP
00001fb1: GAS
00001fb2: STATICCALL
00001fb3: ISZERO
00001fb4: DUP1
00001fb5: ISZERO
00001fb6: PUSH2 0x1fc3
00001fb9: JUMPI
00001fba: RETURNDATASIZE
00001fbb: PUSH1 0x00
00001fbd: DUP1
00001fbe: RETURNDATACOPY
00001fbf: RETURNDATASIZE
00001fc0: PUSH1 0x00
00001fc2: REVERT
00001fc3: JUMPDEST
00001fc4: POP
00001fc5: POP
00001fc6: POP
00001fc7: POP
00001fc8: PUSH1 0x40
00001fca: MLOAD
00001fcb: RETURNDATASIZE
00001fcc: PUSH1 0x20
00001fce: DUP2
00001fcf: LT
00001fd0: ISZERO
00001fd1: PUSH2 0x1fd9
00001fd4: JUMPI
00001fd5: PUSH1 0x00
00001fd7: DUP1
00001fd8: REVERT
00001fd9: JUMPDEST
00001fda: POP
00001fdb: MLOAD
00001fdc: SWAP1
00001fdd: PUSH4 0xffffffff
00001fe2: PUSH2 0x3465
00001fe5: AND
00001fe6: JUMP
00001fe7: JUMPDEST
00001fe8: SELFBALANCE
00001fe9: SWAP1
00001fea: JUMP
00001feb: JUMPDEST
00001fec: PUSH1 0x00
00001fee: DUP1
00001fef: PUSH1 0x0c
00001ff1: PUSH1 0x00
00001ff3: SWAP1
00001ff4: SLOAD
00001ff5: SWAP1
00001ff6: PUSH2 0x0100
00001ff9: EXP
00001ffa: SWAP1
00001ffb: DIV
00001ffc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002011: AND
00002012: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002027: AND
00002028: PUSH4 0xfeaf968c
0000202d: PUSH1 0x40
0000202f: MLOAD
00002030: DUP2
00002031: PUSH4 0xffffffff
00002036: AND
00002037: PUSH1 0xe0
00002039: SHL
0000203a: DUP2
0000203b: MSTORE
0000203c: PUSH1 0x04
0000203e: ADD
0000203f: PUSH1 0xa0
00002041: PUSH1 0x40
00002043: MLOAD
00002044: DUP1
00002045: DUP4
00002046: SUB
00002047: DUP2
00002048: DUP7
00002049: DUP1
0000204a: EXTCODESIZE
0000204b: ISZERO
0000204c: DUP1
0000204d: ISZERO
0000204e: PUSH2 0x2056
00002051: JUMPI
00002052: PUSH1 0x00
00002054: DUP1
00002055: REVERT
00002056: JUMPDEST
00002057: POP
00002058: GAS
00002059: STATICCALL
0000205a: ISZERO
0000205b: DUP1
0000205c: ISZERO
0000205d: PUSH2 0x206a
00002060: JUMPI
00002061: RETURNDATASIZE
00002062: PUSH1 0x00
00002064: DUP1
00002065: RETURNDATACOPY
00002066: RETURNDATASIZE
00002067: PUSH1 0x00
00002069: REVERT
0000206a: JUMPDEST
0000206b: POP
0000206c: POP
0000206d: POP
0000206e: POP
0000206f: PUSH1 0x40
00002071: MLOAD
00002072: RETURNDATASIZE
00002073: PUSH1 0xa0
00002075: DUP2
00002076: LT
00002077: ISZERO
00002078: PUSH2 0x2080
0000207b: JUMPI
0000207c: PUSH1 0x00
0000207e: DUP1
0000207f: REVERT
00002080: JUMPDEST
00002081: POP
00002082: PUSH1 0x20
00002084: ADD
00002085: MLOAD
00002086: SWAP1
00002087: POP
00002088: PUSH2 0x209c
0000208b: DUP2
0000208c: PUSH5 0x02540be400
00002092: PUSH4 0xffffffff
00002097: PUSH2 0x3465
0000209a: AND
0000209b: JUMP
0000209c: JUMPDEST
0000209d: SWAP2
0000209e: POP
0000209f: POP
000020a0: SWAP1
000020a1: JUMP
000020a2: JUMPDEST
000020a3: PUSH1 0x08
000020a5: PUSH1 0x20
000020a7: SWAP1
000020a8: DUP2
000020a9: MSTORE
000020aa: PUSH1 0x00
000020ac: SWAP3
000020ad: DUP4
000020ae: MSTORE
000020af: PUSH1 0x40
000020b1: DUP1
000020b2: DUP5
000020b3: KECCAK256
000020b4: SWAP1
000020b5: SWAP2
000020b6: MSTORE
000020b7: SWAP1
000020b8: DUP3
000020b9: MSTORE
000020ba: SWAP1
000020bb: KECCAK256
000020bc: SLOAD
000020bd: PUSH1 0xff
000020bf: AND
000020c0: DUP2
000020c1: JUMP
000020c2: JUMPDEST
000020c3: PUSH1 0x00
000020c5: CALLER
000020c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020db: PUSH32 0x000000000000000000000000f04a5d82ff8a801f7d45e9c14cdcf73deff1a394
000020fc: AND
000020fd: EQ
000020fe: PUSH2 0x214e
00002101: JUMPI
00002102: PUSH1 0x40
00002104: DUP1
00002105: MLOAD
00002106: PUSH3 0x461bcd
0000210a: PUSH1 0xe5
0000210c: SHL
0000210d: DUP2
0000210e: MSTORE
0000210f: PUSH1 0x20
00002111: PUSH1 0x04
00002113: DUP3
00002114: ADD
00002115: MSTORE
00002116: PUSH1 0x11
00002118: PUSH1 0x24
0000211a: DUP3
0000211b: ADD
0000211c: MSTORE
0000211d: PUSH32 0x5265737472696374656420746f2046554d000000000000000000000000000000
0000213e: PUSH1 0x44
00002140: DUP3
00002141: ADD
00002142: MSTORE
00002143: SWAP1
00002144: MLOAD
00002145: SWAP1
00002146: DUP2
00002147: SWAP1
00002148: SUB
00002149: PUSH1 0x64
0000214b: ADD
0000214c: SWAP1
0000214d: REVERT
0000214e: JUMPDEST
0000214f: PUSH2 0x215a
00002152: DUP6
00002153: DUP6
00002154: DUP6
00002155: DUP6
00002156: PUSH2 0x2e7c
00002159: JUMP
0000215a: JUMPDEST
0000215b: SWAP6
0000215c: SWAP5
0000215d: POP
0000215e: POP
0000215f: POP
00002160: POP
00002161: POP
00002162: JUMP
00002163: JUMPDEST
00002164: PUSH2 0x1ef7
00002167: CALLER
00002168: DUP3
00002169: PUSH2 0x34be
0000216c: JUMP
0000216d: JUMPDEST
0000216e: PUSH3 0x015180
00002172: DUP2
00002173: JUMP
00002174: JUMPDEST
00002175: PUSH1 0x00
00002177: PUSH2 0x146f
0000217a: DUP4
0000217b: DUP4
0000217c: PUSH1 0x40
0000217e: MLOAD
0000217f: DUP1
00002180: PUSH1 0x40
00002182: ADD
00002183: PUSH1 0x40
00002185: MSTORE
00002186: DUP1
00002187: PUSH1 0x1e
00002189: DUP2
0000218a: MSTORE
0000218b: PUSH1 0x20
0000218d: ADD
0000218e: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000021af: DUP2
000021b0: MSTORE
000021b1: POP
000021b2: PUSH2 0x2893
000021b5: JUMP
000021b6: JUMPDEST
000021b7: PUSH1 0x00
000021b9: DUP1
000021ba: PUSH2 0x21c9
000021bd: DUP5
000021be: DUP7
000021bf: PUSH4 0xffffffff
000021c4: PUSH2 0x2961
000021c7: AND
000021c8: JUMP
000021c9: JUMPDEST
000021ca: SWAP1
000021cb: POP
000021cc: DUP4
000021cd: ISZERO
000021ce: PUSH2 0x21e6
000021d1: JUMPI
000021d2: PUSH2 0x21e1
000021d5: DUP4
000021d6: DUP3
000021d7: PUSH4 0xffffffff
000021dc: PUSH2 0x35d4
000021df: AND
000021e0: JUMP
000021e1: JUMPDEST
000021e2: PUSH2 0x215a
000021e5: JUMP
000021e6: JUMPDEST
000021e7: PUSH1 0x00
000021e9: SWAP6
000021ea: SWAP5
000021eb: POP
000021ec: POP
000021ed: POP
000021ee: POP
000021ef: POP
000021f0: JUMP
000021f1: JUMPDEST
000021f2: PUSH1 0x00
000021f4: DUP1
000021f5: PUSH2 0x2200
000021f8: PUSH1 0x00
000021fa: DUP9
000021fb: DUP6
000021fc: PUSH2 0x29fd
000021ff: JUMP
00002200: JUMPDEST
00002201: SWAP1
00002202: POP
00002203: PUSH1 0x00
00002205: PUSH2 0x2214
00002208: DUP7
00002209: DUP9
0000220a: PUSH4 0xffffffff
0000220f: PUSH2 0x231e
00002212: AND
00002213: JUMP
00002214: JUMPDEST
00002215: SWAP1
00002216: POP
00002217: DUP5
00002218: PUSH2 0x2232
0000221b: JUMPI
0000221c: PUSH2 0x222b
0000221f: DUP8
00002220: DUP4
00002221: PUSH4 0xffffffff
00002226: PUSH2 0x28ed
00002229: AND
0000222a: JUMP
0000222b: JUMPDEST
0000222c: SWAP3
0000222d: POP
0000222e: PUSH2 0x2313
00002231: JUMP
00002232: JUMPDEST
00002233: PUSH8 0x0de0b6b3a7640000
0000223c: DUP5
0000223d: GT
0000223e: PUSH2 0x22c5
00002241: JUMPI
00002242: PUSH1 0x00
00002244: PUSH2 0x2287
00002247: DUP4
00002248: PUSH2 0x227b
0000224b: DUP10
0000224c: PUSH2 0x226f
0000224f: PUSH8 0x0de0b6b3a7640000
00002258: PUSH2 0x1448
0000225b: PUSH2 0x226a
0000225e: DUP10
0000225f: DUP6
00002260: PUSH4 0xffffffff
00002265: PUSH2 0x28ed
00002268: AND
00002269: JUMP
0000226a: JUMPDEST
0000226b: PUSH2 0x3618
0000226e: JUMP
0000226f: JUMPDEST
00002270: SWAP1
00002271: PUSH4 0xffffffff
00002276: PUSH2 0x3465
00002279: AND
0000227a: JUMP
0000227b: JUMPDEST
0000227c: SWAP1
0000227d: PUSH4 0xffffffff
00002282: PUSH2 0x364c
00002285: AND
00002286: JUMP
00002287: JUMPDEST
00002288: SWAP1
00002289: POP
0000228a: PUSH2 0x22bd
0000228d: DUP7
0000228e: PUSH2 0x1448
00002291: PUSH2 0x22b8
00002294: PUSH2 0x229c
00002297: DUP11
00002298: PUSH2 0x368e
0000229b: JUMP
0000229c: JUMPDEST
0000229d: PUSH2 0x22ac
000022a0: DUP7
000022a1: DUP13
000022a2: PUSH4 0xffffffff
000022a7: PUSH2 0x231e
000022aa: AND
000022ab: JUMP
000022ac: JUMPDEST
000022ad: SWAP1
000022ae: PUSH4 0xffffffff
000022b3: PUSH2 0x2961
000022b6: AND
000022b7: JUMP
000022b8: JUMPDEST
000022b9: PUSH2 0x36a9
000022bc: JUMP
000022bd: JUMPDEST
000022be: SWAP4
000022bf: POP
000022c0: POP
000022c1: PUSH2 0x2313
000022c4: JUMP
000022c5: JUMPDEST
000022c6: PUSH1 0x00
000022c8: PUSH2 0x22ea
000022cb: PUSH2 0x22da
000022ce: DUP8
000022cf: DUP6
000022d0: PUSH4 0xffffffff
000022d5: PUSH2 0x29ca
000022d8: AND
000022d9: JUMP
000022da: JUMPDEST
000022db: PUSH2 0x227b
000022de: DUP10
000022df: DUP12
000022e0: PUSH4 0xffffffff
000022e5: PUSH2 0x3465
000022e8: AND
000022e9: JUMP
000022ea: JUMPDEST
000022eb: SWAP1
000022ec: POP
000022ed: PUSH2 0x230f
000022f0: PUSH2 0x22ff
000022f3: DUP4
000022f4: DUP4
000022f5: PUSH4 0xffffffff
000022fa: PUSH2 0x2174
000022fd: AND
000022fe: JUMP
000022ff: JUMPDEST
00002300: PUSH2 0x227b
00002303: DUP9
00002304: DUP5
00002305: PUSH4 0xffffffff
0000230a: PUSH2 0x3465
0000230d: AND
0000230e: JUMP
0000230f: JUMPDEST
00002310: SWAP4
00002311: POP
00002312: POP
00002313: JUMPDEST
00002314: POP
00002315: POP
00002316: SWAP6
00002317: SWAP5
00002318: POP
00002319: POP
0000231a: POP
0000231b: POP
0000231c: POP
0000231d: JUMP
0000231e: JUMPDEST
0000231f: PUSH1 0x00
00002321: DUP3
00002322: DUP3
00002323: ADD
00002324: DUP4
00002325: DUP2
00002326: LT
00002327: ISZERO
00002328: PUSH2 0x146f
0000232b: JUMPI
0000232c: PUSH1 0x40
0000232e: DUP1
0000232f: MLOAD
00002330: PUSH3 0x461bcd
00002334: PUSH1 0xe5
00002336: SHL
00002337: DUP2
00002338: MSTORE
00002339: PUSH1 0x20
0000233b: PUSH1 0x04
0000233d: DUP3
0000233e: ADD
0000233f: MSTORE
00002340: PUSH1 0x1b
00002342: PUSH1 0x24
00002344: DUP3
00002345: ADD
00002346: MSTORE
00002347: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002368: PUSH1 0x44
0000236a: DUP3
0000236b: ADD
0000236c: MSTORE
0000236d: SWAP1
0000236e: MLOAD
0000236f: SWAP1
00002370: DUP2
00002371: SWAP1
00002372: SUB
00002373: PUSH1 0x64
00002375: ADD
00002376: SWAP1
00002377: REVERT
00002378: JUMPDEST
00002379: DUP3
0000237a: ISZERO
0000237b: DUP1
0000237c: ISZERO
0000237d: SWAP1
0000237e: PUSH2 0x2386
00002381: JUMPI
00002382: POP
00002383: DUP2
00002384: ISZERO
00002385: ISZERO
00002386: JUMPDEST
00002387: ISZERO
00002388: PUSH2 0x247d
0000238b: JUMPI
0000238c: PUSH1 0x0b
0000238e: SLOAD
0000238f: PUSH5 0x0100000000
00002395: SWAP1
00002396: DIV
00002397: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000023b4: AND
000023b5: PUSH1 0x00
000023b7: DUP4
000023b8: DUP1
000023b9: PUSH2 0x23c6
000023bc: DUP8
000023bd: PUSH2 0x226f
000023c0: DUP8
000023c1: DUP3
000023c2: PUSH2 0x3465
000023c5: JUMP
000023c6: JUMPDEST
000023c7: DUP2
000023c8: PUSH2 0x23cd
000023cb: JUMPI
000023cc: INVALID
000023cd: JUMPDEST
000023ce: DIV
000023cf: DUP2
000023d0: PUSH2 0x23d5
000023d3: JUMPI
000023d4: INVALID
000023d5: JUMPDEST
000023d6: PUSH1 0x0b
000023d8: DUP1
000023d9: SLOAD
000023da: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000
000023fb: AND
000023fc: TIMESTAMP
000023fd: PUSH4 0xffffffff
00002402: SWAP1
00002403: DUP2
00002404: AND
00002405: SWAP2
00002406: SWAP1
00002407: SWAP2
00002408: OR
00002409: AND
0000240a: PUSH5 0x0100000000
00002410: SWAP4
00002411: SWAP1
00002412: SWAP3
00002413: DIV
00002414: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002431: DUP2
00002432: AND
00002433: SWAP4
00002434: SWAP1
00002435: SWAP4
00002436: MUL
00002437: SWAP2
00002438: SWAP1
00002439: SWAP2
0000243a: OR
0000243b: SWAP1
0000243c: SSTORE
0000243d: PUSH1 0x40
0000243f: DUP1
00002440: MLOAD
00002441: DUP5
00002442: DUP2
00002443: MSTORE
00002444: PUSH1 0x20
00002446: DUP2
00002447: ADD
00002448: DUP4
00002449: SWAP1
0000244a: MSTORE
0000244b: DUP2
0000244c: MLOAD
0000244d: SWAP3
0000244e: SWAP4
0000244f: POP
00002450: PUSH32 0x3af9fe9b92def18e94efef4175b9165aa71c2b1f8e3339bf1f23872922019733
00002471: SWAP3
00002472: SWAP1
00002473: DUP2
00002474: SWAP1
00002475: SUB
00002476: SWAP1
00002477: SWAP2
00002478: ADD
00002479: SWAP1
0000247a: LOG1
0000247b: POP
0000247c: POP
0000247d: JUMPDEST
0000247e: POP
0000247f: POP
00002480: POP
00002481: JUMP
00002482: JUMPDEST
00002483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002498: DUP3
00002499: AND
0000249a: PUSH2 0x24ea
0000249d: JUMPI
0000249e: PUSH1 0x40
000024a0: DUP1
000024a1: MLOAD
000024a2: PUSH3 0x461bcd
000024a6: PUSH1 0xe5
000024a8: SHL
000024a9: DUP2
000024aa: MSTORE
000024ab: PUSH1 0x20
000024ad: PUSH1 0x04
000024af: DUP3
000024b0: ADD
000024b1: MSTORE
000024b2: PUSH1 0x1f
000024b4: PUSH1 0x24
000024b6: DUP3
000024b7: ADD
000024b8: MSTORE
000024b9: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
000024da: PUSH1 0x44
000024dc: DUP3
000024dd: ADD
000024de: MSTORE
000024df: SWAP1
000024e0: MLOAD
000024e1: SWAP1
000024e2: DUP2
000024e3: SWAP1
000024e4: SUB
000024e5: PUSH1 0x64
000024e7: ADD
000024e8: SWAP1
000024e9: REVERT
000024ea: JUMPDEST
000024eb: PUSH2 0x24f6
000024ee: PUSH1 0x00
000024f0: DUP4
000024f1: DUP4
000024f2: PUSH2 0x247d
000024f5: JUMP
000024f6: JUMPDEST
000024f7: PUSH1 0x02
000024f9: SLOAD
000024fa: PUSH2 0x2509
000024fd: SWAP1
000024fe: DUP3
000024ff: PUSH4 0xffffffff
00002504: PUSH2 0x231e
00002507: AND
00002508: JUMP
00002509: JUMPDEST
0000250a: PUSH1 0x02
0000250c: SSTORE
0000250d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002522: DUP3
00002523: AND
00002524: PUSH1 0x00
00002526: SWAP1
00002527: DUP2
00002528: MSTORE
00002529: PUSH1 0x20
0000252b: DUP2
0000252c: SWAP1
0000252d: MSTORE
0000252e: PUSH1 0x40
00002530: SWAP1
00002531: KECCAK256
00002532: SLOAD
00002533: PUSH2 0x2542
00002536: SWAP1
00002537: DUP3
00002538: PUSH4 0xffffffff
0000253d: PUSH2 0x231e
00002540: AND
00002541: JUMP
00002542: JUMPDEST
00002543: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002558: DUP4
00002559: AND
0000255a: PUSH1 0x00
0000255c: DUP2
0000255d: DUP2
0000255e: MSTORE
0000255f: PUSH1 0x20
00002561: DUP2
00002562: DUP2
00002563: MSTORE
00002564: PUSH1 0x40
00002566: DUP1
00002567: DUP4
00002568: KECCAK256
00002569: SWAP5
0000256a: SWAP1
0000256b: SWAP5
0000256c: SSTORE
0000256d: DUP4
0000256e: MLOAD
0000256f: DUP6
00002570: DUP2
00002571: MSTORE
00002572: SWAP4
00002573: MLOAD
00002574: SWAP3
00002575: SWAP4
00002576: SWAP2
00002577: SWAP3
00002578: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002599: SWAP3
0000259a: DUP2
0000259b: SWAP1
0000259c: SUB
0000259d: SWAP1
0000259e: SWAP2
0000259f: ADD
000025a0: SWAP1
000025a1: LOG3
000025a2: POP
000025a3: POP
000025a4: JUMP
000025a5: JUMPDEST
000025a6: CALLER
000025a7: SWAP1
000025a8: JUMP
000025a9: JUMPDEST
000025aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025bf: DUP4
000025c0: AND
000025c1: PUSH2 0x25fb
000025c4: JUMPI
000025c5: PUSH1 0x40
000025c7: MLOAD
000025c8: PUSH3 0x461bcd
000025cc: PUSH1 0xe5
000025ce: SHL
000025cf: DUP2
000025d0: MSTORE
000025d1: PUSH1 0x04
000025d3: ADD
000025d4: DUP1
000025d5: DUP1
000025d6: PUSH1 0x20
000025d8: ADD
000025d9: DUP3
000025da: DUP2
000025db: SUB
000025dc: DUP3
000025dd: MSTORE
000025de: PUSH1 0x24
000025e0: DUP2
000025e1: MSTORE
000025e2: PUSH1 0x20
000025e4: ADD
000025e5: DUP1
000025e6: PUSH2 0x463b
000025e9: PUSH1 0x24
000025eb: SWAP2
000025ec: CODECOPY
000025ed: PUSH1 0x40
000025ef: ADD
000025f0: SWAP2
000025f1: POP
000025f2: POP
000025f3: PUSH1 0x40
000025f5: MLOAD
000025f6: DUP1
000025f7: SWAP2
000025f8: SUB
000025f9: SWAP1
000025fa: REVERT
000025fb: JUMPDEST
000025fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002611: DUP3
00002612: AND
00002613: PUSH2 0x264d
00002616: JUMPI
00002617: PUSH1 0x40
00002619: MLOAD
0000261a: PUSH3 0x461bcd
0000261e: PUSH1 0xe5
00002620: SHL
00002621: DUP2
00002622: MSTORE
00002623: PUSH1 0x04
00002625: ADD
00002626: DUP1
00002627: DUP1
00002628: PUSH1 0x20
0000262a: ADD
0000262b: DUP3
0000262c: DUP2
0000262d: SUB
0000262e: DUP3
0000262f: MSTORE
00002630: PUSH1 0x22
00002632: DUP2
00002633: MSTORE
00002634: PUSH1 0x20
00002636: ADD
00002637: DUP1
00002638: PUSH2 0x452a
0000263b: PUSH1 0x22
0000263d: SWAP2
0000263e: CODECOPY
0000263f: PUSH1 0x40
00002641: ADD
00002642: SWAP2
00002643: POP
00002644: POP
00002645: PUSH1 0x40
00002647: MLOAD
00002648: DUP1
00002649: SWAP2
0000264a: SUB
0000264b: SWAP1
0000264c: REVERT
0000264d: JUMPDEST
0000264e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002663: DUP1
00002664: DUP5
00002665: AND
00002666: PUSH1 0x00
00002668: DUP2
00002669: DUP2
0000266a: MSTORE
0000266b: PUSH1 0x01
0000266d: PUSH1 0x20
0000266f: SWAP1
00002670: DUP2
00002671: MSTORE
00002672: PUSH1 0x40
00002674: DUP1
00002675: DUP4
00002676: KECCAK256
00002677: SWAP5
00002678: DUP8
00002679: AND
0000267a: DUP1
0000267b: DUP5
0000267c: MSTORE
0000267d: SWAP5
0000267e: DUP3
0000267f: MSTORE
00002680: SWAP2
00002681: DUP3
00002682: SWAP1
00002683: KECCAK256
00002684: DUP6
00002685: SWAP1
00002686: SSTORE
00002687: DUP2
00002688: MLOAD
00002689: DUP6
0000268a: DUP2
0000268b: MSTORE
0000268c: SWAP2
0000268d: MLOAD
0000268e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000026af: SWAP3
000026b0: DUP2
000026b1: SWAP1
000026b2: SUB
000026b3: SWAP1
000026b4: SWAP2
000026b5: ADD
000026b6: SWAP1
000026b7: LOG3
000026b8: POP
000026b9: POP
000026ba: POP
000026bb: JUMP
000026bc: JUMPDEST
000026bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026d2: DUP1
000026d3: DUP4
000026d4: AND
000026d5: PUSH1 0x00
000026d7: SWAP1
000026d8: DUP2
000026d9: MSTORE
000026da: PUSH1 0x08
000026dc: PUSH1 0x20
000026de: SWAP1
000026df: DUP2
000026e0: MSTORE
000026e1: PUSH1 0x40
000026e3: DUP1
000026e4: DUP4
000026e5: KECCAK256
000026e6: SWAP4
000026e7: DUP6
000026e8: AND
000026e9: DUP4
000026ea: MSTORE
000026eb: SWAP3
000026ec: SWAP1
000026ed: MSTORE
000026ee: KECCAK256
000026ef: SLOAD
000026f0: PUSH1 0xff
000026f2: AND
000026f3: ISZERO
000026f4: PUSH2 0x2744
000026f7: JUMPI
000026f8: PUSH1 0x40
000026fa: DUP1
000026fb: MLOAD
000026fc: PUSH3 0x461bcd
00002700: PUSH1 0xe5
00002702: SHL
00002703: DUP2
00002704: MSTORE
00002705: PUSH1 0x20
00002707: PUSH1 0x04
00002709: DUP3
0000270a: ADD
0000270b: MSTORE
0000270c: PUSH1 0x1c
0000270e: PUSH1 0x24
00002710: DUP3
00002711: ADD
00002712: MSTORE
00002713: PUSH32 0x44656c656761626c653a20416c72656164792064656c65676174656400000000
00002734: PUSH1 0x44
00002736: DUP3
00002737: ADD
00002738: MSTORE
00002739: SWAP1
0000273a: MLOAD
0000273b: SWAP1
0000273c: DUP2
0000273d: SWAP1
0000273e: SUB
0000273f: PUSH1 0x64
00002741: ADD
00002742: SWAP1
00002743: REVERT
00002744: JUMPDEST
00002745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000275a: DUP1
0000275b: DUP4
0000275c: AND
0000275d: PUSH1 0x00
0000275f: DUP2
00002760: DUP2
00002761: MSTORE
00002762: PUSH1 0x08
00002764: PUSH1 0x20
00002766: SWAP1
00002767: DUP2
00002768: MSTORE
00002769: PUSH1 0x40
0000276b: DUP1
0000276c: DUP4
0000276d: KECCAK256
0000276e: SWAP5
0000276f: DUP7
00002770: AND
00002771: DUP1
00002772: DUP5
00002773: MSTORE
00002774: SWAP5
00002775: DUP3
00002776: MSTORE
00002777: SWAP2
00002778: DUP3
00002779: SWAP1
0000277a: KECCAK256
0000277b: DUP1
0000277c: SLOAD
0000277d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000279e: AND
0000279f: PUSH1 0x01
000027a1: SWAP1
000027a2: DUP2
000027a3: OR
000027a4: SWAP1
000027a5: SWAP2
000027a6: SSTORE
000027a7: DUP3
000027a8: MLOAD
000027a9: SWAP1
000027aa: DUP2
000027ab: MSTORE
000027ac: SWAP2
000027ad: MLOAD
000027ae: PUSH32 0x045b0fef01772d2fbba53dbd38c9777806eac0865b00af43abcfbcaf50da9206
000027cf: SWAP3
000027d0: DUP2
000027d1: SWAP1
000027d2: SUB
000027d3: SWAP1
000027d4: SWAP2
000027d5: ADD
000027d6: SWAP1
000027d7: LOG3
000027d8: POP
000027d9: POP
000027da: JUMP
000027db: JUMPDEST
000027dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f1: DUP3
000027f2: AND
000027f3: ADDRESS
000027f4: EQ
000027f5: DUP1
000027f6: PUSH2 0x284a
000027f9: JUMPI
000027fa: POP
000027fb: PUSH32 0x000000000000000000000000f04a5d82ff8a801f7d45e9c14cdcf73deff1a394
0000281c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002831: AND
00002832: DUP3
00002833: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002848: AND
00002849: EQ
0000284a: JUMPDEST
0000284b: DUP1
0000284c: PUSH2 0x2869
0000284f: JUMPI
00002850: POP
00002851: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002866: DUP3
00002867: AND
00002868: ISZERO
00002869: JUMPDEST
0000286a: ISZERO
0000286b: PUSH2 0x2888
0000286e: JUMPI
0000286f: PUSH2 0x2882
00002872: DUP4
00002873: DUP5
00002874: DUP4
00002875: PUSH2 0x287d
00002878: DUP6
00002879: PUSH2 0x3728
0000287c: JUMP
0000287d: JUMPDEST
0000287e: PUSH2 0x327b
00002881: JUMP
00002882: JUMPDEST
00002883: POP
00002884: PUSH2 0x247d
00002887: JUMP
00002888: JUMPDEST
00002889: PUSH2 0x247d
0000288c: DUP4
0000288d: DUP4
0000288e: DUP4
0000288f: PUSH2 0x3754
00002892: JUMP
00002893: JUMPDEST
00002894: PUSH1 0x00
00002896: DUP2
00002897: DUP5
00002898: DUP5
00002899: GT
0000289a: ISZERO
0000289b: PUSH2 0x28e5
0000289e: JUMPI
0000289f: PUSH1 0x40
000028a1: MLOAD
000028a2: PUSH3 0x461bcd
000028a6: PUSH1 0xe5
000028a8: SHL
000028a9: DUP2
000028aa: MSTORE
000028ab: PUSH1 0x20
000028ad: PUSH1 0x04
000028af: DUP3
000028b0: ADD
000028b1: DUP2
000028b2: DUP2
000028b3: MSTORE
000028b4: DUP4
000028b5: MLOAD
000028b6: PUSH1 0x24
000028b8: DUP5
000028b9: ADD
000028ba: MSTORE
000028bb: DUP4
000028bc: MLOAD
000028bd: SWAP1
000028be: SWAP3
000028bf: DUP4
000028c0: SWAP3
000028c1: PUSH1 0x44
000028c3: SWAP1
000028c4: SWAP2
000028c5: ADD
000028c6: SWAP2
000028c7: SWAP1
000028c8: DUP6
000028c9: ADD
000028ca: SWAP1
000028cb: DUP1
000028cc: DUP4
000028cd: DUP4
000028ce: PUSH1 0x00
000028d0: DUP4
000028d1: ISZERO
000028d2: PUSH2 0x1897
000028d5: JUMPI
000028d6: DUP2
000028d7: DUP2
000028d8: ADD
000028d9: MLOAD
000028da: DUP4
000028db: DUP3
000028dc: ADD
000028dd: MSTORE
000028de: PUSH1 0x20
000028e0: ADD
000028e1: PUSH2 0x187f
000028e4: JUMP
000028e5: JUMPDEST
000028e6: POP
000028e7: POP
000028e8: POP
000028e9: SWAP1
000028ea: SUB
000028eb: SWAP1
000028ec: JUMP
000028ed: JUMPDEST
000028ee: PUSH1 0x00
000028f0: PUSH2 0x146f
000028f3: DUP3
000028f4: PUSH2 0x227b
000028f7: DUP6
000028f8: PUSH8 0x0de0b6b3a7640000
00002901: PUSH4 0xffffffff
00002906: PUSH2 0x3465
00002909: AND
0000290a: JUMP
0000290b: JUMPDEST
0000290c: PUSH1 0x00
0000290e: DUP1
0000290f: PUSH8 0x016345785d8a0000
00002918: PUSH2 0x2928
0000291b: DUP6
0000291c: PUSH7 0xb1a2bc2ec50000
00002924: PUSH2 0x231e
00002927: JUMP
00002928: JUMPDEST
00002929: DUP2
0000292a: PUSH2 0x292f
0000292d: JUMPI
0000292e: INVALID
0000292f: JUMPDEST
00002930: DIV
00002931: SWAP1
00002932: POP
00002933: DUP3
00002934: PUSH1 0x0a
00002936: DUP3
00002937: DIV
00002938: GT
00002939: ISZERO
0000293a: PUSH2 0x2947
0000293d: JUMPI
0000293e: PUSH1 0x00
00002940: SWAP2
00002941: POP
00002942: POP
00002943: PUSH2 0x104d
00002946: JUMP
00002947: JUMPDEST
00002948: PUSH2 0x2959
0000294b: PUSH8 0x0cf2cc8ff8457df8
00002954: DUP3
00002955: PUSH2 0x38fc
00002958: JUMP
00002959: JUMPDEST
0000295a: SWAP5
0000295b: SWAP4
0000295c: POP
0000295d: POP
0000295e: POP
0000295f: POP
00002960: JUMP
00002961: JUMPDEST
00002962: PUSH1 0x00
00002964: PUSH8 0x0de0b6b3a7640000
0000296d: PUSH2 0x297c
00002970: DUP5
00002971: DUP5
00002972: PUSH4 0xffffffff
00002977: PUSH2 0x3465
0000297a: AND
0000297b: JUMP
0000297c: JUMPDEST
0000297d: DUP2
0000297e: PUSH2 0x2983
00002981: JUMPI
00002982: INVALID
00002983: JUMPDEST
00002984: DIV
00002985: SWAP4
00002986: SWAP3
00002987: POP
00002988: POP
00002989: POP
0000298a: JUMP
0000298b: JUMPDEST
0000298c: PUSH1 0x00
0000298e: PUSH2 0x2959
00002991: DUP4
00002992: DUP6
00002993: DUP5
00002994: PUSH4 0xffffffff
00002999: PUSH2 0x3951
0000299c: AND
0000299d: JUMP
0000299e: JUMPDEST
0000299f: PUSH1 0x00
000029a1: PUSH2 0x104d
000029a4: DUP3
000029a5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000029c6: PUSH2 0x290b
000029c9: JUMP
000029ca: JUMPDEST
000029cb: PUSH1 0x00
000029cd: PUSH8 0x0de0b6b3a7640000
000029d6: PUSH2 0x297c
000029d9: PUSH8 0x0de0b6b3a763ffff
000029e2: PUSH2 0x29f1
000029e5: DUP7
000029e6: DUP7
000029e7: PUSH4 0xffffffff
000029ec: PUSH2 0x3465
000029ef: AND
000029f0: JUMP
000029f1: JUMPDEST
000029f2: SWAP1
000029f3: PUSH4 0xffffffff
000029f8: PUSH2 0x231e
000029fb: AND
000029fc: JUMP
000029fd: JUMPDEST
000029fe: PUSH1 0x00
00002a00: DUP1
00002a01: DUP1
00002a02: DUP6
00002a03: PUSH1 0x01
00002a05: DUP2
00002a06: GT
00002a07: ISZERO
00002a08: PUSH2 0x2a0d
00002a0b: JUMPI
00002a0c: INVALID
00002a0d: JUMPDEST
00002a0e: EQ
00002a0f: PUSH2 0x2a19
00002a12: JUMPI
00002a13: PUSH1 0x00
00002a15: PUSH2 0x2a1c
00002a18: JUMP
00002a19: JUMPDEST
00002a1a: PUSH1 0x01
00002a1c: JUMPDEST
00002a1d: SWAP1
00002a1e: POP
00002a1f: PUSH2 0x2a31
00002a22: DUP5
00002a23: PUSH8 0x0de0b6b3a7640000
00002a2c: DUP4
00002a2d: PUSH2 0x308d
00002a30: JUMP
00002a31: JUMPDEST
00002a32: SWAP2
00002a33: POP
00002a34: PUSH1 0x00
00002a36: PUSH2 0x2a3d
00002a39: PUSH2 0x13ae
00002a3c: JUMP
00002a3d: JUMPDEST
00002a3e: SWAP1
00002a3f: POP
00002a40: PUSH8 0x0de0b6b3a7640000
00002a49: DUP5
00002a4a: GT
00002a4b: PUSH2 0x2ab6
00002a4e: JUMPI
00002a4f: PUSH1 0x00
00002a51: DUP7
00002a52: PUSH1 0x01
00002a54: DUP2
00002a55: GT
00002a56: ISZERO
00002a57: PUSH2 0x2a5c
00002a5a: JUMPI
00002a5b: INVALID
00002a5c: JUMPDEST
00002a5d: EQ
00002a5e: DUP1
00002a5f: ISZERO
00002a60: PUSH2 0x2a70
00002a63: JUMPI
00002a64: POP
00002a65: PUSH8 0x0de0b6b3a7640000
00002a6e: DUP2
00002a6f: LT
00002a70: JUMPDEST
00002a71: DUP1
00002a72: PUSH2 0x2a98
00002a75: JUMPI
00002a76: POP
00002a77: PUSH1 0x01
00002a79: DUP7
00002a7a: PUSH1 0x01
00002a7c: DUP2
00002a7d: GT
00002a7e: ISZERO
00002a7f: PUSH2 0x2a84
00002a82: JUMPI
00002a83: INVALID
00002a84: JUMPDEST
00002a85: EQ
00002a86: DUP1
00002a87: ISZERO
00002a88: PUSH2 0x2a98
00002a8b: JUMPI
00002a8c: POP
00002a8d: PUSH8 0x0de0b6b3a7640000
00002a96: DUP2
00002a97: GT
00002a98: JUMPDEST
00002a99: ISZERO
00002a9a: PUSH2 0x2ab1
00002a9d: JUMPI
00002a9e: PUSH2 0x2aae
00002aa1: DUP4
00002aa2: DUP3
00002aa3: DUP5
00002aa4: PUSH4 0xffffffff
00002aa9: PUSH2 0x397e
00002aac: AND
00002aad: JUMP
00002aae: JUMPDEST
00002aaf: SWAP3
00002ab0: POP
00002ab1: JUMPDEST
00002ab2: PUSH2 0x2b19
00002ab5: JUMP
00002ab6: JUMPDEST
00002ab7: PUSH1 0x00
00002ab9: DUP7
00002aba: PUSH1 0x01
00002abc: DUP2
00002abd: GT
00002abe: ISZERO
00002abf: PUSH2 0x2ac4
00002ac2: JUMPI
00002ac3: INVALID
00002ac4: JUMPDEST
00002ac5: EQ
00002ac6: DUP1
00002ac7: ISZERO
00002ac8: PUSH2 0x2ad8
00002acb: JUMPI
00002acc: POP
00002acd: PUSH8 0x0de0b6b3a7640000
00002ad6: DUP2
00002ad7: GT
00002ad8: JUMPDEST
00002ad9: DUP1
00002ada: PUSH2 0x2b00
00002add: JUMPI
00002ade: POP
00002adf: PUSH1 0x01
00002ae1: DUP7
00002ae2: PUSH1 0x01
00002ae4: DUP2
00002ae5: GT
00002ae6: ISZERO
00002ae7: PUSH2 0x2aec
00002aea: JUMPI
00002aeb: INVALID
00002aec: JUMPDEST
00002aed: EQ
00002aee: DUP1
00002aef: ISZERO
00002af0: PUSH2 0x2b00
00002af3: JUMPI
00002af4: POP
00002af5: PUSH8 0x0de0b6b3a7640000
00002afe: DUP2
00002aff: LT
00002b00: JUMPDEST
00002b01: ISZERO
00002b02: PUSH2 0x2b19
00002b05: JUMPI
00002b06: PUSH2 0x2b16
00002b09: DUP4
00002b0a: DUP3
00002b0b: DUP5
00002b0c: PUSH4 0xffffffff
00002b11: PUSH2 0x3951
00002b14: AND
00002b15: JUMP
00002b16: JUMPDEST
00002b17: SWAP3
00002b18: POP
00002b19: JUMPDEST
00002b1a: POP
00002b1b: POP
00002b1c: SWAP4
00002b1d: SWAP3
00002b1e: POP
00002b1f: POP
00002b20: POP
00002b21: JUMP
00002b22: JUMPDEST
00002b23: PUSH1 0x00
00002b25: DUP1
00002b26: PUSH2 0x2b2d
00002b29: PUSH2 0x1efa
00002b2c: JUMP
00002b2d: JUMPDEST
00002b2e: SWAP1
00002b2f: POP
00002b30: PUSH1 0x00
00002b32: PUSH2 0x2b39
00002b35: PUSH2 0x1fe7
00002b38: JUMP
00002b39: JUMPDEST
00002b3a: SWAP1
00002b3b: POP
00002b3c: PUSH1 0x00
00002b3e: PUSH2 0x2b4d
00002b41: DUP3
00002b42: CALLVALUE
00002b43: PUSH4 0xffffffff
00002b48: PUSH2 0x2174
00002b4b: AND
00002b4c: JUMP
00002b4d: JUMPDEST
00002b4e: SWAP1
00002b4f: POP
00002b50: PUSH1 0x00
00002b52: PUSH2 0x2b59
00002b55: PUSH2 0x1053
00002b58: JUMP
00002b59: JUMPDEST
00002b5a: SWAP1
00002b5b: POP
00002b5c: PUSH1 0x00
00002b5e: PUSH2 0x2b68
00002b61: DUP6
00002b62: DUP5
00002b63: DUP5
00002b64: PUSH2 0x21b6
00002b67: JUMP
00002b68: JUMPDEST
00002b69: SWAP1
00002b6a: POP
00002b6b: PUSH1 0x00
00002b6d: PUSH32 0x000000000000000000000000f04a5d82ff8a801f7d45e9c14cdcf73deff1a394
00002b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ba3: AND
00002ba4: PUSH4 0x18160ddd
00002ba9: PUSH1 0x40
00002bab: MLOAD
00002bac: DUP2
00002bad: PUSH4 0xffffffff
00002bb2: AND
00002bb3: PUSH1 0xe0
00002bb5: SHL
00002bb6: DUP2
00002bb7: MSTORE
00002bb8: PUSH1 0x04
00002bba: ADD
00002bbb: PUSH1 0x20
00002bbd: PUSH1 0x40
00002bbf: MLOAD
00002bc0: DUP1
00002bc1: DUP4
00002bc2: SUB
00002bc3: DUP2
00002bc4: DUP7
00002bc5: DUP1
00002bc6: EXTCODESIZE
00002bc7: ISZERO
00002bc8: DUP1
00002bc9: ISZERO
00002bca: PUSH2 0x2bd2
00002bcd: JUMPI
00002bce: PUSH1 0x00
00002bd0: DUP1
00002bd1: REVERT
00002bd2: JUMPDEST
00002bd3: POP
00002bd4: GAS
00002bd5: STATICCALL
00002bd6: ISZERO
00002bd7: DUP1
00002bd8: ISZERO
00002bd9: PUSH2 0x2be6
00002bdc: JUMPI
00002bdd: RETURNDATASIZE
00002bde: PUSH1 0x00
00002be0: DUP1
00002be1: RETURNDATACOPY
00002be2: RETURNDATASIZE
00002be3: PUSH1 0x00
00002be5: REVERT
00002be6: JUMPDEST
00002be7: POP
00002be8: POP
00002be9: POP
00002bea: POP
00002beb: PUSH1 0x40
00002bed: MLOAD
00002bee: RETURNDATASIZE
00002bef: PUSH1 0x20
00002bf1: DUP2
00002bf2: LT
00002bf3: ISZERO
00002bf4: PUSH2 0x2bfc
00002bf7: JUMPI
00002bf8: PUSH1 0x00
00002bfa: DUP1
00002bfb: REVERT
00002bfc: JUMPDEST
00002bfd: POP
00002bfe: MLOAD
00002bff: SWAP1
00002c00: POP
00002c01: PUSH2 0x2c0b
00002c04: DUP3
00002c05: DUP6
00002c06: DUP4
00002c07: PUSH2 0x39a6
00002c0a: JUMP
00002c0b: JUMPDEST
00002c0c: PUSH1 0x00
00002c0e: PUSH2 0x2c15
00002c11: PUSH2 0x13ae
00002c14: JUMP
00002c15: JUMPDEST
00002c16: SWAP1
00002c17: POP
00002c18: PUSH2 0x2c25
00002c1b: DUP8
00002c1c: CALLVALUE
00002c1d: DUP8
00002c1e: DUP8
00002c1f: DUP7
00002c20: DUP7
00002c21: PUSH2 0x3b19
00002c24: JUMP
00002c25: JUMPDEST
00002c26: SWAP8
00002c27: POP
00002c28: DUP9
00002c29: DUP9
00002c2a: LT
00002c2b: ISZERO
00002c2c: PUSH2 0x2c7c
00002c2f: JUMPI
00002c30: PUSH1 0x40
00002c32: DUP1
00002c33: MLOAD
00002c34: PUSH3 0x461bcd
00002c38: PUSH1 0xe5
00002c3a: SHL
00002c3b: DUP2
00002c3c: MSTORE
00002c3d: PUSH1 0x20
00002c3f: PUSH1 0x04
00002c41: DUP3
00002c42: ADD
00002c43: MSTORE
00002c44: PUSH1 0x11
00002c46: PUSH1 0x24
00002c48: DUP3
00002c49: ADD
00002c4a: MSTORE
00002c4b: PUSH32 0x4c696d6974206e6f742072656163686564000000000000000000000000000000
00002c6c: PUSH1 0x44
00002c6e: DUP3
00002c6f: ADD
00002c70: MSTORE
00002c71: SWAP1
00002c72: MLOAD
00002c73: SWAP1
00002c74: DUP2
00002c75: SWAP1
00002c76: SUB
00002c77: PUSH1 0x64
00002c79: ADD
00002c7a: SWAP1
00002c7b: REVERT
00002c7c: JUMPDEST
00002c7d: PUSH1 0x00
00002c7f: PUSH2 0x2c89
00002c82: DUP9
00002c83: DUP9
00002c84: DUP8
00002c85: PUSH2 0x21b6
00002c88: JUMP
00002c89: JUMPDEST
00002c8a: SWAP1
00002c8b: POP
00002c8c: PUSH2 0x2c96
00002c8f: DUP5
00002c90: DUP3
00002c91: DUP5
00002c92: PUSH2 0x2378
00002c95: JUMP
00002c96: JUMPDEST
00002c97: PUSH32 0x000000000000000000000000f04a5d82ff8a801f7d45e9c14cdcf73deff1a394
00002cb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ccd: AND
00002cce: PUSH4 0x40c10f19
00002cd3: DUP13
00002cd4: DUP12
00002cd5: PUSH1 0x40
00002cd7: MLOAD
00002cd8: DUP4
00002cd9: PUSH4 0xffffffff
00002cde: AND
00002cdf: PUSH1 0xe0
00002ce1: SHL
00002ce2: DUP2
00002ce3: MSTORE
00002ce4: PUSH1 0x04
00002ce6: ADD
00002ce7: DUP1
00002ce8: DUP4
00002ce9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cfe: AND
00002cff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d14: AND
00002d15: DUP2
00002d16: MSTORE
00002d17: PUSH1 0x20
00002d19: ADD
00002d1a: DUP3
00002d1b: DUP2
00002d1c: MSTORE
00002d1d: PUSH1 0x20
00002d1f: ADD
00002d20: SWAP3
00002d21: POP
00002d22: POP
00002d23: POP
00002d24: PUSH1 0x00
00002d26: PUSH1 0x40
00002d28: MLOAD
00002d29: DUP1
00002d2a: DUP4
00002d2b: SUB
00002d2c: DUP2
00002d2d: PUSH1 0x00
00002d2f: DUP8
00002d30: DUP1
00002d31: EXTCODESIZE
00002d32: ISZERO
00002d33: DUP1
00002d34: ISZERO
00002d35: PUSH2 0x2d3d
00002d38: JUMPI
00002d39: PUSH1 0x00
00002d3b: DUP1
00002d3c: REVERT
00002d3d: JUMPDEST
00002d3e: POP
00002d3f: GAS
00002d40: CALL
00002d41: ISZERO
00002d42: DUP1
00002d43: ISZERO
00002d44: PUSH2 0x2d51
00002d47: JUMPI
00002d48: RETURNDATASIZE
00002d49: PUSH1 0x00
00002d4b: DUP1
00002d4c: RETURNDATACOPY
00002d4d: RETURNDATASIZE
00002d4e: PUSH1 0x00
00002d50: REVERT
00002d51: JUMPDEST
00002d52: POP
00002d53: POP
00002d54: POP
00002d55: POP
00002d56: PUSH1 0x09
00002d58: SLOAD
00002d59: TIMESTAMP
00002d5a: GT
00002d5b: ISZERO
00002d5c: PUSH2 0x2dac
00002d5f: JUMPI
00002d60: PUSH1 0x40
00002d62: DUP1
00002d63: MLOAD
00002d64: PUSH3 0x461bcd
00002d68: PUSH1 0xe5
00002d6a: SHL
00002d6b: DUP2
00002d6c: MSTORE
00002d6d: PUSH1 0x20
00002d6f: PUSH1 0x04
00002d71: DUP3
00002d72: ADD
00002d73: MSTORE
00002d74: PUSH1 0x1c
00002d76: PUSH1 0x24
00002d78: DUP3
00002d79: ADD
00002d7a: MSTORE
00002d7b: PUSH32 0x547269616c20657870697265642c2072656d6f76652061737365747300000000
00002d9c: PUSH1 0x44
00002d9e: DUP3
00002d9f: ADD
00002da0: MSTORE
00002da1: SWAP1
00002da2: MLOAD
00002da3: SWAP1
00002da4: DUP2
00002da5: SWAP1
00002da6: SUB
00002da7: PUSH1 0x64
00002da9: ADD
00002daa: SWAP1
00002dab: REVERT
00002dac: JUMPDEST
00002dad: PUSH8 0x0de0b6b3a7640000
00002db6: CALLVALUE
00002db7: GT
00002db8: ISZERO
00002db9: PUSH2 0x2e09
00002dbc: JUMPI
00002dbd: PUSH1 0x40
00002dbf: DUP1
00002dc0: MLOAD
00002dc1: PUSH3 0x461bcd
00002dc5: PUSH1 0xe5
00002dc7: SHL
00002dc8: DUP2
00002dc9: MSTORE
00002dca: PUSH1 0x20
00002dcc: PUSH1 0x04
00002dce: DUP3
00002dcf: ADD
00002dd0: MSTORE
00002dd1: PUSH1 0x16
00002dd3: PUSH1 0x24
00002dd5: DUP3
00002dd6: ADD
00002dd7: MSTORE
00002dd8: PUSH32 0x4361707065642061742031204554482070657220747800000000000000000000
00002df9: PUSH1 0x44
00002dfb: DUP3
00002dfc: ADD
00002dfd: MSTORE
00002dfe: SWAP1
00002dff: MLOAD
00002e00: SWAP1
00002e01: DUP2
00002e02: SWAP1
00002e03: SUB
00002e04: PUSH1 0x64
00002e06: ADD
00002e07: SWAP1
00002e08: REVERT
00002e09: JUMPDEST
00002e0a: PUSH9 0x056bc75e2d63100000
00002e14: PUSH2 0x2e1b
00002e17: PUSH2 0x1fe7
00002e1a: JUMP
00002e1b: JUMPDEST
00002e1c: GT
00002e1d: ISZERO
00002e1e: PUSH2 0x2e6e
00002e21: JUMPI
00002e22: PUSH1 0x40
00002e24: DUP1
00002e25: MLOAD
00002e26: PUSH3 0x461bcd
00002e2a: PUSH1 0xe5
00002e2c: SHL
00002e2d: DUP2
00002e2e: MSTORE
00002e2f: PUSH1 0x20
00002e31: PUSH1 0x04
00002e33: DUP3
00002e34: ADD
00002e35: MSTORE
00002e36: PUSH1 0x18
00002e38: PUSH1 0x24
00002e3a: DUP3
00002e3b: ADD
00002e3c: MSTORE
00002e3d: PUSH32 0x4361707065642061742031303020706f6f6c6564204554480000000000000000
00002e5e: PUSH1 0x44
00002e60: DUP3
00002e61: ADD
00002e62: MSTORE
00002e63: SWAP1
00002e64: MLOAD
00002e65: SWAP1
00002e66: DUP2
00002e67: SWAP1
00002e68: SUB
00002e69: PUSH1 0x64
00002e6b: ADD
00002e6c: SWAP1
00002e6d: REVERT
00002e6e: JUMPDEST
00002e6f: POP
00002e70: POP
00002e71: POP
00002e72: POP
00002e73: POP
00002e74: POP
00002e75: POP
00002e76: POP
00002e77: SWAP3
00002e78: SWAP2
00002e79: POP
00002e7a: POP
00002e7b: JUMP
00002e7c: JUMPDEST
00002e7d: PUSH1 0x00
00002e7f: DUP1
00002e80: PUSH2 0x2e87
00002e83: PUSH2 0x1efa
00002e86: JUMP
00002e87: JUMPDEST
00002e88: SWAP1
00002e89: POP
00002e8a: PUSH1 0x00
00002e8c: PUSH2 0x2e93
00002e8f: PUSH2 0x1fe7
00002e92: JUMP
00002e93: JUMPDEST
00002e94: SWAP1
00002e95: POP
00002e96: PUSH1 0x00
00002e98: PUSH2 0x2e9f
00002e9b: PUSH2 0x1053
00002e9e: JUMP
00002e9f: JUMPDEST
00002ea0: SWAP1
00002ea1: POP
00002ea2: PUSH1 0x00
00002ea4: PUSH2 0x2eae
00002ea7: DUP5
00002ea8: DUP5
00002ea9: DUP5
00002eaa: PUSH2 0x21b6
00002ead: JUMP
00002eae: JUMPDEST
00002eaf: SWAP1
00002eb0: POP
00002eb1: PUSH2 0x2ebc
00002eb4: DUP5
00002eb5: DUP9
00002eb6: DUP6
00002eb7: DUP6
00002eb8: PUSH2 0x3b7b
00002ebb: JUMP
00002ebc: JUMPDEST
00002ebd: SWAP5
00002ebe: POP
00002ebf: DUP6
00002ec0: DUP6
00002ec1: LT
00002ec2: ISZERO
00002ec3: PUSH2 0x2f13
00002ec6: JUMPI
00002ec7: PUSH1 0x40
00002ec9: DUP1
00002eca: MLOAD
00002ecb: PUSH3 0x461bcd
00002ecf: PUSH1 0xe5
00002ed1: SHL
00002ed2: DUP2
00002ed3: MSTORE
00002ed4: PUSH1 0x20
00002ed6: PUSH1 0x04
00002ed8: DUP3
00002ed9: ADD
00002eda: MSTORE
00002edb: PUSH1 0x11
00002edd: PUSH1 0x24
00002edf: DUP3
00002ee0: ADD
00002ee1: MSTORE
00002ee2: PUSH32 0x4c696d6974206e6f742072656163686564000000000000000000000000000000
00002f03: PUSH1 0x44
00002f05: DUP3
00002f06: ADD
00002f07: MSTORE
00002f08: SWAP1
00002f09: MLOAD
00002f0a: SWAP1
00002f0b: DUP2
00002f0c: SWAP1
00002f0d: SUB
00002f0e: PUSH1 0x64
00002f10: ADD
00002f11: SWAP1
00002f12: REVERT
00002f13: JUMPDEST
00002f14: PUSH1 0x00
00002f16: PUSH2 0x2f2f
00002f19: DUP6
00002f1a: PUSH2 0x2f29
00002f1d: DUP7
00002f1e: DUP10
00002f1f: PUSH4 0xffffffff
00002f24: PUSH2 0x2174
00002f27: AND
00002f28: JUMP
00002f29: JUMPDEST
00002f2a: DUP6
00002f2b: PUSH2 0x21b6
00002f2e: JUMP
00002f2f: JUMPDEST
00002f30: SWAP1
00002f31: POP
00002f32: PUSH8 0x0b1a2bc2ec500000
00002f3b: DUP2
00002f3c: GT
00002f3d: ISZERO
00002f3e: PUSH2 0x2f8e
00002f41: JUMPI
00002f42: PUSH1 0x40
00002f44: DUP1
00002f45: MLOAD
00002f46: PUSH3 0x461bcd
00002f4a: PUSH1 0xe5
00002f4c: SHL
00002f4d: DUP2
00002f4e: MSTORE
00002f4f: PUSH1 0x20
00002f51: PUSH1 0x04
00002f53: DUP3
00002f54: ADD
00002f55: MSTORE
00002f56: PUSH1 0x10
00002f58: PUSH1 0x24
00002f5a: DUP3
00002f5b: ADD
00002f5c: MSTORE
00002f5d: PUSH32 0x4465627420726174696f203e206d617800000000000000000000000000000000
00002f7e: PUSH1 0x44
00002f80: DUP3
00002f81: ADD
00002f82: MSTORE
00002f83: SWAP1
00002f84: MLOAD
00002f85: SWAP1
00002f86: DUP2
00002f87: SWAP1
00002f88: SUB
00002f89: PUSH1 0x64
00002f8b: ADD
00002f8c: SWAP1
00002f8d: REVERT
00002f8e: JUMPDEST
00002f8f: PUSH32 0x000000000000000000000000f04a5d82ff8a801f7d45e9c14cdcf73deff1a394
00002fb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fc5: AND
00002fc6: PUSH4 0x9dc29fac
00002fcb: DUP12
00002fcc: DUP11
00002fcd: PUSH1 0x40
00002fcf: MLOAD
00002fd0: DUP4
00002fd1: PUSH4 0xffffffff
00002fd6: AND
00002fd7: PUSH1 0xe0
00002fd9: SHL
00002fda: DUP2
00002fdb: MSTORE
00002fdc: PUSH1 0x04
00002fde: ADD
00002fdf: DUP1
00002fe0: DUP4
00002fe1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ff6: AND
00002ff7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000300c: AND
0000300d: DUP2
0000300e: MSTORE
0000300f: PUSH1 0x20
00003011: ADD
00003012: DUP3
00003013: DUP2
00003014: MSTORE
00003015: PUSH1 0x20
00003017: ADD
00003018: SWAP3
00003019: POP
0000301a: POP
0000301b: POP
0000301c: PUSH1 0x00
0000301e: PUSH1 0x40
00003020: MLOAD
00003021: DUP1
00003022: DUP4
00003023: SUB
00003024: DUP2
00003025: PUSH1 0x00
00003027: DUP8
00003028: DUP1
00003029: EXTCODESIZE
0000302a: ISZERO
0000302b: DUP1
0000302c: ISZERO
0000302d: PUSH2 0x3035
00003030: JUMPI
00003031: PUSH1 0x00
00003033: DUP1
00003034: REVERT
00003035: JUMPDEST
00003036: POP
00003037: GAS
00003038: CALL
00003039: ISZERO
0000303a: DUP1
0000303b: ISZERO
0000303c: PUSH2 0x3049
0000303f: JUMPI
00003040: RETURNDATASIZE
00003041: PUSH1 0x00
00003043: DUP1
00003044: RETURNDATACOPY
00003045: RETURNDATASIZE
00003046: PUSH1 0x00
00003048: REVERT
00003049: JUMPDEST
0000304a: POP
0000304b: POP
0000304c: POP
0000304d: POP
0000304e: PUSH2 0x305a
00003051: DUP3
00003052: DUP3
00003053: PUSH2 0x0e4c
00003056: PUSH2 0x13ae
00003059: JUMP
0000305a: JUMPDEST
0000305b: PUSH2 0x3080
0000305e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003073: DUP11
00003074: AND
00003075: DUP8
00003076: PUSH4 0xffffffff
0000307b: PUSH2 0x3c90
0000307e: AND
0000307f: JUMP
00003080: JUMPDEST
00003081: POP
00003082: POP
00003083: POP
00003084: POP
00003085: POP
00003086: SWAP5
00003087: SWAP4
00003088: POP
00003089: POP
0000308a: POP
0000308b: POP
0000308c: JUMP
0000308d: JUMPDEST
0000308e: PUSH1 0x00
00003090: PUSH2 0x2959
00003093: DUP4
00003094: DUP6
00003095: DUP5
00003096: PUSH4 0xffffffff
0000309b: PUSH2 0x397e
0000309e: AND
0000309f: JUMP
000030a0: JUMPDEST
000030a1: PUSH1 0x00
000030a3: PUSH2 0x1920
000030a6: PUSH2 0x1feb
000030a9: JUMP
000030aa: JUMPDEST
000030ab: PUSH1 0x00
000030ad: PUSH2 0x1920
000030b0: PUSH2 0x1f04
000030b3: JUMP
000030b4: JUMPDEST
000030b5: PUSH1 0x00
000030b7: PUSH2 0x1920
000030ba: PUSH2 0x1ecd
000030bd: JUMP
000030be: JUMPDEST
000030bf: PUSH1 0x00
000030c1: DUP3
000030c2: DUP5
000030c3: GT
000030c4: DUP3
000030c5: DUP5
000030c6: GT
000030c7: DUP6
000030c8: DUP5
000030c9: GT
000030ca: DUP1
000030cb: DUP4
000030cc: EQ
000030cd: PUSH2 0x30e8
000030d0: JUMPI
000030d1: DUP2
000030d2: ISZERO
000030d3: ISZERO
000030d4: DUP4
000030d5: ISZERO
000030d6: ISZERO
000030d7: EQ
000030d8: PUSH2 0x30e1
000030db: JUMPI
000030dc: DUP5
000030dd: PUSH2 0x30e3
000030e0: JUMP
000030e1: JUMPDEST
000030e2: DUP6
000030e3: JUMPDEST
000030e4: PUSH2 0x18df
000030e7: JUMP
000030e8: JUMPDEST
000030e9: POP
000030ea: SWAP5
000030eb: SWAP6
000030ec: SWAP5
000030ed: POP
000030ee: POP
000030ef: POP
000030f0: POP
000030f1: POP
000030f2: JUMP
000030f3: JUMPDEST
000030f4: PUSH1 0x00
000030f6: DUP1
000030f7: DUP1
000030f8: DUP4
000030f9: PUSH1 0x01
000030fb: DUP2
000030fc: GT
000030fd: ISZERO
000030fe: PUSH2 0x3103
00003101: JUMPI
00003102: INVALID
00003103: JUMPDEST
00003104: EQ
00003105: PUSH2 0x310f
00003108: JUMPI
00003109: PUSH1 0x00
0000310b: PUSH2 0x3112
0000310e: JUMP
0000310f: JUMPDEST
00003110: PUSH1 0x01
00003112: JUMPDEST
00003113: SWAP1
00003114: POP
00003115: PUSH2 0x311f
00003118: DUP7
00003119: DUP6
0000311a: DUP4
0000311b: PUSH2 0x308d
0000311e: JUMP
0000311f: JUMPDEST
00003120: DUP6
00003121: SUB
00003122: SWAP2
00003123: POP
00003124: DUP5
00003125: DUP3
00003126: SGT
00003127: ISZERO
00003128: PUSH2 0x3178
0000312b: JUMPI
0000312c: PUSH1 0x40
0000312e: DUP1
0000312f: MLOAD
00003130: PUSH3 0x461bcd
00003134: PUSH1 0xe5
00003136: SHL
00003137: DUP2
00003138: MSTORE
00003139: PUSH1 0x20
0000313b: PUSH1 0x04
0000313d: DUP3
0000313e: ADD
0000313f: MSTORE
00003140: PUSH1 0x0f
00003142: PUSH1 0x24
00003144: DUP3
00003145: ADD
00003146: MSTORE
00003147: PUSH32 0x556e646572666c6f77206572726f720000000000000000000000000000000000
00003168: PUSH1 0x44
0000316a: DUP3
0000316b: ADD
0000316c: MSTORE
0000316d: SWAP1
0000316e: MLOAD
0000316f: SWAP1
00003170: DUP2
00003171: SWAP1
00003172: SUB
00003173: PUSH1 0x64
00003175: ADD
00003176: SWAP1
00003177: REVERT
00003178: JUMPDEST
00003179: POP
0000317a: SWAP5
0000317b: SWAP4
0000317c: POP
0000317d: POP
0000317e: POP
0000317f: POP
00003180: JUMP
00003181: JUMPDEST
00003182: PUSH1 0x00
00003184: DUP1
00003185: DUP1
00003186: DUP9
00003187: PUSH1 0x01
00003189: DUP2
0000318a: GT
0000318b: ISZERO
0000318c: PUSH2 0x3191
0000318f: JUMPI
00003190: INVALID
00003191: JUMPDEST
00003192: EQ
00003193: PUSH2 0x319d
00003196: JUMPI
00003197: PUSH1 0x00
00003199: PUSH2 0x31a0
0000319c: JUMP
0000319d: JUMPDEST
0000319e: PUSH1 0x01
000031a0: JUMPDEST
000031a1: SWAP1
000031a2: POP
000031a3: DUP4
000031a4: PUSH2 0x31c2
000031a7: JUMPI
000031a8: PUSH2 0x31ba
000031ab: DUP8
000031ac: PUSH8 0x0de0b6b3a7640000
000031b5: DUP4
000031b6: PUSH2 0x308d
000031b9: JUMP
000031ba: JUMPDEST
000031bb: SWAP2
000031bc: POP
000031bd: POP
000031be: PUSH2 0x3271
000031c1: JUMP
000031c2: JUMPDEST
000031c3: PUSH1 0x00
000031c5: PUSH2 0x31d0
000031c8: DUP9
000031c9: DUP9
000031ca: DUP9
000031cb: DUP6
000031cc: PUSH2 0x30f3
000031cf: JUMP
000031d0: JUMPDEST
000031d1: SWAP1
000031d2: POP
000031d3: PUSH1 0x00
000031d5: DUP2
000031d6: SGT
000031d7: ISZERO
000031d8: PUSH2 0x31f1
000031db: JUMPI
000031dc: PUSH2 0x31ec
000031df: DUP2
000031e0: DUP7
000031e1: DUP5
000031e2: PUSH4 0xffffffff
000031e7: PUSH2 0x397e
000031ea: AND
000031eb: JUMP
000031ec: JUMPDEST
000031ed: PUSH2 0x31f4
000031f0: JUMP
000031f1: JUMPDEST
000031f2: PUSH1 0x00
000031f4: JUMPDEST
000031f5: SWAP3
000031f6: POP
000031f7: PUSH1 0x00
000031f9: DUP10
000031fa: PUSH1 0x01
000031fc: DUP2
000031fd: GT
000031fe: ISZERO
000031ff: PUSH2 0x3204
00003202: JUMPI
00003203: INVALID
00003204: JUMPDEST
00003205: EQ
00003206: ISZERO
00003207: PUSH2 0x324b
0000320a: JUMPI
0000320b: PUSH8 0x0de0b6b3a7640000
00003214: DUP5
00003215: GT
00003216: ISZERO
00003217: PUSH2 0x322d
0000321a: JUMPI
0000321b: PUSH2 0x322a
0000321e: DUP4
0000321f: DUP6
00003220: PUSH4 0xffffffff
00003225: PUSH2 0x29ca
00003228: AND
00003229: JUMP
0000322a: JUMPDEST
0000322b: SWAP3
0000322c: POP
0000322d: JUMPDEST
0000322e: PUSH1 0x00
00003230: PUSH2 0x3237
00003233: PUSH2 0x1476
00003236: JUMP
00003237: JUMPDEST
00003238: SWAP1
00003239: POP
0000323a: DUP1
0000323b: DUP5
0000323c: LT
0000323d: ISZERO
0000323e: PUSH2 0x3245
00003241: JUMPI
00003242: DUP1
00003243: SWAP4
00003244: POP
00003245: JUMPDEST
00003246: POP
00003247: PUSH2 0x326e
0000324a: JUMP
0000324b: JUMPDEST
0000324c: PUSH8 0x0de0b6b3a7640000
00003255: DUP5
00003256: LT
00003257: ISZERO
00003258: PUSH2 0x326e
0000325b: JUMPI
0000325c: PUSH2 0x326b
0000325f: DUP4
00003260: DUP6
00003261: PUSH4 0xffffffff
00003266: PUSH2 0x2961
00003269: AND
0000326a: JUMP
0000326b: JUMPDEST
0000326c: SWAP3
0000326d: POP
0000326e: JUMPDEST
0000326f: POP
00003270: POP
00003271: JUMPDEST
00003272: SWAP7
00003273: SWAP6
00003274: POP
00003275: POP
00003276: POP
00003277: POP
00003278: POP
00003279: POP
0000327a: JUMP
0000327b: JUMPDEST
0000327c: PUSH1 0x00
0000327e: DUP1
0000327f: PUSH2 0x3286
00003282: PUSH2 0x1efa
00003285: JUMP
00003286: JUMPDEST
00003287: SWAP1
00003288: POP
00003289: PUSH1 0x00
0000328b: PUSH2 0x3292
0000328e: PUSH2 0x1fe7
00003291: JUMP
00003292: JUMPDEST
00003293: SWAP1
00003294: POP
00003295: PUSH1 0x00
00003297: PUSH2 0x329e
0000329a: PUSH2 0x1053
0000329d: JUMP
0000329e: JUMPDEST
0000329f: SWAP1
000032a0: POP
000032a1: PUSH1 0x00
000032a3: PUSH2 0x32ad
000032a6: DUP5
000032a7: DUP5
000032a8: DUP5
000032a9: PUSH2 0x21b6
000032ac: JUMP
000032ad: JUMPDEST
000032ae: SWAP1
000032af: POP
000032b0: PUSH2 0x32bc
000032b3: DUP5
000032b4: DUP9
000032b5: DUP6
000032b6: DUP6
000032b7: DUP6
000032b8: PUSH2 0x3d82
000032bb: JUMP
000032bc: JUMPDEST
000032bd: SWAP5
000032be: POP
000032bf: DUP6
000032c0: DUP6
000032c1: LT
000032c2: ISZERO
000032c3: PUSH2 0x3313
000032c6: JUMPI
000032c7: PUSH1 0x40
000032c9: DUP1
000032ca: MLOAD
000032cb: PUSH3 0x461bcd
000032cf: PUSH1 0xe5
000032d1: SHL
000032d2: DUP2
000032d3: MSTORE
000032d4: PUSH1 0x20
000032d6: PUSH1 0x04
000032d8: DUP3
000032d9: ADD
000032da: MSTORE
000032db: PUSH1 0x11
000032dd: PUSH1 0x24
000032df: DUP3
000032e0: ADD
000032e1: MSTORE
000032e2: PUSH32 0x4c696d6974206e6f742072656163686564000000000000000000000000000000
00003303: PUSH1 0x44
00003305: DUP3
00003306: ADD
00003307: MSTORE
00003308: SWAP1
00003309: MLOAD
0000330a: SWAP1
0000330b: DUP2
0000330c: SWAP1
0000330d: SUB
0000330e: PUSH1 0x64
00003310: ADD
00003311: SWAP1
00003312: REVERT
00003313: JUMPDEST
00003314: PUSH1 0x00
00003316: PUSH2 0x3339
00003319: DUP6
0000331a: PUSH2 0x3329
0000331d: DUP7
0000331e: DUP10
0000331f: PUSH4 0xffffffff
00003324: PUSH2 0x2174
00003327: AND
00003328: JUMP
00003329: JUMPDEST
0000332a: PUSH2 0x0e38
0000332d: DUP7
0000332e: DUP13
0000332f: PUSH4 0xffffffff
00003334: PUSH2 0x2174
00003337: AND
00003338: JUMP
00003339: JUMPDEST
0000333a: SWAP1
0000333b: POP
0000333c: PUSH8 0x0de0b6b3a7640000
00003345: DUP2
00003346: GT
00003347: ISZERO
00003348: PUSH2 0x3398
0000334b: JUMPI
0000334c: PUSH1 0x40
0000334e: DUP1
0000334f: MLOAD
00003350: PUSH3 0x461bcd
00003354: PUSH1 0xe5
00003356: SHL
00003357: DUP2
00003358: MSTORE
00003359: PUSH1 0x20
0000335b: PUSH1 0x04
0000335d: DUP3
0000335e: ADD
0000335f: MSTORE
00003360: PUSH1 0x11
00003362: PUSH1 0x24
00003364: DUP3
00003365: ADD
00003366: MSTORE
00003367: PUSH32 0x4465627420726174696f203e2031303025000000000000000000000000000000
00003388: PUSH1 0x44
0000338a: DUP3
0000338b: ADD
0000338c: MSTORE
0000338d: SWAP1
0000338e: MLOAD
0000338f: SWAP1
00003390: DUP2
00003391: SWAP1
00003392: SUB
00003393: PUSH1 0x64
00003395: ADD
00003396: SWAP1
00003397: REVERT
00003398: JUMPDEST
00003399: PUSH2 0x33a2
0000339c: DUP11
0000339d: DUP10
0000339e: PUSH2 0x3e2e
000033a1: JUMP
000033a2: JUMPDEST
000033a3: PUSH2 0x305a
000033a6: DUP3
000033a7: DUP3
000033a8: PUSH2 0x0e4c
000033ab: PUSH2 0x13ae
000033ae: JUMP
000033af: JUMPDEST
000033b0: PUSH1 0x0e
000033b2: SLOAD
000033b3: PUSH1 0x0f
000033b5: SLOAD
000033b6: PUSH1 0x00
000033b8: SWAP2
000033b9: DUP3
000033ba: SWAP2
000033bb: PUSH4 0xffffffff
000033c0: SWAP2
000033c1: DUP3
000033c2: AND
000033c3: SWAP2
000033c4: AND
000033c5: GT
000033c6: PUSH2 0x33d2
000033c9: JUMPI
000033ca: PUSH1 0x0f
000033cc: PUSH1 0x0e
000033ce: PUSH2 0x33d7
000033d1: JUMP
000033d2: JUMPDEST
000033d3: PUSH1 0x0e
000033d5: PUSH1 0x0f
000033d7: JUMPDEST
000033d8: SWAP1
000033d9: SWAP4
000033da: SWAP1
000033db: SWAP3
000033dc: POP
000033dd: SWAP1
000033de: POP
000033df: JUMP
000033e0: JUMPDEST
000033e1: PUSH1 0x00
000033e3: DUP1
000033e4: PUSH1 0x00
000033e6: PUSH2 0x33ed
000033e9: PUSH2 0x3f6a
000033ec: JUMP
000033ed: JUMPDEST
000033ee: SWAP1
000033ef: SWAP3
000033f0: POP
000033f1: SWAP1
000033f2: POP
000033f3: PUSH1 0x00
000033f5: PUSH2 0x33fe
000033f8: DUP4
000033f9: DUP7
000033fa: PUSH2 0x41ac
000033fd: JUMP
000033fe: JUMPDEST
000033ff: DUP1
00003400: SLOAD
00003401: SWAP1
00003402: SWAP2
00003403: POP
00003404: PUSH2 0x343e
00003407: SWAP1
00003408: DUP5
00003409: SWAP1
0000340a: DUP5
0000340b: SWAP1
0000340c: PUSH4 0xffffffff
00003411: DUP2
00003412: AND
00003413: SWAP1
00003414: PUSH5 0x0100000000
0000341a: SWAP1
0000341b: DIV
0000341c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003439: AND
0000343a: PUSH2 0x424d
0000343d: JUMP
0000343e: JUMPDEST
0000343f: SWAP4
00003440: POP
00003441: POP
00003442: SWAP2
00003443: SWAP4
00003444: SWAP1
00003445: SWAP3
00003446: POP
00003447: JUMP
00003448: JUMPDEST
00003449: PUSH1 0x00
0000344b: PUSH2 0x1920
0000344e: PUSH2 0x3455
00003451: PUSH2 0x30a0
00003454: JUMP
00003455: JUMPDEST
00003456: PUSH2 0x345d
00003459: PUSH2 0x30aa
0000345c: JUMP
0000345d: JUMPDEST
0000345e: PUSH2 0x191b
00003461: PUSH2 0x4272
00003464: JUMP
00003465: JUMPDEST
00003466: PUSH1 0x00
00003468: DUP3
00003469: PUSH2 0x3474
0000346c: JUMPI
0000346d: POP
0000346e: PUSH1 0x00
00003470: PUSH2 0x104d
00003473: JUMP
00003474: JUMPDEST
00003475: DUP3
00003476: DUP3
00003477: MUL
00003478: DUP3
00003479: DUP5
0000347a: DUP3
0000347b: DUP2
0000347c: PUSH2 0x3481
0000347f: JUMPI
00003480: INVALID
00003481: JUMPDEST
00003482: DIV
00003483: EQ
00003484: PUSH2 0x146f
00003487: JUMPI
00003488: PUSH1 0x40
0000348a: MLOAD
0000348b: PUSH3 0x461bcd
0000348f: PUSH1 0xe5
00003491: SHL
00003492: DUP2
00003493: MSTORE
00003494: PUSH1 0x04
00003496: ADD
00003497: DUP1
00003498: DUP1
00003499: PUSH1 0x20
0000349b: ADD
0000349c: DUP3
0000349d: DUP2
0000349e: SUB
0000349f: DUP3
000034a0: MSTORE
000034a1: PUSH1 0x21
000034a3: DUP2
000034a4: MSTORE
000034a5: PUSH1 0x20
000034a7: ADD
000034a8: DUP1
000034a9: PUSH2 0x45ac
000034ac: PUSH1 0x21
000034ae: SWAP2
000034af: CODECOPY
000034b0: PUSH1 0x40
000034b2: ADD
000034b3: SWAP2
000034b4: POP
000034b5: POP
000034b6: PUSH1 0x40
000034b8: MLOAD
000034b9: DUP1
000034ba: SWAP2
000034bb: SUB
000034bc: SWAP1
000034bd: REVERT
000034be: JUMPDEST
000034bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034d4: DUP1
000034d5: DUP4
000034d6: AND
000034d7: PUSH1 0x00
000034d9: SWAP1
000034da: DUP2
000034db: MSTORE
000034dc: PUSH1 0x08
000034de: PUSH1 0x20
000034e0: SWAP1
000034e1: DUP2
000034e2: MSTORE
000034e3: PUSH1 0x40
000034e5: DUP1
000034e6: DUP4
000034e7: KECCAK256
000034e8: SWAP4
000034e9: DUP6
000034ea: AND
000034eb: DUP4
000034ec: MSTORE
000034ed: SWAP3
000034ee: SWAP1
000034ef: MSTORE
000034f0: KECCAK256
000034f1: SLOAD
000034f2: PUSH1 0xff
000034f4: AND
000034f5: PUSH2 0x3545
000034f8: JUMPI
000034f9: PUSH1 0x40
000034fb: DUP1
000034fc: MLOAD
000034fd: PUSH3 0x461bcd
00003501: PUSH1 0xe5
00003503: SHL
00003504: DUP2
00003505: MSTORE
00003506: PUSH1 0x20
00003508: PUSH1 0x04
0000350a: DUP3
0000350b: ADD
0000350c: MSTORE
0000350d: PUSH1 0x1e
0000350f: PUSH1 0x24
00003511: DUP3
00003512: ADD
00003513: MSTORE
00003514: PUSH32 0x44656c656761626c653a20416c726561647920756e64656c6567617465640000
00003535: PUSH1 0x44
00003537: DUP3
00003538: ADD
00003539: MSTORE
0000353a: SWAP1
0000353b: MLOAD
0000353c: SWAP1
0000353d: DUP2
0000353e: SWAP1
0000353f: SUB
00003540: PUSH1 0x64
00003542: ADD
00003543: SWAP1
00003544: REVERT
00003545: JUMPDEST
00003546: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000355b: DUP1
0000355c: DUP4
0000355d: AND
0000355e: PUSH1 0x00
00003560: DUP2
00003561: DUP2
00003562: MSTORE
00003563: PUSH1 0x08
00003565: PUSH1 0x20
00003567: SWAP1
00003568: DUP2
00003569: MSTORE
0000356a: PUSH1 0x40
0000356c: DUP1
0000356d: DUP4
0000356e: KECCAK256
0000356f: SWAP5
00003570: DUP7
00003571: AND
00003572: DUP1
00003573: DUP5
00003574: MSTORE
00003575: SWAP5
00003576: DUP3
00003577: MSTORE
00003578: DUP1
00003579: DUP4
0000357a: KECCAK256
0000357b: DUP1
0000357c: SLOAD
0000357d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000359e: AND
0000359f: SWAP1
000035a0: SSTORE
000035a1: DUP1
000035a2: MLOAD
000035a3: SWAP3
000035a4: DUP4
000035a5: MSTORE
000035a6: MLOAD
000035a7: PUSH32 0x045b0fef01772d2fbba53dbd38c9777806eac0865b00af43abcfbcaf50da9206
000035c8: SWAP3
000035c9: DUP2
000035ca: SWAP1
000035cb: SUB
000035cc: SWAP1
000035cd: SWAP2
000035ce: ADD
000035cf: SWAP1
000035d0: LOG3
000035d1: POP
000035d2: POP
000035d3: JUMP
000035d4: JUMPDEST
000035d5: PUSH1 0x00
000035d7: PUSH2 0x146f
000035da: DUP3
000035db: PUSH2 0x227b
000035de: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000035ff: DUP3
00003600: ADD
00003601: PUSH2 0x29f1
00003604: DUP8
00003605: PUSH8 0x0de0b6b3a7640000
0000360e: PUSH4 0xffffffff
00003613: PUSH2 0x3465
00003616: AND
00003617: JUMP
00003618: JUMPDEST
00003619: PUSH1 0x00
0000361b: PUSH15 0xc097ce7bc90715b34b9f1000000000
0000362b: PUSH2 0x363e
0000362e: DUP4
0000362f: PUSH2 0x226f
00003632: DUP2
00003633: DUP1
00003634: PUSH4 0xffffffff
00003639: PUSH2 0x3465
0000363c: AND
0000363d: JUMP
0000363e: JUMPDEST
0000363f: DUP2
00003640: PUSH2 0x3645
00003643: JUMPI
00003644: INVALID
00003645: JUMPDEST
00003646: DIV
00003647: SWAP3
00003648: SWAP2
00003649: POP
0000364a: POP
0000364b: JUMP
0000364c: JUMPDEST
0000364d: PUSH1 0x00
0000364f: PUSH2 0x146f
00003652: DUP4
00003653: DUP4
00003654: PUSH1 0x40
00003656: MLOAD
00003657: DUP1
00003658: PUSH1 0x40
0000365a: ADD
0000365b: PUSH1 0x40
0000365d: MSTORE
0000365e: DUP1
0000365f: PUSH1 0x1a
00003661: DUP2
00003662: MSTORE
00003663: PUSH1 0x20
00003665: ADD
00003666: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00003687: DUP2
00003688: MSTORE
00003689: POP
0000368a: PUSH2 0x42b7
0000368d: JUMP
0000368e: JUMPDEST
0000368f: PUSH1 0x00
00003691: PUSH8 0x0de0b6b3a7640000
0000369a: PUSH2 0x363e
0000369d: DUP4
0000369e: DUP1
0000369f: PUSH4 0xffffffff
000036a4: PUSH2 0x3465
000036a7: AND
000036a8: JUMP
000036a9: JUMPDEST
000036aa: PUSH1 0x00
000036ac: DUP2
000036ad: ISZERO
000036ae: PUSH2 0x16b2
000036b1: JUMPI
000036b2: PUSH1 0x00
000036b4: PUSH1 0x03
000036b6: PUSH2 0x36cd
000036b9: DUP5
000036ba: PUSH8 0x1bc16d674ec80000
000036c3: PUSH4 0xffffffff
000036c8: PUSH2 0x231e
000036cb: AND
000036cc: JUMP
000036cd: JUMPDEST
000036ce: DUP2
000036cf: PUSH2 0x36d4
000036d2: JUMPI
000036d3: INVALID
000036d4: JUMPDEST
000036d5: DIV
000036d6: SWAP1
000036d7: POP
000036d8: PUSH1 0x00
000036da: PUSH2 0x36f8
000036dd: DUP5
000036de: PUSH15 0xc097ce7bc90715b34b9f1000000000
000036ee: PUSH4 0xffffffff
000036f3: PUSH2 0x3465
000036f6: AND
000036f7: JUMP
000036f8: JUMPDEST
000036f9: SWAP1
000036fa: POP
000036fb: JUMPDEST
000036fc: DUP2
000036fd: SWAP3
000036fe: POP
000036ff: PUSH1 0x03
00003701: DUP4
00003702: DUP5
00003703: MUL
00003704: DUP3
00003705: DUP2
00003706: PUSH2 0x370b
00003709: JUMPI
0000370a: INVALID
0000370b: JUMPDEST
0000370c: DIV
0000370d: DUP5
0000370e: DUP6
0000370f: ADD
00003710: ADD
00003711: DUP2
00003712: PUSH2 0x3717
00003715: JUMPI
00003716: INVALID
00003717: JUMPDEST
00003718: DIV
00003719: SWAP2
0000371a: POP
0000371b: DUP3
0000371c: DUP3
0000371d: LT
0000371e: PUSH2 0x36fb
00003721: JUMPI
00003722: POP
00003723: POP
00003724: SWAP2
00003725: SWAP1
00003726: POP
00003727: JUMP
00003728: JUMPDEST
00003729: PUSH1 0x00
0000372b: PUSH5 0x174876e800
00003731: DUP3
00003732: MOD
00003733: DUP1
00003734: ISZERO
00003735: DUP1
00003736: ISZERO
00003737: SWAP1
00003738: PUSH2 0x3743
0000373b: JUMPI
0000373c: POP
0000373d: PUSH3 0x989680
00003741: DUP2
00003742: LT
00003743: JUMPDEST
00003744: ISZERO
00003745: PUSH2 0x0d1a
00003748: JUMPI
00003749: DUP1
0000374a: DUP4
0000374b: PUSH1 0x64
0000374d: MUL
0000374e: DUP2
0000374f: PUSH2 0x0d16
00003752: JUMPI
00003753: INVALID
00003754: JUMPDEST
00003755: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000376a: DUP4
0000376b: AND
0000376c: PUSH2 0x37a6
0000376f: JUMPI
00003770: PUSH1 0x40
00003772: MLOAD
00003773: PUSH3 0x461bcd
00003777: PUSH1 0xe5
00003779: SHL
0000377a: DUP2
0000377b: MSTORE
0000377c: PUSH1 0x04
0000377e: ADD
0000377f: DUP1
00003780: DUP1
00003781: PUSH1 0x20
00003783: ADD
00003784: DUP3
00003785: DUP2
00003786: SUB
00003787: DUP3
00003788: MSTORE
00003789: PUSH1 0x25
0000378b: DUP2
0000378c: MSTORE
0000378d: PUSH1 0x20
0000378f: ADD
00003790: DUP1
00003791: PUSH2 0x4616
00003794: PUSH1 0x25
00003796: SWAP2
00003797: CODECOPY
00003798: PUSH1 0x40
0000379a: ADD
0000379b: SWAP2
0000379c: POP
0000379d: POP
0000379e: PUSH1 0x40
000037a0: MLOAD
000037a1: DUP1
000037a2: SWAP2
000037a3: SUB
000037a4: SWAP1
000037a5: REVERT
000037a6: JUMPDEST
000037a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037bc: DUP3
000037bd: AND
000037be: PUSH2 0x37f8
000037c1: JUMPI
000037c2: PUSH1 0x40
000037c4: MLOAD
000037c5: PUSH3 0x461bcd
000037c9: PUSH1 0xe5
000037cb: SHL
000037cc: DUP2
000037cd: MSTORE
000037ce: PUSH1 0x04
000037d0: ADD
000037d1: DUP1
000037d2: DUP1
000037d3: PUSH1 0x20
000037d5: ADD
000037d6: DUP3
000037d7: DUP2
000037d8: SUB
000037d9: DUP3
000037da: MSTORE
000037db: PUSH1 0x23
000037dd: DUP2
000037de: MSTORE
000037df: PUSH1 0x20
000037e1: ADD
000037e2: DUP1
000037e3: PUSH2 0x44e5
000037e6: PUSH1 0x23
000037e8: SWAP2
000037e9: CODECOPY
000037ea: PUSH1 0x40
000037ec: ADD
000037ed: SWAP2
000037ee: POP
000037ef: POP
000037f0: PUSH1 0x40
000037f2: MLOAD
000037f3: DUP1
000037f4: SWAP2
000037f5: SUB
000037f6: SWAP1
000037f7: REVERT
000037f8: JUMPDEST
000037f9: PUSH2 0x3803
000037fc: DUP4
000037fd: DUP4
000037fe: DUP4
000037ff: PUSH2 0x247d
00003802: JUMP
00003803: JUMPDEST
00003804: PUSH2 0x3853
00003807: DUP2
00003808: PUSH1 0x40
0000380a: MLOAD
0000380b: DUP1
0000380c: PUSH1 0x60
0000380e: ADD
0000380f: PUSH1 0x40
00003811: MSTORE
00003812: DUP1
00003813: PUSH1 0x26
00003815: DUP2
00003816: MSTORE
00003817: PUSH1 0x20
00003819: ADD
0000381a: PUSH2 0x454c
0000381d: PUSH1 0x26
0000381f: SWAP2
00003820: CODECOPY
00003821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003836: DUP7
00003837: AND
00003838: PUSH1 0x00
0000383a: SWAP1
0000383b: DUP2
0000383c: MSTORE
0000383d: PUSH1 0x20
0000383f: DUP2
00003840: SWAP1
00003841: MSTORE
00003842: PUSH1 0x40
00003844: SWAP1
00003845: KECCAK256
00003846: SLOAD
00003847: SWAP2
00003848: SWAP1
00003849: PUSH4 0xffffffff
0000384e: PUSH2 0x2893
00003851: AND
00003852: JUMP
00003853: JUMPDEST
00003854: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003869: DUP1
0000386a: DUP6
0000386b: AND
0000386c: PUSH1 0x00
0000386e: SWAP1
0000386f: DUP2
00003870: MSTORE
00003871: PUSH1 0x20
00003873: DUP2
00003874: SWAP1
00003875: MSTORE
00003876: PUSH1 0x40
00003878: DUP1
00003879: DUP3
0000387a: KECCAK256
0000387b: SWAP4
0000387c: SWAP1
0000387d: SWAP4
0000387e: SSTORE
0000387f: SWAP1
00003880: DUP5
00003881: AND
00003882: DUP2
00003883: MSTORE
00003884: KECCAK256
00003885: SLOAD
00003886: PUSH2 0x3895
00003889: SWAP1
0000388a: DUP3
0000388b: PUSH4 0xffffffff
00003890: PUSH2 0x231e
00003893: AND
00003894: JUMP
00003895: JUMPDEST
00003896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038ab: DUP1
000038ac: DUP5
000038ad: AND
000038ae: PUSH1 0x00
000038b0: DUP2
000038b1: DUP2
000038b2: MSTORE
000038b3: PUSH1 0x20
000038b5: DUP2
000038b6: DUP2
000038b7: MSTORE
000038b8: PUSH1 0x40
000038ba: SWAP2
000038bb: DUP3
000038bc: SWAP1
000038bd: KECCAK256
000038be: SWAP5
000038bf: SWAP1
000038c0: SWAP5
000038c1: SSTORE
000038c2: DUP1
000038c3: MLOAD
000038c4: DUP6
000038c5: DUP2
000038c6: MSTORE
000038c7: SWAP1
000038c8: MLOAD
000038c9: SWAP2
000038ca: SWAP4
000038cb: SWAP3
000038cc: DUP8
000038cd: AND
000038ce: SWAP3
000038cf: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000038f0: SWAP3
000038f1: SWAP2
000038f2: DUP3
000038f3: SWAP1
000038f4: SUB
000038f5: ADD
000038f6: SWAP1
000038f7: LOG3
000038f8: POP
000038f9: POP
000038fa: POP
000038fb: JUMP
000038fc: JUMPDEST
000038fd: PUSH1 0x00
000038ff: PUSH1 0x02
00003901: DUP3
00003902: MOD
00003903: PUSH2 0x3914
00003906: JUMPI
00003907: PUSH8 0x0de0b6b3a7640000
00003910: PUSH2 0x3916
00003913: JUMP
00003914: JUMPDEST
00003915: DUP3
00003916: JUMPDEST
00003917: SWAP1
00003918: POP
00003919: PUSH1 0x02
0000391b: DUP3
0000391c: DIV
0000391d: SWAP2
0000391e: POP
0000391f: JUMPDEST
00003920: DUP2
00003921: ISZERO
00003922: PUSH2 0x104d
00003925: JUMPI
00003926: PUSH2 0x392e
00003929: DUP4
0000392a: PUSH2 0x368e
0000392d: JUMP
0000392e: JUMPDEST
0000392f: SWAP3
00003930: POP
00003931: PUSH1 0x02
00003933: DUP3
00003934: MOD
00003935: ISZERO
00003936: PUSH2 0x3946
00003939: JUMPI
0000393a: PUSH2 0x3943
0000393d: DUP2
0000393e: DUP5
0000393f: PUSH2 0x2961
00003942: JUMP
00003943: JUMPDEST
00003944: SWAP1
00003945: POP
00003946: JUMPDEST
00003947: PUSH1 0x02
00003949: DUP3
0000394a: DIV
0000394b: SWAP2
0000394c: POP
0000394d: PUSH2 0x391f
00003950: JUMP
00003951: JUMPDEST
00003952: PUSH1 0x00
00003954: DUP1
00003955: DUP3
00003956: PUSH1 0x01
00003958: DUP2
00003959: GT
0000395a: ISZERO
0000395b: PUSH2 0x3960
0000395e: JUMPI
0000395f: INVALID
00003960: JUMPDEST
00003961: EQ
00003962: PUSH2 0x3974
00003965: JUMPI
00003966: PUSH2 0x396f
00003969: DUP5
0000396a: DUP5
0000396b: PUSH2 0x29ca
0000396e: JUMP
0000396f: JUMPDEST
00003970: PUSH2 0x2959
00003973: JUMP
00003974: JUMPDEST
00003975: PUSH2 0x2959
00003978: DUP5
00003979: DUP5
0000397a: PUSH2 0x2961
0000397d: JUMP
0000397e: JUMPDEST
0000397f: PUSH1 0x00
00003981: DUP1
00003982: DUP3
00003983: PUSH1 0x01
00003985: DUP2
00003986: GT
00003987: ISZERO
00003988: PUSH2 0x398d
0000398b: JUMPI
0000398c: INVALID
0000398d: JUMPDEST
0000398e: EQ
0000398f: PUSH2 0x399c
00003992: JUMPI
00003993: PUSH2 0x396f
00003996: DUP5
00003997: DUP5
00003998: PUSH2 0x35d4
0000399b: JUMP
0000399c: JUMPDEST
0000399d: PUSH2 0x2959
000039a0: DUP5
000039a1: DUP5
000039a2: PUSH2 0x28ed
000039a5: JUMP
000039a6: JUMPDEST
000039a7: PUSH1 0x0a
000039a9: SLOAD
000039aa: PUSH5 0x0100000000
000039b0: SWAP1
000039b1: DIV
000039b2: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000039cf: AND
000039d0: PUSH8 0x0b1a2bc2ec500000
000039d9: DUP5
000039da: GT
000039db: PUSH2 0x3a2c
000039de: JUMPI
000039df: DUP1
000039e0: ISZERO
000039e1: PUSH2 0x3a27
000039e4: JUMPI
000039e5: PUSH1 0x00
000039e7: PUSH1 0x0a
000039e9: DUP2
000039ea: SWAP1
000039eb: SSTORE
000039ec: PUSH1 0x40
000039ee: DUP1
000039ef: MLOAD
000039f0: DUP4
000039f1: DUP2
000039f2: MSTORE
000039f3: PUSH1 0x20
000039f5: DUP2
000039f6: ADD
000039f7: SWAP3
000039f8: SWAP1
000039f9: SWAP3
000039fa: MSTORE
000039fb: DUP1
000039fc: MLOAD
000039fd: PUSH32 0x05ddb88d20c718baf5e5231bd021d330d7e31a9e676417079f0d0f518e2fde55
00003a1e: SWAP3
00003a1f: DUP2
00003a20: SWAP1
00003a21: SUB
00003a22: SWAP1
00003a23: SWAP2
00003a24: ADD
00003a25: SWAP1
00003a26: LOG1
00003a27: JUMPDEST
00003a28: PUSH2 0x3b13
00003a2b: JUMP
00003a2c: JUMPDEST
00003a2d: DUP1
00003a2e: PUSH2 0x3b13
00003a31: JUMPI
00003a32: PUSH1 0x0a
00003a34: DUP1
00003a35: SLOAD
00003a36: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000
00003a57: AND
00003a58: TIMESTAMP
00003a59: PUSH4 0xffffffff
00003a5e: AND
00003a5f: OR
00003a60: DUP2
00003a61: SSTORE
00003a62: PUSH2 0x3a99
00003a65: SWAP1
00003a66: DUP4
00003a67: SWAP1
00003a68: PUSH2 0x3a8d
00003a6b: SWAP1
00003a6c: DUP7
00003a6d: SWAP1
00003a6e: PUSH8 0x6f05b59d3b200000
00003a77: DIV
00003a78: PUSH8 0x0de0b6b3a7640000
00003a81: SUB
00003a82: SWAP1
00003a83: PUSH4 0xffffffff
00003a88: PUSH2 0x29ca
00003a8b: AND
00003a8c: JUMP
00003a8d: JUMPDEST
00003a8e: SWAP1
00003a8f: PUSH4 0xffffffff
00003a94: PUSH2 0x35d4
00003a97: AND
00003a98: JUMP
00003a99: JUMPDEST
00003a9a: PUSH1 0x0a
00003a9c: DUP1
00003a9d: SLOAD
00003a9e: PUSH4 0xffffffff
00003aa3: AND
00003aa4: PUSH5 0x0100000000
00003aaa: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003ac7: SWAP4
00003ac8: DUP5
00003ac9: AND
00003aca: DUP2
00003acb: MUL
00003acc: SWAP2
00003acd: SWAP1
00003ace: SWAP2
00003acf: OR
00003ad0: SWAP2
00003ad1: DUP3
00003ad2: SWAP1
00003ad3: SSTORE
00003ad4: PUSH1 0x40
00003ad6: DUP1
00003ad7: MLOAD
00003ad8: DUP6
00003ad9: DUP2
00003ada: MSTORE
00003adb: SWAP2
00003adc: SWAP1
00003add: SWAP3
00003ade: DIV
00003adf: SWAP1
00003ae0: SWAP3
00003ae1: AND
00003ae2: PUSH1 0x20
00003ae4: DUP4
00003ae5: ADD
00003ae6: MSTORE
00003ae7: DUP1
00003ae8: MLOAD
00003ae9: PUSH32 0x05ddb88d20c718baf5e5231bd021d330d7e31a9e676417079f0d0f518e2fde55
00003b0a: SWAP3
00003b0b: DUP2
00003b0c: SWAP1
00003b0d: SUB
00003b0e: SWAP1
00003b0f: SWAP2
00003b10: ADD
00003b11: SWAP1
00003b12: LOG1
00003b13: JUMPDEST
00003b14: POP
00003b15: POP
00003b16: POP
00003b17: POP
00003b18: JUMP
00003b19: JUMPDEST
00003b1a: PUSH1 0x00
00003b1c: DUP1
00003b1d: PUSH2 0x3b2b
00003b20: PUSH1 0x00
00003b22: DUP10
00003b23: DUP9
00003b24: DUP9
00003b25: DUP9
00003b26: DUP9
00003b27: PUSH2 0x3181
00003b2a: JUMP
00003b2b: JUMPDEST
00003b2c: SWAP1
00003b2d: POP
00003b2e: DUP5
00003b2f: PUSH2 0x3b49
00003b32: JUMPI
00003b33: PUSH2 0x3b42
00003b36: DUP8
00003b37: DUP3
00003b38: PUSH4 0xffffffff
00003b3d: PUSH2 0x28ed
00003b40: AND
00003b41: JUMP
00003b42: JUMPDEST
00003b43: SWAP2
00003b44: POP
00003b45: PUSH2 0x3b70
00003b48: JUMP
00003b49: JUMPDEST
00003b4a: PUSH1 0x00
00003b4c: PUSH2 0x3b5b
00003b4f: DUP8
00003b50: DUP10
00003b51: PUSH4 0xffffffff
00003b56: PUSH2 0x231e
00003b59: AND
00003b5a: JUMP
00003b5b: JUMPDEST
00003b5c: SWAP1
00003b5d: POP
00003b5e: PUSH2 0x326b
00003b61: PUSH2 0x22da
00003b64: DUP3
00003b65: DUP5
00003b66: PUSH4 0xffffffff
00003b6b: PUSH2 0x29ca
00003b6e: AND
00003b6f: JUMP
00003b70: JUMPDEST
00003b71: POP
00003b72: SWAP7
00003b73: SWAP6
00003b74: POP
00003b75: POP
00003b76: POP
00003b77: POP
00003b78: POP
00003b79: POP
00003b7a: JUMP
00003b7b: JUMPDEST
00003b7c: PUSH1 0x00
00003b7e: DUP1
00003b7f: PUSH32 0x000000000000000000000000f04a5d82ff8a801f7d45e9c14cdcf73deff1a394
00003ba0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bb5: AND
00003bb6: PUSH4 0x18160ddd
00003bbb: PUSH1 0x40
00003bbd: MLOAD
00003bbe: DUP2
00003bbf: PUSH4 0xffffffff
00003bc4: AND
00003bc5: PUSH1 0xe0
00003bc7: SHL
00003bc8: DUP2
00003bc9: MSTORE
00003bca: PUSH1 0x04
00003bcc: ADD
00003bcd: PUSH1 0x20
00003bcf: PUSH1 0x40
00003bd1: MLOAD
00003bd2: DUP1
00003bd3: DUP4
00003bd4: SUB
00003bd5: DUP2
00003bd6: DUP7
00003bd7: DUP1
00003bd8: EXTCODESIZE
00003bd9: ISZERO
00003bda: DUP1
00003bdb: ISZERO
00003bdc: PUSH2 0x3be4
00003bdf: JUMPI
00003be0: PUSH1 0x00
00003be2: DUP1
00003be3: REVERT
00003be4: JUMPDEST
00003be5: POP
00003be6: GAS
00003be7: STATICCALL
00003be8: ISZERO
00003be9: DUP1
00003bea: ISZERO
00003beb: PUSH2 0x3bf8
00003bee: JUMPI
00003bef: RETURNDATASIZE
00003bf0: PUSH1 0x00
00003bf2: DUP1
00003bf3: RETURNDATACOPY
00003bf4: RETURNDATASIZE
00003bf5: PUSH1 0x00
00003bf7: REVERT
00003bf8: JUMPDEST
00003bf9: POP
00003bfa: POP
00003bfb: POP
00003bfc: POP
00003bfd: PUSH1 0x40
00003bff: MLOAD
00003c00: RETURNDATASIZE
00003c01: PUSH1 0x20
00003c03: DUP2
00003c04: LT
00003c05: ISZERO
00003c06: PUSH2 0x3c0e
00003c09: JUMPI
00003c0a: PUSH1 0x00
00003c0c: DUP1
00003c0d: REVERT
00003c0e: JUMPDEST
00003c0f: POP
00003c10: MLOAD
00003c11: SWAP1
00003c12: POP
00003c13: PUSH1 0x00
00003c15: PUSH2 0x3c25
00003c18: PUSH1 0x01
00003c1a: DUP9
00003c1b: DUP8
00003c1c: DUP8
00003c1d: DUP7
00003c1e: PUSH2 0x1ac5
00003c21: PUSH2 0x13ae
00003c24: JUMP
00003c25: JUMPDEST
00003c26: SWAP1
00003c27: POP
00003c28: DUP4
00003c29: PUSH2 0x3c43
00003c2c: JUMPI
00003c2d: PUSH2 0x3c3c
00003c30: DUP7
00003c31: DUP3
00003c32: PUSH4 0xffffffff
00003c37: PUSH2 0x2961
00003c3a: AND
00003c3b: JUMP
00003c3c: JUMPDEST
00003c3d: SWAP3
00003c3e: POP
00003c3f: PUSH2 0x3c86
00003c42: JUMP
00003c43: JUMPDEST
00003c44: PUSH2 0x18df
00003c47: PUSH2 0x3c66
00003c4a: PUSH2 0x3c59
00003c4d: DUP9
00003c4e: DUP5
00003c4f: PUSH4 0xffffffff
00003c54: PUSH2 0x29ca
00003c57: AND
00003c58: JUMP
00003c59: JUMPDEST
00003c5a: DUP8
00003c5b: SWAP1
00003c5c: PUSH4 0xffffffff
00003c61: PUSH2 0x231e
00003c64: AND
00003c65: JUMP
00003c66: JUMPDEST
00003c67: PUSH2 0x227b
00003c6a: PUSH2 0x3c79
00003c6d: DUP10
00003c6e: DUP6
00003c6f: PUSH4 0xffffffff
00003c74: PUSH2 0x2961
00003c77: AND
00003c78: JUMP
00003c79: JUMPDEST
00003c7a: DUP9
00003c7b: SWAP1
00003c7c: PUSH4 0xffffffff
00003c81: PUSH2 0x3465
00003c84: AND
00003c85: JUMP
00003c86: JUMPDEST
00003c87: POP
00003c88: POP
00003c89: SWAP5
00003c8a: SWAP4
00003c8b: POP
00003c8c: POP
00003c8d: POP
00003c8e: POP
00003c8f: JUMP
00003c90: JUMPDEST
00003c91: DUP1
00003c92: SELFBALANCE
00003c93: LT
00003c94: ISZERO
00003c95: PUSH2 0x3ce5
00003c98: JUMPI
00003c99: PUSH1 0x40
00003c9b: DUP1
00003c9c: MLOAD
00003c9d: PUSH3 0x461bcd
00003ca1: PUSH1 0xe5
00003ca3: SHL
00003ca4: DUP2
00003ca5: MSTORE
00003ca6: PUSH1 0x20
00003ca8: PUSH1 0x04
00003caa: DUP3
00003cab: ADD
00003cac: MSTORE
00003cad: PUSH1 0x1d
00003caf: PUSH1 0x24
00003cb1: DUP3
00003cb2: ADD
00003cb3: MSTORE
00003cb4: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00003cd5: PUSH1 0x44
00003cd7: DUP3
00003cd8: ADD
00003cd9: MSTORE
00003cda: SWAP1
00003cdb: MLOAD
00003cdc: SWAP1
00003cdd: DUP2
00003cde: SWAP1
00003cdf: SUB
00003ce0: PUSH1 0x64
00003ce2: ADD
00003ce3: SWAP1
00003ce4: REVERT
00003ce5: JUMPDEST
00003ce6: PUSH1 0x40
00003ce8: MLOAD
00003ce9: PUSH1 0x00
00003ceb: SWAP1
00003cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d01: DUP5
00003d02: AND
00003d03: SWAP1
00003d04: DUP4
00003d05: SWAP1
00003d06: DUP4
00003d07: DUP2
00003d08: DUP2
00003d09: DUP2
00003d0a: DUP6
00003d0b: DUP8
00003d0c: GAS
00003d0d: CALL
00003d0e: SWAP3
00003d0f: POP
00003d10: POP
00003d11: POP
00003d12: RETURNDATASIZE
00003d13: DUP1
00003d14: PUSH1 0x00
00003d16: DUP2
00003d17: EQ
00003d18: PUSH2 0x3d3d
00003d1b: JUMPI
00003d1c: PUSH1 0x40
00003d1e: MLOAD
00003d1f: SWAP2
00003d20: POP
00003d21: PUSH1 0x1f
00003d23: NOT
00003d24: PUSH1 0x3f
00003d26: RETURNDATASIZE
00003d27: ADD
00003d28: AND
00003d29: DUP3
00003d2a: ADD
00003d2b: PUSH1 0x40
00003d2d: MSTORE
00003d2e: RETURNDATASIZE
00003d2f: DUP3
00003d30: MSTORE
00003d31: RETURNDATASIZE
00003d32: PUSH1 0x00
00003d34: PUSH1 0x20
00003d36: DUP5
00003d37: ADD
00003d38: RETURNDATACOPY
00003d39: PUSH2 0x3d42
00003d3c: JUMP
00003d3d: JUMPDEST
00003d3e: PUSH1 0x60
00003d40: SWAP2
00003d41: POP
00003d42: JUMPDEST
00003d43: POP
00003d44: POP
00003d45: SWAP1
00003d46: POP
00003d47: DUP1
00003d48: PUSH2 0x247d
00003d4b: JUMPI
00003d4c: PUSH1 0x40
00003d4e: MLOAD
00003d4f: PUSH3 0x461bcd
00003d53: PUSH1 0xe5
00003d55: SHL
00003d56: DUP2
00003d57: MSTORE
00003d58: PUSH1 0x04
00003d5a: ADD
00003d5b: DUP1
00003d5c: DUP1
00003d5d: PUSH1 0x20
00003d5f: ADD
00003d60: DUP3
00003d61: DUP2
00003d62: SUB
00003d63: DUP3
00003d64: MSTORE
00003d65: PUSH1 0x3a
00003d67: DUP2
00003d68: MSTORE
00003d69: PUSH1 0x20
00003d6b: ADD
00003d6c: DUP1
00003d6d: PUSH2 0x4572
00003d70: PUSH1 0x3a
00003d72: SWAP2
00003d73: CODECOPY
00003d74: PUSH1 0x40
00003d76: ADD
00003d77: SWAP2
00003d78: POP
00003d79: POP
00003d7a: PUSH1 0x40
00003d7c: MLOAD
00003d7d: DUP1
00003d7e: SWAP2
00003d7f: SUB
00003d80: SWAP1
00003d81: REVERT
00003d82: JUMPDEST
00003d83: PUSH1 0x00
00003d85: DUP1
00003d86: PUSH2 0x3d91
00003d89: PUSH1 0x01
00003d8b: DUP9
00003d8c: DUP6
00003d8d: PUSH2 0x29fd
00003d90: JUMP
00003d91: JUMPDEST
00003d92: SWAP1
00003d93: POP
00003d94: PUSH1 0x00
00003d96: PUSH2 0x3da5
00003d99: DUP6
00003d9a: DUP9
00003d9b: PUSH4 0xffffffff
00003da0: PUSH2 0x2174
00003da3: AND
00003da4: JUMP
00003da5: JUMPDEST
00003da6: SWAP1
00003da7: POP
00003da8: PUSH1 0x00
00003daa: PUSH2 0x3dec
00003dad: PUSH2 0x3ddc
00003db0: PUSH2 0x3dc7
00003db3: PUSH2 0x3dc2
00003db6: DUP6
00003db7: DUP11
00003db8: PUSH4 0xffffffff
00003dbd: PUSH2 0x35d4
00003dc0: AND
00003dc1: JUMP
00003dc2: JUMPDEST
00003dc3: PUSH2 0x431c
00003dc6: JUMP
00003dc7: JUMPDEST
00003dc8: PUSH8 0x0de0b6b3a7640000
00003dd1: SWAP1
00003dd2: PUSH4 0xffffffff
00003dd7: PUSH2 0x2174
00003dda: AND
00003ddb: JUMP
00003ddc: JUMPDEST
00003ddd: PUSH2 0x22ac
00003de0: DUP6
00003de1: DUP10
00003de2: PUSH4 0xffffffff
00003de7: PUSH2 0x2961
00003dea: AND
00003deb: JUMP
00003dec: JUMPDEST
00003ded: SWAP1
00003dee: POP
00003def: PUSH2 0x230f
00003df2: PUSH2 0x3e21
00003df5: PUSH2 0x3e1c
00003df8: PUSH2 0x3e07
00003dfb: DUP11
00003dfc: DUP6
00003dfd: PUSH4 0xffffffff
00003e02: PUSH2 0x2174
00003e05: AND
00003e06: JUMP
00003e07: JUMPDEST
00003e08: PUSH2 0x3e10
00003e0b: DUP12
00003e0c: PUSH2 0x4355
00003e0f: JUMP
00003e10: JUMPDEST
00003e11: SWAP1
00003e12: PUSH4 0xffffffff
00003e17: PUSH2 0x29ca
00003e1a: AND
00003e1b: JUMP
00003e1c: JUMPDEST
00003e1d: PUSH2 0x437c
00003e20: JUMP
00003e21: JUMPDEST
00003e22: DUP9
00003e23: SWAP1
00003e24: PUSH4 0xffffffff
00003e29: PUSH2 0x2174
00003e2c: AND
00003e2d: JUMP
00003e2e: JUMPDEST
00003e2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e44: DUP3
00003e45: AND
00003e46: PUSH2 0x3e80
00003e49: JUMPI
00003e4a: PUSH1 0x40
00003e4c: MLOAD
00003e4d: PUSH3 0x461bcd
00003e51: PUSH1 0xe5
00003e53: SHL
00003e54: DUP2
00003e55: MSTORE
00003e56: PUSH1 0x04
00003e58: ADD
00003e59: DUP1
00003e5a: DUP1
00003e5b: PUSH1 0x20
00003e5d: ADD
00003e5e: DUP3
00003e5f: DUP2
00003e60: SUB
00003e61: DUP3
00003e62: MSTORE
00003e63: PUSH1 0x21
00003e65: DUP2
00003e66: MSTORE
00003e67: PUSH1 0x20
00003e69: ADD
00003e6a: DUP1
00003e6b: PUSH2 0x45f5
00003e6e: PUSH1 0x21
00003e70: SWAP2
00003e71: CODECOPY
00003e72: PUSH1 0x40
00003e74: ADD
00003e75: SWAP2
00003e76: POP
00003e77: POP
00003e78: PUSH1 0x40
00003e7a: MLOAD
00003e7b: DUP1
00003e7c: SWAP2
00003e7d: SUB
00003e7e: SWAP1
00003e7f: REVERT
00003e80: JUMPDEST
00003e81: PUSH2 0x3e8c
00003e84: DUP3
00003e85: PUSH1 0x00
00003e87: DUP4
00003e88: PUSH2 0x247d
00003e8b: JUMP
00003e8c: JUMPDEST
00003e8d: PUSH2 0x3edc
00003e90: DUP2
00003e91: PUSH1 0x40
00003e93: MLOAD
00003e94: DUP1
00003e95: PUSH1 0x60
00003e97: ADD
00003e98: PUSH1 0x40
00003e9a: MSTORE
00003e9b: DUP1
00003e9c: PUSH1 0x22
00003e9e: DUP2
00003e9f: MSTORE
00003ea0: PUSH1 0x20
00003ea2: ADD
00003ea3: PUSH2 0x4508
00003ea6: PUSH1 0x22
00003ea8: SWAP2
00003ea9: CODECOPY
00003eaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ebf: DUP6
00003ec0: AND
00003ec1: PUSH1 0x00
00003ec3: SWAP1
00003ec4: DUP2
00003ec5: MSTORE
00003ec6: PUSH1 0x20
00003ec8: DUP2
00003ec9: SWAP1
00003eca: MSTORE
00003ecb: PUSH1 0x40
00003ecd: SWAP1
00003ece: KECCAK256
00003ecf: SLOAD
00003ed0: SWAP2
00003ed1: SWAP1
00003ed2: PUSH4 0xffffffff
00003ed7: PUSH2 0x2893
00003eda: AND
00003edb: JUMP
00003edc: JUMPDEST
00003edd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ef2: DUP4
00003ef3: AND
00003ef4: PUSH1 0x00
00003ef6: SWAP1
00003ef7: DUP2
00003ef8: MSTORE
00003ef9: PUSH1 0x20
00003efb: DUP2
00003efc: SWAP1
00003efd: MSTORE
00003efe: PUSH1 0x40
00003f00: SWAP1
00003f01: KECCAK256
00003f02: SSTORE
00003f03: PUSH1 0x02
00003f05: SLOAD
00003f06: PUSH2 0x3f15
00003f09: SWAP1
00003f0a: DUP3
00003f0b: PUSH4 0xffffffff
00003f10: PUSH2 0x2174
00003f13: AND
00003f14: JUMP
00003f15: JUMPDEST
00003f16: PUSH1 0x02
00003f18: SSTORE
00003f19: PUSH1 0x40
00003f1b: DUP1
00003f1c: MLOAD
00003f1d: DUP3
00003f1e: DUP2
00003f1f: MSTORE
00003f20: SWAP1
00003f21: MLOAD
00003f22: PUSH1 0x00
00003f24: SWAP2
00003f25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f3a: DUP6
00003f3b: AND
00003f3c: SWAP2
00003f3d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003f5e: SWAP2
00003f5f: DUP2
00003f60: SWAP1
00003f61: SUB
00003f62: PUSH1 0x20
00003f64: ADD
00003f65: SWAP1
00003f66: LOG3
00003f67: POP
00003f68: POP
00003f69: JUMP
00003f6a: JUMPDEST
00003f6b: PUSH1 0x00
00003f6d: DUP1
00003f6e: PUSH32 0x000000000000000000000000b4e16d0168e52d35cacd2c6185b44281ec28c9dc
00003f8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fa4: AND
00003fa5: PUSH4 0x0902f1ac
00003faa: PUSH1 0x40
00003fac: MLOAD
00003fad: DUP2
00003fae: PUSH4 0xffffffff
00003fb3: AND
00003fb4: PUSH1 0xe0
00003fb6: SHL
00003fb7: DUP2
00003fb8: MSTORE
00003fb9: PUSH1 0x04
00003fbb: ADD
00003fbc: PUSH1 0x60
00003fbe: PUSH1 0x40
00003fc0: MLOAD
00003fc1: DUP1
00003fc2: DUP4
00003fc3: SUB
00003fc4: DUP2
00003fc5: DUP7
00003fc6: DUP1
00003fc7: EXTCODESIZE
00003fc8: ISZERO
00003fc9: DUP1
00003fca: ISZERO
00003fcb: PUSH2 0x3fd3
00003fce: JUMPI
00003fcf: PUSH1 0x00
00003fd1: DUP1
00003fd2: REVERT
00003fd3: JUMPDEST
00003fd4: POP
00003fd5: GAS
00003fd6: STATICCALL
00003fd7: ISZERO
00003fd8: DUP1
00003fd9: ISZERO
00003fda: PUSH2 0x3fe7
00003fdd: JUMPI
00003fde: RETURNDATASIZE
00003fdf: PUSH1 0x00
00003fe1: DUP1
00003fe2: RETURNDATACOPY
00003fe3: RETURNDATASIZE
00003fe4: PUSH1 0x00
00003fe6: REVERT
00003fe7: JUMPDEST
00003fe8: POP
00003fe9: POP
00003fea: POP
00003feb: POP
00003fec: PUSH1 0x40
00003fee: MLOAD
00003fef: RETURNDATASIZE
00003ff0: PUSH1 0x60
00003ff2: DUP2
00003ff3: LT
00003ff4: ISZERO
00003ff5: PUSH2 0x3ffd
00003ff8: JUMPI
00003ff9: PUSH1 0x00
00003ffb: DUP1
00003ffc: REVERT
00003ffd: JUMPDEST
00003ffe: POP
00003fff: PUSH1 0x40
00004001: ADD
00004002: MLOAD
00004003: PUSH4 0xffffffff
00004008: AND
00004009: SWAP2
0000400a: POP
0000400b: PUSH1 0x00
0000400d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
0000402e: PUSH2 0x40c8
00004031: JUMPI
00004032: PUSH32 0x000000000000000000000000b4e16d0168e52d35cacd2c6185b44281ec28c9dc
00004053: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004068: AND
00004069: PUSH4 0x5909c0d5
0000406e: PUSH1 0x40
00004070: MLOAD
00004071: DUP2
00004072: PUSH4 0xffffffff
00004077: AND
00004078: PUSH1 0xe0
0000407a: SHL
0000407b: DUP2
0000407c: MSTORE
0000407d: PUSH1 0x04
0000407f: ADD
00004080: PUSH1 0x20
00004082: PUSH1 0x40
00004084: MLOAD
00004085: DUP1
00004086: DUP4
00004087: SUB
00004088: DUP2
00004089: DUP7
0000408a: DUP1
0000408b: EXTCODESIZE
0000408c: ISZERO
0000408d: DUP1
0000408e: ISZERO
0000408f: PUSH2 0x4097
00004092: JUMPI
00004093: PUSH1 0x00
00004095: DUP1
00004096: REVERT
00004097: JUMPDEST
00004098: POP
00004099: GAS
0000409a: STATICCALL
0000409b: ISZERO
0000409c: DUP1
0000409d: ISZERO
0000409e: PUSH2 0x40ab
000040a1: JUMPI
000040a2: RETURNDATASIZE
000040a3: PUSH1 0x00
000040a5: DUP1
000040a6: RETURNDATACOPY
000040a7: RETURNDATASIZE
000040a8: PUSH1 0x00
000040aa: REVERT
000040ab: JUMPDEST
000040ac: POP
000040ad: POP
000040ae: POP
000040af: POP
000040b0: PUSH1 0x40
000040b2: MLOAD
000040b3: RETURNDATASIZE
000040b4: PUSH1 0x20
000040b6: DUP2
000040b7: LT
000040b8: ISZERO
000040b9: PUSH2 0x40c1
000040bc: JUMPI
000040bd: PUSH1 0x00
000040bf: DUP1
000040c0: REVERT
000040c1: JUMPDEST
000040c2: POP
000040c3: MLOAD
000040c4: PUSH2 0x415b
000040c7: JUMP
000040c8: JUMPDEST
000040c9: PUSH32 0x000000000000000000000000b4e16d0168e52d35cacd2c6185b44281ec28c9dc
000040ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040ff: AND
00004100: PUSH4 0x5a3d5493
00004105: PUSH1 0x40
00004107: MLOAD
00004108: DUP2
00004109: PUSH4 0xffffffff
0000410e: AND
0000410f: PUSH1 0xe0
00004111: SHL
00004112: DUP2
00004113: MSTORE
00004114: PUSH1 0x04
00004116: ADD
00004117: PUSH1 0x20
00004119: PUSH1 0x40
0000411b: MLOAD
0000411c: DUP1
0000411d: DUP4
0000411e: SUB
0000411f: DUP2
00004120: DUP7
00004121: DUP1
00004122: EXTCODESIZE
00004123: ISZERO
00004124: DUP1
00004125: ISZERO
00004126: PUSH2 0x412e
00004129: JUMPI
0000412a: PUSH1 0x00
0000412c: DUP1
0000412d: REVERT
0000412e: JUMPDEST
0000412f: POP
00004130: GAS
00004131: STATICCALL
00004132: ISZERO
00004133: DUP1
00004134: ISZERO
00004135: PUSH2 0x4142
00004138: JUMPI
00004139: RETURNDATASIZE
0000413a: PUSH1 0x00
0000413c: DUP1
0000413d: RETURNDATACOPY
0000413e: RETURNDATASIZE
0000413f: PUSH1 0x00
00004141: REVERT
00004142: JUMPDEST
00004143: POP
00004144: POP
00004145: POP
00004146: POP
00004147: PUSH1 0x40
00004149: MLOAD
0000414a: RETURNDATASIZE
0000414b: PUSH1 0x20
0000414d: DUP2
0000414e: LT
0000414f: ISZERO
00004150: PUSH2 0x4158
00004153: JUMPI
00004154: PUSH1 0x00
00004156: DUP1
00004157: REVERT
00004158: JUMPDEST
00004159: POP
0000415a: MLOAD
0000415b: JUMPDEST
0000415c: SWAP1
0000415d: POP
0000415e: PUSH15 0x010000000000000000000000000000
0000416e: PUSH2 0x419d
00004171: DUP3
00004172: PUSH32 0x000000000000000000000000000000000000000c9f2c9cd04674edea40000000
00004193: PUSH4 0xffffffff
00004198: PUSH2 0x3465
0000419b: AND
0000419c: JUMP
0000419d: JUMPDEST
0000419e: DUP2
0000419f: PUSH2 0x41a4
000041a2: JUMPI
000041a3: INVALID
000041a4: JUMPDEST
000041a5: DIV
000041a6: SWAP2
000041a7: POP
000041a8: POP
000041a9: SWAP1
000041aa: SWAP2
000041ab: JUMP
000041ac: JUMPDEST
000041ad: PUSH1 0x00
000041af: DUP1
000041b0: PUSH2 0x41ba
000041b3: DUP5
000041b4: PUSH1 0x0e
000041b6: PUSH2 0x43ad
000041b9: JUMP
000041ba: JUMPDEST
000041bb: SWAP1
000041bc: POP
000041bd: PUSH1 0x00
000041bf: PUSH2 0x41c9
000041c2: DUP6
000041c3: PUSH1 0x0f
000041c5: PUSH2 0x43ad
000041c8: JUMP
000041c9: JUMPDEST
000041ca: SWAP1
000041cb: POP
000041cc: DUP2
000041cd: ISZERO
000041ce: PUSH2 0x41e9
000041d1: JUMPI
000041d2: DUP1
000041d3: ISZERO
000041d4: PUSH2 0x41df
000041d7: JUMPI
000041d8: DUP4
000041d9: SWAP3
000041da: POP
000041db: PUSH2 0x41e4
000041de: JUMP
000041df: JUMPDEST
000041e0: PUSH1 0x0e
000041e2: SWAP3
000041e3: POP
000041e4: JUMPDEST
000041e5: PUSH2 0x4245
000041e8: JUMP
000041e9: JUMPDEST
000041ea: DUP1
000041eb: ISZERO
000041ec: PUSH2 0x41f8
000041ef: JUMPI
000041f0: PUSH1 0x0f
000041f2: SWAP3
000041f3: POP
000041f4: PUSH2 0x4245
000041f7: JUMP
000041f8: JUMPDEST
000041f9: PUSH1 0x40
000041fb: DUP1
000041fc: MLOAD
000041fd: PUSH3 0x461bcd
00004201: PUSH1 0xe5
00004203: SHL
00004204: DUP2
00004205: MSTORE
00004206: PUSH1 0x20
00004208: PUSH1 0x04
0000420a: DUP3
0000420b: ADD
0000420c: MSTORE
0000420d: PUSH1 0x1d
0000420f: PUSH1 0x24
00004211: DUP3
00004212: ADD
00004213: MSTORE
00004214: PUSH32 0x426f74682073746f7265642070726963657320746f6f20726563656e74000000
00004235: PUSH1 0x44
00004237: DUP3
00004238: ADD
00004239: MSTORE
0000423a: SWAP1
0000423b: MLOAD
0000423c: SWAP1
0000423d: DUP2
0000423e: SWAP1
0000423f: SUB
00004240: PUSH1 0x64
00004242: ADD
00004243: SWAP1
00004244: REVERT
00004245: JUMPDEST
00004246: POP
00004247: POP
00004248: SWAP3
00004249: SWAP2
0000424a: POP
0000424b: POP
0000424c: JUMP
0000424d: JUMPDEST
0000424e: PUSH1 0x00
00004250: PUSH2 0x215a
00004253: PUSH2 0x4262
00004256: DUP7
00004257: DUP6
00004258: PUSH4 0xffffffff
0000425d: PUSH2 0x2174
00004260: AND
00004261: JUMP
00004262: JUMPDEST
00004263: PUSH2 0x227b
00004266: DUP7
00004267: DUP6
00004268: PUSH4 0xffffffff
0000426d: PUSH2 0x2174
00004270: AND
00004271: JUMP
00004272: JUMPDEST
00004273: PUSH1 0x00
00004275: DUP1
00004276: PUSH1 0x00
00004278: PUSH2 0x427f
0000427b: PUSH2 0x33af
0000427e: JUMP
0000427f: JUMPDEST
00004280: SWAP2
00004281: POP
00004282: SWAP2
00004283: POP
00004284: PUSH1 0x00
00004286: DUP1
00004287: PUSH2 0x428f
0000428a: DUP4
0000428b: PUSH2 0x33e0
0000428e: JUMP
0000428f: JUMPDEST
00004290: SWAP2
00004291: SWAP7
00004292: POP
00004293: SWAP3
00004294: POP
00004295: SWAP1
00004296: POP
00004297: PUSH2 0x42a0
0000429a: DUP3
0000429b: DUP5
0000429c: PUSH2 0x43ad
0000429f: JUMP
000042a0: JUMPDEST
000042a1: ISZERO
000042a2: PUSH2 0x42b0
000042a5: JUMPI
000042a6: PUSH2 0x42b0
000042a9: DUP3
000042aa: DUP3
000042ab: DUP7
000042ac: PUSH2 0x43bc
000042af: JUMP
000042b0: JUMPDEST
000042b1: POP
000042b2: POP
000042b3: POP
000042b4: POP
000042b5: SWAP1
000042b6: JUMP
000042b7: JUMPDEST
000042b8: PUSH1 0x00
000042ba: DUP2
000042bb: DUP4
000042bc: PUSH2 0x4306
000042bf: JUMPI
000042c0: PUSH1 0x40
000042c2: MLOAD
000042c3: PUSH3 0x461bcd
000042c7: PUSH1 0xe5
000042c9: SHL
000042ca: DUP2
000042cb: MSTORE
000042cc: PUSH1 0x20
000042ce: PUSH1 0x04
000042d0: DUP3
000042d1: ADD
000042d2: DUP2
000042d3: DUP2
000042d4: MSTORE
000042d5: DUP4
000042d6: MLOAD
000042d7: PUSH1 0x24
000042d9: DUP5
000042da: ADD
000042db: MSTORE
000042dc: DUP4
000042dd: MLOAD
000042de: SWAP1
000042df: SWAP3
000042e0: DUP4
000042e1: SWAP3
000042e2: PUSH1 0x44
000042e4: SWAP1
000042e5: SWAP2
000042e6: ADD
000042e7: SWAP2
000042e8: SWAP1
000042e9: DUP6
000042ea: ADD
000042eb: SWAP1
000042ec: DUP1
000042ed: DUP4
000042ee: DUP4
000042ef: PUSH1 0x00
000042f1: DUP4
000042f2: ISZERO
000042f3: PUSH2 0x1897
000042f6: JUMPI
000042f7: DUP2
000042f8: DUP2
000042f9: ADD
000042fa: MLOAD
000042fb: DUP4
000042fc: DUP3
000042fd: ADD
000042fe: MSTORE
000042ff: PUSH1 0x20
00004301: ADD
00004302: PUSH2 0x187f
00004305: JUMP
00004306: JUMPDEST
00004307: POP
00004308: PUSH1 0x00
0000430a: DUP4
0000430b: DUP6
0000430c: DUP2
0000430d: PUSH2 0x4312
00004310: JUMPI
00004311: INVALID
00004312: JUMPDEST
00004313: DIV
00004314: SWAP6
00004315: SWAP5
00004316: POP
00004317: POP
00004318: POP
00004319: POP
0000431a: POP
0000431b: JUMP
0000431c: JUMPDEST
0000431d: PUSH1 0x00
0000431f: PUSH15 0xc097ce7bc90715b34b9f1000000000
0000432f: PUSH2 0x363e
00004332: PUSH15 0xc097ce7bc90715b34b9f0fffffffff
00004342: PUSH2 0x29f1
00004345: DUP6
00004346: PUSH2 0x226f
00004349: DUP2
0000434a: DUP1
0000434b: PUSH4 0xffffffff
00004350: PUSH2 0x3465
00004353: AND
00004354: JUMP
00004355: JUMPDEST
00004356: PUSH1 0x00
00004358: PUSH8 0x0de0b6b3a7640000
00004361: PUSH2 0x363e
00004364: PUSH8 0x0de0b6b3a763ffff
0000436d: PUSH2 0x29f1
00004370: DUP6
00004371: DUP1
00004372: PUSH4 0xffffffff
00004377: PUSH2 0x3465
0000437a: AND
0000437b: JUMP
0000437c: JUMPDEST
0000437d: PUSH1 0x00
0000437f: PUSH2 0x4387
00004382: DUP3
00004383: PUSH2 0x36a9
00004386: JUMP
00004387: JUMPDEST
00004388: SWAP1
00004389: POP
0000438a: DUP1
0000438b: DUP1
0000438c: MUL
0000438d: DUP2
0000438e: MUL
0000438f: PUSH15 0xc097ce7bc90715b34b9f1000000000
0000439f: DUP4
000043a0: MUL
000043a1: EQ
000043a2: PUSH2 0x16b2
000043a5: JUMPI
000043a6: PUSH1 0x01
000043a8: ADD
000043a9: SWAP2
000043aa: SWAP1
000043ab: POP
000043ac: JUMP
000043ad: JUMPDEST
000043ae: SLOAD
000043af: PUSH4 0xffffffff
000043b4: AND
000043b5: PUSH1 0x78
000043b7: ADD
000043b8: GT
000043b9: ISZERO
000043ba: SWAP1
000043bb: JUMP
000043bc: JUMPDEST
000043bd: PUSH4 0xffffffff
000043c2: DUP4
000043c3: GT
000043c4: ISZERO
000043c5: PUSH2 0x4415
000043c8: JUMPI
000043c9: PUSH1 0x40
000043cb: DUP1
000043cc: MLOAD
000043cd: PUSH3 0x461bcd
000043d1: PUSH1 0xe5
000043d3: SHL
000043d4: DUP2
000043d5: MSTORE
000043d6: PUSH1 0x20
000043d8: PUSH1 0x04
000043da: DUP3
000043db: ADD
000043dc: MSTORE
000043dd: PUSH1 0x12
000043df: PUSH1 0x24
000043e1: DUP3
000043e2: ADD
000043e3: MSTORE
000043e4: PUSH32 0x74696d657374616d70206f766572666c6f770000000000000000000000000000
00004405: PUSH1 0x44
00004407: DUP3
00004408: ADD
00004409: MSTORE
0000440a: SWAP1
0000440b: MLOAD
0000440c: SWAP1
0000440d: DUP2
0000440e: SWAP1
0000440f: SUB
00004410: PUSH1 0x64
00004412: ADD
00004413: SWAP1
00004414: REVERT
00004415: JUMPDEST
00004416: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00004433: DUP3
00004434: GT
00004435: ISZERO
00004436: PUSH2 0x4486
00004439: JUMPI
0000443a: PUSH1 0x40
0000443c: DUP1
0000443d: MLOAD
0000443e: PUSH3 0x461bcd
00004442: PUSH1 0xe5
00004444: SHL
00004445: DUP2
00004446: MSTORE
00004447: PUSH1 0x20
00004449: PUSH1 0x04
0000444b: DUP3
0000444c: ADD
0000444d: MSTORE
0000444e: PUSH1 0x15
00004450: PUSH1 0x24
00004452: DUP3
00004453: ADD
00004454: MSTORE
00004455: PUSH32 0x70726963655365636f6e6473206f766572666c6f770000000000000000000000
00004476: PUSH1 0x44
00004478: DUP3
00004479: ADD
0000447a: MSTORE
0000447b: SWAP1
0000447c: MLOAD
0000447d: SWAP1
0000447e: DUP2
0000447f: SWAP1
00004480: SUB
00004481: PUSH1 0x64
00004483: ADD
00004484: SWAP1
00004485: REVERT
00004486: JUMPDEST
00004487: DUP1
00004488: SLOAD
00004489: PUSH4 0xffffffff
0000448e: SWAP4
0000448f: DUP5
00004490: AND
00004491: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000044ae: SWAP1
000044af: SWAP4
000044b0: AND
000044b1: PUSH5 0x0100000000
000044b7: MUL
000044b8: SWAP4
000044b9: AND
000044ba: SWAP3
000044bb: SWAP1
000044bc: SWAP3
000044bd: OR
000044be: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000
000044df: AND
000044e0: OR
000044e1: SWAP1
000044e2: SSTORE
000044e3: JUMP
000044e4: INVALID
000044e5: GASLIMIT
000044e6: MSTORE
000044e7: NUMBER
000044e8: ORIGIN
000044e9: ADDRESS
000044ea: GASPRICE
000044eb: KECCAK256
000044ec: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00004502: PUSH5 0x6472657373
00004508: GASLIMIT
00004509: MSTORE
0000450a: NUMBER
0000450b: ORIGIN
0000450c: ADDRESS
0000450d: GASPRICE
0000450e: KECCAK256
0000450f: PUSH3 0x75726e
00004513: KECCAK256
00004514: PUSH2 0x6d6f
00004517: PUSH22 0x6e7420657863656564732062616c616e636545524332
0000452e: ADDRESS
0000452f: GASPRICE
00004530: KECCAK256
00004531: PUSH2 0x7070
00004534: PUSH19 0x6f766520746f20746865207a65726f20616464
00004548: PUSH19 0x65737345524332303a207472616e7366657220
0000455c: PUSH2 0x6d6f
0000455f: PUSH22 0x6e7420657863656564732062616c616e636541646472
00004576: PUSH6 0x73733a20756e
0000457d: PUSH2 0x626c
00004580: PUSH6 0x20746f207365
00004587: PUSH15 0x642076616c75652c20726563697069
00004597: PUSH6 0x6e74206d6179
0000459e: KECCAK256
0000459f: PUSH9 0x617665207265766572
000045a9: PUSH21 0x6564536166654d6174683a206d756c7469706c6963
000045bf: PUSH2 0x7469
000045c2: PUSH16 0x6e206f766572666c6f7745524332303a
000045d3: KECCAK256
000045d4: PUSH21 0x72616e7366657220616d6f756e7420657863656564
000045ea: PUSH20 0x20616c6c6f77616e636545524332303a20627572
000045ff: PUSH15 0x2066726f6d20746865207a65726f20
0000460f: PUSH2 0x6464
00004612: PUSH19 0x65737345524332303a207472616e7366657220
00004626: PUSH7 0x726f6d20746865
0000462e: KECCAK256
0000462f: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
0000464b: PUSH19 0x6f6d20746865207a65726f2061646472657373
0000465f: GASLIMIT
00004660: MSTORE
00004661: NUMBER
00004662: ORIGIN
00004663: ADDRESS
00004664: GASPRICE
00004665: KECCAK256
00004666: PUSH5 0x6563726561
0000466c: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00004681: PUSH6 0x726fa2646970
00004688: PUSH7 0x73582212206462
00004690: PUSH29 0x1b8491319e4adf03479b1eb26789acb90feebba45a03f61eec762db935
000046ae: PUSH5 0x736f6c6343
000046b4: STOP
000046b5: MOD
000046b6: MOD
000046b7: STOP
000046b8: CALLER
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": "0xf6bcbd31",
            "selector": "0xf6bcbd31",
            "calldata_variants": [
                "0xf6bcbd31",
                "0xf6bcbd310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf99b1bdb",
            "selector": "0xf99b1bdb",
            "calldata_variants": [
                "0xf99b1bdb",
                "0xf99b1bdb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfa352c00",
            "selector": "0xfa352c00",
            "calldata_variants": [
                "0xfa352c00",
                "0xfa352c000000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfaddc929",
            "selector": "0xfaddc929",
            "calldata_variants": [
                "0xfaddc929",
                "0xfaddc9290000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec0c2beb",
            "selector": "0xec0c2beb",
            "calldata_variants": [
                "0xec0c2beb",
                "0xec0c2beb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf16673a4",
            "selector": "0xf16673a4",
            "calldata_variants": [
                "0xf16673a4",
                "0xf16673a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fe0b42",
            "selector": "0xf2fe0b42",
            "calldata_variants": [
                "0xf2fe0b42",
                "0xf2fe0b420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe6a3c053",
            "selector": "0xe6a3c053",
            "calldata_variants": [
                "0xe6a3c053",
                "0xe6a3c0530000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 6134,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7657,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8389,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 17640,
            "type": "tx_origin_used"
        },
        {
            "pc": 17675,
            "type": "tx_origin_used"
        },
        {
            "pc": 18018,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x7210e97ef913b67a56f35d31d0a035a9cb9e741f893d3ddd852ed262bf3f2e34
call_targets: 0x03eb7ce2907e202bb70bae3d7b0c588573d3cecc
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7210e97ef913b67a56f35d31d0a035a9cb9e741f893d3ddd852ed262bf3f2e34",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x03eb7ce2907e202bb70bae3d7b0c588573d3cecc"
    ],
    "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": "0xf6bcbd31",
            "selector": "0xf6bcbd31",
            "calldata_variants": [
                "0xf6bcbd31",
                "0xf6bcbd310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf99b1bdb",
            "selector": "0xf99b1bdb",
            "calldata_variants": [
                "0xf99b1bdb",
                "0xf99b1bdb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfa352c00",
            "selector": "0xfa352c00",
            "calldata_variants": [
                "0xfa352c00",
                "0xfa352c000000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfaddc929",
            "selector": "0xfaddc929",
            "calldata_variants": [
                "0xfaddc929",
                "0xfaddc9290000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec0c2beb",
            "selector": "0xec0c2beb",
            "calldata_variants": [
                "0xec0c2beb",
                "0xec0c2beb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf16673a4",
            "selector": "0xf16673a4",
            "calldata_variants": [
                "0xf16673a4",
                "0xf16673a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fe0b42",
            "selector": "0xf2fe0b42",
            "calldata_variants": [
                "0xf2fe0b42",
                "0xf2fe0b420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe6a3c053",
            "selector": "0xe6a3c053",
            "calldata_variants": [
                "0xe6a3c053",
                "0xe6a3c0530000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 11584,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 12344,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 15629,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 6134,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7657,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8389,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 17640,
            "type": "tx_origin_used"
        },
        {
            "pc": 17675,
            "type": "tx_origin_used"
        },
        {
            "pc": 18018,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 3
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x7210e97ef913b67a56f35d31d0a035a9cb9e741f893d3ddd852ed262bf3f2e34
call_targets: 0x03eb7ce2907e202bb70bae3d7b0c588573d3cecc
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7210e97ef913b67a56f35d31d0a035a9cb9e741f893d3ddd852ed262bf3f2e34",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x03eb7ce2907e202bb70bae3d7b0c588573d3cecc"
    ],
    "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": "0xf6bcbd31",
            "selector": "0xf6bcbd31",
            "calldata_variants": [
                "0xf6bcbd31",
                "0xf6bcbd310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf99b1bdb",
            "selector": "0xf99b1bdb",
            "calldata_variants": [
                "0xf99b1bdb",
                "0xf99b1bdb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfa352c00",
            "selector": "0xfa352c00",
            "calldata_variants": [
                "0xfa352c00",
                "0xfa352c000000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfaddc929",
            "selector": "0xfaddc929",
            "calldata_variants": [
                "0xfaddc929",
                "0xfaddc9290000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec0c2beb",
            "selector": "0xec0c2beb",
            "calldata_variants": [
                "0xec0c2beb",
                "0xec0c2beb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf16673a4",
            "selector": "0xf16673a4",
            "calldata_variants": [
                "0xf16673a4",
                "0xf16673a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fe0b42",
            "selector": "0xf2fe0b42",
            "calldata_variants": [
                "0xf2fe0b42",
                "0xf2fe0b420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe6a3c053",
            "selector": "0xe6a3c053",
            "calldata_variants": [
                "0xe6a3c053",
                "0xe6a3c0530000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 11584,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 12344,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 15629,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 6134,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7657,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8389,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 17640,
            "type": "tx_origin_used"
        },
        {
            "pc": 17675,
            "type": "tx_origin_used"
        },
        {
            "pc": 18018,
            "type": "tx_origin_used"
        }
    ]
}