%------------------------------------------------------------------------------
% File     : Otter---3.3
% Problem  : AGT042+1 : TPTP v8.1.0. Released v6.4.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : otter-tptp-script %s

% Computer : n012.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Wed Jul 27 12:45:52 EDT 2022

% Result   : Unknown 2.19s 2.35s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.01/0.11  % Problem  : AGT042+1 : TPTP v8.1.0. Released v6.4.0.
% 0.11/0.12  % Command  : otter-tptp-script %s
% 0.11/0.32  % Computer : n012.cluster.edu
% 0.11/0.32  % Model    : x86_64 x86_64
% 0.11/0.32  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32  % Memory   : 8042.1875MB
% 0.11/0.32  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32  % CPULimit : 300
% 0.11/0.32  % WCLimit  : 300
% 0.11/0.32  % DateTime : Wed Jul 27 02:49:20 EDT 2022
% 0.11/0.32  % CPUTime  : 
% 2.10/2.23  ----- Otter 3.3f, August 2004 -----
% 2.10/2.23  The process was started by sandbox2 on n012.cluster.edu,
% 2.10/2.23  Wed Jul 27 02:49:21 2022
% 2.10/2.23  The command was "./otter".  The process ID is 11482.
% 2.10/2.23  
% 2.10/2.23  set(prolog_style_variables).
% 2.10/2.23  set(auto).
% 2.10/2.23     dependent: set(auto1).
% 2.10/2.23     dependent: set(process_input).
% 2.10/2.23     dependent: clear(print_kept).
% 2.10/2.23     dependent: clear(print_new_demod).
% 2.10/2.23     dependent: clear(print_back_demod).
% 2.10/2.23     dependent: clear(print_back_sub).
% 2.10/2.23     dependent: set(control_memory).
% 2.10/2.23     dependent: assign(max_mem, 12000).
% 2.10/2.23     dependent: assign(pick_given_ratio, 4).
% 2.10/2.23     dependent: assign(stats_level, 1).
% 2.10/2.23     dependent: assign(max_seconds, 10800).
% 2.10/2.23  clear(print_given).
% 2.10/2.23  
% 2.10/2.23  formula_list(usable).
% 2.10/2.23  all A C N L (accept_team(A,L,C,N)<->accept_city(A,C)&accept_leader(A,L)&accept_number(A,N)).
% 2.10/2.23  all A N M (accept_number(A,N)&less(M,N)->accept_number(A,M)).
% 2.10/2.23  all A N M P (accept_population(A,P,N)&less(M,N)->accept_population(A,P,M)).
% 2.10/2.23  all A L C (the_agent_in_all_proposed_teams(A,L,C)->accept_leader(A,L)&accept_city(A,C)).
% 2.10/2.23  all A L C (any_agent_in_all_proposed_teams(A,L,C)->accept_leader(A,L)).
% 2.10/2.23  all A L C (the_agent_not_in_any_proposed_teams(A,L,C)-> -(accept_city(A,C)&accept_leader(A,L))).
% 2.10/2.23  all A N (min_number_of_proposed_agents(A,N)->accept_number(A,N)).
% 2.10/2.23  all A (accept_population(A,atheist,n65)&accept_population(A,christian,n20)&accept_population(A,muslim,n7)&accept_population(A,native,n4)&accept_population(A,other,n4)<->accept_city(A,suffertown)).
% 2.10/2.23  all A (accept_population(A,atheist,n54)&accept_population(A,christian,n23)&accept_population(A,muslim,n3)&accept_population(A,native,n1)&accept_population(A,other,n9)<->accept_city(A,centraltown)).
% 2.10/2.23  all A (accept_population(A,atheist,n30)&accept_population(A,christian,n8)&accept_population(A,muslim,n60)&accept_population(A,native,n1)&accept_population(A,other,n1)<->accept_city(A,sunnysideport)).
% 2.10/2.23  all A (accept_population(A,atheist,n70)&accept_population(A,christian,n15)&accept_population(A,muslim,n1)&accept_population(A,native,n10)&accept_population(A,other,n4)<->accept_city(A,centrallakecity)).
% 2.10/2.23  all A (accept_population(A,atheist,n68)&accept_population(A,christian,n16)&accept_population(A,muslim,n1)&accept_population(A,native,n11)&accept_population(A,other,n4)<->accept_city(A,stjosephburgh)).
% 2.10/2.23  all A (accept_population(A,atheist,n70)&accept_population(A,christian,n13)&accept_population(A,muslim,n0)&accept_population(A,native,n15)&accept_population(A,other,n2)<->accept_city(A,northport)).
% 2.10/2.23  all A (accept_population(A,atheist,n12)&accept_population(A,christian,n3)&accept_population(A,muslim,n0)&accept_population(A,native,n85)&accept_population(A,other,n0)<->accept_city(A,coastvillage)).
% 2.10/2.23  all A (accept_population(A,atheist,n0)&accept_population(A,christian,n0)&accept_population(A,muslim,n0)&accept_population(A,native,n100)&accept_population(A,other,n0)<->accept_city(A,sunsetpoint)).
% 2.10/2.23  all A (accept_population(A,atheist,n75)&accept_population(A,christian,n24)&accept_population(A,muslim,n1)&accept_population(A,native,n0)&accept_population(A,other,n0)<->accept_city(A,towna)).
% 2.10/2.23  all A (accept_population(A,atheist,n75)&accept_population(A,christian,n25)&accept_population(A,muslim,n0)&accept_population(A,native,n0)&accept_population(A,other,n0)<->accept_city(A,citya)).
% 2.10/2.23  all A (accept_population(A,atheist,n70)&accept_population(A,christian,n20)&accept_population(A,muslim,n8)&accept_population(A,native,n0)&accept_population(A,other,n2)<->accept_city(A,townb)).
% 2.10/2.23  all A (accept_population(A,atheist,n78)&accept_population(A,christian,n20)&accept_population(A,muslim,n1)&accept_population(A,native,n0)&accept_population(A,other,n1)<->accept_city(A,cityb)).
% 2.10/2.23  all A (accept_population(A,atheist,n30)&accept_population(A,christian,n0)&accept_population(A,muslim,n65)&accept_population(A,native,n0)&accept_population(A,other,n5)<->accept_city(A,townc)).
% 2.10/2.23  accept_team(countryahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.10/2.23  accept_team(countryahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.10/2.23  accept_team(countryahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.23  accept_team(countryahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  any_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n2).
% 2.10/2.23  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.23  the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.23  accept_team(countryamedicalorganization,countryacivilorganization,cityb,n6).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.10/2.23  accept_team(countryafirstaidorganization,countryacivilorganization,cityb,n6).
% 2.10/2.23  accept_number(countrybhumanitarianorganization,n4).
% 2.10/2.23  accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n4).
% 2.10/2.23  accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.10/2.23  accept_team(sufferterragovernment,countryacivilorganization,cityb,n6).
% 2.10/2.23  accept_number(countrybhumanitarianorganization,n1).
% 2.10/2.23  the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.23  accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.10/2.23  accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 2.10/2.23  accept_number(countryahumanitarianorganization,n2).
% 2.10/2.23  -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n2).
% 2.10/2.23  -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n2).
% 2.10/2.23  -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n2).
% 2.10/2.23  -accept_team(countryamedicalorganization,christiansufferterrahumanitarianorganization,coastvillage,n2).
% 2.10/2.23  -accept_team(countryamedicalorganization,sufferterragovernment,coastvillage,n2).
% 2.10/2.23  -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.23  -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.23  -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.23  the_agent_not_in_any_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  any_agent_in_all_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  accept_team(countryccivilorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.23  -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.23  the_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.10/2.23  accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.23  accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.23  accept_number(countrybcivilorganization,n5).
% 2.10/2.23  the_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.10/2.23  accept_team(sufferterragovernment,countryacivilorganization,towna,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.10/2.23  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.23  accept_number(countrycmedicalorganization,n4).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.23  accept_number(countrycmedicalorganization,n5).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.23  the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  accept_team(countryafirstaidorganization,countryacivilorganization,towna,n6).
% 2.10/2.23  accept_number(countryacivilorganization,n2).
% 2.10/2.23  accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.23  accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.23  accept_team(countryacivilorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  any_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  accept_number(countryafirstaidorganization,n2).
% 2.10/2.23  accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.23  accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.23  accept_team(countryafirstaidorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  any_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.23  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.23  accept_number(christiancountrychumanitarianorganization,n5).
% 2.10/2.23  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.23  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.23  accept_team(countrybcivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(countrybcivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(countrybcivilorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  any_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.23  accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.23  accept_team(sufferterragovernment,countryacivilorganization,coastvillage,n6).
% 2.10/2.23  accept_team(sufferterragovernment,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  any_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  accept_number(christiansufferterrahumanitarianorganization,n2).
% 2.10/2.23  accept_number(countryahumanitarianorganization,n5).
% 2.10/2.23  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.23  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.23  accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.23  accept_team(christiansufferterrahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.23  accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.23  accept_number(muslimcountrybhumanitarianorganization,n3).
% 2.10/2.23  accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,townc,n4).
% 2.10/2.23  accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.10/2.23  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  accept_team(countryacivilorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(countryafirstaidorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countryccivilorganization,townc,n4).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  -accept_team(countryccivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.23  -accept_team(countryccivilorganization,countrybcivilorganization,townc,n6).
% 2.10/2.23  -accept_team(countryccivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.23  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.23  -accept_team(countryccivilorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  any_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n2).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(sufferterragovernment,countryahumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(countryamedicalorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(countrycmedicalorganization,countryccivilorganization,townc,n4).
% 2.10/2.23  accept_team(countrycmedicalorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(countrycmedicalorganization,countrybcivilorganization,townc,n6).
% 2.10/2.23  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  any_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.23  accept_number(christiansufferterrahumanitarianorganization,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.23  -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.23  accept_team(sufferterragovernment,countryahumanitarianorganization,cityb,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.10/2.23  any_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.10/2.23  accept_team(countryafirstaidorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.23  accept_number(countryafirstaidorganization,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  any_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  accept_team(countryafirstaidorganization,sufferterragovernment,towna,n5).
% 2.10/2.23  accept_team(countryafirstaidorganization,sufferterragovernment,towna,n6).
% 2.10/2.23  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.23  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.23  accept_team(countryamedicalorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.23  accept_number(countryamedicalorganization,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  any_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.23  accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  any_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  accept_number(countryahumanitarianorganization,n6).
% 2.10/2.23  accept_team(countryacivilorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.23  accept_number(countryacivilorganization,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  any_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  accept_number(countrybhumanitarianorganization,n5).
% 2.10/2.23  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.23  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n2).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n2).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n2).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n2).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n2).
% 2.10/2.23  accept_number(muslimcountrybhumanitarianorganization,n2).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n4).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.23  accept_team(countryamedicalorganization,sufferterragovernment,towna,n5).
% 2.10/2.23  accept_team(countryamedicalorganization,sufferterragovernment,towna,n6).
% 2.10/2.23  accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n5).
% 2.10/2.23  accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.10/2.23  accept_number(christiancountrychumanitarianorganization,n2).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.10/2.23  accept_number(countrybhumanitarianorganization,n2).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.23  accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  accept_number(countrybcivilorganization,n2).
% 2.10/2.23  accept_number(countrybcivilorganization,n3).
% 2.10/2.23  accept_team(countrybcivilorganization,countryccivilorganization,towna,n4).
% 2.10/2.23  accept_team(countrybcivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.23  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.23  accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.10/2.23  accept_number(sufferterragovernment,n2).
% 2.10/2.23  -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n2).
% 2.10/2.23  -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.10/2.23  accept_number(countryccivilorganization,n2).
% 2.10/2.23  accept_number(countryccivilorganization,n3).
% 2.10/2.23  -accept_team(countryccivilorganization,countrybcivilorganization,towna,n6).
% 2.10/2.23  -accept_team(countryccivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.23  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.23  -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.10/2.23  accept_number(sufferterragovernment,n5).
% 2.10/2.23  accept_team(countryacivilorganization,sufferterragovernment,towna,n5).
% 2.10/2.23  accept_number(sufferterragovernment,n6).
% 2.10/2.23  accept_team(countryacivilorganization,sufferterragovernment,towna,n6).
% 2.10/2.23  accept_number(countrycmedicalorganization,n2).
% 2.10/2.23  accept_number(countrycmedicalorganization,n3).
% 2.10/2.23  accept_team(countrycmedicalorganization,countryccivilorganization,towna,n4).
% 2.10/2.23  accept_team(countrycmedicalorganization,countrybcivilorganization,towna,n6).
% 2.10/2.23  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.23  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.10/2.23  accept_number(christiancountrychumanitarianorganization,n3).
% 2.10/2.23  accept_number(countryccivilorganization,n4).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countryccivilorganization,towna,n4).
% 2.10/2.23  accept_number(countrybcivilorganization,n6).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.10/2.23  accept_number(countrybhumanitarianorganization,n6).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.23  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.23  accept_number(christiancountrychumanitarianorganization,n6).
% 2.10/2.23  the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  accept_number(countrycmedicalorganization,n6).
% 2.10/2.23  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.23  accept_number(muslimcountrybhumanitarianorganization,n6).
% 2.10/2.23  the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  accept_leader(christiancountrychumanitarianorganization,countryacivilorganization).
% 2.10/2.23  accept_leader(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,other,n5).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,muslim,n65).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,christian,n0).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,atheist,n30).
% 2.10/2.23  accept_city(christiancountrychumanitarianorganization,townc).
% 2.10/2.23  accept_leader(christiancountrychumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,other,n1).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,christian,n20).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,atheist,n78).
% 2.10/2.23  accept_city(christiancountrychumanitarianorganization,cityb).
% 2.10/2.23  -accept_city(countryamedicalorganization,coastvillage).
% 2.10/2.23  accept_leader(countryamedicalorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  accept_population(countryamedicalorganization,other,n5).
% 2.10/2.23  accept_population(countryamedicalorganization,muslim,n65).
% 2.10/2.23  accept_population(countryamedicalorganization,christian,n0).
% 2.10/2.23  accept_population(countryamedicalorganization,atheist,n30).
% 2.10/2.23  accept_leader(countryamedicalorganization,countryahumanitarianorganization).
% 2.10/2.23  accept_city(countryamedicalorganization,townc).
% 2.10/2.23  accept_leader(countryahumanitarianorganization,countryamedicalorganization).
% 2.10/2.23  accept_leader(countryahumanitarianorganization,countryafirstaidorganization).
% 2.10/2.23  accept_population(countryahumanitarianorganization,native,n85).
% 2.10/2.23  accept_population(countryahumanitarianorganization,muslim,n0).
% 2.10/2.23  accept_population(countryahumanitarianorganization,christian,n3).
% 2.10/2.23  accept_population(countryahumanitarianorganization,atheist,n12).
% 2.10/2.23  accept_city(countryahumanitarianorganization,coastvillage).
% 2.10/2.23  accept_leader(countryahumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  accept_leader(countryafirstaidorganization,countryamedicalorganization).
% 2.10/2.23  accept_leader(christiansufferterrahumanitarianorganization,countryamedicalorganization).
% 2.10/2.23  accept_leader(countrycmedicalorganization,countryacivilorganization).
% 2.10/2.23  accept_population(countrycmedicalorganization,native,n85).
% 2.10/2.23  accept_population(countrycmedicalorganization,muslim,n0).
% 2.10/2.23  accept_population(countrycmedicalorganization,christian,n3).
% 2.10/2.23  accept_population(countrycmedicalorganization,atheist,n12).
% 2.10/2.23  accept_city(countrycmedicalorganization,coastvillage).
% 2.10/2.23  accept_leader(countrybcivilorganization,countryacivilorganization).
% 2.10/2.23  accept_population(countrybcivilorganization,native,n85).
% 2.10/2.23  accept_population(countrybcivilorganization,muslim,n0).
% 2.10/2.23  accept_population(countrybcivilorganization,christian,n3).
% 2.10/2.23  accept_population(countrybcivilorganization,atheist,n12).
% 2.10/2.23  accept_city(countrybcivilorganization,coastvillage).
% 2.10/2.23  accept_leader(countrybcivilorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.23  accept_population(countrybcivilorganization,other,n5).
% 2.10/2.23  accept_population(countrybcivilorganization,muslim,n65).
% 2.10/2.23  accept_population(countrybcivilorganization,christian,n0).
% 2.10/2.23  accept_population(countrybcivilorganization,atheist,n30).
% 2.10/2.23  accept_city(countrybcivilorganization,townc).
% 2.10/2.23  accept_leader(countrybcivilorganization,countryahumanitarianorganization).
% 2.10/2.23  accept_population(countrybcivilorganization,other,n1).
% 2.10/2.23  accept_population(countrybcivilorganization,christian,n20).
% 2.10/2.23  accept_population(countrybcivilorganization,atheist,n78).
% 2.10/2.23  accept_city(countrybcivilorganization,cityb).
% 2.10/2.23  accept_leader(sufferterragovernment,countryamedicalorganization).
% 2.10/2.23  accept_population(sufferterragovernment,christian,n24).
% 2.10/2.23  accept_population(sufferterragovernment,atheist,n75).
% 2.10/2.23  accept_city(sufferterragovernment,towna).
% 2.10/2.23  -accept_number(countryccivilorganization,n5).
% 2.10/2.23  accept_population(countryccivilorganization,other,n1).
% 2.10/2.23  accept_population(countryccivilorganization,christian,n20).
% 2.10/2.23  accept_population(countryccivilorganization,atheist,n78).
% 2.10/2.23  -accept_number(countryccivilorganization,n6).
% 2.10/2.23  accept_leader(countryccivilorganization,countrybhumanitarianorganization).
% 2.10/2.23  accept_city(countryccivilorganization,cityb).
% 2.10/2.23  accept_leader(countryccivilorganization,countryacivilorganization).
% 2.10/2.23  accept_leader(countryacivilorganization,countryamedicalorganization).
% 2.10/2.23  accept_leader(countryacivilorganization,countryafirstaidorganization).
% 2.10/2.23  accept_population(countryacivilorganization,native,n85).
% 2.10/2.23  accept_population(countryacivilorganization,muslim,n0).
% 2.10/2.23  accept_population(countryacivilorganization,christian,n3).
% 2.10/2.23  accept_population(countryacivilorganization,atheist,n12).
% 2.10/2.23  accept_city(countryacivilorganization,coastvillage).
% 2.10/2.23  accept_leader(countryacivilorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  accept_population(countryacivilorganization,other,n5).
% 2.10/2.23  accept_population(countryacivilorganization,muslim,n65).
% 2.10/2.23  accept_population(countryacivilorganization,christian,n0).
% 2.10/2.23  accept_population(countryacivilorganization,atheist,n30).
% 2.10/2.23  accept_leader(countryacivilorganization,countryahumanitarianorganization).
% 2.10/2.23  accept_city(countryacivilorganization,townc).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,christian,n24).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,atheist,n75).
% 2.10/2.23  -accept_leader(christiansufferterrahumanitarianorganization,sufferterragovernment).
% 2.10/2.23  accept_city(christiansufferterrahumanitarianorganization,towna).
% 2.10/2.23  accept_leader(christiansufferterrahumanitarianorganization,countryafirstaidorganization).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,other,n0).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,native,n85).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,muslim,n0).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,christian,n3).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,atheist,n12).
% 2.10/2.23  accept_city(christiansufferterrahumanitarianorganization,coastvillage).
% 2.10/2.23  accept_leader(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  accept_leader(muslimcountrybhumanitarianorganization,countryacivilorganization).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,other,n0).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,native,n85).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,muslim,n0).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,christian,n3).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,atheist,n12).
% 2.10/2.23  accept_city(muslimcountrybhumanitarianorganization,coastvillage).
% 2.10/2.23  accept_population(countryafirstaidorganization,native,n85).
% 2.10/2.23  accept_population(countryafirstaidorganization,muslim,n0).
% 2.10/2.23  accept_population(countryafirstaidorganization,christian,n3).
% 2.10/2.23  accept_population(countryafirstaidorganization,atheist,n12).
% 2.10/2.23  accept_city(countryafirstaidorganization,coastvillage).
% 2.10/2.23  accept_leader(countryafirstaidorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  accept_population(countryafirstaidorganization,other,n5).
% 2.10/2.23  accept_population(countryafirstaidorganization,muslim,n65).
% 2.10/2.23  accept_population(countryafirstaidorganization,christian,n0).
% 2.10/2.23  accept_population(countryafirstaidorganization,atheist,n30).
% 2.10/2.23  accept_leader(countryafirstaidorganization,countryahumanitarianorganization).
% 2.10/2.23  accept_city(countryafirstaidorganization,townc).
% 2.10/2.23  accept_leader(countryafirstaidorganization,countryacivilorganization).
% 2.10/2.23  accept_population(countryafirstaidorganization,other,n1).
% 2.10/2.23  accept_population(countryafirstaidorganization,christian,n20).
% 2.10/2.23  accept_population(countryafirstaidorganization,atheist,n78).
% 2.10/2.23  accept_city(countryafirstaidorganization,cityb).
% 2.10/2.23  accept_leader(countryafirstaidorganization,countrybhumanitarianorganization).
% 2.10/2.23  accept_leader(countrybhumanitarianorganization,countryacivilorganization).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,native,n85).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,muslim,n0).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,christian,n3).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,atheist,n12).
% 2.10/2.23  accept_city(countrybhumanitarianorganization,coastvillage).
% 2.10/2.23  accept_leader(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,other,n5).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,muslim,n65).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,christian,n0).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,atheist,n30).
% 2.10/2.23  accept_city(countrybhumanitarianorganization,townc).
% 2.10/2.23  accept_leader(countrybhumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.23  accept_leader(countrybhumanitarianorganization,countryccivilorganization).
% 2.10/2.23  accept_leader(countrybhumanitarianorganization,countrybcivilorganization).
% 2.10/2.23  accept_leader(countrybhumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  accept_leader(countrybhumanitarianorganization,countrycmedicalorganization).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,other,n0).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,native,n0).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,muslim,n1).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,christian,n24).
% 2.10/2.23  accept_population(countrybhumanitarianorganization,atheist,n75).
% 2.10/2.23  accept_city(countrybhumanitarianorganization,towna).
% 2.10/2.23  accept_leader(countrybhumanitarianorganization,sufferterragovernment).
% 2.10/2.23  accept_leader(sufferterragovernment,countryafirstaidorganization).
% 2.10/2.23  accept_population(sufferterragovernment,other,n0).
% 2.10/2.23  accept_population(sufferterragovernment,native,n85).
% 2.10/2.23  accept_population(sufferterragovernment,muslim,n0).
% 2.10/2.23  accept_population(sufferterragovernment,christian,n3).
% 2.10/2.23  accept_population(sufferterragovernment,atheist,n12).
% 2.10/2.23  accept_city(sufferterragovernment,coastvillage).
% 2.10/2.23  accept_leader(sufferterragovernment,christiancountrychumanitarianorganization).
% 2.10/2.23  accept_population(sufferterragovernment,other,n5).
% 2.10/2.23  accept_population(sufferterragovernment,muslim,n65).
% 2.10/2.23  accept_population(sufferterragovernment,christian,n0).
% 2.10/2.23  accept_population(sufferterragovernment,atheist,n30).
% 2.10/2.23  accept_leader(sufferterragovernment,countryahumanitarianorganization).
% 2.10/2.23  accept_city(sufferterragovernment,townc).
% 2.10/2.23  accept_leader(muslimcountrybhumanitarianorganization,countryccivilorganization).
% 2.10/2.23  accept_leader(muslimcountrybhumanitarianorganization,countrybcivilorganization).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,other,n5).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,muslim,n65).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,christian,n0).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,atheist,n30).
% 2.10/2.23  accept_leader(christiansufferterrahumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.23  accept_city(christiansufferterrahumanitarianorganization,townc).
% 2.10/2.23  accept_leader(christiansufferterrahumanitarianorganization,countryacivilorganization).
% 2.10/2.23  accept_number(christiansufferterrahumanitarianorganization,n5).
% 2.10/2.23  accept_number(christiansufferterrahumanitarianorganization,n4).
% 2.10/2.23  accept_number(christiansufferterrahumanitarianorganization,n3).
% 2.10/2.23  accept_number(christiansufferterrahumanitarianorganization,n2).
% 2.10/2.23  accept_number(christiansufferterrahumanitarianorganization,n1).
% 2.10/2.23  accept_number(christiansufferterrahumanitarianorganization,n6).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,other,n1).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,native,n0).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,muslim,n1).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,christian,n20).
% 2.10/2.23  accept_population(christiansufferterrahumanitarianorganization,atheist,n78).
% 2.10/2.23  accept_city(christiansufferterrahumanitarianorganization,cityb).
% 2.10/2.23  accept_leader(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.23  accept_population(countryccivilorganization,other,n5).
% 2.10/2.23  accept_population(countryccivilorganization,muslim,n65).
% 2.10/2.23  accept_population(countryccivilorganization,christian,n0).
% 2.10/2.23  accept_population(countryccivilorganization,atheist,n30).
% 2.10/2.23  accept_city(countryccivilorganization,townc).
% 2.10/2.23  accept_leader(countryccivilorganization,countryahumanitarianorganization).
% 2.10/2.23  accept_leader(countrycmedicalorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.23  accept_population(countrycmedicalorganization,other,n5).
% 2.10/2.23  accept_population(countrycmedicalorganization,muslim,n65).
% 2.10/2.23  accept_population(countrycmedicalorganization,christian,n0).
% 2.10/2.23  accept_population(countrycmedicalorganization,atheist,n30).
% 2.10/2.23  accept_city(countrycmedicalorganization,townc).
% 2.10/2.23  accept_leader(countrycmedicalorganization,countryahumanitarianorganization).
% 2.10/2.23  accept_population(countrycmedicalorganization,other,n1).
% 2.10/2.23  accept_population(countrycmedicalorganization,christian,n20).
% 2.10/2.23  accept_population(countrycmedicalorganization,atheist,n78).
% 2.10/2.23  accept_city(countrycmedicalorganization,cityb).
% 2.10/2.23  accept_leader(muslimcountrybhumanitarianorganization,countrycmedicalorganization).
% 2.10/2.23  accept_leader(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,other,n5).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,muslim,n65).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,christian,n0).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,atheist,n30).
% 2.10/2.23  accept_city(muslimcountrybhumanitarianorganization,townc).
% 2.10/2.23  accept_leader(muslimcountrybhumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,other,n1).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,native,n0).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,muslim,n1).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,christian,n20).
% 2.10/2.23  accept_population(muslimcountrybhumanitarianorganization,atheist,n78).
% 2.10/2.23  accept_leader(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.23  accept_city(muslimcountrybhumanitarianorganization,cityb).
% 2.10/2.23  accept_leader(countryamedicalorganization,countryacivilorganization).
% 2.10/2.23  accept_population(countryamedicalorganization,other,n1).
% 2.10/2.23  accept_population(countryamedicalorganization,christian,n20).
% 2.10/2.23  accept_population(countryamedicalorganization,atheist,n78).
% 2.10/2.23  accept_city(countryamedicalorganization,cityb).
% 2.10/2.23  accept_leader(countryamedicalorganization,countrybhumanitarianorganization).
% 2.10/2.23  accept_number(countryamedicalorganization,n5).
% 2.10/2.23  accept_number(countryamedicalorganization,n4).
% 2.10/2.23  accept_number(countryamedicalorganization,n3).
% 2.10/2.23  accept_number(countryamedicalorganization,n2).
% 2.10/2.23  accept_number(countryamedicalorganization,n1).
% 2.10/2.23  accept_population(countryamedicalorganization,other,n0).
% 2.10/2.23  accept_population(countryamedicalorganization,native,n0).
% 2.10/2.23  accept_population(countryamedicalorganization,muslim,n1).
% 2.10/2.23  accept_population(countryamedicalorganization,christian,n24).
% 2.10/2.23  accept_population(countryamedicalorganization,atheist,n75).
% 2.10/2.23  accept_number(countryamedicalorganization,n6).
% 2.10/2.23  accept_leader(countryamedicalorganization,sufferterragovernment).
% 2.10/2.23  accept_city(countryamedicalorganization,towna).
% 2.10/2.23  accept_population(countryacivilorganization,other,n1).
% 2.10/2.23  accept_population(countryacivilorganization,christian,n20).
% 2.10/2.23  accept_population(countryacivilorganization,atheist,n78).
% 2.10/2.23  accept_city(countryacivilorganization,cityb).
% 2.10/2.23  accept_leader(countryacivilorganization,countrybhumanitarianorganization).
% 2.10/2.23  accept_leader(countryahumanitarianorganization,countryacivilorganization).
% 2.10/2.23  accept_population(countryahumanitarianorganization,other,n1).
% 2.10/2.23  accept_population(countryahumanitarianorganization,christian,n20).
% 2.10/2.23  accept_population(countryahumanitarianorganization,atheist,n78).
% 2.10/2.23  accept_city(countryahumanitarianorganization,cityb).
% 2.10/2.23  accept_leader(countryahumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.23  accept_number(countryahumanitarianorganization,n5).
% 2.10/2.23  accept_number(countryahumanitarianorganization,n4).
% 2.10/2.23  accept_number(countryahumanitarianorganization,n3).
% 2.10/2.23  accept_number(countryahumanitarianorganization,n2).
% 2.10/2.23  accept_number(countryahumanitarianorganization,n1).
% 2.10/2.23  accept_population(countryahumanitarianorganization,other,n0).
% 2.10/2.23  accept_population(countryahumanitarianorganization,native,n0).
% 2.10/2.23  accept_population(countryahumanitarianorganization,muslim,n1).
% 2.10/2.23  accept_population(countryahumanitarianorganization,christian,n24).
% 2.10/2.23  accept_population(countryahumanitarianorganization,atheist,n75).
% 2.10/2.23  accept_number(countryahumanitarianorganization,n6).
% 2.10/2.23  accept_leader(countryahumanitarianorganization,sufferterragovernment).
% 2.10/2.23  accept_city(countryahumanitarianorganization,towna).
% 2.10/2.23  accept_leader(sufferterragovernment,countryacivilorganization).
% 2.10/2.23  accept_population(sufferterragovernment,other,n1).
% 2.10/2.23  accept_population(sufferterragovernment,native,n0).
% 2.10/2.23  accept_population(sufferterragovernment,muslim,n1).
% 2.10/2.23  accept_population(sufferterragovernment,christian,n20).
% 2.10/2.23  accept_population(sufferterragovernment,atheist,n78).
% 2.10/2.23  accept_city(sufferterragovernment,cityb).
% 2.10/2.23  accept_leader(sufferterragovernment,countrybhumanitarianorganization).
% 2.10/2.23  accept_population(countryccivilorganization,other,n0).
% 2.10/2.23  accept_population(countryccivilorganization,native,n0).
% 2.10/2.23  accept_population(countryccivilorganization,muslim,n1).
% 2.10/2.23  accept_population(countryccivilorganization,christian,n24).
% 2.10/2.23  accept_population(countryccivilorganization,atheist,n75).
% 2.10/2.23  accept_city(countryccivilorganization,towna).
% 2.10/2.23  accept_leader(countryccivilorganization,sufferterragovernment).
% 2.10/2.23  accept_number(countryafirstaidorganization,n5).
% 2.10/2.23  accept_number(countryafirstaidorganization,n4).
% 2.10/2.23  accept_number(countryafirstaidorganization,n3).
% 2.10/2.23  accept_number(countryafirstaidorganization,n2).
% 2.10/2.23  accept_number(countryafirstaidorganization,n1).
% 2.10/2.23  accept_population(countryafirstaidorganization,other,n0).
% 2.10/2.23  accept_population(countryafirstaidorganization,native,n0).
% 2.10/2.23  accept_population(countryafirstaidorganization,muslim,n1).
% 2.10/2.23  accept_population(countryafirstaidorganization,christian,n24).
% 2.10/2.23  accept_population(countryafirstaidorganization,atheist,n75).
% 2.10/2.23  accept_number(countryafirstaidorganization,n6).
% 2.10/2.23  accept_leader(countryafirstaidorganization,sufferterragovernment).
% 2.10/2.23  accept_city(countryafirstaidorganization,towna).
% 2.10/2.23  accept_leader(countrycmedicalorganization,countryccivilorganization).
% 2.10/2.23  accept_leader(countrycmedicalorganization,countrybcivilorganization).
% 2.10/2.23  accept_leader(countrycmedicalorganization,countrybhumanitarianorganization).
% 2.10/2.23  accept_leader(countrycmedicalorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  accept_population(countrycmedicalorganization,other,n0).
% 2.10/2.23  accept_population(countrycmedicalorganization,native,n0).
% 2.10/2.23  accept_population(countrycmedicalorganization,muslim,n1).
% 2.10/2.23  accept_population(countrycmedicalorganization,christian,n24).
% 2.10/2.23  accept_population(countrycmedicalorganization,atheist,n75).
% 2.10/2.23  accept_city(countrycmedicalorganization,towna).
% 2.10/2.23  accept_leader(countrycmedicalorganization,sufferterragovernment).
% 2.10/2.23  accept_leader(countrybcivilorganization,countryccivilorganization).
% 2.10/2.23  accept_leader(countrybcivilorganization,countrybhumanitarianorganization).
% 2.10/2.23  accept_leader(countrybcivilorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  accept_leader(countrybcivilorganization,countrycmedicalorganization).
% 2.10/2.23  accept_population(countrybcivilorganization,other,n0).
% 2.10/2.23  accept_population(countrybcivilorganization,native,n0).
% 2.10/2.23  accept_population(countrybcivilorganization,muslim,n1).
% 2.10/2.23  accept_population(countrybcivilorganization,christian,n24).
% 2.10/2.23  accept_population(countrybcivilorganization,atheist,n75).
% 2.10/2.23  accept_city(countrybcivilorganization,towna).
% 2.10/2.23  accept_leader(countrybcivilorganization,sufferterragovernment).
% 2.10/2.23  accept_number(sufferterragovernment,n5).
% 2.10/2.23  accept_number(sufferterragovernment,n4).
% 2.10/2.23  accept_number(sufferterragovernment,n3).
% 2.10/2.23  accept_number(sufferterragovernment,n2).
% 2.10/2.23  accept_number(sufferterragovernment,n1).
% 2.10/2.23  accept_number(sufferterragovernment,n6).
% 2.10/2.23  accept_number(countryacivilorganization,n5).
% 2.10/2.23  accept_number(countryacivilorganization,n4).
% 2.10/2.23  accept_number(countryacivilorganization,n3).
% 2.10/2.23  accept_number(countryacivilorganization,n2).
% 2.10/2.23  accept_number(countryacivilorganization,n1).
% 2.10/2.23  accept_population(countryacivilorganization,other,n0).
% 2.10/2.23  accept_population(countryacivilorganization,native,n0).
% 2.10/2.23  accept_population(countryacivilorganization,muslim,n1).
% 2.10/2.23  accept_population(countryacivilorganization,christian,n24).
% 2.10/2.23  accept_population(countryacivilorganization,atheist,n75).
% 2.10/2.23  accept_number(countryacivilorganization,n6).
% 2.10/2.23  accept_leader(countryacivilorganization,sufferterragovernment).
% 2.10/2.23  accept_city(countryacivilorganization,towna).
% 2.10/2.23  accept_number(countryccivilorganization,n3).
% 2.10/2.23  accept_number(countryccivilorganization,n2).
% 2.10/2.23  accept_number(countryccivilorganization,n1).
% 2.10/2.23  accept_number(countryccivilorganization,n4).
% 2.10/2.23  accept_leader(christiancountrychumanitarianorganization,countryccivilorganization).
% 2.10/2.23  accept_number(countrybcivilorganization,n5).
% 2.10/2.23  accept_number(countrybcivilorganization,n4).
% 2.10/2.23  accept_number(countrybcivilorganization,n3).
% 2.10/2.23  accept_number(countrybcivilorganization,n2).
% 2.10/2.23  accept_number(countrybcivilorganization,n1).
% 2.10/2.23  accept_number(countrybcivilorganization,n6).
% 2.10/2.23  accept_leader(christiancountrychumanitarianorganization,countrybcivilorganization).
% 2.10/2.23  accept_number(countrybhumanitarianorganization,n5).
% 2.10/2.23  accept_number(countrybhumanitarianorganization,n4).
% 2.10/2.23  accept_number(countrybhumanitarianorganization,n3).
% 2.10/2.23  accept_number(countrybhumanitarianorganization,n2).
% 2.10/2.23  accept_number(countrybhumanitarianorganization,n1).
% 2.10/2.23  accept_number(countrybhumanitarianorganization,n6).
% 2.10/2.23  accept_leader(christiancountrychumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.23  accept_leader(christiancountrychumanitarianorganization,countrycmedicalorganization).
% 2.10/2.23  accept_number(christiancountrychumanitarianorganization,n5).
% 2.10/2.23  accept_number(christiancountrychumanitarianorganization,n4).
% 2.10/2.23  accept_number(christiancountrychumanitarianorganization,n3).
% 2.10/2.23  accept_number(christiancountrychumanitarianorganization,n2).
% 2.10/2.23  accept_number(christiancountrychumanitarianorganization,n1).
% 2.10/2.23  accept_number(christiancountrychumanitarianorganization,n6).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,other,n0).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,native,n0).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,muslim,n1).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,christian,n24).
% 2.10/2.23  accept_population(christiancountrychumanitarianorganization,atheist,n75).
% 2.10/2.23  accept_city(christiancountrychumanitarianorganization,towna).
% 2.10/2.23  accept_leader(christiancountrychumanitarianorganization,sufferterragovernment).
% 2.10/2.23  accept_number(countrycmedicalorganization,n5).
% 2.10/2.23  accept_number(countrycmedicalorganization,n4).
% 2.10/2.23  accept_number(countrycmedicalorganization,n3).
% 2.10/2.23  accept_number(countrycmedicalorganization,n2).
% 2.10/2.23  accept_number(countrycmedicalorganization,n1).
% 2.10/2.23  accept_number(countrycmedicalorganization,n6).
% 2.10/2.23  accept_number(muslimcountrybhumanitarianorganization,n5).
% 2.10/2.23  accept_number(muslimcountrybhumanitarianorganization,n4).
% 2.10/2.23  accept_number(muslimcountrybhumanitarianorganization,n3).
% 2.10/2.23  accept_number(muslimcountrybhumanitarianorganization,n2).
% 2.10/2.23  accept_number(muslimcountrybhumanitarianorganization,n1).
% 2.10/2.23  accept_number(muslimcountrybhumanitarianorganization,n6).
% 2.10/2.23  -accept_city(muslimcountrybhumanitarianorganization,towna).
% 2.10/2.23  accept_leader(muslimcountrybhumanitarianorganization,sufferterragovernment).
% 2.10/2.23  end_of_list.
% 2.10/2.23  
% 2.10/2.23  -------> usable clausifies to:
% 2.10/2.23  
% 2.10/2.23  list(usable).
% 2.10/2.23  0 [] -accept_team(A,L,C,N)|accept_city(A,C).
% 2.10/2.23  0 [] -accept_team(A,L,C,N)|accept_leader(A,L).
% 2.10/2.23  0 [] -accept_team(A,L,C,N)|accept_number(A,N).
% 2.10/2.23  0 [] accept_team(A,L,C,N)| -accept_city(A,C)| -accept_leader(A,L)| -accept_number(A,N).
% 2.10/2.23  0 [] -accept_number(A,N)| -less(M,N)|accept_number(A,M).
% 2.10/2.23  0 [] -accept_population(A,P,N)| -less(M,N)|accept_population(A,P,M).
% 2.10/2.23  0 [] -the_agent_in_all_proposed_teams(A,L,C)|accept_leader(A,L).
% 2.10/2.23  0 [] -the_agent_in_all_proposed_teams(A,L,C)|accept_city(A,C).
% 2.10/2.23  0 [] -any_agent_in_all_proposed_teams(A,L,C)|accept_leader(A,L).
% 2.10/2.23  0 [] -the_agent_not_in_any_proposed_teams(A,L,C)| -accept_city(A,C)| -accept_leader(A,L).
% 2.10/2.23  0 [] -min_number_of_proposed_agents(A,N)|accept_number(A,N).
% 2.10/2.23  0 [] -accept_population(A,atheist,n65)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n7)| -accept_population(A,native,n4)| -accept_population(A,other,n4)|accept_city(A,suffertown).
% 2.10/2.23  0 [] accept_population(A,atheist,n65)| -accept_city(A,suffertown).
% 2.10/2.23  0 [] accept_population(A,christian,n20)| -accept_city(A,suffertown).
% 2.10/2.23  0 [] accept_population(A,muslim,n7)| -accept_city(A,suffertown).
% 2.10/2.23  0 [] accept_population(A,native,n4)| -accept_city(A,suffertown).
% 2.10/2.23  0 [] accept_population(A,other,n4)| -accept_city(A,suffertown).
% 2.10/2.23  0 [] -accept_population(A,atheist,n54)| -accept_population(A,christian,n23)| -accept_population(A,muslim,n3)| -accept_population(A,native,n1)| -accept_population(A,other,n9)|accept_city(A,centraltown).
% 2.10/2.23  0 [] accept_population(A,atheist,n54)| -accept_city(A,centraltown).
% 2.10/2.23  0 [] accept_population(A,christian,n23)| -accept_city(A,centraltown).
% 2.10/2.23  0 [] accept_population(A,muslim,n3)| -accept_city(A,centraltown).
% 2.10/2.23  0 [] accept_population(A,native,n1)| -accept_city(A,centraltown).
% 2.10/2.23  0 [] accept_population(A,other,n9)| -accept_city(A,centraltown).
% 2.10/2.23  0 [] -accept_population(A,atheist,n30)| -accept_population(A,christian,n8)| -accept_population(A,muslim,n60)| -accept_population(A,native,n1)| -accept_population(A,other,n1)|accept_city(A,sunnysideport).
% 2.10/2.23  0 [] accept_population(A,atheist,n30)| -accept_city(A,sunnysideport).
% 2.10/2.23  0 [] accept_population(A,christian,n8)| -accept_city(A,sunnysideport).
% 2.10/2.23  0 [] accept_population(A,muslim,n60)| -accept_city(A,sunnysideport).
% 2.10/2.23  0 [] accept_population(A,native,n1)| -accept_city(A,sunnysideport).
% 2.10/2.23  0 [] accept_population(A,other,n1)| -accept_city(A,sunnysideport).
% 2.10/2.23  0 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n15)| -accept_population(A,muslim,n1)| -accept_population(A,native,n10)| -accept_population(A,other,n4)|accept_city(A,centrallakecity).
% 2.10/2.23  0 [] accept_population(A,atheist,n70)| -accept_city(A,centrallakecity).
% 2.10/2.23  0 [] accept_population(A,christian,n15)| -accept_city(A,centrallakecity).
% 2.10/2.23  0 [] accept_population(A,muslim,n1)| -accept_city(A,centrallakecity).
% 2.10/2.23  0 [] accept_population(A,native,n10)| -accept_city(A,centrallakecity).
% 2.10/2.23  0 [] accept_population(A,other,n4)| -accept_city(A,centrallakecity).
% 2.10/2.23  0 [] -accept_population(A,atheist,n68)| -accept_population(A,christian,n16)| -accept_population(A,muslim,n1)| -accept_population(A,native,n11)| -accept_population(A,other,n4)|accept_city(A,stjosephburgh).
% 2.10/2.23  0 [] accept_population(A,atheist,n68)| -accept_city(A,stjosephburgh).
% 2.10/2.23  0 [] accept_population(A,christian,n16)| -accept_city(A,stjosephburgh).
% 2.10/2.23  0 [] accept_population(A,muslim,n1)| -accept_city(A,stjosephburgh).
% 2.10/2.23  0 [] accept_population(A,native,n11)| -accept_city(A,stjosephburgh).
% 2.10/2.23  0 [] accept_population(A,other,n4)| -accept_city(A,stjosephburgh).
% 2.10/2.23  0 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n13)| -accept_population(A,muslim,n0)| -accept_population(A,native,n15)| -accept_population(A,other,n2)|accept_city(A,northport).
% 2.10/2.23  0 [] accept_population(A,atheist,n70)| -accept_city(A,northport).
% 2.10/2.23  0 [] accept_population(A,christian,n13)| -accept_city(A,northport).
% 2.10/2.23  0 [] accept_population(A,muslim,n0)| -accept_city(A,northport).
% 2.10/2.23  0 [] accept_population(A,native,n15)| -accept_city(A,northport).
% 2.10/2.23  0 [] accept_population(A,other,n2)| -accept_city(A,northport).
% 2.10/2.23  0 [] -accept_population(A,atheist,n12)| -accept_population(A,christian,n3)| -accept_population(A,muslim,n0)| -accept_population(A,native,n85)| -accept_population(A,other,n0)|accept_city(A,coastvillage).
% 2.10/2.23  0 [] accept_population(A,atheist,n12)| -accept_city(A,coastvillage).
% 2.10/2.23  0 [] accept_population(A,christian,n3)| -accept_city(A,coastvillage).
% 2.10/2.23  0 [] accept_population(A,muslim,n0)| -accept_city(A,coastvillage).
% 2.10/2.23  0 [] accept_population(A,native,n85)| -accept_city(A,coastvillage).
% 2.10/2.23  0 [] accept_population(A,other,n0)| -accept_city(A,coastvillage).
% 2.10/2.23  0 [] -accept_population(A,atheist,n0)| -accept_population(A,christian,n0)| -accept_population(A,muslim,n0)| -accept_population(A,native,n100)| -accept_population(A,other,n0)|accept_city(A,sunsetpoint).
% 2.10/2.23  0 [] accept_population(A,atheist,n0)| -accept_city(A,sunsetpoint).
% 2.10/2.23  0 [] accept_population(A,christian,n0)| -accept_city(A,sunsetpoint).
% 2.10/2.23  0 [] accept_population(A,muslim,n0)| -accept_city(A,sunsetpoint).
% 2.10/2.23  0 [] accept_population(A,native,n100)| -accept_city(A,sunsetpoint).
% 2.10/2.23  0 [] accept_population(A,other,n0)| -accept_city(A,sunsetpoint).
% 2.10/2.23  0 [] -accept_population(A,atheist,n75)| -accept_population(A,christian,n24)| -accept_population(A,muslim,n1)| -accept_population(A,native,n0)| -accept_population(A,other,n0)|accept_city(A,towna).
% 2.10/2.23  0 [] accept_population(A,atheist,n75)| -accept_city(A,towna).
% 2.10/2.23  0 [] accept_population(A,christian,n24)| -accept_city(A,towna).
% 2.10/2.23  0 [] accept_population(A,muslim,n1)| -accept_city(A,towna).
% 2.10/2.23  0 [] accept_population(A,native,n0)| -accept_city(A,towna).
% 2.10/2.23  0 [] accept_population(A,other,n0)| -accept_city(A,towna).
% 2.10/2.23  0 [] -accept_population(A,atheist,n75)| -accept_population(A,christian,n25)| -accept_population(A,muslim,n0)| -accept_population(A,native,n0)| -accept_population(A,other,n0)|accept_city(A,citya).
% 2.10/2.23  0 [] accept_population(A,atheist,n75)| -accept_city(A,citya).
% 2.10/2.23  0 [] accept_population(A,christian,n25)| -accept_city(A,citya).
% 2.10/2.23  0 [] accept_population(A,muslim,n0)| -accept_city(A,citya).
% 2.10/2.23  0 [] accept_population(A,native,n0)| -accept_city(A,citya).
% 2.10/2.23  0 [] accept_population(A,other,n0)| -accept_city(A,citya).
% 2.10/2.23  0 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n8)| -accept_population(A,native,n0)| -accept_population(A,other,n2)|accept_city(A,townb).
% 2.10/2.23  0 [] accept_population(A,atheist,n70)| -accept_city(A,townb).
% 2.10/2.23  0 [] accept_population(A,christian,n20)| -accept_city(A,townb).
% 2.10/2.23  0 [] accept_population(A,muslim,n8)| -accept_city(A,townb).
% 2.10/2.23  0 [] accept_population(A,native,n0)| -accept_city(A,townb).
% 2.10/2.23  0 [] accept_population(A,other,n2)| -accept_city(A,townb).
% 2.10/2.23  0 [] -accept_population(A,atheist,n78)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n1)| -accept_population(A,native,n0)| -accept_population(A,other,n1)|accept_city(A,cityb).
% 2.10/2.23  0 [] accept_population(A,atheist,n78)| -accept_city(A,cityb).
% 2.10/2.23  0 [] accept_population(A,christian,n20)| -accept_city(A,cityb).
% 2.10/2.23  0 [] accept_population(A,muslim,n1)| -accept_city(A,cityb).
% 2.10/2.23  0 [] accept_population(A,native,n0)| -accept_city(A,cityb).
% 2.10/2.23  0 [] accept_population(A,other,n1)| -accept_city(A,cityb).
% 2.10/2.23  0 [] -accept_population(A,atheist,n30)| -accept_population(A,christian,n0)| -accept_population(A,muslim,n65)| -accept_population(A,native,n0)| -accept_population(A,other,n5)|accept_city(A,townc).
% 2.10/2.23  0 [] accept_population(A,atheist,n30)| -accept_city(A,townc).
% 2.10/2.23  0 [] accept_population(A,christian,n0)| -accept_city(A,townc).
% 2.10/2.23  0 [] accept_population(A,muslim,n65)| -accept_city(A,townc).
% 2.10/2.23  0 [] accept_population(A,native,n0)| -accept_city(A,townc).
% 2.10/2.23  0 [] accept_population(A,other,n5)| -accept_city(A,townc).
% 2.10/2.23  0 [] accept_team(countryahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.10/2.23  0 [] accept_team(countryahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.10/2.23  0 [] accept_team(countryahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_team(countryahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n2).
% 2.10/2.23  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.23  0 [] the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.23  0 [] accept_team(countryamedicalorganization,countryacivilorganization,cityb,n6).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.10/2.23  0 [] accept_team(countryafirstaidorganization,countryacivilorganization,cityb,n6).
% 2.10/2.23  0 [] accept_number(countrybhumanitarianorganization,n4).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n4).
% 2.10/2.23  0 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.10/2.23  0 [] accept_team(sufferterragovernment,countryacivilorganization,cityb,n6).
% 2.10/2.23  0 [] accept_number(countrybhumanitarianorganization,n1).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.10/2.23  0 [] accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 2.10/2.23  0 [] accept_number(countryahumanitarianorganization,n2).
% 2.10/2.23  0 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n2).
% 2.10/2.23  0 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n2).
% 2.10/2.23  0 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n2).
% 2.10/2.23  0 [] -accept_team(countryamedicalorganization,christiansufferterrahumanitarianorganization,coastvillage,n2).
% 2.10/2.23  0 [] -accept_team(countryamedicalorganization,sufferterragovernment,coastvillage,n2).
% 2.10/2.23  0 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.23  0 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.23  0 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.23  0 [] the_agent_not_in_any_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] accept_team(countryccivilorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.23  0 [] accept_number(countrybcivilorganization,n5).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] accept_team(sufferterragovernment,countryacivilorganization,towna,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.23  0 [] accept_number(countrycmedicalorganization,n4).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.23  0 [] accept_number(countrycmedicalorganization,n5).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.23  0 [] accept_team(countryafirstaidorganization,countryacivilorganization,towna,n6).
% 2.10/2.23  0 [] accept_number(countryacivilorganization,n2).
% 2.10/2.23  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.23  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_team(countryacivilorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] accept_number(countryafirstaidorganization,n2).
% 2.10/2.23  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.23  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_team(countryafirstaidorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_number(christiancountrychumanitarianorganization,n5).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.23  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_team(sufferterragovernment,countryacivilorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_team(sufferterragovernment,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] accept_number(christiansufferterrahumanitarianorganization,n2).
% 2.10/2.23  0 [] accept_number(countryahumanitarianorganization,n5).
% 2.10/2.23  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.23  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_team(christiansufferterrahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.23  0 [] accept_number(muslimcountrybhumanitarianorganization,n3).
% 2.10/2.23  0 [] accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,townc,n4).
% 2.10/2.23  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countryccivilorganization,townc,n4).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,countrybcivilorganization,townc,n6).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n2).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(countryamedicalorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,countryccivilorganization,townc,n4).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,countrybcivilorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.23  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.23  0 [] accept_number(christiansufferterrahumanitarianorganization,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.23  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,cityb,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.23  0 [] accept_number(countryafirstaidorganization,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] accept_team(countryafirstaidorganization,sufferterragovernment,towna,n5).
% 2.10/2.23  0 [] accept_team(countryafirstaidorganization,sufferterragovernment,towna,n6).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.23  0 [] accept_team(countryamedicalorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.23  0 [] accept_number(countryamedicalorganization,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] accept_number(countryahumanitarianorganization,n6).
% 2.10/2.23  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.23  0 [] accept_number(countryacivilorganization,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.23  0 [] accept_number(countrybhumanitarianorganization,n5).
% 2.10/2.23  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.23  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n2).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n2).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n2).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n2).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n2).
% 2.10/2.23  0 [] accept_number(muslimcountrybhumanitarianorganization,n2).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n4).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.23  0 [] accept_team(countryamedicalorganization,sufferterragovernment,towna,n5).
% 2.10/2.23  0 [] accept_team(countryamedicalorganization,sufferterragovernment,towna,n6).
% 2.10/2.23  0 [] accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n5).
% 2.10/2.23  0 [] accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.10/2.23  0 [] accept_number(christiancountrychumanitarianorganization,n2).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.10/2.23  0 [] accept_number(countrybhumanitarianorganization,n2).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.23  0 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] accept_number(countrybcivilorganization,n2).
% 2.10/2.23  0 [] accept_number(countrybcivilorganization,n3).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,countryccivilorganization,towna,n4).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.23  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] accept_number(sufferterragovernment,n2).
% 2.10/2.23  0 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n2).
% 2.10/2.23  0 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.10/2.23  0 [] accept_number(countryccivilorganization,n2).
% 2.10/2.23  0 [] accept_number(countryccivilorganization,n3).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,countrybcivilorganization,towna,n6).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.23  0 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] accept_number(sufferterragovernment,n5).
% 2.10/2.23  0 [] accept_team(countryacivilorganization,sufferterragovernment,towna,n5).
% 2.10/2.23  0 [] accept_number(sufferterragovernment,n6).
% 2.10/2.23  0 [] accept_team(countryacivilorganization,sufferterragovernment,towna,n6).
% 2.10/2.23  0 [] accept_number(countrycmedicalorganization,n2).
% 2.10/2.23  0 [] accept_number(countrycmedicalorganization,n3).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,countryccivilorganization,towna,n4).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,countrybcivilorganization,towna,n6).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.23  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] accept_number(christiancountrychumanitarianorganization,n3).
% 2.10/2.23  0 [] accept_number(countryccivilorganization,n4).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countryccivilorganization,towna,n4).
% 2.10/2.23  0 [] accept_number(countrybcivilorganization,n6).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.10/2.23  0 [] accept_number(countrybhumanitarianorganization,n6).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.23  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.23  0 [] accept_number(christiancountrychumanitarianorganization,n6).
% 2.10/2.23  0 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] accept_number(countrycmedicalorganization,n6).
% 2.10/2.23  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.23  0 [] accept_number(muslimcountrybhumanitarianorganization,n6).
% 2.10/2.23  0 [] the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.23  0 [] accept_leader(christiancountrychumanitarianorganization,countryacivilorganization).
% 2.10/2.23  0 [] accept_leader(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.23  0 [] accept_population(christiancountrychumanitarianorganization,other,n5).
% 2.10/2.23  0 [] accept_population(christiancountrychumanitarianorganization,muslim,n65).
% 2.10/2.23  0 [] accept_population(christiancountrychumanitarianorganization,christian,n0).
% 2.10/2.23  0 [] accept_population(christiancountrychumanitarianorganization,atheist,n30).
% 2.10/2.23  0 [] accept_city(christiancountrychumanitarianorganization,townc).
% 2.10/2.23  0 [] accept_leader(christiancountrychumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.23  0 [] accept_population(christiancountrychumanitarianorganization,other,n1).
% 2.10/2.23  0 [] accept_population(christiancountrychumanitarianorganization,christian,n20).
% 2.10/2.23  0 [] accept_population(christiancountrychumanitarianorganization,atheist,n78).
% 2.10/2.23  0 [] accept_city(christiancountrychumanitarianorganization,cityb).
% 2.10/2.23  0 [] -accept_city(countryamedicalorganization,coastvillage).
% 2.10/2.23  0 [] accept_leader(countryamedicalorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  0 [] accept_population(countryamedicalorganization,other,n5).
% 2.10/2.23  0 [] accept_population(countryamedicalorganization,muslim,n65).
% 2.10/2.23  0 [] accept_population(countryamedicalorganization,christian,n0).
% 2.10/2.23  0 [] accept_population(countryamedicalorganization,atheist,n30).
% 2.10/2.23  0 [] accept_leader(countryamedicalorganization,countryahumanitarianorganization).
% 2.10/2.23  0 [] accept_city(countryamedicalorganization,townc).
% 2.10/2.23  0 [] accept_leader(countryahumanitarianorganization,countryamedicalorganization).
% 2.10/2.23  0 [] accept_leader(countryahumanitarianorganization,countryafirstaidorganization).
% 2.10/2.23  0 [] accept_population(countryahumanitarianorganization,native,n85).
% 2.10/2.23  0 [] accept_population(countryahumanitarianorganization,muslim,n0).
% 2.10/2.23  0 [] accept_population(countryahumanitarianorganization,christian,n3).
% 2.10/2.23  0 [] accept_population(countryahumanitarianorganization,atheist,n12).
% 2.10/2.23  0 [] accept_city(countryahumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] accept_leader(countryahumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  0 [] accept_leader(countryafirstaidorganization,countryamedicalorganization).
% 2.10/2.23  0 [] accept_leader(christiansufferterrahumanitarianorganization,countryamedicalorganization).
% 2.10/2.23  0 [] accept_leader(countrycmedicalorganization,countryacivilorganization).
% 2.10/2.23  0 [] accept_population(countrycmedicalorganization,native,n85).
% 2.10/2.23  0 [] accept_population(countrycmedicalorganization,muslim,n0).
% 2.10/2.23  0 [] accept_population(countrycmedicalorganization,christian,n3).
% 2.10/2.23  0 [] accept_population(countrycmedicalorganization,atheist,n12).
% 2.10/2.23  0 [] accept_city(countrycmedicalorganization,coastvillage).
% 2.10/2.23  0 [] accept_leader(countrybcivilorganization,countryacivilorganization).
% 2.10/2.23  0 [] accept_population(countrybcivilorganization,native,n85).
% 2.10/2.23  0 [] accept_population(countrybcivilorganization,muslim,n0).
% 2.10/2.23  0 [] accept_population(countrybcivilorganization,christian,n3).
% 2.10/2.23  0 [] accept_population(countrybcivilorganization,atheist,n12).
% 2.10/2.23  0 [] accept_city(countrybcivilorganization,coastvillage).
% 2.10/2.23  0 [] accept_leader(countrybcivilorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.23  0 [] accept_population(countrybcivilorganization,other,n5).
% 2.10/2.23  0 [] accept_population(countrybcivilorganization,muslim,n65).
% 2.10/2.23  0 [] accept_population(countrybcivilorganization,christian,n0).
% 2.10/2.23  0 [] accept_population(countrybcivilorganization,atheist,n30).
% 2.10/2.23  0 [] accept_city(countrybcivilorganization,townc).
% 2.10/2.23  0 [] accept_leader(countrybcivilorganization,countryahumanitarianorganization).
% 2.10/2.23  0 [] accept_population(countrybcivilorganization,other,n1).
% 2.10/2.23  0 [] accept_population(countrybcivilorganization,christian,n20).
% 2.10/2.23  0 [] accept_population(countrybcivilorganization,atheist,n78).
% 2.10/2.23  0 [] accept_city(countrybcivilorganization,cityb).
% 2.10/2.23  0 [] accept_leader(sufferterragovernment,countryamedicalorganization).
% 2.10/2.23  0 [] accept_population(sufferterragovernment,christian,n24).
% 2.10/2.23  0 [] accept_population(sufferterragovernment,atheist,n75).
% 2.10/2.23  0 [] accept_city(sufferterragovernment,towna).
% 2.10/2.23  0 [] -accept_number(countryccivilorganization,n5).
% 2.10/2.23  0 [] accept_population(countryccivilorganization,other,n1).
% 2.10/2.23  0 [] accept_population(countryccivilorganization,christian,n20).
% 2.10/2.23  0 [] accept_population(countryccivilorganization,atheist,n78).
% 2.10/2.23  0 [] -accept_number(countryccivilorganization,n6).
% 2.10/2.23  0 [] accept_leader(countryccivilorganization,countrybhumanitarianorganization).
% 2.10/2.23  0 [] accept_city(countryccivilorganization,cityb).
% 2.10/2.23  0 [] accept_leader(countryccivilorganization,countryacivilorganization).
% 2.10/2.23  0 [] accept_leader(countryacivilorganization,countryamedicalorganization).
% 2.10/2.23  0 [] accept_leader(countryacivilorganization,countryafirstaidorganization).
% 2.10/2.23  0 [] accept_population(countryacivilorganization,native,n85).
% 2.10/2.23  0 [] accept_population(countryacivilorganization,muslim,n0).
% 2.10/2.23  0 [] accept_population(countryacivilorganization,christian,n3).
% 2.10/2.23  0 [] accept_population(countryacivilorganization,atheist,n12).
% 2.10/2.23  0 [] accept_city(countryacivilorganization,coastvillage).
% 2.10/2.23  0 [] accept_leader(countryacivilorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  0 [] accept_population(countryacivilorganization,other,n5).
% 2.10/2.23  0 [] accept_population(countryacivilorganization,muslim,n65).
% 2.10/2.23  0 [] accept_population(countryacivilorganization,christian,n0).
% 2.10/2.23  0 [] accept_population(countryacivilorganization,atheist,n30).
% 2.10/2.23  0 [] accept_leader(countryacivilorganization,countryahumanitarianorganization).
% 2.10/2.23  0 [] accept_city(countryacivilorganization,townc).
% 2.10/2.23  0 [] accept_population(christiansufferterrahumanitarianorganization,christian,n24).
% 2.10/2.23  0 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n75).
% 2.10/2.23  0 [] -accept_leader(christiansufferterrahumanitarianorganization,sufferterragovernment).
% 2.10/2.23  0 [] accept_city(christiansufferterrahumanitarianorganization,towna).
% 2.10/2.23  0 [] accept_leader(christiansufferterrahumanitarianorganization,countryafirstaidorganization).
% 2.10/2.23  0 [] accept_population(christiansufferterrahumanitarianorganization,other,n0).
% 2.10/2.23  0 [] accept_population(christiansufferterrahumanitarianorganization,native,n85).
% 2.10/2.23  0 [] accept_population(christiansufferterrahumanitarianorganization,muslim,n0).
% 2.10/2.23  0 [] accept_population(christiansufferterrahumanitarianorganization,christian,n3).
% 2.10/2.23  0 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n12).
% 2.10/2.23  0 [] accept_city(christiansufferterrahumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] accept_leader(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  0 [] accept_leader(muslimcountrybhumanitarianorganization,countryacivilorganization).
% 2.10/2.23  0 [] accept_population(muslimcountrybhumanitarianorganization,other,n0).
% 2.10/2.23  0 [] accept_population(muslimcountrybhumanitarianorganization,native,n85).
% 2.10/2.23  0 [] accept_population(muslimcountrybhumanitarianorganization,muslim,n0).
% 2.10/2.23  0 [] accept_population(muslimcountrybhumanitarianorganization,christian,n3).
% 2.10/2.23  0 [] accept_population(muslimcountrybhumanitarianorganization,atheist,n12).
% 2.10/2.23  0 [] accept_city(muslimcountrybhumanitarianorganization,coastvillage).
% 2.10/2.23  0 [] accept_population(countryafirstaidorganization,native,n85).
% 2.10/2.23  0 [] accept_population(countryafirstaidorganization,muslim,n0).
% 2.10/2.23  0 [] accept_population(countryafirstaidorganization,christian,n3).
% 2.10/2.23  0 [] accept_population(countryafirstaidorganization,atheist,n12).
% 2.10/2.23  0 [] accept_city(countryafirstaidorganization,coastvillage).
% 2.10/2.23  0 [] accept_leader(countryafirstaidorganization,christiancountrychumanitarianorganization).
% 2.10/2.23  0 [] accept_population(countryafirstaidorganization,other,n5).
% 2.10/2.23  0 [] accept_population(countryafirstaidorganization,muslim,n65).
% 2.10/2.23  0 [] accept_population(countryafirstaidorganization,christian,n0).
% 2.10/2.23  0 [] accept_population(countryafirstaidorganization,atheist,n30).
% 2.10/2.23  0 [] accept_leader(countryafirstaidorganization,countryahumanitarianorganization).
% 2.10/2.23  0 [] accept_city(countryafirstaidorganization,townc).
% 2.10/2.23  0 [] accept_leader(countryafirstaidorganization,countryacivilorganization).
% 2.10/2.23  0 [] accept_population(countryafirstaidorganization,other,n1).
% 2.10/2.23  0 [] accept_population(countryafirstaidorganization,christian,n20).
% 2.10/2.23  0 [] accept_population(countryafirstaidorganization,atheist,n78).
% 2.10/2.23  0 [] accept_city(countryafirstaidorganization,cityb).
% 2.10/2.23  0 [] accept_leader(countryafirstaidorganization,countrybhumanitarianorganization).
% 2.10/2.23  0 [] accept_leader(countrybhumanitarianorganization,countryacivilorganization).
% 2.10/2.23  0 [] accept_population(countrybhumanitarianorganization,native,n85).
% 2.10/2.23  0 [] accept_population(countrybhumanitarianorganization,muslim,n0).
% 2.10/2.23  0 [] accept_population(countrybhumanitarianorganization,christian,n3).
% 2.10/2.24  0 [] accept_population(countrybhumanitarianorganization,atheist,n12).
% 2.10/2.24  0 [] accept_city(countrybhumanitarianorganization,coastvillage).
% 2.10/2.24  0 [] accept_leader(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.24  0 [] accept_population(countrybhumanitarianorganization,other,n5).
% 2.10/2.24  0 [] accept_population(countrybhumanitarianorganization,muslim,n65).
% 2.10/2.24  0 [] accept_population(countrybhumanitarianorganization,christian,n0).
% 2.10/2.24  0 [] accept_population(countrybhumanitarianorganization,atheist,n30).
% 2.10/2.24  0 [] accept_city(countrybhumanitarianorganization,townc).
% 2.10/2.24  0 [] accept_leader(countrybhumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.24  0 [] accept_leader(countrybhumanitarianorganization,countryccivilorganization).
% 2.10/2.24  0 [] accept_leader(countrybhumanitarianorganization,countrybcivilorganization).
% 2.10/2.24  0 [] accept_leader(countrybhumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  0 [] accept_leader(countrybhumanitarianorganization,countrycmedicalorganization).
% 2.10/2.24  0 [] accept_population(countrybhumanitarianorganization,other,n0).
% 2.10/2.24  0 [] accept_population(countrybhumanitarianorganization,native,n0).
% 2.10/2.24  0 [] accept_population(countrybhumanitarianorganization,muslim,n1).
% 2.10/2.24  0 [] accept_population(countrybhumanitarianorganization,christian,n24).
% 2.10/2.24  0 [] accept_population(countrybhumanitarianorganization,atheist,n75).
% 2.10/2.24  0 [] accept_city(countrybhumanitarianorganization,towna).
% 2.10/2.24  0 [] accept_leader(countrybhumanitarianorganization,sufferterragovernment).
% 2.10/2.24  0 [] accept_leader(sufferterragovernment,countryafirstaidorganization).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,other,n0).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,native,n85).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,muslim,n0).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,christian,n3).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,atheist,n12).
% 2.10/2.24  0 [] accept_city(sufferterragovernment,coastvillage).
% 2.10/2.24  0 [] accept_leader(sufferterragovernment,christiancountrychumanitarianorganization).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,other,n5).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,muslim,n65).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,christian,n0).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,atheist,n30).
% 2.10/2.24  0 [] accept_leader(sufferterragovernment,countryahumanitarianorganization).
% 2.10/2.24  0 [] accept_city(sufferterragovernment,townc).
% 2.10/2.24  0 [] accept_leader(muslimcountrybhumanitarianorganization,countryccivilorganization).
% 2.10/2.24  0 [] accept_leader(muslimcountrybhumanitarianorganization,countrybcivilorganization).
% 2.10/2.24  0 [] accept_population(christiansufferterrahumanitarianorganization,other,n5).
% 2.10/2.24  0 [] accept_population(christiansufferterrahumanitarianorganization,muslim,n65).
% 2.10/2.24  0 [] accept_population(christiansufferterrahumanitarianorganization,christian,n0).
% 2.10/2.24  0 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n30).
% 2.10/2.24  0 [] accept_leader(christiansufferterrahumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.24  0 [] accept_city(christiansufferterrahumanitarianorganization,townc).
% 2.10/2.24  0 [] accept_leader(christiansufferterrahumanitarianorganization,countryacivilorganization).
% 2.10/2.24  0 [] accept_number(christiansufferterrahumanitarianorganization,n5).
% 2.10/2.24  0 [] accept_number(christiansufferterrahumanitarianorganization,n4).
% 2.10/2.24  0 [] accept_number(christiansufferterrahumanitarianorganization,n3).
% 2.10/2.24  0 [] accept_number(christiansufferterrahumanitarianorganization,n2).
% 2.10/2.24  0 [] accept_number(christiansufferterrahumanitarianorganization,n1).
% 2.10/2.24  0 [] accept_number(christiansufferterrahumanitarianorganization,n6).
% 2.10/2.24  0 [] accept_population(christiansufferterrahumanitarianorganization,other,n1).
% 2.10/2.24  0 [] accept_population(christiansufferterrahumanitarianorganization,native,n0).
% 2.10/2.24  0 [] accept_population(christiansufferterrahumanitarianorganization,muslim,n1).
% 2.10/2.24  0 [] accept_population(christiansufferterrahumanitarianorganization,christian,n20).
% 2.10/2.24  0 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n78).
% 2.10/2.24  0 [] accept_city(christiansufferterrahumanitarianorganization,cityb).
% 2.10/2.24  0 [] accept_leader(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.24  0 [] accept_population(countryccivilorganization,other,n5).
% 2.10/2.24  0 [] accept_population(countryccivilorganization,muslim,n65).
% 2.10/2.24  0 [] accept_population(countryccivilorganization,christian,n0).
% 2.10/2.24  0 [] accept_population(countryccivilorganization,atheist,n30).
% 2.10/2.24  0 [] accept_city(countryccivilorganization,townc).
% 2.10/2.24  0 [] accept_leader(countryccivilorganization,countryahumanitarianorganization).
% 2.10/2.24  0 [] accept_leader(countrycmedicalorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,other,n5).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,muslim,n65).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,christian,n0).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,atheist,n30).
% 2.10/2.24  0 [] accept_city(countrycmedicalorganization,townc).
% 2.10/2.24  0 [] accept_leader(countrycmedicalorganization,countryahumanitarianorganization).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,other,n1).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,christian,n20).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,atheist,n78).
% 2.10/2.24  0 [] accept_city(countrycmedicalorganization,cityb).
% 2.10/2.24  0 [] accept_leader(muslimcountrybhumanitarianorganization,countrycmedicalorganization).
% 2.10/2.24  0 [] accept_leader(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  0 [] accept_population(muslimcountrybhumanitarianorganization,other,n5).
% 2.10/2.24  0 [] accept_population(muslimcountrybhumanitarianorganization,muslim,n65).
% 2.10/2.24  0 [] accept_population(muslimcountrybhumanitarianorganization,christian,n0).
% 2.10/2.24  0 [] accept_population(muslimcountrybhumanitarianorganization,atheist,n30).
% 2.10/2.24  0 [] accept_city(muslimcountrybhumanitarianorganization,townc).
% 2.10/2.24  0 [] accept_leader(muslimcountrybhumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.24  0 [] accept_population(muslimcountrybhumanitarianorganization,other,n1).
% 2.10/2.24  0 [] accept_population(muslimcountrybhumanitarianorganization,native,n0).
% 2.10/2.24  0 [] accept_population(muslimcountrybhumanitarianorganization,muslim,n1).
% 2.10/2.24  0 [] accept_population(muslimcountrybhumanitarianorganization,christian,n20).
% 2.10/2.24  0 [] accept_population(muslimcountrybhumanitarianorganization,atheist,n78).
% 2.10/2.24  0 [] accept_leader(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.24  0 [] accept_city(muslimcountrybhumanitarianorganization,cityb).
% 2.10/2.24  0 [] accept_leader(countryamedicalorganization,countryacivilorganization).
% 2.10/2.24  0 [] accept_population(countryamedicalorganization,other,n1).
% 2.10/2.24  0 [] accept_population(countryamedicalorganization,christian,n20).
% 2.10/2.24  0 [] accept_population(countryamedicalorganization,atheist,n78).
% 2.10/2.24  0 [] accept_city(countryamedicalorganization,cityb).
% 2.10/2.24  0 [] accept_leader(countryamedicalorganization,countrybhumanitarianorganization).
% 2.10/2.24  0 [] accept_number(countryamedicalorganization,n5).
% 2.10/2.24  0 [] accept_number(countryamedicalorganization,n4).
% 2.10/2.24  0 [] accept_number(countryamedicalorganization,n3).
% 2.10/2.24  0 [] accept_number(countryamedicalorganization,n2).
% 2.10/2.24  0 [] accept_number(countryamedicalorganization,n1).
% 2.10/2.24  0 [] accept_population(countryamedicalorganization,other,n0).
% 2.10/2.24  0 [] accept_population(countryamedicalorganization,native,n0).
% 2.10/2.24  0 [] accept_population(countryamedicalorganization,muslim,n1).
% 2.10/2.24  0 [] accept_population(countryamedicalorganization,christian,n24).
% 2.10/2.24  0 [] accept_population(countryamedicalorganization,atheist,n75).
% 2.10/2.24  0 [] accept_number(countryamedicalorganization,n6).
% 2.10/2.24  0 [] accept_leader(countryamedicalorganization,sufferterragovernment).
% 2.10/2.24  0 [] accept_city(countryamedicalorganization,towna).
% 2.10/2.24  0 [] accept_population(countryacivilorganization,other,n1).
% 2.10/2.24  0 [] accept_population(countryacivilorganization,christian,n20).
% 2.10/2.24  0 [] accept_population(countryacivilorganization,atheist,n78).
% 2.10/2.24  0 [] accept_city(countryacivilorganization,cityb).
% 2.10/2.24  0 [] accept_leader(countryacivilorganization,countrybhumanitarianorganization).
% 2.10/2.24  0 [] accept_leader(countryahumanitarianorganization,countryacivilorganization).
% 2.10/2.24  0 [] accept_population(countryahumanitarianorganization,other,n1).
% 2.10/2.24  0 [] accept_population(countryahumanitarianorganization,christian,n20).
% 2.10/2.24  0 [] accept_population(countryahumanitarianorganization,atheist,n78).
% 2.10/2.24  0 [] accept_city(countryahumanitarianorganization,cityb).
% 2.10/2.24  0 [] accept_leader(countryahumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.24  0 [] accept_number(countryahumanitarianorganization,n5).
% 2.10/2.24  0 [] accept_number(countryahumanitarianorganization,n4).
% 2.10/2.24  0 [] accept_number(countryahumanitarianorganization,n3).
% 2.10/2.24  0 [] accept_number(countryahumanitarianorganization,n2).
% 2.10/2.24  0 [] accept_number(countryahumanitarianorganization,n1).
% 2.10/2.24  0 [] accept_population(countryahumanitarianorganization,other,n0).
% 2.10/2.24  0 [] accept_population(countryahumanitarianorganization,native,n0).
% 2.10/2.24  0 [] accept_population(countryahumanitarianorganization,muslim,n1).
% 2.10/2.24  0 [] accept_population(countryahumanitarianorganization,christian,n24).
% 2.10/2.24  0 [] accept_population(countryahumanitarianorganization,atheist,n75).
% 2.10/2.24  0 [] accept_number(countryahumanitarianorganization,n6).
% 2.10/2.24  0 [] accept_leader(countryahumanitarianorganization,sufferterragovernment).
% 2.10/2.24  0 [] accept_city(countryahumanitarianorganization,towna).
% 2.10/2.24  0 [] accept_leader(sufferterragovernment,countryacivilorganization).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,other,n1).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,native,n0).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,muslim,n1).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,christian,n20).
% 2.10/2.24  0 [] accept_population(sufferterragovernment,atheist,n78).
% 2.10/2.24  0 [] accept_city(sufferterragovernment,cityb).
% 2.10/2.24  0 [] accept_leader(sufferterragovernment,countrybhumanitarianorganization).
% 2.10/2.24  0 [] accept_population(countryccivilorganization,other,n0).
% 2.10/2.24  0 [] accept_population(countryccivilorganization,native,n0).
% 2.10/2.24  0 [] accept_population(countryccivilorganization,muslim,n1).
% 2.10/2.24  0 [] accept_population(countryccivilorganization,christian,n24).
% 2.10/2.24  0 [] accept_population(countryccivilorganization,atheist,n75).
% 2.10/2.24  0 [] accept_city(countryccivilorganization,towna).
% 2.10/2.24  0 [] accept_leader(countryccivilorganization,sufferterragovernment).
% 2.10/2.24  0 [] accept_number(countryafirstaidorganization,n5).
% 2.10/2.24  0 [] accept_number(countryafirstaidorganization,n4).
% 2.10/2.24  0 [] accept_number(countryafirstaidorganization,n3).
% 2.10/2.24  0 [] accept_number(countryafirstaidorganization,n2).
% 2.10/2.24  0 [] accept_number(countryafirstaidorganization,n1).
% 2.10/2.24  0 [] accept_population(countryafirstaidorganization,other,n0).
% 2.10/2.24  0 [] accept_population(countryafirstaidorganization,native,n0).
% 2.10/2.24  0 [] accept_population(countryafirstaidorganization,muslim,n1).
% 2.10/2.24  0 [] accept_population(countryafirstaidorganization,christian,n24).
% 2.10/2.24  0 [] accept_population(countryafirstaidorganization,atheist,n75).
% 2.10/2.24  0 [] accept_number(countryafirstaidorganization,n6).
% 2.10/2.24  0 [] accept_leader(countryafirstaidorganization,sufferterragovernment).
% 2.10/2.24  0 [] accept_city(countryafirstaidorganization,towna).
% 2.10/2.24  0 [] accept_leader(countrycmedicalorganization,countryccivilorganization).
% 2.10/2.24  0 [] accept_leader(countrycmedicalorganization,countrybcivilorganization).
% 2.10/2.24  0 [] accept_leader(countrycmedicalorganization,countrybhumanitarianorganization).
% 2.10/2.24  0 [] accept_leader(countrycmedicalorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,other,n0).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,native,n0).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,muslim,n1).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,christian,n24).
% 2.10/2.24  0 [] accept_population(countrycmedicalorganization,atheist,n75).
% 2.10/2.24  0 [] accept_city(countrycmedicalorganization,towna).
% 2.10/2.24  0 [] accept_leader(countrycmedicalorganization,sufferterragovernment).
% 2.10/2.24  0 [] accept_leader(countrybcivilorganization,countryccivilorganization).
% 2.10/2.24  0 [] accept_leader(countrybcivilorganization,countrybhumanitarianorganization).
% 2.10/2.24  0 [] accept_leader(countrybcivilorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  0 [] accept_leader(countrybcivilorganization,countrycmedicalorganization).
% 2.10/2.24  0 [] accept_population(countrybcivilorganization,other,n0).
% 2.10/2.24  0 [] accept_population(countrybcivilorganization,native,n0).
% 2.10/2.24  0 [] accept_population(countrybcivilorganization,muslim,n1).
% 2.10/2.24  0 [] accept_population(countrybcivilorganization,christian,n24).
% 2.10/2.24  0 [] accept_population(countrybcivilorganization,atheist,n75).
% 2.10/2.24  0 [] accept_city(countrybcivilorganization,towna).
% 2.10/2.24  0 [] accept_leader(countrybcivilorganization,sufferterragovernment).
% 2.10/2.24  0 [] accept_number(sufferterragovernment,n5).
% 2.10/2.24  0 [] accept_number(sufferterragovernment,n4).
% 2.10/2.24  0 [] accept_number(sufferterragovernment,n3).
% 2.10/2.24  0 [] accept_number(sufferterragovernment,n2).
% 2.10/2.24  0 [] accept_number(sufferterragovernment,n1).
% 2.10/2.24  0 [] accept_number(sufferterragovernment,n6).
% 2.10/2.24  0 [] accept_number(countryacivilorganization,n5).
% 2.10/2.24  0 [] accept_number(countryacivilorganization,n4).
% 2.10/2.24  0 [] accept_number(countryacivilorganization,n3).
% 2.10/2.24  0 [] accept_number(countryacivilorganization,n2).
% 2.10/2.24  0 [] accept_number(countryacivilorganization,n1).
% 2.10/2.24  0 [] accept_population(countryacivilorganization,other,n0).
% 2.10/2.24  0 [] accept_population(countryacivilorganization,native,n0).
% 2.10/2.24  0 [] accept_population(countryacivilorganization,muslim,n1).
% 2.10/2.24  0 [] accept_population(countryacivilorganization,christian,n24).
% 2.10/2.24  0 [] accept_population(countryacivilorganization,atheist,n75).
% 2.10/2.24  0 [] accept_number(countryacivilorganization,n6).
% 2.10/2.24  0 [] accept_leader(countryacivilorganization,sufferterragovernment).
% 2.10/2.24  0 [] accept_city(countryacivilorganization,towna).
% 2.10/2.24  0 [] accept_number(countryccivilorganization,n3).
% 2.10/2.24  0 [] accept_number(countryccivilorganization,n2).
% 2.10/2.24  0 [] accept_number(countryccivilorganization,n1).
% 2.10/2.24  0 [] accept_number(countryccivilorganization,n4).
% 2.10/2.24  0 [] accept_leader(christiancountrychumanitarianorganization,countryccivilorganization).
% 2.10/2.24  0 [] accept_number(countrybcivilorganization,n5).
% 2.10/2.24  0 [] accept_number(countrybcivilorganization,n4).
% 2.10/2.24  0 [] accept_number(countrybcivilorganization,n3).
% 2.10/2.24  0 [] accept_number(countrybcivilorganization,n2).
% 2.10/2.24  0 [] accept_number(countrybcivilorganization,n1).
% 2.10/2.24  0 [] accept_number(countrybcivilorganization,n6).
% 2.10/2.24  0 [] accept_leader(christiancountrychumanitarianorganization,countrybcivilorganization).
% 2.10/2.24  0 [] accept_number(countrybhumanitarianorganization,n5).
% 2.10/2.24  0 [] accept_number(countrybhumanitarianorganization,n4).
% 2.10/2.24  0 [] accept_number(countrybhumanitarianorganization,n3).
% 2.10/2.24  0 [] accept_number(countrybhumanitarianorganization,n2).
% 2.10/2.24  0 [] accept_number(countrybhumanitarianorganization,n1).
% 2.10/2.24  0 [] accept_number(countrybhumanitarianorganization,n6).
% 2.10/2.24  0 [] accept_leader(christiancountrychumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.24  0 [] accept_leader(christiancountrychumanitarianorganization,countrycmedicalorganization).
% 2.10/2.24  0 [] accept_number(christiancountrychumanitarianorganization,n5).
% 2.10/2.24  0 [] accept_number(christiancountrychumanitarianorganization,n4).
% 2.10/2.24  0 [] accept_number(christiancountrychumanitarianorganization,n3).
% 2.10/2.24  0 [] accept_number(christiancountrychumanitarianorganization,n2).
% 2.10/2.24  0 [] accept_number(christiancountrychumanitarianorganization,n1).
% 2.10/2.24  0 [] accept_number(christiancountrychumanitarianorganization,n6).
% 2.10/2.24  0 [] accept_population(christiancountrychumanitarianorganization,other,n0).
% 2.10/2.24  0 [] accept_population(christiancountrychumanitarianorganization,native,n0).
% 2.10/2.24  0 [] accept_population(christiancountrychumanitarianorganization,muslim,n1).
% 2.10/2.24  0 [] accept_population(christiancountrychumanitarianorganization,christian,n24).
% 2.10/2.24  0 [] accept_population(christiancountrychumanitarianorganization,atheist,n75).
% 2.10/2.24  0 [] accept_city(christiancountrychumanitarianorganization,towna).
% 2.10/2.24  0 [] accept_leader(christiancountrychumanitarianorganization,sufferterragovernment).
% 2.10/2.24  0 [] accept_number(countrycmedicalorganization,n5).
% 2.10/2.24  0 [] accept_number(countrycmedicalorganization,n4).
% 2.10/2.24  0 [] accept_number(countrycmedicalorganization,n3).
% 2.10/2.24  0 [] accept_number(countrycmedicalorganization,n2).
% 2.10/2.24  0 [] accept_number(countrycmedicalorganization,n1).
% 2.10/2.24  0 [] accept_number(countrycmedicalorganization,n6).
% 2.10/2.24  0 [] accept_number(muslimcountrybhumanitarianorganization,n5).
% 2.10/2.24  0 [] accept_number(muslimcountrybhumanitarianorganization,n4).
% 2.10/2.24  0 [] accept_number(muslimcountrybhumanitarianorganization,n3).
% 2.10/2.24  0 [] accept_number(muslimcountrybhumanitarianorganization,n2).
% 2.10/2.24  0 [] accept_number(muslimcountrybhumanitarianorganization,n1).
% 2.10/2.24  0 [] accept_number(muslimcountrybhumanitarianorganization,n6).
% 2.10/2.24  0 [] -accept_city(muslimcountrybhumanitarianorganization,towna).
% 2.10/2.24  0 [] accept_leader(muslimcountrybhumanitarianorganization,sufferterragovernment).
% 2.10/2.24  end_of_list.
% 2.10/2.24  
% 2.10/2.24  SCAN INPUT: prop=0, horn=1, equality=0, symmetry=0, max_lits=6.
% 2.10/2.24  
% 2.10/2.24  This is a Horn set without equality.  The strategy will
% 2.10/2.24  be hyperresolution, with satellites in sos and nuclei
% 2.10/2.24  in usable.
% 2.10/2.24  
% 2.10/2.24     dependent: set(hyper_res).
% 2.10/2.24     dependent: clear(order_hyper).
% 2.10/2.24  
% 2.10/2.24  ------------> process usable:
% 2.10/2.24  ** KEPT (pick-wt=8): 1 [] -accept_team(A,B,C,D)|accept_city(A,C).
% 2.10/2.24  ** KEPT (pick-wt=8): 2 [] -accept_team(A,B,C,D)|accept_leader(A,B).
% 2.10/2.24  ** KEPT (pick-wt=8): 3 [] -accept_team(A,B,C,D)|accept_number(A,D).
% 2.10/2.24  ** KEPT (pick-wt=14): 4 [] accept_team(A,B,C,D)| -accept_city(A,C)| -accept_leader(A,B)| -accept_number(A,D).
% 2.10/2.24  ** KEPT (pick-wt=9): 5 [] -accept_number(A,B)| -less(C,B)|accept_number(A,C).
% 2.10/2.24  ** KEPT (pick-wt=11): 6 [] -accept_population(A,B,C)| -less(D,C)|accept_population(A,B,D).
% 2.10/2.24  ** KEPT (pick-wt=7): 7 [] -the_agent_in_all_proposed_teams(A,B,C)|accept_leader(A,B).
% 2.10/2.24  ** KEPT (pick-wt=7): 8 [] -the_agent_in_all_proposed_teams(A,B,C)|accept_city(A,C).
% 2.10/2.24  ** KEPT (pick-wt=7): 9 [] -any_agent_in_all_proposed_teams(A,B,C)|accept_leader(A,B).
% 2.10/2.24  ** KEPT (pick-wt=10): 10 [] -the_agent_not_in_any_proposed_teams(A,B,C)| -accept_city(A,C)| -accept_leader(A,B).
% 2.10/2.24  ** KEPT (pick-wt=6): 11 [] -min_number_of_proposed_agents(A,B)|accept_number(A,B).
% 2.10/2.24  ** KEPT (pick-wt=23): 12 [] -accept_population(A,atheist,n65)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n7)| -accept_population(A,native,n4)| -accept_population(A,other,n4)|accept_city(A,suffertown).
% 2.10/2.24  ** KEPT (pick-wt=7): 13 [] accept_population(A,atheist,n65)| -accept_city(A,suffertown).
% 2.10/2.24  ** KEPT (pick-wt=7): 14 [] accept_population(A,christian,n20)| -accept_city(A,suffertown).
% 2.10/2.24  ** KEPT (pick-wt=7): 15 [] accept_population(A,muslim,n7)| -accept_city(A,suffertown).
% 2.10/2.24  ** KEPT (pick-wt=7): 16 [] accept_population(A,native,n4)| -accept_city(A,suffertown).
% 2.10/2.24  ** KEPT (pick-wt=7): 17 [] accept_population(A,other,n4)| -accept_city(A,suffertown).
% 2.10/2.24  ** KEPT (pick-wt=23): 18 [] -accept_population(A,atheist,n54)| -accept_population(A,christian,n23)| -accept_population(A,muslim,n3)| -accept_population(A,native,n1)| -accept_population(A,other,n9)|accept_city(A,centraltown).
% 2.10/2.24  ** KEPT (pick-wt=7): 19 [] accept_population(A,atheist,n54)| -accept_city(A,centraltown).
% 2.10/2.24  ** KEPT (pick-wt=7): 20 [] accept_population(A,christian,n23)| -accept_city(A,centraltown).
% 2.10/2.24  ** KEPT (pick-wt=7): 21 [] accept_population(A,muslim,n3)| -accept_city(A,centraltown).
% 2.10/2.24  ** KEPT (pick-wt=7): 22 [] accept_population(A,native,n1)| -accept_city(A,centraltown).
% 2.10/2.24  ** KEPT (pick-wt=7): 23 [] accept_population(A,other,n9)| -accept_city(A,centraltown).
% 2.10/2.24  ** KEPT (pick-wt=23): 24 [] -accept_population(A,atheist,n30)| -accept_population(A,christian,n8)| -accept_population(A,muslim,n60)| -accept_population(A,native,n1)| -accept_population(A,other,n1)|accept_city(A,sunnysideport).
% 2.10/2.24  ** KEPT (pick-wt=7): 25 [] accept_population(A,atheist,n30)| -accept_city(A,sunnysideport).
% 2.10/2.24  ** KEPT (pick-wt=7): 26 [] accept_population(A,christian,n8)| -accept_city(A,sunnysideport).
% 2.10/2.24  ** KEPT (pick-wt=7): 27 [] accept_population(A,muslim,n60)| -accept_city(A,sunnysideport).
% 2.10/2.24  ** KEPT (pick-wt=7): 28 [] accept_population(A,native,n1)| -accept_city(A,sunnysideport).
% 2.10/2.24  ** KEPT (pick-wt=7): 29 [] accept_population(A,other,n1)| -accept_city(A,sunnysideport).
% 2.10/2.24  ** KEPT (pick-wt=23): 30 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n15)| -accept_population(A,muslim,n1)| -accept_population(A,native,n10)| -accept_population(A,other,n4)|accept_city(A,centrallakecity).
% 2.10/2.24  ** KEPT (pick-wt=7): 31 [] accept_population(A,atheist,n70)| -accept_city(A,centrallakecity).
% 2.10/2.24  ** KEPT (pick-wt=7): 32 [] accept_population(A,christian,n15)| -accept_city(A,centrallakecity).
% 2.10/2.24  ** KEPT (pick-wt=7): 33 [] accept_population(A,muslim,n1)| -accept_city(A,centrallakecity).
% 2.10/2.24  ** KEPT (pick-wt=7): 34 [] accept_population(A,native,n10)| -accept_city(A,centrallakecity).
% 2.10/2.24  ** KEPT (pick-wt=7): 35 [] accept_population(A,other,n4)| -accept_city(A,centrallakecity).
% 2.10/2.24  ** KEPT (pick-wt=23): 36 [] -accept_population(A,atheist,n68)| -accept_population(A,christian,n16)| -accept_population(A,muslim,n1)| -accept_population(A,native,n11)| -accept_population(A,other,n4)|accept_city(A,stjosephburgh).
% 2.10/2.24  ** KEPT (pick-wt=7): 37 [] accept_population(A,atheist,n68)| -accept_city(A,stjosephburgh).
% 2.10/2.24  ** KEPT (pick-wt=7): 38 [] accept_population(A,christian,n16)| -accept_city(A,stjosephburgh).
% 2.10/2.24  ** KEPT (pick-wt=7): 39 [] accept_population(A,muslim,n1)| -accept_city(A,stjosephburgh).
% 2.10/2.24  ** KEPT (pick-wt=7): 40 [] accept_population(A,native,n11)| -accept_city(A,stjosephburgh).
% 2.10/2.24  ** KEPT (pick-wt=7): 41 [] accept_population(A,other,n4)| -accept_city(A,stjosephburgh).
% 2.10/2.24  ** KEPT (pick-wt=23): 42 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n13)| -accept_population(A,muslim,n0)| -accept_population(A,native,n15)| -accept_population(A,other,n2)|accept_city(A,northport).
% 2.10/2.24  ** KEPT (pick-wt=7): 43 [] accept_population(A,atheist,n70)| -accept_city(A,northport).
% 2.10/2.24  ** KEPT (pick-wt=7): 44 [] accept_population(A,christian,n13)| -accept_city(A,northport).
% 2.10/2.24  ** KEPT (pick-wt=7): 45 [] accept_population(A,muslim,n0)| -accept_city(A,northport).
% 2.10/2.24  ** KEPT (pick-wt=7): 46 [] accept_population(A,native,n15)| -accept_city(A,northport).
% 2.10/2.24  ** KEPT (pick-wt=7): 47 [] accept_population(A,other,n2)| -accept_city(A,northport).
% 2.10/2.24  ** KEPT (pick-wt=23): 48 [] -accept_population(A,atheist,n12)| -accept_population(A,christian,n3)| -accept_population(A,muslim,n0)| -accept_population(A,native,n85)| -accept_population(A,other,n0)|accept_city(A,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=7): 49 [] accept_population(A,atheist,n12)| -accept_city(A,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=7): 50 [] accept_population(A,christian,n3)| -accept_city(A,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=7): 51 [] accept_population(A,muslim,n0)| -accept_city(A,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=7): 52 [] accept_population(A,native,n85)| -accept_city(A,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=7): 53 [] accept_population(A,other,n0)| -accept_city(A,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=23): 54 [] -accept_population(A,atheist,n0)| -accept_population(A,christian,n0)| -accept_population(A,muslim,n0)| -accept_population(A,native,n100)| -accept_population(A,other,n0)|accept_city(A,sunsetpoint).
% 2.10/2.24  ** KEPT (pick-wt=7): 55 [] accept_population(A,atheist,n0)| -accept_city(A,sunsetpoint).
% 2.10/2.24  ** KEPT (pick-wt=7): 56 [] accept_population(A,christian,n0)| -accept_city(A,sunsetpoint).
% 2.10/2.24  ** KEPT (pick-wt=7): 57 [] accept_population(A,muslim,n0)| -accept_city(A,sunsetpoint).
% 2.10/2.24  ** KEPT (pick-wt=7): 58 [] accept_population(A,native,n100)| -accept_city(A,sunsetpoint).
% 2.10/2.24  ** KEPT (pick-wt=7): 59 [] accept_population(A,other,n0)| -accept_city(A,sunsetpoint).
% 2.10/2.24  ** KEPT (pick-wt=23): 60 [] -accept_population(A,atheist,n75)| -accept_population(A,christian,n24)| -accept_population(A,muslim,n1)| -accept_population(A,native,n0)| -accept_population(A,other,n0)|accept_city(A,towna).
% 2.10/2.24  ** KEPT (pick-wt=7): 61 [] accept_population(A,atheist,n75)| -accept_city(A,towna).
% 2.10/2.24  ** KEPT (pick-wt=7): 62 [] accept_population(A,christian,n24)| -accept_city(A,towna).
% 2.10/2.24  ** KEPT (pick-wt=7): 63 [] accept_population(A,muslim,n1)| -accept_city(A,towna).
% 2.10/2.24  ** KEPT (pick-wt=7): 64 [] accept_population(A,native,n0)| -accept_city(A,towna).
% 2.10/2.24  ** KEPT (pick-wt=7): 65 [] accept_population(A,other,n0)| -accept_city(A,towna).
% 2.10/2.24  ** KEPT (pick-wt=23): 66 [] -accept_population(A,atheist,n75)| -accept_population(A,christian,n25)| -accept_population(A,muslim,n0)| -accept_population(A,native,n0)| -accept_population(A,other,n0)|accept_city(A,citya).
% 2.10/2.24  ** KEPT (pick-wt=7): 67 [] accept_population(A,atheist,n75)| -accept_city(A,citya).
% 2.10/2.24  ** KEPT (pick-wt=7): 68 [] accept_population(A,christian,n25)| -accept_city(A,citya).
% 2.10/2.24  ** KEPT (pick-wt=7): 69 [] accept_population(A,muslim,n0)| -accept_city(A,citya).
% 2.10/2.24  ** KEPT (pick-wt=7): 70 [] accept_population(A,native,n0)| -accept_city(A,citya).
% 2.10/2.24  ** KEPT (pick-wt=7): 71 [] accept_population(A,other,n0)| -accept_city(A,citya).
% 2.10/2.24  ** KEPT (pick-wt=23): 72 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n8)| -accept_population(A,native,n0)| -accept_population(A,other,n2)|accept_city(A,townb).
% 2.10/2.24  ** KEPT (pick-wt=7): 73 [] accept_population(A,atheist,n70)| -accept_city(A,townb).
% 2.10/2.24  ** KEPT (pick-wt=7): 74 [] accept_population(A,christian,n20)| -accept_city(A,townb).
% 2.10/2.24  ** KEPT (pick-wt=7): 75 [] accept_population(A,muslim,n8)| -accept_city(A,townb).
% 2.10/2.24  ** KEPT (pick-wt=7): 76 [] accept_population(A,native,n0)| -accept_city(A,townb).
% 2.10/2.24  ** KEPT (pick-wt=7): 77 [] accept_population(A,other,n2)| -accept_city(A,townb).
% 2.10/2.24  ** KEPT (pick-wt=23): 78 [] -accept_population(A,atheist,n78)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n1)| -accept_population(A,native,n0)| -accept_population(A,other,n1)|accept_city(A,cityb).
% 2.10/2.24  ** KEPT (pick-wt=7): 79 [] accept_population(A,atheist,n78)| -accept_city(A,cityb).
% 2.10/2.24  ** KEPT (pick-wt=7): 80 [] accept_population(A,christian,n20)| -accept_city(A,cityb).
% 2.10/2.24  ** KEPT (pick-wt=7): 81 [] accept_population(A,muslim,n1)| -accept_city(A,cityb).
% 2.10/2.24  ** KEPT (pick-wt=7): 82 [] accept_population(A,native,n0)| -accept_city(A,cityb).
% 2.10/2.24  ** KEPT (pick-wt=7): 83 [] accept_population(A,other,n1)| -accept_city(A,cityb).
% 2.10/2.24  ** KEPT (pick-wt=23): 84 [] -accept_population(A,atheist,n30)| -accept_population(A,christian,n0)| -accept_population(A,muslim,n65)| -accept_population(A,native,n0)| -accept_population(A,other,n5)|accept_city(A,townc).
% 2.10/2.24  ** KEPT (pick-wt=7): 85 [] accept_population(A,atheist,n30)| -accept_city(A,townc).
% 2.10/2.24  ** KEPT (pick-wt=7): 86 [] accept_population(A,christian,n0)| -accept_city(A,townc).
% 2.10/2.24  ** KEPT (pick-wt=7): 87 [] accept_population(A,muslim,n65)| -accept_city(A,townc).
% 2.10/2.24  ** KEPT (pick-wt=7): 88 [] accept_population(A,native,n0)| -accept_city(A,townc).
% 2.10/2.24  ** KEPT (pick-wt=7): 89 [] accept_population(A,other,n5)| -accept_city(A,townc).
% 2.10/2.24  ** KEPT (pick-wt=5): 90 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 91 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 92 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 93 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 94 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 95 [] -accept_team(countryamedicalorganization,christiansufferterrahumanitarianorganization,coastvillage,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 96 [] -accept_team(countryamedicalorganization,sufferterragovernment,coastvillage,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 97 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 98 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 99 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 100 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 101 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 102 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 103 [] -accept_team(countryccivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 104 [] -accept_team(countryccivilorganization,countrybcivilorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 105 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 106 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 107 [] -accept_team(countryccivilorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 108 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 109 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 110 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 111 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 112 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 113 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 114 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.10/2.24  ** KEPT (pick-wt=5): 115 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.10/2.24  ** KEPT (pick-wt=5): 116 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.10/2.24  ** KEPT (pick-wt=5): 117 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.10/2.24  ** KEPT (pick-wt=5): 118 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 119 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 120 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 121 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 122 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 123 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 124 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 125 [] -accept_team(countryccivilorganization,countrybcivilorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 126 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 127 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 128 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 129 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 130 [] -accept_city(countryamedicalorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 131 [] -accept_number(countryccivilorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 132 [] -accept_number(countryccivilorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 133 [] -accept_leader(christiansufferterrahumanitarianorganization,sufferterragovernment).
% 2.10/2.24  ** KEPT (pick-wt=3): 134 [] -accept_city(muslimcountrybhumanitarianorganization,towna).
% 2.10/2.24  
% 2.10/2.24  ------------> process sos:
% 2.10/2.24  ** KEPT (pick-wt=5): 135 [] accept_team(countryahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 136 [] accept_team(countryahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 137 [] accept_team(countryahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 138 [] accept_team(countryahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 139 [] the_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=4): 140 [] any_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=5): 141 [] accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 142 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.10/2.24  ** KEPT (pick-wt=4): 143 [] the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 144 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=5): 145 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 146 [] accept_team(countryamedicalorganization,countryacivilorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 147 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 148 [] accept_team(countryafirstaidorganization,countryacivilorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 149 [] accept_number(countrybhumanitarianorganization,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 150 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 151 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 152 [] accept_team(sufferterragovernment,countryacivilorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 153 [] accept_number(countrybhumanitarianorganization,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 154 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 155 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=5): 156 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 157 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 158 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 159 [] accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 160 [] accept_number(countryahumanitarianorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=4): 161 [] the_agent_not_in_any_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=4): 162 [] any_agent_in_all_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=5): 163 [] accept_team(countryccivilorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.24  ** KEPT (pick-wt=4): 164 [] the_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 165 [] any_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=5): 166 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 167 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 168 [] accept_number(countrybcivilorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 169 [] the_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 170 [] any_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=5): 171 [] accept_team(sufferterragovernment,countryacivilorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 172 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 173 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=5): 174 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 175 [] accept_number(countrycmedicalorganization,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 176 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.10/2.24  ** KEPT (pick-wt=3): 177 [] accept_number(countrycmedicalorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 178 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 179 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 180 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=5): 181 [] accept_team(countryafirstaidorganization,countryacivilorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 182 [] accept_number(countryacivilorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 183 [] accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 184 [] accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 185 [] accept_team(countryacivilorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 186 [] the_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=4): 187 [] any_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 188 [] accept_number(countryafirstaidorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 189 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 190 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 191 [] accept_team(countryafirstaidorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 192 [] the_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=4): 193 [] any_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 194 [] accept_number(christiancountrychumanitarianorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 195 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 196 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 197 [] accept_team(countrybcivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 198 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 199 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 200 [] accept_team(countrybcivilorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 201 [] the_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=4): 202 [] any_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=5): 203 [] accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 204 [] accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 205 [] accept_team(sufferterragovernment,countryacivilorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 206 [] accept_team(sufferterragovernment,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 207 [] the_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=4): 208 [] any_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 209 [] accept_number(christiansufferterrahumanitarianorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 210 [] accept_number(countryahumanitarianorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 211 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 212 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 213 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 214 [] accept_team(christiansufferterrahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 215 [] the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=4): 216 [] any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=5): 217 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 218 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 219 [] accept_number(muslimcountrybhumanitarianorganization,n3).
% 2.10/2.24  ** KEPT (pick-wt=5): 220 [] accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,townc,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 221 [] accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 222 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 223 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 224 [] accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 225 [] the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=4): 226 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=5): 227 [] accept_team(countryacivilorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 228 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 229 [] accept_team(christiancountrychumanitarianorganization,countryccivilorganization,townc,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 230 [] accept_team(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 231 [] accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 232 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 233 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 234 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=4): 235 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=4): 236 [] the_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=4): 237 [] any_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=5): 238 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 239 [] accept_team(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 240 [] accept_team(sufferterragovernment,countryahumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 241 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 242 [] accept_team(countryamedicalorganization,countryahumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 243 [] accept_team(countrycmedicalorganization,countryccivilorganization,townc,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 244 [] accept_team(countrycmedicalorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 245 [] accept_team(countrycmedicalorganization,countrybcivilorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 246 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 247 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 248 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=4): 249 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=5): 250 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 251 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 252 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 253 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=4): 254 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=5): 255 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 256 [] accept_number(christiansufferterrahumanitarianorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 257 [] the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=4): 258 [] any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=5): 259 [] accept_team(sufferterragovernment,countryahumanitarianorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 260 [] the_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=4): 261 [] any_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=5): 262 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 263 [] accept_number(countryafirstaidorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 264 [] the_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=4): 265 [] any_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=5): 266 [] accept_team(countryafirstaidorganization,sufferterragovernment,towna,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 267 [] accept_team(countryafirstaidorganization,sufferterragovernment,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 268 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 269 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 270 [] accept_team(countryamedicalorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 271 [] accept_number(countryamedicalorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 272 [] the_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=4): 273 [] any_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=5): 274 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 275 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 276 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 277 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 278 [] the_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=4): 279 [] any_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 280 [] accept_number(countryahumanitarianorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 281 [] accept_team(countryacivilorganization,countryahumanitarianorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 282 [] accept_number(countryacivilorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 283 [] the_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=4): 284 [] any_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 285 [] accept_number(countrybhumanitarianorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 286 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 287 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 288 [] accept_number(muslimcountrybhumanitarianorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 289 [] accept_team(countryamedicalorganization,sufferterragovernment,towna,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 290 [] accept_team(countryamedicalorganization,sufferterragovernment,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 291 [] accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 292 [] accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 293 [] accept_number(christiancountrychumanitarianorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 294 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.10/2.24  ** KEPT (pick-wt=5): 295 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.10/2.24  ** KEPT (pick-wt=5): 296 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.10/2.24  ** KEPT (pick-wt=5): 297 [] accept_team(countrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.10/2.24  ** KEPT (pick-wt=3): 298 [] accept_number(countrybhumanitarianorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=5): 299 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 300 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 301 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 302 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 303 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 304 [] accept_number(countrybcivilorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 305 [] accept_number(countrybcivilorganization,n3).
% 2.10/2.24  ** KEPT (pick-wt=5): 306 [] accept_team(countrybcivilorganization,countryccivilorganization,towna,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 307 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 308 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 309 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 310 [] the_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 311 [] any_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 312 [] accept_number(sufferterragovernment,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 313 [] accept_number(countryccivilorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 314 [] accept_number(countryccivilorganization,n3).
% 2.10/2.24  ** KEPT (pick-wt=4): 315 [] the_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 316 [] any_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 317 [] accept_number(sufferterragovernment,n5).
% 2.10/2.24  ** KEPT (pick-wt=5): 318 [] accept_team(countryacivilorganization,sufferterragovernment,towna,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 319 [] accept_number(sufferterragovernment,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 320 [] accept_team(countryacivilorganization,sufferterragovernment,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 321 [] accept_number(countrycmedicalorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 322 [] accept_number(countrycmedicalorganization,n3).
% 2.10/2.24  ** KEPT (pick-wt=5): 323 [] accept_team(countrycmedicalorganization,countryccivilorganization,towna,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 324 [] accept_team(countrycmedicalorganization,countrybcivilorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 325 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 326 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 327 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 328 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 329 [] accept_number(christiancountrychumanitarianorganization,n3).
% 2.10/2.24  ** KEPT (pick-wt=3): 330 [] accept_number(countryccivilorganization,n4).
% 2.10/2.24  ** KEPT (pick-wt=5): 331 [] accept_team(christiancountrychumanitarianorganization,countryccivilorganization,towna,n4).
% 2.10/2.24  ** KEPT (pick-wt=3): 332 [] accept_number(countrybcivilorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 333 [] accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 334 [] accept_number(countrybhumanitarianorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 335 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=5): 336 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 337 [] accept_number(christiancountrychumanitarianorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 338 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 339 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 340 [] accept_number(countrycmedicalorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 341 [] accept_number(muslimcountrybhumanitarianorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 342 [] the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 343 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 344 [] accept_leader(christiancountrychumanitarianorganization,countryacivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 345 [] accept_leader(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 346 [] accept_population(christiancountrychumanitarianorganization,other,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 347 [] accept_population(christiancountrychumanitarianorganization,muslim,n65).
% 2.10/2.24  ** KEPT (pick-wt=4): 348 [] accept_population(christiancountrychumanitarianorganization,christian,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 349 [] accept_population(christiancountrychumanitarianorganization,atheist,n30).
% 2.10/2.24  ** KEPT (pick-wt=3): 350 [] accept_city(christiancountrychumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=3): 351 [] accept_leader(christiancountrychumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 352 [] accept_population(christiancountrychumanitarianorganization,other,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 353 [] accept_population(christiancountrychumanitarianorganization,christian,n20).
% 2.10/2.24  ** KEPT (pick-wt=4): 354 [] accept_population(christiancountrychumanitarianorganization,atheist,n78).
% 2.10/2.24  ** KEPT (pick-wt=3): 355 [] accept_city(christiancountrychumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 356 [] accept_leader(countryamedicalorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 357 [] accept_population(countryamedicalorganization,other,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 358 [] accept_population(countryamedicalorganization,muslim,n65).
% 2.10/2.24  ** KEPT (pick-wt=4): 359 [] accept_population(countryamedicalorganization,christian,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 360 [] accept_population(countryamedicalorganization,atheist,n30).
% 2.10/2.24  ** KEPT (pick-wt=3): 361 [] accept_leader(countryamedicalorganization,countryahumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 362 [] accept_city(countryamedicalorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=3): 363 [] accept_leader(countryahumanitarianorganization,countryamedicalorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 364 [] accept_leader(countryahumanitarianorganization,countryafirstaidorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 365 [] accept_population(countryahumanitarianorganization,native,n85).
% 2.10/2.24  ** KEPT (pick-wt=4): 366 [] accept_population(countryahumanitarianorganization,muslim,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 367 [] accept_population(countryahumanitarianorganization,christian,n3).
% 2.10/2.24  ** KEPT (pick-wt=4): 368 [] accept_population(countryahumanitarianorganization,atheist,n12).
% 2.10/2.24  ** KEPT (pick-wt=3): 369 [] accept_city(countryahumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 370 [] accept_leader(countryahumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 371 [] accept_leader(countryafirstaidorganization,countryamedicalorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 372 [] accept_leader(christiansufferterrahumanitarianorganization,countryamedicalorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 373 [] accept_leader(countrycmedicalorganization,countryacivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 374 [] accept_population(countrycmedicalorganization,native,n85).
% 2.10/2.24  ** KEPT (pick-wt=4): 375 [] accept_population(countrycmedicalorganization,muslim,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 376 [] accept_population(countrycmedicalorganization,christian,n3).
% 2.10/2.24  ** KEPT (pick-wt=4): 377 [] accept_population(countrycmedicalorganization,atheist,n12).
% 2.10/2.24  ** KEPT (pick-wt=3): 378 [] accept_city(countrycmedicalorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 379 [] accept_leader(countrybcivilorganization,countryacivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 380 [] accept_population(countrybcivilorganization,native,n85).
% 2.10/2.24  ** KEPT (pick-wt=4): 381 [] accept_population(countrybcivilorganization,muslim,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 382 [] accept_population(countrybcivilorganization,christian,n3).
% 2.10/2.24  ** KEPT (pick-wt=4): 383 [] accept_population(countrybcivilorganization,atheist,n12).
% 2.10/2.24  ** KEPT (pick-wt=3): 384 [] accept_city(countrybcivilorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 385 [] accept_leader(countrybcivilorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 386 [] accept_population(countrybcivilorganization,other,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 387 [] accept_population(countrybcivilorganization,muslim,n65).
% 2.10/2.24  ** KEPT (pick-wt=4): 388 [] accept_population(countrybcivilorganization,christian,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 389 [] accept_population(countrybcivilorganization,atheist,n30).
% 2.10/2.24  ** KEPT (pick-wt=3): 390 [] accept_city(countrybcivilorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=3): 391 [] accept_leader(countrybcivilorganization,countryahumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 392 [] accept_population(countrybcivilorganization,other,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 393 [] accept_population(countrybcivilorganization,christian,n20).
% 2.10/2.24  ** KEPT (pick-wt=4): 394 [] accept_population(countrybcivilorganization,atheist,n78).
% 2.10/2.24  ** KEPT (pick-wt=3): 395 [] accept_city(countrybcivilorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 396 [] accept_leader(sufferterragovernment,countryamedicalorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 397 [] accept_population(sufferterragovernment,christian,n24).
% 2.10/2.24  ** KEPT (pick-wt=4): 398 [] accept_population(sufferterragovernment,atheist,n75).
% 2.10/2.24  ** KEPT (pick-wt=3): 399 [] accept_city(sufferterragovernment,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 400 [] accept_population(countryccivilorganization,other,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 401 [] accept_population(countryccivilorganization,christian,n20).
% 2.10/2.24  ** KEPT (pick-wt=4): 402 [] accept_population(countryccivilorganization,atheist,n78).
% 2.10/2.24  ** KEPT (pick-wt=3): 403 [] accept_leader(countryccivilorganization,countrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 404 [] accept_city(countryccivilorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 405 [] accept_leader(countryccivilorganization,countryacivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 406 [] accept_leader(countryacivilorganization,countryamedicalorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 407 [] accept_leader(countryacivilorganization,countryafirstaidorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 408 [] accept_population(countryacivilorganization,native,n85).
% 2.10/2.24  ** KEPT (pick-wt=4): 409 [] accept_population(countryacivilorganization,muslim,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 410 [] accept_population(countryacivilorganization,christian,n3).
% 2.10/2.24  ** KEPT (pick-wt=4): 411 [] accept_population(countryacivilorganization,atheist,n12).
% 2.10/2.24  ** KEPT (pick-wt=3): 412 [] accept_city(countryacivilorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 413 [] accept_leader(countryacivilorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 414 [] accept_population(countryacivilorganization,other,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 415 [] accept_population(countryacivilorganization,muslim,n65).
% 2.10/2.24  ** KEPT (pick-wt=4): 416 [] accept_population(countryacivilorganization,christian,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 417 [] accept_population(countryacivilorganization,atheist,n30).
% 2.10/2.24  ** KEPT (pick-wt=3): 418 [] accept_leader(countryacivilorganization,countryahumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 419 [] accept_city(countryacivilorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=4): 420 [] accept_population(christiansufferterrahumanitarianorganization,christian,n24).
% 2.10/2.24  ** KEPT (pick-wt=4): 421 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n75).
% 2.10/2.24  ** KEPT (pick-wt=3): 422 [] accept_city(christiansufferterrahumanitarianorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 423 [] accept_leader(christiansufferterrahumanitarianorganization,countryafirstaidorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 424 [] accept_population(christiansufferterrahumanitarianorganization,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 425 [] accept_population(christiansufferterrahumanitarianorganization,native,n85).
% 2.10/2.24  ** KEPT (pick-wt=4): 426 [] accept_population(christiansufferterrahumanitarianorganization,muslim,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 427 [] accept_population(christiansufferterrahumanitarianorganization,christian,n3).
% 2.10/2.24  ** KEPT (pick-wt=4): 428 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n12).
% 2.10/2.24  ** KEPT (pick-wt=3): 429 [] accept_city(christiansufferterrahumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 430 [] accept_leader(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 431 [] accept_leader(muslimcountrybhumanitarianorganization,countryacivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 432 [] accept_population(muslimcountrybhumanitarianorganization,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 433 [] accept_population(muslimcountrybhumanitarianorganization,native,n85).
% 2.10/2.24  ** KEPT (pick-wt=4): 434 [] accept_population(muslimcountrybhumanitarianorganization,muslim,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 435 [] accept_population(muslimcountrybhumanitarianorganization,christian,n3).
% 2.10/2.24  ** KEPT (pick-wt=4): 436 [] accept_population(muslimcountrybhumanitarianorganization,atheist,n12).
% 2.10/2.24  ** KEPT (pick-wt=3): 437 [] accept_city(muslimcountrybhumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=4): 438 [] accept_population(countryafirstaidorganization,native,n85).
% 2.10/2.24  ** KEPT (pick-wt=4): 439 [] accept_population(countryafirstaidorganization,muslim,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 440 [] accept_population(countryafirstaidorganization,christian,n3).
% 2.10/2.24  ** KEPT (pick-wt=4): 441 [] accept_population(countryafirstaidorganization,atheist,n12).
% 2.10/2.24  ** KEPT (pick-wt=3): 442 [] accept_city(countryafirstaidorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 443 [] accept_leader(countryafirstaidorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 444 [] accept_population(countryafirstaidorganization,other,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 445 [] accept_population(countryafirstaidorganization,muslim,n65).
% 2.10/2.24  ** KEPT (pick-wt=4): 446 [] accept_population(countryafirstaidorganization,christian,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 447 [] accept_population(countryafirstaidorganization,atheist,n30).
% 2.10/2.24  ** KEPT (pick-wt=3): 448 [] accept_leader(countryafirstaidorganization,countryahumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 449 [] accept_city(countryafirstaidorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=3): 450 [] accept_leader(countryafirstaidorganization,countryacivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 451 [] accept_population(countryafirstaidorganization,other,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 452 [] accept_population(countryafirstaidorganization,christian,n20).
% 2.10/2.24  ** KEPT (pick-wt=4): 453 [] accept_population(countryafirstaidorganization,atheist,n78).
% 2.10/2.24  ** KEPT (pick-wt=3): 454 [] accept_city(countryafirstaidorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 455 [] accept_leader(countryafirstaidorganization,countrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 456 [] accept_leader(countrybhumanitarianorganization,countryacivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 457 [] accept_population(countrybhumanitarianorganization,native,n85).
% 2.10/2.24  ** KEPT (pick-wt=4): 458 [] accept_population(countrybhumanitarianorganization,muslim,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 459 [] accept_population(countrybhumanitarianorganization,christian,n3).
% 2.10/2.24  ** KEPT (pick-wt=4): 460 [] accept_population(countrybhumanitarianorganization,atheist,n12).
% 2.10/2.24  ** KEPT (pick-wt=3): 461 [] accept_city(countrybhumanitarianorganization,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 462 [] accept_leader(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 463 [] accept_population(countrybhumanitarianorganization,other,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 464 [] accept_population(countrybhumanitarianorganization,muslim,n65).
% 2.10/2.24  ** KEPT (pick-wt=4): 465 [] accept_population(countrybhumanitarianorganization,christian,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 466 [] accept_population(countrybhumanitarianorganization,atheist,n30).
% 2.10/2.24  ** KEPT (pick-wt=3): 467 [] accept_city(countrybhumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=3): 468 [] accept_leader(countrybhumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 469 [] accept_leader(countrybhumanitarianorganization,countryccivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 470 [] accept_leader(countrybhumanitarianorganization,countrybcivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 471 [] accept_leader(countrybhumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 472 [] accept_leader(countrybhumanitarianorganization,countrycmedicalorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 473 [] accept_population(countrybhumanitarianorganization,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 474 [] accept_population(countrybhumanitarianorganization,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 475 [] accept_population(countrybhumanitarianorganization,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 476 [] accept_population(countrybhumanitarianorganization,christian,n24).
% 2.10/2.24  ** KEPT (pick-wt=4): 477 [] accept_population(countrybhumanitarianorganization,atheist,n75).
% 2.10/2.24  ** KEPT (pick-wt=3): 478 [] accept_city(countrybhumanitarianorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 479 [] accept_leader(countrybhumanitarianorganization,sufferterragovernment).
% 2.10/2.24  ** KEPT (pick-wt=3): 480 [] accept_leader(sufferterragovernment,countryafirstaidorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 481 [] accept_population(sufferterragovernment,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 482 [] accept_population(sufferterragovernment,native,n85).
% 2.10/2.24  ** KEPT (pick-wt=4): 483 [] accept_population(sufferterragovernment,muslim,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 484 [] accept_population(sufferterragovernment,christian,n3).
% 2.10/2.24  ** KEPT (pick-wt=4): 485 [] accept_population(sufferterragovernment,atheist,n12).
% 2.10/2.24  ** KEPT (pick-wt=3): 486 [] accept_city(sufferterragovernment,coastvillage).
% 2.10/2.24  ** KEPT (pick-wt=3): 487 [] accept_leader(sufferterragovernment,christiancountrychumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 488 [] accept_population(sufferterragovernment,other,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 489 [] accept_population(sufferterragovernment,muslim,n65).
% 2.10/2.24  ** KEPT (pick-wt=4): 490 [] accept_population(sufferterragovernment,christian,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 491 [] accept_population(sufferterragovernment,atheist,n30).
% 2.10/2.24  ** KEPT (pick-wt=3): 492 [] accept_leader(sufferterragovernment,countryahumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 493 [] accept_city(sufferterragovernment,townc).
% 2.10/2.24  ** KEPT (pick-wt=3): 494 [] accept_leader(muslimcountrybhumanitarianorganization,countryccivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 495 [] accept_leader(muslimcountrybhumanitarianorganization,countrybcivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 496 [] accept_population(christiansufferterrahumanitarianorganization,other,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 497 [] accept_population(christiansufferterrahumanitarianorganization,muslim,n65).
% 2.10/2.24  ** KEPT (pick-wt=4): 498 [] accept_population(christiansufferterrahumanitarianorganization,christian,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 499 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n30).
% 2.10/2.24  ** KEPT (pick-wt=3): 500 [] accept_leader(christiansufferterrahumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 501 [] accept_city(christiansufferterrahumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=3): 502 [] accept_leader(christiansufferterrahumanitarianorganization,countryacivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 503 [] accept_number(christiansufferterrahumanitarianorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 504 [] accept_number(christiansufferterrahumanitarianorganization,n4).
% 2.10/2.24  ** KEPT (pick-wt=3): 505 [] accept_number(christiansufferterrahumanitarianorganization,n3).
% 2.10/2.24    Following clause subsumed by 209 during input processing: 0 [] accept_number(christiansufferterrahumanitarianorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 506 [] accept_number(christiansufferterrahumanitarianorganization,n1).
% 2.10/2.24    Following clause subsumed by 256 during input processing: 0 [] accept_number(christiansufferterrahumanitarianorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 507 [] accept_population(christiansufferterrahumanitarianorganization,other,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 508 [] accept_population(christiansufferterrahumanitarianorganization,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 509 [] accept_population(christiansufferterrahumanitarianorganization,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 510 [] accept_population(christiansufferterrahumanitarianorganization,christian,n20).
% 2.10/2.24  ** KEPT (pick-wt=4): 511 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n78).
% 2.10/2.24  ** KEPT (pick-wt=3): 512 [] accept_city(christiansufferterrahumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 513 [] accept_leader(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 514 [] accept_population(countryccivilorganization,other,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 515 [] accept_population(countryccivilorganization,muslim,n65).
% 2.10/2.24  ** KEPT (pick-wt=4): 516 [] accept_population(countryccivilorganization,christian,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 517 [] accept_population(countryccivilorganization,atheist,n30).
% 2.10/2.24  ** KEPT (pick-wt=3): 518 [] accept_city(countryccivilorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=3): 519 [] accept_leader(countryccivilorganization,countryahumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 520 [] accept_leader(countrycmedicalorganization,muslimcountrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 521 [] accept_population(countrycmedicalorganization,other,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 522 [] accept_population(countrycmedicalorganization,muslim,n65).
% 2.10/2.24  ** KEPT (pick-wt=4): 523 [] accept_population(countrycmedicalorganization,christian,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 524 [] accept_population(countrycmedicalorganization,atheist,n30).
% 2.10/2.24  ** KEPT (pick-wt=3): 525 [] accept_city(countrycmedicalorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=3): 526 [] accept_leader(countrycmedicalorganization,countryahumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 527 [] accept_population(countrycmedicalorganization,other,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 528 [] accept_population(countrycmedicalorganization,christian,n20).
% 2.10/2.24  ** KEPT (pick-wt=4): 529 [] accept_population(countrycmedicalorganization,atheist,n78).
% 2.10/2.24  ** KEPT (pick-wt=3): 530 [] accept_city(countrycmedicalorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 531 [] accept_leader(muslimcountrybhumanitarianorganization,countrycmedicalorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 532 [] accept_leader(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 533 [] accept_population(muslimcountrybhumanitarianorganization,other,n5).
% 2.10/2.24  ** KEPT (pick-wt=4): 534 [] accept_population(muslimcountrybhumanitarianorganization,muslim,n65).
% 2.10/2.24  ** KEPT (pick-wt=4): 535 [] accept_population(muslimcountrybhumanitarianorganization,christian,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 536 [] accept_population(muslimcountrybhumanitarianorganization,atheist,n30).
% 2.10/2.24  ** KEPT (pick-wt=3): 537 [] accept_city(muslimcountrybhumanitarianorganization,townc).
% 2.10/2.24  ** KEPT (pick-wt=3): 538 [] accept_leader(muslimcountrybhumanitarianorganization,countryahumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 539 [] accept_population(muslimcountrybhumanitarianorganization,other,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 540 [] accept_population(muslimcountrybhumanitarianorganization,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 541 [] accept_population(muslimcountrybhumanitarianorganization,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 542 [] accept_population(muslimcountrybhumanitarianorganization,christian,n20).
% 2.10/2.24  ** KEPT (pick-wt=4): 543 [] accept_population(muslimcountrybhumanitarianorganization,atheist,n78).
% 2.10/2.24  ** KEPT (pick-wt=3): 544 [] accept_leader(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 545 [] accept_city(muslimcountrybhumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 546 [] accept_leader(countryamedicalorganization,countryacivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 547 [] accept_population(countryamedicalorganization,other,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 548 [] accept_population(countryamedicalorganization,christian,n20).
% 2.10/2.24  ** KEPT (pick-wt=4): 549 [] accept_population(countryamedicalorganization,atheist,n78).
% 2.10/2.24  ** KEPT (pick-wt=3): 550 [] accept_city(countryamedicalorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 551 [] accept_leader(countryamedicalorganization,countrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 552 [] accept_number(countryamedicalorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 553 [] accept_number(countryamedicalorganization,n4).
% 2.10/2.24  ** KEPT (pick-wt=3): 554 [] accept_number(countryamedicalorganization,n3).
% 2.10/2.24  ** KEPT (pick-wt=3): 555 [] accept_number(countryamedicalorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 556 [] accept_number(countryamedicalorganization,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 557 [] accept_population(countryamedicalorganization,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 558 [] accept_population(countryamedicalorganization,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 559 [] accept_population(countryamedicalorganization,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 560 [] accept_population(countryamedicalorganization,christian,n24).
% 2.10/2.24  ** KEPT (pick-wt=4): 561 [] accept_population(countryamedicalorganization,atheist,n75).
% 2.10/2.24    Following clause subsumed by 271 during input processing: 0 [] accept_number(countryamedicalorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 562 [] accept_leader(countryamedicalorganization,sufferterragovernment).
% 2.10/2.24  ** KEPT (pick-wt=3): 563 [] accept_city(countryamedicalorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=4): 564 [] accept_population(countryacivilorganization,other,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 565 [] accept_population(countryacivilorganization,christian,n20).
% 2.10/2.24  ** KEPT (pick-wt=4): 566 [] accept_population(countryacivilorganization,atheist,n78).
% 2.10/2.24  ** KEPT (pick-wt=3): 567 [] accept_city(countryacivilorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 568 [] accept_leader(countryacivilorganization,countrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 569 [] accept_leader(countryahumanitarianorganization,countryacivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 570 [] accept_population(countryahumanitarianorganization,other,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 571 [] accept_population(countryahumanitarianorganization,christian,n20).
% 2.10/2.24  ** KEPT (pick-wt=4): 572 [] accept_population(countryahumanitarianorganization,atheist,n78).
% 2.10/2.24  ** KEPT (pick-wt=3): 573 [] accept_city(countryahumanitarianorganization,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 574 [] accept_leader(countryahumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.24    Following clause subsumed by 210 during input processing: 0 [] accept_number(countryahumanitarianorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 575 [] accept_number(countryahumanitarianorganization,n4).
% 2.10/2.24  ** KEPT (pick-wt=3): 576 [] accept_number(countryahumanitarianorganization,n3).
% 2.10/2.24    Following clause subsumed by 160 during input processing: 0 [] accept_number(countryahumanitarianorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 577 [] accept_number(countryahumanitarianorganization,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 578 [] accept_population(countryahumanitarianorganization,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 579 [] accept_population(countryahumanitarianorganization,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 580 [] accept_population(countryahumanitarianorganization,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 581 [] accept_population(countryahumanitarianorganization,christian,n24).
% 2.10/2.24  ** KEPT (pick-wt=4): 582 [] accept_population(countryahumanitarianorganization,atheist,n75).
% 2.10/2.24    Following clause subsumed by 280 during input processing: 0 [] accept_number(countryahumanitarianorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 583 [] accept_leader(countryahumanitarianorganization,sufferterragovernment).
% 2.10/2.24  ** KEPT (pick-wt=3): 584 [] accept_city(countryahumanitarianorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 585 [] accept_leader(sufferterragovernment,countryacivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 586 [] accept_population(sufferterragovernment,other,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 587 [] accept_population(sufferterragovernment,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 588 [] accept_population(sufferterragovernment,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 589 [] accept_population(sufferterragovernment,christian,n20).
% 2.10/2.24  ** KEPT (pick-wt=4): 590 [] accept_population(sufferterragovernment,atheist,n78).
% 2.10/2.24  ** KEPT (pick-wt=3): 591 [] accept_city(sufferterragovernment,cityb).
% 2.10/2.24  ** KEPT (pick-wt=3): 592 [] accept_leader(sufferterragovernment,countrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 593 [] accept_population(countryccivilorganization,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 594 [] accept_population(countryccivilorganization,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 595 [] accept_population(countryccivilorganization,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 596 [] accept_population(countryccivilorganization,christian,n24).
% 2.10/2.24  ** KEPT (pick-wt=4): 597 [] accept_population(countryccivilorganization,atheist,n75).
% 2.10/2.24  ** KEPT (pick-wt=3): 598 [] accept_city(countryccivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 599 [] accept_leader(countryccivilorganization,sufferterragovernment).
% 2.10/2.24  ** KEPT (pick-wt=3): 600 [] accept_number(countryafirstaidorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 601 [] accept_number(countryafirstaidorganization,n4).
% 2.10/2.24  ** KEPT (pick-wt=3): 602 [] accept_number(countryafirstaidorganization,n3).
% 2.10/2.24    Following clause subsumed by 188 during input processing: 0 [] accept_number(countryafirstaidorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 603 [] accept_number(countryafirstaidorganization,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 604 [] accept_population(countryafirstaidorganization,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 605 [] accept_population(countryafirstaidorganization,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 606 [] accept_population(countryafirstaidorganization,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 607 [] accept_population(countryafirstaidorganization,christian,n24).
% 2.10/2.24  ** KEPT (pick-wt=4): 608 [] accept_population(countryafirstaidorganization,atheist,n75).
% 2.10/2.24    Following clause subsumed by 263 during input processing: 0 [] accept_number(countryafirstaidorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 609 [] accept_leader(countryafirstaidorganization,sufferterragovernment).
% 2.10/2.24  ** KEPT (pick-wt=3): 610 [] accept_city(countryafirstaidorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 611 [] accept_leader(countrycmedicalorganization,countryccivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 612 [] accept_leader(countrycmedicalorganization,countrybcivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 613 [] accept_leader(countrycmedicalorganization,countrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 614 [] accept_leader(countrycmedicalorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 615 [] accept_population(countrycmedicalorganization,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 616 [] accept_population(countrycmedicalorganization,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 617 [] accept_population(countrycmedicalorganization,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 618 [] accept_population(countrycmedicalorganization,christian,n24).
% 2.10/2.24  ** KEPT (pick-wt=4): 619 [] accept_population(countrycmedicalorganization,atheist,n75).
% 2.10/2.24  ** KEPT (pick-wt=3): 620 [] accept_city(countrycmedicalorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 621 [] accept_leader(countrycmedicalorganization,sufferterragovernment).
% 2.10/2.24  ** KEPT (pick-wt=3): 622 [] accept_leader(countrybcivilorganization,countryccivilorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 623 [] accept_leader(countrybcivilorganization,countrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 624 [] accept_leader(countrybcivilorganization,christiancountrychumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 625 [] accept_leader(countrybcivilorganization,countrycmedicalorganization).
% 2.10/2.24  ** KEPT (pick-wt=4): 626 [] accept_population(countrybcivilorganization,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 627 [] accept_population(countrybcivilorganization,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 628 [] accept_population(countrybcivilorganization,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 629 [] accept_population(countrybcivilorganization,christian,n24).
% 2.10/2.24  ** KEPT (pick-wt=4): 630 [] accept_population(countrybcivilorganization,atheist,n75).
% 2.10/2.24  ** KEPT (pick-wt=3): 631 [] accept_city(countrybcivilorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 632 [] accept_leader(countrybcivilorganization,sufferterragovernment).
% 2.10/2.24    Following clause subsumed by 317 during input processing: 0 [] accept_number(sufferterragovernment,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 633 [] accept_number(sufferterragovernment,n4).
% 2.10/2.24  ** KEPT (pick-wt=3): 634 [] accept_number(sufferterragovernment,n3).
% 2.10/2.24    Following clause subsumed by 312 during input processing: 0 [] accept_number(sufferterragovernment,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 635 [] accept_number(sufferterragovernment,n1).
% 2.10/2.24    Following clause subsumed by 319 during input processing: 0 [] accept_number(sufferterragovernment,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 636 [] accept_number(countryacivilorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 637 [] accept_number(countryacivilorganization,n4).
% 2.10/2.24  ** KEPT (pick-wt=3): 638 [] accept_number(countryacivilorganization,n3).
% 2.10/2.24    Following clause subsumed by 182 during input processing: 0 [] accept_number(countryacivilorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 639 [] accept_number(countryacivilorganization,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 640 [] accept_population(countryacivilorganization,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 641 [] accept_population(countryacivilorganization,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 642 [] accept_population(countryacivilorganization,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 643 [] accept_population(countryacivilorganization,christian,n24).
% 2.10/2.24  ** KEPT (pick-wt=4): 644 [] accept_population(countryacivilorganization,atheist,n75).
% 2.10/2.24    Following clause subsumed by 282 during input processing: 0 [] accept_number(countryacivilorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 645 [] accept_leader(countryacivilorganization,sufferterragovernment).
% 2.10/2.24  ** KEPT (pick-wt=3): 646 [] accept_city(countryacivilorganization,towna).
% 2.10/2.24    Following clause subsumed by 314 during input processing: 0 [] accept_number(countryccivilorganization,n3).
% 2.10/2.24    Following clause subsumed by 313 during input processing: 0 [] accept_number(countryccivilorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 647 [] accept_number(countryccivilorganization,n1).
% 2.10/2.24    Following clause subsumed by 330 during input processing: 0 [] accept_number(countryccivilorganization,n4).
% 2.10/2.24  ** KEPT (pick-wt=3): 648 [] accept_leader(christiancountrychumanitarianorganization,countryccivilorganization).
% 2.10/2.24    Following clause subsumed by 168 during input processing: 0 [] accept_number(countrybcivilorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 649 [] accept_number(countrybcivilorganization,n4).
% 2.10/2.24    Following clause subsumed by 305 during input processing: 0 [] accept_number(countrybcivilorganization,n3).
% 2.10/2.24    Following clause subsumed by 304 during input processing: 0 [] accept_number(countrybcivilorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 650 [] accept_number(countrybcivilorganization,n1).
% 2.10/2.24    Following clause subsumed by 332 during input processing: 0 [] accept_number(countrybcivilorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 651 [] accept_leader(christiancountrychumanitarianorganization,countrybcivilorganization).
% 2.10/2.24    Following clause subsumed by 285 during input processing: 0 [] accept_number(countrybhumanitarianorganization,n5).
% 2.10/2.24    Following clause subsumed by 149 during input processing: 0 [] accept_number(countrybhumanitarianorganization,n4).
% 2.10/2.24  ** KEPT (pick-wt=3): 652 [] accept_number(countrybhumanitarianorganization,n3).
% 2.10/2.24    Following clause subsumed by 298 during input processing: 0 [] accept_number(countrybhumanitarianorganization,n2).
% 2.10/2.24    Following clause subsumed by 153 during input processing: 0 [] accept_number(countrybhumanitarianorganization,n1).
% 2.10/2.24    Following clause subsumed by 334 during input processing: 0 [] accept_number(countrybhumanitarianorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 653 [] accept_leader(christiancountrychumanitarianorganization,countrybhumanitarianorganization).
% 2.10/2.24  ** KEPT (pick-wt=3): 654 [] accept_leader(christiancountrychumanitarianorganization,countrycmedicalorganization).
% 2.10/2.24    Following clause subsumed by 194 during input processing: 0 [] accept_number(christiancountrychumanitarianorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 655 [] accept_number(christiancountrychumanitarianorganization,n4).
% 2.10/2.24    Following clause subsumed by 329 during input processing: 0 [] accept_number(christiancountrychumanitarianorganization,n3).
% 2.10/2.24    Following clause subsumed by 293 during input processing: 0 [] accept_number(christiancountrychumanitarianorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 656 [] accept_number(christiancountrychumanitarianorganization,n1).
% 2.10/2.24    Following clause subsumed by 337 during input processing: 0 [] accept_number(christiancountrychumanitarianorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=4): 657 [] accept_population(christiancountrychumanitarianorganization,other,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 658 [] accept_population(christiancountrychumanitarianorganization,native,n0).
% 2.10/2.24  ** KEPT (pick-wt=4): 659 [] accept_population(christiancountrychumanitarianorganization,muslim,n1).
% 2.10/2.24  ** KEPT (pick-wt=4): 660 [] accept_population(christiancountrychumanitarianorganization,christian,n24).
% 2.10/2.24  ** KEPT (pick-wt=4): 661 [] accept_population(christiancountrychumanitarianorganization,atheist,n75).
% 2.10/2.24  ** KEPT (pick-wt=3): 662 [] accept_city(christiancountrychumanitarianorganization,towna).
% 2.10/2.24  ** KEPT (pick-wt=3): 663 [] accept_leader(christiancountrychumanitarianorganization,sufferterragovernment).
% 2.10/2.24    Following clause subsumed by 177 during input processing: 0 [] accept_number(countrycmedicalorganization,n5).
% 2.10/2.24    Following clause subsumed by 175 during input processing: 0 [] accept_number(countrycmedicalorganization,n4).
% 2.10/2.24    Following clause subsumed by 322 during input processing: 0 [] accept_number(countrycmedicalorganization,n3).
% 2.10/2.24    Following clause subsumed by 321 during input processing: 0 [] accept_number(countrycmedicalorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 664 [] accept_number(countrycmedicalorganization,n1).
% 2.10/2.24    Following clause subsumed by 340 during input processing: 0 [] accept_number(countrycmedicalorganization,n6).
% 2.10/2.24  ** KEPT (pick-wt=3): 665 [] accept_number(muslimcountrybhumanitarianorganization,n5).
% 2.10/2.24  ** KEPT (pick-wt=3): 666 [] accept_number(muslimcountrybhumanitarianorganization,n4).
% 2.10/2.24    Following clause subsumed by 219 during input processing: 0 [] accept_number(muslimcountrybhumanitarianorganization,n3).
% 2.10/2.24    Following clause subsumed by 288 during input processing: 0 [] accept_number(muslimcountrybhumanitarianorganization,n2).
% 2.10/2.24  ** KEPT (pick-wt=3): 667 [] accept_number(muslimcountrybhumanitarianorganization,n1).
% 2.10/2.24    Following clause subsumed by 341 during input processing: 0 [] accept_number(muslimcountrybhumanitarianorganization,n6).
% 2.19/2.35  ** KEPT (pick-wt=3): 668 [] accept_leader(muslimcountrybhumanitarianorganization,sufferterragovernment).
% 2.19/2.35  
% 2.19/2.35  ======= end of input processing =======
% 2.19/2.35  
% 2.19/2.35  =========== start of search ===========
% 2.19/2.35  
% 2.19/2.35  Search stopped because sos empty.
% 2.19/2.35  
% 2.19/2.35  
% 2.19/2.35  Search stopped because sos empty.
% 2.19/2.35  
% 2.19/2.35  ============ end of search ============
% 2.19/2.35  
% 2.19/2.35  -------------- statistics -------------
% 2.19/2.35  clauses given               2073
% 2.19/2.35  clauses generated           6936
% 2.19/2.35  clauses kept                2207
% 2.19/2.35  clauses forward subsumed    5434
% 2.19/2.35  clauses back subsumed          0
% 2.19/2.35  Kbytes malloced             1953
% 2.19/2.35  
% 2.19/2.35  ----------- times (seconds) -----------
% 2.19/2.35  user CPU time          0.12          (0 hr, 0 min, 0 sec)
% 2.19/2.35  system CPU time        0.01          (0 hr, 0 min, 0 sec)
% 2.19/2.35  wall-clock time        1             (0 hr, 0 min, 1 sec)
% 2.19/2.35  
% 2.19/2.35  Process 11482 finished Wed Jul 27 02:49:22 2022
% 2.19/2.35  Otter interrupted
% 2.19/2.35  PROOF NOT FOUND
%------------------------------------------------------------------------------