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 68 270
187: 2 1 0
119: 3 2 0
127: 3 2 1 0
253: 3 2 1 0
239: 3 2 1 0
251: 3 2 1 0
187: 4 2 0
119: 5 4 0
127: 5 4 2 0
253: 5 4 2 0
239: 5 4 2 0
251: 5 4 2 0
187: 6 4 0
119: 7 6 0
127: 7 6 4 0
253: 7 6 4 0
239: 7 6 4 0
251: 7 6 4 0
187: 8 6 0
119: 9 8 0
127: 9 8 6 0
253: 9 8 6 0
239: 9 8 6 0
251: 9 8 6 0
187: 10 8 0
119: 11 10 0
127: 11 10 8 0
253: 11 10 8 0
239: 11 10 8 0
251: 11 10 8 0
187: 12 10 0
119: 13 12 0
127: 13 12 10 0
253: 13 12 10 0
239: 13 12 10 0
251: 13 12 10 0
187: 14 12 0
119: 15 14 0
127: 15 14 12 0
253: 15 14 12 0
239: 15 14 12 0
251: 15 14 12 0
187: 16 14 0
119: 17 16 0
127: 17 16 14 0
253: 17 16 14 0
239: 17 16 14 0
251: 17 16 14 0
187: 18 16 0
119: 19 18 0
127: 19 18 16 0
253: 19 18 16 0
239: 19 18 16 0
251: 19 18 16 0
187: 20 18 0
119: 21 20 0
127: 21 20 18 0
253: 21 20 18 0
239: 21 20 18 0
251: 21 20 18 0
187: 22 20 0
119: 23 22 0
127: 23 22 20 0
253: 23 22 20 0
239: 23 22 20 0
251: 23 22 20 0
187: 24 22 0
119: 25 24 0
127: 25 24 22 0
253: 25 24 22 0
239: 25 24 22 0
251: 25 24 22 0
187: 26 24 0
119: 27 26 0
127: 27 26 24 0
253: 27 26 24 0
239: 27 26 24 0
251: 27 26 24 0
187: 28 26 0
119: 29 28 0
127: 29 28 26 0
253: 29 28 26 0
239: 29 28 26 0
251: 29 28 26 0
221: 28 30 0
119: 31 30 0
127: 31 28 30 0
251: 31 28 30 0
239: 31 28 30 0
253: 31 28 30 0
127: 33 32 3 0
253: 33 32 3 0
239: 33 32 3 0
251: 33 32 3 0
127: 35 34 32 0
253: 35 34 32 0
239: 35 34 32 0
251: 35 34 32 0
127: 37 36 34 0
253: 37 36 34 0
239: 37 36 34 0
251: 37 36 34 0
127: 39 38 36 0
253: 39 38 36 0
239: 39 38 36 0
251: 39 38 36 0
127: 41 40 38 0
253: 41 40 38 0
239: 41 40 38 0
251: 41 40 38 0
191: 43 40 42 0
247: 43 40 42 0
223: 43 40 42 0
254: 43 40 42 0
127: 33 44 5 0
253: 33 44 5 0
239: 33 44 5 0
251: 33 44 5 0
127: 35 44 45 0
251: 35 44 45 0
239: 35 44 45 0
253: 35 44 45 0
127: 33 46 7 0
253: 33 46 7 0
239: 33 46 7 0
251: 33 46 7 0
127: 35 47 46 0
253: 35 47 46 0
239: 35 47 46 0
251: 35 47 46 0
127: 39 48 47 0
253: 39 48 47 0
239: 39 48 47 0
251: 39 48 47 0
191: 43 48 42 0
247: 43 48 42 0
223: 43 48 42 0
254: 43 48 42 0
127: 37 49 9 0
253: 37 49 9 0
239: 37 49 9 0
251: 37 49 9 0
127: 39 50 49 0
253: 39 50 49 0
239: 39 50 49 0
251: 39 50 49 0
191: 45 50 41 0
247: 45 50 41 0
223: 45 50 41 0
254: 45 50 41 0
191: 41 11 42 0
247: 41 11 42 0
223: 41 11 42 0
254: 41 11 42 0
127: 37 51 13 0
253: 37 51 13 0
239: 37 51 13 0
251: 37 51 13 0
191: 41 51 43 0
247: 41 51 43 0
223: 41 51 43 0
254: 41 51 43 0
127: 35 52 15 0
253: 35 52 15 0
239: 35 52 15 0
251: 35 52 15 0
127: 37 53 52 0
253: 37 53 52 0
239: 37 53 52 0
251: 37 53 52 0
191: 39 53 43 0
247: 39 53 43 0
223: 39 53 43 0
254: 39 53 43 0
127: 37 54 17 0
253: 37 54 17 0
239: 37 54 17 0
251: 37 54 17 0
127: 39 54 43 0
251: 39 54 43 0
239: 39 54 43 0
253: 39 54 43 0
127: 33 55 19 0
253: 33 55 19 0
239: 33 55 19 0
251: 33 55 19 0
127: 37 56 55 0
253: 37 56 55 0
239: 37 56 55 0
251: 37 56 55 0
127: 43 42 56 0
253: 43 42 56 0
239: 43 42 56 0
251: 43 42 56 0
127: 35 57 21 0
253: 35 57 21 0
239: 35 57 21 0
251: 35 57 21 0
127: 37 58 57 0
253: 37 58 57 0
239: 37 58 57 0
251: 37 58 57 0
127: 41 59 58 0
253: 41 59 58 0
239: 41 59 58 0
251: 41 59 58 0
191: 43 59 42 0
247: 43 59 42 0
223: 43 59 42 0
254: 43 59 42 0
127: 35 60 23 0
253: 35 60 23 0
239: 35 60 23 0
251: 35 60 23 0
127: 37 60 41 0
251: 37 60 41 0
239: 37 60 41 0
253: 37 60 41 0
127: 33 61 25 0
253: 33 61 25 0
239: 33 61 25 0
251: 33 61 25 0
127: 35 62 61 0
253: 35 62 61 0
239: 35 62 61 0
251: 35 62 61 0
127: 39 63 62 0
253: 39 63 62 0
239: 39 63 62 0
251: 39 63 62 0
127: 41 64 63 0
253: 41 64 63 0
239: 41 64 63 0
251: 41 64 63 0
191: 43 64 42 0
247: 43 64 42 0
223: 43 64 42 0
254: 43 64 42 0
127: 33 65 27 0
253: 33 65 27 0
239: 33 65 27 0
251: 33 65 27 0
127: 35 66 65 0
253: 35 66 65 0
239: 35 66 65 0
251: 35 66 65 0
191: 41 66 43 0
247: 41 66 43 0
223: 41 66 43 0
254: 41 66 43 0
127: 41 43 29 0
253: 41 43 29 0
239: 41 43 29 0
251: 41 43 29 0
191: 33 31 39 0
247: 33 31 39 0
223: 33 31 39 0
254: 33 31 39 0
127: 37 67 30 0
253: 37 67 30 0
239: 37 67 30 0
251: 37 67 30 0
127: 39 68 67 0
253: 39 68 67 0
239: 39 68 67 0
251: 39 68 67 0
191: 45 68 43 0
247: 45 68 43 0
223: 45 68 43 0
254: 45 68 43 0