%------------------------------------------------------------------------------
% File     : Otter---3.3
% Problem  : AGT001+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : otter-tptp-script %s

% Computer : n018.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:41 EDT 2022

% Result   : Theorem 3.04s 3.11s
% Output   : Refutation 3.04s
% Verified : 
% SZS Type : Refutation
%            Derivation depth      :    1
%            Number of leaves      :    2
% Syntax   : Number of clauses     :    3 (   3 unt;   0 nHn;   3 RR)
%            Number of literals    :    3 (   0 equ;   1 neg)
%            Maximal clause size   :    1 (   1 avg)
%            Maximal term depth    :    1 (   1 avg)
%            Number of predicates  :    2 (   1 usr;   1 prp; 0-4 aty)
%            Number of functors    :    4 (   4 usr;   4 con; 0-0 aty)
%            Number of variables   :    0 (   0 sgn)

% Comments : 
%------------------------------------------------------------------------------
cnf(150,axiom,
    ~ accept_team(countryamedicalorganization,countryacivilorganization,towna,n6),
    file('AGT001+2.p',unknown),
    [] ).

cnf(179,axiom,
    accept_team(countryamedicalorganization,countryacivilorganization,towna,n6),
    file('AGT001+2.p',unknown),
    [] ).

cnf(180,plain,
    $false,
    inference(binary,[status(thm)],[179,150]),
    [iquote('binary,179.1,150.1')] ).

