%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : AGT011+2 : TPTP v8.1.2. Bugfixed v3.1.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : nanocop.sh %s %d

% Computer : n021.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 : Fri May 19 10:05:06 EDT 2023

% Result   : Theorem 236.07s 228.00s
% Output   : Proof 236.10s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : AGT011+2 : TPTP v8.1.2. Bugfixed v3.1.0.
% 0.03/0.13  % Command  : nanocop.sh %s %d
% 0.13/0.34  % Computer : n021.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Thu May 18 22:01:27 EDT 2023
% 0.13/0.34  % CPUTime  : 
% 236.07/228.00  
% 236.07/228.00  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 236.07/228.00  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 236.07/228.00  %-----------------------------------------------------
% 236.07/228.00  ncf(matrix, plain, [(2742 ^ _351712) ^ [] : [-(accept_population(countryamedicalorganization, native, n100))], !, (1576 ^ _269118) ^ [] : [-(accept_leader(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization))], (1252 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1314 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n6))], (1972 ^ _269118) ^ [] : [-(accept_number(countryccivilorganization, n3))], (1132 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (1908 ^ _269118) ^ [] : [-(accept_city(countrycmedicalorganization, towna))], (2276 ^ _269118) ^ [] : [-(rdn_translate(n105, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (690 ^ _269118) ^ [_290744] : [-(accept_city(_290744, citya)), accept_population(_290744, atheist, n75), accept_population(_290744, christian, n25), accept_population(_290744, muslim, n0), accept_population(_290744, native, n0), accept_population(_290744, other, n0)], (2288 ^ _269118) ^ [] : [-(rdn_translate(n111, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (2374 ^ _269118) ^ [] : [-(rdn_translate(nn27, rdn_neg(rdn(rdnn(n7), rdnn(n2)))))], (1840 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, muslim, n1))], (2014 ^ _269118) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n4))], (1260 ^ _269118) ^ [] : [-(accept_number(countryccivilorganization, n2))], (1468 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, muslim, n0))], (2122 ^ _269118) ^ [] : [-(rdn_translate(n28, rdn_pos(rdn(rdnn(n8), rdnn(n2)))))], (2610 ^ _269118) ^ [] : [-(rdn_positive_less(rdnn(n7), rdnn(n8)))], (1788 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, christian, n20))], (1530 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n0))], (1574 ^ _269118) ^ [] : [-(accept_city(countrybhumanitarianorganization, coastvillage))], (1158 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (946 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (1194 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n3)], (1162 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (2098 ^ _269118) ^ [] : [-(rdn_translate(n16, rdn_pos(rdn(rdnn(n6), rdnn(n1)))))], (2242 ^ _269118) ^ [] : [-(rdn_translate(n88, rdn_pos(rdn(rdnn(n8), rdnn(n8)))))], (926 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (1540 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, other, n5))], (1282 ^ _269118) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n6))], (2044 ^ _269118) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (2584 ^ _269118) ^ [] : [-(rdn_non_zero_digit(rdnn(n4)))], (2372 ^ _269118) ^ [] : [-(rdn_translate(nn26, rdn_neg(rdn(rdnn(n6), rdnn(n2)))))], (1642 ^ _269118) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrybcivilorganization))], (1112 ^ _269118) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (976 ^ _269118) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n6)], (1370 ^ _269118) ^ [] : [-(accept_city(countryamedicalorganization, townc))], (2046 ^ _269118) ^ [] : [-(accept_number(countrycmedicalorganization, n1))], (1752 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, christian, n20))], (1902 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n1))], (1594 ^ _269118) ^ [] : [-(accept_leader(countrybhumanitarianorganization, christiancountrychumanitarianorganization))], (1988 ^ _269118) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (1056 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, townc, n6))], (2380 ^ _269118) ^ [] : [-(rdn_translate(nn30, rdn_neg(rdn(rdnn(n0), rdnn(n3)))))], (2118 ^ _269118) ^ [] : [-(rdn_translate(n26, rdn_pos(rdn(rdnn(n6), rdnn(n2)))))], (1076 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n2))], (1636 ^ _269118) ^ [] : [-(accept_leader(sufferterragovernment, countryahumanitarianorganization))], (1456 ^ _269118) ^ [] : [-(accept_leader(countryccivilorganization, countrybhumanitarianorganization))], (1820 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, native, n0))], (1676 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n20))], (1598 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, other, n0))], (2574 ^ _269118) ^ [] : [-(rdn_translate(nn127, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (934 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (2426 ^ _269118) ^ [] : [-(rdn_translate(nn53, rdn_neg(rdn(rdnn(n3), rdnn(n5)))))], (2296 ^ _269118) ^ [] : [-(rdn_translate(n115, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (2086 ^ _269118) ^ [] : [-(rdn_translate(n10, rdn_pos(rdn(rdnn(n0), rdnn(n1)))))], (1222 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n3))], (1128 ^ _269118) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, cityb, n6))], (1014 ^ _269118) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n6))], (2082 ^ _269118) ^ [] : [-(rdn_translate(n8, rdn_pos(rdnn(n8))))], (1706 ^ _269118) ^ [] : [-(accept_city(countrycmedicalorganization, townc))], (1364 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, christian, n0))], (944 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (2588 ^ _269118) ^ [] : [-(rdn_non_zero_digit(rdnn(n6)))], (2492 ^ _269118) ^ [] : [-(rdn_translate(nn86, rdn_neg(rdn(rdnn(n6), rdnn(n8)))))], (1220 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3))], (1226 ^ _269118) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (1680 ^ _269118) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, cityb))], (854 ^ _269118) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (1508 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n12))], (2468 ^ _269118) ^ [] : [-(rdn_translate(nn74, rdn_neg(rdn(rdnn(n4), rdnn(n7)))))], (1186 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n2)], (1860 ^ _269118) ^ [] : [-(accept_city(countryccivilorganization, towna))], (2172 ^ _269118) ^ [] : [-(rdn_translate(n53, rdn_pos(rdn(rdnn(n3), rdnn(n5)))))], (2078 ^ _269118) ^ [] : [-(rdn_translate(n6, rdn_pos(rdnn(n6))))], (2606 ^ _269118) ^ [] : [-(rdn_positive_less(rdnn(n5), rdnn(n6)))], (2246 ^ _269118) ^ [] : [-(rdn_translate(n90, rdn_pos(rdn(rdnn(n0), rdnn(n9)))))], (2144 ^ _269118) ^ [] : [-(rdn_translate(n39, rdn_pos(rdn(rdnn(n9), rdnn(n3)))))], (1464 ^ _269118) ^ [] : [-(accept_leader(countryacivilorganization, countryafirstaidorganization))], (2322 ^ _269118) ^ [] : [-(rdn_translate(nn1, rdn_neg(rdnn(n1))))], (2504 ^ _269118) ^ [] : [-(rdn_translate(nn92, rdn_neg(rdn(rdnn(n2), rdnn(n9)))))], (1272 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (582 ^ _269118) ^ [_287666] : [-(accept_city(_287666, coastvillage)), accept_population(_287666, atheist, n12), accept_population(_287666, christian, n3), accept_population(_287666, muslim, n0), accept_population(_287666, native, n85), accept_population(_287666, other, n0)], (2254 ^ _269118) ^ [] : [-(rdn_translate(n94, rdn_pos(rdn(rdnn(n4), rdnn(n9)))))], (2470 ^ _269118) ^ [] : [-(rdn_translate(nn75, rdn_neg(rdn(rdnn(n5), rdnn(n7)))))], (1732 ^ _269118) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryahumanitarianorganization))], (1550 ^ _269118) ^ [] : [-(accept_city(countryafirstaidorganization, townc))], (1692 ^ _269118) ^ [] : [-(accept_city(countryccivilorganization, townc))], (820 ^ _269118) ^ [_294308] : [accept_city(_294308, townc), 823 ^ _269118 : [(830 ^ _269118) ^ [] : [-(accept_population(_294308, native, n0))], (828 ^ _269118) ^ [] : [-(accept_population(_294308, muslim, n65))], (826 ^ _269118) ^ [] : [-(accept_population(_294308, christian, n0))], (824 ^ _269118) ^ [] : [-(accept_population(_294308, atheist, n30))], (832 ^ _269118) ^ [] : [-(accept_population(_294308, other, n5))]]], (1066 ^ _269118) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, townc, n6)], (1782 ^ _269118) ^ [] : [-(accept_leader(countryamedicalorganization, sufferterragovernment))], (2270 ^ _269118) ^ [] : [-(rdn_translate(n102, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1398 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n3))], (2412 ^ _269118) ^ [] : [-(rdn_translate(nn46, rdn_neg(rdn(rdnn(n6), rdnn(n4)))))], (1106 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (2568 ^ _269118) ^ [] : [-(rdn_translate(nn124, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (1500 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n0))], (862 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (2182 ^ _269118) ^ [] : [-(rdn_translate(n58, rdn_pos(rdn(rdnn(n8), rdnn(n5)))))], (2560 ^ _269118) ^ [] : [-(rdn_translate(nn120, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (2174 ^ _269118) ^ [] : [-(rdn_translate(n54, rdn_pos(rdn(rdnn(n4), rdnn(n5)))))], (1126 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1864 ^ _269118) ^ [] : [-(accept_number(countryafirstaidorganization, n5))], (1322 ^ _269118) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (1930 ^ _269118) ^ [] : [-(accept_city(countrybcivilorganization, towna))], (2302 ^ _269118) ^ [] : [-(rdn_translate(n118, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (1264 ^ _269118) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, towna, n6)], (1906 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n75))], (2472 ^ _269118) ^ [] : [-(rdn_translate(nn76, rdn_neg(rdn(rdnn(n6), rdnn(n7)))))], (1852 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, native, n0))], (2194 ^ _269118) ^ [] : [-(rdn_translate(n64, rdn_pos(rdn(rdnn(n4), rdnn(n6)))))], (1352 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n78))], (1300 ^ _269118) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (2562 ^ _269118) ^ [] : [-(rdn_translate(nn121, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1698 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, other, n5))], (984 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1228 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n6))], (2362 ^ _269118) ^ [] : [-(rdn_translate(nn21, rdn_neg(rdn(rdnn(n1), rdnn(n2)))))], (910 ^ _269118) ^ [] : [-(accept_team(countryccivilorganization, countrycmedicalorganization, towna, n4))], (1976 ^ _269118) ^ [] : [-(accept_number(countryccivilorganization, n1))], (1262 ^ _269118) ^ [] : [-(accept_number(countryccivilorganization, n3))], (2396 ^ _269118) ^ [] : [-(rdn_translate(nn38, rdn_neg(rdn(rdnn(n8), rdnn(n3)))))], (2348 ^ _269118) ^ [] : [-(rdn_translate(nn14, rdn_neg(rdn(rdnn(n4), rdnn(n1)))))], (1312 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, towna, n6))], (1450 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, christian, n20))], (1960 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, muslim, n1))], (1068 ^ _269118) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, townc, n6)], (2326 ^ _269118) ^ [] : [-(rdn_translate(nn3, rdn_neg(rdnn(n3))))], (1740 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n20))], (1294 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, towna, n6))], (1446 ^ _269118) ^ [] : [accept_number(countryccivilorganization, n5)], (1758 ^ _269118) ^ [] : [-(accept_leader(countryamedicalorganization, countrybhumanitarianorganization))], (1452 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, atheist, n78))], (2432 ^ _269118) ^ [] : [-(rdn_translate(nn56, rdn_neg(rdn(rdnn(n6), rdnn(n5)))))], (2704 ^ _269118) ^ [_346961, _346963] : [-(less(_346963, _346961)), -(less(_346961, _346963)), -(_346961 = _346963)], (2116 ^ _269118) ^ [] : [-(rdn_translate(n25, rdn_pos(rdn(rdnn(n5), rdnn(n2)))))], (994 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (1376 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, native, n85))], (1052 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, townc, n6))], (1766 ^ _269118) ^ [] : [-(accept_number(countryamedicalorganization, n2))], (1826 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n75))], (1148 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (1720 ^ _269118) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization))], (2576 ^ _269118) ^ [] : [-(rdn_translate(nn128, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n2), rdnn(n1))))))], (218 ^ _269118) ^ [_276374, _276376, _276378, _276380] : [-(less(_276378, _276374)), less(_276380, _276376), _276380 = _276378, _276376 = _276374], (1870 ^ _269118) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (2256 ^ _269118) ^ [] : [-(rdn_translate(n95, rdn_pos(rdn(rdnn(n5), rdnn(n9)))))], (1498 ^ _269118) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryafirstaidorganization))], (1022 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (2114 ^ _269118) ^ [] : [-(rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))))], (2320 ^ _269118) ^ [] : [-(rdn_translate(n127, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (2008 ^ _269118) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrybhumanitarianorganization))], (2404 ^ _269118) ^ [] : [-(rdn_translate(nn42, rdn_neg(rdn(rdnn(n2), rdnn(n4)))))], (1522 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n3))], (1894 ^ _269118) ^ [] : [-(accept_leader(countrycmedicalorganization, countrybhumanitarianorganization))], (2646 ^ _269118) ^ [_345010] : [rdn_non_zero_digit(rdnn(_345010)), -(rdn_non_zero(rdnn(_345010)))], (2460 ^ _269118) ^ [] : [-(rdn_translate(nn70, rdn_neg(rdn(rdnn(n0), rdnn(n7)))))], (350 ^ _269118) ^ [_280973, _280975, _280977] : [the_agent_not_in_any_proposed_teams(_280977, _280975, _280973), accept_city(_280977, _280973), accept_leader(_280977, _280975)], (1378 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, muslim, n0))], (2240 ^ _269118) ^ [] : [-(rdn_translate(n87, rdn_pos(rdn(rdnn(n7), rdnn(n8)))))], (1124 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (424 ^ _269118) ^ [_283042] : [accept_city(_283042, centraltown), 427 ^ _269118 : [(434 ^ _269118) ^ [] : [-(accept_population(_283042, native, n1))], (432 ^ _269118) ^ [] : [-(accept_population(_283042, muslim, n3))], (430 ^ _269118) ^ [] : [-(accept_population(_283042, christian, n23))], (428 ^ _269118) ^ [] : [-(accept_population(_283042, atheist, n54))], (436 ^ _269118) ^ [] : [-(accept_population(_283042, other, n9))]]], (1920 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, other, n0))], (1674 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n1))], (1062 ^ _269118) ^ [] : [accept_team(countryccivilorganization, muslimcountrybhumanitarianorganization, townc, n6)], (2368 ^ _269118) ^ [] : [-(rdn_translate(nn24, rdn_neg(rdn(rdnn(n4), rdnn(n2)))))], (1340 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n0))], (2104 ^ _269118) ^ [] : [-(rdn_translate(n19, rdn_pos(rdn(rdnn(n9), rdnn(n1)))))], (34 ^ _269118) ^ [_270366, _270368, _270370, _270372, _270374, _270376] : [-(the_agent_in_all_proposed_teams(_270374, _270370, _270366)), the_agent_in_all_proposed_teams(_270376, _270372, _270368), _270376 = _270374, _270372 = _270370, _270368 = _270366], (1490 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n24))], (1814 ^ _269118) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (1828 ^ _269118) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (1388 ^ _269118) ^ [] : [-(accept_leader(countryafirstaidorganization, countryamedicalorganization))], (980 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1568 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n0))], (1214 ^ _269118) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n6))], (1536 ^ _269118) ^ [] : [-(accept_city(countryafirstaidorganization, coastvillage))], (676 ^ _269118) ^ [_290224] : [accept_city(_290224, towna), 679 ^ _269118 : [(686 ^ _269118) ^ [] : [-(accept_population(_290224, native, n0))], (684 ^ _269118) ^ [] : [-(accept_population(_290224, muslim, n1))], (682 ^ _269118) ^ [] : [-(accept_population(_290224, christian, n24))], (680 ^ _269118) ^ [] : [-(accept_population(_290224, atheist, n75))], (688 ^ _269118) ^ [] : [-(accept_population(_290224, other, n0))]]], (2564 ^ _269118) ^ [] : [-(rdn_translate(nn122, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (1712 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n20))], (2640 ^ _269118) ^ [_344796, _344798, _344800] : [rdn_non_zero(_344796), -(rdn_positive_less(rdnn(_344800), rdn(rdnn(_344798), _344796)))], (1532 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n3))], (840 ^ _269118) ^ [] : [-(accept_team(countryahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (1514 ^ _269118) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization))], (1428 ^ _269118) ^ [] : [-(accept_leader(countrybcivilorganization, countryahumanitarianorganization))], (2544 ^ _269118) ^ [] : [-(rdn_translate(nn112, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (2340 ^ _269118) ^ [] : [-(rdn_translate(nn10, rdn_neg(rdn(rdnn(n0), rdnn(n1)))))], (1578 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, other, n5))], (1404 ^ _269118) ^ [] : [-(accept_leader(countrybcivilorganization, countryacivilorganization))], (2040 ^ _269118) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (1934 ^ _269118) ^ [] : [-(accept_number(sufferterragovernment, n5))], (1486 ^ _269118) ^ [] : [-(accept_leader(countryacivilorganization, countryahumanitarianorganization))], (1516 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n0))], (1274 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1600 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, native, n0))], (1848 ^ _269118) ^ [] : [-(accept_leader(sufferterragovernment, countrybhumanitarianorganization))], (906 ^ _269118) ^ [] : [-(the_agent_not_in_any_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (1094 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, townc, n6))], (958 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1606 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n75))], (2062 ^ _269118) ^ [] : [accept_city(muslimcountrybhumanitarianorganization, towna)], (2388 ^ _269118) ^ [] : [-(rdn_translate(nn34, rdn_neg(rdn(rdnn(n4), rdnn(n3)))))], (2050 ^ _269118) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n5))], (2022 ^ _269118) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (2206 ^ _269118) ^ [] : [-(rdn_translate(n70, rdn_pos(rdn(rdnn(n0), rdnn(n7)))))], (1910 ^ _269118) ^ [] : [-(accept_leader(countrycmedicalorganization, sufferterragovernment))], (1834 ^ _269118) ^ [] : [-(accept_leader(sufferterragovernment, countryacivilorganization))], (1626 ^ _269118) ^ [] : [-(accept_leader(sufferterragovernment, christiancountrychumanitarianorganization))], (1772 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, native, n0))], (1036 ^ _269118) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (2138 ^ _269118) ^ [] : [-(rdn_translate(n36, rdn_pos(rdn(rdnn(n6), rdnn(n3)))))], (654 ^ _269118) ^ [_289718] : [-(accept_city(_289718, towna)), accept_population(_289718, atheist, n75), accept_population(_289718, christian, n24), accept_population(_289718, muslim, n1), accept_population(_289718, native, n0), accept_population(_289718, other, n0)], (1416 ^ _269118) ^ [] : [-(accept_leader(countrybcivilorganization, muslimcountrybhumanitarianorganization))], (914 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (1992 ^ _269118) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (1690 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, atheist, n30))], (1230 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6))], (366 ^ _269118) ^ [_281510] : [-(accept_city(_281510, suffertown)), accept_population(_281510, atheist, n65), accept_population(_281510, christian, n20), accept_population(_281510, muslim, n7), accept_population(_281510, native, n4), accept_population(_281510, other, n4)], (1216 ^ _269118) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (1288 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, towna, n4))], (1892 ^ _269118) ^ [] : [-(accept_leader(countrycmedicalorganization, countrybcivilorganization))], (2486 ^ _269118) ^ [] : [-(rdn_translate(nn83, rdn_neg(rdn(rdnn(n3), rdnn(n8)))))], (1998 ^ _269118) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (1744 ^ _269118) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization))], (1284 ^ _269118) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (2188 ^ _269118) ^ [] : [-(rdn_translate(n61, rdn_pos(rdn(rdnn(n1), rdnn(n6)))))], (2382 ^ _269118) ^ [] : [-(rdn_translate(nn31, rdn_neg(rdn(rdnn(n1), rdnn(n3)))))], (1304 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, towna, n4))], (1368 ^ _269118) ^ [] : [-(accept_leader(countryamedicalorganization, countryahumanitarianorganization))], (1276 ^ _269118) ^ [] : [-(accept_number(sufferterragovernment, n5))], (1268 ^ _269118) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, towna, n6)], (936 ^ _269118) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (1938 ^ _269118) ^ [] : [-(accept_number(sufferterragovernment, n3))], (842 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (2168 ^ _269118) ^ [] : [-(rdn_translate(n51, rdn_pos(rdn(rdnn(n1), rdnn(n5)))))], (904 ^ _269118) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n6)], (2016 ^ _269118) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (2478 ^ _269118) ^ [] : [-(rdn_translate(nn79, rdn_neg(rdn(rdnn(n9), rdnn(n7)))))], (2024 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n0))], (2410 ^ _269118) ^ [] : [-(rdn_translate(nn45, rdn_neg(rdn(rdnn(n5), rdnn(n4)))))], (74 ^ _269118) ^ [_271765, _271767, _271769, _271771, _271773, _271775] : [-(the_agent_not_in_any_proposed_teams(_271773, _271769, _271765)), the_agent_not_in_any_proposed_teams(_271775, _271771, _271767), _271775 = _271773, _271771 = _271769, _271767 = _271765], (1914 ^ _269118) ^ [] : [-(accept_leader(countrybcivilorganization, countrybhumanitarianorganization))], (2210 ^ _269118) ^ [] : [-(rdn_translate(n72, rdn_pos(rdn(rdnn(n2), rdnn(n7)))))], (1020 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (52 ^ _269118) ^ [_271003, _271005, _271007, _271009, _271011, _271013, _271015, _271017] : [-(accept_team(_271015, _271011, _271007, _271003)), accept_team(_271017, _271013, _271009, _271005), _271017 = _271015, _271013 = _271011, _271009 = _271007, _271005 = _271003], (1092 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, townc, n6))], (2196 ^ _269118) ^ [] : [-(rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))))], (1238 ^ _269118) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (2092 ^ _269118) ^ [] : [-(rdn_translate(n13, rdn_pos(rdn(rdnn(n3), rdnn(n1)))))], (2508 ^ _269118) ^ [] : [-(rdn_translate(nn94, rdn_neg(rdn(rdnn(n4), rdnn(n9)))))], (1664 ^ _269118) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (1462 ^ _269118) ^ [] : [-(accept_leader(countryacivilorganization, countryamedicalorganization))], (2110 ^ _269118) ^ [] : [-(rdn_translate(n22, rdn_pos(rdn(rdnn(n2), rdnn(n2)))))], (1286 ^ _269118) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (2030 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n24))], (274 ^ _269118) ^ [_278258, _278260] : [_278260 = _278258, -(rdnn(_278260) = rdnn(_278258))], (918 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n4))], (1372 ^ _269118) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryamedicalorganization))], (1564 ^ _269118) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryacivilorganization))], (2416 ^ _269118) ^ [] : [-(rdn_translate(nn48, rdn_neg(rdn(rdnn(n8), rdnn(n4)))))], (2020 ^ _269118) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n1))], (1104 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (1696 ^ _269118) ^ [] : [-(accept_leader(countrycmedicalorganization, muslimcountrybhumanitarianorganization))], (2522 ^ _269118) ^ [] : [-(rdn_translate(nn101, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (988 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, townc, n6))], (1426 ^ _269118) ^ [] : [-(accept_city(countrybcivilorganization, townc))], (1120 ^ _269118) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n6)], (568 ^ _269118) ^ [_287146] : [accept_city(_287146, northport), 571 ^ _269118 : [(578 ^ _269118) ^ [] : [-(accept_population(_287146, native, n15))], (576 ^ _269118) ^ [] : [-(accept_population(_287146, muslim, n0))], (574 ^ _269118) ^ [] : [-(accept_population(_287146, christian, n13))], (572 ^ _269118) ^ [] : [-(accept_population(_287146, atheist, n70))], (580 ^ _269118) ^ [] : [-(accept_population(_287146, other, n2))]]], (1116 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1884 ^ _269118) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (2324 ^ _269118) ^ [] : [-(rdn_translate(nn2, rdn_neg(rdnn(n2))))], (1210 ^ _269118) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n6))], (2282 ^ _269118) ^ [] : [-(rdn_translate(n108, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (886 ^ _269118) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, towna, n6))], (1478 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, other, n5))], (152 ^ _269118) ^ [_274259, _274261] : [-(rdn_non_zero_digit(_274259)), _274261 = _274259, rdn_non_zero_digit(_274261)], (2424 ^ _269118) ^ [] : [-(rdn_translate(nn52, rdn_neg(rdn(rdnn(n2), rdnn(n5)))))], (2658 ^ _269118) ^ [_345462, _345464, _345466, _345468] : [-(less(_345468, _345466)), rdn_translate(_345468, rdn_pos(_345464)), rdn_translate(_345466, rdn_pos(_345462)), rdn_positive_less(_345464, _345462)], (1466 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, native, n85))], (2600 ^ _269118) ^ [] : [-(rdn_positive_less(rdnn(n2), rdnn(n3)))], (2100 ^ _269118) ^ [] : [-(rdn_translate(n17, rdn_pos(rdn(rdnn(n7), rdnn(n1)))))], (1616 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, native, n85))], (2354 ^ _269118) ^ [] : [-(rdn_translate(nn17, rdn_neg(rdn(rdnn(n7), rdnn(n1)))))], (1324 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n6)], (1890 ^ _269118) ^ [] : [-(accept_leader(countrycmedicalorganization, countryccivilorganization))], (2264 ^ _269118) ^ [] : [-(rdn_translate(n99, rdn_pos(rdn(rdnn(n9), rdnn(n9)))))], (2134 ^ _269118) ^ [] : [-(rdn_translate(n34, rdn_pos(rdn(rdnn(n4), rdnn(n3)))))], (1882 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n75))], (2222 ^ _269118) ^ [] : [-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))], (1924 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n1))], (2624 ^ _269118) ^ [_344191, _344193, _344195, _344197] : [rdn_positive_less(_344195, _344191), -(rdn_positive_less(rdn(rdnn(_344197), _344195), rdn(rdnn(_344193), _344191)))], (2064 ^ _269118) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, sufferterragovernment))], (712 ^ _269118) ^ [_291250] : [accept_city(_291250, citya), 715 ^ _269118 : [(722 ^ _269118) ^ [] : [-(accept_population(_291250, native, n0))], (720 ^ _269118) ^ [] : [-(accept_population(_291250, muslim, n0))], (718 ^ _269118) ^ [] : [-(accept_population(_291250, christian, n25))], (716 ^ _269118) ^ [] : [-(accept_population(_291250, atheist, n75))], (724 ^ _269118) ^ [] : [-(accept_population(_291250, other, n0))]]], (2280 ^ _269118) ^ [] : [-(rdn_translate(n107, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (1042 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1150 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (1178 ^ _269118) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1026 ^ _269118) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (952 ^ _269118) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n5))], (1962 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, christian, n24))], (852 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n5)], (2304 ^ _269118) ^ [] : [-(rdn_translate(n119, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (2428 ^ _269118) ^ [] : [-(rdn_translate(nn54, rdn_neg(rdn(rdnn(n4), rdnn(n5)))))], (402 ^ _269118) ^ [_282536] : [-(accept_city(_282536, centraltown)), accept_population(_282536, atheist, n54), accept_population(_282536, christian, n23), accept_population(_282536, muslim, n3), accept_population(_282536, native, n1), accept_population(_282536, other, n9)], (1160 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1586 ^ _269118) ^ [] : [-(accept_city(countrybhumanitarianorganization, townc))], (1438 ^ _269118) ^ [] : [-(accept_leader(sufferterragovernment, countryamedicalorganization))], (762 ^ _269118) ^ [_292796] : [-(accept_city(_292796, cityb)), accept_population(_292796, atheist, n78), accept_population(_292796, christian, n20), accept_population(_292796, muslim, n1), accept_population(_292796, native, n0), accept_population(_292796, other, n1)], (1850 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, other, n0))], (1700 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n65))], (1344 ^ _269118) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, townc))], (1044 ^ _269118) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, townc, n6))], (2032 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n75))], (1436 ^ _269118) ^ [] : [-(accept_city(countrybcivilorganization, cityb))], (900 ^ _269118) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n6)], (2514 ^ _269118) ^ [] : [-(rdn_translate(nn97, rdn_neg(rdn(rdnn(n7), rdnn(n9)))))], (964 ^ _269118) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n5))], (1024 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (2456 ^ _269118) ^ [] : [-(rdn_translate(nn68, rdn_neg(rdn(rdnn(n8), rdnn(n6)))))], (2158 ^ _269118) ^ [] : [-(rdn_translate(n46, rdn_pos(rdn(rdnn(n6), rdnn(n4)))))], (1582 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n0))], (1854 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, muslim, n1))], (1000 ^ _269118) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, coastvillage, n6))], (2026 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, native, n0))], (1896 ^ _269118) ^ [] : [-(accept_leader(countrycmedicalorganization, christiancountrychumanitarianorganization))], (2540 ^ _269118) ^ [] : [-(rdn_translate(nn110, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (2546 ^ _269118) ^ [] : [-(rdn_translate(nn113, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (1886 ^ _269118) ^ [] : [-(accept_leader(countryafirstaidorganization, sufferterragovernment))], (1984 ^ _269118) ^ [] : [-(accept_number(countrybcivilorganization, n4))], (1912 ^ _269118) ^ [] : [-(accept_leader(countrybcivilorganization, countryccivilorganization))], (2052 ^ _269118) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n4))], (2176 ^ _269118) ^ [] : [-(rdn_translate(n55, rdn_pos(rdn(rdnn(n5), rdnn(n5)))))], (2328 ^ _269118) ^ [] : [-(rdn_translate(nn4, rdn_neg(rdnn(n4))))], (1702 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n0))], (532 ^ _269118) ^ [_286120] : [accept_city(_286120, stjosephburgh), 535 ^ _269118 : [(542 ^ _269118) ^ [] : [-(accept_population(_286120, native, n11))], (540 ^ _269118) ^ [] : [-(accept_population(_286120, muslim, n1))], (538 ^ _269118) ^ [] : [-(accept_population(_286120, christian, n16))], (536 ^ _269118) ^ [] : [-(accept_population(_286120, atheist, n68))], (544 ^ _269118) ^ [] : [-(accept_population(_286120, other, n4))]]], (1994 ^ _269118) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrybcivilorganization))], (1156 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1224 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, countryccivilorganization, towna, n3))], (292 ^ _269118) ^ [_278987, _278989, _278991, _278993] : [accept_team(_278993, _278987, _278991, _278989), 295 ^ _269118 : [(298 ^ _269118) ^ [] : [-(accept_leader(_278993, _278987))], (300 ^ _269118) ^ [] : [-(accept_number(_278993, _278989))], (296 ^ _269118) ^ [] : [-(accept_city(_278993, _278991))]]], (1754 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n78))], (2164 ^ _269118) ^ [] : [-(rdn_translate(n49, rdn_pos(rdn(rdnn(n9), rdnn(n4)))))], (1080 ^ _269118) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, townc, n6))], (2338 ^ _269118) ^ [] : [-(rdn_translate(nn9, rdn_neg(rdnn(n9))))], (2180 ^ _269118) ^ [] : [-(rdn_translate(n57, rdn_pos(rdn(rdnn(n7), rdnn(n5)))))], (1174 ^ _269118) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (1134 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (2356 ^ _269118) ^ [] : [-(rdn_translate(nn18, rdn_neg(rdn(rdnn(n8), rdnn(n1)))))], (1552 ^ _269118) ^ [] : [-(accept_leader(countryafirstaidorganization, countryacivilorganization))], (2170 ^ _269118) ^ [] : [-(rdn_translate(n52, rdn_pos(rdn(rdnn(n2), rdnn(n5)))))], (1350 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n20))], (1756 ^ _269118) ^ [] : [-(accept_city(countryamedicalorganization, cityb))], (2306 ^ _269118) ^ [] : [-(rdn_translate(n120, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (1290 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, towna, n6))], (1188 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n3)], (2592 ^ _269118) ^ [] : [-(rdn_non_zero_digit(rdnn(n8)))], (1154 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n6))], (2226 ^ _269118) ^ [] : [-(rdn_translate(n80, rdn_pos(rdn(rdnn(n0), rdnn(n8)))))], (982 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1140 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n5))], (2494 ^ _269118) ^ [] : [-(rdn_translate(nn87, rdn_neg(rdn(rdnn(n7), rdnn(n8)))))], (1242 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, countryccivilorganization, towna, n4))], (1108 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (2530 ^ _269118) ^ [] : [-(rdn_translate(nn105, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (2608 ^ _269118) ^ [] : [-(rdn_positive_less(rdnn(n6), rdnn(n7)))], (2582 ^ _269118) ^ [] : [-(rdn_non_zero_digit(rdnn(n3)))], (20 ^ _269118) ^ [_269894, _269896, _269898, _269900] : [-(min_number_of_proposed_agents(_269898, _269894)), min_number_of_proposed_agents(_269900, _269896), _269900 = _269898, _269896 = _269894], (888 ^ _269118) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (474 ^ _269118) ^ [_284588] : [-(accept_city(_284588, centrallakecity)), accept_population(_284588, atheist, n70), accept_population(_284588, christian, n15), accept_population(_284588, muslim, n1), accept_population(_284588, native, n10), accept_population(_284588, other, n4)], (850 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n4)], (1298 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (2520 ^ _269118) ^ [] : [-(rdn_translate(nn100, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (1618 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, muslim, n0))], (2578 ^ _269118) ^ [] : [-(rdn_non_zero_digit(rdnn(n1)))], (1742 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n78))], (138 ^ _269118) ^ [_273843, _273845, _273847, _273849] : [-(accept_leader(_273847, _273843)), accept_leader(_273849, _273845), _273849 = _273847, _273845 = _273843], (1630 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, muslim, n65))], (360 ^ _269118) ^ [_281285, _281287] : [min_number_of_proposed_agents(_281287, _281285), -(accept_number(_281287, _281285))], (1610 ^ _269118) ^ [] : [-(accept_leader(countrybhumanitarianorganization, sufferterragovernment))], (1418 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, other, n5))], (1918 ^ _269118) ^ [] : [-(accept_leader(countrybcivilorganization, countrycmedicalorganization))], (2154 ^ _269118) ^ [] : [-(rdn_translate(n44, rdn_pos(rdn(rdnn(n4), rdnn(n4)))))], (1654 ^ _269118) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, townc))], (2000 ^ _269118) ^ [] : [-(accept_number(countrybhumanitarianorganization, n3))], (916 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (2614 ^ _269118) ^ [_343830, _343832, _343834] : [-(rdn_positive_less(rdnn(_343834), rdnn(_343830))), rdn_positive_less(rdnn(_343834), rdnn(_343832)), rdn_positive_less(rdnn(_343832), rdnn(_343830))], (2566 ^ _269118) ^ [] : [-(rdn_translate(nn123, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (2266 ^ _269118) ^ [] : [-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (1016 ^ _269118) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1746 ^ _269118) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, cityb))], (940 ^ _269118) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (1776 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, christian, n24))], (930 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (1002 ^ _269118) ^ [] : [-(accept_team(sufferterragovernment, countryafirstaidorganization, coastvillage, n6))], (1034 ^ _269118) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (1234 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (1900 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, native, n0))], (1874 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, other, n0))], (2228 ^ _269118) ^ [] : [-(rdn_translate(n81, rdn_pos(rdn(rdnn(n1), rdnn(n8)))))], (1658 ^ _269118) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n5))], (1660 ^ _269118) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n4))], (1554 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, other, n1))], (1358 ^ _269118) ^ [] : [-(accept_leader(countryamedicalorganization, christiancountrychumanitarianorganization))], (1082 ^ _269118) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, townc, n6))], (1058 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (1218 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n3))], (1204 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n6)], (1102 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (2286 ^ _269118) ^ [] : [-(rdn_translate(n110, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (2512 ^ _269118) ^ [] : [-(rdn_translate(nn96, rdn_neg(rdn(rdnn(n6), rdnn(n9)))))], (2192 ^ _269118) ^ [] : [-(rdn_translate(n63, rdn_pos(rdn(rdnn(n3), rdnn(n6)))))], (912 ^ _269118) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n5)], (1394 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, native, n85))], (1170 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1644 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n5))], (1996 ^ _269118) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (2330 ^ _269118) ^ [] : [-(rdn_translate(nn5, rdn_neg(rdnn(n5))))], (2510 ^ _269118) ^ [] : [-(rdn_translate(nn95, rdn_neg(rdn(rdnn(n5), rdnn(n9)))))], (2378 ^ _269118) ^ [] : [-(rdn_translate(nn29, rdn_neg(rdn(rdnn(n9), rdnn(n2)))))], (2318 ^ _269118) ^ [] : [-(rdn_translate(n126, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1686 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, muslim, n65))], (2672 ^ _269118) ^ [_345914, _345916, _345918, _345920] : [-(less(_345920, _345918)), rdn_translate(_345920, rdn_neg(_345916)), rdn_translate(_345918, rdn_pos(_345914))], (2488 ^ _269118) ^ [] : [-(rdn_translate(nn84, rdn_neg(rdn(rdnn(n4), rdnn(n8)))))], (1440 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, christian, n24))], (1482 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, christian, n0))], (1948 ^ _269118) ^ [] : [-(accept_number(countryacivilorganization, n4))], (2536 ^ _269118) ^ [] : [-(rdn_translate(nn108, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (1280 ^ _269118) ^ [] : [-(accept_number(sufferterragovernment, n6))], (1430 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, other, n1))], (890 ^ _269118) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n2)], (1332 ^ _269118) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryacivilorganization))], (962 ^ _269118) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (956 ^ _269118) ^ [] : [-(accept_team(countryacivilorganization, countryafirstaidorganization, coastvillage, n6))], (2074 ^ _269118) ^ [] : [-(rdn_translate(n4, rdn_pos(rdnn(n4))))], (2732 ^ _269118) ^ [_347829, _347831, _347833] : [-(less_or_equal(_347829, _347833)), sum(_347833, n1, _347831), less(_347829, _347831)], (2048 ^ _269118) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (2390 ^ _269118) ^ [] : [-(rdn_translate(nn35, rdn_neg(rdn(rdnn(n5), rdnn(n3)))))], (1974 ^ _269118) ^ [] : [-(accept_number(countryccivilorganization, n2))], (1180 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n2)], (1774 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, muslim, n1))], (2298 ^ _269118) ^ [] : [-(rdn_translate(n116, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1862 ^ _269118) ^ [] : [-(accept_leader(countryccivilorganization, sufferterragovernment))], (1986 ^ _269118) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (2532 ^ _269118) ^ [] : [-(rdn_translate(nn106, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (1872 ^ _269118) ^ [] : [-(accept_number(countryafirstaidorganization, n1))], (1402 ^ _269118) ^ [] : [-(accept_city(countrycmedicalorganization, coastvillage))], (932 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (2248 ^ _269118) ^ [] : [-(rdn_translate(n91, rdn_pos(rdn(rdnn(n1), rdnn(n9)))))], (1306 ^ _269118) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (896 ^ _269118) ^ [] : [accept_team(countryamedicalorganization, christiansufferterrahumanitarianorganization, coastvillage, n2)], (1410 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, christian, n3))], (2058 ^ _269118) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n1))], (1386 ^ _269118) ^ [] : [-(accept_leader(countryahumanitarianorganization, christiancountrychumanitarianorganization))], (868 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n4))], (110 ^ _269118) ^ [_272955, _272957, _272959, _272961] : [-(accept_number(_272959, _272955)), accept_number(_272961, _272957), _272961 = _272959, _272957 = _272955], (1608 ^ _269118) ^ [] : [-(accept_city(countrybhumanitarianorganization, towna))], (1408 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n0))], (2112 ^ _269118) ^ [] : [-(rdn_translate(n23, rdn_pos(rdn(rdnn(n3), rdnn(n2)))))], (1798 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, other, n1))], (2274 ^ _269118) ^ [] : [-(rdn_translate(n104, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (1964 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, atheist, n75))], (1114 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (2160 ^ _269118) ^ [] : [-(rdn_translate(n47, rdn_pos(rdn(rdnn(n7), rdnn(n4)))))], (1612 ^ _269118) ^ [] : [-(accept_leader(sufferterragovernment, countryafirstaidorganization))], (546 ^ _269118) ^ [_286640] : [-(accept_city(_286640, northport)), accept_population(_286640, atheist, n70), accept_population(_286640, christian, n13), accept_population(_286640, muslim, n0), accept_population(_286640, native, n15), accept_population(_286640, other, n2)], (884 ^ _269118) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, towna, n6))], (866 ^ _269118) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (1922 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, native, n0))], (872 ^ _269118) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, cityb, n6))], (1844 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, atheist, n78))], (1246 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, towna, n6))], (1990 ^ _269118) ^ [] : [-(accept_number(countrybcivilorganization, n1))], (2300 ^ _269118) ^ [] : [-(rdn_translate(n117, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (1196 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n2)], (2364 ^ _269118) ^ [] : [-(rdn_translate(nn22, rdn_neg(rdn(rdnn(n2), rdnn(n2)))))], (1666 ^ _269118) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n1))], (1966 ^ _269118) ^ [] : [-(accept_number(countryacivilorganization, n6))], (2054 ^ _269118) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (1480 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, muslim, n65))], (726 ^ _269118) ^ [_291770] : [-(accept_city(_291770, townb)), accept_population(_291770, atheist, n70), accept_population(_291770, christian, n20), accept_population(_291770, muslim, n8), accept_population(_291770, native, n0), accept_population(_291770, other, n2)], (2262 ^ _269118) ^ [] : [-(rdn_translate(n98, rdn_pos(rdn(rdnn(n8), rdnn(n9)))))], (1604 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n24))], (2596 ^ _269118) ^ [] : [-(rdn_positive_less(rdnn(n0), rdnn(n1)))], (2126 ^ _269118) ^ [] : [-(rdn_translate(n30, rdn_pos(rdn(rdnn(n0), rdnn(n3)))))], (2454 ^ _269118) ^ [] : [-(rdn_translate(nn67, rdn_neg(rdn(rdnn(n7), rdnn(n6)))))], (1684 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, other, n5))], (966 ^ _269118) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n6))], (1804 ^ _269118) ^ [] : [-(accept_city(countryahumanitarianorganization, cityb))], (2294 ^ _269118) ^ [] : [-(rdn_translate(n114, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (1492 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n75))], (1476 ^ _269118) ^ [] : [-(accept_leader(countryacivilorganization, christiancountrychumanitarianorganization))], (246 ^ _269118) ^ [_277270, _277272, _277274, _277276, _277278, _277280] : [-(accept_population(_277278, _277274, _277270)), accept_population(_277280, _277276, _277272), _277280 = _277278, _277276 = _277274, _277272 = _277270], (1868 ^ _269118) ^ [] : [-(accept_number(countryafirstaidorganization, n3))], (264 ^ _269118) ^ [_277927, _277929, _277931, _277933] : [-(rdn(_277933, _277929) = rdn(_277931, _277927)), _277933 = _277931, _277929 = _277927], (2308 ^ _269118) ^ [] : [-(rdn_translate(n121, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1846 ^ _269118) ^ [] : [-(accept_city(sufferterragovernment, cityb))], (1244 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, towna, n6))], (1030 ^ _269118) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, townc, n4))], (972 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (1010 ^ _269118) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (2084 ^ _269118) ^ [] : [-(rdn_translate(n9, rdn_pos(rdnn(n9))))], (232 ^ _269118) ^ [_276818, _276820, _276822, _276824] : [-(less_or_equal(_276822, _276818)), less_or_equal(_276824, _276820), _276824 = _276822, _276820 = _276818], (438 ^ _269118) ^ [_283562] : [-(accept_city(_283562, sunnysideport)), accept_population(_283562, atheist, n30), accept_population(_283562, christian, n8), accept_population(_283562, muslim, n60), accept_population(_283562, native, n1), accept_population(_283562, other, n1)], (2218 ^ _269118) ^ [] : [-(rdn_translate(n76, rdn_pos(rdn(rdnn(n6), rdnn(n7)))))], (604 ^ _269118) ^ [_288172] : [accept_city(_288172, coastvillage), 607 ^ _269118 : [(614 ^ _269118) ^ [] : [-(accept_population(_288172, native, n85))], (612 ^ _269118) ^ [] : [-(accept_population(_288172, muslim, n0))], (610 ^ _269118) ^ [] : [-(accept_population(_288172, christian, n3))], (608 ^ _269118) ^ [] : [-(accept_population(_288172, atheist, n12))], (616 ^ _269118) ^ [] : [-(accept_population(_288172, other, n0))]]], (2402 ^ _269118) ^ [] : [-(rdn_translate(nn41, rdn_neg(rdn(rdnn(n1), rdnn(n4)))))], (1646 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n65))], (2440 ^ _269118) ^ [] : [-(rdn_translate(nn60, rdn_neg(rdn(rdnn(n0), rdnn(n6)))))], (1122 ^ _269118) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, cityb, n6))], (1668 ^ _269118) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (1942 ^ _269118) ^ [] : [-(accept_number(sufferterragovernment, n1))], (2572 ^ _269118) ^ [] : [-(rdn_translate(nn126, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1454 ^ _269118) ^ [] : [accept_number(countryccivilorganization, n6)], (1232 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n6))], (1074 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1950 ^ _269118) ^ [] : [-(accept_number(countryacivilorganization, n3))], (1858 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, atheist, n75))], (510 ^ _269118) ^ [_285614] : [-(accept_city(_285614, stjosephburgh)), accept_population(_285614, atheist, n68), accept_population(_285614, christian, n16), accept_population(_285614, muslim, n1), accept_population(_285614, native, n11), accept_population(_285614, other, n4)], (1342 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n30))], (2230 ^ _269118) ^ [] : [-(rdn_translate(n82, rdn_pos(rdn(rdnn(n2), rdnn(n8)))))], (1580 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n65))], (2166 ^ _269118) ^ [] : [-(rdn_translate(n50, rdn_pos(rdn(rdnn(n0), rdnn(n5)))))], (2384 ^ _269118) ^ [] : [-(rdn_translate(nn32, rdn_neg(rdn(rdnn(n2), rdnn(n3)))))], (1348 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n1))], (1518 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, native, n85))], (1562 ^ _269118) ^ [] : [-(accept_leader(countryafirstaidorganization, countrybhumanitarianorganization))], (2538 ^ _269118) ^ [] : [-(rdn_translate(nn109, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (992 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (1588 ^ _269118) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryahumanitarianorganization))], (1072 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1432 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, christian, n20))], (2128 ^ _269118) ^ [] : [-(rdn_translate(n31, rdn_pos(rdn(rdnn(n1), rdnn(n3)))))], (1168 ^ _269118) ^ [] : [-(accept_number(countryacivilorganization, n6))], (618 ^ _269118) ^ [_288692] : [-(accept_city(_288692, sunsetpoint)), accept_population(_288692, atheist, n0), accept_population(_288692, christian, n0), accept_population(_288692, muslim, n0), accept_population(_288692, native, n100), accept_population(_288692, other, n0)], (2258 ^ _269118) ^ [] : [-(rdn_translate(n96, rdn_pos(rdn(rdnn(n6), rdnn(n9)))))], (880 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (2346 ^ _269118) ^ [] : [-(rdn_translate(nn13, rdn_neg(rdn(rdnn(n3), rdnn(n1)))))], (2076 ^ _269118) ^ [] : [-(rdn_translate(n5, rdn_pos(rdnn(n5))))], (864 ^ _269118) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, cityb, n6))], (1164 ^ _269118) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (1812 ^ _269118) ^ [] : [-(accept_number(countryahumanitarianorganization, n3))], (894 ^ _269118) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n2)], (902 ^ _269118) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n6)], (2178 ^ _269118) ^ [] : [-(rdn_translate(n56, rdn_pos(rdn(rdnn(n6), rdnn(n5)))))], (1198 ^ _269118) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (2518 ^ _269118) ^ [] : [-(rdn_translate(nn99, rdn_neg(rdn(rdnn(n9), rdnn(n9)))))], (1182 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n2)], (1904 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n24))], (2414 ^ _269118) ^ [] : [-(rdn_translate(nn47, rdn_neg(rdn(rdnn(n7), rdnn(n4)))))], (2496 ^ _269118) ^ [] : [-(rdn_translate(nn88, rdn_neg(rdn(rdnn(n8), rdnn(n8)))))], (2570 ^ _269118) ^ [] : [-(rdn_translate(nn125, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (1248 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n6))], (1792 ^ _269118) ^ [] : [-(accept_city(countryacivilorganization, cityb))], (1028 ^ _269118) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (1542 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n65))], (844 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (2102 ^ _269118) ^ [] : [-(rdn_translate(n18, rdn_pos(rdn(rdnn(n8), rdnn(n1)))))], (1620 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, christian, n3))], (1130 ^ _269118) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (2332 ^ _269118) ^ [] : [-(rdn_translate(nn6, rdn_neg(rdnn(n6))))], (302 ^ _269118) ^ [_279322, _279324, _279326, _279328] : [-(accept_team(_279328, _279322, _279326, _279324)), accept_city(_279328, _279326), accept_leader(_279328, _279322), accept_number(_279328, _279324)], (1656 ^ _269118) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryacivilorganization))], (938 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n4))], (1638 ^ _269118) ^ [] : [-(accept_city(sufferterragovernment, townc))], (1800 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n20))], (1192 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n3)], (1954 ^ _269118) ^ [] : [-(accept_number(countryacivilorganization, n1))], (834 ^ _269118) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, cityb, n6))], (2028 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, muslim, n1))], (1060 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (2434 ^ _269118) ^ [] : [-(rdn_translate(nn57, rdn_neg(rdn(rdnn(n7), rdnn(n5)))))], (1570 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n3))], (1504 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n0))], (998 ^ _269118) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n6))], (2208 ^ _269118) ^ [] : [-(rdn_translate(n71, rdn_pos(rdn(rdnn(n1), rdnn(n7)))))], (1032 ^ _269118) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (2506 ^ _269118) ^ [] : [-(rdn_translate(nn93, rdn_neg(rdn(rdnn(n3), rdnn(n9)))))], (10 ^ _269118) ^ [_269553, _269555, _269557] : [-(_269557 = _269553), _269557 = _269555, _269555 = _269553], (2422 ^ _269118) ^ [] : [-(rdn_translate(nn51, rdn_neg(rdn(rdnn(n1), rdnn(n5)))))], (1018 ^ _269118) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (640 ^ _269118) ^ [_289198] : [accept_city(_289198, sunsetpoint), 643 ^ _269118 : [(650 ^ _269118) ^ [] : [-(accept_population(_289198, native, n100))], (648 ^ _269118) ^ [] : [-(accept_population(_289198, muslim, n0))], (646 ^ _269118) ^ [] : [-(accept_population(_289198, christian, n0))], (644 ^ _269118) ^ [] : [-(accept_population(_289198, atheist, n0))], (652 ^ _269118) ^ [] : [-(accept_population(_289198, other, n0))]]], (1064 ^ _269118) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, townc, n6)], (2466 ^ _269118) ^ [] : [-(rdn_translate(nn73, rdn_neg(rdn(rdnn(n3), rdnn(n7)))))], (2386 ^ _269118) ^ [] : [-(rdn_translate(nn33, rdn_neg(rdn(rdnn(n3), rdnn(n3)))))], (344 ^ _269118) ^ [_280741, _280743, _280745] : [any_agent_in_all_proposed_teams(_280745, _280743, _280741), -(accept_leader(_280745, _280743))], (1556 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n20))], (1688 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, christian, n0))], (2476 ^ _269118) ^ [] : [-(rdn_translate(nn78, rdn_neg(rdn(rdnn(n8), rdnn(n7)))))], (1266 ^ _269118) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, towna, n6)], (1748 ^ _269118) ^ [] : [-(accept_leader(countryamedicalorganization, countryacivilorganization))], (838 ^ _269118) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1512 ^ _269118) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization))], (2096 ^ _269118) ^ [] : [-(rdn_translate(n15, rdn_pos(rdn(rdnn(n5), rdnn(n1)))))], (1012 ^ _269118) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n5))], (1946 ^ _269118) ^ [] : [-(accept_number(countryacivilorganization, n5))], (2042 ^ _269118) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (2150 ^ _269118) ^ [] : [-(rdn_translate(n42, rdn_pos(rdn(rdnn(n2), rdnn(n4)))))], (1738 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n1))], (798 ^ _269118) ^ [_293802] : [-(accept_city(_293802, townc)), accept_population(_293802, atheist, n30), accept_population(_293802, christian, n0), accept_population(_293802, muslim, n65), accept_population(_293802, native, n0), accept_population(_293802, other, n5)], (1830 ^ _269118) ^ [] : [-(accept_leader(countryahumanitarianorganization, sufferterragovernment))], (1546 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n30))], (1054 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (1166 ^ _269118) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, cityb, n6))], (1008 ^ _269118) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (1382 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n12))], (2312 ^ _269118) ^ [] : [-(rdn_translate(n123, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (1206 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6)], (1818 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, other, n0))], (1822 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, muslim, n1))], (2130 ^ _269118) ^ [] : [-(rdn_translate(n32, rdn_pos(rdn(rdnn(n2), rdnn(n3)))))], (860 ^ _269118) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, cityb, n6))], (2526 ^ _269118) ^ [] : [-(rdn_translate(nn103, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (1184 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n2)], (748 ^ _269118) ^ [_292276] : [accept_city(_292276, townb), 751 ^ _269118 : [(758 ^ _269118) ^ [] : [-(accept_population(_292276, native, n0))], (756 ^ _269118) ^ [] : [-(accept_population(_292276, muslim, n8))], (754 ^ _269118) ^ [] : [-(accept_population(_292276, christian, n20))], (752 ^ _269118) ^ [] : [-(accept_population(_292276, atheist, n70))], (760 ^ _269118) ^ [] : [-(accept_population(_292276, other, n2))]]], (2036 ^ _269118) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, sufferterragovernment))], (1790 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, atheist, n78))], (2224 ^ _269118) ^ [] : [-(rdn_translate(n79, rdn_pos(rdn(rdnn(n9), rdnn(n7)))))], (1448 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, other, n1))], (2436 ^ _269118) ^ [] : [-(rdn_translate(nn58, rdn_neg(rdn(rdnn(n8), rdnn(n5)))))], (1400 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n12))], (1278 ^ _269118) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n5))], (1442 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, atheist, n75))], (920 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n5))], (2442 ^ _269118) ^ [] : [-(rdn_translate(nn61, rdn_neg(rdn(rdnn(n1), rdnn(n6)))))], (2142 ^ _269118) ^ [] : [-(rdn_translate(n38, rdn_pos(rdn(rdnn(n8), rdnn(n3)))))], (1538 ^ _269118) ^ [] : [-(accept_leader(countryafirstaidorganization, christiancountrychumanitarianorganization))], (2146 ^ _269118) ^ [] : [-(rdn_translate(n40, rdn_pos(rdn(rdnn(n0), rdnn(n4)))))], (1152 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n5))], (2162 ^ _269118) ^ [] : [-(rdn_translate(n48, rdn_pos(rdn(rdnn(n8), rdnn(n4)))))], (2140 ^ _269118) ^ [] : [-(rdn_translate(n37, rdn_pos(rdn(rdnn(n7), rdnn(n3)))))], (1628 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, other, n5))], (848 ^ _269118) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (1726 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n0))], (1648 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n0))], (2080 ^ _269118) ^ [] : [-(rdn_translate(n7, rdn_pos(rdnn(n7))))], (1898 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, other, n0))], (1172 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1764 ^ _269118) ^ [] : [-(accept_number(countryamedicalorganization, n3))], (92 ^ _269118) ^ [_272374, _272376, _272378, _272380, _272382, _272384] : [-(any_agent_in_all_proposed_teams(_272382, _272378, _272374)), any_agent_in_all_proposed_teams(_272384, _272380, _272376), _272384 = _272382, _272380 = _272378, _272376 = _272374], (2316 ^ _269118) ^ [] : [-(rdn_translate(n125, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (2474 ^ _269118) ^ [] : [-(rdn_translate(nn77, rdn_neg(rdn(rdnn(n7), rdnn(n7)))))], (1572 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n12))], (2590 ^ _269118) ^ [] : [-(rdn_non_zero_digit(rdnn(n7)))], (1302 ^ _269118) ^ [] : [-(accept_number(countryccivilorganization, n4))], (1634 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, atheist, n30))], (1240 ^ _269118) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (1356 ^ _269118) ^ [] : [accept_city(countryamedicalorganization, coastvillage)], (2038 ^ _269118) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (2018 ^ _269118) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (1560 ^ _269118) ^ [] : [-(accept_city(countryafirstaidorganization, cityb))], (2200 ^ _269118) ^ [] : [-(rdn_translate(n67, rdn_pos(rdn(rdnn(n7), rdnn(n6)))))], (996 ^ _269118) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n5))], (1078 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1520 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n0))], (1098 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (2682 ^ _269118) ^ [_346269, _346271, _346273, _346275] : [-(less(_346275, _346273)), rdn_translate(_346275, rdn_neg(_346271)), rdn_translate(_346273, rdn_neg(_346269)), rdn_positive_less(_346269, _346271)], (2500 ^ _269118) ^ [] : [-(rdn_translate(nn90, rdn_neg(rdn(rdnn(n0), rdnn(n9)))))], (1420 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n65))], (1714 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n78))], (1384 ^ _269118) ^ [] : [-(accept_city(countryahumanitarianorganization, coastvillage))], (970 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (1336 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n5))], (1050 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1256 ^ _269118) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n2)], (2598 ^ _269118) ^ [] : [-(rdn_positive_less(rdnn(n1), rdnn(n2)))], (836 ^ _269118) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, towna, n6))], (882 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (846 ^ _269118) ^ [] : [-(accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n2))], (2212 ^ _269118) ^ [] : [-(rdn_translate(n73, rdn_pos(rdn(rdnn(n3), rdnn(n7)))))], (1566 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, native, n85))], (2056 ^ _269118) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (1510 ^ _269118) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, coastvillage))], (1836 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, other, n1))], (990 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, townc, n6))], (856 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (1414 ^ _269118) ^ [] : [-(accept_city(countrybcivilorganization, coastvillage))], (1202 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n6)], (942 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n5))], (2594 ^ _269118) ^ [] : [-(rdn_non_zero_digit(rdnn(n9)))], (1212 ^ _269118) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n5))], (1046 ^ _269118) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, townc, n6))], (2204 ^ _269118) ^ [] : [-(rdn_translate(n69, rdn_pos(rdn(rdnn(n9), rdnn(n6)))))], (2554 ^ _269118) ^ [] : [-(rdn_translate(nn117, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (1596 ^ _269118) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countrycmedicalorganization))], (1880 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n24))], (2714 ^ _269118) ^ [_347297, _347299] : [less_or_equal(_347299, _347297), -(less(_347299, _347297)), -(_347299 = _347297)], (1208 ^ _269118) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n5))], (1796 ^ _269118) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryacivilorganization))], (1722 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n5))], (1136 ^ _269118) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n5))], (2034 ^ _269118) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, towna))], (1730 ^ _269118) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, townc))], (1780 ^ _269118) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (2148 ^ _269118) ^ [] : [-(rdn_translate(n41, rdn_pos(rdn(rdnn(n1), rdnn(n4)))))], (1470 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, christian, n3))], (1672 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, native, n0))], (1330 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1004 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1366 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n30))], (1110 ^ _269118) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, cityb, n6))], (2236 ^ _269118) ^ [] : [-(rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))))], (2550 ^ _269118) ^ [] : [-(rdn_translate(nn115, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (2444 ^ _269118) ^ [] : [-(rdn_translate(nn62, rdn_neg(rdn(rdnn(n2), rdnn(n6)))))], (948 ^ _269118) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, towna, n6))], (2244 ^ _269118) ^ [] : [-(rdn_translate(n89, rdn_pos(rdn(rdnn(n9), rdnn(n8)))))], (2458 ^ _269118) ^ [] : [-(rdn_translate(nn69, rdn_neg(rdn(rdnn(n9), rdnn(n6)))))], (2342 ^ _269118) ^ [] : [-(rdn_translate(nn11, rdn_neg(rdn(rdnn(n1), rdnn(n1)))))], (1584 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n30))], (2652 ^ _269118) ^ [_345218, _345220] : [rdn_non_zero(_345218), -(rdn_non_zero(rdn(rdnn(_345220), _345218)))], (1708 ^ _269118) ^ [] : [-(accept_leader(countrycmedicalorganization, countryahumanitarianorganization))], (950 ^ _269118) ^ [] : [-(accept_number(countryacivilorganization, n2))], (1070 ^ _269118) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, townc, n6)], (1768 ^ _269118) ^ [] : [-(accept_number(countryamedicalorganization, n1))], (1506 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n3))], (2420 ^ _269118) ^ [] : [-(rdn_translate(nn50, rdn_neg(rdn(rdnn(n0), rdnn(n5)))))], (908 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (388 ^ _269118) ^ [_282016] : [accept_city(_282016, suffertown), 391 ^ _269118 : [(398 ^ _269118) ^ [] : [-(accept_population(_282016, native, n4))], (396 ^ _269118) ^ [] : [-(accept_population(_282016, muslim, n7))], (394 ^ _269118) ^ [] : [-(accept_population(_282016, christian, n20))], (392 ^ _269118) ^ [] : [-(accept_population(_282016, atheist, n65))], (400 ^ _269118) ^ [] : [-(accept_population(_282016, other, n4))]]], (2612 ^ _269118) ^ [] : [-(rdn_positive_less(rdnn(n8), rdnn(n9)))], (1494 ^ _269118) ^ [] : [accept_leader(christiansufferterrahumanitarianorganization, sufferterragovernment)], (2214 ^ _269118) ^ [] : [-(rdn_translate(n74, rdn_pos(rdn(rdnn(n4), rdnn(n7)))))], (2498 ^ _269118) ^ [] : [-(rdn_translate(nn89, rdn_neg(rdn(rdnn(n9), rdnn(n8)))))], (1704 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n30))], (1970 ^ _269118) ^ [] : [-(accept_city(countryacivilorganization, towna))], (1602 ^ _269118) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n1))], (2552 ^ _269118) ^ [] : [-(rdn_translate(nn116, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1940 ^ _269118) ^ [] : [-(accept_number(sufferterragovernment, n2))], (1526 ^ _269118) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, coastvillage))], (2260 ^ _269118) ^ [] : [-(rdn_translate(n97, rdn_pos(rdn(rdnn(n7), rdnn(n9)))))], (2602 ^ _269118) ^ [] : [-(rdn_positive_less(rdnn(n3), rdnn(n4)))], (2558 ^ _269118) ^ [] : [-(rdn_translate(nn119, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (1296 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1832 ^ _269118) ^ [] : [-(accept_city(countryahumanitarianorganization, towna))], (974 ^ _269118) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n5)], (1878 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n1))], (326 ^ _269118) ^ [_280095, _280097, _280099, _280101] : [-(accept_population(_280101, _280095, _280097)), accept_population(_280101, _280095, _280099), less(_280097, _280099)], (2234 ^ _269118) ^ [] : [-(rdn_translate(n84, rdn_pos(rdn(rdnn(n4), rdnn(n8)))))], (2216 ^ _269118) ^ [] : [-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))], (2366 ^ _269118) ^ [] : [-(rdn_translate(nn23, rdn_neg(rdn(rdnn(n3), rdnn(n2)))))], (1472 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, atheist, n12))], (1338 ^ _269118) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, muslim, n65))], (874 ^ _269118) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (1318 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (2238 ^ _269118) ^ [] : [-(rdn_translate(n86, rdn_pos(rdn(rdnn(n6), rdnn(n8)))))], (1558 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n78))], (876 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (1360 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, other, n5))], (2190 ^ _269118) ^ [] : [-(rdn_translate(n62, rdn_pos(rdn(rdnn(n2), rdnn(n6)))))], (2120 ^ _269118) ^ [] : [-(rdn_translate(n27, rdn_pos(rdn(rdnn(n7), rdnn(n2)))))], (1958 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, native, n0))], (1806 ^ _269118) ^ [] : [-(accept_leader(countryahumanitarianorganization, countrybhumanitarianorganization))], (1916 ^ _269118) ^ [] : [-(accept_leader(countrybcivilorganization, christiancountrychumanitarianorganization))], (1736 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, native, n0))], (1728 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n30))], (2232 ^ _269118) ^ [] : [-(rdn_translate(n83, rdn_pos(rdn(rdnn(n3), rdnn(n8)))))], (1956 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, other, n0))], (2400 ^ _269118) ^ [] : [-(rdn_translate(nn40, rdn_neg(rdn(rdnn(n0), rdnn(n4)))))], (2464 ^ _269118) ^ [] : [-(rdn_translate(nn72, rdn_neg(rdn(rdnn(n2), rdnn(n7)))))], (2310 ^ _269118) ^ [] : [-(rdn_translate(n122, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (2484 ^ _269118) ^ [] : [-(rdn_translate(nn82, rdn_neg(rdn(rdnn(n2), rdnn(n8)))))], (1662 ^ _269118) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n3))], (1346 ^ _269118) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryahumanitarianorganization))], (2284 ^ _269118) ^ [] : [-(rdn_translate(n109, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (1474 ^ _269118) ^ [] : [-(accept_city(countryacivilorganization, coastvillage))], (1084 ^ _269118) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, townc, n6))], (2070 ^ _269118) ^ [] : [-(rdn_translate(n2, rdn_pos(rdnn(n2))))], (2502 ^ _269118) ^ [] : [-(rdn_translate(nn91, rdn_neg(rdn(rdnn(n1), rdnn(n9)))))], (1308 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, towna, n6))], (1670 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n1))], (2360 ^ _269118) ^ [] : [-(rdn_translate(nn20, rdn_neg(rdn(rdnn(n0), rdnn(n2)))))], (1316 ^ _269118) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (2004 ^ _269118) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (968 ^ _269118) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, coastvillage, n6))], (1650 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n30))], (2448 ^ _269118) ^ [] : [-(rdn_translate(nn64, rdn_neg(rdn(rdnn(n4), rdnn(n6)))))], (2528 ^ _269118) ^ [] : [-(rdn_translate(nn104, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (460 ^ _269118) ^ [_284068] : [accept_city(_284068, sunnysideport), 463 ^ _269118 : [(470 ^ _269118) ^ [] : [-(accept_population(_284068, native, n1))], (468 ^ _269118) ^ [] : [-(accept_population(_284068, muslim, n60))], (466 ^ _269118) ^ [] : [-(accept_population(_284068, christian, n8))], (464 ^ _269118) ^ [] : [-(accept_population(_284068, atheist, n30))], (472 ^ _269118) ^ [] : [-(accept_population(_284068, other, n1))]]], (2352 ^ _269118) ^ [] : [-(rdn_translate(nn16, rdn_neg(rdn(rdnn(n6), rdnn(n1)))))], (2106 ^ _269118) ^ [] : [-(rdn_translate(n20, rdn_pos(rdn(rdnn(n0), rdnn(n2)))))], (1334 ^ _269118) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization))], (2278 ^ _269118) ^ [] : [-(rdn_translate(n106, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (954 ^ _269118) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n6))], (336 ^ _269118) ^ [_280432, _280434, _280436] : [the_agent_in_all_proposed_teams(_280436, _280434, _280432), 339 ^ _269118 : [(342 ^ _269118) ^ [] : [-(accept_city(_280436, _280432))], (340 ^ _269118) ^ [] : [-(accept_leader(_280436, _280434))]]], (870 ^ _269118) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, cityb, n6))], (1640 ^ _269118) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryccivilorganization))], (2072 ^ _269118) ^ [] : [-(rdn_translate(n3, rdn_pos(rdnn(n3))))], (1090 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, townc, n6))], (1808 ^ _269118) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (1718 ^ _269118) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrycmedicalorganization))], (2066 ^ _269118) ^ [] : [-(rdn_translate(n0, rdn_pos(rdnn(n0))))], (2438 ^ _269118) ^ [] : [-(rdn_translate(nn59, rdn_neg(rdn(rdnn(n9), rdnn(n5)))))], (2136 ^ _269118) ^ [] : [-(rdn_translate(n35, rdn_pos(rdn(rdnn(n5), rdnn(n3)))))], (1750 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, other, n1))], (1488 ^ _269118) ^ [] : [-(accept_city(countryacivilorganization, townc))], (316 ^ _269118) ^ [_279758, _279760, _279762] : [-(accept_number(_279762, _279758)), accept_number(_279762, _279760), less(_279758, _279760)], (986 ^ _269118) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, townc, n6))], (2446 ^ _269118) ^ [] : [-(rdn_translate(nn63, rdn_neg(rdn(rdnn(n3), rdnn(n6)))))], (1458 ^ _269118) ^ [] : [-(accept_city(countryccivilorganization, cityb))], (2430 ^ _269118) ^ [] : [-(rdn_translate(nn55, rdn_neg(rdn(rdnn(n5), rdnn(n5)))))], (2556 ^ _269118) ^ [] : [-(rdn_translate(nn118, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (1928 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n75))], (1434 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n78))], (162 ^ _269118) ^ [_274554, _274556] : [-(rdn_non_zero(_274554)), _274556 = _274554, rdn_non_zero(_274556)], (1254 ^ _269118) ^ [] : [-(accept_number(sufferterragovernment, n2))], (2336 ^ _269118) ^ [] : [-(rdn_translate(nn8, rdn_neg(rdnn(n8))))], (1250 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (2186 ^ _269118) ^ [] : [-(rdn_translate(n60, rdn_pos(rdn(rdnn(n0), rdnn(n6)))))], (928 ^ _269118) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, towna, n6))], (1824 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n24))], (2376 ^ _269118) ^ [] : [-(rdn_translate(nn28, rdn_neg(rdn(rdnn(n8), rdnn(n2)))))], (1236 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (1328 ^ _269118) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1944 ^ _269118) ^ [] : [-(accept_number(sufferterragovernment, n6))], (1762 ^ _269118) ^ [] : [-(accept_number(countryamedicalorganization, n4))], (2344 ^ _269118) ^ [] : [-(rdn_translate(nn12, rdn_neg(rdn(rdnn(n2), rdnn(n1)))))], (1810 ^ _269118) ^ [] : [-(accept_number(countryahumanitarianorganization, n4))], (1310 ^ _269118) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (1876 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, native, n0))], (1724 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n65))], (2250 ^ _269118) ^ [] : [-(rdn_translate(n92, rdn_pos(rdn(rdnn(n2), rdnn(n9)))))], (1770 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, other, n0))], (1866 ^ _269118) ^ [] : [-(accept_number(countryafirstaidorganization, n4))], (1652 ^ _269118) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryahumanitarianorganization))], (1396 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n0))], (1524 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n12))], (1590 ^ _269118) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryccivilorganization))], (1784 ^ _269118) ^ [] : [-(accept_city(countryamedicalorganization, towna))], (2350 ^ _269118) ^ [] : [-(rdn_translate(nn15, rdn_neg(rdn(rdnn(n5), rdnn(n1)))))], (172 ^ _269118) ^ [_274877, _274879, _274881, _274883] : [-(rdn_translate(_274881, _274877)), rdn_translate(_274883, _274879), _274883 = _274881, _274879 = _274877], (1496 ^ _269118) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, towna))], (2198 ^ _269118) ^ [] : [-(rdn_translate(n66, rdn_pos(rdn(rdnn(n6), rdnn(n6)))))], (1406 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, native, n85))], (2398 ^ _269118) ^ [] : [-(rdn_translate(nn39, rdn_neg(rdn(rdnn(n9), rdnn(n3)))))], (1258 ^ _269118) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n6)], (898 ^ _269118) ^ [] : [accept_team(countryamedicalorganization, sufferterragovernment, coastvillage, n2)], (186 ^ _269118) ^ [_275321, _275323, _275325, _275327] : [-(rdn_positive_less(_275325, _275321)), rdn_positive_less(_275327, _275323), _275327 = _275325, _275323 = _275321], (2334 ^ _269118) ^ [] : [-(rdn_translate(nn7, rdn_neg(rdnn(n7))))], (1200 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n4)], (1190 ^ _269118) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3)], (960 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1392 ^ _269118) ^ [] : [-(accept_leader(countrycmedicalorganization, countryacivilorganization))], (2542 ^ _269118) ^ [] : [-(rdn_translate(nn111, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (1786 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, other, n1))], (1980 ^ _269118) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryccivilorganization))], (1270 ^ _269118) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n6)], (1716 ^ _269118) ^ [] : [-(accept_city(countrycmedicalorganization, cityb))], (2108 ^ _269118) ^ [] : [-(rdn_translate(n21, rdn_pos(rdn(rdnn(n1), rdnn(n2)))))], (2524 ^ _269118) ^ [] : [-(rdn_translate(nn102, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1734 ^ _269118) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n1))], (2290 ^ _269118) ^ [] : [-(rdn_translate(n112, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (2090 ^ _269118) ^ [] : [-(rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))))], (2534 ^ _269118) ^ [] : [-(rdn_translate(nn107, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (1502 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, native, n85))], (2630 ^ _269118) ^ [_344447, _344449, _344451] : [-(rdn_positive_less(rdn(rdnn(_344451), _344449), rdn(rdnn(_344447), _344449))), rdn_positive_less(rdnn(_344451), rdnn(_344447)), rdn_non_zero(_344449)], (878 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (1936 ^ _269118) ^ [] : [-(accept_number(sufferterragovernment, n4))], (1142 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n6))], (1444 ^ _269118) ^ [] : [-(accept_city(sufferterragovernment, towna))], (2724 ^ _269118) ^ [_347549, _347551] : [2725 ^ _269118 : [(2728 ^ _269118) ^ [] : [_347551 = _347549], (2726 ^ _269118) ^ [] : [less(_347551, _347549)]], -(less_or_equal(_347551, _347549))], (784 ^ _269118) ^ [_293302] : [accept_city(_293302, cityb), 787 ^ _269118 : [(794 ^ _269118) ^ [] : [-(accept_population(_293302, native, n0))], (792 ^ _269118) ^ [] : [-(accept_population(_293302, muslim, n1))], (790 ^ _269118) ^ [] : [-(accept_population(_293302, christian, n20))], (788 ^ _269118) ^ [] : [-(accept_population(_293302, atheist, n78))], (796 ^ _269118) ^ [] : [-(accept_population(_293302, other, n1))]]], (1760 ^ _269118) ^ [] : [-(accept_number(countryamedicalorganization, n5))], (1632 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, christian, n0))], (2406 ^ _269118) ^ [] : [-(rdn_translate(nn43, rdn_neg(rdn(rdnn(n3), rdnn(n4)))))], (2580 ^ _269118) ^ [] : [-(rdn_non_zero_digit(rdnn(n2)))], (1380 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n3))], (1038 ^ _269118) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (2586 ^ _269118) ^ [] : [-(rdn_non_zero_digit(rdnn(n5)))], (1146 ^ _269118) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (1778 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n75))], (2088 ^ _269118) ^ [] : [-(rdn_translate(n11, rdn_pos(rdn(rdnn(n1), rdnn(n1)))))], (2480 ^ _269118) ^ [] : [-(rdn_translate(nn80, rdn_neg(rdn(rdnn(n0), rdnn(n8)))))], (2252 ^ _269118) ^ [] : [-(rdn_translate(n93, rdn_pos(rdn(rdnn(n3), rdnn(n9)))))], (1952 ^ _269118) ^ [] : [-(accept_number(countryacivilorganization, n2))], (1390 ^ _269118) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryamedicalorganization))], (1968 ^ _269118) ^ [] : [-(accept_leader(countryacivilorganization, sufferterragovernment))], (2314 ^ _269118) ^ [] : [-(rdn_translate(n124, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (2068 ^ _269118) ^ [] : [-(rdn_translate(n1, rdn_pos(rdnn(n1))))], (2482 ^ _269118) ^ [] : [-(rdn_translate(nn81, rdn_neg(rdn(rdnn(n1), rdnn(n8)))))], (1982 ^ _269118) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (1320 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (1624 ^ _269118) ^ [] : [-(accept_city(sufferterragovernment, coastvillage))], (1412 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n12))], (496 ^ _269118) ^ [_285094] : [accept_city(_285094, centrallakecity), 499 ^ _269118 : [(506 ^ _269118) ^ [] : [-(accept_population(_285094, native, n10))], (504 ^ _269118) ^ [] : [-(accept_population(_285094, muslim, n1))], (502 ^ _269118) ^ [] : [-(accept_population(_285094, christian, n15))], (500 ^ _269118) ^ [] : [-(accept_population(_285094, atheist, n70))], (508 ^ _269118) ^ [] : [-(accept_population(_285094, other, n4))]]], (2358 ^ _269118) ^ [] : [-(rdn_translate(nn19, rdn_neg(rdn(rdnn(n9), rdnn(n1)))))], (1460 ^ _269118) ^ [] : [-(accept_leader(countryccivilorganization, countryacivilorganization))], (1932 ^ _269118) ^ [] : [-(accept_leader(countrybcivilorganization, sufferterragovernment))], (1096 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (1710 ^ _269118) ^ [] : [-(accept_population(countrycmedicalorganization, other, n1))], (858 ^ _269118) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1354 ^ _269118) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, cityb))], (2292 ^ _269118) ^ [] : [-(rdn_translate(n113, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (1040 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (2006 ^ _269118) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (1100 ^ _269118) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (2156 ^ _269118) ^ [] : [-(rdn_translate(n45, rdn_pos(rdn(rdnn(n5), rdnn(n4)))))], (1794 ^ _269118) ^ [] : [-(accept_leader(countryacivilorganization, countrybhumanitarianorganization))], (2392 ^ _269118) ^ [] : [-(rdn_translate(nn36, rdn_neg(rdn(rdnn(n6), rdnn(n3)))))], (1326 ^ _269118) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (1484 ^ _269118) ^ [] : [-(accept_population(countryacivilorganization, atheist, n30))], (1422 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, christian, n0))], (2002 ^ _269118) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (2184 ^ _269118) ^ [] : [-(rdn_translate(n59, rdn_pos(rdn(rdnn(n9), rdnn(n5)))))], (1176 ^ _269118) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (2450 ^ _269118) ^ [] : [-(rdn_translate(nn65, rdn_neg(rdn(rdnn(n5), rdnn(n6)))))], (1374 ^ _269118) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryafirstaidorganization))], (978 ^ _269118) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (922 ^ _269118) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (1544 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n0))], (2132 ^ _269118) ^ [] : [-(rdn_translate(n33, rdn_pos(rdn(rdnn(n3), rdnn(n3)))))], (2696 ^ _269118) ^ [_346722, _346724] : [less(_346724, _346722), 2699 ^ _269118 : [(2702 ^ _269118) ^ [] : [_346722 = _346724], (2700 ^ _269118) ^ [] : [less(_346722, _346724)]]], (2 ^ _269118) ^ [_269242] : [-(_269242 = _269242)], (1548 ^ _269118) ^ [] : [-(accept_leader(countryafirstaidorganization, countryahumanitarianorganization))], (1006 ^ _269118) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (200 ^ _269118) ^ [_275793, _275795, _275797, _275799, _275801, _275803] : [-(sum(_275801, _275797, _275793)), sum(_275803, _275799, _275795), _275803 = _275801, _275799 = _275797, _275795 = _275793], (2462 ^ _269118) ^ [] : [-(rdn_translate(nn71, rdn_neg(rdn(rdnn(n1), rdnn(n7)))))], (1534 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n12))], (1842 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, christian, n20))], (1144 ^ _269118) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, cityb, n6))], (892 ^ _269118) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n2)], (1888 ^ _269118) ^ [] : [-(accept_city(countryafirstaidorganization, towna))], (1138 ^ _269118) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n6))], (2268 ^ _269118) ^ [] : [-(rdn_translate(n101, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (2094 ^ _269118) ^ [] : [-(rdn_translate(n14, rdn_pos(rdn(rdnn(n4), rdnn(n1)))))], (1048 ^ _269118) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, townc, n4))], (1614 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, other, n0))], (1802 ^ _269118) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n78))], (1926 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, christian, n24))], (1086 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, townc, n4))], (2124 ^ _269118) ^ [] : [-(rdn_translate(n29, rdn_pos(rdn(rdnn(n9), rdnn(n2)))))], (1424 ^ _269118) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n30))], (2418 ^ _269118) ^ [] : [-(rdn_translate(nn49, rdn_neg(rdn(rdnn(n9), rdnn(n4)))))], (1856 ^ _269118) ^ [] : [-(accept_population(countryccivilorganization, christian, n24))], (2604 ^ _269118) ^ [] : [-(rdn_positive_less(rdnn(n4), rdnn(n5)))], (124 ^ _269118) ^ [_273399, _273401, _273403, _273405] : [-(accept_city(_273403, _273399)), accept_city(_273405, _273401), _273405 = _273403, _273401 = _273399], (2408 ^ _269118) ^ [] : [-(rdn_translate(nn44, rdn_neg(rdn(rdnn(n4), rdnn(n4)))))], (1592 ^ _269118) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countrybcivilorganization))], (2152 ^ _269118) ^ [] : [-(rdn_translate(n43, rdn_pos(rdn(rdnn(n3), rdnn(n4)))))], (4 ^ _269118) ^ [_269349, _269351] : [_269351 = _269349, -(_269349 = _269351)], (2548 ^ _269118) ^ [] : [-(rdn_translate(nn114, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (1622 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, atheist, n12))], (280 ^ _269118) ^ [_278476, _278478] : [_278478 = _278476, -(rdn_pos(_278478) = rdn_pos(_278476))], (286 ^ _269118) ^ [_278674, _278676] : [_278676 = _278674, -(rdn_neg(_278676) = rdn_neg(_278674))], (2490 ^ _269118) ^ [] : [-(rdn_translate(nn85, rdn_neg(rdn(rdnn(n5), rdnn(n8)))))], (2370 ^ _269118) ^ [] : [-(rdn_translate(nn25, rdn_neg(rdn(rdnn(n5), rdnn(n2)))))], (2220 ^ _269118) ^ [] : [-(rdn_translate(n77, rdn_pos(rdn(rdnn(n7), rdnn(n7)))))], (2272 ^ _269118) ^ [] : [-(rdn_translate(n103, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (2202 ^ _269118) ^ [] : [-(rdn_translate(n68, rdn_pos(rdn(rdnn(n8), rdnn(n6)))))], (1088 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1118 ^ _269118) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n5)], (2452 ^ _269118) ^ [] : [-(rdn_translate(nn66, rdn_neg(rdn(rdnn(n6), rdnn(n6)))))], (1528 ^ _269118) ^ [] : [-(accept_population(countryafirstaidorganization, native, n85))], (1838 ^ _269118) ^ [] : [-(accept_population(sufferterragovernment, native, n0))], (1816 ^ _269118) ^ [] : [-(accept_number(countryahumanitarianorganization, n1))], (1978 ^ _269118) ^ [] : [-(accept_number(countryccivilorganization, n4))], (2010 ^ _269118) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrycmedicalorganization))], (1694 ^ _269118) ^ [] : [-(accept_leader(countryccivilorganization, countryahumanitarianorganization))], (1362 ^ _269118) ^ [] : [-(accept_population(countryamedicalorganization, muslim, n65))], (2012 ^ _269118) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (1678 ^ _269118) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n78))], (2516 ^ _269118) ^ [] : [-(rdn_translate(nn98, rdn_neg(rdn(rdnn(n8), rdnn(n9)))))], (2394 ^ _269118) ^ [] : [-(rdn_translate(nn37, rdn_neg(rdn(rdnn(n7), rdnn(n3)))))], (2060 ^ _269118) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (924 ^ _269118) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (1292 ^ _269118) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, towna, n6))], (1682 ^ _269118) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization))]], input).
% 236.10/228.00  ncf('1',plain,[-(accept_population(countryamedicalorganization, native, n100))],start(2742 ^ 0)).
% 236.10/228.00  ncf('1.1',plain,[accept_population(countryamedicalorganization, native, n100), -(accept_population(countryamedicalorganization, native, n85)), less(n85, n100)],extension(326 ^ 1,bind([[_280095, _280097, _280099, _280101], [native, n85, n100, countryamedicalorganization]]))).
% 236.10/228.00  ncf('1.1.1',plain,[accept_population(countryamedicalorganization, native, n85), -(accept_city(countryamedicalorganization, coastvillage)), accept_population(countryamedicalorganization, atheist, n12), accept_population(countryamedicalorganization, christian, n3), accept_population(countryamedicalorganization, muslim, n0), accept_population(countryamedicalorganization, other, n0)],extension(582 ^ 2,bind([[_287666], [countryamedicalorganization]]))).
% 236.10/228.00  ncf('1.1.1.1',plain,[accept_city(countryamedicalorganization, coastvillage), the_agent_not_in_any_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage), accept_leader(countryamedicalorganization, christiancountrychumanitarianorganization)],extension(350 ^ 3,bind([[_280973, _280975, _280977], [coastvillage, christiancountrychumanitarianorganization, countryamedicalorganization]]))).
% 236.10/228.00  ncf('1.1.1.1.1',plain,[-(the_agent_not_in_any_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))],extension(906 ^ 4)).
% 236.10/228.00  ncf('1.1.1.1.2',plain,[-(accept_leader(countryamedicalorganization, christiancountrychumanitarianorganization))],extension(1358 ^ 4)).
% 236.10/228.00  ncf('1.1.1.2',plain,[-(accept_population(countryamedicalorganization, atheist, n12)), accept_population(countryamedicalorganization, atheist, n30), less(n12, n30)],extension(326 ^ 3,bind([[_280095, _280097, _280099, _280101], [atheist, n12, n30, countryamedicalorganization]]))).
% 236.10/228.00  ncf('1.1.1.2.1',plain,[-(accept_population(countryamedicalorganization, atheist, n30)), accept_city(countryamedicalorganization, townc)],extension(820 ^ 4,bind([[_294308], [countryamedicalorganization]]))).
% 236.10/228.00  ncf('1.1.1.2.1.1',plain,[-(accept_city(countryamedicalorganization, townc))],extension(1370 ^ 5)).
% 236.10/228.00  ncf('1.1.1.2.2',plain,[-(less(n12, n30)), rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))), rdn_translate(n30, rdn_pos(rdn(rdnn(n0), rdnn(n3)))), rdn_positive_less(rdn(rdnn(n2), rdnn(n1)), rdn(rdnn(n0), rdnn(n3)))],extension(2658 ^ 4,bind([[_345462, _345464, _345466, _345468], [rdn(rdnn(n0), rdnn(n3)), rdn(rdnn(n2), rdnn(n1)), n30, n12]]))).
% 236.10/228.00  ncf('1.1.1.2.2.1',plain,[-(rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))))],extension(2090 ^ 5)).
% 236.10/228.00  ncf('1.1.1.2.2.2',plain,[-(rdn_translate(n30, rdn_pos(rdn(rdnn(n0), rdnn(n3)))))],extension(2126 ^ 5)).
% 236.10/228.00  ncf('1.1.1.2.2.3',plain,[-(rdn_positive_less(rdn(rdnn(n2), rdnn(n1)), rdn(rdnn(n0), rdnn(n3)))), rdn_positive_less(rdnn(n1), rdnn(n3))],extension(2624 ^ 5,bind([[_344191, _344193, _344195, _344197], [rdnn(n3), n0, rdnn(n1), n2]]))).
% 236.10/228.00  ncf('1.1.1.2.2.3.1',plain,[-(rdn_positive_less(rdnn(n1), rdnn(n3))), rdn_positive_less(rdnn(n1), rdnn(n2)), rdn_positive_less(rdnn(n2), rdnn(n3))],extension(2614 ^ 6,bind([[_343830, _343832, _343834], [n3, n2, n1]]))).
% 236.10/228.00  ncf('1.1.1.2.2.3.1.1',plain,[-(rdn_positive_less(rdnn(n1), rdnn(n2)))],extension(2598 ^ 7)).
% 236.10/228.00  ncf('1.1.1.2.2.3.1.2',plain,[-(rdn_positive_less(rdnn(n2), rdnn(n3)))],extension(2600 ^ 7)).
% 236.10/228.00  ncf('1.1.1.3',plain,[-(accept_population(countryamedicalorganization, christian, n3)), accept_population(countryamedicalorganization, christian, n20), less(n3, n20)],extension(326 ^ 3,bind([[_280095, _280097, _280099, _280101], [christian, n3, n20, countryamedicalorganization]]))).
% 236.10/228.00  ncf('1.1.1.3.1',plain,[-(accept_population(countryamedicalorganization, christian, n20))],extension(1752 ^ 4)).
% 236.10/228.00  ncf('1.1.1.3.2',plain,[-(less(n3, n20)), rdn_translate(n3, rdn_pos(rdnn(n3))), rdn_translate(n20, rdn_pos(rdn(rdnn(n0), rdnn(n2)))), rdn_positive_less(rdnn(n3), rdn(rdnn(n0), rdnn(n2)))],extension(2658 ^ 4,bind([[_345462, _345464, _345466, _345468], [rdn(rdnn(n0), rdnn(n2)), rdnn(n3), n20, n3]]))).
% 236.10/228.00  ncf('1.1.1.3.2.1',plain,[-(rdn_translate(n3, rdn_pos(rdnn(n3))))],extension(2072 ^ 5)).
% 236.10/228.00  ncf('1.1.1.3.2.2',plain,[-(rdn_translate(n20, rdn_pos(rdn(rdnn(n0), rdnn(n2)))))],extension(2106 ^ 5)).
% 236.10/228.00  ncf('1.1.1.3.2.3',plain,[-(rdn_positive_less(rdnn(n3), rdn(rdnn(n0), rdnn(n2)))), rdn_non_zero(rdnn(n2))],extension(2640 ^ 5,bind([[_344796, _344798, _344800], [rdnn(n2), n0, n3]]))).
% 236.10/228.00  ncf('1.1.1.3.2.3.1',plain,[-(rdn_non_zero(rdnn(n2))), rdn_non_zero_digit(rdnn(n2))],extension(2646 ^ 6,bind([[_345010], [n2]]))).
% 236.10/228.00  ncf('1.1.1.3.2.3.1.1',plain,[-(rdn_non_zero_digit(rdnn(n2)))],extension(2580 ^ 7)).
% 236.10/228.00  ncf('1.1.1.4',plain,[-(accept_population(countryamedicalorganization, muslim, n0)), accept_population(countryamedicalorganization, muslim, n65), less(n0, n65)],extension(326 ^ 3,bind([[_280095, _280097, _280099, _280101], [muslim, n0, n65, countryamedicalorganization]]))).
% 236.10/228.00  ncf('1.1.1.4.1',plain,[-(accept_population(countryamedicalorganization, muslim, n65)), accept_city(countryamedicalorganization, townc)],extension(820 ^ 4,bind([[_294308], [countryamedicalorganization]]))).
% 236.10/228.00  ncf('1.1.1.4.1.1',plain,[-(accept_city(countryamedicalorganization, townc))],extension(1370 ^ 5)).
% 236.10/228.00  ncf('1.1.1.4.2',plain,[-(less(n0, n65)), rdn_translate(n0, rdn_pos(rdnn(n0))), rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))), rdn_positive_less(rdnn(n0), rdn(rdnn(n5), rdnn(n6)))],extension(2658 ^ 4,bind([[_345462, _345464, _345466, _345468], [rdn(rdnn(n5), rdnn(n6)), rdnn(n0), n65, n0]]))).
% 236.10/228.00  ncf('1.1.1.4.2.1',plain,[-(rdn_translate(n0, rdn_pos(rdnn(n0))))],extension(2066 ^ 5)).
% 236.10/228.00  ncf('1.1.1.4.2.2',plain,[-(rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))))],extension(2196 ^ 5)).
% 236.10/228.00  ncf('1.1.1.4.2.3',plain,[-(rdn_positive_less(rdnn(n0), rdn(rdnn(n5), rdnn(n6)))), rdn_non_zero(rdnn(n6))],extension(2640 ^ 5,bind([[_344796, _344798, _344800], [rdnn(n6), n5, n0]]))).
% 236.10/228.00  ncf('1.1.1.4.2.3.1',plain,[-(rdn_non_zero(rdnn(n6))), rdn_non_zero_digit(rdnn(n6))],extension(2646 ^ 6,bind([[_345010], [n6]]))).
% 236.10/228.00  ncf('1.1.1.4.2.3.1.1',plain,[-(rdn_non_zero_digit(rdnn(n6)))],extension(2588 ^ 7)).
% 236.10/228.00  ncf('1.1.1.5',plain,[-(accept_population(countryamedicalorganization, other, n0)), accept_city(countryamedicalorganization, towna)],extension(676 ^ 3,bind([[_290224], [countryamedicalorganization]]))).
% 236.10/228.00  ncf('1.1.1.5.1',plain,[-(accept_city(countryamedicalorganization, towna)), accept_team(countryamedicalorganization, sufferterragovernment, towna, n6)],extension(292 ^ 4,bind([[_278987, _278989, _278991, _278993], [sufferterragovernment, n6, towna, countryamedicalorganization]]))).
% 236.10/228.00  ncf('1.1.1.5.1.1',plain,[-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n6))],extension(1210 ^ 5)).
% 236.10/228.00  ncf('1.1.2',plain,[-(less(n85, n100)), rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))), rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdn(rdnn(n5), rdnn(n8)), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))],extension(2658 ^ 2,bind([[_345462, _345464, _345466, _345468], [rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))), rdn(rdnn(n5), rdnn(n8)), n100, n85]]))).
% 236.10/228.00  ncf('1.1.2.1',plain,[-(rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))))],extension(2236 ^ 3)).
% 236.10/228.00  ncf('1.1.2.2',plain,[-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))],extension(2266 ^ 3)).
% 236.10/228.00  ncf('1.1.2.3',plain,[-(rdn_positive_less(rdn(rdnn(n5), rdnn(n8)), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdnn(n8), rdn(rdnn(n0), rdnn(n1)))],extension(2624 ^ 3,bind([[_344191, _344193, _344195, _344197], [rdn(rdnn(n0), rdnn(n1)), n0, rdnn(n8), n5]]))).
% 236.10/228.00  ncf('1.1.2.3.1',plain,[-(rdn_positive_less(rdnn(n8), rdn(rdnn(n0), rdnn(n1)))), rdn_non_zero(rdnn(n1))],extension(2640 ^ 4,bind([[_344796, _344798, _344800], [rdnn(n1), n0, n8]]))).
% 236.10/228.00  ncf('1.1.2.3.1.1',plain,[-(rdn_non_zero(rdnn(n1))), rdn_non_zero_digit(rdnn(n1))],extension(2646 ^ 5,bind([[_345010], [n1]]))).
% 236.10/228.00  ncf('1.1.2.3.1.1.1',plain,[-(rdn_non_zero_digit(rdnn(n1)))],extension(2578 ^ 6)).
% 236.10/228.00  %-----------------------------------------------------
% 236.10/228.00  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------