TSTP Solution File: AGT042+1 by Refute---2015
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Refute---2015
% Problem : AGT042+1 : TPTP v6.4.0. Released v6.4.0.
% Transfm : none
% Format : tptp:raw
% Command : isabelle tptp_refute %d %s
% Computer : n065.star.cs.uiowa.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz
% Memory : 32218.75MB
% OS : Linux 3.10.0-327.10.1.el7.x86_64
% CPULimit : 300s
% DateTime : Tue Apr 12 11:10:33 EDT 2016
% Result : Timeout 300.05s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.03 % Problem : AGT042+1 : TPTP v6.4.0. Released v6.4.0.
% 0.00/0.04 % Command : isabelle tptp_refute %d %s
% 0.02/0.23 % Computer : n065.star.cs.uiowa.edu
% 0.02/0.23 % Model : x86_64 x86_64
% 0.02/0.23 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% 0.02/0.23 % Memory : 32218.75MB
% 0.02/0.23 % OS : Linux 3.10.0-327.10.1.el7.x86_64
% 0.02/0.23 % CPULimit : 300
% 0.02/0.23 % DateTime : Sat Apr 9 03:25:24 CDT 2016
% 0.02/0.23 % CPUTime :
% 6.28/5.86 > val it = (): unit
% 6.78/6.38 Trying to find a model that refutes: True
% 19.21/18.74 Unfolded term: [| bnd_accept_leader bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_sufferterragovernment;
% 19.21/18.74 ~ bnd_accept_city bnd_muslimcountrybhumanitarianorganization bnd_towna;
% 19.21/18.74 bnd_accept_number bnd_muslimcountrybhumanitarianorganization bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_muslimcountrybhumanitarianorganization bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_muslimcountrybhumanitarianorganization bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_muslimcountrybhumanitarianorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_muslimcountrybhumanitarianorganization bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_muslimcountrybhumanitarianorganization bnd_n5;
% 19.21/18.74 bnd_accept_number bnd_countrycmedicalorganization bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_countrycmedicalorganization bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_countrycmedicalorganization bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_countrycmedicalorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_countrycmedicalorganization bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countrycmedicalorganization bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_sufferterragovernment;
% 19.21/18.74 bnd_accept_city bnd_christiancountrychumanitarianorganization bnd_towna;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_atheist bnd_n75;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_christian bnd_n24;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_muslim bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_native bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_other bnd_n0;
% 19.21/18.74 bnd_accept_number bnd_christiancountrychumanitarianorganization bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_christiancountrychumanitarianorganization bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_christiancountrychumanitarianorganization bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_christiancountrychumanitarianorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_christiancountrychumanitarianorganization bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_christiancountrychumanitarianorganization bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization;
% 19.21/18.74 bnd_accept_leader bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_number bnd_countrybhumanitarianorganization bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_countrybhumanitarianorganization bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_countrybhumanitarianorganization bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_countrybhumanitarianorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_countrybhumanitarianorganization bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countrybhumanitarianorganization bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization;
% 19.21/18.74 bnd_accept_number bnd_countrybcivilorganization bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_countrybcivilorganization bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_countrybcivilorganization bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_countrybcivilorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_countrybcivilorganization bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countrybcivilorganization bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countryccivilorganization;
% 19.21/18.74 bnd_accept_number bnd_countryccivilorganization bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countryccivilorganization bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_countryccivilorganization bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_countryccivilorganization bnd_n3;
% 19.21/18.74 bnd_accept_city bnd_countryacivilorganization bnd_towna;
% 19.21/18.74 bnd_accept_leader bnd_countryacivilorganization
% 19.21/18.74 bnd_sufferterragovernment;
% 19.21/18.74 bnd_accept_number bnd_countryacivilorganization bnd_n6;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_atheist bnd_n75;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_christian
% 19.21/18.74 bnd_n24;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_muslim bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_native bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_other bnd_n0;
% 19.21/18.74 bnd_accept_number bnd_countryacivilorganization bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_countryacivilorganization bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_countryacivilorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_countryacivilorganization bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countryacivilorganization bnd_n5;
% 19.21/18.74 bnd_accept_number bnd_sufferterragovernment bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_sufferterragovernment bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_sufferterragovernment bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_sufferterragovernment bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_sufferterragovernment bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_sufferterragovernment bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_countrybcivilorganization
% 19.21/18.74 bnd_sufferterragovernment;
% 19.21/18.74 bnd_accept_city bnd_countrybcivilorganization bnd_towna;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_atheist bnd_n75;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_christian
% 19.21/18.74 bnd_n24;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_muslim bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_native bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_other bnd_n0;
% 19.21/18.74 bnd_accept_leader bnd_countrybcivilorganization
% 19.21/18.74 bnd_countrycmedicalorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrybcivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrybcivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrybcivilorganization
% 19.21/18.74 bnd_countryccivilorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrycmedicalorganization
% 19.21/18.74 bnd_sufferterragovernment;
% 19.21/18.74 bnd_accept_city bnd_countrycmedicalorganization bnd_towna;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_atheist
% 19.21/18.74 bnd_n75;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_christian
% 19.21/18.74 bnd_n24;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_muslim bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_native bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_other bnd_n0;
% 19.21/18.74 bnd_accept_leader bnd_countrycmedicalorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countrybcivilorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countryccivilorganization;
% 19.21/18.74 bnd_accept_city bnd_countryafirstaidorganization bnd_towna;
% 19.21/18.74 bnd_accept_leader bnd_countryafirstaidorganization
% 19.21/18.74 bnd_sufferterragovernment;
% 19.21/18.74 bnd_accept_number bnd_countryafirstaidorganization bnd_n6;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_atheist
% 19.21/18.74 bnd_n75;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_christian
% 19.21/18.74 bnd_n24;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_muslim bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_native bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_other bnd_n0;
% 19.21/18.74 bnd_accept_number bnd_countryafirstaidorganization bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_countryafirstaidorganization bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_countryafirstaidorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_countryafirstaidorganization bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countryafirstaidorganization bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_countryccivilorganization
% 19.21/18.74 bnd_sufferterragovernment;
% 19.21/18.74 bnd_accept_city bnd_countryccivilorganization bnd_towna;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_atheist bnd_n75;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_christian
% 19.21/18.74 bnd_n24;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_muslim bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_native bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_other bnd_n0;
% 19.21/18.74 bnd_accept_leader bnd_sufferterragovernment
% 19.21/18.74 bnd_countrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_sufferterragovernment bnd_cityb;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_atheist bnd_n78;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_christian bnd_n20;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_muslim bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_native bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_other bnd_n1;
% 19.21/18.74 bnd_accept_leader bnd_sufferterragovernment
% 19.21/18.74 bnd_countryacivilorganization;
% 19.21/18.74 bnd_accept_city bnd_countryahumanitarianorganization bnd_towna;
% 19.21/18.74 bnd_accept_leader bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_sufferterragovernment;
% 19.21/18.74 bnd_accept_number bnd_countryahumanitarianorganization bnd_n6;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_atheist
% 19.21/18.74 bnd_n75;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_christian
% 19.21/18.74 bnd_n24;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_muslim
% 19.21/18.74 bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_native
% 19.21/18.74 bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_other
% 19.21/18.74 bnd_n0;
% 19.21/18.74 bnd_accept_number bnd_countryahumanitarianorganization bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_countryahumanitarianorganization bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_countryahumanitarianorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_countryahumanitarianorganization bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countryahumanitarianorganization bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countryahumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_atheist
% 19.21/18.74 bnd_n78;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_christian
% 19.21/18.74 bnd_n20;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_other
% 19.21/18.74 bnd_n1;
% 19.21/18.74 bnd_accept_leader bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization;
% 19.21/18.74 bnd_accept_leader bnd_countryacivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countryacivilorganization bnd_cityb;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_atheist bnd_n78;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_christian
% 19.21/18.74 bnd_n20;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_other bnd_n1;
% 19.21/18.74 bnd_accept_city bnd_countryamedicalorganization bnd_towna;
% 19.21/18.74 bnd_accept_leader bnd_countryamedicalorganization
% 19.21/18.74 bnd_sufferterragovernment;
% 19.21/18.74 bnd_accept_number bnd_countryamedicalorganization bnd_n6;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_atheist
% 19.21/18.74 bnd_n75;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_christian
% 19.21/18.74 bnd_n24;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_muslim bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_native bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_other bnd_n0;
% 19.21/18.74 bnd_accept_number bnd_countryamedicalorganization bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_countryamedicalorganization bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_countryamedicalorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_countryamedicalorganization bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countryamedicalorganization bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_countryamedicalorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countryamedicalorganization bnd_cityb;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_atheist
% 19.21/18.74 bnd_n78;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_christian
% 19.21/18.74 bnd_n20;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_other bnd_n1;
% 19.21/18.74 bnd_accept_leader bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryacivilorganization;
% 19.21/18.74 bnd_accept_city bnd_muslimcountrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_accept_leader bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_atheist bnd_n78;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_christian bnd_n20;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_muslim bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_native bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_other bnd_n1;
% 19.21/18.74 bnd_accept_leader bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_muslimcountrybhumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_atheist bnd_n30;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_christian bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_muslim bnd_n65;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_other bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization;
% 19.21/18.74 bnd_accept_leader bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization;
% 19.21/18.74 bnd_accept_city bnd_countrycmedicalorganization bnd_cityb;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_atheist
% 19.21/18.74 bnd_n78;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_christian
% 19.21/18.74 bnd_n20;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_other bnd_n1;
% 19.21/18.74 bnd_accept_leader bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countryahumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countrycmedicalorganization bnd_townc;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_atheist
% 19.21/18.74 bnd_n30;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_christian
% 19.21/18.74 bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_muslim bnd_n65;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_other bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_countrycmedicalorganization
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_leader bnd_countryccivilorganization
% 19.21/18.74 bnd_countryahumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countryccivilorganization bnd_townc;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_atheist bnd_n30;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_christian bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_muslim bnd_n65;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_other bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_cityb;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_atheist bnd_n78;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_christian bnd_n20;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_muslim bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_native bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_other bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_n1;
% 19.21/18.74 bnd_accept_number bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization;
% 19.21/18.74 bnd_accept_city bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_townc;
% 19.21/18.74 bnd_accept_leader bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_atheist bnd_n30;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_christian bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_muslim bnd_n65;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_other bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization;
% 19.21/18.74 bnd_accept_leader bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countryccivilorganization;
% 19.21/18.74 bnd_accept_city bnd_sufferterragovernment bnd_townc;
% 19.21/18.74 bnd_accept_leader bnd_sufferterragovernment
% 19.21/18.74 bnd_countryahumanitarianorganization;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_atheist bnd_n30;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_christian bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_muslim bnd_n65;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_other bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_sufferterragovernment
% 19.21/18.74 bnd_christiancountrychumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_sufferterragovernment bnd_coastvillage;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_atheist bnd_n12;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_christian bnd_n3;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_muslim bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_native bnd_n85;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_other bnd_n0;
% 19.21/18.74 bnd_accept_leader bnd_sufferterragovernment
% 19.21/18.74 bnd_countryafirstaidorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_sufferterragovernment;
% 19.21/18.74 bnd_accept_city bnd_countrybhumanitarianorganization bnd_towna;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_atheist
% 19.21/18.74 bnd_n75;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_christian
% 19.21/18.74 bnd_n24;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_muslim
% 19.21/18.74 bnd_n1;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_native
% 19.21/18.74 bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_other
% 19.21/18.74 bnd_n0;
% 19.21/18.74 bnd_accept_leader bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countryccivilorganization;
% 19.21/18.74 bnd_accept_leader bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countrybhumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_atheist
% 19.21/18.74 bnd_n30;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_christian
% 19.21/18.74 bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_muslim
% 19.21/18.74 bnd_n65;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_other
% 19.21/18.74 bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countrybhumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_atheist
% 19.21/18.74 bnd_n12;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_christian
% 19.21/18.74 bnd_n3;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_muslim
% 19.21/18.74 bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countrybhumanitarianorganization bnd_native
% 19.21/18.74 bnd_n85;
% 19.21/18.74 bnd_accept_leader bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization;
% 19.21/18.74 bnd_accept_leader bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countryafirstaidorganization bnd_cityb;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_atheist
% 19.21/18.74 bnd_n78;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_christian
% 19.21/18.74 bnd_n20;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_other bnd_n1;
% 19.21/18.74 bnd_accept_leader bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countryacivilorganization;
% 19.21/18.74 bnd_accept_city bnd_countryafirstaidorganization bnd_townc;
% 19.21/18.74 bnd_accept_leader bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countryahumanitarianorganization;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_atheist
% 19.21/18.74 bnd_n30;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_christian
% 19.21/18.74 bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_muslim
% 19.21/18.74 bnd_n65;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_other bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_countryafirstaidorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countryafirstaidorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_atheist
% 19.21/18.74 bnd_n12;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_christian
% 19.21/18.74 bnd_n3;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_muslim bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryafirstaidorganization bnd_native
% 19.21/18.74 bnd_n85;
% 19.21/18.74 bnd_accept_city bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_coastvillage;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_atheist bnd_n12;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_christian bnd_n3;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_muslim bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_native bnd_n85;
% 19.21/18.74 bnd_accept_population bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_other bnd_n0;
% 19.21/18.74 bnd_accept_leader bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization;
% 19.21/18.74 bnd_accept_leader bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_coastvillage;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_atheist bnd_n12;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_christian bnd_n3;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_muslim bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_native bnd_n85;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_other bnd_n0;
% 19.21/18.74 bnd_accept_leader bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryafirstaidorganization;
% 19.21/18.74 bnd_accept_city bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_towna;
% 19.21/18.74 ~ bnd_accept_leader bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_sufferterragovernment;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_atheist bnd_n75;
% 19.21/18.74 bnd_accept_population bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_christian bnd_n24;
% 19.21/18.74 bnd_accept_city bnd_countryacivilorganization bnd_townc;
% 19.21/18.74 bnd_accept_leader bnd_countryacivilorganization
% 19.21/18.74 bnd_countryahumanitarianorganization;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_atheist bnd_n30;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_christian bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_muslim bnd_n65;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_other bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_countryacivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countryacivilorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_atheist bnd_n12;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_christian bnd_n3;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_muslim bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryacivilorganization bnd_native bnd_n85;
% 19.21/18.74 bnd_accept_leader bnd_countryacivilorganization
% 19.21/18.74 bnd_countryafirstaidorganization;
% 19.21/18.74 bnd_accept_leader bnd_countryacivilorganization
% 19.21/18.74 bnd_countryamedicalorganization;
% 19.21/18.74 bnd_accept_leader bnd_countryccivilorganization
% 19.21/18.74 bnd_countryacivilorganization;
% 19.21/18.74 bnd_accept_city bnd_countryccivilorganization bnd_cityb;
% 19.21/18.74 bnd_accept_leader bnd_countryccivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization;
% 19.21/18.74 ~ bnd_accept_number bnd_countryccivilorganization bnd_n6;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_atheist bnd_n78;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_christian
% 19.21/18.74 bnd_n20;
% 19.21/18.74 bnd_accept_population bnd_countryccivilorganization bnd_other bnd_n1;
% 19.21/18.74 ~ bnd_accept_number bnd_countryccivilorganization bnd_n5;
% 19.21/18.74 bnd_accept_city bnd_sufferterragovernment bnd_towna;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_atheist bnd_n75;
% 19.21/18.74 bnd_accept_population bnd_sufferterragovernment bnd_christian bnd_n24;
% 19.21/18.74 bnd_accept_leader bnd_sufferterragovernment
% 19.21/18.74 bnd_countryamedicalorganization;
% 19.21/18.74 bnd_accept_city bnd_countrybcivilorganization bnd_cityb;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_atheist bnd_n78;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_christian
% 19.21/18.74 bnd_n20;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_other bnd_n1;
% 19.21/18.74 bnd_accept_leader bnd_countrybcivilorganization
% 19.21/18.74 bnd_countryahumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countrybcivilorganization bnd_townc;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_atheist bnd_n30;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_christian bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_muslim bnd_n65;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_other bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_countrybcivilorganization
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countrybcivilorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_atheist bnd_n12;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_christian bnd_n3;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_muslim bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countrybcivilorganization bnd_native bnd_n85;
% 19.21/18.74 bnd_accept_leader bnd_countrybcivilorganization
% 19.21/18.74 bnd_countryacivilorganization;
% 19.21/18.74 bnd_accept_city bnd_countrycmedicalorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_atheist
% 19.21/18.74 bnd_n12;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_christian
% 19.21/18.74 bnd_n3;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_muslim bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countrycmedicalorganization bnd_native bnd_n85;
% 19.21/18.74 bnd_accept_leader bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countryacivilorganization;
% 19.21/18.74 bnd_accept_leader bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryamedicalorganization;
% 19.21/18.74 bnd_accept_leader bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countryamedicalorganization;
% 19.21/18.74 bnd_accept_leader bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_countryahumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_atheist
% 19.21/18.74 bnd_n12;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_christian
% 19.21/18.74 bnd_n3;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_muslim
% 19.21/18.74 bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryahumanitarianorganization bnd_native
% 19.21/18.74 bnd_n85;
% 19.21/18.74 bnd_accept_leader bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_countryafirstaidorganization;
% 19.21/18.74 bnd_accept_leader bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_countryamedicalorganization;
% 19.21/18.74 bnd_accept_city bnd_countryamedicalorganization bnd_townc;
% 19.21/18.74 bnd_accept_leader bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryahumanitarianorganization;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_atheist
% 19.21/18.74 bnd_n30;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_christian
% 19.21/18.74 bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_muslim bnd_n65;
% 19.21/18.74 bnd_accept_population bnd_countryamedicalorganization bnd_other bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_countryamedicalorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization;
% 19.21/18.74 ~ bnd_accept_city bnd_countryamedicalorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_city bnd_christiancountrychumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_atheist bnd_n78;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_christian bnd_n20;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_other bnd_n1;
% 19.21/18.74 bnd_accept_leader bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization;
% 19.21/18.74 bnd_accept_city bnd_christiancountrychumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_atheist bnd_n30;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_christian bnd_n0;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_muslim bnd_n65;
% 19.21/18.74 bnd_accept_population bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_other bnd_n5;
% 19.21/18.74 bnd_accept_leader bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization;
% 19.21/18.74 bnd_accept_leader bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization bnd_sufferterragovernment
% 19.21/18.74 bnd_towna;
% 19.21/18.74 bnd_the_agent_not_in_any_proposed_teams
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization bnd_sufferterragovernment
% 19.21/18.74 bnd_towna;
% 19.21/18.74 bnd_accept_number bnd_muslimcountrybhumanitarianorganization bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_countrycmedicalorganization bnd_n6;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_sufferterragovernment
% 19.21/18.74 bnd_towna;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_sufferterragovernment
% 19.21/18.74 bnd_towna;
% 19.21/18.74 bnd_accept_number bnd_christiancountrychumanitarianorganization bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_countrybhumanitarianorganization bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_countrybcivilorganization bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countryccivilorganization bnd_towna bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countryccivilorganization bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_christiancountrychumanitarianorganization bnd_n3;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countrycmedicalorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countrycmedicalorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countryccivilorganization bnd_towna bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countrycmedicalorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_countrycmedicalorganization bnd_n2;
% 19.21/18.74 bnd_accept_team bnd_countryacivilorganization bnd_sufferterragovernment
% 19.21/18.74 bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_sufferterragovernment bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryacivilorganization bnd_sufferterragovernment
% 19.21/18.74 bnd_towna bnd_n5;
% 19.21/18.74 bnd_accept_number bnd_sufferterragovernment bnd_n5;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countryccivilorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countryccivilorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_towna bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_towna bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_countryccivilorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_countryccivilorganization bnd_n2;
% 19.21/18.74 ~ bnd_accept_team bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_sufferterragovernment bnd_n2;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countrybcivilorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countrybcivilorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_countryccivilorganization bnd_towna bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countrybcivilorganization bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_countrybcivilorganization bnd_n2;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_countrybhumanitarianorganization bnd_n2;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countryccivilorganization bnd_towna bnd_n3;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n3;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_towna bnd_n3;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_towna bnd_n3;
% 19.21/18.74 bnd_accept_number bnd_christiancountrychumanitarianorganization bnd_n2;
% 19.21/18.74 bnd_accept_team bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna bnd_n5;
% 19.21/18.74 bnd_accept_team bnd_countryamedicalorganization bnd_sufferterragovernment
% 19.21/18.74 bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryamedicalorganization bnd_sufferterragovernment
% 19.21/18.74 bnd_towna bnd_n5;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_towna bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_towna bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_towna bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countryccivilorganization bnd_towna bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_muslimcountrybhumanitarianorganization bnd_n2;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_towna bnd_n2;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countryccivilorganization bnd_towna bnd_n3;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n3;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_towna bnd_n3;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_towna bnd_n3;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countryccivilorganization bnd_towna bnd_n2;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_towna bnd_n2;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n2;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_towna bnd_n2;
% 19.21/18.74 bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n5;
% 19.21/18.74 bnd_accept_number bnd_countrybhumanitarianorganization bnd_n5;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countryacivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countryacivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_accept_number bnd_countryacivilorganization bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryacivilorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_cityb bnd_n6;
% 19.21/18.74 bnd_accept_number bnd_countryahumanitarianorganization bnd_n6;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n5;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n5;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countryamedicalorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countryamedicalorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_accept_number bnd_countryamedicalorganization bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_cityb bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n5;
% 19.21/18.74 bnd_accept_team bnd_countryafirstaidorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryafirstaidorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_towna bnd_n5;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_accept_number bnd_countryafirstaidorganization bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_cityb bnd_n6;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_sufferterragovernment
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_sufferterragovernment
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_accept_team bnd_sufferterragovernment
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_cityb bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n5;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams
% 19.21/18.74 bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams
% 19.21/18.74 bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb;
% 19.21/18.74 bnd_accept_number bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_cityb bnd_n6;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countryccivilorganization bnd_townc bnd_n4;
% 19.21/18.74 bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_sufferterragovernment
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_townc bnd_n2;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countryccivilorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countryccivilorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_townc bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_townc bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams
% 19.21/18.74 bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams
% 19.21/18.74 bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countryccivilorganization bnd_townc bnd_n4;
% 19.21/18.74 bnd_accept_team bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryacivilorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybcivilorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countryccivilorganization bnd_townc bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_muslimcountrybhumanitarianorganization bnd_n3;
% 19.21/18.74 bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams
% 19.21/18.74 bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams
% 19.21/18.74 bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_team bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryafirstaidorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_coastvillage bnd_n5;
% 19.21/18.74 bnd_accept_number bnd_countryahumanitarianorganization bnd_n5;
% 19.21/18.74 bnd_accept_number bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_n2;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_sufferterragovernment
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_sufferterragovernment
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_team bnd_sufferterragovernment
% 19.21/18.74 bnd_countryafirstaidorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_sufferterragovernment bnd_countryacivilorganization
% 19.21/18.74 bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_sufferterragovernment
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_sufferterragovernment
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_coastvillage bnd_n5;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countrybcivilorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countrybcivilorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_townc;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization bnd_townc bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage bnd_n5;
% 19.21/18.74 bnd_accept_number bnd_christiancountrychumanitarianorganization bnd_n5;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage bnd_n5;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countryafirstaidorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countryafirstaidorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_team bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_coastvillage bnd_n5;
% 19.21/18.74 bnd_accept_number bnd_countryafirstaidorganization bnd_n2;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countryacivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countryacivilorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_team bnd_countryacivilorganization
% 19.21/18.74 bnd_countryafirstaidorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryacivilorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryacivilorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_coastvillage bnd_n5;
% 19.21/18.74 bnd_accept_number bnd_countryacivilorganization bnd_n2;
% 19.21/18.74 bnd_accept_team bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams
% 19.21/18.74 bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams
% 19.21/18.74 bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n5;
% 19.21/18.74 bnd_accept_number bnd_countrycmedicalorganization bnd_n5;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countrycmedicalorganization bnd_n4;
% 19.21/18.74 bnd_accept_team bnd_countrycmedicalorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage bnd_n5;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countrycmedicalorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna;
% 19.21/18.74 bnd_accept_team bnd_sufferterragovernment bnd_countryacivilorganization
% 19.21/18.74 bnd_towna bnd_n6;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countrybcivilorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countrybcivilorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna;
% 19.21/18.74 bnd_accept_number bnd_countrybcivilorganization bnd_n5;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n5;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n4;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countryccivilorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countryccivilorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna;
% 19.21/18.74 ~ bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n5;
% 19.21/18.74 bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n4;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countryamedicalorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_the_agent_not_in_any_proposed_teams bnd_countryamedicalorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 ~ bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryafirstaidorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 ~ bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_sufferterragovernment bnd_coastvillage bnd_n2;
% 19.21/18.74 ~ bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_christiansufferterrahumanitarianorganization bnd_coastvillage
% 19.21/18.74 bnd_n2;
% 19.21/18.74 ~ bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_coastvillage bnd_n2;
% 19.21/18.74 ~ bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryafirstaidorganization bnd_coastvillage bnd_n2;
% 19.21/18.74 ~ bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryahumanitarianorganization bnd_coastvillage bnd_n2;
% 19.21/18.74 bnd_accept_number bnd_countryahumanitarianorganization bnd_n2;
% 19.21/18.74 bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage bnd_n5;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countrybhumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna;
% 19.21/18.74 bnd_accept_number bnd_countrybhumanitarianorganization bnd_n1;
% 19.21/18.74 bnd_accept_team bnd_sufferterragovernment bnd_countryacivilorganization
% 19.21/18.74 bnd_cityb bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiansufferterrahumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_cityb bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countrybcivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n4;
% 19.21/18.74 bnd_accept_number bnd_countrybhumanitarianorganization bnd_n4;
% 19.21/18.74 bnd_accept_team bnd_countryafirstaidorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_cityb bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_christiancountrychumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n4;
% 19.21/18.74 bnd_accept_team bnd_countryamedicalorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_cityb bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage bnd_n5;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization bnd_countryacivilorganization
% 19.21/18.74 bnd_towna;
% 19.21/18.74 bnd_the_agent_not_in_any_proposed_teams
% 19.21/18.74 bnd_muslimcountrybhumanitarianorganization bnd_countryacivilorganization
% 19.21/18.74 bnd_towna;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n5;
% 19.21/18.74 ~ bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrycmedicalorganization bnd_towna bnd_n4;
% 19.21/18.74 bnd_accept_team bnd_muslimcountrybhumanitarianorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n4;
% 19.21/18.74 bnd_accept_team bnd_countryccivilorganization
% 19.21/18.74 bnd_countrybhumanitarianorganization bnd_cityb bnd_n2;
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_christiancountrychumanitarianorganization bnd_coastvillage;
% 19.21/18.74 bnd_accept_team bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_countryafirstaidorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_coastvillage bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_towna bnd_n6;
% 19.21/18.74 bnd_accept_team bnd_countryahumanitarianorganization
% 19.21/18.74 bnd_countryacivilorganization bnd_cityb bnd_n6;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n30 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n0) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n65) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n0) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n5) =
% 19.21/18.74 bnd_accept_city A bnd_townc;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n78 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n20) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n1) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n0) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n1) =
% 19.21/18.74 bnd_accept_city A bnd_cityb;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n70 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n20) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n8) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n0) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n2) =
% 19.21/18.74 bnd_accept_city A bnd_townb;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n75 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n25) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n0) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n0) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n0) =
% 19.21/18.74 bnd_accept_city A bnd_citya;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n75 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n24) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n1) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n0) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n0) =
% 19.21/18.74 bnd_accept_city A bnd_towna;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n0 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n0) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n0) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n100) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n0) =
% 19.21/18.74 bnd_accept_city A bnd_sunsetpoint;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n12 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n3) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n0) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n85) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n0) =
% 19.21/18.74 bnd_accept_city A bnd_coastvillage;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n70 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n13) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n0) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n15) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n2) =
% 19.21/18.74 bnd_accept_city A bnd_northport;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n68 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n16) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n1) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n11) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n4) =
% 19.21/18.74 bnd_accept_city A bnd_stjosephburgh;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n70 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n15) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n1) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n10) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n4) =
% 19.21/18.74 bnd_accept_city A bnd_centrallakecity;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n30 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n8) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n60) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n1) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n1) =
% 19.21/18.74 bnd_accept_city A bnd_sunnysideport;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n54 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n23) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n3) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n1) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n9) =
% 19.21/18.74 bnd_accept_city A bnd_centraltown;
% 19.21/18.74 ALL A.
% 19.21/18.74 ((((bnd_accept_population A bnd_atheist bnd_n65 &
% 19.21/18.74 bnd_accept_population A bnd_christian bnd_n20) &
% 19.21/18.74 bnd_accept_population A bnd_muslim bnd_n7) &
% 19.21/18.74 bnd_accept_population A bnd_native bnd_n4) &
% 19.21/18.74 bnd_accept_population A bnd_other bnd_n4) =
% 19.21/18.74 bnd_accept_city A bnd_suffertown;
% 19.21/18.74 ALL A N. bnd_min_number_of_proposed_agents A N --> bnd_accept_number A N;
% 19.21/18.74 ALL A L C.
% 19.21/18.74 bnd_the_agent_not_in_any_proposed_teams A L C -->
% 19.21/18.74 ~ (bnd_accept_city A C & bnd_accept_leader A L);
% 19.21/18.74 ALL A L C.
% 19.21/18.74 bnd_any_agent_in_all_proposed_teams A L C --> bnd_accept_leader A L;
% 19.21/18.74 ALL A L C.
% 19.21/18.74 bnd_the_agent_in_all_proposed_teams A L C -->
% 19.21/18.74 bnd_accept_leader A L & bnd_accept_city A C;
% 19.21/18.74 ALL A N M P.
% 19.21/18.74 bnd_accept_population A P N & bnd_less M N -->
% 19.21/18.74 bnd_accept_population A P M;
% 19.21/18.74 ALL A N M.
% 19.21/18.74 bnd_accept_number A N & bnd_less M N --> bnd_accept_number A M;
% 19.21/18.74 ALL A C N L.
% 19.21/18.74 bnd_accept_team A L C N =
% 19.21/18.74 ((bnd_accept_city A C & bnd_accept_leader A L) &
% 19.21/18.74 bnd_accept_number A N) |]
% 19.21/18.74 ==> True
% 19.21/18.74 Adding axioms...
% 19.21/18.75 Typedef.type_definition_def
% 62.37/61.80 ...done.
% 62.37/61.85 Ground types: ?'b, TPTP_Interpret.ind
% 62.37/61.85 Translating term (sizes: 1, 1) ...
% 90.43/89.82 Invoking SAT solver...
% 90.43/89.82 No model exists.
% 90.43/89.82 Translating term (sizes: 2, 1) ...
% 119.12/118.44 Invoking SAT solver...
% 119.12/118.44 No model exists.
% 119.12/118.44 Translating term (sizes: 1, 2) ...
% 153.02/152.27 Invoking SAT solver...
% 153.02/152.27 No model exists.
% 153.02/152.27 Translating term (sizes: 3, 1) ...
% 184.24/183.36 Invoking SAT solver...
% 184.24/183.36 No model exists.
% 184.24/183.36 Translating term (sizes: 2, 2) ...
% 226.06/224.93 Invoking SAT solver...
% 226.06/224.93 No model exists.
% 226.06/224.93 Translating term (sizes: 1, 3) ...
% 274.52/273.00 Invoking SAT solver...
% 274.52/273.00 No model exists.
% 274.52/273.00 Translating term (sizes: 4, 1) ...
% 300.05/298.32 /export/starexec/sandbox/solver/lib/scripts/run-polyml-5.5.2: line 82: 65341 CPU time limit exceeded (core dumped) "$ISABELLE_HOME/lib/scripts/feeder" -p -h "$MLTEXT" -t "$MLEXIT" $FEEDER_OPTS
% 300.05/298.32 65342 (core dumped) | { read FPID; "$POLY" -q -i $ML_OPTIONS; RC="$?"; kill -TERM "$FPID"; exit "$RC"; }
% 300.05/298.33 /export/starexec/sandbox/solver/src/HOL/TPTP/lib/Tools/tptp_refute: line 26: 65287 Exit 152 "$ISABELLE_PROCESS" -q -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" HOL-TPTP
% 300.05/298.33 65288 CPU time limit exceeded (core dumped) | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^Warning-The type of\|^ monotype.$"
%------------------------------------------------------------------------------