Tripwire

Find contracts. Test them. Review real vulns.

Analysis Run

019b3844-9a72-7294-8d64-7ba6b1a3e6a3

complete

Chain ID

Address

0xf8a4a419c2d7140e49ef952a7e7ae1bd4a8b6b9c

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

Validated

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
14263	artifact.fetch	complete	1 / 3	3 months ago
14264	tool.cast_disasm	complete	1 / 3	3 months ago
57421	analysis.bundle	complete	1 / 3	1 week ago
57422	capability.graph	complete	1 / 3	1 week ago
57423	detector.run	complete	1 / 3	1 week ago
57424	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

Selfdestruct

CREATE2

CALL-family (heavy)

EXT*/BALANCE

Total opcodes

9088

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x021e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x5342acb4
00000019: GT
0000001a: PUSH2 0x0123
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa457c2d7
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd543dbeb
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd543dbeb
0000003a: EQ
0000003b: PUSH2 0x0bab
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd467064
00000045: EQ
00000046: PUSH2 0x0be6
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xdd62ed3e
00000050: EQ
00000051: PUSH2 0x0c21
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xea2f0b37
0000005b: EQ
0000005c: PUSH2 0x0ca6
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x0cf7
0000006a: JUMPI
0000006b: PUSH2 0x0225
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xa457c2d7
00000076: EQ
00000077: PUSH2 0x0a4a
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa69df4b5
00000081: EQ
00000082: PUSH2 0x0abb
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xa9059cbb
0000008c: EQ
0000008d: PUSH2 0x0ad2
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xb6c52324
00000097: EQ
00000098: PUSH2 0x0b43
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc49b9a80
000000a2: EQ
000000a3: PUSH2 0x0b6e
000000a6: JUMPI
000000a7: PUSH2 0x0225
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x7d1db4a5
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x7d1db4a5
000000bd: EQ
000000be: PUSH2 0x08ac
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x88f82020
000000c8: EQ
000000c9: PUSH2 0x08d7
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x8da5cb5b
000000d3: EQ
000000d4: PUSH2 0x093e
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x8ee88c53
000000de: EQ
000000df: PUSH2 0x097f
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x95d89b41
000000e9: EQ
000000ea: PUSH2 0x09ba
000000ed: JUMPI
000000ee: PUSH2 0x0225
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x5342acb4
000000f9: EQ
000000fa: PUSH2 0x079e
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x6bc87c3a
00000104: EQ
00000105: PUSH2 0x0805
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x70a08231
0000010f: EQ
00000110: PUSH2 0x0830
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x715018a6
0000011a: EQ
0000011b: PUSH2 0x0895
0000011e: JUMPI
0000011f: PUSH2 0x0225
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x3685d419
0000012a: GT
0000012b: PUSH2 0x01a6
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x437823ec
00000135: GT
00000136: PUSH2 0x0175
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x437823ec
00000140: EQ
00000141: PUSH2 0x0633
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x4549b039
0000014b: EQ
0000014c: PUSH2 0x0684
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x49bd5a5e
00000156: EQ
00000157: PUSH2 0x06df
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x4a74bb02
00000161: EQ
00000162: PUSH2 0x0720
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x52390c02
0000016c: EQ
0000016d: PUSH2 0x074d
00000170: JUMPI
00000171: PUSH2 0x0225
00000174: JUMP
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x3685d419
0000017c: EQ
0000017d: PUSH2 0x050b
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x39509351
00000187: EQ
00000188: PUSH2 0x055c
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x3b124fe7
00000192: EQ
00000193: PUSH2 0x05cd
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x3bd5d173
0000019d: EQ
0000019e: PUSH2 0x05f8
000001a1: JUMPI
000001a2: PUSH2 0x0225
000001a5: JUMP
000001a6: JUMPDEST
000001a7: DUP1
000001a8: PUSH4 0x1694505e
000001ad: GT
000001ae: PUSH2 0x01ed
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x1694505e
000001b8: EQ
000001b9: PUSH2 0x0391
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x18160ddd
000001c3: EQ
000001c4: PUSH2 0x03d2
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x23b872dd
000001ce: EQ
000001cf: PUSH2 0x03fd
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x2d838119
000001d9: EQ
000001da: PUSH2 0x048e
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x313ce567
000001e4: EQ
000001e5: PUSH2 0x04dd
000001e8: JUMPI
000001e9: PUSH2 0x0225
000001ec: JUMP
000001ed: JUMPDEST
000001ee: DUP1
000001ef: PUSH4 0x061c82d0
000001f4: EQ
000001f5: PUSH2 0x022a
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x06fdde03
000001ff: EQ
00000200: PUSH2 0x0265
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x095ea7b3
0000020a: EQ
0000020b: PUSH2 0x02f5
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x13114a9d
00000215: EQ
00000216: PUSH2 0x0366
00000219: JUMPI
0000021a: PUSH2 0x0225
0000021d: JUMP
0000021e: JUMPDEST
0000021f: CALLDATASIZE
00000220: PUSH2 0x0225
00000223: JUMPI
00000224: STOP
00000225: JUMPDEST
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: CALLVALUE
0000022c: DUP1
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: POP
00000238: PUSH2 0x0263
0000023b: PUSH1 0x04
0000023d: DUP1
0000023e: CALLDATASIZE
0000023f: SUB
00000240: PUSH1 0x20
00000242: DUP2
00000243: LT
00000244: ISZERO
00000245: PUSH2 0x024d
00000248: JUMPI
00000249: PUSH1 0x00
0000024b: DUP1
0000024c: REVERT
0000024d: JUMPDEST
0000024e: DUP2
0000024f: ADD
00000250: SWAP1
00000251: DUP1
00000252: DUP1
00000253: CALLDATALOAD
00000254: SWAP1
00000255: PUSH1 0x20
00000257: ADD
00000258: SWAP1
00000259: SWAP3
0000025a: SWAP2
0000025b: SWAP1
0000025c: POP
0000025d: POP
0000025e: POP
0000025f: PUSH2 0x0d48
00000262: JUMP
00000263: JUMPDEST
00000264: STOP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH2 0x027a
00000276: PUSH2 0x0e1a
00000279: JUMP
0000027a: JUMPDEST
0000027b: PUSH1 0x40
0000027d: MLOAD
0000027e: DUP1
0000027f: DUP1
00000280: PUSH1 0x20
00000282: ADD
00000283: DUP3
00000284: DUP2
00000285: SUB
00000286: DUP3
00000287: MSTORE
00000288: DUP4
00000289: DUP2
0000028a: DUP2
0000028b: MLOAD
0000028c: DUP2
0000028d: MSTORE
0000028e: PUSH1 0x20
00000290: ADD
00000291: SWAP2
00000292: POP
00000293: DUP1
00000294: MLOAD
00000295: SWAP1
00000296: PUSH1 0x20
00000298: ADD
00000299: SWAP1
0000029a: DUP1
0000029b: DUP4
0000029c: DUP4
0000029d: PUSH1 0x00
0000029f: JUMPDEST
000002a0: DUP4
000002a1: DUP2
000002a2: LT
000002a3: ISZERO
000002a4: PUSH2 0x02ba
000002a7: JUMPI
000002a8: DUP1
000002a9: DUP3
000002aa: ADD
000002ab: MLOAD
000002ac: DUP2
000002ad: DUP5
000002ae: ADD
000002af: MSTORE
000002b0: PUSH1 0x20
000002b2: DUP2
000002b3: ADD
000002b4: SWAP1
000002b5: POP
000002b6: PUSH2 0x029f
000002b9: JUMP
000002ba: JUMPDEST
000002bb: POP
000002bc: POP
000002bd: POP
000002be: POP
000002bf: SWAP1
000002c0: POP
000002c1: SWAP1
000002c2: DUP2
000002c3: ADD
000002c4: SWAP1
000002c5: PUSH1 0x1f
000002c7: AND
000002c8: DUP1
000002c9: ISZERO
000002ca: PUSH2 0x02e7
000002cd: JUMPI
000002ce: DUP1
000002cf: DUP3
000002d0: SUB
000002d1: DUP1
000002d2: MLOAD
000002d3: PUSH1 0x01
000002d5: DUP4
000002d6: PUSH1 0x20
000002d8: SUB
000002d9: PUSH2 0x0100
000002dc: EXP
000002dd: SUB
000002de: NOT
000002df: AND
000002e0: DUP2
000002e1: MSTORE
000002e2: PUSH1 0x20
000002e4: ADD
000002e5: SWAP2
000002e6: POP
000002e7: JUMPDEST
000002e8: POP
000002e9: SWAP3
000002ea: POP
000002eb: POP
000002ec: POP
000002ed: PUSH1 0x40
000002ef: MLOAD
000002f0: DUP1
000002f1: SWAP2
000002f2: SUB
000002f3: SWAP1
000002f4: RETURN
000002f5: JUMPDEST
000002f6: CALLVALUE
000002f7: DUP1
000002f8: ISZERO
000002f9: PUSH2 0x0301
000002fc: JUMPI
000002fd: PUSH1 0x00
000002ff: DUP1
00000300: REVERT
00000301: JUMPDEST
00000302: POP
00000303: PUSH2 0x034e
00000306: PUSH1 0x04
00000308: DUP1
00000309: CALLDATASIZE
0000030a: SUB
0000030b: PUSH1 0x40
0000030d: DUP2
0000030e: LT
0000030f: ISZERO
00000310: PUSH2 0x0318
00000313: JUMPI
00000314: PUSH1 0x00
00000316: DUP1
00000317: REVERT
00000318: JUMPDEST
00000319: DUP2
0000031a: ADD
0000031b: SWAP1
0000031c: DUP1
0000031d: DUP1
0000031e: CALLDATALOAD
0000031f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000334: AND
00000335: SWAP1
00000336: PUSH1 0x20
00000338: ADD
00000339: SWAP1
0000033a: SWAP3
0000033b: SWAP2
0000033c: SWAP1
0000033d: DUP1
0000033e: CALLDATALOAD
0000033f: SWAP1
00000340: PUSH1 0x20
00000342: ADD
00000343: SWAP1
00000344: SWAP3
00000345: SWAP2
00000346: SWAP1
00000347: POP
00000348: POP
00000349: POP
0000034a: PUSH2 0x0ebc
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH1 0x40
00000351: MLOAD
00000352: DUP1
00000353: DUP3
00000354: ISZERO
00000355: ISZERO
00000356: DUP2
00000357: MSTORE
00000358: PUSH1 0x20
0000035a: ADD
0000035b: SWAP2
0000035c: POP
0000035d: POP
0000035e: PUSH1 0x40
00000360: MLOAD
00000361: DUP1
00000362: SWAP2
00000363: SUB
00000364: SWAP1
00000365: RETURN
00000366: JUMPDEST
00000367: CALLVALUE
00000368: DUP1
00000369: ISZERO
0000036a: PUSH2 0x0372
0000036d: JUMPI
0000036e: PUSH1 0x00
00000370: DUP1
00000371: REVERT
00000372: JUMPDEST
00000373: POP
00000374: PUSH2 0x037b
00000377: PUSH2 0x0eda
0000037a: JUMP
0000037b: JUMPDEST
0000037c: PUSH1 0x40
0000037e: MLOAD
0000037f: DUP1
00000380: DUP3
00000381: DUP2
00000382: MSTORE
00000383: PUSH1 0x20
00000385: ADD
00000386: SWAP2
00000387: POP
00000388: POP
00000389: PUSH1 0x40
0000038b: MLOAD
0000038c: DUP1
0000038d: SWAP2
0000038e: SUB
0000038f: SWAP1
00000390: RETURN
00000391: JUMPDEST
00000392: CALLVALUE
00000393: DUP1
00000394: ISZERO
00000395: PUSH2 0x039d
00000398: JUMPI
00000399: PUSH1 0x00
0000039b: DUP1
0000039c: REVERT
0000039d: JUMPDEST
0000039e: POP
0000039f: PUSH2 0x03a6
000003a2: PUSH2 0x0ee4
000003a5: JUMP
000003a6: JUMPDEST
000003a7: PUSH1 0x40
000003a9: MLOAD
000003aa: DUP1
000003ab: DUP3
000003ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c1: AND
000003c2: DUP2
000003c3: MSTORE
000003c4: PUSH1 0x20
000003c6: ADD
000003c7: SWAP2
000003c8: POP
000003c9: POP
000003ca: PUSH1 0x40
000003cc: MLOAD
000003cd: DUP1
000003ce: SWAP2
000003cf: SUB
000003d0: SWAP1
000003d1: RETURN
000003d2: JUMPDEST
000003d3: CALLVALUE
000003d4: DUP1
000003d5: ISZERO
000003d6: PUSH2 0x03de
000003d9: JUMPI
000003da: PUSH1 0x00
000003dc: DUP1
000003dd: REVERT
000003de: JUMPDEST
000003df: POP
000003e0: PUSH2 0x03e7
000003e3: PUSH2 0x0f08
000003e6: JUMP
000003e7: JUMPDEST
000003e8: PUSH1 0x40
000003ea: MLOAD
000003eb: DUP1
000003ec: DUP3
000003ed: DUP2
000003ee: MSTORE
000003ef: PUSH1 0x20
000003f1: ADD
000003f2: SWAP2
000003f3: POP
000003f4: POP
000003f5: PUSH1 0x40
000003f7: MLOAD
000003f8: DUP1
000003f9: SWAP2
000003fa: SUB
000003fb: SWAP1
000003fc: RETURN
000003fd: JUMPDEST
000003fe: CALLVALUE
000003ff: DUP1
00000400: ISZERO
00000401: PUSH2 0x0409
00000404: JUMPI
00000405: PUSH1 0x00
00000407: DUP1
00000408: REVERT
00000409: JUMPDEST
0000040a: POP
0000040b: PUSH2 0x0476
0000040e: PUSH1 0x04
00000410: DUP1
00000411: CALLDATASIZE
00000412: SUB
00000413: PUSH1 0x60
00000415: DUP2
00000416: LT
00000417: ISZERO
00000418: PUSH2 0x0420
0000041b: JUMPI
0000041c: PUSH1 0x00
0000041e: DUP1
0000041f: REVERT
00000420: JUMPDEST
00000421: DUP2
00000422: ADD
00000423: SWAP1
00000424: DUP1
00000425: DUP1
00000426: CALLDATALOAD
00000427: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000043c: AND
0000043d: SWAP1
0000043e: PUSH1 0x20
00000440: ADD
00000441: SWAP1
00000442: SWAP3
00000443: SWAP2
00000444: SWAP1
00000445: DUP1
00000446: CALLDATALOAD
00000447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000045c: AND
0000045d: SWAP1
0000045e: PUSH1 0x20
00000460: ADD
00000461: SWAP1
00000462: SWAP3
00000463: SWAP2
00000464: SWAP1
00000465: DUP1
00000466: CALLDATALOAD
00000467: SWAP1
00000468: PUSH1 0x20
0000046a: ADD
0000046b: SWAP1
0000046c: SWAP3
0000046d: SWAP2
0000046e: SWAP1
0000046f: POP
00000470: POP
00000471: POP
00000472: PUSH2 0x0f12
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH1 0x40
00000479: MLOAD
0000047a: DUP1
0000047b: DUP3
0000047c: ISZERO
0000047d: ISZERO
0000047e: DUP2
0000047f: MSTORE
00000480: PUSH1 0x20
00000482: ADD
00000483: SWAP2
00000484: POP
00000485: POP
00000486: PUSH1 0x40
00000488: MLOAD
00000489: DUP1
0000048a: SWAP2
0000048b: SUB
0000048c: SWAP1
0000048d: RETURN
0000048e: JUMPDEST
0000048f: CALLVALUE
00000490: DUP1
00000491: ISZERO
00000492: PUSH2 0x049a
00000495: JUMPI
00000496: PUSH1 0x00
00000498: DUP1
00000499: REVERT
0000049a: JUMPDEST
0000049b: POP
0000049c: PUSH2 0x04c7
0000049f: PUSH1 0x04
000004a1: DUP1
000004a2: CALLDATASIZE
000004a3: SUB
000004a4: PUSH1 0x20
000004a6: DUP2
000004a7: LT
000004a8: ISZERO
000004a9: PUSH2 0x04b1
000004ac: JUMPI
000004ad: PUSH1 0x00
000004af: DUP1
000004b0: REVERT
000004b1: JUMPDEST
000004b2: DUP2
000004b3: ADD
000004b4: SWAP1
000004b5: DUP1
000004b6: DUP1
000004b7: CALLDATALOAD
000004b8: SWAP1
000004b9: PUSH1 0x20
000004bb: ADD
000004bc: SWAP1
000004bd: SWAP3
000004be: SWAP2
000004bf: SWAP1
000004c0: POP
000004c1: POP
000004c2: POP
000004c3: PUSH2 0x0feb
000004c6: JUMP
000004c7: JUMPDEST
000004c8: PUSH1 0x40
000004ca: MLOAD
000004cb: DUP1
000004cc: DUP3
000004cd: DUP2
000004ce: MSTORE
000004cf: PUSH1 0x20
000004d1: ADD
000004d2: SWAP2
000004d3: POP
000004d4: POP
000004d5: PUSH1 0x40
000004d7: MLOAD
000004d8: DUP1
000004d9: SWAP2
000004da: SUB
000004db: SWAP1
000004dc: RETURN
000004dd: JUMPDEST
000004de: CALLVALUE
000004df: DUP1
000004e0: ISZERO
000004e1: PUSH2 0x04e9
000004e4: JUMPI
000004e5: PUSH1 0x00
000004e7: DUP1
000004e8: REVERT
000004e9: JUMPDEST
000004ea: POP
000004eb: PUSH2 0x04f2
000004ee: PUSH2 0x106f
000004f1: JUMP
000004f2: JUMPDEST
000004f3: PUSH1 0x40
000004f5: MLOAD
000004f6: DUP1
000004f7: DUP3
000004f8: PUSH1 0xff
000004fa: AND
000004fb: DUP2
000004fc: MSTORE
000004fd: PUSH1 0x20
000004ff: ADD
00000500: SWAP2
00000501: POP
00000502: POP
00000503: PUSH1 0x40
00000505: MLOAD
00000506: DUP1
00000507: SWAP2
00000508: SUB
00000509: SWAP1
0000050a: RETURN
0000050b: JUMPDEST
0000050c: CALLVALUE
0000050d: DUP1
0000050e: ISZERO
0000050f: PUSH2 0x0517
00000512: JUMPI
00000513: PUSH1 0x00
00000515: DUP1
00000516: REVERT
00000517: JUMPDEST
00000518: POP
00000519: PUSH2 0x055a
0000051c: PUSH1 0x04
0000051e: DUP1
0000051f: CALLDATASIZE
00000520: SUB
00000521: PUSH1 0x20
00000523: DUP2
00000524: LT
00000525: ISZERO
00000526: PUSH2 0x052e
00000529: JUMPI
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: DUP2
00000530: ADD
00000531: SWAP1
00000532: DUP1
00000533: DUP1
00000534: CALLDATALOAD
00000535: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000054a: AND
0000054b: SWAP1
0000054c: PUSH1 0x20
0000054e: ADD
0000054f: SWAP1
00000550: SWAP3
00000551: SWAP2
00000552: SWAP1
00000553: POP
00000554: POP
00000555: POP
00000556: PUSH2 0x1086
00000559: JUMP
0000055a: JUMPDEST
0000055b: STOP
0000055c: JUMPDEST
0000055d: CALLVALUE
0000055e: DUP1
0000055f: ISZERO
00000560: PUSH2 0x0568
00000563: JUMPI
00000564: PUSH1 0x00
00000566: DUP1
00000567: REVERT
00000568: JUMPDEST
00000569: POP
0000056a: PUSH2 0x05b5
0000056d: PUSH1 0x04
0000056f: DUP1
00000570: CALLDATASIZE
00000571: SUB
00000572: PUSH1 0x40
00000574: DUP2
00000575: LT
00000576: ISZERO
00000577: PUSH2 0x057f
0000057a: JUMPI
0000057b: PUSH1 0x00
0000057d: DUP1
0000057e: REVERT
0000057f: JUMPDEST
00000580: DUP2
00000581: ADD
00000582: SWAP1
00000583: DUP1
00000584: DUP1
00000585: CALLDATALOAD
00000586: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000059b: AND
0000059c: SWAP1
0000059d: PUSH1 0x20
0000059f: ADD
000005a0: SWAP1
000005a1: SWAP3
000005a2: SWAP2
000005a3: SWAP1
000005a4: DUP1
000005a5: CALLDATALOAD
000005a6: SWAP1
000005a7: PUSH1 0x20
000005a9: ADD
000005aa: SWAP1
000005ab: SWAP3
000005ac: SWAP2
000005ad: SWAP1
000005ae: POP
000005af: POP
000005b0: POP
000005b1: PUSH2 0x1410
000005b4: JUMP
000005b5: JUMPDEST
000005b6: PUSH1 0x40
000005b8: MLOAD
000005b9: DUP1
000005ba: DUP3
000005bb: ISZERO
000005bc: ISZERO
000005bd: DUP2
000005be: MSTORE
000005bf: PUSH1 0x20
000005c1: ADD
000005c2: SWAP2
000005c3: POP
000005c4: POP
000005c5: PUSH1 0x40
000005c7: MLOAD
000005c8: DUP1
000005c9: SWAP2
000005ca: SUB
000005cb: SWAP1
000005cc: RETURN
000005cd: JUMPDEST
000005ce: CALLVALUE
000005cf: DUP1
000005d0: ISZERO
000005d1: PUSH2 0x05d9
000005d4: JUMPI
000005d5: PUSH1 0x00
000005d7: DUP1
000005d8: REVERT
000005d9: JUMPDEST
000005da: POP
000005db: PUSH2 0x05e2
000005de: PUSH2 0x14c3
000005e1: JUMP
000005e2: JUMPDEST
000005e3: PUSH1 0x40
000005e5: MLOAD
000005e6: DUP1
000005e7: DUP3
000005e8: DUP2
000005e9: MSTORE
000005ea: PUSH1 0x20
000005ec: ADD
000005ed: SWAP2
000005ee: POP
000005ef: POP
000005f0: PUSH1 0x40
000005f2: MLOAD
000005f3: DUP1
000005f4: SWAP2
000005f5: SUB
000005f6: SWAP1
000005f7: RETURN
000005f8: JUMPDEST
000005f9: CALLVALUE
000005fa: DUP1
000005fb: ISZERO
000005fc: PUSH2 0x0604
000005ff: JUMPI
00000600: PUSH1 0x00
00000602: DUP1
00000603: REVERT
00000604: JUMPDEST
00000605: POP
00000606: PUSH2 0x0631
00000609: PUSH1 0x04
0000060b: DUP1
0000060c: CALLDATASIZE
0000060d: SUB
0000060e: PUSH1 0x20
00000610: DUP2
00000611: LT
00000612: ISZERO
00000613: PUSH2 0x061b
00000616: JUMPI
00000617: PUSH1 0x00
00000619: DUP1
0000061a: REVERT
0000061b: JUMPDEST
0000061c: DUP2
0000061d: ADD
0000061e: SWAP1
0000061f: DUP1
00000620: DUP1
00000621: CALLDATALOAD
00000622: SWAP1
00000623: PUSH1 0x20
00000625: ADD
00000626: SWAP1
00000627: SWAP3
00000628: SWAP2
00000629: SWAP1
0000062a: POP
0000062b: POP
0000062c: POP
0000062d: PUSH2 0x14c9
00000630: JUMP
00000631: JUMPDEST
00000632: STOP
00000633: JUMPDEST
00000634: CALLVALUE
00000635: DUP1
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: PUSH2 0x0682
00000644: PUSH1 0x04
00000646: DUP1
00000647: CALLDATASIZE
00000648: SUB
00000649: PUSH1 0x20
0000064b: DUP2
0000064c: LT
0000064d: ISZERO
0000064e: PUSH2 0x0656
00000651: JUMPI
00000652: PUSH1 0x00
00000654: DUP1
00000655: REVERT
00000656: JUMPDEST
00000657: DUP2
00000658: ADD
00000659: SWAP1
0000065a: DUP1
0000065b: DUP1
0000065c: CALLDATALOAD
0000065d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000672: AND
00000673: SWAP1
00000674: PUSH1 0x20
00000676: ADD
00000677: SWAP1
00000678: SWAP3
00000679: SWAP2
0000067a: SWAP1
0000067b: POP
0000067c: POP
0000067d: POP
0000067e: PUSH2 0x165a
00000681: JUMP
00000682: JUMPDEST
00000683: STOP
00000684: JUMPDEST
00000685: CALLVALUE
00000686: DUP1
00000687: ISZERO
00000688: PUSH2 0x0690
0000068b: JUMPI
0000068c: PUSH1 0x00
0000068e: DUP1
0000068f: REVERT
00000690: JUMPDEST
00000691: POP
00000692: PUSH2 0x06c9
00000695: PUSH1 0x04
00000697: DUP1
00000698: CALLDATASIZE
00000699: SUB
0000069a: PUSH1 0x40
0000069c: DUP2
0000069d: LT
0000069e: ISZERO
0000069f: PUSH2 0x06a7
000006a2: JUMPI
000006a3: PUSH1 0x00
000006a5: DUP1
000006a6: REVERT
000006a7: JUMPDEST
000006a8: DUP2
000006a9: ADD
000006aa: SWAP1
000006ab: DUP1
000006ac: DUP1
000006ad: CALLDATALOAD
000006ae: SWAP1
000006af: PUSH1 0x20
000006b1: ADD
000006b2: SWAP1
000006b3: SWAP3
000006b4: SWAP2
000006b5: SWAP1
000006b6: DUP1
000006b7: CALLDATALOAD
000006b8: ISZERO
000006b9: ISZERO
000006ba: SWAP1
000006bb: PUSH1 0x20
000006bd: ADD
000006be: SWAP1
000006bf: SWAP3
000006c0: SWAP2
000006c1: SWAP1
000006c2: POP
000006c3: POP
000006c4: POP
000006c5: PUSH2 0x177d
000006c8: JUMP
000006c9: JUMPDEST
000006ca: PUSH1 0x40
000006cc: MLOAD
000006cd: DUP1
000006ce: DUP3
000006cf: DUP2
000006d0: MSTORE
000006d1: PUSH1 0x20
000006d3: ADD
000006d4: SWAP2
000006d5: POP
000006d6: POP
000006d7: PUSH1 0x40
000006d9: MLOAD
000006da: DUP1
000006db: SWAP2
000006dc: SUB
000006dd: SWAP1
000006de: RETURN
000006df: JUMPDEST
000006e0: CALLVALUE
000006e1: DUP1
000006e2: ISZERO
000006e3: PUSH2 0x06eb
000006e6: JUMPI
000006e7: PUSH1 0x00
000006e9: DUP1
000006ea: REVERT
000006eb: JUMPDEST
000006ec: POP
000006ed: PUSH2 0x06f4
000006f0: PUSH2 0x1834
000006f3: JUMP
000006f4: JUMPDEST
000006f5: PUSH1 0x40
000006f7: MLOAD
000006f8: DUP1
000006f9: DUP3
000006fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000070f: AND
00000710: DUP2
00000711: MSTORE
00000712: PUSH1 0x20
00000714: ADD
00000715: SWAP2
00000716: POP
00000717: POP
00000718: PUSH1 0x40
0000071a: MLOAD
0000071b: DUP1
0000071c: SWAP2
0000071d: SUB
0000071e: SWAP1
0000071f: RETURN
00000720: JUMPDEST
00000721: CALLVALUE
00000722: DUP1
00000723: ISZERO
00000724: PUSH2 0x072c
00000727: JUMPI
00000728: PUSH1 0x00
0000072a: DUP1
0000072b: REVERT
0000072c: JUMPDEST
0000072d: POP
0000072e: PUSH2 0x0735
00000731: PUSH2 0x1858
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH1 0x40
00000738: MLOAD
00000739: DUP1
0000073a: DUP3
0000073b: ISZERO
0000073c: ISZERO
0000073d: DUP2
0000073e: MSTORE
0000073f: PUSH1 0x20
00000741: ADD
00000742: SWAP2
00000743: POP
00000744: POP
00000745: PUSH1 0x40
00000747: MLOAD
00000748: DUP1
00000749: SWAP2
0000074a: SUB
0000074b: SWAP1
0000074c: RETURN
0000074d: JUMPDEST
0000074e: CALLVALUE
0000074f: DUP1
00000750: ISZERO
00000751: PUSH2 0x0759
00000754: JUMPI
00000755: PUSH1 0x00
00000757: DUP1
00000758: REVERT
00000759: JUMPDEST
0000075a: POP
0000075b: PUSH2 0x079c
0000075e: PUSH1 0x04
00000760: DUP1
00000761: CALLDATASIZE
00000762: SUB
00000763: PUSH1 0x20
00000765: DUP2
00000766: LT
00000767: ISZERO
00000768: PUSH2 0x0770
0000076b: JUMPI
0000076c: PUSH1 0x00
0000076e: DUP1
0000076f: REVERT
00000770: JUMPDEST
00000771: DUP2
00000772: ADD
00000773: SWAP1
00000774: DUP1
00000775: DUP1
00000776: CALLDATALOAD
00000777: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078c: AND
0000078d: SWAP1
0000078e: PUSH1 0x20
00000790: ADD
00000791: SWAP1
00000792: SWAP3
00000793: SWAP2
00000794: SWAP1
00000795: POP
00000796: POP
00000797: POP
00000798: PUSH2 0x186b
0000079b: JUMP
0000079c: JUMPDEST
0000079d: STOP
0000079e: JUMPDEST
0000079f: CALLVALUE
000007a0: DUP1
000007a1: ISZERO
000007a2: PUSH2 0x07aa
000007a5: JUMPI
000007a6: PUSH1 0x00
000007a8: DUP1
000007a9: REVERT
000007aa: JUMPDEST
000007ab: POP
000007ac: PUSH2 0x07ed
000007af: PUSH1 0x04
000007b1: DUP1
000007b2: CALLDATASIZE
000007b3: SUB
000007b4: PUSH1 0x20
000007b6: DUP2
000007b7: LT
000007b8: ISZERO
000007b9: PUSH2 0x07c1
000007bc: JUMPI
000007bd: PUSH1 0x00
000007bf: DUP1
000007c0: REVERT
000007c1: JUMPDEST
000007c2: DUP2
000007c3: ADD
000007c4: SWAP1
000007c5: DUP1
000007c6: DUP1
000007c7: CALLDATALOAD
000007c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007dd: AND
000007de: SWAP1
000007df: PUSH1 0x20
000007e1: ADD
000007e2: SWAP1
000007e3: SWAP3
000007e4: SWAP2
000007e5: SWAP1
000007e6: POP
000007e7: POP
000007e8: POP
000007e9: PUSH2 0x1b85
000007ec: JUMP
000007ed: JUMPDEST
000007ee: PUSH1 0x40
000007f0: MLOAD
000007f1: DUP1
000007f2: DUP3
000007f3: ISZERO
000007f4: ISZERO
000007f5: DUP2
000007f6: MSTORE
000007f7: PUSH1 0x20
000007f9: ADD
000007fa: SWAP2
000007fb: POP
000007fc: POP
000007fd: PUSH1 0x40
000007ff: MLOAD
00000800: DUP1
00000801: SWAP2
00000802: SUB
00000803: SWAP1
00000804: RETURN
00000805: JUMPDEST
00000806: CALLVALUE
00000807: DUP1
00000808: ISZERO
00000809: PUSH2 0x0811
0000080c: JUMPI
0000080d: PUSH1 0x00
0000080f: DUP1
00000810: REVERT
00000811: JUMPDEST
00000812: POP
00000813: PUSH2 0x081a
00000816: PUSH2 0x1bdb
00000819: JUMP
0000081a: JUMPDEST
0000081b: PUSH1 0x40
0000081d: MLOAD
0000081e: DUP1
0000081f: DUP3
00000820: DUP2
00000821: MSTORE
00000822: PUSH1 0x20
00000824: ADD
00000825: SWAP2
00000826: POP
00000827: POP
00000828: PUSH1 0x40
0000082a: MLOAD
0000082b: DUP1
0000082c: SWAP2
0000082d: SUB
0000082e: SWAP1
0000082f: RETURN
00000830: JUMPDEST
00000831: CALLVALUE
00000832: DUP1
00000833: ISZERO
00000834: PUSH2 0x083c
00000837: JUMPI
00000838: PUSH1 0x00
0000083a: DUP1
0000083b: REVERT
0000083c: JUMPDEST
0000083d: POP
0000083e: PUSH2 0x087f
00000841: PUSH1 0x04
00000843: DUP1
00000844: CALLDATASIZE
00000845: SUB
00000846: PUSH1 0x20
00000848: DUP2
00000849: LT
0000084a: ISZERO
0000084b: PUSH2 0x0853
0000084e: JUMPI
0000084f: PUSH1 0x00
00000851: DUP1
00000852: REVERT
00000853: JUMPDEST
00000854: DUP2
00000855: ADD
00000856: SWAP1
00000857: DUP1
00000858: DUP1
00000859: CALLDATALOAD
0000085a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000086f: AND
00000870: SWAP1
00000871: PUSH1 0x20
00000873: ADD
00000874: SWAP1
00000875: SWAP3
00000876: SWAP2
00000877: SWAP1
00000878: POP
00000879: POP
0000087a: POP
0000087b: PUSH2 0x1be1
0000087e: JUMP
0000087f: JUMPDEST
00000880: PUSH1 0x40
00000882: MLOAD
00000883: DUP1
00000884: DUP3
00000885: DUP2
00000886: MSTORE
00000887: PUSH1 0x20
00000889: ADD
0000088a: SWAP2
0000088b: POP
0000088c: POP
0000088d: PUSH1 0x40
0000088f: MLOAD
00000890: DUP1
00000891: SWAP2
00000892: SUB
00000893: SWAP1
00000894: RETURN
00000895: JUMPDEST
00000896: CALLVALUE
00000897: DUP1
00000898: ISZERO
00000899: PUSH2 0x08a1
0000089c: JUMPI
0000089d: PUSH1 0x00
0000089f: DUP1
000008a0: REVERT
000008a1: JUMPDEST
000008a2: POP
000008a3: PUSH2 0x08aa
000008a6: PUSH2 0x1ccc
000008a9: JUMP
000008aa: JUMPDEST
000008ab: STOP
000008ac: JUMPDEST
000008ad: CALLVALUE
000008ae: DUP1
000008af: ISZERO
000008b0: PUSH2 0x08b8
000008b3: JUMPI
000008b4: PUSH1 0x00
000008b6: DUP1
000008b7: REVERT
000008b8: JUMPDEST
000008b9: POP
000008ba: PUSH2 0x08c1
000008bd: PUSH2 0x1e52
000008c0: JUMP
000008c1: JUMPDEST
000008c2: PUSH1 0x40
000008c4: MLOAD
000008c5: DUP1
000008c6: DUP3
000008c7: DUP2
000008c8: MSTORE
000008c9: PUSH1 0x20
000008cb: ADD
000008cc: SWAP2
000008cd: POP
000008ce: POP
000008cf: PUSH1 0x40
000008d1: MLOAD
000008d2: DUP1
000008d3: SWAP2
000008d4: SUB
000008d5: SWAP1
000008d6: RETURN
000008d7: JUMPDEST
000008d8: CALLVALUE
000008d9: DUP1
000008da: ISZERO
000008db: PUSH2 0x08e3
000008de: JUMPI
000008df: PUSH1 0x00
000008e1: DUP1
000008e2: REVERT
000008e3: JUMPDEST
000008e4: POP
000008e5: PUSH2 0x0926
000008e8: PUSH1 0x04
000008ea: DUP1
000008eb: CALLDATASIZE
000008ec: SUB
000008ed: PUSH1 0x20
000008ef: DUP2
000008f0: LT
000008f1: ISZERO
000008f2: PUSH2 0x08fa
000008f5: JUMPI
000008f6: PUSH1 0x00
000008f8: DUP1
000008f9: REVERT
000008fa: JUMPDEST
000008fb: DUP2
000008fc: ADD
000008fd: SWAP1
000008fe: DUP1
000008ff: DUP1
00000900: CALLDATALOAD
00000901: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000916: AND
00000917: SWAP1
00000918: PUSH1 0x20
0000091a: ADD
0000091b: SWAP1
0000091c: SWAP3
0000091d: SWAP2
0000091e: SWAP1
0000091f: POP
00000920: POP
00000921: POP
00000922: PUSH2 0x1e58
00000925: JUMP
00000926: JUMPDEST
00000927: PUSH1 0x40
00000929: MLOAD
0000092a: DUP1
0000092b: DUP3
0000092c: ISZERO
0000092d: ISZERO
0000092e: DUP2
0000092f: MSTORE
00000930: PUSH1 0x20
00000932: ADD
00000933: SWAP2
00000934: POP
00000935: POP
00000936: PUSH1 0x40
00000938: MLOAD
00000939: DUP1
0000093a: SWAP2
0000093b: SUB
0000093c: SWAP1
0000093d: RETURN
0000093e: JUMPDEST
0000093f: CALLVALUE
00000940: DUP1
00000941: ISZERO
00000942: PUSH2 0x094a
00000945: JUMPI
00000946: PUSH1 0x00
00000948: DUP1
00000949: REVERT
0000094a: JUMPDEST
0000094b: POP
0000094c: PUSH2 0x0953
0000094f: PUSH2 0x1eae
00000952: JUMP
00000953: JUMPDEST
00000954: PUSH1 0x40
00000956: MLOAD
00000957: DUP1
00000958: DUP3
00000959: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096e: AND
0000096f: DUP2
00000970: MSTORE
00000971: PUSH1 0x20
00000973: ADD
00000974: SWAP2
00000975: POP
00000976: POP
00000977: PUSH1 0x40
00000979: MLOAD
0000097a: DUP1
0000097b: SWAP2
0000097c: SUB
0000097d: SWAP1
0000097e: RETURN
0000097f: JUMPDEST
00000980: CALLVALUE
00000981: DUP1
00000982: ISZERO
00000983: PUSH2 0x098b
00000986: JUMPI
00000987: PUSH1 0x00
00000989: DUP1
0000098a: REVERT
0000098b: JUMPDEST
0000098c: POP
0000098d: PUSH2 0x09b8
00000990: PUSH1 0x04
00000992: DUP1
00000993: CALLDATASIZE
00000994: SUB
00000995: PUSH1 0x20
00000997: DUP2
00000998: LT
00000999: ISZERO
0000099a: PUSH2 0x09a2
0000099d: JUMPI
0000099e: PUSH1 0x00
000009a0: DUP1
000009a1: REVERT
000009a2: JUMPDEST
000009a3: DUP2
000009a4: ADD
000009a5: SWAP1
000009a6: DUP1
000009a7: DUP1
000009a8: CALLDATALOAD
000009a9: SWAP1
000009aa: PUSH1 0x20
000009ac: ADD
000009ad: SWAP1
000009ae: SWAP3
000009af: SWAP2
000009b0: SWAP1
000009b1: POP
000009b2: POP
000009b3: POP
000009b4: PUSH2 0x1ed7
000009b7: JUMP
000009b8: JUMPDEST
000009b9: STOP
000009ba: JUMPDEST
000009bb: CALLVALUE
000009bc: DUP1
000009bd: ISZERO
000009be: PUSH2 0x09c6
000009c1: JUMPI
000009c2: PUSH1 0x00
000009c4: DUP1
000009c5: REVERT
000009c6: JUMPDEST
000009c7: POP
000009c8: PUSH2 0x09cf
000009cb: PUSH2 0x1fa9
000009ce: JUMP
000009cf: JUMPDEST
000009d0: PUSH1 0x40
000009d2: MLOAD
000009d3: DUP1
000009d4: DUP1
000009d5: PUSH1 0x20
000009d7: ADD
000009d8: DUP3
000009d9: DUP2
000009da: SUB
000009db: DUP3
000009dc: MSTORE
000009dd: DUP4
000009de: DUP2
000009df: DUP2
000009e0: MLOAD
000009e1: DUP2
000009e2: MSTORE
000009e3: PUSH1 0x20
000009e5: ADD
000009e6: SWAP2
000009e7: POP
000009e8: DUP1
000009e9: MLOAD
000009ea: SWAP1
000009eb: PUSH1 0x20
000009ed: ADD
000009ee: SWAP1
000009ef: DUP1
000009f0: DUP4
000009f1: DUP4
000009f2: PUSH1 0x00
000009f4: JUMPDEST
000009f5: DUP4
000009f6: DUP2
000009f7: LT
000009f8: ISZERO
000009f9: PUSH2 0x0a0f
000009fc: JUMPI
000009fd: DUP1
000009fe: DUP3
000009ff: ADD
00000a00: MLOAD
00000a01: DUP2
00000a02: DUP5
00000a03: ADD
00000a04: MSTORE
00000a05: PUSH1 0x20
00000a07: DUP2
00000a08: ADD
00000a09: SWAP1
00000a0a: POP
00000a0b: PUSH2 0x09f4
00000a0e: JUMP
00000a0f: JUMPDEST
00000a10: POP
00000a11: POP
00000a12: POP
00000a13: POP
00000a14: SWAP1
00000a15: POP
00000a16: SWAP1
00000a17: DUP2
00000a18: ADD
00000a19: SWAP1
00000a1a: PUSH1 0x1f
00000a1c: AND
00000a1d: DUP1
00000a1e: ISZERO
00000a1f: PUSH2 0x0a3c
00000a22: JUMPI
00000a23: DUP1
00000a24: DUP3
00000a25: SUB
00000a26: DUP1
00000a27: MLOAD
00000a28: PUSH1 0x01
00000a2a: DUP4
00000a2b: PUSH1 0x20
00000a2d: SUB
00000a2e: PUSH2 0x0100
00000a31: EXP
00000a32: SUB
00000a33: NOT
00000a34: AND
00000a35: DUP2
00000a36: MSTORE
00000a37: PUSH1 0x20
00000a39: ADD
00000a3a: SWAP2
00000a3b: POP
00000a3c: JUMPDEST
00000a3d: POP
00000a3e: SWAP3
00000a3f: POP
00000a40: POP
00000a41: POP
00000a42: PUSH1 0x40
00000a44: MLOAD
00000a45: DUP1
00000a46: SWAP2
00000a47: SUB
00000a48: SWAP1
00000a49: RETURN
00000a4a: JUMPDEST
00000a4b: CALLVALUE
00000a4c: DUP1
00000a4d: ISZERO
00000a4e: PUSH2 0x0a56
00000a51: JUMPI
00000a52: PUSH1 0x00
00000a54: DUP1
00000a55: REVERT
00000a56: JUMPDEST
00000a57: POP
00000a58: PUSH2 0x0aa3
00000a5b: PUSH1 0x04
00000a5d: DUP1
00000a5e: CALLDATASIZE
00000a5f: SUB
00000a60: PUSH1 0x40
00000a62: DUP2
00000a63: LT
00000a64: ISZERO
00000a65: PUSH2 0x0a6d
00000a68: JUMPI
00000a69: PUSH1 0x00
00000a6b: DUP1
00000a6c: REVERT
00000a6d: JUMPDEST
00000a6e: DUP2
00000a6f: ADD
00000a70: SWAP1
00000a71: DUP1
00000a72: DUP1
00000a73: CALLDATALOAD
00000a74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a89: AND
00000a8a: SWAP1
00000a8b: PUSH1 0x20
00000a8d: ADD
00000a8e: SWAP1
00000a8f: SWAP3
00000a90: SWAP2
00000a91: SWAP1
00000a92: DUP1
00000a93: CALLDATALOAD
00000a94: SWAP1
00000a95: PUSH1 0x20
00000a97: ADD
00000a98: SWAP1
00000a99: SWAP3
00000a9a: SWAP2
00000a9b: SWAP1
00000a9c: POP
00000a9d: POP
00000a9e: POP
00000a9f: PUSH2 0x204b
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: PUSH1 0x40
00000aa6: MLOAD
00000aa7: DUP1
00000aa8: DUP3
00000aa9: ISZERO
00000aaa: ISZERO
00000aab: DUP2
00000aac: MSTORE
00000aad: PUSH1 0x20
00000aaf: ADD
00000ab0: SWAP2
00000ab1: POP
00000ab2: POP
00000ab3: PUSH1 0x40
00000ab5: MLOAD
00000ab6: DUP1
00000ab7: SWAP2
00000ab8: SUB
00000ab9: SWAP1
00000aba: RETURN
00000abb: JUMPDEST
00000abc: CALLVALUE
00000abd: DUP1
00000abe: ISZERO
00000abf: PUSH2 0x0ac7
00000ac2: JUMPI
00000ac3: PUSH1 0x00
00000ac5: DUP1
00000ac6: REVERT
00000ac7: JUMPDEST
00000ac8: POP
00000ac9: PUSH2 0x0ad0
00000acc: PUSH2 0x2118
00000acf: JUMP
00000ad0: JUMPDEST
00000ad1: STOP
00000ad2: JUMPDEST
00000ad3: CALLVALUE
00000ad4: DUP1
00000ad5: ISZERO
00000ad6: PUSH2 0x0ade
00000ad9: JUMPI
00000ada: PUSH1 0x00
00000adc: DUP1
00000add: REVERT
00000ade: JUMPDEST
00000adf: POP
00000ae0: PUSH2 0x0b2b
00000ae3: PUSH1 0x04
00000ae5: DUP1
00000ae6: CALLDATASIZE
00000ae7: SUB
00000ae8: PUSH1 0x40
00000aea: DUP2
00000aeb: LT
00000aec: ISZERO
00000aed: PUSH2 0x0af5
00000af0: JUMPI
00000af1: PUSH1 0x00
00000af3: DUP1
00000af4: REVERT
00000af5: JUMPDEST
00000af6: DUP2
00000af7: ADD
00000af8: SWAP1
00000af9: DUP1
00000afa: DUP1
00000afb: CALLDATALOAD
00000afc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b11: AND
00000b12: SWAP1
00000b13: PUSH1 0x20
00000b15: ADD
00000b16: SWAP1
00000b17: SWAP3
00000b18: SWAP2
00000b19: SWAP1
00000b1a: DUP1
00000b1b: CALLDATALOAD
00000b1c: SWAP1
00000b1d: PUSH1 0x20
00000b1f: ADD
00000b20: SWAP1
00000b21: SWAP3
00000b22: SWAP2
00000b23: SWAP1
00000b24: POP
00000b25: POP
00000b26: POP
00000b27: PUSH2 0x2335
00000b2a: JUMP
00000b2b: JUMPDEST
00000b2c: PUSH1 0x40
00000b2e: MLOAD
00000b2f: DUP1
00000b30: DUP3
00000b31: ISZERO
00000b32: ISZERO
00000b33: DUP2
00000b34: MSTORE
00000b35: PUSH1 0x20
00000b37: ADD
00000b38: SWAP2
00000b39: POP
00000b3a: POP
00000b3b: PUSH1 0x40
00000b3d: MLOAD
00000b3e: DUP1
00000b3f: SWAP2
00000b40: SUB
00000b41: SWAP1
00000b42: RETURN
00000b43: JUMPDEST
00000b44: CALLVALUE
00000b45: DUP1
00000b46: ISZERO
00000b47: PUSH2 0x0b4f
00000b4a: JUMPI
00000b4b: PUSH1 0x00
00000b4d: DUP1
00000b4e: REVERT
00000b4f: JUMPDEST
00000b50: POP
00000b51: PUSH2 0x0b58
00000b54: PUSH2 0x2353
00000b57: JUMP
00000b58: JUMPDEST
00000b59: PUSH1 0x40
00000b5b: MLOAD
00000b5c: DUP1
00000b5d: DUP3
00000b5e: DUP2
00000b5f: MSTORE
00000b60: PUSH1 0x20
00000b62: ADD
00000b63: SWAP2
00000b64: POP
00000b65: POP
00000b66: PUSH1 0x40
00000b68: MLOAD
00000b69: DUP1
00000b6a: SWAP2
00000b6b: SUB
00000b6c: SWAP1
00000b6d: RETURN
00000b6e: JUMPDEST
00000b6f: CALLVALUE
00000b70: DUP1
00000b71: ISZERO
00000b72: PUSH2 0x0b7a
00000b75: JUMPI
00000b76: PUSH1 0x00
00000b78: DUP1
00000b79: REVERT
00000b7a: JUMPDEST
00000b7b: POP
00000b7c: PUSH2 0x0ba9
00000b7f: PUSH1 0x04
00000b81: DUP1
00000b82: CALLDATASIZE
00000b83: SUB
00000b84: PUSH1 0x20
00000b86: DUP2
00000b87: LT
00000b88: ISZERO
00000b89: PUSH2 0x0b91
00000b8c: JUMPI
00000b8d: PUSH1 0x00
00000b8f: DUP1
00000b90: REVERT
00000b91: JUMPDEST
00000b92: DUP2
00000b93: ADD
00000b94: SWAP1
00000b95: DUP1
00000b96: DUP1
00000b97: CALLDATALOAD
00000b98: ISZERO
00000b99: ISZERO
00000b9a: SWAP1
00000b9b: PUSH1 0x20
00000b9d: ADD
00000b9e: SWAP1
00000b9f: SWAP3
00000ba0: SWAP2
00000ba1: SWAP1
00000ba2: POP
00000ba3: POP
00000ba4: POP
00000ba5: PUSH2 0x235d
00000ba8: JUMP
00000ba9: JUMPDEST
00000baa: STOP
00000bab: JUMPDEST
00000bac: CALLVALUE
00000bad: DUP1
00000bae: ISZERO
00000baf: PUSH2 0x0bb7
00000bb2: JUMPI
00000bb3: PUSH1 0x00
00000bb5: DUP1
00000bb6: REVERT
00000bb7: JUMPDEST
00000bb8: POP
00000bb9: PUSH2 0x0be4
00000bbc: PUSH1 0x04
00000bbe: DUP1
00000bbf: CALLDATASIZE
00000bc0: SUB
00000bc1: PUSH1 0x20
00000bc3: DUP2
00000bc4: LT
00000bc5: ISZERO
00000bc6: PUSH2 0x0bce
00000bc9: JUMPI
00000bca: PUSH1 0x00
00000bcc: DUP1
00000bcd: REVERT
00000bce: JUMPDEST
00000bcf: DUP2
00000bd0: ADD
00000bd1: SWAP1
00000bd2: DUP1
00000bd3: DUP1
00000bd4: CALLDATALOAD
00000bd5: SWAP1
00000bd6: PUSH1 0x20
00000bd8: ADD
00000bd9: SWAP1
00000bda: SWAP3
00000bdb: SWAP2
00000bdc: SWAP1
00000bdd: POP
00000bde: POP
00000bdf: POP
00000be0: PUSH2 0x247b
00000be3: JUMP
00000be4: JUMPDEST
00000be5: STOP
00000be6: JUMPDEST
00000be7: CALLVALUE
00000be8: DUP1
00000be9: ISZERO
00000bea: PUSH2 0x0bf2
00000bed: JUMPI
00000bee: PUSH1 0x00
00000bf0: DUP1
00000bf1: REVERT
00000bf2: JUMPDEST
00000bf3: POP
00000bf4: PUSH2 0x0c1f
00000bf7: PUSH1 0x04
00000bf9: DUP1
00000bfa: CALLDATASIZE
00000bfb: SUB
00000bfc: PUSH1 0x20
00000bfe: DUP2
00000bff: LT
00000c00: ISZERO
00000c01: PUSH2 0x0c09
00000c04: JUMPI
00000c05: PUSH1 0x00
00000c07: DUP1
00000c08: REVERT
00000c09: JUMPDEST
00000c0a: DUP2
00000c0b: ADD
00000c0c: SWAP1
00000c0d: DUP1
00000c0e: DUP1
00000c0f: CALLDATALOAD
00000c10: SWAP1
00000c11: PUSH1 0x20
00000c13: ADD
00000c14: SWAP1
00000c15: SWAP3
00000c16: SWAP2
00000c17: SWAP1
00000c18: POP
00000c19: POP
00000c1a: POP
00000c1b: PUSH2 0x2574
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: STOP
00000c21: JUMPDEST
00000c22: CALLVALUE
00000c23: DUP1
00000c24: ISZERO
00000c25: PUSH2 0x0c2d
00000c28: JUMPI
00000c29: PUSH1 0x00
00000c2b: DUP1
00000c2c: REVERT
00000c2d: JUMPDEST
00000c2e: POP
00000c2f: PUSH2 0x0c90
00000c32: PUSH1 0x04
00000c34: DUP1
00000c35: CALLDATASIZE
00000c36: SUB
00000c37: PUSH1 0x40
00000c39: DUP2
00000c3a: LT
00000c3b: ISZERO
00000c3c: PUSH2 0x0c44
00000c3f: JUMPI
00000c40: PUSH1 0x00
00000c42: DUP1
00000c43: REVERT
00000c44: JUMPDEST
00000c45: DUP2
00000c46: ADD
00000c47: SWAP1
00000c48: DUP1
00000c49: DUP1
00000c4a: CALLDATALOAD
00000c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c60: AND
00000c61: SWAP1
00000c62: PUSH1 0x20
00000c64: ADD
00000c65: SWAP1
00000c66: SWAP3
00000c67: SWAP2
00000c68: SWAP1
00000c69: DUP1
00000c6a: CALLDATALOAD
00000c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c80: AND
00000c81: SWAP1
00000c82: PUSH1 0x20
00000c84: ADD
00000c85: SWAP1
00000c86: SWAP3
00000c87: SWAP2
00000c88: SWAP1
00000c89: POP
00000c8a: POP
00000c8b: POP
00000c8c: PUSH2 0x2765
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: PUSH1 0x40
00000c93: MLOAD
00000c94: DUP1
00000c95: DUP3
00000c96: DUP2
00000c97: MSTORE
00000c98: PUSH1 0x20
00000c9a: ADD
00000c9b: SWAP2
00000c9c: POP
00000c9d: POP
00000c9e: PUSH1 0x40
00000ca0: MLOAD
00000ca1: DUP1
00000ca2: SWAP2
00000ca3: SUB
00000ca4: SWAP1
00000ca5: RETURN
00000ca6: JUMPDEST
00000ca7: CALLVALUE
00000ca8: DUP1
00000ca9: ISZERO
00000caa: PUSH2 0x0cb2
00000cad: JUMPI
00000cae: PUSH1 0x00
00000cb0: DUP1
00000cb1: REVERT
00000cb2: JUMPDEST
00000cb3: POP
00000cb4: PUSH2 0x0cf5
00000cb7: PUSH1 0x04
00000cb9: DUP1
00000cba: CALLDATASIZE
00000cbb: SUB
00000cbc: PUSH1 0x20
00000cbe: DUP2
00000cbf: LT
00000cc0: ISZERO
00000cc1: PUSH2 0x0cc9
00000cc4: JUMPI
00000cc5: PUSH1 0x00
00000cc7: DUP1
00000cc8: REVERT
00000cc9: JUMPDEST
00000cca: DUP2
00000ccb: ADD
00000ccc: SWAP1
00000ccd: DUP1
00000cce: DUP1
00000ccf: CALLDATALOAD
00000cd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce5: AND
00000ce6: SWAP1
00000ce7: PUSH1 0x20
00000ce9: ADD
00000cea: SWAP1
00000ceb: SWAP3
00000cec: SWAP2
00000ced: SWAP1
00000cee: POP
00000cef: POP
00000cf0: POP
00000cf1: PUSH2 0x27ec
00000cf4: JUMP
00000cf5: JUMPDEST
00000cf6: STOP
00000cf7: JUMPDEST
00000cf8: CALLVALUE
00000cf9: DUP1
00000cfa: ISZERO
00000cfb: PUSH2 0x0d03
00000cfe: JUMPI
00000cff: PUSH1 0x00
00000d01: DUP1
00000d02: REVERT
00000d03: JUMPDEST
00000d04: POP
00000d05: PUSH2 0x0d46
00000d08: PUSH1 0x04
00000d0a: DUP1
00000d0b: CALLDATASIZE
00000d0c: SUB
00000d0d: PUSH1 0x20
00000d0f: DUP2
00000d10: LT
00000d11: ISZERO
00000d12: PUSH2 0x0d1a
00000d15: JUMPI
00000d16: PUSH1 0x00
00000d18: DUP1
00000d19: REVERT
00000d1a: JUMPDEST
00000d1b: DUP2
00000d1c: ADD
00000d1d: SWAP1
00000d1e: DUP1
00000d1f: DUP1
00000d20: CALLDATALOAD
00000d21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d36: AND
00000d37: SWAP1
00000d38: PUSH1 0x20
00000d3a: ADD
00000d3b: SWAP1
00000d3c: SWAP3
00000d3d: SWAP2
00000d3e: SWAP1
00000d3f: POP
00000d40: POP
00000d41: POP
00000d42: PUSH2 0x290f
00000d45: JUMP
00000d46: JUMPDEST
00000d47: STOP
00000d48: JUMPDEST
00000d49: PUSH2 0x0d50
00000d4c: PUSH2 0x2b1a
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d66: AND
00000d67: PUSH1 0x00
00000d69: DUP1
00000d6a: SLOAD
00000d6b: SWAP1
00000d6c: PUSH2 0x0100
00000d6f: EXP
00000d70: SWAP1
00000d71: DIV
00000d72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d87: AND
00000d88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d9d: AND
00000d9e: EQ
00000d9f: PUSH2 0x0e10
00000da2: JUMPI
00000da3: PUSH1 0x40
00000da5: MLOAD
00000da6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dc7: DUP2
00000dc8: MSTORE
00000dc9: PUSH1 0x04
00000dcb: ADD
00000dcc: DUP1
00000dcd: DUP1
00000dce: PUSH1 0x20
00000dd0: ADD
00000dd1: DUP3
00000dd2: DUP2
00000dd3: SUB
00000dd4: DUP3
00000dd5: MSTORE
00000dd6: PUSH1 0x20
00000dd8: DUP2
00000dd9: MSTORE
00000dda: PUSH1 0x20
00000ddc: ADD
00000ddd: DUP1
00000dde: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000dff: DUP2
00000e00: MSTORE
00000e01: POP
00000e02: PUSH1 0x20
00000e04: ADD
00000e05: SWAP2
00000e06: POP
00000e07: POP
00000e08: PUSH1 0x40
00000e0a: MLOAD
00000e0b: DUP1
00000e0c: SWAP2
00000e0d: SUB
00000e0e: SWAP1
00000e0f: REVERT
00000e10: JUMPDEST
00000e11: DUP1
00000e12: PUSH1 0x0f
00000e14: DUP2
00000e15: SWAP1
00000e16: SSTORE
00000e17: POP
00000e18: POP
00000e19: JUMP
00000e1a: JUMPDEST
00000e1b: PUSH1 0x60
00000e1d: PUSH1 0x0c
00000e1f: DUP1
00000e20: SLOAD
00000e21: PUSH1 0x01
00000e23: DUP2
00000e24: PUSH1 0x01
00000e26: AND
00000e27: ISZERO
00000e28: PUSH2 0x0100
00000e2b: MUL
00000e2c: SUB
00000e2d: AND
00000e2e: PUSH1 0x02
00000e30: SWAP1
00000e31: DIV
00000e32: DUP1
00000e33: PUSH1 0x1f
00000e35: ADD
00000e36: PUSH1 0x20
00000e38: DUP1
00000e39: SWAP2
00000e3a: DIV
00000e3b: MUL
00000e3c: PUSH1 0x20
00000e3e: ADD
00000e3f: PUSH1 0x40
00000e41: MLOAD
00000e42: SWAP1
00000e43: DUP2
00000e44: ADD
00000e45: PUSH1 0x40
00000e47: MSTORE
00000e48: DUP1
00000e49: SWAP3
00000e4a: SWAP2
00000e4b: SWAP1
00000e4c: DUP2
00000e4d: DUP2
00000e4e: MSTORE
00000e4f: PUSH1 0x20
00000e51: ADD
00000e52: DUP3
00000e53: DUP1
00000e54: SLOAD
00000e55: PUSH1 0x01
00000e57: DUP2
00000e58: PUSH1 0x01
00000e5a: AND
00000e5b: ISZERO
00000e5c: PUSH2 0x0100
00000e5f: MUL
00000e60: SUB
00000e61: AND
00000e62: PUSH1 0x02
00000e64: SWAP1
00000e65: DIV
00000e66: DUP1
00000e67: ISZERO
00000e68: PUSH2 0x0eb2
00000e6b: JUMPI
00000e6c: DUP1
00000e6d: PUSH1 0x1f
00000e6f: LT
00000e70: PUSH2 0x0e87
00000e73: JUMPI
00000e74: PUSH2 0x0100
00000e77: DUP1
00000e78: DUP4
00000e79: SLOAD
00000e7a: DIV
00000e7b: MUL
00000e7c: DUP4
00000e7d: MSTORE
00000e7e: SWAP2
00000e7f: PUSH1 0x20
00000e81: ADD
00000e82: SWAP2
00000e83: PUSH2 0x0eb2
00000e86: JUMP
00000e87: JUMPDEST
00000e88: DUP3
00000e89: ADD
00000e8a: SWAP2
00000e8b: SWAP1
00000e8c: PUSH1 0x00
00000e8e: MSTORE
00000e8f: PUSH1 0x20
00000e91: PUSH1 0x00
00000e93: KECCAK256
00000e94: SWAP1
00000e95: JUMPDEST
00000e96: DUP2
00000e97: SLOAD
00000e98: DUP2
00000e99: MSTORE
00000e9a: SWAP1
00000e9b: PUSH1 0x01
00000e9d: ADD
00000e9e: SWAP1
00000e9f: PUSH1 0x20
00000ea1: ADD
00000ea2: DUP1
00000ea3: DUP4
00000ea4: GT
00000ea5: PUSH2 0x0e95
00000ea8: JUMPI
00000ea9: DUP3
00000eaa: SWAP1
00000eab: SUB
00000eac: PUSH1 0x1f
00000eae: AND
00000eaf: DUP3
00000eb0: ADD
00000eb1: SWAP2
00000eb2: JUMPDEST
00000eb3: POP
00000eb4: POP
00000eb5: POP
00000eb6: POP
00000eb7: POP
00000eb8: SWAP1
00000eb9: POP
00000eba: SWAP1
00000ebb: JUMP
00000ebc: JUMPDEST
00000ebd: PUSH1 0x00
00000ebf: PUSH2 0x0ed0
00000ec2: PUSH2 0x0ec9
00000ec5: PUSH2 0x2b1a
00000ec8: JUMP
00000ec9: JUMPDEST
00000eca: DUP5
00000ecb: DUP5
00000ecc: PUSH2 0x2b22
00000ecf: JUMP
00000ed0: JUMPDEST
00000ed1: PUSH1 0x01
00000ed3: SWAP1
00000ed4: POP
00000ed5: SWAP3
00000ed6: SWAP2
00000ed7: POP
00000ed8: POP
00000ed9: JUMP
00000eda: JUMPDEST
00000edb: PUSH1 0x00
00000edd: PUSH1 0x0b
00000edf: SLOAD
00000ee0: SWAP1
00000ee1: POP
00000ee2: SWAP1
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00000f06: DUP2
00000f07: JUMP
00000f08: JUMPDEST
00000f09: PUSH1 0x00
00000f0b: PUSH1 0x09
00000f0d: SLOAD
00000f0e: SWAP1
00000f0f: POP
00000f10: SWAP1
00000f11: JUMP
00000f12: JUMPDEST
00000f13: PUSH1 0x00
00000f15: PUSH2 0x0f1f
00000f18: DUP5
00000f19: DUP5
00000f1a: DUP5
00000f1b: PUSH2 0x2d19
00000f1e: JUMP
00000f1f: JUMPDEST
00000f20: PUSH2 0x0fe0
00000f23: DUP5
00000f24: PUSH2 0x0f2b
00000f27: PUSH2 0x2b1a
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: PUSH2 0x0fdb
00000f2f: DUP6
00000f30: PUSH1 0x40
00000f32: MLOAD
00000f33: DUP1
00000f34: PUSH1 0x60
00000f36: ADD
00000f37: PUSH1 0x40
00000f39: MSTORE
00000f3a: DUP1
00000f3b: PUSH1 0x28
00000f3d: DUP2
00000f3e: MSTORE
00000f3f: PUSH1 0x20
00000f41: ADD
00000f42: PUSH2 0x4cea
00000f45: PUSH1 0x28
00000f47: SWAP2
00000f48: CODECOPY
00000f49: PUSH1 0x05
00000f4b: PUSH1 0x00
00000f4d: DUP12
00000f4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f63: AND
00000f64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f79: AND
00000f7a: DUP2
00000f7b: MSTORE
00000f7c: PUSH1 0x20
00000f7e: ADD
00000f7f: SWAP1
00000f80: DUP2
00000f81: MSTORE
00000f82: PUSH1 0x20
00000f84: ADD
00000f85: PUSH1 0x00
00000f87: KECCAK256
00000f88: PUSH1 0x00
00000f8a: PUSH2 0x0f91
00000f8d: PUSH2 0x2b1a
00000f90: JUMP
00000f91: JUMPDEST
00000f92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa7: AND
00000fa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbd: AND
00000fbe: DUP2
00000fbf: MSTORE
00000fc0: PUSH1 0x20
00000fc2: ADD
00000fc3: SWAP1
00000fc4: DUP2
00000fc5: MSTORE
00000fc6: PUSH1 0x20
00000fc8: ADD
00000fc9: PUSH1 0x00
00000fcb: KECCAK256
00000fcc: SLOAD
00000fcd: PUSH2 0x30de
00000fd0: SWAP1
00000fd1: SWAP3
00000fd2: SWAP2
00000fd3: SWAP1
00000fd4: PUSH4 0xffffffff
00000fd9: AND
00000fda: JUMP
00000fdb: JUMPDEST
00000fdc: PUSH2 0x2b22
00000fdf: JUMP
00000fe0: JUMPDEST
00000fe1: PUSH1 0x01
00000fe3: SWAP1
00000fe4: POP
00000fe5: SWAP4
00000fe6: SWAP3
00000fe7: POP
00000fe8: POP
00000fe9: POP
00000fea: JUMP
00000feb: JUMPDEST
00000fec: PUSH1 0x00
00000fee: PUSH1 0x0a
00000ff0: SLOAD
00000ff1: DUP3
00000ff2: GT
00000ff3: ISZERO
00000ff4: PUSH2 0x1048
00000ff7: JUMPI
00000ff8: PUSH1 0x40
00000ffa: MLOAD
00000ffb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000101c: DUP2
0000101d: MSTORE
0000101e: PUSH1 0x04
00001020: ADD
00001021: DUP1
00001022: DUP1
00001023: PUSH1 0x20
00001025: ADD
00001026: DUP3
00001027: DUP2
00001028: SUB
00001029: DUP3
0000102a: MSTORE
0000102b: PUSH1 0x2a
0000102d: DUP2
0000102e: MSTORE
0000102f: PUSH1 0x20
00001031: ADD
00001032: DUP1
00001033: PUSH2 0x4c2f
00001036: PUSH1 0x2a
00001038: SWAP2
00001039: CODECOPY
0000103a: PUSH1 0x40
0000103c: ADD
0000103d: SWAP2
0000103e: POP
0000103f: POP
00001040: PUSH1 0x40
00001042: MLOAD
00001043: DUP1
00001044: SWAP2
00001045: SUB
00001046: SWAP1
00001047: REVERT
00001048: JUMPDEST
00001049: PUSH1 0x00
0000104b: PUSH2 0x1052
0000104e: PUSH2 0x319e
00001051: JUMP
00001052: JUMPDEST
00001053: SWAP1
00001054: POP
00001055: PUSH2 0x1067
00001058: DUP2
00001059: DUP5
0000105a: PUSH2 0x31c9
0000105d: SWAP1
0000105e: SWAP2
0000105f: SWAP1
00001060: PUSH4 0xffffffff
00001065: AND
00001066: JUMP
00001067: JUMPDEST
00001068: SWAP2
00001069: POP
0000106a: POP
0000106b: SWAP2
0000106c: SWAP1
0000106d: POP
0000106e: JUMP
0000106f: JUMPDEST
00001070: PUSH1 0x00
00001072: PUSH1 0x0e
00001074: PUSH1 0x00
00001076: SWAP1
00001077: SLOAD
00001078: SWAP1
00001079: PUSH2 0x0100
0000107c: EXP
0000107d: SWAP1
0000107e: DIV
0000107f: PUSH1 0xff
00001081: AND
00001082: SWAP1
00001083: POP
00001084: SWAP1
00001085: JUMP
00001086: JUMPDEST
00001087: PUSH2 0x108e
0000108a: PUSH2 0x2b1a
0000108d: JUMP
0000108e: JUMPDEST
0000108f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a4: AND
000010a5: PUSH1 0x00
000010a7: DUP1
000010a8: SLOAD
000010a9: SWAP1
000010aa: PUSH2 0x0100
000010ad: EXP
000010ae: SWAP1
000010af: DIV
000010b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c5: AND
000010c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010db: AND
000010dc: EQ
000010dd: PUSH2 0x114e
000010e0: JUMPI
000010e1: PUSH1 0x40
000010e3: MLOAD
000010e4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001105: DUP2
00001106: MSTORE
00001107: PUSH1 0x04
00001109: ADD
0000110a: DUP1
0000110b: DUP1
0000110c: PUSH1 0x20
0000110e: ADD
0000110f: DUP3
00001110: DUP2
00001111: SUB
00001112: DUP3
00001113: MSTORE
00001114: PUSH1 0x20
00001116: DUP2
00001117: MSTORE
00001118: PUSH1 0x20
0000111a: ADD
0000111b: DUP1
0000111c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000113d: DUP2
0000113e: MSTORE
0000113f: POP
00001140: PUSH1 0x20
00001142: ADD
00001143: SWAP2
00001144: POP
00001145: POP
00001146: PUSH1 0x40
00001148: MLOAD
00001149: DUP1
0000114a: SWAP2
0000114b: SUB
0000114c: SWAP1
0000114d: REVERT
0000114e: JUMPDEST
0000114f: PUSH1 0x07
00001151: PUSH1 0x00
00001153: DUP3
00001154: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001169: AND
0000116a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000117f: AND
00001180: DUP2
00001181: MSTORE
00001182: PUSH1 0x20
00001184: ADD
00001185: SWAP1
00001186: DUP2
00001187: MSTORE
00001188: PUSH1 0x20
0000118a: ADD
0000118b: PUSH1 0x00
0000118d: KECCAK256
0000118e: PUSH1 0x00
00001190: SWAP1
00001191: SLOAD
00001192: SWAP1
00001193: PUSH2 0x0100
00001196: EXP
00001197: SWAP1
00001198: DIV
00001199: PUSH1 0xff
0000119b: AND
0000119c: PUSH2 0x120d
0000119f: JUMPI
000011a0: PUSH1 0x40
000011a2: MLOAD
000011a3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011c4: DUP2
000011c5: MSTORE
000011c6: PUSH1 0x04
000011c8: ADD
000011c9: DUP1
000011ca: DUP1
000011cb: PUSH1 0x20
000011cd: ADD
000011ce: DUP3
000011cf: DUP2
000011d0: SUB
000011d1: DUP3
000011d2: MSTORE
000011d3: PUSH1 0x1b
000011d5: DUP2
000011d6: MSTORE
000011d7: PUSH1 0x20
000011d9: ADD
000011da: DUP1
000011db: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
000011fc: DUP2
000011fd: MSTORE
000011fe: POP
000011ff: PUSH1 0x20
00001201: ADD
00001202: SWAP2
00001203: POP
00001204: POP
00001205: PUSH1 0x40
00001207: MLOAD
00001208: DUP1
00001209: SWAP2
0000120a: SUB
0000120b: SWAP1
0000120c: REVERT
0000120d: JUMPDEST
0000120e: PUSH1 0x00
00001210: JUMPDEST
00001211: PUSH1 0x08
00001213: DUP1
00001214: SLOAD
00001215: SWAP1
00001216: POP
00001217: DUP2
00001218: LT
00001219: ISZERO
0000121a: PUSH2 0x140c
0000121d: JUMPI
0000121e: DUP2
0000121f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001234: AND
00001235: PUSH1 0x08
00001237: DUP3
00001238: DUP2
00001239: SLOAD
0000123a: DUP2
0000123b: LT
0000123c: PUSH2 0x1241
0000123f: JUMPI
00001240: INVALID
00001241: JUMPDEST
00001242: SWAP1
00001243: PUSH1 0x00
00001245: MSTORE
00001246: PUSH1 0x20
00001248: PUSH1 0x00
0000124a: KECCAK256
0000124b: ADD
0000124c: PUSH1 0x00
0000124e: SWAP1
0000124f: SLOAD
00001250: SWAP1
00001251: PUSH2 0x0100
00001254: EXP
00001255: SWAP1
00001256: DIV
00001257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000126c: AND
0000126d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001282: AND
00001283: EQ
00001284: ISZERO
00001285: PUSH2 0x13ff
00001288: JUMPI
00001289: PUSH1 0x08
0000128b: PUSH1 0x01
0000128d: PUSH1 0x08
0000128f: DUP1
00001290: SLOAD
00001291: SWAP1
00001292: POP
00001293: SUB
00001294: DUP2
00001295: SLOAD
00001296: DUP2
00001297: LT
00001298: PUSH2 0x129d
0000129b: JUMPI
0000129c: INVALID
0000129d: JUMPDEST
0000129e: SWAP1
0000129f: PUSH1 0x00
000012a1: MSTORE
000012a2: PUSH1 0x20
000012a4: PUSH1 0x00
000012a6: KECCAK256
000012a7: ADD
000012a8: PUSH1 0x00
000012aa: SWAP1
000012ab: SLOAD
000012ac: SWAP1
000012ad: PUSH2 0x0100
000012b0: EXP
000012b1: SWAP1
000012b2: DIV
000012b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c8: AND
000012c9: PUSH1 0x08
000012cb: DUP3
000012cc: DUP2
000012cd: SLOAD
000012ce: DUP2
000012cf: LT
000012d0: PUSH2 0x12d5
000012d3: JUMPI
000012d4: INVALID
000012d5: JUMPDEST
000012d6: SWAP1
000012d7: PUSH1 0x00
000012d9: MSTORE
000012da: PUSH1 0x20
000012dc: PUSH1 0x00
000012de: KECCAK256
000012df: ADD
000012e0: PUSH1 0x00
000012e2: PUSH2 0x0100
000012e5: EXP
000012e6: DUP2
000012e7: SLOAD
000012e8: DUP2
000012e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012fe: MUL
000012ff: NOT
00001300: AND
00001301: SWAP1
00001302: DUP4
00001303: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001318: AND
00001319: MUL
0000131a: OR
0000131b: SWAP1
0000131c: SSTORE
0000131d: POP
0000131e: PUSH1 0x00
00001320: PUSH1 0x04
00001322: PUSH1 0x00
00001324: DUP5
00001325: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133a: AND
0000133b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001350: AND
00001351: DUP2
00001352: MSTORE
00001353: PUSH1 0x20
00001355: ADD
00001356: SWAP1
00001357: DUP2
00001358: MSTORE
00001359: PUSH1 0x20
0000135b: ADD
0000135c: PUSH1 0x00
0000135e: KECCAK256
0000135f: DUP2
00001360: SWAP1
00001361: SSTORE
00001362: POP
00001363: PUSH1 0x00
00001365: PUSH1 0x07
00001367: PUSH1 0x00
00001369: DUP5
0000136a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137f: AND
00001380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001395: AND
00001396: DUP2
00001397: MSTORE
00001398: PUSH1 0x20
0000139a: ADD
0000139b: SWAP1
0000139c: DUP2
0000139d: MSTORE
0000139e: PUSH1 0x20
000013a0: ADD
000013a1: PUSH1 0x00
000013a3: KECCAK256
000013a4: PUSH1 0x00
000013a6: PUSH2 0x0100
000013a9: EXP
000013aa: DUP2
000013ab: SLOAD
000013ac: DUP2
000013ad: PUSH1 0xff
000013af: MUL
000013b0: NOT
000013b1: AND
000013b2: SWAP1
000013b3: DUP4
000013b4: ISZERO
000013b5: ISZERO
000013b6: MUL
000013b7: OR
000013b8: SWAP1
000013b9: SSTORE
000013ba: POP
000013bb: PUSH1 0x08
000013bd: DUP1
000013be: SLOAD
000013bf: DUP1
000013c0: PUSH2 0x13c5
000013c3: JUMPI
000013c4: INVALID
000013c5: JUMPDEST
000013c6: PUSH1 0x01
000013c8: SWAP1
000013c9: SUB
000013ca: DUP2
000013cb: DUP2
000013cc: SWAP1
000013cd: PUSH1 0x00
000013cf: MSTORE
000013d0: PUSH1 0x20
000013d2: PUSH1 0x00
000013d4: KECCAK256
000013d5: ADD
000013d6: PUSH1 0x00
000013d8: PUSH2 0x0100
000013db: EXP
000013dc: DUP2
000013dd: SLOAD
000013de: SWAP1
000013df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f4: MUL
000013f5: NOT
000013f6: AND
000013f7: SWAP1
000013f8: SSTORE
000013f9: SWAP1
000013fa: SSTORE
000013fb: PUSH2 0x140c
000013fe: JUMP
000013ff: JUMPDEST
00001400: DUP1
00001401: DUP1
00001402: PUSH1 0x01
00001404: ADD
00001405: SWAP2
00001406: POP
00001407: POP
00001408: PUSH2 0x1210
0000140b: JUMP
0000140c: JUMPDEST
0000140d: POP
0000140e: POP
0000140f: JUMP
00001410: JUMPDEST
00001411: PUSH1 0x00
00001413: PUSH2 0x14b9
00001416: PUSH2 0x141d
00001419: PUSH2 0x2b1a
0000141c: JUMP
0000141d: JUMPDEST
0000141e: DUP5
0000141f: PUSH2 0x14b4
00001422: DUP6
00001423: PUSH1 0x05
00001425: PUSH1 0x00
00001427: PUSH2 0x142e
0000142a: PUSH2 0x2b1a
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001444: AND
00001445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145a: AND
0000145b: DUP2
0000145c: MSTORE
0000145d: PUSH1 0x20
0000145f: ADD
00001460: SWAP1
00001461: DUP2
00001462: MSTORE
00001463: PUSH1 0x20
00001465: ADD
00001466: PUSH1 0x00
00001468: KECCAK256
00001469: PUSH1 0x00
0000146b: DUP10
0000146c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001481: AND
00001482: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001497: AND
00001498: DUP2
00001499: MSTORE
0000149a: PUSH1 0x20
0000149c: ADD
0000149d: SWAP1
0000149e: DUP2
0000149f: MSTORE
000014a0: PUSH1 0x20
000014a2: ADD
000014a3: PUSH1 0x00
000014a5: KECCAK256
000014a6: SLOAD
000014a7: PUSH2 0x3213
000014aa: SWAP1
000014ab: SWAP2
000014ac: SWAP1
000014ad: PUSH4 0xffffffff
000014b2: AND
000014b3: JUMP
000014b4: JUMPDEST
000014b5: PUSH2 0x2b22
000014b8: JUMP
000014b9: JUMPDEST
000014ba: PUSH1 0x01
000014bc: SWAP1
000014bd: POP
000014be: SWAP3
000014bf: SWAP2
000014c0: POP
000014c1: POP
000014c2: JUMP
000014c3: JUMPDEST
000014c4: PUSH1 0x0f
000014c6: SLOAD
000014c7: DUP2
000014c8: JUMP
000014c9: JUMPDEST
000014ca: PUSH1 0x00
000014cc: PUSH2 0x14d3
000014cf: PUSH2 0x2b1a
000014d2: JUMP
000014d3: JUMPDEST
000014d4: SWAP1
000014d5: POP
000014d6: PUSH1 0x07
000014d8: PUSH1 0x00
000014da: DUP3
000014db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f0: AND
000014f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001506: AND
00001507: DUP2
00001508: MSTORE
00001509: PUSH1 0x20
0000150b: ADD
0000150c: SWAP1
0000150d: DUP2
0000150e: MSTORE
0000150f: PUSH1 0x20
00001511: ADD
00001512: PUSH1 0x00
00001514: KECCAK256
00001515: PUSH1 0x00
00001517: SWAP1
00001518: SLOAD
00001519: SWAP1
0000151a: PUSH2 0x0100
0000151d: EXP
0000151e: SWAP1
0000151f: DIV
00001520: PUSH1 0xff
00001522: AND
00001523: ISZERO
00001524: PUSH2 0x1578
00001527: JUMPI
00001528: PUSH1 0x40
0000152a: MLOAD
0000152b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000154c: DUP2
0000154d: MSTORE
0000154e: PUSH1 0x04
00001550: ADD
00001551: DUP1
00001552: DUP1
00001553: PUSH1 0x20
00001555: ADD
00001556: DUP3
00001557: DUP2
00001558: SUB
00001559: DUP3
0000155a: MSTORE
0000155b: PUSH1 0x2c
0000155d: DUP2
0000155e: MSTORE
0000155f: PUSH1 0x20
00001561: ADD
00001562: DUP1
00001563: PUSH2 0x4d84
00001566: PUSH1 0x2c
00001568: SWAP2
00001569: CODECOPY
0000156a: PUSH1 0x40
0000156c: ADD
0000156d: SWAP2
0000156e: POP
0000156f: POP
00001570: PUSH1 0x40
00001572: MLOAD
00001573: DUP1
00001574: SWAP2
00001575: SUB
00001576: SWAP1
00001577: REVERT
00001578: JUMPDEST
00001579: PUSH1 0x00
0000157b: PUSH2 0x1583
0000157e: DUP4
0000157f: PUSH2 0x329b
00001582: JUMP
00001583: JUMPDEST
00001584: POP
00001585: POP
00001586: POP
00001587: POP
00001588: POP
00001589: SWAP1
0000158a: POP
0000158b: PUSH2 0x15dc
0000158e: DUP2
0000158f: PUSH1 0x03
00001591: PUSH1 0x00
00001593: DUP6
00001594: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a9: AND
000015aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015bf: AND
000015c0: DUP2
000015c1: MSTORE
000015c2: PUSH1 0x20
000015c4: ADD
000015c5: SWAP1
000015c6: DUP2
000015c7: MSTORE
000015c8: PUSH1 0x20
000015ca: ADD
000015cb: PUSH1 0x00
000015cd: KECCAK256
000015ce: SLOAD
000015cf: PUSH2 0x32f7
000015d2: SWAP1
000015d3: SWAP2
000015d4: SWAP1
000015d5: PUSH4 0xffffffff
000015da: AND
000015db: JUMP
000015dc: JUMPDEST
000015dd: PUSH1 0x03
000015df: PUSH1 0x00
000015e1: DUP5
000015e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015f7: AND
000015f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000160d: AND
0000160e: DUP2
0000160f: MSTORE
00001610: PUSH1 0x20
00001612: ADD
00001613: SWAP1
00001614: DUP2
00001615: MSTORE
00001616: PUSH1 0x20
00001618: ADD
00001619: PUSH1 0x00
0000161b: KECCAK256
0000161c: DUP2
0000161d: SWAP1
0000161e: SSTORE
0000161f: POP
00001620: PUSH2 0x1634
00001623: DUP2
00001624: PUSH1 0x0a
00001626: SLOAD
00001627: PUSH2 0x32f7
0000162a: SWAP1
0000162b: SWAP2
0000162c: SWAP1
0000162d: PUSH4 0xffffffff
00001632: AND
00001633: JUMP
00001634: JUMPDEST
00001635: PUSH1 0x0a
00001637: DUP2
00001638: SWAP1
00001639: SSTORE
0000163a: POP
0000163b: PUSH2 0x164f
0000163e: DUP4
0000163f: PUSH1 0x0b
00001641: SLOAD
00001642: PUSH2 0x3213
00001645: SWAP1
00001646: SWAP2
00001647: SWAP1
00001648: PUSH4 0xffffffff
0000164d: AND
0000164e: JUMP
0000164f: JUMPDEST
00001650: PUSH1 0x0b
00001652: DUP2
00001653: SWAP1
00001654: SSTORE
00001655: POP
00001656: POP
00001657: POP
00001658: POP
00001659: JUMP
0000165a: JUMPDEST
0000165b: PUSH2 0x1662
0000165e: PUSH2 0x2b1a
00001661: JUMP
00001662: JUMPDEST
00001663: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001678: AND
00001679: PUSH1 0x00
0000167b: DUP1
0000167c: SLOAD
0000167d: SWAP1
0000167e: PUSH2 0x0100
00001681: EXP
00001682: SWAP1
00001683: DIV
00001684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001699: AND
0000169a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016af: AND
000016b0: EQ
000016b1: PUSH2 0x1722
000016b4: JUMPI
000016b5: PUSH1 0x40
000016b7: MLOAD
000016b8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016d9: DUP2
000016da: MSTORE
000016db: PUSH1 0x04
000016dd: ADD
000016de: DUP1
000016df: DUP1
000016e0: PUSH1 0x20
000016e2: ADD
000016e3: DUP3
000016e4: DUP2
000016e5: SUB
000016e6: DUP3
000016e7: MSTORE
000016e8: PUSH1 0x20
000016ea: DUP2
000016eb: MSTORE
000016ec: PUSH1 0x20
000016ee: ADD
000016ef: DUP1
000016f0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001711: DUP2
00001712: MSTORE
00001713: POP
00001714: PUSH1 0x20
00001716: ADD
00001717: SWAP2
00001718: POP
00001719: POP
0000171a: PUSH1 0x40
0000171c: MLOAD
0000171d: DUP1
0000171e: SWAP2
0000171f: SUB
00001720: SWAP1
00001721: REVERT
00001722: JUMPDEST
00001723: PUSH1 0x01
00001725: PUSH1 0x06
00001727: PUSH1 0x00
00001729: DUP4
0000172a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173f: AND
00001740: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001755: AND
00001756: DUP2
00001757: MSTORE
00001758: PUSH1 0x20
0000175a: ADD
0000175b: SWAP1
0000175c: DUP2
0000175d: MSTORE
0000175e: PUSH1 0x20
00001760: ADD
00001761: PUSH1 0x00
00001763: KECCAK256
00001764: PUSH1 0x00
00001766: PUSH2 0x0100
00001769: EXP
0000176a: DUP2
0000176b: SLOAD
0000176c: DUP2
0000176d: PUSH1 0xff
0000176f: MUL
00001770: NOT
00001771: AND
00001772: SWAP1
00001773: DUP4
00001774: ISZERO
00001775: ISZERO
00001776: MUL
00001777: OR
00001778: SWAP1
00001779: SSTORE
0000177a: POP
0000177b: POP
0000177c: JUMP
0000177d: JUMPDEST
0000177e: PUSH1 0x00
00001780: PUSH1 0x09
00001782: SLOAD
00001783: DUP4
00001784: GT
00001785: ISZERO
00001786: PUSH2 0x17f7
00001789: JUMPI
0000178a: PUSH1 0x40
0000178c: MLOAD
0000178d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017ae: DUP2
000017af: MSTORE
000017b0: PUSH1 0x04
000017b2: ADD
000017b3: DUP1
000017b4: DUP1
000017b5: PUSH1 0x20
000017b7: ADD
000017b8: DUP3
000017b9: DUP2
000017ba: SUB
000017bb: DUP3
000017bc: MSTORE
000017bd: PUSH1 0x1f
000017bf: DUP2
000017c0: MSTORE
000017c1: PUSH1 0x20
000017c3: ADD
000017c4: DUP1
000017c5: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20737570706c7900
000017e6: DUP2
000017e7: MSTORE
000017e8: POP
000017e9: PUSH1 0x20
000017eb: ADD
000017ec: SWAP2
000017ed: POP
000017ee: POP
000017ef: PUSH1 0x40
000017f1: MLOAD
000017f2: DUP1
000017f3: SWAP2
000017f4: SUB
000017f5: SWAP1
000017f6: REVERT
000017f7: JUMPDEST
000017f8: DUP2
000017f9: PUSH2 0x1817
000017fc: JUMPI
000017fd: PUSH1 0x00
000017ff: PUSH2 0x1807
00001802: DUP5
00001803: PUSH2 0x329b
00001806: JUMP
00001807: JUMPDEST
00001808: POP
00001809: POP
0000180a: POP
0000180b: POP
0000180c: POP
0000180d: SWAP1
0000180e: POP
0000180f: DUP1
00001810: SWAP2
00001811: POP
00001812: POP
00001813: PUSH2 0x182e
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH1 0x00
0000181a: PUSH2 0x1822
0000181d: DUP5
0000181e: PUSH2 0x329b
00001821: JUMP
00001822: JUMPDEST
00001823: POP
00001824: POP
00001825: POP
00001826: POP
00001827: SWAP2
00001828: POP
00001829: POP
0000182a: DUP1
0000182b: SWAP2
0000182c: POP
0000182d: POP
0000182e: JUMPDEST
0000182f: SWAP3
00001830: SWAP2
00001831: POP
00001832: POP
00001833: JUMP
00001834: JUMPDEST
00001835: PUSH32 0x0000000000000000000000008d7bed5b25b291c7d76578ac02979ec5ea33c97f
00001856: DUP2
00001857: JUMP
00001858: JUMPDEST
00001859: PUSH1 0x13
0000185b: PUSH1 0x01
0000185d: SWAP1
0000185e: SLOAD
0000185f: SWAP1
00001860: PUSH2 0x0100
00001863: EXP
00001864: SWAP1
00001865: DIV
00001866: PUSH1 0xff
00001868: AND
00001869: DUP2
0000186a: JUMP
0000186b: JUMPDEST
0000186c: PUSH2 0x1873
0000186f: PUSH2 0x2b1a
00001872: JUMP
00001873: JUMPDEST
00001874: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001889: AND
0000188a: PUSH1 0x00
0000188c: DUP1
0000188d: SLOAD
0000188e: SWAP1
0000188f: PUSH2 0x0100
00001892: EXP
00001893: SWAP1
00001894: DIV
00001895: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018aa: AND
000018ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c0: AND
000018c1: EQ
000018c2: PUSH2 0x1933
000018c5: JUMPI
000018c6: PUSH1 0x40
000018c8: MLOAD
000018c9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018ea: DUP2
000018eb: MSTORE
000018ec: PUSH1 0x04
000018ee: ADD
000018ef: DUP1
000018f0: DUP1
000018f1: PUSH1 0x20
000018f3: ADD
000018f4: DUP3
000018f5: DUP2
000018f6: SUB
000018f7: DUP3
000018f8: MSTORE
000018f9: PUSH1 0x20
000018fb: DUP2
000018fc: MSTORE
000018fd: PUSH1 0x20
000018ff: ADD
00001900: DUP1
00001901: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001922: DUP2
00001923: MSTORE
00001924: POP
00001925: PUSH1 0x20
00001927: ADD
00001928: SWAP2
00001929: POP
0000192a: POP
0000192b: PUSH1 0x40
0000192d: MLOAD
0000192e: DUP1
0000192f: SWAP2
00001930: SUB
00001931: SWAP1
00001932: REVERT
00001933: JUMPDEST
00001934: PUSH1 0x07
00001936: PUSH1 0x00
00001938: DUP3
00001939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000194e: AND
0000194f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001964: AND
00001965: DUP2
00001966: MSTORE
00001967: PUSH1 0x20
00001969: ADD
0000196a: SWAP1
0000196b: DUP2
0000196c: MSTORE
0000196d: PUSH1 0x20
0000196f: ADD
00001970: PUSH1 0x00
00001972: KECCAK256
00001973: PUSH1 0x00
00001975: SWAP1
00001976: SLOAD
00001977: SWAP1
00001978: PUSH2 0x0100
0000197b: EXP
0000197c: SWAP1
0000197d: DIV
0000197e: PUSH1 0xff
00001980: AND
00001981: ISZERO
00001982: PUSH2 0x19f3
00001985: JUMPI
00001986: PUSH1 0x40
00001988: MLOAD
00001989: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019aa: DUP2
000019ab: MSTORE
000019ac: PUSH1 0x04
000019ae: ADD
000019af: DUP1
000019b0: DUP1
000019b1: PUSH1 0x20
000019b3: ADD
000019b4: DUP3
000019b5: DUP2
000019b6: SUB
000019b7: DUP3
000019b8: MSTORE
000019b9: PUSH1 0x1b
000019bb: DUP2
000019bc: MSTORE
000019bd: PUSH1 0x20
000019bf: ADD
000019c0: DUP1
000019c1: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
000019e2: DUP2
000019e3: MSTORE
000019e4: POP
000019e5: PUSH1 0x20
000019e7: ADD
000019e8: SWAP2
000019e9: POP
000019ea: POP
000019eb: PUSH1 0x40
000019ed: MLOAD
000019ee: DUP1
000019ef: SWAP2
000019f0: SUB
000019f1: SWAP1
000019f2: REVERT
000019f3: JUMPDEST
000019f4: PUSH1 0x00
000019f6: PUSH1 0x03
000019f8: PUSH1 0x00
000019fa: DUP4
000019fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a10: AND
00001a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a26: AND
00001a27: DUP2
00001a28: MSTORE
00001a29: PUSH1 0x20
00001a2b: ADD
00001a2c: SWAP1
00001a2d: DUP2
00001a2e: MSTORE
00001a2f: PUSH1 0x20
00001a31: ADD
00001a32: PUSH1 0x00
00001a34: KECCAK256
00001a35: SLOAD
00001a36: GT
00001a37: ISZERO
00001a38: PUSH2 0x1ac7
00001a3b: JUMPI
00001a3c: PUSH2 0x1a83
00001a3f: PUSH1 0x03
00001a41: PUSH1 0x00
00001a43: DUP4
00001a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a59: AND
00001a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6f: AND
00001a70: DUP2
00001a71: MSTORE
00001a72: PUSH1 0x20
00001a74: ADD
00001a75: SWAP1
00001a76: DUP2
00001a77: MSTORE
00001a78: PUSH1 0x20
00001a7a: ADD
00001a7b: PUSH1 0x00
00001a7d: KECCAK256
00001a7e: SLOAD
00001a7f: PUSH2 0x0feb
00001a82: JUMP
00001a83: JUMPDEST
00001a84: PUSH1 0x04
00001a86: PUSH1 0x00
00001a88: DUP4
00001a89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9e: AND
00001a9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab4: AND
00001ab5: DUP2
00001ab6: MSTORE
00001ab7: PUSH1 0x20
00001ab9: ADD
00001aba: SWAP1
00001abb: DUP2
00001abc: MSTORE
00001abd: PUSH1 0x20
00001abf: ADD
00001ac0: PUSH1 0x00
00001ac2: KECCAK256
00001ac3: DUP2
00001ac4: SWAP1
00001ac5: SSTORE
00001ac6: POP
00001ac7: JUMPDEST
00001ac8: PUSH1 0x01
00001aca: PUSH1 0x07
00001acc: PUSH1 0x00
00001ace: DUP4
00001acf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ae4: AND
00001ae5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001afa: AND
00001afb: DUP2
00001afc: MSTORE
00001afd: PUSH1 0x20
00001aff: ADD
00001b00: SWAP1
00001b01: DUP2
00001b02: MSTORE
00001b03: PUSH1 0x20
00001b05: ADD
00001b06: PUSH1 0x00
00001b08: KECCAK256
00001b09: PUSH1 0x00
00001b0b: PUSH2 0x0100
00001b0e: EXP
00001b0f: DUP2
00001b10: SLOAD
00001b11: DUP2
00001b12: PUSH1 0xff
00001b14: MUL
00001b15: NOT
00001b16: AND
00001b17: SWAP1
00001b18: DUP4
00001b19: ISZERO
00001b1a: ISZERO
00001b1b: MUL
00001b1c: OR
00001b1d: SWAP1
00001b1e: SSTORE
00001b1f: POP
00001b20: PUSH1 0x08
00001b22: DUP2
00001b23: SWAP1
00001b24: DUP1
00001b25: PUSH1 0x01
00001b27: DUP2
00001b28: SLOAD
00001b29: ADD
00001b2a: DUP1
00001b2b: DUP3
00001b2c: SSTORE
00001b2d: DUP1
00001b2e: SWAP2
00001b2f: POP
00001b30: POP
00001b31: PUSH1 0x01
00001b33: SWAP1
00001b34: SUB
00001b35: SWAP1
00001b36: PUSH1 0x00
00001b38: MSTORE
00001b39: PUSH1 0x20
00001b3b: PUSH1 0x00
00001b3d: KECCAK256
00001b3e: ADD
00001b3f: PUSH1 0x00
00001b41: SWAP1
00001b42: SWAP2
00001b43: SWAP1
00001b44: SWAP2
00001b45: SWAP1
00001b46: SWAP2
00001b47: PUSH2 0x0100
00001b4a: EXP
00001b4b: DUP2
00001b4c: SLOAD
00001b4d: DUP2
00001b4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b63: MUL
00001b64: NOT
00001b65: AND
00001b66: SWAP1
00001b67: DUP4
00001b68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b7d: AND
00001b7e: MUL
00001b7f: OR
00001b80: SWAP1
00001b81: SSTORE
00001b82: POP
00001b83: POP
00001b84: JUMP
00001b85: JUMPDEST
00001b86: PUSH1 0x00
00001b88: PUSH1 0x06
00001b8a: PUSH1 0x00
00001b8c: DUP4
00001b8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba2: AND
00001ba3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bb8: AND
00001bb9: DUP2
00001bba: MSTORE
00001bbb: PUSH1 0x20
00001bbd: ADD
00001bbe: SWAP1
00001bbf: DUP2
00001bc0: MSTORE
00001bc1: PUSH1 0x20
00001bc3: ADD
00001bc4: PUSH1 0x00
00001bc6: KECCAK256
00001bc7: PUSH1 0x00
00001bc9: SWAP1
00001bca: SLOAD
00001bcb: SWAP1
00001bcc: PUSH2 0x0100
00001bcf: EXP
00001bd0: SWAP1
00001bd1: DIV
00001bd2: PUSH1 0xff
00001bd4: AND
00001bd5: SWAP1
00001bd6: POP
00001bd7: SWAP2
00001bd8: SWAP1
00001bd9: POP
00001bda: JUMP
00001bdb: JUMPDEST
00001bdc: PUSH1 0x11
00001bde: SLOAD
00001bdf: DUP2
00001be0: JUMP
00001be1: JUMPDEST
00001be2: PUSH1 0x00
00001be4: PUSH1 0x07
00001be6: PUSH1 0x00
00001be8: DUP4
00001be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bfe: AND
00001bff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c14: AND
00001c15: DUP2
00001c16: MSTORE
00001c17: PUSH1 0x20
00001c19: ADD
00001c1a: SWAP1
00001c1b: DUP2
00001c1c: MSTORE
00001c1d: PUSH1 0x20
00001c1f: ADD
00001c20: PUSH1 0x00
00001c22: KECCAK256
00001c23: PUSH1 0x00
00001c25: SWAP1
00001c26: SLOAD
00001c27: SWAP1
00001c28: PUSH2 0x0100
00001c2b: EXP
00001c2c: SWAP1
00001c2d: DIV
00001c2e: PUSH1 0xff
00001c30: AND
00001c31: ISZERO
00001c32: PUSH2 0x1c7c
00001c35: JUMPI
00001c36: PUSH1 0x04
00001c38: PUSH1 0x00
00001c3a: DUP4
00001c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c50: AND
00001c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c66: AND
00001c67: DUP2
00001c68: MSTORE
00001c69: PUSH1 0x20
00001c6b: ADD
00001c6c: SWAP1
00001c6d: DUP2
00001c6e: MSTORE
00001c6f: PUSH1 0x20
00001c71: ADD
00001c72: PUSH1 0x00
00001c74: KECCAK256
00001c75: SLOAD
00001c76: SWAP1
00001c77: POP
00001c78: PUSH2 0x1cc7
00001c7b: JUMP
00001c7c: JUMPDEST
00001c7d: PUSH2 0x1cc4
00001c80: PUSH1 0x03
00001c82: PUSH1 0x00
00001c84: DUP5
00001c85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c9a: AND
00001c9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb0: AND
00001cb1: DUP2
00001cb2: MSTORE
00001cb3: PUSH1 0x20
00001cb5: ADD
00001cb6: SWAP1
00001cb7: DUP2
00001cb8: MSTORE
00001cb9: PUSH1 0x20
00001cbb: ADD
00001cbc: PUSH1 0x00
00001cbe: KECCAK256
00001cbf: SLOAD
00001cc0: PUSH2 0x0feb
00001cc3: JUMP
00001cc4: JUMPDEST
00001cc5: SWAP1
00001cc6: POP
00001cc7: JUMPDEST
00001cc8: SWAP2
00001cc9: SWAP1
00001cca: POP
00001ccb: JUMP
00001ccc: JUMPDEST
00001ccd: PUSH2 0x1cd4
00001cd0: PUSH2 0x2b1a
00001cd3: JUMP
00001cd4: JUMPDEST
00001cd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cea: AND
00001ceb: PUSH1 0x00
00001ced: DUP1
00001cee: SLOAD
00001cef: SWAP1
00001cf0: PUSH2 0x0100
00001cf3: EXP
00001cf4: SWAP1
00001cf5: DIV
00001cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0b: AND
00001d0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d21: AND
00001d22: EQ
00001d23: PUSH2 0x1d94
00001d26: JUMPI
00001d27: PUSH1 0x40
00001d29: MLOAD
00001d2a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d4b: DUP2
00001d4c: MSTORE
00001d4d: PUSH1 0x04
00001d4f: ADD
00001d50: DUP1
00001d51: DUP1
00001d52: PUSH1 0x20
00001d54: ADD
00001d55: DUP3
00001d56: DUP2
00001d57: SUB
00001d58: DUP3
00001d59: MSTORE
00001d5a: PUSH1 0x20
00001d5c: DUP2
00001d5d: MSTORE
00001d5e: PUSH1 0x20
00001d60: ADD
00001d61: DUP1
00001d62: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001d83: DUP2
00001d84: MSTORE
00001d85: POP
00001d86: PUSH1 0x20
00001d88: ADD
00001d89: SWAP2
00001d8a: POP
00001d8b: POP
00001d8c: PUSH1 0x40
00001d8e: MLOAD
00001d8f: DUP1
00001d90: SWAP2
00001d91: SUB
00001d92: SWAP1
00001d93: REVERT
00001d94: JUMPDEST
00001d95: PUSH1 0x00
00001d97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dac: AND
00001dad: PUSH1 0x00
00001daf: DUP1
00001db0: SLOAD
00001db1: SWAP1
00001db2: PUSH2 0x0100
00001db5: EXP
00001db6: SWAP1
00001db7: DIV
00001db8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dcd: AND
00001dce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de3: AND
00001de4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001e05: PUSH1 0x40
00001e07: MLOAD
00001e08: PUSH1 0x40
00001e0a: MLOAD
00001e0b: DUP1
00001e0c: SWAP2
00001e0d: SUB
00001e0e: SWAP1
00001e0f: LOG3
00001e10: PUSH1 0x00
00001e12: DUP1
00001e13: PUSH1 0x00
00001e15: PUSH2 0x0100
00001e18: EXP
00001e19: DUP2
00001e1a: SLOAD
00001e1b: DUP2
00001e1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e31: MUL
00001e32: NOT
00001e33: AND
00001e34: SWAP1
00001e35: DUP4
00001e36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e4b: AND
00001e4c: MUL
00001e4d: OR
00001e4e: SWAP1
00001e4f: SSTORE
00001e50: POP
00001e51: JUMP
00001e52: JUMPDEST
00001e53: PUSH1 0x14
00001e55: SLOAD
00001e56: DUP2
00001e57: JUMP
00001e58: JUMPDEST
00001e59: PUSH1 0x00
00001e5b: PUSH1 0x07
00001e5d: PUSH1 0x00
00001e5f: DUP4
00001e60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e75: AND
00001e76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e8b: AND
00001e8c: DUP2
00001e8d: MSTORE
00001e8e: PUSH1 0x20
00001e90: ADD
00001e91: SWAP1
00001e92: DUP2
00001e93: MSTORE
00001e94: PUSH1 0x20
00001e96: ADD
00001e97: PUSH1 0x00
00001e99: KECCAK256
00001e9a: PUSH1 0x00
00001e9c: SWAP1
00001e9d: SLOAD
00001e9e: SWAP1
00001e9f: PUSH2 0x0100
00001ea2: EXP
00001ea3: SWAP1
00001ea4: DIV
00001ea5: PUSH1 0xff
00001ea7: AND
00001ea8: SWAP1
00001ea9: POP
00001eaa: SWAP2
00001eab: SWAP1
00001eac: POP
00001ead: JUMP
00001eae: JUMPDEST
00001eaf: PUSH1 0x00
00001eb1: DUP1
00001eb2: PUSH1 0x00
00001eb4: SWAP1
00001eb5: SLOAD
00001eb6: SWAP1
00001eb7: PUSH2 0x0100
00001eba: EXP
00001ebb: SWAP1
00001ebc: DIV
00001ebd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed2: AND
00001ed3: SWAP1
00001ed4: POP
00001ed5: SWAP1
00001ed6: JUMP
00001ed7: JUMPDEST
00001ed8: PUSH2 0x1edf
00001edb: PUSH2 0x2b1a
00001ede: JUMP
00001edf: JUMPDEST
00001ee0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef5: AND
00001ef6: PUSH1 0x00
00001ef8: DUP1
00001ef9: SLOAD
00001efa: SWAP1
00001efb: PUSH2 0x0100
00001efe: EXP
00001eff: SWAP1
00001f00: DIV
00001f01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f16: AND
00001f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f2c: AND
00001f2d: EQ
00001f2e: PUSH2 0x1f9f
00001f31: JUMPI
00001f32: PUSH1 0x40
00001f34: MLOAD
00001f35: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f56: DUP2
00001f57: MSTORE
00001f58: PUSH1 0x04
00001f5a: ADD
00001f5b: DUP1
00001f5c: DUP1
00001f5d: PUSH1 0x20
00001f5f: ADD
00001f60: DUP3
00001f61: DUP2
00001f62: SUB
00001f63: DUP3
00001f64: MSTORE
00001f65: PUSH1 0x20
00001f67: DUP2
00001f68: MSTORE
00001f69: PUSH1 0x20
00001f6b: ADD
00001f6c: DUP1
00001f6d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001f8e: DUP2
00001f8f: MSTORE
00001f90: POP
00001f91: PUSH1 0x20
00001f93: ADD
00001f94: SWAP2
00001f95: POP
00001f96: POP
00001f97: PUSH1 0x40
00001f99: MLOAD
00001f9a: DUP1
00001f9b: SWAP2
00001f9c: SUB
00001f9d: SWAP1
00001f9e: REVERT
00001f9f: JUMPDEST
00001fa0: DUP1
00001fa1: PUSH1 0x11
00001fa3: DUP2
00001fa4: SWAP1
00001fa5: SSTORE
00001fa6: POP
00001fa7: POP
00001fa8: JUMP
00001fa9: JUMPDEST
00001faa: PUSH1 0x60
00001fac: PUSH1 0x0d
00001fae: DUP1
00001faf: SLOAD
00001fb0: PUSH1 0x01
00001fb2: DUP2
00001fb3: PUSH1 0x01
00001fb5: AND
00001fb6: ISZERO
00001fb7: PUSH2 0x0100
00001fba: MUL
00001fbb: SUB
00001fbc: AND
00001fbd: PUSH1 0x02
00001fbf: SWAP1
00001fc0: DIV
00001fc1: DUP1
00001fc2: PUSH1 0x1f
00001fc4: ADD
00001fc5: PUSH1 0x20
00001fc7: DUP1
00001fc8: SWAP2
00001fc9: DIV
00001fca: MUL
00001fcb: PUSH1 0x20
00001fcd: ADD
00001fce: PUSH1 0x40
00001fd0: MLOAD
00001fd1: SWAP1
00001fd2: DUP2
00001fd3: ADD
00001fd4: PUSH1 0x40
00001fd6: MSTORE
00001fd7: DUP1
00001fd8: SWAP3
00001fd9: SWAP2
00001fda: SWAP1
00001fdb: DUP2
00001fdc: DUP2
00001fdd: MSTORE
00001fde: PUSH1 0x20
00001fe0: ADD
00001fe1: DUP3
00001fe2: DUP1
00001fe3: SLOAD
00001fe4: PUSH1 0x01
00001fe6: DUP2
00001fe7: PUSH1 0x01
00001fe9: AND
00001fea: ISZERO
00001feb: PUSH2 0x0100
00001fee: MUL
00001fef: SUB
00001ff0: AND
00001ff1: PUSH1 0x02
00001ff3: SWAP1
00001ff4: DIV
00001ff5: DUP1
00001ff6: ISZERO
00001ff7: PUSH2 0x2041
00001ffa: JUMPI
00001ffb: DUP1
00001ffc: PUSH1 0x1f
00001ffe: LT
00001fff: PUSH2 0x2016
00002002: JUMPI
00002003: PUSH2 0x0100
00002006: DUP1
00002007: DUP4
00002008: SLOAD
00002009: DIV
0000200a: MUL
0000200b: DUP4
0000200c: MSTORE
0000200d: SWAP2
0000200e: PUSH1 0x20
00002010: ADD
00002011: SWAP2
00002012: PUSH2 0x2041
00002015: JUMP
00002016: JUMPDEST
00002017: DUP3
00002018: ADD
00002019: SWAP2
0000201a: SWAP1
0000201b: PUSH1 0x00
0000201d: MSTORE
0000201e: PUSH1 0x20
00002020: PUSH1 0x00
00002022: KECCAK256
00002023: SWAP1
00002024: JUMPDEST
00002025: DUP2
00002026: SLOAD
00002027: DUP2
00002028: MSTORE
00002029: SWAP1
0000202a: PUSH1 0x01
0000202c: ADD
0000202d: SWAP1
0000202e: PUSH1 0x20
00002030: ADD
00002031: DUP1
00002032: DUP4
00002033: GT
00002034: PUSH2 0x2024
00002037: JUMPI
00002038: DUP3
00002039: SWAP1
0000203a: SUB
0000203b: PUSH1 0x1f
0000203d: AND
0000203e: DUP3
0000203f: ADD
00002040: SWAP2
00002041: JUMPDEST
00002042: POP
00002043: POP
00002044: POP
00002045: POP
00002046: POP
00002047: SWAP1
00002048: POP
00002049: SWAP1
0000204a: JUMP
0000204b: JUMPDEST
0000204c: PUSH1 0x00
0000204e: PUSH2 0x210e
00002051: PUSH2 0x2058
00002054: PUSH2 0x2b1a
00002057: JUMP
00002058: JUMPDEST
00002059: DUP5
0000205a: PUSH2 0x2109
0000205d: DUP6
0000205e: PUSH1 0x40
00002060: MLOAD
00002061: DUP1
00002062: PUSH1 0x60
00002064: ADD
00002065: PUSH1 0x40
00002067: MSTORE
00002068: DUP1
00002069: PUSH1 0x25
0000206b: DUP2
0000206c: MSTORE
0000206d: PUSH1 0x20
0000206f: ADD
00002070: PUSH2 0x4dd3
00002073: PUSH1 0x25
00002075: SWAP2
00002076: CODECOPY
00002077: PUSH1 0x05
00002079: PUSH1 0x00
0000207b: PUSH2 0x2082
0000207e: PUSH2 0x2b1a
00002081: JUMP
00002082: JUMPDEST
00002083: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002098: AND
00002099: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ae: AND
000020af: DUP2
000020b0: MSTORE
000020b1: PUSH1 0x20
000020b3: ADD
000020b4: SWAP1
000020b5: DUP2
000020b6: MSTORE
000020b7: PUSH1 0x20
000020b9: ADD
000020ba: PUSH1 0x00
000020bc: KECCAK256
000020bd: PUSH1 0x00
000020bf: DUP11
000020c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020d5: AND
000020d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020eb: AND
000020ec: DUP2
000020ed: MSTORE
000020ee: PUSH1 0x20
000020f0: ADD
000020f1: SWAP1
000020f2: DUP2
000020f3: MSTORE
000020f4: PUSH1 0x20
000020f6: ADD
000020f7: PUSH1 0x00
000020f9: KECCAK256
000020fa: SLOAD
000020fb: PUSH2 0x30de
000020fe: SWAP1
000020ff: SWAP3
00002100: SWAP2
00002101: SWAP1
00002102: PUSH4 0xffffffff
00002107: AND
00002108: JUMP
00002109: JUMPDEST
0000210a: PUSH2 0x2b22
0000210d: JUMP
0000210e: JUMPDEST
0000210f: PUSH1 0x01
00002111: SWAP1
00002112: POP
00002113: SWAP3
00002114: SWAP2
00002115: POP
00002116: POP
00002117: JUMP
00002118: JUMPDEST
00002119: CALLER
0000211a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000212f: AND
00002130: PUSH1 0x01
00002132: PUSH1 0x00
00002134: SWAP1
00002135: SLOAD
00002136: SWAP1
00002137: PUSH2 0x0100
0000213a: EXP
0000213b: SWAP1
0000213c: DIV
0000213d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002152: AND
00002153: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002168: AND
00002169: EQ
0000216a: PUSH2 0x21be
0000216d: JUMPI
0000216e: PUSH1 0x40
00002170: MLOAD
00002171: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002192: DUP2
00002193: MSTORE
00002194: PUSH1 0x04
00002196: ADD
00002197: DUP1
00002198: DUP1
00002199: PUSH1 0x20
0000219b: ADD
0000219c: DUP3
0000219d: DUP2
0000219e: SUB
0000219f: DUP3
000021a0: MSTORE
000021a1: PUSH1 0x23
000021a3: DUP2
000021a4: MSTORE
000021a5: PUSH1 0x20
000021a7: ADD
000021a8: DUP1
000021a9: PUSH2 0x4db0
000021ac: PUSH1 0x23
000021ae: SWAP2
000021af: CODECOPY
000021b0: PUSH1 0x40
000021b2: ADD
000021b3: SWAP2
000021b4: POP
000021b5: POP
000021b6: PUSH1 0x40
000021b8: MLOAD
000021b9: DUP1
000021ba: SWAP2
000021bb: SUB
000021bc: SWAP1
000021bd: REVERT
000021be: JUMPDEST
000021bf: PUSH1 0x02
000021c1: SLOAD
000021c2: TIMESTAMP
000021c3: GT
000021c4: PUSH2 0x2235
000021c7: JUMPI
000021c8: PUSH1 0x40
000021ca: MLOAD
000021cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021ec: DUP2
000021ed: MSTORE
000021ee: PUSH1 0x04
000021f0: ADD
000021f1: DUP1
000021f2: DUP1
000021f3: PUSH1 0x20
000021f5: ADD
000021f6: DUP3
000021f7: DUP2
000021f8: SUB
000021f9: DUP3
000021fa: MSTORE
000021fb: PUSH1 0x1f
000021fd: DUP2
000021fe: MSTORE
000021ff: PUSH1 0x20
00002201: ADD
00002202: DUP1
00002203: PUSH32 0x436f6e7472616374206973206c6f636b656420756e74696c2037206461797300
00002224: DUP2
00002225: MSTORE
00002226: POP
00002227: PUSH1 0x20
00002229: ADD
0000222a: SWAP2
0000222b: POP
0000222c: POP
0000222d: PUSH1 0x40
0000222f: MLOAD
00002230: DUP1
00002231: SWAP2
00002232: SUB
00002233: SWAP1
00002234: REVERT
00002235: JUMPDEST
00002236: PUSH1 0x01
00002238: PUSH1 0x00
0000223a: SWAP1
0000223b: SLOAD
0000223c: SWAP1
0000223d: PUSH2 0x0100
00002240: EXP
00002241: SWAP1
00002242: DIV
00002243: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002258: AND
00002259: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000226e: AND
0000226f: PUSH1 0x00
00002271: DUP1
00002272: SLOAD
00002273: SWAP1
00002274: PUSH2 0x0100
00002277: EXP
00002278: SWAP1
00002279: DIV
0000227a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000228f: AND
00002290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a5: AND
000022a6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000022c7: PUSH1 0x40
000022c9: MLOAD
000022ca: PUSH1 0x40
000022cc: MLOAD
000022cd: DUP1
000022ce: SWAP2
000022cf: SUB
000022d0: SWAP1
000022d1: LOG3
000022d2: PUSH1 0x01
000022d4: PUSH1 0x00
000022d6: SWAP1
000022d7: SLOAD
000022d8: SWAP1
000022d9: PUSH2 0x0100
000022dc: EXP
000022dd: SWAP1
000022de: DIV
000022df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022f4: AND
000022f5: PUSH1 0x00
000022f7: DUP1
000022f8: PUSH2 0x0100
000022fb: EXP
000022fc: DUP2
000022fd: SLOAD
000022fe: DUP2
000022ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002314: MUL
00002315: NOT
00002316: AND
00002317: SWAP1
00002318: DUP4
00002319: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000232e: AND
0000232f: MUL
00002330: OR
00002331: SWAP1
00002332: SSTORE
00002333: POP
00002334: JUMP
00002335: JUMPDEST
00002336: PUSH1 0x00
00002338: PUSH2 0x2349
0000233b: PUSH2 0x2342
0000233e: PUSH2 0x2b1a
00002341: JUMP
00002342: JUMPDEST
00002343: DUP5
00002344: DUP5
00002345: PUSH2 0x2d19
00002348: JUMP
00002349: JUMPDEST
0000234a: PUSH1 0x01
0000234c: SWAP1
0000234d: POP
0000234e: SWAP3
0000234f: SWAP2
00002350: POP
00002351: POP
00002352: JUMP
00002353: JUMPDEST
00002354: PUSH1 0x00
00002356: PUSH1 0x02
00002358: SLOAD
00002359: SWAP1
0000235a: POP
0000235b: SWAP1
0000235c: JUMP
0000235d: JUMPDEST
0000235e: PUSH2 0x2365
00002361: PUSH2 0x2b1a
00002364: JUMP
00002365: JUMPDEST
00002366: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000237b: AND
0000237c: PUSH1 0x00
0000237e: DUP1
0000237f: SLOAD
00002380: SWAP1
00002381: PUSH2 0x0100
00002384: EXP
00002385: SWAP1
00002386: DIV
00002387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000239c: AND
0000239d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b2: AND
000023b3: EQ
000023b4: PUSH2 0x2425
000023b7: JUMPI
000023b8: PUSH1 0x40
000023ba: MLOAD
000023bb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000023dc: DUP2
000023dd: MSTORE
000023de: PUSH1 0x04
000023e0: ADD
000023e1: DUP1
000023e2: DUP1
000023e3: PUSH1 0x20
000023e5: ADD
000023e6: DUP3
000023e7: DUP2
000023e8: SUB
000023e9: DUP3
000023ea: MSTORE
000023eb: PUSH1 0x20
000023ed: DUP2
000023ee: MSTORE
000023ef: PUSH1 0x20
000023f1: ADD
000023f2: DUP1
000023f3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002414: DUP2
00002415: MSTORE
00002416: POP
00002417: PUSH1 0x20
00002419: ADD
0000241a: SWAP2
0000241b: POP
0000241c: POP
0000241d: PUSH1 0x40
0000241f: MLOAD
00002420: DUP1
00002421: SWAP2
00002422: SUB
00002423: SWAP1
00002424: REVERT
00002425: JUMPDEST
00002426: DUP1
00002427: PUSH1 0x13
00002429: PUSH1 0x01
0000242b: PUSH2 0x0100
0000242e: EXP
0000242f: DUP2
00002430: SLOAD
00002431: DUP2
00002432: PUSH1 0xff
00002434: MUL
00002435: NOT
00002436: AND
00002437: SWAP1
00002438: DUP4
00002439: ISZERO
0000243a: ISZERO
0000243b: MUL
0000243c: OR
0000243d: SWAP1
0000243e: SSTORE
0000243f: POP
00002440: PUSH32 0x53726dfcaf90650aa7eb35524f4d3220f07413c8d6cb404cc8c18bf5591bc159
00002461: DUP2
00002462: PUSH1 0x40
00002464: MLOAD
00002465: DUP1
00002466: DUP3
00002467: ISZERO
00002468: ISZERO
00002469: DUP2
0000246a: MSTORE
0000246b: PUSH1 0x20
0000246d: ADD
0000246e: SWAP2
0000246f: POP
00002470: POP
00002471: PUSH1 0x40
00002473: MLOAD
00002474: DUP1
00002475: SWAP2
00002476: SUB
00002477: SWAP1
00002478: LOG1
00002479: POP
0000247a: JUMP
0000247b: JUMPDEST
0000247c: PUSH2 0x2483
0000247f: PUSH2 0x2b1a
00002482: JUMP
00002483: JUMPDEST
00002484: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002499: AND
0000249a: PUSH1 0x00
0000249c: DUP1
0000249d: SLOAD
0000249e: SWAP1
0000249f: PUSH2 0x0100
000024a2: EXP
000024a3: SWAP1
000024a4: DIV
000024a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ba: AND
000024bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d0: AND
000024d1: EQ
000024d2: PUSH2 0x2543
000024d5: JUMPI
000024d6: PUSH1 0x40
000024d8: MLOAD
000024d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024fa: DUP2
000024fb: MSTORE
000024fc: PUSH1 0x04
000024fe: ADD
000024ff: DUP1
00002500: DUP1
00002501: PUSH1 0x20
00002503: ADD
00002504: DUP3
00002505: DUP2
00002506: SUB
00002507: DUP3
00002508: MSTORE
00002509: PUSH1 0x20
0000250b: DUP2
0000250c: MSTORE
0000250d: PUSH1 0x20
0000250f: ADD
00002510: DUP1
00002511: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002532: DUP2
00002533: MSTORE
00002534: POP
00002535: PUSH1 0x20
00002537: ADD
00002538: SWAP2
00002539: POP
0000253a: POP
0000253b: PUSH1 0x40
0000253d: MLOAD
0000253e: DUP1
0000253f: SWAP2
00002540: SUB
00002541: SWAP1
00002542: REVERT
00002543: JUMPDEST
00002544: PUSH2 0x256b
00002547: PUSH1 0x64
00002549: PUSH2 0x255d
0000254c: DUP4
0000254d: PUSH1 0x09
0000254f: SLOAD
00002550: PUSH2 0x3341
00002553: SWAP1
00002554: SWAP2
00002555: SWAP1
00002556: PUSH4 0xffffffff
0000255b: AND
0000255c: JUMP
0000255d: JUMPDEST
0000255e: PUSH2 0x31c9
00002561: SWAP1
00002562: SWAP2
00002563: SWAP1
00002564: PUSH4 0xffffffff
00002569: AND
0000256a: JUMP
0000256b: JUMPDEST
0000256c: PUSH1 0x14
0000256e: DUP2
0000256f: SWAP1
00002570: SSTORE
00002571: POP
00002572: POP
00002573: JUMP
00002574: JUMPDEST
00002575: PUSH2 0x257c
00002578: PUSH2 0x2b1a
0000257b: JUMP
0000257c: JUMPDEST
0000257d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002592: AND
00002593: PUSH1 0x00
00002595: DUP1
00002596: SLOAD
00002597: SWAP1
00002598: PUSH2 0x0100
0000259b: EXP
0000259c: SWAP1
0000259d: DIV
0000259e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025b3: AND
000025b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025c9: AND
000025ca: EQ
000025cb: PUSH2 0x263c
000025ce: JUMPI
000025cf: PUSH1 0x40
000025d1: MLOAD
000025d2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025f3: DUP2
000025f4: MSTORE
000025f5: PUSH1 0x04
000025f7: ADD
000025f8: DUP1
000025f9: DUP1
000025fa: PUSH1 0x20
000025fc: ADD
000025fd: DUP3
000025fe: DUP2
000025ff: SUB
00002600: DUP3
00002601: MSTORE
00002602: PUSH1 0x20
00002604: DUP2
00002605: MSTORE
00002606: PUSH1 0x20
00002608: ADD
00002609: DUP1
0000260a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000262b: DUP2
0000262c: MSTORE
0000262d: POP
0000262e: PUSH1 0x20
00002630: ADD
00002631: SWAP2
00002632: POP
00002633: POP
00002634: PUSH1 0x40
00002636: MLOAD
00002637: DUP1
00002638: SWAP2
00002639: SUB
0000263a: SWAP1
0000263b: REVERT
0000263c: JUMPDEST
0000263d: PUSH1 0x00
0000263f: DUP1
00002640: SLOAD
00002641: SWAP1
00002642: PUSH2 0x0100
00002645: EXP
00002646: SWAP1
00002647: DIV
00002648: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000265d: AND
0000265e: PUSH1 0x01
00002660: PUSH1 0x00
00002662: PUSH2 0x0100
00002665: EXP
00002666: DUP2
00002667: SLOAD
00002668: DUP2
00002669: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000267e: MUL
0000267f: NOT
00002680: AND
00002681: SWAP1
00002682: DUP4
00002683: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002698: AND
00002699: MUL
0000269a: OR
0000269b: SWAP1
0000269c: SSTORE
0000269d: POP
0000269e: PUSH1 0x00
000026a0: DUP1
000026a1: PUSH1 0x00
000026a3: PUSH2 0x0100
000026a6: EXP
000026a7: DUP2
000026a8: SLOAD
000026a9: DUP2
000026aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026bf: MUL
000026c0: NOT
000026c1: AND
000026c2: SWAP1
000026c3: DUP4
000026c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026d9: AND
000026da: MUL
000026db: OR
000026dc: SWAP1
000026dd: SSTORE
000026de: POP
000026df: DUP1
000026e0: TIMESTAMP
000026e1: ADD
000026e2: PUSH1 0x02
000026e4: DUP2
000026e5: SWAP1
000026e6: SSTORE
000026e7: POP
000026e8: PUSH1 0x00
000026ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026ff: AND
00002700: PUSH1 0x00
00002702: DUP1
00002703: SLOAD
00002704: SWAP1
00002705: PUSH2 0x0100
00002708: EXP
00002709: SWAP1
0000270a: DIV
0000270b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002720: AND
00002721: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002736: AND
00002737: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002758: PUSH1 0x40
0000275a: MLOAD
0000275b: PUSH1 0x40
0000275d: MLOAD
0000275e: DUP1
0000275f: SWAP2
00002760: SUB
00002761: SWAP1
00002762: LOG3
00002763: POP
00002764: JUMP
00002765: JUMPDEST
00002766: PUSH1 0x00
00002768: PUSH1 0x05
0000276a: PUSH1 0x00
0000276c: DUP5
0000276d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002782: AND
00002783: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002798: AND
00002799: DUP2
0000279a: MSTORE
0000279b: PUSH1 0x20
0000279d: ADD
0000279e: SWAP1
0000279f: DUP2
000027a0: MSTORE
000027a1: PUSH1 0x20
000027a3: ADD
000027a4: PUSH1 0x00
000027a6: KECCAK256
000027a7: PUSH1 0x00
000027a9: DUP4
000027aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027bf: AND
000027c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d5: AND
000027d6: DUP2
000027d7: MSTORE
000027d8: PUSH1 0x20
000027da: ADD
000027db: SWAP1
000027dc: DUP2
000027dd: MSTORE
000027de: PUSH1 0x20
000027e0: ADD
000027e1: PUSH1 0x00
000027e3: KECCAK256
000027e4: SLOAD
000027e5: SWAP1
000027e6: POP
000027e7: SWAP3
000027e8: SWAP2
000027e9: POP
000027ea: POP
000027eb: JUMP
000027ec: JUMPDEST
000027ed: PUSH2 0x27f4
000027f0: PUSH2 0x2b1a
000027f3: JUMP
000027f4: JUMPDEST
000027f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000280a: AND
0000280b: PUSH1 0x00
0000280d: DUP1
0000280e: SLOAD
0000280f: SWAP1
00002810: PUSH2 0x0100
00002813: EXP
00002814: SWAP1
00002815: DIV
00002816: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000282b: AND
0000282c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002841: AND
00002842: EQ
00002843: PUSH2 0x28b4
00002846: JUMPI
00002847: PUSH1 0x40
00002849: MLOAD
0000284a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000286b: DUP2
0000286c: MSTORE
0000286d: PUSH1 0x04
0000286f: ADD
00002870: DUP1
00002871: DUP1
00002872: PUSH1 0x20
00002874: ADD
00002875: DUP3
00002876: DUP2
00002877: SUB
00002878: DUP3
00002879: MSTORE
0000287a: PUSH1 0x20
0000287c: DUP2
0000287d: MSTORE
0000287e: PUSH1 0x20
00002880: ADD
00002881: DUP1
00002882: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000028a3: DUP2
000028a4: MSTORE
000028a5: POP
000028a6: PUSH1 0x20
000028a8: ADD
000028a9: SWAP2
000028aa: POP
000028ab: POP
000028ac: PUSH1 0x40
000028ae: MLOAD
000028af: DUP1
000028b0: SWAP2
000028b1: SUB
000028b2: SWAP1
000028b3: REVERT
000028b4: JUMPDEST
000028b5: PUSH1 0x00
000028b7: PUSH1 0x06
000028b9: PUSH1 0x00
000028bb: DUP4
000028bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028d1: AND
000028d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e7: AND
000028e8: DUP2
000028e9: MSTORE
000028ea: PUSH1 0x20
000028ec: ADD
000028ed: SWAP1
000028ee: DUP2
000028ef: MSTORE
000028f0: PUSH1 0x20
000028f2: ADD
000028f3: PUSH1 0x00
000028f5: KECCAK256
000028f6: PUSH1 0x00
000028f8: PUSH2 0x0100
000028fb: EXP
000028fc: DUP2
000028fd: SLOAD
000028fe: DUP2
000028ff: PUSH1 0xff
00002901: MUL
00002902: NOT
00002903: AND
00002904: SWAP1
00002905: DUP4
00002906: ISZERO
00002907: ISZERO
00002908: MUL
00002909: OR
0000290a: SWAP1
0000290b: SSTORE
0000290c: POP
0000290d: POP
0000290e: JUMP
0000290f: JUMPDEST
00002910: PUSH2 0x2917
00002913: PUSH2 0x2b1a
00002916: JUMP
00002917: JUMPDEST
00002918: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000292d: AND
0000292e: PUSH1 0x00
00002930: DUP1
00002931: SLOAD
00002932: SWAP1
00002933: PUSH2 0x0100
00002936: EXP
00002937: SWAP1
00002938: DIV
00002939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000294e: AND
0000294f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002964: AND
00002965: EQ
00002966: PUSH2 0x29d7
00002969: JUMPI
0000296a: PUSH1 0x40
0000296c: MLOAD
0000296d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000298e: DUP2
0000298f: MSTORE
00002990: PUSH1 0x04
00002992: ADD
00002993: DUP1
00002994: DUP1
00002995: PUSH1 0x20
00002997: ADD
00002998: DUP3
00002999: DUP2
0000299a: SUB
0000299b: DUP3
0000299c: MSTORE
0000299d: PUSH1 0x20
0000299f: DUP2
000029a0: MSTORE
000029a1: PUSH1 0x20
000029a3: ADD
000029a4: DUP1
000029a5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000029c6: DUP2
000029c7: MSTORE
000029c8: POP
000029c9: PUSH1 0x20
000029cb: ADD
000029cc: SWAP2
000029cd: POP
000029ce: POP
000029cf: PUSH1 0x40
000029d1: MLOAD
000029d2: DUP1
000029d3: SWAP2
000029d4: SUB
000029d5: SWAP1
000029d6: REVERT
000029d7: JUMPDEST
000029d8: PUSH1 0x00
000029da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029ef: AND
000029f0: DUP2
000029f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a06: AND
00002a07: EQ
00002a08: ISZERO
00002a09: PUSH2 0x2a5d
00002a0c: JUMPI
00002a0d: PUSH1 0x40
00002a0f: MLOAD
00002a10: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a31: DUP2
00002a32: MSTORE
00002a33: PUSH1 0x04
00002a35: ADD
00002a36: DUP1
00002a37: DUP1
00002a38: PUSH1 0x20
00002a3a: ADD
00002a3b: DUP3
00002a3c: DUP2
00002a3d: SUB
00002a3e: DUP3
00002a3f: MSTORE
00002a40: PUSH1 0x26
00002a42: DUP2
00002a43: MSTORE
00002a44: PUSH1 0x20
00002a46: ADD
00002a47: DUP1
00002a48: PUSH2 0x4c59
00002a4b: PUSH1 0x26
00002a4d: SWAP2
00002a4e: CODECOPY
00002a4f: PUSH1 0x40
00002a51: ADD
00002a52: SWAP2
00002a53: POP
00002a54: POP
00002a55: PUSH1 0x40
00002a57: MLOAD
00002a58: DUP1
00002a59: SWAP2
00002a5a: SUB
00002a5b: SWAP1
00002a5c: REVERT
00002a5d: JUMPDEST
00002a5e: DUP1
00002a5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a74: AND
00002a75: PUSH1 0x00
00002a77: DUP1
00002a78: SLOAD
00002a79: SWAP1
00002a7a: PUSH2 0x0100
00002a7d: EXP
00002a7e: SWAP1
00002a7f: DIV
00002a80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a95: AND
00002a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aab: AND
00002aac: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002acd: PUSH1 0x40
00002acf: MLOAD
00002ad0: PUSH1 0x40
00002ad2: MLOAD
00002ad3: DUP1
00002ad4: SWAP2
00002ad5: SUB
00002ad6: SWAP1
00002ad7: LOG3
00002ad8: DUP1
00002ad9: PUSH1 0x00
00002adb: DUP1
00002adc: PUSH2 0x0100
00002adf: EXP
00002ae0: DUP2
00002ae1: SLOAD
00002ae2: DUP2
00002ae3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002af8: MUL
00002af9: NOT
00002afa: AND
00002afb: SWAP1
00002afc: DUP4
00002afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b12: AND
00002b13: MUL
00002b14: OR
00002b15: SWAP1
00002b16: SSTORE
00002b17: POP
00002b18: POP
00002b19: JUMP
00002b1a: JUMPDEST
00002b1b: PUSH1 0x00
00002b1d: CALLER
00002b1e: SWAP1
00002b1f: POP
00002b20: SWAP1
00002b21: JUMP
00002b22: JUMPDEST
00002b23: PUSH1 0x00
00002b25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b3a: AND
00002b3b: DUP4
00002b3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b51: AND
00002b52: EQ
00002b53: ISZERO
00002b54: PUSH2 0x2ba8
00002b57: JUMPI
00002b58: PUSH1 0x40
00002b5a: MLOAD
00002b5b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b7c: DUP2
00002b7d: MSTORE
00002b7e: PUSH1 0x04
00002b80: ADD
00002b81: DUP1
00002b82: DUP1
00002b83: PUSH1 0x20
00002b85: ADD
00002b86: DUP3
00002b87: DUP2
00002b88: SUB
00002b89: DUP3
00002b8a: MSTORE
00002b8b: PUSH1 0x24
00002b8d: DUP2
00002b8e: MSTORE
00002b8f: PUSH1 0x20
00002b91: ADD
00002b92: DUP1
00002b93: PUSH2 0x4d60
00002b96: PUSH1 0x24
00002b98: SWAP2
00002b99: CODECOPY
00002b9a: PUSH1 0x40
00002b9c: ADD
00002b9d: SWAP2
00002b9e: POP
00002b9f: POP
00002ba0: PUSH1 0x40
00002ba2: MLOAD
00002ba3: DUP1
00002ba4: SWAP2
00002ba5: SUB
00002ba6: SWAP1
00002ba7: REVERT
00002ba8: JUMPDEST
00002ba9: PUSH1 0x00
00002bab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bc0: AND
00002bc1: DUP3
00002bc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bd7: AND
00002bd8: EQ
00002bd9: ISZERO
00002bda: PUSH2 0x2c2e
00002bdd: JUMPI
00002bde: PUSH1 0x40
00002be0: MLOAD
00002be1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c02: DUP2
00002c03: MSTORE
00002c04: PUSH1 0x04
00002c06: ADD
00002c07: DUP1
00002c08: DUP1
00002c09: PUSH1 0x20
00002c0b: ADD
00002c0c: DUP3
00002c0d: DUP2
00002c0e: SUB
00002c0f: DUP3
00002c10: MSTORE
00002c11: PUSH1 0x22
00002c13: DUP2
00002c14: MSTORE
00002c15: PUSH1 0x20
00002c17: ADD
00002c18: DUP1
00002c19: PUSH2 0x4c7f
00002c1c: PUSH1 0x22
00002c1e: SWAP2
00002c1f: CODECOPY
00002c20: PUSH1 0x40
00002c22: ADD
00002c23: SWAP2
00002c24: POP
00002c25: POP
00002c26: PUSH1 0x40
00002c28: MLOAD
00002c29: DUP1
00002c2a: SWAP2
00002c2b: SUB
00002c2c: SWAP1
00002c2d: REVERT
00002c2e: JUMPDEST
00002c2f: DUP1
00002c30: PUSH1 0x05
00002c32: PUSH1 0x00
00002c34: DUP6
00002c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c4a: AND
00002c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c60: AND
00002c61: DUP2
00002c62: MSTORE
00002c63: PUSH1 0x20
00002c65: ADD
00002c66: SWAP1
00002c67: DUP2
00002c68: MSTORE
00002c69: PUSH1 0x20
00002c6b: ADD
00002c6c: PUSH1 0x00
00002c6e: KECCAK256
00002c6f: PUSH1 0x00
00002c71: DUP5
00002c72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c87: AND
00002c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c9d: AND
00002c9e: DUP2
00002c9f: MSTORE
00002ca0: PUSH1 0x20
00002ca2: ADD
00002ca3: SWAP1
00002ca4: DUP2
00002ca5: MSTORE
00002ca6: PUSH1 0x20
00002ca8: ADD
00002ca9: PUSH1 0x00
00002cab: KECCAK256
00002cac: DUP2
00002cad: SWAP1
00002cae: SSTORE
00002caf: POP
00002cb0: DUP2
00002cb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cc6: AND
00002cc7: DUP4
00002cc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cdd: AND
00002cde: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002cff: DUP4
00002d00: PUSH1 0x40
00002d02: MLOAD
00002d03: DUP1
00002d04: DUP3
00002d05: DUP2
00002d06: MSTORE
00002d07: PUSH1 0x20
00002d09: ADD
00002d0a: SWAP2
00002d0b: POP
00002d0c: POP
00002d0d: PUSH1 0x40
00002d0f: MLOAD
00002d10: DUP1
00002d11: SWAP2
00002d12: SUB
00002d13: SWAP1
00002d14: LOG3
00002d15: POP
00002d16: POP
00002d17: POP
00002d18: JUMP
00002d19: JUMPDEST
00002d1a: PUSH1 0x00
00002d1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d31: AND
00002d32: DUP4
00002d33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d48: AND
00002d49: EQ
00002d4a: ISZERO
00002d4b: PUSH2 0x2d9f
00002d4e: JUMPI
00002d4f: PUSH1 0x40
00002d51: MLOAD
00002d52: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d73: DUP2
00002d74: MSTORE
00002d75: PUSH1 0x04
00002d77: ADD
00002d78: DUP1
00002d79: DUP1
00002d7a: PUSH1 0x20
00002d7c: ADD
00002d7d: DUP3
00002d7e: DUP2
00002d7f: SUB
00002d80: DUP3
00002d81: MSTORE
00002d82: PUSH1 0x25
00002d84: DUP2
00002d85: MSTORE
00002d86: PUSH1 0x20
00002d88: ADD
00002d89: DUP1
00002d8a: PUSH2 0x4d3b
00002d8d: PUSH1 0x25
00002d8f: SWAP2
00002d90: CODECOPY
00002d91: PUSH1 0x40
00002d93: ADD
00002d94: SWAP2
00002d95: POP
00002d96: POP
00002d97: PUSH1 0x40
00002d99: MLOAD
00002d9a: DUP1
00002d9b: SWAP2
00002d9c: SUB
00002d9d: SWAP1
00002d9e: REVERT
00002d9f: JUMPDEST
00002da0: PUSH1 0x00
00002da2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002db7: AND
00002db8: DUP3
00002db9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dce: AND
00002dcf: EQ
00002dd0: ISZERO
00002dd1: PUSH2 0x2e25
00002dd4: JUMPI
00002dd5: PUSH1 0x40
00002dd7: MLOAD
00002dd8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002df9: DUP2
00002dfa: MSTORE
00002dfb: PUSH1 0x04
00002dfd: ADD
00002dfe: DUP1
00002dff: DUP1
00002e00: PUSH1 0x20
00002e02: ADD
00002e03: DUP3
00002e04: DUP2
00002e05: SUB
00002e06: DUP3
00002e07: MSTORE
00002e08: PUSH1 0x23
00002e0a: DUP2
00002e0b: MSTORE
00002e0c: PUSH1 0x20
00002e0e: ADD
00002e0f: DUP1
00002e10: PUSH2 0x4c0c
00002e13: PUSH1 0x23
00002e15: SWAP2
00002e16: CODECOPY
00002e17: PUSH1 0x40
00002e19: ADD
00002e1a: SWAP2
00002e1b: POP
00002e1c: POP
00002e1d: PUSH1 0x40
00002e1f: MLOAD
00002e20: DUP1
00002e21: SWAP2
00002e22: SUB
00002e23: SWAP1
00002e24: REVERT
00002e25: JUMPDEST
00002e26: PUSH1 0x00
00002e28: DUP2
00002e29: GT
00002e2a: PUSH2 0x2e7e
00002e2d: JUMPI
00002e2e: PUSH1 0x40
00002e30: MLOAD
00002e31: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e52: DUP2
00002e53: MSTORE
00002e54: PUSH1 0x04
00002e56: ADD
00002e57: DUP1
00002e58: DUP1
00002e59: PUSH1 0x20
00002e5b: ADD
00002e5c: DUP3
00002e5d: DUP2
00002e5e: SUB
00002e5f: DUP3
00002e60: MSTORE
00002e61: PUSH1 0x29
00002e63: DUP2
00002e64: MSTORE
00002e65: PUSH1 0x20
00002e67: ADD
00002e68: DUP1
00002e69: PUSH2 0x4d12
00002e6c: PUSH1 0x29
00002e6e: SWAP2
00002e6f: CODECOPY
00002e70: PUSH1 0x40
00002e72: ADD
00002e73: SWAP2
00002e74: POP
00002e75: POP
00002e76: PUSH1 0x40
00002e78: MLOAD
00002e79: DUP1
00002e7a: SWAP2
00002e7b: SUB
00002e7c: SWAP1
00002e7d: REVERT
00002e7e: JUMPDEST
00002e7f: PUSH2 0x2e86
00002e82: PUSH2 0x1eae
00002e85: JUMP
00002e86: JUMPDEST
00002e87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e9c: AND
00002e9d: DUP4
00002e9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eb3: AND
00002eb4: EQ
00002eb5: ISZERO
00002eb6: DUP1
00002eb7: ISZERO
00002eb8: PUSH2 0x2ef4
00002ebb: JUMPI
00002ebc: POP
00002ebd: PUSH2 0x2ec4
00002ec0: PUSH2 0x1eae
00002ec3: JUMP
00002ec4: JUMPDEST
00002ec5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eda: AND
00002edb: DUP3
00002edc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ef1: AND
00002ef2: EQ
00002ef3: ISZERO
00002ef4: JUMPDEST
00002ef5: ISZERO
00002ef6: PUSH2 0x2f55
00002ef9: JUMPI
00002efa: PUSH1 0x14
00002efc: SLOAD
00002efd: DUP2
00002efe: GT
00002eff: ISZERO
00002f00: PUSH2 0x2f54
00002f03: JUMPI
00002f04: PUSH1 0x40
00002f06: MLOAD
00002f07: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f28: DUP2
00002f29: MSTORE
00002f2a: PUSH1 0x04
00002f2c: ADD
00002f2d: DUP1
00002f2e: DUP1
00002f2f: PUSH1 0x20
00002f31: ADD
00002f32: DUP3
00002f33: DUP2
00002f34: SUB
00002f35: DUP3
00002f36: MSTORE
00002f37: PUSH1 0x28
00002f39: DUP2
00002f3a: MSTORE
00002f3b: PUSH1 0x20
00002f3d: ADD
00002f3e: DUP1
00002f3f: PUSH2 0x4ca1
00002f42: PUSH1 0x28
00002f44: SWAP2
00002f45: CODECOPY
00002f46: PUSH1 0x40
00002f48: ADD
00002f49: SWAP2
00002f4a: POP
00002f4b: POP
00002f4c: PUSH1 0x40
00002f4e: MLOAD
00002f4f: DUP1
00002f50: SWAP2
00002f51: SUB
00002f52: SWAP1
00002f53: REVERT
00002f54: JUMPDEST
00002f55: JUMPDEST
00002f56: PUSH1 0x00
00002f58: PUSH2 0x2f60
00002f5b: ADDRESS
00002f5c: PUSH2 0x1be1
00002f5f: JUMP
00002f60: JUMPDEST
00002f61: SWAP1
00002f62: POP
00002f63: PUSH1 0x14
00002f65: SLOAD
00002f66: DUP2
00002f67: LT
00002f68: PUSH2 0x2f71
00002f6b: JUMPI
00002f6c: PUSH1 0x14
00002f6e: SLOAD
00002f6f: SWAP1
00002f70: POP
00002f71: JUMPDEST
00002f72: PUSH1 0x00
00002f74: PUSH1 0x15
00002f76: SLOAD
00002f77: DUP3
00002f78: LT
00002f79: ISZERO
00002f7a: SWAP1
00002f7b: POP
00002f7c: DUP1
00002f7d: DUP1
00002f7e: ISZERO
00002f7f: PUSH2 0x2f95
00002f82: JUMPI
00002f83: POP
00002f84: PUSH1 0x13
00002f86: PUSH1 0x00
00002f88: SWAP1
00002f89: SLOAD
00002f8a: SWAP1
00002f8b: PUSH2 0x0100
00002f8e: EXP
00002f8f: SWAP1
00002f90: DIV
00002f91: PUSH1 0xff
00002f93: AND
00002f94: ISZERO
00002f95: JUMPDEST
00002f96: DUP1
00002f97: ISZERO
00002f98: PUSH2 0x2fed
00002f9b: JUMPI
00002f9c: POP
00002f9d: PUSH32 0x0000000000000000000000008d7bed5b25b291c7d76578ac02979ec5ea33c97f
00002fbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fd3: AND
00002fd4: DUP6
00002fd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fea: AND
00002feb: EQ
00002fec: ISZERO
00002fed: JUMPDEST
00002fee: DUP1
00002fef: ISZERO
00002ff0: PUSH2 0x3005
00002ff3: JUMPI
00002ff4: POP
00002ff5: PUSH1 0x13
00002ff7: PUSH1 0x01
00002ff9: SWAP1
00002ffa: SLOAD
00002ffb: SWAP1
00002ffc: PUSH2 0x0100
00002fff: EXP
00003000: SWAP1
00003001: DIV
00003002: PUSH1 0xff
00003004: AND
00003005: JUMPDEST
00003006: ISZERO
00003007: PUSH2 0x3019
0000300a: JUMPI
0000300b: PUSH1 0x15
0000300d: SLOAD
0000300e: SWAP2
0000300f: POP
00003010: PUSH2 0x3018
00003013: DUP3
00003014: PUSH2 0x33c7
00003017: JUMP
00003018: JUMPDEST
00003019: JUMPDEST
0000301a: PUSH1 0x00
0000301c: PUSH1 0x01
0000301e: SWAP1
0000301f: POP
00003020: PUSH1 0x06
00003022: PUSH1 0x00
00003024: DUP8
00003025: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000303a: AND
0000303b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003050: AND
00003051: DUP2
00003052: MSTORE
00003053: PUSH1 0x20
00003055: ADD
00003056: SWAP1
00003057: DUP2
00003058: MSTORE
00003059: PUSH1 0x20
0000305b: ADD
0000305c: PUSH1 0x00
0000305e: KECCAK256
0000305f: PUSH1 0x00
00003061: SWAP1
00003062: SLOAD
00003063: SWAP1
00003064: PUSH2 0x0100
00003067: EXP
00003068: SWAP1
00003069: DIV
0000306a: PUSH1 0xff
0000306c: AND
0000306d: DUP1
0000306e: PUSH2 0x30c0
00003071: JUMPI
00003072: POP
00003073: PUSH1 0x06
00003075: PUSH1 0x00
00003077: DUP7
00003078: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000308d: AND
0000308e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030a3: AND
000030a4: DUP2
000030a5: MSTORE
000030a6: PUSH1 0x20
000030a8: ADD
000030a9: SWAP1
000030aa: DUP2
000030ab: MSTORE
000030ac: PUSH1 0x20
000030ae: ADD
000030af: PUSH1 0x00
000030b1: KECCAK256
000030b2: PUSH1 0x00
000030b4: SWAP1
000030b5: SLOAD
000030b6: SWAP1
000030b7: PUSH2 0x0100
000030ba: EXP
000030bb: SWAP1
000030bc: DIV
000030bd: PUSH1 0xff
000030bf: AND
000030c0: JUMPDEST
000030c1: ISZERO
000030c2: PUSH2 0x30ca
000030c5: JUMPI
000030c6: PUSH1 0x00
000030c8: SWAP1
000030c9: POP
000030ca: JUMPDEST
000030cb: PUSH2 0x30d6
000030ce: DUP7
000030cf: DUP7
000030d0: DUP7
000030d1: DUP5
000030d2: PUSH2 0x34a9
000030d5: JUMP
000030d6: JUMPDEST
000030d7: POP
000030d8: POP
000030d9: POP
000030da: POP
000030db: POP
000030dc: POP
000030dd: JUMP
000030de: JUMPDEST
000030df: PUSH1 0x00
000030e1: DUP4
000030e2: DUP4
000030e3: GT
000030e4: ISZERO
000030e5: DUP3
000030e6: SWAP1
000030e7: PUSH2 0x318b
000030ea: JUMPI
000030eb: PUSH1 0x40
000030ed: MLOAD
000030ee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000310f: DUP2
00003110: MSTORE
00003111: PUSH1 0x04
00003113: ADD
00003114: DUP1
00003115: DUP1
00003116: PUSH1 0x20
00003118: ADD
00003119: DUP3
0000311a: DUP2
0000311b: SUB
0000311c: DUP3
0000311d: MSTORE
0000311e: DUP4
0000311f: DUP2
00003120: DUP2
00003121: MLOAD
00003122: DUP2
00003123: MSTORE
00003124: PUSH1 0x20
00003126: ADD
00003127: SWAP2
00003128: POP
00003129: DUP1
0000312a: MLOAD
0000312b: SWAP1
0000312c: PUSH1 0x20
0000312e: ADD
0000312f: SWAP1
00003130: DUP1
00003131: DUP4
00003132: DUP4
00003133: PUSH1 0x00
00003135: JUMPDEST
00003136: DUP4
00003137: DUP2
00003138: LT
00003139: ISZERO
0000313a: PUSH2 0x3150
0000313d: JUMPI
0000313e: DUP1
0000313f: DUP3
00003140: ADD
00003141: MLOAD
00003142: DUP2
00003143: DUP5
00003144: ADD
00003145: MSTORE
00003146: PUSH1 0x20
00003148: DUP2
00003149: ADD
0000314a: SWAP1
0000314b: POP
0000314c: PUSH2 0x3135
0000314f: JUMP
00003150: JUMPDEST
00003151: POP
00003152: POP
00003153: POP
00003154: POP
00003155: SWAP1
00003156: POP
00003157: SWAP1
00003158: DUP2
00003159: ADD
0000315a: SWAP1
0000315b: PUSH1 0x1f
0000315d: AND
0000315e: DUP1
0000315f: ISZERO
00003160: PUSH2 0x317d
00003163: JUMPI
00003164: DUP1
00003165: DUP3
00003166: SUB
00003167: DUP1
00003168: MLOAD
00003169: PUSH1 0x01
0000316b: DUP4
0000316c: PUSH1 0x20
0000316e: SUB
0000316f: PUSH2 0x0100
00003172: EXP
00003173: SUB
00003174: NOT
00003175: AND
00003176: DUP2
00003177: MSTORE
00003178: PUSH1 0x20
0000317a: ADD
0000317b: SWAP2
0000317c: POP
0000317d: JUMPDEST
0000317e: POP
0000317f: SWAP3
00003180: POP
00003181: POP
00003182: POP
00003183: PUSH1 0x40
00003185: MLOAD
00003186: DUP1
00003187: SWAP2
00003188: SUB
00003189: SWAP1
0000318a: REVERT
0000318b: JUMPDEST
0000318c: POP
0000318d: PUSH1 0x00
0000318f: DUP4
00003190: DUP6
00003191: SUB
00003192: SWAP1
00003193: POP
00003194: DUP1
00003195: SWAP2
00003196: POP
00003197: POP
00003198: SWAP4
00003199: SWAP3
0000319a: POP
0000319b: POP
0000319c: POP
0000319d: JUMP
0000319e: JUMPDEST
0000319f: PUSH1 0x00
000031a1: DUP1
000031a2: PUSH1 0x00
000031a4: PUSH2 0x31ab
000031a7: PUSH2 0x37ba
000031aa: JUMP
000031ab: JUMPDEST
000031ac: SWAP2
000031ad: POP
000031ae: SWAP2
000031af: POP
000031b0: PUSH2 0x31c2
000031b3: DUP2
000031b4: DUP4
000031b5: PUSH2 0x31c9
000031b8: SWAP1
000031b9: SWAP2
000031ba: SWAP1
000031bb: PUSH4 0xffffffff
000031c0: AND
000031c1: JUMP
000031c2: JUMPDEST
000031c3: SWAP3
000031c4: POP
000031c5: POP
000031c6: POP
000031c7: SWAP1
000031c8: JUMP
000031c9: JUMPDEST
000031ca: PUSH1 0x00
000031cc: PUSH2 0x320b
000031cf: DUP4
000031d0: DUP4
000031d1: PUSH1 0x40
000031d3: MLOAD
000031d4: DUP1
000031d5: PUSH1 0x40
000031d7: ADD
000031d8: PUSH1 0x40
000031da: MSTORE
000031db: DUP1
000031dc: PUSH1 0x1a
000031de: DUP2
000031df: MSTORE
000031e0: PUSH1 0x20
000031e2: ADD
000031e3: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00003204: DUP2
00003205: MSTORE
00003206: POP
00003207: PUSH2 0x3a4b
0000320a: JUMP
0000320b: JUMPDEST
0000320c: SWAP1
0000320d: POP
0000320e: SWAP3
0000320f: SWAP2
00003210: POP
00003211: POP
00003212: JUMP
00003213: JUMPDEST
00003214: PUSH1 0x00
00003216: DUP1
00003217: DUP3
00003218: DUP5
00003219: ADD
0000321a: SWAP1
0000321b: POP
0000321c: DUP4
0000321d: DUP2
0000321e: LT
0000321f: ISZERO
00003220: PUSH2 0x3291
00003223: JUMPI
00003224: PUSH1 0x40
00003226: MLOAD
00003227: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003248: DUP2
00003249: MSTORE
0000324a: PUSH1 0x04
0000324c: ADD
0000324d: DUP1
0000324e: DUP1
0000324f: PUSH1 0x20
00003251: ADD
00003252: DUP3
00003253: DUP2
00003254: SUB
00003255: DUP3
00003256: MSTORE
00003257: PUSH1 0x1b
00003259: DUP2
0000325a: MSTORE
0000325b: PUSH1 0x20
0000325d: ADD
0000325e: DUP1
0000325f: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00003280: DUP2
00003281: MSTORE
00003282: POP
00003283: PUSH1 0x20
00003285: ADD
00003286: SWAP2
00003287: POP
00003288: POP
00003289: PUSH1 0x40
0000328b: MLOAD
0000328c: DUP1
0000328d: SWAP2
0000328e: SUB
0000328f: SWAP1
00003290: REVERT
00003291: JUMPDEST
00003292: DUP1
00003293: SWAP2
00003294: POP
00003295: POP
00003296: SWAP3
00003297: SWAP2
00003298: POP
00003299: POP
0000329a: JUMP
0000329b: JUMPDEST
0000329c: PUSH1 0x00
0000329e: DUP1
0000329f: PUSH1 0x00
000032a1: DUP1
000032a2: PUSH1 0x00
000032a4: DUP1
000032a5: PUSH1 0x00
000032a7: DUP1
000032a8: PUSH1 0x00
000032aa: PUSH2 0x32b2
000032ad: DUP11
000032ae: PUSH2 0x3b11
000032b1: JUMP
000032b2: JUMPDEST
000032b3: SWAP3
000032b4: POP
000032b5: SWAP3
000032b6: POP
000032b7: SWAP3
000032b8: POP
000032b9: PUSH1 0x00
000032bb: DUP1
000032bc: PUSH1 0x00
000032be: PUSH2 0x32d0
000032c1: DUP14
000032c2: DUP7
000032c3: DUP7
000032c4: PUSH2 0x32cb
000032c7: PUSH2 0x319e
000032ca: JUMP
000032cb: JUMPDEST
000032cc: PUSH2 0x3b6b
000032cf: JUMP
000032d0: JUMPDEST
000032d1: SWAP3
000032d2: POP
000032d3: SWAP3
000032d4: POP
000032d5: SWAP3
000032d6: POP
000032d7: DUP3
000032d8: DUP3
000032d9: DUP3
000032da: DUP9
000032db: DUP9
000032dc: DUP9
000032dd: SWAP12
000032de: POP
000032df: SWAP12
000032e0: POP
000032e1: SWAP12
000032e2: POP
000032e3: SWAP12
000032e4: POP
000032e5: SWAP12
000032e6: POP
000032e7: SWAP12
000032e8: POP
000032e9: POP
000032ea: POP
000032eb: POP
000032ec: POP
000032ed: POP
000032ee: POP
000032ef: SWAP2
000032f0: SWAP4
000032f1: SWAP6
000032f2: POP
000032f3: SWAP2
000032f4: SWAP4
000032f5: SWAP6
000032f6: JUMP
000032f7: JUMPDEST
000032f8: PUSH1 0x00
000032fa: PUSH2 0x3339
000032fd: DUP4
000032fe: DUP4
000032ff: PUSH1 0x40
00003301: MLOAD
00003302: DUP1
00003303: PUSH1 0x40
00003305: ADD
00003306: PUSH1 0x40
00003308: MSTORE
00003309: DUP1
0000330a: PUSH1 0x1e
0000330c: DUP2
0000330d: MSTORE
0000330e: PUSH1 0x20
00003310: ADD
00003311: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00003332: DUP2
00003333: MSTORE
00003334: POP
00003335: PUSH2 0x30de
00003338: JUMP
00003339: JUMPDEST
0000333a: SWAP1
0000333b: POP
0000333c: SWAP3
0000333d: SWAP2
0000333e: POP
0000333f: POP
00003340: JUMP
00003341: JUMPDEST
00003342: PUSH1 0x00
00003344: DUP1
00003345: DUP4
00003346: EQ
00003347: ISZERO
00003348: PUSH2 0x3354
0000334b: JUMPI
0000334c: PUSH1 0x00
0000334e: SWAP1
0000334f: POP
00003350: PUSH2 0x33c1
00003353: JUMP
00003354: JUMPDEST
00003355: PUSH1 0x00
00003357: DUP3
00003358: DUP5
00003359: MUL
0000335a: SWAP1
0000335b: POP
0000335c: DUP3
0000335d: DUP5
0000335e: DUP3
0000335f: DUP2
00003360: PUSH2 0x3365
00003363: JUMPI
00003364: INVALID
00003365: JUMPDEST
00003366: DIV
00003367: EQ
00003368: PUSH2 0x33bc
0000336b: JUMPI
0000336c: PUSH1 0x40
0000336e: MLOAD
0000336f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003390: DUP2
00003391: MSTORE
00003392: PUSH1 0x04
00003394: ADD
00003395: DUP1
00003396: DUP1
00003397: PUSH1 0x20
00003399: ADD
0000339a: DUP3
0000339b: DUP2
0000339c: SUB
0000339d: DUP3
0000339e: MSTORE
0000339f: PUSH1 0x21
000033a1: DUP2
000033a2: MSTORE
000033a3: PUSH1 0x20
000033a5: ADD
000033a6: DUP1
000033a7: PUSH2 0x4cc9
000033aa: PUSH1 0x21
000033ac: SWAP2
000033ad: CODECOPY
000033ae: PUSH1 0x40
000033b0: ADD
000033b1: SWAP2
000033b2: POP
000033b3: POP
000033b4: PUSH1 0x40
000033b6: MLOAD
000033b7: DUP1
000033b8: SWAP2
000033b9: SUB
000033ba: SWAP1
000033bb: REVERT
000033bc: JUMPDEST
000033bd: DUP1
000033be: SWAP2
000033bf: POP
000033c0: POP
000033c1: JUMPDEST
000033c2: SWAP3
000033c3: SWAP2
000033c4: POP
000033c5: POP
000033c6: JUMP
000033c7: JUMPDEST
000033c8: PUSH1 0x01
000033ca: PUSH1 0x13
000033cc: PUSH1 0x00
000033ce: PUSH2 0x0100
000033d1: EXP
000033d2: DUP2
000033d3: SLOAD
000033d4: DUP2
000033d5: PUSH1 0xff
000033d7: MUL
000033d8: NOT
000033d9: AND
000033da: SWAP1
000033db: DUP4
000033dc: ISZERO
000033dd: ISZERO
000033de: MUL
000033df: OR
000033e0: SWAP1
000033e1: SSTORE
000033e2: POP
000033e3: PUSH1 0x00
000033e5: PUSH2 0x33f8
000033e8: PUSH1 0x02
000033ea: DUP4
000033eb: PUSH2 0x31c9
000033ee: SWAP1
000033ef: SWAP2
000033f0: SWAP1
000033f1: PUSH4 0xffffffff
000033f6: AND
000033f7: JUMP
000033f8: JUMPDEST
000033f9: SWAP1
000033fa: POP
000033fb: PUSH1 0x00
000033fd: PUSH2 0x340f
00003400: DUP3
00003401: DUP5
00003402: PUSH2 0x32f7
00003405: SWAP1
00003406: SWAP2
00003407: SWAP1
00003408: PUSH4 0xffffffff
0000340d: AND
0000340e: JUMP
0000340f: JUMPDEST
00003410: SWAP1
00003411: POP
00003412: PUSH1 0x00
00003414: SELFBALANCE
00003415: SWAP1
00003416: POP
00003417: PUSH2 0x341f
0000341a: DUP4
0000341b: PUSH2 0x3bf4
0000341e: JUMP
0000341f: JUMPDEST
00003420: PUSH1 0x00
00003422: PUSH2 0x3434
00003425: DUP3
00003426: SELFBALANCE
00003427: PUSH2 0x32f7
0000342a: SWAP1
0000342b: SWAP2
0000342c: SWAP1
0000342d: PUSH4 0xffffffff
00003432: AND
00003433: JUMP
00003434: JUMPDEST
00003435: SWAP1
00003436: POP
00003437: PUSH2 0x3440
0000343a: DUP4
0000343b: DUP3
0000343c: PUSH2 0x3ea2
0000343f: JUMP
00003440: JUMPDEST
00003441: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561
00003462: DUP5
00003463: DUP3
00003464: DUP6
00003465: PUSH1 0x40
00003467: MLOAD
00003468: DUP1
00003469: DUP5
0000346a: DUP2
0000346b: MSTORE
0000346c: PUSH1 0x20
0000346e: ADD
0000346f: DUP4
00003470: DUP2
00003471: MSTORE
00003472: PUSH1 0x20
00003474: ADD
00003475: DUP3
00003476: DUP2
00003477: MSTORE
00003478: PUSH1 0x20
0000347a: ADD
0000347b: SWAP4
0000347c: POP
0000347d: POP
0000347e: POP
0000347f: POP
00003480: PUSH1 0x40
00003482: MLOAD
00003483: DUP1
00003484: SWAP2
00003485: SUB
00003486: SWAP1
00003487: LOG1
00003488: POP
00003489: POP
0000348a: POP
0000348b: POP
0000348c: PUSH1 0x00
0000348e: PUSH1 0x13
00003490: PUSH1 0x00
00003492: PUSH2 0x0100
00003495: EXP
00003496: DUP2
00003497: SLOAD
00003498: DUP2
00003499: PUSH1 0xff
0000349b: MUL
0000349c: NOT
0000349d: AND
0000349e: SWAP1
0000349f: DUP4
000034a0: ISZERO
000034a1: ISZERO
000034a2: MUL
000034a3: OR
000034a4: SWAP1
000034a5: SSTORE
000034a6: POP
000034a7: POP
000034a8: JUMP
000034a9: JUMPDEST
000034aa: DUP1
000034ab: PUSH2 0x34b7
000034ae: JUMPI
000034af: PUSH2 0x34b6
000034b2: PUSH2 0x3ff3
000034b5: JUMP
000034b6: JUMPDEST
000034b7: JUMPDEST
000034b8: PUSH1 0x07
000034ba: PUSH1 0x00
000034bc: DUP6
000034bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034d2: AND
000034d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034e8: AND
000034e9: DUP2
000034ea: MSTORE
000034eb: PUSH1 0x20
000034ed: ADD
000034ee: SWAP1
000034ef: DUP2
000034f0: MSTORE
000034f1: PUSH1 0x20
000034f3: ADD
000034f4: PUSH1 0x00
000034f6: KECCAK256
000034f7: PUSH1 0x00
000034f9: SWAP1
000034fa: SLOAD
000034fb: SWAP1
000034fc: PUSH2 0x0100
000034ff: EXP
00003500: SWAP1
00003501: DIV
00003502: PUSH1 0xff
00003504: AND
00003505: DUP1
00003506: ISZERO
00003507: PUSH2 0x355a
0000350a: JUMPI
0000350b: POP
0000350c: PUSH1 0x07
0000350e: PUSH1 0x00
00003510: DUP5
00003511: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003526: AND
00003527: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000353c: AND
0000353d: DUP2
0000353e: MSTORE
0000353f: PUSH1 0x20
00003541: ADD
00003542: SWAP1
00003543: DUP2
00003544: MSTORE
00003545: PUSH1 0x20
00003547: ADD
00003548: PUSH1 0x00
0000354a: KECCAK256
0000354b: PUSH1 0x00
0000354d: SWAP1
0000354e: SLOAD
0000354f: SWAP1
00003550: PUSH2 0x0100
00003553: EXP
00003554: SWAP1
00003555: DIV
00003556: PUSH1 0xff
00003558: AND
00003559: ISZERO
0000355a: JUMPDEST
0000355b: ISZERO
0000355c: PUSH2 0x356f
0000355f: JUMPI
00003560: PUSH2 0x356a
00003563: DUP5
00003564: DUP5
00003565: DUP5
00003566: PUSH2 0x4036
00003569: JUMP
0000356a: JUMPDEST
0000356b: PUSH2 0x37a6
0000356e: JUMP
0000356f: JUMPDEST
00003570: PUSH1 0x07
00003572: PUSH1 0x00
00003574: DUP6
00003575: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000358a: AND
0000358b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035a0: AND
000035a1: DUP2
000035a2: MSTORE
000035a3: PUSH1 0x20
000035a5: ADD
000035a6: SWAP1
000035a7: DUP2
000035a8: MSTORE
000035a9: PUSH1 0x20
000035ab: ADD
000035ac: PUSH1 0x00
000035ae: KECCAK256
000035af: PUSH1 0x00
000035b1: SWAP1
000035b2: SLOAD
000035b3: SWAP1
000035b4: PUSH2 0x0100
000035b7: EXP
000035b8: SWAP1
000035b9: DIV
000035ba: PUSH1 0xff
000035bc: AND
000035bd: ISZERO
000035be: DUP1
000035bf: ISZERO
000035c0: PUSH2 0x3612
000035c3: JUMPI
000035c4: POP
000035c5: PUSH1 0x07
000035c7: PUSH1 0x00
000035c9: DUP5
000035ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035df: AND
000035e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035f5: AND
000035f6: DUP2
000035f7: MSTORE
000035f8: PUSH1 0x20
000035fa: ADD
000035fb: SWAP1
000035fc: DUP2
000035fd: MSTORE
000035fe: PUSH1 0x20
00003600: ADD
00003601: PUSH1 0x00
00003603: KECCAK256
00003604: PUSH1 0x00
00003606: SWAP1
00003607: SLOAD
00003608: SWAP1
00003609: PUSH2 0x0100
0000360c: EXP
0000360d: SWAP1
0000360e: DIV
0000360f: PUSH1 0xff
00003611: AND
00003612: JUMPDEST
00003613: ISZERO
00003614: PUSH2 0x3627
00003617: JUMPI
00003618: PUSH2 0x3622
0000361b: DUP5
0000361c: DUP5
0000361d: DUP5
0000361e: PUSH2 0x4296
00003621: JUMP
00003622: JUMPDEST
00003623: PUSH2 0x37a5
00003626: JUMP
00003627: JUMPDEST
00003628: PUSH1 0x07
0000362a: PUSH1 0x00
0000362c: DUP6
0000362d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003642: AND
00003643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003658: AND
00003659: DUP2
0000365a: MSTORE
0000365b: PUSH1 0x20
0000365d: ADD
0000365e: SWAP1
0000365f: DUP2
00003660: MSTORE
00003661: PUSH1 0x20
00003663: ADD
00003664: PUSH1 0x00
00003666: KECCAK256
00003667: PUSH1 0x00
00003669: SWAP1
0000366a: SLOAD
0000366b: SWAP1
0000366c: PUSH2 0x0100
0000366f: EXP
00003670: SWAP1
00003671: DIV
00003672: PUSH1 0xff
00003674: AND
00003675: ISZERO
00003676: DUP1
00003677: ISZERO
00003678: PUSH2 0x36cb
0000367b: JUMPI
0000367c: POP
0000367d: PUSH1 0x07
0000367f: PUSH1 0x00
00003681: DUP5
00003682: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003697: AND
00003698: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036ad: AND
000036ae: DUP2
000036af: MSTORE
000036b0: PUSH1 0x20
000036b2: ADD
000036b3: SWAP1
000036b4: DUP2
000036b5: MSTORE
000036b6: PUSH1 0x20
000036b8: ADD
000036b9: PUSH1 0x00
000036bb: KECCAK256
000036bc: PUSH1 0x00
000036be: SWAP1
000036bf: SLOAD
000036c0: SWAP1
000036c1: PUSH2 0x0100
000036c4: EXP
000036c5: SWAP1
000036c6: DIV
000036c7: PUSH1 0xff
000036c9: AND
000036ca: ISZERO
000036cb: JUMPDEST
000036cc: ISZERO
000036cd: PUSH2 0x36e0
000036d0: JUMPI
000036d1: PUSH2 0x36db
000036d4: DUP5
000036d5: DUP5
000036d6: DUP5
000036d7: PUSH2 0x44f6
000036da: JUMP
000036db: JUMPDEST
000036dc: PUSH2 0x37a4
000036df: JUMP
000036e0: JUMPDEST
000036e1: PUSH1 0x07
000036e3: PUSH1 0x00
000036e5: DUP6
000036e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036fb: AND
000036fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003711: AND
00003712: DUP2
00003713: MSTORE
00003714: PUSH1 0x20
00003716: ADD
00003717: SWAP1
00003718: DUP2
00003719: MSTORE
0000371a: PUSH1 0x20
0000371c: ADD
0000371d: PUSH1 0x00
0000371f: KECCAK256
00003720: PUSH1 0x00
00003722: SWAP1
00003723: SLOAD
00003724: SWAP1
00003725: PUSH2 0x0100
00003728: EXP
00003729: SWAP1
0000372a: DIV
0000372b: PUSH1 0xff
0000372d: AND
0000372e: DUP1
0000372f: ISZERO
00003730: PUSH2 0x3782
00003733: JUMPI
00003734: POP
00003735: PUSH1 0x07
00003737: PUSH1 0x00
00003739: DUP5
0000373a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000374f: AND
00003750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003765: AND
00003766: DUP2
00003767: MSTORE
00003768: PUSH1 0x20
0000376a: ADD
0000376b: SWAP1
0000376c: DUP2
0000376d: MSTORE
0000376e: PUSH1 0x20
00003770: ADD
00003771: PUSH1 0x00
00003773: KECCAK256
00003774: PUSH1 0x00
00003776: SWAP1
00003777: SLOAD
00003778: SWAP1
00003779: PUSH2 0x0100
0000377c: EXP
0000377d: SWAP1
0000377e: DIV
0000377f: PUSH1 0xff
00003781: AND
00003782: JUMPDEST
00003783: ISZERO
00003784: PUSH2 0x3797
00003787: JUMPI
00003788: PUSH2 0x3792
0000378b: DUP5
0000378c: DUP5
0000378d: DUP5
0000378e: PUSH2 0x46c1
00003791: JUMP
00003792: JUMPDEST
00003793: PUSH2 0x37a3
00003796: JUMP
00003797: JUMPDEST
00003798: PUSH2 0x37a2
0000379b: DUP5
0000379c: DUP5
0000379d: DUP5
0000379e: PUSH2 0x44f6
000037a1: JUMP
000037a2: JUMPDEST
000037a3: JUMPDEST
000037a4: JUMPDEST
000037a5: JUMPDEST
000037a6: JUMPDEST
000037a7: DUP1
000037a8: PUSH2 0x37b4
000037ab: JUMPI
000037ac: PUSH2 0x37b3
000037af: PUSH2 0x49b6
000037b2: JUMP
000037b3: JUMPDEST
000037b4: JUMPDEST
000037b5: POP
000037b6: POP
000037b7: POP
000037b8: POP
000037b9: JUMP
000037ba: JUMPDEST
000037bb: PUSH1 0x00
000037bd: DUP1
000037be: PUSH1 0x00
000037c0: PUSH1 0x0a
000037c2: SLOAD
000037c3: SWAP1
000037c4: POP
000037c5: PUSH1 0x00
000037c7: PUSH1 0x09
000037c9: SLOAD
000037ca: SWAP1
000037cb: POP
000037cc: PUSH1 0x00
000037ce: JUMPDEST
000037cf: PUSH1 0x08
000037d1: DUP1
000037d2: SLOAD
000037d3: SWAP1
000037d4: POP
000037d5: DUP2
000037d6: LT
000037d7: ISZERO
000037d8: PUSH2 0x3a0e
000037db: JUMPI
000037dc: DUP3
000037dd: PUSH1 0x03
000037df: PUSH1 0x00
000037e1: PUSH1 0x08
000037e3: DUP5
000037e4: DUP2
000037e5: SLOAD
000037e6: DUP2
000037e7: LT
000037e8: PUSH2 0x37ed
000037eb: JUMPI
000037ec: INVALID
000037ed: JUMPDEST
000037ee: SWAP1
000037ef: PUSH1 0x00
000037f1: MSTORE
000037f2: PUSH1 0x20
000037f4: PUSH1 0x00
000037f6: KECCAK256
000037f7: ADD
000037f8: PUSH1 0x00
000037fa: SWAP1
000037fb: SLOAD
000037fc: SWAP1
000037fd: PUSH2 0x0100
00003800: EXP
00003801: SWAP1
00003802: DIV
00003803: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003818: AND
00003819: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000382e: AND
0000382f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003844: AND
00003845: DUP2
00003846: MSTORE
00003847: PUSH1 0x20
00003849: ADD
0000384a: SWAP1
0000384b: DUP2
0000384c: MSTORE
0000384d: PUSH1 0x20
0000384f: ADD
00003850: PUSH1 0x00
00003852: KECCAK256
00003853: SLOAD
00003854: GT
00003855: DUP1
00003856: PUSH2 0x38d4
00003859: JUMPI
0000385a: POP
0000385b: DUP2
0000385c: PUSH1 0x04
0000385e: PUSH1 0x00
00003860: PUSH1 0x08
00003862: DUP5
00003863: DUP2
00003864: SLOAD
00003865: DUP2
00003866: LT
00003867: PUSH2 0x386c
0000386a: JUMPI
0000386b: INVALID
0000386c: JUMPDEST
0000386d: SWAP1
0000386e: PUSH1 0x00
00003870: MSTORE
00003871: PUSH1 0x20
00003873: PUSH1 0x00
00003875: KECCAK256
00003876: ADD
00003877: PUSH1 0x00
00003879: SWAP1
0000387a: SLOAD
0000387b: SWAP1
0000387c: PUSH2 0x0100
0000387f: EXP
00003880: SWAP1
00003881: DIV
00003882: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003897: AND
00003898: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038ad: AND
000038ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038c3: AND
000038c4: DUP2
000038c5: MSTORE
000038c6: PUSH1 0x20
000038c8: ADD
000038c9: SWAP1
000038ca: DUP2
000038cb: MSTORE
000038cc: PUSH1 0x20
000038ce: ADD
000038cf: PUSH1 0x00
000038d1: KECCAK256
000038d2: SLOAD
000038d3: GT
000038d4: JUMPDEST
000038d5: ISZERO
000038d6: PUSH2 0x38eb
000038d9: JUMPI
000038da: PUSH1 0x0a
000038dc: SLOAD
000038dd: PUSH1 0x09
000038df: SLOAD
000038e0: SWAP5
000038e1: POP
000038e2: SWAP5
000038e3: POP
000038e4: POP
000038e5: POP
000038e6: POP
000038e7: PUSH2 0x3a47
000038ea: JUMP
000038eb: JUMPDEST
000038ec: PUSH2 0x3974
000038ef: PUSH1 0x03
000038f1: PUSH1 0x00
000038f3: PUSH1 0x08
000038f5: DUP5
000038f6: DUP2
000038f7: SLOAD
000038f8: DUP2
000038f9: LT
000038fa: PUSH2 0x38ff
000038fd: JUMPI
000038fe: INVALID
000038ff: JUMPDEST
00003900: SWAP1
00003901: PUSH1 0x00
00003903: MSTORE
00003904: PUSH1 0x20
00003906: PUSH1 0x00
00003908: KECCAK256
00003909: ADD
0000390a: PUSH1 0x00
0000390c: SWAP1
0000390d: SLOAD
0000390e: SWAP1
0000390f: PUSH2 0x0100
00003912: EXP
00003913: SWAP1
00003914: DIV
00003915: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000392a: AND
0000392b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003940: AND
00003941: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003956: AND
00003957: DUP2
00003958: MSTORE
00003959: PUSH1 0x20
0000395b: ADD
0000395c: SWAP1
0000395d: DUP2
0000395e: MSTORE
0000395f: PUSH1 0x20
00003961: ADD
00003962: PUSH1 0x00
00003964: KECCAK256
00003965: SLOAD
00003966: DUP5
00003967: PUSH2 0x32f7
0000396a: SWAP1
0000396b: SWAP2
0000396c: SWAP1
0000396d: PUSH4 0xffffffff
00003972: AND
00003973: JUMP
00003974: JUMPDEST
00003975: SWAP3
00003976: POP
00003977: PUSH2 0x39ff
0000397a: PUSH1 0x04
0000397c: PUSH1 0x00
0000397e: PUSH1 0x08
00003980: DUP5
00003981: DUP2
00003982: SLOAD
00003983: DUP2
00003984: LT
00003985: PUSH2 0x398a
00003988: JUMPI
00003989: INVALID
0000398a: JUMPDEST
0000398b: SWAP1
0000398c: PUSH1 0x00
0000398e: MSTORE
0000398f: PUSH1 0x20
00003991: PUSH1 0x00
00003993: KECCAK256
00003994: ADD
00003995: PUSH1 0x00
00003997: SWAP1
00003998: SLOAD
00003999: SWAP1
0000399a: PUSH2 0x0100
0000399d: EXP
0000399e: SWAP1
0000399f: DIV
000039a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039b5: AND
000039b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039cb: AND
000039cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039e1: AND
000039e2: DUP2
000039e3: MSTORE
000039e4: PUSH1 0x20
000039e6: ADD
000039e7: SWAP1
000039e8: DUP2
000039e9: MSTORE
000039ea: PUSH1 0x20
000039ec: ADD
000039ed: PUSH1 0x00
000039ef: KECCAK256
000039f0: SLOAD
000039f1: DUP4
000039f2: PUSH2 0x32f7
000039f5: SWAP1
000039f6: SWAP2
000039f7: SWAP1
000039f8: PUSH4 0xffffffff
000039fd: AND
000039fe: JUMP
000039ff: JUMPDEST
00003a00: SWAP2
00003a01: POP
00003a02: DUP1
00003a03: DUP1
00003a04: PUSH1 0x01
00003a06: ADD
00003a07: SWAP2
00003a08: POP
00003a09: POP
00003a0a: PUSH2 0x37ce
00003a0d: JUMP
00003a0e: JUMPDEST
00003a0f: POP
00003a10: PUSH2 0x3a26
00003a13: PUSH1 0x09
00003a15: SLOAD
00003a16: PUSH1 0x0a
00003a18: SLOAD
00003a19: PUSH2 0x31c9
00003a1c: SWAP1
00003a1d: SWAP2
00003a1e: SWAP1
00003a1f: PUSH4 0xffffffff
00003a24: AND
00003a25: JUMP
00003a26: JUMPDEST
00003a27: DUP3
00003a28: LT
00003a29: ISZERO
00003a2a: PUSH2 0x3a3e
00003a2d: JUMPI
00003a2e: PUSH1 0x0a
00003a30: SLOAD
00003a31: PUSH1 0x09
00003a33: SLOAD
00003a34: SWAP4
00003a35: POP
00003a36: SWAP4
00003a37: POP
00003a38: POP
00003a39: POP
00003a3a: PUSH2 0x3a47
00003a3d: JUMP
00003a3e: JUMPDEST
00003a3f: DUP2
00003a40: DUP2
00003a41: SWAP4
00003a42: POP
00003a43: SWAP4
00003a44: POP
00003a45: POP
00003a46: POP
00003a47: JUMPDEST
00003a48: SWAP1
00003a49: SWAP2
00003a4a: JUMP
00003a4b: JUMPDEST
00003a4c: PUSH1 0x00
00003a4e: DUP1
00003a4f: DUP4
00003a50: GT
00003a51: DUP3
00003a52: SWAP1
00003a53: PUSH2 0x3af7
00003a56: JUMPI
00003a57: PUSH1 0x40
00003a59: MLOAD
00003a5a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003a7b: DUP2
00003a7c: MSTORE
00003a7d: PUSH1 0x04
00003a7f: ADD
00003a80: DUP1
00003a81: DUP1
00003a82: PUSH1 0x20
00003a84: ADD
00003a85: DUP3
00003a86: DUP2
00003a87: SUB
00003a88: DUP3
00003a89: MSTORE
00003a8a: DUP4
00003a8b: DUP2
00003a8c: DUP2
00003a8d: MLOAD
00003a8e: DUP2
00003a8f: MSTORE
00003a90: PUSH1 0x20
00003a92: ADD
00003a93: SWAP2
00003a94: POP
00003a95: DUP1
00003a96: MLOAD
00003a97: SWAP1
00003a98: PUSH1 0x20
00003a9a: ADD
00003a9b: SWAP1
00003a9c: DUP1
00003a9d: DUP4
00003a9e: DUP4
00003a9f: PUSH1 0x00
00003aa1: JUMPDEST
00003aa2: DUP4
00003aa3: DUP2
00003aa4: LT
00003aa5: ISZERO
00003aa6: PUSH2 0x3abc
00003aa9: JUMPI
00003aaa: DUP1
00003aab: DUP3
00003aac: ADD
00003aad: MLOAD
00003aae: DUP2
00003aaf: DUP5
00003ab0: ADD
00003ab1: MSTORE
00003ab2: PUSH1 0x20
00003ab4: DUP2
00003ab5: ADD
00003ab6: SWAP1
00003ab7: POP
00003ab8: PUSH2 0x3aa1
00003abb: JUMP
00003abc: JUMPDEST
00003abd: POP
00003abe: POP
00003abf: POP
00003ac0: POP
00003ac1: SWAP1
00003ac2: POP
00003ac3: SWAP1
00003ac4: DUP2
00003ac5: ADD
00003ac6: SWAP1
00003ac7: PUSH1 0x1f
00003ac9: AND
00003aca: DUP1
00003acb: ISZERO
00003acc: PUSH2 0x3ae9
00003acf: JUMPI
00003ad0: DUP1
00003ad1: DUP3
00003ad2: SUB
00003ad3: DUP1
00003ad4: MLOAD
00003ad5: PUSH1 0x01
00003ad7: DUP4
00003ad8: PUSH1 0x20
00003ada: SUB
00003adb: PUSH2 0x0100
00003ade: EXP
00003adf: SUB
00003ae0: NOT
00003ae1: AND
00003ae2: DUP2
00003ae3: MSTORE
00003ae4: PUSH1 0x20
00003ae6: ADD
00003ae7: SWAP2
00003ae8: POP
00003ae9: JUMPDEST
00003aea: POP
00003aeb: SWAP3
00003aec: POP
00003aed: POP
00003aee: POP
00003aef: PUSH1 0x40
00003af1: MLOAD
00003af2: DUP1
00003af3: SWAP2
00003af4: SUB
00003af5: SWAP1
00003af6: REVERT
00003af7: JUMPDEST
00003af8: POP
00003af9: PUSH1 0x00
00003afb: DUP4
00003afc: DUP6
00003afd: DUP2
00003afe: PUSH2 0x3b03
00003b01: JUMPI
00003b02: INVALID
00003b03: JUMPDEST
00003b04: DIV
00003b05: SWAP1
00003b06: POP
00003b07: DUP1
00003b08: SWAP2
00003b09: POP
00003b0a: POP
00003b0b: SWAP4
00003b0c: SWAP3
00003b0d: POP
00003b0e: POP
00003b0f: POP
00003b10: JUMP
00003b11: JUMPDEST
00003b12: PUSH1 0x00
00003b14: DUP1
00003b15: PUSH1 0x00
00003b17: DUP1
00003b18: PUSH2 0x3b20
00003b1b: DUP6
00003b1c: PUSH2 0x49ca
00003b1f: JUMP
00003b20: JUMPDEST
00003b21: SWAP1
00003b22: POP
00003b23: PUSH1 0x00
00003b25: PUSH2 0x3b2d
00003b28: DUP7
00003b29: PUSH2 0x49fb
00003b2c: JUMP
00003b2d: JUMPDEST
00003b2e: SWAP1
00003b2f: POP
00003b30: PUSH1 0x00
00003b32: PUSH2 0x3b56
00003b35: DUP3
00003b36: PUSH2 0x3b48
00003b39: DUP6
00003b3a: DUP11
00003b3b: PUSH2 0x32f7
00003b3e: SWAP1
00003b3f: SWAP2
00003b40: SWAP1
00003b41: PUSH4 0xffffffff
00003b46: AND
00003b47: JUMP
00003b48: JUMPDEST
00003b49: PUSH2 0x32f7
00003b4c: SWAP1
00003b4d: SWAP2
00003b4e: SWAP1
00003b4f: PUSH4 0xffffffff
00003b54: AND
00003b55: JUMP
00003b56: JUMPDEST
00003b57: SWAP1
00003b58: POP
00003b59: DUP1
00003b5a: DUP4
00003b5b: DUP4
00003b5c: SWAP6
00003b5d: POP
00003b5e: SWAP6
00003b5f: POP
00003b60: SWAP6
00003b61: POP
00003b62: POP
00003b63: POP
00003b64: POP
00003b65: SWAP2
00003b66: SWAP4
00003b67: SWAP1
00003b68: SWAP3
00003b69: POP
00003b6a: JUMP
00003b6b: JUMPDEST
00003b6c: PUSH1 0x00
00003b6e: DUP1
00003b6f: PUSH1 0x00
00003b71: DUP1
00003b72: PUSH2 0x3b84
00003b75: DUP6
00003b76: DUP10
00003b77: PUSH2 0x3341
00003b7a: SWAP1
00003b7b: SWAP2
00003b7c: SWAP1
00003b7d: PUSH4 0xffffffff
00003b82: AND
00003b83: JUMP
00003b84: JUMPDEST
00003b85: SWAP1
00003b86: POP
00003b87: PUSH1 0x00
00003b89: PUSH2 0x3b9b
00003b8c: DUP7
00003b8d: DUP10
00003b8e: PUSH2 0x3341
00003b91: SWAP1
00003b92: SWAP2
00003b93: SWAP1
00003b94: PUSH4 0xffffffff
00003b99: AND
00003b9a: JUMP
00003b9b: JUMPDEST
00003b9c: SWAP1
00003b9d: POP
00003b9e: PUSH1 0x00
00003ba0: PUSH2 0x3bb2
00003ba3: DUP8
00003ba4: DUP10
00003ba5: PUSH2 0x3341
00003ba8: SWAP1
00003ba9: SWAP2
00003baa: SWAP1
00003bab: PUSH4 0xffffffff
00003bb0: AND
00003bb1: JUMP
00003bb2: JUMPDEST
00003bb3: SWAP1
00003bb4: POP
00003bb5: PUSH1 0x00
00003bb7: PUSH2 0x3bdb
00003bba: DUP3
00003bbb: PUSH2 0x3bcd
00003bbe: DUP6
00003bbf: DUP8
00003bc0: PUSH2 0x32f7
00003bc3: SWAP1
00003bc4: SWAP2
00003bc5: SWAP1
00003bc6: PUSH4 0xffffffff
00003bcb: AND
00003bcc: JUMP
00003bcd: JUMPDEST
00003bce: PUSH2 0x32f7
00003bd1: SWAP1
00003bd2: SWAP2
00003bd3: SWAP1
00003bd4: PUSH4 0xffffffff
00003bd9: AND
00003bda: JUMP
00003bdb: JUMPDEST
00003bdc: SWAP1
00003bdd: POP
00003bde: DUP4
00003bdf: DUP2
00003be0: DUP5
00003be1: SWAP7
00003be2: POP
00003be3: SWAP7
00003be4: POP
00003be5: SWAP7
00003be6: POP
00003be7: POP
00003be8: POP
00003be9: POP
00003bea: POP
00003beb: SWAP5
00003bec: POP
00003bed: SWAP5
00003bee: POP
00003bef: SWAP5
00003bf0: SWAP2
00003bf1: POP
00003bf2: POP
00003bf3: JUMP
00003bf4: JUMPDEST
00003bf5: PUSH1 0x60
00003bf7: PUSH1 0x02
00003bf9: PUSH8 0xffffffffffffffff
00003c02: DUP2
00003c03: GT
00003c04: DUP1
00003c05: ISZERO
00003c06: PUSH2 0x3c0e
00003c09: JUMPI
00003c0a: PUSH1 0x00
00003c0c: DUP1
00003c0d: REVERT
00003c0e: JUMPDEST
00003c0f: POP
00003c10: PUSH1 0x40
00003c12: MLOAD
00003c13: SWAP1
00003c14: DUP1
00003c15: DUP3
00003c16: MSTORE
00003c17: DUP1
00003c18: PUSH1 0x20
00003c1a: MUL
00003c1b: PUSH1 0x20
00003c1d: ADD
00003c1e: DUP3
00003c1f: ADD
00003c20: PUSH1 0x40
00003c22: MSTORE
00003c23: DUP1
00003c24: ISZERO
00003c25: PUSH2 0x3c3d
00003c28: JUMPI
00003c29: DUP2
00003c2a: PUSH1 0x20
00003c2c: ADD
00003c2d: PUSH1 0x20
00003c2f: DUP3
00003c30: MUL
00003c31: DUP1
00003c32: CALLDATASIZE
00003c33: DUP4
00003c34: CALLDATACOPY
00003c35: DUP1
00003c36: DUP3
00003c37: ADD
00003c38: SWAP2
00003c39: POP
00003c3a: POP
00003c3b: SWAP1
00003c3c: POP
00003c3d: JUMPDEST
00003c3e: POP
00003c3f: SWAP1
00003c40: POP
00003c41: ADDRESS
00003c42: DUP2
00003c43: PUSH1 0x00
00003c45: DUP2
00003c46: MLOAD
00003c47: DUP2
00003c48: LT
00003c49: PUSH2 0x3c4e
00003c4c: JUMPI
00003c4d: INVALID
00003c4e: JUMPDEST
00003c4f: PUSH1 0x20
00003c51: MUL
00003c52: PUSH1 0x20
00003c54: ADD
00003c55: ADD
00003c56: SWAP1
00003c57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c6c: AND
00003c6d: SWAP1
00003c6e: DUP2
00003c6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c84: AND
00003c85: DUP2
00003c86: MSTORE
00003c87: POP
00003c88: POP
00003c89: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003caa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003cbf: AND
00003cc0: PUSH4 0xad5c4648
00003cc5: PUSH1 0x40
00003cc7: MLOAD
00003cc8: DUP2
00003cc9: PUSH4 0xffffffff
00003cce: AND
00003ccf: PUSH1 0xe0
00003cd1: SHL
00003cd2: DUP2
00003cd3: MSTORE
00003cd4: PUSH1 0x04
00003cd6: ADD
00003cd7: PUSH1 0x20
00003cd9: PUSH1 0x40
00003cdb: MLOAD
00003cdc: DUP1
00003cdd: DUP4
00003cde: SUB
00003cdf: DUP2
00003ce0: DUP7
00003ce1: DUP1
00003ce2: EXTCODESIZE
00003ce3: ISZERO
00003ce4: DUP1
00003ce5: ISZERO
00003ce6: PUSH2 0x3cee
00003ce9: JUMPI
00003cea: PUSH1 0x00
00003cec: DUP1
00003ced: REVERT
00003cee: JUMPDEST
00003cef: POP
00003cf0: GAS
00003cf1: STATICCALL
00003cf2: ISZERO
00003cf3: DUP1
00003cf4: ISZERO
00003cf5: PUSH2 0x3d02
00003cf8: JUMPI
00003cf9: RETURNDATASIZE
00003cfa: PUSH1 0x00
00003cfc: DUP1
00003cfd: RETURNDATACOPY
00003cfe: RETURNDATASIZE
00003cff: PUSH1 0x00
00003d01: REVERT
00003d02: JUMPDEST
00003d03: POP
00003d04: POP
00003d05: POP
00003d06: POP
00003d07: PUSH1 0x40
00003d09: MLOAD
00003d0a: RETURNDATASIZE
00003d0b: PUSH1 0x20
00003d0d: DUP2
00003d0e: LT
00003d0f: ISZERO
00003d10: PUSH2 0x3d18
00003d13: JUMPI
00003d14: PUSH1 0x00
00003d16: DUP1
00003d17: REVERT
00003d18: JUMPDEST
00003d19: DUP2
00003d1a: ADD
00003d1b: SWAP1
00003d1c: DUP1
00003d1d: DUP1
00003d1e: MLOAD
00003d1f: SWAP1
00003d20: PUSH1 0x20
00003d22: ADD
00003d23: SWAP1
00003d24: SWAP3
00003d25: SWAP2
00003d26: SWAP1
00003d27: POP
00003d28: POP
00003d29: POP
00003d2a: DUP2
00003d2b: PUSH1 0x01
00003d2d: DUP2
00003d2e: MLOAD
00003d2f: DUP2
00003d30: LT
00003d31: PUSH2 0x3d36
00003d34: JUMPI
00003d35: INVALID
00003d36: JUMPDEST
00003d37: PUSH1 0x20
00003d39: MUL
00003d3a: PUSH1 0x20
00003d3c: ADD
00003d3d: ADD
00003d3e: SWAP1
00003d3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d54: AND
00003d55: SWAP1
00003d56: DUP2
00003d57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d6c: AND
00003d6d: DUP2
00003d6e: MSTORE
00003d6f: POP
00003d70: POP
00003d71: PUSH2 0x3d9b
00003d74: ADDRESS
00003d75: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003d96: DUP5
00003d97: PUSH2 0x2b22
00003d9a: JUMP
00003d9b: JUMPDEST
00003d9c: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003dbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003dd2: AND
00003dd3: PUSH4 0x791ac947
00003dd8: DUP4
00003dd9: PUSH1 0x00
00003ddb: DUP5
00003ddc: ADDRESS
00003ddd: TIMESTAMP
00003dde: PUSH1 0x40
00003de0: MLOAD
00003de1: DUP7
00003de2: PUSH4 0xffffffff
00003de7: AND
00003de8: PUSH1 0xe0
00003dea: SHL
00003deb: DUP2
00003dec: MSTORE
00003ded: PUSH1 0x04
00003def: ADD
00003df0: DUP1
00003df1: DUP7
00003df2: DUP2
00003df3: MSTORE
00003df4: PUSH1 0x20
00003df6: ADD
00003df7: DUP6
00003df8: DUP2
00003df9: MSTORE
00003dfa: PUSH1 0x20
00003dfc: ADD
00003dfd: DUP1
00003dfe: PUSH1 0x20
00003e00: ADD
00003e01: DUP5
00003e02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e17: AND
00003e18: DUP2
00003e19: MSTORE
00003e1a: PUSH1 0x20
00003e1c: ADD
00003e1d: DUP4
00003e1e: DUP2
00003e1f: MSTORE
00003e20: PUSH1 0x20
00003e22: ADD
00003e23: DUP3
00003e24: DUP2
00003e25: SUB
00003e26: DUP3
00003e27: MSTORE
00003e28: DUP6
00003e29: DUP2
00003e2a: DUP2
00003e2b: MLOAD
00003e2c: DUP2
00003e2d: MSTORE
00003e2e: PUSH1 0x20
00003e30: ADD
00003e31: SWAP2
00003e32: POP
00003e33: DUP1
00003e34: MLOAD
00003e35: SWAP1
00003e36: PUSH1 0x20
00003e38: ADD
00003e39: SWAP1
00003e3a: PUSH1 0x20
00003e3c: MUL
00003e3d: DUP1
00003e3e: DUP4
00003e3f: DUP4
00003e40: PUSH1 0x00
00003e42: JUMPDEST
00003e43: DUP4
00003e44: DUP2
00003e45: LT
00003e46: ISZERO
00003e47: PUSH2 0x3e5d
00003e4a: JUMPI
00003e4b: DUP1
00003e4c: DUP3
00003e4d: ADD
00003e4e: MLOAD
00003e4f: DUP2
00003e50: DUP5
00003e51: ADD
00003e52: MSTORE
00003e53: PUSH1 0x20
00003e55: DUP2
00003e56: ADD
00003e57: SWAP1
00003e58: POP
00003e59: PUSH2 0x3e42
00003e5c: JUMP
00003e5d: JUMPDEST
00003e5e: POP
00003e5f: POP
00003e60: POP
00003e61: POP
00003e62: SWAP1
00003e63: POP
00003e64: ADD
00003e65: SWAP7
00003e66: POP
00003e67: POP
00003e68: POP
00003e69: POP
00003e6a: POP
00003e6b: POP
00003e6c: POP
00003e6d: PUSH1 0x00
00003e6f: PUSH1 0x40
00003e71: MLOAD
00003e72: DUP1
00003e73: DUP4
00003e74: SUB
00003e75: DUP2
00003e76: PUSH1 0x00
00003e78: DUP8
00003e79: DUP1
00003e7a: EXTCODESIZE
00003e7b: ISZERO
00003e7c: DUP1
00003e7d: ISZERO
00003e7e: PUSH2 0x3e86
00003e81: JUMPI
00003e82: PUSH1 0x00
00003e84: DUP1
00003e85: REVERT
00003e86: JUMPDEST
00003e87: POP
00003e88: GAS
00003e89: CALL
00003e8a: ISZERO
00003e8b: DUP1
00003e8c: ISZERO
00003e8d: PUSH2 0x3e9a
00003e90: JUMPI
00003e91: RETURNDATASIZE
00003e92: PUSH1 0x00
00003e94: DUP1
00003e95: RETURNDATACOPY
00003e96: RETURNDATASIZE
00003e97: PUSH1 0x00
00003e99: REVERT
00003e9a: JUMPDEST
00003e9b: POP
00003e9c: POP
00003e9d: POP
00003e9e: POP
00003e9f: POP
00003ea0: POP
00003ea1: JUMP
00003ea2: JUMPDEST
00003ea3: PUSH2 0x3ecd
00003ea6: ADDRESS
00003ea7: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003ec8: DUP5
00003ec9: PUSH2 0x2b22
00003ecc: JUMP
00003ecd: JUMPDEST
00003ece: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003eef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f04: AND
00003f05: PUSH4 0xf305d719
00003f0a: DUP3
00003f0b: ADDRESS
00003f0c: DUP6
00003f0d: PUSH1 0x00
00003f0f: DUP1
00003f10: PUSH2 0x3f17
00003f13: PUSH2 0x1eae
00003f16: JUMP
00003f17: JUMPDEST
00003f18: TIMESTAMP
00003f19: PUSH1 0x40
00003f1b: MLOAD
00003f1c: DUP9
00003f1d: PUSH4 0xffffffff
00003f22: AND
00003f23: PUSH1 0xe0
00003f25: SHL
00003f26: DUP2
00003f27: MSTORE
00003f28: PUSH1 0x04
00003f2a: ADD
00003f2b: DUP1
00003f2c: DUP8
00003f2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f42: AND
00003f43: DUP2
00003f44: MSTORE
00003f45: PUSH1 0x20
00003f47: ADD
00003f48: DUP7
00003f49: DUP2
00003f4a: MSTORE
00003f4b: PUSH1 0x20
00003f4d: ADD
00003f4e: DUP6
00003f4f: DUP2
00003f50: MSTORE
00003f51: PUSH1 0x20
00003f53: ADD
00003f54: DUP5
00003f55: DUP2
00003f56: MSTORE
00003f57: PUSH1 0x20
00003f59: ADD
00003f5a: DUP4
00003f5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f70: AND
00003f71: DUP2
00003f72: MSTORE
00003f73: PUSH1 0x20
00003f75: ADD
00003f76: DUP3
00003f77: DUP2
00003f78: MSTORE
00003f79: PUSH1 0x20
00003f7b: ADD
00003f7c: SWAP7
00003f7d: POP
00003f7e: POP
00003f7f: POP
00003f80: POP
00003f81: POP
00003f82: POP
00003f83: POP
00003f84: PUSH1 0x60
00003f86: PUSH1 0x40
00003f88: MLOAD
00003f89: DUP1
00003f8a: DUP4
00003f8b: SUB
00003f8c: DUP2
00003f8d: DUP6
00003f8e: DUP9
00003f8f: DUP1
00003f90: EXTCODESIZE
00003f91: ISZERO
00003f92: DUP1
00003f93: ISZERO
00003f94: PUSH2 0x3f9c
00003f97: JUMPI
00003f98: PUSH1 0x00
00003f9a: DUP1
00003f9b: REVERT
00003f9c: JUMPDEST
00003f9d: POP
00003f9e: GAS
00003f9f: CALL
00003fa0: ISZERO
00003fa1: DUP1
00003fa2: ISZERO
00003fa3: PUSH2 0x3fb0
00003fa6: JUMPI
00003fa7: RETURNDATASIZE
00003fa8: PUSH1 0x00
00003faa: DUP1
00003fab: RETURNDATACOPY
00003fac: RETURNDATASIZE
00003fad: PUSH1 0x00
00003faf: REVERT
00003fb0: JUMPDEST
00003fb1: POP
00003fb2: POP
00003fb3: POP
00003fb4: POP
00003fb5: POP
00003fb6: PUSH1 0x40
00003fb8: MLOAD
00003fb9: RETURNDATASIZE
00003fba: PUSH1 0x60
00003fbc: DUP2
00003fbd: LT
00003fbe: ISZERO
00003fbf: PUSH2 0x3fc7
00003fc2: JUMPI
00003fc3: PUSH1 0x00
00003fc5: DUP1
00003fc6: REVERT
00003fc7: JUMPDEST
00003fc8: DUP2
00003fc9: ADD
00003fca: SWAP1
00003fcb: DUP1
00003fcc: DUP1
00003fcd: MLOAD
00003fce: SWAP1
00003fcf: PUSH1 0x20
00003fd1: ADD
00003fd2: SWAP1
00003fd3: SWAP3
00003fd4: SWAP2
00003fd5: SWAP1
00003fd6: DUP1
00003fd7: MLOAD
00003fd8: SWAP1
00003fd9: PUSH1 0x20
00003fdb: ADD
00003fdc: SWAP1
00003fdd: SWAP3
00003fde: SWAP2
00003fdf: SWAP1
00003fe0: DUP1
00003fe1: MLOAD
00003fe2: SWAP1
00003fe3: PUSH1 0x20
00003fe5: ADD
00003fe6: SWAP1
00003fe7: SWAP3
00003fe8: SWAP2
00003fe9: SWAP1
00003fea: POP
00003feb: POP
00003fec: POP
00003fed: POP
00003fee: POP
00003fef: POP
00003ff0: POP
00003ff1: POP
00003ff2: JUMP
00003ff3: JUMPDEST
00003ff4: PUSH1 0x00
00003ff6: PUSH1 0x0f
00003ff8: SLOAD
00003ff9: EQ
00003ffa: DUP1
00003ffb: ISZERO
00003ffc: PUSH2 0x4007
00003fff: JUMPI
00004000: POP
00004001: PUSH1 0x00
00004003: PUSH1 0x11
00004005: SLOAD
00004006: EQ
00004007: JUMPDEST
00004008: ISZERO
00004009: PUSH2 0x4011
0000400c: JUMPI
0000400d: PUSH2 0x4034
00004010: JUMP
00004011: JUMPDEST
00004012: PUSH1 0x0f
00004014: SLOAD
00004015: PUSH1 0x10
00004017: DUP2
00004018: SWAP1
00004019: SSTORE
0000401a: POP
0000401b: PUSH1 0x11
0000401d: SLOAD
0000401e: PUSH1 0x12
00004020: DUP2
00004021: SWAP1
00004022: SSTORE
00004023: POP
00004024: PUSH1 0x00
00004026: PUSH1 0x0f
00004028: DUP2
00004029: SWAP1
0000402a: SSTORE
0000402b: POP
0000402c: PUSH1 0x00
0000402e: PUSH1 0x11
00004030: DUP2
00004031: SWAP1
00004032: SSTORE
00004033: POP
00004034: JUMPDEST
00004035: JUMP
00004036: JUMPDEST
00004037: PUSH1 0x00
00004039: DUP1
0000403a: PUSH1 0x00
0000403c: DUP1
0000403d: PUSH1 0x00
0000403f: DUP1
00004040: PUSH2 0x4048
00004043: DUP8
00004044: PUSH2 0x329b
00004047: JUMP
00004048: JUMPDEST
00004049: SWAP6
0000404a: POP
0000404b: SWAP6
0000404c: POP
0000404d: SWAP6
0000404e: POP
0000404f: SWAP6
00004050: POP
00004051: SWAP6
00004052: POP
00004053: SWAP6
00004054: POP
00004055: PUSH2 0x40a6
00004058: DUP8
00004059: PUSH1 0x04
0000405b: PUSH1 0x00
0000405d: DUP13
0000405e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004073: AND
00004074: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004089: AND
0000408a: DUP2
0000408b: MSTORE
0000408c: PUSH1 0x20
0000408e: ADD
0000408f: SWAP1
00004090: DUP2
00004091: MSTORE
00004092: PUSH1 0x20
00004094: ADD
00004095: PUSH1 0x00
00004097: KECCAK256
00004098: SLOAD
00004099: PUSH2 0x32f7
0000409c: SWAP1
0000409d: SWAP2
0000409e: SWAP1
0000409f: PUSH4 0xffffffff
000040a4: AND
000040a5: JUMP
000040a6: JUMPDEST
000040a7: PUSH1 0x04
000040a9: PUSH1 0x00
000040ab: DUP12
000040ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040c1: AND
000040c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040d7: AND
000040d8: DUP2
000040d9: MSTORE
000040da: PUSH1 0x20
000040dc: ADD
000040dd: SWAP1
000040de: DUP2
000040df: MSTORE
000040e0: PUSH1 0x20
000040e2: ADD
000040e3: PUSH1 0x00
000040e5: KECCAK256
000040e6: DUP2
000040e7: SWAP1
000040e8: SSTORE
000040e9: POP
000040ea: PUSH2 0x413b
000040ed: DUP7
000040ee: PUSH1 0x03
000040f0: PUSH1 0x00
000040f2: DUP13
000040f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004108: AND
00004109: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000411e: AND
0000411f: DUP2
00004120: MSTORE
00004121: PUSH1 0x20
00004123: ADD
00004124: SWAP1
00004125: DUP2
00004126: MSTORE
00004127: PUSH1 0x20
00004129: ADD
0000412a: PUSH1 0x00
0000412c: KECCAK256
0000412d: SLOAD
0000412e: PUSH2 0x32f7
00004131: SWAP1
00004132: SWAP2
00004133: SWAP1
00004134: PUSH4 0xffffffff
00004139: AND
0000413a: JUMP
0000413b: JUMPDEST
0000413c: PUSH1 0x03
0000413e: PUSH1 0x00
00004140: DUP12
00004141: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004156: AND
00004157: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000416c: AND
0000416d: DUP2
0000416e: MSTORE
0000416f: PUSH1 0x20
00004171: ADD
00004172: SWAP1
00004173: DUP2
00004174: MSTORE
00004175: PUSH1 0x20
00004177: ADD
00004178: PUSH1 0x00
0000417a: KECCAK256
0000417b: DUP2
0000417c: SWAP1
0000417d: SSTORE
0000417e: POP
0000417f: PUSH2 0x41d0
00004182: DUP6
00004183: PUSH1 0x03
00004185: PUSH1 0x00
00004187: DUP12
00004188: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000419d: AND
0000419e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041b3: AND
000041b4: DUP2
000041b5: MSTORE
000041b6: PUSH1 0x20
000041b8: ADD
000041b9: SWAP1
000041ba: DUP2
000041bb: MSTORE
000041bc: PUSH1 0x20
000041be: ADD
000041bf: PUSH1 0x00
000041c1: KECCAK256
000041c2: SLOAD
000041c3: PUSH2 0x3213
000041c6: SWAP1
000041c7: SWAP2
000041c8: SWAP1
000041c9: PUSH4 0xffffffff
000041ce: AND
000041cf: JUMP
000041d0: JUMPDEST
000041d1: PUSH1 0x03
000041d3: PUSH1 0x00
000041d5: DUP11
000041d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041eb: AND
000041ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004201: AND
00004202: DUP2
00004203: MSTORE
00004204: PUSH1 0x20
00004206: ADD
00004207: SWAP1
00004208: DUP2
00004209: MSTORE
0000420a: PUSH1 0x20
0000420c: ADD
0000420d: PUSH1 0x00
0000420f: KECCAK256
00004210: DUP2
00004211: SWAP1
00004212: SSTORE
00004213: POP
00004214: PUSH2 0x421c
00004217: DUP2
00004218: PUSH2 0x4a2c
0000421b: JUMP
0000421c: JUMPDEST
0000421d: PUSH2 0x4226
00004220: DUP5
00004221: DUP4
00004222: PUSH2 0x4bd1
00004225: JUMP
00004226: JUMPDEST
00004227: DUP8
00004228: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000423d: AND
0000423e: DUP10
0000423f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004254: AND
00004255: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00004276: DUP6
00004277: PUSH1 0x40
00004279: MLOAD
0000427a: DUP1
0000427b: DUP3
0000427c: DUP2
0000427d: MSTORE
0000427e: PUSH1 0x20
00004280: ADD
00004281: SWAP2
00004282: POP
00004283: POP
00004284: PUSH1 0x40
00004286: MLOAD
00004287: DUP1
00004288: SWAP2
00004289: SUB
0000428a: SWAP1
0000428b: LOG3
0000428c: POP
0000428d: POP
0000428e: POP
0000428f: POP
00004290: POP
00004291: POP
00004292: POP
00004293: POP
00004294: POP
00004295: JUMP
00004296: JUMPDEST
00004297: PUSH1 0x00
00004299: DUP1
0000429a: PUSH1 0x00
0000429c: DUP1
0000429d: PUSH1 0x00
0000429f: DUP1
000042a0: PUSH2 0x42a8
000042a3: DUP8
000042a4: PUSH2 0x329b
000042a7: JUMP
000042a8: JUMPDEST
000042a9: SWAP6
000042aa: POP
000042ab: SWAP6
000042ac: POP
000042ad: SWAP6
000042ae: POP
000042af: SWAP6
000042b0: POP
000042b1: SWAP6
000042b2: POP
000042b3: SWAP6
000042b4: POP
000042b5: PUSH2 0x4306
000042b8: DUP7
000042b9: PUSH1 0x03
000042bb: PUSH1 0x00
000042bd: DUP13
000042be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042d3: AND
000042d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042e9: AND
000042ea: DUP2
000042eb: MSTORE
000042ec: PUSH1 0x20
000042ee: ADD
000042ef: SWAP1
000042f0: DUP2
000042f1: MSTORE
000042f2: PUSH1 0x20
000042f4: ADD
000042f5: PUSH1 0x00
000042f7: KECCAK256
000042f8: SLOAD
000042f9: PUSH2 0x32f7
000042fc: SWAP1
000042fd: SWAP2
000042fe: SWAP1
000042ff: PUSH4 0xffffffff
00004304: AND
00004305: JUMP
00004306: JUMPDEST
00004307: PUSH1 0x03
00004309: PUSH1 0x00
0000430b: DUP12
0000430c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004321: AND
00004322: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004337: AND
00004338: DUP2
00004339: MSTORE
0000433a: PUSH1 0x20
0000433c: ADD
0000433d: SWAP1
0000433e: DUP2
0000433f: MSTORE
00004340: PUSH1 0x20
00004342: ADD
00004343: PUSH1 0x00
00004345: KECCAK256
00004346: DUP2
00004347: SWAP1
00004348: SSTORE
00004349: POP
0000434a: PUSH2 0x439b
0000434d: DUP4
0000434e: PUSH1 0x04
00004350: PUSH1 0x00
00004352: DUP12
00004353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004368: AND
00004369: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000437e: AND
0000437f: DUP2
00004380: MSTORE
00004381: PUSH1 0x20
00004383: ADD
00004384: SWAP1
00004385: DUP2
00004386: MSTORE
00004387: PUSH1 0x20
00004389: ADD
0000438a: PUSH1 0x00
0000438c: KECCAK256
0000438d: SLOAD
0000438e: PUSH2 0x3213
00004391: SWAP1
00004392: SWAP2
00004393: SWAP1
00004394: PUSH4 0xffffffff
00004399: AND
0000439a: JUMP
0000439b: JUMPDEST
0000439c: PUSH1 0x04
0000439e: PUSH1 0x00
000043a0: DUP11
000043a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043b6: AND
000043b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043cc: AND
000043cd: DUP2
000043ce: MSTORE
000043cf: PUSH1 0x20
000043d1: ADD
000043d2: SWAP1
000043d3: DUP2
000043d4: MSTORE
000043d5: PUSH1 0x20
000043d7: ADD
000043d8: PUSH1 0x00
000043da: KECCAK256
000043db: DUP2
000043dc: SWAP1
000043dd: SSTORE
000043de: POP
000043df: PUSH2 0x4430
000043e2: DUP6
000043e3: PUSH1 0x03
000043e5: PUSH1 0x00
000043e7: DUP12
000043e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043fd: AND
000043fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004413: AND
00004414: DUP2
00004415: MSTORE
00004416: PUSH1 0x20
00004418: ADD
00004419: SWAP1
0000441a: DUP2
0000441b: MSTORE
0000441c: PUSH1 0x20
0000441e: ADD
0000441f: PUSH1 0x00
00004421: KECCAK256
00004422: SLOAD
00004423: PUSH2 0x3213
00004426: SWAP1
00004427: SWAP2
00004428: SWAP1
00004429: PUSH4 0xffffffff
0000442e: AND
0000442f: JUMP
00004430: JUMPDEST
00004431: PUSH1 0x03
00004433: PUSH1 0x00
00004435: DUP11
00004436: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000444b: AND
0000444c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004461: AND
00004462: DUP2
00004463: MSTORE
00004464: PUSH1 0x20
00004466: ADD
00004467: SWAP1
00004468: DUP2
00004469: MSTORE
0000446a: PUSH1 0x20
0000446c: ADD
0000446d: PUSH1 0x00
0000446f: KECCAK256
00004470: DUP2
00004471: SWAP1
00004472: SSTORE
00004473: POP
00004474: PUSH2 0x447c
00004477: DUP2
00004478: PUSH2 0x4a2c
0000447b: JUMP
0000447c: JUMPDEST
0000447d: PUSH2 0x4486
00004480: DUP5
00004481: DUP4
00004482: PUSH2 0x4bd1
00004485: JUMP
00004486: JUMPDEST
00004487: DUP8
00004488: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000449d: AND
0000449e: DUP10
0000449f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000044b4: AND
000044b5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000044d6: DUP6
000044d7: PUSH1 0x40
000044d9: MLOAD
000044da: DUP1
000044db: DUP3
000044dc: DUP2
000044dd: MSTORE
000044de: PUSH1 0x20
000044e0: ADD
000044e1: SWAP2
000044e2: POP
000044e3: POP
000044e4: PUSH1 0x40
000044e6: MLOAD
000044e7: DUP1
000044e8: SWAP2
000044e9: SUB
000044ea: SWAP1
000044eb: LOG3
000044ec: POP
000044ed: POP
000044ee: POP
000044ef: POP
000044f0: POP
000044f1: POP
000044f2: POP
000044f3: POP
000044f4: POP
000044f5: JUMP
000044f6: JUMPDEST
000044f7: PUSH1 0x00
000044f9: DUP1
000044fa: PUSH1 0x00
000044fc: DUP1
000044fd: PUSH1 0x00
000044ff: DUP1
00004500: PUSH2 0x4508
00004503: DUP8
00004504: PUSH2 0x329b
00004507: JUMP
00004508: JUMPDEST
00004509: SWAP6
0000450a: POP
0000450b: SWAP6
0000450c: POP
0000450d: SWAP6
0000450e: POP
0000450f: SWAP6
00004510: POP
00004511: SWAP6
00004512: POP
00004513: SWAP6
00004514: POP
00004515: PUSH2 0x4566
00004518: DUP7
00004519: PUSH1 0x03
0000451b: PUSH1 0x00
0000451d: DUP13
0000451e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004533: AND
00004534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004549: AND
0000454a: DUP2
0000454b: MSTORE
0000454c: PUSH1 0x20
0000454e: ADD
0000454f: SWAP1
00004550: DUP2
00004551: MSTORE
00004552: PUSH1 0x20
00004554: ADD
00004555: PUSH1 0x00
00004557: KECCAK256
00004558: SLOAD
00004559: PUSH2 0x32f7
0000455c: SWAP1
0000455d: SWAP2
0000455e: SWAP1
0000455f: PUSH4 0xffffffff
00004564: AND
00004565: JUMP
00004566: JUMPDEST
00004567: PUSH1 0x03
00004569: PUSH1 0x00
0000456b: DUP12
0000456c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004581: AND
00004582: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004597: AND
00004598: DUP2
00004599: MSTORE
0000459a: PUSH1 0x20
0000459c: ADD
0000459d: SWAP1
0000459e: DUP2
0000459f: MSTORE
000045a0: PUSH1 0x20
000045a2: ADD
000045a3: PUSH1 0x00
000045a5: KECCAK256
000045a6: DUP2
000045a7: SWAP1
000045a8: SSTORE
000045a9: POP
000045aa: PUSH2 0x45fb
000045ad: DUP6
000045ae: PUSH1 0x03
000045b0: PUSH1 0x00
000045b2: DUP12
000045b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000045c8: AND
000045c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000045de: AND
000045df: DUP2
000045e0: MSTORE
000045e1: PUSH1 0x20
000045e3: ADD
000045e4: SWAP1
000045e5: DUP2
000045e6: MSTORE
000045e7: PUSH1 0x20
000045e9: ADD
000045ea: PUSH1 0x00
000045ec: KECCAK256
000045ed: SLOAD
000045ee: PUSH2 0x3213
000045f1: SWAP1
000045f2: SWAP2
000045f3: SWAP1
000045f4: PUSH4 0xffffffff
000045f9: AND
000045fa: JUMP
000045fb: JUMPDEST
000045fc: PUSH1 0x03
000045fe: PUSH1 0x00
00004600: DUP11
00004601: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004616: AND
00004617: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000462c: AND
0000462d: DUP2
0000462e: MSTORE
0000462f: PUSH1 0x20
00004631: ADD
00004632: SWAP1
00004633: DUP2
00004634: MSTORE
00004635: PUSH1 0x20
00004637: ADD
00004638: PUSH1 0x00
0000463a: KECCAK256
0000463b: DUP2
0000463c: SWAP1
0000463d: SSTORE
0000463e: POP
0000463f: PUSH2 0x4647
00004642: DUP2
00004643: PUSH2 0x4a2c
00004646: JUMP
00004647: JUMPDEST
00004648: PUSH2 0x4651
0000464b: DUP5
0000464c: DUP4
0000464d: PUSH2 0x4bd1
00004650: JUMP
00004651: JUMPDEST
00004652: DUP8
00004653: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004668: AND
00004669: DUP10
0000466a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000467f: AND
00004680: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000046a1: DUP6
000046a2: PUSH1 0x40
000046a4: MLOAD
000046a5: DUP1
000046a6: DUP3
000046a7: DUP2
000046a8: MSTORE
000046a9: PUSH1 0x20
000046ab: ADD
000046ac: SWAP2
000046ad: POP
000046ae: POP
000046af: PUSH1 0x40
000046b1: MLOAD
000046b2: DUP1
000046b3: SWAP2
000046b4: SUB
000046b5: SWAP1
000046b6: LOG3
000046b7: POP
000046b8: POP
000046b9: POP
000046ba: POP
000046bb: POP
000046bc: POP
000046bd: POP
000046be: POP
000046bf: POP
000046c0: JUMP
000046c1: JUMPDEST
000046c2: PUSH1 0x00
000046c4: DUP1
000046c5: PUSH1 0x00
000046c7: DUP1
000046c8: PUSH1 0x00
000046ca: DUP1
000046cb: PUSH2 0x46d3
000046ce: DUP8
000046cf: PUSH2 0x329b
000046d2: JUMP
000046d3: JUMPDEST
000046d4: SWAP6
000046d5: POP
000046d6: SWAP6
000046d7: POP
000046d8: SWAP6
000046d9: POP
000046da: SWAP6
000046db: POP
000046dc: SWAP6
000046dd: POP
000046de: SWAP6
000046df: POP
000046e0: PUSH2 0x4731
000046e3: DUP8
000046e4: PUSH1 0x04
000046e6: PUSH1 0x00
000046e8: DUP13
000046e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000046fe: AND
000046ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004714: AND
00004715: DUP2
00004716: MSTORE
00004717: PUSH1 0x20
00004719: ADD
0000471a: SWAP1
0000471b: DUP2
0000471c: MSTORE
0000471d: PUSH1 0x20
0000471f: ADD
00004720: PUSH1 0x00
00004722: KECCAK256
00004723: SLOAD
00004724: PUSH2 0x32f7
00004727: SWAP1
00004728: SWAP2
00004729: SWAP1
0000472a: PUSH4 0xffffffff
0000472f: AND
00004730: JUMP
00004731: JUMPDEST
00004732: PUSH1 0x04
00004734: PUSH1 0x00
00004736: DUP12
00004737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000474c: AND
0000474d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004762: AND
00004763: DUP2
00004764: MSTORE
00004765: PUSH1 0x20
00004767: ADD
00004768: SWAP1
00004769: DUP2
0000476a: MSTORE
0000476b: PUSH1 0x20
0000476d: ADD
0000476e: PUSH1 0x00
00004770: KECCAK256
00004771: DUP2
00004772: SWAP1
00004773: SSTORE
00004774: POP
00004775: PUSH2 0x47c6
00004778: DUP7
00004779: PUSH1 0x03
0000477b: PUSH1 0x00
0000477d: DUP13
0000477e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004793: AND
00004794: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000047a9: AND
000047aa: DUP2
000047ab: MSTORE
000047ac: PUSH1 0x20
000047ae: ADD
000047af: SWAP1
000047b0: DUP2
000047b1: MSTORE
000047b2: PUSH1 0x20
000047b4: ADD
000047b5: PUSH1 0x00
000047b7: KECCAK256
000047b8: SLOAD
000047b9: PUSH2 0x32f7
000047bc: SWAP1
000047bd: SWAP2
000047be: SWAP1
000047bf: PUSH4 0xffffffff
000047c4: AND
000047c5: JUMP
000047c6: JUMPDEST
000047c7: PUSH1 0x03
000047c9: PUSH1 0x00
000047cb: DUP12
000047cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000047e1: AND
000047e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000047f7: AND
000047f8: DUP2
000047f9: MSTORE
000047fa: PUSH1 0x20
000047fc: ADD
000047fd: SWAP1
000047fe: DUP2
000047ff: MSTORE
00004800: PUSH1 0x20
00004802: ADD
00004803: PUSH1 0x00
00004805: KECCAK256
00004806: DUP2
00004807: SWAP1
00004808: SSTORE
00004809: POP
0000480a: PUSH2 0x485b
0000480d: DUP4
0000480e: PUSH1 0x04
00004810: PUSH1 0x00
00004812: DUP12
00004813: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004828: AND
00004829: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000483e: AND
0000483f: DUP2
00004840: MSTORE
00004841: PUSH1 0x20
00004843: ADD
00004844: SWAP1
00004845: DUP2
00004846: MSTORE
00004847: PUSH1 0x20
00004849: ADD
0000484a: PUSH1 0x00
0000484c: KECCAK256
0000484d: SLOAD
0000484e: PUSH2 0x3213
00004851: SWAP1
00004852: SWAP2
00004853: SWAP1
00004854: PUSH4 0xffffffff
00004859: AND
0000485a: JUMP
0000485b: JUMPDEST
0000485c: PUSH1 0x04
0000485e: PUSH1 0x00
00004860: DUP11
00004861: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004876: AND
00004877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000488c: AND
0000488d: DUP2
0000488e: MSTORE
0000488f: PUSH1 0x20
00004891: ADD
00004892: SWAP1
00004893: DUP2
00004894: MSTORE
00004895: PUSH1 0x20
00004897: ADD
00004898: PUSH1 0x00
0000489a: KECCAK256
0000489b: DUP2
0000489c: SWAP1
0000489d: SSTORE
0000489e: POP
0000489f: PUSH2 0x48f0
000048a2: DUP6
000048a3: PUSH1 0x03
000048a5: PUSH1 0x00
000048a7: DUP12
000048a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000048bd: AND
000048be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000048d3: AND
000048d4: DUP2
000048d5: MSTORE
000048d6: PUSH1 0x20
000048d8: ADD
000048d9: SWAP1
000048da: DUP2
000048db: MSTORE
000048dc: PUSH1 0x20
000048de: ADD
000048df: PUSH1 0x00
000048e1: KECCAK256
000048e2: SLOAD
000048e3: PUSH2 0x3213
000048e6: SWAP1
000048e7: SWAP2
000048e8: SWAP1
000048e9: PUSH4 0xffffffff
000048ee: AND
000048ef: JUMP
000048f0: JUMPDEST
000048f1: PUSH1 0x03
000048f3: PUSH1 0x00
000048f5: DUP11
000048f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000490b: AND
0000490c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004921: AND
00004922: DUP2
00004923: MSTORE
00004924: PUSH1 0x20
00004926: ADD
00004927: SWAP1
00004928: DUP2
00004929: MSTORE
0000492a: PUSH1 0x20
0000492c: ADD
0000492d: PUSH1 0x00
0000492f: KECCAK256
00004930: DUP2
00004931: SWAP1
00004932: SSTORE
00004933: POP
00004934: PUSH2 0x493c
00004937: DUP2
00004938: PUSH2 0x4a2c
0000493b: JUMP
0000493c: JUMPDEST
0000493d: PUSH2 0x4946
00004940: DUP5
00004941: DUP4
00004942: PUSH2 0x4bd1
00004945: JUMP
00004946: JUMPDEST
00004947: DUP8
00004948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000495d: AND
0000495e: DUP10
0000495f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004974: AND
00004975: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00004996: DUP6
00004997: PUSH1 0x40
00004999: MLOAD
0000499a: DUP1
0000499b: DUP3
0000499c: DUP2
0000499d: MSTORE
0000499e: PUSH1 0x20
000049a0: ADD
000049a1: SWAP2
000049a2: POP
000049a3: POP
000049a4: PUSH1 0x40
000049a6: MLOAD
000049a7: DUP1
000049a8: SWAP2
000049a9: SUB
000049aa: SWAP1
000049ab: LOG3
000049ac: POP
000049ad: POP
000049ae: POP
000049af: POP
000049b0: POP
000049b1: POP
000049b2: POP
000049b3: POP
000049b4: POP
000049b5: JUMP
000049b6: JUMPDEST
000049b7: PUSH1 0x10
000049b9: SLOAD
000049ba: PUSH1 0x0f
000049bc: DUP2
000049bd: SWAP1
000049be: SSTORE
000049bf: POP
000049c0: PUSH1 0x12
000049c2: SLOAD
000049c3: PUSH1 0x11
000049c5: DUP2
000049c6: SWAP1
000049c7: SSTORE
000049c8: POP
000049c9: JUMP
000049ca: JUMPDEST
000049cb: PUSH1 0x00
000049cd: PUSH2 0x49f4
000049d0: PUSH1 0x64
000049d2: PUSH2 0x49e6
000049d5: PUSH1 0x0f
000049d7: SLOAD
000049d8: DUP6
000049d9: PUSH2 0x3341
000049dc: SWAP1
000049dd: SWAP2
000049de: SWAP1
000049df: PUSH4 0xffffffff
000049e4: AND
000049e5: JUMP
000049e6: JUMPDEST
000049e7: PUSH2 0x31c9
000049ea: SWAP1
000049eb: SWAP2
000049ec: SWAP1
000049ed: PUSH4 0xffffffff
000049f2: AND
000049f3: JUMP
000049f4: JUMPDEST
000049f5: SWAP1
000049f6: POP
000049f7: SWAP2
000049f8: SWAP1
000049f9: POP
000049fa: JUMP
000049fb: JUMPDEST
000049fc: PUSH1 0x00
000049fe: PUSH2 0x4a25
00004a01: PUSH1 0x64
00004a03: PUSH2 0x4a17
00004a06: PUSH1 0x11
00004a08: SLOAD
00004a09: DUP6
00004a0a: PUSH2 0x3341
00004a0d: SWAP1
00004a0e: SWAP2
00004a0f: SWAP1
00004a10: PUSH4 0xffffffff
00004a15: AND
00004a16: JUMP
00004a17: JUMPDEST
00004a18: PUSH2 0x31c9
00004a1b: SWAP1
00004a1c: SWAP2
00004a1d: SWAP1
00004a1e: PUSH4 0xffffffff
00004a23: AND
00004a24: JUMP
00004a25: JUMPDEST
00004a26: SWAP1
00004a27: POP
00004a28: SWAP2
00004a29: SWAP1
00004a2a: POP
00004a2b: JUMP
00004a2c: JUMPDEST
00004a2d: PUSH1 0x00
00004a2f: PUSH2 0x4a36
00004a32: PUSH2 0x319e
00004a35: JUMP
00004a36: JUMPDEST
00004a37: SWAP1
00004a38: POP
00004a39: PUSH1 0x00
00004a3b: PUSH2 0x4a4d
00004a3e: DUP3
00004a3f: DUP5
00004a40: PUSH2 0x3341
00004a43: SWAP1
00004a44: SWAP2
00004a45: SWAP1
00004a46: PUSH4 0xffffffff
00004a4b: AND
00004a4c: JUMP
00004a4d: JUMPDEST
00004a4e: SWAP1
00004a4f: POP
00004a50: PUSH2 0x4aa1
00004a53: DUP2
00004a54: PUSH1 0x03
00004a56: PUSH1 0x00
00004a58: ADDRESS
00004a59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004a6e: AND
00004a6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004a84: AND
00004a85: DUP2
00004a86: MSTORE
00004a87: PUSH1 0x20
00004a89: ADD
00004a8a: SWAP1
00004a8b: DUP2
00004a8c: MSTORE
00004a8d: PUSH1 0x20
00004a8f: ADD
00004a90: PUSH1 0x00
00004a92: KECCAK256
00004a93: SLOAD
00004a94: PUSH2 0x3213
00004a97: SWAP1
00004a98: SWAP2
00004a99: SWAP1
00004a9a: PUSH4 0xffffffff
00004a9f: AND
00004aa0: JUMP
00004aa1: JUMPDEST
00004aa2: PUSH1 0x03
00004aa4: PUSH1 0x00
00004aa6: ADDRESS
00004aa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004abc: AND
00004abd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004ad2: AND
00004ad3: DUP2
00004ad4: MSTORE
00004ad5: PUSH1 0x20
00004ad7: ADD
00004ad8: SWAP1
00004ad9: DUP2
00004ada: MSTORE
00004adb: PUSH1 0x20
00004add: ADD
00004ade: PUSH1 0x00
00004ae0: KECCAK256
00004ae1: DUP2
00004ae2: SWAP1
00004ae3: SSTORE
00004ae4: POP
00004ae5: PUSH1 0x07
00004ae7: PUSH1 0x00
00004ae9: ADDRESS
00004aea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004aff: AND
00004b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b15: AND
00004b16: DUP2
00004b17: MSTORE
00004b18: PUSH1 0x20
00004b1a: ADD
00004b1b: SWAP1
00004b1c: DUP2
00004b1d: MSTORE
00004b1e: PUSH1 0x20
00004b20: ADD
00004b21: PUSH1 0x00
00004b23: KECCAK256
00004b24: PUSH1 0x00
00004b26: SWAP1
00004b27: SLOAD
00004b28: SWAP1
00004b29: PUSH2 0x0100
00004b2c: EXP
00004b2d: SWAP1
00004b2e: DIV
00004b2f: PUSH1 0xff
00004b31: AND
00004b32: ISZERO
00004b33: PUSH2 0x4bcc
00004b36: JUMPI
00004b37: PUSH2 0x4b88
00004b3a: DUP4
00004b3b: PUSH1 0x04
00004b3d: PUSH1 0x00
00004b3f: ADDRESS
00004b40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b55: AND
00004b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b6b: AND
00004b6c: DUP2
00004b6d: MSTORE
00004b6e: PUSH1 0x20
00004b70: ADD
00004b71: SWAP1
00004b72: DUP2
00004b73: MSTORE
00004b74: PUSH1 0x20
00004b76: ADD
00004b77: PUSH1 0x00
00004b79: KECCAK256
00004b7a: SLOAD
00004b7b: PUSH2 0x3213
00004b7e: SWAP1
00004b7f: SWAP2
00004b80: SWAP1
00004b81: PUSH4 0xffffffff
00004b86: AND
00004b87: JUMP
00004b88: JUMPDEST
00004b89: PUSH1 0x04
00004b8b: PUSH1 0x00
00004b8d: ADDRESS
00004b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004ba3: AND
00004ba4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004bb9: AND
00004bba: DUP2
00004bbb: MSTORE
00004bbc: PUSH1 0x20
00004bbe: ADD
00004bbf: SWAP1
00004bc0: DUP2
00004bc1: MSTORE
00004bc2: PUSH1 0x20
00004bc4: ADD
00004bc5: PUSH1 0x00
00004bc7: KECCAK256
00004bc8: DUP2
00004bc9: SWAP1
00004bca: SSTORE
00004bcb: POP
00004bcc: JUMPDEST
00004bcd: POP
00004bce: POP
00004bcf: POP
00004bd0: JUMP
00004bd1: JUMPDEST
00004bd2: PUSH2 0x4be6
00004bd5: DUP3
00004bd6: PUSH1 0x0a
00004bd8: SLOAD
00004bd9: PUSH2 0x32f7
00004bdc: SWAP1
00004bdd: SWAP2
00004bde: SWAP1
00004bdf: PUSH4 0xffffffff
00004be4: AND
00004be5: JUMP
00004be6: JUMPDEST
00004be7: PUSH1 0x0a
00004be9: DUP2
00004bea: SWAP1
00004beb: SSTORE
00004bec: POP
00004bed: PUSH2 0x4c01
00004bf0: DUP2
00004bf1: PUSH1 0x0b
00004bf3: SLOAD
00004bf4: PUSH2 0x3213
00004bf7: SWAP1
00004bf8: SWAP2
00004bf9: SWAP1
00004bfa: PUSH4 0xffffffff
00004bff: AND
00004c00: JUMP
00004c01: JUMPDEST
00004c02: PUSH1 0x0b
00004c04: DUP2
00004c05: SWAP1
00004c06: SSTORE
00004c07: POP
00004c08: POP
00004c09: POP
00004c0a: JUMP
00004c0b: INVALID
00004c0c: GASLIMIT
00004c0d: MSTORE
00004c0e: NUMBER
00004c0f: ORIGIN
00004c10: ADDRESS
00004c11: GASPRICE
00004c12: KECCAK256
00004c13: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00004c29: PUSH5 0x6472657373
00004c2f: COINBASE
00004c30: PUSH14 0x6f756e74206d757374206265206c
00004c3f: PUSH6 0x737320746861
00004c46: PUSH15 0x20746f74616c207265666c65637469
00004c56: PUSH16 0x6e734f776e61626c653a206e6577206f
00004c67: PUSH24 0x6e657220697320746865207a65726f206164647265737345
00004c80: MSTORE
00004c81: NUMBER
00004c82: ORIGIN
00004c83: ADDRESS
00004c84: GASPRICE
00004c85: KECCAK256
00004c86: PUSH2 0x7070
00004c89: PUSH19 0x6f766520746f20746865207a65726f20616464
00004c9d: PUSH19 0x6573735472616e7366657220616d6f756e7420
00004cb1: PUSH6 0x786365656473
00004cb8: KECCAK256
00004cb9: PUSH21 0x6865206d61785478416d6f756e742e536166654d61
00004ccf: PUSH21 0x683a206d756c7469706c69636174696f6e206f7665
00004ce5: PUSH19 0x666c6f7745524332303a207472616e73666572
00004cf9: KECCAK256
00004cfa: PUSH2 0x6d6f
00004cfd: PUSH22 0x6e74206578636565647320616c6c6f77616e63655472
00004d14: PUSH2 0x6e73
00004d17: PUSH7 0x657220616d6f75
00004d1f: PUSH15 0x74206d757374206265206772656174
00004d2f: PUSH6 0x72207468616e
00004d36: KECCAK256
00004d37: PUSH27 0x65726f45524332303a207472616e736665722066726f6d20746865
00004d53: KECCAK256
00004d54: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
00004d70: PUSH19 0x6f6d20746865207a65726f2061646472657373
00004d84: GASLIMIT
00004d85: PUSH25 0x636c75646564206164647265737365732063616e6e6f742063
00004d9f: PUSH2 0x6c6c
00004da2: KECCAK256
00004da3: PUSH21 0x6869732066756e6374696f6e596f7520646f6e2774
00004db9: KECCAK256
00004dba: PUSH9 0x617665207065726d69
00004dc4: PUSH20 0x73696f6e20746f20756e6c6f636b45524332303a
00004dd9: KECCAK256
00004dda: PUSH5 0x6563726561
00004de0: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00004df5: PUSH6 0x726fa2646970
00004dfc: PUSH7 0x7358221220f9f9
00004e04: DUP11
00004e05: SWAP11
00004e06: SWAP11
00004e07: DUP6
00004e08: UNKNOWN(0xC5)
00004e09: UNKNOWN(0xF6)
00004e0a: SWAP16
00004e0b: SWAP12
00004e0c: UNKNOWN(0xCB)
00004e0d: MLOAD
00004e0e: PUSH32

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": "0xd543dbeb", "selector": "0xd543dbeb", "calldata_variants": [ "0xd543dbeb", "0xd543dbeb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa69df4b5", "selector": "0xa69df4b5", "calldata_variants": [ "0xa69df4b5", "0xa69df4b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 19471, "type": "tx_origin_used" }, { "pc": 19586, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x007fb891fa61a033475e86c3737cfd28cd3520b23156f064c9d87b0f4ad506af call_targets: 0xf8a4a419c2d7140e49ef952a7e7ae1bd4a8b6b9c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x007fb891fa61a033475e86c3737cfd28cd3520b23156f064c9d87b0f4ad506af", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf8a4a419c2d7140e49ef952a7e7ae1bd4a8b6b9c" ], "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": "0xd543dbeb", "selector": "0xd543dbeb", "calldata_variants": [ "0xd543dbeb", "0xd543dbeb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa69df4b5", "selector": "0xa69df4b5", "calldata_variants": [ "0xa69df4b5", "0xa69df4b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 16009, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 16287, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 19471, "type": "tx_origin_used" }, { "pc": 19586, "type": "tx_origin_used" } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x007fb891fa61a033475e86c3737cfd28cd3520b23156f064c9d87b0f4ad506af call_targets: 0xf8a4a419c2d7140e49ef952a7e7ae1bd4a8b6b9c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x007fb891fa61a033475e86c3737cfd28cd3520b23156f064c9d87b0f4ad506af", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf8a4a419c2d7140e49ef952a7e7ae1bd4a8b6b9c" ], "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": "0xd543dbeb", "selector": "0xd543dbeb", "calldata_variants": [ "0xd543dbeb", "0xd543dbeb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa69df4b5", "selector": "0xa69df4b5", "calldata_variants": [ "0xa69df4b5", "0xa69df4b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 16009, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 16287, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 19471, "type": "tx_origin_used" }, { "pc": 19586, "type": "tx_origin_used" } ] }

Severity