nanoCoP---2.0.THM-Prf.s

%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : AGT020+1 : 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:09 EDT 2023

% Result   : Theorem 93.20s 90.54s
% Output   : Proof 93.20s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : AGT020+1 : 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:16:35 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 93.20/90.54  
% 93.20/90.54  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 93.20/90.54  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 93.20/90.54  %-----------------------------------------------------
% 93.20/90.54  ncf(matrix, plain, [(2008 ^ _52555) ^ [_52586, _52588] : [-(accept_population(_52588, christian, _52586))], !, (844 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1480 ^ _19213) ^ [] : [-(rdn_translate(n74, rdn_pos(rdn(rdnn(n4), rdnn(n7)))))], (1906 ^ _19213) ^ [_47079, _47081, _47083] : [rdn_non_zero(_47079), -(rdn_positive_less(rdnn(_47083), rdn(rdnn(_47081), _47079)))], (1424 ^ _19213) ^ [] : [-(rdn_translate(n46, rdn_pos(rdn(rdnn(n6), rdnn(n4)))))], (1088 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1690 ^ _19213) ^ [] : [-(rdn_translate(nn52, rdn_neg(rdn(rdnn(n2), rdnn(n5)))))], (162 ^ _19213) ^ [_21530, _21532] : [-(rdn_non_zero(_21530)), _21532 = _21530, rdn_non_zero(_21532)], (1242 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, countryccivilorganization, towna, n4))], (172 ^ _19213) ^ [_21655, _21657, _21659, _21661] : [-(rdn_translate(_21659, _21655)), rdn_translate(_21661, _21657), _21661 = _21659, _21657 = _21655], (1610 ^ _19213) ^ [] : [-(rdn_translate(nn12, rdn_neg(rdn(rdnn(n2), rdnn(n1)))))], (1056 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, townc, n6))], (1496 ^ _19213) ^ [] : [-(rdn_translate(n82, rdn_pos(rdn(rdnn(n2), rdnn(n8)))))], (970 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (1432 ^ _19213) ^ [] : [-(rdn_translate(n50, rdn_pos(rdn(rdnn(n0), rdnn(n5)))))], (1532 ^ _19213) ^ [] : [-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (1638 ^ _19213) ^ [] : [-(rdn_translate(nn26, rdn_neg(rdn(rdnn(n6), rdnn(n2)))))], (1376 ^ _19213) ^ [] : [-(rdn_translate(n22, rdn_pos(rdn(rdnn(n2), rdnn(n2)))))], (1598 ^ _19213) ^ [] : [-(rdn_translate(nn6, rdn_neg(rdnn(n6))))], (286 ^ _19213) ^ [_23320, _23322] : [_23322 = _23320, -(rdn_neg(_23322) = rdn_neg(_23320))], (274 ^ _19213) ^ [_23154, _23156] : [_23156 = _23154, -(rdnn(_23156) = rdnn(_23154))], (988 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, townc, n6))], (1824 ^ _19213) ^ [] : [-(rdn_translate(nn119, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (1138 ^ _19213) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n6))], (1072 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1258 ^ _19213) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n6)], (1564 ^ _19213) ^ [] : [-(rdn_translate(n116, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1292 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, towna, n6))], (924 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (1210 ^ _19213) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n6))], (1826 ^ _19213) ^ [] : [-(rdn_translate(nn120, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (1674 ^ _19213) ^ [] : [-(rdn_translate(nn44, rdn_neg(rdn(rdnn(n4), rdnn(n4)))))], (1738 ^ _19213) ^ [] : [-(rdn_translate(nn76, rdn_neg(rdn(rdnn(n6), rdnn(n7)))))], (1174 ^ _19213) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (952 ^ _19213) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n5))], (186 ^ _19213) ^ [_21848, _21850, _21852, _21854] : [-(rdn_positive_less(_21852, _21848)), rdn_positive_less(_21854, _21850), _21854 = _21852, _21850 = _21848], (1222 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n3))], (1104 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (1340 ^ _19213) ^ [] : [-(rdn_translate(n4, rdn_pos(rdnn(n4))))], (1406 ^ _19213) ^ [] : [-(rdn_translate(n37, rdn_pos(rdn(rdnn(n7), rdnn(n3)))))], (1150 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (1466 ^ _19213) ^ [] : [-(rdn_translate(n67, rdn_pos(rdn(rdnn(n7), rdnn(n6)))))], (1558 ^ _19213) ^ [] : [-(rdn_translate(n113, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (152 ^ _19213) ^ [_21405, _21407] : [-(rdn_non_zero_digit(_21405)), _21407 = _21405, rdn_non_zero_digit(_21407)], (1296 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1544 ^ _19213) ^ [] : [-(rdn_translate(n106, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (1606 ^ _19213) ^ [] : [-(rdn_translate(nn10, rdn_neg(rdn(rdnn(n0), rdnn(n1)))))], (350 ^ _19213) ^ [_24231, _24233, _24235] : [the_agent_not_in_any_proposed_teams(_24235, _24233, _24231), accept_city(_24235, _24231), accept_leader(_24235, _24233)], (992 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (10 ^ _19213) ^ [_19336, _19338, _19340] : [-(_19340 = _19336), _19340 = _19338, _19338 = _19336], (1084 ^ _19213) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, townc, n6))], (1202 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n6)], (1372 ^ _19213) ^ [] : [-(rdn_translate(n20, rdn_pos(rdn(rdnn(n0), rdnn(n2)))))], (302 ^ _19213) ^ [_23570, _23572, _23574, _23576] : [-(accept_team(_23576, _23570, _23574, _23572)), accept_city(_23576, _23574), accept_leader(_23576, _23570), accept_number(_23576, _23572)], (950 ^ _19213) ^ [] : [-(accept_number(countryacivilorganization, n2))], (1284 ^ _19213) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (1754 ^ _19213) ^ [] : [-(rdn_translate(nn84, rdn_neg(rdn(rdnn(n4), rdnn(n8)))))], (1364 ^ _19213) ^ [] : [-(rdn_translate(n16, rdn_pos(rdn(rdnn(n6), rdnn(n1)))))], (1474 ^ _19213) ^ [] : [-(rdn_translate(n71, rdn_pos(rdn(rdnn(n1), rdnn(n7)))))], (1462 ^ _19213) ^ [] : [-(rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))))], (1360 ^ _19213) ^ [] : [-(rdn_translate(n14, rdn_pos(rdn(rdnn(n4), rdnn(n1)))))], (726 ^ _19213) ^ [_29236] : [-(accept_city(_29236, townb)), accept_population(_29236, atheist, n70), accept_population(_29236, christian, n20), accept_population(_29236, muslim, n8), accept_population(_29236, native, n0), accept_population(_29236, other, n2)], (1018 ^ _19213) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (1640 ^ _19213) ^ [] : [-(rdn_translate(nn27, rdn_neg(rdn(rdnn(n7), rdnn(n2)))))], (292 ^ _19213) ^ [_23439, _23441, _23443, _23445] : [accept_team(_23445, _23439, _23443, _23441), 295 ^ _19213 : [(300 ^ _19213) ^ [] : [-(accept_number(_23445, _23441))], (298 ^ _19213) ^ [] : [-(accept_leader(_23445, _23439))], (296 ^ _19213) ^ [] : [-(accept_city(_23445, _23443))]]], (1800 ^ _19213) ^ [] : [-(rdn_translate(nn107, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (1306 ^ _19213) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (1646 ^ _19213) ^ [] : [-(rdn_translate(nn30, rdn_neg(rdn(rdnn(n0), rdnn(n3)))))], (912 ^ _19213) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n5)], (1386 ^ _19213) ^ [] : [-(rdn_translate(n27, rdn_pos(rdn(rdnn(n7), rdnn(n2)))))], (1252 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (870 ^ _19213) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, cityb, n6))], (920 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n5))], (1528 ^ _19213) ^ [] : [-(rdn_translate(n98, rdn_pos(rdn(rdnn(n8), rdnn(n9)))))], (858 ^ _19213) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1234 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (948 ^ _19213) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, towna, n6))], (1316 ^ _19213) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (874 ^ _19213) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (1776 ^ _19213) ^ [] : [-(rdn_translate(nn95, rdn_neg(rdn(rdnn(n5), rdnn(n9)))))], (1472 ^ _19213) ^ [] : [-(rdn_translate(n70, rdn_pos(rdn(rdnn(n0), rdnn(n7)))))], (898 ^ _19213) ^ [] : [accept_team(countryamedicalorganization, sufferterragovernment, coastvillage, n2)], (1764 ^ _19213) ^ [] : [-(rdn_translate(nn89, rdn_neg(rdn(rdnn(n9), rdnn(n8)))))], (1214 ^ _19213) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n6))], (1226 ^ _19213) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (1814 ^ _19213) ^ [] : [-(rdn_translate(nn114, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (838 ^ _19213) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1596 ^ _19213) ^ [] : [-(rdn_translate(nn5, rdn_neg(rdnn(n5))))], (1370 ^ _19213) ^ [] : [-(rdn_translate(n19, rdn_pos(rdn(rdnn(n9), rdnn(n1)))))], (1282 ^ _19213) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n6))], (1324 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n6)], (1454 ^ _19213) ^ [] : [-(rdn_translate(n61, rdn_pos(rdn(rdnn(n1), rdnn(n6)))))], (1848 ^ _19213) ^ [] : [-(rdn_non_zero_digit(rdnn(n3)))], (1440 ^ _19213) ^ [] : [-(rdn_translate(n54, rdn_pos(rdn(rdnn(n4), rdnn(n5)))))], (1648 ^ _19213) ^ [] : [-(rdn_translate(nn31, rdn_neg(rdn(rdnn(n1), rdnn(n3)))))], (784 ^ _19213) ^ [_29995] : [accept_city(_29995, cityb), 787 ^ _19213 : [(788 ^ _19213) ^ [] : [-(accept_population(_29995, atheist, n78))], (792 ^ _19213) ^ [] : [-(accept_population(_29995, muslim, n1))], (796 ^ _19213) ^ [] : [-(accept_population(_29995, other, n1))], (794 ^ _19213) ^ [] : [-(accept_population(_29995, native, n0))], (790 ^ _19213) ^ [] : [-(accept_population(_29995, christian, n20))]]], (1268 ^ _19213) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, towna, n6)], (1692 ^ _19213) ^ [] : [-(rdn_translate(nn53, rdn_neg(rdn(rdnn(n3), rdnn(n5)))))], (1400 ^ _19213) ^ [] : [-(rdn_translate(n34, rdn_pos(rdn(rdnn(n4), rdnn(n3)))))], (1562 ^ _19213) ^ [] : [-(rdn_translate(n115, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (1438 ^ _19213) ^ [] : [-(rdn_translate(n53, rdn_pos(rdn(rdnn(n3), rdnn(n5)))))], (1864 ^ _19213) ^ [] : [-(rdn_positive_less(rdnn(n1), rdnn(n2)))], (1546 ^ _19213) ^ [] : [-(rdn_translate(n107, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (1096 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (1590 ^ _19213) ^ [] : [-(rdn_translate(nn2, rdn_neg(rdnn(n2))))], (1218 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n3))], (1336 ^ _19213) ^ [] : [-(rdn_translate(n2, rdn_pos(rdnn(n2))))], (1452 ^ _19213) ^ [] : [-(rdn_translate(n60, rdn_pos(rdn(rdnn(n0), rdnn(n6)))))], (102 ^ _19213) ^ [_20674, _20676, _20678, _20680] : [-(accept_number(_20678, _20674)), accept_number(_20680, _20676), _20680 = _20678, _20676 = _20674], (1896 ^ _19213) ^ [_46730, _46732, _46734] : [-(rdn_positive_less(rdn(rdnn(_46734), _46732), rdn(rdnn(_46730), _46732))), rdn_positive_less(rdnn(_46734), rdnn(_46730)), rdn_non_zero(_46732)], (1342 ^ _19213) ^ [] : [-(rdn_translate(n5, rdn_pos(rdnn(n5))))], (1192 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n3)], (1380 ^ _19213) ^ [] : [-(rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))))], (1158 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (852 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n5)], (1068 ^ _19213) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, townc, n6)], (1586 ^ _19213) ^ [] : [-(rdn_translate(n127, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (1396 ^ _19213) ^ [] : [-(rdn_translate(n32, rdn_pos(rdn(rdnn(n2), rdnn(n3)))))], (1098 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (942 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n5))], (1430 ^ _19213) ^ [] : [-(rdn_translate(n49, rdn_pos(rdn(rdnn(n9), rdnn(n4)))))], (1838 ^ _19213) ^ [] : [-(rdn_translate(nn126, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1762 ^ _19213) ^ [] : [-(rdn_translate(nn88, rdn_neg(rdn(rdnn(n8), rdnn(n8)))))], (964 ^ _19213) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n5))], (1728 ^ _19213) ^ [] : [-(rdn_translate(nn71, rdn_neg(rdn(rdnn(n1), rdnn(n7)))))], (1576 ^ _19213) ^ [] : [-(rdn_translate(n122, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (1634 ^ _19213) ^ [] : [-(rdn_translate(nn24, rdn_neg(rdn(rdnn(n4), rdnn(n2)))))], (1720 ^ _19213) ^ [] : [-(rdn_translate(nn67, rdn_neg(rdn(rdnn(n7), rdnn(n6)))))], (1410 ^ _19213) ^ [] : [-(rdn_translate(n39, rdn_pos(rdn(rdnn(n9), rdnn(n3)))))], (1518 ^ _19213) ^ [] : [-(rdn_translate(n93, rdn_pos(rdn(rdnn(n3), rdnn(n9)))))], (1802 ^ _19213) ^ [] : [-(rdn_translate(nn108, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (1090 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, townc, n6))], (936 ^ _19213) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (1326 ^ _19213) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (1658 ^ _19213) ^ [] : [-(rdn_translate(nn36, rdn_neg(rdn(rdnn(n6), rdnn(n3)))))], (968 ^ _19213) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, coastvillage, n6))], (1334 ^ _19213) ^ [] : [-(rdn_translate(n1, rdn_pos(rdnn(n1))))], (1866 ^ _19213) ^ [] : [-(rdn_positive_less(rdnn(n2), rdnn(n3)))], (1768 ^ _19213) ^ [] : [-(rdn_translate(nn91, rdn_neg(rdn(rdnn(n1), rdnn(n9)))))], (1230 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6))], (1608 ^ _19213) ^ [] : [-(rdn_translate(nn11, rdn_neg(rdn(rdnn(n1), rdnn(n1)))))], (1322 ^ _19213) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (1584 ^ _19213) ^ [] : [-(rdn_translate(n126, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1420 ^ _19213) ^ [] : [-(rdn_translate(n44, rdn_pos(rdn(rdnn(n4), rdnn(n4)))))], (1106 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1064 ^ _19213) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, townc, n6)], (1276 ^ _19213) ^ [] : [-(accept_number(sufferterragovernment, n5))], (1166 ^ _19213) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, cityb, n6))], (1176 ^ _19213) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1146 ^ _19213) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (864 ^ _19213) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, cityb, n6))], (854 ^ _19213) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (1332 ^ _19213) ^ [] : [-(rdn_translate(n0, rdn_pos(rdnn(n0))))], (1574 ^ _19213) ^ [] : [-(rdn_translate(n121, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1834 ^ _19213) ^ [] : [-(rdn_translate(nn124, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (1628 ^ _19213) ^ [] : [-(rdn_translate(nn21, rdn_neg(rdn(rdnn(n1), rdnn(n2)))))], (1040 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1008 ^ _19213) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (1318 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (1514 ^ _19213) ^ [] : [-(rdn_translate(n91, rdn_pos(rdn(rdnn(n1), rdnn(n9)))))], (866 ^ _19213) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (1820 ^ _19213) ^ [] : [-(rdn_translate(nn117, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (1636 ^ _19213) ^ [] : [-(rdn_translate(nn25, rdn_neg(rdn(rdnn(n5), rdnn(n2)))))], (1756 ^ _19213) ^ [] : [-(rdn_translate(nn85, rdn_neg(rdn(rdnn(n5), rdnn(n8)))))], (914 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (1494 ^ _19213) ^ [] : [-(rdn_translate(n81, rdn_pos(rdn(rdnn(n1), rdnn(n8)))))], (1656 ^ _19213) ^ [] : [-(rdn_translate(nn35, rdn_neg(rdn(rdnn(n5), rdnn(n3)))))], (1878 ^ _19213) ^ [] : [-(rdn_positive_less(rdnn(n8), rdnn(n9)))], (1450 ^ _19213) ^ [] : [-(rdn_translate(n59, rdn_pos(rdn(rdnn(n9), rdnn(n5)))))], (460 ^ _19213) ^ [_25693] : [accept_city(_25693, sunnysideport), 463 ^ _19213 : [(464 ^ _19213) ^ [] : [-(accept_population(_25693, atheist, n30))], (468 ^ _19213) ^ [] : [-(accept_population(_25693, muslim, n60))], (472 ^ _19213) ^ [] : [-(accept_population(_25693, other, n1))], (470 ^ _19213) ^ [] : [-(accept_population(_25693, native, n1))], (466 ^ _19213) ^ [] : [-(accept_population(_25693, christian, n8))]]], (1368 ^ _19213) ^ [] : [-(rdn_translate(n18, rdn_pos(rdn(rdnn(n8), rdnn(n1)))))], (748 ^ _19213) ^ [_29517] : [accept_city(_29517, townb), 751 ^ _19213 : [(752 ^ _19213) ^ [] : [-(accept_population(_29517, atheist, n70))], (756 ^ _19213) ^ [] : [-(accept_population(_29517, muslim, n8))], (760 ^ _19213) ^ [] : [-(accept_population(_29517, other, n2))], (758 ^ _19213) ^ [] : [-(accept_population(_29517, native, n0))], (754 ^ _19213) ^ [] : [-(accept_population(_29517, christian, n20))]]], (894 ^ _19213) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n2)], (1758 ^ _19213) ^ [] : [-(rdn_translate(nn86, rdn_neg(rdn(rdnn(n6), rdnn(n8)))))], (890 ^ _19213) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n2)], (496 ^ _19213) ^ [_26171] : [accept_city(_26171, centrallakecity), 499 ^ _19213 : [(500 ^ _19213) ^ [] : [-(accept_population(_26171, atheist, n70))], (504 ^ _19213) ^ [] : [-(accept_population(_26171, muslim, n1))], (508 ^ _19213) ^ [] : [-(accept_population(_26171, other, n4))], (506 ^ _19213) ^ [] : [-(accept_population(_26171, native, n10))], (502 ^ _19213) ^ [] : [-(accept_population(_26171, christian, n15))]]], (1014 ^ _19213) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n6))], (916 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (1446 ^ _19213) ^ [] : [-(rdn_translate(n57, rdn_pos(rdn(rdnn(n7), rdnn(n5)))))], (1114 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1060 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (4 ^ _19213) ^ [_19263, _19265] : [_19265 = _19263, -(_19263 = _19265)], (1468 ^ _19213) ^ [] : [-(rdn_translate(n68, rdn_pos(rdn(rdnn(n8), rdnn(n6)))))], (1874 ^ _19213) ^ [] : [-(rdn_positive_less(rdnn(n6), rdnn(n7)))], (2 ^ _19213) ^ [_19240] : [-(_19240 = _19240)], (1134 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (1822 ^ _19213) ^ [] : [-(rdn_translate(nn118, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (1538 ^ _19213) ^ [] : [-(rdn_translate(n103, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (1278 ^ _19213) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n5))], (510 ^ _19213) ^ [_26368] : [-(accept_city(_26368, stjosephburgh)), accept_population(_26368, atheist, n68), accept_population(_26368, christian, n16), accept_population(_26368, muslim, n1), accept_population(_26368, native, n11), accept_population(_26368, other, n4)], (910 ^ _19213) ^ [] : [-(accept_team(countryccivilorganization, countrycmedicalorganization, towna, n4))], (1662 ^ _19213) ^ [] : [-(rdn_translate(nn38, rdn_neg(rdn(rdnn(n8), rdnn(n3)))))], (1436 ^ _19213) ^ [] : [-(rdn_translate(n52, rdn_pos(rdn(rdnn(n2), rdnn(n5)))))], (1854 ^ _19213) ^ [] : [-(rdn_non_zero_digit(rdnn(n6)))], (956 ^ _19213) ^ [] : [-(accept_team(countryacivilorganization, countryafirstaidorganization, coastvillage, n6))], (1264 ^ _19213) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, towna, n6)], (1872 ^ _19213) ^ [] : [-(rdn_positive_less(rdnn(n5), rdnn(n6)))], (1520 ^ _19213) ^ [] : [-(rdn_translate(n94, rdn_pos(rdn(rdnn(n4), rdnn(n9)))))], (1246 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, towna, n6))], (1554 ^ _19213) ^ [] : [-(rdn_translate(n111, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (980 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1126 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1206 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6)], (1696 ^ _19213) ^ [] : [-(rdn_translate(nn55, rdn_neg(rdn(rdnn(n5), rdnn(n5)))))], (344 ^ _19213) ^ [_24150, _24152, _24154] : [any_agent_in_all_proposed_teams(_24154, _24152, _24150), -(accept_leader(_24154, _24152))], (1686 ^ _19213) ^ [] : [-(rdn_translate(nn50, rdn_neg(rdn(rdnn(n0), rdnn(n5)))))], (1286 ^ _19213) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (1010 ^ _19213) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (868 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n4))], (1074 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1486 ^ _19213) ^ [] : [-(rdn_translate(n77, rdn_pos(rdn(rdnn(n7), rdnn(n7)))))], (1714 ^ _19213) ^ [] : [-(rdn_translate(nn64, rdn_neg(rdn(rdnn(n4), rdnn(n6)))))], (1868 ^ _19213) ^ [] : [-(rdn_positive_less(rdnn(n3), rdnn(n4)))], (1726 ^ _19213) ^ [] : [-(rdn_translate(nn70, rdn_neg(rdn(rdnn(n0), rdnn(n7)))))], (1384 ^ _19213) ^ [] : [-(rdn_translate(n26, rdn_pos(rdn(rdnn(n6), rdnn(n2)))))], (62 ^ _19213) ^ [_20052, _20054, _20056, _20058, _20060, _20062] : [-(the_agent_in_all_proposed_teams(_20060, _20056, _20052)), the_agent_in_all_proposed_teams(_20062, _20058, _20054), _20062 = _20060, _20058 = _20056, _20054 = _20052], (1464 ^ _19213) ^ [] : [-(rdn_translate(n66, rdn_pos(rdn(rdnn(n6), rdnn(n6)))))], (1204 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n6)], (1702 ^ _19213) ^ [] : [-(rdn_translate(nn58, rdn_neg(rdn(rdnn(n8), rdnn(n5)))))], (1542 ^ _19213) ^ [] : [-(rdn_translate(n105, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (1506 ^ _19213) ^ [] : [-(rdn_translate(n87, rdn_pos(rdn(rdnn(n7), rdnn(n8)))))], (974 ^ _19213) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n5)], (836 ^ _19213) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, towna, n6))], (820 ^ _19213) ^ [_30470] : [accept_city(_30470, townc), 823 ^ _19213 : [(824 ^ _19213) ^ [] : [-(accept_population(_30470, atheist, n30))], (828 ^ _19213) ^ [] : [-(accept_population(_30470, muslim, n65))], (832 ^ _19213) ^ [] : [-(accept_population(_30470, other, n5))], (830 ^ _19213) ^ [] : [-(accept_population(_30470, native, n0))], (826 ^ _19213) ^ [] : [-(accept_population(_30470, christian, n0))]]], (1508 ^ _19213) ^ [] : [-(rdn_translate(n88, rdn_pos(rdn(rdnn(n8), rdnn(n8)))))], (1650 ^ _19213) ^ [] : [-(rdn_translate(nn32, rdn_neg(rdn(rdnn(n2), rdnn(n3)))))], (1422 ^ _19213) ^ [] : [-(rdn_translate(n45, rdn_pos(rdn(rdnn(n5), rdnn(n4)))))], (1948 ^ _19213) ^ [_48552, _48554, _48556, _48558] : [-(less(_48558, _48556)), rdn_translate(_48558, rdn_neg(_48554)), rdn_translate(_48556, rdn_neg(_48552)), rdn_positive_less(_48552, _48554)], (930 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (1774 ^ _19213) ^ [] : [-(rdn_translate(nn94, rdn_neg(rdn(rdnn(n4), rdnn(n9)))))], (1570 ^ _19213) ^ [] : [-(rdn_translate(n119, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (1478 ^ _19213) ^ [] : [-(rdn_translate(n73, rdn_pos(rdn(rdnn(n3), rdnn(n7)))))], (264 ^ _19213) ^ [_23005, _23007, _23009, _23011] : [-(rdn(_23011, _23007) = rdn(_23009, _23005)), _23011 = _23009, _23007 = _23005], (1680 ^ _19213) ^ [] : [-(rdn_translate(nn47, rdn_neg(rdn(rdnn(n7), rdnn(n4)))))], (1788 ^ _19213) ^ [] : [-(rdn_translate(nn101, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (1124 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1244 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, towna, n6))], (998 ^ _19213) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n6))], (1248 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n6))], (1500 ^ _19213) ^ [] : [-(rdn_translate(n84, rdn_pos(rdn(rdnn(n4), rdnn(n8)))))], (640 ^ _19213) ^ [_28083] : [accept_city(_28083, sunsetpoint), 643 ^ _19213 : [(644 ^ _19213) ^ [] : [-(accept_population(_28083, atheist, n0))], (648 ^ _19213) ^ [] : [-(accept_population(_28083, muslim, n0))], (652 ^ _19213) ^ [] : [-(accept_population(_28083, other, n0))], (650 ^ _19213) ^ [] : [-(accept_population(_28083, native, n100))], (646 ^ _19213) ^ [] : [-(accept_population(_28083, christian, n0))]]], (1456 ^ _19213) ^ [] : [-(rdn_translate(n62, rdn_pos(rdn(rdnn(n2), rdnn(n6)))))], (1654 ^ _19213) ^ [] : [-(rdn_translate(nn34, rdn_neg(rdn(rdnn(n4), rdnn(n3)))))], (1806 ^ _19213) ^ [] : [-(rdn_translate(nn110, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (1172 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1784 ^ _19213) ^ [] : [-(rdn_translate(nn99, rdn_neg(rdn(rdnn(n9), rdnn(n9)))))], (474 ^ _19213) ^ [_25890] : [-(accept_city(_25890, centrallakecity)), accept_population(_25890, atheist, n70), accept_population(_25890, christian, n15), accept_population(_25890, muslim, n1), accept_population(_25890, native, n10), accept_population(_25890, other, n4)], (1504 ^ _19213) ^ [] : [-(rdn_translate(n86, rdn_pos(rdn(rdnn(n6), rdnn(n8)))))], (366 ^ _19213) ^ [_24456] : [-(accept_city(_24456, suffertown)), accept_population(_24456, atheist, n65), accept_population(_24456, christian, n20), accept_population(_24456, muslim, n7), accept_population(_24456, native, n4), accept_population(_24456, other, n4)], (1320 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (1024 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (848 ^ _19213) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (1792 ^ _19213) ^ [] : [-(rdn_translate(nn103, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (1358 ^ _19213) ^ [] : [-(rdn_translate(n13, rdn_pos(rdn(rdnn(n3), rdnn(n1)))))], (1254 ^ _19213) ^ [] : [-(accept_number(sufferterragovernment, n2))], (1312 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, towna, n6))], (1668 ^ _19213) ^ [] : [-(rdn_translate(nn41, rdn_neg(rdn(rdnn(n1), rdnn(n4)))))], (1314 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n6))], (926 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (1344 ^ _19213) ^ [] : [-(rdn_translate(n6, rdn_pos(rdnn(n6))))], (1458 ^ _19213) ^ [] : [-(rdn_translate(n63, rdn_pos(rdn(rdnn(n3), rdnn(n6)))))], (1938 ^ _19213) ^ [_48197, _48199, _48201, _48203] : [-(less(_48203, _48201)), rdn_translate(_48203, rdn_neg(_48199)), rdn_translate(_48201, rdn_pos(_48197))], (946 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (1352 ^ _19213) ^ [] : [-(rdn_translate(n10, rdn_pos(rdn(rdnn(n0), rdnn(n1)))))], (1388 ^ _19213) ^ [] : [-(rdn_translate(n28, rdn_pos(rdn(rdnn(n8), rdnn(n2)))))], (1734 ^ _19213) ^ [] : [-(rdn_translate(nn74, rdn_neg(rdn(rdnn(n4), rdnn(n7)))))], (336 ^ _19213) ^ [_24043, _24045, _24047] : [the_agent_in_all_proposed_teams(_24047, _24045, _24043), 339 ^ _19213 : [(342 ^ _19213) ^ [] : [-(accept_city(_24047, _24043))], (340 ^ _19213) ^ [] : [-(accept_leader(_24047, _24045))]]], (1710 ^ _19213) ^ [] : [-(rdn_translate(nn62, rdn_neg(rdn(rdnn(n2), rdnn(n6)))))], (1780 ^ _19213) ^ [] : [-(rdn_translate(nn97, rdn_neg(rdn(rdnn(n7), rdnn(n9)))))], (1148 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (1664 ^ _19213) ^ [] : [-(rdn_translate(nn39, rdn_neg(rdn(rdnn(n9), rdnn(n3)))))], (1110 ^ _19213) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, cityb, n6))], (1412 ^ _19213) ^ [] : [-(rdn_translate(n40, rdn_pos(rdn(rdnn(n0), rdnn(n4)))))], (938 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n4))], (1156 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1798 ^ _19213) ^ [] : [-(rdn_translate(nn106, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (1142 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n6))], (1170 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1298 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1030 ^ _19213) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, townc, n4))], (1536 ^ _19213) ^ [] : [-(rdn_translate(n102, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1490 ^ _19213) ^ [] : [-(rdn_translate(n79, rdn_pos(rdn(rdnn(n9), rdnn(n7)))))], (1392 ^ _19213) ^ [] : [-(rdn_translate(n30, rdn_pos(rdn(rdnn(n0), rdnn(n3)))))], (1706 ^ _19213) ^ [] : [-(rdn_translate(nn60, rdn_neg(rdn(rdnn(n0), rdnn(n6)))))], (1444 ^ _19213) ^ [] : [-(rdn_translate(n56, rdn_pos(rdn(rdnn(n6), rdnn(n5)))))], (1026 ^ _19213) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1350 ^ _19213) ^ [] : [-(rdn_translate(n9, rdn_pos(rdnn(n9))))], (1860 ^ _19213) ^ [] : [-(rdn_non_zero_digit(rdnn(n9)))], (1044 ^ _19213) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, townc, n6))], (316 ^ _19213) ^ [_23769, _23771, _23773] : [-(accept_number(_23773, _23769)), accept_number(_23773, _23771), less(_23769, _23771)], (1120 ^ _19213) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n6)], (1492 ^ _19213) ^ [] : [-(rdn_translate(n80, rdn_pos(rdn(rdnn(n0), rdnn(n8)))))], (1990 ^ _19213) ^ [_49832, _49834] : [1991 ^ _19213 : [(1994 ^ _19213) ^ [] : [_49834 = _49832], (1992 ^ _19213) ^ [] : [less(_49834, _49832)]], -(less_or_equal(_49834, _49832))], (1108 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1144 ^ _19213) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, cityb, n6))], (882 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (360 ^ _19213) ^ [_24367, _24369] : [min_number_of_proposed_agents(_24369, _24367), -(accept_number(_24369, _24367))], (1100 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (1856 ^ _19213) ^ [] : [-(rdn_non_zero_digit(rdnn(n7)))], (1048 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, townc, n4))], (1038 ^ _19213) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (1676 ^ _19213) ^ [] : [-(rdn_translate(nn45, rdn_neg(rdn(rdnn(n5), rdnn(n4)))))], (1740 ^ _19213) ^ [] : [-(rdn_translate(nn77, rdn_neg(rdn(rdnn(n7), rdnn(n7)))))], (1572 ^ _19213) ^ [] : [-(rdn_translate(n120, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (1086 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, townc, n4))], (1790 ^ _19213) ^ [] : [-(rdn_translate(nn102, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (934 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (424 ^ _19213) ^ [_25215] : [accept_city(_25215, centraltown), 427 ^ _19213 : [(428 ^ _19213) ^ [] : [-(accept_population(_25215, atheist, n54))], (432 ^ _19213) ^ [] : [-(accept_population(_25215, muslim, n3))], (436 ^ _19213) ^ [] : [-(accept_population(_25215, other, n9))], (434 ^ _19213) ^ [] : [-(accept_population(_25215, native, n1))], (430 ^ _19213) ^ [] : [-(accept_population(_25215, christian, n23))]]], (1308 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, towna, n6))], (1970 ^ _19213) ^ [_49244, _49246] : [-(less(_49246, _49244)), -(less(_49244, _49246)), -(_49244 = _49246)], (1852 ^ _19213) ^ [] : [-(rdn_non_zero_digit(rdnn(n5)))], (1548 ^ _19213) ^ [] : [-(rdn_translate(n108, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (1524 ^ _19213) ^ [] : [-(rdn_translate(n96, rdn_pos(rdn(rdnn(n6), rdnn(n9)))))], (246 ^ _19213) ^ [_22692, _22694, _22696, _22698, _22700, _22702] : [-(accept_population(_22700, _22696, _22692)), accept_population(_22702, _22698, _22694), _22702 = _22700, _22698 = _22696, _22694 = _22692], (1744 ^ _19213) ^ [] : [-(rdn_translate(nn79, rdn_neg(rdn(rdnn(n9), rdnn(n7)))))], (996 ^ _19213) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n5))], (116 ^ _19213) ^ [_20867, _20869, _20871, _20873, _20875, _20877] : [-(the_agent_not_in_any_proposed_teams(_20875, _20871, _20867)), the_agent_not_in_any_proposed_teams(_20877, _20873, _20869), _20877 = _20875, _20873 = _20871, _20869 = _20867], (1184 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n2)], (1280 ^ _19213) ^ [] : [-(accept_number(sufferterragovernment, n6))], (1058 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (1160 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1624 ^ _19213) ^ [] : [-(rdn_translate(nn19, rdn_neg(rdn(rdnn(n9), rdnn(n1)))))], (280 ^ _19213) ^ [_23239, _23241] : [_23241 = _23239, -(rdn_pos(_23241) = rdn_pos(_23239))], (1632 ^ _19213) ^ [] : [-(rdn_translate(nn23, rdn_neg(rdn(rdnn(n3), rdnn(n2)))))], (1556 ^ _19213) ^ [] : [-(rdn_translate(n112, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (904 ^ _19213) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n6)], (1180 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n2)], (1560 ^ _19213) ^ [] : [-(rdn_translate(n114, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (1182 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n2)], (1580 ^ _19213) ^ [] : [-(rdn_translate(n124, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (1962 ^ _19213) ^ [_49005, _49007] : [less(_49007, _49005), 1965 ^ _19213 : [(1968 ^ _19213) ^ [] : [_49005 = _49007], (1966 ^ _19213) ^ [] : [less(_49005, _49007)]]], (1022 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1582 ^ _19213) ^ [] : [-(rdn_translate(n125, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (1670 ^ _19213) ^ [] : [-(rdn_translate(nn42, rdn_neg(rdn(rdnn(n2), rdnn(n4)))))], (940 ^ _19213) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (944 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (1000 ^ _19213) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, coastvillage, n6))], (1394 ^ _19213) ^ [] : [-(rdn_translate(n31, rdn_pos(rdn(rdnn(n1), rdnn(n3)))))], (1012 ^ _19213) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n5))], (1736 ^ _19213) ^ [] : [-(rdn_translate(nn75, rdn_neg(rdn(rdnn(n5), rdnn(n7)))))], (1256 ^ _19213) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n2)], (1300 ^ _19213) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (1354 ^ _19213) ^ [] : [-(rdn_translate(n11, rdn_pos(rdn(rdnn(n1), rdnn(n1)))))], (1498 ^ _19213) ^ [] : [-(rdn_translate(n83, rdn_pos(rdn(rdnn(n3), rdnn(n8)))))], (326 ^ _19213) ^ [_23902, _23904, _23906, _23908] : [-(accept_population(_23908, _23902, _23904)), accept_population(_23908, _23902, _23906), less(_23904, _23906)], (1644 ^ _19213) ^ [] : [-(rdn_translate(nn29, rdn_neg(rdn(rdnn(n9), rdnn(n2)))))], (1116 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1808 ^ _19213) ^ [] : [-(rdn_translate(nn111, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (1250 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1592 ^ _19213) ^ [] : [-(rdn_translate(nn3, rdn_neg(rdnn(n3))))], (676 ^ _19213) ^ [_28561] : [accept_city(_28561, towna), 679 ^ _19213 : [(680 ^ _19213) ^ [] : [-(accept_population(_28561, atheist, n75))], (684 ^ _19213) ^ [] : [-(accept_population(_28561, muslim, n1))], (688 ^ _19213) ^ [] : [-(accept_population(_28561, other, n0))], (686 ^ _19213) ^ [] : [-(accept_population(_28561, native, n0))], (682 ^ _19213) ^ [] : [-(accept_population(_28561, christian, n24))]]], (34 ^ _19213) ^ [_19666, _19668, _19670, _19672] : [-(min_number_of_proposed_agents(_19670, _19666)), min_number_of_proposed_agents(_19672, _19668), _19672 = _19670, _19668 = _19666], (1566 ^ _19213) ^ [] : [-(rdn_translate(n117, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (1842 ^ _19213) ^ [] : [-(rdn_translate(nn128, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n2), rdnn(n1))))))], (1712 ^ _19213) ^ [] : [-(rdn_translate(nn63, rdn_neg(rdn(rdnn(n3), rdnn(n6)))))], (1998 ^ _19213) ^ [_50112, _50114, _50116] : [-(less_or_equal(_50112, _50116)), sum(_50116, n1, _50114), less(_50112, _50114)], (1442 ^ _19213) ^ [] : [-(rdn_translate(n55, rdn_pos(rdn(rdnn(n5), rdnn(n5)))))], (1766 ^ _19213) ^ [] : [-(rdn_translate(nn90, rdn_neg(rdn(rdnn(n0), rdnn(n9)))))], (1672 ^ _19213) ^ [] : [-(rdn_translate(nn43, rdn_neg(rdn(rdnn(n3), rdnn(n4)))))], (840 ^ _19213) ^ [] : [-(accept_team(countryahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (1002 ^ _19213) ^ [] : [-(accept_team(sufferterragovernment, countryafirstaidorganization, coastvillage, n6))], (900 ^ _19213) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n6)], (1402 ^ _19213) ^ [] : [-(rdn_translate(n35, rdn_pos(rdn(rdnn(n5), rdnn(n3)))))], (1588 ^ _19213) ^ [] : [-(rdn_translate(nn1, rdn_neg(rdnn(n1))))], (1032 ^ _19213) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (1476 ^ _19213) ^ [] : [-(rdn_translate(n72, rdn_pos(rdn(rdnn(n2), rdnn(n7)))))], (1748 ^ _19213) ^ [] : [-(rdn_translate(nn81, rdn_neg(rdn(rdnn(n1), rdnn(n8)))))], (1600 ^ _19213) ^ [] : [-(rdn_translate(nn7, rdn_neg(rdnn(n7))))], (1602 ^ _19213) ^ [] : [-(rdn_translate(nn8, rdn_neg(rdnn(n8))))], (872 ^ _19213) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, cityb, n6))], (1062 ^ _19213) ^ [] : [accept_team(countryccivilorganization, muslimcountrybhumanitarianorganization, townc, n6)], (1118 ^ _19213) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n5)], (1004 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (438 ^ _19213) ^ [_25412] : [-(accept_city(_25412, sunnysideport)), accept_population(_25412, atheist, n30), accept_population(_25412, christian, n8), accept_population(_25412, muslim, n60), accept_population(_25412, native, n1), accept_population(_25412, other, n1)], (1612 ^ _19213) ^ [] : [-(rdn_translate(nn13, rdn_neg(rdn(rdnn(n3), rdnn(n1)))))], (798 ^ _19213) ^ [_30189] : [-(accept_city(_30189, townc)), accept_population(_30189, atheist, n30), accept_population(_30189, christian, n0), accept_population(_30189, muslim, n65), accept_population(_30189, native, n0), accept_population(_30189, other, n5)], (990 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, townc, n6))], (896 ^ _19213) ^ [] : [accept_team(countryamedicalorganization, christiansufferterrahumanitarianorganization, coastvillage, n2)], (1746 ^ _19213) ^ [] : [-(rdn_translate(nn80, rdn_neg(rdn(rdnn(n0), rdnn(n8)))))], (1684 ^ _19213) ^ [] : [-(rdn_translate(nn49, rdn_neg(rdn(rdnn(n9), rdnn(n4)))))], (1708 ^ _19213) ^ [] : [-(rdn_translate(nn61, rdn_neg(rdn(rdnn(n1), rdnn(n6)))))], (618 ^ _19213) ^ [_27802] : [-(accept_city(_27802, sunsetpoint)), accept_population(_27802, atheist, n0), accept_population(_27802, christian, n0), accept_population(_27802, muslim, n0), accept_population(_27802, native, n100), accept_population(_27802, other, n0)], (1846 ^ _19213) ^ [] : [-(rdn_non_zero_digit(rdnn(n2)))], (982 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1578 ^ _19213) ^ [] : [-(rdn_translate(n123, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (1512 ^ _19213) ^ [] : [-(rdn_translate(n90, rdn_pos(rdn(rdnn(n0), rdnn(n9)))))], (1460 ^ _19213) ^ [] : [-(rdn_translate(n64, rdn_pos(rdn(rdnn(n4), rdnn(n6)))))], (884 ^ _19213) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, towna, n6))], (860 ^ _19213) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, cityb, n6))], (1416 ^ _19213) ^ [] : [-(rdn_translate(n42, rdn_pos(rdn(rdnn(n2), rdnn(n4)))))], (568 ^ _19213) ^ [_27127] : [accept_city(_27127, northport), 571 ^ _19213 : [(572 ^ _19213) ^ [] : [-(accept_population(_27127, atheist, n70))], (576 ^ _19213) ^ [] : [-(accept_population(_27127, muslim, n0))], (580 ^ _19213) ^ [] : [-(accept_population(_27127, other, n2))], (578 ^ _19213) ^ [] : [-(accept_population(_27127, native, n15))], (574 ^ _19213) ^ [] : [-(accept_population(_27127, christian, n13))]]], (1328 ^ _19213) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1414 ^ _19213) ^ [] : [-(rdn_translate(n41, rdn_pos(rdn(rdnn(n1), rdnn(n4)))))], (1082 ^ _19213) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, townc, n6))], (1594 ^ _19213) ^ [] : [-(rdn_translate(nn4, rdn_neg(rdnn(n4))))], (1270 ^ _19213) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n6)], (1006 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (886 ^ _19213) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, towna, n6))], (1752 ^ _19213) ^ [] : [-(rdn_translate(nn83, rdn_neg(rdn(rdnn(n3), rdnn(n8)))))], (1186 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n2)], (1228 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n6))], (1704 ^ _19213) ^ [] : [-(rdn_translate(nn59, rdn_neg(rdn(rdnn(n9), rdnn(n5)))))], (1196 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n2)], (1876 ^ _19213) ^ [] : [-(rdn_positive_less(rdnn(n7), rdnn(n8)))], (1516 ^ _19213) ^ [] : [-(rdn_translate(n92, rdn_pos(rdn(rdnn(n2), rdnn(n9)))))], (20 ^ _19213) ^ [_19473, _19475, _19477, _19479] : [-(accept_leader(_19477, _19473)), accept_leader(_19479, _19475), _19479 = _19477, _19475 = _19473], (1128 ^ _19213) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, cityb, n6))], (1828 ^ _19213) ^ [] : [-(rdn_translate(nn121, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1732 ^ _19213) ^ [] : [-(rdn_translate(nn73, rdn_neg(rdn(rdnn(n3), rdnn(n7)))))], (1426 ^ _19213) ^ [] : [-(rdn_translate(n47, rdn_pos(rdn(rdnn(n7), rdnn(n4)))))], (1484 ^ _19213) ^ [] : [-(rdn_translate(n76, rdn_pos(rdn(rdnn(n6), rdnn(n7)))))], (1294 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, towna, n6))], (582 ^ _19213) ^ [_27324] : [-(accept_city(_27324, coastvillage)), accept_population(_27324, atheist, n12), accept_population(_27324, christian, n3), accept_population(_27324, muslim, n0), accept_population(_27324, native, n85), accept_population(_27324, other, n0)], (1724 ^ _19213) ^ [] : [-(rdn_translate(nn69, rdn_neg(rdn(rdnn(n9), rdnn(n6)))))], (1772 ^ _19213) ^ [] : [-(rdn_translate(nn93, rdn_neg(rdn(rdnn(n3), rdnn(n9)))))], (1830 ^ _19213) ^ [] : [-(rdn_translate(nn122, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (1188 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n3)], (1850 ^ _19213) ^ [] : [-(rdn_non_zero_digit(rdnn(n4)))], (1666 ^ _19213) ^ [] : [-(rdn_translate(nn40, rdn_neg(rdn(rdnn(n0), rdnn(n4)))))], (1804 ^ _19213) ^ [] : [-(rdn_translate(nn109, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (1770 ^ _19213) ^ [] : [-(rdn_translate(nn92, rdn_neg(rdn(rdnn(n2), rdnn(n9)))))], (218 ^ _19213) ^ [_22310, _22312, _22314, _22316] : [-(less(_22314, _22310)), less(_22316, _22312), _22316 = _22314, _22312 = _22310], (1700 ^ _19213) ^ [] : [-(rdn_translate(nn57, rdn_neg(rdn(rdnn(n7), rdnn(n5)))))], (856 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (1112 ^ _19213) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (604 ^ _19213) ^ [_27605] : [accept_city(_27605, coastvillage), 607 ^ _19213 : [(608 ^ _19213) ^ [] : [-(accept_population(_27605, atheist, n12))], (612 ^ _19213) ^ [] : [-(accept_population(_27605, muslim, n0))], (616 ^ _19213) ^ [] : [-(accept_population(_27605, other, n0))], (614 ^ _19213) ^ [] : [-(accept_population(_27605, native, n85))], (610 ^ _19213) ^ [] : [-(accept_population(_27605, christian, n3))]]], (1240 ^ _19213) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (976 ^ _19213) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n6)], (1034 ^ _19213) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (1718 ^ _19213) ^ [] : [-(rdn_translate(nn66, rdn_neg(rdn(rdnn(n6), rdnn(n6)))))], (134 ^ _19213) ^ [_21136, _21138, _21140, _21142, _21144, _21146] : [-(any_agent_in_all_proposed_teams(_21144, _21140, _21136)), any_agent_in_all_proposed_teams(_21146, _21142, _21138), _21146 = _21144, _21142 = _21140, _21138 = _21136], (922 ^ _19213) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (1194 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n3)], (1208 ^ _19213) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n5))], (1858 ^ _19213) ^ [] : [-(rdn_non_zero_digit(rdnn(n8)))], (1482 ^ _19213) ^ [] : [-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))], (1168 ^ _19213) ^ [] : [-(accept_number(countryacivilorganization, n6))], (1066 ^ _19213) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, townc, n6)], (1154 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n6))], (1918 ^ _19213) ^ [_47501, _47503] : [rdn_non_zero(_47501), -(rdn_non_zero(rdn(rdnn(_47503), _47501)))], (1330 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1140 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n5))], (1260 ^ _19213) ^ [] : [-(accept_number(countryccivilorganization, n2))], (906 ^ _19213) ^ [] : [-(the_agent_not_in_any_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (1568 ^ _19213) ^ [] : [-(rdn_translate(n118, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (1052 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, townc, n6))], (1366 ^ _19213) ^ [] : [-(rdn_translate(n17, rdn_pos(rdn(rdnn(n7), rdnn(n1)))))], (1816 ^ _19213) ^ [] : [-(rdn_translate(nn115, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (972 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (1818 ^ _19213) ^ [] : [-(rdn_translate(nn116, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1428 ^ _19213) ^ [] : [-(rdn_translate(n48, rdn_pos(rdn(rdnn(n8), rdnn(n4)))))], (1924 ^ _19213) ^ [_47745, _47747, _47749, _47751] : [-(less(_47751, _47749)), rdn_translate(_47751, rdn_pos(_47747)), rdn_translate(_47749, rdn_pos(_47745)), rdn_positive_less(_47747, _47745)], (1678 ^ _19213) ^ [] : [-(rdn_translate(nn46, rdn_neg(rdn(rdnn(n6), rdnn(n4)))))], (1840 ^ _19213) ^ [] : [-(rdn_translate(nn127, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (1782 ^ _19213) ^ [] : [-(rdn_translate(nn98, rdn_neg(rdn(rdnn(n8), rdnn(n9)))))], (1448 ^ _19213) ^ [] : [-(rdn_translate(n58, rdn_pos(rdn(rdnn(n8), rdnn(n5)))))], (1630 ^ _19213) ^ [] : [-(rdn_translate(nn22, rdn_neg(rdn(rdnn(n2), rdnn(n2)))))], (908 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (1730 ^ _19213) ^ [] : [-(rdn_translate(nn72, rdn_neg(rdn(rdnn(n2), rdnn(n7)))))], (1224 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, countryccivilorganization, towna, n3))], (1796 ^ _19213) ^ [] : [-(rdn_translate(nn105, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (1092 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, townc, n6))], (1178 ^ _19213) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1042 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1642 ^ _19213) ^ [] : [-(rdn_translate(nn28, rdn_neg(rdn(rdnn(n8), rdnn(n2)))))], (1036 ^ _19213) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (1346 ^ _19213) ^ [] : [-(rdn_translate(n7, rdn_pos(rdnn(n7))))], (1614 ^ _19213) ^ [] : [-(rdn_translate(nn14, rdn_neg(rdn(rdnn(n4), rdnn(n1)))))], (1912 ^ _19213) ^ [_47293] : [rdn_non_zero_digit(rdnn(_47293)), -(rdn_non_zero(rdnn(_47293)))], (712 ^ _19213) ^ [_29039] : [accept_city(_29039, citya), 715 ^ _19213 : [(716 ^ _19213) ^ [] : [-(accept_population(_29039, atheist, n75))], (720 ^ _19213) ^ [] : [-(accept_population(_29039, muslim, n0))], (724 ^ _19213) ^ [] : [-(accept_population(_29039, other, n0))], (722 ^ _19213) ^ [] : [-(accept_population(_29039, native, n0))], (718 ^ _19213) ^ [] : [-(accept_population(_29039, christian, n25))]]], (200 ^ _19213) ^ [_22041, _22043, _22045, _22047, _22049, _22051] : [-(sum(_22049, _22045, _22041)), sum(_22051, _22047, _22043), _22051 = _22049, _22047 = _22045, _22043 = _22041], (1200 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n4)], (1078 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1550 ^ _19213) ^ [] : [-(rdn_translate(n109, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (902 ^ _19213) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n6)], (1616 ^ _19213) ^ [] : [-(rdn_translate(nn15, rdn_neg(rdn(rdnn(n5), rdnn(n1)))))], (1604 ^ _19213) ^ [] : [-(rdn_translate(nn9, rdn_neg(rdnn(n9))))], (80 ^ _19213) ^ [_20321, _20323, _20325, _20327, _20329, _20331, _20333, _20335] : [-(accept_team(_20333, _20329, _20325, _20321)), accept_team(_20335, _20331, _20327, _20323), _20335 = _20333, _20331 = _20329, _20327 = _20325, _20323 = _20321], (1404 ^ _19213) ^ [] : [-(rdn_translate(n36, rdn_pos(rdn(rdnn(n6), rdnn(n3)))))], (978 ^ _19213) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (1288 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, towna, n4))], (690 ^ _19213) ^ [_28758] : [-(accept_city(_28758, citya)), accept_population(_28758, atheist, n75), accept_population(_28758, christian, n25), accept_population(_28758, muslim, n0), accept_population(_28758, native, n0), accept_population(_28758, other, n0)], (1054 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (842 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (888 ^ _19213) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (834 ^ _19213) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, cityb, n6))], (1778 ^ _19213) ^ [] : [-(rdn_translate(nn96, rdn_neg(rdn(rdnn(n6), rdnn(n9)))))], (1070 ^ _19213) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, townc, n6)], (1522 ^ _19213) ^ [] : [-(rdn_translate(n95, rdn_pos(rdn(rdnn(n5), rdnn(n9)))))], (1786 ^ _19213) ^ [] : [-(rdn_translate(nn100, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (1626 ^ _19213) ^ [] : [-(rdn_translate(nn20, rdn_neg(rdn(rdnn(n0), rdnn(n2)))))], (762 ^ _19213) ^ [_29714] : [-(accept_city(_29714, cityb)), accept_population(_29714, atheist, n78), accept_population(_29714, christian, n20), accept_population(_29714, muslim, n1), accept_population(_29714, native, n0), accept_population(_29714, other, n1)], (984 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1418 ^ _19213) ^ [] : [-(rdn_translate(n43, rdn_pos(rdn(rdnn(n3), rdnn(n4)))))], (986 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, townc, n6))], (1236 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (1076 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n2))], (1338 ^ _19213) ^ [] : [-(rdn_translate(n3, rdn_pos(rdnn(n3))))], (1540 ^ _19213) ^ [] : [-(rdn_translate(n104, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (958 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1862 ^ _19213) ^ [] : [-(rdn_positive_less(rdnn(n0), rdnn(n1)))], (932 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (846 ^ _19213) ^ [] : [-(accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n2))], (1398 ^ _19213) ^ [] : [-(rdn_translate(n33, rdn_pos(rdn(rdnn(n3), rdnn(n3)))))], (232 ^ _19213) ^ [_22503, _22505, _22507, _22509] : [-(less_or_equal(_22507, _22503)), less_or_equal(_22509, _22505), _22509 = _22507, _22505 = _22503], (1652 ^ _19213) ^ [] : [-(rdn_translate(nn33, rdn_neg(rdn(rdnn(n3), rdnn(n3)))))], (1152 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n5))], (994 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (1162 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1272 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1408 ^ _19213) ^ [] : [-(rdn_translate(n38, rdn_pos(rdn(rdnn(n8), rdnn(n3)))))], (1530 ^ _19213) ^ [] : [-(rdn_translate(n99, rdn_pos(rdn(rdnn(n9), rdnn(n9)))))], (1812 ^ _19213) ^ [] : [-(rdn_translate(nn113, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (878 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (1836 ^ _19213) ^ [] : [-(rdn_translate(nn125, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (1722 ^ _19213) ^ [] : [-(rdn_translate(nn68, rdn_neg(rdn(rdnn(n8), rdnn(n6)))))], (962 ^ _19213) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (1470 ^ _19213) ^ [] : [-(rdn_translate(n69, rdn_pos(rdn(rdnn(n9), rdnn(n6)))))], (1844 ^ _19213) ^ [] : [-(rdn_non_zero_digit(rdnn(n1)))], (1980 ^ _19213) ^ [_49580, _49582] : [less_or_equal(_49582, _49580), -(less(_49582, _49580)), -(_49582 = _49580)], (1742 ^ _19213) ^ [] : [-(rdn_translate(nn78, rdn_neg(rdn(rdnn(n8), rdnn(n7)))))], (1760 ^ _19213) ^ [] : [-(rdn_translate(nn87, rdn_neg(rdn(rdnn(n7), rdnn(n8)))))], (1620 ^ _19213) ^ [] : [-(rdn_translate(nn17, rdn_neg(rdn(rdnn(n7), rdnn(n1)))))], (1382 ^ _19213) ^ [] : [-(rdn_translate(n25, rdn_pos(rdn(rdnn(n5), rdnn(n2)))))], (1262 ^ _19213) ^ [] : [-(accept_number(countryccivilorganization, n3))], (1618 ^ _19213) ^ [] : [-(rdn_translate(nn16, rdn_neg(rdn(rdnn(n6), rdnn(n1)))))], (1694 ^ _19213) ^ [] : [-(rdn_translate(nn54, rdn_neg(rdn(rdnn(n4), rdnn(n5)))))], (1028 ^ _19213) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (388 ^ _19213) ^ [_24737] : [accept_city(_24737, suffertown), 391 ^ _19213 : [(392 ^ _19213) ^ [] : [-(accept_population(_24737, atheist, n65))], (396 ^ _19213) ^ [] : [-(accept_population(_24737, muslim, n7))], (400 ^ _19213) ^ [] : [-(accept_population(_24737, other, n4))], (398 ^ _19213) ^ [] : [-(accept_population(_24737, native, n4))], (394 ^ _19213) ^ [] : [-(accept_population(_24737, christian, n20))]]], (1020 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1310 ^ _19213) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (1290 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, towna, n6))], (546 ^ _19213) ^ [_26846] : [-(accept_city(_26846, northport)), accept_population(_26846, atheist, n70), accept_population(_26846, christian, n13), accept_population(_26846, muslim, n0), accept_population(_26846, native, n15), accept_population(_26846, other, n2)], (1356 ^ _19213) ^ [] : [-(rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))))], (1266 ^ _19213) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, towna, n6)], (966 ^ _19213) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n6))], (1220 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3))], (918 ^ _19213) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n4))], (1832 ^ _19213) ^ [] : [-(rdn_translate(nn123, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (1080 ^ _19213) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, townc, n6))], (1502 ^ _19213) ^ [] : [-(rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))))], (1132 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (960 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1716 ^ _19213) ^ [] : [-(rdn_translate(nn65, rdn_neg(rdn(rdnn(n5), rdnn(n6)))))], (1810 ^ _19213) ^ [] : [-(rdn_translate(nn112, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (1216 ^ _19213) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (1510 ^ _19213) ^ [] : [-(rdn_translate(n89, rdn_pos(rdn(rdnn(n9), rdnn(n8)))))], (1682 ^ _19213) ^ [] : [-(rdn_translate(nn48, rdn_neg(rdn(rdnn(n8), rdnn(n4)))))], (1232 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n6))], (1304 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, towna, n4))], (928 ^ _19213) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, towna, n6))], (1130 ^ _19213) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (1750 ^ _19213) ^ [] : [-(rdn_translate(nn82, rdn_neg(rdn(rdnn(n2), rdnn(n8)))))], (892 ^ _19213) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n2)], (1348 ^ _19213) ^ [] : [-(rdn_translate(n8, rdn_pos(rdnn(n8))))], (1302 ^ _19213) ^ [] : [-(accept_number(countryccivilorganization, n4))], (48 ^ _19213) ^ [_19859, _19861, _19863, _19865] : [-(accept_city(_19863, _19859)), accept_city(_19865, _19861), _19865 = _19863, _19861 = _19859], (862 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (1238 ^ _19213) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (1794 ^ _19213) ^ [] : [-(rdn_translate(nn104, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (1046 ^ _19213) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, townc, n6))], (1198 ^ _19213) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (1526 ^ _19213) ^ [] : [-(rdn_translate(n97, rdn_pos(rdn(rdnn(n7), rdnn(n9)))))], (1870 ^ _19213) ^ [] : [-(rdn_positive_less(rdnn(n4), rdnn(n5)))], (402 ^ _19213) ^ [_24934] : [-(accept_city(_24934, centraltown)), accept_population(_24934, atheist, n54), accept_population(_24934, christian, n23), accept_population(_24934, muslim, n3), accept_population(_24934, native, n1), accept_population(_24934, other, n9)], (1136 ^ _19213) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n5))], (1094 ^ _19213) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, townc, n6))], (1660 ^ _19213) ^ [] : [-(rdn_translate(nn37, rdn_neg(rdn(rdnn(n7), rdnn(n3)))))], (1016 ^ _19213) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1374 ^ _19213) ^ [] : [-(rdn_translate(n21, rdn_pos(rdn(rdnn(n1), rdnn(n2)))))], (850 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n4)], (954 ^ _19213) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n6))], (1488 ^ _19213) ^ [] : [-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))], (1050 ^ _19213) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1880 ^ _19213) ^ [_46113, _46115, _46117] : [-(rdn_positive_less(rdnn(_46117), rdnn(_46113))), rdn_positive_less(rdnn(_46117), rdnn(_46115)), rdn_positive_less(rdnn(_46115), rdnn(_46113))], (1190 ^ _19213) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3)], (1390 ^ _19213) ^ [] : [-(rdn_translate(n29, rdn_pos(rdn(rdnn(n9), rdnn(n2)))))], (1890 ^ _19213) ^ [_46474, _46476, _46478, _46480] : [rdn_positive_less(_46478, _46474), -(rdn_positive_less(rdn(rdnn(_46480), _46478), rdn(rdnn(_46476), _46474)))], (654 ^ _19213) ^ [_28280] : [-(accept_city(_28280, towna)), accept_population(_28280, atheist, n75), accept_population(_28280, christian, n24), accept_population(_28280, muslim, n1), accept_population(_28280, native, n0), accept_population(_28280, other, n0)], (1622 ^ _19213) ^ [] : [-(rdn_translate(nn18, rdn_neg(rdn(rdnn(n8), rdnn(n1)))))], (1362 ^ _19213) ^ [] : [-(rdn_translate(n15, rdn_pos(rdn(rdnn(n5), rdnn(n1)))))], (1434 ^ _19213) ^ [] : [-(rdn_translate(n51, rdn_pos(rdn(rdnn(n1), rdnn(n5)))))], (1212 ^ _19213) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n5))], (880 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1688 ^ _19213) ^ [] : [-(rdn_translate(nn51, rdn_neg(rdn(rdnn(n1), rdnn(n5)))))], (1534 ^ _19213) ^ [] : [-(rdn_translate(n101, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (1378 ^ _19213) ^ [] : [-(rdn_translate(n23, rdn_pos(rdn(rdnn(n3), rdnn(n2)))))], (532 ^ _19213) ^ [_26649] : [accept_city(_26649, stjosephburgh), 535 ^ _19213 : [(536 ^ _19213) ^ [] : [-(accept_population(_26649, atheist, n68))], (540 ^ _19213) ^ [] : [-(accept_population(_26649, muslim, n1))], (544 ^ _19213) ^ [] : [-(accept_population(_26649, other, n4))], (542 ^ _19213) ^ [] : [-(accept_population(_26649, native, n11))], (538 ^ _19213) ^ [] : [-(accept_population(_26649, christian, n16))]]], (1102 ^ _19213) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (876 ^ _19213) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (1164 ^ _19213) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (1122 ^ _19213) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, cityb, n6))], (1552 ^ _19213) ^ [] : [-(rdn_translate(n110, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (1274 ^ _19213) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1698 ^ _19213) ^ [] : [-(rdn_translate(nn56, rdn_neg(rdn(rdnn(n6), rdnn(n5)))))]], input).
% 93.20/90.54  ncf('1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, christian, n25))],start(2008 ^ 0,bind([[_52586, _52588], [n25, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1',plain,[accept_population(muslimcountrybhumanitarianorganization, christian, n25), -(accept_city(muslimcountrybhumanitarianorganization, citya)), accept_population(muslimcountrybhumanitarianorganization, atheist, n75), accept_population(muslimcountrybhumanitarianorganization, muslim, n0), accept_population(muslimcountrybhumanitarianorganization, native, n0), accept_population(muslimcountrybhumanitarianorganization, other, n0)],extension(690 ^ 1,bind([[_28758], [muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1',plain,[accept_city(muslimcountrybhumanitarianorganization, citya), 716 : -(accept_population(muslimcountrybhumanitarianorganization, atheist, n75))],extension(712 ^ 2,bind([[_29039], [muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1',plain,[accept_population(muslimcountrybhumanitarianorganization, atheist, n75), -(accept_population(muslimcountrybhumanitarianorganization, atheist, n75)), muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization, atheist = atheist, n75 = n75],extension(246 ^ 5,bind([[_22692, _22694, _22696, _22698, _22700, _22702], [n75, n75, atheist, atheist, muslimcountrybhumanitarianorganization, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.1',plain,[accept_population(muslimcountrybhumanitarianorganization, atheist, n75), -(accept_city(muslimcountrybhumanitarianorganization, towna)), accept_population(muslimcountrybhumanitarianorganization, christian, n24), accept_population(muslimcountrybhumanitarianorganization, muslim, n1), accept_population(muslimcountrybhumanitarianorganization, native, n0), accept_population(muslimcountrybhumanitarianorganization, other, n0)],extension(654 ^ 6,bind([[_28280], [muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.1.1',plain,[accept_city(muslimcountrybhumanitarianorganization, towna), the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna), accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization)],extension(350 ^ 7,bind([[_24231, _24233, _24235], [towna, countryacivilorganization, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.1.1.1',plain,[-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))],extension(854 ^ 8)).
% 93.20/90.54  ncf('1.1.1.1.1.1.2',plain,[-(accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization)), any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna)],extension(344 ^ 8,bind([[_24150, _24152, _24154], [towna, countryacivilorganization, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.1.1.2.1',plain,[-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))],extension(856 ^ 9)).
% 93.20/90.54  ncf('1.1.1.1.1.2',plain,[-(accept_population(muslimcountrybhumanitarianorganization, christian, n24))],extension(2008 ^ 7,bind([[_52586, _52588], [n24, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.1.3',plain,[-(accept_population(muslimcountrybhumanitarianorganization, muslim, n1)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 7,bind([[_29995], [muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.1.3.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5)],extension(292 ^ 8,bind([[_23439, _23441, _23443, _23445], [countrybhumanitarianorganization, n5, cityb, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.1.3.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))],extension(1176 ^ 9)).
% 93.20/90.54  ncf('1.1.1.1.1.4',plain,[-(accept_population(muslimcountrybhumanitarianorganization, native, n0)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 7,bind([[_29995], [muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.1.4.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5)],extension(292 ^ 8,bind([[_23439, _23441, _23443, _23445], [countrybhumanitarianorganization, n5, cityb, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.1.4.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))],extension(1176 ^ 9)).
% 93.20/90.54  ncf('1.1.1.1.1.5',plain,[-(accept_population(muslimcountrybhumanitarianorganization, other, n0)), accept_city(muslimcountrybhumanitarianorganization, coastvillage)],extension(604 ^ 7,bind([[_27605], [muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.1.5.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, coastvillage)), accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5)],extension(292 ^ 8,bind([[_23439, _23441, _23443, _23445], [christiancountrychumanitarianorganization, n5, coastvillage, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.1.5.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))],extension(858 ^ 9)).
% 93.20/90.54  ncf('1.1.1.1.2',plain,[-(muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization), muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization],extension(4 ^ 6,bind([[_19263, _19265], [muslimcountrybhumanitarianorganization, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.2.1',plain,[-(muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization)],extension(2 ^ 7,bind([[_19240], [muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.1.1.3',plain,[-(atheist = atheist)],extension(2 ^ 6,bind([[_19240], [atheist]]))).
% 93.20/90.54  ncf('1.1.1.1.4',plain,[-(n75 = n75)],extension(2 ^ 6,bind([[_19240], [n75]]))).
% 93.20/90.54  ncf('1.1.2',plain,[-(accept_population(muslimcountrybhumanitarianorganization, atheist, n75)), accept_population(muslimcountrybhumanitarianorganization, atheist, n78), less(n75, n78)],extension(326 ^ 2,bind([[_23902, _23904, _23906, _23908], [atheist, n75, n78, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.2.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, atheist, n78)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 3,bind([[_29995], [muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.2.1.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5)],extension(292 ^ 4,bind([[_23439, _23441, _23443, _23445], [countrybhumanitarianorganization, n5, cityb, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.2.1.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))],extension(1176 ^ 5)).
% 93.20/90.54  ncf('1.1.2.2',plain,[-(less(n75, n78)), rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))), rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))), rdn_positive_less(rdn(rdnn(n5), rdnn(n7)), rdn(rdnn(n8), rdnn(n7)))],extension(1924 ^ 3,bind([[_47745, _47747, _47749, _47751], [rdn(rdnn(n8), rdnn(n7)), rdn(rdnn(n5), rdnn(n7)), n78, n75]]))).
% 93.20/90.54  ncf('1.1.2.2.1',plain,[-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))],extension(1482 ^ 4)).
% 93.20/90.54  ncf('1.1.2.2.2',plain,[-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))],extension(1488 ^ 4)).
% 93.20/90.54  ncf('1.1.2.2.3',plain,[-(rdn_positive_less(rdn(rdnn(n5), rdnn(n7)), rdn(rdnn(n8), rdnn(n7)))), rdn_positive_less(rdnn(n5), rdnn(n8)), rdn_non_zero(rdnn(n7))],extension(1896 ^ 4,bind([[_46730, _46732, _46734], [n8, rdnn(n7), n5]]))).
% 93.20/90.54  ncf('1.1.2.2.3.1',plain,[-(rdn_positive_less(rdnn(n5), rdnn(n8))), rdn_positive_less(rdnn(n5), rdnn(n6)), rdn_positive_less(rdnn(n6), rdnn(n8))],extension(1880 ^ 5,bind([[_46113, _46115, _46117], [n8, n6, n5]]))).
% 93.20/90.54  ncf('1.1.2.2.3.1.1',plain,[-(rdn_positive_less(rdnn(n5), rdnn(n6)))],extension(1872 ^ 6)).
% 93.20/90.54  ncf('1.1.2.2.3.1.2',plain,[-(rdn_positive_less(rdnn(n6), rdnn(n8))), rdn_positive_less(rdnn(n6), rdnn(n7)), rdn_positive_less(rdnn(n7), rdnn(n8))],extension(1880 ^ 6,bind([[_46113, _46115, _46117], [n8, n7, n6]]))).
% 93.20/90.54  ncf('1.1.2.2.3.1.2.1',plain,[-(rdn_positive_less(rdnn(n6), rdnn(n7)))],extension(1874 ^ 7)).
% 93.20/90.54  ncf('1.1.2.2.3.1.2.2',plain,[-(rdn_positive_less(rdnn(n7), rdnn(n8)))],extension(1876 ^ 7)).
% 93.20/90.54  ncf('1.1.2.2.3.2',plain,[-(rdn_non_zero(rdnn(n7))), rdn_non_zero_digit(rdnn(n7))],extension(1912 ^ 5,bind([[_47293], [n7]]))).
% 93.20/90.54  ncf('1.1.2.2.3.2.1',plain,[-(rdn_non_zero_digit(rdnn(n7)))],extension(1856 ^ 6)).
% 93.20/90.54  ncf('1.1.3',plain,[-(accept_population(muslimcountrybhumanitarianorganization, muslim, n0)), accept_population(muslimcountrybhumanitarianorganization, muslim, n1), less(n0, n1)],extension(326 ^ 2,bind([[_23902, _23904, _23906, _23908], [muslim, n0, n1, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.3.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, muslim, n1)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 3,bind([[_29995], [muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.3.1.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5)],extension(292 ^ 4,bind([[_23439, _23441, _23443, _23445], [countrybhumanitarianorganization, n5, cityb, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.3.1.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))],extension(1176 ^ 5)).
% 93.20/90.54  ncf('1.1.3.2',plain,[-(less(n0, n1)), rdn_translate(n0, rdn_pos(rdnn(n0))), rdn_translate(n1, rdn_pos(rdnn(n1))), rdn_positive_less(rdnn(n0), rdnn(n1))],extension(1924 ^ 3,bind([[_47745, _47747, _47749, _47751], [rdnn(n1), rdnn(n0), n1, n0]]))).
% 93.20/90.54  ncf('1.1.3.2.1',plain,[-(rdn_translate(n0, rdn_pos(rdnn(n0))))],extension(1332 ^ 4)).
% 93.20/90.54  ncf('1.1.3.2.2',plain,[-(rdn_translate(n1, rdn_pos(rdnn(n1))))],extension(1334 ^ 4)).
% 93.20/90.54  ncf('1.1.3.2.3',plain,[-(rdn_positive_less(rdnn(n0), rdnn(n1)))],extension(1862 ^ 4)).
% 93.20/90.54  ncf('1.1.4',plain,[-(accept_population(muslimcountrybhumanitarianorganization, native, n0)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 2,bind([[_29995], [muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.4.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5)],extension(292 ^ 3,bind([[_23439, _23441, _23443, _23445], [countrybhumanitarianorganization, n5, cityb, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.4.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))],extension(1176 ^ 4)).
% 93.20/90.54  ncf('1.1.5',plain,[-(accept_population(muslimcountrybhumanitarianorganization, other, n0)), accept_population(muslimcountrybhumanitarianorganization, other, n1), less(n0, n1)],extension(326 ^ 2,bind([[_23902, _23904, _23906, _23908], [other, n0, n1, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.5.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, other, n1)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 3,bind([[_29995], [muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.5.1.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5)],extension(292 ^ 4,bind([[_23439, _23441, _23443, _23445], [countrybhumanitarianorganization, n5, cityb, muslimcountrybhumanitarianorganization]]))).
% 93.20/90.54  ncf('1.1.5.1.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))],extension(1176 ^ 5)).
% 93.20/90.54  ncf('1.1.5.2',plain,[-(less(n0, n1)), rdn_translate(n0, rdn_pos(rdnn(n0))), rdn_translate(n1, rdn_pos(rdnn(n1))), rdn_positive_less(rdnn(n0), rdnn(n1))],extension(1924 ^ 3,bind([[_47745, _47747, _47749, _47751], [rdnn(n1), rdnn(n0), n1, n0]]))).
% 93.20/90.54  ncf('1.1.5.2.1',plain,[-(rdn_translate(n0, rdn_pos(rdnn(n0))))],extension(1332 ^ 4)).
% 93.20/90.54  ncf('1.1.5.2.2',plain,[-(rdn_translate(n1, rdn_pos(rdnn(n1))))],extension(1334 ^ 4)).
% 93.20/90.54  ncf('1.1.5.2.3',plain,[-(rdn_positive_less(rdnn(n0), rdnn(n1)))],extension(1862 ^ 4)).
% 93.20/90.54  %-----------------------------------------------------
% 93.20/90.54  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------