Analysis Run

019b477e-bb9f-7248-a017-bdbd7d15759c
complete
Chain ID
1
Address
0xc04ecbf0bf96d1dd76960dd04e5bf7b0da593b0a
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
Bytecode only
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
23939	artifact.fetch	complete	1 / 3	4 months ago
23940	tool.cast_disasm	complete	1 / 3	4 months ago
67074	analysis.bundle	complete	1 / 3	2 weeks ago
67075	capability.graph	complete	1 / 3	2 weeks ago
67076	detector.run	complete	1 / 3	2 weeks ago
67077	validation.fork	complete	1 / 3	2 weeks ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no
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
12
Total opcodes
5690
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 0x0166
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x906a26e0
00000019: GT
0000001a: PUSH2 0x00d1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xcf309012
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xeb218034
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xeb218034
0000003a: EQ
0000003b: PUSH2 0x052d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf841bcbf
00000045: EQ
00000046: PUSH2 0x0558
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfb86a404
00000050: EQ
00000051: PUSH2 0x0583
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc0c546a
0000005b: EQ
0000005c: PUSH2 0x05ae
0000005f: JUMPI
00000060: PUSH2 0x0166
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xcf309012
0000006b: EQ
0000006c: PUSH2 0x04b9
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd0febe4c
00000076: EQ
00000077: PUSH2 0x04e4
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd6a022b8
00000081: EQ
00000082: PUSH2 0x0502
00000085: JUMPI
00000086: PUSH2 0x0166
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x906a26e0
00000091: EQ
00000092: PUSH2 0x03a5
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xb8ec90cf
0000009c: EQ
0000009d: PUSH2 0x03d0
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xb8f7a665
000000a7: EQ
000000a8: PUSH2 0x03fb
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xba414fa6
000000b2: EQ
000000b3: PUSH2 0x0426
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xbcc980e6
000000bd: EQ
000000be: PUSH2 0x0451
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xceddcc44
000000c8: EQ
000000c9: PUSH2 0x048e
000000cc: JUMPI
000000cd: PUSH2 0x0166
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x57ae5f8e
000000d8: GT
000000d9: PUSH2 0x0123
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x57ae5f8e
000000e3: EQ
000000e4: PUSH2 0x027f
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x5acadad2
000000ee: EQ
000000ef: PUSH2 0x02aa
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x75614a47
000000f9: EQ
000000fa: PUSH2 0x02e7
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x7eee288d
00000104: EQ
00000105: PUSH2 0x0312
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x84bcefd4
0000010f: EQ
00000110: PUSH2 0x034f
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x8da5cb5b
0000011a: EQ
0000011b: PUSH2 0x037a
0000011e: JUMPI
0000011f: PUSH2 0x0166
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x0b6eb429
0000012a: EQ
0000012b: PUSH2 0x016b
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x24600fc3
00000135: EQ
00000136: PUSH2 0x0196
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x27d795d7
00000140: EQ
00000141: PUSH2 0x01c1
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x2c4e722e
0000014b: EQ
0000014c: PUSH2 0x01ec
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x33bbae93
00000156: EQ
00000157: PUSH2 0x0217
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x48dc5893
00000161: EQ
00000162: PUSH2 0x0242
00000165: JUMPI
00000166: JUMPDEST
00000167: PUSH1 0x00
00000169: DUP1
0000016a: REVERT
0000016b: JUMPDEST
0000016c: CALLVALUE
0000016d: DUP1
0000016e: ISZERO
0000016f: PUSH2 0x0177
00000172: JUMPI
00000173: PUSH1 0x00
00000175: DUP1
00000176: REVERT
00000177: JUMPDEST
00000178: POP
00000179: PUSH2 0x0180
0000017c: PUSH2 0x05d9
0000017f: JUMP
00000180: JUMPDEST
00000181: PUSH1 0x40
00000183: MLOAD
00000184: PUSH2 0x018d
00000187: SWAP2
00000188: SWAP1
00000189: PUSH2 0x272d
0000018c: JUMP
0000018d: JUMPDEST
0000018e: PUSH1 0x40
00000190: MLOAD
00000191: DUP1
00000192: SWAP2
00000193: SUB
00000194: SWAP1
00000195: RETURN
00000196: JUMPDEST
00000197: CALLVALUE
00000198: DUP1
00000199: ISZERO
0000019a: PUSH2 0x01a2
0000019d: JUMPI
0000019e: PUSH1 0x00
000001a0: DUP1
000001a1: REVERT
000001a2: JUMPDEST
000001a3: POP
000001a4: PUSH2 0x01ab
000001a7: PUSH2 0x05df
000001aa: JUMP
000001ab: JUMPDEST
000001ac: PUSH1 0x40
000001ae: MLOAD
000001af: PUSH2 0x01b8
000001b2: SWAP2
000001b3: SWAP1
000001b4: PUSH2 0x272d
000001b7: JUMP
000001b8: JUMPDEST
000001b9: PUSH1 0x40
000001bb: MLOAD
000001bc: DUP1
000001bd: SWAP2
000001be: SUB
000001bf: SWAP1
000001c0: RETURN
000001c1: JUMPDEST
000001c2: CALLVALUE
000001c3: DUP1
000001c4: ISZERO
000001c5: PUSH2 0x01cd
000001c8: JUMPI
000001c9: PUSH1 0x00
000001cb: DUP1
000001cc: REVERT
000001cd: JUMPDEST
000001ce: POP
000001cf: PUSH2 0x01d6
000001d2: PUSH2 0x0976
000001d5: JUMP
000001d6: JUMPDEST
000001d7: PUSH1 0x40
000001d9: MLOAD
000001da: PUSH2 0x01e3
000001dd: SWAP2
000001de: SWAP1
000001df: PUSH2 0x272d
000001e2: JUMP
000001e3: JUMPDEST
000001e4: PUSH1 0x40
000001e6: MLOAD
000001e7: DUP1
000001e8: SWAP2
000001e9: SUB
000001ea: SWAP1
000001eb: RETURN
000001ec: JUMPDEST
000001ed: CALLVALUE
000001ee: DUP1
000001ef: ISZERO
000001f0: PUSH2 0x01f8
000001f3: JUMPI
000001f4: PUSH1 0x00
000001f6: DUP1
000001f7: REVERT
000001f8: JUMPDEST
000001f9: POP
000001fa: PUSH2 0x0201
000001fd: PUSH2 0x097c
00000200: JUMP
00000201: JUMPDEST
00000202: PUSH1 0x40
00000204: MLOAD
00000205: PUSH2 0x020e
00000208: SWAP2
00000209: SWAP1
0000020a: PUSH2 0x272d
0000020d: JUMP
0000020e: JUMPDEST
0000020f: PUSH1 0x40
00000211: MLOAD
00000212: DUP1
00000213: SWAP2
00000214: SUB
00000215: SWAP1
00000216: RETURN
00000217: JUMPDEST
00000218: CALLVALUE
00000219: DUP1
0000021a: ISZERO
0000021b: PUSH2 0x0223
0000021e: JUMPI
0000021f: PUSH1 0x00
00000221: DUP1
00000222: REVERT
00000223: JUMPDEST
00000224: POP
00000225: PUSH2 0x022c
00000228: PUSH2 0x0982
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH1 0x40
0000022f: MLOAD
00000230: PUSH2 0x0239
00000233: SWAP2
00000234: SWAP1
00000235: PUSH2 0x272d
00000238: JUMP
00000239: JUMPDEST
0000023a: PUSH1 0x40
0000023c: MLOAD
0000023d: DUP1
0000023e: SWAP2
0000023f: SUB
00000240: SWAP1
00000241: RETURN
00000242: JUMPDEST
00000243: CALLVALUE
00000244: DUP1
00000245: ISZERO
00000246: PUSH2 0x024e
00000249: JUMPI
0000024a: PUSH1 0x00
0000024c: DUP1
0000024d: REVERT
0000024e: JUMPDEST
0000024f: POP
00000250: PUSH2 0x0269
00000253: PUSH1 0x04
00000255: DUP1
00000256: CALLDATASIZE
00000257: SUB
00000258: DUP2
00000259: ADD
0000025a: SWAP1
0000025b: PUSH2 0x0264
0000025e: SWAP2
0000025f: SWAP1
00000260: PUSH2 0x1e19
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH2 0x0988
00000268: JUMP
00000269: JUMPDEST
0000026a: PUSH1 0x40
0000026c: MLOAD
0000026d: PUSH2 0x0276
00000270: SWAP2
00000271: SWAP1
00000272: PUSH2 0x272d
00000275: JUMP
00000276: JUMPDEST
00000277: PUSH1 0x40
00000279: MLOAD
0000027a: DUP1
0000027b: SWAP2
0000027c: SUB
0000027d: SWAP1
0000027e: RETURN
0000027f: JUMPDEST
00000280: CALLVALUE
00000281: DUP1
00000282: ISZERO
00000283: PUSH2 0x028b
00000286: JUMPI
00000287: PUSH1 0x00
00000289: DUP1
0000028a: REVERT
0000028b: JUMPDEST
0000028c: POP
0000028d: PUSH2 0x0294
00000290: PUSH2 0x09c0
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH1 0x40
00000297: MLOAD
00000298: PUSH2 0x02a1
0000029b: SWAP2
0000029c: SWAP1
0000029d: PUSH2 0x272d
000002a0: JUMP
000002a1: JUMPDEST
000002a2: PUSH1 0x40
000002a4: MLOAD
000002a5: DUP1
000002a6: SWAP2
000002a7: SUB
000002a8: SWAP1
000002a9: RETURN
000002aa: JUMPDEST
000002ab: CALLVALUE
000002ac: DUP1
000002ad: ISZERO
000002ae: PUSH2 0x02b6
000002b1: JUMPI
000002b2: PUSH1 0x00
000002b4: DUP1
000002b5: REVERT
000002b6: JUMPDEST
000002b7: POP
000002b8: PUSH2 0x02d1
000002bb: PUSH1 0x04
000002bd: DUP1
000002be: CALLDATASIZE
000002bf: SUB
000002c0: DUP2
000002c1: ADD
000002c2: SWAP1
000002c3: PUSH2 0x02cc
000002c6: SWAP2
000002c7: SWAP1
000002c8: PUSH2 0x1cbb
000002cb: JUMP
000002cc: JUMPDEST
000002cd: PUSH2 0x09c6
000002d0: JUMP
000002d1: JUMPDEST
000002d2: PUSH1 0x40
000002d4: MLOAD
000002d5: PUSH2 0x02de
000002d8: SWAP2
000002d9: SWAP1
000002da: PUSH2 0x272d
000002dd: JUMP
000002de: JUMPDEST
000002df: PUSH1 0x40
000002e1: MLOAD
000002e2: DUP1
000002e3: SWAP2
000002e4: SUB
000002e5: SWAP1
000002e6: RETURN
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: DUP1
000002ea: ISZERO
000002eb: PUSH2 0x02f3
000002ee: JUMPI
000002ef: PUSH1 0x00
000002f1: DUP1
000002f2: REVERT
000002f3: JUMPDEST
000002f4: POP
000002f5: PUSH2 0x02fc
000002f8: PUSH2 0x0a0f
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH1 0x40
000002ff: MLOAD
00000300: PUSH2 0x0309
00000303: SWAP2
00000304: SWAP1
00000305: PUSH2 0x272d
00000308: JUMP
00000309: JUMPDEST
0000030a: PUSH1 0x40
0000030c: MLOAD
0000030d: DUP1
0000030e: SWAP2
0000030f: SUB
00000310: SWAP1
00000311: RETURN
00000312: JUMPDEST
00000313: CALLVALUE
00000314: DUP1
00000315: ISZERO
00000316: PUSH2 0x031e
00000319: JUMPI
0000031a: PUSH1 0x00
0000031c: DUP1
0000031d: REVERT
0000031e: JUMPDEST
0000031f: POP
00000320: PUSH2 0x0339
00000323: PUSH1 0x04
00000325: DUP1
00000326: CALLDATASIZE
00000327: SUB
00000328: DUP2
00000329: ADD
0000032a: SWAP1
0000032b: PUSH2 0x0334
0000032e: SWAP2
0000032f: SWAP1
00000330: PUSH2 0x1d0d
00000333: JUMP
00000334: JUMPDEST
00000335: PUSH2 0x0a15
00000338: JUMP
00000339: JUMPDEST
0000033a: PUSH1 0x40
0000033c: MLOAD
0000033d: PUSH2 0x0346
00000340: SWAP2
00000341: SWAP1
00000342: PUSH2 0x24f0
00000345: JUMP
00000346: JUMPDEST
00000347: PUSH1 0x40
00000349: MLOAD
0000034a: DUP1
0000034b: SWAP2
0000034c: SUB
0000034d: SWAP1
0000034e: RETURN
0000034f: JUMPDEST
00000350: CALLVALUE
00000351: DUP1
00000352: ISZERO
00000353: PUSH2 0x035b
00000356: JUMPI
00000357: PUSH1 0x00
00000359: DUP1
0000035a: REVERT
0000035b: JUMPDEST
0000035c: POP
0000035d: PUSH2 0x0364
00000360: PUSH2 0x0bd3
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH1 0x40
00000367: MLOAD
00000368: PUSH2 0x0371
0000036b: SWAP2
0000036c: SWAP1
0000036d: PUSH2 0x272d
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH1 0x40
00000374: MLOAD
00000375: DUP1
00000376: SWAP2
00000377: SUB
00000378: SWAP1
00000379: RETURN
0000037a: JUMPDEST
0000037b: CALLVALUE
0000037c: DUP1
0000037d: ISZERO
0000037e: PUSH2 0x0386
00000381: JUMPI
00000382: PUSH1 0x00
00000384: DUP1
00000385: REVERT
00000386: JUMPDEST
00000387: POP
00000388: PUSH2 0x038f
0000038b: PUSH2 0x0bd9
0000038e: JUMP
0000038f: JUMPDEST
00000390: PUSH1 0x40
00000392: MLOAD
00000393: PUSH2 0x039c
00000396: SWAP2
00000397: SWAP1
00000398: PUSH2 0x2422
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH1 0x40
0000039f: MLOAD
000003a0: DUP1
000003a1: SWAP2
000003a2: SUB
000003a3: SWAP1
000003a4: RETURN
000003a5: JUMPDEST
000003a6: CALLVALUE
000003a7: DUP1
000003a8: ISZERO
000003a9: PUSH2 0x03b1
000003ac: JUMPI
000003ad: PUSH1 0x00
000003af: DUP1
000003b0: REVERT
000003b1: JUMPDEST
000003b2: POP
000003b3: PUSH2 0x03ba
000003b6: PUSH2 0x0bff
000003b9: JUMP
000003ba: JUMPDEST
000003bb: PUSH1 0x40
000003bd: MLOAD
000003be: PUSH2 0x03c7
000003c1: SWAP2
000003c2: SWAP1
000003c3: PUSH2 0x272d
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH1 0x40
000003ca: MLOAD
000003cb: DUP1
000003cc: SWAP2
000003cd: SUB
000003ce: SWAP1
000003cf: RETURN
000003d0: JUMPDEST
000003d1: CALLVALUE
000003d2: DUP1
000003d3: ISZERO
000003d4: PUSH2 0x03dc
000003d7: JUMPI
000003d8: PUSH1 0x00
000003da: DUP1
000003db: REVERT
000003dc: JUMPDEST
000003dd: POP
000003de: PUSH2 0x03e5
000003e1: PUSH2 0x0c05
000003e4: JUMP
000003e5: JUMPDEST
000003e6: PUSH1 0x40
000003e8: MLOAD
000003e9: PUSH2 0x03f2
000003ec: SWAP2
000003ed: SWAP1
000003ee: PUSH2 0x272d
000003f1: JUMP
000003f2: JUMPDEST
000003f3: PUSH1 0x40
000003f5: MLOAD
000003f6: DUP1
000003f7: SWAP2
000003f8: SUB
000003f9: SWAP1
000003fa: RETURN
000003fb: JUMPDEST
000003fc: CALLVALUE
000003fd: DUP1
000003fe: ISZERO
000003ff: PUSH2 0x0407
00000402: JUMPI
00000403: PUSH1 0x00
00000405: DUP1
00000406: REVERT
00000407: JUMPDEST
00000408: POP
00000409: PUSH2 0x0410
0000040c: PUSH2 0x0eee
0000040f: JUMP
00000410: JUMPDEST
00000411: PUSH1 0x40
00000413: MLOAD
00000414: PUSH2 0x041d
00000417: SWAP2
00000418: SWAP1
00000419: PUSH2 0x24f0
0000041c: JUMP
0000041d: JUMPDEST
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: DUP1
00000422: SWAP2
00000423: SUB
00000424: SWAP1
00000425: RETURN
00000426: JUMPDEST
00000427: CALLVALUE
00000428: DUP1
00000429: ISZERO
0000042a: PUSH2 0x0432
0000042d: JUMPI
0000042e: PUSH1 0x00
00000430: DUP1
00000431: REVERT
00000432: JUMPDEST
00000433: POP
00000434: PUSH2 0x043b
00000437: PUSH2 0x0f31
0000043a: JUMP
0000043b: JUMPDEST
0000043c: PUSH1 0x40
0000043e: MLOAD
0000043f: PUSH2 0x0448
00000442: SWAP2
00000443: SWAP1
00000444: PUSH2 0x24f0
00000447: JUMP
00000448: JUMPDEST
00000449: PUSH1 0x40
0000044b: MLOAD
0000044c: DUP1
0000044d: SWAP2
0000044e: SUB
0000044f: SWAP1
00000450: RETURN
00000451: JUMPDEST
00000452: CALLVALUE
00000453: DUP1
00000454: ISZERO
00000455: PUSH2 0x045d
00000458: JUMPI
00000459: PUSH1 0x00
0000045b: DUP1
0000045c: REVERT
0000045d: JUMPDEST
0000045e: POP
0000045f: PUSH2 0x0478
00000462: PUSH1 0x04
00000464: DUP1
00000465: CALLDATASIZE
00000466: SUB
00000467: DUP2
00000468: ADD
00000469: SWAP1
0000046a: PUSH2 0x0473
0000046d: SWAP2
0000046e: SWAP1
0000046f: PUSH2 0x1d49
00000472: JUMP
00000473: JUMPDEST
00000474: PUSH2 0x0f5e
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH1 0x40
0000047b: MLOAD
0000047c: PUSH2 0x0485
0000047f: SWAP2
00000480: SWAP1
00000481: PUSH2 0x272d
00000484: JUMP
00000485: JUMPDEST
00000486: PUSH1 0x40
00000488: MLOAD
00000489: DUP1
0000048a: SWAP2
0000048b: SUB
0000048c: SWAP1
0000048d: RETURN
0000048e: JUMPDEST
0000048f: CALLVALUE
00000490: DUP1
00000491: ISZERO
00000492: PUSH2 0x049a
00000495: JUMPI
00000496: PUSH1 0x00
00000498: DUP1
00000499: REVERT
0000049a: JUMPDEST
0000049b: POP
0000049c: PUSH2 0x04a3
0000049f: PUSH2 0x1147
000004a2: JUMP
000004a3: JUMPDEST
000004a4: PUSH1 0x40
000004a6: MLOAD
000004a7: PUSH2 0x04b0
000004aa: SWAP2
000004ab: SWAP1
000004ac: PUSH2 0x272d
000004af: JUMP
000004b0: JUMPDEST
000004b1: PUSH1 0x40
000004b3: MLOAD
000004b4: DUP1
000004b5: SWAP2
000004b6: SUB
000004b7: SWAP1
000004b8: RETURN
000004b9: JUMPDEST
000004ba: CALLVALUE
000004bb: DUP1
000004bc: ISZERO
000004bd: PUSH2 0x04c5
000004c0: JUMPI
000004c1: PUSH1 0x00
000004c3: DUP1
000004c4: REVERT
000004c5: JUMPDEST
000004c6: POP
000004c7: PUSH2 0x04ce
000004ca: PUSH2 0x114d
000004cd: JUMP
000004ce: JUMPDEST
000004cf: PUSH1 0x40
000004d1: MLOAD
000004d2: PUSH2 0x04db
000004d5: SWAP2
000004d6: SWAP1
000004d7: PUSH2 0x272d
000004da: JUMP
000004db: JUMPDEST
000004dc: PUSH1 0x40
000004de: MLOAD
000004df: DUP1
000004e0: SWAP2
000004e1: SUB
000004e2: SWAP1
000004e3: RETURN
000004e4: JUMPDEST
000004e5: PUSH2 0x04ec
000004e8: PUSH2 0x1153
000004eb: JUMP
000004ec: JUMPDEST
000004ed: PUSH1 0x40
000004ef: MLOAD
000004f0: PUSH2 0x04f9
000004f3: SWAP2
000004f4: SWAP1
000004f5: PUSH2 0x272d
000004f8: JUMP
000004f9: JUMPDEST
000004fa: PUSH1 0x40
000004fc: MLOAD
000004fd: DUP1
000004fe: SWAP2
000004ff: SUB
00000500: SWAP1
00000501: RETURN
00000502: JUMPDEST
00000503: CALLVALUE
00000504: DUP1
00000505: ISZERO
00000506: PUSH2 0x050e
00000509: JUMPI
0000050a: PUSH1 0x00
0000050c: DUP1
0000050d: REVERT
0000050e: JUMPDEST
0000050f: POP
00000510: PUSH2 0x0517
00000513: PUSH2 0x13c9
00000516: JUMP
00000517: JUMPDEST
00000518: PUSH1 0x40
0000051a: MLOAD
0000051b: PUSH2 0x0524
0000051e: SWAP2
0000051f: SWAP1
00000520: PUSH2 0x272d
00000523: JUMP
00000524: JUMPDEST
00000525: PUSH1 0x40
00000527: MLOAD
00000528: DUP1
00000529: SWAP2
0000052a: SUB
0000052b: SWAP1
0000052c: RETURN
0000052d: JUMPDEST
0000052e: CALLVALUE
0000052f: DUP1
00000530: ISZERO
00000531: PUSH2 0x0539
00000534: JUMPI
00000535: PUSH1 0x00
00000537: DUP1
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: PUSH2 0x0542
0000053e: PUSH2 0x13e7
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH1 0x40
00000545: MLOAD
00000546: PUSH2 0x054f
00000549: SWAP2
0000054a: SWAP1
0000054b: PUSH2 0x272d
0000054e: JUMP
0000054f: JUMPDEST
00000550: PUSH1 0x40
00000552: MLOAD
00000553: DUP1
00000554: SWAP2
00000555: SUB
00000556: SWAP1
00000557: RETURN
00000558: JUMPDEST
00000559: CALLVALUE
0000055a: DUP1
0000055b: ISZERO
0000055c: PUSH2 0x0564
0000055f: JUMPI
00000560: PUSH1 0x00
00000562: DUP1
00000563: REVERT
00000564: JUMPDEST
00000565: POP
00000566: PUSH2 0x056d
00000569: PUSH2 0x13ed
0000056c: JUMP
0000056d: JUMPDEST
0000056e: PUSH1 0x40
00000570: MLOAD
00000571: PUSH2 0x057a
00000574: SWAP2
00000575: SWAP1
00000576: PUSH2 0x272d
00000579: JUMP
0000057a: JUMPDEST
0000057b: PUSH1 0x40
0000057d: MLOAD
0000057e: DUP1
0000057f: SWAP2
00000580: SUB
00000581: SWAP1
00000582: RETURN
00000583: JUMPDEST
00000584: CALLVALUE
00000585: DUP1
00000586: ISZERO
00000587: PUSH2 0x058f
0000058a: JUMPI
0000058b: PUSH1 0x00
0000058d: DUP1
0000058e: REVERT
0000058f: JUMPDEST
00000590: POP
00000591: PUSH2 0x0598
00000594: PUSH2 0x13f3
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH1 0x40
0000059b: MLOAD
0000059c: PUSH2 0x05a5
0000059f: SWAP2
000005a0: SWAP1
000005a1: PUSH2 0x272d
000005a4: JUMP
000005a5: JUMPDEST
000005a6: PUSH1 0x40
000005a8: MLOAD
000005a9: DUP1
000005aa: SWAP2
000005ab: SUB
000005ac: SWAP1
000005ad: RETURN
000005ae: JUMPDEST
000005af: CALLVALUE
000005b0: DUP1
000005b1: ISZERO
000005b2: PUSH2 0x05ba
000005b5: JUMPI
000005b6: PUSH1 0x00
000005b8: DUP1
000005b9: REVERT
000005ba: JUMPDEST
000005bb: POP
000005bc: PUSH2 0x05c3
000005bf: PUSH2 0x13f9
000005c2: JUMP
000005c3: JUMPDEST
000005c4: PUSH1 0x40
000005c6: MLOAD
000005c7: PUSH2 0x05d0
000005ca: SWAP2
000005cb: SWAP1
000005cc: PUSH2 0x2422
000005cf: JUMP
000005d0: JUMPDEST
000005d1: PUSH1 0x40
000005d3: MLOAD
000005d4: DUP1
000005d5: SWAP2
000005d6: SUB
000005d7: SWAP1
000005d8: RETURN
000005d9: JUMPDEST
000005da: PUSH1 0x0f
000005dc: SLOAD
000005dd: DUP2
000005de: JUMP
000005df: JUMPDEST
000005e0: PUSH1 0x00
000005e2: PUSH2 0x05e9
000005e5: PUSH2 0x0f31
000005e8: JUMP
000005e9: JUMPDEST
000005ea: PUSH2 0x0628
000005ed: JUMPI
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000612: DUP2
00000613: MSTORE
00000614: PUSH1 0x04
00000616: ADD
00000617: PUSH2 0x061f
0000061a: SWAP1
0000061b: PUSH2 0x25cd
0000061e: JUMP
0000061f: JUMPDEST
00000620: PUSH1 0x40
00000622: MLOAD
00000623: DUP1
00000624: SWAP2
00000625: SUB
00000626: SWAP1
00000627: REVERT
00000628: JUMPDEST
00000629: PUSH1 0x00
0000062b: PUSH1 0x10
0000062d: PUSH1 0x00
0000062f: CALLER
00000630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000645: AND
00000646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000065b: AND
0000065c: DUP2
0000065d: MSTORE
0000065e: PUSH1 0x20
00000660: ADD
00000661: SWAP1
00000662: DUP2
00000663: MSTORE
00000664: PUSH1 0x20
00000666: ADD
00000667: PUSH1 0x00
00000669: KECCAK256
0000066a: SLOAD
0000066b: GT
0000066c: PUSH2 0x06aa
0000066f: JUMPI
00000670: PUSH1 0x40
00000672: MLOAD
00000673: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000694: DUP2
00000695: MSTORE
00000696: PUSH1 0x04
00000698: ADD
00000699: PUSH2 0x06a1
0000069c: SWAP1
0000069d: PUSH2 0x26ed
000006a0: JUMP
000006a1: JUMPDEST
000006a2: PUSH1 0x40
000006a4: MLOAD
000006a5: DUP1
000006a6: SWAP2
000006a7: SUB
000006a8: SWAP1
000006a9: REVERT
000006aa: JUMPDEST
000006ab: PUSH1 0x00
000006ad: PUSH2 0x07af
000006b0: PUSH2 0x03e8
000006b3: PUSH2 0x07a1
000006b6: PUSH1 0x00
000006b8: DUP1
000006b9: SLOAD
000006ba: SWAP1
000006bb: PUSH2 0x0100
000006be: EXP
000006bf: SWAP1
000006c0: DIV
000006c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d6: AND
000006d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ec: AND
000006ed: PUSH4 0xddca3f43
000006f2: PUSH1 0x40
000006f4: MLOAD
000006f5: DUP2
000006f6: PUSH4 0xffffffff
000006fb: AND
000006fc: PUSH1 0xe0
000006fe: SHL
000006ff: DUP2
00000700: MSTORE
00000701: PUSH1 0x04
00000703: ADD
00000704: PUSH1 0x20
00000706: PUSH1 0x40
00000708: MLOAD
00000709: DUP1
0000070a: DUP4
0000070b: SUB
0000070c: DUP2
0000070d: DUP7
0000070e: DUP1
0000070f: EXTCODESIZE
00000710: ISZERO
00000711: DUP1
00000712: ISZERO
00000713: PUSH2 0x071b
00000716: JUMPI
00000717: PUSH1 0x00
00000719: DUP1
0000071a: REVERT
0000071b: JUMPDEST
0000071c: POP
0000071d: GAS
0000071e: STATICCALL
0000071f: ISZERO
00000720: DUP1
00000721: ISZERO
00000722: PUSH2 0x072f
00000725: JUMPI
00000726: RETURNDATASIZE
00000727: PUSH1 0x00
00000729: DUP1
0000072a: RETURNDATACOPY
0000072b: RETURNDATASIZE
0000072c: PUSH1 0x00
0000072e: REVERT
0000072f: JUMPDEST
00000730: POP
00000731: POP
00000732: POP
00000733: POP
00000734: PUSH1 0x40
00000736: MLOAD
00000737: RETURNDATASIZE
00000738: PUSH1 0x1f
0000073a: NOT
0000073b: PUSH1 0x1f
0000073d: DUP3
0000073e: ADD
0000073f: AND
00000740: DUP3
00000741: ADD
00000742: DUP1
00000743: PUSH1 0x40
00000745: MSTORE
00000746: POP
00000747: DUP2
00000748: ADD
00000749: SWAP1
0000074a: PUSH2 0x0753
0000074d: SWAP2
0000074e: SWAP1
0000074f: PUSH2 0x1e42
00000752: JUMP
00000753: JUMPDEST
00000754: PUSH1 0x10
00000756: PUSH1 0x00
00000758: CALLER
00000759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000076e: AND
0000076f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000784: AND
00000785: DUP2
00000786: MSTORE
00000787: PUSH1 0x20
00000789: ADD
0000078a: SWAP1
0000078b: DUP2
0000078c: MSTORE
0000078d: PUSH1 0x20
0000078f: ADD
00000790: PUSH1 0x00
00000792: KECCAK256
00000793: SLOAD
00000794: PUSH2 0x141f
00000797: SWAP1
00000798: SWAP2
00000799: SWAP1
0000079a: PUSH4 0xffffffff
0000079f: AND
000007a0: JUMP
000007a1: JUMPDEST
000007a2: PUSH2 0x148f
000007a5: SWAP1
000007a6: SWAP2
000007a7: SWAP1
000007a8: PUSH4 0xffffffff
000007ad: AND
000007ae: JUMP
000007af: JUMPDEST
000007b0: SWAP1
000007b1: POP
000007b2: CALLER
000007b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c8: AND
000007c9: PUSH2 0x08fc
000007cc: DUP3
000007cd: SWAP1
000007ce: DUP2
000007cf: ISZERO
000007d0: MUL
000007d1: SWAP1
000007d2: PUSH1 0x40
000007d4: MLOAD
000007d5: PUSH1 0x00
000007d7: PUSH1 0x40
000007d9: MLOAD
000007da: DUP1
000007db: DUP4
000007dc: SUB
000007dd: DUP2
000007de: DUP6
000007df: DUP9
000007e0: DUP9
000007e1: CALL
000007e2: SWAP4
000007e3: POP
000007e4: POP
000007e5: POP
000007e6: POP
000007e7: ISZERO
000007e8: DUP1
000007e9: ISZERO
000007ea: PUSH2 0x07f7
000007ed: JUMPI
000007ee: RETURNDATASIZE
000007ef: PUSH1 0x00
000007f1: DUP1
000007f2: RETURNDATACOPY
000007f3: RETURNDATASIZE
000007f4: PUSH1 0x00
000007f6: REVERT
000007f7: JUMPDEST
000007f8: POP
000007f9: PUSH1 0x00
000007fb: DUP1
000007fc: SLOAD
000007fd: SWAP1
000007fe: PUSH2 0x0100
00000801: EXP
00000802: SWAP1
00000803: DIV
00000804: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000819: AND
0000081a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000082f: AND
00000830: PUSH4 0xf4ef2fca
00000835: PUSH1 0x40
00000837: MLOAD
00000838: DUP2
00000839: PUSH4 0xffffffff
0000083e: AND
0000083f: PUSH1 0xe0
00000841: SHL
00000842: DUP2
00000843: MSTORE
00000844: PUSH1 0x04
00000846: ADD
00000847: PUSH1 0x20
00000849: PUSH1 0x40
0000084b: MLOAD
0000084c: DUP1
0000084d: DUP4
0000084e: SUB
0000084f: DUP2
00000850: DUP7
00000851: DUP1
00000852: EXTCODESIZE
00000853: ISZERO
00000854: DUP1
00000855: ISZERO
00000856: PUSH2 0x085e
00000859: JUMPI
0000085a: PUSH1 0x00
0000085c: DUP1
0000085d: REVERT
0000085e: JUMPDEST
0000085f: POP
00000860: GAS
00000861: STATICCALL
00000862: ISZERO
00000863: DUP1
00000864: ISZERO
00000865: PUSH2 0x0872
00000868: JUMPI
00000869: RETURNDATASIZE
0000086a: PUSH1 0x00
0000086c: DUP1
0000086d: RETURNDATACOPY
0000086e: RETURNDATASIZE
0000086f: PUSH1 0x00
00000871: REVERT
00000872: JUMPDEST
00000873: POP
00000874: POP
00000875: POP
00000876: POP
00000877: PUSH1 0x40
00000879: MLOAD
0000087a: RETURNDATASIZE
0000087b: PUSH1 0x1f
0000087d: NOT
0000087e: PUSH1 0x1f
00000880: DUP3
00000881: ADD
00000882: AND
00000883: DUP3
00000884: ADD
00000885: DUP1
00000886: PUSH1 0x40
00000888: MSTORE
00000889: POP
0000088a: DUP2
0000088b: ADD
0000088c: SWAP1
0000088d: PUSH2 0x0896
00000890: SWAP2
00000891: SWAP1
00000892: PUSH2 0x1e42
00000895: JUMP
00000896: JUMPDEST
00000897: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ac: AND
000008ad: PUSH2 0x08fc
000008b0: PUSH2 0x0901
000008b3: DUP4
000008b4: PUSH1 0x10
000008b6: PUSH1 0x00
000008b8: CALLER
000008b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ce: AND
000008cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e4: AND
000008e5: DUP2
000008e6: MSTORE
000008e7: PUSH1 0x20
000008e9: ADD
000008ea: SWAP1
000008eb: DUP2
000008ec: MSTORE
000008ed: PUSH1 0x20
000008ef: ADD
000008f0: PUSH1 0x00
000008f2: KECCAK256
000008f3: SLOAD
000008f4: PUSH2 0x14d9
000008f7: SWAP1
000008f8: SWAP2
000008f9: SWAP1
000008fa: PUSH4 0xffffffff
000008ff: AND
00000900: JUMP
00000901: JUMPDEST
00000902: SWAP1
00000903: DUP2
00000904: ISZERO
00000905: MUL
00000906: SWAP1
00000907: PUSH1 0x40
00000909: MLOAD
0000090a: PUSH1 0x00
0000090c: PUSH1 0x40
0000090e: MLOAD
0000090f: DUP1
00000910: DUP4
00000911: SUB
00000912: DUP2
00000913: DUP6
00000914: DUP9
00000915: DUP9
00000916: CALL
00000917: SWAP4
00000918: POP
00000919: POP
0000091a: POP
0000091b: POP
0000091c: ISZERO
0000091d: DUP1
0000091e: ISZERO
0000091f: PUSH2 0x092c
00000922: JUMPI
00000923: RETURNDATASIZE
00000924: PUSH1 0x00
00000926: DUP1
00000927: RETURNDATACOPY
00000928: RETURNDATASIZE
00000929: PUSH1 0x00
0000092b: REVERT
0000092c: JUMPDEST
0000092d: POP
0000092e: PUSH1 0x00
00000930: PUSH1 0x10
00000932: PUSH1 0x00
00000934: CALLER
00000935: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000094a: AND
0000094b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000960: AND
00000961: DUP2
00000962: MSTORE
00000963: PUSH1 0x20
00000965: ADD
00000966: SWAP1
00000967: DUP2
00000968: MSTORE
00000969: PUSH1 0x20
0000096b: ADD
0000096c: PUSH1 0x00
0000096e: KECCAK256
0000096f: DUP2
00000970: SWAP1
00000971: SSTORE
00000972: POP
00000973: POP
00000974: SWAP1
00000975: JUMP
00000976: JUMPDEST
00000977: PUSH1 0x07
00000979: SLOAD
0000097a: DUP2
0000097b: JUMP
0000097c: JUMPDEST
0000097d: PUSH1 0x09
0000097f: SLOAD
00000980: DUP2
00000981: JUMP
00000982: JUMPDEST
00000983: PUSH1 0x08
00000985: SLOAD
00000986: DUP2
00000987: JUMP
00000988: JUMPDEST
00000989: PUSH1 0x00
0000098b: PUSH2 0x09b9
0000098e: PUSH8 0x0de0b6b3a7640000
00000997: PUSH2 0x09ab
0000099a: PUSH1 0x09
0000099c: SLOAD
0000099d: DUP6
0000099e: PUSH2 0x141f
000009a1: SWAP1
000009a2: SWAP2
000009a3: SWAP1
000009a4: PUSH4 0xffffffff
000009a9: AND
000009aa: JUMP
000009ab: JUMPDEST
000009ac: PUSH2 0x148f
000009af: SWAP1
000009b0: SWAP2
000009b1: SWAP1
000009b2: PUSH4 0xffffffff
000009b7: AND
000009b8: JUMP
000009b9: JUMPDEST
000009ba: SWAP1
000009bb: POP
000009bc: SWAP2
000009bd: SWAP1
000009be: POP
000009bf: JUMP
000009c0: JUMPDEST
000009c1: PUSH1 0x0a
000009c3: SLOAD
000009c4: DUP2
000009c5: JUMP
000009c6: JUMPDEST
000009c7: PUSH1 0x00
000009c9: PUSH1 0x10
000009cb: PUSH1 0x00
000009cd: DUP4
000009ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e3: AND
000009e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f9: AND
000009fa: DUP2
000009fb: MSTORE
000009fc: PUSH1 0x20
000009fe: ADD
000009ff: SWAP1
00000a00: DUP2
00000a01: MSTORE
00000a02: PUSH1 0x20
00000a04: ADD
00000a05: PUSH1 0x00
00000a07: KECCAK256
00000a08: SLOAD
00000a09: SWAP1
00000a0a: POP
00000a0b: SWAP2
00000a0c: SWAP1
00000a0d: POP
00000a0e: JUMP
00000a0f: JUMPDEST
00000a10: PUSH1 0x0b
00000a12: SLOAD
00000a13: DUP2
00000a14: JUMP
00000a15: JUMPDEST
00000a16: PUSH1 0x00
00000a18: PUSH1 0x01
00000a1a: DUP1
00000a1b: SLOAD
00000a1c: EQ
00000a1d: DUP1
00000a1e: PUSH2 0x0a2b
00000a21: JUMPI
00000a22: POP
00000a23: PUSH2 0x0a2a
00000a26: PUSH2 0x0f31
00000a29: JUMP
00000a2a: JUMPDEST
00000a2b: JUMPDEST
00000a2c: PUSH2 0x0a6a
00000a2f: JUMPI
00000a30: PUSH1 0x40
00000a32: MLOAD
00000a33: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a54: DUP2
00000a55: MSTORE
00000a56: PUSH1 0x04
00000a58: ADD
00000a59: PUSH2 0x0a61
00000a5c: SWAP1
00000a5d: PUSH2 0x262d
00000a60: JUMP
00000a61: JUMPDEST
00000a62: PUSH1 0x40
00000a64: MLOAD
00000a65: DUP1
00000a66: SWAP2
00000a67: SUB
00000a68: SWAP1
00000a69: REVERT
00000a6a: JUMPDEST
00000a6b: PUSH1 0x02
00000a6d: SLOAD
00000a6e: TIMESTAMP
00000a6f: LT
00000a70: ISZERO
00000a71: PUSH2 0x0aaf
00000a74: JUMPI
00000a75: PUSH1 0x40
00000a77: MLOAD
00000a78: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a99: DUP2
00000a9a: MSTORE
00000a9b: PUSH1 0x04
00000a9d: ADD
00000a9e: PUSH2 0x0aa6
00000aa1: SWAP1
00000aa2: PUSH2 0x268d
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH1 0x40
00000aa9: MLOAD
00000aaa: DUP1
00000aab: SWAP2
00000aac: SUB
00000aad: SWAP1
00000aae: REVERT
00000aaf: JUMPDEST
00000ab0: PUSH1 0x03
00000ab2: PUSH1 0x00
00000ab4: SWAP1
00000ab5: SLOAD
00000ab6: SWAP1
00000ab7: PUSH2 0x0100
00000aba: EXP
00000abb: SWAP1
00000abc: DIV
00000abd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad2: AND
00000ad3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae8: AND
00000ae9: CALLER
00000aea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aff: AND
00000b00: EQ
00000b01: PUSH2 0x0b3f
00000b04: JUMPI
00000b05: PUSH1 0x40
00000b07: MLOAD
00000b08: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b29: DUP2
00000b2a: MSTORE
00000b2b: PUSH1 0x04
00000b2d: ADD
00000b2e: PUSH2 0x0b36
00000b31: SWAP1
00000b32: PUSH2 0x25ed
00000b35: JUMP
00000b36: JUMPDEST
00000b37: PUSH1 0x40
00000b39: MLOAD
00000b3a: DUP1
00000b3b: SWAP2
00000b3c: SUB
00000b3d: SWAP1
00000b3e: REVERT
00000b3f: JUMPDEST
00000b40: DUP3
00000b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b56: AND
00000b57: PUSH4 0xa9059cbb
00000b5c: CALLER
00000b5d: DUP5
00000b5e: PUSH1 0x40
00000b60: MLOAD
00000b61: DUP4
00000b62: PUSH4 0xffffffff
00000b67: AND
00000b68: PUSH1 0xe0
00000b6a: SHL
00000b6b: DUP2
00000b6c: MSTORE
00000b6d: PUSH1 0x04
00000b6f: ADD
00000b70: PUSH2 0x0b7a
00000b73: SWAP3
00000b74: SWAP2
00000b75: SWAP1
00000b76: PUSH2 0x243d
00000b79: JUMP
00000b7a: JUMPDEST
00000b7b: PUSH1 0x20
00000b7d: PUSH1 0x40
00000b7f: MLOAD
00000b80: DUP1
00000b81: DUP4
00000b82: SUB
00000b83: DUP2
00000b84: PUSH1 0x00
00000b86: DUP8
00000b87: DUP1
00000b88: EXTCODESIZE
00000b89: ISZERO
00000b8a: DUP1
00000b8b: ISZERO
00000b8c: PUSH2 0x0b94
00000b8f: JUMPI
00000b90: PUSH1 0x00
00000b92: DUP1
00000b93: REVERT
00000b94: JUMPDEST
00000b95: POP
00000b96: GAS
00000b97: CALL
00000b98: ISZERO
00000b99: DUP1
00000b9a: ISZERO
00000b9b: PUSH2 0x0ba8
00000b9e: JUMPI
00000b9f: RETURNDATASIZE
00000ba0: PUSH1 0x00
00000ba2: DUP1
00000ba3: RETURNDATACOPY
00000ba4: RETURNDATASIZE
00000ba5: PUSH1 0x00
00000ba7: REVERT
00000ba8: JUMPDEST
00000ba9: POP
00000baa: POP
00000bab: POP
00000bac: POP
00000bad: PUSH1 0x40
00000baf: MLOAD
00000bb0: RETURNDATASIZE
00000bb1: PUSH1 0x1f
00000bb3: NOT
00000bb4: PUSH1 0x1f
00000bb6: DUP3
00000bb7: ADD
00000bb8: AND
00000bb9: DUP3
00000bba: ADD
00000bbb: DUP1
00000bbc: PUSH1 0x40
00000bbe: MSTORE
00000bbf: POP
00000bc0: DUP2
00000bc1: ADD
00000bc2: SWAP1
00000bc3: PUSH2 0x0bcc
00000bc6: SWAP2
00000bc7: SWAP1
00000bc8: PUSH2 0x1df0
00000bcb: JUMP
00000bcc: JUMPDEST
00000bcd: POP
00000bce: SWAP3
00000bcf: SWAP2
00000bd0: POP
00000bd1: POP
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: PUSH1 0x0c
00000bd6: SLOAD
00000bd7: DUP2
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: PUSH1 0x03
00000bdc: PUSH1 0x00
00000bde: SWAP1
00000bdf: SLOAD
00000be0: SWAP1
00000be1: PUSH2 0x0100
00000be4: EXP
00000be5: SWAP1
00000be6: DIV
00000be7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bfc: AND
00000bfd: DUP2
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: PUSH1 0x05
00000c02: SLOAD
00000c03: DUP2
00000c04: JUMP
00000c05: JUMPDEST
00000c06: PUSH1 0x00
00000c08: DUP1
00000c09: PUSH1 0x01
00000c0b: SLOAD
00000c0c: EQ
00000c0d: PUSH2 0x0c4b
00000c10: JUMPI
00000c11: PUSH1 0x40
00000c13: MLOAD
00000c14: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c35: DUP2
00000c36: MSTORE
00000c37: PUSH1 0x04
00000c39: ADD
00000c3a: PUSH2 0x0c42
00000c3d: SWAP1
00000c3e: PUSH2 0x270d
00000c41: JUMP
00000c42: JUMPDEST
00000c43: PUSH1 0x40
00000c45: MLOAD
00000c46: DUP1
00000c47: SWAP2
00000c48: SUB
00000c49: SWAP1
00000c4a: REVERT
00000c4b: JUMPDEST
00000c4c: PUSH2 0x0c53
00000c4f: PUSH2 0x0eee
00000c52: JUMP
00000c53: JUMPDEST
00000c54: ISZERO
00000c55: PUSH2 0x0c93
00000c58: JUMPI
00000c59: PUSH1 0x40
00000c5b: MLOAD
00000c5c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c7d: DUP2
00000c7e: MSTORE
00000c7f: PUSH1 0x04
00000c81: ADD
00000c82: PUSH2 0x0c8a
00000c85: SWAP1
00000c86: PUSH2 0x26ad
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: PUSH1 0x40
00000c8d: MLOAD
00000c8e: DUP1
00000c8f: SWAP2
00000c90: SUB
00000c91: SWAP1
00000c92: REVERT
00000c93: JUMPDEST
00000c94: PUSH2 0x0c9b
00000c97: PUSH2 0x0f31
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: ISZERO
00000c9d: PUSH2 0x0cdb
00000ca0: JUMPI
00000ca1: PUSH1 0x40
00000ca3: MLOAD
00000ca4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cc5: DUP2
00000cc6: MSTORE
00000cc7: PUSH1 0x04
00000cc9: ADD
00000cca: PUSH2 0x0cd2
00000ccd: SWAP1
00000cce: PUSH2 0x258d
00000cd1: JUMP
00000cd2: JUMPDEST
00000cd3: PUSH1 0x40
00000cd5: MLOAD
00000cd6: DUP1
00000cd7: SWAP2
00000cd8: SUB
00000cd9: SWAP1
00000cda: REVERT
00000cdb: JUMPDEST
00000cdc: PUSH1 0x0c
00000cde: SLOAD
00000cdf: PUSH1 0x05
00000ce1: SLOAD
00000ce2: GT
00000ce3: ISZERO
00000ce4: PUSH2 0x0d22
00000ce7: JUMPI
00000ce8: PUSH1 0x40
00000cea: MLOAD
00000ceb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d0c: DUP2
00000d0d: MSTORE
00000d0e: PUSH1 0x04
00000d10: ADD
00000d11: PUSH2 0x0d19
00000d14: SWAP1
00000d15: PUSH2 0x260d
00000d18: JUMP
00000d19: JUMPDEST
00000d1a: PUSH1 0x40
00000d1c: MLOAD
00000d1d: DUP1
00000d1e: SWAP2
00000d1f: SUB
00000d20: SWAP1
00000d21: REVERT
00000d22: JUMPDEST
00000d23: PUSH2 0x0d2a
00000d26: PUSH2 0x1523
00000d29: JUMP
00000d2a: JUMPDEST
00000d2b: PUSH2 0x0d69
00000d2e: JUMPI
00000d2f: PUSH1 0x40
00000d31: MLOAD
00000d32: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d53: DUP2
00000d54: MSTORE
00000d55: PUSH1 0x04
00000d57: ADD
00000d58: PUSH2 0x0d60
00000d5b: SWAP1
00000d5c: PUSH2 0x26cd
00000d5f: JUMP
00000d60: JUMPDEST
00000d61: PUSH1 0x40
00000d63: MLOAD
00000d64: DUP1
00000d65: SWAP2
00000d66: SUB
00000d67: SWAP1
00000d68: REVERT
00000d69: JUMPDEST
00000d6a: PUSH1 0x01
00000d6c: DUP1
00000d6d: DUP2
00000d6e: SWAP1
00000d6f: SSTORE
00000d70: POP
00000d71: PUSH1 0x04
00000d73: PUSH1 0x00
00000d75: SWAP1
00000d76: SLOAD
00000d77: SWAP1
00000d78: PUSH2 0x0100
00000d7b: EXP
00000d7c: SWAP1
00000d7d: DIV
00000d7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d93: AND
00000d94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da9: AND
00000daa: PUSH4 0xa9059cbb
00000daf: PUSH2 0xdead
00000db2: PUSH1 0x04
00000db4: PUSH1 0x00
00000db6: SWAP1
00000db7: SLOAD
00000db8: SWAP1
00000db9: PUSH2 0x0100
00000dbc: EXP
00000dbd: SWAP1
00000dbe: DIV
00000dbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd4: AND
00000dd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dea: AND
00000deb: PUSH4 0x70a08231
00000df0: ADDRESS
00000df1: PUSH1 0x40
00000df3: MLOAD
00000df4: DUP3
00000df5: PUSH4 0xffffffff
00000dfa: AND
00000dfb: PUSH1 0xe0
00000dfd: SHL
00000dfe: DUP2
00000dff: MSTORE
00000e00: PUSH1 0x04
00000e02: ADD
00000e03: PUSH2 0x0e0c
00000e06: SWAP2
00000e07: SWAP1
00000e08: PUSH2 0x2422
00000e0b: JUMP
00000e0c: JUMPDEST
00000e0d: PUSH1 0x20
00000e0f: PUSH1 0x40
00000e11: MLOAD
00000e12: DUP1
00000e13: DUP4
00000e14: SUB
00000e15: DUP2
00000e16: DUP7
00000e17: DUP1
00000e18: EXTCODESIZE
00000e19: ISZERO
00000e1a: DUP1
00000e1b: ISZERO
00000e1c: PUSH2 0x0e24
00000e1f: JUMPI
00000e20: PUSH1 0x00
00000e22: DUP1
00000e23: REVERT
00000e24: JUMPDEST
00000e25: POP
00000e26: GAS
00000e27: STATICCALL
00000e28: ISZERO
00000e29: DUP1
00000e2a: ISZERO
00000e2b: PUSH2 0x0e38
00000e2e: JUMPI
00000e2f: RETURNDATASIZE
00000e30: PUSH1 0x00
00000e32: DUP1
00000e33: RETURNDATACOPY
00000e34: RETURNDATASIZE
00000e35: PUSH1 0x00
00000e37: REVERT
00000e38: JUMPDEST
00000e39: POP
00000e3a: POP
00000e3b: POP
00000e3c: POP
00000e3d: PUSH1 0x40
00000e3f: MLOAD
00000e40: RETURNDATASIZE
00000e41: PUSH1 0x1f
00000e43: NOT
00000e44: PUSH1 0x1f
00000e46: DUP3
00000e47: ADD
00000e48: AND
00000e49: DUP3
00000e4a: ADD
00000e4b: DUP1
00000e4c: PUSH1 0x40
00000e4e: MSTORE
00000e4f: POP
00000e50: DUP2
00000e51: ADD
00000e52: SWAP1
00000e53: PUSH2 0x0e5c
00000e56: SWAP2
00000e57: SWAP1
00000e58: PUSH2 0x1e42
00000e5b: JUMP
00000e5c: JUMPDEST
00000e5d: PUSH1 0x40
00000e5f: MLOAD
00000e60: DUP4
00000e61: PUSH4 0xffffffff
00000e66: AND
00000e67: PUSH1 0xe0
00000e69: SHL
00000e6a: DUP2
00000e6b: MSTORE
00000e6c: PUSH1 0x04
00000e6e: ADD
00000e6f: PUSH2 0x0e79
00000e72: SWAP3
00000e73: SWAP2
00000e74: SWAP1
00000e75: PUSH2 0x2466
00000e78: JUMP
00000e79: JUMPDEST
00000e7a: PUSH1 0x20
00000e7c: PUSH1 0x40
00000e7e: MLOAD
00000e7f: DUP1
00000e80: DUP4
00000e81: SUB
00000e82: DUP2
00000e83: PUSH1 0x00
00000e85: DUP8
00000e86: DUP1
00000e87: EXTCODESIZE
00000e88: ISZERO
00000e89: DUP1
00000e8a: ISZERO
00000e8b: PUSH2 0x0e93
00000e8e: JUMPI
00000e8f: PUSH1 0x00
00000e91: DUP1
00000e92: REVERT
00000e93: JUMPDEST
00000e94: POP
00000e95: GAS
00000e96: CALL
00000e97: ISZERO
00000e98: DUP1
00000e99: ISZERO
00000e9a: PUSH2 0x0ea7
00000e9d: JUMPI
00000e9e: RETURNDATASIZE
00000e9f: PUSH1 0x00
00000ea1: DUP1
00000ea2: RETURNDATACOPY
00000ea3: RETURNDATASIZE
00000ea4: PUSH1 0x00
00000ea6: REVERT
00000ea7: JUMPDEST
00000ea8: POP
00000ea9: POP
00000eaa: POP
00000eab: POP
00000eac: PUSH1 0x40
00000eae: MLOAD
00000eaf: RETURNDATASIZE
00000eb0: PUSH1 0x1f
00000eb2: NOT
00000eb3: PUSH1 0x1f
00000eb5: DUP3
00000eb6: ADD
00000eb7: AND
00000eb8: DUP3
00000eb9: ADD
00000eba: DUP1
00000ebb: PUSH1 0x40
00000ebd: MSTORE
00000ebe: POP
00000ebf: DUP2
00000ec0: ADD
00000ec1: SWAP1
00000ec2: PUSH2 0x0ecb
00000ec5: SWAP2
00000ec6: SWAP1
00000ec7: PUSH2 0x1df0
00000eca: JUMP
00000ecb: JUMPDEST
00000ecc: POP
00000ecd: PUSH2 0x0ee1
00000ed0: PUSH1 0x0e
00000ed2: SLOAD
00000ed3: TIMESTAMP
00000ed4: PUSH2 0x1af7
00000ed7: SWAP1
00000ed8: SWAP2
00000ed9: SWAP1
00000eda: PUSH4 0xffffffff
00000edf: AND
00000ee0: JUMP
00000ee1: JUMPDEST
00000ee2: PUSH1 0x02
00000ee4: DUP2
00000ee5: SWAP1
00000ee6: SSTORE
00000ee7: POP
00000ee8: PUSH1 0x01
00000eea: SWAP1
00000eeb: POP
00000eec: SWAP1
00000eed: JUMP
00000eee: JUMPDEST
00000eef: PUSH1 0x00
00000ef1: PUSH1 0x07
00000ef3: SLOAD
00000ef4: TIMESTAMP
00000ef5: LT
00000ef6: ISZERO
00000ef7: PUSH2 0x0f03
00000efa: JUMPI
00000efb: PUSH1 0x00
00000efd: SWAP1
00000efe: POP
00000eff: PUSH2 0x0f2e
00000f02: JUMP
00000f03: JUMPDEST
00000f04: PUSH1 0x08
00000f06: SLOAD
00000f07: TIMESTAMP
00000f08: LT
00000f09: PUSH2 0x0f15
00000f0c: JUMPI
00000f0d: PUSH1 0x00
00000f0f: SWAP1
00000f10: POP
00000f11: PUSH2 0x0f2e
00000f14: JUMP
00000f15: JUMPDEST
00000f16: PUSH1 0x06
00000f18: SLOAD
00000f19: PUSH1 0x0c
00000f1b: SLOAD
00000f1c: LT
00000f1d: PUSH2 0x0f29
00000f20: JUMPI
00000f21: PUSH1 0x00
00000f23: SWAP1
00000f24: POP
00000f25: PUSH2 0x0f2e
00000f28: JUMP
00000f29: JUMPDEST
00000f2a: PUSH1 0x01
00000f2c: SWAP1
00000f2d: POP
00000f2e: JUMPDEST
00000f2f: SWAP1
00000f30: JUMP
00000f31: JUMPDEST
00000f32: PUSH1 0x00
00000f34: PUSH1 0x08
00000f36: SLOAD
00000f37: TIMESTAMP
00000f38: LT
00000f39: ISZERO
00000f3a: DUP1
00000f3b: ISZERO
00000f3c: PUSH2 0x0f48
00000f3f: JUMPI
00000f40: POP
00000f41: PUSH1 0x0c
00000f43: SLOAD
00000f44: PUSH1 0x05
00000f46: SLOAD
00000f47: GT
00000f48: JUMPDEST
00000f49: ISZERO
00000f4a: PUSH2 0x0f56
00000f4d: JUMPI
00000f4e: PUSH1 0x01
00000f50: SWAP1
00000f51: POP
00000f52: PUSH2 0x0f5b
00000f55: JUMP
00000f56: JUMPDEST
00000f57: PUSH1 0x00
00000f59: SWAP1
00000f5a: POP
00000f5b: JUMPDEST
00000f5c: SWAP1
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH1 0x00
00000f61: DUP1
00000f62: PUSH1 0x00
00000f64: SWAP1
00000f65: SLOAD
00000f66: SWAP1
00000f67: PUSH2 0x0100
00000f6a: EXP
00000f6b: SWAP1
00000f6c: DIV
00000f6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f82: AND
00000f83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f98: AND
00000f99: CALLER
00000f9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000faf: AND
00000fb0: EQ
00000fb1: PUSH2 0x0fef
00000fb4: JUMPI
00000fb5: PUSH1 0x40
00000fb7: MLOAD
00000fb8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fd9: DUP2
00000fda: MSTORE
00000fdb: PUSH1 0x04
00000fdd: ADD
00000fde: PUSH2 0x0fe6
00000fe1: SWAP1
00000fe2: PUSH2 0x252d
00000fe5: JUMP
00000fe6: JUMPDEST
00000fe7: PUSH1 0x40
00000fe9: MLOAD
00000fea: DUP1
00000feb: SWAP2
00000fec: SUB
00000fed: SWAP1
00000fee: REVERT
00000fef: JUMPDEST
00000ff0: DUP5
00000ff1: PUSH1 0x03
00000ff3: PUSH1 0x00
00000ff5: PUSH2 0x0100
00000ff8: EXP
00000ff9: DUP2
00000ffa: SLOAD
00000ffb: DUP2
00000ffc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001011: MUL
00001012: NOT
00001013: AND
00001014: SWAP1
00001015: DUP4
00001016: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000102b: AND
0000102c: MUL
0000102d: OR
0000102e: SWAP1
0000102f: SSTORE
00001030: POP
00001031: DUP8
00001032: DUP8
00001033: PUSH1 0x00
00001035: DUP2
00001036: DUP2
00001037: LT
00001038: PUSH2 0x103d
0000103b: JUMPI
0000103c: INVALID
0000103d: JUMPDEST
0000103e: SWAP1
0000103f: POP
00001040: PUSH1 0x20
00001042: MUL
00001043: ADD
00001044: CALLDATALOAD
00001045: PUSH1 0x05
00001047: DUP2
00001048: SWAP1
00001049: SSTORE
0000104a: POP
0000104b: DUP8
0000104c: DUP8
0000104d: PUSH1 0x01
0000104f: DUP2
00001050: DUP2
00001051: LT
00001052: PUSH2 0x1057
00001055: JUMPI
00001056: INVALID
00001057: JUMPDEST
00001058: SWAP1
00001059: POP
0000105a: PUSH1 0x20
0000105c: MUL
0000105d: ADD
0000105e: CALLDATALOAD
0000105f: PUSH1 0x06
00001061: DUP2
00001062: SWAP1
00001063: SSTORE
00001064: POP
00001065: DUP8
00001066: DUP8
00001067: PUSH1 0x02
00001069: DUP2
0000106a: DUP2
0000106b: LT
0000106c: PUSH2 0x1071
0000106f: JUMPI
00001070: INVALID
00001071: JUMPDEST
00001072: SWAP1
00001073: POP
00001074: PUSH1 0x20
00001076: MUL
00001077: ADD
00001078: CALLDATALOAD
00001079: PUSH1 0x07
0000107b: DUP2
0000107c: SWAP1
0000107d: SSTORE
0000107e: POP
0000107f: DUP8
00001080: DUP8
00001081: PUSH1 0x03
00001083: DUP2
00001084: DUP2
00001085: LT
00001086: PUSH2 0x108b
00001089: JUMPI
0000108a: INVALID
0000108b: JUMPDEST
0000108c: SWAP1
0000108d: POP
0000108e: PUSH1 0x20
00001090: MUL
00001091: ADD
00001092: CALLDATALOAD
00001093: PUSH1 0x08
00001095: DUP2
00001096: SWAP1
00001097: SSTORE
00001098: POP
00001099: DUP8
0000109a: DUP8
0000109b: PUSH1 0x04
0000109d: DUP2
0000109e: DUP2
0000109f: LT
000010a0: PUSH2 0x10a5
000010a3: JUMPI
000010a4: INVALID
000010a5: JUMPDEST
000010a6: SWAP1
000010a7: POP
000010a8: PUSH1 0x20
000010aa: MUL
000010ab: ADD
000010ac: CALLDATALOAD
000010ad: PUSH1 0x09
000010af: DUP2
000010b0: SWAP1
000010b1: SSTORE
000010b2: POP
000010b3: DUP8
000010b4: DUP8
000010b5: PUSH1 0x05
000010b7: DUP2
000010b8: DUP2
000010b9: LT
000010ba: PUSH2 0x10bf
000010bd: JUMPI
000010be: INVALID
000010bf: JUMPDEST
000010c0: SWAP1
000010c1: POP
000010c2: PUSH1 0x20
000010c4: MUL
000010c5: ADD
000010c6: CALLDATALOAD
000010c7: PUSH1 0x0a
000010c9: DUP2
000010ca: SWAP1
000010cb: SSTORE
000010cc: POP
000010cd: DUP8
000010ce: DUP8
000010cf: PUSH1 0x06
000010d1: DUP2
000010d2: DUP2
000010d3: LT
000010d4: PUSH2 0x10d9
000010d7: JUMPI
000010d8: INVALID
000010d9: JUMPDEST
000010da: SWAP1
000010db: POP
000010dc: PUSH1 0x20
000010de: MUL
000010df: ADD
000010e0: CALLDATALOAD
000010e1: PUSH1 0x0b
000010e3: DUP2
000010e4: SWAP1
000010e5: SSTORE
000010e6: POP
000010e7: DUP6
000010e8: PUSH1 0x04
000010ea: PUSH1 0x00
000010ec: PUSH2 0x0100
000010ef: EXP
000010f0: DUP2
000010f1: SLOAD
000010f2: DUP2
000010f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001108: MUL
00001109: NOT
0000110a: AND
0000110b: SWAP1
0000110c: DUP4
0000110d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001122: AND
00001123: MUL
00001124: OR
00001125: SWAP1
00001126: SSTORE
00001127: POP
00001128: DUP4
00001129: PUSH1 0x0d
0000112b: DUP2
0000112c: SWAP1
0000112d: SSTORE
0000112e: POP
0000112f: DUP3
00001130: PUSH1 0x0e
00001132: DUP2
00001133: SWAP1
00001134: SSTORE
00001135: POP
00001136: DUP2
00001137: PUSH1 0x0f
00001139: DUP2
0000113a: SWAP1
0000113b: SSTORE
0000113c: POP
0000113d: SWAP8
0000113e: SWAP7
0000113f: POP
00001140: POP
00001141: POP
00001142: POP
00001143: POP
00001144: POP
00001145: POP
00001146: JUMP
00001147: JUMPDEST
00001148: PUSH1 0x0e
0000114a: SLOAD
0000114b: DUP2
0000114c: JUMP
0000114d: JUMPDEST
0000114e: PUSH1 0x01
00001150: SLOAD
00001151: DUP2
00001152: JUMP
00001153: JUMPDEST
00001154: PUSH1 0x00
00001156: PUSH2 0x115d
00001159: PUSH2 0x0eee
0000115c: JUMP
0000115d: JUMPDEST
0000115e: PUSH2 0x119c
00001161: JUMPI
00001162: PUSH1 0x40
00001164: MLOAD
00001165: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001186: DUP2
00001187: MSTORE
00001188: PUSH1 0x04
0000118a: ADD
0000118b: PUSH2 0x1193
0000118e: SWAP1
0000118f: PUSH2 0x264d
00001192: JUMP
00001193: JUMPDEST
00001194: PUSH1 0x40
00001196: MLOAD
00001197: DUP1
00001198: SWAP2
00001199: SUB
0000119a: SWAP1
0000119b: REVERT
0000119c: JUMPDEST
0000119d: PUSH1 0x0a
0000119f: SLOAD
000011a0: CALLVALUE
000011a1: LT
000011a2: ISZERO
000011a3: DUP1
000011a4: ISZERO
000011a5: PUSH2 0x11ca
000011a8: JUMPI
000011a9: POP
000011aa: PUSH1 0x0b
000011ac: SLOAD
000011ad: PUSH2 0x11c7
000011b0: CALLVALUE
000011b1: PUSH2 0x11b9
000011b4: CALLER
000011b5: PUSH2 0x09c6
000011b8: JUMP
000011b9: JUMPDEST
000011ba: PUSH2 0x1af7
000011bd: SWAP1
000011be: SWAP2
000011bf: SWAP1
000011c0: PUSH4 0xffffffff
000011c5: AND
000011c6: JUMP
000011c7: JUMPDEST
000011c8: GT
000011c9: ISZERO
000011ca: JUMPDEST
000011cb: DUP1
000011cc: ISZERO
000011cd: PUSH2 0x11dd
000011d0: JUMPI
000011d1: POP
000011d2: PUSH2 0x11d9
000011d5: PUSH2 0x13c9
000011d8: JUMP
000011d9: JUMPDEST
000011da: CALLVALUE
000011db: GT
000011dc: ISZERO
000011dd: JUMPDEST
000011de: PUSH2 0x121c
000011e1: JUMPI
000011e2: PUSH1 0x40
000011e4: MLOAD
000011e5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001206: DUP2
00001207: MSTORE
00001208: PUSH1 0x04
0000120a: ADD
0000120b: PUSH2 0x1213
0000120e: SWAP1
0000120f: PUSH2 0x25ad
00001212: JUMP
00001213: JUMPDEST
00001214: PUSH1 0x40
00001216: MLOAD
00001217: DUP1
00001218: SWAP2
00001219: SUB
0000121a: SWAP1
0000121b: REVERT
0000121c: JUMPDEST
0000121d: PUSH1 0x04
0000121f: PUSH1 0x00
00001221: SWAP1
00001222: SLOAD
00001223: SWAP1
00001224: PUSH2 0x0100
00001227: EXP
00001228: SWAP1
00001229: DIV
0000122a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000123f: AND
00001240: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001255: AND
00001256: PUSH4 0xa9059cbb
0000125b: CALLER
0000125c: PUSH2 0x1264
0000125f: CALLVALUE
00001260: PUSH2 0x0988
00001263: JUMP
00001264: JUMPDEST
00001265: PUSH1 0x40
00001267: MLOAD
00001268: DUP4
00001269: PUSH4 0xffffffff
0000126e: AND
0000126f: PUSH1 0xe0
00001271: SHL
00001272: DUP2
00001273: MSTORE
00001274: PUSH1 0x04
00001276: ADD
00001277: PUSH2 0x1281
0000127a: SWAP3
0000127b: SWAP2
0000127c: SWAP1
0000127d: PUSH2 0x243d
00001280: JUMP
00001281: JUMPDEST
00001282: PUSH1 0x20
00001284: PUSH1 0x40
00001286: MLOAD
00001287: DUP1
00001288: DUP4
00001289: SUB
0000128a: DUP2
0000128b: PUSH1 0x00
0000128d: DUP8
0000128e: DUP1
0000128f: EXTCODESIZE
00001290: ISZERO
00001291: DUP1
00001292: ISZERO
00001293: PUSH2 0x129b
00001296: JUMPI
00001297: PUSH1 0x00
00001299: DUP1
0000129a: REVERT
0000129b: JUMPDEST
0000129c: POP
0000129d: GAS
0000129e: CALL
0000129f: ISZERO
000012a0: DUP1
000012a1: ISZERO
000012a2: PUSH2 0x12af
000012a5: JUMPI
000012a6: RETURNDATASIZE
000012a7: PUSH1 0x00
000012a9: DUP1
000012aa: RETURNDATACOPY
000012ab: RETURNDATASIZE
000012ac: PUSH1 0x00
000012ae: REVERT
000012af: JUMPDEST
000012b0: POP
000012b1: POP
000012b2: POP
000012b3: POP
000012b4: PUSH1 0x40
000012b6: MLOAD
000012b7: RETURNDATASIZE
000012b8: PUSH1 0x1f
000012ba: NOT
000012bb: PUSH1 0x1f
000012bd: DUP3
000012be: ADD
000012bf: AND
000012c0: DUP3
000012c1: ADD
000012c2: DUP1
000012c3: PUSH1 0x40
000012c5: MSTORE
000012c6: POP
000012c7: DUP2
000012c8: ADD
000012c9: SWAP1
000012ca: PUSH2 0x12d3
000012cd: SWAP2
000012ce: SWAP1
000012cf: PUSH2 0x1df0
000012d2: JUMP
000012d3: JUMPDEST
000012d4: PUSH2 0x1312
000012d7: JUMPI
000012d8: PUSH1 0x40
000012da: MLOAD
000012db: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012fc: DUP2
000012fd: MSTORE
000012fe: PUSH1 0x04
00001300: ADD
00001301: PUSH2 0x1309
00001304: SWAP1
00001305: PUSH2 0x256d
00001308: JUMP
00001309: JUMPDEST
0000130a: PUSH1 0x40
0000130c: MLOAD
0000130d: DUP1
0000130e: SWAP2
0000130f: SUB
00001310: SWAP1
00001311: REVERT
00001312: JUMPDEST
00001313: PUSH2 0x1364
00001316: CALLVALUE
00001317: PUSH1 0x10
00001319: PUSH1 0x00
0000131b: CALLER
0000131c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001331: AND
00001332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001347: AND
00001348: DUP2
00001349: MSTORE
0000134a: PUSH1 0x20
0000134c: ADD
0000134d: SWAP1
0000134e: DUP2
0000134f: MSTORE
00001350: PUSH1 0x20
00001352: ADD
00001353: PUSH1 0x00
00001355: KECCAK256
00001356: SLOAD
00001357: PUSH2 0x1af7
0000135a: SWAP1
0000135b: SWAP2
0000135c: SWAP1
0000135d: PUSH4 0xffffffff
00001362: AND
00001363: JUMP
00001364: JUMPDEST
00001365: PUSH1 0x10
00001367: PUSH1 0x00
00001369: CALLER
0000136a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137f: AND
00001380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001395: AND
00001396: DUP2
00001397: MSTORE
00001398: PUSH1 0x20
0000139a: ADD
0000139b: SWAP1
0000139c: DUP2
0000139d: MSTORE
0000139e: PUSH1 0x20
000013a0: ADD
000013a1: PUSH1 0x00
000013a3: KECCAK256
000013a4: DUP2
000013a5: SWAP1
000013a6: SSTORE
000013a7: POP
000013a8: PUSH2 0x13bc
000013ab: CALLVALUE
000013ac: PUSH1 0x0c
000013ae: SLOAD
000013af: PUSH2 0x1af7
000013b2: SWAP1
000013b3: SWAP2
000013b4: SWAP1
000013b5: PUSH4 0xffffffff
000013ba: AND
000013bb: JUMP
000013bc: JUMPDEST
000013bd: PUSH1 0x0c
000013bf: DUP2
000013c0: SWAP1
000013c1: SSTORE
000013c2: POP
000013c3: PUSH1 0x01
000013c5: SWAP1
000013c6: POP
000013c7: SWAP1
000013c8: JUMP
000013c9: JUMPDEST
000013ca: PUSH1 0x00
000013cc: PUSH2 0x13e2
000013cf: PUSH1 0x0c
000013d1: SLOAD
000013d2: PUSH1 0x06
000013d4: SLOAD
000013d5: PUSH2 0x14d9
000013d8: SWAP1
000013d9: SWAP2
000013da: SWAP1
000013db: PUSH4 0xffffffff
000013e0: AND
000013e1: JUMP
000013e2: JUMPDEST
000013e3: SWAP1
000013e4: POP
000013e5: SWAP1
000013e6: JUMP
000013e7: JUMPDEST
000013e8: PUSH1 0x0d
000013ea: SLOAD
000013eb: DUP2
000013ec: JUMP
000013ed: JUMPDEST
000013ee: PUSH1 0x02
000013f0: SLOAD
000013f1: DUP2
000013f2: JUMP
000013f3: JUMPDEST
000013f4: PUSH1 0x06
000013f6: SLOAD
000013f7: DUP2
000013f8: JUMP
000013f9: JUMPDEST
000013fa: PUSH1 0x04
000013fc: PUSH1 0x00
000013fe: SWAP1
000013ff: SLOAD
00001400: SWAP1
00001401: PUSH2 0x0100
00001404: EXP
00001405: SWAP1
00001406: DIV
00001407: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141c: AND
0000141d: DUP2
0000141e: JUMP
0000141f: JUMPDEST
00001420: PUSH1 0x00
00001422: DUP1
00001423: DUP4
00001424: EQ
00001425: ISZERO
00001426: PUSH2 0x1432
00001429: JUMPI
0000142a: PUSH1 0x00
0000142c: SWAP1
0000142d: POP
0000142e: PUSH2 0x1489
00001431: JUMP
00001432: JUMPDEST
00001433: PUSH1 0x00
00001435: DUP3
00001436: DUP5
00001437: MUL
00001438: SWAP1
00001439: POP
0000143a: DUP3
0000143b: DUP5
0000143c: DUP3
0000143d: DUP2
0000143e: PUSH2 0x1443
00001441: JUMPI
00001442: INVALID
00001443: JUMPDEST
00001444: DIV
00001445: EQ
00001446: PUSH2 0x1484
00001449: JUMPI
0000144a: PUSH1 0x40
0000144c: MLOAD
0000144d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000146e: DUP2
0000146f: MSTORE
00001470: PUSH1 0x04
00001472: ADD
00001473: PUSH2 0x147b
00001476: SWAP1
00001477: PUSH2 0x266d
0000147a: JUMP
0000147b: JUMPDEST
0000147c: PUSH1 0x40
0000147e: MLOAD
0000147f: DUP1
00001480: SWAP2
00001481: SUB
00001482: SWAP1
00001483: REVERT
00001484: JUMPDEST
00001485: DUP1
00001486: SWAP2
00001487: POP
00001488: POP
00001489: JUMPDEST
0000148a: SWAP3
0000148b: SWAP2
0000148c: POP
0000148d: POP
0000148e: JUMP
0000148f: JUMPDEST
00001490: PUSH1 0x00
00001492: PUSH2 0x14d1
00001495: DUP4
00001496: DUP4
00001497: PUSH1 0x40
00001499: MLOAD
0000149a: DUP1
0000149b: PUSH1 0x40
0000149d: ADD
0000149e: PUSH1 0x40
000014a0: MSTORE
000014a1: DUP1
000014a2: PUSH1 0x1a
000014a4: DUP2
000014a5: MSTORE
000014a6: PUSH1 0x20
000014a8: ADD
000014a9: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000014ca: DUP2
000014cb: MSTORE
000014cc: POP
000014cd: PUSH2 0x1b4c
000014d0: JUMP
000014d1: JUMPDEST
000014d2: SWAP1
000014d3: POP
000014d4: SWAP3
000014d5: SWAP2
000014d6: POP
000014d7: POP
000014d8: JUMP
000014d9: JUMPDEST
000014da: PUSH1 0x00
000014dc: PUSH2 0x151b
000014df: DUP4
000014e0: DUP4
000014e1: PUSH1 0x40
000014e3: MLOAD
000014e4: DUP1
000014e5: PUSH1 0x40
000014e7: ADD
000014e8: PUSH1 0x40
000014ea: MSTORE
000014eb: DUP1
000014ec: PUSH1 0x1e
000014ee: DUP2
000014ef: MSTORE
000014f0: PUSH1 0x20
000014f2: ADD
000014f3: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001514: DUP2
00001515: MSTORE
00001516: POP
00001517: PUSH2 0x1bad
0000151a: JUMP
0000151b: JUMPDEST
0000151c: SWAP1
0000151d: POP
0000151e: SWAP3
0000151f: SWAP2
00001520: POP
00001521: POP
00001522: JUMP
00001523: JUMPDEST
00001524: PUSH1 0x00
00001526: DUP1
00001527: PUSH2 0x15ec
0000152a: PUSH2 0x03e8
0000152d: PUSH2 0x15de
00001530: PUSH1 0x00
00001532: DUP1
00001533: SLOAD
00001534: SWAP1
00001535: PUSH2 0x0100
00001538: EXP
00001539: SWAP1
0000153a: DIV
0000153b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001550: AND
00001551: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001566: AND
00001567: PUSH4 0xddca3f43
0000156c: PUSH1 0x40
0000156e: MLOAD
0000156f: DUP2
00001570: PUSH4 0xffffffff
00001575: AND
00001576: PUSH1 0xe0
00001578: SHL
00001579: DUP2
0000157a: MSTORE
0000157b: PUSH1 0x04
0000157d: ADD
0000157e: PUSH1 0x20
00001580: PUSH1 0x40
00001582: MLOAD
00001583: DUP1
00001584: DUP4
00001585: SUB
00001586: DUP2
00001587: DUP7
00001588: DUP1
00001589: EXTCODESIZE
0000158a: ISZERO
0000158b: DUP1
0000158c: ISZERO
0000158d: PUSH2 0x1595
00001590: JUMPI
00001591: PUSH1 0x00
00001593: DUP1
00001594: REVERT
00001595: JUMPDEST
00001596: POP
00001597: GAS
00001598: STATICCALL
00001599: ISZERO
0000159a: DUP1
0000159b: ISZERO
0000159c: PUSH2 0x15a9
0000159f: JUMPI
000015a0: RETURNDATASIZE
000015a1: PUSH1 0x00
000015a3: DUP1
000015a4: RETURNDATACOPY
000015a5: RETURNDATASIZE
000015a6: PUSH1 0x00
000015a8: REVERT
000015a9: JUMPDEST
000015aa: POP
000015ab: POP
000015ac: POP
000015ad: POP
000015ae: PUSH1 0x40
000015b0: MLOAD
000015b1: RETURNDATASIZE
000015b2: PUSH1 0x1f
000015b4: NOT
000015b5: PUSH1 0x1f
000015b7: DUP3
000015b8: ADD
000015b9: AND
000015ba: DUP3
000015bb: ADD
000015bc: DUP1
000015bd: PUSH1 0x40
000015bf: MSTORE
000015c0: POP
000015c1: DUP2
000015c2: ADD
000015c3: SWAP1
000015c4: PUSH2 0x15cd
000015c7: SWAP2
000015c8: SWAP1
000015c9: PUSH2 0x1e42
000015cc: JUMP
000015cd: JUMPDEST
000015ce: PUSH1 0x0c
000015d0: SLOAD
000015d1: PUSH2 0x141f
000015d4: SWAP1
000015d5: SWAP2
000015d6: SWAP1
000015d7: PUSH4 0xffffffff
000015dc: AND
000015dd: JUMP
000015de: JUMPDEST
000015df: PUSH2 0x148f
000015e2: SWAP1
000015e3: SWAP2
000015e4: SWAP1
000015e5: PUSH4 0xffffffff
000015ea: AND
000015eb: JUMP
000015ec: JUMPDEST
000015ed: SWAP1
000015ee: POP
000015ef: PUSH1 0x04
000015f1: PUSH1 0x00
000015f3: SWAP1
000015f4: SLOAD
000015f5: SWAP1
000015f6: PUSH2 0x0100
000015f9: EXP
000015fa: SWAP1
000015fb: DIV
000015fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001611: AND
00001612: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001627: AND
00001628: PUSH4 0x095ea7b3
0000162d: PUSH1 0x00
0000162f: DUP1
00001630: SLOAD
00001631: SWAP1
00001632: PUSH2 0x0100
00001635: EXP
00001636: SWAP1
00001637: DIV
00001638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000164d: AND
0000164e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001663: AND
00001664: PUSH4 0x1249ae19
00001669: PUSH1 0x40
0000166b: MLOAD
0000166c: DUP2
0000166d: PUSH4 0xffffffff
00001672: AND
00001673: PUSH1 0xe0
00001675: SHL
00001676: DUP2
00001677: MSTORE
00001678: PUSH1 0x04
0000167a: ADD
0000167b: PUSH1 0x20
0000167d: PUSH1 0x40
0000167f: MLOAD
00001680: DUP1
00001681: DUP4
00001682: SUB
00001683: DUP2
00001684: DUP7
00001685: DUP1
00001686: EXTCODESIZE
00001687: ISZERO
00001688: DUP1
00001689: ISZERO
0000168a: PUSH2 0x1692
0000168d: JUMPI
0000168e: PUSH1 0x00
00001690: DUP1
00001691: REVERT
00001692: JUMPDEST
00001693: POP
00001694: GAS
00001695: STATICCALL
00001696: ISZERO
00001697: DUP1
00001698: ISZERO
00001699: PUSH2 0x16a6
0000169c: JUMPI
0000169d: RETURNDATASIZE
0000169e: PUSH1 0x00
000016a0: DUP1
000016a1: RETURNDATACOPY
000016a2: RETURNDATASIZE
000016a3: PUSH1 0x00
000016a5: REVERT
000016a6: JUMPDEST
000016a7: POP
000016a8: POP
000016a9: POP
000016aa: POP
000016ab: PUSH1 0x40
000016ad: MLOAD
000016ae: RETURNDATASIZE
000016af: PUSH1 0x1f
000016b1: NOT
000016b2: PUSH1 0x1f
000016b4: DUP3
000016b5: ADD
000016b6: AND
000016b7: DUP3
000016b8: ADD
000016b9: DUP1
000016ba: PUSH1 0x40
000016bc: MSTORE
000016bd: POP
000016be: DUP2
000016bf: ADD
000016c0: SWAP1
000016c1: PUSH2 0x16ca
000016c4: SWAP2
000016c5: SWAP1
000016c6: PUSH2 0x1ce4
000016c9: JUMP
000016ca: JUMPDEST
000016cb: PUSH2 0x16fb
000016ce: PUSH8 0x0de0b6b3a7640000
000016d7: PUSH2 0x16ed
000016da: PUSH1 0x09
000016dc: SLOAD
000016dd: PUSH1 0x06
000016df: SLOAD
000016e0: PUSH2 0x141f
000016e3: SWAP1
000016e4: SWAP2
000016e5: SWAP1
000016e6: PUSH4 0xffffffff
000016eb: AND
000016ec: JUMP
000016ed: JUMPDEST
000016ee: PUSH2 0x148f
000016f1: SWAP1
000016f2: SWAP2
000016f3: SWAP1
000016f4: PUSH4 0xffffffff
000016f9: AND
000016fa: JUMP
000016fb: JUMPDEST
000016fc: PUSH1 0x40
000016fe: MLOAD
000016ff: DUP4
00001700: PUSH4 0xffffffff
00001705: AND
00001706: PUSH1 0xe0
00001708: SHL
00001709: DUP2
0000170a: MSTORE
0000170b: PUSH1 0x04
0000170d: ADD
0000170e: PUSH2 0x1718
00001711: SWAP3
00001712: SWAP2
00001713: SWAP1
00001714: PUSH2 0x2466
00001717: JUMP
00001718: JUMPDEST
00001719: PUSH1 0x20
0000171b: PUSH1 0x40
0000171d: MLOAD
0000171e: DUP1
0000171f: DUP4
00001720: SUB
00001721: DUP2
00001722: PUSH1 0x00
00001724: DUP8
00001725: DUP1
00001726: EXTCODESIZE
00001727: ISZERO
00001728: DUP1
00001729: ISZERO
0000172a: PUSH2 0x1732
0000172d: JUMPI
0000172e: PUSH1 0x00
00001730: DUP1
00001731: REVERT
00001732: JUMPDEST
00001733: POP
00001734: GAS
00001735: CALL
00001736: ISZERO
00001737: DUP1
00001738: ISZERO
00001739: PUSH2 0x1746
0000173c: JUMPI
0000173d: RETURNDATASIZE
0000173e: PUSH1 0x00
00001740: DUP1
00001741: RETURNDATACOPY
00001742: RETURNDATASIZE
00001743: PUSH1 0x00
00001745: REVERT
00001746: JUMPDEST
00001747: POP
00001748: POP
00001749: POP
0000174a: POP
0000174b: PUSH1 0x40
0000174d: MLOAD
0000174e: RETURNDATASIZE
0000174f: PUSH1 0x1f
00001751: NOT
00001752: PUSH1 0x1f
00001754: DUP3
00001755: ADD
00001756: AND
00001757: DUP3
00001758: ADD
00001759: DUP1
0000175a: PUSH1 0x40
0000175c: MSTORE
0000175d: POP
0000175e: DUP2
0000175f: ADD
00001760: SWAP1
00001761: PUSH2 0x176a
00001764: SWAP2
00001765: SWAP1
00001766: PUSH2 0x1df0
00001769: JUMP
0000176a: JUMPDEST
0000176b: POP
0000176c: PUSH1 0x00
0000176e: PUSH1 0x0f
00001770: SLOAD
00001771: GT
00001772: ISZERO
00001773: PUSH2 0x1954
00001776: JUMPI
00001777: PUSH1 0x00
00001779: DUP1
0000177a: SLOAD
0000177b: SWAP1
0000177c: PUSH2 0x0100
0000177f: EXP
00001780: SWAP1
00001781: DIV
00001782: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001797: AND
00001798: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ad: AND
000017ae: PUSH4 0x1249ae19
000017b3: PUSH1 0x40
000017b5: MLOAD
000017b6: DUP2
000017b7: PUSH4 0xffffffff
000017bc: AND
000017bd: PUSH1 0xe0
000017bf: SHL
000017c0: DUP2
000017c1: MSTORE
000017c2: PUSH1 0x04
000017c4: ADD
000017c5: PUSH1 0x20
000017c7: PUSH1 0x40
000017c9: MLOAD
000017ca: DUP1
000017cb: DUP4
000017cc: SUB
000017cd: DUP2
000017ce: DUP7
000017cf: DUP1
000017d0: EXTCODESIZE
000017d1: ISZERO
000017d2: DUP1
000017d3: ISZERO
000017d4: PUSH2 0x17dc
000017d7: JUMPI
000017d8: PUSH1 0x00
000017da: DUP1
000017db: REVERT
000017dc: JUMPDEST
000017dd: POP
000017de: GAS
000017df: STATICCALL
000017e0: ISZERO
000017e1: DUP1
000017e2: ISZERO
000017e3: PUSH2 0x17f0
000017e6: JUMPI
000017e7: RETURNDATASIZE
000017e8: PUSH1 0x00
000017ea: DUP1
000017eb: RETURNDATACOPY
000017ec: RETURNDATASIZE
000017ed: PUSH1 0x00
000017ef: REVERT
000017f0: JUMPDEST
000017f1: POP
000017f2: POP
000017f3: POP
000017f4: POP
000017f5: PUSH1 0x40
000017f7: MLOAD
000017f8: RETURNDATASIZE
000017f9: PUSH1 0x1f
000017fb: NOT
000017fc: PUSH1 0x1f
000017fe: DUP3
000017ff: ADD
00001800: AND
00001801: DUP3
00001802: ADD
00001803: DUP1
00001804: PUSH1 0x40
00001806: MSTORE
00001807: POP
00001808: DUP2
00001809: ADD
0000180a: SWAP1
0000180b: PUSH2 0x1814
0000180e: SWAP2
0000180f: SWAP1
00001810: PUSH2 0x1ce4
00001813: JUMP
00001814: JUMPDEST
00001815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000182a: AND
0000182b: PUSH4 0xf305d719
00001830: PUSH2 0x1858
00001833: PUSH2 0x03e8
00001836: PUSH2 0x184a
00001839: PUSH1 0x0f
0000183b: SLOAD
0000183c: DUP7
0000183d: PUSH2 0x141f
00001840: SWAP1
00001841: SWAP2
00001842: SWAP1
00001843: PUSH4 0xffffffff
00001848: AND
00001849: JUMP
0000184a: JUMPDEST
0000184b: PUSH2 0x148f
0000184e: SWAP1
0000184f: SWAP2
00001850: SWAP1
00001851: PUSH4 0xffffffff
00001856: AND
00001857: JUMP
00001858: JUMPDEST
00001859: PUSH1 0x04
0000185b: PUSH1 0x00
0000185d: SWAP1
0000185e: SLOAD
0000185f: SWAP1
00001860: PUSH2 0x0100
00001863: EXP
00001864: SWAP1
00001865: DIV
00001866: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000187b: AND
0000187c: PUSH2 0x18d2
0000187f: PUSH8 0x0de0b6b3a7640000
00001888: PUSH2 0x18c4
0000188b: PUSH1 0x0d
0000188d: SLOAD
0000188e: PUSH2 0x18b6
00001891: PUSH2 0x03e8
00001894: PUSH2 0x18a8
00001897: PUSH1 0x0f
00001899: SLOAD
0000189a: DUP13
0000189b: PUSH2 0x141f
0000189e: SWAP1
0000189f: SWAP2
000018a0: SWAP1
000018a1: PUSH4 0xffffffff
000018a6: AND
000018a7: JUMP
000018a8: JUMPDEST
000018a9: PUSH2 0x148f
000018ac: SWAP1
000018ad: SWAP2
000018ae: SWAP1
000018af: PUSH4 0xffffffff
000018b4: AND
000018b5: JUMP
000018b6: JUMPDEST
000018b7: PUSH2 0x141f
000018ba: SWAP1
000018bb: SWAP2
000018bc: SWAP1
000018bd: PUSH4 0xffffffff
000018c2: AND
000018c3: JUMP
000018c4: JUMPDEST
000018c5: PUSH2 0x148f
000018c8: SWAP1
000018c9: SWAP2
000018ca: SWAP1
000018cb: PUSH4 0xffffffff
000018d0: AND
000018d1: JUMP
000018d2: JUMPDEST
000018d3: PUSH1 0x00
000018d5: DUP1
000018d6: ADDRESS
000018d7: PUSH4 0x05f5e100
000018dc: TIMESTAMP
000018dd: ADD
000018de: PUSH1 0x40
000018e0: MLOAD
000018e1: DUP9
000018e2: PUSH4 0xffffffff
000018e7: AND
000018e8: PUSH1 0xe0
000018ea: SHL
000018eb: DUP2
000018ec: MSTORE
000018ed: PUSH1 0x04
000018ef: ADD
000018f0: PUSH2 0x18fe
000018f3: SWAP7
000018f4: SWAP6
000018f5: SWAP5
000018f6: SWAP4
000018f7: SWAP3
000018f8: SWAP2
000018f9: SWAP1
000018fa: PUSH2 0x248f
000018fd: JUMP
000018fe: JUMPDEST
000018ff: PUSH1 0x60
00001901: PUSH1 0x40
00001903: MLOAD
00001904: DUP1
00001905: DUP4
00001906: SUB
00001907: DUP2
00001908: DUP6
00001909: DUP9
0000190a: DUP1
0000190b: EXTCODESIZE
0000190c: ISZERO
0000190d: DUP1
0000190e: ISZERO
0000190f: PUSH2 0x1917
00001912: JUMPI
00001913: PUSH1 0x00
00001915: DUP1
00001916: REVERT
00001917: JUMPDEST
00001918: POP
00001919: GAS
0000191a: CALL
0000191b: ISZERO
0000191c: DUP1
0000191d: ISZERO
0000191e: PUSH2 0x192b
00001921: JUMPI
00001922: RETURNDATASIZE
00001923: PUSH1 0x00
00001925: DUP1
00001926: RETURNDATACOPY
00001927: RETURNDATASIZE
00001928: PUSH1 0x00
0000192a: REVERT
0000192b: JUMPDEST
0000192c: POP
0000192d: POP
0000192e: POP
0000192f: POP
00001930: POP
00001931: PUSH1 0x40
00001933: MLOAD
00001934: RETURNDATASIZE
00001935: PUSH1 0x1f
00001937: NOT
00001938: PUSH1 0x1f
0000193a: DUP3
0000193b: ADD
0000193c: AND
0000193d: DUP3
0000193e: ADD
0000193f: DUP1
00001940: PUSH1 0x40
00001942: MSTORE
00001943: POP
00001944: DUP2
00001945: ADD
00001946: SWAP1
00001947: PUSH2 0x1950
0000194a: SWAP2
0000194b: SWAP1
0000194c: PUSH2 0x1e6b
0000194f: JUMP
00001950: JUMPDEST
00001951: POP
00001952: POP
00001953: POP
00001954: JUMPDEST
00001955: PUSH1 0x00
00001957: DUP1
00001958: SLOAD
00001959: SWAP1
0000195a: PUSH2 0x0100
0000195d: EXP
0000195e: SWAP1
0000195f: DIV
00001960: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001975: AND
00001976: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000198b: AND
0000198c: PUSH4 0xf4ef2fca
00001991: PUSH1 0x40
00001993: MLOAD
00001994: DUP2
00001995: PUSH4 0xffffffff
0000199a: AND
0000199b: PUSH1 0xe0
0000199d: SHL
0000199e: DUP2
0000199f: MSTORE
000019a0: PUSH1 0x04
000019a2: ADD
000019a3: PUSH1 0x20
000019a5: PUSH1 0x40
000019a7: MLOAD
000019a8: DUP1
000019a9: DUP4
000019aa: SUB
000019ab: DUP2
000019ac: DUP7
000019ad: DUP1
000019ae: EXTCODESIZE
000019af: ISZERO
000019b0: DUP1
000019b1: ISZERO
000019b2: PUSH2 0x19ba
000019b5: JUMPI
000019b6: PUSH1 0x00
000019b8: DUP1
000019b9: REVERT
000019ba: JUMPDEST
000019bb: POP
000019bc: GAS
000019bd: STATICCALL
000019be: ISZERO
000019bf: DUP1
000019c0: ISZERO
000019c1: PUSH2 0x19ce
000019c4: JUMPI
000019c5: RETURNDATASIZE
000019c6: PUSH1 0x00
000019c8: DUP1
000019c9: RETURNDATACOPY
000019ca: RETURNDATASIZE
000019cb: PUSH1 0x00
000019cd: REVERT
000019ce: JUMPDEST
000019cf: POP
000019d0: POP
000019d1: POP
000019d2: POP
000019d3: PUSH1 0x40
000019d5: MLOAD
000019d6: RETURNDATASIZE
000019d7: PUSH1 0x1f
000019d9: NOT
000019da: PUSH1 0x1f
000019dc: DUP3
000019dd: ADD
000019de: AND
000019df: DUP3
000019e0: ADD
000019e1: DUP1
000019e2: PUSH1 0x40
000019e4: MSTORE
000019e5: POP
000019e6: DUP2
000019e7: ADD
000019e8: SWAP1
000019e9: PUSH2 0x19f2
000019ec: SWAP2
000019ed: SWAP1
000019ee: PUSH2 0x1e42
000019f1: JUMP
000019f2: JUMPDEST
000019f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a08: AND
00001a09: PUSH2 0x08fc
00001a0c: PUSH2 0x1a20
00001a0f: DUP4
00001a10: PUSH1 0x0c
00001a12: SLOAD
00001a13: PUSH2 0x14d9
00001a16: SWAP1
00001a17: SWAP2
00001a18: SWAP1
00001a19: PUSH4 0xffffffff
00001a1e: AND
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: SWAP1
00001a22: DUP2
00001a23: ISZERO
00001a24: MUL
00001a25: SWAP1
00001a26: PUSH1 0x40
00001a28: MLOAD
00001a29: PUSH1 0x00
00001a2b: PUSH1 0x40
00001a2d: MLOAD
00001a2e: DUP1
00001a2f: DUP4
00001a30: SUB
00001a31: DUP2
00001a32: DUP6
00001a33: DUP9
00001a34: DUP9
00001a35: CALL
00001a36: SWAP4
00001a37: POP
00001a38: POP
00001a39: POP
00001a3a: POP
00001a3b: ISZERO
00001a3c: DUP1
00001a3d: ISZERO
00001a3e: PUSH2 0x1a4b
00001a41: JUMPI
00001a42: RETURNDATASIZE
00001a43: PUSH1 0x00
00001a45: DUP1
00001a46: RETURNDATACOPY
00001a47: RETURNDATASIZE
00001a48: PUSH1 0x00
00001a4a: REVERT
00001a4b: JUMPDEST
00001a4c: POP
00001a4d: PUSH1 0x03
00001a4f: PUSH1 0x00
00001a51: SWAP1
00001a52: SLOAD
00001a53: SWAP1
00001a54: PUSH2 0x0100
00001a57: EXP
00001a58: SWAP1
00001a59: DIV
00001a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6f: AND
00001a70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a85: AND
00001a86: PUSH2 0x08fc
00001a89: PUSH2 0x1ac3
00001a8c: PUSH2 0x1ab4
00001a8f: PUSH2 0x03e8
00001a92: PUSH2 0x1aa6
00001a95: PUSH1 0x0f
00001a97: SLOAD
00001a98: DUP8
00001a99: PUSH2 0x141f
00001a9c: SWAP1
00001a9d: SWAP2
00001a9e: SWAP1
00001a9f: PUSH4 0xffffffff
00001aa4: AND
00001aa5: JUMP
00001aa6: JUMPDEST
00001aa7: PUSH2 0x148f
00001aaa: SWAP1
00001aab: SWAP2
00001aac: SWAP1
00001aad: PUSH4 0xffffffff
00001ab2: AND
00001ab3: JUMP
00001ab4: JUMPDEST
00001ab5: DUP5
00001ab6: PUSH2 0x14d9
00001ab9: SWAP1
00001aba: SWAP2
00001abb: SWAP1
00001abc: PUSH4 0xffffffff
00001ac1: AND
00001ac2: JUMP
00001ac3: JUMPDEST
00001ac4: SWAP1
00001ac5: DUP2
00001ac6: ISZERO
00001ac7: MUL
00001ac8: SWAP1
00001ac9: PUSH1 0x40
00001acb: MLOAD
00001acc: PUSH1 0x00
00001ace: PUSH1 0x40
00001ad0: MLOAD
00001ad1: DUP1
00001ad2: DUP4
00001ad3: SUB
00001ad4: DUP2
00001ad5: DUP6
00001ad6: DUP9
00001ad7: DUP9
00001ad8: CALL
00001ad9: SWAP4
00001ada: POP
00001adb: POP
00001adc: POP
00001add: POP
00001ade: ISZERO
00001adf: DUP1
00001ae0: ISZERO
00001ae1: PUSH2 0x1aee
00001ae4: JUMPI
00001ae5: RETURNDATASIZE
00001ae6: PUSH1 0x00
00001ae8: DUP1
00001ae9: RETURNDATACOPY
00001aea: RETURNDATASIZE
00001aeb: PUSH1 0x00
00001aed: REVERT
00001aee: JUMPDEST
00001aef: POP
00001af0: PUSH1 0x01
00001af2: SWAP2
00001af3: POP
00001af4: POP
00001af5: SWAP1
00001af6: JUMP
00001af7: JUMPDEST
00001af8: PUSH1 0x00
00001afa: DUP1
00001afb: DUP3
00001afc: DUP5
00001afd: ADD
00001afe: SWAP1
00001aff: POP
00001b00: DUP4
00001b01: DUP2
00001b02: LT
00001b03: ISZERO
00001b04: PUSH2 0x1b42
00001b07: JUMPI
00001b08: PUSH1 0x40
00001b0a: MLOAD
00001b0b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b2c: DUP2
00001b2d: MSTORE
00001b2e: PUSH1 0x04
00001b30: ADD
00001b31: PUSH2 0x1b39
00001b34: SWAP1
00001b35: PUSH2 0x254d
00001b38: JUMP
00001b39: JUMPDEST
00001b3a: PUSH1 0x40
00001b3c: MLOAD
00001b3d: DUP1
00001b3e: SWAP2
00001b3f: SUB
00001b40: SWAP1
00001b41: REVERT
00001b42: JUMPDEST
00001b43: DUP1
00001b44: SWAP2
00001b45: POP
00001b46: POP
00001b47: SWAP3
00001b48: SWAP2
00001b49: POP
00001b4a: POP
00001b4b: JUMP
00001b4c: JUMPDEST
00001b4d: PUSH1 0x00
00001b4f: DUP1
00001b50: DUP4
00001b51: GT
00001b52: DUP3
00001b53: SWAP1
00001b54: PUSH2 0x1b93
00001b57: JUMPI
00001b58: PUSH1 0x40
00001b5a: MLOAD
00001b5b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b7c: DUP2
00001b7d: MSTORE
00001b7e: PUSH1 0x04
00001b80: ADD
00001b81: PUSH2 0x1b8a
00001b84: SWAP2
00001b85: SWAP1
00001b86: PUSH2 0x250b
00001b89: JUMP
00001b8a: JUMPDEST
00001b8b: PUSH1 0x40
00001b8d: MLOAD
00001b8e: DUP1
00001b8f: SWAP2
00001b90: SUB
00001b91: SWAP1
00001b92: REVERT
00001b93: JUMPDEST
00001b94: POP
00001b95: PUSH1 0x00
00001b97: DUP4
00001b98: DUP6
00001b99: DUP2
00001b9a: PUSH2 0x1b9f
00001b9d: JUMPI
00001b9e: INVALID
00001b9f: JUMPDEST
00001ba0: DIV
00001ba1: SWAP1
00001ba2: POP
00001ba3: DUP1
00001ba4: SWAP2
00001ba5: POP
00001ba6: POP
00001ba7: SWAP4
00001ba8: SWAP3
00001ba9: POP
00001baa: POP
00001bab: POP
00001bac: JUMP
00001bad: JUMPDEST
00001bae: PUSH1 0x00
00001bb0: DUP4
00001bb1: DUP4
00001bb2: GT
00001bb3: ISZERO
00001bb4: DUP3
00001bb5: SWAP1
00001bb6: PUSH2 0x1bf5
00001bb9: JUMPI
00001bba: PUSH1 0x40
00001bbc: MLOAD
00001bbd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bde: DUP2
00001bdf: MSTORE
00001be0: PUSH1 0x04
00001be2: ADD
00001be3: PUSH2 0x1bec
00001be6: SWAP2
00001be7: SWAP1
00001be8: PUSH2 0x250b
00001beb: JUMP
00001bec: JUMPDEST
00001bed: PUSH1 0x40
00001bef: MLOAD
00001bf0: DUP1
00001bf1: SWAP2
00001bf2: SUB
00001bf3: SWAP1
00001bf4: REVERT
00001bf5: JUMPDEST
00001bf6: POP
00001bf7: PUSH1 0x00
00001bf9: DUP4
00001bfa: DUP6
00001bfb: SUB
00001bfc: SWAP1
00001bfd: POP
00001bfe: DUP1
00001bff: SWAP2
00001c00: POP
00001c01: POP
00001c02: SWAP4
00001c03: SWAP3
00001c04: POP
00001c05: POP
00001c06: POP
00001c07: JUMP
00001c08: JUMPDEST
00001c09: PUSH1 0x00
00001c0b: DUP2
00001c0c: CALLDATALOAD
00001c0d: SWAP1
00001c0e: POP
00001c0f: PUSH2 0x1c17
00001c12: DUP2
00001c13: PUSH2 0x2838
00001c16: JUMP
00001c17: JUMPDEST
00001c18: SWAP3
00001c19: SWAP2
00001c1a: POP
00001c1b: POP
00001c1c: JUMP
00001c1d: JUMPDEST
00001c1e: PUSH1 0x00
00001c20: DUP2
00001c21: MLOAD
00001c22: SWAP1
00001c23: POP
00001c24: PUSH2 0x1c2c
00001c27: DUP2
00001c28: PUSH2 0x2838
00001c2b: JUMP
00001c2c: JUMPDEST
00001c2d: SWAP3
00001c2e: SWAP2
00001c2f: POP
00001c30: POP
00001c31: JUMP
00001c32: JUMPDEST
00001c33: PUSH1 0x00
00001c35: DUP1
00001c36: DUP4
00001c37: PUSH1 0x1f
00001c39: DUP5
00001c3a: ADD
00001c3b: SLT
00001c3c: PUSH2 0x1c44
00001c3f: JUMPI
00001c40: PUSH1 0x00
00001c42: DUP1
00001c43: REVERT
00001c44: JUMPDEST
00001c45: DUP3
00001c46: CALLDATALOAD
00001c47: SWAP1
00001c48: POP
00001c49: PUSH8 0xffffffffffffffff
00001c52: DUP2
00001c53: GT
00001c54: ISZERO
00001c55: PUSH2 0x1c5d
00001c58: JUMPI
00001c59: PUSH1 0x00
00001c5b: DUP1
00001c5c: REVERT
00001c5d: JUMPDEST
00001c5e: PUSH1 0x20
00001c60: DUP4
00001c61: ADD
00001c62: SWAP2
00001c63: POP
00001c64: DUP4
00001c65: PUSH1 0x20
00001c67: DUP3
00001c68: MUL
00001c69: DUP4
00001c6a: ADD
00001c6b: GT
00001c6c: ISZERO
00001c6d: PUSH2 0x1c75
00001c70: JUMPI
00001c71: PUSH1 0x00
00001c73: DUP1
00001c74: REVERT
00001c75: JUMPDEST
00001c76: SWAP3
00001c77: POP
00001c78: SWAP3
00001c79: SWAP1
00001c7a: POP
00001c7b: JUMP
00001c7c: JUMPDEST
00001c7d: PUSH1 0x00
00001c7f: DUP2
00001c80: MLOAD
00001c81: SWAP1
00001c82: POP
00001c83: PUSH2 0x1c8b
00001c86: DUP2
00001c87: PUSH2 0x284f
00001c8a: JUMP
00001c8b: JUMPDEST
00001c8c: SWAP3
00001c8d: SWAP2
00001c8e: POP
00001c8f: POP
00001c90: JUMP
00001c91: JUMPDEST
00001c92: PUSH1 0x00
00001c94: DUP2
00001c95: CALLDATALOAD
00001c96: SWAP1
00001c97: POP
00001c98: PUSH2 0x1ca0
00001c9b: DUP2
00001c9c: PUSH2 0x2866
00001c9f: JUMP
00001ca0: JUMPDEST
00001ca1: SWAP3
00001ca2: SWAP2
00001ca3: POP
00001ca4: POP
00001ca5: JUMP
00001ca6: JUMPDEST
00001ca7: PUSH1 0x00
00001ca9: DUP2
00001caa: MLOAD
00001cab: SWAP1
00001cac: POP
00001cad: PUSH2 0x1cb5
00001cb0: DUP2
00001cb1: PUSH2 0x2866
00001cb4: JUMP
00001cb5: JUMPDEST
00001cb6: SWAP3
00001cb7: SWAP2
00001cb8: POP
00001cb9: POP
00001cba: JUMP
00001cbb: JUMPDEST
00001cbc: PUSH1 0x00
00001cbe: PUSH1 0x20
00001cc0: DUP3
00001cc1: DUP5
00001cc2: SUB
00001cc3: SLT
00001cc4: ISZERO
00001cc5: PUSH2 0x1ccd
00001cc8: JUMPI
00001cc9: PUSH1 0x00
00001ccb: DUP1
00001ccc: REVERT
00001ccd: JUMPDEST
00001cce: PUSH1 0x00
00001cd0: PUSH2 0x1cdb
00001cd3: DUP5
00001cd4: DUP3
00001cd5: DUP6
00001cd6: ADD
00001cd7: PUSH2 0x1c08
00001cda: JUMP
00001cdb: JUMPDEST
00001cdc: SWAP2
00001cdd: POP
00001cde: POP
00001cdf: SWAP3
00001ce0: SWAP2
00001ce1: POP
00001ce2: POP
00001ce3: JUMP
00001ce4: JUMPDEST
00001ce5: PUSH1 0x00
00001ce7: PUSH1 0x20
00001ce9: DUP3
00001cea: DUP5
00001ceb: SUB
00001cec: SLT
00001ced: ISZERO
00001cee: PUSH2 0x1cf6
00001cf1: JUMPI
00001cf2: PUSH1 0x00
00001cf4: DUP1
00001cf5: REVERT
00001cf6: JUMPDEST
00001cf7: PUSH1 0x00
00001cf9: PUSH2 0x1d04
00001cfc: DUP5
00001cfd: DUP3
00001cfe: DUP6
00001cff: ADD
00001d00: PUSH2 0x1c1d
00001d03: JUMP
00001d04: JUMPDEST
00001d05: SWAP2
00001d06: POP
00001d07: POP
00001d08: SWAP3
00001d09: SWAP2
00001d0a: POP
00001d0b: POP
00001d0c: JUMP
00001d0d: JUMPDEST
00001d0e: PUSH1 0x00
00001d10: DUP1
00001d11: PUSH1 0x40
00001d13: DUP4
00001d14: DUP6
00001d15: SUB
00001d16: SLT
00001d17: ISZERO
00001d18: PUSH2 0x1d20
00001d1b: JUMPI
00001d1c: PUSH1 0x00
00001d1e: DUP1
00001d1f: REVERT
00001d20: JUMPDEST
00001d21: PUSH1 0x00
00001d23: PUSH2 0x1d2e
00001d26: DUP6
00001d27: DUP3
00001d28: DUP7
00001d29: ADD
00001d2a: PUSH2 0x1c08
00001d2d: JUMP
00001d2e: JUMPDEST
00001d2f: SWAP3
00001d30: POP
00001d31: POP
00001d32: PUSH1 0x20
00001d34: PUSH2 0x1d3f
00001d37: DUP6
00001d38: DUP3
00001d39: DUP7
00001d3a: ADD
00001d3b: PUSH2 0x1c91
00001d3e: JUMP
00001d3f: JUMPDEST
00001d40: SWAP2
00001d41: POP
00001d42: POP
00001d43: SWAP3
00001d44: POP
00001d45: SWAP3
00001d46: SWAP1
00001d47: POP
00001d48: JUMP
00001d49: JUMPDEST
00001d4a: PUSH1 0x00
00001d4c: DUP1
00001d4d: PUSH1 0x00
00001d4f: DUP1
00001d50: PUSH1 0x00
00001d52: DUP1
00001d53: PUSH1 0x00
00001d55: PUSH1 0xc0
00001d57: DUP9
00001d58: DUP11
00001d59: SUB
00001d5a: SLT
00001d5b: ISZERO
00001d5c: PUSH2 0x1d64
00001d5f: JUMPI
00001d60: PUSH1 0x00
00001d62: DUP1
00001d63: REVERT
00001d64: JUMPDEST
00001d65: PUSH1 0x00
00001d67: DUP9
00001d68: ADD
00001d69: CALLDATALOAD
00001d6a: PUSH8 0xffffffffffffffff
00001d73: DUP2
00001d74: GT
00001d75: ISZERO
00001d76: PUSH2 0x1d7e
00001d79: JUMPI
00001d7a: PUSH1 0x00
00001d7c: DUP1
00001d7d: REVERT
00001d7e: JUMPDEST
00001d7f: PUSH2 0x1d8a
00001d82: DUP11
00001d83: DUP3
00001d84: DUP12
00001d85: ADD
00001d86: PUSH2 0x1c32
00001d89: JUMP
00001d8a: JUMPDEST
00001d8b: SWAP8
00001d8c: POP
00001d8d: SWAP8
00001d8e: POP
00001d8f: POP
00001d90: PUSH1 0x20
00001d92: PUSH2 0x1d9d
00001d95: DUP11
00001d96: DUP3
00001d97: DUP12
00001d98: ADD
00001d99: PUSH2 0x1c08
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: SWAP6
00001d9f: POP
00001da0: POP
00001da1: PUSH1 0x40
00001da3: PUSH2 0x1dae
00001da6: DUP11
00001da7: DUP3
00001da8: DUP12
00001da9: ADD
00001daa: PUSH2 0x1c08
00001dad: JUMP
00001dae: JUMPDEST
00001daf: SWAP5
00001db0: POP
00001db1: POP
00001db2: PUSH1 0x60
00001db4: PUSH2 0x1dbf
00001db7: DUP11
00001db8: DUP3
00001db9: DUP12
00001dba: ADD
00001dbb: PUSH2 0x1c91
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: SWAP4
00001dc1: POP
00001dc2: POP
00001dc3: PUSH1 0x80
00001dc5: PUSH2 0x1dd0
00001dc8: DUP11
00001dc9: DUP3
00001dca: DUP12
00001dcb: ADD
00001dcc: PUSH2 0x1c91
00001dcf: JUMP
00001dd0: JUMPDEST
00001dd1: SWAP3
00001dd2: POP
00001dd3: POP
00001dd4: PUSH1 0xa0
00001dd6: PUSH2 0x1de1
00001dd9: DUP11
00001dda: DUP3
00001ddb: DUP12
00001ddc: ADD
00001ddd: PUSH2 0x1c91
00001de0: JUMP
00001de1: JUMPDEST
00001de2: SWAP2
00001de3: POP
00001de4: POP
00001de5: SWAP3
00001de6: SWAP6
00001de7: SWAP9
00001de8: SWAP2
00001de9: SWAP5
00001dea: SWAP8
00001deb: POP
00001dec: SWAP3
00001ded: SWAP6
00001dee: POP
00001def: JUMP
00001df0: JUMPDEST
00001df1: PUSH1 0x00
00001df3: PUSH1 0x20
00001df5: DUP3
00001df6: DUP5
00001df7: SUB
00001df8: SLT
00001df9: ISZERO
00001dfa: PUSH2 0x1e02
00001dfd: JUMPI
00001dfe: PUSH1 0x00
00001e00: DUP1
00001e01: REVERT
00001e02: JUMPDEST
00001e03: PUSH1 0x00
00001e05: PUSH2 0x1e10
00001e08: DUP5
00001e09: DUP3
00001e0a: DUP6
00001e0b: ADD
00001e0c: PUSH2 0x1c7c
00001e0f: JUMP
00001e10: JUMPDEST
00001e11: SWAP2
00001e12: POP
00001e13: POP
00001e14: SWAP3
00001e15: SWAP2
00001e16: POP
00001e17: POP
00001e18: JUMP
00001e19: JUMPDEST
00001e1a: PUSH1 0x00
00001e1c: PUSH1 0x20
00001e1e: DUP3
00001e1f: DUP5
00001e20: SUB
00001e21: SLT
00001e22: ISZERO
00001e23: PUSH2 0x1e2b
00001e26: JUMPI
00001e27: PUSH1 0x00
00001e29: DUP1
00001e2a: REVERT
00001e2b: JUMPDEST
00001e2c: PUSH1 0x00
00001e2e: PUSH2 0x1e39
00001e31: DUP5
00001e32: DUP3
00001e33: DUP6
00001e34: ADD
00001e35: PUSH2 0x1c91
00001e38: JUMP
00001e39: JUMPDEST
00001e3a: SWAP2
00001e3b: POP
00001e3c: POP
00001e3d: SWAP3
00001e3e: SWAP2
00001e3f: POP
00001e40: POP
00001e41: JUMP
00001e42: JUMPDEST
00001e43: PUSH1 0x00
00001e45: PUSH1 0x20
00001e47: DUP3
00001e48: DUP5
00001e49: SUB
00001e4a: SLT
00001e4b: ISZERO
00001e4c: PUSH2 0x1e54
00001e4f: JUMPI
00001e50: PUSH1 0x00
00001e52: DUP1
00001e53: REVERT
00001e54: JUMPDEST
00001e55: PUSH1 0x00
00001e57: PUSH2 0x1e62
00001e5a: DUP5
00001e5b: DUP3
00001e5c: DUP6
00001e5d: ADD
00001e5e: PUSH2 0x1ca6
00001e61: JUMP
00001e62: JUMPDEST
00001e63: SWAP2
00001e64: POP
00001e65: POP
00001e66: SWAP3
00001e67: SWAP2
00001e68: POP
00001e69: POP
00001e6a: JUMP
00001e6b: JUMPDEST
00001e6c: PUSH1 0x00
00001e6e: DUP1
00001e6f: PUSH1 0x00
00001e71: PUSH1 0x60
00001e73: DUP5
00001e74: DUP7
00001e75: SUB
00001e76: SLT
00001e77: ISZERO
00001e78: PUSH2 0x1e80
00001e7b: JUMPI
00001e7c: PUSH1 0x00
00001e7e: DUP1
00001e7f: REVERT
00001e80: JUMPDEST
00001e81: PUSH1 0x00
00001e83: PUSH2 0x1e8e
00001e86: DUP7
00001e87: DUP3
00001e88: DUP8
00001e89: ADD
00001e8a: PUSH2 0x1ca6
00001e8d: JUMP
00001e8e: JUMPDEST
00001e8f: SWAP4
00001e90: POP
00001e91: POP
00001e92: PUSH1 0x20
00001e94: PUSH2 0x1e9f
00001e97: DUP7
00001e98: DUP3
00001e99: DUP8
00001e9a: ADD
00001e9b: PUSH2 0x1ca6
00001e9e: JUMP
00001e9f: JUMPDEST
00001ea0: SWAP3
00001ea1: POP
00001ea2: POP
00001ea3: PUSH1 0x40
00001ea5: PUSH2 0x1eb0
00001ea8: DUP7
00001ea9: DUP3
00001eaa: DUP8
00001eab: ADD
00001eac: PUSH2 0x1ca6
00001eaf: JUMP
00001eb0: JUMPDEST
00001eb1: SWAP2
00001eb2: POP
00001eb3: POP
00001eb4: SWAP3
00001eb5: POP
00001eb6: SWAP3
00001eb7: POP
00001eb8: SWAP3
00001eb9: JUMP
00001eba: JUMPDEST
00001ebb: PUSH2 0x1ec3
00001ebe: DUP2
00001ebf: PUSH2 0x27ac
00001ec2: JUMP
00001ec3: JUMPDEST
00001ec4: DUP3
00001ec5: MSTORE
00001ec6: POP
00001ec7: POP
00001ec8: JUMP
00001ec9: JUMPDEST
00001eca: PUSH2 0x1ed2
00001ecd: DUP2
00001ece: PUSH2 0x2764
00001ed1: JUMP
00001ed2: JUMPDEST
00001ed3: DUP3
00001ed4: MSTORE
00001ed5: POP
00001ed6: POP
00001ed7: JUMP
00001ed8: JUMPDEST
00001ed9: PUSH2 0x1ee1
00001edc: DUP2
00001edd: PUSH2 0x2776
00001ee0: JUMP
00001ee1: JUMPDEST
00001ee2: DUP3
00001ee3: MSTORE
00001ee4: POP
00001ee5: POP
00001ee6: JUMP
00001ee7: JUMPDEST
00001ee8: PUSH2 0x1ef0
00001eeb: DUP2
00001eec: PUSH2 0x27be
00001eef: JUMP
00001ef0: JUMPDEST
00001ef1: DUP3
00001ef2: MSTORE
00001ef3: POP
00001ef4: POP
00001ef5: JUMP
00001ef6: JUMPDEST
00001ef7: PUSH1 0x00
00001ef9: PUSH2 0x1f01
00001efc: DUP3
00001efd: PUSH2 0x2748
00001f00: JUMP
00001f01: JUMPDEST
00001f02: PUSH2 0x1f0b
00001f05: DUP2
00001f06: DUP6
00001f07: PUSH2 0x2753
00001f0a: JUMP
00001f0b: JUMPDEST
00001f0c: SWAP4
00001f0d: POP
00001f0e: PUSH2 0x1f1b
00001f11: DUP2
00001f12: DUP6
00001f13: PUSH1 0x20
00001f15: DUP7
00001f16: ADD
00001f17: PUSH2 0x27f4
00001f1a: JUMP
00001f1b: JUMPDEST
00001f1c: PUSH2 0x1f24
00001f1f: DUP2
00001f20: PUSH2 0x2827
00001f23: JUMP
00001f24: JUMPDEST
00001f25: DUP5
00001f26: ADD
00001f27: SWAP2
00001f28: POP
00001f29: POP
00001f2a: SWAP3
00001f2b: SWAP2
00001f2c: POP
00001f2d: POP
00001f2e: JUMP
00001f2f: JUMPDEST
00001f30: PUSH1 0x00
00001f32: PUSH2 0x1f3c
00001f35: PUSH1 0x30
00001f37: DUP4
00001f38: PUSH2 0x2753
00001f3b: JUMP
00001f3c: JUMPDEST
00001f3d: SWAP2
00001f3e: POP
00001f3f: PUSH32 0x596f7520617265206e6f7420616c6c6f77656420746f20696e697469616c697a
00001f60: PUSH1 0x00
00001f62: DUP4
00001f63: ADD
00001f64: MSTORE
00001f65: PUSH32 0x652061206e65772043616d706169676e00000000000000000000000000000000
00001f86: PUSH1 0x20
00001f88: DUP4
00001f89: ADD
00001f8a: MSTORE
00001f8b: PUSH1 0x40
00001f8d: DUP3
00001f8e: ADD
00001f8f: SWAP1
00001f90: POP
00001f91: SWAP2
00001f92: SWAP1
00001f93: POP
00001f94: JUMP
00001f95: JUMPDEST
00001f96: PUSH1 0x00
00001f98: PUSH2 0x1fa2
00001f9b: PUSH1 0x1b
00001f9d: DUP4
00001f9e: PUSH2 0x2753
00001fa1: JUMP
00001fa2: JUMPDEST
00001fa3: SWAP2
00001fa4: POP
00001fa5: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001fc6: PUSH1 0x00
00001fc8: DUP4
00001fc9: ADD
00001fca: MSTORE
00001fcb: PUSH1 0x20
00001fcd: DUP3
00001fce: ADD
00001fcf: SWAP1
00001fd0: POP
00001fd1: SWAP2
00001fd2: SWAP1
00001fd3: POP
00001fd4: JUMP
00001fd5: JUMPDEST
00001fd6: PUSH1 0x00
00001fd8: PUSH2 0x1fe2
00001fdb: PUSH1 0x0e
00001fdd: DUP4
00001fde: PUSH2 0x2753
00001fe1: JUMP
00001fe2: JUMPDEST
00001fe3: SWAP2
00001fe4: POP
00001fe5: PUSH32 0x63616e2774207472616e73666572000000000000000000000000000000000000
00002006: PUSH1 0x00
00002008: DUP4
00002009: ADD
0000200a: MSTORE
0000200b: PUSH1 0x20
0000200d: DUP3
0000200e: ADD
0000200f: SWAP1
00002010: POP
00002011: SWAP2
00002012: SWAP1
00002013: POP
00002014: JUMP
00002015: JUMPDEST
00002016: PUSH1 0x00
00002018: PUSH2 0x2022
0000201b: PUSH1 0x25
0000201d: DUP4
0000201e: PUSH2 0x2753
00002021: JUMP
00002022: JUMPDEST
00002023: SWAP2
00002024: POP
00002025: PUSH32 0x50726573616c65206661696c6564202c2063616e2774206c6f636b206c697175
00002046: PUSH1 0x00
00002048: DUP4
00002049: ADD
0000204a: MSTORE
0000204b: PUSH32 0x6964697479000000000000000000000000000000000000000000000000000000
0000206c: PUSH1 0x20
0000206e: DUP4
0000206f: ADD
00002070: MSTORE
00002071: PUSH1 0x40
00002073: DUP3
00002074: ADD
00002075: SWAP1
00002076: POP
00002077: SWAP2
00002078: SWAP1
00002079: POP
0000207a: JUMP
0000207b: JUMPDEST
0000207c: PUSH1 0x00
0000207e: PUSH2 0x2088
00002081: PUSH1 0x39
00002083: DUP4
00002084: PUSH2 0x2753
00002087: JUMP
00002088: JUMPDEST
00002089: SWAP2
0000208a: POP
0000208b: PUSH32 0x54686520636f6e74726163742068617320696e737566666963656e742066756e
000020ac: PUSH1 0x00
000020ae: DUP4
000020af: ADD
000020b0: MSTORE
000020b1: PUSH32 0x6473206f7220796f7520617265206e6f7420616c6c6f77656400000000000000
000020d2: PUSH1 0x20
000020d4: DUP4
000020d5: ADD
000020d6: MSTORE
000020d7: PUSH1 0x40
000020d9: DUP3
000020da: ADD
000020db: SWAP1
000020dc: POP
000020dd: SWAP2
000020de: SWAP1
000020df: POP
000020e0: JUMP
000020e1: JUMPDEST
000020e2: PUSH1 0x00
000020e4: PUSH2 0x20ee
000020e7: PUSH1 0x14
000020e9: DUP4
000020ea: PUSH2 0x2753
000020ed: JUMP
000020ee: JUMPDEST
000020ef: SWAP2
000020f0: POP
000020f1: PUSH32 0x63616d706169676e206469646e2774206661696c000000000000000000000000
00002112: PUSH1 0x00
00002114: DUP4
00002115: ADD
00002116: MSTORE
00002117: PUSH1 0x20
00002119: DUP3
0000211a: ADD
0000211b: SWAP1
0000211c: POP
0000211d: SWAP2
0000211e: SWAP1
0000211f: POP
00002120: JUMP
00002121: JUMPDEST
00002122: PUSH1 0x00
00002124: PUSH2 0x212e
00002127: PUSH1 0x15
00002129: DUP4
0000212a: PUSH2 0x2753
0000212d: JUMP
0000212e: JUMPDEST
0000212f: SWAP2
00002130: POP
00002131: PUSH32 0x596f7520617265206e6f7420746865206f776e65720000000000000000000000
00002152: PUSH1 0x00
00002154: DUP4
00002155: ADD
00002156: MSTORE
00002157: PUSH1 0x20
00002159: DUP3
0000215a: ADD
0000215b: SWAP1
0000215c: POP
0000215d: SWAP2
0000215e: SWAP1
0000215f: POP
00002160: JUMP
00002161: JUMPDEST
00002162: PUSH1 0x00
00002164: PUSH2 0x216e
00002167: PUSH1 0x15
00002169: DUP4
0000216a: PUSH2 0x2753
0000216d: JUMP
0000216e: JUMPDEST
0000216f: SWAP2
00002170: POP
00002171: PUSH32 0x6469646e277420726561636820736f6674206361700000000000000000000000
00002192: PUSH1 0x00
00002194: DUP4
00002195: ADD
00002196: MSTORE
00002197: PUSH1 0x20
00002199: DUP3
0000219a: ADD
0000219b: SWAP1
0000219c: POP
0000219d: SWAP2
0000219e: SWAP1
0000219f: POP
000021a0: JUMP
000021a1: JUMPDEST
000021a2: PUSH1 0x00
000021a4: PUSH2 0x21ae
000021a7: PUSH1 0x1b
000021a9: DUP4
000021aa: PUSH2 0x2753
000021ad: JUMP
000021ae: JUMPDEST
000021af: SWAP2
000021b0: POP
000021b1: PUSH32 0x6c6971756964697479206973206e6f7420796574206c6f636b65640000000000
000021d2: PUSH1 0x00
000021d4: DUP4
000021d5: ADD
000021d6: MSTORE
000021d7: PUSH1 0x20
000021d9: DUP3
000021da: ADD
000021db: SWAP1
000021dc: POP
000021dd: SWAP2
000021de: SWAP1
000021df: POP
000021e0: JUMP
000021e1: JUMPDEST
000021e2: PUSH1 0x00
000021e4: PUSH2 0x21ee
000021e7: PUSH1 0x14
000021e9: DUP4
000021ea: PUSH2 0x2753
000021ed: JUMP
000021ee: JUMPDEST
000021ef: SWAP2
000021f0: POP
000021f1: PUSH32 0x63616d706169676e206973206e6f74206c697665000000000000000000000000
00002212: PUSH1 0x00
00002214: DUP4
00002215: ADD
00002216: MSTORE
00002217: PUSH1 0x20
00002219: DUP3
0000221a: ADD
0000221b: SWAP1
0000221c: POP
0000221d: SWAP2
0000221e: SWAP1
0000221f: POP
00002220: JUMP
00002221: JUMPDEST
00002222: PUSH1 0x00
00002224: PUSH2 0x222e
00002227: PUSH1 0x21
00002229: DUP4
0000222a: PUSH2 0x2753
0000222d: JUMP
0000222e: JUMPDEST
0000222f: SWAP2
00002230: POP
00002231: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00002252: PUSH1 0x00
00002254: DUP4
00002255: ADD
00002256: MSTORE
00002257: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
00002278: PUSH1 0x20
0000227a: DUP4
0000227b: ADD
0000227c: MSTORE
0000227d: PUSH1 0x40
0000227f: DUP3
00002280: ADD
00002281: SWAP1
00002282: POP
00002283: SWAP2
00002284: SWAP1
00002285: POP
00002286: JUMP
00002287: JUMPDEST
00002288: PUSH1 0x00
0000228a: PUSH2 0x2294
0000228d: PUSH1 0x17
0000228f: DUP4
00002290: PUSH2 0x2753
00002293: JUMP
00002294: JUMPDEST
00002295: SWAP2
00002296: POP
00002297: PUSH32 0x63616e27742072656365697665204c5020746f6b656e73000000000000000000
000022b8: PUSH1 0x00
000022ba: DUP4
000022bb: ADD
000022bc: MSTORE
000022bd: PUSH1 0x20
000022bf: DUP3
000022c0: ADD
000022c1: SWAP1
000022c2: POP
000022c3: SWAP2
000022c4: SWAP1
000022c5: POP
000022c6: JUMP
000022c7: JUMPDEST
000022c8: PUSH1 0x00
000022ca: PUSH2 0x22d4
000022cd: PUSH1 0x15
000022cf: DUP4
000022d0: PUSH2 0x2753
000022d3: JUMP
000022d4: JUMPDEST
000022d5: SWAP2
000022d6: POP
000022d7: PUSH32 0x50726573616c65206973207374696c6c206c6976650000000000000000000000
000022f8: PUSH1 0x00
000022fa: DUP4
000022fb: ADD
000022fc: MSTORE
000022fd: PUSH1 0x20
000022ff: DUP3
00002300: ADD
00002301: SWAP1
00002302: POP
00002303: SWAP2
00002304: SWAP1
00002305: POP
00002306: JUMP
00002307: JUMPDEST
00002308: PUSH1 0x00
0000230a: PUSH2 0x2314
0000230d: PUSH1 0x21
0000230f: DUP4
00002310: PUSH2 0x2753
00002313: JUMP
00002314: JUMPDEST
00002315: SWAP2
00002316: POP
00002317: PUSH32 0x6572726f7220616464696e67206c697175696469747920746f20756e69737761
00002338: PUSH1 0x00
0000233a: DUP4
0000233b: ADD
0000233c: MSTORE
0000233d: PUSH32 0x7000000000000000000000000000000000000000000000000000000000000000
0000235e: PUSH1 0x20
00002360: DUP4
00002361: ADD
00002362: MSTORE
00002363: PUSH1 0x40
00002365: DUP3
00002366: ADD
00002367: SWAP1
00002368: POP
00002369: SWAP2
0000236a: SWAP1
0000236b: POP
0000236c: JUMP
0000236d: JUMPDEST
0000236e: PUSH1 0x00
00002370: PUSH2 0x237a
00002373: PUSH1 0x26
00002375: DUP4
00002376: PUSH2 0x2753
00002379: JUMP
0000237a: JUMPDEST
0000237b: SWAP2
0000237c: POP
0000237d: PUSH32 0x596f75206469646e277420706172746963697061746520696e20746865206361
0000239e: PUSH1 0x00
000023a0: DUP4
000023a1: ADD
000023a2: MSTORE
000023a3: PUSH32 0x6d706169676e0000000000000000000000000000000000000000000000000000
000023c4: PUSH1 0x20
000023c6: DUP4
000023c7: ADD
000023c8: MSTORE
000023c9: PUSH1 0x40
000023cb: DUP3
000023cc: ADD
000023cd: SWAP1
000023ce: POP
000023cf: SWAP2
000023d0: SWAP1
000023d1: POP
000023d2: JUMP
000023d3: JUMPDEST
000023d4: PUSH1 0x00
000023d6: PUSH2 0x23e0
000023d9: PUSH1 0x1b
000023db: DUP4
000023dc: PUSH2 0x2753
000023df: JUMP
000023e0: JUMPDEST
000023e1: SWAP2
000023e2: POP
000023e3: PUSH32 0x4c697175696469747920697320616c7265616479206c6f636b65640000000000
00002404: PUSH1 0x00
00002406: DUP4
00002407: ADD
00002408: MSTORE
00002409: PUSH1 0x20
0000240b: DUP3
0000240c: ADD
0000240d: SWAP1
0000240e: POP
0000240f: SWAP2
00002410: SWAP1
00002411: POP
00002412: JUMP
00002413: JUMPDEST
00002414: PUSH2 0x241c
00002417: DUP2
00002418: PUSH2 0x27a2
0000241b: JUMP
0000241c: JUMPDEST
0000241d: DUP3
0000241e: MSTORE
0000241f: POP
00002420: POP
00002421: JUMP
00002422: JUMPDEST
00002423: PUSH1 0x00
00002425: PUSH1 0x20
00002427: DUP3
00002428: ADD
00002429: SWAP1
0000242a: POP
0000242b: PUSH2 0x2437
0000242e: PUSH1 0x00
00002430: DUP4
00002431: ADD
00002432: DUP5
00002433: PUSH2 0x1ec9
00002436: JUMP
00002437: JUMPDEST
00002438: SWAP3
00002439: SWAP2
0000243a: POP
0000243b: POP
0000243c: JUMP
0000243d: JUMPDEST
0000243e: PUSH1 0x00
00002440: PUSH1 0x40
00002442: DUP3
00002443: ADD
00002444: SWAP1
00002445: POP
00002446: PUSH2 0x2452
00002449: PUSH1 0x00
0000244b: DUP4
0000244c: ADD
0000244d: DUP6
0000244e: PUSH2 0x1eba
00002451: JUMP
00002452: JUMPDEST
00002453: PUSH2 0x245f
00002456: PUSH1 0x20
00002458: DUP4
00002459: ADD
0000245a: DUP5
0000245b: PUSH2 0x2413
0000245e: JUMP
0000245f: JUMPDEST
00002460: SWAP4
00002461: SWAP3
00002462: POP
00002463: POP
00002464: POP
00002465: JUMP
00002466: JUMPDEST
00002467: PUSH1 0x00
00002469: PUSH1 0x40
0000246b: DUP3
0000246c: ADD
0000246d: SWAP1
0000246e: POP
0000246f: PUSH2 0x247b
00002472: PUSH1 0x00
00002474: DUP4
00002475: ADD
00002476: DUP6
00002477: PUSH2 0x1ec9
0000247a: JUMP
0000247b: JUMPDEST
0000247c: PUSH2 0x2488
0000247f: PUSH1 0x20
00002481: DUP4
00002482: ADD
00002483: DUP5
00002484: PUSH2 0x2413
00002487: JUMP
00002488: JUMPDEST
00002489: SWAP4
0000248a: SWAP3
0000248b: POP
0000248c: POP
0000248d: POP
0000248e: JUMP
0000248f: JUMPDEST
00002490: PUSH1 0x00
00002492: PUSH1 0xc0
00002494: DUP3
00002495: ADD
00002496: SWAP1
00002497: POP
00002498: PUSH2 0x24a4
0000249b: PUSH1 0x00
0000249d: DUP4
0000249e: ADD
0000249f: DUP10
000024a0: PUSH2 0x1ec9
000024a3: JUMP
000024a4: JUMPDEST
000024a5: PUSH2 0x24b1
000024a8: PUSH1 0x20
000024aa: DUP4
000024ab: ADD
000024ac: DUP9
000024ad: PUSH2 0x2413
000024b0: JUMP
000024b1: JUMPDEST
000024b2: PUSH2 0x24be
000024b5: PUSH1 0x40
000024b7: DUP4
000024b8: ADD
000024b9: DUP8
000024ba: PUSH2 0x1ee7
000024bd: JUMP
000024be: JUMPDEST
000024bf: PUSH2 0x24cb
000024c2: PUSH1 0x60
000024c4: DUP4
000024c5: ADD
000024c6: DUP7
000024c7: PUSH2 0x1ee7
000024ca: JUMP
000024cb: JUMPDEST
000024cc: PUSH2 0x24d8
000024cf: PUSH1 0x80
000024d1: DUP4
000024d2: ADD
000024d3: DUP6
000024d4: PUSH2 0x1ec9
000024d7: JUMP
000024d8: JUMPDEST
000024d9: PUSH2 0x24e5
000024dc: PUSH1 0xa0
000024de: DUP4
000024df: ADD
000024e0: DUP5
000024e1: PUSH2 0x2413
000024e4: JUMP
000024e5: JUMPDEST
000024e6: SWAP8
000024e7: SWAP7
000024e8: POP
000024e9: POP
000024ea: POP
000024eb: POP
000024ec: POP
000024ed: POP
000024ee: POP
000024ef: JUMP
000024f0: JUMPDEST
000024f1: PUSH1 0x00
000024f3: PUSH1 0x20
000024f5: DUP3
000024f6: ADD
000024f7: SWAP1
000024f8: POP
000024f9: PUSH2 0x2505
000024fc: PUSH1 0x00
000024fe: DUP4
000024ff: ADD
00002500: DUP5
00002501: PUSH2 0x1ed8
00002504: JUMP
00002505: JUMPDEST
00002506: SWAP3
00002507: SWAP2
00002508: POP
00002509: POP
0000250a: JUMP
0000250b: JUMPDEST
0000250c: PUSH1 0x00
0000250e: PUSH1 0x20
00002510: DUP3
00002511: ADD
00002512: SWAP1
00002513: POP
00002514: DUP2
00002515: DUP2
00002516: SUB
00002517: PUSH1 0x00
00002519: DUP4
0000251a: ADD
0000251b: MSTORE
0000251c: PUSH2 0x2525
0000251f: DUP2
00002520: DUP5
00002521: PUSH2 0x1ef6
00002524: JUMP
00002525: JUMPDEST
00002526: SWAP1
00002527: POP
00002528: SWAP3
00002529: SWAP2
0000252a: POP
0000252b: POP
0000252c: JUMP
0000252d: JUMPDEST
0000252e: PUSH1 0x00
00002530: PUSH1 0x20
00002532: DUP3
00002533: ADD
00002534: SWAP1
00002535: POP
00002536: DUP2
00002537: DUP2
00002538: SUB
00002539: PUSH1 0x00
0000253b: DUP4
0000253c: ADD
0000253d: MSTORE
0000253e: PUSH2 0x2546
00002541: DUP2
00002542: PUSH2 0x1f2f
00002545: JUMP
00002546: JUMPDEST
00002547: SWAP1
00002548: POP
00002549: SWAP2
0000254a: SWAP1
0000254b: POP
0000254c: JUMP
0000254d: JUMPDEST
0000254e: PUSH1 0x00
00002550: PUSH1 0x20
00002552: DUP3
00002553: ADD
00002554: SWAP1
00002555: POP
00002556: DUP2
00002557: DUP2
00002558: SUB
00002559: PUSH1 0x00
0000255b: DUP4
0000255c: ADD
0000255d: MSTORE
0000255e: PUSH2 0x2566
00002561: DUP2
00002562: PUSH2 0x1f95
00002565: JUMP
00002566: JUMPDEST
00002567: SWAP1
00002568: POP
00002569: SWAP2
0000256a: SWAP1
0000256b: POP
0000256c: JUMP
0000256d: JUMPDEST
0000256e: PUSH1 0x00
00002570: PUSH1 0x20
00002572: DUP3
00002573: ADD
00002574: SWAP1
00002575: POP
00002576: DUP2
00002577: DUP2
00002578: SUB
00002579: PUSH1 0x00
0000257b: DUP4
0000257c: ADD
0000257d: MSTORE
0000257e: PUSH2 0x2586
00002581: DUP2
00002582: PUSH2 0x1fd5
00002585: JUMP
00002586: JUMPDEST
00002587: SWAP1
00002588: POP
00002589: SWAP2
0000258a: SWAP1
0000258b: POP
0000258c: JUMP
0000258d: JUMPDEST
0000258e: PUSH1 0x00
00002590: PUSH1 0x20
00002592: DUP3
00002593: ADD
00002594: SWAP1
00002595: POP
00002596: DUP2
00002597: DUP2
00002598: SUB
00002599: PUSH1 0x00
0000259b: DUP4
0000259c: ADD
0000259d: MSTORE
0000259e: PUSH2 0x25a6
000025a1: DUP2
000025a2: PUSH2 0x2015
000025a5: JUMP
000025a6: JUMPDEST
000025a7: SWAP1
000025a8: POP
000025a9: SWAP2
000025aa: SWAP1
000025ab: POP
000025ac: JUMP
000025ad: JUMPDEST
000025ae: PUSH1 0x00
000025b0: PUSH1 0x20
000025b2: DUP3
000025b3: ADD
000025b4: SWAP1
000025b5: POP
000025b6: DUP2
000025b7: DUP2
000025b8: SUB
000025b9: PUSH1 0x00
000025bb: DUP4
000025bc: ADD
000025bd: MSTORE
000025be: PUSH2 0x25c6
000025c1: DUP2
000025c2: PUSH2 0x207b
000025c5: JUMP
000025c6: JUMPDEST
000025c7: SWAP1
000025c8: POP
000025c9: SWAP2
000025ca: SWAP1
000025cb: POP
000025cc: JUMP
000025cd: JUMPDEST
000025ce: PUSH1 0x00
000025d0: PUSH1 0x20
000025d2: DUP3
000025d3: ADD
000025d4: SWAP1
000025d5: POP
000025d6: DUP2
000025d7: DUP2
000025d8: SUB
000025d9: PUSH1 0x00
000025db: DUP4
000025dc: ADD
000025dd: MSTORE
000025de: PUSH2 0x25e6
000025e1: DUP2
000025e2: PUSH2 0x20e1
000025e5: JUMP
000025e6: JUMPDEST
000025e7: SWAP1
000025e8: POP
000025e9: SWAP2
000025ea: SWAP1
000025eb: POP
000025ec: JUMP
000025ed: JUMPDEST
000025ee: PUSH1 0x00
000025f0: PUSH1 0x20
000025f2: DUP3
000025f3: ADD
000025f4: SWAP1
000025f5: POP
000025f6: DUP2
000025f7: DUP2
000025f8: SUB
000025f9: PUSH1 0x00
000025fb: DUP4
000025fc: ADD
000025fd: MSTORE
000025fe: PUSH2 0x2606
00002601: DUP2
00002602: PUSH2 0x2121
00002605: JUMP
00002606: JUMPDEST
00002607: SWAP1
00002608: POP
00002609: SWAP2
0000260a: SWAP1
0000260b: POP
0000260c: JUMP
0000260d: JUMPDEST
0000260e: PUSH1 0x00
00002610: PUSH1 0x20
00002612: DUP3
00002613: ADD
00002614: SWAP1
00002615: POP
00002616: DUP2
00002617: DUP2
00002618: SUB
00002619: PUSH1 0x00
0000261b: DUP4
0000261c: ADD
0000261d: MSTORE
0000261e: PUSH2 0x2626
00002621: DUP2
00002622: PUSH2 0x2161
00002625: JUMP
00002626: JUMPDEST
00002627: SWAP1
00002628: POP
00002629: SWAP2
0000262a: SWAP1
0000262b: POP
0000262c: JUMP
0000262d: JUMPDEST
0000262e: PUSH1 0x00
00002630: PUSH1 0x20
00002632: DUP3
00002633: ADD
00002634: SWAP1
00002635: POP
00002636: DUP2
00002637: DUP2
00002638: SUB
00002639: PUSH1 0x00
0000263b: DUP4
0000263c: ADD
0000263d: MSTORE
0000263e: PUSH2 0x2646
00002641: DUP2
00002642: PUSH2 0x21a1
00002645: JUMP
00002646: JUMPDEST
00002647: SWAP1
00002648: POP
00002649: SWAP2
0000264a: SWAP1
0000264b: POP
0000264c: JUMP
0000264d: JUMPDEST
0000264e: PUSH1 0x00
00002650: PUSH1 0x20
00002652: DUP3
00002653: ADD
00002654: SWAP1
00002655: POP
00002656: DUP2
00002657: DUP2
00002658: SUB
00002659: PUSH1 0x00
0000265b: DUP4
0000265c: ADD
0000265d: MSTORE
0000265e: PUSH2 0x2666
00002661: DUP2
00002662: PUSH2 0x21e1
00002665: JUMP
00002666: JUMPDEST
00002667: SWAP1
00002668: POP
00002669: SWAP2
0000266a: SWAP1
0000266b: POP
0000266c: JUMP
0000266d: JUMPDEST
0000266e: PUSH1 0x00
00002670: PUSH1 0x20
00002672: DUP3
00002673: ADD
00002674: SWAP1
00002675: POP
00002676: DUP2
00002677: DUP2
00002678: SUB
00002679: PUSH1 0x00
0000267b: DUP4
0000267c: ADD
0000267d: MSTORE
0000267e: PUSH2 0x2686
00002681: DUP2
00002682: PUSH2 0x2221
00002685: JUMP
00002686: JUMPDEST
00002687: SWAP1
00002688: POP
00002689: SWAP2
0000268a: SWAP1
0000268b: POP
0000268c: JUMP
0000268d: JUMPDEST
0000268e: PUSH1 0x00
00002690: PUSH1 0x20
00002692: DUP3
00002693: ADD
00002694: SWAP1
00002695: POP
00002696: DUP2
00002697: DUP2
00002698: SUB
00002699: PUSH1 0x00
0000269b: DUP4
0000269c: ADD
0000269d: MSTORE
0000269e: PUSH2 0x26a6
000026a1: DUP2
000026a2: PUSH2 0x2287
000026a5: JUMP
000026a6: JUMPDEST
000026a7: SWAP1
000026a8: POP
000026a9: SWAP2
000026aa: SWAP1
000026ab: POP
000026ac: JUMP
000026ad: JUMPDEST
000026ae: PUSH1 0x00
000026b0: PUSH1 0x20
000026b2: DUP3
000026b3: ADD
000026b4: SWAP1
000026b5: POP
000026b6: DUP2
000026b7: DUP2
000026b8: SUB
000026b9: PUSH1 0x00
000026bb: DUP4
000026bc: ADD
000026bd: MSTORE
000026be: PUSH2 0x26c6
000026c1: DUP2
000026c2: PUSH2 0x22c7
000026c5: JUMP
000026c6: JUMPDEST
000026c7: SWAP1
000026c8: POP
000026c9: SWAP2
000026ca: SWAP1
000026cb: POP
000026cc: JUMP
000026cd: JUMPDEST
000026ce: PUSH1 0x00
000026d0: PUSH1 0x20
000026d2: DUP3
000026d3: ADD
000026d4: SWAP1
000026d5: POP
000026d6: DUP2
000026d7: DUP2
000026d8: SUB
000026d9: PUSH1 0x00
000026db: DUP4
000026dc: ADD
000026dd: MSTORE
000026de: PUSH2 0x26e6
000026e1: DUP2
000026e2: PUSH2 0x2307
000026e5: JUMP
000026e6: JUMPDEST
000026e7: SWAP1
000026e8: POP
000026e9: SWAP2
000026ea: SWAP1
000026eb: POP
000026ec: JUMP
000026ed: JUMPDEST
000026ee: PUSH1 0x00
000026f0: PUSH1 0x20
000026f2: DUP3
000026f3: ADD
000026f4: SWAP1
000026f5: POP
000026f6: DUP2
000026f7: DUP2
000026f8: SUB
000026f9: PUSH1 0x00
000026fb: DUP4
000026fc: ADD
000026fd: MSTORE
000026fe: PUSH2 0x2706
00002701: DUP2
00002702: PUSH2 0x236d
00002705: JUMP
00002706: JUMPDEST
00002707: SWAP1
00002708: POP
00002709: SWAP2
0000270a: SWAP1
0000270b: POP
0000270c: JUMP
0000270d: JUMPDEST
0000270e: PUSH1 0x00
00002710: PUSH1 0x20
00002712: DUP3
00002713: ADD
00002714: SWAP1
00002715: POP
00002716: DUP2
00002717: DUP2
00002718: SUB
00002719: PUSH1 0x00
0000271b: DUP4
0000271c: ADD
0000271d: MSTORE
0000271e: PUSH2 0x2726
00002721: DUP2
00002722: PUSH2 0x23d3
00002725: JUMP
00002726: JUMPDEST
00002727: SWAP1
00002728: POP
00002729: SWAP2
0000272a: SWAP1
0000272b: POP
0000272c: JUMP
0000272d: JUMPDEST
0000272e: PUSH1 0x00
00002730: PUSH1 0x20
00002732: DUP3
00002733: ADD
00002734: SWAP1
00002735: POP
00002736: PUSH2 0x2742
00002739: PUSH1 0x00
0000273b: DUP4
0000273c: ADD
0000273d: DUP5
0000273e: PUSH2 0x2413
00002741: JUMP
00002742: JUMPDEST
00002743: SWAP3
00002744: SWAP2
00002745: POP
00002746: POP
00002747: JUMP
00002748: JUMPDEST
00002749: PUSH1 0x00
0000274b: DUP2
0000274c: MLOAD
0000274d: SWAP1
0000274e: POP
0000274f: SWAP2
00002750: SWAP1
00002751: POP
00002752: JUMP
00002753: JUMPDEST
00002754: PUSH1 0x00
00002756: DUP3
00002757: DUP3
00002758: MSTORE
00002759: PUSH1 0x20
0000275b: DUP3
0000275c: ADD
0000275d: SWAP1
0000275e: POP
0000275f: SWAP3
00002760: SWAP2
00002761: POP
00002762: POP
00002763: JUMP
00002764: JUMPDEST
00002765: PUSH1 0x00
00002767: PUSH2 0x276f
0000276a: DUP3
0000276b: PUSH2 0x2782
0000276e: JUMP
0000276f: JUMPDEST
00002770: SWAP1
00002771: POP
00002772: SWAP2
00002773: SWAP1
00002774: POP
00002775: JUMP
00002776: JUMPDEST
00002777: PUSH1 0x00
00002779: DUP2
0000277a: ISZERO
0000277b: ISZERO
0000277c: SWAP1
0000277d: POP
0000277e: SWAP2
0000277f: SWAP1
00002780: POP
00002781: JUMP
00002782: JUMPDEST
00002783: PUSH1 0x00
00002785: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000279a: DUP3
0000279b: AND
0000279c: SWAP1
0000279d: POP
0000279e: SWAP2
0000279f: SWAP1
000027a0: POP
000027a1: JUMP
000027a2: JUMPDEST
000027a3: PUSH1 0x00
000027a5: DUP2
000027a6: SWAP1
000027a7: POP
000027a8: SWAP2
000027a9: SWAP1
000027aa: POP
000027ab: JUMP
000027ac: JUMPDEST
000027ad: PUSH1 0x00
000027af: PUSH2 0x27b7
000027b2: DUP3
000027b3: PUSH2 0x27d0
000027b6: JUMP
000027b7: JUMPDEST
000027b8: SWAP1
000027b9: POP
000027ba: SWAP2
000027bb: SWAP1
000027bc: POP
000027bd: JUMP
000027be: JUMPDEST
000027bf: PUSH1 0x00
000027c1: PUSH2 0x27c9
000027c4: DUP3
000027c5: PUSH2 0x27a2
000027c8: JUMP
000027c9: JUMPDEST
000027ca: SWAP1
000027cb: POP
000027cc: SWAP2
000027cd: SWAP1
000027ce: POP
000027cf: JUMP
000027d0: JUMPDEST
000027d1: PUSH1 0x00
000027d3: PUSH2 0x27db
000027d6: DUP3
000027d7: PUSH2 0x27e2
000027da: JUMP
000027db: JUMPDEST
000027dc: SWAP1
000027dd: POP
000027de: SWAP2
000027df: SWAP1
000027e0: POP
000027e1: JUMP
000027e2: JUMPDEST
000027e3: PUSH1 0x00
000027e5: PUSH2 0x27ed
000027e8: DUP3
000027e9: PUSH2 0x2782
000027ec: JUMP
000027ed: JUMPDEST
000027ee: SWAP1
000027ef: POP
000027f0: SWAP2
000027f1: SWAP1
000027f2: POP
000027f3: JUMP
000027f4: JUMPDEST
000027f5: PUSH1 0x00
000027f7: JUMPDEST
000027f8: DUP4
000027f9: DUP2
000027fa: LT
000027fb: ISZERO
000027fc: PUSH2 0x2812
000027ff: JUMPI
00002800: DUP1
00002801: DUP3
00002802: ADD
00002803: MLOAD
00002804: DUP2
00002805: DUP5
00002806: ADD
00002807: MSTORE
00002808: PUSH1 0x20
0000280a: DUP2
0000280b: ADD
0000280c: SWAP1
0000280d: POP
0000280e: PUSH2 0x27f7
00002811: JUMP
00002812: JUMPDEST
00002813: DUP4
00002814: DUP2
00002815: GT
00002816: ISZERO
00002817: PUSH2 0x2821
0000281a: JUMPI
0000281b: PUSH1 0x00
0000281d: DUP5
0000281e: DUP5
0000281f: ADD
00002820: MSTORE
00002821: JUMPDEST
00002822: POP
00002823: POP
00002824: POP
00002825: POP
00002826: JUMP
00002827: JUMPDEST
00002828: PUSH1 0x00
0000282a: PUSH1 0x1f
0000282c: NOT
0000282d: PUSH1 0x1f
0000282f: DUP4
00002830: ADD
00002831: AND
00002832: SWAP1
00002833: POP
00002834: SWAP2
00002835: SWAP1
00002836: POP
00002837: JUMP
00002838: JUMPDEST
00002839: PUSH2 0x2841
0000283c: DUP2
0000283d: PUSH2 0x2764
00002840: JUMP
00002841: JUMPDEST
00002842: DUP2
00002843: EQ
00002844: PUSH2 0x284c
00002847: JUMPI
00002848: PUSH1 0x00
0000284a: DUP1
0000284b: REVERT
0000284c: JUMPDEST
0000284d: POP
0000284e: JUMP
0000284f: JUMPDEST
00002850: PUSH2 0x2858
00002853: DUP2
00002854: PUSH2 0x2776
00002857: JUMP
00002858: JUMPDEST
00002859: DUP2
0000285a: EQ
0000285b: PUSH2 0x2863
0000285e: JUMPI
0000285f: PUSH1 0x00
00002861: DUP1
00002862: REVERT
00002863: JUMPDEST
00002864: POP
00002865: JUMP
00002866: JUMPDEST
00002867: PUSH2 0x286f
0000286a: DUP2
0000286b: PUSH2 0x27a2
0000286e: JUMP
0000286f: JUMPDEST
00002870: DUP2
00002871: EQ
00002872: PUSH2 0x287a
00002875: JUMPI
00002876: PUSH1 0x00
00002878: DUP1
00002879: REVERT
0000287a: JUMPDEST
0000287b: POP
0000287c: JUMP
0000287d: INVALID
0000287e: LOG2
0000287f: PUSH5 0x6970667358
00002885: UNKNOWN(0x22)
00002886: SLT
00002887: KECCAK256
00002888: TLOAD
00002889: PUSH22 0x482f4a93eb396d51a767cda77abd19237347db6744fe
000028a0: SGT
000028a1: MSTORE8
000028a2: UNKNOWN(0x2E)
000028a3: PUSH5 0x40f2f92164
000028a9: PUSH20
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: 0x6bb01c5747a79b79b08ce734c6c54d11a43c7c2a941869ba64975f5fbbc5ccd9 call_targets: 0xc04ecbf0bf96d1dd76960dd04e5bf7b0da593b0a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6bb01c5747a79b79b08ce734c6c54d11a43c7c2a941869ba64975f5fbbc5ccd9", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc04ecbf0bf96d1dd76960dd04e5bf7b0da593b0a" ], "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": "0xeb218034", "selector": "0xeb218034", "calldata_variants": [ "0xeb218034", "0xeb2180340000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf841bcbf", "selector": "0xf841bcbf", "calldata_variants": [ "0xf841bcbf", "0xf841bcbf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfb86a404", "selector": "0xfb86a404", "calldata_variants": [ "0xfb86a404", "0xfb86a4040000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcf309012", "selector": "0xcf309012", "calldata_variants": [ "0xcf309012", "0xcf3090120000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0febe4c", "selector": "0xd0febe4c", "calldata_variants": [ "0xd0febe4c", "0xd0febe4c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd6a022b8", "selector": "0xd6a022b8", "calldata_variants": [ "0xd6a022b8", "0xd6a022b80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x906a26e0", "selector": "0x906a26e0", "calldata_variants": [ "0x906a26e0", "0x906a26e00000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2017, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2326, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2967, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 9, "guards_detected": [ { "pc": 2793, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3993, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 9 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x6bb01c5747a79b79b08ce734c6c54d11a43c7c2a941869ba64975f5fbbc5ccd9 call_targets: 0xc04ecbf0bf96d1dd76960dd04e5bf7b0da593b0a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6bb01c5747a79b79b08ce734c6c54d11a43c7c2a941869ba64975f5fbbc5ccd9", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc04ecbf0bf96d1dd76960dd04e5bf7b0da593b0a" ], "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": "0xeb218034", "selector": "0xeb218034", "calldata_variants": [ "0xeb218034", "0xeb2180340000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf841bcbf", "selector": "0xf841bcbf", "calldata_variants": [ "0xf841bcbf", "0xf841bcbf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfb86a404", "selector": "0xfb86a404", "calldata_variants": [ "0xfb86a404", "0xfb86a4040000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcf309012", "selector": "0xcf309012", "calldata_variants": [ "0xcf309012", "0xcf3090120000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0febe4c", "selector": "0xd0febe4c", "calldata_variants": [ "0xd0febe4c", "0xd0febe4c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd6a022b8", "selector": "0xd6a022b8", "calldata_variants": [ "0xd6a022b8", "0xd6a022b80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x906a26e0", "selector": "0x906a26e0", "calldata_variants": [ "0x906a26e0", "0x906a26e00000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2017, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2326, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2967, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 9, "guards_detected": [ { "pc": 2793, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3993, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity