View source for Maximal discrepancy-2 sequence

This sequence was found by Konev and Lisitsa using a SAT solver. They also showed it to be maximal: there is no discrepancy-2 sequence of length 1161. See http://cgi.csc.liv.ac.uk/~konev/SAT14/.

 x1160 = [0,
  -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1,
  +1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1, -1, +1, +1, -1, -1, +1, +1, -1, +1, -1, -1, -1, +1, -1, +1, +1, -1,
  +1, -1, -1, +1, -1, -1, +1, +1, +1, +1, -1, -1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, -1, -1,
  -1, +1, +1, -1, +1, +1, -1, +1, -1, +1, +1, -1, -1, +1, +1, -1, +1, -1, +1, -1, -1, -1, +1, +1, -1, +1, -1, -1, +1,
  +1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, -1, +1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1,
  +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, +1, +1, -1, +1,
  -1, +1, -1, -1, -1, -1, +1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, +1, +1, -1, -1, -1, +1, +1, -1, +1, +1, -1, +1,
  -1, -1, +1, -1, -1, +1, +1, +1, -1, -1, +1, -1, +1, -1, +1, -1, -1, +1, -1, +1, +1, +1, -1, +1, +1, -1, +1, -1, -1,
  +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, +1, -1, -1, +1, +1, +1, -1,
  -1, -1, +1, +1, +1, -1, +1, -1, -1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, -1, +1, -1, +1, -1, -1, +1, -1, +1, +1,
  +1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, +1, -1, +1, -1, -1,
  +1, +1, -1, -1, +1, -1, +1, +1, -1, +1, -1, +1, -1, -1, +1, -1, +1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, -1,
  -1, +1, -1, -1, +1, +1, -1, +1, -1, +1, -1, +1, +1, -1, +1, -1, +1, -1, +1, +1, -1, -1, -1, +1, -1, +1, -1, -1, +1,
  +1, +1, +1, -1, -1, +1, -1, -1, -1, +1, +1, -1, +1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1,
  +1, +1, -1, +1, -1, -1, +1, +1, +1, +1, -1, -1, +1, -1, -1, -1, +1, -1, +1, +1, +1, +1, -1, -1, +1, -1, -1, +1, +1,
  -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1,
  -1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1, -1, -1, -1, -1, +1, +1, +1, -1, +1, -1, -1,
  +1, +1, -1, -1, +1, +1, +1, -1, -1, -1, +1, -1, +1, +1, -1, +1, -1, -1, +1, -1, +1, +1, -1, -1, -1, +1, -1, +1, +1,
  -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, +1, -1, -1, +1, +1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, -1, -1, +1,
  +1, +1, +1, -1, -1, +1, -1, -1, +1, +1, +1, -1, -1, -1, +1, +1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, -1, +1, -1,
  +1, -1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, -1, +1, +1, +1, -1, +1, +1, -1, +1, -1,
  -1, +1, -1, -1, +1, +1, -1, -1, +1, -1, +1, +1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, -1, -1, +1, +1, -1, +1,
  +1, -1, +1, -1, -1, +1, +1, +1, -1, -1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, -1, -1, +1, +1, +1, -1,
  -1, -1, +1, +1, -1, +1, +1, -1, -1, -1, -1, +1, +1, +1, -1, -1, +1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, +1,
  -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1, -1, +1, +1, -1, -1, +1, +1, -1, -1, +1, +1, -1, -1, -1, -1, +1, +1, +1,
  -1, +1, +1, -1, -1, +1, +1, -1, -1, -1, -1, +1, +1, -1, +1, +1, +1, -1, -1, +1, +1, -1, -1, -1, +1, +1, +1, -1, -1,
  -1, -1, +1, -1, +1, -1, +1, +1, -1, +1, +1, -1, +1, +1, -1, +1, -1, +1, -1, -1, -1, -1, +1, +1, +1, -1, -1, +1, +1,
  -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1,
  +1, -1, +1, -1, -1, +1, +1, -1, -1, +1, -1, +1, -1, -1, +1, -1, +1, -1, +1, -1, +1, +1, +1, +1, -1, -1, -1, +1, -1,
  +1, -1, +1, +1, -1, -1, +1, -1, -1, +1, -1, +1, -1, +1, -1, +1, +1, -1, +1, -1, +1, +1, +1, -1, -1, +1, -1, +1, -1,
  -1, +1, -1, -1, +1, -1, +1, +1, +1, -1, -1, +1, -1, +1, +1, +1, -1, -1, -1, +1, +1, -1, +1, -1, -1, +1, -1, -1, +1,
  +1, -1, +1, +1, -1, -1, +1, +1, -1, -1, -1, +1, +1, -1, +1, -1, +1, +1, -1, -1, +1, +1, -1, +1, -1, -1, -1, +1, -1,
  +1, +1, -1, +1, -1, -1, +1, -1, +1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, -1, +1, +1, +1,
  -1, +1, -1, -1, +1, +1, -1, -1, +1, -1, +1, -1, +1, +1, +1, -1, -1, +1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1,
  -1, -1, +1, -1, -1, +1, -1, +1, +1, -1, -1, -1, +1, -1, +1, +1, -1, +1, -1, +1, +1, -1, -1, +1, +1, -1, +1, -1, -1,
  +1, +1, +1, -1, +1, -1, -1, -1, -1, +1, +1, -1, -1, +1, -1, +1, +1, -1, +1, -1, +1, +1, -1, -1, +1, +1, -1, +1, -1,
  -1, +1, +1, -1, +1, -1, +1, +1, -1, -1, +1, +1, -1, +1, -1, -1, -1, +1, -1, +1, +1, -1, +1, -1, -1, +1, +1, +1, -1,
  -1, -1, -1, +1, -1, +1, -1, +1, +1, -1, -1, +1, +1, -1, +1, -1, -1, +1, +1, -1, +1, +1, -1, +1, +1, -1, +1, -1, -1,
  +1, -1, -1, +1, -1, -1, +1, +1, +1, +1, -1, -1, -1, +1, +1, -1, -1, -1, +1, -1, +1, -1, +1, +1, -1, +1, -1, +1, +1,
  +1, -1, -1, +1, -1, +1, +1, -1, -1, +1, -1, +1, -1, -1, +1, -1, +1, -1, +1, +1, -1, -1, -1, +1, +1, +1, -1, +1, +1]