c(People) :-

	statistics(runtime,_),
	
	People =
        [ Bill1,Bill2,Bill3,Bill4,Bill5,Bill6,Bill7,Bill8,Bill9,Bill10,
	  Inez1,Inez2,Inez3,Inez4,Inez5,Inez6,Inez7,Inez8,Inez9,Inez10,
	  Jean1,Jean2,Jean3,Jean4,Jean5,Jean6,Jean7,Jean8,Jean9,Jean10,
	  Juliet1,Juliet2,Juliet3,Juliet4,Juliet5,Juliet6,Juliet7,Juliet8,Juliet9,Juliet10,
	  Cathy1,Cathy2,Cathy3,Cathy4,Cathy5,Cathy6,Cathy7,Cathy8,Cathy9,Cathy10,
	  Jeremy1,Jeremy2,Jeremy3,Jeremy4,Jeremy5,Jeremy6,Jeremy7,Jeremy8,Jeremy9,Jeremy10,
	  Mario1,Mario2,Mario3,Mario4,Mario5,Mario6,Mario7,Mario8,Mario9,Mario10,
	  Tom1,Tom2,Tom3,Tom4,Tom5,Tom6,Tom7,Tom8,Tom9,Tom10,


	  Fred1,Fred2,Fred3,Fred4,Fred5,Fred6,Fred7,Fred8,Fred9,Fred10,
	  Heather1,Heather2,Heather3,Heather4,Heather5,Heather6,Heather7,Heather8,Heather9,Heather10,
	  Joe1,Joe2,Joe3,Joe4,Joe5,Joe6,Joe7,Joe8,Joe9,Joe10,
	  Marilyn1,Marilyn2,Marilyn3,Marilyn4,Marilyn5,Marilyn6,Marilyn7,Marilyn8,Marilyn9,Marilyn10,
	  
	  
	  
	  Carol1,Carol2,Carol3,Carol4,Carol5,Carol6,Carol7,Carol8,Carol9,Carol10,
	  Carla1,Carla2,Carla3,Carla4,Carla5,Carla6,Carla7,Carla8,Carla9,Carla10,
	  Janet1,Janet2,Janet3,Janet4,Janet5,Janet6,Janet7,Janet8,Janet9,Janet10,
	  Tracy1,Tracy2,Tracy3,Tracy4,Tracy5,Tracy6,Tracy7,Tracy8,Tracy9,Tracy10,
	  Bob1,Bob2,Bob3,Bob4,Bob5,Bob6,Bob7,Bob8,Bob9,Bob10,
	  David1,David2,David3,David4,David5,David6,David7,David8,David9,David10,
	  Ed1,Ed2,Ed3,Ed4,Ed5,Ed6,Ed7,Ed8,Ed9,Ed10,
	  Ron1,Ron2,Ron3,Ron4,Ron5,Ron6,Ron7,Ron8,Ron9,Ron10],

	  Ron = [Ron1,Ron2,Ron3,Ron4,Ron5,Ron6,Ron7,Ron8,Ron9,Ron10],
	  Tom = [Tom1,Tom2,Tom3,Tom4,Tom5,Tom6,Tom7,Tom8,Tom9,Tom10],
	  Bill = [ Bill1,Bill2,Bill3,Bill4,Bill5,Bill6,Bill7,Bill8,Bill9,Bill10],
	  Inez = [Inez1,Inez2,Inez3,Inez4,Inez5,Inez6,Inez7,Inez8,Inez9,Inez10],
	  Jean = [Jean1,Jean2,Jean3,Jean4,Jean5,Jean6,Jean7,Jean8,Jean9,Jean10],
	  Juliet = [Juliet1,Juliet2,Juliet3,Juliet4,Juliet5,Juliet6,Juliet7,Juliet8,Juliet9,Juliet10],
	  Cathy = [Cathy1,Cathy2,Cathy3,Cathy4,Cathy5,Cathy6,Cathy7,Cathy8,Cathy9,Cathy10],
	  Jeremy = [Jeremy1,Jeremy2,Jeremy3,Jeremy4,Jeremy5,Jeremy6,Jeremy7,Jeremy8,Jeremy9,Jeremy10],
	  Mario = [Mario1,Mario2,Mario3,Mario4,Mario5,Mario6,Mario7,Mario8,Mario9,Mario10],
	  Fred = [ Fred1,Fred2,Fred3,Fred4,Fred5,Fred6,Fred7,Fred8,Fred9,Fred10],
	  Heather = [Heather1,Heather2,Heather3,Heather4,Heather5,Heather6,Heather7,Heather8,Heather9,Heather10],
	  Joe = [Joe1,Joe2,Joe3,Joe4,Joe5,Joe6,Joe7,Joe8,Joe9,Joe10,
	  Marilyn1,Marilyn2,Marilyn3,Marilyn4,Marilyn5,Marilyn6,Marilyn7,Marilyn8,Marilyn9,Marilyn10],
	  Carol = [ Carol1,Carol2,Carol3,Carol4,Carol5,Carol6,Carol7,Carol8,Carol9,Carol10],
	  Marilyn = [Carla1,Carla2,Carla3,Carla4,Carla5,Carla6,Carla7,Carla8,Carla9,Carla10],
	  Janet = [Janet1,Janet2,Janet3,Janet4,Janet5,Janet6,Janet7,Janet8,Janet9,Janet10],
	  Tracy = [Tracy1,Tracy2,Tracy3,Tracy4,Tracy5,Tracy6,Tracy7,Tracy8,Tracy9,Tracy10],
	  Bob = [Bob1,Bob2,Bob3,Bob4,Bob5,Bob6,Bob7,Bob8,Bob9,Bob10],
	  David = [David1,David2,David3,David4,David5,David6,David7,David8,David9,David10],
	  Ed = [Ed1,Ed2,Ed3,Ed4,Ed5,Ed6,Ed7,Ed8,Ed9,Ed10],
	  

	  Crews = [C1,C2,C3,C4,C5,C6,C7,C8,C9,C10],
	  Hostesses = [H1,H2,H3,H4,H5,H6,H7,H8,H9,H10],
	  Stewards = [S1,S2,S3,S4,S5,S6,S7,S8,S9,S10],
	  
	  Total #= C1 + C2 + C3 + C4 + C5 + C6 + C7 + C8 + C9 + C10,

	    domain(Crews,3,7),
	    domain(Stewards,1,4),
	    domain(Hostesses,1,4),

	Carol1 + Carol2 + Carol3 + Carol4 + Carol5 + Carol6 +
	Carol7 + Carol8 + Carol8 + Carol9 + Carol10 #>= 1,

	Carla1 + Carla2 + Carla3 + Carla4 + Carla5 + Carla6 +
	Carla7 + Carla8 + Carla8 + Carla9 + Carla10 #>= 1,

	Cathy1 + Cathy2 + Cathy3 + Cathy4 + Cathy5 + Cathy6 +
	Cathy7 + Cathy8 + Cathy8 + Cathy9 + Cathy10 #>= 1,

	Heather1 + Heather2 + Heather3 + Heather4 + Heather5 + Heather6 +
	Heather7 + Heather8 + Heather8 + Heather9 + Heather10 #>= 1,
	
	Inez1 + Inez2 + Inez3 + Inez4 + Inez5 + Inez6 +
	Inez7 + Inez8 + Inez8 + Inez9 + Inez10 #>= 1,

	Janet1 + Janet2 + Janet3 + Janet4 + Janet5 + Janet6 +
	Janet7 + Janet8 + Janet8 + Janet9 + Janet10 #>= 1,

	Jean1 + Jean2 + Jean3 + Jean4 + Jean5 + Jean6 +
	Jean7 + Jean8 + Jean8 + Jean9 + Jean10 #>= 1,

	Juliet1 + Juliet2 + Juliet3 + Juliet4 + Juliet5 + Juliet6 +
	Juliet7 + Juliet8 + Juliet8 + Juliet9 + Juliet10 #>= 1,

	Marilyn1 + Marilyn2 + Marilyn3 + Marilyn4 + Marilyn5 + Marilyn6 +
	Marilyn7 + Marilyn8 + Marilyn8 + Marilyn9 + Marilyn10 #>= 1,

	Tracy1 + Tracy2 + Tracy3 + Tracy4 + Tracy5 + Tracy6 +
	Tracy7 + Tracy8 + Tracy8 + Tracy9 + Tracy10 #>= 1,

	Bill1 + Bill2 + Bill3 + Bill4 + Bill5 + Bill6 +
	Bill7 + Bill8 + Bill8 + Bill9 + Bill10 #>= 1,

	Bob1 + Bob2 + Bob3 + Bob4 + Bob5 + Bob6 +
	Bob7 + Bob8 + Bob8 + Bob9 + Bob10 #>= 1,
	
	David1 + David2 + David3 + David4 + David5 + David6 +
	David7 + David8 + David8 + David9 + David10 #>= 1,

	Ed1 + Ed2 + Ed3 + Ed4 + Ed5 + Ed6 +
	Ed7 + Ed8 + Ed8 + Ed9 + Ed10 #>= 1,

	Fred1 + Fred2 + Fred3 + Fred4 + Fred5 + Fred6 +
	Fred7 + Fred8 + Fred8 + Fred9 + Fred10 #>= 1,

	Jeremy1 + Jeremy2 + Jeremy3 + Jeremy4 + Jeremy5 + Jeremy6 +
	Jeremy7 + Jeremy8 + Jeremy8 + Jeremy9 + Jeremy10 #>= 1,

	Joe1 + Joe2 + Joe3 + Joe4 + Joe5 + Joe6 +
	Joe7 + Joe8 + Joe8 + Joe9 + Joe10 #>= 1,

	Mario1 + Mario2 + Mario3 + Mario4 + Mario5 + Mario6 +
	Mario7 + Mario8 + Mario8 + Mario9 + Mario10 #>= 1,

	Ron1 + Ron2 + Ron3 + Ron4 + Ron5 + Ron6 +
	Ron7 + Ron8 + Ron8 + Ron9 + Ron10 #>= 1,

	Tom1 + Tom2 + Tom3 + Tom4 + Tom5 + Tom6 +
	Tom7 + Tom8 + Tom8 + Tom9 + Tom10 #>= 1,
	
	
	Carol1 + Carol2 + Carol3 + Carol4 + Carol5 + Carol6 +
	Carol7 + Carol8 + Carol8 + Carol9 + Carol10 #=< 4,

	Carla1 + Carla2 + Carla3 + Carla4 + Carla5 + Carla6 +
	Carla7 + Carla8 + Carla8 + Carla9 + Carla10 #=< 4,

	Cathy1 + Cathy2 + Cathy3 + Cathy4 + Cathy5 + Cathy6 +
	Cathy7 + Cathy8 + Cathy8 + Cathy9 + Cathy10 #=< 4,

	Heather1 + Heather2 + Heather3 + Heather4 + Heather5 + Heather6 +
	Heather7 + Heather8 + Heather8 + Heather9 + Heather10 #=< 4,
	
	Inez1 + Inez2 + Inez3 + Inez4 + Inez5 + Inez6 +
	Inez7 + Inez8 + Inez8 + Inez9 + Inez10 #=< 4,

	Janet1 + Janet2 + Janet3 + Janet4 + Janet5 + Janet6 +
	Janet7 + Janet8 + Janet8 + Janet9 + Janet10 #=< 4,

	Jean1 + Jean2 + Jean3 + Jean4 + Jean5 + Jean6 +
	Jean7 + Jean8 + Jean8 + Jean9 + Jean10 #=< 4,

	Juliet1 + Juliet2 + Juliet3 + Juliet4 + Juliet5 + Juliet6 +
	Juliet7 + Juliet8 + Juliet8 + Juliet9 + Juliet10 #=< 4,

	Marilyn1 + Marilyn2 + Marilyn3 + Marilyn4 + Marilyn5 + Marilyn6 +
	Marilyn7 + Marilyn8 + Marilyn8 + Marilyn9 + Marilyn10 #=< 4,

	Tracy1 + Tracy2 + Tracy3 + Tracy4 + Tracy5 + Tracy6 +
	Tracy7 + Tracy8 + Tracy8 + Tracy9 + Tracy10 #=< 4,

	Bill1 + Bill2 + Bill3 + Bill4 + Bill5 + Bill6 +
	Bill7 + Bill8 + Bill8 + Bill9 + Bill10 #=< 4,

	Bob1 + Bob2 + Bob3 + Bob4 + Bob5 + Bob6 +
	Bob7 + Bob8 + Bob8 + Bob9 + Bob10 #=< 4,
	
	David1 + David2 + David3 + David4 + David5 + David6 +
	David7 + David8 + David8 + David9 + David10 #=< 4,

	Ed1 + Ed2 + Ed3 + Ed4 + Ed5 + Ed6 +
	Ed7 + Ed8 + Ed8 + Ed9 + Ed10 #=< 4,

	Fred1 + Fred2 + Fred3 + Fred4 + Fred5 + Fred6 +
	Fred7 + Fred8 + Fred8 + Fred9 + Fred10 #=< 4,

	Jeremy1 + Jeremy2 + Jeremy3 + Jeremy4 + Jeremy5 + Jeremy6 +
	Jeremy7 + Jeremy8 + Jeremy8 + Jeremy9 + Jeremy10 #=< 4,

	Joe1 + Joe2 + Joe3 + Joe4 + Joe5 + Joe6 +
	Joe7 + Joe8 + Joe8 + Joe9 + Joe10 #=< 4,

	Mario1 + Mario2 + Mario3 + Mario4 + Mario5 + Mario6 +
	Mario7 + Mario8 + Mario8 + Mario9 + Mario10 #=< 4,

	Ron1 + Ron2 + Ron3 + Ron4 + Ron5 + Ron6 +
	Ron7 + Ron8 + Ron8 + Ron9 + Ron10 #=< 4,

	Tom1 + Tom2 + Tom3 + Tom4 + Tom5 + Tom6 +
	Tom7 + Tom8 + Tom8 + Tom9 + Tom10 #=< 4,
	
	
	Carol1 + Carol2 #=< 1,
	Carol2 + Carol3 #=< 1,
	Carol3 + Carol4 #=< 1,
	Carol4 + Carol5 #=< 1,
	Carol5 + Carol6 #=< 1,
	Carol6 + Carol7 #=< 1,
	Carol7 + Carol8 #=< 1,
	Carol8 + Carol9 #=< 1,
	Carol10 + Carol9 #=< 1,
	
	Carla1 + Carla2 #=< 1,
	Carla2 + Carla3 #=< 1,
	Carla3 + Carla4 #=< 1,
	Carla4 + Carla5 #=< 1,
	Carla5 + Carla6 #=< 1,
	Carla6 + Carla7 #=< 1,
	Carla7 + Carla8 #=< 1,
	Carla8 + Carla9 #=< 1,
	Carla10 + Carla9 #=< 1,
 
	Cathy1 + Cathy2 #=< 1,
	Cathy2 + Cathy3 #=< 1,
	Cathy3 + Cathy4 #=< 1,
	Cathy4 + Cathy5 #=< 1,
	Cathy5 + Cathy6 #=< 1,
	Cathy6 + Cathy7 #=< 1,
	Cathy7 + Cathy8 #=< 1,
	Cathy8 + Cathy9 #=< 1,
	Cathy10 + Cathy9 #=< 1,
  
	Heather1 + Heather2 #=< 1,
	Heather2 + Heather3 #=< 1,
	Heather3 + Heather4 #=< 1,
	Heather4 + Heather5  #=< 1,
	Heather5 + Heather6  #=< 1,
	Heather6 + Heather7 #=< 1,
	Heather7 + Heather8 #=< 1,
	Heather8 + Heather9  #=< 1,
	Heather10 + Heather9  #=< 1,
  
	Inez1 + Inez2  #=< 1,
	Inez2 + Inez3 #=< 1,
	Inez3 + Inez4  #=< 1,
	Inez4 + Inez5 #=< 1,
	Inez5 + Inez6  #=< 1,
	Inez6 + Inez7 #=< 1,
	Inez7 + Inez8  #=< 1,
	Inez8 + Inez9 #=< 1,
	Inez10 + Inez9 #=< 1,
  
	Janet1 + Janet2  #=< 1,
	Janet2 + Janet3 #=< 1,
	Janet3 + Janet4 #=< 1,
	Janet4 + Janet5 #=< 1,
	Janet5 + Janet6 #=< 1,
	Janet6 + Janet7 #=< 1,
	Janet7 + Janet8 #=< 1,
	Janet8 + Janet9 #=< 1,
	Janet10 + Janet9 #=< 1,
 
	Jean1 + Jean2 #=< 1,
	Jean2 + Jean3 #=< 1,
	Jean3 + Jean4 #=< 1,
	Jean4 + Jean5 #=< 1,
	Jean5 + Jean6 #=< 1,
	Jean6 + Jean7 #=< 1,
	Jean7 + Jean8 #=< 1,
	Jean8 + Jean9 #=< 1,
	Jean10 + Jean9 #=< 1,
  
	Juliet1 + Juliet2 #=< 1,
	Juliet2 + Juliet3 #=< 1,
	Juliet3 + Juliet4 #=< 1,
	Juliet4 + Juliet5 #=< 1,
	Juliet5 + Juliet6 #=< 1,
	Juliet6 + Juliet7 #=< 1,
	Juliet7 + Juliet8 #=< 1,
	Juliet8 + Juliet9 #=< 1,
	Juliet10 + Juliet9 #=< 1,
  
	Marilyn1 + Marilyn2 #=< 1,
	Marilyn2 + Marilyn3 #=< 1,
	Marilyn3 + Marilyn4 #=< 1,
	Marilyn4 + Marilyn5 #=< 1,
	Marilyn5 + Marilyn6 #=< 1,
	Marilyn6 + Marilyn7 #=< 1,
	Marilyn7 + Marilyn8 #=< 1,
	Marilyn8 + Marilyn9 #=< 1,
	Marilyn10 + Marilyn9 #=< 1,
  
	Tracy1 + Tracy2 #=< 1,
	Tracy2 + Tracy3 #=< 1,
	Tracy3 + Tracy4 #=< 1,
	Tracy4 + Tracy5 #=< 1,
	Tracy5 + Tracy6 #=< 1,
	Tracy6 + Tracy7 #=< 1,
	Tracy7 + Tracy8 #=< 1,
	Tracy8 + Tracy9 #=< 1,
	Tracy10 + Tracy9 #=< 1,
  
	Bill1 + Bill2 #=< 1,
	Bill2 + Bill3 #=< 1,
	Bill3 + Bill4 #=< 1,
	Bill4 + Bill5 #=< 1,
	Bill5 + Bill6 #=< 1,
	Bill6 + Bill7 #=< 1,
	Bill7 + Bill8 #=< 1,
	Bill8 + Bill9 #=< 1,
	Bill10 + Bill9 #=< 1,
  
	Bob1 + Bob2 #=< 1,
	Bob2 + Bob3 #=< 1,
	Bob3 + Bob4#=< 1,
	Bob4 + Bob5 #=< 1,
	Bob5 + Bob6 #=< 1,
	Bob6 + Bob7 #=< 1,
	Bob7 + Bob8 #=< 1,
	Bob8 + Bob9 #=< 1,
	Bob10 + Bob9 #=< 1,
  
	David1 + David2 #=< 1,
	David2 + David3 #=< 1,
	David3 + David4 #=< 1,
	David4 + David5 #=< 1,
	David5 + David6 #=< 1,
	David6 + David7 #=< 1,
	David7 + David8 #=< 1,
	David8 + David9 #=< 1,
	David10 + David9 #=< 1,
  
	Ed1 + Ed2 #=< 1,
	Ed2 + Ed3 #=< 1,
	Ed3 + Ed4 #=< 1,
	Ed4 + Ed5 #=< 1,
	Ed5 + Ed6 #=< 1,
	Ed6 + Ed7 #=< 1,
	Ed7 + Ed8 #=< 1,
	Ed8 + Ed9 #=< 1,
	Ed10 + Ed9 #=< 1,
  
	Fred1 + Fred2 #=< 1,
	Fred2 + Fred3 #=< 1,
	Fred3 + Fred4 #=< 1,
	Fred4 + Fred5 #=< 1,
	Fred5 + Fred6 #=< 1,
	Fred6 + Fred7 #=< 1,
	Fred7 + Fred8 #=< 1,
	Fred8 + Fred9 #=< 1,
	Fred10 + Fred9 #=< 1,
  
	Jeremy1 + Jeremy2 #=< 1,
	Jeremy2 + Jeremy3 #=< 1,
	Jeremy3 + Jeremy4 #=< 1,
	Jeremy4 + Jeremy5 #=< 1,
	Jeremy5 + Jeremy6 #=< 1,
	Jeremy6 + Jeremy7 #=< 1,
	Jeremy7 + Jeremy8 #=< 1,
	Jeremy8 + Jeremy9 #=< 1,
	Jeremy10 + Jeremy9 #=< 1,
  
	Joe1 + Joe2 #=< 1,
	Joe2 + Joe3 #=< 1,
	Joe3 + Joe4 #=< 1,
	Joe4 + Joe5  #=< 1,
	Joe5 + Joe6 #=< 1,
	Joe6 + Joe7 #=< 1,
	Joe7 + Joe8 #=< 1,
	Joe8 + Joe9 #=< 1,
	Joe10 + Joe9 #=< 1,
  
	Mario1 + Mario2 #=< 1,
	Mario2 + Mario3 #=< 1,
	Mario3 + Mario4 #=< 1,
	Mario4 + Mario5 #=< 1,
	Mario5 + Mario6 #=< 1,
	Mario6 + Mario7 #=< 1,
	Mario7 + Mario8 #=< 1,
	Mario8 + Mario9 #=< 1,
	Mario10 + Mario9 #=< 1,
  
	Ron1 + Ron2 #=< 1,
	Ron2 + Ron3 #=< 1,
	Ron3 + Ron4 #=< 1,
	Ron4 + Ron5 #=< 1,
	Ron5 + Ron6 #=< 1,
	Ron6 + Ron7 #=< 1,
	Ron7 + Ron8 #=< 1,
	Ron8 + Ron9 #=< 1,
	Ron10 + Ron9 #=< 1,
  
	Tom1 + Tom2 #=< 1,
	Tom2 + Tom3 #=< 1,
	Tom3 + Tom4 #=< 1,
	Tom4 + Tom5 #=< 1,
	Tom5 + Tom6 #=< 1,
	Tom6 + Tom7 #=< 1,
	Tom7 + Tom8 #=< 1,
	Tom8 + Tom9 #=< 1,
	Tom10 + Tom9 #=< 1,
  
    
     C1 #=  Carol1 + Carla1 + Cathy1 + Heather1 + Inez1 + Janet1 + Jean1 + Juliet1 +
           Marilyn1 + Tracy1 + Bill1 + Bob1 + David1 + Ed1 + Fred1 + Jeremy1 +
           Joe1 + Mario1 + Ron1 + Tom1,
     C2 #=  Carol2 + Carla2 + Cathy2 + Heather2 + Inez2 + Janet2 + Jean2 + Juliet2 + 
           Marilyn2 + Tracy2 + Bill2 + Bob2 + David2 + Ed2 + Fred2 + Jeremy2 +
           Joe2 + Mario2 + Ron2 + Tom2,
     C3 #=  Carol3 + Carla3 + Cathy3 + Heather3 + Inez3 + Janet3 + Jean3 + Juliet3 + 
           Marilyn3 + Tracy3 + Bill3 + Bob3 + David3 + Ed3 + Fred3 + Jeremy3 +
           Joe3 + Mario3 + Ron3 + Tom3,
     C4 #=  Carol4 + Carla4 + Cathy4 + Heather4 + Inez4 + Janet4 + Jean4 + Juliet4 + 
           Marilyn4 + Tracy4 + Bill4 + Bob4 + David4 + Ed4 + Fred4 + Jeremy4 +
           Joe4 + Mario4 + Ron4 + Tom4,
     C5 #=  Carol5 + Carla5 + Cathy5 + Heather5 + Inez5 + Janet5 + Jean5 + Juliet5 + 
           Marilyn5 + Tracy5 + Bill5 + Bob5 + David5 + Ed5 + Fred5 + Jeremy5 +
           Joe5 + Mario5 + Ron5 + Tom5,
     C5 #=  Carol5 + Carla5 + Cathy5 + Heather5 + Inez5 + Janet5 + Jean5 + Juliet5 + 
           Marilyn5 + Tracy5 + Bill5 + Bob5 + David5 + Ed5 + Fred5 + Jeremy5 +
           Joe5 + Mario5 + Ron5 + Tom5,
     C6 #=  Carol6 + Carla6 + Cathy6 + Heather6 + Inez6 + Janet6 + Jean6 + Juliet6 + 
           Marilyn6 + Tracy6 + Bill6 + Bob6 + David6 + Ed6 + Fred6 + Jeremy6 +
           Joe6 + Mario6 + Ron6 + Tom6,
     C7 #=  Carol7 + Carla7 + Cathy7 + Heather7 + Inez7 + Janet7 + Jean7 + Juliet7 + 
           Marilyn7 + Tracy7 + Bill7 + Bob7 + David7 + Ed7 + Fred7 + Jeremy7 +
           Joe7 + Mario7 + Ron7 + Tom7,
     C8 #=  Carol8 + Carla8 + Cathy8 + Heather8 + Inez8 + Janet8 + Jean8 + Juliet8 + 
           Marilyn8 + Tracy8 + Bill8 + Bob8 + David8 + Ed8 + Fred8 + Jeremy8 +
           Joe8 + Mario8 + Ron8 + Tom8,
     C9 #=  Carol9 + Carla9 + Cathy9 + Heather9 + Inez9 + Janet9 + Jean9 + Juliet9 + 
           Marilyn9 + Tracy9 + Bill9 + Bob9 + David9 + Ed9 + Fred9 + Jeremy9 +
           Joe9 + Mario9 + Ron9 + Tom9,
     C10 #=  Carol10 + Carla10 + Cathy10 + Heather10 + Inez10 + Janet10 + Jean10 + 
            Juliet10 + Marilyn10 + Tracy10 + Bill10 + Bob10 + David10 + Ed10 + 
            Fred10 + Jeremy10 + Joe10 + Mario10 + Ron10 + Tom10,
  
	   C1 #>= 4,
	   C2 #>= 4,
	   C3 #>= 5,
	   C4 #>= 5,
	   C5 #>= 6,
	   C6 #>= 4,
	   C7 #>= 4,
	   C8 #>= 0,
	   C9 #>= 5,
	   C10 #>= 6,

     H1 #=  Carol1 + Carla1 + Cathy1 + Heather1 + Inez1 + Janet1 + Jean1 + Juliet1 + 
           Marilyn1 + Tracy1,
     S1 #=  Bill1 + Bob1 + David1 + Ed1 + Fred1 + Jeremy1 +
           Joe1 + Mario1 + Ron1 + Tom1,
     H2 #=  Carol2 + Carla2 + Cathy2 + Heather2 + Inez2 + Janet2 + Jean2 + Juliet2 + 
           Marilyn2 + Tracy2,
     S2 #= Bill2 + Bob2 + David2 + Ed2 + Fred2 + Jeremy2 +
           Joe2 + Mario2 + Ron2 + Tom2,
     H3 #=  Carol3 + Carla3 + Cathy3 + Heather3 + Inez3 + Janet3 + Jean3 + Juliet3 + 
          Marilyn3 + Tracy3,
     S3 #= Bill3 + Bob3 + David3 + Ed3 + Fred3 + Jeremy3 +
           Joe3 + Mario3 + Ron3 + Tom3,
     H4 #=  Carol4 + Carla4 + Cathy4 + Heather4 + Inez4 + Janet4 + Jean4 + Juliet4 + 
           Marilyn4 + Tracy4,
     S4 #= Bill4 + Bob4 + David4 + Ed4 + Fred4 + Jeremy4 +
           Joe4 + Mario4 + Ron4 + Tom4,
     H5 #=  Carol5 + Carla5 + Cathy5 + Heather5 + Inez5 + Janet5 + Jean5 + Juliet5 + 
           Marilyn5 + Tracy5,
     S5 #= Bill5 + Bob5 + David5 + Ed5 + Fred5 + Jeremy5 +
           Joe5 + Mario5 + Ron5 + Tom5,
     H6 #=  Carol6 + Carla6 + Cathy6 + Heather6 + Inez6 + Janet6 + Jean6 + Juliet6 + 
           Marilyn6 + Tracy6,
     S6 #= Bill6 + Bob6 + David6 + Ed6 + Fred6 + Jeremy6 +
           Joe6 + Mario6 + Ron6 + Tom6,
     H7 #=  Carol7 + Carla7 + Cathy7 + Heather7 + Inez7 + Janet7 + Jean7 + Juliet7 + 
           Marilyn7 + Tracy7,
     S7 #= Bill7 + Bob7 + David7 + Ed7 + Fred7 + Jeremy7 +
           Joe7 + Mario7 + Ron7 + Tom7,
     H8 #=  Carol8 + Carla8 + Cathy8 + Heather8 + Inez8 + Janet8 + Jean8 + Juliet8 + 
           Marilyn8 + Tracy8,
     S8 #= Bill8 + Bob8 + David8 + Ed8 + Fred8 + Jeremy8 +
           Joe8 + Mario8 + Ron8 + Tom8,
     H9 #=  Carol9 + Carla9 + Cathy9 + Heather9 + Inez9 + Janet9 + Jean9 + Juliet9 + 
           Marilyn9 + Tracy9,
     S9 #= Bill9 + Bob9 + David9 + Ed9 + Fred9 + Jeremy9 +
           Joe9 + Mario9 + Ron9 + Tom9,
     H10 #=  Carol10 + Carla10 + Cathy10 + Heather10 + Inez10 + Janet10 + Jean10 + 
            Juliet10 + Marilyn10 + Tracy10,
     S10 #= Bill10 + Bob10 + David10 + Ed10 + Fred10 + Jeremy10 +
           Joe10 + Mario10 + Ron10 + Tom10,

	   S1 #>= 1, H1 #>= 1,
	   S2 #>= 1, H2 #>= 1,
	   S3 #>= 1, H3 #>= 1,
	   S4 #>= 2, H4 #>= 2,
	   S5 #>= 3, H5 #>= 2,
	   S6 #>= 1, H6 #>= 1,
	   S7 #>= 1, H7 #>= 1,
	   S8 #>= 1, H8 #>= 1,
	   S9 #>= 1, H9 #>= 1,
	   S10 #>= 1, H10 #>= 1,

	   C1 #= H1 + S1,
	   C2 #= H2 + S2,
	   C3 #= H3 + S3,
	   C4 #= H4 + S4,
	   C5 #= H5 + S5,
	   C6 #= H6 + S6,
	   C7 #= H7 + S7,
	   C8 #= H8 + S8, 
	   C9 #= H9 + S9,
	   C10 #= H10 + S10,
	   
	   F1 #= Bill1 + Inez1 + Jean1 + Juliet1,
	   G1 #= Cathy1 + Jeremy1 + Juliet1 + Mario1 + Tom1,
	   Sp1 #= Bill1 + Fred1 + Heather1 + Inez1 + Joe1 + Mario1 +Marilyn1,
	   F1 #>= 1,
	   Sp1 #>= 1,
	   G1 #>= 1,

	   F2 #= Bill2 + Inez2 + Jean2 + Juliet2,
	   G2 #= Cathy2 + Jeremy2 + Juliet2 + Mario2 + Tom2,
	   Sp2 #= Bill2 + Fred2 + Heather2 + Inez2 + Joe2 + Mario2 +Marilyn2,
	   F2 #>= 1,
	   Sp2 #>= 1,
	   G2 #>= 1,
	   
	 	   
	   F3 #= Bill3 + Inez3 + Jean3 + Juliet3,
	   G3 #= Cathy3 + Jeremy3 + Juliet3 + Mario3 + Tom3,
	   Sp3 #= Bill3 + Fred3 + Heather3 + Inez3 + Joe3 + Mario3 +Marilyn3,
	   F3 #>= 1,
	   Sp3 #>= 1,
	   G3 #>= 1,

	   F4 #= Bill4 + Inez4 + Jean4 + Juliet4,
	   G4 #= Cathy4 + Jeremy4 + Juliet4 + Mario4 + Tom4,
	   Sp4 #= Bill4 + Fred4 + Heather4 + Inez4 + Joe4 + Mario4 +Marilyn4,
	   F4 #>= 2,
	   Sp4 #>= 2,
	   G4 #>= 1,
	   
	   F5 #= Bill5 + Inez5 + Jean5 + Juliet5,
	   G5 #= Cathy5 + Jeremy5 + Juliet5 + Mario5 + Tom5,
	   Sp5 #= Bill5 + Fred5 + Heather5 + Inez5 + Joe5 + Mario5 +Marilyn5,
	   F5 #>= 2,
	   Sp5 #>= 2,
	   G5 #>= 1,
	   
	   F6 #= Bill6 + Inez6 + Jean6 + Juliet6,
	   G6 #= Cathy6 + Jeremy6 + Juliet6 + Mario6 + Tom6,
	   Sp6 #= Bill6 + Fred6 + Heather6 + Inez6 + Joe6 + Mario6 +Marilyn6,
	   F6 #>= 1,
	   Sp6 #>= 1,
	   G6 #>= 1,
	   
	   F7 #= Bill7 + Inez7 + Jean7 + Juliet7,
	   G7 #= Cathy7 + Jeremy7 + Juliet7 + Mario7 + Tom7,
	   Sp7 #= Bill7 + Fred7 + Heather7 + Inez7 + Joe7 + Mario7 +Marilyn7,
	   F7 #>= 1,
	   Sp7 #>= 1,
	   G7 #>= 1,
	   
	   F8 #= Bill8 + Inez8 + Jean8 + Juliet8,
	   G8 #= Cathy8 + Jeremy8 + Juliet8 + Mario8 + Tom8,
	   Sp8 #= Bill8 + Fred8 + Heather8 + Inez8 + Joe8 + Mario8 +Marilyn8,
	   F8 #>= 1,
	   Sp8 #>= 1,
	   G8 #>= 1,
	   
	   F9 #= Bill9 + Inez9 + Jean9 + Juliet9,
	   G9 #= Cathy9 + Jeremy9 + Juliet9 + Mario9 + Tom9,
	   Sp9 #= Bill9 + Fred9 + Heather9 + Inez9 + Joe9 + Mario9 +Marilyn9,
	   F9 #>= 1,
	   Sp9 #>= 1,
	   G9 #>= 1,
	   
	   F10 #= Bill10 + Inez10 + Jean10 + Juliet10,
	   G10 #= Cathy10 + Jeremy10 + Juliet10 + Mario10 + Tom10,
	   Sp10 #= Bill10 + Fred10 + Heather10 + Inez10 + Joe10 + Mario10 +Marilyn10,
	   F10 #>= 1,
	   Sp10 #>= 1,
	   G10 #>= 1,


	   Bill1 = 0,
           
	   minof(mlab(People),Total),
	   statistics(runtime,[_,Tt1]),
	   write(Tt1),nl,
	   write(Total),nl,
	   a(People).

