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

% Computer : n026.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:05 EDT 2023

% Result   : Theorem 192.26s 185.76s
% Output   : Proof 192.26s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : AGT006+2 : TPTP v8.1.2. Bugfixed v3.1.0.
% 0.03/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n026.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 300
% 0.12/0.33  % DateTime : Thu May 18 22:17:50 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 192.26/185.76  
% 192.26/185.76  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 192.26/185.76  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 192.26/185.76  %-----------------------------------------------------
% 192.26/185.76  ncf(matrix, plain, [(2742 ^ _295049) ^ [] : [accept_team(countrybcivilorganization, countrybhumanitarianorganization, suffertown, n4)], !, (2278 ^ _212454) ^ [] : [-(rdn_translate(n106, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (1778 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n75))], (148 ^ _212454) ^ [_217414, _217416] : [-(rdn_non_zero_digit(_217414)), _217416 = _217414, rdn_non_zero_digit(_217416)], (350 ^ _212454) ^ [_224309, _224311, _224313] : [the_agent_not_in_any_proposed_teams(_224313, _224311, _224309), accept_city(_224313, _224309), accept_leader(_224313, _224311)], (1172 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (856 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (1960 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, muslim, n1))], (1022 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (2200 ^ _212454) ^ [] : [-(rdn_translate(n67, rdn_pos(rdn(rdnn(n7), rdnn(n6)))))], (1488 ^ _212454) ^ [] : [-(accept_city(countryacivilorganization, townc))], (2412 ^ _212454) ^ [] : [-(rdn_translate(nn46, rdn_neg(rdn(rdnn(n6), rdnn(n4)))))], (424 ^ _212454) ^ [_226378] : [accept_city(_226378, centraltown), 427 ^ _212454 : [(430 ^ _212454) ^ [] : [-(accept_population(_226378, christian, n23))], (432 ^ _212454) ^ [] : [-(accept_population(_226378, muslim, n3))], (434 ^ _212454) ^ [] : [-(accept_population(_226378, native, n1))], (436 ^ _212454) ^ [] : [-(accept_population(_226378, other, n9))], (428 ^ _212454) ^ [] : [-(accept_population(_226378, atheist, n54))]]], (134 ^ _212454) ^ [_216998, _217000, _217002, _217004] : [-(accept_leader(_217002, _216998)), accept_leader(_217004, _217000), _217004 = _217002, _217000 = _216998], (948 ^ _212454) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, towna, n6))], (1346 ^ _212454) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryahumanitarianorganization))], (1618 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, muslim, n0))], (1570 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n3))], (1550 ^ _212454) ^ [] : [-(accept_city(countryafirstaidorganization, townc))], (2398 ^ _212454) ^ [] : [-(rdn_translate(nn39, rdn_neg(rdn(rdnn(n9), rdnn(n3)))))], (70 ^ _212454) ^ [_214920, _214922, _214924, _214926, _214928, _214930] : [-(any_agent_in_all_proposed_teams(_214928, _214924, _214920)), any_agent_in_all_proposed_teams(_214930, _214926, _214922), _214930 = _214928, _214926 = _214924, _214922 = _214920], (1514 ^ _212454) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization))], (2610 ^ _212454) ^ [] : [-(rdn_positive_less(rdnn(n7), rdnn(n8)))], (2242 ^ _212454) ^ [] : [-(rdn_translate(n88, rdn_pos(rdn(rdnn(n8), rdnn(n8)))))], (1590 ^ _212454) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryccivilorganization))], (568 ^ _212454) ^ [_230482] : [accept_city(_230482, northport), 571 ^ _212454 : [(574 ^ _212454) ^ [] : [-(accept_population(_230482, christian, n13))], (576 ^ _212454) ^ [] : [-(accept_population(_230482, muslim, n0))], (578 ^ _212454) ^ [] : [-(accept_population(_230482, native, n15))], (580 ^ _212454) ^ [] : [-(accept_population(_230482, other, n2))], (572 ^ _212454) ^ [] : [-(accept_population(_230482, atheist, n70))]]], (1026 ^ _212454) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1076 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n2))], (2498 ^ _212454) ^ [] : [-(rdn_translate(nn89, rdn_neg(rdn(rdnn(n9), rdnn(n8)))))], (1338 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, muslim, n65))], (1130 ^ _212454) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (2206 ^ _212454) ^ [] : [-(rdn_translate(n70, rdn_pos(rdn(rdnn(n0), rdnn(n7)))))], (1918 ^ _212454) ^ [] : [-(accept_leader(countrybcivilorganization, countrycmedicalorganization))], (1036 ^ _212454) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (1516 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n0))], (158 ^ _212454) ^ [_217709, _217711] : [-(rdn_non_zero(_217709)), _217711 = _217709, rdn_non_zero(_217711)], (986 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, townc, n6))], (1440 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, christian, n24))], (326 ^ _212454) ^ [_223431, _223433, _223435, _223437] : [-(accept_population(_223437, _223431, _223433)), accept_population(_223437, _223431, _223435), less(_223433, _223435)], (1198 ^ _212454) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (864 ^ _212454) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, cityb, n6))], (920 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n5))], (1606 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n75))], (1942 ^ _212454) ^ [] : [-(accept_number(sufferterragovernment, n1))], (1406 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, native, n85))], (2156 ^ _212454) ^ [] : [-(rdn_translate(n45, rdn_pos(rdn(rdnn(n5), rdnn(n4)))))], (2394 ^ _212454) ^ [] : [-(rdn_translate(nn37, rdn_neg(rdn(rdnn(n7), rdnn(n3)))))], (2042 ^ _212454) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (2162 ^ _212454) ^ [] : [-(rdn_translate(n48, rdn_pos(rdn(rdnn(n8), rdnn(n4)))))], (2148 ^ _212454) ^ [] : [-(rdn_translate(n41, rdn_pos(rdn(rdnn(n1), rdnn(n4)))))], (726 ^ _212454) ^ [_235106] : [-(accept_city(_235106, townb)), accept_population(_235106, atheist, n70), accept_population(_235106, christian, n20), accept_population(_235106, muslim, n8), accept_population(_235106, native, n0), accept_population(_235106, other, n2)], (1512 ^ _212454) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization))], (1724 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n65))], (1486 ^ _212454) ^ [] : [-(accept_leader(countryacivilorganization, countryahumanitarianorganization))], (1472 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, atheist, n12))], (926 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (1640 ^ _212454) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryccivilorganization))], (2358 ^ _212454) ^ [] : [-(rdn_translate(nn19, rdn_neg(rdn(rdnn(n9), rdnn(n1)))))], (1588 ^ _212454) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryahumanitarianorganization))], (2408 ^ _212454) ^ [] : [-(rdn_translate(nn44, rdn_neg(rdn(rdnn(n4), rdnn(n4)))))], (1304 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, towna, n4))], (1630 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, muslim, n65))], (2580 ^ _212454) ^ [] : [-(rdn_non_zero_digit(rdnn(n2)))], (1976 ^ _212454) ^ [] : [-(accept_number(countryccivilorganization, n1))], (120 ^ _212454) ^ [_216554, _216556, _216558, _216560] : [-(accept_city(_216558, _216554)), accept_city(_216560, _216556), _216560 = _216558, _216556 = _216554], (1176 ^ _212454) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1434 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n78))], (2472 ^ _212454) ^ [] : [-(rdn_translate(nn76, rdn_neg(rdn(rdnn(n6), rdnn(n7)))))], (2274 ^ _212454) ^ [] : [-(rdn_translate(n104, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (690 ^ _212454) ^ [_234080] : [-(accept_city(_234080, citya)), accept_population(_234080, atheist, n75), accept_population(_234080, christian, n25), accept_population(_234080, muslim, n0), accept_population(_234080, native, n0), accept_population(_234080, other, n0)], (2496 ^ _212454) ^ [] : [-(rdn_translate(nn88, rdn_neg(rdn(rdnn(n8), rdnn(n8)))))], (1094 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, townc, n6))], (1944 ^ _212454) ^ [] : [-(accept_number(sufferterragovernment, n6))], (872 ^ _212454) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, cityb, n6))], (2100 ^ _212454) ^ [] : [-(rdn_translate(n17, rdn_pos(rdn(rdnn(n7), rdnn(n1)))))], (1228 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n6))], (2192 ^ _212454) ^ [] : [-(rdn_translate(n63, rdn_pos(rdn(rdnn(n3), rdnn(n6)))))], (2140 ^ _212454) ^ [] : [-(rdn_translate(n37, rdn_pos(rdn(rdnn(n7), rdnn(n3)))))], (2558 ^ _212454) ^ [] : [-(rdn_translate(nn119, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (1380 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n3))], (1530 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n0))], (820 ^ _212454) ^ [_237644] : [accept_city(_237644, townc), 823 ^ _212454 : [(826 ^ _212454) ^ [] : [-(accept_population(_237644, christian, n0))], (828 ^ _212454) ^ [] : [-(accept_population(_237644, muslim, n65))], (830 ^ _212454) ^ [] : [-(accept_population(_237644, native, n0))], (832 ^ _212454) ^ [] : [-(accept_population(_237644, other, n5))], (824 ^ _212454) ^ [] : [-(accept_population(_237644, atheist, n30))]]], (880 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1974 ^ _212454) ^ [] : [-(accept_number(countryccivilorganization, n2))], (970 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (2276 ^ _212454) ^ [] : [-(rdn_translate(n105, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (966 ^ _212454) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n6))], (1268 ^ _212454) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, towna, n6)], (1522 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n3))], (1206 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6)], (546 ^ _212454) ^ [_229976] : [-(accept_city(_229976, northport)), accept_population(_229976, atheist, n70), accept_population(_229976, christian, n13), accept_population(_229976, muslim, n0), accept_population(_229976, native, n15), accept_population(_229976, other, n2)], (936 ^ _212454) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (1006 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1168 ^ _212454) ^ [] : [-(accept_number(countryacivilorganization, n6))], (900 ^ _212454) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n6)], (1192 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n3)], (1150 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (1710 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, other, n1))], (748 ^ _212454) ^ [_235612] : [accept_city(_235612, townb), 751 ^ _212454 : [(754 ^ _212454) ^ [] : [-(accept_population(_235612, christian, n20))], (756 ^ _212454) ^ [] : [-(accept_population(_235612, muslim, n8))], (758 ^ _212454) ^ [] : [-(accept_population(_235612, native, n0))], (760 ^ _212454) ^ [] : [-(accept_population(_235612, other, n2))], (752 ^ _212454) ^ [] : [-(accept_population(_235612, atheist, n70))]]], (2194 ^ _212454) ^ [] : [-(rdn_translate(n64, rdn_pos(rdn(rdnn(n4), rdnn(n6)))))], (1290 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, towna, n6))], (302 ^ _212454) ^ [_222658, _222660, _222662, _222664] : [-(accept_team(_222664, _222658, _222662, _222660)), accept_city(_222664, _222662), accept_leader(_222664, _222658), accept_number(_222664, _222660)], (2256 ^ _212454) ^ [] : [-(rdn_translate(n95, rdn_pos(rdn(rdnn(n5), rdnn(n9)))))], (2050 ^ _212454) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n5))], (1232 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n6))], (928 ^ _212454) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, towna, n6))], (2178 ^ _212454) ^ [] : [-(rdn_translate(n56, rdn_pos(rdn(rdnn(n6), rdnn(n5)))))], (2092 ^ _212454) ^ [] : [-(rdn_translate(n13, rdn_pos(rdn(rdnn(n3), rdnn(n1)))))], (1578 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, other, n5))], (1482 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, christian, n0))], (1904 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n24))], (1900 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, native, n0))], (1128 ^ _212454) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, cityb, n6))], (1084 ^ _212454) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, townc, n6))], (1030 ^ _212454) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, townc, n4))], (1528 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, native, n85))], (886 ^ _212454) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, towna, n6))], (1628 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, other, n5))], (862 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (2624 ^ _212454) ^ [_287527, _287529, _287531, _287533] : [rdn_positive_less(_287531, _287527), -(rdn_positive_less(rdn(rdnn(_287533), _287531), rdn(rdnn(_287529), _287527)))], (1840 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, muslim, n1))], (1604 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n24))], (2254 ^ _212454) ^ [] : [-(rdn_translate(n94, rdn_pos(rdn(rdnn(n4), rdnn(n9)))))], (1910 ^ _212454) ^ [] : [-(accept_leader(countrycmedicalorganization, sufferterragovernment))], (1462 ^ _212454) ^ [] : [-(accept_leader(countryacivilorganization, countryamedicalorganization))], (2366 ^ _212454) ^ [] : [-(rdn_translate(nn23, rdn_neg(rdn(rdnn(n3), rdnn(n2)))))], (884 ^ _212454) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, towna, n6))], (840 ^ _212454) ^ [] : [-(accept_team(countryahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (2252 ^ _212454) ^ [] : [-(rdn_translate(n93, rdn_pos(rdn(rdnn(n3), rdnn(n9)))))], (2138 ^ _212454) ^ [] : [-(rdn_translate(n36, rdn_pos(rdn(rdnn(n6), rdnn(n3)))))], (1568 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n0))], (1070 ^ _212454) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, townc, n6)], (1608 ^ _212454) ^ [] : [-(accept_city(countrybhumanitarianorganization, towna))], (2218 ^ _212454) ^ [] : [-(rdn_translate(n76, rdn_pos(rdn(rdnn(n6), rdnn(n7)))))], (1708 ^ _212454) ^ [] : [-(accept_leader(countrycmedicalorganization, countryahumanitarianorganization))], (918 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n4))], (1064 ^ _212454) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, townc, n6)], (2488 ^ _212454) ^ [] : [-(rdn_translate(nn84, rdn_neg(rdn(rdnn(n4), rdnn(n8)))))], (2166 ^ _212454) ^ [] : [-(rdn_translate(n50, rdn_pos(rdn(rdnn(n0), rdnn(n5)))))], (1450 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, christian, n20))], (1046 ^ _212454) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, townc, n6))], (968 ^ _212454) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, coastvillage, n6))], (1616 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, native, n85))], (1990 ^ _212454) ^ [] : [-(accept_number(countrybcivilorganization, n1))], (1210 ^ _212454) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n6))], (1484 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, atheist, n30))], (182 ^ _212454) ^ [_218476, _218478, _218480, _218482] : [-(rdn_positive_less(_218480, _218476)), rdn_positive_less(_218482, _218478), _218482 = _218480, _218478 = _218476], (1160 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1828 ^ _212454) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (618 ^ _212454) ^ [_232028] : [-(accept_city(_232028, sunsetpoint)), accept_population(_232028, atheist, n0), accept_population(_232028, christian, n0), accept_population(_232028, muslim, n0), accept_population(_232028, native, n100), accept_population(_232028, other, n0)], (366 ^ _212454) ^ [_224846] : [-(accept_city(_224846, suffertown)), accept_population(_224846, atheist, n65), accept_population(_224846, christian, n20), accept_population(_224846, muslim, n7), accept_population(_224846, native, n4), accept_population(_224846, other, n4)], (1490 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n24))], (1548 ^ _212454) ^ [] : [-(accept_leader(countryafirstaidorganization, countryahumanitarianorganization))], (1096 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (1260 ^ _212454) ^ [] : [-(accept_number(countryccivilorganization, n2))], (2330 ^ _212454) ^ [] : [-(rdn_translate(nn5, rdn_neg(rdnn(n5))))], (2338 ^ _212454) ^ [] : [-(rdn_translate(nn9, rdn_neg(rdnn(n9))))], (2390 ^ _212454) ^ [] : [-(rdn_translate(nn35, rdn_neg(rdn(rdnn(n5), rdnn(n3)))))], (1954 ^ _212454) ^ [] : [-(accept_number(countryacivilorganization, n1))], (1890 ^ _212454) ^ [] : [-(accept_leader(countrycmedicalorganization, countryccivilorganization))], (1988 ^ _212454) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (2180 ^ _212454) ^ [] : [-(rdn_translate(n57, rdn_pos(rdn(rdnn(n7), rdnn(n5)))))], (1804 ^ _212454) ^ [] : [-(accept_city(countryahumanitarianorganization, cityb))], (1888 ^ _212454) ^ [] : [-(accept_city(countryafirstaidorganization, towna))], (2088 ^ _212454) ^ [] : [-(rdn_translate(n11, rdn_pos(rdn(rdnn(n1), rdnn(n1)))))], (2260 ^ _212454) ^ [] : [-(rdn_translate(n97, rdn_pos(rdn(rdnn(n7), rdnn(n9)))))], (874 ^ _212454) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (1390 ^ _212454) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryamedicalorganization))], (1792 ^ _212454) ^ [] : [-(accept_city(countryacivilorganization, cityb))], (1448 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, other, n1))], (852 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n5)], (2020 ^ _212454) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n1))], (2236 ^ _212454) ^ [] : [-(rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))))], (1078 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1652 ^ _212454) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryahumanitarianorganization))], (1552 ^ _212454) ^ [] : [-(accept_leader(countryafirstaidorganization, countryacivilorganization))], (2340 ^ _212454) ^ [] : [-(rdn_translate(nn10, rdn_neg(rdn(rdnn(n0), rdnn(n1)))))], (1856 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, christian, n24))], (1806 ^ _212454) ^ [] : [-(accept_leader(countryahumanitarianorganization, countrybhumanitarianorganization))], (1132 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (2696 ^ _212454) ^ [_290058, _290060] : [less(_290060, _290058), 2699 ^ _212454 : [(2702 ^ _212454) ^ [] : [_290058 = _290060], (2700 ^ _212454) ^ [] : [less(_290058, _290060)]]], (2110 ^ _212454) ^ [] : [-(rdn_translate(n22, rdn_pos(rdn(rdnn(n2), rdnn(n2)))))], (2510 ^ _212454) ^ [] : [-(rdn_translate(nn95, rdn_neg(rdn(rdnn(n5), rdnn(n9)))))], (2268 ^ _212454) ^ [] : [-(rdn_translate(n101, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (1730 ^ _212454) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, townc))], (2086 ^ _212454) ^ [] : [-(rdn_translate(n10, rdn_pos(rdn(rdnn(n0), rdnn(n1)))))], (1682 ^ _212454) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization))], (2136 ^ _212454) ^ [] : [-(rdn_translate(n35, rdn_pos(rdn(rdnn(n5), rdnn(n3)))))], (402 ^ _212454) ^ [_225872] : [-(accept_city(_225872, centraltown)), accept_population(_225872, atheist, n54), accept_population(_225872, christian, n23), accept_population(_225872, muslim, n3), accept_population(_225872, native, n1), accept_population(_225872, other, n9)], (1816 ^ _212454) ^ [] : [-(accept_number(countryahumanitarianorganization, n1))], (1674 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n1))], (1912 ^ _212454) ^ [] : [-(accept_leader(countrybcivilorganization, countryccivilorganization))], (2250 ^ _212454) ^ [] : [-(rdn_translate(n92, rdn_pos(rdn(rdnn(n2), rdnn(n9)))))], (2280 ^ _212454) ^ [] : [-(rdn_translate(n107, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (2414 ^ _212454) ^ [] : [-(rdn_translate(nn47, rdn_neg(rdn(rdnn(n7), rdnn(n4)))))], (1398 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n3))], (2006 ^ _212454) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (2478 ^ _212454) ^ [] : [-(rdn_translate(nn79, rdn_neg(rdn(rdnn(n9), rdnn(n7)))))], (1798 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, other, n1))], (1706 ^ _212454) ^ [] : [-(accept_city(countrycmedicalorganization, townc))], (2326 ^ _212454) ^ [] : [-(rdn_translate(nn3, rdn_neg(rdnn(n3))))], (2188 ^ _212454) ^ [] : [-(rdn_translate(n61, rdn_pos(rdn(rdnn(n1), rdnn(n6)))))], (1936 ^ _212454) ^ [] : [-(accept_number(sufferterragovernment, n4))], (2546 ^ _212454) ^ [] : [-(rdn_translate(nn113, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (1458 ^ _212454) ^ [] : [-(accept_city(countryccivilorganization, cityb))], (1208 ^ _212454) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n5))], (2704 ^ _212454) ^ [_290297, _290299] : [-(less(_290299, _290297)), -(less(_290297, _290299)), -(_290297 = _290299)], (1442 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, atheist, n75))], (1886 ^ _212454) ^ [] : [-(accept_leader(countryafirstaidorganization, sufferterragovernment))], (2070 ^ _212454) ^ [] : [-(rdn_translate(n2, rdn_pos(rdnn(n2))))], (2224 ^ _212454) ^ [] : [-(rdn_translate(n79, rdn_pos(rdn(rdnn(n9), rdnn(n7)))))], (168 ^ _212454) ^ [_218032, _218034, _218036, _218038] : [-(rdn_translate(_218036, _218032)), rdn_translate(_218038, _218034), _218038 = _218036, _218034 = _218032], (1282 ^ _212454) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n6))], (2062 ^ _212454) ^ [] : [accept_city(muslimcountrybhumanitarianorganization, towna)], (1564 ^ _212454) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryacivilorganization))], (2612 ^ _212454) ^ [] : [-(rdn_positive_less(rdnn(n8), rdnn(n9)))], (2104 ^ _212454) ^ [] : [-(rdn_translate(n19, rdn_pos(rdn(rdnn(n9), rdnn(n1)))))], (2012 ^ _212454) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (1898 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, other, n0))], (1214 ^ _212454) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n6))], (1012 ^ _212454) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n5))], (388 ^ _212454) ^ [_225352] : [accept_city(_225352, suffertown), 391 ^ _212454 : [(394 ^ _212454) ^ [] : [-(accept_population(_225352, christian, n20))], (396 ^ _212454) ^ [] : [-(accept_population(_225352, muslim, n7))], (398 ^ _212454) ^ [] : [-(accept_population(_225352, native, n4))], (400 ^ _212454) ^ [] : [-(accept_population(_225352, other, n4))], (392 ^ _212454) ^ [] : [-(accept_population(_225352, atheist, n65))]]], (2714 ^ _212454) ^ [_290633, _290635] : [less_or_equal(_290635, _290633), -(less(_290635, _290633)), -(_290635 = _290633)], (2380 ^ _212454) ^ [] : [-(rdn_translate(nn30, rdn_neg(rdn(rdnn(n0), rdnn(n3)))))], (1110 ^ _212454) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, cityb, n6))], (1966 ^ _212454) ^ [] : [-(accept_number(countryacivilorganization, n6))], (1784 ^ _212454) ^ [] : [-(accept_city(countryamedicalorganization, towna))], (2264 ^ _212454) ^ [] : [-(rdn_translate(n99, rdn_pos(rdn(rdnn(n9), rdnn(n9)))))], (1658 ^ _212454) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n5))], (2132 ^ _212454) ^ [] : [-(rdn_translate(n33, rdn_pos(rdn(rdnn(n3), rdnn(n3)))))], (1748 ^ _212454) ^ [] : [-(accept_leader(countryamedicalorganization, countryacivilorganization))], (2302 ^ _212454) ^ [] : [-(rdn_translate(n118, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (908 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (1354 ^ _212454) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, cityb))], (1280 ^ _212454) ^ [] : [-(accept_number(sufferterragovernment, n6))], (1102 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (2332 ^ _212454) ^ [] : [-(rdn_translate(nn6, rdn_neg(rdnn(n6))))], (2308 ^ _212454) ^ [] : [-(rdn_translate(n121, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1374 ^ _212454) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryafirstaidorganization))], (1140 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n5))], (1098 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (1114 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1032 ^ _212454) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (264 ^ _212454) ^ [_221263, _221265, _221267, _221269] : [-(rdn(_221269, _221265) = rdn(_221267, _221263)), _221269 = _221267, _221265 = _221263], (2124 ^ _212454) ^ [] : [-(rdn_translate(n29, rdn_pos(rdn(rdnn(n9), rdnn(n2)))))], (1112 ^ _212454) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (2376 ^ _212454) ^ [] : [-(rdn_translate(nn28, rdn_neg(rdn(rdnn(n8), rdnn(n2)))))], (1474 ^ _212454) ^ [] : [-(accept_city(countryacivilorganization, coastvillage))], (1610 ^ _212454) ^ [] : [-(accept_leader(countrybhumanitarianorganization, sufferterragovernment))], (2404 ^ _212454) ^ [] : [-(rdn_translate(nn42, rdn_neg(rdn(rdnn(n2), rdnn(n4)))))], (1426 ^ _212454) ^ [] : [-(accept_city(countrybcivilorganization, townc))], (2190 ^ _212454) ^ [] : [-(rdn_translate(n62, rdn_pos(rdn(rdnn(n2), rdnn(n6)))))], (2382 ^ _212454) ^ [] : [-(rdn_translate(nn31, rdn_neg(rdn(rdnn(n1), rdnn(n3)))))], (1702 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n0))], (1136 ^ _212454) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n5))], (2348 ^ _212454) ^ [] : [-(rdn_translate(nn14, rdn_neg(rdn(rdnn(n4), rdnn(n1)))))], (934 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (2030 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n24))], (2570 ^ _212454) ^ [] : [-(rdn_translate(nn125, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (1824 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n24))], (2492 ^ _212454) ^ [] : [-(rdn_translate(nn86, rdn_neg(rdn(rdnn(n6), rdnn(n8)))))], (1202 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n6)], (1846 ^ _212454) ^ [] : [-(accept_city(sufferterragovernment, cityb))], (2480 ^ _212454) ^ [] : [-(rdn_translate(nn80, rdn_neg(rdn(rdnn(n0), rdnn(n8)))))], (940 ^ _212454) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (1170 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (2590 ^ _212454) ^ [] : [-(rdn_non_zero_digit(rdnn(n7)))], (2370 ^ _212454) ^ [] : [-(rdn_translate(nn25, rdn_neg(rdn(rdnn(n5), rdnn(n2)))))], (1696 ^ _212454) ^ [] : [-(accept_leader(countrycmedicalorganization, muslimcountrybhumanitarianorganization))], (2438 ^ _212454) ^ [] : [-(rdn_translate(nn59, rdn_neg(rdn(rdnn(n9), rdnn(n5)))))], (1776 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, christian, n24))], (1362 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, muslim, n65))], (912 ^ _212454) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n5)], (1074 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (274 ^ _212454) ^ [_221594, _221596] : [_221596 = _221594, -(rdnn(_221596) = rdnn(_221594))], (892 ^ _212454) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n2)], (2460 ^ _212454) ^ [] : [-(rdn_translate(nn70, rdn_neg(rdn(rdnn(n0), rdnn(n7)))))], (1072 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (2098 ^ _212454) ^ [] : [-(rdn_translate(n16, rdn_pos(rdn(rdnn(n6), rdnn(n1)))))], (990 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, townc, n6))], (1560 ^ _212454) ^ [] : [-(accept_city(countryafirstaidorganization, cityb))], (676 ^ _212454) ^ [_233560] : [accept_city(_233560, towna), 679 ^ _212454 : [(682 ^ _212454) ^ [] : [-(accept_population(_233560, christian, n24))], (684 ^ _212454) ^ [] : [-(accept_population(_233560, muslim, n1))], (686 ^ _212454) ^ [] : [-(accept_population(_233560, native, n0))], (688 ^ _212454) ^ [] : [-(accept_population(_233560, other, n0))], (680 ^ _212454) ^ [] : [-(accept_population(_233560, atheist, n75))]]], (1662 ^ _212454) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n3))], (1330 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1230 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6))], (2068 ^ _212454) ^ [] : [-(rdn_translate(n1, rdn_pos(rdnn(n1))))], (854 ^ _212454) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (510 ^ _212454) ^ [_228950] : [-(accept_city(_228950, stjosephburgh)), accept_population(_228950, atheist, n68), accept_population(_228950, christian, n16), accept_population(_228950, muslim, n1), accept_population(_228950, native, n11), accept_population(_228950, other, n4)], (980 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1386 ^ _212454) ^ [] : [-(accept_leader(countryahumanitarianorganization, christiancountrychumanitarianorganization))], (1938 ^ _212454) ^ [] : [-(accept_number(sufferterragovernment, n3))], (2106 ^ _212454) ^ [] : [-(rdn_translate(n20, rdn_pos(rdn(rdnn(n0), rdnn(n2)))))], (604 ^ _212454) ^ [_231508] : [accept_city(_231508, coastvillage), 607 ^ _212454 : [(610 ^ _212454) ^ [] : [-(accept_population(_231508, christian, n3))], (612 ^ _212454) ^ [] : [-(accept_population(_231508, muslim, n0))], (614 ^ _212454) ^ [] : [-(accept_population(_231508, native, n85))], (616 ^ _212454) ^ [] : [-(accept_population(_231508, other, n0))], (608 ^ _212454) ^ [] : [-(accept_population(_231508, atheist, n12))]]], (1162 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1770 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, other, n0))], (2128 ^ _212454) ^ [] : [-(rdn_translate(n31, rdn_pos(rdn(rdnn(n1), rdnn(n3)))))], (2360 ^ _212454) ^ [] : [-(rdn_translate(nn20, rdn_neg(rdn(rdnn(n0), rdnn(n2)))))], (2350 ^ _212454) ^ [] : [-(rdn_translate(nn15, rdn_neg(rdn(rdnn(n5), rdnn(n1)))))], (1332 ^ _212454) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryacivilorganization))], (1276 ^ _212454) ^ [] : [-(accept_number(sufferterragovernment, n5))], (1118 ^ _212454) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n5)], (2090 ^ _212454) ^ [] : [-(rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))))], (1734 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n1))], (2372 ^ _212454) ^ [] : [-(rdn_translate(nn26, rdn_neg(rdn(rdnn(n6), rdnn(n2)))))], (2032 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n75))], (1186 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n2)], (2592 ^ _212454) ^ [] : [-(rdn_non_zero_digit(rdnn(n8)))], (1454 ^ _212454) ^ [] : [accept_number(countryccivilorganization, n6)], (1436 ^ _212454) ^ [] : [-(accept_city(countrybcivilorganization, cityb))], (1182 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n2)], (1520 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n0))], (1104 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (1424 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n30))], (2346 ^ _212454) ^ [] : [-(rdn_translate(nn13, rdn_neg(rdn(rdnn(n3), rdnn(n1)))))], (1382 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n12))], (1756 ^ _212454) ^ [] : [-(accept_city(countryamedicalorganization, cityb))], (2486 ^ _212454) ^ [] : [-(rdn_translate(nn83, rdn_neg(rdn(rdnn(n3), rdnn(n8)))))], (1248 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n6))], (2072 ^ _212454) ^ [] : [-(rdn_translate(n3, rdn_pos(rdnn(n3))))], (956 ^ _212454) ^ [] : [-(accept_team(countryacivilorganization, countryafirstaidorganization, coastvillage, n6))], (1328 ^ _212454) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1998 ^ _212454) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (2186 ^ _212454) ^ [] : [-(rdn_translate(n60, rdn_pos(rdn(rdnn(n0), rdnn(n6)))))], (1932 ^ _212454) ^ [] : [-(accept_leader(countrybcivilorganization, sufferterragovernment))], (1850 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, other, n0))], (1614 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, other, n0))], (2176 ^ _212454) ^ [] : [-(rdn_translate(n55, rdn_pos(rdn(rdnn(n5), rdnn(n5)))))], (2304 ^ _212454) ^ [] : [-(rdn_translate(n119, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (2046 ^ _212454) ^ [] : [-(accept_number(countrycmedicalorganization, n1))], (868 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n4))], (2074 ^ _212454) ^ [] : [-(rdn_translate(n4, rdn_pos(rdnn(n4))))], (2204 ^ _212454) ^ [] : [-(rdn_translate(n69, rdn_pos(rdn(rdnn(n9), rdnn(n6)))))], (1924 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n1))], (1134 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (1700 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n65))], (2010 ^ _212454) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrycmedicalorganization))], (1298 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1262 ^ _212454) ^ [] : [-(accept_number(countryccivilorganization, n3))], (972 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (2314 ^ _212454) ^ [] : [-(rdn_translate(n124, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (2122 ^ _212454) ^ [] : [-(rdn_translate(n28, rdn_pos(rdn(rdnn(n8), rdnn(n2)))))], (1836 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, other, n1))], (878 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (924 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (52 ^ _212454) ^ [_214311, _214313, _214315, _214317, _214319, _214321] : [-(the_agent_not_in_any_proposed_teams(_214319, _214315, _214311)), the_agent_not_in_any_proposed_teams(_214321, _214317, _214313), _214321 = _214319, _214317 = _214315, _214313 = _214311], (2564 ^ _212454) ^ [] : [-(rdn_translate(nn122, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (2144 ^ _212454) ^ [] : [-(rdn_translate(n39, rdn_pos(rdn(rdnn(n9), rdnn(n3)))))], (1830 ^ _212454) ^ [] : [-(accept_leader(countryahumanitarianorganization, sufferterragovernment))], (1532 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n3))], (844 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (640 ^ _212454) ^ [_232534] : [accept_city(_232534, sunsetpoint), 643 ^ _212454 : [(646 ^ _212454) ^ [] : [-(accept_population(_232534, christian, n0))], (648 ^ _212454) ^ [] : [-(accept_population(_232534, muslim, n0))], (650 ^ _212454) ^ [] : [-(accept_population(_232534, native, n100))], (652 ^ _212454) ^ [] : [-(accept_population(_232534, other, n0))], (644 ^ _212454) ^ [] : [-(accept_population(_232534, atheist, n0))]]], (1056 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, townc, n6))], (1774 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, muslim, n1))], (1860 ^ _212454) ^ [] : [-(accept_city(countryccivilorganization, towna))], (1174 ^ _212454) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (1950 ^ _212454) ^ [] : [-(accept_number(countryacivilorganization, n3))], (2116 ^ _212454) ^ [] : [-(rdn_translate(n25, rdn_pos(rdn(rdnn(n5), rdnn(n2)))))], (1524 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n12))], (1844 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, atheist, n78))], (1414 ^ _212454) ^ [] : [-(accept_city(countrybcivilorganization, coastvillage))], (1766 ^ _212454) ^ [] : [-(accept_number(countryamedicalorganization, n2))], (898 ^ _212454) ^ [] : [accept_team(countryamedicalorganization, sufferterragovernment, coastvillage, n2)], (1500 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n0))], (2216 ^ _212454) ^ [] : [-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))], (1272 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1396 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n0))], (904 ^ _212454) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n6)], (1626 ^ _212454) ^ [] : [-(accept_leader(sufferterragovernment, christiancountrychumanitarianorganization))], (2500 ^ _212454) ^ [] : [-(rdn_translate(nn90, rdn_neg(rdn(rdnn(n0), rdnn(n9)))))], (1978 ^ _212454) ^ [] : [-(accept_number(countryccivilorganization, n4))], (1800 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n20))], (1984 ^ _212454) ^ [] : [-(accept_number(countrybcivilorganization, n4))], (842 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (2470 ^ _212454) ^ [] : [-(rdn_translate(nn75, rdn_neg(rdn(rdnn(n5), rdnn(n7)))))], (2154 ^ _212454) ^ [] : [-(rdn_translate(n44, rdn_pos(rdn(rdnn(n4), rdnn(n4)))))], (1020 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (2284 ^ _212454) ^ [] : [-(rdn_translate(n109, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (2508 ^ _212454) ^ [] : [-(rdn_translate(nn94, rdn_neg(rdn(rdnn(n4), rdnn(n9)))))], (1216 ^ _212454) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (2432 ^ _212454) ^ [] : [-(rdn_translate(nn56, rdn_neg(rdn(rdnn(n6), rdnn(n5)))))], (1562 ^ _212454) ^ [] : [-(accept_leader(countryafirstaidorganization, countrybhumanitarianorganization))], (1820 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, native, n0))], (2114 ^ _212454) ^ [] : [-(rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))))], (2458 ^ _212454) ^ [] : [-(rdn_translate(nn69, rdn_neg(rdn(rdnn(n9), rdnn(n6)))))], (1256 ^ _212454) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n2)], (2082 ^ _212454) ^ [] : [-(rdn_translate(n8, rdn_pos(rdnn(n8))))], (1286 ^ _212454) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (2524 ^ _212454) ^ [] : [-(rdn_translate(nn102, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1750 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, other, n1))], (2526 ^ _212454) ^ [] : [-(rdn_translate(nn103, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (4 ^ _212454) ^ [_212685, _212687] : [_212687 = _212685, -(_212685 = _212687)], (2484 ^ _212454) ^ [] : [-(rdn_translate(nn82, rdn_neg(rdn(rdnn(n2), rdnn(n8)))))], (2118 ^ _212454) ^ [] : [-(rdn_translate(n26, rdn_pos(rdn(rdnn(n6), rdnn(n2)))))], (1412 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n12))], (1698 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, other, n5))], (2044 ^ _212454) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (1358 ^ _212454) ^ [] : [-(accept_leader(countryamedicalorganization, christiancountrychumanitarianorganization))], (962 ^ _212454) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (1320 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (1680 ^ _212454) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, cityb))], (1062 ^ _212454) ^ [] : [accept_team(countryccivilorganization, muslimcountrybhumanitarianorganization, townc, n6)], (1764 ^ _212454) ^ [] : [-(accept_number(countryamedicalorganization, n3))], (1164 ^ _212454) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (2246 ^ _212454) ^ [] : [-(rdn_translate(n90, rdn_pos(rdn(rdnn(n0), rdnn(n9)))))], (1894 ^ _212454) ^ [] : [-(accept_leader(countrycmedicalorganization, countrybhumanitarianorganization))], (1638 ^ _212454) ^ [] : [-(accept_city(sufferterragovernment, townc))], (582 ^ _212454) ^ [_231002] : [-(accept_city(_231002, coastvillage)), accept_population(_231002, atheist, n12), accept_population(_231002, christian, n3), accept_population(_231002, muslim, n0), accept_population(_231002, native, n85), accept_population(_231002, other, n0)], (896 ^ _212454) ^ [] : [accept_team(countryamedicalorganization, christiansufferterrahumanitarianorganization, coastvillage, n2)], (2316 ^ _212454) ^ [] : [-(rdn_translate(n125, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (2 ^ _212454) ^ [_212578] : [-(_212578 = _212578)], (2392 ^ _212454) ^ [] : [-(rdn_translate(nn36, rdn_neg(rdn(rdnn(n6), rdnn(n3)))))], (1048 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, townc, n4))], (242 ^ _212454) ^ [_220453, _220455, _220457, _220459, _220461, _220463, _220465, _220467] : [-(accept_team(_220465, _220461, _220457, _220453)), accept_team(_220467, _220463, _220459, _220455), _220467 = _220465, _220463 = _220461, _220459 = _220457, _220455 = _220453], (1334 ^ _212454) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization))], (2560 ^ _212454) ^ [] : [-(rdn_translate(nn120, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (1728 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n30))], (654 ^ _212454) ^ [_233054] : [-(accept_city(_233054, towna)), accept_population(_233054, atheist, n75), accept_population(_233054, christian, n24), accept_population(_233054, muslim, n1), accept_population(_233054, native, n0), accept_population(_233054, other, n0)], (1720 ^ _212454) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization))], (1922 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, native, n0))], (1862 ^ _212454) ^ [] : [-(accept_leader(countryccivilorganization, sufferterragovernment))], (1496 ^ _212454) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, towna))], (944 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (2272 ^ _212454) ^ [] : [-(rdn_translate(n103, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (2056 ^ _212454) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (1848 ^ _212454) ^ [] : [-(accept_leader(sufferterragovernment, countrybhumanitarianorganization))], (930 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (942 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n5))], (2474 ^ _212454) ^ [] : [-(rdn_translate(nn77, rdn_neg(rdn(rdnn(n7), rdnn(n7)))))], (2388 ^ _212454) ^ [] : [-(rdn_translate(nn34, rdn_neg(rdn(rdnn(n4), rdnn(n3)))))], (1028 ^ _212454) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (1754 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n78))], (1340 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n0))], (1986 ^ _212454) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (1220 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3))], (1236 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (1934 ^ _212454) ^ [] : [-(accept_number(sufferterragovernment, n5))], (1050 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1690 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, atheist, n30))], (1834 ^ _212454) ^ [] : [-(accept_leader(sufferterragovernment, countryacivilorganization))], (978 ^ _212454) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (1586 ^ _212454) ^ [] : [-(accept_city(countrybhumanitarianorganization, townc))], (1980 ^ _212454) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryccivilorganization))], (1814 ^ _212454) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (1066 ^ _212454) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, townc, n6)], (1880 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n24))], (1956 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, other, n0))], (1902 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n1))], (2112 ^ _212454) ^ [] : [-(rdn_translate(n23, rdn_pos(rdn(rdnn(n3), rdnn(n2)))))], (2024 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n0))], (1468 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, muslim, n0))], (2266 ^ _212454) ^ [] : [-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (2596 ^ _212454) ^ [] : [-(rdn_positive_less(rdnn(n0), rdnn(n1)))], (906 ^ _212454) ^ [] : [-(the_agent_not_in_any_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (2150 ^ _212454) ^ [] : [-(rdn_translate(n42, rdn_pos(rdn(rdnn(n2), rdnn(n4)))))], (1908 ^ _212454) ^ [] : [-(accept_city(countrycmedicalorganization, towna))], (1344 ^ _212454) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, townc))], (1446 ^ _212454) ^ [] : [accept_number(countryccivilorganization, n5)], (2552 ^ _212454) ^ [] : [-(rdn_translate(nn116, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1584 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n30))], (2008 ^ _212454) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrybhumanitarianorganization))], (1224 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, countryccivilorganization, towna, n3))], (1916 ^ _212454) ^ [] : [-(accept_leader(countrybcivilorganization, christiancountrychumanitarianorganization))], (2222 ^ _212454) ^ [] : [-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))], (910 ^ _212454) ^ [] : [-(accept_team(countryccivilorganization, countrycmedicalorganization, towna, n4))], (1278 ^ _212454) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n5))], (2048 ^ _212454) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (1992 ^ _212454) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (2530 ^ _212454) ^ [] : [-(rdn_translate(nn105, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (1896 ^ _212454) ^ [] : [-(accept_leader(countrycmedicalorganization, christiancountrychumanitarianorganization))], (360 ^ _212454) ^ [_224621, _224623] : [min_number_of_proposed_agents(_224623, _224621), -(accept_number(_224623, _224621))], (2202 ^ _212454) ^ [] : [-(rdn_translate(n68, rdn_pos(rdn(rdnn(n8), rdnn(n6)))))], (2244 ^ _212454) ^ [] : [-(rdn_translate(n89, rdn_pos(rdn(rdnn(n9), rdnn(n8)))))], (1120 ^ _212454) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n6)], (2288 ^ _212454) ^ [] : [-(rdn_translate(n111, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (982 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (2064 ^ _212454) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, sufferterragovernment))], (1672 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, native, n0))], (798 ^ _212454) ^ [_237138] : [-(accept_city(_237138, townc)), accept_population(_237138, atheist, n30), accept_population(_237138, christian, n0), accept_population(_237138, muslim, n65), accept_population(_237138, native, n0), accept_population(_237138, other, n5)], (2436 ^ _212454) ^ [] : [-(rdn_translate(nn58, rdn_neg(rdn(rdnn(n8), rdnn(n5)))))], (2400 ^ _212454) ^ [] : [-(rdn_translate(nn40, rdn_neg(rdn(rdnn(n0), rdnn(n4)))))], (2582 ^ _212454) ^ [] : [-(rdn_non_zero_digit(rdnn(n3)))], (1592 ^ _212454) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countrybcivilorganization))], (2572 ^ _212454) ^ [] : [-(rdn_translate(nn126, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1920 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, other, n0))], (1156 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1692 ^ _212454) ^ [] : [-(accept_city(countryccivilorganization, townc))], (2554 ^ _212454) ^ [] : [-(rdn_translate(nn117, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (2672 ^ _212454) ^ [_289250, _289252, _289254, _289256] : [-(less(_289256, _289254)), rdn_translate(_289256, rdn_neg(_289252)), rdn_translate(_289254, rdn_pos(_289250))], (950 ^ _212454) ^ [] : [-(accept_number(countryacivilorganization, n2))], (1508 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n12))], (1456 ^ _212454) ^ [] : [-(accept_leader(countryccivilorganization, countrybhumanitarianorganization))], (2226 ^ _212454) ^ [] : [-(rdn_translate(n80, rdn_pos(rdn(rdnn(n0), rdnn(n8)))))], (1364 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, christian, n0))], (1694 ^ _212454) ^ [] : [-(accept_leader(countryccivilorganization, countryahumanitarianorganization))], (2248 ^ _212454) ^ [] : [-(rdn_translate(n91, rdn_pos(rdn(rdnn(n1), rdnn(n9)))))], (2362 ^ _212454) ^ [] : [-(rdn_translate(nn21, rdn_neg(rdn(rdnn(n1), rdnn(n2)))))], (2352 ^ _212454) ^ [] : [-(rdn_translate(nn16, rdn_neg(rdn(rdnn(n6), rdnn(n1)))))], (1518 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, native, n85))], (1470 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, christian, n3))], (1144 ^ _212454) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, cityb, n6))], (2466 ^ _212454) ^ [] : [-(rdn_translate(nn73, rdn_neg(rdn(rdnn(n3), rdnn(n7)))))], (1598 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, other, n0))], (1864 ^ _212454) ^ [] : [-(accept_number(countryafirstaidorganization, n5))], (1372 ^ _212454) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryamedicalorganization))], (1432 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, christian, n20))], (2210 ^ _212454) ^ [] : [-(rdn_translate(n72, rdn_pos(rdn(rdnn(n2), rdnn(n7)))))], (1038 ^ _212454) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (1686 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, muslim, n65))], (2054 ^ _212454) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (2452 ^ _212454) ^ [] : [-(rdn_translate(nn66, rdn_neg(rdn(rdnn(n6), rdnn(n6)))))], (1790 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, atheist, n78))], (2014 ^ _212454) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n4))], (1034 ^ _212454) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (860 ^ _212454) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, cityb, n6))], (2174 ^ _212454) ^ [] : [-(rdn_translate(n54, rdn_pos(rdn(rdnn(n4), rdnn(n5)))))], (1506 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n3))], (2262 ^ _212454) ^ [] : [-(rdn_translate(n98, rdn_pos(rdn(rdnn(n8), rdnn(n9)))))], (1952 ^ _212454) ^ [] : [-(accept_number(countryacivilorganization, n2))], (2516 ^ _212454) ^ [] : [-(rdn_translate(nn98, rdn_neg(rdn(rdnn(n8), rdnn(n9)))))], (532 ^ _212454) ^ [_229456] : [accept_city(_229456, stjosephburgh), 535 ^ _212454 : [(538 ^ _212454) ^ [] : [-(accept_population(_229456, christian, n16))], (540 ^ _212454) ^ [] : [-(accept_population(_229456, muslim, n1))], (542 ^ _212454) ^ [] : [-(accept_population(_229456, native, n11))], (544 ^ _212454) ^ [] : [-(accept_population(_229456, other, n4))], (536 ^ _212454) ^ [] : [-(accept_population(_229456, atheist, n68))]]], (1838 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, native, n0))], (1786 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, other, n1))], (2682 ^ _212454) ^ [_289605, _289607, _289609, _289611] : [-(less(_289611, _289609)), rdn_translate(_289611, rdn_neg(_289607)), rdn_translate(_289609, rdn_neg(_289605)), rdn_positive_less(_289605, _289607)], (1796 ^ _212454) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryacivilorganization))], (2576 ^ _212454) ^ [] : [-(rdn_translate(nn128, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n2), rdnn(n1))))))], (1760 ^ _212454) ^ [] : [-(accept_number(countryamedicalorganization, n5))], (1316 ^ _212454) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (34 ^ _212454) ^ [_213702, _213704, _213706, _213708, _213710, _213712] : [-(the_agent_in_all_proposed_teams(_213710, _213706, _213702)), the_agent_in_all_proposed_teams(_213712, _213708, _213704), _213712 = _213710, _213708 = _213706, _213704 = _213702], (2270 ^ _212454) ^ [] : [-(rdn_translate(n102, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (2430 ^ _212454) ^ [] : [-(rdn_translate(nn55, rdn_neg(rdn(rdnn(n5), rdnn(n5)))))], (1526 ^ _212454) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, coastvillage))], (1736 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, native, n0))], (1716 ^ _212454) ^ [] : [-(accept_city(countrycmedicalorganization, cityb))], (2344 ^ _212454) ^ [] : [-(rdn_translate(nn12, rdn_neg(rdn(rdnn(n2), rdnn(n1)))))], (2322 ^ _212454) ^ [] : [-(rdn_translate(nn1, rdn_neg(rdnn(n1))))], (438 ^ _212454) ^ [_226898] : [-(accept_city(_226898, sunnysideport)), accept_population(_226898, atheist, n30), accept_population(_226898, christian, n8), accept_population(_226898, muslim, n60), accept_population(_226898, native, n1), accept_population(_226898, other, n1)], (1394 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, native, n85))], (2494 ^ _212454) ^ [] : [-(rdn_translate(nn87, rdn_neg(rdn(rdnn(n7), rdnn(n8)))))], (2168 ^ _212454) ^ [] : [-(rdn_translate(n51, rdn_pos(rdn(rdnn(n1), rdnn(n5)))))], (1744 ^ _212454) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization))], (914 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (1480 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, muslim, n65))], (1648 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n0))], (2448 ^ _212454) ^ [] : [-(rdn_translate(nn64, rdn_neg(rdn(rdnn(n4), rdnn(n6)))))], (2374 ^ _212454) ^ [] : [-(rdn_translate(nn27, rdn_neg(rdn(rdnn(n7), rdnn(n2)))))], (1582 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n0))], (1242 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, countryccivilorganization, towna, n4))], (2212 ^ _212454) ^ [] : [-(rdn_translate(n73, rdn_pos(rdn(rdnn(n3), rdnn(n7)))))], (1384 ^ _212454) ^ [] : [-(accept_city(countryahumanitarianorganization, coastvillage))], (2130 ^ _212454) ^ [] : [-(rdn_translate(n32, rdn_pos(rdn(rdnn(n2), rdnn(n3)))))], (850 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n4)], (1762 ^ _212454) ^ [] : [-(accept_number(countryamedicalorganization, n4))], (2512 ^ _212454) ^ [] : [-(rdn_translate(nn96, rdn_neg(rdn(rdnn(n6), rdnn(n9)))))], (1742 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n78))], (2428 ^ _212454) ^ [] : [-(rdn_translate(nn54, rdn_neg(rdn(rdnn(n4), rdnn(n5)))))], (1318 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (1040 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1722 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n5))], (1620 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, christian, n3))], (2158 ^ _212454) ^ [] : [-(rdn_translate(n46, rdn_pos(rdn(rdnn(n6), rdnn(n4)))))], (2476 ^ _212454) ^ [] : [-(rdn_translate(nn78, rdn_neg(rdn(rdnn(n8), rdnn(n7)))))], (960 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1088 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1052 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, townc, n6))], (2184 ^ _212454) ^ [] : [-(rdn_translate(n59, rdn_pos(rdn(rdnn(n9), rdnn(n5)))))], (1868 ^ _212454) ^ [] : [-(accept_number(countryafirstaidorganization, n3))], (2538 ^ _212454) ^ [] : [-(rdn_translate(nn109, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (2004 ^ _212454) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (1968 ^ _212454) ^ [] : [-(accept_leader(countryacivilorganization, sufferterragovernment))], (1556 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n20))], (2028 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, muslim, n1))], (2356 ^ _212454) ^ [] : [-(rdn_translate(nn18, rdn_neg(rdn(rdnn(n8), rdnn(n1)))))], (998 ^ _212454) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n6))], (20 ^ _212454) ^ [_213230, _213232, _213234, _213236] : [-(min_number_of_proposed_agents(_213234, _213230)), min_number_of_proposed_agents(_213236, _213232), _213236 = _213234, _213232 = _213230], (1498 ^ _212454) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryafirstaidorganization))], (1270 ^ _212454) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n6)], (1492 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n75))], (2002 ^ _212454) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (1266 ^ _212454) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, towna, n6)], (1634 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, atheist, n30))], (1378 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, muslim, n0))], (1122 ^ _212454) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, cityb, n6))], (2588 ^ _212454) ^ [] : [-(rdn_non_zero_digit(rdnn(n6)))], (1554 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, other, n1))], (2406 ^ _212454) ^ [] : [-(rdn_translate(nn43, rdn_neg(rdn(rdnn(n3), rdnn(n4)))))], (1252 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1780 ^ _212454) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (1324 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n6)], (1870 ^ _212454) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (1546 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n30))], (496 ^ _212454) ^ [_228430] : [accept_city(_228430, centrallakecity), 499 ^ _212454 : [(502 ^ _212454) ^ [] : [-(accept_population(_228430, christian, n15))], (504 ^ _212454) ^ [] : [-(accept_population(_228430, muslim, n1))], (506 ^ _212454) ^ [] : [-(accept_population(_228430, native, n10))], (508 ^ _212454) ^ [] : [-(accept_population(_228430, other, n4))], (500 ^ _212454) ^ [] : [-(accept_population(_228430, atheist, n70))]]], (1158 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (858 ^ _212454) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (2424 ^ _212454) ^ [] : [-(rdn_translate(nn52, rdn_neg(rdn(rdnn(n2), rdnn(n5)))))], (2542 ^ _212454) ^ [] : [-(rdn_translate(nn111, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (1566 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, native, n85))], (1866 ^ _212454) ^ [] : [-(accept_number(countryafirstaidorganization, n4))], (1452 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, atheist, n78))], (1312 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, towna, n6))], (2238 ^ _212454) ^ [] : [-(rdn_translate(n86, rdn_pos(rdn(rdnn(n6), rdnn(n8)))))], (1892 ^ _212454) ^ [] : [-(accept_leader(countrycmedicalorganization, countrybcivilorganization))], (1400 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n12))], (2640 ^ _212454) ^ [_288132, _288134, _288136] : [rdn_non_zero(_288132), -(rdn_positive_less(rdnn(_288136), rdn(rdnn(_288134), _288132)))], (2556 ^ _212454) ^ [] : [-(rdn_translate(nn118, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (1296 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1092 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, townc, n6))], (2170 ^ _212454) ^ [] : [-(rdn_translate(n52, rdn_pos(rdn(rdnn(n2), rdnn(n5)))))], (2310 ^ _212454) ^ [] : [-(rdn_translate(n122, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (2230 ^ _212454) ^ [] : [-(rdn_translate(n82, rdn_pos(rdn(rdnn(n2), rdnn(n8)))))], (1126 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1294 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, towna, n6))], (1388 ^ _212454) ^ [] : [-(accept_leader(countryafirstaidorganization, countryamedicalorganization))], (1704 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n30))], (1444 ^ _212454) ^ [] : [-(accept_city(sufferterragovernment, towna))], (2078 ^ _212454) ^ [] : [-(rdn_translate(n6, rdn_pos(rdnn(n6))))], (946 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (1246 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, towna, n6))], (2506 ^ _212454) ^ [] : [-(rdn_translate(nn93, rdn_neg(rdn(rdnn(n3), rdnn(n9)))))], (1782 ^ _212454) ^ [] : [-(accept_leader(countryamedicalorganization, sufferterragovernment))], (1668 ^ _212454) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (1878 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n1))], (1008 ^ _212454) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (1352 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n78))], (196 ^ _212454) ^ [_218948, _218950, _218952, _218954, _218956, _218958] : [-(sum(_218956, _218952, _218948)), sum(_218958, _218954, _218950), _218958 = _218956, _218954 = _218952, _218950 = _218948], (1108 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1642 ^ _212454) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrybcivilorganization))], (1594 ^ _212454) ^ [] : [-(accept_leader(countrybhumanitarianorganization, christiancountrychumanitarianorganization))], (1350 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n20))], (1080 ^ _212454) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, townc, n6))], (2594 ^ _212454) ^ [] : [-(rdn_non_zero_digit(rdnn(n9)))], (2036 ^ _212454) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, sufferterragovernment))], (1684 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, other, n5))], (1940 ^ _212454) ^ [] : [-(accept_number(sufferterragovernment, n2))], (2298 ^ _212454) ^ [] : [-(rdn_translate(n116, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1644 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n5))], (846 ^ _212454) ^ [] : [-(accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n2))], (1274 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1002 ^ _212454) ^ [] : [-(accept_team(sufferterragovernment, countryafirstaidorganization, coastvillage, n6))], (894 ^ _212454) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n2)], (1196 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n2)], (2454 ^ _212454) ^ [] : [-(rdn_translate(nn67, rdn_neg(rdn(rdnn(n7), rdnn(n6)))))], (1418 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, other, n5))], (958 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1654 ^ _212454) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, townc))], (1302 ^ _212454) ^ [] : [-(accept_number(countryccivilorganization, n4))], (1466 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, native, n85))], (1336 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n5))], (954 ^ _212454) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n6))], (1596 ^ _212454) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countrycmedicalorganization))], (2482 ^ _212454) ^ [] : [-(rdn_translate(nn81, rdn_neg(rdn(rdnn(n1), rdnn(n8)))))], (2490 ^ _212454) ^ [] : [-(rdn_translate(nn85, rdn_neg(rdn(rdnn(n5), rdnn(n8)))))], (1678 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n78))], (1288 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, towna, n4))], (2462 ^ _212454) ^ [] : [-(rdn_translate(nn71, rdn_neg(rdn(rdnn(n1), rdnn(n7)))))], (2446 ^ _212454) ^ [] : [-(rdn_translate(nn63, rdn_neg(rdn(rdnn(n3), rdnn(n6)))))], (1538 ^ _212454) ^ [] : [-(accept_leader(countryafirstaidorganization, christiancountrychumanitarianorganization))], (2292 ^ _212454) ^ [] : [-(rdn_translate(n113, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (1534 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n12))], (1284 ^ _212454) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (2258 ^ _212454) ^ [] : [-(rdn_translate(n96, rdn_pos(rdn(rdnn(n6), rdnn(n9)))))], (2364 ^ _212454) ^ [] : [-(rdn_translate(nn22, rdn_neg(rdn(rdnn(n2), rdnn(n2)))))], (1656 ^ _212454) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryacivilorganization))], (2456 ^ _212454) ^ [] : [-(rdn_translate(nn68, rdn_neg(rdn(rdnn(n8), rdnn(n6)))))], (1146 ^ _212454) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (1024 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (2342 ^ _212454) ^ [] : [-(rdn_translate(nn11, rdn_neg(rdn(rdnn(n1), rdnn(n1)))))], (1712 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n20))], (1430 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, other, n1))], (460 ^ _212454) ^ [_227404] : [accept_city(_227404, sunnysideport), 463 ^ _212454 : [(466 ^ _212454) ^ [] : [-(accept_population(_227404, christian, n8))], (468 ^ _212454) ^ [] : [-(accept_population(_227404, muslim, n60))], (470 ^ _212454) ^ [] : [-(accept_population(_227404, native, n1))], (472 ^ _212454) ^ [] : [-(accept_population(_227404, other, n1))], (464 ^ _212454) ^ [] : [-(accept_population(_227404, atheist, n30))]]], (952 ^ _212454) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n5))], (976 ^ _212454) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n6)], (2354 ^ _212454) ^ [] : [-(rdn_translate(nn17, rdn_neg(rdn(rdnn(n7), rdnn(n1)))))], (1148 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (938 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n4))], (106 ^ _212454) ^ [_216110, _216112, _216114, _216116] : [-(accept_number(_216114, _216110)), accept_number(_216116, _216112), _216116 = _216114, _216112 = _216110], (1752 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, christian, n20))], (1018 ^ _212454) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (1410 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, christian, n3))], (2604 ^ _212454) ^ [] : [-(rdn_positive_less(rdnn(n4), rdnn(n5)))], (1226 ^ _212454) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (1982 ^ _212454) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (228 ^ _212454) ^ [_219973, _219975, _219977, _219979] : [-(less_or_equal(_219977, _219973)), less_or_equal(_219979, _219975), _219979 = _219977, _219975 = _219973], (1212 ^ _212454) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n5))], (1502 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, native, n85))], (1650 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n30))], (1572 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n12))], (836 ^ _212454) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, towna, n6))], (1042 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (2422 ^ _212454) ^ [] : [-(rdn_translate(nn51, rdn_neg(rdn(rdnn(n1), rdnn(n5)))))], (1808 ^ _212454) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (1326 ^ _212454) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (876 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (1670 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n1))], (1082 ^ _212454) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, townc, n6))], (1300 ^ _212454) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (2602 ^ _212454) ^ [] : [-(rdn_positive_less(rdnn(n3), rdnn(n4)))], (1664 ^ _212454) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (2368 ^ _212454) ^ [] : [-(rdn_translate(nn24, rdn_neg(rdn(rdnn(n4), rdnn(n2)))))], (2434 ^ _212454) ^ [] : [-(rdn_translate(nn57, rdn_neg(rdn(rdnn(n7), rdnn(n5)))))], (2096 ^ _212454) ^ [] : [-(rdn_translate(n15, rdn_pos(rdn(rdnn(n5), rdnn(n1)))))], (1842 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, christian, n20))], (2234 ^ _212454) ^ [] : [-(rdn_translate(n84, rdn_pos(rdn(rdnn(n4), rdnn(n8)))))], (1116 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1972 ^ _212454) ^ [] : [-(accept_number(countryccivilorganization, n3))], (1602 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n1))], (214 ^ _212454) ^ [_219529, _219531, _219533, _219535] : [-(less(_219533, _219529)), less(_219535, _219531), _219535 = _219533, _219531 = _219529], (2586 ^ _212454) ^ [] : [-(rdn_non_zero_digit(rdnn(n5)))], (2520 ^ _212454) ^ [] : [-(rdn_translate(nn100, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (1996 ^ _212454) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (2120 ^ _212454) ^ [] : [-(rdn_translate(n27, rdn_pos(rdn(rdnn(n7), rdnn(n2)))))], (1810 ^ _212454) ^ [] : [-(accept_number(countryahumanitarianorganization, n4))], (1676 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n20))], (2328 ^ _212454) ^ [] : [-(rdn_translate(nn4, rdn_neg(rdnn(n4))))], (1510 ^ _212454) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, coastvillage))], (1264 ^ _212454) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, towna, n6)], (1258 ^ _212454) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n6)], (1544 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n0))], (1948 ^ _212454) ^ [] : [-(accept_number(countryacivilorganization, n4))], (2094 ^ _212454) ^ [] : [-(rdn_translate(n14, rdn_pos(rdn(rdnn(n4), rdnn(n1)))))], (2290 ^ _212454) ^ [] : [-(rdn_translate(n112, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (2058 ^ _212454) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n1))], (2282 ^ _212454) ^ [] : [-(rdn_translate(n108, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (2450 ^ _212454) ^ [] : [-(rdn_translate(nn65, rdn_neg(rdn(rdnn(n5), rdnn(n6)))))], (2534 ^ _212454) ^ [] : [-(rdn_translate(nn107, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (1794 ^ _212454) ^ [] : [-(accept_leader(countryacivilorganization, countrybhumanitarianorganization))], (2550 ^ _212454) ^ [] : [-(rdn_translate(nn115, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (2584 ^ _212454) ^ [] : [-(rdn_non_zero_digit(rdnn(n4)))], (2578 ^ _212454) ^ [] : [-(rdn_non_zero_digit(rdnn(n1)))], (1660 ^ _212454) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n4))], (1812 ^ _212454) ^ [] : [-(accept_number(countryahumanitarianorganization, n3))], (2600 ^ _212454) ^ [] : [-(rdn_positive_less(rdnn(n2), rdnn(n3)))], (1580 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n65))], (1504 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n0))], (1714 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n78))], (1832 ^ _212454) ^ [] : [-(accept_city(countryahumanitarianorganization, towna))], (2440 ^ _212454) ^ [] : [-(rdn_translate(nn60, rdn_neg(rdn(rdnn(n0), rdnn(n6)))))], (1308 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, towna, n6))], (1060 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (286 ^ _212454) ^ [_222010, _222012] : [_222012 = _222010, -(rdn_neg(_222012) = rdn_neg(_222010))], (932 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (2196 ^ _212454) ^ [] : [-(rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))))], (1314 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n6))], (1152 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n5))], (2134 ^ _212454) ^ [] : [-(rdn_translate(n34, rdn_pos(rdn(rdnn(n4), rdnn(n3)))))], (996 ^ _212454) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n5))], (1476 ^ _212454) ^ [] : [-(accept_leader(countryacivilorganization, christiancountrychumanitarianorganization))], (1818 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, other, n0))], (1090 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, townc, n6))], (1460 ^ _212454) ^ [] : [-(accept_leader(countryccivilorganization, countryacivilorganization))], (838 ^ _212454) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1926 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, christian, n24))], (1360 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, other, n5))], (1100 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (1370 ^ _212454) ^ [] : [-(accept_city(countryamedicalorganization, townc))], (1494 ^ _212454) ^ [] : [accept_leader(christiansufferterrahumanitarianorganization, sufferterragovernment)], (1962 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, christian, n24))], (1010 ^ _212454) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (2160 ^ _212454) ^ [] : [-(rdn_translate(n47, rdn_pos(rdn(rdnn(n7), rdnn(n4)))))], (2018 ^ _212454) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (2198 ^ _212454) ^ [] : [-(rdn_translate(n66, rdn_pos(rdn(rdnn(n6), rdnn(n6)))))], (1542 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n65))], (2606 ^ _212454) ^ [] : [-(rdn_positive_less(rdnn(n5), rdnn(n6)))], (2426 ^ _212454) ^ [] : [-(rdn_translate(nn53, rdn_neg(rdn(rdnn(n3), rdnn(n5)))))], (1014 ^ _212454) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n6))], (2016 ^ _212454) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (964 ^ _212454) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n5))], (1964 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, atheist, n75))], (2630 ^ _212454) ^ [_287783, _287785, _287787] : [-(rdn_positive_less(rdn(rdnn(_287787), _287785), rdn(rdnn(_287783), _287785))), rdn_positive_less(rdnn(_287787), rdnn(_287783)), rdn_non_zero(_287785)], (984 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, muslimcountrybhumanitarianorganization, townc, n6))], (10 ^ _212454) ^ [_212889, _212891, _212893] : [-(_212893 = _212889), _212893 = _212891, _212891 = _212889], (2732 ^ _212454) ^ [_291165, _291167, _291169] : [-(less_or_equal(_291165, _291169)), sum(_291169, n1, _291167), less(_291165, _291167)], (712 ^ _212454) ^ [_234586] : [accept_city(_234586, citya), 715 ^ _212454 : [(718 ^ _212454) ^ [] : [-(accept_population(_234586, christian, n25))], (720 ^ _212454) ^ [] : [-(accept_population(_234586, muslim, n0))], (722 ^ _212454) ^ [] : [-(accept_population(_234586, native, n0))], (724 ^ _212454) ^ [] : [-(accept_population(_234586, other, n0))], (716 ^ _212454) ^ [] : [-(accept_population(_234586, atheist, n75))]]], (1016 ^ _212454) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1622 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, atheist, n12))], (1234 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (992 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (1058 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (2084 ^ _212454) ^ [] : [-(rdn_translate(n9, rdn_pos(rdnn(n9))))], (1882 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n75))], (2464 ^ _212454) ^ [] : [-(rdn_translate(nn72, rdn_neg(rdn(rdnn(n2), rdnn(n7)))))], (1874 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, other, n0))], (1200 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n4)], (2540 ^ _212454) ^ [] : [-(rdn_translate(nn110, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (2240 ^ _212454) ^ [] : [-(rdn_translate(n87, rdn_pos(rdn(rdnn(n7), rdnn(n8)))))], (2410 ^ _212454) ^ [] : [-(rdn_translate(nn45, rdn_neg(rdn(rdnn(n5), rdnn(n4)))))], (1438 ^ _212454) ^ [] : [-(accept_leader(sufferterragovernment, countryamedicalorganization))], (870 ^ _212454) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, cityb, n6))], (1970 ^ _212454) ^ [] : [-(accept_city(countryacivilorganization, towna))], (1348 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n1))], (1086 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, townc, n4))], (1190 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3)], (762 ^ _212454) ^ [_236132] : [-(accept_city(_236132, cityb)), accept_population(_236132, atheist, n78), accept_population(_236132, christian, n20), accept_population(_236132, muslim, n1), accept_population(_236132, native, n0), accept_population(_236132, other, n1)], (1758 ^ _212454) ^ [] : [-(accept_leader(countryamedicalorganization, countrybhumanitarianorganization))], (2442 ^ _212454) ^ [] : [-(rdn_translate(nn61, rdn_neg(rdn(rdnn(n1), rdnn(n6)))))], (2658 ^ _212454) ^ [_288798, _288800, _288802, _288804] : [-(less(_288804, _288802)), rdn_translate(_288804, rdn_pos(_288800)), rdn_translate(_288802, rdn_pos(_288798)), rdn_positive_less(_288800, _288798)], (1244 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, towna, n6))], (1854 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, muslim, n1))], (336 ^ _212454) ^ [_223768, _223770, _223772] : [the_agent_in_all_proposed_teams(_223772, _223770, _223768), 339 ^ _212454 : [(342 ^ _212454) ^ [] : [-(accept_city(_223772, _223768))], (340 ^ _212454) ^ [] : [-(accept_leader(_223772, _223770))]]], (2652 ^ _212454) ^ [_288554, _288556] : [rdn_non_zero(_288554), -(rdn_non_zero(rdn(rdnn(_288556), _288554)))], (2228 ^ _212454) ^ [] : [-(rdn_translate(n81, rdn_pos(rdn(rdnn(n1), rdnn(n8)))))], (1054 ^ _212454) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (2562 ^ _212454) ^ [] : [-(rdn_translate(nn121, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1178 ^ _212454) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1356 ^ _212454) ^ [] : [accept_city(countryamedicalorganization, coastvillage)], (916 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (1576 ^ _212454) ^ [] : [-(accept_leader(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization))], (1368 ^ _212454) ^ [] : [-(accept_leader(countryamedicalorganization, countryahumanitarianorganization))], (2614 ^ _212454) ^ [_287166, _287168, _287170] : [-(rdn_positive_less(rdnn(_287170), rdnn(_287166))), rdn_positive_less(rdnn(_287170), rdnn(_287168)), rdn_positive_less(rdnn(_287168), rdnn(_287166))], (1420 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n65))], (2418 ^ _212454) ^ [] : [-(rdn_translate(nn49, rdn_neg(rdn(rdnn(n9), rdnn(n4)))))], (2038 ^ _212454) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (1004 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (2528 ^ _212454) ^ [] : [-(rdn_translate(nn104, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (1180 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n2)], (2416 ^ _212454) ^ [] : [-(rdn_translate(nn48, rdn_neg(rdn(rdnn(n8), rdnn(n4)))))], (2164 ^ _212454) ^ [] : [-(rdn_translate(n49, rdn_pos(rdn(rdnn(n9), rdnn(n4)))))], (1000 ^ _212454) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, coastvillage, n6))], (2294 ^ _212454) ^ [] : [-(rdn_translate(n114, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (2532 ^ _212454) ^ [] : [-(rdn_translate(nn106, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (2286 ^ _212454) ^ [] : [-(rdn_translate(n110, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (2022 ^ _212454) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (1428 ^ _212454) ^ [] : [-(accept_leader(countrybcivilorganization, countryahumanitarianorganization))], (2146 ^ _212454) ^ [] : [-(rdn_translate(n40, rdn_pos(rdn(rdnn(n0), rdnn(n4)))))], (2040 ^ _212454) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (1366 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n30))], (1392 ^ _212454) ^ [] : [-(accept_leader(countrycmedicalorganization, countryacivilorganization))], (2396 ^ _212454) ^ [] : [-(rdn_translate(nn38, rdn_neg(rdn(rdnn(n8), rdnn(n3)))))], (1946 ^ _212454) ^ [] : [-(accept_number(countryacivilorganization, n5))], (1536 ^ _212454) ^ [] : [-(accept_city(countryafirstaidorganization, coastvillage))], (1238 ^ _212454) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (2378 ^ _212454) ^ [] : [-(rdn_translate(nn29, rdn_neg(rdn(rdnn(n9), rdnn(n2)))))], (1994 ^ _212454) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrybcivilorganization))], (280 ^ _212454) ^ [_221812, _221814] : [_221814 = _221812, -(rdn_pos(_221814) = rdn_pos(_221812))], (2320 ^ _212454) ^ [] : [-(rdn_translate(n127, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (88 ^ _212454) ^ [_215529, _215531, _215533, _215535, _215537, _215539] : [-(accept_population(_215537, _215533, _215529)), accept_population(_215539, _215535, _215531), _215539 = _215537, _215535 = _215533, _215531 = _215529], (1646 ^ _212454) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n65))], (2598 ^ _212454) ^ [] : [-(rdn_positive_less(rdnn(n1), rdnn(n2)))], (1306 ^ _212454) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (1852 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, native, n0))], (848 ^ _212454) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (2060 ^ _212454) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (1416 ^ _212454) ^ [] : [-(accept_leader(countrybcivilorganization, muslimcountrybhumanitarianorganization))], (1204 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n6)], (1106 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1254 ^ _212454) ^ [] : [-(accept_number(sufferterragovernment, n2))], (2522 ^ _212454) ^ [] : [-(rdn_translate(nn101, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (882 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (2066 ^ _212454) ^ [] : [-(rdn_translate(n0, rdn_pos(rdnn(n0))))], (1612 ^ _212454) ^ [] : [-(accept_leader(sufferterragovernment, countryafirstaidorganization))], (2142 ^ _212454) ^ [] : [-(rdn_translate(n38, rdn_pos(rdn(rdnn(n8), rdnn(n3)))))], (2102 ^ _212454) ^ [] : [-(rdn_translate(n18, rdn_pos(rdn(rdnn(n8), rdnn(n1)))))], (2232 ^ _212454) ^ [] : [-(rdn_translate(n83, rdn_pos(rdn(rdnn(n3), rdnn(n8)))))], (2052 ^ _212454) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n4))], (1044 ^ _212454) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, townc, n6))], (2026 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, native, n0))], (1732 ^ _212454) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryahumanitarianorganization))], (1738 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n1))], (1688 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, christian, n0))], (2518 ^ _212454) ^ [] : [-(rdn_translate(nn99, rdn_neg(rdn(rdnn(n9), rdnn(n9)))))], (888 ^ _212454) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (2336 ^ _212454) ^ [] : [-(rdn_translate(nn8, rdn_neg(rdnn(n8))))], (1788 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, christian, n20))], (1632 ^ _212454) ^ [] : [-(accept_population(sufferterragovernment, christian, n0))], (1858 ^ _212454) ^ [] : [-(accept_population(countryccivilorganization, atheist, n75))], (1768 ^ _212454) ^ [] : [-(accept_number(countryamedicalorganization, n1))], (974 ^ _212454) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n5)], (988 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, townc, n6))], (2444 ^ _212454) ^ [] : [-(rdn_translate(nn62, rdn_neg(rdn(rdnn(n2), rdnn(n6)))))], (2080 ^ _212454) ^ [] : [-(rdn_translate(n7, rdn_pos(rdnn(n7))))], (344 ^ _212454) ^ [_224077, _224079, _224081] : [any_agent_in_all_proposed_teams(_224081, _224079, _224077), -(accept_leader(_224081, _224079))], (1906 ^ _212454) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n75))], (2536 ^ _212454) ^ [] : [-(rdn_translate(nn108, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (1600 ^ _212454) ^ [] : [-(accept_population(countrybhumanitarianorganization, native, n0))], (1222 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n3))], (1124 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1464 ^ _212454) ^ [] : [-(accept_leader(countryacivilorganization, countryafirstaidorganization))], (2386 ^ _212454) ^ [] : [-(rdn_translate(nn33, rdn_neg(rdn(rdnn(n3), rdnn(n3)))))], (1802 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n78))], (2646 ^ _212454) ^ [_288346] : [rdn_non_zero_digit(rdnn(_288346)), -(rdn_non_zero(rdnn(_288346)))], (2220 ^ _212454) ^ [] : [-(rdn_translate(n77, rdn_pos(rdn(rdnn(n7), rdnn(n7)))))], (2324 ^ _212454) ^ [] : [-(rdn_translate(nn2, rdn_neg(rdnn(n2))))], (1540 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, other, n5))], (2182 ^ _212454) ^ [] : [-(rdn_translate(n58, rdn_pos(rdn(rdnn(n8), rdnn(n5)))))], (922 ^ _212454) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (2724 ^ _212454) ^ [_290885, _290887] : [2725 ^ _212454 : [(2728 ^ _212454) ^ [] : [_290887 = _290885], (2726 ^ _212454) ^ [] : [less(_290887, _290885)]], -(less_or_equal(_290887, _290885))], (1872 ^ _212454) ^ [] : [-(accept_number(countryafirstaidorganization, n1))], (1422 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, christian, n0))], (1718 ^ _212454) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrycmedicalorganization))], (1402 ^ _212454) ^ [] : [-(accept_city(countrycmedicalorganization, coastvillage))], (2306 ^ _212454) ^ [] : [-(rdn_translate(n120, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (2608 ^ _212454) ^ [] : [-(rdn_positive_less(rdnn(n6), rdnn(n7)))], (2312 ^ _212454) ^ [] : [-(rdn_translate(n123, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (1928 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n75))], (2568 ^ _212454) ^ [] : [-(rdn_translate(nn124, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (2502 ^ _212454) ^ [] : [-(rdn_translate(nn91, rdn_neg(rdn(rdnn(n1), rdnn(n9)))))], (1188 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n3)], (1666 ^ _212454) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n1))], (1822 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, muslim, n1))], (2544 ^ _212454) ^ [] : [-(rdn_translate(nn112, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (1772 ^ _212454) ^ [] : [-(accept_population(countryamedicalorganization, native, n0))], (1726 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n0))], (1184 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n2)], (1884 ^ _212454) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (1746 ^ _212454) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, cityb))], (1914 ^ _212454) ^ [] : [-(accept_leader(countrybcivilorganization, countrybhumanitarianorganization))], (1478 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, other, n5))], (902 ^ _212454) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n6)], (1740 ^ _212454) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n20))], (2514 ^ _212454) ^ [] : [-(rdn_translate(nn97, rdn_neg(rdn(rdnn(n7), rdnn(n9)))))], (2000 ^ _212454) ^ [] : [-(accept_number(countrybhumanitarianorganization, n3))], (1624 ^ _212454) ^ [] : [-(accept_city(sufferterragovernment, coastvillage))], (1250 ^ _212454) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1310 ^ _212454) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (2172 ^ _212454) ^ [] : [-(rdn_translate(n53, rdn_pos(rdn(rdnn(n3), rdnn(n5)))))], (1408 ^ _212454) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n0))], (1876 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, native, n0))], (316 ^ _212454) ^ [_223094, _223096, _223098] : [-(accept_number(_223098, _223094)), accept_number(_223098, _223096), less(_223094, _223096)], (1292 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, towna, n6))], (1958 ^ _212454) ^ [] : [-(accept_population(countryacivilorganization, native, n0))], (1342 ^ _212454) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n30))], (1404 ^ _212454) ^ [] : [-(accept_leader(countrybcivilorganization, countryacivilorganization))], (2152 ^ _212454) ^ [] : [-(rdn_translate(n43, rdn_pos(rdn(rdnn(n3), rdnn(n4)))))], (1574 ^ _212454) ^ [] : [-(accept_city(countrybhumanitarianorganization, coastvillage))], (2300 ^ _212454) ^ [] : [-(rdn_translate(n117, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (1166 ^ _212454) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, cityb, n6))], (474 ^ _212454) ^ [_227924] : [-(accept_city(_227924, centrallakecity)), accept_population(_227924, atheist, n70), accept_population(_227924, christian, n15), accept_population(_227924, muslim, n1), accept_population(_227924, native, n10), accept_population(_227924, other, n4)], (1068 ^ _212454) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, townc, n6)], (890 ^ _212454) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n2)], (1930 ^ _212454) ^ [] : [-(accept_city(countrybcivilorganization, towna))], (784 ^ _212454) ^ [_236638] : [accept_city(_236638, cityb), 787 ^ _212454 : [(790 ^ _212454) ^ [] : [-(accept_population(_236638, christian, n20))], (792 ^ _212454) ^ [] : [-(accept_population(_236638, muslim, n1))], (794 ^ _212454) ^ [] : [-(accept_population(_236638, native, n0))], (796 ^ _212454) ^ [] : [-(accept_population(_236638, other, n1))], (788 ^ _212454) ^ [] : [-(accept_population(_236638, atheist, n78))]]], (1142 ^ _212454) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n6))], (1240 ^ _212454) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (1558 ^ _212454) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n78))], (994 ^ _212454) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (1138 ^ _212454) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n6))], (2334 ^ _212454) ^ [] : [-(rdn_translate(nn7, rdn_neg(rdnn(n7))))], (2402 ^ _212454) ^ [] : [-(rdn_translate(nn41, rdn_neg(rdn(rdnn(n1), rdnn(n4)))))], (2468 ^ _212454) ^ [] : [-(rdn_translate(nn74, rdn_neg(rdn(rdnn(n4), rdnn(n7)))))], (2108 ^ _212454) ^ [] : [-(rdn_translate(n21, rdn_pos(rdn(rdnn(n1), rdnn(n2)))))], (2574 ^ _212454) ^ [] : [-(rdn_translate(nn127, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (2566 ^ _212454) ^ [] : [-(rdn_translate(nn123, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (2548 ^ _212454) ^ [] : [-(rdn_translate(nn114, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (2318 ^ _212454) ^ [] : [-(rdn_translate(n126, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (2076 ^ _212454) ^ [] : [-(rdn_translate(n5, rdn_pos(rdnn(n5))))], (1636 ^ _212454) ^ [] : [-(accept_leader(sufferterragovernment, countryahumanitarianorganization))], (2126 ^ _212454) ^ [] : [-(rdn_translate(n30, rdn_pos(rdn(rdnn(n0), rdnn(n3)))))], (1376 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, native, n85))], (1194 ^ _212454) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n3)], (292 ^ _212454) ^ [_222323, _222325, _222327, _222329] : [accept_team(_222329, _222323, _222327, _222325), 295 ^ _212454 : [(300 ^ _212454) ^ [] : [-(accept_number(_222329, _222325))], (298 ^ _212454) ^ [] : [-(accept_leader(_222329, _222323))], (296 ^ _212454) ^ [] : [-(accept_city(_222329, _222327))]]], (2296 ^ _212454) ^ [] : [-(rdn_translate(n115, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (1218 ^ _212454) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n3))], (866 ^ _212454) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (834 ^ _212454) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, cityb, n6))], (2504 ^ _212454) ^ [] : [-(rdn_translate(nn92, rdn_neg(rdn(rdnn(n2), rdnn(n9)))))], (2420 ^ _212454) ^ [] : [-(rdn_translate(nn50, rdn_neg(rdn(rdnn(n0), rdnn(n5)))))], (1322 ^ _212454) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (2214 ^ _212454) ^ [] : [-(rdn_translate(n74, rdn_pos(rdn(rdnn(n4), rdnn(n7)))))], (2208 ^ _212454) ^ [] : [-(rdn_translate(n71, rdn_pos(rdn(rdnn(n1), rdnn(n7)))))], (1826 ^ _212454) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n75))], (1154 ^ _212454) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n6))], (2384 ^ _212454) ^ [] : [-(rdn_translate(nn32, rdn_neg(rdn(rdnn(n2), rdnn(n3)))))], (2034 ^ _212454) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, towna))]], input).
% 192.26/185.76  ncf('1',plain,[accept_team(countrybcivilorganization, countrybhumanitarianorganization, suffertown, n4)],start(2742 ^ 0)).
% 192.26/185.76  ncf('1.1',plain,[-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, suffertown, n4)), accept_city(countrybcivilorganization, suffertown), accept_leader(countrybcivilorganization, countrybhumanitarianorganization), accept_number(countrybcivilorganization, n4)],extension(302 ^ 1,bind([[_222658, _222660, _222662, _222664], [countrybhumanitarianorganization, n4, suffertown, countrybcivilorganization]]))).
% 192.26/185.76  ncf('1.1.1',plain,[-(accept_city(countrybcivilorganization, suffertown)), accept_population(countrybcivilorganization, atheist, n65), accept_population(countrybcivilorganization, christian, n20), accept_population(countrybcivilorganization, muslim, n7), accept_population(countrybcivilorganization, native, n4), accept_population(countrybcivilorganization, other, n4)],extension(366 ^ 2,bind([[_224846], [countrybcivilorganization]]))).
% 192.26/185.76  ncf('1.1.1.1',plain,[-(accept_population(countrybcivilorganization, atheist, n65)), accept_population(countrybcivilorganization, atheist, n78), less(n65, n78)],extension(326 ^ 3,bind([[_223431, _223433, _223435, _223437], [atheist, n65, n78, countrybcivilorganization]]))).
% 192.26/185.76  ncf('1.1.1.1.1',plain,[-(accept_population(countrybcivilorganization, atheist, n78))],extension(1434 ^ 4)).
% 192.26/185.76  ncf('1.1.1.1.2',plain,[-(less(n65, n78)), rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))), rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))), rdn_positive_less(rdn(rdnn(n5), rdnn(n6)), rdn(rdnn(n8), rdnn(n7)))],extension(2658 ^ 4,bind([[_288798, _288800, _288802, _288804], [rdn(rdnn(n8), rdnn(n7)), rdn(rdnn(n5), rdnn(n6)), n78, n65]]))).
% 192.26/185.76  ncf('1.1.1.1.2.1',plain,[-(rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))))],extension(2196 ^ 5)).
% 192.26/185.76  ncf('1.1.1.1.2.2',plain,[-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))],extension(2222 ^ 5)).
% 192.26/185.76  ncf('1.1.1.1.2.3',plain,[-(rdn_positive_less(rdn(rdnn(n5), rdnn(n6)), rdn(rdnn(n8), rdnn(n7)))), rdn_positive_less(rdnn(n6), rdnn(n7))],extension(2624 ^ 5,bind([[_287527, _287529, _287531, _287533], [rdnn(n7), n8, rdnn(n6), n5]]))).
% 192.26/185.76  ncf('1.1.1.1.2.3.1',plain,[-(rdn_positive_less(rdnn(n6), rdnn(n7)))],extension(2608 ^ 6)).
% 192.26/185.76  ncf('1.1.1.2',plain,[-(accept_population(countrybcivilorganization, christian, n20))],extension(1432 ^ 3)).
% 192.26/185.76  ncf('1.1.1.3',plain,[-(accept_population(countrybcivilorganization, muslim, n7)), accept_population(countrybcivilorganization, muslim, n65), less(n7, n65)],extension(326 ^ 3,bind([[_223431, _223433, _223435, _223437], [muslim, n7, n65, countrybcivilorganization]]))).
% 192.26/185.76  ncf('1.1.1.3.1',plain,[-(accept_population(countrybcivilorganization, muslim, n65)), accept_city(countrybcivilorganization, townc)],extension(820 ^ 4,bind([[_237644], [countrybcivilorganization]]))).
% 192.26/185.76  ncf('1.1.1.3.1.1',plain,[-(accept_city(countrybcivilorganization, townc))],extension(1426 ^ 5)).
% 192.26/185.76  ncf('1.1.1.3.2',plain,[-(less(n7, n65)), rdn_translate(n7, rdn_pos(rdnn(n7))), rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))), rdn_positive_less(rdnn(n7), rdn(rdnn(n5), rdnn(n6)))],extension(2658 ^ 4,bind([[_288798, _288800, _288802, _288804], [rdn(rdnn(n5), rdnn(n6)), rdnn(n7), n65, n7]]))).
% 192.26/185.76  ncf('1.1.1.3.2.1',plain,[-(rdn_translate(n7, rdn_pos(rdnn(n7))))],extension(2080 ^ 5)).
% 192.26/185.76  ncf('1.1.1.3.2.2',plain,[-(rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))))],extension(2196 ^ 5)).
% 192.26/185.76  ncf('1.1.1.3.2.3',plain,[-(rdn_positive_less(rdnn(n7), rdn(rdnn(n5), rdnn(n6)))), rdn_non_zero(rdnn(n6))],extension(2640 ^ 5,bind([[_288132, _288134, _288136], [rdnn(n6), n5, n7]]))).
% 192.26/185.76  ncf('1.1.1.3.2.3.1',plain,[-(rdn_non_zero(rdnn(n6))), rdn_non_zero_digit(rdnn(n6))],extension(2646 ^ 6,bind([[_288346], [n6]]))).
% 192.26/185.76  ncf('1.1.1.3.2.3.1.1',plain,[-(rdn_non_zero_digit(rdnn(n6)))],extension(2588 ^ 7)).
% 192.26/185.76  ncf('1.1.1.4',plain,[-(accept_population(countrybcivilorganization, native, n4)), accept_population(countrybcivilorganization, native, n85), less(n4, n85)],extension(326 ^ 3,bind([[_223431, _223433, _223435, _223437], [native, n4, n85, countrybcivilorganization]]))).
% 192.26/185.76  ncf('1.1.1.4.1',plain,[-(accept_population(countrybcivilorganization, native, n85))],extension(1406 ^ 4)).
% 192.26/185.76  ncf('1.1.1.4.2',plain,[-(less(n4, n85)), rdn_translate(n4, rdn_pos(rdnn(n4))), rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))), rdn_positive_less(rdnn(n4), rdn(rdnn(n5), rdnn(n8)))],extension(2658 ^ 4,bind([[_288798, _288800, _288802, _288804], [rdn(rdnn(n5), rdnn(n8)), rdnn(n4), n85, n4]]))).
% 192.26/185.76  ncf('1.1.1.4.2.1',plain,[-(rdn_translate(n4, rdn_pos(rdnn(n4))))],extension(2074 ^ 5)).
% 192.26/185.76  ncf('1.1.1.4.2.2',plain,[-(rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))))],extension(2236 ^ 5)).
% 192.26/185.76  ncf('1.1.1.4.2.3',plain,[-(rdn_positive_less(rdnn(n4), rdn(rdnn(n5), rdnn(n8)))), rdn_non_zero(rdnn(n8))],extension(2640 ^ 5,bind([[_288132, _288134, _288136], [rdnn(n8), n5, n4]]))).
% 192.26/185.76  ncf('1.1.1.4.2.3.1',plain,[-(rdn_non_zero(rdnn(n8))), rdn_non_zero_digit(rdnn(n8))],extension(2646 ^ 6,bind([[_288346], [n8]]))).
% 192.26/185.76  ncf('1.1.1.4.2.3.1.1',plain,[-(rdn_non_zero_digit(rdnn(n8)))],extension(2592 ^ 7)).
% 192.26/185.76  ncf('1.1.1.5',plain,[-(accept_population(countrybcivilorganization, other, n4)), accept_population(countrybcivilorganization, other, n5), less(n4, n5)],extension(326 ^ 3,bind([[_223431, _223433, _223435, _223437], [other, n4, n5, countrybcivilorganization]]))).
% 192.26/185.76  ncf('1.1.1.5.1',plain,[-(accept_population(countrybcivilorganization, other, n5)), accept_city(countrybcivilorganization, townc)],extension(820 ^ 4,bind([[_237644], [countrybcivilorganization]]))).
% 192.26/185.76  ncf('1.1.1.5.1.1',plain,[-(accept_city(countrybcivilorganization, townc))],extension(1426 ^ 5)).
% 192.26/185.76  ncf('1.1.1.5.2',plain,[-(less(n4, n5)), rdn_translate(n4, rdn_pos(rdnn(n4))), rdn_translate(n5, rdn_pos(rdnn(n5))), rdn_positive_less(rdnn(n4), rdnn(n5))],extension(2658 ^ 4,bind([[_288798, _288800, _288802, _288804], [rdnn(n5), rdnn(n4), n5, n4]]))).
% 192.26/185.76  ncf('1.1.1.5.2.1',plain,[-(rdn_translate(n4, rdn_pos(rdnn(n4))))],extension(2074 ^ 5)).
% 192.26/185.76  ncf('1.1.1.5.2.2',plain,[-(rdn_translate(n5, rdn_pos(rdnn(n5))))],extension(2076 ^ 5)).
% 192.26/185.76  ncf('1.1.1.5.2.3',plain,[-(rdn_positive_less(rdnn(n4), rdnn(n5)))],extension(2604 ^ 5)).
% 192.26/185.76  ncf('1.1.2',plain,[-(accept_leader(countrybcivilorganization, countrybhumanitarianorganization))],extension(1914 ^ 2)).
% 192.26/185.76  ncf('1.1.3',plain,[-(accept_number(countrybcivilorganization, n4))],extension(1984 ^ 2)).
% 192.26/185.76  %-----------------------------------------------------
% 192.26/185.76  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------