c FILE:  par8-1-c.cnf
c
c SOURCE: James Crawford (jc@research.att.com)
c
c DESCRIPTION: Instance arises from the problem of learning the parity
c              function.  
c
c     parxx-y denotes a parity problem on xx bits.  y is simply the
c     intance number.
c
c     parxx-y-c denotes an instance identical to parxx-y except that
c     the instances have been simplified (to create an equivalent
c     problem). 
c
c NOTE: Satisfiable (checked for 8 and 16 size instances. All
c       instances are satisfiable by construction)
c
c NOTE: Number of clauses corrected August 3, 1993
c
c Converted from tableau format Tue Aug  3 09:55:20 EDT 1993
p cnf 64 254
 -2 1
 0
 -3 -2
 0
 -3 -2 -1
 0
 3 2 -1
 0
 -3 2 1
 0
 3 -2 1
 0
 -4 2
 0
 -5 -4
 0
 -5 -4 -2
 0
 5 4 -2
 0
 -5 4 2
 0
 5 -4 2
 0
 -6 4
 0
 -7 -6
 0
 -7 -6 -4
 0
 7 6 -4
 0
 -7 6 4
 0
 7 -6 4
 0
 -8 6
 0
 -9 -8
 0
 -9 -8 -6
 0
 9 8 -6
 0
 -9 8 6
 0
 9 -8 6
 0
 -10 8
 0
 -11 -10
 0
 -11 -10 -8
 0
 11 10 -8
 0
 -11 10 8
 0
 11 -10 8
 0
 -12 10
 0
 -13 -12
 0
 -13 -12 -10
 0
 13 12 -10
 0
 -13 12 10
 0
 13 -12 10
 0
 -14 12
 0
 -15 -14
 0
 -15 -14 -12
 0
 15 14 -12
 0
 -15 14 12
 0
 15 -14 12
 0
 -16 14
 0
 -17 -16
 0
 -17 -16 -14
 0
 17 16 -14
 0
 -17 16 14
 0
 17 -16 14
 0
 -18 16
 0
 -19 -18
 0
 -19 -18 -16
 0
 19 18 -16
 0
 -19 18 16
 0
 19 -18 16
 0
 -20 18
 0
 -21 -20
 0
 -21 -20 -18
 0
 21 20 -18
 0
 -21 20 18
 0
 21 -20 18
 0
 -22 20
 0
 -23 -22
 0
 -23 -22 -20
 0
 23 22 -20
 0
 -23 22 20
 0
 23 -22 20
 0
 -24 22
 0
 -25 -24
 0
 -25 -24 -22
 0
 25 24 -22
 0
 -25 24 22
 0
 25 -24 22
 0
 -26 24
 0
 -27 -26
 0
 -27 -26 -24
 0
 27 26 -24
 0
 -27 26 24
 0
 27 -26 24
 0
 -28 26
 0
 -29 -28
 0
 -29 -28 -26
 0
 29 28 -26
 0
 -29 28 26
 0
 29 -28 26
 0
 28 -30
 0
 -31 -30
 0
 -31 -28 -30
 0
 31 -28 30
 0
 -31 28 30
 0
 31 28 -30
 0
 -33 -32 -3
 0
 33 32 -3
 0
 -33 32 3
 0
 33 -32 3
 0
 -35 -34 -32
 0
 35 34 -32
 0
 -35 34 32
 0
 35 -34 32
 0
 -37 -34 36
 0
 37 -34 -36
 0
 -37 34 -36
 0
 37 34 36
 0
 -39 -38 -5
 0
 39 38 -5
 0
 -39 38 5
 0
 39 -38 5
 0
 -35 -40 -38
 0
 35 40 -38
 0
 -35 40 38
 0
 35 -40 38
 0
 -42 -41 -40
 0
 42 41 -40
 0
 -42 41 40
 0
 42 -41 40
 0
 -36 -41 43
 0
 36 -41 -43
 0
 -36 41 -43
 0
 36 41 43
 0
 -44 -7 29
 0
 44 -7 -29
 0
 44 7 29
 0
 -44 7 -29
 0
 -33 -45 -44
 0
 33 45 -44
 0
 -33 45 44
 0
 33 -45 44
 0
 -37 -36 -45
 0
 37 36 -45
 0
 -37 36 45
 0
 37 -36 45
 0
 -37 -46 -9
 0
 37 46 -9
 0
 -37 46 9
 0
 37 -46 9
 0
 -36 -43 -46
 0
 36 43 -46
 0
 -36 43 46
 0
 36 -43 46
 0
 -39 -47 -11
 0
 39 47 -11
 0
 -39 47 11
 0
 39 -47 11
 0
 -33 -48 -47
 0
 33 48 -47
 0
 -33 48 47
 0
 33 -48 47
 0
 -37 -36 -48
 0
 37 36 -48
 0
 -37 36 48
 0
 37 -36 48
 0
 -39 -49 -13
 0
 39 49 -13
 0
 -39 49 13
 0
 39 -49 13
 0
 -33 -36 -49
 0
 33 36 -49
 0
 -33 36 49
 0
 33 -36 49
 0
 -50 -15 29
 0
 50 -15 -29
 0
 50 15 29
 0
 -50 15 -29
 0
 -35 -37 -50
 0
 35 37 -50
 0
 -35 37 50
 0
 35 -37 50
 0
 -39 -35 -17
 0
 39 35 -17
 0
 -39 35 17
 0
 39 -35 17
 0
 -39 -51 -19
 0
 39 51 -19
 0
 -39 51 19
 0
 39 -51 19
 0
 -35 -52 -51
 0
 35 52 -51
 0
 -35 52 51
 0
 35 -52 51
 0
 -37 -52 42
 0
 37 -52 -42
 0
 -37 52 -42
 0
 37 52 42
 0
 -53 -21 29
 0
 53 -21 -29
 0
 53 21 29
 0
 -53 21 -29
 0
 -33 -54 -53
 0
 33 54 -53
 0
 -33 54 53
 0
 33 -54 53
 0
 -35 -54 42
 0
 35 -54 -42
 0
 -35 54 -42
 0
 35 54 42
 0
 -33 -23 42
 0
 33 -23 -42
 0
 -33 23 -42
 0
 33 23 42
 0
 -55 -25 29
 0
 55 -25 -29
 0
 55 25 29
 0
 -55 25 -29
 0
 -33 -56 -55
 0
 33 56 -55
 0
 -33 56 55
 0
 33 -56 55
 0
 -35 -56 36
 0
 35 -56 -36
 0
 -35 56 -36
 0
 35 56 36
 0
 -39 -57 -27
 0
 39 57 -27
 0
 -39 57 27
 0
 39 -57 27
 0
 -58 -57 29
 0
 58 -57 -29
 0
 58 57 29
 0
 -58 57 -29
 0
 -35 -59 -58
 0
 35 59 -58
 0
 -35 59 58
 0
 35 -59 58
 0
 -37 -59 -36
 0
 37 -59 36
 0
 -37 59 36
 0
 37 59 -36
 0
 -37 -60 -31
 0
 37 60 -31
 0
 -37 60 31
 0
 37 -60 31
 0
 -42 -61 -60
 0
 42 61 -60
 0
 -42 61 60
 0
 42 -61 60
 0
 -36 -61 43
 0
 36 -61 -43
 0
 -36 61 -43
 0
 36 61 43
 0
 -39 -62 -30
 0
 39 62 -30
 0
 -39 62 30
 0
 39 -62 30
 0
 -33 -63 -62
 0
 33 63 -62
 0
 -33 63 62
 0
 33 -63 62
 0
 -42 -64 -63
 0
 42 64 -63
 0
 -42 64 63
 0
 42 -64 63
 0
 -36 -64 -43
 0
 36 -64 43
 0
 -36 64 43
 0
 36 64 -43
 0