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

% Computer : n007.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 26.15s 26.25s
% Output   : Proof 26.15s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : AGT026+2 : TPTP v8.1.2. Bugfixed v3.1.0.
% 0.03/0.12  % Command  : nanocop.sh %s %d
% 0.13/0.33  % Computer : n007.cluster.edu
% 0.13/0.33  % Model    : x86_64 x86_64
% 0.13/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33  % Memory   : 8042.1875MB
% 0.13/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33  % CPULimit : 300
% 0.13/0.33  % WCLimit  : 300
% 0.13/0.33  % DateTime : Thu May 18 21:46:38 EDT 2023
% 0.13/0.33  % CPUTime  : 
% 26.15/26.25  
% 26.15/26.25  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 26.15/26.25  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 26.15/26.25  %-----------------------------------------------------
% 26.15/26.25  ncf(matrix, plain, [(2742 ^ _98735) ^ [_181408, _181410] : [-(accept_population(_181410, _181408, n100))], (264 ^ _98735) ^ [_107564, _107566, _107568, _107570] : [-(rdn(_107570, _107566) = rdn(_107568, _107564)), _107570 = _107568, _107566 = _107564], (274 ^ _98735) ^ [_107895, _107897] : [_107897 = _107895, -(rdnn(_107897) = rdnn(_107895))], (280 ^ _98735) ^ [_108113, _108115] : [_108115 = _108113, -(rdn_pos(_108115) = rdn_pos(_108113))], (286 ^ _98735) ^ [_108311, _108313] : [_108313 = _108311, -(rdn_neg(_108313) = rdn_neg(_108311))], (2 ^ _98735) ^ [_98879] : [-(_98879 = _98879)], (4 ^ _98735) ^ [_98986, _98988] : [_98988 = _98986, -(_98986 = _98988)], (10 ^ _98735) ^ [_99190, _99192, _99194] : [-(_99194 = _99190), _99194 = _99192, _99192 = _99190], (20 ^ _98735) ^ [_99531, _99533, _99535, _99537] : [-(min_number_of_proposed_agents(_99535, _99531)), min_number_of_proposed_agents(_99537, _99533), _99537 = _99535, _99533 = _99531], (34 ^ _98735) ^ [_100003, _100005, _100007, _100009, _100011, _100013] : [-(the_agent_in_all_proposed_teams(_100011, _100007, _100003)), the_agent_in_all_proposed_teams(_100013, _100009, _100005), _100013 = _100011, _100009 = _100007, _100005 = _100003], (52 ^ _98735) ^ [_100640, _100642, _100644, _100646, _100648, _100650, _100652, _100654] : [-(accept_team(_100652, _100648, _100644, _100640)), accept_team(_100654, _100650, _100646, _100642), _100654 = _100652, _100650 = _100648, _100646 = _100644, _100642 = _100640], (74 ^ _98735) ^ [_101402, _101404, _101406, _101408, _101410, _101412] : [-(the_agent_not_in_any_proposed_teams(_101410, _101406, _101402)), the_agent_not_in_any_proposed_teams(_101412, _101408, _101404), _101412 = _101410, _101408 = _101406, _101404 = _101402], (92 ^ _98735) ^ [_102011, _102013, _102015, _102017, _102019, _102021] : [-(any_agent_in_all_proposed_teams(_102019, _102015, _102011)), any_agent_in_all_proposed_teams(_102021, _102017, _102013), _102021 = _102019, _102017 = _102015, _102013 = _102011], (110 ^ _98735) ^ [_102592, _102594, _102596, _102598] : [-(accept_number(_102596, _102592)), accept_number(_102598, _102594), _102598 = _102596, _102594 = _102592], (124 ^ _98735) ^ [_103036, _103038, _103040, _103042] : [-(accept_city(_103040, _103036)), accept_city(_103042, _103038), _103042 = _103040, _103038 = _103036], (138 ^ _98735) ^ [_103480, _103482, _103484, _103486] : [-(accept_leader(_103484, _103480)), accept_leader(_103486, _103482), _103486 = _103484, _103482 = _103480], (152 ^ _98735) ^ [_103896, _103898] : [-(rdn_non_zero_digit(_103896)), _103898 = _103896, rdn_non_zero_digit(_103898)], (162 ^ _98735) ^ [_104191, _104193] : [-(rdn_non_zero(_104191)), _104193 = _104191, rdn_non_zero(_104193)], (172 ^ _98735) ^ [_104514, _104516, _104518, _104520] : [-(rdn_translate(_104518, _104514)), rdn_translate(_104520, _104516), _104520 = _104518, _104516 = _104514], (186 ^ _98735) ^ [_104958, _104960, _104962, _104964] : [-(rdn_positive_less(_104962, _104958)), rdn_positive_less(_104964, _104960), _104964 = _104962, _104960 = _104958], (200 ^ _98735) ^ [_105430, _105432, _105434, _105436, _105438, _105440] : [-(sum(_105438, _105434, _105430)), sum(_105440, _105436, _105432), _105440 = _105438, _105436 = _105434, _105432 = _105430], (218 ^ _98735) ^ [_106011, _106013, _106015, _106017] : [-(less(_106015, _106011)), less(_106017, _106013), _106017 = _106015, _106013 = _106011], (232 ^ _98735) ^ [_106455, _106457, _106459, _106461] : [-(less_or_equal(_106459, _106455)), less_or_equal(_106461, _106457), _106461 = _106459, _106457 = _106455], (246 ^ _98735) ^ [_106907, _106909, _106911, _106913, _106915, _106917] : [-(accept_population(_106915, _106911, _106907)), accept_population(_106917, _106913, _106909), _106917 = _106915, _106913 = _106911, _106909 = _106907], (834 ^ _98735) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, cityb, n6))], (836 ^ _98735) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, towna, n6))], (838 ^ _98735) ^ [] : [-(accept_team(countryahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (840 ^ _98735) ^ [] : [-(accept_team(countryahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (842 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (844 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (846 ^ _98735) ^ [] : [-(accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n2))], (848 ^ _98735) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (850 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n4)], (852 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n5)], (854 ^ _98735) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (856 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))], (858 ^ _98735) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (860 ^ _98735) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, cityb, n6))], (862 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n4))], (864 ^ _98735) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, cityb, n6))], (866 ^ _98735) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (868 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n4))], (870 ^ _98735) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, cityb, n6))], (872 ^ _98735) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, cityb, n6))], (874 ^ _98735) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (876 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (878 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))], (880 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (882 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (884 ^ _98735) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, towna, n6))], (886 ^ _98735) ^ [] : [-(accept_team(countryamedicalorganization, countryacivilorganization, towna, n6))], (888 ^ _98735) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (890 ^ _98735) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n2)], (892 ^ _98735) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n2)], (894 ^ _98735) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n2)], (896 ^ _98735) ^ [] : [accept_team(countryamedicalorganization, christiansufferterrahumanitarianorganization, coastvillage, n2)], (898 ^ _98735) ^ [] : [accept_team(countryamedicalorganization, sufferterragovernment, coastvillage, n2)], (900 ^ _98735) ^ [] : [accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n6)], (902 ^ _98735) ^ [] : [accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n6)], (904 ^ _98735) ^ [] : [accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n6)], (906 ^ _98735) ^ [] : [-(the_agent_not_in_any_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (908 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))], (910 ^ _98735) ^ [] : [-(accept_team(countryccivilorganization, countrycmedicalorganization, towna, n4))], (912 ^ _98735) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n5)], (914 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (916 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))], (918 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n4))], (920 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n5))], (922 ^ _98735) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (924 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (926 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))], (928 ^ _98735) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, towna, n6))], (930 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (932 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))], (934 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (936 ^ _98735) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (938 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n4))], (940 ^ _98735) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (942 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n5))], (944 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (946 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))], (948 ^ _98735) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, towna, n6))], (950 ^ _98735) ^ [] : [-(accept_number(countryacivilorganization, n2))], (952 ^ _98735) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n5))], (954 ^ _98735) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n6))], (956 ^ _98735) ^ [] : [-(accept_team(countryacivilorganization, countryafirstaidorganization, coastvillage, n6))], (958 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (960 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))], (962 ^ _98735) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (964 ^ _98735) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n5))], (966 ^ _98735) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n6))], (968 ^ _98735) ^ [] : [-(accept_team(countryafirstaidorganization, countryacivilorganization, coastvillage, n6))], (970 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (972 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))], (974 ^ _98735) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n5)], (976 ^ _98735) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n6)], (978 ^ _98735) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (980 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n5))], (982 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (984 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, muslimcountrybhumanitarianorganization, townc, n6))], (986 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, townc, n6))], (988 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, townc, n6))], (990 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, townc, n6))], (992 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (994 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))], (996 ^ _98735) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n5))], (998 ^ _98735) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n6))], (1000 ^ _98735) ^ [] : [-(accept_team(sufferterragovernment, countryacivilorganization, coastvillage, n6))], (1002 ^ _98735) ^ [] : [-(accept_team(sufferterragovernment, countryafirstaidorganization, coastvillage, n6))], (1004 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1006 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))], (1008 ^ _98735) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (1010 ^ _98735) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (1012 ^ _98735) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n5))], (1014 ^ _98735) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n6))], (1016 ^ _98735) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, coastvillage, n6))], (1018 ^ _98735) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))], (1020 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1022 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))], (1024 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1026 ^ _98735) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))], (1028 ^ _98735) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (1030 ^ _98735) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, townc, n4))], (1032 ^ _98735) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (1034 ^ _98735) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (1036 ^ _98735) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (1038 ^ _98735) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (1040 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1042 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1044 ^ _98735) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, townc, n6))], (1046 ^ _98735) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, townc, n6))], (1048 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, townc, n4))], (1050 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1052 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, townc, n6))], (1054 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, townc, n6))], (1056 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, townc, n6))], (1058 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (1060 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))], (1062 ^ _98735) ^ [] : [accept_team(countryccivilorganization, muslimcountrybhumanitarianorganization, townc, n6)], (1064 ^ _98735) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, townc, n6)], (1066 ^ _98735) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, townc, n6)], (1068 ^ _98735) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, townc, n6)], (1070 ^ _98735) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, townc, n6)], (1072 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1074 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))], (1076 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n2))], (1078 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1080 ^ _98735) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, townc, n6))], (1082 ^ _98735) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, townc, n6))], (1084 ^ _98735) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, townc, n6))], (1086 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, townc, n4))], (1088 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, muslimcountrybhumanitarianorganization, townc, n6))], (1090 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, townc, n6))], (1092 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, townc, n6))], (1094 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, townc, n6))], (1096 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (1098 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))], (1100 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n6))], (1102 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))], (1104 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, townc, n6))], (1106 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1108 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))], (1110 ^ _98735) ^ [] : [-(accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, cityb, n6))], (1112 ^ _98735) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (1114 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1116 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1118 ^ _98735) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n5)], (1120 ^ _98735) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n6)], (1122 ^ _98735) ^ [] : [-(accept_team(sufferterragovernment, countryahumanitarianorganization, cityb, n6))], (1124 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1126 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))], (1128 ^ _98735) ^ [] : [-(accept_team(countryafirstaidorganization, countryahumanitarianorganization, cityb, n6))], (1130 ^ _98735) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (1132 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (1134 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))], (1136 ^ _98735) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n5))], (1138 ^ _98735) ^ [] : [-(accept_team(countryafirstaidorganization, sufferterragovernment, towna, n6))], (1140 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n5))], (1142 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n6))], (1144 ^ _98735) ^ [] : [-(accept_team(countryamedicalorganization, countryahumanitarianorganization, cityb, n6))], (1146 ^ _98735) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (1148 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (1150 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))], (1152 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n5))], (1154 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n6))], (1156 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1158 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1160 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1162 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))], (1164 ^ _98735) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (1166 ^ _98735) ^ [] : [-(accept_team(countryacivilorganization, countryahumanitarianorganization, cityb, n6))], (1168 ^ _98735) ^ [] : [-(accept_number(countryacivilorganization, n6))], (1170 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1172 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))], (1174 ^ _98735) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (1176 ^ _98735) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))], (1178 ^ _98735) ^ [] : [-(accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))], (1180 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n2)], (1182 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n2)], (1184 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n2)], (1186 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n2)], (1188 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n3)], (1190 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3)], (1192 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n3)], (1194 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n3)], (1196 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n2)], (1198 ^ _98735) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (1200 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n4)], (1202 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n6)], (1204 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n6)], (1206 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6)], (1208 ^ _98735) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n5))], (1210 ^ _98735) ^ [] : [-(accept_team(countryamedicalorganization, sufferterragovernment, towna, n6))], (1212 ^ _98735) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n5))], (1214 ^ _98735) ^ [] : [-(accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n6))], (1216 ^ _98735) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (1218 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n3))], (1220 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3))], (1222 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n3))], (1224 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, countryccivilorganization, towna, n3))], (1226 ^ _98735) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (1228 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n6))], (1230 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6))], (1232 ^ _98735) ^ [] : [-(accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n6))], (1234 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (1236 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))], (1238 ^ _98735) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (1240 ^ _98735) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (1242 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, countryccivilorganization, towna, n4))], (1244 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, countrybhumanitarianorganization, towna, n6))], (1246 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, towna, n6))], (1248 ^ _98735) ^ [] : [-(accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n6))], (1250 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1252 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))], (1254 ^ _98735) ^ [] : [-(accept_number(sufferterragovernment, n2))], (1256 ^ _98735) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n2)], (1258 ^ _98735) ^ [] : [accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n6)], (1260 ^ _98735) ^ [] : [-(accept_number(countryccivilorganization, n2))], (1262 ^ _98735) ^ [] : [-(accept_number(countryccivilorganization, n3))], (1264 ^ _98735) ^ [] : [accept_team(countryccivilorganization, countrybcivilorganization, towna, n6)], (1266 ^ _98735) ^ [] : [accept_team(countryccivilorganization, countrybhumanitarianorganization, towna, n6)], (1268 ^ _98735) ^ [] : [accept_team(countryccivilorganization, christiancountrychumanitarianorganization, towna, n6)], (1270 ^ _98735) ^ [] : [accept_team(countryccivilorganization, countrycmedicalorganization, towna, n6)], (1272 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1274 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))], (1276 ^ _98735) ^ [] : [-(accept_number(sufferterragovernment, n5))], (1278 ^ _98735) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n5))], (1280 ^ _98735) ^ [] : [-(accept_number(sufferterragovernment, n6))], (1282 ^ _98735) ^ [] : [-(accept_team(countryacivilorganization, sufferterragovernment, towna, n6))], (1284 ^ _98735) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (1286 ^ _98735) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (1288 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, countryccivilorganization, towna, n4))], (1290 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, countrybcivilorganization, towna, n6))], (1292 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, countrybhumanitarianorganization, towna, n6))], (1294 ^ _98735) ^ [] : [-(accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, towna, n6))], (1296 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1298 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))], (1300 ^ _98735) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (1302 ^ _98735) ^ [] : [-(accept_number(countryccivilorganization, n4))], (1304 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countryccivilorganization, towna, n4))], (1306 ^ _98735) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (1308 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, towna, n6))], (1310 ^ _98735) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (1312 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, towna, n6))], (1314 ^ _98735) ^ [] : [-(accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n6))], (1316 ^ _98735) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (1318 ^ _98735) ^ [] : [-(the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (1320 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))], (1322 ^ _98735) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (1324 ^ _98735) ^ [] : [accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n6)], (1326 ^ _98735) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (1328 ^ _98735) ^ [] : [-(the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1330 ^ _98735) ^ [] : [-(any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))], (1332 ^ _98735) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryacivilorganization))], (1334 ^ _98735) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization))], (1336 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n5))], (1338 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, muslim, n65))], (1340 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n0))], (1342 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n30))], (1344 ^ _98735) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, townc))], (1346 ^ _98735) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryahumanitarianorganization))], (1348 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n1))], (1350 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n20))], (1352 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n78))], (1354 ^ _98735) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, cityb))], (1356 ^ _98735) ^ [] : [accept_city(countryamedicalorganization, coastvillage)], (1358 ^ _98735) ^ [] : [-(accept_leader(countryamedicalorganization, christiancountrychumanitarianorganization))], (1360 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, other, n5))], (1362 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, muslim, n65))], (1364 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, christian, n0))], (1366 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n30))], (1368 ^ _98735) ^ [] : [-(accept_leader(countryamedicalorganization, countryahumanitarianorganization))], (1370 ^ _98735) ^ [] : [-(accept_city(countryamedicalorganization, townc))], (1372 ^ _98735) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryamedicalorganization))], (1374 ^ _98735) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryafirstaidorganization))], (1376 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, native, n85))], (1378 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, muslim, n0))], (1380 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n3))], (1382 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n12))], (1384 ^ _98735) ^ [] : [-(accept_city(countryahumanitarianorganization, coastvillage))], (1386 ^ _98735) ^ [] : [-(accept_leader(countryahumanitarianorganization, christiancountrychumanitarianorganization))], (1388 ^ _98735) ^ [] : [-(accept_leader(countryafirstaidorganization, countryamedicalorganization))], (1390 ^ _98735) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryamedicalorganization))], (1392 ^ _98735) ^ [] : [-(accept_leader(countrycmedicalorganization, countryacivilorganization))], (1394 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, native, n85))], (1396 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n0))], (1398 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n3))], (1400 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n12))], (1402 ^ _98735) ^ [] : [-(accept_city(countrycmedicalorganization, coastvillage))], (1404 ^ _98735) ^ [] : [-(accept_leader(countrybcivilorganization, countryacivilorganization))], (1406 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, native, n85))], (1408 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n0))], (1410 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, christian, n3))], (1412 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n12))], (1414 ^ _98735) ^ [] : [-(accept_city(countrybcivilorganization, coastvillage))], (1416 ^ _98735) ^ [] : [-(accept_leader(countrybcivilorganization, muslimcountrybhumanitarianorganization))], (1418 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, other, n5))], (1420 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n65))], (1422 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, christian, n0))], (1424 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n30))], (1426 ^ _98735) ^ [] : [-(accept_city(countrybcivilorganization, townc))], (1428 ^ _98735) ^ [] : [-(accept_leader(countrybcivilorganization, countryahumanitarianorganization))], (1430 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, other, n1))], (1432 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, christian, n20))], (1434 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n78))], (1436 ^ _98735) ^ [] : [-(accept_city(countrybcivilorganization, cityb))], (1438 ^ _98735) ^ [] : [-(accept_leader(sufferterragovernment, countryamedicalorganization))], (1440 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, christian, n24))], (1442 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, atheist, n75))], (1444 ^ _98735) ^ [] : [-(accept_city(sufferterragovernment, towna))], (1446 ^ _98735) ^ [] : [accept_number(countryccivilorganization, n5)], (1448 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, other, n1))], (1450 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, christian, n20))], (1452 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, atheist, n78))], (1454 ^ _98735) ^ [] : [accept_number(countryccivilorganization, n6)], (1456 ^ _98735) ^ [] : [-(accept_leader(countryccivilorganization, countrybhumanitarianorganization))], (1458 ^ _98735) ^ [] : [-(accept_city(countryccivilorganization, cityb))], (1460 ^ _98735) ^ [] : [-(accept_leader(countryccivilorganization, countryacivilorganization))], (1462 ^ _98735) ^ [] : [-(accept_leader(countryacivilorganization, countryamedicalorganization))], (1464 ^ _98735) ^ [] : [-(accept_leader(countryacivilorganization, countryafirstaidorganization))], (1466 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, native, n85))], (1468 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, muslim, n0))], (1470 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, christian, n3))], (1472 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, atheist, n12))], (1474 ^ _98735) ^ [] : [-(accept_city(countryacivilorganization, coastvillage))], (1476 ^ _98735) ^ [] : [-(accept_leader(countryacivilorganization, christiancountrychumanitarianorganization))], (1478 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, other, n5))], (1480 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, muslim, n65))], (1482 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, christian, n0))], (1484 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, atheist, n30))], (1486 ^ _98735) ^ [] : [-(accept_leader(countryacivilorganization, countryahumanitarianorganization))], (1488 ^ _98735) ^ [] : [-(accept_city(countryacivilorganization, townc))], (1490 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n24))], (1492 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n75))], (1494 ^ _98735) ^ [] : [accept_leader(christiansufferterrahumanitarianorganization, sufferterragovernment)], (1496 ^ _98735) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, towna))], (1498 ^ _98735) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryafirstaidorganization))], (1500 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n0))], (1502 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, native, n85))], (1504 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n0))], (1506 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n3))], (1508 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n12))], (1510 ^ _98735) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, coastvillage))], (1512 ^ _98735) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization))], (1514 ^ _98735) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization))], (1516 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n0))], (1518 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, native, n85))], (1520 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n0))], (1522 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n3))], (1524 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n12))], (1526 ^ _98735) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, coastvillage))], (1528 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, native, n85))], (1530 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n0))], (1532 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n3))], (1534 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n12))], (1536 ^ _98735) ^ [] : [-(accept_city(countryafirstaidorganization, coastvillage))], (1538 ^ _98735) ^ [] : [-(accept_leader(countryafirstaidorganization, christiancountrychumanitarianorganization))], (1540 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, other, n5))], (1542 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n65))], (1544 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n0))], (1546 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n30))], (1548 ^ _98735) ^ [] : [-(accept_leader(countryafirstaidorganization, countryahumanitarianorganization))], (1550 ^ _98735) ^ [] : [-(accept_city(countryafirstaidorganization, townc))], (1552 ^ _98735) ^ [] : [-(accept_leader(countryafirstaidorganization, countryacivilorganization))], (1554 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, other, n1))], (1556 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n20))], (1558 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n78))], (1560 ^ _98735) ^ [] : [-(accept_city(countryafirstaidorganization, cityb))], (1562 ^ _98735) ^ [] : [-(accept_leader(countryafirstaidorganization, countrybhumanitarianorganization))], (1564 ^ _98735) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryacivilorganization))], (1566 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, native, n85))], (1568 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n0))], (1570 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n3))], (1572 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n12))], (1574 ^ _98735) ^ [] : [-(accept_city(countrybhumanitarianorganization, coastvillage))], (1576 ^ _98735) ^ [] : [-(accept_leader(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization))], (1578 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, other, n5))], (1580 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n65))], (1582 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n0))], (1584 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n30))], (1586 ^ _98735) ^ [] : [-(accept_city(countrybhumanitarianorganization, townc))], (1588 ^ _98735) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryahumanitarianorganization))], (1590 ^ _98735) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countryccivilorganization))], (1592 ^ _98735) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countrybcivilorganization))], (1594 ^ _98735) ^ [] : [-(accept_leader(countrybhumanitarianorganization, christiancountrychumanitarianorganization))], (1596 ^ _98735) ^ [] : [-(accept_leader(countrybhumanitarianorganization, countrycmedicalorganization))], (1598 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, other, n0))], (1600 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, native, n0))], (1602 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, muslim, n1))], (1604 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, christian, n24))], (1606 ^ _98735) ^ [] : [-(accept_population(countrybhumanitarianorganization, atheist, n75))], (1608 ^ _98735) ^ [] : [-(accept_city(countrybhumanitarianorganization, towna))], (1610 ^ _98735) ^ [] : [-(accept_leader(countrybhumanitarianorganization, sufferterragovernment))], (1612 ^ _98735) ^ [] : [-(accept_leader(sufferterragovernment, countryafirstaidorganization))], (1614 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, other, n0))], (1616 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, native, n85))], (1618 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, muslim, n0))], (1620 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, christian, n3))], (1622 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, atheist, n12))], (1624 ^ _98735) ^ [] : [-(accept_city(sufferterragovernment, coastvillage))], (1626 ^ _98735) ^ [] : [-(accept_leader(sufferterragovernment, christiancountrychumanitarianorganization))], (1628 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, other, n5))], (1630 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, muslim, n65))], (1632 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, christian, n0))], (1634 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, atheist, n30))], (1636 ^ _98735) ^ [] : [-(accept_leader(sufferterragovernment, countryahumanitarianorganization))], (1638 ^ _98735) ^ [] : [-(accept_city(sufferterragovernment, townc))], (1640 ^ _98735) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryccivilorganization))], (1642 ^ _98735) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrybcivilorganization))], (1644 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n5))], (1646 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n65))], (1648 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n0))], (1650 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n30))], (1652 ^ _98735) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryahumanitarianorganization))], (1654 ^ _98735) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, townc))], (1656 ^ _98735) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countryacivilorganization))], (1658 ^ _98735) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n5))], (1660 ^ _98735) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n4))], (1662 ^ _98735) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n3))], (1664 ^ _98735) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n2))], (1666 ^ _98735) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n1))], (1668 ^ _98735) ^ [] : [-(accept_number(christiansufferterrahumanitarianorganization, n6))], (1670 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, other, n1))], (1672 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, native, n0))], (1674 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, muslim, n1))], (1676 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, christian, n20))], (1678 ^ _98735) ^ [] : [-(accept_population(christiansufferterrahumanitarianorganization, atheist, n78))], (1680 ^ _98735) ^ [] : [-(accept_city(christiansufferterrahumanitarianorganization, cityb))], (1682 ^ _98735) ^ [] : [-(accept_leader(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization))], (1684 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, other, n5))], (1686 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, muslim, n65))], (1688 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, christian, n0))], (1690 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, atheist, n30))], (1692 ^ _98735) ^ [] : [-(accept_city(countryccivilorganization, townc))], (1694 ^ _98735) ^ [] : [-(accept_leader(countryccivilorganization, countryahumanitarianorganization))], (1696 ^ _98735) ^ [] : [-(accept_leader(countrycmedicalorganization, muslimcountrybhumanitarianorganization))], (1698 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, other, n5))], (1700 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n65))], (1702 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n0))], (1704 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n30))], (1706 ^ _98735) ^ [] : [-(accept_city(countrycmedicalorganization, townc))], (1708 ^ _98735) ^ [] : [-(accept_leader(countrycmedicalorganization, countryahumanitarianorganization))], (1710 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, other, n1))], (1712 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n20))], (1714 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n78))], (1716 ^ _98735) ^ [] : [-(accept_city(countrycmedicalorganization, cityb))], (1718 ^ _98735) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrycmedicalorganization))], (1720 ^ _98735) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization))], (1722 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n5))], (1724 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n65))], (1726 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n0))], (1728 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n30))], (1730 ^ _98735) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, townc))], (1732 ^ _98735) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countryahumanitarianorganization))], (1734 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, other, n1))], (1736 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, native, n0))], (1738 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, muslim, n1))], (1740 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, christian, n20))], (1742 ^ _98735) ^ [] : [-(accept_population(muslimcountrybhumanitarianorganization, atheist, n78))], (1744 ^ _98735) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization))], (1746 ^ _98735) ^ [] : [-(accept_city(muslimcountrybhumanitarianorganization, cityb))], (1748 ^ _98735) ^ [] : [-(accept_leader(countryamedicalorganization, countryacivilorganization))], (1750 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, other, n1))], (1752 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, christian, n20))], (1754 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n78))], (1756 ^ _98735) ^ [] : [-(accept_city(countryamedicalorganization, cityb))], (1758 ^ _98735) ^ [] : [-(accept_leader(countryamedicalorganization, countrybhumanitarianorganization))], (1760 ^ _98735) ^ [] : [-(accept_number(countryamedicalorganization, n5))], (1762 ^ _98735) ^ [] : [-(accept_number(countryamedicalorganization, n4))], (1764 ^ _98735) ^ [] : [-(accept_number(countryamedicalorganization, n3))], (1766 ^ _98735) ^ [] : [-(accept_number(countryamedicalorganization, n2))], (1768 ^ _98735) ^ [] : [-(accept_number(countryamedicalorganization, n1))], (1770 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, other, n0))], (1772 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, native, n0))], (1774 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, muslim, n1))], (1776 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, christian, n24))], (1778 ^ _98735) ^ [] : [-(accept_population(countryamedicalorganization, atheist, n75))], (1780 ^ _98735) ^ [] : [-(accept_number(countryamedicalorganization, n6))], (1782 ^ _98735) ^ [] : [-(accept_leader(countryamedicalorganization, sufferterragovernment))], (1784 ^ _98735) ^ [] : [-(accept_city(countryamedicalorganization, towna))], (1786 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, other, n1))], (1788 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, christian, n20))], (1790 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, atheist, n78))], (1792 ^ _98735) ^ [] : [-(accept_city(countryacivilorganization, cityb))], (1794 ^ _98735) ^ [] : [-(accept_leader(countryacivilorganization, countrybhumanitarianorganization))], (1796 ^ _98735) ^ [] : [-(accept_leader(countryahumanitarianorganization, countryacivilorganization))], (1798 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, other, n1))], (1800 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n20))], (1802 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n78))], (1804 ^ _98735) ^ [] : [-(accept_city(countryahumanitarianorganization, cityb))], (1806 ^ _98735) ^ [] : [-(accept_leader(countryahumanitarianorganization, countrybhumanitarianorganization))], (1808 ^ _98735) ^ [] : [-(accept_number(countryahumanitarianorganization, n5))], (1810 ^ _98735) ^ [] : [-(accept_number(countryahumanitarianorganization, n4))], (1812 ^ _98735) ^ [] : [-(accept_number(countryahumanitarianorganization, n3))], (1814 ^ _98735) ^ [] : [-(accept_number(countryahumanitarianorganization, n2))], (1816 ^ _98735) ^ [] : [-(accept_number(countryahumanitarianorganization, n1))], (1818 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, other, n0))], (1820 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, native, n0))], (1822 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, muslim, n1))], (1824 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, christian, n24))], (1826 ^ _98735) ^ [] : [-(accept_population(countryahumanitarianorganization, atheist, n75))], (1828 ^ _98735) ^ [] : [-(accept_number(countryahumanitarianorganization, n6))], (1830 ^ _98735) ^ [] : [-(accept_leader(countryahumanitarianorganization, sufferterragovernment))], (1832 ^ _98735) ^ [] : [-(accept_city(countryahumanitarianorganization, towna))], (1834 ^ _98735) ^ [] : [-(accept_leader(sufferterragovernment, countryacivilorganization))], (1836 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, other, n1))], (1838 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, native, n0))], (1840 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, muslim, n1))], (1842 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, christian, n20))], (1844 ^ _98735) ^ [] : [-(accept_population(sufferterragovernment, atheist, n78))], (1846 ^ _98735) ^ [] : [-(accept_city(sufferterragovernment, cityb))], (1848 ^ _98735) ^ [] : [-(accept_leader(sufferterragovernment, countrybhumanitarianorganization))], (1850 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, other, n0))], (1852 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, native, n0))], (1854 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, muslim, n1))], (1856 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, christian, n24))], (1858 ^ _98735) ^ [] : [-(accept_population(countryccivilorganization, atheist, n75))], (1860 ^ _98735) ^ [] : [-(accept_city(countryccivilorganization, towna))], (1862 ^ _98735) ^ [] : [-(accept_leader(countryccivilorganization, sufferterragovernment))], (1864 ^ _98735) ^ [] : [-(accept_number(countryafirstaidorganization, n5))], (1866 ^ _98735) ^ [] : [-(accept_number(countryafirstaidorganization, n4))], (1868 ^ _98735) ^ [] : [-(accept_number(countryafirstaidorganization, n3))], (1870 ^ _98735) ^ [] : [-(accept_number(countryafirstaidorganization, n2))], (1872 ^ _98735) ^ [] : [-(accept_number(countryafirstaidorganization, n1))], (1874 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, other, n0))], (1876 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, native, n0))], (1878 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, muslim, n1))], (1880 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, christian, n24))], (1882 ^ _98735) ^ [] : [-(accept_population(countryafirstaidorganization, atheist, n75))], (1884 ^ _98735) ^ [] : [-(accept_number(countryafirstaidorganization, n6))], (1886 ^ _98735) ^ [] : [-(accept_leader(countryafirstaidorganization, sufferterragovernment))], (1888 ^ _98735) ^ [] : [-(accept_city(countryafirstaidorganization, towna))], (1890 ^ _98735) ^ [] : [-(accept_leader(countrycmedicalorganization, countryccivilorganization))], (1892 ^ _98735) ^ [] : [-(accept_leader(countrycmedicalorganization, countrybcivilorganization))], (1894 ^ _98735) ^ [] : [-(accept_leader(countrycmedicalorganization, countrybhumanitarianorganization))], (1896 ^ _98735) ^ [] : [-(accept_leader(countrycmedicalorganization, christiancountrychumanitarianorganization))], (1898 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, other, n0))], (1900 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, native, n0))], (1902 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, muslim, n1))], (1904 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, christian, n24))], (1906 ^ _98735) ^ [] : [-(accept_population(countrycmedicalorganization, atheist, n75))], (1908 ^ _98735) ^ [] : [-(accept_city(countrycmedicalorganization, towna))], (1910 ^ _98735) ^ [] : [-(accept_leader(countrycmedicalorganization, sufferterragovernment))], (1912 ^ _98735) ^ [] : [-(accept_leader(countrybcivilorganization, countryccivilorganization))], (1914 ^ _98735) ^ [] : [-(accept_leader(countrybcivilorganization, countrybhumanitarianorganization))], (1916 ^ _98735) ^ [] : [-(accept_leader(countrybcivilorganization, christiancountrychumanitarianorganization))], (1918 ^ _98735) ^ [] : [-(accept_leader(countrybcivilorganization, countrycmedicalorganization))], (1920 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, other, n0))], (1922 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, native, n0))], (1924 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, muslim, n1))], (1926 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, christian, n24))], (1928 ^ _98735) ^ [] : [-(accept_population(countrybcivilorganization, atheist, n75))], (1930 ^ _98735) ^ [] : [-(accept_city(countrybcivilorganization, towna))], (1932 ^ _98735) ^ [] : [-(accept_leader(countrybcivilorganization, sufferterragovernment))], (1934 ^ _98735) ^ [] : [-(accept_number(sufferterragovernment, n5))], (1936 ^ _98735) ^ [] : [-(accept_number(sufferterragovernment, n4))], (1938 ^ _98735) ^ [] : [-(accept_number(sufferterragovernment, n3))], (1940 ^ _98735) ^ [] : [-(accept_number(sufferterragovernment, n2))], (1942 ^ _98735) ^ [] : [-(accept_number(sufferterragovernment, n1))], (1944 ^ _98735) ^ [] : [-(accept_number(sufferterragovernment, n6))], (1946 ^ _98735) ^ [] : [-(accept_number(countryacivilorganization, n5))], (1948 ^ _98735) ^ [] : [-(accept_number(countryacivilorganization, n4))], (1950 ^ _98735) ^ [] : [-(accept_number(countryacivilorganization, n3))], (1952 ^ _98735) ^ [] : [-(accept_number(countryacivilorganization, n2))], (1954 ^ _98735) ^ [] : [-(accept_number(countryacivilorganization, n1))], (1956 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, other, n0))], (1958 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, native, n0))], (1960 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, muslim, n1))], (1962 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, christian, n24))], (1964 ^ _98735) ^ [] : [-(accept_population(countryacivilorganization, atheist, n75))], (1966 ^ _98735) ^ [] : [-(accept_number(countryacivilorganization, n6))], (1968 ^ _98735) ^ [] : [-(accept_leader(countryacivilorganization, sufferterragovernment))], (1970 ^ _98735) ^ [] : [-(accept_city(countryacivilorganization, towna))], (1972 ^ _98735) ^ [] : [-(accept_number(countryccivilorganization, n3))], (1974 ^ _98735) ^ [] : [-(accept_number(countryccivilorganization, n2))], (1976 ^ _98735) ^ [] : [-(accept_number(countryccivilorganization, n1))], (1978 ^ _98735) ^ [] : [-(accept_number(countryccivilorganization, n4))], (1980 ^ _98735) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countryccivilorganization))], (1982 ^ _98735) ^ [] : [-(accept_number(countrybcivilorganization, n5))], (1984 ^ _98735) ^ [] : [-(accept_number(countrybcivilorganization, n4))], (1986 ^ _98735) ^ [] : [-(accept_number(countrybcivilorganization, n3))], (1988 ^ _98735) ^ [] : [-(accept_number(countrybcivilorganization, n2))], (1990 ^ _98735) ^ [] : [-(accept_number(countrybcivilorganization, n1))], (1992 ^ _98735) ^ [] : [-(accept_number(countrybcivilorganization, n6))], (1994 ^ _98735) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrybcivilorganization))], (1996 ^ _98735) ^ [] : [-(accept_number(countrybhumanitarianorganization, n5))], (1998 ^ _98735) ^ [] : [-(accept_number(countrybhumanitarianorganization, n4))], (2000 ^ _98735) ^ [] : [-(accept_number(countrybhumanitarianorganization, n3))], (2002 ^ _98735) ^ [] : [-(accept_number(countrybhumanitarianorganization, n2))], (2004 ^ _98735) ^ [] : [-(accept_number(countrybhumanitarianorganization, n1))], (2006 ^ _98735) ^ [] : [-(accept_number(countrybhumanitarianorganization, n6))], (2008 ^ _98735) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrybhumanitarianorganization))], (2010 ^ _98735) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, countrycmedicalorganization))], (2012 ^ _98735) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n5))], (2014 ^ _98735) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n4))], (2016 ^ _98735) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n3))], (2018 ^ _98735) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n2))], (2020 ^ _98735) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n1))], (2022 ^ _98735) ^ [] : [-(accept_number(christiancountrychumanitarianorganization, n6))], (2024 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, other, n0))], (2026 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, native, n0))], (2028 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, muslim, n1))], (2030 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, christian, n24))], (2032 ^ _98735) ^ [] : [-(accept_population(christiancountrychumanitarianorganization, atheist, n75))], (2034 ^ _98735) ^ [] : [-(accept_city(christiancountrychumanitarianorganization, towna))], (2036 ^ _98735) ^ [] : [-(accept_leader(christiancountrychumanitarianorganization, sufferterragovernment))], (2038 ^ _98735) ^ [] : [-(accept_number(countrycmedicalorganization, n5))], (2040 ^ _98735) ^ [] : [-(accept_number(countrycmedicalorganization, n4))], (2042 ^ _98735) ^ [] : [-(accept_number(countrycmedicalorganization, n3))], (2044 ^ _98735) ^ [] : [-(accept_number(countrycmedicalorganization, n2))], (2046 ^ _98735) ^ [] : [-(accept_number(countrycmedicalorganization, n1))], (2048 ^ _98735) ^ [] : [-(accept_number(countrycmedicalorganization, n6))], (2050 ^ _98735) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n5))], (2052 ^ _98735) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n4))], (2054 ^ _98735) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n3))], (2056 ^ _98735) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n2))], (2058 ^ _98735) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n1))], (2060 ^ _98735) ^ [] : [-(accept_number(muslimcountrybhumanitarianorganization, n6))], (2062 ^ _98735) ^ [] : [accept_city(muslimcountrybhumanitarianorganization, towna)], (2064 ^ _98735) ^ [] : [-(accept_leader(muslimcountrybhumanitarianorganization, sufferterragovernment))], (2066 ^ _98735) ^ [] : [-(rdn_translate(n0, rdn_pos(rdnn(n0))))], (2068 ^ _98735) ^ [] : [-(rdn_translate(n1, rdn_pos(rdnn(n1))))], (2070 ^ _98735) ^ [] : [-(rdn_translate(n2, rdn_pos(rdnn(n2))))], (2072 ^ _98735) ^ [] : [-(rdn_translate(n3, rdn_pos(rdnn(n3))))], (2074 ^ _98735) ^ [] : [-(rdn_translate(n4, rdn_pos(rdnn(n4))))], (2076 ^ _98735) ^ [] : [-(rdn_translate(n5, rdn_pos(rdnn(n5))))], (2078 ^ _98735) ^ [] : [-(rdn_translate(n6, rdn_pos(rdnn(n6))))], (2080 ^ _98735) ^ [] : [-(rdn_translate(n7, rdn_pos(rdnn(n7))))], (2082 ^ _98735) ^ [] : [-(rdn_translate(n8, rdn_pos(rdnn(n8))))], (2084 ^ _98735) ^ [] : [-(rdn_translate(n9, rdn_pos(rdnn(n9))))], (2086 ^ _98735) ^ [] : [-(rdn_translate(n10, rdn_pos(rdn(rdnn(n0), rdnn(n1)))))], (2088 ^ _98735) ^ [] : [-(rdn_translate(n11, rdn_pos(rdn(rdnn(n1), rdnn(n1)))))], (2090 ^ _98735) ^ [] : [-(rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))))], (2092 ^ _98735) ^ [] : [-(rdn_translate(n13, rdn_pos(rdn(rdnn(n3), rdnn(n1)))))], (2094 ^ _98735) ^ [] : [-(rdn_translate(n14, rdn_pos(rdn(rdnn(n4), rdnn(n1)))))], (2096 ^ _98735) ^ [] : [-(rdn_translate(n15, rdn_pos(rdn(rdnn(n5), rdnn(n1)))))], (2098 ^ _98735) ^ [] : [-(rdn_translate(n16, rdn_pos(rdn(rdnn(n6), rdnn(n1)))))], (2100 ^ _98735) ^ [] : [-(rdn_translate(n17, rdn_pos(rdn(rdnn(n7), rdnn(n1)))))], (2102 ^ _98735) ^ [] : [-(rdn_translate(n18, rdn_pos(rdn(rdnn(n8), rdnn(n1)))))], (2104 ^ _98735) ^ [] : [-(rdn_translate(n19, rdn_pos(rdn(rdnn(n9), rdnn(n1)))))], (2106 ^ _98735) ^ [] : [-(rdn_translate(n20, rdn_pos(rdn(rdnn(n0), rdnn(n2)))))], (2108 ^ _98735) ^ [] : [-(rdn_translate(n21, rdn_pos(rdn(rdnn(n1), rdnn(n2)))))], (2110 ^ _98735) ^ [] : [-(rdn_translate(n22, rdn_pos(rdn(rdnn(n2), rdnn(n2)))))], (2112 ^ _98735) ^ [] : [-(rdn_translate(n23, rdn_pos(rdn(rdnn(n3), rdnn(n2)))))], (2114 ^ _98735) ^ [] : [-(rdn_translate(n24, rdn_pos(rdn(rdnn(n4), rdnn(n2)))))], (2116 ^ _98735) ^ [] : [-(rdn_translate(n25, rdn_pos(rdn(rdnn(n5), rdnn(n2)))))], (2118 ^ _98735) ^ [] : [-(rdn_translate(n26, rdn_pos(rdn(rdnn(n6), rdnn(n2)))))], (2120 ^ _98735) ^ [] : [-(rdn_translate(n27, rdn_pos(rdn(rdnn(n7), rdnn(n2)))))], (2122 ^ _98735) ^ [] : [-(rdn_translate(n28, rdn_pos(rdn(rdnn(n8), rdnn(n2)))))], (2124 ^ _98735) ^ [] : [-(rdn_translate(n29, rdn_pos(rdn(rdnn(n9), rdnn(n2)))))], (2126 ^ _98735) ^ [] : [-(rdn_translate(n30, rdn_pos(rdn(rdnn(n0), rdnn(n3)))))], (2128 ^ _98735) ^ [] : [-(rdn_translate(n31, rdn_pos(rdn(rdnn(n1), rdnn(n3)))))], (2130 ^ _98735) ^ [] : [-(rdn_translate(n32, rdn_pos(rdn(rdnn(n2), rdnn(n3)))))], (2132 ^ _98735) ^ [] : [-(rdn_translate(n33, rdn_pos(rdn(rdnn(n3), rdnn(n3)))))], (2134 ^ _98735) ^ [] : [-(rdn_translate(n34, rdn_pos(rdn(rdnn(n4), rdnn(n3)))))], (2136 ^ _98735) ^ [] : [-(rdn_translate(n35, rdn_pos(rdn(rdnn(n5), rdnn(n3)))))], (2138 ^ _98735) ^ [] : [-(rdn_translate(n36, rdn_pos(rdn(rdnn(n6), rdnn(n3)))))], (2140 ^ _98735) ^ [] : [-(rdn_translate(n37, rdn_pos(rdn(rdnn(n7), rdnn(n3)))))], (2142 ^ _98735) ^ [] : [-(rdn_translate(n38, rdn_pos(rdn(rdnn(n8), rdnn(n3)))))], (2144 ^ _98735) ^ [] : [-(rdn_translate(n39, rdn_pos(rdn(rdnn(n9), rdnn(n3)))))], (2146 ^ _98735) ^ [] : [-(rdn_translate(n40, rdn_pos(rdn(rdnn(n0), rdnn(n4)))))], (2148 ^ _98735) ^ [] : [-(rdn_translate(n41, rdn_pos(rdn(rdnn(n1), rdnn(n4)))))], (2150 ^ _98735) ^ [] : [-(rdn_translate(n42, rdn_pos(rdn(rdnn(n2), rdnn(n4)))))], (2152 ^ _98735) ^ [] : [-(rdn_translate(n43, rdn_pos(rdn(rdnn(n3), rdnn(n4)))))], (2154 ^ _98735) ^ [] : [-(rdn_translate(n44, rdn_pos(rdn(rdnn(n4), rdnn(n4)))))], (2156 ^ _98735) ^ [] : [-(rdn_translate(n45, rdn_pos(rdn(rdnn(n5), rdnn(n4)))))], (2158 ^ _98735) ^ [] : [-(rdn_translate(n46, rdn_pos(rdn(rdnn(n6), rdnn(n4)))))], (2160 ^ _98735) ^ [] : [-(rdn_translate(n47, rdn_pos(rdn(rdnn(n7), rdnn(n4)))))], (2162 ^ _98735) ^ [] : [-(rdn_translate(n48, rdn_pos(rdn(rdnn(n8), rdnn(n4)))))], (2164 ^ _98735) ^ [] : [-(rdn_translate(n49, rdn_pos(rdn(rdnn(n9), rdnn(n4)))))], (2166 ^ _98735) ^ [] : [-(rdn_translate(n50, rdn_pos(rdn(rdnn(n0), rdnn(n5)))))], (2168 ^ _98735) ^ [] : [-(rdn_translate(n51, rdn_pos(rdn(rdnn(n1), rdnn(n5)))))], (2170 ^ _98735) ^ [] : [-(rdn_translate(n52, rdn_pos(rdn(rdnn(n2), rdnn(n5)))))], (2172 ^ _98735) ^ [] : [-(rdn_translate(n53, rdn_pos(rdn(rdnn(n3), rdnn(n5)))))], (2174 ^ _98735) ^ [] : [-(rdn_translate(n54, rdn_pos(rdn(rdnn(n4), rdnn(n5)))))], (2176 ^ _98735) ^ [] : [-(rdn_translate(n55, rdn_pos(rdn(rdnn(n5), rdnn(n5)))))], (2178 ^ _98735) ^ [] : [-(rdn_translate(n56, rdn_pos(rdn(rdnn(n6), rdnn(n5)))))], (2180 ^ _98735) ^ [] : [-(rdn_translate(n57, rdn_pos(rdn(rdnn(n7), rdnn(n5)))))], (2182 ^ _98735) ^ [] : [-(rdn_translate(n58, rdn_pos(rdn(rdnn(n8), rdnn(n5)))))], (2184 ^ _98735) ^ [] : [-(rdn_translate(n59, rdn_pos(rdn(rdnn(n9), rdnn(n5)))))], (2186 ^ _98735) ^ [] : [-(rdn_translate(n60, rdn_pos(rdn(rdnn(n0), rdnn(n6)))))], (2188 ^ _98735) ^ [] : [-(rdn_translate(n61, rdn_pos(rdn(rdnn(n1), rdnn(n6)))))], (2190 ^ _98735) ^ [] : [-(rdn_translate(n62, rdn_pos(rdn(rdnn(n2), rdnn(n6)))))], (2192 ^ _98735) ^ [] : [-(rdn_translate(n63, rdn_pos(rdn(rdnn(n3), rdnn(n6)))))], (2194 ^ _98735) ^ [] : [-(rdn_translate(n64, rdn_pos(rdn(rdnn(n4), rdnn(n6)))))], (2196 ^ _98735) ^ [] : [-(rdn_translate(n65, rdn_pos(rdn(rdnn(n5), rdnn(n6)))))], (2198 ^ _98735) ^ [] : [-(rdn_translate(n66, rdn_pos(rdn(rdnn(n6), rdnn(n6)))))], (2200 ^ _98735) ^ [] : [-(rdn_translate(n67, rdn_pos(rdn(rdnn(n7), rdnn(n6)))))], (2202 ^ _98735) ^ [] : [-(rdn_translate(n68, rdn_pos(rdn(rdnn(n8), rdnn(n6)))))], (2204 ^ _98735) ^ [] : [-(rdn_translate(n69, rdn_pos(rdn(rdnn(n9), rdnn(n6)))))], (2206 ^ _98735) ^ [] : [-(rdn_translate(n70, rdn_pos(rdn(rdnn(n0), rdnn(n7)))))], (2208 ^ _98735) ^ [] : [-(rdn_translate(n71, rdn_pos(rdn(rdnn(n1), rdnn(n7)))))], (2210 ^ _98735) ^ [] : [-(rdn_translate(n72, rdn_pos(rdn(rdnn(n2), rdnn(n7)))))], (2212 ^ _98735) ^ [] : [-(rdn_translate(n73, rdn_pos(rdn(rdnn(n3), rdnn(n7)))))], (2214 ^ _98735) ^ [] : [-(rdn_translate(n74, rdn_pos(rdn(rdnn(n4), rdnn(n7)))))], (2216 ^ _98735) ^ [] : [-(rdn_translate(n75, rdn_pos(rdn(rdnn(n5), rdnn(n7)))))], (2218 ^ _98735) ^ [] : [-(rdn_translate(n76, rdn_pos(rdn(rdnn(n6), rdnn(n7)))))], (2220 ^ _98735) ^ [] : [-(rdn_translate(n77, rdn_pos(rdn(rdnn(n7), rdnn(n7)))))], (2222 ^ _98735) ^ [] : [-(rdn_translate(n78, rdn_pos(rdn(rdnn(n8), rdnn(n7)))))], (2224 ^ _98735) ^ [] : [-(rdn_translate(n79, rdn_pos(rdn(rdnn(n9), rdnn(n7)))))], (2226 ^ _98735) ^ [] : [-(rdn_translate(n80, rdn_pos(rdn(rdnn(n0), rdnn(n8)))))], (2228 ^ _98735) ^ [] : [-(rdn_translate(n81, rdn_pos(rdn(rdnn(n1), rdnn(n8)))))], (2230 ^ _98735) ^ [] : [-(rdn_translate(n82, rdn_pos(rdn(rdnn(n2), rdnn(n8)))))], (2232 ^ _98735) ^ [] : [-(rdn_translate(n83, rdn_pos(rdn(rdnn(n3), rdnn(n8)))))], (2234 ^ _98735) ^ [] : [-(rdn_translate(n84, rdn_pos(rdn(rdnn(n4), rdnn(n8)))))], (2236 ^ _98735) ^ [] : [-(rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))))], (2238 ^ _98735) ^ [] : [-(rdn_translate(n86, rdn_pos(rdn(rdnn(n6), rdnn(n8)))))], (2240 ^ _98735) ^ [] : [-(rdn_translate(n87, rdn_pos(rdn(rdnn(n7), rdnn(n8)))))], (2242 ^ _98735) ^ [] : [-(rdn_translate(n88, rdn_pos(rdn(rdnn(n8), rdnn(n8)))))], (2244 ^ _98735) ^ [] : [-(rdn_translate(n89, rdn_pos(rdn(rdnn(n9), rdnn(n8)))))], (2246 ^ _98735) ^ [] : [-(rdn_translate(n90, rdn_pos(rdn(rdnn(n0), rdnn(n9)))))], (2248 ^ _98735) ^ [] : [-(rdn_translate(n91, rdn_pos(rdn(rdnn(n1), rdnn(n9)))))], (2250 ^ _98735) ^ [] : [-(rdn_translate(n92, rdn_pos(rdn(rdnn(n2), rdnn(n9)))))], (2252 ^ _98735) ^ [] : [-(rdn_translate(n93, rdn_pos(rdn(rdnn(n3), rdnn(n9)))))], (2254 ^ _98735) ^ [] : [-(rdn_translate(n94, rdn_pos(rdn(rdnn(n4), rdnn(n9)))))], (2256 ^ _98735) ^ [] : [-(rdn_translate(n95, rdn_pos(rdn(rdnn(n5), rdnn(n9)))))], (2258 ^ _98735) ^ [] : [-(rdn_translate(n96, rdn_pos(rdn(rdnn(n6), rdnn(n9)))))], (2260 ^ _98735) ^ [] : [-(rdn_translate(n97, rdn_pos(rdn(rdnn(n7), rdnn(n9)))))], (2262 ^ _98735) ^ [] : [-(rdn_translate(n98, rdn_pos(rdn(rdnn(n8), rdnn(n9)))))], (2264 ^ _98735) ^ [] : [-(rdn_translate(n99, rdn_pos(rdn(rdnn(n9), rdnn(n9)))))], (2266 ^ _98735) ^ [] : [-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (2268 ^ _98735) ^ [] : [-(rdn_translate(n101, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (2270 ^ _98735) ^ [] : [-(rdn_translate(n102, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (2272 ^ _98735) ^ [] : [-(rdn_translate(n103, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (2274 ^ _98735) ^ [] : [-(rdn_translate(n104, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (2276 ^ _98735) ^ [] : [-(rdn_translate(n105, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (2278 ^ _98735) ^ [] : [-(rdn_translate(n106, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (2280 ^ _98735) ^ [] : [-(rdn_translate(n107, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (2282 ^ _98735) ^ [] : [-(rdn_translate(n108, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (2284 ^ _98735) ^ [] : [-(rdn_translate(n109, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (2286 ^ _98735) ^ [] : [-(rdn_translate(n110, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (2288 ^ _98735) ^ [] : [-(rdn_translate(n111, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (2290 ^ _98735) ^ [] : [-(rdn_translate(n112, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (2292 ^ _98735) ^ [] : [-(rdn_translate(n113, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (2294 ^ _98735) ^ [] : [-(rdn_translate(n114, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (2296 ^ _98735) ^ [] : [-(rdn_translate(n115, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (2298 ^ _98735) ^ [] : [-(rdn_translate(n116, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (2300 ^ _98735) ^ [] : [-(rdn_translate(n117, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (2302 ^ _98735) ^ [] : [-(rdn_translate(n118, rdn_pos(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (2304 ^ _98735) ^ [] : [-(rdn_translate(n119, rdn_pos(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (2306 ^ _98735) ^ [] : [-(rdn_translate(n120, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (2308 ^ _98735) ^ [] : [-(rdn_translate(n121, rdn_pos(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (2310 ^ _98735) ^ [] : [-(rdn_translate(n122, rdn_pos(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (2312 ^ _98735) ^ [] : [-(rdn_translate(n123, rdn_pos(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (2314 ^ _98735) ^ [] : [-(rdn_translate(n124, rdn_pos(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (2316 ^ _98735) ^ [] : [-(rdn_translate(n125, rdn_pos(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (2318 ^ _98735) ^ [] : [-(rdn_translate(n126, rdn_pos(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (2320 ^ _98735) ^ [] : [-(rdn_translate(n127, rdn_pos(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (2322 ^ _98735) ^ [] : [-(rdn_translate(nn1, rdn_neg(rdnn(n1))))], (2324 ^ _98735) ^ [] : [-(rdn_translate(nn2, rdn_neg(rdnn(n2))))], (2326 ^ _98735) ^ [] : [-(rdn_translate(nn3, rdn_neg(rdnn(n3))))], (2328 ^ _98735) ^ [] : [-(rdn_translate(nn4, rdn_neg(rdnn(n4))))], (2330 ^ _98735) ^ [] : [-(rdn_translate(nn5, rdn_neg(rdnn(n5))))], (2332 ^ _98735) ^ [] : [-(rdn_translate(nn6, rdn_neg(rdnn(n6))))], (2334 ^ _98735) ^ [] : [-(rdn_translate(nn7, rdn_neg(rdnn(n7))))], (2336 ^ _98735) ^ [] : [-(rdn_translate(nn8, rdn_neg(rdnn(n8))))], (2338 ^ _98735) ^ [] : [-(rdn_translate(nn9, rdn_neg(rdnn(n9))))], (2340 ^ _98735) ^ [] : [-(rdn_translate(nn10, rdn_neg(rdn(rdnn(n0), rdnn(n1)))))], (2342 ^ _98735) ^ [] : [-(rdn_translate(nn11, rdn_neg(rdn(rdnn(n1), rdnn(n1)))))], (2344 ^ _98735) ^ [] : [-(rdn_translate(nn12, rdn_neg(rdn(rdnn(n2), rdnn(n1)))))], (2346 ^ _98735) ^ [] : [-(rdn_translate(nn13, rdn_neg(rdn(rdnn(n3), rdnn(n1)))))], (2348 ^ _98735) ^ [] : [-(rdn_translate(nn14, rdn_neg(rdn(rdnn(n4), rdnn(n1)))))], (2350 ^ _98735) ^ [] : [-(rdn_translate(nn15, rdn_neg(rdn(rdnn(n5), rdnn(n1)))))], (2352 ^ _98735) ^ [] : [-(rdn_translate(nn16, rdn_neg(rdn(rdnn(n6), rdnn(n1)))))], (2354 ^ _98735) ^ [] : [-(rdn_translate(nn17, rdn_neg(rdn(rdnn(n7), rdnn(n1)))))], (2356 ^ _98735) ^ [] : [-(rdn_translate(nn18, rdn_neg(rdn(rdnn(n8), rdnn(n1)))))], (2358 ^ _98735) ^ [] : [-(rdn_translate(nn19, rdn_neg(rdn(rdnn(n9), rdnn(n1)))))], (2360 ^ _98735) ^ [] : [-(rdn_translate(nn20, rdn_neg(rdn(rdnn(n0), rdnn(n2)))))], (2362 ^ _98735) ^ [] : [-(rdn_translate(nn21, rdn_neg(rdn(rdnn(n1), rdnn(n2)))))], (2364 ^ _98735) ^ [] : [-(rdn_translate(nn22, rdn_neg(rdn(rdnn(n2), rdnn(n2)))))], (2366 ^ _98735) ^ [] : [-(rdn_translate(nn23, rdn_neg(rdn(rdnn(n3), rdnn(n2)))))], (2368 ^ _98735) ^ [] : [-(rdn_translate(nn24, rdn_neg(rdn(rdnn(n4), rdnn(n2)))))], (2370 ^ _98735) ^ [] : [-(rdn_translate(nn25, rdn_neg(rdn(rdnn(n5), rdnn(n2)))))], (2372 ^ _98735) ^ [] : [-(rdn_translate(nn26, rdn_neg(rdn(rdnn(n6), rdnn(n2)))))], (2374 ^ _98735) ^ [] : [-(rdn_translate(nn27, rdn_neg(rdn(rdnn(n7), rdnn(n2)))))], (2376 ^ _98735) ^ [] : [-(rdn_translate(nn28, rdn_neg(rdn(rdnn(n8), rdnn(n2)))))], (2378 ^ _98735) ^ [] : [-(rdn_translate(nn29, rdn_neg(rdn(rdnn(n9), rdnn(n2)))))], (2380 ^ _98735) ^ [] : [-(rdn_translate(nn30, rdn_neg(rdn(rdnn(n0), rdnn(n3)))))], (2382 ^ _98735) ^ [] : [-(rdn_translate(nn31, rdn_neg(rdn(rdnn(n1), rdnn(n3)))))], (2384 ^ _98735) ^ [] : [-(rdn_translate(nn32, rdn_neg(rdn(rdnn(n2), rdnn(n3)))))], (2386 ^ _98735) ^ [] : [-(rdn_translate(nn33, rdn_neg(rdn(rdnn(n3), rdnn(n3)))))], (2388 ^ _98735) ^ [] : [-(rdn_translate(nn34, rdn_neg(rdn(rdnn(n4), rdnn(n3)))))], (2390 ^ _98735) ^ [] : [-(rdn_translate(nn35, rdn_neg(rdn(rdnn(n5), rdnn(n3)))))], (2392 ^ _98735) ^ [] : [-(rdn_translate(nn36, rdn_neg(rdn(rdnn(n6), rdnn(n3)))))], (2394 ^ _98735) ^ [] : [-(rdn_translate(nn37, rdn_neg(rdn(rdnn(n7), rdnn(n3)))))], (2396 ^ _98735) ^ [] : [-(rdn_translate(nn38, rdn_neg(rdn(rdnn(n8), rdnn(n3)))))], (2398 ^ _98735) ^ [] : [-(rdn_translate(nn39, rdn_neg(rdn(rdnn(n9), rdnn(n3)))))], (2400 ^ _98735) ^ [] : [-(rdn_translate(nn40, rdn_neg(rdn(rdnn(n0), rdnn(n4)))))], (2402 ^ _98735) ^ [] : [-(rdn_translate(nn41, rdn_neg(rdn(rdnn(n1), rdnn(n4)))))], (2404 ^ _98735) ^ [] : [-(rdn_translate(nn42, rdn_neg(rdn(rdnn(n2), rdnn(n4)))))], (2406 ^ _98735) ^ [] : [-(rdn_translate(nn43, rdn_neg(rdn(rdnn(n3), rdnn(n4)))))], (2408 ^ _98735) ^ [] : [-(rdn_translate(nn44, rdn_neg(rdn(rdnn(n4), rdnn(n4)))))], (2410 ^ _98735) ^ [] : [-(rdn_translate(nn45, rdn_neg(rdn(rdnn(n5), rdnn(n4)))))], (2412 ^ _98735) ^ [] : [-(rdn_translate(nn46, rdn_neg(rdn(rdnn(n6), rdnn(n4)))))], (2414 ^ _98735) ^ [] : [-(rdn_translate(nn47, rdn_neg(rdn(rdnn(n7), rdnn(n4)))))], (2416 ^ _98735) ^ [] : [-(rdn_translate(nn48, rdn_neg(rdn(rdnn(n8), rdnn(n4)))))], (2418 ^ _98735) ^ [] : [-(rdn_translate(nn49, rdn_neg(rdn(rdnn(n9), rdnn(n4)))))], (2420 ^ _98735) ^ [] : [-(rdn_translate(nn50, rdn_neg(rdn(rdnn(n0), rdnn(n5)))))], (2422 ^ _98735) ^ [] : [-(rdn_translate(nn51, rdn_neg(rdn(rdnn(n1), rdnn(n5)))))], (2424 ^ _98735) ^ [] : [-(rdn_translate(nn52, rdn_neg(rdn(rdnn(n2), rdnn(n5)))))], (2426 ^ _98735) ^ [] : [-(rdn_translate(nn53, rdn_neg(rdn(rdnn(n3), rdnn(n5)))))], (2428 ^ _98735) ^ [] : [-(rdn_translate(nn54, rdn_neg(rdn(rdnn(n4), rdnn(n5)))))], (2430 ^ _98735) ^ [] : [-(rdn_translate(nn55, rdn_neg(rdn(rdnn(n5), rdnn(n5)))))], (2432 ^ _98735) ^ [] : [-(rdn_translate(nn56, rdn_neg(rdn(rdnn(n6), rdnn(n5)))))], (2434 ^ _98735) ^ [] : [-(rdn_translate(nn57, rdn_neg(rdn(rdnn(n7), rdnn(n5)))))], (2436 ^ _98735) ^ [] : [-(rdn_translate(nn58, rdn_neg(rdn(rdnn(n8), rdnn(n5)))))], (2438 ^ _98735) ^ [] : [-(rdn_translate(nn59, rdn_neg(rdn(rdnn(n9), rdnn(n5)))))], (2440 ^ _98735) ^ [] : [-(rdn_translate(nn60, rdn_neg(rdn(rdnn(n0), rdnn(n6)))))], (2442 ^ _98735) ^ [] : [-(rdn_translate(nn61, rdn_neg(rdn(rdnn(n1), rdnn(n6)))))], (2444 ^ _98735) ^ [] : [-(rdn_translate(nn62, rdn_neg(rdn(rdnn(n2), rdnn(n6)))))], (2446 ^ _98735) ^ [] : [-(rdn_translate(nn63, rdn_neg(rdn(rdnn(n3), rdnn(n6)))))], (2448 ^ _98735) ^ [] : [-(rdn_translate(nn64, rdn_neg(rdn(rdnn(n4), rdnn(n6)))))], (2450 ^ _98735) ^ [] : [-(rdn_translate(nn65, rdn_neg(rdn(rdnn(n5), rdnn(n6)))))], (2452 ^ _98735) ^ [] : [-(rdn_translate(nn66, rdn_neg(rdn(rdnn(n6), rdnn(n6)))))], (2454 ^ _98735) ^ [] : [-(rdn_translate(nn67, rdn_neg(rdn(rdnn(n7), rdnn(n6)))))], (2456 ^ _98735) ^ [] : [-(rdn_translate(nn68, rdn_neg(rdn(rdnn(n8), rdnn(n6)))))], (2458 ^ _98735) ^ [] : [-(rdn_translate(nn69, rdn_neg(rdn(rdnn(n9), rdnn(n6)))))], (2460 ^ _98735) ^ [] : [-(rdn_translate(nn70, rdn_neg(rdn(rdnn(n0), rdnn(n7)))))], (2462 ^ _98735) ^ [] : [-(rdn_translate(nn71, rdn_neg(rdn(rdnn(n1), rdnn(n7)))))], (2464 ^ _98735) ^ [] : [-(rdn_translate(nn72, rdn_neg(rdn(rdnn(n2), rdnn(n7)))))], (2466 ^ _98735) ^ [] : [-(rdn_translate(nn73, rdn_neg(rdn(rdnn(n3), rdnn(n7)))))], (2468 ^ _98735) ^ [] : [-(rdn_translate(nn74, rdn_neg(rdn(rdnn(n4), rdnn(n7)))))], (2470 ^ _98735) ^ [] : [-(rdn_translate(nn75, rdn_neg(rdn(rdnn(n5), rdnn(n7)))))], (2472 ^ _98735) ^ [] : [-(rdn_translate(nn76, rdn_neg(rdn(rdnn(n6), rdnn(n7)))))], (2474 ^ _98735) ^ [] : [-(rdn_translate(nn77, rdn_neg(rdn(rdnn(n7), rdnn(n7)))))], (2476 ^ _98735) ^ [] : [-(rdn_translate(nn78, rdn_neg(rdn(rdnn(n8), rdnn(n7)))))], (2478 ^ _98735) ^ [] : [-(rdn_translate(nn79, rdn_neg(rdn(rdnn(n9), rdnn(n7)))))], (2480 ^ _98735) ^ [] : [-(rdn_translate(nn80, rdn_neg(rdn(rdnn(n0), rdnn(n8)))))], (2482 ^ _98735) ^ [] : [-(rdn_translate(nn81, rdn_neg(rdn(rdnn(n1), rdnn(n8)))))], (2484 ^ _98735) ^ [] : [-(rdn_translate(nn82, rdn_neg(rdn(rdnn(n2), rdnn(n8)))))], (2486 ^ _98735) ^ [] : [-(rdn_translate(nn83, rdn_neg(rdn(rdnn(n3), rdnn(n8)))))], (2488 ^ _98735) ^ [] : [-(rdn_translate(nn84, rdn_neg(rdn(rdnn(n4), rdnn(n8)))))], (2490 ^ _98735) ^ [] : [-(rdn_translate(nn85, rdn_neg(rdn(rdnn(n5), rdnn(n8)))))], (2492 ^ _98735) ^ [] : [-(rdn_translate(nn86, rdn_neg(rdn(rdnn(n6), rdnn(n8)))))], (2494 ^ _98735) ^ [] : [-(rdn_translate(nn87, rdn_neg(rdn(rdnn(n7), rdnn(n8)))))], (2496 ^ _98735) ^ [] : [-(rdn_translate(nn88, rdn_neg(rdn(rdnn(n8), rdnn(n8)))))], (2498 ^ _98735) ^ [] : [-(rdn_translate(nn89, rdn_neg(rdn(rdnn(n9), rdnn(n8)))))], (2500 ^ _98735) ^ [] : [-(rdn_translate(nn90, rdn_neg(rdn(rdnn(n0), rdnn(n9)))))], (2502 ^ _98735) ^ [] : [-(rdn_translate(nn91, rdn_neg(rdn(rdnn(n1), rdnn(n9)))))], (2504 ^ _98735) ^ [] : [-(rdn_translate(nn92, rdn_neg(rdn(rdnn(n2), rdnn(n9)))))], (2506 ^ _98735) ^ [] : [-(rdn_translate(nn93, rdn_neg(rdn(rdnn(n3), rdnn(n9)))))], (2508 ^ _98735) ^ [] : [-(rdn_translate(nn94, rdn_neg(rdn(rdnn(n4), rdnn(n9)))))], (2510 ^ _98735) ^ [] : [-(rdn_translate(nn95, rdn_neg(rdn(rdnn(n5), rdnn(n9)))))], (2512 ^ _98735) ^ [] : [-(rdn_translate(nn96, rdn_neg(rdn(rdnn(n6), rdnn(n9)))))], (2514 ^ _98735) ^ [] : [-(rdn_translate(nn97, rdn_neg(rdn(rdnn(n7), rdnn(n9)))))], (2516 ^ _98735) ^ [] : [-(rdn_translate(nn98, rdn_neg(rdn(rdnn(n8), rdnn(n9)))))], (2518 ^ _98735) ^ [] : [-(rdn_translate(nn99, rdn_neg(rdn(rdnn(n9), rdnn(n9)))))], (2520 ^ _98735) ^ [] : [-(rdn_translate(nn100, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))], (2522 ^ _98735) ^ [] : [-(rdn_translate(nn101, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n0), rdnn(n1))))))], (2524 ^ _98735) ^ [] : [-(rdn_translate(nn102, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n0), rdnn(n1))))))], (2526 ^ _98735) ^ [] : [-(rdn_translate(nn103, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n0), rdnn(n1))))))], (2528 ^ _98735) ^ [] : [-(rdn_translate(nn104, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n0), rdnn(n1))))))], (2530 ^ _98735) ^ [] : [-(rdn_translate(nn105, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n0), rdnn(n1))))))], (2532 ^ _98735) ^ [] : [-(rdn_translate(nn106, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n0), rdnn(n1))))))], (2534 ^ _98735) ^ [] : [-(rdn_translate(nn107, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n0), rdnn(n1))))))], (2536 ^ _98735) ^ [] : [-(rdn_translate(nn108, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n0), rdnn(n1))))))], (2538 ^ _98735) ^ [] : [-(rdn_translate(nn109, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n0), rdnn(n1))))))], (2540 ^ _98735) ^ [] : [-(rdn_translate(nn110, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n1), rdnn(n1))))))], (2542 ^ _98735) ^ [] : [-(rdn_translate(nn111, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n1), rdnn(n1))))))], (2544 ^ _98735) ^ [] : [-(rdn_translate(nn112, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n1), rdnn(n1))))))], (2546 ^ _98735) ^ [] : [-(rdn_translate(nn113, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n1), rdnn(n1))))))], (2548 ^ _98735) ^ [] : [-(rdn_translate(nn114, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n1), rdnn(n1))))))], (2550 ^ _98735) ^ [] : [-(rdn_translate(nn115, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n1), rdnn(n1))))))], (2552 ^ _98735) ^ [] : [-(rdn_translate(nn116, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n1), rdnn(n1))))))], (2554 ^ _98735) ^ [] : [-(rdn_translate(nn117, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n1), rdnn(n1))))))], (2556 ^ _98735) ^ [] : [-(rdn_translate(nn118, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n1), rdnn(n1))))))], (2558 ^ _98735) ^ [] : [-(rdn_translate(nn119, rdn_neg(rdn(rdnn(n9), rdn(rdnn(n1), rdnn(n1))))))], (2560 ^ _98735) ^ [] : [-(rdn_translate(nn120, rdn_neg(rdn(rdnn(n0), rdn(rdnn(n2), rdnn(n1))))))], (2562 ^ _98735) ^ [] : [-(rdn_translate(nn121, rdn_neg(rdn(rdnn(n1), rdn(rdnn(n2), rdnn(n1))))))], (2564 ^ _98735) ^ [] : [-(rdn_translate(nn122, rdn_neg(rdn(rdnn(n2), rdn(rdnn(n2), rdnn(n1))))))], (2566 ^ _98735) ^ [] : [-(rdn_translate(nn123, rdn_neg(rdn(rdnn(n3), rdn(rdnn(n2), rdnn(n1))))))], (2568 ^ _98735) ^ [] : [-(rdn_translate(nn124, rdn_neg(rdn(rdnn(n4), rdn(rdnn(n2), rdnn(n1))))))], (2570 ^ _98735) ^ [] : [-(rdn_translate(nn125, rdn_neg(rdn(rdnn(n5), rdn(rdnn(n2), rdnn(n1))))))], (2572 ^ _98735) ^ [] : [-(rdn_translate(nn126, rdn_neg(rdn(rdnn(n6), rdn(rdnn(n2), rdnn(n1))))))], (2574 ^ _98735) ^ [] : [-(rdn_translate(nn127, rdn_neg(rdn(rdnn(n7), rdn(rdnn(n2), rdnn(n1))))))], (2576 ^ _98735) ^ [] : [-(rdn_translate(nn128, rdn_neg(rdn(rdnn(n8), rdn(rdnn(n2), rdnn(n1))))))], (2578 ^ _98735) ^ [] : [-(rdn_non_zero_digit(rdnn(n1)))], (2580 ^ _98735) ^ [] : [-(rdn_non_zero_digit(rdnn(n2)))], (2582 ^ _98735) ^ [] : [-(rdn_non_zero_digit(rdnn(n3)))], (2584 ^ _98735) ^ [] : [-(rdn_non_zero_digit(rdnn(n4)))], (2586 ^ _98735) ^ [] : [-(rdn_non_zero_digit(rdnn(n5)))], (2588 ^ _98735) ^ [] : [-(rdn_non_zero_digit(rdnn(n6)))], (2590 ^ _98735) ^ [] : [-(rdn_non_zero_digit(rdnn(n7)))], (2592 ^ _98735) ^ [] : [-(rdn_non_zero_digit(rdnn(n8)))], (2594 ^ _98735) ^ [] : [-(rdn_non_zero_digit(rdnn(n9)))], (2596 ^ _98735) ^ [] : [-(rdn_positive_less(rdnn(n0), rdnn(n1)))], (2598 ^ _98735) ^ [] : [-(rdn_positive_less(rdnn(n1), rdnn(n2)))], (2600 ^ _98735) ^ [] : [-(rdn_positive_less(rdnn(n2), rdnn(n3)))], (2602 ^ _98735) ^ [] : [-(rdn_positive_less(rdnn(n3), rdnn(n4)))], (2604 ^ _98735) ^ [] : [-(rdn_positive_less(rdnn(n4), rdnn(n5)))], (2606 ^ _98735) ^ [] : [-(rdn_positive_less(rdnn(n5), rdnn(n6)))], (2608 ^ _98735) ^ [] : [-(rdn_positive_less(rdnn(n6), rdnn(n7)))], (2610 ^ _98735) ^ [] : [-(rdn_positive_less(rdnn(n7), rdnn(n8)))], (2612 ^ _98735) ^ [] : [-(rdn_positive_less(rdnn(n8), rdnn(n9)))], (2614 ^ _98735) ^ [_173467, _173469, _173471] : [-(rdn_positive_less(rdnn(_173471), rdnn(_173467))), rdn_positive_less(rdnn(_173471), rdnn(_173469)), rdn_positive_less(rdnn(_173469), rdnn(_173467))], (2624 ^ _98735) ^ [_173828, _173830, _173832, _173834] : [rdn_positive_less(_173832, _173828), -(rdn_positive_less(rdn(rdnn(_173834), _173832), rdn(rdnn(_173830), _173828)))], (2630 ^ _98735) ^ [_174084, _174086, _174088] : [-(rdn_positive_less(rdn(rdnn(_174088), _174086), rdn(rdnn(_174084), _174086))), rdn_positive_less(rdnn(_174088), rdnn(_174084)), rdn_non_zero(_174086)], (2640 ^ _98735) ^ [_174433, _174435, _174437] : [rdn_non_zero(_174433), -(rdn_positive_less(rdnn(_174437), rdn(rdnn(_174435), _174433)))], (2646 ^ _98735) ^ [_174647] : [rdn_non_zero_digit(rdnn(_174647)), -(rdn_non_zero(rdnn(_174647)))], (2652 ^ _98735) ^ [_174855, _174857] : [rdn_non_zero(_174855), -(rdn_non_zero(rdn(rdnn(_174857), _174855)))], (2658 ^ _98735) ^ [_175099, _175101, _175103, _175105] : [-(less(_175105, _175103)), rdn_translate(_175105, rdn_pos(_175101)), rdn_translate(_175103, rdn_pos(_175099)), rdn_positive_less(_175101, _175099)], (2672 ^ _98735) ^ [_175551, _175553, _175555, _175557] : [-(less(_175557, _175555)), rdn_translate(_175557, rdn_neg(_175553)), rdn_translate(_175555, rdn_pos(_175551))], (2682 ^ _98735) ^ [_175906, _175908, _175910, _175912] : [-(less(_175912, _175910)), rdn_translate(_175912, rdn_neg(_175908)), rdn_translate(_175910, rdn_neg(_175906)), rdn_positive_less(_175906, _175908)], (2696 ^ _98735) ^ [_176359, _176361] : [less(_176361, _176359), 2699 ^ _98735 : [(2700 ^ _98735) ^ [] : [less(_176359, _176361)], (2702 ^ _98735) ^ [] : [_176359 = _176361]]], (2704 ^ _98735) ^ [_176598, _176600] : [-(less(_176600, _176598)), -(less(_176598, _176600)), -(_176598 = _176600)], (2732 ^ _98735) ^ [_177466, _177468, _177470] : [-(less_or_equal(_177466, _177470)), sum(_177470, n1, _177468), less(_177466, _177468)], (2724 ^ _98735) ^ [_177186, _177188] : [2725 ^ _98735 : [(2726 ^ _98735) ^ [] : [less(_177188, _177186)], (2728 ^ _98735) ^ [] : [_177188 = _177186]], -(less_or_equal(_177188, _177186))], (2714 ^ _98735) ^ [_176934, _176936] : [less_or_equal(_176936, _176934), -(less(_176936, _176934)), -(_176936 = _176934)], (292 ^ _98735) ^ [_108624, _108626, _108628, _108630] : [accept_team(_108630, _108624, _108628, _108626), 295 ^ _98735 : [(296 ^ _98735) ^ [] : [-(accept_city(_108630, _108628))], (298 ^ _98735) ^ [] : [-(accept_leader(_108630, _108624))], (300 ^ _98735) ^ [] : [-(accept_number(_108630, _108626))]]], (302 ^ _98735) ^ [_108959, _108961, _108963, _108965] : [-(accept_team(_108965, _108959, _108963, _108961)), accept_city(_108965, _108963), accept_leader(_108965, _108959), accept_number(_108965, _108961)], (316 ^ _98735) ^ [_109395, _109397, _109399] : [-(accept_number(_109399, _109395)), accept_number(_109399, _109397), less(_109395, _109397)], (326 ^ _98735) ^ [_109732, _109734, _109736, _109738] : [-(accept_population(_109738, _109732, _109734)), accept_population(_109738, _109732, _109736), less(_109734, _109736)], (336 ^ _98735) ^ [_110069, _110071, _110073] : [the_agent_in_all_proposed_teams(_110073, _110071, _110069), 339 ^ _98735 : [(340 ^ _98735) ^ [] : [-(accept_leader(_110073, _110071))], (342 ^ _98735) ^ [] : [-(accept_city(_110073, _110069))]]], (344 ^ _98735) ^ [_110378, _110380, _110382] : [any_agent_in_all_proposed_teams(_110382, _110380, _110378), -(accept_leader(_110382, _110380))], (350 ^ _98735) ^ [_110610, _110612, _110614] : [the_agent_not_in_any_proposed_teams(_110614, _110612, _110610), accept_city(_110614, _110610), accept_leader(_110614, _110612)], (360 ^ _98735) ^ [_110922, _110924] : [min_number_of_proposed_agents(_110924, _110922), -(accept_number(_110924, _110922))], (388 ^ _98735) ^ [_111653] : [accept_city(_111653, suffertown), 391 ^ _98735 : [(392 ^ _98735) ^ [] : [-(accept_population(_111653, atheist, n65))], (394 ^ _98735) ^ [] : [-(accept_population(_111653, christian, n20))], (396 ^ _98735) ^ [] : [-(accept_population(_111653, muslim, n7))], (398 ^ _98735) ^ [] : [-(accept_population(_111653, native, n4))], (400 ^ _98735) ^ [] : [-(accept_population(_111653, other, n4))]]], (366 ^ _98735) ^ [_111147] : [-(accept_city(_111147, suffertown)), accept_population(_111147, atheist, n65), accept_population(_111147, christian, n20), accept_population(_111147, muslim, n7), accept_population(_111147, native, n4), accept_population(_111147, other, n4)], (424 ^ _98735) ^ [_112679] : [accept_city(_112679, centraltown), 427 ^ _98735 : [(428 ^ _98735) ^ [] : [-(accept_population(_112679, atheist, n54))], (430 ^ _98735) ^ [] : [-(accept_population(_112679, christian, n23))], (432 ^ _98735) ^ [] : [-(accept_population(_112679, muslim, n3))], (434 ^ _98735) ^ [] : [-(accept_population(_112679, native, n1))], (436 ^ _98735) ^ [] : [-(accept_population(_112679, other, n9))]]], (402 ^ _98735) ^ [_112173] : [-(accept_city(_112173, centraltown)), accept_population(_112173, atheist, n54), accept_population(_112173, christian, n23), accept_population(_112173, muslim, n3), accept_population(_112173, native, n1), accept_population(_112173, other, n9)], (460 ^ _98735) ^ [_113705] : [accept_city(_113705, sunnysideport), 463 ^ _98735 : [(464 ^ _98735) ^ [] : [-(accept_population(_113705, atheist, n30))], (466 ^ _98735) ^ [] : [-(accept_population(_113705, christian, n8))], (468 ^ _98735) ^ [] : [-(accept_population(_113705, muslim, n60))], (470 ^ _98735) ^ [] : [-(accept_population(_113705, native, n1))], (472 ^ _98735) ^ [] : [-(accept_population(_113705, other, n1))]]], (438 ^ _98735) ^ [_113199] : [-(accept_city(_113199, sunnysideport)), accept_population(_113199, atheist, n30), accept_population(_113199, christian, n8), accept_population(_113199, muslim, n60), accept_population(_113199, native, n1), accept_population(_113199, other, n1)], (496 ^ _98735) ^ [_114731] : [accept_city(_114731, centrallakecity), 499 ^ _98735 : [(500 ^ _98735) ^ [] : [-(accept_population(_114731, atheist, n70))], (502 ^ _98735) ^ [] : [-(accept_population(_114731, christian, n15))], (504 ^ _98735) ^ [] : [-(accept_population(_114731, muslim, n1))], (506 ^ _98735) ^ [] : [-(accept_population(_114731, native, n10))], (508 ^ _98735) ^ [] : [-(accept_population(_114731, other, n4))]]], (474 ^ _98735) ^ [_114225] : [-(accept_city(_114225, centrallakecity)), accept_population(_114225, atheist, n70), accept_population(_114225, christian, n15), accept_population(_114225, muslim, n1), accept_population(_114225, native, n10), accept_population(_114225, other, n4)], (532 ^ _98735) ^ [_115757] : [accept_city(_115757, stjosephburgh), 535 ^ _98735 : [(536 ^ _98735) ^ [] : [-(accept_population(_115757, atheist, n68))], (538 ^ _98735) ^ [] : [-(accept_population(_115757, christian, n16))], (540 ^ _98735) ^ [] : [-(accept_population(_115757, muslim, n1))], (542 ^ _98735) ^ [] : [-(accept_population(_115757, native, n11))], (544 ^ _98735) ^ [] : [-(accept_population(_115757, other, n4))]]], (510 ^ _98735) ^ [_115251] : [-(accept_city(_115251, stjosephburgh)), accept_population(_115251, atheist, n68), accept_population(_115251, christian, n16), accept_population(_115251, muslim, n1), accept_population(_115251, native, n11), accept_population(_115251, other, n4)], (568 ^ _98735) ^ [_116783] : [accept_city(_116783, northport), 571 ^ _98735 : [(572 ^ _98735) ^ [] : [-(accept_population(_116783, atheist, n70))], (574 ^ _98735) ^ [] : [-(accept_population(_116783, christian, n13))], (576 ^ _98735) ^ [] : [-(accept_population(_116783, muslim, n0))], (578 ^ _98735) ^ [] : [-(accept_population(_116783, native, n15))], (580 ^ _98735) ^ [] : [-(accept_population(_116783, other, n2))]]], (546 ^ _98735) ^ [_116277] : [-(accept_city(_116277, northport)), accept_population(_116277, atheist, n70), accept_population(_116277, christian, n13), accept_population(_116277, muslim, n0), accept_population(_116277, native, n15), accept_population(_116277, other, n2)], (604 ^ _98735) ^ [_117809] : [accept_city(_117809, coastvillage), 607 ^ _98735 : [(608 ^ _98735) ^ [] : [-(accept_population(_117809, atheist, n12))], (610 ^ _98735) ^ [] : [-(accept_population(_117809, christian, n3))], (612 ^ _98735) ^ [] : [-(accept_population(_117809, muslim, n0))], (614 ^ _98735) ^ [] : [-(accept_population(_117809, native, n85))], (616 ^ _98735) ^ [] : [-(accept_population(_117809, other, n0))]]], (582 ^ _98735) ^ [_117303] : [-(accept_city(_117303, coastvillage)), accept_population(_117303, atheist, n12), accept_population(_117303, christian, n3), accept_population(_117303, muslim, n0), accept_population(_117303, native, n85), accept_population(_117303, other, n0)], (640 ^ _98735) ^ [_118835] : [accept_city(_118835, sunsetpoint), 643 ^ _98735 : [(644 ^ _98735) ^ [] : [-(accept_population(_118835, atheist, n0))], (646 ^ _98735) ^ [] : [-(accept_population(_118835, christian, n0))], (648 ^ _98735) ^ [] : [-(accept_population(_118835, muslim, n0))], (650 ^ _98735) ^ [] : [-(accept_population(_118835, native, n100))], (652 ^ _98735) ^ [] : [-(accept_population(_118835, other, n0))]]], (618 ^ _98735) ^ [_118329] : [-(accept_city(_118329, sunsetpoint)), accept_population(_118329, atheist, n0), accept_population(_118329, christian, n0), accept_population(_118329, muslim, n0), accept_population(_118329, native, n100), accept_population(_118329, other, n0)], (676 ^ _98735) ^ [_119861] : [accept_city(_119861, towna), 679 ^ _98735 : [(680 ^ _98735) ^ [] : [-(accept_population(_119861, atheist, n75))], (682 ^ _98735) ^ [] : [-(accept_population(_119861, christian, n24))], (684 ^ _98735) ^ [] : [-(accept_population(_119861, muslim, n1))], (686 ^ _98735) ^ [] : [-(accept_population(_119861, native, n0))], (688 ^ _98735) ^ [] : [-(accept_population(_119861, other, n0))]]], (654 ^ _98735) ^ [_119355] : [-(accept_city(_119355, towna)), accept_population(_119355, atheist, n75), accept_population(_119355, christian, n24), accept_population(_119355, muslim, n1), accept_population(_119355, native, n0), accept_population(_119355, other, n0)], (712 ^ _98735) ^ [_120887] : [accept_city(_120887, citya), 715 ^ _98735 : [(716 ^ _98735) ^ [] : [-(accept_population(_120887, atheist, n75))], (718 ^ _98735) ^ [] : [-(accept_population(_120887, christian, n25))], (720 ^ _98735) ^ [] : [-(accept_population(_120887, muslim, n0))], (722 ^ _98735) ^ [] : [-(accept_population(_120887, native, n0))], (724 ^ _98735) ^ [] : [-(accept_population(_120887, other, n0))]]], (690 ^ _98735) ^ [_120381] : [-(accept_city(_120381, citya)), accept_population(_120381, atheist, n75), accept_population(_120381, christian, n25), accept_population(_120381, muslim, n0), accept_population(_120381, native, n0), accept_population(_120381, other, n0)], (748 ^ _98735) ^ [_121913] : [accept_city(_121913, townb), 751 ^ _98735 : [(752 ^ _98735) ^ [] : [-(accept_population(_121913, atheist, n70))], (754 ^ _98735) ^ [] : [-(accept_population(_121913, christian, n20))], (756 ^ _98735) ^ [] : [-(accept_population(_121913, muslim, n8))], (758 ^ _98735) ^ [] : [-(accept_population(_121913, native, n0))], (760 ^ _98735) ^ [] : [-(accept_population(_121913, other, n2))]]], (726 ^ _98735) ^ [_121407] : [-(accept_city(_121407, townb)), accept_population(_121407, atheist, n70), accept_population(_121407, christian, n20), accept_population(_121407, muslim, n8), accept_population(_121407, native, n0), accept_population(_121407, other, n2)], (784 ^ _98735) ^ [_122939] : [accept_city(_122939, cityb), 787 ^ _98735 : [(788 ^ _98735) ^ [] : [-(accept_population(_122939, atheist, n78))], (790 ^ _98735) ^ [] : [-(accept_population(_122939, christian, n20))], (792 ^ _98735) ^ [] : [-(accept_population(_122939, muslim, n1))], (794 ^ _98735) ^ [] : [-(accept_population(_122939, native, n0))], (796 ^ _98735) ^ [] : [-(accept_population(_122939, other, n1))]]], (762 ^ _98735) ^ [_122433] : [-(accept_city(_122433, cityb)), accept_population(_122433, atheist, n78), accept_population(_122433, christian, n20), accept_population(_122433, muslim, n1), accept_population(_122433, native, n0), accept_population(_122433, other, n1)], (820 ^ _98735) ^ [_123945] : [accept_city(_123945, townc), 823 ^ _98735 : [(824 ^ _98735) ^ [] : [-(accept_population(_123945, atheist, n30))], (826 ^ _98735) ^ [] : [-(accept_population(_123945, christian, n0))], (828 ^ _98735) ^ [] : [-(accept_population(_123945, muslim, n65))], (830 ^ _98735) ^ [] : [-(accept_population(_123945, native, n0))], (832 ^ _98735) ^ [] : [-(accept_population(_123945, other, n5))]]], (798 ^ _98735) ^ [_123439] : [-(accept_city(_123439, townc)), accept_population(_123439, atheist, n30), accept_population(_123439, christian, n0), accept_population(_123439, muslim, n65), accept_population(_123439, native, n0), accept_population(_123439, other, n5)]], input).
% 26.15/26.25  ncf('1',plain,[accept_city(countryamedicalorganization, coastvillage)],start(1356 ^ 0)).
% 26.15/26.25  ncf('1.1',plain,[-(accept_city(countryamedicalorganization, coastvillage)), accept_population(countryamedicalorganization, atheist, n12), accept_population(countryamedicalorganization, christian, n3), accept_population(countryamedicalorganization, muslim, n0), accept_population(countryamedicalorganization, native, n85), accept_population(countryamedicalorganization, other, n0)],extension(582 ^ 1,bind([[_117303], [countryamedicalorganization]]))).
% 26.15/26.25  ncf('1.1.1',plain,[-(accept_population(countryamedicalorganization, atheist, n12)), accept_population(countryamedicalorganization, atheist, n100), less(n12, n100)],extension(326 ^ 2,bind([[_109732, _109734, _109736, _109738], [atheist, n12, n100, countryamedicalorganization]]))).
% 26.15/26.25  ncf('1.1.1.1',plain,[-(accept_population(countryamedicalorganization, atheist, n100))],extension(2742 ^ 3,bind([[_181408, _181410], [atheist, countryamedicalorganization]]))).
% 26.15/26.25  ncf('1.1.1.2',plain,[-(less(n12, n100)), rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))), rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdn(rdnn(n2), rdnn(n1)), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))],extension(2658 ^ 3,bind([[_175099, _175101, _175103, _175105], [rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))), rdn(rdnn(n2), rdnn(n1)), n100, n12]]))).
% 26.15/26.25  ncf('1.1.1.2.1',plain,[-(rdn_translate(n12, rdn_pos(rdn(rdnn(n2), rdnn(n1)))))],extension(2090 ^ 4)).
% 26.15/26.25  ncf('1.1.1.2.2',plain,[-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))],extension(2266 ^ 4)).
% 26.15/26.25  ncf('1.1.1.2.3',plain,[-(rdn_positive_less(rdn(rdnn(n2), rdnn(n1)), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdnn(n1), rdn(rdnn(n0), rdnn(n1)))],extension(2624 ^ 4,bind([[_173828, _173830, _173832, _173834], [rdn(rdnn(n0), rdnn(n1)), n0, rdnn(n1), n2]]))).
% 26.15/26.25  ncf('1.1.1.2.3.1',plain,[-(rdn_positive_less(rdnn(n1), rdn(rdnn(n0), rdnn(n1)))), rdn_non_zero(rdnn(n1))],extension(2640 ^ 5,bind([[_174433, _174435, _174437], [rdnn(n1), n0, n1]]))).
% 26.15/26.25  ncf('1.1.1.2.3.1.1',plain,[-(rdn_non_zero(rdnn(n1))), rdn_non_zero_digit(rdnn(n1))],extension(2646 ^ 6,bind([[_174647], [n1]]))).
% 26.15/26.25  ncf('1.1.1.2.3.1.1.1',plain,[-(rdn_non_zero_digit(rdnn(n1)))],extension(2578 ^ 7)).
% 26.15/26.25  ncf('1.1.2',plain,[-(accept_population(countryamedicalorganization, christian, n3)), accept_population(countryamedicalorganization, christian, n100), less(n3, n100)],extension(326 ^ 2,bind([[_109732, _109734, _109736, _109738], [christian, n3, n100, countryamedicalorganization]]))).
% 26.15/26.25  ncf('1.1.2.1',plain,[-(accept_population(countryamedicalorganization, christian, n100))],extension(2742 ^ 3,bind([[_181408, _181410], [christian, countryamedicalorganization]]))).
% 26.15/26.25  ncf('1.1.2.2',plain,[-(less(n3, n100)), rdn_translate(n3, rdn_pos(rdnn(n3))), rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdnn(n3), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))],extension(2658 ^ 3,bind([[_175099, _175101, _175103, _175105], [rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))), rdnn(n3), n100, n3]]))).
% 26.15/26.25  ncf('1.1.2.2.1',plain,[-(rdn_translate(n3, rdn_pos(rdnn(n3))))],extension(2072 ^ 4)).
% 26.15/26.25  ncf('1.1.2.2.2',plain,[-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))],extension(2266 ^ 4)).
% 26.15/26.25  ncf('1.1.2.2.3',plain,[-(rdn_positive_less(rdnn(n3), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_non_zero(rdn(rdnn(n0), rdnn(n1)))],extension(2640 ^ 4,bind([[_174433, _174435, _174437], [rdn(rdnn(n0), rdnn(n1)), n0, n3]]))).
% 26.15/26.25  ncf('1.1.2.2.3.1',plain,[-(rdn_non_zero(rdn(rdnn(n0), rdnn(n1)))), rdn_non_zero(rdnn(n1))],extension(2652 ^ 5,bind([[_174855, _174857], [rdnn(n1), n0]]))).
% 26.15/26.25  ncf('1.1.2.2.3.1.1',plain,[-(rdn_non_zero(rdnn(n1))), rdn_non_zero_digit(rdnn(n1))],extension(2646 ^ 6,bind([[_174647], [n1]]))).
% 26.15/26.25  ncf('1.1.2.2.3.1.1.1',plain,[-(rdn_non_zero_digit(rdnn(n1)))],extension(2578 ^ 7)).
% 26.15/26.25  ncf('1.1.3',plain,[-(accept_population(countryamedicalorganization, muslim, n0)), accept_population(countryamedicalorganization, muslim, n100), less(n0, n100)],extension(326 ^ 2,bind([[_109732, _109734, _109736, _109738], [muslim, n0, n100, countryamedicalorganization]]))).
% 26.15/26.25  ncf('1.1.3.1',plain,[-(accept_population(countryamedicalorganization, muslim, n100))],extension(2742 ^ 3,bind([[_181408, _181410], [muslim, countryamedicalorganization]]))).
% 26.15/26.25  ncf('1.1.3.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(2658 ^ 3,bind([[_175099, _175101, _175103, _175105], [rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))), rdnn(n0), n100, n0]]))).
% 26.15/26.25  ncf('1.1.3.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([[_104514, _104516, _104518, _104520], [rdn_pos(rdnn(n0)), rdn_pos(rdnn(n0)), n0, n0]]))).
% 26.15/26.25  ncf('1.1.3.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([[_104514, _104516, _104518, _104520], [rdn_pos(rdnn(n0)), rdn_pos(rdnn(n0)), n0, n0]]))).
% 26.15/26.25  ncf('1.1.3.2.1.1.1',plain,[-(rdn_translate(n0, rdn_pos(rdnn(n0))))],extension(2066 ^ 6)).
% 26.15/26.25  ncf('1.1.3.2.1.1.2',plain,[-(n0 = n0)],extension(2 ^ 6,bind([[_98879], [n0]]))).
% 26.15/26.25  ncf('1.1.3.2.1.1.3',plain,[-(rdn_pos(rdnn(n0)) = rdn_pos(rdnn(n0)))],extension(2 ^ 6,bind([[_98879], [rdn_pos(rdnn(n0))]]))).
% 26.15/26.25  ncf('1.1.3.2.1.2',plain,[-(n0 = n0)],extension(2 ^ 5,bind([[_98879], [n0]]))).
% 26.15/26.25  ncf('1.1.3.2.1.3',plain,[-(rdn_pos(rdnn(n0)) = rdn_pos(rdnn(n0))), rdnn(n0) = rdnn(n0)],extension(280 ^ 5,bind([[_108113, _108115], [rdnn(n0), rdnn(n0)]]))).
% 26.15/26.25  ncf('1.1.3.2.1.3.1',plain,[-(rdnn(n0) = rdnn(n0))],extension(2 ^ 6,bind([[_98879], [rdnn(n0)]]))).
% 26.15/26.25  ncf('1.1.3.2.2',plain,[-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))],extension(2266 ^ 4)).
% 26.15/26.25  ncf('1.1.3.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(2640 ^ 4,bind([[_174433, _174435, _174437], [rdn(rdnn(n0), rdnn(n1)), n0, n0]]))).
% 26.15/26.25  ncf('1.1.3.2.3.1',plain,[-(rdn_non_zero(rdn(rdnn(n0), rdnn(n1)))), rdn_non_zero(rdnn(n1))],extension(2652 ^ 5,bind([[_174855, _174857], [rdnn(n1), n0]]))).
% 26.15/26.25  ncf('1.1.3.2.3.1.1',plain,[-(rdn_non_zero(rdnn(n1))), rdn_non_zero_digit(rdnn(n1))],extension(2646 ^ 6,bind([[_174647], [n1]]))).
% 26.15/26.25  ncf('1.1.3.2.3.1.1.1',plain,[-(rdn_non_zero_digit(rdnn(n1)))],extension(2578 ^ 7)).
% 26.15/26.25  ncf('1.1.4',plain,[-(accept_population(countryamedicalorganization, native, n85)), accept_population(countryamedicalorganization, native, n100), less(n85, n100)],extension(326 ^ 2,bind([[_109732, _109734, _109736, _109738], [native, n85, n100, countryamedicalorganization]]))).
% 26.15/26.25  ncf('1.1.4.1',plain,[-(accept_population(countryamedicalorganization, native, n100))],extension(2742 ^ 3,bind([[_181408, _181410], [native, countryamedicalorganization]]))).
% 26.15/26.25  ncf('1.1.4.2',plain,[-(less(n85, n100)), rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))), rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdn(rdnn(n5), rdnn(n8)), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))],extension(2658 ^ 3,bind([[_175099, _175101, _175103, _175105], [rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))), rdn(rdnn(n5), rdnn(n8)), n100, n85]]))).
% 26.15/26.25  ncf('1.1.4.2.1',plain,[-(rdn_translate(n85, rdn_pos(rdn(rdnn(n5), rdnn(n8)))))],extension(2236 ^ 4)).
% 26.15/26.25  ncf('1.1.4.2.2',plain,[-(rdn_translate(n100, rdn_pos(rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))))],extension(2266 ^ 4)).
% 26.15/26.25  ncf('1.1.4.2.3',plain,[-(rdn_positive_less(rdn(rdnn(n5), rdnn(n8)), rdn(rdnn(n0), rdn(rdnn(n0), rdnn(n1))))), rdn_positive_less(rdnn(n8), rdn(rdnn(n0), rdnn(n1)))],extension(2624 ^ 4,bind([[_173828, _173830, _173832, _173834], [rdn(rdnn(n0), rdnn(n1)), n0, rdnn(n8), n5]]))).
% 26.15/26.25  ncf('1.1.4.2.3.1',plain,[-(rdn_positive_less(rdnn(n8), rdn(rdnn(n0), rdnn(n1)))), rdn_non_zero(rdnn(n1))],extension(2640 ^ 5,bind([[_174433, _174435, _174437], [rdnn(n1), n0, n8]]))).
% 26.15/26.25  ncf('1.1.4.2.3.1.1',plain,[-(rdn_non_zero(rdnn(n1))), rdn_non_zero_digit(rdnn(n1))],extension(2646 ^ 6,bind([[_174647], [n1]]))).
% 26.15/26.25  ncf('1.1.4.2.3.1.1.1',plain,[-(rdn_non_zero_digit(rdnn(n1)))],extension(2578 ^ 7)).
% 26.15/26.25  ncf('1.1.5',plain,[-(accept_population(countryamedicalorganization, other, n0))],extension(1770 ^ 2)).
% 26.15/26.25  %-----------------------------------------------------
% 26.15/26.25  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------