lappend([],[]).
lappend([L],L) :-
	!.
lappend([L|LL],R) :-
	lappend(LL,LR),
	append(L,LR,R).

mlab([]).
mlab([P|L]) :-
	( P=1 ; P=0),
	mlab(L).


a(People) :- 
	People =
        [ Bill1,Bill2,Bill3,Bill4,Bill5,Bill6,Bill7,Bill8,Bill9,Bill10,
	  Inez1,Inez2,Inez3,Inez4,Inez5,Inez6,Inez7,Inez8,Inez9,Inez10,
	  Jean1,Jean2,Jean3,Jean4,Jean5,Jean6,Jean7,Jean8,Jean9,Jean10,
	  Juliet1,Juliet2,Juliet3,Juliet4,Juliet5,Juliet6,Juliet7,Juliet8,Juliet9,Juliet10,
	  Cathy1,Cathy2,Cathy3,Cathy4,Cathy5,Cathy6,Cathy7,Cathy8,Cathy9,Cathy10,
	  Jeremy1,Jeremy2,Jeremy3,Jeremy4,Jeremy5,Jeremy6,Jeremy7,Jeremy8,Jeremy9,Jeremy10,
	  Mario1,Mario2,Mario3,Mario4,Mario5,Mario6,Mario7,Mario8,Mario9,Mario10,
	  Tom1,Tom2,Tom3,Tom4,Tom5,Tom6,Tom7,Tom8,Tom9,Tom10,


	  Fred1,Fred2,Fred3,Fred4,Fred5,Fred6,Fred7,Fred8,Fred9,Fred10,
	  Heather1,Heather2,Heather3,Heather4,Heather5,Heather6,Heather7,Heather8,Heather9,Heather10,
	  Joe1,Joe2,Joe3,Joe4,Joe5,Joe6,Joe7,Joe8,Joe9,Joe10,
	  Marilyn1,Marilyn2,Marilyn3,Marilyn4,Marilyn5,Marilyn6,Marilyn7,Marilyn8,Marilyn9,Marilyn10,
	  
	  
	  
	  Carol1,Carol2,Carol3,Carol4,Carol5,Carol6,Carol7,Carol8,Carol9,Carol10,
	  Carla1,Carla2,Carla3,Carla4,Carla5,Carla6,Carla7,Carla8,Carla9,Carla10,
	  Janet1,Janet2,Janet3,Janet4,Janet5,Janet6,Janet7,Janet8,Janet9,Janet10,
	  Tracy1,Tracy2,Tracy3,Tracy4,Tracy5,Tracy6,Tracy7,Tracy8,Tracy9,Tracy10,
	  Bob1,Bob2,Bob3,Bob4,Bob5,Bob6,Bob7,Bob8,Bob9,Bob10,
	  David1,David2,David3,David4,David5,David6,David7,David8,David9,David10,
	  Ed1,Ed2,Ed3,Ed4,Ed5,Ed6,Ed7,Ed8,Ed9,Ed10,
	  Ron1,Ron2,Ron3,Ron4,Ron5,Ron6,Ron7,Ron8,Ron9,Ron10],

	write('Bill :'), 
	write([ Bill1,Bill2,Bill3,Bill4,Bill5,Bill6,Bill7,Bill8,Bill9,Bill10]),nl,
	write('Bob :'), 
	write([ Bob1,Bob2,Bob3,Bob4,Bob5,Bob6,Bob7,Bob8,Bob9,Bob10]),nl,
	write('David :'), 
	write([ David1,David2,David3,David4,David5,David6,David7,David8,David9,David10]),nl,
	write('Ed :'), 
	write([ Ed1,Ed2,Ed3,Ed4,Ed5,Ed6,Ed7,Ed8,Ed9,Ed10]),nl,
	write('Fred :'),
	write([ Fred1,Fred2,Fred3,Fred4,Fred5,Fred6,Fred7,Fred8,Fred9,Fred10]),nl,
	write('Jeremy :'), 
	write([ Jeremy1,Jeremy2,Jeremy3,Jeremy4,Jeremy5,Jeremy6,Jeremy7,Jeremy8,Jeremy9,Jeremy10]),nl,
	write('Joe :'), 
	write([ Joe1,Joe2,Joe3,Joe4,Joe5,Joe6,Joe7,Joe8,Joe9,Joe10]),nl,
	write('Mario :'), 
	write([ Mario1,Mario2,Mario3,Mario4,Mario5,Mario6,Mario7,Mario8,Mario9,Mario10]),nl,
	write('Ron :'), 
	write([ Ron1,Ron2,Ron3,Ron4,Ron5,Ron6,Ron7,Ron8,Ron9,Ron10]),nl,
	write('Tom :'), 
	write([ Tom1,Tom2,Tom3,Tom4,Tom5,Tom6,Tom7,Tom8,Tom9,Tom10]),nl,
	write('Carol :'), 
	write([ Carol1,Carol2,Carol3,Carol4,Carol5,Carol6,Carol7,Carol8,Carol9,Carol10]),nl,
	write('Carla :'), 
	write([ Carla1,Carla2,Carla3,Carla4,Carla5,Carla6,Carla7,Carla8,Carla9,Carla10]),nl,
	write('Cathy :'), 
	write([ Cathy1,Cathy2,Cathy3,Cathy4,Cathy5,Cathy6,Cathy7,Cathy8,Cathy9,Cathy10]),nl,
	write('Heather :'), 
	write([ Heather1,Heather2,Heather3,Heather4,Heather5,Heather6,Heather7,Heather8,Heather9,Heather10]),nl,
	write('Inez :'), 
	write([ Inez1,Inez2,Inez3,Inez4,Inez5,Inez6,Inez7,Inez8,Inez9,Inez10]),nl,
	write('Janet :'), 
	write([ Janet1,Janet2,Janet3,Janet4,Janet5,Janet6,Janet7,Janet8,Janet9,Janet10]),nl,
	write('Jean :'),
	write([ Jean1,Jean2,Jean3,Jean4,Jean5,Jean6,Jean7,Jean8,Jean9,Jean10]),nl,
	write('Juliet :'), 
	write([ Juliet1,Juliet2,Juliet3,Juliet4,Juliet5,Juliet6,Juliet7,Juliet8,Juliet9,Juliet10]),nl,
	write('Marilyn :'), 
	write([ Marilyn1,Marilyn2,Marilyn3,Marilyn4,Marilyn5,Marilyn6,Marilyn7,Marilyn8,Marilyn9,Marilyn10]),nl,
	write('Tracy :'), 
	write([ Tracy1,Tracy2,Tracy3,Tracy4,Tracy5,Tracy6,Tracy7,Tracy8,Tracy9,Tracy10]),nl.




	   
	   



