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 64 254
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
191: 37 34 36 0
247: 37 34 36 0
223: 37 34 36 0
254: 37 34 36 0
127: 39 38 5 0
253: 39 38 5 0
239: 39 38 5 0
251: 39 38 5 0
127: 35 40 38 0
253: 35 40 38 0
239: 35 40 38 0
251: 35 40 38 0
127: 42 41 40 0
253: 42 41 40 0
239: 42 41 40 0
251: 42 41 40 0
191: 36 41 43 0
247: 36 41 43 0
223: 36 41 43 0
254: 36 41 43 0
191: 44 7 29 0
247: 44 7 29 0
254: 44 7 29 0
223: 44 7 29 0
127: 33 45 44 0
253: 33 45 44 0
239: 33 45 44 0
251: 33 45 44 0
127: 37 36 45 0
253: 37 36 45 0
239: 37 36 45 0
251: 37 36 45 0
127: 37 46 9 0
253: 37 46 9 0
239: 37 46 9 0
251: 37 46 9 0
127: 36 43 46 0
253: 36 43 46 0
239: 36 43 46 0
251: 36 43 46 0
127: 39 47 11 0
253: 39 47 11 0
239: 39 47 11 0
251: 39 47 11 0
127: 33 48 47 0
253: 33 48 47 0
239: 33 48 47 0
251: 33 48 47 0
127: 37 36 48 0
253: 37 36 48 0
239: 37 36 48 0
251: 37 36 48 0
127: 39 49 13 0
253: 39 49 13 0
239: 39 49 13 0
251: 39 49 13 0
127: 33 36 49 0
253: 33 36 49 0
239: 33 36 49 0
251: 33 36 49 0
191: 50 15 29 0
247: 50 15 29 0
254: 50 15 29 0
223: 50 15 29 0
127: 35 37 50 0
253: 35 37 50 0
239: 35 37 50 0
251: 35 37 50 0
127: 39 35 17 0
253: 39 35 17 0
239: 39 35 17 0
251: 39 35 17 0
127: 39 51 19 0
253: 39 51 19 0
239: 39 51 19 0
251: 39 51 19 0
127: 35 52 51 0
253: 35 52 51 0
239: 35 52 51 0
251: 35 52 51 0
191: 37 52 42 0
247: 37 52 42 0
223: 37 52 42 0
254: 37 52 42 0
191: 53 21 29 0
247: 53 21 29 0
254: 53 21 29 0
223: 53 21 29 0
127: 33 54 53 0
253: 33 54 53 0
239: 33 54 53 0
251: 33 54 53 0
191: 35 54 42 0
247: 35 54 42 0
223: 35 54 42 0
254: 35 54 42 0
191: 33 23 42 0
247: 33 23 42 0
223: 33 23 42 0
254: 33 23 42 0
191: 55 25 29 0
247: 55 25 29 0
254: 55 25 29 0
223: 55 25 29 0
127: 33 56 55 0
253: 33 56 55 0
239: 33 56 55 0
251: 33 56 55 0
191: 35 56 36 0
247: 35 56 36 0
223: 35 56 36 0
254: 35 56 36 0
127: 39 57 27 0
253: 39 57 27 0
239: 39 57 27 0
251: 39 57 27 0
191: 58 57 29 0
247: 58 57 29 0
254: 58 57 29 0
223: 58 57 29 0
127: 35 59 58 0
253: 35 59 58 0
239: 35 59 58 0
251: 35 59 58 0
127: 37 59 36 0
251: 37 59 36 0
239: 37 59 36 0
253: 37 59 36 0
127: 37 60 31 0
253: 37 60 31 0
239: 37 60 31 0
251: 37 60 31 0
127: 42 61 60 0
253: 42 61 60 0
239: 42 61 60 0
251: 42 61 60 0
191: 36 61 43 0
247: 36 61 43 0
223: 36 61 43 0
254: 36 61 43 0
127: 39 62 30 0
253: 39 62 30 0
239: 39 62 30 0
251: 39 62 30 0
127: 33 63 62 0
253: 33 63 62 0
239: 33 63 62 0
251: 33 63 62 0
127: 42 64 63 0
253: 42 64 63 0
239: 42 64 63 0
251: 42 64 63 0
127: 36 64 43 0
251: 36 64 43 0
239: 36 64 43 0
253: 36 64 43 0