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