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

Analysis Run

019ba92a-2e7b-7084-9f01-f37bc337caca

complete
Chain ID
1
Address
Block Number
Created
Sat, Jan 10, 2026 6:27 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
35494 artifact.fetch complete 1 / 3 3 months ago
35495 proxy.resolve complete 1 / 3 3 months ago
35496 tool.cast_disasm complete 1 / 3 3 months ago
35497 analysis.bundle complete 1 / 3 3 months ago
35498 capability.graph complete 1 / 3 3 months ago
35499 detector.run complete 1 / 3 3 months ago
35500 validation.fork complete 1 / 3 3 months ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no not_proxy
Implementation:
Verified Source: no
Proxy evidence
{
    "status": "not_proxy"
}

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
2
CALL-family (heavy)
9
EXT*/BALANCE
6
Total opcodes
6487
Flags
create_opcodes_present heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x033f
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7ecebe00
00000026: GT
00000027: PUSH2 0x01b8
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xbebbf4d0
00000031: GT
00000032: PUSH2 0x0104
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd93f2445
0000003c: GT
0000003d: PUSH2 0x00a2
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xf75c2664
00000047: GT
00000048: PUSH2 0x007c
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xf75c2664
00000052: EQ
00000053: PUSH2 0x0774
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf954734e
0000005d: EQ
0000005e: PUSH2 0x077c
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfbfa77cf
00000068: EQ
00000069: PUSH2 0x078f
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xfca3b5aa
00000073: EQ
00000074: PUSH2 0x07a2
00000077: JUMPI
00000078: PUSH2 0x033f
0000007b: JUMP
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0xd93f2445
00000083: EQ
00000084: PUSH2 0x072e
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xdd62ed3e
0000008e: EQ
0000008f: PUSH2 0x0736
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xec126c77
00000099: EQ
0000009a: PUSH2 0x0761
0000009d: JUMPI
0000009e: PUSH2 0x033f
000000a1: JUMP
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0xcae9ca51
000000a9: GT
000000aa: PUSH2 0x00de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xcae9ca51
000000b4: EQ
000000b5: PUSH2 0x06ed
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xcfbd4885
000000bf: EQ
000000c0: PUSH2 0x0700
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xd0e30db0
000000ca: EQ
000000cb: PUSH2 0x0713
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xd505accf
000000d5: EQ
000000d6: PUSH2 0x071b
000000d9: JUMPI
000000da: PUSH2 0x033f
000000dd: JUMP
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0xbebbf4d0
000000e5: EQ
000000e6: PUSH2 0x06be
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0xc3081240
000000f0: EQ
000000f1: PUSH2 0x06d1
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0xc4b740f5
000000fb: EQ
000000fc: PUSH2 0x06da
000000ff: JUMPI
00000100: PUSH2 0x033f
00000103: JUMP
00000104: JUMPDEST
00000105: DUP1
00000106: PUSH4 0x95d89b41
0000010b: GT
0000010c: PUSH2 0x0171
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xa29dff72
00000116: GT
00000117: PUSH2 0x014b
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xa29dff72
00000121: EQ
00000122: PUSH2 0x066c
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xa9059cbb
0000012c: EQ
0000012d: PUSH2 0x0675
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xaa271e1a
00000137: EQ
00000138: PUSH2 0x0688
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xb6b55f25
00000142: EQ
00000143: PUSH2 0x06ab
00000146: JUMPI
00000147: PUSH2 0x033f
0000014a: JUMP
0000014b: JUMPDEST
0000014c: DUP1
0000014d: PUSH4 0x95d89b41
00000152: EQ
00000153: PUSH2 0x063c
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x9dc29fac
0000015d: EQ
0000015e: PUSH2 0x0644
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0xa045442c
00000168: EQ
00000169: PUSH2 0x0657
0000016c: JUMPI
0000016d: PUSH2 0x033f
00000170: JUMP
00000171: JUMPDEST
00000172: DUP1
00000173: PUSH4 0x7ecebe00
00000178: EQ
00000179: PUSH2 0x05d2
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x81a37c18
00000183: EQ
00000184: PUSH2 0x05f2
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x8623ec7b
0000018e: EQ
0000018f: PUSH2 0x0605
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x87689e28
00000199: EQ
0000019a: PUSH2 0x0618
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x8da5cb5b
000001a4: EQ
000001a5: PUSH2 0x0621
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0x91c5df49
000001af: EQ
000001b0: PUSH2 0x0629
000001b3: JUMPI
000001b4: PUSH2 0x033f
000001b7: JUMP
000001b8: JUMPDEST
000001b9: DUP1
000001ba: PUSH4 0x3ccfd60b
000001bf: GT
000001c0: PUSH2 0x0292
000001c3: JUMPI
000001c4: DUP1
000001c5: PUSH4 0x60e232a9
000001ca: GT
000001cb: PUSH2 0x0230
000001ce: JUMPI
000001cf: DUP1
000001d0: PUSH4 0x6a42b8f8
000001d5: GT
000001d6: PUSH2 0x020a
000001d9: JUMPI
000001da: DUP1
000001db: PUSH4 0x6a42b8f8
000001e0: EQ
000001e1: PUSH2 0x056f
000001e4: JUMPI
000001e5: DUP1
000001e6: PUSH4 0x6e553f65
000001eb: EQ
000001ec: PUSH2 0x0578
000001ef: JUMPI
000001f0: DUP1
000001f1: PUSH4 0x6f307dc3
000001f6: EQ
000001f7: PUSH2 0x058b
000001fa: JUMPI
000001fb: DUP1
000001fc: PUSH4 0x70a08231
00000201: EQ
00000202: PUSH2 0x05b2
00000205: JUMPI
00000206: PUSH2 0x033f
00000209: JUMP
0000020a: JUMPDEST
0000020b: DUP1
0000020c: PUSH4 0x60e232a9
00000211: EQ
00000212: PUSH2 0x0536
00000215: JUMPI
00000216: DUP1
00000217: PUSH4 0x628d6cba
0000021c: EQ
0000021d: PUSH2 0x0549
00000220: JUMPI
00000221: DUP1
00000222: PUSH4 0x6817031b
00000227: EQ
00000228: PUSH2 0x055c
0000022b: JUMPI
0000022c: PUSH2 0x033f
0000022f: JUMP
00000230: JUMPDEST
00000231: DUP1
00000232: PUSH4 0x4ca8f0ed
00000237: GT
00000238: PUSH2 0x026c
0000023b: JUMPI
0000023c: DUP1
0000023d: PUSH4 0x4ca8f0ed
00000242: EQ
00000243: PUSH2 0x04dc
00000246: JUMPI
00000247: DUP1
00000248: PUSH4 0x52113ba7
0000024d: EQ
0000024e: PUSH2 0x04e5
00000251: JUMPI
00000252: DUP1
00000253: PUSH4 0x5f9b105d
00000258: EQ
00000259: PUSH2 0x0510
0000025c: JUMPI
0000025d: DUP1
0000025e: PUSH4 0x605629d6
00000263: EQ
00000264: PUSH2 0x0523
00000267: JUMPI
00000268: PUSH2 0x033f
0000026b: JUMP
0000026c: JUMPDEST
0000026d: DUP1
0000026e: PUSH4 0x3ccfd60b
00000273: EQ
00000274: PUSH2 0x04ae
00000277: JUMPI
00000278: DUP1
00000279: PUSH4 0x4000aea0
0000027e: EQ
0000027f: PUSH2 0x04b6
00000282: JUMPI
00000283: DUP1
00000284: PUSH4 0x40c10f19
00000289: EQ
0000028a: PUSH2 0x04c9
0000028d: JUMPI
0000028e: PUSH2 0x033f
00000291: JUMP
00000292: JUMPDEST
00000293: DUP1
00000294: PUSH4 0x18160ddd
00000299: GT
0000029a: PUSH2 0x02ff
0000029d: JUMPI
0000029e: DUP1
0000029f: PUSH4 0x2ebe3fbb
000002a4: GT
000002a5: PUSH2 0x02d9
000002a8: JUMPI
000002a9: DUP1
000002aa: PUSH4 0x2ebe3fbb
000002af: EQ
000002b0: PUSH2 0x0414
000002b3: JUMPI
000002b4: DUP1
000002b5: PUSH4 0x30adf81f
000002ba: EQ
000002bb: PUSH2 0x0427
000002be: JUMPI
000002bf: DUP1
000002c0: PUSH4 0x313ce567
000002c5: EQ
000002c6: PUSH2 0x044e
000002c9: JUMPI
000002ca: DUP1
000002cb: PUSH4 0x3644e515
000002d0: EQ
000002d1: PUSH2 0x0487
000002d4: JUMPI
000002d5: PUSH2 0x033f
000002d8: JUMP
000002d9: JUMPDEST
000002da: DUP1
000002db: PUSH4 0x18160ddd
000002e0: EQ
000002e1: PUSH2 0x03e6
000002e4: JUMPI
000002e5: DUP1
000002e6: PUSH4 0x23b872dd
000002eb: EQ
000002ec: PUSH2 0x03ee
000002ef: JUMPI
000002f0: DUP1
000002f1: PUSH4 0x2e1a7d4d
000002f6: EQ
000002f7: PUSH2 0x0401
000002fa: JUMPI
000002fb: PUSH2 0x033f
000002fe: JUMP
000002ff: JUMPDEST
00000300: DUP1
00000301: PUSH3 0x39d6ec
00000305: EQ
00000306: PUSH2 0x0344
00000309: JUMPI
0000030a: DUP1
0000030b: PUSH3 0xbf26f4
0000030f: EQ
00000310: PUSH2 0x036a
00000313: JUMPI
00000314: DUP1
00000315: PUSH3 0xf714ce
00000319: EQ
0000031a: PUSH2 0x0391
0000031d: JUMPI
0000031e: DUP1
0000031f: PUSH4 0x06fdde03
00000324: EQ
00000325: PUSH2 0x03a4
00000328: JUMPI
00000329: DUP1
0000032a: PUSH4 0x095ea7b3
0000032f: EQ
00000330: PUSH2 0x03b9
00000333: JUMPI
00000334: DUP1
00000335: PUSH4 0x0d707df8
0000033a: EQ
0000033b: PUSH2 0x03dc
0000033e: JUMPI
0000033f: JUMPDEST
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: PUSH2 0x0357
00000348: PUSH2 0x0352
0000034b: CALLDATASIZE
0000034c: PUSH1 0x04
0000034e: PUSH2 0x2469
00000351: JUMP
00000352: JUMPDEST
00000353: PUSH2 0x07b5
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH1 0x40
0000035a: MLOAD
0000035b: SWAP1
0000035c: DUP2
0000035d: MSTORE
0000035e: PUSH1 0x20
00000360: ADD
00000361: JUMPDEST
00000362: PUSH1 0x40
00000364: MLOAD
00000365: DUP1
00000366: SWAP2
00000367: SUB
00000368: SWAP1
00000369: RETURN
0000036a: JUMPDEST
0000036b: PUSH2 0x0357
0000036e: PUSH32 0x42ce63790c28229c123925d83266e77c04d28784552ab68b350a9003226cbd59
0000038f: DUP2
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH2 0x0357
00000395: PUSH2 0x039f
00000398: CALLDATASIZE
00000399: PUSH1 0x04
0000039b: PUSH2 0x261b
0000039e: JUMP
0000039f: JUMPDEST
000003a0: PUSH2 0x080b
000003a3: JUMP
000003a4: JUMPDEST
000003a5: PUSH2 0x03ac
000003a8: PUSH2 0x081f
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH1 0x40
000003af: MLOAD
000003b0: PUSH2 0x0361
000003b3: SWAP2
000003b4: SWAP1
000003b5: PUSH2 0x272f
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH2 0x03cc
000003bd: PUSH2 0x03c7
000003c0: CALLDATASIZE
000003c1: PUSH1 0x04
000003c3: PUSH2 0x2440
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH2 0x08ad
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH1 0x40
000003cf: MLOAD
000003d0: SWAP1
000003d1: ISZERO
000003d2: ISZERO
000003d3: DUP2
000003d4: MSTORE
000003d5: PUSH1 0x20
000003d7: ADD
000003d8: PUSH2 0x0361
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH2 0x03e4
000003e0: PUSH2 0x0907
000003e3: JUMP
000003e4: JUMPDEST
000003e5: STOP
000003e6: JUMPDEST
000003e7: PUSH2 0x0357
000003ea: PUSH2 0x09c3
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH2 0x03cc
000003f2: PUSH2 0x03fc
000003f5: CALLDATASIZE
000003f6: PUSH1 0x04
000003f8: PUSH2 0x239c
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH2 0x09ca
00000400: JUMP
00000401: JUMPDEST
00000402: PUSH2 0x0357
00000405: PUSH2 0x040f
00000408: CALLDATASIZE
00000409: PUSH1 0x04
0000040b: PUSH2 0x25eb
0000040e: JUMP
0000040f: JUMPDEST
00000410: PUSH2 0x0bb5
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH2 0x03e4
00000418: PUSH2 0x0422
0000041b: CALLDATASIZE
0000041c: PUSH1 0x04
0000041e: PUSH2 0x2350
00000421: JUMP
00000422: JUMPDEST
00000423: PUSH2 0x0bca
00000426: JUMP
00000427: JUMPDEST
00000428: PUSH2 0x0357
0000042b: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
0000044c: DUP2
0000044d: JUMP
0000044e: JUMPDEST
0000044f: PUSH2 0x0475
00000452: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000012
00000473: DUP2
00000474: JUMP
00000475: JUMPDEST
00000476: PUSH1 0x40
00000478: MLOAD
00000479: PUSH1 0xff
0000047b: SWAP1
0000047c: SWAP2
0000047d: AND
0000047e: DUP2
0000047f: MSTORE
00000480: PUSH1 0x20
00000482: ADD
00000483: PUSH2 0x0361
00000486: JUMP
00000487: JUMPDEST
00000488: PUSH2 0x0357
0000048b: PUSH32 0xb389e0808efa3378b496a8dc9af8bfa2e58b32e572601ec246ad643fcf58d147
000004ac: DUP2
000004ad: JUMP
000004ae: JUMPDEST
000004af: PUSH2 0x0357
000004b2: PUSH2 0x0ca1
000004b5: JUMP
000004b6: JUMPDEST
000004b7: PUSH2 0x03cc
000004ba: PUSH2 0x04c4
000004bd: CALLDATASIZE
000004be: PUSH1 0x04
000004c0: PUSH2 0x24a4
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH2 0x0cc2
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH2 0x03cc
000004cd: PUSH2 0x04d7
000004d0: CALLDATASIZE
000004d1: PUSH1 0x04
000004d3: PUSH2 0x2440
000004d6: JUMP
000004d7: JUMPDEST
000004d8: PUSH2 0x0e1b
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH2 0x0357
000004e0: PUSH1 0x0d
000004e2: SLOAD
000004e3: DUP2
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH1 0x0b
000004e8: SLOAD
000004e9: PUSH2 0x04f8
000004ec: SWAP1
000004ed: PUSH1 0x01
000004ef: PUSH1 0x01
000004f1: PUSH1 0xa0
000004f3: SHL
000004f4: SUB
000004f5: AND
000004f6: DUP2
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH1 0x40
000004fb: MLOAD
000004fc: PUSH1 0x01
000004fe: PUSH1 0x01
00000500: PUSH1 0xa0
00000502: SHL
00000503: SUB
00000504: SWAP1
00000505: SWAP2
00000506: AND
00000507: DUP2
00000508: MSTORE
00000509: PUSH1 0x20
0000050b: ADD
0000050c: PUSH2 0x0361
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH2 0x03cc
00000514: PUSH2 0x051e
00000517: CALLDATASIZE
00000518: PUSH1 0x04
0000051a: PUSH2 0x2350
0000051d: JUMP
0000051e: JUMPDEST
0000051f: PUSH2 0x0e5d
00000522: JUMP
00000523: JUMPDEST
00000524: PUSH2 0x03cc
00000527: PUSH2 0x0531
0000052a: CALLDATASIZE
0000052b: PUSH1 0x04
0000052d: PUSH2 0x23d7
00000530: JUMP
00000531: JUMPDEST
00000532: PUSH2 0x0f31
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH2 0x03cc
0000053a: PUSH2 0x0544
0000053d: CALLDATASIZE
0000053e: PUSH1 0x04
00000540: PUSH2 0x2350
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH2 0x1141
00000548: JUMP
00000549: JUMPDEST
0000054a: PUSH2 0x03cc
0000054d: PUSH2 0x0557
00000550: CALLDATASIZE
00000551: PUSH1 0x04
00000553: PUSH2 0x261b
00000556: JUMP
00000557: JUMPDEST
00000558: PUSH2 0x1215
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH2 0x03e4
00000560: PUSH2 0x056a
00000563: CALLDATASIZE
00000564: PUSH1 0x04
00000566: PUSH2 0x2350
00000569: JUMP
0000056a: JUMPDEST
0000056b: PUSH2 0x12dd
0000056e: JUMP
0000056f: JUMPDEST
00000570: PUSH2 0x0357
00000573: PUSH1 0x05
00000575: SLOAD
00000576: DUP2
00000577: JUMP
00000578: JUMPDEST
00000579: PUSH2 0x0357
0000057c: PUSH2 0x0586
0000057f: CALLDATASIZE
00000580: PUSH1 0x04
00000582: PUSH2 0x261b
00000585: JUMP
00000586: JUMPDEST
00000587: PUSH2 0x1343
0000058a: JUMP
0000058b: JUMPDEST
0000058c: PUSH2 0x04f8
0000058f: PUSH32 0x0000000000000000000000003b1388eb39c72d2145f092c01067c02bb627d4be
000005b0: DUP2
000005b1: JUMP
000005b2: JUMPDEST
000005b3: PUSH2 0x0357
000005b6: PUSH2 0x05c0
000005b9: CALLDATASIZE
000005ba: PUSH1 0x04
000005bc: PUSH2 0x2350
000005bf: JUMP
000005c0: JUMPDEST
000005c1: PUSH1 0x02
000005c3: PUSH1 0x20
000005c5: MSTORE
000005c6: PUSH1 0x00
000005c8: SWAP1
000005c9: DUP2
000005ca: MSTORE
000005cb: PUSH1 0x40
000005cd: SWAP1
000005ce: KECCAK256
000005cf: SLOAD
000005d0: DUP2
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH2 0x0357
000005d6: PUSH2 0x05e0
000005d9: CALLDATASIZE
000005da: PUSH1 0x04
000005dc: PUSH2 0x2350
000005df: JUMP
000005e0: JUMPDEST
000005e1: PUSH1 0x0f
000005e3: PUSH1 0x20
000005e5: MSTORE
000005e6: PUSH1 0x00
000005e8: SWAP1
000005e9: DUP2
000005ea: MSTORE
000005eb: PUSH1 0x40
000005ed: SWAP1
000005ee: KECCAK256
000005ef: SLOAD
000005f0: DUP2
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH2 0x0357
000005f6: PUSH2 0x0600
000005f9: CALLDATASIZE
000005fa: PUSH1 0x04
000005fc: PUSH2 0x2526
000005ff: JUMP
00000600: JUMPDEST
00000601: PUSH2 0x1384
00000604: JUMP
00000605: JUMPDEST
00000606: PUSH2 0x04f8
00000609: PUSH2 0x0613
0000060c: CALLDATASIZE
0000060d: PUSH1 0x04
0000060f: PUSH2 0x25eb
00000612: JUMP
00000613: JUMPDEST
00000614: PUSH2 0x145e
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH2 0x0357
0000061c: PUSH1 0x0c
0000061e: SLOAD
0000061f: DUP2
00000620: JUMP
00000621: JUMPDEST
00000622: PUSH2 0x04f8
00000625: PUSH2 0x1488
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH1 0x09
0000062c: SLOAD
0000062d: PUSH2 0x04f8
00000630: SWAP1
00000631: PUSH1 0x01
00000633: PUSH1 0x01
00000635: PUSH1 0xa0
00000637: SHL
00000638: SUB
00000639: AND
0000063a: DUP2
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH2 0x03ac
00000640: PUSH2 0x1492
00000643: JUMP
00000644: JUMPDEST
00000645: PUSH2 0x03cc
00000648: PUSH2 0x0652
0000064b: CALLDATASIZE
0000064c: PUSH1 0x04
0000064e: PUSH2 0x2440
00000651: JUMP
00000652: JUMPDEST
00000653: PUSH2 0x149f
00000656: JUMP
00000657: JUMPDEST
00000658: PUSH2 0x065f
0000065b: PUSH2 0x14fe
0000065e: JUMP
0000065f: JUMPDEST
00000660: PUSH1 0x40
00000662: MLOAD
00000663: PUSH2 0x0361
00000666: SWAP2
00000667: SWAP1
00000668: PUSH2 0x26e2
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH2 0x0357
00000670: PUSH1 0x0e
00000672: SLOAD
00000673: DUP2
00000674: JUMP
00000675: JUMPDEST
00000676: PUSH2 0x03cc
00000679: PUSH2 0x0683
0000067c: CALLDATASIZE
0000067d: PUSH1 0x04
0000067f: PUSH2 0x2440
00000682: JUMP
00000683: JUMPDEST
00000684: PUSH2 0x1560
00000687: JUMP
00000688: JUMPDEST
00000689: PUSH2 0x03cc
0000068c: PUSH2 0x0696
0000068f: CALLDATASIZE
00000690: PUSH1 0x04
00000692: PUSH2 0x2350
00000695: JUMP
00000696: JUMPDEST
00000697: PUSH1 0x06
00000699: PUSH1 0x20
0000069b: MSTORE
0000069c: PUSH1 0x00
0000069e: SWAP1
0000069f: DUP2
000006a0: MSTORE
000006a1: PUSH1 0x40
000006a3: SWAP1
000006a4: KECCAK256
000006a5: SLOAD
000006a6: PUSH1 0xff
000006a8: AND
000006a9: DUP2
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH2 0x0357
000006af: PUSH2 0x06b9
000006b2: CALLDATASIZE
000006b3: PUSH1 0x04
000006b5: PUSH2 0x25eb
000006b8: JUMP
000006b9: JUMPDEST
000006ba: PUSH2 0x1636
000006bd: JUMP
000006be: JUMPDEST
000006bf: PUSH2 0x0357
000006c2: PUSH2 0x06cc
000006c5: CALLDATASIZE
000006c6: PUSH1 0x04
000006c8: PUSH2 0x261b
000006cb: JUMP
000006cc: JUMPDEST
000006cd: PUSH2 0x1677
000006d0: JUMP
000006d1: JUMPDEST
000006d2: PUSH2 0x0357
000006d5: PUSH1 0x0a
000006d7: SLOAD
000006d8: DUP2
000006d9: JUMP
000006da: JUMPDEST
000006db: PUSH2 0x03e4
000006de: PUSH2 0x06e8
000006e1: CALLDATASIZE
000006e2: PUSH1 0x04
000006e4: PUSH2 0x258f
000006e7: JUMP
000006e8: JUMPDEST
000006e9: PUSH2 0x16b1
000006ec: JUMP
000006ed: JUMPDEST
000006ee: PUSH2 0x03cc
000006f1: PUSH2 0x06fb
000006f4: CALLDATASIZE
000006f5: PUSH1 0x04
000006f7: PUSH2 0x24a4
000006fa: JUMP
000006fb: JUMPDEST
000006fc: PUSH2 0x1703
000006ff: JUMP
00000700: JUMPDEST
00000701: PUSH2 0x03e4
00000704: PUSH2 0x070e
00000707: CALLDATASIZE
00000708: PUSH1 0x04
0000070a: PUSH2 0x2350
0000070d: JUMP
0000070e: JUMPDEST
0000070f: PUSH2 0x17df
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH2 0x0357
00000717: PUSH2 0x1838
0000071a: JUMP
0000071b: JUMPDEST
0000071c: PUSH2 0x03e4
0000071f: PUSH2 0x0729
00000722: CALLDATASIZE
00000723: PUSH1 0x04
00000725: PUSH2 0x23d7
00000728: JUMP
00000729: JUMPDEST
0000072a: PUSH2 0x191b
0000072d: JUMP
0000072e: JUMPDEST
0000072f: PUSH2 0x03e4
00000732: PUSH2 0x1a89
00000735: JUMP
00000736: JUMPDEST
00000737: PUSH2 0x0357
0000073a: PUSH2 0x0744
0000073d: CALLDATASIZE
0000073e: PUSH1 0x04
00000740: PUSH2 0x236a
00000743: JUMP
00000744: JUMPDEST
00000745: PUSH1 0x10
00000747: PUSH1 0x20
00000749: SWAP1
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x00
0000074e: SWAP3
0000074f: DUP4
00000750: MSTORE
00000751: PUSH1 0x40
00000753: DUP1
00000754: DUP5
00000755: KECCAK256
00000756: SWAP1
00000757: SWAP2
00000758: MSTORE
00000759: SWAP1
0000075a: DUP3
0000075b: MSTORE
0000075c: SWAP1
0000075d: KECCAK256
0000075e: SLOAD
0000075f: DUP2
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH2 0x03cc
00000765: PUSH2 0x076f
00000768: CALLDATASIZE
00000769: PUSH1 0x04
0000076b: PUSH2 0x25c7
0000076e: JUMP
0000076f: JUMPDEST
00000770: PUSH2 0x1af4
00000773: JUMP
00000774: JUMPDEST
00000775: PUSH2 0x04f8
00000778: PUSH2 0x1b69
0000077b: JUMP
0000077c: JUMPDEST
0000077d: PUSH2 0x0357
00000780: PUSH2 0x078a
00000783: CALLDATASIZE
00000784: PUSH1 0x04
00000786: PUSH2 0x2526
00000789: JUMP
0000078a: JUMPDEST
0000078b: PUSH2 0x1b96
0000078e: JUMP
0000078f: JUMPDEST
00000790: PUSH1 0x08
00000792: SLOAD
00000793: PUSH2 0x04f8
00000796: SWAP1
00000797: PUSH1 0x01
00000799: PUSH1 0x01
0000079b: PUSH1 0xa0
0000079d: SHL
0000079e: SUB
0000079f: AND
000007a0: DUP2
000007a1: JUMP
000007a2: JUMPDEST
000007a3: PUSH2 0x03e4
000007a6: PUSH2 0x07b0
000007a9: CALLDATASIZE
000007aa: PUSH1 0x04
000007ac: PUSH2 0x2350
000007af: JUMP
000007b0: JUMPDEST
000007b1: PUSH2 0x1c4e
000007b4: JUMP
000007b5: JUMPDEST
000007b6: PUSH1 0x00
000007b8: PUSH2 0x07bf
000007bb: PUSH2 0x1b69
000007be: JUMP
000007bf: JUMPDEST
000007c0: PUSH1 0x01
000007c2: PUSH1 0x01
000007c4: PUSH1 0xa0
000007c6: SHL
000007c7: SUB
000007c8: AND
000007c9: CALLER
000007ca: PUSH1 0x01
000007cc: PUSH1 0x01
000007ce: PUSH1 0xa0
000007d0: SHL
000007d1: SUB
000007d2: AND
000007d3: EQ
000007d4: PUSH2 0x07f8
000007d7: JUMPI
000007d8: PUSH1 0x40
000007da: MLOAD
000007db: PUSH3 0x461bcd
000007df: PUSH1 0xe5
000007e1: SHL
000007e2: DUP2
000007e3: MSTORE
000007e4: PUSH1 0x04
000007e6: ADD
000007e7: PUSH2 0x07ef
000007ea: SWAP1
000007eb: PUSH2 0x2762
000007ee: JUMP
000007ef: JUMPDEST
000007f0: PUSH1 0x40
000007f2: MLOAD
000007f3: DUP1
000007f4: SWAP2
000007f5: SUB
000007f6: SWAP1
000007f7: REVERT
000007f8: JUMPDEST
000007f9: PUSH2 0x0803
000007fc: DUP5
000007fd: DUP5
000007fe: DUP5
000007ff: PUSH2 0x1cb4
00000802: JUMP
00000803: JUMPDEST
00000804: SWAP5
00000805: SWAP4
00000806: POP
00000807: POP
00000808: POP
00000809: POP
0000080a: JUMP
0000080b: JUMPDEST
0000080c: PUSH1 0x00
0000080e: PUSH2 0x0818
00000811: CALLER
00000812: DUP5
00000813: DUP5
00000814: PUSH2 0x1cb4
00000817: JUMP
00000818: JUMPDEST
00000819: SWAP4
0000081a: SWAP3
0000081b: POP
0000081c: POP
0000081d: POP
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH1 0x00
00000822: DUP1
00000823: SLOAD
00000824: PUSH2 0x082c
00000827: SWAP1
00000828: PUSH2 0x28b1
0000082b: JUMP
0000082c: JUMPDEST
0000082d: DUP1
0000082e: PUSH1 0x1f
00000830: ADD
00000831: PUSH1 0x20
00000833: DUP1
00000834: SWAP2
00000835: DIV
00000836: MUL
00000837: PUSH1 0x20
00000839: ADD
0000083a: PUSH1 0x40
0000083c: MLOAD
0000083d: SWAP1
0000083e: DUP2
0000083f: ADD
00000840: PUSH1 0x40
00000842: MSTORE
00000843: DUP1
00000844: SWAP3
00000845: SWAP2
00000846: SWAP1
00000847: DUP2
00000848: DUP2
00000849: MSTORE
0000084a: PUSH1 0x20
0000084c: ADD
0000084d: DUP3
0000084e: DUP1
0000084f: SLOAD
00000850: PUSH2 0x0858
00000853: SWAP1
00000854: PUSH2 0x28b1
00000857: JUMP
00000858: JUMPDEST
00000859: DUP1
0000085a: ISZERO
0000085b: PUSH2 0x08a5
0000085e: JUMPI
0000085f: DUP1
00000860: PUSH1 0x1f
00000862: LT
00000863: PUSH2 0x087a
00000866: JUMPI
00000867: PUSH2 0x0100
0000086a: DUP1
0000086b: DUP4
0000086c: SLOAD
0000086d: DIV
0000086e: MUL
0000086f: DUP4
00000870: MSTORE
00000871: SWAP2
00000872: PUSH1 0x20
00000874: ADD
00000875: SWAP2
00000876: PUSH2 0x08a5
00000879: JUMP
0000087a: JUMPDEST
0000087b: DUP3
0000087c: ADD
0000087d: SWAP2
0000087e: SWAP1
0000087f: PUSH1 0x00
00000881: MSTORE
00000882: PUSH1 0x20
00000884: PUSH1 0x00
00000886: KECCAK256
00000887: SWAP1
00000888: JUMPDEST
00000889: DUP2
0000088a: SLOAD
0000088b: DUP2
0000088c: MSTORE
0000088d: SWAP1
0000088e: PUSH1 0x01
00000890: ADD
00000891: SWAP1
00000892: PUSH1 0x20
00000894: ADD
00000895: DUP1
00000896: DUP4
00000897: GT
00000898: PUSH2 0x0888
0000089b: JUMPI
0000089c: DUP3
0000089d: SWAP1
0000089e: SUB
0000089f: PUSH1 0x1f
000008a1: AND
000008a2: DUP3
000008a3: ADD
000008a4: SWAP2
000008a5: JUMPDEST
000008a6: POP
000008a7: POP
000008a8: POP
000008a9: POP
000008aa: POP
000008ab: DUP2
000008ac: JUMP
000008ad: JUMPDEST
000008ae: CALLER
000008af: PUSH1 0x00
000008b1: DUP2
000008b2: DUP2
000008b3: MSTORE
000008b4: PUSH1 0x10
000008b6: PUSH1 0x20
000008b8: SWAP1
000008b9: DUP2
000008ba: MSTORE
000008bb: PUSH1 0x40
000008bd: DUP1
000008be: DUP4
000008bf: KECCAK256
000008c0: PUSH1 0x01
000008c2: PUSH1 0x01
000008c4: PUSH1 0xa0
000008c6: SHL
000008c7: SUB
000008c8: DUP8
000008c9: AND
000008ca: DUP1
000008cb: DUP6
000008cc: MSTORE
000008cd: SWAP3
000008ce: MSTORE
000008cf: DUP1
000008d0: DUP4
000008d1: KECCAK256
000008d2: DUP6
000008d3: SWAP1
000008d4: SSTORE
000008d5: MLOAD
000008d6: SWAP2
000008d7: SWAP3
000008d8: SWAP1
000008d9: SWAP2
000008da: PUSH1 0x00
000008dc: DUP1
000008dd: MLOAD
000008de: PUSH1 0x20
000008e0: PUSH2 0x294f
000008e3: DUP4
000008e4: CODECOPY
000008e5: DUP2
000008e6: MLOAD
000008e7: SWAP2
000008e8: MSTORE
000008e9: SWAP1
000008ea: PUSH2 0x08f6
000008ed: SWAP1
000008ee: DUP7
000008ef: DUP2
000008f0: MSTORE
000008f1: PUSH1 0x20
000008f3: ADD
000008f4: SWAP1
000008f5: JUMP
000008f6: JUMPDEST
000008f7: PUSH1 0x40
000008f9: MLOAD
000008fa: DUP1
000008fb: SWAP2
000008fc: SUB
000008fd: SWAP1
000008fe: LOG3
000008ff: POP
00000900: PUSH1 0x01
00000902: SWAP3
00000903: SWAP2
00000904: POP
00000905: POP
00000906: JUMP
00000907: JUMPDEST
00000908: PUSH2 0x090f
0000090b: PUSH2 0x1b69
0000090e: JUMP
0000090f: JUMPDEST
00000910: PUSH1 0x01
00000912: PUSH1 0x01
00000914: PUSH1 0xa0
00000916: SHL
00000917: SUB
00000918: AND
00000919: CALLER
0000091a: PUSH1 0x01
0000091c: PUSH1 0x01
0000091e: PUSH1 0xa0
00000920: SHL
00000921: SUB
00000922: AND
00000923: EQ
00000924: PUSH2 0x093f
00000927: JUMPI
00000928: PUSH1 0x40
0000092a: MLOAD
0000092b: PUSH3 0x461bcd
0000092f: PUSH1 0xe5
00000931: SHL
00000932: DUP2
00000933: MSTORE
00000934: PUSH1 0x04
00000936: ADD
00000937: PUSH2 0x07ef
0000093a: SWAP1
0000093b: PUSH2 0x2762
0000093e: JUMP
0000093f: JUMPDEST
00000940: PUSH1 0x0a
00000942: SLOAD
00000943: TIMESTAMP
00000944: LT
00000945: ISZERO
00000946: PUSH2 0x094e
00000949: JUMPI
0000094a: PUSH1 0x00
0000094c: DUP1
0000094d: REVERT
0000094e: JUMPDEST
0000094f: PUSH1 0x09
00000951: DUP1
00000952: SLOAD
00000953: PUSH1 0x01
00000955: PUSH1 0x01
00000957: PUSH1 0xa0
00000959: SHL
0000095a: SUB
0000095b: SWAP1
0000095c: DUP2
0000095d: AND
0000095e: PUSH1 0x00
00000960: SWAP1
00000961: DUP2
00000962: MSTORE
00000963: PUSH1 0x06
00000965: PUSH1 0x20
00000967: MSTORE
00000968: PUSH1 0x40
0000096a: DUP2
0000096b: KECCAK256
0000096c: DUP1
0000096d: SLOAD
0000096e: PUSH1 0xff
00000970: NOT
00000971: AND
00000972: PUSH1 0x01
00000974: SWAP1
00000975: DUP2
00000976: OR
00000977: SWAP1
00000978: SWAP2
00000979: SSTORE
0000097a: SWAP3
0000097b: SLOAD
0000097c: PUSH1 0x07
0000097e: DUP1
0000097f: SLOAD
00000980: SWAP5
00000981: DUP6
00000982: ADD
00000983: DUP2
00000984: SSTORE
00000985: SWAP1
00000986: SWAP2
00000987: MSTORE
00000988: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688
000009a9: SWAP1
000009aa: SWAP3
000009ab: ADD
000009ac: DUP1
000009ad: SLOAD
000009ae: PUSH1 0x01
000009b0: PUSH1 0x01
000009b2: PUSH1 0xa0
000009b4: SHL
000009b5: SUB
000009b6: NOT
000009b7: AND
000009b8: SWAP3
000009b9: SWAP1
000009ba: SWAP2
000009bb: AND
000009bc: SWAP2
000009bd: SWAP1
000009be: SWAP2
000009bf: OR
000009c0: SWAP1
000009c1: SSTORE
000009c2: JUMP
000009c3: JUMPDEST
000009c4: PUSH1 0x03
000009c6: SLOAD
000009c7: JUMPDEST
000009c8: SWAP1
000009c9: JUMP
000009ca: JUMPDEST
000009cb: PUSH1 0x00
000009cd: PUSH1 0x01
000009cf: PUSH1 0x01
000009d1: PUSH1 0xa0
000009d3: SHL
000009d4: SUB
000009d5: DUP4
000009d6: AND
000009d7: ISZERO
000009d8: ISZERO
000009d9: DUP1
000009da: PUSH2 0x09ec
000009dd: JUMPI
000009de: POP
000009df: PUSH1 0x01
000009e1: PUSH1 0x01
000009e3: PUSH1 0xa0
000009e5: SHL
000009e6: SUB
000009e7: DUP4
000009e8: AND
000009e9: ADDRESS
000009ea: EQ
000009eb: ISZERO
000009ec: JUMPDEST
000009ed: PUSH2 0x09f5
000009f0: JUMPI
000009f1: PUSH1 0x00
000009f3: DUP1
000009f4: REVERT
000009f5: JUMPDEST
000009f6: PUSH1 0x01
000009f8: PUSH1 0x01
000009fa: PUSH1 0xa0
000009fc: SHL
000009fd: SUB
000009fe: DUP5
000009ff: AND
00000a00: CALLER
00000a01: EQ
00000a02: PUSH2 0x0aef
00000a05: JUMPI
00000a06: PUSH1 0x01
00000a08: PUSH1 0x01
00000a0a: PUSH1 0xa0
00000a0c: SHL
00000a0d: SUB
00000a0e: DUP5
00000a0f: AND
00000a10: PUSH1 0x00
00000a12: SWAP1
00000a13: DUP2
00000a14: MSTORE
00000a15: PUSH1 0x10
00000a17: PUSH1 0x20
00000a19: SWAP1
00000a1a: DUP2
00000a1b: MSTORE
00000a1c: PUSH1 0x40
00000a1e: DUP1
00000a1f: DUP4
00000a20: KECCAK256
00000a21: CALLER
00000a22: DUP5
00000a23: MSTORE
00000a24: SWAP1
00000a25: SWAP2
00000a26: MSTORE
00000a27: SWAP1
00000a28: KECCAK256
00000a29: SLOAD
00000a2a: PUSH1 0x00
00000a2c: NOT
00000a2d: DUP2
00000a2e: EQ
00000a2f: PUSH2 0x0aed
00000a32: JUMPI
00000a33: DUP3
00000a34: DUP2
00000a35: LT
00000a36: ISZERO
00000a37: PUSH2 0x0a94
00000a3a: JUMPI
00000a3b: PUSH1 0x40
00000a3d: MLOAD
00000a3e: PUSH3 0x461bcd
00000a42: PUSH1 0xe5
00000a44: SHL
00000a45: DUP2
00000a46: MSTORE
00000a47: PUSH1 0x20
00000a49: PUSH1 0x04
00000a4b: DUP3
00000a4c: ADD
00000a4d: MSTORE
00000a4e: PUSH1 0x29
00000a50: PUSH1 0x24
00000a52: DUP3
00000a53: ADD
00000a54: MSTORE
00000a55: PUSH32 0x416e7973776170563345524332303a2072657175657374206578636565647320
00000a76: PUSH1 0x44
00000a78: DUP3
00000a79: ADD
00000a7a: MSTORE
00000a7b: PUSH9 0x616c6c6f77616e6365
00000a85: PUSH1 0xb8
00000a87: SHL
00000a88: PUSH1 0x64
00000a8a: DUP3
00000a8b: ADD
00000a8c: MSTORE
00000a8d: PUSH1 0x84
00000a8f: ADD
00000a90: PUSH2 0x07ef
00000a93: JUMP
00000a94: JUMPDEST
00000a95: PUSH1 0x00
00000a97: PUSH2 0x0aa0
00000a9a: DUP5
00000a9b: DUP4
00000a9c: PUSH2 0x286e
00000a9f: JUMP
00000aa0: JUMPDEST
00000aa1: PUSH1 0x01
00000aa3: PUSH1 0x01
00000aa5: PUSH1 0xa0
00000aa7: SHL
00000aa8: SUB
00000aa9: DUP8
00000aaa: AND
00000aab: PUSH1 0x00
00000aad: DUP2
00000aae: DUP2
00000aaf: MSTORE
00000ab0: PUSH1 0x10
00000ab2: PUSH1 0x20
00000ab4: SWAP1
00000ab5: DUP2
00000ab6: MSTORE
00000ab7: PUSH1 0x40
00000ab9: DUP1
00000aba: DUP4
00000abb: KECCAK256
00000abc: CALLER
00000abd: DUP1
00000abe: DUP6
00000abf: MSTORE
00000ac0: SWAP1
00000ac1: DUP4
00000ac2: MSTORE
00000ac3: SWAP3
00000ac4: DUP2
00000ac5: SWAP1
00000ac6: KECCAK256
00000ac7: DUP6
00000ac8: SWAP1
00000ac9: SSTORE
00000aca: MLOAD
00000acb: DUP5
00000acc: DUP2
00000acd: MSTORE
00000ace: SWAP4
00000acf: SWAP5
00000ad0: POP
00000ad1: SWAP1
00000ad2: SWAP3
00000ad3: PUSH1 0x00
00000ad5: DUP1
00000ad6: MLOAD
00000ad7: PUSH1 0x20
00000ad9: PUSH2 0x294f
00000adc: DUP4
00000add: CODECOPY
00000ade: DUP2
00000adf: MLOAD
00000ae0: SWAP2
00000ae1: MSTORE
00000ae2: SWAP2
00000ae3: ADD
00000ae4: PUSH1 0x40
00000ae6: MLOAD
00000ae7: DUP1
00000ae8: SWAP2
00000ae9: SUB
00000aea: SWAP1
00000aeb: LOG3
00000aec: POP
00000aed: JUMPDEST
00000aee: POP
00000aef: JUMPDEST
00000af0: PUSH1 0x01
00000af2: PUSH1 0x01
00000af4: PUSH1 0xa0
00000af6: SHL
00000af7: SUB
00000af8: DUP5
00000af9: AND
00000afa: PUSH1 0x00
00000afc: SWAP1
00000afd: DUP2
00000afe: MSTORE
00000aff: PUSH1 0x02
00000b01: PUSH1 0x20
00000b03: MSTORE
00000b04: PUSH1 0x40
00000b06: SWAP1
00000b07: KECCAK256
00000b08: SLOAD
00000b09: DUP3
00000b0a: DUP2
00000b0b: LT
00000b0c: ISZERO
00000b0d: PUSH2 0x0b28
00000b10: JUMPI
00000b11: PUSH1 0x40
00000b13: MLOAD
00000b14: PUSH3 0x461bcd
00000b18: PUSH1 0xe5
00000b1a: SHL
00000b1b: DUP2
00000b1c: MSTORE
00000b1d: PUSH1 0x04
00000b1f: ADD
00000b20: PUSH2 0x07ef
00000b23: SWAP1
00000b24: PUSH2 0x27d0
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH2 0x0b32
00000b2c: DUP4
00000b2d: DUP3
00000b2e: PUSH2 0x286e
00000b31: JUMP
00000b32: JUMPDEST
00000b33: PUSH1 0x01
00000b35: PUSH1 0x01
00000b37: PUSH1 0xa0
00000b39: SHL
00000b3a: SUB
00000b3b: DUP1
00000b3c: DUP8
00000b3d: AND
00000b3e: PUSH1 0x00
00000b40: SWAP1
00000b41: DUP2
00000b42: MSTORE
00000b43: PUSH1 0x02
00000b45: PUSH1 0x20
00000b47: MSTORE
00000b48: PUSH1 0x40
00000b4a: DUP1
00000b4b: DUP3
00000b4c: KECCAK256
00000b4d: SWAP4
00000b4e: SWAP1
00000b4f: SWAP4
00000b50: SSTORE
00000b51: SWAP1
00000b52: DUP7
00000b53: AND
00000b54: DUP2
00000b55: MSTORE
00000b56: SWAP1
00000b57: DUP2
00000b58: KECCAK256
00000b59: DUP1
00000b5a: SLOAD
00000b5b: DUP6
00000b5c: SWAP3
00000b5d: SWAP1
00000b5e: PUSH2 0x0b68
00000b61: SWAP1
00000b62: DUP5
00000b63: SWAP1
00000b64: PUSH2 0x2856
00000b67: JUMP
00000b68: JUMPDEST
00000b69: SWAP3
00000b6a: POP
00000b6b: POP
00000b6c: DUP2
00000b6d: SWAP1
00000b6e: SSTORE
00000b6f: POP
00000b70: DUP4
00000b71: PUSH1 0x01
00000b73: PUSH1 0x01
00000b75: PUSH1 0xa0
00000b77: SHL
00000b78: SUB
00000b79: AND
00000b7a: DUP6
00000b7b: PUSH1 0x01
00000b7d: PUSH1 0x01
00000b7f: PUSH1 0xa0
00000b81: SHL
00000b82: SUB
00000b83: AND
00000b84: PUSH1 0x00
00000b86: DUP1
00000b87: MLOAD
00000b88: PUSH1 0x20
00000b8a: PUSH2 0x292f
00000b8d: DUP4
00000b8e: CODECOPY
00000b8f: DUP2
00000b90: MLOAD
00000b91: SWAP2
00000b92: MSTORE
00000b93: DUP6
00000b94: PUSH1 0x40
00000b96: MLOAD
00000b97: PUSH2 0x0ba2
00000b9a: SWAP2
00000b9b: DUP2
00000b9c: MSTORE
00000b9d: PUSH1 0x20
00000b9f: ADD
00000ba0: SWAP1
00000ba1: JUMP
00000ba2: JUMPDEST
00000ba3: PUSH1 0x40
00000ba5: MLOAD
00000ba6: DUP1
00000ba7: SWAP2
00000ba8: SUB
00000ba9: SWAP1
00000baa: LOG3
00000bab: POP
00000bac: PUSH1 0x01
00000bae: SWAP5
00000baf: SWAP4
00000bb0: POP
00000bb1: POP
00000bb2: POP
00000bb3: POP
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: PUSH1 0x00
00000bb8: PUSH2 0x0bc2
00000bbb: CALLER
00000bbc: DUP4
00000bbd: CALLER
00000bbe: PUSH2 0x1cb4
00000bc1: JUMP
00000bc2: JUMPDEST
00000bc3: SWAP1
00000bc4: POP
00000bc5: JUMPDEST
00000bc6: SWAP2
00000bc7: SWAP1
00000bc8: POP
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: PUSH2 0x0bd2
00000bce: PUSH2 0x1b69
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH1 0x01
00000bd5: PUSH1 0x01
00000bd7: PUSH1 0xa0
00000bd9: SHL
00000bda: SUB
00000bdb: AND
00000bdc: CALLER
00000bdd: PUSH1 0x01
00000bdf: PUSH1 0x01
00000be1: PUSH1 0xa0
00000be3: SHL
00000be4: SUB
00000be5: AND
00000be6: EQ
00000be7: PUSH2 0x0c02
00000bea: JUMPI
00000beb: PUSH1 0x40
00000bed: MLOAD
00000bee: PUSH3 0x461bcd
00000bf2: PUSH1 0xe5
00000bf4: SHL
00000bf5: DUP2
00000bf6: MSTORE
00000bf7: PUSH1 0x04
00000bf9: ADD
00000bfa: PUSH2 0x07ef
00000bfd: SWAP1
00000bfe: PUSH2 0x2762
00000c01: JUMP
00000c02: JUMPDEST
00000c03: PUSH1 0x04
00000c05: SLOAD
00000c06: PUSH1 0xff
00000c08: AND
00000c09: PUSH2 0x0c11
00000c0c: JUMPI
00000c0d: PUSH1 0x00
00000c0f: DUP1
00000c10: REVERT
00000c11: JUMPDEST
00000c12: PUSH1 0x08
00000c14: DUP1
00000c15: SLOAD
00000c16: PUSH1 0x01
00000c18: PUSH1 0x01
00000c1a: PUSH1 0xa0
00000c1c: SHL
00000c1d: SUB
00000c1e: SWAP1
00000c1f: SWAP3
00000c20: AND
00000c21: PUSH1 0x01
00000c23: PUSH1 0x01
00000c25: PUSH1 0xa0
00000c27: SHL
00000c28: SUB
00000c29: NOT
00000c2a: SWAP3
00000c2b: DUP4
00000c2c: AND
00000c2d: DUP2
00000c2e: OR
00000c2f: SWAP1
00000c30: SWAP2
00000c31: SSTORE
00000c32: PUSH1 0x0b
00000c34: DUP1
00000c35: SLOAD
00000c36: DUP4
00000c37: AND
00000c38: DUP3
00000c39: OR
00000c3a: SWAP1
00000c3b: SSTORE
00000c3c: PUSH1 0x00
00000c3e: DUP2
00000c3f: DUP2
00000c40: MSTORE
00000c41: PUSH1 0x06
00000c43: PUSH1 0x20
00000c45: MSTORE
00000c46: PUSH1 0x40
00000c48: DUP2
00000c49: KECCAK256
00000c4a: DUP1
00000c4b: SLOAD
00000c4c: PUSH1 0xff
00000c4e: NOT
00000c4f: SWAP1
00000c50: DUP2
00000c51: AND
00000c52: PUSH1 0x01
00000c54: SWAP1
00000c55: DUP2
00000c56: OR
00000c57: SWAP1
00000c58: SWAP3
00000c59: SSTORE
00000c5a: PUSH1 0x07
00000c5c: DUP1
00000c5d: SLOAD
00000c5e: SWAP3
00000c5f: DUP4
00000c60: ADD
00000c61: DUP2
00000c62: SSTORE
00000c63: SWAP1
00000c64: SWAP3
00000c65: MSTORE
00000c66: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688
00000c87: ADD
00000c88: DUP1
00000c89: SLOAD
00000c8a: SWAP1
00000c8b: SWAP4
00000c8c: AND
00000c8d: SWAP1
00000c8e: SWAP2
00000c8f: OR
00000c90: SWAP1
00000c91: SWAP2
00000c92: SSTORE
00000c93: TIMESTAMP
00000c94: PUSH1 0x0c
00000c96: SSTORE
00000c97: PUSH1 0x04
00000c99: DUP1
00000c9a: SLOAD
00000c9b: SWAP1
00000c9c: SWAP2
00000c9d: AND
00000c9e: SWAP1
00000c9f: SSTORE
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: CALLER
00000ca3: PUSH1 0x00
00000ca5: DUP2
00000ca6: DUP2
00000ca7: MSTORE
00000ca8: PUSH1 0x02
00000caa: PUSH1 0x20
00000cac: MSTORE
00000cad: PUSH1 0x40
00000caf: DUP2
00000cb0: KECCAK256
00000cb1: SLOAD
00000cb2: SWAP1
00000cb3: SWAP2
00000cb4: PUSH2 0x0cbd
00000cb7: SWAP2
00000cb8: DUP2
00000cb9: PUSH2 0x1cb4
00000cbc: JUMP
00000cbd: JUMPDEST
00000cbe: SWAP1
00000cbf: POP
00000cc0: SWAP1
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: PUSH1 0x00
00000cc5: PUSH1 0x01
00000cc7: PUSH1 0x01
00000cc9: PUSH1 0xa0
00000ccb: SHL
00000ccc: SUB
00000ccd: DUP6
00000cce: AND
00000ccf: ISZERO
00000cd0: ISZERO
00000cd1: DUP1
00000cd2: PUSH2 0x0ce4
00000cd5: JUMPI
00000cd6: POP
00000cd7: PUSH1 0x01
00000cd9: PUSH1 0x01
00000cdb: PUSH1 0xa0
00000cdd: SHL
00000cde: SUB
00000cdf: DUP6
00000ce0: AND
00000ce1: ADDRESS
00000ce2: EQ
00000ce3: ISZERO
00000ce4: JUMPDEST
00000ce5: PUSH2 0x0ced
00000ce8: JUMPI
00000ce9: PUSH1 0x00
00000ceb: DUP1
00000cec: REVERT
00000ced: JUMPDEST
00000cee: CALLER
00000cef: PUSH1 0x00
00000cf1: SWAP1
00000cf2: DUP2
00000cf3: MSTORE
00000cf4: PUSH1 0x02
00000cf6: PUSH1 0x20
00000cf8: MSTORE
00000cf9: PUSH1 0x40
00000cfb: SWAP1
00000cfc: KECCAK256
00000cfd: SLOAD
00000cfe: DUP5
00000cff: DUP2
00000d00: LT
00000d01: ISZERO
00000d02: PUSH2 0x0d1d
00000d05: JUMPI
00000d06: PUSH1 0x40
00000d08: MLOAD
00000d09: PUSH3 0x461bcd
00000d0d: PUSH1 0xe5
00000d0f: SHL
00000d10: DUP2
00000d11: MSTORE
00000d12: PUSH1 0x04
00000d14: ADD
00000d15: PUSH2 0x07ef
00000d18: SWAP1
00000d19: PUSH2 0x27d0
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: PUSH2 0x0d27
00000d21: DUP6
00000d22: DUP3
00000d23: PUSH2 0x286e
00000d26: JUMP
00000d27: JUMPDEST
00000d28: CALLER
00000d29: PUSH1 0x00
00000d2b: SWAP1
00000d2c: DUP2
00000d2d: MSTORE
00000d2e: PUSH1 0x02
00000d30: PUSH1 0x20
00000d32: MSTORE
00000d33: PUSH1 0x40
00000d35: DUP1
00000d36: DUP3
00000d37: KECCAK256
00000d38: SWAP3
00000d39: SWAP1
00000d3a: SWAP3
00000d3b: SSTORE
00000d3c: PUSH1 0x01
00000d3e: PUSH1 0x01
00000d40: PUSH1 0xa0
00000d42: SHL
00000d43: SUB
00000d44: DUP9
00000d45: AND
00000d46: DUP2
00000d47: MSTORE
00000d48: SWAP1
00000d49: DUP2
00000d4a: KECCAK256
00000d4b: DUP1
00000d4c: SLOAD
00000d4d: DUP8
00000d4e: SWAP3
00000d4f: SWAP1
00000d50: PUSH2 0x0d5a
00000d53: SWAP1
00000d54: DUP5
00000d55: SWAP1
00000d56: PUSH2 0x2856
00000d59: JUMP
00000d5a: JUMPDEST
00000d5b: SWAP1
00000d5c: SWAP2
00000d5d: SSTORE
00000d5e: POP
00000d5f: POP
00000d60: PUSH1 0x40
00000d62: MLOAD
00000d63: DUP6
00000d64: DUP2
00000d65: MSTORE
00000d66: PUSH1 0x01
00000d68: PUSH1 0x01
00000d6a: PUSH1 0xa0
00000d6c: SHL
00000d6d: SUB
00000d6e: DUP8
00000d6f: AND
00000d70: SWAP1
00000d71: CALLER
00000d72: SWAP1
00000d73: PUSH1 0x00
00000d75: DUP1
00000d76: MLOAD
00000d77: PUSH1 0x20
00000d79: PUSH2 0x292f
00000d7c: DUP4
00000d7d: CODECOPY
00000d7e: DUP2
00000d7f: MLOAD
00000d80: SWAP2
00000d81: MSTORE
00000d82: SWAP1
00000d83: PUSH1 0x20
00000d85: ADD
00000d86: PUSH1 0x40
00000d88: MLOAD
00000d89: DUP1
00000d8a: SWAP2
00000d8b: SUB
00000d8c: SWAP1
00000d8d: LOG3
00000d8e: PUSH1 0x40
00000d90: MLOAD
00000d91: PUSH4 0x5260769b
00000d96: PUSH1 0xe1
00000d98: SHL
00000d99: DUP2
00000d9a: MSTORE
00000d9b: PUSH1 0x01
00000d9d: PUSH1 0x01
00000d9f: PUSH1 0xa0
00000da1: SHL
00000da2: SUB
00000da3: DUP8
00000da4: AND
00000da5: SWAP1
00000da6: PUSH4 0xa4c0ed36
00000dab: SWAP1
00000dac: PUSH2 0x0dbf
00000daf: SWAP1
00000db0: CALLER
00000db1: SWAP1
00000db2: DUP10
00000db3: SWAP1
00000db4: DUP10
00000db5: SWAP1
00000db6: DUP10
00000db7: SWAP1
00000db8: PUSH1 0x04
00000dba: ADD
00000dbb: PUSH2 0x269a
00000dbe: JUMP
00000dbf: JUMPDEST
00000dc0: PUSH1 0x20
00000dc2: PUSH1 0x40
00000dc4: MLOAD
00000dc5: DUP1
00000dc6: DUP4
00000dc7: SUB
00000dc8: DUP2
00000dc9: PUSH1 0x00
00000dcb: DUP8
00000dcc: DUP1
00000dcd: EXTCODESIZE
00000dce: ISZERO
00000dcf: DUP1
00000dd0: ISZERO
00000dd1: PUSH2 0x0dd9
00000dd4: JUMPI
00000dd5: PUSH1 0x00
00000dd7: DUP1
00000dd8: REVERT
00000dd9: JUMPDEST
00000dda: POP
00000ddb: GAS
00000ddc: CALL
00000ddd: ISZERO
00000dde: DUP1
00000ddf: ISZERO
00000de0: PUSH2 0x0ded
00000de3: JUMPI
00000de4: RETURNDATASIZE
00000de5: PUSH1 0x00
00000de7: DUP1
00000de8: RETURNDATACOPY
00000de9: RETURNDATASIZE
00000dea: PUSH1 0x00
00000dec: REVERT
00000ded: JUMPDEST
00000dee: POP
00000def: POP
00000df0: POP
00000df1: POP
00000df2: PUSH1 0x40
00000df4: MLOAD
00000df5: RETURNDATASIZE
00000df6: PUSH1 0x1f
00000df8: NOT
00000df9: PUSH1 0x1f
00000dfb: DUP3
00000dfc: ADD
00000dfd: AND
00000dfe: DUP3
00000dff: ADD
00000e00: DUP1
00000e01: PUSH1 0x40
00000e03: MSTORE
00000e04: POP
00000e05: DUP2
00000e06: ADD
00000e07: SWAP1
00000e08: PUSH2 0x0e11
00000e0b: SWAP2
00000e0c: SWAP1
00000e0d: PUSH2 0x25ab
00000e10: JUMP
00000e11: JUMPDEST
00000e12: SWAP7
00000e13: SWAP6
00000e14: POP
00000e15: POP
00000e16: POP
00000e17: POP
00000e18: POP
00000e19: POP
00000e1a: JUMP
00000e1b: JUMPDEST
00000e1c: CALLER
00000e1d: PUSH1 0x00
00000e1f: SWAP1
00000e20: DUP2
00000e21: MSTORE
00000e22: PUSH1 0x06
00000e24: PUSH1 0x20
00000e26: MSTORE
00000e27: PUSH1 0x40
00000e29: DUP2
00000e2a: KECCAK256
00000e2b: SLOAD
00000e2c: PUSH1 0xff
00000e2e: AND
00000e2f: PUSH2 0x0e4a
00000e32: JUMPI
00000e33: PUSH1 0x40
00000e35: MLOAD
00000e36: PUSH3 0x461bcd
00000e3a: PUSH1 0xe5
00000e3c: SHL
00000e3d: DUP2
00000e3e: MSTORE
00000e3f: PUSH1 0x04
00000e41: ADD
00000e42: PUSH2 0x07ef
00000e45: SWAP1
00000e46: PUSH2 0x281f
00000e49: JUMP
00000e4a: JUMPDEST
00000e4b: PUSH2 0x0e54
00000e4e: DUP4
00000e4f: DUP4
00000e50: PUSH2 0x1cfc
00000e53: JUMP
00000e54: JUMPDEST
00000e55: POP
00000e56: PUSH1 0x01
00000e58: SWAP3
00000e59: SWAP2
00000e5a: POP
00000e5b: POP
00000e5c: JUMP
00000e5d: JUMPDEST
00000e5e: PUSH1 0x00
00000e60: PUSH2 0x0e67
00000e63: PUSH2 0x1b69
00000e66: JUMP
00000e67: JUMPDEST
00000e68: PUSH1 0x01
00000e6a: PUSH1 0x01
00000e6c: PUSH1 0xa0
00000e6e: SHL
00000e6f: SUB
00000e70: AND
00000e71: CALLER
00000e72: PUSH1 0x01
00000e74: PUSH1 0x01
00000e76: PUSH1 0xa0
00000e78: SHL
00000e79: SUB
00000e7a: AND
00000e7b: EQ
00000e7c: PUSH2 0x0e97
00000e7f: JUMPI
00000e80: PUSH1 0x40
00000e82: MLOAD
00000e83: PUSH3 0x461bcd
00000e87: PUSH1 0xe5
00000e89: SHL
00000e8a: DUP2
00000e8b: MSTORE
00000e8c: PUSH1 0x04
00000e8e: ADD
00000e8f: PUSH2 0x07ef
00000e92: SWAP1
00000e93: PUSH2 0x2762
00000e96: JUMP
00000e97: JUMPDEST
00000e98: PUSH1 0x01
00000e9a: PUSH1 0x01
00000e9c: PUSH1 0xa0
00000e9e: SHL
00000e9f: SUB
00000ea0: DUP3
00000ea1: AND
00000ea2: PUSH2 0x0ebd
00000ea5: JUMPI
00000ea6: PUSH1 0x40
00000ea8: MLOAD
00000ea9: PUSH3 0x461bcd
00000ead: PUSH1 0xe5
00000eaf: SHL
00000eb0: DUP2
00000eb1: MSTORE
00000eb2: PUSH1 0x04
00000eb4: ADD
00000eb5: PUSH2 0x07ef
00000eb8: SWAP1
00000eb9: PUSH2 0x2799
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: PUSH1 0x0b
00000ec0: DUP1
00000ec1: SLOAD
00000ec2: PUSH1 0x01
00000ec4: PUSH1 0x01
00000ec6: PUSH1 0xa0
00000ec8: SHL
00000ec9: SUB
00000eca: NOT
00000ecb: AND
00000ecc: PUSH1 0x01
00000ece: PUSH1 0x01
00000ed0: PUSH1 0xa0
00000ed2: SHL
00000ed3: SUB
00000ed4: DUP5
00000ed5: AND
00000ed6: OR
00000ed7: SWAP1
00000ed8: SSTORE
00000ed9: PUSH1 0x05
00000edb: SLOAD
00000edc: PUSH2 0x0ee5
00000edf: SWAP1
00000ee0: TIMESTAMP
00000ee1: PUSH2 0x2856
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: PUSH1 0x0c
00000ee8: DUP2
00000ee9: SWAP1
00000eea: SSTORE
00000eeb: PUSH1 0x0b
00000eed: SLOAD
00000eee: PUSH1 0x08
00000ef0: SLOAD
00000ef1: PUSH1 0x40
00000ef3: MLOAD
00000ef4: PUSH1 0x01
00000ef6: PUSH1 0x01
00000ef8: PUSH1 0xa0
00000efa: SHL
00000efb: SUB
00000efc: SWAP3
00000efd: DUP4
00000efe: AND
00000eff: SWAP3
00000f00: SWAP1
00000f01: SWAP2
00000f02: AND
00000f03: SWAP1
00000f04: PUSH32 0x1d065115f314fb9bad9557bd5460b9e3c66f7223b1dd04e73e828f0bb5afe89f
00000f25: SWAP1
00000f26: PUSH1 0x00
00000f28: SWAP1
00000f29: LOG4
00000f2a: POP
00000f2b: PUSH1 0x01
00000f2d: SWAP2
00000f2e: SWAP1
00000f2f: POP
00000f30: JUMP
00000f31: JUMPDEST
00000f32: PUSH1 0x00
00000f34: DUP5
00000f35: TIMESTAMP
00000f36: GT
00000f37: ISZERO
00000f38: PUSH2 0x0f83
00000f3b: JUMPI
00000f3c: PUSH1 0x40
00000f3e: MLOAD
00000f3f: PUSH3 0x461bcd
00000f43: PUSH1 0xe5
00000f45: SHL
00000f46: DUP2
00000f47: MSTORE
00000f48: PUSH1 0x20
00000f4a: PUSH1 0x04
00000f4c: DUP3
00000f4d: ADD
00000f4e: MSTORE
00000f4f: PUSH1 0x1e
00000f51: PUSH1 0x24
00000f53: DUP3
00000f54: ADD
00000f55: MSTORE
00000f56: PUSH32 0x416e7973776170563345524332303a2045787069726564207065726d69740000
00000f77: PUSH1 0x44
00000f79: DUP3
00000f7a: ADD
00000f7b: MSTORE
00000f7c: PUSH1 0x64
00000f7e: ADD
00000f7f: PUSH2 0x07ef
00000f82: JUMP
00000f83: JUMPDEST
00000f84: PUSH1 0x01
00000f86: PUSH1 0x01
00000f88: PUSH1 0xa0
00000f8a: SHL
00000f8b: SUB
00000f8c: DUP9
00000f8d: AND
00000f8e: PUSH1 0x00
00000f90: SWAP1
00000f91: DUP2
00000f92: MSTORE
00000f93: PUSH1 0x0f
00000f95: PUSH1 0x20
00000f97: MSTORE
00000f98: PUSH1 0x40
00000f9a: DUP2
00000f9b: KECCAK256
00000f9c: DUP1
00000f9d: SLOAD
00000f9e: PUSH32 0x42ce63790c28229c123925d83266e77c04d28784552ab68b350a9003226cbd59
00000fbf: SWAP2
00000fc0: DUP12
00000fc1: SWAP2
00000fc2: DUP12
00000fc3: SWAP2
00000fc4: DUP12
00000fc5: SWAP2
00000fc6: SWAP1
00000fc7: DUP7
00000fc8: PUSH2 0x0fd0
00000fcb: DUP4
00000fcc: PUSH2 0x28ec
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: SWAP1
00000fd2: SWAP2
00000fd3: SSTORE
00000fd4: POP
00000fd5: PUSH1 0x40
00000fd7: DUP1
00000fd8: MLOAD
00000fd9: PUSH1 0x20
00000fdb: DUP2
00000fdc: ADD
00000fdd: SWAP7
00000fde: SWAP1
00000fdf: SWAP7
00000fe0: MSTORE
00000fe1: PUSH1 0x01
00000fe3: PUSH1 0x01
00000fe5: PUSH1 0xa0
00000fe7: SHL
00000fe8: SUB
00000fe9: SWAP5
00000fea: DUP6
00000feb: AND
00000fec: SWAP1
00000fed: DUP7
00000fee: ADD
00000fef: MSTORE
00000ff0: SWAP3
00000ff1: SWAP1
00000ff2: SWAP2
00000ff3: AND
00000ff4: PUSH1 0x60
00000ff6: DUP5
00000ff7: ADD
00000ff8: MSTORE
00000ff9: PUSH1 0x80
00000ffb: DUP4
00000ffc: ADD
00000ffd: MSTORE
00000ffe: PUSH1 0xa0
00001000: DUP3
00001001: ADD
00001002: MSTORE
00001003: PUSH1 0xc0
00001005: DUP2
00001006: ADD
00001007: DUP8
00001008: SWAP1
00001009: MSTORE
0000100a: PUSH1 0xe0
0000100c: ADD
0000100d: PUSH1 0x40
0000100f: MLOAD
00001010: PUSH1 0x20
00001012: DUP2
00001013: DUP4
00001014: SUB
00001015: SUB
00001016: DUP2
00001017: MSTORE
00001018: SWAP1
00001019: PUSH1 0x40
0000101b: MSTORE
0000101c: DUP1
0000101d: MLOAD
0000101e: SWAP1
0000101f: PUSH1 0x20
00001021: ADD
00001022: KECCAK256
00001023: SWAP1
00001024: POP
00001025: PUSH2 0x1031
00001028: DUP10
00001029: DUP3
0000102a: DUP8
0000102b: DUP8
0000102c: DUP8
0000102d: PUSH2 0x1dca
00001030: JUMP
00001031: JUMPDEST
00001032: DUP1
00001033: PUSH2 0x1044
00001036: JUMPI
00001037: POP
00001038: PUSH2 0x1044
0000103b: DUP10
0000103c: DUP3
0000103d: DUP8
0000103e: DUP8
0000103f: DUP8
00001040: PUSH2 0x1eba
00001043: JUMP
00001044: JUMPDEST
00001045: PUSH2 0x104d
00001048: JUMPI
00001049: PUSH1 0x00
0000104b: DUP1
0000104c: REVERT
0000104d: JUMPDEST
0000104e: PUSH1 0x01
00001050: PUSH1 0x01
00001052: PUSH1 0xa0
00001054: SHL
00001055: SUB
00001056: DUP9
00001057: AND
00001058: ISZERO
00001059: ISZERO
0000105a: DUP1
0000105b: PUSH2 0x106d
0000105e: JUMPI
0000105f: POP
00001060: PUSH1 0x01
00001062: PUSH1 0x01
00001064: PUSH1 0xa0
00001066: SHL
00001067: SUB
00001068: DUP9
00001069: AND
0000106a: ADDRESS
0000106b: EQ
0000106c: ISZERO
0000106d: JUMPDEST
0000106e: PUSH2 0x1076
00001071: JUMPI
00001072: PUSH1 0x00
00001074: DUP1
00001075: REVERT
00001076: JUMPDEST
00001077: PUSH1 0x01
00001079: PUSH1 0x01
0000107b: PUSH1 0xa0
0000107d: SHL
0000107e: SUB
0000107f: DUP10
00001080: AND
00001081: PUSH1 0x00
00001083: SWAP1
00001084: DUP2
00001085: MSTORE
00001086: PUSH1 0x02
00001088: PUSH1 0x20
0000108a: MSTORE
0000108b: PUSH1 0x40
0000108d: SWAP1
0000108e: KECCAK256
0000108f: SLOAD
00001090: DUP8
00001091: DUP2
00001092: LT
00001093: ISZERO
00001094: PUSH2 0x10af
00001097: JUMPI
00001098: PUSH1 0x40
0000109a: MLOAD
0000109b: PUSH3 0x461bcd
0000109f: PUSH1 0xe5
000010a1: SHL
000010a2: DUP2
000010a3: MSTORE
000010a4: PUSH1 0x04
000010a6: ADD
000010a7: PUSH2 0x07ef
000010aa: SWAP1
000010ab: PUSH2 0x27d0
000010ae: JUMP
000010af: JUMPDEST
000010b0: PUSH2 0x10b9
000010b3: DUP9
000010b4: DUP3
000010b5: PUSH2 0x286e
000010b8: JUMP
000010b9: JUMPDEST
000010ba: PUSH1 0x01
000010bc: PUSH1 0x01
000010be: PUSH1 0xa0
000010c0: SHL
000010c1: SUB
000010c2: DUP1
000010c3: DUP13
000010c4: AND
000010c5: PUSH1 0x00
000010c7: SWAP1
000010c8: DUP2
000010c9: MSTORE
000010ca: PUSH1 0x02
000010cc: PUSH1 0x20
000010ce: MSTORE
000010cf: PUSH1 0x40
000010d1: DUP1
000010d2: DUP3
000010d3: KECCAK256
000010d4: SWAP4
000010d5: SWAP1
000010d6: SWAP4
000010d7: SSTORE
000010d8: SWAP1
000010d9: DUP12
000010da: AND
000010db: DUP2
000010dc: MSTORE
000010dd: SWAP1
000010de: DUP2
000010df: KECCAK256
000010e0: DUP1
000010e1: SLOAD
000010e2: DUP11
000010e3: SWAP3
000010e4: SWAP1
000010e5: PUSH2 0x10ef
000010e8: SWAP1
000010e9: DUP5
000010ea: SWAP1
000010eb: PUSH2 0x2856
000010ee: JUMP
000010ef: JUMPDEST
000010f0: SWAP3
000010f1: POP
000010f2: POP
000010f3: DUP2
000010f4: SWAP1
000010f5: SSTORE
000010f6: POP
000010f7: DUP9
000010f8: PUSH1 0x01
000010fa: PUSH1 0x01
000010fc: PUSH1 0xa0
000010fe: SHL
000010ff: SUB
00001100: AND
00001101: DUP11
00001102: PUSH1 0x01
00001104: PUSH1 0x01
00001106: PUSH1 0xa0
00001108: SHL
00001109: SUB
0000110a: AND
0000110b: PUSH1 0x00
0000110d: DUP1
0000110e: MLOAD
0000110f: PUSH1 0x20
00001111: PUSH2 0x292f
00001114: DUP4
00001115: CODECOPY
00001116: DUP2
00001117: MLOAD
00001118: SWAP2
00001119: MSTORE
0000111a: DUP11
0000111b: PUSH1 0x40
0000111d: MLOAD
0000111e: PUSH2 0x1129
00001121: SWAP2
00001122: DUP2
00001123: MSTORE
00001124: PUSH1 0x20
00001126: ADD
00001127: SWAP1
00001128: JUMP
00001129: JUMPDEST
0000112a: PUSH1 0x40
0000112c: MLOAD
0000112d: DUP1
0000112e: SWAP2
0000112f: SUB
00001130: SWAP1
00001131: LOG3
00001132: POP
00001133: PUSH1 0x01
00001135: SWAP10
00001136: SWAP9
00001137: POP
00001138: POP
00001139: POP
0000113a: POP
0000113b: POP
0000113c: POP
0000113d: POP
0000113e: POP
0000113f: POP
00001140: JUMP
00001141: JUMPDEST
00001142: PUSH1 0x00
00001144: PUSH2 0x114b
00001147: PUSH2 0x1b69
0000114a: JUMP
0000114b: JUMPDEST
0000114c: PUSH1 0x01
0000114e: PUSH1 0x01
00001150: PUSH1 0xa0
00001152: SHL
00001153: SUB
00001154: AND
00001155: CALLER
00001156: PUSH1 0x01
00001158: PUSH1 0x01
0000115a: PUSH1 0xa0
0000115c: SHL
0000115d: SUB
0000115e: AND
0000115f: EQ
00001160: PUSH2 0x117b
00001163: JUMPI
00001164: PUSH1 0x40
00001166: MLOAD
00001167: PUSH3 0x461bcd
0000116b: PUSH1 0xe5
0000116d: SHL
0000116e: DUP2
0000116f: MSTORE
00001170: PUSH1 0x04
00001172: ADD
00001173: PUSH2 0x07ef
00001176: SWAP1
00001177: PUSH2 0x2762
0000117a: JUMP
0000117b: JUMPDEST
0000117c: PUSH1 0x01
0000117e: PUSH1 0x01
00001180: PUSH1 0xa0
00001182: SHL
00001183: SUB
00001184: DUP3
00001185: AND
00001186: PUSH2 0x11a1
00001189: JUMPI
0000118a: PUSH1 0x40
0000118c: MLOAD
0000118d: PUSH3 0x461bcd
00001191: PUSH1 0xe5
00001193: SHL
00001194: DUP2
00001195: MSTORE
00001196: PUSH1 0x04
00001198: ADD
00001199: PUSH2 0x07ef
0000119c: SWAP1
0000119d: PUSH2 0x2799
000011a0: JUMP
000011a1: JUMPDEST
000011a2: PUSH1 0x0b
000011a4: DUP1
000011a5: SLOAD
000011a6: PUSH1 0x01
000011a8: PUSH1 0x01
000011aa: PUSH1 0xa0
000011ac: SHL
000011ad: SUB
000011ae: NOT
000011af: AND
000011b0: PUSH1 0x01
000011b2: PUSH1 0x01
000011b4: PUSH1 0xa0
000011b6: SHL
000011b7: SUB
000011b8: DUP5
000011b9: AND
000011ba: OR
000011bb: SWAP1
000011bc: SSTORE
000011bd: PUSH1 0x05
000011bf: SLOAD
000011c0: PUSH2 0x11c9
000011c3: SWAP1
000011c4: TIMESTAMP
000011c5: PUSH2 0x2856
000011c8: JUMP
000011c9: JUMPDEST
000011ca: PUSH1 0x0c
000011cc: DUP2
000011cd: SWAP1
000011ce: SSTORE
000011cf: PUSH1 0x0b
000011d1: SLOAD
000011d2: PUSH1 0x08
000011d4: SLOAD
000011d5: PUSH1 0x40
000011d7: MLOAD
000011d8: PUSH1 0x01
000011da: PUSH1 0x01
000011dc: PUSH1 0xa0
000011de: SHL
000011df: SUB
000011e0: SWAP3
000011e1: DUP4
000011e2: AND
000011e3: SWAP3
000011e4: SWAP1
000011e5: SWAP2
000011e6: AND
000011e7: SWAP1
000011e8: PUSH32 0x5c364079e7102c27c608f9b237c735a1b7bfa0b67f27c2ad26bad447bf965cac
00001209: SWAP1
0000120a: PUSH1 0x00
0000120c: SWAP1
0000120d: LOG4
0000120e: POP
0000120f: PUSH1 0x01
00001211: SWAP2
00001212: SWAP1
00001213: POP
00001214: JUMP
00001215: JUMPDEST
00001216: PUSH1 0x04
00001218: SLOAD
00001219: PUSH1 0x00
0000121b: SWAP1
0000121c: PUSH2 0x0100
0000121f: SWAP1
00001220: DIV
00001221: PUSH1 0xff
00001223: AND
00001224: ISZERO
00001225: PUSH2 0x1270
00001228: JUMPI
00001229: PUSH1 0x40
0000122b: MLOAD
0000122c: PUSH3 0x461bcd
00001230: PUSH1 0xe5
00001232: SHL
00001233: DUP2
00001234: MSTORE
00001235: PUSH1 0x20
00001237: PUSH1 0x04
00001239: DUP3
0000123a: ADD
0000123b: MSTORE
0000123c: PUSH1 0x18
0000123e: PUSH1 0x24
00001240: DUP3
00001241: ADD
00001242: MSTORE
00001243: PUSH32 0x416e7973776170563445524332303a206f6e6c79417574680000000000000000
00001264: PUSH1 0x44
00001266: DUP3
00001267: ADD
00001268: MSTORE
00001269: PUSH1 0x64
0000126b: ADD
0000126c: PUSH2 0x07ef
0000126f: JUMP
00001270: JUMPDEST
00001271: PUSH1 0x01
00001273: PUSH1 0x01
00001275: PUSH1 0xa0
00001277: SHL
00001278: SUB
00001279: DUP3
0000127a: AND
0000127b: PUSH2 0x1296
0000127e: JUMPI
0000127f: PUSH1 0x40
00001281: MLOAD
00001282: PUSH3 0x461bcd
00001286: PUSH1 0xe5
00001288: SHL
00001289: DUP2
0000128a: MSTORE
0000128b: PUSH1 0x04
0000128d: ADD
0000128e: PUSH2 0x07ef
00001291: SWAP1
00001292: PUSH2 0x2799
00001295: JUMP
00001296: JUMPDEST
00001297: PUSH2 0x12a0
0000129a: CALLER
0000129b: DUP5
0000129c: PUSH2 0x1f75
0000129f: JUMP
000012a0: JUMPDEST
000012a1: PUSH1 0x40
000012a3: MLOAD
000012a4: DUP4
000012a5: DUP2
000012a6: MSTORE
000012a7: PUSH1 0x01
000012a9: PUSH1 0x01
000012ab: PUSH1 0xa0
000012ad: SHL
000012ae: SUB
000012af: DUP4
000012b0: AND
000012b1: SWAP1
000012b2: CALLER
000012b3: SWAP1
000012b4: PUSH32 0x6b616089d04950dc06c45c6dd787d657980543f89651aec47924752c7d16c888
000012d5: SWAP1
000012d6: PUSH1 0x20
000012d8: ADD
000012d9: PUSH2 0x08f6
000012dc: JUMP
000012dd: JUMPDEST
000012de: PUSH2 0x12e5
000012e1: PUSH2 0x1b69
000012e4: JUMP
000012e5: JUMPDEST
000012e6: PUSH1 0x01
000012e8: PUSH1 0x01
000012ea: PUSH1 0xa0
000012ec: SHL
000012ed: SUB
000012ee: AND
000012ef: CALLER
000012f0: PUSH1 0x01
000012f2: PUSH1 0x01
000012f4: PUSH1 0xa0
000012f6: SHL
000012f7: SUB
000012f8: AND
000012f9: EQ
000012fa: PUSH2 0x1315
000012fd: JUMPI
000012fe: PUSH1 0x40
00001300: MLOAD
00001301: PUSH3 0x461bcd
00001305: PUSH1 0xe5
00001307: SHL
00001308: DUP2
00001309: MSTORE
0000130a: PUSH1 0x04
0000130c: ADD
0000130d: PUSH2 0x07ef
00001310: SWAP1
00001311: PUSH2 0x2762
00001314: JUMP
00001315: JUMPDEST
00001316: PUSH1 0x0b
00001318: DUP1
00001319: SLOAD
0000131a: PUSH1 0x01
0000131c: PUSH1 0x01
0000131e: PUSH1 0xa0
00001320: SHL
00001321: SUB
00001322: NOT
00001323: AND
00001324: PUSH1 0x01
00001326: PUSH1 0x01
00001328: PUSH1 0xa0
0000132a: SHL
0000132b: SUB
0000132c: DUP4
0000132d: AND
0000132e: OR
0000132f: SWAP1
00001330: SSTORE
00001331: PUSH1 0x05
00001333: SLOAD
00001334: PUSH2 0x133d
00001337: SWAP1
00001338: TIMESTAMP
00001339: PUSH2 0x2856
0000133c: JUMP
0000133d: JUMPDEST
0000133e: PUSH1 0x0c
00001340: SSTORE
00001341: POP
00001342: JUMP
00001343: JUMPDEST
00001344: PUSH1 0x00
00001346: PUSH2 0x137a
00001349: PUSH1 0x01
0000134b: PUSH1 0x01
0000134d: PUSH1 0xa0
0000134f: SHL
00001350: SUB
00001351: PUSH32 0x0000000000000000000000003b1388eb39c72d2145f092c01067c02bb627d4be
00001372: AND
00001373: CALLER
00001374: ADDRESS
00001375: DUP7
00001376: PUSH2 0x2047
00001379: JUMP
0000137a: JUMPDEST
0000137b: PUSH2 0x0818
0000137e: DUP4
0000137f: DUP4
00001380: PUSH2 0x20b8
00001383: JUMP
00001384: JUMPDEST
00001385: PUSH1 0x40
00001387: MLOAD
00001388: PUSH4 0xd505accf
0000138d: PUSH1 0xe0
0000138f: SHL
00001390: DUP2
00001391: MSTORE
00001392: PUSH1 0x00
00001394: SWAP1
00001395: PUSH1 0x01
00001397: PUSH1 0x01
00001399: PUSH1 0xa0
0000139b: SHL
0000139c: SUB
0000139d: PUSH32 0x0000000000000000000000003b1388eb39c72d2145f092c01067c02bb627d4be
000013be: AND
000013bf: SWAP1
000013c0: PUSH4 0xd505accf
000013c5: SWAP1
000013c6: PUSH2 0x13df
000013c9: SWAP1
000013ca: DUP12
000013cb: SWAP1
000013cc: ADDRESS
000013cd: SWAP1
000013ce: DUP13
000013cf: SWAP1
000013d0: DUP13
000013d1: SWAP1
000013d2: DUP13
000013d3: SWAP1
000013d4: DUP13
000013d5: SWAP1
000013d6: DUP13
000013d7: SWAP1
000013d8: PUSH1 0x04
000013da: ADD
000013db: PUSH2 0x2659
000013de: JUMP
000013df: JUMPDEST
000013e0: PUSH1 0x00
000013e2: PUSH1 0x40
000013e4: MLOAD
000013e5: DUP1
000013e6: DUP4
000013e7: SUB
000013e8: DUP2
000013e9: PUSH1 0x00
000013eb: DUP8
000013ec: DUP1
000013ed: EXTCODESIZE
000013ee: ISZERO
000013ef: DUP1
000013f0: ISZERO
000013f1: PUSH2 0x13f9
000013f4: JUMPI
000013f5: PUSH1 0x00
000013f7: DUP1
000013f8: REVERT
000013f9: JUMPDEST
000013fa: POP
000013fb: GAS
000013fc: CALL
000013fd: ISZERO
000013fe: DUP1
000013ff: ISZERO
00001400: PUSH2 0x140d
00001403: JUMPI
00001404: RETURNDATASIZE
00001405: PUSH1 0x00
00001407: DUP1
00001408: RETURNDATACOPY
00001409: RETURNDATASIZE
0000140a: PUSH1 0x00
0000140c: REVERT
0000140d: JUMPDEST
0000140e: POP
0000140f: PUSH2 0x1448
00001412: SWAP3
00001413: POP
00001414: POP
00001415: PUSH1 0x01
00001417: PUSH1 0x01
00001419: PUSH1 0xa0
0000141b: SHL
0000141c: SUB
0000141d: PUSH32 0x0000000000000000000000003b1388eb39c72d2145f092c01067c02bb627d4be
0000143e: AND
0000143f: SWAP1
00001440: POP
00001441: DUP10
00001442: ADDRESS
00001443: DUP11
00001444: PUSH2 0x2047
00001447: JUMP
00001448: JUMPDEST
00001449: PUSH2 0x1452
0000144c: DUP8
0000144d: DUP4
0000144e: PUSH2 0x20b8
00001451: JUMP
00001452: JUMPDEST
00001453: SWAP9
00001454: SWAP8
00001455: POP
00001456: POP
00001457: POP
00001458: POP
00001459: POP
0000145a: POP
0000145b: POP
0000145c: POP
0000145d: JUMP
0000145e: JUMPDEST
0000145f: PUSH1 0x07
00001461: DUP2
00001462: DUP2
00001463: SLOAD
00001464: DUP2
00001465: LT
00001466: PUSH2 0x146e
00001469: JUMPI
0000146a: PUSH1 0x00
0000146c: DUP1
0000146d: REVERT
0000146e: JUMPDEST
0000146f: PUSH1 0x00
00001471: SWAP2
00001472: DUP3
00001473: MSTORE
00001474: PUSH1 0x20
00001476: SWAP1
00001477: SWAP2
00001478: KECCAK256
00001479: ADD
0000147a: SLOAD
0000147b: PUSH1 0x01
0000147d: PUSH1 0x01
0000147f: PUSH1 0xa0
00001481: SHL
00001482: SUB
00001483: AND
00001484: SWAP1
00001485: POP
00001486: DUP2
00001487: JUMP
00001488: JUMPDEST
00001489: PUSH1 0x00
0000148b: PUSH2 0x0cbd
0000148e: PUSH2 0x1b69
00001491: JUMP
00001492: JUMPDEST
00001493: PUSH1 0x01
00001495: DUP1
00001496: SLOAD
00001497: PUSH2 0x082c
0000149a: SWAP1
0000149b: PUSH2 0x28b1
0000149e: JUMP
0000149f: JUMPDEST
000014a0: CALLER
000014a1: PUSH1 0x00
000014a3: SWAP1
000014a4: DUP2
000014a5: MSTORE
000014a6: PUSH1 0x06
000014a8: PUSH1 0x20
000014aa: MSTORE
000014ab: PUSH1 0x40
000014ad: DUP2
000014ae: KECCAK256
000014af: SLOAD
000014b0: PUSH1 0xff
000014b2: AND
000014b3: PUSH2 0x14ce
000014b6: JUMPI
000014b7: PUSH1 0x40
000014b9: MLOAD
000014ba: PUSH3 0x461bcd
000014be: PUSH1 0xe5
000014c0: SHL
000014c1: DUP2
000014c2: MSTORE
000014c3: PUSH1 0x04
000014c5: ADD
000014c6: PUSH2 0x07ef
000014c9: SWAP1
000014ca: PUSH2 0x281f
000014cd: JUMP
000014ce: JUMPDEST
000014cf: PUSH1 0x01
000014d1: PUSH1 0x01
000014d3: PUSH1 0xa0
000014d5: SHL
000014d6: SUB
000014d7: DUP4
000014d8: AND
000014d9: PUSH2 0x14f4
000014dc: JUMPI
000014dd: PUSH1 0x40
000014df: MLOAD
000014e0: PUSH3 0x461bcd
000014e4: PUSH1 0xe5
000014e6: SHL
000014e7: DUP2
000014e8: MSTORE
000014e9: PUSH1 0x04
000014eb: ADD
000014ec: PUSH2 0x07ef
000014ef: SWAP1
000014f0: PUSH2 0x2799
000014f3: JUMP
000014f4: JUMPDEST
000014f5: PUSH2 0x0e54
000014f8: DUP4
000014f9: DUP4
000014fa: PUSH2 0x1f75
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x60
00001501: PUSH1 0x07
00001503: DUP1
00001504: SLOAD
00001505: DUP1
00001506: PUSH1 0x20
00001508: MUL
00001509: PUSH1 0x20
0000150b: ADD
0000150c: PUSH1 0x40
0000150e: MLOAD
0000150f: SWAP1
00001510: DUP2
00001511: ADD
00001512: PUSH1 0x40
00001514: MSTORE
00001515: DUP1
00001516: SWAP3
00001517: SWAP2
00001518: SWAP1
00001519: DUP2
0000151a: DUP2
0000151b: MSTORE
0000151c: PUSH1 0x20
0000151e: ADD
0000151f: DUP3
00001520: DUP1
00001521: SLOAD
00001522: DUP1
00001523: ISZERO
00001524: PUSH2 0x1556
00001527: JUMPI
00001528: PUSH1 0x20
0000152a: MUL
0000152b: DUP3
0000152c: ADD
0000152d: SWAP2
0000152e: SWAP1
0000152f: PUSH1 0x00
00001531: MSTORE
00001532: PUSH1 0x20
00001534: PUSH1 0x00
00001536: KECCAK256
00001537: SWAP1
00001538: JUMPDEST
00001539: DUP2
0000153a: SLOAD
0000153b: PUSH1 0x01
0000153d: PUSH1 0x01
0000153f: PUSH1 0xa0
00001541: SHL
00001542: SUB
00001543: AND
00001544: DUP2
00001545: MSTORE
00001546: PUSH1 0x01
00001548: SWAP1
00001549: SWAP2
0000154a: ADD
0000154b: SWAP1
0000154c: PUSH1 0x20
0000154e: ADD
0000154f: DUP1
00001550: DUP4
00001551: GT
00001552: PUSH2 0x1538
00001555: JUMPI
00001556: JUMPDEST
00001557: POP
00001558: POP
00001559: POP
0000155a: POP
0000155b: POP
0000155c: SWAP1
0000155d: POP
0000155e: SWAP1
0000155f: JUMP
00001560: JUMPDEST
00001561: PUSH1 0x00
00001563: PUSH1 0x01
00001565: PUSH1 0x01
00001567: PUSH1 0xa0
00001569: SHL
0000156a: SUB
0000156b: DUP4
0000156c: AND
0000156d: ISZERO
0000156e: ISZERO
0000156f: DUP1
00001570: PUSH2 0x1582
00001573: JUMPI
00001574: POP
00001575: PUSH1 0x01
00001577: PUSH1 0x01
00001579: PUSH1 0xa0
0000157b: SHL
0000157c: SUB
0000157d: DUP4
0000157e: AND
0000157f: ADDRESS
00001580: EQ
00001581: ISZERO
00001582: JUMPDEST
00001583: PUSH2 0x158b
00001586: JUMPI
00001587: PUSH1 0x00
00001589: DUP1
0000158a: REVERT
0000158b: JUMPDEST
0000158c: CALLER
0000158d: PUSH1 0x00
0000158f: SWAP1
00001590: DUP2
00001591: MSTORE
00001592: PUSH1 0x02
00001594: PUSH1 0x20
00001596: MSTORE
00001597: PUSH1 0x40
00001599: SWAP1
0000159a: KECCAK256
0000159b: SLOAD
0000159c: DUP3
0000159d: DUP2
0000159e: LT
0000159f: ISZERO
000015a0: PUSH2 0x15bb
000015a3: JUMPI
000015a4: PUSH1 0x40
000015a6: MLOAD
000015a7: PUSH3 0x461bcd
000015ab: PUSH1 0xe5
000015ad: SHL
000015ae: DUP2
000015af: MSTORE
000015b0: PUSH1 0x04
000015b2: ADD
000015b3: PUSH2 0x07ef
000015b6: SWAP1
000015b7: PUSH2 0x27d0
000015ba: JUMP
000015bb: JUMPDEST
000015bc: PUSH2 0x15c5
000015bf: DUP4
000015c0: DUP3
000015c1: PUSH2 0x286e
000015c4: JUMP
000015c5: JUMPDEST
000015c6: CALLER
000015c7: PUSH1 0x00
000015c9: SWAP1
000015ca: DUP2
000015cb: MSTORE
000015cc: PUSH1 0x02
000015ce: PUSH1 0x20
000015d0: MSTORE
000015d1: PUSH1 0x40
000015d3: DUP1
000015d4: DUP3
000015d5: KECCAK256
000015d6: SWAP3
000015d7: SWAP1
000015d8: SWAP3
000015d9: SSTORE
000015da: PUSH1 0x01
000015dc: PUSH1 0x01
000015de: PUSH1 0xa0
000015e0: SHL
000015e1: SUB
000015e2: DUP7
000015e3: AND
000015e4: DUP2
000015e5: MSTORE
000015e6: SWAP1
000015e7: DUP2
000015e8: KECCAK256
000015e9: DUP1
000015ea: SLOAD
000015eb: DUP6
000015ec: SWAP3
000015ed: SWAP1
000015ee: PUSH2 0x15f8
000015f1: SWAP1
000015f2: DUP5
000015f3: SWAP1
000015f4: PUSH2 0x2856
000015f7: JUMP
000015f8: JUMPDEST
000015f9: SWAP1
000015fa: SWAP2
000015fb: SSTORE
000015fc: POP
000015fd: POP
000015fe: PUSH1 0x40
00001600: MLOAD
00001601: DUP4
00001602: DUP2
00001603: MSTORE
00001604: PUSH1 0x01
00001606: PUSH1 0x01
00001608: PUSH1 0xa0
0000160a: SHL
0000160b: SUB
0000160c: DUP6
0000160d: AND
0000160e: SWAP1
0000160f: CALLER
00001610: SWAP1
00001611: PUSH1 0x00
00001613: DUP1
00001614: MLOAD
00001615: PUSH1 0x20
00001617: PUSH2 0x292f
0000161a: DUP4
0000161b: CODECOPY
0000161c: DUP2
0000161d: MLOAD
0000161e: SWAP2
0000161f: MSTORE
00001620: SWAP1
00001621: PUSH1 0x20
00001623: ADD
00001624: JUMPDEST
00001625: PUSH1 0x40
00001627: MLOAD
00001628: DUP1
00001629: SWAP2
0000162a: SUB
0000162b: SWAP1
0000162c: LOG3
0000162d: POP
0000162e: PUSH1 0x01
00001630: SWAP4
00001631: SWAP3
00001632: POP
00001633: POP
00001634: POP
00001635: JUMP
00001636: JUMPDEST
00001637: PUSH1 0x00
00001639: PUSH2 0x166d
0000163c: PUSH1 0x01
0000163e: PUSH1 0x01
00001640: PUSH1 0xa0
00001642: SHL
00001643: SUB
00001644: PUSH32 0x0000000000000000000000003b1388eb39c72d2145f092c01067c02bb627d4be
00001665: AND
00001666: CALLER
00001667: ADDRESS
00001668: DUP6
00001669: PUSH2 0x2047
0000166c: JUMP
0000166d: JUMPDEST
0000166e: PUSH2 0x0bc2
00001671: DUP3
00001672: CALLER
00001673: PUSH2 0x20b8
00001676: JUMP
00001677: JUMPDEST
00001678: PUSH1 0x00
0000167a: PUSH2 0x1681
0000167d: PUSH2 0x1b69
00001680: JUMP
00001681: JUMPDEST
00001682: PUSH1 0x01
00001684: PUSH1 0x01
00001686: PUSH1 0xa0
00001688: SHL
00001689: SUB
0000168a: AND
0000168b: CALLER
0000168c: PUSH1 0x01
0000168e: PUSH1 0x01
00001690: PUSH1 0xa0
00001692: SHL
00001693: SUB
00001694: AND
00001695: EQ
00001696: PUSH2 0x137a
00001699: JUMPI
0000169a: PUSH1 0x40
0000169c: MLOAD
0000169d: PUSH3 0x461bcd
000016a1: PUSH1 0xe5
000016a3: SHL
000016a4: DUP2
000016a5: MSTORE
000016a6: PUSH1 0x04
000016a8: ADD
000016a9: PUSH2 0x07ef
000016ac: SWAP1
000016ad: PUSH2 0x2762
000016b0: JUMP
000016b1: JUMPDEST
000016b2: PUSH2 0x16b9
000016b5: PUSH2 0x1b69
000016b8: JUMP
000016b9: JUMPDEST
000016ba: PUSH1 0x01
000016bc: PUSH1 0x01
000016be: PUSH1 0xa0
000016c0: SHL
000016c1: SUB
000016c2: AND
000016c3: CALLER
000016c4: PUSH1 0x01
000016c6: PUSH1 0x01
000016c8: PUSH1 0xa0
000016ca: SHL
000016cb: SUB
000016cc: AND
000016cd: EQ
000016ce: PUSH2 0x16e9
000016d1: JUMPI
000016d2: PUSH1 0x40
000016d4: MLOAD
000016d5: PUSH3 0x461bcd
000016d9: PUSH1 0xe5
000016db: SHL
000016dc: DUP2
000016dd: MSTORE
000016de: PUSH1 0x04
000016e0: ADD
000016e1: PUSH2 0x07ef
000016e4: SWAP1
000016e5: PUSH2 0x2762
000016e8: JUMP
000016e9: JUMPDEST
000016ea: PUSH1 0x04
000016ec: DUP1
000016ed: SLOAD
000016ee: SWAP2
000016ef: ISZERO
000016f0: ISZERO
000016f1: PUSH2 0x0100
000016f4: MUL
000016f5: PUSH2 0xff00
000016f8: NOT
000016f9: SWAP1
000016fa: SWAP3
000016fb: AND
000016fc: SWAP2
000016fd: SWAP1
000016fe: SWAP2
000016ff: OR
00001700: SWAP1
00001701: SSTORE
00001702: JUMP
00001703: JUMPDEST
00001704: CALLER
00001705: PUSH1 0x00
00001707: DUP2
00001708: DUP2
00001709: MSTORE
0000170a: PUSH1 0x10
0000170c: PUSH1 0x20
0000170e: SWAP1
0000170f: DUP2
00001710: MSTORE
00001711: PUSH1 0x40
00001713: DUP1
00001714: DUP4
00001715: KECCAK256
00001716: PUSH1 0x01
00001718: PUSH1 0x01
0000171a: PUSH1 0xa0
0000171c: SHL
0000171d: SUB
0000171e: DUP10
0000171f: AND
00001720: DUP1
00001721: DUP6
00001722: MSTORE
00001723: SWAP3
00001724: MSTORE
00001725: DUP1
00001726: DUP4
00001727: KECCAK256
00001728: DUP8
00001729: SWAP1
0000172a: SSTORE
0000172b: MLOAD
0000172c: SWAP2
0000172d: SWAP3
0000172e: SWAP1
0000172f: SWAP2
00001730: PUSH1 0x00
00001732: DUP1
00001733: MLOAD
00001734: PUSH1 0x20
00001736: PUSH2 0x294f
00001739: DUP4
0000173a: CODECOPY
0000173b: DUP2
0000173c: MLOAD
0000173d: SWAP2
0000173e: MSTORE
0000173f: SWAP1
00001740: PUSH2 0x174c
00001743: SWAP1
00001744: DUP9
00001745: DUP2
00001746: MSTORE
00001747: PUSH1 0x20
00001749: ADD
0000174a: SWAP1
0000174b: JUMP
0000174c: JUMPDEST
0000174d: PUSH1 0x40
0000174f: MLOAD
00001750: DUP1
00001751: SWAP2
00001752: SUB
00001753: SWAP1
00001754: LOG3
00001755: PUSH1 0x40
00001757: MLOAD
00001758: PUSH3 0xba451f
0000175c: PUSH1 0xe0
0000175e: SHL
0000175f: DUP2
00001760: MSTORE
00001761: PUSH1 0x01
00001763: PUSH1 0x01
00001765: PUSH1 0xa0
00001767: SHL
00001768: SUB
00001769: DUP7
0000176a: AND
0000176b: SWAP1
0000176c: PUSH3 0xba451f
00001770: SWAP1
00001771: PUSH2 0x1784
00001774: SWAP1
00001775: CALLER
00001776: SWAP1
00001777: DUP9
00001778: SWAP1
00001779: DUP9
0000177a: SWAP1
0000177b: DUP9
0000177c: SWAP1
0000177d: PUSH1 0x04
0000177f: ADD
00001780: PUSH2 0x269a
00001783: JUMP
00001784: JUMPDEST
00001785: PUSH1 0x20
00001787: PUSH1 0x40
00001789: MLOAD
0000178a: DUP1
0000178b: DUP4
0000178c: SUB
0000178d: DUP2
0000178e: PUSH1 0x00
00001790: DUP8
00001791: DUP1
00001792: EXTCODESIZE
00001793: ISZERO
00001794: DUP1
00001795: ISZERO
00001796: PUSH2 0x179e
00001799: JUMPI
0000179a: PUSH1 0x00
0000179c: DUP1
0000179d: REVERT
0000179e: JUMPDEST
0000179f: POP
000017a0: GAS
000017a1: CALL
000017a2: ISZERO
000017a3: DUP1
000017a4: ISZERO
000017a5: PUSH2 0x17b2
000017a8: JUMPI
000017a9: RETURNDATASIZE
000017aa: PUSH1 0x00
000017ac: DUP1
000017ad: RETURNDATACOPY
000017ae: RETURNDATASIZE
000017af: PUSH1 0x00
000017b1: REVERT
000017b2: JUMPDEST
000017b3: POP
000017b4: POP
000017b5: POP
000017b6: POP
000017b7: PUSH1 0x40
000017b9: MLOAD
000017ba: RETURNDATASIZE
000017bb: PUSH1 0x1f
000017bd: NOT
000017be: PUSH1 0x1f
000017c0: DUP3
000017c1: ADD
000017c2: AND
000017c3: DUP3
000017c4: ADD
000017c5: DUP1
000017c6: PUSH1 0x40
000017c8: MSTORE
000017c9: POP
000017ca: DUP2
000017cb: ADD
000017cc: SWAP1
000017cd: PUSH2 0x17d6
000017d0: SWAP2
000017d1: SWAP1
000017d2: PUSH2 0x25ab
000017d5: JUMP
000017d6: JUMPDEST
000017d7: SWAP6
000017d8: SWAP5
000017d9: POP
000017da: POP
000017db: POP
000017dc: POP
000017dd: POP
000017de: JUMP
000017df: JUMPDEST
000017e0: PUSH2 0x17e7
000017e3: PUSH2 0x1b69
000017e6: JUMP
000017e7: JUMPDEST
000017e8: PUSH1 0x01
000017ea: PUSH1 0x01
000017ec: PUSH1 0xa0
000017ee: SHL
000017ef: SUB
000017f0: AND
000017f1: CALLER
000017f2: PUSH1 0x01
000017f4: PUSH1 0x01
000017f6: PUSH1 0xa0
000017f8: SHL
000017f9: SUB
000017fa: AND
000017fb: EQ
000017fc: PUSH2 0x1817
000017ff: JUMPI
00001800: PUSH1 0x40
00001802: MLOAD
00001803: PUSH3 0x461bcd
00001807: PUSH1 0xe5
00001809: SHL
0000180a: DUP2
0000180b: MSTORE
0000180c: PUSH1 0x04
0000180e: ADD
0000180f: PUSH2 0x07ef
00001812: SWAP1
00001813: PUSH2 0x2762
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH1 0x01
0000181a: PUSH1 0x01
0000181c: PUSH1 0xa0
0000181e: SHL
0000181f: SUB
00001820: AND
00001821: PUSH1 0x00
00001823: SWAP1
00001824: DUP2
00001825: MSTORE
00001826: PUSH1 0x06
00001828: PUSH1 0x20
0000182a: MSTORE
0000182b: PUSH1 0x40
0000182d: SWAP1
0000182e: KECCAK256
0000182f: DUP1
00001830: SLOAD
00001831: PUSH1 0xff
00001833: NOT
00001834: AND
00001835: SWAP1
00001836: SSTORE
00001837: JUMP
00001838: JUMPDEST
00001839: PUSH1 0x40
0000183b: MLOAD
0000183c: PUSH4 0x70a08231
00001841: PUSH1 0xe0
00001843: SHL
00001844: DUP2
00001845: MSTORE
00001846: CALLER
00001847: PUSH1 0x04
00001849: DUP3
0000184a: ADD
0000184b: MSTORE
0000184c: PUSH1 0x00
0000184e: SWAP1
0000184f: DUP2
00001850: SWAP1
00001851: PUSH1 0x01
00001853: PUSH1 0x01
00001855: PUSH1 0xa0
00001857: SHL
00001858: SUB
00001859: PUSH32 0x0000000000000000000000003b1388eb39c72d2145f092c01067c02bb627d4be
0000187a: AND
0000187b: SWAP1
0000187c: PUSH4 0x70a08231
00001881: SWAP1
00001882: PUSH1 0x24
00001884: ADD
00001885: PUSH1 0x20
00001887: PUSH1 0x40
00001889: MLOAD
0000188a: DUP1
0000188b: DUP4
0000188c: SUB
0000188d: DUP2
0000188e: DUP7
0000188f: DUP1
00001890: EXTCODESIZE
00001891: ISZERO
00001892: DUP1
00001893: ISZERO
00001894: PUSH2 0x189c
00001897: JUMPI
00001898: PUSH1 0x00
0000189a: DUP1
0000189b: REVERT
0000189c: JUMPDEST
0000189d: POP
0000189e: GAS
0000189f: STATICCALL
000018a0: ISZERO
000018a1: DUP1
000018a2: ISZERO
000018a3: PUSH2 0x18b0
000018a6: JUMPI
000018a7: RETURNDATASIZE
000018a8: PUSH1 0x00
000018aa: DUP1
000018ab: RETURNDATACOPY
000018ac: RETURNDATASIZE
000018ad: PUSH1 0x00
000018af: REVERT
000018b0: JUMPDEST
000018b1: POP
000018b2: POP
000018b3: POP
000018b4: POP
000018b5: PUSH1 0x40
000018b7: MLOAD
000018b8: RETURNDATASIZE
000018b9: PUSH1 0x1f
000018bb: NOT
000018bc: PUSH1 0x1f
000018be: DUP3
000018bf: ADD
000018c0: AND
000018c1: DUP3
000018c2: ADD
000018c3: DUP1
000018c4: PUSH1 0x40
000018c6: MSTORE
000018c7: POP
000018c8: DUP2
000018c9: ADD
000018ca: SWAP1
000018cb: PUSH2 0x18d4
000018ce: SWAP2
000018cf: SWAP1
000018d0: PUSH2 0x2603
000018d3: JUMP
000018d4: JUMPDEST
000018d5: SWAP1
000018d6: POP
000018d7: PUSH2 0x190b
000018da: PUSH1 0x01
000018dc: PUSH1 0x01
000018de: PUSH1 0xa0
000018e0: SHL
000018e1: SUB
000018e2: PUSH32 0x0000000000000000000000003b1388eb39c72d2145f092c01067c02bb627d4be
00001903: AND
00001904: CALLER
00001905: ADDRESS
00001906: DUP5
00001907: PUSH2 0x2047
0000190a: JUMP
0000190b: JUMPDEST
0000190c: PUSH2 0x1915
0000190f: DUP2
00001910: CALLER
00001911: PUSH2 0x20b8
00001914: JUMP
00001915: JUMPDEST
00001916: SWAP2
00001917: POP
00001918: POP
00001919: SWAP1
0000191a: JUMP
0000191b: JUMPDEST
0000191c: DUP4
0000191d: TIMESTAMP
0000191e: GT
0000191f: ISZERO
00001920: PUSH2 0x196b
00001923: JUMPI
00001924: PUSH1 0x40
00001926: MLOAD
00001927: PUSH3 0x461bcd
0000192b: PUSH1 0xe5
0000192d: SHL
0000192e: DUP2
0000192f: MSTORE
00001930: PUSH1 0x20
00001932: PUSH1 0x04
00001934: DUP3
00001935: ADD
00001936: MSTORE
00001937: PUSH1 0x1e
00001939: PUSH1 0x24
0000193b: DUP3
0000193c: ADD
0000193d: MSTORE
0000193e: PUSH32 0x416e7973776170563345524332303a2045787069726564207065726d69740000
0000195f: PUSH1 0x44
00001961: DUP3
00001962: ADD
00001963: MSTORE
00001964: PUSH1 0x64
00001966: ADD
00001967: PUSH2 0x07ef
0000196a: JUMP
0000196b: JUMPDEST
0000196c: PUSH1 0x01
0000196e: PUSH1 0x01
00001970: PUSH1 0xa0
00001972: SHL
00001973: SUB
00001974: DUP8
00001975: AND
00001976: PUSH1 0x00
00001978: SWAP1
00001979: DUP2
0000197a: MSTORE
0000197b: PUSH1 0x0f
0000197d: PUSH1 0x20
0000197f: MSTORE
00001980: PUSH1 0x40
00001982: DUP2
00001983: KECCAK256
00001984: DUP1
00001985: SLOAD
00001986: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
000019a7: SWAP2
000019a8: DUP11
000019a9: SWAP2
000019aa: DUP11
000019ab: SWAP2
000019ac: DUP11
000019ad: SWAP2
000019ae: SWAP1
000019af: DUP7
000019b0: PUSH2 0x19b8
000019b3: DUP4
000019b4: PUSH2 0x28ec
000019b7: JUMP
000019b8: JUMPDEST
000019b9: SWAP1
000019ba: SWAP2
000019bb: SSTORE
000019bc: POP
000019bd: PUSH1 0x40
000019bf: DUP1
000019c0: MLOAD
000019c1: PUSH1 0x20
000019c3: DUP2
000019c4: ADD
000019c5: SWAP7
000019c6: SWAP1
000019c7: SWAP7
000019c8: MSTORE
000019c9: PUSH1 0x01
000019cb: PUSH1 0x01
000019cd: PUSH1 0xa0
000019cf: SHL
000019d0: SUB
000019d1: SWAP5
000019d2: DUP6
000019d3: AND
000019d4: SWAP1
000019d5: DUP7
000019d6: ADD
000019d7: MSTORE
000019d8: SWAP3
000019d9: SWAP1
000019da: SWAP2
000019db: AND
000019dc: PUSH1 0x60
000019de: DUP5
000019df: ADD
000019e0: MSTORE
000019e1: PUSH1 0x80
000019e3: DUP4
000019e4: ADD
000019e5: MSTORE
000019e6: PUSH1 0xa0
000019e8: DUP3
000019e9: ADD
000019ea: MSTORE
000019eb: PUSH1 0xc0
000019ed: DUP2
000019ee: ADD
000019ef: DUP7
000019f0: SWAP1
000019f1: MSTORE
000019f2: PUSH1 0xe0
000019f4: ADD
000019f5: PUSH1 0x40
000019f7: MLOAD
000019f8: PUSH1 0x20
000019fa: DUP2
000019fb: DUP4
000019fc: SUB
000019fd: SUB
000019fe: DUP2
000019ff: MSTORE
00001a00: SWAP1
00001a01: PUSH1 0x40
00001a03: MSTORE
00001a04: DUP1
00001a05: MLOAD
00001a06: SWAP1
00001a07: PUSH1 0x20
00001a09: ADD
00001a0a: KECCAK256
00001a0b: SWAP1
00001a0c: POP
00001a0d: PUSH2 0x1a19
00001a10: DUP9
00001a11: DUP3
00001a12: DUP7
00001a13: DUP7
00001a14: DUP7
00001a15: PUSH2 0x1dca
00001a18: JUMP
00001a19: JUMPDEST
00001a1a: DUP1
00001a1b: PUSH2 0x1a2c
00001a1e: JUMPI
00001a1f: POP
00001a20: PUSH2 0x1a2c
00001a23: DUP9
00001a24: DUP3
00001a25: DUP7
00001a26: DUP7
00001a27: DUP7
00001a28: PUSH2 0x1eba
00001a2b: JUMP
00001a2c: JUMPDEST
00001a2d: PUSH2 0x1a35
00001a30: JUMPI
00001a31: PUSH1 0x00
00001a33: DUP1
00001a34: REVERT
00001a35: JUMPDEST
00001a36: PUSH1 0x01
00001a38: PUSH1 0x01
00001a3a: PUSH1 0xa0
00001a3c: SHL
00001a3d: SUB
00001a3e: DUP9
00001a3f: DUP2
00001a40: AND
00001a41: PUSH1 0x00
00001a43: DUP2
00001a44: DUP2
00001a45: MSTORE
00001a46: PUSH1 0x10
00001a48: PUSH1 0x20
00001a4a: SWAP1
00001a4b: DUP2
00001a4c: MSTORE
00001a4d: PUSH1 0x40
00001a4f: DUP1
00001a50: DUP4
00001a51: KECCAK256
00001a52: SWAP5
00001a53: DUP13
00001a54: AND
00001a55: DUP1
00001a56: DUP5
00001a57: MSTORE
00001a58: SWAP5
00001a59: DUP3
00001a5a: MSTORE
00001a5b: SWAP2
00001a5c: DUP3
00001a5d: SWAP1
00001a5e: KECCAK256
00001a5f: DUP11
00001a60: SWAP1
00001a61: SSTORE
00001a62: SWAP1
00001a63: MLOAD
00001a64: DUP10
00001a65: DUP2
00001a66: MSTORE
00001a67: PUSH1 0x00
00001a69: DUP1
00001a6a: MLOAD
00001a6b: PUSH1 0x20
00001a6d: PUSH2 0x294f
00001a70: DUP4
00001a71: CODECOPY
00001a72: DUP2
00001a73: MLOAD
00001a74: SWAP2
00001a75: MSTORE
00001a76: SWAP2
00001a77: ADD
00001a78: PUSH1 0x40
00001a7a: MLOAD
00001a7b: DUP1
00001a7c: SWAP2
00001a7d: SUB
00001a7e: SWAP1
00001a7f: LOG3
00001a80: POP
00001a81: POP
00001a82: POP
00001a83: POP
00001a84: POP
00001a85: POP
00001a86: POP
00001a87: POP
00001a88: JUMP
00001a89: JUMPDEST
00001a8a: PUSH2 0x1a91
00001a8d: PUSH2 0x1b69
00001a90: JUMP
00001a91: JUMPDEST
00001a92: PUSH1 0x01
00001a94: PUSH1 0x01
00001a96: PUSH1 0xa0
00001a98: SHL
00001a99: SUB
00001a9a: AND
00001a9b: CALLER
00001a9c: PUSH1 0x01
00001a9e: PUSH1 0x01
00001aa0: PUSH1 0xa0
00001aa2: SHL
00001aa3: SUB
00001aa4: AND
00001aa5: EQ
00001aa6: PUSH2 0x1ac1
00001aa9: JUMPI
00001aaa: PUSH1 0x40
00001aac: MLOAD
00001aad: PUSH3 0x461bcd
00001ab1: PUSH1 0xe5
00001ab3: SHL
00001ab4: DUP2
00001ab5: MSTORE
00001ab6: PUSH1 0x04
00001ab8: ADD
00001ab9: PUSH2 0x07ef
00001abc: SWAP1
00001abd: PUSH2 0x2762
00001ac0: JUMP
00001ac1: JUMPDEST
00001ac2: PUSH1 0x0c
00001ac4: SLOAD
00001ac5: TIMESTAMP
00001ac6: LT
00001ac7: ISZERO
00001ac8: PUSH2 0x1ad0
00001acb: JUMPI
00001acc: PUSH1 0x00
00001ace: DUP1
00001acf: REVERT
00001ad0: JUMPDEST
00001ad1: PUSH1 0x0b
00001ad3: SLOAD
00001ad4: PUSH1 0x08
00001ad6: DUP1
00001ad7: SLOAD
00001ad8: PUSH1 0x01
00001ada: PUSH1 0x01
00001adc: PUSH1 0xa0
00001ade: SHL
00001adf: SUB
00001ae0: NOT
00001ae1: AND
00001ae2: PUSH1 0x01
00001ae4: PUSH1 0x01
00001ae6: PUSH1 0xa0
00001ae8: SHL
00001ae9: SUB
00001aea: SWAP1
00001aeb: SWAP3
00001aec: AND
00001aed: SWAP2
00001aee: SWAP1
00001aef: SWAP2
00001af0: OR
00001af1: SWAP1
00001af2: SSTORE
00001af3: JUMP
00001af4: JUMPDEST
00001af5: CALLER
00001af6: PUSH1 0x00
00001af8: SWAP1
00001af9: DUP2
00001afa: MSTORE
00001afb: PUSH1 0x06
00001afd: PUSH1 0x20
00001aff: MSTORE
00001b00: PUSH1 0x40
00001b02: DUP2
00001b03: KECCAK256
00001b04: SLOAD
00001b05: PUSH1 0xff
00001b07: AND
00001b08: PUSH2 0x1b23
00001b0b: JUMPI
00001b0c: PUSH1 0x40
00001b0e: MLOAD
00001b0f: PUSH3 0x461bcd
00001b13: PUSH1 0xe5
00001b15: SHL
00001b16: DUP2
00001b17: MSTORE
00001b18: PUSH1 0x04
00001b1a: ADD
00001b1b: PUSH2 0x07ef
00001b1e: SWAP1
00001b1f: PUSH2 0x281f
00001b22: JUMP
00001b23: JUMPDEST
00001b24: PUSH2 0x1b2d
00001b27: DUP4
00001b28: DUP4
00001b29: PUSH2 0x1cfc
00001b2c: JUMP
00001b2d: JUMPDEST
00001b2e: DUP3
00001b2f: PUSH1 0x01
00001b31: PUSH1 0x01
00001b33: PUSH1 0xa0
00001b35: SHL
00001b36: SUB
00001b37: AND
00001b38: DUP5
00001b39: PUSH32 0x05d0634fe981be85c22e2942a880821b70095d84e152c3ea3c17a4e4250d9d61
00001b5a: DUP5
00001b5b: PUSH1 0x40
00001b5d: MLOAD
00001b5e: PUSH2 0x1624
00001b61: SWAP2
00001b62: DUP2
00001b63: MSTORE
00001b64: PUSH1 0x20
00001b66: ADD
00001b67: SWAP1
00001b68: JUMP
00001b69: JUMPDEST
00001b6a: PUSH1 0x00
00001b6c: PUSH1 0x0c
00001b6e: SLOAD
00001b6f: TIMESTAMP
00001b70: LT
00001b71: PUSH2 0x1b86
00001b74: JUMPI
00001b75: POP
00001b76: PUSH1 0x0b
00001b78: SLOAD
00001b79: PUSH1 0x01
00001b7b: PUSH1 0x01
00001b7d: PUSH1 0xa0
00001b7f: SHL
00001b80: SUB
00001b81: AND
00001b82: PUSH2 0x09c7
00001b85: JUMP
00001b86: JUMPDEST
00001b87: POP
00001b88: PUSH1 0x08
00001b8a: SLOAD
00001b8b: PUSH1 0x01
00001b8d: PUSH1 0x01
00001b8f: PUSH1 0xa0
00001b91: SHL
00001b92: SUB
00001b93: AND
00001b94: SWAP1
00001b95: JUMP
00001b96: JUMPDEST
00001b97: PUSH1 0x40
00001b99: MLOAD
00001b9a: PUSH4 0x302b14eb
00001b9f: PUSH1 0xe1
00001ba1: SHL
00001ba2: DUP2
00001ba3: MSTORE
00001ba4: PUSH1 0x00
00001ba6: SWAP1
00001ba7: PUSH1 0x01
00001ba9: PUSH1 0x01
00001bab: PUSH1 0xa0
00001bad: SHL
00001bae: SUB
00001baf: PUSH32 0x0000000000000000000000003b1388eb39c72d2145f092c01067c02bb627d4be
00001bd0: AND
00001bd1: SWAP1
00001bd2: PUSH4 0x605629d6
00001bd7: SWAP1
00001bd8: PUSH2 0x1bf1
00001bdb: SWAP1
00001bdc: DUP12
00001bdd: SWAP1
00001bde: ADDRESS
00001bdf: SWAP1
00001be0: DUP13
00001be1: SWAP1
00001be2: DUP13
00001be3: SWAP1
00001be4: DUP13
00001be5: SWAP1
00001be6: DUP13
00001be7: SWAP1
00001be8: DUP13
00001be9: SWAP1
00001bea: PUSH1 0x04
00001bec: ADD
00001bed: PUSH2 0x2659
00001bf0: JUMP
00001bf1: JUMPDEST
00001bf2: PUSH1 0x20
00001bf4: PUSH1 0x40
00001bf6: MLOAD
00001bf7: DUP1
00001bf8: DUP4
00001bf9: SUB
00001bfa: DUP2
00001bfb: PUSH1 0x00
00001bfd: DUP8
00001bfe: DUP1
00001bff: EXTCODESIZE
00001c00: ISZERO
00001c01: DUP1
00001c02: ISZERO
00001c03: PUSH2 0x1c0b
00001c06: JUMPI
00001c07: PUSH1 0x00
00001c09: DUP1
00001c0a: REVERT
00001c0b: JUMPDEST
00001c0c: POP
00001c0d: GAS
00001c0e: CALL
00001c0f: ISZERO
00001c10: DUP1
00001c11: ISZERO
00001c12: PUSH2 0x1c1f
00001c15: JUMPI
00001c16: RETURNDATASIZE
00001c17: PUSH1 0x00
00001c19: DUP1
00001c1a: RETURNDATACOPY
00001c1b: RETURNDATASIZE
00001c1c: PUSH1 0x00
00001c1e: REVERT
00001c1f: JUMPDEST
00001c20: POP
00001c21: POP
00001c22: POP
00001c23: POP
00001c24: PUSH1 0x40
00001c26: MLOAD
00001c27: RETURNDATASIZE
00001c28: PUSH1 0x1f
00001c2a: NOT
00001c2b: PUSH1 0x1f
00001c2d: DUP3
00001c2e: ADD
00001c2f: AND
00001c30: DUP3
00001c31: ADD
00001c32: DUP1
00001c33: PUSH1 0x40
00001c35: MSTORE
00001c36: POP
00001c37: DUP2
00001c38: ADD
00001c39: SWAP1
00001c3a: PUSH2 0x1c43
00001c3d: SWAP2
00001c3e: SWAP1
00001c3f: PUSH2 0x25ab
00001c42: JUMP
00001c43: JUMPDEST
00001c44: POP
00001c45: PUSH2 0x1452
00001c48: DUP8
00001c49: DUP4
00001c4a: PUSH2 0x20b8
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: PUSH2 0x1c56
00001c52: PUSH2 0x1b69
00001c55: JUMP
00001c56: JUMPDEST
00001c57: PUSH1 0x01
00001c59: PUSH1 0x01
00001c5b: PUSH1 0xa0
00001c5d: SHL
00001c5e: SUB
00001c5f: AND
00001c60: CALLER
00001c61: PUSH1 0x01
00001c63: PUSH1 0x01
00001c65: PUSH1 0xa0
00001c67: SHL
00001c68: SUB
00001c69: AND
00001c6a: EQ
00001c6b: PUSH2 0x1c86
00001c6e: JUMPI
00001c6f: PUSH1 0x40
00001c71: MLOAD
00001c72: PUSH3 0x461bcd
00001c76: PUSH1 0xe5
00001c78: SHL
00001c79: DUP2
00001c7a: MSTORE
00001c7b: PUSH1 0x04
00001c7d: ADD
00001c7e: PUSH2 0x07ef
00001c81: SWAP1
00001c82: PUSH2 0x2762
00001c85: JUMP
00001c86: JUMPDEST
00001c87: PUSH1 0x09
00001c89: DUP1
00001c8a: SLOAD
00001c8b: PUSH1 0x01
00001c8d: PUSH1 0x01
00001c8f: PUSH1 0xa0
00001c91: SHL
00001c92: SUB
00001c93: NOT
00001c94: AND
00001c95: PUSH1 0x01
00001c97: PUSH1 0x01
00001c99: PUSH1 0xa0
00001c9b: SHL
00001c9c: SUB
00001c9d: DUP4
00001c9e: AND
00001c9f: OR
00001ca0: SWAP1
00001ca1: SSTORE
00001ca2: PUSH1 0x05
00001ca4: SLOAD
00001ca5: PUSH2 0x1cae
00001ca8: SWAP1
00001ca9: TIMESTAMP
00001caa: PUSH2 0x2856
00001cad: JUMP
00001cae: JUMPDEST
00001caf: PUSH1 0x0a
00001cb1: SSTORE
00001cb2: POP
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: PUSH1 0x00
00001cb7: PUSH2 0x1cc0
00001cba: DUP5
00001cbb: DUP5
00001cbc: PUSH2 0x1f75
00001cbf: JUMP
00001cc0: JUMPDEST
00001cc1: PUSH2 0x1cf4
00001cc4: PUSH1 0x01
00001cc6: PUSH1 0x01
00001cc8: PUSH1 0xa0
00001cca: SHL
00001ccb: SUB
00001ccc: PUSH32 0x0000000000000000000000003b1388eb39c72d2145f092c01067c02bb627d4be
00001ced: AND
00001cee: DUP4
00001cef: DUP6
00001cf0: PUSH2 0x2135
00001cf3: JUMP
00001cf4: JUMPDEST
00001cf5: POP
00001cf6: SWAP1
00001cf7: SWAP3
00001cf8: SWAP2
00001cf9: POP
00001cfa: POP
00001cfb: JUMP
00001cfc: JUMPDEST
00001cfd: PUSH1 0x01
00001cff: PUSH1 0x01
00001d01: PUSH1 0xa0
00001d03: SHL
00001d04: SUB
00001d05: DUP3
00001d06: AND
00001d07: PUSH2 0x1d52
00001d0a: JUMPI
00001d0b: PUSH1 0x40
00001d0d: MLOAD
00001d0e: PUSH3 0x461bcd
00001d12: PUSH1 0xe5
00001d14: SHL
00001d15: DUP2
00001d16: MSTORE
00001d17: PUSH1 0x20
00001d19: PUSH1 0x04
00001d1b: DUP3
00001d1c: ADD
00001d1d: MSTORE
00001d1e: PUSH1 0x1f
00001d20: PUSH1 0x24
00001d22: DUP3
00001d23: ADD
00001d24: MSTORE
00001d25: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001d46: PUSH1 0x44
00001d48: DUP3
00001d49: ADD
00001d4a: MSTORE
00001d4b: PUSH1 0x64
00001d4d: ADD
00001d4e: PUSH2 0x07ef
00001d51: JUMP
00001d52: JUMPDEST
00001d53: DUP1
00001d54: PUSH1 0x03
00001d56: PUSH1 0x00
00001d58: DUP3
00001d59: DUP3
00001d5a: SLOAD
00001d5b: PUSH2 0x1d64
00001d5e: SWAP2
00001d5f: SWAP1
00001d60: PUSH2 0x2856
00001d63: JUMP
00001d64: JUMPDEST
00001d65: SWAP1
00001d66: SWAP2
00001d67: SSTORE
00001d68: POP
00001d69: POP
00001d6a: PUSH1 0x01
00001d6c: PUSH1 0x01
00001d6e: PUSH1 0xa0
00001d70: SHL
00001d71: SUB
00001d72: DUP3
00001d73: AND
00001d74: PUSH1 0x00
00001d76: SWAP1
00001d77: DUP2
00001d78: MSTORE
00001d79: PUSH1 0x02
00001d7b: PUSH1 0x20
00001d7d: MSTORE
00001d7e: PUSH1 0x40
00001d80: DUP2
00001d81: KECCAK256
00001d82: DUP1
00001d83: SLOAD
00001d84: DUP4
00001d85: SWAP3
00001d86: SWAP1
00001d87: PUSH2 0x1d91
00001d8a: SWAP1
00001d8b: DUP5
00001d8c: SWAP1
00001d8d: PUSH2 0x2856
00001d90: JUMP
00001d91: JUMPDEST
00001d92: SWAP1
00001d93: SWAP2
00001d94: SSTORE
00001d95: POP
00001d96: POP
00001d97: PUSH1 0x40
00001d99: MLOAD
00001d9a: DUP2
00001d9b: DUP2
00001d9c: MSTORE
00001d9d: PUSH1 0x01
00001d9f: PUSH1 0x01
00001da1: PUSH1 0xa0
00001da3: SHL
00001da4: SUB
00001da5: DUP4
00001da6: AND
00001da7: SWAP1
00001da8: PUSH1 0x00
00001daa: SWAP1
00001dab: PUSH1 0x00
00001dad: DUP1
00001dae: MLOAD
00001daf: PUSH1 0x20
00001db1: PUSH2 0x292f
00001db4: DUP4
00001db5: CODECOPY
00001db6: DUP2
00001db7: MLOAD
00001db8: SWAP2
00001db9: MSTORE
00001dba: SWAP1
00001dbb: PUSH1 0x20
00001dbd: ADD
00001dbe: JUMPDEST
00001dbf: PUSH1 0x40
00001dc1: MLOAD
00001dc2: DUP1
00001dc3: SWAP2
00001dc4: SUB
00001dc5: SWAP1
00001dc6: LOG3
00001dc7: POP
00001dc8: POP
00001dc9: JUMP
00001dca: JUMPDEST
00001dcb: PUSH1 0x40
00001dcd: MLOAD
00001dce: PUSH2 0x1901
00001dd1: PUSH1 0xf0
00001dd3: SHL
00001dd4: PUSH1 0x20
00001dd6: DUP3
00001dd7: ADD
00001dd8: MSTORE
00001dd9: PUSH32 0xb389e0808efa3378b496a8dc9af8bfa2e58b32e572601ec246ad643fcf58d147
00001dfa: PUSH1 0x22
00001dfc: DUP3
00001dfd: ADD
00001dfe: MSTORE
00001dff: PUSH1 0x42
00001e01: DUP2
00001e02: ADD
00001e03: DUP6
00001e04: SWAP1
00001e05: MSTORE
00001e06: PUSH1 0x00
00001e08: SWAP1
00001e09: DUP2
00001e0a: SWAP1
00001e0b: PUSH1 0x62
00001e0d: ADD
00001e0e: PUSH1 0x40
00001e10: DUP1
00001e11: MLOAD
00001e12: PUSH1 0x1f
00001e14: NOT
00001e15: DUP2
00001e16: DUP5
00001e17: SUB
00001e18: ADD
00001e19: DUP2
00001e1a: MSTORE
00001e1b: DUP3
00001e1c: DUP3
00001e1d: MSTORE
00001e1e: DUP1
00001e1f: MLOAD
00001e20: PUSH1 0x20
00001e22: SWAP2
00001e23: DUP3
00001e24: ADD
00001e25: KECCAK256
00001e26: PUSH1 0x00
00001e28: DUP1
00001e29: DUP6
00001e2a: MSTORE
00001e2b: SWAP2
00001e2c: DUP5
00001e2d: ADD
00001e2e: DUP1
00001e2f: DUP5
00001e30: MSTORE
00001e31: DUP2
00001e32: SWAP1
00001e33: MSTORE
00001e34: PUSH1 0xff
00001e36: DUP10
00001e37: AND
00001e38: SWAP3
00001e39: DUP5
00001e3a: ADD
00001e3b: SWAP3
00001e3c: SWAP1
00001e3d: SWAP3
00001e3e: MSTORE
00001e3f: PUSH1 0x60
00001e41: DUP4
00001e42: ADD
00001e43: DUP8
00001e44: SWAP1
00001e45: MSTORE
00001e46: PUSH1 0x80
00001e48: DUP4
00001e49: ADD
00001e4a: DUP7
00001e4b: SWAP1
00001e4c: MSTORE
00001e4d: SWAP1
00001e4e: SWAP3
00001e4f: POP
00001e50: SWAP1
00001e51: PUSH1 0x01
00001e53: SWAP1
00001e54: PUSH1 0xa0
00001e56: ADD
00001e57: JUMPDEST
00001e58: PUSH1 0x20
00001e5a: PUSH1 0x40
00001e5c: MLOAD
00001e5d: PUSH1 0x20
00001e5f: DUP2
00001e60: SUB
00001e61: SWAP1
00001e62: DUP1
00001e63: DUP5
00001e64: SUB
00001e65: SWAP1
00001e66: DUP6
00001e67: GAS
00001e68: STATICCALL
00001e69: ISZERO
00001e6a: DUP1
00001e6b: ISZERO
00001e6c: PUSH2 0x1e79
00001e6f: JUMPI
00001e70: RETURNDATASIZE
00001e71: PUSH1 0x00
00001e73: DUP1
00001e74: RETURNDATACOPY
00001e75: RETURNDATASIZE
00001e76: PUSH1 0x00
00001e78: REVERT
00001e79: JUMPDEST
00001e7a: POP
00001e7b: POP
00001e7c: PUSH1 0x40
00001e7e: MLOAD
00001e7f: PUSH1 0x1f
00001e81: NOT
00001e82: ADD
00001e83: MLOAD
00001e84: SWAP2
00001e85: POP
00001e86: POP
00001e87: PUSH1 0x01
00001e89: PUSH1 0x01
00001e8b: PUSH1 0xa0
00001e8d: SHL
00001e8e: SUB
00001e8f: DUP2
00001e90: AND
00001e91: ISZERO
00001e92: DUP1
00001e93: ISZERO
00001e94: SWAP1
00001e95: PUSH2 0x1452
00001e98: JUMPI
00001e99: POP
00001e9a: DUP8
00001e9b: PUSH1 0x01
00001e9d: PUSH1 0x01
00001e9f: PUSH1 0xa0
00001ea1: SHL
00001ea2: SUB
00001ea3: AND
00001ea4: DUP2
00001ea5: PUSH1 0x01
00001ea7: PUSH1 0x01
00001ea9: PUSH1 0xa0
00001eab: SHL
00001eac: SUB
00001ead: AND
00001eae: EQ
00001eaf: SWAP9
00001eb0: SWAP8
00001eb1: POP
00001eb2: POP
00001eb3: POP
00001eb4: POP
00001eb5: POP
00001eb6: POP
00001eb7: POP
00001eb8: POP
00001eb9: JUMP
00001eba: JUMPDEST
00001ebb: PUSH1 0x00
00001ebd: DUP1
00001ebe: PUSH2 0x1f3a
00001ec1: DUP7
00001ec2: PUSH1 0x40
00001ec4: MLOAD
00001ec5: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00001ee6: PUSH1 0x20
00001ee8: DUP3
00001ee9: ADD
00001eea: MSTORE
00001eeb: PUSH32 0xb389e0808efa3378b496a8dc9af8bfa2e58b32e572601ec246ad643fcf58d147
00001f0c: PUSH1 0x3c
00001f0e: DUP3
00001f0f: ADD
00001f10: MSTORE
00001f11: PUSH1 0x5c
00001f13: DUP2
00001f14: ADD
00001f15: DUP3
00001f16: SWAP1
00001f17: MSTORE
00001f18: PUSH1 0x00
00001f1a: SWAP1
00001f1b: PUSH1 0x7c
00001f1d: ADD
00001f1e: PUSH1 0x40
00001f20: MLOAD
00001f21: PUSH1 0x20
00001f23: DUP2
00001f24: DUP4
00001f25: SUB
00001f26: SUB
00001f27: DUP2
00001f28: MSTORE
00001f29: SWAP1
00001f2a: PUSH1 0x40
00001f2c: MSTORE
00001f2d: DUP1
00001f2e: MLOAD
00001f2f: SWAP1
00001f30: PUSH1 0x20
00001f32: ADD
00001f33: KECCAK256
00001f34: SWAP1
00001f35: POP
00001f36: SWAP2
00001f37: SWAP1
00001f38: POP
00001f39: JUMP
00001f3a: JUMPDEST
00001f3b: PUSH1 0x40
00001f3d: DUP1
00001f3e: MLOAD
00001f3f: PUSH1 0x00
00001f41: DUP1
00001f42: DUP3
00001f43: MSTORE
00001f44: PUSH1 0x20
00001f46: DUP3
00001f47: ADD
00001f48: DUP1
00001f49: DUP5
00001f4a: MSTORE
00001f4b: DUP5
00001f4c: SWAP1
00001f4d: MSTORE
00001f4e: PUSH1 0xff
00001f50: DUP10
00001f51: AND
00001f52: SWAP3
00001f53: DUP3
00001f54: ADD
00001f55: SWAP3
00001f56: SWAP1
00001f57: SWAP3
00001f58: MSTORE
00001f59: PUSH1 0x60
00001f5b: DUP2
00001f5c: ADD
00001f5d: DUP8
00001f5e: SWAP1
00001f5f: MSTORE
00001f60: PUSH1 0x80
00001f62: DUP2
00001f63: ADD
00001f64: DUP7
00001f65: SWAP1
00001f66: MSTORE
00001f67: SWAP2
00001f68: SWAP3
00001f69: POP
00001f6a: SWAP1
00001f6b: PUSH1 0x01
00001f6d: SWAP1
00001f6e: PUSH1 0xa0
00001f70: ADD
00001f71: PUSH2 0x1e57
00001f74: JUMP
00001f75: JUMPDEST
00001f76: PUSH1 0x01
00001f78: PUSH1 0x01
00001f7a: PUSH1 0xa0
00001f7c: SHL
00001f7d: SUB
00001f7e: DUP3
00001f7f: AND
00001f80: PUSH2 0x1fd5
00001f83: JUMPI
00001f84: PUSH1 0x40
00001f86: MLOAD
00001f87: PUSH3 0x461bcd
00001f8b: PUSH1 0xe5
00001f8d: SHL
00001f8e: DUP2
00001f8f: MSTORE
00001f90: PUSH1 0x20
00001f92: PUSH1 0x04
00001f94: DUP3
00001f95: ADD
00001f96: MSTORE
00001f97: PUSH1 0x21
00001f99: PUSH1 0x24
00001f9b: DUP3
00001f9c: ADD
00001f9d: MSTORE
00001f9e: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
00001fbf: PUSH1 0x44
00001fc1: DUP3
00001fc2: ADD
00001fc3: MSTORE
00001fc4: PUSH1 0x73
00001fc6: PUSH1 0xf8
00001fc8: SHL
00001fc9: PUSH1 0x64
00001fcb: DUP3
00001fcc: ADD
00001fcd: MSTORE
00001fce: PUSH1 0x84
00001fd0: ADD
00001fd1: PUSH2 0x07ef
00001fd4: JUMP
00001fd5: JUMPDEST
00001fd6: PUSH1 0x01
00001fd8: PUSH1 0x01
00001fda: PUSH1 0xa0
00001fdc: SHL
00001fdd: SUB
00001fde: DUP3
00001fdf: AND
00001fe0: PUSH1 0x00
00001fe2: SWAP1
00001fe3: DUP2
00001fe4: MSTORE
00001fe5: PUSH1 0x02
00001fe7: PUSH1 0x20
00001fe9: MSTORE
00001fea: PUSH1 0x40
00001fec: DUP2
00001fed: KECCAK256
00001fee: DUP1
00001fef: SLOAD
00001ff0: DUP4
00001ff1: SWAP3
00001ff2: SWAP1
00001ff3: PUSH2 0x1ffd
00001ff6: SWAP1
00001ff7: DUP5
00001ff8: SWAP1
00001ff9: PUSH2 0x286e
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: SWAP3
00001fff: POP
00002000: POP
00002001: DUP2
00002002: SWAP1
00002003: SSTORE
00002004: POP
00002005: DUP1
00002006: PUSH1 0x03
00002008: PUSH1 0x00
0000200a: DUP3
0000200b: DUP3
0000200c: SLOAD
0000200d: PUSH2 0x2016
00002010: SWAP2
00002011: SWAP1
00002012: PUSH2 0x286e
00002015: JUMP
00002016: JUMPDEST
00002017: SWAP1
00002018: SWAP2
00002019: SSTORE
0000201a: POP
0000201b: POP
0000201c: PUSH1 0x40
0000201e: MLOAD
0000201f: DUP2
00002020: DUP2
00002021: MSTORE
00002022: PUSH1 0x00
00002024: SWAP1
00002025: PUSH1 0x01
00002027: PUSH1 0x01
00002029: PUSH1 0xa0
0000202b: SHL
0000202c: SUB
0000202d: DUP5
0000202e: AND
0000202f: SWAP1
00002030: PUSH1 0x00
00002032: DUP1
00002033: MLOAD
00002034: PUSH1 0x20
00002036: PUSH2 0x292f
00002039: DUP4
0000203a: CODECOPY
0000203b: DUP2
0000203c: MLOAD
0000203d: SWAP2
0000203e: MSTORE
0000203f: SWAP1
00002040: PUSH1 0x20
00002042: ADD
00002043: PUSH2 0x1dbe
00002046: JUMP
00002047: JUMPDEST
00002048: PUSH1 0x40
0000204a: MLOAD
0000204b: PUSH1 0x01
0000204d: PUSH1 0x01
0000204f: PUSH1 0xa0
00002051: SHL
00002052: SUB
00002053: DUP1
00002054: DUP6
00002055: AND
00002056: PUSH1 0x24
00002058: DUP4
00002059: ADD
0000205a: MSTORE
0000205b: DUP4
0000205c: AND
0000205d: PUSH1 0x44
0000205f: DUP3
00002060: ADD
00002061: MSTORE
00002062: PUSH1 0x64
00002064: DUP2
00002065: ADD
00002066: DUP3
00002067: SWAP1
00002068: MSTORE
00002069: PUSH2 0x20b2
0000206c: SWAP1
0000206d: DUP6
0000206e: SWAP1
0000206f: PUSH4 0x23b872dd
00002074: PUSH1 0xe0
00002076: SHL
00002077: SWAP1
00002078: PUSH1 0x84
0000207a: ADD
0000207b: JUMPDEST
0000207c: PUSH1 0x40
0000207e: DUP1
0000207f: MLOAD
00002080: PUSH1 0x1f
00002082: NOT
00002083: DUP2
00002084: DUP5
00002085: SUB
00002086: ADD
00002087: DUP2
00002088: MSTORE
00002089: SWAP2
0000208a: SWAP1
0000208b: MSTORE
0000208c: PUSH1 0x20
0000208e: DUP2
0000208f: ADD
00002090: DUP1
00002091: MLOAD
00002092: PUSH1 0x01
00002094: PUSH1 0x01
00002096: PUSH1 0xe0
00002098: SHL
00002099: SUB
0000209a: AND
0000209b: PUSH1 0x01
0000209d: PUSH1 0x01
0000209f: PUSH1 0xe0
000020a1: SHL
000020a2: SUB
000020a3: NOT
000020a4: SWAP1
000020a5: SWAP4
000020a6: AND
000020a7: SWAP3
000020a8: SWAP1
000020a9: SWAP3
000020aa: OR
000020ab: SWAP1
000020ac: SWAP2
000020ad: MSTORE
000020ae: PUSH2 0x216a
000020b1: JUMP
000020b2: JUMPDEST
000020b3: POP
000020b4: POP
000020b5: POP
000020b6: POP
000020b7: JUMP
000020b8: JUMPDEST
000020b9: PUSH1 0x00
000020bb: PUSH32 0x0000000000000000000000003b1388eb39c72d2145f092c01067c02bb627d4be
000020dc: PUSH1 0x01
000020de: PUSH1 0x01
000020e0: PUSH1 0xa0
000020e2: SHL
000020e3: SUB
000020e4: AND
000020e5: ISZERO
000020e6: DUP1
000020e7: ISZERO
000020e8: SWAP1
000020e9: PUSH2 0x211b
000020ec: JUMPI
000020ed: POP
000020ee: PUSH32 0x0000000000000000000000003b1388eb39c72d2145f092c01067c02bb627d4be
0000210f: PUSH1 0x01
00002111: PUSH1 0x01
00002113: PUSH1 0xa0
00002115: SHL
00002116: SUB
00002117: AND
00002118: ADDRESS
00002119: EQ
0000211a: ISZERO
0000211b: JUMPDEST
0000211c: PUSH2 0x2124
0000211f: JUMPI
00002120: PUSH1 0x00
00002122: DUP1
00002123: REVERT
00002124: JUMPDEST
00002125: PUSH2 0x212e
00002128: DUP3
00002129: DUP5
0000212a: PUSH2 0x1cfc
0000212d: JUMP
0000212e: JUMPDEST
0000212f: POP
00002130: SWAP1
00002131: SWAP2
00002132: SWAP1
00002133: POP
00002134: JUMP
00002135: JUMPDEST
00002136: PUSH1 0x40
00002138: MLOAD
00002139: PUSH1 0x01
0000213b: PUSH1 0x01
0000213d: PUSH1 0xa0
0000213f: SHL
00002140: SUB
00002141: DUP4
00002142: AND
00002143: PUSH1 0x24
00002145: DUP3
00002146: ADD
00002147: MSTORE
00002148: PUSH1 0x44
0000214a: DUP2
0000214b: ADD
0000214c: DUP3
0000214d: SWAP1
0000214e: MSTORE
0000214f: PUSH2 0x2165
00002152: SWAP1
00002153: DUP5
00002154: SWAP1
00002155: PUSH4 0xa9059cbb
0000215a: PUSH1 0xe0
0000215c: SHL
0000215d: SWAP1
0000215e: PUSH1 0x64
00002160: ADD
00002161: PUSH2 0x207b
00002164: JUMP
00002165: JUMPDEST
00002166: POP
00002167: POP
00002168: POP
00002169: JUMP
0000216a: JUMPDEST
0000216b: PUSH2 0x217c
0000216e: DUP3
0000216f: PUSH1 0x01
00002171: PUSH1 0x01
00002173: PUSH1 0xa0
00002175: SHL
00002176: SUB
00002177: AND
00002178: PUSH2 0x22f1
0000217b: JUMP
0000217c: JUMPDEST
0000217d: PUSH2 0x21c8
00002180: JUMPI
00002181: PUSH1 0x40
00002183: MLOAD
00002184: PUSH3 0x461bcd
00002188: PUSH1 0xe5
0000218a: SHL
0000218b: DUP2
0000218c: MSTORE
0000218d: PUSH1 0x20
0000218f: PUSH1 0x04
00002191: DUP3
00002192: ADD
00002193: MSTORE
00002194: PUSH1 0x1f
00002196: PUSH1 0x24
00002198: DUP3
00002199: ADD
0000219a: MSTORE
0000219b: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
000021bc: PUSH1 0x44
000021be: DUP3
000021bf: ADD
000021c0: MSTORE
000021c1: PUSH1 0x64
000021c3: ADD
000021c4: PUSH2 0x07ef
000021c7: JUMP
000021c8: JUMPDEST
000021c9: PUSH1 0x00
000021cb: DUP1
000021cc: DUP4
000021cd: PUSH1 0x01
000021cf: PUSH1 0x01
000021d1: PUSH1 0xa0
000021d3: SHL
000021d4: SUB
000021d5: AND
000021d6: DUP4
000021d7: PUSH1 0x40
000021d9: MLOAD
000021da: PUSH2 0x21e3
000021dd: SWAP2
000021de: SWAP1
000021df: PUSH2 0x263d
000021e2: JUMP
000021e3: JUMPDEST
000021e4: PUSH1 0x00
000021e6: PUSH1 0x40
000021e8: MLOAD
000021e9: DUP1
000021ea: DUP4
000021eb: SUB
000021ec: DUP2
000021ed: PUSH1 0x00
000021ef: DUP7
000021f0: GAS
000021f1: CALL
000021f2: SWAP2
000021f3: POP
000021f4: POP
000021f5: RETURNDATASIZE
000021f6: DUP1
000021f7: PUSH1 0x00
000021f9: DUP2
000021fa: EQ
000021fb: PUSH2 0x2220
000021fe: JUMPI
000021ff: PUSH1 0x40
00002201: MLOAD
00002202: SWAP2
00002203: POP
00002204: PUSH1 0x1f
00002206: NOT
00002207: PUSH1 0x3f
00002209: RETURNDATASIZE
0000220a: ADD
0000220b: AND
0000220c: DUP3
0000220d: ADD
0000220e: PUSH1 0x40
00002210: MSTORE
00002211: RETURNDATASIZE
00002212: DUP3
00002213: MSTORE
00002214: RETURNDATASIZE
00002215: PUSH1 0x00
00002217: PUSH1 0x20
00002219: DUP5
0000221a: ADD
0000221b: RETURNDATACOPY
0000221c: PUSH2 0x2225
0000221f: JUMP
00002220: JUMPDEST
00002221: PUSH1 0x60
00002223: SWAP2
00002224: POP
00002225: JUMPDEST
00002226: POP
00002227: SWAP2
00002228: POP
00002229: SWAP2
0000222a: POP
0000222b: DUP2
0000222c: PUSH2 0x2277
0000222f: JUMPI
00002230: PUSH1 0x40
00002232: MLOAD
00002233: PUSH3 0x461bcd
00002237: PUSH1 0xe5
00002239: SHL
0000223a: DUP2
0000223b: MSTORE
0000223c: PUSH1 0x20
0000223e: PUSH1 0x04
00002240: DUP3
00002241: ADD
00002242: DUP2
00002243: SWAP1
00002244: MSTORE
00002245: PUSH1 0x24
00002247: DUP3
00002248: ADD
00002249: MSTORE
0000224a: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000226b: PUSH1 0x44
0000226d: DUP3
0000226e: ADD
0000226f: MSTORE
00002270: PUSH1 0x64
00002272: ADD
00002273: PUSH2 0x07ef
00002276: JUMP
00002277: JUMPDEST
00002278: DUP1
00002279: MLOAD
0000227a: ISZERO
0000227b: PUSH2 0x20b2
0000227e: JUMPI
0000227f: DUP1
00002280: DUP1
00002281: PUSH1 0x20
00002283: ADD
00002284: SWAP1
00002285: MLOAD
00002286: DUP2
00002287: ADD
00002288: SWAP1
00002289: PUSH2 0x2292
0000228c: SWAP2
0000228d: SWAP1
0000228e: PUSH2 0x25ab
00002291: JUMP
00002292: JUMPDEST
00002293: PUSH2 0x20b2
00002296: JUMPI
00002297: PUSH1 0x40
00002299: MLOAD
0000229a: PUSH3 0x461bcd
0000229e: PUSH1 0xe5
000022a0: SHL
000022a1: DUP2
000022a2: MSTORE
000022a3: PUSH1 0x20
000022a5: PUSH1 0x04
000022a7: DUP3
000022a8: ADD
000022a9: MSTORE
000022aa: PUSH1 0x2a
000022ac: PUSH1 0x24
000022ae: DUP3
000022af: ADD
000022b0: MSTORE
000022b1: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000022d2: PUSH1 0x44
000022d4: DUP3
000022d5: ADD
000022d6: MSTORE
000022d7: PUSH10 0x1bdd081cdd58d8d95959
000022e2: PUSH1 0xb2
000022e4: SHL
000022e5: PUSH1 0x64
000022e7: DUP3
000022e8: ADD
000022e9: MSTORE
000022ea: PUSH1 0x84
000022ec: ADD
000022ed: PUSH2 0x07ef
000022f0: JUMP
000022f1: JUMPDEST
000022f2: PUSH1 0x00
000022f4: DUP2
000022f5: EXTCODEHASH
000022f6: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002317: DUP2
00002318: ISZERO
00002319: DUP1
0000231a: ISZERO
0000231b: SWAP1
0000231c: PUSH2 0x0803
0000231f: JUMPI
00002320: POP
00002321: EQ
00002322: ISZERO
00002323: SWAP3
00002324: SWAP2
00002325: POP
00002326: POP
00002327: JUMP
00002328: JUMPDEST
00002329: DUP1
0000232a: CALLDATALOAD
0000232b: PUSH1 0x01
0000232d: PUSH1 0x01
0000232f: PUSH1 0xa0
00002331: SHL
00002332: SUB
00002333: DUP2
00002334: AND
00002335: DUP2
00002336: EQ
00002337: PUSH2 0x0bc5
0000233a: JUMPI
0000233b: PUSH1 0x00
0000233d: DUP1
0000233e: REVERT
0000233f: JUMPDEST
00002340: DUP1
00002341: CALLDATALOAD
00002342: PUSH1 0xff
00002344: DUP2
00002345: AND
00002346: DUP2
00002347: EQ
00002348: PUSH2 0x0bc5
0000234b: JUMPI
0000234c: PUSH1 0x00
0000234e: DUP1
0000234f: REVERT
00002350: JUMPDEST
00002351: PUSH1 0x00
00002353: PUSH1 0x20
00002355: DUP3
00002356: DUP5
00002357: SUB
00002358: SLT
00002359: ISZERO
0000235a: PUSH2 0x2361
0000235d: JUMPI
0000235e: DUP1
0000235f: DUP2
00002360: REVERT
00002361: JUMPDEST
00002362: PUSH2 0x0818
00002365: DUP3
00002366: PUSH2 0x2328
00002369: JUMP
0000236a: JUMPDEST
0000236b: PUSH1 0x00
0000236d: DUP1
0000236e: PUSH1 0x40
00002370: DUP4
00002371: DUP6
00002372: SUB
00002373: SLT
00002374: ISZERO
00002375: PUSH2 0x237c
00002378: JUMPI
00002379: DUP1
0000237a: DUP2
0000237b: REVERT
0000237c: JUMPDEST
0000237d: PUSH2 0x2385
00002380: DUP4
00002381: PUSH2 0x2328
00002384: JUMP
00002385: JUMPDEST
00002386: SWAP2
00002387: POP
00002388: PUSH2 0x2393
0000238b: PUSH1 0x20
0000238d: DUP5
0000238e: ADD
0000238f: PUSH2 0x2328
00002392: JUMP
00002393: JUMPDEST
00002394: SWAP1
00002395: POP
00002396: SWAP3
00002397: POP
00002398: SWAP3
00002399: SWAP1
0000239a: POP
0000239b: JUMP
0000239c: JUMPDEST
0000239d: PUSH1 0x00
0000239f: DUP1
000023a0: PUSH1 0x00
000023a2: PUSH1 0x60
000023a4: DUP5
000023a5: DUP7
000023a6: SUB
000023a7: SLT
000023a8: ISZERO
000023a9: PUSH2 0x23b0
000023ac: JUMPI
000023ad: DUP1
000023ae: DUP2
000023af: REVERT
000023b0: JUMPDEST
000023b1: PUSH2 0x23b9
000023b4: DUP5
000023b5: PUSH2 0x2328
000023b8: JUMP
000023b9: JUMPDEST
000023ba: SWAP3
000023bb: POP
000023bc: PUSH2 0x23c7
000023bf: PUSH1 0x20
000023c1: DUP6
000023c2: ADD
000023c3: PUSH2 0x2328
000023c6: JUMP
000023c7: JUMPDEST
000023c8: SWAP2
000023c9: POP
000023ca: PUSH1 0x40
000023cc: DUP5
000023cd: ADD
000023ce: CALLDATALOAD
000023cf: SWAP1
000023d0: POP
000023d1: SWAP3
000023d2: POP
000023d3: SWAP3
000023d4: POP
000023d5: SWAP3
000023d6: JUMP
000023d7: JUMPDEST
000023d8: PUSH1 0x00
000023da: DUP1
000023db: PUSH1 0x00
000023dd: DUP1
000023de: PUSH1 0x00
000023e0: DUP1
000023e1: PUSH1 0x00
000023e3: PUSH1 0xe0
000023e5: DUP9
000023e6: DUP11
000023e7: SUB
000023e8: SLT
000023e9: ISZERO
000023ea: PUSH2 0x23f1
000023ed: JUMPI
000023ee: DUP3
000023ef: DUP4
000023f0: REVERT
000023f1: JUMPDEST
000023f2: PUSH2 0x23fa
000023f5: DUP9
000023f6: PUSH2 0x2328
000023f9: JUMP
000023fa: JUMPDEST
000023fb: SWAP7
000023fc: POP
000023fd: PUSH2 0x2408
00002400: PUSH1 0x20
00002402: DUP10
00002403: ADD
00002404: PUSH2 0x2328
00002407: JUMP
00002408: JUMPDEST
00002409: SWAP6
0000240a: POP
0000240b: PUSH1 0x40
0000240d: DUP9
0000240e: ADD
0000240f: CALLDATALOAD
00002410: SWAP5
00002411: POP
00002412: PUSH1 0x60
00002414: DUP9
00002415: ADD
00002416: CALLDATALOAD
00002417: SWAP4
00002418: POP
00002419: PUSH2 0x2424
0000241c: PUSH1 0x80
0000241e: DUP10
0000241f: ADD
00002420: PUSH2 0x233f
00002423: JUMP
00002424: JUMPDEST
00002425: SWAP3
00002426: POP
00002427: PUSH1 0xa0
00002429: DUP9
0000242a: ADD
0000242b: CALLDATALOAD
0000242c: SWAP2
0000242d: POP
0000242e: PUSH1 0xc0
00002430: DUP9
00002431: ADD
00002432: CALLDATALOAD
00002433: SWAP1
00002434: POP
00002435: SWAP3
00002436: SWAP6
00002437: SWAP9
00002438: SWAP2
00002439: SWAP5
0000243a: SWAP8
0000243b: POP
0000243c: SWAP3
0000243d: SWAP6
0000243e: POP
0000243f: JUMP
00002440: JUMPDEST
00002441: PUSH1 0x00
00002443: DUP1
00002444: PUSH1 0x40
00002446: DUP4
00002447: DUP6
00002448: SUB
00002449: SLT
0000244a: ISZERO
0000244b: PUSH2 0x2452
0000244e: JUMPI
0000244f: DUP2
00002450: DUP3
00002451: REVERT
00002452: JUMPDEST
00002453: PUSH2 0x245b
00002456: DUP4
00002457: PUSH2 0x2328
0000245a: JUMP
0000245b: JUMPDEST
0000245c: SWAP5
0000245d: PUSH1 0x20
0000245f: SWAP4
00002460: SWAP1
00002461: SWAP4
00002462: ADD
00002463: CALLDATALOAD
00002464: SWAP4
00002465: POP
00002466: POP
00002467: POP
00002468: JUMP
00002469: JUMPDEST
0000246a: PUSH1 0x00
0000246c: DUP1
0000246d: PUSH1 0x00
0000246f: PUSH1 0x60
00002471: DUP5
00002472: DUP7
00002473: SUB
00002474: SLT
00002475: ISZERO
00002476: PUSH2 0x247d
00002479: JUMPI
0000247a: DUP3
0000247b: DUP4
0000247c: REVERT
0000247d: JUMPDEST
0000247e: PUSH2 0x2486
00002481: DUP5
00002482: PUSH2 0x2328
00002485: JUMP
00002486: JUMPDEST
00002487: SWAP3
00002488: POP
00002489: PUSH1 0x20
0000248b: DUP5
0000248c: ADD
0000248d: CALLDATALOAD
0000248e: SWAP2
0000248f: POP
00002490: PUSH2 0x249b
00002493: PUSH1 0x40
00002495: DUP6
00002496: ADD
00002497: PUSH2 0x2328
0000249a: JUMP
0000249b: JUMPDEST
0000249c: SWAP1
0000249d: POP
0000249e: SWAP3
0000249f: POP
000024a0: SWAP3
000024a1: POP
000024a2: SWAP3
000024a3: JUMP
000024a4: JUMPDEST
000024a5: PUSH1 0x00
000024a7: DUP1
000024a8: PUSH1 0x00
000024aa: DUP1
000024ab: PUSH1 0x60
000024ad: DUP6
000024ae: DUP8
000024af: SUB
000024b0: SLT
000024b1: ISZERO
000024b2: PUSH2 0x24b9
000024b5: JUMPI
000024b6: DUP4
000024b7: DUP5
000024b8: REVERT
000024b9: JUMPDEST
000024ba: PUSH2 0x24c2
000024bd: DUP6
000024be: PUSH2 0x2328
000024c1: JUMP
000024c2: JUMPDEST
000024c3: SWAP4
000024c4: POP
000024c5: PUSH1 0x20
000024c7: DUP6
000024c8: ADD
000024c9: CALLDATALOAD
000024ca: SWAP3
000024cb: POP
000024cc: PUSH1 0x40
000024ce: DUP6
000024cf: ADD
000024d0: CALLDATALOAD
000024d1: PUSH8 0xffffffffffffffff
000024da: DUP1
000024db: DUP3
000024dc: GT
000024dd: ISZERO
000024de: PUSH2 0x24e5
000024e1: JUMPI
000024e2: DUP4
000024e3: DUP5
000024e4: REVERT
000024e5: JUMPDEST
000024e6: DUP2
000024e7: DUP8
000024e8: ADD
000024e9: SWAP2
000024ea: POP
000024eb: DUP8
000024ec: PUSH1 0x1f
000024ee: DUP4
000024ef: ADD
000024f0: SLT
000024f1: PUSH2 0x24f8
000024f4: JUMPI
000024f5: DUP4
000024f6: DUP5
000024f7: REVERT
000024f8: JUMPDEST
000024f9: DUP2
000024fa: CALLDATALOAD
000024fb: DUP2
000024fc: DUP2
000024fd: GT
000024fe: ISZERO
000024ff: PUSH2 0x2506
00002502: JUMPI
00002503: DUP5
00002504: DUP6
00002505: REVERT
00002506: JUMPDEST
00002507: DUP9
00002508: PUSH1 0x20
0000250a: DUP3
0000250b: DUP6
0000250c: ADD
0000250d: ADD
0000250e: GT
0000250f: ISZERO
00002510: PUSH2 0x2517
00002513: JUMPI
00002514: DUP5
00002515: DUP6
00002516: REVERT
00002517: JUMPDEST
00002518: SWAP6
00002519: SWAP9
0000251a: SWAP5
0000251b: SWAP8
0000251c: POP
0000251d: POP
0000251e: PUSH1 0x20
00002520: ADD
00002521: SWAP5
00002522: POP
00002523: POP
00002524: POP
00002525: JUMP
00002526: JUMPDEST
00002527: PUSH1 0x00
00002529: DUP1
0000252a: PUSH1 0x00
0000252c: DUP1
0000252d: PUSH1 0x00
0000252f: DUP1
00002530: PUSH1 0x00
00002532: PUSH1 0xe0
00002534: DUP9
00002535: DUP11
00002536: SUB
00002537: SLT
00002538: ISZERO
00002539: PUSH2 0x2540
0000253c: JUMPI
0000253d: DUP3
0000253e: DUP4
0000253f: REVERT
00002540: JUMPDEST
00002541: PUSH2 0x2549
00002544: DUP9
00002545: PUSH2 0x2328
00002548: JUMP
00002549: JUMPDEST
0000254a: SWAP7
0000254b: POP
0000254c: PUSH1 0x20
0000254e: DUP9
0000254f: ADD
00002550: CALLDATALOAD
00002551: SWAP6
00002552: POP
00002553: PUSH1 0x40
00002555: DUP9
00002556: ADD
00002557: CALLDATALOAD
00002558: SWAP5
00002559: POP
0000255a: PUSH2 0x2565
0000255d: PUSH1 0x60
0000255f: DUP10
00002560: ADD
00002561: PUSH2 0x233f
00002564: JUMP
00002565: JUMPDEST
00002566: SWAP4
00002567: POP
00002568: PUSH1 0x80
0000256a: DUP9
0000256b: ADD
0000256c: CALLDATALOAD
0000256d: SWAP3
0000256e: POP
0000256f: PUSH1 0xa0
00002571: DUP9
00002572: ADD
00002573: CALLDATALOAD
00002574: SWAP2
00002575: POP
00002576: PUSH2 0x2581
00002579: PUSH1 0xc0
0000257b: DUP10
0000257c: ADD
0000257d: PUSH2 0x2328
00002580: JUMP
00002581: JUMPDEST
00002582: SWAP1
00002583: POP
00002584: SWAP3
00002585: SWAP6
00002586: SWAP9
00002587: SWAP2
00002588: SWAP5
00002589: SWAP8
0000258a: POP
0000258b: SWAP3
0000258c: SWAP6
0000258d: POP
0000258e: JUMP
0000258f: JUMPDEST
00002590: PUSH1 0x00
00002592: PUSH1 0x20
00002594: DUP3
00002595: DUP5
00002596: SUB
00002597: SLT
00002598: ISZERO
00002599: PUSH2 0x25a0
0000259c: JUMPI
0000259d: DUP1
0000259e: DUP2
0000259f: REVERT
000025a0: JUMPDEST
000025a1: DUP2
000025a2: CALLDATALOAD
000025a3: PUSH2 0x0818
000025a6: DUP2
000025a7: PUSH2 0x291d
000025aa: JUMP
000025ab: JUMPDEST
000025ac: PUSH1 0x00
000025ae: PUSH1 0x20
000025b0: DUP3
000025b1: DUP5
000025b2: SUB
000025b3: SLT
000025b4: ISZERO
000025b5: PUSH2 0x25bc
000025b8: JUMPI
000025b9: DUP1
000025ba: DUP2
000025bb: REVERT
000025bc: JUMPDEST
000025bd: DUP2
000025be: MLOAD
000025bf: PUSH2 0x0818
000025c2: DUP2
000025c3: PUSH2 0x291d
000025c6: JUMP
000025c7: JUMPDEST
000025c8: PUSH1 0x00
000025ca: DUP1
000025cb: PUSH1 0x00
000025cd: PUSH1 0x60
000025cf: DUP5
000025d0: DUP7
000025d1: SUB
000025d2: SLT
000025d3: ISZERO
000025d4: PUSH2 0x25db
000025d7: JUMPI
000025d8: DUP3
000025d9: DUP4
000025da: REVERT
000025db: JUMPDEST
000025dc: DUP4
000025dd: CALLDATALOAD
000025de: SWAP3
000025df: POP
000025e0: PUSH2 0x23c7
000025e3: PUSH1 0x20
000025e5: DUP6
000025e6: ADD
000025e7: PUSH2 0x2328
000025ea: JUMP
000025eb: JUMPDEST
000025ec: PUSH1 0x00
000025ee: PUSH1 0x20
000025f0: DUP3
000025f1: DUP5
000025f2: SUB
000025f3: SLT
000025f4: ISZERO
000025f5: PUSH2 0x25fc
000025f8: JUMPI
000025f9: DUP1
000025fa: DUP2
000025fb: REVERT
000025fc: JUMPDEST
000025fd: POP
000025fe: CALLDATALOAD
000025ff: SWAP2
00002600: SWAP1
00002601: POP
00002602: JUMP
00002603: JUMPDEST
00002604: PUSH1 0x00
00002606: PUSH1 0x20
00002608: DUP3
00002609: DUP5
0000260a: SUB
0000260b: SLT
0000260c: ISZERO
0000260d: PUSH2 0x2614
00002610: JUMPI
00002611: DUP1
00002612: DUP2
00002613: REVERT
00002614: JUMPDEST
00002615: POP
00002616: MLOAD
00002617: SWAP2
00002618: SWAP1
00002619: POP
0000261a: JUMP
0000261b: JUMPDEST
0000261c: PUSH1 0x00
0000261e: DUP1
0000261f: PUSH1 0x40
00002621: DUP4
00002622: DUP6
00002623: SUB
00002624: SLT
00002625: ISZERO
00002626: PUSH2 0x262d
00002629: JUMPI
0000262a: DUP2
0000262b: DUP3
0000262c: REVERT
0000262d: JUMPDEST
0000262e: DUP3
0000262f: CALLDATALOAD
00002630: SWAP2
00002631: POP
00002632: PUSH2 0x2393
00002635: PUSH1 0x20
00002637: DUP5
00002638: ADD
00002639: PUSH2 0x2328
0000263c: JUMP
0000263d: JUMPDEST
0000263e: PUSH1 0x00
00002640: DUP3
00002641: MLOAD
00002642: PUSH2 0x264f
00002645: DUP2
00002646: DUP5
00002647: PUSH1 0x20
00002649: DUP8
0000264a: ADD
0000264b: PUSH2 0x2885
0000264e: JUMP
0000264f: JUMPDEST
00002650: SWAP2
00002651: SWAP1
00002652: SWAP2
00002653: ADD
00002654: SWAP3
00002655: SWAP2
00002656: POP
00002657: POP
00002658: JUMP
00002659: JUMPDEST
0000265a: PUSH1 0x01
0000265c: PUSH1 0x01
0000265e: PUSH1 0xa0
00002660: SHL
00002661: SUB
00002662: SWAP8
00002663: DUP9
00002664: AND
00002665: DUP2
00002666: MSTORE
00002667: SWAP6
00002668: SWAP1
00002669: SWAP7
0000266a: AND
0000266b: PUSH1 0x20
0000266d: DUP7
0000266e: ADD
0000266f: MSTORE
00002670: PUSH1 0x40
00002672: DUP6
00002673: ADD
00002674: SWAP4
00002675: SWAP1
00002676: SWAP4
00002677: MSTORE
00002678: PUSH1 0x60
0000267a: DUP5
0000267b: ADD
0000267c: SWAP2
0000267d: SWAP1
0000267e: SWAP2
0000267f: MSTORE
00002680: PUSH1 0xff
00002682: AND
00002683: PUSH1 0x80
00002685: DUP4
00002686: ADD
00002687: MSTORE
00002688: PUSH1 0xa0
0000268a: DUP3
0000268b: ADD
0000268c: MSTORE
0000268d: PUSH1 0xc0
0000268f: DUP2
00002690: ADD
00002691: SWAP2
00002692: SWAP1
00002693: SWAP2
00002694: MSTORE
00002695: PUSH1 0xe0
00002697: ADD
00002698: SWAP1
00002699: JUMP
0000269a: JUMPDEST
0000269b: PUSH1 0x01
0000269d: PUSH1 0x01
0000269f: PUSH1 0xa0
000026a1: SHL
000026a2: SUB
000026a3: DUP6
000026a4: AND
000026a5: DUP2
000026a6: MSTORE
000026a7: PUSH1 0x20
000026a9: DUP2
000026aa: ADD
000026ab: DUP5
000026ac: SWAP1
000026ad: MSTORE
000026ae: PUSH1 0x60
000026b0: PUSH1 0x40
000026b2: DUP3
000026b3: ADD
000026b4: DUP2
000026b5: SWAP1
000026b6: MSTORE
000026b7: DUP2
000026b8: ADD
000026b9: DUP3
000026ba: SWAP1
000026bb: MSTORE
000026bc: PUSH1 0x00
000026be: DUP3
000026bf: DUP5
000026c0: PUSH1 0x80
000026c2: DUP5
000026c3: ADD
000026c4: CALLDATACOPY
000026c5: DUP2
000026c6: DUP4
000026c7: ADD
000026c8: PUSH1 0x80
000026ca: SWAP1
000026cb: DUP2
000026cc: ADD
000026cd: SWAP2
000026ce: SWAP1
000026cf: SWAP2
000026d0: MSTORE
000026d1: PUSH1 0x1f
000026d3: SWAP1
000026d4: SWAP3
000026d5: ADD
000026d6: PUSH1 0x1f
000026d8: NOT
000026d9: AND
000026da: ADD
000026db: ADD
000026dc: SWAP4
000026dd: SWAP3
000026de: POP
000026df: POP
000026e0: POP
000026e1: JUMP
000026e2: JUMPDEST
000026e3: PUSH1 0x20
000026e5: DUP1
000026e6: DUP3
000026e7: MSTORE
000026e8: DUP3
000026e9: MLOAD
000026ea: DUP3
000026eb: DUP3
000026ec: ADD
000026ed: DUP2
000026ee: SWAP1
000026ef: MSTORE
000026f0: PUSH1 0x00
000026f2: SWAP2
000026f3: SWAP1
000026f4: DUP5
000026f5: DUP3
000026f6: ADD
000026f7: SWAP1
000026f8: PUSH1 0x40
000026fa: DUP6
000026fb: ADD
000026fc: SWAP1
000026fd: DUP5
000026fe: JUMPDEST
000026ff: DUP2
00002700: DUP2
00002701: LT
00002702: ISZERO
00002703: PUSH2 0x2723
00002706: JUMPI
00002707: DUP4
00002708: MLOAD
00002709: PUSH1 0x01
0000270b: PUSH1 0x01
0000270d: PUSH1 0xa0
0000270f: SHL
00002710: SUB
00002711: AND
00002712: DUP4
00002713: MSTORE
00002714: SWAP3
00002715: DUP5
00002716: ADD
00002717: SWAP3
00002718: SWAP2
00002719: DUP5
0000271a: ADD
0000271b: SWAP2
0000271c: PUSH1 0x01
0000271e: ADD
0000271f: PUSH2 0x26fe
00002722: JUMP
00002723: JUMPDEST
00002724: POP
00002725: SWAP1
00002726: SWAP7
00002727: SWAP6
00002728: POP
00002729: POP
0000272a: POP
0000272b: POP
0000272c: POP
0000272d: POP
0000272e: JUMP
0000272f: JUMPDEST
00002730: PUSH1 0x00
00002732: PUSH1 0x20
00002734: DUP3
00002735: MSTORE
00002736: DUP3
00002737: MLOAD
00002738: DUP1
00002739: PUSH1 0x20
0000273b: DUP5
0000273c: ADD
0000273d: MSTORE
0000273e: PUSH2 0x274e
00002741: DUP2
00002742: PUSH1 0x40
00002744: DUP6
00002745: ADD
00002746: PUSH1 0x20
00002748: DUP8
00002749: ADD
0000274a: PUSH2 0x2885
0000274d: JUMP
0000274e: JUMPDEST
0000274f: PUSH1 0x1f
00002751: ADD
00002752: PUSH1 0x1f
00002754: NOT
00002755: AND
00002756: SWAP2
00002757: SWAP1
00002758: SWAP2
00002759: ADD
0000275a: PUSH1 0x40
0000275c: ADD
0000275d: SWAP3
0000275e: SWAP2
0000275f: POP
00002760: POP
00002761: JUMP
00002762: JUMPDEST
00002763: PUSH1 0x20
00002765: DUP1
00002766: DUP3
00002767: MSTORE
00002768: PUSH1 0x19
0000276a: SWAP1
0000276b: DUP3
0000276c: ADD
0000276d: MSTORE
0000276e: PUSH32 0x416e7973776170563345524332303a20464f5242494444454e00000000000000
0000278f: PUSH1 0x40
00002791: DUP3
00002792: ADD
00002793: MSTORE
00002794: PUSH1 0x60
00002796: ADD
00002797: SWAP1
00002798: JUMP
00002799: JUMPDEST
0000279a: PUSH1 0x20
0000279c: DUP1
0000279d: DUP3
0000279e: MSTORE
0000279f: PUSH1 0x1c
000027a1: SWAP1
000027a2: DUP3
000027a3: ADD
000027a4: MSTORE
000027a5: PUSH32 0x416e7973776170563345524332303a2061646472657373283078302900000000
000027c6: PUSH1 0x40
000027c8: DUP3
000027c9: ADD
000027ca: MSTORE
000027cb: PUSH1 0x60
000027cd: ADD
000027ce: SWAP1
000027cf: JUMP
000027d0: JUMPDEST
000027d1: PUSH1 0x20
000027d3: DUP1
000027d4: DUP3
000027d5: MSTORE
000027d6: PUSH1 0x2f
000027d8: SWAP1
000027d9: DUP3
000027da: ADD
000027db: MSTORE
000027dc: PUSH32 0x416e7973776170563345524332303a207472616e7366657220616d6f756e7420
000027fd: PUSH1 0x40
000027ff: DUP3
00002800: ADD
00002801: MSTORE
00002802: PUSH15 0x657863656564732062616c616e6365
00002812: PUSH1 0x88
00002814: SHL
00002815: PUSH1 0x60
00002817: DUP3
00002818: ADD
00002819: MSTORE
0000281a: PUSH1 0x80
0000281c: ADD
0000281d: SWAP1
0000281e: JUMP
0000281f: JUMPDEST
00002820: PUSH1 0x20
00002822: DUP1
00002823: DUP3
00002824: MSTORE
00002825: PUSH1 0x19
00002827: SWAP1
00002828: DUP3
00002829: ADD
0000282a: MSTORE
0000282b: PUSH32 0x416e7973776170563445524332303a20464f5242494444454e00000000000000
0000284c: PUSH1 0x40
0000284e: DUP3
0000284f: ADD
00002850: MSTORE
00002851: PUSH1 0x60
00002853: ADD
00002854: SWAP1
00002855: JUMP
00002856: JUMPDEST
00002857: PUSH1 0x00
00002859: DUP3
0000285a: NOT
0000285b: DUP3
0000285c: GT
0000285d: ISZERO
0000285e: PUSH2 0x2869
00002861: JUMPI
00002862: PUSH2 0x2869
00002865: PUSH2 0x2907
00002868: JUMP
00002869: JUMPDEST
0000286a: POP
0000286b: ADD
0000286c: SWAP1
0000286d: JUMP
0000286e: JUMPDEST
0000286f: PUSH1 0x00
00002871: DUP3
00002872: DUP3
00002873: LT
00002874: ISZERO
00002875: PUSH2 0x2880
00002878: JUMPI
00002879: PUSH2 0x2880
0000287c: PUSH2 0x2907
0000287f: JUMP
00002880: JUMPDEST
00002881: POP
00002882: SUB
00002883: SWAP1
00002884: JUMP
00002885: JUMPDEST
00002886: PUSH1 0x00
00002888: JUMPDEST
00002889: DUP4
0000288a: DUP2
0000288b: LT
0000288c: ISZERO
0000288d: PUSH2 0x28a0
00002890: JUMPI
00002891: DUP2
00002892: DUP2
00002893: ADD
00002894: MLOAD
00002895: DUP4
00002896: DUP3
00002897: ADD
00002898: MSTORE
00002899: PUSH1 0x20
0000289b: ADD
0000289c: PUSH2 0x2888
0000289f: JUMP
000028a0: JUMPDEST
000028a1: DUP4
000028a2: DUP2
000028a3: GT
000028a4: ISZERO
000028a5: PUSH2 0x20b2
000028a8: JUMPI
000028a9: POP
000028aa: POP
000028ab: PUSH1 0x00
000028ad: SWAP2
000028ae: ADD
000028af: MSTORE
000028b0: JUMP
000028b1: JUMPDEST
000028b2: PUSH1 0x02
000028b4: DUP2
000028b5: DIV
000028b6: PUSH1 0x01
000028b8: DUP3
000028b9: AND
000028ba: DUP1
000028bb: PUSH2 0x28c5
000028be: JUMPI
000028bf: PUSH1 0x7f
000028c1: DUP3
000028c2: AND
000028c3: SWAP2
000028c4: POP
000028c5: JUMPDEST
000028c6: PUSH1 0x20
000028c8: DUP3
000028c9: LT
000028ca: DUP2
000028cb: EQ
000028cc: ISZERO
000028cd: PUSH2 0x28e6
000028d0: JUMPI
000028d1: PUSH4 0x4e487b71
000028d6: PUSH1 0xe0
000028d8: SHL
000028d9: PUSH1 0x00
000028db: MSTORE
000028dc: PUSH1 0x22
000028de: PUSH1 0x04
000028e0: MSTORE
000028e1: PUSH1 0x24
000028e3: PUSH1 0x00
000028e5: REVERT
000028e6: JUMPDEST
000028e7: POP
000028e8: SWAP2
000028e9: SWAP1
000028ea: POP
000028eb: JUMP
000028ec: JUMPDEST
000028ed: PUSH1 0x00
000028ef: PUSH1 0x00
000028f1: NOT
000028f2: DUP3
000028f3: EQ
000028f4: ISZERO
000028f5: PUSH2 0x2900
000028f8: JUMPI
000028f9: PUSH2 0x2900
000028fc: PUSH2 0x2907
000028ff: JUMP
00002900: JUMPDEST
00002901: POP
00002902: PUSH1 0x01
00002904: ADD
00002905: SWAP1
00002906: JUMP
00002907: JUMPDEST
00002908: PUSH4 0x4e487b71
0000290d: PUSH1 0xe0
0000290f: SHL
00002910: PUSH1 0x00
00002912: MSTORE
00002913: PUSH1 0x11
00002915: PUSH1 0x04
00002917: MSTORE
00002918: PUSH1 0x24
0000291a: PUSH1 0x00
0000291c: REVERT
0000291d: JUMPDEST
0000291e: DUP1
0000291f: ISZERO
00002920: ISZERO
00002921: DUP2
00002922: EQ
00002923: PUSH2 0x292b
00002926: JUMPI
00002927: PUSH1 0x00
00002929: DUP1
0000292a: REVERT
0000292b: JUMPDEST
0000292c: POP
0000292d: JUMP
0000292e: INVALID
0000292f: UNKNOWN(0xDD)
00002930: CALLCODE
00002931: MSTORE
00002932: UNKNOWN(0xAD)
00002933: SHL
00002934: UNKNOWN(0xE2)
00002935: UNKNOWN(0xC8)
00002936: SWAP12
00002937: PUSH10 0xc2b068fc378daa952ba7
00002942: CALL
00002943: PUSH4 0xc4a11628
00002948: CREATE2
00002949: GAS
0000294a: UNKNOWN(0x4D)
0000294b: CREATE2
0000294c: UNKNOWN(0x23)
0000294d: UNKNOWN(0xB3)
0000294e: UNKNOWN(0xEF)
0000294f: DUP13
00002950: JUMPDEST
00002951: UNKNOWN(0xE1)
00002952: UNKNOWN(0xE5)
00002953: UNKNOWN(0xEB)
00002954: UNKNOWN(0xEC)
00002955: PUSH30 0x5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925a264697066
00002974: PUSH20 0x5822122009f133a1a7b82a84f7eb4d540d9b7632
00002989: LOG2
0000298a: UNKNOWN(0xFB)
0000298b: SWAP8
0000298c: UNKNOWN(0xE0)
0000298d: PUSH12 0x30fd18edb4988cdb70ae8164
0000299a: 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: 0x6d484cc6f5ef1316b50af97ac70f9bd8573cf3bff19384407a293d9596584cf1
call_targets: 0x25a528af62e56512a19ce8c3cab427807c28cc19
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x6d484cc6f5ef1316b50af97ac70f9bd8573cf3bff19384407a293d9596584cf1",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x25a528af62e56512a19ce8c3cab427807c28cc19"
    ],
    "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": "0xf75c2664",
            "selector": "0xf75c2664",
            "calldata_variants": [
                "0xf75c2664",
                "0xf75c26640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf954734e",
            "selector": "0xf954734e",
            "calldata_variants": [
                "0xf954734e",
                "0xf954734e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbfa77cf",
            "selector": "0xfbfa77cf",
            "calldata_variants": [
                "0xfbfa77cf",
                "0xfbfa77cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfca3b5aa",
            "selector": "0xfca3b5aa",
            "calldata_variants": [
                "0xfca3b5aa",
                "0xfca3b5aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd93f2445",
            "selector": "0xd93f2445",
            "calldata_variants": [
                "0xd93f2445",
                "0xd93f24450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec126c77",
            "selector": "0xec126c77",
            "calldata_variants": [
                "0xec126c77",
                "0xec126c770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcae9ca51",
            "selector": "0xcae9ca51",
            "calldata_variants": [
                "0xcae9ca51",
                "0xcae9ca510000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3548,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5116,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6049,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 7,
    "guards_detected": [],
    "untrusted_call_count": 7
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x6d484cc6f5ef1316b50af97ac70f9bd8573cf3bff19384407a293d9596584cf1
call_targets: 0x25a528af62e56512a19ce8c3cab427807c28cc19
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x6d484cc6f5ef1316b50af97ac70f9bd8573cf3bff19384407a293d9596584cf1",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x25a528af62e56512a19ce8c3cab427807c28cc19"
    ],
    "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": "0xf75c2664",
            "selector": "0xf75c2664",
            "calldata_variants": [
                "0xf75c2664",
                "0xf75c26640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf954734e",
            "selector": "0xf954734e",
            "calldata_variants": [
                "0xf954734e",
                "0xf954734e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbfa77cf",
            "selector": "0xfbfa77cf",
            "calldata_variants": [
                "0xfbfa77cf",
                "0xfbfa77cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfca3b5aa",
            "selector": "0xfca3b5aa",
            "calldata_variants": [
                "0xfca3b5aa",
                "0xfca3b5aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd93f2445",
            "selector": "0xd93f2445",
            "calldata_variants": [
                "0xd93f2445",
                "0xd93f24450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec126c77",
            "selector": "0xec126c77",
            "calldata_variants": [
                "0xec126c77",
                "0xec126c770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcae9ca51",
            "selector": "0xcae9ca51",
            "calldata_variants": [
                "0xcae9ca51",
                "0xcae9ca510000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3548,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5116,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6049,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 7,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x9e68957cd0988c70acd594a027722ec481f83d488cc72f593177799f637ee577
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x9e68957cd0988c70acd594a027722ec481f83d488cc72f593177799f637ee577",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xf75c2664",
            "selector": "0xf75c2664",
            "calldata_variants": [
                "0xf75c2664",
                "0xf75c26640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf954734e",
            "selector": "0xf954734e",
            "calldata_variants": [
                "0xf954734e",
                "0xf954734e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbfa77cf",
            "selector": "0xfbfa77cf",
            "calldata_variants": [
                "0xfbfa77cf",
                "0xfbfa77cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfca3b5aa",
            "selector": "0xfca3b5aa",
            "calldata_variants": [
                "0xfca3b5aa",
                "0xfca3b5aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd93f2445",
            "selector": "0xd93f2445",
            "calldata_variants": [
                "0xd93f2445",
                "0xd93f24450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec126c77",
            "selector": "0xec126c77",
            "calldata_variants": [
                "0xec126c77",
                "0xec126c770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcae9ca51",
            "selector": "0xcae9ca51",
            "calldata_variants": [
                "0xcae9ca51",
                "0xcae9ca510000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 2
}
low other cast Contract creation opcode present 60 no
view
evidence_json
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 0,
    "create2_count": 2
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 6
}