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

% Computer : n004.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:45 EDT 2022

% Result   : Unknown 5.86s 6.02s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11  % Problem  : AGT011+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.03/0.12  % Command  : otter-tptp-script %s
% 0.12/0.33  % Computer : n004.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 300
% 0.12/0.33  % DateTime : Wed Jul 27 02:46:21 EDT 2022
% 0.12/0.33  % CPUTime  : 
% 2.56/2.75  ----- Otter 3.3f, August 2004 -----
% 2.56/2.75  The process was started by sandbox2 on n004.cluster.edu,
% 2.56/2.75  Wed Jul 27 02:46:21 2022
% 2.56/2.75  The command was "./otter".  The process ID is 16797.
% 2.56/2.75  
% 2.56/2.75  set(prolog_style_variables).
% 2.56/2.75  set(auto).
% 2.56/2.75     dependent: set(auto1).
% 2.56/2.75     dependent: set(process_input).
% 2.56/2.75     dependent: clear(print_kept).
% 2.56/2.75     dependent: clear(print_new_demod).
% 2.56/2.75     dependent: clear(print_back_demod).
% 2.56/2.75     dependent: clear(print_back_sub).
% 2.56/2.75     dependent: set(control_memory).
% 2.56/2.75     dependent: assign(max_mem, 12000).
% 2.56/2.75     dependent: assign(pick_given_ratio, 4).
% 2.56/2.75     dependent: assign(stats_level, 1).
% 2.56/2.75     dependent: assign(max_seconds, 10800).
% 2.56/2.75  clear(print_given).
% 2.56/2.75  
% 2.56/2.75  formula_list(usable).
% 2.56/2.75  all A (A=A).
% 2.56/2.75  all A C N L (accept_team(A,L,C,N)<->accept_city(A,C)&accept_leader(A,L)&accept_number(A,N)).
% 2.56/2.75  all A N M (accept_number(A,N)&less(M,N)->accept_number(A,M)).
% 2.56/2.75  all A N M P (accept_population(A,P,N)&less(M,N)->accept_population(A,P,M)).
% 2.56/2.75  all A L C (the_agent_in_all_proposed_teams(A,L,C)->accept_leader(A,L)&accept_city(A,C)).
% 2.56/2.75  all A L C (any_agent_in_all_proposed_teams(A,L,C)->accept_leader(A,L)).
% 2.56/2.75  all A L C (the_agent_not_in_any_proposed_teams(A,L,C)-> -(accept_city(A,C)&accept_leader(A,L))).
% 2.56/2.75  all A N (min_number_of_proposed_agents(A,N)->accept_number(A,N)).
% 2.56/2.75  all A (accept_population(A,atheist,n65)&accept_population(A,christian,n20)&accept_population(A,muslim,n7)&accept_population(A,native,n4)&accept_population(A,other,n4)<->accept_city(A,suffertown)).
% 2.56/2.75  all A (accept_population(A,atheist,n54)&accept_population(A,christian,n23)&accept_population(A,muslim,n3)&accept_population(A,native,n1)&accept_population(A,other,n9)<->accept_city(A,centraltown)).
% 2.56/2.75  all A (accept_population(A,atheist,n30)&accept_population(A,christian,n8)&accept_population(A,muslim,n60)&accept_population(A,native,n1)&accept_population(A,other,n1)<->accept_city(A,sunnysideport)).
% 2.56/2.75  all A (accept_population(A,atheist,n70)&accept_population(A,christian,n15)&accept_population(A,muslim,n1)&accept_population(A,native,n10)&accept_population(A,other,n4)<->accept_city(A,centrallakecity)).
% 2.56/2.75  all A (accept_population(A,atheist,n68)&accept_population(A,christian,n16)&accept_population(A,muslim,n1)&accept_population(A,native,n11)&accept_population(A,other,n4)<->accept_city(A,stjosephburgh)).
% 2.56/2.75  all A (accept_population(A,atheist,n70)&accept_population(A,christian,n13)&accept_population(A,muslim,n0)&accept_population(A,native,n15)&accept_population(A,other,n2)<->accept_city(A,northport)).
% 2.56/2.75  all A (accept_population(A,atheist,n12)&accept_population(A,christian,n3)&accept_population(A,muslim,n0)&accept_population(A,native,n85)&accept_population(A,other,n0)<->accept_city(A,coastvillage)).
% 2.56/2.75  all A (accept_population(A,atheist,n0)&accept_population(A,christian,n0)&accept_population(A,muslim,n0)&accept_population(A,native,n100)&accept_population(A,other,n0)<->accept_city(A,sunsetpoint)).
% 2.56/2.75  all A (accept_population(A,atheist,n75)&accept_population(A,christian,n24)&accept_population(A,muslim,n1)&accept_population(A,native,n0)&accept_population(A,other,n0)<->accept_city(A,towna)).
% 2.56/2.75  all A (accept_population(A,atheist,n75)&accept_population(A,christian,n25)&accept_population(A,muslim,n0)&accept_population(A,native,n0)&accept_population(A,other,n0)<->accept_city(A,citya)).
% 2.56/2.75  all A (accept_population(A,atheist,n70)&accept_population(A,christian,n20)&accept_population(A,muslim,n8)&accept_population(A,native,n0)&accept_population(A,other,n2)<->accept_city(A,townb)).
% 2.56/2.75  all A (accept_population(A,atheist,n78)&accept_population(A,christian,n20)&accept_population(A,muslim,n1)&accept_population(A,native,n0)&accept_population(A,other,n1)<->accept_city(A,cityb)).
% 2.56/2.75  all A (accept_population(A,atheist,n30)&accept_population(A,christian,n0)&accept_population(A,muslim,n65)&accept_population(A,native,n0)&accept_population(A,other,n5)<->accept_city(A,townc)).
% 2.56/2.75  accept_team(countryahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.56/2.75  accept_team(countryahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.56/2.75  accept_team(countryahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.56/2.75  accept_team(countryahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  any_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n2).
% 2.56/2.75  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.56/2.75  the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.56/2.75  accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.56/2.75  accept_team(countryamedicalorganization,countryacivilorganization,cityb,n6).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.56/2.75  accept_team(countryafirstaidorganization,countryacivilorganization,cityb,n6).
% 2.56/2.75  accept_number(countrybhumanitarianorganization,n4).
% 2.56/2.75  accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n4).
% 2.56/2.75  accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.56/2.75  accept_team(sufferterragovernment,countryacivilorganization,cityb,n6).
% 2.56/2.75  accept_number(countrybhumanitarianorganization,n1).
% 2.56/2.75  the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.56/2.75  accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.56/2.75  accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 2.56/2.75  accept_number(countryahumanitarianorganization,n2).
% 2.56/2.75  -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n2).
% 2.56/2.75  -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n2).
% 2.56/2.75  -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n2).
% 2.56/2.75  -accept_team(countryamedicalorganization,christiansufferterrahumanitarianorganization,coastvillage,n2).
% 2.56/2.75  -accept_team(countryamedicalorganization,sufferterragovernment,coastvillage,n2).
% 2.56/2.75  -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.56/2.75  -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n6).
% 2.56/2.75  -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n6).
% 2.56/2.75  the_agent_not_in_any_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  any_agent_in_all_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  accept_team(countryccivilorganization,countrycmedicalorganization,towna,n4).
% 2.56/2.75  -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n5).
% 2.56/2.75  the_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.56/2.75  accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n4).
% 2.56/2.75  accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n5).
% 2.56/2.75  accept_number(countrybcivilorganization,n5).
% 2.56/2.75  the_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.56/2.75  accept_team(sufferterragovernment,countryacivilorganization,towna,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.56/2.75  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.56/2.75  accept_number(countrycmedicalorganization,n4).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.56/2.75  accept_number(countrycmedicalorganization,n5).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.56/2.75  the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.56/2.75  accept_team(countryafirstaidorganization,countryacivilorganization,towna,n6).
% 2.56/2.75  accept_number(countryacivilorganization,n2).
% 2.56/2.75  accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.56/2.75  accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.56/2.75  accept_team(countryacivilorganization,countryafirstaidorganization,coastvillage,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  any_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  accept_number(countryafirstaidorganization,n2).
% 2.56/2.75  accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.56/2.75  accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.56/2.75  accept_team(countryafirstaidorganization,countryacivilorganization,coastvillage,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  any_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.56/2.75  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.56/2.75  accept_number(christiancountrychumanitarianorganization,n5).
% 2.56/2.75  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.56/2.75  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.56/2.75  accept_team(countrybcivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(countrybcivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(countrybcivilorganization,countrycmedicalorganization,townc,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  any_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n5).
% 2.56/2.75  accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n6).
% 2.56/2.75  accept_team(sufferterragovernment,countryacivilorganization,coastvillage,n6).
% 2.56/2.75  accept_team(sufferterragovernment,countryafirstaidorganization,coastvillage,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  any_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  accept_number(christiansufferterrahumanitarianorganization,n2).
% 2.56/2.75  accept_number(countryahumanitarianorganization,n5).
% 2.56/2.75  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.56/2.75  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.56/2.75  accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.56/2.75  accept_team(christiansufferterrahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.56/2.75  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.56/2.75  accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.56/2.75  accept_number(muslimcountrybhumanitarianorganization,n3).
% 2.56/2.75  accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,townc,n4).
% 2.56/2.75  accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.56/2.75  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  accept_team(countryacivilorganization,countryahumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(countryafirstaidorganization,countryahumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countryccivilorganization,townc,n4).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  -accept_team(countryccivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.56/2.75  -accept_team(countryccivilorganization,countrybcivilorganization,townc,n6).
% 2.56/2.75  -accept_team(countryccivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.56/2.75  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.56/2.75  -accept_team(countryccivilorganization,countrycmedicalorganization,townc,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  any_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n2).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(sufferterragovernment,countryahumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(countryamedicalorganization,countryahumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(countrycmedicalorganization,countryccivilorganization,townc,n4).
% 2.56/2.75  accept_team(countrycmedicalorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(countrycmedicalorganization,countrybcivilorganization,townc,n6).
% 2.56/2.75  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  any_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.56/2.75  accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,cityb,n6).
% 2.56/2.75  accept_number(christiansufferterrahumanitarianorganization,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.56/2.75  any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.56/2.75  -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.56/2.75  -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.56/2.75  accept_team(sufferterragovernment,countryahumanitarianorganization,cityb,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.56/2.75  any_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.56/2.75  accept_team(countryafirstaidorganization,countryahumanitarianorganization,cityb,n6).
% 2.56/2.75  accept_number(countryafirstaidorganization,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.56/2.75  any_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.56/2.75  accept_team(countryafirstaidorganization,sufferterragovernment,towna,n5).
% 2.56/2.75  accept_team(countryafirstaidorganization,sufferterragovernment,towna,n6).
% 2.56/2.75  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n5).
% 2.56/2.75  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n6).
% 2.56/2.75  accept_team(countryamedicalorganization,countryahumanitarianorganization,cityb,n6).
% 2.56/2.75  accept_number(countryamedicalorganization,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.56/2.75  any_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.56/2.75  accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.56/2.75  accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.56/2.75  any_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.56/2.75  accept_number(countryahumanitarianorganization,n6).
% 2.56/2.75  accept_team(countryacivilorganization,countryahumanitarianorganization,cityb,n6).
% 2.56/2.75  accept_number(countryacivilorganization,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.56/2.75  any_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.56/2.75  accept_number(countrybhumanitarianorganization,n5).
% 2.56/2.75  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.56/2.75  accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n2).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n2).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n2).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n2).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n2).
% 2.56/2.75  accept_number(muslimcountrybhumanitarianorganization,n2).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n4).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.56/2.75  accept_team(countryamedicalorganization,sufferterragovernment,towna,n5).
% 2.56/2.75  accept_team(countryamedicalorganization,sufferterragovernment,towna,n6).
% 2.56/2.75  accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n5).
% 2.56/2.75  accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.56/2.75  accept_number(christiancountrychumanitarianorganization,n2).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.56/2.75  accept_number(countrybhumanitarianorganization,n2).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.56/2.75  accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.56/2.75  accept_number(countrybcivilorganization,n2).
% 2.56/2.75  accept_number(countrybcivilorganization,n3).
% 2.56/2.75  accept_team(countrybcivilorganization,countryccivilorganization,towna,n4).
% 2.56/2.75  accept_team(countrybcivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.56/2.75  accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.56/2.75  accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.56/2.75  accept_number(sufferterragovernment,n2).
% 2.56/2.75  -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n2).
% 2.56/2.75  -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.56/2.75  accept_number(countryccivilorganization,n2).
% 2.56/2.75  accept_number(countryccivilorganization,n3).
% 2.56/2.75  -accept_team(countryccivilorganization,countrybcivilorganization,towna,n6).
% 2.56/2.75  -accept_team(countryccivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.56/2.75  -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.56/2.75  -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.56/2.75  accept_number(sufferterragovernment,n5).
% 2.56/2.75  accept_team(countryacivilorganization,sufferterragovernment,towna,n5).
% 2.56/2.75  accept_number(sufferterragovernment,n6).
% 2.56/2.75  accept_team(countryacivilorganization,sufferterragovernment,towna,n6).
% 2.56/2.75  accept_number(countrycmedicalorganization,n2).
% 2.56/2.75  accept_number(countrycmedicalorganization,n3).
% 2.56/2.75  accept_team(countrycmedicalorganization,countryccivilorganization,towna,n4).
% 2.56/2.75  accept_team(countrycmedicalorganization,countrybcivilorganization,towna,n6).
% 2.56/2.75  accept_team(countrycmedicalorganization,countrybhumanitarianorganization,towna,n6).
% 2.56/2.75  accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.56/2.75  accept_number(christiancountrychumanitarianorganization,n3).
% 2.56/2.75  accept_number(countryccivilorganization,n4).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countryccivilorganization,towna,n4).
% 2.56/2.75  accept_number(countrybcivilorganization,n6).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.56/2.75  accept_number(countrybhumanitarianorganization,n6).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.56/2.75  accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.56/2.75  accept_number(christiancountrychumanitarianorganization,n6).
% 2.56/2.75  the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.56/2.75  accept_number(countrycmedicalorganization,n6).
% 2.56/2.75  -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.56/2.75  accept_number(muslimcountrybhumanitarianorganization,n6).
% 2.56/2.75  the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.56/2.75  any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.56/2.75  rdn_translate(n0,rdn_pos(rdnn(n0))).
% 2.56/2.75  rdn_translate(n1,rdn_pos(rdnn(n1))).
% 2.56/2.75  rdn_translate(n2,rdn_pos(rdnn(n2))).
% 2.56/2.75  rdn_translate(n3,rdn_pos(rdnn(n3))).
% 2.56/2.75  rdn_translate(n4,rdn_pos(rdnn(n4))).
% 2.56/2.75  rdn_translate(n5,rdn_pos(rdnn(n5))).
% 2.56/2.75  rdn_translate(n6,rdn_pos(rdnn(n6))).
% 2.56/2.75  rdn_translate(n7,rdn_pos(rdnn(n7))).
% 2.56/2.75  rdn_translate(n8,rdn_pos(rdnn(n8))).
% 2.56/2.75  rdn_translate(n9,rdn_pos(rdnn(n9))).
% 2.56/2.75  rdn_translate(n10,rdn_pos(rdn(rdnn(n0),rdnn(n1)))).
% 2.56/2.75  rdn_translate(n11,rdn_pos(rdn(rdnn(n1),rdnn(n1)))).
% 2.56/2.75  rdn_translate(n12,rdn_pos(rdn(rdnn(n2),rdnn(n1)))).
% 2.56/2.75  rdn_translate(n13,rdn_pos(rdn(rdnn(n3),rdnn(n1)))).
% 2.56/2.75  rdn_translate(n14,rdn_pos(rdn(rdnn(n4),rdnn(n1)))).
% 2.56/2.75  rdn_translate(n15,rdn_pos(rdn(rdnn(n5),rdnn(n1)))).
% 2.56/2.75  rdn_translate(n16,rdn_pos(rdn(rdnn(n6),rdnn(n1)))).
% 2.56/2.75  rdn_translate(n17,rdn_pos(rdn(rdnn(n7),rdnn(n1)))).
% 2.56/2.75  rdn_translate(n18,rdn_pos(rdn(rdnn(n8),rdnn(n1)))).
% 2.56/2.75  rdn_translate(n19,rdn_pos(rdn(rdnn(n9),rdnn(n1)))).
% 2.56/2.75  rdn_translate(n20,rdn_pos(rdn(rdnn(n0),rdnn(n2)))).
% 2.56/2.75  rdn_translate(n21,rdn_pos(rdn(rdnn(n1),rdnn(n2)))).
% 2.56/2.75  rdn_translate(n22,rdn_pos(rdn(rdnn(n2),rdnn(n2)))).
% 2.56/2.75  rdn_translate(n23,rdn_pos(rdn(rdnn(n3),rdnn(n2)))).
% 2.56/2.75  rdn_translate(n24,rdn_pos(rdn(rdnn(n4),rdnn(n2)))).
% 2.56/2.75  rdn_translate(n25,rdn_pos(rdn(rdnn(n5),rdnn(n2)))).
% 2.56/2.75  rdn_translate(n26,rdn_pos(rdn(rdnn(n6),rdnn(n2)))).
% 2.56/2.75  rdn_translate(n27,rdn_pos(rdn(rdnn(n7),rdnn(n2)))).
% 2.56/2.75  rdn_translate(n28,rdn_pos(rdn(rdnn(n8),rdnn(n2)))).
% 2.56/2.75  rdn_translate(n29,rdn_pos(rdn(rdnn(n9),rdnn(n2)))).
% 2.56/2.75  rdn_translate(n30,rdn_pos(rdn(rdnn(n0),rdnn(n3)))).
% 2.56/2.75  rdn_translate(n31,rdn_pos(rdn(rdnn(n1),rdnn(n3)))).
% 2.56/2.75  rdn_translate(n32,rdn_pos(rdn(rdnn(n2),rdnn(n3)))).
% 2.56/2.75  rdn_translate(n33,rdn_pos(rdn(rdnn(n3),rdnn(n3)))).
% 2.56/2.75  rdn_translate(n34,rdn_pos(rdn(rdnn(n4),rdnn(n3)))).
% 2.56/2.75  rdn_translate(n35,rdn_pos(rdn(rdnn(n5),rdnn(n3)))).
% 2.56/2.75  rdn_translate(n36,rdn_pos(rdn(rdnn(n6),rdnn(n3)))).
% 2.56/2.75  rdn_translate(n37,rdn_pos(rdn(rdnn(n7),rdnn(n3)))).
% 2.56/2.75  rdn_translate(n38,rdn_pos(rdn(rdnn(n8),rdnn(n3)))).
% 2.56/2.75  rdn_translate(n39,rdn_pos(rdn(rdnn(n9),rdnn(n3)))).
% 2.56/2.75  rdn_translate(n40,rdn_pos(rdn(rdnn(n0),rdnn(n4)))).
% 2.56/2.75  rdn_translate(n41,rdn_pos(rdn(rdnn(n1),rdnn(n4)))).
% 2.56/2.75  rdn_translate(n42,rdn_pos(rdn(rdnn(n2),rdnn(n4)))).
% 2.56/2.75  rdn_translate(n43,rdn_pos(rdn(rdnn(n3),rdnn(n4)))).
% 2.56/2.75  rdn_translate(n44,rdn_pos(rdn(rdnn(n4),rdnn(n4)))).
% 2.56/2.75  rdn_translate(n45,rdn_pos(rdn(rdnn(n5),rdnn(n4)))).
% 2.56/2.75  rdn_translate(n46,rdn_pos(rdn(rdnn(n6),rdnn(n4)))).
% 2.56/2.75  rdn_translate(n47,rdn_pos(rdn(rdnn(n7),rdnn(n4)))).
% 2.64/2.75  rdn_translate(n48,rdn_pos(rdn(rdnn(n8),rdnn(n4)))).
% 2.64/2.75  rdn_translate(n49,rdn_pos(rdn(rdnn(n9),rdnn(n4)))).
% 2.64/2.75  rdn_translate(n50,rdn_pos(rdn(rdnn(n0),rdnn(n5)))).
% 2.64/2.75  rdn_translate(n51,rdn_pos(rdn(rdnn(n1),rdnn(n5)))).
% 2.64/2.75  rdn_translate(n52,rdn_pos(rdn(rdnn(n2),rdnn(n5)))).
% 2.64/2.75  rdn_translate(n53,rdn_pos(rdn(rdnn(n3),rdnn(n5)))).
% 2.64/2.75  rdn_translate(n54,rdn_pos(rdn(rdnn(n4),rdnn(n5)))).
% 2.64/2.75  rdn_translate(n55,rdn_pos(rdn(rdnn(n5),rdnn(n5)))).
% 2.64/2.75  rdn_translate(n56,rdn_pos(rdn(rdnn(n6),rdnn(n5)))).
% 2.64/2.75  rdn_translate(n57,rdn_pos(rdn(rdnn(n7),rdnn(n5)))).
% 2.64/2.75  rdn_translate(n58,rdn_pos(rdn(rdnn(n8),rdnn(n5)))).
% 2.64/2.75  rdn_translate(n59,rdn_pos(rdn(rdnn(n9),rdnn(n5)))).
% 2.64/2.75  rdn_translate(n60,rdn_pos(rdn(rdnn(n0),rdnn(n6)))).
% 2.64/2.75  rdn_translate(n61,rdn_pos(rdn(rdnn(n1),rdnn(n6)))).
% 2.64/2.75  rdn_translate(n62,rdn_pos(rdn(rdnn(n2),rdnn(n6)))).
% 2.64/2.75  rdn_translate(n63,rdn_pos(rdn(rdnn(n3),rdnn(n6)))).
% 2.64/2.75  rdn_translate(n64,rdn_pos(rdn(rdnn(n4),rdnn(n6)))).
% 2.64/2.75  rdn_translate(n65,rdn_pos(rdn(rdnn(n5),rdnn(n6)))).
% 2.64/2.75  rdn_translate(n66,rdn_pos(rdn(rdnn(n6),rdnn(n6)))).
% 2.64/2.75  rdn_translate(n67,rdn_pos(rdn(rdnn(n7),rdnn(n6)))).
% 2.64/2.75  rdn_translate(n68,rdn_pos(rdn(rdnn(n8),rdnn(n6)))).
% 2.64/2.75  rdn_translate(n69,rdn_pos(rdn(rdnn(n9),rdnn(n6)))).
% 2.64/2.75  rdn_translate(n70,rdn_pos(rdn(rdnn(n0),rdnn(n7)))).
% 2.64/2.75  rdn_translate(n71,rdn_pos(rdn(rdnn(n1),rdnn(n7)))).
% 2.64/2.75  rdn_translate(n72,rdn_pos(rdn(rdnn(n2),rdnn(n7)))).
% 2.64/2.75  rdn_translate(n73,rdn_pos(rdn(rdnn(n3),rdnn(n7)))).
% 2.64/2.75  rdn_translate(n74,rdn_pos(rdn(rdnn(n4),rdnn(n7)))).
% 2.64/2.75  rdn_translate(n75,rdn_pos(rdn(rdnn(n5),rdnn(n7)))).
% 2.64/2.75  rdn_translate(n76,rdn_pos(rdn(rdnn(n6),rdnn(n7)))).
% 2.64/2.75  rdn_translate(n77,rdn_pos(rdn(rdnn(n7),rdnn(n7)))).
% 2.64/2.75  rdn_translate(n78,rdn_pos(rdn(rdnn(n8),rdnn(n7)))).
% 2.64/2.75  rdn_translate(n79,rdn_pos(rdn(rdnn(n9),rdnn(n7)))).
% 2.64/2.75  rdn_translate(n80,rdn_pos(rdn(rdnn(n0),rdnn(n8)))).
% 2.64/2.75  rdn_translate(n81,rdn_pos(rdn(rdnn(n1),rdnn(n8)))).
% 2.64/2.75  rdn_translate(n82,rdn_pos(rdn(rdnn(n2),rdnn(n8)))).
% 2.64/2.75  rdn_translate(n83,rdn_pos(rdn(rdnn(n3),rdnn(n8)))).
% 2.64/2.75  rdn_translate(n84,rdn_pos(rdn(rdnn(n4),rdnn(n8)))).
% 2.64/2.75  rdn_translate(n85,rdn_pos(rdn(rdnn(n5),rdnn(n8)))).
% 2.64/2.75  rdn_translate(n86,rdn_pos(rdn(rdnn(n6),rdnn(n8)))).
% 2.64/2.75  rdn_translate(n87,rdn_pos(rdn(rdnn(n7),rdnn(n8)))).
% 2.64/2.75  rdn_translate(n88,rdn_pos(rdn(rdnn(n8),rdnn(n8)))).
% 2.64/2.75  rdn_translate(n89,rdn_pos(rdn(rdnn(n9),rdnn(n8)))).
% 2.64/2.75  rdn_translate(n90,rdn_pos(rdn(rdnn(n0),rdnn(n9)))).
% 2.64/2.75  rdn_translate(n91,rdn_pos(rdn(rdnn(n1),rdnn(n9)))).
% 2.64/2.75  rdn_translate(n92,rdn_pos(rdn(rdnn(n2),rdnn(n9)))).
% 2.64/2.75  rdn_translate(n93,rdn_pos(rdn(rdnn(n3),rdnn(n9)))).
% 2.64/2.75  rdn_translate(n94,rdn_pos(rdn(rdnn(n4),rdnn(n9)))).
% 2.64/2.75  rdn_translate(n95,rdn_pos(rdn(rdnn(n5),rdnn(n9)))).
% 2.64/2.75  rdn_translate(n96,rdn_pos(rdn(rdnn(n6),rdnn(n9)))).
% 2.64/2.75  rdn_translate(n97,rdn_pos(rdn(rdnn(n7),rdnn(n9)))).
% 2.64/2.75  rdn_translate(n98,rdn_pos(rdn(rdnn(n8),rdnn(n9)))).
% 2.64/2.75  rdn_translate(n99,rdn_pos(rdn(rdnn(n9),rdnn(n9)))).
% 2.64/2.75  rdn_translate(n100,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n101,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n102,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n103,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n104,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n105,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n106,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n107,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n108,rdn_pos(rdn(rdnn(n8),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n109,rdn_pos(rdn(rdnn(n9),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n110,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n111,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n112,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n113,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n114,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n115,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n116,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n117,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n118,rdn_pos(rdn(rdnn(n8),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n119,rdn_pos(rdn(rdnn(n9),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n120,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n121,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n122,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n123,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n124,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n125,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n126,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(n127,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn1,rdn_neg(rdnn(n1))).
% 2.64/2.75  rdn_translate(nn2,rdn_neg(rdnn(n2))).
% 2.64/2.75  rdn_translate(nn3,rdn_neg(rdnn(n3))).
% 2.64/2.75  rdn_translate(nn4,rdn_neg(rdnn(n4))).
% 2.64/2.75  rdn_translate(nn5,rdn_neg(rdnn(n5))).
% 2.64/2.75  rdn_translate(nn6,rdn_neg(rdnn(n6))).
% 2.64/2.75  rdn_translate(nn7,rdn_neg(rdnn(n7))).
% 2.64/2.75  rdn_translate(nn8,rdn_neg(rdnn(n8))).
% 2.64/2.75  rdn_translate(nn9,rdn_neg(rdnn(n9))).
% 2.64/2.75  rdn_translate(nn10,rdn_neg(rdn(rdnn(n0),rdnn(n1)))).
% 2.64/2.75  rdn_translate(nn11,rdn_neg(rdn(rdnn(n1),rdnn(n1)))).
% 2.64/2.75  rdn_translate(nn12,rdn_neg(rdn(rdnn(n2),rdnn(n1)))).
% 2.64/2.75  rdn_translate(nn13,rdn_neg(rdn(rdnn(n3),rdnn(n1)))).
% 2.64/2.75  rdn_translate(nn14,rdn_neg(rdn(rdnn(n4),rdnn(n1)))).
% 2.64/2.75  rdn_translate(nn15,rdn_neg(rdn(rdnn(n5),rdnn(n1)))).
% 2.64/2.75  rdn_translate(nn16,rdn_neg(rdn(rdnn(n6),rdnn(n1)))).
% 2.64/2.75  rdn_translate(nn17,rdn_neg(rdn(rdnn(n7),rdnn(n1)))).
% 2.64/2.75  rdn_translate(nn18,rdn_neg(rdn(rdnn(n8),rdnn(n1)))).
% 2.64/2.75  rdn_translate(nn19,rdn_neg(rdn(rdnn(n9),rdnn(n1)))).
% 2.64/2.75  rdn_translate(nn20,rdn_neg(rdn(rdnn(n0),rdnn(n2)))).
% 2.64/2.75  rdn_translate(nn21,rdn_neg(rdn(rdnn(n1),rdnn(n2)))).
% 2.64/2.75  rdn_translate(nn22,rdn_neg(rdn(rdnn(n2),rdnn(n2)))).
% 2.64/2.75  rdn_translate(nn23,rdn_neg(rdn(rdnn(n3),rdnn(n2)))).
% 2.64/2.75  rdn_translate(nn24,rdn_neg(rdn(rdnn(n4),rdnn(n2)))).
% 2.64/2.75  rdn_translate(nn25,rdn_neg(rdn(rdnn(n5),rdnn(n2)))).
% 2.64/2.75  rdn_translate(nn26,rdn_neg(rdn(rdnn(n6),rdnn(n2)))).
% 2.64/2.75  rdn_translate(nn27,rdn_neg(rdn(rdnn(n7),rdnn(n2)))).
% 2.64/2.75  rdn_translate(nn28,rdn_neg(rdn(rdnn(n8),rdnn(n2)))).
% 2.64/2.75  rdn_translate(nn29,rdn_neg(rdn(rdnn(n9),rdnn(n2)))).
% 2.64/2.75  rdn_translate(nn30,rdn_neg(rdn(rdnn(n0),rdnn(n3)))).
% 2.64/2.75  rdn_translate(nn31,rdn_neg(rdn(rdnn(n1),rdnn(n3)))).
% 2.64/2.75  rdn_translate(nn32,rdn_neg(rdn(rdnn(n2),rdnn(n3)))).
% 2.64/2.75  rdn_translate(nn33,rdn_neg(rdn(rdnn(n3),rdnn(n3)))).
% 2.64/2.75  rdn_translate(nn34,rdn_neg(rdn(rdnn(n4),rdnn(n3)))).
% 2.64/2.75  rdn_translate(nn35,rdn_neg(rdn(rdnn(n5),rdnn(n3)))).
% 2.64/2.75  rdn_translate(nn36,rdn_neg(rdn(rdnn(n6),rdnn(n3)))).
% 2.64/2.75  rdn_translate(nn37,rdn_neg(rdn(rdnn(n7),rdnn(n3)))).
% 2.64/2.75  rdn_translate(nn38,rdn_neg(rdn(rdnn(n8),rdnn(n3)))).
% 2.64/2.75  rdn_translate(nn39,rdn_neg(rdn(rdnn(n9),rdnn(n3)))).
% 2.64/2.75  rdn_translate(nn40,rdn_neg(rdn(rdnn(n0),rdnn(n4)))).
% 2.64/2.75  rdn_translate(nn41,rdn_neg(rdn(rdnn(n1),rdnn(n4)))).
% 2.64/2.75  rdn_translate(nn42,rdn_neg(rdn(rdnn(n2),rdnn(n4)))).
% 2.64/2.75  rdn_translate(nn43,rdn_neg(rdn(rdnn(n3),rdnn(n4)))).
% 2.64/2.75  rdn_translate(nn44,rdn_neg(rdn(rdnn(n4),rdnn(n4)))).
% 2.64/2.75  rdn_translate(nn45,rdn_neg(rdn(rdnn(n5),rdnn(n4)))).
% 2.64/2.75  rdn_translate(nn46,rdn_neg(rdn(rdnn(n6),rdnn(n4)))).
% 2.64/2.75  rdn_translate(nn47,rdn_neg(rdn(rdnn(n7),rdnn(n4)))).
% 2.64/2.75  rdn_translate(nn48,rdn_neg(rdn(rdnn(n8),rdnn(n4)))).
% 2.64/2.75  rdn_translate(nn49,rdn_neg(rdn(rdnn(n9),rdnn(n4)))).
% 2.64/2.75  rdn_translate(nn50,rdn_neg(rdn(rdnn(n0),rdnn(n5)))).
% 2.64/2.75  rdn_translate(nn51,rdn_neg(rdn(rdnn(n1),rdnn(n5)))).
% 2.64/2.75  rdn_translate(nn52,rdn_neg(rdn(rdnn(n2),rdnn(n5)))).
% 2.64/2.75  rdn_translate(nn53,rdn_neg(rdn(rdnn(n3),rdnn(n5)))).
% 2.64/2.75  rdn_translate(nn54,rdn_neg(rdn(rdnn(n4),rdnn(n5)))).
% 2.64/2.75  rdn_translate(nn55,rdn_neg(rdn(rdnn(n5),rdnn(n5)))).
% 2.64/2.75  rdn_translate(nn56,rdn_neg(rdn(rdnn(n6),rdnn(n5)))).
% 2.64/2.75  rdn_translate(nn57,rdn_neg(rdn(rdnn(n7),rdnn(n5)))).
% 2.64/2.75  rdn_translate(nn58,rdn_neg(rdn(rdnn(n8),rdnn(n5)))).
% 2.64/2.75  rdn_translate(nn59,rdn_neg(rdn(rdnn(n9),rdnn(n5)))).
% 2.64/2.75  rdn_translate(nn60,rdn_neg(rdn(rdnn(n0),rdnn(n6)))).
% 2.64/2.75  rdn_translate(nn61,rdn_neg(rdn(rdnn(n1),rdnn(n6)))).
% 2.64/2.75  rdn_translate(nn62,rdn_neg(rdn(rdnn(n2),rdnn(n6)))).
% 2.64/2.75  rdn_translate(nn63,rdn_neg(rdn(rdnn(n3),rdnn(n6)))).
% 2.64/2.75  rdn_translate(nn64,rdn_neg(rdn(rdnn(n4),rdnn(n6)))).
% 2.64/2.75  rdn_translate(nn65,rdn_neg(rdn(rdnn(n5),rdnn(n6)))).
% 2.64/2.75  rdn_translate(nn66,rdn_neg(rdn(rdnn(n6),rdnn(n6)))).
% 2.64/2.75  rdn_translate(nn67,rdn_neg(rdn(rdnn(n7),rdnn(n6)))).
% 2.64/2.75  rdn_translate(nn68,rdn_neg(rdn(rdnn(n8),rdnn(n6)))).
% 2.64/2.75  rdn_translate(nn69,rdn_neg(rdn(rdnn(n9),rdnn(n6)))).
% 2.64/2.75  rdn_translate(nn70,rdn_neg(rdn(rdnn(n0),rdnn(n7)))).
% 2.64/2.75  rdn_translate(nn71,rdn_neg(rdn(rdnn(n1),rdnn(n7)))).
% 2.64/2.75  rdn_translate(nn72,rdn_neg(rdn(rdnn(n2),rdnn(n7)))).
% 2.64/2.75  rdn_translate(nn73,rdn_neg(rdn(rdnn(n3),rdnn(n7)))).
% 2.64/2.75  rdn_translate(nn74,rdn_neg(rdn(rdnn(n4),rdnn(n7)))).
% 2.64/2.75  rdn_translate(nn75,rdn_neg(rdn(rdnn(n5),rdnn(n7)))).
% 2.64/2.75  rdn_translate(nn76,rdn_neg(rdn(rdnn(n6),rdnn(n7)))).
% 2.64/2.75  rdn_translate(nn77,rdn_neg(rdn(rdnn(n7),rdnn(n7)))).
% 2.64/2.75  rdn_translate(nn78,rdn_neg(rdn(rdnn(n8),rdnn(n7)))).
% 2.64/2.75  rdn_translate(nn79,rdn_neg(rdn(rdnn(n9),rdnn(n7)))).
% 2.64/2.75  rdn_translate(nn80,rdn_neg(rdn(rdnn(n0),rdnn(n8)))).
% 2.64/2.75  rdn_translate(nn81,rdn_neg(rdn(rdnn(n1),rdnn(n8)))).
% 2.64/2.75  rdn_translate(nn82,rdn_neg(rdn(rdnn(n2),rdnn(n8)))).
% 2.64/2.75  rdn_translate(nn83,rdn_neg(rdn(rdnn(n3),rdnn(n8)))).
% 2.64/2.75  rdn_translate(nn84,rdn_neg(rdn(rdnn(n4),rdnn(n8)))).
% 2.64/2.75  rdn_translate(nn85,rdn_neg(rdn(rdnn(n5),rdnn(n8)))).
% 2.64/2.75  rdn_translate(nn86,rdn_neg(rdn(rdnn(n6),rdnn(n8)))).
% 2.64/2.75  rdn_translate(nn87,rdn_neg(rdn(rdnn(n7),rdnn(n8)))).
% 2.64/2.75  rdn_translate(nn88,rdn_neg(rdn(rdnn(n8),rdnn(n8)))).
% 2.64/2.75  rdn_translate(nn89,rdn_neg(rdn(rdnn(n9),rdnn(n8)))).
% 2.64/2.75  rdn_translate(nn90,rdn_neg(rdn(rdnn(n0),rdnn(n9)))).
% 2.64/2.75  rdn_translate(nn91,rdn_neg(rdn(rdnn(n1),rdnn(n9)))).
% 2.64/2.75  rdn_translate(nn92,rdn_neg(rdn(rdnn(n2),rdnn(n9)))).
% 2.64/2.75  rdn_translate(nn93,rdn_neg(rdn(rdnn(n3),rdnn(n9)))).
% 2.64/2.75  rdn_translate(nn94,rdn_neg(rdn(rdnn(n4),rdnn(n9)))).
% 2.64/2.75  rdn_translate(nn95,rdn_neg(rdn(rdnn(n5),rdnn(n9)))).
% 2.64/2.75  rdn_translate(nn96,rdn_neg(rdn(rdnn(n6),rdnn(n9)))).
% 2.64/2.75  rdn_translate(nn97,rdn_neg(rdn(rdnn(n7),rdnn(n9)))).
% 2.64/2.75  rdn_translate(nn98,rdn_neg(rdn(rdnn(n8),rdnn(n9)))).
% 2.64/2.75  rdn_translate(nn99,rdn_neg(rdn(rdnn(n9),rdnn(n9)))).
% 2.64/2.75  rdn_translate(nn100,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn101,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn102,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn103,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn104,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn105,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn106,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn107,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn108,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn109,rdn_neg(rdn(rdnn(n9),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn110,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn111,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn112,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn113,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn114,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn115,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn116,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn117,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn118,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn119,rdn_neg(rdn(rdnn(n9),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn120,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn121,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn122,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn123,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn124,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn125,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn126,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn127,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_translate(nn128,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  rdn_non_zero_digit(rdnn(n1)).
% 2.64/2.75  rdn_non_zero_digit(rdnn(n2)).
% 2.64/2.75  rdn_non_zero_digit(rdnn(n3)).
% 2.64/2.75  rdn_non_zero_digit(rdnn(n4)).
% 2.64/2.75  rdn_non_zero_digit(rdnn(n5)).
% 2.64/2.75  rdn_non_zero_digit(rdnn(n6)).
% 2.64/2.75  rdn_non_zero_digit(rdnn(n7)).
% 2.64/2.75  rdn_non_zero_digit(rdnn(n8)).
% 2.64/2.75  rdn_non_zero_digit(rdnn(n9)).
% 2.64/2.75  rdn_positive_less(rdnn(n0),rdnn(n1)).
% 2.64/2.75  rdn_positive_less(rdnn(n1),rdnn(n2)).
% 2.64/2.75  rdn_positive_less(rdnn(n2),rdnn(n3)).
% 2.64/2.75  rdn_positive_less(rdnn(n3),rdnn(n4)).
% 2.64/2.75  rdn_positive_less(rdnn(n4),rdnn(n5)).
% 2.64/2.75  rdn_positive_less(rdnn(n5),rdnn(n6)).
% 2.64/2.75  rdn_positive_less(rdnn(n6),rdnn(n7)).
% 2.64/2.75  rdn_positive_less(rdnn(n7),rdnn(n8)).
% 2.64/2.75  rdn_positive_less(rdnn(n8),rdnn(n9)).
% 2.64/2.75  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))).
% 2.64/2.75  all Ds Os Db Ob (rdn_positive_less(Os,Ob)->rdn_positive_less(rdn(rdnn(Ds),Os),rdn(rdnn(Db),Ob))).
% 2.64/2.75  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))).
% 2.64/2.75  all D Db Ob (rdn_non_zero(Ob)->rdn_positive_less(rdnn(D),rdn(rdnn(Db),Ob))).
% 2.64/2.75  all X (rdn_non_zero_digit(rdnn(X))->rdn_non_zero(rdnn(X))).
% 2.64/2.75  all D O (rdn_non_zero(O)->rdn_non_zero(rdn(rdnn(D),O))).
% 2.64/2.75  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)).
% 2.64/2.75  all X Y RDN_X RDN_Y (rdn_translate(X,rdn_neg(RDN_X))&rdn_translate(Y,rdn_pos(RDN_Y))->less(X,Y)).
% 2.64/2.75  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)).
% 2.64/2.75  all X Y (less(X,Y)<-> -less(Y,X)&Y!=X).
% 2.64/2.75  all X Y (less_or_e_qual(X,Y)<->less(X,Y)|X=Y).
% 2.64/2.75  all X Y Z (sum(X,n1,Y)&less(Z,Y)->less_or_e_qual(Z,X)).
% 2.64/2.75  -(-accept_population(countryamedicalorganization,native,n100)).
% 2.64/2.75  end_of_list.
% 2.64/2.75  
% 2.64/2.75  -------> usable clausifies to:
% 2.64/2.75  
% 2.64/2.75  list(usable).
% 2.64/2.75  0 [] A=A.
% 2.64/2.75  0 [] -accept_team(A,L,C,N)|accept_city(A,C).
% 2.64/2.75  0 [] -accept_team(A,L,C,N)|accept_leader(A,L).
% 2.64/2.75  0 [] -accept_team(A,L,C,N)|accept_number(A,N).
% 2.64/2.75  0 [] accept_team(A,L,C,N)| -accept_city(A,C)| -accept_leader(A,L)| -accept_number(A,N).
% 2.64/2.75  0 [] -accept_number(A,N)| -less(M,N)|accept_number(A,M).
% 2.64/2.75  0 [] -accept_population(A,P,N)| -less(M,N)|accept_population(A,P,M).
% 2.64/2.75  0 [] -the_agent_in_all_proposed_teams(A,L,C)|accept_leader(A,L).
% 2.64/2.75  0 [] -the_agent_in_all_proposed_teams(A,L,C)|accept_city(A,C).
% 2.64/2.75  0 [] -any_agent_in_all_proposed_teams(A,L,C)|accept_leader(A,L).
% 2.64/2.75  0 [] -the_agent_not_in_any_proposed_teams(A,L,C)| -accept_city(A,C)| -accept_leader(A,L).
% 2.64/2.75  0 [] -min_number_of_proposed_agents(A,N)|accept_number(A,N).
% 2.64/2.75  0 [] -accept_population(A,atheist,n65)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n7)| -accept_population(A,native,n4)| -accept_population(A,other,n4)|accept_city(A,suffertown).
% 2.64/2.75  0 [] accept_population(A,atheist,n65)| -accept_city(A,suffertown).
% 2.64/2.75  0 [] accept_population(A,christian,n20)| -accept_city(A,suffertown).
% 2.64/2.75  0 [] accept_population(A,muslim,n7)| -accept_city(A,suffertown).
% 2.64/2.75  0 [] accept_population(A,native,n4)| -accept_city(A,suffertown).
% 2.64/2.75  0 [] accept_population(A,other,n4)| -accept_city(A,suffertown).
% 2.64/2.75  0 [] -accept_population(A,atheist,n54)| -accept_population(A,christian,n23)| -accept_population(A,muslim,n3)| -accept_population(A,native,n1)| -accept_population(A,other,n9)|accept_city(A,centraltown).
% 2.64/2.75  0 [] accept_population(A,atheist,n54)| -accept_city(A,centraltown).
% 2.64/2.75  0 [] accept_population(A,christian,n23)| -accept_city(A,centraltown).
% 2.64/2.75  0 [] accept_population(A,muslim,n3)| -accept_city(A,centraltown).
% 2.64/2.75  0 [] accept_population(A,native,n1)| -accept_city(A,centraltown).
% 2.64/2.75  0 [] accept_population(A,other,n9)| -accept_city(A,centraltown).
% 2.64/2.75  0 [] -accept_population(A,atheist,n30)| -accept_population(A,christian,n8)| -accept_population(A,muslim,n60)| -accept_population(A,native,n1)| -accept_population(A,other,n1)|accept_city(A,sunnysideport).
% 2.64/2.75  0 [] accept_population(A,atheist,n30)| -accept_city(A,sunnysideport).
% 2.64/2.75  0 [] accept_population(A,christian,n8)| -accept_city(A,sunnysideport).
% 2.64/2.75  0 [] accept_population(A,muslim,n60)| -accept_city(A,sunnysideport).
% 2.64/2.75  0 [] accept_population(A,native,n1)| -accept_city(A,sunnysideport).
% 2.64/2.75  0 [] accept_population(A,other,n1)| -accept_city(A,sunnysideport).
% 2.64/2.75  0 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n15)| -accept_population(A,muslim,n1)| -accept_population(A,native,n10)| -accept_population(A,other,n4)|accept_city(A,centrallakecity).
% 2.64/2.75  0 [] accept_population(A,atheist,n70)| -accept_city(A,centrallakecity).
% 2.64/2.75  0 [] accept_population(A,christian,n15)| -accept_city(A,centrallakecity).
% 2.64/2.75  0 [] accept_population(A,muslim,n1)| -accept_city(A,centrallakecity).
% 2.64/2.75  0 [] accept_population(A,native,n10)| -accept_city(A,centrallakecity).
% 2.64/2.75  0 [] accept_population(A,other,n4)| -accept_city(A,centrallakecity).
% 2.64/2.75  0 [] -accept_population(A,atheist,n68)| -accept_population(A,christian,n16)| -accept_population(A,muslim,n1)| -accept_population(A,native,n11)| -accept_population(A,other,n4)|accept_city(A,stjosephburgh).
% 2.64/2.75  0 [] accept_population(A,atheist,n68)| -accept_city(A,stjosephburgh).
% 2.64/2.75  0 [] accept_population(A,christian,n16)| -accept_city(A,stjosephburgh).
% 2.64/2.75  0 [] accept_population(A,muslim,n1)| -accept_city(A,stjosephburgh).
% 2.64/2.75  0 [] accept_population(A,native,n11)| -accept_city(A,stjosephburgh).
% 2.64/2.75  0 [] accept_population(A,other,n4)| -accept_city(A,stjosephburgh).
% 2.64/2.75  0 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n13)| -accept_population(A,muslim,n0)| -accept_population(A,native,n15)| -accept_population(A,other,n2)|accept_city(A,northport).
% 2.64/2.75  0 [] accept_population(A,atheist,n70)| -accept_city(A,northport).
% 2.64/2.75  0 [] accept_population(A,christian,n13)| -accept_city(A,northport).
% 2.64/2.75  0 [] accept_population(A,muslim,n0)| -accept_city(A,northport).
% 2.64/2.75  0 [] accept_population(A,native,n15)| -accept_city(A,northport).
% 2.64/2.75  0 [] accept_population(A,other,n2)| -accept_city(A,northport).
% 2.64/2.75  0 [] -accept_population(A,atheist,n12)| -accept_population(A,christian,n3)| -accept_population(A,muslim,n0)| -accept_population(A,native,n85)| -accept_population(A,other,n0)|accept_city(A,coastvillage).
% 2.64/2.75  0 [] accept_population(A,atheist,n12)| -accept_city(A,coastvillage).
% 2.64/2.75  0 [] accept_population(A,christian,n3)| -accept_city(A,coastvillage).
% 2.64/2.75  0 [] accept_population(A,muslim,n0)| -accept_city(A,coastvillage).
% 2.64/2.75  0 [] accept_population(A,native,n85)| -accept_city(A,coastvillage).
% 2.64/2.75  0 [] accept_population(A,other,n0)| -accept_city(A,coastvillage).
% 2.64/2.75  0 [] -accept_population(A,atheist,n0)| -accept_population(A,christian,n0)| -accept_population(A,muslim,n0)| -accept_population(A,native,n100)| -accept_population(A,other,n0)|accept_city(A,sunsetpoint).
% 2.64/2.75  0 [] accept_population(A,atheist,n0)| -accept_city(A,sunsetpoint).
% 2.64/2.75  0 [] accept_population(A,christian,n0)| -accept_city(A,sunsetpoint).
% 2.64/2.75  0 [] accept_population(A,muslim,n0)| -accept_city(A,sunsetpoint).
% 2.64/2.75  0 [] accept_population(A,native,n100)| -accept_city(A,sunsetpoint).
% 2.64/2.75  0 [] accept_population(A,other,n0)| -accept_city(A,sunsetpoint).
% 2.64/2.75  0 [] -accept_population(A,atheist,n75)| -accept_population(A,christian,n24)| -accept_population(A,muslim,n1)| -accept_population(A,native,n0)| -accept_population(A,other,n0)|accept_city(A,towna).
% 2.64/2.75  0 [] accept_population(A,atheist,n75)| -accept_city(A,towna).
% 2.64/2.75  0 [] accept_population(A,christian,n24)| -accept_city(A,towna).
% 2.64/2.75  0 [] accept_population(A,muslim,n1)| -accept_city(A,towna).
% 2.64/2.75  0 [] accept_population(A,native,n0)| -accept_city(A,towna).
% 2.64/2.75  0 [] accept_population(A,other,n0)| -accept_city(A,towna).
% 2.64/2.75  0 [] -accept_population(A,atheist,n75)| -accept_population(A,christian,n25)| -accept_population(A,muslim,n0)| -accept_population(A,native,n0)| -accept_population(A,other,n0)|accept_city(A,citya).
% 2.64/2.75  0 [] accept_population(A,atheist,n75)| -accept_city(A,citya).
% 2.64/2.75  0 [] accept_population(A,christian,n25)| -accept_city(A,citya).
% 2.64/2.75  0 [] accept_population(A,muslim,n0)| -accept_city(A,citya).
% 2.64/2.75  0 [] accept_population(A,native,n0)| -accept_city(A,citya).
% 2.64/2.75  0 [] accept_population(A,other,n0)| -accept_city(A,citya).
% 2.64/2.75  0 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n8)| -accept_population(A,native,n0)| -accept_population(A,other,n2)|accept_city(A,townb).
% 2.64/2.75  0 [] accept_population(A,atheist,n70)| -accept_city(A,townb).
% 2.64/2.75  0 [] accept_population(A,christian,n20)| -accept_city(A,townb).
% 2.64/2.75  0 [] accept_population(A,muslim,n8)| -accept_city(A,townb).
% 2.64/2.75  0 [] accept_population(A,native,n0)| -accept_city(A,townb).
% 2.64/2.75  0 [] accept_population(A,other,n2)| -accept_city(A,townb).
% 2.64/2.75  0 [] -accept_population(A,atheist,n78)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n1)| -accept_population(A,native,n0)| -accept_population(A,other,n1)|accept_city(A,cityb).
% 2.64/2.75  0 [] accept_population(A,atheist,n78)| -accept_city(A,cityb).
% 2.64/2.75  0 [] accept_population(A,christian,n20)| -accept_city(A,cityb).
% 2.64/2.75  0 [] accept_population(A,muslim,n1)| -accept_city(A,cityb).
% 2.64/2.75  0 [] accept_population(A,native,n0)| -accept_city(A,cityb).
% 2.64/2.75  0 [] accept_population(A,other,n1)| -accept_city(A,cityb).
% 2.64/2.75  0 [] -accept_population(A,atheist,n30)| -accept_population(A,christian,n0)| -accept_population(A,muslim,n65)| -accept_population(A,native,n0)| -accept_population(A,other,n5)|accept_city(A,townc).
% 2.64/2.75  0 [] accept_population(A,atheist,n30)| -accept_city(A,townc).
% 2.64/2.75  0 [] accept_population(A,christian,n0)| -accept_city(A,townc).
% 2.64/2.75  0 [] accept_population(A,muslim,n65)| -accept_city(A,townc).
% 2.64/2.75  0 [] accept_population(A,native,n0)| -accept_city(A,townc).
% 2.64/2.75  0 [] accept_population(A,other,n5)| -accept_city(A,townc).
% 2.64/2.75  0 [] accept_team(countryahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.64/2.75  0 [] accept_team(countryahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.64/2.75  0 [] accept_team(countryahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_team(countryahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n2).
% 2.64/2.75  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.64/2.75  0 [] the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.64/2.75  0 [] accept_team(countryamedicalorganization,countryacivilorganization,cityb,n6).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.64/2.75  0 [] accept_team(countryafirstaidorganization,countryacivilorganization,cityb,n6).
% 2.64/2.75  0 [] accept_number(countrybhumanitarianorganization,n4).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n4).
% 2.64/2.75  0 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.64/2.75  0 [] accept_team(sufferterragovernment,countryacivilorganization,cityb,n6).
% 2.64/2.75  0 [] accept_number(countrybhumanitarianorganization,n1).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.64/2.75  0 [] accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 2.64/2.75  0 [] accept_number(countryahumanitarianorganization,n2).
% 2.64/2.75  0 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n2).
% 2.64/2.75  0 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n2).
% 2.64/2.75  0 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n2).
% 2.64/2.75  0 [] -accept_team(countryamedicalorganization,christiansufferterrahumanitarianorganization,coastvillage,n2).
% 2.64/2.75  0 [] -accept_team(countryamedicalorganization,sufferterragovernment,coastvillage,n2).
% 2.64/2.75  0 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.64/2.75  0 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n6).
% 2.64/2.75  0 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n6).
% 2.64/2.75  0 [] the_agent_not_in_any_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] accept_team(countryccivilorganization,countrycmedicalorganization,towna,n4).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n5).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n4).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n5).
% 2.64/2.75  0 [] accept_number(countrybcivilorganization,n5).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] accept_team(sufferterragovernment,countryacivilorganization,towna,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.64/2.75  0 [] accept_number(countrycmedicalorganization,n4).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.64/2.75  0 [] accept_number(countrycmedicalorganization,n5).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.75  0 [] accept_team(countryafirstaidorganization,countryacivilorganization,towna,n6).
% 2.64/2.75  0 [] accept_number(countryacivilorganization,n2).
% 2.64/2.75  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.64/2.75  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_team(countryacivilorganization,countryafirstaidorganization,coastvillage,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] accept_number(countryafirstaidorganization,n2).
% 2.64/2.75  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.64/2.75  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_team(countryafirstaidorganization,countryacivilorganization,coastvillage,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_number(christiancountrychumanitarianorganization,n5).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,townc,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n5).
% 2.64/2.75  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_team(sufferterragovernment,countryacivilorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_team(sufferterragovernment,countryafirstaidorganization,coastvillage,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] accept_number(christiansufferterrahumanitarianorganization,n2).
% 2.64/2.75  0 [] accept_number(countryahumanitarianorganization,n5).
% 2.64/2.75  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.64/2.75  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_team(christiansufferterrahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.64/2.75  0 [] accept_number(muslimcountrybhumanitarianorganization,n3).
% 2.64/2.75  0 [] accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,townc,n4).
% 2.64/2.75  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countryccivilorganization,townc,n4).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,countrybcivilorganization,townc,n6).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,countrycmedicalorganization,townc,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n2).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(countryamedicalorganization,countryahumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,countryccivilorganization,townc,n4).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,countrybcivilorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.75  0 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,cityb,n6).
% 2.64/2.75  0 [] accept_number(christiansufferterrahumanitarianorganization,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.64/2.75  0 [] accept_team(sufferterragovernment,countryahumanitarianorganization,cityb,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,cityb,n6).
% 2.64/2.75  0 [] accept_number(countryafirstaidorganization,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] accept_team(countryafirstaidorganization,sufferterragovernment,towna,n5).
% 2.64/2.75  0 [] accept_team(countryafirstaidorganization,sufferterragovernment,towna,n6).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n5).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n6).
% 2.64/2.75  0 [] accept_team(countryamedicalorganization,countryahumanitarianorganization,cityb,n6).
% 2.64/2.75  0 [] accept_number(countryamedicalorganization,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] accept_number(countryahumanitarianorganization,n6).
% 2.64/2.75  0 [] accept_team(countryacivilorganization,countryahumanitarianorganization,cityb,n6).
% 2.64/2.75  0 [] accept_number(countryacivilorganization,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.75  0 [] accept_number(countrybhumanitarianorganization,n5).
% 2.64/2.75  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.64/2.75  0 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n2).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n2).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n2).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n2).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n2).
% 2.64/2.75  0 [] accept_number(muslimcountrybhumanitarianorganization,n2).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n4).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.64/2.75  0 [] accept_team(countryamedicalorganization,sufferterragovernment,towna,n5).
% 2.64/2.75  0 [] accept_team(countryamedicalorganization,sufferterragovernment,towna,n6).
% 2.64/2.75  0 [] accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n5).
% 2.64/2.75  0 [] accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.64/2.75  0 [] accept_number(christiancountrychumanitarianorganization,n2).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.64/2.75  0 [] accept_number(countrybhumanitarianorganization,n2).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.64/2.75  0 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] accept_number(countrybcivilorganization,n2).
% 2.64/2.75  0 [] accept_number(countrybcivilorganization,n3).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,countryccivilorganization,towna,n4).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.64/2.75  0 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] accept_number(sufferterragovernment,n2).
% 2.64/2.75  0 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n2).
% 2.64/2.75  0 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.64/2.75  0 [] accept_number(countryccivilorganization,n2).
% 2.64/2.75  0 [] accept_number(countryccivilorganization,n3).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,countrybcivilorganization,towna,n6).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.64/2.75  0 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] accept_number(sufferterragovernment,n5).
% 2.64/2.75  0 [] accept_team(countryacivilorganization,sufferterragovernment,towna,n5).
% 2.64/2.75  0 [] accept_number(sufferterragovernment,n6).
% 2.64/2.75  0 [] accept_team(countryacivilorganization,sufferterragovernment,towna,n6).
% 2.64/2.75  0 [] accept_number(countrycmedicalorganization,n2).
% 2.64/2.75  0 [] accept_number(countrycmedicalorganization,n3).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,countryccivilorganization,towna,n4).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,countrybcivilorganization,towna,n6).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,towna,n6).
% 2.64/2.75  0 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] accept_number(christiancountrychumanitarianorganization,n3).
% 2.64/2.75  0 [] accept_number(countryccivilorganization,n4).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countryccivilorganization,towna,n4).
% 2.64/2.75  0 [] accept_number(countrybcivilorganization,n6).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.64/2.75  0 [] accept_number(countrybhumanitarianorganization,n6).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.64/2.75  0 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.64/2.75  0 [] accept_number(christiancountrychumanitarianorganization,n6).
% 2.64/2.75  0 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] accept_number(countrycmedicalorganization,n6).
% 2.64/2.75  0 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.64/2.75  0 [] accept_number(muslimcountrybhumanitarianorganization,n6).
% 2.64/2.75  0 [] the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.75  0 [] rdn_translate(n0,rdn_pos(rdnn(n0))).
% 2.64/2.75  0 [] rdn_translate(n1,rdn_pos(rdnn(n1))).
% 2.64/2.75  0 [] rdn_translate(n2,rdn_pos(rdnn(n2))).
% 2.64/2.75  0 [] rdn_translate(n3,rdn_pos(rdnn(n3))).
% 2.64/2.75  0 [] rdn_translate(n4,rdn_pos(rdnn(n4))).
% 2.64/2.75  0 [] rdn_translate(n5,rdn_pos(rdnn(n5))).
% 2.64/2.75  0 [] rdn_translate(n6,rdn_pos(rdnn(n6))).
% 2.64/2.75  0 [] rdn_translate(n7,rdn_pos(rdnn(n7))).
% 2.64/2.75  0 [] rdn_translate(n8,rdn_pos(rdnn(n8))).
% 2.64/2.75  0 [] rdn_translate(n9,rdn_pos(rdnn(n9))).
% 2.64/2.75  0 [] rdn_translate(n10,rdn_pos(rdn(rdnn(n0),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(n11,rdn_pos(rdn(rdnn(n1),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(n12,rdn_pos(rdn(rdnn(n2),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(n13,rdn_pos(rdn(rdnn(n3),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(n14,rdn_pos(rdn(rdnn(n4),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(n15,rdn_pos(rdn(rdnn(n5),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(n16,rdn_pos(rdn(rdnn(n6),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(n17,rdn_pos(rdn(rdnn(n7),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(n18,rdn_pos(rdn(rdnn(n8),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(n19,rdn_pos(rdn(rdnn(n9),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(n20,rdn_pos(rdn(rdnn(n0),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(n21,rdn_pos(rdn(rdnn(n1),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(n22,rdn_pos(rdn(rdnn(n2),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(n23,rdn_pos(rdn(rdnn(n3),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(n24,rdn_pos(rdn(rdnn(n4),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(n25,rdn_pos(rdn(rdnn(n5),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(n26,rdn_pos(rdn(rdnn(n6),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(n27,rdn_pos(rdn(rdnn(n7),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(n28,rdn_pos(rdn(rdnn(n8),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(n29,rdn_pos(rdn(rdnn(n9),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(n30,rdn_pos(rdn(rdnn(n0),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(n31,rdn_pos(rdn(rdnn(n1),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(n32,rdn_pos(rdn(rdnn(n2),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(n33,rdn_pos(rdn(rdnn(n3),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(n34,rdn_pos(rdn(rdnn(n4),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(n35,rdn_pos(rdn(rdnn(n5),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(n36,rdn_pos(rdn(rdnn(n6),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(n37,rdn_pos(rdn(rdnn(n7),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(n38,rdn_pos(rdn(rdnn(n8),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(n39,rdn_pos(rdn(rdnn(n9),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(n40,rdn_pos(rdn(rdnn(n0),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(n41,rdn_pos(rdn(rdnn(n1),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(n42,rdn_pos(rdn(rdnn(n2),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(n43,rdn_pos(rdn(rdnn(n3),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(n44,rdn_pos(rdn(rdnn(n4),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(n45,rdn_pos(rdn(rdnn(n5),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(n46,rdn_pos(rdn(rdnn(n6),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(n47,rdn_pos(rdn(rdnn(n7),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(n48,rdn_pos(rdn(rdnn(n8),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(n49,rdn_pos(rdn(rdnn(n9),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(n50,rdn_pos(rdn(rdnn(n0),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(n51,rdn_pos(rdn(rdnn(n1),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(n52,rdn_pos(rdn(rdnn(n2),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(n53,rdn_pos(rdn(rdnn(n3),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(n54,rdn_pos(rdn(rdnn(n4),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(n55,rdn_pos(rdn(rdnn(n5),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(n56,rdn_pos(rdn(rdnn(n6),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(n57,rdn_pos(rdn(rdnn(n7),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(n58,rdn_pos(rdn(rdnn(n8),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(n59,rdn_pos(rdn(rdnn(n9),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(n60,rdn_pos(rdn(rdnn(n0),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(n61,rdn_pos(rdn(rdnn(n1),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(n62,rdn_pos(rdn(rdnn(n2),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(n63,rdn_pos(rdn(rdnn(n3),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(n64,rdn_pos(rdn(rdnn(n4),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(n65,rdn_pos(rdn(rdnn(n5),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(n66,rdn_pos(rdn(rdnn(n6),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(n67,rdn_pos(rdn(rdnn(n7),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(n68,rdn_pos(rdn(rdnn(n8),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(n69,rdn_pos(rdn(rdnn(n9),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(n70,rdn_pos(rdn(rdnn(n0),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(n71,rdn_pos(rdn(rdnn(n1),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(n72,rdn_pos(rdn(rdnn(n2),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(n73,rdn_pos(rdn(rdnn(n3),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(n74,rdn_pos(rdn(rdnn(n4),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(n75,rdn_pos(rdn(rdnn(n5),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(n76,rdn_pos(rdn(rdnn(n6),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(n77,rdn_pos(rdn(rdnn(n7),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(n78,rdn_pos(rdn(rdnn(n8),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(n79,rdn_pos(rdn(rdnn(n9),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(n80,rdn_pos(rdn(rdnn(n0),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(n81,rdn_pos(rdn(rdnn(n1),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(n82,rdn_pos(rdn(rdnn(n2),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(n83,rdn_pos(rdn(rdnn(n3),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(n84,rdn_pos(rdn(rdnn(n4),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(n85,rdn_pos(rdn(rdnn(n5),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(n86,rdn_pos(rdn(rdnn(n6),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(n87,rdn_pos(rdn(rdnn(n7),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(n88,rdn_pos(rdn(rdnn(n8),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(n89,rdn_pos(rdn(rdnn(n9),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(n90,rdn_pos(rdn(rdnn(n0),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(n91,rdn_pos(rdn(rdnn(n1),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(n92,rdn_pos(rdn(rdnn(n2),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(n93,rdn_pos(rdn(rdnn(n3),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(n94,rdn_pos(rdn(rdnn(n4),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(n95,rdn_pos(rdn(rdnn(n5),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(n96,rdn_pos(rdn(rdnn(n6),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(n97,rdn_pos(rdn(rdnn(n7),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(n98,rdn_pos(rdn(rdnn(n8),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(n99,rdn_pos(rdn(rdnn(n9),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(n100,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n101,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n102,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n103,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n104,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n105,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n106,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n107,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n108,rdn_pos(rdn(rdnn(n8),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n109,rdn_pos(rdn(rdnn(n9),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n110,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n111,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n112,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n113,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n114,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n115,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n116,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n117,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n118,rdn_pos(rdn(rdnn(n8),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n119,rdn_pos(rdn(rdnn(n9),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n120,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n121,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n122,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n123,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n124,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n125,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n126,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(n127,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn1,rdn_neg(rdnn(n1))).
% 2.64/2.75  0 [] rdn_translate(nn2,rdn_neg(rdnn(n2))).
% 2.64/2.75  0 [] rdn_translate(nn3,rdn_neg(rdnn(n3))).
% 2.64/2.75  0 [] rdn_translate(nn4,rdn_neg(rdnn(n4))).
% 2.64/2.75  0 [] rdn_translate(nn5,rdn_neg(rdnn(n5))).
% 2.64/2.75  0 [] rdn_translate(nn6,rdn_neg(rdnn(n6))).
% 2.64/2.75  0 [] rdn_translate(nn7,rdn_neg(rdnn(n7))).
% 2.64/2.75  0 [] rdn_translate(nn8,rdn_neg(rdnn(n8))).
% 2.64/2.75  0 [] rdn_translate(nn9,rdn_neg(rdnn(n9))).
% 2.64/2.75  0 [] rdn_translate(nn10,rdn_neg(rdn(rdnn(n0),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(nn11,rdn_neg(rdn(rdnn(n1),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(nn12,rdn_neg(rdn(rdnn(n2),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(nn13,rdn_neg(rdn(rdnn(n3),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(nn14,rdn_neg(rdn(rdnn(n4),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(nn15,rdn_neg(rdn(rdnn(n5),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(nn16,rdn_neg(rdn(rdnn(n6),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(nn17,rdn_neg(rdn(rdnn(n7),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(nn18,rdn_neg(rdn(rdnn(n8),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(nn19,rdn_neg(rdn(rdnn(n9),rdnn(n1)))).
% 2.64/2.75  0 [] rdn_translate(nn20,rdn_neg(rdn(rdnn(n0),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(nn21,rdn_neg(rdn(rdnn(n1),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(nn22,rdn_neg(rdn(rdnn(n2),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(nn23,rdn_neg(rdn(rdnn(n3),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(nn24,rdn_neg(rdn(rdnn(n4),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(nn25,rdn_neg(rdn(rdnn(n5),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(nn26,rdn_neg(rdn(rdnn(n6),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(nn27,rdn_neg(rdn(rdnn(n7),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(nn28,rdn_neg(rdn(rdnn(n8),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(nn29,rdn_neg(rdn(rdnn(n9),rdnn(n2)))).
% 2.64/2.75  0 [] rdn_translate(nn30,rdn_neg(rdn(rdnn(n0),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(nn31,rdn_neg(rdn(rdnn(n1),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(nn32,rdn_neg(rdn(rdnn(n2),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(nn33,rdn_neg(rdn(rdnn(n3),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(nn34,rdn_neg(rdn(rdnn(n4),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(nn35,rdn_neg(rdn(rdnn(n5),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(nn36,rdn_neg(rdn(rdnn(n6),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(nn37,rdn_neg(rdn(rdnn(n7),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(nn38,rdn_neg(rdn(rdnn(n8),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(nn39,rdn_neg(rdn(rdnn(n9),rdnn(n3)))).
% 2.64/2.75  0 [] rdn_translate(nn40,rdn_neg(rdn(rdnn(n0),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(nn41,rdn_neg(rdn(rdnn(n1),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(nn42,rdn_neg(rdn(rdnn(n2),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(nn43,rdn_neg(rdn(rdnn(n3),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(nn44,rdn_neg(rdn(rdnn(n4),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(nn45,rdn_neg(rdn(rdnn(n5),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(nn46,rdn_neg(rdn(rdnn(n6),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(nn47,rdn_neg(rdn(rdnn(n7),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(nn48,rdn_neg(rdn(rdnn(n8),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(nn49,rdn_neg(rdn(rdnn(n9),rdnn(n4)))).
% 2.64/2.75  0 [] rdn_translate(nn50,rdn_neg(rdn(rdnn(n0),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(nn51,rdn_neg(rdn(rdnn(n1),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(nn52,rdn_neg(rdn(rdnn(n2),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(nn53,rdn_neg(rdn(rdnn(n3),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(nn54,rdn_neg(rdn(rdnn(n4),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(nn55,rdn_neg(rdn(rdnn(n5),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(nn56,rdn_neg(rdn(rdnn(n6),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(nn57,rdn_neg(rdn(rdnn(n7),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(nn58,rdn_neg(rdn(rdnn(n8),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(nn59,rdn_neg(rdn(rdnn(n9),rdnn(n5)))).
% 2.64/2.75  0 [] rdn_translate(nn60,rdn_neg(rdn(rdnn(n0),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(nn61,rdn_neg(rdn(rdnn(n1),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(nn62,rdn_neg(rdn(rdnn(n2),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(nn63,rdn_neg(rdn(rdnn(n3),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(nn64,rdn_neg(rdn(rdnn(n4),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(nn65,rdn_neg(rdn(rdnn(n5),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(nn66,rdn_neg(rdn(rdnn(n6),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(nn67,rdn_neg(rdn(rdnn(n7),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(nn68,rdn_neg(rdn(rdnn(n8),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(nn69,rdn_neg(rdn(rdnn(n9),rdnn(n6)))).
% 2.64/2.75  0 [] rdn_translate(nn70,rdn_neg(rdn(rdnn(n0),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(nn71,rdn_neg(rdn(rdnn(n1),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(nn72,rdn_neg(rdn(rdnn(n2),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(nn73,rdn_neg(rdn(rdnn(n3),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(nn74,rdn_neg(rdn(rdnn(n4),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(nn75,rdn_neg(rdn(rdnn(n5),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(nn76,rdn_neg(rdn(rdnn(n6),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(nn77,rdn_neg(rdn(rdnn(n7),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(nn78,rdn_neg(rdn(rdnn(n8),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(nn79,rdn_neg(rdn(rdnn(n9),rdnn(n7)))).
% 2.64/2.75  0 [] rdn_translate(nn80,rdn_neg(rdn(rdnn(n0),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(nn81,rdn_neg(rdn(rdnn(n1),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(nn82,rdn_neg(rdn(rdnn(n2),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(nn83,rdn_neg(rdn(rdnn(n3),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(nn84,rdn_neg(rdn(rdnn(n4),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(nn85,rdn_neg(rdn(rdnn(n5),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(nn86,rdn_neg(rdn(rdnn(n6),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(nn87,rdn_neg(rdn(rdnn(n7),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(nn88,rdn_neg(rdn(rdnn(n8),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(nn89,rdn_neg(rdn(rdnn(n9),rdnn(n8)))).
% 2.64/2.75  0 [] rdn_translate(nn90,rdn_neg(rdn(rdnn(n0),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(nn91,rdn_neg(rdn(rdnn(n1),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(nn92,rdn_neg(rdn(rdnn(n2),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(nn93,rdn_neg(rdn(rdnn(n3),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(nn94,rdn_neg(rdn(rdnn(n4),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(nn95,rdn_neg(rdn(rdnn(n5),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(nn96,rdn_neg(rdn(rdnn(n6),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(nn97,rdn_neg(rdn(rdnn(n7),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(nn98,rdn_neg(rdn(rdnn(n8),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(nn99,rdn_neg(rdn(rdnn(n9),rdnn(n9)))).
% 2.64/2.75  0 [] rdn_translate(nn100,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn101,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn102,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn103,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn104,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn105,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn106,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn107,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn108,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn109,rdn_neg(rdn(rdnn(n9),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn110,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn111,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn112,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn113,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn114,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn115,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn116,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn117,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn118,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.75  0 [] rdn_translate(nn119,rdn_neg(rdn(rdnn(n9),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.76  0 [] rdn_translate(nn120,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  0 [] rdn_translate(nn121,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  0 [] rdn_translate(nn122,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  0 [] rdn_translate(nn123,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  0 [] rdn_translate(nn124,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  0 [] rdn_translate(nn125,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  0 [] rdn_translate(nn126,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  0 [] rdn_translate(nn127,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  0 [] rdn_translate(nn128,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  0 [] rdn_non_zero_digit(rdnn(n1)).
% 2.64/2.76  0 [] rdn_non_zero_digit(rdnn(n2)).
% 2.64/2.76  0 [] rdn_non_zero_digit(rdnn(n3)).
% 2.64/2.76  0 [] rdn_non_zero_digit(rdnn(n4)).
% 2.64/2.76  0 [] rdn_non_zero_digit(rdnn(n5)).
% 2.64/2.76  0 [] rdn_non_zero_digit(rdnn(n6)).
% 2.64/2.76  0 [] rdn_non_zero_digit(rdnn(n7)).
% 2.64/2.76  0 [] rdn_non_zero_digit(rdnn(n8)).
% 2.64/2.76  0 [] rdn_non_zero_digit(rdnn(n9)).
% 2.64/2.76  0 [] rdn_positive_less(rdnn(n0),rdnn(n1)).
% 2.64/2.76  0 [] rdn_positive_less(rdnn(n1),rdnn(n2)).
% 2.64/2.76  0 [] rdn_positive_less(rdnn(n2),rdnn(n3)).
% 2.64/2.76  0 [] rdn_positive_less(rdnn(n3),rdnn(n4)).
% 2.64/2.76  0 [] rdn_positive_less(rdnn(n4),rdnn(n5)).
% 2.64/2.76  0 [] rdn_positive_less(rdnn(n5),rdnn(n6)).
% 2.64/2.76  0 [] rdn_positive_less(rdnn(n6),rdnn(n7)).
% 2.64/2.76  0 [] rdn_positive_less(rdnn(n7),rdnn(n8)).
% 2.64/2.76  0 [] rdn_positive_less(rdnn(n8),rdnn(n9)).
% 2.64/2.76  0 [] -rdn_positive_less(rdnn(X),rdnn(Y))| -rdn_positive_less(rdnn(Y),rdnn(Z))|rdn_positive_less(rdnn(X),rdnn(Z)).
% 2.64/2.76  0 [] -rdn_positive_less(Os,Ob)|rdn_positive_less(rdn(rdnn(Ds),Os),rdn(rdnn(Db),Ob)).
% 2.64/2.76  0 [] -rdn_positive_less(rdnn(Ds),rdnn(Db))| -rdn_non_zero(O)|rdn_positive_less(rdn(rdnn(Ds),O),rdn(rdnn(Db),O)).
% 2.64/2.76  0 [] -rdn_non_zero(Ob)|rdn_positive_less(rdnn(D),rdn(rdnn(Db),Ob)).
% 2.64/2.76  0 [] -rdn_non_zero_digit(rdnn(X))|rdn_non_zero(rdnn(X)).
% 2.64/2.76  0 [] -rdn_non_zero(O)|rdn_non_zero(rdn(rdnn(D),O)).
% 2.64/2.76  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).
% 2.64/2.76  0 [] -rdn_translate(X,rdn_neg(RDN_X))| -rdn_translate(Y,rdn_pos(RDN_Y))|less(X,Y).
% 2.64/2.76  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).
% 2.64/2.76  0 [] -less(X,Y)| -less(Y,X).
% 2.64/2.76  0 [] -less(X,Y)|Y!=X.
% 2.64/2.76  0 [] less(X,Y)|less(Y,X)|Y=X.
% 2.64/2.76  0 [] -less_or_e_qual(X,Y)|less(X,Y)|X=Y.
% 2.64/2.76  0 [] less_or_e_qual(X,Y)| -less(X,Y).
% 2.64/2.76  0 [] less_or_e_qual(X,Y)|X!=Y.
% 2.64/2.76  0 [] -sum(X,n1,Y)| -less(Z,Y)|less_or_e_qual(Z,X).
% 2.64/2.76  0 [] accept_population(countryamedicalorganization,native,n100).
% 2.64/2.76  end_of_list.
% 2.64/2.76  
% 2.64/2.76  SCAN INPUT: prop=0, horn=0, equality=1, symmetry=0, max_lits=6.
% 2.64/2.76  
% 2.64/2.76  This ia a non-Horn set with equality.  The strategy will be
% 2.64/2.76  Knuth-Bendix, ordered hyper_res, factoring, and unit
% 2.64/2.76  deletion, with positive clauses in sos and nonpositive
% 2.64/2.76  clauses in usable.
% 2.64/2.76  
% 2.64/2.76     dependent: set(knuth_bendix).
% 2.64/2.76     dependent: set(anl_eq).
% 2.64/2.76     dependent: set(para_from).
% 2.64/2.76     dependent: set(para_into).
% 2.64/2.76     dependent: clear(para_from_right).
% 2.64/2.76     dependent: clear(para_into_right).
% 2.64/2.76     dependent: set(para_from_vars).
% 2.64/2.76     dependent: set(eq_units_both_ways).
% 2.64/2.76     dependent: set(dynamic_demod_all).
% 2.64/2.76     dependent: set(dynamic_demod).
% 2.64/2.76     dependent: set(order_eq).
% 2.64/2.76     dependent: set(back_demod).
% 2.64/2.76     dependent: set(lrpo).
% 2.64/2.76     dependent: set(hyper_res).
% 2.64/2.76     dependent: set(unit_deletion).
% 2.64/2.76     dependent: set(factor).
% 2.64/2.76  
% 2.64/2.76  ------------> process usable:
% 2.64/2.76  ** KEPT (pick-wt=8): 1 [] -accept_team(A,B,C,D)|accept_city(A,C).
% 2.64/2.76  ** KEPT (pick-wt=8): 2 [] -accept_team(A,B,C,D)|accept_leader(A,B).
% 2.64/2.76  ** KEPT (pick-wt=8): 3 [] -accept_team(A,B,C,D)|accept_number(A,D).
% 2.64/2.76  ** KEPT (pick-wt=14): 4 [] accept_team(A,B,C,D)| -accept_city(A,C)| -accept_leader(A,B)| -accept_number(A,D).
% 2.64/2.76  ** KEPT (pick-wt=9): 5 [] -accept_number(A,B)| -less(C,B)|accept_number(A,C).
% 2.64/2.76  ** KEPT (pick-wt=11): 6 [] -accept_population(A,B,C)| -less(D,C)|accept_population(A,B,D).
% 2.64/2.76  ** KEPT (pick-wt=7): 7 [] -the_agent_in_all_proposed_teams(A,B,C)|accept_leader(A,B).
% 2.64/2.76  ** KEPT (pick-wt=7): 8 [] -the_agent_in_all_proposed_teams(A,B,C)|accept_city(A,C).
% 2.64/2.76  ** KEPT (pick-wt=7): 9 [] -any_agent_in_all_proposed_teams(A,B,C)|accept_leader(A,B).
% 2.64/2.76  ** KEPT (pick-wt=10): 10 [] -the_agent_not_in_any_proposed_teams(A,B,C)| -accept_city(A,C)| -accept_leader(A,B).
% 2.64/2.76  ** KEPT (pick-wt=6): 11 [] -min_number_of_proposed_agents(A,B)|accept_number(A,B).
% 2.64/2.76  ** KEPT (pick-wt=23): 12 [] -accept_population(A,atheist,n65)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n7)| -accept_population(A,native,n4)| -accept_population(A,other,n4)|accept_city(A,suffertown).
% 2.64/2.76  ** KEPT (pick-wt=7): 13 [] accept_population(A,atheist,n65)| -accept_city(A,suffertown).
% 2.64/2.76  ** KEPT (pick-wt=7): 14 [] accept_population(A,christian,n20)| -accept_city(A,suffertown).
% 2.64/2.76  ** KEPT (pick-wt=7): 15 [] accept_population(A,muslim,n7)| -accept_city(A,suffertown).
% 2.64/2.76  ** KEPT (pick-wt=7): 16 [] accept_population(A,native,n4)| -accept_city(A,suffertown).
% 2.64/2.76  ** KEPT (pick-wt=7): 17 [] accept_population(A,other,n4)| -accept_city(A,suffertown).
% 2.64/2.76  ** KEPT (pick-wt=23): 18 [] -accept_population(A,atheist,n54)| -accept_population(A,christian,n23)| -accept_population(A,muslim,n3)| -accept_population(A,native,n1)| -accept_population(A,other,n9)|accept_city(A,centraltown).
% 2.64/2.76  ** KEPT (pick-wt=7): 19 [] accept_population(A,atheist,n54)| -accept_city(A,centraltown).
% 2.64/2.76  ** KEPT (pick-wt=7): 20 [] accept_population(A,christian,n23)| -accept_city(A,centraltown).
% 2.64/2.76  ** KEPT (pick-wt=7): 21 [] accept_population(A,muslim,n3)| -accept_city(A,centraltown).
% 2.64/2.76  ** KEPT (pick-wt=7): 22 [] accept_population(A,native,n1)| -accept_city(A,centraltown).
% 2.64/2.76  ** KEPT (pick-wt=7): 23 [] accept_population(A,other,n9)| -accept_city(A,centraltown).
% 2.64/2.76  ** KEPT (pick-wt=23): 24 [] -accept_population(A,atheist,n30)| -accept_population(A,christian,n8)| -accept_population(A,muslim,n60)| -accept_population(A,native,n1)| -accept_population(A,other,n1)|accept_city(A,sunnysideport).
% 2.64/2.76  ** KEPT (pick-wt=7): 25 [] accept_population(A,atheist,n30)| -accept_city(A,sunnysideport).
% 2.64/2.76  ** KEPT (pick-wt=7): 26 [] accept_population(A,christian,n8)| -accept_city(A,sunnysideport).
% 2.64/2.76  ** KEPT (pick-wt=7): 27 [] accept_population(A,muslim,n60)| -accept_city(A,sunnysideport).
% 2.64/2.76  ** KEPT (pick-wt=7): 28 [] accept_population(A,native,n1)| -accept_city(A,sunnysideport).
% 2.64/2.76  ** KEPT (pick-wt=7): 29 [] accept_population(A,other,n1)| -accept_city(A,sunnysideport).
% 2.64/2.76  ** KEPT (pick-wt=23): 30 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n15)| -accept_population(A,muslim,n1)| -accept_population(A,native,n10)| -accept_population(A,other,n4)|accept_city(A,centrallakecity).
% 2.64/2.76  ** KEPT (pick-wt=7): 31 [] accept_population(A,atheist,n70)| -accept_city(A,centrallakecity).
% 2.64/2.76  ** KEPT (pick-wt=7): 32 [] accept_population(A,christian,n15)| -accept_city(A,centrallakecity).
% 2.64/2.76  ** KEPT (pick-wt=7): 33 [] accept_population(A,muslim,n1)| -accept_city(A,centrallakecity).
% 2.64/2.76  ** KEPT (pick-wt=7): 34 [] accept_population(A,native,n10)| -accept_city(A,centrallakecity).
% 2.64/2.76  ** KEPT (pick-wt=7): 35 [] accept_population(A,other,n4)| -accept_city(A,centrallakecity).
% 2.64/2.76  ** KEPT (pick-wt=23): 36 [] -accept_population(A,atheist,n68)| -accept_population(A,christian,n16)| -accept_population(A,muslim,n1)| -accept_population(A,native,n11)| -accept_population(A,other,n4)|accept_city(A,stjosephburgh).
% 2.64/2.76  ** KEPT (pick-wt=7): 37 [] accept_population(A,atheist,n68)| -accept_city(A,stjosephburgh).
% 2.64/2.76  ** KEPT (pick-wt=7): 38 [] accept_population(A,christian,n16)| -accept_city(A,stjosephburgh).
% 2.64/2.76  ** KEPT (pick-wt=7): 39 [] accept_population(A,muslim,n1)| -accept_city(A,stjosephburgh).
% 2.64/2.76  ** KEPT (pick-wt=7): 40 [] accept_population(A,native,n11)| -accept_city(A,stjosephburgh).
% 2.64/2.76  ** KEPT (pick-wt=7): 41 [] accept_population(A,other,n4)| -accept_city(A,stjosephburgh).
% 2.64/2.76  ** KEPT (pick-wt=23): 42 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n13)| -accept_population(A,muslim,n0)| -accept_population(A,native,n15)| -accept_population(A,other,n2)|accept_city(A,northport).
% 2.64/2.76  ** KEPT (pick-wt=7): 43 [] accept_population(A,atheist,n70)| -accept_city(A,northport).
% 2.64/2.76  ** KEPT (pick-wt=7): 44 [] accept_population(A,christian,n13)| -accept_city(A,northport).
% 2.64/2.76  ** KEPT (pick-wt=7): 45 [] accept_population(A,muslim,n0)| -accept_city(A,northport).
% 2.64/2.76  ** KEPT (pick-wt=7): 46 [] accept_population(A,native,n15)| -accept_city(A,northport).
% 2.64/2.76  ** KEPT (pick-wt=7): 47 [] accept_population(A,other,n2)| -accept_city(A,northport).
% 2.64/2.76  ** KEPT (pick-wt=23): 48 [] -accept_population(A,atheist,n12)| -accept_population(A,christian,n3)| -accept_population(A,muslim,n0)| -accept_population(A,native,n85)| -accept_population(A,other,n0)|accept_city(A,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=7): 49 [] accept_population(A,atheist,n12)| -accept_city(A,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=7): 50 [] accept_population(A,christian,n3)| -accept_city(A,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=7): 51 [] accept_population(A,muslim,n0)| -accept_city(A,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=7): 52 [] accept_population(A,native,n85)| -accept_city(A,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=7): 53 [] accept_population(A,other,n0)| -accept_city(A,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=23): 54 [] -accept_population(A,atheist,n0)| -accept_population(A,christian,n0)| -accept_population(A,muslim,n0)| -accept_population(A,native,n100)| -accept_population(A,other,n0)|accept_city(A,sunsetpoint).
% 2.64/2.76  ** KEPT (pick-wt=7): 55 [] accept_population(A,atheist,n0)| -accept_city(A,sunsetpoint).
% 2.64/2.76  ** KEPT (pick-wt=7): 56 [] accept_population(A,christian,n0)| -accept_city(A,sunsetpoint).
% 2.64/2.76  ** KEPT (pick-wt=7): 57 [] accept_population(A,muslim,n0)| -accept_city(A,sunsetpoint).
% 2.64/2.76  ** KEPT (pick-wt=7): 58 [] accept_population(A,native,n100)| -accept_city(A,sunsetpoint).
% 2.64/2.76  ** KEPT (pick-wt=7): 59 [] accept_population(A,other,n0)| -accept_city(A,sunsetpoint).
% 2.64/2.76  ** KEPT (pick-wt=23): 60 [] -accept_population(A,atheist,n75)| -accept_population(A,christian,n24)| -accept_population(A,muslim,n1)| -accept_population(A,native,n0)| -accept_population(A,other,n0)|accept_city(A,towna).
% 2.64/2.76  ** KEPT (pick-wt=7): 61 [] accept_population(A,atheist,n75)| -accept_city(A,towna).
% 2.64/2.76  ** KEPT (pick-wt=7): 62 [] accept_population(A,christian,n24)| -accept_city(A,towna).
% 2.64/2.76  ** KEPT (pick-wt=7): 63 [] accept_population(A,muslim,n1)| -accept_city(A,towna).
% 2.64/2.76  ** KEPT (pick-wt=7): 64 [] accept_population(A,native,n0)| -accept_city(A,towna).
% 2.64/2.76  ** KEPT (pick-wt=7): 65 [] accept_population(A,other,n0)| -accept_city(A,towna).
% 2.64/2.76  ** KEPT (pick-wt=23): 66 [] -accept_population(A,atheist,n75)| -accept_population(A,christian,n25)| -accept_population(A,muslim,n0)| -accept_population(A,native,n0)| -accept_population(A,other,n0)|accept_city(A,citya).
% 2.64/2.76  ** KEPT (pick-wt=7): 67 [] accept_population(A,atheist,n75)| -accept_city(A,citya).
% 2.64/2.76  ** KEPT (pick-wt=7): 68 [] accept_population(A,christian,n25)| -accept_city(A,citya).
% 2.64/2.76  ** KEPT (pick-wt=7): 69 [] accept_population(A,muslim,n0)| -accept_city(A,citya).
% 2.64/2.76  ** KEPT (pick-wt=7): 70 [] accept_population(A,native,n0)| -accept_city(A,citya).
% 2.64/2.76  ** KEPT (pick-wt=7): 71 [] accept_population(A,other,n0)| -accept_city(A,citya).
% 2.64/2.76  ** KEPT (pick-wt=23): 72 [] -accept_population(A,atheist,n70)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n8)| -accept_population(A,native,n0)| -accept_population(A,other,n2)|accept_city(A,townb).
% 2.64/2.76  ** KEPT (pick-wt=7): 73 [] accept_population(A,atheist,n70)| -accept_city(A,townb).
% 2.64/2.76  ** KEPT (pick-wt=7): 74 [] accept_population(A,christian,n20)| -accept_city(A,townb).
% 2.64/2.76  ** KEPT (pick-wt=7): 75 [] accept_population(A,muslim,n8)| -accept_city(A,townb).
% 2.64/2.76  ** KEPT (pick-wt=7): 76 [] accept_population(A,native,n0)| -accept_city(A,townb).
% 2.64/2.76  ** KEPT (pick-wt=7): 77 [] accept_population(A,other,n2)| -accept_city(A,townb).
% 2.64/2.76  ** KEPT (pick-wt=23): 78 [] -accept_population(A,atheist,n78)| -accept_population(A,christian,n20)| -accept_population(A,muslim,n1)| -accept_population(A,native,n0)| -accept_population(A,other,n1)|accept_city(A,cityb).
% 2.64/2.76  ** KEPT (pick-wt=7): 79 [] accept_population(A,atheist,n78)| -accept_city(A,cityb).
% 2.64/2.76  ** KEPT (pick-wt=7): 80 [] accept_population(A,christian,n20)| -accept_city(A,cityb).
% 2.64/2.76  ** KEPT (pick-wt=7): 81 [] accept_population(A,muslim,n1)| -accept_city(A,cityb).
% 2.64/2.76  ** KEPT (pick-wt=7): 82 [] accept_population(A,native,n0)| -accept_city(A,cityb).
% 2.64/2.76  ** KEPT (pick-wt=7): 83 [] accept_population(A,other,n1)| -accept_city(A,cityb).
% 2.64/2.76  ** KEPT (pick-wt=23): 84 [] -accept_population(A,atheist,n30)| -accept_population(A,christian,n0)| -accept_population(A,muslim,n65)| -accept_population(A,native,n0)| -accept_population(A,other,n5)|accept_city(A,townc).
% 2.64/2.76  ** KEPT (pick-wt=7): 85 [] accept_population(A,atheist,n30)| -accept_city(A,townc).
% 2.64/2.76  ** KEPT (pick-wt=7): 86 [] accept_population(A,christian,n0)| -accept_city(A,townc).
% 2.64/2.76  ** KEPT (pick-wt=7): 87 [] accept_population(A,muslim,n65)| -accept_city(A,townc).
% 2.64/2.76  ** KEPT (pick-wt=7): 88 [] accept_population(A,native,n0)| -accept_city(A,townc).
% 2.64/2.76  ** KEPT (pick-wt=7): 89 [] accept_population(A,other,n5)| -accept_city(A,townc).
% 2.64/2.76  ** KEPT (pick-wt=5): 90 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 91 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 92 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 93 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 94 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 95 [] -accept_team(countryamedicalorganization,christiansufferterrahumanitarianorganization,coastvillage,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 96 [] -accept_team(countryamedicalorganization,sufferterragovernment,coastvillage,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 97 [] -accept_team(countryamedicalorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 98 [] -accept_team(countryamedicalorganization,countryacivilorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 99 [] -accept_team(countryamedicalorganization,countryafirstaidorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 100 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 101 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 102 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 103 [] -accept_team(countryccivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 104 [] -accept_team(countryccivilorganization,countrybcivilorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 105 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 106 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 107 [] -accept_team(countryccivilorganization,countrycmedicalorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 108 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 109 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 110 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 111 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 112 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 113 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 114 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.64/2.76  ** KEPT (pick-wt=5): 115 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.64/2.76  ** KEPT (pick-wt=5): 116 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.64/2.76  ** KEPT (pick-wt=5): 117 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.64/2.76  ** KEPT (pick-wt=5): 118 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 119 [] -accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,towna,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 120 [] -accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 121 [] -accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 122 [] -accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 123 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 124 [] -accept_team(christiansufferterrahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 125 [] -accept_team(countryccivilorganization,countrybcivilorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 126 [] -accept_team(countryccivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 127 [] -accept_team(countryccivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 128 [] -accept_team(countryccivilorganization,countrycmedicalorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 129 [] -accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=15): 130 [] -rdn_positive_less(rdnn(A),rdnn(B))| -rdn_positive_less(rdnn(B),rdnn(C))|rdn_positive_less(rdnn(A),rdnn(C)).
% 2.64/2.76  ** KEPT (pick-wt=12): 131 [] -rdn_positive_less(A,B)|rdn_positive_less(rdn(rdnn(C),A),rdn(rdnn(D),B)).
% 2.64/2.76  ** KEPT (pick-wt=16): 132 [] -rdn_positive_less(rdnn(A),rdnn(B))| -rdn_non_zero(C)|rdn_positive_less(rdn(rdnn(A),C),rdn(rdnn(B),C)).
% 2.64/2.76  ** KEPT (pick-wt=9): 133 [] -rdn_non_zero(A)|rdn_positive_less(rdnn(B),rdn(rdnn(C),A)).
% 2.64/2.76  ** KEPT (pick-wt=6): 134 [] -rdn_non_zero_digit(rdnn(A))|rdn_non_zero(rdnn(A)).
% 2.64/2.76  ** KEPT (pick-wt=7): 135 [] -rdn_non_zero(A)|rdn_non_zero(rdn(rdnn(B),A)).
% 2.64/2.76  ** KEPT (pick-wt=14): 136 [] -rdn_translate(A,rdn_pos(B))| -rdn_translate(C,rdn_pos(D))| -rdn_positive_less(B,D)|less(A,C).
% 2.64/2.76  ** KEPT (pick-wt=11): 137 [] -rdn_translate(A,rdn_neg(B))| -rdn_translate(C,rdn_pos(D))|less(A,C).
% 2.64/2.76  ** KEPT (pick-wt=14): 138 [] -rdn_translate(A,rdn_neg(B))| -rdn_translate(C,rdn_neg(D))| -rdn_positive_less(D,B)|less(A,C).
% 2.64/2.76  ** KEPT (pick-wt=6): 139 [] -less(A,B)| -less(B,A).
% 2.64/2.76  ** KEPT (pick-wt=6): 140 [] -less(A,B)|B!=A.
% 2.64/2.76  ** KEPT (pick-wt=9): 141 [] -less_or_e_qual(A,B)|less(A,B)|A=B.
% 2.64/2.76  ** KEPT (pick-wt=6): 142 [] less_or_e_qual(A,B)| -less(A,B).
% 2.64/2.76  ** KEPT (pick-wt=6): 143 [] less_or_e_qual(A,B)|A!=B.
% 2.64/2.76  ** KEPT (pick-wt=10): 144 [] -sum(A,n1,B)| -less(C,B)|less_or_e_qual(C,A).
% 2.64/2.76  
% 2.64/2.76  ------------> process sos:
% 2.64/2.76  ** KEPT (pick-wt=3): 148 [] A=A.
% 2.64/2.76  ** KEPT (pick-wt=5): 149 [] accept_team(countryahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 150 [] accept_team(countryahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 151 [] accept_team(countryahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 152 [] accept_team(countryahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 153 [] the_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=4): 154 [] any_agent_in_all_proposed_teams(countryahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=5): 155 [] accept_team(countryccivilorganization,countrybhumanitarianorganization,cityb,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 156 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.64/2.76  ** KEPT (pick-wt=4): 157 [] the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 158 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=5): 159 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 160 [] accept_team(countryamedicalorganization,countryacivilorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 161 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 162 [] accept_team(countryafirstaidorganization,countryacivilorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 163 [] accept_number(countrybhumanitarianorganization,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 164 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 165 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 166 [] accept_team(sufferterragovernment,countryacivilorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 167 [] accept_number(countrybhumanitarianorganization,n1).
% 2.64/2.76  ** KEPT (pick-wt=4): 168 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 169 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=5): 170 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 171 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 172 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 173 [] accept_team(countryamedicalorganization,countryacivilorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 174 [] accept_number(countryahumanitarianorganization,n2).
% 2.64/2.76  ** KEPT (pick-wt=4): 175 [] the_agent_not_in_any_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=4): 176 [] any_agent_in_all_proposed_teams(countryamedicalorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=5): 177 [] accept_team(countryccivilorganization,countrycmedicalorganization,towna,n4).
% 2.64/2.76  ** KEPT (pick-wt=4): 178 [] the_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 179 [] any_agent_in_all_proposed_teams(countryccivilorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=5): 180 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 181 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n5).
% 2.64/2.76  ** KEPT (pick-wt=3): 182 [] accept_number(countrybcivilorganization,n5).
% 2.64/2.76  ** KEPT (pick-wt=4): 183 [] the_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 184 [] any_agent_in_all_proposed_teams(countrybcivilorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=5): 185 [] accept_team(sufferterragovernment,countryacivilorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 186 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 187 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=5): 188 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.64/2.76  ** KEPT (pick-wt=3): 189 [] accept_number(countrycmedicalorganization,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 190 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n4).
% 2.64/2.76  ** KEPT (pick-wt=3): 191 [] accept_number(countrycmedicalorganization,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 192 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n5).
% 2.64/2.76  ** KEPT (pick-wt=4): 193 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 194 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryacivilorganization,towna).
% 2.64/2.76  ** KEPT (pick-wt=5): 195 [] accept_team(countryafirstaidorganization,countryacivilorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 196 [] accept_number(countryacivilorganization,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 197 [] accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 198 [] accept_team(countryacivilorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 199 [] accept_team(countryacivilorganization,countryafirstaidorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 200 [] the_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=4): 201 [] any_agent_in_all_proposed_teams(countryacivilorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=3): 202 [] accept_number(countryafirstaidorganization,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 203 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 204 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 205 [] accept_team(countryafirstaidorganization,countryacivilorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 206 [] the_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=4): 207 [] any_agent_in_all_proposed_teams(countryafirstaidorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=3): 208 [] accept_number(christiancountrychumanitarianorganization,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 209 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 210 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 211 [] accept_team(countrybcivilorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 212 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 213 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 214 [] accept_team(countrybcivilorganization,countrycmedicalorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 215 [] the_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=4): 216 [] any_agent_in_all_proposed_teams(countrybcivilorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=5): 217 [] accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 218 [] accept_team(sufferterragovernment,countryahumanitarianorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 219 [] accept_team(sufferterragovernment,countryacivilorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 220 [] accept_team(sufferterragovernment,countryafirstaidorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 221 [] the_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=4): 222 [] any_agent_in_all_proposed_teams(sufferterragovernment,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=3): 223 [] accept_number(christiansufferterrahumanitarianorganization,n2).
% 2.64/2.76  ** KEPT (pick-wt=3): 224 [] accept_number(countryahumanitarianorganization,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 225 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 226 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 227 [] accept_team(christiansufferterrahumanitarianorganization,countryacivilorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 228 [] accept_team(christiansufferterrahumanitarianorganization,countryafirstaidorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 229 [] the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=4): 230 [] any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,christiancountrychumanitarianorganization,coastvillage).
% 2.64/2.76  ** KEPT (pick-wt=5): 231 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 232 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,coastvillage,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 233 [] accept_number(muslimcountrybhumanitarianorganization,n3).
% 2.64/2.76  ** KEPT (pick-wt=5): 234 [] accept_team(muslimcountrybhumanitarianorganization,countryccivilorganization,townc,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 235 [] accept_team(muslimcountrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 236 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 237 [] accept_team(muslimcountrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 238 [] accept_team(muslimcountrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 239 [] the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=4): 240 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=5): 241 [] accept_team(countryacivilorganization,countryahumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 242 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 243 [] accept_team(christiancountrychumanitarianorganization,countryccivilorganization,townc,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 244 [] accept_team(christiancountrychumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 245 [] accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 246 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 247 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 248 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=4): 249 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=4): 250 [] the_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=4): 251 [] any_agent_in_all_proposed_teams(countryccivilorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=5): 252 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 253 [] accept_team(countrybhumanitarianorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 254 [] accept_team(sufferterragovernment,countryahumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 255 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 256 [] accept_team(countryamedicalorganization,countryahumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 257 [] accept_team(countrycmedicalorganization,countryccivilorganization,townc,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 258 [] accept_team(countrycmedicalorganization,muslimcountrybhumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 259 [] accept_team(countrycmedicalorganization,countrybcivilorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 260 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 261 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 262 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=4): 263 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=5): 264 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 265 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 266 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,townc,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 267 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=4): 268 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,countryahumanitarianorganization,townc).
% 2.64/2.76  ** KEPT (pick-wt=5): 269 [] accept_team(christiansufferterrahumanitarianorganization,countryahumanitarianorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 270 [] accept_number(christiansufferterrahumanitarianorganization,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 271 [] the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=4): 272 [] any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=5): 273 [] accept_team(sufferterragovernment,countryahumanitarianorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 274 [] the_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=4): 275 [] any_agent_in_all_proposed_teams(sufferterragovernment,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=5): 276 [] accept_team(countryafirstaidorganization,countryahumanitarianorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 277 [] accept_number(countryafirstaidorganization,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 278 [] the_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=4): 279 [] any_agent_in_all_proposed_teams(countryafirstaidorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=5): 280 [] accept_team(countryafirstaidorganization,sufferterragovernment,towna,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 281 [] accept_team(countryafirstaidorganization,sufferterragovernment,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 282 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 283 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 284 [] accept_team(countryamedicalorganization,countryahumanitarianorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 285 [] accept_number(countryamedicalorganization,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 286 [] the_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=4): 287 [] any_agent_in_all_proposed_teams(countryamedicalorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=5): 288 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 289 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 290 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 291 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 292 [] the_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=4): 293 [] any_agent_in_all_proposed_teams(countryahumanitarianorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=3): 294 [] accept_number(countryahumanitarianorganization,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 295 [] accept_team(countryacivilorganization,countryahumanitarianorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 296 [] accept_number(countryacivilorganization,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 297 [] the_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=4): 298 [] any_agent_in_all_proposed_teams(countryacivilorganization,countrybhumanitarianorganization,cityb).
% 2.64/2.76  ** KEPT (pick-wt=3): 299 [] accept_number(countrybhumanitarianorganization,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 300 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 301 [] accept_team(muslimcountrybhumanitarianorganization,countrybhumanitarianorganization,cityb,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 302 [] accept_number(muslimcountrybhumanitarianorganization,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 303 [] accept_team(countryamedicalorganization,sufferterragovernment,towna,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 304 [] accept_team(countryamedicalorganization,sufferterragovernment,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 305 [] accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 306 [] accept_team(countryahumanitarianorganization,sufferterragovernment,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 307 [] accept_number(christiancountrychumanitarianorganization,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 308 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n3).
% 2.64/2.76  ** KEPT (pick-wt=5): 309 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n3).
% 2.64/2.76  ** KEPT (pick-wt=5): 310 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n3).
% 2.64/2.76  ** KEPT (pick-wt=5): 311 [] accept_team(countrybhumanitarianorganization,countryccivilorganization,towna,n3).
% 2.64/2.76  ** KEPT (pick-wt=3): 312 [] accept_number(countrybhumanitarianorganization,n2).
% 2.64/2.76  ** KEPT (pick-wt=5): 313 [] accept_team(countrybhumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 314 [] accept_team(countrybhumanitarianorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 315 [] accept_team(countrybhumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 316 [] the_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 317 [] any_agent_in_all_proposed_teams(countrybhumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=3): 318 [] accept_number(countrybcivilorganization,n2).
% 2.64/2.76  ** KEPT (pick-wt=3): 319 [] accept_number(countrybcivilorganization,n3).
% 2.64/2.76  ** KEPT (pick-wt=5): 320 [] accept_team(countrybcivilorganization,countryccivilorganization,towna,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 321 [] accept_team(countrybcivilorganization,countrybhumanitarianorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 322 [] accept_team(countrybcivilorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 323 [] accept_team(countrybcivilorganization,countrycmedicalorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 324 [] the_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 325 [] any_agent_in_all_proposed_teams(countrybcivilorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=3): 326 [] accept_number(sufferterragovernment,n2).
% 2.64/2.76  ** KEPT (pick-wt=3): 327 [] accept_number(countryccivilorganization,n2).
% 2.64/2.76  ** KEPT (pick-wt=3): 328 [] accept_number(countryccivilorganization,n3).
% 2.64/2.76  ** KEPT (pick-wt=4): 329 [] the_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 330 [] any_agent_in_all_proposed_teams(countryccivilorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=3): 331 [] accept_number(sufferterragovernment,n5).
% 2.64/2.76  ** KEPT (pick-wt=5): 332 [] accept_team(countryacivilorganization,sufferterragovernment,towna,n5).
% 2.64/2.76  ** KEPT (pick-wt=3): 333 [] accept_number(sufferterragovernment,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 334 [] accept_team(countryacivilorganization,sufferterragovernment,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 335 [] accept_number(countrycmedicalorganization,n2).
% 2.64/2.76  ** KEPT (pick-wt=3): 336 [] accept_number(countrycmedicalorganization,n3).
% 2.64/2.76  ** KEPT (pick-wt=5): 337 [] accept_team(countrycmedicalorganization,countryccivilorganization,towna,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 338 [] accept_team(countrycmedicalorganization,countrybcivilorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 339 [] accept_team(countrycmedicalorganization,countrybhumanitarianorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 340 [] accept_team(countrycmedicalorganization,christiancountrychumanitarianorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 341 [] the_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 342 [] any_agent_in_all_proposed_teams(countrycmedicalorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=3): 343 [] accept_number(christiancountrychumanitarianorganization,n3).
% 2.64/2.76  ** KEPT (pick-wt=3): 344 [] accept_number(countryccivilorganization,n4).
% 2.64/2.76  ** KEPT (pick-wt=5): 345 [] accept_team(christiancountrychumanitarianorganization,countryccivilorganization,towna,n4).
% 2.64/2.76  ** KEPT (pick-wt=3): 346 [] accept_number(countrybcivilorganization,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 347 [] accept_team(christiancountrychumanitarianorganization,countrybcivilorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 348 [] accept_number(countrybhumanitarianorganization,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 349 [] accept_team(christiancountrychumanitarianorganization,countrybhumanitarianorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=5): 350 [] accept_team(christiancountrychumanitarianorganization,countrycmedicalorganization,towna,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 351 [] accept_number(christiancountrychumanitarianorganization,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 352 [] the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 353 [] any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=3): 354 [] accept_number(countrycmedicalorganization,n6).
% 2.64/2.76  ** KEPT (pick-wt=3): 355 [] accept_number(muslimcountrybhumanitarianorganization,n6).
% 2.64/2.76  ** KEPT (pick-wt=4): 356 [] the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=4): 357 [] any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization,sufferterragovernment,towna).
% 2.64/2.76  ** KEPT (pick-wt=5): 358 [] rdn_translate(n0,rdn_pos(rdnn(n0))).
% 2.64/2.76  ** KEPT (pick-wt=5): 359 [] rdn_translate(n1,rdn_pos(rdnn(n1))).
% 2.64/2.76  ** KEPT (pick-wt=5): 360 [] rdn_translate(n2,rdn_pos(rdnn(n2))).
% 2.64/2.76  ** KEPT (pick-wt=5): 361 [] rdn_translate(n3,rdn_pos(rdnn(n3))).
% 2.64/2.76  ** KEPT (pick-wt=5): 362 [] rdn_translate(n4,rdn_pos(rdnn(n4))).
% 2.64/2.76  ** KEPT (pick-wt=5): 363 [] rdn_translate(n5,rdn_pos(rdnn(n5))).
% 2.64/2.76  ** KEPT (pick-wt=5): 364 [] rdn_translate(n6,rdn_pos(rdnn(n6))).
% 2.64/2.76  ** KEPT (pick-wt=5): 365 [] rdn_translate(n7,rdn_pos(rdnn(n7))).
% 2.64/2.76  ** KEPT (pick-wt=5): 366 [] rdn_translate(n8,rdn_pos(rdnn(n8))).
% 2.64/2.76  ** KEPT (pick-wt=5): 367 [] rdn_translate(n9,rdn_pos(rdnn(n9))).
% 2.64/2.76  ** KEPT (pick-wt=8): 368 [] rdn_translate(n10,rdn_pos(rdn(rdnn(n0),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 369 [] rdn_translate(n11,rdn_pos(rdn(rdnn(n1),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 370 [] rdn_translate(n12,rdn_pos(rdn(rdnn(n2),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 371 [] rdn_translate(n13,rdn_pos(rdn(rdnn(n3),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 372 [] rdn_translate(n14,rdn_pos(rdn(rdnn(n4),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 373 [] rdn_translate(n15,rdn_pos(rdn(rdnn(n5),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 374 [] rdn_translate(n16,rdn_pos(rdn(rdnn(n6),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 375 [] rdn_translate(n17,rdn_pos(rdn(rdnn(n7),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 376 [] rdn_translate(n18,rdn_pos(rdn(rdnn(n8),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 377 [] rdn_translate(n19,rdn_pos(rdn(rdnn(n9),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 378 [] rdn_translate(n20,rdn_pos(rdn(rdnn(n0),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 379 [] rdn_translate(n21,rdn_pos(rdn(rdnn(n1),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 380 [] rdn_translate(n22,rdn_pos(rdn(rdnn(n2),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 381 [] rdn_translate(n23,rdn_pos(rdn(rdnn(n3),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 382 [] rdn_translate(n24,rdn_pos(rdn(rdnn(n4),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 383 [] rdn_translate(n25,rdn_pos(rdn(rdnn(n5),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 384 [] rdn_translate(n26,rdn_pos(rdn(rdnn(n6),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 385 [] rdn_translate(n27,rdn_pos(rdn(rdnn(n7),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 386 [] rdn_translate(n28,rdn_pos(rdn(rdnn(n8),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 387 [] rdn_translate(n29,rdn_pos(rdn(rdnn(n9),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 388 [] rdn_translate(n30,rdn_pos(rdn(rdnn(n0),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 389 [] rdn_translate(n31,rdn_pos(rdn(rdnn(n1),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 390 [] rdn_translate(n32,rdn_pos(rdn(rdnn(n2),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 391 [] rdn_translate(n33,rdn_pos(rdn(rdnn(n3),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 392 [] rdn_translate(n34,rdn_pos(rdn(rdnn(n4),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 393 [] rdn_translate(n35,rdn_pos(rdn(rdnn(n5),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 394 [] rdn_translate(n36,rdn_pos(rdn(rdnn(n6),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 395 [] rdn_translate(n37,rdn_pos(rdn(rdnn(n7),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 396 [] rdn_translate(n38,rdn_pos(rdn(rdnn(n8),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 397 [] rdn_translate(n39,rdn_pos(rdn(rdnn(n9),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 398 [] rdn_translate(n40,rdn_pos(rdn(rdnn(n0),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 399 [] rdn_translate(n41,rdn_pos(rdn(rdnn(n1),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 400 [] rdn_translate(n42,rdn_pos(rdn(rdnn(n2),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 401 [] rdn_translate(n43,rdn_pos(rdn(rdnn(n3),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 402 [] rdn_translate(n44,rdn_pos(rdn(rdnn(n4),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 403 [] rdn_translate(n45,rdn_pos(rdn(rdnn(n5),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 404 [] rdn_translate(n46,rdn_pos(rdn(rdnn(n6),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 405 [] rdn_translate(n47,rdn_pos(rdn(rdnn(n7),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 406 [] rdn_translate(n48,rdn_pos(rdn(rdnn(n8),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 407 [] rdn_translate(n49,rdn_pos(rdn(rdnn(n9),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 408 [] rdn_translate(n50,rdn_pos(rdn(rdnn(n0),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 409 [] rdn_translate(n51,rdn_pos(rdn(rdnn(n1),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 410 [] rdn_translate(n52,rdn_pos(rdn(rdnn(n2),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 411 [] rdn_translate(n53,rdn_pos(rdn(rdnn(n3),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 412 [] rdn_translate(n54,rdn_pos(rdn(rdnn(n4),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 413 [] rdn_translate(n55,rdn_pos(rdn(rdnn(n5),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 414 [] rdn_translate(n56,rdn_pos(rdn(rdnn(n6),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 415 [] rdn_translate(n57,rdn_pos(rdn(rdnn(n7),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 416 [] rdn_translate(n58,rdn_pos(rdn(rdnn(n8),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 417 [] rdn_translate(n59,rdn_pos(rdn(rdnn(n9),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 418 [] rdn_translate(n60,rdn_pos(rdn(rdnn(n0),rdnn(n6)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 419 [] rdn_translate(n61,rdn_pos(rdn(rdnn(n1),rdnn(n6)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 420 [] rdn_translate(n62,rdn_pos(rdn(rdnn(n2),rdnn(n6)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 421 [] rdn_translate(n63,rdn_pos(rdn(rdnn(n3),rdnn(n6)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 422 [] rdn_translate(n64,rdn_pos(rdn(rdnn(n4),rdnn(n6)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 423 [] rdn_translate(n65,rdn_pos(rdn(rdnn(n5),rdnn(n6)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 424 [] rdn_translate(n66,rdn_pos(rdn(rdnn(n6),rdnn(n6)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 425 [] rdn_translate(n67,rdn_pos(rdn(rdnn(n7),rdnn(n6)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 426 [] rdn_translate(n68,rdn_pos(rdn(rdnn(n8),rdnn(n6)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 427 [] rdn_translate(n69,rdn_pos(rdn(rdnn(n9),rdnn(n6)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 428 [] rdn_translate(n70,rdn_pos(rdn(rdnn(n0),rdnn(n7)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 429 [] rdn_translate(n71,rdn_pos(rdn(rdnn(n1),rdnn(n7)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 430 [] rdn_translate(n72,rdn_pos(rdn(rdnn(n2),rdnn(n7)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 431 [] rdn_translate(n73,rdn_pos(rdn(rdnn(n3),rdnn(n7)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 432 [] rdn_translate(n74,rdn_pos(rdn(rdnn(n4),rdnn(n7)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 433 [] rdn_translate(n75,rdn_pos(rdn(rdnn(n5),rdnn(n7)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 434 [] rdn_translate(n76,rdn_pos(rdn(rdnn(n6),rdnn(n7)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 435 [] rdn_translate(n77,rdn_pos(rdn(rdnn(n7),rdnn(n7)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 436 [] rdn_translate(n78,rdn_pos(rdn(rdnn(n8),rdnn(n7)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 437 [] rdn_translate(n79,rdn_pos(rdn(rdnn(n9),rdnn(n7)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 438 [] rdn_translate(n80,rdn_pos(rdn(rdnn(n0),rdnn(n8)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 439 [] rdn_translate(n81,rdn_pos(rdn(rdnn(n1),rdnn(n8)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 440 [] rdn_translate(n82,rdn_pos(rdn(rdnn(n2),rdnn(n8)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 441 [] rdn_translate(n83,rdn_pos(rdn(rdnn(n3),rdnn(n8)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 442 [] rdn_translate(n84,rdn_pos(rdn(rdnn(n4),rdnn(n8)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 443 [] rdn_translate(n85,rdn_pos(rdn(rdnn(n5),rdnn(n8)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 444 [] rdn_translate(n86,rdn_pos(rdn(rdnn(n6),rdnn(n8)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 445 [] rdn_translate(n87,rdn_pos(rdn(rdnn(n7),rdnn(n8)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 446 [] rdn_translate(n88,rdn_pos(rdn(rdnn(n8),rdnn(n8)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 447 [] rdn_translate(n89,rdn_pos(rdn(rdnn(n9),rdnn(n8)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 448 [] rdn_translate(n90,rdn_pos(rdn(rdnn(n0),rdnn(n9)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 449 [] rdn_translate(n91,rdn_pos(rdn(rdnn(n1),rdnn(n9)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 450 [] rdn_translate(n92,rdn_pos(rdn(rdnn(n2),rdnn(n9)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 451 [] rdn_translate(n93,rdn_pos(rdn(rdnn(n3),rdnn(n9)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 452 [] rdn_translate(n94,rdn_pos(rdn(rdnn(n4),rdnn(n9)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 453 [] rdn_translate(n95,rdn_pos(rdn(rdnn(n5),rdnn(n9)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 454 [] rdn_translate(n96,rdn_pos(rdn(rdnn(n6),rdnn(n9)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 455 [] rdn_translate(n97,rdn_pos(rdn(rdnn(n7),rdnn(n9)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 456 [] rdn_translate(n98,rdn_pos(rdn(rdnn(n8),rdnn(n9)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 457 [] rdn_translate(n99,rdn_pos(rdn(rdnn(n9),rdnn(n9)))).
% 2.64/2.76  ** KEPT (pick-wt=11): 458 [] rdn_translate(n100,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 459 [] rdn_translate(n101,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 460 [] rdn_translate(n102,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 461 [] rdn_translate(n103,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 462 [] rdn_translate(n104,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 463 [] rdn_translate(n105,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 464 [] rdn_translate(n106,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 465 [] rdn_translate(n107,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 466 [] rdn_translate(n108,rdn_pos(rdn(rdnn(n8),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 467 [] rdn_translate(n109,rdn_pos(rdn(rdnn(n9),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 468 [] rdn_translate(n110,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 469 [] rdn_translate(n111,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 470 [] rdn_translate(n112,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 471 [] rdn_translate(n113,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 472 [] rdn_translate(n114,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 473 [] rdn_translate(n115,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 474 [] rdn_translate(n116,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 475 [] rdn_translate(n117,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 476 [] rdn_translate(n118,rdn_pos(rdn(rdnn(n8),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 477 [] rdn_translate(n119,rdn_pos(rdn(rdnn(n9),rdn(rdnn(n1),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 478 [] rdn_translate(n120,rdn_pos(rdn(rdnn(n0),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 479 [] rdn_translate(n121,rdn_pos(rdn(rdnn(n1),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 480 [] rdn_translate(n122,rdn_pos(rdn(rdnn(n2),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 481 [] rdn_translate(n123,rdn_pos(rdn(rdnn(n3),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 482 [] rdn_translate(n124,rdn_pos(rdn(rdnn(n4),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 483 [] rdn_translate(n125,rdn_pos(rdn(rdnn(n5),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 484 [] rdn_translate(n126,rdn_pos(rdn(rdnn(n6),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=11): 485 [] rdn_translate(n127,rdn_pos(rdn(rdnn(n7),rdn(rdnn(n2),rdnn(n1))))).
% 2.64/2.76  ** KEPT (pick-wt=5): 486 [] rdn_translate(nn1,rdn_neg(rdnn(n1))).
% 2.64/2.76  ** KEPT (pick-wt=5): 487 [] rdn_translate(nn2,rdn_neg(rdnn(n2))).
% 2.64/2.76  ** KEPT (pick-wt=5): 488 [] rdn_translate(nn3,rdn_neg(rdnn(n3))).
% 2.64/2.76  ** KEPT (pick-wt=5): 489 [] rdn_translate(nn4,rdn_neg(rdnn(n4))).
% 2.64/2.76  ** KEPT (pick-wt=5): 490 [] rdn_translate(nn5,rdn_neg(rdnn(n5))).
% 2.64/2.76  ** KEPT (pick-wt=5): 491 [] rdn_translate(nn6,rdn_neg(rdnn(n6))).
% 2.64/2.76  ** KEPT (pick-wt=5): 492 [] rdn_translate(nn7,rdn_neg(rdnn(n7))).
% 2.64/2.76  ** KEPT (pick-wt=5): 493 [] rdn_translate(nn8,rdn_neg(rdnn(n8))).
% 2.64/2.76  ** KEPT (pick-wt=5): 494 [] rdn_translate(nn9,rdn_neg(rdnn(n9))).
% 2.64/2.76  ** KEPT (pick-wt=8): 495 [] rdn_translate(nn10,rdn_neg(rdn(rdnn(n0),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 496 [] rdn_translate(nn11,rdn_neg(rdn(rdnn(n1),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 497 [] rdn_translate(nn12,rdn_neg(rdn(rdnn(n2),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 498 [] rdn_translate(nn13,rdn_neg(rdn(rdnn(n3),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 499 [] rdn_translate(nn14,rdn_neg(rdn(rdnn(n4),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 500 [] rdn_translate(nn15,rdn_neg(rdn(rdnn(n5),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 501 [] rdn_translate(nn16,rdn_neg(rdn(rdnn(n6),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 502 [] rdn_translate(nn17,rdn_neg(rdn(rdnn(n7),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 503 [] rdn_translate(nn18,rdn_neg(rdn(rdnn(n8),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 504 [] rdn_translate(nn19,rdn_neg(rdn(rdnn(n9),rdnn(n1)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 505 [] rdn_translate(nn20,rdn_neg(rdn(rdnn(n0),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 506 [] rdn_translate(nn21,rdn_neg(rdn(rdnn(n1),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 507 [] rdn_translate(nn22,rdn_neg(rdn(rdnn(n2),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 508 [] rdn_translate(nn23,rdn_neg(rdn(rdnn(n3),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 509 [] rdn_translate(nn24,rdn_neg(rdn(rdnn(n4),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 510 [] rdn_translate(nn25,rdn_neg(rdn(rdnn(n5),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 511 [] rdn_translate(nn26,rdn_neg(rdn(rdnn(n6),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 512 [] rdn_translate(nn27,rdn_neg(rdn(rdnn(n7),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 513 [] rdn_translate(nn28,rdn_neg(rdn(rdnn(n8),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 514 [] rdn_translate(nn29,rdn_neg(rdn(rdnn(n9),rdnn(n2)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 515 [] rdn_translate(nn30,rdn_neg(rdn(rdnn(n0),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 516 [] rdn_translate(nn31,rdn_neg(rdn(rdnn(n1),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 517 [] rdn_translate(nn32,rdn_neg(rdn(rdnn(n2),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 518 [] rdn_translate(nn33,rdn_neg(rdn(rdnn(n3),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 519 [] rdn_translate(nn34,rdn_neg(rdn(rdnn(n4),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 520 [] rdn_translate(nn35,rdn_neg(rdn(rdnn(n5),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 521 [] rdn_translate(nn36,rdn_neg(rdn(rdnn(n6),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 522 [] rdn_translate(nn37,rdn_neg(rdn(rdnn(n7),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 523 [] rdn_translate(nn38,rdn_neg(rdn(rdnn(n8),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 524 [] rdn_translate(nn39,rdn_neg(rdn(rdnn(n9),rdnn(n3)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 525 [] rdn_translate(nn40,rdn_neg(rdn(rdnn(n0),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 526 [] rdn_translate(nn41,rdn_neg(rdn(rdnn(n1),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 527 [] rdn_translate(nn42,rdn_neg(rdn(rdnn(n2),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 528 [] rdn_translate(nn43,rdn_neg(rdn(rdnn(n3),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 529 [] rdn_translate(nn44,rdn_neg(rdn(rdnn(n4),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 530 [] rdn_translate(nn45,rdn_neg(rdn(rdnn(n5),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 531 [] rdn_translate(nn46,rdn_neg(rdn(rdnn(n6),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 532 [] rdn_translate(nn47,rdn_neg(rdn(rdnn(n7),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 533 [] rdn_translate(nn48,rdn_neg(rdn(rdnn(n8),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 534 [] rdn_translate(nn49,rdn_neg(rdn(rdnn(n9),rdnn(n4)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 535 [] rdn_translate(nn50,rdn_neg(rdn(rdnn(n0),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 536 [] rdn_translate(nn51,rdn_neg(rdn(rdnn(n1),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 537 [] rdn_translate(nn52,rdn_neg(rdn(rdnn(n2),rdnn(n5)))).
% 2.64/2.76  ** KEPT (pick-wt=8): 538 [] rdn_translate(nn53,rdn_neg(rdn(rdnn(n3),rdnn(n5)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 539 [] rdn_translate(nn54,rdn_neg(rdn(rdnn(n4),rdnn(n5)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 540 [] rdn_translate(nn55,rdn_neg(rdn(rdnn(n5),rdnn(n5)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 541 [] rdn_translate(nn56,rdn_neg(rdn(rdnn(n6),rdnn(n5)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 542 [] rdn_translate(nn57,rdn_neg(rdn(rdnn(n7),rdnn(n5)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 543 [] rdn_translate(nn58,rdn_neg(rdn(rdnn(n8),rdnn(n5)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 544 [] rdn_translate(nn59,rdn_neg(rdn(rdnn(n9),rdnn(n5)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 545 [] rdn_translate(nn60,rdn_neg(rdn(rdnn(n0),rdnn(n6)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 546 [] rdn_translate(nn61,rdn_neg(rdn(rdnn(n1),rdnn(n6)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 547 [] rdn_translate(nn62,rdn_neg(rdn(rdnn(n2),rdnn(n6)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 548 [] rdn_translate(nn63,rdn_neg(rdn(rdnn(n3),rdnn(n6)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 549 [] rdn_translate(nn64,rdn_neg(rdn(rdnn(n4),rdnn(n6)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 550 [] rdn_translate(nn65,rdn_neg(rdn(rdnn(n5),rdnn(n6)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 551 [] rdn_translate(nn66,rdn_neg(rdn(rdnn(n6),rdnn(n6)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 552 [] rdn_translate(nn67,rdn_neg(rdn(rdnn(n7),rdnn(n6)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 553 [] rdn_translate(nn68,rdn_neg(rdn(rdnn(n8),rdnn(n6)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 554 [] rdn_translate(nn69,rdn_neg(rdn(rdnn(n9),rdnn(n6)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 555 [] rdn_translate(nn70,rdn_neg(rdn(rdnn(n0),rdnn(n7)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 556 [] rdn_translate(nn71,rdn_neg(rdn(rdnn(n1),rdnn(n7)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 557 [] rdn_translate(nn72,rdn_neg(rdn(rdnn(n2),rdnn(n7)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 558 [] rdn_translate(nn73,rdn_neg(rdn(rdnn(n3),rdnn(n7)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 559 [] rdn_translate(nn74,rdn_neg(rdn(rdnn(n4),rdnn(n7)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 560 [] rdn_translate(nn75,rdn_neg(rdn(rdnn(n5),rdnn(n7)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 561 [] rdn_translate(nn76,rdn_neg(rdn(rdnn(n6),rdnn(n7)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 562 [] rdn_translate(nn77,rdn_neg(rdn(rdnn(n7),rdnn(n7)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 563 [] rdn_translate(nn78,rdn_neg(rdn(rdnn(n8),rdnn(n7)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 564 [] rdn_translate(nn79,rdn_neg(rdn(rdnn(n9),rdnn(n7)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 565 [] rdn_translate(nn80,rdn_neg(rdn(rdnn(n0),rdnn(n8)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 566 [] rdn_translate(nn81,rdn_neg(rdn(rdnn(n1),rdnn(n8)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 567 [] rdn_translate(nn82,rdn_neg(rdn(rdnn(n2),rdnn(n8)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 568 [] rdn_translate(nn83,rdn_neg(rdn(rdnn(n3),rdnn(n8)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 569 [] rdn_translate(nn84,rdn_neg(rdn(rdnn(n4),rdnn(n8)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 570 [] rdn_translate(nn85,rdn_neg(rdn(rdnn(n5),rdnn(n8)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 571 [] rdn_translate(nn86,rdn_neg(rdn(rdnn(n6),rdnn(n8)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 572 [] rdn_translate(nn87,rdn_neg(rdn(rdnn(n7),rdnn(n8)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 573 [] rdn_translate(nn88,rdn_neg(rdn(rdnn(n8),rdnn(n8)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 574 [] rdn_translate(nn89,rdn_neg(rdn(rdnn(n9),rdnn(n8)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 575 [] rdn_translate(nn90,rdn_neg(rdn(rdnn(n0),rdnn(n9)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 576 [] rdn_translate(nn91,rdn_neg(rdn(rdnn(n1),rdnn(n9)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 577 [] rdn_translate(nn92,rdn_neg(rdn(rdnn(n2),rdnn(n9)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 578 [] rdn_translate(nn93,rdn_neg(rdn(rdnn(n3),rdnn(n9)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 579 [] rdn_translate(nn94,rdn_neg(rdn(rdnn(n4),rdnn(n9)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 580 [] rdn_translate(nn95,rdn_neg(rdn(rdnn(n5),rdnn(n9)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 581 [] rdn_translate(nn96,rdn_neg(rdn(rdnn(n6),rdnn(n9)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 582 [] rdn_translate(nn97,rdn_neg(rdn(rdnn(n7),rdnn(n9)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 583 [] rdn_translate(nn98,rdn_neg(rdn(rdnn(n8),rdnn(n9)))).
% 2.64/2.77  ** KEPT (pick-wt=8): 584 [] rdn_translate(nn99,rdn_neg(rdn(rdnn(n9),rdnn(n9)))).
% 2.64/2.77  ** KEPT (pick-wt=11): 585 [] rdn_translate(nn100,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.77  ** KEPT (pick-wt=11): 586 [] rdn_translate(nn101,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.77  ** KEPT (pick-wt=11): 587 [] rdn_translate(nn102,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n0),rdnn(n1))))).
% 2.64/2.77  ** KEPT (pick-wt=11): 588 [] rdn_translate(nn103,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n0),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 589 [] rdn_translate(nn104,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n0),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 590 [] rdn_translate(nn105,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n0),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 591 [] rdn_translate(nn106,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n0),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 592 [] rdn_translate(nn107,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n0),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 593 [] rdn_translate(nn108,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n0),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 594 [] rdn_translate(nn109,rdn_neg(rdn(rdnn(n9),rdn(rdnn(n0),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 595 [] rdn_translate(nn110,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n1),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 596 [] rdn_translate(nn111,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n1),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 597 [] rdn_translate(nn112,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n1),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 598 [] rdn_translate(nn113,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n1),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 599 [] rdn_translate(nn114,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n1),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 600 [] rdn_translate(nn115,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n1),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 601 [] rdn_translate(nn116,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n1),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 602 [] rdn_translate(nn117,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n1),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 603 [] rdn_translate(nn118,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n1),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 604 [] rdn_translate(nn119,rdn_neg(rdn(rdnn(n9),rdn(rdnn(n1),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 605 [] rdn_translate(nn120,rdn_neg(rdn(rdnn(n0),rdn(rdnn(n2),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 606 [] rdn_translate(nn121,rdn_neg(rdn(rdnn(n1),rdn(rdnn(n2),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 607 [] rdn_translate(nn122,rdn_neg(rdn(rdnn(n2),rdn(rdnn(n2),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 608 [] rdn_translate(nn123,rdn_neg(rdn(rdnn(n3),rdn(rdnn(n2),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 609 [] rdn_translate(nn124,rdn_neg(rdn(rdnn(n4),rdn(rdnn(n2),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 610 [] rdn_translate(nn125,rdn_neg(rdn(rdnn(n5),rdn(rdnn(n2),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 611 [] rdn_translate(nn126,rdn_neg(rdn(rdnn(n6),rdn(rdnn(n2),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 612 [] rdn_translate(nn127,rdn_neg(rdn(rdnn(n7),rdn(rdnn(n2),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=11): 613 [] rdn_translate(nn128,rdn_neg(rdn(rdnn(n8),rdn(rdnn(n2),rdnn(n1))))).
% 5.86/6.02  ** KEPT (pick-wt=3): 614 [] rdn_non_zero_digit(rdnn(n1)).
% 5.86/6.02  ** KEPT (pick-wt=3): 615 [] rdn_non_zero_digit(rdnn(n2)).
% 5.86/6.02  ** KEPT (pick-wt=3): 616 [] rdn_non_zero_digit(rdnn(n3)).
% 5.86/6.02  ** KEPT (pick-wt=3): 617 [] rdn_non_zero_digit(rdnn(n4)).
% 5.86/6.02  ** KEPT (pick-wt=3): 618 [] rdn_non_zero_digit(rdnn(n5)).
% 5.86/6.02  ** KEPT (pick-wt=3): 619 [] rdn_non_zero_digit(rdnn(n6)).
% 5.86/6.02  ** KEPT (pick-wt=3): 620 [] rdn_non_zero_digit(rdnn(n7)).
% 5.86/6.02  ** KEPT (pick-wt=3): 621 [] rdn_non_zero_digit(rdnn(n8)).
% 5.86/6.02  ** KEPT (pick-wt=3): 622 [] rdn_non_zero_digit(rdnn(n9)).
% 5.86/6.02  ** KEPT (pick-wt=5): 623 [] rdn_positive_less(rdnn(n0),rdnn(n1)).
% 5.86/6.02  ** KEPT (pick-wt=5): 624 [] rdn_positive_less(rdnn(n1),rdnn(n2)).
% 5.86/6.02  ** KEPT (pick-wt=5): 625 [] rdn_positive_less(rdnn(n2),rdnn(n3)).
% 5.86/6.02  ** KEPT (pick-wt=5): 626 [] rdn_positive_less(rdnn(n3),rdnn(n4)).
% 5.86/6.02  ** KEPT (pick-wt=5): 627 [] rdn_positive_less(rdnn(n4),rdnn(n5)).
% 5.86/6.02  ** KEPT (pick-wt=5): 628 [] rdn_positive_less(rdnn(n5),rdnn(n6)).
% 5.86/6.02  ** KEPT (pick-wt=5): 629 [] rdn_positive_less(rdnn(n6),rdnn(n7)).
% 5.86/6.02  ** KEPT (pick-wt=5): 630 [] rdn_positive_less(rdnn(n7),rdnn(n8)).
% 5.86/6.02  ** KEPT (pick-wt=5): 631 [] rdn_positive_less(rdnn(n8),rdnn(n9)).
% 5.86/6.02  ** KEPT (pick-wt=9): 632 [] less(A,B)|less(B,A)|B=A.
% 5.86/6.02  ** KEPT (pick-wt=4): 633 [] accept_population(countryamedicalorganization,native,n100).
% 5.86/6.02    Following clause subsumed by 148 during input processing: 0 [copy,148,flip.1] A=A.
% 5.86/6.02  
% 5.86/6.02  ======= end of input processing =======
% 5.86/6.02  
% 5.86/6.02  =========== start of search ===========
% 5.86/6.02  
% 5.86/6.02  
% 5.86/6.02  Resetting weight limit to 4.
% 5.86/6.02  
% 5.86/6.02  
% 5.86/6.02  Resetting weight limit to 4.
% 5.86/6.02  
% 5.86/6.02  sos_size=2010
% 5.86/6.02  
% 5.86/6.02  
% 5.86/6.02  Resetting weight limit to 3.
% 5.86/6.02  
% 5.86/6.02  
% 5.86/6.02  Resetting weight limit to 3.
% 5.86/6.02  
% 5.86/6.02  sos_size=1991
% 5.86/6.02  
% 5.86/6.02  Search stopped in tp_alloc by max_mem option.
% 5.86/6.02  
% 5.86/6.02  Search stopped in tp_alloc by max_mem option.
% 5.86/6.02  
% 5.86/6.02  ============ end of search ============
% 5.86/6.02  
% 5.86/6.02  -------------- statistics -------------
% 5.86/6.02  clauses given              13219
% 5.86/6.02  clauses generated         156936
% 5.86/6.02  clauses kept               31910
% 5.86/6.02  clauses forward subsumed    5735
% 5.86/6.02  clauses back subsumed          0
% 5.86/6.02  Kbytes malloced            11718
% 5.86/6.02  
% 5.86/6.02  ----------- times (seconds) -----------
% 5.86/6.02  user CPU time          3.26          (0 hr, 0 min, 3 sec)
% 5.86/6.02  system CPU time        0.03          (0 hr, 0 min, 0 sec)
% 5.86/6.02  wall-clock time        6             (0 hr, 0 min, 6 sec)
% 5.86/6.02  
% 5.86/6.02  Process 16797 finished Wed Jul 27 02:46:27 2022
% 5.86/6.02  Otter interrupted
% 5.86/6.02  PROOF NOT FOUND
%------------------------------------------------------------------------------