Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-bc09-70d1-8285-b9395cb1ca35
complete
Chain ID
Address
0x790baf0c914898c62163a61f150637d4bd180697
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
Source
Verified
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
24005	artifact.fetch	complete	1 / 3	3 months ago
24006	tool.cast_disasm	complete	1 / 3	3 months ago
67194	analysis.bundle	complete	1 / 3	2 weeks ago
67195	capability.graph	complete	1 / 3	2 weeks ago
67196	detector.run	complete	1 / 3	2 weeks ago
67197	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
9078
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 0x4cd6
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 0x30ca
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 0x4c1b
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 0x318a
00001051: JUMP
00001052: JUMPDEST
00001053: SWAP1
00001054: POP
00001055: PUSH2 0x1067
00001058: DUP2
00001059: DUP5
0000105a: PUSH2 0x31b5
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 0x31ff
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 0x4d70
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 0x3287
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 0x32e3
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 0x32e3
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 0x31ff
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 0x3287
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 0x3287
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 0x000000000000000000000000be06f49563f9b893254ba3706231f30dd9c63749
00001856: DUP2
00001857: JUMP
00001858: JUMPDEST
00001859: PUSH1 0x14
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 0x13
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 0x4dbf
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 0x30ca
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 0x4d9c
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 0x14
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 0x332d
00002553: SWAP1
00002554: SWAP2
00002555: SWAP1
00002556: PUSH4 0xffffffff
0000255b: AND
0000255c: JUMP
0000255d: JUMPDEST
0000255e: PUSH2 0x31b5
00002561: SWAP1
00002562: SWAP2
00002563: SWAP1
00002564: PUSH4 0xffffffff
00002569: AND
0000256a: JUMP
0000256b: JUMPDEST
0000256c: PUSH1 0x13
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 0x4c45
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 0x4d4c
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 0x4c6b
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 0x4d27
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 0x4bf8
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 0x4cfe
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 0x13
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 0x4c8d
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 0x00
00002f65: PUSH1 0x15
00002f67: SLOAD
00002f68: DUP3
00002f69: LT
00002f6a: ISZERO
00002f6b: SWAP1
00002f6c: POP
00002f6d: DUP1
00002f6e: DUP1
00002f6f: ISZERO
00002f70: PUSH2 0x2f86
00002f73: JUMPI
00002f74: POP
00002f75: PUSH1 0x14
00002f77: PUSH1 0x00
00002f79: SWAP1
00002f7a: SLOAD
00002f7b: SWAP1
00002f7c: PUSH2 0x0100
00002f7f: EXP
00002f80: SWAP1
00002f81: DIV
00002f82: PUSH1 0xff
00002f84: AND
00002f85: ISZERO
00002f86: JUMPDEST
00002f87: DUP1
00002f88: ISZERO
00002f89: PUSH2 0x2fde
00002f8c: JUMPI
00002f8d: POP
00002f8e: PUSH32 0x000000000000000000000000be06f49563f9b893254ba3706231f30dd9c63749
00002faf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fc4: AND
00002fc5: DUP6
00002fc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fdb: AND
00002fdc: EQ
00002fdd: ISZERO
00002fde: JUMPDEST
00002fdf: DUP1
00002fe0: ISZERO
00002fe1: PUSH2 0x2ff6
00002fe4: JUMPI
00002fe5: POP
00002fe6: PUSH1 0x14
00002fe8: PUSH1 0x01
00002fea: SWAP1
00002feb: SLOAD
00002fec: SWAP1
00002fed: PUSH2 0x0100
00002ff0: EXP
00002ff1: SWAP1
00002ff2: DIV
00002ff3: PUSH1 0xff
00002ff5: AND
00002ff6: JUMPDEST
00002ff7: ISZERO
00002ff8: PUSH2 0x3005
00002ffb: JUMPI
00002ffc: PUSH2 0x3004
00002fff: DUP3
00003000: PUSH2 0x33b3
00003003: JUMP
00003004: JUMPDEST
00003005: JUMPDEST
00003006: PUSH1 0x00
00003008: PUSH1 0x01
0000300a: SWAP1
0000300b: POP
0000300c: PUSH1 0x06
0000300e: PUSH1 0x00
00003010: DUP8
00003011: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003026: AND
00003027: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000303c: AND
0000303d: DUP2
0000303e: MSTORE
0000303f: PUSH1 0x20
00003041: ADD
00003042: SWAP1
00003043: DUP2
00003044: MSTORE
00003045: PUSH1 0x20
00003047: ADD
00003048: PUSH1 0x00
0000304a: KECCAK256
0000304b: PUSH1 0x00
0000304d: SWAP1
0000304e: SLOAD
0000304f: SWAP1
00003050: PUSH2 0x0100
00003053: EXP
00003054: SWAP1
00003055: DIV
00003056: PUSH1 0xff
00003058: AND
00003059: DUP1
0000305a: PUSH2 0x30ac
0000305d: JUMPI
0000305e: POP
0000305f: PUSH1 0x06
00003061: PUSH1 0x00
00003063: DUP7
00003064: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003079: AND
0000307a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000308f: AND
00003090: DUP2
00003091: MSTORE
00003092: PUSH1 0x20
00003094: ADD
00003095: SWAP1
00003096: DUP2
00003097: MSTORE
00003098: PUSH1 0x20
0000309a: ADD
0000309b: PUSH1 0x00
0000309d: KECCAK256
0000309e: PUSH1 0x00
000030a0: SWAP1
000030a1: SLOAD
000030a2: SWAP1
000030a3: PUSH2 0x0100
000030a6: EXP
000030a7: SWAP1
000030a8: DIV
000030a9: PUSH1 0xff
000030ab: AND
000030ac: JUMPDEST
000030ad: ISZERO
000030ae: PUSH2 0x30b6
000030b1: JUMPI
000030b2: PUSH1 0x00
000030b4: SWAP1
000030b5: POP
000030b6: JUMPDEST
000030b7: PUSH2 0x30c2
000030ba: DUP7
000030bb: DUP7
000030bc: DUP7
000030bd: DUP5
000030be: PUSH2 0x3495
000030c1: JUMP
000030c2: JUMPDEST
000030c3: POP
000030c4: POP
000030c5: POP
000030c6: POP
000030c7: POP
000030c8: POP
000030c9: JUMP
000030ca: JUMPDEST
000030cb: PUSH1 0x00
000030cd: DUP4
000030ce: DUP4
000030cf: GT
000030d0: ISZERO
000030d1: DUP3
000030d2: SWAP1
000030d3: PUSH2 0x3177
000030d6: JUMPI
000030d7: PUSH1 0x40
000030d9: MLOAD
000030da: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000030fb: DUP2
000030fc: MSTORE
000030fd: PUSH1 0x04
000030ff: ADD
00003100: DUP1
00003101: DUP1
00003102: PUSH1 0x20
00003104: ADD
00003105: DUP3
00003106: DUP2
00003107: SUB
00003108: DUP3
00003109: MSTORE
0000310a: DUP4
0000310b: DUP2
0000310c: DUP2
0000310d: MLOAD
0000310e: DUP2
0000310f: MSTORE
00003110: PUSH1 0x20
00003112: ADD
00003113: SWAP2
00003114: POP
00003115: DUP1
00003116: MLOAD
00003117: SWAP1
00003118: PUSH1 0x20
0000311a: ADD
0000311b: SWAP1
0000311c: DUP1
0000311d: DUP4
0000311e: DUP4
0000311f: PUSH1 0x00
00003121: JUMPDEST
00003122: DUP4
00003123: DUP2
00003124: LT
00003125: ISZERO
00003126: PUSH2 0x313c
00003129: JUMPI
0000312a: DUP1
0000312b: DUP3
0000312c: ADD
0000312d: MLOAD
0000312e: DUP2
0000312f: DUP5
00003130: ADD
00003131: MSTORE
00003132: PUSH1 0x20
00003134: DUP2
00003135: ADD
00003136: SWAP1
00003137: POP
00003138: PUSH2 0x3121
0000313b: JUMP
0000313c: JUMPDEST
0000313d: POP
0000313e: POP
0000313f: POP
00003140: POP
00003141: SWAP1
00003142: POP
00003143: SWAP1
00003144: DUP2
00003145: ADD
00003146: SWAP1
00003147: PUSH1 0x1f
00003149: AND
0000314a: DUP1
0000314b: ISZERO
0000314c: PUSH2 0x3169
0000314f: JUMPI
00003150: DUP1
00003151: DUP3
00003152: SUB
00003153: DUP1
00003154: MLOAD
00003155: PUSH1 0x01
00003157: DUP4
00003158: PUSH1 0x20
0000315a: SUB
0000315b: PUSH2 0x0100
0000315e: EXP
0000315f: SUB
00003160: NOT
00003161: AND
00003162: DUP2
00003163: MSTORE
00003164: PUSH1 0x20
00003166: ADD
00003167: SWAP2
00003168: POP
00003169: JUMPDEST
0000316a: POP
0000316b: SWAP3
0000316c: POP
0000316d: POP
0000316e: POP
0000316f: PUSH1 0x40
00003171: MLOAD
00003172: DUP1
00003173: SWAP2
00003174: SUB
00003175: SWAP1
00003176: REVERT
00003177: JUMPDEST
00003178: POP
00003179: PUSH1 0x00
0000317b: DUP4
0000317c: DUP6
0000317d: SUB
0000317e: SWAP1
0000317f: POP
00003180: DUP1
00003181: SWAP2
00003182: POP
00003183: POP
00003184: SWAP4
00003185: SWAP3
00003186: POP
00003187: POP
00003188: POP
00003189: JUMP
0000318a: JUMPDEST
0000318b: PUSH1 0x00
0000318d: DUP1
0000318e: PUSH1 0x00
00003190: PUSH2 0x3197
00003193: PUSH2 0x37a6
00003196: JUMP
00003197: JUMPDEST
00003198: SWAP2
00003199: POP
0000319a: SWAP2
0000319b: POP
0000319c: PUSH2 0x31ae
0000319f: DUP2
000031a0: DUP4
000031a1: PUSH2 0x31b5
000031a4: SWAP1
000031a5: SWAP2
000031a6: SWAP1
000031a7: PUSH4 0xffffffff
000031ac: AND
000031ad: JUMP
000031ae: JUMPDEST
000031af: SWAP3
000031b0: POP
000031b1: POP
000031b2: POP
000031b3: SWAP1
000031b4: JUMP
000031b5: JUMPDEST
000031b6: PUSH1 0x00
000031b8: PUSH2 0x31f7
000031bb: DUP4
000031bc: DUP4
000031bd: PUSH1 0x40
000031bf: MLOAD
000031c0: DUP1
000031c1: PUSH1 0x40
000031c3: ADD
000031c4: PUSH1 0x40
000031c6: MSTORE
000031c7: DUP1
000031c8: PUSH1 0x1a
000031ca: DUP2
000031cb: MSTORE
000031cc: PUSH1 0x20
000031ce: ADD
000031cf: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000031f0: DUP2
000031f1: MSTORE
000031f2: POP
000031f3: PUSH2 0x3a37
000031f6: JUMP
000031f7: JUMPDEST
000031f8: SWAP1
000031f9: POP
000031fa: SWAP3
000031fb: SWAP2
000031fc: POP
000031fd: POP
000031fe: JUMP
000031ff: JUMPDEST
00003200: PUSH1 0x00
00003202: DUP1
00003203: DUP3
00003204: DUP5
00003205: ADD
00003206: SWAP1
00003207: POP
00003208: DUP4
00003209: DUP2
0000320a: LT
0000320b: ISZERO
0000320c: PUSH2 0x327d
0000320f: JUMPI
00003210: PUSH1 0x40
00003212: MLOAD
00003213: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003234: DUP2
00003235: MSTORE
00003236: PUSH1 0x04
00003238: ADD
00003239: DUP1
0000323a: DUP1
0000323b: PUSH1 0x20
0000323d: ADD
0000323e: DUP3
0000323f: DUP2
00003240: SUB
00003241: DUP3
00003242: MSTORE
00003243: PUSH1 0x1b
00003245: DUP2
00003246: MSTORE
00003247: PUSH1 0x20
00003249: ADD
0000324a: DUP1
0000324b: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
0000326c: DUP2
0000326d: MSTORE
0000326e: POP
0000326f: PUSH1 0x20
00003271: ADD
00003272: SWAP2
00003273: POP
00003274: POP
00003275: PUSH1 0x40
00003277: MLOAD
00003278: DUP1
00003279: SWAP2
0000327a: SUB
0000327b: SWAP1
0000327c: REVERT
0000327d: JUMPDEST
0000327e: DUP1
0000327f: SWAP2
00003280: POP
00003281: POP
00003282: SWAP3
00003283: SWAP2
00003284: POP
00003285: POP
00003286: JUMP
00003287: JUMPDEST
00003288: PUSH1 0x00
0000328a: DUP1
0000328b: PUSH1 0x00
0000328d: DUP1
0000328e: PUSH1 0x00
00003290: DUP1
00003291: PUSH1 0x00
00003293: DUP1
00003294: PUSH1 0x00
00003296: PUSH2 0x329e
00003299: DUP11
0000329a: PUSH2 0x3afd
0000329d: JUMP
0000329e: JUMPDEST
0000329f: SWAP3
000032a0: POP
000032a1: SWAP3
000032a2: POP
000032a3: SWAP3
000032a4: POP
000032a5: PUSH1 0x00
000032a7: DUP1
000032a8: PUSH1 0x00
000032aa: PUSH2 0x32bc
000032ad: DUP14
000032ae: DUP7
000032af: DUP7
000032b0: PUSH2 0x32b7
000032b3: PUSH2 0x318a
000032b6: JUMP
000032b7: JUMPDEST
000032b8: PUSH2 0x3b57
000032bb: JUMP
000032bc: JUMPDEST
000032bd: SWAP3
000032be: POP
000032bf: SWAP3
000032c0: POP
000032c1: SWAP3
000032c2: POP
000032c3: DUP3
000032c4: DUP3
000032c5: DUP3
000032c6: DUP9
000032c7: DUP9
000032c8: DUP9
000032c9: SWAP12
000032ca: POP
000032cb: SWAP12
000032cc: POP
000032cd: SWAP12
000032ce: POP
000032cf: SWAP12
000032d0: POP
000032d1: SWAP12
000032d2: POP
000032d3: SWAP12
000032d4: POP
000032d5: POP
000032d6: POP
000032d7: POP
000032d8: POP
000032d9: POP
000032da: POP
000032db: SWAP2
000032dc: SWAP4
000032dd: SWAP6
000032de: POP
000032df: SWAP2
000032e0: SWAP4
000032e1: SWAP6
000032e2: JUMP
000032e3: JUMPDEST
000032e4: PUSH1 0x00
000032e6: PUSH2 0x3325
000032e9: DUP4
000032ea: DUP4
000032eb: PUSH1 0x40
000032ed: MLOAD
000032ee: DUP1
000032ef: PUSH1 0x40
000032f1: ADD
000032f2: PUSH1 0x40
000032f4: MSTORE
000032f5: DUP1
000032f6: PUSH1 0x1e
000032f8: DUP2
000032f9: MSTORE
000032fa: PUSH1 0x20
000032fc: ADD
000032fd: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
0000331e: DUP2
0000331f: MSTORE
00003320: POP
00003321: PUSH2 0x30ca
00003324: JUMP
00003325: JUMPDEST
00003326: SWAP1
00003327: POP
00003328: SWAP3
00003329: SWAP2
0000332a: POP
0000332b: POP
0000332c: JUMP
0000332d: JUMPDEST
0000332e: PUSH1 0x00
00003330: DUP1
00003331: DUP4
00003332: EQ
00003333: ISZERO
00003334: PUSH2 0x3340
00003337: JUMPI
00003338: PUSH1 0x00
0000333a: SWAP1
0000333b: POP
0000333c: PUSH2 0x33ad
0000333f: JUMP
00003340: JUMPDEST
00003341: PUSH1 0x00
00003343: DUP3
00003344: DUP5
00003345: MUL
00003346: SWAP1
00003347: POP
00003348: DUP3
00003349: DUP5
0000334a: DUP3
0000334b: DUP2
0000334c: PUSH2 0x3351
0000334f: JUMPI
00003350: INVALID
00003351: JUMPDEST
00003352: DIV
00003353: EQ
00003354: PUSH2 0x33a8
00003357: JUMPI
00003358: PUSH1 0x40
0000335a: MLOAD
0000335b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000337c: DUP2
0000337d: MSTORE
0000337e: PUSH1 0x04
00003380: ADD
00003381: DUP1
00003382: DUP1
00003383: PUSH1 0x20
00003385: ADD
00003386: DUP3
00003387: DUP2
00003388: SUB
00003389: DUP3
0000338a: MSTORE
0000338b: PUSH1 0x21
0000338d: DUP2
0000338e: MSTORE
0000338f: PUSH1 0x20
00003391: ADD
00003392: DUP1
00003393: PUSH2 0x4cb5
00003396: PUSH1 0x21
00003398: SWAP2
00003399: CODECOPY
0000339a: PUSH1 0x40
0000339c: ADD
0000339d: SWAP2
0000339e: POP
0000339f: POP
000033a0: PUSH1 0x40
000033a2: MLOAD
000033a3: DUP1
000033a4: SWAP2
000033a5: SUB
000033a6: SWAP1
000033a7: REVERT
000033a8: JUMPDEST
000033a9: DUP1
000033aa: SWAP2
000033ab: POP
000033ac: POP
000033ad: JUMPDEST
000033ae: SWAP3
000033af: SWAP2
000033b0: POP
000033b1: POP
000033b2: JUMP
000033b3: JUMPDEST
000033b4: PUSH1 0x01
000033b6: PUSH1 0x14
000033b8: PUSH1 0x00
000033ba: PUSH2 0x0100
000033bd: EXP
000033be: DUP2
000033bf: SLOAD
000033c0: DUP2
000033c1: PUSH1 0xff
000033c3: MUL
000033c4: NOT
000033c5: AND
000033c6: SWAP1
000033c7: DUP4
000033c8: ISZERO
000033c9: ISZERO
000033ca: MUL
000033cb: OR
000033cc: SWAP1
000033cd: SSTORE
000033ce: POP
000033cf: PUSH1 0x00
000033d1: PUSH2 0x33e4
000033d4: PUSH1 0x02
000033d6: DUP4
000033d7: PUSH2 0x31b5
000033da: SWAP1
000033db: SWAP2
000033dc: SWAP1
000033dd: PUSH4 0xffffffff
000033e2: AND
000033e3: JUMP
000033e4: JUMPDEST
000033e5: SWAP1
000033e6: POP
000033e7: PUSH1 0x00
000033e9: PUSH2 0x33fb
000033ec: DUP3
000033ed: DUP5
000033ee: PUSH2 0x32e3
000033f1: SWAP1
000033f2: SWAP2
000033f3: SWAP1
000033f4: PUSH4 0xffffffff
000033f9: AND
000033fa: JUMP
000033fb: JUMPDEST
000033fc: SWAP1
000033fd: POP
000033fe: PUSH1 0x00
00003400: SELFBALANCE
00003401: SWAP1
00003402: POP
00003403: PUSH2 0x340b
00003406: DUP4
00003407: PUSH2 0x3be0
0000340a: JUMP
0000340b: JUMPDEST
0000340c: PUSH1 0x00
0000340e: PUSH2 0x3420
00003411: DUP3
00003412: SELFBALANCE
00003413: PUSH2 0x32e3
00003416: SWAP1
00003417: SWAP2
00003418: SWAP1
00003419: PUSH4 0xffffffff
0000341e: AND
0000341f: JUMP
00003420: JUMPDEST
00003421: SWAP1
00003422: POP
00003423: PUSH2 0x342c
00003426: DUP4
00003427: DUP3
00003428: PUSH2 0x3e8e
0000342b: JUMP
0000342c: JUMPDEST
0000342d: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561
0000344e: DUP5
0000344f: DUP3
00003450: DUP6
00003451: PUSH1 0x40
00003453: MLOAD
00003454: DUP1
00003455: DUP5
00003456: DUP2
00003457: MSTORE
00003458: PUSH1 0x20
0000345a: ADD
0000345b: DUP4
0000345c: DUP2
0000345d: MSTORE
0000345e: PUSH1 0x20
00003460: ADD
00003461: DUP3
00003462: DUP2
00003463: MSTORE
00003464: PUSH1 0x20
00003466: ADD
00003467: SWAP4
00003468: POP
00003469: POP
0000346a: POP
0000346b: POP
0000346c: PUSH1 0x40
0000346e: MLOAD
0000346f: DUP1
00003470: SWAP2
00003471: SUB
00003472: SWAP1
00003473: LOG1
00003474: POP
00003475: POP
00003476: POP
00003477: POP
00003478: PUSH1 0x00
0000347a: PUSH1 0x14
0000347c: PUSH1 0x00
0000347e: PUSH2 0x0100
00003481: EXP
00003482: DUP2
00003483: SLOAD
00003484: DUP2
00003485: PUSH1 0xff
00003487: MUL
00003488: NOT
00003489: AND
0000348a: SWAP1
0000348b: DUP4
0000348c: ISZERO
0000348d: ISZERO
0000348e: MUL
0000348f: OR
00003490: SWAP1
00003491: SSTORE
00003492: POP
00003493: POP
00003494: JUMP
00003495: JUMPDEST
00003496: DUP1
00003497: PUSH2 0x34a3
0000349a: JUMPI
0000349b: PUSH2 0x34a2
0000349e: PUSH2 0x3fdf
000034a1: JUMP
000034a2: JUMPDEST
000034a3: JUMPDEST
000034a4: PUSH1 0x07
000034a6: PUSH1 0x00
000034a8: DUP6
000034a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034be: AND
000034bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034d4: AND
000034d5: DUP2
000034d6: MSTORE
000034d7: PUSH1 0x20
000034d9: ADD
000034da: SWAP1
000034db: DUP2
000034dc: MSTORE
000034dd: PUSH1 0x20
000034df: ADD
000034e0: PUSH1 0x00
000034e2: KECCAK256
000034e3: PUSH1 0x00
000034e5: SWAP1
000034e6: SLOAD
000034e7: SWAP1
000034e8: PUSH2 0x0100
000034eb: EXP
000034ec: SWAP1
000034ed: DIV
000034ee: PUSH1 0xff
000034f0: AND
000034f1: DUP1
000034f2: ISZERO
000034f3: PUSH2 0x3546
000034f6: JUMPI
000034f7: POP
000034f8: PUSH1 0x07
000034fa: PUSH1 0x00
000034fc: DUP5
000034fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003512: AND
00003513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003528: AND
00003529: DUP2
0000352a: MSTORE
0000352b: PUSH1 0x20
0000352d: ADD
0000352e: SWAP1
0000352f: DUP2
00003530: MSTORE
00003531: PUSH1 0x20
00003533: ADD
00003534: PUSH1 0x00
00003536: KECCAK256
00003537: PUSH1 0x00
00003539: SWAP1
0000353a: SLOAD
0000353b: SWAP1
0000353c: PUSH2 0x0100
0000353f: EXP
00003540: SWAP1
00003541: DIV
00003542: PUSH1 0xff
00003544: AND
00003545: ISZERO
00003546: JUMPDEST
00003547: ISZERO
00003548: PUSH2 0x355b
0000354b: JUMPI
0000354c: PUSH2 0x3556
0000354f: DUP5
00003550: DUP5
00003551: DUP5
00003552: PUSH2 0x4022
00003555: JUMP
00003556: JUMPDEST
00003557: PUSH2 0x3792
0000355a: JUMP
0000355b: JUMPDEST
0000355c: PUSH1 0x07
0000355e: PUSH1 0x00
00003560: DUP6
00003561: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003576: AND
00003577: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000358c: AND
0000358d: DUP2
0000358e: MSTORE
0000358f: PUSH1 0x20
00003591: ADD
00003592: SWAP1
00003593: DUP2
00003594: MSTORE
00003595: PUSH1 0x20
00003597: ADD
00003598: PUSH1 0x00
0000359a: KECCAK256
0000359b: PUSH1 0x00
0000359d: SWAP1
0000359e: SLOAD
0000359f: SWAP1
000035a0: PUSH2 0x0100
000035a3: EXP
000035a4: SWAP1
000035a5: DIV
000035a6: PUSH1 0xff
000035a8: AND
000035a9: ISZERO
000035aa: DUP1
000035ab: ISZERO
000035ac: PUSH2 0x35fe
000035af: JUMPI
000035b0: POP
000035b1: PUSH1 0x07
000035b3: PUSH1 0x00
000035b5: DUP5
000035b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035cb: AND
000035cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035e1: AND
000035e2: DUP2
000035e3: MSTORE
000035e4: PUSH1 0x20
000035e6: ADD
000035e7: SWAP1
000035e8: DUP2
000035e9: MSTORE
000035ea: PUSH1 0x20
000035ec: ADD
000035ed: PUSH1 0x00
000035ef: KECCAK256
000035f0: PUSH1 0x00
000035f2: SWAP1
000035f3: SLOAD
000035f4: SWAP1
000035f5: PUSH2 0x0100
000035f8: EXP
000035f9: SWAP1
000035fa: DIV
000035fb: PUSH1 0xff
000035fd: AND
000035fe: JUMPDEST
000035ff: ISZERO
00003600: PUSH2 0x3613
00003603: JUMPI
00003604: PUSH2 0x360e
00003607: DUP5
00003608: DUP5
00003609: DUP5
0000360a: PUSH2 0x4282
0000360d: JUMP
0000360e: JUMPDEST
0000360f: PUSH2 0x3791
00003612: JUMP
00003613: JUMPDEST
00003614: PUSH1 0x07
00003616: PUSH1 0x00
00003618: DUP6
00003619: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000362e: AND
0000362f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003644: AND
00003645: DUP2
00003646: MSTORE
00003647: PUSH1 0x20
00003649: ADD
0000364a: SWAP1
0000364b: DUP2
0000364c: MSTORE
0000364d: PUSH1 0x20
0000364f: ADD
00003650: PUSH1 0x00
00003652: KECCAK256
00003653: PUSH1 0x00
00003655: SWAP1
00003656: SLOAD
00003657: SWAP1
00003658: PUSH2 0x0100
0000365b: EXP
0000365c: SWAP1
0000365d: DIV
0000365e: PUSH1 0xff
00003660: AND
00003661: ISZERO
00003662: DUP1
00003663: ISZERO
00003664: PUSH2 0x36b7
00003667: JUMPI
00003668: POP
00003669: PUSH1 0x07
0000366b: PUSH1 0x00
0000366d: DUP5
0000366e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003683: AND
00003684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003699: AND
0000369a: DUP2
0000369b: MSTORE
0000369c: PUSH1 0x20
0000369e: ADD
0000369f: SWAP1
000036a0: DUP2
000036a1: MSTORE
000036a2: PUSH1 0x20
000036a4: ADD
000036a5: PUSH1 0x00
000036a7: KECCAK256
000036a8: PUSH1 0x00
000036aa: SWAP1
000036ab: SLOAD
000036ac: SWAP1
000036ad: PUSH2 0x0100
000036b0: EXP
000036b1: SWAP1
000036b2: DIV
000036b3: PUSH1 0xff
000036b5: AND
000036b6: ISZERO
000036b7: JUMPDEST
000036b8: ISZERO
000036b9: PUSH2 0x36cc
000036bc: JUMPI
000036bd: PUSH2 0x36c7
000036c0: DUP5
000036c1: DUP5
000036c2: DUP5
000036c3: PUSH2 0x44e2
000036c6: JUMP
000036c7: JUMPDEST
000036c8: PUSH2 0x3790
000036cb: JUMP
000036cc: JUMPDEST
000036cd: PUSH1 0x07
000036cf: PUSH1 0x00
000036d1: DUP6
000036d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036e7: AND
000036e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036fd: AND
000036fe: DUP2
000036ff: MSTORE
00003700: PUSH1 0x20
00003702: ADD
00003703: SWAP1
00003704: DUP2
00003705: MSTORE
00003706: PUSH1 0x20
00003708: ADD
00003709: PUSH1 0x00
0000370b: KECCAK256
0000370c: PUSH1 0x00
0000370e: SWAP1
0000370f: SLOAD
00003710: SWAP1
00003711: PUSH2 0x0100
00003714: EXP
00003715: SWAP1
00003716: DIV
00003717: PUSH1 0xff
00003719: AND
0000371a: DUP1
0000371b: ISZERO
0000371c: PUSH2 0x376e
0000371f: JUMPI
00003720: POP
00003721: PUSH1 0x07
00003723: PUSH1 0x00
00003725: DUP5
00003726: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000373b: AND
0000373c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003751: AND
00003752: DUP2
00003753: MSTORE
00003754: PUSH1 0x20
00003756: ADD
00003757: SWAP1
00003758: DUP2
00003759: MSTORE
0000375a: PUSH1 0x20
0000375c: ADD
0000375d: PUSH1 0x00
0000375f: KECCAK256
00003760: PUSH1 0x00
00003762: SWAP1
00003763: SLOAD
00003764: SWAP1
00003765: PUSH2 0x0100
00003768: EXP
00003769: SWAP1
0000376a: DIV
0000376b: PUSH1 0xff
0000376d: AND
0000376e: JUMPDEST
0000376f: ISZERO
00003770: PUSH2 0x3783
00003773: JUMPI
00003774: PUSH2 0x377e
00003777: DUP5
00003778: DUP5
00003779: DUP5
0000377a: PUSH2 0x46ad
0000377d: JUMP
0000377e: JUMPDEST
0000377f: PUSH2 0x378f
00003782: JUMP
00003783: JUMPDEST
00003784: PUSH2 0x378e
00003787: DUP5
00003788: DUP5
00003789: DUP5
0000378a: PUSH2 0x44e2
0000378d: JUMP
0000378e: JUMPDEST
0000378f: JUMPDEST
00003790: JUMPDEST
00003791: JUMPDEST
00003792: JUMPDEST
00003793: DUP1
00003794: PUSH2 0x37a0
00003797: JUMPI
00003798: PUSH2 0x379f
0000379b: PUSH2 0x49a2
0000379e: JUMP
0000379f: JUMPDEST
000037a0: JUMPDEST
000037a1: POP
000037a2: POP
000037a3: POP
000037a4: POP
000037a5: JUMP
000037a6: JUMPDEST
000037a7: PUSH1 0x00
000037a9: DUP1
000037aa: PUSH1 0x00
000037ac: PUSH1 0x0a
000037ae: SLOAD
000037af: SWAP1
000037b0: POP
000037b1: PUSH1 0x00
000037b3: PUSH1 0x09
000037b5: SLOAD
000037b6: SWAP1
000037b7: POP
000037b8: PUSH1 0x00
000037ba: JUMPDEST
000037bb: PUSH1 0x08
000037bd: DUP1
000037be: SLOAD
000037bf: SWAP1
000037c0: POP
000037c1: DUP2
000037c2: LT
000037c3: ISZERO
000037c4: PUSH2 0x39fa
000037c7: JUMPI
000037c8: DUP3
000037c9: PUSH1 0x03
000037cb: PUSH1 0x00
000037cd: PUSH1 0x08
000037cf: DUP5
000037d0: DUP2
000037d1: SLOAD
000037d2: DUP2
000037d3: LT
000037d4: PUSH2 0x37d9
000037d7: JUMPI
000037d8: INVALID
000037d9: JUMPDEST
000037da: SWAP1
000037db: PUSH1 0x00
000037dd: MSTORE
000037de: PUSH1 0x20
000037e0: PUSH1 0x00
000037e2: KECCAK256
000037e3: ADD
000037e4: PUSH1 0x00
000037e6: SWAP1
000037e7: SLOAD
000037e8: SWAP1
000037e9: PUSH2 0x0100
000037ec: EXP
000037ed: SWAP1
000037ee: DIV
000037ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003804: AND
00003805: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000381a: AND
0000381b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003830: AND
00003831: DUP2
00003832: MSTORE
00003833: PUSH1 0x20
00003835: ADD
00003836: SWAP1
00003837: DUP2
00003838: MSTORE
00003839: PUSH1 0x20
0000383b: ADD
0000383c: PUSH1 0x00
0000383e: KECCAK256
0000383f: SLOAD
00003840: GT
00003841: DUP1
00003842: PUSH2 0x38c0
00003845: JUMPI
00003846: POP
00003847: DUP2
00003848: PUSH1 0x04
0000384a: PUSH1 0x00
0000384c: PUSH1 0x08
0000384e: DUP5
0000384f: DUP2
00003850: SLOAD
00003851: DUP2
00003852: LT
00003853: PUSH2 0x3858
00003856: JUMPI
00003857: INVALID
00003858: JUMPDEST
00003859: SWAP1
0000385a: PUSH1 0x00
0000385c: MSTORE
0000385d: PUSH1 0x20
0000385f: PUSH1 0x00
00003861: KECCAK256
00003862: ADD
00003863: PUSH1 0x00
00003865: SWAP1
00003866: SLOAD
00003867: SWAP1
00003868: PUSH2 0x0100
0000386b: EXP
0000386c: SWAP1
0000386d: DIV
0000386e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003883: AND
00003884: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003899: AND
0000389a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038af: AND
000038b0: DUP2
000038b1: MSTORE
000038b2: PUSH1 0x20
000038b4: ADD
000038b5: SWAP1
000038b6: DUP2
000038b7: MSTORE
000038b8: PUSH1 0x20
000038ba: ADD
000038bb: PUSH1 0x00
000038bd: KECCAK256
000038be: SLOAD
000038bf: GT
000038c0: JUMPDEST
000038c1: ISZERO
000038c2: PUSH2 0x38d7
000038c5: JUMPI
000038c6: PUSH1 0x0a
000038c8: SLOAD
000038c9: PUSH1 0x09
000038cb: SLOAD
000038cc: SWAP5
000038cd: POP
000038ce: SWAP5
000038cf: POP
000038d0: POP
000038d1: POP
000038d2: POP
000038d3: PUSH2 0x3a33
000038d6: JUMP
000038d7: JUMPDEST
000038d8: PUSH2 0x3960
000038db: PUSH1 0x03
000038dd: PUSH1 0x00
000038df: PUSH1 0x08
000038e1: DUP5
000038e2: DUP2
000038e3: SLOAD
000038e4: DUP2
000038e5: LT
000038e6: PUSH2 0x38eb
000038e9: JUMPI
000038ea: INVALID
000038eb: JUMPDEST
000038ec: SWAP1
000038ed: PUSH1 0x00
000038ef: MSTORE
000038f0: PUSH1 0x20
000038f2: PUSH1 0x00
000038f4: KECCAK256
000038f5: ADD
000038f6: PUSH1 0x00
000038f8: SWAP1
000038f9: SLOAD
000038fa: SWAP1
000038fb: PUSH2 0x0100
000038fe: EXP
000038ff: SWAP1
00003900: DIV
00003901: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003916: AND
00003917: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000392c: AND
0000392d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003942: AND
00003943: DUP2
00003944: MSTORE
00003945: PUSH1 0x20
00003947: ADD
00003948: SWAP1
00003949: DUP2
0000394a: MSTORE
0000394b: PUSH1 0x20
0000394d: ADD
0000394e: PUSH1 0x00
00003950: KECCAK256
00003951: SLOAD
00003952: DUP5
00003953: PUSH2 0x32e3
00003956: SWAP1
00003957: SWAP2
00003958: SWAP1
00003959: PUSH4 0xffffffff
0000395e: AND
0000395f: JUMP
00003960: JUMPDEST
00003961: SWAP3
00003962: POP
00003963: PUSH2 0x39eb
00003966: PUSH1 0x04
00003968: PUSH1 0x00
0000396a: PUSH1 0x08
0000396c: DUP5
0000396d: DUP2
0000396e: SLOAD
0000396f: DUP2
00003970: LT
00003971: PUSH2 0x3976
00003974: JUMPI
00003975: INVALID
00003976: JUMPDEST
00003977: SWAP1
00003978: PUSH1 0x00
0000397a: MSTORE
0000397b: PUSH1 0x20
0000397d: PUSH1 0x00
0000397f: KECCAK256
00003980: ADD
00003981: PUSH1 0x00
00003983: SWAP1
00003984: SLOAD
00003985: SWAP1
00003986: PUSH2 0x0100
00003989: EXP
0000398a: SWAP1
0000398b: DIV
0000398c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039a1: AND
000039a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039b7: AND
000039b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039cd: AND
000039ce: DUP2
000039cf: MSTORE
000039d0: PUSH1 0x20
000039d2: ADD
000039d3: SWAP1
000039d4: DUP2
000039d5: MSTORE
000039d6: PUSH1 0x20
000039d8: ADD
000039d9: PUSH1 0x00
000039db: KECCAK256
000039dc: SLOAD
000039dd: DUP4
000039de: PUSH2 0x32e3
000039e1: SWAP1
000039e2: SWAP2
000039e3: SWAP1
000039e4: PUSH4 0xffffffff
000039e9: AND
000039ea: JUMP
000039eb: JUMPDEST
000039ec: SWAP2
000039ed: POP
000039ee: DUP1
000039ef: DUP1
000039f0: PUSH1 0x01
000039f2: ADD
000039f3: SWAP2
000039f4: POP
000039f5: POP
000039f6: PUSH2 0x37ba
000039f9: JUMP
000039fa: JUMPDEST
000039fb: POP
000039fc: PUSH2 0x3a12
000039ff: PUSH1 0x09
00003a01: SLOAD
00003a02: PUSH1 0x0a
00003a04: SLOAD
00003a05: PUSH2 0x31b5
00003a08: SWAP1
00003a09: SWAP2
00003a0a: SWAP1
00003a0b: PUSH4 0xffffffff
00003a10: AND
00003a11: JUMP
00003a12: JUMPDEST
00003a13: DUP3
00003a14: LT
00003a15: ISZERO
00003a16: PUSH2 0x3a2a
00003a19: JUMPI
00003a1a: PUSH1 0x0a
00003a1c: SLOAD
00003a1d: PUSH1 0x09
00003a1f: SLOAD
00003a20: SWAP4
00003a21: POP
00003a22: SWAP4
00003a23: POP
00003a24: POP
00003a25: POP
00003a26: PUSH2 0x3a33
00003a29: JUMP
00003a2a: JUMPDEST
00003a2b: DUP2
00003a2c: DUP2
00003a2d: SWAP4
00003a2e: POP
00003a2f: SWAP4
00003a30: POP
00003a31: POP
00003a32: POP
00003a33: JUMPDEST
00003a34: SWAP1
00003a35: SWAP2
00003a36: JUMP
00003a37: JUMPDEST
00003a38: PUSH1 0x00
00003a3a: DUP1
00003a3b: DUP4
00003a3c: GT
00003a3d: DUP3
00003a3e: SWAP1
00003a3f: PUSH2 0x3ae3
00003a42: JUMPI
00003a43: PUSH1 0x40
00003a45: MLOAD
00003a46: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003a67: DUP2
00003a68: MSTORE
00003a69: PUSH1 0x04
00003a6b: ADD
00003a6c: DUP1
00003a6d: DUP1
00003a6e: PUSH1 0x20
00003a70: ADD
00003a71: DUP3
00003a72: DUP2
00003a73: SUB
00003a74: DUP3
00003a75: MSTORE
00003a76: DUP4
00003a77: DUP2
00003a78: DUP2
00003a79: MLOAD
00003a7a: DUP2
00003a7b: MSTORE
00003a7c: PUSH1 0x20
00003a7e: ADD
00003a7f: SWAP2
00003a80: POP
00003a81: DUP1
00003a82: MLOAD
00003a83: SWAP1
00003a84: PUSH1 0x20
00003a86: ADD
00003a87: SWAP1
00003a88: DUP1
00003a89: DUP4
00003a8a: DUP4
00003a8b: PUSH1 0x00
00003a8d: JUMPDEST
00003a8e: DUP4
00003a8f: DUP2
00003a90: LT
00003a91: ISZERO
00003a92: PUSH2 0x3aa8
00003a95: JUMPI
00003a96: DUP1
00003a97: DUP3
00003a98: ADD
00003a99: MLOAD
00003a9a: DUP2
00003a9b: DUP5
00003a9c: ADD
00003a9d: MSTORE
00003a9e: PUSH1 0x20
00003aa0: DUP2
00003aa1: ADD
00003aa2: SWAP1
00003aa3: POP
00003aa4: PUSH2 0x3a8d
00003aa7: JUMP
00003aa8: JUMPDEST
00003aa9: POP
00003aaa: POP
00003aab: POP
00003aac: POP
00003aad: SWAP1
00003aae: POP
00003aaf: SWAP1
00003ab0: DUP2
00003ab1: ADD
00003ab2: SWAP1
00003ab3: PUSH1 0x1f
00003ab5: AND
00003ab6: DUP1
00003ab7: ISZERO
00003ab8: PUSH2 0x3ad5
00003abb: JUMPI
00003abc: DUP1
00003abd: DUP3
00003abe: SUB
00003abf: DUP1
00003ac0: MLOAD
00003ac1: PUSH1 0x01
00003ac3: DUP4
00003ac4: PUSH1 0x20
00003ac6: SUB
00003ac7: PUSH2 0x0100
00003aca: EXP
00003acb: SUB
00003acc: NOT
00003acd: AND
00003ace: DUP2
00003acf: MSTORE
00003ad0: PUSH1 0x20
00003ad2: ADD
00003ad3: SWAP2
00003ad4: POP
00003ad5: JUMPDEST
00003ad6: POP
00003ad7: SWAP3
00003ad8: POP
00003ad9: POP
00003ada: POP
00003adb: PUSH1 0x40
00003add: MLOAD
00003ade: DUP1
00003adf: SWAP2
00003ae0: SUB
00003ae1: SWAP1
00003ae2: REVERT
00003ae3: JUMPDEST
00003ae4: POP
00003ae5: PUSH1 0x00
00003ae7: DUP4
00003ae8: DUP6
00003ae9: DUP2
00003aea: PUSH2 0x3aef
00003aed: JUMPI
00003aee: INVALID
00003aef: JUMPDEST
00003af0: DIV
00003af1: SWAP1
00003af2: POP
00003af3: DUP1
00003af4: SWAP2
00003af5: POP
00003af6: POP
00003af7: SWAP4
00003af8: SWAP3
00003af9: POP
00003afa: POP
00003afb: POP
00003afc: JUMP
00003afd: JUMPDEST
00003afe: PUSH1 0x00
00003b00: DUP1
00003b01: PUSH1 0x00
00003b03: DUP1
00003b04: PUSH2 0x3b0c
00003b07: DUP6
00003b08: PUSH2 0x49b6
00003b0b: JUMP
00003b0c: JUMPDEST
00003b0d: SWAP1
00003b0e: POP
00003b0f: PUSH1 0x00
00003b11: PUSH2 0x3b19
00003b14: DUP7
00003b15: PUSH2 0x49e7
00003b18: JUMP
00003b19: JUMPDEST
00003b1a: SWAP1
00003b1b: POP
00003b1c: PUSH1 0x00
00003b1e: PUSH2 0x3b42
00003b21: DUP3
00003b22: PUSH2 0x3b34
00003b25: DUP6
00003b26: DUP11
00003b27: PUSH2 0x32e3
00003b2a: SWAP1
00003b2b: SWAP2
00003b2c: SWAP1
00003b2d: PUSH4 0xffffffff
00003b32: AND
00003b33: JUMP
00003b34: JUMPDEST
00003b35: PUSH2 0x32e3
00003b38: SWAP1
00003b39: SWAP2
00003b3a: SWAP1
00003b3b: PUSH4 0xffffffff
00003b40: AND
00003b41: JUMP
00003b42: JUMPDEST
00003b43: SWAP1
00003b44: POP
00003b45: DUP1
00003b46: DUP4
00003b47: DUP4
00003b48: SWAP6
00003b49: POP
00003b4a: SWAP6
00003b4b: POP
00003b4c: SWAP6
00003b4d: POP
00003b4e: POP
00003b4f: POP
00003b50: POP
00003b51: SWAP2
00003b52: SWAP4
00003b53: SWAP1
00003b54: SWAP3
00003b55: POP
00003b56: JUMP
00003b57: JUMPDEST
00003b58: PUSH1 0x00
00003b5a: DUP1
00003b5b: PUSH1 0x00
00003b5d: DUP1
00003b5e: PUSH2 0x3b70
00003b61: DUP6
00003b62: DUP10
00003b63: PUSH2 0x332d
00003b66: SWAP1
00003b67: SWAP2
00003b68: SWAP1
00003b69: PUSH4 0xffffffff
00003b6e: AND
00003b6f: JUMP
00003b70: JUMPDEST
00003b71: SWAP1
00003b72: POP
00003b73: PUSH1 0x00
00003b75: PUSH2 0x3b87
00003b78: DUP7
00003b79: DUP10
00003b7a: PUSH2 0x332d
00003b7d: SWAP1
00003b7e: SWAP2
00003b7f: SWAP1
00003b80: PUSH4 0xffffffff
00003b85: AND
00003b86: JUMP
00003b87: JUMPDEST
00003b88: SWAP1
00003b89: POP
00003b8a: PUSH1 0x00
00003b8c: PUSH2 0x3b9e
00003b8f: DUP8
00003b90: DUP10
00003b91: PUSH2 0x332d
00003b94: SWAP1
00003b95: SWAP2
00003b96: SWAP1
00003b97: PUSH4 0xffffffff
00003b9c: AND
00003b9d: JUMP
00003b9e: JUMPDEST
00003b9f: SWAP1
00003ba0: POP
00003ba1: PUSH1 0x00
00003ba3: PUSH2 0x3bc7
00003ba6: DUP3
00003ba7: PUSH2 0x3bb9
00003baa: DUP6
00003bab: DUP8
00003bac: PUSH2 0x32e3
00003baf: SWAP1
00003bb0: SWAP2
00003bb1: SWAP1
00003bb2: PUSH4 0xffffffff
00003bb7: AND
00003bb8: JUMP
00003bb9: JUMPDEST
00003bba: PUSH2 0x32e3
00003bbd: SWAP1
00003bbe: SWAP2
00003bbf: SWAP1
00003bc0: PUSH4 0xffffffff
00003bc5: AND
00003bc6: JUMP
00003bc7: JUMPDEST
00003bc8: SWAP1
00003bc9: POP
00003bca: DUP4
00003bcb: DUP2
00003bcc: DUP5
00003bcd: SWAP7
00003bce: POP
00003bcf: SWAP7
00003bd0: POP
00003bd1: SWAP7
00003bd2: POP
00003bd3: POP
00003bd4: POP
00003bd5: POP
00003bd6: POP
00003bd7: SWAP5
00003bd8: POP
00003bd9: SWAP5
00003bda: POP
00003bdb: SWAP5
00003bdc: SWAP2
00003bdd: POP
00003bde: POP
00003bdf: JUMP
00003be0: JUMPDEST
00003be1: PUSH1 0x60
00003be3: PUSH1 0x02
00003be5: PUSH8 0xffffffffffffffff
00003bee: DUP2
00003bef: GT
00003bf0: DUP1
00003bf1: ISZERO
00003bf2: PUSH2 0x3bfa
00003bf5: JUMPI
00003bf6: PUSH1 0x00
00003bf8: DUP1
00003bf9: REVERT
00003bfa: JUMPDEST
00003bfb: POP
00003bfc: PUSH1 0x40
00003bfe: MLOAD
00003bff: SWAP1
00003c00: DUP1
00003c01: DUP3
00003c02: MSTORE
00003c03: DUP1
00003c04: PUSH1 0x20
00003c06: MUL
00003c07: PUSH1 0x20
00003c09: ADD
00003c0a: DUP3
00003c0b: ADD
00003c0c: PUSH1 0x40
00003c0e: MSTORE
00003c0f: DUP1
00003c10: ISZERO
00003c11: PUSH2 0x3c29
00003c14: JUMPI
00003c15: DUP2
00003c16: PUSH1 0x20
00003c18: ADD
00003c19: PUSH1 0x20
00003c1b: DUP3
00003c1c: MUL
00003c1d: DUP1
00003c1e: CALLDATASIZE
00003c1f: DUP4
00003c20: CALLDATACOPY
00003c21: DUP1
00003c22: DUP3
00003c23: ADD
00003c24: SWAP2
00003c25: POP
00003c26: POP
00003c27: SWAP1
00003c28: POP
00003c29: JUMPDEST
00003c2a: POP
00003c2b: SWAP1
00003c2c: POP
00003c2d: ADDRESS
00003c2e: DUP2
00003c2f: PUSH1 0x00
00003c31: DUP2
00003c32: MLOAD
00003c33: DUP2
00003c34: LT
00003c35: PUSH2 0x3c3a
00003c38: JUMPI
00003c39: INVALID
00003c3a: JUMPDEST
00003c3b: PUSH1 0x20
00003c3d: MUL
00003c3e: PUSH1 0x20
00003c40: ADD
00003c41: ADD
00003c42: SWAP1
00003c43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c58: AND
00003c59: SWAP1
00003c5a: DUP2
00003c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c70: AND
00003c71: DUP2
00003c72: MSTORE
00003c73: POP
00003c74: POP
00003c75: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003c96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003cab: AND
00003cac: PUSH4 0xad5c4648
00003cb1: PUSH1 0x40
00003cb3: MLOAD
00003cb4: DUP2
00003cb5: PUSH4 0xffffffff
00003cba: AND
00003cbb: PUSH1 0xe0
00003cbd: SHL
00003cbe: DUP2
00003cbf: MSTORE
00003cc0: PUSH1 0x04
00003cc2: ADD
00003cc3: PUSH1 0x20
00003cc5: PUSH1 0x40
00003cc7: MLOAD
00003cc8: DUP1
00003cc9: DUP4
00003cca: SUB
00003ccb: DUP2
00003ccc: DUP7
00003ccd: DUP1
00003cce: EXTCODESIZE
00003ccf: ISZERO
00003cd0: DUP1
00003cd1: ISZERO
00003cd2: PUSH2 0x3cda
00003cd5: JUMPI
00003cd6: PUSH1 0x00
00003cd8: DUP1
00003cd9: REVERT
00003cda: JUMPDEST
00003cdb: POP
00003cdc: GAS
00003cdd: STATICCALL
00003cde: ISZERO
00003cdf: DUP1
00003ce0: ISZERO
00003ce1: PUSH2 0x3cee
00003ce4: JUMPI
00003ce5: RETURNDATASIZE
00003ce6: PUSH1 0x00
00003ce8: DUP1
00003ce9: RETURNDATACOPY
00003cea: RETURNDATASIZE
00003ceb: PUSH1 0x00
00003ced: REVERT
00003cee: JUMPDEST
00003cef: POP
00003cf0: POP
00003cf1: POP
00003cf2: POP
00003cf3: PUSH1 0x40
00003cf5: MLOAD
00003cf6: RETURNDATASIZE
00003cf7: PUSH1 0x20
00003cf9: DUP2
00003cfa: LT
00003cfb: ISZERO
00003cfc: PUSH2 0x3d04
00003cff: JUMPI
00003d00: PUSH1 0x00
00003d02: DUP1
00003d03: REVERT
00003d04: JUMPDEST
00003d05: DUP2
00003d06: ADD
00003d07: SWAP1
00003d08: DUP1
00003d09: DUP1
00003d0a: MLOAD
00003d0b: SWAP1
00003d0c: PUSH1 0x20
00003d0e: ADD
00003d0f: SWAP1
00003d10: SWAP3
00003d11: SWAP2
00003d12: SWAP1
00003d13: POP
00003d14: POP
00003d15: POP
00003d16: DUP2
00003d17: PUSH1 0x01
00003d19: DUP2
00003d1a: MLOAD
00003d1b: DUP2
00003d1c: LT
00003d1d: PUSH2 0x3d22
00003d20: JUMPI
00003d21: INVALID
00003d22: JUMPDEST
00003d23: PUSH1 0x20
00003d25: MUL
00003d26: PUSH1 0x20
00003d28: ADD
00003d29: ADD
00003d2a: SWAP1
00003d2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d40: AND
00003d41: SWAP1
00003d42: DUP2
00003d43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d58: AND
00003d59: DUP2
00003d5a: MSTORE
00003d5b: POP
00003d5c: POP
00003d5d: PUSH2 0x3d87
00003d60: ADDRESS
00003d61: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003d82: DUP5
00003d83: PUSH2 0x2b22
00003d86: JUMP
00003d87: JUMPDEST
00003d88: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003da9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003dbe: AND
00003dbf: PUSH4 0x791ac947
00003dc4: DUP4
00003dc5: PUSH1 0x00
00003dc7: DUP5
00003dc8: ADDRESS
00003dc9: TIMESTAMP
00003dca: PUSH1 0x40
00003dcc: MLOAD
00003dcd: DUP7
00003dce: PUSH4 0xffffffff
00003dd3: AND
00003dd4: PUSH1 0xe0
00003dd6: SHL
00003dd7: DUP2
00003dd8: MSTORE
00003dd9: PUSH1 0x04
00003ddb: ADD
00003ddc: DUP1
00003ddd: DUP7
00003dde: DUP2
00003ddf: MSTORE
00003de0: PUSH1 0x20
00003de2: ADD
00003de3: DUP6
00003de4: DUP2
00003de5: MSTORE
00003de6: PUSH1 0x20
00003de8: ADD
00003de9: DUP1
00003dea: PUSH1 0x20
00003dec: ADD
00003ded: DUP5
00003dee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e03: AND
00003e04: DUP2
00003e05: MSTORE
00003e06: PUSH1 0x20
00003e08: ADD
00003e09: DUP4
00003e0a: DUP2
00003e0b: MSTORE
00003e0c: PUSH1 0x20
00003e0e: ADD
00003e0f: DUP3
00003e10: DUP2
00003e11: SUB
00003e12: DUP3
00003e13: MSTORE
00003e14: DUP6
00003e15: DUP2
00003e16: DUP2
00003e17: MLOAD
00003e18: DUP2
00003e19: MSTORE
00003e1a: PUSH1 0x20
00003e1c: ADD
00003e1d: SWAP2
00003e1e: POP
00003e1f: DUP1
00003e20: MLOAD
00003e21: SWAP1
00003e22: PUSH1 0x20
00003e24: ADD
00003e25: SWAP1
00003e26: PUSH1 0x20
00003e28: MUL
00003e29: DUP1
00003e2a: DUP4
00003e2b: DUP4
00003e2c: PUSH1 0x00
00003e2e: JUMPDEST
00003e2f: DUP4
00003e30: DUP2
00003e31: LT
00003e32: ISZERO
00003e33: PUSH2 0x3e49
00003e36: JUMPI
00003e37: DUP1
00003e38: DUP3
00003e39: ADD
00003e3a: MLOAD
00003e3b: DUP2
00003e3c: DUP5
00003e3d: ADD
00003e3e: MSTORE
00003e3f: PUSH1 0x20
00003e41: DUP2
00003e42: ADD
00003e43: SWAP1
00003e44: POP
00003e45: PUSH2 0x3e2e
00003e48: JUMP
00003e49: JUMPDEST
00003e4a: POP
00003e4b: POP
00003e4c: POP
00003e4d: POP
00003e4e: SWAP1
00003e4f: POP
00003e50: ADD
00003e51: SWAP7
00003e52: POP
00003e53: POP
00003e54: POP
00003e55: POP
00003e56: POP
00003e57: POP
00003e58: POP
00003e59: PUSH1 0x00
00003e5b: PUSH1 0x40
00003e5d: MLOAD
00003e5e: DUP1
00003e5f: DUP4
00003e60: SUB
00003e61: DUP2
00003e62: PUSH1 0x00
00003e64: DUP8
00003e65: DUP1
00003e66: EXTCODESIZE
00003e67: ISZERO
00003e68: DUP1
00003e69: ISZERO
00003e6a: PUSH2 0x3e72
00003e6d: JUMPI
00003e6e: PUSH1 0x00
00003e70: DUP1
00003e71: REVERT
00003e72: JUMPDEST
00003e73: POP
00003e74: GAS
00003e75: CALL
00003e76: ISZERO
00003e77: DUP1
00003e78: ISZERO
00003e79: PUSH2 0x3e86
00003e7c: JUMPI
00003e7d: RETURNDATASIZE
00003e7e: PUSH1 0x00
00003e80: DUP1
00003e81: RETURNDATACOPY
00003e82: RETURNDATASIZE
00003e83: PUSH1 0x00
00003e85: REVERT
00003e86: JUMPDEST
00003e87: POP
00003e88: POP
00003e89: POP
00003e8a: POP
00003e8b: POP
00003e8c: POP
00003e8d: JUMP
00003e8e: JUMPDEST
00003e8f: PUSH2 0x3eb9
00003e92: ADDRESS
00003e93: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003eb4: DUP5
00003eb5: PUSH2 0x2b22
00003eb8: JUMP
00003eb9: JUMPDEST
00003eba: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003edb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ef0: AND
00003ef1: PUSH4 0xf305d719
00003ef6: DUP3
00003ef7: ADDRESS
00003ef8: DUP6
00003ef9: PUSH1 0x00
00003efb: DUP1
00003efc: PUSH2 0x3f03
00003eff: PUSH2 0x1eae
00003f02: JUMP
00003f03: JUMPDEST
00003f04: TIMESTAMP
00003f05: PUSH1 0x40
00003f07: MLOAD
00003f08: DUP9
00003f09: PUSH4 0xffffffff
00003f0e: AND
00003f0f: PUSH1 0xe0
00003f11: SHL
00003f12: DUP2
00003f13: MSTORE
00003f14: PUSH1 0x04
00003f16: ADD
00003f17: DUP1
00003f18: DUP8
00003f19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f2e: AND
00003f2f: DUP2
00003f30: MSTORE
00003f31: PUSH1 0x20
00003f33: ADD
00003f34: DUP7
00003f35: DUP2
00003f36: MSTORE
00003f37: PUSH1 0x20
00003f39: ADD
00003f3a: DUP6
00003f3b: DUP2
00003f3c: MSTORE
00003f3d: PUSH1 0x20
00003f3f: ADD
00003f40: DUP5
00003f41: DUP2
00003f42: MSTORE
00003f43: PUSH1 0x20
00003f45: ADD
00003f46: DUP4
00003f47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f5c: AND
00003f5d: DUP2
00003f5e: MSTORE
00003f5f: PUSH1 0x20
00003f61: ADD
00003f62: DUP3
00003f63: DUP2
00003f64: MSTORE
00003f65: PUSH1 0x20
00003f67: ADD
00003f68: SWAP7
00003f69: POP
00003f6a: POP
00003f6b: POP
00003f6c: POP
00003f6d: POP
00003f6e: POP
00003f6f: POP
00003f70: PUSH1 0x60
00003f72: PUSH1 0x40
00003f74: MLOAD
00003f75: DUP1
00003f76: DUP4
00003f77: SUB
00003f78: DUP2
00003f79: DUP6
00003f7a: DUP9
00003f7b: DUP1
00003f7c: EXTCODESIZE
00003f7d: ISZERO
00003f7e: DUP1
00003f7f: ISZERO
00003f80: PUSH2 0x3f88
00003f83: JUMPI
00003f84: PUSH1 0x00
00003f86: DUP1
00003f87: REVERT
00003f88: JUMPDEST
00003f89: POP
00003f8a: GAS
00003f8b: CALL
00003f8c: ISZERO
00003f8d: DUP1
00003f8e: ISZERO
00003f8f: PUSH2 0x3f9c
00003f92: JUMPI
00003f93: RETURNDATASIZE
00003f94: PUSH1 0x00
00003f96: DUP1
00003f97: RETURNDATACOPY
00003f98: RETURNDATASIZE
00003f99: PUSH1 0x00
00003f9b: REVERT
00003f9c: JUMPDEST
00003f9d: POP
00003f9e: POP
00003f9f: POP
00003fa0: POP
00003fa1: POP
00003fa2: PUSH1 0x40
00003fa4: MLOAD
00003fa5: RETURNDATASIZE
00003fa6: PUSH1 0x60
00003fa8: DUP2
00003fa9: LT
00003faa: ISZERO
00003fab: PUSH2 0x3fb3
00003fae: JUMPI
00003faf: PUSH1 0x00
00003fb1: DUP1
00003fb2: REVERT
00003fb3: JUMPDEST
00003fb4: DUP2
00003fb5: ADD
00003fb6: SWAP1
00003fb7: DUP1
00003fb8: DUP1
00003fb9: MLOAD
00003fba: SWAP1
00003fbb: PUSH1 0x20
00003fbd: ADD
00003fbe: SWAP1
00003fbf: SWAP3
00003fc0: SWAP2
00003fc1: SWAP1
00003fc2: DUP1
00003fc3: MLOAD
00003fc4: SWAP1
00003fc5: PUSH1 0x20
00003fc7: ADD
00003fc8: SWAP1
00003fc9: SWAP3
00003fca: SWAP2
00003fcb: SWAP1
00003fcc: DUP1
00003fcd: MLOAD
00003fce: SWAP1
00003fcf: PUSH1 0x20
00003fd1: ADD
00003fd2: SWAP1
00003fd3: SWAP3
00003fd4: SWAP2
00003fd5: SWAP1
00003fd6: POP
00003fd7: POP
00003fd8: POP
00003fd9: POP
00003fda: POP
00003fdb: POP
00003fdc: POP
00003fdd: POP
00003fde: JUMP
00003fdf: JUMPDEST
00003fe0: PUSH1 0x00
00003fe2: PUSH1 0x0f
00003fe4: SLOAD
00003fe5: EQ
00003fe6: DUP1
00003fe7: ISZERO
00003fe8: PUSH2 0x3ff3
00003feb: JUMPI
00003fec: POP
00003fed: PUSH1 0x00
00003fef: PUSH1 0x11
00003ff1: SLOAD
00003ff2: EQ
00003ff3: JUMPDEST
00003ff4: ISZERO
00003ff5: PUSH2 0x3ffd
00003ff8: JUMPI
00003ff9: PUSH2 0x4020
00003ffc: JUMP
00003ffd: JUMPDEST
00003ffe: PUSH1 0x0f
00004000: SLOAD
00004001: PUSH1 0x10
00004003: DUP2
00004004: SWAP1
00004005: SSTORE
00004006: POP
00004007: PUSH1 0x11
00004009: SLOAD
0000400a: PUSH1 0x12
0000400c: DUP2
0000400d: SWAP1
0000400e: SSTORE
0000400f: POP
00004010: PUSH1 0x00
00004012: PUSH1 0x0f
00004014: DUP2
00004015: SWAP1
00004016: SSTORE
00004017: POP
00004018: PUSH1 0x00
0000401a: PUSH1 0x11
0000401c: DUP2
0000401d: SWAP1
0000401e: SSTORE
0000401f: POP
00004020: JUMPDEST
00004021: JUMP
00004022: JUMPDEST
00004023: PUSH1 0x00
00004025: DUP1
00004026: PUSH1 0x00
00004028: DUP1
00004029: PUSH1 0x00
0000402b: DUP1
0000402c: PUSH2 0x4034
0000402f: DUP8
00004030: PUSH2 0x3287
00004033: JUMP
00004034: JUMPDEST
00004035: SWAP6
00004036: POP
00004037: SWAP6
00004038: POP
00004039: SWAP6
0000403a: POP
0000403b: SWAP6
0000403c: POP
0000403d: SWAP6
0000403e: POP
0000403f: SWAP6
00004040: POP
00004041: PUSH2 0x4092
00004044: DUP8
00004045: PUSH1 0x04
00004047: PUSH1 0x00
00004049: DUP13
0000404a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000405f: AND
00004060: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004075: AND
00004076: DUP2
00004077: MSTORE
00004078: PUSH1 0x20
0000407a: ADD
0000407b: SWAP1
0000407c: DUP2
0000407d: MSTORE
0000407e: PUSH1 0x20
00004080: ADD
00004081: PUSH1 0x00
00004083: KECCAK256
00004084: SLOAD
00004085: PUSH2 0x32e3
00004088: SWAP1
00004089: SWAP2
0000408a: SWAP1
0000408b: PUSH4 0xffffffff
00004090: AND
00004091: JUMP
00004092: JUMPDEST
00004093: PUSH1 0x04
00004095: PUSH1 0x00
00004097: DUP12
00004098: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040ad: AND
000040ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040c3: AND
000040c4: DUP2
000040c5: MSTORE
000040c6: PUSH1 0x20
000040c8: ADD
000040c9: SWAP1
000040ca: DUP2
000040cb: MSTORE
000040cc: PUSH1 0x20
000040ce: ADD
000040cf: PUSH1 0x00
000040d1: KECCAK256
000040d2: DUP2
000040d3: SWAP1
000040d4: SSTORE
000040d5: POP
000040d6: PUSH2 0x4127
000040d9: DUP7
000040da: PUSH1 0x03
000040dc: PUSH1 0x00
000040de: DUP13
000040df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040f4: AND
000040f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000410a: AND
0000410b: DUP2
0000410c: MSTORE
0000410d: PUSH1 0x20
0000410f: ADD
00004110: SWAP1
00004111: DUP2
00004112: MSTORE
00004113: PUSH1 0x20
00004115: ADD
00004116: PUSH1 0x00
00004118: KECCAK256
00004119: SLOAD
0000411a: PUSH2 0x32e3
0000411d: SWAP1
0000411e: SWAP2
0000411f: SWAP1
00004120: PUSH4 0xffffffff
00004125: AND
00004126: JUMP
00004127: JUMPDEST
00004128: PUSH1 0x03
0000412a: PUSH1 0x00
0000412c: DUP12
0000412d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004142: AND
00004143: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004158: AND
00004159: DUP2
0000415a: MSTORE
0000415b: PUSH1 0x20
0000415d: ADD
0000415e: SWAP1
0000415f: DUP2
00004160: MSTORE
00004161: PUSH1 0x20
00004163: ADD
00004164: PUSH1 0x00
00004166: KECCAK256
00004167: DUP2
00004168: SWAP1
00004169: SSTORE
0000416a: POP
0000416b: PUSH2 0x41bc
0000416e: DUP6
0000416f: PUSH1 0x03
00004171: PUSH1 0x00
00004173: DUP12
00004174: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004189: AND
0000418a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000419f: AND
000041a0: DUP2
000041a1: MSTORE
000041a2: PUSH1 0x20
000041a4: ADD
000041a5: SWAP1
000041a6: DUP2
000041a7: MSTORE
000041a8: PUSH1 0x20
000041aa: ADD
000041ab: PUSH1 0x00
000041ad: KECCAK256
000041ae: SLOAD
000041af: PUSH2 0x31ff
000041b2: SWAP1
000041b3: SWAP2
000041b4: SWAP1
000041b5: PUSH4 0xffffffff
000041ba: AND
000041bb: JUMP
000041bc: JUMPDEST
000041bd: PUSH1 0x03
000041bf: PUSH1 0x00
000041c1: DUP11
000041c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041d7: AND
000041d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041ed: AND
000041ee: DUP2
000041ef: MSTORE
000041f0: PUSH1 0x20
000041f2: ADD
000041f3: SWAP1
000041f4: DUP2
000041f5: MSTORE
000041f6: PUSH1 0x20
000041f8: ADD
000041f9: PUSH1 0x00
000041fb: KECCAK256
000041fc: DUP2
000041fd: SWAP1
000041fe: SSTORE
000041ff: POP
00004200: PUSH2 0x4208
00004203: DUP2
00004204: PUSH2 0x4a18
00004207: JUMP
00004208: JUMPDEST
00004209: PUSH2 0x4212
0000420c: DUP5
0000420d: DUP4
0000420e: PUSH2 0x4bbd
00004211: JUMP
00004212: JUMPDEST
00004213: DUP8
00004214: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004229: AND
0000422a: DUP10
0000422b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004240: AND
00004241: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00004262: DUP6
00004263: PUSH1 0x40
00004265: MLOAD
00004266: DUP1
00004267: DUP3
00004268: DUP2
00004269: MSTORE
0000426a: PUSH1 0x20
0000426c: ADD
0000426d: SWAP2
0000426e: POP
0000426f: POP
00004270: PUSH1 0x40
00004272: MLOAD
00004273: DUP1
00004274: SWAP2
00004275: SUB
00004276: SWAP1
00004277: LOG3
00004278: POP
00004279: POP
0000427a: POP
0000427b: POP
0000427c: POP
0000427d: POP
0000427e: POP
0000427f: POP
00004280: POP
00004281: JUMP
00004282: JUMPDEST
00004283: PUSH1 0x00
00004285: DUP1
00004286: PUSH1 0x00
00004288: DUP1
00004289: PUSH1 0x00
0000428b: DUP1
0000428c: PUSH2 0x4294
0000428f: DUP8
00004290: PUSH2 0x3287
00004293: JUMP
00004294: JUMPDEST
00004295: SWAP6
00004296: POP
00004297: SWAP6
00004298: POP
00004299: SWAP6
0000429a: POP
0000429b: SWAP6
0000429c: POP
0000429d: SWAP6
0000429e: POP
0000429f: SWAP6
000042a0: POP
000042a1: PUSH2 0x42f2
000042a4: DUP7
000042a5: PUSH1 0x03
000042a7: PUSH1 0x00
000042a9: DUP13
000042aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042bf: AND
000042c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042d5: AND
000042d6: DUP2
000042d7: MSTORE
000042d8: PUSH1 0x20
000042da: ADD
000042db: SWAP1
000042dc: DUP2
000042dd: MSTORE
000042de: PUSH1 0x20
000042e0: ADD
000042e1: PUSH1 0x00
000042e3: KECCAK256
000042e4: SLOAD
000042e5: PUSH2 0x32e3
000042e8: SWAP1
000042e9: SWAP2
000042ea: SWAP1
000042eb: PUSH4 0xffffffff
000042f0: AND
000042f1: JUMP
000042f2: JUMPDEST
000042f3: PUSH1 0x03
000042f5: PUSH1 0x00
000042f7: DUP12
000042f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000430d: AND
0000430e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004323: AND
00004324: DUP2
00004325: MSTORE
00004326: PUSH1 0x20
00004328: ADD
00004329: SWAP1
0000432a: DUP2
0000432b: MSTORE
0000432c: PUSH1 0x20
0000432e: ADD
0000432f: PUSH1 0x00
00004331: KECCAK256
00004332: DUP2
00004333: SWAP1
00004334: SSTORE
00004335: POP
00004336: PUSH2 0x4387
00004339: DUP4
0000433a: PUSH1 0x04
0000433c: PUSH1 0x00
0000433e: DUP12
0000433f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004354: AND
00004355: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000436a: AND
0000436b: DUP2
0000436c: MSTORE
0000436d: PUSH1 0x20
0000436f: ADD
00004370: SWAP1
00004371: DUP2
00004372: MSTORE
00004373: PUSH1 0x20
00004375: ADD
00004376: PUSH1 0x00
00004378: KECCAK256
00004379: SLOAD
0000437a: PUSH2 0x31ff
0000437d: SWAP1
0000437e: SWAP2
0000437f: SWAP1
00004380: PUSH4 0xffffffff
00004385: AND
00004386: JUMP
00004387: JUMPDEST
00004388: PUSH1 0x04
0000438a: PUSH1 0x00
0000438c: DUP11
0000438d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043a2: AND
000043a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043b8: AND
000043b9: DUP2
000043ba: MSTORE
000043bb: PUSH1 0x20
000043bd: ADD
000043be: SWAP1
000043bf: DUP2
000043c0: MSTORE
000043c1: PUSH1 0x20
000043c3: ADD
000043c4: PUSH1 0x00
000043c6: KECCAK256
000043c7: DUP2
000043c8: SWAP1
000043c9: SSTORE
000043ca: POP
000043cb: PUSH2 0x441c
000043ce: DUP6
000043cf: PUSH1 0x03
000043d1: PUSH1 0x00
000043d3: DUP12
000043d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043e9: AND
000043ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043ff: AND
00004400: DUP2
00004401: MSTORE
00004402: PUSH1 0x20
00004404: ADD
00004405: SWAP1
00004406: DUP2
00004407: MSTORE
00004408: PUSH1 0x20
0000440a: ADD
0000440b: PUSH1 0x00
0000440d: KECCAK256
0000440e: SLOAD
0000440f: PUSH2 0x31ff
00004412: SWAP1
00004413: SWAP2
00004414: SWAP1
00004415: PUSH4 0xffffffff
0000441a: AND
0000441b: JUMP
0000441c: JUMPDEST
0000441d: PUSH1 0x03
0000441f: PUSH1 0x00
00004421: DUP11
00004422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004437: AND
00004438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000444d: AND
0000444e: DUP2
0000444f: MSTORE
00004450: PUSH1 0x20
00004452: ADD
00004453: SWAP1
00004454: DUP2
00004455: MSTORE
00004456: PUSH1 0x20
00004458: ADD
00004459: PUSH1 0x00
0000445b: KECCAK256
0000445c: DUP2
0000445d: SWAP1
0000445e: SSTORE
0000445f: POP
00004460: PUSH2 0x4468
00004463: DUP2
00004464: PUSH2 0x4a18
00004467: JUMP
00004468: JUMPDEST
00004469: PUSH2 0x4472
0000446c: DUP5
0000446d: DUP4
0000446e: PUSH2 0x4bbd
00004471: JUMP
00004472: JUMPDEST
00004473: DUP8
00004474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004489: AND
0000448a: DUP10
0000448b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000044a0: AND
000044a1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000044c2: DUP6
000044c3: PUSH1 0x40
000044c5: MLOAD
000044c6: DUP1
000044c7: DUP3
000044c8: DUP2
000044c9: MSTORE
000044ca: PUSH1 0x20
000044cc: ADD
000044cd: SWAP2
000044ce: POP
000044cf: POP
000044d0: PUSH1 0x40
000044d2: MLOAD
000044d3: DUP1
000044d4: SWAP2
000044d5: SUB
000044d6: SWAP1
000044d7: LOG3
000044d8: POP
000044d9: POP
000044da: POP
000044db: POP
000044dc: POP
000044dd: POP
000044de: POP
000044df: POP
000044e0: POP
000044e1: JUMP
000044e2: JUMPDEST
000044e3: PUSH1 0x00
000044e5: DUP1
000044e6: PUSH1 0x00
000044e8: DUP1
000044e9: PUSH1 0x00
000044eb: DUP1
000044ec: PUSH2 0x44f4
000044ef: DUP8
000044f0: PUSH2 0x3287
000044f3: JUMP
000044f4: JUMPDEST
000044f5: SWAP6
000044f6: POP
000044f7: SWAP6
000044f8: POP
000044f9: SWAP6
000044fa: POP
000044fb: SWAP6
000044fc: POP
000044fd: SWAP6
000044fe: POP
000044ff: SWAP6
00004500: POP
00004501: PUSH2 0x4552
00004504: DUP7
00004505: PUSH1 0x03
00004507: PUSH1 0x00
00004509: DUP13
0000450a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000451f: AND
00004520: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004535: AND
00004536: DUP2
00004537: MSTORE
00004538: PUSH1 0x20
0000453a: ADD
0000453b: SWAP1
0000453c: DUP2
0000453d: MSTORE
0000453e: PUSH1 0x20
00004540: ADD
00004541: PUSH1 0x00
00004543: KECCAK256
00004544: SLOAD
00004545: PUSH2 0x32e3
00004548: SWAP1
00004549: SWAP2
0000454a: SWAP1
0000454b: PUSH4 0xffffffff
00004550: AND
00004551: JUMP
00004552: JUMPDEST
00004553: PUSH1 0x03
00004555: PUSH1 0x00
00004557: DUP12
00004558: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000456d: AND
0000456e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004583: AND
00004584: DUP2
00004585: MSTORE
00004586: PUSH1 0x20
00004588: ADD
00004589: SWAP1
0000458a: DUP2
0000458b: MSTORE
0000458c: PUSH1 0x20
0000458e: ADD
0000458f: PUSH1 0x00
00004591: KECCAK256
00004592: DUP2
00004593: SWAP1
00004594: SSTORE
00004595: POP
00004596: PUSH2 0x45e7
00004599: DUP6
0000459a: PUSH1 0x03
0000459c: PUSH1 0x00
0000459e: DUP12
0000459f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000045b4: AND
000045b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000045ca: AND
000045cb: DUP2
000045cc: MSTORE
000045cd: PUSH1 0x20
000045cf: ADD
000045d0: SWAP1
000045d1: DUP2
000045d2: MSTORE
000045d3: PUSH1 0x20
000045d5: ADD
000045d6: PUSH1 0x00
000045d8: KECCAK256
000045d9: SLOAD
000045da: PUSH2 0x31ff
000045dd: SWAP1
000045de: SWAP2
000045df: SWAP1
000045e0: PUSH4 0xffffffff
000045e5: AND
000045e6: JUMP
000045e7: JUMPDEST
000045e8: PUSH1 0x03
000045ea: PUSH1 0x00
000045ec: DUP11
000045ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004602: AND
00004603: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004618: AND
00004619: DUP2
0000461a: MSTORE
0000461b: PUSH1 0x20
0000461d: ADD
0000461e: SWAP1
0000461f: DUP2
00004620: MSTORE
00004621: PUSH1 0x20
00004623: ADD
00004624: PUSH1 0x00
00004626: KECCAK256
00004627: DUP2
00004628: SWAP1
00004629: SSTORE
0000462a: POP
0000462b: PUSH2 0x4633
0000462e: DUP2
0000462f: PUSH2 0x4a18
00004632: JUMP
00004633: JUMPDEST
00004634: PUSH2 0x463d
00004637: DUP5
00004638: DUP4
00004639: PUSH2 0x4bbd
0000463c: JUMP
0000463d: JUMPDEST
0000463e: DUP8
0000463f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004654: AND
00004655: DUP10
00004656: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000466b: AND
0000466c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000468d: DUP6
0000468e: PUSH1 0x40
00004690: MLOAD
00004691: DUP1
00004692: DUP3
00004693: DUP2
00004694: MSTORE
00004695: PUSH1 0x20
00004697: ADD
00004698: SWAP2
00004699: POP
0000469a: POP
0000469b: PUSH1 0x40
0000469d: MLOAD
0000469e: DUP1
0000469f: SWAP2
000046a0: SUB
000046a1: SWAP1
000046a2: LOG3
000046a3: POP
000046a4: POP
000046a5: POP
000046a6: POP
000046a7: POP
000046a8: POP
000046a9: POP
000046aa: POP
000046ab: POP
000046ac: JUMP
000046ad: JUMPDEST
000046ae: PUSH1 0x00
000046b0: DUP1
000046b1: PUSH1 0x00
000046b3: DUP1
000046b4: PUSH1 0x00
000046b6: DUP1
000046b7: PUSH2 0x46bf
000046ba: DUP8
000046bb: PUSH2 0x3287
000046be: JUMP
000046bf: JUMPDEST
000046c0: SWAP6
000046c1: POP
000046c2: SWAP6
000046c3: POP
000046c4: SWAP6
000046c5: POP
000046c6: SWAP6
000046c7: POP
000046c8: SWAP6
000046c9: POP
000046ca: SWAP6
000046cb: POP
000046cc: PUSH2 0x471d
000046cf: DUP8
000046d0: PUSH1 0x04
000046d2: PUSH1 0x00
000046d4: DUP13
000046d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000046ea: AND
000046eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004700: AND
00004701: DUP2
00004702: MSTORE
00004703: PUSH1 0x20
00004705: ADD
00004706: SWAP1
00004707: DUP2
00004708: MSTORE
00004709: PUSH1 0x20
0000470b: ADD
0000470c: PUSH1 0x00
0000470e: KECCAK256
0000470f: SLOAD
00004710: PUSH2 0x32e3
00004713: SWAP1
00004714: SWAP2
00004715: SWAP1
00004716: PUSH4 0xffffffff
0000471b: AND
0000471c: JUMP
0000471d: JUMPDEST
0000471e: PUSH1 0x04
00004720: PUSH1 0x00
00004722: DUP12
00004723: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004738: AND
00004739: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000474e: AND
0000474f: DUP2
00004750: MSTORE
00004751: PUSH1 0x20
00004753: ADD
00004754: SWAP1
00004755: DUP2
00004756: MSTORE
00004757: PUSH1 0x20
00004759: ADD
0000475a: PUSH1 0x00
0000475c: KECCAK256
0000475d: DUP2
0000475e: SWAP1
0000475f: SSTORE
00004760: POP
00004761: PUSH2 0x47b2
00004764: DUP7
00004765: PUSH1 0x03
00004767: PUSH1 0x00
00004769: DUP13
0000476a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000477f: AND
00004780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004795: AND
00004796: DUP2
00004797: MSTORE
00004798: PUSH1 0x20
0000479a: ADD
0000479b: SWAP1
0000479c: DUP2
0000479d: MSTORE
0000479e: PUSH1 0x20
000047a0: ADD
000047a1: PUSH1 0x00
000047a3: KECCAK256
000047a4: SLOAD
000047a5: PUSH2 0x32e3
000047a8: SWAP1
000047a9: SWAP2
000047aa: SWAP1
000047ab: PUSH4 0xffffffff
000047b0: AND
000047b1: JUMP
000047b2: JUMPDEST
000047b3: PUSH1 0x03
000047b5: PUSH1 0x00
000047b7: DUP12
000047b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000047cd: AND
000047ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000047e3: AND
000047e4: DUP2
000047e5: MSTORE
000047e6: PUSH1 0x20
000047e8: ADD
000047e9: SWAP1
000047ea: DUP2
000047eb: MSTORE
000047ec: PUSH1 0x20
000047ee: ADD
000047ef: PUSH1 0x00
000047f1: KECCAK256
000047f2: DUP2
000047f3: SWAP1
000047f4: SSTORE
000047f5: POP
000047f6: PUSH2 0x4847
000047f9: DUP4
000047fa: PUSH1 0x04
000047fc: PUSH1 0x00
000047fe: DUP12
000047ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004814: AND
00004815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000482a: AND
0000482b: DUP2
0000482c: MSTORE
0000482d: PUSH1 0x20
0000482f: ADD
00004830: SWAP1
00004831: DUP2
00004832: MSTORE
00004833: PUSH1 0x20
00004835: ADD
00004836: PUSH1 0x00
00004838: KECCAK256
00004839: SLOAD
0000483a: PUSH2 0x31ff
0000483d: SWAP1
0000483e: SWAP2
0000483f: SWAP1
00004840: PUSH4 0xffffffff
00004845: AND
00004846: JUMP
00004847: JUMPDEST
00004848: PUSH1 0x04
0000484a: PUSH1 0x00
0000484c: DUP11
0000484d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004862: AND
00004863: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004878: AND
00004879: DUP2
0000487a: MSTORE
0000487b: PUSH1 0x20
0000487d: ADD
0000487e: SWAP1
0000487f: DUP2
00004880: MSTORE
00004881: PUSH1 0x20
00004883: ADD
00004884: PUSH1 0x00
00004886: KECCAK256
00004887: DUP2
00004888: SWAP1
00004889: SSTORE
0000488a: POP
0000488b: PUSH2 0x48dc
0000488e: DUP6
0000488f: PUSH1 0x03
00004891: PUSH1 0x00
00004893: DUP12
00004894: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000048a9: AND
000048aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000048bf: AND
000048c0: DUP2
000048c1: MSTORE
000048c2: PUSH1 0x20
000048c4: ADD
000048c5: SWAP1
000048c6: DUP2
000048c7: MSTORE
000048c8: PUSH1 0x20
000048ca: ADD
000048cb: PUSH1 0x00
000048cd: KECCAK256
000048ce: SLOAD
000048cf: PUSH2 0x31ff
000048d2: SWAP1
000048d3: SWAP2
000048d4: SWAP1
000048d5: PUSH4 0xffffffff
000048da: AND
000048db: JUMP
000048dc: JUMPDEST
000048dd: PUSH1 0x03
000048df: PUSH1 0x00
000048e1: DUP11
000048e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000048f7: AND
000048f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000490d: AND
0000490e: DUP2
0000490f: MSTORE
00004910: PUSH1 0x20
00004912: ADD
00004913: SWAP1
00004914: DUP2
00004915: MSTORE
00004916: PUSH1 0x20
00004918: ADD
00004919: PUSH1 0x00
0000491b: KECCAK256
0000491c: DUP2
0000491d: SWAP1
0000491e: SSTORE
0000491f: POP
00004920: PUSH2 0x4928
00004923: DUP2
00004924: PUSH2 0x4a18
00004927: JUMP
00004928: JUMPDEST
00004929: PUSH2 0x4932
0000492c: DUP5
0000492d: DUP4
0000492e: PUSH2 0x4bbd
00004931: JUMP
00004932: JUMPDEST
00004933: DUP8
00004934: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004949: AND
0000494a: DUP10
0000494b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004960: AND
00004961: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00004982: DUP6
00004983: PUSH1 0x40
00004985: MLOAD
00004986: DUP1
00004987: DUP3
00004988: DUP2
00004989: MSTORE
0000498a: PUSH1 0x20
0000498c: ADD
0000498d: SWAP2
0000498e: POP
0000498f: POP
00004990: PUSH1 0x40
00004992: MLOAD
00004993: DUP1
00004994: SWAP2
00004995: SUB
00004996: SWAP1
00004997: LOG3
00004998: POP
00004999: POP
0000499a: POP
0000499b: POP
0000499c: POP
0000499d: POP
0000499e: POP
0000499f: POP
000049a0: POP
000049a1: JUMP
000049a2: JUMPDEST
000049a3: PUSH1 0x10
000049a5: SLOAD
000049a6: PUSH1 0x0f
000049a8: DUP2
000049a9: SWAP1
000049aa: SSTORE
000049ab: POP
000049ac: PUSH1 0x12
000049ae: SLOAD
000049af: PUSH1 0x11
000049b1: DUP2
000049b2: SWAP1
000049b3: SSTORE
000049b4: POP
000049b5: JUMP
000049b6: JUMPDEST
000049b7: PUSH1 0x00
000049b9: PUSH2 0x49e0
000049bc: PUSH1 0x64
000049be: PUSH2 0x49d2
000049c1: PUSH1 0x0f
000049c3: SLOAD
000049c4: DUP6
000049c5: PUSH2 0x332d
000049c8: SWAP1
000049c9: SWAP2
000049ca: SWAP1
000049cb: PUSH4 0xffffffff
000049d0: AND
000049d1: JUMP
000049d2: JUMPDEST
000049d3: PUSH2 0x31b5
000049d6: SWAP1
000049d7: SWAP2
000049d8: SWAP1
000049d9: PUSH4 0xffffffff
000049de: AND
000049df: JUMP
000049e0: JUMPDEST
000049e1: SWAP1
000049e2: POP
000049e3: SWAP2
000049e4: SWAP1
000049e5: POP
000049e6: JUMP
000049e7: JUMPDEST
000049e8: PUSH1 0x00
000049ea: PUSH2 0x4a11
000049ed: PUSH1 0x64
000049ef: PUSH2 0x4a03
000049f2: PUSH1 0x11
000049f4: SLOAD
000049f5: DUP6
000049f6: PUSH2 0x332d
000049f9: SWAP1
000049fa: SWAP2
000049fb: SWAP1
000049fc: PUSH4 0xffffffff
00004a01: AND
00004a02: JUMP
00004a03: JUMPDEST
00004a04: PUSH2 0x31b5
00004a07: SWAP1
00004a08: SWAP2
00004a09: SWAP1
00004a0a: PUSH4 0xffffffff
00004a0f: AND
00004a10: JUMP
00004a11: JUMPDEST
00004a12: SWAP1
00004a13: POP
00004a14: SWAP2
00004a15: SWAP1
00004a16: POP
00004a17: JUMP
00004a18: JUMPDEST
00004a19: PUSH1 0x00
00004a1b: PUSH2 0x4a22
00004a1e: PUSH2 0x318a
00004a21: JUMP
00004a22: JUMPDEST
00004a23: SWAP1
00004a24: POP
00004a25: PUSH1 0x00
00004a27: PUSH2 0x4a39
00004a2a: DUP3
00004a2b: DUP5
00004a2c: PUSH2 0x332d
00004a2f: SWAP1
00004a30: SWAP2
00004a31: SWAP1
00004a32: PUSH4 0xffffffff
00004a37: AND
00004a38: JUMP
00004a39: JUMPDEST
00004a3a: SWAP1
00004a3b: POP
00004a3c: PUSH2 0x4a8d
00004a3f: DUP2
00004a40: PUSH1 0x03
00004a42: PUSH1 0x00
00004a44: ADDRESS
00004a45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004a5a: AND
00004a5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004a70: AND
00004a71: DUP2
00004a72: MSTORE
00004a73: PUSH1 0x20
00004a75: ADD
00004a76: SWAP1
00004a77: DUP2
00004a78: MSTORE
00004a79: PUSH1 0x20
00004a7b: ADD
00004a7c: PUSH1 0x00
00004a7e: KECCAK256
00004a7f: SLOAD
00004a80: PUSH2 0x31ff
00004a83: SWAP1
00004a84: SWAP2
00004a85: SWAP1
00004a86: PUSH4 0xffffffff
00004a8b: AND
00004a8c: JUMP
00004a8d: JUMPDEST
00004a8e: PUSH1 0x03
00004a90: PUSH1 0x00
00004a92: ADDRESS
00004a93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004aa8: AND
00004aa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004abe: AND
00004abf: DUP2
00004ac0: MSTORE
00004ac1: PUSH1 0x20
00004ac3: ADD
00004ac4: SWAP1
00004ac5: DUP2
00004ac6: MSTORE
00004ac7: PUSH1 0x20
00004ac9: ADD
00004aca: PUSH1 0x00
00004acc: KECCAK256
00004acd: DUP2
00004ace: SWAP1
00004acf: SSTORE
00004ad0: POP
00004ad1: PUSH1 0x07
00004ad3: PUSH1 0x00
00004ad5: ADDRESS
00004ad6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004aeb: AND
00004aec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b01: AND
00004b02: DUP2
00004b03: MSTORE
00004b04: PUSH1 0x20
00004b06: ADD
00004b07: SWAP1
00004b08: DUP2
00004b09: MSTORE
00004b0a: PUSH1 0x20
00004b0c: ADD
00004b0d: PUSH1 0x00
00004b0f: KECCAK256
00004b10: PUSH1 0x00
00004b12: SWAP1
00004b13: SLOAD
00004b14: SWAP1
00004b15: PUSH2 0x0100
00004b18: EXP
00004b19: SWAP1
00004b1a: DIV
00004b1b: PUSH1 0xff
00004b1d: AND
00004b1e: ISZERO
00004b1f: PUSH2 0x4bb8
00004b22: JUMPI
00004b23: PUSH2 0x4b74
00004b26: DUP4
00004b27: PUSH1 0x04
00004b29: PUSH1 0x00
00004b2b: ADDRESS
00004b2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b41: AND
00004b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b57: AND
00004b58: DUP2
00004b59: MSTORE
00004b5a: PUSH1 0x20
00004b5c: ADD
00004b5d: SWAP1
00004b5e: DUP2
00004b5f: MSTORE
00004b60: PUSH1 0x20
00004b62: ADD
00004b63: PUSH1 0x00
00004b65: KECCAK256
00004b66: SLOAD
00004b67: PUSH2 0x31ff
00004b6a: SWAP1
00004b6b: SWAP2
00004b6c: SWAP1
00004b6d: PUSH4 0xffffffff
00004b72: AND
00004b73: JUMP
00004b74: JUMPDEST
00004b75: PUSH1 0x04
00004b77: PUSH1 0x00
00004b79: ADDRESS
00004b7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b8f: AND
00004b90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004ba5: AND
00004ba6: DUP2
00004ba7: MSTORE
00004ba8: PUSH1 0x20
00004baa: ADD
00004bab: SWAP1
00004bac: DUP2
00004bad: MSTORE
00004bae: PUSH1 0x20
00004bb0: ADD
00004bb1: PUSH1 0x00
00004bb3: KECCAK256
00004bb4: DUP2
00004bb5: SWAP1
00004bb6: SSTORE
00004bb7: POP
00004bb8: JUMPDEST
00004bb9: POP
00004bba: POP
00004bbb: POP
00004bbc: JUMP
00004bbd: JUMPDEST
00004bbe: PUSH2 0x4bd2
00004bc1: DUP3
00004bc2: PUSH1 0x0a
00004bc4: SLOAD
00004bc5: PUSH2 0x32e3
00004bc8: SWAP1
00004bc9: SWAP2
00004bca: SWAP1
00004bcb: PUSH4 0xffffffff
00004bd0: AND
00004bd1: JUMP
00004bd2: JUMPDEST
00004bd3: PUSH1 0x0a
00004bd5: DUP2
00004bd6: SWAP1
00004bd7: SSTORE
00004bd8: POP
00004bd9: PUSH2 0x4bed
00004bdc: DUP2
00004bdd: PUSH1 0x0b
00004bdf: SLOAD
00004be0: PUSH2 0x31ff
00004be3: SWAP1
00004be4: SWAP2
00004be5: SWAP1
00004be6: PUSH4 0xffffffff
00004beb: AND
00004bec: JUMP
00004bed: JUMPDEST
00004bee: PUSH1 0x0b
00004bf0: DUP2
00004bf1: SWAP1
00004bf2: SSTORE
00004bf3: POP
00004bf4: POP
00004bf5: POP
00004bf6: JUMP
00004bf7: INVALID
00004bf8: GASLIMIT
00004bf9: MSTORE
00004bfa: NUMBER
00004bfb: ORIGIN
00004bfc: ADDRESS
00004bfd: GASPRICE
00004bfe: KECCAK256
00004bff: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00004c15: PUSH5 0x6472657373
00004c1b: COINBASE
00004c1c: PUSH14 0x6f756e74206d757374206265206c
00004c2b: PUSH6 0x737320746861
00004c32: PUSH15 0x20746f74616c207265666c65637469
00004c42: PUSH16 0x6e734f776e61626c653a206e6577206f
00004c53: PUSH24 0x6e657220697320746865207a65726f206164647265737345
00004c6c: MSTORE
00004c6d: NUMBER
00004c6e: ORIGIN
00004c6f: ADDRESS
00004c70: GASPRICE
00004c71: KECCAK256
00004c72: PUSH2 0x7070
00004c75: PUSH19 0x6f766520746f20746865207a65726f20616464
00004c89: PUSH19 0x6573735472616e7366657220616d6f756e7420
00004c9d: PUSH6 0x786365656473
00004ca4: KECCAK256
00004ca5: PUSH21 0x6865206d61785478416d6f756e742e536166654d61
00004cbb: PUSH21 0x683a206d756c7469706c69636174696f6e206f7665
00004cd1: PUSH19 0x666c6f7745524332303a207472616e73666572
00004ce5: KECCAK256
00004ce6: PUSH2 0x6d6f
00004ce9: PUSH22 0x6e74206578636565647320616c6c6f77616e63655472
00004d00: PUSH2 0x6e73
00004d03: PUSH7 0x657220616d6f75
00004d0b: PUSH15 0x74206d757374206265206772656174
00004d1b: PUSH6 0x72207468616e
00004d22: KECCAK256
00004d23: PUSH27 0x65726f45524332303a207472616e736665722066726f6d20746865
00004d3f: KECCAK256
00004d40: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
00004d5c: PUSH19 0x6f6d20746865207a65726f2061646472657373
00004d70: GASLIMIT
00004d71: PUSH25 0x636c75646564206164647265737365732063616e6e6f742063
00004d8b: PUSH2 0x6c6c
00004d8e: KECCAK256
00004d8f: PUSH21 0x6869732066756e6374696f6e596f7520646f6e2774
00004da5: KECCAK256
00004da6: PUSH9 0x617665207065726d69
00004db0: PUSH20 0x73696f6e20746f20756e6c6f636b45524332303a
00004dc5: KECCAK256
00004dc6: PUSH5 0x6563726561
00004dcc: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00004de1: PUSH6 0x726fa2646970
00004de8: PUSH7 0x73582212208b72
00004df0: EXP
00004df1: CALLCODE
00004df2: UNKNOWN(0xED)
00004df3: OR
00004df4: UNKNOWN(0x4E)
00004df5: CODECOPY
00004df6: UNKNOWN(0xCE)
00004df7: SWAP6
00004df8: ADDRESS
00004df9: PUSH25 0x09fabe22e463cfdb3320db7f48ae75ffce30a60264736f6c63
00004e13: NUMBER
00004e14: STOP
00004e15: MOD
00004e16: UNKNOWN(0x0C)
00004e17: STOP
00004e18: CALLER
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": 19451, "type": "tx_origin_used" }, { "pc": 19566, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x2e162fecec63f401b533de6d104c8dd9cbe50e33592652e73575a198a7149596 call_targets: 0x790baf0c914898c62163a61f150637d4bd180697 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x2e162fecec63f401b533de6d104c8dd9cbe50e33592652e73575a198a7149596", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x790baf0c914898c62163a61f150637d4bd180697" ], "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": 15989, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 16267, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 19953, "opcode": "CALLCODE", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "constant" } ], "call_count": 3, "guards_detected": [ { "pc": 19451, "type": "tx_origin_used" }, { "pc": 19566, "type": "tx_origin_used" } ], "untrusted_call_count": 3 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x2e162fecec63f401b533de6d104c8dd9cbe50e33592652e73575a198a7149596 call_targets: 0x790baf0c914898c62163a61f150637d4bd180697 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x2e162fecec63f401b533de6d104c8dd9cbe50e33592652e73575a198a7149596", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x790baf0c914898c62163a61f150637d4bd180697" ], "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": 15989, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 16267, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 19953, "opcode": "CALLCODE", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "constant" } ], "eth_value_calls": 3, "guards_detected": [ { "pc": 19451, "type": "tx_origin_used" }, { "pc": 19566, "type": "tx_origin_used" } ] }
Severity