In investigating a hard sequence (A303735) I've come up with two other sequences, not in the OEIS, which are constructions of lower bounds using entropy arguments. Are they something that should go into the OEIS as their own sequences?