# From tonchev@mtu.edu Sun Jun 8 18:59:13 1997 # A(17,4,5) >= 441. # Shortening on 10th column shows A(16,4,5) >= 315. 11100000000000011 10011000000000011 10000110000000011 10000001100000011 10000000011000011 10000000000110011 10000000000001111 01010100000000011 01001010000000011 01000001010000011 01000000101000011 01000000000101011 01000000000010111 00110010000000011 00101100000000011 00100001001000011 00100000110000011 00100000000100111 00100000000011011 00010001000100011 00010000100010011 00010000010001011 00010000001000111 00001001000010011 00001000100100011 00001000010000111 00001000001001011 00000101000001011 00000100100000111 00000100010100011 00000100001010011 00000011000000111 00000010100001011 00000010010010011 00000010001100011 11010010000000010 11001100000000010 11000001001000010 11000000110000010 11000000000100110 11000000000011010 10110100000000010 10101010000000010 10100001010000010 10100000101000010 10100000000101010 10100000000010110 10010001000010010 10010000100100010 10010000010000110 10010000001001010 10001001000100010 10001000100010010 10001000010001010 10001000001000110 10000101000000110 10000100100001010 10000100010010010 10000100001100010 10000011000001010 10000010100000110 10000010010100010 10000010001010010 01111000000000010 01100110000000010 01100001100000010 01100000011000010 01100000000110010 01100000000001110 01010001000001010 01010000100000110 01010000010100010 01010000001010010 01001001000000110 01001000100001010 01001000010010010 01001000001100010 01000101000100010 01000100100010010 01000100010001010 01000100001000110 01000011000010010 01000010100100010 01000010010000110 01000010001001010 00110001000000110 00110000100001010 00110000010010010 00110000001100010 00101001000001010 00101000100000110 00101000010100010 00101000001010010 00100101000010010 00100100100100010 00100100010000110 00100100001001010 00100011000100010 00100010100010010 00100010010001010 00100010001000110 00011110000000010 00011001100000010 00011000011000010 00011000000110010 00011000000001110 00010101010000010 00010100101000010 00010100000101010 00010100000010110 00010011001000010 00010010110000010 00010010000100110 00010010000011010 00001101001000010 00001100110000010 00001100000100110 00001100000011010 00001011010000010 00001010101000010 00001010000101010 00001010000010110 00000111100000010 00000110011000010 00000110000110010 00000110000001110 00000001111000010 00000001100110010 00000001100001110 00000001010101010 00000001010010110 00000001001100110 00000001001011010 00000000110100110 00000000110011010 00000000101101010 00000000101010110 00000000011110010 00000000011001110 00000000000111110 01010000010010001 10000100001001001 00011000000101001 10100000100000101 00100010011000001 01000010000100101 00001100100010001 01000010010001001 00001100000001101 01010000100100001 10000100110000001 10100000001100001 00100010000010101 00011000001010001 00101000010010001 00110000001001001 00000110000101001 00001010100000101 01000100011000001 10010000000100101 11000000100010001 00100100010001001 00010010000001101 10000010100100001 01001000110000001 00010100001100001 10001000000010101 01100000001010001 00010100000011001 10000010001000101 10001000100001001 01100000010000101 00010010010100001 01001000000110001 00100100101000001 00001010000011001 00101000001000101 01000100100001001 00000110010000101 11000000010100001 00110000000110001 10010000101000001 00000000101100101 00000000110110001 00000000011010101 00000000001111001 00000000100011101 00000000111001001 00000000010101101 10000000010011001 01000000001001101 00100000100101001 00010000110000101 00001000011100001 00000100000110101 00000010101010001 11010000000001001 11000100000000101 00111000100000001 10110000010000001 00101010000100001 01000110000010001 00001110001000001 10100100000010001 01010010001000001 10100010000001001 01011000000000101 00011100010000001 10001100000100001 01100010100000001 10001010010000001 01101000000001001 01100100000100001 00010110100000001 11001000001000001 00110100000000101 10010010000010001 01001101000000001 00100111000000001 10010101000000001 11000011000000001 01110001000000001 00011011000000001 10101001000000001 01000001000011001 00000101001000101 00010001100001001 10000001010000101 00100001010100001 00000011000110001 00001001101000001 00001001010001001 00100001000001101 00000101100100001 00000011110000001 01000001001100001 00010001000010101 10000001001010001 00000101010010001 00000011001001001 10000001000101001 01000001100000101 00010001011000001 00001001000100101 00100001100010001 11110000001000000 11010100000100000 11000110100000000 10111000000010000 01001110010000000 00111010000000100 00101110000001000 11101000100000000 01101100000010000 01110100010000000 11001010000000100 00110110001000000 10011010000100000 10010110000001000 11100010010000000 10100110000000100 10101100001000000 01110010000100000 10011100100000000 01011010000010000 01011100000001000 11010001100000000 11000101010000000 10110001000100000 01000111000001000 00111001001000000 00101011000010000 00001111000000100 01101001010000000 01100101001000000 11001001000010000 00110101000001000 10001011100000000 10010011000000100 00010111000100000 10100011001000000 10100101100000000 01100011000000100 10001101000001000 01010011010000000 01011001000100000 00011101000010000 11000001000001100 10010001010001000 01000101000010100 00110001110000000 00101001100100000 00001011001100000 00000111001010000 01100001000101000 01001001001001000 00100101000100100 10001001011000000 10000011010010000 00010011100010000 00010101100000100 10100001000011000 00100011100001000 10000101000110000 01000011101000000 01010001001000100 00011001010000100 00001101010100000 11000000101000100 10010000000111000 01000100010110000 00110000011000100 00101000100011000 00001010010100100 00000110101001000 01100000110100000 01001000000011100 00100100001010100 10001000101100000 10000010010001100 00010010001110000 00010100110001000 10100000011010000 00100010000101100 10000100100100100 01000010110010000 01010000001101000 00011000100010100 00001100011001000 11000000100101000 10010000011100000 01000100110000100 00110000101010000 00101000000110100 00001010001001100 00000110010011000 01100000010011000 01001000101010000 00100100011100000 10001000110000100 10000010000110100 00010010100101000 00010100001001100 10100000001001100 00100010110000100 10000100101010000 01000010011100000 01010000000110100 00011000010011000 00001100100101000 11000000011001000 10010000110010000 01000100000101100 00110000100100100 00101000001101000 00001010011010000 00000110100010100 01100000101001000 01001000011000100 00100100000111000 10001000010110000 10000010100011000 00010010101000100 00010100010100100 10100000110001000 00100010101100000 10000100000011100 01000010001010100 01010000010001100 00011000110100000 00001100001110000 11000000010010100 10010000100001100 01000100001011000 00110000010101000 00101000111000000 00001010100110000 00000110001100100 01100000001100100 01001000010101000 00100100100001100 10001000001011000 10000010111000000 00010010010010100 00010100100110000 10100000100110000 00100010001011000 10000100010101000 01000010100001100 01010000111000000 00011000001100100 00001100010010100 11000000001110000 10010000001010100 01000100101100000 00110000000011100 00101000010001100 00001010110001000 00000110110100000 01100000100010100 01001000100100100 00100100110010000 10001000000101100 10000010001101000 00010010011001000 00010100011010000 10100000010100100 00100010010110000 10000100011000100 01000010000111000 01010000100011000 00011000101001000 00001100101000100 10000001110100000 01000001110001000 00100001001110000 00010001101100000 00001001001010100 00000101010001100 00000011000011100 01000001011010000 00100001011001000 10000001100010100 00001001110010000 00000011100100100 00000101001101000 00010001000101100 00100001101000100 10000001101001000 01000001010100100 00000011011000100 00010001010110000 00000101100011000 00001001000111000 11100100000001000 11011000010000000 01101010001000000 10110010100000000 10001110000010000 01010110000000100 00111100000100000