%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12  % Problem  : AGT001+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.10/0.13  % Command  : otter-tptp-script %s
% 0.12/0.34  % Computer : n018.cluster.edu
% 0.12/0.34  % Model    : x86_64 x86_64
% 0.12/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34  % Memory   : 8042.1875MB
% 0.12/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 300
% 0.12/0.34  % DateTime : Wed Jul 27 02:53:01 EDT 2022
% 0.12/0.34  % CPUTime  : 
% 3.04/3.10  ----- Otter 3.3f, August 2004 -----
% 3.04/3.10  The process was started by sandbox2 on n018.cluster.edu,
% 3.04/3.10  Wed Jul 27 02:53:01 2022
% 3.04/3.10  The command was "./otter".  The process ID is 12963.
% 3.04/3.10  
% 3.04/3.10  set(prolog_style_variables).
% 3.04/3.10  set(auto).
% 3.04/3.10     dependent: set(auto1).
% 3.04/3.10     dependent: set(process_input).
% 3.04/3.10     dependent: clear(print_kept).
% 3.04/3.10     dependent: clear(print_new_demod).
% 3.04/3.10     dependent: clear(print_back_demod).
% 3.04/3.10     dependent: clear(print_back_sub).
% 3.04/3.10     dependent: set(control_memory).
% 3.04/3.10     dependent: assign(max_mem, 12000).
% 3.04/3.10     dependent: assign(pick_given_ratio, 4).
% 3.04/3.10     dependent: assign(stats_level, 1).
% 3.04/3.10     dependent: assign(max_seconds, 10800).
% 3.04/3.10  clear(print_given).
% 3.04/3.10  
% 3.04/3.10  formula_list(usable).
% 3.04/3.10  all A (A=A).
% 3.04/3.10  all A C N L (accept_team(A,L,C,N)<->accept_city(A,C)&accept_leader(A,L)&accept_number(A,N)).
% 3.04/3.10  all A N M (accept_number(A,N)&less(M,N)->accept_number(A,M)).
% 3.04/3.10  all A N M P (accept_population(A,P,N)&less(M,N)->accept_population(A,P,M)).
% 3.04/3.10  all A L C (the_agent_in_all_proposed_teams(A,L,C)->accept_leader(A,L)&accept_city(A,C)).
% 3.04/3.10  all A L C (any_agent_in_all_proposed_teams(A,L,C)->accept_leader(A,L)).
% 3.04/3.10  all A L C (the_agent_not_in_any_proposed_teams(A,L,C)-> -(accept_city(A,C)&accept_leader(A,L))).
% 3.04/3.10  all A N (min_number_of_proposed_agents(A,N)->accept_number(A,N)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  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)).
% 3.04/3.10  accept_team(countryahumanitarianorganization,countryacivilorganization,cityb,n6).
% 3.04/3.10  accept_team(countryahumanitarianorganization,countryacivilorganization,towna,n6).
% 3.04/3.10  accept_team(countryahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 3.04/3.10  accept_team(countryahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  any_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n2).
% 3.04/3.10  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n4).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n5).
% 3.04/3.10  the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.10  accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.10  accept_team(countryamedicalorganization,countryacivilorganization,cityb,n6).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 3.04/3.10  accept_team(countryafirstaidorganization,countryacivilorganization,cityb,n6).
% 3.04/3.10  accept_number(countrybhumanitarianorganization,n4).
% 3.04/3.10  accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n4).
% 3.04/3.10  accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,cityb,n6).
% 3.04/3.10  accept_team(sufferterragovernment,countryacivilorganization,cityb,n6).
% 3.04/3.10  accept_number(countrybhumanitarianorganization,n1).
% 3.04/3.10  the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.10  accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,towna,n6).
% 3.04/3.10  accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 3.04/3.10  accept_number(countryahumanitarianorganization,n2).
% 3.04/3.10  -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n2).
% 3.04/3.10  -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n2).
% 3.04/3.10  -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n2).
% 3.04/3.10  -accept_team(countryamedicalorganization,christiansufferterrahumanitarianorganization,coastvillage,n2).
% 3.04/3.10  -accept_team(countryamedicalorganization,sufferterragovernment,coastvillage,n2).
% 3.04/3.10  -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n6).
% 3.04/3.10  -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n6).
% 3.04/3.10  -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.10  the_agent_not_in_any_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  any_agent_in_all_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  accept_team(countryccivilorganization,countrycmedicalorganization,towna,n4).
% 3.04/3.10  -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n5).
% 3.04/3.10  the_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 3.04/3.10  accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n4).
% 3.04/3.10  accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n5).
% 3.04/3.10  accept_number(countrybcivilorganization,n5).
% 3.04/3.10  the_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 3.04/3.10  accept_team(sufferterragovernment,countryacivilorganization,towna,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 3.04/3.10  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.10  accept_number(countrycmedicalorganization,n4).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n4).
% 3.04/3.10  accept_number(countrycmedicalorganization,n5).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n5).
% 3.04/3.10  the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.10  accept_team(countryafirstaidorganization,countryacivilorganization,towna,n6).
% 3.04/3.10  accept_number(countryacivilorganization,n2).
% 3.04/3.10  accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n5).
% 3.04/3.10  accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n6).
% 3.04/3.10  accept_team(countryacivilorganization,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  any_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  accept_number(countryafirstaidorganization,n2).
% 3.04/3.10  accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n5).
% 3.04/3.10  accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n6).
% 3.04/3.10  accept_team(countryafirstaidorganization,countryacivilorganization,coastvillage,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  any_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.10  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.10  accept_number(christiancountrychumanitarianorganization,n5).
% 3.04/3.10  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.10  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.10  accept_team(countrybcivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(countrybcivilorganization,countrybhumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(countrybcivilorganization,countrycmedicalorganization,townc,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  any_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n5).
% 3.04/3.10  accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n6).
% 3.04/3.10  accept_team(sufferterragovernment,countryacivilorganization,coastvillage,n6).
% 3.04/3.10  accept_team(sufferterragovernment,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  any_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  accept_number(christiansufferterrahumanitarianorganization,n2).
% 3.04/3.10  accept_number(countryahumanitarianorganization,n5).
% 3.04/3.10  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n5).
% 3.04/3.10  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n6).
% 3.04/3.10  accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 3.04/3.10  accept_team(christiansufferterrahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.10  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.10  accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.10  accept_number(muslimcountrybhumanitarianorganization,n3).
% 3.04/3.10  accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,townc,n4).
% 3.04/3.10  accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 3.04/3.10  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  accept_team(countryacivilorganization,countryahumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(countryafirstaidorganization,countryahumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countryccivilorganization,townc,n4).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,townc,n6).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,townc,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  -accept_team(countryccivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 3.04/3.10  -accept_team(countryccivilorganization,countrybcivilorganization,townc,n6).
% 3.04/3.10  -accept_team(countryccivilorganization,countrybhumanitarianorganization,townc,n6).
% 3.04/3.10  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 3.04/3.10  -accept_team(countryccivilorganization,countrycmedicalorganization,townc,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  any_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n2).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(sufferterragovernment,countryahumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(countryamedicalorganization,countryahumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(countrycmedicalorganization,countryccivilorganization,townc,n4).
% 3.04/3.10  accept_team(countrycmedicalorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(countrycmedicalorganization,countrybcivilorganization,townc,n6).
% 3.04/3.10  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,townc,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  any_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.10  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,cityb,n6).
% 3.04/3.10  accept_number(christiansufferterrahumanitarianorganization,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.10  any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.10  -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n5).
% 3.04/3.10  -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n6).
% 3.04/3.10  accept_team(sufferterragovernment,countryahumanitarianorganization,cityb,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 3.04/3.10  any_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 3.04/3.10  accept_team(countryafirstaidorganization,countryahumanitarianorganization,cityb,n6).
% 3.04/3.10  accept_number(countryafirstaidorganization,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.10  any_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.10  accept_team(countryafirstaidorganization,sufferterragovernment,towna,n5).
% 3.04/3.10  accept_team(countryafirstaidorganization,sufferterragovernment,towna,n6).
% 3.04/3.10  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n5).
% 3.04/3.10  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n6).
% 3.04/3.10  accept_team(countryamedicalorganization,countryahumanitarianorganization,cityb,n6).
% 3.04/3.10  accept_number(countryamedicalorganization,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.10  any_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.10  accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n5).
% 3.04/3.10  accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n6).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.10  any_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.10  accept_number(countryahumanitarianorganization,n6).
% 3.04/3.10  accept_team(countryacivilorganization,countryahumanitarianorganization,cityb,n6).
% 3.04/3.10  accept_number(countryacivilorganization,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.10  any_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.10  accept_number(countrybhumanitarianorganization,n5).
% 3.04/3.10  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 3.04/3.10  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n2).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n2).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n2).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n2).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n2).
% 3.04/3.10  accept_number(muslimcountrybhumanitarianorganization,n2).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n4).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.10  accept_team(countryamedicalorganization,sufferterragovernment,towna,n5).
% 3.04/3.10  accept_team(countryamedicalorganization,sufferterragovernment,towna,n6).
% 3.04/3.10  accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n5).
% 3.04/3.10  accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n6).
% 3.04/3.10  accept_number(christiancountrychumanitarianorganization,n2).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 3.04/3.10  accept_number(countrybhumanitarianorganization,n2).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.10  accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.10  accept_number(countrybcivilorganization,n2).
% 3.04/3.10  accept_number(countrybcivilorganization,n3).
% 3.04/3.10  accept_team(countrybcivilorganization,countryccivilorganization,towna,n4).
% 3.04/3.10  accept_team(countrybcivilorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.10  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.10  accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 3.04/3.10  accept_number(sufferterragovernment,n2).
% 3.04/3.10  -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n2).
% 3.04/3.10  -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n6).
% 3.04/3.10  accept_number(countryccivilorganization,n2).
% 3.04/3.10  accept_number(countryccivilorganization,n3).
% 3.04/3.10  -accept_team(countryccivilorganization,countrybcivilorganization,towna,n6).
% 3.04/3.10  -accept_team(countryccivilorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.10  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.10  -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 3.04/3.10  accept_number(sufferterragovernment,n5).
% 3.04/3.10  accept_team(countryacivilorganization,sufferterragovernment,towna,n5).
% 3.04/3.10  accept_number(sufferterragovernment,n6).
% 3.04/3.10  accept_team(countryacivilorganization,sufferterragovernment,towna,n6).
% 3.04/3.10  accept_number(countrycmedicalorganization,n2).
% 3.04/3.10  accept_number(countrycmedicalorganization,n3).
% 3.04/3.10  accept_team(countrycmedicalorganization,countryccivilorganization,towna,n4).
% 3.04/3.10  accept_team(countrycmedicalorganization,countrybcivilorganization,towna,n6).
% 3.04/3.10  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.10  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 3.04/3.10  accept_number(christiancountrychumanitarianorganization,n3).
% 3.04/3.10  accept_number(countryccivilorganization,n4).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countryccivilorganization,towna,n4).
% 3.04/3.10  accept_number(countrybcivilorganization,n6).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,towna,n6).
% 3.04/3.10  accept_number(countrybhumanitarianorganization,n6).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.10  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.10  accept_number(christiancountrychumanitarianorganization,n6).
% 3.04/3.10  the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.10  accept_number(countrycmedicalorganization,n6).
% 3.04/3.10  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.10  accept_number(muslimcountrybhumanitarianorganization,n6).
% 3.04/3.10  the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.10  any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.10  accept_leader(christiancountrychumanitarianorganization,countryacivilorganization).
% 3.04/3.10  accept_leader(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,other,n5).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,muslim,n65).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,christian,n0).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,atheist,n30).
% 3.04/3.10  accept_city(christiancountrychumanitarianorganization,townc).
% 3.04/3.10  accept_leader(christiancountrychumanitarianorganization,countryahumanitarianorganization).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,other,n1).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,christian,n20).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,atheist,n78).
% 3.04/3.10  accept_city(christiancountrychumanitarianorganization,cityb).
% 3.04/3.10  -accept_city(countryamedicalorganization,coastvillage).
% 3.04/3.10  accept_leader(countryamedicalorganization,christiancountrychumanitarianorganization).
% 3.04/3.10  accept_population(countryamedicalorganization,other,n5).
% 3.04/3.10  accept_population(countryamedicalorganization,muslim,n65).
% 3.04/3.10  accept_population(countryamedicalorganization,christian,n0).
% 3.04/3.10  accept_population(countryamedicalorganization,atheist,n30).
% 3.04/3.10  accept_leader(countryamedicalorganization,countryahumanitarianorganization).
% 3.04/3.10  accept_city(countryamedicalorganization,townc).
% 3.04/3.10  accept_leader(countryahumanitarianorganization,countryamedicalorganization).
% 3.04/3.10  accept_leader(countryahumanitarianorganization,countryafirstaidorganization).
% 3.04/3.10  accept_population(countryahumanitarianorganization,native,n85).
% 3.04/3.10  accept_population(countryahumanitarianorganization,muslim,n0).
% 3.04/3.10  accept_population(countryahumanitarianorganization,christian,n3).
% 3.04/3.10  accept_population(countryahumanitarianorganization,atheist,n12).
% 3.04/3.10  accept_city(countryahumanitarianorganization,coastvillage).
% 3.04/3.10  accept_leader(countryahumanitarianorganization,christiancountrychumanitarianorganization).
% 3.04/3.10  accept_leader(countryafirstaidorganization,countryamedicalorganization).
% 3.04/3.10  accept_leader(christiansufferterrahumanitarianorganization,countryamedicalorganization).
% 3.04/3.10  accept_leader(countrycmedicalorganization,countryacivilorganization).
% 3.04/3.10  accept_population(countrycmedicalorganization,native,n85).
% 3.04/3.10  accept_population(countrycmedicalorganization,muslim,n0).
% 3.04/3.10  accept_population(countrycmedicalorganization,christian,n3).
% 3.04/3.10  accept_population(countrycmedicalorganization,atheist,n12).
% 3.04/3.10  accept_city(countrycmedicalorganization,coastvillage).
% 3.04/3.10  accept_leader(countrybcivilorganization,countryacivilorganization).
% 3.04/3.10  accept_population(countrybcivilorganization,native,n85).
% 3.04/3.10  accept_population(countrybcivilorganization,muslim,n0).
% 3.04/3.10  accept_population(countrybcivilorganization,christian,n3).
% 3.04/3.10  accept_population(countrybcivilorganization,atheist,n12).
% 3.04/3.10  accept_city(countrybcivilorganization,coastvillage).
% 3.04/3.10  accept_leader(countrybcivilorganization,muslimcountrybhumanitarianorganization).
% 3.04/3.10  accept_population(countrybcivilorganization,other,n5).
% 3.04/3.10  accept_population(countrybcivilorganization,muslim,n65).
% 3.04/3.10  accept_population(countrybcivilorganization,christian,n0).
% 3.04/3.10  accept_population(countrybcivilorganization,atheist,n30).
% 3.04/3.10  accept_city(countrybcivilorganization,townc).
% 3.04/3.10  accept_leader(countrybcivilorganization,countryahumanitarianorganization).
% 3.04/3.10  accept_population(countrybcivilorganization,other,n1).
% 3.04/3.10  accept_population(countrybcivilorganization,christian,n20).
% 3.04/3.10  accept_population(countrybcivilorganization,atheist,n78).
% 3.04/3.10  accept_city(countrybcivilorganization,cityb).
% 3.04/3.10  accept_leader(sufferterragovernment,countryamedicalorganization).
% 3.04/3.10  accept_population(sufferterragovernment,christian,n24).
% 3.04/3.10  accept_population(sufferterragovernment,atheist,n75).
% 3.04/3.10  accept_city(sufferterragovernment,towna).
% 3.04/3.10  -accept_number(countryccivilorganization,n5).
% 3.04/3.10  accept_population(countryccivilorganization,other,n1).
% 3.04/3.10  accept_population(countryccivilorganization,christian,n20).
% 3.04/3.10  accept_population(countryccivilorganization,atheist,n78).
% 3.04/3.10  -accept_number(countryccivilorganization,n6).
% 3.04/3.10  accept_leader(countryccivilorganization,countrybhumanitarianorganization).
% 3.04/3.10  accept_city(countryccivilorganization,cityb).
% 3.04/3.10  accept_leader(countryccivilorganization,countryacivilorganization).
% 3.04/3.10  accept_leader(countryacivilorganization,countryamedicalorganization).
% 3.04/3.10  accept_leader(countryacivilorganization,countryafirstaidorganization).
% 3.04/3.10  accept_population(countryacivilorganization,native,n85).
% 3.04/3.10  accept_population(countryacivilorganization,muslim,n0).
% 3.04/3.10  accept_population(countryacivilorganization,christian,n3).
% 3.04/3.10  accept_population(countryacivilorganization,atheist,n12).
% 3.04/3.10  accept_city(countryacivilorganization,coastvillage).
% 3.04/3.10  accept_leader(countryacivilorganization,christiancountrychumanitarianorganization).
% 3.04/3.10  accept_population(countryacivilorganization,other,n5).
% 3.04/3.10  accept_population(countryacivilorganization,muslim,n65).
% 3.04/3.10  accept_population(countryacivilorganization,christian,n0).
% 3.04/3.10  accept_population(countryacivilorganization,atheist,n30).
% 3.04/3.10  accept_leader(countryacivilorganization,countryahumanitarianorganization).
% 3.04/3.10  accept_city(countryacivilorganization,townc).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,christian,n24).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,atheist,n75).
% 3.04/3.10  -accept_leader(christiansufferterrahumanitarianorganization,sufferterragovernment).
% 3.04/3.10  accept_city(christiansufferterrahumanitarianorganization,towna).
% 3.04/3.10  accept_leader(christiansufferterrahumanitarianorganization,countryafirstaidorganization).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,other,n0).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,native,n85).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,muslim,n0).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,christian,n3).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,atheist,n12).
% 3.04/3.10  accept_city(christiansufferterrahumanitarianorganization,coastvillage).
% 3.04/3.10  accept_leader(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization).
% 3.04/3.10  accept_leader(muslimcountrybhumanitarianorganization,countryacivilorganization).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,other,n0).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,native,n85).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,muslim,n0).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,christian,n3).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,atheist,n12).
% 3.04/3.10  accept_city(muslimcountrybhumanitarianorganization,coastvillage).
% 3.04/3.10  accept_population(countryafirstaidorganization,native,n85).
% 3.04/3.10  accept_population(countryafirstaidorganization,muslim,n0).
% 3.04/3.10  accept_population(countryafirstaidorganization,christian,n3).
% 3.04/3.10  accept_population(countryafirstaidorganization,atheist,n12).
% 3.04/3.10  accept_city(countryafirstaidorganization,coastvillage).
% 3.04/3.10  accept_leader(countryafirstaidorganization,christiancountrychumanitarianorganization).
% 3.04/3.10  accept_population(countryafirstaidorganization,other,n5).
% 3.04/3.10  accept_population(countryafirstaidorganization,muslim,n65).
% 3.04/3.10  accept_population(countryafirstaidorganization,christian,n0).
% 3.04/3.10  accept_population(countryafirstaidorganization,atheist,n30).
% 3.04/3.10  accept_leader(countryafirstaidorganization,countryahumanitarianorganization).
% 3.04/3.10  accept_city(countryafirstaidorganization,townc).
% 3.04/3.10  accept_leader(countryafirstaidorganization,countryacivilorganization).
% 3.04/3.10  accept_population(countryafirstaidorganization,other,n1).
% 3.04/3.10  accept_population(countryafirstaidorganization,christian,n20).
% 3.04/3.10  accept_population(countryafirstaidorganization,atheist,n78).
% 3.04/3.10  accept_city(countryafirstaidorganization,cityb).
% 3.04/3.10  accept_leader(countryafirstaidorganization,countrybhumanitarianorganization).
% 3.04/3.10  accept_leader(countrybhumanitarianorganization,countryacivilorganization).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,native,n85).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,muslim,n0).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,christian,n3).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,atheist,n12).
% 3.04/3.10  accept_city(countrybhumanitarianorganization,coastvillage).
% 3.04/3.10  accept_leader(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,other,n5).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,muslim,n65).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,christian,n0).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,atheist,n30).
% 3.04/3.10  accept_city(countrybhumanitarianorganization,townc).
% 3.04/3.10  accept_leader(countrybhumanitarianorganization,countryahumanitarianorganization).
% 3.04/3.10  accept_leader(countrybhumanitarianorganization,countryccivilorganization).
% 3.04/3.10  accept_leader(countrybhumanitarianorganization,countrybcivilorganization).
% 3.04/3.10  accept_leader(countrybhumanitarianorganization,christiancountrychumanitarianorganization).
% 3.04/3.10  accept_leader(countrybhumanitarianorganization,countrycmedicalorganization).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,other,n0).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,native,n0).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,muslim,n1).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,christian,n24).
% 3.04/3.10  accept_population(countrybhumanitarianorganization,atheist,n75).
% 3.04/3.10  accept_city(countrybhumanitarianorganization,towna).
% 3.04/3.10  accept_leader(countrybhumanitarianorganization,sufferterragovernment).
% 3.04/3.10  accept_leader(sufferterragovernment,countryafirstaidorganization).
% 3.04/3.10  accept_population(sufferterragovernment,other,n0).
% 3.04/3.10  accept_population(sufferterragovernment,native,n85).
% 3.04/3.10  accept_population(sufferterragovernment,muslim,n0).
% 3.04/3.10  accept_population(sufferterragovernment,christian,n3).
% 3.04/3.10  accept_population(sufferterragovernment,atheist,n12).
% 3.04/3.10  accept_city(sufferterragovernment,coastvillage).
% 3.04/3.10  accept_leader(sufferterragovernment,christiancountrychumanitarianorganization).
% 3.04/3.10  accept_population(sufferterragovernment,other,n5).
% 3.04/3.10  accept_population(sufferterragovernment,muslim,n65).
% 3.04/3.10  accept_population(sufferterragovernment,christian,n0).
% 3.04/3.10  accept_population(sufferterragovernment,atheist,n30).
% 3.04/3.10  accept_leader(sufferterragovernment,countryahumanitarianorganization).
% 3.04/3.10  accept_city(sufferterragovernment,townc).
% 3.04/3.10  accept_leader(muslimcountrybhumanitarianorganization,countryccivilorganization).
% 3.04/3.10  accept_leader(muslimcountrybhumanitarianorganization,countrybcivilorganization).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,other,n5).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,muslim,n65).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,christian,n0).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,atheist,n30).
% 3.04/3.10  accept_leader(christiansufferterrahumanitarianorganization,countryahumanitarianorganization).
% 3.04/3.10  accept_city(christiansufferterrahumanitarianorganization,townc).
% 3.04/3.10  accept_leader(christiansufferterrahumanitarianorganization,countryacivilorganization).
% 3.04/3.10  accept_number(christiansufferterrahumanitarianorganization,n5).
% 3.04/3.10  accept_number(christiansufferterrahumanitarianorganization,n4).
% 3.04/3.10  accept_number(christiansufferterrahumanitarianorganization,n3).
% 3.04/3.10  accept_number(christiansufferterrahumanitarianorganization,n2).
% 3.04/3.10  accept_number(christiansufferterrahumanitarianorganization,n1).
% 3.04/3.10  accept_number(christiansufferterrahumanitarianorganization,n6).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,other,n1).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,native,n0).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,muslim,n1).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,christian,n20).
% 3.04/3.10  accept_population(christiansufferterrahumanitarianorganization,atheist,n78).
% 3.04/3.10  accept_city(christiansufferterrahumanitarianorganization,cityb).
% 3.04/3.10  accept_leader(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization).
% 3.04/3.10  accept_population(countryccivilorganization,other,n5).
% 3.04/3.10  accept_population(countryccivilorganization,muslim,n65).
% 3.04/3.10  accept_population(countryccivilorganization,christian,n0).
% 3.04/3.10  accept_population(countryccivilorganization,atheist,n30).
% 3.04/3.10  accept_city(countryccivilorganization,townc).
% 3.04/3.10  accept_leader(countryccivilorganization,countryahumanitarianorganization).
% 3.04/3.10  accept_leader(countrycmedicalorganization,muslimcountrybhumanitarianorganization).
% 3.04/3.10  accept_population(countrycmedicalorganization,other,n5).
% 3.04/3.10  accept_population(countrycmedicalorganization,muslim,n65).
% 3.04/3.10  accept_population(countrycmedicalorganization,christian,n0).
% 3.04/3.10  accept_population(countrycmedicalorganization,atheist,n30).
% 3.04/3.10  accept_city(countrycmedicalorganization,townc).
% 3.04/3.10  accept_leader(countrycmedicalorganization,countryahumanitarianorganization).
% 3.04/3.10  accept_population(countrycmedicalorganization,other,n1).
% 3.04/3.10  accept_population(countrycmedicalorganization,christian,n20).
% 3.04/3.10  accept_population(countrycmedicalorganization,atheist,n78).
% 3.04/3.10  accept_city(countrycmedicalorganization,cityb).
% 3.04/3.10  accept_leader(muslimcountrybhumanitarianorganization,countrycmedicalorganization).
% 3.04/3.10  accept_leader(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,other,n5).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,muslim,n65).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,christian,n0).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,atheist,n30).
% 3.04/3.10  accept_city(muslimcountrybhumanitarianorganization,townc).
% 3.04/3.10  accept_leader(muslimcountrybhumanitarianorganization,countryahumanitarianorganization).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,other,n1).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,native,n0).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,muslim,n1).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,christian,n20).
% 3.04/3.10  accept_population(muslimcountrybhumanitarianorganization,atheist,n78).
% 3.04/3.10  accept_leader(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization).
% 3.04/3.10  accept_city(muslimcountrybhumanitarianorganization,cityb).
% 3.04/3.10  accept_leader(countryamedicalorganization,countryacivilorganization).
% 3.04/3.10  accept_population(countryamedicalorganization,other,n1).
% 3.04/3.10  accept_population(countryamedicalorganization,christian,n20).
% 3.04/3.10  accept_population(countryamedicalorganization,atheist,n78).
% 3.04/3.10  accept_city(countryamedicalorganization,cityb).
% 3.04/3.10  accept_leader(countryamedicalorganization,countrybhumanitarianorganization).
% 3.04/3.10  accept_number(countryamedicalorganization,n5).
% 3.04/3.10  accept_number(countryamedicalorganization,n4).
% 3.04/3.10  accept_number(countryamedicalorganization,n3).
% 3.04/3.10  accept_number(countryamedicalorganization,n2).
% 3.04/3.10  accept_number(countryamedicalorganization,n1).
% 3.04/3.10  accept_population(countryamedicalorganization,other,n0).
% 3.04/3.10  accept_population(countryamedicalorganization,native,n0).
% 3.04/3.10  accept_population(countryamedicalorganization,muslim,n1).
% 3.04/3.10  accept_population(countryamedicalorganization,christian,n24).
% 3.04/3.10  accept_population(countryamedicalorganization,atheist,n75).
% 3.04/3.10  accept_number(countryamedicalorganization,n6).
% 3.04/3.10  accept_leader(countryamedicalorganization,sufferterragovernment).
% 3.04/3.10  accept_city(countryamedicalorganization,towna).
% 3.04/3.10  accept_population(countryacivilorganization,other,n1).
% 3.04/3.10  accept_population(countryacivilorganization,christian,n20).
% 3.04/3.10  accept_population(countryacivilorganization,atheist,n78).
% 3.04/3.10  accept_city(countryacivilorganization,cityb).
% 3.04/3.10  accept_leader(countryacivilorganization,countrybhumanitarianorganization).
% 3.04/3.10  accept_leader(countryahumanitarianorganization,countryacivilorganization).
% 3.04/3.10  accept_population(countryahumanitarianorganization,other,n1).
% 3.04/3.10  accept_population(countryahumanitarianorganization,christian,n20).
% 3.04/3.10  accept_population(countryahumanitarianorganization,atheist,n78).
% 3.04/3.10  accept_city(countryahumanitarianorganization,cityb).
% 3.04/3.10  accept_leader(countryahumanitarianorganization,countrybhumanitarianorganization).
% 3.04/3.10  accept_number(countryahumanitarianorganization,n5).
% 3.04/3.10  accept_number(countryahumanitarianorganization,n4).
% 3.04/3.10  accept_number(countryahumanitarianorganization,n3).
% 3.04/3.10  accept_number(countryahumanitarianorganization,n2).
% 3.04/3.10  accept_number(countryahumanitarianorganization,n1).
% 3.04/3.10  accept_population(countryahumanitarianorganization,other,n0).
% 3.04/3.10  accept_population(countryahumanitarianorganization,native,n0).
% 3.04/3.10  accept_population(countryahumanitarianorganization,muslim,n1).
% 3.04/3.10  accept_population(countryahumanitarianorganization,christian,n24).
% 3.04/3.10  accept_population(countryahumanitarianorganization,atheist,n75).
% 3.04/3.10  accept_number(countryahumanitarianorganization,n6).
% 3.04/3.10  accept_leader(countryahumanitarianorganization,sufferterragovernment).
% 3.04/3.10  accept_city(countryahumanitarianorganization,towna).
% 3.04/3.10  accept_leader(sufferterragovernment,countryacivilorganization).
% 3.04/3.10  accept_population(sufferterragovernment,other,n1).
% 3.04/3.10  accept_population(sufferterragovernment,native,n0).
% 3.04/3.10  accept_population(sufferterragovernment,muslim,n1).
% 3.04/3.10  accept_population(sufferterragovernment,christian,n20).
% 3.04/3.10  accept_population(sufferterragovernment,atheist,n78).
% 3.04/3.10  accept_city(sufferterragovernment,cityb).
% 3.04/3.10  accept_leader(sufferterragovernment,countrybhumanitarianorganization).
% 3.04/3.10  accept_population(countryccivilorganization,other,n0).
% 3.04/3.10  accept_population(countryccivilorganization,native,n0).
% 3.04/3.10  accept_population(countryccivilorganization,muslim,n1).
% 3.04/3.10  accept_population(countryccivilorganization,christian,n24).
% 3.04/3.10  accept_population(countryccivilorganization,atheist,n75).
% 3.04/3.10  accept_city(countryccivilorganization,towna).
% 3.04/3.10  accept_leader(countryccivilorganization,sufferterragovernment).
% 3.04/3.10  accept_number(countryafirstaidorganization,n5).
% 3.04/3.10  accept_number(countryafirstaidorganization,n4).
% 3.04/3.10  accept_number(countryafirstaidorganization,n3).
% 3.04/3.10  accept_number(countryafirstaidorganization,n2).
% 3.04/3.10  accept_number(countryafirstaidorganization,n1).
% 3.04/3.10  accept_population(countryafirstaidorganization,other,n0).
% 3.04/3.10  accept_population(countryafirstaidorganization,native,n0).
% 3.04/3.10  accept_population(countryafirstaidorganization,muslim,n1).
% 3.04/3.10  accept_population(countryafirstaidorganization,christian,n24).
% 3.04/3.10  accept_population(countryafirstaidorganization,atheist,n75).
% 3.04/3.10  accept_number(countryafirstaidorganization,n6).
% 3.04/3.10  accept_leader(countryafirstaidorganization,sufferterragovernment).
% 3.04/3.10  accept_city(countryafirstaidorganization,towna).
% 3.04/3.10  accept_leader(countrycmedicalorganization,countryccivilorganization).
% 3.04/3.10  accept_leader(countrycmedicalorganization,countrybcivilorganization).
% 3.04/3.10  accept_leader(countrycmedicalorganization,countrybhumanitarianorganization).
% 3.04/3.10  accept_leader(countrycmedicalorganization,christiancountrychumanitarianorganization).
% 3.04/3.10  accept_population(countrycmedicalorganization,other,n0).
% 3.04/3.10  accept_population(countrycmedicalorganization,native,n0).
% 3.04/3.10  accept_population(countrycmedicalorganization,muslim,n1).
% 3.04/3.10  accept_population(countrycmedicalorganization,christian,n24).
% 3.04/3.10  accept_population(countrycmedicalorganization,atheist,n75).
% 3.04/3.10  accept_city(countrycmedicalorganization,towna).
% 3.04/3.10  accept_leader(countrycmedicalorganization,sufferterragovernment).
% 3.04/3.10  accept_leader(countrybcivilorganization,countryccivilorganization).
% 3.04/3.10  accept_leader(countrybcivilorganization,countrybhumanitarianorganization).
% 3.04/3.10  accept_leader(countrybcivilorganization,christiancountrychumanitarianorganization).
% 3.04/3.10  accept_leader(countrybcivilorganization,countrycmedicalorganization).
% 3.04/3.10  accept_population(countrybcivilorganization,other,n0).
% 3.04/3.10  accept_population(countrybcivilorganization,native,n0).
% 3.04/3.10  accept_population(countrybcivilorganization,muslim,n1).
% 3.04/3.10  accept_population(countrybcivilorganization,christian,n24).
% 3.04/3.10  accept_population(countrybcivilorganization,atheist,n75).
% 3.04/3.10  accept_city(countrybcivilorganization,towna).
% 3.04/3.10  accept_leader(countrybcivilorganization,sufferterragovernment).
% 3.04/3.10  accept_number(sufferterragovernment,n5).
% 3.04/3.10  accept_number(sufferterragovernment,n4).
% 3.04/3.10  accept_number(sufferterragovernment,n3).
% 3.04/3.10  accept_number(sufferterragovernment,n2).
% 3.04/3.10  accept_number(sufferterragovernment,n1).
% 3.04/3.10  accept_number(sufferterragovernment,n6).
% 3.04/3.10  accept_number(countryacivilorganization,n5).
% 3.04/3.10  accept_number(countryacivilorganization,n4).
% 3.04/3.10  accept_number(countryacivilorganization,n3).
% 3.04/3.10  accept_number(countryacivilorganization,n2).
% 3.04/3.10  accept_number(countryacivilorganization,n1).
% 3.04/3.10  accept_population(countryacivilorganization,other,n0).
% 3.04/3.10  accept_population(countryacivilorganization,native,n0).
% 3.04/3.10  accept_population(countryacivilorganization,muslim,n1).
% 3.04/3.10  accept_population(countryacivilorganization,christian,n24).
% 3.04/3.10  accept_population(countryacivilorganization,atheist,n75).
% 3.04/3.10  accept_number(countryacivilorganization,n6).
% 3.04/3.10  accept_leader(countryacivilorganization,sufferterragovernment).
% 3.04/3.10  accept_city(countryacivilorganization,towna).
% 3.04/3.10  accept_number(countryccivilorganization,n3).
% 3.04/3.10  accept_number(countryccivilorganization,n2).
% 3.04/3.10  accept_number(countryccivilorganization,n1).
% 3.04/3.10  accept_number(countryccivilorganization,n4).
% 3.04/3.10  accept_leader(christiancountrychumanitarianorganization,countryccivilorganization).
% 3.04/3.10  accept_number(countrybcivilorganization,n5).
% 3.04/3.10  accept_number(countrybcivilorganization,n4).
% 3.04/3.10  accept_number(countrybcivilorganization,n3).
% 3.04/3.10  accept_number(countrybcivilorganization,n2).
% 3.04/3.10  accept_number(countrybcivilorganization,n1).
% 3.04/3.10  accept_number(countrybcivilorganization,n6).
% 3.04/3.10  accept_leader(christiancountrychumanitarianorganization,countrybcivilorganization).
% 3.04/3.10  accept_number(countrybhumanitarianorganization,n5).
% 3.04/3.10  accept_number(countrybhumanitarianorganization,n4).
% 3.04/3.10  accept_number(countrybhumanitarianorganization,n3).
% 3.04/3.10  accept_number(countrybhumanitarianorganization,n2).
% 3.04/3.10  accept_number(countrybhumanitarianorganization,n1).
% 3.04/3.10  accept_number(countrybhumanitarianorganization,n6).
% 3.04/3.10  accept_leader(christiancountrychumanitarianorganization,countrybhumanitarianorganization).
% 3.04/3.10  accept_leader(christiancountrychumanitarianorganization,countrycmedicalorganization).
% 3.04/3.10  accept_number(christiancountrychumanitarianorganization,n5).
% 3.04/3.10  accept_number(christiancountrychumanitarianorganization,n4).
% 3.04/3.10  accept_number(christiancountrychumanitarianorganization,n3).
% 3.04/3.10  accept_number(christiancountrychumanitarianorganization,n2).
% 3.04/3.10  accept_number(christiancountrychumanitarianorganization,n1).
% 3.04/3.10  accept_number(christiancountrychumanitarianorganization,n6).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,other,n0).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,native,n0).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,muslim,n1).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,christian,n24).
% 3.04/3.10  accept_population(christiancountrychumanitarianorganization,atheist,n75).
% 3.04/3.10  accept_city(christiancountrychumanitarianorganization,towna).
% 3.04/3.10  accept_leader(christiancountrychumanitarianorganization,sufferterragovernment).
% 3.04/3.10  accept_number(countrycmedicalorganization,n5).
% 3.04/3.10  accept_number(countrycmedicalorganization,n4).
% 3.04/3.10  accept_number(countrycmedicalorganization,n3).
% 3.04/3.10  accept_number(countrycmedicalorganization,n2).
% 3.04/3.10  accept_number(countrycmedicalorganization,n1).
% 3.04/3.10  accept_number(countrycmedicalorganization,n6).
% 3.04/3.10  accept_number(muslimcountrybhumanitarianorganization,n5).
% 3.04/3.10  accept_number(muslimcountrybhumanitarianorganization,n4).
% 3.04/3.10  accept_number(muslimcountrybhumanitarianorganization,n3).
% 3.04/3.10  accept_number(muslimcountrybhumanitarianorganization,n2).
% 3.04/3.10  accept_number(muslimcountrybhumanitarianorganization,n1).
% 3.04/3.10  accept_number(muslimcountrybhumanitarianorganization,n6).
% 3.04/3.10  -accept_city(muslimcountrybhumanitarianorganization,towna).
% 3.04/3.10  accept_leader(muslimcountrybhumanitarianorganization,sufferterragovernment).
% 3.04/3.10  rdn_translate(n0,rdn_pos(rdnn(n0))).
% 3.04/3.10  rdn_translate(n1,rdn_pos(rdnn(n1))).
% 3.04/3.10  rdn_translate(n2,rdn_pos(rdnn(n2))).
% 3.04/3.10  rdn_translate(n3,rdn_pos(rdnn(n3))).
% 3.04/3.10  rdn_translate(n4,rdn_pos(rdnn(n4))).
% 3.04/3.10  rdn_translate(n5,rdn_pos(rdnn(n5))).
% 3.04/3.10  rdn_translate(n6,rdn_pos(rdnn(n6))).
% 3.04/3.10  rdn_translate(n7,rdn_pos(rdnn(n7))).
% 3.04/3.10  rdn_translate(n8,rdn_pos(rdnn(n8))).
% 3.04/3.10  rdn_translate(n9,rdn_pos(rdnn(n9))).
% 3.04/3.10  rdn_translate(n10,rdn_pos(rdn(rdnn(n0),rdnn(n1)))).
% 3.04/3.10  rdn_translate(n11,rdn_pos(rdn(rdnn(n1),rdnn(n1)))).
% 3.04/3.10  rdn_translate(n12,rdn_pos(rdn(rdnn(n2),rdnn(n1)))).
% 3.04/3.10  rdn_translate(n13,rdn_pos(rdn(rdnn(n3),rdnn(n1)))).
% 3.04/3.10  rdn_translate(n14,rdn_pos(rdn(rdnn(n4),rdnn(n1)))).
% 3.04/3.10  rdn_translate(n15,rdn_pos(rdn(rdnn(n5),rdnn(n1)))).
% 3.04/3.10  rdn_translate(n16,rdn_pos(rdn(rdnn(n6),rdnn(n1)))).
% 3.04/3.10  rdn_translate(n17,rdn_pos(rdn(rdnn(n7),rdnn(n1)))).
% 3.04/3.10  rdn_translate(n18,rdn_pos(rdn(rdnn(n8),rdnn(n1)))).
% 3.04/3.10  rdn_translate(n19,rdn_pos(rdn(rdnn(n9),rdnn(n1)))).
% 3.04/3.10  rdn_translate(n20,rdn_pos(rdn(rdnn(n0),rdnn(n2)))).
% 3.04/3.10  rdn_translate(n21,rdn_pos(rdn(rdnn(n1),rdnn(n2)))).
% 3.04/3.10  rdn_translate(n22,rdn_pos(rdn(rdnn(n2),rdnn(n2)))).
% 3.04/3.10  rdn_translate(n23,rdn_pos(rdn(rdnn(n3),rdnn(n2)))).
% 3.04/3.10  rdn_translate(n24,rdn_pos(rdn(rdnn(n4),rdnn(n2)))).
% 3.04/3.10  rdn_translate(n25,rdn_pos(rdn(rdnn(n5),rdnn(n2)))).
% 3.04/3.10  rdn_translate(n26,rdn_pos(rdn(rdnn(n6),rdnn(n2)))).
% 3.04/3.10  rdn_translate(n27,rdn_pos(rdn(rdnn(n7),rdnn(n2)))).
% 3.04/3.10  rdn_translate(n28,rdn_pos(rdn(rdnn(n8),rdnn(n2)))).
% 3.04/3.10  rdn_translate(n29,rdn_pos(rdn(rdnn(n9),rdnn(n2)))).
% 3.04/3.10  rdn_translate(n30,rdn_pos(rdn(rdnn(n0),rdnn(n3)))).
% 3.04/3.10  rdn_translate(n31,rdn_pos(rdn(rdnn(n1),rdnn(n3)))).
% 3.04/3.10  rdn_translate(n32,rdn_pos(rdn(rdnn(n2),rdnn(n3)))).
% 3.04/3.10  rdn_translate(n33,rdn_pos(rdn(rdnn(n3),rdnn(n3)))).
% 3.04/3.10  rdn_translate(n34,rdn_pos(rdn(rdnn(n4),rdnn(n3)))).
% 3.04/3.10  rdn_translate(n35,rdn_pos(rdn(rdnn(n5),rdnn(n3)))).
% 3.04/3.10  rdn_translate(n36,rdn_pos(rdn(rdnn(n6),rdnn(n3)))).
% 3.04/3.10  rdn_translate(n37,rdn_pos(rdn(rdnn(n7),rdnn(n3)))).
% 3.04/3.10  rdn_translate(n38,rdn_pos(rdn(rdnn(n8),rdnn(n3)))).
% 3.04/3.10  rdn_translate(n39,rdn_pos(rdn(rdnn(n9),rdnn(n3)))).
% 3.04/3.10  rdn_translate(n40,rdn_pos(rdn(rdnn(n0),rdnn(n4)))).
% 3.04/3.10  rdn_translate(n41,rdn_pos(rdn(rdnn(n1),rdnn(n4)))).
% 3.04/3.10  rdn_translate(n42,rdn_pos(rdn(rdnn(n2),rdnn(n4)))).
% 3.04/3.10  rdn_translate(n43,rdn_pos(rdn(rdnn(n3),rdnn(n4)))).
% 3.04/3.10  rdn_translate(n44,rdn_pos(rdn(rdnn(n4),rdnn(n4)))).
% 3.04/3.10  rdn_translate(n45,rdn_pos(rdn(rdnn(n5),rdnn(n4)))).
% 3.04/3.10  rdn_translate(n46,rdn_pos(rdn(rdnn(n6),rdnn(n4)))).
% 3.04/3.10  rdn_translate(n47,rdn_pos(rdn(rdnn(n7),rdnn(n4)))).
% 3.04/3.10  rdn_translate(n48,rdn_pos(rdn(rdnn(n8),rdnn(n4)))).
% 3.04/3.10  rdn_translate(n49,rdn_pos(rdn(rdnn(n9),rdnn(n4)))).
% 3.04/3.10  rdn_translate(n50,rdn_pos(rdn(rdnn(n0),rdnn(n5)))).
% 3.04/3.10  rdn_translate(n51,rdn_pos(rdn(rdnn(n1),rdnn(n5)))).
% 3.04/3.10  rdn_translate(n52,rdn_pos(rdn(rdnn(n2),rdnn(n5)))).
% 3.04/3.10  rdn_translate(n53,rdn_pos(rdn(rdnn(n3),rdnn(n5)))).
% 3.04/3.10  rdn_translate(n54,rdn_pos(rdn(rdnn(n4),rdnn(n5)))).
% 3.04/3.10  rdn_translate(n55,rdn_pos(rdn(rdnn(n5),rdnn(n5)))).
% 3.04/3.10  rdn_translate(n56,rdn_pos(rdn(rdnn(n6),rdnn(n5)))).
% 3.04/3.10  rdn_translate(n57,rdn_pos(rdn(rdnn(n7),rdnn(n5)))).
% 3.04/3.10  rdn_translate(n58,rdn_pos(rdn(rdnn(n8),rdnn(n5)))).
% 3.04/3.10  rdn_translate(n59,rdn_pos(rdn(rdnn(n9),rdnn(n5)))).
% 3.04/3.10  rdn_translate(n60,rdn_pos(rdn(rdnn(n0),rdnn(n6)))).
% 3.04/3.10  rdn_translate(n61,rdn_pos(rdn(rdnn(n1),rdnn(n6)))).
% 3.04/3.10  rdn_translate(n62,rdn_pos(rdn(rdnn(n2),rdnn(n6)))).
% 3.04/3.10  rdn_translate(n63,rdn_pos(rdn(rdnn(n3),rdnn(n6)))).
% 3.04/3.10  rdn_translate(n64,rdn_pos(rdn(rdnn(n4),rdnn(n6)))).
% 3.04/3.10  rdn_translate(n65,rdn_pos(rdn(rdnn(n5),rdnn(n6)))).
% 3.04/3.10  rdn_translate(n66,rdn_pos(rdn(rdnn(n6),rdnn(n6)))).
% 3.04/3.10  rdn_translate(n67,rdn_pos(rdn(rdnn(n7),rdnn(n6)))).
% 3.04/3.10  rdn_translate(n68,rdn_pos(rdn(rdnn(n8),rdnn(n6)))).
% 3.04/3.10  rdn_translate(n69,rdn_pos(rdn(rdnn(n9),rdnn(n6)))).
% 3.04/3.10  rdn_translate(n70,rdn_pos(rdn(rdnn(n0),rdnn(n7)))).
% 3.04/3.10  rdn_translate(n71,rdn_pos(rdn(rdnn(n1),rdnn(n7)))).
% 3.04/3.10  rdn_translate(n72,rdn_pos(rdn(rdnn(n2),rdnn(n7)))).
% 3.04/3.10  rdn_translate(n73,rdn_pos(rdn(rdnn(n3),rdnn(n7)))).
% 3.04/3.10  rdn_translate(n74,rdn_pos(rdn(rdnn(n4),rdnn(n7)))).
% 3.04/3.10  rdn_translate(n75,rdn_pos(rdn(rdnn(n5),rdnn(n7)))).
% 3.04/3.10  rdn_translate(n76,rdn_pos(rdn(rdnn(n6),rdnn(n7)))).
% 3.04/3.10  rdn_translate(n77,rdn_pos(rdn(rdnn(n7),rdnn(n7)))).
% 3.04/3.10  rdn_translate(n78,rdn_pos(rdn(rdnn(n8),rdnn(n7)))).
% 3.04/3.10  rdn_translate(n79,rdn_pos(rdn(rdnn(n9),rdnn(n7)))).
% 3.04/3.10  rdn_translate(n80,rdn_pos(rdn(rdnn(n0),rdnn(n8)))).
% 3.04/3.10  rdn_translate(n81,rdn_pos(rdn(rdnn(n1),rdnn(n8)))).
% 3.04/3.10  rdn_translate(n82,rdn_pos(rdn(rdnn(n2),rdnn(n8)))).
% 3.04/3.10  rdn_translate(n83,rdn_pos(rdn(rdnn(n3),rdnn(n8)))).
% 3.04/3.10  rdn_translate(n84,rdn_pos(rdn(rdnn(n4),rdnn(n8)))).
% 3.04/3.10  rdn_translate(n85,rdn_pos(rdn(rdnn(n5),rdnn(n8)))).
% 3.04/3.10  rdn_translate(n86,rdn_pos(rdn(rdnn(n6),rdnn(n8)))).
% 3.04/3.10  rdn_translate(n87,rdn_pos(rdn(rdnn(n7),rdnn(n8)))).
% 3.04/3.10  rdn_translate(n88,rdn_pos(rdn(rdnn(n8),rdnn(n8)))).
% 3.04/3.10  rdn_translate(n89,rdn_pos(rdn(rdnn(n9),rdnn(n8)))).
% 3.04/3.10  rdn_translate(n90,rdn_pos(rdn(rdnn(n0),rdnn(n9)))).
% 3.04/3.10  rdn_translate(n91,rdn_pos(rdn(rdnn(n1),rdnn(n9)))).
% 3.04/3.10  rdn_translate(n92,rdn_pos(rdn(rdnn(n2),rdnn(n9)))).
% 3.04/3.10  rdn_translate(n93,rdn_pos(rdn(rdnn(n3),rdnn(n9)))).
% 3.04/3.10  rdn_translate(n94,rdn_pos(rdn(rdnn(n4),rdnn(n9)))).
% 3.04/3.10  rdn_translate(n95,rdn_pos(rdn(rdnn(n5),rdnn(n9)))).
% 3.04/3.10  rdn_translate(n96,rdn_pos(rdn(rdnn(n6),rdnn(n9)))).
% 3.04/3.10  rdn_translate(n97,rdn_pos(rdn(rdnn(n7),rdnn(n9)))).
% 3.04/3.10  rdn_translate(n98,rdn_pos(rdn(rdnn(n8),rdnn(n9)))).
% 3.04/3.10  rdn_translate(n99,rdn_pos(rdn(rdnn(n9),rdnn(n9)))).
% 3.04/3.10  rdn_translate(n100,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n101,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n102,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n103,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n104,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n105,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n106,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n107,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n108,rdn_pos(rdn(rdnn(n8),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n109,rdn_pos(rdn(rdnn(n9),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n110,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n111,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n112,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n113,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n114,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n115,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n116,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n117,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n118,rdn_pos(rdn(rdnn(n8),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n119,rdn_pos(rdn(rdnn(n9),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n120,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n121,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n122,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n123,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n124,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n125,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n126,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(n127,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn1,rdn_neg(rdnn(n1))).
% 3.04/3.10  rdn_translate(nn2,rdn_neg(rdnn(n2))).
% 3.04/3.10  rdn_translate(nn3,rdn_neg(rdnn(n3))).
% 3.04/3.10  rdn_translate(nn4,rdn_neg(rdnn(n4))).
% 3.04/3.10  rdn_translate(nn5,rdn_neg(rdnn(n5))).
% 3.04/3.10  rdn_translate(nn6,rdn_neg(rdnn(n6))).
% 3.04/3.10  rdn_translate(nn7,rdn_neg(rdnn(n7))).
% 3.04/3.10  rdn_translate(nn8,rdn_neg(rdnn(n8))).
% 3.04/3.10  rdn_translate(nn9,rdn_neg(rdnn(n9))).
% 3.04/3.10  rdn_translate(nn10,rdn_neg(rdn(rdnn(n0),rdnn(n1)))).
% 3.04/3.10  rdn_translate(nn11,rdn_neg(rdn(rdnn(n1),rdnn(n1)))).
% 3.04/3.10  rdn_translate(nn12,rdn_neg(rdn(rdnn(n2),rdnn(n1)))).
% 3.04/3.10  rdn_translate(nn13,rdn_neg(rdn(rdnn(n3),rdnn(n1)))).
% 3.04/3.10  rdn_translate(nn14,rdn_neg(rdn(rdnn(n4),rdnn(n1)))).
% 3.04/3.10  rdn_translate(nn15,rdn_neg(rdn(rdnn(n5),rdnn(n1)))).
% 3.04/3.10  rdn_translate(nn16,rdn_neg(rdn(rdnn(n6),rdnn(n1)))).
% 3.04/3.10  rdn_translate(nn17,rdn_neg(rdn(rdnn(n7),rdnn(n1)))).
% 3.04/3.10  rdn_translate(nn18,rdn_neg(rdn(rdnn(n8),rdnn(n1)))).
% 3.04/3.10  rdn_translate(nn19,rdn_neg(rdn(rdnn(n9),rdnn(n1)))).
% 3.04/3.10  rdn_translate(nn20,rdn_neg(rdn(rdnn(n0),rdnn(n2)))).
% 3.04/3.10  rdn_translate(nn21,rdn_neg(rdn(rdnn(n1),rdnn(n2)))).
% 3.04/3.10  rdn_translate(nn22,rdn_neg(rdn(rdnn(n2),rdnn(n2)))).
% 3.04/3.10  rdn_translate(nn23,rdn_neg(rdn(rdnn(n3),rdnn(n2)))).
% 3.04/3.10  rdn_translate(nn24,rdn_neg(rdn(rdnn(n4),rdnn(n2)))).
% 3.04/3.10  rdn_translate(nn25,rdn_neg(rdn(rdnn(n5),rdnn(n2)))).
% 3.04/3.10  rdn_translate(nn26,rdn_neg(rdn(rdnn(n6),rdnn(n2)))).
% 3.04/3.10  rdn_translate(nn27,rdn_neg(rdn(rdnn(n7),rdnn(n2)))).
% 3.04/3.10  rdn_translate(nn28,rdn_neg(rdn(rdnn(n8),rdnn(n2)))).
% 3.04/3.10  rdn_translate(nn29,rdn_neg(rdn(rdnn(n9),rdnn(n2)))).
% 3.04/3.10  rdn_translate(nn30,rdn_neg(rdn(rdnn(n0),rdnn(n3)))).
% 3.04/3.10  rdn_translate(nn31,rdn_neg(rdn(rdnn(n1),rdnn(n3)))).
% 3.04/3.10  rdn_translate(nn32,rdn_neg(rdn(rdnn(n2),rdnn(n3)))).
% 3.04/3.10  rdn_translate(nn33,rdn_neg(rdn(rdnn(n3),rdnn(n3)))).
% 3.04/3.10  rdn_translate(nn34,rdn_neg(rdn(rdnn(n4),rdnn(n3)))).
% 3.04/3.10  rdn_translate(nn35,rdn_neg(rdn(rdnn(n5),rdnn(n3)))).
% 3.04/3.10  rdn_translate(nn36,rdn_neg(rdn(rdnn(n6),rdnn(n3)))).
% 3.04/3.10  rdn_translate(nn37,rdn_neg(rdn(rdnn(n7),rdnn(n3)))).
% 3.04/3.10  rdn_translate(nn38,rdn_neg(rdn(rdnn(n8),rdnn(n3)))).
% 3.04/3.10  rdn_translate(nn39,rdn_neg(rdn(rdnn(n9),rdnn(n3)))).
% 3.04/3.10  rdn_translate(nn40,rdn_neg(rdn(rdnn(n0),rdnn(n4)))).
% 3.04/3.10  rdn_translate(nn41,rdn_neg(rdn(rdnn(n1),rdnn(n4)))).
% 3.04/3.10  rdn_translate(nn42,rdn_neg(rdn(rdnn(n2),rdnn(n4)))).
% 3.04/3.10  rdn_translate(nn43,rdn_neg(rdn(rdnn(n3),rdnn(n4)))).
% 3.04/3.10  rdn_translate(nn44,rdn_neg(rdn(rdnn(n4),rdnn(n4)))).
% 3.04/3.10  rdn_translate(nn45,rdn_neg(rdn(rdnn(n5),rdnn(n4)))).
% 3.04/3.10  rdn_translate(nn46,rdn_neg(rdn(rdnn(n6),rdnn(n4)))).
% 3.04/3.10  rdn_translate(nn47,rdn_neg(rdn(rdnn(n7),rdnn(n4)))).
% 3.04/3.10  rdn_translate(nn48,rdn_neg(rdn(rdnn(n8),rdnn(n4)))).
% 3.04/3.10  rdn_translate(nn49,rdn_neg(rdn(rdnn(n9),rdnn(n4)))).
% 3.04/3.10  rdn_translate(nn50,rdn_neg(rdn(rdnn(n0),rdnn(n5)))).
% 3.04/3.10  rdn_translate(nn51,rdn_neg(rdn(rdnn(n1),rdnn(n5)))).
% 3.04/3.10  rdn_translate(nn52,rdn_neg(rdn(rdnn(n2),rdnn(n5)))).
% 3.04/3.10  rdn_translate(nn53,rdn_neg(rdn(rdnn(n3),rdnn(n5)))).
% 3.04/3.10  rdn_translate(nn54,rdn_neg(rdn(rdnn(n4),rdnn(n5)))).
% 3.04/3.10  rdn_translate(nn55,rdn_neg(rdn(rdnn(n5),rdnn(n5)))).
% 3.04/3.10  rdn_translate(nn56,rdn_neg(rdn(rdnn(n6),rdnn(n5)))).
% 3.04/3.10  rdn_translate(nn57,rdn_neg(rdn(rdnn(n7),rdnn(n5)))).
% 3.04/3.10  rdn_translate(nn58,rdn_neg(rdn(rdnn(n8),rdnn(n5)))).
% 3.04/3.10  rdn_translate(nn59,rdn_neg(rdn(rdnn(n9),rdnn(n5)))).
% 3.04/3.10  rdn_translate(nn60,rdn_neg(rdn(rdnn(n0),rdnn(n6)))).
% 3.04/3.10  rdn_translate(nn61,rdn_neg(rdn(rdnn(n1),rdnn(n6)))).
% 3.04/3.10  rdn_translate(nn62,rdn_neg(rdn(rdnn(n2),rdnn(n6)))).
% 3.04/3.10  rdn_translate(nn63,rdn_neg(rdn(rdnn(n3),rdnn(n6)))).
% 3.04/3.10  rdn_translate(nn64,rdn_neg(rdn(rdnn(n4),rdnn(n6)))).
% 3.04/3.10  rdn_translate(nn65,rdn_neg(rdn(rdnn(n5),rdnn(n6)))).
% 3.04/3.10  rdn_translate(nn66,rdn_neg(rdn(rdnn(n6),rdnn(n6)))).
% 3.04/3.10  rdn_translate(nn67,rdn_neg(rdn(rdnn(n7),rdnn(n6)))).
% 3.04/3.10  rdn_translate(nn68,rdn_neg(rdn(rdnn(n8),rdnn(n6)))).
% 3.04/3.10  rdn_translate(nn69,rdn_neg(rdn(rdnn(n9),rdnn(n6)))).
% 3.04/3.10  rdn_translate(nn70,rdn_neg(rdn(rdnn(n0),rdnn(n7)))).
% 3.04/3.10  rdn_translate(nn71,rdn_neg(rdn(rdnn(n1),rdnn(n7)))).
% 3.04/3.10  rdn_translate(nn72,rdn_neg(rdn(rdnn(n2),rdnn(n7)))).
% 3.04/3.10  rdn_translate(nn73,rdn_neg(rdn(rdnn(n3),rdnn(n7)))).
% 3.04/3.10  rdn_translate(nn74,rdn_neg(rdn(rdnn(n4),rdnn(n7)))).
% 3.04/3.10  rdn_translate(nn75,rdn_neg(rdn(rdnn(n5),rdnn(n7)))).
% 3.04/3.10  rdn_translate(nn76,rdn_neg(rdn(rdnn(n6),rdnn(n7)))).
% 3.04/3.10  rdn_translate(nn77,rdn_neg(rdn(rdnn(n7),rdnn(n7)))).
% 3.04/3.10  rdn_translate(nn78,rdn_neg(rdn(rdnn(n8),rdnn(n7)))).
% 3.04/3.10  rdn_translate(nn79,rdn_neg(rdn(rdnn(n9),rdnn(n7)))).
% 3.04/3.10  rdn_translate(nn80,rdn_neg(rdn(rdnn(n0),rdnn(n8)))).
% 3.04/3.10  rdn_translate(nn81,rdn_neg(rdn(rdnn(n1),rdnn(n8)))).
% 3.04/3.10  rdn_translate(nn82,rdn_neg(rdn(rdnn(n2),rdnn(n8)))).
% 3.04/3.10  rdn_translate(nn83,rdn_neg(rdn(rdnn(n3),rdnn(n8)))).
% 3.04/3.10  rdn_translate(nn84,rdn_neg(rdn(rdnn(n4),rdnn(n8)))).
% 3.04/3.10  rdn_translate(nn85,rdn_neg(rdn(rdnn(n5),rdnn(n8)))).
% 3.04/3.10  rdn_translate(nn86,rdn_neg(rdn(rdnn(n6),rdnn(n8)))).
% 3.04/3.10  rdn_translate(nn87,rdn_neg(rdn(rdnn(n7),rdnn(n8)))).
% 3.04/3.10  rdn_translate(nn88,rdn_neg(rdn(rdnn(n8),rdnn(n8)))).
% 3.04/3.10  rdn_translate(nn89,rdn_neg(rdn(rdnn(n9),rdnn(n8)))).
% 3.04/3.10  rdn_translate(nn90,rdn_neg(rdn(rdnn(n0),rdnn(n9)))).
% 3.04/3.10  rdn_translate(nn91,rdn_neg(rdn(rdnn(n1),rdnn(n9)))).
% 3.04/3.10  rdn_translate(nn92,rdn_neg(rdn(rdnn(n2),rdnn(n9)))).
% 3.04/3.10  rdn_translate(nn93,rdn_neg(rdn(rdnn(n3),rdnn(n9)))).
% 3.04/3.10  rdn_translate(nn94,rdn_neg(rdn(rdnn(n4),rdnn(n9)))).
% 3.04/3.10  rdn_translate(nn95,rdn_neg(rdn(rdnn(n5),rdnn(n9)))).
% 3.04/3.10  rdn_translate(nn96,rdn_neg(rdn(rdnn(n6),rdnn(n9)))).
% 3.04/3.10  rdn_translate(nn97,rdn_neg(rdn(rdnn(n7),rdnn(n9)))).
% 3.04/3.10  rdn_translate(nn98,rdn_neg(rdn(rdnn(n8),rdnn(n9)))).
% 3.04/3.10  rdn_translate(nn99,rdn_neg(rdn(rdnn(n9),rdnn(n9)))).
% 3.04/3.10  rdn_translate(nn100,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn101,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn102,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn103,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn104,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn105,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn106,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn107,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn108,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn109,rdn_neg(rdn(rdnn(n9),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn110,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn111,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn112,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn113,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn114,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn115,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn116,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn117,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn118,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn119,rdn_neg(rdn(rdnn(n9),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn120,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn121,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn122,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn123,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn124,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn125,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn126,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn127,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_translate(nn128,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.10  rdn_non_zero_digit(rdnn(n1)).
% 3.04/3.10  rdn_non_zero_digit(rdnn(n2)).
% 3.04/3.10  rdn_non_zero_digit(rdnn(n3)).
% 3.04/3.10  rdn_non_zero_digit(rdnn(n4)).
% 3.04/3.10  rdn_non_zero_digit(rdnn(n5)).
% 3.04/3.10  rdn_non_zero_digit(rdnn(n6)).
% 3.04/3.10  rdn_non_zero_digit(rdnn(n7)).
% 3.04/3.10  rdn_non_zero_digit(rdnn(n8)).
% 3.04/3.10  rdn_non_zero_digit(rdnn(n9)).
% 3.04/3.10  rdn_positive_less(rdnn(n0),rdnn(n1)).
% 3.04/3.10  rdn_positive_less(rdnn(n1),rdnn(n2)).
% 3.04/3.10  rdn_positive_less(rdnn(n2),rdnn(n3)).
% 3.04/3.10  rdn_positive_less(rdnn(n3),rdnn(n4)).
% 3.04/3.10  rdn_positive_less(rdnn(n4),rdnn(n5)).
% 3.04/3.10  rdn_positive_less(rdnn(n5),rdnn(n6)).
% 3.04/3.10  rdn_positive_less(rdnn(n6),rdnn(n7)).
% 3.04/3.10  rdn_positive_less(rdnn(n7),rdnn(n8)).
% 3.04/3.10  rdn_positive_less(rdnn(n8),rdnn(n9)).
% 3.04/3.10  all X Y Z (rdn_positive_less(rdnn(X),rdnn(Y))&rdn_positive_less(rdnn(Y),rdnn(Z))->rdn_positive_less(rdnn(X),rdnn(Z))).
% 3.04/3.10  all Ds Os Db Ob (rdn_positive_less(Os,Ob)->rdn_positive_less(rdn(rdnn(Ds),Os),rdn(rdnn(Db),Ob))).
% 3.04/3.10  all Ds O Db (rdn_positive_less(rdnn(Ds),rdnn(Db))&rdn_non_zero(O)->rdn_positive_less(rdn(rdnn(Ds),O),rdn(rdnn(Db),O))).
% 3.04/3.10  all D Db Ob (rdn_non_zero(Ob)->rdn_positive_less(rdnn(D),rdn(rdnn(Db),Ob))).
% 3.04/3.10  all X (rdn_non_zero_digit(rdnn(X))->rdn_non_zero(rdnn(X))).
% 3.04/3.10  all D O (rdn_non_zero(O)->rdn_non_zero(rdn(rdnn(D),O))).
% 3.04/3.10  all X Y RDN_X RDN_Y (rdn_translate(X,rdn_pos(RDN_X))&rdn_translate(Y,rdn_pos(RDN_Y))&rdn_positive_less(RDN_X,RDN_Y)->less(X,Y)).
% 3.04/3.10  all X Y RDN_X RDN_Y (rdn_translate(X,rdn_neg(RDN_X))&rdn_translate(Y,rdn_pos(RDN_Y))->less(X,Y)).
% 3.04/3.10  all X Y RDN_X RDN_Y (rdn_translate(X,rdn_neg(RDN_X))&rdn_translate(Y,rdn_neg(RDN_Y))&rdn_positive_less(RDN_Y,RDN_X)->less(X,Y)).
% 3.04/3.10  all X Y (less(X,Y)<-> -less(Y,X)&Y!=X).
% 3.04/3.10  all X Y (less_or_e_qual(X,Y)<->less(X,Y)|X=Y).
% 3.04/3.10  all X Y Z (sum(X,n1,Y)&less(Z,Y)->less_or_e_qual(Z,X)).
% 3.04/3.10  -accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 3.04/3.10  end_of_list.
% 3.04/3.10  
% 3.04/3.10  -------> usable clausifies to:
% 3.04/3.10  
% 3.04/3.10  list(usable).
% 3.04/3.10  0 [] A=A.
% 3.04/3.10  0 [] -accept_team(A,L,C,N)|accept_city(A,C).
% 3.04/3.10  0 [] -accept_team(A,L,C,N)|accept_leader(A,L).
% 3.04/3.10  0 [] -accept_team(A,L,C,N)|accept_number(A,N).
% 3.04/3.10  0 [] accept_team(A,L,C,N)| -accept_city(A,C)| -accept_leader(A,L)| -accept_number(A,N).
% 3.04/3.10  0 [] -accept_number(A,N)| -less(M,N)|accept_number(A,M).
% 3.04/3.10  0 [] -accept_population(A,P,N)| -less(M,N)|accept_population(A,P,M).
% 3.04/3.10  0 [] -the_agent_in_all_proposed_teams(A,L,C)|accept_leader(A,L).
% 3.04/3.10  0 [] -the_agent_in_all_proposed_teams(A,L,C)|accept_city(A,C).
% 3.04/3.10  0 [] -any_agent_in_all_proposed_teams(A,L,C)|accept_leader(A,L).
% 3.04/3.10  0 [] -the_agent_not_in_any_proposed_teams(A,L,C)| -accept_city(A,C)| -accept_leader(A,L).
% 3.04/3.10  0 [] -min_number_of_proposed_agents(A,N)|accept_number(A,N).
% 3.04/3.10  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).
% 3.04/3.10  0 [] accept_population(A,atheist,n65)| -accept_city(A,suffertown).
% 3.04/3.10  0 [] accept_population(A,christian,n20)| -accept_city(A,suffertown).
% 3.04/3.10  0 [] accept_population(A,muslim,n7)| -accept_city(A,suffertown).
% 3.04/3.10  0 [] accept_population(A,native,n4)| -accept_city(A,suffertown).
% 3.04/3.10  0 [] accept_population(A,other,n4)| -accept_city(A,suffertown).
% 3.04/3.10  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).
% 3.04/3.10  0 [] accept_population(A,atheist,n54)| -accept_city(A,centraltown).
% 3.04/3.10  0 [] accept_population(A,christian,n23)| -accept_city(A,centraltown).
% 3.04/3.10  0 [] accept_population(A,muslim,n3)| -accept_city(A,centraltown).
% 3.04/3.10  0 [] accept_population(A,native,n1)| -accept_city(A,centraltown).
% 3.04/3.10  0 [] accept_population(A,other,n9)| -accept_city(A,centraltown).
% 3.04/3.10  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).
% 3.04/3.10  0 [] accept_population(A,atheist,n30)| -accept_city(A,sunnysideport).
% 3.04/3.10  0 [] accept_population(A,christian,n8)| -accept_city(A,sunnysideport).
% 3.04/3.10  0 [] accept_population(A,muslim,n60)| -accept_city(A,sunnysideport).
% 3.04/3.10  0 [] accept_population(A,native,n1)| -accept_city(A,sunnysideport).
% 3.04/3.10  0 [] accept_population(A,other,n1)| -accept_city(A,sunnysideport).
% 3.04/3.10  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).
% 3.04/3.10  0 [] accept_population(A,atheist,n70)| -accept_city(A,centrallakecity).
% 3.04/3.10  0 [] accept_population(A,christian,n15)| -accept_city(A,centrallakecity).
% 3.04/3.10  0 [] accept_population(A,muslim,n1)| -accept_city(A,centrallakecity).
% 3.04/3.10  0 [] accept_population(A,native,n10)| -accept_city(A,centrallakecity).
% 3.04/3.10  0 [] accept_population(A,other,n4)| -accept_city(A,centrallakecity).
% 3.04/3.10  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).
% 3.04/3.10  0 [] accept_population(A,atheist,n68)| -accept_city(A,stjosephburgh).
% 3.04/3.10  0 [] accept_population(A,christian,n16)| -accept_city(A,stjosephburgh).
% 3.04/3.10  0 [] accept_population(A,muslim,n1)| -accept_city(A,stjosephburgh).
% 3.04/3.10  0 [] accept_population(A,native,n11)| -accept_city(A,stjosephburgh).
% 3.04/3.10  0 [] accept_population(A,other,n4)| -accept_city(A,stjosephburgh).
% 3.04/3.10  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).
% 3.04/3.10  0 [] accept_population(A,atheist,n70)| -accept_city(A,northport).
% 3.04/3.10  0 [] accept_population(A,christian,n13)| -accept_city(A,northport).
% 3.04/3.10  0 [] accept_population(A,muslim,n0)| -accept_city(A,northport).
% 3.04/3.10  0 [] accept_population(A,native,n15)| -accept_city(A,northport).
% 3.04/3.10  0 [] accept_population(A,other,n2)| -accept_city(A,northport).
% 3.04/3.10  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).
% 3.04/3.10  0 [] accept_population(A,atheist,n12)| -accept_city(A,coastvillage).
% 3.04/3.10  0 [] accept_population(A,christian,n3)| -accept_city(A,coastvillage).
% 3.04/3.10  0 [] accept_population(A,muslim,n0)| -accept_city(A,coastvillage).
% 3.04/3.10  0 [] accept_population(A,native,n85)| -accept_city(A,coastvillage).
% 3.04/3.10  0 [] accept_population(A,other,n0)| -accept_city(A,coastvillage).
% 3.04/3.10  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).
% 3.04/3.10  0 [] accept_population(A,atheist,n0)| -accept_city(A,sunsetpoint).
% 3.04/3.10  0 [] accept_population(A,christian,n0)| -accept_city(A,sunsetpoint).
% 3.04/3.10  0 [] accept_population(A,muslim,n0)| -accept_city(A,sunsetpoint).
% 3.04/3.10  0 [] accept_population(A,native,n100)| -accept_city(A,sunsetpoint).
% 3.04/3.10  0 [] accept_population(A,other,n0)| -accept_city(A,sunsetpoint).
% 3.04/3.10  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).
% 3.04/3.10  0 [] accept_population(A,atheist,n75)| -accept_city(A,towna).
% 3.04/3.10  0 [] accept_population(A,christian,n24)| -accept_city(A,towna).
% 3.04/3.10  0 [] accept_population(A,muslim,n1)| -accept_city(A,towna).
% 3.04/3.10  0 [] accept_population(A,native,n0)| -accept_city(A,towna).
% 3.04/3.10  0 [] accept_population(A,other,n0)| -accept_city(A,towna).
% 3.04/3.10  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).
% 3.04/3.11  0 [] accept_population(A,atheist,n75)| -accept_city(A,citya).
% 3.04/3.11  0 [] accept_population(A,christian,n25)| -accept_city(A,citya).
% 3.04/3.11  0 [] accept_population(A,muslim,n0)| -accept_city(A,citya).
% 3.04/3.11  0 [] accept_population(A,native,n0)| -accept_city(A,citya).
% 3.04/3.11  0 [] accept_population(A,other,n0)| -accept_city(A,citya).
% 3.04/3.11  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).
% 3.04/3.11  0 [] accept_population(A,atheist,n70)| -accept_city(A,townb).
% 3.04/3.11  0 [] accept_population(A,christian,n20)| -accept_city(A,townb).
% 3.04/3.11  0 [] accept_population(A,muslim,n8)| -accept_city(A,townb).
% 3.04/3.11  0 [] accept_population(A,native,n0)| -accept_city(A,townb).
% 3.04/3.11  0 [] accept_population(A,other,n2)| -accept_city(A,townb).
% 3.04/3.11  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).
% 3.04/3.11  0 [] accept_population(A,atheist,n78)| -accept_city(A,cityb).
% 3.04/3.11  0 [] accept_population(A,christian,n20)| -accept_city(A,cityb).
% 3.04/3.11  0 [] accept_population(A,muslim,n1)| -accept_city(A,cityb).
% 3.04/3.11  0 [] accept_population(A,native,n0)| -accept_city(A,cityb).
% 3.04/3.11  0 [] accept_population(A,other,n1)| -accept_city(A,cityb).
% 3.04/3.11  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).
% 3.04/3.11  0 [] accept_population(A,atheist,n30)| -accept_city(A,townc).
% 3.04/3.11  0 [] accept_population(A,christian,n0)| -accept_city(A,townc).
% 3.04/3.11  0 [] accept_population(A,muslim,n65)| -accept_city(A,townc).
% 3.04/3.11  0 [] accept_population(A,native,n0)| -accept_city(A,townc).
% 3.04/3.11  0 [] accept_population(A,other,n5)| -accept_city(A,townc).
% 3.04/3.11  0 [] accept_team(countryahumanitarianorganization,countryacivilorganization,cityb,n6).
% 3.04/3.11  0 [] accept_team(countryahumanitarianorganization,countryacivilorganization,towna,n6).
% 3.04/3.11  0 [] accept_team(countryahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_team(countryahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n2).
% 3.04/3.11  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n4).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n5).
% 3.04/3.11  0 [] the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.11  0 [] accept_team(countryamedicalorganization,countryacivilorganization,cityb,n6).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 3.04/3.11  0 [] accept_team(countryafirstaidorganization,countryacivilorganization,cityb,n6).
% 3.04/3.11  0 [] accept_number(countrybhumanitarianorganization,n4).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n4).
% 3.04/3.11  0 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,cityb,n6).
% 3.04/3.11  0 [] accept_team(sufferterragovernment,countryacivilorganization,cityb,n6).
% 3.04/3.11  0 [] accept_number(countrybhumanitarianorganization,n1).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,towna,n6).
% 3.04/3.11  0 [] accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 3.04/3.11  0 [] accept_number(countryahumanitarianorganization,n2).
% 3.04/3.11  0 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n2).
% 3.04/3.11  0 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n2).
% 3.04/3.11  0 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n2).
% 3.04/3.11  0 [] -accept_team(countryamedicalorganization,christiansufferterrahumanitarianorganization,coastvillage,n2).
% 3.04/3.11  0 [] -accept_team(countryamedicalorganization,sufferterragovernment,coastvillage,n2).
% 3.04/3.11  0 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n6).
% 3.04/3.11  0 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n6).
% 3.04/3.11  0 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.11  0 [] the_agent_not_in_any_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] accept_team(countryccivilorganization,countrycmedicalorganization,towna,n4).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n5).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n4).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n5).
% 3.04/3.11  0 [] accept_number(countrybcivilorganization,n5).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] accept_team(sufferterragovernment,countryacivilorganization,towna,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.11  0 [] accept_number(countrycmedicalorganization,n4).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n4).
% 3.04/3.11  0 [] accept_number(countrycmedicalorganization,n5).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n5).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.11  0 [] accept_team(countryafirstaidorganization,countryacivilorganization,towna,n6).
% 3.04/3.11  0 [] accept_number(countryacivilorganization,n2).
% 3.04/3.11  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n5).
% 3.04/3.11  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_team(countryacivilorganization,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] accept_number(countryafirstaidorganization,n2).
% 3.04/3.11  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n5).
% 3.04/3.11  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_team(countryafirstaidorganization,countryacivilorganization,coastvillage,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_number(christiancountrychumanitarianorganization,n5).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,townc,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n5).
% 3.04/3.11  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_team(sufferterragovernment,countryacivilorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_team(sufferterragovernment,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] accept_number(christiansufferterrahumanitarianorganization,n2).
% 3.04/3.11  0 [] accept_number(countryahumanitarianorganization,n5).
% 3.04/3.11  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n5).
% 3.04/3.11  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_team(christiansufferterrahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.11  0 [] accept_number(muslimcountrybhumanitarianorganization,n3).
% 3.04/3.11  0 [] accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,townc,n4).
% 3.04/3.11  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countryccivilorganization,townc,n4).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,townc,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,countrybcivilorganization,townc,n6).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,countrycmedicalorganization,townc,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n2).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(countryamedicalorganization,countryahumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,countryccivilorganization,townc,n4).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,countrybcivilorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 3.04/3.11  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,cityb,n6).
% 3.04/3.11  0 [] accept_number(christiansufferterrahumanitarianorganization,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n5).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n6).
% 3.04/3.11  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,cityb,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,cityb,n6).
% 3.04/3.11  0 [] accept_number(countryafirstaidorganization,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] accept_team(countryafirstaidorganization,sufferterragovernment,towna,n5).
% 3.04/3.11  0 [] accept_team(countryafirstaidorganization,sufferterragovernment,towna,n6).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n5).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n6).
% 3.04/3.11  0 [] accept_team(countryamedicalorganization,countryahumanitarianorganization,cityb,n6).
% 3.04/3.11  0 [] accept_number(countryamedicalorganization,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n5).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n6).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] accept_number(countryahumanitarianorganization,n6).
% 3.04/3.11  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,cityb,n6).
% 3.04/3.11  0 [] accept_number(countryacivilorganization,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] accept_number(countrybhumanitarianorganization,n5).
% 3.04/3.11  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 3.04/3.11  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n2).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n2).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n2).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n2).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n2).
% 3.04/3.11  0 [] accept_number(muslimcountrybhumanitarianorganization,n2).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n4).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.11  0 [] accept_team(countryamedicalorganization,sufferterragovernment,towna,n5).
% 3.04/3.11  0 [] accept_team(countryamedicalorganization,sufferterragovernment,towna,n6).
% 3.04/3.11  0 [] accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n5).
% 3.04/3.11  0 [] accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n6).
% 3.04/3.11  0 [] accept_number(christiancountrychumanitarianorganization,n2).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 3.04/3.11  0 [] accept_number(countrybhumanitarianorganization,n2).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.11  0 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] accept_number(countrybcivilorganization,n2).
% 3.04/3.11  0 [] accept_number(countrybcivilorganization,n3).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,countryccivilorganization,towna,n4).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.11  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] accept_number(sufferterragovernment,n2).
% 3.04/3.11  0 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n2).
% 3.04/3.11  0 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n6).
% 3.04/3.11  0 [] accept_number(countryccivilorganization,n2).
% 3.04/3.11  0 [] accept_number(countryccivilorganization,n3).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,countrybcivilorganization,towna,n6).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.11  0 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] accept_number(sufferterragovernment,n5).
% 3.04/3.11  0 [] accept_team(countryacivilorganization,sufferterragovernment,towna,n5).
% 3.04/3.11  0 [] accept_number(sufferterragovernment,n6).
% 3.04/3.11  0 [] accept_team(countryacivilorganization,sufferterragovernment,towna,n6).
% 3.04/3.11  0 [] accept_number(countrycmedicalorganization,n2).
% 3.04/3.11  0 [] accept_number(countrycmedicalorganization,n3).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,countryccivilorganization,towna,n4).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,countrybcivilorganization,towna,n6).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.11  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] accept_number(christiancountrychumanitarianorganization,n3).
% 3.04/3.11  0 [] accept_number(countryccivilorganization,n4).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countryccivilorganization,towna,n4).
% 3.04/3.11  0 [] accept_number(countrybcivilorganization,n6).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,towna,n6).
% 3.04/3.11  0 [] accept_number(countrybhumanitarianorganization,n6).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.11  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.11  0 [] accept_number(christiancountrychumanitarianorganization,n6).
% 3.04/3.11  0 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] accept_number(countrycmedicalorganization,n6).
% 3.04/3.11  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.11  0 [] accept_number(muslimcountrybhumanitarianorganization,n6).
% 3.04/3.11  0 [] the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 3.04/3.11  0 [] accept_leader(christiancountrychumanitarianorganization,countryacivilorganization).
% 3.04/3.11  0 [] accept_leader(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,other,n5).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,muslim,n65).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,christian,n0).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,atheist,n30).
% 3.04/3.11  0 [] accept_city(christiancountrychumanitarianorganization,townc).
% 3.04/3.11  0 [] accept_leader(christiancountrychumanitarianorganization,countryahumanitarianorganization).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,other,n1).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,christian,n20).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,atheist,n78).
% 3.04/3.11  0 [] accept_city(christiancountrychumanitarianorganization,cityb).
% 3.04/3.11  0 [] -accept_city(countryamedicalorganization,coastvillage).
% 3.04/3.11  0 [] accept_leader(countryamedicalorganization,christiancountrychumanitarianorganization).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,other,n5).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,muslim,n65).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,christian,n0).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,atheist,n30).
% 3.04/3.11  0 [] accept_leader(countryamedicalorganization,countryahumanitarianorganization).
% 3.04/3.11  0 [] accept_city(countryamedicalorganization,townc).
% 3.04/3.11  0 [] accept_leader(countryahumanitarianorganization,countryamedicalorganization).
% 3.04/3.11  0 [] accept_leader(countryahumanitarianorganization,countryafirstaidorganization).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,native,n85).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,muslim,n0).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,christian,n3).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,atheist,n12).
% 3.04/3.11  0 [] accept_city(countryahumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] accept_leader(countryahumanitarianorganization,christiancountrychumanitarianorganization).
% 3.04/3.11  0 [] accept_leader(countryafirstaidorganization,countryamedicalorganization).
% 3.04/3.11  0 [] accept_leader(christiansufferterrahumanitarianorganization,countryamedicalorganization).
% 3.04/3.11  0 [] accept_leader(countrycmedicalorganization,countryacivilorganization).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,native,n85).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,muslim,n0).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,christian,n3).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,atheist,n12).
% 3.04/3.11  0 [] accept_city(countrycmedicalorganization,coastvillage).
% 3.04/3.11  0 [] accept_leader(countrybcivilorganization,countryacivilorganization).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,native,n85).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,muslim,n0).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,christian,n3).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,atheist,n12).
% 3.04/3.11  0 [] accept_city(countrybcivilorganization,coastvillage).
% 3.04/3.11  0 [] accept_leader(countrybcivilorganization,muslimcountrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,other,n5).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,muslim,n65).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,christian,n0).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,atheist,n30).
% 3.04/3.11  0 [] accept_city(countrybcivilorganization,townc).
% 3.04/3.11  0 [] accept_leader(countrybcivilorganization,countryahumanitarianorganization).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,other,n1).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,christian,n20).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,atheist,n78).
% 3.04/3.11  0 [] accept_city(countrybcivilorganization,cityb).
% 3.04/3.11  0 [] accept_leader(sufferterragovernment,countryamedicalorganization).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,christian,n24).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,atheist,n75).
% 3.04/3.11  0 [] accept_city(sufferterragovernment,towna).
% 3.04/3.11  0 [] -accept_number(countryccivilorganization,n5).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,other,n1).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,christian,n20).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,atheist,n78).
% 3.04/3.11  0 [] -accept_number(countryccivilorganization,n6).
% 3.04/3.11  0 [] accept_leader(countryccivilorganization,countrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_city(countryccivilorganization,cityb).
% 3.04/3.11  0 [] accept_leader(countryccivilorganization,countryacivilorganization).
% 3.04/3.11  0 [] accept_leader(countryacivilorganization,countryamedicalorganization).
% 3.04/3.11  0 [] accept_leader(countryacivilorganization,countryafirstaidorganization).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,native,n85).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,muslim,n0).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,christian,n3).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,atheist,n12).
% 3.04/3.11  0 [] accept_city(countryacivilorganization,coastvillage).
% 3.04/3.11  0 [] accept_leader(countryacivilorganization,christiancountrychumanitarianorganization).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,other,n5).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,muslim,n65).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,christian,n0).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,atheist,n30).
% 3.04/3.11  0 [] accept_leader(countryacivilorganization,countryahumanitarianorganization).
% 3.04/3.11  0 [] accept_city(countryacivilorganization,townc).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,christian,n24).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n75).
% 3.04/3.11  0 [] -accept_leader(christiansufferterrahumanitarianorganization,sufferterragovernment).
% 3.04/3.11  0 [] accept_city(christiansufferterrahumanitarianorganization,towna).
% 3.04/3.11  0 [] accept_leader(christiansufferterrahumanitarianorganization,countryafirstaidorganization).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,other,n0).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,native,n85).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,muslim,n0).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,christian,n3).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n12).
% 3.04/3.11  0 [] accept_city(christiansufferterrahumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] accept_leader(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization).
% 3.04/3.11  0 [] accept_leader(muslimcountrybhumanitarianorganization,countryacivilorganization).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,other,n0).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,native,n85).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,muslim,n0).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,christian,n3).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,atheist,n12).
% 3.04/3.11  0 [] accept_city(muslimcountrybhumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,native,n85).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,muslim,n0).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,christian,n3).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,atheist,n12).
% 3.04/3.11  0 [] accept_city(countryafirstaidorganization,coastvillage).
% 3.04/3.11  0 [] accept_leader(countryafirstaidorganization,christiancountrychumanitarianorganization).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,other,n5).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,muslim,n65).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,christian,n0).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,atheist,n30).
% 3.04/3.11  0 [] accept_leader(countryafirstaidorganization,countryahumanitarianorganization).
% 3.04/3.11  0 [] accept_city(countryafirstaidorganization,townc).
% 3.04/3.11  0 [] accept_leader(countryafirstaidorganization,countryacivilorganization).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,other,n1).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,christian,n20).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,atheist,n78).
% 3.04/3.11  0 [] accept_city(countryafirstaidorganization,cityb).
% 3.04/3.11  0 [] accept_leader(countryafirstaidorganization,countrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_leader(countrybhumanitarianorganization,countryacivilorganization).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,native,n85).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,muslim,n0).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,christian,n3).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,atheist,n12).
% 3.04/3.11  0 [] accept_city(countrybhumanitarianorganization,coastvillage).
% 3.04/3.11  0 [] accept_leader(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,other,n5).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,muslim,n65).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,christian,n0).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,atheist,n30).
% 3.04/3.11  0 [] accept_city(countrybhumanitarianorganization,townc).
% 3.04/3.11  0 [] accept_leader(countrybhumanitarianorganization,countryahumanitarianorganization).
% 3.04/3.11  0 [] accept_leader(countrybhumanitarianorganization,countryccivilorganization).
% 3.04/3.11  0 [] accept_leader(countrybhumanitarianorganization,countrybcivilorganization).
% 3.04/3.11  0 [] accept_leader(countrybhumanitarianorganization,christiancountrychumanitarianorganization).
% 3.04/3.11  0 [] accept_leader(countrybhumanitarianorganization,countrycmedicalorganization).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,other,n0).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,native,n0).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,muslim,n1).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,christian,n24).
% 3.04/3.11  0 [] accept_population(countrybhumanitarianorganization,atheist,n75).
% 3.04/3.11  0 [] accept_city(countrybhumanitarianorganization,towna).
% 3.04/3.11  0 [] accept_leader(countrybhumanitarianorganization,sufferterragovernment).
% 3.04/3.11  0 [] accept_leader(sufferterragovernment,countryafirstaidorganization).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,other,n0).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,native,n85).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,muslim,n0).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,christian,n3).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,atheist,n12).
% 3.04/3.11  0 [] accept_city(sufferterragovernment,coastvillage).
% 3.04/3.11  0 [] accept_leader(sufferterragovernment,christiancountrychumanitarianorganization).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,other,n5).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,muslim,n65).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,christian,n0).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,atheist,n30).
% 3.04/3.11  0 [] accept_leader(sufferterragovernment,countryahumanitarianorganization).
% 3.04/3.11  0 [] accept_city(sufferterragovernment,townc).
% 3.04/3.11  0 [] accept_leader(muslimcountrybhumanitarianorganization,countryccivilorganization).
% 3.04/3.11  0 [] accept_leader(muslimcountrybhumanitarianorganization,countrybcivilorganization).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,other,n5).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,muslim,n65).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,christian,n0).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n30).
% 3.04/3.11  0 [] accept_leader(christiansufferterrahumanitarianorganization,countryahumanitarianorganization).
% 3.04/3.11  0 [] accept_city(christiansufferterrahumanitarianorganization,townc).
% 3.04/3.11  0 [] accept_leader(christiansufferterrahumanitarianorganization,countryacivilorganization).
% 3.04/3.11  0 [] accept_number(christiansufferterrahumanitarianorganization,n5).
% 3.04/3.11  0 [] accept_number(christiansufferterrahumanitarianorganization,n4).
% 3.04/3.11  0 [] accept_number(christiansufferterrahumanitarianorganization,n3).
% 3.04/3.11  0 [] accept_number(christiansufferterrahumanitarianorganization,n2).
% 3.04/3.11  0 [] accept_number(christiansufferterrahumanitarianorganization,n1).
% 3.04/3.11  0 [] accept_number(christiansufferterrahumanitarianorganization,n6).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,other,n1).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,native,n0).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,muslim,n1).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,christian,n20).
% 3.04/3.11  0 [] accept_population(christiansufferterrahumanitarianorganization,atheist,n78).
% 3.04/3.11  0 [] accept_city(christiansufferterrahumanitarianorganization,cityb).
% 3.04/3.11  0 [] accept_leader(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,other,n5).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,muslim,n65).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,christian,n0).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,atheist,n30).
% 3.04/3.11  0 [] accept_city(countryccivilorganization,townc).
% 3.04/3.11  0 [] accept_leader(countryccivilorganization,countryahumanitarianorganization).
% 3.04/3.11  0 [] accept_leader(countrycmedicalorganization,muslimcountrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,other,n5).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,muslim,n65).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,christian,n0).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,atheist,n30).
% 3.04/3.11  0 [] accept_city(countrycmedicalorganization,townc).
% 3.04/3.11  0 [] accept_leader(countrycmedicalorganization,countryahumanitarianorganization).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,other,n1).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,christian,n20).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,atheist,n78).
% 3.04/3.11  0 [] accept_city(countrycmedicalorganization,cityb).
% 3.04/3.11  0 [] accept_leader(muslimcountrybhumanitarianorganization,countrycmedicalorganization).
% 3.04/3.11  0 [] accept_leader(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,other,n5).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,muslim,n65).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,christian,n0).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,atheist,n30).
% 3.04/3.11  0 [] accept_city(muslimcountrybhumanitarianorganization,townc).
% 3.04/3.11  0 [] accept_leader(muslimcountrybhumanitarianorganization,countryahumanitarianorganization).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,other,n1).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,native,n0).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,muslim,n1).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,christian,n20).
% 3.04/3.11  0 [] accept_population(muslimcountrybhumanitarianorganization,atheist,n78).
% 3.04/3.11  0 [] accept_leader(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_city(muslimcountrybhumanitarianorganization,cityb).
% 3.04/3.11  0 [] accept_leader(countryamedicalorganization,countryacivilorganization).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,other,n1).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,christian,n20).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,atheist,n78).
% 3.04/3.11  0 [] accept_city(countryamedicalorganization,cityb).
% 3.04/3.11  0 [] accept_leader(countryamedicalorganization,countrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_number(countryamedicalorganization,n5).
% 3.04/3.11  0 [] accept_number(countryamedicalorganization,n4).
% 3.04/3.11  0 [] accept_number(countryamedicalorganization,n3).
% 3.04/3.11  0 [] accept_number(countryamedicalorganization,n2).
% 3.04/3.11  0 [] accept_number(countryamedicalorganization,n1).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,other,n0).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,native,n0).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,muslim,n1).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,christian,n24).
% 3.04/3.11  0 [] accept_population(countryamedicalorganization,atheist,n75).
% 3.04/3.11  0 [] accept_number(countryamedicalorganization,n6).
% 3.04/3.11  0 [] accept_leader(countryamedicalorganization,sufferterragovernment).
% 3.04/3.11  0 [] accept_city(countryamedicalorganization,towna).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,other,n1).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,christian,n20).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,atheist,n78).
% 3.04/3.11  0 [] accept_city(countryacivilorganization,cityb).
% 3.04/3.11  0 [] accept_leader(countryacivilorganization,countrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_leader(countryahumanitarianorganization,countryacivilorganization).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,other,n1).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,christian,n20).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,atheist,n78).
% 3.04/3.11  0 [] accept_city(countryahumanitarianorganization,cityb).
% 3.04/3.11  0 [] accept_leader(countryahumanitarianorganization,countrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_number(countryahumanitarianorganization,n5).
% 3.04/3.11  0 [] accept_number(countryahumanitarianorganization,n4).
% 3.04/3.11  0 [] accept_number(countryahumanitarianorganization,n3).
% 3.04/3.11  0 [] accept_number(countryahumanitarianorganization,n2).
% 3.04/3.11  0 [] accept_number(countryahumanitarianorganization,n1).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,other,n0).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,native,n0).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,muslim,n1).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,christian,n24).
% 3.04/3.11  0 [] accept_population(countryahumanitarianorganization,atheist,n75).
% 3.04/3.11  0 [] accept_number(countryahumanitarianorganization,n6).
% 3.04/3.11  0 [] accept_leader(countryahumanitarianorganization,sufferterragovernment).
% 3.04/3.11  0 [] accept_city(countryahumanitarianorganization,towna).
% 3.04/3.11  0 [] accept_leader(sufferterragovernment,countryacivilorganization).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,other,n1).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,native,n0).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,muslim,n1).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,christian,n20).
% 3.04/3.11  0 [] accept_population(sufferterragovernment,atheist,n78).
% 3.04/3.11  0 [] accept_city(sufferterragovernment,cityb).
% 3.04/3.11  0 [] accept_leader(sufferterragovernment,countrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,other,n0).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,native,n0).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,muslim,n1).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,christian,n24).
% 3.04/3.11  0 [] accept_population(countryccivilorganization,atheist,n75).
% 3.04/3.11  0 [] accept_city(countryccivilorganization,towna).
% 3.04/3.11  0 [] accept_leader(countryccivilorganization,sufferterragovernment).
% 3.04/3.11  0 [] accept_number(countryafirstaidorganization,n5).
% 3.04/3.11  0 [] accept_number(countryafirstaidorganization,n4).
% 3.04/3.11  0 [] accept_number(countryafirstaidorganization,n3).
% 3.04/3.11  0 [] accept_number(countryafirstaidorganization,n2).
% 3.04/3.11  0 [] accept_number(countryafirstaidorganization,n1).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,other,n0).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,native,n0).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,muslim,n1).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,christian,n24).
% 3.04/3.11  0 [] accept_population(countryafirstaidorganization,atheist,n75).
% 3.04/3.11  0 [] accept_number(countryafirstaidorganization,n6).
% 3.04/3.11  0 [] accept_leader(countryafirstaidorganization,sufferterragovernment).
% 3.04/3.11  0 [] accept_city(countryafirstaidorganization,towna).
% 3.04/3.11  0 [] accept_leader(countrycmedicalorganization,countryccivilorganization).
% 3.04/3.11  0 [] accept_leader(countrycmedicalorganization,countrybcivilorganization).
% 3.04/3.11  0 [] accept_leader(countrycmedicalorganization,countrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_leader(countrycmedicalorganization,christiancountrychumanitarianorganization).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,other,n0).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,native,n0).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,muslim,n1).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,christian,n24).
% 3.04/3.11  0 [] accept_population(countrycmedicalorganization,atheist,n75).
% 3.04/3.11  0 [] accept_city(countrycmedicalorganization,towna).
% 3.04/3.11  0 [] accept_leader(countrycmedicalorganization,sufferterragovernment).
% 3.04/3.11  0 [] accept_leader(countrybcivilorganization,countryccivilorganization).
% 3.04/3.11  0 [] accept_leader(countrybcivilorganization,countrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_leader(countrybcivilorganization,christiancountrychumanitarianorganization).
% 3.04/3.11  0 [] accept_leader(countrybcivilorganization,countrycmedicalorganization).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,other,n0).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,native,n0).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,muslim,n1).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,christian,n24).
% 3.04/3.11  0 [] accept_population(countrybcivilorganization,atheist,n75).
% 3.04/3.11  0 [] accept_city(countrybcivilorganization,towna).
% 3.04/3.11  0 [] accept_leader(countrybcivilorganization,sufferterragovernment).
% 3.04/3.11  0 [] accept_number(sufferterragovernment,n5).
% 3.04/3.11  0 [] accept_number(sufferterragovernment,n4).
% 3.04/3.11  0 [] accept_number(sufferterragovernment,n3).
% 3.04/3.11  0 [] accept_number(sufferterragovernment,n2).
% 3.04/3.11  0 [] accept_number(sufferterragovernment,n1).
% 3.04/3.11  0 [] accept_number(sufferterragovernment,n6).
% 3.04/3.11  0 [] accept_number(countryacivilorganization,n5).
% 3.04/3.11  0 [] accept_number(countryacivilorganization,n4).
% 3.04/3.11  0 [] accept_number(countryacivilorganization,n3).
% 3.04/3.11  0 [] accept_number(countryacivilorganization,n2).
% 3.04/3.11  0 [] accept_number(countryacivilorganization,n1).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,other,n0).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,native,n0).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,muslim,n1).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,christian,n24).
% 3.04/3.11  0 [] accept_population(countryacivilorganization,atheist,n75).
% 3.04/3.11  0 [] accept_number(countryacivilorganization,n6).
% 3.04/3.11  0 [] accept_leader(countryacivilorganization,sufferterragovernment).
% 3.04/3.11  0 [] accept_city(countryacivilorganization,towna).
% 3.04/3.11  0 [] accept_number(countryccivilorganization,n3).
% 3.04/3.11  0 [] accept_number(countryccivilorganization,n2).
% 3.04/3.11  0 [] accept_number(countryccivilorganization,n1).
% 3.04/3.11  0 [] accept_number(countryccivilorganization,n4).
% 3.04/3.11  0 [] accept_leader(christiancountrychumanitarianorganization,countryccivilorganization).
% 3.04/3.11  0 [] accept_number(countrybcivilorganization,n5).
% 3.04/3.11  0 [] accept_number(countrybcivilorganization,n4).
% 3.04/3.11  0 [] accept_number(countrybcivilorganization,n3).
% 3.04/3.11  0 [] accept_number(countrybcivilorganization,n2).
% 3.04/3.11  0 [] accept_number(countrybcivilorganization,n1).
% 3.04/3.11  0 [] accept_number(countrybcivilorganization,n6).
% 3.04/3.11  0 [] accept_leader(christiancountrychumanitarianorganization,countrybcivilorganization).
% 3.04/3.11  0 [] accept_number(countrybhumanitarianorganization,n5).
% 3.04/3.11  0 [] accept_number(countrybhumanitarianorganization,n4).
% 3.04/3.11  0 [] accept_number(countrybhumanitarianorganization,n3).
% 3.04/3.11  0 [] accept_number(countrybhumanitarianorganization,n2).
% 3.04/3.11  0 [] accept_number(countrybhumanitarianorganization,n1).
% 3.04/3.11  0 [] accept_number(countrybhumanitarianorganization,n6).
% 3.04/3.11  0 [] accept_leader(christiancountrychumanitarianorganization,countrybhumanitarianorganization).
% 3.04/3.11  0 [] accept_leader(christiancountrychumanitarianorganization,countrycmedicalorganization).
% 3.04/3.11  0 [] accept_number(christiancountrychumanitarianorganization,n5).
% 3.04/3.11  0 [] accept_number(christiancountrychumanitarianorganization,n4).
% 3.04/3.11  0 [] accept_number(christiancountrychumanitarianorganization,n3).
% 3.04/3.11  0 [] accept_number(christiancountrychumanitarianorganization,n2).
% 3.04/3.11  0 [] accept_number(christiancountrychumanitarianorganization,n1).
% 3.04/3.11  0 [] accept_number(christiancountrychumanitarianorganization,n6).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,other,n0).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,native,n0).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,muslim,n1).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,christian,n24).
% 3.04/3.11  0 [] accept_population(christiancountrychumanitarianorganization,atheist,n75).
% 3.04/3.11  0 [] accept_city(christiancountrychumanitarianorganization,towna).
% 3.04/3.11  0 [] accept_leader(christiancountrychumanitarianorganization,sufferterragovernment).
% 3.04/3.11  0 [] accept_number(countrycmedicalorganization,n5).
% 3.04/3.11  0 [] accept_number(countrycmedicalorganization,n4).
% 3.04/3.11  0 [] accept_number(countrycmedicalorganization,n3).
% 3.04/3.11  0 [] accept_number(countrycmedicalorganization,n2).
% 3.04/3.11  0 [] accept_number(countrycmedicalorganization,n1).
% 3.04/3.11  0 [] accept_number(countrycmedicalorganization,n6).
% 3.04/3.11  0 [] accept_number(muslimcountrybhumanitarianorganization,n5).
% 3.04/3.11  0 [] accept_number(muslimcountrybhumanitarianorganization,n4).
% 3.04/3.11  0 [] accept_number(muslimcountrybhumanitarianorganization,n3).
% 3.04/3.11  0 [] accept_number(muslimcountrybhumanitarianorganization,n2).
% 3.04/3.11  0 [] accept_number(muslimcountrybhumanitarianorganization,n1).
% 3.04/3.11  0 [] accept_number(muslimcountrybhumanitarianorganization,n6).
% 3.04/3.11  0 [] -accept_city(muslimcountrybhumanitarianorganization,towna).
% 3.04/3.11  0 [] accept_leader(muslimcountrybhumanitarianorganization,sufferterragovernment).
% 3.04/3.11  0 [] rdn_translate(n0,rdn_pos(rdnn(n0))).
% 3.04/3.11  0 [] rdn_translate(n1,rdn_pos(rdnn(n1))).
% 3.04/3.11  0 [] rdn_translate(n2,rdn_pos(rdnn(n2))).
% 3.04/3.11  0 [] rdn_translate(n3,rdn_pos(rdnn(n3))).
% 3.04/3.11  0 [] rdn_translate(n4,rdn_pos(rdnn(n4))).
% 3.04/3.11  0 [] rdn_translate(n5,rdn_pos(rdnn(n5))).
% 3.04/3.11  0 [] rdn_translate(n6,rdn_pos(rdnn(n6))).
% 3.04/3.11  0 [] rdn_translate(n7,rdn_pos(rdnn(n7))).
% 3.04/3.11  0 [] rdn_translate(n8,rdn_pos(rdnn(n8))).
% 3.04/3.11  0 [] rdn_translate(n9,rdn_pos(rdnn(n9))).
% 3.04/3.11  0 [] rdn_translate(n10,rdn_pos(rdn(rdnn(n0),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(n11,rdn_pos(rdn(rdnn(n1),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(n12,rdn_pos(rdn(rdnn(n2),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(n13,rdn_pos(rdn(rdnn(n3),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(n14,rdn_pos(rdn(rdnn(n4),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(n15,rdn_pos(rdn(rdnn(n5),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(n16,rdn_pos(rdn(rdnn(n6),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(n17,rdn_pos(rdn(rdnn(n7),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(n18,rdn_pos(rdn(rdnn(n8),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(n19,rdn_pos(rdn(rdnn(n9),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(n20,rdn_pos(rdn(rdnn(n0),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(n21,rdn_pos(rdn(rdnn(n1),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(n22,rdn_pos(rdn(rdnn(n2),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(n23,rdn_pos(rdn(rdnn(n3),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(n24,rdn_pos(rdn(rdnn(n4),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(n25,rdn_pos(rdn(rdnn(n5),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(n26,rdn_pos(rdn(rdnn(n6),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(n27,rdn_pos(rdn(rdnn(n7),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(n28,rdn_pos(rdn(rdnn(n8),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(n29,rdn_pos(rdn(rdnn(n9),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(n30,rdn_pos(rdn(rdnn(n0),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(n31,rdn_pos(rdn(rdnn(n1),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(n32,rdn_pos(rdn(rdnn(n2),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(n33,rdn_pos(rdn(rdnn(n3),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(n34,rdn_pos(rdn(rdnn(n4),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(n35,rdn_pos(rdn(rdnn(n5),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(n36,rdn_pos(rdn(rdnn(n6),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(n37,rdn_pos(rdn(rdnn(n7),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(n38,rdn_pos(rdn(rdnn(n8),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(n39,rdn_pos(rdn(rdnn(n9),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(n40,rdn_pos(rdn(rdnn(n0),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(n41,rdn_pos(rdn(rdnn(n1),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(n42,rdn_pos(rdn(rdnn(n2),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(n43,rdn_pos(rdn(rdnn(n3),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(n44,rdn_pos(rdn(rdnn(n4),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(n45,rdn_pos(rdn(rdnn(n5),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(n46,rdn_pos(rdn(rdnn(n6),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(n47,rdn_pos(rdn(rdnn(n7),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(n48,rdn_pos(rdn(rdnn(n8),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(n49,rdn_pos(rdn(rdnn(n9),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(n50,rdn_pos(rdn(rdnn(n0),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(n51,rdn_pos(rdn(rdnn(n1),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(n52,rdn_pos(rdn(rdnn(n2),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(n53,rdn_pos(rdn(rdnn(n3),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(n54,rdn_pos(rdn(rdnn(n4),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(n55,rdn_pos(rdn(rdnn(n5),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(n56,rdn_pos(rdn(rdnn(n6),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(n57,rdn_pos(rdn(rdnn(n7),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(n58,rdn_pos(rdn(rdnn(n8),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(n59,rdn_pos(rdn(rdnn(n9),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(n60,rdn_pos(rdn(rdnn(n0),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(n61,rdn_pos(rdn(rdnn(n1),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(n62,rdn_pos(rdn(rdnn(n2),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(n63,rdn_pos(rdn(rdnn(n3),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(n64,rdn_pos(rdn(rdnn(n4),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(n65,rdn_pos(rdn(rdnn(n5),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(n66,rdn_pos(rdn(rdnn(n6),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(n67,rdn_pos(rdn(rdnn(n7),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(n68,rdn_pos(rdn(rdnn(n8),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(n69,rdn_pos(rdn(rdnn(n9),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(n70,rdn_pos(rdn(rdnn(n0),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(n71,rdn_pos(rdn(rdnn(n1),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(n72,rdn_pos(rdn(rdnn(n2),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(n73,rdn_pos(rdn(rdnn(n3),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(n74,rdn_pos(rdn(rdnn(n4),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(n75,rdn_pos(rdn(rdnn(n5),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(n76,rdn_pos(rdn(rdnn(n6),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(n77,rdn_pos(rdn(rdnn(n7),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(n78,rdn_pos(rdn(rdnn(n8),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(n79,rdn_pos(rdn(rdnn(n9),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(n80,rdn_pos(rdn(rdnn(n0),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(n81,rdn_pos(rdn(rdnn(n1),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(n82,rdn_pos(rdn(rdnn(n2),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(n83,rdn_pos(rdn(rdnn(n3),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(n84,rdn_pos(rdn(rdnn(n4),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(n85,rdn_pos(rdn(rdnn(n5),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(n86,rdn_pos(rdn(rdnn(n6),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(n87,rdn_pos(rdn(rdnn(n7),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(n88,rdn_pos(rdn(rdnn(n8),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(n89,rdn_pos(rdn(rdnn(n9),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(n90,rdn_pos(rdn(rdnn(n0),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(n91,rdn_pos(rdn(rdnn(n1),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(n92,rdn_pos(rdn(rdnn(n2),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(n93,rdn_pos(rdn(rdnn(n3),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(n94,rdn_pos(rdn(rdnn(n4),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(n95,rdn_pos(rdn(rdnn(n5),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(n96,rdn_pos(rdn(rdnn(n6),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(n97,rdn_pos(rdn(rdnn(n7),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(n98,rdn_pos(rdn(rdnn(n8),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(n99,rdn_pos(rdn(rdnn(n9),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(n100,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n101,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n102,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n103,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n104,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n105,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n106,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n107,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n108,rdn_pos(rdn(rdnn(n8),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n109,rdn_pos(rdn(rdnn(n9),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n110,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n111,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n112,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n113,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n114,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n115,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n116,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n117,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n118,rdn_pos(rdn(rdnn(n8),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n119,rdn_pos(rdn(rdnn(n9),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n120,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n121,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n122,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n123,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n124,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n125,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n126,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(n127,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn1,rdn_neg(rdnn(n1))).
% 3.04/3.11  0 [] rdn_translate(nn2,rdn_neg(rdnn(n2))).
% 3.04/3.11  0 [] rdn_translate(nn3,rdn_neg(rdnn(n3))).
% 3.04/3.11  0 [] rdn_translate(nn4,rdn_neg(rdnn(n4))).
% 3.04/3.11  0 [] rdn_translate(nn5,rdn_neg(rdnn(n5))).
% 3.04/3.11  0 [] rdn_translate(nn6,rdn_neg(rdnn(n6))).
% 3.04/3.11  0 [] rdn_translate(nn7,rdn_neg(rdnn(n7))).
% 3.04/3.11  0 [] rdn_translate(nn8,rdn_neg(rdnn(n8))).
% 3.04/3.11  0 [] rdn_translate(nn9,rdn_neg(rdnn(n9))).
% 3.04/3.11  0 [] rdn_translate(nn10,rdn_neg(rdn(rdnn(n0),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(nn11,rdn_neg(rdn(rdnn(n1),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(nn12,rdn_neg(rdn(rdnn(n2),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(nn13,rdn_neg(rdn(rdnn(n3),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(nn14,rdn_neg(rdn(rdnn(n4),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(nn15,rdn_neg(rdn(rdnn(n5),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(nn16,rdn_neg(rdn(rdnn(n6),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(nn17,rdn_neg(rdn(rdnn(n7),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(nn18,rdn_neg(rdn(rdnn(n8),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(nn19,rdn_neg(rdn(rdnn(n9),rdnn(n1)))).
% 3.04/3.11  0 [] rdn_translate(nn20,rdn_neg(rdn(rdnn(n0),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(nn21,rdn_neg(rdn(rdnn(n1),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(nn22,rdn_neg(rdn(rdnn(n2),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(nn23,rdn_neg(rdn(rdnn(n3),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(nn24,rdn_neg(rdn(rdnn(n4),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(nn25,rdn_neg(rdn(rdnn(n5),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(nn26,rdn_neg(rdn(rdnn(n6),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(nn27,rdn_neg(rdn(rdnn(n7),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(nn28,rdn_neg(rdn(rdnn(n8),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(nn29,rdn_neg(rdn(rdnn(n9),rdnn(n2)))).
% 3.04/3.11  0 [] rdn_translate(nn30,rdn_neg(rdn(rdnn(n0),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(nn31,rdn_neg(rdn(rdnn(n1),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(nn32,rdn_neg(rdn(rdnn(n2),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(nn33,rdn_neg(rdn(rdnn(n3),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(nn34,rdn_neg(rdn(rdnn(n4),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(nn35,rdn_neg(rdn(rdnn(n5),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(nn36,rdn_neg(rdn(rdnn(n6),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(nn37,rdn_neg(rdn(rdnn(n7),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(nn38,rdn_neg(rdn(rdnn(n8),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(nn39,rdn_neg(rdn(rdnn(n9),rdnn(n3)))).
% 3.04/3.11  0 [] rdn_translate(nn40,rdn_neg(rdn(rdnn(n0),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(nn41,rdn_neg(rdn(rdnn(n1),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(nn42,rdn_neg(rdn(rdnn(n2),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(nn43,rdn_neg(rdn(rdnn(n3),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(nn44,rdn_neg(rdn(rdnn(n4),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(nn45,rdn_neg(rdn(rdnn(n5),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(nn46,rdn_neg(rdn(rdnn(n6),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(nn47,rdn_neg(rdn(rdnn(n7),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(nn48,rdn_neg(rdn(rdnn(n8),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(nn49,rdn_neg(rdn(rdnn(n9),rdnn(n4)))).
% 3.04/3.11  0 [] rdn_translate(nn50,rdn_neg(rdn(rdnn(n0),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(nn51,rdn_neg(rdn(rdnn(n1),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(nn52,rdn_neg(rdn(rdnn(n2),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(nn53,rdn_neg(rdn(rdnn(n3),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(nn54,rdn_neg(rdn(rdnn(n4),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(nn55,rdn_neg(rdn(rdnn(n5),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(nn56,rdn_neg(rdn(rdnn(n6),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(nn57,rdn_neg(rdn(rdnn(n7),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(nn58,rdn_neg(rdn(rdnn(n8),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(nn59,rdn_neg(rdn(rdnn(n9),rdnn(n5)))).
% 3.04/3.11  0 [] rdn_translate(nn60,rdn_neg(rdn(rdnn(n0),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(nn61,rdn_neg(rdn(rdnn(n1),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(nn62,rdn_neg(rdn(rdnn(n2),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(nn63,rdn_neg(rdn(rdnn(n3),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(nn64,rdn_neg(rdn(rdnn(n4),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(nn65,rdn_neg(rdn(rdnn(n5),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(nn66,rdn_neg(rdn(rdnn(n6),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(nn67,rdn_neg(rdn(rdnn(n7),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(nn68,rdn_neg(rdn(rdnn(n8),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(nn69,rdn_neg(rdn(rdnn(n9),rdnn(n6)))).
% 3.04/3.11  0 [] rdn_translate(nn70,rdn_neg(rdn(rdnn(n0),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(nn71,rdn_neg(rdn(rdnn(n1),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(nn72,rdn_neg(rdn(rdnn(n2),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(nn73,rdn_neg(rdn(rdnn(n3),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(nn74,rdn_neg(rdn(rdnn(n4),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(nn75,rdn_neg(rdn(rdnn(n5),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(nn76,rdn_neg(rdn(rdnn(n6),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(nn77,rdn_neg(rdn(rdnn(n7),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(nn78,rdn_neg(rdn(rdnn(n8),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(nn79,rdn_neg(rdn(rdnn(n9),rdnn(n7)))).
% 3.04/3.11  0 [] rdn_translate(nn80,rdn_neg(rdn(rdnn(n0),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(nn81,rdn_neg(rdn(rdnn(n1),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(nn82,rdn_neg(rdn(rdnn(n2),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(nn83,rdn_neg(rdn(rdnn(n3),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(nn84,rdn_neg(rdn(rdnn(n4),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(nn85,rdn_neg(rdn(rdnn(n5),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(nn86,rdn_neg(rdn(rdnn(n6),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(nn87,rdn_neg(rdn(rdnn(n7),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(nn88,rdn_neg(rdn(rdnn(n8),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(nn89,rdn_neg(rdn(rdnn(n9),rdnn(n8)))).
% 3.04/3.11  0 [] rdn_translate(nn90,rdn_neg(rdn(rdnn(n0),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(nn91,rdn_neg(rdn(rdnn(n1),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(nn92,rdn_neg(rdn(rdnn(n2),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(nn93,rdn_neg(rdn(rdnn(n3),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(nn94,rdn_neg(rdn(rdnn(n4),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(nn95,rdn_neg(rdn(rdnn(n5),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(nn96,rdn_neg(rdn(rdnn(n6),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(nn97,rdn_neg(rdn(rdnn(n7),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(nn98,rdn_neg(rdn(rdnn(n8),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(nn99,rdn_neg(rdn(rdnn(n9),rdnn(n9)))).
% 3.04/3.11  0 [] rdn_translate(nn100,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn101,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn102,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn103,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn104,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn105,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn106,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn107,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn108,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn109,rdn_neg(rdn(rdnn(n9),rdn(rdnn(n0),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn110,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn111,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn112,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn113,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn114,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn115,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn116,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn117,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn118,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn119,rdn_neg(rdn(rdnn(n9),rdn(rdnn(n1),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn120,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn121,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn122,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn123,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn124,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn125,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn126,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn127,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_translate(nn128,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n2),rdnn(n1))))).
% 3.04/3.11  0 [] rdn_non_zero_digit(rdnn(n1)).
% 3.04/3.11  0 [] rdn_non_zero_digit(rdnn(n2)).
% 3.04/3.11  0 [] rdn_non_zero_digit(rdnn(n3)).
% 3.04/3.11  0 [] rdn_non_zero_digit(rdnn(n4)).
% 3.04/3.11  0 [] rdn_non_zero_digit(rdnn(n5)).
% 3.04/3.11  0 [] rdn_non_zero_digit(rdnn(n6)).
% 3.04/3.11  0 [] rdn_non_zero_digit(rdnn(n7)).
% 3.04/3.11  0 [] rdn_non_zero_digit(rdnn(n8)).
% 3.04/3.11  0 [] rdn_non_zero_digit(rdnn(n9)).
% 3.04/3.11  0 [] rdn_positive_less(rdnn(n0),rdnn(n1)).
% 3.04/3.11  0 [] rdn_positive_less(rdnn(n1),rdnn(n2)).
% 3.04/3.11  0 [] rdn_positive_less(rdnn(n2),rdnn(n3)).
% 3.04/3.11  0 [] rdn_positive_less(rdnn(n3),rdnn(n4)).
% 3.04/3.11  0 [] rdn_positive_less(rdnn(n4),rdnn(n5)).
% 3.04/3.11  0 [] rdn_positive_less(rdnn(n5),rdnn(n6)).
% 3.04/3.11  0 [] rdn_positive_less(rdnn(n6),rdnn(n7)).
% 3.04/3.11  0 [] rdn_positive_less(rdnn(n7),rdnn(n8)).
% 3.04/3.11  0 [] rdn_positive_less(rdnn(n8),rdnn(n9)).
% 3.04/3.11  0 [] -rdn_positive_less(rdnn(X),rdnn(Y))| -rdn_positive_less(rdnn(Y),rdnn(Z))|rdn_positive_less(rdnn(X),rdnn(Z)).
% 3.04/3.11  0 [] -rdn_positive_less(Os,Ob)|rdn_positive_less(rdn(rdnn(Ds),Os),rdn(rdnn(Db),Ob)).
% 3.04/3.11  0 [] -rdn_positive_less(rdnn(Ds),rdnn(Db))| -rdn_non_zero(O)|rdn_positive_less(rdn(rdnn(Ds),O),rdn(rdnn(Db),O)).
% 3.04/3.11  0 [] -rdn_non_zero(Ob)|rdn_positive_less(rdnn(D),rdn(rdnn(Db),Ob)).
% 3.04/3.11  0 [] -rdn_non_zero_digit(rdnn(X))|rdn_non_zero(rdnn(X)).
% 3.04/3.11  0 [] -rdn_non_zero(O)|rdn_non_zero(rdn(rdnn(D),O)).
% 3.04/3.11  0 [] -rdn_translate(X,rdn_pos(RDN_X))| -rdn_translate(Y,rdn_pos(RDN_Y))| -rdn_positive_less(RDN_X,RDN_Y)|less(X,Y).
% 3.04/3.11  0 [] -rdn_translate(X,rdn_neg(RDN_X))| -rdn_translate(Y,rdn_pos(RDN_Y))|less(X,Y).
% 3.04/3.11  0 [] -rdn_translate(X,rdn_neg(RDN_X))| -rdn_translate(Y,rdn_neg(RDN_Y))| -rdn_positive_less(RDN_Y,RDN_X)|less(X,Y).
% 3.04/3.11  0 [] -less(X,Y)| -less(Y,X).
% 3.04/3.11  0 [] -less(X,Y)|Y!=X.
% 3.04/3.11  0 [] less(X,Y)|less(Y,X)|Y=X.
% 3.04/3.11  0 [] -less_or_e_qual(X,Y)|less(X,Y)|X=Y.
% 3.04/3.11  0 [] less_or_e_qual(X,Y)| -less(X,Y).
% 3.04/3.11  0 [] less_or_e_qual(X,Y)|X!=Y.
% 3.04/3.11  0 [] -sum(X,n1,Y)| -less(Z,Y)|less_or_e_qual(Z,X).
% 3.04/3.11  0 [] -accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 3.04/3.11  end_of_list.
% 3.04/3.11  
% 3.04/3.11  SCAN INPUT: prop=0, horn=0, equality=1, symmetry=0, max_lits=6.
% 3.04/3.11  
% 3.04/3.11  This ia a non-Horn set with equality.  The strategy will be
% 3.04/3.11  Knuth-Bendix, ordered hyper_res, factoring, and unit
% 3.04/3.11  deletion, with positive clauses in sos and nonpositive
% 3.04/3.11  clauses in usable.
% 3.04/3.11  
% 3.04/3.11     dependent: set(knuth_bendix).
% 3.04/3.11     dependent: set(anl_eq).
% 3.04/3.11     dependent: set(para_from).
% 3.04/3.11     dependent: set(para_into).
% 3.04/3.11     dependent: clear(para_from_right).
% 3.04/3.11     dependent: clear(para_into_right).
% 3.04/3.11     dependent: set(para_from_vars).
% 3.04/3.11     dependent: set(eq_units_both_ways).
% 3.04/3.11     dependent: set(dynamic_demod_all).
% 3.04/3.11     dependent: set(dynamic_demod).
% 3.04/3.11     dependent: set(order_eq).
% 3.04/3.11     dependent: set(back_demod).
% 3.04/3.11     dependent: set(lrpo).
% 3.04/3.11     dependent: set(hyper_res).
% 3.04/3.11     dependent: set(unit_deletion).
% 3.04/3.11     dependent: set(factor).
% 3.04/3.11  
% 3.04/3.11  ------------> process usable:
% 3.04/3.11  ** KEPT (pick-wt=8): 1 [] -accept_team(A,B,C,D)|accept_city(A,C).
% 3.04/3.11  ** KEPT (pick-wt=8): 2 [] -accept_team(A,B,C,D)|accept_leader(A,B).
% 3.04/3.11  ** KEPT (pick-wt=8): 3 [] -accept_team(A,B,C,D)|accept_number(A,D).
% 3.04/3.11  ** KEPT (pick-wt=14): 4 [] accept_team(A,B,C,D)| -accept_city(A,C)| -accept_leader(A,B)| -accept_number(A,D).
% 3.04/3.11  ** KEPT (pick-wt=9): 5 [] -accept_number(A,B)| -less(C,B)|accept_number(A,C).
% 3.04/3.11  ** KEPT (pick-wt=11): 6 [] -accept_population(A,B,C)| -less(D,C)|accept_population(A,B,D).
% 3.04/3.11  ** KEPT (pick-wt=7): 7 [] -the_agent_in_all_proposed_teams(A,B,C)|accept_leader(A,B).
% 3.04/3.11  ** KEPT (pick-wt=7): 8 [] -the_agent_in_all_proposed_teams(A,B,C)|accept_city(A,C).
% 3.04/3.11  ** KEPT (pick-wt=7): 9 [] -any_agent_in_all_proposed_teams(A,B,C)|accept_leader(A,B).
% 3.04/3.11  ** KEPT (pick-wt=10): 10 [] -the_agent_not_in_any_proposed_teams(A,B,C)| -accept_city(A,C)| -accept_leader(A,B).
% 3.04/3.11  ** KEPT (pick-wt=6): 11 [] -min_number_of_proposed_agents(A,B)|accept_number(A,B).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 13 [] accept_population(A,atheist,n65)| -accept_city(A,suffertown).
% 3.04/3.11  ** KEPT (pick-wt=7): 14 [] accept_population(A,christian,n20)| -accept_city(A,suffertown).
% 3.04/3.11  ** KEPT (pick-wt=7): 15 [] accept_population(A,muslim,n7)| -accept_city(A,suffertown).
% 3.04/3.11  ** KEPT (pick-wt=7): 16 [] accept_population(A,native,n4)| -accept_city(A,suffertown).
% 3.04/3.11  ** KEPT (pick-wt=7): 17 [] accept_population(A,other,n4)| -accept_city(A,suffertown).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 19 [] accept_population(A,atheist,n54)| -accept_city(A,centraltown).
% 3.04/3.11  ** KEPT (pick-wt=7): 20 [] accept_population(A,christian,n23)| -accept_city(A,centraltown).
% 3.04/3.11  ** KEPT (pick-wt=7): 21 [] accept_population(A,muslim,n3)| -accept_city(A,centraltown).
% 3.04/3.11  ** KEPT (pick-wt=7): 22 [] accept_population(A,native,n1)| -accept_city(A,centraltown).
% 3.04/3.11  ** KEPT (pick-wt=7): 23 [] accept_population(A,other,n9)| -accept_city(A,centraltown).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 25 [] accept_population(A,atheist,n30)| -accept_city(A,sunnysideport).
% 3.04/3.11  ** KEPT (pick-wt=7): 26 [] accept_population(A,christian,n8)| -accept_city(A,sunnysideport).
% 3.04/3.11  ** KEPT (pick-wt=7): 27 [] accept_population(A,muslim,n60)| -accept_city(A,sunnysideport).
% 3.04/3.11  ** KEPT (pick-wt=7): 28 [] accept_population(A,native,n1)| -accept_city(A,sunnysideport).
% 3.04/3.11  ** KEPT (pick-wt=7): 29 [] accept_population(A,other,n1)| -accept_city(A,sunnysideport).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 31 [] accept_population(A,atheist,n70)| -accept_city(A,centrallakecity).
% 3.04/3.11  ** KEPT (pick-wt=7): 32 [] accept_population(A,christian,n15)| -accept_city(A,centrallakecity).
% 3.04/3.11  ** KEPT (pick-wt=7): 33 [] accept_population(A,muslim,n1)| -accept_city(A,centrallakecity).
% 3.04/3.11  ** KEPT (pick-wt=7): 34 [] accept_population(A,native,n10)| -accept_city(A,centrallakecity).
% 3.04/3.11  ** KEPT (pick-wt=7): 35 [] accept_population(A,other,n4)| -accept_city(A,centrallakecity).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 37 [] accept_population(A,atheist,n68)| -accept_city(A,stjosephburgh).
% 3.04/3.11  ** KEPT (pick-wt=7): 38 [] accept_population(A,christian,n16)| -accept_city(A,stjosephburgh).
% 3.04/3.11  ** KEPT (pick-wt=7): 39 [] accept_population(A,muslim,n1)| -accept_city(A,stjosephburgh).
% 3.04/3.11  ** KEPT (pick-wt=7): 40 [] accept_population(A,native,n11)| -accept_city(A,stjosephburgh).
% 3.04/3.11  ** KEPT (pick-wt=7): 41 [] accept_population(A,other,n4)| -accept_city(A,stjosephburgh).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 43 [] accept_population(A,atheist,n70)| -accept_city(A,northport).
% 3.04/3.11  ** KEPT (pick-wt=7): 44 [] accept_population(A,christian,n13)| -accept_city(A,northport).
% 3.04/3.11  ** KEPT (pick-wt=7): 45 [] accept_population(A,muslim,n0)| -accept_city(A,northport).
% 3.04/3.11  ** KEPT (pick-wt=7): 46 [] accept_population(A,native,n15)| -accept_city(A,northport).
% 3.04/3.11  ** KEPT (pick-wt=7): 47 [] accept_population(A,other,n2)| -accept_city(A,northport).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 49 [] accept_population(A,atheist,n12)| -accept_city(A,coastvillage).
% 3.04/3.11  ** KEPT (pick-wt=7): 50 [] accept_population(A,christian,n3)| -accept_city(A,coastvillage).
% 3.04/3.11  ** KEPT (pick-wt=7): 51 [] accept_population(A,muslim,n0)| -accept_city(A,coastvillage).
% 3.04/3.11  ** KEPT (pick-wt=7): 52 [] accept_population(A,native,n85)| -accept_city(A,coastvillage).
% 3.04/3.11  ** KEPT (pick-wt=7): 53 [] accept_population(A,other,n0)| -accept_city(A,coastvillage).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 55 [] accept_population(A,atheist,n0)| -accept_city(A,sunsetpoint).
% 3.04/3.11  ** KEPT (pick-wt=7): 56 [] accept_population(A,christian,n0)| -accept_city(A,sunsetpoint).
% 3.04/3.11  ** KEPT (pick-wt=7): 57 [] accept_population(A,muslim,n0)| -accept_city(A,sunsetpoint).
% 3.04/3.11  ** KEPT (pick-wt=7): 58 [] accept_population(A,native,n100)| -accept_city(A,sunsetpoint).
% 3.04/3.11  ** KEPT (pick-wt=7): 59 [] accept_population(A,other,n0)| -accept_city(A,sunsetpoint).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 61 [] accept_population(A,atheist,n75)| -accept_city(A,towna).
% 3.04/3.11  ** KEPT (pick-wt=7): 62 [] accept_population(A,christian,n24)| -accept_city(A,towna).
% 3.04/3.11  ** KEPT (pick-wt=7): 63 [] accept_population(A,muslim,n1)| -accept_city(A,towna).
% 3.04/3.11  ** KEPT (pick-wt=7): 64 [] accept_population(A,native,n0)| -accept_city(A,towna).
% 3.04/3.11  ** KEPT (pick-wt=7): 65 [] accept_population(A,other,n0)| -accept_city(A,towna).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 67 [] accept_population(A,atheist,n75)| -accept_city(A,citya).
% 3.04/3.11  ** KEPT (pick-wt=7): 68 [] accept_population(A,christian,n25)| -accept_city(A,citya).
% 3.04/3.11  ** KEPT (pick-wt=7): 69 [] accept_population(A,muslim,n0)| -accept_city(A,citya).
% 3.04/3.11  ** KEPT (pick-wt=7): 70 [] accept_population(A,native,n0)| -accept_city(A,citya).
% 3.04/3.11  ** KEPT (pick-wt=7): 71 [] accept_population(A,other,n0)| -accept_city(A,citya).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 73 [] accept_population(A,atheist,n70)| -accept_city(A,townb).
% 3.04/3.11  ** KEPT (pick-wt=7): 74 [] accept_population(A,christian,n20)| -accept_city(A,townb).
% 3.04/3.11  ** KEPT (pick-wt=7): 75 [] accept_population(A,muslim,n8)| -accept_city(A,townb).
% 3.04/3.11  ** KEPT (pick-wt=7): 76 [] accept_population(A,native,n0)| -accept_city(A,townb).
% 3.04/3.11  ** KEPT (pick-wt=7): 77 [] accept_population(A,other,n2)| -accept_city(A,townb).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 79 [] accept_population(A,atheist,n78)| -accept_city(A,cityb).
% 3.04/3.11  ** KEPT (pick-wt=7): 80 [] accept_population(A,christian,n20)| -accept_city(A,cityb).
% 3.04/3.11  ** KEPT (pick-wt=7): 81 [] accept_population(A,muslim,n1)| -accept_city(A,cityb).
% 3.04/3.11  ** KEPT (pick-wt=7): 82 [] accept_population(A,native,n0)| -accept_city(A,cityb).
% 3.04/3.11  ** KEPT (pick-wt=7): 83 [] accept_population(A,other,n1)| -accept_city(A,cityb).
% 3.04/3.11  ** 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).
% 3.04/3.11  ** KEPT (pick-wt=7): 85 [] accept_population(A,atheist,n30)| -accept_city(A,townc).
% 3.04/3.11  ** KEPT (pick-wt=7): 86 [] accept_population(A,christian,n0)| -accept_city(A,townc).
% 3.04/3.11  ** KEPT (pick-wt=7): 87 [] accept_population(A,muslim,n65)| -accept_city(A,townc).
% 3.04/3.11  ** KEPT (pick-wt=7): 88 [] accept_population(A,native,n0)| -accept_city(A,townc).
% 3.04/3.11  ** KEPT (pick-wt=7): 89 [] accept_population(A,other,n5)| -accept_city(A,townc).
% 3.04/3.11  ** KEPT (pick-wt=5): 90 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n4).
% 3.04/3.11  ** KEPT (pick-wt=5): 91 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n5).
% 3.04/3.11  ** KEPT (pick-wt=5): 92 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 93 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 94 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 95 [] -accept_team(countryamedicalorganization,christiansufferterrahumanitarianorganization,coastvillage,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 96 [] -accept_team(countryamedicalorganization,sufferterragovernment,coastvillage,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 97 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 98 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 99 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 100 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n5).
% 3.04/3.11  ** KEPT (pick-wt=5): 101 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.11  ** KEPT (pick-wt=5): 102 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 103 [] -accept_team(countryccivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 104 [] -accept_team(countryccivilorganization,countrybcivilorganization,townc,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 105 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,townc,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 106 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 107 [] -accept_team(countryccivilorganization,countrycmedicalorganization,townc,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 108 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n5).
% 3.04/3.11  ** KEPT (pick-wt=5): 109 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 110 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 111 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 112 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 113 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 114 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 3.04/3.11  ** KEPT (pick-wt=5): 115 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 3.04/3.11  ** KEPT (pick-wt=5): 116 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 3.04/3.11  ** KEPT (pick-wt=5): 117 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 3.04/3.11  ** KEPT (pick-wt=5): 118 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 119 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n4).
% 3.04/3.11  ** KEPT (pick-wt=5): 120 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 121 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 122 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 123 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 124 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 125 [] -accept_team(countryccivilorganization,countrybcivilorganization,towna,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 126 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,towna,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 127 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 128 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 129 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 3.04/3.11  ** KEPT (pick-wt=3): 130 [] -accept_city(countryamedicalorganization,coastvillage).
% 3.04/3.11  ** KEPT (pick-wt=3): 131 [] -accept_number(countryccivilorganization,n5).
% 3.04/3.11  ** KEPT (pick-wt=3): 132 [] -accept_number(countryccivilorganization,n6).
% 3.04/3.11  ** KEPT (pick-wt=3): 133 [] -accept_leader(christiansufferterrahumanitarianorganization,sufferterragovernment).
% 3.04/3.11  ** KEPT (pick-wt=3): 134 [] -accept_city(muslimcountrybhumanitarianorganization,towna).
% 3.04/3.11  ** KEPT (pick-wt=15): 135 [] -rdn_positive_less(rdnn(A),rdnn(B))| -rdn_positive_less(rdnn(B),rdnn(C))|rdn_positive_less(rdnn(A),rdnn(C)).
% 3.04/3.11  ** KEPT (pick-wt=12): 136 [] -rdn_positive_less(A,B)|rdn_positive_less(rdn(rdnn(C),A),rdn(rdnn(D),B)).
% 3.04/3.11  ** KEPT (pick-wt=16): 137 [] -rdn_positive_less(rdnn(A),rdnn(B))| -rdn_non_zero(C)|rdn_positive_less(rdn(rdnn(A),C),rdn(rdnn(B),C)).
% 3.04/3.11  ** KEPT (pick-wt=9): 138 [] -rdn_non_zero(A)|rdn_positive_less(rdnn(B),rdn(rdnn(C),A)).
% 3.04/3.11  ** KEPT (pick-wt=6): 139 [] -rdn_non_zero_digit(rdnn(A))|rdn_non_zero(rdnn(A)).
% 3.04/3.11  ** KEPT (pick-wt=7): 140 [] -rdn_non_zero(A)|rdn_non_zero(rdn(rdnn(B),A)).
% 3.04/3.11  ** KEPT (pick-wt=14): 141 [] -rdn_translate(A,rdn_pos(B))| -rdn_translate(C,rdn_pos(D))| -rdn_positive_less(B,D)|less(A,C).
% 3.04/3.11  ** KEPT (pick-wt=11): 142 [] -rdn_translate(A,rdn_neg(B))| -rdn_translate(C,rdn_pos(D))|less(A,C).
% 3.04/3.11  ** KEPT (pick-wt=14): 143 [] -rdn_translate(A,rdn_neg(B))| -rdn_translate(C,rdn_neg(D))| -rdn_positive_less(D,B)|less(A,C).
% 3.04/3.11  ** KEPT (pick-wt=6): 144 [] -less(A,B)| -less(B,A).
% 3.04/3.11  ** KEPT (pick-wt=6): 145 [] -less(A,B)|B!=A.
% 3.04/3.11  ** KEPT (pick-wt=9): 146 [] -less_or_e_qual(A,B)|less(A,B)|A=B.
% 3.04/3.11  ** KEPT (pick-wt=6): 147 [] less_or_e_qual(A,B)| -less(A,B).
% 3.04/3.11  ** KEPT (pick-wt=6): 148 [] less_or_e_qual(A,B)|A!=B.
% 3.04/3.11  ** KEPT (pick-wt=10): 149 [] -sum(A,n1,B)| -less(C,B)|less_or_e_qual(C,A).
% 3.04/3.11  ** KEPT (pick-wt=5): 150 [] -accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 3.04/3.11  
% 3.04/3.11  ------------> process sos:
% 3.04/3.11  ** KEPT (pick-wt=3): 154 [] A=A.
% 3.04/3.11  ** KEPT (pick-wt=5): 155 [] accept_team(countryahumanitarianorganization,countryacivilorganization,cityb,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 156 [] accept_team(countryahumanitarianorganization,countryacivilorganization,towna,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 157 [] accept_team(countryahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 158 [] accept_team(countryahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 3.04/3.11  ** KEPT (pick-wt=4): 159 [] the_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  ** KEPT (pick-wt=4): 160 [] any_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 3.04/3.11  ** KEPT (pick-wt=5): 161 [] accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n2).
% 3.04/3.11  ** KEPT (pick-wt=5): 162 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 3.04/3.11  ** KEPT (pick-wt=4): 163 [] the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.11  ** KEPT (pick-wt=4): 164 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.11  ** KEPT (pick-wt=5): 165 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.11  ** KEPT (pick-wt=5): 166 [] accept_team(countryamedicalorganization,countryacivilorganization,cityb,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 167 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 3.04/3.11  ** KEPT (pick-wt=5): 168 [] accept_team(countryafirstaidorganization,countryacivilorganization,cityb,n6).
% 3.04/3.11  ** KEPT (pick-wt=3): 169 [] accept_number(countrybhumanitarianorganization,n4).
% 3.04/3.11  ** KEPT (pick-wt=5): 170 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n4).
% 3.04/3.11  ** KEPT (pick-wt=5): 171 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,cityb,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 172 [] accept_team(sufferterragovernment,countryacivilorganization,cityb,n6).
% 3.04/3.11  ** KEPT (pick-wt=3): 173 [] accept_number(countrybhumanitarianorganization,n1).
% 3.04/3.11  ** KEPT (pick-wt=4): 174 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.11  ** KEPT (pick-wt=4): 175 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 3.04/3.11  ** KEPT (p
% 3.04/3.11  -------- PROOF -------- 
% 3.04/3.11  ick-wt=5): 176 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 3.04/3.11  ** KEPT (pick-wt=5): 177 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 178 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,towna,n6).
% 3.04/3.11  ** KEPT (pick-wt=5): 179 [] accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 3.04/3.11  
% 3.04/3.11  ----> UNIT CONFLICT at   0.03 sec ----> 180 [binary,179.1,150.1] $F.
% 3.04/3.11  
% 3.04/3.11  Length of proof is 0.  Level of proof is 0.
% 3.04/3.11  
% 3.04/3.11  ---------------- PROOF ----------------
% 3.04/3.11  % SZS status Theorem
% 3.04/3.11  % SZS output start Refutation
% See solution above
% 3.04/3.11  ------------ end of proof -------------
% 3.04/3.11  
% 3.04/3.11  
% 3.04/3.11  Search stopped by max_proofs option.
% 3.04/3.11  
% 3.04/3.11  
% 3.04/3.11  Search stopped by max_proofs option.
% 3.04/3.11  
% 3.04/3.11  ============ end of search ============
% 3.04/3.11  
% 3.04/3.11  -------------- statistics -------------
% 3.04/3.11  clauses given                  0
% 3.04/3.11  clauses generated              4
% 3.04/3.11  clauses kept                 179
% 3.04/3.11  clauses forward subsumed       0
% 3.04/3.11  clauses back subsumed          0
% 3.04/3.11  Kbytes malloced             1953
% 3.04/3.11  
% 3.04/3.11  ----------- times (seconds) -----------
% 3.04/3.11  user CPU time          0.03          (0 hr, 0 min, 0 sec)
% 3.04/3.11  system CPU time        0.00          (0 hr, 0 min, 0 sec)
% 3.04/3.11  wall-clock time        3             (0 hr, 0 min, 3 sec)
% 3.04/3.11  
% 3.04/3.11  That finishes the proof of the theorem.
% 3.04/3.11  
% 3.04/3.11  Process 12963 finished Wed Jul 27 02:53:04 2022
% 3.04/3.11  Otter interrupted
% 3.04/3.11  PROOF FOUND
%------------------------------------------------------------------------------