c FILE:  par8-3-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:33 EDT 1993
p cnf 75 298
 -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 -36 -34
 0
 37 36 -34
 0
 -37 36 34
 0
 37 -36 34
 0
 -38 -36 -27
 0
 38 -36 27
 0
 38 36 -27
 0
 -38 36 27
 0
 -40 -38 39
 0
 40 -38 -39
 0
 -40 38 -39
 0
 40 38 39
 0
 -37 -41 -5
 0
 37 41 -5
 0
 -37 41 5
 0
 37 -41 5
 0
 -43 -42 -41
 0
 43 42 -41
 0
 -43 42 41
 0
 43 -42 41
 0
 -44 -42 -27
 0
 44 -42 27
 0
 44 42 -27
 0
 -44 42 27
 0
 -40 -44 39
 0
 40 -44 -39
 0
 -40 44 -39
 0
 40 44 39
 0
 -33 -45 -7
 0
 33 45 -7
 0
 -33 45 7
 0
 33 -45 7
 0
 -47 -46 -45
 0
 47 46 -45
 0
 -47 46 45
 0
 47 -46 45
 0
 -35 -46 40
 0
 35 -46 -40
 0
 -35 46 -40
 0
 35 46 40
 0
 -37 -48 -9
 0
 37 48 -9
 0
 -37 48 9
 0
 37 -48 9
 0
 -49 -48 -27
 0
 49 -48 27
 0
 49 48 -27
 0
 -49 48 27
 0
 -40 -49 39
 0
 40 -49 -39
 0
 -40 49 -39
 0
 40 49 39
 0
 -35 -50 -11
 0
 35 50 -11
 0
 -35 50 11
 0
 35 -50 11
 0
 -37 -51 -50
 0
 37 51 -50
 0
 -37 51 50
 0
 37 -51 50
 0
 -43 -52 -51
 0
 43 52 -51
 0
 -43 52 51
 0
 43 -52 51
 0
 -52 -27 39
 0
 -52 27 -39
 0
 52 -27 -39
 0
 52 27 39
 0
 -47 -53 -13
 0
 47 53 -13
 0
 -47 53 13
 0
 47 -53 13
 0
 -43 -54 -53
 0
 43 54 -53
 0
 -43 54 53
 0
 43 -54 53
 0
 -54 -40 -27
 0
 -54 40 27
 0
 54 40 -27
 0
 54 -40 27
 0
 -47 -55 -15
 0
 47 55 -15
 0
 -47 55 15
 0
 47 -55 15
 0
 -35 -56 -55
 0
 35 56 -55
 0
 -35 56 55
 0
 35 -56 55
 0
 -37 -57 -56
 0
 37 57 -56
 0
 -37 57 56
 0
 37 -57 56
 0
 -43 -58 -57
 0
 43 58 -57
 0
 -43 58 57
 0
 43 -58 57
 0
 -58 -40 -27
 0
 -58 40 27
 0
 58 40 -27
 0
 58 -40 27
 0
 -33 -59 -17
 0
 33 59 -17
 0
 -33 59 17
 0
 33 -59 17
 0
 -35 -59 43
 0
 35 -59 -43
 0
 -35 59 -43
 0
 35 59 43
 0
 -33 -60 -19
 0
 33 60 -19
 0
 -33 60 19
 0
 33 -60 19
 0
 -35 -61 -60
 0
 35 61 -60
 0
 -35 61 60
 0
 35 -61 60
 0
 -37 -62 -61
 0
 37 62 -61
 0
 -37 62 61
 0
 37 -62 61
 0
 -43 -62 -27
 0
 43 -62 27
 0
 -43 62 27
 0
 43 62 -27
 0
 -33 -63 -21
 0
 33 63 -21
 0
 -33 63 21
 0
 33 -63 21
 0
 -47 -64 -63
 0
 47 64 -63
 0
 -47 64 63
 0
 47 -64 63
 0
 -35 -65 -64
 0
 35 65 -64
 0
 -35 65 64
 0
 35 -65 64
 0
 -37 -66 -65
 0
 37 66 -65
 0
 -37 66 65
 0
 37 -66 65
 0
 -39 -66 -27
 0
 39 -66 27
 0
 39 66 -27
 0
 -39 66 27
 0
 -35 -67 -23
 0
 35 67 -23
 0
 -35 67 23
 0
 35 -67 23
 0
 -37 -67 -27
 0
 37 -67 27
 0
 -37 67 27
 0
 37 67 -27
 0
 -35 -68 -25
 0
 35 68 -25
 0
 -35 68 25
 0
 35 -68 25
 0
 -43 -69 -68
 0
 43 69 -68
 0
 -43 69 68
 0
 43 -69 68
 0
 -40 -69 39
 0
 40 -69 -39
 0
 -40 69 -39
 0
 40 69 39
 0
 -47 -70 -29
 0
 47 70 -29
 0
 -47 70 29
 0
 47 -70 29
 0
 -35 -71 -70
 0
 35 71 -70
 0
 -35 71 70
 0
 35 -71 70
 0
 -43 -71 40
 0
 43 -71 -40
 0
 -43 71 -40
 0
 43 71 40
 0
 -47 -72 -31
 0
 47 72 -31
 0
 -47 72 31
 0
 47 -72 31
 0
 -37 -72 39
 0
 37 -72 -39
 0
 -37 72 -39
 0
 37 72 39
 0
 -47 -73 -30
 0
 47 73 -30
 0
 -47 73 30
 0
 47 -73 30
 0
 -35 -74 -73
 0
 35 74 -73
 0
 -35 74 73
 0
 35 -74 73
 0
 -37 -75 -74
 0
 37 75 -74
 0
 -37 75 74
 0
 37 -75 74
 0
 -43 -75 -39
 0
 43 -75 39
 0
 -43 75 39
 0
 43 75 -39
 0