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

% Computer : n010.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 45.72s 44.77s
% Output   : Proof 45.72s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.01/0.07  % Problem  : AGT009+2 : TPTP v8.1.2. Bugfixed v3.1.0.
% 0.01/0.07  % Command  : nanocop.sh %s %d
% 0.07/0.26  % Computer : n010.cluster.edu
% 0.07/0.26  % Model    : x86_64 x86_64
% 0.07/0.26  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.07/0.26  % Memory   : 8042.1875MB
% 0.07/0.26  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.07/0.26  % CPULimit : 300
% 0.07/0.26  % WCLimit  : 300
% 0.07/0.26  % DateTime : Thu May 18 21:52:41 EDT 2023
% 0.11/0.26  % CPUTime  : 
% 45.72/44.77  
% 45.72/44.77  /export/starexec/sandbox2/benchmark/theBenchmark.p is a Theorem
% 45.72/44.77  Start of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 45.72/44.77  %-----------------------------------------------------
% 45.72/44.77  ncf(matrix, plain, [(2742 ^ _191855) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, citya, n2))], !, (2096 ^ _109261) ^ [] : [-(rdn_translate(n15, rdn_pos(rdn(rdnn(n5), rdnn(n1)))))], (654 ^ _109261) ^ [_129861] : [-(accept_city(_129861, towna)), accept_population(_129861, atheist, n75), accept_population(_129861, christian, n24), accept_population(_129861, muslim, n1), accept_population(_129861, native, n0), accept_population(_129861, other, n0)], (1384 ^ _109261) ^ [] : [-(accept_city(countryahumanitarianorganization, coastvillage))], (1338 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, muslim, n65))], (1462 ^ _109261) ^ [] : [-(accept_leader(countryacivilorganization, countryamedicalorganization))], (876 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (1062 ^ _109261) ^ [] : [accept_team(countryccivilorganization, muslimcountrybhumanitarianorganization, townc, n6)], (1346 ^ _109261) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryahumanitarianorganization))], (2238 ^ _109261) ^ [] : [-(rdn_translate(n86, rdn_pos(rdn(rdnn(n6), rdnn(n8)))))], (1056 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, townc, n6))], (944 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (902 ^ _109261) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n6)], (2156 ^ _109261) ^ [] : [-(rdn_translate(n45, rdn_pos(rdn(rdnn(n5), rdnn(n4)))))], (1988 ^ _109261) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (1130 ^ _109261) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (1210 ^ _109261) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n6))], (1778 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n75))], (966 ^ _109261) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n6))], (1766 ^ _109261) ^ [] : [-(accept_number(countryamedicalorganization, n2))], (1458 ^ _109261) ^ [] : [-(accept_city(countryccivilorganization, cityb))], (2318 ^ _109261) ^ [] : [-(rdn_translate(n126, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1756 ^ _109261) ^ [] : [-(accept_city(countryamedicalorganization, cityb))], (2200 ^ _109261) ^ [] : [-(rdn_translate(n67, rdn_pos(rdn(rdnn(n7), rdnn(n6)))))], (2536 ^ _109261) ^ [] : [-(rdn_translate(nn108, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (1710 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, other, n1))], (1850 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, other, n0))], (1192 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n3)], (2148 ^ _109261) ^ [] : [-(rdn_translate(n41, rdn_pos(rdn(rdnn(n1), rdnn(n4)))))], (1984 ^ _109261) ^ [] : [-(accept_number(countrybcivilorganization, n4))], (1430 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, other, n1))], (286 ^ _109261) ^ [_118817, _118819] : [_118819 = _118817, -(rdn_neg(_118819) = rdn_neg(_118817))], (1236 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (2480 ^ _109261) ^ [] : [-(rdn_translate(nn80, rdn_neg(rdn(rdnn(n0), rdnn(n8)))))], (1276 ^ _109261) ^ [] : [-(accept_number(sufferterragovernment, n5))], (2556 ^ _109261) ^ [] : [-(rdn_translate(nn118, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (2412 ^ _109261) ^ [] : [-(rdn_translate(nn46, rdn_neg(rdn(rdnn(n6), rdnn(n4)))))], (1228 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n6))], (1044 ^ _109261) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, townc, n6))], (228 ^ _109261) ^ [_116780, _116782, _116784, _116786] : [-(less_or_equal(_116784, _116780)), less_or_equal(_116786, _116782), _116786 = _116784, _116782 = _116780], (1420 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n65))], (582 ^ _109261) ^ [_127809] : [-(accept_city(_127809, coastvillage)), accept_population(_127809, atheist, n12), accept_population(_127809, christian, n3), accept_population(_127809, muslim, n0), accept_population(_127809, native, n85), accept_population(_127809, other, n0)], (1446 ^ _109261) ^ [] : [accept_number(countryccivilorganization, n5)], (1006 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1578 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, other, n5))], (938 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n4))], (196 ^ _109261) ^ [_115755, _115757, _115759, _115761, _115763, _115765] : [-(sum(_115763, _115759, _115755)), sum(_115765, _115761, _115757), _115765 = _115763, _115761 = _115759, _115757 = _115755], (2160 ^ _109261) ^ [] : [-(rdn_translate(n47, rdn_pos(rdn(rdnn(n7), rdnn(n4)))))], (1564 ^ _109261) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryacivilorganization))], (1728 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n30))], (2614 ^ _109261) ^ [_183973, _183975, _183977] : [-(rdn_positive_less(rdnn(_183977), rdnn(_183973))), rdn_positive_less(rdnn(_183977), rdnn(_183975)), rdn_positive_less(rdnn(_183975), rdnn(_183973))], (1058 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (1798 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, other, n1))], (1804 ^ _109261) ^ [] : [-(accept_city(countryahumanitarianorganization, cityb))], (1964 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, atheist, n75))], (2068 ^ _109261) ^ [] : [-(rdn_translate(n1, rdn_pos(rdnn(n1))))], (1388 ^ _109261) ^ [] : [-(accept_leader(countryafirstaidorganization, countryamedicalorganization))], (1972 ^ _109261) ^ [] : [-(accept_number(countryccivilorganization, n3))], (1180 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n2)], (1822 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, muslim, n1))], (1682 ^ _109261) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization))], (838 ^ _109261) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (2134 ^ _109261) ^ [] : [-(rdn_translate(n34, rdn_pos(rdn(rdnn(n4), rdnn(n3)))))], (1154 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n6))], (2502 ^ _109261) ^ [] : [-(rdn_translate(nn91, rdn_neg(rdn(rdnn(n1), rdnn(n9)))))], (2404 ^ _109261) ^ [] : [-(rdn_translate(nn42, rdn_neg(rdn(rdnn(n2), rdnn(n4)))))], (836 ^ _109261) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, towna, n6))], (2492 ^ _109261) ^ [] : [-(rdn_translate(nn86, rdn_neg(rdn(rdnn(n6), rdnn(n8)))))], (1406 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, native, n85))], (1012 ^ _109261) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n5))], (2612 ^ _109261) ^ [] : [-(rdn_positive_less(rdnn(n8), rdnn(n9)))], (1758 ^ _109261) ^ [] : [-(accept_leader(countryamedicalorganization, countrybhumanitarianorganization))], (1574 ^ _109261) ^ [] : [-(accept_city(countrybhumanitarianorganization, coastvillage))], (1648 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n0))], (1904 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n24))], (1196 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n2)], (2448 ^ _109261) ^ [] : [-(rdn_translate(nn64, rdn_neg(rdn(rdnn(n4), rdnn(n6)))))], (2364 ^ _109261) ^ [] : [-(rdn_translate(nn22, rdn_neg(rdn(rdnn(n2), rdnn(n2)))))], (1706 ^ _109261) ^ [] : [-(accept_city(countrycmedicalorganization, townc))], (1794 ^ _109261) ^ [] : [-(accept_leader(countryacivilorganization, countrybhumanitarianorganization))], (1220 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3))], (1162 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (2240 ^ _109261) ^ [] : [-(rdn_translate(n87, rdn_pos(rdn(rdnn(n7), rdnn(n8)))))], (844 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1880 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n24))], (2014 ^ _109261) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n4))], (2290 ^ _109261) ^ [] : [-(rdn_translate(n112, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (2572 ^ _109261) ^ [] : [-(rdn_translate(nn126, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1114 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (2008 ^ _109261) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrybhumanitarianorganization))], (1780 ^ _109261) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (1226 ^ _109261) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (1068 ^ _109261) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, townc, n6)], (2550 ^ _109261) ^ [] : [-(rdn_translate(nn115, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (918 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n4))], (2366 ^ _109261) ^ [] : [-(rdn_translate(nn23, rdn_neg(rdn(rdnn(n3), rdnn(n2)))))], (2006 ^ _109261) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (2118 ^ _109261) ^ [] : [-(rdn_translate(n26, rdn_pos(rdn(rdnn(n6), rdnn(n2)))))], (1020 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (34 ^ _109261) ^ [_110509, _110511, _110513, _110515, _110517, _110519] : [-(the_agent_in_all_proposed_teams(_110517, _110513, _110509)), the_agent_in_all_proposed_teams(_110519, _110515, _110511), _110519 = _110517, _110515 = _110513, _110511 = _110509], (1942 ^ _109261) ^ [] : [-(accept_number(sufferterragovernment, n1))], (2082 ^ _109261) ^ [] : [-(rdn_translate(n8, rdn_pos(rdnn(n8))))], (2188 ^ _109261) ^ [] : [-(rdn_translate(n61, rdn_pos(rdn(rdnn(n1), rdnn(n6)))))], (798 ^ _109261) ^ [_133945] : [-(accept_city(_133945, townc)), accept_population(_133945, atheist, n30), accept_population(_133945, christian, n0), accept_population(_133945, muslim, n65), accept_population(_133945, native, n0), accept_population(_133945, other, n5)], (862 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (1188 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n3)], (2422 ^ _109261) ^ [] : [-(rdn_translate(nn51, rdn_neg(rdn(rdnn(n1), rdnn(n5)))))], (2600 ^ _109261) ^ [] : [-(rdn_positive_less(rdnn(n2), rdnn(n3)))], (2526 ^ _109261) ^ [] : [-(rdn_translate(nn103, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (1490 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n24))], (1644 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n5))], (874 ^ _109261) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (2498 ^ _109261) ^ [] : [-(rdn_translate(nn89, rdn_neg(rdn(rdnn(n9), rdnn(n8)))))], (1300 ^ _109261) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (2444 ^ _109261) ^ [] : [-(rdn_translate(nn62, rdn_neg(rdn(rdnn(n2), rdnn(n6)))))], (852 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n5)], (2426 ^ _109261) ^ [] : [-(rdn_translate(nn53, rdn_neg(rdn(rdnn(n3), rdnn(n5)))))], (2258 ^ _109261) ^ [] : [-(rdn_translate(n96, rdn_pos(rdn(rdnn(n6), rdnn(n9)))))], (2568 ^ _109261) ^ [] : [-(rdn_translate(nn124, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (1690 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, atheist, n30))], (2342 ^ _109261) ^ [] : [-(rdn_translate(nn11, rdn_neg(rdn(rdnn(n1), rdnn(n1)))))], (1426 ^ _109261) ^ [] : [-(accept_city(countrybcivilorganization, townc))], (2326 ^ _109261) ^ [] : [-(rdn_translate(nn3, rdn_neg(rdnn(n3))))], (2260 ^ _109261) ^ [] : [-(rdn_translate(n97, rdn_pos(rdn(rdnn(n7), rdnn(n9)))))], (106 ^ _109261) ^ [_112917, _112919, _112921, _112923] : [-(accept_number(_112921, _112917)), accept_number(_112923, _112919), _112923 = _112921, _112919 = _112917], (2002 ^ _109261) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (1954 ^ _109261) ^ [] : [-(accept_number(countryacivilorganization, n1))], (2288 ^ _109261) ^ [] : [-(rdn_translate(n111, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (1800 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n20))], (1202 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n6)], (1318 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (820 ^ _109261) ^ [_134451] : [accept_city(_134451, townc), 823 ^ _109261 : [(824 ^ _109261) ^ [] : [-(accept_population(_134451, atheist, n30))], (828 ^ _109261) ^ [] : [-(accept_population(_134451, muslim, n65))], (832 ^ _109261) ^ [] : [-(accept_population(_134451, other, n5))], (830 ^ _109261) ^ [] : [-(accept_population(_134451, native, n0))], (826 ^ _109261) ^ [] : [-(accept_population(_134451, christian, n0))]]], (1996 ^ _109261) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (1890 ^ _109261) ^ [] : [-(accept_leader(countrycmedicalorganization, countryccivilorganization))], (1272 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1038 ^ _109261) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (460 ^ _109261) ^ [_124211] : [accept_city(_124211, sunnysideport), 463 ^ _109261 : [(464 ^ _109261) ^ [] : [-(accept_population(_124211, atheist, n30))], (468 ^ _109261) ^ [] : [-(accept_population(_124211, muslim, n60))], (472 ^ _109261) ^ [] : [-(accept_population(_124211, other, n1))], (470 ^ _109261) ^ [] : [-(accept_population(_124211, native, n1))], (466 ^ _109261) ^ [] : [-(accept_population(_124211, christian, n8))]]], (1224 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, countryccivilorganization, towna, n3))], (1366 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n30))], (1136 ^ _109261) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n5))], (1912 ^ _109261) ^ [] : [-(accept_leader(countrybcivilorganization, countryccivilorganization))], (1148 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (2340 ^ _109261) ^ [] : [-(rdn_translate(nn10, rdn_neg(rdn(rdnn(n0), rdnn(n1)))))], (1970 ^ _109261) ^ [] : [-(accept_city(countryacivilorganization, towna))], (982 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (2296 ^ _109261) ^ [] : [-(rdn_translate(n115, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (762 ^ _109261) ^ [_132939] : [-(accept_city(_132939, cityb)), accept_population(_132939, atheist, n78), accept_population(_132939, christian, n20), accept_population(_132939, muslim, n1), accept_population(_132939, native, n0), accept_population(_132939, other, n1)], (1234 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (2334 ^ _109261) ^ [] : [-(rdn_translate(nn7, rdn_neg(rdnn(n7))))], (2532 ^ _109261) ^ [] : [-(rdn_translate(nn106, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (2682 ^ _109261) ^ [_186412, _186414, _186416, _186418] : [-(less(_186418, _186416)), rdn_translate(_186418, rdn_neg(_186414)), rdn_translate(_186416, rdn_neg(_186412)), rdn_positive_less(_186412, _186414)], (2170 ^ _109261) ^ [] : [-(rdn_translate(n52, rdn_pos(rdn(rdnn(n2), rdnn(n5)))))], (1618 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, muslim, n0))], (2570 ^ _109261) ^ [] : [-(rdn_translate(nn125, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (2428 ^ _109261) ^ [] : [-(rdn_translate(nn54, rdn_neg(rdn(rdnn(n4), rdnn(n5)))))], (1394 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, native, n85))], (2 ^ _109261) ^ [_109385] : [-(_109385 = _109385)], (1636 ^ _109261) ^ [] : [-(accept_leader(sufferterragovernment, countryahumanitarianorganization))], (344 ^ _109261) ^ [_120884, _120886, _120888] : [any_agent_in_all_proposed_teams(_120888, _120886, _120884), -(accept_leader(_120888, _120886))], (936 ^ _109261) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (2594 ^ _109261) ^ [] : [-(rdn_non_zero_digit(rdnn(n9)))], (1622 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, atheist, n12))], (1678 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n78))], (2100 ^ _109261) ^ [] : [-(rdn_translate(n17, rdn_pos(rdn(rdnn(n7), rdnn(n1)))))], (1008 ^ _109261) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (1336 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n5))], (1876 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, native, n0))], (1316 ^ _109261) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (1086 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, townc, n4))], (2032 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n75))], (1518 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, native, n85))], (2174 ^ _109261) ^ [] : [-(rdn_translate(n54, rdn_pos(rdn(rdnn(n4), rdnn(n5)))))], (1308 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, towna, n6))], (2548 ^ _109261) ^ [] : [-(rdn_translate(nn114, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (1816 ^ _109261) ^ [] : [-(accept_number(countryahumanitarianorganization, n1))], (1510 ^ _109261) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, coastvillage))], (1204 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n6)], (2512 ^ _109261) ^ [] : [-(rdn_translate(nn96, rdn_neg(rdn(rdnn(n6), rdnn(n9)))))], (2090 ^ _109261) ^ [] : [-(rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))))], (1572 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n12))], (1270 ^ _109261) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n6)], (1372 ^ _109261) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryamedicalorganization))], (1094 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, townc, n6))], (2230 ^ _109261) ^ [] : [-(rdn_translate(n82, rdn_pos(rdn(rdnn(n2), rdnn(n8)))))], (1716 ^ _109261) ^ [] : [-(accept_city(countrycmedicalorganization, cityb))], (1916 ^ _109261) ^ [] : [-(accept_leader(countrybcivilorganization, christiancountrychumanitarianorganization))], (2104 ^ _109261) ^ [] : [-(rdn_translate(n19, rdn_pos(rdn(rdnn(n9), rdnn(n1)))))], (2514 ^ _109261) ^ [] : [-(rdn_translate(nn97, rdn_neg(rdn(rdnn(n7), rdnn(n9)))))], (2304 ^ _109261) ^ [] : [-(rdn_translate(n119, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (1152 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n5))], (1808 ^ _109261) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (1448 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, other, n1))], (1442 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, atheist, n75))], (1684 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, other, n5))], (954 ^ _109261) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n6))], (2378 ^ _109261) ^ [] : [-(rdn_translate(nn29, rdn_neg(rdn(rdnn(n9), rdnn(n2)))))], (1718 ^ _109261) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrycmedicalorganization))], (882 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (2466 ^ _109261) ^ [] : [-(rdn_translate(nn73, rdn_neg(rdn(rdnn(n3), rdnn(n7)))))], (690 ^ _109261) ^ [_130887] : [-(accept_city(_130887, citya)), accept_population(_130887, atheist, n75), accept_population(_130887, christian, n25), accept_population(_130887, muslim, n0), accept_population(_130887, native, n0), accept_population(_130887, other, n0)], (1034 ^ _109261) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (1704 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n30))], (1898 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, other, n0))], (2486 ^ _109261) ^ [] : [-(rdn_translate(nn83, rdn_neg(rdn(rdnn(n3), rdnn(n8)))))], (1370 ^ _109261) ^ [] : [-(accept_city(countryamedicalorganization, townc))], (1598 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, other, n0))], (1286 ^ _109261) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (942 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n5))], (2084 ^ _109261) ^ [] : [-(rdn_translate(n9, rdn_pos(rdnn(n9))))], (1702 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n0))], (1104 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (2624 ^ _109261) ^ [_184334, _184336, _184338, _184340] : [rdn_positive_less(_184338, _184334), -(rdn_positive_less(rdn(rdnn(_184340), _184338), rdn(rdnn(_184336), _184334)))], (2144 ^ _109261) ^ [] : [-(rdn_translate(n39, rdn_pos(rdn(rdnn(n9), rdnn(n3)))))], (2120 ^ _109261) ^ [] : [-(rdn_translate(n27, rdn_pos(rdn(rdnn(n7), rdnn(n2)))))], (976 ^ _109261) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n6)], (1106 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (2470 ^ _109261) ^ [] : [-(rdn_translate(nn75, rdn_neg(rdn(rdnn(n5), rdnn(n7)))))], (2056 ^ _109261) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (2396 ^ _109261) ^ [] : [-(rdn_translate(nn38, rdn_neg(rdn(rdnn(n8), rdnn(n3)))))], (2242 ^ _109261) ^ [] : [-(rdn_translate(n88, rdn_pos(rdn(rdnn(n8), rdnn(n8)))))], (1946 ^ _109261) ^ [] : [-(accept_number(countryacivilorganization, n5))], (1466 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, native, n85))], (1920 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, other, n0))], (1754 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n78))], (1714 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n78))], (1140 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n5))], (910 ^ _109261) ^ [] : [-(accept_team(countryccivilorganization, countrycmedicalorganization, towna, n4))], (840 ^ _109261) ^ [] : [-(accept_team(countryahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (2046 ^ _109261) ^ [] : [-(accept_number(countrycmedicalorganization, n1))], (510 ^ _109261) ^ [_125757] : [-(accept_city(_125757, stjosephburgh)), accept_population(_125757, atheist, n68), accept_population(_125757, christian, n16), accept_population(_125757, muslim, n1), accept_population(_125757, native, n11), accept_population(_125757, other, n4)], (1934 ^ _109261) ^ [] : [-(accept_number(sufferterragovernment, n5))], (546 ^ _109261) ^ [_126783] : [-(accept_city(_126783, northport)), accept_population(_126783, atheist, n70), accept_population(_126783, christian, n13), accept_population(_126783, muslim, n0), accept_population(_126783, native, n15), accept_population(_126783, other, n2)], (1686 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, muslim, n65))], (1304 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, towna, n4))], (2152 ^ _109261) ^ [] : [-(rdn_translate(n43, rdn_pos(rdn(rdnn(n3), rdnn(n4)))))], (1494 ^ _109261) ^ [] : [accept_leader(christiansufferterrahumanitarianorganization, sufferterragovernment)], (1246 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, towna, n6))], (1408 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n0))], (2504 ^ _109261) ^ [] : [-(rdn_translate(nn92, rdn_neg(rdn(rdnn(n2), rdnn(n9)))))], (2136 ^ _109261) ^ [] : [-(rdn_translate(n35, rdn_pos(rdn(rdnn(n5), rdnn(n3)))))], (886 ^ _109261) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, towna, n6))], (2354 ^ _109261) ^ [] : [-(rdn_translate(nn17, rdn_neg(rdn(rdnn(n7), rdnn(n1)))))], (1624 ^ _109261) ^ [] : [-(accept_city(sufferterragovernment, coastvillage))], (1592 ^ _109261) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countrybcivilorganization))], (1590 ^ _109261) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryccivilorganization))], (896 ^ _109261) ^ [] : [accept_team(countryamedicalorganization, christiansufferterrahumanitarianorganization, coastvillage, n2)], (2028 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, muslim, n1))], (2302 ^ _109261) ^ [] : [-(rdn_translate(n118, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (2040 ^ _109261) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (2566 ^ _109261) ^ [] : [-(rdn_translate(nn123, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (2416 ^ _109261) ^ [] : [-(rdn_translate(nn48, rdn_neg(rdn(rdnn(n8), rdnn(n4)))))], (748 ^ _109261) ^ [_132419] : [accept_city(_132419, townb), 751 ^ _109261 : [(752 ^ _109261) ^ [] : [-(accept_population(_132419, atheist, n70))], (756 ^ _109261) ^ [] : [-(accept_population(_132419, muslim, n8))], (760 ^ _109261) ^ [] : [-(accept_population(_132419, other, n2))], (758 ^ _109261) ^ [] : [-(accept_population(_132419, native, n0))], (754 ^ _109261) ^ [] : [-(accept_population(_132419, christian, n20))]]], (2424 ^ _109261) ^ [] : [-(rdn_translate(nn52, rdn_neg(rdn(rdnn(n2), rdnn(n5)))))], (948 ^ _109261) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, towna, n6))], (990 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, townc, n6))], (1076 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n2))], (1218 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n3))], (1584 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n30))], (1770 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, other, n0))], (1742 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n78))], (2394 ^ _109261) ^ [] : [-(rdn_translate(nn37, rdn_neg(rdn(rdnn(n7), rdnn(n3)))))], (1826 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n75))], (2462 ^ _109261) ^ [] : [-(rdn_translate(nn71, rdn_neg(rdn(rdnn(n1), rdnn(n7)))))], (1166 ^ _109261) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, cityb, n6))], (2272 ^ _109261) ^ [] : [-(rdn_translate(n103, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (1194 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n3)], (984 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, muslimcountrybhumanitarianorganization, townc, n6))], (2312 ^ _109261) ^ [] : [-(rdn_translate(n123, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (2308 ^ _109261) ^ [] : [-(rdn_translate(n121, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1322 ^ _109261) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (2280 ^ _109261) ^ [] : [-(rdn_translate(n107, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (1740 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n20))], (1974 ^ _109261) ^ [] : [-(accept_number(countryccivilorganization, n2))], (1554 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, other, n1))], (1504 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n0))], (1298 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (2518 ^ _109261) ^ [] : [-(rdn_translate(nn99, rdn_neg(rdn(rdnn(n9), rdnn(n9)))))], (1206 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6)], (1514 ^ _109261) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization))], (866 ^ _109261) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (1496 ^ _109261) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, towna))], (2316 ^ _109261) ^ [] : [-(rdn_translate(n125, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (1788 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, christian, n20))], (1746 ^ _109261) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, cityb))], (2000 ^ _109261) ^ [] : [-(accept_number(countrybhumanitarianorganization, n3))], (2506 ^ _109261) ^ [] : [-(rdn_translate(nn93, rdn_neg(rdn(rdnn(n3), rdnn(n9)))))], (2278 ^ _109261) ^ [] : [-(rdn_translate(n106, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (1570 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n3))], (2248 ^ _109261) ^ [] : [-(rdn_translate(n91, rdn_pos(rdn(rdnn(n1), rdnn(n9)))))], (1976 ^ _109261) ^ [] : [-(accept_number(countryccivilorganization, n1))], (950 ^ _109261) ^ [] : [-(accept_number(countryacivilorganization, n2))], (2132 ^ _109261) ^ [] : [-(rdn_translate(n33, rdn_pos(rdn(rdnn(n3), rdnn(n3)))))], (2256 ^ _109261) ^ [] : [-(rdn_translate(n95, rdn_pos(rdn(rdnn(n5), rdnn(n9)))))], (2102 ^ _109261) ^ [] : [-(rdn_translate(n18, rdn_pos(rdn(rdnn(n8), rdnn(n1)))))], (1090 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, townc, n6))], (1888 ^ _109261) ^ [] : [-(accept_city(countryafirstaidorganization, towna))], (846 ^ _109261) ^ [] : [-(accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n2))], (2352 ^ _109261) ^ [] : [-(rdn_translate(nn16, rdn_neg(rdn(rdnn(n6), rdnn(n1)))))], (2602 ^ _109261) ^ [] : [-(rdn_positive_less(rdnn(n3), rdnn(n4)))], (1576 ^ _109261) ^ [] : [-(accept_leader(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization))], (1052 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, townc, n6))], (1042 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (2484 ^ _109261) ^ [] : [-(rdn_translate(nn82, rdn_neg(rdn(rdnn(n2), rdnn(n8)))))], (2034 ^ _109261) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, towna))], (2246 ^ _109261) ^ [] : [-(rdn_translate(n90, rdn_pos(rdn(rdnn(n0), rdnn(n9)))))], (986 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, townc, n6))], (2112 ^ _109261) ^ [] : [-(rdn_translate(n23, rdn_pos(rdn(rdnn(n3), rdnn(n2)))))], (2020 ^ _109261) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n1))], (1248 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n6))], (1670 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n1))], (2130 ^ _109261) ^ [] : [-(rdn_translate(n32, rdn_pos(rdn(rdnn(n2), rdnn(n3)))))], (2542 ^ _109261) ^ [] : [-(rdn_translate(nn111, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (1398 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n3))], (2380 ^ _109261) ^ [] : [-(rdn_translate(nn30, rdn_neg(rdn(rdnn(n0), rdnn(n3)))))], (1080 ^ _109261) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, townc, n6))], (336 ^ _109261) ^ [_120575, _120577, _120579] : [the_agent_in_all_proposed_teams(_120579, _120577, _120575), 339 ^ _109261 : [(342 ^ _109261) ^ [] : [-(accept_city(_120579, _120575))], (340 ^ _109261) ^ [] : [-(accept_leader(_120579, _120577))]]], (1586 ^ _109261) ^ [] : [-(accept_city(countrybhumanitarianorganization, townc))], (1324 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n6)], (2282 ^ _109261) ^ [] : [-(rdn_translate(n108, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (1864 ^ _109261) ^ [] : [-(accept_number(countryafirstaidorganization, n5))], (438 ^ _109261) ^ [_123705] : [-(accept_city(_123705, sunnysideport)), accept_population(_123705, atheist, n30), accept_population(_123705, christian, n8), accept_population(_123705, muslim, n60), accept_population(_123705, native, n1), accept_population(_123705, other, n1)], (1250 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (2732 ^ _109261) ^ [_187972, _187974, _187976] : [-(less_or_equal(_187972, _187976)), sum(_187976, n1, _187974), less(_187972, _187974)], (2108 ^ _109261) ^ [] : [-(rdn_translate(n21, rdn_pos(rdn(rdnn(n1), rdnn(n2)))))], (1830 ^ _109261) ^ [] : [-(accept_leader(countryahumanitarianorganization, sufferterragovernment))], (2576 ^ _109261) ^ [] : [-(rdn_translate(nn128, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n2), rdnn(n1))))))], (1652 ^ _109261) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryahumanitarianorganization))], (1908 ^ _109261) ^ [] : [-(accept_city(countrycmedicalorganization, towna))], (1546 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n30))], (2410 ^ _109261) ^ [] : [-(rdn_translate(nn45, rdn_neg(rdn(rdnn(n5), rdnn(n4)))))], (880 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (2432 ^ _109261) ^ [] : [-(rdn_translate(nn56, rdn_neg(rdn(rdnn(n6), rdnn(n5)))))], (1818 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, other, n0))], (2306 ^ _109261) ^ [] : [-(rdn_translate(n120, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (1694 ^ _109261) ^ [] : [-(accept_leader(countryccivilorganization, countryahumanitarianorganization))], (1404 ^ _109261) ^ [] : [-(accept_leader(countrybcivilorganization, countryacivilorganization))], (1334 ^ _109261) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization))], (424 ^ _109261) ^ [_123185] : [accept_city(_123185, centraltown), 427 ^ _109261 : [(428 ^ _109261) ^ [] : [-(accept_population(_123185, atheist, n54))], (432 ^ _109261) ^ [] : [-(accept_population(_123185, muslim, n3))], (436 ^ _109261) ^ [] : [-(accept_population(_123185, other, n9))], (434 ^ _109261) ^ [] : [-(accept_population(_123185, native, n1))], (430 ^ _109261) ^ [] : [-(accept_population(_123185, christian, n23))]]], (2436 ^ _109261) ^ [] : [-(rdn_translate(nn58, rdn_neg(rdn(rdnn(n8), rdnn(n5)))))], (2386 ^ _109261) ^ [] : [-(rdn_translate(nn33, rdn_neg(rdn(rdnn(n3), rdnn(n3)))))], (1734 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n1))], (1580 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n65))], (1960 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, muslim, n1))], (2464 ^ _109261) ^ [] : [-(rdn_translate(nn72, rdn_neg(rdn(rdnn(n2), rdnn(n7)))))], (1142 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n6))], (1502 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, native, n85))], (1048 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, townc, n4))], (168 ^ _109261) ^ [_114839, _114841, _114843, _114845] : [-(rdn_translate(_114843, _114839)), rdn_translate(_114845, _114841), _114845 = _114843, _114841 = _114839], (1424 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n30))], (1390 ^ _109261) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryamedicalorganization))], (1428 ^ _109261) ^ [] : [-(accept_leader(countrybcivilorganization, countryahumanitarianorganization))], (1134 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (1392 ^ _109261) ^ [] : [-(accept_leader(countrycmedicalorganization, countryacivilorganization))], (2198 ^ _109261) ^ [] : [-(rdn_translate(n66, rdn_pos(rdn(rdnn(n6), rdnn(n6)))))], (2098 ^ _109261) ^ [] : [-(rdn_translate(n16, rdn_pos(rdn(rdnn(n6), rdnn(n1)))))], (1840 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, muslim, n1))], (2402 ^ _109261) ^ [] : [-(rdn_translate(nn41, rdn_neg(rdn(rdnn(n1), rdnn(n4)))))], (1602 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n1))], (1416 ^ _109261) ^ [] : [-(accept_leader(countrybcivilorganization, muslimcountrybhumanitarianorganization))], (1326 ^ _109261) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (1512 ^ _109261) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization))], (2016 ^ _109261) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (1566 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, native, n85))], (1548 ^ _109261) ^ [] : [-(accept_leader(countryafirstaidorganization, countryahumanitarianorganization))], (1260 ^ _109261) ^ [] : [-(accept_number(countryccivilorganization, n2))], (2430 ^ _109261) ^ [] : [-(rdn_translate(nn55, rdn_neg(rdn(rdnn(n5), rdnn(n5)))))], (1410 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, christian, n3))], (1026 ^ _109261) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1768 ^ _109261) ^ [] : [-(accept_number(countryamedicalorganization, n1))], (1418 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, other, n5))], (1966 ^ _109261) ^ [] : [-(accept_number(countryacivilorganization, n6))], (2042 ^ _109261) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (1824 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n24))], (2344 ^ _109261) ^ [] : [-(rdn_translate(nn12, rdn_neg(rdn(rdnn(n2), rdnn(n1)))))], (1854 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, muslim, n1))], (1164 ^ _109261) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (2122 ^ _109261) ^ [] : [-(rdn_translate(n28, rdn_pos(rdn(rdnn(n8), rdnn(n2)))))], (1088 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1886 ^ _109261) ^ [] : [-(accept_leader(countryafirstaidorganization, sufferterragovernment))], (1310 ^ _109261) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (2264 ^ _109261) ^ [] : [-(rdn_translate(n99, rdn_pos(rdn(rdnn(n9), rdnn(n9)))))], (1944 ^ _109261) ^ [] : [-(accept_number(sufferterragovernment, n6))], (1776 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, christian, n24))], (1750 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, other, n1))], (906 ^ _109261) ^ [] : [-(the_agent_not_in_any_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (1244 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, towna, n6))], (2212 ^ _109261) ^ [] : [-(rdn_translate(n73, rdn_pos(rdn(rdnn(n3), rdnn(n7)))))], (2588 ^ _109261) ^ [] : [-(rdn_non_zero_digit(rdnn(n6)))], (2088 ^ _109261) ^ [] : [-(rdn_translate(n11, rdn_pos(rdn(rdnn(n1), rdnn(n1)))))], (2434 ^ _109261) ^ [] : [-(rdn_translate(nn57, rdn_neg(rdn(rdnn(n7), rdnn(n5)))))], (916 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (2562 ^ _109261) ^ [] : [-(rdn_translate(nn121, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (952 ^ _109261) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n5))], (1856 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, christian, n24))], (1122 ^ _109261) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, cityb, n6))], (884 ^ _109261) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, towna, n6))], (1616 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, native, n85))], (1098 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (1208 ^ _109261) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n5))], (978 ^ _109261) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (2222 ^ _109261) ^ [] : [-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))], (1082 ^ _109261) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, townc, n6))], (1550 ^ _109261) ^ [] : [-(accept_city(countryafirstaidorganization, townc))], (1952 ^ _109261) ^ [] : [-(accept_number(countryacivilorganization, n2))], (2298 ^ _109261) ^ [] : [-(rdn_translate(n116, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1018 ^ _109261) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (1910 ^ _109261) ^ [] : [-(accept_leader(countrycmedicalorganization, sufferterragovernment))], (70 ^ _109261) ^ [_111727, _111729, _111731, _111733, _111735, _111737] : [-(any_agent_in_all_proposed_teams(_111735, _111731, _111727)), any_agent_in_all_proposed_teams(_111737, _111733, _111729), _111737 = _111735, _111733 = _111731, _111729 = _111727], (2300 ^ _109261) ^ [] : [-(rdn_translate(n117, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (2052 ^ _109261) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n4))], (1982 ^ _109261) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (2116 ^ _109261) ^ [] : [-(rdn_translate(n25, rdn_pos(rdn(rdnn(n5), rdnn(n2)))))], (2150 ^ _109261) ^ [] : [-(rdn_translate(n42, rdn_pos(rdn(rdnn(n2), rdnn(n4)))))], (2574 ^ _109261) ^ [] : [-(rdn_translate(nn127, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (1254 ^ _109261) ^ [] : [-(accept_number(sufferterragovernment, n2))], (1980 ^ _109261) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryccivilorganization))], (1722 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n5))], (2146 ^ _109261) ^ [] : [-(rdn_translate(n40, rdn_pos(rdn(rdnn(n0), rdnn(n4)))))], (2468 ^ _109261) ^ [] : [-(rdn_translate(nn74, rdn_neg(rdn(rdnn(n4), rdnn(n7)))))], (2286 ^ _109261) ^ [] : [-(rdn_translate(n110, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (1692 ^ _109261) ^ [] : [-(accept_city(countryccivilorganization, townc))], (1314 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n6))], (1296 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (2540 ^ _109261) ^ [] : [-(rdn_translate(nn110, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (1222 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n3))], (1534 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n12))], (1288 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, towna, n4))], (1994 ^ _109261) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrybcivilorganization))], (1000 ^ _109261) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, coastvillage, n6))], (946 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (2244 ^ _109261) ^ [] : [-(rdn_translate(n89, rdn_pos(rdn(rdnn(n9), rdnn(n8)))))], (1814 ^ _109261) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (134 ^ _109261) ^ [_113805, _113807, _113809, _113811] : [-(accept_leader(_113809, _113805)), accept_leader(_113811, _113807), _113811 = _113809, _113807 = _113805], (2224 ^ _109261) ^ [] : [-(rdn_translate(n79, rdn_pos(rdn(rdnn(n9), rdnn(n7)))))], (1892 ^ _109261) ^ [] : [-(accept_leader(countrycmedicalorganization, countrybcivilorganization))], (1540 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, other, n5))], (2128 ^ _109261) ^ [] : [-(rdn_translate(n31, rdn_pos(rdn(rdnn(n1), rdnn(n3)))))], (2454 ^ _109261) ^ [] : [-(rdn_translate(nn67, rdn_neg(rdn(rdnn(n7), rdnn(n6)))))], (1700 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n65))], (1668 ^ _109261) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (2228 ^ _109261) ^ [] : [-(rdn_translate(n81, rdn_pos(rdn(rdnn(n1), rdnn(n8)))))], (2324 ^ _109261) ^ [] : [-(rdn_translate(nn2, rdn_neg(rdnn(n2))))], (1838 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, native, n0))], (1626 ^ _109261) ^ [] : [-(accept_leader(sufferterragovernment, christiancountrychumanitarianorganization))], (1354 ^ _109261) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, cityb))], (1434 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n78))], (1200 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n4)], (280 ^ _109261) ^ [_118619, _118621] : [_118621 = _118619, -(rdn_pos(_118621) = rdn_pos(_118619))], (1124 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (2168 ^ _109261) ^ [] : [-(rdn_translate(n51, rdn_pos(rdn(rdnn(n1), rdnn(n5)))))], (1360 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, other, n5))], (2044 ^ _109261) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (2508 ^ _109261) ^ [] : [-(rdn_translate(nn94, rdn_neg(rdn(rdnn(n4), rdnn(n9)))))], (1764 ^ _109261) ^ [] : [-(accept_number(countryamedicalorganization, n3))], (1620 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, christian, n3))], (1348 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n1))], (1772 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, native, n0))], (2162 ^ _109261) ^ [] : [-(rdn_translate(n48, rdn_pos(rdn(rdnn(n8), rdnn(n4)))))], (10 ^ _109261) ^ [_109696, _109698, _109700] : [-(_109700 = _109696), _109700 = _109698, _109698 = _109696], (2154 ^ _109261) ^ [] : [-(rdn_translate(n44, rdn_pos(rdn(rdnn(n4), rdnn(n4)))))], (2640 ^ _109261) ^ [_184939, _184941, _184943] : [rdn_non_zero(_184939), -(rdn_positive_less(rdnn(_184943), rdn(rdnn(_184941), _184939)))], (1552 ^ _109261) ^ [] : [-(accept_leader(countryafirstaidorganization, countryacivilorganization))], (1320 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (1460 ^ _109261) ^ [] : [-(accept_leader(countryccivilorganization, countryacivilorganization))], (2356 ^ _109261) ^ [] : [-(rdn_translate(nn18, rdn_neg(rdn(rdnn(n8), rdnn(n1)))))], (2350 ^ _109261) ^ [] : [-(rdn_translate(nn15, rdn_neg(rdn(rdnn(n5), rdnn(n1)))))], (1230 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6))], (1662 ^ _109261) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n3))], (2392 ^ _109261) ^ [] : [-(rdn_translate(nn36, rdn_neg(rdn(rdnn(n6), rdnn(n3)))))], (2220 ^ _109261) ^ [] : [-(rdn_translate(n77, rdn_pos(rdn(rdnn(n7), rdnn(n7)))))], (182 ^ _109261) ^ [_115283, _115285, _115287, _115289] : [-(rdn_positive_less(_115287, _115283)), rdn_positive_less(_115289, _115285), _115289 = _115287, _115285 = _115283], (2050 ^ _109261) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n5))], (1738 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n1))], (1118 ^ _109261) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n5)], (1588 ^ _109261) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryahumanitarianorganization))], (912 ^ _109261) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n5)], (1698 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, other, n5))], (842 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1874 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, other, n0))], (932 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (1240 ^ _109261) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (962 ^ _109261) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (2314 ^ _109261) ^ [] : [-(rdn_translate(n124, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (1562 ^ _109261) ^ [] : [-(accept_leader(countryafirstaidorganization, countrybhumanitarianorganization))], (1368 ^ _109261) ^ [] : [-(accept_leader(countryamedicalorganization, countryahumanitarianorganization))], (1852 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, native, n0))], (980 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (2036 ^ _109261) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, sufferterragovernment))], (2030 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n24))], (1102 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (2372 ^ _109261) ^ [] : [-(rdn_translate(nn26, rdn_neg(rdn(rdnn(n6), rdnn(n2)))))], (1524 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n12))], (2494 ^ _109261) ^ [] : [-(rdn_translate(nn87, rdn_neg(rdn(rdnn(n7), rdnn(n8)))))], (1536 ^ _109261) ^ [] : [-(accept_city(countryafirstaidorganization, coastvillage))], (1010 ^ _109261) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (1846 ^ _109261) ^ [] : [-(accept_city(sufferterragovernment, cityb))], (1216 ^ _109261) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (1628 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, other, n5))], (2652 ^ _109261) ^ [_185361, _185363] : [rdn_non_zero(_185361), -(rdn_non_zero(rdn(rdnn(_185363), _185361)))], (1508 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n12))], (1282 ^ _109261) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n6))], (2060 ^ _109261) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (1402 ^ _109261) ^ [] : [-(accept_city(countrycmedicalorganization, coastvillage))], (2586 ^ _109261) ^ [] : [-(rdn_non_zero_digit(rdnn(n5)))], (2608 ^ _109261) ^ [] : [-(rdn_positive_less(rdnn(n6), rdnn(n7)))], (1596 ^ _109261) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countrycmedicalorganization))], (1176 ^ _109261) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1400 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n12))], (868 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n4))], (2124 ^ _109261) ^ [] : [-(rdn_translate(n29, rdn_pos(rdn(rdnn(n9), rdnn(n2)))))], (1650 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n30))], (1344 ^ _109261) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, townc))], (1396 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n0))], (1436 ^ _109261) ^ [] : [-(accept_city(countrybcivilorganization, cityb))], (1612 ^ _109261) ^ [] : [-(accept_leader(sufferterragovernment, countryafirstaidorganization))], (158 ^ _109261) ^ [_114516, _114518] : [-(rdn_non_zero(_114516)), _114518 = _114516, rdn_non_zero(_114518)], (2310 ^ _109261) ^ [] : [-(rdn_translate(n122, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (640 ^ _109261) ^ [_129341] : [accept_city(_129341, sunsetpoint), 643 ^ _109261 : [(644 ^ _109261) ^ [] : [-(accept_population(_129341, atheist, n0))], (648 ^ _109261) ^ [] : [-(accept_population(_129341, muslim, n0))], (652 ^ _109261) ^ [] : [-(accept_population(_129341, other, n0))], (650 ^ _109261) ^ [] : [-(accept_population(_129341, native, n100))], (646 ^ _109261) ^ [] : [-(accept_population(_129341, christian, n0))]]], (1842 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, christian, n20))], (316 ^ _109261) ^ [_119901, _119903, _119905] : [-(accept_number(_119905, _119901)), accept_number(_119905, _119903), less(_119901, _119903)], (2322 ^ _109261) ^ [] : [-(rdn_translate(nn1, rdn_neg(rdnn(n1))))], (274 ^ _109261) ^ [_118401, _118403] : [_118403 = _118401, -(rdnn(_118403) = rdnn(_118401))], (1848 ^ _109261) ^ [] : [-(accept_leader(sufferterragovernment, countrybhumanitarianorganization))], (1858 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, atheist, n75))], (1380 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n3))], (1432 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, christian, n20))], (1868 ^ _109261) ^ [] : [-(accept_number(countryafirstaidorganization, n3))], (1478 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, other, n5))], (1126 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (2584 ^ _109261) ^ [] : [-(rdn_non_zero_digit(rdnn(n4)))], (1452 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, atheist, n78))], (1530 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n0))], (1174 ^ _109261) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (2672 ^ _109261) ^ [_186057, _186059, _186061, _186063] : [-(less(_186063, _186061)), rdn_translate(_186063, rdn_neg(_186059)), rdn_translate(_186061, rdn_pos(_186057))], (1658 ^ _109261) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n5))], (1364 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, christian, n0))], (2074 ^ _109261) ^ [] : [-(rdn_translate(n4, rdn_pos(rdnn(n4))))], (604 ^ _109261) ^ [_128315] : [accept_city(_128315, coastvillage), 607 ^ _109261 : [(608 ^ _109261) ^ [] : [-(accept_population(_128315, atheist, n12))], (612 ^ _109261) ^ [] : [-(accept_population(_128315, muslim, n0))], (616 ^ _109261) ^ [] : [-(accept_population(_128315, other, n0))], (614 ^ _109261) ^ [] : [-(accept_population(_128315, native, n85))], (610 ^ _109261) ^ [] : [-(accept_population(_128315, christian, n3))]]], (2026 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, native, n0))], (1264 ^ _109261) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, towna, n6)], (2578 ^ _109261) ^ [] : [-(rdn_non_zero_digit(rdnn(n1)))], (1144 ^ _109261) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, cityb, n6))], (2560 ^ _109261) ^ [] : [-(rdn_translate(nn120, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (1660 ^ _109261) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n4))], (2610 ^ _109261) ^ [] : [-(rdn_positive_less(rdnn(n7), rdnn(n8)))], (1278 ^ _109261) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n5))], (1374 ^ _109261) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryafirstaidorganization))], (2516 ^ _109261) ^ [] : [-(rdn_translate(nn98, rdn_neg(rdn(rdnn(n8), rdnn(n9)))))], (878 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (2530 ^ _109261) ^ [] : [-(rdn_translate(nn105, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (2196 ^ _109261) ^ [] : [-(rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))))], (1774 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, muslim, n1))], (2336 ^ _109261) ^ [] : [-(rdn_translate(nn8, rdn_neg(rdnn(n8))))], (1116 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1362 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, muslim, n65))], (1484 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, atheist, n30))], (834 ^ _109261) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, cityb, n6))], (1342 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n30))], (934 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (302 ^ _109261) ^ [_119465, _119467, _119469, _119471] : [-(accept_team(_119471, _119465, _119469, _119467)), accept_city(_119471, _119469), accept_leader(_119471, _119465), accept_number(_119471, _119467)], (1186 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n2)], (1128 ^ _109261) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, cityb, n6))], (1922 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, native, n0))], (1172 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1182 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n2)], (2012 ^ _109261) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (1720 ^ _109261) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization))], (1214 ^ _109261) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n6))], (2376 ^ _109261) ^ [] : [-(rdn_translate(nn28, rdn_neg(rdn(rdnn(n8), rdnn(n2)))))], (2598 ^ _109261) ^ [] : [-(rdn_positive_less(rdnn(n1), rdnn(n2)))], (784 ^ _109261) ^ [_133445] : [accept_city(_133445, cityb), 787 ^ _109261 : [(788 ^ _109261) ^ [] : [-(accept_population(_133445, atheist, n78))], (792 ^ _109261) ^ [] : [-(accept_population(_133445, muslim, n1))], (796 ^ _109261) ^ [] : [-(accept_population(_133445, other, n1))], (794 ^ _109261) ^ [] : [-(accept_population(_133445, native, n0))], (790 ^ _109261) ^ [] : [-(accept_population(_133445, christian, n20))]]], (2184 ^ _109261) ^ [] : [-(rdn_translate(n59, rdn_pos(rdn(rdnn(n9), rdnn(n5)))))], (2524 ^ _109261) ^ [] : [-(rdn_translate(nn102, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1792 ^ _109261) ^ [] : [-(accept_city(countryacivilorganization, cityb))], (1950 ^ _109261) ^ [] : [-(accept_number(countryacivilorganization, n3))], (928 ^ _109261) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, towna, n6))], (1024 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (2490 ^ _109261) ^ [] : [-(rdn_translate(nn85, rdn_neg(rdn(rdnn(n5), rdnn(n8)))))], (1302 ^ _109261) ^ [] : [-(accept_number(countryccivilorganization, n4))], (1666 ^ _109261) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n1))], (1520 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n0))], (2164 ^ _109261) ^ [] : [-(rdn_translate(n49, rdn_pos(rdn(rdnn(n9), rdnn(n4)))))], (1796 ^ _109261) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryacivilorganization))], (2010 ^ _109261) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrycmedicalorganization))], (2474 ^ _109261) ^ [] : [-(rdn_translate(nn77, rdn_neg(rdn(rdnn(n7), rdnn(n7)))))], (676 ^ _109261) ^ [_130367] : [accept_city(_130367, towna), 679 ^ _109261 : [(680 ^ _109261) ^ [] : [-(accept_population(_130367, atheist, n75))], (684 ^ _109261) ^ [] : [-(accept_population(_130367, muslim, n1))], (688 ^ _109261) ^ [] : [-(accept_population(_130367, other, n0))], (686 ^ _109261) ^ [] : [-(accept_population(_130367, native, n0))], (682 ^ _109261) ^ [] : [-(accept_population(_130367, christian, n24))]]], (474 ^ _109261) ^ [_124731] : [-(accept_city(_124731, centrallakecity)), accept_population(_124731, atheist, n70), accept_population(_124731, christian, n15), accept_population(_124731, muslim, n1), accept_population(_124731, native, n10), accept_population(_124731, other, n4)], (1054 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (856 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (2194 ^ _109261) ^ [] : [-(rdn_translate(n64, rdn_pos(rdn(rdnn(n4), rdnn(n6)))))], (1640 ^ _109261) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryccivilorganization))], (1332 ^ _109261) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryacivilorganization))], (892 ^ _109261) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n2)], (1638 ^ _109261) ^ [] : [-(accept_city(sufferterragovernment, townc))], (2142 ^ _109261) ^ [] : [-(rdn_translate(n38, rdn_pos(rdn(rdnn(n8), rdnn(n3)))))], (496 ^ _109261) ^ [_125237] : [accept_city(_125237, centrallakecity), 499 ^ _109261 : [(500 ^ _109261) ^ [] : [-(accept_population(_125237, atheist, n70))], (504 ^ _109261) ^ [] : [-(accept_population(_125237, muslim, n1))], (508 ^ _109261) ^ [] : [-(accept_population(_125237, other, n4))], (506 ^ _109261) ^ [] : [-(accept_population(_125237, native, n10))], (502 ^ _109261) ^ [] : [-(accept_population(_125237, christian, n15))]]], (2172 ^ _109261) ^ [] : [-(rdn_translate(n53, rdn_pos(rdn(rdnn(n3), rdnn(n5)))))], (2226 ^ _109261) ^ [] : [-(rdn_translate(n80, rdn_pos(rdn(rdnn(n0), rdnn(n8)))))], (2182 ^ _109261) ^ [] : [-(rdn_translate(n58, rdn_pos(rdn(rdnn(n8), rdnn(n5)))))], (2110 ^ _109261) ^ [] : [-(rdn_translate(n22, rdn_pos(rdn(rdnn(n2), rdnn(n2)))))], (1656 ^ _109261) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryacivilorganization))], (1932 ^ _109261) ^ [] : [-(accept_leader(countrybcivilorganization, sufferterragovernment))], (4 ^ _109261) ^ [_109492, _109494] : [_109494 = _109492, -(_109492 = _109494)], (1030 ^ _109261) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, townc, n4))], (1266 ^ _109261) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, towna, n6)], (1110 ^ _109261) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, cityb, n6))], (1488 ^ _109261) ^ [] : [-(accept_city(countryacivilorganization, townc))], (1500 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n0))], (1158 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1178 ^ _109261) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (2166 ^ _109261) ^ [] : [-(rdn_translate(n50, rdn_pos(rdn(rdnn(n0), rdnn(n5)))))], (1046 ^ _109261) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, townc, n6))], (1474 ^ _109261) ^ [] : [-(accept_city(countryacivilorganization, coastvillage))], (898 ^ _109261) ^ [] : [accept_team(countryamedicalorganization, sufferterragovernment, coastvillage, n2)], (366 ^ _109261) ^ [_121653] : [-(accept_city(_121653, suffertown)), accept_population(_121653, atheist, n65), accept_population(_121653, christian, n20), accept_population(_121653, muslim, n7), accept_population(_121653, native, n4), accept_population(_121653, other, n4)], (2596 ^ _109261) ^ [] : [-(rdn_positive_less(rdnn(n0), rdnn(n1)))], (1962 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, christian, n24))], (1918 ^ _109261) ^ [] : [-(accept_leader(countrybcivilorganization, countrycmedicalorganization))], (1894 ^ _109261) ^ [] : [-(accept_leader(countrycmedicalorganization, countrybhumanitarianorganization))], (1760 ^ _109261) ^ [] : [-(accept_number(countryamedicalorganization, n5))], (1170 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1352 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n78))], (2250 ^ _109261) ^ [] : [-(rdn_translate(n92, rdn_pos(rdn(rdnn(n2), rdnn(n9)))))], (2400 ^ _109261) ^ [] : [-(rdn_translate(nn40, rdn_neg(rdn(rdnn(n0), rdnn(n4)))))], (1440 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, christian, n24))], (1168 ^ _109261) ^ [] : [-(accept_number(countryacivilorganization, n6))], (2320 ^ _109261) ^ [] : [-(rdn_translate(n127, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (1464 ^ _109261) ^ [] : [-(accept_leader(countryacivilorganization, countryafirstaidorganization))], (1412 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n12))], (1744 ^ _109261) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization))], (2440 ^ _109261) ^ [] : [-(rdn_translate(nn60, rdn_neg(rdn(rdnn(n0), rdnn(n6)))))], (1654 ^ _109261) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, townc))], (1356 ^ _109261) ^ [] : [accept_city(countryamedicalorganization, coastvillage)], (2254 ^ _109261) ^ [] : [-(rdn_translate(n94, rdn_pos(rdn(rdnn(n4), rdnn(n9)))))], (402 ^ _109261) ^ [_122679] : [-(accept_city(_122679, centraltown)), accept_population(_122679, atheist, n54), accept_population(_122679, christian, n23), accept_population(_122679, muslim, n3), accept_population(_122679, native, n1), accept_population(_122679, other, n9)], (2232 ^ _109261) ^ [] : [-(rdn_translate(n83, rdn_pos(rdn(rdnn(n3), rdnn(n8)))))], (2018 ^ _109261) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (904 ^ _109261) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n6)], (1108 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1480 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, muslim, n65))], (2398 ^ _109261) ^ [] : [-(rdn_translate(nn39, rdn_neg(rdn(rdnn(n9), rdnn(n3)))))], (1828 ^ _109261) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (2070 ^ _109261) ^ [] : [-(rdn_translate(n2, rdn_pos(rdnn(n2))))], (1138 ^ _109261) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n6))], (2362 ^ _109261) ^ [] : [-(rdn_translate(nn21, rdn_neg(rdn(rdnn(n1), rdnn(n2)))))], (1414 ^ _109261) ^ [] : [-(accept_city(countrybcivilorganization, coastvillage))], (2460 ^ _109261) ^ [] : [-(rdn_translate(nn70, rdn_neg(rdn(rdnn(n0), rdnn(n7)))))], (1812 ^ _109261) ^ [] : [-(accept_number(countryahumanitarianorganization, n3))], (1634 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, atheist, n30))], (974 ^ _109261) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n5)], (1072 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1294 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, towna, n6))], (2388 ^ _109261) ^ [] : [-(rdn_translate(nn34, rdn_neg(rdn(rdnn(n4), rdnn(n3)))))], (2206 ^ _109261) ^ [] : [-(rdn_translate(n70, rdn_pos(rdn(rdnn(n0), rdnn(n7)))))], (914 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (864 ^ _109261) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, cityb, n6))], (968 ^ _109261) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, coastvillage, n6))], (1748 ^ _109261) ^ [] : [-(accept_leader(countryamedicalorganization, countryacivilorganization))], (1382 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n12))], (2724 ^ _109261) ^ [_187692, _187694] : [2725 ^ _109261 : [(2728 ^ _109261) ^ [] : [_187694 = _187692], (2726 ^ _109261) ^ [] : [less(_187694, _187692)]], -(less_or_equal(_187694, _187692))], (922 ^ _109261) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (2658 ^ _109261) ^ [_185605, _185607, _185609, _185611] : [-(less(_185611, _185609)), rdn_translate(_185611, rdn_pos(_185607)), rdn_translate(_185609, rdn_pos(_185605)), rdn_positive_less(_185607, _185605)], (1730 ^ _109261) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, townc))], (1022 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (960 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1092 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, townc, n6))], (1672 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, native, n0))], (2054 ^ _109261) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (2476 ^ _109261) ^ [] : [-(rdn_translate(nn78, rdn_neg(rdn(rdnn(n8), rdnn(n7)))))], (2038 ^ _109261) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (1978 ^ _109261) ^ [] : [-(accept_number(countryccivilorganization, n4))], (1958 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, native, n0))], (2186 ^ _109261) ^ [] : [-(rdn_translate(n60, rdn_pos(rdn(rdnn(n0), rdnn(n6)))))], (1832 ^ _109261) ^ [] : [-(accept_city(countryahumanitarianorganization, towna))], (1064 ^ _109261) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, townc, n6)], (2580 ^ _109261) ^ [] : [-(rdn_non_zero_digit(rdnn(n2)))], (1736 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, native, n0))], (2384 ^ _109261) ^ [] : [-(rdn_translate(nn32, rdn_neg(rdn(rdnn(n2), rdnn(n3)))))], (1862 ^ _109261) ^ [] : [-(accept_leader(countryccivilorganization, sufferterragovernment))], (1112 ^ _109261) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (2456 ^ _109261) ^ [] : [-(rdn_translate(nn68, rdn_neg(rdn(rdnn(n8), rdnn(n6)))))], (1256 ^ _109261) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n2)], (2234 ^ _109261) ^ [] : [-(rdn_translate(n84, rdn_pos(rdn(rdnn(n4), rdnn(n8)))))], (2138 ^ _109261) ^ [] : [-(rdn_translate(n36, rdn_pos(rdn(rdnn(n6), rdnn(n3)))))], (2022 ^ _109261) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (1732 ^ _109261) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryahumanitarianorganization))], (726 ^ _109261) ^ [_131913] : [-(accept_city(_131913, townb)), accept_population(_131913, atheist, n70), accept_population(_131913, christian, n20), accept_population(_131913, muslim, n8), accept_population(_131913, native, n0), accept_population(_131913, other, n2)], (1990 ^ _109261) ^ [] : [-(accept_number(countrybcivilorganization, n1))], (2266 ^ _109261) ^ [] : [-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (1060 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (292 ^ _109261) ^ [_119130, _119132, _119134, _119136] : [accept_team(_119136, _119130, _119134, _119132), 295 ^ _109261 : [(300 ^ _109261) ^ [] : [-(accept_number(_119136, _119132))], (298 ^ _109261) ^ [] : [-(accept_leader(_119136, _119130))], (296 ^ _109261) ^ [] : [-(accept_city(_119136, _119134))]]], (2270 ^ _109261) ^ [] : [-(rdn_translate(n102, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1558 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n78))], (926 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (1600 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, native, n0))], (1036 ^ _109261) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (1844 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, atheist, n78))], (1860 ^ _109261) ^ [] : [-(accept_city(countryccivilorganization, towna))], (2452 ^ _109261) ^ [] : [-(rdn_translate(nn66, rdn_neg(rdn(rdnn(n6), rdnn(n6)))))], (1928 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n75))], (2178 ^ _109261) ^ [] : [-(rdn_translate(n56, rdn_pos(rdn(rdnn(n6), rdnn(n5)))))], (1378 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, muslim, n0))], (618 ^ _109261) ^ [_128835] : [-(accept_city(_128835, sunsetpoint)), accept_population(_128835, atheist, n0), accept_population(_128835, christian, n0), accept_population(_128835, muslim, n0), accept_population(_128835, native, n100), accept_population(_128835, other, n0)], (1762 ^ _109261) ^ [] : [-(accept_number(countryamedicalorganization, n4))], (2214 ^ _109261) ^ [] : [-(rdn_translate(n74, rdn_pos(rdn(rdnn(n4), rdnn(n7)))))], (1472 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, atheist, n12))], (1582 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n0))], (2328 ^ _109261) ^ [] : [-(rdn_translate(nn4, rdn_neg(rdnn(n4))))], (2024 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n0))], (1156 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (2294 ^ _109261) ^ [] : [-(rdn_translate(n114, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (2332 ^ _109261) ^ [] : [-(rdn_translate(nn6, rdn_neg(rdnn(n6))))], (2358 ^ _109261) ^ [] : [-(rdn_translate(nn19, rdn_neg(rdn(rdnn(n9), rdnn(n1)))))], (1198 ^ _109261) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (850 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n4)], (2078 ^ _109261) ^ [] : [-(rdn_translate(n6, rdn_pos(rdnn(n6))))], (994 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (20 ^ _109261) ^ [_110037, _110039, _110041, _110043] : [-(min_number_of_proposed_agents(_110041, _110037)), min_number_of_proposed_agents(_110043, _110039), _110043 = _110041, _110039 = _110037], (1146 ^ _109261) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (900 ^ _109261) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n6)], (1290 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, towna, n6))], (1190 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3)], (2086 ^ _109261) ^ [] : [-(rdn_translate(n10, rdn_pos(rdn(rdnn(n0), rdnn(n1)))))], (1096 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (2510 ^ _109261) ^ [] : [-(rdn_translate(nn95, rdn_neg(rdn(rdnn(n5), rdnn(n9)))))], (1674 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n1))], (1940 ^ _109261) ^ [] : [-(accept_number(sufferterragovernment, n2))], (1312 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, towna, n6))], (888 ^ _109261) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (2488 ^ _109261) ^ [] : [-(rdn_translate(nn84, rdn_neg(rdn(rdnn(n4), rdnn(n8)))))], (2268 ^ _109261) ^ [] : [-(rdn_translate(n101, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (1806 ^ _109261) ^ [] : [-(accept_leader(countryahumanitarianorganization, countrybhumanitarianorganization))], (1004 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1676 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n20))], (1926 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, christian, n24))], (1454 ^ _109261) ^ [] : [accept_number(countryccivilorganization, n6)], (2446 ^ _109261) ^ [] : [-(rdn_translate(nn63, rdn_neg(rdn(rdnn(n3), rdnn(n6)))))], (1542 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n65))], (1664 ^ _109261) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (2210 ^ _109261) ^ [] : [-(rdn_translate(n72, rdn_pos(rdn(rdnn(n2), rdnn(n7)))))], (1532 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n3))], (1948 ^ _109261) ^ [] : [-(accept_number(countryacivilorganization, n4))], (1422 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, christian, n0))], (1306 ^ _109261) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (2158 ^ _109261) ^ [] : [-(rdn_translate(n46, rdn_pos(rdn(rdnn(n6), rdnn(n4)))))], (872 ^ _109261) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, cityb, n6))], (1560 ^ _109261) ^ [] : [-(accept_city(countryafirstaidorganization, cityb))], (568 ^ _109261) ^ [_127289] : [accept_city(_127289, northport), 571 ^ _109261 : [(572 ^ _109261) ^ [] : [-(accept_population(_127289, atheist, n70))], (576 ^ _109261) ^ [] : [-(accept_population(_127289, muslim, n0))], (580 ^ _109261) ^ [] : [-(accept_population(_127289, other, n2))], (578 ^ _109261) ^ [] : [-(accept_population(_127289, native, n15))], (574 ^ _109261) ^ [] : [-(accept_population(_127289, christian, n13))]]], (1150 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (2714 ^ _109261) ^ [_187440, _187442] : [less_or_equal(_187442, _187440), -(less(_187442, _187440)), -(_187442 = _187440)], (1482 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, christian, n0))], (2482 ^ _109261) ^ [] : [-(rdn_translate(nn81, rdn_neg(rdn(rdnn(n1), rdnn(n8)))))], (88 ^ _109261) ^ [_112336, _112338, _112340, _112342, _112344, _112346] : [-(accept_population(_112344, _112340, _112336)), accept_population(_112346, _112342, _112338), _112346 = _112344, _112342 = _112340, _112338 = _112336], (2704 ^ _109261) ^ [_187104, _187106] : [-(less(_187106, _187104)), -(less(_187104, _187106)), -(_187104 = _187106)], (1184 ^ _109261) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n2)], (858 ^ _109261) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1632 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, christian, n0))], (1820 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, native, n0))], (1066 ^ _109261) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, townc, n6)], (1358 ^ _109261) ^ [] : [-(accept_leader(countryamedicalorganization, christiancountrychumanitarianorganization))], (1522 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n3))], (958 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1330 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (2004 ^ _109261) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (1470 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, christian, n3))], (894 ^ _109261) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n2)], (1608 ^ _109261) ^ [] : [-(accept_city(countrybhumanitarianorganization, towna))], (2346 ^ _109261) ^ [] : [-(rdn_translate(nn13, rdn_neg(rdn(rdnn(n3), rdnn(n1)))))], (1084 ^ _109261) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, townc, n6))], (1528 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, native, n85))], (2126 ^ _109261) ^ [] : [-(rdn_translate(n30, rdn_pos(rdn(rdnn(n0), rdnn(n3)))))], (924 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (848 ^ _109261) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (996 ^ _109261) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n5))], (1386 ^ _109261) ^ [] : [-(accept_leader(countryahumanitarianorganization, christiancountrychumanitarianorganization))], (1752 ^ _109261) ^ [] : [-(accept_population(countryamedicalorganization, christian, n20))], (1340 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n0))], (2048 ^ _109261) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (532 ^ _109261) ^ [_126263] : [accept_city(_126263, stjosephburgh), 535 ^ _109261 : [(536 ^ _109261) ^ [] : [-(accept_population(_126263, atheist, n68))], (540 ^ _109261) ^ [] : [-(accept_population(_126263, muslim, n1))], (544 ^ _109261) ^ [] : [-(accept_population(_126263, other, n4))], (542 ^ _109261) ^ [] : [-(accept_population(_126263, native, n11))], (538 ^ _109261) ^ [] : [-(accept_population(_126263, christian, n16))]]], (1786 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, other, n1))], (2582 ^ _109261) ^ [] : [-(rdn_non_zero_digit(rdnn(n3)))], (1014 ^ _109261) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n6))], (956 ^ _109261) ^ [] : [-(accept_team(countryacivilorganization, countryafirstaidorganization, coastvillage, n6))], (2606 ^ _109261) ^ [] : [-(rdn_positive_less(rdnn(n5), rdnn(n6)))], (2218 ^ _109261) ^ [] : [-(rdn_translate(n76, rdn_pos(rdn(rdnn(n6), rdnn(n7)))))], (1688 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, christian, n0))], (1258 ^ _109261) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n6)], (1028 ^ _109261) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (1292 ^ _109261) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, towna, n6))], (2262 ^ _109261) ^ [] : [-(rdn_translate(n98, rdn_pos(rdn(rdnn(n8), rdnn(n9)))))], (2630 ^ _109261) ^ [_184590, _184592, _184594] : [-(rdn_positive_less(rdn(rdnn(_184594), _184592), rdn(rdnn(_184590), _184592))), rdn_positive_less(rdnn(_184594), rdnn(_184590)), rdn_non_zero(_184592)], (1696 ^ _109261) ^ [] : [-(accept_leader(countrycmedicalorganization, muslimcountrybhumanitarianorganization))], (2374 ^ _109261) ^ [] : [-(rdn_translate(nn27, rdn_neg(rdn(rdnn(n7), rdnn(n2)))))], (2190 ^ _109261) ^ [] : [-(rdn_translate(n62, rdn_pos(rdn(rdnn(n2), rdnn(n6)))))], (712 ^ _109261) ^ [_131393] : [accept_city(_131393, citya), 715 ^ _109261 : [(716 ^ _109261) ^ [] : [-(accept_population(_131393, atheist, n75))], (720 ^ _109261) ^ [] : [-(accept_population(_131393, muslim, n0))], (724 ^ _109261) ^ [] : [-(accept_population(_131393, other, n0))], (722 ^ _109261) ^ [] : [-(accept_population(_131393, native, n0))], (718 ^ _109261) ^ [] : [-(accept_population(_131393, christian, n25))]]], (2696 ^ _109261) ^ [_186865, _186867] : [less(_186867, _186865), 2699 ^ _109261 : [(2702 ^ _109261) ^ [] : [_186865 = _186867], (2700 ^ _109261) ^ [] : [less(_186865, _186867)]]], (2236 ^ _109261) ^ [] : [-(rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))))], (52 ^ _109261) ^ [_111118, _111120, _111122, _111124, _111126, _111128] : [-(the_agent_not_in_any_proposed_teams(_111126, _111122, _111118)), the_agent_not_in_any_proposed_teams(_111128, _111124, _111120), _111128 = _111126, _111124 = _111122, _111120 = _111118], (2522 ^ _109261) ^ [] : [-(rdn_translate(nn101, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (2546 ^ _109261) ^ [] : [-(rdn_translate(nn113, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (970 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (1708 ^ _109261) ^ [] : [-(accept_leader(countrycmedicalorganization, countryahumanitarianorganization))], (1834 ^ _109261) ^ [] : [-(accept_leader(sufferterragovernment, countryacivilorganization))], (2558 ^ _109261) ^ [] : [-(rdn_translate(nn119, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (1712 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n20))], (1724 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n65))], (1242 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, countryccivilorganization, towna, n4))], (2382 ^ _109261) ^ [] : [-(rdn_translate(nn31, rdn_neg(rdn(rdnn(n1), rdnn(n3)))))], (2390 ^ _109261) ^ [] : [-(rdn_translate(nn35, rdn_neg(rdn(rdnn(n5), rdnn(n3)))))], (1274 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1284 ^ _109261) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (2458 ^ _109261) ^ [] : [-(rdn_translate(nn69, rdn_neg(rdn(rdnn(n9), rdnn(n6)))))], (2520 ^ _109261) ^ [] : [-(rdn_translate(nn100, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (1782 ^ _109261) ^ [] : [-(accept_leader(countryamedicalorganization, sufferterragovernment))], (1078 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1238 ^ _109261) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (940 ^ _109261) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (1252 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (890 ^ _109261) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n2)], (1878 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n1))], (2478 ^ _109261) ^ [] : [-(rdn_translate(nn79, rdn_neg(rdn(rdnn(n9), rdnn(n7)))))], (1040 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1906 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n75))], (998 ^ _109261) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n6))], (2646 ^ _109261) ^ [_185153] : [rdn_non_zero_digit(rdnn(_185153)), -(rdn_non_zero(rdnn(_185153)))], (1544 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n0))], (1938 ^ _109261) ^ [] : [-(accept_number(sufferterragovernment, n3))], (2528 ^ _109261) ^ [] : [-(rdn_translate(nn104, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (908 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (2072 ^ _109261) ^ [] : [-(rdn_translate(n3, rdn_pos(rdnn(n3))))], (1630 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, muslim, n65))], (1810 ^ _109261) ^ [] : [-(accept_number(countryahumanitarianorganization, n4))], (2092 ^ _109261) ^ [] : [-(rdn_translate(n13, rdn_pos(rdn(rdnn(n3), rdnn(n1)))))], (2554 ^ _109261) ^ [] : [-(rdn_translate(nn117, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (2338 ^ _109261) ^ [] : [-(rdn_translate(nn9, rdn_neg(rdnn(n9))))], (2406 ^ _109261) ^ [] : [-(rdn_translate(nn43, rdn_neg(rdn(rdnn(n3), rdnn(n4)))))], (1450 ^ _109261) ^ [] : [-(accept_population(countryccivilorganization, christian, n20))], (1100 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (1956 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, other, n0))], (1050 ^ _109261) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (2604 ^ _109261) ^ [] : [-(rdn_positive_less(rdnn(n4), rdnn(n5)))], (992 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (2592 ^ _109261) ^ [] : [-(rdn_non_zero_digit(rdnn(n8)))], (1506 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n3))], (2368 ^ _109261) ^ [] : [-(rdn_translate(nn24, rdn_neg(rdn(rdnn(n4), rdnn(n2)))))], (1884 ^ _109261) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (2534 ^ _109261) ^ [] : [-(rdn_translate(nn107, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (1132 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (1726 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n0))], (1498 ^ _109261) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryafirstaidorganization))], (2062 ^ _109261) ^ [] : [accept_city(muslimcountrybhumanitarianorganization, towna)], (988 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, townc, n6))], (1790 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, atheist, n78))], (2192 ^ _109261) ^ [] : [-(rdn_translate(n63, rdn_pos(rdn(rdnn(n3), rdnn(n6)))))], (2140 ^ _109261) ^ [] : [-(rdn_translate(n37, rdn_pos(rdn(rdnn(n7), rdnn(n3)))))], (1914 ^ _109261) ^ [] : [-(accept_leader(countrybcivilorganization, countrybhumanitarianorganization))], (1538 ^ _109261) ^ [] : [-(accept_leader(countryafirstaidorganization, christiancountrychumanitarianorganization))], (1882 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n75))], (1646 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n65))], (860 ^ _109261) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, cityb, n6))], (2408 ^ _109261) ^ [] : [-(rdn_translate(nn44, rdn_neg(rdn(rdnn(n4), rdnn(n4)))))], (2216 ^ _109261) ^ [] : [-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))], (1604 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n24))], (1280 ^ _109261) ^ [] : [-(accept_number(sufferterragovernment, n6))], (854 ^ _109261) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (2180 ^ _109261) ^ [] : [-(rdn_translate(n57, rdn_pos(rdn(rdnn(n7), rdnn(n5)))))], (1438 ^ _109261) ^ [] : [-(accept_leader(sufferterragovernment, countryamedicalorganization))], (1998 ^ _109261) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (1610 ^ _109261) ^ [] : [-(accept_leader(countrybhumanitarianorganization, sufferterragovernment))], (2496 ^ _109261) ^ [] : [-(rdn_translate(nn88, rdn_neg(rdn(rdnn(n8), rdnn(n8)))))], (388 ^ _109261) ^ [_122159] : [accept_city(_122159, suffertown), 391 ^ _109261 : [(392 ^ _109261) ^ [] : [-(accept_population(_122159, atheist, n65))], (396 ^ _109261) ^ [] : [-(accept_population(_122159, muslim, n7))], (400 ^ _109261) ^ [] : [-(accept_population(_122159, other, n4))], (398 ^ _109261) ^ [] : [-(accept_population(_122159, native, n4))], (394 ^ _109261) ^ [] : [-(accept_population(_122159, christian, n20))]]], (870 ^ _109261) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, cityb, n6))], (1468 ^ _109261) ^ [] : [-(accept_population(countryacivilorganization, muslim, n0))], (2292 ^ _109261) ^ [] : [-(rdn_translate(n113, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (1642 ^ _109261) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrybcivilorganization))], (1016 ^ _109261) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (350 ^ _109261) ^ [_121116, _121118, _121120] : [the_agent_not_in_any_proposed_teams(_121120, _121118, _121116), accept_city(_121120, _121116), accept_leader(_121120, _121118)], (1212 ^ _109261) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n5))], (1232 ^ _109261) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n6))], (2204 ^ _109261) ^ [] : [-(rdn_translate(n69, rdn_pos(rdn(rdnn(n9), rdnn(n6)))))], (242 ^ _109261) ^ [_117260, _117262, _117264, _117266, _117268, _117270, _117272, _117274] : [-(accept_team(_117272, _117268, _117264, _117260)), accept_team(_117274, _117270, _117266, _117262), _117274 = _117272, _117270 = _117268, _117266 = _117264, _117262 = _117260], (2348 ^ _109261) ^ [] : [-(rdn_translate(nn14, rdn_neg(rdn(rdnn(n4), rdnn(n1)))))], (1872 ^ _109261) ^ [] : [-(accept_number(countryafirstaidorganization, n1))], (264 ^ _109261) ^ [_118070, _118072, _118074, _118076] : [-(rdn(_118076, _118072) = rdn(_118074, _118070)), _118076 = _118074, _118072 = _118070], (214 ^ _109261) ^ [_116336, _116338, _116340, _116342] : [-(less(_116340, _116336)), less(_116342, _116338), _116342 = _116340, _116338 = _116336], (2106 ^ _109261) ^ [] : [-(rdn_translate(n20, rdn_pos(rdn(rdnn(n0), rdnn(n2)))))], (1262 ^ _109261) ^ [] : [-(accept_number(countryccivilorganization, n3))], (2418 ^ _109261) ^ [] : [-(rdn_translate(nn49, rdn_neg(rdn(rdnn(n9), rdnn(n4)))))], (1594 ^ _109261) ^ [] : [-(accept_leader(countrybhumanitarianorganization, christiancountrychumanitarianorganization))], (2450 ^ _109261) ^ [] : [-(rdn_translate(nn65, rdn_neg(rdn(rdnn(n5), rdnn(n6)))))], (1476 ^ _109261) ^ [] : [-(accept_leader(countryacivilorganization, christiancountrychumanitarianorganization))], (2080 ^ _109261) ^ [] : [-(rdn_translate(n7, rdn_pos(rdnn(n7))))], (1968 ^ _109261) ^ [] : [-(accept_leader(countryacivilorganization, sufferterragovernment))], (1516 ^ _109261) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n0))], (2208 ^ _109261) ^ [] : [-(rdn_translate(n71, rdn_pos(rdn(rdnn(n1), rdnn(n7)))))], (1802 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n78))], (2544 ^ _109261) ^ [] : [-(rdn_translate(nn112, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (930 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (1444 ^ _109261) ^ [] : [-(accept_city(sufferterragovernment, towna))], (120 ^ _109261) ^ [_113361, _113363, _113365, _113367] : [-(accept_city(_113365, _113361)), accept_city(_113367, _113363), _113367 = _113365, _113363 = _113361], (2252 ^ _109261) ^ [] : [-(rdn_translate(n93, rdn_pos(rdn(rdnn(n3), rdnn(n9)))))], (2094 ^ _109261) ^ [] : [-(rdn_translate(n14, rdn_pos(rdn(rdnn(n4), rdnn(n1)))))], (1486 ^ _109261) ^ [] : [-(accept_leader(countryacivilorganization, countryahumanitarianorganization))], (2420 ^ _109261) ^ [] : [-(rdn_translate(nn50, rdn_neg(rdn(rdnn(n0), rdnn(n5)))))], (972 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (1556 ^ _109261) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n20))], (2330 ^ _109261) ^ [] : [-(rdn_translate(nn5, rdn_neg(rdnn(n5))))], (2202 ^ _109261) ^ [] : [-(rdn_translate(n68, rdn_pos(rdn(rdnn(n8), rdnn(n6)))))], (1492 ^ _109261) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n75))], (964 ^ _109261) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n5))], (2538 ^ _109261) ^ [] : [-(rdn_translate(nn109, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (360 ^ _109261) ^ [_121428, _121430] : [min_number_of_proposed_agents(_121430, _121428), -(accept_number(_121430, _121428))], (1070 ^ _109261) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, townc, n6)], (1328 ^ _109261) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1870 ^ _109261) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (1986 ^ _109261) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (2284 ^ _109261) ^ [] : [-(rdn_translate(n109, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (2414 ^ _109261) ^ [] : [-(rdn_translate(nn47, rdn_neg(rdn(rdnn(n7), rdnn(n4)))))], (1992 ^ _109261) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (1924 ^ _109261) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n1))], (2370 ^ _109261) ^ [] : [-(rdn_translate(nn25, rdn_neg(rdn(rdnn(n5), rdnn(n2)))))], (2076 ^ _109261) ^ [] : [-(rdn_translate(n5, rdn_pos(rdnn(n5))))], (1836 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, other, n1))], (1268 ^ _109261) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, towna, n6)], (1074 ^ _109261) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (2058 ^ _109261) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n1))], (2438 ^ _109261) ^ [] : [-(rdn_translate(nn59, rdn_neg(rdn(rdnn(n9), rdnn(n5)))))], (1900 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, native, n0))], (1606 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n75))], (2590 ^ _109261) ^ [] : [-(rdn_non_zero_digit(rdnn(n7)))], (2274 ^ _109261) ^ [] : [-(rdn_translate(n104, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (1896 ^ _109261) ^ [] : [-(accept_leader(countrycmedicalorganization, christiancountrychumanitarianorganization))], (2500 ^ _109261) ^ [] : [-(rdn_translate(nn90, rdn_neg(rdn(rdnn(n0), rdnn(n9)))))], (1614 ^ _109261) ^ [] : [-(accept_population(sufferterragovernment, other, n0))], (1002 ^ _109261) ^ [] : [-(accept_team(sufferterragovernment, countryafirstaidorganization, coastvillage, n6))], (1568 ^ _109261) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n0))], (1680 ^ _109261) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, cityb))], (2064 ^ _109261) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, sufferterragovernment))], (1784 ^ _109261) ^ [] : [-(accept_city(countryamedicalorganization, towna))], (2066 ^ _109261) ^ [] : [-(rdn_translate(n0, rdn_pos(rdnn(n0))))], (1456 ^ _109261) ^ [] : [-(accept_leader(countryccivilorganization, countrybhumanitarianorganization))], (1160 ^ _109261) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (2176 ^ _109261) ^ [] : [-(rdn_translate(n55, rdn_pos(rdn(rdnn(n5), rdnn(n5)))))], (920 ^ _109261) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n5))], (326 ^ _109261) ^ [_120238, _120240, _120242, _120244] : [-(accept_population(_120244, _120238, _120240)), accept_population(_120244, _120238, _120242), less(_120240, _120242)], (1376 ^ _109261) ^ [] : [-(accept_population(countryahumanitarianorganization, native, n85))], (2552 ^ _109261) ^ [] : [-(rdn_translate(nn116, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1032 ^ _109261) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (2360 ^ _109261) ^ [] : [-(rdn_translate(nn20, rdn_neg(rdn(rdnn(n0), rdnn(n2)))))], (1526 ^ _109261) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, coastvillage))], (2564 ^ _109261) ^ [] : [-(rdn_translate(nn122, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (2114 ^ _109261) ^ [] : [-(rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))))], (1120 ^ _109261) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n6)], (148 ^ _109261) ^ [_114221, _114223] : [-(rdn_non_zero_digit(_114221)), _114223 = _114221, rdn_non_zero_digit(_114223)], (2442 ^ _109261) ^ [] : [-(rdn_translate(nn61, rdn_neg(rdn(rdnn(n1), rdnn(n6)))))], (2276 ^ _109261) ^ [] : [-(rdn_translate(n105, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (2472 ^ _109261) ^ [] : [-(rdn_translate(nn76, rdn_neg(rdn(rdnn(n6), rdnn(n7)))))], (1930 ^ _109261) ^ [] : [-(accept_city(countrybcivilorganization, towna))], (1902 ^ _109261) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n1))], (1866 ^ _109261) ^ [] : [-(accept_number(countryafirstaidorganization, n4))], (1350 ^ _109261) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n20))], (1936 ^ _109261) ^ [] : [-(accept_number(sufferterragovernment, n4))]], input).
% 45.72/44.77  ncf('1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, citya, n2))],start(2742 ^ 0)).
% 45.72/44.77  ncf('1.1',plain,[accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, citya, n2), 296 : -(accept_city(muslimcountrybhumanitarianorganization, citya))],extension(292 ^ 1,bind([[_119130, _119132, _119134, _119136], [countrybhumanitarianorganization, n2, citya, muslimcountrybhumanitarianorganization]]))).
% 45.72/44.77  ncf('1.1.1',plain,[accept_city(muslimcountrybhumanitarianorganization, citya), 718 : -(accept_population(muslimcountrybhumanitarianorganization, christian, n25))],extension(712 ^ 4,bind([[_131393], [muslimcountrybhumanitarianorganization]]))).
% 45.72/44.77  ncf('1.1.1.1',plain,[accept_population(muslimcountrybhumanitarianorganization, christian, n25), -(accept_population(muslimcountrybhumanitarianorganization, christian, n24)), less(n24, n25)],extension(326 ^ 7,bind([[_120238, _120240, _120242, _120244], [christian, n24, n25, muslimcountrybhumanitarianorganization]]))).
% 45.72/44.77  ncf('1.1.1.1.1',plain,[accept_population(muslimcountrybhumanitarianorganization, christian, n24), -(accept_city(muslimcountrybhumanitarianorganization, towna)), accept_population(muslimcountrybhumanitarianorganization, atheist, n75), accept_population(muslimcountrybhumanitarianorganization, muslim, n1), accept_population(muslimcountrybhumanitarianorganization, native, n0), accept_population(muslimcountrybhumanitarianorganization, other, n0)],extension(654 ^ 8,bind([[_129861], [muslimcountrybhumanitarianorganization]]))).
% 45.72/44.77  ncf('1.1.1.1.1.1',plain,[accept_city(muslimcountrybhumanitarianorganization, towna), -(accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n3)), accept_leader(muslimcountrybhumanitarianorganization, countrycmedicalorganization), accept_number(muslimcountrybhumanitarianorganization, n3)],extension(302 ^ 9,bind([[_119465, _119467, _119469, _119471], [countrycmedicalorganization, n3, towna, muslimcountrybhumanitarianorganization]]))).
% 45.72/44.77  ncf('1.1.1.1.1.1.1',plain,[accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n3)],extension(1192 ^ 10)).
% 45.72/44.77  ncf('1.1.1.1.1.1.2',plain,[-(accept_leader(muslimcountrybhumanitarianorganization, countrycmedicalorganization))],extension(1718 ^ 10)).
% 45.72/44.77  ncf('1.1.1.1.1.1.3',plain,[-(accept_number(muslimcountrybhumanitarianorganization, n3))],extension(2054 ^ 10)).
% 45.72/44.77  ncf('1.1.1.1.1.2',plain,[-(accept_population(muslimcountrybhumanitarianorganization, atheist, n75))],extension(716 ^ 9)).
% 45.72/44.77  ncf('1.1.1.1.1.3',plain,[-(accept_population(muslimcountrybhumanitarianorganization, muslim, n1))],extension(1738 ^ 9)).
% 45.72/44.77  ncf('1.1.1.1.1.4',plain,[-(accept_population(muslimcountrybhumanitarianorganization, native, n0)), accept_city(muslimcountrybhumanitarianorganization, townc)],extension(820 ^ 9,bind([[_134451], [muslimcountrybhumanitarianorganization]]))).
% 45.72/44.77  ncf('1.1.1.1.1.4.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, townc)), the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc)],extension(336 ^ 10,bind([[_120575, _120577, _120579], [townc, countryahumanitarianorganization, muslimcountrybhumanitarianorganization]]))).
% 45.72/44.77  ncf('1.1.1.1.1.4.1.1',plain,[-(the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))],extension(1040 ^ 11)).
% 45.72/44.77  ncf('1.1.1.1.1.5',plain,[-(accept_population(muslimcountrybhumanitarianorganization, other, n0)), accept_city(muslimcountrybhumanitarianorganization, coastvillage)],extension(604 ^ 9,bind([[_128315], [muslimcountrybhumanitarianorganization]]))).
% 45.72/44.77  ncf('1.1.1.1.1.5.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, coastvillage)), accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6)],extension(292 ^ 10,bind([[_119130, _119132, _119134, _119136], [christiancountrychumanitarianorganization, n6, coastvillage, muslimcountrybhumanitarianorganization]]))).
% 45.72/44.77  ncf('1.1.1.1.1.5.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))],extension(1026 ^ 11)).
% 45.72/44.77  ncf('1.1.1.1.2',plain,[-(less(n24, n25)), rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))), rdn_translate(n25, rdn_pos(rdn(rdnn(n5), rdnn(n2)))), rdn_positive_less(rdn(rdnn(n4), rdnn(n2)), rdn(rdnn(n5), rdnn(n2)))],extension(2658 ^ 8,bind([[_185605, _185607, _185609, _185611], [rdn(rdnn(n5), rdnn(n2)), rdn(rdnn(n4), rdnn(n2)), n25, n24]]))).
% 45.72/44.77  ncf('1.1.1.1.2.1',plain,[-(rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))))],extension(2114 ^ 9)).
% 45.72/44.77  ncf('1.1.1.1.2.2',plain,[-(rdn_translate(n25, rdn_pos(rdn(rdnn(n5), rdnn(n2)))))],extension(2116 ^ 9)).
% 45.72/44.77  ncf('1.1.1.1.2.3',plain,[-(rdn_positive_less(rdn(rdnn(n4), rdnn(n2)), rdn(rdnn(n5), rdnn(n2)))), rdn_positive_less(rdnn(n4), rdnn(n5)), rdn_non_zero(rdnn(n2))],extension(2630 ^ 9,bind([[_184590, _184592, _184594], [n5, rdnn(n2), n4]]))).
% 45.72/44.77  ncf('1.1.1.1.2.3.1',plain,[-(rdn_positive_less(rdnn(n4), rdnn(n5)))],extension(2604 ^ 10)).
% 45.72/44.77  ncf('1.1.1.1.2.3.2',plain,[-(rdn_non_zero(rdnn(n2))), rdn_non_zero_digit(rdnn(n2))],extension(2646 ^ 10,bind([[_185153], [n2]]))).
% 45.72/44.77  ncf('1.1.1.1.2.3.2.1',plain,[-(rdn_non_zero_digit(rdnn(n2)))],extension(2580 ^ 11)).
% 45.72/44.77  %-----------------------------------------------------
% 45.72/44.77  End of proof for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------