13062033domain: NAppears in sequencesa(n)/2^A332917(n) is the average number of binary strings of length n with Levenshtein distance <= 3 from a uniform randomly sampled binary string of this length.at n=13A332916