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

% Computer : n013.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:13 EDT 2023

% Result   : Theorem 22.23s 22.06s
% Output   : Proof 22.23s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : AGT026+1 : TPTP v8.1.2. Bugfixed v3.1.0.
% 0.03/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n013.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 300
% 0.12/0.33  % DateTime : Thu May 18 21:55:35 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 22.23/22.06  
% 22.23/22.06  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 22.23/22.06  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 22.23/22.06  %-----------------------------------------------------
% 22.23/22.06  ncf(matrix, plain, [(2008 ^ _19669) ^ [_43441, _43443] : [-(accept_population(_43443, _43441, n100))], (264 ^ _19669) ^ [_23464, _23466, _23468, _23470] : [-(rdn(_23470, _23466) = rdn(_23468, _23464)), _23470 = _23468, _23466 = _23464], (274 ^ _19669) ^ [_23613, _23615] : [_23615 = _23613, -(rdnn(_23615) = rdnn(_23613))], (280 ^ _19669) ^ [_23698, _23700] : [_23700 = _23698, -(rdn_pos(_23700) = rdn_pos(_23698))], (286 ^ _19669) ^ [_23779, _23781] : [_23781 = _23779, -(rdn_neg(_23781) = rdn_neg(_23779))], (2 ^ _19669) ^ [_19699] : [-(_19699 = _19699)], (4 ^ _19669) ^ [_19722, _19724] : [_19724 = _19722, -(_19722 = _19724)], (10 ^ _19669) ^ [_19795, _19797, _19799] : [-(_19799 = _19795), _19799 = _19797, _19797 = _19795], (20 ^ _19669) ^ [_19932, _19934, _19936, _19938] : [-(accept_leader(_19936, _19932)), accept_leader(_19938, _19934), _19938 = _19936, _19934 = _19932], (34 ^ _19669) ^ [_20125, _20127, _20129, _20131] : [-(min_number_of_proposed_agents(_20129, _20125)), min_number_of_proposed_agents(_20131, _20127), _20131 = _20129, _20127 = _20125], (48 ^ _19669) ^ [_20318, _20320, _20322, _20324] : [-(accept_city(_20322, _20318)), accept_city(_20324, _20320), _20324 = _20322, _20320 = _20318], (62 ^ _19669) ^ [_20511, _20513, _20515, _20517, _20519, _20521] : [-(the_agent_in_all_proposed_teams(_20519, _20515, _20511)), the_agent_in_all_proposed_teams(_20521, _20517, _20513), _20521 = _20519, _20517 = _20515, _20513 = _20511], (80 ^ _19669) ^ [_20780, _20782, _20784, _20786, _20788, _20790, _20792, _20794] : [-(accept_team(_20792, _20788, _20784, _20780)), accept_team(_20794, _20790, _20786, _20782), _20794 = _20792, _20790 = _20788, _20786 = _20784, _20782 = _20780], (102 ^ _19669) ^ [_21133, _21135, _21137, _21139] : [-(accept_number(_21137, _21133)), accept_number(_21139, _21135), _21139 = _21137, _21135 = _21133], (116 ^ _19669) ^ [_21326, _21328, _21330, _21332, _21334, _21336] : [-(the_agent_not_in_any_proposed_teams(_21334, _21330, _21326)), the_agent_not_in_any_proposed_teams(_21336, _21332, _21328), _21336 = _21334, _21332 = _21330, _21328 = _21326], (134 ^ _19669) ^ [_21595, _21597, _21599, _21601, _21603, _21605] : [-(any_agent_in_all_proposed_teams(_21603, _21599, _21595)), any_agent_in_all_proposed_teams(_21605, _21601, _21597), _21605 = _21603, _21601 = _21599, _21597 = _21595], (152 ^ _19669) ^ [_21864, _21866] : [-(rdn_non_zero_digit(_21864)), _21866 = _21864, rdn_non_zero_digit(_21866)], (162 ^ _19669) ^ [_21989, _21991] : [-(rdn_non_zero(_21989)), _21991 = _21989, rdn_non_zero(_21991)], (172 ^ _19669) ^ [_22114, _22116, _22118, _22120] : [-(rdn_translate(_22118, _22114)), rdn_translate(_22120, _22116), _22120 = _22118, _22116 = _22114], (186 ^ _19669) ^ [_22307, _22309, _22311, _22313] : [-(rdn_positive_less(_22311, _22307)), rdn_positive_less(_22313, _22309), _22313 = _22311, _22309 = _22307], (200 ^ _19669) ^ [_22500, _22502, _22504, _22506, _22508, _22510] : [-(sum(_22508, _22504, _22500)), sum(_22510, _22506, _22502), _22510 = _22508, _22506 = _22504, _22502 = _22500], (218 ^ _19669) ^ [_22769, _22771, _22773, _22775] : [-(less(_22773, _22769)), less(_22775, _22771), _22775 = _22773, _22771 = _22769], (232 ^ _19669) ^ [_22962, _22964, _22966, _22968] : [-(less_or_equal(_22966, _22962)), less_or_equal(_22968, _22964), _22968 = _22966, _22964 = _22962], (246 ^ _19669) ^ [_23151, _23153, _23155, _23157, _23159, _23161] : [-(accept_population(_23159, _23155, _23151)), accept_population(_23161, _23157, _23153), _23161 = _23159, _23157 = _23155, _23153 = _23151], (834 ^ _19669) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, cityb, n6))], (836 ^ _19669) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, towna, n6))], (838 ^ _19669) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (840 ^ _19669) ^ [] : [-(accept_team(countryahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (842 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (844 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (846 ^ _19669) ^ [] : [-(accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n2))], (848 ^ _19669) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (850 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n4)], (852 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n5)], (854 ^ _19669) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (856 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (858 ^ _19669) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (860 ^ _19669) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, cityb, n6))], (862 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (864 ^ _19669) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, cityb, n6))], (866 ^ _19669) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (868 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n4))], (870 ^ _19669) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, cityb, n6))], (872 ^ _19669) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, cityb, n6))], (874 ^ _19669) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (876 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (878 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (880 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (882 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (884 ^ _19669) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, towna, n6))], (886 ^ _19669) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, towna, n6))], (888 ^ _19669) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (890 ^ _19669) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n2)], (892 ^ _19669) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n2)], (894 ^ _19669) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n2)], (896 ^ _19669) ^ [] : [accept_team(countryamedicalorganization, christiansufferterrahumanitarianorganization, coastvillage, n2)], (898 ^ _19669) ^ [] : [accept_team(countryamedicalorganization, sufferterragovernment, coastvillage, n2)], (900 ^ _19669) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n6)], (902 ^ _19669) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n6)], (904 ^ _19669) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n6)], (906 ^ _19669) ^ [] : [-(the_agent_not_in_any_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (908 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (910 ^ _19669) ^ [] : [-(accept_team(countryccivilorganization, countrycmedicalorganization, towna, n4))], (912 ^ _19669) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n5)], (914 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (916 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (918 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n4))], (920 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n5))], (922 ^ _19669) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (924 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (926 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (928 ^ _19669) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, towna, n6))], (930 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (932 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (934 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (936 ^ _19669) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (938 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n4))], (940 ^ _19669) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (942 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n5))], (944 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (946 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (948 ^ _19669) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, towna, n6))], (950 ^ _19669) ^ [] : [-(accept_number(countryacivilorganization, n2))], (952 ^ _19669) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n5))], (954 ^ _19669) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n6))], (956 ^ _19669) ^ [] : [-(accept_team(countryacivilorganization, countryafirstaidorganization, coastvillage, n6))], (958 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (960 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (962 ^ _19669) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (964 ^ _19669) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n5))], (966 ^ _19669) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n6))], (968 ^ _19669) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, coastvillage, n6))], (970 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (972 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (974 ^ _19669) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n5)], (976 ^ _19669) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n6)], (978 ^ _19669) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (980 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (982 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (984 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, muslimcountrybhumanitarianorganization, townc, n6))], (986 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, townc, n6))], (988 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, townc, n6))], (990 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, townc, n6))], (992 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (994 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (996 ^ _19669) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n5))], (998 ^ _19669) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n6))], (1000 ^ _19669) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, coastvillage, n6))], (1002 ^ _19669) ^ [] : [-(accept_team(sufferterragovernment, countryafirstaidorganization, coastvillage, n6))], (1004 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1006 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1008 ^ _19669) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (1010 ^ _19669) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (1012 ^ _19669) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n5))], (1014 ^ _19669) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n6))], (1016 ^ _19669) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1018 ^ _19669) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (1020 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1022 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1024 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1026 ^ _19669) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1028 ^ _19669) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (1030 ^ _19669) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, townc, n4))], (1032 ^ _19669) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (1034 ^ _19669) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (1036 ^ _19669) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (1038 ^ _19669) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (1040 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1042 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1044 ^ _19669) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, townc, n6))], (1046 ^ _19669) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, townc, n6))], (1048 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, townc, n4))], (1050 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1052 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, townc, n6))], (1054 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (1056 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, townc, n6))], (1058 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (1060 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (1062 ^ _19669) ^ [] : [accept_team(countryccivilorganization, muslimcountrybhumanitarianorganization, townc, n6)], (1064 ^ _19669) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, townc, n6)], (1066 ^ _19669) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, townc, n6)], (1068 ^ _19669) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, townc, n6)], (1070 ^ _19669) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, townc, n6)], (1072 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1074 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1076 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n2))], (1078 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1080 ^ _19669) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, townc, n6))], (1082 ^ _19669) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, townc, n6))], (1084 ^ _19669) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, townc, n6))], (1086 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, townc, n4))], (1088 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1090 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, townc, n6))], (1092 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, townc, n6))], (1094 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, townc, n6))], (1096 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (1098 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (1100 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (1102 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (1104 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (1106 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1108 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1110 ^ _19669) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, cityb, n6))], (1112 ^ _19669) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (1114 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1116 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1118 ^ _19669) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n5)], (1120 ^ _19669) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n6)], (1122 ^ _19669) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, cityb, n6))], (1124 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1126 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1128 ^ _19669) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, cityb, n6))], (1130 ^ _19669) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (1132 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (1134 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (1136 ^ _19669) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n5))], (1138 ^ _19669) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n6))], (1140 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n5))], (1142 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n6))], (1144 ^ _19669) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, cityb, n6))], (1146 ^ _19669) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (1148 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (1150 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (1152 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n5))], (1154 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n6))], (1156 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1158 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1160 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1162 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1164 ^ _19669) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (1166 ^ _19669) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, cityb, n6))], (1168 ^ _19669) ^ [] : [-(accept_number(countryacivilorganization, n6))], (1170 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1172 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1174 ^ _19669) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (1176 ^ _19669) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1178 ^ _19669) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1180 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n2)], (1182 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n2)], (1184 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n2)], (1186 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n2)], (1188 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n3)], (1190 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3)], (1192 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n3)], (1194 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n3)], (1196 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n2)], (1198 ^ _19669) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (1200 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n4)], (1202 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n6)], (1204 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n6)], (1206 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6)], (1208 ^ _19669) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n5))], (1210 ^ _19669) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n6))], (1212 ^ _19669) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n5))], (1214 ^ _19669) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n6))], (1216 ^ _19669) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (1218 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n3))], (1220 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3))], (1222 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n3))], (1224 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, countryccivilorganization, towna, n3))], (1226 ^ _19669) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (1228 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n6))], (1230 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6))], (1232 ^ _19669) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n6))], (1234 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (1236 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (1238 ^ _19669) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (1240 ^ _19669) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (1242 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, countryccivilorganization, towna, n4))], (1244 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, towna, n6))], (1246 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, towna, n6))], (1248 ^ _19669) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n6))], (1250 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1252 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1254 ^ _19669) ^ [] : [-(accept_number(sufferterragovernment, n2))], (1256 ^ _19669) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n2)], (1258 ^ _19669) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n6)], (1260 ^ _19669) ^ [] : [-(accept_number(countryccivilorganization, n2))], (1262 ^ _19669) ^ [] : [-(accept_number(countryccivilorganization, n3))], (1264 ^ _19669) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, towna, n6)], (1266 ^ _19669) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, towna, n6)], (1268 ^ _19669) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, towna, n6)], (1270 ^ _19669) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n6)], (1272 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1274 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1276 ^ _19669) ^ [] : [-(accept_number(sufferterragovernment, n5))], (1278 ^ _19669) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n5))], (1280 ^ _19669) ^ [] : [-(accept_number(sufferterragovernment, n6))], (1282 ^ _19669) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n6))], (1284 ^ _19669) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (1286 ^ _19669) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (1288 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, towna, n4))], (1290 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, towna, n6))], (1292 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, towna, n6))], (1294 ^ _19669) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, towna, n6))], (1296 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1298 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1300 ^ _19669) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (1302 ^ _19669) ^ [] : [-(accept_number(countryccivilorganization, n4))], (1304 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, towna, n4))], (1306 ^ _19669) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (1308 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, towna, n6))], (1310 ^ _19669) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (1312 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, towna, n6))], (1314 ^ _19669) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n6))], (1316 ^ _19669) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (1318 ^ _19669) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (1320 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (1322 ^ _19669) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (1324 ^ _19669) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n6)], (1326 ^ _19669) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (1328 ^ _19669) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1330 ^ _19669) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1332 ^ _19669) ^ [] : [-(rdn_translate(n0, rdn_pos(rdnn(n0))))], (1334 ^ _19669) ^ [] : [-(rdn_translate(n1, rdn_pos(rdnn(n1))))], (1336 ^ _19669) ^ [] : [-(rdn_translate(n2, rdn_pos(rdnn(n2))))], (1338 ^ _19669) ^ [] : [-(rdn_translate(n3, rdn_pos(rdnn(n3))))], (1340 ^ _19669) ^ [] : [-(rdn_translate(n4, rdn_pos(rdnn(n4))))], (1342 ^ _19669) ^ [] : [-(rdn_translate(n5, rdn_pos(rdnn(n5))))], (1344 ^ _19669) ^ [] : [-(rdn_translate(n6, rdn_pos(rdnn(n6))))], (1346 ^ _19669) ^ [] : [-(rdn_translate(n7, rdn_pos(rdnn(n7))))], (1348 ^ _19669) ^ [] : [-(rdn_translate(n8, rdn_pos(rdnn(n8))))], (1350 ^ _19669) ^ [] : [-(rdn_translate(n9, rdn_pos(rdnn(n9))))], (1352 ^ _19669) ^ [] : [-(rdn_translate(n10, rdn_pos(rdn(rdnn(n0), rdnn(n1)))))], (1354 ^ _19669) ^ [] : [-(rdn_translate(n11, rdn_pos(rdn(rdnn(n1), rdnn(n1)))))], (1356 ^ _19669) ^ [] : [-(rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))))], (1358 ^ _19669) ^ [] : [-(rdn_translate(n13, rdn_pos(rdn(rdnn(n3), rdnn(n1)))))], (1360 ^ _19669) ^ [] : [-(rdn_translate(n14, rdn_pos(rdn(rdnn(n4), rdnn(n1)))))], (1362 ^ _19669) ^ [] : [-(rdn_translate(n15, rdn_pos(rdn(rdnn(n5), rdnn(n1)))))], (1364 ^ _19669) ^ [] : [-(rdn_translate(n16, rdn_pos(rdn(rdnn(n6), rdnn(n1)))))], (1366 ^ _19669) ^ [] : [-(rdn_translate(n17, rdn_pos(rdn(rdnn(n7), rdnn(n1)))))], (1368 ^ _19669) ^ [] : [-(rdn_translate(n18, rdn_pos(rdn(rdnn(n8), rdnn(n1)))))], (1370 ^ _19669) ^ [] : [-(rdn_translate(n19, rdn_pos(rdn(rdnn(n9), rdnn(n1)))))], (1372 ^ _19669) ^ [] : [-(rdn_translate(n20, rdn_pos(rdn(rdnn(n0), rdnn(n2)))))], (1374 ^ _19669) ^ [] : [-(rdn_translate(n21, rdn_pos(rdn(rdnn(n1), rdnn(n2)))))], (1376 ^ _19669) ^ [] : [-(rdn_translate(n22, rdn_pos(rdn(rdnn(n2), rdnn(n2)))))], (1378 ^ _19669) ^ [] : [-(rdn_translate(n23, rdn_pos(rdn(rdnn(n3), rdnn(n2)))))], (1380 ^ _19669) ^ [] : [-(rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))))], (1382 ^ _19669) ^ [] : [-(rdn_translate(n25, rdn_pos(rdn(rdnn(n5), rdnn(n2)))))], (1384 ^ _19669) ^ [] : [-(rdn_translate(n26, rdn_pos(rdn(rdnn(n6), rdnn(n2)))))], (1386 ^ _19669) ^ [] : [-(rdn_translate(n27, rdn_pos(rdn(rdnn(n7), rdnn(n2)))))], (1388 ^ _19669) ^ [] : [-(rdn_translate(n28, rdn_pos(rdn(rdnn(n8), rdnn(n2)))))], (1390 ^ _19669) ^ [] : [-(rdn_translate(n29, rdn_pos(rdn(rdnn(n9), rdnn(n2)))))], (1392 ^ _19669) ^ [] : [-(rdn_translate(n30, rdn_pos(rdn(rdnn(n0), rdnn(n3)))))], (1394 ^ _19669) ^ [] : [-(rdn_translate(n31, rdn_pos(rdn(rdnn(n1), rdnn(n3)))))], (1396 ^ _19669) ^ [] : [-(rdn_translate(n32, rdn_pos(rdn(rdnn(n2), rdnn(n3)))))], (1398 ^ _19669) ^ [] : [-(rdn_translate(n33, rdn_pos(rdn(rdnn(n3), rdnn(n3)))))], (1400 ^ _19669) ^ [] : [-(rdn_translate(n34, rdn_pos(rdn(rdnn(n4), rdnn(n3)))))], (1402 ^ _19669) ^ [] : [-(rdn_translate(n35, rdn_pos(rdn(rdnn(n5), rdnn(n3)))))], (1404 ^ _19669) ^ [] : [-(rdn_translate(n36, rdn_pos(rdn(rdnn(n6), rdnn(n3)))))], (1406 ^ _19669) ^ [] : [-(rdn_translate(n37, rdn_pos(rdn(rdnn(n7), rdnn(n3)))))], (1408 ^ _19669) ^ [] : [-(rdn_translate(n38, rdn_pos(rdn(rdnn(n8), rdnn(n3)))))], (1410 ^ _19669) ^ [] : [-(rdn_translate(n39, rdn_pos(rdn(rdnn(n9), rdnn(n3)))))], (1412 ^ _19669) ^ [] : [-(rdn_translate(n40, rdn_pos(rdn(rdnn(n0), rdnn(n4)))))], (1414 ^ _19669) ^ [] : [-(rdn_translate(n41, rdn_pos(rdn(rdnn(n1), rdnn(n4)))))], (1416 ^ _19669) ^ [] : [-(rdn_translate(n42, rdn_pos(rdn(rdnn(n2), rdnn(n4)))))], (1418 ^ _19669) ^ [] : [-(rdn_translate(n43, rdn_pos(rdn(rdnn(n3), rdnn(n4)))))], (1420 ^ _19669) ^ [] : [-(rdn_translate(n44, rdn_pos(rdn(rdnn(n4), rdnn(n4)))))], (1422 ^ _19669) ^ [] : [-(rdn_translate(n45, rdn_pos(rdn(rdnn(n5), rdnn(n4)))))], (1424 ^ _19669) ^ [] : [-(rdn_translate(n46, rdn_pos(rdn(rdnn(n6), rdnn(n4)))))], (1426 ^ _19669) ^ [] : [-(rdn_translate(n47, rdn_pos(rdn(rdnn(n7), rdnn(n4)))))], (1428 ^ _19669) ^ [] : [-(rdn_translate(n48, rdn_pos(rdn(rdnn(n8), rdnn(n4)))))], (1430 ^ _19669) ^ [] : [-(rdn_translate(n49, rdn_pos(rdn(rdnn(n9), rdnn(n4)))))], (1432 ^ _19669) ^ [] : [-(rdn_translate(n50, rdn_pos(rdn(rdnn(n0), rdnn(n5)))))], (1434 ^ _19669) ^ [] : [-(rdn_translate(n51, rdn_pos(rdn(rdnn(n1), rdnn(n5)))))], (1436 ^ _19669) ^ [] : [-(rdn_translate(n52, rdn_pos(rdn(rdnn(n2), rdnn(n5)))))], (1438 ^ _19669) ^ [] : [-(rdn_translate(n53, rdn_pos(rdn(rdnn(n3), rdnn(n5)))))], (1440 ^ _19669) ^ [] : [-(rdn_translate(n54, rdn_pos(rdn(rdnn(n4), rdnn(n5)))))], (1442 ^ _19669) ^ [] : [-(rdn_translate(n55, rdn_pos(rdn(rdnn(n5), rdnn(n5)))))], (1444 ^ _19669) ^ [] : [-(rdn_translate(n56, rdn_pos(rdn(rdnn(n6), rdnn(n5)))))], (1446 ^ _19669) ^ [] : [-(rdn_translate(n57, rdn_pos(rdn(rdnn(n7), rdnn(n5)))))], (1448 ^ _19669) ^ [] : [-(rdn_translate(n58, rdn_pos(rdn(rdnn(n8), rdnn(n5)))))], (1450 ^ _19669) ^ [] : [-(rdn_translate(n59, rdn_pos(rdn(rdnn(n9), rdnn(n5)))))], (1452 ^ _19669) ^ [] : [-(rdn_translate(n60, rdn_pos(rdn(rdnn(n0), rdnn(n6)))))], (1454 ^ _19669) ^ [] : [-(rdn_translate(n61, rdn_pos(rdn(rdnn(n1), rdnn(n6)))))], (1456 ^ _19669) ^ [] : [-(rdn_translate(n62, rdn_pos(rdn(rdnn(n2), rdnn(n6)))))], (1458 ^ _19669) ^ [] : [-(rdn_translate(n63, rdn_pos(rdn(rdnn(n3), rdnn(n6)))))], (1460 ^ _19669) ^ [] : [-(rdn_translate(n64, rdn_pos(rdn(rdnn(n4), rdnn(n6)))))], (1462 ^ _19669) ^ [] : [-(rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))))], (1464 ^ _19669) ^ [] : [-(rdn_translate(n66, rdn_pos(rdn(rdnn(n6), rdnn(n6)))))], (1466 ^ _19669) ^ [] : [-(rdn_translate(n67, rdn_pos(rdn(rdnn(n7), rdnn(n6)))))], (1468 ^ _19669) ^ [] : [-(rdn_translate(n68, rdn_pos(rdn(rdnn(n8), rdnn(n6)))))], (1470 ^ _19669) ^ [] : [-(rdn_translate(n69, rdn_pos(rdn(rdnn(n9), rdnn(n6)))))], (1472 ^ _19669) ^ [] : [-(rdn_translate(n70, rdn_pos(rdn(rdnn(n0), rdnn(n7)))))], (1474 ^ _19669) ^ [] : [-(rdn_translate(n71, rdn_pos(rdn(rdnn(n1), rdnn(n7)))))], (1476 ^ _19669) ^ [] : [-(rdn_translate(n72, rdn_pos(rdn(rdnn(n2), rdnn(n7)))))], (1478 ^ _19669) ^ [] : [-(rdn_translate(n73, rdn_pos(rdn(rdnn(n3), rdnn(n7)))))], (1480 ^ _19669) ^ [] : [-(rdn_translate(n74, rdn_pos(rdn(rdnn(n4), rdnn(n7)))))], (1482 ^ _19669) ^ [] : [-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))], (1484 ^ _19669) ^ [] : [-(rdn_translate(n76, rdn_pos(rdn(rdnn(n6), rdnn(n7)))))], (1486 ^ _19669) ^ [] : [-(rdn_translate(n77, rdn_pos(rdn(rdnn(n7), rdnn(n7)))))], (1488 ^ _19669) ^ [] : [-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))], (1490 ^ _19669) ^ [] : [-(rdn_translate(n79, rdn_pos(rdn(rdnn(n9), rdnn(n7)))))], (1492 ^ _19669) ^ [] : [-(rdn_translate(n80, rdn_pos(rdn(rdnn(n0), rdnn(n8)))))], (1494 ^ _19669) ^ [] : [-(rdn_translate(n81, rdn_pos(rdn(rdnn(n1), rdnn(n8)))))], (1496 ^ _19669) ^ [] : [-(rdn_translate(n82, rdn_pos(rdn(rdnn(n2), rdnn(n8)))))], (1498 ^ _19669) ^ [] : [-(rdn_translate(n83, rdn_pos(rdn(rdnn(n3), rdnn(n8)))))], (1500 ^ _19669) ^ [] : [-(rdn_translate(n84, rdn_pos(rdn(rdnn(n4), rdnn(n8)))))], (1502 ^ _19669) ^ [] : [-(rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))))], (1504 ^ _19669) ^ [] : [-(rdn_translate(n86, rdn_pos(rdn(rdnn(n6), rdnn(n8)))))], (1506 ^ _19669) ^ [] : [-(rdn_translate(n87, rdn_pos(rdn(rdnn(n7), rdnn(n8)))))], (1508 ^ _19669) ^ [] : [-(rdn_translate(n88, rdn_pos(rdn(rdnn(n8), rdnn(n8)))))], (1510 ^ _19669) ^ [] : [-(rdn_translate(n89, rdn_pos(rdn(rdnn(n9), rdnn(n8)))))], (1512 ^ _19669) ^ [] : [-(rdn_translate(n90, rdn_pos(rdn(rdnn(n0), rdnn(n9)))))], (1514 ^ _19669) ^ [] : [-(rdn_translate(n91, rdn_pos(rdn(rdnn(n1), rdnn(n9)))))], (1516 ^ _19669) ^ [] : [-(rdn_translate(n92, rdn_pos(rdn(rdnn(n2), rdnn(n9)))))], (1518 ^ _19669) ^ [] : [-(rdn_translate(n93, rdn_pos(rdn(rdnn(n3), rdnn(n9)))))], (1520 ^ _19669) ^ [] : [-(rdn_translate(n94, rdn_pos(rdn(rdnn(n4), rdnn(n9)))))], (1522 ^ _19669) ^ [] : [-(rdn_translate(n95, rdn_pos(rdn(rdnn(n5), rdnn(n9)))))], (1524 ^ _19669) ^ [] : [-(rdn_translate(n96, rdn_pos(rdn(rdnn(n6), rdnn(n9)))))], (1526 ^ _19669) ^ [] : [-(rdn_translate(n97, rdn_pos(rdn(rdnn(n7), rdnn(n9)))))], (1528 ^ _19669) ^ [] : [-(rdn_translate(n98, rdn_pos(rdn(rdnn(n8), rdnn(n9)))))], (1530 ^ _19669) ^ [] : [-(rdn_translate(n99, rdn_pos(rdn(rdnn(n9), rdnn(n9)))))], (1532 ^ _19669) ^ [] : [-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (1534 ^ _19669) ^ [] : [-(rdn_translate(n101, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (1536 ^ _19669) ^ [] : [-(rdn_translate(n102, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1538 ^ _19669) ^ [] : [-(rdn_translate(n103, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (1540 ^ _19669) ^ [] : [-(rdn_translate(n104, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (1542 ^ _19669) ^ [] : [-(rdn_translate(n105, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (1544 ^ _19669) ^ [] : [-(rdn_translate(n106, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (1546 ^ _19669) ^ [] : [-(rdn_translate(n107, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (1548 ^ _19669) ^ [] : [-(rdn_translate(n108, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (1550 ^ _19669) ^ [] : [-(rdn_translate(n109, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (1552 ^ _19669) ^ [] : [-(rdn_translate(n110, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (1554 ^ _19669) ^ [] : [-(rdn_translate(n111, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (1556 ^ _19669) ^ [] : [-(rdn_translate(n112, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (1558 ^ _19669) ^ [] : [-(rdn_translate(n113, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (1560 ^ _19669) ^ [] : [-(rdn_translate(n114, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (1562 ^ _19669) ^ [] : [-(rdn_translate(n115, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (1564 ^ _19669) ^ [] : [-(rdn_translate(n116, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1566 ^ _19669) ^ [] : [-(rdn_translate(n117, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (1568 ^ _19669) ^ [] : [-(rdn_translate(n118, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (1570 ^ _19669) ^ [] : [-(rdn_translate(n119, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (1572 ^ _19669) ^ [] : [-(rdn_translate(n120, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (1574 ^ _19669) ^ [] : [-(rdn_translate(n121, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1576 ^ _19669) ^ [] : [-(rdn_translate(n122, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (1578 ^ _19669) ^ [] : [-(rdn_translate(n123, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (1580 ^ _19669) ^ [] : [-(rdn_translate(n124, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (1582 ^ _19669) ^ [] : [-(rdn_translate(n125, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (1584 ^ _19669) ^ [] : [-(rdn_translate(n126, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1586 ^ _19669) ^ [] : [-(rdn_translate(n127, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (1588 ^ _19669) ^ [] : [-(rdn_translate(nn1, rdn_neg(rdnn(n1))))], (1590 ^ _19669) ^ [] : [-(rdn_translate(nn2, rdn_neg(rdnn(n2))))], (1592 ^ _19669) ^ [] : [-(rdn_translate(nn3, rdn_neg(rdnn(n3))))], (1594 ^ _19669) ^ [] : [-(rdn_translate(nn4, rdn_neg(rdnn(n4))))], (1596 ^ _19669) ^ [] : [-(rdn_translate(nn5, rdn_neg(rdnn(n5))))], (1598 ^ _19669) ^ [] : [-(rdn_translate(nn6, rdn_neg(rdnn(n6))))], (1600 ^ _19669) ^ [] : [-(rdn_translate(nn7, rdn_neg(rdnn(n7))))], (1602 ^ _19669) ^ [] : [-(rdn_translate(nn8, rdn_neg(rdnn(n8))))], (1604 ^ _19669) ^ [] : [-(rdn_translate(nn9, rdn_neg(rdnn(n9))))], (1606 ^ _19669) ^ [] : [-(rdn_translate(nn10, rdn_neg(rdn(rdnn(n0), rdnn(n1)))))], (1608 ^ _19669) ^ [] : [-(rdn_translate(nn11, rdn_neg(rdn(rdnn(n1), rdnn(n1)))))], (1610 ^ _19669) ^ [] : [-(rdn_translate(nn12, rdn_neg(rdn(rdnn(n2), rdnn(n1)))))], (1612 ^ _19669) ^ [] : [-(rdn_translate(nn13, rdn_neg(rdn(rdnn(n3), rdnn(n1)))))], (1614 ^ _19669) ^ [] : [-(rdn_translate(nn14, rdn_neg(rdn(rdnn(n4), rdnn(n1)))))], (1616 ^ _19669) ^ [] : [-(rdn_translate(nn15, rdn_neg(rdn(rdnn(n5), rdnn(n1)))))], (1618 ^ _19669) ^ [] : [-(rdn_translate(nn16, rdn_neg(rdn(rdnn(n6), rdnn(n1)))))], (1620 ^ _19669) ^ [] : [-(rdn_translate(nn17, rdn_neg(rdn(rdnn(n7), rdnn(n1)))))], (1622 ^ _19669) ^ [] : [-(rdn_translate(nn18, rdn_neg(rdn(rdnn(n8), rdnn(n1)))))], (1624 ^ _19669) ^ [] : [-(rdn_translate(nn19, rdn_neg(rdn(rdnn(n9), rdnn(n1)))))], (1626 ^ _19669) ^ [] : [-(rdn_translate(nn20, rdn_neg(rdn(rdnn(n0), rdnn(n2)))))], (1628 ^ _19669) ^ [] : [-(rdn_translate(nn21, rdn_neg(rdn(rdnn(n1), rdnn(n2)))))], (1630 ^ _19669) ^ [] : [-(rdn_translate(nn22, rdn_neg(rdn(rdnn(n2), rdnn(n2)))))], (1632 ^ _19669) ^ [] : [-(rdn_translate(nn23, rdn_neg(rdn(rdnn(n3), rdnn(n2)))))], (1634 ^ _19669) ^ [] : [-(rdn_translate(nn24, rdn_neg(rdn(rdnn(n4), rdnn(n2)))))], (1636 ^ _19669) ^ [] : [-(rdn_translate(nn25, rdn_neg(rdn(rdnn(n5), rdnn(n2)))))], (1638 ^ _19669) ^ [] : [-(rdn_translate(nn26, rdn_neg(rdn(rdnn(n6), rdnn(n2)))))], (1640 ^ _19669) ^ [] : [-(rdn_translate(nn27, rdn_neg(rdn(rdnn(n7), rdnn(n2)))))], (1642 ^ _19669) ^ [] : [-(rdn_translate(nn28, rdn_neg(rdn(rdnn(n8), rdnn(n2)))))], (1644 ^ _19669) ^ [] : [-(rdn_translate(nn29, rdn_neg(rdn(rdnn(n9), rdnn(n2)))))], (1646 ^ _19669) ^ [] : [-(rdn_translate(nn30, rdn_neg(rdn(rdnn(n0), rdnn(n3)))))], (1648 ^ _19669) ^ [] : [-(rdn_translate(nn31, rdn_neg(rdn(rdnn(n1), rdnn(n3)))))], (1650 ^ _19669) ^ [] : [-(rdn_translate(nn32, rdn_neg(rdn(rdnn(n2), rdnn(n3)))))], (1652 ^ _19669) ^ [] : [-(rdn_translate(nn33, rdn_neg(rdn(rdnn(n3), rdnn(n3)))))], (1654 ^ _19669) ^ [] : [-(rdn_translate(nn34, rdn_neg(rdn(rdnn(n4), rdnn(n3)))))], (1656 ^ _19669) ^ [] : [-(rdn_translate(nn35, rdn_neg(rdn(rdnn(n5), rdnn(n3)))))], (1658 ^ _19669) ^ [] : [-(rdn_translate(nn36, rdn_neg(rdn(rdnn(n6), rdnn(n3)))))], (1660 ^ _19669) ^ [] : [-(rdn_translate(nn37, rdn_neg(rdn(rdnn(n7), rdnn(n3)))))], (1662 ^ _19669) ^ [] : [-(rdn_translate(nn38, rdn_neg(rdn(rdnn(n8), rdnn(n3)))))], (1664 ^ _19669) ^ [] : [-(rdn_translate(nn39, rdn_neg(rdn(rdnn(n9), rdnn(n3)))))], (1666 ^ _19669) ^ [] : [-(rdn_translate(nn40, rdn_neg(rdn(rdnn(n0), rdnn(n4)))))], (1668 ^ _19669) ^ [] : [-(rdn_translate(nn41, rdn_neg(rdn(rdnn(n1), rdnn(n4)))))], (1670 ^ _19669) ^ [] : [-(rdn_translate(nn42, rdn_neg(rdn(rdnn(n2), rdnn(n4)))))], (1672 ^ _19669) ^ [] : [-(rdn_translate(nn43, rdn_neg(rdn(rdnn(n3), rdnn(n4)))))], (1674 ^ _19669) ^ [] : [-(rdn_translate(nn44, rdn_neg(rdn(rdnn(n4), rdnn(n4)))))], (1676 ^ _19669) ^ [] : [-(rdn_translate(nn45, rdn_neg(rdn(rdnn(n5), rdnn(n4)))))], (1678 ^ _19669) ^ [] : [-(rdn_translate(nn46, rdn_neg(rdn(rdnn(n6), rdnn(n4)))))], (1680 ^ _19669) ^ [] : [-(rdn_translate(nn47, rdn_neg(rdn(rdnn(n7), rdnn(n4)))))], (1682 ^ _19669) ^ [] : [-(rdn_translate(nn48, rdn_neg(rdn(rdnn(n8), rdnn(n4)))))], (1684 ^ _19669) ^ [] : [-(rdn_translate(nn49, rdn_neg(rdn(rdnn(n9), rdnn(n4)))))], (1686 ^ _19669) ^ [] : [-(rdn_translate(nn50, rdn_neg(rdn(rdnn(n0), rdnn(n5)))))], (1688 ^ _19669) ^ [] : [-(rdn_translate(nn51, rdn_neg(rdn(rdnn(n1), rdnn(n5)))))], (1690 ^ _19669) ^ [] : [-(rdn_translate(nn52, rdn_neg(rdn(rdnn(n2), rdnn(n5)))))], (1692 ^ _19669) ^ [] : [-(rdn_translate(nn53, rdn_neg(rdn(rdnn(n3), rdnn(n5)))))], (1694 ^ _19669) ^ [] : [-(rdn_translate(nn54, rdn_neg(rdn(rdnn(n4), rdnn(n5)))))], (1696 ^ _19669) ^ [] : [-(rdn_translate(nn55, rdn_neg(rdn(rdnn(n5), rdnn(n5)))))], (1698 ^ _19669) ^ [] : [-(rdn_translate(nn56, rdn_neg(rdn(rdnn(n6), rdnn(n5)))))], (1700 ^ _19669) ^ [] : [-(rdn_translate(nn57, rdn_neg(rdn(rdnn(n7), rdnn(n5)))))], (1702 ^ _19669) ^ [] : [-(rdn_translate(nn58, rdn_neg(rdn(rdnn(n8), rdnn(n5)))))], (1704 ^ _19669) ^ [] : [-(rdn_translate(nn59, rdn_neg(rdn(rdnn(n9), rdnn(n5)))))], (1706 ^ _19669) ^ [] : [-(rdn_translate(nn60, rdn_neg(rdn(rdnn(n0), rdnn(n6)))))], (1708 ^ _19669) ^ [] : [-(rdn_translate(nn61, rdn_neg(rdn(rdnn(n1), rdnn(n6)))))], (1710 ^ _19669) ^ [] : [-(rdn_translate(nn62, rdn_neg(rdn(rdnn(n2), rdnn(n6)))))], (1712 ^ _19669) ^ [] : [-(rdn_translate(nn63, rdn_neg(rdn(rdnn(n3), rdnn(n6)))))], (1714 ^ _19669) ^ [] : [-(rdn_translate(nn64, rdn_neg(rdn(rdnn(n4), rdnn(n6)))))], (1716 ^ _19669) ^ [] : [-(rdn_translate(nn65, rdn_neg(rdn(rdnn(n5), rdnn(n6)))))], (1718 ^ _19669) ^ [] : [-(rdn_translate(nn66, rdn_neg(rdn(rdnn(n6), rdnn(n6)))))], (1720 ^ _19669) ^ [] : [-(rdn_translate(nn67, rdn_neg(rdn(rdnn(n7), rdnn(n6)))))], (1722 ^ _19669) ^ [] : [-(rdn_translate(nn68, rdn_neg(rdn(rdnn(n8), rdnn(n6)))))], (1724 ^ _19669) ^ [] : [-(rdn_translate(nn69, rdn_neg(rdn(rdnn(n9), rdnn(n6)))))], (1726 ^ _19669) ^ [] : [-(rdn_translate(nn70, rdn_neg(rdn(rdnn(n0), rdnn(n7)))))], (1728 ^ _19669) ^ [] : [-(rdn_translate(nn71, rdn_neg(rdn(rdnn(n1), rdnn(n7)))))], (1730 ^ _19669) ^ [] : [-(rdn_translate(nn72, rdn_neg(rdn(rdnn(n2), rdnn(n7)))))], (1732 ^ _19669) ^ [] : [-(rdn_translate(nn73, rdn_neg(rdn(rdnn(n3), rdnn(n7)))))], (1734 ^ _19669) ^ [] : [-(rdn_translate(nn74, rdn_neg(rdn(rdnn(n4), rdnn(n7)))))], (1736 ^ _19669) ^ [] : [-(rdn_translate(nn75, rdn_neg(rdn(rdnn(n5), rdnn(n7)))))], (1738 ^ _19669) ^ [] : [-(rdn_translate(nn76, rdn_neg(rdn(rdnn(n6), rdnn(n7)))))], (1740 ^ _19669) ^ [] : [-(rdn_translate(nn77, rdn_neg(rdn(rdnn(n7), rdnn(n7)))))], (1742 ^ _19669) ^ [] : [-(rdn_translate(nn78, rdn_neg(rdn(rdnn(n8), rdnn(n7)))))], (1744 ^ _19669) ^ [] : [-(rdn_translate(nn79, rdn_neg(rdn(rdnn(n9), rdnn(n7)))))], (1746 ^ _19669) ^ [] : [-(rdn_translate(nn80, rdn_neg(rdn(rdnn(n0), rdnn(n8)))))], (1748 ^ _19669) ^ [] : [-(rdn_translate(nn81, rdn_neg(rdn(rdnn(n1), rdnn(n8)))))], (1750 ^ _19669) ^ [] : [-(rdn_translate(nn82, rdn_neg(rdn(rdnn(n2), rdnn(n8)))))], (1752 ^ _19669) ^ [] : [-(rdn_translate(nn83, rdn_neg(rdn(rdnn(n3), rdnn(n8)))))], (1754 ^ _19669) ^ [] : [-(rdn_translate(nn84, rdn_neg(rdn(rdnn(n4), rdnn(n8)))))], (1756 ^ _19669) ^ [] : [-(rdn_translate(nn85, rdn_neg(rdn(rdnn(n5), rdnn(n8)))))], (1758 ^ _19669) ^ [] : [-(rdn_translate(nn86, rdn_neg(rdn(rdnn(n6), rdnn(n8)))))], (1760 ^ _19669) ^ [] : [-(rdn_translate(nn87, rdn_neg(rdn(rdnn(n7), rdnn(n8)))))], (1762 ^ _19669) ^ [] : [-(rdn_translate(nn88, rdn_neg(rdn(rdnn(n8), rdnn(n8)))))], (1764 ^ _19669) ^ [] : [-(rdn_translate(nn89, rdn_neg(rdn(rdnn(n9), rdnn(n8)))))], (1766 ^ _19669) ^ [] : [-(rdn_translate(nn90, rdn_neg(rdn(rdnn(n0), rdnn(n9)))))], (1768 ^ _19669) ^ [] : [-(rdn_translate(nn91, rdn_neg(rdn(rdnn(n1), rdnn(n9)))))], (1770 ^ _19669) ^ [] : [-(rdn_translate(nn92, rdn_neg(rdn(rdnn(n2), rdnn(n9)))))], (1772 ^ _19669) ^ [] : [-(rdn_translate(nn93, rdn_neg(rdn(rdnn(n3), rdnn(n9)))))], (1774 ^ _19669) ^ [] : [-(rdn_translate(nn94, rdn_neg(rdn(rdnn(n4), rdnn(n9)))))], (1776 ^ _19669) ^ [] : [-(rdn_translate(nn95, rdn_neg(rdn(rdnn(n5), rdnn(n9)))))], (1778 ^ _19669) ^ [] : [-(rdn_translate(nn96, rdn_neg(rdn(rdnn(n6), rdnn(n9)))))], (1780 ^ _19669) ^ [] : [-(rdn_translate(nn97, rdn_neg(rdn(rdnn(n7), rdnn(n9)))))], (1782 ^ _19669) ^ [] : [-(rdn_translate(nn98, rdn_neg(rdn(rdnn(n8), rdnn(n9)))))], (1784 ^ _19669) ^ [] : [-(rdn_translate(nn99, rdn_neg(rdn(rdnn(n9), rdnn(n9)))))], (1786 ^ _19669) ^ [] : [-(rdn_translate(nn100, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (1788 ^ _19669) ^ [] : [-(rdn_translate(nn101, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (1790 ^ _19669) ^ [] : [-(rdn_translate(nn102, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (1792 ^ _19669) ^ [] : [-(rdn_translate(nn103, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (1794 ^ _19669) ^ [] : [-(rdn_translate(nn104, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (1796 ^ _19669) ^ [] : [-(rdn_translate(nn105, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (1798 ^ _19669) ^ [] : [-(rdn_translate(nn106, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (1800 ^ _19669) ^ [] : [-(rdn_translate(nn107, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (1802 ^ _19669) ^ [] : [-(rdn_translate(nn108, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (1804 ^ _19669) ^ [] : [-(rdn_translate(nn109, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (1806 ^ _19669) ^ [] : [-(rdn_translate(nn110, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (1808 ^ _19669) ^ [] : [-(rdn_translate(nn111, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (1810 ^ _19669) ^ [] : [-(rdn_translate(nn112, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (1812 ^ _19669) ^ [] : [-(rdn_translate(nn113, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (1814 ^ _19669) ^ [] : [-(rdn_translate(nn114, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (1816 ^ _19669) ^ [] : [-(rdn_translate(nn115, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (1818 ^ _19669) ^ [] : [-(rdn_translate(nn116, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (1820 ^ _19669) ^ [] : [-(rdn_translate(nn117, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (1822 ^ _19669) ^ [] : [-(rdn_translate(nn118, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (1824 ^ _19669) ^ [] : [-(rdn_translate(nn119, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (1826 ^ _19669) ^ [] : [-(rdn_translate(nn120, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (1828 ^ _19669) ^ [] : [-(rdn_translate(nn121, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (1830 ^ _19669) ^ [] : [-(rdn_translate(nn122, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (1832 ^ _19669) ^ [] : [-(rdn_translate(nn123, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (1834 ^ _19669) ^ [] : [-(rdn_translate(nn124, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (1836 ^ _19669) ^ [] : [-(rdn_translate(nn125, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (1838 ^ _19669) ^ [] : [-(rdn_translate(nn126, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (1840 ^ _19669) ^ [] : [-(rdn_translate(nn127, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (1842 ^ _19669) ^ [] : [-(rdn_translate(nn128, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n2), rdnn(n1))))))], (1844 ^ _19669) ^ [] : [-(rdn_non_zero_digit(rdnn(n1)))], (1846 ^ _19669) ^ [] : [-(rdn_non_zero_digit(rdnn(n2)))], (1848 ^ _19669) ^ [] : [-(rdn_non_zero_digit(rdnn(n3)))], (1850 ^ _19669) ^ [] : [-(rdn_non_zero_digit(rdnn(n4)))], (1852 ^ _19669) ^ [] : [-(rdn_non_zero_digit(rdnn(n5)))], (1854 ^ _19669) ^ [] : [-(rdn_non_zero_digit(rdnn(n6)))], (1856 ^ _19669) ^ [] : [-(rdn_non_zero_digit(rdnn(n7)))], (1858 ^ _19669) ^ [] : [-(rdn_non_zero_digit(rdnn(n8)))], (1860 ^ _19669) ^ [] : [-(rdn_non_zero_digit(rdnn(n9)))], (1862 ^ _19669) ^ [] : [-(rdn_positive_less(rdnn(n0), rdnn(n1)))], (1864 ^ _19669) ^ [] : [-(rdn_positive_less(rdnn(n1), rdnn(n2)))], (1866 ^ _19669) ^ [] : [-(rdn_positive_less(rdnn(n2), rdnn(n3)))], (1868 ^ _19669) ^ [] : [-(rdn_positive_less(rdnn(n3), rdnn(n4)))], (1870 ^ _19669) ^ [] : [-(rdn_positive_less(rdnn(n4), rdnn(n5)))], (1872 ^ _19669) ^ [] : [-(rdn_positive_less(rdnn(n5), rdnn(n6)))], (1874 ^ _19669) ^ [] : [-(rdn_positive_less(rdnn(n6), rdnn(n7)))], (1876 ^ _19669) ^ [] : [-(rdn_positive_less(rdnn(n7), rdnn(n8)))], (1878 ^ _19669) ^ [] : [-(rdn_positive_less(rdnn(n8), rdnn(n9)))], (1880 ^ _19669) ^ [_40579, _40581, _40583] : [-(rdn_positive_less(rdnn(_40583), rdnn(_40579))), rdn_positive_less(rdnn(_40583), rdnn(_40581)), rdn_positive_less(rdnn(_40581), rdnn(_40579))], (1890 ^ _19669) ^ [_40736, _40738, _40740, _40742] : [rdn_positive_less(_40740, _40736), -(rdn_positive_less(rdn(rdnn(_40742), _40740), rdn(rdnn(_40738), _40736)))], (1896 ^ _19669) ^ [_40837, _40839, _40841] : [-(rdn_positive_less(rdn(rdnn(_40841), _40839), rdn(rdnn(_40837), _40839))), rdn_positive_less(rdnn(_40841), rdnn(_40837)), rdn_non_zero(_40839)], (1906 ^ _19669) ^ [_40996, _40998, _41000] : [rdn_non_zero(_40996), -(rdn_positive_less(rdnn(_41000), rdn(rdnn(_40998), _40996)))], (1912 ^ _19669) ^ [_41087] : [rdn_non_zero_digit(rdnn(_41087)), -(rdn_non_zero(rdnn(_41087)))], (1918 ^ _19669) ^ [_41166, _41168] : [rdn_non_zero(_41166), -(rdn_non_zero(rdn(rdnn(_41168), _41166)))], (1924 ^ _19669) ^ [_41249, _41251, _41253, _41255] : [-(less(_41255, _41253)), rdn_translate(_41255, rdn_pos(_41251)), rdn_translate(_41253, rdn_pos(_41249)), rdn_positive_less(_41251, _41249)], (1938 ^ _19669) ^ [_41450, _41452, _41454, _41456] : [-(less(_41456, _41454)), rdn_translate(_41456, rdn_neg(_41452)), rdn_translate(_41454, rdn_pos(_41450))], (1948 ^ _19669) ^ [_41595, _41597, _41599, _41601] : [-(less(_41601, _41599)), rdn_translate(_41601, rdn_neg(_41597)), rdn_translate(_41599, rdn_neg(_41595)), rdn_positive_less(_41595, _41597)], (1962 ^ _19669) ^ [_41811, _41813] : [less(_41813, _41811), 1965 ^ _19669 : [(1966 ^ _19669) ^ [] : [less(_41811, _41813)], (1968 ^ _19669) ^ [] : [_41811 = _41813]]], (1970 ^ _19669) ^ [_41923, _41925] : [-(less(_41925, _41923)), -(less(_41923, _41925)), -(_41923 = _41925)], (1998 ^ _19669) ^ [_42182, _42184, _42186] : [-(less_or_equal(_42182, _42186)), sum(_42186, n1, _42184), less(_42182, _42184)], (1990 ^ _19669) ^ [_42069, _42071] : [1991 ^ _19669 : [(1992 ^ _19669) ^ [] : [less(_42071, _42069)], (1994 ^ _19669) ^ [] : [_42071 = _42069]], -(less_or_equal(_42071, _42069))], (1980 ^ _19669) ^ [_41983, _41985] : [less_or_equal(_41985, _41983), -(less(_41985, _41983)), -(_41985 = _41983)], (292 ^ _19669) ^ [_23898, _23900, _23902, _23904] : [accept_team(_23904, _23898, _23902, _23900), 295 ^ _19669 : [(296 ^ _19669) ^ [] : [-(accept_city(_23904, _23902))], (298 ^ _19669) ^ [] : [-(accept_leader(_23904, _23898))], (300 ^ _19669) ^ [] : [-(accept_number(_23904, _23900))]]], (302 ^ _19669) ^ [_24029, _24031, _24033, _24035] : [-(accept_team(_24035, _24029, _24033, _24031)), accept_city(_24035, _24033), accept_leader(_24035, _24029), accept_number(_24035, _24031)], (316 ^ _19669) ^ [_24228, _24230, _24232] : [-(accept_number(_24232, _24228)), accept_number(_24232, _24230), less(_24228, _24230)], (326 ^ _19669) ^ [_24361, _24363, _24365, _24367] : [-(accept_population(_24367, _24361, _24363)), accept_population(_24367, _24361, _24365), less(_24363, _24365)], (336 ^ _19669) ^ [_24502, _24504, _24506] : [the_agent_in_all_proposed_teams(_24506, _24504, _24502), 339 ^ _19669 : [(340 ^ _19669) ^ [] : [-(accept_leader(_24506, _24504))], (342 ^ _19669) ^ [] : [-(accept_city(_24506, _24502))]]], (344 ^ _19669) ^ [_24609, _24611, _24613] : [any_agent_in_all_proposed_teams(_24613, _24611, _24609), -(accept_leader(_24613, _24611))], (350 ^ _19669) ^ [_24690, _24692, _24694] : [the_agent_not_in_any_proposed_teams(_24694, _24692, _24690), accept_city(_24694, _24690), accept_leader(_24694, _24692)], (360 ^ _19669) ^ [_24826, _24828] : [min_number_of_proposed_agents(_24828, _24826), -(accept_number(_24828, _24826))], (388 ^ _19669) ^ [_25196] : [accept_city(_25196, suffertown), 391 ^ _19669 : [(392 ^ _19669) ^ [] : [-(accept_population(_25196, atheist, n65))], (394 ^ _19669) ^ [] : [-(accept_population(_25196, christian, n20))], (396 ^ _19669) ^ [] : [-(accept_population(_25196, muslim, n7))], (398 ^ _19669) ^ [] : [-(accept_population(_25196, native, n4))], (400 ^ _19669) ^ [] : [-(accept_population(_25196, other, n4))]]], (366 ^ _19669) ^ [_24915] : [-(accept_city(_24915, suffertown)), accept_population(_24915, atheist, n65), accept_population(_24915, christian, n20), accept_population(_24915, muslim, n7), accept_population(_24915, native, n4), accept_population(_24915, other, n4)], (424 ^ _19669) ^ [_25674] : [accept_city(_25674, centraltown), 427 ^ _19669 : [(428 ^ _19669) ^ [] : [-(accept_population(_25674, atheist, n54))], (430 ^ _19669) ^ [] : [-(accept_population(_25674, christian, n23))], (432 ^ _19669) ^ [] : [-(accept_population(_25674, muslim, n3))], (434 ^ _19669) ^ [] : [-(accept_population(_25674, native, n1))], (436 ^ _19669) ^ [] : [-(accept_population(_25674, other, n9))]]], (402 ^ _19669) ^ [_25393] : [-(accept_city(_25393, centraltown)), accept_population(_25393, atheist, n54), accept_population(_25393, christian, n23), accept_population(_25393, muslim, n3), accept_population(_25393, native, n1), accept_population(_25393, other, n9)], (460 ^ _19669) ^ [_26152] : [accept_city(_26152, sunnysideport), 463 ^ _19669 : [(464 ^ _19669) ^ [] : [-(accept_population(_26152, atheist, n30))], (466 ^ _19669) ^ [] : [-(accept_population(_26152, christian, n8))], (468 ^ _19669) ^ [] : [-(accept_population(_26152, muslim, n60))], (470 ^ _19669) ^ [] : [-(accept_population(_26152, native, n1))], (472 ^ _19669) ^ [] : [-(accept_population(_26152, other, n1))]]], (438 ^ _19669) ^ [_25871] : [-(accept_city(_25871, sunnysideport)), accept_population(_25871, atheist, n30), accept_population(_25871, christian, n8), accept_population(_25871, muslim, n60), accept_population(_25871, native, n1), accept_population(_25871, other, n1)], (496 ^ _19669) ^ [_26630] : [accept_city(_26630, centrallakecity), 499 ^ _19669 : [(500 ^ _19669) ^ [] : [-(accept_population(_26630, atheist, n70))], (502 ^ _19669) ^ [] : [-(accept_population(_26630, christian, n15))], (504 ^ _19669) ^ [] : [-(accept_population(_26630, muslim, n1))], (506 ^ _19669) ^ [] : [-(accept_population(_26630, native, n10))], (508 ^ _19669) ^ [] : [-(accept_population(_26630, other, n4))]]], (474 ^ _19669) ^ [_26349] : [-(accept_city(_26349, centrallakecity)), accept_population(_26349, atheist, n70), accept_population(_26349, christian, n15), accept_population(_26349, muslim, n1), accept_population(_26349, native, n10), accept_population(_26349, other, n4)], (532 ^ _19669) ^ [_27108] : [accept_city(_27108, stjosephburgh), 535 ^ _19669 : [(536 ^ _19669) ^ [] : [-(accept_population(_27108, atheist, n68))], (538 ^ _19669) ^ [] : [-(accept_population(_27108, christian, n16))], (540 ^ _19669) ^ [] : [-(accept_population(_27108, muslim, n1))], (542 ^ _19669) ^ [] : [-(accept_population(_27108, native, n11))], (544 ^ _19669) ^ [] : [-(accept_population(_27108, other, n4))]]], (510 ^ _19669) ^ [_26827] : [-(accept_city(_26827, stjosephburgh)), accept_population(_26827, atheist, n68), accept_population(_26827, christian, n16), accept_population(_26827, muslim, n1), accept_population(_26827, native, n11), accept_population(_26827, other, n4)], (568 ^ _19669) ^ [_27586] : [accept_city(_27586, northport), 571 ^ _19669 : [(572 ^ _19669) ^ [] : [-(accept_population(_27586, atheist, n70))], (574 ^ _19669) ^ [] : [-(accept_population(_27586, christian, n13))], (576 ^ _19669) ^ [] : [-(accept_population(_27586, muslim, n0))], (578 ^ _19669) ^ [] : [-(accept_population(_27586, native, n15))], (580 ^ _19669) ^ [] : [-(accept_population(_27586, other, n2))]]], (546 ^ _19669) ^ [_27305] : [-(accept_city(_27305, northport)), accept_population(_27305, atheist, n70), accept_population(_27305, christian, n13), accept_population(_27305, muslim, n0), accept_population(_27305, native, n15), accept_population(_27305, other, n2)], (604 ^ _19669) ^ [_28064] : [accept_city(_28064, coastvillage), 607 ^ _19669 : [(608 ^ _19669) ^ [] : [-(accept_population(_28064, atheist, n12))], (610 ^ _19669) ^ [] : [-(accept_population(_28064, christian, n3))], (612 ^ _19669) ^ [] : [-(accept_population(_28064, muslim, n0))], (614 ^ _19669) ^ [] : [-(accept_population(_28064, native, n85))], (616 ^ _19669) ^ [] : [-(accept_population(_28064, other, n0))]]], (582 ^ _19669) ^ [_27783] : [-(accept_city(_27783, coastvillage)), accept_population(_27783, atheist, n12), accept_population(_27783, christian, n3), accept_population(_27783, muslim, n0), accept_population(_27783, native, n85), accept_population(_27783, other, n0)], (640 ^ _19669) ^ [_28542] : [accept_city(_28542, sunsetpoint), 643 ^ _19669 : [(644 ^ _19669) ^ [] : [-(accept_population(_28542, atheist, n0))], (646 ^ _19669) ^ [] : [-(accept_population(_28542, christian, n0))], (648 ^ _19669) ^ [] : [-(accept_population(_28542, muslim, n0))], (650 ^ _19669) ^ [] : [-(accept_population(_28542, native, n100))], (652 ^ _19669) ^ [] : [-(accept_population(_28542, other, n0))]]], (618 ^ _19669) ^ [_28261] : [-(accept_city(_28261, sunsetpoint)), accept_population(_28261, atheist, n0), accept_population(_28261, christian, n0), accept_population(_28261, muslim, n0), accept_population(_28261, native, n100), accept_population(_28261, other, n0)], (676 ^ _19669) ^ [_29020] : [accept_city(_29020, towna), 679 ^ _19669 : [(680 ^ _19669) ^ [] : [-(accept_population(_29020, atheist, n75))], (682 ^ _19669) ^ [] : [-(accept_population(_29020, christian, n24))], (684 ^ _19669) ^ [] : [-(accept_population(_29020, muslim, n1))], (686 ^ _19669) ^ [] : [-(accept_population(_29020, native, n0))], (688 ^ _19669) ^ [] : [-(accept_population(_29020, other, n0))]]], (654 ^ _19669) ^ [_28739] : [-(accept_city(_28739, towna)), accept_population(_28739, atheist, n75), accept_population(_28739, christian, n24), accept_population(_28739, muslim, n1), accept_population(_28739, native, n0), accept_population(_28739, other, n0)], (712 ^ _19669) ^ [_29498] : [accept_city(_29498, citya), 715 ^ _19669 : [(716 ^ _19669) ^ [] : [-(accept_population(_29498, atheist, n75))], (718 ^ _19669) ^ [] : [-(accept_population(_29498, christian, n25))], (720 ^ _19669) ^ [] : [-(accept_population(_29498, muslim, n0))], (722 ^ _19669) ^ [] : [-(accept_population(_29498, native, n0))], (724 ^ _19669) ^ [] : [-(accept_population(_29498, other, n0))]]], (690 ^ _19669) ^ [_29217] : [-(accept_city(_29217, citya)), accept_population(_29217, atheist, n75), accept_population(_29217, christian, n25), accept_population(_29217, muslim, n0), accept_population(_29217, native, n0), accept_population(_29217, other, n0)], (748 ^ _19669) ^ [_29976] : [accept_city(_29976, townb), 751 ^ _19669 : [(752 ^ _19669) ^ [] : [-(accept_population(_29976, atheist, n70))], (754 ^ _19669) ^ [] : [-(accept_population(_29976, christian, n20))], (756 ^ _19669) ^ [] : [-(accept_population(_29976, muslim, n8))], (758 ^ _19669) ^ [] : [-(accept_population(_29976, native, n0))], (760 ^ _19669) ^ [] : [-(accept_population(_29976, other, n2))]]], (726 ^ _19669) ^ [_29695] : [-(accept_city(_29695, townb)), accept_population(_29695, atheist, n70), accept_population(_29695, christian, n20), accept_population(_29695, muslim, n8), accept_population(_29695, native, n0), accept_population(_29695, other, n2)], (784 ^ _19669) ^ [_30454] : [accept_city(_30454, cityb), 787 ^ _19669 : [(788 ^ _19669) ^ [] : [-(accept_population(_30454, atheist, n78))], (790 ^ _19669) ^ [] : [-(accept_population(_30454, christian, n20))], (792 ^ _19669) ^ [] : [-(accept_population(_30454, muslim, n1))], (794 ^ _19669) ^ [] : [-(accept_population(_30454, native, n0))], (796 ^ _19669) ^ [] : [-(accept_population(_30454, other, n1))]]], (762 ^ _19669) ^ [_30173] : [-(accept_city(_30173, cityb)), accept_population(_30173, atheist, n78), accept_population(_30173, christian, n20), accept_population(_30173, muslim, n1), accept_population(_30173, native, n0), accept_population(_30173, other, n1)], (820 ^ _19669) ^ [_30929] : [accept_city(_30929, townc), 823 ^ _19669 : [(824 ^ _19669) ^ [] : [-(accept_population(_30929, atheist, n30))], (826 ^ _19669) ^ [] : [-(accept_population(_30929, christian, n0))], (828 ^ _19669) ^ [] : [-(accept_population(_30929, muslim, n65))], (830 ^ _19669) ^ [] : [-(accept_population(_30929, native, n0))], (832 ^ _19669) ^ [] : [-(accept_population(_30929, other, n5))]]], (798 ^ _19669) ^ [_30648] : [-(accept_city(_30648, townc)), accept_population(_30648, atheist, n30), accept_population(_30648, christian, n0), accept_population(_30648, muslim, n65), accept_population(_30648, native, n0), accept_population(_30648, other, n5)]], input).
% 22.23/22.06  ncf('1',plain,[the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna), accept_city(muslimcountrybhumanitarianorganization, towna), accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization)],start(350 ^ 0,bind([[_24690, _24692, _24694], [towna, countryacivilorganization, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.1',plain,[-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna)), the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna), muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization, countryacivilorganization = countryacivilorganization, towna = towna],extension(116 ^ 1,bind([[_21326, _21328, _21330, _21332, _21334, _21336], [towna, towna, countryacivilorganization, countryacivilorganization, muslimcountrybhumanitarianorganization, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.1.1',plain,[-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna)), the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna), muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization, countryacivilorganization = countryacivilorganization, towna = towna],extension(116 ^ 2,bind([[_21326, _21328, _21330, _21332, _21334, _21336], [towna, towna, countryacivilorganization, countryacivilorganization, muslimcountrybhumanitarianorganization, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.1.1.1',plain,[-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna)), the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna), muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization, countryacivilorganization = countryacivilorganization, towna = towna],extension(116 ^ 3,bind([[_21326, _21328, _21330, _21332, _21334, _21336], [towna, towna, countryacivilorganization, countryacivilorganization, muslimcountrybhumanitarianorganization, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.1.1.1.1',plain,[-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna)), the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna), muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization, countryacivilorganization = countryacivilorganization, towna = towna],extension(116 ^ 4,bind([[_21326, _21328, _21330, _21332, _21334, _21336], [towna, towna, countryacivilorganization, countryacivilorganization, muslimcountrybhumanitarianorganization, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.1.1.1.1.1',plain,[-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna)), the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna), muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization, countryacivilorganization = countryacivilorganization, towna = towna],extension(116 ^ 5,bind([[_21326, _21328, _21330, _21332, _21334, _21336], [towna, towna, countryacivilorganization, countryacivilorganization, muslimcountrybhumanitarianorganization, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.1.1.1.1.1.1',plain,[-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))],extension(854 ^ 6)).
% 22.23/22.06  ncf('1.1.1.1.1.1.2',plain,[-(muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization)],extension(2 ^ 6,bind([[_19699], [muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.1.1.1.1.1.3',plain,[-(countryacivilorganization = countryacivilorganization)],extension(2 ^ 6,bind([[_19699], [countryacivilorganization]]))).
% 22.23/22.06  ncf('1.1.1.1.1.1.4',plain,[-(towna = towna)],extension(2 ^ 6,bind([[_19699], [towna]]))).
% 22.23/22.06  ncf('1.1.1.1.1.2',plain,[-(muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization)],extension(2 ^ 5,bind([[_19699], [muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.1.1.1.1.3',plain,[-(countryacivilorganization = countryacivilorganization)],extension(2 ^ 5,bind([[_19699], [countryacivilorganization]]))).
% 22.23/22.06  ncf('1.1.1.1.1.4',plain,[-(towna = towna)],extension(2 ^ 5,bind([[_19699], [towna]]))).
% 22.23/22.06  ncf('1.1.1.1.2',plain,[-(muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization)],extension(2 ^ 4,bind([[_19699], [muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.1.1.1.3',plain,[-(countryacivilorganization = countryacivilorganization)],extension(2 ^ 4,bind([[_19699], [countryacivilorganization]]))).
% 22.23/22.06  ncf('1.1.1.1.4',plain,[-(towna = towna)],extension(2 ^ 4,bind([[_19699], [towna]]))).
% 22.23/22.06  ncf('1.1.1.2',plain,[-(muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization)],extension(2 ^ 3,bind([[_19699], [muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.1.1.3',plain,[-(countryacivilorganization = countryacivilorganization)],extension(2 ^ 3,bind([[_19699], [countryacivilorganization]]))).
% 22.23/22.06  ncf('1.1.1.4',plain,[-(towna = towna)],extension(2 ^ 3,bind([[_19699], [towna]]))).
% 22.23/22.06  ncf('1.1.2',plain,[-(muslimcountrybhumanitarianorganization = muslimcountrybhumanitarianorganization)],extension(2 ^ 2,bind([[_19699], [muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.1.3',plain,[-(countryacivilorganization = countryacivilorganization)],extension(2 ^ 2,bind([[_19699], [countryacivilorganization]]))).
% 22.23/22.06  ncf('1.1.4',plain,[-(towna = towna)],extension(2 ^ 2,bind([[_19699], [towna]]))).
% 22.23/22.06  ncf('1.2',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 ^ 1,bind([[_28739], [muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.2.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, atheist, n75)), accept_population(muslimcountrybhumanitarianorganization, atheist, n100), less(n75, n100)],extension(326 ^ 2,bind([[_24361, _24363, _24365, _24367], [atheist, n75, n100, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.2.1.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, atheist, n100))],extension(2008 ^ 3,bind([[_43441, _43443], [atheist, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.2.1.2',plain,[-(less(n75, n100)), rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))), rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdn(rdnn(n5), rdnn(n7)), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))],extension(1924 ^ 3,bind([[_41249, _41251, _41253, _41255], [rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))), rdn(rdnn(n5), rdnn(n7)), n100, n75]]))).
% 22.23/22.06  ncf('1.2.1.2.1',plain,[-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))],extension(1482 ^ 4)).
% 22.23/22.06  ncf('1.2.1.2.2',plain,[-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))],extension(1532 ^ 4)).
% 22.23/22.06  ncf('1.2.1.2.3',plain,[-(rdn_positive_less(rdn(rdnn(n5), rdnn(n7)), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdnn(n7), rdn(rdnn(n0), rdnn(n1)))],extension(1890 ^ 4,bind([[_40736, _40738, _40740, _40742], [rdn(rdnn(n0), rdnn(n1)), n0, rdnn(n7), n5]]))).
% 22.23/22.06  ncf('1.2.1.2.3.1',plain,[-(rdn_positive_less(rdnn(n7), rdn(rdnn(n0), rdnn(n1)))), rdn_non_zero(rdnn(n1))],extension(1906 ^ 5,bind([[_40996, _40998, _41000], [rdnn(n1), n0, n7]]))).
% 22.23/22.06  ncf('1.2.1.2.3.1.1',plain,[-(rdn_non_zero(rdnn(n1))), rdn_non_zero_digit(rdnn(n1))],extension(1912 ^ 6,bind([[_41087], [n1]]))).
% 22.23/22.06  ncf('1.2.1.2.3.1.1.1',plain,[-(rdn_non_zero_digit(rdnn(n1)))],extension(1844 ^ 7)).
% 22.23/22.06  ncf('1.2.2',plain,[-(accept_population(muslimcountrybhumanitarianorganization, christian, n24)), accept_population(muslimcountrybhumanitarianorganization, christian, n100), less(n24, n100)],extension(326 ^ 2,bind([[_24361, _24363, _24365, _24367], [christian, n24, n100, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.2.2.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, christian, n100))],extension(2008 ^ 3,bind([[_43441, _43443], [christian, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.2.2.2',plain,[-(less(n24, n100)), rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))), rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdn(rdnn(n4), rdnn(n2)), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))],extension(1924 ^ 3,bind([[_41249, _41251, _41253, _41255], [rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))), rdn(rdnn(n4), rdnn(n2)), n100, n24]]))).
% 22.23/22.06  ncf('1.2.2.2.1',plain,[-(rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))))],extension(1380 ^ 4)).
% 22.23/22.06  ncf('1.2.2.2.2',plain,[-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))],extension(1532 ^ 4)).
% 22.23/22.06  ncf('1.2.2.2.3',plain,[-(rdn_positive_less(rdn(rdnn(n4), rdnn(n2)), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdnn(n2), rdn(rdnn(n0), rdnn(n1)))],extension(1890 ^ 4,bind([[_40736, _40738, _40740, _40742], [rdn(rdnn(n0), rdnn(n1)), n0, rdnn(n2), n4]]))).
% 22.23/22.06  ncf('1.2.2.2.3.1',plain,[-(rdn_positive_less(rdnn(n2), rdn(rdnn(n0), rdnn(n1)))), rdn_non_zero(rdnn(n1))],extension(1906 ^ 5,bind([[_40996, _40998, _41000], [rdnn(n1), n0, n2]]))).
% 22.23/22.06  ncf('1.2.2.2.3.1.1',plain,[-(rdn_non_zero(rdnn(n1))), rdn_non_zero_digit(rdnn(n1))],extension(1912 ^ 6,bind([[_41087], [n1]]))).
% 22.23/22.06  ncf('1.2.2.2.3.1.1.1',plain,[-(rdn_non_zero_digit(rdnn(n1)))],extension(1844 ^ 7)).
% 22.23/22.06  ncf('1.2.3',plain,[-(accept_population(muslimcountrybhumanitarianorganization, muslim, n1)), accept_population(muslimcountrybhumanitarianorganization, muslim, n100), less(n1, n100)],extension(326 ^ 2,bind([[_24361, _24363, _24365, _24367], [muslim, n1, n100, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.2.3.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, muslim, n100))],extension(2008 ^ 3,bind([[_43441, _43443], [muslim, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.2.3.2',plain,[-(less(n1, n100)), rdn_translate(n1, rdn_pos(rdnn(n1))), rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdnn(n1), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))],extension(1924 ^ 3,bind([[_41249, _41251, _41253, _41255], [rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))), rdnn(n1), n100, n1]]))).
% 22.23/22.06  ncf('1.2.3.2.1',plain,[-(rdn_translate(n1, rdn_pos(rdnn(n1))))],extension(1334 ^ 4)).
% 22.23/22.06  ncf('1.2.3.2.2',plain,[-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))],extension(1532 ^ 4)).
% 22.23/22.06  ncf('1.2.3.2.3',plain,[-(rdn_positive_less(rdnn(n1), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_non_zero(rdn(rdnn(n0), rdnn(n1)))],extension(1906 ^ 4,bind([[_40996, _40998, _41000], [rdn(rdnn(n0), rdnn(n1)), n0, n1]]))).
% 22.23/22.06  ncf('1.2.3.2.3.1',plain,[-(rdn_non_zero(rdn(rdnn(n0), rdnn(n1)))), rdn_non_zero(rdnn(n1))],extension(1918 ^ 5,bind([[_41166, _41168], [rdnn(n1), n0]]))).
% 22.23/22.06  ncf('1.2.3.2.3.1.1',plain,[-(rdn_non_zero(rdnn(n1))), rdn_non_zero_digit(rdnn(n1))],extension(1912 ^ 6,bind([[_41087], [n1]]))).
% 22.23/22.06  ncf('1.2.3.2.3.1.1.1',plain,[-(rdn_non_zero_digit(rdnn(n1)))],extension(1844 ^ 7)).
% 22.23/22.06  ncf('1.2.4',plain,[-(accept_population(muslimcountrybhumanitarianorganization, native, n0)), accept_population(muslimcountrybhumanitarianorganization, native, n100), less(n0, n100)],extension(326 ^ 2,bind([[_24361, _24363, _24365, _24367], [native, n0, n100, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.2.4.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, native, n100))],extension(2008 ^ 3,bind([[_43441, _43443], [native, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.2.4.2',plain,[-(less(n0, n100)), rdn_translate(n0, rdn_pos(rdnn(n0))), rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdnn(n0), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))],extension(1924 ^ 3,bind([[_41249, _41251, _41253, _41255], [rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))), rdnn(n0), n100, n0]]))).
% 22.23/22.06  ncf('1.2.4.2.1',plain,[-(rdn_translate(n0, rdn_pos(rdnn(n0)))), rdn_translate(n0, rdn_pos(rdnn(n0))), n0 = n0, rdn_pos(rdnn(n0)) = rdn_pos(rdnn(n0))],extension(172 ^ 4,bind([[_22114, _22116, _22118, _22120], [rdn_pos(rdnn(n0)), rdn_pos(rdnn(n0)), n0, n0]]))).
% 22.23/22.06  ncf('1.2.4.2.1.1',plain,[-(rdn_translate(n0, rdn_pos(rdnn(n0)))), rdn_translate(n0, rdn_pos(rdnn(n0))), n0 = n0, rdn_pos(rdnn(n0)) = rdn_pos(rdnn(n0))],extension(172 ^ 5,bind([[_22114, _22116, _22118, _22120], [rdn_pos(rdnn(n0)), rdn_pos(rdnn(n0)), n0, n0]]))).
% 22.23/22.06  ncf('1.2.4.2.1.1.1',plain,[-(rdn_translate(n0, rdn_pos(rdnn(n0))))],extension(1332 ^ 6)).
% 22.23/22.06  ncf('1.2.4.2.1.1.2',plain,[-(n0 = n0)],extension(2 ^ 6,bind([[_19699], [n0]]))).
% 22.23/22.06  ncf('1.2.4.2.1.1.3',plain,[-(rdn_pos(rdnn(n0)) = rdn_pos(rdnn(n0)))],extension(2 ^ 6,bind([[_19699], [rdn_pos(rdnn(n0))]]))).
% 22.23/22.06  ncf('1.2.4.2.1.2',plain,[-(n0 = n0)],extension(2 ^ 5,bind([[_19699], [n0]]))).
% 22.23/22.06  ncf('1.2.4.2.1.3',plain,[-(rdn_pos(rdnn(n0)) = rdn_pos(rdnn(n0))), rdnn(n0) = rdnn(n0)],extension(280 ^ 5,bind([[_23698, _23700], [rdnn(n0), rdnn(n0)]]))).
% 22.23/22.06  ncf('1.2.4.2.1.3.1',plain,[-(rdnn(n0) = rdnn(n0))],extension(2 ^ 6,bind([[_19699], [rdnn(n0)]]))).
% 22.23/22.06  ncf('1.2.4.2.2',plain,[-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))],extension(1532 ^ 4)).
% 22.23/22.06  ncf('1.2.4.2.3',plain,[-(rdn_positive_less(rdnn(n0), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_non_zero(rdn(rdnn(n0), rdnn(n1)))],extension(1906 ^ 4,bind([[_40996, _40998, _41000], [rdn(rdnn(n0), rdnn(n1)), n0, n0]]))).
% 22.23/22.06  ncf('1.2.4.2.3.1',plain,[-(rdn_non_zero(rdn(rdnn(n0), rdnn(n1)))), rdn_non_zero(rdnn(n1))],extension(1918 ^ 5,bind([[_41166, _41168], [rdnn(n1), n0]]))).
% 22.23/22.06  ncf('1.2.4.2.3.1.1',plain,[-(rdn_non_zero(rdnn(n1))), rdn_non_zero_digit(rdnn(n1))],extension(1912 ^ 6,bind([[_41087], [n1]]))).
% 22.23/22.06  ncf('1.2.4.2.3.1.1.1',plain,[-(rdn_non_zero_digit(rdnn(n1)))],extension(1844 ^ 7)).
% 22.23/22.06  ncf('1.2.5',plain,[-(accept_population(muslimcountrybhumanitarianorganization, other, n0)), accept_population(muslimcountrybhumanitarianorganization, other, n100), less(n0, n100)],extension(326 ^ 2,bind([[_24361, _24363, _24365, _24367], [other, n0, n100, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.2.5.1',plain,[-(accept_population(muslimcountrybhumanitarianorganization, other, n100))],extension(2008 ^ 3,bind([[_43441, _43443], [other, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.2.5.2',plain,[-(less(n0, n100)), rdn_translate(n0, rdn_pos(rdnn(n0))), rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdnn(n0), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))],extension(1924 ^ 3,bind([[_41249, _41251, _41253, _41255], [rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))), rdnn(n0), n100, n0]]))).
% 22.23/22.06  ncf('1.2.5.2.1',plain,[-(rdn_translate(n0, rdn_pos(rdnn(n0)))), rdn_translate(n0, rdn_pos(rdnn(n0))), n0 = n0, rdn_pos(rdnn(n0)) = rdn_pos(rdnn(n0))],extension(172 ^ 4,bind([[_22114, _22116, _22118, _22120], [rdn_pos(rdnn(n0)), rdn_pos(rdnn(n0)), n0, n0]]))).
% 22.23/22.06  ncf('1.2.5.2.1.1',plain,[-(rdn_translate(n0, rdn_pos(rdnn(n0)))), rdn_translate(n0, rdn_pos(rdnn(n0))), n0 = n0, rdn_pos(rdnn(n0)) = rdn_pos(rdnn(n0))],extension(172 ^ 5,bind([[_22114, _22116, _22118, _22120], [rdn_pos(rdnn(n0)), rdn_pos(rdnn(n0)), n0, n0]]))).
% 22.23/22.06  ncf('1.2.5.2.1.1.1',plain,[-(rdn_translate(n0, rdn_pos(rdnn(n0))))],extension(1332 ^ 6)).
% 22.23/22.06  ncf('1.2.5.2.1.1.2',plain,[-(n0 = n0)],extension(2 ^ 6,bind([[_19699], [n0]]))).
% 22.23/22.06  ncf('1.2.5.2.1.1.3',plain,[-(rdn_pos(rdnn(n0)) = rdn_pos(rdnn(n0)))],extension(2 ^ 6,bind([[_19699], [rdn_pos(rdnn(n0))]]))).
% 22.23/22.06  ncf('1.2.5.2.1.2',plain,[-(n0 = n0)],extension(2 ^ 5,bind([[_19699], [n0]]))).
% 22.23/22.06  ncf('1.2.5.2.1.3',plain,[-(rdn_pos(rdnn(n0)) = rdn_pos(rdnn(n0))), rdnn(n0) = rdnn(n0)],extension(280 ^ 5,bind([[_23698, _23700], [rdnn(n0), rdnn(n0)]]))).
% 22.23/22.06  ncf('1.2.5.2.1.3.1',plain,[-(rdnn(n0) = rdnn(n0))],extension(2 ^ 6,bind([[_19699], [rdnn(n0)]]))).
% 22.23/22.06  ncf('1.2.5.2.2',plain,[-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))],extension(1532 ^ 4)).
% 22.23/22.06  ncf('1.2.5.2.3',plain,[-(rdn_positive_less(rdnn(n0), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_non_zero(rdn(rdnn(n0), rdnn(n1)))],extension(1906 ^ 4,bind([[_40996, _40998, _41000], [rdn(rdnn(n0), rdnn(n1)), n0, n0]]))).
% 22.23/22.06  ncf('1.2.5.2.3.1',plain,[-(rdn_non_zero(rdn(rdnn(n0), rdnn(n1)))), rdn_non_zero(rdnn(n1))],extension(1918 ^ 5,bind([[_41166, _41168], [rdnn(n1), n0]]))).
% 22.23/22.06  ncf('1.2.5.2.3.1.1',plain,[-(rdn_non_zero(rdnn(n1))), rdn_non_zero_digit(rdnn(n1))],extension(1912 ^ 6,bind([[_41087], [n1]]))).
% 22.23/22.06  ncf('1.2.5.2.3.1.1.1',plain,[-(rdn_non_zero_digit(rdnn(n1)))],extension(1844 ^ 7)).
% 22.23/22.06  ncf('1.3',plain,[-(accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization)), any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna)],extension(344 ^ 1,bind([[_24609, _24611, _24613], [towna, countryacivilorganization, muslimcountrybhumanitarianorganization]]))).
% 22.23/22.06  ncf('1.3.1',plain,[-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))],extension(856 ^ 2)).
% 22.23/22.06  %-----------------------------------------------------
% 22.23/22.06  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------