Analysis Run

019ba8a4-fffc-7192-974e-61f00c894d7b

complete

Chain ID

1

Address

0xa38b6742cef9573f7f97c387278fa31482539c3d

Block Number

—

Created

Sat, Jan 10, 2026 4:02 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

Untrusted DELEGATECALL target reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
32376	artifact.fetch	complete	1 / 3	3 months ago
32377	proxy.resolve	complete	1 / 3	3 months ago
32378	tool.cast_disasm	complete	1 / 3	3 months ago
32379	analysis.bundle	complete	1 / 3	3 months ago
32380	capability.graph	complete	1 / 3	3 months ago
32381	detector.run	complete	1 / 3	3 months ago
32382	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

2

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

10

EXT*/BALANCE

10

Total opcodes

5368

Flags

delegatecall_present heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0225
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8daac0df
00000019: GT
0000001a: PUSH2 0x0123
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xbb872b4a
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe8295588
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe8295588
0000003a: EQ
0000003b: PUSH2 0x07dd
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xec732959
00000045: EQ
00000046: PUSH2 0x0807
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf178e47c
00000050: EQ
00000051: PUSH2 0x081c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc0c546a
0000005b: EQ
0000005c: PUSH2 0x0846
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfc7e9c6f
00000066: EQ
00000067: PUSH2 0x085b
0000006a: JUMPI
0000006b: PUSH2 0x0225
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xbb872b4a
00000076: EQ
00000077: PUSH2 0x0735
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc2b40ae4
00000081: EQ
00000082: PUSH2 0x075f
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xcd87a3b4
0000008c: EQ
0000008d: PUSH2 0x0789
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe28cecda
00000097: EQ
00000098: PUSH2 0x079e
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xe5285dcc
000000a2: EQ
000000a3: PUSH2 0x07b3
000000a6: JUMPI
000000a7: PUSH2 0x0225
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x9fa12d0b
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x9fa12d0b
000000bd: EQ
000000be: PUSH2 0x060e
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa9f8d181
000000c8: EQ
000000c9: PUSH2 0x06d9
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xab5bbfd8
000000d3: EQ
000000d4: PUSH2 0x06ee
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xb214faa5
000000de: EQ
000000df: PUSH2 0x0703
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xba70f757
000000e9: EQ
000000ea: PUSH2 0x0720
000000ed: JUMPI
000000ee: PUSH2 0x0225
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x8daac0df
000000f9: EQ
000000fa: PUSH2 0x0587
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x90eeb02b
00000104: EQ
00000105: PUSH2 0x05b1
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x97fc007c
0000010f: EQ
00000110: PUSH2 0x05c6
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x997318ec
0000011a: EQ
0000011b: PUSH2 0x05f9
0000011e: JUMPI
0000011f: PUSH2 0x0225
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x414a37ba
0000012a: GT
0000012b: PUSH2 0x01b1
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x61d027b3
00000135: GT
00000136: PUSH2 0x0175
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x61d027b3
00000140: EQ
00000141: PUSH2 0x04f4
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x6d9833e3
0000014b: EQ
0000014c: PUSH2 0x0509
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x839df945
00000156: EQ
00000157: PUSH2 0x0533
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x8ae39cac
00000161: EQ
00000162: PUSH2 0x055d
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x8d949d4b
0000016c: EQ
0000016d: PUSH2 0x0572
00000170: JUMPI
00000171: PUSH2 0x0225
00000174: JUMP
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x414a37ba
0000017c: EQ
0000017d: PUSH2 0x03fd
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x4ecf518b
00000187: EQ
00000188: PUSH2 0x0412
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x5129b3e1
00000192: EQ
00000193: PUSH2 0x0440
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x54fd4d50
0000019d: EQ
0000019e: PUSH2 0x0455
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x5759e5f5
000001a8: EQ
000001a9: PUSH2 0x04df
000001ac: JUMPI
000001ad: PUSH2 0x0225
000001b0: JUMP
000001b1: JUMPDEST
000001b2: DUP1
000001b3: PUSH4 0x21a0adb6
000001b8: GT
000001b9: PUSH2 0x01f8
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x21a0adb6
000001c3: EQ
000001c4: PUSH2 0x02f5
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x2b7ac3f3
000001ce: EQ
000001cf: PUSH2 0x038e
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x3409038c
000001d9: EQ
000001da: PUSH2 0x03a3
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x38bf282e
000001e4: EQ
000001e5: PUSH2 0x03b8
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x3b406fb7
000001ef: EQ
000001f0: PUSH2 0x03e8
000001f3: JUMPI
000001f4: PUSH2 0x0225
000001f7: JUMP
000001f8: JUMPDEST
000001f9: DUP1
000001fa: PUSH4 0x17cc915c
000001ff: EQ
00000200: PUSH2 0x022a
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x18006104
0000020a: EQ
0000020b: PUSH2 0x0268
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x1a4be74c
00000215: EQ
00000216: PUSH2 0x0299
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x1e85e711
00000220: EQ
00000221: PUSH2 0x02ce
00000224: JUMPI
00000225: JUMPDEST
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: CALLVALUE
0000022c: DUP1
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: POP
00000238: PUSH2 0x0254
0000023b: PUSH1 0x04
0000023d: DUP1
0000023e: CALLDATASIZE
0000023f: SUB
00000240: PUSH1 0x20
00000242: DUP2
00000243: LT
00000244: ISZERO
00000245: PUSH2 0x024d
00000248: JUMPI
00000249: PUSH1 0x00
0000024b: DUP1
0000024c: REVERT
0000024d: JUMPDEST
0000024e: POP
0000024f: CALLDATALOAD
00000250: PUSH2 0x0870
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH1 0x40
00000257: DUP1
00000258: MLOAD
00000259: SWAP2
0000025a: ISZERO
0000025b: ISZERO
0000025c: DUP3
0000025d: MSTORE
0000025e: MLOAD
0000025f: SWAP1
00000260: DUP2
00000261: SWAP1
00000262: SUB
00000263: PUSH1 0x20
00000265: ADD
00000266: SWAP1
00000267: RETURN
00000268: JUMPDEST
00000269: CALLVALUE
0000026a: DUP1
0000026b: ISZERO
0000026c: PUSH2 0x0274
0000026f: JUMPI
00000270: PUSH1 0x00
00000272: DUP1
00000273: REVERT
00000274: JUMPDEST
00000275: POP
00000276: PUSH2 0x027d
00000279: PUSH2 0x0885
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH1 0x40
00000280: DUP1
00000281: MLOAD
00000282: PUSH1 0x01
00000284: PUSH1 0x01
00000286: PUSH1 0xa0
00000288: SHL
00000289: SUB
0000028a: SWAP1
0000028b: SWAP3
0000028c: AND
0000028d: DUP3
0000028e: MSTORE
0000028f: MLOAD
00000290: SWAP1
00000291: DUP2
00000292: SWAP1
00000293: SUB
00000294: PUSH1 0x20
00000296: ADD
00000297: SWAP1
00000298: RETURN
00000299: JUMPDEST
0000029a: CALLVALUE
0000029b: DUP1
0000029c: ISZERO
0000029d: PUSH2 0x02a5
000002a0: JUMPI
000002a1: PUSH1 0x00
000002a3: DUP1
000002a4: REVERT
000002a5: JUMPDEST
000002a6: POP
000002a7: PUSH2 0x02cc
000002aa: PUSH1 0x04
000002ac: DUP1
000002ad: CALLDATASIZE
000002ae: SUB
000002af: PUSH1 0x20
000002b1: DUP2
000002b2: LT
000002b3: ISZERO
000002b4: PUSH2 0x02bc
000002b7: JUMPI
000002b8: PUSH1 0x00
000002ba: DUP1
000002bb: REVERT
000002bc: JUMPDEST
000002bd: POP
000002be: CALLDATALOAD
000002bf: PUSH1 0x01
000002c1: PUSH1 0x01
000002c3: PUSH1 0xa0
000002c5: SHL
000002c6: SUB
000002c7: AND
000002c8: PUSH2 0x0894
000002cb: JUMP
000002cc: JUMPDEST
000002cd: STOP
000002ce: JUMPDEST
000002cf: CALLVALUE
000002d0: DUP1
000002d1: ISZERO
000002d2: PUSH2 0x02da
000002d5: JUMPI
000002d6: PUSH1 0x00
000002d8: DUP1
000002d9: REVERT
000002da: JUMPDEST
000002db: POP
000002dc: PUSH2 0x02e3
000002df: PUSH2 0x08ff
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH1 0x40
000002e6: DUP1
000002e7: MLOAD
000002e8: SWAP2
000002e9: DUP3
000002ea: MSTORE
000002eb: MLOAD
000002ec: SWAP1
000002ed: DUP2
000002ee: SWAP1
000002ef: SUB
000002f0: PUSH1 0x20
000002f2: ADD
000002f3: SWAP1
000002f4: RETURN
000002f5: JUMPDEST
000002f6: PUSH2 0x02cc
000002f9: PUSH1 0x04
000002fb: DUP1
000002fc: CALLDATASIZE
000002fd: SUB
000002fe: PUSH1 0xe0
00000300: DUP2
00000301: LT
00000302: ISZERO
00000303: PUSH2 0x030b
00000306: JUMPI
00000307: PUSH1 0x00
00000309: DUP1
0000030a: REVERT
0000030b: JUMPDEST
0000030c: DUP2
0000030d: ADD
0000030e: SWAP1
0000030f: PUSH1 0x20
00000311: DUP2
00000312: ADD
00000313: DUP2
00000314: CALLDATALOAD
00000315: PUSH1 0x01
00000317: PUSH1 0x20
00000319: SHL
0000031a: DUP2
0000031b: GT
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: DUP3
00000327: ADD
00000328: DUP4
00000329: PUSH1 0x20
0000032b: DUP3
0000032c: ADD
0000032d: GT
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: DUP1
00000339: CALLDATALOAD
0000033a: SWAP1
0000033b: PUSH1 0x20
0000033d: ADD
0000033e: SWAP2
0000033f: DUP5
00000340: PUSH1 0x01
00000342: DUP4
00000343: MUL
00000344: DUP5
00000345: ADD
00000346: GT
00000347: PUSH1 0x01
00000349: PUSH1 0x20
0000034b: SHL
0000034c: DUP4
0000034d: GT
0000034e: OR
0000034f: ISZERO
00000350: PUSH2 0x0358
00000353: JUMPI
00000354: PUSH1 0x00
00000356: DUP1
00000357: REVERT
00000358: JUMPDEST
00000359: SWAP2
0000035a: SWAP4
0000035b: POP
0000035c: SWAP2
0000035d: POP
0000035e: DUP1
0000035f: CALLDATALOAD
00000360: SWAP1
00000361: PUSH1 0x20
00000363: DUP2
00000364: ADD
00000365: CALLDATALOAD
00000366: SWAP1
00000367: PUSH1 0x01
00000369: PUSH1 0x01
0000036b: PUSH1 0xa0
0000036d: SHL
0000036e: SUB
0000036f: PUSH1 0x40
00000371: DUP3
00000372: ADD
00000373: CALLDATALOAD
00000374: DUP2
00000375: AND
00000376: SWAP2
00000377: PUSH1 0x60
00000379: DUP2
0000037a: ADD
0000037b: CALLDATALOAD
0000037c: SWAP1
0000037d: SWAP2
0000037e: AND
0000037f: SWAP1
00000380: PUSH1 0x80
00000382: DUP2
00000383: ADD
00000384: CALLDATALOAD
00000385: SWAP1
00000386: PUSH1 0xa0
00000388: ADD
00000389: CALLDATALOAD
0000038a: PUSH2 0x0905
0000038d: JUMP
0000038e: JUMPDEST
0000038f: CALLVALUE
00000390: DUP1
00000391: ISZERO
00000392: PUSH2 0x039a
00000395: JUMPI
00000396: PUSH1 0x00
00000398: DUP1
00000399: REVERT
0000039a: JUMPDEST
0000039b: POP
0000039c: PUSH2 0x027d
0000039f: PUSH2 0x0e73
000003a2: JUMP
000003a3: JUMPDEST
000003a4: CALLVALUE
000003a5: DUP1
000003a6: ISZERO
000003a7: PUSH2 0x03af
000003aa: JUMPI
000003ab: PUSH1 0x00
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: POP
000003b1: PUSH2 0x02e3
000003b4: PUSH2 0x0e82
000003b7: JUMP
000003b8: JUMPDEST
000003b9: CALLVALUE
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: POP
000003c6: PUSH2 0x02e3
000003c9: PUSH1 0x04
000003cb: DUP1
000003cc: CALLDATASIZE
000003cd: SUB
000003ce: PUSH1 0x40
000003d0: DUP2
000003d1: LT
000003d2: ISZERO
000003d3: PUSH2 0x03db
000003d6: JUMPI
000003d7: PUSH1 0x00
000003d9: DUP1
000003da: REVERT
000003db: JUMPDEST
000003dc: POP
000003dd: DUP1
000003de: CALLDATALOAD
000003df: SWAP1
000003e0: PUSH1 0x20
000003e2: ADD
000003e3: CALLDATALOAD
000003e4: PUSH2 0x0e88
000003e7: JUMP
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH2 0x02e3
000003f9: PUSH2 0x106b
000003fc: JUMP
000003fd: JUMPDEST
000003fe: CALLVALUE
000003ff: DUP1
00000400: ISZERO
00000401: PUSH2 0x0409
00000404: JUMPI
00000405: PUSH1 0x00
00000407: DUP1
00000408: REVERT
00000409: JUMPDEST
0000040a: POP
0000040b: PUSH2 0x02e3
0000040e: PUSH2 0x1071
00000411: JUMP
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041e
00000419: JUMPI
0000041a: PUSH1 0x00
0000041c: DUP1
0000041d: REVERT
0000041e: JUMPDEST
0000041f: POP
00000420: PUSH2 0x0427
00000423: PUSH2 0x1083
00000426: JUMP
00000427: JUMPDEST
00000428: PUSH1 0x40
0000042a: DUP1
0000042b: MLOAD
0000042c: PUSH4 0xffffffff
00000431: SWAP1
00000432: SWAP3
00000433: AND
00000434: DUP3
00000435: MSTORE
00000436: MLOAD
00000437: SWAP1
00000438: DUP2
00000439: SWAP1
0000043a: SUB
0000043b: PUSH1 0x20
0000043d: ADD
0000043e: SWAP1
0000043f: RETURN
00000440: JUMPDEST
00000441: CALLVALUE
00000442: DUP1
00000443: ISZERO
00000444: PUSH2 0x044c
00000447: JUMPI
00000448: PUSH1 0x00
0000044a: DUP1
0000044b: REVERT
0000044c: JUMPDEST
0000044d: POP
0000044e: PUSH2 0x02e3
00000451: PUSH2 0x108f
00000454: JUMP
00000455: JUMPDEST
00000456: CALLVALUE
00000457: DUP1
00000458: ISZERO
00000459: PUSH2 0x0461
0000045c: JUMPI
0000045d: PUSH1 0x00
0000045f: DUP1
00000460: REVERT
00000461: JUMPDEST
00000462: POP
00000463: PUSH2 0x046a
00000466: PUSH2 0x1095
00000469: JUMP
0000046a: JUMPDEST
0000046b: PUSH1 0x40
0000046d: DUP1
0000046e: MLOAD
0000046f: PUSH1 0x20
00000471: DUP1
00000472: DUP3
00000473: MSTORE
00000474: DUP4
00000475: MLOAD
00000476: DUP2
00000477: DUP4
00000478: ADD
00000479: MSTORE
0000047a: DUP4
0000047b: MLOAD
0000047c: SWAP2
0000047d: SWAP3
0000047e: DUP4
0000047f: SWAP3
00000480: SWAP1
00000481: DUP4
00000482: ADD
00000483: SWAP2
00000484: DUP6
00000485: ADD
00000486: SWAP1
00000487: DUP1
00000488: DUP4
00000489: DUP4
0000048a: PUSH1 0x00
0000048c: JUMPDEST
0000048d: DUP4
0000048e: DUP2
0000048f: LT
00000490: ISZERO
00000491: PUSH2 0x04a4
00000494: JUMPI
00000495: DUP2
00000496: DUP2
00000497: ADD
00000498: MLOAD
00000499: DUP4
0000049a: DUP3
0000049b: ADD
0000049c: MSTORE
0000049d: PUSH1 0x20
0000049f: ADD
000004a0: PUSH2 0x048c
000004a3: JUMP
000004a4: JUMPDEST
000004a5: POP
000004a6: POP
000004a7: POP
000004a8: POP
000004a9: SWAP1
000004aa: POP
000004ab: SWAP1
000004ac: DUP2
000004ad: ADD
000004ae: SWAP1
000004af: PUSH1 0x1f
000004b1: AND
000004b2: DUP1
000004b3: ISZERO
000004b4: PUSH2 0x04d1
000004b7: JUMPI
000004b8: DUP1
000004b9: DUP3
000004ba: SUB
000004bb: DUP1
000004bc: MLOAD
000004bd: PUSH1 0x01
000004bf: DUP4
000004c0: PUSH1 0x20
000004c2: SUB
000004c3: PUSH2 0x0100
000004c6: EXP
000004c7: SUB
000004c8: NOT
000004c9: AND
000004ca: DUP2
000004cb: MSTORE
000004cc: PUSH1 0x20
000004ce: ADD
000004cf: SWAP2
000004d0: POP
000004d1: JUMPDEST
000004d2: POP
000004d3: SWAP3
000004d4: POP
000004d5: POP
000004d6: POP
000004d7: PUSH1 0x40
000004d9: MLOAD
000004da: DUP1
000004db: SWAP2
000004dc: SUB
000004dd: SWAP1
000004de: RETURN
000004df: JUMPDEST
000004e0: CALLVALUE
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x04eb
000004e6: JUMPI
000004e7: PUSH1 0x00
000004e9: DUP1
000004ea: REVERT
000004eb: JUMPDEST
000004ec: POP
000004ed: PUSH2 0x02e3
000004f0: PUSH2 0x10b3
000004f3: JUMP
000004f4: JUMPDEST
000004f5: CALLVALUE
000004f6: DUP1
000004f7: ISZERO
000004f8: PUSH2 0x0500
000004fb: JUMPI
000004fc: PUSH1 0x00
000004fe: DUP1
000004ff: REVERT
00000500: JUMPDEST
00000501: POP
00000502: PUSH2 0x027d
00000505: PUSH2 0x1120
00000508: JUMP
00000509: JUMPDEST
0000050a: CALLVALUE
0000050b: DUP1
0000050c: ISZERO
0000050d: PUSH2 0x0515
00000510: JUMPI
00000511: PUSH1 0x00
00000513: DUP1
00000514: REVERT
00000515: JUMPDEST
00000516: POP
00000517: PUSH2 0x0254
0000051a: PUSH1 0x04
0000051c: DUP1
0000051d: CALLDATASIZE
0000051e: SUB
0000051f: PUSH1 0x20
00000521: DUP2
00000522: LT
00000523: ISZERO
00000524: PUSH2 0x052c
00000527: JUMPI
00000528: PUSH1 0x00
0000052a: DUP1
0000052b: REVERT
0000052c: JUMPDEST
0000052d: POP
0000052e: CALLDATALOAD
0000052f: PUSH2 0x112f
00000532: JUMP
00000533: JUMPDEST
00000534: CALLVALUE
00000535: DUP1
00000536: ISZERO
00000537: PUSH2 0x053f
0000053a: JUMPI
0000053b: PUSH1 0x00
0000053d: DUP1
0000053e: REVERT
0000053f: JUMPDEST
00000540: POP
00000541: PUSH2 0x0254
00000544: PUSH1 0x04
00000546: DUP1
00000547: CALLDATASIZE
00000548: SUB
00000549: PUSH1 0x20
0000054b: DUP2
0000054c: LT
0000054d: ISZERO
0000054e: PUSH2 0x0556
00000551: JUMPI
00000552: PUSH1 0x00
00000554: DUP1
00000555: REVERT
00000556: JUMPDEST
00000557: POP
00000558: CALLDATALOAD
00000559: PUSH2 0x11a2
0000055c: JUMP
0000055d: JUMPDEST
0000055e: CALLVALUE
0000055f: DUP1
00000560: ISZERO
00000561: PUSH2 0x0569
00000564: JUMPI
00000565: PUSH1 0x00
00000567: DUP1
00000568: REVERT
00000569: JUMPDEST
0000056a: POP
0000056b: PUSH2 0x02e3
0000056e: PUSH2 0x11b7
00000571: JUMP
00000572: JUMPDEST
00000573: CALLVALUE
00000574: DUP1
00000575: ISZERO
00000576: PUSH2 0x057e
00000579: JUMPI
0000057a: PUSH1 0x00
0000057c: DUP1
0000057d: REVERT
0000057e: JUMPDEST
0000057f: POP
00000580: PUSH2 0x02cc
00000583: PUSH2 0x11bd
00000586: JUMP
00000587: JUMPDEST
00000588: CALLVALUE
00000589: DUP1
0000058a: ISZERO
0000058b: PUSH2 0x0593
0000058e: JUMPI
0000058f: PUSH1 0x00
00000591: DUP1
00000592: REVERT
00000593: JUMPDEST
00000594: POP
00000595: PUSH2 0x02cc
00000598: PUSH1 0x04
0000059a: DUP1
0000059b: CALLDATASIZE
0000059c: SUB
0000059d: PUSH1 0x20
0000059f: DUP2
000005a0: LT
000005a1: ISZERO
000005a2: PUSH2 0x05aa
000005a5: JUMPI
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: REVERT
000005aa: JUMPDEST
000005ab: POP
000005ac: CALLDATALOAD
000005ad: PUSH2 0x11e8
000005b0: JUMP
000005b1: JUMPDEST
000005b2: CALLVALUE
000005b3: DUP1
000005b4: ISZERO
000005b5: PUSH2 0x05bd
000005b8: JUMPI
000005b9: PUSH1 0x00
000005bb: DUP1
000005bc: REVERT
000005bd: JUMPDEST
000005be: POP
000005bf: PUSH2 0x0427
000005c2: PUSH2 0x1273
000005c5: JUMP
000005c6: JUMPDEST
000005c7: CALLVALUE
000005c8: DUP1
000005c9: ISZERO
000005ca: PUSH2 0x05d2
000005cd: JUMPI
000005ce: PUSH1 0x00
000005d0: DUP1
000005d1: REVERT
000005d2: JUMPDEST
000005d3: POP
000005d4: PUSH2 0x02cc
000005d7: PUSH1 0x04
000005d9: DUP1
000005da: CALLDATASIZE
000005db: SUB
000005dc: PUSH1 0x20
000005de: DUP2
000005df: LT
000005e0: ISZERO
000005e1: PUSH2 0x05e9
000005e4: JUMPI
000005e5: PUSH1 0x00
000005e7: DUP1
000005e8: REVERT
000005e9: JUMPDEST
000005ea: POP
000005eb: CALLDATALOAD
000005ec: PUSH1 0x01
000005ee: PUSH1 0x01
000005f0: PUSH1 0xa0
000005f2: SHL
000005f3: SUB
000005f4: AND
000005f5: PUSH2 0x127f
000005f8: JUMP
000005f9: JUMPDEST
000005fa: CALLVALUE
000005fb: DUP1
000005fc: ISZERO
000005fd: PUSH2 0x0605
00000600: JUMPI
00000601: PUSH1 0x00
00000603: DUP1
00000604: REVERT
00000605: JUMPDEST
00000606: POP
00000607: PUSH2 0x02e3
0000060a: PUSH2 0x12ea
0000060d: JUMP
0000060e: JUMPDEST
0000060f: CALLVALUE
00000610: DUP1
00000611: ISZERO
00000612: PUSH2 0x061a
00000615: JUMPI
00000616: PUSH1 0x00
00000618: DUP1
00000619: REVERT
0000061a: JUMPDEST
0000061b: POP
0000061c: PUSH2 0x0689
0000061f: PUSH1 0x04
00000621: DUP1
00000622: CALLDATASIZE
00000623: SUB
00000624: PUSH1 0x20
00000626: DUP2
00000627: LT
00000628: ISZERO
00000629: PUSH2 0x0631
0000062c: JUMPI
0000062d: PUSH1 0x00
0000062f: DUP1
00000630: REVERT
00000631: JUMPDEST
00000632: DUP2
00000633: ADD
00000634: SWAP1
00000635: PUSH1 0x20
00000637: DUP2
00000638: ADD
00000639: DUP2
0000063a: CALLDATALOAD
0000063b: PUSH1 0x01
0000063d: PUSH1 0x20
0000063f: SHL
00000640: DUP2
00000641: GT
00000642: ISZERO
00000643: PUSH2 0x064b
00000646: JUMPI
00000647: PUSH1 0x00
00000649: DUP1
0000064a: REVERT
0000064b: JUMPDEST
0000064c: DUP3
0000064d: ADD
0000064e: DUP4
0000064f: PUSH1 0x20
00000651: DUP3
00000652: ADD
00000653: GT
00000654: ISZERO
00000655: PUSH2 0x065d
00000658: JUMPI
00000659: PUSH1 0x00
0000065b: DUP1
0000065c: REVERT
0000065d: JUMPDEST
0000065e: DUP1
0000065f: CALLDATALOAD
00000660: SWAP1
00000661: PUSH1 0x20
00000663: ADD
00000664: SWAP2
00000665: DUP5
00000666: PUSH1 0x20
00000668: DUP4
00000669: MUL
0000066a: DUP5
0000066b: ADD
0000066c: GT
0000066d: PUSH1 0x01
0000066f: PUSH1 0x20
00000671: SHL
00000672: DUP4
00000673: GT
00000674: OR
00000675: ISZERO
00000676: PUSH2 0x067e
00000679: JUMPI
0000067a: PUSH1 0x00
0000067c: DUP1
0000067d: REVERT
0000067e: JUMPDEST
0000067f: POP
00000680: SWAP1
00000681: SWAP3
00000682: POP
00000683: SWAP1
00000684: POP
00000685: PUSH2 0x12f0
00000688: JUMP
00000689: JUMPDEST
0000068a: PUSH1 0x40
0000068c: DUP1
0000068d: MLOAD
0000068e: PUSH1 0x20
00000690: DUP1
00000691: DUP3
00000692: MSTORE
00000693: DUP4
00000694: MLOAD
00000695: DUP2
00000696: DUP4
00000697: ADD
00000698: MSTORE
00000699: DUP4
0000069a: MLOAD
0000069b: SWAP2
0000069c: SWAP3
0000069d: DUP4
0000069e: SWAP3
0000069f: SWAP1
000006a0: DUP4
000006a1: ADD
000006a2: SWAP2
000006a3: DUP6
000006a4: DUP2
000006a5: ADD
000006a6: SWAP2
000006a7: MUL
000006a8: DUP1
000006a9: DUP4
000006aa: DUP4
000006ab: PUSH1 0x00
000006ad: JUMPDEST
000006ae: DUP4
000006af: DUP2
000006b0: LT
000006b1: ISZERO
000006b2: PUSH2 0x06c5
000006b5: JUMPI
000006b6: DUP2
000006b7: DUP2
000006b8: ADD
000006b9: MLOAD
000006ba: DUP4
000006bb: DUP3
000006bc: ADD
000006bd: MSTORE
000006be: PUSH1 0x20
000006c0: ADD
000006c1: PUSH2 0x06ad
000006c4: JUMP
000006c5: JUMPDEST
000006c6: POP
000006c7: POP
000006c8: POP
000006c9: POP
000006ca: SWAP1
000006cb: POP
000006cc: ADD
000006cd: SWAP3
000006ce: POP
000006cf: POP
000006d0: POP
000006d1: PUSH1 0x40
000006d3: MLOAD
000006d4: DUP1
000006d5: SWAP2
000006d6: SUB
000006d7: SWAP1
000006d8: RETURN
000006d9: JUMPDEST
000006da: CALLVALUE
000006db: DUP1
000006dc: ISZERO
000006dd: PUSH2 0x06e5
000006e0: JUMPI
000006e1: PUSH1 0x00
000006e3: DUP1
000006e4: REVERT
000006e5: JUMPDEST
000006e6: POP
000006e7: PUSH2 0x02e3
000006ea: PUSH2 0x1378
000006ed: JUMP
000006ee: JUMPDEST
000006ef: CALLVALUE
000006f0: DUP1
000006f1: ISZERO
000006f2: PUSH2 0x06fa
000006f5: JUMPI
000006f6: PUSH1 0x00
000006f8: DUP1
000006f9: REVERT
000006fa: JUMPDEST
000006fb: POP
000006fc: PUSH2 0x027d
000006ff: PUSH2 0x137e
00000702: JUMP
00000703: JUMPDEST
00000704: PUSH2 0x02cc
00000707: PUSH1 0x04
00000709: DUP1
0000070a: CALLDATASIZE
0000070b: SUB
0000070c: PUSH1 0x20
0000070e: DUP2
0000070f: LT
00000710: ISZERO
00000711: PUSH2 0x0719
00000714: JUMPI
00000715: PUSH1 0x00
00000717: DUP1
00000718: REVERT
00000719: JUMPDEST
0000071a: POP
0000071b: CALLDATALOAD
0000071c: PUSH2 0x138d
0000071f: JUMP
00000720: JUMPDEST
00000721: CALLVALUE
00000722: DUP1
00000723: ISZERO
00000724: PUSH2 0x072c
00000727: JUMPI
00000728: PUSH1 0x00
0000072a: DUP1
0000072b: REVERT
0000072c: JUMPDEST
0000072d: POP
0000072e: PUSH2 0x02e3
00000731: PUSH2 0x181e
00000734: JUMP
00000735: JUMPDEST
00000736: CALLVALUE
00000737: DUP1
00000738: ISZERO
00000739: PUSH2 0x0741
0000073c: JUMPI
0000073d: PUSH1 0x00
0000073f: DUP1
00000740: REVERT
00000741: JUMPDEST
00000742: POP
00000743: PUSH2 0x02cc
00000746: PUSH1 0x04
00000748: DUP1
00000749: CALLDATASIZE
0000074a: SUB
0000074b: PUSH1 0x20
0000074d: DUP2
0000074e: LT
0000074f: ISZERO
00000750: PUSH2 0x0758
00000753: JUMPI
00000754: PUSH1 0x00
00000756: DUP1
00000757: REVERT
00000758: JUMPDEST
00000759: POP
0000075a: CALLDATALOAD
0000075b: PUSH2 0x183e
0000075e: JUMP
0000075f: JUMPDEST
00000760: CALLVALUE
00000761: DUP1
00000762: ISZERO
00000763: PUSH2 0x076b
00000766: JUMPI
00000767: PUSH1 0x00
00000769: DUP1
0000076a: REVERT
0000076b: JUMPDEST
0000076c: POP
0000076d: PUSH2 0x02e3
00000770: PUSH1 0x04
00000772: DUP1
00000773: CALLDATASIZE
00000774: SUB
00000775: PUSH1 0x20
00000777: DUP2
00000778: LT
00000779: ISZERO
0000077a: PUSH2 0x0782
0000077d: JUMPI
0000077e: PUSH1 0x00
00000780: DUP1
00000781: REVERT
00000782: JUMPDEST
00000783: POP
00000784: CALLDATALOAD
00000785: PUSH2 0x18d1
00000788: JUMP
00000789: JUMPDEST
0000078a: CALLVALUE
0000078b: DUP1
0000078c: ISZERO
0000078d: PUSH2 0x0795
00000790: JUMPI
00000791: PUSH1 0x00
00000793: DUP1
00000794: REVERT
00000795: JUMPDEST
00000796: POP
00000797: PUSH2 0x0427
0000079a: PUSH2 0x18e5
0000079d: JUMP
0000079e: JUMPDEST
0000079f: CALLVALUE
000007a0: DUP1
000007a1: ISZERO
000007a2: PUSH2 0x07aa
000007a5: JUMPI
000007a6: PUSH1 0x00
000007a8: DUP1
000007a9: REVERT
000007aa: JUMPDEST
000007ab: POP
000007ac: PUSH2 0x02e3
000007af: PUSH2 0x18ea
000007b2: JUMP
000007b3: JUMPDEST
000007b4: CALLVALUE
000007b5: DUP1
000007b6: ISZERO
000007b7: PUSH2 0x07bf
000007ba: JUMPI
000007bb: PUSH1 0x00
000007bd: DUP1
000007be: REVERT
000007bf: JUMPDEST
000007c0: POP
000007c1: PUSH2 0x0254
000007c4: PUSH1 0x04
000007c6: DUP1
000007c7: CALLDATASIZE
000007c8: SUB
000007c9: PUSH1 0x20
000007cb: DUP2
000007cc: LT
000007cd: ISZERO
000007ce: PUSH2 0x07d6
000007d1: JUMPI
000007d2: PUSH1 0x00
000007d4: DUP1
000007d5: REVERT
000007d6: JUMPDEST
000007d7: POP
000007d8: CALLDATALOAD
000007d9: PUSH2 0x18f0
000007dc: JUMP
000007dd: JUMPDEST
000007de: CALLVALUE
000007df: DUP1
000007e0: ISZERO
000007e1: PUSH2 0x07e9
000007e4: JUMPI
000007e5: PUSH1 0x00
000007e7: DUP1
000007e8: REVERT
000007e9: JUMPDEST
000007ea: POP
000007eb: PUSH2 0x02e3
000007ee: PUSH1 0x04
000007f0: DUP1
000007f1: CALLDATASIZE
000007f2: SUB
000007f3: PUSH1 0x20
000007f5: DUP2
000007f6: LT
000007f7: ISZERO
000007f8: PUSH2 0x0800
000007fb: JUMPI
000007fc: PUSH1 0x00
000007fe: DUP1
000007ff: REVERT
00000800: JUMPDEST
00000801: POP
00000802: CALLDATALOAD
00000803: PUSH2 0x1905
00000806: JUMP
00000807: JUMPDEST
00000808: CALLVALUE
00000809: DUP1
0000080a: ISZERO
0000080b: PUSH2 0x0813
0000080e: JUMPI
0000080f: PUSH1 0x00
00000811: DUP1
00000812: REVERT
00000813: JUMPDEST
00000814: POP
00000815: PUSH2 0x02e3
00000818: PUSH2 0x1923
0000081b: JUMP
0000081c: JUMPDEST
0000081d: CALLVALUE
0000081e: DUP1
0000081f: ISZERO
00000820: PUSH2 0x0828
00000823: JUMPI
00000824: PUSH1 0x00
00000826: DUP1
00000827: REVERT
00000828: JUMPDEST
00000829: POP
0000082a: PUSH2 0x02e3
0000082d: PUSH1 0x04
0000082f: DUP1
00000830: CALLDATASIZE
00000831: SUB
00000832: PUSH1 0x20
00000834: DUP2
00000835: LT
00000836: ISZERO
00000837: PUSH2 0x083f
0000083a: JUMPI
0000083b: PUSH1 0x00
0000083d: DUP1
0000083e: REVERT
0000083f: JUMPDEST
00000840: POP
00000841: CALLDATALOAD
00000842: PUSH2 0x1947
00000845: JUMP
00000846: JUMPDEST
00000847: CALLVALUE
00000848: DUP1
00000849: ISZERO
0000084a: PUSH2 0x0852
0000084d: JUMPI
0000084e: PUSH1 0x00
00000850: DUP1
00000851: REVERT
00000852: JUMPDEST
00000853: POP
00000854: PUSH2 0x027d
00000857: PUSH2 0x1954
0000085a: JUMP
0000085b: JUMPDEST
0000085c: CALLVALUE
0000085d: DUP1
0000085e: ISZERO
0000085f: PUSH2 0x0867
00000862: JUMPI
00000863: PUSH1 0x00
00000865: DUP1
00000866: REVERT
00000867: JUMPDEST
00000868: POP
00000869: PUSH2 0x0427
0000086c: PUSH2 0x1963
0000086f: JUMP
00000870: JUMPDEST
00000871: PUSH1 0x6c
00000873: PUSH1 0x20
00000875: MSTORE
00000876: PUSH1 0x00
00000878: SWAP1
00000879: DUP2
0000087a: MSTORE
0000087b: PUSH1 0x40
0000087d: SWAP1
0000087e: KECCAK256
0000087f: SLOAD
00000880: PUSH1 0xff
00000882: AND
00000883: DUP2
00000884: JUMP
00000885: JUMPDEST
00000886: PUSH1 0x70
00000888: SLOAD
00000889: PUSH1 0x01
0000088b: PUSH1 0x01
0000088d: PUSH1 0xa0
0000088f: SHL
00000890: SUB
00000891: AND
00000892: DUP2
00000893: JUMP
00000894: JUMPDEST
00000895: PUSH1 0x72
00000897: SLOAD
00000898: PUSH1 0x01
0000089a: PUSH1 0x01
0000089c: PUSH1 0xa0
0000089e: SHL
0000089f: SUB
000008a0: AND
000008a1: CALLER
000008a2: EQ
000008a3: PUSH2 0x08dd
000008a6: JUMPI
000008a7: PUSH1 0x40
000008a9: MLOAD
000008aa: PUSH3 0x461bcd
000008ae: PUSH1 0xe5
000008b0: SHL
000008b1: DUP2
000008b2: MSTORE
000008b3: PUSH1 0x04
000008b5: ADD
000008b6: DUP1
000008b7: DUP1
000008b8: PUSH1 0x20
000008ba: ADD
000008bb: DUP3
000008bc: DUP2
000008bd: SUB
000008be: DUP3
000008bf: MSTORE
000008c0: PUSH1 0x2b
000008c2: DUP2
000008c3: MSTORE
000008c4: PUSH1 0x20
000008c6: ADD
000008c7: DUP1
000008c8: PUSH2 0x2027
000008cb: PUSH1 0x2b
000008cd: SWAP2
000008ce: CODECOPY
000008cf: PUSH1 0x40
000008d1: ADD
000008d2: SWAP2
000008d3: POP
000008d4: POP
000008d5: PUSH1 0x40
000008d7: MLOAD
000008d8: DUP1
000008d9: SWAP2
000008da: SUB
000008db: SWAP1
000008dc: REVERT
000008dd: JUMPDEST
000008de: PUSH1 0x72
000008e0: DUP1
000008e1: SLOAD
000008e2: PUSH1 0x01
000008e4: PUSH1 0x01
000008e6: PUSH1 0xa0
000008e8: SHL
000008e9: SUB
000008ea: NOT
000008eb: AND
000008ec: PUSH1 0x01
000008ee: PUSH1 0x01
000008f0: PUSH1 0xa0
000008f2: SHL
000008f3: SUB
000008f4: SWAP3
000008f5: SWAP1
000008f6: SWAP3
000008f7: AND
000008f8: SWAP2
000008f9: SWAP1
000008fa: SWAP2
000008fb: OR
000008fc: SWAP1
000008fd: SSTORE
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH1 0x76
00000902: SLOAD
00000903: DUP2
00000904: JUMP
00000905: JUMPDEST
00000906: PUSH1 0x68
00000908: DUP1
00000909: SLOAD
0000090a: PUSH1 0x01
0000090c: ADD
0000090d: SWAP1
0000090e: DUP2
0000090f: SWAP1
00000910: SSTORE
00000911: DUP2
00000912: ISZERO
00000913: PUSH2 0x0958
00000916: JUMPI
00000917: PUSH1 0x40
00000919: DUP1
0000091a: MLOAD
0000091b: PUSH3 0x461bcd
0000091f: PUSH1 0xe5
00000921: SHL
00000922: DUP2
00000923: MSTORE
00000924: PUSH1 0x20
00000926: PUSH1 0x04
00000928: DUP3
00000929: ADD
0000092a: MSTORE
0000092b: PUSH1 0x12
0000092d: PUSH1 0x24
0000092f: DUP3
00000930: ADD
00000931: MSTORE
00000932: PUSH18 0x726566756e64206973206e6f74207a65726f
00000945: PUSH1 0x70
00000947: SHL
00000948: PUSH1 0x44
0000094a: DUP3
0000094b: ADD
0000094c: MSTORE
0000094d: SWAP1
0000094e: MLOAD
0000094f: SWAP1
00000950: DUP2
00000951: SWAP1
00000952: SUB
00000953: PUSH1 0x64
00000955: ADD
00000956: SWAP1
00000957: REVERT
00000958: JUMPDEST
00000959: PUSH2 0x0961
0000095c: DUP6
0000095d: PUSH2 0x1976
00000960: JUMP
00000961: JUMPDEST
00000962: ISZERO
00000963: PUSH2 0x09b3
00000966: JUMPI
00000967: PUSH1 0x40
00000969: DUP1
0000096a: MLOAD
0000096b: PUSH3 0x461bcd
0000096f: PUSH1 0xe5
00000971: SHL
00000972: DUP2
00000973: MSTORE
00000974: PUSH1 0x20
00000976: PUSH1 0x04
00000978: DUP3
00000979: ADD
0000097a: MSTORE
0000097b: PUSH1 0x1f
0000097d: PUSH1 0x24
0000097f: DUP3
00000980: ADD
00000981: MSTORE
00000982: PUSH32 0x726563697069656e74206f662063616e6e6f7420626520636f6e747261637400
000009a3: PUSH1 0x44
000009a5: DUP3
000009a6: ADD
000009a7: MSTORE
000009a8: SWAP1
000009a9: MLOAD
000009aa: SWAP1
000009ab: DUP2
000009ac: SWAP1
000009ad: SUB
000009ae: PUSH1 0x64
000009b0: ADD
000009b1: SWAP1
000009b2: REVERT
000009b3: JUMPDEST
000009b4: PUSH1 0x00
000009b6: DUP7
000009b7: DUP2
000009b8: MSTORE
000009b9: PUSH1 0x6c
000009bb: PUSH1 0x20
000009bd: MSTORE
000009be: PUSH1 0x40
000009c0: SWAP1
000009c1: KECCAK256
000009c2: SLOAD
000009c3: PUSH1 0xff
000009c5: AND
000009c6: ISZERO
000009c7: PUSH2 0x0a17
000009ca: JUMPI
000009cb: PUSH1 0x40
000009cd: DUP1
000009ce: MLOAD
000009cf: PUSH3 0x461bcd
000009d3: PUSH1 0xe5
000009d5: SHL
000009d6: DUP2
000009d7: MSTORE
000009d8: PUSH1 0x20
000009da: PUSH1 0x04
000009dc: DUP3
000009dd: ADD
000009de: MSTORE
000009df: PUSH1 0x1f
000009e1: PUSH1 0x24
000009e3: DUP3
000009e4: ADD
000009e5: MSTORE
000009e6: PUSH32 0x546865206e6f746520686173206265656e20616c7265616479207370656e7400
00000a07: PUSH1 0x44
00000a09: DUP3
00000a0a: ADD
00000a0b: MSTORE
00000a0c: SWAP1
00000a0d: MLOAD
00000a0e: SWAP1
00000a0f: DUP2
00000a10: SWAP1
00000a11: SUB
00000a12: PUSH1 0x64
00000a14: ADD
00000a15: SWAP1
00000a16: REVERT
00000a17: JUMPDEST
00000a18: PUSH2 0x0a20
00000a1b: DUP8
00000a1c: PUSH2 0x112f
00000a1f: JUMP
00000a20: JUMPDEST
00000a21: PUSH2 0x0a71
00000a24: JUMPI
00000a25: PUSH1 0x40
00000a27: DUP1
00000a28: MLOAD
00000a29: PUSH3 0x461bcd
00000a2d: PUSH1 0xe5
00000a2f: SHL
00000a30: DUP2
00000a31: MSTORE
00000a32: PUSH1 0x20
00000a34: PUSH1 0x04
00000a36: DUP3
00000a37: ADD
00000a38: MSTORE
00000a39: PUSH1 0x1c
00000a3b: PUSH1 0x24
00000a3d: DUP3
00000a3e: ADD
00000a3f: MSTORE
00000a40: PUSH32 0x43616e6e6f742066696e6420796f7572206d65726b6c6520726f6f7400000000
00000a61: PUSH1 0x44
00000a63: DUP3
00000a64: ADD
00000a65: MSTORE
00000a66: SWAP1
00000a67: MLOAD
00000a68: SWAP1
00000a69: DUP2
00000a6a: SWAP1
00000a6b: SUB
00000a6c: PUSH1 0x64
00000a6e: ADD
00000a6f: SWAP1
00000a70: REVERT
00000a71: JUMPDEST
00000a72: PUSH1 0x6e
00000a74: SLOAD
00000a75: PUSH1 0x40
00000a77: DUP1
00000a78: MLOAD
00000a79: PUSH1 0xc0
00000a7b: DUP1
00000a7c: DUP3
00000a7d: ADD
00000a7e: DUP4
00000a7f: MSTORE
00000a80: DUP11
00000a81: DUP3
00000a82: MSTORE
00000a83: PUSH1 0x20
00000a85: DUP3
00000a86: ADD
00000a87: DUP11
00000a88: SWAP1
00000a89: MSTORE
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0x01
00000a8e: PUSH1 0xa0
00000a90: SHL
00000a91: SUB
00000a92: DUP10
00000a93: DUP2
00000a94: AND
00000a95: DUP4
00000a96: DUP6
00000a97: ADD
00000a98: MSTORE
00000a99: DUP9
00000a9a: DUP2
00000a9b: AND
00000a9c: PUSH1 0x60
00000a9e: DUP5
00000a9f: ADD
00000aa0: MSTORE
00000aa1: PUSH1 0x80
00000aa3: DUP4
00000aa4: ADD
00000aa5: DUP9
00000aa6: SWAP1
00000aa7: MSTORE
00000aa8: PUSH1 0xa0
00000aaa: DUP4
00000aab: ADD
00000aac: DUP8
00000aad: SWAP1
00000aae: MSTORE
00000aaf: SWAP3
00000ab0: MLOAD
00000ab1: PUSH4 0x695ef6f9
00000ab6: PUSH1 0xe0
00000ab8: SHL
00000ab9: DUP2
00000aba: MSTORE
00000abb: SWAP3
00000abc: SWAP1
00000abd: SWAP4
00000abe: AND
00000abf: SWAP3
00000ac0: PUSH4 0x695ef6f9
00000ac5: SWAP3
00000ac6: DUP14
00000ac7: SWAP3
00000ac8: DUP14
00000ac9: SWAP3
00000aca: SWAP1
00000acb: SWAP2
00000acc: PUSH1 0x04
00000ace: DUP2
00000acf: ADD
00000ad0: SWAP2
00000ad1: DUP3
00000ad2: SWAP2
00000ad3: PUSH1 0x24
00000ad5: ADD
00000ad6: SWAP1
00000ad7: DUP5
00000ad8: SWAP1
00000ad9: DUP1
00000ada: DUP4
00000adb: DUP4
00000adc: PUSH1 0x00
00000ade: JUMPDEST
00000adf: DUP4
00000ae0: DUP2
00000ae1: LT
00000ae2: ISZERO
00000ae3: PUSH2 0x0af6
00000ae6: JUMPI
00000ae7: DUP2
00000ae8: DUP2
00000ae9: ADD
00000aea: MLOAD
00000aeb: DUP4
00000aec: DUP3
00000aed: ADD
00000aee: MSTORE
00000aef: PUSH1 0x20
00000af1: ADD
00000af2: PUSH2 0x0ade
00000af5: JUMP
00000af6: JUMPDEST
00000af7: POP
00000af8: POP
00000af9: POP
00000afa: POP
00000afb: SWAP1
00000afc: POP
00000afd: ADD
00000afe: DUP3
00000aff: DUP2
00000b00: SUB
00000b01: DUP3
00000b02: MSTORE
00000b03: DUP6
00000b04: DUP6
00000b05: DUP3
00000b06: DUP2
00000b07: DUP2
00000b08: MSTORE
00000b09: PUSH1 0x20
00000b0b: ADD
00000b0c: SWAP3
00000b0d: POP
00000b0e: DUP1
00000b0f: DUP3
00000b10: DUP5
00000b11: CALLDATACOPY
00000b12: PUSH1 0x00
00000b14: DUP2
00000b15: DUP5
00000b16: ADD
00000b17: MSTORE
00000b18: PUSH1 0x1f
00000b1a: NOT
00000b1b: PUSH1 0x1f
00000b1d: DUP3
00000b1e: ADD
00000b1f: AND
00000b20: SWAP1
00000b21: POP
00000b22: DUP1
00000b23: DUP4
00000b24: ADD
00000b25: SWAP3
00000b26: POP
00000b27: POP
00000b28: POP
00000b29: SWAP5
00000b2a: POP
00000b2b: POP
00000b2c: POP
00000b2d: POP
00000b2e: POP
00000b2f: PUSH1 0x20
00000b31: PUSH1 0x40
00000b33: MLOAD
00000b34: DUP1
00000b35: DUP4
00000b36: SUB
00000b37: DUP2
00000b38: PUSH1 0x00
00000b3a: DUP8
00000b3b: DUP1
00000b3c: EXTCODESIZE
00000b3d: ISZERO
00000b3e: DUP1
00000b3f: ISZERO
00000b40: PUSH2 0x0b48
00000b43: JUMPI
00000b44: PUSH1 0x00
00000b46: DUP1
00000b47: REVERT
00000b48: JUMPDEST
00000b49: POP
00000b4a: GAS
00000b4b: CALL
00000b4c: ISZERO
00000b4d: DUP1
00000b4e: ISZERO
00000b4f: PUSH2 0x0b5c
00000b52: JUMPI
00000b53: RETURNDATASIZE
00000b54: PUSH1 0x00
00000b56: DUP1
00000b57: RETURNDATACOPY
00000b58: RETURNDATASIZE
00000b59: PUSH1 0x00
00000b5b: REVERT
00000b5c: JUMPDEST
00000b5d: POP
00000b5e: POP
00000b5f: POP
00000b60: POP
00000b61: PUSH1 0x40
00000b63: MLOAD
00000b64: RETURNDATASIZE
00000b65: PUSH1 0x20
00000b67: DUP2
00000b68: LT
00000b69: ISZERO
00000b6a: PUSH2 0x0b72
00000b6d: JUMPI
00000b6e: PUSH1 0x00
00000b70: DUP1
00000b71: REVERT
00000b72: JUMPDEST
00000b73: POP
00000b74: MLOAD
00000b75: PUSH2 0x0bbe
00000b78: JUMPI
00000b79: PUSH1 0x40
00000b7b: DUP1
00000b7c: MLOAD
00000b7d: PUSH3 0x461bcd
00000b81: PUSH1 0xe5
00000b83: SHL
00000b84: DUP2
00000b85: MSTORE
00000b86: PUSH1 0x20
00000b88: PUSH1 0x04
00000b8a: DUP3
00000b8b: ADD
00000b8c: MSTORE
00000b8d: PUSH1 0x16
00000b8f: PUSH1 0x24
00000b91: DUP3
00000b92: ADD
00000b93: MSTORE
00000b94: PUSH22 0x24b73b30b634b2103bb4ba34323930bb90383937b7b3
00000bab: PUSH1 0x51
00000bad: SHL
00000bae: PUSH1 0x44
00000bb0: DUP3
00000bb1: ADD
00000bb2: MSTORE
00000bb3: SWAP1
00000bb4: MLOAD
00000bb5: SWAP1
00000bb6: DUP2
00000bb7: SWAP1
00000bb8: SUB
00000bb9: PUSH1 0x64
00000bbb: ADD
00000bbc: SWAP1
00000bbd: REVERT
00000bbe: JUMPDEST
00000bbf: PUSH1 0x00
00000bc1: DUP7
00000bc2: DUP2
00000bc3: MSTORE
00000bc4: PUSH1 0x6c
00000bc6: PUSH1 0x20
00000bc8: MSTORE
00000bc9: PUSH1 0x40
00000bcb: SWAP1
00000bcc: KECCAK256
00000bcd: DUP1
00000bce: SLOAD
00000bcf: PUSH1 0xff
00000bd1: NOT
00000bd2: AND
00000bd3: PUSH1 0x01
00000bd5: OR
00000bd6: SWAP1
00000bd7: SSTORE
00000bd8: PUSH1 0x69
00000bda: SLOAD
00000bdb: DUP1
00000bdc: ISZERO
00000bdd: PUSH2 0x0bf7
00000be0: JUMPI
00000be1: PUSH1 0x6f
00000be3: SLOAD
00000be4: PUSH2 0x0bf7
00000be7: SWAP1
00000be8: PUSH1 0x01
00000bea: PUSH1 0x01
00000bec: PUSH1 0xa0
00000bee: SHL
00000bef: SUB
00000bf0: AND
00000bf1: DUP8
00000bf2: DUP4
00000bf3: PUSH2 0x197c
00000bf6: JUMP
00000bf7: JUMPDEST
00000bf8: PUSH2 0x0bff
00000bfb: PUSH2 0x11bd
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: PUSH1 0x73
00000c02: SLOAD
00000c03: PUSH1 0x76
00000c05: SLOAD
00000c06: PUSH1 0x00
00000c08: SWAP2
00000c09: DUP3
00000c0a: SWAP2
00000c0b: PUSH2 0x0c19
00000c0e: SWAP2
00000c0f: PUSH4 0xffffffff
00000c14: PUSH2 0x1a3b
00000c17: AND
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: SWAP1
00000c1b: POP
00000c1c: DUP1
00000c1d: ISZERO
00000c1e: PUSH2 0x0c41
00000c21: JUMPI
00000c22: PUSH1 0x76
00000c24: DUP1
00000c25: SLOAD
00000c26: DUP3
00000c27: SWAP1
00000c28: SUB
00000c29: SWAP1
00000c2a: SSTORE
00000c2b: PUSH1 0x70
00000c2d: SLOAD
00000c2e: PUSH2 0x0c41
00000c31: SWAP1
00000c32: PUSH1 0x01
00000c34: PUSH1 0x01
00000c36: PUSH1 0xa0
00000c38: SHL
00000c39: SUB
00000c3a: AND
00000c3b: DUP10
00000c3c: DUP4
00000c3d: PUSH2 0x197c
00000c40: JUMP
00000c41: JUMPDEST
00000c42: PUSH1 0x6a
00000c44: SLOAD
00000c45: DUP1
00000c46: DUP8
00000c47: GT
00000c48: ISZERO
00000c49: PUSH2 0x0c50
00000c4c: JUMPI
00000c4d: DUP1
00000c4e: SWAP7
00000c4f: POP
00000c50: JUMPDEST
00000c51: DUP7
00000c52: ISZERO
00000c53: PUSH2 0x0d01
00000c56: JUMPI
00000c57: PUSH1 0x40
00000c59: MLOAD
00000c5a: PUSH1 0x00
00000c5c: SWAP1
00000c5d: PUSH1 0x01
00000c5f: PUSH1 0x01
00000c61: PUSH1 0xa0
00000c63: SHL
00000c64: SUB
00000c65: DUP11
00000c66: AND
00000c67: SWAP1
00000c68: DUP10
00000c69: SWAP1
00000c6a: DUP4
00000c6b: DUP2
00000c6c: DUP2
00000c6d: DUP2
00000c6e: DUP6
00000c6f: DUP8
00000c70: GAS
00000c71: CALL
00000c72: SWAP3
00000c73: POP
00000c74: POP
00000c75: POP
00000c76: RETURNDATASIZE
00000c77: DUP1
00000c78: PUSH1 0x00
00000c7a: DUP2
00000c7b: EQ
00000c7c: PUSH2 0x0ca1
00000c7f: JUMPI
00000c80: PUSH1 0x40
00000c82: MLOAD
00000c83: SWAP2
00000c84: POP
00000c85: PUSH1 0x1f
00000c87: NOT
00000c88: PUSH1 0x3f
00000c8a: RETURNDATASIZE
00000c8b: ADD
00000c8c: AND
00000c8d: DUP3
00000c8e: ADD
00000c8f: PUSH1 0x40
00000c91: MSTORE
00000c92: RETURNDATASIZE
00000c93: DUP3
00000c94: MSTORE
00000c95: RETURNDATASIZE
00000c96: PUSH1 0x00
00000c98: PUSH1 0x20
00000c9a: DUP5
00000c9b: ADD
00000c9c: RETURNDATACOPY
00000c9d: PUSH2 0x0ca6
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: PUSH1 0x60
00000ca4: SWAP2
00000ca5: POP
00000ca6: JUMPDEST
00000ca7: POP
00000ca8: POP
00000ca9: SWAP1
00000caa: POP
00000cab: DUP1
00000cac: PUSH2 0x0cfc
00000caf: JUMPI
00000cb0: PUSH1 0x40
00000cb2: DUP1
00000cb3: MLOAD
00000cb4: PUSH3 0x461bcd
00000cb8: PUSH1 0xe5
00000cba: SHL
00000cbb: DUP2
00000cbc: MSTORE
00000cbd: PUSH1 0x20
00000cbf: PUSH1 0x04
00000cc1: DUP3
00000cc2: ADD
00000cc3: MSTORE
00000cc4: PUSH1 0x1a
00000cc6: PUSH1 0x24
00000cc8: DUP3
00000cc9: ADD
00000cca: MSTORE
00000ccb: PUSH32 0x6661696c656420746f2073656e642072656c6179657220666565000000000000
00000cec: PUSH1 0x44
00000cee: DUP3
00000cef: ADD
00000cf0: MSTORE
00000cf1: SWAP1
00000cf2: MLOAD
00000cf3: SWAP1
00000cf4: DUP2
00000cf5: SWAP1
00000cf6: SUB
00000cf7: PUSH1 0x64
00000cf9: ADD
00000cfa: SWAP1
00000cfb: REVERT
00000cfc: JUMPDEST
00000cfd: POP
00000cfe: DUP7
00000cff: SWAP1
00000d00: SUB
00000d01: JUMPDEST
00000d02: DUP1
00000d03: ISZERO
00000d04: PUSH2 0x0daf
00000d07: JUMPI
00000d08: PUSH1 0x40
00000d0a: MLOAD
00000d0b: PUSH1 0x00
00000d0d: SWAP1
00000d0e: PUSH1 0x01
00000d10: PUSH1 0x01
00000d12: PUSH1 0xa0
00000d14: SHL
00000d15: SUB
00000d16: DUP12
00000d17: AND
00000d18: SWAP1
00000d19: DUP4
00000d1a: SWAP1
00000d1b: DUP4
00000d1c: DUP2
00000d1d: DUP2
00000d1e: DUP2
00000d1f: DUP6
00000d20: DUP8
00000d21: GAS
00000d22: CALL
00000d23: SWAP3
00000d24: POP
00000d25: POP
00000d26: POP
00000d27: RETURNDATASIZE
00000d28: DUP1
00000d29: PUSH1 0x00
00000d2b: DUP2
00000d2c: EQ
00000d2d: PUSH2 0x0d52
00000d30: JUMPI
00000d31: PUSH1 0x40
00000d33: MLOAD
00000d34: SWAP2
00000d35: POP
00000d36: PUSH1 0x1f
00000d38: NOT
00000d39: PUSH1 0x3f
00000d3b: RETURNDATASIZE
00000d3c: ADD
00000d3d: AND
00000d3e: DUP3
00000d3f: ADD
00000d40: PUSH1 0x40
00000d42: MSTORE
00000d43: RETURNDATASIZE
00000d44: DUP3
00000d45: MSTORE
00000d46: RETURNDATASIZE
00000d47: PUSH1 0x00
00000d49: PUSH1 0x20
00000d4b: DUP5
00000d4c: ADD
00000d4d: RETURNDATACOPY
00000d4e: PUSH2 0x0d57
00000d51: JUMP
00000d52: JUMPDEST
00000d53: PUSH1 0x60
00000d55: SWAP2
00000d56: POP
00000d57: JUMPDEST
00000d58: POP
00000d59: POP
00000d5a: SWAP1
00000d5b: POP
00000d5c: DUP1
00000d5d: PUSH2 0x0dad
00000d60: JUMPI
00000d61: PUSH1 0x40
00000d63: DUP1
00000d64: MLOAD
00000d65: PUSH3 0x461bcd
00000d69: PUSH1 0xe5
00000d6b: SHL
00000d6c: DUP2
00000d6d: MSTORE
00000d6e: PUSH1 0x20
00000d70: PUSH1 0x04
00000d72: DUP3
00000d73: ADD
00000d74: MSTORE
00000d75: PUSH1 0x17
00000d77: PUSH1 0x24
00000d79: DUP3
00000d7a: ADD
00000d7b: MSTORE
00000d7c: PUSH32 0x6661696c656420746f20776974686472617720636f696e000000000000000000
00000d9d: PUSH1 0x44
00000d9f: DUP3
00000da0: ADD
00000da1: MSTORE
00000da2: SWAP1
00000da3: MLOAD
00000da4: SWAP1
00000da5: DUP2
00000da6: SWAP1
00000da7: SUB
00000da8: PUSH1 0x64
00000daa: ADD
00000dab: SWAP1
00000dac: REVERT
00000dad: JUMPDEST
00000dae: POP
00000daf: JUMPDEST
00000db0: PUSH1 0x73
00000db2: DUP1
00000db3: SLOAD
00000db4: PUSH1 0x00
00000db6: NOT
00000db7: ADD
00000db8: SWAP1
00000db9: SSTORE
00000dba: PUSH1 0x40
00000dbc: DUP1
00000dbd: MLOAD
00000dbe: PUSH1 0x01
00000dc0: PUSH1 0x01
00000dc2: PUSH1 0xa0
00000dc4: SHL
00000dc5: SUB
00000dc6: DUP12
00000dc7: DUP2
00000dc8: AND
00000dc9: DUP3
00000dca: MSTORE
00000dcb: PUSH1 0x20
00000dcd: DUP3
00000dce: ADD
00000dcf: DUP14
00000dd0: SWAP1
00000dd1: MSTORE
00000dd2: DUP2
00000dd3: DUP4
00000dd4: ADD
00000dd5: DUP6
00000dd6: SWAP1
00000dd7: MSTORE
00000dd8: PUSH1 0x60
00000dda: DUP3
00000ddb: ADD
00000ddc: DUP7
00000ddd: SWAP1
00000dde: MSTORE
00000ddf: SWAP2
00000de0: MLOAD
00000de1: SWAP2
00000de2: DUP11
00000de3: AND
00000de4: SWAP2
00000de5: PUSH32 0x6d7aac54bd3d1c91db3b1fd7b8d6cb45324ad6b5e373c0f0ea4d7b2606c4c2c8
00000e06: SWAP2
00000e07: DUP2
00000e08: SWAP1
00000e09: SUB
00000e0a: PUSH1 0x80
00000e0c: ADD
00000e0d: SWAP1
00000e0e: LOG2
00000e0f: POP
00000e10: POP
00000e11: POP
00000e12: POP
00000e13: PUSH1 0x68
00000e15: SLOAD
00000e16: DUP2
00000e17: EQ
00000e18: PUSH2 0x0e68
00000e1b: JUMPI
00000e1c: PUSH1 0x40
00000e1e: DUP1
00000e1f: MLOAD
00000e20: PUSH3 0x461bcd
00000e24: PUSH1 0xe5
00000e26: SHL
00000e27: DUP2
00000e28: MSTORE
00000e29: PUSH1 0x20
00000e2b: PUSH1 0x04
00000e2d: DUP3
00000e2e: ADD
00000e2f: MSTORE
00000e30: PUSH1 0x1f
00000e32: PUSH1 0x24
00000e34: DUP3
00000e35: ADD
00000e36: MSTORE
00000e37: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000e58: PUSH1 0x44
00000e5a: DUP3
00000e5b: ADD
00000e5c: MSTORE
00000e5d: SWAP1
00000e5e: MLOAD
00000e5f: SWAP1
00000e60: DUP2
00000e61: SWAP1
00000e62: SUB
00000e63: PUSH1 0x64
00000e65: ADD
00000e66: SWAP1
00000e67: REVERT
00000e68: JUMPDEST
00000e69: POP
00000e6a: POP
00000e6b: POP
00000e6c: POP
00000e6d: POP
00000e6e: POP
00000e6f: POP
00000e70: POP
00000e71: POP
00000e72: JUMP
00000e73: JUMPDEST
00000e74: PUSH1 0x6e
00000e76: SLOAD
00000e77: PUSH1 0x01
00000e79: PUSH1 0x01
00000e7b: PUSH1 0xa0
00000e7d: SHL
00000e7e: SUB
00000e7f: AND
00000e80: DUP2
00000e81: JUMP
00000e82: JUMPDEST
00000e83: PUSH1 0x73
00000e85: SLOAD
00000e86: DUP2
00000e87: JUMP
00000e88: JUMPDEST
00000e89: PUSH1 0x00
00000e8b: PUSH1 0x00
00000e8d: DUP1
00000e8e: MLOAD
00000e8f: PUSH1 0x20
00000e91: PUSH2 0x1fbc
00000e94: DUP4
00000e95: CODECOPY
00000e96: DUP2
00000e97: MLOAD
00000e98: SWAP2
00000e99: MSTORE
00000e9a: DUP4
00000e9b: LT
00000e9c: PUSH2 0x0eec
00000e9f: JUMPI
00000ea0: PUSH1 0x40
00000ea2: DUP1
00000ea3: MLOAD
00000ea4: PUSH3 0x461bcd
00000ea8: PUSH1 0xe5
00000eaa: SHL
00000eab: DUP2
00000eac: MSTORE
00000ead: PUSH1 0x20
00000eaf: PUSH1 0x04
00000eb1: DUP3
00000eb2: ADD
00000eb3: DUP2
00000eb4: SWAP1
00000eb5: MSTORE
00000eb6: PUSH1 0x24
00000eb8: DUP3
00000eb9: ADD
00000eba: MSTORE
00000ebb: PUSH32 0x5f6c6566742073686f756c6420626520696e7369646520746865206669656c64
00000edc: PUSH1 0x44
00000ede: DUP3
00000edf: ADD
00000ee0: MSTORE
00000ee1: SWAP1
00000ee2: MLOAD
00000ee3: SWAP1
00000ee4: DUP2
00000ee5: SWAP1
00000ee6: SUB
00000ee7: PUSH1 0x64
00000ee9: ADD
00000eea: SWAP1
00000eeb: REVERT
00000eec: JUMPDEST
00000eed: PUSH1 0x00
00000eef: DUP1
00000ef0: MLOAD
00000ef1: PUSH1 0x20
00000ef3: PUSH2 0x1fbc
00000ef6: DUP4
00000ef7: CODECOPY
00000ef8: DUP2
00000ef9: MLOAD
00000efa: SWAP2
00000efb: MSTORE
00000efc: DUP3
00000efd: LT
00000efe: PUSH2 0x0f38
00000f01: JUMPI
00000f02: PUSH1 0x40
00000f04: MLOAD
00000f05: PUSH3 0x461bcd
00000f09: PUSH1 0xe5
00000f0b: SHL
00000f0c: DUP2
00000f0d: MSTORE
00000f0e: PUSH1 0x04
00000f10: ADD
00000f11: DUP1
00000f12: DUP1
00000f13: PUSH1 0x20
00000f15: ADD
00000f16: DUP3
00000f17: DUP2
00000f18: SUB
00000f19: DUP3
00000f1a: MSTORE
00000f1b: PUSH1 0x21
00000f1d: DUP2
00000f1e: MSTORE
00000f1f: PUSH1 0x20
00000f21: ADD
00000f22: DUP1
00000f23: PUSH2 0x1f9b
00000f26: PUSH1 0x21
00000f28: SWAP2
00000f29: CODECOPY
00000f2a: PUSH1 0x40
00000f2c: ADD
00000f2d: SWAP2
00000f2e: POP
00000f2f: POP
00000f30: PUSH1 0x40
00000f32: MLOAD
00000f33: DUP1
00000f34: SWAP2
00000f35: SUB
00000f36: SWAP1
00000f37: REVERT
00000f38: JUMPDEST
00000f39: PUSH1 0x40
00000f3b: DUP1
00000f3c: MLOAD
00000f3d: PUSH4 0xf47d33b5
00000f42: PUSH1 0xe0
00000f44: SHL
00000f45: DUP2
00000f46: MSTORE
00000f47: PUSH1 0x04
00000f49: DUP2
00000f4a: ADD
00000f4b: DUP6
00000f4c: SWAP1
00000f4d: MSTORE
00000f4e: PUSH1 0x00
00000f50: PUSH1 0x24
00000f52: DUP3
00000f53: ADD
00000f54: DUP2
00000f55: SWAP1
00000f56: MSTORE
00000f57: DUP3
00000f58: MLOAD
00000f59: DUP7
00000f5a: SWAP4
00000f5b: SWAP2
00000f5c: SWAP3
00000f5d: PUSH20 0x949452e32db13a5771445cf20b304474b866202b
00000f72: SWAP3
00000f73: PUSH4 0xf47d33b5
00000f78: SWAP3
00000f79: PUSH1 0x44
00000f7b: DUP1
00000f7c: DUP5
00000f7d: ADD
00000f7e: SWAP4
00000f7f: DUP3
00000f80: SWAP1
00000f81: SUB
00000f82: ADD
00000f83: DUP2
00000f84: DUP7
00000f85: DUP1
00000f86: EXTCODESIZE
00000f87: ISZERO
00000f88: DUP1
00000f89: ISZERO
00000f8a: PUSH2 0x0f92
00000f8d: JUMPI
00000f8e: PUSH1 0x00
00000f90: DUP1
00000f91: REVERT
00000f92: JUMPDEST
00000f93: POP
00000f94: GAS
00000f95: DELEGATECALL
00000f96: ISZERO
00000f97: DUP1
00000f98: ISZERO
00000f99: PUSH2 0x0fa6
00000f9c: JUMPI
00000f9d: RETURNDATASIZE
00000f9e: PUSH1 0x00
00000fa0: DUP1
00000fa1: RETURNDATACOPY
00000fa2: RETURNDATASIZE
00000fa3: PUSH1 0x00
00000fa5: REVERT
00000fa6: JUMPDEST
00000fa7: POP
00000fa8: POP
00000fa9: POP
00000faa: POP
00000fab: PUSH1 0x40
00000fad: MLOAD
00000fae: RETURNDATASIZE
00000faf: PUSH1 0x40
00000fb1: DUP2
00000fb2: LT
00000fb3: ISZERO
00000fb4: PUSH2 0x0fbc
00000fb7: JUMPI
00000fb8: PUSH1 0x00
00000fba: DUP1
00000fbb: REVERT
00000fbc: JUMPDEST
00000fbd: POP
00000fbe: DUP1
00000fbf: MLOAD
00000fc0: PUSH1 0x20
00000fc2: SWAP1
00000fc3: SWAP2
00000fc4: ADD
00000fc5: MLOAD
00000fc6: SWAP1
00000fc7: SWAP3
00000fc8: POP
00000fc9: SWAP1
00000fca: POP
00000fcb: PUSH1 0x00
00000fcd: DUP1
00000fce: MLOAD
00000fcf: PUSH1 0x20
00000fd1: PUSH2 0x1fbc
00000fd4: DUP4
00000fd5: CODECOPY
00000fd6: DUP2
00000fd7: MLOAD
00000fd8: SWAP2
00000fd9: MSTORE
00000fda: DUP5
00000fdb: DUP4
00000fdc: ADDMOD
00000fdd: SWAP2
00000fde: POP
00000fdf: PUSH20 0x949452e32db13a5771445cf20b304474b866202b
00000ff4: PUSH4 0xf47d33b5
00000ff9: DUP4
00000ffa: DUP4
00000ffb: PUSH1 0x40
00000ffd: MLOAD
00000ffe: DUP4
00000fff: PUSH4 0xffffffff
00001004: AND
00001005: PUSH1 0xe0
00001007: SHL
00001008: DUP2
00001009: MSTORE
0000100a: PUSH1 0x04
0000100c: ADD
0000100d: DUP1
0000100e: DUP4
0000100f: DUP2
00001010: MSTORE
00001011: PUSH1 0x20
00001013: ADD
00001014: DUP3
00001015: DUP2
00001016: MSTORE
00001017: PUSH1 0x20
00001019: ADD
0000101a: SWAP3
0000101b: POP
0000101c: POP
0000101d: POP
0000101e: PUSH1 0x40
00001020: DUP1
00001021: MLOAD
00001022: DUP1
00001023: DUP4
00001024: SUB
00001025: DUP2
00001026: DUP7
00001027: DUP1
00001028: EXTCODESIZE
00001029: ISZERO
0000102a: DUP1
0000102b: ISZERO
0000102c: PUSH2 0x1034
0000102f: JUMPI
00001030: PUSH1 0x00
00001032: DUP1
00001033: REVERT
00001034: JUMPDEST
00001035: POP
00001036: GAS
00001037: DELEGATECALL
00001038: ISZERO
00001039: DUP1
0000103a: ISZERO
0000103b: PUSH2 0x1048
0000103e: JUMPI
0000103f: RETURNDATASIZE
00001040: PUSH1 0x00
00001042: DUP1
00001043: RETURNDATACOPY
00001044: RETURNDATASIZE
00001045: PUSH1 0x00
00001047: REVERT
00001048: JUMPDEST
00001049: POP
0000104a: POP
0000104b: POP
0000104c: POP
0000104d: PUSH1 0x40
0000104f: MLOAD
00001050: RETURNDATASIZE
00001051: PUSH1 0x40
00001053: DUP2
00001054: LT
00001055: ISZERO
00001056: PUSH2 0x105e
00001059: JUMPI
0000105a: PUSH1 0x00
0000105c: DUP1
0000105d: REVERT
0000105e: JUMPDEST
0000105f: POP
00001060: MLOAD
00001061: SWAP3
00001062: POP
00001063: POP
00001064: POP
00001065: JUMPDEST
00001066: SWAP3
00001067: SWAP2
00001068: POP
00001069: POP
0000106a: JUMP
0000106b: JUMPDEST
0000106c: PUSH1 0x77
0000106e: SLOAD
0000106f: DUP2
00001070: JUMP
00001071: JUMPDEST
00001072: PUSH1 0x00
00001074: DUP1
00001075: MLOAD
00001076: PUSH1 0x20
00001078: PUSH2 0x1fbc
0000107b: DUP4
0000107c: CODECOPY
0000107d: DUP2
0000107e: MLOAD
0000107f: SWAP2
00001080: MSTORE
00001081: DUP2
00001082: JUMP
00001083: JUMPDEST
00001084: PUSH1 0x00
00001086: SLOAD
00001087: PUSH4 0xffffffff
0000108c: AND
0000108d: DUP2
0000108e: JUMP
0000108f: JUMPDEST
00001090: PUSH1 0x69
00001092: SLOAD
00001093: DUP2
00001094: JUMP
00001095: JUMPDEST
00001096: PUSH1 0x40
00001098: DUP1
00001099: MLOAD
0000109a: DUP1
0000109b: DUP3
0000109c: ADD
0000109d: SWAP1
0000109e: SWAP2
0000109f: MSTORE
000010a0: PUSH1 0x03
000010a2: DUP2
000010a3: MSTORE
000010a4: PUSH3 0x322e33
000010a8: PUSH1 0xe8
000010aa: SHL
000010ab: PUSH1 0x20
000010ad: DUP3
000010ae: ADD
000010af: MSTORE
000010b0: JUMPDEST
000010b1: SWAP1
000010b2: JUMP
000010b3: JUMPDEST
000010b4: PUSH1 0x00
000010b6: PUSH1 0x73
000010b8: SLOAD
000010b9: PUSH1 0x00
000010bb: EQ
000010bc: ISZERO
000010bd: PUSH2 0x10c9
000010c0: JUMPI
000010c1: POP
000010c2: PUSH1 0x6b
000010c4: SLOAD
000010c5: PUSH2 0x10b0
000010c8: JUMP
000010c9: JUMPDEST
000010ca: PUSH1 0x76
000010cc: SLOAD
000010cd: PUSH1 0x74
000010cf: SLOAD
000010d0: NUMBER
000010d1: SWAP2
000010d2: SWAP1
000010d3: DUP3
000010d4: GT
000010d5: DUP1
000010d6: ISZERO
000010d7: PUSH2 0x10e2
000010da: JUMPI
000010db: POP
000010dc: PUSH1 0x00
000010de: PUSH1 0x75
000010e0: SLOAD
000010e1: GT
000010e2: JUMPDEST
000010e3: ISZERO
000010e4: PUSH2 0x10f2
000010e7: JUMPI
000010e8: PUSH2 0x10ef
000010eb: PUSH2 0x1a4e
000010ee: JUMP
000010ef: JUMPDEST
000010f0: SWAP1
000010f1: POP
000010f2: JUMPDEST
000010f3: PUSH1 0x73
000010f5: SLOAD
000010f6: PUSH2 0x1119
000010f9: SWAP1
000010fa: PUSH2 0x110d
000010fd: DUP4
000010fe: PUSH1 0x00
00001100: NOT
00001101: DUP4
00001102: ADD
00001103: PUSH4 0xffffffff
00001108: PUSH2 0x1b27
0000110b: AND
0000110c: JUMP
0000110d: JUMPDEST
0000110e: SWAP1
0000110f: PUSH4 0xffffffff
00001114: PUSH2 0x1a3b
00001117: AND
00001118: JUMP
00001119: JUMPDEST
0000111a: SWAP3
0000111b: POP
0000111c: POP
0000111d: POP
0000111e: SWAP1
0000111f: JUMP
00001120: JUMPDEST
00001121: PUSH1 0x71
00001123: SLOAD
00001124: PUSH1 0x01
00001126: PUSH1 0x01
00001128: PUSH1 0xa0
0000112a: SHL
0000112b: SUB
0000112c: AND
0000112d: DUP2
0000112e: JUMP
0000112f: JUMPDEST
00001130: PUSH1 0x00
00001132: DUP2
00001133: PUSH2 0x113e
00001136: JUMPI
00001137: POP
00001138: PUSH1 0x00
0000113a: PUSH2 0x119d
0000113d: JUMP
0000113e: JUMPDEST
0000113f: PUSH1 0x03
00001141: SLOAD
00001142: PUSH4 0xffffffff
00001147: AND
00001148: JUMPDEST
00001149: PUSH1 0x04
0000114b: DUP2
0000114c: PUSH4 0xffffffff
00001151: AND
00001152: PUSH1 0x64
00001154: DUP2
00001155: LT
00001156: PUSH2 0x115b
00001159: JUMPI
0000115a: INVALID
0000115b: JUMPDEST
0000115c: ADD
0000115d: SLOAD
0000115e: DUP4
0000115f: EQ
00001160: ISZERO
00001161: PUSH2 0x116e
00001164: JUMPI
00001165: PUSH1 0x01
00001167: SWAP2
00001168: POP
00001169: POP
0000116a: PUSH2 0x119d
0000116d: JUMP
0000116e: JUMPDEST
0000116f: PUSH4 0xffffffff
00001174: DUP2
00001175: AND
00001176: PUSH2 0x117d
00001179: JUMPI
0000117a: POP
0000117b: PUSH1 0x64
0000117d: JUMPDEST
0000117e: PUSH1 0x03
00001180: SLOAD
00001181: PUSH1 0x00
00001183: NOT
00001184: SWAP1
00001185: SWAP2
00001186: ADD
00001187: SWAP1
00001188: PUSH4 0xffffffff
0000118d: DUP1
0000118e: DUP4
0000118f: AND
00001190: SWAP2
00001191: AND
00001192: EQ
00001193: ISZERO
00001194: PUSH2 0x1148
00001197: JUMPI
00001198: PUSH1 0x00
0000119a: SWAP2
0000119b: POP
0000119c: POP
0000119d: JUMPDEST
0000119e: SWAP2
0000119f: SWAP1
000011a0: POP
000011a1: JUMP
000011a2: JUMPDEST
000011a3: PUSH1 0x6d
000011a5: PUSH1 0x20
000011a7: MSTORE
000011a8: PUSH1 0x00
000011aa: SWAP1
000011ab: DUP2
000011ac: MSTORE
000011ad: PUSH1 0x40
000011af: SWAP1
000011b0: KECCAK256
000011b1: SLOAD
000011b2: PUSH1 0xff
000011b4: AND
000011b5: DUP2
000011b6: JUMP
000011b7: JUMPDEST
000011b8: PUSH1 0x75
000011ba: SLOAD
000011bb: DUP2
000011bc: JUMP
000011bd: JUMPDEST
000011be: PUSH1 0x74
000011c0: SLOAD
000011c1: NUMBER
000011c2: SWAP1
000011c3: DUP2
000011c4: GT
000011c5: PUSH2 0x11ce
000011c8: JUMPI
000011c9: POP
000011ca: PUSH2 0x11e6
000011cd: JUMP
000011ce: JUMPDEST
000011cf: PUSH1 0x75
000011d1: SLOAD
000011d2: ISZERO
000011d3: PUSH2 0x11e2
000011d6: JUMPI
000011d7: PUSH2 0x11de
000011da: PUSH2 0x1a4e
000011dd: JUMP
000011de: JUMPDEST
000011df: PUSH1 0x76
000011e1: SSTORE
000011e2: JUMPDEST
000011e3: PUSH1 0x74
000011e5: SSTORE
000011e6: JUMPDEST
000011e7: JUMP
000011e8: JUMPDEST
000011e9: PUSH1 0x72
000011eb: SLOAD
000011ec: PUSH1 0x01
000011ee: PUSH1 0x01
000011f0: PUSH1 0xa0
000011f2: SHL
000011f3: SUB
000011f4: AND
000011f5: CALLER
000011f6: EQ
000011f7: PUSH2 0x1231
000011fa: JUMPI
000011fb: PUSH1 0x40
000011fd: MLOAD
000011fe: PUSH3 0x461bcd
00001202: PUSH1 0xe5
00001204: SHL
00001205: DUP2
00001206: MSTORE
00001207: PUSH1 0x04
00001209: ADD
0000120a: DUP1
0000120b: DUP1
0000120c: PUSH1 0x20
0000120e: ADD
0000120f: DUP3
00001210: DUP2
00001211: SUB
00001212: DUP3
00001213: MSTORE
00001214: PUSH1 0x2b
00001216: DUP2
00001217: MSTORE
00001218: PUSH1 0x20
0000121a: ADD
0000121b: DUP1
0000121c: PUSH2 0x2027
0000121f: PUSH1 0x2b
00001221: SWAP2
00001222: CODECOPY
00001223: PUSH1 0x40
00001225: ADD
00001226: SWAP2
00001227: POP
00001228: POP
00001229: PUSH1 0x40
0000122b: MLOAD
0000122c: DUP1
0000122d: SWAP2
0000122e: SUB
0000122f: SWAP1
00001230: REVERT
00001231: JUMPDEST
00001232: PUSH1 0x77
00001234: SLOAD
00001235: PUSH1 0x40
00001237: DUP1
00001238: MLOAD
00001239: SWAP2
0000123a: DUP3
0000123b: MSTORE
0000123c: PUSH1 0x20
0000123e: DUP3
0000123f: ADD
00001240: DUP4
00001241: SWAP1
00001242: MSTORE
00001243: DUP1
00001244: MLOAD
00001245: PUSH32 0xf077eec825bf8719ab7021daf299e3feb4cb33472ac3f1e661657fd9701a3e7e
00001266: SWAP3
00001267: DUP2
00001268: SWAP1
00001269: SUB
0000126a: SWAP1
0000126b: SWAP2
0000126c: ADD
0000126d: SWAP1
0000126e: LOG1
0000126f: PUSH1 0x77
00001271: SSTORE
00001272: JUMP
00001273: JUMPDEST
00001274: PUSH1 0x03
00001276: SLOAD
00001277: PUSH4 0xffffffff
0000127c: AND
0000127d: DUP2
0000127e: JUMP
0000127f: JUMPDEST
00001280: PUSH1 0x72
00001282: SLOAD
00001283: PUSH1 0x01
00001285: PUSH1 0x01
00001287: PUSH1 0xa0
00001289: SHL
0000128a: SUB
0000128b: AND
0000128c: CALLER
0000128d: EQ
0000128e: PUSH2 0x12c8
00001291: JUMPI
00001292: PUSH1 0x40
00001294: MLOAD
00001295: PUSH3 0x461bcd
00001299: PUSH1 0xe5
0000129b: SHL
0000129c: DUP2
0000129d: MSTORE
0000129e: PUSH1 0x04
000012a0: ADD
000012a1: DUP1
000012a2: DUP1
000012a3: PUSH1 0x20
000012a5: ADD
000012a6: DUP3
000012a7: DUP2
000012a8: SUB
000012a9: DUP3
000012aa: MSTORE
000012ab: PUSH1 0x2b
000012ad: DUP2
000012ae: MSTORE
000012af: PUSH1 0x20
000012b1: ADD
000012b2: DUP1
000012b3: PUSH2 0x2027
000012b6: PUSH1 0x2b
000012b8: SWAP2
000012b9: CODECOPY
000012ba: PUSH1 0x40
000012bc: ADD
000012bd: SWAP2
000012be: POP
000012bf: POP
000012c0: PUSH1 0x40
000012c2: MLOAD
000012c3: DUP1
000012c4: SWAP2
000012c5: SUB
000012c6: SWAP1
000012c7: REVERT
000012c8: JUMPDEST
000012c9: PUSH1 0x6e
000012cb: DUP1
000012cc: SLOAD
000012cd: PUSH1 0x01
000012cf: PUSH1 0x01
000012d1: PUSH1 0xa0
000012d3: SHL
000012d4: SUB
000012d5: NOT
000012d6: AND
000012d7: PUSH1 0x01
000012d9: PUSH1 0x01
000012db: PUSH1 0xa0
000012dd: SHL
000012de: SUB
000012df: SWAP3
000012e0: SWAP1
000012e1: SWAP3
000012e2: AND
000012e3: SWAP2
000012e4: SWAP1
000012e5: SWAP2
000012e6: OR
000012e7: SWAP1
000012e8: SSTORE
000012e9: JUMP
000012ea: JUMPDEST
000012eb: PUSH1 0x6a
000012ed: SLOAD
000012ee: DUP2
000012ef: JUMP
000012f0: JUMPDEST
000012f1: PUSH1 0x40
000012f3: DUP1
000012f4: MLOAD
000012f5: DUP3
000012f6: DUP2
000012f7: MSTORE
000012f8: PUSH1 0x20
000012fa: DUP1
000012fb: DUP5
000012fc: MUL
000012fd: DUP3
000012fe: ADD
000012ff: ADD
00001300: SWAP1
00001301: SWAP2
00001302: MSTORE
00001303: PUSH1 0x60
00001305: SWAP1
00001306: DUP3
00001307: DUP1
00001308: ISZERO
00001309: PUSH2 0x131c
0000130c: JUMPI
0000130d: DUP2
0000130e: PUSH1 0x20
00001310: ADD
00001311: PUSH1 0x20
00001313: DUP3
00001314: MUL
00001315: DUP1
00001316: CODESIZE
00001317: DUP4
00001318: CODECOPY
00001319: ADD
0000131a: SWAP1
0000131b: POP
0000131c: JUMPDEST
0000131d: POP
0000131e: SWAP1
0000131f: POP
00001320: PUSH1 0x00
00001322: JUMPDEST
00001323: DUP3
00001324: DUP2
00001325: LT
00001326: ISZERO
00001327: PUSH2 0x1371
0000132a: JUMPI
0000132b: PUSH2 0x1345
0000132e: DUP5
0000132f: DUP5
00001330: DUP4
00001331: DUP2
00001332: DUP2
00001333: LT
00001334: PUSH2 0x1339
00001337: JUMPI
00001338: INVALID
00001339: JUMPDEST
0000133a: SWAP1
0000133b: POP
0000133c: PUSH1 0x20
0000133e: MUL
0000133f: ADD
00001340: CALLDATALOAD
00001341: PUSH2 0x18f0
00001344: JUMP
00001345: JUMPDEST
00001346: ISZERO
00001347: PUSH2 0x1369
0000134a: JUMPI
0000134b: PUSH1 0x01
0000134d: DUP3
0000134e: DUP3
0000134f: DUP2
00001350: MLOAD
00001351: DUP2
00001352: LT
00001353: PUSH2 0x1358
00001356: JUMPI
00001357: INVALID
00001358: JUMPDEST
00001359: SWAP2
0000135a: ISZERO
0000135b: ISZERO
0000135c: PUSH1 0x20
0000135e: SWAP3
0000135f: DUP4
00001360: MUL
00001361: SWAP2
00001362: SWAP1
00001363: SWAP2
00001364: ADD
00001365: SWAP1
00001366: SWAP2
00001367: ADD
00001368: MSTORE
00001369: JUMPDEST
0000136a: PUSH1 0x01
0000136c: ADD
0000136d: PUSH2 0x1322
00001370: JUMP
00001371: JUMPDEST
00001372: POP
00001373: SWAP3
00001374: SWAP2
00001375: POP
00001376: POP
00001377: JUMP
00001378: JUMPDEST
00001379: PUSH1 0x74
0000137b: SLOAD
0000137c: DUP2
0000137d: JUMP
0000137e: JUMPDEST
0000137f: PUSH1 0x72
00001381: SLOAD
00001382: PUSH1 0x01
00001384: PUSH1 0x01
00001386: PUSH1 0xa0
00001388: SHL
00001389: SUB
0000138a: AND
0000138b: DUP2
0000138c: JUMP
0000138d: JUMPDEST
0000138e: PUSH1 0x68
00001390: DUP1
00001391: SLOAD
00001392: PUSH1 0x01
00001394: ADD
00001395: SWAP1
00001396: DUP2
00001397: SWAP1
00001398: SSTORE
00001399: PUSH1 0x00
0000139b: DUP3
0000139c: DUP2
0000139d: MSTORE
0000139e: PUSH1 0x6d
000013a0: PUSH1 0x20
000013a2: MSTORE
000013a3: PUSH1 0x40
000013a5: SWAP1
000013a6: KECCAK256
000013a7: SLOAD
000013a8: PUSH1 0xff
000013aa: AND
000013ab: ISZERO
000013ac: PUSH2 0x13e6
000013af: JUMPI
000013b0: PUSH1 0x40
000013b2: MLOAD
000013b3: PUSH3 0x461bcd
000013b7: PUSH1 0xe5
000013b9: SHL
000013ba: DUP2
000013bb: MSTORE
000013bc: PUSH1 0x04
000013be: ADD
000013bf: DUP1
000013c0: DUP1
000013c1: PUSH1 0x20
000013c3: ADD
000013c4: DUP3
000013c5: DUP2
000013c6: SUB
000013c7: DUP3
000013c8: MSTORE
000013c9: PUSH1 0x21
000013cb: DUP2
000013cc: MSTORE
000013cd: PUSH1 0x20
000013cf: ADD
000013d0: DUP1
000013d1: PUSH2 0x1fdc
000013d4: PUSH1 0x21
000013d6: SWAP2
000013d7: CODECOPY
000013d8: PUSH1 0x40
000013da: ADD
000013db: SWAP2
000013dc: POP
000013dd: POP
000013de: PUSH1 0x40
000013e0: MLOAD
000013e1: DUP1
000013e2: SWAP2
000013e3: SUB
000013e4: SWAP1
000013e5: REVERT
000013e6: JUMPDEST
000013e7: PUSH1 0x6a
000013e9: SLOAD
000013ea: CALLVALUE
000013eb: LT
000013ec: ISZERO
000013ed: PUSH2 0x143d
000013f0: JUMPI
000013f1: PUSH1 0x40
000013f3: DUP1
000013f4: MLOAD
000013f5: PUSH3 0x461bcd
000013f9: PUSH1 0xe5
000013fb: SHL
000013fc: DUP2
000013fd: MSTORE
000013fe: PUSH1 0x20
00001400: PUSH1 0x04
00001402: DUP3
00001403: ADD
00001404: MSTORE
00001405: PUSH1 0x18
00001407: PUSH1 0x24
00001409: DUP3
0000140a: ADD
0000140b: MSTORE
0000140c: PUSH32 0x696e73756666696369656e7420636f696e20616d6f756e740000000000000000
0000142d: PUSH1 0x44
0000142f: DUP3
00001430: ADD
00001431: MSTORE
00001432: SWAP1
00001433: MLOAD
00001434: SWAP1
00001435: DUP2
00001436: SWAP1
00001437: SUB
00001438: PUSH1 0x64
0000143a: ADD
0000143b: SWAP1
0000143c: REVERT
0000143d: JUMPDEST
0000143e: PUSH1 0x6a
00001440: SLOAD
00001441: CALLVALUE
00001442: SUB
00001443: PUSH1 0x00
00001445: PUSH2 0x144d
00001448: DUP5
00001449: PUSH2 0x1b34
0000144c: JUMP
0000144d: JUMPDEST
0000144e: PUSH1 0x00
00001450: DUP6
00001451: DUP2
00001452: MSTORE
00001453: PUSH1 0x6d
00001455: PUSH1 0x20
00001457: MSTORE
00001458: PUSH1 0x40
0000145a: SWAP1
0000145b: KECCAK256
0000145c: DUP1
0000145d: SLOAD
0000145e: PUSH1 0xff
00001460: NOT
00001461: AND
00001462: PUSH1 0x01
00001464: OR
00001465: SWAP1
00001466: SSTORE
00001467: SWAP1
00001468: POP
00001469: PUSH2 0x1470
0000146c: PUSH2 0x11bd
0000146f: JUMP
00001470: JUMPDEST
00001471: PUSH1 0x00
00001473: PUSH2 0x147a
00001476: PUSH2 0x10b3
00001479: JUMP
0000147a: JUMPDEST
0000147b: PUSH1 0x77
0000147d: SLOAD
0000147e: SWAP1
0000147f: SWAP2
00001480: POP
00001481: PUSH1 0x00
00001483: PUSH2 0x1492
00001486: DUP4
00001487: DUP4
00001488: PUSH4 0xffffffff
0000148d: PUSH2 0x1b27
00001490: AND
00001491: JUMP
00001492: JUMPDEST
00001493: GT
00001494: ISZERO
00001495: PUSH2 0x15a0
00001498: JUMPI
00001499: PUSH1 0x70
0000149b: SLOAD
0000149c: PUSH1 0x01
0000149e: PUSH1 0x01
000014a0: PUSH1 0xa0
000014a2: SHL
000014a3: SUB
000014a4: AND
000014a5: PUSH4 0x23b872dd
000014aa: CALLER
000014ab: ADDRESS
000014ac: PUSH2 0x14bb
000014af: DUP7
000014b0: DUP7
000014b1: PUSH4 0xffffffff
000014b6: PUSH2 0x1b27
000014b9: AND
000014ba: JUMP
000014bb: JUMPDEST
000014bc: PUSH1 0x40
000014be: MLOAD
000014bf: DUP5
000014c0: PUSH4 0xffffffff
000014c5: AND
000014c6: PUSH1 0xe0
000014c8: SHL
000014c9: DUP2
000014ca: MSTORE
000014cb: PUSH1 0x04
000014cd: ADD
000014ce: DUP1
000014cf: DUP5
000014d0: PUSH1 0x01
000014d2: PUSH1 0x01
000014d4: PUSH1 0xa0
000014d6: SHL
000014d7: SUB
000014d8: AND
000014d9: PUSH1 0x01
000014db: PUSH1 0x01
000014dd: PUSH1 0xa0
000014df: SHL
000014e0: SUB
000014e1: AND
000014e2: DUP2
000014e3: MSTORE
000014e4: PUSH1 0x20
000014e6: ADD
000014e7: DUP4
000014e8: PUSH1 0x01
000014ea: PUSH1 0x01
000014ec: PUSH1 0xa0
000014ee: SHL
000014ef: SUB
000014f0: AND
000014f1: PUSH1 0x01
000014f3: PUSH1 0x01
000014f5: PUSH1 0xa0
000014f7: SHL
000014f8: SUB
000014f9: AND
000014fa: DUP2
000014fb: MSTORE
000014fc: PUSH1 0x20
000014fe: ADD
000014ff: DUP3
00001500: DUP2
00001501: MSTORE
00001502: PUSH1 0x20
00001504: ADD
00001505: SWAP4
00001506: POP
00001507: POP
00001508: POP
00001509: POP
0000150a: PUSH1 0x20
0000150c: PUSH1 0x40
0000150e: MLOAD
0000150f: DUP1
00001510: DUP4
00001511: SUB
00001512: DUP2
00001513: PUSH1 0x00
00001515: DUP8
00001516: DUP1
00001517: EXTCODESIZE
00001518: ISZERO
00001519: DUP1
0000151a: ISZERO
0000151b: PUSH2 0x1523
0000151e: JUMPI
0000151f: PUSH1 0x00
00001521: DUP1
00001522: REVERT
00001523: JUMPDEST
00001524: POP
00001525: GAS
00001526: CALL
00001527: ISZERO
00001528: DUP1
00001529: ISZERO
0000152a: PUSH2 0x1537
0000152d: JUMPI
0000152e: RETURNDATASIZE
0000152f: PUSH1 0x00
00001531: DUP1
00001532: RETURNDATACOPY
00001533: RETURNDATASIZE
00001534: PUSH1 0x00
00001536: REVERT
00001537: JUMPDEST
00001538: POP
00001539: POP
0000153a: POP
0000153b: POP
0000153c: PUSH1 0x40
0000153e: MLOAD
0000153f: RETURNDATASIZE
00001540: PUSH1 0x20
00001542: DUP2
00001543: LT
00001544: ISZERO
00001545: PUSH2 0x154d
00001548: JUMPI
00001549: PUSH1 0x00
0000154b: DUP1
0000154c: REVERT
0000154d: JUMPDEST
0000154e: POP
0000154f: MLOAD
00001550: PUSH2 0x15a0
00001553: JUMPI
00001554: PUSH1 0x40
00001556: DUP1
00001557: MLOAD
00001558: PUSH3 0x461bcd
0000155c: PUSH1 0xe5
0000155e: SHL
0000155f: DUP2
00001560: MSTORE
00001561: PUSH1 0x20
00001563: PUSH1 0x04
00001565: DUP3
00001566: ADD
00001567: MSTORE
00001568: PUSH1 0x1a
0000156a: PUSH1 0x24
0000156c: DUP3
0000156d: ADD
0000156e: MSTORE
0000156f: PUSH32 0x696e73756666696369656e742043594320616c6c6f77616e6365000000000000
00001590: PUSH1 0x44
00001592: DUP3
00001593: ADD
00001594: MSTORE
00001595: SWAP1
00001596: MLOAD
00001597: SWAP1
00001598: DUP2
00001599: SWAP1
0000159a: SUB
0000159b: PUSH1 0x64
0000159d: ADD
0000159e: SWAP1
0000159f: REVERT
000015a0: JUMPDEST
000015a1: DUP1
000015a2: ISZERO
000015a3: PUSH2 0x16a0
000015a6: JUMPI
000015a7: PUSH1 0x71
000015a9: SLOAD
000015aa: PUSH1 0x01
000015ac: PUSH1 0x01
000015ae: PUSH1 0xa0
000015b0: SHL
000015b1: SUB
000015b2: AND
000015b3: DUP1
000015b4: PUSH2 0x1687
000015b7: JUMPI
000015b8: PUSH1 0x70
000015ba: SLOAD
000015bb: PUSH1 0x40
000015bd: DUP1
000015be: MLOAD
000015bf: PUSH4 0x0852cd8d
000015c4: PUSH1 0xe3
000015c6: SHL
000015c7: DUP2
000015c8: MSTORE
000015c9: PUSH1 0x04
000015cb: DUP2
000015cc: ADD
000015cd: DUP6
000015ce: SWAP1
000015cf: MSTORE
000015d0: SWAP1
000015d1: MLOAD
000015d2: PUSH1 0x01
000015d4: PUSH1 0x01
000015d6: PUSH1 0xa0
000015d8: SHL
000015d9: SUB
000015da: SWAP1
000015db: SWAP3
000015dc: AND
000015dd: SWAP2
000015de: PUSH4 0x42966c68
000015e3: SWAP2
000015e4: PUSH1 0x24
000015e6: DUP1
000015e7: DUP3
000015e8: ADD
000015e9: SWAP3
000015ea: PUSH1 0x20
000015ec: SWAP3
000015ed: SWAP1
000015ee: SWAP2
000015ef: SWAP1
000015f0: DUP3
000015f1: SWAP1
000015f2: SUB
000015f3: ADD
000015f4: DUP2
000015f5: PUSH1 0x00
000015f7: DUP8
000015f8: DUP1
000015f9: EXTCODESIZE
000015fa: ISZERO
000015fb: DUP1
000015fc: ISZERO
000015fd: PUSH2 0x1605
00001600: JUMPI
00001601: PUSH1 0x00
00001603: DUP1
00001604: REVERT
00001605: JUMPDEST
00001606: POP
00001607: GAS
00001608: CALL
00001609: ISZERO
0000160a: DUP1
0000160b: ISZERO
0000160c: PUSH2 0x1619
0000160f: JUMPI
00001610: RETURNDATASIZE
00001611: PUSH1 0x00
00001613: DUP1
00001614: RETURNDATACOPY
00001615: RETURNDATASIZE
00001616: PUSH1 0x00
00001618: REVERT
00001619: JUMPDEST
0000161a: POP
0000161b: POP
0000161c: POP
0000161d: POP
0000161e: PUSH1 0x40
00001620: MLOAD
00001621: RETURNDATASIZE
00001622: PUSH1 0x20
00001624: DUP2
00001625: LT
00001626: ISZERO
00001627: PUSH2 0x162f
0000162a: JUMPI
0000162b: PUSH1 0x00
0000162d: DUP1
0000162e: REVERT
0000162f: JUMPDEST
00001630: POP
00001631: MLOAD
00001632: PUSH2 0x1682
00001635: JUMPI
00001636: PUSH1 0x40
00001638: DUP1
00001639: MLOAD
0000163a: PUSH3 0x461bcd
0000163e: PUSH1 0xe5
00001640: SHL
00001641: DUP2
00001642: MSTORE
00001643: PUSH1 0x20
00001645: PUSH1 0x04
00001647: DUP3
00001648: ADD
00001649: MSTORE
0000164a: PUSH1 0x1c
0000164c: PUSH1 0x24
0000164e: DUP3
0000164f: ADD
00001650: MSTORE
00001651: PUSH32 0x6661696c656420746f206275726e20616e6f6e796d6974792066656500000000
00001672: PUSH1 0x44
00001674: DUP3
00001675: ADD
00001676: MSTORE
00001677: SWAP1
00001678: MLOAD
00001679: SWAP1
0000167a: DUP2
0000167b: SWAP1
0000167c: SUB
0000167d: PUSH1 0x64
0000167f: ADD
00001680: SWAP1
00001681: REVERT
00001682: JUMPDEST
00001683: PUSH2 0x169e
00001686: JUMP
00001687: JUMPDEST
00001688: PUSH1 0x70
0000168a: SLOAD
0000168b: PUSH2 0x169e
0000168e: SWAP1
0000168f: PUSH1 0x01
00001691: PUSH1 0x01
00001693: PUSH1 0xa0
00001695: SHL
00001696: SUB
00001697: AND
00001698: DUP3
00001699: DUP5
0000169a: PUSH2 0x197c
0000169d: JUMP
0000169e: JUMPDEST
0000169f: POP
000016a0: JUMPDEST
000016a1: PUSH1 0x69
000016a3: SLOAD
000016a4: DUP1
000016a5: ISZERO
000016a6: PUSH2 0x16c7
000016a9: JUMPI
000016aa: PUSH1 0x6f
000016ac: SLOAD
000016ad: PUSH2 0x16c7
000016b0: SWAP1
000016b1: PUSH1 0x01
000016b3: PUSH1 0x01
000016b5: PUSH1 0xa0
000016b7: SHL
000016b8: SUB
000016b9: AND
000016ba: CALLER
000016bb: ADDRESS
000016bc: DUP5
000016bd: PUSH4 0xffffffff
000016c2: PUSH2 0x1ccb
000016c5: AND
000016c6: JUMP
000016c7: JUMPDEST
000016c8: PUSH1 0x76
000016ca: DUP1
000016cb: SLOAD
000016cc: DUP5
000016cd: ADD
000016ce: SWAP1
000016cf: SSTORE
000016d0: PUSH1 0x73
000016d2: DUP1
000016d3: SLOAD
000016d4: PUSH1 0x01
000016d6: ADD
000016d7: SWAP1
000016d8: SSTORE
000016d9: DUP5
000016da: ISZERO
000016db: PUSH2 0x1770
000016de: JUMPI
000016df: PUSH1 0x40
000016e1: MLOAD
000016e2: PUSH1 0x00
000016e4: SWAP1
000016e5: CALLER
000016e6: SWAP1
000016e7: DUP8
000016e8: SWAP1
000016e9: DUP4
000016ea: DUP2
000016eb: DUP2
000016ec: DUP2
000016ed: DUP6
000016ee: DUP8
000016ef: GAS
000016f0: CALL
000016f1: SWAP3
000016f2: POP
000016f3: POP
000016f4: POP
000016f5: RETURNDATASIZE
000016f6: DUP1
000016f7: PUSH1 0x00
000016f9: DUP2
000016fa: EQ
000016fb: PUSH2 0x1720
000016fe: JUMPI
000016ff: PUSH1 0x40
00001701: MLOAD
00001702: SWAP2
00001703: POP
00001704: PUSH1 0x1f
00001706: NOT
00001707: PUSH1 0x3f
00001709: RETURNDATASIZE
0000170a: ADD
0000170b: AND
0000170c: DUP3
0000170d: ADD
0000170e: PUSH1 0x40
00001710: MSTORE
00001711: RETURNDATASIZE
00001712: DUP3
00001713: MSTORE
00001714: RETURNDATASIZE
00001715: PUSH1 0x00
00001717: PUSH1 0x20
00001719: DUP5
0000171a: ADD
0000171b: RETURNDATACOPY
0000171c: PUSH2 0x1725
0000171f: JUMP
00001720: JUMPDEST
00001721: PUSH1 0x60
00001723: SWAP2
00001724: POP
00001725: JUMPDEST
00001726: POP
00001727: POP
00001728: SWAP1
00001729: POP
0000172a: DUP1
0000172b: PUSH2 0x176e
0000172e: JUMPI
0000172f: PUSH1 0x40
00001731: DUP1
00001732: MLOAD
00001733: PUSH3 0x461bcd
00001737: PUSH1 0xe5
00001739: SHL
0000173a: DUP2
0000173b: MSTORE
0000173c: PUSH1 0x20
0000173e: PUSH1 0x04
00001740: DUP3
00001741: ADD
00001742: MSTORE
00001743: PUSH1 0x10
00001745: PUSH1 0x24
00001747: DUP3
00001748: ADD
00001749: MSTORE
0000174a: PUSH16 0x19985a5b1959081d1bc81c99599d5b99
0000175b: PUSH1 0x82
0000175d: SHL
0000175e: PUSH1 0x44
00001760: DUP3
00001761: ADD
00001762: MSTORE
00001763: SWAP1
00001764: MLOAD
00001765: SWAP1
00001766: DUP2
00001767: SWAP1
00001768: SUB
00001769: PUSH1 0x64
0000176b: ADD
0000176c: SWAP1
0000176d: REVERT
0000176e: JUMPDEST
0000176f: POP
00001770: JUMPDEST
00001771: PUSH1 0x40
00001773: DUP1
00001774: MLOAD
00001775: PUSH4 0xffffffff
0000177a: DUP7
0000177b: AND
0000177c: DUP2
0000177d: MSTORE
0000177e: TIMESTAMP
0000177f: PUSH1 0x20
00001781: DUP3
00001782: ADD
00001783: MSTORE
00001784: DUP1
00001785: DUP3
00001786: ADD
00001787: DUP6
00001788: SWAP1
00001789: MSTORE
0000178a: PUSH1 0x60
0000178c: DUP2
0000178d: ADD
0000178e: DUP5
0000178f: SWAP1
00001790: MSTORE
00001791: SWAP1
00001792: MLOAD
00001793: DUP9
00001794: SWAP2
00001795: PUSH32 0xcb186cc0add5be357ae2d3845e42be2ffbed8cb23b60f1b058ea371adff0a363
000017b6: SWAP2
000017b7: SWAP1
000017b8: DUP2
000017b9: SWAP1
000017ba: SUB
000017bb: PUSH1 0x80
000017bd: ADD
000017be: SWAP1
000017bf: LOG2
000017c0: POP
000017c1: POP
000017c2: POP
000017c3: POP
000017c4: POP
000017c5: PUSH1 0x68
000017c7: SLOAD
000017c8: DUP2
000017c9: EQ
000017ca: PUSH2 0x181a
000017cd: JUMPI
000017ce: PUSH1 0x40
000017d0: DUP1
000017d1: MLOAD
000017d2: PUSH3 0x461bcd
000017d6: PUSH1 0xe5
000017d8: SHL
000017d9: DUP2
000017da: MSTORE
000017db: PUSH1 0x20
000017dd: PUSH1 0x04
000017df: DUP3
000017e0: ADD
000017e1: MSTORE
000017e2: PUSH1 0x1f
000017e4: PUSH1 0x24
000017e6: DUP3
000017e7: ADD
000017e8: MSTORE
000017e9: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000180a: PUSH1 0x44
0000180c: DUP3
0000180d: ADD
0000180e: MSTORE
0000180f: SWAP1
00001810: MLOAD
00001811: SWAP1
00001812: DUP2
00001813: SWAP1
00001814: SUB
00001815: PUSH1 0x64
00001817: ADD
00001818: SWAP1
00001819: REVERT
0000181a: JUMPDEST
0000181b: POP
0000181c: POP
0000181d: JUMP
0000181e: JUMPDEST
0000181f: PUSH1 0x03
00001821: SLOAD
00001822: PUSH1 0x00
00001824: SWAP1
00001825: PUSH1 0x04
00001827: SWAP1
00001828: PUSH4 0xffffffff
0000182d: AND
0000182e: PUSH1 0x64
00001830: DUP2
00001831: LT
00001832: PUSH2 0x1837
00001835: JUMPI
00001836: INVALID
00001837: JUMPDEST
00001838: ADD
00001839: SLOAD
0000183a: SWAP1
0000183b: POP
0000183c: SWAP1
0000183d: JUMP
0000183e: JUMPDEST
0000183f: PUSH1 0x72
00001841: SLOAD
00001842: PUSH1 0x01
00001844: PUSH1 0x01
00001846: PUSH1 0xa0
00001848: SHL
00001849: SUB
0000184a: AND
0000184b: CALLER
0000184c: EQ
0000184d: PUSH2 0x1887
00001850: JUMPI
00001851: PUSH1 0x40
00001853: MLOAD
00001854: PUSH3 0x461bcd
00001858: PUSH1 0xe5
0000185a: SHL
0000185b: DUP2
0000185c: MSTORE
0000185d: PUSH1 0x04
0000185f: ADD
00001860: DUP1
00001861: DUP1
00001862: PUSH1 0x20
00001864: ADD
00001865: DUP3
00001866: DUP2
00001867: SUB
00001868: DUP3
00001869: MSTORE
0000186a: PUSH1 0x2b
0000186c: DUP2
0000186d: MSTORE
0000186e: PUSH1 0x20
00001870: ADD
00001871: DUP1
00001872: PUSH2 0x2027
00001875: PUSH1 0x2b
00001877: SWAP2
00001878: CODECOPY
00001879: PUSH1 0x40
0000187b: ADD
0000187c: SWAP2
0000187d: POP
0000187e: POP
0000187f: PUSH1 0x40
00001881: MLOAD
00001882: DUP1
00001883: SWAP2
00001884: SUB
00001885: SWAP1
00001886: REVERT
00001887: JUMPDEST
00001888: PUSH2 0x188f
0000188b: PUSH2 0x11bd
0000188e: JUMP
0000188f: JUMPDEST
00001890: PUSH1 0x75
00001892: SLOAD
00001893: PUSH1 0x40
00001895: DUP1
00001896: MLOAD
00001897: SWAP2
00001898: DUP3
00001899: MSTORE
0000189a: PUSH1 0x20
0000189c: DUP3
0000189d: ADD
0000189e: DUP4
0000189f: SWAP1
000018a0: MSTORE
000018a1: DUP1
000018a2: MLOAD
000018a3: PUSH32 0x842e6f2b482c6f39924c8be7b71d40631362ef78f833f0371ceb2649edc5fb10
000018c4: SWAP3
000018c5: DUP2
000018c6: SWAP1
000018c7: SUB
000018c8: SWAP1
000018c9: SWAP2
000018ca: ADD
000018cb: SWAP1
000018cc: LOG1
000018cd: PUSH1 0x75
000018cf: SSTORE
000018d0: JUMP
000018d1: JUMPDEST
000018d2: PUSH1 0x04
000018d4: DUP2
000018d5: PUSH1 0x64
000018d7: DUP2
000018d8: LT
000018d9: PUSH2 0x18de
000018dc: JUMPI
000018dd: INVALID
000018de: JUMPDEST
000018df: ADD
000018e0: SLOAD
000018e1: SWAP1
000018e2: POP
000018e3: DUP2
000018e4: JUMP
000018e5: JUMPDEST
000018e6: PUSH1 0x64
000018e8: DUP2
000018e9: JUMP
000018ea: JUMPDEST
000018eb: PUSH1 0x6b
000018ed: SLOAD
000018ee: DUP2
000018ef: JUMP
000018f0: JUMPDEST
000018f1: PUSH1 0x00
000018f3: SWAP1
000018f4: DUP2
000018f5: MSTORE
000018f6: PUSH1 0x6c
000018f8: PUSH1 0x20
000018fa: MSTORE
000018fb: PUSH1 0x40
000018fd: SWAP1
000018fe: KECCAK256
000018ff: SLOAD
00001900: PUSH1 0xff
00001902: AND
00001903: SWAP1
00001904: JUMP
00001905: JUMPDEST
00001906: PUSH1 0x02
00001908: DUP2
00001909: DUP2
0000190a: SLOAD
0000190b: DUP2
0000190c: LT
0000190d: PUSH2 0x1912
00001910: JUMPI
00001911: INVALID
00001912: JUMPDEST
00001913: PUSH1 0x00
00001915: SWAP2
00001916: DUP3
00001917: MSTORE
00001918: PUSH1 0x20
0000191a: SWAP1
0000191b: SWAP2
0000191c: KECCAK256
0000191d: ADD
0000191e: SLOAD
0000191f: SWAP1
00001920: POP
00001921: DUP2
00001922: JUMP
00001923: JUMPDEST
00001924: PUSH32 0x2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c
00001945: DUP2
00001946: JUMP
00001947: JUMPDEST
00001948: PUSH1 0x01
0000194a: DUP2
0000194b: DUP2
0000194c: SLOAD
0000194d: DUP2
0000194e: LT
0000194f: PUSH2 0x1912
00001952: JUMPI
00001953: INVALID
00001954: JUMPDEST
00001955: PUSH1 0x6f
00001957: SLOAD
00001958: PUSH1 0x01
0000195a: PUSH1 0x01
0000195c: PUSH1 0xa0
0000195e: SHL
0000195f: SUB
00001960: AND
00001961: DUP2
00001962: JUMP
00001963: JUMPDEST
00001964: PUSH1 0x03
00001966: SLOAD
00001967: PUSH1 0x01
00001969: PUSH1 0x20
0000196b: SHL
0000196c: SWAP1
0000196d: DIV
0000196e: PUSH4 0xffffffff
00001973: AND
00001974: DUP2
00001975: JUMP
00001976: JUMPDEST
00001977: EXTCODESIZE
00001978: ISZERO
00001979: ISZERO
0000197a: SWAP1
0000197b: JUMP
0000197c: JUMPDEST
0000197d: PUSH1 0x40
0000197f: DUP1
00001980: MLOAD
00001981: PUSH4 0x70a08231
00001986: PUSH1 0xe0
00001988: SHL
00001989: DUP2
0000198a: MSTORE
0000198b: ADDRESS
0000198c: PUSH1 0x04
0000198e: DUP3
0000198f: ADD
00001990: MSTORE
00001991: SWAP1
00001992: MLOAD
00001993: PUSH1 0x00
00001995: SWAP2
00001996: PUSH1 0x01
00001998: PUSH1 0x01
0000199a: PUSH1 0xa0
0000199c: SHL
0000199d: SUB
0000199e: DUP7
0000199f: AND
000019a0: SWAP2
000019a1: PUSH4 0x70a08231
000019a6: SWAP2
000019a7: PUSH1 0x24
000019a9: DUP1
000019aa: DUP3
000019ab: ADD
000019ac: SWAP3
000019ad: PUSH1 0x20
000019af: SWAP3
000019b0: SWAP1
000019b1: SWAP2
000019b2: SWAP1
000019b3: DUP3
000019b4: SWAP1
000019b5: SUB
000019b6: ADD
000019b7: DUP2
000019b8: DUP7
000019b9: DUP1
000019ba: EXTCODESIZE
000019bb: ISZERO
000019bc: DUP1
000019bd: ISZERO
000019be: PUSH2 0x19c6
000019c1: JUMPI
000019c2: PUSH1 0x00
000019c4: DUP1
000019c5: REVERT
000019c6: JUMPDEST
000019c7: POP
000019c8: GAS
000019c9: STATICCALL
000019ca: ISZERO
000019cb: DUP1
000019cc: ISZERO
000019cd: PUSH2 0x19da
000019d0: JUMPI
000019d1: RETURNDATASIZE
000019d2: PUSH1 0x00
000019d4: DUP1
000019d5: RETURNDATACOPY
000019d6: RETURNDATASIZE
000019d7: PUSH1 0x00
000019d9: REVERT
000019da: JUMPDEST
000019db: POP
000019dc: POP
000019dd: POP
000019de: POP
000019df: PUSH1 0x40
000019e1: MLOAD
000019e2: RETURNDATASIZE
000019e3: PUSH1 0x20
000019e5: DUP2
000019e6: LT
000019e7: ISZERO
000019e8: PUSH2 0x19f0
000019eb: JUMPI
000019ec: PUSH1 0x00
000019ee: DUP1
000019ef: REVERT
000019f0: JUMPDEST
000019f1: POP
000019f2: MLOAD
000019f3: SWAP1
000019f4: POP
000019f5: DUP1
000019f6: DUP3
000019f7: GT
000019f8: ISZERO
000019f9: PUSH2 0x1a1b
000019fc: JUMPI
000019fd: PUSH2 0x1a16
00001a00: PUSH1 0x01
00001a02: PUSH1 0x01
00001a04: PUSH1 0xa0
00001a06: SHL
00001a07: SUB
00001a08: DUP6
00001a09: AND
00001a0a: DUP5
00001a0b: DUP4
00001a0c: PUSH4 0xffffffff
00001a11: PUSH2 0x1d25
00001a14: AND
00001a15: JUMP
00001a16: JUMPDEST
00001a17: PUSH2 0x1a35
00001a1a: JUMP
00001a1b: JUMPDEST
00001a1c: PUSH2 0x1a35
00001a1f: PUSH1 0x01
00001a21: PUSH1 0x01
00001a23: PUSH1 0xa0
00001a25: SHL
00001a26: SUB
00001a27: DUP6
00001a28: AND
00001a29: DUP5
00001a2a: DUP5
00001a2b: PUSH4 0xffffffff
00001a30: PUSH2 0x1d25
00001a33: AND
00001a34: JUMP
00001a35: JUMPDEST
00001a36: POP
00001a37: POP
00001a38: POP
00001a39: POP
00001a3a: JUMP
00001a3b: JUMPDEST
00001a3c: PUSH1 0x00
00001a3e: DUP2
00001a3f: DUP4
00001a40: DUP2
00001a41: PUSH2 0x1a46
00001a44: JUMPI
00001a45: INVALID
00001a46: JUMPDEST
00001a47: DIV
00001a48: SWAP4
00001a49: SWAP3
00001a4a: POP
00001a4b: POP
00001a4c: POP
00001a4d: JUMP
00001a4e: JUMPDEST
00001a4f: PUSH1 0x00
00001a51: DUP1
00001a52: PUSH2 0x1a78
00001a55: PUSH1 0x75
00001a57: SLOAD
00001a58: PUSH2 0x1a6c
00001a5b: PUSH1 0x74
00001a5d: SLOAD
00001a5e: NUMBER
00001a5f: PUSH2 0x1d7c
00001a62: SWAP1
00001a63: SWAP2
00001a64: SWAP1
00001a65: PUSH4 0xffffffff
00001a6a: AND
00001a6b: JUMP
00001a6c: JUMPDEST
00001a6d: SWAP1
00001a6e: PUSH4 0xffffffff
00001a73: PUSH2 0x1d8e
00001a76: AND
00001a77: JUMP
00001a78: JUMPDEST
00001a79: PUSH1 0x76
00001a7b: SLOAD
00001a7c: PUSH1 0x70
00001a7e: SLOAD
00001a7f: PUSH1 0x40
00001a81: DUP1
00001a82: MLOAD
00001a83: PUSH4 0x70a08231
00001a88: PUSH1 0xe0
00001a8a: SHL
00001a8b: DUP2
00001a8c: MSTORE
00001a8d: ADDRESS
00001a8e: PUSH1 0x04
00001a90: DUP3
00001a91: ADD
00001a92: MSTORE
00001a93: SWAP1
00001a94: MLOAD
00001a95: SWAP4
00001a96: SWAP5
00001a97: POP
00001a98: PUSH1 0x00
00001a9a: SWAP4
00001a9b: PUSH2 0x1b06
00001a9e: SWAP4
00001a9f: SWAP3
00001aa0: PUSH1 0x01
00001aa2: PUSH1 0x01
00001aa4: PUSH1 0xa0
00001aa6: SHL
00001aa7: SUB
00001aa8: AND
00001aa9: SWAP2
00001aaa: PUSH4 0x70a08231
00001aaf: SWAP2
00001ab0: PUSH1 0x24
00001ab2: DUP1
00001ab3: DUP4
00001ab4: ADD
00001ab5: SWAP3
00001ab6: PUSH1 0x20
00001ab8: SWAP3
00001ab9: SWAP2
00001aba: SWAP1
00001abb: DUP3
00001abc: SWAP1
00001abd: SUB
00001abe: ADD
00001abf: DUP2
00001ac0: DUP7
00001ac1: DUP1
00001ac2: EXTCODESIZE
00001ac3: ISZERO
00001ac4: DUP1
00001ac5: ISZERO
00001ac6: PUSH2 0x1ace
00001ac9: JUMPI
00001aca: PUSH1 0x00
00001acc: DUP1
00001acd: REVERT
00001ace: JUMPDEST
00001acf: POP
00001ad0: GAS
00001ad1: STATICCALL
00001ad2: ISZERO
00001ad3: DUP1
00001ad4: ISZERO
00001ad5: PUSH2 0x1ae2
00001ad8: JUMPI
00001ad9: RETURNDATASIZE
00001ada: PUSH1 0x00
00001adc: DUP1
00001add: RETURNDATACOPY
00001ade: RETURNDATASIZE
00001adf: PUSH1 0x00
00001ae1: REVERT
00001ae2: JUMPDEST
00001ae3: POP
00001ae4: POP
00001ae5: POP
00001ae6: POP
00001ae7: PUSH1 0x40
00001ae9: MLOAD
00001aea: RETURNDATASIZE
00001aeb: PUSH1 0x20
00001aed: DUP2
00001aee: LT
00001aef: ISZERO
00001af0: PUSH2 0x1af8
00001af3: JUMPI
00001af4: PUSH1 0x00
00001af6: DUP1
00001af7: REVERT
00001af8: JUMPDEST
00001af9: POP
00001afa: MLOAD
00001afb: SWAP1
00001afc: PUSH4 0xffffffff
00001b01: PUSH2 0x1d7c
00001b04: AND
00001b05: JUMP
00001b06: JUMPDEST
00001b07: SWAP1
00001b08: POP
00001b09: DUP2
00001b0a: DUP2
00001b0b: LT
00001b0c: ISZERO
00001b0d: PUSH2 0x1b14
00001b10: JUMPI
00001b11: DUP1
00001b12: SWAP2
00001b13: POP
00001b14: JUMPDEST
00001b15: PUSH1 0x76
00001b17: SLOAD
00001b18: PUSH2 0x1119
00001b1b: SWAP1
00001b1c: DUP4
00001b1d: PUSH4 0xffffffff
00001b22: PUSH2 0x1b27
00001b25: AND
00001b26: JUMP
00001b27: JUMPDEST
00001b28: DUP2
00001b29: DUP2
00001b2a: ADD
00001b2b: DUP3
00001b2c: DUP2
00001b2d: LT
00001b2e: ISZERO
00001b2f: PUSH2 0x1065
00001b32: JUMPI
00001b33: INVALID
00001b34: JUMPDEST
00001b35: PUSH1 0x03
00001b37: SLOAD
00001b38: PUSH1 0x00
00001b3a: DUP1
00001b3b: SLOAD
00001b3c: SWAP1
00001b3d: SWAP2
00001b3e: PUSH4 0xffffffff
00001b43: PUSH1 0x01
00001b45: PUSH1 0x20
00001b47: SHL
00001b48: SWAP1
00001b49: SWAP2
00001b4a: DIV
00001b4b: DUP2
00001b4c: AND
00001b4d: SWAP2
00001b4e: DUP2
00001b4f: AND
00001b50: PUSH1 0x02
00001b52: EXP
00001b53: AND
00001b54: DUP2
00001b55: EQ
00001b56: ISZERO
00001b57: PUSH2 0x1b91
00001b5a: JUMPI
00001b5b: PUSH1 0x40
00001b5d: MLOAD
00001b5e: PUSH3 0x461bcd
00001b62: PUSH1 0xe5
00001b64: SHL
00001b65: DUP2
00001b66: MSTORE
00001b67: PUSH1 0x04
00001b69: ADD
00001b6a: DUP1
00001b6b: DUP1
00001b6c: PUSH1 0x20
00001b6e: ADD
00001b6f: DUP3
00001b70: DUP2
00001b71: SUB
00001b72: DUP3
00001b73: MSTORE
00001b74: PUSH1 0x2f
00001b76: DUP2
00001b77: MSTORE
00001b78: PUSH1 0x20
00001b7a: ADD
00001b7b: DUP1
00001b7c: PUSH2 0x1f6c
00001b7f: PUSH1 0x2f
00001b81: SWAP2
00001b82: CODECOPY
00001b83: PUSH1 0x40
00001b85: ADD
00001b86: SWAP2
00001b87: POP
00001b88: POP
00001b89: PUSH1 0x40
00001b8b: MLOAD
00001b8c: DUP1
00001b8d: SWAP2
00001b8e: SUB
00001b8f: SWAP1
00001b90: REVERT
00001b91: JUMPDEST
00001b92: PUSH1 0x03
00001b94: DUP1
00001b95: SLOAD
00001b96: PUSH4 0xffffffff
00001b9b: PUSH1 0x01
00001b9d: PUSH1 0x20
00001b9f: SHL
00001ba0: DUP1
00001ba1: DUP4
00001ba2: DIV
00001ba3: DUP3
00001ba4: AND
00001ba5: PUSH1 0x01
00001ba7: ADD
00001ba8: SWAP1
00001ba9: SWAP2
00001baa: AND
00001bab: MUL
00001bac: PUSH8 0xffffffff00000000
00001bb5: NOT
00001bb6: SWAP1
00001bb7: SWAP2
00001bb8: AND
00001bb9: OR
00001bba: SWAP1
00001bbb: SSTORE
00001bbc: DUP3
00001bbd: PUSH1 0x00
00001bbf: DUP1
00001bc0: DUP1
00001bc1: JUMPDEST
00001bc2: PUSH1 0x00
00001bc4: SLOAD
00001bc5: PUSH4 0xffffffff
00001bca: SWAP1
00001bcb: DUP2
00001bcc: AND
00001bcd: SWAP1
00001bce: DUP3
00001bcf: AND
00001bd0: LT
00001bd1: ISZERO
00001bd2: PUSH2 0x1c69
00001bd5: JUMPI
00001bd6: PUSH1 0x01
00001bd8: DUP6
00001bd9: AND
00001bda: PUSH2 0x1c25
00001bdd: JUMPI
00001bde: DUP4
00001bdf: SWAP3
00001be0: POP
00001be1: PUSH1 0x02
00001be3: DUP2
00001be4: PUSH4 0xffffffff
00001be9: AND
00001bea: DUP2
00001beb: SLOAD
00001bec: DUP2
00001bed: LT
00001bee: PUSH2 0x1bf3
00001bf1: JUMPI
00001bf2: INVALID
00001bf3: JUMPDEST
00001bf4: SWAP1
00001bf5: PUSH1 0x00
00001bf7: MSTORE
00001bf8: PUSH1 0x20
00001bfa: PUSH1 0x00
00001bfc: KECCAK256
00001bfd: ADD
00001bfe: SLOAD
00001bff: SWAP2
00001c00: POP
00001c01: DUP4
00001c02: PUSH1 0x01
00001c04: DUP3
00001c05: PUSH4 0xffffffff
00001c0a: AND
00001c0b: DUP2
00001c0c: SLOAD
00001c0d: DUP2
00001c0e: LT
00001c0f: PUSH2 0x1c14
00001c12: JUMPI
00001c13: INVALID
00001c14: JUMPDEST
00001c15: PUSH1 0x00
00001c17: SWAP2
00001c18: DUP3
00001c19: MSTORE
00001c1a: PUSH1 0x20
00001c1c: SWAP1
00001c1d: SWAP2
00001c1e: KECCAK256
00001c1f: ADD
00001c20: SSTORE
00001c21: PUSH2 0x1c49
00001c24: JUMP
00001c25: JUMPDEST
00001c26: PUSH1 0x01
00001c28: DUP2
00001c29: PUSH4 0xffffffff
00001c2e: AND
00001c2f: DUP2
00001c30: SLOAD
00001c31: DUP2
00001c32: LT
00001c33: PUSH2 0x1c38
00001c36: JUMPI
00001c37: INVALID
00001c38: JUMPDEST
00001c39: SWAP1
00001c3a: PUSH1 0x00
00001c3c: MSTORE
00001c3d: PUSH1 0x20
00001c3f: PUSH1 0x00
00001c41: KECCAK256
00001c42: ADD
00001c43: SLOAD
00001c44: SWAP3
00001c45: POP
00001c46: DUP4
00001c47: SWAP2
00001c48: POP
00001c49: JUMPDEST
00001c4a: PUSH2 0x1c53
00001c4d: DUP4
00001c4e: DUP4
00001c4f: PUSH2 0x0e88
00001c52: JUMP
00001c53: JUMPDEST
00001c54: SWAP4
00001c55: POP
00001c56: PUSH1 0x02
00001c58: PUSH4 0xffffffff
00001c5d: DUP7
00001c5e: AND
00001c5f: DIV
00001c60: SWAP5
00001c61: POP
00001c62: PUSH1 0x01
00001c64: ADD
00001c65: PUSH2 0x1bc1
00001c68: JUMP
00001c69: JUMPDEST
00001c6a: POP
00001c6b: PUSH1 0x03
00001c6d: SLOAD
00001c6e: PUSH1 0x64
00001c70: SWAP1
00001c71: PUSH4 0xffffffff
00001c76: SWAP1
00001c77: DUP2
00001c78: AND
00001c79: PUSH1 0x01
00001c7b: ADD
00001c7c: AND
00001c7d: PUSH1 0x03
00001c7f: DUP1
00001c80: SLOAD
00001c81: PUSH4 0xffffffff
00001c86: NOT
00001c87: AND
00001c88: SWAP3
00001c89: SWAP1
00001c8a: SWAP2
00001c8b: MOD
00001c8c: PUSH4 0xffffffff
00001c91: SWAP1
00001c92: DUP2
00001c93: AND
00001c94: SWAP3
00001c95: SWAP1
00001c96: SWAP3
00001c97: OR
00001c98: SWAP1
00001c99: DUP2
00001c9a: SWAP1
00001c9b: SSTORE
00001c9c: DUP5
00001c9d: SWAP2
00001c9e: PUSH1 0x04
00001ca0: SWAP2
00001ca1: AND
00001ca2: PUSH1 0x64
00001ca4: DUP2
00001ca5: LT
00001ca6: PUSH2 0x1cab
00001ca9: JUMPI
00001caa: INVALID
00001cab: JUMPDEST
00001cac: ADD
00001cad: SSTORE
00001cae: POP
00001caf: POP
00001cb0: PUSH1 0x03
00001cb2: SLOAD
00001cb3: PUSH1 0x01
00001cb5: PUSH1 0x20
00001cb7: SHL
00001cb8: SWAP1
00001cb9: DIV
00001cba: PUSH4 0xffffffff
00001cbf: AND
00001cc0: PUSH1 0x00
00001cc2: NOT
00001cc3: ADD
00001cc4: SWAP5
00001cc5: SWAP4
00001cc6: POP
00001cc7: POP
00001cc8: POP
00001cc9: POP
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: PUSH1 0x40
00001cce: DUP1
00001ccf: MLOAD
00001cd0: PUSH1 0x01
00001cd2: PUSH1 0x01
00001cd4: PUSH1 0xa0
00001cd6: SHL
00001cd7: SUB
00001cd8: DUP6
00001cd9: DUP2
00001cda: AND
00001cdb: PUSH1 0x24
00001cdd: DUP4
00001cde: ADD
00001cdf: MSTORE
00001ce0: DUP5
00001ce1: AND
00001ce2: PUSH1 0x44
00001ce4: DUP3
00001ce5: ADD
00001ce6: MSTORE
00001ce7: PUSH1 0x64
00001ce9: DUP1
00001cea: DUP3
00001ceb: ADD
00001cec: DUP5
00001ced: SWAP1
00001cee: MSTORE
00001cef: DUP3
00001cf0: MLOAD
00001cf1: DUP1
00001cf2: DUP4
00001cf3: SUB
00001cf4: SWAP1
00001cf5: SWAP2
00001cf6: ADD
00001cf7: DUP2
00001cf8: MSTORE
00001cf9: PUSH1 0x84
00001cfb: SWAP1
00001cfc: SWAP2
00001cfd: ADD
00001cfe: SWAP1
00001cff: SWAP2
00001d00: MSTORE
00001d01: PUSH1 0x20
00001d03: DUP2
00001d04: ADD
00001d05: DUP1
00001d06: MLOAD
00001d07: PUSH1 0x01
00001d09: PUSH1 0x01
00001d0b: PUSH1 0xe0
00001d0d: SHL
00001d0e: SUB
00001d0f: AND
00001d10: PUSH4 0x23b872dd
00001d15: PUSH1 0xe0
00001d17: SHL
00001d18: OR
00001d19: SWAP1
00001d1a: MSTORE
00001d1b: PUSH2 0x1a35
00001d1e: SWAP1
00001d1f: DUP6
00001d20: SWAP1
00001d21: PUSH2 0x1db3
00001d24: JUMP
00001d25: JUMPDEST
00001d26: PUSH1 0x40
00001d28: DUP1
00001d29: MLOAD
00001d2a: PUSH1 0x01
00001d2c: PUSH1 0x01
00001d2e: PUSH1 0xa0
00001d30: SHL
00001d31: SUB
00001d32: DUP5
00001d33: AND
00001d34: PUSH1 0x24
00001d36: DUP3
00001d37: ADD
00001d38: MSTORE
00001d39: PUSH1 0x44
00001d3b: DUP1
00001d3c: DUP3
00001d3d: ADD
00001d3e: DUP5
00001d3f: SWAP1
00001d40: MSTORE
00001d41: DUP3
00001d42: MLOAD
00001d43: DUP1
00001d44: DUP4
00001d45: SUB
00001d46: SWAP1
00001d47: SWAP2
00001d48: ADD
00001d49: DUP2
00001d4a: MSTORE
00001d4b: PUSH1 0x64
00001d4d: SWAP1
00001d4e: SWAP2
00001d4f: ADD
00001d50: SWAP1
00001d51: SWAP2
00001d52: MSTORE
00001d53: PUSH1 0x20
00001d55: DUP2
00001d56: ADD
00001d57: DUP1
00001d58: MLOAD
00001d59: PUSH1 0x01
00001d5b: PUSH1 0x01
00001d5d: PUSH1 0xe0
00001d5f: SHL
00001d60: SUB
00001d61: AND
00001d62: PUSH4 0xa9059cbb
00001d67: PUSH1 0xe0
00001d69: SHL
00001d6a: OR
00001d6b: SWAP1
00001d6c: MSTORE
00001d6d: PUSH2 0x1d77
00001d70: SWAP1
00001d71: DUP5
00001d72: SWAP1
00001d73: PUSH2 0x1db3
00001d76: JUMP
00001d77: JUMPDEST
00001d78: POP
00001d79: POP
00001d7a: POP
00001d7b: JUMP
00001d7c: JUMPDEST
00001d7d: PUSH1 0x00
00001d7f: DUP3
00001d80: DUP3
00001d81: GT
00001d82: ISZERO
00001d83: PUSH2 0x1d88
00001d86: JUMPI
00001d87: INVALID
00001d88: JUMPDEST
00001d89: POP
00001d8a: SWAP1
00001d8b: SUB
00001d8c: SWAP1
00001d8d: JUMP
00001d8e: JUMPDEST
00001d8f: PUSH1 0x00
00001d91: DUP3
00001d92: PUSH2 0x1d9d
00001d95: JUMPI
00001d96: POP
00001d97: PUSH1 0x00
00001d99: PUSH2 0x1065
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: POP
00001d9f: DUP2
00001da0: DUP2
00001da1: MUL
00001da2: DUP2
00001da3: DUP4
00001da4: DUP3
00001da5: DUP2
00001da6: PUSH2 0x1dab
00001da9: JUMPI
00001daa: INVALID
00001dab: JUMPDEST
00001dac: DIV
00001dad: EQ
00001dae: PUSH2 0x1065
00001db1: JUMPI
00001db2: INVALID
00001db3: JUMPDEST
00001db4: PUSH2 0x1dc5
00001db7: DUP3
00001db8: PUSH1 0x01
00001dba: PUSH1 0x01
00001dbc: PUSH1 0xa0
00001dbe: SHL
00001dbf: SUB
00001dc0: AND
00001dc1: PUSH2 0x1976
00001dc4: JUMP
00001dc5: JUMPDEST
00001dc6: PUSH2 0x1e16
00001dc9: JUMPI
00001dca: PUSH1 0x40
00001dcc: DUP1
00001dcd: MLOAD
00001dce: PUSH3 0x461bcd
00001dd2: PUSH1 0xe5
00001dd4: SHL
00001dd5: DUP2
00001dd6: MSTORE
00001dd7: PUSH1 0x20
00001dd9: PUSH1 0x04
00001ddb: DUP3
00001ddc: ADD
00001ddd: MSTORE
00001dde: PUSH1 0x1f
00001de0: PUSH1 0x24
00001de2: DUP3
00001de3: ADD
00001de4: MSTORE
00001de5: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
00001e06: PUSH1 0x44
00001e08: DUP3
00001e09: ADD
00001e0a: MSTORE
00001e0b: SWAP1
00001e0c: MLOAD
00001e0d: SWAP1
00001e0e: DUP2
00001e0f: SWAP1
00001e10: SUB
00001e11: PUSH1 0x64
00001e13: ADD
00001e14: SWAP1
00001e15: REVERT
00001e16: JUMPDEST
00001e17: PUSH1 0x00
00001e19: PUSH1 0x60
00001e1b: DUP4
00001e1c: PUSH1 0x01
00001e1e: PUSH1 0x01
00001e20: PUSH1 0xa0
00001e22: SHL
00001e23: SUB
00001e24: AND
00001e25: DUP4
00001e26: PUSH1 0x40
00001e28: MLOAD
00001e29: DUP1
00001e2a: DUP3
00001e2b: DUP1
00001e2c: MLOAD
00001e2d: SWAP1
00001e2e: PUSH1 0x20
00001e30: ADD
00001e31: SWAP1
00001e32: DUP1
00001e33: DUP4
00001e34: DUP4
00001e35: JUMPDEST
00001e36: PUSH1 0x20
00001e38: DUP4
00001e39: LT
00001e3a: PUSH2 0x1e54
00001e3d: JUMPI
00001e3e: DUP1
00001e3f: MLOAD
00001e40: DUP3
00001e41: MSTORE
00001e42: PUSH1 0x1f
00001e44: NOT
00001e45: SWAP1
00001e46: SWAP3
00001e47: ADD
00001e48: SWAP2
00001e49: PUSH1 0x20
00001e4b: SWAP2
00001e4c: DUP3
00001e4d: ADD
00001e4e: SWAP2
00001e4f: ADD
00001e50: PUSH2 0x1e35
00001e53: JUMP
00001e54: JUMPDEST
00001e55: PUSH1 0x01
00001e57: DUP4
00001e58: PUSH1 0x20
00001e5a: SUB
00001e5b: PUSH2 0x0100
00001e5e: EXP
00001e5f: SUB
00001e60: DUP1
00001e61: NOT
00001e62: DUP3
00001e63: MLOAD
00001e64: AND
00001e65: DUP2
00001e66: DUP5
00001e67: MLOAD
00001e68: AND
00001e69: DUP1
00001e6a: DUP3
00001e6b: OR
00001e6c: DUP6
00001e6d: MSTORE
00001e6e: POP
00001e6f: POP
00001e70: POP
00001e71: POP
00001e72: POP
00001e73: POP
00001e74: SWAP1
00001e75: POP
00001e76: ADD
00001e77: SWAP2
00001e78: POP
00001e79: POP
00001e7a: PUSH1 0x00
00001e7c: PUSH1 0x40
00001e7e: MLOAD
00001e7f: DUP1
00001e80: DUP4
00001e81: SUB
00001e82: DUP2
00001e83: PUSH1 0x00
00001e85: DUP7
00001e86: GAS
00001e87: CALL
00001e88: SWAP2
00001e89: POP
00001e8a: POP
00001e8b: RETURNDATASIZE
00001e8c: DUP1
00001e8d: PUSH1 0x00
00001e8f: DUP2
00001e90: EQ
00001e91: PUSH2 0x1eb6
00001e94: JUMPI
00001e95: PUSH1 0x40
00001e97: MLOAD
00001e98: SWAP2
00001e99: POP
00001e9a: PUSH1 0x1f
00001e9c: NOT
00001e9d: PUSH1 0x3f
00001e9f: RETURNDATASIZE
00001ea0: ADD
00001ea1: AND
00001ea2: DUP3
00001ea3: ADD
00001ea4: PUSH1 0x40
00001ea6: MSTORE
00001ea7: RETURNDATASIZE
00001ea8: DUP3
00001ea9: MSTORE
00001eaa: RETURNDATASIZE
00001eab: PUSH1 0x00
00001ead: PUSH1 0x20
00001eaf: DUP5
00001eb0: ADD
00001eb1: RETURNDATACOPY
00001eb2: PUSH2 0x1ebb
00001eb5: JUMP
00001eb6: JUMPDEST
00001eb7: PUSH1 0x60
00001eb9: SWAP2
00001eba: POP
00001ebb: JUMPDEST
00001ebc: POP
00001ebd: SWAP2
00001ebe: POP
00001ebf: SWAP2
00001ec0: POP
00001ec1: DUP2
00001ec2: PUSH2 0x1f12
00001ec5: JUMPI
00001ec6: PUSH1 0x40
00001ec8: DUP1
00001ec9: MLOAD
00001eca: PUSH3 0x461bcd
00001ece: PUSH1 0xe5
00001ed0: SHL
00001ed1: DUP2
00001ed2: MSTORE
00001ed3: PUSH1 0x20
00001ed5: PUSH1 0x04
00001ed7: DUP3
00001ed8: ADD
00001ed9: DUP2
00001eda: SWAP1
00001edb: MSTORE
00001edc: PUSH1 0x24
00001ede: DUP3
00001edf: ADD
00001ee0: MSTORE
00001ee1: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001f02: PUSH1 0x44
00001f04: DUP3
00001f05: ADD
00001f06: MSTORE
00001f07: SWAP1
00001f08: MLOAD
00001f09: SWAP1
00001f0a: DUP2
00001f0b: SWAP1
00001f0c: SUB
00001f0d: PUSH1 0x64
00001f0f: ADD
00001f10: SWAP1
00001f11: REVERT
00001f12: JUMPDEST
00001f13: DUP1
00001f14: MLOAD
00001f15: ISZERO
00001f16: PUSH2 0x1a35
00001f19: JUMPI
00001f1a: DUP1
00001f1b: DUP1
00001f1c: PUSH1 0x20
00001f1e: ADD
00001f1f: SWAP1
00001f20: MLOAD
00001f21: PUSH1 0x20
00001f23: DUP2
00001f24: LT
00001f25: ISZERO
00001f26: PUSH2 0x1f2e
00001f29: JUMPI
00001f2a: PUSH1 0x00
00001f2c: DUP1
00001f2d: REVERT
00001f2e: JUMPDEST
00001f2f: POP
00001f30: MLOAD
00001f31: PUSH2 0x1a35
00001f34: JUMPI
00001f35: PUSH1 0x40
00001f37: MLOAD
00001f38: PUSH3 0x461bcd
00001f3c: PUSH1 0xe5
00001f3e: SHL
00001f3f: DUP2
00001f40: MSTORE
00001f41: PUSH1 0x04
00001f43: ADD
00001f44: DUP1
00001f45: DUP1
00001f46: PUSH1 0x20
00001f48: ADD
00001f49: DUP3
00001f4a: DUP2
00001f4b: SUB
00001f4c: DUP3
00001f4d: MSTORE
00001f4e: PUSH1 0x2a
00001f50: DUP2
00001f51: MSTORE
00001f52: PUSH1 0x20
00001f54: ADD
00001f55: DUP1
00001f56: PUSH2 0x1ffd
00001f59: PUSH1 0x2a
00001f5b: SWAP2
00001f5c: CODECOPY
00001f5d: PUSH1 0x40
00001f5f: ADD
00001f60: SWAP2
00001f61: POP
00001f62: POP
00001f63: PUSH1 0x40
00001f65: MLOAD
00001f66: DUP1
00001f67: SWAP2
00001f68: SUB
00001f69: SWAP1
00001f6a: REVERT
00001f6b: INVALID
00001f6c: UNKNOWN(0x4D)
00001f6d: PUSH6 0x726b6c652074
00001f74: PUSH19 0x65652069732066756c6c2e204e6f206d6f7265
00001f88: KECCAK256
00001f89: PUSH13 0x656166732063616e2062652061
00001f97: PUSH5 0x6465645f72
00001f9d: PUSH10 0x6768742073686f756c64
00001fa8: KECCAK256
00001fa9: PUSH3 0x652069
00001fad: PUSH15 0x7369646520746865206669656c6430
00001fbd: PUSH5 0x4e72e131a0
00001fc3: UNKNOWN(0x29)
00001fc4: UNKNOWN(0xB8)
00001fc5: POP
00001fc6: GASLIMIT
00001fc7: UNKNOWN(0xB6)
00001fc8: DUP2
00001fc9: DUP2
00001fca: PC
00001fcb: TSTORE
00001fcc: UNKNOWN(0x28)
00001fcd: CALLER
00001fce: UNKNOWN(0xE8)
00001fcf: BASEFEE
00001fd0: PUSH26 0xb9709143e1f593f000000154686520636f6d6d69746d656e7420
00001feb: PUSH9 0x6173206265656e2073
00001ff5: PUSH22 0x626d69747465645361666545524332303a2045524332
0000200c: ADDRESS
0000200d: KECCAK256
0000200e: PUSH16 0x7065726174696f6e20646964206e6f74
0000201f: KECCAK256
00002020: PUSH20 0x7563636565644f6e6c7920476f7665726e616e63
00002035: PUSH6 0x2044414f2063
0000203c: PUSH2 0x6e20
0000203f: PUSH4 0x616c6c20
00002044: PUSH21 0x6869732066756e6374696f6e2ea265627a7a723158
0000205a: KECCAK256
0000205b: UNKNOWN(0xDC)
0000205c: CALL
0000205d: MOD
0000205e: BALANCE
0000205f: JUMP
00002060: PUSH15 0x96068ab533cab04f44033b67176a40
00002070: TIMESTAMP
00002071: EXTCODECOPY
00002072: DUP11
00002073: PUSH18 0x46ec72f39bcc7c64736f6c63430005110032

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0xcaf00f1cce640516e15ceee2dc29c68987096df3c1f59e82ac4f1001b7d3a2bc validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0xcaf00f1cce640516e15ceee2dc29c68987096df3c1f59e82ac4f1001b7d3a2bc", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe8295588", "selector": "0xe8295588", "calldata_variants": [ "0xe8295588", "0xe82955880000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xec732959", "selector": "0xec732959", "calldata_variants": [ "0xec732959", "0xec7329590000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf178e47c", "selector": "0xf178e47c", "calldata_variants": [ "0xf178e47c", "0xf178e47c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc7e9c6f", "selector": "0xfc7e9c6f", "calldata_variants": [ "0xfc7e9c6f", "0xfc7e9c6f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbb872b4a", "selector": "0xbb872b4a", "calldata_variants": [ "0xbb872b4a", "0xbb872b4a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2b40ae4", "selector": "0xc2b40ae4", "calldata_variants": [ "0xc2b40ae4", "0xc2b40ae40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcd87a3b4", "selector": "0xcd87a3b4", "calldata_variants": [ "0xcd87a3b4", "0xcd87a3b40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3989, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 4151, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 2, "untrusted_delegatecall_count": 2 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x4b55513a3ff7e2bbe95bb4bff88afffd3d5af8227d8b440144f8d71456e3a10f call_targets: 0xa38b6742cef9573f7f97c387278fa31482539c3d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4b55513a3ff7e2bbe95bb4bff88afffd3d5af8227d8b440144f8d71456e3a10f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa38b6742cef9573f7f97c387278fa31482539c3d" ], "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": "0xe8295588", "selector": "0xe8295588", "calldata_variants": [ "0xe8295588", "0xe82955880000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xec732959", "selector": "0xec732959", "calldata_variants": [ "0xec732959", "0xec7329590000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf178e47c", "selector": "0xf178e47c", "calldata_variants": [ "0xf178e47c", "0xf178e47c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc7e9c6f", "selector": "0xfc7e9c6f", "calldata_variants": [ "0xfc7e9c6f", "0xfc7e9c6f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbb872b4a", "selector": "0xbb872b4a", "calldata_variants": [ "0xbb872b4a", "0xbb872b4a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2b40ae4", "selector": "0xc2b40ae4", "calldata_variants": [ "0xc2b40ae4", "0xc2b40ae40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcd87a3b4", "selector": "0xcd87a3b4", "calldata_variants": [ "0xcd87a3b4", "0xcd87a3b40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2891, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3185, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3362, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 8, "guards_detected": [], "untrusted_call_count": 8 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x4b55513a3ff7e2bbe95bb4bff88afffd3d5af8227d8b440144f8d71456e3a10f call_targets: 0xa38b6742cef9573f7f97c387278fa31482539c3d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4b55513a3ff7e2bbe95bb4bff88afffd3d5af8227d8b440144f8d71456e3a10f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa38b6742cef9573f7f97c387278fa31482539c3d" ], "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": "0xe8295588", "selector": "0xe8295588", "calldata_variants": [ "0xe8295588", "0xe82955880000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xec732959", "selector": "0xec732959", "calldata_variants": [ "0xec732959", "0xec7329590000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf178e47c", "selector": "0xf178e47c", "calldata_variants": [ "0xf178e47c", "0xf178e47c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc7e9c6f", "selector": "0xfc7e9c6f", "calldata_variants": [ "0xfc7e9c6f", "0xfc7e9c6f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbb872b4a", "selector": "0xbb872b4a", "calldata_variants": [ "0xbb872b4a", "0xbb872b4a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2b40ae4", "selector": "0xc2b40ae4", "calldata_variants": [ "0xc2b40ae4", "0xc2b40ae40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcd87a3b4", "selector": "0xcd87a3b4", "calldata_variants": [ "0xcd87a3b4", "0xcd87a3b40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2891, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3185, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3362, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 8, "guards_detected": [] }
medium	upgradeability	cast	DELEGATECALL present	80	no	—	view evidence_json { "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns", "delegatecall_count": 2 }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 10 }