Analysis Run

019b477e-c3c6-72cb-a785-ada1e18c07ad
complete
Chain ID
1
Address
0xf850ceb782707df66a49b861ff74436be271611e
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
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
25279	artifact.fetch	complete	1 / 3	3 months ago
25280	tool.cast_disasm	complete	1 / 3	3 months ago
68114	analysis.bundle	complete	1 / 3	1 week ago
68115	capability.graph	complete	1 / 3	1 week ago
68116	detector.run	complete	1 / 3	1 week ago
68117	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
4511
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 0x01dc
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x584b153e
00000019: GT
0000001a: PUSH2 0x0102
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb1c5f427
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd547741f
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd547741f
0000003a: EQ
0000003b: PUSH2 0x0685
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe38335e5
00000045: EQ
00000046: PUSH2 0x06a5
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf23a6e61
00000050: EQ
00000051: PUSH2 0x06b8
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf27a0c92
0000005b: EQ
0000005c: PUSH2 0x06fe
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xb1c5f427
0000006b: EQ
0000006c: PUSH2 0x05d0
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xbc197c81
00000076: EQ
00000077: PUSH2 0x05f0
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc4d252f5
00000081: EQ
00000082: PUSH2 0x0638
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd45c4435
0000008c: EQ
0000008d: PUSH2 0x0658
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x8f2a0bb0
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8f2a0bb0
000000a7: EQ
000000a8: PUSH2 0x0516
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8f61f4f5
000000b2: EQ
000000b3: PUSH2 0x0536
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x91d14854
000000bd: EQ
000000be: PUSH2 0x056a
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa217fddf
000000c8: EQ
000000c9: PUSH2 0x05bb
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x584b153e
000000d8: EQ
000000d9: PUSH2 0x0482
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x64d62353
000000e3: EQ
000000e4: PUSH2 0x04a2
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x8065657f
000000ee: EQ
000000ef: PUSH2 0x04c2
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x875d1239
000000f9: EQ
000000fa: PUSH2 0x04e2
000000fd: JUMPI
000000fe: PUSH1 0x00
00000100: DUP1
00000101: REVERT
00000102: JUMPDEST
00000103: DUP1
00000104: PUSH4 0x150b7a02
00000109: GT
0000010a: PUSH2 0x017a
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x2d446ac6
00000114: GT
00000115: PUSH2 0x0149
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x2d446ac6
0000011f: EQ
00000120: PUSH2 0x0408
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x2f2ff15d
0000012a: EQ
0000012b: PUSH2 0x0422
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x31d50750
00000135: EQ
00000136: PUSH2 0x0442
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x36568abe
00000140: EQ
00000141: PUSH2 0x0462
00000144: JUMPI
00000145: PUSH1 0x00
00000147: DUP1
00000148: REVERT
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0x150b7a02
00000150: EQ
00000151: PUSH2 0x02fd
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x248a9ca3
0000015b: EQ
0000015c: PUSH2 0x0373
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x24ea54f4
00000166: EQ
00000167: PUSH2 0x03a3
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x2ab0f529
00000171: EQ
00000172: PUSH2 0x03d7
00000175: JUMPI
00000176: PUSH1 0x00
00000178: DUP1
00000179: REVERT
0000017a: JUMPDEST
0000017b: DUP1
0000017c: PUSH4 0x0d3cf6fc
00000181: GT
00000182: PUSH2 0x01b6
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x0d3cf6fc
0000018c: EQ
0000018d: PUSH2 0x0281
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x134008d3
00000197: EQ
00000198: PUSH2 0x02b5
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x13bc9f20
000001a2: EQ
000001a3: PUSH2 0x02c8
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x14a709b9
000001ad: EQ
000001ae: PUSH2 0x02e8
000001b1: JUMPI
000001b2: PUSH1 0x00
000001b4: DUP1
000001b5: REVERT
000001b6: JUMPDEST
000001b7: DUP1
000001b8: PUSH4 0x01d5062a
000001bd: EQ
000001be: PUSH2 0x01e8
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x01ffc9a7
000001c8: EQ
000001c9: PUSH2 0x020a
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x07bd0265
000001d3: EQ
000001d4: PUSH2 0x023f
000001d7: JUMPI
000001d8: PUSH1 0x00
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: CALLDATASIZE
000001de: PUSH2 0x01e3
000001e1: JUMPI
000001e2: STOP
000001e3: JUMPDEST
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: CALLVALUE
000001ea: DUP1
000001eb: ISZERO
000001ec: PUSH2 0x01f4
000001ef: JUMPI
000001f0: PUSH1 0x00
000001f2: DUP1
000001f3: REVERT
000001f4: JUMPDEST
000001f5: POP
000001f6: PUSH2 0x0208
000001f9: PUSH2 0x0203
000001fc: CALLDATASIZE
000001fd: PUSH1 0x04
000001ff: PUSH2 0x1cca
00000202: JUMP
00000203: JUMPDEST
00000204: PUSH2 0x0713
00000207: JUMP
00000208: JUMPDEST
00000209: STOP
0000020a: JUMPDEST
0000020b: CALLVALUE
0000020c: DUP1
0000020d: ISZERO
0000020e: PUSH2 0x0216
00000211: JUMPI
00000212: PUSH1 0x00
00000214: DUP1
00000215: REVERT
00000216: JUMPDEST
00000217: POP
00000218: PUSH2 0x022a
0000021b: PUSH2 0x0225
0000021e: CALLDATASIZE
0000021f: PUSH1 0x04
00000221: PUSH2 0x1d3f
00000224: JUMP
00000225: JUMPDEST
00000226: PUSH2 0x07a9
00000229: JUMP
0000022a: JUMPDEST
0000022b: PUSH1 0x40
0000022d: MLOAD
0000022e: SWAP1
0000022f: ISZERO
00000230: ISZERO
00000231: DUP2
00000232: MSTORE
00000233: PUSH1 0x20
00000235: ADD
00000236: JUMPDEST
00000237: PUSH1 0x40
00000239: MLOAD
0000023a: DUP1
0000023b: SWAP2
0000023c: SUB
0000023d: SWAP1
0000023e: RETURN
0000023f: JUMPDEST
00000240: CALLVALUE
00000241: DUP1
00000242: ISZERO
00000243: PUSH2 0x024b
00000246: JUMPI
00000247: PUSH1 0x00
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: POP
0000024d: PUSH2 0x0273
00000250: PUSH32 0xd8aa0f3194971a2a116679f7c2090f6939c8d4e01a2a8d7e41d55e5351469e63
00000271: DUP2
00000272: JUMP
00000273: JUMPDEST
00000274: PUSH1 0x40
00000276: MLOAD
00000277: SWAP1
00000278: DUP2
00000279: MSTORE
0000027a: PUSH1 0x20
0000027c: ADD
0000027d: PUSH2 0x0236
00000280: JUMP
00000281: JUMPDEST
00000282: CALLVALUE
00000283: DUP1
00000284: ISZERO
00000285: PUSH2 0x028d
00000288: JUMPI
00000289: PUSH1 0x00
0000028b: DUP1
0000028c: REVERT
0000028d: JUMPDEST
0000028e: POP
0000028f: PUSH2 0x0273
00000292: PUSH32 0x5f58e3a2316349923ce3780f8d587db2d72378aed66a8261c916544fa6846ca5
000002b3: DUP2
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH2 0x0208
000002b9: PUSH2 0x02c3
000002bc: CALLDATASIZE
000002bd: PUSH1 0x04
000002bf: PUSH2 0x1d81
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH2 0x0842
000002c7: JUMP
000002c8: JUMPDEST
000002c9: CALLVALUE
000002ca: DUP1
000002cb: ISZERO
000002cc: PUSH2 0x02d4
000002cf: JUMPI
000002d0: PUSH1 0x00
000002d2: DUP1
000002d3: REVERT
000002d4: JUMPDEST
000002d5: POP
000002d6: PUSH2 0x022a
000002d9: PUSH2 0x02e3
000002dc: CALLDATASIZE
000002dd: PUSH1 0x04
000002df: PUSH2 0x1ded
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH2 0x08fd
000002e7: JUMP
000002e8: JUMPDEST
000002e9: CALLVALUE
000002ea: DUP1
000002eb: ISZERO
000002ec: PUSH2 0x02f4
000002ef: JUMPI
000002f0: PUSH1 0x00
000002f2: DUP1
000002f3: REVERT
000002f4: JUMPDEST
000002f5: POP
000002f6: PUSH2 0x0208
000002f9: PUSH2 0x0923
000002fc: JUMP
000002fd: JUMPDEST
000002fe: CALLVALUE
000002ff: DUP1
00000300: ISZERO
00000301: PUSH2 0x0309
00000304: JUMPI
00000305: PUSH1 0x00
00000307: DUP1
00000308: REVERT
00000309: JUMPDEST
0000030a: POP
0000030b: PUSH2 0x0342
0000030e: PUSH2 0x0318
00000311: CALLDATASIZE
00000312: PUSH1 0x04
00000314: PUSH2 0x1e06
00000317: JUMP
00000318: JUMPDEST
00000319: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
0000033a: SWAP6
0000033b: SWAP5
0000033c: POP
0000033d: POP
0000033e: POP
0000033f: POP
00000340: POP
00000341: JUMP
00000342: JUMPDEST
00000343: PUSH1 0x40
00000345: MLOAD
00000346: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000367: SWAP1
00000368: SWAP2
00000369: AND
0000036a: DUP2
0000036b: MSTORE
0000036c: PUSH1 0x20
0000036e: ADD
0000036f: PUSH2 0x0236
00000372: JUMP
00000373: JUMPDEST
00000374: CALLVALUE
00000375: DUP1
00000376: ISZERO
00000377: PUSH2 0x037f
0000037a: JUMPI
0000037b: PUSH1 0x00
0000037d: DUP1
0000037e: REVERT
0000037f: JUMPDEST
00000380: POP
00000381: PUSH2 0x0273
00000384: PUSH2 0x038e
00000387: CALLDATASIZE
00000388: PUSH1 0x04
0000038a: PUSH2 0x1ded
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH1 0x00
00000391: SWAP1
00000392: DUP2
00000393: MSTORE
00000394: PUSH1 0x20
00000396: DUP2
00000397: SWAP1
00000398: MSTORE
00000399: PUSH1 0x40
0000039b: SWAP1
0000039c: KECCAK256
0000039d: PUSH1 0x01
0000039f: ADD
000003a0: SLOAD
000003a1: SWAP1
000003a2: JUMP
000003a3: JUMPDEST
000003a4: CALLVALUE
000003a5: DUP1
000003a6: ISZERO
000003a7: PUSH2 0x03af
000003aa: JUMPI
000003ab: PUSH1 0x00
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: POP
000003b1: PUSH2 0x0273
000003b4: PUSH32 0x55435dd261a4b9b3364963f7738a7a662ad9c84396d64be3365284bb7f0a5041
000003d5: DUP2
000003d6: JUMP
000003d7: JUMPDEST
000003d8: CALLVALUE
000003d9: DUP1
000003da: ISZERO
000003db: PUSH2 0x03e3
000003de: JUMPI
000003df: PUSH1 0x00
000003e1: DUP1
000003e2: REVERT
000003e3: JUMPDEST
000003e4: POP
000003e5: PUSH2 0x022a
000003e8: PUSH2 0x03f2
000003eb: CALLDATASIZE
000003ec: PUSH1 0x04
000003ee: PUSH2 0x1ded
000003f1: JUMP
000003f2: JUMPDEST
000003f3: PUSH1 0x00
000003f5: SWAP1
000003f6: DUP2
000003f7: MSTORE
000003f8: PUSH1 0x01
000003fa: PUSH1 0x20
000003fc: DUP2
000003fd: SWAP1
000003fe: MSTORE
000003ff: PUSH1 0x40
00000401: SWAP1
00000402: SWAP2
00000403: KECCAK256
00000404: SLOAD
00000405: EQ
00000406: SWAP1
00000407: JUMP
00000408: JUMPDEST
00000409: CALLVALUE
0000040a: DUP1
0000040b: ISZERO
0000040c: PUSH2 0x0414
0000040f: JUMPI
00000410: PUSH1 0x00
00000412: DUP1
00000413: REVERT
00000414: JUMPDEST
00000415: POP
00000416: PUSH1 0x03
00000418: SLOAD
00000419: PUSH2 0x022a
0000041c: SWAP1
0000041d: PUSH1 0xff
0000041f: AND
00000420: DUP2
00000421: JUMP
00000422: JUMPDEST
00000423: CALLVALUE
00000424: DUP1
00000425: ISZERO
00000426: PUSH2 0x042e
00000429: JUMPI
0000042a: PUSH1 0x00
0000042c: DUP1
0000042d: REVERT
0000042e: JUMPDEST
0000042f: POP
00000430: PUSH2 0x0208
00000433: PUSH2 0x043d
00000436: CALLDATASIZE
00000437: PUSH1 0x04
00000439: PUSH2 0x1e75
0000043c: JUMP
0000043d: JUMPDEST
0000043e: PUSH2 0x0a5a
00000441: JUMP
00000442: JUMPDEST
00000443: CALLVALUE
00000444: DUP1
00000445: ISZERO
00000446: PUSH2 0x044e
00000449: JUMPI
0000044a: PUSH1 0x00
0000044c: DUP1
0000044d: REVERT
0000044e: JUMPDEST
0000044f: POP
00000450: PUSH2 0x022a
00000453: PUSH2 0x045d
00000456: CALLDATASIZE
00000457: PUSH1 0x04
00000459: PUSH2 0x1ded
0000045c: JUMP
0000045d: JUMPDEST
0000045e: PUSH2 0x0a85
00000461: JUMP
00000462: JUMPDEST
00000463: CALLVALUE
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x046e
00000469: JUMPI
0000046a: PUSH1 0x00
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: PUSH2 0x0208
00000473: PUSH2 0x047d
00000476: CALLDATASIZE
00000477: PUSH1 0x04
00000479: PUSH2 0x1e75
0000047c: JUMP
0000047d: JUMPDEST
0000047e: PUSH2 0x0a9e
00000481: JUMP
00000482: JUMPDEST
00000483: CALLVALUE
00000484: DUP1
00000485: ISZERO
00000486: PUSH2 0x048e
00000489: JUMPI
0000048a: PUSH1 0x00
0000048c: DUP1
0000048d: REVERT
0000048e: JUMPDEST
0000048f: POP
00000490: PUSH2 0x022a
00000493: PUSH2 0x049d
00000496: CALLDATASIZE
00000497: PUSH1 0x04
00000499: PUSH2 0x1ded
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH2 0x0b1e
000004a1: JUMP
000004a2: JUMPDEST
000004a3: CALLVALUE
000004a4: DUP1
000004a5: ISZERO
000004a6: PUSH2 0x04ae
000004a9: JUMPI
000004aa: PUSH1 0x00
000004ac: DUP1
000004ad: REVERT
000004ae: JUMPDEST
000004af: POP
000004b0: PUSH2 0x0208
000004b3: PUSH2 0x04bd
000004b6: CALLDATASIZE
000004b7: PUSH1 0x04
000004b9: PUSH2 0x1ded
000004bc: JUMP
000004bd: JUMPDEST
000004be: PUSH2 0x0b34
000004c1: JUMP
000004c2: JUMPDEST
000004c3: CALLVALUE
000004c4: DUP1
000004c5: ISZERO
000004c6: PUSH2 0x04ce
000004c9: JUMPI
000004ca: PUSH1 0x00
000004cc: DUP1
000004cd: REVERT
000004ce: JUMPDEST
000004cf: POP
000004d0: PUSH2 0x0273
000004d3: PUSH2 0x04dd
000004d6: CALLDATASIZE
000004d7: PUSH1 0x04
000004d9: PUSH2 0x1d81
000004dc: JUMP
000004dd: JUMPDEST
000004de: PUSH2 0x0c04
000004e1: JUMP
000004e2: JUMPDEST
000004e3: CALLVALUE
000004e4: DUP1
000004e5: ISZERO
000004e6: PUSH2 0x04ee
000004e9: JUMPI
000004ea: PUSH1 0x00
000004ec: DUP1
000004ed: REVERT
000004ee: JUMPDEST
000004ef: POP
000004f0: PUSH2 0x0273
000004f3: PUSH32 0xb74efb1331f2ac159f6a86c8c3fad56a75c3c91bdefeba4af6441cd313e03d46
00000514: DUP2
00000515: JUMP
00000516: JUMPDEST
00000517: CALLVALUE
00000518: DUP1
00000519: ISZERO
0000051a: PUSH2 0x0522
0000051d: JUMPI
0000051e: PUSH1 0x00
00000520: DUP1
00000521: REVERT
00000522: JUMPDEST
00000523: POP
00000524: PUSH2 0x0208
00000527: PUSH2 0x0531
0000052a: CALLDATASIZE
0000052b: PUSH1 0x04
0000052d: PUSH2 0x1ee6
00000530: JUMP
00000531: JUMPDEST
00000532: PUSH2 0x0c43
00000535: JUMP
00000536: JUMPDEST
00000537: CALLVALUE
00000538: DUP1
00000539: ISZERO
0000053a: PUSH2 0x0542
0000053d: JUMPI
0000053e: PUSH1 0x00
00000540: DUP1
00000541: REVERT
00000542: JUMPDEST
00000543: POP
00000544: PUSH2 0x0273
00000547: PUSH32 0xb09aa5aeb3702cfd50b6b62bc4532604938f21248a27a1d5ca736082b6819cc1
00000568: DUP2
00000569: JUMP
0000056a: JUMPDEST
0000056b: CALLVALUE
0000056c: DUP1
0000056d: ISZERO
0000056e: PUSH2 0x0576
00000571: JUMPI
00000572: PUSH1 0x00
00000574: DUP1
00000575: REVERT
00000576: JUMPDEST
00000577: POP
00000578: PUSH2 0x022a
0000057b: PUSH2 0x0585
0000057e: CALLDATASIZE
0000057f: PUSH1 0x04
00000581: PUSH2 0x1e75
00000584: JUMP
00000585: JUMPDEST
00000586: PUSH1 0x00
00000588: SWAP2
00000589: DUP3
0000058a: MSTORE
0000058b: PUSH1 0x20
0000058d: DUP3
0000058e: DUP2
0000058f: MSTORE
00000590: PUSH1 0x40
00000592: DUP1
00000593: DUP5
00000594: KECCAK256
00000595: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005aa: SWAP4
000005ab: SWAP1
000005ac: SWAP4
000005ad: AND
000005ae: DUP5
000005af: MSTORE
000005b0: SWAP2
000005b1: SWAP1
000005b2: MSTORE
000005b3: SWAP1
000005b4: KECCAK256
000005b5: SLOAD
000005b6: PUSH1 0xff
000005b8: AND
000005b9: SWAP1
000005ba: JUMP
000005bb: JUMPDEST
000005bc: CALLVALUE
000005bd: DUP1
000005be: ISZERO
000005bf: PUSH2 0x05c7
000005c2: JUMPI
000005c3: PUSH1 0x00
000005c5: DUP1
000005c6: REVERT
000005c7: JUMPDEST
000005c8: POP
000005c9: PUSH2 0x0273
000005cc: PUSH1 0x00
000005ce: DUP2
000005cf: JUMP
000005d0: JUMPDEST
000005d1: CALLVALUE
000005d2: DUP1
000005d3: ISZERO
000005d4: PUSH2 0x05dc
000005d7: JUMPI
000005d8: PUSH1 0x00
000005da: DUP1
000005db: REVERT
000005dc: JUMPDEST
000005dd: POP
000005de: PUSH2 0x0273
000005e1: PUSH2 0x05eb
000005e4: CALLDATASIZE
000005e5: PUSH1 0x04
000005e7: PUSH2 0x1f98
000005ea: JUMP
000005eb: JUMPDEST
000005ec: PUSH2 0x0e76
000005ef: JUMP
000005f0: JUMPDEST
000005f1: CALLVALUE
000005f2: DUP1
000005f3: ISZERO
000005f4: PUSH2 0x05fc
000005f7: JUMPI
000005f8: PUSH1 0x00
000005fa: DUP1
000005fb: REVERT
000005fc: JUMPDEST
000005fd: POP
000005fe: PUSH2 0x0342
00000601: PUSH2 0x060b
00000604: CALLDATASIZE
00000605: PUSH1 0x04
00000607: PUSH2 0x2041
0000060a: JUMP
0000060b: JUMPDEST
0000060c: PUSH32 0xbc197c8100000000000000000000000000000000000000000000000000000000
0000062d: SWAP9
0000062e: SWAP8
0000062f: POP
00000630: POP
00000631: POP
00000632: POP
00000633: POP
00000634: POP
00000635: POP
00000636: POP
00000637: JUMP
00000638: JUMPDEST
00000639: CALLVALUE
0000063a: DUP1
0000063b: ISZERO
0000063c: PUSH2 0x0644
0000063f: JUMPI
00000640: PUSH1 0x00
00000642: DUP1
00000643: REVERT
00000644: JUMPDEST
00000645: POP
00000646: PUSH2 0x0208
00000649: PUSH2 0x0653
0000064c: CALLDATASIZE
0000064d: PUSH1 0x04
0000064f: PUSH2 0x1ded
00000652: JUMP
00000653: JUMPDEST
00000654: PUSH2 0x0ebb
00000657: JUMP
00000658: JUMPDEST
00000659: CALLVALUE
0000065a: DUP1
0000065b: ISZERO
0000065c: PUSH2 0x0664
0000065f: JUMPI
00000660: PUSH1 0x00
00000662: DUP1
00000663: REVERT
00000664: JUMPDEST
00000665: POP
00000666: PUSH2 0x0273
00000669: PUSH2 0x0673
0000066c: CALLDATASIZE
0000066d: PUSH1 0x04
0000066f: PUSH2 0x1ded
00000672: JUMP
00000673: JUMPDEST
00000674: PUSH1 0x00
00000676: SWAP1
00000677: DUP2
00000678: MSTORE
00000679: PUSH1 0x01
0000067b: PUSH1 0x20
0000067d: MSTORE
0000067e: PUSH1 0x40
00000680: SWAP1
00000681: KECCAK256
00000682: SLOAD
00000683: SWAP1
00000684: JUMP
00000685: JUMPDEST
00000686: CALLVALUE
00000687: DUP1
00000688: ISZERO
00000689: PUSH2 0x0691
0000068c: JUMPI
0000068d: PUSH1 0x00
0000068f: DUP1
00000690: REVERT
00000691: JUMPDEST
00000692: POP
00000693: PUSH2 0x0208
00000696: PUSH2 0x06a0
00000699: CALLDATASIZE
0000069a: PUSH1 0x04
0000069c: PUSH2 0x1e75
0000069f: JUMP
000006a0: JUMPDEST
000006a1: PUSH2 0x0fb7
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH2 0x0208
000006a9: PUSH2 0x06b3
000006ac: CALLDATASIZE
000006ad: PUSH1 0x04
000006af: PUSH2 0x1f98
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH2 0x0fdd
000006b7: JUMP
000006b8: JUMPDEST
000006b9: CALLVALUE
000006ba: DUP1
000006bb: ISZERO
000006bc: PUSH2 0x06c4
000006bf: JUMPI
000006c0: PUSH1 0x00
000006c2: DUP1
000006c3: REVERT
000006c4: JUMPDEST
000006c5: POP
000006c6: PUSH2 0x0342
000006c9: PUSH2 0x06d3
000006cc: CALLDATASIZE
000006cd: PUSH1 0x04
000006cf: PUSH2 0x20fc
000006d2: JUMP
000006d3: JUMPDEST
000006d4: PUSH32 0xf23a6e6100000000000000000000000000000000000000000000000000000000
000006f5: SWAP7
000006f6: SWAP6
000006f7: POP
000006f8: POP
000006f9: POP
000006fa: POP
000006fb: POP
000006fc: POP
000006fd: JUMP
000006fe: JUMPDEST
000006ff: CALLVALUE
00000700: DUP1
00000701: ISZERO
00000702: PUSH2 0x070a
00000705: JUMPI
00000706: PUSH1 0x00
00000708: DUP1
00000709: REVERT
0000070a: JUMPDEST
0000070b: POP
0000070c: PUSH1 0x02
0000070e: SLOAD
0000070f: PUSH2 0x0273
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH32 0xb09aa5aeb3702cfd50b6b62bc4532604938f21248a27a1d5ca736082b6819cc1
00000735: PUSH2 0x073e
00000738: DUP2
00000739: CALLER
0000073a: PUSH2 0x1235
0000073d: JUMP
0000073e: JUMPDEST
0000073f: PUSH1 0x00
00000741: PUSH2 0x074e
00000744: DUP10
00000745: DUP10
00000746: DUP10
00000747: DUP10
00000748: DUP10
00000749: DUP10
0000074a: PUSH2 0x0c04
0000074d: JUMP
0000074e: JUMPDEST
0000074f: SWAP1
00000750: POP
00000751: PUSH2 0x075a
00000754: DUP2
00000755: DUP5
00000756: PUSH2 0x1305
00000759: JUMP
0000075a: JUMPDEST
0000075b: PUSH1 0x00
0000075d: DUP2
0000075e: PUSH32 0x4cf4410cc57040e44862ef0f45f3dd5a5e02db8eb8add648d4b0e236f1d07dca
0000077f: DUP12
00000780: DUP12
00000781: DUP12
00000782: DUP12
00000783: DUP12
00000784: DUP11
00000785: PUSH1 0x40
00000787: MLOAD
00000788: PUSH2 0x0796
0000078b: SWAP7
0000078c: SWAP6
0000078d: SWAP5
0000078e: SWAP4
0000078f: SWAP3
00000790: SWAP2
00000791: SWAP1
00000792: PUSH2 0x21bd
00000795: JUMP
00000796: JUMPDEST
00000797: PUSH1 0x40
00000799: MLOAD
0000079a: DUP1
0000079b: SWAP2
0000079c: SUB
0000079d: SWAP1
0000079e: LOG3
0000079f: POP
000007a0: POP
000007a1: POP
000007a2: POP
000007a3: POP
000007a4: POP
000007a5: POP
000007a6: POP
000007a7: POP
000007a8: JUMP
000007a9: JUMPDEST
000007aa: PUSH1 0x00
000007ac: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000007cd: DUP3
000007ce: AND
000007cf: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
000007f0: EQ
000007f1: DUP1
000007f2: PUSH2 0x083c
000007f5: JUMPI
000007f6: POP
000007f7: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00000818: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000839: DUP4
0000083a: AND
0000083b: EQ
0000083c: JUMPDEST
0000083d: SWAP3
0000083e: SWAP2
0000083f: POP
00000840: POP
00000841: JUMP
00000842: JUMPDEST
00000843: PUSH1 0x00
00000845: DUP1
00000846: MSTORE
00000847: PUSH32 0xdae2aa361dfd1ca020a396615627d436107c35eff9fe7738a3512819782d7069
00000868: PUSH1 0x20
0000086a: MSTORE
0000086b: PUSH32 0x5ba6852781629bcdcd4bdaa6de76d786f1c64b16acdac474e55bebc0ea157951
0000088c: SLOAD
0000088d: PUSH32 0xd8aa0f3194971a2a116679f7c2090f6939c8d4e01a2a8d7e41d55e5351469e63
000008ae: SWAP1
000008af: PUSH1 0xff
000008b1: AND
000008b2: PUSH2 0x08bf
000008b5: JUMPI
000008b6: PUSH2 0x08bf
000008b9: DUP2
000008ba: CALLER
000008bb: PUSH2 0x1235
000008be: JUMP
000008bf: JUMPDEST
000008c0: PUSH1 0x00
000008c2: PUSH2 0x08cf
000008c5: DUP9
000008c6: DUP9
000008c7: DUP9
000008c8: DUP9
000008c9: DUP9
000008ca: DUP9
000008cb: PUSH2 0x0c04
000008ce: JUMP
000008cf: JUMPDEST
000008d0: SWAP1
000008d1: POP
000008d2: PUSH2 0x08db
000008d5: DUP2
000008d6: DUP6
000008d7: PUSH2 0x144d
000008da: JUMP
000008db: JUMPDEST
000008dc: PUSH2 0x08ea
000008df: DUP2
000008e0: PUSH1 0x00
000008e2: DUP11
000008e3: DUP11
000008e4: DUP11
000008e5: DUP11
000008e6: PUSH2 0x158a
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH2 0x08f3
000008ee: DUP2
000008ef: PUSH2 0x16cf
000008f2: JUMP
000008f3: JUMPDEST
000008f4: POP
000008f5: POP
000008f6: POP
000008f7: POP
000008f8: POP
000008f9: POP
000008fa: POP
000008fb: POP
000008fc: JUMP
000008fd: JUMPDEST
000008fe: PUSH1 0x00
00000900: DUP2
00000901: DUP2
00000902: MSTORE
00000903: PUSH1 0x01
00000905: PUSH1 0x20
00000907: MSTORE
00000908: PUSH1 0x40
0000090a: DUP2
0000090b: KECCAK256
0000090c: SLOAD
0000090d: PUSH1 0x01
0000090f: DUP2
00000910: GT
00000911: DUP1
00000912: ISZERO
00000913: PUSH2 0x091c
00000916: JUMPI
00000917: POP
00000918: TIMESTAMP
00000919: DUP2
0000091a: GT
0000091b: ISZERO
0000091c: JUMPDEST
0000091d: SWAP4
0000091e: SWAP3
0000091f: POP
00000920: POP
00000921: POP
00000922: JUMP
00000923: JUMPDEST
00000924: PUSH32 0x55435dd261a4b9b3364963f7738a7a662ad9c84396d64be3365284bb7f0a5041
00000945: PUSH2 0x094e
00000948: DUP2
00000949: CALLER
0000094a: PUSH2 0x1235
0000094d: JUMP
0000094e: JUMPDEST
0000094f: PUSH2 0x0998
00000952: PUSH32 0x5f58e3a2316349923ce3780f8d587db2d72378aed66a8261c916544fa6846ca5
00000973: PUSH32 0xb74efb1331f2ac159f6a86c8c3fad56a75c3c91bdefeba4af6441cd313e03d46
00000994: PUSH2 0x1778
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH2 0x09e2
0000099c: PUSH32 0xb09aa5aeb3702cfd50b6b62bc4532604938f21248a27a1d5ca736082b6819cc1
000009bd: PUSH32 0xb74efb1331f2ac159f6a86c8c3fad56a75c3c91bdefeba4af6441cd313e03d46
000009de: PUSH2 0x1778
000009e1: JUMP
000009e2: JUMPDEST
000009e3: PUSH2 0x0a2c
000009e6: PUSH32 0xd8aa0f3194971a2a116679f7c2090f6939c8d4e01a2a8d7e41d55e5351469e63
00000a07: PUSH32 0xb74efb1331f2ac159f6a86c8c3fad56a75c3c91bdefeba4af6441cd313e03d46
00000a28: PUSH2 0x1778
00000a2b: JUMP
00000a2c: JUMPDEST
00000a2d: POP
00000a2e: PUSH1 0x03
00000a30: DUP1
00000a31: SLOAD
00000a32: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000a53: AND
00000a54: PUSH1 0x01
00000a56: OR
00000a57: SWAP1
00000a58: SSTORE
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH1 0x00
00000a5d: DUP3
00000a5e: DUP2
00000a5f: MSTORE
00000a60: PUSH1 0x20
00000a62: DUP2
00000a63: SWAP1
00000a64: MSTORE
00000a65: PUSH1 0x40
00000a67: SWAP1
00000a68: KECCAK256
00000a69: PUSH1 0x01
00000a6b: ADD
00000a6c: SLOAD
00000a6d: PUSH2 0x0a76
00000a70: DUP2
00000a71: CALLER
00000a72: PUSH2 0x1235
00000a75: JUMP
00000a76: JUMPDEST
00000a77: PUSH2 0x0a80
00000a7a: DUP4
00000a7b: DUP4
00000a7c: PUSH2 0x17c3
00000a7f: JUMP
00000a80: JUMPDEST
00000a81: POP
00000a82: POP
00000a83: POP
00000a84: JUMP
00000a85: JUMPDEST
00000a86: PUSH1 0x00
00000a88: DUP2
00000a89: DUP2
00000a8a: MSTORE
00000a8b: PUSH1 0x01
00000a8d: PUSH1 0x20
00000a8f: MSTORE
00000a90: PUSH1 0x40
00000a92: DUP2
00000a93: KECCAK256
00000a94: SLOAD
00000a95: DUP2
00000a96: SWAP1
00000a97: JUMPDEST
00000a98: GT
00000a99: SWAP3
00000a9a: SWAP2
00000a9b: POP
00000a9c: POP
00000a9d: JUMP
00000a9e: JUMPDEST
00000a9f: PUSH1 0x03
00000aa1: SLOAD
00000aa2: PUSH1 0xff
00000aa4: AND
00000aa5: ISZERO
00000aa6: PUSH2 0x0b10
00000aa9: JUMPI
00000aaa: PUSH1 0x40
00000aac: MLOAD
00000aad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ace: DUP2
00000acf: MSTORE
00000ad0: PUSH1 0x20
00000ad2: PUSH1 0x04
00000ad4: DUP3
00000ad5: ADD
00000ad6: MSTORE
00000ad7: PUSH1 0x1a
00000ad9: PUSH1 0x24
00000adb: DUP3
00000adc: ADD
00000add: MSTORE
00000ade: PUSH32 0x476f7665726e616e636520697320696d6d6f7274616c697a6564000000000000
00000aff: PUSH1 0x44
00000b01: DUP3
00000b02: ADD
00000b03: MSTORE
00000b04: PUSH1 0x64
00000b06: ADD
00000b07: JUMPDEST
00000b08: PUSH1 0x40
00000b0a: MLOAD
00000b0b: DUP1
00000b0c: SWAP2
00000b0d: SUB
00000b0e: SWAP1
00000b0f: REVERT
00000b10: JUMPDEST
00000b11: PUSH2 0x0b1a
00000b14: DUP3
00000b15: DUP3
00000b16: PUSH2 0x18b3
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: POP
00000b1c: POP
00000b1d: JUMP
00000b1e: JUMPDEST
00000b1f: PUSH1 0x00
00000b21: DUP2
00000b22: DUP2
00000b23: MSTORE
00000b24: PUSH1 0x01
00000b26: PUSH1 0x20
00000b28: DUP2
00000b29: SWAP1
00000b2a: MSTORE
00000b2b: PUSH1 0x40
00000b2d: DUP3
00000b2e: KECCAK256
00000b2f: SLOAD
00000b30: PUSH2 0x0a97
00000b33: JUMP
00000b34: JUMPDEST
00000b35: CALLER
00000b36: ADDRESS
00000b37: EQ
00000b38: PUSH2 0x0bc3
00000b3b: JUMPI
00000b3c: PUSH1 0x40
00000b3e: MLOAD
00000b3f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b60: DUP2
00000b61: MSTORE
00000b62: PUSH1 0x20
00000b64: PUSH1 0x04
00000b66: DUP3
00000b67: ADD
00000b68: MSTORE
00000b69: PUSH1 0x2b
00000b6b: PUSH1 0x24
00000b6d: DUP3
00000b6e: ADD
00000b6f: MSTORE
00000b70: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a2063616c6c6572206d75737420
00000b91: PUSH1 0x44
00000b93: DUP3
00000b94: ADD
00000b95: MSTORE
00000b96: PUSH32 0x62652074696d656c6f636b000000000000000000000000000000000000000000
00000bb7: PUSH1 0x64
00000bb9: DUP3
00000bba: ADD
00000bbb: MSTORE
00000bbc: PUSH1 0x84
00000bbe: ADD
00000bbf: PUSH2 0x0b07
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH1 0x02
00000bc6: SLOAD
00000bc7: PUSH1 0x40
00000bc9: DUP1
00000bca: MLOAD
00000bcb: SWAP2
00000bcc: DUP3
00000bcd: MSTORE
00000bce: PUSH1 0x20
00000bd0: DUP3
00000bd1: ADD
00000bd2: DUP4
00000bd3: SWAP1
00000bd4: MSTORE
00000bd5: PUSH32 0x11c24f4ead16507c69ac467fbd5e4eed5fb5c699626d2cc6d66421df253886d5
00000bf6: SWAP2
00000bf7: ADD
00000bf8: PUSH1 0x40
00000bfa: MLOAD
00000bfb: DUP1
00000bfc: SWAP2
00000bfd: SUB
00000bfe: SWAP1
00000bff: LOG1
00000c00: PUSH1 0x02
00000c02: SSTORE
00000c03: JUMP
00000c04: JUMPDEST
00000c05: PUSH1 0x00
00000c07: DUP7
00000c08: DUP7
00000c09: DUP7
00000c0a: DUP7
00000c0b: DUP7
00000c0c: DUP7
00000c0d: PUSH1 0x40
00000c0f: MLOAD
00000c10: PUSH1 0x20
00000c12: ADD
00000c13: PUSH2 0x0c21
00000c16: SWAP7
00000c17: SWAP6
00000c18: SWAP5
00000c19: SWAP4
00000c1a: SWAP3
00000c1b: SWAP2
00000c1c: SWAP1
00000c1d: PUSH2 0x21bd
00000c20: JUMP
00000c21: JUMPDEST
00000c22: PUSH1 0x40
00000c24: MLOAD
00000c25: PUSH1 0x20
00000c27: DUP2
00000c28: DUP4
00000c29: SUB
00000c2a: SUB
00000c2b: DUP2
00000c2c: MSTORE
00000c2d: SWAP1
00000c2e: PUSH1 0x40
00000c30: MSTORE
00000c31: DUP1
00000c32: MLOAD
00000c33: SWAP1
00000c34: PUSH1 0x20
00000c36: ADD
00000c37: KECCAK256
00000c38: SWAP1
00000c39: POP
00000c3a: SWAP7
00000c3b: SWAP6
00000c3c: POP
00000c3d: POP
00000c3e: POP
00000c3f: POP
00000c40: POP
00000c41: POP
00000c42: JUMP
00000c43: JUMPDEST
00000c44: PUSH32 0xb09aa5aeb3702cfd50b6b62bc4532604938f21248a27a1d5ca736082b6819cc1
00000c65: PUSH2 0x0c6e
00000c68: DUP2
00000c69: CALLER
00000c6a: PUSH2 0x1235
00000c6d: JUMP
00000c6e: JUMPDEST
00000c6f: DUP9
00000c70: DUP8
00000c71: EQ
00000c72: PUSH2 0x0cfd
00000c75: JUMPI
00000c76: PUSH1 0x40
00000c78: MLOAD
00000c79: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c9a: DUP2
00000c9b: MSTORE
00000c9c: PUSH1 0x20
00000c9e: PUSH1 0x04
00000ca0: DUP3
00000ca1: ADD
00000ca2: MSTORE
00000ca3: PUSH1 0x23
00000ca5: PUSH1 0x24
00000ca7: DUP3
00000ca8: ADD
00000ca9: MSTORE
00000caa: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206c656e677468206d69736d61
00000ccb: PUSH1 0x44
00000ccd: DUP3
00000cce: ADD
00000ccf: MSTORE
00000cd0: PUSH32 0x7463680000000000000000000000000000000000000000000000000000000000
00000cf1: PUSH1 0x64
00000cf3: DUP3
00000cf4: ADD
00000cf5: MSTORE
00000cf6: PUSH1 0x84
00000cf8: ADD
00000cf9: PUSH2 0x0b07
00000cfc: JUMP
00000cfd: JUMPDEST
00000cfe: DUP9
00000cff: DUP6
00000d00: EQ
00000d01: PUSH2 0x0d8c
00000d04: JUMPI
00000d05: PUSH1 0x40
00000d07: MLOAD
00000d08: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d29: DUP2
00000d2a: MSTORE
00000d2b: PUSH1 0x20
00000d2d: PUSH1 0x04
00000d2f: DUP3
00000d30: ADD
00000d31: MSTORE
00000d32: PUSH1 0x23
00000d34: PUSH1 0x24
00000d36: DUP3
00000d37: ADD
00000d38: MSTORE
00000d39: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206c656e677468206d69736d61
00000d5a: PUSH1 0x44
00000d5c: DUP3
00000d5d: ADD
00000d5e: MSTORE
00000d5f: PUSH32 0x7463680000000000000000000000000000000000000000000000000000000000
00000d80: PUSH1 0x64
00000d82: DUP3
00000d83: ADD
00000d84: MSTORE
00000d85: PUSH1 0x84
00000d87: ADD
00000d88: PUSH2 0x0b07
00000d8b: JUMP
00000d8c: JUMPDEST
00000d8d: PUSH1 0x00
00000d8f: PUSH2 0x0d9e
00000d92: DUP12
00000d93: DUP12
00000d94: DUP12
00000d95: DUP12
00000d96: DUP12
00000d97: DUP12
00000d98: DUP12
00000d99: DUP12
00000d9a: PUSH2 0x0e76
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: SWAP1
00000da0: POP
00000da1: PUSH2 0x0daa
00000da4: DUP2
00000da5: DUP5
00000da6: PUSH2 0x1305
00000da9: JUMP
00000daa: JUMPDEST
00000dab: PUSH1 0x00
00000dad: JUMPDEST
00000dae: DUP11
00000daf: DUP2
00000db0: LT
00000db1: ISZERO
00000db2: PUSH2 0x0e68
00000db5: JUMPI
00000db6: DUP1
00000db7: DUP3
00000db8: PUSH32 0x4cf4410cc57040e44862ef0f45f3dd5a5e02db8eb8add648d4b0e236f1d07dca
00000dd9: DUP15
00000dda: DUP15
00000ddb: DUP6
00000ddc: DUP2
00000ddd: DUP2
00000dde: LT
00000ddf: PUSH2 0x0dea
00000de2: JUMPI
00000de3: PUSH2 0x0dea
00000de6: PUSH2 0x2208
00000de9: JUMP
00000dea: JUMPDEST
00000deb: SWAP1
00000dec: POP
00000ded: PUSH1 0x20
00000def: MUL
00000df0: ADD
00000df1: PUSH1 0x20
00000df3: DUP2
00000df4: ADD
00000df5: SWAP1
00000df6: PUSH2 0x0dff
00000df9: SWAP2
00000dfa: SWAP1
00000dfb: PUSH2 0x2237
00000dfe: JUMP
00000dff: JUMPDEST
00000e00: DUP14
00000e01: DUP14
00000e02: DUP7
00000e03: DUP2
00000e04: DUP2
00000e05: LT
00000e06: PUSH2 0x0e11
00000e09: JUMPI
00000e0a: PUSH2 0x0e11
00000e0d: PUSH2 0x2208
00000e10: JUMP
00000e11: JUMPDEST
00000e12: SWAP1
00000e13: POP
00000e14: PUSH1 0x20
00000e16: MUL
00000e17: ADD
00000e18: CALLDATALOAD
00000e19: DUP13
00000e1a: DUP13
00000e1b: DUP8
00000e1c: DUP2
00000e1d: DUP2
00000e1e: LT
00000e1f: PUSH2 0x0e2a
00000e22: JUMPI
00000e23: PUSH2 0x0e2a
00000e26: PUSH2 0x2208
00000e29: JUMP
00000e2a: JUMPDEST
00000e2b: SWAP1
00000e2c: POP
00000e2d: PUSH1 0x20
00000e2f: MUL
00000e30: DUP2
00000e31: ADD
00000e32: SWAP1
00000e33: PUSH2 0x0e3c
00000e36: SWAP2
00000e37: SWAP1
00000e38: PUSH2 0x2252
00000e3b: JUMP
00000e3c: JUMPDEST
00000e3d: DUP13
00000e3e: DUP12
00000e3f: PUSH1 0x40
00000e41: MLOAD
00000e42: PUSH2 0x0e50
00000e45: SWAP7
00000e46: SWAP6
00000e47: SWAP5
00000e48: SWAP4
00000e49: SWAP3
00000e4a: SWAP2
00000e4b: SWAP1
00000e4c: PUSH2 0x21bd
00000e4f: JUMP
00000e50: JUMPDEST
00000e51: PUSH1 0x40
00000e53: MLOAD
00000e54: DUP1
00000e55: SWAP2
00000e56: SUB
00000e57: SWAP1
00000e58: LOG3
00000e59: PUSH2 0x0e61
00000e5c: DUP2
00000e5d: PUSH2 0x22e6
00000e60: JUMP
00000e61: JUMPDEST
00000e62: SWAP1
00000e63: POP
00000e64: PUSH2 0x0dad
00000e67: JUMP
00000e68: JUMPDEST
00000e69: POP
00000e6a: POP
00000e6b: POP
00000e6c: POP
00000e6d: POP
00000e6e: POP
00000e6f: POP
00000e70: POP
00000e71: POP
00000e72: POP
00000e73: POP
00000e74: POP
00000e75: JUMP
00000e76: JUMPDEST
00000e77: PUSH1 0x00
00000e79: DUP9
00000e7a: DUP9
00000e7b: DUP9
00000e7c: DUP9
00000e7d: DUP9
00000e7e: DUP9
00000e7f: DUP9
00000e80: DUP9
00000e81: PUSH1 0x40
00000e83: MLOAD
00000e84: PUSH1 0x20
00000e86: ADD
00000e87: PUSH2 0x0e97
00000e8a: SWAP9
00000e8b: SWAP8
00000e8c: SWAP7
00000e8d: SWAP6
00000e8e: SWAP5
00000e8f: SWAP4
00000e90: SWAP3
00000e91: SWAP2
00000e92: SWAP1
00000e93: PUSH2 0x23ce
00000e96: JUMP
00000e97: JUMPDEST
00000e98: PUSH1 0x40
00000e9a: MLOAD
00000e9b: PUSH1 0x20
00000e9d: DUP2
00000e9e: DUP4
00000e9f: SUB
00000ea0: SUB
00000ea1: DUP2
00000ea2: MSTORE
00000ea3: SWAP1
00000ea4: PUSH1 0x40
00000ea6: MSTORE
00000ea7: DUP1
00000ea8: MLOAD
00000ea9: SWAP1
00000eaa: PUSH1 0x20
00000eac: ADD
00000ead: KECCAK256
00000eae: SWAP1
00000eaf: POP
00000eb0: SWAP9
00000eb1: SWAP8
00000eb2: POP
00000eb3: POP
00000eb4: POP
00000eb5: POP
00000eb6: POP
00000eb7: POP
00000eb8: POP
00000eb9: POP
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: PUSH32 0xb09aa5aeb3702cfd50b6b62bc4532604938f21248a27a1d5ca736082b6819cc1
00000edd: PUSH2 0x0ee6
00000ee0: DUP2
00000ee1: CALLER
00000ee2: PUSH2 0x1235
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: PUSH2 0x0eef
00000eea: DUP3
00000eeb: PUSH2 0x0b1e
00000eee: JUMP
00000eef: JUMPDEST
00000ef0: PUSH2 0x0f7b
00000ef3: JUMPI
00000ef4: PUSH1 0x40
00000ef6: MLOAD
00000ef7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f18: DUP2
00000f19: MSTORE
00000f1a: PUSH1 0x20
00000f1c: PUSH1 0x04
00000f1e: DUP3
00000f1f: ADD
00000f20: MSTORE
00000f21: PUSH1 0x31
00000f23: PUSH1 0x24
00000f25: DUP3
00000f26: ADD
00000f27: MSTORE
00000f28: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206f7065726174696f6e206361
00000f49: PUSH1 0x44
00000f4b: DUP3
00000f4c: ADD
00000f4d: MSTORE
00000f4e: PUSH32 0x6e6e6f742062652063616e63656c6c6564000000000000000000000000000000
00000f6f: PUSH1 0x64
00000f71: DUP3
00000f72: ADD
00000f73: MSTORE
00000f74: PUSH1 0x84
00000f76: ADD
00000f77: PUSH2 0x0b07
00000f7a: JUMP
00000f7b: JUMPDEST
00000f7c: PUSH1 0x00
00000f7e: DUP3
00000f7f: DUP2
00000f80: MSTORE
00000f81: PUSH1 0x01
00000f83: PUSH1 0x20
00000f85: MSTORE
00000f86: PUSH1 0x40
00000f88: DUP1
00000f89: DUP3
00000f8a: KECCAK256
00000f8b: DUP3
00000f8c: SWAP1
00000f8d: SSTORE
00000f8e: MLOAD
00000f8f: DUP4
00000f90: SWAP2
00000f91: PUSH32 0xbaa1eb22f2a492ba1a5fea61b8df4d27c6c8b5f3971e63bb58fa14ff72eedb70
00000fb2: SWAP2
00000fb3: LOG2
00000fb4: POP
00000fb5: POP
00000fb6: JUMP
00000fb7: JUMPDEST
00000fb8: PUSH1 0x00
00000fba: DUP3
00000fbb: DUP2
00000fbc: MSTORE
00000fbd: PUSH1 0x20
00000fbf: DUP2
00000fc0: SWAP1
00000fc1: MSTORE
00000fc2: PUSH1 0x40
00000fc4: SWAP1
00000fc5: KECCAK256
00000fc6: PUSH1 0x01
00000fc8: ADD
00000fc9: SLOAD
00000fca: PUSH2 0x0fd3
00000fcd: DUP2
00000fce: CALLER
00000fcf: PUSH2 0x1235
00000fd2: JUMP
00000fd3: JUMPDEST
00000fd4: PUSH2 0x0a80
00000fd7: DUP4
00000fd8: DUP4
00000fd9: PUSH2 0x195e
00000fdc: JUMP
00000fdd: JUMPDEST
00000fde: PUSH1 0x00
00000fe0: DUP1
00000fe1: MSTORE
00000fe2: PUSH32 0xdae2aa361dfd1ca020a396615627d436107c35eff9fe7738a3512819782d7069
00001003: PUSH1 0x20
00001005: MSTORE
00001006: PUSH32 0x5ba6852781629bcdcd4bdaa6de76d786f1c64b16acdac474e55bebc0ea157951
00001027: SLOAD
00001028: PUSH32 0xd8aa0f3194971a2a116679f7c2090f6939c8d4e01a2a8d7e41d55e5351469e63
00001049: SWAP1
0000104a: PUSH1 0xff
0000104c: AND
0000104d: PUSH2 0x105a
00001050: JUMPI
00001051: PUSH2 0x105a
00001054: DUP2
00001055: CALLER
00001056: PUSH2 0x1235
00001059: JUMP
0000105a: JUMPDEST
0000105b: DUP8
0000105c: DUP7
0000105d: EQ
0000105e: PUSH2 0x10e9
00001061: JUMPI
00001062: PUSH1 0x40
00001064: MLOAD
00001065: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001086: DUP2
00001087: MSTORE
00001088: PUSH1 0x20
0000108a: PUSH1 0x04
0000108c: DUP3
0000108d: ADD
0000108e: MSTORE
0000108f: PUSH1 0x23
00001091: PUSH1 0x24
00001093: DUP3
00001094: ADD
00001095: MSTORE
00001096: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206c656e677468206d69736d61
000010b7: PUSH1 0x44
000010b9: DUP3
000010ba: ADD
000010bb: MSTORE
000010bc: PUSH32 0x7463680000000000000000000000000000000000000000000000000000000000
000010dd: PUSH1 0x64
000010df: DUP3
000010e0: ADD
000010e1: MSTORE
000010e2: PUSH1 0x84
000010e4: ADD
000010e5: PUSH2 0x0b07
000010e8: JUMP
000010e9: JUMPDEST
000010ea: DUP8
000010eb: DUP5
000010ec: EQ
000010ed: PUSH2 0x1178
000010f0: JUMPI
000010f1: PUSH1 0x40
000010f3: MLOAD
000010f4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001115: DUP2
00001116: MSTORE
00001117: PUSH1 0x20
00001119: PUSH1 0x04
0000111b: DUP3
0000111c: ADD
0000111d: MSTORE
0000111e: PUSH1 0x23
00001120: PUSH1 0x24
00001122: DUP3
00001123: ADD
00001124: MSTORE
00001125: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206c656e677468206d69736d61
00001146: PUSH1 0x44
00001148: DUP3
00001149: ADD
0000114a: MSTORE
0000114b: PUSH32 0x7463680000000000000000000000000000000000000000000000000000000000
0000116c: PUSH1 0x64
0000116e: DUP3
0000116f: ADD
00001170: MSTORE
00001171: PUSH1 0x84
00001173: ADD
00001174: PUSH2 0x0b07
00001177: JUMP
00001178: JUMPDEST
00001179: PUSH1 0x00
0000117b: PUSH2 0x118a
0000117e: DUP11
0000117f: DUP11
00001180: DUP11
00001181: DUP11
00001182: DUP11
00001183: DUP11
00001184: DUP11
00001185: DUP11
00001186: PUSH2 0x0e76
00001189: JUMP
0000118a: JUMPDEST
0000118b: SWAP1
0000118c: POP
0000118d: PUSH2 0x1196
00001190: DUP2
00001191: DUP6
00001192: PUSH2 0x144d
00001195: JUMP
00001196: JUMPDEST
00001197: PUSH1 0x00
00001199: JUMPDEST
0000119a: DUP10
0000119b: DUP2
0000119c: LT
0000119d: ISZERO
0000119e: PUSH2 0x121f
000011a1: JUMPI
000011a2: PUSH2 0x120f
000011a5: DUP3
000011a6: DUP3
000011a7: DUP14
000011a8: DUP14
000011a9: DUP6
000011aa: DUP2
000011ab: DUP2
000011ac: LT
000011ad: PUSH2 0x11b8
000011b0: JUMPI
000011b1: PUSH2 0x11b8
000011b4: PUSH2 0x2208
000011b7: JUMP
000011b8: JUMPDEST
000011b9: SWAP1
000011ba: POP
000011bb: PUSH1 0x20
000011bd: MUL
000011be: ADD
000011bf: PUSH1 0x20
000011c1: DUP2
000011c2: ADD
000011c3: SWAP1
000011c4: PUSH2 0x11cd
000011c7: SWAP2
000011c8: SWAP1
000011c9: PUSH2 0x2237
000011cc: JUMP
000011cd: JUMPDEST
000011ce: DUP13
000011cf: DUP13
000011d0: DUP7
000011d1: DUP2
000011d2: DUP2
000011d3: LT
000011d4: PUSH2 0x11df
000011d7: JUMPI
000011d8: PUSH2 0x11df
000011db: PUSH2 0x2208
000011de: JUMP
000011df: JUMPDEST
000011e0: SWAP1
000011e1: POP
000011e2: PUSH1 0x20
000011e4: MUL
000011e5: ADD
000011e6: CALLDATALOAD
000011e7: DUP12
000011e8: DUP12
000011e9: DUP8
000011ea: DUP2
000011eb: DUP2
000011ec: LT
000011ed: PUSH2 0x11f8
000011f0: JUMPI
000011f1: PUSH2 0x11f8
000011f4: PUSH2 0x2208
000011f7: JUMP
000011f8: JUMPDEST
000011f9: SWAP1
000011fa: POP
000011fb: PUSH1 0x20
000011fd: MUL
000011fe: DUP2
000011ff: ADD
00001200: SWAP1
00001201: PUSH2 0x120a
00001204: SWAP2
00001205: SWAP1
00001206: PUSH2 0x2252
00001209: JUMP
0000120a: JUMPDEST
0000120b: PUSH2 0x158a
0000120e: JUMP
0000120f: JUMPDEST
00001210: PUSH2 0x1218
00001213: DUP2
00001214: PUSH2 0x22e6
00001217: JUMP
00001218: JUMPDEST
00001219: SWAP1
0000121a: POP
0000121b: PUSH2 0x1199
0000121e: JUMP
0000121f: JUMPDEST
00001220: POP
00001221: PUSH2 0x1229
00001224: DUP2
00001225: PUSH2 0x16cf
00001228: JUMP
00001229: JUMPDEST
0000122a: POP
0000122b: POP
0000122c: POP
0000122d: POP
0000122e: POP
0000122f: POP
00001230: POP
00001231: POP
00001232: POP
00001233: POP
00001234: JUMP
00001235: JUMPDEST
00001236: PUSH1 0x00
00001238: DUP3
00001239: DUP2
0000123a: MSTORE
0000123b: PUSH1 0x20
0000123d: DUP2
0000123e: DUP2
0000123f: MSTORE
00001240: PUSH1 0x40
00001242: DUP1
00001243: DUP4
00001244: KECCAK256
00001245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000125a: DUP6
0000125b: AND
0000125c: DUP5
0000125d: MSTORE
0000125e: SWAP1
0000125f: SWAP2
00001260: MSTORE
00001261: SWAP1
00001262: KECCAK256
00001263: SLOAD
00001264: PUSH1 0xff
00001266: AND
00001267: PUSH2 0x0b1a
0000126a: JUMPI
0000126b: PUSH2 0x128b
0000126e: DUP2
0000126f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001284: AND
00001285: PUSH1 0x14
00001287: PUSH2 0x1a15
0000128a: JUMP
0000128b: JUMPDEST
0000128c: PUSH2 0x1296
0000128f: DUP4
00001290: PUSH1 0x20
00001292: PUSH2 0x1a15
00001295: JUMP
00001296: JUMPDEST
00001297: PUSH1 0x40
00001299: MLOAD
0000129a: PUSH1 0x20
0000129c: ADD
0000129d: PUSH2 0x12a7
000012a0: SWAP3
000012a1: SWAP2
000012a2: SWAP1
000012a3: PUSH2 0x24cf
000012a6: JUMP
000012a7: JUMPDEST
000012a8: PUSH1 0x40
000012aa: DUP1
000012ab: MLOAD
000012ac: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000012cd: DUP2
000012ce: DUP5
000012cf: SUB
000012d0: ADD
000012d1: DUP2
000012d2: MSTORE
000012d3: SWAP1
000012d4: DUP3
000012d5: SWAP1
000012d6: MSTORE
000012d7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012f8: DUP3
000012f9: MSTORE
000012fa: PUSH2 0x0b07
000012fd: SWAP2
000012fe: PUSH1 0x04
00001300: ADD
00001301: PUSH2 0x2550
00001304: JUMP
00001305: JUMPDEST
00001306: PUSH2 0x130e
00001309: DUP3
0000130a: PUSH2 0x0a85
0000130d: JUMP
0000130e: JUMPDEST
0000130f: ISZERO
00001310: PUSH2 0x139b
00001313: JUMPI
00001314: PUSH1 0x40
00001316: MLOAD
00001317: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001338: DUP2
00001339: MSTORE
0000133a: PUSH1 0x20
0000133c: PUSH1 0x04
0000133e: DUP3
0000133f: ADD
00001340: MSTORE
00001341: PUSH1 0x2f
00001343: PUSH1 0x24
00001345: DUP3
00001346: ADD
00001347: MSTORE
00001348: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206f7065726174696f6e20616c
00001369: PUSH1 0x44
0000136b: DUP3
0000136c: ADD
0000136d: MSTORE
0000136e: PUSH32 0x7265616479207363686564756c65640000000000000000000000000000000000
0000138f: PUSH1 0x64
00001391: DUP3
00001392: ADD
00001393: MSTORE
00001394: PUSH1 0x84
00001396: ADD
00001397: PUSH2 0x0b07
0000139a: JUMP
0000139b: JUMPDEST
0000139c: PUSH1 0x02
0000139e: SLOAD
0000139f: DUP2
000013a0: LT
000013a1: ISZERO
000013a2: PUSH2 0x142d
000013a5: JUMPI
000013a6: PUSH1 0x40
000013a8: MLOAD
000013a9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013ca: DUP2
000013cb: MSTORE
000013cc: PUSH1 0x20
000013ce: PUSH1 0x04
000013d0: DUP3
000013d1: ADD
000013d2: MSTORE
000013d3: PUSH1 0x26
000013d5: PUSH1 0x24
000013d7: DUP3
000013d8: ADD
000013d9: MSTORE
000013da: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a20696e73756666696369656e74
000013fb: PUSH1 0x44
000013fd: DUP3
000013fe: ADD
000013ff: MSTORE
00001400: PUSH32 0x2064656c61790000000000000000000000000000000000000000000000000000
00001421: PUSH1 0x64
00001423: DUP3
00001424: ADD
00001425: MSTORE
00001426: PUSH1 0x84
00001428: ADD
00001429: PUSH2 0x0b07
0000142c: JUMP
0000142d: JUMPDEST
0000142e: PUSH2 0x1437
00001431: DUP2
00001432: TIMESTAMP
00001433: PUSH2 0x25a1
00001436: JUMP
00001437: JUMPDEST
00001438: PUSH1 0x00
0000143a: SWAP3
0000143b: DUP4
0000143c: MSTORE
0000143d: PUSH1 0x01
0000143f: PUSH1 0x20
00001441: MSTORE
00001442: PUSH1 0x40
00001444: SWAP1
00001445: SWAP3
00001446: KECCAK256
00001447: SWAP2
00001448: SWAP1
00001449: SWAP2
0000144a: SSTORE
0000144b: POP
0000144c: JUMP
0000144d: JUMPDEST
0000144e: PUSH2 0x1456
00001451: DUP3
00001452: PUSH2 0x08fd
00001455: JUMP
00001456: JUMPDEST
00001457: PUSH2 0x14e2
0000145a: JUMPI
0000145b: PUSH1 0x40
0000145d: MLOAD
0000145e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000147f: DUP2
00001480: MSTORE
00001481: PUSH1 0x20
00001483: PUSH1 0x04
00001485: DUP3
00001486: ADD
00001487: MSTORE
00001488: PUSH1 0x2a
0000148a: PUSH1 0x24
0000148c: DUP3
0000148d: ADD
0000148e: MSTORE
0000148f: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206f7065726174696f6e206973
000014b0: PUSH1 0x44
000014b2: DUP3
000014b3: ADD
000014b4: MSTORE
000014b5: PUSH32 0x206e6f7420726561647900000000000000000000000000000000000000000000
000014d6: PUSH1 0x64
000014d8: DUP3
000014d9: ADD
000014da: MSTORE
000014db: PUSH1 0x84
000014dd: ADD
000014de: PUSH2 0x0b07
000014e1: JUMP
000014e2: JUMPDEST
000014e3: DUP1
000014e4: ISZERO
000014e5: DUP1
000014e6: PUSH2 0x14fe
000014e9: JUMPI
000014ea: POP
000014eb: PUSH1 0x00
000014ed: DUP2
000014ee: DUP2
000014ef: MSTORE
000014f0: PUSH1 0x01
000014f2: PUSH1 0x20
000014f4: DUP2
000014f5: SWAP1
000014f6: MSTORE
000014f7: PUSH1 0x40
000014f9: SWAP1
000014fa: SWAP2
000014fb: KECCAK256
000014fc: SLOAD
000014fd: EQ
000014fe: JUMPDEST
000014ff: PUSH2 0x0b1a
00001502: JUMPI
00001503: PUSH1 0x40
00001505: MLOAD
00001506: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001527: DUP2
00001528: MSTORE
00001529: PUSH1 0x20
0000152b: PUSH1 0x04
0000152d: DUP3
0000152e: ADD
0000152f: MSTORE
00001530: PUSH1 0x26
00001532: PUSH1 0x24
00001534: DUP3
00001535: ADD
00001536: MSTORE
00001537: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206d697373696e672064657065
00001558: PUSH1 0x44
0000155a: DUP3
0000155b: ADD
0000155c: MSTORE
0000155d: PUSH32 0x6e64656e63790000000000000000000000000000000000000000000000000000
0000157e: PUSH1 0x64
00001580: DUP3
00001581: ADD
00001582: MSTORE
00001583: PUSH1 0x84
00001585: ADD
00001586: PUSH2 0x0b07
00001589: JUMP
0000158a: JUMPDEST
0000158b: PUSH1 0x00
0000158d: DUP5
0000158e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a3: AND
000015a4: DUP5
000015a5: DUP5
000015a6: DUP5
000015a7: PUSH1 0x40
000015a9: MLOAD
000015aa: PUSH2 0x15b4
000015ad: SWAP3
000015ae: SWAP2
000015af: SWAP1
000015b0: PUSH2 0x25b9
000015b3: JUMP
000015b4: JUMPDEST
000015b5: PUSH1 0x00
000015b7: PUSH1 0x40
000015b9: MLOAD
000015ba: DUP1
000015bb: DUP4
000015bc: SUB
000015bd: DUP2
000015be: DUP6
000015bf: DUP8
000015c0: GAS
000015c1: CALL
000015c2: SWAP3
000015c3: POP
000015c4: POP
000015c5: POP
000015c6: RETURNDATASIZE
000015c7: DUP1
000015c8: PUSH1 0x00
000015ca: DUP2
000015cb: EQ
000015cc: PUSH2 0x15f1
000015cf: JUMPI
000015d0: PUSH1 0x40
000015d2: MLOAD
000015d3: SWAP2
000015d4: POP
000015d5: PUSH1 0x1f
000015d7: NOT
000015d8: PUSH1 0x3f
000015da: RETURNDATASIZE
000015db: ADD
000015dc: AND
000015dd: DUP3
000015de: ADD
000015df: PUSH1 0x40
000015e1: MSTORE
000015e2: RETURNDATASIZE
000015e3: DUP3
000015e4: MSTORE
000015e5: RETURNDATASIZE
000015e6: PUSH1 0x00
000015e8: PUSH1 0x20
000015ea: DUP5
000015eb: ADD
000015ec: RETURNDATACOPY
000015ed: PUSH2 0x15f6
000015f0: JUMP
000015f1: JUMPDEST
000015f2: PUSH1 0x60
000015f4: SWAP2
000015f5: POP
000015f6: JUMPDEST
000015f7: POP
000015f8: POP
000015f9: SWAP1
000015fa: POP
000015fb: DUP1
000015fc: PUSH2 0x1687
000015ff: JUMPI
00001600: PUSH1 0x40
00001602: MLOAD
00001603: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001624: DUP2
00001625: MSTORE
00001626: PUSH1 0x20
00001628: PUSH1 0x04
0000162a: DUP3
0000162b: ADD
0000162c: MSTORE
0000162d: PUSH1 0x33
0000162f: PUSH1 0x24
00001631: DUP3
00001632: ADD
00001633: MSTORE
00001634: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a20756e6465726c79696e672074
00001655: PUSH1 0x44
00001657: DUP3
00001658: ADD
00001659: MSTORE
0000165a: PUSH32 0x72616e73616374696f6e20726576657274656400000000000000000000000000
0000167b: PUSH1 0x64
0000167d: DUP3
0000167e: ADD
0000167f: MSTORE
00001680: PUSH1 0x84
00001682: ADD
00001683: PUSH2 0x0b07
00001686: JUMP
00001687: JUMPDEST
00001688: DUP6
00001689: DUP8
0000168a: PUSH32 0xc2617efa69bab66782fa219543714338489c4e9e178271560a91b82c3f612b58
000016ab: DUP8
000016ac: DUP8
000016ad: DUP8
000016ae: DUP8
000016af: PUSH1 0x40
000016b1: MLOAD
000016b2: PUSH2 0x16be
000016b5: SWAP5
000016b6: SWAP4
000016b7: SWAP3
000016b8: SWAP2
000016b9: SWAP1
000016ba: PUSH2 0x25c9
000016bd: JUMP
000016be: JUMPDEST
000016bf: PUSH1 0x40
000016c1: MLOAD
000016c2: DUP1
000016c3: SWAP2
000016c4: SUB
000016c5: SWAP1
000016c6: LOG3
000016c7: POP
000016c8: POP
000016c9: POP
000016ca: POP
000016cb: POP
000016cc: POP
000016cd: POP
000016ce: JUMP
000016cf: JUMPDEST
000016d0: PUSH2 0x16d8
000016d3: DUP2
000016d4: PUSH2 0x08fd
000016d7: JUMP
000016d8: JUMPDEST
000016d9: PUSH2 0x1764
000016dc: JUMPI
000016dd: PUSH1 0x40
000016df: MLOAD
000016e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001701: DUP2
00001702: MSTORE
00001703: PUSH1 0x20
00001705: PUSH1 0x04
00001707: DUP3
00001708: ADD
00001709: MSTORE
0000170a: PUSH1 0x2a
0000170c: PUSH1 0x24
0000170e: DUP3
0000170f: ADD
00001710: MSTORE
00001711: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206f7065726174696f6e206973
00001732: PUSH1 0x44
00001734: DUP3
00001735: ADD
00001736: MSTORE
00001737: PUSH32 0x206e6f7420726561647900000000000000000000000000000000000000000000
00001758: PUSH1 0x64
0000175a: DUP3
0000175b: ADD
0000175c: MSTORE
0000175d: PUSH1 0x84
0000175f: ADD
00001760: PUSH2 0x0b07
00001763: JUMP
00001764: JUMPDEST
00001765: PUSH1 0x00
00001767: SWAP1
00001768: DUP2
00001769: MSTORE
0000176a: PUSH1 0x01
0000176c: PUSH1 0x20
0000176e: DUP2
0000176f: SWAP1
00001770: MSTORE
00001771: PUSH1 0x40
00001773: SWAP1
00001774: SWAP2
00001775: KECCAK256
00001776: SSTORE
00001777: JUMP
00001778: JUMPDEST
00001779: PUSH1 0x00
0000177b: DUP3
0000177c: DUP2
0000177d: MSTORE
0000177e: PUSH1 0x20
00001780: DUP2
00001781: SWAP1
00001782: MSTORE
00001783: PUSH1 0x40
00001785: DUP1
00001786: DUP3
00001787: KECCAK256
00001788: PUSH1 0x01
0000178a: ADD
0000178b: DUP1
0000178c: SLOAD
0000178d: SWAP1
0000178e: DUP5
0000178f: SWAP1
00001790: SSTORE
00001791: SWAP1
00001792: MLOAD
00001793: SWAP1
00001794: SWAP2
00001795: DUP4
00001796: SWAP2
00001797: DUP4
00001798: SWAP2
00001799: DUP7
0000179a: SWAP2
0000179b: PUSH32 0xbd79b86ffe0ab8e8776151514217cd7cacd52c909f66475c3af44e129f0b00ff
000017bc: SWAP2
000017bd: SWAP1
000017be: LOG4
000017bf: POP
000017c0: POP
000017c1: POP
000017c2: JUMP
000017c3: JUMPDEST
000017c4: PUSH1 0x00
000017c6: DUP3
000017c7: DUP2
000017c8: MSTORE
000017c9: PUSH1 0x20
000017cb: DUP2
000017cc: DUP2
000017cd: MSTORE
000017ce: PUSH1 0x40
000017d0: DUP1
000017d1: DUP4
000017d2: KECCAK256
000017d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017e8: DUP6
000017e9: AND
000017ea: DUP5
000017eb: MSTORE
000017ec: SWAP1
000017ed: SWAP2
000017ee: MSTORE
000017ef: SWAP1
000017f0: KECCAK256
000017f1: SLOAD
000017f2: PUSH1 0xff
000017f4: AND
000017f5: PUSH2 0x0b1a
000017f8: JUMPI
000017f9: PUSH1 0x00
000017fb: DUP3
000017fc: DUP2
000017fd: MSTORE
000017fe: PUSH1 0x20
00001800: DUP2
00001801: DUP2
00001802: MSTORE
00001803: PUSH1 0x40
00001805: DUP1
00001806: DUP4
00001807: KECCAK256
00001808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181d: DUP6
0000181e: AND
0000181f: DUP5
00001820: MSTORE
00001821: SWAP1
00001822: SWAP2
00001823: MSTORE
00001824: SWAP1
00001825: KECCAK256
00001826: DUP1
00001827: SLOAD
00001828: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001849: AND
0000184a: PUSH1 0x01
0000184c: OR
0000184d: SWAP1
0000184e: SSTORE
0000184f: PUSH2 0x1855
00001852: CALLER
00001853: SWAP1
00001854: JUMP
00001855: JUMPDEST
00001856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186b: AND
0000186c: DUP2
0000186d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001882: AND
00001883: DUP4
00001884: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
000018a5: PUSH1 0x40
000018a7: MLOAD
000018a8: PUSH1 0x40
000018aa: MLOAD
000018ab: DUP1
000018ac: SWAP2
000018ad: SUB
000018ae: SWAP1
000018af: LOG4
000018b0: POP
000018b1: POP
000018b2: JUMP
000018b3: JUMPDEST
000018b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c9: DUP2
000018ca: AND
000018cb: CALLER
000018cc: EQ
000018cd: PUSH2 0x1958
000018d0: JUMPI
000018d1: PUSH1 0x40
000018d3: MLOAD
000018d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018f5: DUP2
000018f6: MSTORE
000018f7: PUSH1 0x20
000018f9: PUSH1 0x04
000018fb: DUP3
000018fc: ADD
000018fd: MSTORE
000018fe: PUSH1 0x2f
00001900: PUSH1 0x24
00001902: DUP3
00001903: ADD
00001904: MSTORE
00001905: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365
00001926: PUSH1 0x44
00001928: DUP3
00001929: ADD
0000192a: MSTORE
0000192b: PUSH32 0x20726f6c657320666f722073656c660000000000000000000000000000000000
0000194c: PUSH1 0x64
0000194e: DUP3
0000194f: ADD
00001950: MSTORE
00001951: PUSH1 0x84
00001953: ADD
00001954: PUSH2 0x0b07
00001957: JUMP
00001958: JUMPDEST
00001959: PUSH2 0x0b1a
0000195c: DUP3
0000195d: DUP3
0000195e: JUMPDEST
0000195f: PUSH1 0x00
00001961: DUP3
00001962: DUP2
00001963: MSTORE
00001964: PUSH1 0x20
00001966: DUP2
00001967: DUP2
00001968: MSTORE
00001969: PUSH1 0x40
0000196b: DUP1
0000196c: DUP4
0000196d: KECCAK256
0000196e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001983: DUP6
00001984: AND
00001985: DUP5
00001986: MSTORE
00001987: SWAP1
00001988: SWAP2
00001989: MSTORE
0000198a: SWAP1
0000198b: KECCAK256
0000198c: SLOAD
0000198d: PUSH1 0xff
0000198f: AND
00001990: ISZERO
00001991: PUSH2 0x0b1a
00001994: JUMPI
00001995: PUSH1 0x00
00001997: DUP3
00001998: DUP2
00001999: MSTORE
0000199a: PUSH1 0x20
0000199c: DUP2
0000199d: DUP2
0000199e: MSTORE
0000199f: PUSH1 0x40
000019a1: DUP1
000019a2: DUP4
000019a3: KECCAK256
000019a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b9: DUP6
000019ba: AND
000019bb: DUP1
000019bc: DUP6
000019bd: MSTORE
000019be: SWAP3
000019bf: MSTORE
000019c0: DUP1
000019c1: DUP4
000019c2: KECCAK256
000019c3: DUP1
000019c4: SLOAD
000019c5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000019e6: AND
000019e7: SWAP1
000019e8: SSTORE
000019e9: MLOAD
000019ea: CALLER
000019eb: SWAP3
000019ec: DUP6
000019ed: SWAP2
000019ee: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00001a0f: SWAP2
00001a10: SWAP1
00001a11: LOG4
00001a12: POP
00001a13: POP
00001a14: JUMP
00001a15: JUMPDEST
00001a16: PUSH1 0x60
00001a18: PUSH1 0x00
00001a1a: PUSH2 0x1a24
00001a1d: DUP4
00001a1e: PUSH1 0x02
00001a20: PUSH2 0x2609
00001a23: JUMP
00001a24: JUMPDEST
00001a25: PUSH2 0x1a2f
00001a28: SWAP1
00001a29: PUSH1 0x02
00001a2b: PUSH2 0x25a1
00001a2e: JUMP
00001a2f: JUMPDEST
00001a30: PUSH8 0xffffffffffffffff
00001a39: DUP2
00001a3a: GT
00001a3b: ISZERO
00001a3c: PUSH2 0x1a47
00001a3f: JUMPI
00001a40: PUSH2 0x1a47
00001a43: PUSH2 0x2646
00001a46: JUMP
00001a47: JUMPDEST
00001a48: PUSH1 0x40
00001a4a: MLOAD
00001a4b: SWAP1
00001a4c: DUP1
00001a4d: DUP3
00001a4e: MSTORE
00001a4f: DUP1
00001a50: PUSH1 0x1f
00001a52: ADD
00001a53: PUSH1 0x1f
00001a55: NOT
00001a56: AND
00001a57: PUSH1 0x20
00001a59: ADD
00001a5a: DUP3
00001a5b: ADD
00001a5c: PUSH1 0x40
00001a5e: MSTORE
00001a5f: DUP1
00001a60: ISZERO
00001a61: PUSH2 0x1a71
00001a64: JUMPI
00001a65: PUSH1 0x20
00001a67: DUP3
00001a68: ADD
00001a69: DUP2
00001a6a: DUP1
00001a6b: CALLDATASIZE
00001a6c: DUP4
00001a6d: CALLDATACOPY
00001a6e: ADD
00001a6f: SWAP1
00001a70: POP
00001a71: JUMPDEST
00001a72: POP
00001a73: SWAP1
00001a74: POP
00001a75: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00001a96: DUP2
00001a97: PUSH1 0x00
00001a99: DUP2
00001a9a: MLOAD
00001a9b: DUP2
00001a9c: LT
00001a9d: PUSH2 0x1aa8
00001aa0: JUMPI
00001aa1: PUSH2 0x1aa8
00001aa4: PUSH2 0x2208
00001aa7: JUMP
00001aa8: JUMPDEST
00001aa9: PUSH1 0x20
00001aab: ADD
00001aac: ADD
00001aad: SWAP1
00001aae: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001ace: NOT
00001acf: AND
00001ad0: SWAP1
00001ad1: DUP2
00001ad2: PUSH1 0x00
00001ad4: BYTE
00001ad5: SWAP1
00001ad6: MSTORE8
00001ad7: POP
00001ad8: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000
00001af9: DUP2
00001afa: PUSH1 0x01
00001afc: DUP2
00001afd: MLOAD
00001afe: DUP2
00001aff: LT
00001b00: PUSH2 0x1b0b
00001b03: JUMPI
00001b04: PUSH2 0x1b0b
00001b07: PUSH2 0x2208
00001b0a: JUMP
00001b0b: JUMPDEST
00001b0c: PUSH1 0x20
00001b0e: ADD
00001b0f: ADD
00001b10: SWAP1
00001b11: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b31: NOT
00001b32: AND
00001b33: SWAP1
00001b34: DUP2
00001b35: PUSH1 0x00
00001b37: BYTE
00001b38: SWAP1
00001b39: MSTORE8
00001b3a: POP
00001b3b: PUSH1 0x00
00001b3d: PUSH2 0x1b47
00001b40: DUP5
00001b41: PUSH1 0x02
00001b43: PUSH2 0x2609
00001b46: JUMP
00001b47: JUMPDEST
00001b48: PUSH2 0x1b52
00001b4b: SWAP1
00001b4c: PUSH1 0x01
00001b4e: PUSH2 0x25a1
00001b51: JUMP
00001b52: JUMPDEST
00001b53: SWAP1
00001b54: POP
00001b55: JUMPDEST
00001b56: PUSH1 0x01
00001b58: DUP2
00001b59: GT
00001b5a: ISZERO
00001b5b: PUSH2 0x1bef
00001b5e: JUMPI
00001b5f: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000
00001b80: DUP6
00001b81: PUSH1 0x0f
00001b83: AND
00001b84: PUSH1 0x10
00001b86: DUP2
00001b87: LT
00001b88: PUSH2 0x1b93
00001b8b: JUMPI
00001b8c: PUSH2 0x1b93
00001b8f: PUSH2 0x2208
00001b92: JUMP
00001b93: JUMPDEST
00001b94: BYTE
00001b95: PUSH1 0xf8
00001b97: SHL
00001b98: DUP3
00001b99: DUP3
00001b9a: DUP2
00001b9b: MLOAD
00001b9c: DUP2
00001b9d: LT
00001b9e: PUSH2 0x1ba9
00001ba1: JUMPI
00001ba2: PUSH2 0x1ba9
00001ba5: PUSH2 0x2208
00001ba8: JUMP
00001ba9: JUMPDEST
00001baa: PUSH1 0x20
00001bac: ADD
00001bad: ADD
00001bae: SWAP1
00001baf: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001bcf: NOT
00001bd0: AND
00001bd1: SWAP1
00001bd2: DUP2
00001bd3: PUSH1 0x00
00001bd5: BYTE
00001bd6: SWAP1
00001bd7: MSTORE8
00001bd8: POP
00001bd9: PUSH1 0x04
00001bdb: SWAP5
00001bdc: SWAP1
00001bdd: SWAP5
00001bde: SHR
00001bdf: SWAP4
00001be0: PUSH2 0x1be8
00001be3: DUP2
00001be4: PUSH2 0x2675
00001be7: JUMP
00001be8: JUMPDEST
00001be9: SWAP1
00001bea: POP
00001beb: PUSH2 0x1b55
00001bee: JUMP
00001bef: JUMPDEST
00001bf0: POP
00001bf1: DUP4
00001bf2: ISZERO
00001bf3: PUSH2 0x091c
00001bf6: JUMPI
00001bf7: PUSH1 0x40
00001bf9: MLOAD
00001bfa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c1b: DUP2
00001c1c: MSTORE
00001c1d: PUSH1 0x20
00001c1f: PUSH1 0x04
00001c21: DUP3
00001c22: ADD
00001c23: DUP2
00001c24: SWAP1
00001c25: MSTORE
00001c26: PUSH1 0x24
00001c28: DUP3
00001c29: ADD
00001c2a: MSTORE
00001c2b: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74
00001c4c: PUSH1 0x44
00001c4e: DUP3
00001c4f: ADD
00001c50: MSTORE
00001c51: PUSH1 0x64
00001c53: ADD
00001c54: PUSH2 0x0b07
00001c57: JUMP
00001c58: JUMPDEST
00001c59: DUP1
00001c5a: CALLDATALOAD
00001c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c70: DUP2
00001c71: AND
00001c72: DUP2
00001c73: EQ
00001c74: PUSH2 0x1c7c
00001c77: JUMPI
00001c78: PUSH1 0x00
00001c7a: DUP1
00001c7b: REVERT
00001c7c: JUMPDEST
00001c7d: SWAP2
00001c7e: SWAP1
00001c7f: POP
00001c80: JUMP
00001c81: JUMPDEST
00001c82: PUSH1 0x00
00001c84: DUP1
00001c85: DUP4
00001c86: PUSH1 0x1f
00001c88: DUP5
00001c89: ADD
00001c8a: SLT
00001c8b: PUSH2 0x1c93
00001c8e: JUMPI
00001c8f: PUSH1 0x00
00001c91: DUP1
00001c92: REVERT
00001c93: JUMPDEST
00001c94: POP
00001c95: DUP2
00001c96: CALLDATALOAD
00001c97: PUSH8 0xffffffffffffffff
00001ca0: DUP2
00001ca1: GT
00001ca2: ISZERO
00001ca3: PUSH2 0x1cab
00001ca6: JUMPI
00001ca7: PUSH1 0x00
00001ca9: DUP1
00001caa: REVERT
00001cab: JUMPDEST
00001cac: PUSH1 0x20
00001cae: DUP4
00001caf: ADD
00001cb0: SWAP2
00001cb1: POP
00001cb2: DUP4
00001cb3: PUSH1 0x20
00001cb5: DUP3
00001cb6: DUP6
00001cb7: ADD
00001cb8: ADD
00001cb9: GT
00001cba: ISZERO
00001cbb: PUSH2 0x1cc3
00001cbe: JUMPI
00001cbf: PUSH1 0x00
00001cc1: DUP1
00001cc2: REVERT
00001cc3: JUMPDEST
00001cc4: SWAP3
00001cc5: POP
00001cc6: SWAP3
00001cc7: SWAP1
00001cc8: POP
00001cc9: JUMP
00001cca: JUMPDEST
00001ccb: PUSH1 0x00
00001ccd: DUP1
00001cce: PUSH1 0x00
00001cd0: DUP1
00001cd1: PUSH1 0x00
00001cd3: DUP1
00001cd4: PUSH1 0x00
00001cd6: PUSH1 0xc0
00001cd8: DUP9
00001cd9: DUP11
00001cda: SUB
00001cdb: SLT
00001cdc: ISZERO
00001cdd: PUSH2 0x1ce5
00001ce0: JUMPI
00001ce1: PUSH1 0x00
00001ce3: DUP1
00001ce4: REVERT
00001ce5: JUMPDEST
00001ce6: PUSH2 0x1cee
00001ce9: DUP9
00001cea: PUSH2 0x1c58
00001ced: JUMP
00001cee: JUMPDEST
00001cef: SWAP7
00001cf0: POP
00001cf1: PUSH1 0x20
00001cf3: DUP9
00001cf4: ADD
00001cf5: CALLDATALOAD
00001cf6: SWAP6
00001cf7: POP
00001cf8: PUSH1 0x40
00001cfa: DUP9
00001cfb: ADD
00001cfc: CALLDATALOAD
00001cfd: PUSH8 0xffffffffffffffff
00001d06: DUP2
00001d07: GT
00001d08: ISZERO
00001d09: PUSH2 0x1d11
00001d0c: JUMPI
00001d0d: PUSH1 0x00
00001d0f: DUP1
00001d10: REVERT
00001d11: JUMPDEST
00001d12: PUSH2 0x1d1d
00001d15: DUP11
00001d16: DUP3
00001d17: DUP12
00001d18: ADD
00001d19: PUSH2 0x1c81
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: SWAP9
00001d1f: SWAP12
00001d20: SWAP8
00001d21: SWAP11
00001d22: POP
00001d23: SWAP9
00001d24: PUSH1 0x60
00001d26: DUP2
00001d27: ADD
00001d28: CALLDATALOAD
00001d29: SWAP8
00001d2a: PUSH1 0x80
00001d2c: DUP3
00001d2d: ADD
00001d2e: CALLDATALOAD
00001d2f: SWAP8
00001d30: POP
00001d31: PUSH1 0xa0
00001d33: SWAP1
00001d34: SWAP2
00001d35: ADD
00001d36: CALLDATALOAD
00001d37: SWAP6
00001d38: POP
00001d39: SWAP4
00001d3a: POP
00001d3b: POP
00001d3c: POP
00001d3d: POP
00001d3e: JUMP
00001d3f: JUMPDEST
00001d40: PUSH1 0x00
00001d42: PUSH1 0x20
00001d44: DUP3
00001d45: DUP5
00001d46: SUB
00001d47: SLT
00001d48: ISZERO
00001d49: PUSH2 0x1d51
00001d4c: JUMPI
00001d4d: PUSH1 0x00
00001d4f: DUP1
00001d50: REVERT
00001d51: JUMPDEST
00001d52: DUP2
00001d53: CALLDATALOAD
00001d54: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001d75: DUP2
00001d76: AND
00001d77: DUP2
00001d78: EQ
00001d79: PUSH2 0x091c
00001d7c: JUMPI
00001d7d: PUSH1 0x00
00001d7f: DUP1
00001d80: REVERT
00001d81: JUMPDEST
00001d82: PUSH1 0x00
00001d84: DUP1
00001d85: PUSH1 0x00
00001d87: DUP1
00001d88: PUSH1 0x00
00001d8a: DUP1
00001d8b: PUSH1 0xa0
00001d8d: DUP8
00001d8e: DUP10
00001d8f: SUB
00001d90: SLT
00001d91: ISZERO
00001d92: PUSH2 0x1d9a
00001d95: JUMPI
00001d96: PUSH1 0x00
00001d98: DUP1
00001d99: REVERT
00001d9a: JUMPDEST
00001d9b: PUSH2 0x1da3
00001d9e: DUP8
00001d9f: PUSH2 0x1c58
00001da2: JUMP
00001da3: JUMPDEST
00001da4: SWAP6
00001da5: POP
00001da6: PUSH1 0x20
00001da8: DUP8
00001da9: ADD
00001daa: CALLDATALOAD
00001dab: SWAP5
00001dac: POP
00001dad: PUSH1 0x40
00001daf: DUP8
00001db0: ADD
00001db1: CALLDATALOAD
00001db2: PUSH8 0xffffffffffffffff
00001dbb: DUP2
00001dbc: GT
00001dbd: ISZERO
00001dbe: PUSH2 0x1dc6
00001dc1: JUMPI
00001dc2: PUSH1 0x00
00001dc4: DUP1
00001dc5: REVERT
00001dc6: JUMPDEST
00001dc7: PUSH2 0x1dd2
00001dca: DUP10
00001dcb: DUP3
00001dcc: DUP11
00001dcd: ADD
00001dce: PUSH2 0x1c81
00001dd1: JUMP
00001dd2: JUMPDEST
00001dd3: SWAP8
00001dd4: SWAP11
00001dd5: SWAP7
00001dd6: SWAP10
00001dd7: POP
00001dd8: SWAP8
00001dd9: PUSH1 0x60
00001ddb: DUP2
00001ddc: ADD
00001ddd: CALLDATALOAD
00001dde: SWAP7
00001ddf: PUSH1 0x80
00001de1: SWAP1
00001de2: SWAP2
00001de3: ADD
00001de4: CALLDATALOAD
00001de5: SWAP6
00001de6: POP
00001de7: SWAP4
00001de8: POP
00001de9: POP
00001dea: POP
00001deb: POP
00001dec: JUMP
00001ded: JUMPDEST
00001dee: PUSH1 0x00
00001df0: PUSH1 0x20
00001df2: DUP3
00001df3: DUP5
00001df4: SUB
00001df5: SLT
00001df6: ISZERO
00001df7: PUSH2 0x1dff
00001dfa: JUMPI
00001dfb: PUSH1 0x00
00001dfd: DUP1
00001dfe: REVERT
00001dff: JUMPDEST
00001e00: POP
00001e01: CALLDATALOAD
00001e02: SWAP2
00001e03: SWAP1
00001e04: POP
00001e05: JUMP
00001e06: JUMPDEST
00001e07: PUSH1 0x00
00001e09: DUP1
00001e0a: PUSH1 0x00
00001e0c: DUP1
00001e0d: PUSH1 0x00
00001e0f: PUSH1 0x80
00001e11: DUP7
00001e12: DUP9
00001e13: SUB
00001e14: SLT
00001e15: ISZERO
00001e16: PUSH2 0x1e1e
00001e19: JUMPI
00001e1a: PUSH1 0x00
00001e1c: DUP1
00001e1d: REVERT
00001e1e: JUMPDEST
00001e1f: PUSH2 0x1e27
00001e22: DUP7
00001e23: PUSH2 0x1c58
00001e26: JUMP
00001e27: JUMPDEST
00001e28: SWAP5
00001e29: POP
00001e2a: PUSH2 0x1e35
00001e2d: PUSH1 0x20
00001e2f: DUP8
00001e30: ADD
00001e31: PUSH2 0x1c58
00001e34: JUMP
00001e35: JUMPDEST
00001e36: SWAP4
00001e37: POP
00001e38: PUSH1 0x40
00001e3a: DUP7
00001e3b: ADD
00001e3c: CALLDATALOAD
00001e3d: SWAP3
00001e3e: POP
00001e3f: PUSH1 0x60
00001e41: DUP7
00001e42: ADD
00001e43: CALLDATALOAD
00001e44: PUSH8 0xffffffffffffffff
00001e4d: DUP2
00001e4e: GT
00001e4f: ISZERO
00001e50: PUSH2 0x1e58
00001e53: JUMPI
00001e54: PUSH1 0x00
00001e56: DUP1
00001e57: REVERT
00001e58: JUMPDEST
00001e59: PUSH2 0x1e64
00001e5c: DUP9
00001e5d: DUP3
00001e5e: DUP10
00001e5f: ADD
00001e60: PUSH2 0x1c81
00001e63: JUMP
00001e64: JUMPDEST
00001e65: SWAP7
00001e66: SWAP10
00001e67: SWAP6
00001e68: SWAP9
00001e69: POP
00001e6a: SWAP4
00001e6b: SWAP7
00001e6c: POP
00001e6d: SWAP3
00001e6e: SWAP5
00001e6f: SWAP4
00001e70: SWAP3
00001e71: POP
00001e72: POP
00001e73: POP
00001e74: JUMP
00001e75: JUMPDEST
00001e76: PUSH1 0x00
00001e78: DUP1
00001e79: PUSH1 0x40
00001e7b: DUP4
00001e7c: DUP6
00001e7d: SUB
00001e7e: SLT
00001e7f: ISZERO
00001e80: PUSH2 0x1e88
00001e83: JUMPI
00001e84: PUSH1 0x00
00001e86: DUP1
00001e87: REVERT
00001e88: JUMPDEST
00001e89: DUP3
00001e8a: CALLDATALOAD
00001e8b: SWAP2
00001e8c: POP
00001e8d: PUSH2 0x1e98
00001e90: PUSH1 0x20
00001e92: DUP5
00001e93: ADD
00001e94: PUSH2 0x1c58
00001e97: JUMP
00001e98: JUMPDEST
00001e99: SWAP1
00001e9a: POP
00001e9b: SWAP3
00001e9c: POP
00001e9d: SWAP3
00001e9e: SWAP1
00001e9f: POP
00001ea0: JUMP
00001ea1: JUMPDEST
00001ea2: PUSH1 0x00
00001ea4: DUP1
00001ea5: DUP4
00001ea6: PUSH1 0x1f
00001ea8: DUP5
00001ea9: ADD
00001eaa: SLT
00001eab: PUSH2 0x1eb3
00001eae: JUMPI
00001eaf: PUSH1 0x00
00001eb1: DUP1
00001eb2: REVERT
00001eb3: JUMPDEST
00001eb4: POP
00001eb5: DUP2
00001eb6: CALLDATALOAD
00001eb7: PUSH8 0xffffffffffffffff
00001ec0: DUP2
00001ec1: GT
00001ec2: ISZERO
00001ec3: PUSH2 0x1ecb
00001ec6: JUMPI
00001ec7: PUSH1 0x00
00001ec9: DUP1
00001eca: REVERT
00001ecb: JUMPDEST
00001ecc: PUSH1 0x20
00001ece: DUP4
00001ecf: ADD
00001ed0: SWAP2
00001ed1: POP
00001ed2: DUP4
00001ed3: PUSH1 0x20
00001ed5: DUP3
00001ed6: PUSH1 0x05
00001ed8: SHL
00001ed9: DUP6
00001eda: ADD
00001edb: ADD
00001edc: GT
00001edd: ISZERO
00001ede: PUSH2 0x1cc3
00001ee1: JUMPI
00001ee2: PUSH1 0x00
00001ee4: DUP1
00001ee5: REVERT
00001ee6: JUMPDEST
00001ee7: PUSH1 0x00
00001ee9: DUP1
00001eea: PUSH1 0x00
00001eec: DUP1
00001eed: PUSH1 0x00
00001eef: DUP1
00001ef0: PUSH1 0x00
00001ef2: DUP1
00001ef3: PUSH1 0x00
00001ef5: PUSH1 0xc0
00001ef7: DUP11
00001ef8: DUP13
00001ef9: SUB
00001efa: SLT
00001efb: ISZERO
00001efc: PUSH2 0x1f04
00001eff: JUMPI
00001f00: PUSH1 0x00
00001f02: DUP1
00001f03: REVERT
00001f04: JUMPDEST
00001f05: DUP10
00001f06: CALLDATALOAD
00001f07: PUSH8 0xffffffffffffffff
00001f10: DUP1
00001f11: DUP3
00001f12: GT
00001f13: ISZERO
00001f14: PUSH2 0x1f1c
00001f17: JUMPI
00001f18: PUSH1 0x00
00001f1a: DUP1
00001f1b: REVERT
00001f1c: JUMPDEST
00001f1d: PUSH2 0x1f28
00001f20: DUP14
00001f21: DUP4
00001f22: DUP15
00001f23: ADD
00001f24: PUSH2 0x1ea1
00001f27: JUMP
00001f28: JUMPDEST
00001f29: SWAP1
00001f2a: SWAP12
00001f2b: POP
00001f2c: SWAP10
00001f2d: POP
00001f2e: PUSH1 0x20
00001f30: DUP13
00001f31: ADD
00001f32: CALLDATALOAD
00001f33: SWAP2
00001f34: POP
00001f35: DUP1
00001f36: DUP3
00001f37: GT
00001f38: ISZERO
00001f39: PUSH2 0x1f41
00001f3c: JUMPI
00001f3d: PUSH1 0x00
00001f3f: DUP1
00001f40: REVERT
00001f41: JUMPDEST
00001f42: PUSH2 0x1f4d
00001f45: DUP14
00001f46: DUP4
00001f47: DUP15
00001f48: ADD
00001f49: PUSH2 0x1ea1
00001f4c: JUMP
00001f4d: JUMPDEST
00001f4e: SWAP1
00001f4f: SWAP10
00001f50: POP
00001f51: SWAP8
00001f52: POP
00001f53: PUSH1 0x40
00001f55: DUP13
00001f56: ADD
00001f57: CALLDATALOAD
00001f58: SWAP2
00001f59: POP
00001f5a: DUP1
00001f5b: DUP3
00001f5c: GT
00001f5d: ISZERO
00001f5e: PUSH2 0x1f66
00001f61: JUMPI
00001f62: PUSH1 0x00
00001f64: DUP1
00001f65: REVERT
00001f66: JUMPDEST
00001f67: POP
00001f68: PUSH2 0x1f73
00001f6b: DUP13
00001f6c: DUP3
00001f6d: DUP14
00001f6e: ADD
00001f6f: PUSH2 0x1ea1
00001f72: JUMP
00001f73: JUMPDEST
00001f74: SWAP11
00001f75: SWAP14
00001f76: SWAP10
00001f77: SWAP13
00001f78: POP
00001f79: SWAP8
00001f7a: SWAP11
00001f7b: SWAP7
00001f7c: SWAP10
00001f7d: SWAP8
00001f7e: SWAP9
00001f7f: PUSH1 0x60
00001f81: DUP9
00001f82: ADD
00001f83: CALLDATALOAD
00001f84: SWAP8
00001f85: PUSH1 0x80
00001f87: DUP2
00001f88: ADD
00001f89: CALLDATALOAD
00001f8a: SWAP8
00001f8b: POP
00001f8c: PUSH1 0xa0
00001f8e: ADD
00001f8f: CALLDATALOAD
00001f90: SWAP6
00001f91: POP
00001f92: SWAP4
00001f93: POP
00001f94: POP
00001f95: POP
00001f96: POP
00001f97: JUMP
00001f98: JUMPDEST
00001f99: PUSH1 0x00
00001f9b: DUP1
00001f9c: PUSH1 0x00
00001f9e: DUP1
00001f9f: PUSH1 0x00
00001fa1: DUP1
00001fa2: PUSH1 0x00
00001fa4: DUP1
00001fa5: PUSH1 0xa0
00001fa7: DUP10
00001fa8: DUP12
00001fa9: SUB
00001faa: SLT
00001fab: ISZERO
00001fac: PUSH2 0x1fb4
00001faf: JUMPI
00001fb0: PUSH1 0x00
00001fb2: DUP1
00001fb3: REVERT
00001fb4: JUMPDEST
00001fb5: DUP9
00001fb6: CALLDATALOAD
00001fb7: PUSH8 0xffffffffffffffff
00001fc0: DUP1
00001fc1: DUP3
00001fc2: GT
00001fc3: ISZERO
00001fc4: PUSH2 0x1fcc
00001fc7: JUMPI
00001fc8: PUSH1 0x00
00001fca: DUP1
00001fcb: REVERT
00001fcc: JUMPDEST
00001fcd: PUSH2 0x1fd8
00001fd0: DUP13
00001fd1: DUP4
00001fd2: DUP14
00001fd3: ADD
00001fd4: PUSH2 0x1ea1
00001fd7: JUMP
00001fd8: JUMPDEST
00001fd9: SWAP1
00001fda: SWAP11
00001fdb: POP
00001fdc: SWAP9
00001fdd: POP
00001fde: PUSH1 0x20
00001fe0: DUP12
00001fe1: ADD
00001fe2: CALLDATALOAD
00001fe3: SWAP2
00001fe4: POP
00001fe5: DUP1
00001fe6: DUP3
00001fe7: GT
00001fe8: ISZERO
00001fe9: PUSH2 0x1ff1
00001fec: JUMPI
00001fed: PUSH1 0x00
00001fef: DUP1
00001ff0: REVERT
00001ff1: JUMPDEST
00001ff2: PUSH2 0x1ffd
00001ff5: DUP13
00001ff6: DUP4
00001ff7: DUP14
00001ff8: ADD
00001ff9: PUSH2 0x1ea1
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: SWAP1
00001fff: SWAP9
00002000: POP
00002001: SWAP7
00002002: POP
00002003: PUSH1 0x40
00002005: DUP12
00002006: ADD
00002007: CALLDATALOAD
00002008: SWAP2
00002009: POP
0000200a: DUP1
0000200b: DUP3
0000200c: GT
0000200d: ISZERO
0000200e: PUSH2 0x2016
00002011: JUMPI
00002012: PUSH1 0x00
00002014: DUP1
00002015: REVERT
00002016: JUMPDEST
00002017: POP
00002018: PUSH2 0x2023
0000201b: DUP12
0000201c: DUP3
0000201d: DUP13
0000201e: ADD
0000201f: PUSH2 0x1ea1
00002022: JUMP
00002023: JUMPDEST
00002024: SWAP10
00002025: SWAP13
00002026: SWAP9
00002027: SWAP12
00002028: POP
00002029: SWAP7
0000202a: SWAP10
0000202b: SWAP6
0000202c: SWAP9
0000202d: SWAP7
0000202e: SWAP8
0000202f: PUSH1 0x60
00002031: DUP8
00002032: ADD
00002033: CALLDATALOAD
00002034: SWAP7
00002035: PUSH1 0x80
00002037: ADD
00002038: CALLDATALOAD
00002039: SWAP6
0000203a: POP
0000203b: SWAP4
0000203c: POP
0000203d: POP
0000203e: POP
0000203f: POP
00002040: JUMP
00002041: JUMPDEST
00002042: PUSH1 0x00
00002044: DUP1
00002045: PUSH1 0x00
00002047: DUP1
00002048: PUSH1 0x00
0000204a: DUP1
0000204b: PUSH1 0x00
0000204d: DUP1
0000204e: PUSH1 0xa0
00002050: DUP10
00002051: DUP12
00002052: SUB
00002053: SLT
00002054: ISZERO
00002055: PUSH2 0x205d
00002058: JUMPI
00002059: PUSH1 0x00
0000205b: DUP1
0000205c: REVERT
0000205d: JUMPDEST
0000205e: PUSH2 0x2066
00002061: DUP10
00002062: PUSH2 0x1c58
00002065: JUMP
00002066: JUMPDEST
00002067: SWAP8
00002068: POP
00002069: PUSH2 0x2074
0000206c: PUSH1 0x20
0000206e: DUP11
0000206f: ADD
00002070: PUSH2 0x1c58
00002073: JUMP
00002074: JUMPDEST
00002075: SWAP7
00002076: POP
00002077: PUSH1 0x40
00002079: DUP10
0000207a: ADD
0000207b: CALLDATALOAD
0000207c: PUSH8 0xffffffffffffffff
00002085: DUP1
00002086: DUP3
00002087: GT
00002088: ISZERO
00002089: PUSH2 0x2091
0000208c: JUMPI
0000208d: PUSH1 0x00
0000208f: DUP1
00002090: REVERT
00002091: JUMPDEST
00002092: PUSH2 0x209d
00002095: DUP13
00002096: DUP4
00002097: DUP14
00002098: ADD
00002099: PUSH2 0x1ea1
0000209c: JUMP
0000209d: JUMPDEST
0000209e: SWAP1
0000209f: SWAP9
000020a0: POP
000020a1: SWAP7
000020a2: POP
000020a3: PUSH1 0x60
000020a5: DUP12
000020a6: ADD
000020a7: CALLDATALOAD
000020a8: SWAP2
000020a9: POP
000020aa: DUP1
000020ab: DUP3
000020ac: GT
000020ad: ISZERO
000020ae: PUSH2 0x20b6
000020b1: JUMPI
000020b2: PUSH1 0x00
000020b4: DUP1
000020b5: REVERT
000020b6: JUMPDEST
000020b7: PUSH2 0x20c2
000020ba: DUP13
000020bb: DUP4
000020bc: DUP14
000020bd: ADD
000020be: PUSH2 0x1ea1
000020c1: JUMP
000020c2: JUMPDEST
000020c3: SWAP1
000020c4: SWAP7
000020c5: POP
000020c6: SWAP5
000020c7: POP
000020c8: PUSH1 0x80
000020ca: DUP12
000020cb: ADD
000020cc: CALLDATALOAD
000020cd: SWAP2
000020ce: POP
000020cf: DUP1
000020d0: DUP3
000020d1: GT
000020d2: ISZERO
000020d3: PUSH2 0x20db
000020d6: JUMPI
000020d7: PUSH1 0x00
000020d9: DUP1
000020da: REVERT
000020db: JUMPDEST
000020dc: POP
000020dd: PUSH2 0x20e8
000020e0: DUP12
000020e1: DUP3
000020e2: DUP13
000020e3: ADD
000020e4: PUSH2 0x1c81
000020e7: JUMP
000020e8: JUMPDEST
000020e9: SWAP10
000020ea: SWAP13
000020eb: SWAP9
000020ec: SWAP12
000020ed: POP
000020ee: SWAP7
000020ef: SWAP10
000020f0: POP
000020f1: SWAP5
000020f2: SWAP8
000020f3: SWAP4
000020f4: SWAP7
000020f5: SWAP3
000020f6: SWAP6
000020f7: SWAP5
000020f8: POP
000020f9: POP
000020fa: POP
000020fb: JUMP
000020fc: JUMPDEST
000020fd: PUSH1 0x00
000020ff: DUP1
00002100: PUSH1 0x00
00002102: DUP1
00002103: PUSH1 0x00
00002105: DUP1
00002106: PUSH1 0xa0
00002108: DUP8
00002109: DUP10
0000210a: SUB
0000210b: SLT
0000210c: ISZERO
0000210d: PUSH2 0x2115
00002110: JUMPI
00002111: PUSH1 0x00
00002113: DUP1
00002114: REVERT
00002115: JUMPDEST
00002116: PUSH2 0x211e
00002119: DUP8
0000211a: PUSH2 0x1c58
0000211d: JUMP
0000211e: JUMPDEST
0000211f: SWAP6
00002120: POP
00002121: PUSH2 0x212c
00002124: PUSH1 0x20
00002126: DUP9
00002127: ADD
00002128: PUSH2 0x1c58
0000212b: JUMP
0000212c: JUMPDEST
0000212d: SWAP5
0000212e: POP
0000212f: PUSH1 0x40
00002131: DUP8
00002132: ADD
00002133: CALLDATALOAD
00002134: SWAP4
00002135: POP
00002136: PUSH1 0x60
00002138: DUP8
00002139: ADD
0000213a: CALLDATALOAD
0000213b: SWAP3
0000213c: POP
0000213d: PUSH1 0x80
0000213f: DUP8
00002140: ADD
00002141: CALLDATALOAD
00002142: PUSH8 0xffffffffffffffff
0000214b: DUP2
0000214c: GT
0000214d: ISZERO
0000214e: PUSH2 0x2156
00002151: JUMPI
00002152: PUSH1 0x00
00002154: DUP1
00002155: REVERT
00002156: JUMPDEST
00002157: PUSH2 0x2162
0000215a: DUP10
0000215b: DUP3
0000215c: DUP11
0000215d: ADD
0000215e: PUSH2 0x1c81
00002161: JUMP
00002162: JUMPDEST
00002163: SWAP8
00002164: SWAP11
00002165: SWAP7
00002166: SWAP10
00002167: POP
00002168: SWAP5
00002169: SWAP8
0000216a: POP
0000216b: SWAP3
0000216c: SWAP6
0000216d: SWAP4
0000216e: SWAP5
0000216f: SWAP3
00002170: POP
00002171: POP
00002172: POP
00002173: JUMP
00002174: JUMPDEST
00002175: DUP2
00002176: DUP4
00002177: MSTORE
00002178: DUP2
00002179: DUP2
0000217a: PUSH1 0x20
0000217c: DUP6
0000217d: ADD
0000217e: CALLDATACOPY
0000217f: POP
00002180: PUSH1 0x00
00002182: PUSH1 0x20
00002184: DUP3
00002185: DUP5
00002186: ADD
00002187: ADD
00002188: MSTORE
00002189: PUSH1 0x00
0000218b: PUSH1 0x20
0000218d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000021ae: PUSH1 0x1f
000021b0: DUP5
000021b1: ADD
000021b2: AND
000021b3: DUP5
000021b4: ADD
000021b5: ADD
000021b6: SWAP1
000021b7: POP
000021b8: SWAP3
000021b9: SWAP2
000021ba: POP
000021bb: POP
000021bc: JUMP
000021bd: JUMPDEST
000021be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d3: DUP8
000021d4: AND
000021d5: DUP2
000021d6: MSTORE
000021d7: DUP6
000021d8: PUSH1 0x20
000021da: DUP3
000021db: ADD
000021dc: MSTORE
000021dd: PUSH1 0xa0
000021df: PUSH1 0x40
000021e1: DUP3
000021e2: ADD
000021e3: MSTORE
000021e4: PUSH1 0x00
000021e6: PUSH2 0x21f3
000021e9: PUSH1 0xa0
000021eb: DUP4
000021ec: ADD
000021ed: DUP7
000021ee: DUP9
000021ef: PUSH2 0x2174
000021f2: JUMP
000021f3: JUMPDEST
000021f4: PUSH1 0x60
000021f6: DUP4
000021f7: ADD
000021f8: SWAP5
000021f9: SWAP1
000021fa: SWAP5
000021fb: MSTORE
000021fc: POP
000021fd: PUSH1 0x80
000021ff: ADD
00002200: MSTORE
00002201: SWAP5
00002202: SWAP4
00002203: POP
00002204: POP
00002205: POP
00002206: POP
00002207: JUMP
00002208: JUMPDEST
00002209: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000222a: PUSH1 0x00
0000222c: MSTORE
0000222d: PUSH1 0x32
0000222f: PUSH1 0x04
00002231: MSTORE
00002232: PUSH1 0x24
00002234: PUSH1 0x00
00002236: REVERT
00002237: JUMPDEST
00002238: PUSH1 0x00
0000223a: PUSH1 0x20
0000223c: DUP3
0000223d: DUP5
0000223e: SUB
0000223f: SLT
00002240: ISZERO
00002241: PUSH2 0x2249
00002244: JUMPI
00002245: PUSH1 0x00
00002247: DUP1
00002248: REVERT
00002249: JUMPDEST
0000224a: PUSH2 0x091c
0000224d: DUP3
0000224e: PUSH2 0x1c58
00002251: JUMP
00002252: JUMPDEST
00002253: PUSH1 0x00
00002255: DUP1
00002256: DUP4
00002257: CALLDATALOAD
00002258: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002279: DUP5
0000227a: CALLDATASIZE
0000227b: SUB
0000227c: ADD
0000227d: DUP2
0000227e: SLT
0000227f: PUSH2 0x2287
00002282: JUMPI
00002283: PUSH1 0x00
00002285: DUP1
00002286: REVERT
00002287: JUMPDEST
00002288: DUP4
00002289: ADD
0000228a: DUP1
0000228b: CALLDATALOAD
0000228c: SWAP2
0000228d: POP
0000228e: PUSH8 0xffffffffffffffff
00002297: DUP3
00002298: GT
00002299: ISZERO
0000229a: PUSH2 0x22a2
0000229d: JUMPI
0000229e: PUSH1 0x00
000022a0: DUP1
000022a1: REVERT
000022a2: JUMPDEST
000022a3: PUSH1 0x20
000022a5: ADD
000022a6: SWAP2
000022a7: POP
000022a8: CALLDATASIZE
000022a9: DUP2
000022aa: SWAP1
000022ab: SUB
000022ac: DUP3
000022ad: SGT
000022ae: ISZERO
000022af: PUSH2 0x1cc3
000022b2: JUMPI
000022b3: PUSH1 0x00
000022b5: DUP1
000022b6: REVERT
000022b7: JUMPDEST
000022b8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000022d9: PUSH1 0x00
000022db: MSTORE
000022dc: PUSH1 0x11
000022de: PUSH1 0x04
000022e0: MSTORE
000022e1: PUSH1 0x24
000022e3: PUSH1 0x00
000022e5: REVERT
000022e6: JUMPDEST
000022e7: PUSH1 0x00
000022e9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000230a: DUP3
0000230b: EQ
0000230c: ISZERO
0000230d: PUSH2 0x2318
00002310: JUMPI
00002311: PUSH2 0x2318
00002314: PUSH2 0x22b7
00002317: JUMP
00002318: JUMPDEST
00002319: POP
0000231a: PUSH1 0x01
0000231c: ADD
0000231d: SWAP1
0000231e: JUMP
0000231f: JUMPDEST
00002320: DUP2
00002321: DUP4
00002322: MSTORE
00002323: PUSH1 0x00
00002325: PUSH1 0x20
00002327: DUP1
00002328: DUP6
00002329: ADD
0000232a: DUP1
0000232b: DUP2
0000232c: SWAP7
0000232d: POP
0000232e: DUP6
0000232f: PUSH1 0x05
00002331: SHL
00002332: DUP2
00002333: ADD
00002334: SWAP2
00002335: POP
00002336: DUP5
00002337: PUSH1 0x00
00002339: JUMPDEST
0000233a: DUP8
0000233b: DUP2
0000233c: LT
0000233d: ISZERO
0000233e: PUSH2 0x23c1
00002341: JUMPI
00002342: DUP3
00002343: DUP5
00002344: SUB
00002345: DUP10
00002346: MSTORE
00002347: DUP2
00002348: CALLDATALOAD
00002349: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
0000236a: DUP9
0000236b: CALLDATASIZE
0000236c: SUB
0000236d: ADD
0000236e: DUP2
0000236f: SLT
00002370: PUSH2 0x2378
00002373: JUMPI
00002374: PUSH1 0x00
00002376: DUP1
00002377: REVERT
00002378: JUMPDEST
00002379: DUP8
0000237a: ADD
0000237b: DUP1
0000237c: CALLDATALOAD
0000237d: PUSH8 0xffffffffffffffff
00002386: DUP2
00002387: GT
00002388: ISZERO
00002389: PUSH2 0x2391
0000238c: JUMPI
0000238d: PUSH1 0x00
0000238f: DUP1
00002390: REVERT
00002391: JUMPDEST
00002392: DUP1
00002393: CALLDATASIZE
00002394: SUB
00002395: DUP10
00002396: SGT
00002397: ISZERO
00002398: PUSH2 0x23a0
0000239b: JUMPI
0000239c: PUSH1 0x00
0000239e: DUP1
0000239f: REVERT
000023a0: JUMPDEST
000023a1: PUSH2 0x23ad
000023a4: DUP7
000023a5: DUP3
000023a6: DUP10
000023a7: DUP6
000023a8: ADD
000023a9: PUSH2 0x2174
000023ac: JUMP
000023ad: JUMPDEST
000023ae: SWAP11
000023af: DUP8
000023b0: ADD
000023b1: SWAP11
000023b2: SWAP6
000023b3: POP
000023b4: POP
000023b5: POP
000023b6: SWAP1
000023b7: DUP5
000023b8: ADD
000023b9: SWAP1
000023ba: PUSH1 0x01
000023bc: ADD
000023bd: PUSH2 0x2339
000023c0: JUMP
000023c1: JUMPDEST
000023c2: POP
000023c3: SWAP2
000023c4: SWAP8
000023c5: SWAP7
000023c6: POP
000023c7: POP
000023c8: POP
000023c9: POP
000023ca: POP
000023cb: POP
000023cc: POP
000023cd: JUMP
000023ce: JUMPDEST
000023cf: PUSH1 0xa0
000023d1: DUP1
000023d2: DUP3
000023d3: MSTORE
000023d4: DUP2
000023d5: ADD
000023d6: DUP9
000023d7: SWAP1
000023d8: MSTORE
000023d9: PUSH1 0x00
000023db: DUP10
000023dc: PUSH1 0xc0
000023de: DUP4
000023df: ADD
000023e0: DUP3
000023e1: JUMPDEST
000023e2: DUP12
000023e3: DUP2
000023e4: LT
000023e5: ISZERO
000023e6: PUSH2 0x241c
000023e9: JUMPI
000023ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ff: PUSH2 0x2407
00002402: DUP5
00002403: PUSH2 0x1c58
00002406: JUMP
00002407: JUMPDEST
00002408: AND
00002409: DUP3
0000240a: MSTORE
0000240b: PUSH1 0x20
0000240d: SWAP3
0000240e: DUP4
0000240f: ADD
00002410: SWAP3
00002411: SWAP1
00002412: SWAP2
00002413: ADD
00002414: SWAP1
00002415: PUSH1 0x01
00002417: ADD
00002418: PUSH2 0x23e1
0000241b: JUMP
0000241c: JUMPDEST
0000241d: POP
0000241e: DUP4
0000241f: DUP2
00002420: SUB
00002421: PUSH1 0x20
00002423: DUP6
00002424: ADD
00002425: MSTORE
00002426: DUP9
00002427: DUP2
00002428: MSTORE
00002429: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000244a: DUP10
0000244b: GT
0000244c: ISZERO
0000244d: PUSH2 0x2455
00002450: JUMPI
00002451: PUSH1 0x00
00002453: DUP1
00002454: REVERT
00002455: JUMPDEST
00002456: DUP9
00002457: PUSH1 0x05
00002459: SHL
0000245a: SWAP2
0000245b: POP
0000245c: DUP2
0000245d: DUP11
0000245e: PUSH1 0x20
00002460: DUP4
00002461: ADD
00002462: CALLDATACOPY
00002463: DUP2
00002464: DUP2
00002465: ADD
00002466: SWAP2
00002467: POP
00002468: POP
00002469: PUSH1 0x20
0000246b: DUP2
0000246c: ADD
0000246d: PUSH1 0x00
0000246f: DUP2
00002470: MSTORE
00002471: PUSH1 0x20
00002473: DUP5
00002474: DUP4
00002475: SUB
00002476: ADD
00002477: PUSH1 0x40
00002479: DUP6
0000247a: ADD
0000247b: MSTORE
0000247c: PUSH2 0x2486
0000247f: DUP2
00002480: DUP9
00002481: DUP11
00002482: PUSH2 0x231f
00002485: JUMP
00002486: JUMPDEST
00002487: PUSH1 0x60
00002489: DUP6
0000248a: ADD
0000248b: SWAP7
0000248c: SWAP1
0000248d: SWAP7
0000248e: MSTORE
0000248f: POP
00002490: POP
00002491: POP
00002492: PUSH1 0x80
00002494: ADD
00002495: MSTORE
00002496: SWAP7
00002497: SWAP6
00002498: POP
00002499: POP
0000249a: POP
0000249b: POP
0000249c: POP
0000249d: POP
0000249e: JUMP
0000249f: JUMPDEST
000024a0: PUSH1 0x00
000024a2: JUMPDEST
000024a3: DUP4
000024a4: DUP2
000024a5: LT
000024a6: ISZERO
000024a7: PUSH2 0x24ba
000024aa: JUMPI
000024ab: DUP2
000024ac: DUP2
000024ad: ADD
000024ae: MLOAD
000024af: DUP4
000024b0: DUP3
000024b1: ADD
000024b2: MSTORE
000024b3: PUSH1 0x20
000024b5: ADD
000024b6: PUSH2 0x24a2
000024b9: JUMP
000024ba: JUMPDEST
000024bb: DUP4
000024bc: DUP2
000024bd: GT
000024be: ISZERO
000024bf: PUSH2 0x24c9
000024c2: JUMPI
000024c3: PUSH1 0x00
000024c5: DUP5
000024c6: DUP5
000024c7: ADD
000024c8: MSTORE
000024c9: JUMPDEST
000024ca: POP
000024cb: POP
000024cc: POP
000024cd: POP
000024ce: JUMP
000024cf: JUMPDEST
000024d0: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000
000024f1: DUP2
000024f2: MSTORE
000024f3: PUSH1 0x00
000024f5: DUP4
000024f6: MLOAD
000024f7: PUSH2 0x2507
000024fa: DUP2
000024fb: PUSH1 0x17
000024fd: DUP6
000024fe: ADD
000024ff: PUSH1 0x20
00002501: DUP9
00002502: ADD
00002503: PUSH2 0x249f
00002506: JUMP
00002507: JUMPDEST
00002508: PUSH32 0x206973206d697373696e6720726f6c6520000000000000000000000000000000
00002529: PUSH1 0x17
0000252b: SWAP2
0000252c: DUP5
0000252d: ADD
0000252e: SWAP2
0000252f: DUP3
00002530: ADD
00002531: MSTORE
00002532: DUP4
00002533: MLOAD
00002534: PUSH2 0x2544
00002537: DUP2
00002538: PUSH1 0x28
0000253a: DUP5
0000253b: ADD
0000253c: PUSH1 0x20
0000253e: DUP9
0000253f: ADD
00002540: PUSH2 0x249f
00002543: JUMP
00002544: JUMPDEST
00002545: ADD
00002546: PUSH1 0x28
00002548: ADD
00002549: SWAP5
0000254a: SWAP4
0000254b: POP
0000254c: POP
0000254d: POP
0000254e: POP
0000254f: JUMP
00002550: JUMPDEST
00002551: PUSH1 0x20
00002553: DUP2
00002554: MSTORE
00002555: PUSH1 0x00
00002557: DUP3
00002558: MLOAD
00002559: DUP1
0000255a: PUSH1 0x20
0000255c: DUP5
0000255d: ADD
0000255e: MSTORE
0000255f: PUSH2 0x256f
00002562: DUP2
00002563: PUSH1 0x40
00002565: DUP6
00002566: ADD
00002567: PUSH1 0x20
00002569: DUP8
0000256a: ADD
0000256b: PUSH2 0x249f
0000256e: JUMP
0000256f: JUMPDEST
00002570: PUSH1 0x1f
00002572: ADD
00002573: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002594: AND
00002595: SWAP2
00002596: SWAP1
00002597: SWAP2
00002598: ADD
00002599: PUSH1 0x40
0000259b: ADD
0000259c: SWAP3
0000259d: SWAP2
0000259e: POP
0000259f: POP
000025a0: JUMP
000025a1: JUMPDEST
000025a2: PUSH1 0x00
000025a4: DUP3
000025a5: NOT
000025a6: DUP3
000025a7: GT
000025a8: ISZERO
000025a9: PUSH2 0x25b4
000025ac: JUMPI
000025ad: PUSH2 0x25b4
000025b0: PUSH2 0x22b7
000025b3: JUMP
000025b4: JUMPDEST
000025b5: POP
000025b6: ADD
000025b7: SWAP1
000025b8: JUMP
000025b9: JUMPDEST
000025ba: DUP2
000025bb: DUP4
000025bc: DUP3
000025bd: CALLDATACOPY
000025be: PUSH1 0x00
000025c0: SWAP2
000025c1: ADD
000025c2: SWAP1
000025c3: DUP2
000025c4: MSTORE
000025c5: SWAP2
000025c6: SWAP1
000025c7: POP
000025c8: JUMP
000025c9: JUMPDEST
000025ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025df: DUP6
000025e0: AND
000025e1: DUP2
000025e2: MSTORE
000025e3: DUP4
000025e4: PUSH1 0x20
000025e6: DUP3
000025e7: ADD
000025e8: MSTORE
000025e9: PUSH1 0x60
000025eb: PUSH1 0x40
000025ed: DUP3
000025ee: ADD
000025ef: MSTORE
000025f0: PUSH1 0x00
000025f2: PUSH2 0x25ff
000025f5: PUSH1 0x60
000025f7: DUP4
000025f8: ADD
000025f9: DUP5
000025fa: DUP7
000025fb: PUSH2 0x2174
000025fe: JUMP
000025ff: JUMPDEST
00002600: SWAP7
00002601: SWAP6
00002602: POP
00002603: POP
00002604: POP
00002605: POP
00002606: POP
00002607: POP
00002608: JUMP
00002609: JUMPDEST
0000260a: PUSH1 0x00
0000260c: DUP2
0000260d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000262e: DIV
0000262f: DUP4
00002630: GT
00002631: DUP3
00002632: ISZERO
00002633: ISZERO
00002634: AND
00002635: ISZERO
00002636: PUSH2 0x2641
00002639: JUMPI
0000263a: PUSH2 0x2641
0000263d: PUSH2 0x22b7
00002640: JUMP
00002641: JUMPDEST
00002642: POP
00002643: MUL
00002644: SWAP1
00002645: JUMP
00002646: JUMPDEST
00002647: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002668: PUSH1 0x00
0000266a: MSTORE
0000266b: PUSH1 0x41
0000266d: PUSH1 0x04
0000266f: MSTORE
00002670: PUSH1 0x24
00002672: PUSH1 0x00
00002674: REVERT
00002675: JUMPDEST
00002676: PUSH1 0x00
00002678: DUP2
00002679: PUSH2 0x2684
0000267c: JUMPI
0000267d: PUSH2 0x2684
00002680: PUSH2 0x22b7
00002683: JUMP
00002684: JUMPDEST
00002685: POP
00002686: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000026a7: ADD
000026a8: SWAP1
000026a9: JUMP
000026aa: INVALID
000026ab: LOG2
000026ac: PUSH5 0x6970667358
000026b2: UNKNOWN(0x22)
000026b3: SLT
000026b4: KECCAK256
000026b5: UNKNOWN(0xE1)
000026b6: UNKNOWN(0xEE)
000026b7: CODESIZE
000026b8: UNKNOWN(0xBC)
000026b9: PUSH25 0x4ed044b3178fc412e9abf22e5fdbd3566d3d7fb8dce21f9fa3
000026d3: UNKNOWN(0xD5)
000026d4: CLZ
000026d5: PUSH5 0x736f6c6343
000026db: STOP
000026dc: ADDMOD
000026dd: MULMOD
000026de: STOP
000026df: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xa484d16e653a4d3ee45deaeb9a55a614a88e6dad5c9190c9c315052d1b7d2113 call_targets: 0xf850ceb782707df66a49b861ff74436be271611e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa484d16e653a4d3ee45deaeb9a55a614a88e6dad5c9190c9c315052d1b7d2113", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf850ceb782707df66a49b861ff74436be271611e" ], "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": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe38335e5", "selector": "0xe38335e5", "calldata_variants": [ "0xe38335e5", "0xe38335e50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf23a6e61", "selector": "0xf23a6e61", "calldata_variants": [ "0xf23a6e61", "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf27a0c92", "selector": "0xf27a0c92", "calldata_variants": [ "0xf27a0c92", "0xf27a0c920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb1c5f427", "selector": "0xb1c5f427", "calldata_variants": [ "0xb1c5f427", "0xb1c5f4270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc197c81", "selector": "0xbc197c81", "calldata_variants": [ "0xbc197c81", "0xbc197c810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc4d252f5", "selector": "0xc4d252f5", "calldata_variants": [ "0xc4d252f5", "0xc4d252f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd45c4435", "selector": "0xd45c4435", "calldata_variants": [ "0xd45c4435", "0xd45c44350000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5569, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [], "untrusted_call_count": 1 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xa484d16e653a4d3ee45deaeb9a55a614a88e6dad5c9190c9c315052d1b7d2113 call_targets: 0xf850ceb782707df66a49b861ff74436be271611e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa484d16e653a4d3ee45deaeb9a55a614a88e6dad5c9190c9c315052d1b7d2113", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf850ceb782707df66a49b861ff74436be271611e" ], "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": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe38335e5", "selector": "0xe38335e5", "calldata_variants": [ "0xe38335e5", "0xe38335e50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf23a6e61", "selector": "0xf23a6e61", "calldata_variants": [ "0xf23a6e61", "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf27a0c92", "selector": "0xf27a0c92", "calldata_variants": [ "0xf27a0c92", "0xf27a0c920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb1c5f427", "selector": "0xb1c5f427", "calldata_variants": [ "0xb1c5f427", "0xb1c5f4270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc197c81", "selector": "0xbc197c81", "calldata_variants": [ "0xbc197c81", "0xbc197c810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc4d252f5", "selector": "0xc4d252f5", "calldata_variants": [ "0xc4d252f5", "0xc4d252f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd45c4435", "selector": "0xd45c4435", "calldata_variants": [ "0xd45c4435", "0xd45c44350000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5569, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [] }
Severity