Steinar H. Gunderson: A286874(15) >= 42
The following 42 15-bit values form a 2-disjunctive matrix
(that is, no union of two values contain or equal a third value),
or equivalently, a superimposed code:
000000000011111 000000011100011 000000101101100 000001010110100 000001101010001 000001110001010 000010011011000 000100100110010 000110010000110 000110100001001 000111001100000 001000110000101 001010000110001 001010101000010 001011000001100 001100001010100 001100010101000 001101000000011 010001000101001 010010001000101 010010110100000 010011000010010 010100001001010 010100010010001 010101100000100 011000000100110 011000100011000 011001011000000 100001001000110 100010000101010 100010100010100 100011010000001 100100000100101 100100111000000 100101000011000 101000001001001 101000010010010 101001100100000 110000001110000 110000010001100 110000100000011 111110000000000
This shows that A286874 a(15) >= 42.
If I had to make a guess, I’d say the equality holds, but I have nowhere
near the computing resources to actually find the answer for sure.
Stay tuned for news about a(14), though.
