Enumeration of Williamson Sequences of Even Order

These files contain an enumeration of all inequivalent Williamson sequences of even orders n < 65 as defined in the paper "A SAT+CAS Method for Enumerating Williamson Matrices of Even Order" by Bright, Kotsireas, and Ganesh.  This paper has been accepted to appear at AAAI-18, the thirty-second AAAI conference on artificial intelligence.

Every line in each file contains exactly one Williamson sequence, with spaces separating the members A, B, C, and D of the Williamson sequences. The sequence entries are encoded using the characters + for 1 and - for −1.