Analysis Run

019b477e-af40-7324-872f-986799a7c43e
complete
Chain ID
1
Address
0xb012e882c82ef3ca0ce526f2374887b4429a7228
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
21745	artifact.fetch	complete	1 / 3	4 months ago
21746	tool.cast_disasm	complete	1 / 3	4 months ago
64790	analysis.bundle	complete	1 / 3	2 weeks ago
64791	capability.graph	complete	1 / 3	2 weeks ago
64792	detector.run	complete	1 / 3	2 weeks ago
64793	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)
16
EXT*/BALANCE
15
Total opcodes
4786
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01ac
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x0f81d248
0000003c: EQ
0000003d: PUSH2 0x01b7
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x1ba1648a
00000047: EQ
00000048: PUSH2 0x01f6
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x27796092
00000052: EQ
00000053: PUSH2 0x020d
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x27e235e3
0000005d: EQ
0000005e: PUSH2 0x0264
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x2c4e722e
00000068: EQ
00000069: PUSH2 0x02bb
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x3197cbb6
00000073: EQ
00000074: PUSH2 0x02e6
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x3802d3ef
0000007e: EQ
0000007f: PUSH2 0x0325
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x39885b23
00000089: EQ
0000008a: PUSH2 0x0350
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x39c38266
00000094: EQ
00000095: PUSH2 0x0367
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x3e24fcbf
0000009f: EQ
000000a0: PUSH2 0x03b4
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x4042b66f
000000aa: EQ
000000ab: PUSH2 0x03df
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x4d53c30f
000000b5: EQ
000000b6: PUSH2 0x040a
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x521eb273
000000c0: EQ
000000c1: PUSH2 0x0435
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x590e1ae3
000000cb: EQ
000000cc: PUSH2 0x048c
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x59e5d4b5
000000d6: EQ
000000d7: PUSH2 0x04a3
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x715018a6
000000e1: EQ
000000e2: PUSH2 0x04fa
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x78e97925
000000ec: EQ
000000ed: PUSH2 0x0511
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x8269d3c0
000000f7: EQ
000000f8: PUSH2 0x0550
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x8b43234b
00000102: EQ
00000103: PUSH2 0x0593
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x8da5cb5b
0000010d: EQ
0000010e: PUSH2 0x05d2
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x906a26e0
00000118: EQ
00000119: PUSH2 0x0629
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0x9f03c3b8
00000123: EQ
00000124: PUSH2 0x0654
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0xa2325259
0000012e: EQ
0000012f: PUSH2 0x067f
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0xb10ed487
00000139: EQ
0000013a: PUSH2 0x06bf
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0xb80546c2
00000144: EQ
00000145: PUSH2 0x06ea
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0xbe8a4737
0000014f: EQ
00000150: PUSH2 0x0729
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0xbf2c7cbe
0000015a: EQ
0000015b: PUSH2 0x0740
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0xc5c4744c
00000165: EQ
00000166: PUSH2 0x076b
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0xd28f95ba
00000170: EQ
00000171: PUSH2 0x0796
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0xd6f12a6a
0000017b: EQ
0000017c: PUSH2 0x07ad
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0xe87752f4
00000186: EQ
00000187: PUSH2 0x07c4
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0xec8ac4d8
00000191: EQ
00000192: PUSH2 0x081b
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0xecb70fb7
0000019c: EQ
0000019d: PUSH2 0x0851
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0xf2fde38b
000001a7: EQ
000001a8: PUSH2 0x0880
000001ab: JUMPI
000001ac: JUMPDEST
000001ad: PUSH2 0x01b5
000001b0: CALLER
000001b1: PUSH2 0x08c3
000001b4: JUMP
000001b5: JUMPDEST
000001b6: STOP
000001b7: JUMPDEST
000001b8: CALLVALUE
000001b9: DUP1
000001ba: ISZERO
000001bb: PUSH2 0x01c3
000001be: JUMPI
000001bf: PUSH1 0x00
000001c1: DUP1
000001c2: REVERT
000001c3: JUMPDEST
000001c4: POP
000001c5: PUSH2 0x01cc
000001c8: PUSH2 0x0a4d
000001cb: JUMP
000001cc: JUMPDEST
000001cd: PUSH1 0x40
000001cf: MLOAD
000001d0: DUP1
000001d1: DUP3
000001d2: PUSH8 0xffffffffffffffff
000001db: AND
000001dc: PUSH8 0xffffffffffffffff
000001e5: AND
000001e6: DUP2
000001e7: MSTORE
000001e8: PUSH1 0x20
000001ea: ADD
000001eb: SWAP2
000001ec: POP
000001ed: POP
000001ee: PUSH1 0x40
000001f0: MLOAD
000001f1: DUP1
000001f2: SWAP2
000001f3: SUB
000001f4: SWAP1
000001f5: RETURN
000001f6: JUMPDEST
000001f7: CALLVALUE
000001f8: DUP1
000001f9: ISZERO
000001fa: PUSH2 0x0202
000001fd: JUMPI
000001fe: PUSH1 0x00
00000200: DUP1
00000201: REVERT
00000202: JUMPDEST
00000203: POP
00000204: PUSH2 0x020b
00000207: PUSH2 0x0a67
0000020a: JUMP
0000020b: JUMPDEST
0000020c: STOP
0000020d: JUMPDEST
0000020e: CALLVALUE
0000020f: DUP1
00000210: ISZERO
00000211: PUSH2 0x0219
00000214: JUMPI
00000215: PUSH1 0x00
00000217: DUP1
00000218: REVERT
00000219: JUMPDEST
0000021a: POP
0000021b: PUSH2 0x0222
0000021e: PUSH2 0x0cde
00000221: JUMP
00000222: JUMPDEST
00000223: PUSH1 0x40
00000225: MLOAD
00000226: DUP1
00000227: DUP3
00000228: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000023d: AND
0000023e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000253: AND
00000254: DUP2
00000255: MSTORE
00000256: PUSH1 0x20
00000258: ADD
00000259: SWAP2
0000025a: POP
0000025b: POP
0000025c: PUSH1 0x40
0000025e: MLOAD
0000025f: DUP1
00000260: SWAP2
00000261: SUB
00000262: SWAP1
00000263: RETURN
00000264: JUMPDEST
00000265: CALLVALUE
00000266: DUP1
00000267: ISZERO
00000268: PUSH2 0x0270
0000026b: JUMPI
0000026c: PUSH1 0x00
0000026e: DUP1
0000026f: REVERT
00000270: JUMPDEST
00000271: POP
00000272: PUSH2 0x02a5
00000275: PUSH1 0x04
00000277: DUP1
00000278: CALLDATASIZE
00000279: SUB
0000027a: DUP2
0000027b: ADD
0000027c: SWAP1
0000027d: DUP1
0000027e: DUP1
0000027f: CALLDATALOAD
00000280: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000295: AND
00000296: SWAP1
00000297: PUSH1 0x20
00000299: ADD
0000029a: SWAP1
0000029b: SWAP3
0000029c: SWAP2
0000029d: SWAP1
0000029e: POP
0000029f: POP
000002a0: POP
000002a1: PUSH2 0x0d04
000002a4: JUMP
000002a5: JUMPDEST
000002a6: PUSH1 0x40
000002a8: MLOAD
000002a9: DUP1
000002aa: DUP3
000002ab: DUP2
000002ac: MSTORE
000002ad: PUSH1 0x20
000002af: ADD
000002b0: SWAP2
000002b1: POP
000002b2: POP
000002b3: PUSH1 0x40
000002b5: MLOAD
000002b6: DUP1
000002b7: SWAP2
000002b8: SUB
000002b9: SWAP1
000002ba: RETURN
000002bb: JUMPDEST
000002bc: CALLVALUE
000002bd: DUP1
000002be: ISZERO
000002bf: PUSH2 0x02c7
000002c2: JUMPI
000002c3: PUSH1 0x00
000002c5: DUP1
000002c6: REVERT
000002c7: JUMPDEST
000002c8: POP
000002c9: PUSH2 0x02d0
000002cc: PUSH2 0x0d1c
000002cf: JUMP
000002d0: JUMPDEST
000002d1: PUSH1 0x40
000002d3: MLOAD
000002d4: DUP1
000002d5: DUP3
000002d6: DUP2
000002d7: MSTORE
000002d8: PUSH1 0x20
000002da: ADD
000002db: SWAP2
000002dc: POP
000002dd: POP
000002de: PUSH1 0x40
000002e0: MLOAD
000002e1: DUP1
000002e2: SWAP2
000002e3: SUB
000002e4: SWAP1
000002e5: RETURN
000002e6: JUMPDEST
000002e7: CALLVALUE
000002e8: DUP1
000002e9: ISZERO
000002ea: PUSH2 0x02f2
000002ed: JUMPI
000002ee: PUSH1 0x00
000002f0: DUP1
000002f1: REVERT
000002f2: JUMPDEST
000002f3: POP
000002f4: PUSH2 0x02fb
000002f7: PUSH2 0x0d22
000002fa: JUMP
000002fb: JUMPDEST
000002fc: PUSH1 0x40
000002fe: MLOAD
000002ff: DUP1
00000300: DUP3
00000301: PUSH8 0xffffffffffffffff
0000030a: AND
0000030b: PUSH8 0xffffffffffffffff
00000314: AND
00000315: DUP2
00000316: MSTORE
00000317: PUSH1 0x20
00000319: ADD
0000031a: SWAP2
0000031b: POP
0000031c: POP
0000031d: PUSH1 0x40
0000031f: MLOAD
00000320: DUP1
00000321: SWAP2
00000322: SUB
00000323: SWAP1
00000324: RETURN
00000325: JUMPDEST
00000326: CALLVALUE
00000327: DUP1
00000328: ISZERO
00000329: PUSH2 0x0331
0000032c: JUMPI
0000032d: PUSH1 0x00
0000032f: DUP1
00000330: REVERT
00000331: JUMPDEST
00000332: POP
00000333: PUSH2 0x033a
00000336: PUSH2 0x0d3c
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH1 0x40
0000033d: MLOAD
0000033e: DUP1
0000033f: DUP3
00000340: DUP2
00000341: MSTORE
00000342: PUSH1 0x20
00000344: ADD
00000345: SWAP2
00000346: POP
00000347: POP
00000348: PUSH1 0x40
0000034a: MLOAD
0000034b: DUP1
0000034c: SWAP2
0000034d: SUB
0000034e: SWAP1
0000034f: RETURN
00000350: JUMPDEST
00000351: CALLVALUE
00000352: DUP1
00000353: ISZERO
00000354: PUSH2 0x035c
00000357: JUMPI
00000358: PUSH1 0x00
0000035a: DUP1
0000035b: REVERT
0000035c: JUMPDEST
0000035d: POP
0000035e: PUSH2 0x0365
00000361: PUSH2 0x0d42
00000364: JUMP
00000365: JUMPDEST
00000366: STOP
00000367: JUMPDEST
00000368: CALLVALUE
00000369: DUP1
0000036a: ISZERO
0000036b: PUSH2 0x0373
0000036e: JUMPI
0000036f: PUSH1 0x00
00000371: DUP1
00000372: REVERT
00000373: JUMPDEST
00000374: POP
00000375: PUSH2 0x03b2
00000378: PUSH1 0x04
0000037a: DUP1
0000037b: CALLDATASIZE
0000037c: SUB
0000037d: DUP2
0000037e: ADD
0000037f: SWAP1
00000380: DUP1
00000381: DUP1
00000382: CALLDATALOAD
00000383: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000398: AND
00000399: SWAP1
0000039a: PUSH1 0x20
0000039c: ADD
0000039d: SWAP1
0000039e: SWAP3
0000039f: SWAP2
000003a0: SWAP1
000003a1: DUP1
000003a2: CALLDATALOAD
000003a3: SWAP1
000003a4: PUSH1 0x20
000003a6: ADD
000003a7: SWAP1
000003a8: SWAP3
000003a9: SWAP2
000003aa: SWAP1
000003ab: POP
000003ac: POP
000003ad: POP
000003ae: PUSH2 0x10ec
000003b1: JUMP
000003b2: JUMPDEST
000003b3: STOP
000003b4: JUMPDEST
000003b5: CALLVALUE
000003b6: DUP1
000003b7: ISZERO
000003b8: PUSH2 0x03c0
000003bb: JUMPI
000003bc: PUSH1 0x00
000003be: DUP1
000003bf: REVERT
000003c0: JUMPDEST
000003c1: POP
000003c2: PUSH2 0x03c9
000003c5: PUSH2 0x1203
000003c8: JUMP
000003c9: JUMPDEST
000003ca: PUSH1 0x40
000003cc: MLOAD
000003cd: DUP1
000003ce: DUP3
000003cf: DUP2
000003d0: MSTORE
000003d1: PUSH1 0x20
000003d3: ADD
000003d4: SWAP2
000003d5: POP
000003d6: POP
000003d7: PUSH1 0x40
000003d9: MLOAD
000003da: DUP1
000003db: SWAP2
000003dc: SUB
000003dd: SWAP1
000003de: RETURN
000003df: JUMPDEST
000003e0: CALLVALUE
000003e1: DUP1
000003e2: ISZERO
000003e3: PUSH2 0x03eb
000003e6: JUMPI
000003e7: PUSH1 0x00
000003e9: DUP1
000003ea: REVERT
000003eb: JUMPDEST
000003ec: POP
000003ed: PUSH2 0x03f4
000003f0: PUSH2 0x1209
000003f3: JUMP
000003f4: JUMPDEST
000003f5: PUSH1 0x40
000003f7: MLOAD
000003f8: DUP1
000003f9: DUP3
000003fa: DUP2
000003fb: MSTORE
000003fc: PUSH1 0x20
000003fe: ADD
000003ff: SWAP2
00000400: POP
00000401: POP
00000402: PUSH1 0x40
00000404: MLOAD
00000405: DUP1
00000406: SWAP2
00000407: SUB
00000408: SWAP1
00000409: RETURN
0000040a: JUMPDEST
0000040b: CALLVALUE
0000040c: DUP1
0000040d: ISZERO
0000040e: PUSH2 0x0416
00000411: JUMPI
00000412: PUSH1 0x00
00000414: DUP1
00000415: REVERT
00000416: JUMPDEST
00000417: POP
00000418: PUSH2 0x041f
0000041b: PUSH2 0x120f
0000041e: JUMP
0000041f: JUMPDEST
00000420: PUSH1 0x40
00000422: MLOAD
00000423: DUP1
00000424: DUP3
00000425: DUP2
00000426: MSTORE
00000427: PUSH1 0x20
00000429: ADD
0000042a: SWAP2
0000042b: POP
0000042c: POP
0000042d: PUSH1 0x40
0000042f: MLOAD
00000430: DUP1
00000431: SWAP2
00000432: SUB
00000433: SWAP1
00000434: RETURN
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: PUSH2 0x044a
00000446: PUSH2 0x1215
00000449: JUMP
0000044a: JUMPDEST
0000044b: PUSH1 0x40
0000044d: MLOAD
0000044e: DUP1
0000044f: DUP3
00000450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000465: AND
00000466: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000047b: AND
0000047c: DUP2
0000047d: MSTORE
0000047e: PUSH1 0x20
00000480: ADD
00000481: SWAP2
00000482: POP
00000483: POP
00000484: PUSH1 0x40
00000486: MLOAD
00000487: DUP1
00000488: SWAP2
00000489: SUB
0000048a: SWAP1
0000048b: RETURN
0000048c: JUMPDEST
0000048d: CALLVALUE
0000048e: DUP1
0000048f: ISZERO
00000490: PUSH2 0x0498
00000493: JUMPI
00000494: PUSH1 0x00
00000496: DUP1
00000497: REVERT
00000498: JUMPDEST
00000499: POP
0000049a: PUSH2 0x04a1
0000049d: PUSH2 0x123b
000004a0: JUMP
000004a1: JUMPDEST
000004a2: STOP
000004a3: JUMPDEST
000004a4: CALLVALUE
000004a5: DUP1
000004a6: ISZERO
000004a7: PUSH2 0x04af
000004aa: JUMPI
000004ab: PUSH1 0x00
000004ad: DUP1
000004ae: REVERT
000004af: JUMPDEST
000004b0: POP
000004b1: PUSH2 0x04b8
000004b4: PUSH2 0x13b7
000004b7: JUMP
000004b8: JUMPDEST
000004b9: PUSH1 0x40
000004bb: MLOAD
000004bc: DUP1
000004bd: DUP3
000004be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004d3: AND
000004d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004e9: AND
000004ea: DUP2
000004eb: MSTORE
000004ec: PUSH1 0x20
000004ee: ADD
000004ef: SWAP2
000004f0: POP
000004f1: POP
000004f2: PUSH1 0x40
000004f4: MLOAD
000004f5: DUP1
000004f6: SWAP2
000004f7: SUB
000004f8: SWAP1
000004f9: RETURN
000004fa: JUMPDEST
000004fb: CALLVALUE
000004fc: DUP1
000004fd: ISZERO
000004fe: PUSH2 0x0506
00000501: JUMPI
00000502: PUSH1 0x00
00000504: DUP1
00000505: REVERT
00000506: JUMPDEST
00000507: POP
00000508: PUSH2 0x050f
0000050b: PUSH2 0x13dd
0000050e: JUMP
0000050f: JUMPDEST
00000510: STOP
00000511: JUMPDEST
00000512: CALLVALUE
00000513: DUP1
00000514: ISZERO
00000515: PUSH2 0x051d
00000518: JUMPI
00000519: PUSH1 0x00
0000051b: DUP1
0000051c: REVERT
0000051d: JUMPDEST
0000051e: POP
0000051f: PUSH2 0x0526
00000522: PUSH2 0x14df
00000525: JUMP
00000526: JUMPDEST
00000527: PUSH1 0x40
00000529: MLOAD
0000052a: DUP1
0000052b: DUP3
0000052c: PUSH8 0xffffffffffffffff
00000535: AND
00000536: PUSH8 0xffffffffffffffff
0000053f: AND
00000540: DUP2
00000541: MSTORE
00000542: PUSH1 0x20
00000544: ADD
00000545: SWAP2
00000546: POP
00000547: POP
00000548: PUSH1 0x40
0000054a: MLOAD
0000054b: DUP1
0000054c: SWAP2
0000054d: SUB
0000054e: SWAP1
0000054f: RETURN
00000550: JUMPDEST
00000551: CALLVALUE
00000552: DUP1
00000553: ISZERO
00000554: PUSH2 0x055c
00000557: JUMPI
00000558: PUSH1 0x00
0000055a: DUP1
0000055b: REVERT
0000055c: JUMPDEST
0000055d: POP
0000055e: PUSH2 0x0591
00000561: PUSH1 0x04
00000563: DUP1
00000564: CALLDATASIZE
00000565: SUB
00000566: DUP2
00000567: ADD
00000568: SWAP1
00000569: DUP1
0000056a: DUP1
0000056b: CALLDATALOAD
0000056c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000581: AND
00000582: SWAP1
00000583: PUSH1 0x20
00000585: ADD
00000586: SWAP1
00000587: SWAP3
00000588: SWAP2
00000589: SWAP1
0000058a: POP
0000058b: POP
0000058c: POP
0000058d: PUSH2 0x14f9
00000590: JUMP
00000591: JUMPDEST
00000592: STOP
00000593: JUMPDEST
00000594: CALLVALUE
00000595: DUP1
00000596: ISZERO
00000597: PUSH2 0x059f
0000059a: JUMPI
0000059b: PUSH1 0x00
0000059d: DUP1
0000059e: REVERT
0000059f: JUMPDEST
000005a0: POP
000005a1: PUSH2 0x05a8
000005a4: PUSH2 0x18ed
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH1 0x40
000005ab: MLOAD
000005ac: DUP1
000005ad: DUP3
000005ae: PUSH8 0xffffffffffffffff
000005b7: AND
000005b8: PUSH8 0xffffffffffffffff
000005c1: AND
000005c2: DUP2
000005c3: MSTORE
000005c4: PUSH1 0x20
000005c6: ADD
000005c7: SWAP2
000005c8: POP
000005c9: POP
000005ca: PUSH1 0x40
000005cc: MLOAD
000005cd: DUP1
000005ce: SWAP2
000005cf: SUB
000005d0: SWAP1
000005d1: RETURN
000005d2: JUMPDEST
000005d3: CALLVALUE
000005d4: DUP1
000005d5: ISZERO
000005d6: PUSH2 0x05de
000005d9: JUMPI
000005da: PUSH1 0x00
000005dc: DUP1
000005dd: REVERT
000005de: JUMPDEST
000005df: POP
000005e0: PUSH2 0x05e7
000005e3: PUSH2 0x1907
000005e6: JUMP
000005e7: JUMPDEST
000005e8: PUSH1 0x40
000005ea: MLOAD
000005eb: DUP1
000005ec: DUP3
000005ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000602: AND
00000603: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000618: AND
00000619: DUP2
0000061a: MSTORE
0000061b: PUSH1 0x20
0000061d: ADD
0000061e: SWAP2
0000061f: POP
00000620: POP
00000621: PUSH1 0x40
00000623: MLOAD
00000624: DUP1
00000625: SWAP2
00000626: SUB
00000627: SWAP1
00000628: RETURN
00000629: JUMPDEST
0000062a: CALLVALUE
0000062b: DUP1
0000062c: ISZERO
0000062d: PUSH2 0x0635
00000630: JUMPI
00000631: PUSH1 0x00
00000633: DUP1
00000634: REVERT
00000635: JUMPDEST
00000636: POP
00000637: PUSH2 0x063e
0000063a: PUSH2 0x192c
0000063d: JUMP
0000063e: JUMPDEST
0000063f: PUSH1 0x40
00000641: MLOAD
00000642: DUP1
00000643: DUP3
00000644: DUP2
00000645: MSTORE
00000646: PUSH1 0x20
00000648: ADD
00000649: SWAP2
0000064a: POP
0000064b: POP
0000064c: PUSH1 0x40
0000064e: MLOAD
0000064f: DUP1
00000650: SWAP2
00000651: SUB
00000652: SWAP1
00000653: RETURN
00000654: JUMPDEST
00000655: CALLVALUE
00000656: DUP1
00000657: ISZERO
00000658: PUSH2 0x0660
0000065b: JUMPI
0000065c: PUSH1 0x00
0000065e: DUP1
0000065f: REVERT
00000660: JUMPDEST
00000661: POP
00000662: PUSH2 0x0669
00000665: PUSH2 0x1932
00000668: JUMP
00000669: JUMPDEST
0000066a: PUSH1 0x40
0000066c: MLOAD
0000066d: DUP1
0000066e: DUP3
0000066f: DUP2
00000670: MSTORE
00000671: PUSH1 0x20
00000673: ADD
00000674: SWAP2
00000675: POP
00000676: POP
00000677: PUSH1 0x40
00000679: MLOAD
0000067a: DUP1
0000067b: SWAP2
0000067c: SUB
0000067d: SWAP1
0000067e: RETURN
0000067f: JUMPDEST
00000680: PUSH2 0x06bd
00000683: PUSH1 0x04
00000685: DUP1
00000686: CALLDATASIZE
00000687: SUB
00000688: DUP2
00000689: ADD
0000068a: SWAP1
0000068b: DUP1
0000068c: DUP1
0000068d: CALLDATALOAD
0000068e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a3: AND
000006a4: SWAP1
000006a5: PUSH1 0x20
000006a7: ADD
000006a8: SWAP1
000006a9: SWAP3
000006aa: SWAP2
000006ab: SWAP1
000006ac: DUP1
000006ad: CALLDATALOAD
000006ae: SWAP1
000006af: PUSH1 0x20
000006b1: ADD
000006b2: SWAP1
000006b3: SWAP3
000006b4: SWAP2
000006b5: SWAP1
000006b6: POP
000006b7: POP
000006b8: POP
000006b9: PUSH2 0x1938
000006bc: JUMP
000006bd: JUMPDEST
000006be: STOP
000006bf: JUMPDEST
000006c0: CALLVALUE
000006c1: DUP1
000006c2: ISZERO
000006c3: PUSH2 0x06cb
000006c6: JUMPI
000006c7: PUSH1 0x00
000006c9: DUP1
000006ca: REVERT
000006cb: JUMPDEST
000006cc: POP
000006cd: PUSH2 0x06d4
000006d0: PUSH2 0x1a0a
000006d3: JUMP
000006d4: JUMPDEST
000006d5: PUSH1 0x40
000006d7: MLOAD
000006d8: DUP1
000006d9: DUP3
000006da: DUP2
000006db: MSTORE
000006dc: PUSH1 0x20
000006de: ADD
000006df: SWAP2
000006e0: POP
000006e1: POP
000006e2: PUSH1 0x40
000006e4: MLOAD
000006e5: DUP1
000006e6: SWAP2
000006e7: SUB
000006e8: SWAP1
000006e9: RETURN
000006ea: JUMPDEST
000006eb: CALLVALUE
000006ec: DUP1
000006ed: ISZERO
000006ee: PUSH2 0x06f6
000006f1: JUMPI
000006f2: PUSH1 0x00
000006f4: DUP1
000006f5: REVERT
000006f6: JUMPDEST
000006f7: POP
000006f8: PUSH2 0x06ff
000006fb: PUSH2 0x1a10
000006fe: JUMP
000006ff: JUMPDEST
00000700: PUSH1 0x40
00000702: MLOAD
00000703: DUP1
00000704: DUP3
00000705: PUSH8 0xffffffffffffffff
0000070e: AND
0000070f: PUSH8 0xffffffffffffffff
00000718: AND
00000719: DUP2
0000071a: MSTORE
0000071b: PUSH1 0x20
0000071d: ADD
0000071e: SWAP2
0000071f: POP
00000720: POP
00000721: PUSH1 0x40
00000723: MLOAD
00000724: DUP1
00000725: SWAP2
00000726: SUB
00000727: SWAP1
00000728: RETURN
00000729: JUMPDEST
0000072a: CALLVALUE
0000072b: DUP1
0000072c: ISZERO
0000072d: PUSH2 0x0735
00000730: JUMPI
00000731: PUSH1 0x00
00000733: DUP1
00000734: REVERT
00000735: JUMPDEST
00000736: POP
00000737: PUSH2 0x073e
0000073a: PUSH2 0x1a2a
0000073d: JUMP
0000073e: JUMPDEST
0000073f: STOP
00000740: JUMPDEST
00000741: CALLVALUE
00000742: DUP1
00000743: ISZERO
00000744: PUSH2 0x074c
00000747: JUMPI
00000748: PUSH1 0x00
0000074a: DUP1
0000074b: REVERT
0000074c: JUMPDEST
0000074d: POP
0000074e: PUSH2 0x0755
00000751: PUSH2 0x1b9a
00000754: JUMP
00000755: JUMPDEST
00000756: PUSH1 0x40
00000758: MLOAD
00000759: DUP1
0000075a: DUP3
0000075b: DUP2
0000075c: MSTORE
0000075d: PUSH1 0x20
0000075f: ADD
00000760: SWAP2
00000761: POP
00000762: POP
00000763: PUSH1 0x40
00000765: MLOAD
00000766: DUP1
00000767: SWAP2
00000768: SUB
00000769: SWAP1
0000076a: RETURN
0000076b: JUMPDEST
0000076c: CALLVALUE
0000076d: DUP1
0000076e: ISZERO
0000076f: PUSH2 0x0777
00000772: JUMPI
00000773: PUSH1 0x00
00000775: DUP1
00000776: REVERT
00000777: JUMPDEST
00000778: POP
00000779: PUSH2 0x0780
0000077c: PUSH2 0x1ba0
0000077f: JUMP
00000780: JUMPDEST
00000781: PUSH1 0x40
00000783: MLOAD
00000784: DUP1
00000785: DUP3
00000786: DUP2
00000787: MSTORE
00000788: PUSH1 0x20
0000078a: ADD
0000078b: SWAP2
0000078c: POP
0000078d: POP
0000078e: PUSH1 0x40
00000790: MLOAD
00000791: DUP1
00000792: SWAP2
00000793: SUB
00000794: SWAP1
00000795: RETURN
00000796: JUMPDEST
00000797: CALLVALUE
00000798: DUP1
00000799: ISZERO
0000079a: PUSH2 0x07a2
0000079d: JUMPI
0000079e: PUSH1 0x00
000007a0: DUP1
000007a1: REVERT
000007a2: JUMPDEST
000007a3: POP
000007a4: PUSH2 0x07ab
000007a7: PUSH2 0x1ba6
000007aa: JUMP
000007ab: JUMPDEST
000007ac: STOP
000007ad: JUMPDEST
000007ae: CALLVALUE
000007af: DUP1
000007b0: ISZERO
000007b1: PUSH2 0x07b9
000007b4: JUMPI
000007b5: PUSH1 0x00
000007b7: DUP1
000007b8: REVERT
000007b9: JUMPDEST
000007ba: POP
000007bb: PUSH2 0x07c2
000007be: PUSH2 0x1c36
000007c1: JUMP
000007c2: JUMPDEST
000007c3: STOP
000007c4: JUMPDEST
000007c5: CALLVALUE
000007c6: DUP1
000007c7: ISZERO
000007c8: PUSH2 0x07d0
000007cb: JUMPI
000007cc: PUSH1 0x00
000007ce: DUP1
000007cf: REVERT
000007d0: JUMPDEST
000007d1: POP
000007d2: PUSH2 0x07d9
000007d5: PUSH2 0x1e6c
000007d8: JUMP
000007d9: JUMPDEST
000007da: PUSH1 0x40
000007dc: MLOAD
000007dd: DUP1
000007de: DUP3
000007df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f4: AND
000007f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080a: AND
0000080b: DUP2
0000080c: MSTORE
0000080d: PUSH1 0x20
0000080f: ADD
00000810: SWAP2
00000811: POP
00000812: POP
00000813: PUSH1 0x40
00000815: MLOAD
00000816: DUP1
00000817: SWAP2
00000818: SUB
00000819: SWAP1
0000081a: RETURN
0000081b: JUMPDEST
0000081c: PUSH2 0x084f
0000081f: PUSH1 0x04
00000821: DUP1
00000822: CALLDATASIZE
00000823: SUB
00000824: DUP2
00000825: ADD
00000826: SWAP1
00000827: DUP1
00000828: DUP1
00000829: CALLDATALOAD
0000082a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083f: AND
00000840: SWAP1
00000841: PUSH1 0x20
00000843: ADD
00000844: SWAP1
00000845: SWAP3
00000846: SWAP2
00000847: SWAP1
00000848: POP
00000849: POP
0000084a: POP
0000084b: PUSH2 0x08c3
0000084e: JUMP
0000084f: JUMPDEST
00000850: STOP
00000851: JUMPDEST
00000852: CALLVALUE
00000853: DUP1
00000854: ISZERO
00000855: PUSH2 0x085d
00000858: JUMPI
00000859: PUSH1 0x00
0000085b: DUP1
0000085c: REVERT
0000085d: JUMPDEST
0000085e: POP
0000085f: PUSH2 0x0866
00000862: PUSH2 0x1e92
00000865: JUMP
00000866: JUMPDEST
00000867: PUSH1 0x40
00000869: MLOAD
0000086a: DUP1
0000086b: DUP3
0000086c: ISZERO
0000086d: ISZERO
0000086e: ISZERO
0000086f: ISZERO
00000870: DUP2
00000871: MSTORE
00000872: PUSH1 0x20
00000874: ADD
00000875: SWAP2
00000876: POP
00000877: POP
00000878: PUSH1 0x40
0000087a: MLOAD
0000087b: DUP1
0000087c: SWAP2
0000087d: SUB
0000087e: SWAP1
0000087f: RETURN
00000880: JUMPDEST
00000881: CALLVALUE
00000882: DUP1
00000883: ISZERO
00000884: PUSH2 0x088c
00000887: JUMPI
00000888: PUSH1 0x00
0000088a: DUP1
0000088b: REVERT
0000088c: JUMPDEST
0000088d: POP
0000088e: PUSH2 0x08c1
00000891: PUSH1 0x04
00000893: DUP1
00000894: CALLDATASIZE
00000895: SUB
00000896: DUP2
00000897: ADD
00000898: SWAP1
00000899: DUP1
0000089a: DUP1
0000089b: CALLDATALOAD
0000089c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b1: AND
000008b2: SWAP1
000008b3: PUSH1 0x20
000008b5: ADD
000008b6: SWAP1
000008b7: SWAP3
000008b8: SWAP2
000008b9: SWAP1
000008ba: POP
000008bb: POP
000008bc: POP
000008bd: PUSH2 0x1ebc
000008c0: JUMP
000008c1: JUMPDEST
000008c2: STOP
000008c3: JUMPDEST
000008c4: PUSH1 0x00
000008c6: DUP1
000008c7: PUSH1 0x00
000008c9: PUSH1 0x03
000008cb: PUSH1 0x14
000008cd: SWAP1
000008ce: SLOAD
000008cf: SWAP1
000008d0: PUSH2 0x0100
000008d3: EXP
000008d4: SWAP1
000008d5: DIV
000008d6: PUSH8 0xffffffffffffffff
000008df: AND
000008e0: PUSH8 0xffffffffffffffff
000008e9: AND
000008ea: TIMESTAMP
000008eb: LT
000008ec: ISZERO
000008ed: DUP1
000008ee: ISZERO
000008ef: PUSH2 0x0918
000008f2: JUMPI
000008f3: POP
000008f4: PUSH1 0x04
000008f6: PUSH1 0x00
000008f8: SWAP1
000008f9: SLOAD
000008fa: SWAP1
000008fb: PUSH2 0x0100
000008fe: EXP
000008ff: SWAP1
00000900: DIV
00000901: PUSH8 0xffffffffffffffff
0000090a: AND
0000090b: PUSH8 0xffffffffffffffff
00000914: AND
00000915: TIMESTAMP
00000916: GT
00000917: ISZERO
00000918: JUMPDEST
00000919: SWAP1
0000091a: POP
0000091b: DUP1
0000091c: ISZERO
0000091d: ISZERO
0000091e: PUSH2 0x0926
00000921: JUMPI
00000922: PUSH1 0x00
00000924: DUP1
00000925: REVERT
00000926: JUMPDEST
00000927: PUSH1 0x00
00000929: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000093e: AND
0000093f: DUP5
00000940: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000955: AND
00000956: EQ
00000957: ISZERO
00000958: ISZERO
00000959: ISZERO
0000095a: PUSH2 0x0962
0000095d: JUMPI
0000095e: PUSH1 0x00
00000960: DUP1
00000961: REVERT
00000962: JUMPDEST
00000963: CALLVALUE
00000964: SWAP3
00000965: POP
00000966: PUSH2 0x097a
00000969: PUSH1 0x06
0000096b: SLOAD
0000096c: DUP5
0000096d: PUSH2 0x2011
00000970: SWAP1
00000971: SWAP2
00000972: SWAP1
00000973: PUSH4 0xffffffff
00000978: AND
00000979: JUMP
0000097a: JUMPDEST
0000097b: SWAP2
0000097c: POP
0000097d: PUSH1 0x08
0000097f: SLOAD
00000980: DUP3
00000981: LT
00000982: ISZERO
00000983: ISZERO
00000984: ISZERO
00000985: PUSH2 0x098d
00000988: JUMPI
00000989: PUSH1 0x00
0000098b: DUP1
0000098c: REVERT
0000098d: JUMPDEST
0000098e: PUSH2 0x0997
00000991: DUP5
00000992: DUP4
00000993: PUSH2 0x204c
00000996: JUMP
00000997: JUMPDEST
00000998: PUSH2 0x09ac
0000099b: DUP4
0000099c: PUSH1 0x0f
0000099e: SLOAD
0000099f: PUSH2 0x2259
000009a2: SWAP1
000009a3: SWAP2
000009a4: SWAP1
000009a5: PUSH4 0xffffffff
000009aa: AND
000009ab: JUMP
000009ac: JUMPDEST
000009ad: PUSH1 0x0f
000009af: DUP2
000009b0: SWAP1
000009b1: SSTORE
000009b2: POP
000009b3: PUSH2 0x0a04
000009b6: DUP4
000009b7: PUSH1 0x0d
000009b9: PUSH1 0x00
000009bb: DUP8
000009bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d1: AND
000009d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e7: AND
000009e8: DUP2
000009e9: MSTORE
000009ea: PUSH1 0x20
000009ec: ADD
000009ed: SWAP1
000009ee: DUP2
000009ef: MSTORE
000009f0: PUSH1 0x20
000009f2: ADD
000009f3: PUSH1 0x00
000009f5: KECCAK256
000009f6: SLOAD
000009f7: PUSH2 0x2259
000009fa: SWAP1
000009fb: SWAP2
000009fc: SWAP1
000009fd: PUSH4 0xffffffff
00000a02: AND
00000a03: JUMP
00000a04: JUMPDEST
00000a05: PUSH1 0x0d
00000a07: PUSH1 0x00
00000a09: DUP7
00000a0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1f: AND
00000a20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a35: AND
00000a36: DUP2
00000a37: MSTORE
00000a38: PUSH1 0x20
00000a3a: ADD
00000a3b: SWAP1
00000a3c: DUP2
00000a3d: MSTORE
00000a3e: PUSH1 0x20
00000a40: ADD
00000a41: PUSH1 0x00
00000a43: KECCAK256
00000a44: DUP2
00000a45: SWAP1
00000a46: SSTORE
00000a47: POP
00000a48: POP
00000a49: POP
00000a4a: POP
00000a4b: POP
00000a4c: JUMP
00000a4d: JUMPDEST
00000a4e: PUSH1 0x04
00000a50: PUSH1 0x18
00000a52: SWAP1
00000a53: SLOAD
00000a54: SWAP1
00000a55: PUSH2 0x0100
00000a58: EXP
00000a59: SWAP1
00000a5a: DIV
00000a5b: PUSH8 0xffffffffffffffff
00000a64: AND
00000a65: DUP2
00000a66: JUMP
00000a67: JUMPDEST
00000a68: PUSH1 0x00
00000a6a: DUP1
00000a6b: SWAP1
00000a6c: SLOAD
00000a6d: SWAP1
00000a6e: PUSH2 0x0100
00000a71: EXP
00000a72: SWAP1
00000a73: DIV
00000a74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a89: AND
00000a8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a9f: AND
00000aa0: CALLER
00000aa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab6: AND
00000ab7: EQ
00000ab8: ISZERO
00000ab9: ISZERO
00000aba: PUSH2 0x0ac2
00000abd: JUMPI
00000abe: PUSH1 0x00
00000ac0: DUP1
00000ac1: REVERT
00000ac2: JUMPDEST
00000ac3: PUSH1 0x04
00000ac5: PUSH1 0x00
00000ac7: SWAP1
00000ac8: SLOAD
00000ac9: SWAP1
00000aca: PUSH2 0x0100
00000acd: EXP
00000ace: SWAP1
00000acf: DIV
00000ad0: PUSH8 0xffffffffffffffff
00000ad9: AND
00000ada: PUSH8 0xffffffffffffffff
00000ae3: AND
00000ae4: TIMESTAMP
00000ae5: GT
00000ae6: ISZERO
00000ae7: ISZERO
00000ae8: PUSH2 0x0af0
00000aeb: JUMPI
00000aec: PUSH1 0x00
00000aee: DUP1
00000aef: REVERT
00000af0: JUMPDEST
00000af1: PUSH1 0x02
00000af3: PUSH1 0x00
00000af5: SWAP1
00000af6: SLOAD
00000af7: SWAP1
00000af8: PUSH2 0x0100
00000afb: EXP
00000afc: SWAP1
00000afd: DIV
00000afe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b13: AND
00000b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b29: AND
00000b2a: PUSH4 0xf2fde38b
00000b2f: PUSH1 0x00
00000b31: DUP1
00000b32: SWAP1
00000b33: SLOAD
00000b34: SWAP1
00000b35: PUSH2 0x0100
00000b38: EXP
00000b39: SWAP1
00000b3a: DIV
00000b3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b50: AND
00000b51: PUSH1 0x40
00000b53: MLOAD
00000b54: DUP3
00000b55: PUSH4 0xffffffff
00000b5a: AND
00000b5b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000b79: MUL
00000b7a: DUP2
00000b7b: MSTORE
00000b7c: PUSH1 0x04
00000b7e: ADD
00000b7f: DUP1
00000b80: DUP3
00000b81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b96: AND
00000b97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bac: AND
00000bad: DUP2
00000bae: MSTORE
00000baf: PUSH1 0x20
00000bb1: ADD
00000bb2: SWAP2
00000bb3: POP
00000bb4: POP
00000bb5: PUSH1 0x00
00000bb7: PUSH1 0x40
00000bb9: MLOAD
00000bba: DUP1
00000bbb: DUP4
00000bbc: SUB
00000bbd: DUP2
00000bbe: PUSH1 0x00
00000bc0: DUP8
00000bc1: DUP1
00000bc2: EXTCODESIZE
00000bc3: ISZERO
00000bc4: DUP1
00000bc5: ISZERO
00000bc6: PUSH2 0x0bce
00000bc9: JUMPI
00000bca: PUSH1 0x00
00000bcc: DUP1
00000bcd: REVERT
00000bce: JUMPDEST
00000bcf: POP
00000bd0: GAS
00000bd1: CALL
00000bd2: ISZERO
00000bd3: DUP1
00000bd4: ISZERO
00000bd5: PUSH2 0x0be2
00000bd8: JUMPI
00000bd9: RETURNDATASIZE
00000bda: PUSH1 0x00
00000bdc: DUP1
00000bdd: RETURNDATACOPY
00000bde: RETURNDATASIZE
00000bdf: PUSH1 0x00
00000be1: REVERT
00000be2: JUMPDEST
00000be3: POP
00000be4: POP
00000be5: POP
00000be6: POP
00000be7: PUSH1 0x03
00000be9: PUSH1 0x00
00000beb: SWAP1
00000bec: SLOAD
00000bed: SWAP1
00000bee: PUSH2 0x0100
00000bf1: EXP
00000bf2: SWAP1
00000bf3: DIV
00000bf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c09: AND
00000c0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1f: AND
00000c20: PUSH4 0xf2fde38b
00000c25: PUSH1 0x00
00000c27: DUP1
00000c28: SWAP1
00000c29: SLOAD
00000c2a: SWAP1
00000c2b: PUSH2 0x0100
00000c2e: EXP
00000c2f: SWAP1
00000c30: DIV
00000c31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c46: AND
00000c47: PUSH1 0x40
00000c49: MLOAD
00000c4a: DUP3
00000c4b: PUSH4 0xffffffff
00000c50: AND
00000c51: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000c6f: MUL
00000c70: DUP2
00000c71: MSTORE
00000c72: PUSH1 0x04
00000c74: ADD
00000c75: DUP1
00000c76: DUP3
00000c77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8c: AND
00000c8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca2: AND
00000ca3: DUP2
00000ca4: MSTORE
00000ca5: PUSH1 0x20
00000ca7: ADD
00000ca8: SWAP2
00000ca9: POP
00000caa: POP
00000cab: PUSH1 0x00
00000cad: PUSH1 0x40
00000caf: MLOAD
00000cb0: DUP1
00000cb1: DUP4
00000cb2: SUB
00000cb3: DUP2
00000cb4: PUSH1 0x00
00000cb6: DUP8
00000cb7: DUP1
00000cb8: EXTCODESIZE
00000cb9: ISZERO
00000cba: DUP1
00000cbb: ISZERO
00000cbc: PUSH2 0x0cc4
00000cbf: JUMPI
00000cc0: PUSH1 0x00
00000cc2: DUP1
00000cc3: REVERT
00000cc4: JUMPDEST
00000cc5: POP
00000cc6: GAS
00000cc7: CALL
00000cc8: ISZERO
00000cc9: DUP1
00000cca: ISZERO
00000ccb: PUSH2 0x0cd8
00000cce: JUMPI
00000ccf: RETURNDATASIZE
00000cd0: PUSH1 0x00
00000cd2: DUP1
00000cd3: RETURNDATACOPY
00000cd4: RETURNDATASIZE
00000cd5: PUSH1 0x00
00000cd7: REVERT
00000cd8: JUMPDEST
00000cd9: POP
00000cda: POP
00000cdb: POP
00000cdc: POP
00000cdd: JUMP
00000cde: JUMPDEST
00000cdf: PUSH1 0x01
00000ce1: PUSH1 0x00
00000ce3: SWAP1
00000ce4: SLOAD
00000ce5: SWAP1
00000ce6: PUSH2 0x0100
00000ce9: EXP
00000cea: SWAP1
00000ceb: DIV
00000cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d01: AND
00000d02: DUP2
00000d03: JUMP
00000d04: JUMPDEST
00000d05: PUSH1 0x0c
00000d07: PUSH1 0x20
00000d09: MSTORE
00000d0a: DUP1
00000d0b: PUSH1 0x00
00000d0d: MSTORE
00000d0e: PUSH1 0x40
00000d10: PUSH1 0x00
00000d12: KECCAK256
00000d13: PUSH1 0x00
00000d15: SWAP2
00000d16: POP
00000d17: SWAP1
00000d18: POP
00000d19: SLOAD
00000d1a: DUP2
00000d1b: JUMP
00000d1c: JUMPDEST
00000d1d: PUSH1 0x06
00000d1f: SLOAD
00000d20: DUP2
00000d21: JUMP
00000d22: JUMPDEST
00000d23: PUSH1 0x04
00000d25: PUSH1 0x00
00000d27: SWAP1
00000d28: SLOAD
00000d29: SWAP1
00000d2a: PUSH2 0x0100
00000d2d: EXP
00000d2e: SWAP1
00000d2f: DIV
00000d30: PUSH8 0xffffffffffffffff
00000d39: AND
00000d3a: DUP2
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: PUSH1 0x11
00000d3f: SLOAD
00000d40: DUP2
00000d41: JUMP
00000d42: JUMPDEST
00000d43: PUSH1 0x00
00000d45: DUP1
00000d46: SWAP1
00000d47: SLOAD
00000d48: SWAP1
00000d49: PUSH2 0x0100
00000d4c: EXP
00000d4d: SWAP1
00000d4e: DIV
00000d4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d64: AND
00000d65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7a: AND
00000d7b: CALLER
00000d7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d91: AND
00000d92: EQ
00000d93: ISZERO
00000d94: ISZERO
00000d95: PUSH2 0x0d9d
00000d98: JUMPI
00000d99: PUSH1 0x00
00000d9b: DUP1
00000d9c: REVERT
00000d9d: JUMPDEST
00000d9e: PUSH1 0x0b
00000da0: SLOAD
00000da1: PUSH1 0x12
00000da3: SLOAD
00000da4: LT
00000da5: ISZERO
00000da6: ISZERO
00000da7: ISZERO
00000da8: PUSH2 0x0db0
00000dab: JUMPI
00000dac: PUSH1 0x00
00000dae: DUP1
00000daf: REVERT
00000db0: JUMPDEST
00000db1: PUSH1 0x04
00000db3: PUSH1 0x00
00000db5: SWAP1
00000db6: SLOAD
00000db7: SWAP1
00000db8: PUSH2 0x0100
00000dbb: EXP
00000dbc: SWAP1
00000dbd: DIV
00000dbe: PUSH8 0xffffffffffffffff
00000dc7: AND
00000dc8: PUSH8 0xffffffffffffffff
00000dd1: AND
00000dd2: TIMESTAMP
00000dd3: GT
00000dd4: ISZERO
00000dd5: ISZERO
00000dd6: PUSH2 0x0dde
00000dd9: JUMPI
00000dda: PUSH1 0x00
00000ddc: DUP1
00000ddd: REVERT
00000dde: JUMPDEST
00000ddf: PUSH2 0x0dfe
00000de2: ADDRESS
00000de3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df8: AND
00000df9: BALANCE
00000dfa: PUSH2 0x2277
00000dfd: JUMP
00000dfe: JUMPDEST
00000dff: PUSH2 0x0efe
00000e02: PUSH1 0x01
00000e04: PUSH1 0x00
00000e06: SWAP1
00000e07: SLOAD
00000e08: SWAP1
00000e09: PUSH2 0x0100
00000e0c: EXP
00000e0d: SWAP1
00000e0e: DIV
00000e0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e24: AND
00000e25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3a: AND
00000e3b: PUSH4 0x70a08231
00000e40: ADDRESS
00000e41: PUSH1 0x40
00000e43: MLOAD
00000e44: DUP3
00000e45: PUSH4 0xffffffff
00000e4a: AND
00000e4b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000e69: MUL
00000e6a: DUP2
00000e6b: MSTORE
00000e6c: PUSH1 0x04
00000e6e: ADD
00000e6f: DUP1
00000e70: DUP3
00000e71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e86: AND
00000e87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e9c: AND
00000e9d: DUP2
00000e9e: MSTORE
00000e9f: PUSH1 0x20
00000ea1: ADD
00000ea2: SWAP2
00000ea3: POP
00000ea4: POP
00000ea5: PUSH1 0x20
00000ea7: PUSH1 0x40
00000ea9: MLOAD
00000eaa: DUP1
00000eab: DUP4
00000eac: SUB
00000ead: DUP2
00000eae: PUSH1 0x00
00000eb0: DUP8
00000eb1: DUP1
00000eb2: EXTCODESIZE
00000eb3: ISZERO
00000eb4: DUP1
00000eb5: ISZERO
00000eb6: PUSH2 0x0ebe
00000eb9: JUMPI
00000eba: PUSH1 0x00
00000ebc: DUP1
00000ebd: REVERT
00000ebe: JUMPDEST
00000ebf: POP
00000ec0: GAS
00000ec1: CALL
00000ec2: ISZERO
00000ec3: DUP1
00000ec4: ISZERO
00000ec5: PUSH2 0x0ed2
00000ec8: JUMPI
00000ec9: RETURNDATASIZE
00000eca: PUSH1 0x00
00000ecc: DUP1
00000ecd: RETURNDATACOPY
00000ece: RETURNDATASIZE
00000ecf: PUSH1 0x00
00000ed1: REVERT
00000ed2: JUMPDEST
00000ed3: POP
00000ed4: POP
00000ed5: POP
00000ed6: POP
00000ed7: PUSH1 0x40
00000ed9: MLOAD
00000eda: RETURNDATASIZE
00000edb: PUSH1 0x20
00000edd: DUP2
00000ede: LT
00000edf: ISZERO
00000ee0: PUSH2 0x0ee8
00000ee3: JUMPI
00000ee4: PUSH1 0x00
00000ee6: DUP1
00000ee7: REVERT
00000ee8: JUMPDEST
00000ee9: DUP2
00000eea: ADD
00000eeb: SWAP1
00000eec: DUP1
00000eed: DUP1
00000eee: MLOAD
00000eef: SWAP1
00000ef0: PUSH1 0x20
00000ef2: ADD
00000ef3: SWAP1
00000ef4: SWAP3
00000ef5: SWAP2
00000ef6: SWAP1
00000ef7: POP
00000ef8: POP
00000ef9: POP
00000efa: PUSH2 0x22e3
00000efd: JUMP
00000efe: JUMPDEST
00000eff: PUSH1 0x02
00000f01: PUSH1 0x00
00000f03: SWAP1
00000f04: SLOAD
00000f05: SWAP1
00000f06: PUSH2 0x0100
00000f09: EXP
00000f0a: SWAP1
00000f0b: DIV
00000f0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f21: AND
00000f22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f37: AND
00000f38: PUSH4 0xf2fde38b
00000f3d: PUSH1 0x00
00000f3f: DUP1
00000f40: SWAP1
00000f41: SLOAD
00000f42: SWAP1
00000f43: PUSH2 0x0100
00000f46: EXP
00000f47: SWAP1
00000f48: DIV
00000f49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f5e: AND
00000f5f: PUSH1 0x40
00000f61: MLOAD
00000f62: DUP3
00000f63: PUSH4 0xffffffff
00000f68: AND
00000f69: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000f87: MUL
00000f88: DUP2
00000f89: MSTORE
00000f8a: PUSH1 0x04
00000f8c: ADD
00000f8d: DUP1
00000f8e: DUP3
00000f8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa4: AND
00000fa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fba: AND
00000fbb: DUP2
00000fbc: MSTORE
00000fbd: PUSH1 0x20
00000fbf: ADD
00000fc0: SWAP2
00000fc1: POP
00000fc2: POP
00000fc3: PUSH1 0x00
00000fc5: PUSH1 0x40
00000fc7: MLOAD
00000fc8: DUP1
00000fc9: DUP4
00000fca: SUB
00000fcb: DUP2
00000fcc: PUSH1 0x00
00000fce: DUP8
00000fcf: DUP1
00000fd0: EXTCODESIZE
00000fd1: ISZERO
00000fd2: DUP1
00000fd3: ISZERO
00000fd4: PUSH2 0x0fdc
00000fd7: JUMPI
00000fd8: PUSH1 0x00
00000fda: DUP1
00000fdb: REVERT
00000fdc: JUMPDEST
00000fdd: POP
00000fde: GAS
00000fdf: CALL
00000fe0: ISZERO
00000fe1: DUP1
00000fe2: ISZERO
00000fe3: PUSH2 0x0ff0
00000fe6: JUMPI
00000fe7: RETURNDATASIZE
00000fe8: PUSH1 0x00
00000fea: DUP1
00000feb: RETURNDATACOPY
00000fec: RETURNDATASIZE
00000fed: PUSH1 0x00
00000fef: REVERT
00000ff0: JUMPDEST
00000ff1: POP
00000ff2: POP
00000ff3: POP
00000ff4: POP
00000ff5: PUSH1 0x03
00000ff7: PUSH1 0x00
00000ff9: SWAP1
00000ffa: SLOAD
00000ffb: SWAP1
00000ffc: PUSH2 0x0100
00000fff: EXP
00001000: SWAP1
00001001: DIV
00001002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001017: AND
00001018: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000102d: AND
0000102e: PUSH4 0xf2fde38b
00001033: PUSH1 0x00
00001035: DUP1
00001036: SWAP1
00001037: SLOAD
00001038: SWAP1
00001039: PUSH2 0x0100
0000103c: EXP
0000103d: SWAP1
0000103e: DIV
0000103f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001054: AND
00001055: PUSH1 0x40
00001057: MLOAD
00001058: DUP3
00001059: PUSH4 0xffffffff
0000105e: AND
0000105f: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000107d: MUL
0000107e: DUP2
0000107f: MSTORE
00001080: PUSH1 0x04
00001082: ADD
00001083: DUP1
00001084: DUP3
00001085: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000109a: AND
0000109b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b0: AND
000010b1: DUP2
000010b2: MSTORE
000010b3: PUSH1 0x20
000010b5: ADD
000010b6: SWAP2
000010b7: POP
000010b8: POP
000010b9: PUSH1 0x00
000010bb: PUSH1 0x40
000010bd: MLOAD
000010be: DUP1
000010bf: DUP4
000010c0: SUB
000010c1: DUP2
000010c2: PUSH1 0x00
000010c4: DUP8
000010c5: DUP1
000010c6: EXTCODESIZE
000010c7: ISZERO
000010c8: DUP1
000010c9: ISZERO
000010ca: PUSH2 0x10d2
000010cd: JUMPI
000010ce: PUSH1 0x00
000010d0: DUP1
000010d1: REVERT
000010d2: JUMPDEST
000010d3: POP
000010d4: GAS
000010d5: CALL
000010d6: ISZERO
000010d7: DUP1
000010d8: ISZERO
000010d9: PUSH2 0x10e6
000010dc: JUMPI
000010dd: RETURNDATASIZE
000010de: PUSH1 0x00
000010e0: DUP1
000010e1: RETURNDATACOPY
000010e2: RETURNDATASIZE
000010e3: PUSH1 0x00
000010e5: REVERT
000010e6: JUMPDEST
000010e7: POP
000010e8: POP
000010e9: POP
000010ea: POP
000010eb: JUMP
000010ec: JUMPDEST
000010ed: PUSH1 0x00
000010ef: PUSH1 0x03
000010f1: PUSH1 0x14
000010f3: SWAP1
000010f4: SLOAD
000010f5: SWAP1
000010f6: PUSH2 0x0100
000010f9: EXP
000010fa: SWAP1
000010fb: DIV
000010fc: PUSH8 0xffffffffffffffff
00001105: AND
00001106: PUSH8 0xffffffffffffffff
0000110f: AND
00001110: TIMESTAMP
00001111: LT
00001112: ISZERO
00001113: DUP1
00001114: ISZERO
00001115: PUSH2 0x113e
00001118: JUMPI
00001119: POP
0000111a: PUSH1 0x04
0000111c: PUSH1 0x00
0000111e: SWAP1
0000111f: SLOAD
00001120: SWAP1
00001121: PUSH2 0x0100
00001124: EXP
00001125: SWAP1
00001126: DIV
00001127: PUSH8 0xffffffffffffffff
00001130: AND
00001131: PUSH8 0xffffffffffffffff
0000113a: AND
0000113b: TIMESTAMP
0000113c: GT
0000113d: ISZERO
0000113e: JUMPDEST
0000113f: SWAP1
00001140: POP
00001141: DUP1
00001142: ISZERO
00001143: ISZERO
00001144: PUSH2 0x114c
00001147: JUMPI
00001148: PUSH1 0x00
0000114a: DUP1
0000114b: REVERT
0000114c: JUMPDEST
0000114d: PUSH1 0x00
0000114f: DUP1
00001150: SWAP1
00001151: SLOAD
00001152: SWAP1
00001153: PUSH2 0x0100
00001156: EXP
00001157: SWAP1
00001158: DIV
00001159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116e: AND
0000116f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001184: AND
00001185: CALLER
00001186: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119b: AND
0000119c: EQ
0000119d: ISZERO
0000119e: ISZERO
0000119f: PUSH2 0x11a7
000011a2: JUMPI
000011a3: PUSH1 0x00
000011a5: DUP1
000011a6: REVERT
000011a7: JUMPDEST
000011a8: PUSH1 0x00
000011aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011bf: AND
000011c0: DUP4
000011c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d6: AND
000011d7: EQ
000011d8: ISZERO
000011d9: ISZERO
000011da: ISZERO
000011db: PUSH2 0x11e3
000011de: JUMPI
000011df: PUSH1 0x00
000011e1: DUP1
000011e2: REVERT
000011e3: JUMPDEST
000011e4: PUSH1 0x08
000011e6: SLOAD
000011e7: DUP3
000011e8: LT
000011e9: ISZERO
000011ea: ISZERO
000011eb: ISZERO
000011ec: PUSH2 0x11f4
000011ef: JUMPI
000011f0: PUSH1 0x00
000011f2: DUP1
000011f3: REVERT
000011f4: JUMPDEST
000011f5: PUSH2 0x11fe
000011f8: DUP4
000011f9: DUP4
000011fa: PUSH2 0x204c
000011fd: JUMP
000011fe: JUMPDEST
000011ff: POP
00001200: POP
00001201: POP
00001202: JUMP
00001203: JUMPDEST
00001204: PUSH1 0x0a
00001206: SLOAD
00001207: DUP2
00001208: JUMP
00001209: JUMPDEST
0000120a: PUSH1 0x0f
0000120c: SLOAD
0000120d: DUP2
0000120e: JUMP
0000120f: JUMPDEST
00001210: PUSH1 0x10
00001212: SLOAD
00001213: DUP2
00001214: JUMP
00001215: JUMPDEST
00001216: PUSH1 0x05
00001218: PUSH1 0x00
0000121a: SWAP1
0000121b: SLOAD
0000121c: SWAP1
0000121d: PUSH2 0x0100
00001220: EXP
00001221: SWAP1
00001222: DIV
00001223: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001238: AND
00001239: DUP2
0000123a: JUMP
0000123b: JUMPDEST
0000123c: PUSH1 0x00
0000123e: PUSH1 0x0b
00001240: SLOAD
00001241: PUSH1 0x12
00001243: SLOAD
00001244: LT
00001245: DUP1
00001246: ISZERO
00001247: PUSH2 0x126f
0000124a: JUMPI
0000124b: POP
0000124c: PUSH1 0x04
0000124e: PUSH1 0x00
00001250: SWAP1
00001251: SLOAD
00001252: SWAP1
00001253: PUSH2 0x0100
00001256: EXP
00001257: SWAP1
00001258: DIV
00001259: PUSH8 0xffffffffffffffff
00001262: AND
00001263: PUSH8 0xffffffffffffffff
0000126c: AND
0000126d: TIMESTAMP
0000126e: GT
0000126f: JUMPDEST
00001270: ISZERO
00001271: ISZERO
00001272: PUSH2 0x127a
00001275: JUMPI
00001276: PUSH1 0x00
00001278: DUP1
00001279: REVERT
0000127a: JUMPDEST
0000127b: PUSH1 0x00
0000127d: PUSH1 0x14
0000127f: SWAP1
00001280: SLOAD
00001281: SWAP1
00001282: PUSH2 0x0100
00001285: EXP
00001286: SWAP1
00001287: DIV
00001288: PUSH1 0xff
0000128a: AND
0000128b: ISZERO
0000128c: ISZERO
0000128d: ISZERO
0000128e: PUSH2 0x1296
00001291: JUMPI
00001292: PUSH1 0x00
00001294: DUP1
00001295: REVERT
00001296: JUMPDEST
00001297: PUSH1 0x01
00001299: PUSH1 0x00
0000129b: PUSH1 0x14
0000129d: PUSH2 0x0100
000012a0: EXP
000012a1: DUP2
000012a2: SLOAD
000012a3: DUP2
000012a4: PUSH1 0xff
000012a6: MUL
000012a7: NOT
000012a8: AND
000012a9: SWAP1
000012aa: DUP4
000012ab: ISZERO
000012ac: ISZERO
000012ad: MUL
000012ae: OR
000012af: SWAP1
000012b0: SSTORE
000012b1: POP
000012b2: PUSH1 0x0d
000012b4: PUSH1 0x00
000012b6: CALLER
000012b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012cc: AND
000012cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e2: AND
000012e3: DUP2
000012e4: MSTORE
000012e5: PUSH1 0x20
000012e7: ADD
000012e8: SWAP1
000012e9: DUP2
000012ea: MSTORE
000012eb: PUSH1 0x20
000012ed: ADD
000012ee: PUSH1 0x00
000012f0: KECCAK256
000012f1: SLOAD
000012f2: SWAP1
000012f3: POP
000012f4: PUSH1 0x00
000012f6: PUSH1 0x0d
000012f8: PUSH1 0x00
000012fa: CALLER
000012fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001310: AND
00001311: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001326: AND
00001327: DUP2
00001328: MSTORE
00001329: PUSH1 0x20
0000132b: ADD
0000132c: SWAP1
0000132d: DUP2
0000132e: MSTORE
0000132f: PUSH1 0x20
00001331: ADD
00001332: PUSH1 0x00
00001334: KECCAK256
00001335: DUP2
00001336: SWAP1
00001337: SSTORE
00001338: POP
00001339: PUSH2 0x134d
0000133c: DUP2
0000133d: PUSH1 0x0f
0000133f: SLOAD
00001340: PUSH2 0x2409
00001343: SWAP1
00001344: SWAP2
00001345: SWAP1
00001346: PUSH4 0xffffffff
0000134b: AND
0000134c: JUMP
0000134d: JUMPDEST
0000134e: PUSH1 0x0f
00001350: DUP2
00001351: SWAP1
00001352: SSTORE
00001353: POP
00001354: CALLER
00001355: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000136a: AND
0000136b: PUSH2 0x08fc
0000136e: DUP3
0000136f: SWAP1
00001370: DUP2
00001371: ISZERO
00001372: MUL
00001373: SWAP1
00001374: PUSH1 0x40
00001376: MLOAD
00001377: PUSH1 0x00
00001379: PUSH1 0x40
0000137b: MLOAD
0000137c: DUP1
0000137d: DUP4
0000137e: SUB
0000137f: DUP2
00001380: DUP6
00001381: DUP9
00001382: DUP9
00001383: CALL
00001384: SWAP4
00001385: POP
00001386: POP
00001387: POP
00001388: POP
00001389: ISZERO
0000138a: DUP1
0000138b: ISZERO
0000138c: PUSH2 0x1399
0000138f: JUMPI
00001390: RETURNDATASIZE
00001391: PUSH1 0x00
00001393: DUP1
00001394: RETURNDATACOPY
00001395: RETURNDATASIZE
00001396: PUSH1 0x00
00001398: REVERT
00001399: JUMPDEST
0000139a: POP
0000139b: PUSH1 0x00
0000139d: DUP1
0000139e: PUSH1 0x14
000013a0: PUSH2 0x0100
000013a3: EXP
000013a4: DUP2
000013a5: SLOAD
000013a6: DUP2
000013a7: PUSH1 0xff
000013a9: MUL
000013aa: NOT
000013ab: AND
000013ac: SWAP1
000013ad: DUP4
000013ae: ISZERO
000013af: ISZERO
000013b0: MUL
000013b1: OR
000013b2: SWAP1
000013b3: SSTORE
000013b4: POP
000013b5: POP
000013b6: JUMP
000013b7: JUMPDEST
000013b8: PUSH1 0x03
000013ba: PUSH1 0x00
000013bc: SWAP1
000013bd: SLOAD
000013be: SWAP1
000013bf: PUSH2 0x0100
000013c2: EXP
000013c3: SWAP1
000013c4: DIV
000013c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013da: AND
000013db: DUP2
000013dc: JUMP
000013dd: JUMPDEST
000013de: PUSH1 0x00
000013e0: DUP1
000013e1: SWAP1
000013e2: SLOAD
000013e3: SWAP1
000013e4: PUSH2 0x0100
000013e7: EXP
000013e8: SWAP1
000013e9: DIV
000013ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ff: AND
00001400: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001415: AND
00001416: CALLER
00001417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000142c: AND
0000142d: EQ
0000142e: ISZERO
0000142f: ISZERO
00001430: PUSH2 0x1438
00001433: JUMPI
00001434: PUSH1 0x00
00001436: DUP1
00001437: REVERT
00001438: JUMPDEST
00001439: PUSH1 0x00
0000143b: DUP1
0000143c: SWAP1
0000143d: SLOAD
0000143e: SWAP1
0000143f: PUSH2 0x0100
00001442: EXP
00001443: SWAP1
00001444: DIV
00001445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145a: AND
0000145b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001470: AND
00001471: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820
00001492: PUSH1 0x40
00001494: MLOAD
00001495: PUSH1 0x40
00001497: MLOAD
00001498: DUP1
00001499: SWAP2
0000149a: SUB
0000149b: SWAP1
0000149c: LOG2
0000149d: PUSH1 0x00
0000149f: DUP1
000014a0: PUSH1 0x00
000014a2: PUSH2 0x0100
000014a5: EXP
000014a6: DUP2
000014a7: SLOAD
000014a8: DUP2
000014a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014be: MUL
000014bf: NOT
000014c0: AND
000014c1: SWAP1
000014c2: DUP4
000014c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d8: AND
000014d9: MUL
000014da: OR
000014db: SWAP1
000014dc: SSTORE
000014dd: POP
000014de: JUMP
000014df: JUMPDEST
000014e0: PUSH1 0x03
000014e2: PUSH1 0x14
000014e4: SWAP1
000014e5: SLOAD
000014e6: SWAP1
000014e7: PUSH2 0x0100
000014ea: EXP
000014eb: SWAP1
000014ec: DIV
000014ed: PUSH8 0xffffffffffffffff
000014f6: AND
000014f7: DUP2
000014f8: JUMP
000014f9: JUMPDEST
000014fa: PUSH1 0x00
000014fc: DUP1
000014fd: PUSH1 0x00
000014ff: PUSH1 0x03
00001501: PUSH1 0x14
00001503: SWAP1
00001504: SLOAD
00001505: SWAP1
00001506: PUSH2 0x0100
00001509: EXP
0000150a: SWAP1
0000150b: DIV
0000150c: PUSH8 0xffffffffffffffff
00001515: AND
00001516: PUSH8 0xffffffffffffffff
0000151f: AND
00001520: TIMESTAMP
00001521: LT
00001522: ISZERO
00001523: DUP1
00001524: ISZERO
00001525: PUSH2 0x154e
00001528: JUMPI
00001529: POP
0000152a: PUSH1 0x04
0000152c: PUSH1 0x00
0000152e: SWAP1
0000152f: SLOAD
00001530: SWAP1
00001531: PUSH2 0x0100
00001534: EXP
00001535: SWAP1
00001536: DIV
00001537: PUSH8 0xffffffffffffffff
00001540: AND
00001541: PUSH8 0xffffffffffffffff
0000154a: AND
0000154b: TIMESTAMP
0000154c: GT
0000154d: ISZERO
0000154e: JUMPDEST
0000154f: SWAP1
00001550: POP
00001551: DUP1
00001552: ISZERO
00001553: ISZERO
00001554: PUSH2 0x155c
00001557: JUMPI
00001558: PUSH1 0x00
0000155a: DUP1
0000155b: REVERT
0000155c: JUMPDEST
0000155d: PUSH1 0x00
0000155f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001574: AND
00001575: DUP5
00001576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158b: AND
0000158c: EQ
0000158d: ISZERO
0000158e: ISZERO
0000158f: ISZERO
00001590: PUSH2 0x1598
00001593: JUMPI
00001594: PUSH1 0x00
00001596: DUP1
00001597: REVERT
00001598: JUMPDEST
00001599: PUSH1 0x01
0000159b: PUSH1 0x00
0000159d: SWAP1
0000159e: SLOAD
0000159f: SWAP1
000015a0: PUSH2 0x0100
000015a3: EXP
000015a4: SWAP1
000015a5: DIV
000015a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015bb: AND
000015bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d1: AND
000015d2: PUSH4 0xdd62ed3e
000015d7: DUP6
000015d8: ADDRESS
000015d9: PUSH1 0x40
000015db: MLOAD
000015dc: DUP4
000015dd: PUSH4 0xffffffff
000015e2: AND
000015e3: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001601: MUL
00001602: DUP2
00001603: MSTORE
00001604: PUSH1 0x04
00001606: ADD
00001607: DUP1
00001608: DUP4
00001609: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161e: AND
0000161f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001634: AND
00001635: DUP2
00001636: MSTORE
00001637: PUSH1 0x20
00001639: ADD
0000163a: DUP3
0000163b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001650: AND
00001651: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001666: AND
00001667: DUP2
00001668: MSTORE
00001669: PUSH1 0x20
0000166b: ADD
0000166c: SWAP3
0000166d: POP
0000166e: POP
0000166f: POP
00001670: PUSH1 0x20
00001672: PUSH1 0x40
00001674: MLOAD
00001675: DUP1
00001676: DUP4
00001677: SUB
00001678: DUP2
00001679: PUSH1 0x00
0000167b: DUP8
0000167c: DUP1
0000167d: EXTCODESIZE
0000167e: ISZERO
0000167f: DUP1
00001680: ISZERO
00001681: PUSH2 0x1689
00001684: JUMPI
00001685: PUSH1 0x00
00001687: DUP1
00001688: REVERT
00001689: JUMPDEST
0000168a: POP
0000168b: GAS
0000168c: CALL
0000168d: ISZERO
0000168e: DUP1
0000168f: ISZERO
00001690: PUSH2 0x169d
00001693: JUMPI
00001694: RETURNDATASIZE
00001695: PUSH1 0x00
00001697: DUP1
00001698: RETURNDATACOPY
00001699: RETURNDATASIZE
0000169a: PUSH1 0x00
0000169c: REVERT
0000169d: JUMPDEST
0000169e: POP
0000169f: POP
000016a0: POP
000016a1: POP
000016a2: PUSH1 0x40
000016a4: MLOAD
000016a5: RETURNDATASIZE
000016a6: PUSH1 0x20
000016a8: DUP2
000016a9: LT
000016aa: ISZERO
000016ab: PUSH2 0x16b3
000016ae: JUMPI
000016af: PUSH1 0x00
000016b1: DUP1
000016b2: REVERT
000016b3: JUMPDEST
000016b4: DUP2
000016b5: ADD
000016b6: SWAP1
000016b7: DUP1
000016b8: DUP1
000016b9: MLOAD
000016ba: SWAP1
000016bb: PUSH1 0x20
000016bd: ADD
000016be: SWAP1
000016bf: SWAP3
000016c0: SWAP2
000016c1: SWAP1
000016c2: POP
000016c3: POP
000016c4: POP
000016c5: SWAP3
000016c6: POP
000016c7: PUSH2 0x16db
000016ca: PUSH1 0x07
000016cc: SLOAD
000016cd: DUP5
000016ce: PUSH2 0x2011
000016d1: SWAP1
000016d2: SWAP2
000016d3: SWAP1
000016d4: PUSH4 0xffffffff
000016d9: AND
000016da: JUMP
000016db: JUMPDEST
000016dc: SWAP2
000016dd: POP
000016de: PUSH1 0x08
000016e0: SLOAD
000016e1: DUP3
000016e2: LT
000016e3: ISZERO
000016e4: ISZERO
000016e5: ISZERO
000016e6: PUSH2 0x16ee
000016e9: JUMPI
000016ea: PUSH1 0x00
000016ec: DUP1
000016ed: REVERT
000016ee: JUMPDEST
000016ef: PUSH1 0x01
000016f1: PUSH1 0x00
000016f3: SWAP1
000016f4: SLOAD
000016f5: SWAP1
000016f6: PUSH2 0x0100
000016f9: EXP
000016fa: SWAP1
000016fb: DIV
000016fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001711: AND
00001712: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001727: AND
00001728: PUSH4 0x23b872dd
0000172d: DUP6
0000172e: ADDRESS
0000172f: DUP7
00001730: PUSH1 0x40
00001732: MLOAD
00001733: DUP5
00001734: PUSH4 0xffffffff
00001739: AND
0000173a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001758: MUL
00001759: DUP2
0000175a: MSTORE
0000175b: PUSH1 0x04
0000175d: ADD
0000175e: DUP1
0000175f: DUP5
00001760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001775: AND
00001776: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000178b: AND
0000178c: DUP2
0000178d: MSTORE
0000178e: PUSH1 0x20
00001790: ADD
00001791: DUP4
00001792: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a7: AND
000017a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017bd: AND
000017be: DUP2
000017bf: MSTORE
000017c0: PUSH1 0x20
000017c2: ADD
000017c3: DUP3
000017c4: DUP2
000017c5: MSTORE
000017c6: PUSH1 0x20
000017c8: ADD
000017c9: SWAP4
000017ca: POP
000017cb: POP
000017cc: POP
000017cd: POP
000017ce: PUSH1 0x20
000017d0: PUSH1 0x40
000017d2: MLOAD
000017d3: DUP1
000017d4: DUP4
000017d5: SUB
000017d6: DUP2
000017d7: PUSH1 0x00
000017d9: DUP8
000017da: DUP1
000017db: EXTCODESIZE
000017dc: ISZERO
000017dd: DUP1
000017de: ISZERO
000017df: PUSH2 0x17e7
000017e2: JUMPI
000017e3: PUSH1 0x00
000017e5: DUP1
000017e6: REVERT
000017e7: JUMPDEST
000017e8: POP
000017e9: GAS
000017ea: CALL
000017eb: ISZERO
000017ec: DUP1
000017ed: ISZERO
000017ee: PUSH2 0x17fb
000017f1: JUMPI
000017f2: RETURNDATASIZE
000017f3: PUSH1 0x00
000017f5: DUP1
000017f6: RETURNDATACOPY
000017f7: RETURNDATASIZE
000017f8: PUSH1 0x00
000017fa: REVERT
000017fb: JUMPDEST
000017fc: POP
000017fd: POP
000017fe: POP
000017ff: POP
00001800: PUSH1 0x40
00001802: MLOAD
00001803: RETURNDATASIZE
00001804: PUSH1 0x20
00001806: DUP2
00001807: LT
00001808: ISZERO
00001809: PUSH2 0x1811
0000180c: JUMPI
0000180d: PUSH1 0x00
0000180f: DUP1
00001810: REVERT
00001811: JUMPDEST
00001812: DUP2
00001813: ADD
00001814: SWAP1
00001815: DUP1
00001816: DUP1
00001817: MLOAD
00001818: SWAP1
00001819: PUSH1 0x20
0000181b: ADD
0000181c: SWAP1
0000181d: SWAP3
0000181e: SWAP2
0000181f: SWAP1
00001820: POP
00001821: POP
00001822: POP
00001823: ISZERO
00001824: ISZERO
00001825: PUSH2 0x182d
00001828: JUMPI
00001829: PUSH1 0x00
0000182b: DUP1
0000182c: REVERT
0000182d: JUMPDEST
0000182e: PUSH2 0x1837
00001831: DUP5
00001832: DUP4
00001833: PUSH2 0x204c
00001836: JUMP
00001837: JUMPDEST
00001838: PUSH2 0x184c
0000183b: DUP4
0000183c: PUSH1 0x10
0000183e: SLOAD
0000183f: PUSH2 0x2259
00001842: SWAP1
00001843: SWAP2
00001844: SWAP1
00001845: PUSH4 0xffffffff
0000184a: AND
0000184b: JUMP
0000184c: JUMPDEST
0000184d: PUSH1 0x10
0000184f: DUP2
00001850: SWAP1
00001851: SSTORE
00001852: POP
00001853: PUSH2 0x18a4
00001856: DUP4
00001857: PUSH1 0x0e
00001859: PUSH1 0x00
0000185b: DUP8
0000185c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001871: AND
00001872: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001887: AND
00001888: DUP2
00001889: MSTORE
0000188a: PUSH1 0x20
0000188c: ADD
0000188d: SWAP1
0000188e: DUP2
0000188f: MSTORE
00001890: PUSH1 0x20
00001892: ADD
00001893: PUSH1 0x00
00001895: KECCAK256
00001896: SLOAD
00001897: PUSH2 0x2259
0000189a: SWAP1
0000189b: SWAP2
0000189c: SWAP1
0000189d: PUSH4 0xffffffff
000018a2: AND
000018a3: JUMP
000018a4: JUMPDEST
000018a5: PUSH1 0x0e
000018a7: PUSH1 0x00
000018a9: DUP7
000018aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018bf: AND
000018c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d5: AND
000018d6: DUP2
000018d7: MSTORE
000018d8: PUSH1 0x20
000018da: ADD
000018db: SWAP1
000018dc: DUP2
000018dd: MSTORE
000018de: PUSH1 0x20
000018e0: ADD
000018e1: PUSH1 0x00
000018e3: KECCAK256
000018e4: DUP2
000018e5: SWAP1
000018e6: SSTORE
000018e7: POP
000018e8: POP
000018e9: POP
000018ea: POP
000018eb: POP
000018ec: JUMP
000018ed: JUMPDEST
000018ee: PUSH1 0x04
000018f0: PUSH1 0x10
000018f2: SWAP1
000018f3: SLOAD
000018f4: SWAP1
000018f5: PUSH2 0x0100
000018f8: EXP
000018f9: SWAP1
000018fa: DIV
000018fb: PUSH8 0xffffffffffffffff
00001904: AND
00001905: DUP2
00001906: JUMP
00001907: JUMPDEST
00001908: PUSH1 0x00
0000190a: DUP1
0000190b: SWAP1
0000190c: SLOAD
0000190d: SWAP1
0000190e: PUSH2 0x0100
00001911: EXP
00001912: SWAP1
00001913: DIV
00001914: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001929: AND
0000192a: DUP2
0000192b: JUMP
0000192c: JUMPDEST
0000192d: PUSH1 0x0b
0000192f: SLOAD
00001930: DUP2
00001931: JUMP
00001932: JUMPDEST
00001933: PUSH1 0x09
00001935: SLOAD
00001936: DUP2
00001937: JUMP
00001938: JUMPDEST
00001939: PUSH1 0x00
0000193b: PUSH1 0x03
0000193d: PUSH1 0x14
0000193f: SWAP1
00001940: SLOAD
00001941: SWAP1
00001942: PUSH2 0x0100
00001945: EXP
00001946: SWAP1
00001947: DIV
00001948: PUSH8 0xffffffffffffffff
00001951: AND
00001952: PUSH8 0xffffffffffffffff
0000195b: AND
0000195c: TIMESTAMP
0000195d: LT
0000195e: ISZERO
0000195f: DUP1
00001960: ISZERO
00001961: PUSH2 0x198a
00001964: JUMPI
00001965: POP
00001966: PUSH1 0x04
00001968: PUSH1 0x00
0000196a: SWAP1
0000196b: SLOAD
0000196c: SWAP1
0000196d: PUSH2 0x0100
00001970: EXP
00001971: SWAP1
00001972: DIV
00001973: PUSH8 0xffffffffffffffff
0000197c: AND
0000197d: PUSH8 0xffffffffffffffff
00001986: AND
00001987: TIMESTAMP
00001988: GT
00001989: ISZERO
0000198a: JUMPDEST
0000198b: SWAP1
0000198c: POP
0000198d: DUP1
0000198e: ISZERO
0000198f: ISZERO
00001990: PUSH2 0x1998
00001993: JUMPI
00001994: PUSH1 0x00
00001996: DUP1
00001997: REVERT
00001998: JUMPDEST
00001999: PUSH1 0x00
0000199b: DUP1
0000199c: SWAP1
0000199d: SLOAD
0000199e: SWAP1
0000199f: PUSH2 0x0100
000019a2: EXP
000019a3: SWAP1
000019a4: DIV
000019a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ba: AND
000019bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d0: AND
000019d1: CALLER
000019d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e7: AND
000019e8: EQ
000019e9: ISZERO
000019ea: ISZERO
000019eb: PUSH2 0x19f3
000019ee: JUMPI
000019ef: PUSH1 0x00
000019f1: DUP1
000019f2: REVERT
000019f3: JUMPDEST
000019f4: PUSH2 0x19fc
000019f7: DUP3
000019f8: PUSH2 0x2422
000019fb: JUMP
000019fc: JUMPDEST
000019fd: PUSH2 0x1a05
00001a00: DUP4
00001a01: PUSH2 0x08c3
00001a04: JUMP
00001a05: JUMPDEST
00001a06: POP
00001a07: POP
00001a08: POP
00001a09: JUMP
00001a0a: JUMPDEST
00001a0b: PUSH1 0x08
00001a0d: SLOAD
00001a0e: DUP2
00001a0f: JUMP
00001a10: JUMPDEST
00001a11: PUSH1 0x04
00001a13: PUSH1 0x08
00001a15: SWAP1
00001a16: SLOAD
00001a17: SWAP1
00001a18: PUSH2 0x0100
00001a1b: EXP
00001a1c: SWAP1
00001a1d: DIV
00001a1e: PUSH8 0xffffffffffffffff
00001a27: AND
00001a28: DUP2
00001a29: JUMP
00001a2a: JUMPDEST
00001a2b: PUSH1 0x00
00001a2d: DUP1
00001a2e: SWAP1
00001a2f: SLOAD
00001a30: SWAP1
00001a31: PUSH2 0x0100
00001a34: EXP
00001a35: SWAP1
00001a36: DIV
00001a37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4c: AND
00001a4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a62: AND
00001a63: CALLER
00001a64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a79: AND
00001a7a: EQ
00001a7b: ISZERO
00001a7c: ISZERO
00001a7d: PUSH2 0x1a85
00001a80: JUMPI
00001a81: PUSH1 0x00
00001a83: DUP1
00001a84: REVERT
00001a85: JUMPDEST
00001a86: PUSH1 0x0b
00001a88: SLOAD
00001a89: PUSH1 0x12
00001a8b: SLOAD
00001a8c: LT
00001a8d: ISZERO
00001a8e: ISZERO
00001a8f: ISZERO
00001a90: PUSH2 0x1a98
00001a93: JUMPI
00001a94: PUSH1 0x00
00001a96: DUP1
00001a97: REVERT
00001a98: JUMPDEST
00001a99: PUSH2 0x1b98
00001a9c: PUSH1 0x01
00001a9e: PUSH1 0x00
00001aa0: SWAP1
00001aa1: SLOAD
00001aa2: SWAP1
00001aa3: PUSH2 0x0100
00001aa6: EXP
00001aa7: SWAP1
00001aa8: DIV
00001aa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001abe: AND
00001abf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad4: AND
00001ad5: PUSH4 0x70a08231
00001ada: ADDRESS
00001adb: PUSH1 0x40
00001add: MLOAD
00001ade: DUP3
00001adf: PUSH4 0xffffffff
00001ae4: AND
00001ae5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001b03: MUL
00001b04: DUP2
00001b05: MSTORE
00001b06: PUSH1 0x04
00001b08: ADD
00001b09: DUP1
00001b0a: DUP3
00001b0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b20: AND
00001b21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b36: AND
00001b37: DUP2
00001b38: MSTORE
00001b39: PUSH1 0x20
00001b3b: ADD
00001b3c: SWAP2
00001b3d: POP
00001b3e: POP
00001b3f: PUSH1 0x20
00001b41: PUSH1 0x40
00001b43: MLOAD
00001b44: DUP1
00001b45: DUP4
00001b46: SUB
00001b47: DUP2
00001b48: PUSH1 0x00
00001b4a: DUP8
00001b4b: DUP1
00001b4c: EXTCODESIZE
00001b4d: ISZERO
00001b4e: DUP1
00001b4f: ISZERO
00001b50: PUSH2 0x1b58
00001b53: JUMPI
00001b54: PUSH1 0x00
00001b56: DUP1
00001b57: REVERT
00001b58: JUMPDEST
00001b59: POP
00001b5a: GAS
00001b5b: CALL
00001b5c: ISZERO
00001b5d: DUP1
00001b5e: ISZERO
00001b5f: PUSH2 0x1b6c
00001b62: JUMPI
00001b63: RETURNDATASIZE
00001b64: PUSH1 0x00
00001b66: DUP1
00001b67: RETURNDATACOPY
00001b68: RETURNDATASIZE
00001b69: PUSH1 0x00
00001b6b: REVERT
00001b6c: JUMPDEST
00001b6d: POP
00001b6e: POP
00001b6f: POP
00001b70: POP
00001b71: PUSH1 0x40
00001b73: MLOAD
00001b74: RETURNDATASIZE
00001b75: PUSH1 0x20
00001b77: DUP2
00001b78: LT
00001b79: ISZERO
00001b7a: PUSH2 0x1b82
00001b7d: JUMPI
00001b7e: PUSH1 0x00
00001b80: DUP1
00001b81: REVERT
00001b82: JUMPDEST
00001b83: DUP2
00001b84: ADD
00001b85: SWAP1
00001b86: DUP1
00001b87: DUP1
00001b88: MLOAD
00001b89: SWAP1
00001b8a: PUSH1 0x20
00001b8c: ADD
00001b8d: SWAP1
00001b8e: SWAP3
00001b8f: SWAP2
00001b90: SWAP1
00001b91: POP
00001b92: POP
00001b93: POP
00001b94: PUSH2 0x22e3
00001b97: JUMP
00001b98: JUMPDEST
00001b99: JUMP
00001b9a: JUMPDEST
00001b9b: PUSH1 0x07
00001b9d: SLOAD
00001b9e: DUP2
00001b9f: JUMP
00001ba0: JUMPDEST
00001ba1: PUSH1 0x12
00001ba3: SLOAD
00001ba4: DUP2
00001ba5: JUMP
00001ba6: JUMPDEST
00001ba7: PUSH1 0x00
00001ba9: DUP1
00001baa: SWAP1
00001bab: SLOAD
00001bac: SWAP1
00001bad: PUSH2 0x0100
00001bb0: EXP
00001bb1: SWAP1
00001bb2: DIV
00001bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc8: AND
00001bc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bde: AND
00001bdf: CALLER
00001be0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf5: AND
00001bf6: EQ
00001bf7: ISZERO
00001bf8: ISZERO
00001bf9: PUSH2 0x1c01
00001bfc: JUMPI
00001bfd: PUSH1 0x00
00001bff: DUP1
00001c00: REVERT
00001c01: JUMPDEST
00001c02: PUSH1 0x0b
00001c04: SLOAD
00001c05: PUSH1 0x12
00001c07: SLOAD
00001c08: LT
00001c09: ISZERO
00001c0a: ISZERO
00001c0b: ISZERO
00001c0c: PUSH2 0x1c14
00001c0f: JUMPI
00001c10: PUSH1 0x00
00001c12: DUP1
00001c13: REVERT
00001c14: JUMPDEST
00001c15: PUSH2 0x1c34
00001c18: ADDRESS
00001c19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c2e: AND
00001c2f: BALANCE
00001c30: PUSH2 0x2277
00001c33: JUMP
00001c34: JUMPDEST
00001c35: JUMP
00001c36: JUMPDEST
00001c37: PUSH1 0x00
00001c39: PUSH1 0x0b
00001c3b: SLOAD
00001c3c: PUSH1 0x12
00001c3e: SLOAD
00001c3f: LT
00001c40: DUP1
00001c41: ISZERO
00001c42: PUSH2 0x1c6a
00001c45: JUMPI
00001c46: POP
00001c47: PUSH1 0x04
00001c49: PUSH1 0x00
00001c4b: SWAP1
00001c4c: SLOAD
00001c4d: SWAP1
00001c4e: PUSH2 0x0100
00001c51: EXP
00001c52: SWAP1
00001c53: DIV
00001c54: PUSH8 0xffffffffffffffff
00001c5d: AND
00001c5e: PUSH8 0xffffffffffffffff
00001c67: AND
00001c68: TIMESTAMP
00001c69: GT
00001c6a: JUMPDEST
00001c6b: ISZERO
00001c6c: ISZERO
00001c6d: PUSH2 0x1c75
00001c70: JUMPI
00001c71: PUSH1 0x00
00001c73: DUP1
00001c74: REVERT
00001c75: JUMPDEST
00001c76: PUSH1 0x00
00001c78: PUSH1 0x14
00001c7a: SWAP1
00001c7b: SLOAD
00001c7c: SWAP1
00001c7d: PUSH2 0x0100
00001c80: EXP
00001c81: SWAP1
00001c82: DIV
00001c83: PUSH1 0xff
00001c85: AND
00001c86: ISZERO
00001c87: ISZERO
00001c88: ISZERO
00001c89: PUSH2 0x1c91
00001c8c: JUMPI
00001c8d: PUSH1 0x00
00001c8f: DUP1
00001c90: REVERT
00001c91: JUMPDEST
00001c92: PUSH1 0x01
00001c94: PUSH1 0x00
00001c96: PUSH1 0x14
00001c98: PUSH2 0x0100
00001c9b: EXP
00001c9c: DUP2
00001c9d: SLOAD
00001c9e: DUP2
00001c9f: PUSH1 0xff
00001ca1: MUL
00001ca2: NOT
00001ca3: AND
00001ca4: SWAP1
00001ca5: DUP4
00001ca6: ISZERO
00001ca7: ISZERO
00001ca8: MUL
00001ca9: OR
00001caa: SWAP1
00001cab: SSTORE
00001cac: POP
00001cad: PUSH1 0x0e
00001caf: PUSH1 0x00
00001cb1: CALLER
00001cb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc7: AND
00001cc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cdd: AND
00001cde: DUP2
00001cdf: MSTORE
00001ce0: PUSH1 0x20
00001ce2: ADD
00001ce3: SWAP1
00001ce4: DUP2
00001ce5: MSTORE
00001ce6: PUSH1 0x20
00001ce8: ADD
00001ce9: PUSH1 0x00
00001ceb: KECCAK256
00001cec: SLOAD
00001ced: SWAP1
00001cee: POP
00001cef: PUSH1 0x00
00001cf1: PUSH1 0x0e
00001cf3: PUSH1 0x00
00001cf5: CALLER
00001cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0b: AND
00001d0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d21: AND
00001d22: DUP2
00001d23: MSTORE
00001d24: PUSH1 0x20
00001d26: ADD
00001d27: SWAP1
00001d28: DUP2
00001d29: MSTORE
00001d2a: PUSH1 0x20
00001d2c: ADD
00001d2d: PUSH1 0x00
00001d2f: KECCAK256
00001d30: DUP2
00001d31: SWAP1
00001d32: SSTORE
00001d33: POP
00001d34: PUSH2 0x1d48
00001d37: DUP2
00001d38: PUSH1 0x10
00001d3a: SLOAD
00001d3b: PUSH2 0x2409
00001d3e: SWAP1
00001d3f: SWAP2
00001d40: SWAP1
00001d41: PUSH4 0xffffffff
00001d46: AND
00001d47: JUMP
00001d48: JUMPDEST
00001d49: PUSH1 0x10
00001d4b: DUP2
00001d4c: SWAP1
00001d4d: SSTORE
00001d4e: POP
00001d4f: PUSH1 0x01
00001d51: PUSH1 0x00
00001d53: SWAP1
00001d54: SLOAD
00001d55: SWAP1
00001d56: PUSH2 0x0100
00001d59: EXP
00001d5a: SWAP1
00001d5b: DIV
00001d5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d71: AND
00001d72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d87: AND
00001d88: PUSH4 0xa9059cbb
00001d8d: CALLER
00001d8e: DUP4
00001d8f: PUSH1 0x40
00001d91: MLOAD
00001d92: DUP4
00001d93: PUSH4 0xffffffff
00001d98: AND
00001d99: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001db7: MUL
00001db8: DUP2
00001db9: MSTORE
00001dba: PUSH1 0x04
00001dbc: ADD
00001dbd: DUP1
00001dbe: DUP4
00001dbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd4: AND
00001dd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dea: AND
00001deb: DUP2
00001dec: MSTORE
00001ded: PUSH1 0x20
00001def: ADD
00001df0: DUP3
00001df1: DUP2
00001df2: MSTORE
00001df3: PUSH1 0x20
00001df5: ADD
00001df6: SWAP3
00001df7: POP
00001df8: POP
00001df9: POP
00001dfa: PUSH1 0x20
00001dfc: PUSH1 0x40
00001dfe: MLOAD
00001dff: DUP1
00001e00: DUP4
00001e01: SUB
00001e02: DUP2
00001e03: PUSH1 0x00
00001e05: DUP8
00001e06: DUP1
00001e07: EXTCODESIZE
00001e08: ISZERO
00001e09: DUP1
00001e0a: ISZERO
00001e0b: PUSH2 0x1e13
00001e0e: JUMPI
00001e0f: PUSH1 0x00
00001e11: DUP1
00001e12: REVERT
00001e13: JUMPDEST
00001e14: POP
00001e15: GAS
00001e16: CALL
00001e17: ISZERO
00001e18: DUP1
00001e19: ISZERO
00001e1a: PUSH2 0x1e27
00001e1d: JUMPI
00001e1e: RETURNDATASIZE
00001e1f: PUSH1 0x00
00001e21: DUP1
00001e22: RETURNDATACOPY
00001e23: RETURNDATASIZE
00001e24: PUSH1 0x00
00001e26: REVERT
00001e27: JUMPDEST
00001e28: POP
00001e29: POP
00001e2a: POP
00001e2b: POP
00001e2c: PUSH1 0x40
00001e2e: MLOAD
00001e2f: RETURNDATASIZE
00001e30: PUSH1 0x20
00001e32: DUP2
00001e33: LT
00001e34: ISZERO
00001e35: PUSH2 0x1e3d
00001e38: JUMPI
00001e39: PUSH1 0x00
00001e3b: DUP1
00001e3c: REVERT
00001e3d: JUMPDEST
00001e3e: DUP2
00001e3f: ADD
00001e40: SWAP1
00001e41: DUP1
00001e42: DUP1
00001e43: MLOAD
00001e44: SWAP1
00001e45: PUSH1 0x20
00001e47: ADD
00001e48: SWAP1
00001e49: SWAP3
00001e4a: SWAP2
00001e4b: SWAP1
00001e4c: POP
00001e4d: POP
00001e4e: POP
00001e4f: POP
00001e50: PUSH1 0x00
00001e52: DUP1
00001e53: PUSH1 0x14
00001e55: PUSH2 0x0100
00001e58: EXP
00001e59: DUP2
00001e5a: SLOAD
00001e5b: DUP2
00001e5c: PUSH1 0xff
00001e5e: MUL
00001e5f: NOT
00001e60: AND
00001e61: SWAP1
00001e62: DUP4
00001e63: ISZERO
00001e64: ISZERO
00001e65: MUL
00001e66: OR
00001e67: SWAP1
00001e68: SSTORE
00001e69: POP
00001e6a: POP
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: PUSH1 0x02
00001e6f: PUSH1 0x00
00001e71: SWAP1
00001e72: SLOAD
00001e73: SWAP1
00001e74: PUSH2 0x0100
00001e77: EXP
00001e78: SWAP1
00001e79: DIV
00001e7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e8f: AND
00001e90: DUP2
00001e91: JUMP
00001e92: JUMPDEST
00001e93: PUSH1 0x00
00001e95: PUSH1 0x04
00001e97: PUSH1 0x00
00001e99: SWAP1
00001e9a: SLOAD
00001e9b: SWAP1
00001e9c: PUSH2 0x0100
00001e9f: EXP
00001ea0: SWAP1
00001ea1: DIV
00001ea2: PUSH8 0xffffffffffffffff
00001eab: AND
00001eac: PUSH8 0xffffffffffffffff
00001eb5: AND
00001eb6: TIMESTAMP
00001eb7: GT
00001eb8: SWAP1
00001eb9: POP
00001eba: SWAP1
00001ebb: JUMP
00001ebc: JUMPDEST
00001ebd: PUSH1 0x00
00001ebf: DUP1
00001ec0: SWAP1
00001ec1: SLOAD
00001ec2: SWAP1
00001ec3: PUSH2 0x0100
00001ec6: EXP
00001ec7: SWAP1
00001ec8: DIV
00001ec9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ede: AND
00001edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef4: AND
00001ef5: CALLER
00001ef6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0b: AND
00001f0c: EQ
00001f0d: ISZERO
00001f0e: ISZERO
00001f0f: PUSH2 0x1f17
00001f12: JUMPI
00001f13: PUSH1 0x00
00001f15: DUP1
00001f16: REVERT
00001f17: JUMPDEST
00001f18: PUSH1 0x00
00001f1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f2f: AND
00001f30: DUP2
00001f31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f46: AND
00001f47: EQ
00001f48: ISZERO
00001f49: ISZERO
00001f4a: ISZERO
00001f4b: PUSH2 0x1f53
00001f4e: JUMPI
00001f4f: PUSH1 0x00
00001f51: DUP1
00001f52: REVERT
00001f53: JUMPDEST
00001f54: DUP1
00001f55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f6a: AND
00001f6b: PUSH1 0x00
00001f6d: DUP1
00001f6e: SWAP1
00001f6f: SLOAD
00001f70: SWAP1
00001f71: PUSH2 0x0100
00001f74: EXP
00001f75: SWAP1
00001f76: DIV
00001f77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8c: AND
00001f8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa2: AND
00001fa3: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001fc4: PUSH1 0x40
00001fc6: MLOAD
00001fc7: PUSH1 0x40
00001fc9: MLOAD
00001fca: DUP1
00001fcb: SWAP2
00001fcc: SUB
00001fcd: SWAP1
00001fce: LOG3
00001fcf: DUP1
00001fd0: PUSH1 0x00
00001fd2: DUP1
00001fd3: PUSH2 0x0100
00001fd6: EXP
00001fd7: DUP2
00001fd8: SLOAD
00001fd9: DUP2
00001fda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fef: MUL
00001ff0: NOT
00001ff1: AND
00001ff2: SWAP1
00001ff3: DUP4
00001ff4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002009: AND
0000200a: MUL
0000200b: OR
0000200c: SWAP1
0000200d: SSTORE
0000200e: POP
0000200f: POP
00002010: JUMP
00002011: JUMPDEST
00002012: PUSH1 0x00
00002014: DUP1
00002015: PUSH1 0x00
00002017: DUP5
00002018: EQ
00002019: ISZERO
0000201a: PUSH2 0x2026
0000201d: JUMPI
0000201e: PUSH1 0x00
00002020: SWAP2
00002021: POP
00002022: PUSH2 0x2045
00002025: JUMP
00002026: JUMPDEST
00002027: DUP3
00002028: DUP5
00002029: MUL
0000202a: SWAP1
0000202b: POP
0000202c: DUP3
0000202d: DUP5
0000202e: DUP3
0000202f: DUP2
00002030: ISZERO
00002031: ISZERO
00002032: PUSH2 0x2037
00002035: JUMPI
00002036: INVALID
00002037: JUMPDEST
00002038: DIV
00002039: EQ
0000203a: ISZERO
0000203b: ISZERO
0000203c: PUSH2 0x2041
0000203f: JUMPI
00002040: INVALID
00002041: JUMPDEST
00002042: DUP1
00002043: SWAP2
00002044: POP
00002045: JUMPDEST
00002046: POP
00002047: SWAP3
00002048: SWAP2
00002049: POP
0000204a: POP
0000204b: JUMP
0000204c: JUMPDEST
0000204d: PUSH1 0x00
0000204f: DUP1
00002050: PUSH2 0x2063
00002053: PUSH1 0x05
00002055: DUP5
00002056: PUSH2 0x243c
00002059: SWAP1
0000205a: SWAP2
0000205b: SWAP1
0000205c: PUSH4 0xffffffff
00002061: AND
00002062: JUMP
00002063: JUMPDEST
00002064: SWAP2
00002065: POP
00002066: PUSH1 0x09
00002068: SLOAD
00002069: DUP4
0000206a: LT
0000206b: ISZERO
0000206c: DUP1
0000206d: ISZERO
0000206e: PUSH2 0x2152
00002071: JUMPI
00002072: POP
00002073: PUSH1 0x0a
00002075: SLOAD
00002076: PUSH2 0x2150
00002079: PUSH2 0x2081
0000207c: DUP5
0000207d: PUSH2 0x2452
00002080: JUMP
00002081: JUMPDEST
00002082: PUSH1 0x03
00002084: PUSH1 0x00
00002086: SWAP1
00002087: SLOAD
00002088: SWAP1
00002089: PUSH2 0x0100
0000208c: EXP
0000208d: SWAP1
0000208e: DIV
0000208f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a4: AND
000020a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ba: AND
000020bb: PUSH4 0x18160ddd
000020c0: PUSH1 0x40
000020c2: MLOAD
000020c3: DUP2
000020c4: PUSH4 0xffffffff
000020c9: AND
000020ca: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000020e8: MUL
000020e9: DUP2
000020ea: MSTORE
000020eb: PUSH1 0x04
000020ed: ADD
000020ee: PUSH1 0x20
000020f0: PUSH1 0x40
000020f2: MLOAD
000020f3: DUP1
000020f4: DUP4
000020f5: SUB
000020f6: DUP2
000020f7: PUSH1 0x00
000020f9: DUP8
000020fa: DUP1
000020fb: EXTCODESIZE
000020fc: ISZERO
000020fd: DUP1
000020fe: ISZERO
000020ff: PUSH2 0x2107
00002102: JUMPI
00002103: PUSH1 0x00
00002105: DUP1
00002106: REVERT
00002107: JUMPDEST
00002108: POP
00002109: GAS
0000210a: CALL
0000210b: ISZERO
0000210c: DUP1
0000210d: ISZERO
0000210e: PUSH2 0x211b
00002111: JUMPI
00002112: RETURNDATASIZE
00002113: PUSH1 0x00
00002115: DUP1
00002116: RETURNDATACOPY
00002117: RETURNDATASIZE
00002118: PUSH1 0x00
0000211a: REVERT
0000211b: JUMPDEST
0000211c: POP
0000211d: POP
0000211e: POP
0000211f: POP
00002120: PUSH1 0x40
00002122: MLOAD
00002123: RETURNDATASIZE
00002124: PUSH1 0x20
00002126: DUP2
00002127: LT
00002128: ISZERO
00002129: PUSH2 0x2131
0000212c: JUMPI
0000212d: PUSH1 0x00
0000212f: DUP1
00002130: REVERT
00002131: JUMPDEST
00002132: DUP2
00002133: ADD
00002134: SWAP1
00002135: DUP1
00002136: DUP1
00002137: MLOAD
00002138: SWAP1
00002139: PUSH1 0x20
0000213b: ADD
0000213c: SWAP1
0000213d: SWAP3
0000213e: SWAP2
0000213f: SWAP1
00002140: POP
00002141: POP
00002142: POP
00002143: PUSH2 0x2259
00002146: SWAP1
00002147: SWAP2
00002148: SWAP1
00002149: PUSH4 0xffffffff
0000214e: AND
0000214f: JUMP
00002150: JUMPDEST
00002151: LT
00002152: JUMPDEST
00002153: ISZERO
00002154: PUSH2 0x2172
00002157: JUMPI
00002158: PUSH2 0x2163
0000215b: DUP5
0000215c: DUP4
0000215d: DUP6
0000215e: SUB
0000215f: PUSH2 0x249a
00002162: JUMP
00002163: JUMPDEST
00002164: PUSH2 0x216d
00002167: DUP5
00002168: DUP4
00002169: PUSH2 0x2612
0000216c: JUMP
0000216d: JUMPDEST
0000216e: PUSH2 0x217d
00002171: JUMP
00002172: JUMPDEST
00002173: PUSH2 0x217c
00002176: DUP5
00002177: DUP5
00002178: PUSH2 0x249a
0000217b: JUMP
0000217c: JUMPDEST
0000217d: JUMPDEST
0000217e: PUSH2 0x2186
00002181: DUP4
00002182: PUSH2 0x2452
00002185: JUMP
00002186: JUMPDEST
00002187: SWAP1
00002188: POP
00002189: PUSH2 0x219d
0000218c: DUP2
0000218d: PUSH1 0x11
0000218f: SLOAD
00002190: PUSH2 0x2259
00002193: SWAP1
00002194: SWAP2
00002195: SWAP1
00002196: PUSH4 0xffffffff
0000219b: AND
0000219c: JUMP
0000219d: JUMPDEST
0000219e: PUSH1 0x11
000021a0: DUP2
000021a1: SWAP1
000021a2: SSTORE
000021a3: POP
000021a4: PUSH2 0x21f5
000021a7: DUP2
000021a8: PUSH1 0x0c
000021aa: PUSH1 0x00
000021ac: DUP8
000021ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c2: AND
000021c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d8: AND
000021d9: DUP2
000021da: MSTORE
000021db: PUSH1 0x20
000021dd: ADD
000021de: SWAP1
000021df: DUP2
000021e0: MSTORE
000021e1: PUSH1 0x20
000021e3: ADD
000021e4: PUSH1 0x00
000021e6: KECCAK256
000021e7: SLOAD
000021e8: PUSH2 0x2259
000021eb: SWAP1
000021ec: SWAP2
000021ed: SWAP1
000021ee: PUSH4 0xffffffff
000021f3: AND
000021f4: JUMP
000021f5: JUMPDEST
000021f6: PUSH1 0x0c
000021f8: PUSH1 0x00
000021fa: DUP7
000021fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002210: AND
00002211: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002226: AND
00002227: DUP2
00002228: MSTORE
00002229: PUSH1 0x20
0000222b: ADD
0000222c: SWAP1
0000222d: DUP2
0000222e: MSTORE
0000222f: PUSH1 0x20
00002231: ADD
00002232: PUSH1 0x00
00002234: KECCAK256
00002235: DUP2
00002236: SWAP1
00002237: SSTORE
00002238: POP
00002239: PUSH2 0x224d
0000223c: DUP4
0000223d: PUSH1 0x12
0000223f: SLOAD
00002240: PUSH2 0x2259
00002243: SWAP1
00002244: SWAP2
00002245: SWAP1
00002246: PUSH4 0xffffffff
0000224b: AND
0000224c: JUMP
0000224d: JUMPDEST
0000224e: PUSH1 0x12
00002250: DUP2
00002251: SWAP1
00002252: SSTORE
00002253: POP
00002254: POP
00002255: POP
00002256: POP
00002257: POP
00002258: JUMP
00002259: JUMPDEST
0000225a: PUSH1 0x00
0000225c: DUP1
0000225d: DUP3
0000225e: DUP5
0000225f: ADD
00002260: SWAP1
00002261: POP
00002262: DUP4
00002263: DUP2
00002264: LT
00002265: ISZERO
00002266: ISZERO
00002267: ISZERO
00002268: PUSH2 0x226d
0000226b: JUMPI
0000226c: INVALID
0000226d: JUMPDEST
0000226e: DUP1
0000226f: SWAP2
00002270: POP
00002271: POP
00002272: SWAP3
00002273: SWAP2
00002274: POP
00002275: POP
00002276: JUMP
00002277: JUMPDEST
00002278: PUSH1 0x05
0000227a: PUSH1 0x00
0000227c: SWAP1
0000227d: SLOAD
0000227e: SWAP1
0000227f: PUSH2 0x0100
00002282: EXP
00002283: SWAP1
00002284: DIV
00002285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000229a: AND
0000229b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022b0: AND
000022b1: PUSH2 0x08fc
000022b4: DUP3
000022b5: SWAP1
000022b6: DUP2
000022b7: ISZERO
000022b8: MUL
000022b9: SWAP1
000022ba: PUSH1 0x40
000022bc: MLOAD
000022bd: PUSH1 0x00
000022bf: PUSH1 0x40
000022c1: MLOAD
000022c2: DUP1
000022c3: DUP4
000022c4: SUB
000022c5: DUP2
000022c6: DUP6
000022c7: DUP9
000022c8: DUP9
000022c9: CALL
000022ca: SWAP4
000022cb: POP
000022cc: POP
000022cd: POP
000022ce: POP
000022cf: ISZERO
000022d0: DUP1
000022d1: ISZERO
000022d2: PUSH2 0x22df
000022d5: JUMPI
000022d6: RETURNDATASIZE
000022d7: PUSH1 0x00
000022d9: DUP1
000022da: RETURNDATACOPY
000022db: RETURNDATASIZE
000022dc: PUSH1 0x00
000022de: REVERT
000022df: JUMPDEST
000022e0: POP
000022e1: POP
000022e2: JUMP
000022e3: JUMPDEST
000022e4: PUSH1 0x01
000022e6: PUSH1 0x00
000022e8: SWAP1
000022e9: SLOAD
000022ea: SWAP1
000022eb: PUSH2 0x0100
000022ee: EXP
000022ef: SWAP1
000022f0: DIV
000022f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002306: AND
00002307: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000231c: AND
0000231d: PUSH4 0xa9059cbb
00002322: PUSH1 0x05
00002324: PUSH1 0x00
00002326: SWAP1
00002327: SLOAD
00002328: SWAP1
00002329: PUSH2 0x0100
0000232c: EXP
0000232d: SWAP1
0000232e: DIV
0000232f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002344: AND
00002345: DUP4
00002346: PUSH1 0x40
00002348: MLOAD
00002349: DUP4
0000234a: PUSH4 0xffffffff
0000234f: AND
00002350: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000236e: MUL
0000236f: DUP2
00002370: MSTORE
00002371: PUSH1 0x04
00002373: ADD
00002374: DUP1
00002375: DUP4
00002376: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000238b: AND
0000238c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a1: AND
000023a2: DUP2
000023a3: MSTORE
000023a4: PUSH1 0x20
000023a6: ADD
000023a7: DUP3
000023a8: DUP2
000023a9: MSTORE
000023aa: PUSH1 0x20
000023ac: ADD
000023ad: SWAP3
000023ae: POP
000023af: POP
000023b0: POP
000023b1: PUSH1 0x20
000023b3: PUSH1 0x40
000023b5: MLOAD
000023b6: DUP1
000023b7: DUP4
000023b8: SUB
000023b9: DUP2
000023ba: PUSH1 0x00
000023bc: DUP8
000023bd: DUP1
000023be: EXTCODESIZE
000023bf: ISZERO
000023c0: DUP1
000023c1: ISZERO
000023c2: PUSH2 0x23ca
000023c5: JUMPI
000023c6: PUSH1 0x00
000023c8: DUP1
000023c9: REVERT
000023ca: JUMPDEST
000023cb: POP
000023cc: GAS
000023cd: CALL
000023ce: ISZERO
000023cf: DUP1
000023d0: ISZERO
000023d1: PUSH2 0x23de
000023d4: JUMPI
000023d5: RETURNDATASIZE
000023d6: PUSH1 0x00
000023d8: DUP1
000023d9: RETURNDATACOPY
000023da: RETURNDATASIZE
000023db: PUSH1 0x00
000023dd: REVERT
000023de: JUMPDEST
000023df: POP
000023e0: POP
000023e1: POP
000023e2: POP
000023e3: PUSH1 0x40
000023e5: MLOAD
000023e6: RETURNDATASIZE
000023e7: PUSH1 0x20
000023e9: DUP2
000023ea: LT
000023eb: ISZERO
000023ec: PUSH2 0x23f4
000023ef: JUMPI
000023f0: PUSH1 0x00
000023f2: DUP1
000023f3: REVERT
000023f4: JUMPDEST
000023f5: DUP2
000023f6: ADD
000023f7: SWAP1
000023f8: DUP1
000023f9: DUP1
000023fa: MLOAD
000023fb: SWAP1
000023fc: PUSH1 0x20
000023fe: ADD
000023ff: SWAP1
00002400: SWAP3
00002401: SWAP2
00002402: SWAP1
00002403: POP
00002404: POP
00002405: POP
00002406: POP
00002407: POP
00002408: JUMP
00002409: JUMPDEST
0000240a: PUSH1 0x00
0000240c: DUP3
0000240d: DUP3
0000240e: GT
0000240f: ISZERO
00002410: ISZERO
00002411: ISZERO
00002412: PUSH2 0x2417
00002415: JUMPI
00002416: INVALID
00002417: JUMPDEST
00002418: DUP2
00002419: DUP4
0000241a: SUB
0000241b: SWAP1
0000241c: POP
0000241d: SWAP3
0000241e: SWAP2
0000241f: POP
00002420: POP
00002421: JUMP
00002422: JUMPDEST
00002423: PUSH1 0x00
00002425: DUP2
00002426: EQ
00002427: ISZERO
00002428: ISZERO
00002429: ISZERO
0000242a: PUSH2 0x2432
0000242d: JUMPI
0000242e: PUSH1 0x00
00002430: DUP1
00002431: REVERT
00002432: JUMPDEST
00002433: DUP1
00002434: PUSH1 0x06
00002436: DUP2
00002437: SWAP1
00002438: SSTORE
00002439: POP
0000243a: POP
0000243b: JUMP
0000243c: JUMPDEST
0000243d: PUSH1 0x00
0000243f: DUP2
00002440: DUP4
00002441: DUP2
00002442: ISZERO
00002443: ISZERO
00002444: PUSH2 0x2449
00002447: JUMPI
00002448: INVALID
00002449: JUMPDEST
0000244a: DIV
0000244b: SWAP1
0000244c: POP
0000244d: SWAP3
0000244e: SWAP2
0000244f: POP
00002450: POP
00002451: JUMP
00002452: JUMPDEST
00002453: PUSH1 0x00
00002455: PUSH2 0x2493
00002458: PUSH2 0x2484
0000245b: PUSH1 0x64
0000245d: PUSH2 0x2476
00002460: PUSH2 0x2467
00002463: PUSH2 0x278a
00002466: JUMP
00002467: JUMPDEST
00002468: DUP7
00002469: PUSH2 0x2011
0000246c: SWAP1
0000246d: SWAP2
0000246e: SWAP1
0000246f: PUSH4 0xffffffff
00002474: AND
00002475: JUMP
00002476: JUMPDEST
00002477: PUSH2 0x243c
0000247a: SWAP1
0000247b: SWAP2
0000247c: SWAP1
0000247d: PUSH4 0xffffffff
00002482: AND
00002483: JUMP
00002484: JUMPDEST
00002485: DUP4
00002486: PUSH2 0x2259
00002489: SWAP1
0000248a: SWAP2
0000248b: SWAP1
0000248c: PUSH4 0xffffffff
00002491: AND
00002492: JUMP
00002493: JUMPDEST
00002494: SWAP1
00002495: POP
00002496: SWAP2
00002497: SWAP1
00002498: POP
00002499: JUMP
0000249a: JUMPDEST
0000249b: PUSH1 0x00
0000249d: PUSH2 0x24a5
000024a0: DUP3
000024a1: PUSH2 0x2452
000024a4: JUMP
000024a5: JUMPDEST
000024a6: SWAP1
000024a7: POP
000024a8: PUSH1 0x02
000024aa: PUSH1 0x00
000024ac: SWAP1
000024ad: SLOAD
000024ae: SWAP1
000024af: PUSH2 0x0100
000024b2: EXP
000024b3: SWAP1
000024b4: DIV
000024b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ca: AND
000024cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e0: AND
000024e1: PUSH4 0x40c10f19
000024e6: DUP5
000024e7: DUP4
000024e8: PUSH1 0x40
000024ea: MLOAD
000024eb: DUP4
000024ec: PUSH4 0xffffffff
000024f1: AND
000024f2: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002510: MUL
00002511: DUP2
00002512: MSTORE
00002513: PUSH1 0x04
00002515: ADD
00002516: DUP1
00002517: DUP4
00002518: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000252d: AND
0000252e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002543: AND
00002544: DUP2
00002545: MSTORE
00002546: PUSH1 0x20
00002548: ADD
00002549: DUP3
0000254a: DUP2
0000254b: MSTORE
0000254c: PUSH1 0x20
0000254e: ADD
0000254f: SWAP3
00002550: POP
00002551: POP
00002552: POP
00002553: PUSH1 0x20
00002555: PUSH1 0x40
00002557: MLOAD
00002558: DUP1
00002559: DUP4
0000255a: SUB
0000255b: DUP2
0000255c: PUSH1 0x00
0000255e: DUP8
0000255f: DUP1
00002560: EXTCODESIZE
00002561: ISZERO
00002562: DUP1
00002563: ISZERO
00002564: PUSH2 0x256c
00002567: JUMPI
00002568: PUSH1 0x00
0000256a: DUP1
0000256b: REVERT
0000256c: JUMPDEST
0000256d: POP
0000256e: GAS
0000256f: CALL
00002570: ISZERO
00002571: DUP1
00002572: ISZERO
00002573: PUSH2 0x2580
00002576: JUMPI
00002577: RETURNDATASIZE
00002578: PUSH1 0x00
0000257a: DUP1
0000257b: RETURNDATACOPY
0000257c: RETURNDATASIZE
0000257d: PUSH1 0x00
0000257f: REVERT
00002580: JUMPDEST
00002581: POP
00002582: POP
00002583: POP
00002584: POP
00002585: PUSH1 0x40
00002587: MLOAD
00002588: RETURNDATASIZE
00002589: PUSH1 0x20
0000258b: DUP2
0000258c: LT
0000258d: ISZERO
0000258e: PUSH2 0x2596
00002591: JUMPI
00002592: PUSH1 0x00
00002594: DUP1
00002595: REVERT
00002596: JUMPDEST
00002597: DUP2
00002598: ADD
00002599: SWAP1
0000259a: DUP1
0000259b: DUP1
0000259c: MLOAD
0000259d: SWAP1
0000259e: PUSH1 0x20
000025a0: ADD
000025a1: SWAP1
000025a2: SWAP3
000025a3: SWAP2
000025a4: SWAP1
000025a5: POP
000025a6: POP
000025a7: POP
000025a8: POP
000025a9: DUP3
000025aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025bf: AND
000025c0: CALLER
000025c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025d6: AND
000025d7: PUSH32 0x4c3304d4cf5811f85b36014be4354cf7a3d22154525796023fa931e397ecc8fe
000025f8: DUP4
000025f9: PUSH1 0x40
000025fb: MLOAD
000025fc: DUP1
000025fd: DUP3
000025fe: DUP2
000025ff: MSTORE
00002600: PUSH1 0x20
00002602: ADD
00002603: SWAP2
00002604: POP
00002605: POP
00002606: PUSH1 0x40
00002608: MLOAD
00002609: DUP1
0000260a: SWAP2
0000260b: SUB
0000260c: SWAP1
0000260d: LOG3
0000260e: POP
0000260f: POP
00002610: POP
00002611: JUMP
00002612: JUMPDEST
00002613: PUSH1 0x00
00002615: PUSH2 0x261d
00002618: DUP3
00002619: PUSH2 0x2452
0000261c: JUMP
0000261d: JUMPDEST
0000261e: SWAP1
0000261f: POP
00002620: PUSH1 0x03
00002622: PUSH1 0x00
00002624: SWAP1
00002625: SLOAD
00002626: SWAP1
00002627: PUSH2 0x0100
0000262a: EXP
0000262b: SWAP1
0000262c: DIV
0000262d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002642: AND
00002643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002658: AND
00002659: PUSH4 0x40c10f19
0000265e: DUP5
0000265f: DUP4
00002660: PUSH1 0x40
00002662: MLOAD
00002663: DUP4
00002664: PUSH4 0xffffffff
00002669: AND
0000266a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002688: MUL
00002689: DUP2
0000268a: MSTORE
0000268b: PUSH1 0x04
0000268d: ADD
0000268e: DUP1
0000268f: DUP4
00002690: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026a5: AND
000026a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026bb: AND
000026bc: DUP2
000026bd: MSTORE
000026be: PUSH1 0x20
000026c0: ADD
000026c1: DUP3
000026c2: DUP2
000026c3: MSTORE
000026c4: PUSH1 0x20
000026c6: ADD
000026c7: SWAP3
000026c8: POP
000026c9: POP
000026ca: POP
000026cb: PUSH1 0x20
000026cd: PUSH1 0x40
000026cf: MLOAD
000026d0: DUP1
000026d1: DUP4
000026d2: SUB
000026d3: DUP2
000026d4: PUSH1 0x00
000026d6: DUP8
000026d7: DUP1
000026d8: EXTCODESIZE
000026d9: ISZERO
000026da: DUP1
000026db: ISZERO
000026dc: PUSH2 0x26e4
000026df: JUMPI
000026e0: PUSH1 0x00
000026e2: DUP1
000026e3: REVERT
000026e4: JUMPDEST
000026e5: POP
000026e6: GAS
000026e7: CALL
000026e8: ISZERO
000026e9: DUP1
000026ea: ISZERO
000026eb: PUSH2 0x26f8
000026ee: JUMPI
000026ef: RETURNDATASIZE
000026f0: PUSH1 0x00
000026f2: DUP1
000026f3: RETURNDATACOPY
000026f4: RETURNDATASIZE
000026f5: PUSH1 0x00
000026f7: REVERT
000026f8: JUMPDEST
000026f9: POP
000026fa: POP
000026fb: POP
000026fc: POP
000026fd: PUSH1 0x40
000026ff: MLOAD
00002700: RETURNDATASIZE
00002701: PUSH1 0x20
00002703: DUP2
00002704: LT
00002705: ISZERO
00002706: PUSH2 0x270e
00002709: JUMPI
0000270a: PUSH1 0x00
0000270c: DUP1
0000270d: REVERT
0000270e: JUMPDEST
0000270f: DUP2
00002710: ADD
00002711: SWAP1
00002712: DUP1
00002713: DUP1
00002714: MLOAD
00002715: SWAP1
00002716: PUSH1 0x20
00002718: ADD
00002719: SWAP1
0000271a: SWAP3
0000271b: SWAP2
0000271c: SWAP1
0000271d: POP
0000271e: POP
0000271f: POP
00002720: POP
00002721: DUP3
00002722: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002737: AND
00002738: CALLER
00002739: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000274e: AND
0000274f: PUSH32 0x4ca8f15cca9099bf23b321f46e49807ddfeadd289924012dd0b5e0618b699d2a
00002770: DUP4
00002771: PUSH1 0x40
00002773: MLOAD
00002774: DUP1
00002775: DUP3
00002776: DUP2
00002777: MSTORE
00002778: PUSH1 0x20
0000277a: ADD
0000277b: SWAP2
0000277c: POP
0000277d: POP
0000277e: PUSH1 0x40
00002780: MLOAD
00002781: DUP1
00002782: SWAP2
00002783: SUB
00002784: SWAP1
00002785: LOG3
00002786: POP
00002787: POP
00002788: POP
00002789: JUMP
0000278a: JUMPDEST
0000278b: PUSH1 0x00
0000278d: PUSH1 0x04
0000278f: PUSH1 0x08
00002791: SWAP1
00002792: SLOAD
00002793: SWAP1
00002794: PUSH2 0x0100
00002797: EXP
00002798: SWAP1
00002799: DIV
0000279a: PUSH8 0xffffffffffffffff
000027a3: AND
000027a4: PUSH8 0xffffffffffffffff
000027ad: AND
000027ae: TIMESTAMP
000027af: LT
000027b0: ISZERO
000027b1: PUSH2 0x27bd
000027b4: JUMPI
000027b5: PUSH1 0x28
000027b7: SWAP1
000027b8: POP
000027b9: PUSH2 0x2824
000027bc: JUMP
000027bd: JUMPDEST
000027be: PUSH1 0x04
000027c0: PUSH1 0x10
000027c2: SWAP1
000027c3: SLOAD
000027c4: SWAP1
000027c5: PUSH2 0x0100
000027c8: EXP
000027c9: SWAP1
000027ca: DIV
000027cb: PUSH8 0xffffffffffffffff
000027d4: AND
000027d5: PUSH8 0xffffffffffffffff
000027de: AND
000027df: TIMESTAMP
000027e0: LT
000027e1: ISZERO
000027e2: PUSH2 0x27ee
000027e5: JUMPI
000027e6: PUSH1 0x19
000027e8: SWAP1
000027e9: POP
000027ea: PUSH2 0x2824
000027ed: JUMP
000027ee: JUMPDEST
000027ef: PUSH1 0x04
000027f1: PUSH1 0x18
000027f3: SWAP1
000027f4: SLOAD
000027f5: SWAP1
000027f6: PUSH2 0x0100
000027f9: EXP
000027fa: SWAP1
000027fb: DIV
000027fc: PUSH8 0xffffffffffffffff
00002805: AND
00002806: PUSH8 0xffffffffffffffff
0000280f: AND
00002810: TIMESTAMP
00002811: LT
00002812: ISZERO
00002813: PUSH2 0x281f
00002816: JUMPI
00002817: PUSH1 0x14
00002819: SWAP1
0000281a: POP
0000281b: PUSH2 0x2824
0000281e: JUMP
0000281f: JUMPDEST
00002820: PUSH1 0x0f
00002822: SWAP1
00002823: POP
00002824: JUMPDEST
00002825: SWAP1
00002826: JUMP
00002827: STOP
00002828: LOG1
00002829: PUSH6 0x627a7a723058
00002830: KECCAK256
00002831: PUSH16 0xd8a7b9d99d6416f605db169a3f538eb2
00002842: MUL
00002843: CALL
00002844: UNKNOWN(0xE1)
00002845: UNKNOWN(0xCC)
00002846: UNKNOWN(0xFB)
00002847: PUSH12
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: 0x9e1eda5d947c9898258497efe426f4c70aaa777802ac34a662e7770c29a73c7b call_targets: 0xb012e882c82ef3ca0ce526f2374887b4429a7228 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9e1eda5d947c9898258497efe426f4c70aaa777802ac34a662e7770c29a73c7b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb012e882c82ef3ca0ce526f2374887b4429a7228" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0f81d248", "selector": "0x0f81d248", "calldata_variants": [ "0x0f81d248", "0x0f81d2480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1ba1648a", "selector": "0x1ba1648a", "calldata_variants": [ "0x1ba1648a", "0x1ba1648a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27796092", "selector": "0x27796092", "calldata_variants": [ "0x27796092", "0x277960920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27e235e3", "selector": "0x27e235e3", "calldata_variants": [ "0x27e235e3", "0x27e235e30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2c4e722e", "selector": "0x2c4e722e", "calldata_variants": [ "0x2c4e722e", "0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3197cbb6", "selector": "0x3197cbb6", "calldata_variants": [ "0x3197cbb6", "0x3197cbb60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3802d3ef", "selector": "0x3802d3ef", "calldata_variants": [ "0x3802d3ef", "0x3802d3ef0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3025, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3271, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3777, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 16, "guards_detected": [ { "pc": 2720, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3451, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4485, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5142, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6609, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6755, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7135, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7925, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 16 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x9e1eda5d947c9898258497efe426f4c70aaa777802ac34a662e7770c29a73c7b call_targets: 0xb012e882c82ef3ca0ce526f2374887b4429a7228 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9e1eda5d947c9898258497efe426f4c70aaa777802ac34a662e7770c29a73c7b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb012e882c82ef3ca0ce526f2374887b4429a7228" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0f81d248", "selector": "0x0f81d248", "calldata_variants": [ "0x0f81d248", "0x0f81d2480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1ba1648a", "selector": "0x1ba1648a", "calldata_variants": [ "0x1ba1648a", "0x1ba1648a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27796092", "selector": "0x27796092", "calldata_variants": [ "0x27796092", "0x277960920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27e235e3", "selector": "0x27e235e3", "calldata_variants": [ "0x27e235e3", "0x27e235e30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2c4e722e", "selector": "0x2c4e722e", "calldata_variants": [ "0x2c4e722e", "0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3197cbb6", "selector": "0x3197cbb6", "calldata_variants": [ "0x3197cbb6", "0x3197cbb60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3802d3ef", "selector": "0x3802d3ef", "calldata_variants": [ "0x3802d3ef", "0x3802d3ef0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3025, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3271, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3777, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 16, "guards_detected": [ { "pc": 2720, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3451, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4485, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5142, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6609, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6755, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7135, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7925, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity