TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-c3e5-70cc-b1aa-b23624a6dcec

complete
Chain ID
1
Address
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?

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
25303 artifact.fetch complete 1 / 3 3 months ago
25304 tool.cast_disasm complete 1 / 3 3 months ago
102628 analysis.bundle complete 1 / 3 1 week ago
102629 capability.graph complete 1 / 3 1 week ago
102630 detector.run complete 1 / 3 1 week ago
102631 validation.fork complete 1 / 3 1 week 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)
8
EXT*/BALANCE
1
Total opcodes
5147
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0260
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9457e24d
00000019: GT
0000001a: PUSH2 0x0144
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xda21183f
00000024: GT
00000025: PUSH2 0x00b6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe25fe175
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe25fe175
0000003a: EQ
0000003b: PUSH2 0x06a7
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x06bd
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf4c42090
00000050: EQ
00000051: PUSH2 0x06dd
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfa1acb5c
0000005b: EQ
0000005c: PUSH2 0x06fd
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfc0c546a
00000066: EQ
00000067: PUSH2 0x0713
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xfe9fbb80
00000071: EQ
00000072: PUSH2 0x0733
00000075: JUMPI
00000076: PUSH1 0x00
00000078: DUP1
00000079: REVERT
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xda21183f
00000081: EQ
00000082: PUSH2 0x0612
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xdd467064
0000008c: EQ
0000008d: PUSH2 0x0632
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xde0ee2eb
00000097: EQ
00000098: PUSH2 0x0652
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xde2cc482
000000a2: EQ
000000a3: PUSH2 0x0672
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xe1becfac
000000ad: EQ
000000ae: PUSH2 0x0687
000000b1: JUMPI
000000b2: PUSH1 0x00
000000b4: DUP1
000000b5: REVERT
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0xa69df4b5
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa69df4b5
000000c8: EQ
000000c9: PUSH2 0x0579
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xaab59bd1
000000d3: EQ
000000d4: PUSH2 0x058e
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xb361c2c7
000000de: EQ
000000df: PUSH2 0x05ae
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xb6a5d7de
000000e9: EQ
000000ea: PUSH2 0x05c8
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xb6c52324
000000f4: EQ
000000f5: PUSH2 0x05e8
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xc1bd09c3
000000ff: EQ
00000100: PUSH2 0x05fd
00000103: JUMPI
00000104: PUSH1 0x00
00000106: DUP1
00000107: REVERT
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x9457e24d
0000010f: EQ
00000110: PUSH2 0x04e3
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x959cf2ac
0000011a: EQ
0000011b: PUSH2 0x0503
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x99c10d00
00000125: EQ
00000126: PUSH2 0x0519
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x9da76075
00000130: EQ
00000131: PUSH2 0x0539
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0xa67a46de
0000013b: EQ
0000013c: PUSH2 0x0559
0000013f: JUMPI
00000140: PUSH1 0x00
00000142: DUP1
00000143: REVERT
00000144: JUMPDEST
00000145: DUP1
00000146: PUSH4 0x27c97fa5
0000014b: GT
0000014c: PUSH2 0x01dd
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x545370b2
00000156: GT
00000157: PUSH2 0x01a1
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x545370b2
00000161: EQ
00000162: PUSH2 0x043a
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x715018a6
0000016c: EQ
0000016d: PUSH2 0x0450
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x77495473
00000177: EQ
00000178: PUSH2 0x0465
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x8217c9c4
00000182: EQ
00000183: PUSH2 0x0485
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x83057eb6
0000018d: EQ
0000018e: PUSH2 0x04a5
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x8da5cb5b
00000198: EQ
00000199: PUSH2 0x04c5
0000019c: JUMPI
0000019d: PUSH1 0x00
0000019f: DUP1
000001a0: REVERT
000001a1: JUMPDEST
000001a2: DUP1
000001a3: PUSH4 0x27c97fa5
000001a8: EQ
000001a9: PUSH2 0x03af
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x2feda7b1
000001b3: EQ
000001b4: PUSH2 0x03cf
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x3ee9d794
000001be: EQ
000001bf: PUSH2 0x03e4
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x40f311f3
000001c9: EQ
000001ca: PUSH2 0x03fa
000001cd: JUMPI
000001ce: DUP1
000001cf: PUSH4 0x4e25b08b
000001d4: EQ
000001d5: PUSH2 0x041a
000001d8: JUMPI
000001d9: PUSH1 0x00
000001db: DUP1
000001dc: REVERT
000001dd: JUMPDEST
000001de: DUP1
000001df: PUSH4 0x1ed6899c
000001e4: GT
000001e5: PUSH2 0x0224
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x1ed6899c
000001ef: EQ
000001f0: PUSH2 0x0321
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x1ef3755d
000001fa: EQ
000001fb: PUSH2 0x0359
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x1f93d1b3
00000205: EQ
00000206: PUSH2 0x036e
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x25e7e3cf
00000210: EQ
00000211: PUSH2 0x0384
00000214: JUMPI
00000215: DUP1
00000216: PUSH4 0x25efc100
0000021b: EQ
0000021c: PUSH2 0x0399
0000021f: JUMPI
00000220: PUSH1 0x00
00000222: DUP1
00000223: REVERT
00000224: JUMPDEST
00000225: DUP1
00000226: PUSH4 0x058a628f
0000022b: EQ
0000022c: PUSH2 0x026c
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0x10855c18
00000236: EQ
00000237: PUSH2 0x028e
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0x144fa6d7
00000241: EQ
00000242: PUSH2 0x02bd
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0x18d5c171
0000024c: EQ
0000024d: PUSH2 0x02dd
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0x1903092b
00000257: EQ
00000258: PUSH2 0x0301
0000025b: JUMPI
0000025c: PUSH1 0x00
0000025e: DUP1
0000025f: REVERT
00000260: JUMPDEST
00000261: CALLDATASIZE
00000262: PUSH2 0x0267
00000265: JUMPI
00000266: STOP
00000267: JUMPDEST
00000268: PUSH1 0x00
0000026a: DUP1
0000026b: REVERT
0000026c: JUMPDEST
0000026d: CALLVALUE
0000026e: DUP1
0000026f: ISZERO
00000270: PUSH2 0x0278
00000273: JUMPI
00000274: PUSH1 0x00
00000276: DUP1
00000277: REVERT
00000278: JUMPDEST
00000279: POP
0000027a: PUSH2 0x028c
0000027d: PUSH2 0x0287
00000280: CALLDATASIZE
00000281: PUSH1 0x04
00000283: PUSH2 0x1ad3
00000286: JUMP
00000287: JUMPDEST
00000288: PUSH2 0x0753
0000028b: JUMP
0000028c: JUMPDEST
0000028d: STOP
0000028e: JUMPDEST
0000028f: CALLVALUE
00000290: DUP1
00000291: ISZERO
00000292: PUSH2 0x029a
00000295: JUMPI
00000296: PUSH1 0x00
00000298: DUP1
00000299: REVERT
0000029a: JUMPDEST
0000029b: POP
0000029c: PUSH1 0x16
0000029e: SLOAD
0000029f: PUSH2 0x02a8
000002a2: SWAP1
000002a3: PUSH1 0xff
000002a5: AND
000002a6: DUP2
000002a7: JUMP
000002a8: JUMPDEST
000002a9: PUSH1 0x40
000002ab: MLOAD
000002ac: SWAP1
000002ad: ISZERO
000002ae: ISZERO
000002af: DUP2
000002b0: MSTORE
000002b1: PUSH1 0x20
000002b3: ADD
000002b4: JUMPDEST
000002b5: PUSH1 0x40
000002b7: MLOAD
000002b8: DUP1
000002b9: SWAP2
000002ba: SUB
000002bb: SWAP1
000002bc: RETURN
000002bd: JUMPDEST
000002be: CALLVALUE
000002bf: DUP1
000002c0: ISZERO
000002c1: PUSH2 0x02c9
000002c4: JUMPI
000002c5: PUSH1 0x00
000002c7: DUP1
000002c8: REVERT
000002c9: JUMPDEST
000002ca: POP
000002cb: PUSH2 0x028c
000002ce: PUSH2 0x02d8
000002d1: CALLDATASIZE
000002d2: PUSH1 0x04
000002d4: PUSH2 0x1ad3
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH2 0x07d5
000002dc: JUMP
000002dd: JUMPDEST
000002de: CALLVALUE
000002df: DUP1
000002e0: ISZERO
000002e1: PUSH2 0x02e9
000002e4: JUMPI
000002e5: PUSH1 0x00
000002e7: DUP1
000002e8: REVERT
000002e9: JUMPDEST
000002ea: POP
000002eb: PUSH2 0x02f3
000002ee: PUSH1 0x15
000002f0: SLOAD
000002f1: DUP2
000002f2: JUMP
000002f3: JUMPDEST
000002f4: PUSH1 0x40
000002f6: MLOAD
000002f7: SWAP1
000002f8: DUP2
000002f9: MSTORE
000002fa: PUSH1 0x20
000002fc: ADD
000002fd: PUSH2 0x02b4
00000300: JUMP
00000301: JUMPDEST
00000302: CALLVALUE
00000303: DUP1
00000304: ISZERO
00000305: PUSH2 0x030d
00000308: JUMPI
00000309: PUSH1 0x00
0000030b: DUP1
0000030c: REVERT
0000030d: JUMPDEST
0000030e: POP
0000030f: PUSH2 0x028c
00000312: PUSH2 0x031c
00000315: CALLDATASIZE
00000316: PUSH1 0x04
00000318: PUSH2 0x1af0
0000031b: JUMP
0000031c: JUMPDEST
0000031d: PUSH2 0x081c
00000320: JUMP
00000321: JUMPDEST
00000322: CALLVALUE
00000323: DUP1
00000324: ISZERO
00000325: PUSH2 0x032d
00000328: JUMPI
00000329: PUSH1 0x00
0000032b: DUP1
0000032c: REVERT
0000032d: JUMPDEST
0000032e: POP
0000032f: PUSH2 0x0341
00000332: PUSH2 0x033c
00000335: CALLDATASIZE
00000336: PUSH1 0x04
00000338: PUSH2 0x1b12
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH2 0x084c
00000340: JUMP
00000341: JUMPDEST
00000342: PUSH1 0x40
00000344: MLOAD
00000345: PUSH1 0x01
00000347: PUSH1 0x01
00000349: PUSH1 0xa0
0000034b: SHL
0000034c: SUB
0000034d: SWAP1
0000034e: SWAP2
0000034f: AND
00000350: DUP2
00000351: MSTORE
00000352: PUSH1 0x20
00000354: ADD
00000355: PUSH2 0x02b4
00000358: JUMP
00000359: JUMPDEST
0000035a: CALLVALUE
0000035b: DUP1
0000035c: ISZERO
0000035d: PUSH2 0x0365
00000360: JUMPI
00000361: PUSH1 0x00
00000363: DUP1
00000364: REVERT
00000365: JUMPDEST
00000366: POP
00000367: PUSH2 0x028c
0000036a: PUSH2 0x085f
0000036d: JUMP
0000036e: JUMPDEST
0000036f: CALLVALUE
00000370: DUP1
00000371: ISZERO
00000372: PUSH2 0x037a
00000375: JUMPI
00000376: PUSH1 0x00
00000378: DUP1
00000379: REVERT
0000037a: JUMPDEST
0000037b: POP
0000037c: PUSH2 0x02f3
0000037f: PUSH1 0x12
00000381: SLOAD
00000382: DUP2
00000383: JUMP
00000384: JUMPDEST
00000385: CALLVALUE
00000386: DUP1
00000387: ISZERO
00000388: PUSH2 0x0390
0000038b: JUMPI
0000038c: PUSH1 0x00
0000038e: DUP1
0000038f: REVERT
00000390: JUMPDEST
00000391: POP
00000392: PUSH2 0x028c
00000395: PUSH2 0x08b5
00000398: JUMP
00000399: JUMPDEST
0000039a: CALLVALUE
0000039b: DUP1
0000039c: ISZERO
0000039d: PUSH2 0x03a5
000003a0: JUMPI
000003a1: PUSH1 0x00
000003a3: DUP1
000003a4: REVERT
000003a5: JUMPDEST
000003a6: POP
000003a7: PUSH2 0x02f3
000003aa: PUSH1 0x0d
000003ac: SLOAD
000003ad: DUP2
000003ae: JUMP
000003af: JUMPDEST
000003b0: CALLVALUE
000003b1: DUP1
000003b2: ISZERO
000003b3: PUSH2 0x03bb
000003b6: JUMPI
000003b7: PUSH1 0x00
000003b9: DUP1
000003ba: REVERT
000003bb: JUMPDEST
000003bc: POP
000003bd: PUSH2 0x028c
000003c0: PUSH2 0x03ca
000003c3: CALLDATASIZE
000003c4: PUSH1 0x04
000003c6: PUSH2 0x1ad3
000003c9: JUMP
000003ca: JUMPDEST
000003cb: PUSH2 0x0916
000003ce: JUMP
000003cf: JUMPDEST
000003d0: CALLVALUE
000003d1: DUP1
000003d2: ISZERO
000003d3: PUSH2 0x03db
000003d6: JUMPI
000003d7: PUSH1 0x00
000003d9: DUP1
000003da: REVERT
000003db: JUMPDEST
000003dc: POP
000003dd: PUSH2 0x02f3
000003e0: PUSH2 0x0961
000003e3: JUMP
000003e4: JUMPDEST
000003e5: CALLVALUE
000003e6: DUP1
000003e7: ISZERO
000003e8: PUSH2 0x03f0
000003eb: JUMPI
000003ec: PUSH1 0x00
000003ee: DUP1
000003ef: REVERT
000003f0: JUMPDEST
000003f1: POP
000003f2: PUSH2 0x02f3
000003f5: PUSH1 0x0c
000003f7: SLOAD
000003f8: DUP2
000003f9: JUMP
000003fa: JUMPDEST
000003fb: CALLVALUE
000003fc: DUP1
000003fd: ISZERO
000003fe: PUSH2 0x0406
00000401: JUMPI
00000402: PUSH1 0x00
00000404: DUP1
00000405: REVERT
00000406: JUMPDEST
00000407: POP
00000408: PUSH2 0x028c
0000040b: PUSH2 0x0415
0000040e: CALLDATASIZE
0000040f: PUSH1 0x04
00000411: PUSH2 0x1b39
00000414: JUMP
00000415: JUMPDEST
00000416: PUSH2 0x0972
00000419: JUMP
0000041a: JUMPDEST
0000041b: CALLVALUE
0000041c: DUP1
0000041d: ISZERO
0000041e: PUSH2 0x0426
00000421: JUMPI
00000422: PUSH1 0x00
00000424: DUP1
00000425: REVERT
00000426: JUMPDEST
00000427: POP
00000428: PUSH2 0x028c
0000042b: PUSH2 0x0435
0000042e: CALLDATASIZE
0000042f: PUSH1 0x04
00000431: PUSH2 0x1b12
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH2 0x09e0
00000439: JUMP
0000043a: JUMPDEST
0000043b: CALLVALUE
0000043c: DUP1
0000043d: ISZERO
0000043e: PUSH2 0x0446
00000441: JUMPI
00000442: PUSH1 0x00
00000444: DUP1
00000445: REVERT
00000446: JUMPDEST
00000447: POP
00000448: PUSH2 0x02f3
0000044b: PUSH1 0x14
0000044d: SLOAD
0000044e: DUP2
0000044f: JUMP
00000450: JUMPDEST
00000451: CALLVALUE
00000452: DUP1
00000453: ISZERO
00000454: PUSH2 0x045c
00000457: JUMPI
00000458: PUSH1 0x00
0000045a: DUP1
0000045b: REVERT
0000045c: JUMPDEST
0000045d: POP
0000045e: PUSH2 0x028c
00000461: PUSH2 0x0a43
00000464: JUMP
00000465: JUMPDEST
00000466: CALLVALUE
00000467: DUP1
00000468: ISZERO
00000469: PUSH2 0x0471
0000046c: JUMPI
0000046d: PUSH1 0x00
0000046f: DUP1
00000470: REVERT
00000471: JUMPDEST
00000472: POP
00000473: PUSH2 0x02a8
00000476: PUSH2 0x0480
00000479: CALLDATASIZE
0000047a: PUSH1 0x04
0000047c: PUSH2 0x1ad3
0000047f: JUMP
00000480: JUMPDEST
00000481: PUSH2 0x0a79
00000484: JUMP
00000485: JUMPDEST
00000486: CALLVALUE
00000487: DUP1
00000488: ISZERO
00000489: PUSH2 0x0491
0000048c: JUMPI
0000048d: PUSH1 0x00
0000048f: DUP1
00000490: REVERT
00000491: JUMPDEST
00000492: POP
00000493: PUSH2 0x02a8
00000496: PUSH2 0x04a0
00000499: CALLDATASIZE
0000049a: PUSH1 0x04
0000049c: PUSH2 0x1ad3
0000049f: JUMP
000004a0: JUMPDEST
000004a1: PUSH2 0x0aab
000004a4: JUMP
000004a5: JUMPDEST
000004a6: CALLVALUE
000004a7: DUP1
000004a8: ISZERO
000004a9: PUSH2 0x04b1
000004ac: JUMPI
000004ad: PUSH1 0x00
000004af: DUP1
000004b0: REVERT
000004b1: JUMPDEST
000004b2: POP
000004b3: PUSH2 0x0341
000004b6: PUSH2 0x04c0
000004b9: CALLDATASIZE
000004ba: PUSH1 0x04
000004bc: PUSH2 0x1b12
000004bf: JUMP
000004c0: JUMPDEST
000004c1: PUSH2 0x0add
000004c4: JUMP
000004c5: JUMPDEST
000004c6: CALLVALUE
000004c7: DUP1
000004c8: ISZERO
000004c9: PUSH2 0x04d1
000004cc: JUMPI
000004cd: PUSH1 0x00
000004cf: DUP1
000004d0: REVERT
000004d1: JUMPDEST
000004d2: POP
000004d3: PUSH1 0x00
000004d5: SLOAD
000004d6: PUSH1 0x01
000004d8: PUSH1 0x01
000004da: PUSH1 0xa0
000004dc: SHL
000004dd: SUB
000004de: AND
000004df: PUSH2 0x0341
000004e2: JUMP
000004e3: JUMPDEST
000004e4: CALLVALUE
000004e5: DUP1
000004e6: ISZERO
000004e7: PUSH2 0x04ef
000004ea: JUMPI
000004eb: PUSH1 0x00
000004ed: DUP1
000004ee: REVERT
000004ef: JUMPDEST
000004f0: POP
000004f1: PUSH2 0x028c
000004f4: PUSH2 0x04fe
000004f7: CALLDATASIZE
000004f8: PUSH1 0x04
000004fa: PUSH2 0x1b84
000004fd: JUMP
000004fe: JUMPDEST
000004ff: PUSH2 0x0aea
00000502: JUMP
00000503: JUMPDEST
00000504: CALLVALUE
00000505: DUP1
00000506: ISZERO
00000507: PUSH2 0x050f
0000050a: JUMPI
0000050b: PUSH1 0x00
0000050d: DUP1
0000050e: REVERT
0000050f: JUMPDEST
00000510: POP
00000511: PUSH2 0x02f3
00000514: PUSH1 0x0e
00000516: SLOAD
00000517: DUP2
00000518: JUMP
00000519: JUMPDEST
0000051a: CALLVALUE
0000051b: DUP1
0000051c: ISZERO
0000051d: PUSH2 0x0525
00000520: JUMPI
00000521: PUSH1 0x00
00000523: DUP1
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: PUSH2 0x028c
0000052a: PUSH2 0x0534
0000052d: CALLDATASIZE
0000052e: PUSH1 0x04
00000530: PUSH2 0x1bb4
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH2 0x0bad
00000538: JUMP
00000539: JUMPDEST
0000053a: CALLVALUE
0000053b: DUP1
0000053c: ISZERO
0000053d: PUSH2 0x0545
00000540: JUMPI
00000541: PUSH1 0x00
00000543: DUP1
00000544: REVERT
00000545: JUMPDEST
00000546: POP
00000547: PUSH2 0x028c
0000054a: PUSH2 0x0554
0000054d: CALLDATASIZE
0000054e: PUSH1 0x04
00000550: PUSH2 0x1b12
00000553: JUMP
00000554: JUMPDEST
00000555: PUSH2 0x0c88
00000558: JUMP
00000559: JUMPDEST
0000055a: CALLVALUE
0000055b: DUP1
0000055c: ISZERO
0000055d: PUSH2 0x0565
00000560: JUMPI
00000561: PUSH1 0x00
00000563: DUP1
00000564: REVERT
00000565: JUMPDEST
00000566: POP
00000567: PUSH2 0x028c
0000056a: PUSH2 0x0574
0000056d: CALLDATASIZE
0000056e: PUSH1 0x04
00000570: PUSH2 0x1ad3
00000573: JUMP
00000574: JUMPDEST
00000575: PUSH2 0x0f23
00000578: JUMP
00000579: JUMPDEST
0000057a: CALLVALUE
0000057b: DUP1
0000057c: ISZERO
0000057d: PUSH2 0x0585
00000580: JUMPI
00000581: PUSH1 0x00
00000583: DUP1
00000584: REVERT
00000585: JUMPDEST
00000586: POP
00000587: PUSH2 0x028c
0000058a: PUSH2 0x0f85
0000058d: JUMP
0000058e: JUMPDEST
0000058f: CALLVALUE
00000590: DUP1
00000591: ISZERO
00000592: PUSH2 0x059a
00000595: JUMPI
00000596: PUSH1 0x00
00000598: DUP1
00000599: REVERT
0000059a: JUMPDEST
0000059b: POP
0000059c: PUSH2 0x028c
0000059f: PUSH2 0x05a9
000005a2: CALLDATASIZE
000005a3: PUSH1 0x04
000005a5: PUSH2 0x1beb
000005a8: JUMP
000005a9: JUMPDEST
000005aa: PUSH2 0x1092
000005ad: JUMP
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: PUSH1 0x13
000005be: SLOAD
000005bf: PUSH2 0x02a8
000005c2: SWAP1
000005c3: PUSH1 0xff
000005c5: AND
000005c6: DUP2
000005c7: JUMP
000005c8: JUMPDEST
000005c9: CALLVALUE
000005ca: DUP1
000005cb: ISZERO
000005cc: PUSH2 0x05d4
000005cf: JUMPI
000005d0: PUSH1 0x00
000005d2: DUP1
000005d3: REVERT
000005d4: JUMPDEST
000005d5: POP
000005d6: PUSH2 0x028c
000005d9: PUSH2 0x05e3
000005dc: CALLDATASIZE
000005dd: PUSH1 0x04
000005df: PUSH2 0x1ad3
000005e2: JUMP
000005e3: JUMPDEST
000005e4: PUSH2 0x10ca
000005e7: JUMP
000005e8: JUMPDEST
000005e9: CALLVALUE
000005ea: DUP1
000005eb: ISZERO
000005ec: PUSH2 0x05f4
000005ef: JUMPI
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: REVERT
000005f4: JUMPDEST
000005f5: POP
000005f6: PUSH1 0x02
000005f8: SLOAD
000005f9: PUSH2 0x02f3
000005fc: JUMP
000005fd: JUMPDEST
000005fe: CALLVALUE
000005ff: DUP1
00000600: ISZERO
00000601: PUSH2 0x0609
00000604: JUMPI
00000605: PUSH1 0x00
00000607: DUP1
00000608: REVERT
00000609: JUMPDEST
0000060a: POP
0000060b: PUSH2 0x02f3
0000060e: PUSH2 0x1118
00000611: JUMP
00000612: JUMPDEST
00000613: CALLVALUE
00000614: DUP1
00000615: ISZERO
00000616: PUSH2 0x061e
00000619: JUMPI
0000061a: PUSH1 0x00
0000061c: DUP1
0000061d: REVERT
0000061e: JUMPDEST
0000061f: POP
00000620: PUSH2 0x028c
00000623: PUSH2 0x062d
00000626: CALLDATASIZE
00000627: PUSH1 0x04
00000629: PUSH2 0x1ad3
0000062c: JUMP
0000062d: JUMPDEST
0000062e: PUSH2 0x1124
00000631: JUMP
00000632: JUMPDEST
00000633: CALLVALUE
00000634: DUP1
00000635: ISZERO
00000636: PUSH2 0x063e
00000639: JUMPI
0000063a: PUSH1 0x00
0000063c: DUP1
0000063d: REVERT
0000063e: JUMPDEST
0000063f: POP
00000640: PUSH2 0x028c
00000643: PUSH2 0x064d
00000646: CALLDATASIZE
00000647: PUSH1 0x04
00000649: PUSH2 0x1b12
0000064c: JUMP
0000064d: JUMPDEST
0000064e: PUSH2 0x118d
00000651: JUMP
00000652: JUMPDEST
00000653: CALLVALUE
00000654: DUP1
00000655: ISZERO
00000656: PUSH2 0x065e
00000659: JUMPI
0000065a: PUSH1 0x00
0000065c: DUP1
0000065d: REVERT
0000065e: JUMPDEST
0000065f: POP
00000660: PUSH2 0x028c
00000663: PUSH2 0x066d
00000666: CALLDATASIZE
00000667: PUSH1 0x04
00000669: PUSH2 0x1b12
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH2 0x1224
00000671: JUMP
00000672: JUMPDEST
00000673: CALLVALUE
00000674: DUP1
00000675: ISZERO
00000676: PUSH2 0x067e
00000679: JUMPI
0000067a: PUSH1 0x00
0000067c: DUP1
0000067d: REVERT
0000067e: JUMPDEST
0000067f: POP
00000680: PUSH2 0x028c
00000683: PUSH2 0x124e
00000686: JUMP
00000687: JUMPDEST
00000688: CALLVALUE
00000689: DUP1
0000068a: ISZERO
0000068b: PUSH2 0x0693
0000068e: JUMPI
0000068f: PUSH1 0x00
00000691: DUP1
00000692: REVERT
00000693: JUMPDEST
00000694: POP
00000695: PUSH2 0x028c
00000698: PUSH2 0x06a2
0000069b: CALLDATASIZE
0000069c: PUSH1 0x04
0000069e: PUSH2 0x1c08
000006a1: JUMP
000006a2: JUMPDEST
000006a3: PUSH2 0x128d
000006a6: JUMP
000006a7: JUMPDEST
000006a8: CALLVALUE
000006a9: DUP1
000006aa: ISZERO
000006ab: PUSH2 0x06b3
000006ae: JUMPI
000006af: PUSH1 0x00
000006b1: DUP1
000006b2: REVERT
000006b3: JUMPDEST
000006b4: POP
000006b5: PUSH2 0x02f3
000006b8: PUSH1 0x0f
000006ba: SLOAD
000006bb: DUP2
000006bc: JUMP
000006bd: JUMPDEST
000006be: CALLVALUE
000006bf: DUP1
000006c0: ISZERO
000006c1: PUSH2 0x06c9
000006c4: JUMPI
000006c5: PUSH1 0x00
000006c7: DUP1
000006c8: REVERT
000006c9: JUMPDEST
000006ca: POP
000006cb: PUSH2 0x028c
000006ce: PUSH2 0x06d8
000006d1: CALLDATASIZE
000006d2: PUSH1 0x04
000006d4: PUSH2 0x1ad3
000006d7: JUMP
000006d8: JUMPDEST
000006d9: PUSH2 0x142e
000006dc: JUMP
000006dd: JUMPDEST
000006de: CALLVALUE
000006df: DUP1
000006e0: ISZERO
000006e1: PUSH2 0x06e9
000006e4: JUMPI
000006e5: PUSH1 0x00
000006e7: DUP1
000006e8: REVERT
000006e9: JUMPDEST
000006ea: POP
000006eb: PUSH2 0x028c
000006ee: PUSH2 0x06f8
000006f1: CALLDATASIZE
000006f2: PUSH1 0x04
000006f4: PUSH2 0x1c34
000006f7: JUMP
000006f8: JUMPDEST
000006f9: PUSH2 0x147e
000006fc: JUMP
000006fd: JUMPDEST
000006fe: CALLVALUE
000006ff: DUP1
00000700: ISZERO
00000701: PUSH2 0x0709
00000704: JUMPI
00000705: PUSH1 0x00
00000707: DUP1
00000708: REVERT
00000709: JUMPDEST
0000070a: POP
0000070b: PUSH2 0x02f3
0000070e: PUSH1 0x0b
00000710: SLOAD
00000711: DUP2
00000712: JUMP
00000713: JUMPDEST
00000714: CALLVALUE
00000715: DUP1
00000716: ISZERO
00000717: PUSH2 0x071f
0000071a: JUMPI
0000071b: PUSH1 0x00
0000071d: DUP1
0000071e: REVERT
0000071f: JUMPDEST
00000720: POP
00000721: PUSH1 0x06
00000723: SLOAD
00000724: PUSH2 0x0341
00000727: SWAP1
00000728: PUSH1 0x01
0000072a: PUSH1 0x01
0000072c: PUSH1 0xa0
0000072e: SHL
0000072f: SUB
00000730: AND
00000731: DUP2
00000732: JUMP
00000733: JUMPDEST
00000734: CALLVALUE
00000735: DUP1
00000736: ISZERO
00000737: PUSH2 0x073f
0000073a: JUMPI
0000073b: PUSH1 0x00
0000073d: DUP1
0000073e: REVERT
0000073f: JUMPDEST
00000740: POP
00000741: PUSH2 0x02a8
00000744: PUSH2 0x074e
00000747: CALLDATASIZE
00000748: PUSH1 0x04
0000074a: PUSH2 0x1ad3
0000074d: JUMP
0000074e: JUMPDEST
0000074f: PUSH2 0x1549
00000752: JUMP
00000753: JUMPDEST
00000754: PUSH1 0x04
00000756: SLOAD
00000757: PUSH1 0x01
00000759: PUSH1 0x01
0000075b: PUSH1 0xa0
0000075d: SHL
0000075e: SUB
0000075f: AND
00000760: CALLER
00000761: EQ
00000762: DUP1
00000763: PUSH2 0x0776
00000766: JUMPI
00000767: POP
00000768: PUSH1 0x00
0000076a: SLOAD
0000076b: PUSH1 0x01
0000076d: PUSH1 0x01
0000076f: PUSH1 0xa0
00000771: SHL
00000772: SUB
00000773: AND
00000774: CALLER
00000775: EQ
00000776: JUMPDEST
00000777: PUSH2 0x079b
0000077a: JUMPI
0000077b: PUSH1 0x40
0000077d: MLOAD
0000077e: PUSH3 0x461bcd
00000782: PUSH1 0xe5
00000784: SHL
00000785: DUP2
00000786: MSTORE
00000787: PUSH1 0x04
00000789: ADD
0000078a: PUSH2 0x0792
0000078d: SWAP1
0000078e: PUSH2 0x1c69
00000791: JUMP
00000792: JUMPDEST
00000793: PUSH1 0x40
00000795: MLOAD
00000796: DUP1
00000797: SWAP2
00000798: SUB
00000799: SWAP1
0000079a: REVERT
0000079b: JUMPDEST
0000079c: PUSH1 0x04
0000079e: DUP1
0000079f: SLOAD
000007a0: PUSH1 0x01
000007a2: PUSH1 0x01
000007a4: PUSH1 0xa0
000007a6: SHL
000007a7: SUB
000007a8: SWAP1
000007a9: SWAP3
000007aa: AND
000007ab: PUSH1 0x01
000007ad: PUSH1 0x01
000007af: PUSH1 0xa0
000007b1: SHL
000007b2: SUB
000007b3: NOT
000007b4: SWAP1
000007b5: SWAP3
000007b6: AND
000007b7: DUP3
000007b8: OR
000007b9: SWAP1
000007ba: SSTORE
000007bb: PUSH1 0x00
000007bd: SWAP1
000007be: DUP2
000007bf: MSTORE
000007c0: PUSH1 0x03
000007c2: PUSH1 0x20
000007c4: MSTORE
000007c5: PUSH1 0x40
000007c7: SWAP1
000007c8: KECCAK256
000007c9: DUP1
000007ca: SLOAD
000007cb: PUSH1 0xff
000007cd: NOT
000007ce: AND
000007cf: PUSH1 0x01
000007d1: OR
000007d2: SWAP1
000007d3: SSTORE
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH2 0x07de
000007d9: CALLER
000007da: PUSH2 0x1549
000007dd: JUMP
000007de: JUMPDEST
000007df: PUSH2 0x07fa
000007e2: JUMPI
000007e3: PUSH1 0x40
000007e5: MLOAD
000007e6: PUSH3 0x461bcd
000007ea: PUSH1 0xe5
000007ec: SHL
000007ed: DUP2
000007ee: MSTORE
000007ef: PUSH1 0x04
000007f1: ADD
000007f2: PUSH2 0x0792
000007f5: SWAP1
000007f6: PUSH2 0x1c69
000007f9: JUMP
000007fa: JUMPDEST
000007fb: PUSH1 0x06
000007fd: DUP1
000007fe: SLOAD
000007ff: PUSH1 0x01
00000801: PUSH1 0x01
00000803: PUSH1 0xa0
00000805: SHL
00000806: SUB
00000807: NOT
00000808: AND
00000809: PUSH1 0x01
0000080b: PUSH1 0x01
0000080d: PUSH1 0xa0
0000080f: SHL
00000810: SUB
00000811: SWAP3
00000812: SWAP1
00000813: SWAP3
00000814: AND
00000815: SWAP2
00000816: SWAP1
00000817: SWAP2
00000818: OR
00000819: SWAP1
0000081a: SSTORE
0000081b: JUMP
0000081c: JUMPDEST
0000081d: PUSH2 0x0825
00000820: CALLER
00000821: PUSH2 0x1549
00000824: JUMP
00000825: JUMPDEST
00000826: PUSH2 0x0841
00000829: JUMPI
0000082a: PUSH1 0x40
0000082c: MLOAD
0000082d: PUSH3 0x461bcd
00000831: PUSH1 0xe5
00000833: SHL
00000834: DUP2
00000835: MSTORE
00000836: PUSH1 0x04
00000838: ADD
00000839: PUSH2 0x0792
0000083c: SWAP1
0000083d: PUSH2 0x1c69
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH1 0x0f
00000844: SWAP2
00000845: SWAP1
00000846: SWAP2
00000847: SSTORE
00000848: PUSH1 0x0e
0000084a: SSTORE
0000084b: JUMP
0000084c: JUMPDEST
0000084d: PUSH1 0x00
0000084f: PUSH2 0x0859
00000852: PUSH1 0x09
00000854: DUP4
00000855: PUSH2 0x15cb
00000858: JUMP
00000859: JUMPDEST
0000085a: SWAP3
0000085b: SWAP2
0000085c: POP
0000085d: POP
0000085e: JUMP
0000085f: JUMPDEST
00000860: PUSH2 0x0868
00000863: CALLER
00000864: PUSH2 0x1549
00000867: JUMP
00000868: JUMPDEST
00000869: PUSH2 0x0884
0000086c: JUMPI
0000086d: PUSH1 0x40
0000086f: MLOAD
00000870: PUSH3 0x461bcd
00000874: PUSH1 0xe5
00000876: SHL
00000877: DUP2
00000878: MSTORE
00000879: PUSH1 0x04
0000087b: ADD
0000087c: PUSH2 0x0792
0000087f: SWAP1
00000880: PUSH2 0x1c69
00000883: JUMP
00000884: JUMPDEST
00000885: PUSH1 0x09
00000887: PUSH1 0x00
00000889: DUP2
0000088a: DUP2
0000088b: PUSH2 0x0894
0000088e: DUP3
0000088f: DUP3
00000890: PUSH2 0x1a8c
00000893: JUMP
00000894: JUMPDEST
00000895: POP
00000896: PUSH1 0x07
00000898: SWAP3
00000899: POP
0000089a: PUSH1 0x00
0000089c: SWAP2
0000089d: POP
0000089e: DUP3
0000089f: SWAP1
000008a0: POP
000008a1: DUP2
000008a2: PUSH2 0x08ab
000008a5: DUP3
000008a6: DUP3
000008a7: PUSH2 0x1a8c
000008aa: JUMP
000008ab: JUMPDEST
000008ac: POP
000008ad: POP
000008ae: TIMESTAMP
000008af: PUSH1 0x0b
000008b1: SSTORE
000008b2: POP
000008b3: POP
000008b4: JUMP
000008b5: JUMPDEST
000008b6: PUSH2 0x08be
000008b9: CALLER
000008ba: PUSH2 0x1549
000008bd: JUMP
000008be: JUMPDEST
000008bf: PUSH2 0x08da
000008c2: JUMPI
000008c3: PUSH1 0x40
000008c5: MLOAD
000008c6: PUSH3 0x461bcd
000008ca: PUSH1 0xe5
000008cc: SHL
000008cd: DUP2
000008ce: MSTORE
000008cf: PUSH1 0x04
000008d1: ADD
000008d2: PUSH2 0x0792
000008d5: SWAP1
000008d6: PUSH2 0x1c69
000008d9: JUMP
000008da: JUMPDEST
000008db: PUSH1 0x04
000008dd: SLOAD
000008de: PUSH1 0x40
000008e0: MLOAD
000008e1: PUSH1 0x01
000008e3: PUSH1 0x01
000008e5: PUSH1 0xa0
000008e7: SHL
000008e8: SUB
000008e9: SWAP1
000008ea: SWAP2
000008eb: AND
000008ec: SWAP1
000008ed: SELFBALANCE
000008ee: DUP1
000008ef: ISZERO
000008f0: PUSH2 0x08fc
000008f3: MUL
000008f4: SWAP2
000008f5: PUSH1 0x00
000008f7: DUP2
000008f8: DUP2
000008f9: DUP2
000008fa: DUP6
000008fb: DUP9
000008fc: DUP9
000008fd: CALL
000008fe: SWAP4
000008ff: POP
00000900: POP
00000901: POP
00000902: POP
00000903: ISZERO
00000904: DUP1
00000905: ISZERO
00000906: PUSH2 0x0913
00000909: JUMPI
0000090a: RETURNDATASIZE
0000090b: PUSH1 0x00
0000090d: DUP1
0000090e: RETURNDATACOPY
0000090f: RETURNDATASIZE
00000910: PUSH1 0x00
00000912: REVERT
00000913: JUMPDEST
00000914: POP
00000915: JUMP
00000916: JUMPDEST
00000917: PUSH1 0x04
00000919: SLOAD
0000091a: PUSH1 0x01
0000091c: PUSH1 0x01
0000091e: PUSH1 0xa0
00000920: SHL
00000921: SUB
00000922: AND
00000923: CALLER
00000924: EQ
00000925: PUSH2 0x0940
00000928: JUMPI
00000929: PUSH1 0x40
0000092b: MLOAD
0000092c: PUSH3 0x461bcd
00000930: PUSH1 0xe5
00000932: SHL
00000933: DUP2
00000934: MSTORE
00000935: PUSH1 0x04
00000937: ADD
00000938: PUSH2 0x0792
0000093b: SWAP1
0000093c: PUSH2 0x1ca0
0000093f: JUMP
00000940: JUMPDEST
00000941: PUSH1 0x01
00000943: PUSH1 0x01
00000945: PUSH1 0xa0
00000947: SHL
00000948: SUB
00000949: AND
0000094a: PUSH1 0x00
0000094c: SWAP1
0000094d: DUP2
0000094e: MSTORE
0000094f: PUSH1 0x03
00000951: PUSH1 0x20
00000953: MSTORE
00000954: PUSH1 0x40
00000956: SWAP1
00000957: KECCAK256
00000958: DUP1
00000959: SLOAD
0000095a: PUSH1 0xff
0000095c: NOT
0000095d: AND
0000095e: SWAP1
0000095f: SSTORE
00000960: JUMP
00000961: JUMPDEST
00000962: PUSH1 0x00
00000964: PUSH2 0x096d
00000967: PUSH1 0x09
00000969: PUSH2 0x15de
0000096c: JUMP
0000096d: JUMPDEST
0000096e: SWAP1
0000096f: POP
00000970: SWAP1
00000971: JUMP
00000972: JUMPDEST
00000973: PUSH2 0x097b
00000976: CALLER
00000977: PUSH2 0x1549
0000097a: JUMP
0000097b: JUMPDEST
0000097c: PUSH2 0x0997
0000097f: JUMPI
00000980: PUSH1 0x40
00000982: MLOAD
00000983: PUSH3 0x461bcd
00000987: PUSH1 0xe5
00000989: SHL
0000098a: DUP2
0000098b: MSTORE
0000098c: PUSH1 0x04
0000098e: ADD
0000098f: PUSH2 0x0792
00000992: SWAP1
00000993: PUSH2 0x1c69
00000996: JUMP
00000997: JUMPDEST
00000998: DUP1
00000999: ISZERO
0000099a: PUSH2 0x09bf
0000099d: JUMPI
0000099e: DUP2
0000099f: ISZERO
000009a0: PUSH2 0x09b4
000009a3: JUMPI
000009a4: PUSH2 0x09ae
000009a7: PUSH1 0x07
000009a9: DUP5
000009aa: PUSH2 0x15e8
000009ad: JUMP
000009ae: JUMPDEST
000009af: POP
000009b0: POP
000009b1: POP
000009b2: POP
000009b3: JUMP
000009b4: JUMPDEST
000009b5: PUSH2 0x09ae
000009b8: PUSH1 0x07
000009ba: DUP5
000009bb: PUSH2 0x15fd
000009be: JUMP
000009bf: JUMPDEST
000009c0: DUP2
000009c1: ISZERO
000009c2: PUSH2 0x09d0
000009c5: JUMPI
000009c6: PUSH2 0x09ae
000009c9: PUSH1 0x09
000009cb: DUP5
000009cc: PUSH2 0x15e8
000009cf: JUMP
000009d0: JUMPDEST
000009d1: PUSH2 0x09ae
000009d4: PUSH1 0x09
000009d6: DUP5
000009d7: PUSH2 0x15fd
000009da: JUMP
000009db: JUMPDEST
000009dc: POP
000009dd: POP
000009de: POP
000009df: JUMP
000009e0: JUMPDEST
000009e1: PUSH2 0x09e9
000009e4: CALLER
000009e5: PUSH2 0x1549
000009e8: JUMP
000009e9: JUMPDEST
000009ea: PUSH2 0x0a05
000009ed: JUMPI
000009ee: PUSH1 0x40
000009f0: MLOAD
000009f1: PUSH3 0x461bcd
000009f5: PUSH1 0xe5
000009f7: SHL
000009f8: DUP2
000009f9: MSTORE
000009fa: PUSH1 0x04
000009fc: ADD
000009fd: PUSH2 0x0792
00000a00: SWAP1
00000a01: PUSH2 0x1c69
00000a04: JUMP
00000a05: JUMPDEST
00000a06: PUSH1 0x04
00000a08: SLOAD
00000a09: PUSH1 0x40
00000a0b: MLOAD
00000a0c: PUSH1 0x01
00000a0e: PUSH1 0x01
00000a10: PUSH1 0xa0
00000a12: SHL
00000a13: SUB
00000a14: SWAP1
00000a15: SWAP2
00000a16: AND
00000a17: SWAP1
00000a18: DUP3
00000a19: ISZERO
00000a1a: PUSH2 0x08fc
00000a1d: MUL
00000a1e: SWAP1
00000a1f: DUP4
00000a20: SWAP1
00000a21: PUSH1 0x00
00000a23: DUP2
00000a24: DUP2
00000a25: DUP2
00000a26: DUP6
00000a27: DUP9
00000a28: DUP9
00000a29: CALL
00000a2a: SWAP4
00000a2b: POP
00000a2c: POP
00000a2d: POP
00000a2e: POP
00000a2f: ISZERO
00000a30: DUP1
00000a31: ISZERO
00000a32: PUSH2 0x0a3f
00000a35: JUMPI
00000a36: RETURNDATASIZE
00000a37: PUSH1 0x00
00000a39: DUP1
00000a3a: RETURNDATACOPY
00000a3b: RETURNDATASIZE
00000a3c: PUSH1 0x00
00000a3e: REVERT
00000a3f: JUMPDEST
00000a40: POP
00000a41: POP
00000a42: JUMP
00000a43: JUMPDEST
00000a44: PUSH1 0x00
00000a46: SLOAD
00000a47: PUSH1 0x01
00000a49: PUSH1 0x01
00000a4b: PUSH1 0xa0
00000a4d: SHL
00000a4e: SUB
00000a4f: AND
00000a50: CALLER
00000a51: EQ
00000a52: PUSH2 0x0a6d
00000a55: JUMPI
00000a56: PUSH1 0x40
00000a58: MLOAD
00000a59: PUSH3 0x461bcd
00000a5d: PUSH1 0xe5
00000a5f: SHL
00000a60: DUP2
00000a61: MSTORE
00000a62: PUSH1 0x04
00000a64: ADD
00000a65: PUSH2 0x0792
00000a68: SWAP1
00000a69: PUSH2 0x1ce1
00000a6c: JUMP
00000a6d: JUMPDEST
00000a6e: PUSH2 0x0a77
00000a71: PUSH1 0x00
00000a73: PUSH2 0x1612
00000a76: JUMP
00000a77: JUMPDEST
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: PUSH1 0x00
00000a7c: PUSH2 0x0a84
00000a7f: CALLER
00000a80: PUSH2 0x1549
00000a83: JUMP
00000a84: JUMPDEST
00000a85: PUSH2 0x0aa0
00000a88: JUMPI
00000a89: PUSH1 0x40
00000a8b: MLOAD
00000a8c: PUSH3 0x461bcd
00000a90: PUSH1 0xe5
00000a92: SHL
00000a93: DUP2
00000a94: MSTORE
00000a95: PUSH1 0x04
00000a97: ADD
00000a98: PUSH2 0x0792
00000a9b: SWAP1
00000a9c: PUSH2 0x1c69
00000a9f: JUMP
00000aa0: JUMPDEST
00000aa1: PUSH2 0x0859
00000aa4: PUSH1 0x07
00000aa6: DUP4
00000aa7: PUSH2 0x1662
00000aaa: JUMP
00000aab: JUMPDEST
00000aac: PUSH1 0x00
00000aae: PUSH2 0x0ab6
00000ab1: CALLER
00000ab2: PUSH2 0x1549
00000ab5: JUMP
00000ab6: JUMPDEST
00000ab7: PUSH2 0x0ad2
00000aba: JUMPI
00000abb: PUSH1 0x40
00000abd: MLOAD
00000abe: PUSH3 0x461bcd
00000ac2: PUSH1 0xe5
00000ac4: SHL
00000ac5: DUP2
00000ac6: MSTORE
00000ac7: PUSH1 0x04
00000ac9: ADD
00000aca: PUSH2 0x0792
00000acd: SWAP1
00000ace: PUSH2 0x1c69
00000ad1: JUMP
00000ad2: JUMPDEST
00000ad3: PUSH2 0x0859
00000ad6: PUSH1 0x09
00000ad8: DUP4
00000ad9: PUSH2 0x1662
00000adc: JUMP
00000add: JUMPDEST
00000ade: PUSH1 0x00
00000ae0: PUSH2 0x0859
00000ae3: PUSH1 0x07
00000ae5: DUP4
00000ae6: PUSH2 0x15cb
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: PUSH2 0x0af3
00000aee: CALLER
00000aef: PUSH2 0x1549
00000af2: JUMP
00000af3: JUMPDEST
00000af4: PUSH2 0x0b0f
00000af7: JUMPI
00000af8: PUSH1 0x40
00000afa: MLOAD
00000afb: PUSH3 0x461bcd
00000aff: PUSH1 0xe5
00000b01: SHL
00000b02: DUP2
00000b03: MSTORE
00000b04: PUSH1 0x04
00000b06: ADD
00000b07: PUSH2 0x0792
00000b0a: SWAP1
00000b0b: PUSH2 0x1c69
00000b0e: JUMP
00000b0f: JUMPDEST
00000b10: DUP1
00000b11: PUSH2 0x0b1a
00000b14: JUMPI
00000b15: DUP2
00000b16: PUSH2 0x0ba6
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: PUSH1 0x06
00000b1d: PUSH1 0x00
00000b1f: SWAP1
00000b20: SLOAD
00000b21: SWAP1
00000b22: PUSH2 0x0100
00000b25: EXP
00000b26: SWAP1
00000b27: DIV
00000b28: PUSH1 0x01
00000b2a: PUSH1 0x01
00000b2c: PUSH1 0xa0
00000b2e: SHL
00000b2f: SUB
00000b30: AND
00000b31: PUSH1 0x01
00000b33: PUSH1 0x01
00000b35: PUSH1 0xa0
00000b37: SHL
00000b38: SUB
00000b39: AND
00000b3a: PUSH4 0x313ce567
00000b3f: PUSH1 0x40
00000b41: MLOAD
00000b42: DUP2
00000b43: PUSH4 0xffffffff
00000b48: AND
00000b49: PUSH1 0xe0
00000b4b: SHL
00000b4c: DUP2
00000b4d: MSTORE
00000b4e: PUSH1 0x04
00000b50: ADD
00000b51: PUSH1 0x20
00000b53: PUSH1 0x40
00000b55: MLOAD
00000b56: DUP1
00000b57: DUP4
00000b58: SUB
00000b59: DUP2
00000b5a: DUP7
00000b5b: GAS
00000b5c: STATICCALL
00000b5d: ISZERO
00000b5e: DUP1
00000b5f: ISZERO
00000b60: PUSH2 0x0b6d
00000b63: JUMPI
00000b64: RETURNDATASIZE
00000b65: PUSH1 0x00
00000b67: DUP1
00000b68: RETURNDATACOPY
00000b69: RETURNDATASIZE
00000b6a: PUSH1 0x00
00000b6c: REVERT
00000b6d: JUMPDEST
00000b6e: POP
00000b6f: POP
00000b70: POP
00000b71: POP
00000b72: PUSH1 0x40
00000b74: MLOAD
00000b75: RETURNDATASIZE
00000b76: PUSH1 0x1f
00000b78: NOT
00000b79: PUSH1 0x1f
00000b7b: DUP3
00000b7c: ADD
00000b7d: AND
00000b7e: DUP3
00000b7f: ADD
00000b80: DUP1
00000b81: PUSH1 0x40
00000b83: MSTORE
00000b84: POP
00000b85: DUP2
00000b86: ADD
00000b87: SWAP1
00000b88: PUSH2 0x0b91
00000b8b: SWAP2
00000b8c: SWAP1
00000b8d: PUSH2 0x1d16
00000b90: JUMP
00000b91: JUMPDEST
00000b92: PUSH2 0x0b9c
00000b95: SWAP1
00000b96: PUSH1 0x0a
00000b98: PUSH2 0x1e33
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: PUSH2 0x0ba6
00000ba0: SWAP1
00000ba1: DUP4
00000ba2: PUSH2 0x1e42
00000ba5: JUMP
00000ba6: JUMPDEST
00000ba7: PUSH1 0x0d
00000ba9: SSTORE
00000baa: POP
00000bab: POP
00000bac: JUMP
00000bad: JUMPDEST
00000bae: PUSH2 0x0bb6
00000bb1: CALLER
00000bb2: PUSH2 0x1549
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH2 0x0bd2
00000bba: JUMPI
00000bbb: PUSH1 0x40
00000bbd: MLOAD
00000bbe: PUSH3 0x461bcd
00000bc2: PUSH1 0xe5
00000bc4: SHL
00000bc5: DUP2
00000bc6: MSTORE
00000bc7: PUSH1 0x04
00000bc9: ADD
00000bca: PUSH2 0x0792
00000bcd: SWAP1
00000bce: PUSH2 0x1c69
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: DUP1
00000bd4: ISZERO
00000bd5: PUSH2 0x0c6e
00000bd8: JUMPI
00000bd9: PUSH1 0x00
00000bdb: DUP4
00000bdc: PUSH1 0x01
00000bde: PUSH1 0x01
00000be0: PUSH1 0xa0
00000be2: SHL
00000be3: SUB
00000be4: AND
00000be5: PUSH4 0x313ce567
00000bea: PUSH1 0x40
00000bec: MLOAD
00000bed: DUP2
00000bee: PUSH4 0xffffffff
00000bf3: AND
00000bf4: PUSH1 0xe0
00000bf6: SHL
00000bf7: DUP2
00000bf8: MSTORE
00000bf9: PUSH1 0x04
00000bfb: ADD
00000bfc: PUSH1 0x20
00000bfe: PUSH1 0x40
00000c00: MLOAD
00000c01: DUP1
00000c02: DUP4
00000c03: SUB
00000c04: DUP2
00000c05: DUP7
00000c06: GAS
00000c07: STATICCALL
00000c08: ISZERO
00000c09: DUP1
00000c0a: ISZERO
00000c0b: PUSH2 0x0c18
00000c0e: JUMPI
00000c0f: RETURNDATASIZE
00000c10: PUSH1 0x00
00000c12: DUP1
00000c13: RETURNDATACOPY
00000c14: RETURNDATASIZE
00000c15: PUSH1 0x00
00000c17: REVERT
00000c18: JUMPDEST
00000c19: POP
00000c1a: POP
00000c1b: POP
00000c1c: POP
00000c1d: PUSH1 0x40
00000c1f: MLOAD
00000c20: RETURNDATASIZE
00000c21: PUSH1 0x1f
00000c23: NOT
00000c24: PUSH1 0x1f
00000c26: DUP3
00000c27: ADD
00000c28: AND
00000c29: DUP3
00000c2a: ADD
00000c2b: DUP1
00000c2c: PUSH1 0x40
00000c2e: MSTORE
00000c2f: POP
00000c30: DUP2
00000c31: ADD
00000c32: SWAP1
00000c33: PUSH2 0x0c3c
00000c36: SWAP2
00000c37: SWAP1
00000c38: PUSH2 0x1d16
00000c3b: JUMP
00000c3c: JUMPDEST
00000c3d: PUSH2 0x0c47
00000c40: SWAP1
00000c41: PUSH1 0x0a
00000c43: PUSH2 0x1e33
00000c46: JUMP
00000c47: JUMPDEST
00000c48: PUSH2 0x0c51
00000c4b: SWAP1
00000c4c: DUP5
00000c4d: PUSH2 0x1e42
00000c50: JUMP
00000c51: JUMPDEST
00000c52: PUSH1 0x04
00000c54: SLOAD
00000c55: SWAP1
00000c56: SWAP2
00000c57: POP
00000c58: PUSH2 0x09ae
00000c5b: SWAP1
00000c5c: PUSH1 0x01
00000c5e: PUSH1 0x01
00000c60: PUSH1 0xa0
00000c62: SHL
00000c63: SUB
00000c64: DUP7
00000c65: DUP2
00000c66: AND
00000c67: SWAP2
00000c68: AND
00000c69: DUP4
00000c6a: PUSH2 0x1684
00000c6d: JUMP
00000c6e: JUMPDEST
00000c6f: PUSH1 0x04
00000c71: SLOAD
00000c72: PUSH2 0x09db
00000c75: SWAP1
00000c76: PUSH1 0x01
00000c78: PUSH1 0x01
00000c7a: PUSH1 0xa0
00000c7c: SHL
00000c7d: SUB
00000c7e: DUP6
00000c7f: DUP2
00000c80: AND
00000c81: SWAP2
00000c82: AND
00000c83: DUP5
00000c84: PUSH2 0x1684
00000c87: JUMP
00000c88: JUMPDEST
00000c89: PUSH2 0x0c91
00000c8c: CALLER
00000c8d: PUSH2 0x1549
00000c90: JUMP
00000c91: JUMPDEST
00000c92: PUSH2 0x0cad
00000c95: JUMPI
00000c96: PUSH1 0x40
00000c98: MLOAD
00000c99: PUSH3 0x461bcd
00000c9d: PUSH1 0xe5
00000c9f: SHL
00000ca0: DUP2
00000ca1: MSTORE
00000ca2: PUSH1 0x04
00000ca4: ADD
00000ca5: PUSH2 0x0792
00000ca8: SWAP1
00000ca9: PUSH2 0x1c69
00000cac: JUMP
00000cad: JUMPDEST
00000cae: PUSH1 0x0c
00000cb0: SLOAD
00000cb1: PUSH1 0x12
00000cb3: SLOAD
00000cb4: PUSH2 0x0cbd
00000cb7: SWAP2
00000cb8: SWAP1
00000cb9: PUSH2 0x1e61
00000cbc: JUMP
00000cbd: JUMPDEST
00000cbe: TIMESTAMP
00000cbf: LT
00000cc0: ISZERO
00000cc1: PUSH2 0x0cf7
00000cc4: JUMPI
00000cc5: PUSH1 0x40
00000cc7: MLOAD
00000cc8: PUSH3 0x461bcd
00000ccc: PUSH1 0xe5
00000cce: SHL
00000ccf: DUP2
00000cd0: MSTORE
00000cd1: PUSH1 0x20
00000cd3: PUSH1 0x04
00000cd5: DUP3
00000cd6: ADD
00000cd7: MSTORE
00000cd8: PUSH1 0x08
00000cda: PUSH1 0x24
00000cdc: DUP3
00000cdd: ADD
00000cde: MSTORE
00000cdf: PUSH8 0x3a37b79039b7b7b7
00000ce8: PUSH1 0xc1
00000cea: SHL
00000ceb: PUSH1 0x44
00000ced: DUP3
00000cee: ADD
00000cef: MSTORE
00000cf0: PUSH1 0x64
00000cf2: ADD
00000cf3: PUSH2 0x0792
00000cf6: JUMP
00000cf7: JUMPDEST
00000cf8: PUSH1 0x13
00000cfa: SLOAD
00000cfb: PUSH1 0xff
00000cfd: AND
00000cfe: PUSH2 0x0d49
00000d01: JUMPI
00000d02: PUSH1 0x40
00000d04: MLOAD
00000d05: PUSH3 0x461bcd
00000d09: PUSH1 0xe5
00000d0b: SHL
00000d0c: DUP2
00000d0d: MSTORE
00000d0e: PUSH1 0x20
00000d10: PUSH1 0x04
00000d12: DUP3
00000d13: ADD
00000d14: MSTORE
00000d15: PUSH1 0x19
00000d17: PUSH1 0x24
00000d19: DUP3
00000d1a: ADD
00000d1b: MSTORE
00000d1c: PUSH32 0x776169742074696c6c206e657874206368726973746d61733f00000000000000
00000d3d: PUSH1 0x44
00000d3f: DUP3
00000d40: ADD
00000d41: MSTORE
00000d42: PUSH1 0x64
00000d44: ADD
00000d45: PUSH2 0x0792
00000d48: JUMP
00000d49: JUMPDEST
00000d4a: PUSH1 0x11
00000d4c: SLOAD
00000d4d: PUSH1 0x14
00000d4f: SSTORE
00000d50: PUSH1 0x16
00000d52: DUP1
00000d53: SLOAD
00000d54: PUSH1 0xff
00000d56: NOT
00000d57: AND
00000d58: PUSH1 0x01
00000d5a: OR
00000d5b: SWAP1
00000d5c: SSTORE
00000d5d: PUSH1 0x00
00000d5f: PUSH2 0x0d68
00000d62: PUSH1 0x07
00000d64: PUSH2 0x15de
00000d67: JUMP
00000d68: JUMPDEST
00000d69: SWAP1
00000d6a: POP
00000d6b: PUSH1 0x00
00000d6d: DUP2
00000d6e: GT
00000d6f: PUSH2 0x0dba
00000d72: JUMPI
00000d73: PUSH1 0x40
00000d75: MLOAD
00000d76: PUSH3 0x461bcd
00000d7a: PUSH1 0xe5
00000d7c: SHL
00000d7d: DUP2
00000d7e: MSTORE
00000d7f: PUSH1 0x20
00000d81: PUSH1 0x04
00000d83: DUP3
00000d84: ADD
00000d85: MSTORE
00000d86: PUSH1 0x1a
00000d88: PUSH1 0x24
00000d8a: DUP3
00000d8b: ADD
00000d8c: MSTORE
00000d8d: PUSH32 0x63616e2774206469737472696275746520746f206e6f206f6e65000000000000
00000dae: PUSH1 0x44
00000db0: DUP3
00000db1: ADD
00000db2: MSTORE
00000db3: PUSH1 0x64
00000db5: ADD
00000db6: PUSH2 0x0792
00000db9: JUMP
00000dba: JUMPDEST
00000dbb: PUSH1 0x00
00000dbd: DUP2
00000dbe: PUSH1 0x64
00000dc0: PUSH1 0x0e
00000dc2: SLOAD
00000dc3: SELFBALANCE
00000dc4: PUSH2 0x0dcd
00000dc7: SWAP2
00000dc8: SWAP1
00000dc9: PUSH2 0x1e42
00000dcc: JUMP
00000dcd: JUMPDEST
00000dce: PUSH2 0x0dd7
00000dd1: SWAP2
00000dd2: SWAP1
00000dd3: PUSH2 0x1e79
00000dd6: JUMP
00000dd7: JUMPDEST
00000dd8: PUSH2 0x0de1
00000ddb: SWAP2
00000ddc: SWAP1
00000ddd: PUSH2 0x1e79
00000de0: JUMP
00000de1: JUMPDEST
00000de2: SWAP1
00000de3: POP
00000de4: PUSH1 0x00
00000de6: GAS
00000de7: PUSH1 0x11
00000de9: SLOAD
00000dea: SWAP1
00000deb: SWAP2
00000dec: POP
00000ded: PUSH1 0x00
00000def: SWAP1
00000df0: JUMPDEST
00000df1: DUP5
00000df2: DUP2
00000df3: LT
00000df4: DUP1
00000df5: ISZERO
00000df6: PUSH2 0x0dff
00000df9: JUMPI
00000dfa: POP
00000dfb: DUP6
00000dfc: DUP3
00000dfd: GT
00000dfe: ISZERO
00000dff: JUMPDEST
00000e00: ISZERO
00000e01: PUSH2 0x0f1b
00000e04: JUMPI
00000e05: PUSH1 0x00
00000e07: PUSH2 0x0e11
00000e0a: PUSH1 0x07
00000e0c: DUP4
00000e0d: PUSH2 0x15cb
00000e10: JUMP
00000e11: JUMPDEST
00000e12: PUSH1 0x40
00000e14: MLOAD
00000e15: SWAP1
00000e16: SWAP2
00000e17: POP
00000e18: PUSH1 0x01
00000e1a: PUSH1 0x01
00000e1c: PUSH1 0xa0
00000e1e: SHL
00000e1f: SUB
00000e20: DUP3
00000e21: AND
00000e22: SWAP1
00000e23: DUP7
00000e24: ISZERO
00000e25: PUSH2 0x08fc
00000e28: MUL
00000e29: SWAP1
00000e2a: DUP8
00000e2b: SWAP1
00000e2c: PUSH1 0x00
00000e2e: DUP2
00000e2f: DUP2
00000e30: DUP2
00000e31: DUP6
00000e32: DUP9
00000e33: DUP9
00000e34: CALL
00000e35: SWAP4
00000e36: POP
00000e37: POP
00000e38: POP
00000e39: POP
00000e3a: ISZERO
00000e3b: DUP1
00000e3c: ISZERO
00000e3d: PUSH2 0x0e4a
00000e40: JUMPI
00000e41: RETURNDATASIZE
00000e42: PUSH1 0x00
00000e44: DUP1
00000e45: RETURNDATACOPY
00000e46: RETURNDATASIZE
00000e47: PUSH1 0x00
00000e49: REVERT
00000e4a: JUMPDEST
00000e4b: POP
00000e4c: DUP1
00000e4d: PUSH1 0x01
00000e4f: PUSH1 0x01
00000e51: PUSH1 0xa0
00000e53: SHL
00000e54: SUB
00000e55: AND
00000e56: PUSH32 0x9c2270628a9b29d30ae96b6c4c14ed646ee134febdce38a5b77f2bde9cea2e20
00000e77: DUP7
00000e78: PUSH1 0x40
00000e7a: MLOAD
00000e7b: PUSH2 0x0e86
00000e7e: SWAP2
00000e7f: DUP2
00000e80: MSTORE
00000e81: PUSH1 0x20
00000e83: ADD
00000e84: SWAP1
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH1 0x40
00000e89: MLOAD
00000e8a: DUP1
00000e8b: SWAP2
00000e8c: SUB
00000e8d: SWAP1
00000e8e: LOG2
00000e8f: PUSH1 0x11
00000e91: DUP1
00000e92: SLOAD
00000e93: SWAP1
00000e94: PUSH1 0x00
00000e96: PUSH2 0x0e9e
00000e99: DUP4
00000e9a: PUSH2 0x1e9b
00000e9d: JUMP
00000e9e: JUMPDEST
00000e9f: SWAP2
00000ea0: SWAP1
00000ea1: POP
00000ea2: SSTORE
00000ea3: POP
00000ea4: DUP6
00000ea5: PUSH1 0x11
00000ea7: SLOAD
00000ea8: LT
00000ea9: ISZERO
00000eaa: DUP1
00000eab: PUSH2 0x0eb6
00000eae: JUMPI
00000eaf: POP
00000eb0: DUP6
00000eb1: PUSH1 0x15
00000eb3: SLOAD
00000eb4: LT
00000eb5: ISZERO
00000eb6: JUMPDEST
00000eb7: ISZERO
00000eb8: PUSH2 0x0ef7
00000ebb: JUMPI
00000ebc: PUSH1 0x00
00000ebe: PUSH1 0x11
00000ec0: DUP2
00000ec1: SWAP1
00000ec2: SSTORE
00000ec3: TIMESTAMP
00000ec4: PUSH1 0x0b
00000ec6: SSTORE
00000ec7: PUSH1 0x0f
00000ec9: SLOAD
00000eca: PUSH1 0x0e
00000ecc: DUP1
00000ecd: SLOAD
00000ece: SWAP2
00000ecf: SWAP3
00000ed0: SWAP1
00000ed1: SWAP2
00000ed2: PUSH2 0x0edc
00000ed5: SWAP1
00000ed6: DUP5
00000ed7: SWAP1
00000ed8: PUSH2 0x1e61
00000edb: JUMP
00000edc: JUMPDEST
00000edd: SWAP1
00000ede: SWAP2
00000edf: SSTORE
00000ee0: POP
00000ee1: POP
00000ee2: PUSH1 0x16
00000ee4: DUP1
00000ee5: SLOAD
00000ee6: PUSH1 0xff
00000ee8: NOT
00000ee9: AND
00000eea: SWAP1
00000eeb: SSTORE
00000eec: POP
00000eed: PUSH2 0x0913
00000ef0: SWAP5
00000ef1: POP
00000ef2: POP
00000ef3: POP
00000ef4: POP
00000ef5: POP
00000ef6: JUMP
00000ef7: JUMPDEST
00000ef8: GAS
00000ef9: PUSH2 0x0f02
00000efc: SWAP1
00000efd: DUP6
00000efe: PUSH2 0x1eb6
00000f01: JUMP
00000f02: JUMPDEST
00000f03: SWAP3
00000f04: POP
00000f05: GAS
00000f06: SWAP4
00000f07: POP
00000f08: POP
00000f09: DUP1
00000f0a: DUP1
00000f0b: PUSH2 0x0f13
00000f0e: SWAP1
00000f0f: PUSH2 0x1e9b
00000f12: JUMP
00000f13: JUMPDEST
00000f14: SWAP2
00000f15: POP
00000f16: POP
00000f17: PUSH2 0x0df0
00000f1a: JUMP
00000f1b: JUMPDEST
00000f1c: POP
00000f1d: POP
00000f1e: POP
00000f1f: POP
00000f20: POP
00000f21: POP
00000f22: JUMP
00000f23: JUMPDEST
00000f24: PUSH1 0x00
00000f26: SLOAD
00000f27: PUSH1 0x01
00000f29: PUSH1 0x01
00000f2b: PUSH1 0xa0
00000f2d: SHL
00000f2e: SUB
00000f2f: AND
00000f30: CALLER
00000f31: EQ
00000f32: PUSH2 0x0f4d
00000f35: JUMPI
00000f36: PUSH1 0x40
00000f38: MLOAD
00000f39: PUSH3 0x461bcd
00000f3d: PUSH1 0xe5
00000f3f: SHL
00000f40: DUP2
00000f41: MSTORE
00000f42: PUSH1 0x04
00000f44: ADD
00000f45: PUSH2 0x0792
00000f48: SWAP1
00000f49: PUSH2 0x1ce1
00000f4c: JUMP
00000f4d: JUMPDEST
00000f4e: PUSH1 0x01
00000f50: PUSH1 0x01
00000f52: PUSH1 0xa0
00000f54: SHL
00000f55: SUB
00000f56: DUP2
00000f57: AND
00000f58: PUSH2 0x0f73
00000f5b: JUMPI
00000f5c: PUSH1 0x40
00000f5e: MLOAD
00000f5f: PUSH3 0x461bcd
00000f63: PUSH1 0xe5
00000f65: SHL
00000f66: DUP2
00000f67: MSTORE
00000f68: PUSH1 0x04
00000f6a: ADD
00000f6b: PUSH2 0x0792
00000f6e: SWAP1
00000f6f: PUSH2 0x1ecd
00000f72: JUMP
00000f73: JUMPDEST
00000f74: PUSH2 0x0f7c
00000f77: DUP2
00000f78: PUSH2 0x0753
00000f7b: JUMP
00000f7c: JUMPDEST
00000f7d: PUSH2 0x0913
00000f80: DUP2
00000f81: PUSH2 0x1612
00000f84: JUMP
00000f85: JUMPDEST
00000f86: PUSH1 0x01
00000f88: SLOAD
00000f89: PUSH1 0x01
00000f8b: PUSH1 0x01
00000f8d: PUSH1 0xa0
00000f8f: SHL
00000f90: SUB
00000f91: AND
00000f92: CALLER
00000f93: EQ
00000f94: PUSH2 0x0feb
00000f97: JUMPI
00000f98: PUSH1 0x40
00000f9a: MLOAD
00000f9b: PUSH3 0x461bcd
00000f9f: PUSH1 0xe5
00000fa1: SHL
00000fa2: DUP2
00000fa3: MSTORE
00000fa4: PUSH1 0x20
00000fa6: PUSH1 0x04
00000fa8: DUP3
00000fa9: ADD
00000faa: MSTORE
00000fab: PUSH1 0x23
00000fad: PUSH1 0x24
00000faf: DUP3
00000fb0: ADD
00000fb1: MSTORE
00000fb2: PUSH32 0x596f7520646f6e27742068617665207065726d697373696f6e20746f20756e6c
00000fd3: PUSH1 0x44
00000fd5: DUP3
00000fd6: ADD
00000fd7: MSTORE
00000fd8: PUSH3 0x6f636b
00000fdc: PUSH1 0xe8
00000fde: SHL
00000fdf: PUSH1 0x64
00000fe1: DUP3
00000fe2: ADD
00000fe3: MSTORE
00000fe4: PUSH1 0x84
00000fe6: ADD
00000fe7: PUSH2 0x0792
00000fea: JUMP
00000feb: JUMPDEST
00000fec: PUSH1 0x02
00000fee: SLOAD
00000fef: TIMESTAMP
00000ff0: GT
00000ff1: PUSH2 0x1031
00000ff4: JUMPI
00000ff5: PUSH1 0x40
00000ff7: MLOAD
00000ff8: PUSH3 0x461bcd
00000ffc: PUSH1 0xe5
00000ffe: SHL
00000fff: DUP2
00001000: MSTORE
00001001: PUSH1 0x20
00001003: PUSH1 0x04
00001005: DUP3
00001006: ADD
00001007: MSTORE
00001008: PUSH1 0x12
0000100a: PUSH1 0x24
0000100c: DUP3
0000100d: ADD
0000100e: MSTORE
0000100f: PUSH18 0x10dbdb9d1c9858dd081a5cc81b1bd8dad959
00001022: PUSH1 0x72
00001024: SHL
00001025: PUSH1 0x44
00001027: DUP3
00001028: ADD
00001029: MSTORE
0000102a: PUSH1 0x64
0000102c: ADD
0000102d: PUSH2 0x0792
00001030: JUMP
00001031: JUMPDEST
00001032: PUSH1 0x01
00001034: SLOAD
00001035: PUSH1 0x00
00001037: DUP1
00001038: SLOAD
00001039: PUSH1 0x40
0000103b: MLOAD
0000103c: PUSH1 0x01
0000103e: PUSH1 0x01
00001040: PUSH1 0xa0
00001042: SHL
00001043: SUB
00001044: SWAP4
00001045: DUP5
00001046: AND
00001047: SWAP4
00001048: SWAP1
00001049: SWAP2
0000104a: AND
0000104b: SWAP2
0000104c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000106d: SWAP2
0000106e: LOG3
0000106f: PUSH1 0x01
00001071: SLOAD
00001072: PUSH1 0x00
00001074: DUP1
00001075: SLOAD
00001076: PUSH1 0x01
00001078: PUSH1 0x01
0000107a: PUSH1 0xa0
0000107c: SHL
0000107d: SUB
0000107e: NOT
0000107f: AND
00001080: PUSH1 0x01
00001082: PUSH1 0x01
00001084: PUSH1 0xa0
00001086: SHL
00001087: SUB
00001088: SWAP1
00001089: SWAP3
0000108a: AND
0000108b: SWAP2
0000108c: SWAP1
0000108d: SWAP2
0000108e: OR
0000108f: SWAP1
00001090: SSTORE
00001091: JUMP
00001092: JUMPDEST
00001093: PUSH2 0x109b
00001096: CALLER
00001097: PUSH2 0x1549
0000109a: JUMP
0000109b: JUMPDEST
0000109c: PUSH2 0x10b7
0000109f: JUMPI
000010a0: PUSH1 0x40
000010a2: MLOAD
000010a3: PUSH3 0x461bcd
000010a7: PUSH1 0xe5
000010a9: SHL
000010aa: DUP2
000010ab: MSTORE
000010ac: PUSH1 0x04
000010ae: ADD
000010af: PUSH2 0x0792
000010b2: SWAP1
000010b3: PUSH2 0x1c69
000010b6: JUMP
000010b7: JUMPDEST
000010b8: PUSH1 0x13
000010ba: DUP1
000010bb: SLOAD
000010bc: PUSH1 0xff
000010be: NOT
000010bf: AND
000010c0: SWAP2
000010c1: ISZERO
000010c2: ISZERO
000010c3: SWAP2
000010c4: SWAP1
000010c5: SWAP2
000010c6: OR
000010c7: SWAP1
000010c8: SSTORE
000010c9: JUMP
000010ca: JUMPDEST
000010cb: PUSH1 0x04
000010cd: SLOAD
000010ce: PUSH1 0x01
000010d0: PUSH1 0x01
000010d2: PUSH1 0xa0
000010d4: SHL
000010d5: SUB
000010d6: AND
000010d7: CALLER
000010d8: EQ
000010d9: PUSH2 0x10f4
000010dc: JUMPI
000010dd: PUSH1 0x40
000010df: MLOAD
000010e0: PUSH3 0x461bcd
000010e4: PUSH1 0xe5
000010e6: SHL
000010e7: DUP2
000010e8: MSTORE
000010e9: PUSH1 0x04
000010eb: ADD
000010ec: PUSH2 0x0792
000010ef: SWAP1
000010f0: PUSH2 0x1ca0
000010f3: JUMP
000010f4: JUMPDEST
000010f5: PUSH1 0x01
000010f7: PUSH1 0x01
000010f9: PUSH1 0xa0
000010fb: SHL
000010fc: SUB
000010fd: AND
000010fe: PUSH1 0x00
00001100: SWAP1
00001101: DUP2
00001102: MSTORE
00001103: PUSH1 0x03
00001105: PUSH1 0x20
00001107: MSTORE
00001108: PUSH1 0x40
0000110a: SWAP1
0000110b: KECCAK256
0000110c: DUP1
0000110d: SLOAD
0000110e: PUSH1 0xff
00001110: NOT
00001111: AND
00001112: PUSH1 0x01
00001114: OR
00001115: SWAP1
00001116: SSTORE
00001117: JUMP
00001118: JUMPDEST
00001119: PUSH1 0x00
0000111b: PUSH2 0x096d
0000111e: PUSH1 0x07
00001120: PUSH2 0x15de
00001123: JUMP
00001124: JUMPDEST
00001125: PUSH1 0x04
00001127: SLOAD
00001128: PUSH1 0x01
0000112a: PUSH1 0x01
0000112c: PUSH1 0xa0
0000112e: SHL
0000112f: SUB
00001130: AND
00001131: CALLER
00001132: EQ
00001133: DUP1
00001134: PUSH2 0x1147
00001137: JUMPI
00001138: POP
00001139: PUSH1 0x00
0000113b: SLOAD
0000113c: PUSH1 0x01
0000113e: PUSH1 0x01
00001140: PUSH1 0xa0
00001142: SHL
00001143: SUB
00001144: AND
00001145: CALLER
00001146: EQ
00001147: JUMPDEST
00001148: PUSH2 0x1163
0000114b: JUMPI
0000114c: PUSH1 0x40
0000114e: MLOAD
0000114f: PUSH3 0x461bcd
00001153: PUSH1 0xe5
00001155: SHL
00001156: DUP2
00001157: MSTORE
00001158: PUSH1 0x04
0000115a: ADD
0000115b: PUSH2 0x0792
0000115e: SWAP1
0000115f: PUSH2 0x1c69
00001162: JUMP
00001163: JUMPDEST
00001164: PUSH1 0x05
00001166: DUP1
00001167: SLOAD
00001168: PUSH1 0x01
0000116a: PUSH1 0x01
0000116c: PUSH1 0xa0
0000116e: SHL
0000116f: SUB
00001170: SWAP1
00001171: SWAP3
00001172: AND
00001173: PUSH1 0x01
00001175: PUSH2 0xff01
00001178: PUSH1 0xa0
0000117a: SHL
0000117b: SUB
0000117c: NOT
0000117d: SWAP1
0000117e: SWAP3
0000117f: AND
00001180: SWAP2
00001181: SWAP1
00001182: SWAP2
00001183: OR
00001184: PUSH1 0x01
00001186: PUSH1 0xa8
00001188: SHL
00001189: OR
0000118a: SWAP1
0000118b: SSTORE
0000118c: JUMP
0000118d: JUMPDEST
0000118e: PUSH1 0x00
00001190: SLOAD
00001191: PUSH1 0x01
00001193: PUSH1 0x01
00001195: PUSH1 0xa0
00001197: SHL
00001198: SUB
00001199: AND
0000119a: CALLER
0000119b: EQ
0000119c: PUSH2 0x11b7
0000119f: JUMPI
000011a0: PUSH1 0x40
000011a2: MLOAD
000011a3: PUSH3 0x461bcd
000011a7: PUSH1 0xe5
000011a9: SHL
000011aa: DUP2
000011ab: MSTORE
000011ac: PUSH1 0x04
000011ae: ADD
000011af: PUSH2 0x0792
000011b2: SWAP1
000011b3: PUSH2 0x1ce1
000011b6: JUMP
000011b7: JUMPDEST
000011b8: PUSH1 0x00
000011ba: DUP1
000011bb: SLOAD
000011bc: PUSH1 0x01
000011be: DUP1
000011bf: SLOAD
000011c0: PUSH1 0x01
000011c2: PUSH1 0x01
000011c4: PUSH1 0xa0
000011c6: SHL
000011c7: SUB
000011c8: NOT
000011c9: SWAP1
000011ca: DUP2
000011cb: AND
000011cc: PUSH1 0x01
000011ce: PUSH1 0x01
000011d0: PUSH1 0xa0
000011d2: SHL
000011d3: SUB
000011d4: DUP5
000011d5: AND
000011d6: OR
000011d7: SWAP1
000011d8: SWAP2
000011d9: SSTORE
000011da: AND
000011db: SWAP1
000011dc: SSTORE
000011dd: PUSH2 0x11e6
000011e0: DUP2
000011e1: TIMESTAMP
000011e2: PUSH2 0x1e61
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH1 0x02
000011e9: SSTORE
000011ea: PUSH1 0x00
000011ec: DUP1
000011ed: SLOAD
000011ee: PUSH1 0x40
000011f0: MLOAD
000011f1: PUSH1 0x01
000011f3: PUSH1 0x01
000011f5: PUSH1 0xa0
000011f7: SHL
000011f8: SUB
000011f9: SWAP1
000011fa: SWAP2
000011fb: AND
000011fc: SWAP1
000011fd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000121e: SWAP1
0000121f: DUP4
00001220: SWAP1
00001221: LOG3
00001222: POP
00001223: JUMP
00001224: JUMPDEST
00001225: PUSH2 0x122d
00001228: CALLER
00001229: PUSH2 0x1549
0000122c: JUMP
0000122d: JUMPDEST
0000122e: PUSH2 0x1249
00001231: JUMPI
00001232: PUSH1 0x40
00001234: MLOAD
00001235: PUSH3 0x461bcd
00001239: PUSH1 0xe5
0000123b: SHL
0000123c: DUP2
0000123d: MSTORE
0000123e: PUSH1 0x04
00001240: ADD
00001241: PUSH2 0x0792
00001244: SWAP1
00001245: PUSH2 0x1c69
00001248: JUMP
00001249: JUMPDEST
0000124a: PUSH1 0x0c
0000124c: SSTORE
0000124d: JUMP
0000124e: JUMPDEST
0000124f: PUSH1 0x04
00001251: SLOAD
00001252: PUSH1 0x01
00001254: PUSH1 0x01
00001256: PUSH1 0xa0
00001258: SHL
00001259: SUB
0000125a: AND
0000125b: CALLER
0000125c: EQ
0000125d: PUSH2 0x1278
00001260: JUMPI
00001261: PUSH1 0x40
00001263: MLOAD
00001264: PUSH3 0x461bcd
00001268: PUSH1 0xe5
0000126a: SHL
0000126b: DUP2
0000126c: MSTORE
0000126d: PUSH1 0x04
0000126f: ADD
00001270: PUSH2 0x0792
00001273: SWAP1
00001274: PUSH2 0x1ca0
00001277: JUMP
00001278: JUMPDEST
00001279: PUSH1 0x05
0000127b: DUP1
0000127c: SLOAD
0000127d: PUSH1 0xff
0000127f: PUSH1 0xa0
00001281: SHL
00001282: NOT
00001283: AND
00001284: PUSH1 0x01
00001286: PUSH1 0xa0
00001288: SHL
00001289: OR
0000128a: SWAP1
0000128b: SSTORE
0000128c: JUMP
0000128d: JUMPDEST
0000128e: PUSH2 0x1296
00001291: CALLER
00001292: PUSH2 0x1549
00001295: JUMP
00001296: JUMPDEST
00001297: PUSH2 0x12b2
0000129a: JUMPI
0000129b: PUSH1 0x40
0000129d: MLOAD
0000129e: PUSH3 0x461bcd
000012a2: PUSH1 0xe5
000012a4: SHL
000012a5: DUP2
000012a6: MSTORE
000012a7: PUSH1 0x04
000012a9: ADD
000012aa: PUSH2 0x0792
000012ad: SWAP1
000012ae: PUSH2 0x1c69
000012b1: JUMP
000012b2: JUMPDEST
000012b3: PUSH1 0x06
000012b5: SLOAD
000012b6: PUSH1 0x40
000012b8: MLOAD
000012b9: PUSH4 0x70a08231
000012be: PUSH1 0xe0
000012c0: SHL
000012c1: DUP2
000012c2: MSTORE
000012c3: ADDRESS
000012c4: PUSH1 0x04
000012c6: DUP3
000012c7: ADD
000012c8: MSTORE
000012c9: PUSH1 0x64
000012cb: SWAP2
000012cc: PUSH1 0x01
000012ce: PUSH1 0x01
000012d0: PUSH1 0xa0
000012d2: SHL
000012d3: SUB
000012d4: AND
000012d5: SWAP1
000012d6: PUSH4 0x70a08231
000012db: SWAP1
000012dc: PUSH1 0x24
000012de: ADD
000012df: PUSH1 0x20
000012e1: PUSH1 0x40
000012e3: MLOAD
000012e4: DUP1
000012e5: DUP4
000012e6: SUB
000012e7: DUP2
000012e8: DUP7
000012e9: GAS
000012ea: STATICCALL
000012eb: ISZERO
000012ec: DUP1
000012ed: ISZERO
000012ee: PUSH2 0x12fb
000012f1: JUMPI
000012f2: RETURNDATASIZE
000012f3: PUSH1 0x00
000012f5: DUP1
000012f6: RETURNDATACOPY
000012f7: RETURNDATASIZE
000012f8: PUSH1 0x00
000012fa: REVERT
000012fb: JUMPDEST
000012fc: POP
000012fd: POP
000012fe: POP
000012ff: POP
00001300: PUSH1 0x40
00001302: MLOAD
00001303: RETURNDATASIZE
00001304: PUSH1 0x1f
00001306: NOT
00001307: PUSH1 0x1f
00001309: DUP3
0000130a: ADD
0000130b: AND
0000130c: DUP3
0000130d: ADD
0000130e: DUP1
0000130f: PUSH1 0x40
00001311: MSTORE
00001312: POP
00001313: DUP2
00001314: ADD
00001315: SWAP1
00001316: PUSH2 0x131f
00001319: SWAP2
0000131a: SWAP1
0000131b: PUSH2 0x1f13
0000131e: JUMP
0000131f: JUMPDEST
00001320: PUSH2 0x1329
00001323: SWAP2
00001324: SWAP1
00001325: PUSH2 0x1e79
00001328: JUMP
00001329: JUMPDEST
0000132a: DUP2
0000132b: GT
0000132c: ISZERO
0000132d: PUSH2 0x136f
00001330: JUMPI
00001331: PUSH1 0x40
00001333: MLOAD
00001334: PUSH3 0x461bcd
00001338: PUSH1 0xe5
0000133a: SHL
0000133b: DUP2
0000133c: MSTORE
0000133d: PUSH1 0x20
0000133f: PUSH1 0x04
00001341: DUP3
00001342: ADD
00001343: MSTORE
00001344: PUSH1 0x14
00001346: PUSH1 0x24
00001348: DUP3
00001349: ADD
0000134a: MSTORE
0000134b: PUSH20 0x63616e74206265206d6f7265207468616e203125
00001360: PUSH1 0x60
00001362: SHL
00001363: PUSH1 0x44
00001365: DUP3
00001366: ADD
00001367: MSTORE
00001368: PUSH1 0x64
0000136a: ADD
0000136b: PUSH2 0x0792
0000136e: JUMP
0000136f: JUMPDEST
00001370: PUSH1 0x06
00001372: SLOAD
00001373: PUSH1 0x40
00001375: MLOAD
00001376: PUSH4 0xa9059cbb
0000137b: PUSH1 0xe0
0000137d: SHL
0000137e: DUP2
0000137f: MSTORE
00001380: PUSH1 0x01
00001382: PUSH1 0x01
00001384: PUSH1 0xa0
00001386: SHL
00001387: SUB
00001388: DUP5
00001389: DUP2
0000138a: AND
0000138b: PUSH1 0x04
0000138d: DUP4
0000138e: ADD
0000138f: MSTORE
00001390: PUSH1 0x24
00001392: DUP3
00001393: ADD
00001394: DUP5
00001395: SWAP1
00001396: MSTORE
00001397: SWAP1
00001398: SWAP2
00001399: AND
0000139a: SWAP1
0000139b: PUSH4 0xa9059cbb
000013a0: SWAP1
000013a1: PUSH1 0x44
000013a3: ADD
000013a4: PUSH1 0x20
000013a6: PUSH1 0x40
000013a8: MLOAD
000013a9: DUP1
000013aa: DUP4
000013ab: SUB
000013ac: DUP2
000013ad: PUSH1 0x00
000013af: DUP8
000013b0: GAS
000013b1: CALL
000013b2: ISZERO
000013b3: DUP1
000013b4: ISZERO
000013b5: PUSH2 0x13c2
000013b8: JUMPI
000013b9: RETURNDATASIZE
000013ba: PUSH1 0x00
000013bc: DUP1
000013bd: RETURNDATACOPY
000013be: RETURNDATASIZE
000013bf: PUSH1 0x00
000013c1: REVERT
000013c2: JUMPDEST
000013c3: POP
000013c4: POP
000013c5: POP
000013c6: POP
000013c7: PUSH1 0x40
000013c9: MLOAD
000013ca: RETURNDATASIZE
000013cb: PUSH1 0x1f
000013cd: NOT
000013ce: PUSH1 0x1f
000013d0: DUP3
000013d1: ADD
000013d2: AND
000013d3: DUP3
000013d4: ADD
000013d5: DUP1
000013d6: PUSH1 0x40
000013d8: MSTORE
000013d9: POP
000013da: DUP2
000013db: ADD
000013dc: SWAP1
000013dd: PUSH2 0x13e6
000013e0: SWAP2
000013e1: SWAP1
000013e2: PUSH2 0x1f2c
000013e5: JUMP
000013e6: JUMPDEST
000013e7: POP
000013e8: DUP2
000013e9: PUSH1 0x01
000013eb: PUSH1 0x01
000013ed: PUSH1 0xa0
000013ef: SHL
000013f0: SUB
000013f1: AND
000013f2: PUSH32 0x9c2270628a9b29d30ae96b6c4c14ed646ee134febdce38a5b77f2bde9cea2e20
00001413: DUP3
00001414: PUSH1 0x40
00001416: MLOAD
00001417: PUSH2 0x1422
0000141a: SWAP2
0000141b: DUP2
0000141c: MSTORE
0000141d: PUSH1 0x20
0000141f: ADD
00001420: SWAP1
00001421: JUMP
00001422: JUMPDEST
00001423: PUSH1 0x40
00001425: MLOAD
00001426: DUP1
00001427: SWAP2
00001428: SUB
00001429: SWAP1
0000142a: LOG2
0000142b: POP
0000142c: POP
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH1 0x00
00001431: SLOAD
00001432: PUSH1 0x01
00001434: PUSH1 0x01
00001436: PUSH1 0xa0
00001438: SHL
00001439: SUB
0000143a: AND
0000143b: CALLER
0000143c: EQ
0000143d: PUSH2 0x1458
00001440: JUMPI
00001441: PUSH1 0x40
00001443: MLOAD
00001444: PUSH3 0x461bcd
00001448: PUSH1 0xe5
0000144a: SHL
0000144b: DUP2
0000144c: MSTORE
0000144d: PUSH1 0x04
0000144f: ADD
00001450: PUSH2 0x0792
00001453: SWAP1
00001454: PUSH2 0x1ce1
00001457: JUMP
00001458: JUMPDEST
00001459: PUSH1 0x01
0000145b: PUSH1 0x01
0000145d: PUSH1 0xa0
0000145f: SHL
00001460: SUB
00001461: DUP2
00001462: AND
00001463: PUSH2 0x0f7c
00001466: JUMPI
00001467: PUSH1 0x40
00001469: MLOAD
0000146a: PUSH3 0x461bcd
0000146e: PUSH1 0xe5
00001470: SHL
00001471: DUP2
00001472: MSTORE
00001473: PUSH1 0x04
00001475: ADD
00001476: PUSH2 0x0792
00001479: SWAP1
0000147a: PUSH2 0x1ecd
0000147d: JUMP
0000147e: JUMPDEST
0000147f: PUSH2 0x1487
00001482: CALLER
00001483: PUSH2 0x1549
00001486: JUMP
00001487: JUMPDEST
00001488: PUSH2 0x14a3
0000148b: JUMPI
0000148c: PUSH1 0x40
0000148e: MLOAD
0000148f: PUSH3 0x461bcd
00001493: PUSH1 0xe5
00001495: SHL
00001496: DUP2
00001497: MSTORE
00001498: PUSH1 0x04
0000149a: ADD
0000149b: PUSH2 0x0792
0000149e: SWAP1
0000149f: PUSH2 0x1c69
000014a2: JUMP
000014a3: JUMPDEST
000014a4: PUSH1 0x16
000014a6: SLOAD
000014a7: PUSH1 0xff
000014a9: AND
000014aa: ISZERO
000014ab: DUP1
000014ac: ISZERO
000014ad: PUSH2 0x14b8
000014b0: JUMPI
000014b1: POP
000014b2: PUSH1 0x13
000014b4: SLOAD
000014b5: PUSH1 0xff
000014b7: AND
000014b8: JUMPDEST
000014b9: DUP1
000014ba: ISZERO
000014bb: PUSH2 0x14d2
000014be: JUMPI
000014bf: POP
000014c0: PUSH1 0x06
000014c2: SLOAD
000014c3: PUSH1 0x01
000014c5: PUSH1 0x01
000014c7: PUSH1 0xa0
000014c9: SHL
000014ca: SUB
000014cb: DUP5
000014cc: DUP2
000014cd: AND
000014ce: SWAP2
000014cf: AND
000014d0: EQ
000014d1: ISZERO
000014d2: JUMPDEST
000014d3: ISZERO
000014d4: PUSH2 0x09db
000014d7: JUMPI
000014d8: PUSH1 0x0d
000014da: SLOAD
000014db: DUP3
000014dc: GT
000014dd: DUP1
000014de: ISZERO
000014df: PUSH2 0x14ea
000014e2: JUMPI
000014e3: POP
000014e4: DUP1
000014e5: PUSH1 0x0b
000014e7: SLOAD
000014e8: LT
000014e9: ISZERO
000014ea: JUMPDEST
000014eb: DUP1
000014ec: ISZERO
000014ed: PUSH2 0x14fe
000014f0: JUMPI
000014f1: POP
000014f2: PUSH2 0x14fc
000014f5: PUSH1 0x09
000014f7: DUP5
000014f8: PUSH2 0x1662
000014fb: JUMP
000014fc: JUMPDEST
000014fd: ISZERO
000014fe: JUMPDEST
000014ff: ISZERO
00001500: PUSH2 0x150e
00001503: JUMPI
00001504: PUSH2 0x09ae
00001507: PUSH1 0x07
00001509: DUP5
0000150a: PUSH2 0x15e8
0000150d: JUMP
0000150e: JUMPDEST
0000150f: PUSH2 0x1519
00001512: PUSH1 0x07
00001514: DUP5
00001515: PUSH2 0x1662
00001518: JUMP
00001519: JUMPDEST
0000151a: DUP1
0000151b: ISZERO
0000151c: PUSH2 0x152d
0000151f: JUMPI
00001520: POP
00001521: PUSH2 0x152b
00001524: PUSH1 0x09
00001526: DUP5
00001527: PUSH2 0x1662
0000152a: JUMP
0000152b: JUMPDEST
0000152c: ISZERO
0000152d: JUMPDEST
0000152e: ISZERO
0000152f: PUSH2 0x09db
00001532: JUMPI
00001533: PUSH2 0x153d
00001536: PUSH1 0x09
00001538: DUP5
00001539: PUSH2 0x15e8
0000153c: JUMP
0000153d: JUMPDEST
0000153e: POP
0000153f: PUSH2 0x09ae
00001542: PUSH1 0x07
00001544: DUP5
00001545: PUSH2 0x15fd
00001548: JUMP
00001549: JUMPDEST
0000154a: PUSH1 0x05
0000154c: SLOAD
0000154d: PUSH1 0x00
0000154f: SWAP1
00001550: PUSH1 0x01
00001552: PUSH1 0xa0
00001554: SHL
00001555: SWAP1
00001556: DIV
00001557: PUSH1 0xff
00001559: AND
0000155a: ISZERO
0000155b: PUSH2 0x1566
0000155e: JUMPI
0000155f: POP
00001560: PUSH1 0x00
00001562: SWAP2
00001563: SWAP1
00001564: POP
00001565: JUMP
00001566: JUMPDEST
00001567: PUSH1 0x05
00001569: SLOAD
0000156a: PUSH1 0x01
0000156c: PUSH1 0xa8
0000156e: SHL
0000156f: SWAP1
00001570: DIV
00001571: PUSH1 0xff
00001573: AND
00001574: ISZERO
00001575: PUSH2 0x158d
00001578: JUMPI
00001579: POP
0000157a: PUSH1 0x05
0000157c: SLOAD
0000157d: PUSH1 0x01
0000157f: PUSH1 0x01
00001581: PUSH1 0xa0
00001583: SHL
00001584: SUB
00001585: SWAP2
00001586: DUP3
00001587: AND
00001588: SWAP2
00001589: AND
0000158a: EQ
0000158b: SWAP1
0000158c: JUMP
0000158d: JUMPDEST
0000158e: PUSH1 0x00
00001590: SLOAD
00001591: PUSH1 0x01
00001593: PUSH1 0x01
00001595: PUSH1 0xa0
00001597: SHL
00001598: SUB
00001599: DUP4
0000159a: DUP2
0000159b: AND
0000159c: SWAP2
0000159d: AND
0000159e: EQ
0000159f: PUSH2 0x15c3
000015a2: JUMPI
000015a3: PUSH1 0x01
000015a5: PUSH1 0x01
000015a7: PUSH1 0xa0
000015a9: SHL
000015aa: SUB
000015ab: DUP3
000015ac: AND
000015ad: PUSH1 0x00
000015af: SWAP1
000015b0: DUP2
000015b1: MSTORE
000015b2: PUSH1 0x03
000015b4: PUSH1 0x20
000015b6: MSTORE
000015b7: PUSH1 0x40
000015b9: SWAP1
000015ba: KECCAK256
000015bb: SLOAD
000015bc: PUSH1 0xff
000015be: AND
000015bf: PUSH2 0x0859
000015c2: JUMP
000015c3: JUMPDEST
000015c4: PUSH1 0x01
000015c6: SWAP3
000015c7: SWAP2
000015c8: POP
000015c9: POP
000015ca: JUMP
000015cb: JUMPDEST
000015cc: PUSH1 0x00
000015ce: PUSH2 0x15d7
000015d1: DUP4
000015d2: DUP4
000015d3: PUSH2 0x16d6
000015d6: JUMP
000015d7: JUMPDEST
000015d8: SWAP4
000015d9: SWAP3
000015da: POP
000015db: POP
000015dc: POP
000015dd: JUMP
000015de: JUMPDEST
000015df: PUSH1 0x00
000015e1: PUSH2 0x0859
000015e4: DUP3
000015e5: SLOAD
000015e6: SWAP1
000015e7: JUMP
000015e8: JUMPDEST
000015e9: PUSH1 0x00
000015eb: PUSH2 0x15d7
000015ee: DUP4
000015ef: PUSH1 0x01
000015f1: PUSH1 0x01
000015f3: PUSH1 0xa0
000015f5: SHL
000015f6: SUB
000015f7: DUP5
000015f8: AND
000015f9: PUSH2 0x1700
000015fc: JUMP
000015fd: JUMPDEST
000015fe: PUSH1 0x00
00001600: PUSH2 0x15d7
00001603: DUP4
00001604: PUSH1 0x01
00001606: PUSH1 0x01
00001608: PUSH1 0xa0
0000160a: SHL
0000160b: SUB
0000160c: DUP5
0000160d: AND
0000160e: PUSH2 0x174f
00001611: JUMP
00001612: JUMPDEST
00001613: PUSH1 0x00
00001615: DUP1
00001616: SLOAD
00001617: PUSH1 0x01
00001619: PUSH1 0x01
0000161b: PUSH1 0xa0
0000161d: SHL
0000161e: SUB
0000161f: DUP4
00001620: DUP2
00001621: AND
00001622: PUSH1 0x01
00001624: PUSH1 0x01
00001626: PUSH1 0xa0
00001628: SHL
00001629: SUB
0000162a: NOT
0000162b: DUP4
0000162c: AND
0000162d: DUP2
0000162e: OR
0000162f: DUP5
00001630: SSTORE
00001631: PUSH1 0x40
00001633: MLOAD
00001634: SWAP2
00001635: SWAP1
00001636: SWAP3
00001637: AND
00001638: SWAP3
00001639: DUP4
0000163a: SWAP2
0000163b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000165c: SWAP2
0000165d: SWAP1
0000165e: LOG3
0000165f: POP
00001660: POP
00001661: JUMP
00001662: JUMPDEST
00001663: PUSH1 0x01
00001665: PUSH1 0x01
00001667: PUSH1 0xa0
00001669: SHL
0000166a: SUB
0000166b: DUP2
0000166c: AND
0000166d: PUSH1 0x00
0000166f: SWAP1
00001670: DUP2
00001671: MSTORE
00001672: PUSH1 0x01
00001674: DUP4
00001675: ADD
00001676: PUSH1 0x20
00001678: MSTORE
00001679: PUSH1 0x40
0000167b: DUP2
0000167c: KECCAK256
0000167d: SLOAD
0000167e: ISZERO
0000167f: ISZERO
00001680: PUSH2 0x15d7
00001683: JUMP
00001684: JUMPDEST
00001685: PUSH1 0x40
00001687: DUP1
00001688: MLOAD
00001689: PUSH1 0x01
0000168b: PUSH1 0x01
0000168d: PUSH1 0xa0
0000168f: SHL
00001690: SUB
00001691: DUP5
00001692: AND
00001693: PUSH1 0x24
00001695: DUP3
00001696: ADD
00001697: MSTORE
00001698: PUSH1 0x44
0000169a: DUP1
0000169b: DUP3
0000169c: ADD
0000169d: DUP5
0000169e: SWAP1
0000169f: MSTORE
000016a0: DUP3
000016a1: MLOAD
000016a2: DUP1
000016a3: DUP4
000016a4: SUB
000016a5: SWAP1
000016a6: SWAP2
000016a7: ADD
000016a8: DUP2
000016a9: MSTORE
000016aa: PUSH1 0x64
000016ac: SWAP1
000016ad: SWAP2
000016ae: ADD
000016af: SWAP1
000016b0: SWAP2
000016b1: MSTORE
000016b2: PUSH1 0x20
000016b4: DUP2
000016b5: ADD
000016b6: DUP1
000016b7: MLOAD
000016b8: PUSH1 0x01
000016ba: PUSH1 0x01
000016bc: PUSH1 0xe0
000016be: SHL
000016bf: SUB
000016c0: AND
000016c1: PUSH4 0xa9059cbb
000016c6: PUSH1 0xe0
000016c8: SHL
000016c9: OR
000016ca: SWAP1
000016cb: MSTORE
000016cc: PUSH2 0x09db
000016cf: SWAP1
000016d0: DUP5
000016d1: SWAP1
000016d2: PUSH2 0x1842
000016d5: JUMP
000016d6: JUMPDEST
000016d7: PUSH1 0x00
000016d9: DUP3
000016da: PUSH1 0x00
000016dc: ADD
000016dd: DUP3
000016de: DUP2
000016df: SLOAD
000016e0: DUP2
000016e1: LT
000016e2: PUSH2 0x16ed
000016e5: JUMPI
000016e6: PUSH2 0x16ed
000016e9: PUSH2 0x1f49
000016ec: JUMP
000016ed: JUMPDEST
000016ee: SWAP1
000016ef: PUSH1 0x00
000016f1: MSTORE
000016f2: PUSH1 0x20
000016f4: PUSH1 0x00
000016f6: KECCAK256
000016f7: ADD
000016f8: SLOAD
000016f9: SWAP1
000016fa: POP
000016fb: SWAP3
000016fc: SWAP2
000016fd: POP
000016fe: POP
000016ff: JUMP
00001700: JUMPDEST
00001701: PUSH1 0x00
00001703: DUP2
00001704: DUP2
00001705: MSTORE
00001706: PUSH1 0x01
00001708: DUP4
00001709: ADD
0000170a: PUSH1 0x20
0000170c: MSTORE
0000170d: PUSH1 0x40
0000170f: DUP2
00001710: KECCAK256
00001711: SLOAD
00001712: PUSH2 0x1747
00001715: JUMPI
00001716: POP
00001717: DUP2
00001718: SLOAD
00001719: PUSH1 0x01
0000171b: DUP2
0000171c: DUP2
0000171d: ADD
0000171e: DUP5
0000171f: SSTORE
00001720: PUSH1 0x00
00001722: DUP5
00001723: DUP2
00001724: MSTORE
00001725: PUSH1 0x20
00001727: DUP1
00001728: DUP3
00001729: KECCAK256
0000172a: SWAP1
0000172b: SWAP4
0000172c: ADD
0000172d: DUP5
0000172e: SWAP1
0000172f: SSTORE
00001730: DUP5
00001731: SLOAD
00001732: DUP5
00001733: DUP3
00001734: MSTORE
00001735: DUP3
00001736: DUP7
00001737: ADD
00001738: SWAP1
00001739: SWAP4
0000173a: MSTORE
0000173b: PUSH1 0x40
0000173d: SWAP1
0000173e: KECCAK256
0000173f: SWAP2
00001740: SWAP1
00001741: SWAP2
00001742: SSTORE
00001743: PUSH2 0x0859
00001746: JUMP
00001747: JUMPDEST
00001748: POP
00001749: PUSH1 0x00
0000174b: PUSH2 0x0859
0000174e: JUMP
0000174f: JUMPDEST
00001750: PUSH1 0x00
00001752: DUP2
00001753: DUP2
00001754: MSTORE
00001755: PUSH1 0x01
00001757: DUP4
00001758: ADD
00001759: PUSH1 0x20
0000175b: MSTORE
0000175c: PUSH1 0x40
0000175e: DUP2
0000175f: KECCAK256
00001760: SLOAD
00001761: DUP1
00001762: ISZERO
00001763: PUSH2 0x1838
00001766: JUMPI
00001767: PUSH1 0x00
00001769: PUSH2 0x1773
0000176c: PUSH1 0x01
0000176e: DUP4
0000176f: PUSH2 0x1eb6
00001772: JUMP
00001773: JUMPDEST
00001774: DUP6
00001775: SLOAD
00001776: SWAP1
00001777: SWAP2
00001778: POP
00001779: PUSH1 0x00
0000177b: SWAP1
0000177c: PUSH2 0x1787
0000177f: SWAP1
00001780: PUSH1 0x01
00001782: SWAP1
00001783: PUSH2 0x1eb6
00001786: JUMP
00001787: JUMPDEST
00001788: SWAP1
00001789: POP
0000178a: DUP2
0000178b: DUP2
0000178c: EQ
0000178d: PUSH2 0x17ec
00001790: JUMPI
00001791: PUSH1 0x00
00001793: DUP7
00001794: PUSH1 0x00
00001796: ADD
00001797: DUP3
00001798: DUP2
00001799: SLOAD
0000179a: DUP2
0000179b: LT
0000179c: PUSH2 0x17a7
0000179f: JUMPI
000017a0: PUSH2 0x17a7
000017a3: PUSH2 0x1f49
000017a6: JUMP
000017a7: JUMPDEST
000017a8: SWAP1
000017a9: PUSH1 0x00
000017ab: MSTORE
000017ac: PUSH1 0x20
000017ae: PUSH1 0x00
000017b0: KECCAK256
000017b1: ADD
000017b2: SLOAD
000017b3: SWAP1
000017b4: POP
000017b5: DUP1
000017b6: DUP8
000017b7: PUSH1 0x00
000017b9: ADD
000017ba: DUP5
000017bb: DUP2
000017bc: SLOAD
000017bd: DUP2
000017be: LT
000017bf: PUSH2 0x17ca
000017c2: JUMPI
000017c3: PUSH2 0x17ca
000017c6: PUSH2 0x1f49
000017c9: JUMP
000017ca: JUMPDEST
000017cb: PUSH1 0x00
000017cd: SWAP2
000017ce: DUP3
000017cf: MSTORE
000017d0: PUSH1 0x20
000017d2: DUP1
000017d3: DUP4
000017d4: KECCAK256
000017d5: SWAP1
000017d6: SWAP2
000017d7: ADD
000017d8: SWAP3
000017d9: SWAP1
000017da: SWAP3
000017db: SSTORE
000017dc: SWAP2
000017dd: DUP3
000017de: MSTORE
000017df: PUSH1 0x01
000017e1: DUP9
000017e2: ADD
000017e3: SWAP1
000017e4: MSTORE
000017e5: PUSH1 0x40
000017e7: SWAP1
000017e8: KECCAK256
000017e9: DUP4
000017ea: SWAP1
000017eb: SSTORE
000017ec: JUMPDEST
000017ed: DUP6
000017ee: SLOAD
000017ef: DUP7
000017f0: SWAP1
000017f1: DUP1
000017f2: PUSH2 0x17fd
000017f5: JUMPI
000017f6: PUSH2 0x17fd
000017f9: PUSH2 0x1f5f
000017fc: JUMP
000017fd: JUMPDEST
000017fe: PUSH1 0x01
00001800: SWAP1
00001801: SUB
00001802: DUP2
00001803: DUP2
00001804: SWAP1
00001805: PUSH1 0x00
00001807: MSTORE
00001808: PUSH1 0x20
0000180a: PUSH1 0x00
0000180c: KECCAK256
0000180d: ADD
0000180e: PUSH1 0x00
00001810: SWAP1
00001811: SSTORE
00001812: SWAP1
00001813: SSTORE
00001814: DUP6
00001815: PUSH1 0x01
00001817: ADD
00001818: PUSH1 0x00
0000181a: DUP7
0000181b: DUP2
0000181c: MSTORE
0000181d: PUSH1 0x20
0000181f: ADD
00001820: SWAP1
00001821: DUP2
00001822: MSTORE
00001823: PUSH1 0x20
00001825: ADD
00001826: PUSH1 0x00
00001828: KECCAK256
00001829: PUSH1 0x00
0000182b: SWAP1
0000182c: SSTORE
0000182d: PUSH1 0x01
0000182f: SWAP4
00001830: POP
00001831: POP
00001832: POP
00001833: POP
00001834: PUSH2 0x0859
00001837: JUMP
00001838: JUMPDEST
00001839: PUSH1 0x00
0000183b: SWAP2
0000183c: POP
0000183d: POP
0000183e: PUSH2 0x0859
00001841: JUMP
00001842: JUMPDEST
00001843: PUSH1 0x00
00001845: PUSH2 0x1897
00001848: DUP3
00001849: PUSH1 0x40
0000184b: MLOAD
0000184c: DUP1
0000184d: PUSH1 0x40
0000184f: ADD
00001850: PUSH1 0x40
00001852: MSTORE
00001853: DUP1
00001854: PUSH1 0x20
00001856: DUP2
00001857: MSTORE
00001858: PUSH1 0x20
0000185a: ADD
0000185b: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000187c: DUP2
0000187d: MSTORE
0000187e: POP
0000187f: DUP6
00001880: PUSH1 0x01
00001882: PUSH1 0x01
00001884: PUSH1 0xa0
00001886: SHL
00001887: SUB
00001888: AND
00001889: PUSH2 0x1914
0000188c: SWAP1
0000188d: SWAP3
0000188e: SWAP2
0000188f: SWAP1
00001890: PUSH4 0xffffffff
00001895: AND
00001896: JUMP
00001897: JUMPDEST
00001898: DUP1
00001899: MLOAD
0000189a: SWAP1
0000189b: SWAP2
0000189c: POP
0000189d: ISZERO
0000189e: PUSH2 0x09db
000018a1: JUMPI
000018a2: DUP1
000018a3: DUP1
000018a4: PUSH1 0x20
000018a6: ADD
000018a7: SWAP1
000018a8: MLOAD
000018a9: DUP2
000018aa: ADD
000018ab: SWAP1
000018ac: PUSH2 0x18b5
000018af: SWAP2
000018b0: SWAP1
000018b1: PUSH2 0x1f2c
000018b4: JUMP
000018b5: JUMPDEST
000018b6: PUSH2 0x09db
000018b9: JUMPI
000018ba: PUSH1 0x40
000018bc: MLOAD
000018bd: PUSH3 0x461bcd
000018c1: PUSH1 0xe5
000018c3: SHL
000018c4: DUP2
000018c5: MSTORE
000018c6: PUSH1 0x20
000018c8: PUSH1 0x04
000018ca: DUP3
000018cb: ADD
000018cc: MSTORE
000018cd: PUSH1 0x2a
000018cf: PUSH1 0x24
000018d1: DUP3
000018d2: ADD
000018d3: MSTORE
000018d4: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000018f5: PUSH1 0x44
000018f7: DUP3
000018f8: ADD
000018f9: MSTORE
000018fa: PUSH10 0x1bdd081cdd58d8d95959
00001905: PUSH1 0xb2
00001907: SHL
00001908: PUSH1 0x64
0000190a: DUP3
0000190b: ADD
0000190c: MSTORE
0000190d: PUSH1 0x84
0000190f: ADD
00001910: PUSH2 0x0792
00001913: JUMP
00001914: JUMPDEST
00001915: PUSH1 0x60
00001917: PUSH2 0x1923
0000191a: DUP5
0000191b: DUP5
0000191c: PUSH1 0x00
0000191e: DUP6
0000191f: PUSH2 0x192b
00001922: JUMP
00001923: JUMPDEST
00001924: SWAP5
00001925: SWAP4
00001926: POP
00001927: POP
00001928: POP
00001929: POP
0000192a: JUMP
0000192b: JUMPDEST
0000192c: PUSH1 0x60
0000192e: DUP3
0000192f: SELFBALANCE
00001930: LT
00001931: ISZERO
00001932: PUSH2 0x198c
00001935: JUMPI
00001936: PUSH1 0x40
00001938: MLOAD
00001939: PUSH3 0x461bcd
0000193d: PUSH1 0xe5
0000193f: SHL
00001940: DUP2
00001941: MSTORE
00001942: PUSH1 0x20
00001944: PUSH1 0x04
00001946: DUP3
00001947: ADD
00001948: MSTORE
00001949: PUSH1 0x26
0000194b: PUSH1 0x24
0000194d: DUP3
0000194e: ADD
0000194f: MSTORE
00001950: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001971: PUSH1 0x44
00001973: DUP3
00001974: ADD
00001975: MSTORE
00001976: PUSH6 0x1c8818d85b1b
0000197d: PUSH1 0xd2
0000197f: SHL
00001980: PUSH1 0x64
00001982: DUP3
00001983: ADD
00001984: MSTORE
00001985: PUSH1 0x84
00001987: ADD
00001988: PUSH2 0x0792
0000198b: JUMP
0000198c: JUMPDEST
0000198d: DUP5
0000198e: EXTCODESIZE
0000198f: PUSH2 0x19da
00001992: JUMPI
00001993: PUSH1 0x40
00001995: MLOAD
00001996: PUSH3 0x461bcd
0000199a: PUSH1 0xe5
0000199c: SHL
0000199d: DUP2
0000199e: MSTORE
0000199f: PUSH1 0x20
000019a1: PUSH1 0x04
000019a3: DUP3
000019a4: ADD
000019a5: MSTORE
000019a6: PUSH1 0x1d
000019a8: PUSH1 0x24
000019aa: DUP3
000019ab: ADD
000019ac: MSTORE
000019ad: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000019ce: PUSH1 0x44
000019d0: DUP3
000019d1: ADD
000019d2: MSTORE
000019d3: PUSH1 0x64
000019d5: ADD
000019d6: PUSH2 0x0792
000019d9: JUMP
000019da: JUMPDEST
000019db: PUSH1 0x00
000019dd: DUP1
000019de: DUP7
000019df: PUSH1 0x01
000019e1: PUSH1 0x01
000019e3: PUSH1 0xa0
000019e5: SHL
000019e6: SUB
000019e7: AND
000019e8: DUP6
000019e9: DUP8
000019ea: PUSH1 0x40
000019ec: MLOAD
000019ed: PUSH2 0x19f6
000019f0: SWAP2
000019f1: SWAP1
000019f2: PUSH2 0x1fa1
000019f5: JUMP
000019f6: JUMPDEST
000019f7: PUSH1 0x00
000019f9: PUSH1 0x40
000019fb: MLOAD
000019fc: DUP1
000019fd: DUP4
000019fe: SUB
000019ff: DUP2
00001a00: DUP6
00001a01: DUP8
00001a02: GAS
00001a03: CALL
00001a04: SWAP3
00001a05: POP
00001a06: POP
00001a07: POP
00001a08: RETURNDATASIZE
00001a09: DUP1
00001a0a: PUSH1 0x00
00001a0c: DUP2
00001a0d: EQ
00001a0e: PUSH2 0x1a33
00001a11: JUMPI
00001a12: PUSH1 0x40
00001a14: MLOAD
00001a15: SWAP2
00001a16: POP
00001a17: PUSH1 0x1f
00001a19: NOT
00001a1a: PUSH1 0x3f
00001a1c: RETURNDATASIZE
00001a1d: ADD
00001a1e: AND
00001a1f: DUP3
00001a20: ADD
00001a21: PUSH1 0x40
00001a23: MSTORE
00001a24: RETURNDATASIZE
00001a25: DUP3
00001a26: MSTORE
00001a27: RETURNDATASIZE
00001a28: PUSH1 0x00
00001a2a: PUSH1 0x20
00001a2c: DUP5
00001a2d: ADD
00001a2e: RETURNDATACOPY
00001a2f: PUSH2 0x1a38
00001a32: JUMP
00001a33: JUMPDEST
00001a34: PUSH1 0x60
00001a36: SWAP2
00001a37: POP
00001a38: JUMPDEST
00001a39: POP
00001a3a: SWAP2
00001a3b: POP
00001a3c: SWAP2
00001a3d: POP
00001a3e: PUSH2 0x1a48
00001a41: DUP3
00001a42: DUP3
00001a43: DUP7
00001a44: PUSH2 0x1a53
00001a47: JUMP
00001a48: JUMPDEST
00001a49: SWAP8
00001a4a: SWAP7
00001a4b: POP
00001a4c: POP
00001a4d: POP
00001a4e: POP
00001a4f: POP
00001a50: POP
00001a51: POP
00001a52: JUMP
00001a53: JUMPDEST
00001a54: PUSH1 0x60
00001a56: DUP4
00001a57: ISZERO
00001a58: PUSH2 0x1a62
00001a5b: JUMPI
00001a5c: POP
00001a5d: DUP2
00001a5e: PUSH2 0x15d7
00001a61: JUMP
00001a62: JUMPDEST
00001a63: DUP3
00001a64: MLOAD
00001a65: ISZERO
00001a66: PUSH2 0x1a72
00001a69: JUMPI
00001a6a: DUP3
00001a6b: MLOAD
00001a6c: DUP1
00001a6d: DUP5
00001a6e: PUSH1 0x20
00001a70: ADD
00001a71: REVERT
00001a72: JUMPDEST
00001a73: DUP2
00001a74: PUSH1 0x40
00001a76: MLOAD
00001a77: PUSH3 0x461bcd
00001a7b: PUSH1 0xe5
00001a7d: SHL
00001a7e: DUP2
00001a7f: MSTORE
00001a80: PUSH1 0x04
00001a82: ADD
00001a83: PUSH2 0x0792
00001a86: SWAP2
00001a87: SWAP1
00001a88: PUSH2 0x1fbd
00001a8b: JUMP
00001a8c: JUMPDEST
00001a8d: POP
00001a8e: DUP1
00001a8f: SLOAD
00001a90: PUSH1 0x00
00001a92: DUP3
00001a93: SSTORE
00001a94: SWAP1
00001a95: PUSH1 0x00
00001a97: MSTORE
00001a98: PUSH1 0x20
00001a9a: PUSH1 0x00
00001a9c: KECCAK256
00001a9d: SWAP1
00001a9e: DUP2
00001a9f: ADD
00001aa0: SWAP1
00001aa1: PUSH2 0x0913
00001aa4: SWAP2
00001aa5: SWAP1
00001aa6: JUMPDEST
00001aa7: DUP1
00001aa8: DUP3
00001aa9: GT
00001aaa: ISZERO
00001aab: PUSH2 0x1aba
00001aae: JUMPI
00001aaf: PUSH1 0x00
00001ab1: DUP2
00001ab2: SSTORE
00001ab3: PUSH1 0x01
00001ab5: ADD
00001ab6: PUSH2 0x1aa6
00001ab9: JUMP
00001aba: JUMPDEST
00001abb: POP
00001abc: SWAP1
00001abd: JUMP
00001abe: JUMPDEST
00001abf: PUSH1 0x01
00001ac1: PUSH1 0x01
00001ac3: PUSH1 0xa0
00001ac5: SHL
00001ac6: SUB
00001ac7: DUP2
00001ac8: AND
00001ac9: DUP2
00001aca: EQ
00001acb: PUSH2 0x0913
00001ace: JUMPI
00001acf: PUSH1 0x00
00001ad1: DUP1
00001ad2: REVERT
00001ad3: JUMPDEST
00001ad4: PUSH1 0x00
00001ad6: PUSH1 0x20
00001ad8: DUP3
00001ad9: DUP5
00001ada: SUB
00001adb: SLT
00001adc: ISZERO
00001add: PUSH2 0x1ae5
00001ae0: JUMPI
00001ae1: PUSH1 0x00
00001ae3: DUP1
00001ae4: REVERT
00001ae5: JUMPDEST
00001ae6: DUP2
00001ae7: CALLDATALOAD
00001ae8: PUSH2 0x15d7
00001aeb: DUP2
00001aec: PUSH2 0x1abe
00001aef: JUMP
00001af0: JUMPDEST
00001af1: PUSH1 0x00
00001af3: DUP1
00001af4: PUSH1 0x40
00001af6: DUP4
00001af7: DUP6
00001af8: SUB
00001af9: SLT
00001afa: ISZERO
00001afb: PUSH2 0x1b03
00001afe: JUMPI
00001aff: PUSH1 0x00
00001b01: DUP1
00001b02: REVERT
00001b03: JUMPDEST
00001b04: POP
00001b05: POP
00001b06: DUP1
00001b07: CALLDATALOAD
00001b08: SWAP3
00001b09: PUSH1 0x20
00001b0b: SWAP1
00001b0c: SWAP2
00001b0d: ADD
00001b0e: CALLDATALOAD
00001b0f: SWAP2
00001b10: POP
00001b11: JUMP
00001b12: JUMPDEST
00001b13: PUSH1 0x00
00001b15: PUSH1 0x20
00001b17: DUP3
00001b18: DUP5
00001b19: SUB
00001b1a: SLT
00001b1b: ISZERO
00001b1c: PUSH2 0x1b24
00001b1f: JUMPI
00001b20: PUSH1 0x00
00001b22: DUP1
00001b23: REVERT
00001b24: JUMPDEST
00001b25: POP
00001b26: CALLDATALOAD
00001b27: SWAP2
00001b28: SWAP1
00001b29: POP
00001b2a: JUMP
00001b2b: JUMPDEST
00001b2c: DUP1
00001b2d: ISZERO
00001b2e: ISZERO
00001b2f: DUP2
00001b30: EQ
00001b31: PUSH2 0x0913
00001b34: JUMPI
00001b35: PUSH1 0x00
00001b37: DUP1
00001b38: REVERT
00001b39: JUMPDEST
00001b3a: PUSH1 0x00
00001b3c: DUP1
00001b3d: PUSH1 0x00
00001b3f: PUSH1 0x60
00001b41: DUP5
00001b42: DUP7
00001b43: SUB
00001b44: SLT
00001b45: ISZERO
00001b46: PUSH2 0x1b4e
00001b49: JUMPI
00001b4a: PUSH1 0x00
00001b4c: DUP1
00001b4d: REVERT
00001b4e: JUMPDEST
00001b4f: DUP4
00001b50: CALLDATALOAD
00001b51: PUSH2 0x1b59
00001b54: DUP2
00001b55: PUSH2 0x1abe
00001b58: JUMP
00001b59: JUMPDEST
00001b5a: SWAP3
00001b5b: POP
00001b5c: PUSH1 0x20
00001b5e: DUP5
00001b5f: ADD
00001b60: CALLDATALOAD
00001b61: PUSH2 0x1b69
00001b64: DUP2
00001b65: PUSH2 0x1b2b
00001b68: JUMP
00001b69: JUMPDEST
00001b6a: SWAP2
00001b6b: POP
00001b6c: PUSH1 0x40
00001b6e: DUP5
00001b6f: ADD
00001b70: CALLDATALOAD
00001b71: PUSH2 0x1b79
00001b74: DUP2
00001b75: PUSH2 0x1b2b
00001b78: JUMP
00001b79: JUMPDEST
00001b7a: DUP1
00001b7b: SWAP2
00001b7c: POP
00001b7d: POP
00001b7e: SWAP3
00001b7f: POP
00001b80: SWAP3
00001b81: POP
00001b82: SWAP3
00001b83: JUMP
00001b84: JUMPDEST
00001b85: PUSH1 0x00
00001b87: DUP1
00001b88: PUSH1 0x40
00001b8a: DUP4
00001b8b: DUP6
00001b8c: SUB
00001b8d: SLT
00001b8e: ISZERO
00001b8f: PUSH2 0x1b97
00001b92: JUMPI
00001b93: PUSH1 0x00
00001b95: DUP1
00001b96: REVERT
00001b97: JUMPDEST
00001b98: DUP3
00001b99: CALLDATALOAD
00001b9a: SWAP2
00001b9b: POP
00001b9c: PUSH1 0x20
00001b9e: DUP4
00001b9f: ADD
00001ba0: CALLDATALOAD
00001ba1: PUSH2 0x1ba9
00001ba4: DUP2
00001ba5: PUSH2 0x1b2b
00001ba8: JUMP
00001ba9: JUMPDEST
00001baa: DUP1
00001bab: SWAP2
00001bac: POP
00001bad: POP
00001bae: SWAP3
00001baf: POP
00001bb0: SWAP3
00001bb1: SWAP1
00001bb2: POP
00001bb3: JUMP
00001bb4: JUMPDEST
00001bb5: PUSH1 0x00
00001bb7: DUP1
00001bb8: PUSH1 0x00
00001bba: PUSH1 0x60
00001bbc: DUP5
00001bbd: DUP7
00001bbe: SUB
00001bbf: SLT
00001bc0: ISZERO
00001bc1: PUSH2 0x1bc9
00001bc4: JUMPI
00001bc5: PUSH1 0x00
00001bc7: DUP1
00001bc8: REVERT
00001bc9: JUMPDEST
00001bca: DUP4
00001bcb: CALLDATALOAD
00001bcc: PUSH2 0x1bd4
00001bcf: DUP2
00001bd0: PUSH2 0x1abe
00001bd3: JUMP
00001bd4: JUMPDEST
00001bd5: SWAP3
00001bd6: POP
00001bd7: PUSH1 0x20
00001bd9: DUP5
00001bda: ADD
00001bdb: CALLDATALOAD
00001bdc: SWAP2
00001bdd: POP
00001bde: PUSH1 0x40
00001be0: DUP5
00001be1: ADD
00001be2: CALLDATALOAD
00001be3: PUSH2 0x1b79
00001be6: DUP2
00001be7: PUSH2 0x1b2b
00001bea: JUMP
00001beb: JUMPDEST
00001bec: PUSH1 0x00
00001bee: PUSH1 0x20
00001bf0: DUP3
00001bf1: DUP5
00001bf2: SUB
00001bf3: SLT
00001bf4: ISZERO
00001bf5: PUSH2 0x1bfd
00001bf8: JUMPI
00001bf9: PUSH1 0x00
00001bfb: DUP1
00001bfc: REVERT
00001bfd: JUMPDEST
00001bfe: DUP2
00001bff: CALLDATALOAD
00001c00: PUSH2 0x15d7
00001c03: DUP2
00001c04: PUSH2 0x1b2b
00001c07: JUMP
00001c08: JUMPDEST
00001c09: PUSH1 0x00
00001c0b: DUP1
00001c0c: PUSH1 0x40
00001c0e: DUP4
00001c0f: DUP6
00001c10: SUB
00001c11: SLT
00001c12: ISZERO
00001c13: PUSH2 0x1c1b
00001c16: JUMPI
00001c17: PUSH1 0x00
00001c19: DUP1
00001c1a: REVERT
00001c1b: JUMPDEST
00001c1c: DUP3
00001c1d: CALLDATALOAD
00001c1e: PUSH2 0x1c26
00001c21: DUP2
00001c22: PUSH2 0x1abe
00001c25: JUMP
00001c26: JUMPDEST
00001c27: SWAP5
00001c28: PUSH1 0x20
00001c2a: SWAP4
00001c2b: SWAP1
00001c2c: SWAP4
00001c2d: ADD
00001c2e: CALLDATALOAD
00001c2f: SWAP4
00001c30: POP
00001c31: POP
00001c32: POP
00001c33: JUMP
00001c34: JUMPDEST
00001c35: PUSH1 0x00
00001c37: DUP1
00001c38: PUSH1 0x00
00001c3a: PUSH1 0x60
00001c3c: DUP5
00001c3d: DUP7
00001c3e: SUB
00001c3f: SLT
00001c40: ISZERO
00001c41: PUSH2 0x1c49
00001c44: JUMPI
00001c45: PUSH1 0x00
00001c47: DUP1
00001c48: REVERT
00001c49: JUMPDEST
00001c4a: DUP4
00001c4b: CALLDATALOAD
00001c4c: PUSH2 0x1c54
00001c4f: DUP2
00001c50: PUSH2 0x1abe
00001c53: JUMP
00001c54: JUMPDEST
00001c55: SWAP6
00001c56: PUSH1 0x20
00001c58: DUP6
00001c59: ADD
00001c5a: CALLDATALOAD
00001c5b: SWAP6
00001c5c: POP
00001c5d: PUSH1 0x40
00001c5f: SWAP1
00001c60: SWAP5
00001c61: ADD
00001c62: CALLDATALOAD
00001c63: SWAP4
00001c64: SWAP3
00001c65: POP
00001c66: POP
00001c67: POP
00001c68: JUMP
00001c69: JUMPDEST
00001c6a: PUSH1 0x20
00001c6c: DUP1
00001c6d: DUP3
00001c6e: MSTORE
00001c6f: PUSH1 0x19
00001c71: SWAP1
00001c72: DUP3
00001c73: ADD
00001c74: MSTORE
00001c75: PUSH32 0x417574686f72697a61626c653a204e6f7420416c6c6f77656400000000000000
00001c96: PUSH1 0x40
00001c98: DUP3
00001c99: ADD
00001c9a: MSTORE
00001c9b: PUSH1 0x60
00001c9d: ADD
00001c9e: SWAP1
00001c9f: JUMP
00001ca0: JUMPDEST
00001ca1: PUSH1 0x20
00001ca3: DUP1
00001ca4: DUP3
00001ca5: MSTORE
00001ca6: PUSH1 0x21
00001ca8: SWAP1
00001ca9: DUP3
00001caa: ADD
00001cab: MSTORE
00001cac: PUSH32 0x417574686f72697a61626c653a20556e61626c6520746f20617574686f72697a
00001ccd: PUSH1 0x40
00001ccf: DUP3
00001cd0: ADD
00001cd1: MSTORE
00001cd2: PUSH1 0x65
00001cd4: PUSH1 0xf8
00001cd6: SHL
00001cd7: PUSH1 0x60
00001cd9: DUP3
00001cda: ADD
00001cdb: MSTORE
00001cdc: PUSH1 0x80
00001cde: ADD
00001cdf: SWAP1
00001ce0: JUMP
00001ce1: JUMPDEST
00001ce2: PUSH1 0x20
00001ce4: DUP1
00001ce5: DUP3
00001ce6: MSTORE
00001ce7: DUP2
00001ce8: DUP2
00001ce9: ADD
00001cea: MSTORE
00001ceb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001d0c: PUSH1 0x40
00001d0e: DUP3
00001d0f: ADD
00001d10: MSTORE
00001d11: PUSH1 0x60
00001d13: ADD
00001d14: SWAP1
00001d15: JUMP
00001d16: JUMPDEST
00001d17: PUSH1 0x00
00001d19: PUSH1 0x20
00001d1b: DUP3
00001d1c: DUP5
00001d1d: SUB
00001d1e: SLT
00001d1f: ISZERO
00001d20: PUSH2 0x1d28
00001d23: JUMPI
00001d24: PUSH1 0x00
00001d26: DUP1
00001d27: REVERT
00001d28: JUMPDEST
00001d29: DUP2
00001d2a: MLOAD
00001d2b: PUSH1 0xff
00001d2d: DUP2
00001d2e: AND
00001d2f: DUP2
00001d30: EQ
00001d31: PUSH2 0x15d7
00001d34: JUMPI
00001d35: PUSH1 0x00
00001d37: DUP1
00001d38: REVERT
00001d39: JUMPDEST
00001d3a: PUSH4 0x4e487b71
00001d3f: PUSH1 0xe0
00001d41: SHL
00001d42: PUSH1 0x00
00001d44: MSTORE
00001d45: PUSH1 0x11
00001d47: PUSH1 0x04
00001d49: MSTORE
00001d4a: PUSH1 0x24
00001d4c: PUSH1 0x00
00001d4e: REVERT
00001d4f: JUMPDEST
00001d50: PUSH1 0x01
00001d52: DUP2
00001d53: DUP2
00001d54: JUMPDEST
00001d55: DUP1
00001d56: DUP6
00001d57: GT
00001d58: ISZERO
00001d59: PUSH2 0x1d8a
00001d5c: JUMPI
00001d5d: DUP2
00001d5e: PUSH1 0x00
00001d60: NOT
00001d61: DIV
00001d62: DUP3
00001d63: GT
00001d64: ISZERO
00001d65: PUSH2 0x1d70
00001d68: JUMPI
00001d69: PUSH2 0x1d70
00001d6c: PUSH2 0x1d39
00001d6f: JUMP
00001d70: JUMPDEST
00001d71: DUP1
00001d72: DUP6
00001d73: AND
00001d74: ISZERO
00001d75: PUSH2 0x1d7d
00001d78: JUMPI
00001d79: SWAP2
00001d7a: DUP2
00001d7b: MUL
00001d7c: SWAP2
00001d7d: JUMPDEST
00001d7e: SWAP4
00001d7f: DUP5
00001d80: SHR
00001d81: SWAP4
00001d82: SWAP1
00001d83: DUP1
00001d84: MUL
00001d85: SWAP1
00001d86: PUSH2 0x1d54
00001d89: JUMP
00001d8a: JUMPDEST
00001d8b: POP
00001d8c: SWAP3
00001d8d: POP
00001d8e: SWAP3
00001d8f: SWAP1
00001d90: POP
00001d91: JUMP
00001d92: JUMPDEST
00001d93: PUSH1 0x00
00001d95: DUP3
00001d96: PUSH2 0x1da1
00001d99: JUMPI
00001d9a: POP
00001d9b: PUSH1 0x01
00001d9d: PUSH2 0x0859
00001da0: JUMP
00001da1: JUMPDEST
00001da2: DUP2
00001da3: PUSH2 0x1dae
00001da6: JUMPI
00001da7: POP
00001da8: PUSH1 0x00
00001daa: PUSH2 0x0859
00001dad: JUMP
00001dae: JUMPDEST
00001daf: DUP2
00001db0: PUSH1 0x01
00001db2: DUP2
00001db3: EQ
00001db4: PUSH2 0x1dc4
00001db7: JUMPI
00001db8: PUSH1 0x02
00001dba: DUP2
00001dbb: EQ
00001dbc: PUSH2 0x1dce
00001dbf: JUMPI
00001dc0: PUSH2 0x1dea
00001dc3: JUMP
00001dc4: JUMPDEST
00001dc5: PUSH1 0x01
00001dc7: SWAP2
00001dc8: POP
00001dc9: POP
00001dca: PUSH2 0x0859
00001dcd: JUMP
00001dce: JUMPDEST
00001dcf: PUSH1 0xff
00001dd1: DUP5
00001dd2: GT
00001dd3: ISZERO
00001dd4: PUSH2 0x1ddf
00001dd7: JUMPI
00001dd8: PUSH2 0x1ddf
00001ddb: PUSH2 0x1d39
00001dde: JUMP
00001ddf: JUMPDEST
00001de0: POP
00001de1: POP
00001de2: PUSH1 0x01
00001de4: DUP3
00001de5: SHL
00001de6: PUSH2 0x0859
00001de9: JUMP
00001dea: JUMPDEST
00001deb: POP
00001dec: PUSH1 0x20
00001dee: DUP4
00001def: LT
00001df0: PUSH2 0x0133
00001df3: DUP4
00001df4: LT
00001df5: AND
00001df6: PUSH1 0x4e
00001df8: DUP5
00001df9: LT
00001dfa: PUSH1 0x0b
00001dfc: DUP5
00001dfd: LT
00001dfe: AND
00001dff: OR
00001e00: ISZERO
00001e01: PUSH2 0x1e0d
00001e04: JUMPI
00001e05: POP
00001e06: DUP2
00001e07: DUP2
00001e08: EXP
00001e09: PUSH2 0x0859
00001e0c: JUMP
00001e0d: JUMPDEST
00001e0e: PUSH2 0x1e17
00001e11: DUP4
00001e12: DUP4
00001e13: PUSH2 0x1d4f
00001e16: JUMP
00001e17: JUMPDEST
00001e18: DUP1
00001e19: PUSH1 0x00
00001e1b: NOT
00001e1c: DIV
00001e1d: DUP3
00001e1e: GT
00001e1f: ISZERO
00001e20: PUSH2 0x1e2b
00001e23: JUMPI
00001e24: PUSH2 0x1e2b
00001e27: PUSH2 0x1d39
00001e2a: JUMP
00001e2b: JUMPDEST
00001e2c: MUL
00001e2d: SWAP4
00001e2e: SWAP3
00001e2f: POP
00001e30: POP
00001e31: POP
00001e32: JUMP
00001e33: JUMPDEST
00001e34: PUSH1 0x00
00001e36: PUSH2 0x15d7
00001e39: PUSH1 0xff
00001e3b: DUP5
00001e3c: AND
00001e3d: DUP4
00001e3e: PUSH2 0x1d92
00001e41: JUMP
00001e42: JUMPDEST
00001e43: PUSH1 0x00
00001e45: DUP2
00001e46: PUSH1 0x00
00001e48: NOT
00001e49: DIV
00001e4a: DUP4
00001e4b: GT
00001e4c: DUP3
00001e4d: ISZERO
00001e4e: ISZERO
00001e4f: AND
00001e50: ISZERO
00001e51: PUSH2 0x1e5c
00001e54: JUMPI
00001e55: PUSH2 0x1e5c
00001e58: PUSH2 0x1d39
00001e5b: JUMP
00001e5c: JUMPDEST
00001e5d: POP
00001e5e: MUL
00001e5f: SWAP1
00001e60: JUMP
00001e61: JUMPDEST
00001e62: PUSH1 0x00
00001e64: DUP3
00001e65: NOT
00001e66: DUP3
00001e67: GT
00001e68: ISZERO
00001e69: PUSH2 0x1e74
00001e6c: JUMPI
00001e6d: PUSH2 0x1e74
00001e70: PUSH2 0x1d39
00001e73: JUMP
00001e74: JUMPDEST
00001e75: POP
00001e76: ADD
00001e77: SWAP1
00001e78: JUMP
00001e79: JUMPDEST
00001e7a: PUSH1 0x00
00001e7c: DUP3
00001e7d: PUSH2 0x1e96
00001e80: JUMPI
00001e81: PUSH4 0x4e487b71
00001e86: PUSH1 0xe0
00001e88: SHL
00001e89: PUSH1 0x00
00001e8b: MSTORE
00001e8c: PUSH1 0x12
00001e8e: PUSH1 0x04
00001e90: MSTORE
00001e91: PUSH1 0x24
00001e93: PUSH1 0x00
00001e95: REVERT
00001e96: JUMPDEST
00001e97: POP
00001e98: DIV
00001e99: SWAP1
00001e9a: JUMP
00001e9b: JUMPDEST
00001e9c: PUSH1 0x00
00001e9e: PUSH1 0x00
00001ea0: NOT
00001ea1: DUP3
00001ea2: EQ
00001ea3: ISZERO
00001ea4: PUSH2 0x1eaf
00001ea7: JUMPI
00001ea8: PUSH2 0x1eaf
00001eab: PUSH2 0x1d39
00001eae: JUMP
00001eaf: JUMPDEST
00001eb0: POP
00001eb1: PUSH1 0x01
00001eb3: ADD
00001eb4: SWAP1
00001eb5: JUMP
00001eb6: JUMPDEST
00001eb7: PUSH1 0x00
00001eb9: DUP3
00001eba: DUP3
00001ebb: LT
00001ebc: ISZERO
00001ebd: PUSH2 0x1ec8
00001ec0: JUMPI
00001ec1: PUSH2 0x1ec8
00001ec4: PUSH2 0x1d39
00001ec7: JUMP
00001ec8: JUMPDEST
00001ec9: POP
00001eca: SUB
00001ecb: SWAP1
00001ecc: JUMP
00001ecd: JUMPDEST
00001ece: PUSH1 0x20
00001ed0: DUP1
00001ed1: DUP3
00001ed2: MSTORE
00001ed3: PUSH1 0x26
00001ed5: SWAP1
00001ed6: DUP3
00001ed7: ADD
00001ed8: MSTORE
00001ed9: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001efa: PUSH1 0x40
00001efc: DUP3
00001efd: ADD
00001efe: MSTORE
00001eff: PUSH6 0x646472657373
00001f06: PUSH1 0xd0
00001f08: SHL
00001f09: PUSH1 0x60
00001f0b: DUP3
00001f0c: ADD
00001f0d: MSTORE
00001f0e: PUSH1 0x80
00001f10: ADD
00001f11: SWAP1
00001f12: JUMP
00001f13: JUMPDEST
00001f14: PUSH1 0x00
00001f16: PUSH1 0x20
00001f18: DUP3
00001f19: DUP5
00001f1a: SUB
00001f1b: SLT
00001f1c: ISZERO
00001f1d: PUSH2 0x1f25
00001f20: JUMPI
00001f21: PUSH1 0x00
00001f23: DUP1
00001f24: REVERT
00001f25: JUMPDEST
00001f26: POP
00001f27: MLOAD
00001f28: SWAP2
00001f29: SWAP1
00001f2a: POP
00001f2b: JUMP
00001f2c: JUMPDEST
00001f2d: PUSH1 0x00
00001f2f: PUSH1 0x20
00001f31: DUP3
00001f32: DUP5
00001f33: SUB
00001f34: SLT
00001f35: ISZERO
00001f36: PUSH2 0x1f3e
00001f39: JUMPI
00001f3a: PUSH1 0x00
00001f3c: DUP1
00001f3d: REVERT
00001f3e: JUMPDEST
00001f3f: DUP2
00001f40: MLOAD
00001f41: PUSH2 0x15d7
00001f44: DUP2
00001f45: PUSH2 0x1b2b
00001f48: JUMP
00001f49: JUMPDEST
00001f4a: PUSH4 0x4e487b71
00001f4f: PUSH1 0xe0
00001f51: SHL
00001f52: PUSH1 0x00
00001f54: MSTORE
00001f55: PUSH1 0x32
00001f57: PUSH1 0x04
00001f59: MSTORE
00001f5a: PUSH1 0x24
00001f5c: PUSH1 0x00
00001f5e: REVERT
00001f5f: JUMPDEST
00001f60: PUSH4 0x4e487b71
00001f65: PUSH1 0xe0
00001f67: SHL
00001f68: PUSH1 0x00
00001f6a: MSTORE
00001f6b: PUSH1 0x31
00001f6d: PUSH1 0x04
00001f6f: MSTORE
00001f70: PUSH1 0x24
00001f72: PUSH1 0x00
00001f74: REVERT
00001f75: JUMPDEST
00001f76: PUSH1 0x00
00001f78: JUMPDEST
00001f79: DUP4
00001f7a: DUP2
00001f7b: LT
00001f7c: ISZERO
00001f7d: PUSH2 0x1f90
00001f80: JUMPI
00001f81: DUP2
00001f82: DUP2
00001f83: ADD
00001f84: MLOAD
00001f85: DUP4
00001f86: DUP3
00001f87: ADD
00001f88: MSTORE
00001f89: PUSH1 0x20
00001f8b: ADD
00001f8c: PUSH2 0x1f78
00001f8f: JUMP
00001f90: JUMPDEST
00001f91: DUP4
00001f92: DUP2
00001f93: GT
00001f94: ISZERO
00001f95: PUSH2 0x09ae
00001f98: JUMPI
00001f99: POP
00001f9a: POP
00001f9b: PUSH1 0x00
00001f9d: SWAP2
00001f9e: ADD
00001f9f: MSTORE
00001fa0: JUMP
00001fa1: JUMPDEST
00001fa2: PUSH1 0x00
00001fa4: DUP3
00001fa5: MLOAD
00001fa6: PUSH2 0x1fb3
00001fa9: DUP2
00001faa: DUP5
00001fab: PUSH1 0x20
00001fad: DUP8
00001fae: ADD
00001faf: PUSH2 0x1f75
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: SWAP2
00001fb5: SWAP1
00001fb6: SWAP2
00001fb7: ADD
00001fb8: SWAP3
00001fb9: SWAP2
00001fba: POP
00001fbb: POP
00001fbc: JUMP
00001fbd: JUMPDEST
00001fbe: PUSH1 0x20
00001fc0: DUP2
00001fc1: MSTORE
00001fc2: PUSH1 0x00
00001fc4: DUP3
00001fc5: MLOAD
00001fc6: DUP1
00001fc7: PUSH1 0x20
00001fc9: DUP5
00001fca: ADD
00001fcb: MSTORE
00001fcc: PUSH2 0x1fdc
00001fcf: DUP2
00001fd0: PUSH1 0x40
00001fd2: DUP6
00001fd3: ADD
00001fd4: PUSH1 0x20
00001fd6: DUP8
00001fd7: ADD
00001fd8: PUSH2 0x1f75
00001fdb: JUMP
00001fdc: JUMPDEST
00001fdd: PUSH1 0x1f
00001fdf: ADD
00001fe0: PUSH1 0x1f
00001fe2: NOT
00001fe3: AND
00001fe4: SWAP2
00001fe5: SWAP1
00001fe6: SWAP2
00001fe7: ADD
00001fe8: PUSH1 0x40
00001fea: ADD
00001feb: SWAP3
00001fec: SWAP2
00001fed: POP
00001fee: POP
00001fef: JUMP
00001ff0: INVALID
00001ff1: LOG2
00001ff2: PUSH5 0x6970667358
00001ff8: UNKNOWN(0x22)
00001ff9: SLT
00001ffa: KECCAK256
00001ffb: DUP14
00001ffc: PUSH31 0x569e6f74023b4761bf2e3fa6830250abb27af3e0be48c45ed425a2d26dd664
0000201c: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x5a44d0861ae95d85a68bf883655e78c033151c1c922945d8538e7528387df958
call_targets: 0xb6dbfb07d587c36fb5593d924bbbccb62d08a51f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5a44d0861ae95d85a68bf883655e78c033151c1c922945d8538e7528387df958",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb6dbfb07d587c36fb5593d924bbbccb62d08a51f"
    ],
    "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": "0xe25fe175",
            "selector": "0xe25fe175",
            "calldata_variants": [
                "0xe25fe175",
                "0xe25fe1750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf4c42090",
            "selector": "0xf4c42090",
            "calldata_variants": [
                "0xf4c42090",
                "0xf4c420900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfa1acb5c",
            "selector": "0xfa1acb5c",
            "calldata_variants": [
                "0xfa1acb5c",
                "0xfa1acb5c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe9fbb80",
            "selector": "0xfe9fbb80",
            "calldata_variants": [
                "0xfe9fbb80",
                "0xfe9fbb800000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xda21183f",
            "selector": "0xda21183f",
            "calldata_variants": [
                "0xda21183f",
                "0xda21183f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd467064",
            "selector": "0xdd467064",
            "calldata_variants": [
                "0xdd467064",
                "0xdd4670640000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2301,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2601,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3636,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x5a44d0861ae95d85a68bf883655e78c033151c1c922945d8538e7528387df958
call_targets: 0xb6dbfb07d587c36fb5593d924bbbccb62d08a51f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5a44d0861ae95d85a68bf883655e78c033151c1c922945d8538e7528387df958",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb6dbfb07d587c36fb5593d924bbbccb62d08a51f"
    ],
    "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": "0xe25fe175",
            "selector": "0xe25fe175",
            "calldata_variants": [
                "0xe25fe175",
                "0xe25fe1750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf4c42090",
            "selector": "0xf4c42090",
            "calldata_variants": [
                "0xf4c42090",
                "0xf4c420900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfa1acb5c",
            "selector": "0xfa1acb5c",
            "calldata_variants": [
                "0xfa1acb5c",
                "0xfa1acb5c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe9fbb80",
            "selector": "0xfe9fbb80",
            "calldata_variants": [
                "0xfe9fbb80",
                "0xfe9fbb800000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xda21183f",
            "selector": "0xda21183f",
            "calldata_variants": [
                "0xda21183f",
                "0xda21183f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd467064",
            "selector": "0xdd467064",
            "calldata_variants": [
                "0xdd467064",
                "0xdd4670640000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2301,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2601,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3636,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}