Analysis Run

019ba9a5-c687-73fb-a5e3-d136ae9e3f41

complete

Chain ID

1

Address

0xf3364405ddcaa6ba11908eeeafd24d02172b743e

Block Number

—

Created

Sat, Jan 10, 2026 8:42 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Authorization based on tx.origin

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
37157	artifact.fetch	complete	1 / 3	3 months ago
37158	proxy.resolve	complete	1 / 3	3 months ago
37159	tool.cast_disasm	complete	1 / 3	3 months ago
37160	analysis.bundle	complete	1 / 3	3 months ago
37161	capability.graph	complete	1 / 3	3 months ago
37162	detector.run	complete	1 / 3	3 months ago
37163	validation.fork	complete	1 / 3	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

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

0

CALL-family (heavy)

13

EXT*/BALANCE

12

Total opcodes

7996

Flags

heavy_ext_balance_usage call_family_heavy

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 0x0399
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x70a08231
00000026: GT
00000027: PUSH2 0x01e9
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xb7f1118a
00000031: GT
00000032: PUSH2 0x010f
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xc914b437
0000003c: GT
0000003d: PUSH2 0x00ad
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xe0766000
00000047: GT
00000048: PUSH2 0x007c
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xe0766000
00000052: EQ
00000053: PUSH2 0x0b8b
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xe12b6306
0000005d: EQ
0000005e: PUSH2 0x0b93
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfca7820b
00000068: EQ
00000069: PUSH2 0x0b9b
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xfff6cae9
00000073: EQ
00000074: PUSH2 0x0bb8
00000077: JUMPI
00000078: PUSH2 0x0399
0000007b: JUMP
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0xc914b437
00000083: EQ
00000084: PUSH2 0x0ae2
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xd505accf
0000008e: EQ
0000008f: PUSH2 0x0aea
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xd8dfeb45
00000099: EQ
0000009a: PUSH2 0x0b48
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xdd62ed3e
000000a4: EQ
000000a5: PUSH2 0x0b50
000000a8: JUMPI
000000a9: PUSH2 0x0399
000000ac: JUMP
000000ad: JUMPDEST
000000ae: DUP1
000000af: PUSH4 0xbc25cf77
000000b4: GT
000000b5: PUSH2 0x00e9
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xbc25cf77
000000bf: EQ
000000c0: PUSH2 0x0a97
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xbe340e32
000000ca: EQ
000000cb: PUSH2 0x0aca
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xc45a0155
000000d5: EQ
000000d6: PUSH2 0x0ad2
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xc72f3fbb
000000e0: EQ
000000e1: PUSH2 0x0ada
000000e4: JUMPI
000000e5: PUSH2 0x0399
000000e8: JUMP
000000e9: JUMPDEST
000000ea: DUP1
000000eb: PUSH4 0xb7f1118a
000000f0: EQ
000000f1: PUSH2 0x0a54
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0xb95b92a3
000000fb: EQ
000000fc: PUSH2 0x0a87
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0xba9a7a56
00000106: EQ
00000107: PUSH2 0x0a8f
0000010a: JUMPI
0000010b: PUSH2 0x0399
0000010e: JUMP
0000010f: JUMPDEST
00000110: DUP1
00000111: PUSH4 0x95a2251f
00000116: GT
00000117: PUSH2 0x0187
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xa6afed95
00000121: GT
00000122: PUSH2 0x0156
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xa6afed95
0000012c: EQ
0000012d: PUSH2 0x0a03
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xa9059cbb
00000137: EQ
00000138: PUSH2 0x0a0b
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xaa5af0fd
00000142: EQ
00000143: PUSH2 0x0a44
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0xad7a672f
0000014d: EQ
0000014e: PUSH2 0x0a4c
00000151: JUMPI
00000152: PUSH2 0x0399
00000155: JUMP
00000156: JUMPDEST
00000157: DUP1
00000158: PUSH4 0x95a2251f
0000015d: EQ
0000015e: PUSH2 0x0962
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x95d89b41
00000168: EQ
00000169: PUSH2 0x0995
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0x9e79b55c
00000173: EQ
00000174: PUSH2 0x099d
00000177: JUMPI
00000178: DUP1
00000179: PUSH4 0xa0715719
0000017e: EQ
0000017f: PUSH2 0x09fb
00000182: JUMPI
00000183: PUSH2 0x0399
00000186: JUMP
00000187: JUMPDEST
00000188: DUP1
00000189: PUSH4 0x86b9d81f
0000018e: GT
0000018f: PUSH2 0x01c3
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x86b9d81f
00000199: EQ
0000019a: PUSH2 0x08ae
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x91b42745
000001a4: EQ
000001a5: PUSH2 0x08e9
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0x926d845b
000001af: EQ
000001b0: PUSH2 0x090c
000001b3: JUMPI
000001b4: DUP1
000001b5: PUSH4 0x9292b032
000001ba: EQ
000001bb: PUSH2 0x0945
000001be: JUMPI
000001bf: PUSH2 0x0399
000001c2: JUMP
000001c3: JUMPDEST
000001c4: DUP1
000001c5: PUSH4 0x70a08231
000001ca: EQ
000001cb: PUSH2 0x0827
000001ce: JUMPI
000001cf: DUP1
000001d0: PUSH4 0x796b89b9
000001d5: EQ
000001d6: PUSH2 0x085a
000001d9: JUMPI
000001da: DUP1
000001db: PUSH4 0x7ecebe00
000001e0: EQ
000001e1: PUSH2 0x087b
000001e4: JUMPI
000001e5: PUSH2 0x0399
000001e8: JUMP
000001e9: JUMPDEST
000001ea: DUP1
000001eb: PUSH4 0x35542822
000001f0: GT
000001f1: PUSH2 0x02ce
000001f4: JUMPI
000001f5: DUP1
000001f6: PUSH4 0x4d73e9ba
000001fb: GT
000001fc: PUSH2 0x026c
000001ff: JUMPI
00000200: DUP1
00000201: PUSH4 0x6a030c11
00000206: GT
00000207: PUSH2 0x023b
0000020a: JUMPI
0000020b: DUP1
0000020c: PUSH4 0x6a030c11
00000211: EQ
00000212: PUSH2 0x06d1
00000215: JUMPI
00000216: DUP1
00000217: PUSH4 0x6a627842
0000021c: EQ
0000021d: PUSH2 0x07b1
00000220: JUMPI
00000221: DUP1
00000222: PUSH4 0x6bd76d24
00000227: EQ
00000228: PUSH2 0x07e4
0000022b: JUMPI
0000022c: DUP1
0000022d: PUSH4 0x6f307dc3
00000232: EQ
00000233: PUSH2 0x081f
00000236: JUMPI
00000237: PUSH2 0x0399
0000023a: JUMP
0000023b: JUMPDEST
0000023c: DUP1
0000023d: PUSH4 0x4d73e9ba
00000242: EQ
00000243: PUSH2 0x065d
00000246: JUMPI
00000247: DUP1
00000248: PUSH4 0x55957220
0000024d: EQ
0000024e: PUSH2 0x0690
00000251: JUMPI
00000252: DUP1
00000253: PUSH4 0x5b2b9d1a
00000258: EQ
00000259: PUSH2 0x06c1
0000025c: JUMPI
0000025d: DUP1
0000025e: PUSH4 0x68544065
00000263: EQ
00000264: PUSH2 0x06c9
00000267: JUMPI
00000268: PUSH2 0x0399
0000026b: JUMP
0000026c: JUMPDEST
0000026d: DUP1
0000026e: PUSH4 0x4322b714
00000273: GT
00000274: PUSH2 0x02a8
00000277: JUMPI
00000278: DUP1
00000279: PUSH4 0x4322b714
0000027e: EQ
0000027f: PUSH2 0x061a
00000282: JUMPI
00000283: DUP1
00000284: PUSH4 0x452ae95f
00000289: EQ
0000028a: PUSH2 0x0622
0000028d: JUMPI
0000028e: DUP1
0000028f: PUSH4 0x47bd3718
00000294: EQ
00000295: PUSH2 0x062a
00000298: JUMPI
00000299: DUP1
0000029a: PUSH4 0x4a5d316c
0000029f: EQ
000002a0: PUSH2 0x0655
000002a3: JUMPI
000002a4: PUSH2 0x0399
000002a7: JUMP
000002a8: JUMPDEST
000002a9: DUP1
000002aa: PUSH4 0x35542822
000002af: EQ
000002b0: PUSH2 0x05d7
000002b3: JUMPI
000002b4: DUP1
000002b5: PUSH4 0x3644e515
000002ba: EQ
000002bb: PUSH2 0x060a
000002be: JUMPI
000002bf: DUP1
000002c0: PUSH4 0x3ba0b9a9
000002c5: EQ
000002c6: PUSH2 0x0612
000002c9: JUMPI
000002ca: PUSH2 0x0399
000002cd: JUMP
000002ce: JUMPDEST
000002cf: DUP1
000002d0: PUSH4 0x2374e8a9
000002d5: GT
000002d6: PUSH2 0x033b
000002d9: JUMPI
000002da: DUP1
000002db: PUSH4 0x27549a0b
000002e0: GT
000002e1: PUSH2 0x0315
000002e4: JUMPI
000002e5: DUP1
000002e6: PUSH4 0x27549a0b
000002eb: EQ
000002ec: PUSH2 0x058c
000002ef: JUMPI
000002f0: DUP1
000002f1: PUSH4 0x2d5231d3
000002f6: EQ
000002f7: PUSH2 0x05a9
000002fa: JUMPI
000002fb: DUP1
000002fc: PUSH4 0x30adf81f
00000301: EQ
00000302: PUSH2 0x05b1
00000305: JUMPI
00000306: DUP1
00000307: PUSH4 0x313ce567
0000030c: EQ
0000030d: PUSH2 0x05b9
00000310: JUMPI
00000311: PUSH2 0x0399
00000314: JUMP
00000315: JUMPDEST
00000316: DUP1
00000317: PUSH4 0x2374e8a9
0000031c: EQ
0000031d: PUSH2 0x0539
00000320: JUMPI
00000321: DUP1
00000322: PUSH4 0x23b872dd
00000327: EQ
00000328: PUSH2 0x0541
0000032b: JUMPI
0000032c: DUP1
0000032d: PUSH4 0x253c24f3
00000332: EQ
00000333: PUSH2 0x0584
00000336: JUMPI
00000337: PUSH2 0x0399
0000033a: JUMP
0000033b: JUMPDEST
0000033c: DUP1
0000033d: PUSH4 0x095ea7b3
00000342: GT
00000343: PUSH2 0x0377
00000346: JUMPI
00000347: DUP1
00000348: PUSH4 0x095ea7b3
0000034d: EQ
0000034e: PUSH2 0x043d
00000351: JUMPI
00000352: DUP1
00000353: PUSH4 0x18160ddd
00000358: EQ
00000359: PUSH2 0x048a
0000035c: JUMPI
0000035d: DUP1
0000035e: PUSH4 0x1aebf12f
00000363: EQ
00000364: PUSH2 0x0492
00000367: JUMPI
00000368: DUP1
00000369: PUSH4 0x1e7dcc0d
0000036e: EQ
0000036f: PUSH2 0x049a
00000372: JUMPI
00000373: PUSH2 0x0399
00000376: JUMP
00000377: JUMPDEST
00000378: DUP1
00000379: PUSH4 0x01f8c1c8
0000037e: EQ
0000037f: PUSH2 0x039e
00000382: JUMPI
00000383: DUP1
00000384: PUSH4 0x06fdde03
00000389: EQ
0000038a: PUSH2 0x03b8
0000038d: JUMPI
0000038e: DUP1
0000038f: PUSH4 0x075f4e7f
00000394: EQ
00000395: PUSH2 0x0435
00000398: JUMPI
00000399: JUMPDEST
0000039a: PUSH1 0x00
0000039c: DUP1
0000039d: REVERT
0000039e: JUMPDEST
0000039f: PUSH2 0x03a6
000003a2: PUSH2 0x0bc0
000003a5: JUMP
000003a6: JUMPDEST
000003a7: PUSH1 0x40
000003a9: DUP1
000003aa: MLOAD
000003ab: SWAP2
000003ac: DUP3
000003ad: MSTORE
000003ae: MLOAD
000003af: SWAP1
000003b0: DUP2
000003b1: SWAP1
000003b2: SUB
000003b3: PUSH1 0x20
000003b5: ADD
000003b6: SWAP1
000003b7: RETURN
000003b8: JUMPDEST
000003b9: PUSH2 0x03c0
000003bc: PUSH2 0x0be4
000003bf: JUMP
000003c0: JUMPDEST
000003c1: PUSH1 0x40
000003c3: DUP1
000003c4: MLOAD
000003c5: PUSH1 0x20
000003c7: DUP1
000003c8: DUP3
000003c9: MSTORE
000003ca: DUP4
000003cb: MLOAD
000003cc: DUP2
000003cd: DUP4
000003ce: ADD
000003cf: MSTORE
000003d0: DUP4
000003d1: MLOAD
000003d2: SWAP2
000003d3: SWAP3
000003d4: DUP4
000003d5: SWAP3
000003d6: SWAP1
000003d7: DUP4
000003d8: ADD
000003d9: SWAP2
000003da: DUP6
000003db: ADD
000003dc: SWAP1
000003dd: DUP1
000003de: DUP4
000003df: DUP4
000003e0: PUSH1 0x00
000003e2: JUMPDEST
000003e3: DUP4
000003e4: DUP2
000003e5: LT
000003e6: ISZERO
000003e7: PUSH2 0x03fa
000003ea: JUMPI
000003eb: DUP2
000003ec: DUP2
000003ed: ADD
000003ee: MLOAD
000003ef: DUP4
000003f0: DUP3
000003f1: ADD
000003f2: MSTORE
000003f3: PUSH1 0x20
000003f5: ADD
000003f6: PUSH2 0x03e2
000003f9: JUMP
000003fa: JUMPDEST
000003fb: POP
000003fc: POP
000003fd: POP
000003fe: POP
000003ff: SWAP1
00000400: POP
00000401: SWAP1
00000402: DUP2
00000403: ADD
00000404: SWAP1
00000405: PUSH1 0x1f
00000407: AND
00000408: DUP1
00000409: ISZERO
0000040a: PUSH2 0x0427
0000040d: JUMPI
0000040e: DUP1
0000040f: DUP3
00000410: SUB
00000411: DUP1
00000412: MLOAD
00000413: PUSH1 0x01
00000415: DUP4
00000416: PUSH1 0x20
00000418: SUB
00000419: PUSH2 0x0100
0000041c: EXP
0000041d: SUB
0000041e: NOT
0000041f: AND
00000420: DUP2
00000421: MSTORE
00000422: PUSH1 0x20
00000424: ADD
00000425: SWAP2
00000426: POP
00000427: JUMPDEST
00000428: POP
00000429: SWAP3
0000042a: POP
0000042b: POP
0000042c: POP
0000042d: PUSH1 0x40
0000042f: MLOAD
00000430: DUP1
00000431: SWAP2
00000432: SUB
00000433: SWAP1
00000434: RETURN
00000435: JUMPDEST
00000436: PUSH2 0x03a6
00000439: PUSH2 0x0c90
0000043c: JUMP
0000043d: JUMPDEST
0000043e: PUSH2 0x0476
00000441: PUSH1 0x04
00000443: DUP1
00000444: CALLDATASIZE
00000445: SUB
00000446: PUSH1 0x40
00000448: DUP2
00000449: LT
0000044a: ISZERO
0000044b: PUSH2 0x0453
0000044e: JUMPI
0000044f: PUSH1 0x00
00000451: DUP1
00000452: REVERT
00000453: JUMPDEST
00000454: POP
00000455: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000046a: DUP2
0000046b: CALLDATALOAD
0000046c: AND
0000046d: SWAP1
0000046e: PUSH1 0x20
00000470: ADD
00000471: CALLDATALOAD
00000472: PUSH2 0x0c99
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH1 0x40
00000479: DUP1
0000047a: MLOAD
0000047b: SWAP2
0000047c: ISZERO
0000047d: ISZERO
0000047e: DUP3
0000047f: MSTORE
00000480: MLOAD
00000481: SWAP1
00000482: DUP2
00000483: SWAP1
00000484: SUB
00000485: PUSH1 0x20
00000487: ADD
00000488: SWAP1
00000489: RETURN
0000048a: JUMPDEST
0000048b: PUSH2 0x03a6
0000048e: PUSH2 0x0cb0
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH2 0x03a6
00000496: PUSH2 0x0cb6
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH2 0x0537
0000049e: PUSH1 0x04
000004a0: DUP1
000004a1: CALLDATASIZE
000004a2: SUB
000004a3: PUSH1 0x80
000004a5: DUP2
000004a6: LT
000004a7: ISZERO
000004a8: PUSH2 0x04b0
000004ab: JUMPI
000004ac: PUSH1 0x00
000004ae: DUP1
000004af: REVERT
000004b0: JUMPDEST
000004b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004c6: DUP3
000004c7: CALLDATALOAD
000004c8: DUP2
000004c9: AND
000004ca: SWAP3
000004cb: PUSH1 0x20
000004cd: DUP2
000004ce: ADD
000004cf: CALLDATALOAD
000004d0: SWAP1
000004d1: SWAP2
000004d2: AND
000004d3: SWAP2
000004d4: PUSH1 0x40
000004d6: DUP3
000004d7: ADD
000004d8: CALLDATALOAD
000004d9: SWAP2
000004da: SWAP1
000004db: DUP2
000004dc: ADD
000004dd: SWAP1
000004de: PUSH1 0x80
000004e0: DUP2
000004e1: ADD
000004e2: PUSH1 0x60
000004e4: DUP3
000004e5: ADD
000004e6: CALLDATALOAD
000004e7: PUSH5 0x0100000000
000004ed: DUP2
000004ee: GT
000004ef: ISZERO
000004f0: PUSH2 0x04f8
000004f3: JUMPI
000004f4: PUSH1 0x00
000004f6: DUP1
000004f7: REVERT
000004f8: JUMPDEST
000004f9: DUP3
000004fa: ADD
000004fb: DUP4
000004fc: PUSH1 0x20
000004fe: DUP3
000004ff: ADD
00000500: GT
00000501: ISZERO
00000502: PUSH2 0x050a
00000505: JUMPI
00000506: PUSH1 0x00
00000508: DUP1
00000509: REVERT
0000050a: JUMPDEST
0000050b: DUP1
0000050c: CALLDATALOAD
0000050d: SWAP1
0000050e: PUSH1 0x20
00000510: ADD
00000511: SWAP2
00000512: DUP5
00000513: PUSH1 0x01
00000515: DUP4
00000516: MUL
00000517: DUP5
00000518: ADD
00000519: GT
0000051a: PUSH5 0x0100000000
00000520: DUP4
00000521: GT
00000522: OR
00000523: ISZERO
00000524: PUSH2 0x052c
00000527: JUMPI
00000528: PUSH1 0x00
0000052a: DUP1
0000052b: REVERT
0000052c: JUMPDEST
0000052d: POP
0000052e: SWAP1
0000052f: SWAP3
00000530: POP
00000531: SWAP1
00000532: POP
00000533: PUSH2 0x0cbc
00000536: JUMP
00000537: JUMPDEST
00000538: STOP
00000539: JUMPDEST
0000053a: PUSH2 0x03a6
0000053d: PUSH2 0x123c
00000540: JUMP
00000541: JUMPDEST
00000542: PUSH2 0x0476
00000545: PUSH1 0x04
00000547: DUP1
00000548: CALLDATASIZE
00000549: SUB
0000054a: PUSH1 0x60
0000054c: DUP2
0000054d: LT
0000054e: ISZERO
0000054f: PUSH2 0x0557
00000552: JUMPI
00000553: PUSH1 0x00
00000555: DUP1
00000556: REVERT
00000557: JUMPDEST
00000558: POP
00000559: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000056e: DUP2
0000056f: CALLDATALOAD
00000570: DUP2
00000571: AND
00000572: SWAP2
00000573: PUSH1 0x20
00000575: DUP2
00000576: ADD
00000577: CALLDATALOAD
00000578: SWAP1
00000579: SWAP2
0000057a: AND
0000057b: SWAP1
0000057c: PUSH1 0x40
0000057e: ADD
0000057f: CALLDATALOAD
00000580: PUSH2 0x1248
00000583: JUMP
00000584: JUMPDEST
00000585: PUSH2 0x03a6
00000588: PUSH2 0x135c
0000058b: JUMP
0000058c: JUMPDEST
0000058d: PUSH2 0x0537
00000590: PUSH1 0x04
00000592: DUP1
00000593: CALLDATASIZE
00000594: SUB
00000595: PUSH1 0x20
00000597: DUP2
00000598: LT
00000599: ISZERO
0000059a: PUSH2 0x05a2
0000059d: JUMPI
0000059e: PUSH1 0x00
000005a0: DUP1
000005a1: REVERT
000005a2: JUMPDEST
000005a3: POP
000005a4: CALLDATALOAD
000005a5: PUSH2 0x1366
000005a8: JUMP
000005a9: JUMPDEST
000005aa: PUSH2 0x03a6
000005ad: PUSH2 0x147b
000005b0: JUMP
000005b1: JUMPDEST
000005b2: PUSH2 0x03a6
000005b5: PUSH2 0x1481
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH2 0x05c1
000005bd: PUSH2 0x14a5
000005c0: JUMP
000005c1: JUMPDEST
000005c2: PUSH1 0x40
000005c4: DUP1
000005c5: MLOAD
000005c6: PUSH1 0xff
000005c8: SWAP1
000005c9: SWAP3
000005ca: AND
000005cb: DUP3
000005cc: MSTORE
000005cd: MLOAD
000005ce: SWAP1
000005cf: DUP2
000005d0: SWAP1
000005d1: SUB
000005d2: PUSH1 0x20
000005d4: ADD
000005d5: SWAP1
000005d6: RETURN
000005d7: JUMPDEST
000005d8: PUSH2 0x0537
000005db: PUSH1 0x04
000005dd: DUP1
000005de: CALLDATASIZE
000005df: SUB
000005e0: PUSH1 0x20
000005e2: DUP2
000005e3: LT
000005e4: ISZERO
000005e5: PUSH2 0x05ed
000005e8: JUMPI
000005e9: PUSH1 0x00
000005eb: DUP1
000005ec: REVERT
000005ed: JUMPDEST
000005ee: POP
000005ef: CALLDATALOAD
000005f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000605: AND
00000606: PUSH2 0x14ae
00000609: JUMP
0000060a: JUMPDEST
0000060b: PUSH2 0x03a6
0000060e: PUSH2 0x15f3
00000611: JUMP
00000612: JUMPDEST
00000613: PUSH2 0x03a6
00000616: PUSH2 0x15f9
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH2 0x03a6
0000061e: PUSH2 0x1692
00000621: JUMP
00000622: JUMPDEST
00000623: PUSH2 0x03a6
00000626: PUSH2 0x1698
00000629: JUMP
0000062a: JUMPDEST
0000062b: PUSH2 0x0632
0000062e: PUSH2 0x16a1
00000631: JUMP
00000632: JUMPDEST
00000633: PUSH1 0x40
00000635: DUP1
00000636: MLOAD
00000637: PUSH14 0xffffffffffffffffffffffffffff
00000646: SWAP1
00000647: SWAP3
00000648: AND
00000649: DUP3
0000064a: MSTORE
0000064b: MLOAD
0000064c: SWAP1
0000064d: DUP2
0000064e: SWAP1
0000064f: SUB
00000650: PUSH1 0x20
00000652: ADD
00000653: SWAP1
00000654: RETURN
00000655: JUMPDEST
00000656: PUSH2 0x0537
00000659: PUSH2 0x16c9
0000065c: JUMP
0000065d: JUMPDEST
0000065e: PUSH2 0x03a6
00000661: PUSH1 0x04
00000663: DUP1
00000664: CALLDATASIZE
00000665: SUB
00000666: PUSH1 0x20
00000668: DUP2
00000669: LT
0000066a: ISZERO
0000066b: PUSH2 0x0673
0000066e: JUMPI
0000066f: PUSH1 0x00
00000671: DUP1
00000672: REVERT
00000673: JUMPDEST
00000674: POP
00000675: CALLDATALOAD
00000676: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000068b: AND
0000068c: PUSH2 0x177a
0000068f: JUMP
00000690: JUMPDEST
00000691: PUSH2 0x0698
00000694: PUSH2 0x1830
00000697: JUMP
00000698: JUMPDEST
00000699: PUSH1 0x40
0000069b: DUP1
0000069c: MLOAD
0000069d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b2: SWAP1
000006b3: SWAP3
000006b4: AND
000006b5: DUP3
000006b6: MSTORE
000006b7: MLOAD
000006b8: SWAP1
000006b9: DUP2
000006ba: SWAP1
000006bb: SUB
000006bc: PUSH1 0x20
000006be: ADD
000006bf: SWAP1
000006c0: RETURN
000006c1: JUMPDEST
000006c2: PUSH2 0x03a6
000006c5: PUSH2 0x184c
000006c8: JUMP
000006c9: JUMPDEST
000006ca: PUSH2 0x03a6
000006cd: PUSH2 0x1851
000006d0: JUMP
000006d1: JUMPDEST
000006d2: PUSH2 0x0537
000006d5: PUSH1 0x04
000006d7: DUP1
000006d8: CALLDATASIZE
000006d9: SUB
000006da: PUSH1 0x80
000006dc: DUP2
000006dd: LT
000006de: ISZERO
000006df: PUSH2 0x06e7
000006e2: JUMPI
000006e3: PUSH1 0x00
000006e5: DUP1
000006e6: REVERT
000006e7: JUMPDEST
000006e8: DUP2
000006e9: ADD
000006ea: SWAP1
000006eb: PUSH1 0x20
000006ed: DUP2
000006ee: ADD
000006ef: DUP2
000006f0: CALLDATALOAD
000006f1: PUSH5 0x0100000000
000006f7: DUP2
000006f8: GT
000006f9: ISZERO
000006fa: PUSH2 0x0702
000006fd: JUMPI
000006fe: PUSH1 0x00
00000700: DUP1
00000701: REVERT
00000702: JUMPDEST
00000703: DUP3
00000704: ADD
00000705: DUP4
00000706: PUSH1 0x20
00000708: DUP3
00000709: ADD
0000070a: GT
0000070b: ISZERO
0000070c: PUSH2 0x0714
0000070f: JUMPI
00000710: PUSH1 0x00
00000712: DUP1
00000713: REVERT
00000714: JUMPDEST
00000715: DUP1
00000716: CALLDATALOAD
00000717: SWAP1
00000718: PUSH1 0x20
0000071a: ADD
0000071b: SWAP2
0000071c: DUP5
0000071d: PUSH1 0x01
0000071f: DUP4
00000720: MUL
00000721: DUP5
00000722: ADD
00000723: GT
00000724: PUSH5 0x0100000000
0000072a: DUP4
0000072b: GT
0000072c: OR
0000072d: ISZERO
0000072e: PUSH2 0x0736
00000731: JUMPI
00000732: PUSH1 0x00
00000734: DUP1
00000735: REVERT
00000736: JUMPDEST
00000737: SWAP2
00000738: SWAP4
00000739: SWAP1
0000073a: SWAP3
0000073b: SWAP1
0000073c: SWAP2
0000073d: PUSH1 0x20
0000073f: DUP2
00000740: ADD
00000741: SWAP1
00000742: CALLDATALOAD
00000743: PUSH5 0x0100000000
00000749: DUP2
0000074a: GT
0000074b: ISZERO
0000074c: PUSH2 0x0754
0000074f: JUMPI
00000750: PUSH1 0x00
00000752: DUP1
00000753: REVERT
00000754: JUMPDEST
00000755: DUP3
00000756: ADD
00000757: DUP4
00000758: PUSH1 0x20
0000075a: DUP3
0000075b: ADD
0000075c: GT
0000075d: ISZERO
0000075e: PUSH2 0x0766
00000761: JUMPI
00000762: PUSH1 0x00
00000764: DUP1
00000765: REVERT
00000766: JUMPDEST
00000767: DUP1
00000768: CALLDATALOAD
00000769: SWAP1
0000076a: PUSH1 0x20
0000076c: ADD
0000076d: SWAP2
0000076e: DUP5
0000076f: PUSH1 0x01
00000771: DUP4
00000772: MUL
00000773: DUP5
00000774: ADD
00000775: GT
00000776: PUSH5 0x0100000000
0000077c: DUP4
0000077d: GT
0000077e: OR
0000077f: ISZERO
00000780: PUSH2 0x0788
00000783: JUMPI
00000784: PUSH1 0x00
00000786: DUP1
00000787: REVERT
00000788: JUMPDEST
00000789: SWAP2
0000078a: SWAP4
0000078b: POP
0000078c: SWAP2
0000078d: POP
0000078e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a3: DUP2
000007a4: CALLDATALOAD
000007a5: DUP2
000007a6: AND
000007a7: SWAP2
000007a8: PUSH1 0x20
000007aa: ADD
000007ab: CALLDATALOAD
000007ac: AND
000007ad: PUSH2 0x185d
000007b0: JUMP
000007b1: JUMPDEST
000007b2: PUSH2 0x03a6
000007b5: PUSH1 0x04
000007b7: DUP1
000007b8: CALLDATASIZE
000007b9: SUB
000007ba: PUSH1 0x20
000007bc: DUP2
000007bd: LT
000007be: ISZERO
000007bf: PUSH2 0x07c7
000007c2: JUMPI
000007c3: PUSH1 0x00
000007c5: DUP1
000007c6: REVERT
000007c7: JUMPDEST
000007c8: POP
000007c9: CALLDATALOAD
000007ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007df: AND
000007e0: PUSH2 0x19de
000007e3: JUMP
000007e4: JUMPDEST
000007e5: PUSH2 0x03a6
000007e8: PUSH1 0x04
000007ea: DUP1
000007eb: CALLDATASIZE
000007ec: SUB
000007ed: PUSH1 0x40
000007ef: DUP2
000007f0: LT
000007f1: ISZERO
000007f2: PUSH2 0x07fa
000007f5: JUMPI
000007f6: PUSH1 0x00
000007f8: DUP1
000007f9: REVERT
000007fa: JUMPDEST
000007fb: POP
000007fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000811: DUP2
00000812: CALLDATALOAD
00000813: DUP2
00000814: AND
00000815: SWAP2
00000816: PUSH1 0x20
00000818: ADD
00000819: CALLDATALOAD
0000081a: AND
0000081b: PUSH2 0x1c8c
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH2 0x0698
00000823: PUSH2 0x1ca9
00000826: JUMP
00000827: JUMPDEST
00000828: PUSH2 0x03a6
0000082b: PUSH1 0x04
0000082d: DUP1
0000082e: CALLDATASIZE
0000082f: SUB
00000830: PUSH1 0x20
00000832: DUP2
00000833: LT
00000834: ISZERO
00000835: PUSH2 0x083d
00000838: JUMPI
00000839: PUSH1 0x00
0000083b: DUP1
0000083c: REVERT
0000083d: JUMPDEST
0000083e: POP
0000083f: CALLDATALOAD
00000840: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000855: AND
00000856: PUSH2 0x1cc5
00000859: JUMP
0000085a: JUMPDEST
0000085b: PUSH2 0x0862
0000085e: PUSH2 0x1cd7
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH1 0x40
00000865: DUP1
00000866: MLOAD
00000867: PUSH4 0xffffffff
0000086c: SWAP1
0000086d: SWAP3
0000086e: AND
0000086f: DUP3
00000870: MSTORE
00000871: MLOAD
00000872: SWAP1
00000873: DUP2
00000874: SWAP1
00000875: SUB
00000876: PUSH1 0x20
00000878: ADD
00000879: SWAP1
0000087a: RETURN
0000087b: JUMPDEST
0000087c: PUSH2 0x03a6
0000087f: PUSH1 0x04
00000881: DUP1
00000882: CALLDATASIZE
00000883: SUB
00000884: PUSH1 0x20
00000886: DUP2
00000887: LT
00000888: ISZERO
00000889: PUSH2 0x0891
0000088c: JUMPI
0000088d: PUSH1 0x00
0000088f: DUP1
00000890: REVERT
00000891: JUMPDEST
00000892: POP
00000893: CALLDATALOAD
00000894: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a9: AND
000008aa: PUSH2 0x1ce1
000008ad: JUMP
000008ae: JUMPDEST
000008af: PUSH2 0x03a6
000008b2: PUSH1 0x04
000008b4: DUP1
000008b5: CALLDATASIZE
000008b6: SUB
000008b7: PUSH1 0x40
000008b9: DUP2
000008ba: LT
000008bb: ISZERO
000008bc: PUSH2 0x08c4
000008bf: JUMPI
000008c0: PUSH1 0x00
000008c2: DUP1
000008c3: REVERT
000008c4: JUMPDEST
000008c5: POP
000008c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008db: DUP2
000008dc: CALLDATALOAD
000008dd: DUP2
000008de: AND
000008df: SWAP2
000008e0: PUSH1 0x20
000008e2: ADD
000008e3: CALLDATALOAD
000008e4: AND
000008e5: PUSH2 0x1cf3
000008e8: JUMP
000008e9: JUMPDEST
000008ea: PUSH2 0x08f1
000008ed: PUSH2 0x1fe0
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH1 0x40
000008f4: DUP1
000008f5: MLOAD
000008f6: PUSH6 0xffffffffffff
000008fd: SWAP1
000008fe: SWAP3
000008ff: AND
00000900: DUP3
00000901: MSTORE
00000902: MLOAD
00000903: SWAP1
00000904: DUP2
00000905: SWAP1
00000906: SUB
00000907: PUSH1 0x20
00000909: ADD
0000090a: SWAP1
0000090b: RETURN
0000090c: JUMPDEST
0000090d: PUSH2 0x0476
00000910: PUSH1 0x04
00000912: DUP1
00000913: CALLDATASIZE
00000914: SUB
00000915: PUSH1 0x40
00000917: DUP2
00000918: LT
00000919: ISZERO
0000091a: PUSH2 0x0922
0000091d: JUMPI
0000091e: PUSH1 0x00
00000920: DUP1
00000921: REVERT
00000922: JUMPDEST
00000923: POP
00000924: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000939: DUP2
0000093a: CALLDATALOAD
0000093b: AND
0000093c: SWAP1
0000093d: PUSH1 0x20
0000093f: ADD
00000940: CALLDATALOAD
00000941: PUSH2 0x1ff8
00000944: JUMP
00000945: JUMPDEST
00000946: PUSH2 0x0537
00000949: PUSH1 0x04
0000094b: DUP1
0000094c: CALLDATASIZE
0000094d: SUB
0000094e: PUSH1 0x20
00000950: DUP2
00000951: LT
00000952: ISZERO
00000953: PUSH2 0x095b
00000956: JUMPI
00000957: PUSH1 0x00
00000959: DUP1
0000095a: REVERT
0000095b: JUMPDEST
0000095c: POP
0000095d: CALLDATALOAD
0000095e: PUSH2 0x2005
00000961: JUMP
00000962: JUMPDEST
00000963: PUSH2 0x03a6
00000966: PUSH1 0x04
00000968: DUP1
00000969: CALLDATASIZE
0000096a: SUB
0000096b: PUSH1 0x20
0000096d: DUP2
0000096e: LT
0000096f: ISZERO
00000970: PUSH2 0x0978
00000973: JUMPI
00000974: PUSH1 0x00
00000976: DUP1
00000977: REVERT
00000978: JUMPDEST
00000979: POP
0000097a: CALLDATALOAD
0000097b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000990: AND
00000991: PUSH2 0x211f
00000994: JUMP
00000995: JUMPDEST
00000996: PUSH2 0x03c0
00000999: PUSH2 0x2343
0000099c: JUMP
0000099d: JUMPDEST
0000099e: PUSH2 0x0537
000009a1: PUSH1 0x04
000009a3: DUP1
000009a4: CALLDATASIZE
000009a5: SUB
000009a6: PUSH1 0xe0
000009a8: DUP2
000009a9: LT
000009aa: ISZERO
000009ab: PUSH2 0x09b3
000009ae: JUMPI
000009af: PUSH1 0x00
000009b1: DUP1
000009b2: REVERT
000009b3: JUMPDEST
000009b4: POP
000009b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ca: DUP2
000009cb: CALLDATALOAD
000009cc: DUP2
000009cd: AND
000009ce: SWAP2
000009cf: PUSH1 0x20
000009d1: DUP2
000009d2: ADD
000009d3: CALLDATALOAD
000009d4: SWAP1
000009d5: SWAP2
000009d6: AND
000009d7: SWAP1
000009d8: PUSH1 0x40
000009da: DUP2
000009db: ADD
000009dc: CALLDATALOAD
000009dd: SWAP1
000009de: PUSH1 0x60
000009e0: DUP2
000009e1: ADD
000009e2: CALLDATALOAD
000009e3: SWAP1
000009e4: PUSH1 0xff
000009e6: PUSH1 0x80
000009e8: DUP3
000009e9: ADD
000009ea: CALLDATALOAD
000009eb: AND
000009ec: SWAP1
000009ed: PUSH1 0xa0
000009ef: DUP2
000009f0: ADD
000009f1: CALLDATALOAD
000009f2: SWAP1
000009f3: PUSH1 0xc0
000009f5: ADD
000009f6: CALLDATALOAD
000009f7: PUSH2 0x23bb
000009fa: JUMP
000009fb: JUMPDEST
000009fc: PUSH2 0x03a6
000009ff: PUSH2 0x23ff
00000a02: JUMP
00000a03: JUMPDEST
00000a04: PUSH2 0x0537
00000a07: PUSH2 0x240a
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: PUSH2 0x0476
00000a0f: PUSH1 0x04
00000a11: DUP1
00000a12: CALLDATASIZE
00000a13: SUB
00000a14: PUSH1 0x40
00000a16: DUP2
00000a17: LT
00000a18: ISZERO
00000a19: PUSH2 0x0a21
00000a1c: JUMPI
00000a1d: PUSH1 0x00
00000a1f: DUP1
00000a20: REVERT
00000a21: JUMPDEST
00000a22: POP
00000a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a38: DUP2
00000a39: CALLDATALOAD
00000a3a: AND
00000a3b: SWAP1
00000a3c: PUSH1 0x20
00000a3e: ADD
00000a3f: CALLDATALOAD
00000a40: PUSH2 0x2649
00000a43: JUMP
00000a44: JUMPDEST
00000a45: PUSH2 0x0632
00000a48: PUSH2 0x2656
00000a4b: JUMP
00000a4c: JUMPDEST
00000a4d: PUSH2 0x03a6
00000a50: PUSH2 0x266c
00000a53: JUMP
00000a54: JUMPDEST
00000a55: PUSH2 0x0537
00000a58: PUSH1 0x04
00000a5a: DUP1
00000a5b: CALLDATASIZE
00000a5c: SUB
00000a5d: PUSH1 0x20
00000a5f: DUP2
00000a60: LT
00000a61: ISZERO
00000a62: PUSH2 0x0a6a
00000a65: JUMPI
00000a66: PUSH1 0x00
00000a68: DUP1
00000a69: REVERT
00000a6a: JUMPDEST
00000a6b: POP
00000a6c: CALLDATALOAD
00000a6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a82: AND
00000a83: PUSH2 0x2672
00000a86: JUMP
00000a87: JUMPDEST
00000a88: PUSH2 0x0862
00000a8b: PUSH2 0x269a
00000a8e: JUMP
00000a8f: JUMPDEST
00000a90: PUSH2 0x03a6
00000a93: PUSH2 0x26c6
00000a96: JUMP
00000a97: JUMPDEST
00000a98: PUSH2 0x0537
00000a9b: PUSH1 0x04
00000a9d: DUP1
00000a9e: CALLDATASIZE
00000a9f: SUB
00000aa0: PUSH1 0x20
00000aa2: DUP2
00000aa3: LT
00000aa4: ISZERO
00000aa5: PUSH2 0x0aad
00000aa8: JUMPI
00000aa9: PUSH1 0x00
00000aab: DUP1
00000aac: REVERT
00000aad: JUMPDEST
00000aae: POP
00000aaf: CALLDATALOAD
00000ab0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac5: AND
00000ac6: PUSH2 0x26cc
00000ac9: JUMP
00000aca: JUMPDEST
00000acb: PUSH2 0x03a6
00000ace: PUSH2 0x284f
00000ad1: JUMP
00000ad2: JUMPDEST
00000ad3: PUSH2 0x0698
00000ad6: PUSH2 0x2855
00000ad9: JUMP
00000ada: JUMPDEST
00000adb: PUSH2 0x03a6
00000ade: PUSH2 0x2871
00000ae1: JUMP
00000ae2: JUMPDEST
00000ae3: PUSH2 0x08f1
00000ae6: PUSH2 0x287d
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: PUSH2 0x0537
00000aee: PUSH1 0x04
00000af0: DUP1
00000af1: CALLDATASIZE
00000af2: SUB
00000af3: PUSH1 0xe0
00000af5: DUP2
00000af6: LT
00000af7: ISZERO
00000af8: PUSH2 0x0b00
00000afb: JUMPI
00000afc: PUSH1 0x00
00000afe: DUP1
00000aff: REVERT
00000b00: JUMPDEST
00000b01: POP
00000b02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b17: DUP2
00000b18: CALLDATALOAD
00000b19: DUP2
00000b1a: AND
00000b1b: SWAP2
00000b1c: PUSH1 0x20
00000b1e: DUP2
00000b1f: ADD
00000b20: CALLDATALOAD
00000b21: SWAP1
00000b22: SWAP2
00000b23: AND
00000b24: SWAP1
00000b25: PUSH1 0x40
00000b27: DUP2
00000b28: ADD
00000b29: CALLDATALOAD
00000b2a: SWAP1
00000b2b: PUSH1 0x60
00000b2d: DUP2
00000b2e: ADD
00000b2f: CALLDATALOAD
00000b30: SWAP1
00000b31: PUSH1 0xff
00000b33: PUSH1 0x80
00000b35: DUP3
00000b36: ADD
00000b37: CALLDATALOAD
00000b38: AND
00000b39: SWAP1
00000b3a: PUSH1 0xa0
00000b3c: DUP2
00000b3d: ADD
00000b3e: CALLDATALOAD
00000b3f: SWAP1
00000b40: PUSH1 0xc0
00000b42: ADD
00000b43: CALLDATALOAD
00000b44: PUSH2 0x288b
00000b47: JUMP
00000b48: JUMPDEST
00000b49: PUSH2 0x0698
00000b4c: PUSH2 0x28c6
00000b4f: JUMP
00000b50: JUMPDEST
00000b51: PUSH2 0x03a6
00000b54: PUSH1 0x04
00000b56: DUP1
00000b57: CALLDATASIZE
00000b58: SUB
00000b59: PUSH1 0x40
00000b5b: DUP2
00000b5c: LT
00000b5d: ISZERO
00000b5e: PUSH2 0x0b66
00000b61: JUMPI
00000b62: PUSH1 0x00
00000b64: DUP1
00000b65: REVERT
00000b66: JUMPDEST
00000b67: POP
00000b68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7d: DUP2
00000b7e: CALLDATALOAD
00000b7f: DUP2
00000b80: AND
00000b81: SWAP2
00000b82: PUSH1 0x20
00000b84: ADD
00000b85: CALLDATALOAD
00000b86: AND
00000b87: PUSH2 0x28e7
00000b8a: JUMP
00000b8b: JUMPDEST
00000b8c: PUSH2 0x03a6
00000b8f: PUSH2 0x2904
00000b92: JUMP
00000b93: JUMPDEST
00000b94: PUSH2 0x0862
00000b97: PUSH2 0x290c
00000b9a: JUMP
00000b9b: JUMPDEST
00000b9c: PUSH2 0x0537
00000b9f: PUSH1 0x04
00000ba1: DUP1
00000ba2: CALLDATASIZE
00000ba3: SUB
00000ba4: PUSH1 0x20
00000ba6: DUP2
00000ba7: LT
00000ba8: ISZERO
00000ba9: PUSH2 0x0bb1
00000bac: JUMPI
00000bad: PUSH1 0x00
00000baf: DUP1
00000bb0: REVERT
00000bb1: JUMPDEST
00000bb2: POP
00000bb3: CALLDATALOAD
00000bb4: PUSH2 0x2928
00000bb7: JUMP
00000bb8: JUMPDEST
00000bb9: PUSH2 0x0537
00000bbc: PUSH2 0x2a3b
00000bbf: JUMP
00000bc0: JUMPDEST
00000bc1: PUSH32 0xf6d86ed606f871fa1a557ac0ba607adce07767acf53f492fb215a1a4db4aea6f
00000be2: DUP2
00000be3: JUMP
00000be4: JUMPDEST
00000be5: PUSH1 0x00
00000be7: DUP1
00000be8: SLOAD
00000be9: PUSH1 0x40
00000beb: DUP1
00000bec: MLOAD
00000bed: PUSH1 0x20
00000bef: PUSH1 0x02
00000bf1: PUSH1 0x01
00000bf3: DUP6
00000bf4: AND
00000bf5: ISZERO
00000bf6: PUSH2 0x0100
00000bf9: MUL
00000bfa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000c1b: ADD
00000c1c: SWAP1
00000c1d: SWAP5
00000c1e: AND
00000c1f: SWAP4
00000c20: SWAP1
00000c21: SWAP4
00000c22: DIV
00000c23: PUSH1 0x1f
00000c25: DUP2
00000c26: ADD
00000c27: DUP5
00000c28: SWAP1
00000c29: DIV
00000c2a: DUP5
00000c2b: MUL
00000c2c: DUP3
00000c2d: ADD
00000c2e: DUP5
00000c2f: ADD
00000c30: SWAP1
00000c31: SWAP3
00000c32: MSTORE
00000c33: DUP2
00000c34: DUP2
00000c35: MSTORE
00000c36: SWAP3
00000c37: SWAP2
00000c38: DUP4
00000c39: ADD
00000c3a: DUP3
00000c3b: DUP3
00000c3c: DUP1
00000c3d: ISZERO
00000c3e: PUSH2 0x0c88
00000c41: JUMPI
00000c42: DUP1
00000c43: PUSH1 0x1f
00000c45: LT
00000c46: PUSH2 0x0c5d
00000c49: JUMPI
00000c4a: PUSH2 0x0100
00000c4d: DUP1
00000c4e: DUP4
00000c4f: SLOAD
00000c50: DIV
00000c51: MUL
00000c52: DUP4
00000c53: MSTORE
00000c54: SWAP2
00000c55: PUSH1 0x20
00000c57: ADD
00000c58: SWAP2
00000c59: PUSH2 0x0c88
00000c5c: JUMP
00000c5d: JUMPDEST
00000c5e: DUP3
00000c5f: ADD
00000c60: SWAP2
00000c61: SWAP1
00000c62: PUSH1 0x00
00000c64: MSTORE
00000c65: PUSH1 0x20
00000c67: PUSH1 0x00
00000c69: KECCAK256
00000c6a: SWAP1
00000c6b: JUMPDEST
00000c6c: DUP2
00000c6d: SLOAD
00000c6e: DUP2
00000c6f: MSTORE
00000c70: SWAP1
00000c71: PUSH1 0x01
00000c73: ADD
00000c74: SWAP1
00000c75: PUSH1 0x20
00000c77: ADD
00000c78: DUP1
00000c79: DUP4
00000c7a: GT
00000c7b: PUSH2 0x0c6b
00000c7e: JUMPI
00000c7f: DUP3
00000c80: SWAP1
00000c81: SUB
00000c82: PUSH1 0x1f
00000c84: AND
00000c85: DUP3
00000c86: ADD
00000c87: SWAP2
00000c88: JUMPDEST
00000c89: POP
00000c8a: POP
00000c8b: POP
00000c8c: POP
00000c8d: POP
00000c8e: DUP2
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: PUSH5 0x0d7957c4d0
00000c97: DUP2
00000c98: JUMP
00000c99: JUMPDEST
00000c9a: PUSH1 0x00
00000c9c: PUSH2 0x0ca6
00000c9f: CALLER
00000ca0: DUP5
00000ca1: DUP5
00000ca2: PUSH2 0x2b11
00000ca5: JUMP
00000ca6: JUMPDEST
00000ca7: POP
00000ca8: PUSH1 0x01
00000caa: JUMPDEST
00000cab: SWAP3
00000cac: SWAP2
00000cad: POP
00000cae: POP
00000caf: JUMP
00000cb0: JUMPDEST
00000cb1: PUSH1 0x03
00000cb3: SLOAD
00000cb4: DUP2
00000cb5: JUMP
00000cb6: JUMPDEST
00000cb7: PUSH1 0x12
00000cb9: SLOAD
00000cba: DUP2
00000cbb: JUMP
00000cbc: JUMPDEST
00000cbd: PUSH1 0x0b
00000cbf: SLOAD
00000cc0: PUSH1 0xff
00000cc2: AND
00000cc3: PUSH2 0x0d2d
00000cc6: JUMPI
00000cc7: PUSH1 0x40
00000cc9: DUP1
00000cca: MLOAD
00000ccb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cec: DUP2
00000ced: MSTORE
00000cee: PUSH1 0x20
00000cf0: PUSH1 0x04
00000cf2: DUP3
00000cf3: ADD
00000cf4: MSTORE
00000cf5: PUSH1 0x13
00000cf7: PUSH1 0x24
00000cf9: DUP3
00000cfa: ADD
00000cfb: MSTORE
00000cfc: PUSH32 0x496d7065726d61783a205245454e544552454400000000000000000000000000
00000d1d: PUSH1 0x44
00000d1f: DUP3
00000d20: ADD
00000d21: MSTORE
00000d22: SWAP1
00000d23: MLOAD
00000d24: SWAP1
00000d25: DUP2
00000d26: SWAP1
00000d27: SUB
00000d28: PUSH1 0x64
00000d2a: ADD
00000d2b: SWAP1
00000d2c: REVERT
00000d2d: JUMPDEST
00000d2e: PUSH1 0x0b
00000d30: DUP1
00000d31: SLOAD
00000d32: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000d53: AND
00000d54: SWAP1
00000d55: SSTORE
00000d56: PUSH2 0x0d5d
00000d59: PUSH2 0x240a
00000d5c: JUMP
00000d5d: JUMPDEST
00000d5e: PUSH1 0x0a
00000d60: SLOAD
00000d61: DUP1
00000d62: DUP5
00000d63: GT
00000d64: ISZERO
00000d65: PUSH2 0x0dcf
00000d68: JUMPI
00000d69: PUSH1 0x40
00000d6b: DUP1
00000d6c: MLOAD
00000d6d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d8e: DUP2
00000d8f: MSTORE
00000d90: PUSH1 0x20
00000d92: PUSH1 0x04
00000d94: DUP3
00000d95: ADD
00000d96: MSTORE
00000d97: PUSH1 0x1b
00000d99: PUSH1 0x24
00000d9b: DUP3
00000d9c: ADD
00000d9d: MSTORE
00000d9e: PUSH32 0x496d7065726d61783a20494e53554646494349454e545f434153480000000000
00000dbf: PUSH1 0x44
00000dc1: DUP3
00000dc2: ADD
00000dc3: MSTORE
00000dc4: SWAP1
00000dc5: MLOAD
00000dc6: SWAP1
00000dc7: DUP2
00000dc8: SWAP1
00000dc9: SUB
00000dca: PUSH1 0x64
00000dcc: ADD
00000dcd: SWAP1
00000dce: REVERT
00000dcf: JUMPDEST
00000dd0: PUSH2 0x0dda
00000dd3: DUP7
00000dd4: CALLER
00000dd5: DUP7
00000dd6: PUSH2 0x2b80
00000dd9: JUMP
00000dda: JUMPDEST
00000ddb: DUP4
00000ddc: ISZERO
00000ddd: PUSH2 0x0dea
00000de0: JUMPI
00000de1: PUSH2 0x0dea
00000de4: DUP6
00000de5: DUP6
00000de6: PUSH2 0x2c97
00000de9: JUMP
00000dea: JUMPDEST
00000deb: DUP2
00000dec: ISZERO
00000ded: PUSH2 0x0ec2
00000df0: JUMPI
00000df1: PUSH1 0x40
00000df3: MLOAD
00000df4: PUSH32 0x876d9d9e00000000000000000000000000000000000000000000000000000000
00000e15: DUP2
00000e16: MSTORE
00000e17: CALLER
00000e18: PUSH1 0x04
00000e1a: DUP3
00000e1b: ADD
00000e1c: DUP2
00000e1d: DUP2
00000e1e: MSTORE
00000e1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e34: DUP10
00000e35: DUP2
00000e36: AND
00000e37: PUSH1 0x24
00000e39: DUP6
00000e3a: ADD
00000e3b: MSTORE
00000e3c: PUSH1 0x44
00000e3e: DUP5
00000e3f: ADD
00000e40: DUP9
00000e41: SWAP1
00000e42: MSTORE
00000e43: PUSH1 0x80
00000e45: PUSH1 0x64
00000e47: DUP6
00000e48: ADD
00000e49: SWAP1
00000e4a: DUP2
00000e4b: MSTORE
00000e4c: PUSH1 0x84
00000e4e: DUP6
00000e4f: ADD
00000e50: DUP8
00000e51: SWAP1
00000e52: MSTORE
00000e53: SWAP1
00000e54: DUP10
00000e55: AND
00000e56: SWAP4
00000e57: PUSH4 0x876d9d9e
00000e5c: SWAP4
00000e5d: SWAP3
00000e5e: DUP12
00000e5f: SWAP3
00000e60: DUP11
00000e61: SWAP3
00000e62: DUP11
00000e63: SWAP3
00000e64: DUP11
00000e65: SWAP3
00000e66: SWAP1
00000e67: SWAP2
00000e68: PUSH1 0xa4
00000e6a: ADD
00000e6b: DUP5
00000e6c: DUP5
00000e6d: DUP1
00000e6e: DUP3
00000e6f: DUP5
00000e70: CALLDATACOPY
00000e71: PUSH1 0x00
00000e73: DUP2
00000e74: DUP5
00000e75: ADD
00000e76: MSTORE
00000e77: PUSH1 0x1f
00000e79: NOT
00000e7a: PUSH1 0x1f
00000e7c: DUP3
00000e7d: ADD
00000e7e: AND
00000e7f: SWAP1
00000e80: POP
00000e81: DUP1
00000e82: DUP4
00000e83: ADD
00000e84: SWAP3
00000e85: POP
00000e86: POP
00000e87: POP
00000e88: SWAP7
00000e89: POP
00000e8a: POP
00000e8b: POP
00000e8c: POP
00000e8d: POP
00000e8e: POP
00000e8f: POP
00000e90: PUSH1 0x00
00000e92: PUSH1 0x40
00000e94: MLOAD
00000e95: DUP1
00000e96: DUP4
00000e97: SUB
00000e98: DUP2
00000e99: PUSH1 0x00
00000e9b: DUP8
00000e9c: DUP1
00000e9d: EXTCODESIZE
00000e9e: ISZERO
00000e9f: DUP1
00000ea0: ISZERO
00000ea1: PUSH2 0x0ea9
00000ea4: JUMPI
00000ea5: PUSH1 0x00
00000ea7: DUP1
00000ea8: REVERT
00000ea9: JUMPDEST
00000eaa: POP
00000eab: GAS
00000eac: CALL
00000ead: ISZERO
00000eae: DUP1
00000eaf: ISZERO
00000eb0: PUSH2 0x0ebd
00000eb3: JUMPI
00000eb4: RETURNDATASIZE
00000eb5: PUSH1 0x00
00000eb7: DUP1
00000eb8: RETURNDATACOPY
00000eb9: RETURNDATASIZE
00000eba: PUSH1 0x00
00000ebc: REVERT
00000ebd: JUMPDEST
00000ebe: POP
00000ebf: POP
00000ec0: POP
00000ec1: POP
00000ec2: JUMPDEST
00000ec3: PUSH1 0x08
00000ec5: SLOAD
00000ec6: PUSH1 0x40
00000ec8: DUP1
00000ec9: MLOAD
00000eca: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000eeb: DUP2
00000eec: MSTORE
00000eed: ADDRESS
00000eee: PUSH1 0x04
00000ef0: DUP3
00000ef1: ADD
00000ef2: MSTORE
00000ef3: SWAP1
00000ef4: MLOAD
00000ef5: PUSH1 0x00
00000ef7: SWAP3
00000ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f0d: AND
00000f0e: SWAP2
00000f0f: PUSH4 0x70a08231
00000f14: SWAP2
00000f15: PUSH1 0x24
00000f17: DUP1
00000f18: DUP4
00000f19: ADD
00000f1a: SWAP3
00000f1b: PUSH1 0x20
00000f1d: SWAP3
00000f1e: SWAP2
00000f1f: SWAP1
00000f20: DUP3
00000f21: SWAP1
00000f22: SUB
00000f23: ADD
00000f24: DUP2
00000f25: DUP7
00000f26: DUP1
00000f27: EXTCODESIZE
00000f28: ISZERO
00000f29: DUP1
00000f2a: ISZERO
00000f2b: PUSH2 0x0f33
00000f2e: JUMPI
00000f2f: PUSH1 0x00
00000f31: DUP1
00000f32: REVERT
00000f33: JUMPDEST
00000f34: POP
00000f35: GAS
00000f36: STATICCALL
00000f37: ISZERO
00000f38: DUP1
00000f39: ISZERO
00000f3a: PUSH2 0x0f47
00000f3d: JUMPI
00000f3e: RETURNDATASIZE
00000f3f: PUSH1 0x00
00000f41: DUP1
00000f42: RETURNDATACOPY
00000f43: RETURNDATASIZE
00000f44: PUSH1 0x00
00000f46: REVERT
00000f47: JUMPDEST
00000f48: POP
00000f49: POP
00000f4a: POP
00000f4b: POP
00000f4c: PUSH1 0x40
00000f4e: MLOAD
00000f4f: RETURNDATASIZE
00000f50: PUSH1 0x20
00000f52: DUP2
00000f53: LT
00000f54: ISZERO
00000f55: PUSH2 0x0f5d
00000f58: JUMPI
00000f59: PUSH1 0x00
00000f5b: DUP1
00000f5c: REVERT
00000f5d: JUMPDEST
00000f5e: POP
00000f5f: MLOAD
00000f60: SWAP1
00000f61: POP
00000f62: PUSH1 0x00
00000f64: PUSH2 0x0f92
00000f67: PUSH8 0x0de0b6b3a7640000
00000f70: PUSH2 0x0f86
00000f73: DUP9
00000f74: PUSH7 0x038d7ea4c68000
00000f7c: PUSH4 0xffffffff
00000f81: PUSH2 0x2e9d
00000f84: AND
00000f85: JUMP
00000f86: JUMPDEST
00000f87: SWAP1
00000f88: PUSH4 0xffffffff
00000f8d: PUSH2 0x2f17
00000f90: AND
00000f91: JUMP
00000f92: JUMPDEST
00000f93: SWAP1
00000f94: POP
00000f95: PUSH1 0x00
00000f97: PUSH2 0x0fa6
00000f9a: DUP8
00000f9b: DUP4
00000f9c: PUSH4 0xffffffff
00000fa1: PUSH2 0x2f59
00000fa4: AND
00000fa5: JUMP
00000fa6: JUMPDEST
00000fa7: SWAP1
00000fa8: POP
00000fa9: PUSH1 0x00
00000fab: PUSH2 0x0fca
00000fae: DUP6
00000faf: PUSH2 0x0fbe
00000fb2: DUP7
00000fb3: DUP12
00000fb4: PUSH4 0xffffffff
00000fb9: PUSH2 0x2f59
00000fbc: AND
00000fbd: JUMP
00000fbe: JUMPDEST
00000fbf: SWAP1
00000fc0: PUSH4 0xffffffff
00000fc5: PUSH2 0x2fcd
00000fc8: AND
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: SWAP1
00000fcc: POP
00000fcd: PUSH1 0x00
00000fcf: DUP1
00000fd0: PUSH1 0x00
00000fd2: PUSH2 0x0fdc
00000fd5: DUP14
00000fd6: DUP7
00000fd7: DUP7
00000fd8: PUSH2 0x300f
00000fdb: JUMP
00000fdc: JUMPDEST
00000fdd: SWAP3
00000fde: POP
00000fdf: SWAP3
00000fe0: POP
00000fe1: SWAP3
00000fe2: POP
00000fe3: DUP4
00000fe4: DUP6
00000fe5: GT
00000fe6: ISZERO
00000fe7: PUSH2 0x115e
00000fea: JUMPI
00000feb: PUSH1 0x0b
00000fed: PUSH1 0x01
00000fef: SWAP1
00000ff0: SLOAD
00000ff1: SWAP1
00000ff2: PUSH2 0x0100
00000ff5: EXP
00000ff6: SWAP1
00000ff7: DIV
00000ff8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100d: AND
0000100e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001023: AND
00001024: PUSH4 0x9aac2c53
00001029: DUP15
0000102a: ADDRESS
0000102b: DUP6
0000102c: PUSH1 0x40
0000102e: MLOAD
0000102f: DUP5
00001030: PUSH4 0xffffffff
00001035: AND
00001036: PUSH1 0xe0
00001038: SHL
00001039: DUP2
0000103a: MSTORE
0000103b: PUSH1 0x04
0000103d: ADD
0000103e: DUP1
0000103f: DUP5
00001040: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001055: AND
00001056: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000106b: AND
0000106c: DUP2
0000106d: MSTORE
0000106e: PUSH1 0x20
00001070: ADD
00001071: DUP4
00001072: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001087: AND
00001088: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000109d: AND
0000109e: DUP2
0000109f: MSTORE
000010a0: PUSH1 0x20
000010a2: ADD
000010a3: DUP3
000010a4: DUP2
000010a5: MSTORE
000010a6: PUSH1 0x20
000010a8: ADD
000010a9: SWAP4
000010aa: POP
000010ab: POP
000010ac: POP
000010ad: POP
000010ae: PUSH1 0x20
000010b0: PUSH1 0x40
000010b2: MLOAD
000010b3: DUP1
000010b4: DUP4
000010b5: SUB
000010b6: DUP2
000010b7: PUSH1 0x00
000010b9: DUP8
000010ba: DUP1
000010bb: EXTCODESIZE
000010bc: ISZERO
000010bd: DUP1
000010be: ISZERO
000010bf: PUSH2 0x10c7
000010c2: JUMPI
000010c3: PUSH1 0x00
000010c5: DUP1
000010c6: REVERT
000010c7: JUMPDEST
000010c8: POP
000010c9: GAS
000010ca: CALL
000010cb: ISZERO
000010cc: DUP1
000010cd: ISZERO
000010ce: PUSH2 0x10db
000010d1: JUMPI
000010d2: RETURNDATASIZE
000010d3: PUSH1 0x00
000010d5: DUP1
000010d6: RETURNDATACOPY
000010d7: RETURNDATASIZE
000010d8: PUSH1 0x00
000010da: REVERT
000010db: JUMPDEST
000010dc: POP
000010dd: POP
000010de: POP
000010df: POP
000010e0: PUSH1 0x40
000010e2: MLOAD
000010e3: RETURNDATASIZE
000010e4: PUSH1 0x20
000010e6: DUP2
000010e7: LT
000010e8: ISZERO
000010e9: PUSH2 0x10f1
000010ec: JUMPI
000010ed: PUSH1 0x00
000010ef: DUP1
000010f0: REVERT
000010f1: JUMPDEST
000010f2: POP
000010f3: MLOAD
000010f4: PUSH2 0x115e
000010f7: JUMPI
000010f8: PUSH1 0x40
000010fa: DUP1
000010fb: MLOAD
000010fc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000111d: DUP2
0000111e: MSTORE
0000111f: PUSH1 0x20
00001121: PUSH1 0x04
00001123: DUP3
00001124: ADD
00001125: DUP2
00001126: SWAP1
00001127: MSTORE
00001128: PUSH1 0x24
0000112a: DUP3
0000112b: ADD
0000112c: MSTORE
0000112d: PUSH32 0x496d7065726d61783a20494e53554646494349454e545f4c4951554944495459
0000114e: PUSH1 0x44
00001150: DUP3
00001151: ADD
00001152: MSTORE
00001153: SWAP1
00001154: MLOAD
00001155: SWAP1
00001156: DUP2
00001157: SWAP1
00001158: SUB
00001159: PUSH1 0x64
0000115b: ADD
0000115c: SWAP1
0000115d: REVERT
0000115e: JUMPDEST
0000115f: DUP12
00001160: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001175: AND
00001176: DUP14
00001177: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118c: AND
0000118d: CALLER
0000118e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a3: AND
000011a4: PUSH32 0x33f3048bd4e6af45e53afb722adfd57dbde82da7e93e44db921fb4b8c6a70c4b
000011c5: DUP15
000011c6: DUP9
000011c7: DUP9
000011c8: DUP9
000011c9: DUP9
000011ca: PUSH1 0x40
000011cc: MLOAD
000011cd: DUP1
000011ce: DUP7
000011cf: DUP2
000011d0: MSTORE
000011d1: PUSH1 0x20
000011d3: ADD
000011d4: DUP6
000011d5: DUP2
000011d6: MSTORE
000011d7: PUSH1 0x20
000011d9: ADD
000011da: DUP5
000011db: DUP2
000011dc: MSTORE
000011dd: PUSH1 0x20
000011df: ADD
000011e0: DUP4
000011e1: DUP2
000011e2: MSTORE
000011e3: PUSH1 0x20
000011e5: ADD
000011e6: DUP3
000011e7: DUP2
000011e8: MSTORE
000011e9: PUSH1 0x20
000011eb: ADD
000011ec: SWAP6
000011ed: POP
000011ee: POP
000011ef: POP
000011f0: POP
000011f1: POP
000011f2: POP
000011f3: PUSH1 0x40
000011f5: MLOAD
000011f6: DUP1
000011f7: SWAP2
000011f8: SUB
000011f9: SWAP1
000011fa: LOG4
000011fb: POP
000011fc: POP
000011fd: POP
000011fe: POP
000011ff: POP
00001200: POP
00001201: POP
00001202: POP
00001203: PUSH2 0x120a
00001206: PUSH2 0x332b
00001209: JUMP
0000120a: JUMPDEST
0000120b: POP
0000120c: POP
0000120d: PUSH1 0x0b
0000120f: DUP1
00001210: SLOAD
00001211: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001232: AND
00001233: PUSH1 0x01
00001235: OR
00001236: SWAP1
00001237: SSTORE
00001238: POP
00001239: POP
0000123a: POP
0000123b: JUMP
0000123c: JUMPDEST
0000123d: PUSH8 0x06f05b59d3b20000
00001246: DUP2
00001247: JUMP
00001248: JUMPDEST
00001249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000125e: DUP4
0000125f: AND
00001260: PUSH1 0x00
00001262: SWAP1
00001263: DUP2
00001264: MSTORE
00001265: PUSH1 0x05
00001267: PUSH1 0x20
00001269: SWAP1
0000126a: DUP2
0000126b: MSTORE
0000126c: PUSH1 0x40
0000126e: DUP1
0000126f: DUP4
00001270: KECCAK256
00001271: CALLER
00001272: DUP5
00001273: MSTORE
00001274: SWAP1
00001275: SWAP2
00001276: MSTORE
00001277: DUP2
00001278: KECCAK256
00001279: SLOAD
0000127a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000129b: EQ
0000129c: PUSH2 0x1347
0000129f: JUMPI
000012a0: PUSH1 0x40
000012a2: DUP1
000012a3: MLOAD
000012a4: DUP1
000012a5: DUP3
000012a6: ADD
000012a7: DUP3
000012a8: MSTORE
000012a9: PUSH1 0x1e
000012ab: DUP2
000012ac: MSTORE
000012ad: PUSH32 0x496d7065726d61783a205452414e534645525f4e4f545f414c4c4f5745440000
000012ce: PUSH1 0x20
000012d0: DUP1
000012d1: DUP4
000012d2: ADD
000012d3: SWAP2
000012d4: SWAP1
000012d5: SWAP2
000012d6: MSTORE
000012d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ec: DUP8
000012ed: AND
000012ee: PUSH1 0x00
000012f0: SWAP1
000012f1: DUP2
000012f2: MSTORE
000012f3: PUSH1 0x05
000012f5: DUP3
000012f6: MSTORE
000012f7: DUP4
000012f8: DUP2
000012f9: KECCAK256
000012fa: CALLER
000012fb: DUP3
000012fc: MSTORE
000012fd: SWAP1
000012fe: SWAP2
000012ff: MSTORE
00001300: SWAP2
00001301: SWAP1
00001302: SWAP2
00001303: KECCAK256
00001304: SLOAD
00001305: PUSH2 0x1315
00001308: SWAP2
00001309: DUP5
0000130a: SWAP1
0000130b: PUSH4 0xffffffff
00001310: PUSH2 0x333b
00001313: AND
00001314: JUMP
00001315: JUMPDEST
00001316: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000132b: DUP6
0000132c: AND
0000132d: PUSH1 0x00
0000132f: SWAP1
00001330: DUP2
00001331: MSTORE
00001332: PUSH1 0x05
00001334: PUSH1 0x20
00001336: SWAP1
00001337: DUP2
00001338: MSTORE
00001339: PUSH1 0x40
0000133b: DUP1
0000133c: DUP4
0000133d: KECCAK256
0000133e: CALLER
0000133f: DUP5
00001340: MSTORE
00001341: SWAP1
00001342: SWAP2
00001343: MSTORE
00001344: SWAP1
00001345: KECCAK256
00001346: SSTORE
00001347: JUMPDEST
00001348: PUSH2 0x1352
0000134b: DUP5
0000134c: DUP5
0000134d: DUP5
0000134e: PUSH2 0x33ec
00001351: JUMP
00001352: JUMPDEST
00001353: POP
00001354: PUSH1 0x01
00001356: SWAP4
00001357: SWAP3
00001358: POP
00001359: POP
0000135a: POP
0000135b: JUMP
0000135c: JUMPDEST
0000135d: PUSH6 0x05436648e140
00001364: DUP2
00001365: JUMP
00001366: JUMPDEST
00001367: PUSH1 0x0b
00001369: SLOAD
0000136a: PUSH1 0xff
0000136c: AND
0000136d: PUSH2 0x13d7
00001370: JUMPI
00001371: PUSH1 0x40
00001373: DUP1
00001374: MLOAD
00001375: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001396: DUP2
00001397: MSTORE
00001398: PUSH1 0x20
0000139a: PUSH1 0x04
0000139c: DUP3
0000139d: ADD
0000139e: MSTORE
0000139f: PUSH1 0x13
000013a1: PUSH1 0x24
000013a3: DUP3
000013a4: ADD
000013a5: MSTORE
000013a6: PUSH32 0x496d7065726d61783a205245454e544552454400000000000000000000000000
000013c7: PUSH1 0x44
000013c9: DUP3
000013ca: ADD
000013cb: MSTORE
000013cc: SWAP1
000013cd: MLOAD
000013ce: SWAP1
000013cf: DUP2
000013d0: SWAP1
000013d1: SUB
000013d2: PUSH1 0x64
000013d4: ADD
000013d5: SWAP1
000013d6: REVERT
000013d7: JUMPDEST
000013d8: PUSH1 0x0b
000013da: DUP1
000013db: SLOAD
000013dc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000013fd: AND
000013fe: SWAP1
000013ff: SSTORE
00001400: PUSH2 0x1415
00001403: DUP2
00001404: PUSH5 0x0d7957c4d0
0000140a: PUSH6 0x05436648e140
00001411: PUSH2 0x3505
00001414: JUMP
00001415: JUMPDEST
00001416: PUSH1 0x13
00001418: DUP2
00001419: SWAP1
0000141a: SSTORE
0000141b: PUSH1 0x40
0000141d: DUP1
0000141e: MLOAD
0000141f: DUP3
00001420: DUP2
00001421: MSTORE
00001422: SWAP1
00001423: MLOAD
00001424: PUSH32 0x1396dfcdb64fb7eb77fb84966f27b81afe14aa70b6e966c68d74af3302a9fe90
00001445: SWAP2
00001446: DUP2
00001447: SWAP1
00001448: SUB
00001449: PUSH1 0x20
0000144b: ADD
0000144c: SWAP1
0000144d: LOG1
0000144e: POP
0000144f: PUSH1 0x0b
00001451: DUP1
00001452: SLOAD
00001453: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001474: AND
00001475: PUSH1 0x01
00001477: OR
00001478: SWAP1
00001479: SSTORE
0000147a: JUMP
0000147b: JUMPDEST
0000147c: PUSH1 0x13
0000147e: SLOAD
0000147f: DUP2
00001480: JUMP
00001481: JUMPDEST
00001482: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
000014a3: DUP2
000014a4: JUMP
000014a5: JUMPDEST
000014a6: PUSH1 0x02
000014a8: SLOAD
000014a9: PUSH1 0xff
000014ab: AND
000014ac: DUP2
000014ad: JUMP
000014ae: JUMPDEST
000014af: PUSH1 0x0b
000014b1: SLOAD
000014b2: PUSH1 0xff
000014b4: AND
000014b5: PUSH2 0x151f
000014b8: JUMPI
000014b9: PUSH1 0x40
000014bb: DUP1
000014bc: MLOAD
000014bd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014de: DUP2
000014df: MSTORE
000014e0: PUSH1 0x20
000014e2: PUSH1 0x04
000014e4: DUP3
000014e5: ADD
000014e6: MSTORE
000014e7: PUSH1 0x13
000014e9: PUSH1 0x24
000014eb: DUP3
000014ec: ADD
000014ed: MSTORE
000014ee: PUSH32 0x496d7065726d61783a205245454e544552454400000000000000000000000000
0000150f: PUSH1 0x44
00001511: DUP3
00001512: ADD
00001513: MSTORE
00001514: SWAP1
00001515: MLOAD
00001516: SWAP1
00001517: DUP2
00001518: SWAP1
00001519: SUB
0000151a: PUSH1 0x64
0000151c: ADD
0000151d: SWAP1
0000151e: REVERT
0000151f: JUMPDEST
00001520: PUSH1 0x0b
00001522: DUP1
00001523: SLOAD
00001524: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001545: AND
00001546: SWAP1
00001547: SSTORE
00001548: PUSH2 0x154f
0000154b: PUSH2 0x35f0
0000154e: JUMP
0000154f: JUMPDEST
00001550: PUSH1 0x14
00001552: DUP1
00001553: SLOAD
00001554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001569: DUP4
0000156a: AND
0000156b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000158c: SWAP1
0000158d: SWAP2
0000158e: AND
0000158f: DUP2
00001590: OR
00001591: SWAP1
00001592: SWAP2
00001593: SSTORE
00001594: PUSH1 0x40
00001596: DUP1
00001597: MLOAD
00001598: SWAP2
00001599: DUP3
0000159a: MSTORE
0000159b: MLOAD
0000159c: PUSH32 0x468b6598e7e810c65c9858b5f23a2d5b8692fb753b78a032232de4c6ed3cabbf
000015bd: SWAP2
000015be: DUP2
000015bf: SWAP1
000015c0: SUB
000015c1: PUSH1 0x20
000015c3: ADD
000015c4: SWAP1
000015c5: LOG1
000015c6: POP
000015c7: PUSH1 0x0b
000015c9: DUP1
000015ca: SLOAD
000015cb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000015ec: AND
000015ed: PUSH1 0x01
000015ef: OR
000015f0: SWAP1
000015f1: SSTORE
000015f2: JUMP
000015f3: JUMPDEST
000015f4: PUSH1 0x06
000015f6: SLOAD
000015f7: DUP2
000015f8: JUMP
000015f9: JUMPDEST
000015fa: PUSH1 0x00
000015fc: PUSH2 0x1603
000015ff: PUSH2 0x240a
00001602: JUMP
00001603: JUMPDEST
00001604: PUSH1 0x03
00001606: SLOAD
00001607: PUSH1 0x0e
00001609: SLOAD
0000160a: PUSH1 0x0a
0000160c: SLOAD
0000160d: PUSH1 0x00
0000160f: SWAP2
00001610: PUSH2 0x163b
00001613: SWAP2
00001614: SWAP1
00001615: PUSH15 0x010000000000000000000000000000
00001625: SWAP1
00001626: DIV
00001627: PUSH14 0xffffffffffffffffffffffffffff
00001636: AND
00001637: PUSH2 0x2f59
0000163a: JUMP
0000163b: JUMPDEST
0000163c: SWAP1
0000163d: POP
0000163e: DUP2
0000163f: ISZERO
00001640: DUP1
00001641: PUSH2 0x1648
00001644: JUMPI
00001645: POP
00001646: DUP1
00001647: ISZERO
00001648: JUMPDEST
00001649: ISZERO
0000164a: PUSH2 0x165f
0000164d: JUMPI
0000164e: PUSH8 0x0de0b6b3a7640000
00001657: SWAP3
00001658: POP
00001659: POP
0000165a: POP
0000165b: PUSH2 0x168f
0000165e: JUMP
0000165f: JUMPDEST
00001660: PUSH1 0x00
00001662: PUSH2 0x167d
00001665: DUP4
00001666: PUSH2 0x0f86
00001669: DUP5
0000166a: PUSH8 0x0de0b6b3a7640000
00001673: PUSH4 0xffffffff
00001678: PUSH2 0x2e9d
0000167b: AND
0000167c: JUMP
0000167d: JUMPDEST
0000167e: SWAP1
0000167f: POP
00001680: PUSH2 0x1689
00001683: DUP2
00001684: DUP5
00001685: PUSH2 0x3707
00001688: JUMP
00001689: JUMPDEST
0000168a: SWAP4
0000168b: POP
0000168c: POP
0000168d: POP
0000168e: POP
0000168f: JUMPDEST
00001690: SWAP1
00001691: JUMP
00001692: JUMPDEST
00001693: PUSH1 0x11
00001695: SLOAD
00001696: DUP2
00001697: JUMP
00001698: JUMPDEST
00001699: PUSH5 0x07620d0700
0000169f: DUP2
000016a0: JUMP
000016a1: JUMPDEST
000016a2: PUSH1 0x0e
000016a4: SLOAD
000016a5: PUSH15 0x010000000000000000000000000000
000016b5: SWAP1
000016b6: DIV
000016b7: PUSH14 0xffffffffffffffffffffffffffff
000016c6: AND
000016c7: DUP2
000016c8: JUMP
000016c9: JUMPDEST
000016ca: PUSH1 0x09
000016cc: SLOAD
000016cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e2: AND
000016e3: ISZERO
000016e4: PUSH2 0x174e
000016e7: JUMPI
000016e8: PUSH1 0x40
000016ea: DUP1
000016eb: MLOAD
000016ec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000170d: DUP2
0000170e: MSTORE
0000170f: PUSH1 0x20
00001711: PUSH1 0x04
00001713: DUP3
00001714: ADD
00001715: MSTORE
00001716: PUSH1 0x1d
00001718: PUSH1 0x24
0000171a: DUP3
0000171b: ADD
0000171c: MSTORE
0000171d: PUSH32 0x496d7065726d61783a20464143544f52595f414c52454144595f534554000000
0000173e: PUSH1 0x44
00001740: DUP3
00001741: ADD
00001742: MSTORE
00001743: SWAP1
00001744: MLOAD
00001745: SWAP1
00001746: DUP2
00001747: SWAP1
00001748: SUB
00001749: PUSH1 0x64
0000174b: ADD
0000174c: SWAP1
0000174d: REVERT
0000174e: JUMPDEST
0000174f: PUSH1 0x09
00001751: DUP1
00001752: SLOAD
00001753: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001774: AND
00001775: CALLER
00001776: OR
00001777: SWAP1
00001778: SSTORE
00001779: JUMP
0000177a: JUMPDEST
0000177b: PUSH1 0x00
0000177d: PUSH2 0x1784
00001780: PUSH2 0x434d
00001783: JUMP
00001784: JUMPDEST
00001785: POP
00001786: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000179b: DUP3
0000179c: AND
0000179d: PUSH1 0x00
0000179f: SWAP1
000017a0: DUP2
000017a1: MSTORE
000017a2: PUSH1 0x0d
000017a4: PUSH1 0x20
000017a6: SWAP1
000017a7: DUP2
000017a8: MSTORE
000017a9: PUSH1 0x40
000017ab: SWAP2
000017ac: DUP3
000017ad: SWAP1
000017ae: KECCAK256
000017af: DUP3
000017b0: MLOAD
000017b1: DUP1
000017b2: DUP5
000017b3: ADD
000017b4: SWAP1
000017b5: SWAP4
000017b6: MSTORE
000017b7: SLOAD
000017b8: PUSH14 0xffffffffffffffffffffffffffff
000017c7: DUP1
000017c8: DUP3
000017c9: AND
000017ca: DUP5
000017cb: MSTORE
000017cc: PUSH15 0x010000000000000000000000000000
000017dc: SWAP1
000017dd: SWAP2
000017de: DIV
000017df: AND
000017e0: SWAP1
000017e1: DUP3
000017e2: ADD
000017e3: DUP2
000017e4: SWAP1
000017e5: MSTORE
000017e6: PUSH2 0x17f3
000017e9: JUMPI
000017ea: PUSH1 0x00
000017ec: SWAP2
000017ed: POP
000017ee: POP
000017ef: PUSH2 0x182b
000017f2: JUMP
000017f3: JUMPDEST
000017f4: PUSH1 0x20
000017f6: DUP2
000017f7: ADD
000017f8: MLOAD
000017f9: PUSH1 0x0e
000017fb: SLOAD
000017fc: DUP3
000017fd: MLOAD
000017fe: PUSH2 0x1827
00001801: SWAP3
00001802: PUSH14 0xffffffffffffffffffffffffffff
00001811: SWAP1
00001812: DUP2
00001813: AND
00001814: SWAP3
00001815: PUSH2 0x0f86
00001818: SWAP3
00001819: DUP3
0000181a: AND
0000181b: SWAP2
0000181c: AND
0000181d: PUSH4 0xffffffff
00001822: PUSH2 0x2e9d
00001825: AND
00001826: JUMP
00001827: JUMPDEST
00001828: SWAP2
00001829: POP
0000182a: POP
0000182b: JUMPDEST
0000182c: SWAP2
0000182d: SWAP1
0000182e: POP
0000182f: JUMP
00001830: JUMPDEST
00001831: PUSH1 0x14
00001833: SLOAD
00001834: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001849: AND
0000184a: DUP2
0000184b: JUMP
0000184c: JUMPDEST
0000184d: PUSH1 0x05
0000184f: DUP2
00001850: JUMP
00001851: JUMPDEST
00001852: PUSH8 0x0dbd2fc137a30000
0000185b: DUP2
0000185c: JUMP
0000185d: JUMPDEST
0000185e: PUSH1 0x09
00001860: SLOAD
00001861: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001876: AND
00001877: CALLER
00001878: EQ
00001879: PUSH2 0x18e3
0000187c: JUMPI
0000187d: PUSH1 0x40
0000187f: DUP1
00001880: MLOAD
00001881: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018a2: DUP2
000018a3: MSTORE
000018a4: PUSH1 0x20
000018a6: PUSH1 0x04
000018a8: DUP3
000018a9: ADD
000018aa: MSTORE
000018ab: PUSH1 0x16
000018ad: PUSH1 0x24
000018af: DUP3
000018b0: ADD
000018b1: MSTORE
000018b2: PUSH32 0x496d7065726d61783a20554e415554484f52495a454400000000000000000000
000018d3: PUSH1 0x44
000018d5: DUP3
000018d6: ADD
000018d7: MSTORE
000018d8: SWAP1
000018d9: MLOAD
000018da: SWAP1
000018db: DUP2
000018dc: SWAP1
000018dd: SUB
000018de: PUSH1 0x64
000018e0: ADD
000018e1: SWAP1
000018e2: REVERT
000018e3: JUMPDEST
000018e4: PUSH2 0x1956
000018e7: DUP7
000018e8: DUP7
000018e9: DUP1
000018ea: DUP1
000018eb: PUSH1 0x1f
000018ed: ADD
000018ee: PUSH1 0x20
000018f0: DUP1
000018f1: SWAP2
000018f2: DIV
000018f3: MUL
000018f4: PUSH1 0x20
000018f6: ADD
000018f7: PUSH1 0x40
000018f9: MLOAD
000018fa: SWAP1
000018fb: DUP2
000018fc: ADD
000018fd: PUSH1 0x40
000018ff: MSTORE
00001900: DUP1
00001901: SWAP4
00001902: SWAP3
00001903: SWAP2
00001904: SWAP1
00001905: DUP2
00001906: DUP2
00001907: MSTORE
00001908: PUSH1 0x20
0000190a: ADD
0000190b: DUP4
0000190c: DUP4
0000190d: DUP1
0000190e: DUP3
0000190f: DUP5
00001910: CALLDATACOPY
00001911: PUSH1 0x00
00001913: SWAP3
00001914: ADD
00001915: SWAP2
00001916: SWAP1
00001917: SWAP2
00001918: MSTORE
00001919: POP
0000191a: POP
0000191b: PUSH1 0x40
0000191d: DUP1
0000191e: MLOAD
0000191f: PUSH1 0x20
00001921: PUSH1 0x1f
00001923: DUP11
00001924: ADD
00001925: DUP2
00001926: SWAP1
00001927: DIV
00001928: DUP2
00001929: MUL
0000192a: DUP3
0000192b: ADD
0000192c: DUP2
0000192d: ADD
0000192e: SWAP1
0000192f: SWAP3
00001930: MSTORE
00001931: DUP9
00001932: DUP2
00001933: MSTORE
00001934: SWAP3
00001935: POP
00001936: DUP9
00001937: SWAP2
00001938: POP
00001939: DUP8
0000193a: SWAP1
0000193b: DUP2
0000193c: SWAP1
0000193d: DUP5
0000193e: ADD
0000193f: DUP4
00001940: DUP3
00001941: DUP1
00001942: DUP3
00001943: DUP5
00001944: CALLDATACOPY
00001945: PUSH1 0x00
00001947: SWAP3
00001948: ADD
00001949: SWAP2
0000194a: SWAP1
0000194b: SWAP2
0000194c: MSTORE
0000194d: POP
0000194e: PUSH2 0x3842
00001951: SWAP3
00001952: POP
00001953: POP
00001954: POP
00001955: JUMP
00001956: JUMPDEST
00001957: PUSH1 0x08
00001959: DUP1
0000195a: SLOAD
0000195b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001970: SWAP4
00001971: DUP5
00001972: AND
00001973: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001994: SWAP1
00001995: SWAP2
00001996: AND
00001997: OR
00001998: SWAP1
00001999: SSTORE
0000199a: PUSH1 0x0b
0000199c: DUP1
0000199d: SLOAD
0000199e: SWAP2
0000199f: SWAP1
000019a0: SWAP3
000019a1: AND
000019a2: PUSH2 0x0100
000019a5: MUL
000019a6: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff
000019c7: SWAP1
000019c8: SWAP2
000019c9: AND
000019ca: OR
000019cb: SWAP1
000019cc: SSTORE
000019cd: POP
000019ce: POP
000019cf: PUSH8 0x0de0b6b3a7640000
000019d8: PUSH1 0x0f
000019da: SSTORE
000019db: POP
000019dc: POP
000019dd: JUMP
000019de: JUMPDEST
000019df: PUSH1 0x0b
000019e1: SLOAD
000019e2: PUSH1 0x00
000019e4: SWAP1
000019e5: PUSH1 0xff
000019e7: AND
000019e8: PUSH2 0x1a52
000019eb: JUMPI
000019ec: PUSH1 0x40
000019ee: DUP1
000019ef: MLOAD
000019f0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a11: DUP2
00001a12: MSTORE
00001a13: PUSH1 0x20
00001a15: PUSH1 0x04
00001a17: DUP3
00001a18: ADD
00001a19: MSTORE
00001a1a: PUSH1 0x13
00001a1c: PUSH1 0x24
00001a1e: DUP3
00001a1f: ADD
00001a20: MSTORE
00001a21: PUSH32 0x496d7065726d61783a205245454e544552454400000000000000000000000000
00001a42: PUSH1 0x44
00001a44: DUP3
00001a45: ADD
00001a46: MSTORE
00001a47: SWAP1
00001a48: MLOAD
00001a49: SWAP1
00001a4a: DUP2
00001a4b: SWAP1
00001a4c: SUB
00001a4d: PUSH1 0x64
00001a4f: ADD
00001a50: SWAP1
00001a51: REVERT
00001a52: JUMPDEST
00001a53: PUSH1 0x0b
00001a55: DUP1
00001a56: SLOAD
00001a57: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001a78: AND
00001a79: SWAP1
00001a7a: SSTORE
00001a7b: PUSH1 0x08
00001a7d: SLOAD
00001a7e: PUSH1 0x40
00001a80: DUP1
00001a81: MLOAD
00001a82: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001aa3: DUP2
00001aa4: MSTORE
00001aa5: ADDRESS
00001aa6: PUSH1 0x04
00001aa8: DUP3
00001aa9: ADD
00001aaa: MSTORE
00001aab: SWAP1
00001aac: MLOAD
00001aad: PUSH1 0x00
00001aaf: SWAP3
00001ab0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac5: AND
00001ac6: SWAP2
00001ac7: PUSH4 0x70a08231
00001acc: SWAP2
00001acd: PUSH1 0x24
00001acf: DUP1
00001ad0: DUP4
00001ad1: ADD
00001ad2: SWAP3
00001ad3: PUSH1 0x20
00001ad5: SWAP3
00001ad6: SWAP2
00001ad7: SWAP1
00001ad8: DUP3
00001ad9: SWAP1
00001ada: SUB
00001adb: ADD
00001adc: DUP2
00001add: DUP7
00001ade: DUP1
00001adf: EXTCODESIZE
00001ae0: ISZERO
00001ae1: DUP1
00001ae2: ISZERO
00001ae3: PUSH2 0x1aeb
00001ae6: JUMPI
00001ae7: PUSH1 0x00
00001ae9: DUP1
00001aea: REVERT
00001aeb: JUMPDEST
00001aec: POP
00001aed: GAS
00001aee: STATICCALL
00001aef: ISZERO
00001af0: DUP1
00001af1: ISZERO
00001af2: PUSH2 0x1aff
00001af5: JUMPI
00001af6: RETURNDATASIZE
00001af7: PUSH1 0x00
00001af9: DUP1
00001afa: RETURNDATACOPY
00001afb: RETURNDATASIZE
00001afc: PUSH1 0x00
00001afe: REVERT
00001aff: JUMPDEST
00001b00: POP
00001b01: POP
00001b02: POP
00001b03: POP
00001b04: PUSH1 0x40
00001b06: MLOAD
00001b07: RETURNDATASIZE
00001b08: PUSH1 0x20
00001b0a: DUP2
00001b0b: LT
00001b0c: ISZERO
00001b0d: PUSH2 0x1b15
00001b10: JUMPI
00001b11: PUSH1 0x00
00001b13: DUP1
00001b14: REVERT
00001b15: JUMPDEST
00001b16: POP
00001b17: MLOAD
00001b18: PUSH1 0x0a
00001b1a: SLOAD
00001b1b: SWAP1
00001b1c: SWAP2
00001b1d: POP
00001b1e: PUSH1 0x00
00001b20: SWAP1
00001b21: PUSH2 0x1b31
00001b24: SWAP1
00001b25: DUP4
00001b26: SWAP1
00001b27: PUSH4 0xffffffff
00001b2c: PUSH2 0x2fcd
00001b2f: AND
00001b30: JUMP
00001b31: JUMPDEST
00001b32: SWAP1
00001b33: POP
00001b34: PUSH2 0x1b56
00001b37: PUSH2 0x1b3e
00001b3a: PUSH2 0x15f9
00001b3d: JUMP
00001b3e: JUMPDEST
00001b3f: PUSH2 0x0f86
00001b42: DUP4
00001b43: PUSH8 0x0de0b6b3a7640000
00001b4c: PUSH4 0xffffffff
00001b51: PUSH2 0x2e9d
00001b54: AND
00001b55: JUMP
00001b56: JUMPDEST
00001b57: SWAP3
00001b58: POP
00001b59: PUSH1 0x03
00001b5b: SLOAD
00001b5c: PUSH1 0x00
00001b5e: EQ
00001b5f: ISZERO
00001b60: PUSH2 0x1b84
00001b63: JUMPI
00001b64: PUSH2 0x1b75
00001b67: DUP4
00001b68: PUSH2 0x03e8
00001b6b: PUSH4 0xffffffff
00001b70: PUSH2 0x2fcd
00001b73: AND
00001b74: JUMP
00001b75: JUMPDEST
00001b76: SWAP3
00001b77: POP
00001b78: PUSH2 0x1b84
00001b7b: PUSH1 0x00
00001b7d: PUSH2 0x03e8
00001b80: PUSH2 0x3926
00001b83: JUMP
00001b84: JUMPDEST
00001b85: PUSH1 0x00
00001b87: DUP4
00001b88: GT
00001b89: PUSH2 0x1bf3
00001b8c: JUMPI
00001b8d: PUSH1 0x40
00001b8f: DUP1
00001b90: MLOAD
00001b91: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bb2: DUP2
00001bb3: MSTORE
00001bb4: PUSH1 0x20
00001bb6: PUSH1 0x04
00001bb8: DUP3
00001bb9: ADD
00001bba: MSTORE
00001bbb: PUSH1 0x1a
00001bbd: PUSH1 0x24
00001bbf: DUP3
00001bc0: ADD
00001bc1: MSTORE
00001bc2: PUSH32 0x496d7065726d61783a204d494e545f414d4f554e545f5a45524f000000000000
00001be3: PUSH1 0x44
00001be5: DUP3
00001be6: ADD
00001be7: MSTORE
00001be8: SWAP1
00001be9: MLOAD
00001bea: SWAP1
00001beb: DUP2
00001bec: SWAP1
00001bed: SUB
00001bee: PUSH1 0x64
00001bf0: ADD
00001bf1: SWAP1
00001bf2: REVERT
00001bf3: JUMPDEST
00001bf4: PUSH2 0x1bfd
00001bf7: DUP5
00001bf8: DUP5
00001bf9: PUSH2 0x3926
00001bfc: JUMP
00001bfd: JUMPDEST
00001bfe: PUSH1 0x40
00001c00: DUP1
00001c01: MLOAD
00001c02: DUP3
00001c03: DUP2
00001c04: MSTORE
00001c05: PUSH1 0x20
00001c07: DUP2
00001c08: ADD
00001c09: DUP6
00001c0a: SWAP1
00001c0b: MSTORE
00001c0c: DUP2
00001c0d: MLOAD
00001c0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c23: DUP8
00001c24: AND
00001c25: SWAP3
00001c26: CALLER
00001c27: SWAP3
00001c28: PUSH32 0x2f00e3cdd69a77be7ed215ec7b2a36784dd158f921fca79ac29deffa353fe6ee
00001c49: SWAP3
00001c4a: SWAP1
00001c4b: DUP2
00001c4c: SWAP1
00001c4d: SUB
00001c4e: SWAP1
00001c4f: SWAP2
00001c50: ADD
00001c51: SWAP1
00001c52: LOG3
00001c53: POP
00001c54: POP
00001c55: PUSH2 0x1c5c
00001c58: PUSH2 0x332b
00001c5b: JUMP
00001c5c: JUMPDEST
00001c5d: PUSH1 0x0b
00001c5f: DUP1
00001c60: SLOAD
00001c61: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001c82: AND
00001c83: PUSH1 0x01
00001c85: OR
00001c86: SWAP1
00001c87: SSTORE
00001c88: SWAP2
00001c89: SWAP1
00001c8a: POP
00001c8b: JUMP
00001c8c: JUMPDEST
00001c8d: PUSH1 0x0c
00001c8f: PUSH1 0x20
00001c91: SWAP1
00001c92: DUP2
00001c93: MSTORE
00001c94: PUSH1 0x00
00001c96: SWAP3
00001c97: DUP4
00001c98: MSTORE
00001c99: PUSH1 0x40
00001c9b: DUP1
00001c9c: DUP5
00001c9d: KECCAK256
00001c9e: SWAP1
00001c9f: SWAP2
00001ca0: MSTORE
00001ca1: SWAP1
00001ca2: DUP3
00001ca3: MSTORE
00001ca4: SWAP1
00001ca5: KECCAK256
00001ca6: SLOAD
00001ca7: DUP2
00001ca8: JUMP
00001ca9: JUMPDEST
00001caa: PUSH1 0x08
00001cac: SLOAD
00001cad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc2: AND
00001cc3: DUP2
00001cc4: JUMP
00001cc5: JUMPDEST
00001cc6: PUSH1 0x04
00001cc8: PUSH1 0x20
00001cca: MSTORE
00001ccb: PUSH1 0x00
00001ccd: SWAP1
00001cce: DUP2
00001ccf: MSTORE
00001cd0: PUSH1 0x40
00001cd2: SWAP1
00001cd3: KECCAK256
00001cd4: SLOAD
00001cd5: DUP2
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: PUSH4 0xffffffff
00001cdd: TIMESTAMP
00001cde: AND
00001cdf: SWAP1
00001ce0: JUMP
00001ce1: JUMPDEST
00001ce2: PUSH1 0x07
00001ce4: PUSH1 0x20
00001ce6: MSTORE
00001ce7: PUSH1 0x00
00001ce9: SWAP1
00001cea: DUP2
00001ceb: MSTORE
00001cec: PUSH1 0x40
00001cee: SWAP1
00001cef: KECCAK256
00001cf0: SLOAD
00001cf1: DUP2
00001cf2: JUMP
00001cf3: JUMPDEST
00001cf4: PUSH1 0x0b
00001cf6: SLOAD
00001cf7: PUSH1 0x00
00001cf9: SWAP1
00001cfa: PUSH1 0xff
00001cfc: AND
00001cfd: PUSH2 0x1d67
00001d00: JUMPI
00001d01: PUSH1 0x40
00001d03: DUP1
00001d04: MLOAD
00001d05: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d26: DUP2
00001d27: MSTORE
00001d28: PUSH1 0x20
00001d2a: PUSH1 0x04
00001d2c: DUP3
00001d2d: ADD
00001d2e: MSTORE
00001d2f: PUSH1 0x13
00001d31: PUSH1 0x24
00001d33: DUP3
00001d34: ADD
00001d35: MSTORE
00001d36: PUSH32 0x496d7065726d61783a205245454e544552454400000000000000000000000000
00001d57: PUSH1 0x44
00001d59: DUP3
00001d5a: ADD
00001d5b: MSTORE
00001d5c: SWAP1
00001d5d: MLOAD
00001d5e: SWAP1
00001d5f: DUP2
00001d60: SWAP1
00001d61: SUB
00001d62: PUSH1 0x64
00001d64: ADD
00001d65: SWAP1
00001d66: REVERT
00001d67: JUMPDEST
00001d68: PUSH1 0x0b
00001d6a: DUP1
00001d6b: SLOAD
00001d6c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001d8d: AND
00001d8e: SWAP1
00001d8f: SSTORE
00001d90: PUSH2 0x1d97
00001d93: PUSH2 0x240a
00001d96: JUMP
00001d97: JUMPDEST
00001d98: PUSH1 0x08
00001d9a: SLOAD
00001d9b: PUSH1 0x40
00001d9d: DUP1
00001d9e: MLOAD
00001d9f: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001dc0: DUP2
00001dc1: MSTORE
00001dc2: ADDRESS
00001dc3: PUSH1 0x04
00001dc5: DUP3
00001dc6: ADD
00001dc7: MSTORE
00001dc8: SWAP1
00001dc9: MLOAD
00001dca: PUSH1 0x00
00001dcc: SWAP3
00001dcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de2: AND
00001de3: SWAP2
00001de4: PUSH4 0x70a08231
00001de9: SWAP2
00001dea: PUSH1 0x24
00001dec: DUP1
00001ded: DUP4
00001dee: ADD
00001def: SWAP3
00001df0: PUSH1 0x20
00001df2: SWAP3
00001df3: SWAP2
00001df4: SWAP1
00001df5: DUP3
00001df6: SWAP1
00001df7: SUB
00001df8: ADD
00001df9: DUP2
00001dfa: DUP7
00001dfb: DUP1
00001dfc: EXTCODESIZE
00001dfd: ISZERO
00001dfe: DUP1
00001dff: ISZERO
00001e00: PUSH2 0x1e08
00001e03: JUMPI
00001e04: PUSH1 0x00
00001e06: DUP1
00001e07: REVERT
00001e08: JUMPDEST
00001e09: POP
00001e0a: GAS
00001e0b: STATICCALL
00001e0c: ISZERO
00001e0d: DUP1
00001e0e: ISZERO
00001e0f: PUSH2 0x1e1c
00001e12: JUMPI
00001e13: RETURNDATASIZE
00001e14: PUSH1 0x00
00001e16: DUP1
00001e17: RETURNDATACOPY
00001e18: RETURNDATASIZE
00001e19: PUSH1 0x00
00001e1b: REVERT
00001e1c: JUMPDEST
00001e1d: POP
00001e1e: POP
00001e1f: POP
00001e20: POP
00001e21: PUSH1 0x40
00001e23: MLOAD
00001e24: RETURNDATASIZE
00001e25: PUSH1 0x20
00001e27: DUP2
00001e28: LT
00001e29: ISZERO
00001e2a: PUSH2 0x1e32
00001e2d: JUMPI
00001e2e: PUSH1 0x00
00001e30: DUP1
00001e31: REVERT
00001e32: JUMPDEST
00001e33: POP
00001e34: MLOAD
00001e35: PUSH1 0x0a
00001e37: SLOAD
00001e38: SWAP1
00001e39: SWAP2
00001e3a: POP
00001e3b: PUSH1 0x00
00001e3d: SWAP1
00001e3e: PUSH2 0x1e4e
00001e41: SWAP1
00001e42: DUP4
00001e43: SWAP1
00001e44: PUSH4 0xffffffff
00001e49: PUSH2 0x2fcd
00001e4c: AND
00001e4d: JUMP
00001e4e: JUMPDEST
00001e4f: SWAP1
00001e50: POP
00001e51: PUSH1 0x00
00001e53: PUSH2 0x1e64
00001e56: PUSH2 0x1e5e
00001e59: DUP8
00001e5a: PUSH2 0x177a
00001e5d: JUMP
00001e5e: JUMPDEST
00001e5f: DUP4
00001e60: PUSH2 0x39d7
00001e63: JUMP
00001e64: JUMPDEST
00001e65: PUSH1 0x0b
00001e67: SLOAD
00001e68: PUSH1 0x40
00001e6a: DUP1
00001e6b: MLOAD
00001e6c: PUSH32 0xb2a02ff100000000000000000000000000000000000000000000000000000000
00001e8d: DUP2
00001e8e: MSTORE
00001e8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea4: DUP10
00001ea5: DUP2
00001ea6: AND
00001ea7: PUSH1 0x04
00001ea9: DUP4
00001eaa: ADD
00001eab: MSTORE
00001eac: DUP11
00001ead: DUP2
00001eae: AND
00001eaf: PUSH1 0x24
00001eb1: DUP4
00001eb2: ADD
00001eb3: MSTORE
00001eb4: PUSH1 0x44
00001eb6: DUP3
00001eb7: ADD
00001eb8: DUP6
00001eb9: SWAP1
00001eba: MSTORE
00001ebb: SWAP2
00001ebc: MLOAD
00001ebd: SWAP4
00001ebe: SWAP5
00001ebf: POP
00001ec0: PUSH2 0x0100
00001ec3: SWAP1
00001ec4: SWAP3
00001ec5: DIV
00001ec6: AND
00001ec7: SWAP2
00001ec8: PUSH4 0xb2a02ff1
00001ecd: SWAP2
00001ece: PUSH1 0x64
00001ed0: DUP1
00001ed1: DUP3
00001ed2: ADD
00001ed3: SWAP3
00001ed4: PUSH1 0x20
00001ed6: SWAP3
00001ed7: SWAP1
00001ed8: SWAP2
00001ed9: SWAP1
00001eda: DUP3
00001edb: SWAP1
00001edc: SUB
00001edd: ADD
00001ede: DUP2
00001edf: PUSH1 0x00
00001ee1: DUP8
00001ee2: DUP1
00001ee3: EXTCODESIZE
00001ee4: ISZERO
00001ee5: DUP1
00001ee6: ISZERO
00001ee7: PUSH2 0x1eef
00001eea: JUMPI
00001eeb: PUSH1 0x00
00001eed: DUP1
00001eee: REVERT
00001eef: JUMPDEST
00001ef0: POP
00001ef1: GAS
00001ef2: CALL
00001ef3: ISZERO
00001ef4: DUP1
00001ef5: ISZERO
00001ef6: PUSH2 0x1f03
00001ef9: JUMPI
00001efa: RETURNDATASIZE
00001efb: PUSH1 0x00
00001efd: DUP1
00001efe: RETURNDATACOPY
00001eff: RETURNDATASIZE
00001f00: PUSH1 0x00
00001f02: REVERT
00001f03: JUMPDEST
00001f04: POP
00001f05: POP
00001f06: POP
00001f07: POP
00001f08: PUSH1 0x40
00001f0a: MLOAD
00001f0b: RETURNDATASIZE
00001f0c: PUSH1 0x20
00001f0e: DUP2
00001f0f: LT
00001f10: ISZERO
00001f11: PUSH2 0x1f19
00001f14: JUMPI
00001f15: PUSH1 0x00
00001f17: DUP1
00001f18: REVERT
00001f19: JUMPDEST
00001f1a: POP
00001f1b: MLOAD
00001f1c: SWAP4
00001f1d: POP
00001f1e: PUSH1 0x00
00001f20: DUP1
00001f21: DUP1
00001f22: PUSH2 0x1f2c
00001f25: DUP10
00001f26: DUP3
00001f27: DUP8
00001f28: PUSH2 0x300f
00001f2b: JUMP
00001f2c: JUMPDEST
00001f2d: PUSH1 0x40
00001f2f: DUP1
00001f30: MLOAD
00001f31: DUP12
00001f32: DUP2
00001f33: MSTORE
00001f34: PUSH1 0x20
00001f36: DUP2
00001f37: ADD
00001f38: DUP11
00001f39: SWAP1
00001f3a: MSTORE
00001f3b: DUP1
00001f3c: DUP3
00001f3d: ADD
00001f3e: DUP6
00001f3f: SWAP1
00001f40: MSTORE
00001f41: PUSH1 0x60
00001f43: DUP2
00001f44: ADD
00001f45: DUP5
00001f46: SWAP1
00001f47: MSTORE
00001f48: PUSH1 0x80
00001f4a: DUP2
00001f4b: ADD
00001f4c: DUP4
00001f4d: SWAP1
00001f4e: MSTORE
00001f4f: SWAP1
00001f50: MLOAD
00001f51: SWAP4
00001f52: SWAP7
00001f53: POP
00001f54: SWAP2
00001f55: SWAP5
00001f56: POP
00001f57: SWAP3
00001f58: POP
00001f59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f6e: DUP1
00001f6f: DUP12
00001f70: AND
00001f71: SWAP3
00001f72: SWAP1
00001f73: DUP13
00001f74: AND
00001f75: SWAP2
00001f76: CALLER
00001f77: SWAP2
00001f78: PUSH32 0xb0dbe18c6ffdf0da655dd690e77211d379205c497be44c64447c3f5f021b5167
00001f99: SWAP2
00001f9a: DUP2
00001f9b: SWAP1
00001f9c: SUB
00001f9d: PUSH1 0xa0
00001f9f: ADD
00001fa0: SWAP1
00001fa1: LOG4
00001fa2: POP
00001fa3: POP
00001fa4: POP
00001fa5: POP
00001fa6: POP
00001fa7: POP
00001fa8: PUSH2 0x1faf
00001fab: PUSH2 0x332b
00001fae: JUMP
00001faf: JUMPDEST
00001fb0: PUSH1 0x0b
00001fb2: DUP1
00001fb3: SLOAD
00001fb4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001fd5: AND
00001fd6: PUSH1 0x01
00001fd8: OR
00001fd9: SWAP1
00001fda: SSTORE
00001fdb: SWAP3
00001fdc: SWAP2
00001fdd: POP
00001fde: POP
00001fdf: JUMP
00001fe0: JUMPDEST
00001fe1: PUSH1 0x10
00001fe3: SLOAD
00001fe4: PUSH7 0x01000000000000
00001fec: SWAP1
00001fed: DIV
00001fee: PUSH6 0xffffffffffff
00001ff5: AND
00001ff6: DUP2
00001ff7: JUMP
00001ff8: JUMPDEST
00001ff9: PUSH1 0x00
00001ffb: PUSH2 0x0ca6
00001ffe: CALLER
00001fff: DUP5
00002000: DUP5
00002001: PUSH2 0x39ed
00002004: JUMP
00002005: JUMPDEST
00002006: PUSH1 0x0b
00002008: SLOAD
00002009: PUSH1 0xff
0000200b: AND
0000200c: PUSH2 0x2076
0000200f: JUMPI
00002010: PUSH1 0x40
00002012: DUP1
00002013: MLOAD
00002014: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002035: DUP2
00002036: MSTORE
00002037: PUSH1 0x20
00002039: PUSH1 0x04
0000203b: DUP3
0000203c: ADD
0000203d: MSTORE
0000203e: PUSH1 0x13
00002040: PUSH1 0x24
00002042: DUP3
00002043: ADD
00002044: MSTORE
00002045: PUSH32 0x496d7065726d61783a205245454e544552454400000000000000000000000000
00002066: PUSH1 0x44
00002068: DUP3
00002069: ADD
0000206a: MSTORE
0000206b: SWAP1
0000206c: MLOAD
0000206d: SWAP1
0000206e: DUP2
0000206f: SWAP1
00002070: SUB
00002071: PUSH1 0x64
00002073: ADD
00002074: SWAP1
00002075: REVERT
00002076: JUMPDEST
00002077: PUSH1 0x0b
00002079: DUP1
0000207a: SLOAD
0000207b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000209c: AND
0000209d: SWAP1
0000209e: SSTORE
0000209f: PUSH2 0x20b9
000020a2: DUP2
000020a3: PUSH8 0x06f05b59d3b20000
000020ac: PUSH8 0x0dbd2fc137a30000
000020b5: PUSH2 0x3505
000020b8: JUMP
000020b9: JUMPDEST
000020ba: PUSH1 0x12
000020bc: DUP2
000020bd: SWAP1
000020be: SSTORE
000020bf: PUSH1 0x40
000020c1: DUP1
000020c2: MLOAD
000020c3: DUP3
000020c4: DUP2
000020c5: MSTORE
000020c6: SWAP1
000020c7: MLOAD
000020c8: PUSH32 0x7a550b1995ff63260fb313f12024e66e73bad425372e5af6b1e04cb3799ef38c
000020e9: SWAP2
000020ea: DUP2
000020eb: SWAP1
000020ec: SUB
000020ed: PUSH1 0x20
000020ef: ADD
000020f0: SWAP1
000020f1: LOG1
000020f2: POP
000020f3: PUSH1 0x0b
000020f5: DUP1
000020f6: SLOAD
000020f7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002118: AND
00002119: PUSH1 0x01
0000211b: OR
0000211c: SWAP1
0000211d: SSTORE
0000211e: JUMP
0000211f: JUMPDEST
00002120: PUSH1 0x0b
00002122: SLOAD
00002123: PUSH1 0x00
00002125: SWAP1
00002126: PUSH1 0xff
00002128: AND
00002129: PUSH2 0x2193
0000212c: JUMPI
0000212d: PUSH1 0x40
0000212f: DUP1
00002130: MLOAD
00002131: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002152: DUP2
00002153: MSTORE
00002154: PUSH1 0x20
00002156: PUSH1 0x04
00002158: DUP3
00002159: ADD
0000215a: MSTORE
0000215b: PUSH1 0x13
0000215d: PUSH1 0x24
0000215f: DUP3
00002160: ADD
00002161: MSTORE
00002162: PUSH32 0x496d7065726d61783a205245454e544552454400000000000000000000000000
00002183: PUSH1 0x44
00002185: DUP3
00002186: ADD
00002187: MSTORE
00002188: SWAP1
00002189: MLOAD
0000218a: SWAP1
0000218b: DUP2
0000218c: SWAP1
0000218d: SUB
0000218e: PUSH1 0x64
00002190: ADD
00002191: SWAP1
00002192: REVERT
00002193: JUMPDEST
00002194: PUSH1 0x0b
00002196: DUP1
00002197: SLOAD
00002198: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000021b9: AND
000021ba: SWAP1
000021bb: SSTORE
000021bc: ADDRESS
000021bd: PUSH1 0x00
000021bf: SWAP1
000021c0: DUP2
000021c1: MSTORE
000021c2: PUSH1 0x04
000021c4: PUSH1 0x20
000021c6: MSTORE
000021c7: PUSH1 0x40
000021c9: SWAP1
000021ca: KECCAK256
000021cb: SLOAD
000021cc: PUSH2 0x21ef
000021cf: PUSH8 0x0de0b6b3a7640000
000021d8: PUSH2 0x0f86
000021db: PUSH2 0x21e2
000021de: PUSH2 0x15f9
000021e1: JUMP
000021e2: JUMPDEST
000021e3: DUP5
000021e4: SWAP1
000021e5: PUSH4 0xffffffff
000021ea: PUSH2 0x2e9d
000021ed: AND
000021ee: JUMP
000021ef: JUMPDEST
000021f0: SWAP2
000021f1: POP
000021f2: PUSH1 0x00
000021f4: DUP3
000021f5: GT
000021f6: PUSH2 0x2260
000021f9: JUMPI
000021fa: PUSH1 0x40
000021fc: DUP1
000021fd: MLOAD
000021fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000221f: DUP2
00002220: MSTORE
00002221: PUSH1 0x20
00002223: PUSH1 0x04
00002225: DUP3
00002226: ADD
00002227: MSTORE
00002228: PUSH1 0x1c
0000222a: PUSH1 0x24
0000222c: DUP3
0000222d: ADD
0000222e: MSTORE
0000222f: PUSH32 0x496d7065726d61783a2052454445454d5f414d4f554e545f5a45524f00000000
00002250: PUSH1 0x44
00002252: DUP3
00002253: ADD
00002254: MSTORE
00002255: SWAP1
00002256: MLOAD
00002257: SWAP1
00002258: DUP2
00002259: SWAP1
0000225a: SUB
0000225b: PUSH1 0x64
0000225d: ADD
0000225e: SWAP1
0000225f: REVERT
00002260: JUMPDEST
00002261: PUSH1 0x0a
00002263: SLOAD
00002264: DUP3
00002265: GT
00002266: ISZERO
00002267: PUSH2 0x22d1
0000226a: JUMPI
0000226b: PUSH1 0x40
0000226d: DUP1
0000226e: MLOAD
0000226f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002290: DUP2
00002291: MSTORE
00002292: PUSH1 0x20
00002294: PUSH1 0x04
00002296: DUP3
00002297: ADD
00002298: MSTORE
00002299: PUSH1 0x1b
0000229b: PUSH1 0x24
0000229d: DUP3
0000229e: ADD
0000229f: MSTORE
000022a0: PUSH32 0x496d7065726d61783a20494e53554646494349454e545f434153480000000000
000022c1: PUSH1 0x44
000022c3: DUP3
000022c4: ADD
000022c5: MSTORE
000022c6: SWAP1
000022c7: MLOAD
000022c8: SWAP1
000022c9: DUP2
000022ca: SWAP1
000022cb: SUB
000022cc: PUSH1 0x64
000022ce: ADD
000022cf: SWAP1
000022d0: REVERT
000022d1: JUMPDEST
000022d2: PUSH2 0x22db
000022d5: ADDRESS
000022d6: DUP3
000022d7: PUSH2 0x3a5c
000022da: JUMP
000022db: JUMPDEST
000022dc: PUSH2 0x22e5
000022df: DUP4
000022e0: DUP4
000022e1: PUSH2 0x2c97
000022e4: JUMP
000022e5: JUMPDEST
000022e6: PUSH1 0x40
000022e8: DUP1
000022e9: MLOAD
000022ea: DUP4
000022eb: DUP2
000022ec: MSTORE
000022ed: PUSH1 0x20
000022ef: DUP2
000022f0: ADD
000022f1: DUP4
000022f2: SWAP1
000022f3: MSTORE
000022f4: DUP2
000022f5: MLOAD
000022f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000230b: DUP7
0000230c: AND
0000230d: SWAP3
0000230e: CALLER
0000230f: SWAP3
00002310: PUSH32 0x3f693fff038bb8a046aa76d9516190ac7444f7d69cf952c4cbdc086fdef2d6fc
00002331: SWAP3
00002332: SWAP1
00002333: DUP2
00002334: SWAP1
00002335: SUB
00002336: SWAP1
00002337: SWAP2
00002338: ADD
00002339: SWAP1
0000233a: LOG3
0000233b: POP
0000233c: PUSH2 0x1c5c
0000233f: PUSH2 0x332b
00002342: JUMP
00002343: JUMPDEST
00002344: PUSH1 0x01
00002346: DUP1
00002347: SLOAD
00002348: PUSH1 0x40
0000234a: DUP1
0000234b: MLOAD
0000234c: PUSH1 0x20
0000234e: PUSH1 0x02
00002350: DUP5
00002351: DUP7
00002352: AND
00002353: ISZERO
00002354: PUSH2 0x0100
00002357: MUL
00002358: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002379: ADD
0000237a: SWAP1
0000237b: SWAP5
0000237c: AND
0000237d: SWAP4
0000237e: SWAP1
0000237f: SWAP4
00002380: DIV
00002381: PUSH1 0x1f
00002383: DUP2
00002384: ADD
00002385: DUP5
00002386: SWAP1
00002387: DIV
00002388: DUP5
00002389: MUL
0000238a: DUP3
0000238b: ADD
0000238c: DUP5
0000238d: ADD
0000238e: SWAP1
0000238f: SWAP3
00002390: MSTORE
00002391: DUP2
00002392: DUP2
00002393: MSTORE
00002394: SWAP3
00002395: SWAP2
00002396: DUP4
00002397: ADD
00002398: DUP3
00002399: DUP3
0000239a: DUP1
0000239b: ISZERO
0000239c: PUSH2 0x0c88
0000239f: JUMPI
000023a0: DUP1
000023a1: PUSH1 0x1f
000023a3: LT
000023a4: PUSH2 0x0c5d
000023a7: JUMPI
000023a8: PUSH2 0x0100
000023ab: DUP1
000023ac: DUP4
000023ad: SLOAD
000023ae: DIV
000023af: MUL
000023b0: DUP4
000023b1: MSTORE
000023b2: SWAP2
000023b3: PUSH1 0x20
000023b5: ADD
000023b6: SWAP2
000023b7: PUSH2 0x0c88
000023ba: JUMP
000023bb: JUMPDEST
000023bc: PUSH2 0x23eb
000023bf: DUP8
000023c0: DUP8
000023c1: DUP8
000023c2: DUP8
000023c3: DUP8
000023c4: DUP8
000023c5: DUP8
000023c6: PUSH32 0xf6d86ed606f871fa1a557ac0ba607adce07767acf53f492fb215a1a4db4aea6f
000023e7: PUSH2 0x3b20
000023ea: JUMP
000023eb: JUMPDEST
000023ec: PUSH2 0x23f6
000023ef: DUP8
000023f0: DUP8
000023f1: DUP8
000023f2: PUSH2 0x39ed
000023f5: JUMP
000023f6: JUMPDEST
000023f7: POP
000023f8: POP
000023f9: POP
000023fa: POP
000023fb: POP
000023fc: POP
000023fd: POP
000023fe: JUMP
000023ff: JUMPDEST
00002400: PUSH7 0x038d7ea4c68000
00002408: DUP2
00002409: JUMP
0000240a: JUMPDEST
0000240b: PUSH1 0x0e
0000240d: SLOAD
0000240e: PUSH14 0xffffffffffffffffffffffffffff
0000241d: DUP1
0000241e: DUP3
0000241f: AND
00002420: SWAP2
00002421: PUSH15 0x010000000000000000000000000000
00002431: DUP2
00002432: DIV
00002433: SWAP1
00002434: SWAP2
00002435: AND
00002436: SWAP1
00002437: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002455: SWAP1
00002456: DIV
00002457: PUSH4 0xffffffff
0000245c: AND
0000245d: PUSH1 0x00
0000245f: PUSH2 0x2466
00002462: PUSH2 0x1cd7
00002465: JUMP
00002466: JUMPDEST
00002467: SWAP1
00002468: POP
00002469: DUP1
0000246a: PUSH4 0xffffffff
0000246f: AND
00002470: DUP3
00002471: PUSH4 0xffffffff
00002476: AND
00002477: EQ
00002478: ISZERO
00002479: PUSH2 0x2485
0000247c: JUMPI
0000247d: POP
0000247e: POP
0000247f: POP
00002480: POP
00002481: PUSH2 0x2647
00002484: JUMP
00002485: JUMPDEST
00002486: PUSH1 0x0e
00002488: DUP1
00002489: SLOAD
0000248a: PUSH4 0xffffffff
0000248f: DUP1
00002490: DUP5
00002491: AND
00002492: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000024b0: MUL
000024b1: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000024ce: SWAP1
000024cf: SWAP3
000024d0: AND
000024d1: SWAP2
000024d2: SWAP1
000024d3: SWAP2
000024d4: OR
000024d5: SWAP1
000024d6: SWAP2
000024d7: SSTORE
000024d8: PUSH1 0x10
000024da: SLOAD
000024db: DUP4
000024dc: DUP4
000024dd: SUB
000024de: SWAP2
000024df: PUSH1 0x00
000024e1: SWAP2
000024e2: PUSH2 0x24fa
000024e5: SWAP2
000024e6: PUSH6 0xffffffffffff
000024ed: SWAP1
000024ee: SWAP2
000024ef: AND
000024f0: SWAP1
000024f1: DUP1
000024f2: DUP6
000024f3: AND
000024f4: SWAP1
000024f5: PUSH2 0x2e9d
000024f8: AND
000024f9: JUMP
000024fa: JUMPDEST
000024fb: SWAP1
000024fc: POP
000024fd: PUSH1 0x00
000024ff: PUSH2 0x251a
00002502: PUSH8 0x0de0b6b3a7640000
0000250b: PUSH2 0x0f86
0000250e: DUP5
0000250f: DUP10
00002510: PUSH4 0xffffffff
00002515: PUSH2 0x2e9d
00002518: AND
00002519: JUMP
0000251a: JUMPDEST
0000251b: SWAP1
0000251c: POP
0000251d: PUSH2 0x252c
00002520: DUP7
00002521: DUP3
00002522: PUSH4 0xffffffff
00002527: PUSH2 0x2f59
0000252a: AND
0000252b: JUMP
0000252c: JUMPDEST
0000252d: SWAP6
0000252e: POP
0000252f: PUSH2 0x255a
00002532: PUSH2 0x254d
00002535: PUSH8 0x0de0b6b3a7640000
0000253e: PUSH2 0x0f86
00002541: DUP6
00002542: DUP12
00002543: PUSH4 0xffffffff
00002548: PUSH2 0x2e9d
0000254b: AND
0000254c: JUMP
0000254d: JUMPDEST
0000254e: DUP9
0000254f: SWAP1
00002550: PUSH4 0xffffffff
00002555: PUSH2 0x2f59
00002558: AND
00002559: JUMP
0000255a: JUMPDEST
0000255b: SWAP7
0000255c: POP
0000255d: PUSH2 0x2565
00002560: DUP8
00002561: PUSH2 0x3dc3
00002564: JUMP
00002565: JUMPDEST
00002566: PUSH1 0x0e
00002568: DUP1
00002569: SLOAD
0000256a: PUSH32 0xffffffffffffffffffffffffffffffffffff0000000000000000000000000000
0000258b: AND
0000258c: PUSH14 0xffffffffffffffffffffffffffff
0000259b: SWAP3
0000259c: SWAP1
0000259d: SWAP3
0000259e: AND
0000259f: SWAP2
000025a0: SWAP1
000025a1: SWAP2
000025a2: OR
000025a3: SWAP1
000025a4: SSTORE
000025a5: PUSH2 0x25ad
000025a8: DUP7
000025a9: PUSH2 0x3dc3
000025ac: JUMP
000025ad: JUMPDEST
000025ae: PUSH1 0x0e
000025b0: DUP1
000025b1: SLOAD
000025b2: PUSH14 0xffffffffffffffffffffffffffff
000025c1: SWAP3
000025c2: SWAP1
000025c3: SWAP3
000025c4: AND
000025c5: PUSH15 0x010000000000000000000000000000
000025d5: MUL
000025d6: PUSH32 0xffffffff0000000000000000000000000000ffffffffffffffffffffffffffff
000025f7: SWAP1
000025f8: SWAP3
000025f9: AND
000025fa: SWAP2
000025fb: SWAP1
000025fc: SWAP2
000025fd: OR
000025fe: SWAP1
000025ff: SSTORE
00002600: PUSH1 0x40
00002602: DUP1
00002603: MLOAD
00002604: DUP3
00002605: DUP2
00002606: MSTORE
00002607: PUSH1 0x20
00002609: DUP2
0000260a: ADD
0000260b: DUP10
0000260c: SWAP1
0000260d: MSTORE
0000260e: DUP1
0000260f: DUP3
00002610: ADD
00002611: DUP9
00002612: SWAP1
00002613: MSTORE
00002614: SWAP1
00002615: MLOAD
00002616: PUSH32 0x875352fb3fadeb8c0be7cbbe8ff761b308fa7033470cd0287f02f3436fd76cb9
00002637: SWAP2
00002638: DUP2
00002639: SWAP1
0000263a: SUB
0000263b: PUSH1 0x60
0000263d: ADD
0000263e: SWAP1
0000263f: LOG1
00002640: POP
00002641: POP
00002642: POP
00002643: POP
00002644: POP
00002645: POP
00002646: POP
00002647: JUMPDEST
00002648: JUMP
00002649: JUMPDEST
0000264a: PUSH1 0x00
0000264c: PUSH2 0x0ca6
0000264f: CALLER
00002650: DUP5
00002651: DUP5
00002652: PUSH2 0x33ec
00002655: JUMP
00002656: JUMPDEST
00002657: PUSH1 0x0e
00002659: SLOAD
0000265a: PUSH14 0xffffffffffffffffffffffffffff
00002669: AND
0000266a: DUP2
0000266b: JUMP
0000266c: JUMPDEST
0000266d: PUSH1 0x0a
0000266f: SLOAD
00002670: DUP2
00002671: JUMP
00002672: JUMPDEST
00002673: PUSH2 0x2697
00002676: DUP2
00002677: PUSH2 0x267f
0000267a: DUP4
0000267b: PUSH2 0x177a
0000267e: JUMP
0000267f: JUMPDEST
00002680: PUSH1 0x0e
00002682: SLOAD
00002683: PUSH14 0xffffffffffffffffffffffffffff
00002692: AND
00002693: PUSH2 0x3e46
00002696: JUMP
00002697: JUMPDEST
00002698: POP
00002699: JUMP
0000269a: JUMPDEST
0000269b: PUSH1 0x0e
0000269d: SLOAD
0000269e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000026bc: SWAP1
000026bd: DIV
000026be: PUSH4 0xffffffff
000026c3: AND
000026c4: DUP2
000026c5: JUMP
000026c6: JUMPDEST
000026c7: PUSH2 0x03e8
000026ca: DUP2
000026cb: JUMP
000026cc: JUMPDEST
000026cd: PUSH1 0x0b
000026cf: SLOAD
000026d0: PUSH1 0xff
000026d2: AND
000026d3: PUSH2 0x273d
000026d6: JUMPI
000026d7: PUSH1 0x40
000026d9: DUP1
000026da: MLOAD
000026db: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000026fc: DUP2
000026fd: MSTORE
000026fe: PUSH1 0x20
00002700: PUSH1 0x04
00002702: DUP3
00002703: ADD
00002704: MSTORE
00002705: PUSH1 0x13
00002707: PUSH1 0x24
00002709: DUP3
0000270a: ADD
0000270b: MSTORE
0000270c: PUSH32 0x496d7065726d61783a205245454e544552454400000000000000000000000000
0000272d: PUSH1 0x44
0000272f: DUP3
00002730: ADD
00002731: MSTORE
00002732: SWAP1
00002733: MLOAD
00002734: SWAP1
00002735: DUP2
00002736: SWAP1
00002737: SUB
00002738: PUSH1 0x64
0000273a: ADD
0000273b: SWAP1
0000273c: REVERT
0000273d: JUMPDEST
0000273e: PUSH1 0x0b
00002740: DUP1
00002741: SLOAD
00002742: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002763: AND
00002764: SWAP1
00002765: SSTORE
00002766: PUSH1 0x0a
00002768: SLOAD
00002769: PUSH1 0x08
0000276b: SLOAD
0000276c: PUSH1 0x40
0000276e: DUP1
0000276f: MLOAD
00002770: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00002791: DUP2
00002792: MSTORE
00002793: ADDRESS
00002794: PUSH1 0x04
00002796: DUP3
00002797: ADD
00002798: MSTORE
00002799: SWAP1
0000279a: MLOAD
0000279b: PUSH2 0x2821
0000279e: SWAP4
0000279f: DUP6
000027a0: SWAP4
000027a1: PUSH2 0x281c
000027a4: SWAP4
000027a5: SWAP2
000027a6: SWAP3
000027a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027bc: SWAP1
000027bd: SWAP2
000027be: AND
000027bf: SWAP2
000027c0: PUSH4 0x70a08231
000027c5: SWAP2
000027c6: PUSH1 0x24
000027c8: DUP1
000027c9: DUP4
000027ca: ADD
000027cb: SWAP3
000027cc: PUSH1 0x20
000027ce: SWAP3
000027cf: SWAP2
000027d0: SWAP1
000027d1: DUP3
000027d2: SWAP1
000027d3: SUB
000027d4: ADD
000027d5: DUP2
000027d6: DUP7
000027d7: DUP1
000027d8: EXTCODESIZE
000027d9: ISZERO
000027da: DUP1
000027db: ISZERO
000027dc: PUSH2 0x27e4
000027df: JUMPI
000027e0: PUSH1 0x00
000027e2: DUP1
000027e3: REVERT
000027e4: JUMPDEST
000027e5: POP
000027e6: GAS
000027e7: STATICCALL
000027e8: ISZERO
000027e9: DUP1
000027ea: ISZERO
000027eb: PUSH2 0x27f8
000027ee: JUMPI
000027ef: RETURNDATASIZE
000027f0: PUSH1 0x00
000027f2: DUP1
000027f3: RETURNDATACOPY
000027f4: RETURNDATASIZE
000027f5: PUSH1 0x00
000027f7: REVERT
000027f8: JUMPDEST
000027f9: POP
000027fa: POP
000027fb: POP
000027fc: POP
000027fd: PUSH1 0x40
000027ff: MLOAD
00002800: RETURNDATASIZE
00002801: PUSH1 0x20
00002803: DUP2
00002804: LT
00002805: ISZERO
00002806: PUSH2 0x280e
00002809: JUMPI
0000280a: PUSH1 0x00
0000280c: DUP1
0000280d: REVERT
0000280e: JUMPDEST
0000280f: POP
00002810: MLOAD
00002811: SWAP1
00002812: PUSH4 0xffffffff
00002817: PUSH2 0x2fcd
0000281a: AND
0000281b: JUMP
0000281c: JUMPDEST
0000281d: PUSH2 0x2c97
00002820: JUMP
00002821: JUMPDEST
00002822: POP
00002823: PUSH1 0x0b
00002825: DUP1
00002826: SLOAD
00002827: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002848: AND
00002849: PUSH1 0x01
0000284b: OR
0000284c: SWAP1
0000284d: SSTORE
0000284e: JUMP
0000284f: JUMPDEST
00002850: PUSH1 0x0f
00002852: SLOAD
00002853: DUP2
00002854: JUMP
00002855: JUMPDEST
00002856: PUSH1 0x09
00002858: SLOAD
00002859: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000286e: AND
0000286f: DUP2
00002870: JUMP
00002871: JUMPDEST
00002872: PUSH8 0x02c68af0bb140000
0000287b: DUP2
0000287c: JUMP
0000287d: JUMPDEST
0000287e: PUSH1 0x10
00002880: SLOAD
00002881: PUSH6 0xffffffffffff
00002888: AND
00002889: DUP2
0000288a: JUMP
0000288b: JUMPDEST
0000288c: PUSH2 0x28bb
0000288f: DUP8
00002890: DUP8
00002891: DUP8
00002892: DUP8
00002893: DUP8
00002894: DUP8
00002895: DUP8
00002896: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
000028b7: PUSH2 0x3b20
000028ba: JUMP
000028bb: JUMPDEST
000028bc: PUSH2 0x23f6
000028bf: DUP8
000028c0: DUP8
000028c1: DUP8
000028c2: PUSH2 0x2b11
000028c5: JUMP
000028c6: JUMPDEST
000028c7: PUSH1 0x0b
000028c9: SLOAD
000028ca: PUSH2 0x0100
000028cd: SWAP1
000028ce: DIV
000028cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e4: AND
000028e5: DUP2
000028e6: JUMP
000028e7: JUMPDEST
000028e8: PUSH1 0x05
000028ea: PUSH1 0x20
000028ec: SWAP1
000028ed: DUP2
000028ee: MSTORE
000028ef: PUSH1 0x00
000028f1: SWAP3
000028f2: DUP4
000028f3: MSTORE
000028f4: PUSH1 0x40
000028f6: DUP1
000028f7: DUP5
000028f8: KECCAK256
000028f9: SWAP1
000028fa: SWAP2
000028fb: MSTORE
000028fc: SWAP1
000028fd: DUP3
000028fe: MSTORE
000028ff: SWAP1
00002900: KECCAK256
00002901: SLOAD
00002902: DUP2
00002903: JUMP
00002904: JUMPDEST
00002905: PUSH4 0x12e687c0
0000290a: DUP2
0000290b: JUMP
0000290c: JUMPDEST
0000290d: PUSH1 0x10
0000290f: SLOAD
00002910: PUSH13 0x01000000000000000000000000
0000291e: SWAP1
0000291f: DIV
00002920: PUSH4 0xffffffff
00002925: AND
00002926: DUP2
00002927: JUMP
00002928: JUMPDEST
00002929: PUSH1 0x0b
0000292b: SLOAD
0000292c: PUSH1 0xff
0000292e: AND
0000292f: PUSH2 0x2999
00002932: JUMPI
00002933: PUSH1 0x40
00002935: DUP1
00002936: MLOAD
00002937: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002958: DUP2
00002959: MSTORE
0000295a: PUSH1 0x20
0000295c: PUSH1 0x04
0000295e: DUP3
0000295f: ADD
00002960: MSTORE
00002961: PUSH1 0x13
00002963: PUSH1 0x24
00002965: DUP3
00002966: ADD
00002967: MSTORE
00002968: PUSH32 0x496d7065726d61783a205245454e544552454400000000000000000000000000
00002989: PUSH1 0x44
0000298b: DUP3
0000298c: ADD
0000298d: MSTORE
0000298e: SWAP1
0000298f: MLOAD
00002990: SWAP1
00002991: DUP2
00002992: SWAP1
00002993: SUB
00002994: PUSH1 0x64
00002996: ADD
00002997: SWAP1
00002998: REVERT
00002999: JUMPDEST
0000299a: PUSH1 0x0b
0000299c: DUP1
0000299d: SLOAD
0000299e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000029bf: AND
000029c0: SWAP1
000029c1: SSTORE
000029c2: PUSH2 0x29d5
000029c5: DUP2
000029c6: PUSH1 0x00
000029c8: PUSH8 0x02c68af0bb140000
000029d1: PUSH2 0x3505
000029d4: JUMP
000029d5: JUMPDEST
000029d6: PUSH1 0x11
000029d8: DUP2
000029d9: SWAP1
000029da: SSTORE
000029db: PUSH1 0x40
000029dd: DUP1
000029de: MLOAD
000029df: DUP3
000029e0: DUP2
000029e1: MSTORE
000029e2: SWAP1
000029e3: MLOAD
000029e4: PUSH32 0x9d9cd27245b4e6b06dcf523ac57b6e851b934e199eee376313f906e94bfbfd55
00002a05: SWAP2
00002a06: DUP2
00002a07: SWAP1
00002a08: SUB
00002a09: PUSH1 0x20
00002a0b: ADD
00002a0c: SWAP1
00002a0d: LOG1
00002a0e: POP
00002a0f: PUSH1 0x0b
00002a11: DUP1
00002a12: SLOAD
00002a13: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002a34: AND
00002a35: PUSH1 0x01
00002a37: OR
00002a38: SWAP1
00002a39: SSTORE
00002a3a: JUMP
00002a3b: JUMPDEST
00002a3c: PUSH1 0x0b
00002a3e: SLOAD
00002a3f: PUSH1 0xff
00002a41: AND
00002a42: PUSH2 0x2aac
00002a45: JUMPI
00002a46: PUSH1 0x40
00002a48: DUP1
00002a49: MLOAD
00002a4a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a6b: DUP2
00002a6c: MSTORE
00002a6d: PUSH1 0x20
00002a6f: PUSH1 0x04
00002a71: DUP3
00002a72: ADD
00002a73: MSTORE
00002a74: PUSH1 0x13
00002a76: PUSH1 0x24
00002a78: DUP3
00002a79: ADD
00002a7a: MSTORE
00002a7b: PUSH32 0x496d7065726d61783a205245454e544552454400000000000000000000000000
00002a9c: PUSH1 0x44
00002a9e: DUP3
00002a9f: ADD
00002aa0: MSTORE
00002aa1: SWAP1
00002aa2: MLOAD
00002aa3: SWAP1
00002aa4: DUP2
00002aa5: SWAP1
00002aa6: SUB
00002aa7: PUSH1 0x64
00002aa9: ADD
00002aaa: SWAP1
00002aab: REVERT
00002aac: JUMPDEST
00002aad: PUSH1 0x0b
00002aaf: DUP1
00002ab0: SLOAD
00002ab1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002ad2: AND
00002ad3: SWAP1
00002ad4: SSTORE
00002ad5: PUSH2 0x2adc
00002ad8: PUSH2 0x240a
00002adb: JUMP
00002adc: JUMPDEST
00002add: PUSH2 0x2ae4
00002ae0: PUSH2 0x332b
00002ae3: JUMP
00002ae4: JUMPDEST
00002ae5: PUSH1 0x0b
00002ae7: DUP1
00002ae8: SLOAD
00002ae9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002b0a: AND
00002b0b: PUSH1 0x01
00002b0d: OR
00002b0e: SWAP1
00002b0f: SSTORE
00002b10: JUMP
00002b11: JUMPDEST
00002b12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b27: DUP1
00002b28: DUP5
00002b29: AND
00002b2a: PUSH1 0x00
00002b2c: DUP2
00002b2d: DUP2
00002b2e: MSTORE
00002b2f: PUSH1 0x05
00002b31: PUSH1 0x20
00002b33: SWAP1
00002b34: DUP2
00002b35: MSTORE
00002b36: PUSH1 0x40
00002b38: DUP1
00002b39: DUP4
00002b3a: KECCAK256
00002b3b: SWAP5
00002b3c: DUP8
00002b3d: AND
00002b3e: DUP1
00002b3f: DUP5
00002b40: MSTORE
00002b41: SWAP5
00002b42: DUP3
00002b43: MSTORE
00002b44: SWAP2
00002b45: DUP3
00002b46: SWAP1
00002b47: KECCAK256
00002b48: DUP6
00002b49: SWAP1
00002b4a: SSTORE
00002b4b: DUP2
00002b4c: MLOAD
00002b4d: DUP6
00002b4e: DUP2
00002b4f: MSTORE
00002b50: SWAP2
00002b51: MLOAD
00002b52: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002b73: SWAP3
00002b74: DUP2
00002b75: SWAP1
00002b76: SUB
00002b77: SWAP1
00002b78: SWAP2
00002b79: ADD
00002b7a: SWAP1
00002b7b: LOG3
00002b7c: POP
00002b7d: POP
00002b7e: POP
00002b7f: JUMP
00002b80: JUMPDEST
00002b81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b96: DUP1
00002b97: DUP5
00002b98: AND
00002b99: PUSH1 0x00
00002b9b: DUP2
00002b9c: DUP2
00002b9d: MSTORE
00002b9e: PUSH1 0x0c
00002ba0: PUSH1 0x20
00002ba2: SWAP1
00002ba3: DUP2
00002ba4: MSTORE
00002ba5: PUSH1 0x40
00002ba7: DUP1
00002ba8: DUP4
00002ba9: KECCAK256
00002baa: SWAP5
00002bab: DUP8
00002bac: AND
00002bad: DUP1
00002bae: DUP5
00002baf: MSTORE
00002bb0: SWAP5
00002bb1: SWAP1
00002bb2: SWAP2
00002bb3: MSTORE
00002bb4: SWAP1
00002bb5: KECCAK256
00002bb6: SLOAD
00002bb7: SWAP2
00002bb8: EQ
00002bb9: DUP1
00002bba: ISZERO
00002bbb: SWAP1
00002bbc: PUSH2 0x2be5
00002bbf: JUMPI
00002bc0: POP
00002bc1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002be2: DUP2
00002be3: EQ
00002be4: ISZERO
00002be5: JUMPDEST
00002be6: ISZERO
00002be7: PUSH2 0x2c91
00002bea: JUMPI
00002beb: DUP2
00002bec: DUP2
00002bed: LT
00002bee: ISZERO
00002bef: PUSH2 0x2c59
00002bf2: JUMPI
00002bf3: PUSH1 0x40
00002bf5: DUP1
00002bf6: MLOAD
00002bf7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c18: DUP2
00002c19: MSTORE
00002c1a: PUSH1 0x20
00002c1c: PUSH1 0x04
00002c1e: DUP3
00002c1f: ADD
00002c20: MSTORE
00002c21: PUSH1 0x1c
00002c23: PUSH1 0x24
00002c25: DUP3
00002c26: ADD
00002c27: MSTORE
00002c28: PUSH32 0x496d7065726d61783a20424f52524f575f4e4f545f414c4c4f57454400000000
00002c49: PUSH1 0x44
00002c4b: DUP3
00002c4c: ADD
00002c4d: MSTORE
00002c4e: SWAP1
00002c4f: MLOAD
00002c50: SWAP1
00002c51: DUP2
00002c52: SWAP1
00002c53: SUB
00002c54: PUSH1 0x64
00002c56: ADD
00002c57: SWAP1
00002c58: REVERT
00002c59: JUMPDEST
00002c5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c6f: DUP1
00002c70: DUP6
00002c71: AND
00002c72: PUSH1 0x00
00002c74: SWAP1
00002c75: DUP2
00002c76: MSTORE
00002c77: PUSH1 0x0c
00002c79: PUSH1 0x20
00002c7b: SWAP1
00002c7c: DUP2
00002c7d: MSTORE
00002c7e: PUSH1 0x40
00002c80: DUP1
00002c81: DUP4
00002c82: KECCAK256
00002c83: SWAP4
00002c84: DUP8
00002c85: AND
00002c86: DUP4
00002c87: MSTORE
00002c88: SWAP3
00002c89: SWAP1
00002c8a: MSTORE
00002c8b: KECCAK256
00002c8c: DUP3
00002c8d: DUP3
00002c8e: SUB
00002c8f: SWAP1
00002c90: SSTORE
00002c91: JUMPDEST
00002c92: POP
00002c93: POP
00002c94: POP
00002c95: POP
00002c96: JUMP
00002c97: JUMPDEST
00002c98: PUSH1 0x08
00002c9a: SLOAD
00002c9b: PUSH1 0x40
00002c9d: DUP1
00002c9e: MLOAD
00002c9f: DUP1
00002ca0: DUP3
00002ca1: ADD
00002ca2: DUP3
00002ca3: MSTORE
00002ca4: PUSH1 0x19
00002ca6: DUP2
00002ca7: MSTORE
00002ca8: PUSH32 0x7472616e7366657228616464726573732c75696e743235362900000000000000
00002cc9: PUSH1 0x20
00002ccb: SWAP2
00002ccc: DUP3
00002ccd: ADD
00002cce: MSTORE
00002ccf: DUP2
00002cd0: MLOAD
00002cd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ce6: DUP7
00002ce7: DUP2
00002ce8: AND
00002ce9: PUSH1 0x24
00002ceb: DUP4
00002cec: ADD
00002ced: MSTORE
00002cee: PUSH1 0x44
00002cf0: DUP1
00002cf1: DUP4
00002cf2: ADD
00002cf3: DUP8
00002cf4: SWAP1
00002cf5: MSTORE
00002cf6: DUP5
00002cf7: MLOAD
00002cf8: DUP1
00002cf9: DUP5
00002cfa: SUB
00002cfb: SWAP1
00002cfc: SWAP2
00002cfd: ADD
00002cfe: DUP2
00002cff: MSTORE
00002d00: PUSH1 0x64
00002d02: SWAP1
00002d03: SWAP3
00002d04: ADD
00002d05: DUP5
00002d06: MSTORE
00002d07: SWAP2
00002d08: DUP2
00002d09: ADD
00002d0a: DUP1
00002d0b: MLOAD
00002d0c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002d29: AND
00002d2a: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00002d4b: OR
00002d4c: DUP2
00002d4d: MSTORE
00002d4e: SWAP3
00002d4f: MLOAD
00002d50: DUP2
00002d51: MLOAD
00002d52: PUSH1 0x00
00002d54: SWAP6
00002d55: PUSH1 0x60
00002d57: SWAP6
00002d58: SWAP5
00002d59: AND
00002d5a: SWAP4
00002d5b: DUP3
00002d5c: SWAP2
00002d5d: DUP1
00002d5e: DUP4
00002d5f: DUP4
00002d60: JUMPDEST
00002d61: PUSH1 0x20
00002d63: DUP4
00002d64: LT
00002d65: PUSH2 0x2d9d
00002d68: JUMPI
00002d69: DUP1
00002d6a: MLOAD
00002d6b: DUP3
00002d6c: MSTORE
00002d6d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002d8e: SWAP1
00002d8f: SWAP3
00002d90: ADD
00002d91: SWAP2
00002d92: PUSH1 0x20
00002d94: SWAP2
00002d95: DUP3
00002d96: ADD
00002d97: SWAP2
00002d98: ADD
00002d99: PUSH2 0x2d60
00002d9c: JUMP
00002d9d: JUMPDEST
00002d9e: PUSH1 0x01
00002da0: DUP4
00002da1: PUSH1 0x20
00002da3: SUB
00002da4: PUSH2 0x0100
00002da7: EXP
00002da8: SUB
00002da9: DUP1
00002daa: NOT
00002dab: DUP3
00002dac: MLOAD
00002dad: AND
00002dae: DUP2
00002daf: DUP5
00002db0: MLOAD
00002db1: AND
00002db2: DUP1
00002db3: DUP3
00002db4: OR
00002db5: DUP6
00002db6: MSTORE
00002db7: POP
00002db8: POP
00002db9: POP
00002dba: POP
00002dbb: POP
00002dbc: POP
00002dbd: SWAP1
00002dbe: POP
00002dbf: ADD
00002dc0: SWAP2
00002dc1: POP
00002dc2: POP
00002dc3: PUSH1 0x00
00002dc5: PUSH1 0x40
00002dc7: MLOAD
00002dc8: DUP1
00002dc9: DUP4
00002dca: SUB
00002dcb: DUP2
00002dcc: PUSH1 0x00
00002dce: DUP7
00002dcf: GAS
00002dd0: CALL
00002dd1: SWAP2
00002dd2: POP
00002dd3: POP
00002dd4: RETURNDATASIZE
00002dd5: DUP1
00002dd6: PUSH1 0x00
00002dd8: DUP2
00002dd9: EQ
00002dda: PUSH2 0x2dff
00002ddd: JUMPI
00002dde: PUSH1 0x40
00002de0: MLOAD
00002de1: SWAP2
00002de2: POP
00002de3: PUSH1 0x1f
00002de5: NOT
00002de6: PUSH1 0x3f
00002de8: RETURNDATASIZE
00002de9: ADD
00002dea: AND
00002deb: DUP3
00002dec: ADD
00002ded: PUSH1 0x40
00002def: MSTORE
00002df0: RETURNDATASIZE
00002df1: DUP3
00002df2: MSTORE
00002df3: RETURNDATASIZE
00002df4: PUSH1 0x00
00002df6: PUSH1 0x20
00002df8: DUP5
00002df9: ADD
00002dfa: RETURNDATACOPY
00002dfb: PUSH2 0x2e04
00002dfe: JUMP
00002dff: JUMPDEST
00002e00: PUSH1 0x60
00002e02: SWAP2
00002e03: POP
00002e04: JUMPDEST
00002e05: POP
00002e06: SWAP2
00002e07: POP
00002e08: SWAP2
00002e09: POP
00002e0a: DUP2
00002e0b: DUP1
00002e0c: ISZERO
00002e0d: PUSH2 0x2e32
00002e10: JUMPI
00002e11: POP
00002e12: DUP1
00002e13: MLOAD
00002e14: ISZERO
00002e15: DUP1
00002e16: PUSH2 0x2e32
00002e19: JUMPI
00002e1a: POP
00002e1b: DUP1
00002e1c: DUP1
00002e1d: PUSH1 0x20
00002e1f: ADD
00002e20: SWAP1
00002e21: MLOAD
00002e22: PUSH1 0x20
00002e24: DUP2
00002e25: LT
00002e26: ISZERO
00002e27: PUSH2 0x2e2f
00002e2a: JUMPI
00002e2b: PUSH1 0x00
00002e2d: DUP1
00002e2e: REVERT
00002e2f: JUMPDEST
00002e30: POP
00002e31: MLOAD
00002e32: JUMPDEST
00002e33: PUSH2 0x2c91
00002e36: JUMPI
00002e37: PUSH1 0x40
00002e39: DUP1
00002e3a: MLOAD
00002e3b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e5c: DUP2
00002e5d: MSTORE
00002e5e: PUSH1 0x20
00002e60: PUSH1 0x04
00002e62: DUP3
00002e63: ADD
00002e64: MSTORE
00002e65: PUSH1 0x19
00002e67: PUSH1 0x24
00002e69: DUP3
00002e6a: ADD
00002e6b: MSTORE
00002e6c: PUSH32 0x496d7065726d61783a205452414e534645525f4641494c454400000000000000
00002e8d: PUSH1 0x44
00002e8f: DUP3
00002e90: ADD
00002e91: MSTORE
00002e92: SWAP1
00002e93: MLOAD
00002e94: SWAP1
00002e95: DUP2
00002e96: SWAP1
00002e97: SUB
00002e98: PUSH1 0x64
00002e9a: ADD
00002e9b: SWAP1
00002e9c: REVERT
00002e9d: JUMPDEST
00002e9e: PUSH1 0x00
00002ea0: DUP3
00002ea1: PUSH2 0x2eac
00002ea4: JUMPI
00002ea5: POP
00002ea6: PUSH1 0x00
00002ea8: PUSH2 0x0caa
00002eab: JUMP
00002eac: JUMPDEST
00002ead: DUP3
00002eae: DUP3
00002eaf: MUL
00002eb0: DUP3
00002eb1: DUP5
00002eb2: DUP3
00002eb3: DUP2
00002eb4: PUSH2 0x2eb9
00002eb7: JUMPI
00002eb8: INVALID
00002eb9: JUMPDEST
00002eba: DIV
00002ebb: EQ
00002ebc: PUSH2 0x2f10
00002ebf: JUMPI
00002ec0: PUSH1 0x40
00002ec2: MLOAD
00002ec3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ee4: DUP2
00002ee5: MSTORE
00002ee6: PUSH1 0x04
00002ee8: ADD
00002ee9: DUP1
00002eea: DUP1
00002eeb: PUSH1 0x20
00002eed: ADD
00002eee: DUP3
00002eef: DUP2
00002ef0: SUB
00002ef1: DUP3
00002ef2: MSTORE
00002ef3: PUSH1 0x21
00002ef5: DUP2
00002ef6: MSTORE
00002ef7: PUSH1 0x20
00002ef9: ADD
00002efa: DUP1
00002efb: PUSH2 0x4445
00002efe: PUSH1 0x21
00002f00: SWAP2
00002f01: CODECOPY
00002f02: PUSH1 0x40
00002f04: ADD
00002f05: SWAP2
00002f06: POP
00002f07: POP
00002f08: PUSH1 0x40
00002f0a: MLOAD
00002f0b: DUP1
00002f0c: SWAP2
00002f0d: SUB
00002f0e: SWAP1
00002f0f: REVERT
00002f10: JUMPDEST
00002f11: SWAP4
00002f12: SWAP3
00002f13: POP
00002f14: POP
00002f15: POP
00002f16: JUMP
00002f17: JUMPDEST
00002f18: PUSH1 0x00
00002f1a: PUSH2 0x2f10
00002f1d: DUP4
00002f1e: DUP4
00002f1f: PUSH1 0x40
00002f21: MLOAD
00002f22: DUP1
00002f23: PUSH1 0x40
00002f25: ADD
00002f26: PUSH1 0x40
00002f28: MSTORE
00002f29: DUP1
00002f2a: PUSH1 0x1a
00002f2c: DUP2
00002f2d: MSTORE
00002f2e: PUSH1 0x20
00002f30: ADD
00002f31: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002f52: DUP2
00002f53: MSTORE
00002f54: POP
00002f55: PUSH2 0x3f07
00002f58: JUMP
00002f59: JUMPDEST
00002f5a: PUSH1 0x00
00002f5c: DUP3
00002f5d: DUP3
00002f5e: ADD
00002f5f: DUP4
00002f60: DUP2
00002f61: LT
00002f62: ISZERO
00002f63: PUSH2 0x2f10
00002f66: JUMPI
00002f67: PUSH1 0x40
00002f69: DUP1
00002f6a: MLOAD
00002f6b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f8c: DUP2
00002f8d: MSTORE
00002f8e: PUSH1 0x20
00002f90: PUSH1 0x04
00002f92: DUP3
00002f93: ADD
00002f94: MSTORE
00002f95: PUSH1 0x1b
00002f97: PUSH1 0x24
00002f99: DUP3
00002f9a: ADD
00002f9b: MSTORE
00002f9c: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002fbd: PUSH1 0x44
00002fbf: DUP3
00002fc0: ADD
00002fc1: MSTORE
00002fc2: SWAP1
00002fc3: MLOAD
00002fc4: SWAP1
00002fc5: DUP2
00002fc6: SWAP1
00002fc7: SUB
00002fc8: PUSH1 0x64
00002fca: ADD
00002fcb: SWAP1
00002fcc: REVERT
00002fcd: JUMPDEST
00002fce: PUSH1 0x00
00002fd0: PUSH2 0x2f10
00002fd3: DUP4
00002fd4: DUP4
00002fd5: PUSH1 0x40
00002fd7: MLOAD
00002fd8: DUP1
00002fd9: PUSH1 0x40
00002fdb: ADD
00002fdc: PUSH1 0x40
00002fde: MSTORE
00002fdf: DUP1
00002fe0: PUSH1 0x1f
00002fe2: DUP2
00002fe3: MSTORE
00002fe4: PUSH1 0x20
00002fe6: ADD
00002fe7: PUSH32 0x536166654d6174683a207375627472616374696f6e20756e646572666c6f7700
00003008: DUP2
00003009: MSTORE
0000300a: POP
0000300b: PUSH2 0x333b
0000300e: JUMP
0000300f: JUMPDEST
00003010: PUSH1 0x00
00003012: DUP1
00003013: PUSH1 0x00
00003015: PUSH2 0x301d
00003018: DUP7
00003019: PUSH2 0x177a
0000301c: JUMP
0000301d: JUMPDEST
0000301e: SWAP3
0000301f: POP
00003020: DUP4
00003021: DUP6
00003022: EQ
00003023: ISZERO
00003024: PUSH2 0x3055
00003027: JUMPI
00003028: POP
00003029: POP
0000302a: PUSH1 0x0e
0000302c: SLOAD
0000302d: DUP2
0000302e: SWAP1
0000302f: PUSH15 0x010000000000000000000000000000
0000303f: SWAP1
00003040: DIV
00003041: PUSH14 0xffffffffffffffffffffffffffff
00003050: AND
00003051: PUSH2 0x3322
00003054: JUMP
00003055: JUMPDEST
00003056: PUSH1 0x0e
00003058: SLOAD
00003059: PUSH14 0xffffffffffffffffffffffffffff
00003068: AND
00003069: DUP5
0000306a: DUP7
0000306b: GT
0000306c: ISZERO
0000306d: PUSH2 0x317d
00003070: JUMPI
00003071: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003086: DUP8
00003087: AND
00003088: PUSH1 0x00
0000308a: SWAP1
0000308b: DUP2
0000308c: MSTORE
0000308d: PUSH1 0x0d
0000308f: PUSH1 0x20
00003091: MSTORE
00003092: PUSH1 0x40
00003094: SWAP1
00003095: KECCAK256
00003096: DUP6
00003097: DUP8
00003098: SUB
00003099: PUSH2 0x30a8
0000309c: DUP7
0000309d: DUP3
0000309e: PUSH4 0xffffffff
000030a3: PUSH2 0x2f59
000030a6: AND
000030a7: JUMP
000030a8: JUMPDEST
000030a9: SWAP5
000030aa: POP
000030ab: PUSH2 0x30b3
000030ae: DUP6
000030af: PUSH2 0x3dc3
000030b2: JUMP
000030b3: JUMPDEST
000030b4: DUP3
000030b5: SLOAD
000030b6: PUSH32 0xffffffffffffffffffffffffffffffffffff0000000000000000000000000000
000030d7: AND
000030d8: PUSH14 0xffffffffffffffffffffffffffff
000030e7: SWAP2
000030e8: DUP3
000030e9: AND
000030ea: OR
000030eb: PUSH32 0xffffffff0000000000000000000000000000ffffffffffffffffffffffffffff
0000310c: AND
0000310d: PUSH15 0x010000000000000000000000000000
0000311d: DUP6
0000311e: DUP4
0000311f: AND
00003120: DUP2
00003121: MUL
00003122: SWAP2
00003123: SWAP1
00003124: SWAP2
00003125: OR
00003126: DUP5
00003127: SSTORE
00003128: PUSH1 0x0e
0000312a: SLOAD
0000312b: PUSH2 0x3138
0000312e: SWAP3
0000312f: SWAP2
00003130: SWAP1
00003131: DIV
00003132: AND
00003133: DUP3
00003134: PUSH2 0x2f59
00003137: JUMP
00003138: JUMPDEST
00003139: SWAP4
0000313a: POP
0000313b: PUSH2 0x3143
0000313e: DUP5
0000313f: PUSH2 0x3dc3
00003142: JUMP
00003143: JUMPDEST
00003144: PUSH1 0x0e
00003146: DUP1
00003147: PUSH2 0x0100
0000314a: EXP
0000314b: DUP2
0000314c: SLOAD
0000314d: DUP2
0000314e: PUSH14 0xffffffffffffffffffffffffffff
0000315d: MUL
0000315e: NOT
0000315f: AND
00003160: SWAP1
00003161: DUP4
00003162: PUSH14 0xffffffffffffffffffffffffffff
00003171: AND
00003172: MUL
00003173: OR
00003174: SWAP1
00003175: SSTORE
00003176: POP
00003177: POP
00003178: POP
00003179: PUSH2 0x3305
0000317c: JUMP
0000317d: JUMPDEST
0000317e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003193: DUP8
00003194: AND
00003195: PUSH1 0x00
00003197: SWAP1
00003198: DUP2
00003199: MSTORE
0000319a: PUSH1 0x0d
0000319c: PUSH1 0x20
0000319e: MSTORE
0000319f: PUSH1 0x40
000031a1: SWAP1
000031a2: KECCAK256
000031a3: DUP7
000031a4: DUP7
000031a5: SUB
000031a6: DUP1
000031a7: DUP7
000031a8: GT
000031a9: PUSH2 0x31b3
000031ac: JUMPI
000031ad: PUSH1 0x00
000031af: PUSH2 0x31b7
000031b2: JUMP
000031b3: JUMPDEST
000031b4: DUP1
000031b5: DUP7
000031b6: SUB
000031b7: JUMPDEST
000031b8: SWAP5
000031b9: POP
000031ba: PUSH2 0x31c2
000031bd: DUP6
000031be: PUSH2 0x3dc3
000031c1: JUMP
000031c2: JUMPDEST
000031c3: DUP3
000031c4: SLOAD
000031c5: PUSH32 0xffffffffffffffffffffffffffffffffffff0000000000000000000000000000
000031e6: AND
000031e7: PUSH14 0xffffffffffffffffffffffffffff
000031f6: SWAP2
000031f7: SWAP1
000031f8: SWAP2
000031f9: AND
000031fa: OR
000031fb: DUP3
000031fc: SSTORE
000031fd: DUP5
000031fe: PUSH2 0x322c
00003201: JUMPI
00003202: DUP2
00003203: SLOAD
00003204: PUSH32 0xffffffff0000000000000000000000000000ffffffffffffffffffffffffffff
00003225: AND
00003226: DUP3
00003227: SSTORE
00003228: PUSH2 0x3276
0000322b: JUMP
0000322c: JUMPDEST
0000322d: DUP2
0000322e: SLOAD
0000322f: PUSH32 0xffffffff0000000000000000000000000000ffffffffffffffffffffffffffff
00003250: AND
00003251: PUSH15 0x010000000000000000000000000000
00003261: PUSH14 0xffffffffffffffffffffffffffff
00003270: DUP6
00003271: AND
00003272: MUL
00003273: OR
00003274: DUP3
00003275: SSTORE
00003276: JUMPDEST
00003277: PUSH1 0x00
00003279: PUSH2 0x3288
0000327c: DUP8
0000327d: DUP8
0000327e: PUSH4 0xffffffff
00003283: PUSH2 0x2fcd
00003286: AND
00003287: JUMP
00003288: JUMPDEST
00003289: PUSH1 0x0e
0000328b: SLOAD
0000328c: PUSH15 0x010000000000000000000000000000
0000329c: SWAP1
0000329d: DIV
0000329e: PUSH14 0xffffffffffffffffffffffffffff
000032ad: AND
000032ae: SWAP6
000032af: POP
000032b0: SWAP1
000032b1: POP
000032b2: DUP1
000032b3: DUP6
000032b4: GT
000032b5: PUSH2 0x32bf
000032b8: JUMPI
000032b9: PUSH1 0x00
000032bb: PUSH2 0x32c3
000032be: JUMP
000032bf: JUMPDEST
000032c0: DUP1
000032c1: DUP6
000032c2: SUB
000032c3: JUMPDEST
000032c4: SWAP5
000032c5: POP
000032c6: PUSH2 0x32ce
000032c9: DUP6
000032ca: PUSH2 0x3dc3
000032cd: JUMP
000032ce: JUMPDEST
000032cf: PUSH1 0x0e
000032d1: DUP1
000032d2: PUSH2 0x0100
000032d5: EXP
000032d6: DUP2
000032d7: SLOAD
000032d8: DUP2
000032d9: PUSH14 0xffffffffffffffffffffffffffff
000032e8: MUL
000032e9: NOT
000032ea: AND
000032eb: SWAP1
000032ec: DUP4
000032ed: PUSH14 0xffffffffffffffffffffffffffff
000032fc: AND
000032fd: MUL
000032fe: OR
000032ff: SWAP1
00003300: SSTORE
00003301: POP
00003302: POP
00003303: POP
00003304: POP
00003305: JUMPDEST
00003306: PUSH2 0x3320
00003309: DUP8
0000330a: DUP5
0000330b: DUP4
0000330c: PUSH14 0xffffffffffffffffffffffffffff
0000331b: AND
0000331c: PUSH2 0x3e46
0000331f: JUMP
00003320: JUMPDEST
00003321: POP
00003322: JUMPDEST
00003323: SWAP4
00003324: POP
00003325: SWAP4
00003326: POP
00003327: SWAP4
00003328: SWAP1
00003329: POP
0000332a: JUMP
0000332b: JUMPDEST
0000332c: PUSH2 0x3333
0000332f: PUSH2 0x3f86
00003332: JUMP
00003333: JUMPDEST
00003334: PUSH2 0x2647
00003337: PUSH2 0x405c
0000333a: JUMP
0000333b: JUMPDEST
0000333c: PUSH1 0x00
0000333e: DUP2
0000333f: DUP5
00003340: DUP5
00003341: GT
00003342: ISZERO
00003343: PUSH2 0x33e4
00003346: JUMPI
00003347: PUSH1 0x40
00003349: MLOAD
0000334a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000336b: DUP2
0000336c: MSTORE
0000336d: PUSH1 0x04
0000336f: ADD
00003370: DUP1
00003371: DUP1
00003372: PUSH1 0x20
00003374: ADD
00003375: DUP3
00003376: DUP2
00003377: SUB
00003378: DUP3
00003379: MSTORE
0000337a: DUP4
0000337b: DUP2
0000337c: DUP2
0000337d: MLOAD
0000337e: DUP2
0000337f: MSTORE
00003380: PUSH1 0x20
00003382: ADD
00003383: SWAP2
00003384: POP
00003385: DUP1
00003386: MLOAD
00003387: SWAP1
00003388: PUSH1 0x20
0000338a: ADD
0000338b: SWAP1
0000338c: DUP1
0000338d: DUP4
0000338e: DUP4
0000338f: PUSH1 0x00
00003391: JUMPDEST
00003392: DUP4
00003393: DUP2
00003394: LT
00003395: ISZERO
00003396: PUSH2 0x33a9
00003399: JUMPI
0000339a: DUP2
0000339b: DUP2
0000339c: ADD
0000339d: MLOAD
0000339e: DUP4
0000339f: DUP3
000033a0: ADD
000033a1: MSTORE
000033a2: PUSH1 0x20
000033a4: ADD
000033a5: PUSH2 0x3391
000033a8: JUMP
000033a9: JUMPDEST
000033aa: POP
000033ab: POP
000033ac: POP
000033ad: POP
000033ae: SWAP1
000033af: POP
000033b0: SWAP1
000033b1: DUP2
000033b2: ADD
000033b3: SWAP1
000033b4: PUSH1 0x1f
000033b6: AND
000033b7: DUP1
000033b8: ISZERO
000033b9: PUSH2 0x33d6
000033bc: JUMPI
000033bd: DUP1
000033be: DUP3
000033bf: SUB
000033c0: DUP1
000033c1: MLOAD
000033c2: PUSH1 0x01
000033c4: DUP4
000033c5: PUSH1 0x20
000033c7: SUB
000033c8: PUSH2 0x0100
000033cb: EXP
000033cc: SUB
000033cd: NOT
000033ce: AND
000033cf: DUP2
000033d0: MSTORE
000033d1: PUSH1 0x20
000033d3: ADD
000033d4: SWAP2
000033d5: POP
000033d6: JUMPDEST
000033d7: POP
000033d8: SWAP3
000033d9: POP
000033da: POP
000033db: POP
000033dc: PUSH1 0x40
000033de: MLOAD
000033df: DUP1
000033e0: SWAP2
000033e1: SUB
000033e2: SWAP1
000033e3: REVERT
000033e4: JUMPDEST
000033e5: POP
000033e6: POP
000033e7: POP
000033e8: SWAP1
000033e9: SUB
000033ea: SWAP1
000033eb: JUMP
000033ec: JUMPDEST
000033ed: PUSH1 0x40
000033ef: DUP1
000033f0: MLOAD
000033f1: DUP1
000033f2: DUP3
000033f3: ADD
000033f4: DUP3
000033f5: MSTORE
000033f6: PUSH1 0x1b
000033f8: DUP2
000033f9: MSTORE
000033fa: PUSH32 0x496d7065726d61783a205452414e534645525f544f4f5f484947480000000000
0000341b: PUSH1 0x20
0000341d: DUP1
0000341e: DUP4
0000341f: ADD
00003420: SWAP2
00003421: SWAP1
00003422: SWAP2
00003423: MSTORE
00003424: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003439: DUP7
0000343a: AND
0000343b: PUSH1 0x00
0000343d: SWAP1
0000343e: DUP2
0000343f: MSTORE
00003440: PUSH1 0x04
00003442: SWAP1
00003443: SWAP2
00003444: MSTORE
00003445: SWAP2
00003446: SWAP1
00003447: SWAP2
00003448: KECCAK256
00003449: SLOAD
0000344a: PUSH2 0x345a
0000344d: SWAP2
0000344e: DUP4
0000344f: SWAP1
00003450: PUSH4 0xffffffff
00003455: PUSH2 0x333b
00003458: AND
00003459: JUMP
0000345a: JUMPDEST
0000345b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003470: DUP1
00003471: DUP6
00003472: AND
00003473: PUSH1 0x00
00003475: SWAP1
00003476: DUP2
00003477: MSTORE
00003478: PUSH1 0x04
0000347a: PUSH1 0x20
0000347c: MSTORE
0000347d: PUSH1 0x40
0000347f: DUP1
00003480: DUP3
00003481: KECCAK256
00003482: SWAP4
00003483: SWAP1
00003484: SWAP4
00003485: SSTORE
00003486: SWAP1
00003487: DUP5
00003488: AND
00003489: DUP2
0000348a: MSTORE
0000348b: KECCAK256
0000348c: SLOAD
0000348d: PUSH2 0x349c
00003490: SWAP1
00003491: DUP3
00003492: PUSH4 0xffffffff
00003497: PUSH2 0x2f59
0000349a: AND
0000349b: JUMP
0000349c: JUMPDEST
0000349d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034b2: DUP1
000034b3: DUP5
000034b4: AND
000034b5: PUSH1 0x00
000034b7: DUP2
000034b8: DUP2
000034b9: MSTORE
000034ba: PUSH1 0x04
000034bc: PUSH1 0x20
000034be: SWAP1
000034bf: DUP2
000034c0: MSTORE
000034c1: PUSH1 0x40
000034c3: SWAP2
000034c4: DUP3
000034c5: SWAP1
000034c6: KECCAK256
000034c7: SWAP5
000034c8: SWAP1
000034c9: SWAP5
000034ca: SSTORE
000034cb: DUP1
000034cc: MLOAD
000034cd: DUP6
000034ce: DUP2
000034cf: MSTORE
000034d0: SWAP1
000034d1: MLOAD
000034d2: SWAP2
000034d3: SWAP4
000034d4: SWAP3
000034d5: DUP8
000034d6: AND
000034d7: SWAP3
000034d8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000034f9: SWAP3
000034fa: SWAP2
000034fb: DUP3
000034fc: SWAP1
000034fd: SUB
000034fe: ADD
000034ff: SWAP1
00003500: LOG3
00003501: POP
00003502: POP
00003503: POP
00003504: JUMP
00003505: JUMPDEST
00003506: PUSH2 0x350d
00003509: PUSH2 0x35f0
0000350c: JUMP
0000350d: JUMPDEST
0000350e: DUP2
0000350f: DUP4
00003510: LT
00003511: ISZERO
00003512: PUSH2 0x357c
00003515: JUMPI
00003516: PUSH1 0x40
00003518: DUP1
00003519: MLOAD
0000351a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000353b: DUP2
0000353c: MSTORE
0000353d: PUSH1 0x20
0000353f: PUSH1 0x04
00003541: DUP3
00003542: ADD
00003543: MSTORE
00003544: PUSH1 0x19
00003546: PUSH1 0x24
00003548: DUP3
00003549: ADD
0000354a: MSTORE
0000354b: PUSH32 0x496d7065726d61783a20494e56414c49445f53455454494e4700000000000000
0000356c: PUSH1 0x44
0000356e: DUP3
0000356f: ADD
00003570: MSTORE
00003571: SWAP1
00003572: MLOAD
00003573: SWAP1
00003574: DUP2
00003575: SWAP1
00003576: SUB
00003577: PUSH1 0x64
00003579: ADD
0000357a: SWAP1
0000357b: REVERT
0000357c: JUMPDEST
0000357d: DUP1
0000357e: DUP4
0000357f: GT
00003580: ISZERO
00003581: PUSH2 0x35eb
00003584: JUMPI
00003585: PUSH1 0x40
00003587: DUP1
00003588: MLOAD
00003589: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000035aa: DUP2
000035ab: MSTORE
000035ac: PUSH1 0x20
000035ae: PUSH1 0x04
000035b0: DUP3
000035b1: ADD
000035b2: MSTORE
000035b3: PUSH1 0x19
000035b5: PUSH1 0x24
000035b7: DUP3
000035b8: ADD
000035b9: MSTORE
000035ba: PUSH32 0x496d7065726d61783a20494e56414c49445f53455454494e4700000000000000
000035db: PUSH1 0x44
000035dd: DUP3
000035de: ADD
000035df: MSTORE
000035e0: SWAP1
000035e1: MLOAD
000035e2: SWAP1
000035e3: DUP2
000035e4: SWAP1
000035e5: SUB
000035e6: PUSH1 0x64
000035e8: ADD
000035e9: SWAP1
000035ea: REVERT
000035eb: JUMPDEST
000035ec: POP
000035ed: POP
000035ee: POP
000035ef: JUMP
000035f0: JUMPDEST
000035f1: PUSH1 0x09
000035f3: PUSH1 0x00
000035f5: SWAP1
000035f6: SLOAD
000035f7: SWAP1
000035f8: PUSH2 0x0100
000035fb: EXP
000035fc: SWAP1
000035fd: DIV
000035fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003613: AND
00003614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003629: AND
0000362a: PUSH4 0xf851a440
0000362f: PUSH1 0x40
00003631: MLOAD
00003632: DUP2
00003633: PUSH4 0xffffffff
00003638: AND
00003639: PUSH1 0xe0
0000363b: SHL
0000363c: DUP2
0000363d: MSTORE
0000363e: PUSH1 0x04
00003640: ADD
00003641: PUSH1 0x20
00003643: PUSH1 0x40
00003645: MLOAD
00003646: DUP1
00003647: DUP4
00003648: SUB
00003649: DUP2
0000364a: DUP7
0000364b: DUP1
0000364c: EXTCODESIZE
0000364d: ISZERO
0000364e: DUP1
0000364f: ISZERO
00003650: PUSH2 0x3658
00003653: JUMPI
00003654: PUSH1 0x00
00003656: DUP1
00003657: REVERT
00003658: JUMPDEST
00003659: POP
0000365a: GAS
0000365b: STATICCALL
0000365c: ISZERO
0000365d: DUP1
0000365e: ISZERO
0000365f: PUSH2 0x366c
00003662: JUMPI
00003663: RETURNDATASIZE
00003664: PUSH1 0x00
00003666: DUP1
00003667: RETURNDATACOPY
00003668: RETURNDATASIZE
00003669: PUSH1 0x00
0000366b: REVERT
0000366c: JUMPDEST
0000366d: POP
0000366e: POP
0000366f: POP
00003670: POP
00003671: PUSH1 0x40
00003673: MLOAD
00003674: RETURNDATASIZE
00003675: PUSH1 0x20
00003677: DUP2
00003678: LT
00003679: ISZERO
0000367a: PUSH2 0x3682
0000367d: JUMPI
0000367e: PUSH1 0x00
00003680: DUP1
00003681: REVERT
00003682: JUMPDEST
00003683: POP
00003684: MLOAD
00003685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000369a: AND
0000369b: CALLER
0000369c: EQ
0000369d: PUSH2 0x2647
000036a0: JUMPI
000036a1: PUSH1 0x40
000036a3: DUP1
000036a4: MLOAD
000036a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000036c6: DUP2
000036c7: MSTORE
000036c8: PUSH1 0x20
000036ca: PUSH1 0x04
000036cc: DUP3
000036cd: ADD
000036ce: MSTORE
000036cf: PUSH1 0x16
000036d1: PUSH1 0x24
000036d3: DUP3
000036d4: ADD
000036d5: MSTORE
000036d6: PUSH32 0x496d7065726d61783a20554e415554484f52495a454400000000000000000000
000036f7: PUSH1 0x44
000036f9: DUP3
000036fa: ADD
000036fb: MSTORE
000036fc: SWAP1
000036fd: MLOAD
000036fe: SWAP1
000036ff: DUP2
00003700: SWAP1
00003701: SUB
00003702: PUSH1 0x64
00003704: ADD
00003705: SWAP1
00003706: REVERT
00003707: JUMPDEST
00003708: PUSH1 0x0f
0000370a: SLOAD
0000370b: PUSH1 0x00
0000370d: SWAP1
0000370e: DUP1
0000370f: DUP5
00003710: GT
00003711: ISZERO
00003712: PUSH2 0x3839
00003715: JUMPI
00003716: PUSH1 0x00
00003718: PUSH2 0x3758
0000371b: PUSH2 0x374b
0000371e: PUSH8 0x0de0b6b3a7640000
00003727: PUSH2 0x0f86
0000372a: PUSH1 0x11
0000372c: SLOAD
0000372d: PUSH2 0x373f
00003730: DUP8
00003731: DUP12
00003732: PUSH2 0x2fcd
00003735: SWAP1
00003736: SWAP2
00003737: SWAP1
00003738: PUSH4 0xffffffff
0000373d: AND
0000373e: JUMP
0000373f: JUMPDEST
00003740: SWAP1
00003741: PUSH4 0xffffffff
00003746: PUSH2 0x2e9d
00003749: AND
0000374a: JUMP
0000374b: JUMPDEST
0000374c: DUP7
0000374d: SWAP1
0000374e: PUSH4 0xffffffff
00003753: PUSH2 0x2fcd
00003756: AND
00003757: JUMP
00003758: JUMPDEST
00003759: SWAP1
0000375a: POP
0000375b: PUSH1 0x00
0000375d: PUSH2 0x3774
00003760: DUP6
00003761: PUSH2 0x0fbe
00003764: DUP5
00003765: PUSH2 0x0f86
00003768: DUP4
00003769: DUP12
0000376a: PUSH4 0xffffffff
0000376f: PUSH2 0x2e9d
00003772: AND
00003773: JUMP
00003774: JUMPDEST
00003775: SWAP1
00003776: POP
00003777: DUP1
00003778: PUSH2 0x3786
0000377b: JUMPI
0000377c: DUP6
0000377d: SWAP4
0000377e: POP
0000377f: POP
00003780: POP
00003781: POP
00003782: PUSH2 0x0caa
00003785: JUMP
00003786: JUMPDEST
00003787: PUSH1 0x09
00003789: SLOAD
0000378a: PUSH1 0x40
0000378c: DUP1
0000378d: MLOAD
0000378e: PUSH32 0x345ef94100000000000000000000000000000000000000000000000000000000
000037af: DUP2
000037b0: MSTORE
000037b1: SWAP1
000037b2: MLOAD
000037b3: PUSH1 0x00
000037b5: SWAP3
000037b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037cb: AND
000037cc: SWAP2
000037cd: PUSH4 0x345ef941
000037d2: SWAP2
000037d3: PUSH1 0x04
000037d5: DUP1
000037d6: DUP4
000037d7: ADD
000037d8: SWAP3
000037d9: PUSH1 0x20
000037db: SWAP3
000037dc: SWAP2
000037dd: SWAP1
000037de: DUP3
000037df: SWAP1
000037e0: SUB
000037e1: ADD
000037e2: DUP2
000037e3: DUP7
000037e4: DUP1
000037e5: EXTCODESIZE
000037e6: ISZERO
000037e7: DUP1
000037e8: ISZERO
000037e9: PUSH2 0x37f1
000037ec: JUMPI
000037ed: PUSH1 0x00
000037ef: DUP1
000037f0: REVERT
000037f1: JUMPDEST
000037f2: POP
000037f3: GAS
000037f4: STATICCALL
000037f5: ISZERO
000037f6: DUP1
000037f7: ISZERO
000037f8: PUSH2 0x3805
000037fb: JUMPI
000037fc: RETURNDATASIZE
000037fd: PUSH1 0x00
000037ff: DUP1
00003800: RETURNDATACOPY
00003801: RETURNDATASIZE
00003802: PUSH1 0x00
00003804: REVERT
00003805: JUMPDEST
00003806: POP
00003807: POP
00003808: POP
00003809: POP
0000380a: PUSH1 0x40
0000380c: MLOAD
0000380d: RETURNDATASIZE
0000380e: PUSH1 0x20
00003810: DUP2
00003811: LT
00003812: ISZERO
00003813: PUSH2 0x381b
00003816: JUMPI
00003817: PUSH1 0x00
00003819: DUP1
0000381a: REVERT
0000381b: JUMPDEST
0000381c: POP
0000381d: MLOAD
0000381e: SWAP1
0000381f: POP
00003820: PUSH2 0x3829
00003823: DUP2
00003824: DUP4
00003825: PUSH2 0x3926
00003828: JUMP
00003829: JUMPDEST
0000382a: POP
0000382b: POP
0000382c: PUSH1 0x0f
0000382e: DUP2
0000382f: SWAP1
00003830: SSTORE
00003831: SWAP2
00003832: POP
00003833: PUSH2 0x0caa
00003836: SWAP1
00003837: POP
00003838: JUMP
00003839: JUMPDEST
0000383a: DUP4
0000383b: SWAP2
0000383c: POP
0000383d: POP
0000383e: PUSH2 0x0caa
00003841: JUMP
00003842: JUMPDEST
00003843: DUP2
00003844: MLOAD
00003845: PUSH2 0x3855
00003848: SWAP1
00003849: PUSH1 0x00
0000384b: SWAP1
0000384c: PUSH1 0x20
0000384e: DUP6
0000384f: ADD
00003850: SWAP1
00003851: PUSH2 0x4364
00003854: JUMP
00003855: JUMPDEST
00003856: POP
00003857: DUP1
00003858: MLOAD
00003859: PUSH2 0x3869
0000385c: SWAP1
0000385d: PUSH1 0x01
0000385f: SWAP1
00003860: PUSH1 0x20
00003862: DUP5
00003863: ADD
00003864: SWAP1
00003865: PUSH2 0x4364
00003868: JUMP
00003869: JUMPDEST
0000386a: POP
0000386b: PUSH1 0x40
0000386d: MLOAD
0000386e: CHAINID
0000386f: SWAP1
00003870: DUP1
00003871: PUSH1 0x52
00003873: PUSH2 0x43f3
00003876: DUP3
00003877: CODECOPY
00003878: PUSH1 0x40
0000387a: DUP1
0000387b: MLOAD
0000387c: SWAP2
0000387d: DUP3
0000387e: SWAP1
0000387f: SUB
00003880: PUSH1 0x52
00003882: ADD
00003883: DUP3
00003884: KECCAK256
00003885: DUP7
00003886: MLOAD
00003887: PUSH1 0x20
00003889: SWAP8
0000388a: DUP9
0000388b: ADD
0000388c: KECCAK256
0000388d: DUP4
0000388e: DUP4
0000388f: ADD
00003890: DUP4
00003891: MSTORE
00003892: PUSH1 0x01
00003894: DUP5
00003895: MSTORE
00003896: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000000
000038b7: SWAP4
000038b8: DUP9
000038b9: ADD
000038ba: SWAP4
000038bb: SWAP1
000038bc: SWAP4
000038bd: MSTORE
000038be: DUP2
000038bf: MLOAD
000038c0: DUP1
000038c1: DUP9
000038c2: ADD
000038c3: SWAP2
000038c4: SWAP1
000038c5: SWAP2
000038c6: MSTORE
000038c7: DUP1
000038c8: DUP3
000038c9: ADD
000038ca: SWAP3
000038cb: SWAP1
000038cc: SWAP3
000038cd: MSTORE
000038ce: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
000038ef: PUSH1 0x60
000038f1: DUP4
000038f2: ADD
000038f3: MSTORE
000038f4: PUSH1 0x80
000038f6: DUP3
000038f7: ADD
000038f8: SWAP4
000038f9: SWAP1
000038fa: SWAP4
000038fb: MSTORE
000038fc: ADDRESS
000038fd: PUSH1 0xa0
000038ff: DUP1
00003900: DUP4
00003901: ADD
00003902: SWAP2
00003903: SWAP1
00003904: SWAP2
00003905: MSTORE
00003906: DUP4
00003907: MLOAD
00003908: DUP1
00003909: DUP4
0000390a: SUB
0000390b: SWAP1
0000390c: SWAP2
0000390d: ADD
0000390e: DUP2
0000390f: MSTORE
00003910: PUSH1 0xc0
00003912: SWAP1
00003913: SWAP2
00003914: ADD
00003915: SWAP1
00003916: SWAP3
00003917: MSTORE
00003918: POP
00003919: DUP1
0000391a: MLOAD
0000391b: SWAP3
0000391c: ADD
0000391d: SWAP2
0000391e: SWAP1
0000391f: SWAP2
00003920: KECCAK256
00003921: PUSH1 0x06
00003923: SSTORE
00003924: POP
00003925: JUMP
00003926: JUMPDEST
00003927: PUSH1 0x03
00003929: SLOAD
0000392a: PUSH2 0x3939
0000392d: SWAP1
0000392e: DUP3
0000392f: PUSH4 0xffffffff
00003934: PUSH2 0x2f59
00003937: AND
00003938: JUMP
00003939: JUMPDEST
0000393a: PUSH1 0x03
0000393c: SSTORE
0000393d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003952: DUP3
00003953: AND
00003954: PUSH1 0x00
00003956: SWAP1
00003957: DUP2
00003958: MSTORE
00003959: PUSH1 0x04
0000395b: PUSH1 0x20
0000395d: MSTORE
0000395e: PUSH1 0x40
00003960: SWAP1
00003961: KECCAK256
00003962: SLOAD
00003963: PUSH2 0x3972
00003966: SWAP1
00003967: DUP3
00003968: PUSH4 0xffffffff
0000396d: PUSH2 0x2f59
00003970: AND
00003971: JUMP
00003972: JUMPDEST
00003973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003988: DUP4
00003989: AND
0000398a: PUSH1 0x00
0000398c: DUP2
0000398d: DUP2
0000398e: MSTORE
0000398f: PUSH1 0x04
00003991: PUSH1 0x20
00003993: SWAP1
00003994: DUP2
00003995: MSTORE
00003996: PUSH1 0x40
00003998: DUP1
00003999: DUP4
0000399a: KECCAK256
0000399b: SWAP5
0000399c: SWAP1
0000399d: SWAP5
0000399e: SSTORE
0000399f: DUP4
000039a0: MLOAD
000039a1: DUP6
000039a2: DUP2
000039a3: MSTORE
000039a4: SWAP4
000039a5: MLOAD
000039a6: SWAP3
000039a7: SWAP4
000039a8: SWAP2
000039a9: SWAP3
000039aa: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000039cb: SWAP3
000039cc: DUP2
000039cd: SWAP1
000039ce: SUB
000039cf: SWAP1
000039d0: SWAP2
000039d1: ADD
000039d2: SWAP1
000039d3: LOG3
000039d4: POP
000039d5: POP
000039d6: JUMP
000039d7: JUMPDEST
000039d8: PUSH1 0x00
000039da: DUP2
000039db: DUP4
000039dc: LT
000039dd: PUSH2 0x39e6
000039e0: JUMPI
000039e1: DUP2
000039e2: PUSH2 0x2f10
000039e5: JUMP
000039e6: JUMPDEST
000039e7: POP
000039e8: SWAP1
000039e9: SWAP2
000039ea: SWAP1
000039eb: POP
000039ec: JUMP
000039ed: JUMPDEST
000039ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a03: DUP1
00003a04: DUP5
00003a05: AND
00003a06: PUSH1 0x00
00003a08: DUP2
00003a09: DUP2
00003a0a: MSTORE
00003a0b: PUSH1 0x0c
00003a0d: PUSH1 0x20
00003a0f: SWAP1
00003a10: DUP2
00003a11: MSTORE
00003a12: PUSH1 0x40
00003a14: DUP1
00003a15: DUP4
00003a16: KECCAK256
00003a17: SWAP5
00003a18: DUP8
00003a19: AND
00003a1a: DUP1
00003a1b: DUP5
00003a1c: MSTORE
00003a1d: SWAP5
00003a1e: DUP3
00003a1f: MSTORE
00003a20: SWAP2
00003a21: DUP3
00003a22: SWAP1
00003a23: KECCAK256
00003a24: DUP6
00003a25: SWAP1
00003a26: SSTORE
00003a27: DUP2
00003a28: MLOAD
00003a29: DUP6
00003a2a: DUP2
00003a2b: MSTORE
00003a2c: SWAP2
00003a2d: MLOAD
00003a2e: PUSH32 0xc3c1215b41d54142382d54a05fb991007165ae91bcb1879bac8b290d9111aaf4
00003a4f: SWAP3
00003a50: DUP2
00003a51: SWAP1
00003a52: SUB
00003a53: SWAP1
00003a54: SWAP2
00003a55: ADD
00003a56: SWAP1
00003a57: LOG3
00003a58: POP
00003a59: POP
00003a5a: POP
00003a5b: JUMP
00003a5c: JUMPDEST
00003a5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a72: DUP3
00003a73: AND
00003a74: PUSH1 0x00
00003a76: SWAP1
00003a77: DUP2
00003a78: MSTORE
00003a79: PUSH1 0x04
00003a7b: PUSH1 0x20
00003a7d: MSTORE
00003a7e: PUSH1 0x40
00003a80: SWAP1
00003a81: KECCAK256
00003a82: SLOAD
00003a83: PUSH2 0x3a92
00003a86: SWAP1
00003a87: DUP3
00003a88: PUSH4 0xffffffff
00003a8d: PUSH2 0x2fcd
00003a90: AND
00003a91: JUMP
00003a92: JUMPDEST
00003a93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003aa8: DUP4
00003aa9: AND
00003aaa: PUSH1 0x00
00003aac: SWAP1
00003aad: DUP2
00003aae: MSTORE
00003aaf: PUSH1 0x04
00003ab1: PUSH1 0x20
00003ab3: MSTORE
00003ab4: PUSH1 0x40
00003ab6: SWAP1
00003ab7: KECCAK256
00003ab8: SSTORE
00003ab9: PUSH1 0x03
00003abb: SLOAD
00003abc: PUSH2 0x3acb
00003abf: SWAP1
00003ac0: DUP3
00003ac1: PUSH4 0xffffffff
00003ac6: PUSH2 0x2fcd
00003ac9: AND
00003aca: JUMP
00003acb: JUMPDEST
00003acc: PUSH1 0x03
00003ace: SSTORE
00003acf: PUSH1 0x40
00003ad1: DUP1
00003ad2: MLOAD
00003ad3: DUP3
00003ad4: DUP2
00003ad5: MSTORE
00003ad6: SWAP1
00003ad7: MLOAD
00003ad8: PUSH1 0x00
00003ada: SWAP2
00003adb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003af0: DUP6
00003af1: AND
00003af2: SWAP2
00003af3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003b14: SWAP2
00003b15: DUP2
00003b16: SWAP1
00003b17: SUB
00003b18: PUSH1 0x20
00003b1a: ADD
00003b1b: SWAP1
00003b1c: LOG3
00003b1d: POP
00003b1e: POP
00003b1f: JUMP
00003b20: JUMPDEST
00003b21: TIMESTAMP
00003b22: DUP6
00003b23: LT
00003b24: ISZERO
00003b25: PUSH2 0x3b8f
00003b28: JUMPI
00003b29: PUSH1 0x40
00003b2b: DUP1
00003b2c: MLOAD
00003b2d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003b4e: DUP2
00003b4f: MSTORE
00003b50: PUSH1 0x20
00003b52: PUSH1 0x04
00003b54: DUP3
00003b55: ADD
00003b56: MSTORE
00003b57: PUSH1 0x11
00003b59: PUSH1 0x24
00003b5b: DUP3
00003b5c: ADD
00003b5d: MSTORE
00003b5e: PUSH32 0x496d7065726d61783a2045585049524544000000000000000000000000000000
00003b7f: PUSH1 0x44
00003b81: DUP3
00003b82: ADD
00003b83: MSTORE
00003b84: SWAP1
00003b85: MLOAD
00003b86: SWAP1
00003b87: DUP2
00003b88: SWAP1
00003b89: SUB
00003b8a: PUSH1 0x64
00003b8c: ADD
00003b8d: SWAP1
00003b8e: REVERT
00003b8f: JUMPDEST
00003b90: PUSH1 0x06
00003b92: SLOAD
00003b93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ba8: DUP1
00003ba9: DUP11
00003baa: AND
00003bab: PUSH1 0x00
00003bad: DUP2
00003bae: DUP2
00003baf: MSTORE
00003bb0: PUSH1 0x07
00003bb2: PUSH1 0x20
00003bb4: SWAP1
00003bb5: DUP2
00003bb6: MSTORE
00003bb7: PUSH1 0x40
00003bb9: DUP1
00003bba: DUP4
00003bbb: KECCAK256
00003bbc: DUP1
00003bbd: SLOAD
00003bbe: PUSH1 0x01
00003bc0: DUP1
00003bc1: DUP3
00003bc2: ADD
00003bc3: SWAP1
00003bc4: SWAP3
00003bc5: SSTORE
00003bc6: DUP3
00003bc7: MLOAD
00003bc8: DUP1
00003bc9: DUP6
00003bca: ADD
00003bcb: DUP11
00003bcc: SWAP1
00003bcd: MSTORE
00003bce: DUP1
00003bcf: DUP5
00003bd0: ADD
00003bd1: SWAP7
00003bd2: SWAP1
00003bd3: SWAP7
00003bd4: MSTORE
00003bd5: SWAP6
00003bd6: DUP15
00003bd7: AND
00003bd8: PUSH1 0x60
00003bda: DUP7
00003bdb: ADD
00003bdc: MSTORE
00003bdd: PUSH1 0x80
00003bdf: DUP6
00003be0: ADD
00003be1: DUP14
00003be2: SWAP1
00003be3: MSTORE
00003be4: PUSH1 0xa0
00003be6: DUP6
00003be7: ADD
00003be8: SWAP6
00003be9: SWAP1
00003bea: SWAP6
00003beb: MSTORE
00003bec: PUSH1 0xc0
00003bee: DUP1
00003bef: DUP6
00003bf0: ADD
00003bf1: DUP13
00003bf2: SWAP1
00003bf3: MSTORE
00003bf4: DUP2
00003bf5: MLOAD
00003bf6: DUP1
00003bf7: DUP7
00003bf8: SUB
00003bf9: SWAP1
00003bfa: SWAP2
00003bfb: ADD
00003bfc: DUP2
00003bfd: MSTORE
00003bfe: PUSH1 0xe0
00003c00: DUP6
00003c01: ADD
00003c02: DUP3
00003c03: MSTORE
00003c04: DUP1
00003c05: MLOAD
00003c06: SWAP1
00003c07: DUP4
00003c08: ADD
00003c09: KECCAK256
00003c0a: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00003c2b: PUSH2 0x0100
00003c2e: DUP7
00003c2f: ADD
00003c30: MSTORE
00003c31: PUSH2 0x0102
00003c34: DUP6
00003c35: ADD
00003c36: SWAP7
00003c37: SWAP1
00003c38: SWAP7
00003c39: MSTORE
00003c3a: PUSH2 0x0122
00003c3d: DUP1
00003c3e: DUP6
00003c3f: ADD
00003c40: SWAP7
00003c41: SWAP1
00003c42: SWAP7
00003c43: MSTORE
00003c44: DUP1
00003c45: MLOAD
00003c46: DUP1
00003c47: DUP6
00003c48: SUB
00003c49: SWAP1
00003c4a: SWAP7
00003c4b: ADD
00003c4c: DUP7
00003c4d: MSTORE
00003c4e: PUSH2 0x0142
00003c51: DUP5
00003c52: ADD
00003c53: DUP1
00003c54: DUP3
00003c55: MSTORE
00003c56: DUP7
00003c57: MLOAD
00003c58: SWAP7
00003c59: DUP4
00003c5a: ADD
00003c5b: SWAP7
00003c5c: SWAP1
00003c5d: SWAP7
00003c5e: KECCAK256
00003c5f: SWAP6
00003c60: DUP4
00003c61: SWAP1
00003c62: MSTORE
00003c63: PUSH2 0x0162
00003c66: DUP5
00003c67: ADD
00003c68: DUP1
00003c69: DUP3
00003c6a: MSTORE
00003c6b: DUP7
00003c6c: SWAP1
00003c6d: MSTORE
00003c6e: PUSH1 0xff
00003c70: DUP11
00003c71: AND
00003c72: PUSH2 0x0182
00003c75: DUP6
00003c76: ADD
00003c77: MSTORE
00003c78: PUSH2 0x01a2
00003c7b: DUP5
00003c7c: ADD
00003c7d: DUP10
00003c7e: SWAP1
00003c7f: MSTORE
00003c80: PUSH2 0x01c2
00003c83: DUP5
00003c84: ADD
00003c85: DUP9
00003c86: SWAP1
00003c87: MSTORE
00003c88: MLOAD
00003c89: SWAP2
00003c8a: SWAP4
00003c8b: SWAP3
00003c8c: PUSH2 0x01e2
00003c8f: DUP1
00003c90: DUP3
00003c91: ADD
00003c92: SWAP4
00003c93: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00003cb4: DUP2
00003cb5: ADD
00003cb6: SWAP3
00003cb7: DUP2
00003cb8: SWAP1
00003cb9: SUB
00003cba: SWAP1
00003cbb: SWAP2
00003cbc: ADD
00003cbd: SWAP1
00003cbe: DUP6
00003cbf: GAS
00003cc0: STATICCALL
00003cc1: ISZERO
00003cc2: DUP1
00003cc3: ISZERO
00003cc4: PUSH2 0x3cd1
00003cc7: JUMPI
00003cc8: RETURNDATASIZE
00003cc9: PUSH1 0x00
00003ccb: DUP1
00003ccc: RETURNDATACOPY
00003ccd: RETURNDATASIZE
00003cce: PUSH1 0x00
00003cd0: REVERT
00003cd1: JUMPDEST
00003cd2: POP
00003cd3: POP
00003cd4: PUSH1 0x40
00003cd6: MLOAD
00003cd7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00003cf8: ADD
00003cf9: MLOAD
00003cfa: SWAP2
00003cfb: POP
00003cfc: POP
00003cfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d12: DUP2
00003d13: AND
00003d14: ISZERO
00003d15: DUP1
00003d16: ISZERO
00003d17: SWAP1
00003d18: PUSH2 0x3d4c
00003d1b: JUMPI
00003d1c: POP
00003d1d: DUP10
00003d1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d33: AND
00003d34: DUP2
00003d35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d4a: AND
00003d4b: EQ
00003d4c: JUMPDEST
00003d4d: PUSH2 0x3db7
00003d50: JUMPI
00003d51: PUSH1 0x40
00003d53: DUP1
00003d54: MLOAD
00003d55: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003d76: DUP2
00003d77: MSTORE
00003d78: PUSH1 0x20
00003d7a: PUSH1 0x04
00003d7c: DUP3
00003d7d: ADD
00003d7e: MSTORE
00003d7f: PUSH1 0x1b
00003d81: PUSH1 0x24
00003d83: DUP3
00003d84: ADD
00003d85: MSTORE
00003d86: PUSH32 0x496d7065726d61783a20494e56414c49445f5349474e41545552450000000000
00003da7: PUSH1 0x44
00003da9: DUP3
00003daa: ADD
00003dab: MSTORE
00003dac: SWAP1
00003dad: MLOAD
00003dae: SWAP1
00003daf: DUP2
00003db0: SWAP1
00003db1: SUB
00003db2: PUSH1 0x64
00003db4: ADD
00003db5: SWAP1
00003db6: REVERT
00003db7: JUMPDEST
00003db8: POP
00003db9: POP
00003dba: POP
00003dbb: POP
00003dbc: POP
00003dbd: POP
00003dbe: POP
00003dbf: POP
00003dc0: POP
00003dc1: POP
00003dc2: JUMP
00003dc3: JUMPDEST
00003dc4: PUSH1 0x00
00003dc6: PUSH15 0x010000000000000000000000000000
00003dd6: DUP3
00003dd7: LT
00003dd8: PUSH2 0x3e42
00003ddb: JUMPI
00003ddc: PUSH1 0x40
00003dde: DUP1
00003ddf: MLOAD
00003de0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003e01: DUP2
00003e02: MSTORE
00003e03: PUSH1 0x20
00003e05: PUSH1 0x04
00003e07: DUP3
00003e08: ADD
00003e09: MSTORE
00003e0a: PUSH1 0x11
00003e0c: PUSH1 0x24
00003e0e: DUP3
00003e0f: ADD
00003e10: MSTORE
00003e11: PUSH32 0x496d7065726d61783a2053414645313132000000000000000000000000000000
00003e32: PUSH1 0x44
00003e34: DUP3
00003e35: ADD
00003e36: MSTORE
00003e37: SWAP1
00003e38: MLOAD
00003e39: SWAP1
00003e3a: DUP2
00003e3b: SWAP1
00003e3c: SUB
00003e3d: PUSH1 0x64
00003e3f: ADD
00003e40: SWAP1
00003e41: REVERT
00003e42: JUMPDEST
00003e43: POP
00003e44: SWAP1
00003e45: JUMP
00003e46: JUMPDEST
00003e47: PUSH1 0x14
00003e49: SLOAD
00003e4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e5f: AND
00003e60: DUP1
00003e61: PUSH2 0x3e6a
00003e64: JUMPI
00003e65: POP
00003e66: PUSH2 0x35eb
00003e69: JUMP
00003e6a: JUMPDEST
00003e6b: PUSH1 0x40
00003e6d: DUP1
00003e6e: MLOAD
00003e6f: PUSH32 0x05285d7f00000000000000000000000000000000000000000000000000000000
00003e90: DUP2
00003e91: MSTORE
00003e92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ea7: DUP7
00003ea8: DUP2
00003ea9: AND
00003eaa: PUSH1 0x04
00003eac: DUP4
00003ead: ADD
00003eae: MSTORE
00003eaf: PUSH1 0x24
00003eb1: DUP3
00003eb2: ADD
00003eb3: DUP7
00003eb4: SWAP1
00003eb5: MSTORE
00003eb6: PUSH1 0x44
00003eb8: DUP3
00003eb9: ADD
00003eba: DUP6
00003ebb: SWAP1
00003ebc: MSTORE
00003ebd: SWAP2
00003ebe: MLOAD
00003ebf: SWAP2
00003ec0: DUP4
00003ec1: AND
00003ec2: SWAP2
00003ec3: PUSH4 0x05285d7f
00003ec8: SWAP2
00003ec9: PUSH1 0x64
00003ecb: DUP1
00003ecc: DUP3
00003ecd: ADD
00003ece: SWAP3
00003ecf: PUSH1 0x00
00003ed1: SWAP3
00003ed2: SWAP1
00003ed3: SWAP2
00003ed4: SWAP1
00003ed5: DUP3
00003ed6: SWAP1
00003ed7: SUB
00003ed8: ADD
00003ed9: DUP2
00003eda: DUP4
00003edb: DUP8
00003edc: DUP1
00003edd: EXTCODESIZE
00003ede: ISZERO
00003edf: DUP1
00003ee0: ISZERO
00003ee1: PUSH2 0x3ee9
00003ee4: JUMPI
00003ee5: PUSH1 0x00
00003ee7: DUP1
00003ee8: REVERT
00003ee9: JUMPDEST
00003eea: POP
00003eeb: GAS
00003eec: CALL
00003eed: ISZERO
00003eee: DUP1
00003eef: ISZERO
00003ef0: PUSH2 0x3efd
00003ef3: JUMPI
00003ef4: RETURNDATASIZE
00003ef5: PUSH1 0x00
00003ef7: DUP1
00003ef8: RETURNDATACOPY
00003ef9: RETURNDATASIZE
00003efa: PUSH1 0x00
00003efc: REVERT
00003efd: JUMPDEST
00003efe: POP
00003eff: POP
00003f00: POP
00003f01: POP
00003f02: POP
00003f03: POP
00003f04: POP
00003f05: POP
00003f06: JUMP
00003f07: JUMPDEST
00003f08: PUSH1 0x00
00003f0a: DUP2
00003f0b: DUP4
00003f0c: PUSH2 0x3f70
00003f0f: JUMPI
00003f10: PUSH1 0x40
00003f12: MLOAD
00003f13: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003f34: DUP2
00003f35: MSTORE
00003f36: PUSH1 0x20
00003f38: PUSH1 0x04
00003f3a: DUP3
00003f3b: ADD
00003f3c: DUP2
00003f3d: DUP2
00003f3e: MSTORE
00003f3f: DUP4
00003f40: MLOAD
00003f41: PUSH1 0x24
00003f43: DUP5
00003f44: ADD
00003f45: MSTORE
00003f46: DUP4
00003f47: MLOAD
00003f48: SWAP1
00003f49: SWAP3
00003f4a: DUP4
00003f4b: SWAP3
00003f4c: PUSH1 0x44
00003f4e: SWAP1
00003f4f: SWAP2
00003f50: ADD
00003f51: SWAP2
00003f52: SWAP1
00003f53: DUP6
00003f54: ADD
00003f55: SWAP1
00003f56: DUP1
00003f57: DUP4
00003f58: DUP4
00003f59: PUSH1 0x00
00003f5b: DUP4
00003f5c: ISZERO
00003f5d: PUSH2 0x33a9
00003f60: JUMPI
00003f61: DUP2
00003f62: DUP2
00003f63: ADD
00003f64: MLOAD
00003f65: DUP4
00003f66: DUP3
00003f67: ADD
00003f68: MSTORE
00003f69: PUSH1 0x20
00003f6b: ADD
00003f6c: PUSH2 0x3391
00003f6f: JUMP
00003f70: JUMPDEST
00003f71: POP
00003f72: PUSH1 0x00
00003f74: DUP4
00003f75: DUP6
00003f76: DUP2
00003f77: PUSH2 0x3f7c
00003f7a: JUMPI
00003f7b: INVALID
00003f7c: JUMPDEST
00003f7d: DIV
00003f7e: SWAP6
00003f7f: SWAP5
00003f80: POP
00003f81: POP
00003f82: POP
00003f83: POP
00003f84: POP
00003f85: JUMP
00003f86: JUMPDEST
00003f87: PUSH1 0x08
00003f89: SLOAD
00003f8a: PUSH1 0x40
00003f8c: DUP1
00003f8d: MLOAD
00003f8e: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00003faf: DUP2
00003fb0: MSTORE
00003fb1: ADDRESS
00003fb2: PUSH1 0x04
00003fb4: DUP3
00003fb5: ADD
00003fb6: MSTORE
00003fb7: SWAP1
00003fb8: MLOAD
00003fb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fce: SWAP1
00003fcf: SWAP3
00003fd0: AND
00003fd1: SWAP2
00003fd2: PUSH4 0x70a08231
00003fd7: SWAP2
00003fd8: PUSH1 0x24
00003fda: DUP1
00003fdb: DUP3
00003fdc: ADD
00003fdd: SWAP3
00003fde: PUSH1 0x20
00003fe0: SWAP3
00003fe1: SWAP1
00003fe2: SWAP2
00003fe3: SWAP1
00003fe4: DUP3
00003fe5: SWAP1
00003fe6: SUB
00003fe7: ADD
00003fe8: DUP2
00003fe9: DUP7
00003fea: DUP1
00003feb: EXTCODESIZE
00003fec: ISZERO
00003fed: DUP1
00003fee: ISZERO
00003fef: PUSH2 0x3ff7
00003ff2: JUMPI
00003ff3: PUSH1 0x00
00003ff5: DUP1
00003ff6: REVERT
00003ff7: JUMPDEST
00003ff8: POP
00003ff9: GAS
00003ffa: STATICCALL
00003ffb: ISZERO
00003ffc: DUP1
00003ffd: ISZERO
00003ffe: PUSH2 0x400b
00004001: JUMPI
00004002: RETURNDATASIZE
00004003: PUSH1 0x00
00004005: DUP1
00004006: RETURNDATACOPY
00004007: RETURNDATASIZE
00004008: PUSH1 0x00
0000400a: REVERT
0000400b: JUMPDEST
0000400c: POP
0000400d: POP
0000400e: POP
0000400f: POP
00004010: PUSH1 0x40
00004012: MLOAD
00004013: RETURNDATASIZE
00004014: PUSH1 0x20
00004016: DUP2
00004017: LT
00004018: ISZERO
00004019: PUSH2 0x4021
0000401c: JUMPI
0000401d: PUSH1 0x00
0000401f: DUP1
00004020: REVERT
00004021: JUMPDEST
00004022: POP
00004023: MLOAD
00004024: PUSH1 0x0a
00004026: DUP2
00004027: SWAP1
00004028: SSTORE
00004029: PUSH1 0x40
0000402b: DUP1
0000402c: MLOAD
0000402d: SWAP2
0000402e: DUP3
0000402f: MSTORE
00004030: MLOAD
00004031: PUSH32 0x8a0df8ef054fae2c3d2d19a7b322e864870cc9fd3cb07fb9526309c596244bf4
00004052: SWAP2
00004053: DUP2
00004054: SWAP1
00004055: SUB
00004056: PUSH1 0x20
00004058: ADD
00004059: SWAP1
0000405a: LOG1
0000405b: JUMP
0000405c: JUMPDEST
0000405d: PUSH1 0x12
0000405f: SLOAD
00004060: PUSH1 0x13
00004062: SLOAD
00004063: PUSH1 0x10
00004065: SLOAD
00004066: PUSH6 0xffffffffffff
0000406d: DUP1
0000406e: DUP3
0000406f: AND
00004070: SWAP2
00004071: PUSH7 0x01000000000000
00004079: DUP2
0000407a: DIV
0000407b: SWAP1
0000407c: SWAP2
0000407d: AND
0000407e: SWAP1
0000407f: PUSH13 0x01000000000000000000000000
0000408d: SWAP1
0000408e: DIV
0000408f: PUSH4 0xffffffff
00004094: AND
00004095: PUSH1 0x00
00004097: DUP2
00004098: PUSH2 0x409f
0000409b: PUSH2 0x1cd7
0000409e: JUMP
0000409f: JUMPDEST
000040a0: SUB
000040a1: SWAP1
000040a2: POP
000040a3: PUSH4 0xffffffff
000040a8: DUP2
000040a9: AND
000040aa: ISZERO
000040ab: PUSH2 0x422a
000040ae: JUMPI
000040af: PUSH2 0x40b6
000040b2: PUSH2 0x1cd7
000040b5: JUMP
000040b6: JUMPDEST
000040b7: PUSH1 0x10
000040b9: PUSH1 0x0c
000040bb: PUSH2 0x0100
000040be: EXP
000040bf: DUP2
000040c0: SLOAD
000040c1: DUP2
000040c2: PUSH4 0xffffffff
000040c7: MUL
000040c8: NOT
000040c9: AND
000040ca: SWAP1
000040cb: DUP4
000040cc: PUSH4 0xffffffff
000040d1: AND
000040d2: MUL
000040d3: OR
000040d4: SWAP1
000040d5: SSTORE
000040d6: POP
000040d7: PUSH1 0x00
000040d9: DUP4
000040da: DUP6
000040db: LT
000040dc: ISZERO
000040dd: PUSH2 0x413f
000040e0: JUMPI
000040e1: PUSH1 0x00
000040e3: PUSH8 0x0de0b6b3a7640000
000040ec: DUP4
000040ed: PUSH4 0xffffffff
000040f2: AND
000040f3: DUP9
000040f4: DUP8
000040f5: DUP10
000040f6: DUP10
000040f7: SUB
000040f8: PUSH8 0x0de0b6b3a7640000
00004101: MUL
00004102: DUP2
00004103: PUSH2 0x4108
00004106: JUMPI
00004107: INVALID
00004108: JUMPDEST
00004109: DIV
0000410a: MUL
0000410b: MUL
0000410c: DUP2
0000410d: PUSH2 0x4112
00004110: JUMPI
00004111: INVALID
00004112: JUMPDEST
00004113: DIV
00004114: SWAP1
00004115: POP
00004116: PUSH8 0x0de0b6b3a7640000
0000411f: DUP2
00004120: GT
00004121: PUSH2 0x4134
00004124: JUMPI
00004125: DUP1
00004126: PUSH8 0x0de0b6b3a7640000
0000412f: SUB
00004130: PUSH2 0x4137
00004133: JUMP
00004134: JUMPDEST
00004135: PUSH1 0x00
00004137: JUMPDEST
00004138: SWAP2
00004139: POP
0000413a: POP
0000413b: PUSH2 0x4180
0000413e: JUMP
0000413f: JUMPDEST
00004140: PUSH1 0x00
00004142: PUSH8 0x0de0b6b3a7640000
0000414b: DUP4
0000414c: PUSH4 0xffffffff
00004151: AND
00004152: DUP9
00004153: DUP8
00004154: DUP9
00004155: DUP11
00004156: SUB
00004157: PUSH8 0x0de0b6b3a7640000
00004160: MUL
00004161: DUP2
00004162: PUSH2 0x4167
00004165: JUMPI
00004166: INVALID
00004167: JUMPDEST
00004168: DIV
00004169: MUL
0000416a: MUL
0000416b: DUP2
0000416c: PUSH2 0x4171
0000416f: JUMPI
00004170: INVALID
00004171: JUMPDEST
00004172: DIV
00004173: PUSH8 0x0de0b6b3a7640000
0000417c: ADD
0000417d: SWAP2
0000417e: POP
0000417f: POP
00004180: JUMPDEST
00004181: PUSH8 0x0de0b6b3a7640000
0000418a: DUP5
0000418b: DUP3
0000418c: MUL
0000418d: DIV
0000418e: SWAP4
0000418f: POP
00004190: PUSH5 0x07620d0700
00004196: DUP5
00004197: GT
00004198: ISZERO
00004199: PUSH2 0x41a5
0000419c: JUMPI
0000419d: PUSH5 0x07620d0700
000041a3: SWAP4
000041a4: POP
000041a5: JUMPDEST
000041a6: PUSH4 0x12e687c0
000041ab: DUP5
000041ac: LT
000041ad: ISZERO
000041ae: PUSH2 0x41b9
000041b1: JUMPI
000041b2: PUSH4 0x12e687c0
000041b7: SWAP4
000041b8: POP
000041b9: JUMPDEST
000041ba: PUSH1 0x10
000041bc: DUP1
000041bd: SLOAD
000041be: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000ffffffffffff
000041df: AND
000041e0: PUSH7 0x01000000000000
000041e8: PUSH6 0xffffffffffff
000041ef: DUP8
000041f0: AND
000041f1: MUL
000041f2: OR
000041f3: SWAP1
000041f4: SSTORE
000041f5: PUSH1 0x40
000041f7: DUP1
000041f8: MLOAD
000041f9: DUP6
000041fa: DUP2
000041fb: MSTORE
000041fc: SWAP1
000041fd: MLOAD
000041fe: PUSH32 0x713a98ffb7d769b8e33e2ee945ebb6acb7f397532688164d3ce1081f903c77bc
0000421f: SWAP2
00004220: PUSH1 0x20
00004222: SWAP1
00004223: DUP3
00004224: SWAP1
00004225: SUB
00004226: ADD
00004227: SWAP1
00004228: LOG1
00004229: POP
0000422a: JUMPDEST
0000422b: PUSH1 0x0e
0000422d: SLOAD
0000422e: PUSH1 0x0a
00004230: SLOAD
00004231: PUSH1 0x00
00004233: SWAP2
00004234: PUSH15 0x010000000000000000000000000000
00004244: SWAP1
00004245: DIV
00004246: PUSH14 0xffffffffffffffffffffffffffff
00004255: AND
00004256: SWAP1
00004257: DUP3
00004258: SWAP1
00004259: PUSH2 0x4262
0000425c: SWAP1
0000425d: DUP4
0000425e: PUSH2 0x2f59
00004261: JUMP
00004262: JUMPDEST
00004263: SWAP1
00004264: POP
00004265: DUP1
00004266: ISZERO
00004267: PUSH2 0x4283
0000426a: JUMPI
0000426b: DUP1
0000426c: DUP3
0000426d: PUSH8 0x0de0b6b3a7640000
00004276: MUL
00004277: DUP2
00004278: PUSH2 0x427d
0000427b: JUMPI
0000427c: INVALID
0000427d: JUMPDEST
0000427e: DIV
0000427f: PUSH2 0x4286
00004282: JUMP
00004283: JUMPDEST
00004284: PUSH1 0x00
00004286: JUMPDEST
00004287: SWAP3
00004288: POP
00004289: POP
0000428a: POP
0000428b: DUP7
0000428c: DUP2
0000428d: GT
0000428e: PUSH2 0x42a4
00004291: JUMPI
00004292: DUP7
00004293: DUP2
00004294: DUP6
00004295: MUL
00004296: DUP2
00004297: PUSH2 0x429c
0000429a: JUMPI
0000429b: INVALID
0000429c: JUMPDEST
0000429d: DIV
0000429e: SWAP5
0000429f: POP
000042a0: PUSH2 0x42de
000042a3: JUMP
000042a4: JUMPDEST
000042a5: PUSH1 0x00
000042a7: DUP8
000042a8: PUSH8 0x0de0b6b3a7640000
000042b1: SUB
000042b2: DUP9
000042b3: DUP4
000042b4: SUB
000042b5: PUSH8 0x0de0b6b3a7640000
000042be: MUL
000042bf: DUP2
000042c0: PUSH2 0x42c5
000042c3: JUMPI
000042c4: INVALID
000042c5: JUMPDEST
000042c6: DIV
000042c7: SWAP1
000042c8: POP
000042c9: PUSH8 0x0de0b6b3a7640000
000042d2: PUSH1 0x04
000042d4: DUP3
000042d5: MUL
000042d6: DUP2
000042d7: ADD
000042d8: DUP7
000042d9: MUL
000042da: DIV
000042db: SWAP6
000042dc: POP
000042dd: POP
000042de: JUMPDEST
000042df: PUSH1 0x10
000042e1: DUP1
000042e2: SLOAD
000042e3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffff000000000000
00004304: AND
00004305: PUSH6 0xffffffffffff
0000430c: DUP8
0000430d: AND
0000430e: OR
0000430f: SWAP1
00004310: SSTORE
00004311: PUSH1 0x40
00004313: DUP1
00004314: MLOAD
00004315: DUP7
00004316: DUP2
00004317: MSTORE
00004318: SWAP1
00004319: MLOAD
0000431a: PUSH32 0x338541dc9083f6af6715482fb419e1483c1ae9097764fd68a5dc98109bd5a788
0000433b: SWAP2
0000433c: PUSH1 0x20
0000433e: SWAP1
0000433f: DUP3
00004340: SWAP1
00004341: SUB
00004342: ADD
00004343: SWAP1
00004344: LOG1
00004345: POP
00004346: POP
00004347: POP
00004348: POP
00004349: POP
0000434a: POP
0000434b: POP
0000434c: JUMP
0000434d: JUMPDEST
0000434e: PUSH1 0x40
00004350: DUP1
00004351: MLOAD
00004352: DUP1
00004353: DUP3
00004354: ADD
00004355: SWAP1
00004356: SWAP2
00004357: MSTORE
00004358: PUSH1 0x00
0000435a: DUP1
0000435b: DUP3
0000435c: MSTORE
0000435d: PUSH1 0x20
0000435f: DUP3
00004360: ADD
00004361: MSTORE
00004362: SWAP1
00004363: JUMP
00004364: JUMPDEST
00004365: DUP3
00004366: DUP1
00004367: SLOAD
00004368: PUSH1 0x01
0000436a: DUP2
0000436b: PUSH1 0x01
0000436d: AND
0000436e: ISZERO
0000436f: PUSH2 0x0100
00004372: MUL
00004373: SUB
00004374: AND
00004375: PUSH1 0x02
00004377: SWAP1
00004378: DIV
00004379: SWAP1
0000437a: PUSH1 0x00
0000437c: MSTORE
0000437d: PUSH1 0x20
0000437f: PUSH1 0x00
00004381: KECCAK256
00004382: SWAP1
00004383: PUSH1 0x1f
00004385: ADD
00004386: PUSH1 0x20
00004388: SWAP1
00004389: DIV
0000438a: DUP2
0000438b: ADD
0000438c: SWAP3
0000438d: DUP3
0000438e: PUSH1 0x1f
00004390: LT
00004391: PUSH2 0x43a5
00004394: JUMPI
00004395: DUP1
00004396: MLOAD
00004397: PUSH1 0xff
00004399: NOT
0000439a: AND
0000439b: DUP4
0000439c: DUP1
0000439d: ADD
0000439e: OR
0000439f: DUP6
000043a0: SSTORE
000043a1: PUSH2 0x43d2
000043a4: JUMP
000043a5: JUMPDEST
000043a6: DUP3
000043a7: DUP1
000043a8: ADD
000043a9: PUSH1 0x01
000043ab: ADD
000043ac: DUP6
000043ad: SSTORE
000043ae: DUP3
000043af: ISZERO
000043b0: PUSH2 0x43d2
000043b3: JUMPI
000043b4: SWAP2
000043b5: DUP3
000043b6: ADD
000043b7: JUMPDEST
000043b8: DUP3
000043b9: DUP2
000043ba: GT
000043bb: ISZERO
000043bc: PUSH2 0x43d2
000043bf: JUMPI
000043c0: DUP3
000043c1: MLOAD
000043c2: DUP3
000043c3: SSTORE
000043c4: SWAP2
000043c5: PUSH1 0x20
000043c7: ADD
000043c8: SWAP2
000043c9: SWAP1
000043ca: PUSH1 0x01
000043cc: ADD
000043cd: SWAP1
000043ce: PUSH2 0x43b7
000043d1: JUMP
000043d2: JUMPDEST
000043d3: POP
000043d4: PUSH2 0x3e42
000043d7: SWAP3
000043d8: PUSH2 0x168f
000043db: SWAP3
000043dc: POP
000043dd: SWAP1
000043de: JUMPDEST
000043df: DUP1
000043e0: DUP3
000043e1: GT
000043e2: ISZERO
000043e3: PUSH2 0x3e42
000043e6: JUMPI
000043e7: PUSH1 0x00
000043e9: DUP2
000043ea: SSTORE
000043eb: PUSH1 0x01
000043ed: ADD
000043ee: PUSH2 0x43de
000043f1: JUMP
000043f2: INVALID
000043f3: GASLIMIT
000043f4: BLOBHASH
000043f5: POP
000043f6: CALLDATACOPY
000043f7: BALANCE
000043f8: ORIGIN
000043f9: DIFFICULTY
000043fa: PUSH16 0x6d61696e28737472696e67206e616d65
0000440b: UNKNOWN(0x2C)
0000440c: PUSH20 0x7472696e672076657273696f6e2c75696e743235
00004421: CALLDATASIZE
00004422: KECCAK256
00004423: PUSH4 0x6861696e
00004428: BLOBHASH
00004429: PUSH5 0x2c61646472
0000442f: PUSH6 0x737320766572
00004436: PUSH10 0x6679696e67436f6e7472
00004441: PUSH2 0x6374
00004444: UNKNOWN(0x29)
00004445: MSTORE8
00004446: PUSH2 0x6665
00004449: UNKNOWN(0x4D)
0000444a: PUSH2 0x7468
0000444d: GASPRICE
0000444e: KECCAK256
0000444f: PUSH14 0x756c7469706c69636174696f6e20
0000445e: PUSH16 0x766572666c6f77a265627a7a72315820
0000446f: SWAP10
00004470: UNKNOWN(0xAB)
00004471: UNKNOWN(0xF9)
00004472: ADDRESS
00004473: UNKNOWN(0xEA)
00004474: UNKNOWN(0xCA)
00004475: SGT
00004476: UNKNOWN(0xEC)
00004477: ADDRESS
00004478: SWAP15
00004479: DUP2
0000447a: LOG3
0000447b: UNKNOWN(0xD6)
0000447c: DUP11
0000447d: PUSH23 0x931f2f678ef0c3db9233b8cfbaba64659c64736f6c6343
00004495: STOP
00004496: SDIV
00004497: LT
00004498: STOP
00004499: ORIGIN

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe0766000", "selector": "0xe0766000", "calldata_variants": [ "0xe0766000", "0xe07660000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe12b6306", "selector": "0xe12b6306", "calldata_variants": [ "0xe12b6306", "0xe12b63060000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfca7820b", "selector": "0xfca7820b", "calldata_variants": [ "0xfca7820b", "0xfca7820b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfff6cae9", "selector": "0xfff6cae9", "calldata_variants": [ "0xfff6cae9", "0xfff6cae90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc914b437", "selector": "0xc914b437", "calldata_variants": [ "0xc914b437", "0xc914b4370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd505accf", "selector": "0xd505accf", "calldata_variants": [ "0xd505accf", "0xd505accf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd8dfeb45", "selector": "0xd8dfeb45", "calldata_variants": [ "0xd8dfeb45", "0xd8dfeb450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 17400, "type": "tx_origin_used" }, { "pc": 17561, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x3730959630ef58e9d24c41cc38c1a7f7897df0e352956a148db584c6e7056314 call_targets: 0xf3364405ddcaa6ba11908eeeafd24d02172b743e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x3730959630ef58e9d24c41cc38c1a7f7897df0e352956a148db584c6e7056314", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf3364405ddcaa6ba11908eeeafd24d02172b743e" ], "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": "0xe0766000", "selector": "0xe0766000", "calldata_variants": [ "0xe0766000", "0xe07660000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe12b6306", "selector": "0xe12b6306", "calldata_variants": [ "0xe12b6306", "0xe12b63060000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfca7820b", "selector": "0xfca7820b", "calldata_variants": [ "0xfca7820b", "0xfca7820b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfff6cae9", "selector": "0xfff6cae9", "calldata_variants": [ "0xfff6cae9", "0xfff6cae90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc914b437", "selector": "0xc914b437", "calldata_variants": [ "0xc914b437", "0xc914b4370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd505accf", "selector": "0xd505accf", "calldata_variants": [ "0xd505accf", "0xd505accf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd8dfeb45", "selector": "0xd8dfeb45", "calldata_variants": [ "0xd8dfeb45", "0xd8dfeb450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3756, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4298, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7922, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [ { "pc": 17400, "type": "tx_origin_used" }, { "pc": 17561, "type": "tx_origin_used" } ], "untrusted_call_count": 5 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x3730959630ef58e9d24c41cc38c1a7f7897df0e352956a148db584c6e7056314 call_targets: 0xf3364405ddcaa6ba11908eeeafd24d02172b743e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x3730959630ef58e9d24c41cc38c1a7f7897df0e352956a148db584c6e7056314", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf3364405ddcaa6ba11908eeeafd24d02172b743e" ], "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": "0xe0766000", "selector": "0xe0766000", "calldata_variants": [ "0xe0766000", "0xe07660000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe12b6306", "selector": "0xe12b6306", "calldata_variants": [ "0xe12b6306", "0xe12b63060000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfca7820b", "selector": "0xfca7820b", "calldata_variants": [ "0xfca7820b", "0xfca7820b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfff6cae9", "selector": "0xfff6cae9", "calldata_variants": [ "0xfff6cae9", "0xfff6cae90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc914b437", "selector": "0xc914b437", "calldata_variants": [ "0xc914b437", "0xc914b4370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd505accf", "selector": "0xd505accf", "calldata_variants": [ "0xd505accf", "0xd505accf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd8dfeb45", "selector": "0xd8dfeb45", "calldata_variants": [ "0xd8dfeb45", "0xd8dfeb450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3756, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4298, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7922, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [ { "pc": 17400, "type": "tx_origin_used" }, { "pc": 17561, "type": "tx_origin_used" } ] }
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": 12 }
info	other	cast	Heavy CALL-family usage	55	no	—	view evidence_json { "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns", "call_family_count": 13 }