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

% Computer : n032.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Fri May 19 10:05:09 EDT 2023

% Result   : Theorem 263.19s 256.01s
% Output   : Proof 263.19s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.05/0.09  % Problem  : AGT019+1 : TPTP v8.1.2. Bugfixed v3.1.0.
% 0.05/0.09  % Command  : nanocop.sh %s %d
% 0.09/0.28  % Computer : n032.cluster.edu
% 0.09/0.28  % Model    : x86_64 x86_64
% 0.09/0.28  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.28  % Memory   : 8042.1875MB
% 0.09/0.28  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.09/0.28  % CPULimit : 300
% 0.09/0.28  % WCLimit  : 300
% 0.09/0.28  % DateTime : Thu May 18 22:03:34 EDT 2023
% 0.09/0.29  % CPUTime  : 
% 263.19/256.01  
% 263.19/256.01  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 263.19/256.01  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 263.19/256.01  %-----------------------------------------------------
% 263.19/256.01  ncf(matrix, plain, [(1706 ^ _18487) ^ [] : [-(rdn_translate(nn60, rdn_neg(rdn(rdnn(n0), rdnn(n6)))))], (948 ^ _18487) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, towna, n6))], (1656 ^ _18487) ^ [] : [-(rdn_translate(nn35, rdn_neg(rdn(rdnn(n5), rdnn(n3)))))], (980 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (866 ^ _18487) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (1638 ^ _18487) ^ [] : [-(rdn_translate(nn26, rdn_neg(rdn(rdnn(n6), rdnn(n2)))))], (1302 ^ _18487) ^ [] : [-(accept_number(countryccivilorganization, n4))], (1450 ^ _18487) ^ [] : [-(rdn_translate(n59, rdn_pos(rdn(rdnn(n9), rdnn(n5)))))], (1544 ^ _18487) ^ [] : [-(rdn_translate(n106, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (1168 ^ _18487) ^ [] : [-(accept_number(countryacivilorganization, n6))], (34 ^ _18487) ^ [_18943, _18945, _18947, _18949] : [-(min_number_of_proposed_agents(_18947, _18943)), min_number_of_proposed_agents(_18949, _18945), _18949 = _18947, _18945 = _18943], (852 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n5)], (988 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, townc, n6))], (890 ^ _18487) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n2)], (1528 ^ _18487) ^ [] : [-(rdn_translate(n98, rdn_pos(rdn(rdnn(n8), rdnn(n9)))))], (1650 ^ _18487) ^ [] : [-(rdn_translate(nn32, rdn_neg(rdn(rdnn(n2), rdnn(n3)))))], (962 ^ _18487) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (1116 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (966 ^ _18487) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n6))], (1740 ^ _18487) ^ [] : [-(rdn_translate(nn77, rdn_neg(rdn(rdnn(n7), rdnn(n7)))))], (1112 ^ _18487) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (336 ^ _18487) ^ [_23320, _23322, _23324] : [the_agent_in_all_proposed_teams(_23324, _23322, _23320), 339 ^ _18487 : [(340 ^ _18487) ^ [] : [-(accept_leader(_23324, _23322))], (342 ^ _18487) ^ [] : [-(accept_city(_23324, _23320))]]], (1414 ^ _18487) ^ [] : [-(rdn_translate(n41, rdn_pos(rdn(rdnn(n1), rdnn(n4)))))], (1226 ^ _18487) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (388 ^ _18487) ^ [_24014] : [accept_city(_24014, suffertown), 391 ^ _18487 : [(400 ^ _18487) ^ [] : [-(accept_population(_24014, other, n4))], (398 ^ _18487) ^ [] : [-(accept_population(_24014, native, n4))], (396 ^ _18487) ^ [] : [-(accept_population(_24014, muslim, n7))], (394 ^ _18487) ^ [] : [-(accept_population(_24014, christian, n20))], (392 ^ _18487) ^ [] : [-(accept_population(_24014, atheist, n65))]]], (842 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1300 ^ _18487) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (846 ^ _18487) ^ [] : [-(accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n2))], (1208 ^ _18487) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n5))], (1434 ^ _18487) ^ [] : [-(rdn_translate(n51, rdn_pos(rdn(rdnn(n1), rdnn(n5)))))], (1514 ^ _18487) ^ [] : [-(rdn_translate(n91, rdn_pos(rdn(rdnn(n1), rdnn(n9)))))], (1442 ^ _18487) ^ [] : [-(rdn_translate(n55, rdn_pos(rdn(rdnn(n5), rdnn(n5)))))], (1128 ^ _18487) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, cityb, n6))], (1224 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, countryccivilorganization, towna, n3))], (1520 ^ _18487) ^ [] : [-(rdn_translate(n94, rdn_pos(rdn(rdnn(n4), rdnn(n9)))))], (1772 ^ _18487) ^ [] : [-(rdn_translate(nn93, rdn_neg(rdn(rdnn(n3), rdnn(n9)))))], (1810 ^ _18487) ^ [] : [-(rdn_translate(nn112, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (1574 ^ _18487) ^ [] : [-(rdn_translate(n121, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1512 ^ _18487) ^ [] : [-(rdn_translate(n90, rdn_pos(rdn(rdnn(n0), rdnn(n9)))))], (1530 ^ _18487) ^ [] : [-(rdn_translate(n99, rdn_pos(rdn(rdnn(n9), rdnn(n9)))))], (1626 ^ _18487) ^ [] : [-(rdn_translate(nn20, rdn_neg(rdn(rdnn(n0), rdnn(n2)))))], (1062 ^ _18487) ^ [] : [accept_team(countryccivilorganization, muslimcountrybhumanitarianorganization, townc, n6)], (1202 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n6)], (956 ^ _18487) ^ [] : [-(accept_team(countryacivilorganization, countryafirstaidorganization, coastvillage, n6))], (1270 ^ _18487) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n6)], (1180 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n2)], (1716 ^ _18487) ^ [] : [-(rdn_translate(nn65, rdn_neg(rdn(rdnn(n5), rdnn(n6)))))], (1752 ^ _18487) ^ [] : [-(rdn_translate(nn83, rdn_neg(rdn(rdnn(n3), rdnn(n8)))))], (1718 ^ _18487) ^ [] : [-(rdn_translate(nn66, rdn_neg(rdn(rdnn(n6), rdnn(n6)))))], (1354 ^ _18487) ^ [] : [-(rdn_translate(n11, rdn_pos(rdn(rdnn(n1), rdnn(n1)))))], (1600 ^ _18487) ^ [] : [-(rdn_translate(nn7, rdn_neg(rdnn(n7))))], (1100 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (1056 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, townc, n6))], (884 ^ _18487) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, towna, n6))], (1058 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (1684 ^ _18487) ^ [] : [-(rdn_translate(nn49, rdn_neg(rdn(rdnn(n9), rdnn(n4)))))], (218 ^ _18487) ^ [_21587, _21589, _21591, _21593] : [-(less(_21591, _21587)), less(_21593, _21589), _21593 = _21591, _21589 = _21587], (1516 ^ _18487) ^ [] : [-(rdn_translate(n92, rdn_pos(rdn(rdnn(n2), rdnn(n9)))))], (1002 ^ _18487) ^ [] : [-(accept_team(sufferterragovernment, countryafirstaidorganization, coastvillage, n6))], (1522 ^ _18487) ^ [] : [-(rdn_translate(n95, rdn_pos(rdn(rdnn(n5), rdnn(n9)))))], (1632 ^ _18487) ^ [] : [-(rdn_translate(nn23, rdn_neg(rdn(rdnn(n3), rdnn(n2)))))], (1630 ^ _18487) ^ [] : [-(rdn_translate(nn22, rdn_neg(rdn(rdnn(n2), rdnn(n2)))))], (1262 ^ _18487) ^ [] : [-(accept_number(countryccivilorganization, n3))], (936 ^ _18487) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (798 ^ _18487) ^ [_29466] : [-(accept_city(_29466, townc)), accept_population(_29466, atheist, n30), accept_population(_29466, christian, n0), accept_population(_29466, muslim, n65), accept_population(_29466, native, n0), accept_population(_29466, other, n5)], (854 ^ _18487) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (858 ^ _18487) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1098 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (784 ^ _18487) ^ [_29272] : [accept_city(_29272, cityb), 787 ^ _18487 : [(796 ^ _18487) ^ [] : [-(accept_population(_29272, other, n1))], (794 ^ _18487) ^ [] : [-(accept_population(_29272, native, n0))], (792 ^ _18487) ^ [] : [-(accept_population(_29272, muslim, n1))], (790 ^ _18487) ^ [] : [-(accept_population(_29272, christian, n20))], (788 ^ _18487) ^ [] : [-(accept_population(_29272, atheist, n78))]]], (1064 ^ _18487) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, townc, n6)], (1842 ^ _18487) ^ [] : [-(rdn_translate(nn128, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n2), rdnn(n1))))))], (1788 ^ _18487) ^ [] : [-(rdn_translate(nn101, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (1394 ^ _18487) ^ [] : [-(rdn_translate(n31, rdn_pos(rdn(rdnn(n1), rdnn(n3)))))], (1768 ^ _18487) ^ [] : [-(rdn_translate(nn91, rdn_neg(rdn(rdnn(n1), rdnn(n9)))))], (1070 ^ _18487) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, townc, n6)], (1486 ^ _18487) ^ [] : [-(rdn_translate(n77, rdn_pos(rdn(rdnn(n7), rdnn(n7)))))], (1458 ^ _18487) ^ [] : [-(rdn_translate(n63, rdn_pos(rdn(rdnn(n3), rdnn(n6)))))], (1146 ^ _18487) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (1322 ^ _18487) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (976 ^ _18487) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n6)], (1232 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n6))], (1264 ^ _18487) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, towna, n6)], (1218 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n3))], (928 ^ _18487) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, towna, n6))], (1316 ^ _18487) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (1762 ^ _18487) ^ [] : [-(rdn_translate(nn88, rdn_neg(rdn(rdnn(n8), rdnn(n8)))))], (460 ^ _18487) ^ [_24970] : [accept_city(_24970, sunnysideport), 463 ^ _18487 : [(472 ^ _18487) ^ [] : [-(accept_population(_24970, other, n1))], (470 ^ _18487) ^ [] : [-(accept_population(_24970, native, n1))], (468 ^ _18487) ^ [] : [-(accept_population(_24970, muslim, n60))], (466 ^ _18487) ^ [] : [-(accept_population(_24970, christian, n8))], (464 ^ _18487) ^ [] : [-(accept_population(_24970, atheist, n30))]]], (952 ^ _18487) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n5))], (1020 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1030 ^ _18487) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, townc, n4))], (1824 ^ _18487) ^ [] : [-(rdn_translate(nn119, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (1808 ^ _18487) ^ [] : [-(rdn_translate(nn111, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (1478 ^ _18487) ^ [] : [-(rdn_translate(n73, rdn_pos(rdn(rdnn(n3), rdnn(n7)))))], (532 ^ _18487) ^ [_25926] : [accept_city(_25926, stjosephburgh), 535 ^ _18487 : [(544 ^ _18487) ^ [] : [-(accept_population(_25926, other, n4))], (542 ^ _18487) ^ [] : [-(accept_population(_25926, native, n11))], (540 ^ _18487) ^ [] : [-(accept_population(_25926, muslim, n1))], (538 ^ _18487) ^ [] : [-(accept_population(_25926, christian, n16))], (536 ^ _18487) ^ [] : [-(accept_population(_25926, atheist, n68))]]], (1836 ^ _18487) ^ [] : [-(rdn_translate(nn125, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (850 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n4)], (1708 ^ _18487) ^ [] : [-(rdn_translate(nn61, rdn_neg(rdn(rdnn(n1), rdnn(n6)))))], (1502 ^ _18487) ^ [] : [-(rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))))], (1296 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1794 ^ _18487) ^ [] : [-(rdn_translate(nn104, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (1126 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (102 ^ _18487) ^ [_19951, _19953, _19955, _19957] : [-(accept_number(_19955, _19951)), accept_number(_19957, _19953), _19957 = _19955, _19953 = _19951], (1080 ^ _18487) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, townc, n6))], (2 ^ _18487) ^ [_18517] : [-(_18517 = _18517)], (1668 ^ _18487) ^ [] : [-(rdn_translate(nn41, rdn_neg(rdn(rdnn(n1), rdnn(n4)))))], (1160 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (916 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (302 ^ _18487) ^ [_22847, _22849, _22851, _22853] : [-(accept_team(_22853, _22847, _22851, _22849)), accept_city(_22853, _22851), accept_leader(_22853, _22847), accept_number(_22853, _22849)], (820 ^ _18487) ^ [_29747] : [accept_city(_29747, townc), 823 ^ _18487 : [(832 ^ _18487) ^ [] : [-(accept_population(_29747, other, n5))], (830 ^ _18487) ^ [] : [-(accept_population(_29747, native, n0))], (828 ^ _18487) ^ [] : [-(accept_population(_29747, muslim, n65))], (826 ^ _18487) ^ [] : [-(accept_population(_29747, christian, n0))], (824 ^ _18487) ^ [] : [-(accept_population(_29747, atheist, n30))]]], (1086 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, townc, n4))], (1258 ^ _18487) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n6)], (1874 ^ _18487) ^ [] : [-(rdn_positive_less(rdnn(n6), rdnn(n7)))], (1214 ^ _18487) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n6))], (1822 ^ _18487) ^ [] : [-(rdn_translate(nn118, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (1026 ^ _18487) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1676 ^ _18487) ^ [] : [-(rdn_translate(nn45, rdn_neg(rdn(rdnn(n5), rdnn(n4)))))], (900 ^ _18487) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n6)], (1524 ^ _18487) ^ [] : [-(rdn_translate(n96, rdn_pos(rdn(rdnn(n6), rdnn(n9)))))], (1674 ^ _18487) ^ [] : [-(rdn_translate(nn44, rdn_neg(rdn(rdnn(n4), rdnn(n4)))))], (246 ^ _18487) ^ [_21969, _21971, _21973, _21975, _21977, _21979] : [-(accept_population(_21977, _21973, _21969)), accept_population(_21979, _21975, _21971), _21979 = _21977, _21975 = _21973, _21971 = _21969], (1324 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n6)], (1242 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, countryccivilorganization, towna, n4))], (1730 ^ _18487) ^ [] : [-(rdn_translate(nn72, rdn_neg(rdn(rdnn(n2), rdnn(n7)))))], (1206 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6)], (1196 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n2)], (898 ^ _18487) ^ [] : [accept_team(countryamedicalorganization, sufferterragovernment, coastvillage, n2)], (4 ^ _18487) ^ [_18540, _18542] : [_18542 = _18540, -(_18540 = _18542)], (1280 ^ _18487) ^ [] : [-(accept_number(sufferterragovernment, n6))], (1156 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (996 ^ _18487) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n5))], (932 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (1818 ^ _18487) ^ [] : [-(rdn_translate(nn116, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1562 ^ _18487) ^ [] : [-(rdn_translate(n115, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (748 ^ _18487) ^ [_28794] : [accept_city(_28794, townb), 751 ^ _18487 : [(760 ^ _18487) ^ [] : [-(accept_population(_28794, other, n2))], (758 ^ _18487) ^ [] : [-(accept_population(_28794, native, n0))], (756 ^ _18487) ^ [] : [-(accept_population(_28794, muslim, n8))], (754 ^ _18487) ^ [] : [-(accept_population(_28794, christian, n20))], (752 ^ _18487) ^ [] : [-(accept_population(_28794, atheist, n70))]]], (1820 ^ _18487) ^ [] : [-(rdn_translate(nn117, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (1592 ^ _18487) ^ [] : [-(rdn_translate(nn3, rdn_neg(rdnn(n3))))], (1072 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1702 ^ _18487) ^ [] : [-(rdn_translate(nn58, rdn_neg(rdn(rdnn(n8), rdnn(n5)))))], (1424 ^ _18487) ^ [] : [-(rdn_translate(n46, rdn_pos(rdn(rdnn(n6), rdnn(n4)))))], (1488 ^ _18487) ^ [] : [-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))], (1682 ^ _18487) ^ [] : [-(rdn_translate(nn48, rdn_neg(rdn(rdnn(n8), rdnn(n4)))))], (1612 ^ _18487) ^ [] : [-(rdn_translate(nn13, rdn_neg(rdn(rdnn(n3), rdnn(n1)))))], (1800 ^ _18487) ^ [] : [-(rdn_translate(nn107, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (1846 ^ _18487) ^ [] : [-(rdn_non_zero_digit(rdnn(n2)))], (1866 ^ _18487) ^ [] : [-(rdn_positive_less(rdnn(n2), rdnn(n3)))], (1468 ^ _18487) ^ [] : [-(rdn_translate(n68, rdn_pos(rdn(rdnn(n8), rdnn(n6)))))], (872 ^ _18487) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, cityb, n6))], (1370 ^ _18487) ^ [] : [-(rdn_translate(n19, rdn_pos(rdn(rdnn(n9), rdnn(n1)))))], (1448 ^ _18487) ^ [] : [-(rdn_translate(n58, rdn_pos(rdn(rdnn(n8), rdnn(n5)))))], (1504 ^ _18487) ^ [] : [-(rdn_translate(n86, rdn_pos(rdn(rdnn(n6), rdnn(n8)))))], (864 ^ _18487) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, cityb, n6))], (1510 ^ _18487) ^ [] : [-(rdn_translate(n89, rdn_pos(rdn(rdnn(n9), rdnn(n8)))))], (906 ^ _18487) ^ [] : [-(the_agent_not_in_any_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (1402 ^ _18487) ^ [] : [-(rdn_translate(n35, rdn_pos(rdn(rdnn(n5), rdnn(n3)))))], (1792 ^ _18487) ^ [] : [-(rdn_translate(nn103, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (1042 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1236 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (904 ^ _18487) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n6)], (1590 ^ _18487) ^ [] : [-(rdn_translate(nn2, rdn_neg(rdnn(n2))))], (1548 ^ _18487) ^ [] : [-(rdn_translate(n108, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (958 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1230 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6))], (1582 ^ _18487) ^ [] : [-(rdn_translate(n125, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (1036 ^ _18487) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (1178 ^ _18487) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1366 ^ _18487) ^ [] : [-(rdn_translate(n17, rdn_pos(rdn(rdnn(n7), rdnn(n1)))))], (1672 ^ _18487) ^ [] : [-(rdn_translate(nn43, rdn_neg(rdn(rdnn(n3), rdnn(n4)))))], (134 ^ _18487) ^ [_20413, _20415, _20417, _20419, _20421, _20423] : [-(any_agent_in_all_proposed_teams(_20421, _20417, _20413)), any_agent_in_all_proposed_teams(_20423, _20419, _20415), _20423 = _20421, _20419 = _20417, _20415 = _20413], (10 ^ _18487) ^ [_18613, _18615, _18617] : [-(_18617 = _18613), _18617 = _18615, _18615 = _18613], (1748 ^ _18487) ^ [] : [-(rdn_translate(nn81, rdn_neg(rdn(rdnn(n1), rdnn(n8)))))], (1418 ^ _18487) ^ [] : [-(rdn_translate(n43, rdn_pos(rdn(rdnn(n3), rdnn(n4)))))], (1198 ^ _18487) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (1854 ^ _18487) ^ [] : [-(rdn_non_zero_digit(rdnn(n6)))], (1746 ^ _18487) ^ [] : [-(rdn_translate(nn80, rdn_neg(rdn(rdnn(n0), rdnn(n8)))))], (1088 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, muslimcountrybhumanitarianorganization, townc, n6))], (924 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (2008 ^ _18487) ^ [_42259, _42261] : [-(accept_population(_42261, _42259, n24))], (1118 ^ _18487) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n5)], (1770 ^ _18487) ^ [] : [-(rdn_translate(nn92, rdn_neg(rdn(rdnn(n2), rdnn(n9)))))], (1572 ^ _18487) ^ [] : [-(rdn_translate(n120, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (726 ^ _18487) ^ [_28513] : [-(accept_city(_28513, townb)), accept_population(_28513, atheist, n70), accept_population(_28513, christian, n20), accept_population(_28513, muslim, n8), accept_population(_28513, native, n0), accept_population(_28513, other, n2)], (880 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1622 ^ _18487) ^ [] : [-(rdn_translate(nn18, rdn_neg(rdn(rdnn(n8), rdnn(n1)))))], (1852 ^ _18487) ^ [] : [-(rdn_non_zero_digit(rdnn(n5)))], (998 ^ _18487) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n6))], (676 ^ _18487) ^ [_27838] : [accept_city(_27838, towna), 679 ^ _18487 : [(688 ^ _18487) ^ [] : [-(accept_population(_27838, other, n0))], (686 ^ _18487) ^ [] : [-(accept_population(_27838, native, n0))], (684 ^ _18487) ^ [] : [-(accept_population(_27838, muslim, n1))], (682 ^ _18487) ^ [] : [-(accept_population(_27838, christian, n24))], (680 ^ _18487) ^ [] : [-(accept_population(_27838, atheist, n75))]]], (964 ^ _18487) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n5))], (1244 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, towna, n6))], (1362 ^ _18487) ^ [] : [-(rdn_translate(n15, rdn_pos(rdn(rdnn(n5), rdnn(n1)))))], (350 ^ _18487) ^ [_23508, _23510, _23512] : [the_agent_not_in_any_proposed_teams(_23512, _23510, _23508), accept_city(_23512, _23508), accept_leader(_23512, _23510)], (20 ^ _18487) ^ [_18750, _18752, _18754, _18756] : [-(accept_leader(_18754, _18750)), accept_leader(_18756, _18752), _18756 = _18754, _18752 = _18750], (1376 ^ _18487) ^ [] : [-(rdn_translate(n22, rdn_pos(rdn(rdnn(n2), rdnn(n2)))))], (1700 ^ _18487) ^ [] : [-(rdn_translate(nn57, rdn_neg(rdn(rdnn(n7), rdnn(n5)))))], (1534 ^ _18487) ^ [] : [-(rdn_translate(n101, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (1734 ^ _18487) ^ [] : [-(rdn_translate(nn74, rdn_neg(rdn(rdnn(n4), rdnn(n7)))))], (1726 ^ _18487) ^ [] : [-(rdn_translate(nn70, rdn_neg(rdn(rdnn(n0), rdnn(n7)))))], (1518 ^ _18487) ^ [] : [-(rdn_translate(n93, rdn_pos(rdn(rdnn(n3), rdnn(n9)))))], (1670 ^ _18487) ^ [] : [-(rdn_translate(nn42, rdn_neg(rdn(rdnn(n2), rdnn(n4)))))], (1860 ^ _18487) ^ [] : [-(rdn_non_zero_digit(rdnn(n9)))], (1552 ^ _18487) ^ [] : [-(rdn_translate(n110, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (1646 ^ _18487) ^ [] : [-(rdn_translate(nn30, rdn_neg(rdn(rdnn(n0), rdnn(n3)))))], (1610 ^ _18487) ^ [] : [-(rdn_translate(nn12, rdn_neg(rdn(rdnn(n2), rdnn(n1)))))], (870 ^ _18487) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, cityb, n6))], (1862 ^ _18487) ^ [] : [-(rdn_positive_less(rdnn(n0), rdnn(n1)))], (1398 ^ _18487) ^ [] : [-(rdn_translate(n33, rdn_pos(rdn(rdnn(n3), rdnn(n3)))))], (1334 ^ _18487) ^ [] : [-(rdn_translate(n1, rdn_pos(rdnn(n1))))], (1312 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, towna, n6))], (568 ^ _18487) ^ [_26404] : [accept_city(_26404, northport), 571 ^ _18487 : [(580 ^ _18487) ^ [] : [-(accept_population(_26404, other, n2))], (578 ^ _18487) ^ [] : [-(accept_population(_26404, native, n15))], (576 ^ _18487) ^ [] : [-(accept_population(_26404, muslim, n0))], (574 ^ _18487) ^ [] : [-(accept_population(_26404, christian, n13))], (572 ^ _18487) ^ [] : [-(accept_population(_26404, atheist, n70))]]], (1754 ^ _18487) ^ [] : [-(rdn_translate(nn84, rdn_neg(rdn(rdnn(n4), rdnn(n8)))))], (1372 ^ _18487) ^ [] : [-(rdn_translate(n20, rdn_pos(rdn(rdnn(n0), rdnn(n2)))))], (1880 ^ _18487) ^ [_39397, _39399, _39401] : [-(rdn_positive_less(rdnn(_39401), rdnn(_39397))), rdn_positive_less(rdnn(_39401), rdnn(_39399)), rdn_positive_less(rdnn(_39399), rdnn(_39397))], (1714 ^ _18487) ^ [] : [-(rdn_translate(nn64, rdn_neg(rdn(rdnn(n4), rdnn(n6)))))], (1990 ^ _18487) ^ [_40887, _40889] : [1991 ^ _18487 : [(1992 ^ _18487) ^ [] : [less(_40889, _40887)], (1994 ^ _18487) ^ [] : [_40889 = _40887]], -(less_or_equal(_40889, _40887))], (1396 ^ _18487) ^ [] : [-(rdn_translate(n32, rdn_pos(rdn(rdnn(n2), rdnn(n3)))))], (1382 ^ _18487) ^ [] : [-(rdn_translate(n25, rdn_pos(rdn(rdnn(n5), rdnn(n2)))))], (982 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1014 ^ _18487) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n6))], (1750 ^ _18487) ^ [] : [-(rdn_translate(nn82, rdn_neg(rdn(rdnn(n2), rdnn(n8)))))], (1082 ^ _18487) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, townc, n6))], (1704 ^ _18487) ^ [] : [-(rdn_translate(nn59, rdn_neg(rdn(rdnn(n9), rdnn(n5)))))], (1130 ^ _18487) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (1294 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, towna, n6))], (186 ^ _18487) ^ [_21125, _21127, _21129, _21131] : [-(rdn_positive_less(_21129, _21125)), rdn_positive_less(_21131, _21127), _21131 = _21129, _21127 = _21125], (1016 ^ _18487) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1368 ^ _18487) ^ [] : [-(rdn_translate(n18, rdn_pos(rdn(rdnn(n8), rdnn(n1)))))], (1272 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1252 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1330 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1826 ^ _18487) ^ [] : [-(rdn_translate(nn120, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (1406 ^ _18487) ^ [] : [-(rdn_translate(n37, rdn_pos(rdn(rdnn(n7), rdnn(n3)))))], (1616 ^ _18487) ^ [] : [-(rdn_translate(nn15, rdn_neg(rdn(rdnn(n5), rdnn(n1)))))], (1172 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1008 ^ _18487) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (1276 ^ _18487) ^ [] : [-(accept_number(sufferterragovernment, n5))], (1374 ^ _18487) ^ [] : [-(rdn_translate(n21, rdn_pos(rdn(rdnn(n1), rdnn(n2)))))], (1924 ^ _18487) ^ [_40067, _40069, _40071, _40073] : [-(less(_40073, _40071)), rdn_translate(_40073, rdn_pos(_40069)), rdn_translate(_40071, rdn_pos(_40067)), rdn_positive_less(_40069, _40067)], (1508 ^ _18487) ^ [] : [-(rdn_translate(n88, rdn_pos(rdn(rdnn(n8), rdnn(n8)))))], (510 ^ _18487) ^ [_25645] : [-(accept_city(_25645, stjosephburgh)), accept_population(_25645, atheist, n68), accept_population(_25645, christian, n16), accept_population(_25645, muslim, n1), accept_population(_25645, native, n11), accept_population(_25645, other, n4)], (286 ^ _18487) ^ [_22597, _22599] : [_22599 = _22597, -(rdn_neg(_22599) = rdn_neg(_22597))], (1724 ^ _18487) ^ [] : [-(rdn_translate(nn69, rdn_neg(rdn(rdnn(n9), rdnn(n6)))))], (1162 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (868 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n4))], (1028 ^ _18487) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (1628 ^ _18487) ^ [] : [-(rdn_translate(nn21, rdn_neg(rdn(rdnn(n1), rdnn(n2)))))], (974 ^ _18487) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n5)], (1634 ^ _18487) ^ [] : [-(rdn_translate(nn24, rdn_neg(rdn(rdnn(n4), rdnn(n2)))))], (1350 ^ _18487) ^ [] : [-(rdn_translate(n9, rdn_pos(rdnn(n9))))], (1712 ^ _18487) ^ [] : [-(rdn_translate(nn63, rdn_neg(rdn(rdnn(n3), rdnn(n6)))))], (1420 ^ _18487) ^ [] : [-(rdn_translate(n44, rdn_pos(rdn(rdnn(n4), rdnn(n4)))))], (1190 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3)], (1018 ^ _18487) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (1840 ^ _18487) ^ [] : [-(rdn_translate(nn127, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (1170 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1546 ^ _18487) ^ [] : [-(rdn_translate(n107, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (1906 ^ _18487) ^ [_39814, _39816, _39818] : [rdn_non_zero(_39814), -(rdn_positive_less(rdnn(_39818), rdn(rdnn(_39816), _39814)))], (366 ^ _18487) ^ [_23733] : [-(accept_city(_23733, suffertown)), accept_population(_23733, atheist, n65), accept_population(_23733, christian, n20), accept_population(_23733, muslim, n7), accept_population(_23733, native, n4), accept_population(_23733, other, n4)], (1412 ^ _18487) ^ [] : [-(rdn_translate(n40, rdn_pos(rdn(rdnn(n0), rdnn(n4)))))], (1430 ^ _18487) ^ [] : [-(rdn_translate(n49, rdn_pos(rdn(rdnn(n9), rdnn(n4)))))], (1602 ^ _18487) ^ [] : [-(rdn_translate(nn8, rdn_neg(rdnn(n8))))], (1048 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, townc, n4))], (1410 ^ _18487) ^ [] : [-(rdn_translate(n39, rdn_pos(rdn(rdnn(n9), rdnn(n3)))))], (1246 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, towna, n6))], (1760 ^ _18487) ^ [] : [-(rdn_translate(nn87, rdn_neg(rdn(rdnn(n7), rdnn(n8)))))], (836 ^ _18487) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, towna, n6))], (1210 ^ _18487) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n6))], (1356 ^ _18487) ^ [] : [-(rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))))], (1542 ^ _18487) ^ [] : [-(rdn_translate(n105, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (1278 ^ _18487) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n5))], (1140 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n5))], (1144 ^ _18487) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, cityb, n6))], (940 ^ _18487) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (1738 ^ _18487) ^ [] : [-(rdn_translate(nn76, rdn_neg(rdn(rdnn(n6), rdnn(n7)))))], (1566 ^ _18487) ^ [] : [-(rdn_translate(n117, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (1686 ^ _18487) ^ [] : [-(rdn_translate(nn50, rdn_neg(rdn(rdnn(n0), rdnn(n5)))))], (1766 ^ _18487) ^ [] : [-(rdn_translate(nn90, rdn_neg(rdn(rdnn(n0), rdnn(n9)))))], (1692 ^ _18487) ^ [] : [-(rdn_translate(nn53, rdn_neg(rdn(rdnn(n3), rdnn(n5)))))], (1498 ^ _18487) ^ [] : [-(rdn_translate(n83, rdn_pos(rdn(rdnn(n3), rdnn(n8)))))], (360 ^ _18487) ^ [_23644, _23646] : [min_number_of_proposed_agents(_23646, _23644), -(accept_number(_23646, _23644))], (1696 ^ _18487) ^ [] : [-(rdn_translate(nn55, rdn_neg(rdn(rdnn(n5), rdnn(n5)))))], (1804 ^ _18487) ^ [] : [-(rdn_translate(nn109, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (474 ^ _18487) ^ [_25167] : [-(accept_city(_25167, centrallakecity)), accept_population(_25167, atheist, n70), accept_population(_25167, christian, n15), accept_population(_25167, muslim, n1), accept_population(_25167, native, n10), accept_population(_25167, other, n4)], (1864 ^ _18487) ^ [] : [-(rdn_positive_less(rdnn(n1), rdnn(n2)))], (654 ^ _18487) ^ [_27557] : [-(accept_city(_27557, towna)), accept_population(_27557, atheist, n75), accept_population(_27557, christian, n24), accept_population(_27557, muslim, n1), accept_population(_27557, native, n0), accept_population(_27557, other, n0)], (1948 ^ _18487) ^ [_40413, _40415, _40417, _40419] : [-(less(_40419, _40417)), rdn_translate(_40419, rdn_neg(_40415)), rdn_translate(_40417, rdn_neg(_40413)), rdn_positive_less(_40413, _40415)], (1404 ^ _18487) ^ [] : [-(rdn_translate(n36, rdn_pos(rdn(rdnn(n6), rdnn(n3)))))], (914 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (1470 ^ _18487) ^ [] : [-(rdn_translate(n69, rdn_pos(rdn(rdnn(n9), rdnn(n6)))))], (1192 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n3)], (1012 ^ _18487) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n5))], (1164 ^ _18487) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (1550 ^ _18487) ^ [] : [-(rdn_translate(n109, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (1022 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1436 ^ _18487) ^ [] : [-(rdn_translate(n52, rdn_pos(rdn(rdnn(n2), rdnn(n5)))))], (280 ^ _18487) ^ [_22516, _22518] : [_22518 = _22516, -(rdn_pos(_22518) = rdn_pos(_22516))], (1482 ^ _18487) ^ [] : [-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))], (1386 ^ _18487) ^ [] : [-(rdn_translate(n27, rdn_pos(rdn(rdnn(n7), rdnn(n2)))))], (1558 ^ _18487) ^ [] : [-(rdn_translate(n113, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (1050 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1000 ^ _18487) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, coastvillage, n6))], (344 ^ _18487) ^ [_23427, _23429, _23431] : [any_agent_in_all_proposed_teams(_23431, _23429, _23427), -(accept_leader(_23431, _23429))], (1390 ^ _18487) ^ [] : [-(rdn_translate(n29, rdn_pos(rdn(rdnn(n9), rdnn(n2)))))], (1654 ^ _18487) ^ [] : [-(rdn_translate(nn34, rdn_neg(rdn(rdnn(n4), rdnn(n3)))))], (200 ^ _18487) ^ [_21318, _21320, _21322, _21324, _21326, _21328] : [-(sum(_21326, _21322, _21318)), sum(_21328, _21324, _21320), _21328 = _21326, _21324 = _21322, _21320 = _21318], (1732 ^ _18487) ^ [] : [-(rdn_translate(nn73, rdn_neg(rdn(rdnn(n3), rdnn(n7)))))], (1832 ^ _18487) ^ [] : [-(rdn_translate(nn123, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (910 ^ _18487) ^ [] : [-(accept_team(countryccivilorganization, countrycmedicalorganization, towna, n4))], (1158 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1426 ^ _18487) ^ [] : [-(rdn_translate(n47, rdn_pos(rdn(rdnn(n7), rdnn(n4)))))], (882 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1292 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, towna, n6))], (1092 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, townc, n6))], (1624 ^ _18487) ^ [] : [-(rdn_translate(nn19, rdn_neg(rdn(rdnn(n9), rdnn(n1)))))], (856 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (1722 ^ _18487) ^ [] : [-(rdn_translate(nn68, rdn_neg(rdn(rdnn(n8), rdnn(n6)))))], (1694 ^ _18487) ^ [] : [-(rdn_translate(nn54, rdn_neg(rdn(rdnn(n4), rdnn(n5)))))], (1970 ^ _18487) ^ [_40741, _40743] : [-(less(_40743, _40741)), -(less(_40741, _40743)), -(_40741 = _40743)], (1040 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1476 ^ _18487) ^ [] : [-(rdn_translate(n72, rdn_pos(rdn(rdnn(n2), rdnn(n7)))))], (1586 ^ _18487) ^ [] : [-(rdn_translate(n127, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (896 ^ _18487) ^ [] : [accept_team(countryamedicalorganization, christiansufferterrahumanitarianorganization, coastvillage, n2)], (1980 ^ _18487) ^ [_40801, _40803] : [less_or_equal(_40803, _40801), -(less(_40803, _40801)), -(_40803 = _40801)], (1120 ^ _18487) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n6)], (1220 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3))], (152 ^ _18487) ^ [_20682, _20684] : [-(rdn_non_zero_digit(_20682)), _20684 = _20682, rdn_non_zero_digit(_20684)], (1856 ^ _18487) ^ [] : [-(rdn_non_zero_digit(rdnn(n7)))], (1200 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n4)], (1798 ^ _18487) ^ [] : [-(rdn_translate(nn106, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (438 ^ _18487) ^ [_24689] : [-(accept_city(_24689, sunnysideport)), accept_population(_24689, atheist, n30), accept_population(_24689, christian, n8), accept_population(_24689, muslim, n60), accept_population(_24689, native, n1), accept_population(_24689, other, n1)], (1484 ^ _18487) ^ [] : [-(rdn_translate(n76, rdn_pos(rdn(rdnn(n6), rdnn(n7)))))], (48 ^ _18487) ^ [_19136, _19138, _19140, _19142] : [-(accept_city(_19140, _19136)), accept_city(_19142, _19138), _19142 = _19140, _19138 = _19136], (1720 ^ _18487) ^ [] : [-(rdn_translate(nn67, rdn_neg(rdn(rdnn(n7), rdnn(n6)))))], (1648 ^ _18487) ^ [] : [-(rdn_translate(nn31, rdn_neg(rdn(rdnn(n1), rdnn(n3)))))], (1596 ^ _18487) ^ [] : [-(rdn_translate(nn5, rdn_neg(rdnn(n5))))], (994 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (1658 ^ _18487) ^ [] : [-(rdn_translate(nn36, rdn_neg(rdn(rdnn(n6), rdnn(n3)))))], (1290 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, towna, n6))], (1076 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n2))], (762 ^ _18487) ^ [_28991] : [-(accept_city(_28991, cityb)), accept_population(_28991, atheist, n78), accept_population(_28991, christian, n20), accept_population(_28991, muslim, n1), accept_population(_28991, native, n0), accept_population(_28991, other, n1)], (1266 ^ _18487) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, towna, n6)], (986 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, townc, n6))], (1614 ^ _18487) ^ [] : [-(rdn_translate(nn14, rdn_neg(rdn(rdnn(n4), rdnn(n1)))))], (1134 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (1490 ^ _18487) ^ [] : [-(rdn_translate(n79, rdn_pos(rdn(rdnn(n9), rdnn(n7)))))], (1728 ^ _18487) ^ [] : [-(rdn_translate(nn71, rdn_neg(rdn(rdnn(n1), rdnn(n7)))))], (1378 ^ _18487) ^ [] : [-(rdn_translate(n23, rdn_pos(rdn(rdnn(n3), rdnn(n2)))))], (1298 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1154 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n6))], (1998 ^ _18487) ^ [_41000, _41002, _41004] : [-(less_or_equal(_41000, _41004)), sum(_41004, n1, _41002), less(_41000, _41002)], (840 ^ _18487) ^ [] : [-(accept_team(countryahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (1594 ^ _18487) ^ [] : [-(rdn_translate(nn4, rdn_neg(rdnn(n4))))], (876 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (1870 ^ _18487) ^ [] : [-(rdn_positive_less(rdnn(n4), rdnn(n5)))], (1568 ^ _18487) ^ [] : [-(rdn_translate(n118, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (1776 ^ _18487) ^ [] : [-(rdn_translate(nn95, rdn_neg(rdn(rdnn(n5), rdnn(n9)))))], (1110 ^ _18487) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, cityb, n6))], (1680 ^ _18487) ^ [] : [-(rdn_translate(nn47, rdn_neg(rdn(rdnn(n7), rdnn(n4)))))], (1108 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1576 ^ _18487) ^ [] : [-(rdn_translate(n122, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (1052 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, townc, n6))], (1710 ^ _18487) ^ [] : [-(rdn_translate(nn62, rdn_neg(rdn(rdnn(n2), rdnn(n6)))))], (604 ^ _18487) ^ [_26882] : [accept_city(_26882, coastvillage), 607 ^ _18487 : [(616 ^ _18487) ^ [] : [-(accept_population(_26882, other, n0))], (614 ^ _18487) ^ [] : [-(accept_population(_26882, native, n85))], (612 ^ _18487) ^ [] : [-(accept_population(_26882, muslim, n0))], (610 ^ _18487) ^ [] : [-(accept_population(_26882, christian, n3))], (608 ^ _18487) ^ [] : [-(accept_population(_26882, atheist, n12))]]], (1570 ^ _18487) ^ [] : [-(rdn_translate(n119, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (1152 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n5))], (1664 ^ _18487) ^ [] : [-(rdn_translate(nn39, rdn_neg(rdn(rdnn(n9), rdnn(n3)))))], (1308 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, towna, n6))], (1454 ^ _18487) ^ [] : [-(rdn_translate(n61, rdn_pos(rdn(rdnn(n1), rdnn(n6)))))], (1238 ^ _18487) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (838 ^ _18487) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1282 ^ _18487) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n6))], (62 ^ _18487) ^ [_19329, _19331, _19333, _19335, _19337, _19339] : [-(the_agent_in_all_proposed_teams(_19337, _19333, _19329)), the_agent_in_all_proposed_teams(_19339, _19335, _19331), _19339 = _19337, _19335 = _19333, _19331 = _19329], (934 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (1416 ^ _18487) ^ [] : [-(rdn_translate(n42, rdn_pos(rdn(rdnn(n2), rdnn(n4)))))], (1216 ^ _18487) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (1466 ^ _18487) ^ [] : [-(rdn_translate(n67, rdn_pos(rdn(rdnn(n7), rdnn(n6)))))], (1872 ^ _18487) ^ [] : [-(rdn_positive_less(rdnn(n5), rdnn(n6)))], (1138 ^ _18487) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n6))], (1494 ^ _18487) ^ [] : [-(rdn_translate(n81, rdn_pos(rdn(rdnn(n1), rdnn(n8)))))], (1472 ^ _18487) ^ [] : [-(rdn_translate(n70, rdn_pos(rdn(rdnn(n0), rdnn(n7)))))], (1688 ^ _18487) ^ [] : [-(rdn_translate(nn51, rdn_neg(rdn(rdnn(n1), rdnn(n5)))))], (888 ^ _18487) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (1332 ^ _18487) ^ [] : [-(rdn_translate(n0, rdn_pos(rdnn(n0))))], (1662 ^ _18487) ^ [] : [-(rdn_translate(nn38, rdn_neg(rdn(rdnn(n8), rdnn(n3)))))], (1636 ^ _18487) ^ [] : [-(rdn_translate(nn25, rdn_neg(rdn(rdnn(n5), rdnn(n2)))))], (1422 ^ _18487) ^ [] : [-(rdn_translate(n45, rdn_pos(rdn(rdnn(n5), rdnn(n4)))))], (116 ^ _18487) ^ [_20144, _20146, _20148, _20150, _20152, _20154] : [-(the_agent_not_in_any_proposed_teams(_20152, _20148, _20144)), the_agent_not_in_any_proposed_teams(_20154, _20150, _20146), _20154 = _20152, _20150 = _20148, _20146 = _20144], (618 ^ _18487) ^ [_27079] : [-(accept_city(_27079, sunsetpoint)), accept_population(_27079, atheist, n0), accept_population(_27079, christian, n0), accept_population(_27079, muslim, n0), accept_population(_27079, native, n100), accept_population(_27079, other, n0)], (990 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, townc, n6))], (920 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n5))], (1660 ^ _18487) ^ [] : [-(rdn_translate(nn37, rdn_neg(rdn(rdnn(n7), rdnn(n3)))))], (1054 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (1452 ^ _18487) ^ [] : [-(rdn_translate(n60, rdn_pos(rdn(rdnn(n0), rdnn(n6)))))], (1094 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, townc, n6))], (1834 ^ _18487) ^ [] : [-(rdn_translate(nn124, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (874 ^ _18487) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (978 ^ _18487) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (1136 ^ _18487) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n5))], (1580 ^ _18487) ^ [] : [-(rdn_translate(n124, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (1606 ^ _18487) ^ [] : [-(rdn_translate(nn10, rdn_neg(rdn(rdnn(n0), rdnn(n1)))))], (1642 ^ _18487) ^ [] : [-(rdn_translate(nn28, rdn_neg(rdn(rdnn(n8), rdnn(n2)))))], (1640 ^ _18487) ^ [] : [-(rdn_translate(nn27, rdn_neg(rdn(rdnn(n7), rdnn(n2)))))], (848 ^ _18487) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (1068 ^ _18487) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, townc, n6)], (1174 ^ _18487) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (1462 ^ _18487) ^ [] : [-(rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))))], (1188 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n3)], (1878 ^ _18487) ^ [] : [-(rdn_positive_less(rdnn(n8), rdnn(n9)))], (1032 ^ _18487) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (1844 ^ _18487) ^ [] : [-(rdn_non_zero_digit(rdnn(n1)))], (894 ^ _18487) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n2)], (1408 ^ _18487) ^ [] : [-(rdn_translate(n38, rdn_pos(rdn(rdnn(n8), rdnn(n3)))))], (942 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n5))], (1204 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n6)], (1598 ^ _18487) ^ [] : [-(rdn_translate(nn6, rdn_neg(rdnn(n6))))], (912 ^ _18487) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n5)], (1786 ^ _18487) ^ [] : [-(rdn_translate(nn100, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (1620 ^ _18487) ^ [] : [-(rdn_translate(nn17, rdn_neg(rdn(rdnn(n7), rdnn(n1)))))], (1212 ^ _18487) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n5))], (1540 ^ _18487) ^ [] : [-(rdn_translate(n104, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (1446 ^ _18487) ^ [] : [-(rdn_translate(n57, rdn_pos(rdn(rdnn(n7), rdnn(n5)))))], (1742 ^ _18487) ^ [] : [-(rdn_translate(nn78, rdn_neg(rdn(rdnn(n8), rdnn(n7)))))], (1186 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n2)], (944 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (1756 ^ _18487) ^ [] : [-(rdn_translate(nn85, rdn_neg(rdn(rdnn(n5), rdnn(n8)))))], (1652 ^ _18487) ^ [] : [-(rdn_translate(nn33, rdn_neg(rdn(rdnn(n3), rdnn(n3)))))], (1102 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (316 ^ _18487) ^ [_23046, _23048, _23050] : [-(accept_number(_23050, _23046)), accept_number(_23050, _23048), less(_23046, _23048)], (1090 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, townc, n6))], (950 ^ _18487) ^ [] : [-(accept_number(countryacivilorganization, n2))], (1132 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (1024 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1428 ^ _18487) ^ [] : [-(rdn_translate(n48, rdn_pos(rdn(rdnn(n8), rdnn(n4)))))], (1506 ^ _18487) ^ [] : [-(rdn_translate(n87, rdn_pos(rdn(rdnn(n7), rdnn(n8)))))], (1604 ^ _18487) ^ [] : [-(rdn_translate(nn9, rdn_neg(rdnn(n9))))], (1444 ^ _18487) ^ [] : [-(rdn_translate(n56, rdn_pos(rdn(rdnn(n6), rdnn(n5)))))], (1184 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n2)], (712 ^ _18487) ^ [_28316] : [accept_city(_28316, citya), 715 ^ _18487 : [(724 ^ _18487) ^ [] : [-(accept_population(_28316, other, n0))], (722 ^ _18487) ^ [] : [-(accept_population(_28316, native, n0))], (720 ^ _18487) ^ [] : [-(accept_population(_28316, muslim, n0))], (718 ^ _18487) ^ [] : [-(accept_population(_28316, christian, n25))], (716 ^ _18487) ^ [] : [-(accept_population(_28316, atheist, n75))]]], (1526 ^ _18487) ^ [] : [-(rdn_translate(n97, rdn_pos(rdn(rdnn(n7), rdnn(n9)))))], (1364 ^ _18487) ^ [] : [-(rdn_translate(n16, rdn_pos(rdn(rdnn(n6), rdnn(n1)))))], (1440 ^ _18487) ^ [] : [-(rdn_translate(n54, rdn_pos(rdn(rdnn(n4), rdnn(n5)))))], (1698 ^ _18487) ^ [] : [-(rdn_translate(nn56, rdn_neg(rdn(rdnn(n6), rdnn(n5)))))], (1778 ^ _18487) ^ [] : [-(rdn_translate(nn96, rdn_neg(rdn(rdnn(n6), rdnn(n9)))))], (1176 ^ _18487) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1114 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1346 ^ _18487) ^ [] : [-(rdn_translate(n7, rdn_pos(rdnn(n7))))], (640 ^ _18487) ^ [_27360] : [accept_city(_27360, sunsetpoint), 643 ^ _18487 : [(652 ^ _18487) ^ [] : [-(accept_population(_27360, other, n0))], (650 ^ _18487) ^ [] : [-(accept_population(_27360, native, n100))], (648 ^ _18487) ^ [] : [-(accept_population(_27360, muslim, n0))], (646 ^ _18487) ^ [] : [-(accept_population(_27360, christian, n0))], (644 ^ _18487) ^ [] : [-(accept_population(_27360, atheist, n0))]]], (326 ^ _18487) ^ [_23179, _23181, _23183, _23185] : [-(accept_population(_23185, _23179, _23181)), accept_population(_23185, _23179, _23183), less(_23181, _23183)], (496 ^ _18487) ^ [_25448] : [accept_city(_25448, centrallakecity), 499 ^ _18487 : [(508 ^ _18487) ^ [] : [-(accept_population(_25448, other, n4))], (506 ^ _18487) ^ [] : [-(accept_population(_25448, native, n10))], (504 ^ _18487) ^ [] : [-(accept_population(_25448, muslim, n1))], (502 ^ _18487) ^ [] : [-(accept_population(_25448, christian, n15))], (500 ^ _18487) ^ [] : [-(accept_population(_25448, atheist, n70))]]], (264 ^ _18487) ^ [_22282, _22284, _22286, _22288] : [-(rdn(_22288, _22284) = rdn(_22286, _22282)), _22288 = _22286, _22284 = _22282], (1104 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (970 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (1764 ^ _18487) ^ [] : [-(rdn_translate(nn89, rdn_neg(rdn(rdnn(n9), rdnn(n8)))))], (1010 ^ _18487) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (1260 ^ _18487) ^ [] : [-(accept_number(countryccivilorganization, n2))], (930 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (1460 ^ _18487) ^ [] : [-(rdn_translate(n64, rdn_pos(rdn(rdnn(n4), rdnn(n6)))))], (968 ^ _18487) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, coastvillage, n6))], (1034 ^ _18487) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (1222 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n3))], (1122 ^ _18487) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, cityb, n6))], (1306 ^ _18487) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (546 ^ _18487) ^ [_26123] : [-(accept_city(_26123, northport)), accept_population(_26123, atheist, n70), accept_population(_26123, christian, n13), accept_population(_26123, muslim, n0), accept_population(_26123, native, n15), accept_population(_26123, other, n2)], (1096 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (1480 ^ _18487) ^ [] : [-(rdn_translate(n74, rdn_pos(rdn(rdnn(n4), rdnn(n7)))))], (1284 ^ _18487) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (1918 ^ _18487) ^ [_39984, _39986] : [rdn_non_zero(_39984), -(rdn_non_zero(rdn(rdnn(_39986), _39984)))], (1182 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n2)], (1318 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (886 ^ _18487) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, towna, n6))], (1474 ^ _18487) ^ [] : [-(rdn_translate(n71, rdn_pos(rdn(rdnn(n1), rdnn(n7)))))], (1344 ^ _18487) ^ [] : [-(rdn_translate(n6, rdn_pos(rdnn(n6))))], (1858 ^ _18487) ^ [] : [-(rdn_non_zero_digit(rdnn(n8)))], (1564 ^ _18487) ^ [] : [-(rdn_translate(n116, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (946 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (1268 ^ _18487) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, towna, n6)], (1868 ^ _18487) ^ [] : [-(rdn_positive_less(rdnn(n3), rdnn(n4)))], (1830 ^ _18487) ^ [] : [-(rdn_translate(nn122, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (1588 ^ _18487) ^ [] : [-(rdn_translate(nn1, rdn_neg(rdnn(n1))))], (1338 ^ _18487) ^ [] : [-(rdn_translate(n3, rdn_pos(rdnn(n3))))], (1780 ^ _18487) ^ [] : [-(rdn_translate(nn97, rdn_neg(rdn(rdnn(n7), rdnn(n9)))))], (1106 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (292 ^ _18487) ^ [_22716, _22718, _22720, _22722] : [accept_team(_22722, _22716, _22720, _22718), 295 ^ _18487 : [(298 ^ _18487) ^ [] : [-(accept_leader(_22722, _22716))], (300 ^ _18487) ^ [] : [-(accept_number(_22722, _22718))], (296 ^ _18487) ^ [] : [-(accept_city(_22722, _22720))]]], (1006 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1850 ^ _18487) ^ [] : [-(rdn_non_zero_digit(rdnn(n4)))], (1320 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (1084 ^ _18487) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, townc, n6))], (1758 ^ _18487) ^ [] : [-(rdn_translate(nn86, rdn_neg(rdn(rdnn(n6), rdnn(n8)))))], (1556 ^ _18487) ^ [] : [-(rdn_translate(n112, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (1310 ^ _18487) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (1078 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (172 ^ _18487) ^ [_20932, _20934, _20936, _20938] : [-(rdn_translate(_20936, _20932)), rdn_translate(_20938, _20934), _20938 = _20936, _20934 = _20932], (1812 ^ _18487) ^ [] : [-(rdn_translate(nn113, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (902 ^ _18487) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n6)], (984 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1142 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n6))], (274 ^ _18487) ^ [_22431, _22433] : [_22433 = _22431, -(rdnn(_22433) = rdnn(_22431))], (1806 ^ _18487) ^ [] : [-(rdn_translate(nn110, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (582 ^ _18487) ^ [_26601] : [-(accept_city(_26601, coastvillage)), accept_population(_26601, atheist, n12), accept_population(_26601, christian, n3), accept_population(_26601, muslim, n0), accept_population(_26601, native, n85), accept_population(_26601, other, n0)], (1074 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1782 ^ _18487) ^ [] : [-(rdn_translate(nn98, rdn_neg(rdn(rdnn(n8), rdnn(n9)))))], (1814 ^ _18487) ^ [] : [-(rdn_translate(nn114, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (1618 ^ _18487) ^ [] : [-(rdn_translate(nn16, rdn_neg(rdn(rdnn(n6), rdnn(n1)))))], (1288 ^ _18487) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, towna, n4))], (1314 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n6))], (992 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (1790 ^ _18487) ^ [] : [-(rdn_translate(nn102, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1360 ^ _18487) ^ [] : [-(rdn_translate(n14, rdn_pos(rdn(rdnn(n4), rdnn(n1)))))], (1496 ^ _18487) ^ [] : [-(rdn_translate(n82, rdn_pos(rdn(rdnn(n2), rdnn(n8)))))], (1328 ^ _18487) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1560 ^ _18487) ^ [] : [-(rdn_translate(n114, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (1304 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, towna, n4))], (960 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (1784 ^ _18487) ^ [] : [-(rdn_translate(nn99, rdn_neg(rdn(rdnn(n9), rdnn(n9)))))], (954 ^ _18487) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n6))], (162 ^ _18487) ^ [_20807, _20809] : [-(rdn_non_zero(_20807)), _20809 = _20807, rdn_non_zero(_20809)], (1274 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1256 ^ _18487) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n2)], (1890 ^ _18487) ^ [_39554, _39556, _39558, _39560] : [rdn_positive_less(_39558, _39554), -(rdn_positive_less(rdn(rdnn(_39560), _39558), rdn(rdnn(_39556), _39554)))], (1148 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (1380 ^ _18487) ^ [] : [-(rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))))], (844 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (908 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (1392 ^ _18487) ^ [] : [-(rdn_translate(n30, rdn_pos(rdn(rdnn(n0), rdnn(n3)))))], (938 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n4))], (1802 ^ _18487) ^ [] : [-(rdn_translate(nn108, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (1340 ^ _18487) ^ [] : [-(rdn_translate(n4, rdn_pos(rdnn(n4))))], (1532 ^ _18487) ^ [] : [-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (862 ^ _18487) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (972 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (80 ^ _18487) ^ [_19598, _19600, _19602, _19604, _19606, _19608, _19610, _19612] : [-(accept_team(_19610, _19606, _19602, _19598)), accept_team(_19612, _19608, _19604, _19600), _19612 = _19610, _19608 = _19606, _19604 = _19602, _19600 = _19598], (1912 ^ _18487) ^ [_39905] : [rdn_non_zero_digit(rdnn(_39905)), -(rdn_non_zero(rdnn(_39905)))], (1876 ^ _18487) ^ [] : [-(rdn_positive_less(rdnn(n7), rdnn(n8)))], (690 ^ _18487) ^ [_28035] : [-(accept_city(_28035, citya)), accept_population(_28035, atheist, n75), accept_population(_28035, christian, n25), accept_population(_28035, muslim, n0), accept_population(_28035, native, n0), accept_population(_28035, other, n0)], (1336 ^ _18487) ^ [] : [-(rdn_translate(n2, rdn_pos(rdnn(n2))))], (1838 ^ _18487) ^ [] : [-(rdn_translate(nn126, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1896 ^ _18487) ^ [_39655, _39657, _39659] : [-(rdn_positive_less(rdn(rdnn(_39659), _39657), rdn(rdnn(_39655), _39657))), rdn_positive_less(rdnn(_39659), rdnn(_39655)), rdn_non_zero(_39657)], (1250 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1554 ^ _18487) ^ [] : [-(rdn_translate(n111, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (1828 ^ _18487) ^ [] : [-(rdn_translate(nn121, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1500 ^ _18487) ^ [] : [-(rdn_translate(n84, rdn_pos(rdn(rdnn(n4), rdnn(n8)))))], (1962 ^ _18487) ^ [_40629, _40631] : [less(_40631, _40629), 1965 ^ _18487 : [(1966 ^ _18487) ^ [] : [less(_40629, _40631)], (1968 ^ _18487) ^ [] : [_40629 = _40631]]], (1848 ^ _18487) ^ [] : [-(rdn_non_zero_digit(rdnn(n3)))], (1326 ^ _18487) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (1538 ^ _18487) ^ [] : [-(rdn_translate(n103, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (1066 ^ _18487) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, townc, n6)], (1464 ^ _18487) ^ [] : [-(rdn_translate(n66, rdn_pos(rdn(rdnn(n6), rdnn(n6)))))], (1744 ^ _18487) ^ [] : [-(rdn_translate(nn79, rdn_neg(rdn(rdnn(n9), rdnn(n7)))))], (1254 ^ _18487) ^ [] : [-(accept_number(sufferterragovernment, n2))], (1774 ^ _18487) ^ [] : [-(rdn_translate(nn94, rdn_neg(rdn(rdnn(n4), rdnn(n9)))))], (1166 ^ _18487) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, cityb, n6))], (1816 ^ _18487) ^ [] : [-(rdn_translate(nn115, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (1046 ^ _18487) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, townc, n6))], (1938 ^ _18487) ^ [_40268, _40270, _40272, _40274] : [-(less(_40274, _40272)), rdn_translate(_40274, rdn_neg(_40270)), rdn_translate(_40272, rdn_pos(_40268))], (1736 ^ _18487) ^ [] : [-(rdn_translate(nn75, rdn_neg(rdn(rdnn(n5), rdnn(n7)))))], (1432 ^ _18487) ^ [] : [-(rdn_translate(n50, rdn_pos(rdn(rdnn(n0), rdnn(n5)))))], (232 ^ _18487) ^ [_21780, _21782, _21784, _21786] : [-(less_or_equal(_21784, _21780)), less_or_equal(_21786, _21782), _21786 = _21784, _21782 = _21780], (1044 ^ _18487) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, townc, n6))], (878 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (1456 ^ _18487) ^ [] : [-(rdn_translate(n62, rdn_pos(rdn(rdnn(n2), rdnn(n6)))))], (424 ^ _18487) ^ [_24492] : [accept_city(_24492, centraltown), 427 ^ _18487 : [(436 ^ _18487) ^ [] : [-(accept_population(_24492, other, n9))], (434 ^ _18487) ^ [] : [-(accept_population(_24492, native, n1))], (432 ^ _18487) ^ [] : [-(accept_population(_24492, muslim, n3))], (430 ^ _18487) ^ [] : [-(accept_population(_24492, christian, n23))], (428 ^ _18487) ^ [] : [-(accept_population(_24492, atheist, n54))]]], (1038 ^ _18487) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (1438 ^ _18487) ^ [] : [-(rdn_translate(n53, rdn_pos(rdn(rdnn(n3), rdnn(n5)))))], (1228 ^ _18487) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n6))], (834 ^ _18487) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, cityb, n6))], (860 ^ _18487) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, cityb, n6))], (1248 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n6))], (926 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (1194 ^ _18487) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n3)], (1678 ^ _18487) ^ [] : [-(rdn_translate(nn46, rdn_neg(rdn(rdnn(n6), rdnn(n4)))))], (1060 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (1796 ^ _18487) ^ [] : [-(rdn_translate(nn105, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (1286 ^ _18487) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (918 ^ _18487) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n4))], (1578 ^ _18487) ^ [] : [-(rdn_translate(n123, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (1240 ^ _18487) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (1358 ^ _18487) ^ [] : [-(rdn_translate(n13, rdn_pos(rdn(rdnn(n3), rdnn(n1)))))], (1384 ^ _18487) ^ [] : [-(rdn_translate(n26, rdn_pos(rdn(rdnn(n6), rdnn(n2)))))], (1342 ^ _18487) ^ [] : [-(rdn_translate(n5, rdn_pos(rdnn(n5))))], (922 ^ _18487) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (1352 ^ _18487) ^ [] : [-(rdn_translate(n10, rdn_pos(rdn(rdnn(n0), rdnn(n1)))))], (1584 ^ _18487) ^ [] : [-(rdn_translate(n126, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1536 ^ _18487) ^ [] : [-(rdn_translate(n102, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1666 ^ _18487) ^ [] : [-(rdn_translate(nn40, rdn_neg(rdn(rdnn(n0), rdnn(n4)))))], (892 ^ _18487) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n2)], (1348 ^ _18487) ^ [] : [-(rdn_translate(n8, rdn_pos(rdnn(n8))))], (1690 ^ _18487) ^ [] : [-(rdn_translate(nn52, rdn_neg(rdn(rdnn(n2), rdnn(n5)))))], (1234 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (1492 ^ _18487) ^ [] : [-(rdn_translate(n80, rdn_pos(rdn(rdnn(n0), rdnn(n8)))))], (1124 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1388 ^ _18487) ^ [] : [-(rdn_translate(n28, rdn_pos(rdn(rdnn(n8), rdnn(n2)))))], (1004 ^ _18487) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1644 ^ _18487) ^ [] : [-(rdn_translate(nn29, rdn_neg(rdn(rdnn(n9), rdnn(n2)))))], (1608 ^ _18487) ^ [] : [-(rdn_translate(nn11, rdn_neg(rdn(rdnn(n1), rdnn(n1)))))], (1400 ^ _18487) ^ [] : [-(rdn_translate(n34, rdn_pos(rdn(rdnn(n4), rdnn(n3)))))], (402 ^ _18487) ^ [_24211] : [-(accept_city(_24211, centraltown)), accept_population(_24211, atheist, n54), accept_population(_24211, christian, n23), accept_population(_24211, muslim, n3), accept_population(_24211, native, n1), accept_population(_24211, other, n9)], (1150 ^ _18487) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))]], input).
% 263.19/256.01  ncf('1',plain,[accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n5)],start(852 ^ 0)).
% 263.19/256.01  ncf('1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n5)), accept_city(muslimcountrybhumanitarianorganization, towna), accept_leader(muslimcountrybhumanitarianorganization, countrycmedicalorganization), accept_number(muslimcountrybhumanitarianorganization, n5)],extension(302 ^ 1,bind([[_22847, _22849, _22851, _22853], [countrycmedicalorganization, n5, towna, muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, towna)), accept_population(muslimcountrybhumanitarianorganization, atheist, n75), accept_population(muslimcountrybhumanitarianorganization, christian, n24), accept_population(muslimcountrybhumanitarianorganization, muslim, n1), accept_population(muslimcountrybhumanitarianorganization, native, n0), accept_population(muslimcountrybhumanitarianorganization, other, n0)],extension(654 ^ 2,bind([[_27557], [muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, atheist, n75)), accept_population(muslimcountrybhumanitarianorganization, atheist, n78), less(n75, n78)],extension(326 ^ 3,bind([[_23179, _23181, _23183, _23185], [atheist, n75, n78, muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1.1.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, atheist, n78)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 4,bind([[_29272], [muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1.1.1.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6)],extension(292 ^ 5,bind([[_22716, _22718, _22720, _22722], [countrybhumanitarianorganization, n6, cityb, muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1.1.1.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))],extension(1178 ^ 6)).
% 263.19/256.01  ncf('1.1.1.1.2',plain,[-(less(n75, n78)), rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))), rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))), rdn_positive_less(rdn(rdnn(n5), rdnn(n7)), rdn(rdnn(n8), rdnn(n7)))],extension(1924 ^ 4,bind([[_40067, _40069, _40071, _40073], [rdn(rdnn(n8), rdnn(n7)), rdn(rdnn(n5), rdnn(n7)), n78, n75]]))).
% 263.19/256.01  ncf('1.1.1.1.2.1',plain,[-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))],extension(1482 ^ 5)).
% 263.19/256.01  ncf('1.1.1.1.2.2',plain,[-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))],extension(1488 ^ 5)).
% 263.19/256.01  ncf('1.1.1.1.2.3',plain,[-(rdn_positive_less(rdn(rdnn(n5), rdnn(n7)), rdn(rdnn(n8), rdnn(n7)))), rdn_positive_less(rdnn(n5), rdnn(n8)), rdn_non_zero(rdnn(n7))],extension(1896 ^ 5,bind([[_39655, _39657, _39659], [n8, rdnn(n7), n5]]))).
% 263.19/256.01  ncf('1.1.1.1.2.3.1',plain,[-(rdn_positive_less(rdnn(n5), rdnn(n8))), rdn_positive_less(rdnn(n5), rdnn(n7)), rdn_positive_less(rdnn(n7), rdnn(n8))],extension(1880 ^ 6,bind([[_39397, _39399, _39401], [n8, n7, n5]]))).
% 263.19/256.01  ncf('1.1.1.1.2.3.1.1',plain,[-(rdn_positive_less(rdnn(n5), rdnn(n7))), rdn_positive_less(rdnn(n5), rdnn(n6)), rdn_positive_less(rdnn(n6), rdnn(n7))],extension(1880 ^ 7,bind([[_39397, _39399, _39401], [n7, n6, n5]]))).
% 263.19/256.01  ncf('1.1.1.1.2.3.1.1.1',plain,[-(rdn_positive_less(rdnn(n5), rdnn(n6)))],extension(1872 ^ 8)).
% 263.19/256.01  ncf('1.1.1.1.2.3.1.1.2',plain,[-(rdn_positive_less(rdnn(n6), rdnn(n7)))],extension(1874 ^ 8)).
% 263.19/256.01  ncf('1.1.1.1.2.3.1.2',plain,[-(rdn_positive_less(rdnn(n7), rdnn(n8)))],extension(1876 ^ 7)).
% 263.19/256.01  ncf('1.1.1.1.2.3.2',plain,[-(rdn_non_zero(rdnn(n7))), rdn_non_zero_digit(rdnn(n7))],extension(1912 ^ 6,bind([[_39905], [n7]]))).
% 263.19/256.01  ncf('1.1.1.1.2.3.2.1',plain,[-(rdn_non_zero_digit(rdnn(n7)))],extension(1856 ^ 7)).
% 263.19/256.01  ncf('1.1.1.2',plain,[-(accept_population(muslimcountrybhumanitarianorganization, christian, n24))],extension(2008 ^ 3,bind([[_42259, _42261], [christian, muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1.3',plain,[-(accept_population(muslimcountrybhumanitarianorganization, muslim, n1)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 3,bind([[_29272], [muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1.3.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6)],extension(292 ^ 4,bind([[_22716, _22718, _22720, _22722], [countrybhumanitarianorganization, n6, cityb, muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1.3.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))],extension(1178 ^ 5)).
% 263.19/256.01  ncf('1.1.1.4',plain,[-(accept_population(muslimcountrybhumanitarianorganization, native, n0)), accept_city(muslimcountrybhumanitarianorganization, cityb)],extension(784 ^ 3,bind([[_29272], [muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1.4.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, cityb)), accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6)],extension(292 ^ 4,bind([[_22716, _22718, _22720, _22722], [countrybhumanitarianorganization, n6, cityb, muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1.4.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))],extension(1178 ^ 5)).
% 263.19/256.01  ncf('1.1.1.5',plain,[-(accept_population(muslimcountrybhumanitarianorganization, other, n0)), accept_city(muslimcountrybhumanitarianorganization, coastvillage)],extension(604 ^ 3,bind([[_26882], [muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1.5.1',plain,[-(accept_city(muslimcountrybhumanitarianorganization, coastvillage)), accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5)],extension(292 ^ 4,bind([[_22716, _22718, _22720, _22722], [christiancountrychumanitarianorganization, n5, coastvillage, muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.1.5.1.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))],extension(858 ^ 5)).
% 263.19/256.01  ncf('1.1.2',plain,[-(accept_leader(muslimcountrybhumanitarianorganization, countrycmedicalorganization)), accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, townc, n6)],extension(292 ^ 2,bind([[_22716, _22718, _22720, _22722], [countrycmedicalorganization, n6, townc, muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.2.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, townc, n6))],extension(1038 ^ 3)).
% 263.19/256.01  ncf('1.1.3',plain,[-(accept_number(muslimcountrybhumanitarianorganization, n5)), accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5)],extension(292 ^ 2,bind([[_22716, _22718, _22720, _22722], [christiancountrychumanitarianorganization, n5, coastvillage, muslimcountrybhumanitarianorganization]]))).
% 263.19/256.01  ncf('1.1.3.1',plain,[-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))],extension(858 ^ 3)).
% 263.19/256.01  %-----------------------------------------------------
% 263.19/256.01  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------