Asttix. Aqua vs sharp.

Redbuild xtz tablet. 4-bit counter verilog.