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

% Computer : n009.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:09 EDT 2023

% Result   : Theorem 243.64s 234.73s
% Output   : Proof 243.64s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13  % Problem  : AGT018+2 : TPTP v8.1.2. Bugfixed v3.1.0.
% 0.08/0.14  % Command  : nanocop.sh %s %d
% 0.14/0.35  % Computer : n009.cluster.edu
% 0.14/0.35  % Model    : x86_64 x86_64
% 0.14/0.35  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35  % Memory   : 8042.1875MB
% 0.14/0.35  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35  % CPULimit : 300
% 0.14/0.35  % WCLimit  : 300
% 0.14/0.35  % DateTime : Thu May 18 21:56:33 EDT 2023
% 0.14/0.36  % CPUTime  : 
% 243.64/234.73  
% 243.64/234.73  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 243.64/234.73  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 243.64/234.73  %-----------------------------------------------------
% 243.64/234.73  ncf(matrix, plain, [(2742 ^ _210219) ^ [_210250] : [-(accept_population(_210250, christian, n24))], !, (1180 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n2)], (1016 ^ _127611) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1044 ^ _127611) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, townc, n6))], (2334 ^ _127611) ^ [] : [-(rdn_translate(nn7, rdn_neg(rdnn(n7))))], (1922 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, native, n0))], (1340 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n0))], (2490 ^ _127611) ^ [] : [-(rdn_translate(nn85, rdn_neg(rdn(rdnn(n5), rdnn(n8)))))], (784 ^ _127611) ^ [_151795] : [accept_city(_151795, cityb), 787 ^ _127611 : [(796 ^ _127611) ^ [] : [-(accept_population(_151795, other, n1))], (794 ^ _127611) ^ [] : [-(accept_population(_151795, native, n0))], (792 ^ _127611) ^ [] : [-(accept_population(_151795, muslim, n1))], (788 ^ _127611) ^ [] : [-(accept_population(_151795, atheist, n78))], (790 ^ _127611) ^ [] : [-(accept_population(_151795, christian, n20))]]], (2498 ^ _127611) ^ [] : [-(rdn_translate(nn89, rdn_neg(rdn(rdnn(n9), rdnn(n8)))))], (2536 ^ _127611) ^ [] : [-(rdn_translate(nn108, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (2268 ^ _127611) ^ [] : [-(rdn_translate(n101, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (2354 ^ _127611) ^ [] : [-(rdn_translate(nn17, rdn_neg(rdn(rdnn(n7), rdnn(n1)))))], (1020 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (2086 ^ _127611) ^ [] : [-(rdn_translate(n10, rdn_pos(rdn(rdnn(n0), rdnn(n1)))))], (1446 ^ _127611) ^ [] : [accept_number(countryccivilorganization, n5)], (1700 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n65))], (1288 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, towna, n4))], (1150 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (2136 ^ _127611) ^ [] : [-(rdn_translate(n35, rdn_pos(rdn(rdnn(n5), rdnn(n3)))))], (970 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (862 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (1944 ^ _127611) ^ [] : [-(accept_number(sufferterragovernment, n6))], (972 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (1436 ^ _127611) ^ [] : [-(accept_city(countrybcivilorganization, cityb))], (2470 ^ _127611) ^ [] : [-(rdn_translate(nn75, rdn_neg(rdn(rdnn(n5), rdnn(n7)))))], (848 ^ _127611) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (1158 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1030 ^ _127611) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, townc, n4))], (1414 ^ _127611) ^ [] : [-(accept_city(countrybcivilorganization, coastvillage))], (1684 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, other, n5))], (2534 ^ _127611) ^ [] : [-(rdn_translate(nn107, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (2170 ^ _127611) ^ [] : [-(rdn_translate(n52, rdn_pos(rdn(rdnn(n2), rdnn(n5)))))], (942 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n5))], (880 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1078 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (2372 ^ _127611) ^ [] : [-(rdn_translate(nn26, rdn_neg(rdn(rdnn(n6), rdnn(n2)))))], (2226 ^ _127611) ^ [] : [-(rdn_translate(n80, rdn_pos(rdn(rdnn(n0), rdnn(n8)))))], (2306 ^ _127611) ^ [] : [-(rdn_translate(n120, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (2144 ^ _127611) ^ [] : [-(rdn_translate(n39, rdn_pos(rdn(rdnn(n9), rdnn(n3)))))], (1388 ^ _127611) ^ [] : [-(accept_leader(countryafirstaidorganization, countryamedicalorganization))], (1878 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n1))], (1582 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n0))], (2414 ^ _127611) ^ [] : [-(rdn_translate(nn47, rdn_neg(rdn(rdnn(n7), rdnn(n4)))))], (1890 ^ _127611) ^ [] : [-(accept_leader(countrycmedicalorganization, countryccivilorganization))], (2164 ^ _127611) ^ [] : [-(rdn_translate(n49, rdn_pos(rdn(rdnn(n9), rdnn(n4)))))], (2078 ^ _127611) ^ [] : [-(rdn_translate(n6, rdn_pos(rdnn(n6))))], (1306 ^ _127611) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (2190 ^ _127611) ^ [] : [-(rdn_translate(n62, rdn_pos(rdn(rdnn(n2), rdnn(n6)))))], (2146 ^ _127611) ^ [] : [-(rdn_translate(n40, rdn_pos(rdn(rdnn(n0), rdnn(n4)))))], (2732 ^ _127611) ^ [_206322, _206324, _206326] : [-(less_or_equal(_206322, _206326)), sum(_206326, n1, _206324), less(_206322, _206324)], (852 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n5)], (2558 ^ _127611) ^ [] : [-(rdn_translate(nn119, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (2502 ^ _127611) ^ [] : [-(rdn_translate(nn91, rdn_neg(rdn(rdnn(n1), rdnn(n9)))))], (2396 ^ _127611) ^ [] : [-(rdn_translate(nn38, rdn_neg(rdn(rdnn(n8), rdnn(n3)))))], (1956 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, other, n0))], (1920 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, other, n0))], (1854 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, muslim, n1))], (1430 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, other, n1))], (2208 ^ _127611) ^ [] : [-(rdn_translate(n71, rdn_pos(rdn(rdnn(n1), rdnn(n7)))))], (1074 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1824 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n24))], (1688 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, christian, n0))], (2600 ^ _127611) ^ [] : [-(rdn_positive_less(rdnn(n2), rdnn(n3)))], (1006 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1958 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, native, n0))], (2192 ^ _127611) ^ [] : [-(rdn_translate(n63, rdn_pos(rdn(rdnn(n3), rdnn(n6)))))], (152 ^ _127611) ^ [_132752, _132754] : [-(rdn_non_zero_digit(_132752)), _132754 = _132752, rdn_non_zero_digit(_132754)], (1140 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n5))], (2586 ^ _127611) ^ [] : [-(rdn_non_zero_digit(rdnn(n5)))], (986 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, townc, n6))], (1320 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (2434 ^ _127611) ^ [] : [-(rdn_translate(nn57, rdn_neg(rdn(rdnn(n7), rdnn(n5)))))], (1428 ^ _127611) ^ [] : [-(accept_leader(countrybcivilorganization, countryahumanitarianorganization))], (1698 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, other, n5))], (2472 ^ _127611) ^ [] : [-(rdn_translate(nn76, rdn_neg(rdn(rdnn(n6), rdnn(n7)))))], (2424 ^ _127611) ^ [] : [-(rdn_translate(nn52, rdn_neg(rdn(rdnn(n2), rdnn(n5)))))], (2084 ^ _127611) ^ [] : [-(rdn_translate(n9, rdn_pos(rdnn(n9))))], (1546 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n30))], (1638 ^ _127611) ^ [] : [-(accept_city(sufferterragovernment, townc))], (1024 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (712 ^ _127611) ^ [_149743] : [accept_city(_149743, citya), 715 ^ _127611 : [(724 ^ _127611) ^ [] : [-(accept_population(_149743, other, n0))], (722 ^ _127611) ^ [] : [-(accept_population(_149743, native, n0))], (720 ^ _127611) ^ [] : [-(accept_population(_149743, muslim, n0))], (716 ^ _127611) ^ [] : [-(accept_population(_149743, atheist, n75))], (718 ^ _127611) ^ [] : [-(accept_population(_149743, christian, n25))]]], (1518 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, native, n85))], (2588 ^ _127611) ^ [] : [-(rdn_non_zero_digit(rdnn(n6)))], (2222 ^ _127611) ^ [] : [-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))], (1166 ^ _127611) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, cityb, n6))], (2200 ^ _127611) ^ [] : [-(rdn_translate(n67, rdn_pos(rdn(rdnn(n7), rdnn(n6)))))], (798 ^ _127611) ^ [_152295] : [-(accept_city(_152295, townc)), accept_population(_152295, atheist, n30), accept_population(_152295, christian, n0), accept_population(_152295, muslim, n65), accept_population(_152295, native, n0), accept_population(_152295, other, n5)], (922 ^ _127611) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (2240 ^ _127611) ^ [] : [-(rdn_translate(n87, rdn_pos(rdn(rdnn(n7), rdnn(n8)))))], (2488 ^ _127611) ^ [] : [-(rdn_translate(nn84, rdn_neg(rdn(rdnn(n4), rdnn(n8)))))], (2046 ^ _127611) ^ [] : [-(accept_number(countrycmedicalorganization, n1))], (2552 ^ _127611) ^ [] : [-(rdn_translate(nn116, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1908 ^ _127611) ^ [] : [-(accept_city(countrycmedicalorganization, towna))], (1676 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n20))], (2104 ^ _127611) ^ [] : [-(rdn_translate(n19, rdn_pos(rdn(rdnn(n9), rdnn(n1)))))], (1782 ^ _127611) ^ [] : [-(accept_leader(countryamedicalorganization, sufferterragovernment))], (2440 ^ _127611) ^ [] : [-(rdn_translate(nn60, rdn_neg(rdn(rdnn(n0), rdnn(n6)))))], (2682 ^ _127611) ^ [_204762, _204764, _204766, _204768] : [-(less(_204768, _204766)), rdn_translate(_204768, rdn_neg(_204764)), rdn_translate(_204766, rdn_neg(_204762)), rdn_positive_less(_204762, _204764)], (2436 ^ _127611) ^ [] : [-(rdn_translate(nn58, rdn_neg(rdn(rdnn(n8), rdnn(n5)))))], (948 ^ _127611) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, towna, n6))], (2284 ^ _127611) ^ [] : [-(rdn_translate(n109, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (1046 ^ _127611) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, townc, n6))], (1350 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n20))], (2506 ^ _127611) ^ [] : [-(rdn_translate(nn93, rdn_neg(rdn(rdnn(n3), rdnn(n9)))))], (1984 ^ _127611) ^ [] : [-(accept_number(countrybcivilorganization, n4))], (2308 ^ _127611) ^ [] : [-(rdn_translate(n121, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1624 ^ _127611) ^ [] : [-(accept_city(sufferterragovernment, coastvillage))], (1316 ^ _127611) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (2444 ^ _127611) ^ [] : [-(rdn_translate(nn62, rdn_neg(rdn(rdnn(n2), rdnn(n6)))))], (2026 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, native, n0))], (2004 ^ _127611) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (1672 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, native, n0))], (1236 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (884 ^ _127611) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, towna, n6))], (1010 ^ _127611) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (1572 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n12))], (1810 ^ _127611) ^ [] : [-(accept_number(countryahumanitarianorganization, n4))], (1380 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n3))], (1982 ^ _127611) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (1592 ^ _127611) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countrybcivilorganization))], (1564 ^ _127611) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryacivilorganization))], (1042 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (2076 ^ _127611) ^ [] : [-(rdn_translate(n5, rdn_pos(rdnn(n5))))], (2330 ^ _127611) ^ [] : [-(rdn_translate(nn5, rdn_neg(rdnn(n5))))], (1886 ^ _127611) ^ [] : [-(accept_leader(countryafirstaidorganization, sufferterragovernment))], (1548 ^ _127611) ^ [] : [-(accept_leader(countryafirstaidorganization, countryahumanitarianorganization))], (1258 ^ _127611) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n6)], (1034 ^ _127611) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (2072 ^ _127611) ^ [] : [-(rdn_translate(n3, rdn_pos(rdnn(n3))))], (1270 ^ _127611) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n6)], (1116 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1612 ^ _127611) ^ [] : [-(accept_leader(sufferterragovernment, countryafirstaidorganization))], (424 ^ _127611) ^ [_141535] : [accept_city(_141535, centraltown), 427 ^ _127611 : [(436 ^ _127611) ^ [] : [-(accept_population(_141535, other, n9))], (434 ^ _127611) ^ [] : [-(accept_population(_141535, native, n1))], (432 ^ _127611) ^ [] : [-(accept_population(_141535, muslim, n3))], (428 ^ _127611) ^ [] : [-(accept_population(_141535, atheist, n54))], (430 ^ _127611) ^ [] : [-(accept_population(_141535, christian, n23))]]], (2412 ^ _127611) ^ [] : [-(rdn_translate(nn46, rdn_neg(rdn(rdnn(n6), rdnn(n4)))))], (1844 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, atheist, n78))], (1080 ^ _127611) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, townc, n6))], (916 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (2232 ^ _127611) ^ [] : [-(rdn_translate(n83, rdn_pos(rdn(rdnn(n3), rdnn(n8)))))], (2258 ^ _127611) ^ [] : [-(rdn_translate(n96, rdn_pos(rdn(rdnn(n6), rdnn(n9)))))], (964 ^ _127611) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n5))], (2216 ^ _127611) ^ [] : [-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))], (1680 ^ _127611) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, cityb))], (92 ^ _127611) ^ [_130867, _130869, _130871, _130873, _130875, _130877] : [-(any_agent_in_all_proposed_teams(_130875, _130871, _130867)), any_agent_in_all_proposed_teams(_130877, _130873, _130869), _130877 = _130875, _130873 = _130871, _130869 = _130867], (2288 ^ _127611) ^ [] : [-(rdn_translate(n111, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (2478 ^ _127611) ^ [] : [-(rdn_translate(nn79, rdn_neg(rdn(rdnn(n9), rdnn(n7)))))], (1136 ^ _127611) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n5))], (1856 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, christian, n24))], (1444 ^ _127611) ^ [] : [-(accept_city(sufferterragovernment, towna))], (2516 ^ _127611) ^ [] : [-(rdn_translate(nn98, rdn_neg(rdn(rdnn(n8), rdnn(n9)))))], (2350 ^ _127611) ^ [] : [-(rdn_translate(nn15, rdn_neg(rdn(rdnn(n5), rdnn(n1)))))], (2548 ^ _127611) ^ [] : [-(rdn_translate(nn114, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (1146 ^ _127611) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (1334 ^ _127611) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization))], (360 ^ _127611) ^ [_139778, _139780] : [min_number_of_proposed_agents(_139780, _139778), -(accept_number(_139780, _139778))], (1620 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, christian, n3))], (1718 ^ _127611) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrycmedicalorganization))], (2038 ^ _127611) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (2468 ^ _127611) ^ [] : [-(rdn_translate(nn74, rdn_neg(rdn(rdnn(n4), rdnn(n7)))))], (1918 ^ _127611) ^ [] : [-(accept_leader(countrybcivilorganization, countrycmedicalorganization))], (604 ^ _127611) ^ [_146665] : [accept_city(_146665, coastvillage), 607 ^ _127611 : [(616 ^ _127611) ^ [] : [-(accept_population(_146665, other, n0))], (614 ^ _127611) ^ [] : [-(accept_population(_146665, native, n85))], (612 ^ _127611) ^ [] : [-(accept_population(_146665, muslim, n0))], (608 ^ _127611) ^ [] : [-(accept_population(_146665, atheist, n12))], (610 ^ _127611) ^ [] : [-(accept_population(_146665, christian, n3))]]], (2316 ^ _127611) ^ [] : [-(rdn_translate(n125, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (1226 ^ _127611) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (1882 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n75))], (1576 ^ _127611) ^ [] : [-(accept_leader(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization))], (1058 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (1438 ^ _127611) ^ [] : [-(accept_leader(sufferterragovernment, countryamedicalorganization))], (1748 ^ _127611) ^ [] : [-(accept_leader(countryamedicalorganization, countryacivilorganization))], (1132 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (2254 ^ _127611) ^ [] : [-(rdn_translate(n94, rdn_pos(rdn(rdnn(n4), rdnn(n9)))))], (1310 ^ _127611) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (1088 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, muslimcountrybhumanitarianorganization, townc, n6))], (882 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1176 ^ _127611) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1954 ^ _127611) ^ [] : [-(accept_number(countryacivilorganization, n1))], (1154 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n6))], (1732 ^ _127611) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryahumanitarianorganization))], (1674 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n1))], (1242 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, countryccivilorganization, towna, n4))], (1706 ^ _127611) ^ [] : [-(accept_city(countrycmedicalorganization, townc))], (2122 ^ _127611) ^ [] : [-(rdn_translate(n28, rdn_pos(rdn(rdnn(n8), rdnn(n2)))))], (1768 ^ _127611) ^ [] : [-(accept_number(countryamedicalorganization, n1))], (1144 ^ _127611) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, cityb, n6))], (1110 ^ _127611) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, cityb, n6))], (2652 ^ _127611) ^ [_203711, _203713] : [rdn_non_zero(_203711), -(rdn_non_zero(rdn(rdnn(_203713), _203711)))], (1558 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n78))], (2138 ^ _127611) ^ [] : [-(rdn_translate(n36, rdn_pos(rdn(rdnn(n6), rdnn(n3)))))], (2048 ^ _127611) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (2368 ^ _127611) ^ [] : [-(rdn_translate(nn24, rdn_neg(rdn(rdnn(n4), rdnn(n2)))))], (1352 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n78))], (2096 ^ _127611) ^ [] : [-(rdn_translate(n15, rdn_pos(rdn(rdnn(n5), rdnn(n1)))))], (2112 ^ _127611) ^ [] : [-(rdn_translate(n23, rdn_pos(rdn(rdnn(n3), rdnn(n2)))))], (1026 ^ _127611) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1194 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n3)], (2274 ^ _127611) ^ [] : [-(rdn_translate(n104, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (1808 ^ _127611) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (934 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (870 ^ _127611) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, cityb, n6))], (1198 ^ _127611) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (2382 ^ _127611) ^ [] : [-(rdn_translate(nn31, rdn_neg(rdn(rdnn(n1), rdnn(n3)))))], (1588 ^ _127611) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryahumanitarianorganization))], (2376 ^ _127611) ^ [] : [-(rdn_translate(nn28, rdn_neg(rdn(rdnn(n8), rdnn(n2)))))], (2356 ^ _127611) ^ [] : [-(rdn_translate(nn18, rdn_neg(rdn(rdnn(n8), rdnn(n1)))))], (1498 ^ _127611) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryafirstaidorganization))], (2310 ^ _127611) ^ [] : [-(rdn_translate(n122, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (2262 ^ _127611) ^ [] : [-(rdn_translate(n98, rdn_pos(rdn(rdnn(n8), rdnn(n9)))))], (2158 ^ _127611) ^ [] : [-(rdn_translate(n46, rdn_pos(rdn(rdnn(n6), rdnn(n4)))))], (2234 ^ _127611) ^ [] : [-(rdn_translate(n84, rdn_pos(rdn(rdnn(n4), rdnn(n8)))))], (1864 ^ _127611) ^ [] : [-(accept_number(countryafirstaidorganization, n5))], (1456 ^ _127611) ^ [] : [-(accept_leader(countryccivilorganization, countrybhumanitarianorganization))], (726 ^ _127611) ^ [_150263] : [-(accept_city(_150263, townb)), accept_population(_150263, atheist, n70), accept_population(_150263, christian, n20), accept_population(_150263, muslim, n8), accept_population(_150263, native, n0), accept_population(_150263, other, n2)], (1102 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (844 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1390 ^ _127611) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryamedicalorganization))], (1232 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n6))], (1960 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, muslim, n1))], (1720 ^ _127611) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization))], (1002 ^ _127611) ^ [] : [-(accept_team(sufferterragovernment, countryafirstaidorganization, coastvillage, n6))], (1998 ^ _127611) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (2300 ^ _127611) ^ [] : [-(rdn_translate(n117, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (2596 ^ _127611) ^ [] : [-(rdn_positive_less(rdnn(n0), rdnn(n1)))], (2346 ^ _127611) ^ [] : [-(rdn_translate(nn13, rdn_neg(rdn(rdnn(n3), rdnn(n1)))))], (2224 ^ _127611) ^ [] : [-(rdn_translate(n79, rdn_pos(rdn(rdnn(n9), rdnn(n7)))))], (1994 ^ _127611) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrybcivilorganization))], (1488 ^ _127611) ^ [] : [-(accept_city(countryacivilorganization, townc))], (2540 ^ _127611) ^ [] : [-(rdn_translate(nn110, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (1038 ^ _127611) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (1076 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n2))], (1990 ^ _127611) ^ [] : [-(accept_number(countrybcivilorganization, n1))], (1986 ^ _127611) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (854 ^ _127611) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (1356 ^ _127611) ^ [] : [accept_city(countryamedicalorganization, coastvillage)], (1770 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, other, n0))], (1476 ^ _127611) ^ [] : [-(accept_leader(countryacivilorganization, christiancountrychumanitarianorganization))], (838 ^ _127611) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1402 ^ _127611) ^ [] : [-(accept_city(countrycmedicalorganization, coastvillage))], (1628 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, other, n5))], (1408 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n0))], (1600 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, native, n0))], (1750 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, other, n1))], (1344 ^ _127611) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, townc))], (1500 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n0))], (906 ^ _127611) ^ [] : [-(the_agent_not_in_any_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (4 ^ _127611) ^ [_127842, _127844] : [_127844 = _127842, -(_127842 = _127844)], (1900 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, native, n0))], (1492 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n75))], (1966 ^ _127611) ^ [] : [-(accept_number(countryacivilorganization, n6))], (2400 ^ _127611) ^ [] : [-(rdn_translate(nn40, rdn_neg(rdn(rdnn(n0), rdnn(n4)))))], (1640 ^ _127611) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryccivilorganization))], (2184 ^ _127611) ^ [] : [-(rdn_translate(n59, rdn_pos(rdn(rdnn(n9), rdnn(n5)))))], (2082 ^ _127611) ^ [] : [-(rdn_translate(n8, rdn_pos(rdnn(n8))))], (2410 ^ _127611) ^ [] : [-(rdn_translate(nn45, rdn_neg(rdn(rdnn(n5), rdnn(n4)))))], (1996 ^ _127611) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (2360 ^ _127611) ^ [] : [-(rdn_translate(nn20, rdn_neg(rdn(rdnn(n0), rdnn(n2)))))], (1742 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n78))], (1814 ^ _127611) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (2034 ^ _127611) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, towna))], (1174 ^ _127611) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (1602 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n1))], (1406 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, native, n85))], (938 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n4))], (2202 ^ _127611) ^ [] : [-(rdn_translate(n68, rdn_pos(rdn(rdnn(n8), rdnn(n6)))))], (1646 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n65))], (888 ^ _127611) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (2058 ^ _127611) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n1))], (1916 ^ _127611) ^ [] : [-(accept_leader(countrybcivilorganization, christiancountrychumanitarianorganization))], (1728 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n30))], (1912 ^ _127611) ^ [] : [-(accept_leader(countrybcivilorganization, countryccivilorganization))], (2294 ^ _127611) ^ [] : [-(rdn_translate(n114, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (2518 ^ _127611) ^ [] : [-(rdn_translate(nn99, rdn_neg(rdn(rdnn(n9), rdnn(n9)))))], (1000 ^ _127611) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, coastvillage, n6))], (1530 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n0))], (1796 ^ _127611) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryacivilorganization))], (1128 ^ _127611) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, cityb, n6))], (34 ^ _127611) ^ [_128859, _128861, _128863, _128865, _128867, _128869] : [-(the_agent_in_all_proposed_teams(_128867, _128863, _128859)), the_agent_in_all_proposed_teams(_128869, _128865, _128861), _128869 = _128867, _128865 = _128863, _128861 = _128859], (1608 ^ _127611) ^ [] : [-(accept_city(countrybhumanitarianorganization, towna))], (388 ^ _127611) ^ [_140509] : [accept_city(_140509, suffertown), 391 ^ _127611 : [(400 ^ _127611) ^ [] : [-(accept_population(_140509, other, n4))], (398 ^ _127611) ^ [] : [-(accept_population(_140509, native, n4))], (396 ^ _127611) ^ [] : [-(accept_population(_140509, muslim, n7))], (392 ^ _127611) ^ [] : [-(accept_population(_140509, atheist, n65))], (394 ^ _127611) ^ [] : [-(accept_population(_140509, christian, n20))]]], (1122 ^ _127611) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, cityb, n6))], (1694 ^ _127611) ^ [] : [-(accept_leader(countryccivilorganization, countryahumanitarianorganization))], (2404 ^ _127611) ^ [] : [-(rdn_translate(nn42, rdn_neg(rdn(rdnn(n2), rdnn(n4)))))], (1202 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n6)], (2528 ^ _127611) ^ [] : [-(rdn_translate(nn104, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (2018 ^ _127611) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (1332 ^ _127611) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryacivilorganization))], (2484 ^ _127611) ^ [] : [-(rdn_translate(nn82, rdn_neg(rdn(rdnn(n2), rdnn(n8)))))], (1452 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, atheist, n78))], (1330 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (2456 ^ _127611) ^ [] : [-(rdn_translate(nn68, rdn_neg(rdn(rdnn(n8), rdnn(n6)))))], (2318 ^ _127611) ^ [] : [-(rdn_translate(n126, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1702 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n0))], (2384 ^ _127611) ^ [] : [-(rdn_translate(nn32, rdn_neg(rdn(rdnn(n2), rdnn(n3)))))], (1734 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n1))], (2492 ^ _127611) ^ [] : [-(rdn_translate(nn86, rdn_neg(rdn(rdnn(n6), rdnn(n8)))))], (1870 ^ _127611) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (966 ^ _127611) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n6))], (1938 ^ _127611) ^ [] : [-(accept_number(sufferterragovernment, n3))], (1858 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, atheist, n75))], (1826 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n75))], (1372 ^ _127611) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryamedicalorganization))], (138 ^ _127611) ^ [_132336, _132338, _132340, _132342] : [-(accept_leader(_132340, _132336)), accept_leader(_132342, _132338), _132342 = _132340, _132338 = _132336], (1538 ^ _127611) ^ [] : [-(accept_leader(countryafirstaidorganization, christiancountrychumanitarianorganization))], (1610 ^ _127611) ^ [] : [-(accept_leader(countrybhumanitarianorganization, sufferterragovernment))], (582 ^ _127611) ^ [_146159] : [-(accept_city(_146159, coastvillage)), accept_population(_146159, atheist, n12), accept_population(_146159, christian, n3), accept_population(_146159, muslim, n0), accept_population(_146159, native, n85), accept_population(_146159, other, n0)], (1930 ^ _127611) ^ [] : [-(accept_city(countrybcivilorganization, towna))], (1186 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n2)], (2066 ^ _127611) ^ [] : [-(rdn_translate(n0, rdn_pos(rdnn(n0))))], (1738 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n1))], (2276 ^ _127611) ^ [] : [-(rdn_translate(n105, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (2204 ^ _127611) ^ [] : [-(rdn_translate(n69, rdn_pos(rdn(rdnn(n9), rdnn(n6)))))], (2024 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n0))], (914 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (1412 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n12))], (2064 ^ _127611) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, sufferterragovernment))], (1804 ^ _127611) ^ [] : [-(accept_city(countryahumanitarianorganization, cityb))], (1644 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n5))], (874 ^ _127611) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (908 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (2578 ^ _127611) ^ [] : [-(rdn_non_zero_digit(rdnn(n1)))], (1470 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, christian, n3))], (2140 ^ _127611) ^ [] : [-(rdn_translate(n37, rdn_pos(rdn(rdnn(n7), rdnn(n3)))))], (1318 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (894 ^ _127611) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n2)], (2358 ^ _127611) ^ [] : [-(rdn_translate(nn19, rdn_neg(rdn(rdnn(n9), rdnn(n1)))))], (2302 ^ _127611) ^ [] : [-(rdn_translate(n118, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (1658 ^ _127611) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n5))], (1662 ^ _127611) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n3))], (2296 ^ _127611) ^ [] : [-(rdn_translate(n115, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (1384 ^ _127611) ^ [] : [-(accept_city(countryahumanitarianorganization, coastvillage))], (1342 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n30))], (1416 ^ _127611) ^ [] : [-(accept_leader(countrybcivilorganization, muslimcountrybhumanitarianorganization))], (1480 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, muslim, n65))], (2520 ^ _127611) ^ [] : [-(rdn_translate(nn100, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (2206 ^ _127611) ^ [] : [-(rdn_translate(n70, rdn_pos(rdn(rdnn(n0), rdnn(n7)))))], (1726 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n0))], (2344 ^ _127611) ^ [] : [-(rdn_translate(nn12, rdn_neg(rdn(rdnn(n2), rdnn(n1)))))], (968 ^ _127611) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, coastvillage, n6))], (1008 ^ _127611) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (496 ^ _127611) ^ [_143587] : [accept_city(_143587, centrallakecity), 499 ^ _127611 : [(508 ^ _127611) ^ [] : [-(accept_population(_143587, other, n4))], (506 ^ _127611) ^ [] : [-(accept_population(_143587, native, n10))], (504 ^ _127611) ^ [] : [-(accept_population(_143587, muslim, n1))], (500 ^ _127611) ^ [] : [-(accept_population(_143587, atheist, n70))], (502 ^ _127611) ^ [] : [-(accept_population(_143587, christian, n15))]]], (2228 ^ _127611) ^ [] : [-(rdn_translate(n81, rdn_pos(rdn(rdnn(n1), rdnn(n8)))))], (1474 ^ _127611) ^ [] : [-(accept_city(countryacivilorganization, coastvillage))], (1892 ^ _127611) ^ [] : [-(accept_leader(countrycmedicalorganization, countrybcivilorganization))], (1556 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n20))], (1482 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, christian, n0))], (1936 ^ _127611) ^ [] : [-(accept_number(sufferterragovernment, n4))], (952 ^ _127611) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n5))], (1568 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n0))], (2126 ^ _127611) ^ [] : [-(rdn_translate(n30, rdn_pos(rdn(rdnn(n0), rdnn(n3)))))], (1478 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, other, n5))], (1066 ^ _127611) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, townc, n6)], (1268 ^ _127611) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, towna, n6)], (2508 ^ _127611) ^ [] : [-(rdn_translate(nn94, rdn_neg(rdn(rdnn(n4), rdnn(n9)))))], (1032 ^ _127611) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (988 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, townc, n6))], (1690 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, atheist, n30))], (1928 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n75))], (2458 ^ _127611) ^ [] : [-(rdn_translate(nn69, rdn_neg(rdn(rdnn(n9), rdnn(n6)))))], (1840 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, muslim, n1))], (958 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1634 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, atheist, n30))], (1970 ^ _127611) ^ [] : [-(accept_city(countryacivilorganization, towna))], (940 ^ _127611) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (1650 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n30))], (336 ^ _127611) ^ [_138925, _138927, _138929] : [the_agent_in_all_proposed_teams(_138929, _138927, _138925), 339 ^ _127611 : [(340 ^ _127611) ^ [] : [-(accept_leader(_138929, _138927))], (342 ^ _127611) ^ [] : [-(accept_city(_138929, _138925))]]], (2714 ^ _127611) ^ [_205790, _205792] : [less_or_equal(_205792, _205790), -(less(_205792, _205790)), -(_205792 = _205790)], (2 ^ _127611) ^ [_127735] : [-(_127735 = _127735)], (1798 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, other, n1))], (1724 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n65))], (1776 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, christian, n24))], (1036 ^ _127611) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (2624 ^ _127611) ^ [_202684, _202686, _202688, _202690] : [rdn_positive_less(_202688, _202684), -(rdn_positive_less(rdn(rdnn(_202690), _202688), rdn(rdnn(_202686), _202684)))], (1204 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n6)], (2724 ^ _127611) ^ [_206042, _206044] : [2725 ^ _127611 : [(2726 ^ _127611) ^ [] : [less(_206044, _206042)], (2728 ^ _127611) ^ [] : [_206044 = _206042]], -(less_or_equal(_206044, _206042))], (1260 ^ _127611) ^ [] : [-(accept_number(countryccivilorganization, n2))], (20 ^ _127611) ^ [_128387, _128389, _128391, _128393] : [-(min_number_of_proposed_agents(_128391, _128387)), min_number_of_proposed_agents(_128393, _128389), _128393 = _128391, _128389 = _128387], (2160 ^ _127611) ^ [] : [-(rdn_translate(n47, rdn_pos(rdn(rdnn(n7), rdnn(n4)))))], (568 ^ _127611) ^ [_145639] : [accept_city(_145639, northport), 571 ^ _127611 : [(580 ^ _127611) ^ [] : [-(accept_population(_145639, other, n2))], (578 ^ _127611) ^ [] : [-(accept_population(_145639, native, n15))], (576 ^ _127611) ^ [] : [-(accept_population(_145639, muslim, n0))], (572 ^ _127611) ^ [] : [-(accept_population(_145639, atheist, n70))], (574 ^ _127611) ^ [] : [-(accept_population(_145639, christian, n13))]]], (1200 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n4)], (1104 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (2314 ^ _127611) ^ [] : [-(rdn_translate(n124, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (2428 ^ _127611) ^ [] : [-(rdn_translate(nn54, rdn_neg(rdn(rdnn(n4), rdnn(n5)))))], (1218 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n3))], (1394 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, native, n85))], (1812 ^ _127611) ^ [] : [-(accept_number(countryahumanitarianorganization, n3))], (350 ^ _127611) ^ [_139466, _139468, _139470] : [the_agent_not_in_any_proposed_teams(_139470, _139468, _139466), accept_city(_139470, _139466), accept_leader(_139470, _139468)], (2696 ^ _127611) ^ [_205215, _205217] : [less(_205217, _205215), 2699 ^ _127611 : [(2700 ^ _127611) ^ [] : [less(_205215, _205217)], (2702 ^ _127611) ^ [] : [_205215 = _205217]]], (1522 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n3))], (902 ^ _127611) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n6)], (1262 ^ _127611) ^ [] : [-(accept_number(countryccivilorganization, n3))], (858 ^ _127611) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1280 ^ _127611) ^ [] : [-(accept_number(sufferterragovernment, n6))], (850 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n4)], (896 ^ _127611) ^ [] : [accept_team(countryamedicalorganization, christiansufferterrahumanitarianorganization, coastvillage, n2)], (1862 ^ _127611) ^ [] : [-(accept_leader(countryccivilorganization, sufferterragovernment))], (1962 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, christian, n24))], (2304 ^ _127611) ^ [] : [-(rdn_translate(n119, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (1326 ^ _127611) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (1510 ^ _127611) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, coastvillage))], (2180 ^ _127611) ^ [] : [-(rdn_translate(n57, rdn_pos(rdn(rdnn(n7), rdnn(n5)))))], (1220 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3))], (2128 ^ _127611) ^ [] : [-(rdn_translate(n31, rdn_pos(rdn(rdnn(n1), rdnn(n3)))))], (1070 ^ _127611) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, townc, n6)], (930 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (1880 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n24))], (1004 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1948 ^ _127611) ^ [] : [-(accept_number(countryacivilorganization, n4))], (1906 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n75))], (2496 ^ _127611) ^ [] : [-(rdn_translate(nn88, rdn_neg(rdn(rdnn(n8), rdnn(n8)))))], (1642 ^ _127611) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrybcivilorganization))], (1490 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n24))], (842 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (2044 ^ _127611) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (978 ^ _127611) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (1214 ^ _127611) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n6))], (1392 ^ _127611) ^ [] : [-(accept_leader(countrycmedicalorganization, countryacivilorganization))], (1550 ^ _127611) ^ [] : [-(accept_city(countryafirstaidorganization, townc))], (2610 ^ _127611) ^ [] : [-(rdn_positive_less(rdnn(n7), rdnn(n8)))], (2538 ^ _127611) ^ [] : [-(rdn_translate(nn109, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (2514 ^ _127611) ^ [] : [-(rdn_translate(nn97, rdn_neg(rdn(rdnn(n7), rdnn(n9)))))], (2196 ^ _127611) ^ [] : [-(rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))))], (1710 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, other, n1))], (2598 ^ _127611) ^ [] : [-(rdn_positive_less(rdnn(n1), rdnn(n2)))], (2068 ^ _127611) ^ [] : [-(rdn_translate(n1, rdn_pos(rdnn(n1))))], (1130 ^ _127611) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (1364 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, christian, n0))], (1654 ^ _127611) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, townc))], (1992 ^ _127611) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (2060 ^ _127611) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (246 ^ _127611) ^ [_135763, _135765, _135767, _135769, _135771, _135773] : [-(accept_population(_135771, _135767, _135763)), accept_population(_135773, _135769, _135765), _135773 = _135771, _135769 = _135767, _135765 = _135763], (2022 ^ _127611) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (872 ^ _127611) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, cityb, n6))], (868 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n4))], (1426 ^ _127611) ^ [] : [-(accept_city(countrybcivilorganization, townc))], (402 ^ _127611) ^ [_141029] : [-(accept_city(_141029, centraltown)), accept_population(_141029, atheist, n54), accept_population(_141029, christian, n23), accept_population(_141029, muslim, n3), accept_population(_141029, native, n1), accept_population(_141029, other, n9)], (2374 ^ _127611) ^ [] : [-(rdn_translate(nn27, rdn_neg(rdn(rdnn(n7), rdnn(n2)))))], (2542 ^ _127611) ^ [] : [-(rdn_translate(nn111, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (2336 ^ _127611) ^ [] : [-(rdn_translate(nn8, rdn_neg(rdnn(n8))))], (982 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (2236 ^ _127611) ^ [] : [-(rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))))], (1536 ^ _127611) ^ [] : [-(accept_city(countryafirstaidorganization, coastvillage))], (2282 ^ _127611) ^ [] : [-(rdn_translate(n108, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (1386 ^ _127611) ^ [] : [-(accept_leader(countryahumanitarianorganization, christiancountrychumanitarianorganization))], (2646 ^ _127611) ^ [_203503] : [rdn_non_zero_digit(rdnn(_203503)), -(rdn_non_zero(rdnn(_203503)))], (1324 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n6)], (1096 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (1822 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, muslim, n1))], (2474 ^ _127611) ^ [] : [-(rdn_translate(nn77, rdn_neg(rdn(rdnn(n7), rdnn(n7)))))], (2008 ^ _127611) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrybhumanitarianorganization))], (1802 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n78))], (1100 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (2380 ^ _127611) ^ [] : [-(rdn_translate(nn30, rdn_neg(rdn(rdnn(n0), rdnn(n3)))))], (1086 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, townc, n4))], (1786 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, other, n1))], (1752 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, christian, n20))], (2150 ^ _127611) ^ [] : [-(rdn_translate(n42, rdn_pos(rdn(rdnn(n2), rdnn(n4)))))], (2050 ^ _127611) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n5))], (1442 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, atheist, n75))], (2246 ^ _127611) ^ [] : [-(rdn_translate(n90, rdn_pos(rdn(rdnn(n0), rdnn(n9)))))], (1526 ^ _127611) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, coastvillage))], (1374 ^ _127611) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryafirstaidorganization))], (944 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (2430 ^ _127611) ^ [] : [-(rdn_translate(nn55, rdn_neg(rdn(rdnn(n5), rdnn(n5)))))], (2152 ^ _127611) ^ [] : [-(rdn_translate(n43, rdn_pos(rdn(rdnn(n3), rdnn(n4)))))], (654 ^ _127611) ^ [_148211] : [-(accept_city(_148211, towna)), accept_population(_148211, atheist, n75), accept_population(_148211, christian, n24), accept_population(_148211, muslim, n1), accept_population(_148211, native, n0), accept_population(_148211, other, n0)], (1794 ^ _127611) ^ [] : [-(accept_leader(countryacivilorganization, countrybhumanitarianorganization))], (172 ^ _127611) ^ [_133370, _133372, _133374, _133376] : [-(rdn_translate(_133374, _133370)), rdn_translate(_133376, _133372), _133376 = _133374, _133372 = _133370], (1346 ^ _127611) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryahumanitarianorganization))], (186 ^ _127611) ^ [_133814, _133816, _133818, _133820] : [-(rdn_positive_less(_133818, _133814)), rdn_positive_less(_133820, _133816), _133820 = _133818, _133816 = _133814], (1314 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n6))], (1972 ^ _127611) ^ [] : [-(accept_number(countryccivilorganization, n3))], (2342 ^ _127611) ^ [] : [-(rdn_translate(nn11, rdn_neg(rdn(rdnn(n1), rdnn(n1)))))], (2504 ^ _127611) ^ [] : [-(rdn_translate(nn92, rdn_neg(rdn(rdnn(n2), rdnn(n9)))))], (992 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (1574 ^ _127611) ^ [] : [-(accept_city(countrybhumanitarianorganization, coastvillage))], (1222 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n3))], (2332 ^ _127611) ^ [] : [-(rdn_translate(nn6, rdn_neg(rdnn(n6))))], (1418 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, other, n5))], (2092 ^ _127611) ^ [] : [-(rdn_translate(n13, rdn_pos(rdn(rdnn(n3), rdnn(n1)))))], (762 ^ _127611) ^ [_151289] : [-(accept_city(_151289, cityb)), accept_population(_151289, atheist, n78), accept_population(_151289, christian, n20), accept_population(_151289, muslim, n1), accept_population(_151289, native, n0), accept_population(_151289, other, n1)], (2482 ^ _127611) ^ [] : [-(rdn_translate(nn81, rdn_neg(rdn(rdnn(n1), rdnn(n8)))))], (2148 ^ _127611) ^ [] : [-(rdn_translate(n41, rdn_pos(rdn(rdnn(n1), rdnn(n4)))))], (1692 ^ _127611) ^ [] : [-(accept_city(countryccivilorganization, townc))], (1448 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, other, n1))], (1618 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, muslim, n0))], (2194 ^ _127611) ^ [] : [-(rdn_translate(n64, rdn_pos(rdn(rdnn(n4), rdnn(n6)))))], (1832 ^ _127611) ^ [] : [-(accept_city(countryahumanitarianorganization, towna))], (2248 ^ _127611) ^ [] : [-(rdn_translate(n91, rdn_pos(rdn(rdnn(n1), rdnn(n9)))))], (1534 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n12))], (2100 ^ _127611) ^ [] : [-(rdn_translate(n17, rdn_pos(rdn(rdnn(n7), rdnn(n1)))))], (2090 ^ _127611) ^ [] : [-(rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))))], (110 ^ _127611) ^ [_131448, _131450, _131452, _131454] : [-(accept_number(_131452, _131448)), accept_number(_131454, _131450), _131454 = _131452, _131450 = _131448], (2286 ^ _127611) ^ [] : [-(rdn_translate(n110, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (264 ^ _127611) ^ [_136420, _136422, _136424, _136426] : [-(rdn(_136426, _136422) = rdn(_136424, _136420)), _136426 = _136424, _136422 = _136420], (1540 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, other, n5))], (2272 ^ _127611) ^ [] : [-(rdn_translate(n103, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (1014 ^ _127611) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n6))], (1860 ^ _127611) ^ [] : [-(accept_city(countryccivilorganization, towna))], (1834 ^ _127611) ^ [] : [-(accept_leader(sufferterragovernment, countryacivilorganization))], (900 ^ _127611) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n6)], (2394 ^ _127611) ^ [] : [-(rdn_translate(nn37, rdn_neg(rdn(rdnn(n7), rdnn(n3)))))], (1760 ^ _127611) ^ [] : [-(accept_number(countryamedicalorganization, n5))], (640 ^ _127611) ^ [_147691] : [accept_city(_147691, sunsetpoint), 643 ^ _127611 : [(652 ^ _127611) ^ [] : [-(accept_population(_147691, other, n0))], (650 ^ _127611) ^ [] : [-(accept_population(_147691, native, n100))], (648 ^ _127611) ^ [] : [-(accept_population(_147691, muslim, n0))], (644 ^ _127611) ^ [] : [-(accept_population(_147691, atheist, n0))], (646 ^ _127611) ^ [] : [-(accept_population(_147691, christian, n0))]]], (1504 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n0))], (1730 ^ _127611) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, townc))], (1596 ^ _127611) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countrycmedicalorganization))], (2172 ^ _127611) ^ [] : [-(rdn_translate(n53, rdn_pos(rdn(rdnn(n3), rdnn(n5)))))], (2568 ^ _127611) ^ [] : [-(rdn_translate(nn124, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (946 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (2186 ^ _127611) ^ [] : [-(rdn_translate(n60, rdn_pos(rdn(rdnn(n0), rdnn(n6)))))], (1360 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, other, n5))], (2704 ^ _127611) ^ [_205454, _205456] : [-(less(_205456, _205454)), -(less(_205454, _205456)), -(_205454 = _205456)], (1118 ^ _127611) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n5)], (1012 ^ _127611) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n5))], (926 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (1366 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n30))], (2280 ^ _127611) ^ [] : [-(rdn_translate(n107, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (676 ^ _127611) ^ [_148717] : [accept_city(_148717, towna), 679 ^ _127611 : [(688 ^ _127611) ^ [] : [-(accept_population(_148717, other, n0))], (686 ^ _127611) ^ [] : [-(accept_population(_148717, native, n0))], (684 ^ _127611) ^ [] : [-(accept_population(_148717, muslim, n1))], (680 ^ _127611) ^ [] : [-(accept_population(_148717, atheist, n75))], (682 ^ _127611) ^ [] : [-(accept_population(_148717, christian, n24))]]], (1060 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (2460 ^ _127611) ^ [] : [-(rdn_translate(nn70, rdn_neg(rdn(rdnn(n0), rdnn(n7)))))], (1182 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n2)], (2432 ^ _127611) ^ [] : [-(rdn_translate(nn56, rdn_neg(rdn(rdnn(n6), rdnn(n5)))))], (1584 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n30))], (1064 ^ _127611) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, townc, n6)], (2114 ^ _127611) ^ [] : [-(rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))))], (1172 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1656 ^ _127611) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryacivilorganization))], (890 ^ _127611) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n2)], (1188 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n3)], (924 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (1112 ^ _127611) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (2420 ^ _127611) ^ [] : [-(rdn_translate(nn50, rdn_neg(rdn(rdnn(n0), rdnn(n5)))))], (976 ^ _127611) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n6)], (748 ^ _127611) ^ [_150769] : [accept_city(_150769, townb), 751 ^ _127611 : [(760 ^ _127611) ^ [] : [-(accept_population(_150769, other, n2))], (758 ^ _127611) ^ [] : [-(accept_population(_150769, native, n0))], (756 ^ _127611) ^ [] : [-(accept_population(_150769, muslim, n8))], (752 ^ _127611) ^ [] : [-(accept_population(_150769, atheist, n70))], (754 ^ _127611) ^ [] : [-(accept_population(_150769, christian, n20))]]], (2480 ^ _127611) ^ [] : [-(rdn_translate(nn80, rdn_neg(rdn(rdnn(n0), rdnn(n8)))))], (1792 ^ _127611) ^ [] : [-(accept_city(countryacivilorganization, cityb))], (1562 ^ _127611) ^ [] : [-(accept_leader(countryafirstaidorganization, countrybhumanitarianorganization))], (2390 ^ _127611) ^ [] : [-(rdn_translate(nn35, rdn_neg(rdn(rdnn(n5), rdnn(n3)))))], (1784 ^ _127611) ^ [] : [-(accept_city(countryamedicalorganization, towna))], (974 ^ _127611) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n5)], (2252 ^ _127611) ^ [] : [-(rdn_translate(n93, rdn_pos(rdn(rdnn(n3), rdnn(n9)))))], (834 ^ _127611) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, cityb, n6))], (1806 ^ _127611) ^ [] : [-(accept_leader(countryahumanitarianorganization, countrybhumanitarianorganization))], (2438 ^ _127611) ^ [] : [-(rdn_translate(nn59, rdn_neg(rdn(rdnn(n9), rdnn(n5)))))], (1946 ^ _127611) ^ [] : [-(accept_number(countryacivilorganization, n5))], (2614 ^ _127611) ^ [_202323, _202325, _202327] : [-(rdn_positive_less(rdnn(_202327), rdnn(_202323))), rdn_positive_less(rdnn(_202327), rdnn(_202325)), rdn_positive_less(rdnn(_202325), rdnn(_202323))], (1940 ^ _127611) ^ [] : [-(accept_number(sufferterragovernment, n2))], (1338 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, muslim, n65))], (2554 ^ _127611) ^ [] : [-(rdn_translate(nn117, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (2602 ^ _127611) ^ [] : [-(rdn_positive_less(rdnn(n3), rdnn(n4)))], (1678 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n78))], (1974 ^ _127611) ^ [] : [-(accept_number(countryccivilorganization, n2))], (1290 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, towna, n6))], (910 ^ _127611) ^ [] : [-(accept_team(countryccivilorganization, countrycmedicalorganization, towna, n4))], (1160 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (124 ^ _127611) ^ [_131892, _131894, _131896, _131898] : [-(accept_city(_131896, _131892)), accept_city(_131898, _131894), _131898 = _131896, _131894 = _131892], (2406 ^ _127611) ^ [] : [-(rdn_translate(nn43, rdn_neg(rdn(rdnn(n3), rdnn(n4)))))], (1206 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6)], (950 ^ _127611) ^ [] : [-(accept_number(countryacivilorganization, n2))], (2522 ^ _127611) ^ [] : [-(rdn_translate(nn101, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (1714 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n78))], (2178 ^ _127611) ^ [] : [-(rdn_translate(n56, rdn_pos(rdn(rdnn(n6), rdnn(n5)))))], (856 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (2166 ^ _127611) ^ [] : [-(rdn_translate(n50, rdn_pos(rdn(rdnn(n0), rdnn(n5)))))], (1294 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, towna, n6))], (990 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, townc, n6))], (2328 ^ _127611) ^ [] : [-(rdn_translate(nn4, rdn_neg(rdnn(n4))))], (1762 ^ _127611) ^ [] : [-(accept_number(countryamedicalorganization, n4))], (1410 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, christian, n3))], (920 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n5))], (2562 ^ _127611) ^ [] : [-(rdn_translate(nn121, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1178 ^ _127611) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1138 ^ _127611) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n6))], (1846 ^ _127611) ^ [] : [-(accept_city(sufferterragovernment, cityb))], (2450 ^ _127611) ^ [] : [-(rdn_translate(nn65, rdn_neg(rdn(rdnn(n5), rdnn(n6)))))], (912 ^ _127611) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n5)], (2608 ^ _127611) ^ [] : [-(rdn_positive_less(rdnn(n6), rdnn(n7)))], (286 ^ _127611) ^ [_137167, _137169] : [_137169 = _137167, -(rdn_neg(_137169) = rdn_neg(_137167))], (2556 ^ _127611) ^ [] : [-(rdn_translate(nn118, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (904 ^ _127611) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n6)], (690 ^ _127611) ^ [_149237] : [-(accept_city(_149237, citya)), accept_population(_149237, atheist, n75), accept_population(_149237, christian, n25), accept_population(_149237, muslim, n0), accept_population(_149237, native, n0), accept_population(_149237, other, n0)], (1884 ^ _127611) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (1622 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, atheist, n12))], (1586 ^ _127611) ^ [] : [-(accept_city(countrybhumanitarianorganization, townc))], (1716 ^ _127611) ^ [] : [-(accept_city(countrycmedicalorganization, cityb))], (1168 ^ _127611) ^ [] : [-(accept_number(countryacivilorganization, n6))], (2198 ^ _127611) ^ [] : [-(rdn_translate(n66, rdn_pos(rdn(rdnn(n6), rdnn(n6)))))], (2590 ^ _127611) ^ [] : [-(rdn_non_zero_digit(rdnn(n7)))], (1022 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1264 ^ _127611) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, towna, n6)], (1766 ^ _127611) ^ [] : [-(accept_number(countryamedicalorganization, n2))], (1142 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n6))], (2402 ^ _127611) ^ [] : [-(rdn_translate(nn41, rdn_neg(rdn(rdnn(n1), rdnn(n4)))))], (1852 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, native, n0))], (1362 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, muslim, n65))], (2370 ^ _127611) ^ [] : [-(rdn_translate(nn25, rdn_neg(rdn(rdnn(n5), rdnn(n2)))))], (1466 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, native, n85))], (1256 ^ _127611) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n2)], (1740 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n20))], (2260 ^ _127611) ^ [] : [-(rdn_translate(n97, rdn_pos(rdn(rdnn(n7), rdnn(n9)))))], (1162 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (918 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n4))], (1932 ^ _127611) ^ [] : [-(accept_leader(countrybcivilorganization, sufferterragovernment))], (1850 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, other, n0))], (2040 ^ _127611) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (1542 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n65))], (998 ^ _127611) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n6))], (1304 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, towna, n4))], (2256 ^ _127611) ^ [] : [-(rdn_translate(n95, rdn_pos(rdn(rdnn(n5), rdnn(n9)))))], (1450 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, christian, n20))], (162 ^ _127611) ^ [_133047, _133049] : [-(rdn_non_zero(_133047)), _133049 = _133047, rdn_non_zero(_133049)], (1648 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n0))], (984 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1736 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, native, n0))], (2364 ^ _127611) ^ [] : [-(rdn_translate(nn22, rdn_neg(rdn(rdnn(n2), rdnn(n2)))))], (2242 ^ _127611) ^ [] : [-(rdn_translate(n88, rdn_pos(rdn(rdnn(n8), rdnn(n8)))))], (1508 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n12))], (2074 ^ _127611) ^ [] : [-(rdn_translate(n4, rdn_pos(rdnn(n4))))], (2564 ^ _127611) ^ [] : [-(rdn_translate(nn122, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (1094 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, townc, n6))], (1028 ^ _127611) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (2070 ^ _127611) ^ [] : [-(rdn_translate(n2, rdn_pos(rdnn(n2))))], (1816 ^ _127611) ^ [] : [-(accept_number(countryahumanitarianorganization, n1))], (2570 ^ _127611) ^ [] : [-(rdn_translate(nn125, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (1460 ^ _127611) ^ [] : [-(accept_leader(countryccivilorganization, countryacivilorganization))], (1156 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1462 ^ _127611) ^ [] : [-(accept_leader(countryacivilorganization, countryamedicalorganization))], (1926 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, christian, n24))], (1472 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, atheist, n12))], (1458 ^ _127611) ^ [] : [-(accept_city(countryccivilorganization, cityb))], (1210 ^ _127611) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n6))], (1774 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, muslim, n1))], (1248 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n6))], (2174 ^ _127611) ^ [] : [-(rdn_translate(n54, rdn_pos(rdn(rdnn(n4), rdnn(n5)))))], (2392 ^ _127611) ^ [] : [-(rdn_translate(nn36, rdn_neg(rdn(rdnn(n6), rdnn(n3)))))], (1336 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n5))], (1934 ^ _127611) ^ [] : [-(accept_number(sufferterragovernment, n5))], (1274 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (10 ^ _127611) ^ [_128046, _128048, _128050] : [-(_128050 = _128046), _128050 = _128048, _128048 = _128046], (2512 ^ _127611) ^ [] : [-(rdn_translate(nn96, rdn_neg(rdn(rdnn(n6), rdnn(n9)))))], (1626 ^ _127611) ^ [] : [-(accept_leader(sufferterragovernment, christiancountrychumanitarianorganization))], (2134 ^ _127611) ^ [] : [-(rdn_translate(n34, rdn_pos(rdn(rdnn(n4), rdnn(n3)))))], (292 ^ _127611) ^ [_137480, _137482, _137484, _137486] : [accept_team(_137486, _137480, _137484, _137482), 295 ^ _127611 : [(296 ^ _127611) ^ [] : [-(accept_city(_137486, _137484))], (300 ^ _127611) ^ [] : [-(accept_number(_137486, _137482))], (298 ^ _127611) ^ [] : [-(accept_leader(_137486, _137480))]]], (2006 ^ _127611) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (2162 ^ _127611) ^ [] : [-(rdn_translate(n48, rdn_pos(rdn(rdnn(n8), rdnn(n4)))))], (1968 ^ _127611) ^ [] : [-(accept_leader(countryacivilorganization, sufferterragovernment))], (1068 ^ _127611) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, townc, n6)], (2366 ^ _127611) ^ [] : [-(rdn_translate(nn23, rdn_neg(rdn(rdnn(n3), rdnn(n2)))))], (1404 ^ _127611) ^ [] : [-(accept_leader(countrybcivilorganization, countryacivilorganization))], (2130 ^ _127611) ^ [] : [-(rdn_translate(n32, rdn_pos(rdn(rdnn(n2), rdnn(n3)))))], (1494 ^ _127611) ^ [] : [accept_leader(christiansufferterrahumanitarianorganization, sufferterragovernment)], (892 ^ _127611) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n2)], (928 ^ _127611) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, towna, n6))], (2116 ^ _127611) ^ [] : [-(rdn_translate(n25, rdn_pos(rdn(rdnn(n5), rdnn(n2)))))], (936 ^ _127611) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (366 ^ _127611) ^ [_140003] : [-(accept_city(_140003, suffertown)), accept_population(_140003, atheist, n65), accept_population(_140003, christian, n20), accept_population(_140003, muslim, n7), accept_population(_140003, native, n4), accept_population(_140003, other, n4)], (2604 ^ _127611) ^ [] : [-(rdn_positive_less(rdnn(n4), rdnn(n5)))], (1106 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1244 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, towna, n6))], (1084 ^ _127611) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, townc, n6))], (878 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (1054 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (1876 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, native, n0))], (1978 ^ _127611) ^ [] : [-(accept_number(countryccivilorganization, n4))], (316 ^ _127611) ^ [_138251, _138253, _138255] : [-(accept_number(_138255, _138251)), accept_number(_138255, _138253), less(_138251, _138253)], (1764 ^ _127611) ^ [] : [-(accept_number(countryamedicalorganization, n3))], (232 ^ _127611) ^ [_135311, _135313, _135315, _135317] : [-(less_or_equal(_135315, _135311)), less_or_equal(_135317, _135313), _135317 = _135315, _135313 = _135311], (1772 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, native, n0))], (2452 ^ _127611) ^ [] : [-(rdn_translate(nn66, rdn_neg(rdn(rdnn(n6), rdnn(n6)))))], (2132 ^ _127611) ^ [] : [-(rdn_translate(n33, rdn_pos(rdn(rdnn(n3), rdnn(n3)))))], (2378 ^ _127611) ^ [] : [-(rdn_translate(nn29, rdn_neg(rdn(rdnn(n9), rdnn(n2)))))], (2110 ^ _127611) ^ [] : [-(rdn_translate(n22, rdn_pos(rdn(rdnn(n2), rdnn(n2)))))], (2264 ^ _127611) ^ [] : [-(rdn_translate(n99, rdn_pos(rdn(rdnn(n9), rdnn(n9)))))], (1842 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, christian, n20))], (1778 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n75))], (2054 ^ _127611) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (996 ^ _127611) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n5))], (860 ^ _127611) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, cityb, n6))], (302 ^ _127611) ^ [_137815, _137817, _137819, _137821] : [-(accept_team(_137821, _137815, _137819, _137817)), accept_city(_137821, _137819), accept_leader(_137821, _137815), accept_number(_137821, _137817)], (1952 ^ _127611) ^ [] : [-(accept_number(countryacivilorganization, n2))], (1872 ^ _127611) ^ [] : [-(accept_number(countryafirstaidorganization, n1))], (2448 ^ _127611) ^ [] : [-(rdn_translate(nn64, rdn_neg(rdn(rdnn(n4), rdnn(n6)))))], (2672 ^ _127611) ^ [_204407, _204409, _204411, _204413] : [-(less(_204413, _204411)), rdn_translate(_204413, rdn_neg(_204409)), rdn_translate(_204411, rdn_pos(_204407))], (1192 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n3)], (2292 ^ _127611) ^ [] : [-(rdn_translate(n113, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (438 ^ _127611) ^ [_142055] : [-(accept_city(_142055, sunnysideport)), accept_population(_142055, atheist, n30), accept_population(_142055, christian, n8), accept_population(_142055, muslim, n60), accept_population(_142055, native, n1), accept_population(_142055, other, n1)], (1950 ^ _127611) ^ [] : [-(accept_number(countryacivilorganization, n3))], (1292 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, towna, n6))], (1246 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, towna, n6))], (954 ^ _127611) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n6))], (2362 ^ _127611) ^ [] : [-(rdn_translate(nn21, rdn_neg(rdn(rdnn(n1), rdnn(n2)))))], (1250 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1282 ^ _127611) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n6))], (1464 ^ _127611) ^ [] : [-(accept_leader(countryacivilorganization, countryafirstaidorganization))], (2088 ^ _127611) ^ [] : [-(rdn_translate(n11, rdn_pos(rdn(rdnn(n1), rdnn(n1)))))], (1224 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, countryccivilorganization, towna, n3))], (1050 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1848 ^ _127611) ^ [] : [-(accept_leader(sufferterragovernment, countrybhumanitarianorganization))], (2032 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n75))], (1910 ^ _127611) ^ [] : [-(accept_leader(countrycmedicalorganization, sufferterragovernment))], (2464 ^ _127611) ^ [] : [-(rdn_translate(nn72, rdn_neg(rdn(rdnn(n2), rdnn(n7)))))], (1666 ^ _127611) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n1))], (1614 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, other, n0))], (864 ^ _127611) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, cityb, n6))], (1514 ^ _127611) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization))], (2580 ^ _127611) ^ [] : [-(rdn_non_zero_digit(rdnn(n2)))], (1560 ^ _127611) ^ [] : [-(accept_city(countryafirstaidorganization, cityb))], (1184 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n2)], (1708 ^ _127611) ^ [] : [-(accept_leader(countrycmedicalorganization, countryahumanitarianorganization))], (1240 ^ _127611) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (866 ^ _127611) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (1888 ^ _127611) ^ [] : [-(accept_city(countryafirstaidorganization, towna))], (1276 ^ _127611) ^ [] : [-(accept_number(sufferterragovernment, n5))], (2108 ^ _127611) ^ [] : [-(rdn_translate(n21, rdn_pos(rdn(rdnn(n1), rdnn(n2)))))], (1606 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n75))], (840 ^ _127611) ^ [] : [-(accept_team(countryahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (546 ^ _127611) ^ [_145133] : [-(accept_city(_145133, northport)), accept_population(_145133, atheist, n70), accept_population(_145133, christian, n13), accept_population(_145133, muslim, n0), accept_population(_145133, native, n15), accept_population(_145133, other, n2)], (344 ^ _127611) ^ [_139234, _139236, _139238] : [any_agent_in_all_proposed_teams(_139238, _139236, _139234), -(accept_leader(_139238, _139236))], (1134 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (2454 ^ _127611) ^ [] : [-(rdn_translate(nn67, rdn_neg(rdn(rdnn(n7), rdnn(n6)))))], (1636 ^ _127611) ^ [] : [-(accept_leader(sufferterragovernment, countryahumanitarianorganization))], (1238 ^ _127611) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (1378 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, muslim, n0))], (1196 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n2)], (2658 ^ _127611) ^ [_203955, _203957, _203959, _203961] : [-(less(_203961, _203959)), rdn_translate(_203961, rdn_pos(_203957)), rdn_translate(_203959, rdn_pos(_203955)), rdn_positive_less(_203957, _203955)], (1358 ^ _127611) ^ [] : [-(accept_leader(countryamedicalorganization, christiancountrychumanitarianorganization))], (1148 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (1520 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n0))], (1696 ^ _127611) ^ [] : [-(accept_leader(countrycmedicalorganization, muslimcountrybhumanitarianorganization))], (1670 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n1))], (2002 ^ _127611) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (1312 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, towna, n6))], (1836 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, other, n1))], (1328 ^ _127611) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (532 ^ _127611) ^ [_144613] : [accept_city(_144613, stjosephburgh), 535 ^ _127611 : [(544 ^ _127611) ^ [] : [-(accept_population(_144613, other, n4))], (542 ^ _127611) ^ [] : [-(accept_population(_144613, native, n11))], (540 ^ _127611) ^ [] : [-(accept_population(_144613, muslim, n1))], (536 ^ _127611) ^ [] : [-(accept_population(_144613, atheist, n68))], (538 ^ _127611) ^ [] : [-(accept_population(_144613, christian, n16))]]], (2462 ^ _127611) ^ [] : [-(rdn_translate(nn71, rdn_neg(rdn(rdnn(n1), rdnn(n7)))))], (1502 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, native, n85))], (2532 ^ _127611) ^ [] : [-(rdn_translate(nn106, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (1124 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1056 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, townc, n6))], (200 ^ _127611) ^ [_134286, _134288, _134290, _134292, _134294, _134296] : [-(sum(_134294, _134290, _134286)), sum(_134296, _134292, _134288), _134296 = _134294, _134292 = _134290, _134288 = _134286], (2014 ^ _127611) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n4))], (2466 ^ _127611) ^ [] : [-(rdn_translate(nn73, rdn_neg(rdn(rdnn(n3), rdnn(n7)))))], (1170 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1790 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, atheist, n78))], (2030 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n24))], (2442 ^ _127611) ^ [] : [-(rdn_translate(nn61, rdn_neg(rdn(rdnn(n1), rdnn(n6)))))], (2416 ^ _127611) ^ [] : [-(rdn_translate(nn48, rdn_neg(rdn(rdnn(n8), rdnn(n4)))))], (1370 ^ _127611) ^ [] : [-(accept_city(countryamedicalorganization, townc))], (1298 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (2312 ^ _127611) ^ [] : [-(rdn_translate(n123, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (1254 ^ _127611) ^ [] : [-(accept_number(sufferterragovernment, n2))], (2220 ^ _127611) ^ [] : [-(rdn_translate(n77, rdn_pos(rdn(rdnn(n7), rdnn(n7)))))], (1512 ^ _127611) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization))], (1368 ^ _127611) ^ [] : [-(accept_leader(countryamedicalorganization, countryahumanitarianorganization))], (1594 ^ _127611) ^ [] : [-(accept_leader(countrybhumanitarianorganization, christiancountrychumanitarianorganization))], (2584 ^ _127611) ^ [] : [-(rdn_non_zero_digit(rdnn(n4)))], (2510 ^ _127611) ^ [] : [-(rdn_translate(nn95, rdn_neg(rdn(rdnn(n5), rdnn(n9)))))], (2594 ^ _127611) ^ [] : [-(rdn_non_zero_digit(rdnn(n9)))], (2182 ^ _127611) ^ [] : [-(rdn_translate(n58, rdn_pos(rdn(rdnn(n8), rdnn(n5)))))], (1062 ^ _127611) ^ [] : [accept_team(countryccivilorganization, muslimcountrybhumanitarianorganization, townc, n6)], (2494 ^ _127611) ^ [] : [-(rdn_translate(nn87, rdn_neg(rdn(rdnn(n7), rdnn(n8)))))], (1126 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1894 ^ _127611) ^ [] : [-(accept_leader(countrycmedicalorganization, countrybhumanitarianorganization))], (2388 ^ _127611) ^ [] : [-(rdn_translate(nn34, rdn_neg(rdn(rdnn(n4), rdnn(n3)))))], (2606 ^ _127611) ^ [] : [-(rdn_positive_less(rdnn(n5), rdnn(n6)))], (1040 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (2188 ^ _127611) ^ [] : [-(rdn_translate(n61, rdn_pos(rdn(rdnn(n1), rdnn(n6)))))], (2530 ^ _127611) ^ [] : [-(rdn_translate(nn105, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (2012 ^ _127611) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (2348 ^ _127611) ^ [] : [-(rdn_translate(nn14, rdn_neg(rdn(rdnn(n4), rdnn(n1)))))], (876 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (2176 ^ _127611) ^ [] : [-(rdn_translate(n55, rdn_pos(rdn(rdnn(n5), rdnn(n5)))))], (2574 ^ _127611) ^ [] : [-(rdn_translate(nn127, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (2640 ^ _127611) ^ [_203289, _203291, _203293] : [rdn_non_zero(_203289), -(rdn_positive_less(rdnn(_203293), rdn(rdnn(_203291), _203289)))], (1722 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n5))], (2526 ^ _127611) ^ [] : [-(rdn_translate(nn103, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (2408 ^ _127611) ^ [] : [-(rdn_translate(nn44, rdn_neg(rdn(rdnn(n4), rdnn(n4)))))], (1052 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, townc, n6))], (1528 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, native, n85))], (1828 ^ _127611) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (510 ^ _127611) ^ [_144107] : [-(accept_city(_144107, stjosephburgh)), accept_population(_144107, atheist, n68), accept_population(_144107, christian, n16), accept_population(_144107, muslim, n1), accept_population(_144107, native, n11), accept_population(_144107, other, n4)], (1788 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, christian, n20))], (2168 ^ _127611) ^ [] : [-(rdn_translate(n51, rdn_pos(rdn(rdnn(n1), rdnn(n5)))))], (1424 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n30))], (932 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (2250 ^ _127611) ^ [] : [-(rdn_translate(n92, rdn_pos(rdn(rdnn(n2), rdnn(n9)))))], (2214 ^ _127611) ^ [] : [-(rdn_translate(n74, rdn_pos(rdn(rdnn(n4), rdnn(n7)))))], (1422 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, christian, n0))], (2566 ^ _127611) ^ [] : [-(rdn_translate(nn123, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (1454 ^ _127611) ^ [] : [accept_number(countryccivilorganization, n6)], (1266 ^ _127611) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, towna, n6)], (2098 ^ _127611) ^ [] : [-(rdn_translate(n16, rdn_pos(rdn(rdnn(n6), rdnn(n1)))))], (474 ^ _127611) ^ [_143081] : [-(accept_city(_143081, centrallakecity)), accept_population(_143081, atheist, n70), accept_population(_143081, christian, n15), accept_population(_143081, muslim, n1), accept_population(_143081, native, n10), accept_population(_143081, other, n4)], (886 ^ _127611) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, towna, n6))], (2572 ^ _127611) ^ [] : [-(rdn_translate(nn126, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (2080 ^ _127611) ^ [] : [-(rdn_translate(n7, rdn_pos(rdnn(n7))))], (2560 ^ _127611) ^ [] : [-(rdn_translate(nn120, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (1668 ^ _127611) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (2320 ^ _127611) ^ [] : [-(rdn_translate(n127, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (2062 ^ _127611) ^ [] : [accept_city(muslimcountrybhumanitarianorganization, towna)], (52 ^ _127611) ^ [_129496, _129498, _129500, _129502, _129504, _129506, _129508, _129510] : [-(accept_team(_129508, _129504, _129500, _129496)), accept_team(_129510, _129506, _129502, _129498), _129510 = _129508, _129506 = _129504, _129502 = _129500, _129498 = _129496], (1018 ^ _127611) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (1554 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, other, n1))], (1976 ^ _127611) ^ [] : [-(accept_number(countryccivilorganization, n1))], (1486 ^ _127611) ^ [] : [-(accept_leader(countryacivilorganization, countryahumanitarianorganization))], (1820 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, native, n0))], (1308 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, towna, n6))], (1580 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n65))], (1964 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, atheist, n75))], (2020 ^ _127611) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n1))], (2324 ^ _127611) ^ [] : [-(rdn_translate(nn2, rdn_neg(rdnn(n2))))], (1272 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (2524 ^ _127611) ^ [] : [-(rdn_translate(nn102, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1300 ^ _127611) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (2010 ^ _127611) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrycmedicalorganization))], (2290 ^ _127611) ^ [] : [-(rdn_translate(n112, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (2218 ^ _127611) ^ [] : [-(rdn_translate(n76, rdn_pos(rdn(rdnn(n6), rdnn(n7)))))], (2476 ^ _127611) ^ [] : [-(rdn_translate(nn78, rdn_neg(rdn(rdnn(n8), rdnn(n7)))))], (1278 ^ _127611) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n5))], (1322 ^ _127611) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (1216 ^ _127611) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (1092 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, townc, n6))], (2118 ^ _127611) ^ [] : [-(rdn_translate(n26, rdn_pos(rdn(rdnn(n6), rdnn(n2)))))], (2142 ^ _127611) ^ [] : [-(rdn_translate(n38, rdn_pos(rdn(rdnn(n8), rdnn(n3)))))], (1284 ^ _127611) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (1566 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, native, n85))], (1756 ^ _127611) ^ [] : [-(accept_city(countryamedicalorganization, cityb))], (2102 ^ _127611) ^ [] : [-(rdn_translate(n18, rdn_pos(rdn(rdnn(n8), rdnn(n1)))))], (2446 ^ _127611) ^ [] : [-(rdn_translate(nn63, rdn_neg(rdn(rdnn(n3), rdnn(n6)))))], (1098 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (2546 ^ _127611) ^ [] : [-(rdn_translate(nn113, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (1980 ^ _127611) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryccivilorganization))], (836 ^ _127611) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, towna, n6))], (74 ^ _127611) ^ [_130258, _130260, _130262, _130264, _130266, _130268] : [-(the_agent_not_in_any_proposed_teams(_130266, _130262, _130258)), the_agent_not_in_any_proposed_teams(_130268, _130264, _130260), _130268 = _130266, _130264 = _130262, _130260 = _130258], (1552 ^ _127611) ^ [] : [-(accept_leader(countryafirstaidorganization, countryacivilorganization))], (994 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (1942 ^ _127611) ^ [] : [-(accept_number(sufferterragovernment, n1))], (1830 ^ _127611) ^ [] : [-(accept_leader(countryahumanitarianorganization, sufferterragovernment))], (1090 ^ _127611) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, townc, n6))], (1660 ^ _127611) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n4))], (1286 ^ _127611) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (1382 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n12))], (1988 ^ _127611) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (2212 ^ _127611) ^ [] : [-(rdn_translate(n73, rdn_pos(rdn(rdnn(n3), rdnn(n7)))))], (1440 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, christian, n24))], (2630 ^ _127611) ^ [_202940, _202942, _202944] : [-(rdn_positive_less(rdn(rdnn(_202944), _202942), rdn(rdnn(_202940), _202942))), rdn_positive_less(rdnn(_202944), rdnn(_202940)), rdn_non_zero(_202942)], (1252 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1532 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n3))], (1432 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, christian, n20))], (1652 ^ _127611) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryahumanitarianorganization))], (2106 ^ _127611) ^ [] : [-(rdn_translate(n20, rdn_pos(rdn(rdnn(n0), rdnn(n2)))))], (1704 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n30))], (218 ^ _127611) ^ [_134867, _134869, _134871, _134873] : [-(less(_134871, _134867)), less(_134873, _134869), _134873 = _134871, _134869 = _134867], (1354 ^ _127611) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, cityb))], (960 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1114 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (460 ^ _127611) ^ [_142561] : [accept_city(_142561, sunnysideport), 463 ^ _127611 : [(472 ^ _127611) ^ [] : [-(accept_population(_142561, other, n1))], (470 ^ _127611) ^ [] : [-(accept_population(_142561, native, n1))], (468 ^ _127611) ^ [] : [-(accept_population(_142561, muslim, n60))], (464 ^ _127611) ^ [] : [-(accept_population(_142561, atheist, n30))], (466 ^ _127611) ^ [] : [-(accept_population(_142561, christian, n8))]]], (820 ^ _127611) ^ [_152801] : [accept_city(_152801, townc), 823 ^ _127611 : [(832 ^ _127611) ^ [] : [-(accept_population(_152801, other, n5))], (830 ^ _127611) ^ [] : [-(accept_population(_152801, native, n0))], (828 ^ _127611) ^ [] : [-(accept_population(_152801, muslim, n65))], (824 ^ _127611) ^ [] : [-(accept_population(_152801, atheist, n30))], (826 ^ _127611) ^ [] : [-(accept_population(_152801, christian, n0))]]], (2230 ^ _127611) ^ [] : [-(rdn_translate(n82, rdn_pos(rdn(rdnn(n2), rdnn(n8)))))], (1212 ^ _127611) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n5))], (1598 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, other, n0))], (1682 ^ _127611) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization))], (1082 ^ _127611) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, townc, n6))], (1866 ^ _127611) ^ [] : [-(accept_number(countryafirstaidorganization, n4))], (1686 ^ _127611) ^ [] : [-(accept_population(countryccivilorganization, muslim, n65))], (962 ^ _127611) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (2238 ^ _127611) ^ [] : [-(rdn_translate(n86, rdn_pos(rdn(rdnn(n6), rdnn(n8)))))], (2398 ^ _127611) ^ [] : [-(rdn_translate(nn39, rdn_neg(rdn(rdnn(n9), rdnn(n3)))))], (2592 ^ _127611) ^ [] : [-(rdn_non_zero_digit(rdnn(n8)))], (1516 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n0))], (2326 ^ _127611) ^ [] : [-(rdn_translate(nn3, rdn_neg(rdnn(n3))))], (2042 ^ _127611) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (1376 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, native, n85))], (1544 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n0))], (2386 ^ _127611) ^ [] : [-(rdn_translate(nn33, rdn_neg(rdn(rdnn(n3), rdnn(n3)))))], (1630 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, muslim, n65))], (2340 ^ _127611) ^ [] : [-(rdn_translate(nn10, rdn_neg(rdn(rdnn(n0), rdnn(n1)))))], (2016 ^ _127611) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (1208 ^ _127611) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n5))], (2052 ^ _127611) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n4))], (618 ^ _127611) ^ [_147185] : [-(accept_city(_147185, sunsetpoint)), accept_population(_147185, atheist, n0), accept_population(_147185, christian, n0), accept_population(_147185, muslim, n0), accept_population(_147185, native, n100), accept_population(_147185, other, n0)], (1570 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n3))], (1120 ^ _127611) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n6)], (2322 ^ _127611) ^ [] : [-(rdn_translate(nn1, rdn_neg(rdnn(n1))))], (1902 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n1))], (2210 ^ _127611) ^ [] : [-(rdn_translate(n72, rdn_pos(rdn(rdnn(n2), rdnn(n7)))))], (1780 ^ _127611) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (2028 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, muslim, n1))], (2500 ^ _127611) ^ [] : [-(rdn_translate(nn90, rdn_neg(rdn(rdnn(n0), rdnn(n9)))))], (1868 ^ _127611) ^ [] : [-(accept_number(countryafirstaidorganization, n3))], (1398 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n3))], (1904 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n24))], (1468 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, muslim, n0))], (2244 ^ _127611) ^ [] : [-(rdn_translate(n89, rdn_pos(rdn(rdnn(n9), rdnn(n8)))))], (1590 ^ _127611) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryccivilorganization))], (1048 ^ _127611) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, townc, n4))], (2094 ^ _127611) ^ [] : [-(rdn_translate(n14, rdn_pos(rdn(rdnn(n4), rdnn(n1)))))], (2056 ^ _127611) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (1396 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n0))], (1484 ^ _127611) ^ [] : [-(accept_population(countryacivilorganization, atheist, n30))], (980 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (2576 ^ _127611) ^ [] : [-(rdn_translate(nn128, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n2), rdnn(n1))))))], (2036 ^ _127611) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, sufferterragovernment))], (1838 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, native, n0))], (846 ^ _127611) ^ [] : [-(accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n2))], (2124 ^ _127611) ^ [] : [-(rdn_translate(n29, rdn_pos(rdn(rdnn(n9), rdnn(n2)))))], (2422 ^ _127611) ^ [] : [-(rdn_translate(nn51, rdn_neg(rdn(rdnn(n1), rdnn(n5)))))], (1712 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n20))], (280 ^ _127611) ^ [_136969, _136971] : [_136971 = _136969, -(rdn_pos(_136971) = rdn_pos(_136969))], (1164 ^ _127611) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (898 ^ _127611) ^ [] : [accept_team(countryamedicalorganization, sufferterragovernment, coastvillage, n2)], (1758 ^ _127611) ^ [] : [-(accept_leader(countryamedicalorganization, countrybhumanitarianorganization))], (2582 ^ _127611) ^ [] : [-(rdn_non_zero_digit(rdnn(n3)))], (1152 ^ _127611) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n5))], (2270 ^ _127611) ^ [] : [-(rdn_translate(n102, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1924 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n1))], (1800 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n20))], (2298 ^ _127611) ^ [] : [-(rdn_translate(n116, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (956 ^ _127611) ^ [] : [-(accept_team(countryacivilorganization, countryafirstaidorganization, coastvillage, n6))], (2486 ^ _127611) ^ [] : [-(rdn_translate(nn83, rdn_neg(rdn(rdnn(n3), rdnn(n8)))))], (1434 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n78))], (1874 ^ _127611) ^ [] : [-(accept_population(countryafirstaidorganization, other, n0))], (2154 ^ _127611) ^ [] : [-(rdn_translate(n44, rdn_pos(rdn(rdnn(n4), rdnn(n4)))))], (1296 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1348 ^ _127611) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n1))], (1896 ^ _127611) ^ [] : [-(accept_leader(countrycmedicalorganization, christiancountrychumanitarianorganization))], (2418 ^ _127611) ^ [] : [-(rdn_translate(nn49, rdn_neg(rdn(rdnn(n9), rdnn(n4)))))], (1108 ^ _127611) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1604 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n24))], (2278 ^ _127611) ^ [] : [-(rdn_translate(n106, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (326 ^ _127611) ^ [_138588, _138590, _138592, _138594] : [-(accept_population(_138594, _138588, _138590)), accept_population(_138594, _138588, _138592), less(_138590, _138592)], (1754 ^ _127611) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n78))], (2550 ^ _127611) ^ [] : [-(rdn_translate(nn115, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (1190 ^ _127611) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3)], (2426 ^ _127611) ^ [] : [-(rdn_translate(nn53, rdn_neg(rdn(rdnn(n3), rdnn(n5)))))], (1746 ^ _127611) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, cityb))], (1664 ^ _127611) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (2156 ^ _127611) ^ [] : [-(rdn_translate(n45, rdn_pos(rdn(rdnn(n5), rdnn(n4)))))], (274 ^ _127611) ^ [_136751, _136753] : [_136753 = _136751, -(rdnn(_136753) = rdnn(_136751))], (1744 ^ _127611) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization))], (1632 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, christian, n0))], (1578 ^ _127611) ^ [] : [-(accept_population(countrybhumanitarianorganization, other, n5))], (1506 ^ _127611) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n3))], (1524 ^ _127611) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n12))], (1496 ^ _127611) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, towna))], (1898 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, other, n0))], (1914 ^ _127611) ^ [] : [-(accept_leader(countrybcivilorganization, countrybhumanitarianorganization))], (1616 ^ _127611) ^ [] : [-(accept_population(sufferterragovernment, native, n85))], (2120 ^ _127611) ^ [] : [-(rdn_translate(n27, rdn_pos(rdn(rdnn(n7), rdnn(n2)))))], (2266 ^ _127611) ^ [] : [-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (1302 ^ _127611) ^ [] : [-(accept_number(countryccivilorganization, n4))], (2338 ^ _127611) ^ [] : [-(rdn_translate(nn9, rdn_neg(rdnn(n9))))], (1400 ^ _127611) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n12))], (1234 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (1072 ^ _127611) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (2352 ^ _127611) ^ [] : [-(rdn_translate(nn16, rdn_neg(rdn(rdnn(n6), rdnn(n1)))))], (1228 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n6))], (2612 ^ _127611) ^ [] : [-(rdn_positive_less(rdnn(n8), rdnn(n9)))], (2544 ^ _127611) ^ [] : [-(rdn_translate(nn112, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (1420 ^ _127611) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n65))], (1818 ^ _127611) ^ [] : [-(accept_population(countryahumanitarianorganization, other, n0))], (2000 ^ _127611) ^ [] : [-(accept_number(countrybhumanitarianorganization, n3))], (1230 ^ _127611) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6))]], input).
% 243.64/234.73  ncf('1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, christian, n24))],start(2742 ^ 0,bind([[_210250], [muslimcountrybhumanitarianorganization]]))).
% 243.64/234.73  ncf('1.1',plain,[accept_population(muslimcountrybhumanitarianorganization, christian, n24), -(accept_city(muslimcountrybhumanitarianorganization, towna)), accept_population(muslimcountrybhumanitarianorganization, atheist, n75), accept_population(muslimcountrybhumanitarianorganization, muslim, n1), accept_population(muslimcountrybhumanitarianorganization, native, n0), accept_population(muslimcountrybhumanitarianorganization, other, n0)],extension(654 ^ 1,bind([[_148211], [muslimcountrybhumanitarianorganization]]))).
% 243.64/234.73  ncf('1.1.1',plain,[accept_city(muslimcountrybhumanitarianorganization, towna), the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna), accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization)],extension(350 ^ 2,bind([[_139466, _139468, _139470], [towna, countryacivilorganization, muslimcountrybhumanitarianorganization]]))).
% 243.64/234.73  ncf('1.1.1.1',plain,[-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))],extension(854 ^ 3)).
% 243.64/234.73  ncf('1.1.1.2',plain,[-(accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization))],extension(1514 ^ 3)).
% 243.64/234.73  ncf('1.1.2',plain,[-(accept_population(muslimcountrybhumanitarianorganization, atheist, n75)), accept_population(muslimcountrybhumanitarianorganization, atheist, n78), less(n75, n78)],extension(326 ^ 2,bind([[_138588, _138590, _138592, _138594], [atheist, n75, n78, muslimcountrybhumanitarianorganization]]))).
% 243.64/234.73  ncf('1.1.2.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, atheist, n78)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 3,bind([[_151795], [muslimcountrybhumanitarianorganization]]))).
% 243.64/234.73  ncf('1.1.2.1.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4)],extension(292 ^ 4,bind([[_137480, _137482, _137484, _137486], [countrybhumanitarianorganization, n4, cityb, muslimcountrybhumanitarianorganization]]))).
% 243.64/234.73  ncf('1.1.2.1.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))],extension(848 ^ 5)).
% 243.64/234.73  ncf('1.1.2.2',plain,[-(less(n75, n78)), rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))), rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))), rdn_positive_less(rdn(rdnn(n5), rdnn(n7)), rdn(rdnn(n8), rdnn(n7)))],extension(2658 ^ 3,bind([[_203955, _203957, _203959, _203961], [rdn(rdnn(n8), rdnn(n7)), rdn(rdnn(n5), rdnn(n7)), n78, n75]]))).
% 243.64/234.73  ncf('1.1.2.2.1',plain,[-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))],extension(2216 ^ 4)).
% 243.64/234.73  ncf('1.1.2.2.2',plain,[-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))],extension(2222 ^ 4)).
% 243.64/234.73  ncf('1.1.2.2.3',plain,[-(rdn_positive_less(rdn(rdnn(n5), rdnn(n7)), rdn(rdnn(n8), rdnn(n7)))), rdn_positive_less(rdnn(n5), rdnn(n8)), rdn_non_zero(rdnn(n7))],extension(2630 ^ 4,bind([[_202940, _202942, _202944], [n8, rdnn(n7), n5]]))).
% 243.64/234.73  ncf('1.1.2.2.3.1',plain,[-(rdn_positive_less(rdnn(n5), rdnn(n8))), rdn_positive_less(rdnn(n5), rdnn(n7)), rdn_positive_less(rdnn(n7), rdnn(n8))],extension(2614 ^ 5,bind([[_202323, _202325, _202327], [n8, n7, n5]]))).
% 243.64/234.73  ncf('1.1.2.2.3.1.1',plain,[-(rdn_positive_less(rdnn(n5), rdnn(n7))), rdn_positive_less(rdnn(n5), rdnn(n6)), rdn_positive_less(rdnn(n6), rdnn(n7))],extension(2614 ^ 6,bind([[_202323, _202325, _202327], [n7, n6, n5]]))).
% 243.64/234.73  ncf('1.1.2.2.3.1.1.1',plain,[-(rdn_positive_less(rdnn(n5), rdnn(n6)))],extension(2606 ^ 7)).
% 243.64/234.73  ncf('1.1.2.2.3.1.1.2',plain,[-(rdn_positive_less(rdnn(n6), rdnn(n7)))],extension(2608 ^ 7)).
% 243.64/234.73  ncf('1.1.2.2.3.1.2',plain,[-(rdn_positive_less(rdnn(n7), rdnn(n8)))],extension(2610 ^ 6)).
% 243.64/234.73  ncf('1.1.2.2.3.2',plain,[-(rdn_non_zero(rdnn(n7))), rdn_non_zero_digit(rdnn(n7))],extension(2646 ^ 5,bind([[_203503], [n7]]))).
% 243.64/234.73  ncf('1.1.2.2.3.2.1',plain,[-(rdn_non_zero_digit(rdnn(n7)))],extension(2590 ^ 6)).
% 243.64/234.73  ncf('1.1.3',plain,[-(accept_population(muslimcountrybhumanitarianorganization, muslim, n1)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 2,bind([[_151795], [muslimcountrybhumanitarianorganization]]))).
% 243.64/234.73  ncf('1.1.3.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4)],extension(292 ^ 3,bind([[_137480, _137482, _137484, _137486], [countrybhumanitarianorganization, n4, cityb, muslimcountrybhumanitarianorganization]]))).
% 243.64/234.73  ncf('1.1.3.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))],extension(848 ^ 4)).
% 243.64/234.73  ncf('1.1.4',plain,[-(accept_population(muslimcountrybhumanitarianorganization, native, n0)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 2,bind([[_151795], [muslimcountrybhumanitarianorganization]]))).
% 243.64/234.73  ncf('1.1.4.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4)],extension(292 ^ 3,bind([[_137480, _137482, _137484, _137486], [countrybhumanitarianorganization, n4, cityb, muslimcountrybhumanitarianorganization]]))).
% 243.64/234.73  ncf('1.1.4.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))],extension(848 ^ 4)).
% 243.64/234.73  ncf('1.1.5',plain,[-(accept_population(muslimcountrybhumanitarianorganization, other, n0)), accept_city(muslimcountrybhumanitarianorganization, coastvillage)],extension(604 ^ 2,bind([[_146665], [muslimcountrybhumanitarianorganization]]))).
% 243.64/234.73  ncf('1.1.5.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, coastvillage))],extension(1526 ^ 3)).
% 243.64/234.73  %-----------------------------------------------------
% 243.64/234.73  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------