Analysis Run

019b477e-b604-7028-a9ce-7bea35f7f72c
complete
Chain ID
1
Address
0x3b39fbe86e4a8ee37a4928ee6877a46aaa47ce06
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
23041	artifact.fetch	complete	1 / 3	4 months ago
23042	tool.cast_disasm	complete	1 / 3	4 months ago
66834	analysis.bundle	complete	1 / 3	2 weeks ago
66835	capability.graph	complete	1 / 3	2 weeks ago
66836	detector.run	complete	1 / 3	2 weeks ago
66837	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
1
Total opcodes
4843
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 0x0163
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: DUP1
00000031: PUSH3 0x65318b
00000035: EQ
00000036: PUSH2 0x029e
00000039: JUMPI
0000003a: DUP1
0000003b: PUSH4 0x06fdde03
00000040: EQ
00000041: PUSH2 0x0303
00000044: JUMPI
00000045: DUP1
00000046: PUSH4 0x09881fb8
0000004b: EQ
0000004c: PUSH2 0x0393
0000004f: JUMPI
00000050: DUP1
00000051: PUSH4 0x2a9121c7
00000056: EQ
00000057: PUSH2 0x03e4
0000005a: JUMPI
0000005b: DUP1
0000005c: PUSH4 0x313ce567
00000061: EQ
00000062: PUSH2 0x0433
00000065: JUMPI
00000066: DUP1
00000067: PUSH4 0x31e9b2fc
0000006c: EQ
0000006d: PUSH2 0x0464
00000070: JUMPI
00000071: DUP1
00000072: PUSH4 0x3ccfd60b
00000077: EQ
00000078: PUSH2 0x04bc
0000007b: JUMPI
0000007c: DUP1
0000007d: PUSH4 0x53f944e1
00000082: EQ
00000083: PUSH2 0x04d3
00000086: JUMPI
00000087: DUP1
00000088: PUSH4 0x56d399e8
0000008d: EQ
0000008e: PUSH2 0x053c
00000091: JUMPI
00000092: DUP1
00000093: PUSH4 0x5ab33fe4
00000098: EQ
00000099: PUSH2 0x0567
0000009c: JUMPI
0000009d: DUP1
0000009e: PUSH4 0x688abbf7
000000a3: EQ
000000a4: PUSH2 0x05cc
000000a7: JUMPI
000000a8: DUP1
000000a9: PUSH4 0x70a08231
000000ae: EQ
000000af: PUSH2 0x061d
000000b2: JUMPI
000000b3: DUP1
000000b4: PUSH4 0x8078059c
000000b9: EQ
000000ba: PUSH2 0x0682
000000bd: JUMPI
000000be: DUP1
000000bf: PUSH4 0x8a811be8
000000c4: EQ
000000c5: PUSH2 0x0699
000000c8: JUMPI
000000c9: DUP1
000000ca: PUSH4 0x949e8acd
000000cf: EQ
000000d0: PUSH2 0x06b0
000000d3: JUMPI
000000d4: DUP1
000000d5: PUSH4 0x95d89b41
000000da: EQ
000000db: PUSH2 0x06db
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x961e1c49
000000e5: EQ
000000e6: PUSH2 0x076b
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x99288dbb
000000f0: EQ
000000f1: PUSH2 0x0803
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x9cd460b5
000000fb: EQ
000000fc: PUSH2 0x0832
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0xab0bcc41
00000106: EQ
00000107: PUSH2 0x0876
0000010a: JUMPI
0000010b: DUP1
0000010c: PUSH4 0xb60d4288
00000111: EQ
00000112: PUSH2 0x088d
00000115: JUMPI
00000116: DUP1
00000117: PUSH4 0xb96ec64a
0000011c: EQ
0000011d: PUSH2 0x0897
00000120: JUMPI
00000121: DUP1
00000122: PUSH4 0xbf3b397b
00000127: EQ
00000128: PUSH2 0x0908
0000012b: JUMPI
0000012c: DUP1
0000012d: PUSH4 0xc664f7f1
00000132: EQ
00000133: PUSH2 0x0957
00000136: JUMPI
00000137: DUP1
00000138: PUSH4 0xe4116246
0000013d: EQ
0000013e: PUSH2 0x09bc
00000141: JUMPI
00000142: DUP1
00000143: PUSH4 0xe9fad8ee
00000148: EQ
00000149: PUSH2 0x0a0d
0000014c: JUMPI
0000014d: DUP1
0000014e: PUSH4 0xf851a440
00000153: EQ
00000154: PUSH2 0x0a24
00000157: JUMPI
00000158: DUP1
00000159: PUSH4 0xfdb5a03e
0000015e: EQ
0000015f: PUSH2 0x0a7b
00000162: JUMPI
00000163: JUMPDEST
00000164: PUSH8 0x0de0b6b3a7640000
0000016d: CALLVALUE
0000016e: LT
0000016f: ISZERO
00000170: ISZERO
00000171: ISZERO
00000172: PUSH2 0x0209
00000175: JUMPI
00000176: PUSH1 0x40
00000178: MLOAD
00000179: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000019a: DUP2
0000019b: MSTORE
0000019c: PUSH1 0x04
0000019e: ADD
0000019f: DUP1
000001a0: DUP1
000001a1: PUSH1 0x20
000001a3: ADD
000001a4: DUP3
000001a5: DUP2
000001a6: SUB
000001a7: DUP3
000001a8: MSTORE
000001a9: PUSH1 0x24
000001ab: DUP2
000001ac: MSTORE
000001ad: PUSH1 0x20
000001af: ADD
000001b0: DUP1
000001b1: PUSH32 0x4d696e696d756d206465706f736974206f6620312045544820697320616c6c6f
000001d2: DUP2
000001d3: MSTORE
000001d4: PUSH1 0x20
000001d6: ADD
000001d7: PUSH32 0x7765642e00000000000000000000000000000000000000000000000000000000
000001f8: DUP2
000001f9: MSTORE
000001fa: POP
000001fb: PUSH1 0x40
000001fd: ADD
000001fe: SWAP2
000001ff: POP
00000200: POP
00000201: PUSH1 0x40
00000203: MLOAD
00000204: DUP1
00000205: SWAP2
00000206: SUB
00000207: SWAP1
00000208: REVERT
00000209: JUMPDEST
0000020a: PUSH1 0x0b
0000020c: PUSH1 0x00
0000020e: SWAP1
0000020f: SLOAD
00000210: SWAP1
00000211: PUSH2 0x0100
00000214: EXP
00000215: SWAP1
00000216: DIV
00000217: PUSH1 0xff
00000219: AND
0000021a: ISZERO
0000021b: ISZERO
0000021c: PUSH2 0x028d
0000021f: JUMPI
00000220: PUSH1 0x40
00000222: MLOAD
00000223: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000244: DUP2
00000245: MSTORE
00000246: PUSH1 0x04
00000248: ADD
00000249: DUP1
0000024a: DUP1
0000024b: PUSH1 0x20
0000024d: ADD
0000024e: DUP3
0000024f: DUP2
00000250: SUB
00000251: DUP3
00000252: MSTORE
00000253: PUSH1 0x1d
00000255: DUP2
00000256: MSTORE
00000257: PUSH1 0x20
00000259: ADD
0000025a: DUP1
0000025b: PUSH32 0x53616c65732073746f7070656420666f7220746865206d6f6d656e742e000000
0000027c: DUP2
0000027d: MSTORE
0000027e: POP
0000027f: PUSH1 0x20
00000281: ADD
00000282: SWAP2
00000283: POP
00000284: POP
00000285: PUSH1 0x40
00000287: MLOAD
00000288: DUP1
00000289: SWAP2
0000028a: SUB
0000028b: SWAP1
0000028c: REVERT
0000028d: JUMPDEST
0000028e: PUSH2 0x029b
00000291: CALLVALUE
00000292: PUSH1 0x00
00000294: DUP1
00000295: PUSH1 0x00
00000297: PUSH2 0x0a92
0000029a: JUMP
0000029b: JUMPDEST
0000029c: POP
0000029d: STOP
0000029e: JUMPDEST
0000029f: CALLVALUE
000002a0: DUP1
000002a1: ISZERO
000002a2: PUSH2 0x02aa
000002a5: JUMPI
000002a6: PUSH1 0x00
000002a8: DUP1
000002a9: REVERT
000002aa: JUMPDEST
000002ab: POP
000002ac: PUSH2 0x02ed
000002af: PUSH1 0x04
000002b1: DUP1
000002b2: CALLDATASIZE
000002b3: SUB
000002b4: PUSH1 0x20
000002b6: DUP2
000002b7: LT
000002b8: ISZERO
000002b9: PUSH2 0x02c1
000002bc: JUMPI
000002bd: PUSH1 0x00
000002bf: DUP1
000002c0: REVERT
000002c1: JUMPDEST
000002c2: DUP2
000002c3: ADD
000002c4: SWAP1
000002c5: DUP1
000002c6: DUP1
000002c7: CALLDATALOAD
000002c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002dd: AND
000002de: SWAP1
000002df: PUSH1 0x20
000002e1: ADD
000002e2: SWAP1
000002e3: SWAP3
000002e4: SWAP2
000002e5: SWAP1
000002e6: POP
000002e7: POP
000002e8: POP
000002e9: PUSH2 0x13f8
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH1 0x40
000002f0: MLOAD
000002f1: DUP1
000002f2: DUP3
000002f3: DUP2
000002f4: MSTORE
000002f5: PUSH1 0x20
000002f7: ADD
000002f8: SWAP2
000002f9: POP
000002fa: POP
000002fb: PUSH1 0x40
000002fd: MLOAD
000002fe: DUP1
000002ff: SWAP2
00000300: SUB
00000301: SWAP1
00000302: RETURN
00000303: JUMPDEST
00000304: CALLVALUE
00000305: DUP1
00000306: ISZERO
00000307: PUSH2 0x030f
0000030a: JUMPI
0000030b: PUSH1 0x00
0000030d: DUP1
0000030e: REVERT
0000030f: JUMPDEST
00000310: POP
00000311: PUSH2 0x0318
00000314: PUSH2 0x149a
00000317: JUMP
00000318: JUMPDEST
00000319: PUSH1 0x40
0000031b: MLOAD
0000031c: DUP1
0000031d: DUP1
0000031e: PUSH1 0x20
00000320: ADD
00000321: DUP3
00000322: DUP2
00000323: SUB
00000324: DUP3
00000325: MSTORE
00000326: DUP4
00000327: DUP2
00000328: DUP2
00000329: MLOAD
0000032a: DUP2
0000032b: MSTORE
0000032c: PUSH1 0x20
0000032e: ADD
0000032f: SWAP2
00000330: POP
00000331: DUP1
00000332: MLOAD
00000333: SWAP1
00000334: PUSH1 0x20
00000336: ADD
00000337: SWAP1
00000338: DUP1
00000339: DUP4
0000033a: DUP4
0000033b: PUSH1 0x00
0000033d: JUMPDEST
0000033e: DUP4
0000033f: DUP2
00000340: LT
00000341: ISZERO
00000342: PUSH2 0x0358
00000345: JUMPI
00000346: DUP1
00000347: DUP3
00000348: ADD
00000349: MLOAD
0000034a: DUP2
0000034b: DUP5
0000034c: ADD
0000034d: MSTORE
0000034e: PUSH1 0x20
00000350: DUP2
00000351: ADD
00000352: SWAP1
00000353: POP
00000354: PUSH2 0x033d
00000357: JUMP
00000358: JUMPDEST
00000359: POP
0000035a: POP
0000035b: POP
0000035c: POP
0000035d: SWAP1
0000035e: POP
0000035f: SWAP1
00000360: DUP2
00000361: ADD
00000362: SWAP1
00000363: PUSH1 0x1f
00000365: AND
00000366: DUP1
00000367: ISZERO
00000368: PUSH2 0x0385
0000036b: JUMPI
0000036c: DUP1
0000036d: DUP3
0000036e: SUB
0000036f: DUP1
00000370: MLOAD
00000371: PUSH1 0x01
00000373: DUP4
00000374: PUSH1 0x20
00000376: SUB
00000377: PUSH2 0x0100
0000037a: EXP
0000037b: SUB
0000037c: NOT
0000037d: AND
0000037e: DUP2
0000037f: MSTORE
00000380: PUSH1 0x20
00000382: ADD
00000383: SWAP2
00000384: POP
00000385: JUMPDEST
00000386: POP
00000387: SWAP3
00000388: POP
00000389: POP
0000038a: POP
0000038b: PUSH1 0x40
0000038d: MLOAD
0000038e: DUP1
0000038f: SWAP2
00000390: SUB
00000391: SWAP1
00000392: RETURN
00000393: JUMPDEST
00000394: CALLVALUE
00000395: DUP1
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: POP
000003a1: PUSH2 0x03e2
000003a4: PUSH1 0x04
000003a6: DUP1
000003a7: CALLDATASIZE
000003a8: SUB
000003a9: PUSH1 0x20
000003ab: DUP2
000003ac: LT
000003ad: ISZERO
000003ae: PUSH2 0x03b6
000003b1: JUMPI
000003b2: PUSH1 0x00
000003b4: DUP1
000003b5: REVERT
000003b6: JUMPDEST
000003b7: DUP2
000003b8: ADD
000003b9: SWAP1
000003ba: DUP1
000003bb: DUP1
000003bc: CALLDATALOAD
000003bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d2: AND
000003d3: SWAP1
000003d4: PUSH1 0x20
000003d6: ADD
000003d7: SWAP1
000003d8: SWAP3
000003d9: SWAP2
000003da: SWAP1
000003db: POP
000003dc: POP
000003dd: POP
000003de: PUSH2 0x1538
000003e1: JUMP
000003e2: JUMPDEST
000003e3: STOP
000003e4: JUMPDEST
000003e5: CALLVALUE
000003e6: DUP1
000003e7: ISZERO
000003e8: PUSH2 0x03f0
000003eb: JUMPI
000003ec: PUSH1 0x00
000003ee: DUP1
000003ef: REVERT
000003f0: JUMPDEST
000003f1: POP
000003f2: PUSH2 0x041d
000003f5: PUSH1 0x04
000003f7: DUP1
000003f8: CALLDATASIZE
000003f9: SUB
000003fa: PUSH1 0x20
000003fc: DUP2
000003fd: LT
000003fe: ISZERO
000003ff: PUSH2 0x0407
00000402: JUMPI
00000403: PUSH1 0x00
00000405: DUP1
00000406: REVERT
00000407: JUMPDEST
00000408: DUP2
00000409: ADD
0000040a: SWAP1
0000040b: DUP1
0000040c: DUP1
0000040d: CALLDATALOAD
0000040e: SWAP1
0000040f: PUSH1 0x20
00000411: ADD
00000412: SWAP1
00000413: SWAP3
00000414: SWAP2
00000415: SWAP1
00000416: POP
00000417: POP
00000418: POP
00000419: PUSH2 0x163d
0000041c: JUMP
0000041d: JUMPDEST
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: DUP1
00000422: DUP3
00000423: DUP2
00000424: MSTORE
00000425: PUSH1 0x20
00000427: ADD
00000428: SWAP2
00000429: POP
0000042a: POP
0000042b: PUSH1 0x40
0000042d: MLOAD
0000042e: DUP1
0000042f: SWAP2
00000430: SUB
00000431: SWAP1
00000432: RETURN
00000433: JUMPDEST
00000434: CALLVALUE
00000435: DUP1
00000436: ISZERO
00000437: PUSH2 0x043f
0000043a: JUMPI
0000043b: PUSH1 0x00
0000043d: DUP1
0000043e: REVERT
0000043f: JUMPDEST
00000440: POP
00000441: PUSH2 0x0448
00000444: PUSH2 0x1668
00000447: JUMP
00000448: JUMPDEST
00000449: PUSH1 0x40
0000044b: MLOAD
0000044c: DUP1
0000044d: DUP3
0000044e: PUSH1 0xff
00000450: AND
00000451: PUSH1 0xff
00000453: AND
00000454: DUP2
00000455: MSTORE
00000456: PUSH1 0x20
00000458: ADD
00000459: SWAP2
0000045a: POP
0000045b: POP
0000045c: PUSH1 0x40
0000045e: MLOAD
0000045f: DUP1
00000460: SWAP2
00000461: SUB
00000462: SWAP1
00000463: RETURN
00000464: JUMPDEST
00000465: PUSH2 0x04ba
00000468: PUSH1 0x04
0000046a: DUP1
0000046b: CALLDATASIZE
0000046c: SUB
0000046d: PUSH1 0x60
0000046f: DUP2
00000470: LT
00000471: ISZERO
00000472: PUSH2 0x047a
00000475: JUMPI
00000476: PUSH1 0x00
00000478: DUP1
00000479: REVERT
0000047a: JUMPDEST
0000047b: DUP2
0000047c: ADD
0000047d: SWAP1
0000047e: DUP1
0000047f: DUP1
00000480: CALLDATALOAD
00000481: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000496: AND
00000497: SWAP1
00000498: PUSH1 0x20
0000049a: ADD
0000049b: SWAP1
0000049c: SWAP3
0000049d: SWAP2
0000049e: SWAP1
0000049f: DUP1
000004a0: CALLDATALOAD
000004a1: SWAP1
000004a2: PUSH1 0x20
000004a4: ADD
000004a5: SWAP1
000004a6: SWAP3
000004a7: SWAP2
000004a8: SWAP1
000004a9: DUP1
000004aa: CALLDATALOAD
000004ab: SWAP1
000004ac: PUSH1 0x20
000004ae: ADD
000004af: SWAP1
000004b0: SWAP3
000004b1: SWAP2
000004b2: SWAP1
000004b3: POP
000004b4: POP
000004b5: POP
000004b6: PUSH2 0x166d
000004b9: JUMP
000004ba: JUMPDEST
000004bb: STOP
000004bc: JUMPDEST
000004bd: CALLVALUE
000004be: DUP1
000004bf: ISZERO
000004c0: PUSH2 0x04c8
000004c3: JUMPI
000004c4: PUSH1 0x00
000004c6: DUP1
000004c7: REVERT
000004c8: JUMPDEST
000004c9: POP
000004ca: PUSH2 0x04d1
000004cd: PUSH2 0x181b
000004d0: JUMP
000004d1: JUMPDEST
000004d2: STOP
000004d3: JUMPDEST
000004d4: CALLVALUE
000004d5: DUP1
000004d6: ISZERO
000004d7: PUSH2 0x04df
000004da: JUMPI
000004db: PUSH1 0x00
000004dd: DUP1
000004de: REVERT
000004df: JUMPDEST
000004e0: POP
000004e1: PUSH2 0x0522
000004e4: PUSH1 0x04
000004e6: DUP1
000004e7: CALLDATASIZE
000004e8: SUB
000004e9: PUSH1 0x20
000004eb: DUP2
000004ec: LT
000004ed: ISZERO
000004ee: PUSH2 0x04f6
000004f1: JUMPI
000004f2: PUSH1 0x00
000004f4: DUP1
000004f5: REVERT
000004f6: JUMPDEST
000004f7: DUP2
000004f8: ADD
000004f9: SWAP1
000004fa: DUP1
000004fb: DUP1
000004fc: CALLDATALOAD
000004fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000512: AND
00000513: SWAP1
00000514: PUSH1 0x20
00000516: ADD
00000517: SWAP1
00000518: SWAP3
00000519: SWAP2
0000051a: SWAP1
0000051b: POP
0000051c: POP
0000051d: POP
0000051e: PUSH2 0x19c8
00000521: JUMP
00000522: JUMPDEST
00000523: PUSH1 0x40
00000525: MLOAD
00000526: DUP1
00000527: DUP3
00000528: ISZERO
00000529: ISZERO
0000052a: ISZERO
0000052b: ISZERO
0000052c: DUP2
0000052d: MSTORE
0000052e: PUSH1 0x20
00000530: ADD
00000531: SWAP2
00000532: POP
00000533: POP
00000534: PUSH1 0x40
00000536: MLOAD
00000537: DUP1
00000538: SWAP2
00000539: SUB
0000053a: SWAP1
0000053b: RETURN
0000053c: JUMPDEST
0000053d: CALLVALUE
0000053e: DUP1
0000053f: ISZERO
00000540: PUSH2 0x0548
00000543: JUMPI
00000544: PUSH1 0x00
00000546: DUP1
00000547: REVERT
00000548: JUMPDEST
00000549: POP
0000054a: PUSH2 0x0551
0000054d: PUSH2 0x19e8
00000550: JUMP
00000551: JUMPDEST
00000552: PUSH1 0x40
00000554: MLOAD
00000555: DUP1
00000556: DUP3
00000557: DUP2
00000558: MSTORE
00000559: PUSH1 0x20
0000055b: ADD
0000055c: SWAP2
0000055d: POP
0000055e: POP
0000055f: PUSH1 0x40
00000561: MLOAD
00000562: DUP1
00000563: SWAP2
00000564: SUB
00000565: SWAP1
00000566: RETURN
00000567: JUMPDEST
00000568: CALLVALUE
00000569: DUP1
0000056a: ISZERO
0000056b: PUSH2 0x0573
0000056e: JUMPI
0000056f: PUSH1 0x00
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: POP
00000575: PUSH2 0x05b6
00000578: PUSH1 0x04
0000057a: DUP1
0000057b: CALLDATASIZE
0000057c: SUB
0000057d: PUSH1 0x20
0000057f: DUP2
00000580: LT
00000581: ISZERO
00000582: PUSH2 0x058a
00000585: JUMPI
00000586: PUSH1 0x00
00000588: DUP1
00000589: REVERT
0000058a: JUMPDEST
0000058b: DUP2
0000058c: ADD
0000058d: SWAP1
0000058e: DUP1
0000058f: DUP1
00000590: CALLDATALOAD
00000591: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a6: AND
000005a7: SWAP1
000005a8: PUSH1 0x20
000005aa: ADD
000005ab: SWAP1
000005ac: SWAP3
000005ad: SWAP2
000005ae: SWAP1
000005af: POP
000005b0: POP
000005b1: POP
000005b2: PUSH2 0x19ee
000005b5: JUMP
000005b6: JUMPDEST
000005b7: PUSH1 0x40
000005b9: MLOAD
000005ba: DUP1
000005bb: DUP3
000005bc: DUP2
000005bd: MSTORE
000005be: PUSH1 0x20
000005c0: ADD
000005c1: SWAP2
000005c2: POP
000005c3: POP
000005c4: PUSH1 0x40
000005c6: MLOAD
000005c7: DUP1
000005c8: SWAP2
000005c9: SUB
000005ca: SWAP1
000005cb: RETURN
000005cc: JUMPDEST
000005cd: CALLVALUE
000005ce: DUP1
000005cf: ISZERO
000005d0: PUSH2 0x05d8
000005d3: JUMPI
000005d4: PUSH1 0x00
000005d6: DUP1
000005d7: REVERT
000005d8: JUMPDEST
000005d9: POP
000005da: PUSH2 0x0607
000005dd: PUSH1 0x04
000005df: DUP1
000005e0: CALLDATASIZE
000005e1: SUB
000005e2: PUSH1 0x20
000005e4: DUP2
000005e5: LT
000005e6: ISZERO
000005e7: PUSH2 0x05ef
000005ea: JUMPI
000005eb: PUSH1 0x00
000005ed: DUP1
000005ee: REVERT
000005ef: JUMPDEST
000005f0: DUP2
000005f1: ADD
000005f2: SWAP1
000005f3: DUP1
000005f4: DUP1
000005f5: CALLDATALOAD
000005f6: ISZERO
000005f7: ISZERO
000005f8: SWAP1
000005f9: PUSH1 0x20
000005fb: ADD
000005fc: SWAP1
000005fd: SWAP3
000005fe: SWAP2
000005ff: SWAP1
00000600: POP
00000601: POP
00000602: POP
00000603: PUSH2 0x1a06
00000606: JUMP
00000607: JUMPDEST
00000608: PUSH1 0x40
0000060a: MLOAD
0000060b: DUP1
0000060c: DUP3
0000060d: DUP2
0000060e: MSTORE
0000060f: PUSH1 0x20
00000611: ADD
00000612: SWAP2
00000613: POP
00000614: POP
00000615: PUSH1 0x40
00000617: MLOAD
00000618: DUP1
00000619: SWAP2
0000061a: SUB
0000061b: SWAP1
0000061c: RETURN
0000061d: JUMPDEST
0000061e: CALLVALUE
0000061f: DUP1
00000620: ISZERO
00000621: PUSH2 0x0629
00000624: JUMPI
00000625: PUSH1 0x00
00000627: DUP1
00000628: REVERT
00000629: JUMPDEST
0000062a: POP
0000062b: PUSH2 0x066c
0000062e: PUSH1 0x04
00000630: DUP1
00000631: CALLDATASIZE
00000632: SUB
00000633: PUSH1 0x20
00000635: DUP2
00000636: LT
00000637: ISZERO
00000638: PUSH2 0x0640
0000063b: JUMPI
0000063c: PUSH1 0x00
0000063e: DUP1
0000063f: REVERT
00000640: JUMPDEST
00000641: DUP2
00000642: ADD
00000643: SWAP1
00000644: DUP1
00000645: DUP1
00000646: CALLDATALOAD
00000647: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000065c: AND
0000065d: SWAP1
0000065e: PUSH1 0x20
00000660: ADD
00000661: SWAP1
00000662: SWAP3
00000663: SWAP2
00000664: SWAP1
00000665: POP
00000666: POP
00000667: POP
00000668: PUSH2 0x1a72
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH1 0x40
0000066f: MLOAD
00000670: DUP1
00000671: DUP3
00000672: DUP2
00000673: MSTORE
00000674: PUSH1 0x20
00000676: ADD
00000677: SWAP2
00000678: POP
00000679: POP
0000067a: PUSH1 0x40
0000067c: MLOAD
0000067d: DUP1
0000067e: SWAP2
0000067f: SUB
00000680: SWAP1
00000681: RETURN
00000682: JUMPDEST
00000683: CALLVALUE
00000684: DUP1
00000685: ISZERO
00000686: PUSH2 0x068e
00000689: JUMPI
0000068a: PUSH1 0x00
0000068c: DUP1
0000068d: REVERT
0000068e: JUMPDEST
0000068f: POP
00000690: PUSH2 0x0697
00000693: PUSH2 0x1abb
00000696: JUMP
00000697: JUMPDEST
00000698: STOP
00000699: JUMPDEST
0000069a: CALLVALUE
0000069b: DUP1
0000069c: ISZERO
0000069d: PUSH2 0x06a5
000006a0: JUMPI
000006a1: PUSH1 0x00
000006a3: DUP1
000006a4: REVERT
000006a5: JUMPDEST
000006a6: POP
000006a7: PUSH2 0x06ae
000006aa: PUSH2 0x1b6b
000006ad: JUMP
000006ae: JUMPDEST
000006af: STOP
000006b0: JUMPDEST
000006b1: CALLVALUE
000006b2: DUP1
000006b3: ISZERO
000006b4: PUSH2 0x06bc
000006b7: JUMPI
000006b8: PUSH1 0x00
000006ba: DUP1
000006bb: REVERT
000006bc: JUMPDEST
000006bd: POP
000006be: PUSH2 0x06c5
000006c1: PUSH2 0x1d3e
000006c4: JUMP
000006c5: JUMPDEST
000006c6: PUSH1 0x40
000006c8: MLOAD
000006c9: DUP1
000006ca: DUP3
000006cb: DUP2
000006cc: MSTORE
000006cd: PUSH1 0x20
000006cf: ADD
000006d0: SWAP2
000006d1: POP
000006d2: POP
000006d3: PUSH1 0x40
000006d5: MLOAD
000006d6: DUP1
000006d7: SWAP2
000006d8: SUB
000006d9: SWAP1
000006da: RETURN
000006db: JUMPDEST
000006dc: CALLVALUE
000006dd: DUP1
000006de: ISZERO
000006df: PUSH2 0x06e7
000006e2: JUMPI
000006e3: PUSH1 0x00
000006e5: DUP1
000006e6: REVERT
000006e7: JUMPDEST
000006e8: POP
000006e9: PUSH2 0x06f0
000006ec: PUSH2 0x1d53
000006ef: JUMP
000006f0: JUMPDEST
000006f1: PUSH1 0x40
000006f3: MLOAD
000006f4: DUP1
000006f5: DUP1
000006f6: PUSH1 0x20
000006f8: ADD
000006f9: DUP3
000006fa: DUP2
000006fb: SUB
000006fc: DUP3
000006fd: MSTORE
000006fe: DUP4
000006ff: DUP2
00000700: DUP2
00000701: MLOAD
00000702: DUP2
00000703: MSTORE
00000704: PUSH1 0x20
00000706: ADD
00000707: SWAP2
00000708: POP
00000709: DUP1
0000070a: MLOAD
0000070b: SWAP1
0000070c: PUSH1 0x20
0000070e: ADD
0000070f: SWAP1
00000710: DUP1
00000711: DUP4
00000712: DUP4
00000713: PUSH1 0x00
00000715: JUMPDEST
00000716: DUP4
00000717: DUP2
00000718: LT
00000719: ISZERO
0000071a: PUSH2 0x0730
0000071d: JUMPI
0000071e: DUP1
0000071f: DUP3
00000720: ADD
00000721: MLOAD
00000722: DUP2
00000723: DUP5
00000724: ADD
00000725: MSTORE
00000726: PUSH1 0x20
00000728: DUP2
00000729: ADD
0000072a: SWAP1
0000072b: POP
0000072c: PUSH2 0x0715
0000072f: JUMP
00000730: JUMPDEST
00000731: POP
00000732: POP
00000733: POP
00000734: POP
00000735: SWAP1
00000736: POP
00000737: SWAP1
00000738: DUP2
00000739: ADD
0000073a: SWAP1
0000073b: PUSH1 0x1f
0000073d: AND
0000073e: DUP1
0000073f: ISZERO
00000740: PUSH2 0x075d
00000743: JUMPI
00000744: DUP1
00000745: DUP3
00000746: SUB
00000747: DUP1
00000748: MLOAD
00000749: PUSH1 0x01
0000074b: DUP4
0000074c: PUSH1 0x20
0000074e: SUB
0000074f: PUSH2 0x0100
00000752: EXP
00000753: SUB
00000754: NOT
00000755: AND
00000756: DUP2
00000757: MSTORE
00000758: PUSH1 0x20
0000075a: ADD
0000075b: SWAP2
0000075c: POP
0000075d: JUMPDEST
0000075e: POP
0000075f: SWAP3
00000760: POP
00000761: POP
00000762: POP
00000763: PUSH1 0x40
00000765: MLOAD
00000766: DUP1
00000767: SWAP2
00000768: SUB
00000769: SWAP1
0000076a: RETURN
0000076b: JUMPDEST
0000076c: PUSH2 0x07ed
0000076f: PUSH1 0x04
00000771: DUP1
00000772: CALLDATASIZE
00000773: SUB
00000774: PUSH1 0x60
00000776: DUP2
00000777: LT
00000778: ISZERO
00000779: PUSH2 0x0781
0000077c: JUMPI
0000077d: PUSH1 0x00
0000077f: DUP1
00000780: REVERT
00000781: JUMPDEST
00000782: DUP2
00000783: ADD
00000784: SWAP1
00000785: DUP1
00000786: DUP1
00000787: CALLDATALOAD
00000788: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000079d: AND
0000079e: SWAP1
0000079f: PUSH1 0x20
000007a1: ADD
000007a2: SWAP1
000007a3: SWAP3
000007a4: SWAP2
000007a5: SWAP1
000007a6: DUP1
000007a7: CALLDATALOAD
000007a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007bd: AND
000007be: SWAP1
000007bf: PUSH1 0x20
000007c1: ADD
000007c2: SWAP1
000007c3: SWAP3
000007c4: SWAP2
000007c5: SWAP1
000007c6: DUP1
000007c7: CALLDATALOAD
000007c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007dd: AND
000007de: SWAP1
000007df: PUSH1 0x20
000007e1: ADD
000007e2: SWAP1
000007e3: SWAP3
000007e4: SWAP2
000007e5: SWAP1
000007e6: POP
000007e7: POP
000007e8: POP
000007e9: PUSH2 0x1df1
000007ec: JUMP
000007ed: JUMPDEST
000007ee: PUSH1 0x40
000007f0: MLOAD
000007f1: DUP1
000007f2: DUP3
000007f3: DUP2
000007f4: MSTORE
000007f5: PUSH1 0x20
000007f7: ADD
000007f8: SWAP2
000007f9: POP
000007fa: POP
000007fb: PUSH1 0x40
000007fd: MLOAD
000007fe: DUP1
000007ff: SWAP2
00000800: SUB
00000801: SWAP1
00000802: RETURN
00000803: JUMPDEST
00000804: CALLVALUE
00000805: DUP1
00000806: ISZERO
00000807: PUSH2 0x080f
0000080a: JUMPI
0000080b: PUSH1 0x00
0000080d: DUP1
0000080e: REVERT
0000080f: JUMPDEST
00000810: POP
00000811: PUSH2 0x0818
00000814: PUSH2 0x1f32
00000817: JUMP
00000818: JUMPDEST
00000819: PUSH1 0x40
0000081b: MLOAD
0000081c: DUP1
0000081d: DUP3
0000081e: ISZERO
0000081f: ISZERO
00000820: ISZERO
00000821: ISZERO
00000822: DUP2
00000823: MSTORE
00000824: PUSH1 0x20
00000826: ADD
00000827: SWAP2
00000828: POP
00000829: POP
0000082a: PUSH1 0x40
0000082c: MLOAD
0000082d: DUP1
0000082e: SWAP2
0000082f: SUB
00000830: SWAP1
00000831: RETURN
00000832: JUMPDEST
00000833: PUSH2 0x0874
00000836: PUSH1 0x04
00000838: DUP1
00000839: CALLDATASIZE
0000083a: SUB
0000083b: PUSH1 0x20
0000083d: DUP2
0000083e: LT
0000083f: ISZERO
00000840: PUSH2 0x0848
00000843: JUMPI
00000844: PUSH1 0x00
00000846: DUP1
00000847: REVERT
00000848: JUMPDEST
00000849: DUP2
0000084a: ADD
0000084b: SWAP1
0000084c: DUP1
0000084d: DUP1
0000084e: CALLDATALOAD
0000084f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000864: AND
00000865: SWAP1
00000866: PUSH1 0x20
00000868: ADD
00000869: SWAP1
0000086a: SWAP3
0000086b: SWAP2
0000086c: SWAP1
0000086d: POP
0000086e: POP
0000086f: POP
00000870: PUSH2 0x1f45
00000873: JUMP
00000874: JUMPDEST
00000875: STOP
00000876: JUMPDEST
00000877: CALLVALUE
00000878: DUP1
00000879: ISZERO
0000087a: PUSH2 0x0882
0000087d: JUMPI
0000087e: PUSH1 0x00
00000880: DUP1
00000881: REVERT
00000882: JUMPDEST
00000883: POP
00000884: PUSH2 0x088b
00000887: PUSH2 0x20fe
0000088a: JUMP
0000088b: JUMPDEST
0000088c: STOP
0000088d: JUMPDEST
0000088e: PUSH2 0x0895
00000891: PUSH2 0x21ae
00000894: JUMP
00000895: JUMPDEST
00000896: STOP
00000897: JUMPDEST
00000898: CALLVALUE
00000899: DUP1
0000089a: ISZERO
0000089b: PUSH2 0x08a3
0000089e: JUMPI
0000089f: PUSH1 0x00
000008a1: DUP1
000008a2: REVERT
000008a3: JUMPDEST
000008a4: POP
000008a5: PUSH2 0x08f2
000008a8: PUSH1 0x04
000008aa: DUP1
000008ab: CALLDATASIZE
000008ac: SUB
000008ad: PUSH1 0x40
000008af: DUP2
000008b0: LT
000008b1: ISZERO
000008b2: PUSH2 0x08ba
000008b5: JUMPI
000008b6: PUSH1 0x00
000008b8: DUP1
000008b9: REVERT
000008ba: JUMPDEST
000008bb: DUP2
000008bc: ADD
000008bd: SWAP1
000008be: DUP1
000008bf: DUP1
000008c0: CALLDATALOAD
000008c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d6: AND
000008d7: SWAP1
000008d8: PUSH1 0x20
000008da: ADD
000008db: SWAP1
000008dc: SWAP3
000008dd: SWAP2
000008de: SWAP1
000008df: DUP1
000008e0: CALLDATALOAD
000008e1: ISZERO
000008e2: ISZERO
000008e3: SWAP1
000008e4: PUSH1 0x20
000008e6: ADD
000008e7: SWAP1
000008e8: SWAP3
000008e9: SWAP2
000008ea: SWAP1
000008eb: POP
000008ec: POP
000008ed: POP
000008ee: PUSH2 0x223c
000008f1: JUMP
000008f2: JUMPDEST
000008f3: PUSH1 0x40
000008f5: MLOAD
000008f6: DUP1
000008f7: DUP3
000008f8: DUP2
000008f9: MSTORE
000008fa: PUSH1 0x20
000008fc: ADD
000008fd: SWAP2
000008fe: POP
000008ff: POP
00000900: PUSH1 0x40
00000902: MLOAD
00000903: DUP1
00000904: SWAP2
00000905: SUB
00000906: SWAP1
00000907: RETURN
00000908: JUMPDEST
00000909: CALLVALUE
0000090a: DUP1
0000090b: ISZERO
0000090c: PUSH2 0x0914
0000090f: JUMPI
00000910: PUSH1 0x00
00000912: DUP1
00000913: REVERT
00000914: JUMPDEST
00000915: POP
00000916: PUSH2 0x0941
00000919: PUSH1 0x04
0000091b: DUP1
0000091c: CALLDATASIZE
0000091d: SUB
0000091e: PUSH1 0x20
00000920: DUP2
00000921: LT
00000922: ISZERO
00000923: PUSH2 0x092b
00000926: JUMPI
00000927: PUSH1 0x00
00000929: DUP1
0000092a: REVERT
0000092b: JUMPDEST
0000092c: DUP2
0000092d: ADD
0000092e: SWAP1
0000092f: DUP1
00000930: DUP1
00000931: CALLDATALOAD
00000932: SWAP1
00000933: PUSH1 0x20
00000935: ADD
00000936: SWAP1
00000937: SWAP3
00000938: SWAP2
00000939: SWAP1
0000093a: POP
0000093b: POP
0000093c: POP
0000093d: PUSH2 0x22a4
00000940: JUMP
00000941: JUMPDEST
00000942: PUSH1 0x40
00000944: MLOAD
00000945: DUP1
00000946: DUP3
00000947: DUP2
00000948: MSTORE
00000949: PUSH1 0x20
0000094b: ADD
0000094c: SWAP2
0000094d: POP
0000094e: POP
0000094f: PUSH1 0x40
00000951: MLOAD
00000952: DUP1
00000953: SWAP2
00000954: SUB
00000955: SWAP1
00000956: RETURN
00000957: JUMPDEST
00000958: CALLVALUE
00000959: DUP1
0000095a: ISZERO
0000095b: PUSH2 0x0963
0000095e: JUMPI
0000095f: PUSH1 0x00
00000961: DUP1
00000962: REVERT
00000963: JUMPDEST
00000964: POP
00000965: PUSH2 0x09a6
00000968: PUSH1 0x04
0000096a: DUP1
0000096b: CALLDATASIZE
0000096c: SUB
0000096d: PUSH1 0x20
0000096f: DUP2
00000970: LT
00000971: ISZERO
00000972: PUSH2 0x097a
00000975: JUMPI
00000976: PUSH1 0x00
00000978: DUP1
00000979: REVERT
0000097a: JUMPDEST
0000097b: DUP2
0000097c: ADD
0000097d: SWAP1
0000097e: DUP1
0000097f: DUP1
00000980: CALLDATALOAD
00000981: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000996: AND
00000997: SWAP1
00000998: PUSH1 0x20
0000099a: ADD
0000099b: SWAP1
0000099c: SWAP3
0000099d: SWAP2
0000099e: SWAP1
0000099f: POP
000009a0: POP
000009a1: POP
000009a2: PUSH2 0x22cf
000009a5: JUMP
000009a6: JUMPDEST
000009a7: PUSH1 0x40
000009a9: MLOAD
000009aa: DUP1
000009ab: DUP3
000009ac: DUP2
000009ad: MSTORE
000009ae: PUSH1 0x20
000009b0: ADD
000009b1: SWAP2
000009b2: POP
000009b3: POP
000009b4: PUSH1 0x40
000009b6: MLOAD
000009b7: DUP1
000009b8: SWAP2
000009b9: SUB
000009ba: SWAP1
000009bb: RETURN
000009bc: JUMPDEST
000009bd: CALLVALUE
000009be: DUP1
000009bf: ISZERO
000009c0: PUSH2 0x09c8
000009c3: JUMPI
000009c4: PUSH1 0x00
000009c6: DUP1
000009c7: REVERT
000009c8: JUMPDEST
000009c9: POP
000009ca: PUSH2 0x0a0b
000009cd: PUSH1 0x04
000009cf: DUP1
000009d0: CALLDATASIZE
000009d1: SUB
000009d2: PUSH1 0x20
000009d4: DUP2
000009d5: LT
000009d6: ISZERO
000009d7: PUSH2 0x09df
000009da: JUMPI
000009db: PUSH1 0x00
000009dd: DUP1
000009de: REVERT
000009df: JUMPDEST
000009e0: DUP2
000009e1: ADD
000009e2: SWAP1
000009e3: DUP1
000009e4: DUP1
000009e5: CALLDATALOAD
000009e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fb: AND
000009fc: SWAP1
000009fd: PUSH1 0x20
000009ff: ADD
00000a00: SWAP1
00000a01: SWAP3
00000a02: SWAP2
00000a03: SWAP1
00000a04: POP
00000a05: POP
00000a06: POP
00000a07: PUSH2 0x22e7
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: STOP
00000a0d: JUMPDEST
00000a0e: CALLVALUE
00000a0f: DUP1
00000a10: ISZERO
00000a11: PUSH2 0x0a19
00000a14: JUMPI
00000a15: PUSH1 0x00
00000a17: DUP1
00000a18: REVERT
00000a19: JUMPDEST
00000a1a: POP
00000a1b: PUSH2 0x0a22
00000a1e: PUSH2 0x23ec
00000a21: JUMP
00000a22: JUMPDEST
00000a23: STOP
00000a24: JUMPDEST
00000a25: CALLVALUE
00000a26: DUP1
00000a27: ISZERO
00000a28: PUSH2 0x0a30
00000a2b: JUMPI
00000a2c: PUSH1 0x00
00000a2e: DUP1
00000a2f: REVERT
00000a30: JUMPDEST
00000a31: POP
00000a32: PUSH2 0x0a39
00000a35: PUSH2 0x2453
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: PUSH1 0x40
00000a3c: MLOAD
00000a3d: DUP1
00000a3e: DUP3
00000a3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a54: AND
00000a55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6a: AND
00000a6b: DUP2
00000a6c: MSTORE
00000a6d: PUSH1 0x20
00000a6f: ADD
00000a70: SWAP2
00000a71: POP
00000a72: POP
00000a73: PUSH1 0x40
00000a75: MLOAD
00000a76: DUP1
00000a77: SWAP2
00000a78: SUB
00000a79: SWAP1
00000a7a: RETURN
00000a7b: JUMPDEST
00000a7c: CALLVALUE
00000a7d: DUP1
00000a7e: ISZERO
00000a7f: PUSH2 0x0a87
00000a82: JUMPI
00000a83: PUSH1 0x00
00000a85: DUP1
00000a86: REVERT
00000a87: JUMPDEST
00000a88: POP
00000a89: PUSH2 0x0a90
00000a8c: PUSH2 0x2479
00000a8f: JUMP
00000a90: JUMPDEST
00000a91: STOP
00000a92: JUMPDEST
00000a93: PUSH1 0x00
00000a95: DUP1
00000a96: CALLER
00000a97: SWAP1
00000a98: POP
00000a99: PUSH2 0x0aa0
00000a9c: PUSH2 0x25fa
00000a9f: JUMP
00000aa0: JUMPDEST
00000aa1: PUSH1 0xa0
00000aa3: PUSH1 0x40
00000aa5: MLOAD
00000aa6: SWAP1
00000aa7: DUP2
00000aa8: ADD
00000aa9: PUSH1 0x40
00000aab: MSTORE
00000aac: DUP1
00000aad: PUSH1 0x64
00000aaf: PUSH1 0x0a
00000ab1: PUSH1 0xff
00000ab3: AND
00000ab4: DUP11
00000ab5: MUL
00000ab6: DUP2
00000ab7: ISZERO
00000ab8: ISZERO
00000ab9: PUSH2 0x0abe
00000abc: JUMPI
00000abd: INVALID
00000abe: JUMPDEST
00000abf: DIV
00000ac0: DUP2
00000ac1: MSTORE
00000ac2: PUSH1 0x20
00000ac4: ADD
00000ac5: PUSH1 0x00
00000ac7: DUP2
00000ac8: MSTORE
00000ac9: PUSH1 0x20
00000acb: ADD
00000acc: PUSH1 0x00
00000ace: DUP2
00000acf: MSTORE
00000ad0: PUSH1 0x20
00000ad2: ADD
00000ad3: PUSH1 0x00
00000ad5: DUP2
00000ad6: MSTORE
00000ad7: PUSH1 0x20
00000ad9: ADD
00000ada: PUSH1 0x00
00000adc: DUP2
00000add: MSTORE
00000ade: POP
00000adf: SWAP1
00000ae0: POP
00000ae1: PUSH1 0x0a
00000ae3: PUSH1 0xff
00000ae5: AND
00000ae6: PUSH1 0x04
00000ae8: PUSH1 0xff
00000aea: AND
00000aeb: DUP3
00000aec: PUSH1 0x00
00000aee: PUSH1 0x05
00000af0: DUP2
00000af1: LT
00000af2: ISZERO
00000af3: ISZERO
00000af4: PUSH2 0x0af9
00000af7: JUMPI
00000af8: INVALID
00000af9: JUMPDEST
00000afa: PUSH1 0x20
00000afc: MUL
00000afd: ADD
00000afe: MLOAD
00000aff: MUL
00000b00: DUP2
00000b01: ISZERO
00000b02: ISZERO
00000b03: PUSH2 0x0b08
00000b06: JUMPI
00000b07: INVALID
00000b08: JUMPDEST
00000b09: DIV
00000b0a: DUP2
00000b0b: PUSH1 0x01
00000b0d: PUSH1 0x05
00000b0f: DUP2
00000b10: LT
00000b11: ISZERO
00000b12: ISZERO
00000b13: PUSH2 0x0b18
00000b16: JUMPI
00000b17: INVALID
00000b18: JUMPDEST
00000b19: PUSH1 0x20
00000b1b: MUL
00000b1c: ADD
00000b1d: DUP2
00000b1e: DUP2
00000b1f: MSTORE
00000b20: POP
00000b21: POP
00000b22: PUSH1 0x0a
00000b24: PUSH1 0xff
00000b26: AND
00000b27: PUSH1 0x02
00000b29: PUSH1 0xff
00000b2b: AND
00000b2c: DUP3
00000b2d: PUSH1 0x00
00000b2f: PUSH1 0x05
00000b31: DUP2
00000b32: LT
00000b33: ISZERO
00000b34: ISZERO
00000b35: PUSH2 0x0b3a
00000b38: JUMPI
00000b39: INVALID
00000b3a: JUMPDEST
00000b3b: PUSH1 0x20
00000b3d: MUL
00000b3e: ADD
00000b3f: MLOAD
00000b40: MUL
00000b41: DUP2
00000b42: ISZERO
00000b43: ISZERO
00000b44: PUSH2 0x0b49
00000b47: JUMPI
00000b48: INVALID
00000b49: JUMPDEST
00000b4a: DIV
00000b4b: DUP2
00000b4c: PUSH1 0x02
00000b4e: PUSH1 0x05
00000b50: DUP2
00000b51: LT
00000b52: ISZERO
00000b53: ISZERO
00000b54: PUSH2 0x0b59
00000b57: JUMPI
00000b58: INVALID
00000b59: JUMPDEST
00000b5a: PUSH1 0x20
00000b5c: MUL
00000b5d: ADD
00000b5e: DUP2
00000b5f: DUP2
00000b60: MSTORE
00000b61: POP
00000b62: POP
00000b63: PUSH1 0x0a
00000b65: PUSH1 0xff
00000b67: AND
00000b68: PUSH1 0x02
00000b6a: PUSH1 0xff
00000b6c: AND
00000b6d: DUP3
00000b6e: PUSH1 0x00
00000b70: PUSH1 0x05
00000b72: DUP2
00000b73: LT
00000b74: ISZERO
00000b75: ISZERO
00000b76: PUSH2 0x0b7b
00000b79: JUMPI
00000b7a: INVALID
00000b7b: JUMPDEST
00000b7c: PUSH1 0x20
00000b7e: MUL
00000b7f: ADD
00000b80: MLOAD
00000b81: MUL
00000b82: DUP2
00000b83: ISZERO
00000b84: ISZERO
00000b85: PUSH2 0x0b8a
00000b88: JUMPI
00000b89: INVALID
00000b8a: JUMPDEST
00000b8b: DIV
00000b8c: DUP2
00000b8d: PUSH1 0x03
00000b8f: PUSH1 0x05
00000b91: DUP2
00000b92: LT
00000b93: ISZERO
00000b94: ISZERO
00000b95: PUSH2 0x0b9a
00000b98: JUMPI
00000b99: INVALID
00000b9a: JUMPDEST
00000b9b: PUSH1 0x20
00000b9d: MUL
00000b9e: ADD
00000b9f: DUP2
00000ba0: DUP2
00000ba1: MSTORE
00000ba2: POP
00000ba3: POP
00000ba4: PUSH1 0x0a
00000ba6: PUSH1 0xff
00000ba8: AND
00000ba9: PUSH1 0x01
00000bab: DUP3
00000bac: PUSH1 0x00
00000bae: PUSH1 0x05
00000bb0: DUP2
00000bb1: LT
00000bb2: ISZERO
00000bb3: ISZERO
00000bb4: PUSH2 0x0bb9
00000bb7: JUMPI
00000bb8: INVALID
00000bb9: JUMPDEST
00000bba: PUSH1 0x20
00000bbc: MUL
00000bbd: ADD
00000bbe: MLOAD
00000bbf: MUL
00000bc0: DUP2
00000bc1: ISZERO
00000bc2: ISZERO
00000bc3: PUSH2 0x0bc8
00000bc6: JUMPI
00000bc7: INVALID
00000bc8: JUMPDEST
00000bc9: DIV
00000bca: DUP2
00000bcb: PUSH1 0x04
00000bcd: PUSH1 0x05
00000bcf: DUP2
00000bd0: LT
00000bd1: ISZERO
00000bd2: ISZERO
00000bd3: PUSH2 0x0bd8
00000bd6: JUMPI
00000bd7: INVALID
00000bd8: JUMPDEST
00000bd9: PUSH1 0x20
00000bdb: MUL
00000bdc: ADD
00000bdd: DUP2
00000bde: DUP2
00000bdf: MSTORE
00000be0: POP
00000be1: POP
00000be2: PUSH1 0x00
00000be4: DUP2
00000be5: PUSH1 0x04
00000be7: PUSH1 0x05
00000be9: DUP2
00000bea: LT
00000beb: ISZERO
00000bec: ISZERO
00000bed: PUSH2 0x0bf2
00000bf0: JUMPI
00000bf1: INVALID
00000bf2: JUMPDEST
00000bf3: PUSH1 0x20
00000bf5: MUL
00000bf6: ADD
00000bf7: MLOAD
00000bf8: DUP3
00000bf9: PUSH1 0x03
00000bfb: PUSH1 0x05
00000bfd: DUP2
00000bfe: LT
00000bff: ISZERO
00000c00: ISZERO
00000c01: PUSH2 0x0c06
00000c04: JUMPI
00000c05: INVALID
00000c06: JUMPDEST
00000c07: PUSH1 0x20
00000c09: MUL
00000c0a: ADD
00000c0b: MLOAD
00000c0c: DUP4
00000c0d: PUSH1 0x02
00000c0f: PUSH1 0x05
00000c11: DUP2
00000c12: LT
00000c13: ISZERO
00000c14: ISZERO
00000c15: PUSH2 0x0c1a
00000c18: JUMPI
00000c19: INVALID
00000c1a: JUMPDEST
00000c1b: PUSH1 0x20
00000c1d: MUL
00000c1e: ADD
00000c1f: MLOAD
00000c20: DUP5
00000c21: PUSH1 0x01
00000c23: PUSH1 0x05
00000c25: DUP2
00000c26: LT
00000c27: ISZERO
00000c28: ISZERO
00000c29: PUSH2 0x0c2e
00000c2c: JUMPI
00000c2d: INVALID
00000c2e: JUMPDEST
00000c2f: PUSH1 0x20
00000c31: MUL
00000c32: ADD
00000c33: MLOAD
00000c34: DUP6
00000c35: PUSH1 0x00
00000c37: PUSH1 0x05
00000c39: DUP2
00000c3a: LT
00000c3b: ISZERO
00000c3c: ISZERO
00000c3d: PUSH2 0x0c42
00000c40: JUMPI
00000c41: INVALID
00000c42: JUMPDEST
00000c43: PUSH1 0x20
00000c45: MUL
00000c46: ADD
00000c47: MLOAD
00000c48: SUB
00000c49: SUB
00000c4a: SUB
00000c4b: SUB
00000c4c: SWAP1
00000c4d: POP
00000c4e: PUSH1 0x00
00000c50: DUP3
00000c51: PUSH1 0x00
00000c53: PUSH1 0x05
00000c55: DUP2
00000c56: LT
00000c57: ISZERO
00000c58: ISZERO
00000c59: PUSH2 0x0c5e
00000c5c: JUMPI
00000c5d: INVALID
00000c5e: JUMPDEST
00000c5f: PUSH1 0x20
00000c61: MUL
00000c62: ADD
00000c63: MLOAD
00000c64: DUP10
00000c65: SUB
00000c66: SWAP1
00000c67: POP
00000c68: PUSH1 0x00
00000c6a: PUSH2 0x0c72
00000c6d: DUP11
00000c6e: PUSH2 0x163d
00000c71: JUMP
00000c72: JUMPDEST
00000c73: SWAP1
00000c74: POP
00000c75: PUSH1 0x00
00000c77: PUSH9 0x010000000000000000
00000c81: DUP5
00000c82: MUL
00000c83: SWAP1
00000c84: POP
00000c85: PUSH1 0x00
00000c87: DUP3
00000c88: GT
00000c89: ISZERO
00000c8a: ISZERO
00000c8b: PUSH2 0x0c93
00000c8e: JUMPI
00000c8f: PUSH1 0x00
00000c91: DUP1
00000c92: REVERT
00000c93: JUMPDEST
00000c94: PUSH1 0x00
00000c96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cab: AND
00000cac: DUP11
00000cad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc2: AND
00000cc3: EQ
00000cc4: ISZERO
00000cc5: DUP1
00000cc6: ISZERO
00000cc7: PUSH2 0x0d1a
00000cca: JUMPI
00000ccb: POP
00000ccc: PUSH1 0x03
00000cce: SLOAD
00000ccf: PUSH7 0x038d7ea4c68000
00000cd7: PUSH1 0x04
00000cd9: PUSH1 0x00
00000cdb: DUP14
00000cdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf1: AND
00000cf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d07: AND
00000d08: DUP2
00000d09: MSTORE
00000d0a: PUSH1 0x20
00000d0c: ADD
00000d0d: SWAP1
00000d0e: DUP2
00000d0f: MSTORE
00000d10: PUSH1 0x20
00000d12: ADD
00000d13: PUSH1 0x00
00000d15: KECCAK256
00000d16: SLOAD
00000d17: MUL
00000d18: LT
00000d19: ISZERO
00000d1a: JUMPDEST
00000d1b: ISZERO
00000d1c: PUSH2 0x0d84
00000d1f: JUMPI
00000d20: DUP5
00000d21: PUSH1 0x01
00000d23: PUSH1 0x05
00000d25: DUP2
00000d26: LT
00000d27: ISZERO
00000d28: ISZERO
00000d29: PUSH2 0x0d2e
00000d2c: JUMPI
00000d2d: INVALID
00000d2e: JUMPDEST
00000d2f: PUSH1 0x20
00000d31: MUL
00000d32: ADD
00000d33: MLOAD
00000d34: PUSH1 0x05
00000d36: PUSH1 0x00
00000d38: DUP13
00000d39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4e: AND
00000d4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d64: AND
00000d65: DUP2
00000d66: MSTORE
00000d67: PUSH1 0x20
00000d69: ADD
00000d6a: SWAP1
00000d6b: DUP2
00000d6c: MSTORE
00000d6d: PUSH1 0x20
00000d6f: ADD
00000d70: PUSH1 0x00
00000d72: KECCAK256
00000d73: PUSH1 0x00
00000d75: DUP3
00000d76: DUP3
00000d77: SLOAD
00000d78: ADD
00000d79: SWAP3
00000d7a: POP
00000d7b: POP
00000d7c: DUP2
00000d7d: SWAP1
00000d7e: SSTORE
00000d7f: POP
00000d80: PUSH2 0x0dfd
00000d83: JUMP
00000d84: JUMPDEST
00000d85: DUP5
00000d86: PUSH1 0x01
00000d88: PUSH1 0x05
00000d8a: DUP2
00000d8b: LT
00000d8c: ISZERO
00000d8d: ISZERO
00000d8e: PUSH2 0x0d93
00000d91: JUMPI
00000d92: INVALID
00000d93: JUMPDEST
00000d94: PUSH1 0x20
00000d96: MUL
00000d97: ADD
00000d98: MLOAD
00000d99: PUSH1 0x05
00000d9b: PUSH1 0x00
00000d9d: PUSH20 0xca27ff938c760391e76b7ada887288caf9bf6ada
00000db2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc7: AND
00000dc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ddd: AND
00000dde: DUP2
00000ddf: MSTORE
00000de0: PUSH1 0x20
00000de2: ADD
00000de3: SWAP1
00000de4: DUP2
00000de5: MSTORE
00000de6: PUSH1 0x20
00000de8: ADD
00000de9: PUSH1 0x00
00000deb: KECCAK256
00000dec: PUSH1 0x00
00000dee: DUP3
00000def: DUP3
00000df0: SLOAD
00000df1: ADD
00000df2: SWAP3
00000df3: POP
00000df4: POP
00000df5: DUP2
00000df6: SWAP1
00000df7: SSTORE
00000df8: POP
00000df9: PUSH1 0x00
00000dfb: SWAP10
00000dfc: POP
00000dfd: JUMPDEST
00000dfe: PUSH1 0x00
00000e00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e15: AND
00000e16: DUP10
00000e17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e2c: AND
00000e2d: EQ
00000e2e: ISZERO
00000e2f: DUP1
00000e30: ISZERO
00000e31: PUSH2 0x0e84
00000e34: JUMPI
00000e35: POP
00000e36: PUSH1 0x03
00000e38: SLOAD
00000e39: PUSH7 0x038d7ea4c68000
00000e41: PUSH1 0x04
00000e43: PUSH1 0x00
00000e45: DUP13
00000e46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5b: AND
00000e5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e71: AND
00000e72: DUP2
00000e73: MSTORE
00000e74: PUSH1 0x20
00000e76: ADD
00000e77: SWAP1
00000e78: DUP2
00000e79: MSTORE
00000e7a: PUSH1 0x20
00000e7c: ADD
00000e7d: PUSH1 0x00
00000e7f: KECCAK256
00000e80: SLOAD
00000e81: MUL
00000e82: LT
00000e83: ISZERO
00000e84: JUMPDEST
00000e85: ISZERO
00000e86: PUSH2 0x0eee
00000e89: JUMPI
00000e8a: DUP5
00000e8b: PUSH1 0x02
00000e8d: PUSH1 0x05
00000e8f: DUP2
00000e90: LT
00000e91: ISZERO
00000e92: ISZERO
00000e93: PUSH2 0x0e98
00000e96: JUMPI
00000e97: INVALID
00000e98: JUMPDEST
00000e99: PUSH1 0x20
00000e9b: MUL
00000e9c: ADD
00000e9d: MLOAD
00000e9e: PUSH1 0x05
00000ea0: PUSH1 0x00
00000ea2: DUP12
00000ea3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb8: AND
00000eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ece: AND
00000ecf: DUP2
00000ed0: MSTORE
00000ed1: PUSH1 0x20
00000ed3: ADD
00000ed4: SWAP1
00000ed5: DUP2
00000ed6: MSTORE
00000ed7: PUSH1 0x20
00000ed9: ADD
00000eda: PUSH1 0x00
00000edc: KECCAK256
00000edd: PUSH1 0x00
00000edf: DUP3
00000ee0: DUP3
00000ee1: SLOAD
00000ee2: ADD
00000ee3: SWAP3
00000ee4: POP
00000ee5: POP
00000ee6: DUP2
00000ee7: SWAP1
00000ee8: SSTORE
00000ee9: POP
00000eea: PUSH2 0x0f67
00000eed: JUMP
00000eee: JUMPDEST
00000eef: DUP5
00000ef0: PUSH1 0x02
00000ef2: PUSH1 0x05
00000ef4: DUP2
00000ef5: LT
00000ef6: ISZERO
00000ef7: ISZERO
00000ef8: PUSH2 0x0efd
00000efb: JUMPI
00000efc: INVALID
00000efd: JUMPDEST
00000efe: PUSH1 0x20
00000f00: MUL
00000f01: ADD
00000f02: MLOAD
00000f03: PUSH1 0x05
00000f05: PUSH1 0x00
00000f07: PUSH20 0xca27ff938c760391e76b7ada887288caf9bf6ada
00000f1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f31: AND
00000f32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f47: AND
00000f48: DUP2
00000f49: MSTORE
00000f4a: PUSH1 0x20
00000f4c: ADD
00000f4d: SWAP1
00000f4e: DUP2
00000f4f: MSTORE
00000f50: PUSH1 0x20
00000f52: ADD
00000f53: PUSH1 0x00
00000f55: KECCAK256
00000f56: PUSH1 0x00
00000f58: DUP3
00000f59: DUP3
00000f5a: SLOAD
00000f5b: ADD
00000f5c: SWAP3
00000f5d: POP
00000f5e: POP
00000f5f: DUP2
00000f60: SWAP1
00000f61: SSTORE
00000f62: POP
00000f63: PUSH1 0x00
00000f65: SWAP9
00000f66: POP
00000f67: JUMPDEST
00000f68: PUSH1 0x00
00000f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7f: AND
00000f80: DUP9
00000f81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f96: AND
00000f97: EQ
00000f98: ISZERO
00000f99: DUP1
00000f9a: ISZERO
00000f9b: PUSH2 0x0fee
00000f9e: JUMPI
00000f9f: POP
00000fa0: PUSH1 0x03
00000fa2: SLOAD
00000fa3: PUSH7 0x038d7ea4c68000
00000fab: PUSH1 0x04
00000fad: PUSH1 0x00
00000faf: DUP12
00000fb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc5: AND
00000fc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fdb: AND
00000fdc: DUP2
00000fdd: MSTORE
00000fde: PUSH1 0x20
00000fe0: ADD
00000fe1: SWAP1
00000fe2: DUP2
00000fe3: MSTORE
00000fe4: PUSH1 0x20
00000fe6: ADD
00000fe7: PUSH1 0x00
00000fe9: KECCAK256
00000fea: SLOAD
00000feb: MUL
00000fec: LT
00000fed: ISZERO
00000fee: JUMPDEST
00000fef: ISZERO
00000ff0: PUSH2 0x1058
00000ff3: JUMPI
00000ff4: DUP5
00000ff5: PUSH1 0x03
00000ff7: PUSH1 0x05
00000ff9: DUP2
00000ffa: LT
00000ffb: ISZERO
00000ffc: ISZERO
00000ffd: PUSH2 0x1002
00001000: JUMPI
00001001: INVALID
00001002: JUMPDEST
00001003: PUSH1 0x20
00001005: MUL
00001006: ADD
00001007: MLOAD
00001008: PUSH1 0x05
0000100a: PUSH1 0x00
0000100c: DUP11
0000100d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001022: AND
00001023: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001038: AND
00001039: DUP2
0000103a: MSTORE
0000103b: PUSH1 0x20
0000103d: ADD
0000103e: SWAP1
0000103f: DUP2
00001040: MSTORE
00001041: PUSH1 0x20
00001043: ADD
00001044: PUSH1 0x00
00001046: KECCAK256
00001047: PUSH1 0x00
00001049: DUP3
0000104a: DUP3
0000104b: SLOAD
0000104c: ADD
0000104d: SWAP3
0000104e: POP
0000104f: POP
00001050: DUP2
00001051: SWAP1
00001052: SSTORE
00001053: POP
00001054: PUSH2 0x10d1
00001057: JUMP
00001058: JUMPDEST
00001059: DUP5
0000105a: PUSH1 0x03
0000105c: PUSH1 0x05
0000105e: DUP2
0000105f: LT
00001060: ISZERO
00001061: ISZERO
00001062: PUSH2 0x1067
00001065: JUMPI
00001066: INVALID
00001067: JUMPDEST
00001068: PUSH1 0x20
0000106a: MUL
0000106b: ADD
0000106c: MLOAD
0000106d: PUSH1 0x05
0000106f: PUSH1 0x00
00001071: PUSH20 0xca27ff938c760391e76b7ada887288caf9bf6ada
00001086: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000109b: AND
0000109c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b1: AND
000010b2: DUP2
000010b3: MSTORE
000010b4: PUSH1 0x20
000010b6: ADD
000010b7: SWAP1
000010b8: DUP2
000010b9: MSTORE
000010ba: PUSH1 0x20
000010bc: ADD
000010bd: PUSH1 0x00
000010bf: KECCAK256
000010c0: PUSH1 0x00
000010c2: DUP3
000010c3: DUP3
000010c4: SLOAD
000010c5: ADD
000010c6: SWAP3
000010c7: POP
000010c8: POP
000010c9: DUP2
000010ca: SWAP1
000010cb: SSTORE
000010cc: POP
000010cd: PUSH1 0x00
000010cf: SWAP8
000010d0: POP
000010d1: JUMPDEST
000010d2: DUP3
000010d3: PUSH1 0x05
000010d5: PUSH1 0x00
000010d7: PUSH20 0xf43414abb5a05c3037910506571e4333e16a4bf4
000010ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001101: AND
00001102: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001117: AND
00001118: DUP2
00001119: MSTORE
0000111a: PUSH1 0x20
0000111c: ADD
0000111d: SWAP1
0000111e: DUP2
0000111f: MSTORE
00001120: PUSH1 0x20
00001122: ADD
00001123: PUSH1 0x00
00001125: KECCAK256
00001126: PUSH1 0x00
00001128: DUP3
00001129: DUP3
0000112a: SLOAD
0000112b: ADD
0000112c: SWAP3
0000112d: POP
0000112e: POP
0000112f: DUP2
00001130: SWAP1
00001131: SSTORE
00001132: POP
00001133: PUSH1 0x00
00001135: PUSH1 0x09
00001137: SLOAD
00001138: GT
00001139: ISZERO
0000113a: PUSH2 0x119b
0000113d: JUMPI
0000113e: DUP2
0000113f: PUSH1 0x09
00001141: PUSH1 0x00
00001143: DUP3
00001144: DUP3
00001145: SLOAD
00001146: ADD
00001147: SWAP3
00001148: POP
00001149: POP
0000114a: DUP2
0000114b: SWAP1
0000114c: SSTORE
0000114d: POP
0000114e: PUSH1 0x09
00001150: SLOAD
00001151: PUSH9 0x010000000000000000
0000115b: DUP6
0000115c: MUL
0000115d: DUP2
0000115e: ISZERO
0000115f: ISZERO
00001160: PUSH2 0x1165
00001163: JUMPI
00001164: INVALID
00001165: JUMPDEST
00001166: DIV
00001167: PUSH1 0x0a
00001169: PUSH1 0x00
0000116b: DUP3
0000116c: DUP3
0000116d: SLOAD
0000116e: ADD
0000116f: SWAP3
00001170: POP
00001171: POP
00001172: DUP2
00001173: SWAP1
00001174: SSTORE
00001175: POP
00001176: PUSH1 0x09
00001178: SLOAD
00001179: PUSH9 0x010000000000000000
00001183: DUP6
00001184: MUL
00001185: DUP2
00001186: ISZERO
00001187: ISZERO
00001188: PUSH2 0x118d
0000118b: JUMPI
0000118c: INVALID
0000118d: JUMPDEST
0000118e: DIV
0000118f: DUP3
00001190: MUL
00001191: DUP2
00001192: SUB
00001193: DUP2
00001194: SUB
00001195: SWAP1
00001196: POP
00001197: PUSH2 0x11a3
0000119a: JUMP
0000119b: JUMPDEST
0000119c: DUP2
0000119d: PUSH1 0x09
0000119f: DUP2
000011a0: SWAP1
000011a1: SSTORE
000011a2: POP
000011a3: JUMPDEST
000011a4: DUP2
000011a5: PUSH1 0x04
000011a7: PUSH1 0x00
000011a9: DUP9
000011aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011bf: AND
000011c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d5: AND
000011d6: DUP2
000011d7: MSTORE
000011d8: PUSH1 0x20
000011da: ADD
000011db: SWAP1
000011dc: DUP2
000011dd: MSTORE
000011de: PUSH1 0x20
000011e0: ADD
000011e1: PUSH1 0x00
000011e3: KECCAK256
000011e4: PUSH1 0x00
000011e6: DUP3
000011e7: DUP3
000011e8: SLOAD
000011e9: ADD
000011ea: SWAP3
000011eb: POP
000011ec: POP
000011ed: DUP2
000011ee: SWAP1
000011ef: SSTORE
000011f0: POP
000011f1: PUSH1 0x00
000011f3: DUP2
000011f4: DUP4
000011f5: PUSH1 0x0a
000011f7: SLOAD
000011f8: MUL
000011f9: SUB
000011fa: SWAP1
000011fb: POP
000011fc: DUP1
000011fd: PUSH1 0x06
000011ff: PUSH1 0x00
00001201: DUP10
00001202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001217: AND
00001218: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122d: AND
0000122e: DUP2
0000122f: MSTORE
00001230: PUSH1 0x20
00001232: ADD
00001233: SWAP1
00001234: DUP2
00001235: MSTORE
00001236: PUSH1 0x20
00001238: ADD
00001239: PUSH1 0x00
0000123b: KECCAK256
0000123c: PUSH1 0x00
0000123e: DUP3
0000123f: DUP3
00001240: SLOAD
00001241: ADD
00001242: SWAP3
00001243: POP
00001244: POP
00001245: DUP2
00001246: SWAP1
00001247: SSTORE
00001248: POP
00001249: PUSH20 0x897d6c6772b85bf25b46c6f6da454133478ea6ab
0000125e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001273: AND
00001274: PUSH4 0xb60d4288
00001279: DUP8
0000127a: PUSH1 0x04
0000127c: PUSH1 0x05
0000127e: DUP2
0000127f: LT
00001280: ISZERO
00001281: ISZERO
00001282: PUSH2 0x1287
00001285: JUMPI
00001286: INVALID
00001287: JUMPDEST
00001288: PUSH1 0x20
0000128a: MUL
0000128b: ADD
0000128c: MLOAD
0000128d: PUSH1 0x40
0000128f: MLOAD
00001290: DUP3
00001291: PUSH4 0xffffffff
00001296: AND
00001297: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000012b5: MUL
000012b6: DUP2
000012b7: MSTORE
000012b8: PUSH1 0x04
000012ba: ADD
000012bb: PUSH1 0x00
000012bd: PUSH1 0x40
000012bf: MLOAD
000012c0: DUP1
000012c1: DUP4
000012c2: SUB
000012c3: DUP2
000012c4: DUP6
000012c5: DUP9
000012c6: DUP1
000012c7: EXTCODESIZE
000012c8: ISZERO
000012c9: DUP1
000012ca: ISZERO
000012cb: PUSH2 0x12d3
000012ce: JUMPI
000012cf: PUSH1 0x00
000012d1: DUP1
000012d2: REVERT
000012d3: JUMPDEST
000012d4: POP
000012d5: GAS
000012d6: CALL
000012d7: ISZERO
000012d8: DUP1
000012d9: ISZERO
000012da: PUSH2 0x12e7
000012dd: JUMPI
000012de: RETURNDATASIZE
000012df: PUSH1 0x00
000012e1: DUP1
000012e2: RETURNDATACOPY
000012e3: RETURNDATASIZE
000012e4: PUSH1 0x00
000012e6: REVERT
000012e7: JUMPDEST
000012e8: POP
000012e9: POP
000012ea: POP
000012eb: POP
000012ec: POP
000012ed: DUP7
000012ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001303: AND
00001304: PUSH32 0x40a1d6f54a18383973455ecc09aed928163ec90ef70170fc54f28da79daa07cb
00001325: DUP14
00001326: DUP6
00001327: DUP15
00001328: DUP15
00001329: DUP15
0000132a: TIMESTAMP
0000132b: PUSH1 0x40
0000132d: MLOAD
0000132e: DUP1
0000132f: DUP8
00001330: DUP2
00001331: MSTORE
00001332: PUSH1 0x20
00001334: ADD
00001335: DUP7
00001336: DUP2
00001337: MSTORE
00001338: PUSH1 0x20
0000133a: ADD
0000133b: DUP6
0000133c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001351: AND
00001352: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001367: AND
00001368: DUP2
00001369: MSTORE
0000136a: PUSH1 0x20
0000136c: ADD
0000136d: DUP5
0000136e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001383: AND
00001384: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001399: AND
0000139a: DUP2
0000139b: MSTORE
0000139c: PUSH1 0x20
0000139e: ADD
0000139f: DUP4
000013a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b5: AND
000013b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013cb: AND
000013cc: DUP2
000013cd: MSTORE
000013ce: PUSH1 0x20
000013d0: ADD
000013d1: DUP3
000013d2: DUP2
000013d3: MSTORE
000013d4: PUSH1 0x20
000013d6: ADD
000013d7: SWAP7
000013d8: POP
000013d9: POP
000013da: POP
000013db: POP
000013dc: POP
000013dd: POP
000013de: POP
000013df: PUSH1 0x40
000013e1: MLOAD
000013e2: DUP1
000013e3: SWAP2
000013e4: SUB
000013e5: SWAP1
000013e6: LOG2
000013e7: DUP3
000013e8: SWAP8
000013e9: POP
000013ea: POP
000013eb: POP
000013ec: POP
000013ed: POP
000013ee: POP
000013ef: POP
000013f0: POP
000013f1: SWAP5
000013f2: SWAP4
000013f3: POP
000013f4: POP
000013f5: POP
000013f6: POP
000013f7: JUMP
000013f8: JUMPDEST
000013f9: PUSH1 0x00
000013fb: PUSH9 0x010000000000000000
00001405: PUSH1 0x06
00001407: PUSH1 0x00
00001409: DUP5
0000140a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141f: AND
00001420: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001435: AND
00001436: DUP2
00001437: MSTORE
00001438: PUSH1 0x20
0000143a: ADD
0000143b: SWAP1
0000143c: DUP2
0000143d: MSTORE
0000143e: PUSH1 0x20
00001440: ADD
00001441: PUSH1 0x00
00001443: KECCAK256
00001444: SLOAD
00001445: PUSH1 0x04
00001447: PUSH1 0x00
00001449: DUP6
0000144a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145f: AND
00001460: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001475: AND
00001476: DUP2
00001477: MSTORE
00001478: PUSH1 0x20
0000147a: ADD
0000147b: SWAP1
0000147c: DUP2
0000147d: MSTORE
0000147e: PUSH1 0x20
00001480: ADD
00001481: PUSH1 0x00
00001483: KECCAK256
00001484: SLOAD
00001485: PUSH1 0x0a
00001487: SLOAD
00001488: MUL
00001489: SUB
0000148a: DUP2
0000148b: ISZERO
0000148c: ISZERO
0000148d: PUSH2 0x1492
00001490: JUMPI
00001491: INVALID
00001492: JUMPDEST
00001493: DIV
00001494: SWAP1
00001495: POP
00001496: SWAP2
00001497: SWAP1
00001498: POP
00001499: JUMP
0000149a: JUMPDEST
0000149b: PUSH1 0x00
0000149d: DUP1
0000149e: SLOAD
0000149f: PUSH1 0x01
000014a1: DUP2
000014a2: PUSH1 0x01
000014a4: AND
000014a5: ISZERO
000014a6: PUSH2 0x0100
000014a9: MUL
000014aa: SUB
000014ab: AND
000014ac: PUSH1 0x02
000014ae: SWAP1
000014af: DIV
000014b0: DUP1
000014b1: PUSH1 0x1f
000014b3: ADD
000014b4: PUSH1 0x20
000014b6: DUP1
000014b7: SWAP2
000014b8: DIV
000014b9: MUL
000014ba: PUSH1 0x20
000014bc: ADD
000014bd: PUSH1 0x40
000014bf: MLOAD
000014c0: SWAP1
000014c1: DUP2
000014c2: ADD
000014c3: PUSH1 0x40
000014c5: MSTORE
000014c6: DUP1
000014c7: SWAP3
000014c8: SWAP2
000014c9: SWAP1
000014ca: DUP2
000014cb: DUP2
000014cc: MSTORE
000014cd: PUSH1 0x20
000014cf: ADD
000014d0: DUP3
000014d1: DUP1
000014d2: SLOAD
000014d3: PUSH1 0x01
000014d5: DUP2
000014d6: PUSH1 0x01
000014d8: AND
000014d9: ISZERO
000014da: PUSH2 0x0100
000014dd: MUL
000014de: SUB
000014df: AND
000014e0: PUSH1 0x02
000014e2: SWAP1
000014e3: DIV
000014e4: DUP1
000014e5: ISZERO
000014e6: PUSH2 0x1530
000014e9: JUMPI
000014ea: DUP1
000014eb: PUSH1 0x1f
000014ed: LT
000014ee: PUSH2 0x1505
000014f1: JUMPI
000014f2: PUSH2 0x0100
000014f5: DUP1
000014f6: DUP4
000014f7: SLOAD
000014f8: DIV
000014f9: MUL
000014fa: DUP4
000014fb: MSTORE
000014fc: SWAP2
000014fd: PUSH1 0x20
000014ff: ADD
00001500: SWAP2
00001501: PUSH2 0x1530
00001504: JUMP
00001505: JUMPDEST
00001506: DUP3
00001507: ADD
00001508: SWAP2
00001509: SWAP1
0000150a: PUSH1 0x00
0000150c: MSTORE
0000150d: PUSH1 0x20
0000150f: PUSH1 0x00
00001511: KECCAK256
00001512: SWAP1
00001513: JUMPDEST
00001514: DUP2
00001515: SLOAD
00001516: DUP2
00001517: MSTORE
00001518: SWAP1
00001519: PUSH1 0x01
0000151b: ADD
0000151c: SWAP1
0000151d: PUSH1 0x20
0000151f: ADD
00001520: DUP1
00001521: DUP4
00001522: GT
00001523: PUSH2 0x1513
00001526: JUMPI
00001527: DUP3
00001528: SWAP1
00001529: SUB
0000152a: PUSH1 0x1f
0000152c: AND
0000152d: DUP3
0000152e: ADD
0000152f: SWAP2
00001530: JUMPDEST
00001531: POP
00001532: POP
00001533: POP
00001534: POP
00001535: POP
00001536: DUP2
00001537: JUMP
00001538: JUMPDEST
00001539: PUSH1 0x02
0000153b: PUSH1 0x00
0000153d: SWAP1
0000153e: SLOAD
0000153f: SWAP1
00001540: PUSH2 0x0100
00001543: EXP
00001544: SWAP1
00001545: DIV
00001546: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155b: AND
0000155c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001571: AND
00001572: CALLER
00001573: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001588: AND
00001589: EQ
0000158a: ISZERO
0000158b: ISZERO
0000158c: PUSH2 0x1594
0000158f: JUMPI
00001590: PUSH1 0x00
00001592: DUP1
00001593: REVERT
00001594: JUMPDEST
00001595: PUSH1 0x01
00001597: PUSH1 0x08
00001599: PUSH1 0x00
0000159b: DUP4
0000159c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b1: AND
000015b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c7: AND
000015c8: DUP2
000015c9: MSTORE
000015ca: PUSH1 0x20
000015cc: ADD
000015cd: SWAP1
000015ce: DUP2
000015cf: MSTORE
000015d0: PUSH1 0x20
000015d2: ADD
000015d3: PUSH1 0x00
000015d5: KECCAK256
000015d6: PUSH1 0x00
000015d8: PUSH2 0x0100
000015db: EXP
000015dc: DUP2
000015dd: SLOAD
000015de: DUP2
000015df: PUSH1 0xff
000015e1: MUL
000015e2: NOT
000015e3: AND
000015e4: SWAP1
000015e5: DUP4
000015e6: ISZERO
000015e7: ISZERO
000015e8: MUL
000015e9: OR
000015ea: SWAP1
000015eb: SSTORE
000015ec: POP
000015ed: DUP1
000015ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001603: AND
00001604: PUSH32 0xa15bff57f6fd0757f45eac123fa6ebffb10440be8c467ffcf243571c07116642
00001625: TIMESTAMP
00001626: PUSH1 0x40
00001628: MLOAD
00001629: DUP1
0000162a: DUP3
0000162b: DUP2
0000162c: MSTORE
0000162d: PUSH1 0x20
0000162f: ADD
00001630: SWAP2
00001631: POP
00001632: POP
00001633: PUSH1 0x40
00001635: MLOAD
00001636: DUP1
00001637: SWAP2
00001638: SUB
00001639: SWAP1
0000163a: LOG2
0000163b: POP
0000163c: JUMP
0000163d: JUMPDEST
0000163e: PUSH1 0x00
00001640: DUP1
00001641: PUSH7 0x038d7ea4c68000
00001649: PUSH8 0x0de0b6b3a7640000
00001652: DUP5
00001653: MUL
00001654: DUP2
00001655: ISZERO
00001656: ISZERO
00001657: PUSH2 0x165c
0000165a: JUMPI
0000165b: INVALID
0000165c: JUMPDEST
0000165d: DIV
0000165e: SWAP1
0000165f: POP
00001660: DUP1
00001661: SWAP2
00001662: POP
00001663: POP
00001664: SWAP2
00001665: SWAP1
00001666: POP
00001667: JUMP
00001668: JUMPDEST
00001669: PUSH1 0x12
0000166b: DUP2
0000166c: JUMP
0000166d: JUMPDEST
0000166e: PUSH1 0x08
00001670: PUSH1 0x00
00001672: CALLER
00001673: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001688: AND
00001689: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169e: AND
0000169f: DUP2
000016a0: MSTORE
000016a1: PUSH1 0x20
000016a3: ADD
000016a4: SWAP1
000016a5: DUP2
000016a6: MSTORE
000016a7: PUSH1 0x20
000016a9: ADD
000016aa: PUSH1 0x00
000016ac: KECCAK256
000016ad: PUSH1 0x00
000016af: SWAP1
000016b0: SLOAD
000016b1: SWAP1
000016b2: PUSH2 0x0100
000016b5: EXP
000016b6: SWAP1
000016b7: DIV
000016b8: PUSH1 0xff
000016ba: AND
000016bb: ISZERO
000016bc: ISZERO
000016bd: PUSH2 0x1754
000016c0: JUMPI
000016c1: PUSH1 0x40
000016c3: MLOAD
000016c4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016e5: DUP2
000016e6: MSTORE
000016e7: PUSH1 0x04
000016e9: ADD
000016ea: DUP1
000016eb: DUP1
000016ec: PUSH1 0x20
000016ee: ADD
000016ef: DUP3
000016f0: DUP2
000016f1: SUB
000016f2: DUP3
000016f3: MSTORE
000016f4: PUSH1 0x2f
000016f6: DUP2
000016f7: MSTORE
000016f8: PUSH1 0x20
000016fa: ADD
000016fb: DUP1
000016fc: PUSH32 0x4e6f7420616c6c6f77656420746f207061737320696e7465726573742066726f
0000171d: DUP2
0000171e: MSTORE
0000171f: PUSH1 0x20
00001721: ADD
00001722: PUSH32 0x6d20796f757220616464726573732e0000000000000000000000000000000000
00001743: DUP2
00001744: MSTORE
00001745: POP
00001746: PUSH1 0x40
00001748: ADD
00001749: SWAP2
0000174a: POP
0000174b: POP
0000174c: PUSH1 0x40
0000174e: MLOAD
0000174f: DUP1
00001750: SWAP2
00001751: SUB
00001752: SWAP1
00001753: REVERT
00001754: JUMPDEST
00001755: PUSH1 0x00
00001757: CALLVALUE
00001758: GT
00001759: ISZERO
0000175a: ISZERO
0000175b: PUSH2 0x1763
0000175e: JUMPI
0000175f: PUSH1 0x00
00001761: DUP1
00001762: REVERT
00001763: JUMPDEST
00001764: CALLVALUE
00001765: PUSH1 0x05
00001767: PUSH1 0x00
00001769: DUP6
0000176a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177f: AND
00001780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001795: AND
00001796: DUP2
00001797: MSTORE
00001798: PUSH1 0x20
0000179a: ADD
0000179b: SWAP1
0000179c: DUP2
0000179d: MSTORE
0000179e: PUSH1 0x20
000017a0: ADD
000017a1: PUSH1 0x00
000017a3: KECCAK256
000017a4: PUSH1 0x00
000017a6: DUP3
000017a7: DUP3
000017a8: SLOAD
000017a9: ADD
000017aa: SWAP3
000017ab: POP
000017ac: POP
000017ad: DUP2
000017ae: SWAP1
000017af: SSTORE
000017b0: POP
000017b1: DUP3
000017b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c7: AND
000017c8: PUSH32 0x6c1600d1186e2b773f1ac8efc7947825d42085bc5663b920aa281a874efacf2a
000017e9: CALLVALUE
000017ea: DUP5
000017eb: DUP5
000017ec: TIMESTAMP
000017ed: PUSH1 0x40
000017ef: MLOAD
000017f0: DUP1
000017f1: DUP6
000017f2: DUP2
000017f3: MSTORE
000017f4: PUSH1 0x20
000017f6: ADD
000017f7: DUP5
000017f8: DUP2
000017f9: MSTORE
000017fa: PUSH1 0x20
000017fc: ADD
000017fd: DUP4
000017fe: DUP2
000017ff: MSTORE
00001800: PUSH1 0x20
00001802: ADD
00001803: DUP3
00001804: DUP2
00001805: MSTORE
00001806: PUSH1 0x20
00001808: ADD
00001809: SWAP5
0000180a: POP
0000180b: POP
0000180c: POP
0000180d: POP
0000180e: POP
0000180f: PUSH1 0x40
00001811: MLOAD
00001812: DUP1
00001813: SWAP2
00001814: SUB
00001815: SWAP1
00001816: LOG2
00001817: POP
00001818: POP
00001819: POP
0000181a: JUMP
0000181b: JUMPDEST
0000181c: PUSH1 0x00
0000181e: PUSH2 0x1827
00001821: PUSH1 0x01
00001823: PUSH2 0x1a06
00001826: JUMP
00001827: JUMPDEST
00001828: GT
00001829: ISZERO
0000182a: ISZERO
0000182b: PUSH2 0x1833
0000182e: JUMPI
0000182f: PUSH1 0x00
00001831: DUP1
00001832: REVERT
00001833: JUMPDEST
00001834: PUSH1 0x00
00001836: CALLER
00001837: SWAP1
00001838: POP
00001839: PUSH1 0x00
0000183b: PUSH2 0x1844
0000183e: PUSH1 0x00
00001840: PUSH2 0x1a06
00001843: JUMP
00001844: JUMPDEST
00001845: SWAP1
00001846: POP
00001847: PUSH9 0x010000000000000000
00001851: DUP2
00001852: MUL
00001853: PUSH1 0x06
00001855: PUSH1 0x00
00001857: DUP5
00001858: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186d: AND
0000186e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001883: AND
00001884: DUP2
00001885: MSTORE
00001886: PUSH1 0x20
00001888: ADD
00001889: SWAP1
0000188a: DUP2
0000188b: MSTORE
0000188c: PUSH1 0x20
0000188e: ADD
0000188f: PUSH1 0x00
00001891: KECCAK256
00001892: PUSH1 0x00
00001894: DUP3
00001895: DUP3
00001896: SLOAD
00001897: ADD
00001898: SWAP3
00001899: POP
0000189a: POP
0000189b: DUP2
0000189c: SWAP1
0000189d: SSTORE
0000189e: POP
0000189f: PUSH1 0x05
000018a1: PUSH1 0x00
000018a3: DUP4
000018a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b9: AND
000018ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018cf: AND
000018d0: DUP2
000018d1: MSTORE
000018d2: PUSH1 0x20
000018d4: ADD
000018d5: SWAP1
000018d6: DUP2
000018d7: MSTORE
000018d8: PUSH1 0x20
000018da: ADD
000018db: PUSH1 0x00
000018dd: KECCAK256
000018de: SLOAD
000018df: DUP2
000018e0: ADD
000018e1: SWAP1
000018e2: POP
000018e3: PUSH1 0x00
000018e5: PUSH1 0x05
000018e7: PUSH1 0x00
000018e9: DUP5
000018ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ff: AND
00001900: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001915: AND
00001916: DUP2
00001917: MSTORE
00001918: PUSH1 0x20
0000191a: ADD
0000191b: SWAP1
0000191c: DUP2
0000191d: MSTORE
0000191e: PUSH1 0x20
00001920: ADD
00001921: PUSH1 0x00
00001923: KECCAK256
00001924: DUP2
00001925: SWAP1
00001926: SSTORE
00001927: POP
00001928: DUP2
00001929: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000193e: AND
0000193f: PUSH2 0x08fc
00001942: DUP3
00001943: SWAP1
00001944: DUP2
00001945: ISZERO
00001946: MUL
00001947: SWAP1
00001948: PUSH1 0x40
0000194a: MLOAD
0000194b: PUSH1 0x00
0000194d: PUSH1 0x40
0000194f: MLOAD
00001950: DUP1
00001951: DUP4
00001952: SUB
00001953: DUP2
00001954: DUP6
00001955: DUP9
00001956: DUP9
00001957: CALL
00001958: SWAP4
00001959: POP
0000195a: POP
0000195b: POP
0000195c: POP
0000195d: ISZERO
0000195e: DUP1
0000195f: ISZERO
00001960: PUSH2 0x196d
00001963: JUMPI
00001964: RETURNDATASIZE
00001965: PUSH1 0x00
00001967: DUP1
00001968: RETURNDATACOPY
00001969: RETURNDATASIZE
0000196a: PUSH1 0x00
0000196c: REVERT
0000196d: JUMPDEST
0000196e: POP
0000196f: DUP2
00001970: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001985: AND
00001986: PUSH32 0x2062721aee90a8bb8a5f4bd9268516248f25c0d9eddeda19278dca76aaea84d3
000019a7: DUP3
000019a8: TIMESTAMP
000019a9: PUSH1 0x40
000019ab: MLOAD
000019ac: DUP1
000019ad: DUP4
000019ae: DUP2
000019af: MSTORE
000019b0: PUSH1 0x20
000019b2: ADD
000019b3: DUP3
000019b4: DUP2
000019b5: MSTORE
000019b6: PUSH1 0x20
000019b8: ADD
000019b9: SWAP3
000019ba: POP
000019bb: POP
000019bc: POP
000019bd: PUSH1 0x40
000019bf: MLOAD
000019c0: DUP1
000019c1: SWAP2
000019c2: SUB
000019c3: SWAP1
000019c4: LOG2
000019c5: POP
000019c6: POP
000019c7: JUMP
000019c8: JUMPDEST
000019c9: PUSH1 0x08
000019cb: PUSH1 0x20
000019cd: MSTORE
000019ce: DUP1
000019cf: PUSH1 0x00
000019d1: MSTORE
000019d2: PUSH1 0x40
000019d4: PUSH1 0x00
000019d6: KECCAK256
000019d7: PUSH1 0x00
000019d9: SWAP2
000019da: POP
000019db: SLOAD
000019dc: SWAP1
000019dd: PUSH2 0x0100
000019e0: EXP
000019e1: SWAP1
000019e2: DIV
000019e3: PUSH1 0xff
000019e5: AND
000019e6: DUP2
000019e7: JUMP
000019e8: JUMPDEST
000019e9: PUSH1 0x03
000019eb: SLOAD
000019ec: DUP2
000019ed: JUMP
000019ee: JUMPDEST
000019ef: PUSH1 0x07
000019f1: PUSH1 0x20
000019f3: MSTORE
000019f4: DUP1
000019f5: PUSH1 0x00
000019f7: MSTORE
000019f8: PUSH1 0x40
000019fa: PUSH1 0x00
000019fc: KECCAK256
000019fd: PUSH1 0x00
000019ff: SWAP2
00001a00: POP
00001a01: SWAP1
00001a02: POP
00001a03: SLOAD
00001a04: DUP2
00001a05: JUMP
00001a06: JUMPDEST
00001a07: PUSH1 0x00
00001a09: DUP1
00001a0a: CALLER
00001a0b: SWAP1
00001a0c: POP
00001a0d: DUP3
00001a0e: PUSH2 0x1a1f
00001a11: JUMPI
00001a12: PUSH2 0x1a1a
00001a15: DUP2
00001a16: PUSH2 0x13f8
00001a19: JUMP
00001a1a: JUMPDEST
00001a1b: PUSH2 0x1a6a
00001a1e: JUMP
00001a1f: JUMPDEST
00001a20: PUSH1 0x05
00001a22: PUSH1 0x00
00001a24: DUP3
00001a25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3a: AND
00001a3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a50: AND
00001a51: DUP2
00001a52: MSTORE
00001a53: PUSH1 0x20
00001a55: ADD
00001a56: SWAP1
00001a57: DUP2
00001a58: MSTORE
00001a59: PUSH1 0x20
00001a5b: ADD
00001a5c: PUSH1 0x00
00001a5e: KECCAK256
00001a5f: SLOAD
00001a60: PUSH2 0x1a68
00001a63: DUP3
00001a64: PUSH2 0x13f8
00001a67: JUMP
00001a68: JUMPDEST
00001a69: ADD
00001a6a: JUMPDEST
00001a6b: SWAP2
00001a6c: POP
00001a6d: POP
00001a6e: SWAP2
00001a6f: SWAP1
00001a70: POP
00001a71: JUMP
00001a72: JUMPDEST
00001a73: PUSH1 0x00
00001a75: PUSH1 0x04
00001a77: PUSH1 0x00
00001a79: DUP4
00001a7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a8f: AND
00001a90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa5: AND
00001aa6: DUP2
00001aa7: MSTORE
00001aa8: PUSH1 0x20
00001aaa: ADD
00001aab: SWAP1
00001aac: DUP2
00001aad: MSTORE
00001aae: PUSH1 0x20
00001ab0: ADD
00001ab1: PUSH1 0x00
00001ab3: KECCAK256
00001ab4: SLOAD
00001ab5: SWAP1
00001ab6: POP
00001ab7: SWAP2
00001ab8: SWAP1
00001ab9: POP
00001aba: JUMP
00001abb: JUMPDEST
00001abc: PUSH1 0x02
00001abe: PUSH1 0x00
00001ac0: SWAP1
00001ac1: SLOAD
00001ac2: SWAP1
00001ac3: PUSH2 0x0100
00001ac6: EXP
00001ac7: SWAP1
00001ac8: DIV
00001ac9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ade: AND
00001adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af4: AND
00001af5: CALLER
00001af6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0b: AND
00001b0c: EQ
00001b0d: ISZERO
00001b0e: ISZERO
00001b0f: PUSH2 0x1b17
00001b12: JUMPI
00001b13: PUSH1 0x00
00001b15: DUP1
00001b16: REVERT
00001b17: JUMPDEST
00001b18: PUSH1 0x00
00001b1a: PUSH1 0x0b
00001b1c: PUSH1 0x00
00001b1e: PUSH2 0x0100
00001b21: EXP
00001b22: DUP2
00001b23: SLOAD
00001b24: DUP2
00001b25: PUSH1 0xff
00001b27: MUL
00001b28: NOT
00001b29: AND
00001b2a: SWAP1
00001b2b: DUP4
00001b2c: ISZERO
00001b2d: ISZERO
00001b2e: MUL
00001b2f: OR
00001b30: SWAP1
00001b31: SSTORE
00001b32: POP
00001b33: PUSH32 0xbb057fc7736890bc5a57d7bd4e8f2390e15c589ef2fcc318d6414a1c784e5aca
00001b54: TIMESTAMP
00001b55: PUSH1 0x40
00001b57: MLOAD
00001b58: DUP1
00001b59: DUP3
00001b5a: DUP2
00001b5b: MSTORE
00001b5c: PUSH1 0x20
00001b5e: ADD
00001b5f: SWAP2
00001b60: POP
00001b61: POP
00001b62: PUSH1 0x40
00001b64: MLOAD
00001b65: DUP1
00001b66: SWAP2
00001b67: SUB
00001b68: SWAP1
00001b69: LOG1
00001b6a: JUMP
00001b6b: JUMPDEST
00001b6c: PUSH1 0x00
00001b6e: CALLER
00001b6f: SWAP1
00001b70: POP
00001b71: PUSH1 0x00
00001b73: PUSH1 0x07
00001b75: PUSH1 0x00
00001b77: DUP4
00001b78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8d: AND
00001b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba3: AND
00001ba4: DUP2
00001ba5: MSTORE
00001ba6: PUSH1 0x20
00001ba8: ADD
00001ba9: SWAP1
00001baa: DUP2
00001bab: MSTORE
00001bac: PUSH1 0x20
00001bae: ADD
00001baf: PUSH1 0x00
00001bb1: KECCAK256
00001bb2: SLOAD
00001bb3: SWAP1
00001bb4: POP
00001bb5: PUSH1 0x00
00001bb7: DUP2
00001bb8: GT
00001bb9: ISZERO
00001bba: ISZERO
00001bbb: PUSH2 0x1bc3
00001bbe: JUMPI
00001bbf: PUSH1 0x00
00001bc1: DUP1
00001bc2: REVERT
00001bc3: JUMPDEST
00001bc4: PUSH1 0x00
00001bc6: PUSH1 0x07
00001bc8: PUSH1 0x00
00001bca: DUP5
00001bcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be0: AND
00001be1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf6: AND
00001bf7: DUP2
00001bf8: MSTORE
00001bf9: PUSH1 0x20
00001bfb: ADD
00001bfc: SWAP1
00001bfd: DUP2
00001bfe: MSTORE
00001bff: PUSH1 0x20
00001c01: ADD
00001c02: PUSH1 0x00
00001c04: KECCAK256
00001c05: DUP2
00001c06: SWAP1
00001c07: SSTORE
00001c08: POP
00001c09: PUSH1 0x00
00001c0b: PUSH1 0x04
00001c0d: PUSH1 0x00
00001c0f: DUP5
00001c10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c25: AND
00001c26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c3b: AND
00001c3c: DUP2
00001c3d: MSTORE
00001c3e: PUSH1 0x20
00001c40: ADD
00001c41: SWAP1
00001c42: DUP2
00001c43: MSTORE
00001c44: PUSH1 0x20
00001c46: ADD
00001c47: PUSH1 0x00
00001c49: KECCAK256
00001c4a: SLOAD
00001c4b: SWAP1
00001c4c: POP
00001c4d: PUSH1 0x00
00001c4f: PUSH1 0x04
00001c51: PUSH1 0x00
00001c53: DUP6
00001c54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c69: AND
00001c6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c7f: AND
00001c80: DUP2
00001c81: MSTORE
00001c82: PUSH1 0x20
00001c84: ADD
00001c85: SWAP1
00001c86: DUP2
00001c87: MSTORE
00001c88: PUSH1 0x20
00001c8a: ADD
00001c8b: PUSH1 0x00
00001c8d: KECCAK256
00001c8e: DUP2
00001c8f: SWAP1
00001c90: SSTORE
00001c91: POP
00001c92: DUP1
00001c93: PUSH1 0x09
00001c95: SLOAD
00001c96: SUB
00001c97: PUSH1 0x09
00001c99: DUP2
00001c9a: SWAP1
00001c9b: SSTORE
00001c9c: POP
00001c9d: DUP3
00001c9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb3: AND
00001cb4: PUSH2 0x08fc
00001cb7: DUP4
00001cb8: SWAP1
00001cb9: DUP2
00001cba: ISZERO
00001cbb: MUL
00001cbc: SWAP1
00001cbd: PUSH1 0x40
00001cbf: MLOAD
00001cc0: PUSH1 0x00
00001cc2: PUSH1 0x40
00001cc4: MLOAD
00001cc5: DUP1
00001cc6: DUP4
00001cc7: SUB
00001cc8: DUP2
00001cc9: DUP6
00001cca: DUP9
00001ccb: DUP9
00001ccc: CALL
00001ccd: SWAP4
00001cce: POP
00001ccf: POP
00001cd0: POP
00001cd1: POP
00001cd2: ISZERO
00001cd3: DUP1
00001cd4: ISZERO
00001cd5: PUSH2 0x1ce2
00001cd8: JUMPI
00001cd9: RETURNDATASIZE
00001cda: PUSH1 0x00
00001cdc: DUP1
00001cdd: RETURNDATACOPY
00001cde: RETURNDATASIZE
00001cdf: PUSH1 0x00
00001ce1: REVERT
00001ce2: JUMPDEST
00001ce3: POP
00001ce4: DUP3
00001ce5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cfa: AND
00001cfb: PUSH32 0xa6742b5930840582075eaa5f73ec00493156a9b9dc498a6b9431b306680ae9c6
00001d1c: DUP4
00001d1d: TIMESTAMP
00001d1e: PUSH1 0x40
00001d20: MLOAD
00001d21: DUP1
00001d22: DUP4
00001d23: DUP2
00001d24: MSTORE
00001d25: PUSH1 0x20
00001d27: ADD
00001d28: DUP3
00001d29: DUP2
00001d2a: MSTORE
00001d2b: PUSH1 0x20
00001d2d: ADD
00001d2e: SWAP3
00001d2f: POP
00001d30: POP
00001d31: POP
00001d32: PUSH1 0x40
00001d34: MLOAD
00001d35: DUP1
00001d36: SWAP2
00001d37: SUB
00001d38: SWAP1
00001d39: LOG2
00001d3a: POP
00001d3b: POP
00001d3c: POP
00001d3d: JUMP
00001d3e: JUMPDEST
00001d3f: PUSH1 0x00
00001d41: DUP1
00001d42: CALLER
00001d43: SWAP1
00001d44: POP
00001d45: PUSH2 0x1d4d
00001d48: DUP2
00001d49: PUSH2 0x1a72
00001d4c: JUMP
00001d4d: JUMPDEST
00001d4e: SWAP2
00001d4f: POP
00001d50: POP
00001d51: SWAP1
00001d52: JUMP
00001d53: JUMPDEST
00001d54: PUSH1 0x01
00001d56: DUP1
00001d57: SLOAD
00001d58: PUSH1 0x01
00001d5a: DUP2
00001d5b: PUSH1 0x01
00001d5d: AND
00001d5e: ISZERO
00001d5f: PUSH2 0x0100
00001d62: MUL
00001d63: SUB
00001d64: AND
00001d65: PUSH1 0x02
00001d67: SWAP1
00001d68: DIV
00001d69: DUP1
00001d6a: PUSH1 0x1f
00001d6c: ADD
00001d6d: PUSH1 0x20
00001d6f: DUP1
00001d70: SWAP2
00001d71: DIV
00001d72: MUL
00001d73: PUSH1 0x20
00001d75: ADD
00001d76: PUSH1 0x40
00001d78: MLOAD
00001d79: SWAP1
00001d7a: DUP2
00001d7b: ADD
00001d7c: PUSH1 0x40
00001d7e: MSTORE
00001d7f: DUP1
00001d80: SWAP3
00001d81: SWAP2
00001d82: SWAP1
00001d83: DUP2
00001d84: DUP2
00001d85: MSTORE
00001d86: PUSH1 0x20
00001d88: ADD
00001d89: DUP3
00001d8a: DUP1
00001d8b: SLOAD
00001d8c: PUSH1 0x01
00001d8e: DUP2
00001d8f: PUSH1 0x01
00001d91: AND
00001d92: ISZERO
00001d93: PUSH2 0x0100
00001d96: MUL
00001d97: SUB
00001d98: AND
00001d99: PUSH1 0x02
00001d9b: SWAP1
00001d9c: DIV
00001d9d: DUP1
00001d9e: ISZERO
00001d9f: PUSH2 0x1de9
00001da2: JUMPI
00001da3: DUP1
00001da4: PUSH1 0x1f
00001da6: LT
00001da7: PUSH2 0x1dbe
00001daa: JUMPI
00001dab: PUSH2 0x0100
00001dae: DUP1
00001daf: DUP4
00001db0: SLOAD
00001db1: DIV
00001db2: MUL
00001db3: DUP4
00001db4: MSTORE
00001db5: SWAP2
00001db6: PUSH1 0x20
00001db8: ADD
00001db9: SWAP2
00001dba: PUSH2 0x1de9
00001dbd: JUMP
00001dbe: JUMPDEST
00001dbf: DUP3
00001dc0: ADD
00001dc1: SWAP2
00001dc2: SWAP1
00001dc3: PUSH1 0x00
00001dc5: MSTORE
00001dc6: PUSH1 0x20
00001dc8: PUSH1 0x00
00001dca: KECCAK256
00001dcb: SWAP1
00001dcc: JUMPDEST
00001dcd: DUP2
00001dce: SLOAD
00001dcf: DUP2
00001dd0: MSTORE
00001dd1: SWAP1
00001dd2: PUSH1 0x01
00001dd4: ADD
00001dd5: SWAP1
00001dd6: PUSH1 0x20
00001dd8: ADD
00001dd9: DUP1
00001dda: DUP4
00001ddb: GT
00001ddc: PUSH2 0x1dcc
00001ddf: JUMPI
00001de0: DUP3
00001de1: SWAP1
00001de2: SUB
00001de3: PUSH1 0x1f
00001de5: AND
00001de6: DUP3
00001de7: ADD
00001de8: SWAP2
00001de9: JUMPDEST
00001dea: POP
00001deb: POP
00001dec: POP
00001ded: POP
00001dee: POP
00001def: DUP2
00001df0: JUMP
00001df1: JUMPDEST
00001df2: PUSH1 0x00
00001df4: PUSH8 0x0de0b6b3a7640000
00001dfd: CALLVALUE
00001dfe: LT
00001dff: ISZERO
00001e00: ISZERO
00001e01: ISZERO
00001e02: PUSH2 0x1e99
00001e05: JUMPI
00001e06: PUSH1 0x40
00001e08: MLOAD
00001e09: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e2a: DUP2
00001e2b: MSTORE
00001e2c: PUSH1 0x04
00001e2e: ADD
00001e2f: DUP1
00001e30: DUP1
00001e31: PUSH1 0x20
00001e33: ADD
00001e34: DUP3
00001e35: DUP2
00001e36: SUB
00001e37: DUP3
00001e38: MSTORE
00001e39: PUSH1 0x24
00001e3b: DUP2
00001e3c: MSTORE
00001e3d: PUSH1 0x20
00001e3f: ADD
00001e40: DUP1
00001e41: PUSH32 0x4d696e696d756d206465706f736974206f6620312045544820697320616c6c6f
00001e62: DUP2
00001e63: MSTORE
00001e64: PUSH1 0x20
00001e66: ADD
00001e67: PUSH32 0x7765642e00000000000000000000000000000000000000000000000000000000
00001e88: DUP2
00001e89: MSTORE
00001e8a: POP
00001e8b: PUSH1 0x40
00001e8d: ADD
00001e8e: SWAP2
00001e8f: POP
00001e90: POP
00001e91: PUSH1 0x40
00001e93: MLOAD
00001e94: DUP1
00001e95: SWAP2
00001e96: SUB
00001e97: SWAP1
00001e98: REVERT
00001e99: JUMPDEST
00001e9a: PUSH1 0x0b
00001e9c: PUSH1 0x00
00001e9e: SWAP1
00001e9f: SLOAD
00001ea0: SWAP1
00001ea1: PUSH2 0x0100
00001ea4: EXP
00001ea5: SWAP1
00001ea6: DIV
00001ea7: PUSH1 0xff
00001ea9: AND
00001eaa: ISZERO
00001eab: ISZERO
00001eac: PUSH2 0x1f1d
00001eaf: JUMPI
00001eb0: PUSH1 0x40
00001eb2: MLOAD
00001eb3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ed4: DUP2
00001ed5: MSTORE
00001ed6: PUSH1 0x04
00001ed8: ADD
00001ed9: DUP1
00001eda: DUP1
00001edb: PUSH1 0x20
00001edd: ADD
00001ede: DUP3
00001edf: DUP2
00001ee0: SUB
00001ee1: DUP3
00001ee2: MSTORE
00001ee3: PUSH1 0x1d
00001ee5: DUP2
00001ee6: MSTORE
00001ee7: PUSH1 0x20
00001ee9: ADD
00001eea: DUP1
00001eeb: PUSH32 0x53616c65732073746f7070656420666f7220746865206d6f6d656e742e000000
00001f0c: DUP2
00001f0d: MSTORE
00001f0e: POP
00001f0f: PUSH1 0x20
00001f11: ADD
00001f12: SWAP2
00001f13: POP
00001f14: POP
00001f15: PUSH1 0x40
00001f17: MLOAD
00001f18: DUP1
00001f19: SWAP2
00001f1a: SUB
00001f1b: SWAP1
00001f1c: REVERT
00001f1d: JUMPDEST
00001f1e: PUSH2 0x1f29
00001f21: CALLVALUE
00001f22: DUP6
00001f23: DUP6
00001f24: DUP6
00001f25: PUSH2 0x0a92
00001f28: JUMP
00001f29: JUMPDEST
00001f2a: SWAP1
00001f2b: POP
00001f2c: SWAP4
00001f2d: SWAP3
00001f2e: POP
00001f2f: POP
00001f30: POP
00001f31: JUMP
00001f32: JUMPDEST
00001f33: PUSH1 0x0b
00001f35: PUSH1 0x00
00001f37: SWAP1
00001f38: SLOAD
00001f39: SWAP1
00001f3a: PUSH2 0x0100
00001f3d: EXP
00001f3e: SWAP1
00001f3f: DIV
00001f40: PUSH1 0xff
00001f42: AND
00001f43: DUP2
00001f44: JUMP
00001f45: JUMPDEST
00001f46: PUSH1 0x08
00001f48: PUSH1 0x00
00001f4a: CALLER
00001f4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f60: AND
00001f61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f76: AND
00001f77: DUP2
00001f78: MSTORE
00001f79: PUSH1 0x20
00001f7b: ADD
00001f7c: SWAP1
00001f7d: DUP2
00001f7e: MSTORE
00001f7f: PUSH1 0x20
00001f81: ADD
00001f82: PUSH1 0x00
00001f84: KECCAK256
00001f85: PUSH1 0x00
00001f87: SWAP1
00001f88: SLOAD
00001f89: SWAP1
00001f8a: PUSH2 0x0100
00001f8d: EXP
00001f8e: SWAP1
00001f8f: DIV
00001f90: PUSH1 0xff
00001f92: AND
00001f93: ISZERO
00001f94: ISZERO
00001f95: PUSH2 0x202c
00001f98: JUMPI
00001f99: PUSH1 0x40
00001f9b: MLOAD
00001f9c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fbd: DUP2
00001fbe: MSTORE
00001fbf: PUSH1 0x04
00001fc1: ADD
00001fc2: DUP1
00001fc3: DUP1
00001fc4: PUSH1 0x20
00001fc6: ADD
00001fc7: DUP3
00001fc8: DUP2
00001fc9: SUB
00001fca: DUP3
00001fcb: MSTORE
00001fcc: PUSH1 0x2c
00001fce: DUP2
00001fcf: MSTORE
00001fd0: PUSH1 0x20
00001fd2: ADD
00001fd3: DUP1
00001fd4: PUSH32 0x4e6f7420616c6c6f77656420746f20706173732072657061792066726f6d2079
00001ff5: DUP2
00001ff6: MSTORE
00001ff7: PUSH1 0x20
00001ff9: ADD
00001ffa: PUSH32 0x6f757220616464726573732e0000000000000000000000000000000000000000
0000201b: DUP2
0000201c: MSTORE
0000201d: POP
0000201e: PUSH1 0x40
00002020: ADD
00002021: SWAP2
00002022: POP
00002023: POP
00002024: PUSH1 0x40
00002026: MLOAD
00002027: DUP1
00002028: SWAP2
00002029: SUB
0000202a: SWAP1
0000202b: REVERT
0000202c: JUMPDEST
0000202d: PUSH1 0x00
0000202f: CALLVALUE
00002030: SWAP1
00002031: POP
00002032: PUSH1 0x00
00002034: DUP2
00002035: GT
00002036: ISZERO
00002037: ISZERO
00002038: PUSH2 0x2040
0000203b: JUMPI
0000203c: PUSH1 0x00
0000203e: DUP1
0000203f: REVERT
00002040: JUMPDEST
00002041: DUP1
00002042: PUSH1 0x07
00002044: PUSH1 0x00
00002046: DUP5
00002047: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205c: AND
0000205d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002072: AND
00002073: DUP2
00002074: MSTORE
00002075: PUSH1 0x20
00002077: ADD
00002078: SWAP1
00002079: DUP2
0000207a: MSTORE
0000207b: PUSH1 0x20
0000207d: ADD
0000207e: PUSH1 0x00
00002080: KECCAK256
00002081: PUSH1 0x00
00002083: DUP3
00002084: DUP3
00002085: SLOAD
00002086: ADD
00002087: SWAP3
00002088: POP
00002089: POP
0000208a: DUP2
0000208b: SWAP1
0000208c: SSTORE
0000208d: POP
0000208e: CALLER
0000208f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a4: AND
000020a5: DUP3
000020a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020bb: AND
000020bc: PUSH32 0x3477f1247349c061322050b1c4dc0359812ad656d26a28b1b76eba40b3cd8d18
000020dd: DUP4
000020de: TIMESTAMP
000020df: PUSH1 0x40
000020e1: MLOAD
000020e2: DUP1
000020e3: DUP4
000020e4: DUP2
000020e5: MSTORE
000020e6: PUSH1 0x20
000020e8: ADD
000020e9: DUP3
000020ea: DUP2
000020eb: MSTORE
000020ec: PUSH1 0x20
000020ee: ADD
000020ef: SWAP3
000020f0: POP
000020f1: POP
000020f2: POP
000020f3: PUSH1 0x40
000020f5: MLOAD
000020f6: DUP1
000020f7: SWAP2
000020f8: SUB
000020f9: SWAP1
000020fa: LOG3
000020fb: POP
000020fc: POP
000020fd: JUMP
000020fe: JUMPDEST
000020ff: PUSH1 0x02
00002101: PUSH1 0x00
00002103: SWAP1
00002104: SLOAD
00002105: SWAP1
00002106: PUSH2 0x0100
00002109: EXP
0000210a: SWAP1
0000210b: DIV
0000210c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002121: AND
00002122: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002137: AND
00002138: CALLER
00002139: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214e: AND
0000214f: EQ
00002150: ISZERO
00002151: ISZERO
00002152: PUSH2 0x215a
00002155: JUMPI
00002156: PUSH1 0x00
00002158: DUP1
00002159: REVERT
0000215a: JUMPDEST
0000215b: PUSH1 0x01
0000215d: PUSH1 0x0b
0000215f: PUSH1 0x00
00002161: PUSH2 0x0100
00002164: EXP
00002165: DUP2
00002166: SLOAD
00002167: DUP2
00002168: PUSH1 0xff
0000216a: MUL
0000216b: NOT
0000216c: AND
0000216d: SWAP1
0000216e: DUP4
0000216f: ISZERO
00002170: ISZERO
00002171: MUL
00002172: OR
00002173: SWAP1
00002174: SSTORE
00002175: POP
00002176: PUSH32 0xa8d8a0118dcba0042a112de44b67849fb4a2ff8781f1508f3fed43ae084c683c
00002197: TIMESTAMP
00002198: PUSH1 0x40
0000219a: MLOAD
0000219b: DUP1
0000219c: DUP3
0000219d: DUP2
0000219e: MSTORE
0000219f: PUSH1 0x20
000021a1: ADD
000021a2: SWAP2
000021a3: POP
000021a4: POP
000021a5: PUSH1 0x40
000021a7: MLOAD
000021a8: DUP1
000021a9: SWAP2
000021aa: SUB
000021ab: SWAP1
000021ac: LOG1
000021ad: JUMP
000021ae: JUMPDEST
000021af: PUSH1 0x00
000021b1: PUSH1 0x09
000021b3: SLOAD
000021b4: PUSH9 0x010000000000000000
000021be: CALLVALUE
000021bf: MUL
000021c0: DUP2
000021c1: ISZERO
000021c2: ISZERO
000021c3: PUSH2 0x21c8
000021c6: JUMPI
000021c7: INVALID
000021c8: JUMPDEST
000021c9: DIV
000021ca: SWAP1
000021cb: POP
000021cc: DUP1
000021cd: PUSH1 0x0a
000021cf: PUSH1 0x00
000021d1: DUP3
000021d2: DUP3
000021d3: SLOAD
000021d4: ADD
000021d5: SWAP3
000021d6: POP
000021d7: POP
000021d8: DUP2
000021d9: SWAP1
000021da: SSTORE
000021db: POP
000021dc: CALLER
000021dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021f2: AND
000021f3: PUSH32 0xd44a3f360ad146fe6f63a3f3b719748687fc3808bc6320b1c00b520225f14cae
00002214: CALLVALUE
00002215: DUP4
00002216: TIMESTAMP
00002217: PUSH1 0x40
00002219: MLOAD
0000221a: DUP1
0000221b: DUP5
0000221c: DUP2
0000221d: MSTORE
0000221e: PUSH1 0x20
00002220: ADD
00002221: DUP4
00002222: DUP2
00002223: MSTORE
00002224: PUSH1 0x20
00002226: ADD
00002227: DUP3
00002228: DUP2
00002229: MSTORE
0000222a: PUSH1 0x20
0000222c: ADD
0000222d: SWAP4
0000222e: POP
0000222f: POP
00002230: POP
00002231: POP
00002232: PUSH1 0x40
00002234: MLOAD
00002235: DUP1
00002236: SWAP2
00002237: SUB
00002238: SWAP1
00002239: LOG2
0000223a: POP
0000223b: JUMP
0000223c: JUMPDEST
0000223d: PUSH1 0x00
0000223f: DUP2
00002240: PUSH2 0x2251
00002243: JUMPI
00002244: PUSH2 0x224c
00002247: DUP4
00002248: PUSH2 0x13f8
0000224b: JUMP
0000224c: JUMPDEST
0000224d: PUSH2 0x229c
00002250: JUMP
00002251: JUMPDEST
00002252: PUSH1 0x05
00002254: PUSH1 0x00
00002256: DUP5
00002257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000226c: AND
0000226d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002282: AND
00002283: DUP2
00002284: MSTORE
00002285: PUSH1 0x20
00002287: ADD
00002288: SWAP1
00002289: DUP2
0000228a: MSTORE
0000228b: PUSH1 0x20
0000228d: ADD
0000228e: PUSH1 0x00
00002290: KECCAK256
00002291: SLOAD
00002292: PUSH2 0x229a
00002295: DUP5
00002296: PUSH2 0x13f8
00002299: JUMP
0000229a: JUMPDEST
0000229b: ADD
0000229c: JUMPDEST
0000229d: SWAP1
0000229e: POP
0000229f: SWAP3
000022a0: SWAP2
000022a1: POP
000022a2: POP
000022a3: JUMP
000022a4: JUMPDEST
000022a5: PUSH1 0x00
000022a7: DUP1
000022a8: PUSH8 0x0de0b6b3a7640000
000022b1: PUSH7 0x038d7ea4c68000
000022b9: DUP5
000022ba: DUP2
000022bb: ISZERO
000022bc: ISZERO
000022bd: PUSH2 0x22c2
000022c0: JUMPI
000022c1: INVALID
000022c2: JUMPDEST
000022c3: DIV
000022c4: MUL
000022c5: SWAP1
000022c6: POP
000022c7: DUP1
000022c8: SWAP2
000022c9: POP
000022ca: POP
000022cb: SWAP2
000022cc: SWAP1
000022cd: POP
000022ce: JUMP
000022cf: JUMPDEST
000022d0: PUSH1 0x05
000022d2: PUSH1 0x20
000022d4: MSTORE
000022d5: DUP1
000022d6: PUSH1 0x00
000022d8: MSTORE
000022d9: PUSH1 0x40
000022db: PUSH1 0x00
000022dd: KECCAK256
000022de: PUSH1 0x00
000022e0: SWAP2
000022e1: POP
000022e2: SWAP1
000022e3: POP
000022e4: SLOAD
000022e5: DUP2
000022e6: JUMP
000022e7: JUMPDEST
000022e8: PUSH1 0x02
000022ea: PUSH1 0x00
000022ec: SWAP1
000022ed: SLOAD
000022ee: SWAP1
000022ef: PUSH2 0x0100
000022f2: EXP
000022f3: SWAP1
000022f4: DIV
000022f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000230a: AND
0000230b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002320: AND
00002321: CALLER
00002322: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002337: AND
00002338: EQ
00002339: ISZERO
0000233a: ISZERO
0000233b: PUSH2 0x2343
0000233e: JUMPI
0000233f: PUSH1 0x00
00002341: DUP1
00002342: REVERT
00002343: JUMPDEST
00002344: PUSH1 0x00
00002346: PUSH1 0x08
00002348: PUSH1 0x00
0000234a: DUP4
0000234b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002360: AND
00002361: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002376: AND
00002377: DUP2
00002378: MSTORE
00002379: PUSH1 0x20
0000237b: ADD
0000237c: SWAP1
0000237d: DUP2
0000237e: MSTORE
0000237f: PUSH1 0x20
00002381: ADD
00002382: PUSH1 0x00
00002384: KECCAK256
00002385: PUSH1 0x00
00002387: PUSH2 0x0100
0000238a: EXP
0000238b: DUP2
0000238c: SLOAD
0000238d: DUP2
0000238e: PUSH1 0xff
00002390: MUL
00002391: NOT
00002392: AND
00002393: SWAP1
00002394: DUP4
00002395: ISZERO
00002396: ISZERO
00002397: MUL
00002398: OR
00002399: SWAP1
0000239a: SSTORE
0000239b: POP
0000239c: DUP1
0000239d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b2: AND
000023b3: PUSH32 0x3cac8e3e9aa8c0587d0f46978b472d478c949dfe72cccf80309a52686acc2a73
000023d4: TIMESTAMP
000023d5: PUSH1 0x40
000023d7: MLOAD
000023d8: DUP1
000023d9: DUP3
000023da: DUP2
000023db: MSTORE
000023dc: PUSH1 0x20
000023de: ADD
000023df: SWAP2
000023e0: POP
000023e1: POP
000023e2: PUSH1 0x40
000023e4: MLOAD
000023e5: DUP1
000023e6: SWAP2
000023e7: SUB
000023e8: SWAP1
000023e9: LOG2
000023ea: POP
000023eb: JUMP
000023ec: JUMPDEST
000023ed: PUSH1 0x00
000023ef: CALLER
000023f0: SWAP1
000023f1: POP
000023f2: PUSH1 0x00
000023f4: PUSH1 0x04
000023f6: PUSH1 0x00
000023f8: DUP4
000023f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000240e: AND
0000240f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002424: AND
00002425: DUP2
00002426: MSTORE
00002427: PUSH1 0x20
00002429: ADD
0000242a: SWAP1
0000242b: DUP2
0000242c: MSTORE
0000242d: PUSH1 0x20
0000242f: ADD
00002430: PUSH1 0x00
00002432: KECCAK256
00002433: SLOAD
00002434: SWAP1
00002435: POP
00002436: PUSH1 0x00
00002438: DUP2
00002439: GT
0000243a: ISZERO
0000243b: PUSH2 0x2447
0000243e: JUMPI
0000243f: PUSH2 0x2446
00002442: PUSH2 0x1b6b
00002445: JUMP
00002446: JUMPDEST
00002447: JUMPDEST
00002448: PUSH2 0x244f
0000244b: PUSH2 0x181b
0000244e: JUMP
0000244f: JUMPDEST
00002450: POP
00002451: POP
00002452: JUMP
00002453: JUMPDEST
00002454: PUSH1 0x02
00002456: PUSH1 0x00
00002458: SWAP1
00002459: SLOAD
0000245a: SWAP1
0000245b: PUSH2 0x0100
0000245e: EXP
0000245f: SWAP1
00002460: DIV
00002461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002476: AND
00002477: DUP2
00002478: JUMP
00002479: JUMPDEST
0000247a: PUSH1 0x00
0000247c: PUSH2 0x2485
0000247f: PUSH1 0x01
00002481: PUSH2 0x1a06
00002484: JUMP
00002485: JUMPDEST
00002486: GT
00002487: ISZERO
00002488: ISZERO
00002489: PUSH2 0x2491
0000248c: JUMPI
0000248d: PUSH1 0x00
0000248f: DUP1
00002490: REVERT
00002491: JUMPDEST
00002492: PUSH1 0x00
00002494: PUSH2 0x249d
00002497: PUSH1 0x00
00002499: PUSH2 0x1a06
0000249c: JUMP
0000249d: JUMPDEST
0000249e: SWAP1
0000249f: POP
000024a0: PUSH1 0x00
000024a2: CALLER
000024a3: SWAP1
000024a4: POP
000024a5: PUSH9 0x010000000000000000
000024af: DUP3
000024b0: MUL
000024b1: PUSH1 0x06
000024b3: PUSH1 0x00
000024b5: DUP4
000024b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024cb: AND
000024cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e1: AND
000024e2: DUP2
000024e3: MSTORE
000024e4: PUSH1 0x20
000024e6: ADD
000024e7: SWAP1
000024e8: DUP2
000024e9: MSTORE
000024ea: PUSH1 0x20
000024ec: ADD
000024ed: PUSH1 0x00
000024ef: KECCAK256
000024f0: PUSH1 0x00
000024f2: DUP3
000024f3: DUP3
000024f4: SLOAD
000024f5: ADD
000024f6: SWAP3
000024f7: POP
000024f8: POP
000024f9: DUP2
000024fa: SWAP1
000024fb: SSTORE
000024fc: POP
000024fd: PUSH1 0x05
000024ff: PUSH1 0x00
00002501: DUP3
00002502: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002517: AND
00002518: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000252d: AND
0000252e: DUP2
0000252f: MSTORE
00002530: PUSH1 0x20
00002532: ADD
00002533: SWAP1
00002534: DUP2
00002535: MSTORE
00002536: PUSH1 0x20
00002538: ADD
00002539: PUSH1 0x00
0000253b: KECCAK256
0000253c: SLOAD
0000253d: DUP3
0000253e: ADD
0000253f: SWAP2
00002540: POP
00002541: PUSH1 0x00
00002543: PUSH1 0x05
00002545: PUSH1 0x00
00002547: DUP4
00002548: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000255d: AND
0000255e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002573: AND
00002574: DUP2
00002575: MSTORE
00002576: PUSH1 0x20
00002578: ADD
00002579: SWAP1
0000257a: DUP2
0000257b: MSTORE
0000257c: PUSH1 0x20
0000257e: ADD
0000257f: PUSH1 0x00
00002581: KECCAK256
00002582: DUP2
00002583: SWAP1
00002584: SSTORE
00002585: POP
00002586: PUSH1 0x00
00002588: PUSH2 0x2595
0000258b: DUP4
0000258c: PUSH1 0x00
0000258e: DUP1
0000258f: PUSH1 0x00
00002591: PUSH2 0x0a92
00002594: JUMP
00002595: JUMPDEST
00002596: SWAP1
00002597: POP
00002598: DUP2
00002599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025ae: AND
000025af: PUSH32 0xd398a8ad9cdaf67ab73451a8866398e450f86cf0110476d6f9433deb6ce73e5a
000025d0: DUP5
000025d1: DUP4
000025d2: TIMESTAMP
000025d3: PUSH1 0x40
000025d5: MLOAD
000025d6: DUP1
000025d7: DUP5
000025d8: DUP2
000025d9: MSTORE
000025da: PUSH1 0x20
000025dc: ADD
000025dd: DUP4
000025de: DUP2
000025df: MSTORE
000025e0: PUSH1 0x20
000025e2: ADD
000025e3: DUP3
000025e4: DUP2
000025e5: MSTORE
000025e6: PUSH1 0x20
000025e8: ADD
000025e9: SWAP4
000025ea: POP
000025eb: POP
000025ec: POP
000025ed: POP
000025ee: PUSH1 0x40
000025f0: MLOAD
000025f1: DUP1
000025f2: SWAP2
000025f3: SUB
000025f4: SWAP1
000025f5: LOG2
000025f6: POP
000025f7: POP
000025f8: POP
000025f9: JUMP
000025fa: JUMPDEST
000025fb: PUSH1 0xa0
000025fd: PUSH1 0x40
000025ff: MLOAD
00002600: SWAP1
00002601: DUP2
00002602: ADD
00002603: PUSH1 0x40
00002605: MSTORE
00002606: DUP1
00002607: PUSH1 0x05
00002609: SWAP1
0000260a: PUSH1 0x20
0000260c: DUP3
0000260d: MUL
0000260e: DUP1
0000260f: CODESIZE
00002610: DUP4
00002611: CODECOPY
00002612: DUP1
00002613: DUP3
00002614: ADD
00002615: SWAP2
00002616: POP
00002617: POP
00002618: SWAP1
00002619: POP
0000261a: POP
0000261b: SWAP1
0000261c: JUMP
0000261d: INVALID
0000261e: LOG1
0000261f: PUSH6 0x627a7a723058
00002626: KECCAK256
00002627: SWAP5
00002628: INVALID
00002629: PUSH4 0xbbbc4a5f
0000262e: MUL
0000262f: UNKNOWN(0xED)
00002630: UNKNOWN(0xC0)
00002631: PUSH3 0x0ccb8b
00002635: UNKNOWN(0xBE)
00002636: UNKNOWN(0xC4)
00002637: UNKNOWN(0xF6)
00002638: UNKNOWN(0x29)
00002639: LOG1
0000263a: UNKNOWN(0xE7)
0000263b: DIV
0000263c: UNKNOWN(0xBA)
0000263d: UNKNOWN(0xEC)
0000263e: UNKNOWN(0x2E)
0000263f: UNKNOWN(0xB2)
00002640: UNKNOWN(0xDC)
00002641: UNKNOWN(0xE7)
00002642: MLOAD
00002643: SIGNEXTEND
00002644: PUSH1 0x16
00002646: DIV
00002647: STOP
00002648: UNKNOWN(0x29)
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xf2eeb754422ffccc8f246fa11a07a74bb1a7d02a864c00b89539505526daef01 call_targets: 0x3b39fbe86e4a8ee37a4928ee6877a46aaa47ce06 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf2eeb754422ffccc8f246fa11a07a74bb1a7d02a864c00b89539505526daef01", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3b39fbe86e4a8ee37a4928ee6877a46aaa47ce06" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x09881fb8", "selector": "0x09881fb8", "calldata_variants": [ "0x09881fb8", "0x09881fb80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2a9121c7", "selector": "0x2a9121c7", "calldata_variants": [ "0x2a9121c7", "0x2a9121c70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31e9b2fc", "selector": "0x31e9b2fc", "calldata_variants": [ "0x31e9b2fc", "0x31e9b2fc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x53f944e1", "selector": "0x53f944e1", "calldata_variants": [ "0x53f944e1", "0x53f944e10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x56d399e8", "selector": "0x56d399e8", "calldata_variants": [ "0x56d399e8", "0x56d399e80000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4822, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6487, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7372, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [ { "pc": 5490, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6901, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8504, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8993, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 3 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xf2eeb754422ffccc8f246fa11a07a74bb1a7d02a864c00b89539505526daef01 call_targets: 0x3b39fbe86e4a8ee37a4928ee6877a46aaa47ce06 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf2eeb754422ffccc8f246fa11a07a74bb1a7d02a864c00b89539505526daef01", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3b39fbe86e4a8ee37a4928ee6877a46aaa47ce06" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x09881fb8", "selector": "0x09881fb8", "calldata_variants": [ "0x09881fb8", "0x09881fb80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2a9121c7", "selector": "0x2a9121c7", "calldata_variants": [ "0x2a9121c7", "0x2a9121c70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31e9b2fc", "selector": "0x31e9b2fc", "calldata_variants": [ "0x31e9b2fc", "0x31e9b2fc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x53f944e1", "selector": "0x53f944e1", "calldata_variants": [ "0x53f944e1", "0x53f944e10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x56d399e8", "selector": "0x56d399e8", "calldata_variants": [ "0x56d399e8", "0x56d399e80000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4822, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6487, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7372, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [ { "pc": 5490, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6901, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8504, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8993, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity