Analysis Run

019b477e-b4bb-7328-a613-6246c05d761d
complete
Chain ID
1
Address
0x59891b95010267f7a3666dcb3221059a73e11ad1
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
ETH value transfer possible
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
22795	artifact.fetch	complete	1 / 3	3 months ago
22796	tool.cast_disasm	complete	1 / 3	3 months ago
107285	analysis.bundle	complete	1 / 3	1 week ago
107286	capability.graph	complete	1 / 3	1 week ago
107287	detector.run	complete	1 / 3	1 week ago
107288	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
8
Total opcodes
3741
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0166
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x89a78f1a
00000019: GT
0000001a: PUSH2 0x00d1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc0ee0b8a
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xcf3dfae7
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xcf3dfae7
0000003a: EQ
0000003b: PUSH2 0x05f1
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd8a6b6cc
00000045: EQ
00000046: PUSH2 0x061c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe96d977f
00000050: EQ
00000051: PUSH2 0x0685
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xffe6bbd8
0000005b: EQ
0000005c: PUSH2 0x06ca
0000005f: JUMPI
00000060: PUSH2 0x0166
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xc0ee0b8a
0000006b: EQ
0000006c: PUSH2 0x04ff
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc14d81a9
00000076: EQ
00000077: PUSH2 0x05af
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xcc866c51
00000081: EQ
00000082: PUSH2 0x05c6
00000085: JUMPI
00000086: PUSH2 0x0166
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x89a78f1a
00000091: EQ
00000092: PUSH2 0x0390
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x8aa78543
0000009c: EQ
0000009d: PUSH2 0x040e
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x903f5c67
000000a7: EQ
000000a8: PUSH2 0x0439
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x949e8acd
000000b2: EQ
000000b3: PUSH2 0x0492
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xb3b2786d
000000bd: EQ
000000be: PUSH2 0x04bd
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xb73c6ce9
000000c8: EQ
000000c9: PUSH2 0x04e8
000000cc: JUMPI
000000cd: PUSH2 0x0166
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x492790c2
000000d8: GT
000000d9: PUSH2 0x0123
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x492790c2
000000e3: EQ
000000e4: PUSH2 0x0256
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x4ba2363a
000000ee: EQ
000000ef: PUSH2 0x026d
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x5c2930ad
000000f9: EQ
000000fa: PUSH2 0x0298
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x6540742f
00000104: EQ
00000105: PUSH2 0x030b
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x7dc2268c
0000010f: EQ
00000110: PUSH2 0x0336
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x82aec052
0000011a: EQ
0000011b: PUSH2 0x0365
0000011e: JUMPI
0000011f: PUSH2 0x0166
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x18160ddd
0000012a: EQ
0000012b: PUSH2 0x0168
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x23d0e65c
00000135: EQ
00000136: PUSH2 0x0193
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x2ca8c6d3
00000140: EQ
00000141: PUSH2 0x01be
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x2e92abdd
0000014b: EQ
0000014c: PUSH2 0x01e9
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x3151ecfc
00000156: EQ
00000157: PUSH2 0x0200
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x46aace16
00000161: EQ
00000162: PUSH2 0x022b
00000165: JUMPI
00000166: JUMPDEST
00000167: STOP
00000168: JUMPDEST
00000169: CALLVALUE
0000016a: DUP1
0000016b: ISZERO
0000016c: PUSH2 0x0174
0000016f: JUMPI
00000170: PUSH1 0x00
00000172: DUP1
00000173: REVERT
00000174: JUMPDEST
00000175: POP
00000176: PUSH2 0x017d
00000179: PUSH2 0x06f5
0000017c: JUMP
0000017d: JUMPDEST
0000017e: PUSH1 0x40
00000180: MLOAD
00000181: DUP1
00000182: DUP3
00000183: DUP2
00000184: MSTORE
00000185: PUSH1 0x20
00000187: ADD
00000188: SWAP2
00000189: POP
0000018a: POP
0000018b: PUSH1 0x40
0000018d: MLOAD
0000018e: DUP1
0000018f: SWAP2
00000190: SUB
00000191: SWAP1
00000192: RETURN
00000193: JUMPDEST
00000194: CALLVALUE
00000195: DUP1
00000196: ISZERO
00000197: PUSH2 0x019f
0000019a: JUMPI
0000019b: PUSH1 0x00
0000019d: DUP1
0000019e: REVERT
0000019f: JUMPDEST
000001a0: POP
000001a1: PUSH2 0x01a8
000001a4: PUSH2 0x06fb
000001a7: JUMP
000001a8: JUMPDEST
000001a9: PUSH1 0x40
000001ab: MLOAD
000001ac: DUP1
000001ad: DUP3
000001ae: DUP2
000001af: MSTORE
000001b0: PUSH1 0x20
000001b2: ADD
000001b3: SWAP2
000001b4: POP
000001b5: POP
000001b6: PUSH1 0x40
000001b8: MLOAD
000001b9: DUP1
000001ba: SWAP2
000001bb: SUB
000001bc: SWAP1
000001bd: RETURN
000001be: JUMPDEST
000001bf: CALLVALUE
000001c0: DUP1
000001c1: ISZERO
000001c2: PUSH2 0x01ca
000001c5: JUMPI
000001c6: PUSH1 0x00
000001c8: DUP1
000001c9: REVERT
000001ca: JUMPDEST
000001cb: POP
000001cc: PUSH2 0x01d3
000001cf: PUSH2 0x070f
000001d2: JUMP
000001d3: JUMPDEST
000001d4: PUSH1 0x40
000001d6: MLOAD
000001d7: DUP1
000001d8: DUP3
000001d9: DUP2
000001da: MSTORE
000001db: PUSH1 0x20
000001dd: ADD
000001de: SWAP2
000001df: POP
000001e0: POP
000001e1: PUSH1 0x40
000001e3: MLOAD
000001e4: DUP1
000001e5: SWAP2
000001e6: SUB
000001e7: SWAP1
000001e8: RETURN
000001e9: JUMPDEST
000001ea: CALLVALUE
000001eb: DUP1
000001ec: ISZERO
000001ed: PUSH2 0x01f5
000001f0: JUMPI
000001f1: PUSH1 0x00
000001f3: DUP1
000001f4: REVERT
000001f5: JUMPDEST
000001f6: POP
000001f7: PUSH2 0x01fe
000001fa: PUSH2 0x0715
000001fd: JUMP
000001fe: JUMPDEST
000001ff: STOP
00000200: JUMPDEST
00000201: CALLVALUE
00000202: DUP1
00000203: ISZERO
00000204: PUSH2 0x020c
00000207: JUMPI
00000208: PUSH1 0x00
0000020a: DUP1
0000020b: REVERT
0000020c: JUMPDEST
0000020d: POP
0000020e: PUSH2 0x0215
00000211: PUSH2 0x07e7
00000214: JUMP
00000215: JUMPDEST
00000216: PUSH1 0x40
00000218: MLOAD
00000219: DUP1
0000021a: DUP3
0000021b: DUP2
0000021c: MSTORE
0000021d: PUSH1 0x20
0000021f: ADD
00000220: SWAP2
00000221: POP
00000222: POP
00000223: PUSH1 0x40
00000225: MLOAD
00000226: DUP1
00000227: SWAP2
00000228: SUB
00000229: SWAP1
0000022a: RETURN
0000022b: JUMPDEST
0000022c: CALLVALUE
0000022d: DUP1
0000022e: ISZERO
0000022f: PUSH2 0x0237
00000232: JUMPI
00000233: PUSH1 0x00
00000235: DUP1
00000236: REVERT
00000237: JUMPDEST
00000238: POP
00000239: PUSH2 0x0240
0000023c: PUSH2 0x0909
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH1 0x40
00000243: MLOAD
00000244: DUP1
00000245: DUP3
00000246: DUP2
00000247: MSTORE
00000248: PUSH1 0x20
0000024a: ADD
0000024b: SWAP2
0000024c: POP
0000024d: POP
0000024e: PUSH1 0x40
00000250: MLOAD
00000251: DUP1
00000252: SWAP2
00000253: SUB
00000254: SWAP1
00000255: RETURN
00000256: JUMPDEST
00000257: CALLVALUE
00000258: DUP1
00000259: ISZERO
0000025a: PUSH2 0x0262
0000025d: JUMPI
0000025e: PUSH1 0x00
00000260: DUP1
00000261: REVERT
00000262: JUMPDEST
00000263: POP
00000264: PUSH2 0x026b
00000267: PUSH2 0x090f
0000026a: JUMP
0000026b: JUMPDEST
0000026c: STOP
0000026d: JUMPDEST
0000026e: CALLVALUE
0000026f: DUP1
00000270: ISZERO
00000271: PUSH2 0x0279
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: POP
0000027b: PUSH2 0x0282
0000027e: PUSH2 0x0951
00000281: JUMP
00000282: JUMPDEST
00000283: PUSH1 0x40
00000285: MLOAD
00000286: DUP1
00000287: DUP3
00000288: DUP2
00000289: MSTORE
0000028a: PUSH1 0x20
0000028c: ADD
0000028d: SWAP2
0000028e: POP
0000028f: POP
00000290: PUSH1 0x40
00000292: MLOAD
00000293: DUP1
00000294: SWAP2
00000295: SUB
00000296: SWAP1
00000297: RETURN
00000298: JUMPDEST
00000299: CALLVALUE
0000029a: DUP1
0000029b: ISZERO
0000029c: PUSH2 0x02a4
0000029f: JUMPI
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: POP
000002a6: PUSH2 0x02e7
000002a9: PUSH1 0x04
000002ab: DUP1
000002ac: CALLDATASIZE
000002ad: SUB
000002ae: PUSH1 0x20
000002b0: DUP2
000002b1: LT
000002b2: ISZERO
000002b3: PUSH2 0x02bb
000002b6: JUMPI
000002b7: PUSH1 0x00
000002b9: DUP1
000002ba: REVERT
000002bb: JUMPDEST
000002bc: DUP2
000002bd: ADD
000002be: SWAP1
000002bf: DUP1
000002c0: DUP1
000002c1: CALLDATALOAD
000002c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002d7: AND
000002d8: SWAP1
000002d9: PUSH1 0x20
000002db: ADD
000002dc: SWAP1
000002dd: SWAP3
000002de: SWAP2
000002df: SWAP1
000002e0: POP
000002e1: POP
000002e2: POP
000002e3: PUSH2 0x0957
000002e6: JUMP
000002e7: JUMPDEST
000002e8: PUSH1 0x40
000002ea: MLOAD
000002eb: DUP1
000002ec: DUP5
000002ed: DUP2
000002ee: MSTORE
000002ef: PUSH1 0x20
000002f1: ADD
000002f2: DUP4
000002f3: DUP2
000002f4: MSTORE
000002f5: PUSH1 0x20
000002f7: ADD
000002f8: DUP3
000002f9: DUP2
000002fa: MSTORE
000002fb: PUSH1 0x20
000002fd: ADD
000002fe: SWAP4
000002ff: POP
00000300: POP
00000301: POP
00000302: POP
00000303: PUSH1 0x40
00000305: MLOAD
00000306: DUP1
00000307: SWAP2
00000308: SUB
00000309: SWAP1
0000030a: RETURN
0000030b: JUMPDEST
0000030c: CALLVALUE
0000030d: DUP1
0000030e: ISZERO
0000030f: PUSH2 0x0317
00000312: JUMPI
00000313: PUSH1 0x00
00000315: DUP1
00000316: REVERT
00000317: JUMPDEST
00000318: POP
00000319: PUSH2 0x0320
0000031c: PUSH2 0x0981
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH1 0x40
00000323: MLOAD
00000324: DUP1
00000325: DUP3
00000326: DUP2
00000327: MSTORE
00000328: PUSH1 0x20
0000032a: ADD
0000032b: SWAP2
0000032c: POP
0000032d: POP
0000032e: PUSH1 0x40
00000330: MLOAD
00000331: DUP1
00000332: SWAP2
00000333: SUB
00000334: SWAP1
00000335: RETURN
00000336: JUMPDEST
00000337: CALLVALUE
00000338: DUP1
00000339: ISZERO
0000033a: PUSH2 0x0342
0000033d: JUMPI
0000033e: PUSH1 0x00
00000340: DUP1
00000341: REVERT
00000342: JUMPDEST
00000343: POP
00000344: PUSH2 0x034b
00000347: PUSH2 0x098d
0000034a: JUMP
0000034b: JUMPDEST
0000034c: PUSH1 0x40
0000034e: MLOAD
0000034f: DUP1
00000350: DUP3
00000351: ISZERO
00000352: ISZERO
00000353: ISZERO
00000354: ISZERO
00000355: DUP2
00000356: MSTORE
00000357: PUSH1 0x20
00000359: ADD
0000035a: SWAP2
0000035b: POP
0000035c: POP
0000035d: PUSH1 0x40
0000035f: MLOAD
00000360: DUP1
00000361: SWAP2
00000362: SUB
00000363: SWAP1
00000364: RETURN
00000365: JUMPDEST
00000366: CALLVALUE
00000367: DUP1
00000368: ISZERO
00000369: PUSH2 0x0371
0000036c: JUMPI
0000036d: PUSH1 0x00
0000036f: DUP1
00000370: REVERT
00000371: JUMPDEST
00000372: POP
00000373: PUSH2 0x037a
00000376: PUSH2 0x09a0
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH1 0x40
0000037d: MLOAD
0000037e: DUP1
0000037f: DUP3
00000380: DUP2
00000381: MSTORE
00000382: PUSH1 0x20
00000384: ADD
00000385: SWAP2
00000386: POP
00000387: POP
00000388: PUSH1 0x40
0000038a: MLOAD
0000038b: DUP1
0000038c: SWAP2
0000038d: SUB
0000038e: SWAP1
0000038f: RETURN
00000390: JUMPDEST
00000391: CALLVALUE
00000392: DUP1
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: PUSH2 0x03df
000003a1: PUSH1 0x04
000003a3: DUP1
000003a4: CALLDATASIZE
000003a5: SUB
000003a6: PUSH1 0x20
000003a8: DUP2
000003a9: LT
000003aa: ISZERO
000003ab: PUSH2 0x03b3
000003ae: JUMPI
000003af: PUSH1 0x00
000003b1: DUP1
000003b2: REVERT
000003b3: JUMPDEST
000003b4: DUP2
000003b5: ADD
000003b6: SWAP1
000003b7: DUP1
000003b8: DUP1
000003b9: CALLDATALOAD
000003ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003cf: AND
000003d0: SWAP1
000003d1: PUSH1 0x20
000003d3: ADD
000003d4: SWAP1
000003d5: SWAP3
000003d6: SWAP2
000003d7: SWAP1
000003d8: POP
000003d9: POP
000003da: POP
000003db: PUSH2 0x09e6
000003de: JUMP
000003df: JUMPDEST
000003e0: PUSH1 0x40
000003e2: MLOAD
000003e3: DUP1
000003e4: DUP6
000003e5: DUP2
000003e6: MSTORE
000003e7: PUSH1 0x20
000003e9: ADD
000003ea: DUP5
000003eb: DUP2
000003ec: MSTORE
000003ed: PUSH1 0x20
000003ef: ADD
000003f0: DUP4
000003f1: DUP2
000003f2: MSTORE
000003f3: PUSH1 0x20
000003f5: ADD
000003f6: DUP3
000003f7: ISZERO
000003f8: ISZERO
000003f9: ISZERO
000003fa: ISZERO
000003fb: DUP2
000003fc: MSTORE
000003fd: PUSH1 0x20
000003ff: ADD
00000400: SWAP5
00000401: POP
00000402: POP
00000403: POP
00000404: POP
00000405: POP
00000406: PUSH1 0x40
00000408: MLOAD
00000409: DUP1
0000040a: SWAP2
0000040b: SUB
0000040c: SWAP1
0000040d: RETURN
0000040e: JUMPDEST
0000040f: CALLVALUE
00000410: DUP1
00000411: ISZERO
00000412: PUSH2 0x041a
00000415: JUMPI
00000416: PUSH1 0x00
00000418: DUP1
00000419: REVERT
0000041a: JUMPDEST
0000041b: POP
0000041c: PUSH2 0x0423
0000041f: PUSH2 0x0a23
00000422: JUMP
00000423: JUMPDEST
00000424: PUSH1 0x40
00000426: MLOAD
00000427: DUP1
00000428: DUP3
00000429: DUP2
0000042a: MSTORE
0000042b: PUSH1 0x20
0000042d: ADD
0000042e: SWAP2
0000042f: POP
00000430: POP
00000431: PUSH1 0x40
00000433: MLOAD
00000434: DUP1
00000435: SWAP2
00000436: SUB
00000437: SWAP1
00000438: RETURN
00000439: JUMPDEST
0000043a: CALLVALUE
0000043b: DUP1
0000043c: ISZERO
0000043d: PUSH2 0x0445
00000440: JUMPI
00000441: PUSH1 0x00
00000443: DUP1
00000444: REVERT
00000445: JUMPDEST
00000446: POP
00000447: PUSH2 0x047c
0000044a: PUSH1 0x04
0000044c: DUP1
0000044d: CALLDATASIZE
0000044e: SUB
0000044f: PUSH1 0x40
00000451: DUP2
00000452: LT
00000453: ISZERO
00000454: PUSH2 0x045c
00000457: JUMPI
00000458: PUSH1 0x00
0000045a: DUP1
0000045b: REVERT
0000045c: JUMPDEST
0000045d: DUP2
0000045e: ADD
0000045f: SWAP1
00000460: DUP1
00000461: DUP1
00000462: CALLDATALOAD
00000463: SWAP1
00000464: PUSH1 0x20
00000466: ADD
00000467: SWAP1
00000468: SWAP3
00000469: SWAP2
0000046a: SWAP1
0000046b: DUP1
0000046c: CALLDATALOAD
0000046d: SWAP1
0000046e: PUSH1 0x20
00000470: ADD
00000471: SWAP1
00000472: SWAP3
00000473: SWAP2
00000474: SWAP1
00000475: POP
00000476: POP
00000477: POP
00000478: PUSH2 0x0a9c
0000047b: JUMP
0000047c: JUMPDEST
0000047d: PUSH1 0x40
0000047f: MLOAD
00000480: DUP1
00000481: DUP3
00000482: DUP2
00000483: MSTORE
00000484: PUSH1 0x20
00000486: ADD
00000487: SWAP2
00000488: POP
00000489: POP
0000048a: PUSH1 0x40
0000048c: MLOAD
0000048d: DUP1
0000048e: SWAP2
0000048f: SUB
00000490: SWAP1
00000491: RETURN
00000492: JUMPDEST
00000493: CALLVALUE
00000494: DUP1
00000495: ISZERO
00000496: PUSH2 0x049e
00000499: JUMPI
0000049a: PUSH1 0x00
0000049c: DUP1
0000049d: REVERT
0000049e: JUMPDEST
0000049f: POP
000004a0: PUSH2 0x04a7
000004a3: PUSH2 0x0ad5
000004a6: JUMP
000004a7: JUMPDEST
000004a8: PUSH1 0x40
000004aa: MLOAD
000004ab: DUP1
000004ac: DUP3
000004ad: DUP2
000004ae: MSTORE
000004af: PUSH1 0x20
000004b1: ADD
000004b2: SWAP2
000004b3: POP
000004b4: POP
000004b5: PUSH1 0x40
000004b7: MLOAD
000004b8: DUP1
000004b9: SWAP2
000004ba: SUB
000004bb: SWAP1
000004bc: RETURN
000004bd: JUMPDEST
000004be: CALLVALUE
000004bf: DUP1
000004c0: ISZERO
000004c1: PUSH2 0x04c9
000004c4: JUMPI
000004c5: PUSH1 0x00
000004c7: DUP1
000004c8: REVERT
000004c9: JUMPDEST
000004ca: POP
000004cb: PUSH2 0x04d2
000004ce: PUSH2 0x0b1f
000004d1: JUMP
000004d2: JUMPDEST
000004d3: PUSH1 0x40
000004d5: MLOAD
000004d6: DUP1
000004d7: DUP3
000004d8: DUP2
000004d9: MSTORE
000004da: PUSH1 0x20
000004dc: ADD
000004dd: SWAP2
000004de: POP
000004df: POP
000004e0: PUSH1 0x40
000004e2: MLOAD
000004e3: DUP1
000004e4: SWAP2
000004e5: SUB
000004e6: SWAP1
000004e7: RETURN
000004e8: JUMPDEST
000004e9: CALLVALUE
000004ea: DUP1
000004eb: ISZERO
000004ec: PUSH2 0x04f4
000004ef: JUMPI
000004f0: PUSH1 0x00
000004f2: DUP1
000004f3: REVERT
000004f4: JUMPDEST
000004f5: POP
000004f6: PUSH2 0x04fd
000004f9: PUSH2 0x0bf2
000004fc: JUMP
000004fd: JUMPDEST
000004fe: STOP
000004ff: JUMPDEST
00000500: CALLVALUE
00000501: DUP1
00000502: ISZERO
00000503: PUSH2 0x050b
00000506: JUMPI
00000507: PUSH1 0x00
00000509: DUP1
0000050a: REVERT
0000050b: JUMPDEST
0000050c: POP
0000050d: PUSH2 0x05ad
00000510: PUSH1 0x04
00000512: DUP1
00000513: CALLDATASIZE
00000514: SUB
00000515: PUSH1 0x60
00000517: DUP2
00000518: LT
00000519: ISZERO
0000051a: PUSH2 0x0522
0000051d: JUMPI
0000051e: PUSH1 0x00
00000520: DUP1
00000521: REVERT
00000522: JUMPDEST
00000523: DUP2
00000524: ADD
00000525: SWAP1
00000526: DUP1
00000527: DUP1
00000528: CALLDATALOAD
00000529: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000053e: AND
0000053f: SWAP1
00000540: PUSH1 0x20
00000542: ADD
00000543: SWAP1
00000544: SWAP3
00000545: SWAP2
00000546: SWAP1
00000547: DUP1
00000548: CALLDATALOAD
00000549: SWAP1
0000054a: PUSH1 0x20
0000054c: ADD
0000054d: SWAP1
0000054e: SWAP3
0000054f: SWAP2
00000550: SWAP1
00000551: DUP1
00000552: CALLDATALOAD
00000553: SWAP1
00000554: PUSH1 0x20
00000556: ADD
00000557: SWAP1
00000558: PUSH5 0x0100000000
0000055e: DUP2
0000055f: GT
00000560: ISZERO
00000561: PUSH2 0x0569
00000564: JUMPI
00000565: PUSH1 0x00
00000567: DUP1
00000568: REVERT
00000569: JUMPDEST
0000056a: DUP3
0000056b: ADD
0000056c: DUP4
0000056d: PUSH1 0x20
0000056f: DUP3
00000570: ADD
00000571: GT
00000572: ISZERO
00000573: PUSH2 0x057b
00000576: JUMPI
00000577: PUSH1 0x00
00000579: DUP1
0000057a: REVERT
0000057b: JUMPDEST
0000057c: DUP1
0000057d: CALLDATALOAD
0000057e: SWAP1
0000057f: PUSH1 0x20
00000581: ADD
00000582: SWAP2
00000583: DUP5
00000584: PUSH1 0x01
00000586: DUP4
00000587: MUL
00000588: DUP5
00000589: ADD
0000058a: GT
0000058b: PUSH5 0x0100000000
00000591: DUP4
00000592: GT
00000593: OR
00000594: ISZERO
00000595: PUSH2 0x059d
00000598: JUMPI
00000599: PUSH1 0x00
0000059b: DUP1
0000059c: REVERT
0000059d: JUMPDEST
0000059e: SWAP1
0000059f: SWAP2
000005a0: SWAP3
000005a1: SWAP4
000005a2: SWAP2
000005a3: SWAP3
000005a4: SWAP4
000005a5: SWAP1
000005a6: POP
000005a7: POP
000005a8: POP
000005a9: PUSH2 0x0d87
000005ac: JUMP
000005ad: JUMPDEST
000005ae: STOP
000005af: JUMPDEST
000005b0: CALLVALUE
000005b1: DUP1
000005b2: ISZERO
000005b3: PUSH2 0x05bb
000005b6: JUMPI
000005b7: PUSH1 0x00
000005b9: DUP1
000005ba: REVERT
000005bb: JUMPDEST
000005bc: POP
000005bd: PUSH2 0x05c4
000005c0: PUSH2 0x0e79
000005c3: JUMP
000005c4: JUMPDEST
000005c5: STOP
000005c6: JUMPDEST
000005c7: CALLVALUE
000005c8: DUP1
000005c9: ISZERO
000005ca: PUSH2 0x05d2
000005cd: JUMPI
000005ce: PUSH1 0x00
000005d0: DUP1
000005d1: REVERT
000005d2: JUMPDEST
000005d3: POP
000005d4: PUSH2 0x05db
000005d7: PUSH2 0x1039
000005da: JUMP
000005db: JUMPDEST
000005dc: PUSH1 0x40
000005de: MLOAD
000005df: DUP1
000005e0: DUP3
000005e1: DUP2
000005e2: MSTORE
000005e3: PUSH1 0x20
000005e5: ADD
000005e6: SWAP2
000005e7: POP
000005e8: POP
000005e9: PUSH1 0x40
000005eb: MLOAD
000005ec: DUP1
000005ed: SWAP2
000005ee: SUB
000005ef: SWAP1
000005f0: RETURN
000005f1: JUMPDEST
000005f2: CALLVALUE
000005f3: DUP1
000005f4: ISZERO
000005f5: PUSH2 0x05fd
000005f8: JUMPI
000005f9: PUSH1 0x00
000005fb: DUP1
000005fc: REVERT
000005fd: JUMPDEST
000005fe: POP
000005ff: PUSH2 0x0606
00000602: PUSH2 0x1119
00000605: JUMP
00000606: JUMPDEST
00000607: PUSH1 0x40
00000609: MLOAD
0000060a: DUP1
0000060b: DUP3
0000060c: DUP2
0000060d: MSTORE
0000060e: PUSH1 0x20
00000610: ADD
00000611: SWAP2
00000612: POP
00000613: POP
00000614: PUSH1 0x40
00000616: MLOAD
00000617: DUP1
00000618: SWAP2
00000619: SUB
0000061a: SWAP1
0000061b: RETURN
0000061c: JUMPDEST
0000061d: CALLVALUE
0000061e: DUP1
0000061f: ISZERO
00000620: PUSH2 0x0628
00000623: JUMPI
00000624: PUSH1 0x00
00000626: DUP1
00000627: REVERT
00000628: JUMPDEST
00000629: POP
0000062a: PUSH2 0x066b
0000062d: PUSH1 0x04
0000062f: DUP1
00000630: CALLDATASIZE
00000631: SUB
00000632: PUSH1 0x20
00000634: DUP2
00000635: LT
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: DUP2
00000641: ADD
00000642: SWAP1
00000643: DUP1
00000644: DUP1
00000645: CALLDATALOAD
00000646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000065b: AND
0000065c: SWAP1
0000065d: PUSH1 0x20
0000065f: ADD
00000660: SWAP1
00000661: SWAP3
00000662: SWAP2
00000663: SWAP1
00000664: POP
00000665: POP
00000666: POP
00000667: PUSH2 0x113f
0000066a: JUMP
0000066b: JUMPDEST
0000066c: PUSH1 0x40
0000066e: MLOAD
0000066f: DUP1
00000670: DUP3
00000671: ISZERO
00000672: ISZERO
00000673: ISZERO
00000674: ISZERO
00000675: DUP2
00000676: MSTORE
00000677: PUSH1 0x20
00000679: ADD
0000067a: SWAP2
0000067b: POP
0000067c: POP
0000067d: PUSH1 0x40
0000067f: MLOAD
00000680: DUP1
00000681: SWAP2
00000682: SUB
00000683: SWAP1
00000684: RETURN
00000685: JUMPDEST
00000686: CALLVALUE
00000687: DUP1
00000688: ISZERO
00000689: PUSH2 0x0691
0000068c: JUMPI
0000068d: PUSH1 0x00
0000068f: DUP1
00000690: REVERT
00000691: JUMPDEST
00000692: POP
00000693: PUSH2 0x06c8
00000696: PUSH1 0x04
00000698: DUP1
00000699: CALLDATASIZE
0000069a: SUB
0000069b: PUSH1 0x40
0000069d: DUP2
0000069e: LT
0000069f: ISZERO
000006a0: PUSH2 0x06a8
000006a3: JUMPI
000006a4: PUSH1 0x00
000006a6: DUP1
000006a7: REVERT
000006a8: JUMPDEST
000006a9: DUP2
000006aa: ADD
000006ab: SWAP1
000006ac: DUP1
000006ad: DUP1
000006ae: CALLDATALOAD
000006af: SWAP1
000006b0: PUSH1 0x20
000006b2: ADD
000006b3: SWAP1
000006b4: SWAP3
000006b5: SWAP2
000006b6: SWAP1
000006b7: DUP1
000006b8: CALLDATALOAD
000006b9: SWAP1
000006ba: PUSH1 0x20
000006bc: ADD
000006bd: SWAP1
000006be: SWAP3
000006bf: SWAP2
000006c0: SWAP1
000006c1: POP
000006c2: POP
000006c3: POP
000006c4: PUSH2 0x1197
000006c7: JUMP
000006c8: JUMPDEST
000006c9: STOP
000006ca: JUMPDEST
000006cb: CALLVALUE
000006cc: DUP1
000006cd: ISZERO
000006ce: PUSH2 0x06d6
000006d1: JUMPI
000006d2: PUSH1 0x00
000006d4: DUP1
000006d5: REVERT
000006d6: JUMPDEST
000006d7: POP
000006d8: PUSH2 0x06df
000006db: PUSH2 0x1260
000006de: JUMP
000006df: JUMPDEST
000006e0: PUSH1 0x40
000006e2: MLOAD
000006e3: DUP1
000006e4: DUP3
000006e5: DUP2
000006e6: MSTORE
000006e7: PUSH1 0x20
000006e9: ADD
000006ea: SWAP2
000006eb: POP
000006ec: POP
000006ed: PUSH1 0x40
000006ef: MLOAD
000006f0: DUP1
000006f1: SWAP2
000006f2: SUB
000006f3: SWAP1
000006f4: RETURN
000006f5: JUMPDEST
000006f6: PUSH1 0x04
000006f8: SLOAD
000006f9: DUP2
000006fa: JUMP
000006fb: JUMPDEST
000006fc: PUSH1 0x00
000006fe: PUSH1 0x64
00000700: PUSH1 0x03
00000702: SLOAD
00000703: DUP2
00000704: PUSH2 0x0709
00000707: JUMPI
00000708: INVALID
00000709: JUMPDEST
0000070a: DIV
0000070b: SWAP1
0000070c: POP
0000070d: SWAP1
0000070e: JUMP
0000070f: JUMPDEST
00000710: PUSH1 0x01
00000712: SLOAD
00000713: DUP2
00000714: JUMP
00000715: JUMPDEST
00000716: PUSH1 0x00
00000718: PUSH1 0x05
0000071a: PUSH1 0x00
0000071c: CALLER
0000071d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000732: AND
00000733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000748: AND
00000749: DUP2
0000074a: MSTORE
0000074b: PUSH1 0x20
0000074d: ADD
0000074e: SWAP1
0000074f: DUP2
00000750: MSTORE
00000751: PUSH1 0x20
00000753: ADD
00000754: PUSH1 0x00
00000756: KECCAK256
00000757: SWAP1
00000758: POP
00000759: PUSH2 0x0761
0000075c: DUP2
0000075d: PUSH2 0x12a7
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH1 0x00
00000764: DUP2
00000765: PUSH1 0x01
00000767: ADD
00000768: SLOAD
00000769: SWAP1
0000076a: POP
0000076b: PUSH1 0x00
0000076d: DUP2
0000076e: GT
0000076f: PUSH2 0x0777
00000772: JUMPI
00000773: PUSH1 0x00
00000775: DUP1
00000776: REVERT
00000777: JUMPDEST
00000778: PUSH1 0x00
0000077a: DUP3
0000077b: PUSH1 0x01
0000077d: ADD
0000077e: DUP2
0000077f: SWAP1
00000780: SSTORE
00000781: POP
00000782: PUSH2 0x0796
00000785: DUP2
00000786: PUSH1 0x08
00000788: SLOAD
00000789: PUSH2 0x1319
0000078c: SWAP1
0000078d: SWAP2
0000078e: SWAP1
0000078f: PUSH4 0xffffffff
00000794: AND
00000795: JUMP
00000796: JUMPDEST
00000797: PUSH1 0x08
00000799: DUP2
0000079a: SWAP1
0000079b: SSTORE
0000079c: POP
0000079d: CALLER
0000079e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b3: AND
000007b4: PUSH2 0x08fc
000007b7: DUP3
000007b8: SWAP1
000007b9: DUP2
000007ba: ISZERO
000007bb: MUL
000007bc: SWAP1
000007bd: PUSH1 0x40
000007bf: MLOAD
000007c0: PUSH1 0x00
000007c2: PUSH1 0x40
000007c4: MLOAD
000007c5: DUP1
000007c6: DUP4
000007c7: SUB
000007c8: DUP2
000007c9: DUP6
000007ca: DUP9
000007cb: DUP9
000007cc: CALL
000007cd: SWAP4
000007ce: POP
000007cf: POP
000007d0: POP
000007d1: POP
000007d2: ISZERO
000007d3: DUP1
000007d4: ISZERO
000007d5: PUSH2 0x07e2
000007d8: JUMPI
000007d9: RETURNDATASIZE
000007da: PUSH1 0x00
000007dc: DUP1
000007dd: RETURNDATACOPY
000007de: RETURNDATASIZE
000007df: PUSH1 0x00
000007e1: REVERT
000007e2: JUMPDEST
000007e3: POP
000007e4: POP
000007e5: POP
000007e6: JUMP
000007e7: JUMPDEST
000007e8: PUSH1 0x00
000007ea: DUP1
000007eb: CALLER
000007ec: SWAP1
000007ed: POP
000007ee: PUSH1 0x00
000007f0: PUSH2 0x0846
000007f3: PUSH1 0x05
000007f5: PUSH1 0x00
000007f7: DUP5
000007f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080d: AND
0000080e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000823: AND
00000824: DUP2
00000825: MSTORE
00000826: PUSH1 0x20
00000828: ADD
00000829: SWAP1
0000082a: DUP2
0000082b: MSTORE
0000082c: PUSH1 0x20
0000082e: ADD
0000082f: PUSH1 0x00
00000831: KECCAK256
00000832: PUSH1 0x02
00000834: ADD
00000835: SLOAD
00000836: PUSH1 0x07
00000838: SLOAD
00000839: PUSH2 0x1319
0000083c: SWAP1
0000083d: SWAP2
0000083e: SWAP1
0000083f: PUSH4 0xffffffff
00000844: AND
00000845: JUMP
00000846: JUMPDEST
00000847: SWAP1
00000848: POP
00000849: PUSH2 0x0902
0000084c: PUSH8 0x8ac7230489e80000
00000855: PUSH2 0x08a9
00000858: PUSH1 0x05
0000085a: PUSH1 0x00
0000085c: DUP7
0000085d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000872: AND
00000873: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000888: AND
00000889: DUP2
0000088a: MSTORE
0000088b: PUSH1 0x20
0000088d: ADD
0000088e: SWAP1
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x20
00000893: ADD
00000894: PUSH1 0x00
00000896: KECCAK256
00000897: PUSH1 0x00
00000899: ADD
0000089a: SLOAD
0000089b: DUP5
0000089c: PUSH2 0x139c
0000089f: SWAP1
000008a0: SWAP2
000008a1: SWAP1
000008a2: PUSH4 0xffffffff
000008a7: AND
000008a8: JUMP
000008a9: JUMPDEST
000008aa: DUP2
000008ab: PUSH2 0x08b0
000008ae: JUMPI
000008af: INVALID
000008b0: JUMPDEST
000008b1: DIV
000008b2: PUSH1 0x05
000008b4: PUSH1 0x00
000008b6: DUP6
000008b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cc: AND
000008cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e2: AND
000008e3: DUP2
000008e4: MSTORE
000008e5: PUSH1 0x20
000008e7: ADD
000008e8: SWAP1
000008e9: DUP2
000008ea: MSTORE
000008eb: PUSH1 0x20
000008ed: ADD
000008ee: PUSH1 0x00
000008f0: KECCAK256
000008f1: PUSH1 0x01
000008f3: ADD
000008f4: SLOAD
000008f5: PUSH2 0x143c
000008f8: SWAP1
000008f9: SWAP2
000008fa: SWAP1
000008fb: PUSH4 0xffffffff
00000900: AND
00000901: JUMP
00000902: JUMPDEST
00000903: SWAP3
00000904: POP
00000905: POP
00000906: POP
00000907: SWAP1
00000908: JUMP
00000909: JUMPDEST
0000090a: PUSH1 0x08
0000090c: SLOAD
0000090d: DUP2
0000090e: JUMP
0000090f: JUMPDEST
00000910: PUSH2 0x0e10
00000913: PUSH1 0x09
00000915: SLOAD
00000916: TIMESTAMP
00000917: SUB
00000918: GT
00000919: DUP1
0000091a: ISZERO
0000091b: PUSH2 0x0926
0000091e: JUMPI
0000091f: POP
00000920: PUSH1 0x00
00000922: PUSH1 0x04
00000924: SLOAD
00000925: GT
00000926: JUMPDEST
00000927: ISZERO
00000928: PUSH2 0x0934
0000092b: JUMPI
0000092c: PUSH2 0x0933
0000092f: PUSH2 0x0e79
00000932: JUMP
00000933: JUMPDEST
00000934: JUMPDEST
00000935: PUSH2 0x093d
00000938: CALLER
00000939: PUSH2 0x113f
0000093c: JUMP
0000093d: JUMPDEST
0000093e: PUSH2 0x0946
00000941: JUMPI
00000942: PUSH1 0x00
00000944: DUP1
00000945: REVERT
00000946: JUMPDEST
00000947: PUSH2 0x094f
0000094a: CALLER
0000094b: PUSH2 0x14c2
0000094e: JUMP
0000094f: JUMPDEST
00000950: JUMP
00000951: JUMPDEST
00000952: PUSH1 0x03
00000954: SLOAD
00000955: DUP2
00000956: JUMP
00000957: JUMPDEST
00000958: PUSH1 0x05
0000095a: PUSH1 0x20
0000095c: MSTORE
0000095d: DUP1
0000095e: PUSH1 0x00
00000960: MSTORE
00000961: PUSH1 0x40
00000963: PUSH1 0x00
00000965: KECCAK256
00000966: PUSH1 0x00
00000968: SWAP2
00000969: POP
0000096a: SWAP1
0000096b: POP
0000096c: DUP1
0000096d: PUSH1 0x00
0000096f: ADD
00000970: SLOAD
00000971: SWAP1
00000972: DUP1
00000973: PUSH1 0x01
00000975: ADD
00000976: SLOAD
00000977: SWAP1
00000978: DUP1
00000979: PUSH1 0x02
0000097b: ADD
0000097c: SLOAD
0000097d: SWAP1
0000097e: POP
0000097f: DUP4
00000980: JUMP
00000981: JUMPDEST
00000982: PUSH8 0x0de0b6b3a7640000
0000098b: DUP2
0000098c: JUMP
0000098d: JUMPDEST
0000098e: PUSH1 0x06
00000990: PUSH1 0x00
00000992: SWAP1
00000993: SLOAD
00000994: SWAP1
00000995: PUSH2 0x0100
00000998: EXP
00000999: SWAP1
0000099a: DIV
0000099b: PUSH1 0xff
0000099d: AND
0000099e: DUP2
0000099f: JUMP
000009a0: JUMPDEST
000009a1: PUSH1 0x00
000009a3: DUP1
000009a4: PUSH2 0x09b8
000009a7: PUSH1 0x09
000009a9: SLOAD
000009aa: TIMESTAMP
000009ab: PUSH2 0x1319
000009ae: SWAP1
000009af: SWAP2
000009b0: SWAP1
000009b1: PUSH4 0xffffffff
000009b6: AND
000009b7: JUMP
000009b8: JUMPDEST
000009b9: SWAP1
000009ba: POP
000009bb: PUSH2 0x0e10
000009be: DUP2
000009bf: GT
000009c0: PUSH2 0x09dd
000009c3: JUMPI
000009c4: PUSH2 0x09d8
000009c7: DUP2
000009c8: PUSH2 0x0e10
000009cb: PUSH2 0x1319
000009ce: SWAP1
000009cf: SWAP2
000009d0: SWAP1
000009d1: PUSH4 0xffffffff
000009d6: AND
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH2 0x09e0
000009dc: JUMP
000009dd: JUMPDEST
000009de: PUSH1 0x00
000009e0: JUMPDEST
000009e1: SWAP2
000009e2: POP
000009e3: POP
000009e4: SWAP1
000009e5: JUMP
000009e6: JUMPDEST
000009e7: PUSH1 0x00
000009e9: PUSH1 0x20
000009eb: MSTORE
000009ec: DUP1
000009ed: PUSH1 0x00
000009ef: MSTORE
000009f0: PUSH1 0x40
000009f2: PUSH1 0x00
000009f4: KECCAK256
000009f5: PUSH1 0x00
000009f7: SWAP2
000009f8: POP
000009f9: SWAP1
000009fa: POP
000009fb: DUP1
000009fc: PUSH1 0x00
000009fe: ADD
000009ff: SLOAD
00000a00: SWAP1
00000a01: DUP1
00000a02: PUSH1 0x01
00000a04: ADD
00000a05: SLOAD
00000a06: SWAP1
00000a07: DUP1
00000a08: PUSH1 0x02
00000a0a: ADD
00000a0b: SLOAD
00000a0c: SWAP1
00000a0d: DUP1
00000a0e: PUSH1 0x03
00000a10: ADD
00000a11: PUSH1 0x00
00000a13: SWAP1
00000a14: SLOAD
00000a15: SWAP1
00000a16: PUSH2 0x0100
00000a19: EXP
00000a1a: SWAP1
00000a1b: DIV
00000a1c: PUSH1 0xff
00000a1e: AND
00000a1f: SWAP1
00000a20: POP
00000a21: DUP5
00000a22: JUMP
00000a23: JUMPDEST
00000a24: PUSH1 0x00
00000a26: DUP1
00000a27: PUSH1 0x04
00000a29: SLOAD
00000a2a: GT
00000a2b: PUSH2 0x0a35
00000a2e: JUMPI
00000a2f: PUSH1 0x00
00000a31: PUSH2 0x0a97
00000a34: JUMP
00000a35: JUMPDEST
00000a36: PUSH1 0x04
00000a38: SLOAD
00000a39: PUSH2 0x0a8e
00000a3c: PUSH1 0x64
00000a3e: PUSH1 0x05
00000a40: PUSH1 0x00
00000a42: CALLER
00000a43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a58: AND
00000a59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6e: AND
00000a6f: DUP2
00000a70: MSTORE
00000a71: PUSH1 0x20
00000a73: ADD
00000a74: SWAP1
00000a75: DUP2
00000a76: MSTORE
00000a77: PUSH1 0x20
00000a79: ADD
00000a7a: PUSH1 0x00
00000a7c: KECCAK256
00000a7d: PUSH1 0x00
00000a7f: ADD
00000a80: SLOAD
00000a81: PUSH2 0x139c
00000a84: SWAP1
00000a85: SWAP2
00000a86: SWAP1
00000a87: PUSH4 0xffffffff
00000a8c: AND
00000a8d: JUMP
00000a8e: JUMPDEST
00000a8f: DUP2
00000a90: PUSH2 0x0a95
00000a93: JUMPI
00000a94: INVALID
00000a95: JUMPDEST
00000a96: DIV
00000a97: JUMPDEST
00000a98: SWAP1
00000a99: POP
00000a9a: SWAP1
00000a9b: JUMP
00000a9c: JUMPDEST
00000a9d: PUSH1 0x00
00000a9f: PUSH2 0x0acd
00000aa2: DUP4
00000aa3: DUP4
00000aa4: PUSH2 0x0ab7
00000aa7: PUSH1 0x63
00000aa9: DUP8
00000aaa: PUSH2 0x139c
00000aad: SWAP1
00000aae: SWAP2
00000aaf: SWAP1
00000ab0: PUSH4 0xffffffff
00000ab5: AND
00000ab6: JUMP
00000ab7: JUMPDEST
00000ab8: DUP2
00000ab9: PUSH2 0x0abe
00000abc: JUMPI
00000abd: INVALID
00000abe: JUMPDEST
00000abf: DIV
00000ac0: PUSH2 0x1319
00000ac3: SWAP1
00000ac4: SWAP2
00000ac5: SWAP1
00000ac6: PUSH4 0xffffffff
00000acb: AND
00000acc: JUMP
00000acd: JUMPDEST
00000ace: SWAP1
00000acf: POP
00000ad0: SWAP3
00000ad1: SWAP2
00000ad2: POP
00000ad3: POP
00000ad4: JUMP
00000ad5: JUMPDEST
00000ad6: PUSH1 0x00
00000ad8: PUSH1 0x05
00000ada: PUSH1 0x00
00000adc: CALLER
00000add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af2: AND
00000af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b08: AND
00000b09: DUP2
00000b0a: MSTORE
00000b0b: PUSH1 0x20
00000b0d: ADD
00000b0e: SWAP1
00000b0f: DUP2
00000b10: MSTORE
00000b11: PUSH1 0x20
00000b13: ADD
00000b14: PUSH1 0x00
00000b16: KECCAK256
00000b17: PUSH1 0x00
00000b19: ADD
00000b1a: SLOAD
00000b1b: SWAP1
00000b1c: POP
00000b1d: SWAP1
00000b1e: JUMP
00000b1f: JUMPDEST
00000b20: PUSH1 0x00
00000b22: PUSH20 0x058a144951e062fc14f310057d2fd9ef0cf5095b
00000b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4c: AND
00000b4d: PUSH4 0x70a08231
00000b52: CALLER
00000b53: PUSH1 0x40
00000b55: MLOAD
00000b56: DUP3
00000b57: PUSH4 0xffffffff
00000b5c: AND
00000b5d: PUSH1 0xe0
00000b5f: SHL
00000b60: DUP2
00000b61: MSTORE
00000b62: PUSH1 0x04
00000b64: ADD
00000b65: DUP1
00000b66: DUP3
00000b67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7c: AND
00000b7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b92: AND
00000b93: DUP2
00000b94: MSTORE
00000b95: PUSH1 0x20
00000b97: ADD
00000b98: SWAP2
00000b99: POP
00000b9a: POP
00000b9b: PUSH1 0x20
00000b9d: PUSH1 0x40
00000b9f: MLOAD
00000ba0: DUP1
00000ba1: DUP4
00000ba2: SUB
00000ba3: DUP2
00000ba4: DUP7
00000ba5: DUP1
00000ba6: EXTCODESIZE
00000ba7: ISZERO
00000ba8: DUP1
00000ba9: ISZERO
00000baa: PUSH2 0x0bb2
00000bad: JUMPI
00000bae: PUSH1 0x00
00000bb0: DUP1
00000bb1: REVERT
00000bb2: JUMPDEST
00000bb3: POP
00000bb4: GAS
00000bb5: STATICCALL
00000bb6: ISZERO
00000bb7: DUP1
00000bb8: ISZERO
00000bb9: PUSH2 0x0bc6
00000bbc: JUMPI
00000bbd: RETURNDATASIZE
00000bbe: PUSH1 0x00
00000bc0: DUP1
00000bc1: RETURNDATACOPY
00000bc2: RETURNDATASIZE
00000bc3: PUSH1 0x00
00000bc5: REVERT
00000bc6: JUMPDEST
00000bc7: POP
00000bc8: POP
00000bc9: POP
00000bca: POP
00000bcb: PUSH1 0x40
00000bcd: MLOAD
00000bce: RETURNDATASIZE
00000bcf: PUSH1 0x20
00000bd1: DUP2
00000bd2: LT
00000bd3: ISZERO
00000bd4: PUSH2 0x0bdc
00000bd7: JUMPI
00000bd8: PUSH1 0x00
00000bda: DUP1
00000bdb: REVERT
00000bdc: JUMPDEST
00000bdd: DUP2
00000bde: ADD
00000bdf: SWAP1
00000be0: DUP1
00000be1: DUP1
00000be2: MLOAD
00000be3: SWAP1
00000be4: PUSH1 0x20
00000be6: ADD
00000be7: SWAP1
00000be8: SWAP3
00000be9: SWAP2
00000bea: SWAP1
00000beb: POP
00000bec: POP
00000bed: POP
00000bee: SWAP1
00000bef: POP
00000bf0: SWAP1
00000bf1: JUMP
00000bf2: JUMPDEST
00000bf3: PUSH2 0x0e10
00000bf6: PUSH1 0x09
00000bf8: SLOAD
00000bf9: TIMESTAMP
00000bfa: SUB
00000bfb: GT
00000bfc: DUP1
00000bfd: ISZERO
00000bfe: PUSH2 0x0c09
00000c01: JUMPI
00000c02: POP
00000c03: PUSH1 0x00
00000c05: PUSH1 0x04
00000c07: SLOAD
00000c08: GT
00000c09: JUMPDEST
00000c0a: ISZERO
00000c0b: PUSH2 0x0c17
00000c0e: JUMPI
00000c0f: PUSH2 0x0c16
00000c12: PUSH2 0x0e79
00000c15: JUMP
00000c16: JUMPDEST
00000c17: JUMPDEST
00000c18: PUSH1 0x00
00000c1a: PUSH1 0x02
00000c1c: PUSH1 0x00
00000c1e: CALLER
00000c1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c34: AND
00000c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c4a: AND
00000c4b: DUP2
00000c4c: MSTORE
00000c4d: PUSH1 0x20
00000c4f: ADD
00000c50: SWAP1
00000c51: DUP2
00000c52: MSTORE
00000c53: PUSH1 0x20
00000c55: ADD
00000c56: PUSH1 0x00
00000c58: KECCAK256
00000c59: SLOAD
00000c5a: SWAP1
00000c5b: POP
00000c5c: PUSH1 0x00
00000c5e: DUP2
00000c5f: GT
00000c60: PUSH2 0x0c68
00000c63: JUMPI
00000c64: PUSH1 0x00
00000c66: DUP1
00000c67: REVERT
00000c68: JUMPDEST
00000c69: PUSH1 0x00
00000c6b: PUSH1 0x02
00000c6d: PUSH1 0x00
00000c6f: CALLER
00000c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c85: AND
00000c86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9b: AND
00000c9c: DUP2
00000c9d: MSTORE
00000c9e: PUSH1 0x20
00000ca0: ADD
00000ca1: SWAP1
00000ca2: DUP2
00000ca3: MSTORE
00000ca4: PUSH1 0x20
00000ca6: ADD
00000ca7: PUSH1 0x00
00000ca9: KECCAK256
00000caa: DUP2
00000cab: SWAP1
00000cac: SSTORE
00000cad: POP
00000cae: PUSH20 0x058a144951e062fc14f310057d2fd9ef0cf5095b
00000cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd8: AND
00000cd9: PUSH4 0xa9059cbb
00000cde: CALLER
00000cdf: DUP4
00000ce0: PUSH1 0x40
00000ce2: MLOAD
00000ce3: DUP4
00000ce4: PUSH4 0xffffffff
00000ce9: AND
00000cea: PUSH1 0xe0
00000cec: SHL
00000ced: DUP2
00000cee: MSTORE
00000cef: PUSH1 0x04
00000cf1: ADD
00000cf2: DUP1
00000cf3: DUP4
00000cf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d09: AND
00000d0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d1f: AND
00000d20: DUP2
00000d21: MSTORE
00000d22: PUSH1 0x20
00000d24: ADD
00000d25: DUP3
00000d26: DUP2
00000d27: MSTORE
00000d28: PUSH1 0x20
00000d2a: ADD
00000d2b: SWAP3
00000d2c: POP
00000d2d: POP
00000d2e: POP
00000d2f: PUSH1 0x20
00000d31: PUSH1 0x40
00000d33: MLOAD
00000d34: DUP1
00000d35: DUP4
00000d36: SUB
00000d37: DUP2
00000d38: PUSH1 0x00
00000d3a: DUP8
00000d3b: DUP1
00000d3c: EXTCODESIZE
00000d3d: ISZERO
00000d3e: DUP1
00000d3f: ISZERO
00000d40: PUSH2 0x0d48
00000d43: JUMPI
00000d44: PUSH1 0x00
00000d46: DUP1
00000d47: REVERT
00000d48: JUMPDEST
00000d49: POP
00000d4a: GAS
00000d4b: CALL
00000d4c: ISZERO
00000d4d: DUP1
00000d4e: ISZERO
00000d4f: PUSH2 0x0d5c
00000d52: JUMPI
00000d53: RETURNDATASIZE
00000d54: PUSH1 0x00
00000d56: DUP1
00000d57: RETURNDATACOPY
00000d58: RETURNDATASIZE
00000d59: PUSH1 0x00
00000d5b: REVERT
00000d5c: JUMPDEST
00000d5d: POP
00000d5e: POP
00000d5f: POP
00000d60: POP
00000d61: PUSH1 0x40
00000d63: MLOAD
00000d64: RETURNDATASIZE
00000d65: PUSH1 0x20
00000d67: DUP2
00000d68: LT
00000d69: ISZERO
00000d6a: PUSH2 0x0d72
00000d6d: JUMPI
00000d6e: PUSH1 0x00
00000d70: DUP1
00000d71: REVERT
00000d72: JUMPDEST
00000d73: DUP2
00000d74: ADD
00000d75: SWAP1
00000d76: DUP1
00000d77: DUP1
00000d78: MLOAD
00000d79: SWAP1
00000d7a: PUSH1 0x20
00000d7c: ADD
00000d7d: SWAP1
00000d7e: SWAP3
00000d7f: SWAP2
00000d80: SWAP1
00000d81: POP
00000d82: POP
00000d83: POP
00000d84: POP
00000d85: POP
00000d86: JUMP
00000d87: JUMPDEST
00000d88: PUSH2 0x0e10
00000d8b: PUSH1 0x09
00000d8d: SLOAD
00000d8e: TIMESTAMP
00000d8f: SUB
00000d90: GT
00000d91: DUP1
00000d92: ISZERO
00000d93: PUSH2 0x0d9e
00000d96: JUMPI
00000d97: POP
00000d98: PUSH1 0x00
00000d9a: PUSH1 0x04
00000d9c: SLOAD
00000d9d: GT
00000d9e: JUMPDEST
00000d9f: ISZERO
00000da0: PUSH2 0x0dac
00000da3: JUMPI
00000da4: PUSH2 0x0dab
00000da7: PUSH2 0x0e79
00000daa: JUMP
00000dab: JUMPDEST
00000dac: JUMPDEST
00000dad: PUSH20 0x058a144951e062fc14f310057d2fd9ef0cf5095b
00000dc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd7: AND
00000dd8: CALLER
00000dd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dee: AND
00000def: EQ
00000df0: PUSH2 0x0df8
00000df3: JUMPI
00000df4: PUSH1 0x00
00000df6: DUP1
00000df7: REVERT
00000df8: JUMPDEST
00000df9: PUSH1 0x00
00000dfb: PUSH1 0xf8
00000dfd: SHL
00000dfe: DUP3
00000dff: DUP3
00000e00: PUSH1 0x00
00000e02: DUP2
00000e03: DUP2
00000e04: LT
00000e05: PUSH2 0x0e0a
00000e08: JUMPI
00000e09: INVALID
00000e0a: JUMPDEST
00000e0b: SWAP1
00000e0c: POP
00000e0d: ADD
00000e0e: CALLDATALOAD
00000e0f: PUSH1 0xf8
00000e11: SHR
00000e12: PUSH1 0xf8
00000e14: SHL
00000e15: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000e35: NOT
00000e36: AND
00000e37: EQ
00000e38: ISZERO
00000e39: PUSH2 0x0e4b
00000e3c: JUMPI
00000e3d: PUSH2 0x0e46
00000e40: DUP5
00000e41: DUP5
00000e42: PUSH2 0x172e
00000e45: JUMP
00000e46: JUMPDEST
00000e47: PUSH2 0x0e73
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: PUSH2 0x0e72
00000e4f: DUP5
00000e50: DUP5
00000e51: DUP5
00000e52: DUP5
00000e53: PUSH1 0x00
00000e55: DUP2
00000e56: DUP2
00000e57: LT
00000e58: PUSH2 0x0e5d
00000e5b: JUMPI
00000e5c: INVALID
00000e5d: JUMPDEST
00000e5e: SWAP1
00000e5f: POP
00000e60: ADD
00000e61: CALLDATALOAD
00000e62: PUSH1 0xf8
00000e64: SHR
00000e65: PUSH1 0xf8
00000e67: SHL
00000e68: PUSH1 0xf8
00000e6a: SHR
00000e6b: PUSH1 0xff
00000e6d: AND
00000e6e: PUSH2 0x1770
00000e71: JUMP
00000e72: JUMPDEST
00000e73: JUMPDEST
00000e74: POP
00000e75: POP
00000e76: POP
00000e77: POP
00000e78: JUMP
00000e79: JUMPDEST
00000e7a: TIMESTAMP
00000e7b: PUSH1 0x09
00000e7d: DUP2
00000e7e: SWAP1
00000e7f: SSTORE
00000e80: POP
00000e81: PUSH1 0x00
00000e83: PUSH20 0x058a144951e062fc14f310057d2fd9ef0cf5095b
00000e98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ead: AND
00000eae: PUSH4 0x74a76816
00000eb3: ADDRESS
00000eb4: PUSH1 0x01
00000eb6: PUSH1 0x40
00000eb8: MLOAD
00000eb9: DUP4
00000eba: PUSH4 0xffffffff
00000ebf: AND
00000ec0: PUSH1 0xe0
00000ec2: SHL
00000ec3: DUP2
00000ec4: MSTORE
00000ec5: PUSH1 0x04
00000ec7: ADD
00000ec8: DUP1
00000ec9: DUP4
00000eca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000edf: AND
00000ee0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef5: AND
00000ef6: DUP2
00000ef7: MSTORE
00000ef8: PUSH1 0x20
00000efa: ADD
00000efb: DUP3
00000efc: ISZERO
00000efd: ISZERO
00000efe: ISZERO
00000eff: ISZERO
00000f00: DUP2
00000f01: MSTORE
00000f02: PUSH1 0x20
00000f04: ADD
00000f05: SWAP3
00000f06: POP
00000f07: POP
00000f08: POP
00000f09: PUSH1 0x20
00000f0b: PUSH1 0x40
00000f0d: MLOAD
00000f0e: DUP1
00000f0f: DUP4
00000f10: SUB
00000f11: DUP2
00000f12: DUP7
00000f13: DUP1
00000f14: EXTCODESIZE
00000f15: ISZERO
00000f16: DUP1
00000f17: ISZERO
00000f18: PUSH2 0x0f20
00000f1b: JUMPI
00000f1c: PUSH1 0x00
00000f1e: DUP1
00000f1f: REVERT
00000f20: JUMPDEST
00000f21: POP
00000f22: GAS
00000f23: STATICCALL
00000f24: ISZERO
00000f25: DUP1
00000f26: ISZERO
00000f27: PUSH2 0x0f34
00000f2a: JUMPI
00000f2b: RETURNDATASIZE
00000f2c: PUSH1 0x00
00000f2e: DUP1
00000f2f: RETURNDATACOPY
00000f30: RETURNDATASIZE
00000f31: PUSH1 0x00
00000f33: REVERT
00000f34: JUMPDEST
00000f35: POP
00000f36: POP
00000f37: POP
00000f38: POP
00000f39: PUSH1 0x40
00000f3b: MLOAD
00000f3c: RETURNDATASIZE
00000f3d: PUSH1 0x20
00000f3f: DUP2
00000f40: LT
00000f41: ISZERO
00000f42: PUSH2 0x0f4a
00000f45: JUMPI
00000f46: PUSH1 0x00
00000f48: DUP1
00000f49: REVERT
00000f4a: JUMPDEST
00000f4b: DUP2
00000f4c: ADD
00000f4d: SWAP1
00000f4e: DUP1
00000f4f: DUP1
00000f50: MLOAD
00000f51: SWAP1
00000f52: PUSH1 0x20
00000f54: ADD
00000f55: SWAP1
00000f56: SWAP3
00000f57: SWAP2
00000f58: SWAP1
00000f59: POP
00000f5a: POP
00000f5b: POP
00000f5c: SWAP1
00000f5d: POP
00000f5e: PUSH1 0x00
00000f60: DUP2
00000f61: GT
00000f62: ISZERO
00000f63: PUSH2 0x1036
00000f66: JUMPI
00000f67: PUSH20 0x058a144951e062fc14f310057d2fd9ef0cf5095b
00000f7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f91: AND
00000f92: PUSH4 0x3ccfd60b
00000f97: PUSH1 0x40
00000f99: MLOAD
00000f9a: DUP2
00000f9b: PUSH4 0xffffffff
00000fa0: AND
00000fa1: PUSH1 0xe0
00000fa3: SHL
00000fa4: DUP2
00000fa5: MSTORE
00000fa6: PUSH1 0x04
00000fa8: ADD
00000fa9: PUSH1 0x00
00000fab: PUSH1 0x40
00000fad: MLOAD
00000fae: DUP1
00000faf: DUP4
00000fb0: SUB
00000fb1: DUP2
00000fb2: PUSH1 0x00
00000fb4: DUP8
00000fb5: DUP1
00000fb6: EXTCODESIZE
00000fb7: ISZERO
00000fb8: DUP1
00000fb9: ISZERO
00000fba: PUSH2 0x0fc2
00000fbd: JUMPI
00000fbe: PUSH1 0x00
00000fc0: DUP1
00000fc1: REVERT
00000fc2: JUMPDEST
00000fc3: POP
00000fc4: GAS
00000fc5: CALL
00000fc6: ISZERO
00000fc7: DUP1
00000fc8: ISZERO
00000fc9: PUSH2 0x0fd6
00000fcc: JUMPI
00000fcd: RETURNDATASIZE
00000fce: PUSH1 0x00
00000fd0: DUP1
00000fd1: RETURNDATACOPY
00000fd2: RETURNDATASIZE
00000fd3: PUSH1 0x00
00000fd5: REVERT
00000fd6: JUMPDEST
00000fd7: POP
00000fd8: POP
00000fd9: POP
00000fda: POP
00000fdb: PUSH2 0x1014
00000fde: PUSH1 0x04
00000fe0: SLOAD
00000fe1: PUSH2 0x0ffb
00000fe4: PUSH8 0x8ac7230489e80000
00000fed: DUP5
00000fee: PUSH2 0x139c
00000ff1: SWAP1
00000ff2: SWAP2
00000ff3: SWAP1
00000ff4: PUSH4 0xffffffff
00000ff9: AND
00000ffa: JUMP
00000ffb: JUMPDEST
00000ffc: DUP2
00000ffd: PUSH2 0x1002
00001000: JUMPI
00001001: INVALID
00001002: JUMPDEST
00001003: DIV
00001004: PUSH1 0x07
00001006: SLOAD
00001007: PUSH2 0x143c
0000100a: SWAP1
0000100b: SWAP2
0000100c: SWAP1
0000100d: PUSH4 0xffffffff
00001012: AND
00001013: JUMP
00001014: JUMPDEST
00001015: PUSH1 0x07
00001017: DUP2
00001018: SWAP1
00001019: SSTORE
0000101a: POP
0000101b: PUSH2 0x102f
0000101e: DUP2
0000101f: PUSH1 0x08
00001021: SLOAD
00001022: PUSH2 0x143c
00001025: SWAP1
00001026: SWAP2
00001027: SWAP1
00001028: PUSH4 0xffffffff
0000102d: AND
0000102e: JUMP
0000102f: JUMPDEST
00001030: PUSH1 0x08
00001032: DUP2
00001033: SWAP1
00001034: SSTORE
00001035: POP
00001036: JUMPDEST
00001037: POP
00001038: JUMP
00001039: JUMPDEST
0000103a: PUSH1 0x00
0000103c: PUSH20 0x058a144951e062fc14f310057d2fd9ef0cf5095b
00001051: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001066: AND
00001067: PUSH4 0x74a76816
0000106c: ADDRESS
0000106d: PUSH1 0x01
0000106f: PUSH1 0x40
00001071: MLOAD
00001072: DUP4
00001073: PUSH4 0xffffffff
00001078: AND
00001079: PUSH1 0xe0
0000107b: SHL
0000107c: DUP2
0000107d: MSTORE
0000107e: PUSH1 0x04
00001080: ADD
00001081: DUP1
00001082: DUP4
00001083: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001098: AND
00001099: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ae: AND
000010af: DUP2
000010b0: MSTORE
000010b1: PUSH1 0x20
000010b3: ADD
000010b4: DUP3
000010b5: ISZERO
000010b6: ISZERO
000010b7: ISZERO
000010b8: ISZERO
000010b9: DUP2
000010ba: MSTORE
000010bb: PUSH1 0x20
000010bd: ADD
000010be: SWAP3
000010bf: POP
000010c0: POP
000010c1: POP
000010c2: PUSH1 0x20
000010c4: PUSH1 0x40
000010c6: MLOAD
000010c7: DUP1
000010c8: DUP4
000010c9: SUB
000010ca: DUP2
000010cb: DUP7
000010cc: DUP1
000010cd: EXTCODESIZE
000010ce: ISZERO
000010cf: DUP1
000010d0: ISZERO
000010d1: PUSH2 0x10d9
000010d4: JUMPI
000010d5: PUSH1 0x00
000010d7: DUP1
000010d8: REVERT
000010d9: JUMPDEST
000010da: POP
000010db: GAS
000010dc: STATICCALL
000010dd: ISZERO
000010de: DUP1
000010df: ISZERO
000010e0: PUSH2 0x10ed
000010e3: JUMPI
000010e4: RETURNDATASIZE
000010e5: PUSH1 0x00
000010e7: DUP1
000010e8: RETURNDATACOPY
000010e9: RETURNDATASIZE
000010ea: PUSH1 0x00
000010ec: REVERT
000010ed: JUMPDEST
000010ee: POP
000010ef: POP
000010f0: POP
000010f1: POP
000010f2: PUSH1 0x40
000010f4: MLOAD
000010f5: RETURNDATASIZE
000010f6: PUSH1 0x20
000010f8: DUP2
000010f9: LT
000010fa: ISZERO
000010fb: PUSH2 0x1103
000010fe: JUMPI
000010ff: PUSH1 0x00
00001101: DUP1
00001102: REVERT
00001103: JUMPDEST
00001104: DUP2
00001105: ADD
00001106: SWAP1
00001107: DUP1
00001108: DUP1
00001109: MLOAD
0000110a: SWAP1
0000110b: PUSH1 0x20
0000110d: ADD
0000110e: SWAP1
0000110f: SWAP3
00001110: SWAP2
00001111: SWAP1
00001112: POP
00001113: POP
00001114: POP
00001115: SWAP1
00001116: POP
00001117: SWAP1
00001118: JUMP
00001119: JUMPDEST
0000111a: PUSH1 0x00
0000111c: PUSH2 0x113a
0000111f: PUSH1 0x04
00001121: SLOAD
00001122: PUSH10 0x043c33c1937564800000
0000112d: PUSH2 0x1319
00001130: SWAP1
00001131: SWAP2
00001132: SWAP1
00001133: PUSH4 0xffffffff
00001138: AND
00001139: JUMP
0000113a: JUMPDEST
0000113b: SWAP1
0000113c: POP
0000113d: SWAP1
0000113e: JUMP
0000113f: JUMPDEST
00001140: PUSH1 0x00
00001142: DUP1
00001143: PUSH1 0x00
00001145: DUP4
00001146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115b: AND
0000115c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001171: AND
00001172: DUP2
00001173: MSTORE
00001174: PUSH1 0x20
00001176: ADD
00001177: SWAP1
00001178: DUP2
00001179: MSTORE
0000117a: PUSH1 0x20
0000117c: ADD
0000117d: PUSH1 0x00
0000117f: KECCAK256
00001180: PUSH1 0x03
00001182: ADD
00001183: PUSH1 0x00
00001185: SWAP1
00001186: SLOAD
00001187: SWAP1
00001188: PUSH2 0x0100
0000118b: EXP
0000118c: SWAP1
0000118d: DIV
0000118e: PUSH1 0xff
00001190: AND
00001191: SWAP1
00001192: POP
00001193: SWAP2
00001194: SWAP1
00001195: POP
00001196: JUMP
00001197: JUMPDEST
00001198: PUSH2 0x0e10
0000119b: PUSH1 0x09
0000119d: SLOAD
0000119e: TIMESTAMP
0000119f: SUB
000011a0: GT
000011a1: DUP1
000011a2: ISZERO
000011a3: PUSH2 0x11ae
000011a6: JUMPI
000011a7: POP
000011a8: PUSH1 0x00
000011aa: PUSH1 0x04
000011ac: SLOAD
000011ad: GT
000011ae: JUMPDEST
000011af: ISZERO
000011b0: PUSH2 0x11bc
000011b3: JUMPI
000011b4: PUSH2 0x11bb
000011b7: PUSH2 0x0e79
000011ba: JUMP
000011bb: JUMPDEST
000011bc: JUMPDEST
000011bd: PUSH2 0x120e
000011c0: DUP3
000011c1: PUSH1 0x02
000011c3: PUSH1 0x00
000011c5: CALLER
000011c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011db: AND
000011dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011f1: AND
000011f2: DUP2
000011f3: MSTORE
000011f4: PUSH1 0x20
000011f6: ADD
000011f7: SWAP1
000011f8: DUP2
000011f9: MSTORE
000011fa: PUSH1 0x20
000011fc: ADD
000011fd: PUSH1 0x00
000011ff: KECCAK256
00001200: SLOAD
00001201: PUSH2 0x1319
00001204: SWAP1
00001205: SWAP2
00001206: SWAP1
00001207: PUSH4 0xffffffff
0000120c: AND
0000120d: JUMP
0000120e: JUMPDEST
0000120f: PUSH1 0x02
00001211: PUSH1 0x00
00001213: CALLER
00001214: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001229: AND
0000122a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000123f: AND
00001240: DUP2
00001241: MSTORE
00001242: PUSH1 0x20
00001244: ADD
00001245: SWAP1
00001246: DUP2
00001247: MSTORE
00001248: PUSH1 0x20
0000124a: ADD
0000124b: PUSH1 0x00
0000124d: KECCAK256
0000124e: DUP2
0000124f: SWAP1
00001250: SSTORE
00001251: POP
00001252: PUSH2 0x125c
00001255: CALLER
00001256: DUP4
00001257: DUP4
00001258: PUSH2 0x1770
0000125b: JUMP
0000125c: JUMPDEST
0000125d: POP
0000125e: POP
0000125f: JUMP
00001260: JUMPDEST
00001261: PUSH1 0x00
00001263: PUSH1 0x02
00001265: PUSH1 0x00
00001267: CALLER
00001268: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127d: AND
0000127e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001293: AND
00001294: DUP2
00001295: MSTORE
00001296: PUSH1 0x20
00001298: ADD
00001299: SWAP1
0000129a: DUP2
0000129b: MSTORE
0000129c: PUSH1 0x20
0000129e: ADD
0000129f: PUSH1 0x00
000012a1: KECCAK256
000012a2: SLOAD
000012a3: SWAP1
000012a4: POP
000012a5: SWAP1
000012a6: JUMP
000012a7: JUMPDEST
000012a8: PUSH1 0x00
000012aa: PUSH2 0x12c2
000012ad: DUP3
000012ae: PUSH1 0x02
000012b0: ADD
000012b1: SLOAD
000012b2: PUSH1 0x07
000012b4: SLOAD
000012b5: PUSH2 0x1319
000012b8: SWAP1
000012b9: SWAP2
000012ba: SWAP1
000012bb: PUSH4 0xffffffff
000012c0: AND
000012c1: JUMP
000012c2: JUMPDEST
000012c3: SWAP1
000012c4: POP
000012c5: PUSH1 0x07
000012c7: SLOAD
000012c8: DUP3
000012c9: PUSH1 0x02
000012cb: ADD
000012cc: DUP2
000012cd: SWAP1
000012ce: SSTORE
000012cf: POP
000012d0: PUSH2 0x130d
000012d3: PUSH8 0x8ac7230489e80000
000012dc: PUSH2 0x12f2
000012df: DUP5
000012e0: PUSH1 0x00
000012e2: ADD
000012e3: SLOAD
000012e4: DUP5
000012e5: PUSH2 0x139c
000012e8: SWAP1
000012e9: SWAP2
000012ea: SWAP1
000012eb: PUSH4 0xffffffff
000012f0: AND
000012f1: JUMP
000012f2: JUMPDEST
000012f3: DUP2
000012f4: PUSH2 0x12f9
000012f7: JUMPI
000012f8: INVALID
000012f9: JUMPDEST
000012fa: DIV
000012fb: DUP4
000012fc: PUSH1 0x01
000012fe: ADD
000012ff: SLOAD
00001300: PUSH2 0x143c
00001303: SWAP1
00001304: SWAP2
00001305: SWAP1
00001306: PUSH4 0xffffffff
0000130b: AND
0000130c: JUMP
0000130d: JUMPDEST
0000130e: DUP3
0000130f: PUSH1 0x01
00001311: ADD
00001312: DUP2
00001313: SWAP1
00001314: SSTORE
00001315: POP
00001316: POP
00001317: POP
00001318: JUMP
00001319: JUMPDEST
0000131a: PUSH1 0x00
0000131c: DUP3
0000131d: DUP3
0000131e: GT
0000131f: ISZERO
00001320: PUSH2 0x1391
00001323: JUMPI
00001324: PUSH1 0x40
00001326: MLOAD
00001327: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001348: DUP2
00001349: MSTORE
0000134a: PUSH1 0x04
0000134c: ADD
0000134d: DUP1
0000134e: DUP1
0000134f: PUSH1 0x20
00001351: ADD
00001352: DUP3
00001353: DUP2
00001354: SUB
00001355: DUP3
00001356: MSTORE
00001357: PUSH1 0x13
00001359: DUP2
0000135a: MSTORE
0000135b: PUSH1 0x20
0000135d: ADD
0000135e: DUP1
0000135f: PUSH32 0x536166654d61746820737562206661696c656400000000000000000000000000
00001380: DUP2
00001381: MSTORE
00001382: POP
00001383: PUSH1 0x20
00001385: ADD
00001386: SWAP2
00001387: POP
00001388: POP
00001389: PUSH1 0x40
0000138b: MLOAD
0000138c: DUP1
0000138d: SWAP2
0000138e: SUB
0000138f: SWAP1
00001390: REVERT
00001391: JUMPDEST
00001392: DUP2
00001393: DUP4
00001394: SUB
00001395: SWAP1
00001396: POP
00001397: SWAP3
00001398: SWAP2
00001399: POP
0000139a: POP
0000139b: JUMP
0000139c: JUMPDEST
0000139d: PUSH1 0x00
0000139f: DUP1
000013a0: DUP4
000013a1: EQ
000013a2: ISZERO
000013a3: PUSH2 0x13af
000013a6: JUMPI
000013a7: PUSH1 0x00
000013a9: SWAP1
000013aa: POP
000013ab: PUSH2 0x1436
000013ae: JUMP
000013af: JUMPDEST
000013b0: DUP2
000013b1: DUP4
000013b2: MUL
000013b3: SWAP1
000013b4: POP
000013b5: DUP2
000013b6: DUP4
000013b7: DUP3
000013b8: DUP2
000013b9: PUSH2 0x13be
000013bc: JUMPI
000013bd: INVALID
000013be: JUMPDEST
000013bf: DIV
000013c0: EQ
000013c1: PUSH2 0x1432
000013c4: JUMPI
000013c5: PUSH1 0x40
000013c7: MLOAD
000013c8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013e9: DUP2
000013ea: MSTORE
000013eb: PUSH1 0x04
000013ed: ADD
000013ee: DUP1
000013ef: DUP1
000013f0: PUSH1 0x20
000013f2: ADD
000013f3: DUP3
000013f4: DUP2
000013f5: SUB
000013f6: DUP3
000013f7: MSTORE
000013f8: PUSH1 0x13
000013fa: DUP2
000013fb: MSTORE
000013fc: PUSH1 0x20
000013fe: ADD
000013ff: DUP1
00001400: PUSH32 0x536166654d617468206d756c206661696c656400000000000000000000000000
00001421: DUP2
00001422: MSTORE
00001423: POP
00001424: PUSH1 0x20
00001426: ADD
00001427: SWAP2
00001428: POP
00001429: POP
0000142a: PUSH1 0x40
0000142c: MLOAD
0000142d: DUP1
0000142e: SWAP2
0000142f: SUB
00001430: SWAP1
00001431: REVERT
00001432: JUMPDEST
00001433: DUP1
00001434: SWAP1
00001435: POP
00001436: JUMPDEST
00001437: SWAP3
00001438: SWAP2
00001439: POP
0000143a: POP
0000143b: JUMP
0000143c: JUMPDEST
0000143d: PUSH1 0x00
0000143f: DUP2
00001440: DUP4
00001441: ADD
00001442: SWAP1
00001443: POP
00001444: DUP3
00001445: DUP2
00001446: LT
00001447: ISZERO
00001448: PUSH2 0x14b9
0000144b: JUMPI
0000144c: PUSH1 0x40
0000144e: MLOAD
0000144f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001470: DUP2
00001471: MSTORE
00001472: PUSH1 0x04
00001474: ADD
00001475: DUP1
00001476: DUP1
00001477: PUSH1 0x20
00001479: ADD
0000147a: DUP3
0000147b: DUP2
0000147c: SUB
0000147d: DUP3
0000147e: MSTORE
0000147f: PUSH1 0x13
00001481: DUP2
00001482: MSTORE
00001483: PUSH1 0x20
00001485: ADD
00001486: DUP1
00001487: PUSH32 0x536166654d61746820616464206661696c656400000000000000000000000000
000014a8: DUP2
000014a9: MSTORE
000014aa: POP
000014ab: PUSH1 0x20
000014ad: ADD
000014ae: SWAP2
000014af: POP
000014b0: POP
000014b1: PUSH1 0x40
000014b3: MLOAD
000014b4: DUP1
000014b5: SWAP2
000014b6: SUB
000014b7: SWAP1
000014b8: REVERT
000014b9: JUMPDEST
000014ba: DUP1
000014bb: SWAP1
000014bc: POP
000014bd: SWAP3
000014be: SWAP2
000014bf: POP
000014c0: POP
000014c1: JUMP
000014c2: JUMPDEST
000014c3: PUSH1 0x00
000014c5: DUP1
000014c6: PUSH1 0x00
000014c8: DUP4
000014c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014de: AND
000014df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f4: AND
000014f5: DUP2
000014f6: MSTORE
000014f7: PUSH1 0x20
000014f9: ADD
000014fa: SWAP1
000014fb: DUP2
000014fc: MSTORE
000014fd: PUSH1 0x20
000014ff: ADD
00001500: PUSH1 0x00
00001502: KECCAK256
00001503: SWAP1
00001504: POP
00001505: NUMBER
00001506: DUP2
00001507: PUSH1 0x02
00001509: ADD
0000150a: SLOAD
0000150b: LT
0000150c: PUSH2 0x1514
0000150f: JUMPI
00001510: PUSH1 0x00
00001512: DUP1
00001513: REVERT
00001514: JUMPDEST
00001515: PUSH1 0x00
00001517: DUP2
00001518: PUSH1 0x03
0000151a: ADD
0000151b: PUSH1 0x00
0000151d: PUSH2 0x0100
00001520: EXP
00001521: DUP2
00001522: SLOAD
00001523: DUP2
00001524: PUSH1 0xff
00001526: MUL
00001527: NOT
00001528: AND
00001529: SWAP1
0000152a: DUP4
0000152b: ISZERO
0000152c: ISZERO
0000152d: MUL
0000152e: OR
0000152f: SWAP1
00001530: SSTORE
00001531: POP
00001532: DUP1
00001533: PUSH1 0x02
00001535: ADD
00001536: SLOAD
00001537: PUSH2 0x0100
0000153a: NUMBER
0000153b: SUB
0000153c: GT
0000153d: ISZERO
0000153e: PUSH2 0x158f
00001541: JUMPI
00001542: DUP1
00001543: PUSH1 0x00
00001545: ADD
00001546: SLOAD
00001547: DUP3
00001548: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155d: AND
0000155e: PUSH32 0x8327b49305e32e98cdf5f1f42dad9ad03e93774bc01017b84bb42f39da624235
0000157f: PUSH1 0x40
00001581: MLOAD
00001582: PUSH1 0x40
00001584: MLOAD
00001585: DUP1
00001586: SWAP2
00001587: SUB
00001588: SWAP1
00001589: LOG3
0000158a: POP
0000158b: PUSH2 0x172b
0000158e: JUMP
0000158f: JUMPDEST
00001590: PUSH1 0x00
00001592: PUSH1 0x01
00001594: PUSH1 0x64
00001596: DUP4
00001597: PUSH1 0x02
00001599: ADD
0000159a: SLOAD
0000159b: BLOCKHASH
0000159c: PUSH1 0x00
0000159e: SHR
0000159f: DUP2
000015a0: PUSH2 0x15a5
000015a3: JUMPI
000015a4: INVALID
000015a5: JUMPDEST
000015a6: MOD
000015a7: ADD
000015a8: SWAP1
000015a9: POP
000015aa: DUP2
000015ab: PUSH1 0x01
000015ad: ADD
000015ae: SLOAD
000015af: DUP2
000015b0: GT
000015b1: PUSH2 0x16de
000015b4: JUMPI
000015b5: PUSH1 0x00
000015b7: DUP3
000015b8: PUSH1 0x01
000015ba: ADD
000015bb: SLOAD
000015bc: PUSH2 0x15d3
000015bf: PUSH1 0x63
000015c1: DUP6
000015c2: PUSH1 0x00
000015c4: ADD
000015c5: SLOAD
000015c6: PUSH2 0x139c
000015c9: SWAP1
000015ca: SWAP2
000015cb: SWAP1
000015cc: PUSH4 0xffffffff
000015d1: AND
000015d2: JUMP
000015d3: JUMPDEST
000015d4: DUP2
000015d5: PUSH2 0x15da
000015d8: JUMPI
000015d9: INVALID
000015da: JUMPDEST
000015db: DIV
000015dc: SWAP1
000015dd: POP
000015de: PUSH2 0x162f
000015e1: DUP2
000015e2: PUSH1 0x02
000015e4: PUSH1 0x00
000015e6: DUP8
000015e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015fc: AND
000015fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001612: AND
00001613: DUP2
00001614: MSTORE
00001615: PUSH1 0x20
00001617: ADD
00001618: SWAP1
00001619: DUP2
0000161a: MSTORE
0000161b: PUSH1 0x20
0000161d: ADD
0000161e: PUSH1 0x00
00001620: KECCAK256
00001621: SLOAD
00001622: PUSH2 0x143c
00001625: SWAP1
00001626: SWAP2
00001627: SWAP1
00001628: PUSH4 0xffffffff
0000162d: AND
0000162e: JUMP
0000162f: JUMPDEST
00001630: PUSH1 0x02
00001632: PUSH1 0x00
00001634: DUP7
00001635: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000164a: AND
0000164b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001660: AND
00001661: DUP2
00001662: MSTORE
00001663: PUSH1 0x20
00001665: ADD
00001666: SWAP1
00001667: DUP2
00001668: MSTORE
00001669: PUSH1 0x20
0000166b: ADD
0000166c: PUSH1 0x00
0000166e: KECCAK256
0000166f: DUP2
00001670: SWAP1
00001671: SSTORE
00001672: POP
00001673: PUSH2 0x1687
00001676: DUP2
00001677: PUSH1 0x03
00001679: SLOAD
0000167a: PUSH2 0x1319
0000167d: SWAP1
0000167e: SWAP2
0000167f: SWAP1
00001680: PUSH4 0xffffffff
00001685: AND
00001686: JUMP
00001687: JUMPDEST
00001688: PUSH1 0x03
0000168a: DUP2
0000168b: SWAP1
0000168c: SSTORE
0000168d: POP
0000168e: DUP3
0000168f: PUSH1 0x00
00001691: ADD
00001692: SLOAD
00001693: DUP2
00001694: SUB
00001695: DUP3
00001696: DUP6
00001697: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ac: AND
000016ad: PUSH32 0x1547adaaf63fc61e99e29577a820d1c7626e8de63d1cb5830d0edbf3951aeb5c
000016ce: PUSH1 0x40
000016d0: MLOAD
000016d1: PUSH1 0x40
000016d3: MLOAD
000016d4: DUP1
000016d5: SWAP2
000016d6: SUB
000016d7: SWAP1
000016d8: LOG4
000016d9: POP
000016da: PUSH2 0x1728
000016dd: JUMP
000016de: JUMPDEST
000016df: DUP2
000016e0: PUSH1 0x00
000016e2: ADD
000016e3: SLOAD
000016e4: DUP2
000016e5: DUP5
000016e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016fb: AND
000016fc: PUSH32 0x68968dce3e47f9519d4b1886045d266b13a87545a0831788b35556bbf8abb6c7
0000171d: PUSH1 0x40
0000171f: MLOAD
00001720: PUSH1 0x40
00001722: MLOAD
00001723: DUP1
00001724: SWAP2
00001725: SUB
00001726: SWAP1
00001727: LOG4
00001728: JUMPDEST
00001729: POP
0000172a: POP
0000172b: JUMPDEST
0000172c: POP
0000172d: JUMP
0000172e: JUMPDEST
0000172f: PUSH1 0x06
00001731: PUSH1 0x00
00001733: SWAP1
00001734: SLOAD
00001735: SWAP1
00001736: PUSH2 0x0100
00001739: EXP
0000173a: SWAP1
0000173b: DIV
0000173c: PUSH1 0xff
0000173e: AND
0000173f: PUSH2 0x1747
00001742: JUMPI
00001743: PUSH1 0x00
00001745: DUP1
00001746: REVERT
00001747: JUMPDEST
00001748: PUSH2 0x175c
0000174b: DUP2
0000174c: PUSH1 0x03
0000174e: SLOAD
0000174f: PUSH2 0x143c
00001752: SWAP1
00001753: SWAP2
00001754: SWAP1
00001755: PUSH4 0xffffffff
0000175a: AND
0000175b: JUMP
0000175c: JUMPDEST
0000175d: PUSH1 0x03
0000175f: DUP2
00001760: SWAP1
00001761: SSTORE
00001762: POP
00001763: PUSH2 0x176c
00001766: DUP3
00001767: DUP3
00001768: PUSH2 0x18e1
0000176b: JUMP
0000176c: JUMPDEST
0000176d: POP
0000176e: POP
0000176f: JUMP
00001770: JUMPDEST
00001771: PUSH1 0x01
00001773: DUP2
00001774: LT
00001775: ISZERO
00001776: DUP1
00001777: ISZERO
00001778: PUSH2 0x1782
0000177b: JUMPI
0000177c: POP
0000177d: PUSH1 0x62
0000177f: DUP2
00001780: GT
00001781: ISZERO
00001782: JUMPDEST
00001783: PUSH2 0x178b
00001786: JUMPI
00001787: PUSH1 0x00
00001789: DUP1
0000178a: REVERT
0000178b: JUMPDEST
0000178c: PUSH8 0x0de0b6b3a7640000
00001795: DUP3
00001796: LT
00001797: ISZERO
00001798: PUSH2 0x17a0
0000179b: JUMPI
0000179c: PUSH1 0x00
0000179e: DUP1
0000179f: REVERT
000017a0: JUMPDEST
000017a1: PUSH2 0x17a9
000017a4: DUP4
000017a5: PUSH2 0x113f
000017a8: JUMP
000017a9: JUMPDEST
000017aa: ISZERO
000017ab: PUSH2 0x17b8
000017ae: JUMPI
000017af: PUSH2 0x17b7
000017b2: DUP4
000017b3: PUSH2 0x14c2
000017b6: JUMP
000017b7: JUMPDEST
000017b8: JUMPDEST
000017b9: PUSH1 0x00
000017bb: PUSH2 0x17c4
000017be: DUP4
000017bf: DUP4
000017c0: PUSH2 0x0a9c
000017c3: JUMP
000017c4: JUMPDEST
000017c5: SWAP1
000017c6: POP
000017c7: PUSH2 0x17ce
000017ca: PUSH2 0x06fb
000017cd: JUMP
000017ce: JUMPDEST
000017cf: DUP2
000017d0: GT
000017d1: ISZERO
000017d2: PUSH2 0x17da
000017d5: JUMPI
000017d6: PUSH1 0x00
000017d8: DUP1
000017d9: REVERT
000017da: JUMPDEST
000017db: PUSH1 0x40
000017dd: MLOAD
000017de: DUP1
000017df: PUSH1 0x80
000017e1: ADD
000017e2: PUSH1 0x40
000017e4: MSTORE
000017e5: DUP1
000017e6: DUP5
000017e7: DUP2
000017e8: MSTORE
000017e9: PUSH1 0x20
000017eb: ADD
000017ec: DUP4
000017ed: DUP2
000017ee: MSTORE
000017ef: PUSH1 0x20
000017f1: ADD
000017f2: PUSH1 0x01
000017f4: NUMBER
000017f5: ADD
000017f6: DUP2
000017f7: MSTORE
000017f8: PUSH1 0x20
000017fa: ADD
000017fb: PUSH1 0x01
000017fd: ISZERO
000017fe: ISZERO
000017ff: DUP2
00001800: MSTORE
00001801: POP
00001802: PUSH1 0x00
00001804: DUP1
00001805: DUP7
00001806: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181b: AND
0000181c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001831: AND
00001832: DUP2
00001833: MSTORE
00001834: PUSH1 0x20
00001836: ADD
00001837: SWAP1
00001838: DUP2
00001839: MSTORE
0000183a: PUSH1 0x20
0000183c: ADD
0000183d: PUSH1 0x00
0000183f: KECCAK256
00001840: PUSH1 0x00
00001842: DUP3
00001843: ADD
00001844: MLOAD
00001845: DUP2
00001846: PUSH1 0x00
00001848: ADD
00001849: SSTORE
0000184a: PUSH1 0x20
0000184c: DUP3
0000184d: ADD
0000184e: MLOAD
0000184f: DUP2
00001850: PUSH1 0x01
00001852: ADD
00001853: SSTORE
00001854: PUSH1 0x40
00001856: DUP3
00001857: ADD
00001858: MLOAD
00001859: DUP2
0000185a: PUSH1 0x02
0000185c: ADD
0000185d: SSTORE
0000185e: PUSH1 0x60
00001860: DUP3
00001861: ADD
00001862: MLOAD
00001863: DUP2
00001864: PUSH1 0x03
00001866: ADD
00001867: PUSH1 0x00
00001869: PUSH2 0x0100
0000186c: EXP
0000186d: DUP2
0000186e: SLOAD
0000186f: DUP2
00001870: PUSH1 0xff
00001872: MUL
00001873: NOT
00001874: AND
00001875: SWAP1
00001876: DUP4
00001877: ISZERO
00001878: ISZERO
00001879: MUL
0000187a: OR
0000187b: SWAP1
0000187c: SSTORE
0000187d: POP
0000187e: SWAP1
0000187f: POP
00001880: POP
00001881: PUSH1 0x01
00001883: PUSH1 0x00
00001885: DUP2
00001886: SLOAD
00001887: DUP1
00001888: SWAP3
00001889: SWAP2
0000188a: SWAP1
0000188b: PUSH1 0x01
0000188d: ADD
0000188e: SWAP2
0000188f: SWAP1
00001890: POP
00001891: SSTORE
00001892: POP
00001893: PUSH2 0x18a7
00001896: DUP4
00001897: PUSH1 0x03
00001899: SLOAD
0000189a: PUSH2 0x143c
0000189d: SWAP1
0000189e: SWAP2
0000189f: SWAP1
000018a0: PUSH4 0xffffffff
000018a5: AND
000018a6: JUMP
000018a7: JUMPDEST
000018a8: PUSH1 0x03
000018aa: DUP2
000018ab: SWAP1
000018ac: SSTORE
000018ad: POP
000018ae: PUSH1 0x06
000018b0: PUSH1 0x00
000018b2: SWAP1
000018b3: SLOAD
000018b4: SWAP1
000018b5: PUSH2 0x0100
000018b8: EXP
000018b9: SWAP1
000018ba: DIV
000018bb: PUSH1 0xff
000018bd: AND
000018be: ISZERO
000018bf: PUSH2 0x18db
000018c2: JUMPI
000018c3: PUSH2 0x18da
000018c6: DUP5
000018c7: DUP5
000018c8: DUP4
000018c9: LT
000018ca: PUSH2 0x18d3
000018cd: JUMPI
000018ce: DUP5
000018cf: PUSH2 0x18d5
000018d2: JUMP
000018d3: JUMPDEST
000018d4: DUP3
000018d5: JUMPDEST
000018d6: PUSH2 0x18e1
000018d9: JUMP
000018da: JUMPDEST
000018db: JUMPDEST
000018dc: POP
000018dd: POP
000018de: POP
000018df: POP
000018e0: JUMP
000018e1: JUMPDEST
000018e2: PUSH1 0x00
000018e4: PUSH10 0x043c33c1937564800000
000018ef: PUSH2 0x1903
000018f2: DUP4
000018f3: PUSH1 0x04
000018f5: SLOAD
000018f6: PUSH2 0x143c
000018f9: SWAP1
000018fa: SWAP2
000018fb: SWAP1
000018fc: PUSH4 0xffffffff
00001901: AND
00001902: JUMP
00001903: JUMPDEST
00001904: LT
00001905: ISZERO
00001906: PUSH2 0x1911
00001909: JUMPI
0000190a: DUP2
0000190b: SWAP1
0000190c: POP
0000190d: PUSH2 0x194e
00001910: JUMP
00001911: JUMPDEST
00001912: PUSH2 0x1930
00001915: PUSH1 0x04
00001917: SLOAD
00001918: PUSH10 0x043c33c1937564800000
00001923: PUSH2 0x1319
00001926: SWAP1
00001927: SWAP2
00001928: SWAP1
00001929: PUSH4 0xffffffff
0000192e: AND
0000192f: JUMP
00001930: JUMPDEST
00001931: SWAP1
00001932: POP
00001933: PUSH1 0x00
00001935: PUSH1 0x06
00001937: PUSH1 0x00
00001939: PUSH2 0x0100
0000193c: EXP
0000193d: DUP2
0000193e: SLOAD
0000193f: DUP2
00001940: PUSH1 0xff
00001942: MUL
00001943: NOT
00001944: AND
00001945: SWAP1
00001946: DUP4
00001947: ISZERO
00001948: ISZERO
00001949: MUL
0000194a: OR
0000194b: SWAP1
0000194c: SSTORE
0000194d: POP
0000194e: JUMPDEST
0000194f: PUSH1 0x00
00001951: PUSH1 0x05
00001953: PUSH1 0x00
00001955: DUP6
00001956: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000196b: AND
0000196c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001981: AND
00001982: DUP2
00001983: MSTORE
00001984: PUSH1 0x20
00001986: ADD
00001987: SWAP1
00001988: DUP2
00001989: MSTORE
0000198a: PUSH1 0x20
0000198c: ADD
0000198d: PUSH1 0x00
0000198f: KECCAK256
00001990: SWAP1
00001991: POP
00001992: PUSH1 0x00
00001994: PUSH1 0x05
00001996: PUSH1 0x00
00001998: PUSH20 0x1eb2acb92624da2e601eeb77e2508b32e49012ef
000019ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c2: AND
000019c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d8: AND
000019d9: DUP2
000019da: MSTORE
000019db: PUSH1 0x20
000019dd: ADD
000019de: SWAP1
000019df: DUP2
000019e0: MSTORE
000019e1: PUSH1 0x20
000019e3: ADD
000019e4: PUSH1 0x00
000019e6: KECCAK256
000019e7: SWAP1
000019e8: POP
000019e9: PUSH2 0x19f1
000019ec: DUP3
000019ed: PUSH2 0x12a7
000019f0: JUMP
000019f1: JUMPDEST
000019f2: PUSH2 0x19fa
000019f5: DUP2
000019f6: PUSH2 0x12a7
000019f9: JUMP
000019fa: JUMPDEST
000019fb: PUSH2 0x1a0f
000019fe: DUP4
000019ff: PUSH1 0x04
00001a01: SLOAD
00001a02: PUSH2 0x143c
00001a05: SWAP1
00001a06: SWAP2
00001a07: SWAP1
00001a08: PUSH4 0xffffffff
00001a0d: AND
00001a0e: JUMP
00001a0f: JUMPDEST
00001a10: PUSH1 0x04
00001a12: DUP2
00001a13: SWAP1
00001a14: SSTORE
00001a15: POP
00001a16: PUSH2 0x1a49
00001a19: PUSH1 0x14
00001a1b: PUSH2 0x1a2e
00001a1e: PUSH1 0x13
00001a20: DUP7
00001a21: PUSH2 0x139c
00001a24: SWAP1
00001a25: SWAP2
00001a26: SWAP1
00001a27: PUSH4 0xffffffff
00001a2c: AND
00001a2d: JUMP
00001a2e: JUMPDEST
00001a2f: DUP2
00001a30: PUSH2 0x1a35
00001a33: JUMPI
00001a34: INVALID
00001a35: JUMPDEST
00001a36: DIV
00001a37: DUP4
00001a38: PUSH1 0x00
00001a3a: ADD
00001a3b: SLOAD
00001a3c: PUSH2 0x143c
00001a3f: SWAP1
00001a40: SWAP2
00001a41: SWAP1
00001a42: PUSH4 0xffffffff
00001a47: AND
00001a48: JUMP
00001a49: JUMPDEST
00001a4a: DUP3
00001a4b: PUSH1 0x00
00001a4d: ADD
00001a4e: DUP2
00001a4f: SWAP1
00001a50: SSTORE
00001a51: POP
00001a52: PUSH2 0x1a72
00001a55: PUSH1 0x14
00001a57: DUP5
00001a58: DUP2
00001a59: PUSH2 0x1a5e
00001a5c: JUMPI
00001a5d: INVALID
00001a5e: JUMPDEST
00001a5f: DIV
00001a60: DUP3
00001a61: PUSH1 0x00
00001a63: ADD
00001a64: SLOAD
00001a65: PUSH2 0x143c
00001a68: SWAP1
00001a69: SWAP2
00001a6a: SWAP1
00001a6b: PUSH4 0xffffffff
00001a70: AND
00001a71: JUMP
00001a72: JUMPDEST
00001a73: DUP2
00001a74: PUSH1 0x00
00001a76: ADD
00001a77: DUP2
00001a78: SWAP1
00001a79: SSTORE
00001a7a: POP
00001a7b: DUP3
00001a7c: DUP6
00001a7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a92: AND
00001a93: PUSH32 0x0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885
00001ab4: PUSH1 0x40
00001ab6: MLOAD
00001ab7: PUSH1 0x40
00001ab9: MLOAD
00001aba: DUP1
00001abb: SWAP2
00001abc: SUB
00001abd: SWAP1
00001abe: LOG3
00001abf: POP
00001ac0: POP
00001ac1: POP
00001ac2: POP
00001ac3: POP
00001ac4: JUMP
00001ac5: INVALID
00001ac6: LOG1
00001ac7: PUSH6 0x627a7a723058
00001ace: KECCAK256
00001acf: UNKNOWN(0xA9)
00001ad0: EXTCODEHASH
00001ad1: UNKNOWN(0x28)
00001ad2: UNKNOWN(0xD3)
00001ad3: MSTORE
00001ad4: MSTORE
00001ad5: EXTCODECOPY
00001ad6: UNKNOWN(0xB1)
00001ad7: UNKNOWN(0xAC)
00001ad8: UNKNOWN(0xB3)
00001ad9: UNKNOWN(0x28)
00001ada: SMOD
00001adb: UNKNOWN(0x4B)
00001adc: BALANCE
00001add: CALLDATALOAD
00001ade: UNKNOWN(0x0F)
00001adf: BLOBBASEFEE
00001ae0: PUSH5 0xf34ef684bf
00001ae6: EXP
00001ae7: PUSH22
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xdf9978830eb5359e2359f53a0b873fee3f251f40d4fac27ac3ed572d31fc091d call_targets: 0x59891b95010267f7a3666dcb3221059a73e11ad1 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xdf9978830eb5359e2359f53a0b873fee3f251f40d4fac27ac3ed572d31fc091d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x59891b95010267f7a3666dcb3221059a73e11ad1" ], "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": "0xcf3dfae7", "selector": "0xcf3dfae7", "calldata_variants": [ "0xcf3dfae7", "0xcf3dfae70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd8a6b6cc", "selector": "0xd8a6b6cc", "calldata_variants": [ "0xd8a6b6cc", "0xd8a6b6cc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe96d977f", "selector": "0xe96d977f", "calldata_variants": [ "0xe96d977f", "0xe96d977f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffe6bbd8", "selector": "0xffe6bbd8", "calldata_variants": [ "0xffe6bbd8", "0xffe6bbd80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc0ee0b8a", "selector": "0xc0ee0b8a", "calldata_variants": [ "0xc0ee0b8a", "0xc0ee0b8a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc14d81a9", "selector": "0xc14d81a9", "calldata_variants": [ "0xc14d81a9", "0xc14d81a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcc866c51", "selector": "0xcc866c51", "calldata_variants": [ "0xcc866c51", "0xcc866c510000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x89a78f1a", "selector": "0x89a78f1a", "calldata_variants": [ "0x89a78f1a", "0x89a78f1a0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1996, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3403, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4037, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [ { "pc": 3544, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xdf9978830eb5359e2359f53a0b873fee3f251f40d4fac27ac3ed572d31fc091d call_targets: 0x59891b95010267f7a3666dcb3221059a73e11ad1 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xdf9978830eb5359e2359f53a0b873fee3f251f40d4fac27ac3ed572d31fc091d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x59891b95010267f7a3666dcb3221059a73e11ad1" ], "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": "0xcf3dfae7", "selector": "0xcf3dfae7", "calldata_variants": [ "0xcf3dfae7", "0xcf3dfae70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd8a6b6cc", "selector": "0xd8a6b6cc", "calldata_variants": [ "0xd8a6b6cc", "0xd8a6b6cc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe96d977f", "selector": "0xe96d977f", "calldata_variants": [ "0xe96d977f", "0xe96d977f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffe6bbd8", "selector": "0xffe6bbd8", "calldata_variants": [ "0xffe6bbd8", "0xffe6bbd80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc0ee0b8a", "selector": "0xc0ee0b8a", "calldata_variants": [ "0xc0ee0b8a", "0xc0ee0b8a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc14d81a9", "selector": "0xc14d81a9", "calldata_variants": [ "0xc14d81a9", "0xc14d81a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcc866c51", "selector": "0xcc866c51", "calldata_variants": [ "0xcc866c51", "0xcc866c510000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x89a78f1a", "selector": "0x89a78f1a", "calldata_variants": [ "0x89a78f1a", "0x89a78f1a0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1996, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3403, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4037, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [ { "pc": 3544, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 3 }
Severity