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

Analysis Run

019b477e-ab4a-7063-991f-2bb9c520ad19

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
20991 artifact.fetch complete 1 / 3 3 months ago
20992 tool.cast_disasm complete 1 / 3 3 months ago
64046 analysis.bundle complete 1 / 3 2 weeks ago
64047 capability.graph complete 1 / 3 2 weeks ago
64048 detector.run complete 1 / 3 2 weeks ago
64049 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
12
EXT*/BALANCE
9
Total opcodes
4346
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0164
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x04c6ff7c
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x0173
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x083c6323
0000002b: EQ
0000002c: PUSH2 0x01a2
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x1da93873
00000036: EQ
00000037: PUSH2 0x01c7
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x20263e87
00000041: EQ
00000042: PUSH2 0x01ec
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x4451d89f
0000004c: EQ
0000004d: PUSH2 0x021b
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x47e87fcd
00000057: EQ
00000058: PUSH2 0x0230
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x48cd4cb1
00000062: EQ
00000063: PUSH2 0x0255
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x508a8976
0000006d: EQ
0000006e: PUSH2 0x027a
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x5280c3ee
00000078: EQ
00000079: PUSH2 0x02a1
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x52cb7688
00000083: EQ
00000084: PUSH2 0x02d0
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x5651ce38
0000008e: EQ
0000008f: PUSH2 0x02ea
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x56ce4bc5
00000099: EQ
0000009a: PUSH2 0x030f
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x62ce071c
000000a4: EQ
000000a5: PUSH2 0x0335
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x6508978b
000000af: EQ
000000b0: PUSH2 0x035a
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x71b3659e
000000ba: EQ
000000bb: PUSH2 0x037f
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x7417040e
000000c5: EQ
000000c6: PUSH2 0x03a4
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x7517ea47
000000d0: EQ
000000d1: PUSH2 0x03c9
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x842a77d3
000000db: EQ
000000dc: PUSH2 0x040c
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x884ae10b
000000e6: EQ
000000e7: PUSH2 0x0443
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x8da5cb5b
000000f1: EQ
000000f2: PUSH2 0x0472
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0x904aaf8f
000000fc: EQ
000000fd: PUSH2 0x04a1
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0x9e1a4d19
00000107: EQ
00000108: PUSH2 0x04d0
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0xa41e61a4
00000112: EQ
00000113: PUSH2 0x04f5
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0xa587c9f7
0000011d: EQ
0000011e: PUSH2 0x051a
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0xb5545a3c
00000128: EQ
00000129: PUSH2 0x0549
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0xbd097e21
00000133: EQ
00000134: PUSH2 0x055e
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0xc19d93fb
0000013e: EQ
0000013f: PUSH2 0x0568
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0xd7f56ef7
00000149: EQ
0000014a: PUSH2 0x059f
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH4 0xf2fde38b
00000154: EQ
00000155: PUSH2 0x05ce
00000158: JUMPI
00000159: DUP1
0000015a: PUSH4 0xfab14b36
0000015f: EQ
00000160: PUSH2 0x05ef
00000163: JUMPI
00000164: JUMPDEST
00000165: JUMPDEST
00000166: PUSH2 0x016f
00000169: CALLER
0000016a: CALLVALUE
0000016b: PUSH2 0x0614
0000016e: JUMP
0000016f: JUMPDEST
00000170: POP
00000171: JUMPDEST
00000172: STOP
00000173: JUMPDEST
00000174: CALLVALUE
00000175: ISZERO
00000176: PUSH2 0x017e
00000179: JUMPI
0000017a: PUSH1 0x00
0000017c: DUP1
0000017d: REVERT
0000017e: JUMPDEST
0000017f: PUSH2 0x0186
00000182: PUSH2 0x09f5
00000185: JUMP
00000186: JUMPDEST
00000187: PUSH1 0x40
00000189: MLOAD
0000018a: PUSH1 0x01
0000018c: PUSH1 0xa0
0000018e: PUSH1 0x02
00000190: EXP
00000191: SUB
00000192: SWAP1
00000193: SWAP2
00000194: AND
00000195: DUP2
00000196: MSTORE
00000197: PUSH1 0x20
00000199: ADD
0000019a: PUSH1 0x40
0000019c: MLOAD
0000019d: DUP1
0000019e: SWAP2
0000019f: SUB
000001a0: SWAP1
000001a1: RETURN
000001a2: JUMPDEST
000001a3: CALLVALUE
000001a4: ISZERO
000001a5: PUSH2 0x01ad
000001a8: JUMPI
000001a9: PUSH1 0x00
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: PUSH2 0x01b5
000001b1: PUSH2 0x0a04
000001b4: JUMP
000001b5: JUMPDEST
000001b6: PUSH1 0x40
000001b8: MLOAD
000001b9: SWAP1
000001ba: DUP2
000001bb: MSTORE
000001bc: PUSH1 0x20
000001be: ADD
000001bf: PUSH1 0x40
000001c1: MLOAD
000001c2: DUP1
000001c3: SWAP2
000001c4: SUB
000001c5: SWAP1
000001c6: RETURN
000001c7: JUMPDEST
000001c8: CALLVALUE
000001c9: ISZERO
000001ca: PUSH2 0x01d2
000001cd: JUMPI
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: PUSH2 0x01b5
000001d6: PUSH2 0x0a0a
000001d9: JUMP
000001da: JUMPDEST
000001db: PUSH1 0x40
000001dd: MLOAD
000001de: SWAP1
000001df: DUP2
000001e0: MSTORE
000001e1: PUSH1 0x20
000001e3: ADD
000001e4: PUSH1 0x40
000001e6: MLOAD
000001e7: DUP1
000001e8: SWAP2
000001e9: SUB
000001ea: SWAP1
000001eb: RETURN
000001ec: JUMPDEST
000001ed: CALLVALUE
000001ee: ISZERO
000001ef: PUSH2 0x01f7
000001f2: JUMPI
000001f3: PUSH1 0x00
000001f5: DUP1
000001f6: REVERT
000001f7: JUMPDEST
000001f8: PUSH2 0x0186
000001fb: PUSH2 0x0a10
000001fe: JUMP
000001ff: JUMPDEST
00000200: PUSH1 0x40
00000202: MLOAD
00000203: PUSH1 0x01
00000205: PUSH1 0xa0
00000207: PUSH1 0x02
00000209: EXP
0000020a: SUB
0000020b: SWAP1
0000020c: SWAP2
0000020d: AND
0000020e: DUP2
0000020f: MSTORE
00000210: PUSH1 0x20
00000212: ADD
00000213: PUSH1 0x40
00000215: MLOAD
00000216: DUP1
00000217: SWAP2
00000218: SUB
00000219: SWAP1
0000021a: RETURN
0000021b: JUMPDEST
0000021c: CALLVALUE
0000021d: ISZERO
0000021e: PUSH2 0x0226
00000221: JUMPI
00000222: PUSH1 0x00
00000224: DUP1
00000225: REVERT
00000226: JUMPDEST
00000227: PUSH2 0x0171
0000022a: PUSH2 0x0a1f
0000022d: JUMP
0000022e: JUMPDEST
0000022f: STOP
00000230: JUMPDEST
00000231: CALLVALUE
00000232: ISZERO
00000233: PUSH2 0x023b
00000236: JUMPI
00000237: PUSH1 0x00
00000239: DUP1
0000023a: REVERT
0000023b: JUMPDEST
0000023c: PUSH2 0x01b5
0000023f: PUSH2 0x0c94
00000242: JUMP
00000243: JUMPDEST
00000244: PUSH1 0x40
00000246: MLOAD
00000247: SWAP1
00000248: DUP2
00000249: MSTORE
0000024a: PUSH1 0x20
0000024c: ADD
0000024d: PUSH1 0x40
0000024f: MLOAD
00000250: DUP1
00000251: SWAP2
00000252: SUB
00000253: SWAP1
00000254: RETURN
00000255: JUMPDEST
00000256: CALLVALUE
00000257: ISZERO
00000258: PUSH2 0x0260
0000025b: JUMPI
0000025c: PUSH1 0x00
0000025e: DUP1
0000025f: REVERT
00000260: JUMPDEST
00000261: PUSH2 0x01b5
00000264: PUSH2 0x0c9a
00000267: JUMP
00000268: JUMPDEST
00000269: PUSH1 0x40
0000026b: MLOAD
0000026c: SWAP1
0000026d: DUP2
0000026e: MSTORE
0000026f: PUSH1 0x20
00000271: ADD
00000272: PUSH1 0x40
00000274: MLOAD
00000275: DUP1
00000276: SWAP2
00000277: SUB
00000278: SWAP1
00000279: RETURN
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: ISZERO
0000027d: PUSH2 0x0285
00000280: JUMPI
00000281: PUSH1 0x00
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: PUSH2 0x028d
00000289: PUSH2 0x0ca0
0000028c: JUMP
0000028d: JUMPDEST
0000028e: PUSH1 0x40
00000290: MLOAD
00000291: SWAP1
00000292: ISZERO
00000293: ISZERO
00000294: DUP2
00000295: MSTORE
00000296: PUSH1 0x20
00000298: ADD
00000299: PUSH1 0x40
0000029b: MLOAD
0000029c: DUP1
0000029d: SWAP2
0000029e: SUB
0000029f: SWAP1
000002a0: RETURN
000002a1: JUMPDEST
000002a2: CALLVALUE
000002a3: ISZERO
000002a4: PUSH2 0x02ac
000002a7: JUMPI
000002a8: PUSH1 0x00
000002aa: DUP1
000002ab: REVERT
000002ac: JUMPDEST
000002ad: PUSH2 0x0186
000002b0: PUSH2 0x0cb0
000002b3: JUMP
000002b4: JUMPDEST
000002b5: PUSH1 0x40
000002b7: MLOAD
000002b8: PUSH1 0x01
000002ba: PUSH1 0xa0
000002bc: PUSH1 0x02
000002be: EXP
000002bf: SUB
000002c0: SWAP1
000002c1: SWAP2
000002c2: AND
000002c3: DUP2
000002c4: MSTORE
000002c5: PUSH1 0x20
000002c7: ADD
000002c8: PUSH1 0x40
000002ca: MLOAD
000002cb: DUP1
000002cc: SWAP2
000002cd: SUB
000002ce: SWAP1
000002cf: RETURN
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: ISZERO
000002d3: PUSH2 0x02db
000002d6: JUMPI
000002d7: PUSH1 0x00
000002d9: DUP1
000002da: REVERT
000002db: JUMPDEST
000002dc: PUSH2 0x0171
000002df: PUSH1 0x04
000002e1: CALLDATALOAD
000002e2: ISZERO
000002e3: ISZERO
000002e4: PUSH2 0x0cbf
000002e7: JUMP
000002e8: JUMPDEST
000002e9: STOP
000002ea: JUMPDEST
000002eb: CALLVALUE
000002ec: ISZERO
000002ed: PUSH2 0x02f5
000002f0: JUMPI
000002f1: PUSH1 0x00
000002f3: DUP1
000002f4: REVERT
000002f5: JUMPDEST
000002f6: PUSH2 0x01b5
000002f9: PUSH2 0x0cf9
000002fc: JUMP
000002fd: JUMPDEST
000002fe: PUSH1 0x40
00000300: MLOAD
00000301: SWAP1
00000302: DUP2
00000303: MSTORE
00000304: PUSH1 0x20
00000306: ADD
00000307: PUSH1 0x40
00000309: MLOAD
0000030a: DUP1
0000030b: SWAP2
0000030c: SUB
0000030d: SWAP1
0000030e: RETURN
0000030f: JUMPDEST
00000310: PUSH2 0x0171
00000313: PUSH1 0x01
00000315: PUSH1 0xa0
00000317: PUSH1 0x02
00000319: EXP
0000031a: SUB
0000031b: PUSH1 0x04
0000031d: CALLDATALOAD
0000031e: DUP2
0000031f: AND
00000320: SWAP1
00000321: PUSH1 0x24
00000323: CALLDATALOAD
00000324: DUP2
00000325: AND
00000326: SWAP1
00000327: PUSH1 0x44
00000329: CALLDATALOAD
0000032a: SWAP1
0000032b: PUSH1 0x64
0000032d: CALLDATALOAD
0000032e: AND
0000032f: PUSH2 0x0cff
00000332: JUMP
00000333: JUMPDEST
00000334: STOP
00000335: JUMPDEST
00000336: CALLVALUE
00000337: ISZERO
00000338: PUSH2 0x0340
0000033b: JUMPI
0000033c: PUSH1 0x00
0000033e: DUP1
0000033f: REVERT
00000340: JUMPDEST
00000341: PUSH2 0x01b5
00000344: PUSH2 0x0ed3
00000347: JUMP
00000348: JUMPDEST
00000349: PUSH1 0x40
0000034b: MLOAD
0000034c: SWAP1
0000034d: DUP2
0000034e: MSTORE
0000034f: PUSH1 0x20
00000351: ADD
00000352: PUSH1 0x40
00000354: MLOAD
00000355: DUP1
00000356: SWAP2
00000357: SUB
00000358: SWAP1
00000359: RETURN
0000035a: JUMPDEST
0000035b: CALLVALUE
0000035c: ISZERO
0000035d: PUSH2 0x0365
00000360: JUMPI
00000361: PUSH1 0x00
00000363: DUP1
00000364: REVERT
00000365: JUMPDEST
00000366: PUSH2 0x01b5
00000369: PUSH2 0x0ed9
0000036c: JUMP
0000036d: JUMPDEST
0000036e: PUSH1 0x40
00000370: MLOAD
00000371: SWAP1
00000372: DUP2
00000373: MSTORE
00000374: PUSH1 0x20
00000376: ADD
00000377: PUSH1 0x40
00000379: MLOAD
0000037a: DUP1
0000037b: SWAP2
0000037c: SUB
0000037d: SWAP1
0000037e: RETURN
0000037f: JUMPDEST
00000380: CALLVALUE
00000381: ISZERO
00000382: PUSH2 0x038a
00000385: JUMPI
00000386: PUSH1 0x00
00000388: DUP1
00000389: REVERT
0000038a: JUMPDEST
0000038b: PUSH2 0x01b5
0000038e: PUSH2 0x1045
00000391: JUMP
00000392: JUMPDEST
00000393: PUSH1 0x40
00000395: MLOAD
00000396: SWAP1
00000397: DUP2
00000398: MSTORE
00000399: PUSH1 0x20
0000039b: ADD
0000039c: PUSH1 0x40
0000039e: MLOAD
0000039f: DUP1
000003a0: SWAP2
000003a1: SUB
000003a2: SWAP1
000003a3: RETURN
000003a4: JUMPDEST
000003a5: CALLVALUE
000003a6: ISZERO
000003a7: PUSH2 0x03af
000003aa: JUMPI
000003ab: PUSH1 0x00
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: PUSH2 0x01b5
000003b3: PUSH2 0x104b
000003b6: JUMP
000003b7: JUMPDEST
000003b8: PUSH1 0x40
000003ba: MLOAD
000003bb: SWAP1
000003bc: DUP2
000003bd: MSTORE
000003be: PUSH1 0x20
000003c0: ADD
000003c1: PUSH1 0x40
000003c3: MLOAD
000003c4: DUP1
000003c5: SWAP2
000003c6: SUB
000003c7: SWAP1
000003c8: RETURN
000003c9: JUMPDEST
000003ca: CALLVALUE
000003cb: ISZERO
000003cc: PUSH2 0x03d4
000003cf: JUMPI
000003d0: PUSH1 0x00
000003d2: DUP1
000003d3: REVERT
000003d4: JUMPDEST
000003d5: PUSH2 0x0171
000003d8: PUSH1 0x04
000003da: CALLDATALOAD
000003db: PUSH1 0x24
000003dd: CALLDATALOAD
000003de: PUSH1 0x01
000003e0: PUSH1 0xa0
000003e2: PUSH1 0x02
000003e4: EXP
000003e5: SUB
000003e6: PUSH1 0x44
000003e8: CALLDATALOAD
000003e9: DUP2
000003ea: AND
000003eb: SWAP1
000003ec: PUSH1 0x64
000003ee: CALLDATALOAD
000003ef: SWAP1
000003f0: PUSH1 0x84
000003f2: CALLDATALOAD
000003f3: DUP2
000003f4: AND
000003f5: SWAP1
000003f6: PUSH1 0xa4
000003f8: CALLDATALOAD
000003f9: DUP2
000003fa: AND
000003fb: SWAP1
000003fc: PUSH1 0xc4
000003fe: CALLDATALOAD
000003ff: DUP2
00000400: AND
00000401: SWAP1
00000402: PUSH1 0xe4
00000404: CALLDATALOAD
00000405: AND
00000406: PUSH2 0x1051
00000409: JUMP
0000040a: JUMPDEST
0000040b: STOP
0000040c: JUMPDEST
0000040d: CALLVALUE
0000040e: ISZERO
0000040f: PUSH2 0x0417
00000412: JUMPI
00000413: PUSH1 0x00
00000415: DUP1
00000416: REVERT
00000417: JUMPDEST
00000418: PUSH2 0x042b
0000041b: PUSH1 0x01
0000041d: PUSH1 0xa0
0000041f: PUSH1 0x02
00000421: EXP
00000422: SUB
00000423: PUSH1 0x04
00000425: CALLDATALOAD
00000426: AND
00000427: PUSH2 0x11bd
0000042a: JUMP
0000042b: JUMPDEST
0000042c: PUSH1 0x40
0000042e: MLOAD
0000042f: SWAP2
00000430: DUP3
00000431: MSTORE
00000432: PUSH1 0x20
00000434: DUP3
00000435: ADD
00000436: MSTORE
00000437: PUSH1 0x40
00000439: SWAP1
0000043a: DUP2
0000043b: ADD
0000043c: SWAP1
0000043d: MLOAD
0000043e: DUP1
0000043f: SWAP2
00000440: SUB
00000441: SWAP1
00000442: RETURN
00000443: JUMPDEST
00000444: CALLVALUE
00000445: ISZERO
00000446: PUSH2 0x044e
00000449: JUMPI
0000044a: PUSH1 0x00
0000044c: DUP1
0000044d: REVERT
0000044e: JUMPDEST
0000044f: PUSH2 0x0186
00000452: PUSH2 0x11d6
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH1 0x40
00000459: MLOAD
0000045a: PUSH1 0x01
0000045c: PUSH1 0xa0
0000045e: PUSH1 0x02
00000460: EXP
00000461: SUB
00000462: SWAP1
00000463: SWAP2
00000464: AND
00000465: DUP2
00000466: MSTORE
00000467: PUSH1 0x20
00000469: ADD
0000046a: PUSH1 0x40
0000046c: MLOAD
0000046d: DUP1
0000046e: SWAP2
0000046f: SUB
00000470: SWAP1
00000471: RETURN
00000472: JUMPDEST
00000473: CALLVALUE
00000474: ISZERO
00000475: PUSH2 0x047d
00000478: JUMPI
00000479: PUSH1 0x00
0000047b: DUP1
0000047c: REVERT
0000047d: JUMPDEST
0000047e: PUSH2 0x0186
00000481: PUSH2 0x11e5
00000484: JUMP
00000485: JUMPDEST
00000486: PUSH1 0x40
00000488: MLOAD
00000489: PUSH1 0x01
0000048b: PUSH1 0xa0
0000048d: PUSH1 0x02
0000048f: EXP
00000490: SUB
00000491: SWAP1
00000492: SWAP2
00000493: AND
00000494: DUP2
00000495: MSTORE
00000496: PUSH1 0x20
00000498: ADD
00000499: PUSH1 0x40
0000049b: MLOAD
0000049c: DUP1
0000049d: SWAP2
0000049e: SUB
0000049f: SWAP1
000004a0: RETURN
000004a1: JUMPDEST
000004a2: CALLVALUE
000004a3: ISZERO
000004a4: PUSH2 0x04ac
000004a7: JUMPI
000004a8: PUSH1 0x00
000004aa: DUP1
000004ab: REVERT
000004ac: JUMPDEST
000004ad: PUSH2 0x0186
000004b0: PUSH2 0x11f4
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH1 0x40
000004b7: MLOAD
000004b8: PUSH1 0x01
000004ba: PUSH1 0xa0
000004bc: PUSH1 0x02
000004be: EXP
000004bf: SUB
000004c0: SWAP1
000004c1: SWAP2
000004c2: AND
000004c3: DUP2
000004c4: MSTORE
000004c5: PUSH1 0x20
000004c7: ADD
000004c8: PUSH1 0x40
000004ca: MLOAD
000004cb: DUP1
000004cc: SWAP2
000004cd: SUB
000004ce: SWAP1
000004cf: RETURN
000004d0: JUMPDEST
000004d1: CALLVALUE
000004d2: ISZERO
000004d3: PUSH2 0x04db
000004d6: JUMPI
000004d7: PUSH1 0x00
000004d9: DUP1
000004da: REVERT
000004db: JUMPDEST
000004dc: PUSH2 0x01b5
000004df: PUSH2 0x1203
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH1 0x40
000004e6: MLOAD
000004e7: SWAP1
000004e8: DUP2
000004e9: MSTORE
000004ea: PUSH1 0x20
000004ec: ADD
000004ed: PUSH1 0x40
000004ef: MLOAD
000004f0: DUP1
000004f1: SWAP2
000004f2: SUB
000004f3: SWAP1
000004f4: RETURN
000004f5: JUMPDEST
000004f6: CALLVALUE
000004f7: ISZERO
000004f8: PUSH2 0x0500
000004fb: JUMPI
000004fc: PUSH1 0x00
000004fe: DUP1
000004ff: REVERT
00000500: JUMPDEST
00000501: PUSH2 0x01b5
00000504: PUSH2 0x1209
00000507: JUMP
00000508: JUMPDEST
00000509: PUSH1 0x40
0000050b: MLOAD
0000050c: SWAP1
0000050d: DUP2
0000050e: MSTORE
0000050f: PUSH1 0x20
00000511: ADD
00000512: PUSH1 0x40
00000514: MLOAD
00000515: DUP1
00000516: SWAP2
00000517: SUB
00000518: SWAP1
00000519: RETURN
0000051a: JUMPDEST
0000051b: CALLVALUE
0000051c: ISZERO
0000051d: PUSH2 0x0525
00000520: JUMPI
00000521: PUSH1 0x00
00000523: DUP1
00000524: REVERT
00000525: JUMPDEST
00000526: PUSH2 0x0186
00000529: PUSH2 0x120f
0000052c: JUMP
0000052d: JUMPDEST
0000052e: PUSH1 0x40
00000530: MLOAD
00000531: PUSH1 0x01
00000533: PUSH1 0xa0
00000535: PUSH1 0x02
00000537: EXP
00000538: SUB
00000539: SWAP1
0000053a: SWAP2
0000053b: AND
0000053c: DUP2
0000053d: MSTORE
0000053e: PUSH1 0x20
00000540: ADD
00000541: PUSH1 0x40
00000543: MLOAD
00000544: DUP1
00000545: SWAP2
00000546: SUB
00000547: SWAP1
00000548: RETURN
00000549: JUMPDEST
0000054a: CALLVALUE
0000054b: ISZERO
0000054c: PUSH2 0x0554
0000054f: JUMPI
00000550: PUSH1 0x00
00000552: DUP1
00000553: REVERT
00000554: JUMPDEST
00000555: PUSH2 0x0171
00000558: PUSH2 0x121e
0000055b: JUMP
0000055c: JUMPDEST
0000055d: STOP
0000055e: JUMPDEST
0000055f: PUSH2 0x0171
00000562: PUSH2 0x12fa
00000565: JUMP
00000566: JUMPDEST
00000567: STOP
00000568: JUMPDEST
00000569: CALLVALUE
0000056a: ISZERO
0000056b: PUSH2 0x0573
0000056e: JUMPI
0000056f: PUSH1 0x00
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: PUSH2 0x057b
00000577: PUSH2 0x133a
0000057a: JUMP
0000057b: JUMPDEST
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: DUP1
00000580: DUP3
00000581: PUSH1 0x06
00000583: DUP2
00000584: GT
00000585: ISZERO
00000586: PUSH2 0x058b
00000589: JUMPI
0000058a: INVALID
0000058b: JUMPDEST
0000058c: PUSH1 0xff
0000058e: AND
0000058f: DUP2
00000590: MSTORE
00000591: PUSH1 0x20
00000593: ADD
00000594: SWAP2
00000595: POP
00000596: POP
00000597: PUSH1 0x40
00000599: MLOAD
0000059a: DUP1
0000059b: SWAP2
0000059c: SUB
0000059d: SWAP1
0000059e: RETURN
0000059f: JUMPDEST
000005a0: CALLVALUE
000005a1: ISZERO
000005a2: PUSH2 0x05aa
000005a5: JUMPI
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: REVERT
000005aa: JUMPDEST
000005ab: PUSH2 0x0186
000005ae: PUSH2 0x134a
000005b1: JUMP
000005b2: JUMPDEST
000005b3: PUSH1 0x40
000005b5: MLOAD
000005b6: PUSH1 0x01
000005b8: PUSH1 0xa0
000005ba: PUSH1 0x02
000005bc: EXP
000005bd: SUB
000005be: SWAP1
000005bf: SWAP2
000005c0: AND
000005c1: DUP2
000005c2: MSTORE
000005c3: PUSH1 0x20
000005c5: ADD
000005c6: PUSH1 0x40
000005c8: MLOAD
000005c9: DUP1
000005ca: SWAP2
000005cb: SUB
000005cc: SWAP1
000005cd: RETURN
000005ce: JUMPDEST
000005cf: CALLVALUE
000005d0: ISZERO
000005d1: PUSH2 0x05d9
000005d4: JUMPI
000005d5: PUSH1 0x00
000005d7: DUP1
000005d8: REVERT
000005d9: JUMPDEST
000005da: PUSH2 0x0171
000005dd: PUSH1 0x01
000005df: PUSH1 0xa0
000005e1: PUSH1 0x02
000005e3: EXP
000005e4: SUB
000005e5: PUSH1 0x04
000005e7: CALLDATALOAD
000005e8: AND
000005e9: PUSH2 0x1359
000005ec: JUMP
000005ed: JUMPDEST
000005ee: STOP
000005ef: JUMPDEST
000005f0: CALLVALUE
000005f1: ISZERO
000005f2: PUSH2 0x05fa
000005f5: JUMPI
000005f6: PUSH1 0x00
000005f8: DUP1
000005f9: REVERT
000005fa: JUMPDEST
000005fb: PUSH2 0x01b5
000005fe: PUSH2 0x13f2
00000601: JUMP
00000602: JUMPDEST
00000603: PUSH1 0x40
00000605: MLOAD
00000606: SWAP1
00000607: DUP2
00000608: MSTORE
00000609: PUSH1 0x20
0000060b: ADD
0000060c: PUSH1 0x40
0000060e: MLOAD
0000060f: DUP1
00000610: SWAP2
00000611: SUB
00000612: SWAP1
00000613: RETURN
00000614: JUMPDEST
00000615: PUSH1 0x11
00000617: SLOAD
00000618: PUSH1 0x00
0000061a: SWAP1
0000061b: DUP2
0000061c: SWAP1
0000061d: DUP2
0000061e: SWAP1
0000061f: DUP2
00000620: SWAP1
00000621: DUP2
00000622: SWAP1
00000623: DUP2
00000624: SWAP1
00000625: DUP2
00000626: SWAP1
00000627: PUSH1 0xa0
00000629: PUSH1 0x02
0000062b: EXP
0000062c: SWAP1
0000062d: DIV
0000062e: PUSH1 0xff
00000630: AND
00000631: ISZERO
00000632: PUSH2 0x063a
00000635: JUMPI
00000636: PUSH1 0x00
00000638: DUP1
00000639: REVERT
0000063a: JUMPDEST
0000063b: PUSH1 0x02
0000063d: JUMPDEST
0000063e: PUSH1 0x12
00000640: SLOAD
00000641: PUSH1 0xa0
00000643: PUSH1 0x02
00000645: EXP
00000646: SWAP1
00000647: DIV
00000648: PUSH1 0xff
0000064a: AND
0000064b: PUSH1 0x06
0000064d: DUP2
0000064e: GT
0000064f: ISZERO
00000650: PUSH2 0x0655
00000653: JUMPI
00000654: INVALID
00000655: JUMPDEST
00000656: EQ
00000657: DUP1
00000658: ISZERO
00000659: PUSH2 0x0664
0000065c: JUMPI
0000065d: POP
0000065e: PUSH1 0x0b
00000660: SLOAD
00000661: NUMBER
00000662: LT
00000663: ISZERO
00000664: JUMPDEST
00000665: ISZERO
00000666: PUSH2 0x06b4
00000669: JUMPI
0000066a: PUSH1 0x12
0000066c: DUP1
0000066d: SLOAD
0000066e: PUSH1 0x03
00000670: SWAP2
00000671: SWAP1
00000672: PUSH1 0xa0
00000674: PUSH1 0x02
00000676: EXP
00000677: PUSH1 0xff
00000679: MUL
0000067a: NOT
0000067b: AND
0000067c: PUSH1 0xa0
0000067e: PUSH1 0x02
00000680: EXP
00000681: DUP4
00000682: JUMPDEST
00000683: MUL
00000684: OR
00000685: SWAP1
00000686: SSTORE
00000687: POP
00000688: PUSH32 0x912ee23dde46ec889d6748212cce445d667f7041597691dc89e8549ad8bc0acb
000006a9: PUSH1 0x40
000006ab: MLOAD
000006ac: PUSH1 0x40
000006ae: MLOAD
000006af: DUP1
000006b0: SWAP2
000006b1: SUB
000006b2: SWAP1
000006b3: LOG1
000006b4: JUMPDEST
000006b5: PUSH1 0x03
000006b7: JUMPDEST
000006b8: PUSH1 0x12
000006ba: SLOAD
000006bb: PUSH1 0xa0
000006bd: PUSH1 0x02
000006bf: EXP
000006c0: SWAP1
000006c1: DIV
000006c2: PUSH1 0xff
000006c4: AND
000006c5: PUSH1 0x06
000006c7: DUP2
000006c8: GT
000006c9: ISZERO
000006ca: PUSH2 0x06cf
000006cd: JUMPI
000006ce: INVALID
000006cf: JUMPDEST
000006d0: EQ
000006d1: ISZERO
000006d2: PUSH2 0x06dd
000006d5: JUMPI
000006d6: PUSH2 0x06dd
000006d9: PUSH2 0x13f8
000006dc: JUMP
000006dd: JUMPDEST
000006de: JUMPDEST
000006df: PUSH1 0x03
000006e1: JUMPDEST
000006e2: PUSH1 0x12
000006e4: SLOAD
000006e5: PUSH1 0xa0
000006e7: PUSH1 0x02
000006e9: EXP
000006ea: SWAP1
000006eb: DIV
000006ec: PUSH1 0xff
000006ee: AND
000006ef: PUSH1 0x06
000006f1: DUP2
000006f2: GT
000006f3: ISZERO
000006f4: PUSH2 0x06f9
000006f7: JUMPI
000006f8: INVALID
000006f9: JUMPDEST
000006fa: EQ
000006fb: DUP1
000006fc: ISZERO
000006fd: PUSH2 0x0734
00000700: JUMPI
00000701: POP
00000702: PUSH1 0x0c
00000704: SLOAD
00000705: NUMBER
00000706: GT
00000707: DUP1
00000708: PUSH2 0x0714
0000070b: JUMPI
0000070c: POP
0000070d: PUSH1 0x07
0000070f: SLOAD
00000710: PUSH1 0x09
00000712: SLOAD
00000713: EQ
00000714: JUMPDEST
00000715: DUP1
00000716: PUSH2 0x0734
00000719: JUMPI
0000071a: POP
0000071b: PUSH1 0x04
0000071d: SLOAD
0000071e: PUSH1 0x09
00000720: SLOAD
00000721: PUSH1 0x07
00000723: SLOAD
00000724: PUSH2 0x0732
00000727: SWAP2
00000728: PUSH4 0xffffffff
0000072d: PUSH2 0x1494
00000730: AND
00000731: JUMP
00000732: JUMPDEST
00000733: LT
00000734: JUMPDEST
00000735: JUMPDEST
00000736: ISZERO
00000737: PUSH2 0x0742
0000073a: JUMPI
0000073b: PUSH2 0x0742
0000073e: PUSH2 0x14ab
00000741: JUMP
00000742: JUMPDEST
00000743: JUMPDEST
00000744: PUSH1 0x04
00000746: JUMPDEST
00000747: PUSH1 0x12
00000749: SLOAD
0000074a: PUSH1 0xa0
0000074c: PUSH1 0x02
0000074e: EXP
0000074f: SWAP1
00000750: DIV
00000751: PUSH1 0xff
00000753: AND
00000754: PUSH1 0x06
00000756: DUP2
00000757: GT
00000758: ISZERO
00000759: PUSH2 0x075e
0000075c: JUMPI
0000075d: INVALID
0000075e: JUMPDEST
0000075f: EQ
00000760: ISZERO
00000761: PUSH2 0x076c
00000764: JUMPI
00000765: PUSH2 0x076c
00000768: PUSH2 0x1530
0000076b: JUMP
0000076c: JUMPDEST
0000076d: JUMPDEST
0000076e: PUSH1 0x03
00000770: JUMPDEST
00000771: PUSH1 0x12
00000773: SLOAD
00000774: PUSH1 0xa0
00000776: PUSH1 0x02
00000778: EXP
00000779: SWAP1
0000077a: DIV
0000077b: PUSH1 0xff
0000077d: AND
0000077e: PUSH1 0x06
00000780: DUP2
00000781: GT
00000782: ISZERO
00000783: PUSH2 0x0788
00000786: JUMPI
00000787: INVALID
00000788: JUMPDEST
00000789: EQ
0000078a: PUSH2 0x0792
0000078d: JUMPI
0000078e: PUSH1 0x00
00000790: DUP1
00000791: REVERT
00000792: JUMPDEST
00000793: PUSH1 0x04
00000795: SLOAD
00000796: DUP9
00000797: LT
00000798: ISZERO
00000799: PUSH2 0x07a1
0000079c: JUMPI
0000079d: PUSH1 0x00
0000079f: DUP1
000007a0: REVERT
000007a1: JUMPDEST
000007a2: PUSH1 0x09
000007a4: SLOAD
000007a5: PUSH1 0x07
000007a7: SLOAD
000007a8: PUSH2 0x07b6
000007ab: SWAP2
000007ac: PUSH4 0xffffffff
000007b1: PUSH2 0x1494
000007b4: AND
000007b5: JUMP
000007b6: JUMPDEST
000007b7: SWAP6
000007b8: POP
000007b9: PUSH1 0x00
000007bb: SWAP5
000007bc: POP
000007bd: PUSH1 0x04
000007bf: SLOAD
000007c0: DUP9
000007c1: DUP2
000007c2: ISZERO
000007c3: ISZERO
000007c4: PUSH2 0x07c9
000007c7: JUMPI
000007c8: INVALID
000007c9: JUMPDEST
000007ca: MOD
000007cb: SWAP4
000007cc: POP
000007cd: PUSH2 0x07dc
000007d0: DUP9
000007d1: DUP6
000007d2: PUSH4 0xffffffff
000007d7: PUSH2 0x1494
000007da: AND
000007db: JUMP
000007dc: JUMPDEST
000007dd: SWAP3
000007de: POP
000007df: DUP3
000007e0: DUP7
000007e1: LT
000007e2: ISZERO
000007e3: PUSH2 0x083f
000007e6: JUMPI
000007e7: PUSH1 0x04
000007e9: SLOAD
000007ea: DUP7
000007eb: DUP2
000007ec: ISZERO
000007ed: ISZERO
000007ee: PUSH2 0x07f3
000007f1: JUMPI
000007f2: INVALID
000007f3: JUMPDEST
000007f4: MOD
000007f5: SWAP2
000007f6: POP
000007f7: PUSH2 0x0826
000007fa: PUSH2 0x0819
000007fd: DUP4
000007fe: PUSH2 0x080d
00000801: DUP7
00000802: DUP11
00000803: PUSH4 0xffffffff
00000808: PUSH2 0x1494
0000080b: AND
0000080c: JUMP
0000080d: JUMPDEST
0000080e: SWAP1
0000080f: PUSH4 0xffffffff
00000814: PUSH2 0x158a
00000817: AND
00000818: JUMP
00000819: JUMPDEST
0000081a: DUP6
0000081b: SWAP1
0000081c: PUSH4 0xffffffff
00000821: PUSH2 0x158a
00000824: AND
00000825: JUMP
00000826: JUMPDEST
00000827: SWAP4
00000828: POP
00000829: PUSH2 0x0838
0000082c: DUP7
0000082d: DUP4
0000082e: PUSH4 0xffffffff
00000833: PUSH2 0x1494
00000836: AND
00000837: JUMP
00000838: JUMPDEST
00000839: SWAP3
0000083a: POP
0000083b: PUSH1 0x01
0000083d: SWAP5
0000083e: POP
0000083f: JUMPDEST
00000840: PUSH1 0x01
00000842: PUSH1 0xa0
00000844: PUSH1 0x02
00000846: EXP
00000847: SUB
00000848: DUP10
00000849: AND
0000084a: PUSH1 0x00
0000084c: SWAP1
0000084d: DUP2
0000084e: MSTORE
0000084f: PUSH1 0x13
00000851: PUSH1 0x20
00000853: MSTORE
00000854: PUSH1 0x40
00000856: SWAP1
00000857: KECCAK256
00000858: SLOAD
00000859: ISZERO
0000085a: ISZERO
0000085b: PUSH2 0x0876
0000085e: JUMPI
0000085f: PUSH1 0x06
00000861: SLOAD
00000862: PUSH2 0x0872
00000865: SWAP1
00000866: PUSH1 0x01
00000868: PUSH4 0xffffffff
0000086d: PUSH2 0x158a
00000870: AND
00000871: JUMP
00000872: JUMPDEST
00000873: PUSH1 0x06
00000875: SSTORE
00000876: JUMPDEST
00000877: PUSH1 0x04
00000879: SLOAD
0000087a: PUSH2 0x088a
0000087d: SWAP1
0000087e: DUP5
0000087f: SWAP1
00000880: PUSH4 0xffffffff
00000885: PUSH2 0x15a4
00000888: AND
00000889: JUMP
0000088a: JUMPDEST
0000088b: PUSH1 0x01
0000088d: PUSH1 0xa0
0000088f: PUSH1 0x02
00000891: EXP
00000892: SUB
00000893: DUP11
00000894: AND
00000895: PUSH1 0x00
00000897: SWAP1
00000898: DUP2
00000899: MSTORE
0000089a: PUSH1 0x13
0000089c: PUSH1 0x20
0000089e: MSTORE
0000089f: PUSH1 0x40
000008a1: SWAP1
000008a2: KECCAK256
000008a3: SLOAD
000008a4: SWAP1
000008a5: SWAP2
000008a6: POP
000008a7: PUSH2 0x08b6
000008aa: SWAP1
000008ab: DUP3
000008ac: PUSH4 0xffffffff
000008b1: PUSH2 0x158a
000008b4: AND
000008b5: JUMP
000008b6: JUMPDEST
000008b7: PUSH1 0x01
000008b9: PUSH1 0xa0
000008bb: PUSH1 0x02
000008bd: EXP
000008be: SUB
000008bf: DUP11
000008c0: AND
000008c1: PUSH1 0x00
000008c3: SWAP1
000008c4: DUP2
000008c5: MSTORE
000008c6: PUSH1 0x13
000008c8: PUSH1 0x20
000008ca: MSTORE
000008cb: PUSH1 0x40
000008cd: SWAP1
000008ce: KECCAK256
000008cf: SWAP1
000008d0: DUP2
000008d1: SSTORE
000008d2: PUSH1 0x01
000008d4: ADD
000008d5: SLOAD
000008d6: PUSH2 0x08e5
000008d9: SWAP1
000008da: DUP5
000008db: PUSH4 0xffffffff
000008e0: PUSH2 0x158a
000008e3: AND
000008e4: JUMP
000008e5: JUMPDEST
000008e6: PUSH1 0x01
000008e8: PUSH1 0xa0
000008ea: PUSH1 0x02
000008ec: EXP
000008ed: SUB
000008ee: DUP11
000008ef: AND
000008f0: PUSH1 0x00
000008f2: SWAP1
000008f3: DUP2
000008f4: MSTORE
000008f5: PUSH1 0x13
000008f7: PUSH1 0x20
000008f9: MSTORE
000008fa: PUSH1 0x40
000008fc: SWAP1
000008fd: KECCAK256
000008fe: PUSH1 0x01
00000900: ADD
00000901: SSTORE
00000902: PUSH1 0x09
00000904: SLOAD
00000905: PUSH2 0x0914
00000908: SWAP1
00000909: DUP5
0000090a: PUSH4 0xffffffff
0000090f: PUSH2 0x158a
00000912: AND
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH1 0x09
00000917: SSTORE
00000918: PUSH1 0x0a
0000091a: SLOAD
0000091b: PUSH2 0x092a
0000091e: SWAP1
0000091f: DUP3
00000920: PUSH4 0xffffffff
00000925: PUSH2 0x158a
00000928: AND
00000929: JUMP
0000092a: JUMPDEST
0000092b: PUSH1 0x0a
0000092d: SSTORE
0000092e: DUP3
0000092f: DUP7
00000930: EQ
00000931: DUP1
00000932: PUSH2 0x0938
00000935: JUMPI
00000936: POP
00000937: DUP5
00000938: JUMPDEST
00000939: ISZERO
0000093a: PUSH2 0x0945
0000093d: JUMPI
0000093e: PUSH2 0x0945
00000941: PUSH2 0x14ab
00000944: JUMP
00000945: JUMPDEST
00000946: JUMPDEST
00000947: PUSH1 0x00
00000949: DUP5
0000094a: GT
0000094b: ISZERO
0000094c: PUSH2 0x0980
0000094f: JUMPI
00000950: PUSH1 0x01
00000952: PUSH1 0xa0
00000954: PUSH1 0x02
00000956: EXP
00000957: SUB
00000958: DUP10
00000959: AND
0000095a: DUP5
0000095b: ISZERO
0000095c: PUSH2 0x08fc
0000095f: MUL
00000960: DUP6
00000961: PUSH1 0x40
00000963: MLOAD
00000964: PUSH1 0x00
00000966: PUSH1 0x40
00000968: MLOAD
00000969: DUP1
0000096a: DUP4
0000096b: SUB
0000096c: DUP2
0000096d: DUP6
0000096e: DUP9
0000096f: DUP9
00000970: CALL
00000971: SWAP4
00000972: POP
00000973: POP
00000974: POP
00000975: POP
00000976: ISZERO
00000977: ISZERO
00000978: PUSH2 0x0980
0000097b: JUMPI
0000097c: PUSH1 0x00
0000097e: DUP1
0000097f: REVERT
00000980: JUMPDEST
00000981: JUMPDEST
00000982: DUP9
00000983: PUSH1 0x01
00000985: PUSH1 0xa0
00000987: PUSH1 0x02
00000989: EXP
0000098a: SUB
0000098b: AND
0000098c: PUSH32 0x56ab4b5df38ee234e35375b050888a619abce8789c1667ff3a9d78d7353a0a1b
000009ad: PUSH1 0x04
000009af: SLOAD
000009b0: CALLVALUE
000009b1: DUP7
000009b2: DUP9
000009b3: DUP7
000009b4: PUSH1 0x40
000009b6: MLOAD
000009b7: DUP1
000009b8: DUP7
000009b9: DUP2
000009ba: MSTORE
000009bb: PUSH1 0x20
000009bd: ADD
000009be: DUP6
000009bf: DUP2
000009c0: MSTORE
000009c1: PUSH1 0x20
000009c3: ADD
000009c4: DUP5
000009c5: DUP2
000009c6: MSTORE
000009c7: PUSH1 0x20
000009c9: ADD
000009ca: DUP4
000009cb: DUP2
000009cc: MSTORE
000009cd: PUSH1 0x20
000009cf: ADD
000009d0: DUP3
000009d1: DUP2
000009d2: MSTORE
000009d3: PUSH1 0x20
000009d5: ADD
000009d6: SWAP6
000009d7: POP
000009d8: POP
000009d9: POP
000009da: POP
000009db: POP
000009dc: POP
000009dd: PUSH1 0x40
000009df: MLOAD
000009e0: DUP1
000009e1: SWAP2
000009e2: SUB
000009e3: SWAP1
000009e4: LOG2
000009e5: DUP3
000009e6: SWAP7
000009e7: POP
000009e8: JUMPDEST
000009e9: JUMPDEST
000009ea: POP
000009eb: POP
000009ec: POP
000009ed: POP
000009ee: POP
000009ef: POP
000009f0: SWAP3
000009f1: SWAP2
000009f2: POP
000009f3: POP
000009f4: JUMP
000009f5: JUMPDEST
000009f6: PUSH1 0x0e
000009f8: SLOAD
000009f9: PUSH1 0x01
000009fb: PUSH1 0xa0
000009fd: PUSH1 0x02
000009ff: EXP
00000a00: SUB
00000a01: AND
00000a02: DUP2
00000a03: JUMP
00000a04: JUMPDEST
00000a05: PUSH1 0x0c
00000a07: SLOAD
00000a08: DUP2
00000a09: JUMP
00000a0a: JUMPDEST
00000a0b: PUSH1 0x03
00000a0d: SLOAD
00000a0e: DUP2
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: PUSH1 0x10
00000a13: SLOAD
00000a14: PUSH1 0x01
00000a16: PUSH1 0xa0
00000a18: PUSH1 0x02
00000a1a: EXP
00000a1b: SUB
00000a1c: AND
00000a1d: DUP2
00000a1e: JUMP
00000a1f: JUMPDEST
00000a20: PUSH1 0x11
00000a22: SLOAD
00000a23: PUSH1 0x00
00000a25: SWAP1
00000a26: PUSH1 0xa0
00000a28: PUSH1 0x02
00000a2a: EXP
00000a2b: SWAP1
00000a2c: DIV
00000a2d: PUSH1 0xff
00000a2f: AND
00000a30: ISZERO
00000a31: PUSH2 0x0a39
00000a34: JUMPI
00000a35: PUSH1 0x00
00000a37: DUP1
00000a38: REVERT
00000a39: JUMPDEST
00000a3a: PUSH1 0x02
00000a3c: JUMPDEST
00000a3d: PUSH1 0x12
00000a3f: SLOAD
00000a40: PUSH1 0xa0
00000a42: PUSH1 0x02
00000a44: EXP
00000a45: SWAP1
00000a46: DIV
00000a47: PUSH1 0xff
00000a49: AND
00000a4a: PUSH1 0x06
00000a4c: DUP2
00000a4d: GT
00000a4e: ISZERO
00000a4f: PUSH2 0x0a54
00000a52: JUMPI
00000a53: INVALID
00000a54: JUMPDEST
00000a55: EQ
00000a56: DUP1
00000a57: ISZERO
00000a58: PUSH2 0x0a63
00000a5b: JUMPI
00000a5c: POP
00000a5d: PUSH1 0x0b
00000a5f: SLOAD
00000a60: NUMBER
00000a61: LT
00000a62: ISZERO
00000a63: JUMPDEST
00000a64: ISZERO
00000a65: PUSH2 0x0ab3
00000a68: JUMPI
00000a69: PUSH1 0x12
00000a6b: DUP1
00000a6c: SLOAD
00000a6d: PUSH1 0x03
00000a6f: SWAP2
00000a70: SWAP1
00000a71: PUSH1 0xa0
00000a73: PUSH1 0x02
00000a75: EXP
00000a76: PUSH1 0xff
00000a78: MUL
00000a79: NOT
00000a7a: AND
00000a7b: PUSH1 0xa0
00000a7d: PUSH1 0x02
00000a7f: EXP
00000a80: DUP4
00000a81: JUMPDEST
00000a82: MUL
00000a83: OR
00000a84: SWAP1
00000a85: SSTORE
00000a86: POP
00000a87: PUSH32 0x912ee23dde46ec889d6748212cce445d667f7041597691dc89e8549ad8bc0acb
00000aa8: PUSH1 0x40
00000aaa: MLOAD
00000aab: PUSH1 0x40
00000aad: MLOAD
00000aae: DUP1
00000aaf: SWAP2
00000ab0: SUB
00000ab1: SWAP1
00000ab2: LOG1
00000ab3: JUMPDEST
00000ab4: PUSH1 0x03
00000ab6: JUMPDEST
00000ab7: PUSH1 0x12
00000ab9: SLOAD
00000aba: PUSH1 0xa0
00000abc: PUSH1 0x02
00000abe: EXP
00000abf: SWAP1
00000ac0: DIV
00000ac1: PUSH1 0xff
00000ac3: AND
00000ac4: PUSH1 0x06
00000ac6: DUP2
00000ac7: GT
00000ac8: ISZERO
00000ac9: PUSH2 0x0ace
00000acc: JUMPI
00000acd: INVALID
00000ace: JUMPDEST
00000acf: EQ
00000ad0: ISZERO
00000ad1: PUSH2 0x0adc
00000ad4: JUMPI
00000ad5: PUSH2 0x0adc
00000ad8: PUSH2 0x13f8
00000adb: JUMP
00000adc: JUMPDEST
00000add: JUMPDEST
00000ade: PUSH1 0x03
00000ae0: JUMPDEST
00000ae1: PUSH1 0x12
00000ae3: SLOAD
00000ae4: PUSH1 0xa0
00000ae6: PUSH1 0x02
00000ae8: EXP
00000ae9: SWAP1
00000aea: DIV
00000aeb: PUSH1 0xff
00000aed: AND
00000aee: PUSH1 0x06
00000af0: DUP2
00000af1: GT
00000af2: ISZERO
00000af3: PUSH2 0x0af8
00000af6: JUMPI
00000af7: INVALID
00000af8: JUMPDEST
00000af9: EQ
00000afa: DUP1
00000afb: ISZERO
00000afc: PUSH2 0x0b33
00000aff: JUMPI
00000b00: POP
00000b01: PUSH1 0x0c
00000b03: SLOAD
00000b04: NUMBER
00000b05: GT
00000b06: DUP1
00000b07: PUSH2 0x0b13
00000b0a: JUMPI
00000b0b: POP
00000b0c: PUSH1 0x07
00000b0e: SLOAD
00000b0f: PUSH1 0x09
00000b11: SLOAD
00000b12: EQ
00000b13: JUMPDEST
00000b14: DUP1
00000b15: PUSH2 0x0b33
00000b18: JUMPI
00000b19: POP
00000b1a: PUSH1 0x04
00000b1c: SLOAD
00000b1d: PUSH1 0x09
00000b1f: SLOAD
00000b20: PUSH1 0x07
00000b22: SLOAD
00000b23: PUSH2 0x0b31
00000b26: SWAP2
00000b27: PUSH4 0xffffffff
00000b2c: PUSH2 0x1494
00000b2f: AND
00000b30: JUMP
00000b31: JUMPDEST
00000b32: LT
00000b33: JUMPDEST
00000b34: JUMPDEST
00000b35: ISZERO
00000b36: PUSH2 0x0b41
00000b39: JUMPI
00000b3a: PUSH2 0x0b41
00000b3d: PUSH2 0x14ab
00000b40: JUMP
00000b41: JUMPDEST
00000b42: JUMPDEST
00000b43: PUSH1 0x04
00000b45: JUMPDEST
00000b46: PUSH1 0x12
00000b48: SLOAD
00000b49: PUSH1 0xa0
00000b4b: PUSH1 0x02
00000b4d: EXP
00000b4e: SWAP1
00000b4f: DIV
00000b50: PUSH1 0xff
00000b52: AND
00000b53: PUSH1 0x06
00000b55: DUP2
00000b56: GT
00000b57: ISZERO
00000b58: PUSH2 0x0b5d
00000b5b: JUMPI
00000b5c: INVALID
00000b5d: JUMPDEST
00000b5e: EQ
00000b5f: ISZERO
00000b60: PUSH2 0x0b6b
00000b63: JUMPI
00000b64: PUSH2 0x0b6b
00000b67: PUSH2 0x1530
00000b6a: JUMP
00000b6b: JUMPDEST
00000b6c: JUMPDEST
00000b6d: PUSH1 0x05
00000b6f: JUMPDEST
00000b70: PUSH1 0x12
00000b72: SLOAD
00000b73: PUSH1 0xa0
00000b75: PUSH1 0x02
00000b77: EXP
00000b78: SWAP1
00000b79: DIV
00000b7a: PUSH1 0xff
00000b7c: AND
00000b7d: PUSH1 0x06
00000b7f: DUP2
00000b80: GT
00000b81: ISZERO
00000b82: PUSH2 0x0b87
00000b85: JUMPI
00000b86: INVALID
00000b87: JUMPDEST
00000b88: EQ
00000b89: PUSH2 0x0b91
00000b8c: JUMPI
00000b8d: PUSH1 0x00
00000b8f: DUP1
00000b90: REVERT
00000b91: JUMPDEST
00000b92: PUSH1 0x01
00000b94: PUSH1 0xa0
00000b96: PUSH1 0x02
00000b98: EXP
00000b99: SUB
00000b9a: CALLER
00000b9b: AND
00000b9c: PUSH1 0x00
00000b9e: SWAP1
00000b9f: DUP2
00000ba0: MSTORE
00000ba1: PUSH1 0x13
00000ba3: PUSH1 0x20
00000ba5: MSTORE
00000ba6: PUSH1 0x40
00000ba8: DUP2
00000ba9: KECCAK256
00000baa: SLOAD
00000bab: GT
00000bac: PUSH2 0x0bb4
00000baf: JUMPI
00000bb0: PUSH1 0x00
00000bb2: DUP1
00000bb3: REVERT
00000bb4: JUMPDEST
00000bb5: POP
00000bb6: PUSH1 0x01
00000bb8: PUSH1 0xa0
00000bba: PUSH1 0x02
00000bbc: EXP
00000bbd: SUB
00000bbe: CALLER
00000bbf: DUP2
00000bc0: DUP2
00000bc1: AND
00000bc2: PUSH1 0x00
00000bc4: SWAP1
00000bc5: DUP2
00000bc6: MSTORE
00000bc7: PUSH1 0x13
00000bc9: PUSH1 0x20
00000bcb: MSTORE
00000bcc: PUSH1 0x40
00000bce: DUP1
00000bcf: DUP3
00000bd0: KECCAK256
00000bd1: DUP1
00000bd2: SLOAD
00000bd3: DUP4
00000bd4: DUP3
00000bd5: SSTORE
00000bd6: PUSH1 0x01
00000bd8: SWAP1
00000bd9: SWAP2
00000bda: ADD
00000bdb: DUP4
00000bdc: SWAP1
00000bdd: SSTORE
00000bde: PUSH1 0x12
00000be0: SLOAD
00000be1: SWAP1
00000be2: SWAP5
00000be3: AND
00000be4: SWAP3
00000be5: PUSH4 0xa9059cbb
00000bea: SWAP3
00000beb: SWAP1
00000bec: SWAP2
00000bed: DUP6
00000bee: SWAP2
00000bef: SWAP1
00000bf0: MLOAD
00000bf1: PUSH1 0x20
00000bf3: ADD
00000bf4: MSTORE
00000bf5: PUSH1 0x40
00000bf7: MLOAD
00000bf8: PUSH1 0xe0
00000bfa: PUSH1 0x02
00000bfc: EXP
00000bfd: PUSH4 0xffffffff
00000c02: DUP6
00000c03: AND
00000c04: MUL
00000c05: DUP2
00000c06: MSTORE
00000c07: PUSH1 0x01
00000c09: PUSH1 0xa0
00000c0b: PUSH1 0x02
00000c0d: EXP
00000c0e: SUB
00000c0f: SWAP1
00000c10: SWAP3
00000c11: AND
00000c12: PUSH1 0x04
00000c14: DUP4
00000c15: ADD
00000c16: MSTORE
00000c17: PUSH1 0x24
00000c19: DUP3
00000c1a: ADD
00000c1b: MSTORE
00000c1c: PUSH1 0x44
00000c1e: ADD
00000c1f: PUSH1 0x20
00000c21: PUSH1 0x40
00000c23: MLOAD
00000c24: DUP1
00000c25: DUP4
00000c26: SUB
00000c27: DUP2
00000c28: PUSH1 0x00
00000c2a: DUP8
00000c2b: DUP1
00000c2c: EXTCODESIZE
00000c2d: ISZERO
00000c2e: ISZERO
00000c2f: PUSH2 0x0c37
00000c32: JUMPI
00000c33: PUSH1 0x00
00000c35: DUP1
00000c36: REVERT
00000c37: JUMPDEST
00000c38: PUSH2 0x02c6
00000c3b: GAS
00000c3c: SUB
00000c3d: CALL
00000c3e: ISZERO
00000c3f: ISZERO
00000c40: PUSH2 0x0c48
00000c43: JUMPI
00000c44: PUSH1 0x00
00000c46: DUP1
00000c47: REVERT
00000c48: JUMPDEST
00000c49: POP
00000c4a: POP
00000c4b: POP
00000c4c: PUSH1 0x40
00000c4e: MLOAD
00000c4f: DUP1
00000c50: MLOAD
00000c51: POP
00000c52: POP
00000c53: PUSH1 0x01
00000c55: PUSH1 0xa0
00000c57: PUSH1 0x02
00000c59: EXP
00000c5a: SUB
00000c5b: CALLER
00000c5c: AND
00000c5d: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a
00000c7e: DUP3
00000c7f: PUSH1 0x40
00000c81: MLOAD
00000c82: SWAP1
00000c83: DUP2
00000c84: MSTORE
00000c85: PUSH1 0x20
00000c87: ADD
00000c88: PUSH1 0x40
00000c8a: MLOAD
00000c8b: DUP1
00000c8c: SWAP2
00000c8d: SUB
00000c8e: SWAP1
00000c8f: LOG2
00000c90: JUMPDEST
00000c91: JUMPDEST
00000c92: POP
00000c93: JUMP
00000c94: JUMPDEST
00000c95: PUSH1 0x07
00000c97: SLOAD
00000c98: DUP2
00000c99: JUMP
00000c9a: JUMPDEST
00000c9b: PUSH1 0x0b
00000c9d: SLOAD
00000c9e: DUP2
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: PUSH1 0x11
00000ca3: SLOAD
00000ca4: PUSH1 0xa0
00000ca6: PUSH1 0x02
00000ca8: EXP
00000ca9: SWAP1
00000caa: DIV
00000cab: PUSH1 0xff
00000cad: AND
00000cae: DUP2
00000caf: JUMP
00000cb0: JUMPDEST
00000cb1: PUSH1 0x12
00000cb3: SLOAD
00000cb4: PUSH1 0x01
00000cb6: PUSH1 0xa0
00000cb8: PUSH1 0x02
00000cba: EXP
00000cbb: SUB
00000cbc: AND
00000cbd: DUP2
00000cbe: JUMP
00000cbf: JUMPDEST
00000cc0: PUSH1 0x00
00000cc2: SLOAD
00000cc3: CALLER
00000cc4: PUSH1 0x01
00000cc6: PUSH1 0xa0
00000cc8: PUSH1 0x02
00000cca: EXP
00000ccb: SUB
00000ccc: SWAP1
00000ccd: DUP2
00000cce: AND
00000ccf: SWAP2
00000cd0: AND
00000cd1: EQ
00000cd2: PUSH2 0x0cda
00000cd5: JUMPI
00000cd6: PUSH1 0x00
00000cd8: DUP1
00000cd9: REVERT
00000cda: JUMPDEST
00000cdb: PUSH1 0x11
00000cdd: DUP1
00000cde: SLOAD
00000cdf: PUSH1 0xa0
00000ce1: PUSH1 0x02
00000ce3: EXP
00000ce4: PUSH1 0xff
00000ce6: MUL
00000ce7: NOT
00000ce8: AND
00000ce9: PUSH1 0xa0
00000ceb: PUSH1 0x02
00000ced: EXP
00000cee: DUP4
00000cef: ISZERO
00000cf0: ISZERO
00000cf1: MUL
00000cf2: OR
00000cf3: SWAP1
00000cf4: SSTORE
00000cf5: JUMPDEST
00000cf6: JUMPDEST
00000cf7: POP
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: PUSH1 0x05
00000cfc: SLOAD
00000cfd: DUP2
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: PUSH1 0x00
00000d02: DUP1
00000d03: PUSH1 0x00
00000d05: DUP4
00000d06: PUSH1 0x01
00000d08: PUSH1 0xa0
00000d0a: PUSH1 0x02
00000d0c: EXP
00000d0d: SUB
00000d0e: AND
00000d0f: DUP6
00000d10: DUP9
00000d11: PUSH1 0x01
00000d13: PUSH1 0xa0
00000d15: PUSH1 0x02
00000d17: EXP
00000d18: SUB
00000d19: AND
00000d1a: PUSH32 0xa675887ed13e50f014a24acbe53cd6e33f0404b367823d2687d2bea85d14e577
00000d3b: PUSH1 0x40
00000d3d: MLOAD
00000d3e: PUSH1 0x40
00000d40: MLOAD
00000d41: DUP1
00000d42: SWAP2
00000d43: SUB
00000d44: SWAP1
00000d45: LOG4
00000d46: PUSH2 0x0d4f
00000d49: DUP8
00000d4a: CALLVALUE
00000d4b: PUSH2 0x15c0
00000d4e: JUMP
00000d4f: JUMPDEST
00000d50: PUSH1 0x01
00000d52: SLOAD
00000d53: SWAP1
00000d54: SWAP4
00000d55: POP
00000d56: PUSH1 0x01
00000d58: PUSH1 0xa0
00000d5a: PUSH1 0x02
00000d5c: EXP
00000d5d: SUB
00000d5e: AND
00000d5f: PUSH4 0x1fdfec35
00000d64: DUP7
00000d65: DUP6
00000d66: PUSH1 0x00
00000d68: PUSH1 0x40
00000d6a: MLOAD
00000d6b: PUSH1 0x20
00000d6d: ADD
00000d6e: MSTORE
00000d6f: PUSH1 0x40
00000d71: MLOAD
00000d72: PUSH1 0xe0
00000d74: PUSH1 0x02
00000d76: EXP
00000d77: PUSH4 0xffffffff
00000d7c: DUP6
00000d7d: AND
00000d7e: MUL
00000d7f: DUP2
00000d80: MSTORE
00000d81: PUSH1 0x04
00000d83: DUP2
00000d84: ADD
00000d85: SWAP3
00000d86: SWAP1
00000d87: SWAP3
00000d88: MSTORE
00000d89: PUSH1 0x24
00000d8b: DUP3
00000d8c: ADD
00000d8d: MSTORE
00000d8e: PUSH1 0x44
00000d90: ADD
00000d91: PUSH1 0x20
00000d93: PUSH1 0x40
00000d95: MLOAD
00000d96: DUP1
00000d97: DUP4
00000d98: SUB
00000d99: DUP2
00000d9a: PUSH1 0x00
00000d9c: DUP8
00000d9d: DUP1
00000d9e: EXTCODESIZE
00000d9f: ISZERO
00000da0: ISZERO
00000da1: PUSH2 0x0da9
00000da4: JUMPI
00000da5: PUSH1 0x00
00000da7: DUP1
00000da8: REVERT
00000da9: JUMPDEST
00000daa: PUSH2 0x02c6
00000dad: GAS
00000dae: SUB
00000daf: CALL
00000db0: ISZERO
00000db1: ISZERO
00000db2: PUSH2 0x0dba
00000db5: JUMPI
00000db6: PUSH1 0x00
00000db8: DUP1
00000db9: REVERT
00000dba: JUMPDEST
00000dbb: POP
00000dbc: POP
00000dbd: POP
00000dbe: PUSH1 0x40
00000dc0: MLOAD
00000dc1: DUP1
00000dc2: MLOAD
00000dc3: PUSH1 0x01
00000dc5: SLOAD
00000dc6: SWAP1
00000dc7: SWAP4
00000dc8: POP
00000dc9: PUSH1 0x01
00000dcb: PUSH1 0xa0
00000dcd: PUSH1 0x02
00000dcf: EXP
00000dd0: SUB
00000dd1: AND
00000dd2: SWAP1
00000dd3: POP
00000dd4: PUSH3 0x0f4240
00000dd8: DUP4
00000dd9: PUSH1 0x40
00000ddb: MLOAD
00000ddc: PUSH32 0x706179436f6e76657273696f6e46726f6d5472616e73616374696f6e2875696e
00000dfd: DUP2
00000dfe: MSTORE
00000dff: PUSH32 0x743235362c616464726573732c75696e74323536290000000000000000000000
00000e20: PUSH1 0x20
00000e22: DUP3
00000e23: ADD
00000e24: MSTORE
00000e25: PUSH1 0x35
00000e27: ADD
00000e28: PUSH1 0x40
00000e2a: MLOAD
00000e2b: DUP1
00000e2c: SWAP2
00000e2d: SUB
00000e2e: SWAP1
00000e2f: KECCAK256
00000e30: PUSH1 0xe0
00000e32: PUSH1 0x02
00000e34: EXP
00000e35: SWAP1
00000e36: DIV
00000e37: SWAP2
00000e38: SWAP1
00000e39: DUP9
00000e3a: DUP9
00000e3b: DUP9
00000e3c: PUSH1 0x40
00000e3e: MLOAD
00000e3f: PUSH1 0xe0
00000e41: PUSH1 0x02
00000e43: EXP
00000e44: PUSH4 0xffffffff
00000e49: DUP9
00000e4a: AND
00000e4b: MUL
00000e4c: DUP2
00000e4d: MSTORE
00000e4e: PUSH1 0x04
00000e50: DUP2
00000e51: ADD
00000e52: SWAP4
00000e53: SWAP1
00000e54: SWAP4
00000e55: MSTORE
00000e56: PUSH1 0x01
00000e58: PUSH1 0xa0
00000e5a: PUSH1 0x02
00000e5c: EXP
00000e5d: SUB
00000e5e: SWAP1
00000e5f: SWAP2
00000e60: AND
00000e61: PUSH1 0x24
00000e63: DUP4
00000e64: ADD
00000e65: MSTORE
00000e66: PUSH1 0x44
00000e68: DUP3
00000e69: ADD
00000e6a: MSTORE
00000e6b: PUSH1 0x64
00000e6d: ADD
00000e6e: PUSH1 0x00
00000e70: PUSH1 0x40
00000e72: MLOAD
00000e73: DUP1
00000e74: DUP4
00000e75: SUB
00000e76: DUP2
00000e77: DUP6
00000e78: DUP10
00000e79: DUP9
00000e7a: CALL
00000e7b: SWAP5
00000e7c: POP
00000e7d: POP
00000e7e: POP
00000e7f: POP
00000e80: POP
00000e81: SWAP1
00000e82: POP
00000e83: DUP4
00000e84: PUSH1 0x01
00000e86: PUSH1 0xa0
00000e88: PUSH1 0x02
00000e8a: EXP
00000e8b: SUB
00000e8c: AND
00000e8d: DUP6
00000e8e: PUSH32 0x452af6c67bd5a07aa0f62be81f4dd5fa3328309b78c1bb6338c20cbf2ef687b8
00000eaf: DUP4
00000eb0: CALLVALUE
00000eb1: PUSH1 0x40
00000eb3: MLOAD
00000eb4: SWAP2
00000eb5: ISZERO
00000eb6: ISZERO
00000eb7: DUP3
00000eb8: MSTORE
00000eb9: PUSH1 0x20
00000ebb: DUP3
00000ebc: ADD
00000ebd: MSTORE
00000ebe: PUSH1 0x40
00000ec0: SWAP1
00000ec1: DUP2
00000ec2: ADD
00000ec3: SWAP1
00000ec4: MLOAD
00000ec5: DUP1
00000ec6: SWAP2
00000ec7: SUB
00000ec8: SWAP1
00000ec9: LOG3
00000eca: JUMPDEST
00000ecb: POP
00000ecc: POP
00000ecd: POP
00000ece: POP
00000ecf: POP
00000ed0: POP
00000ed1: POP
00000ed2: JUMP
00000ed3: JUMPDEST
00000ed4: PUSH1 0x02
00000ed6: SLOAD
00000ed7: DUP2
00000ed8: JUMP
00000ed9: JUMPDEST
00000eda: PUSH1 0x11
00000edc: SLOAD
00000edd: PUSH1 0x00
00000edf: SWAP1
00000ee0: PUSH1 0xa0
00000ee2: PUSH1 0x02
00000ee4: EXP
00000ee5: SWAP1
00000ee6: DIV
00000ee7: PUSH1 0xff
00000ee9: AND
00000eea: ISZERO
00000eeb: PUSH2 0x0ef3
00000eee: JUMPI
00000eef: PUSH1 0x00
00000ef1: DUP1
00000ef2: REVERT
00000ef3: JUMPDEST
00000ef4: PUSH1 0x02
00000ef6: JUMPDEST
00000ef7: PUSH1 0x12
00000ef9: SLOAD
00000efa: PUSH1 0xa0
00000efc: PUSH1 0x02
00000efe: EXP
00000eff: SWAP1
00000f00: DIV
00000f01: PUSH1 0xff
00000f03: AND
00000f04: PUSH1 0x06
00000f06: DUP2
00000f07: GT
00000f08: ISZERO
00000f09: PUSH2 0x0f0e
00000f0c: JUMPI
00000f0d: INVALID
00000f0e: JUMPDEST
00000f0f: EQ
00000f10: DUP1
00000f11: ISZERO
00000f12: PUSH2 0x0f1d
00000f15: JUMPI
00000f16: POP
00000f17: PUSH1 0x0b
00000f19: SLOAD
00000f1a: NUMBER
00000f1b: LT
00000f1c: ISZERO
00000f1d: JUMPDEST
00000f1e: ISZERO
00000f1f: PUSH2 0x0f6d
00000f22: JUMPI
00000f23: PUSH1 0x12
00000f25: DUP1
00000f26: SLOAD
00000f27: PUSH1 0x03
00000f29: SWAP2
00000f2a: SWAP1
00000f2b: PUSH1 0xa0
00000f2d: PUSH1 0x02
00000f2f: EXP
00000f30: PUSH1 0xff
00000f32: MUL
00000f33: NOT
00000f34: AND
00000f35: PUSH1 0xa0
00000f37: PUSH1 0x02
00000f39: EXP
00000f3a: DUP4
00000f3b: JUMPDEST
00000f3c: MUL
00000f3d: OR
00000f3e: SWAP1
00000f3f: SSTORE
00000f40: POP
00000f41: PUSH32 0x912ee23dde46ec889d6748212cce445d667f7041597691dc89e8549ad8bc0acb
00000f62: PUSH1 0x40
00000f64: MLOAD
00000f65: PUSH1 0x40
00000f67: MLOAD
00000f68: DUP1
00000f69: SWAP2
00000f6a: SUB
00000f6b: SWAP1
00000f6c: LOG1
00000f6d: JUMPDEST
00000f6e: PUSH1 0x03
00000f70: JUMPDEST
00000f71: PUSH1 0x12
00000f73: SLOAD
00000f74: PUSH1 0xa0
00000f76: PUSH1 0x02
00000f78: EXP
00000f79: SWAP1
00000f7a: DIV
00000f7b: PUSH1 0xff
00000f7d: AND
00000f7e: PUSH1 0x06
00000f80: DUP2
00000f81: GT
00000f82: ISZERO
00000f83: PUSH2 0x0f88
00000f86: JUMPI
00000f87: INVALID
00000f88: JUMPDEST
00000f89: EQ
00000f8a: ISZERO
00000f8b: PUSH2 0x0f96
00000f8e: JUMPI
00000f8f: PUSH2 0x0f96
00000f92: PUSH2 0x13f8
00000f95: JUMP
00000f96: JUMPDEST
00000f97: JUMPDEST
00000f98: PUSH1 0x03
00000f9a: JUMPDEST
00000f9b: PUSH1 0x12
00000f9d: SLOAD
00000f9e: PUSH1 0xa0
00000fa0: PUSH1 0x02
00000fa2: EXP
00000fa3: SWAP1
00000fa4: DIV
00000fa5: PUSH1 0xff
00000fa7: AND
00000fa8: PUSH1 0x06
00000faa: DUP2
00000fab: GT
00000fac: ISZERO
00000fad: PUSH2 0x0fb2
00000fb0: JUMPI
00000fb1: INVALID
00000fb2: JUMPDEST
00000fb3: EQ
00000fb4: DUP1
00000fb5: ISZERO
00000fb6: PUSH2 0x0fed
00000fb9: JUMPI
00000fba: POP
00000fbb: PUSH1 0x0c
00000fbd: SLOAD
00000fbe: NUMBER
00000fbf: GT
00000fc0: DUP1
00000fc1: PUSH2 0x0fcd
00000fc4: JUMPI
00000fc5: POP
00000fc6: PUSH1 0x07
00000fc8: SLOAD
00000fc9: PUSH1 0x09
00000fcb: SLOAD
00000fcc: EQ
00000fcd: JUMPDEST
00000fce: DUP1
00000fcf: PUSH2 0x0fed
00000fd2: JUMPI
00000fd3: POP
00000fd4: PUSH1 0x04
00000fd6: SLOAD
00000fd7: PUSH1 0x09
00000fd9: SLOAD
00000fda: PUSH1 0x07
00000fdc: SLOAD
00000fdd: PUSH2 0x0feb
00000fe0: SWAP2
00000fe1: PUSH4 0xffffffff
00000fe6: PUSH2 0x1494
00000fe9: AND
00000fea: JUMP
00000feb: JUMPDEST
00000fec: LT
00000fed: JUMPDEST
00000fee: JUMPDEST
00000fef: ISZERO
00000ff0: PUSH2 0x0ffb
00000ff3: JUMPI
00000ff4: PUSH2 0x0ffb
00000ff7: PUSH2 0x14ab
00000ffa: JUMP
00000ffb: JUMPDEST
00000ffc: JUMPDEST
00000ffd: PUSH1 0x04
00000fff: JUMPDEST
00001000: PUSH1 0x12
00001002: SLOAD
00001003: PUSH1 0xa0
00001005: PUSH1 0x02
00001007: EXP
00001008: SWAP1
00001009: DIV
0000100a: PUSH1 0xff
0000100c: AND
0000100d: PUSH1 0x06
0000100f: DUP2
00001010: GT
00001011: ISZERO
00001012: PUSH2 0x1017
00001015: JUMPI
00001016: INVALID
00001017: JUMPDEST
00001018: EQ
00001019: ISZERO
0000101a: PUSH2 0x1025
0000101d: JUMPI
0000101e: PUSH2 0x1025
00001021: PUSH2 0x1530
00001024: JUMP
00001025: JUMPDEST
00001026: JUMPDEST
00001027: PUSH1 0x12
00001029: SLOAD
0000102a: PUSH1 0xa0
0000102c: PUSH1 0x02
0000102e: EXP
0000102f: SWAP1
00001030: DIV
00001031: PUSH1 0xff
00001033: AND
00001034: PUSH1 0x06
00001036: DUP2
00001037: GT
00001038: ISZERO
00001039: PUSH2 0x103e
0000103c: JUMPI
0000103d: INVALID
0000103e: JUMPDEST
0000103f: SWAP1
00001040: POP
00001041: JUMPDEST
00001042: JUMPDEST
00001043: SWAP1
00001044: JUMP
00001045: JUMPDEST
00001046: PUSH1 0x04
00001048: SLOAD
00001049: DUP2
0000104a: JUMP
0000104b: JUMPDEST
0000104c: PUSH1 0x06
0000104e: SLOAD
0000104f: DUP2
00001050: JUMP
00001051: JUMPDEST
00001052: PUSH1 0x00
00001054: SLOAD
00001055: CALLER
00001056: PUSH1 0x01
00001058: PUSH1 0xa0
0000105a: PUSH1 0x02
0000105c: EXP
0000105d: SUB
0000105e: SWAP1
0000105f: DUP2
00001060: AND
00001061: SWAP2
00001062: AND
00001063: EQ
00001064: PUSH2 0x106c
00001067: JUMPI
00001068: PUSH1 0x00
0000106a: DUP1
0000106b: REVERT
0000106c: JUMPDEST
0000106d: NUMBER
0000106e: DUP9
0000106f: LT
00001070: ISZERO
00001071: PUSH2 0x1079
00001074: JUMPI
00001075: PUSH1 0x00
00001077: DUP1
00001078: REVERT
00001079: JUMPDEST
0000107a: DUP8
0000107b: DUP8
0000107c: LT
0000107d: ISZERO
0000107e: PUSH2 0x1086
00001081: JUMPI
00001082: PUSH1 0x00
00001084: DUP1
00001085: REVERT
00001086: JUMPDEST
00001087: PUSH1 0x01
00001089: JUMPDEST
0000108a: PUSH1 0x12
0000108c: SLOAD
0000108d: PUSH1 0xa0
0000108f: PUSH1 0x02
00001091: EXP
00001092: SWAP1
00001093: DIV
00001094: PUSH1 0xff
00001096: AND
00001097: PUSH1 0x06
00001099: DUP2
0000109a: GT
0000109b: ISZERO
0000109c: PUSH2 0x10a1
0000109f: JUMPI
000010a0: INVALID
000010a1: JUMPDEST
000010a2: EQ
000010a3: PUSH2 0x10ab
000010a6: JUMPI
000010a7: PUSH1 0x00
000010a9: DUP1
000010aa: REVERT
000010ab: JUMPDEST
000010ac: PUSH1 0x01
000010ae: PUSH1 0xa0
000010b0: PUSH1 0x02
000010b2: EXP
000010b3: SUB
000010b4: DUP7
000010b5: AND
000010b6: ISZERO
000010b7: ISZERO
000010b8: PUSH2 0x10c0
000010bb: JUMPI
000010bc: PUSH1 0x00
000010be: DUP1
000010bf: REVERT
000010c0: JUMPDEST
000010c1: PUSH1 0x00
000010c3: DUP6
000010c4: GT
000010c5: PUSH2 0x10cd
000010c8: JUMPI
000010c9: PUSH1 0x00
000010cb: DUP1
000010cc: REVERT
000010cd: JUMPDEST
000010ce: PUSH1 0x01
000010d0: PUSH1 0xa0
000010d2: PUSH1 0x02
000010d4: EXP
000010d5: SUB
000010d6: DUP5
000010d7: AND
000010d8: ISZERO
000010d9: ISZERO
000010da: PUSH2 0x10e2
000010dd: JUMPI
000010de: PUSH1 0x00
000010e0: DUP1
000010e1: REVERT
000010e2: JUMPDEST
000010e3: PUSH1 0x01
000010e5: PUSH1 0xa0
000010e7: PUSH1 0x02
000010e9: EXP
000010ea: SUB
000010eb: DUP4
000010ec: AND
000010ed: ISZERO
000010ee: ISZERO
000010ef: PUSH2 0x10f7
000010f2: JUMPI
000010f3: PUSH1 0x00
000010f5: DUP1
000010f6: REVERT
000010f7: JUMPDEST
000010f8: PUSH1 0x01
000010fa: PUSH1 0xa0
000010fc: PUSH1 0x02
000010fe: EXP
000010ff: SUB
00001100: DUP3
00001101: AND
00001102: ISZERO
00001103: ISZERO
00001104: PUSH2 0x110c
00001107: JUMPI
00001108: PUSH1 0x00
0000110a: DUP1
0000110b: REVERT
0000110c: JUMPDEST
0000110d: PUSH1 0x01
0000110f: PUSH1 0xa0
00001111: PUSH1 0x02
00001113: EXP
00001114: SUB
00001115: DUP2
00001116: AND
00001117: ISZERO
00001118: ISZERO
00001119: PUSH2 0x1121
0000111c: JUMPI
0000111d: PUSH1 0x00
0000111f: DUP1
00001120: REVERT
00001121: JUMPDEST
00001122: PUSH1 0x12
00001124: DUP1
00001125: SLOAD
00001126: PUSH1 0x02
00001128: SWAP2
00001129: SWAP1
0000112a: PUSH1 0xa0
0000112c: PUSH1 0x02
0000112e: EXP
0000112f: PUSH1 0xff
00001131: MUL
00001132: NOT
00001133: AND
00001134: PUSH1 0xa0
00001136: PUSH1 0x02
00001138: EXP
00001139: DUP4
0000113a: JUMPDEST
0000113b: MUL
0000113c: OR
0000113d: SWAP1
0000113e: SSTORE
0000113f: POP
00001140: PUSH1 0x0b
00001142: DUP9
00001143: SWAP1
00001144: SSTORE
00001145: PUSH1 0x0c
00001147: DUP8
00001148: SWAP1
00001149: SSTORE
0000114a: PUSH1 0x0d
0000114c: DUP1
0000114d: SLOAD
0000114e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001163: NOT
00001164: SWAP1
00001165: DUP2
00001166: AND
00001167: PUSH1 0x01
00001169: PUSH1 0xa0
0000116b: PUSH1 0x02
0000116d: EXP
0000116e: SUB
0000116f: DUP10
00001170: DUP2
00001171: AND
00001172: SWAP2
00001173: SWAP1
00001174: SWAP2
00001175: OR
00001176: SWAP1
00001177: SWAP3
00001178: SSTORE
00001179: PUSH1 0x05
0000117b: DUP8
0000117c: SWAP1
0000117d: SSTORE
0000117e: PUSH1 0x0e
00001180: DUP1
00001181: SLOAD
00001182: DUP3
00001183: AND
00001184: DUP8
00001185: DUP5
00001186: AND
00001187: OR
00001188: SWAP1
00001189: SSTORE
0000118a: PUSH1 0x0f
0000118c: DUP1
0000118d: SLOAD
0000118e: DUP3
0000118f: AND
00001190: DUP7
00001191: DUP5
00001192: AND
00001193: OR
00001194: SWAP1
00001195: SSTORE
00001196: PUSH1 0x10
00001198: DUP1
00001199: SLOAD
0000119a: DUP3
0000119b: AND
0000119c: DUP6
0000119d: DUP5
0000119e: AND
0000119f: OR
000011a0: SWAP1
000011a1: SSTORE
000011a2: PUSH1 0x11
000011a4: DUP1
000011a5: SLOAD
000011a6: SWAP1
000011a7: SWAP2
000011a8: AND
000011a9: SWAP2
000011aa: DUP4
000011ab: AND
000011ac: SWAP2
000011ad: SWAP1
000011ae: SWAP2
000011af: OR
000011b0: SWAP1
000011b1: SSTORE
000011b2: JUMPDEST
000011b3: JUMPDEST
000011b4: POP
000011b5: POP
000011b6: POP
000011b7: POP
000011b8: POP
000011b9: POP
000011ba: POP
000011bb: POP
000011bc: JUMP
000011bd: JUMPDEST
000011be: PUSH1 0x13
000011c0: PUSH1 0x20
000011c2: MSTORE
000011c3: PUSH1 0x00
000011c5: SWAP1
000011c6: DUP2
000011c7: MSTORE
000011c8: PUSH1 0x40
000011ca: SWAP1
000011cb: KECCAK256
000011cc: DUP1
000011cd: SLOAD
000011ce: PUSH1 0x01
000011d0: SWAP1
000011d1: SWAP2
000011d2: ADD
000011d3: SLOAD
000011d4: DUP3
000011d5: JUMP
000011d6: JUMPDEST
000011d7: PUSH1 0x0d
000011d9: SLOAD
000011da: PUSH1 0x01
000011dc: PUSH1 0xa0
000011de: PUSH1 0x02
000011e0: EXP
000011e1: SUB
000011e2: AND
000011e3: DUP2
000011e4: JUMP
000011e5: JUMPDEST
000011e6: PUSH1 0x00
000011e8: SLOAD
000011e9: PUSH1 0x01
000011eb: PUSH1 0xa0
000011ed: PUSH1 0x02
000011ef: EXP
000011f0: SUB
000011f1: AND
000011f2: DUP2
000011f3: JUMP
000011f4: JUMPDEST
000011f5: PUSH1 0x01
000011f7: SLOAD
000011f8: PUSH1 0x01
000011fa: PUSH1 0xa0
000011fc: PUSH1 0x02
000011fe: EXP
000011ff: SUB
00001200: AND
00001201: DUP2
00001202: JUMP
00001203: JUMPDEST
00001204: PUSH1 0x0a
00001206: SLOAD
00001207: DUP2
00001208: JUMP
00001209: JUMPDEST
0000120a: PUSH1 0x08
0000120c: SLOAD
0000120d: DUP2
0000120e: JUMP
0000120f: JUMPDEST
00001210: PUSH1 0x11
00001212: SLOAD
00001213: PUSH1 0x01
00001215: PUSH1 0xa0
00001217: PUSH1 0x02
00001219: EXP
0000121a: SUB
0000121b: AND
0000121c: DUP2
0000121d: JUMP
0000121e: JUMPDEST
0000121f: PUSH1 0x00
00001221: PUSH1 0x06
00001223: JUMPDEST
00001224: PUSH1 0x12
00001226: SLOAD
00001227: PUSH1 0xa0
00001229: PUSH1 0x02
0000122b: EXP
0000122c: SWAP1
0000122d: DIV
0000122e: PUSH1 0xff
00001230: AND
00001231: PUSH1 0x06
00001233: DUP2
00001234: GT
00001235: ISZERO
00001236: PUSH2 0x123b
00001239: JUMPI
0000123a: INVALID
0000123b: JUMPDEST
0000123c: EQ
0000123d: PUSH2 0x1245
00001240: JUMPI
00001241: PUSH1 0x00
00001243: DUP1
00001244: REVERT
00001245: JUMPDEST
00001246: POP
00001247: PUSH1 0x01
00001249: PUSH1 0xa0
0000124b: PUSH1 0x02
0000124d: EXP
0000124e: SUB
0000124f: CALLER
00001250: AND
00001251: PUSH1 0x00
00001253: SWAP1
00001254: DUP2
00001255: MSTORE
00001256: PUSH1 0x13
00001258: PUSH1 0x20
0000125a: MSTORE
0000125b: PUSH1 0x40
0000125d: DUP2
0000125e: KECCAK256
0000125f: PUSH1 0x01
00001261: ADD
00001262: SLOAD
00001263: SWAP1
00001264: DUP2
00001265: GT
00001266: PUSH2 0x126e
00001269: JUMPI
0000126a: PUSH1 0x00
0000126c: DUP1
0000126d: REVERT
0000126e: JUMPDEST
0000126f: PUSH1 0x01
00001271: PUSH1 0xa0
00001273: PUSH1 0x02
00001275: EXP
00001276: SUB
00001277: CALLER
00001278: AND
00001279: PUSH1 0x00
0000127b: DUP2
0000127c: DUP2
0000127d: MSTORE
0000127e: PUSH1 0x13
00001280: PUSH1 0x20
00001282: MSTORE
00001283: PUSH1 0x40
00001285: DUP1
00001286: DUP3
00001287: KECCAK256
00001288: PUSH1 0x01
0000128a: DUP2
0000128b: ADD
0000128c: DUP4
0000128d: SWAP1
0000128e: SSTORE
0000128f: SWAP2
00001290: SWAP1
00001291: SWAP2
00001292: SSTORE
00001293: DUP3
00001294: ISZERO
00001295: PUSH2 0x08fc
00001298: MUL
00001299: SWAP1
0000129a: DUP4
0000129b: SWAP1
0000129c: MLOAD
0000129d: PUSH1 0x00
0000129f: PUSH1 0x40
000012a1: MLOAD
000012a2: DUP1
000012a3: DUP4
000012a4: SUB
000012a5: DUP2
000012a6: DUP6
000012a7: DUP9
000012a8: DUP9
000012a9: CALL
000012aa: SWAP4
000012ab: POP
000012ac: POP
000012ad: POP
000012ae: POP
000012af: ISZERO
000012b0: ISZERO
000012b1: PUSH2 0x12b9
000012b4: JUMPI
000012b5: PUSH1 0x00
000012b7: DUP1
000012b8: REVERT
000012b9: JUMPDEST
000012ba: CALLER
000012bb: PUSH1 0x01
000012bd: PUSH1 0xa0
000012bf: PUSH1 0x02
000012c1: EXP
000012c2: SUB
000012c3: AND
000012c4: PUSH32 0xd7dee2702d63ad89917b6a4da9981c90c4d24f8c2bdfd64c604ecae57d8d0651
000012e5: DUP3
000012e6: PUSH1 0x40
000012e8: MLOAD
000012e9: SWAP1
000012ea: DUP2
000012eb: MSTORE
000012ec: PUSH1 0x20
000012ee: ADD
000012ef: PUSH1 0x40
000012f1: MLOAD
000012f2: DUP1
000012f3: SWAP2
000012f4: SUB
000012f5: SWAP1
000012f6: LOG2
000012f7: JUMPDEST
000012f8: POP
000012f9: JUMP
000012fa: JUMPDEST
000012fb: CALLER
000012fc: PUSH1 0x01
000012fe: PUSH1 0xa0
00001300: PUSH1 0x02
00001302: EXP
00001303: SUB
00001304: AND
00001305: PUSH32 0x0939f6f4877faf071412e527bc4c6d0bd65ad077e52b57334f7765265647a7f1
00001326: CALLVALUE
00001327: PUSH1 0x40
00001329: MLOAD
0000132a: SWAP1
0000132b: DUP2
0000132c: MSTORE
0000132d: PUSH1 0x20
0000132f: ADD
00001330: PUSH1 0x40
00001332: MLOAD
00001333: DUP1
00001334: SWAP2
00001335: SUB
00001336: SWAP1
00001337: LOG2
00001338: JUMPDEST
00001339: JUMP
0000133a: JUMPDEST
0000133b: PUSH1 0x12
0000133d: SLOAD
0000133e: PUSH1 0xa0
00001340: PUSH1 0x02
00001342: EXP
00001343: SWAP1
00001344: DIV
00001345: PUSH1 0xff
00001347: AND
00001348: DUP2
00001349: JUMP
0000134a: JUMPDEST
0000134b: PUSH1 0x0f
0000134d: SLOAD
0000134e: PUSH1 0x01
00001350: PUSH1 0xa0
00001352: PUSH1 0x02
00001354: EXP
00001355: SUB
00001356: AND
00001357: DUP2
00001358: JUMP
00001359: JUMPDEST
0000135a: PUSH1 0x00
0000135c: SLOAD
0000135d: CALLER
0000135e: PUSH1 0x01
00001360: PUSH1 0xa0
00001362: PUSH1 0x02
00001364: EXP
00001365: SUB
00001366: SWAP1
00001367: DUP2
00001368: AND
00001369: SWAP2
0000136a: AND
0000136b: EQ
0000136c: PUSH2 0x1374
0000136f: JUMPI
00001370: PUSH1 0x00
00001372: DUP1
00001373: REVERT
00001374: JUMPDEST
00001375: PUSH1 0x01
00001377: PUSH1 0xa0
00001379: PUSH1 0x02
0000137b: EXP
0000137c: SUB
0000137d: DUP2
0000137e: AND
0000137f: ISZERO
00001380: ISZERO
00001381: PUSH2 0x1389
00001384: JUMPI
00001385: PUSH1 0x00
00001387: DUP1
00001388: REVERT
00001389: JUMPDEST
0000138a: PUSH1 0x00
0000138c: SLOAD
0000138d: PUSH1 0x01
0000138f: PUSH1 0xa0
00001391: PUSH1 0x02
00001393: EXP
00001394: SUB
00001395: DUP1
00001396: DUP4
00001397: AND
00001398: SWAP2
00001399: AND
0000139a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000013bb: PUSH1 0x40
000013bd: MLOAD
000013be: PUSH1 0x40
000013c0: MLOAD
000013c1: DUP1
000013c2: SWAP2
000013c3: SUB
000013c4: SWAP1
000013c5: LOG3
000013c6: PUSH1 0x00
000013c8: DUP1
000013c9: SLOAD
000013ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013df: NOT
000013e0: AND
000013e1: PUSH1 0x01
000013e3: PUSH1 0xa0
000013e5: PUSH1 0x02
000013e7: EXP
000013e8: SUB
000013e9: DUP4
000013ea: AND
000013eb: OR
000013ec: SWAP1
000013ed: SSTORE
000013ee: JUMPDEST
000013ef: JUMPDEST
000013f0: POP
000013f1: JUMP
000013f2: JUMPDEST
000013f3: PUSH1 0x09
000013f5: SLOAD
000013f6: DUP2
000013f7: JUMP
000013f8: JUMPDEST
000013f9: PUSH1 0x00
000013fb: DUP1
000013fc: PUSH1 0x0b
000013fe: SLOAD
000013ff: NUMBER
00001400: SUB
00001401: SWAP2
00001402: POP
00001403: PUSH2 0x1417
00001406: PUSH1 0x05
00001408: SLOAD
00001409: DUP4
0000140a: PUSH2 0x15a4
0000140d: SWAP1
0000140e: SWAP2
0000140f: SWAP1
00001410: PUSH4 0xffffffff
00001415: AND
00001416: JUMP
00001417: JUMPDEST
00001418: SWAP1
00001419: POP
0000141a: DUP1
0000141b: ISZERO
0000141c: ISZERO
0000141d: PUSH2 0x142b
00001420: JUMPI
00001421: PUSH1 0x03
00001423: SLOAD
00001424: PUSH1 0x04
00001426: SSTORE
00001427: PUSH2 0x148b
0000142a: JUMP
0000142b: JUMPDEST
0000142c: DUP1
0000142d: PUSH1 0x01
0000142f: EQ
00001430: ISZERO
00001431: PUSH2 0x1444
00001434: JUMPI
00001435: PUSH7 0xd529ae9e860000
0000143d: PUSH1 0x04
0000143f: SSTORE
00001440: PUSH2 0x148b
00001443: JUMP
00001444: JUMPDEST
00001445: DUP1
00001446: PUSH1 0x02
00001448: EQ
00001449: ISZERO
0000144a: PUSH2 0x145d
0000144d: JUMPI
0000144e: PUSH7 0xe6ed27d6668000
00001456: PUSH1 0x04
00001458: SSTORE
00001459: PUSH2 0x148b
0000145c: JUMP
0000145d: JUMPDEST
0000145e: DUP1
0000145f: PUSH1 0x03
00001461: EQ
00001462: ISZERO
00001463: PUSH2 0x1476
00001466: JUMPI
00001467: PUSH7 0xf8b0a10e470000
0000146f: PUSH1 0x04
00001471: SSTORE
00001472: PUSH2 0x148b
00001475: JUMP
00001476: JUMPDEST
00001477: PUSH1 0x04
00001479: DUP2
0000147a: LT
0000147b: PUSH2 0x148b
0000147e: JUMPI
0000147f: PUSH8 0x011c37937e080000
00001488: PUSH1 0x04
0000148a: SSTORE
0000148b: JUMPDEST
0000148c: JUMPDEST
0000148d: JUMPDEST
0000148e: JUMPDEST
0000148f: JUMPDEST
00001490: JUMPDEST
00001491: POP
00001492: POP
00001493: JUMP
00001494: JUMPDEST
00001495: PUSH1 0x00
00001497: DUP3
00001498: DUP3
00001499: GT
0000149a: ISZERO
0000149b: PUSH2 0x14a0
0000149e: JUMPI
0000149f: INVALID
000014a0: JUMPDEST
000014a1: POP
000014a2: DUP1
000014a3: DUP3
000014a4: SUB
000014a5: JUMPDEST
000014a6: SWAP3
000014a7: SWAP2
000014a8: POP
000014a9: POP
000014aa: JUMP
000014ab: JUMPDEST
000014ac: PUSH1 0x08
000014ae: SLOAD
000014af: PUSH1 0x09
000014b1: SLOAD
000014b2: LT
000014b3: ISZERO
000014b4: PUSH2 0x14da
000014b7: JUMPI
000014b8: PUSH1 0x12
000014ba: DUP1
000014bb: SLOAD
000014bc: PUSH1 0x06
000014be: SWAP2
000014bf: SWAP1
000014c0: PUSH1 0xa0
000014c2: PUSH1 0x02
000014c4: EXP
000014c5: PUSH1 0xff
000014c7: MUL
000014c8: NOT
000014c9: AND
000014ca: PUSH1 0xa0
000014cc: PUSH1 0x02
000014ce: EXP
000014cf: DUP4
000014d0: JUMPDEST
000014d1: MUL
000014d2: OR
000014d3: SWAP1
000014d4: SSTORE
000014d5: POP
000014d6: PUSH2 0x1500
000014d9: JUMP
000014da: JUMPDEST
000014db: PUSH1 0x12
000014dd: DUP1
000014de: SLOAD
000014df: PUSH1 0x04
000014e1: SWAP2
000014e2: SWAP1
000014e3: PUSH1 0xa0
000014e5: PUSH1 0x02
000014e7: EXP
000014e8: PUSH1 0xff
000014ea: MUL
000014eb: NOT
000014ec: AND
000014ed: PUSH1 0xa0
000014ef: PUSH1 0x02
000014f1: EXP
000014f2: DUP4
000014f3: JUMPDEST
000014f4: MUL
000014f5: OR
000014f6: SWAP1
000014f7: SSTORE
000014f8: POP
000014f9: PUSH2 0x1500
000014fc: PUSH2 0x15d5
000014ff: JUMP
00001500: JUMPDEST
00001501: JUMPDEST
00001502: PUSH32 0x0bd8a3eb532e5fbcd3f5b00335f0fb42fdc11969e9af0fab7c9e71a36ae0d31a
00001523: PUSH1 0x40
00001525: MLOAD
00001526: PUSH1 0x40
00001528: MLOAD
00001529: DUP1
0000152a: SWAP2
0000152b: SUB
0000152c: SWAP1
0000152d: LOG1
0000152e: JUMPDEST
0000152f: JUMP
00001530: JUMPDEST
00001531: PUSH1 0x12
00001533: DUP1
00001534: SLOAD
00001535: PUSH1 0x05
00001537: SWAP2
00001538: SWAP1
00001539: PUSH1 0xa0
0000153b: PUSH1 0x02
0000153d: EXP
0000153e: PUSH1 0xff
00001540: MUL
00001541: NOT
00001542: AND
00001543: PUSH1 0xa0
00001545: PUSH1 0x02
00001547: EXP
00001548: DUP4
00001549: JUMPDEST
0000154a: MUL
0000154b: OR
0000154c: SWAP1
0000154d: SSTORE
0000154e: POP
0000154f: PUSH1 0x0d
00001551: SLOAD
00001552: PUSH1 0x01
00001554: PUSH1 0xa0
00001556: PUSH1 0x02
00001558: EXP
00001559: SUB
0000155a: SWAP1
0000155b: DUP2
0000155c: AND
0000155d: SWAP1
0000155e: ADDRESS
0000155f: AND
00001560: BALANCE
00001561: DUP1
00001562: ISZERO
00001563: PUSH2 0x08fc
00001566: MUL
00001567: SWAP1
00001568: PUSH1 0x40
0000156a: MLOAD
0000156b: PUSH1 0x00
0000156d: PUSH1 0x40
0000156f: MLOAD
00001570: DUP1
00001571: DUP4
00001572: SUB
00001573: DUP2
00001574: DUP6
00001575: DUP9
00001576: DUP9
00001577: CALL
00001578: SWAP4
00001579: POP
0000157a: POP
0000157b: POP
0000157c: POP
0000157d: ISZERO
0000157e: ISZERO
0000157f: PUSH2 0x1338
00001582: JUMPI
00001583: PUSH1 0x00
00001585: DUP1
00001586: REVERT
00001587: JUMPDEST
00001588: JUMPDEST
00001589: JUMP
0000158a: JUMPDEST
0000158b: PUSH1 0x00
0000158d: DUP3
0000158e: DUP3
0000158f: ADD
00001590: DUP4
00001591: DUP2
00001592: LT
00001593: ISZERO
00001594: PUSH2 0x1599
00001597: JUMPI
00001598: INVALID
00001599: JUMPDEST
0000159a: DUP1
0000159b: SWAP2
0000159c: POP
0000159d: JUMPDEST
0000159e: POP
0000159f: SWAP3
000015a0: SWAP2
000015a1: POP
000015a2: POP
000015a3: JUMP
000015a4: JUMPDEST
000015a5: PUSH1 0x00
000015a7: DUP1
000015a8: DUP3
000015a9: DUP5
000015aa: DUP2
000015ab: ISZERO
000015ac: ISZERO
000015ad: PUSH2 0x15b2
000015b0: JUMPI
000015b1: INVALID
000015b2: JUMPDEST
000015b3: DIV
000015b4: SWAP1
000015b5: POP
000015b6: DUP1
000015b7: SWAP2
000015b8: POP
000015b9: JUMPDEST
000015ba: POP
000015bb: SWAP3
000015bc: SWAP2
000015bd: POP
000015be: POP
000015bf: JUMP
000015c0: JUMPDEST
000015c1: PUSH1 0x00
000015c3: PUSH2 0x15cc
000015c6: DUP4
000015c7: DUP4
000015c8: PUSH2 0x0614
000015cb: JUMP
000015cc: JUMPDEST
000015cd: SWAP1
000015ce: POP
000015cf: JUMPDEST
000015d0: SWAP3
000015d1: SWAP2
000015d2: POP
000015d3: POP
000015d4: JUMP
000015d5: JUMPDEST
000015d6: PUSH1 0x00
000015d8: PUSH2 0x1616
000015db: PUSH1 0x64
000015dd: PUSH2 0x160a
000015e0: PUSH1 0x4a
000015e2: PUSH2 0x15fe
000015e5: PUSH8 0x0de0b6b3a7640000
000015ee: PUSH1 0x0a
000015f0: SLOAD
000015f1: PUSH2 0x19f1
000015f4: SWAP1
000015f5: SWAP2
000015f6: SWAP1
000015f7: PUSH4 0xffffffff
000015fc: AND
000015fd: JUMP
000015fe: JUMPDEST
000015ff: SWAP1
00001600: PUSH4 0xffffffff
00001605: PUSH2 0x15a4
00001608: AND
00001609: JUMP
0000160a: JUMPDEST
0000160b: SWAP1
0000160c: PUSH4 0xffffffff
00001611: PUSH2 0x19f1
00001614: AND
00001615: JUMP
00001616: JUMPDEST
00001617: PUSH1 0x12
00001619: SLOAD
0000161a: SWAP1
0000161b: SWAP2
0000161c: POP
0000161d: PUSH1 0x01
0000161f: PUSH1 0xa0
00001621: PUSH1 0x02
00001623: EXP
00001624: SUB
00001625: AND
00001626: PUSH4 0x40c10f19
0000162b: ADDRESS
0000162c: PUSH2 0x1643
0000162f: DUP5
00001630: PUSH8 0x0de0b6b3a7640000
00001639: PUSH4 0xffffffff
0000163e: PUSH2 0x15a4
00001641: AND
00001642: JUMP
00001643: JUMPDEST
00001644: PUSH1 0x00
00001646: PUSH1 0x40
00001648: MLOAD
00001649: PUSH1 0x20
0000164b: ADD
0000164c: MSTORE
0000164d: PUSH1 0x40
0000164f: MLOAD
00001650: PUSH1 0xe0
00001652: PUSH1 0x02
00001654: EXP
00001655: PUSH4 0xffffffff
0000165a: DUP6
0000165b: AND
0000165c: MUL
0000165d: DUP2
0000165e: MSTORE
0000165f: PUSH1 0x01
00001661: PUSH1 0xa0
00001663: PUSH1 0x02
00001665: EXP
00001666: SUB
00001667: SWAP1
00001668: SWAP3
00001669: AND
0000166a: PUSH1 0x04
0000166c: DUP4
0000166d: ADD
0000166e: MSTORE
0000166f: PUSH1 0x24
00001671: DUP3
00001672: ADD
00001673: MSTORE
00001674: PUSH1 0x44
00001676: ADD
00001677: PUSH1 0x20
00001679: PUSH1 0x40
0000167b: MLOAD
0000167c: DUP1
0000167d: DUP4
0000167e: SUB
0000167f: DUP2
00001680: PUSH1 0x00
00001682: DUP8
00001683: DUP1
00001684: EXTCODESIZE
00001685: ISZERO
00001686: ISZERO
00001687: PUSH2 0x168f
0000168a: JUMPI
0000168b: PUSH1 0x00
0000168d: DUP1
0000168e: REVERT
0000168f: JUMPDEST
00001690: PUSH2 0x02c6
00001693: GAS
00001694: SUB
00001695: CALL
00001696: ISZERO
00001697: ISZERO
00001698: PUSH2 0x16a0
0000169b: JUMPI
0000169c: PUSH1 0x00
0000169e: DUP1
0000169f: REVERT
000016a0: JUMPDEST
000016a1: POP
000016a2: POP
000016a3: POP
000016a4: PUSH1 0x40
000016a6: MLOAD
000016a7: DUP1
000016a8: MLOAD
000016a9: POP
000016aa: POP
000016ab: PUSH1 0x12
000016ad: SLOAD
000016ae: PUSH1 0x0e
000016b0: SLOAD
000016b1: PUSH1 0x01
000016b3: PUSH1 0xa0
000016b5: PUSH1 0x02
000016b7: EXP
000016b8: SUB
000016b9: SWAP2
000016ba: DUP3
000016bb: AND
000016bc: SWAP2
000016bd: PUSH4 0xa9059cbb
000016c2: SWAP2
000016c3: AND
000016c4: PUSH2 0x16fb
000016c7: PUSH8 0x0de0b6b3a7640000
000016d0: PUSH2 0x15fe
000016d3: PUSH1 0x64
000016d5: DUP2
000016d6: DUP9
000016d7: PUSH1 0x0a
000016d9: PUSH4 0xffffffff
000016de: PUSH2 0x19f1
000016e1: AND
000016e2: JUMP
000016e3: JUMPDEST
000016e4: SWAP1
000016e5: PUSH4 0xffffffff
000016ea: PUSH2 0x15a4
000016ed: AND
000016ee: JUMP
000016ef: JUMPDEST
000016f0: SWAP1
000016f1: PUSH4 0xffffffff
000016f6: PUSH2 0x15a4
000016f9: AND
000016fa: JUMP
000016fb: JUMPDEST
000016fc: PUSH1 0x00
000016fe: PUSH1 0x40
00001700: MLOAD
00001701: PUSH1 0x20
00001703: ADD
00001704: MSTORE
00001705: PUSH1 0x40
00001707: MLOAD
00001708: PUSH1 0xe0
0000170a: PUSH1 0x02
0000170c: EXP
0000170d: PUSH4 0xffffffff
00001712: DUP6
00001713: AND
00001714: MUL
00001715: DUP2
00001716: MSTORE
00001717: PUSH1 0x01
00001719: PUSH1 0xa0
0000171b: PUSH1 0x02
0000171d: EXP
0000171e: SUB
0000171f: SWAP1
00001720: SWAP3
00001721: AND
00001722: PUSH1 0x04
00001724: DUP4
00001725: ADD
00001726: MSTORE
00001727: PUSH1 0x24
00001729: DUP3
0000172a: ADD
0000172b: MSTORE
0000172c: PUSH1 0x44
0000172e: ADD
0000172f: PUSH1 0x20
00001731: PUSH1 0x40
00001733: MLOAD
00001734: DUP1
00001735: DUP4
00001736: SUB
00001737: DUP2
00001738: PUSH1 0x00
0000173a: DUP8
0000173b: DUP1
0000173c: EXTCODESIZE
0000173d: ISZERO
0000173e: ISZERO
0000173f: PUSH2 0x1747
00001742: JUMPI
00001743: PUSH1 0x00
00001745: DUP1
00001746: REVERT
00001747: JUMPDEST
00001748: PUSH2 0x02c6
0000174b: GAS
0000174c: SUB
0000174d: CALL
0000174e: ISZERO
0000174f: ISZERO
00001750: PUSH2 0x1758
00001753: JUMPI
00001754: PUSH1 0x00
00001756: DUP1
00001757: REVERT
00001758: JUMPDEST
00001759: POP
0000175a: POP
0000175b: POP
0000175c: PUSH1 0x40
0000175e: MLOAD
0000175f: DUP1
00001760: MLOAD
00001761: POP
00001762: POP
00001763: PUSH1 0x12
00001765: SLOAD
00001766: PUSH1 0x0f
00001768: SLOAD
00001769: PUSH1 0x01
0000176b: PUSH1 0xa0
0000176d: PUSH1 0x02
0000176f: EXP
00001770: SUB
00001771: SWAP2
00001772: DUP3
00001773: AND
00001774: SWAP2
00001775: PUSH4 0xa9059cbb
0000177a: SWAP2
0000177b: AND
0000177c: PUSH2 0x17b3
0000177f: PUSH8 0x0de0b6b3a7640000
00001788: PUSH2 0x15fe
0000178b: PUSH1 0x64
0000178d: DUP2
0000178e: DUP9
0000178f: PUSH1 0x0a
00001791: PUSH4 0xffffffff
00001796: PUSH2 0x19f1
00001799: AND
0000179a: JUMP
0000179b: JUMPDEST
0000179c: SWAP1
0000179d: PUSH4 0xffffffff
000017a2: PUSH2 0x15a4
000017a5: AND
000017a6: JUMP
000017a7: JUMPDEST
000017a8: SWAP1
000017a9: PUSH4 0xffffffff
000017ae: PUSH2 0x15a4
000017b1: AND
000017b2: JUMP
000017b3: JUMPDEST
000017b4: PUSH1 0x00
000017b6: PUSH1 0x40
000017b8: MLOAD
000017b9: PUSH1 0x20
000017bb: ADD
000017bc: MSTORE
000017bd: PUSH1 0x40
000017bf: MLOAD
000017c0: PUSH1 0xe0
000017c2: PUSH1 0x02
000017c4: EXP
000017c5: PUSH4 0xffffffff
000017ca: DUP6
000017cb: AND
000017cc: MUL
000017cd: DUP2
000017ce: MSTORE
000017cf: PUSH1 0x01
000017d1: PUSH1 0xa0
000017d3: PUSH1 0x02
000017d5: EXP
000017d6: SUB
000017d7: SWAP1
000017d8: SWAP3
000017d9: AND
000017da: PUSH1 0x04
000017dc: DUP4
000017dd: ADD
000017de: MSTORE
000017df: PUSH1 0x24
000017e1: DUP3
000017e2: ADD
000017e3: MSTORE
000017e4: PUSH1 0x44
000017e6: ADD
000017e7: PUSH1 0x20
000017e9: PUSH1 0x40
000017eb: MLOAD
000017ec: DUP1
000017ed: DUP4
000017ee: SUB
000017ef: DUP2
000017f0: PUSH1 0x00
000017f2: DUP8
000017f3: DUP1
000017f4: EXTCODESIZE
000017f5: ISZERO
000017f6: ISZERO
000017f7: PUSH2 0x17ff
000017fa: JUMPI
000017fb: PUSH1 0x00
000017fd: DUP1
000017fe: REVERT
000017ff: JUMPDEST
00001800: PUSH2 0x02c6
00001803: GAS
00001804: SUB
00001805: CALL
00001806: ISZERO
00001807: ISZERO
00001808: PUSH2 0x1810
0000180b: JUMPI
0000180c: PUSH1 0x00
0000180e: DUP1
0000180f: REVERT
00001810: JUMPDEST
00001811: POP
00001812: POP
00001813: POP
00001814: PUSH1 0x40
00001816: MLOAD
00001817: DUP1
00001818: MLOAD
00001819: POP
0000181a: POP
0000181b: PUSH1 0x12
0000181d: SLOAD
0000181e: PUSH1 0x10
00001820: SLOAD
00001821: PUSH1 0x01
00001823: PUSH1 0xa0
00001825: PUSH1 0x02
00001827: EXP
00001828: SUB
00001829: SWAP2
0000182a: DUP3
0000182b: AND
0000182c: SWAP2
0000182d: PUSH4 0xa9059cbb
00001832: SWAP2
00001833: AND
00001834: PUSH2 0x186b
00001837: PUSH8 0x0de0b6b3a7640000
00001840: PUSH2 0x15fe
00001843: PUSH1 0x64
00001845: DUP2
00001846: DUP9
00001847: PUSH1 0x04
00001849: PUSH4 0xffffffff
0000184e: PUSH2 0x19f1
00001851: AND
00001852: JUMP
00001853: JUMPDEST
00001854: SWAP1
00001855: PUSH4 0xffffffff
0000185a: PUSH2 0x15a4
0000185d: AND
0000185e: JUMP
0000185f: JUMPDEST
00001860: SWAP1
00001861: PUSH4 0xffffffff
00001866: PUSH2 0x15a4
00001869: AND
0000186a: JUMP
0000186b: JUMPDEST
0000186c: PUSH1 0x00
0000186e: PUSH1 0x40
00001870: MLOAD
00001871: PUSH1 0x20
00001873: ADD
00001874: MSTORE
00001875: PUSH1 0x40
00001877: MLOAD
00001878: PUSH1 0xe0
0000187a: PUSH1 0x02
0000187c: EXP
0000187d: PUSH4 0xffffffff
00001882: DUP6
00001883: AND
00001884: MUL
00001885: DUP2
00001886: MSTORE
00001887: PUSH1 0x01
00001889: PUSH1 0xa0
0000188b: PUSH1 0x02
0000188d: EXP
0000188e: SUB
0000188f: SWAP1
00001890: SWAP3
00001891: AND
00001892: PUSH1 0x04
00001894: DUP4
00001895: ADD
00001896: MSTORE
00001897: PUSH1 0x24
00001899: DUP3
0000189a: ADD
0000189b: MSTORE
0000189c: PUSH1 0x44
0000189e: ADD
0000189f: PUSH1 0x20
000018a1: PUSH1 0x40
000018a3: MLOAD
000018a4: DUP1
000018a5: DUP4
000018a6: SUB
000018a7: DUP2
000018a8: PUSH1 0x00
000018aa: DUP8
000018ab: DUP1
000018ac: EXTCODESIZE
000018ad: ISZERO
000018ae: ISZERO
000018af: PUSH2 0x18b7
000018b2: JUMPI
000018b3: PUSH1 0x00
000018b5: DUP1
000018b6: REVERT
000018b7: JUMPDEST
000018b8: PUSH2 0x02c6
000018bb: GAS
000018bc: SUB
000018bd: CALL
000018be: ISZERO
000018bf: ISZERO
000018c0: PUSH2 0x18c8
000018c3: JUMPI
000018c4: PUSH1 0x00
000018c6: DUP1
000018c7: REVERT
000018c8: JUMPDEST
000018c9: POP
000018ca: POP
000018cb: POP
000018cc: PUSH1 0x40
000018ce: MLOAD
000018cf: DUP1
000018d0: MLOAD
000018d1: POP
000018d2: POP
000018d3: PUSH1 0x12
000018d5: SLOAD
000018d6: PUSH1 0x11
000018d8: SLOAD
000018d9: PUSH1 0x01
000018db: PUSH1 0xa0
000018dd: PUSH1 0x02
000018df: EXP
000018e0: SUB
000018e1: SWAP2
000018e2: DUP3
000018e3: AND
000018e4: SWAP2
000018e5: PUSH4 0xa9059cbb
000018ea: SWAP2
000018eb: AND
000018ec: PUSH2 0x1923
000018ef: PUSH8 0x0de0b6b3a7640000
000018f8: PUSH2 0x15fe
000018fb: PUSH1 0x64
000018fd: DUP2
000018fe: DUP9
000018ff: PUSH1 0x02
00001901: PUSH4 0xffffffff
00001906: PUSH2 0x19f1
00001909: AND
0000190a: JUMP
0000190b: JUMPDEST
0000190c: SWAP1
0000190d: PUSH4 0xffffffff
00001912: PUSH2 0x15a4
00001915: AND
00001916: JUMP
00001917: JUMPDEST
00001918: SWAP1
00001919: PUSH4 0xffffffff
0000191e: PUSH2 0x15a4
00001921: AND
00001922: JUMP
00001923: JUMPDEST
00001924: PUSH1 0x00
00001926: PUSH1 0x40
00001928: MLOAD
00001929: PUSH1 0x20
0000192b: ADD
0000192c: MSTORE
0000192d: PUSH1 0x40
0000192f: MLOAD
00001930: PUSH1 0xe0
00001932: PUSH1 0x02
00001934: EXP
00001935: PUSH4 0xffffffff
0000193a: DUP6
0000193b: AND
0000193c: MUL
0000193d: DUP2
0000193e: MSTORE
0000193f: PUSH1 0x01
00001941: PUSH1 0xa0
00001943: PUSH1 0x02
00001945: EXP
00001946: SUB
00001947: SWAP1
00001948: SWAP3
00001949: AND
0000194a: PUSH1 0x04
0000194c: DUP4
0000194d: ADD
0000194e: MSTORE
0000194f: PUSH1 0x24
00001951: DUP3
00001952: ADD
00001953: MSTORE
00001954: PUSH1 0x44
00001956: ADD
00001957: PUSH1 0x20
00001959: PUSH1 0x40
0000195b: MLOAD
0000195c: DUP1
0000195d: DUP4
0000195e: SUB
0000195f: DUP2
00001960: PUSH1 0x00
00001962: DUP8
00001963: DUP1
00001964: EXTCODESIZE
00001965: ISZERO
00001966: ISZERO
00001967: PUSH2 0x196f
0000196a: JUMPI
0000196b: PUSH1 0x00
0000196d: DUP1
0000196e: REVERT
0000196f: JUMPDEST
00001970: PUSH2 0x02c6
00001973: GAS
00001974: SUB
00001975: CALL
00001976: ISZERO
00001977: ISZERO
00001978: PUSH2 0x1980
0000197b: JUMPI
0000197c: PUSH1 0x00
0000197e: DUP1
0000197f: REVERT
00001980: JUMPDEST
00001981: POP
00001982: POP
00001983: POP
00001984: PUSH1 0x40
00001986: MLOAD
00001987: DUP1
00001988: MLOAD
00001989: POP
0000198a: POP
0000198b: PUSH1 0x12
0000198d: SLOAD
0000198e: PUSH1 0x01
00001990: PUSH1 0xa0
00001992: PUSH1 0x02
00001994: EXP
00001995: SUB
00001996: AND
00001997: PUSH4 0x7d64bcb4
0000199c: PUSH1 0x00
0000199e: PUSH1 0x40
000019a0: MLOAD
000019a1: PUSH1 0x20
000019a3: ADD
000019a4: MSTORE
000019a5: PUSH1 0x40
000019a7: MLOAD
000019a8: DUP2
000019a9: PUSH4 0xffffffff
000019ae: AND
000019af: PUSH1 0xe0
000019b1: PUSH1 0x02
000019b3: EXP
000019b4: MUL
000019b5: DUP2
000019b6: MSTORE
000019b7: PUSH1 0x04
000019b9: ADD
000019ba: PUSH1 0x20
000019bc: PUSH1 0x40
000019be: MLOAD
000019bf: DUP1
000019c0: DUP4
000019c1: SUB
000019c2: DUP2
000019c3: PUSH1 0x00
000019c5: DUP8
000019c6: DUP1
000019c7: EXTCODESIZE
000019c8: ISZERO
000019c9: ISZERO
000019ca: PUSH2 0x19d2
000019cd: JUMPI
000019ce: PUSH1 0x00
000019d0: DUP1
000019d1: REVERT
000019d2: JUMPDEST
000019d3: PUSH2 0x02c6
000019d6: GAS
000019d7: SUB
000019d8: CALL
000019d9: ISZERO
000019da: ISZERO
000019db: PUSH2 0x19e3
000019de: JUMPI
000019df: PUSH1 0x00
000019e1: DUP1
000019e2: REVERT
000019e3: JUMPDEST
000019e4: POP
000019e5: POP
000019e6: POP
000019e7: PUSH1 0x40
000019e9: MLOAD
000019ea: DUP1
000019eb: MLOAD
000019ec: POP
000019ed: POP
000019ee: JUMPDEST
000019ef: POP
000019f0: JUMP
000019f1: JUMPDEST
000019f2: PUSH1 0x00
000019f4: DUP3
000019f5: DUP3
000019f6: MUL
000019f7: DUP4
000019f8: ISZERO
000019f9: DUP1
000019fa: PUSH2 0x1a0d
000019fd: JUMPI
000019fe: POP
000019ff: DUP3
00001a00: DUP5
00001a01: DUP3
00001a02: DUP2
00001a03: ISZERO
00001a04: ISZERO
00001a05: PUSH2 0x1a0a
00001a08: JUMPI
00001a09: INVALID
00001a0a: JUMPDEST
00001a0b: DIV
00001a0c: EQ
00001a0d: JUMPDEST
00001a0e: ISZERO
00001a0f: ISZERO
00001a10: PUSH2 0x1599
00001a13: JUMPI
00001a14: INVALID
00001a15: JUMPDEST
00001a16: DUP1
00001a17: SWAP2
00001a18: POP
00001a19: JUMPDEST
00001a1a: POP
00001a1b: SWAP3
00001a1c: SWAP2
00001a1d: POP
00001a1e: POP
00001a1f: JUMP
00001a20: STOP
00001a21: LOG1
00001a22: PUSH6 0x627a7a723058
00001a29: KECCAK256
00001a2a: SWAP15
00001a2b: PUSH21 0xd4b5da6b0a7a1b3cc3f0727a2b097a3c5f5089f3ee
00001a41: CALLER
00001a42: UNKNOWN(0xA7)
00001a43: UNKNOWN(0x4F)
00001a44: LOG2
00001a45: PUSH10

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x3e9f88f432ffd1d63f9adea832c60022f29a1a95707f9e21edd2df83f37c1591
call_targets: 0x943e99d9efd4b44d808f6c83373a9a2c1e15e0f8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3e9f88f432ffd1d63f9adea832c60022f29a1a95707f9e21edd2df83f37c1591",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x943e99d9efd4b44d808f6c83373a9a2c1e15e0f8"
    ],
    "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": "0x04c6ff7c",
            "selector": "0x04c6ff7c",
            "calldata_variants": [
                "0x04c6ff7c",
                "0x04c6ff7c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x083c6323",
            "selector": "0x083c6323",
            "calldata_variants": [
                "0x083c6323",
                "0x083c63230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1da93873",
            "selector": "0x1da93873",
            "calldata_variants": [
                "0x1da93873",
                "0x1da938730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20263e87",
            "selector": "0x20263e87",
            "calldata_variants": [
                "0x20263e87",
                "0x20263e870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4451d89f",
            "selector": "0x4451d89f",
            "calldata_variants": [
                "0x4451d89f",
                "0x4451d89f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x47e87fcd",
            "selector": "0x47e87fcd",
            "calldata_variants": [
                "0x47e87fcd",
                "0x47e87fcd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48cd4cb1",
            "selector": "0x48cd4cb1",
            "calldata_variants": [
                "0x48cd4cb1",
                "0x48cd4cb10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x508a8976",
            "selector": "0x508a8976",
            "calldata_variants": [
                "0x508a8976",
                "0x508a89760000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2416,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3133,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3503,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 12,
    "guards_detected": [],
    "untrusted_call_count": 12
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x3e9f88f432ffd1d63f9adea832c60022f29a1a95707f9e21edd2df83f37c1591
call_targets: 0x943e99d9efd4b44d808f6c83373a9a2c1e15e0f8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3e9f88f432ffd1d63f9adea832c60022f29a1a95707f9e21edd2df83f37c1591",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x943e99d9efd4b44d808f6c83373a9a2c1e15e0f8"
    ],
    "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": "0x04c6ff7c",
            "selector": "0x04c6ff7c",
            "calldata_variants": [
                "0x04c6ff7c",
                "0x04c6ff7c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x083c6323",
            "selector": "0x083c6323",
            "calldata_variants": [
                "0x083c6323",
                "0x083c63230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1da93873",
            "selector": "0x1da93873",
            "calldata_variants": [
                "0x1da93873",
                "0x1da938730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20263e87",
            "selector": "0x20263e87",
            "calldata_variants": [
                "0x20263e87",
                "0x20263e870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4451d89f",
            "selector": "0x4451d89f",
            "calldata_variants": [
                "0x4451d89f",
                "0x4451d89f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x47e87fcd",
            "selector": "0x47e87fcd",
            "calldata_variants": [
                "0x47e87fcd",
                "0x47e87fcd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48cd4cb1",
            "selector": "0x48cd4cb1",
            "calldata_variants": [
                "0x48cd4cb1",
                "0x48cd4cb10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x508a8976",
            "selector": "0x508a8976",
            "calldata_variants": [
                "0x508a8976",
                "0x508a89760000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2416,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3133,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3503,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 12,
    "guards_detected": []
}