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