n=1994 T_h IQ=0.998479056927 upper bound=0.998484178645