%------------------------------------------------------------------------------ % File : Beagle---0.9.52 % Problem : AGT042+1 : TPTP v9.0.0. Released v6.4.0. % Transfm : none % Format : tptp:raw % Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s % Computer : n003.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 : Wed Apr 9 05:23:13 PM UTC 2025 % Result : Satisfiable 26.28s 11.44s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.05/0.13 % Problem : AGT042+1 : TPTP v9.0.0. Released v6.4.0. % 0.05/0.14 % Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s % 0.14/0.36 % Computer : n003.cluster.edu % 0.14/0.36 % Model : x86_64 x86_64 % 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.36 % Memory : 8042.1875MB % 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.36 % CPULimit : 300 % 0.14/0.36 % WCLimit : 300 % 0.14/0.36 % DateTime : Sun Apr 6 06:51:48 EDT 2025 % 0.14/0.36 % CPUTime : % 26.28/11.43 % 26.28/11.44 % SZS status Satisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p % 26.28/11.44 % 26.28/11.44 % SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 26.28/11.45 %$ accept_team > the_agent_not_in_any_proposed_teams > the_agent_in_all_proposed_teams > any_agent_in_all_proposed_teams > accept_population > min_number_of_proposed_agents > less > accept_number > accept_leader > accept_city > #nlpp > townc > townb > towna > sunsetpoint > sunnysideport > suffertown > sufferterragovernment > stjosephburgh > other > northport > native > n9 > n85 > n8 > n78 > n75 > n70 > n7 > n68 > n65 > n60 > n6 > n54 > n5 > n4 > n30 > n3 > n25 > n24 > n23 > n20 > n2 > n16 > n15 > n13 > n12 > n11 > n100 > n10 > n1 > n0 > muslimcountrybhumanitarianorganization > muslim > countrycmedicalorganization > countryccivilorganization > countrybhumanitarianorganization > countrybcivilorganization > countryamedicalorganization > countryahumanitarianorganization > countryafirstaidorganization > countryacivilorganization > coastvillage > cityb > citya > christiansufferterrahumanitarianorganization > christiancountrychumanitarianorganization > christian > centraltown > centrallakecity > atheist % 26.28/11.45 % 26.28/11.45 %Foreground sorts: % 26.28/11.45 % 26.28/11.45 % 26.28/11.45 %Background operators: % 26.28/11.45 % 26.28/11.45 % 26.28/11.45 %Foreground operators: % 26.28/11.45 tff(n75, type, n75: $i). % 26.28/11.45 tff(any_agent_in_all_proposed_teams, type, any_agent_in_all_proposed_teams: ($i * $i * $i) > $o). % 26.28/11.45 tff(n16, type, n16: $i). % 26.28/11.45 tff(n12, type, n12: $i). % 26.28/11.45 tff(suffertown, type, suffertown: $i). % 26.28/11.45 tff(n78, type, n78: $i). % 26.28/11.45 tff(n24, type, n24: $i). % 26.28/11.45 tff(n60, type, n60: $i). % 26.28/11.45 tff(countrybhumanitarianorganization, type, countrybhumanitarianorganization: $i). % 26.28/11.45 tff(countryafirstaidorganization, type, countryafirstaidorganization: $i). % 26.28/11.45 tff(n68, type, n68: $i). % 26.28/11.45 tff(the_agent_not_in_any_proposed_teams, type, the_agent_not_in_any_proposed_teams: ($i * $i * $i) > $o). % 26.28/11.45 tff(citya, type, citya: $i). % 26.28/11.45 tff(accept_team, type, accept_team: ($i * $i * $i * $i) > $o). % 26.28/11.45 tff(sufferterragovernment, type, sufferterragovernment: $i). % 26.28/11.45 tff(stjosephburgh, type, stjosephburgh: $i). % 26.28/11.45 tff(n23, type, n23: $i). % 26.28/11.45 tff(n8, type, n8: $i). % 26.28/11.45 tff(native, type, native: $i). % 26.28/11.45 tff(northport, type, northport: $i). % 26.28/11.45 tff(countryccivilorganization, type, countryccivilorganization: $i). % 26.28/11.45 tff(n30, type, n30: $i). % 26.28/11.45 tff(centraltown, type, centraltown: $i). % 26.28/11.45 tff(the_agent_in_all_proposed_teams, type, the_agent_in_all_proposed_teams: ($i * $i * $i) > $o). % 26.28/11.45 tff(n9, type, n9: $i). % 26.28/11.45 tff(n54, type, n54: $i). % 26.28/11.45 tff(countrycmedicalorganization, type, countrycmedicalorganization: $i). % 26.28/11.45 tff(n65, type, n65: $i). % 26.28/11.45 tff(accept_population, type, accept_population: ($i * $i * $i) > $o). % 26.28/11.45 tff(centrallakecity, type, centrallakecity: $i). % 26.28/11.45 tff(n3, type, n3: $i). % 26.28/11.45 tff(n85, type, n85: $i). % 26.28/11.45 tff(muslimcountrybhumanitarianorganization, type, muslimcountrybhumanitarianorganization: $i). % 26.28/11.45 tff(n1, type, n1: $i). % 26.28/11.45 tff(less, type, less: ($i * $i) > $o). % 26.28/11.45 tff(n100, type, n100: $i). % 26.28/11.45 tff(min_number_of_proposed_agents, type, min_number_of_proposed_agents: ($i * $i) > $o). % 26.28/11.45 tff(christiancountrychumanitarianorganization, type, christiancountrychumanitarianorganization: $i). % 26.28/11.45 tff(atheist, type, atheist: $i). % 26.28/11.45 tff(n7, type, n7: $i). % 26.28/11.45 tff(coastvillage, type, coastvillage: $i). % 26.28/11.45 tff(accept_city, type, accept_city: ($i * $i) > $o). % 26.28/11.45 tff(n6, type, n6: $i). % 26.28/11.45 tff(n70, type, n70: $i). % 26.28/11.45 tff(accept_leader, type, accept_leader: ($i * $i) > $o). % 26.28/11.45 tff(countrybcivilorganization, type, countrybcivilorganization: $i). % 26.28/11.45 tff(n13, type, n13: $i). % 26.28/11.45 tff(n0, type, n0: $i). % 26.28/11.45 tff(towna, type, towna: $i). % 26.28/11.45 tff(sunsetpoint, type, sunsetpoint: $i). % 26.28/11.45 tff(other, type, other: $i). % 26.28/11.45 tff(n4, type, n4: $i). % 26.28/11.45 tff(countryamedicalorganization, type, countryamedicalorganization: $i). % 26.28/11.45 tff(cityb, type, cityb: $i). % 26.28/11.45 tff(n10, type, n10: $i). % 26.28/11.45 tff(countryahumanitarianorganization, type, countryahumanitarianorganization: $i). % 26.28/11.45 tff(n15, type, n15: $i). % 26.28/11.45 tff(christian, type, christian: $i). % 26.28/11.45 tff(townc, type, townc: $i). % 26.28/11.45 tff(sunnysideport, type, sunnysideport: $i). % 26.28/11.45 tff(n20, type, n20: $i). % 26.28/11.45 tff(n11, type, n11: $i). % 26.28/11.45 tff(accept_number, type, accept_number: ($i * $i) > $o). % 26.28/11.45 tff(muslim, type, muslim: $i). % 26.28/11.45 tff(countryacivilorganization, type, countryacivilorganization: $i). % 26.28/11.45 tff(n2, type, n2: $i). % 26.28/11.45 tff(n5, type, n5: $i). % 26.28/11.45 tff(n25, type, n25: $i). % 26.28/11.45 tff(townb, type, townb: $i). % 26.28/11.45 tff(christiansufferterrahumanitarianorganization, type, christiansufferterrahumanitarianorganization: $i). % 26.28/11.45 % 26.28/11.45 %Saturated clause set: % 26.28/11.45 tff(c_9833, plain, (![A_34]: (accept_city(A_34, towna) | ~accept_population(A_34, christian, n24) | ~accept_population(A_34, atheist, n75) | ~accept_city(A_34, coastvillage) | ~accept_city(A_34, cityb)))). % 26.28/11.45 tff(c_9386, plain, (![A_27]: (accept_city(A_27, towna) | ~accept_population(A_27, christian, n24) | ~accept_population(A_27, atheist, n75) | ~accept_city(A_27, coastvillage) | ~accept_city(A_27, townc) | ~accept_city(A_27, stjosephburgh)))). % 26.28/11.45 tff(c_9389, plain, (![A_26]: (accept_city(A_26, towna) | ~accept_population(A_26, christian, n24) | ~accept_population(A_26, atheist, n75) | ~accept_city(A_26, coastvillage) | ~accept_city(A_26, townc) | ~accept_city(A_26, centrallakecity)))). % 26.28/11.45 tff(c_9228, plain, (![A_26]: (accept_city(A_26, towna) | ~accept_population(A_26, christian, n24) | ~accept_population(A_26, atheist, n75) | ~accept_city(A_26, coastvillage) | ~accept_city(A_26, townb) | ~accept_city(A_26, centrallakecity)))). % 26.28/11.45 tff(c_9138, plain, (![A_35]: (accept_city(A_35, towna) | ~accept_population(A_35, muslim, n1) | ~accept_population(A_35, christian, n24) | ~accept_population(A_35, atheist, n75) | ~accept_city(A_35, coastvillage) | ~accept_city(A_35, townc)))). % 26.28/11.45 tff(c_9225, plain, (![A_27]: (accept_city(A_27, towna) | ~accept_population(A_27, christian, n24) | ~accept_population(A_27, atheist, n75) | ~accept_city(A_27, coastvillage) | ~accept_city(A_27, townb) | ~accept_city(A_27, stjosephburgh)))). % 26.28/11.45 tff(c_9134, plain, (![A_33]: (accept_city(A_33, towna) | ~accept_population(A_33, muslim, n1) | ~accept_population(A_33, christian, n24) | ~accept_population(A_33, atheist, n75) | ~accept_city(A_33, coastvillage) | ~accept_city(A_33, townb)))). % 26.28/11.45 tff(c_4625, plain, (![A_29]: (accept_city(A_29, towna) | ~accept_population(A_29, native, n0) | ~accept_population(A_29, muslim, n1) | ~accept_population(A_29, christian, n24) | ~accept_population(A_29, atheist, n75) | ~accept_city(A_29, coastvillage)))). % 26.28/11.45 tff(c_9040, plain, (![A_30]: (accept_city(A_30, citya) | ~accept_population(A_30, christian, n25) | ~accept_population(A_30, atheist, n75) | ~accept_city(A_30, townc) | ~accept_city(A_30, sunsetpoint)))). % 26.28/11.45 tff(c_8957, plain, (![A_30]: (accept_city(A_30, citya) | ~accept_population(A_30, christian, n25) | ~accept_population(A_30, atheist, n75) | ~accept_city(A_30, townb) | ~accept_city(A_30, sunsetpoint)))). % 26.28/11.45 tff(c_4201, plain, (![A_23]: (accept_city(A_23, stjosephburgh) | ~accept_population(A_23, native, n11) | ~accept_population(A_23, muslim, n1) | ~accept_population(A_23, christian, n16) | ~accept_population(A_23, atheist, n68) | ~accept_city(A_23, suffertown)))). % 26.28/11.45 tff(c_8867, plain, (![A_30]: (accept_city(A_30, citya) | ~accept_population(A_30, christian, n25) | ~accept_population(A_30, atheist, n75) | ~accept_city(A_30, cityb) | ~accept_city(A_30, sunsetpoint)))). % 26.28/11.45 tff(c_8780, plain, (![A_29]: (accept_city(A_29, citya) | ~accept_population(A_29, christian, n25) | ~accept_population(A_29, atheist, n75) | ~accept_city(A_29, townc) | ~accept_city(A_29, coastvillage)))). % 26.28/11.45 tff(c_4043, plain, (![A_29]: (accept_city(A_29, sunsetpoint) | ~accept_population(A_29, native, n100) | ~accept_population(A_29, muslim, n0) | ~accept_population(A_29, christian, n0) | ~accept_population(A_29, atheist, n0) | ~accept_city(A_29, coastvillage)))). % 26.28/11.45 tff(c_8629, plain, (![A_23]: (accept_city(A_23, cityb) | ~accept_population(A_23, atheist, n78) | ~accept_city(A_23, sunnysideport) | ~accept_city(A_23, towna) | ~accept_city(A_23, suffertown)))). % 26.28/11.45 tff(c_8546, plain, (![A_31]: (accept_city(A_31, cityb) | ~accept_population(A_31, christian, n20) | ~accept_population(A_31, atheist, n78) | ~accept_city(A_31, sunnysideport) | ~accept_city(A_31, towna)))). % 26.28/11.45 tff(c_8391, plain, (![A_23]: (accept_city(A_23, cityb) | ~accept_population(A_23, atheist, n78) | ~accept_city(A_23, sunnysideport) | ~accept_city(A_23, townc) | ~accept_city(A_23, centrallakecity) | ~accept_city(A_23, suffertown)))). % 26.28/11.46 tff(c_7906, plain, (![A_26]: (accept_city(A_26, cityb) | ~accept_population(A_26, christian, n20) | ~accept_population(A_26, atheist, n78) | ~accept_city(A_26, sunnysideport) | ~accept_city(A_26, townc) | ~accept_city(A_26, centrallakecity)))). % 26.28/11.46 tff(c_8242, plain, (![A_23]: (accept_city(A_23, cityb) | ~accept_population(A_23, atheist, n78) | ~accept_city(A_23, sunnysideport) | ~accept_city(A_23, townc) | ~accept_city(A_23, stjosephburgh) | ~accept_city(A_23, suffertown)))). % 26.28/11.46 tff(c_7903, plain, (![A_27]: (accept_city(A_27, cityb) | ~accept_population(A_27, christian, n20) | ~accept_population(A_27, atheist, n78) | ~accept_city(A_27, sunnysideport) | ~accept_city(A_27, townc) | ~accept_city(A_27, stjosephburgh)))). % 26.28/11.46 tff(c_4260, plain, (![A_30]: (accept_city(A_30, citya) | ~accept_population(A_30, native, n0) | ~accept_population(A_30, muslim, n0) | ~accept_population(A_30, christian, n25) | ~accept_population(A_30, atheist, n75) | ~accept_city(A_30, sunsetpoint)))). % 26.28/11.46 tff(c_6634, plain, (![A_35]: (accept_city(A_35, cityb) | ~accept_population(A_35, muslim, n1) | ~accept_population(A_35, christian, n20) | ~accept_population(A_35, atheist, n78) | ~accept_city(A_35, sunnysideport) | ~accept_city(A_35, townc)))). % 26.28/11.46 tff(c_7610, plain, (![A_23]: (accept_city(A_23, cityb) | ~accept_population(A_23, atheist, n78) | ~accept_city(A_23, sunnysideport) | ~accept_city(A_23, citya) | ~accept_city(A_23, centrallakecity) | ~accept_city(A_23, suffertown)))). % 26.28/11.46 tff(c_7392, plain, (![A_26]: (accept_city(A_26, cityb) | ~accept_population(A_26, christian, n20) | ~accept_population(A_26, atheist, n78) | ~accept_city(A_26, sunnysideport) | ~accept_city(A_26, citya) | ~accept_city(A_26, centrallakecity)))). % 26.28/11.46 tff(c_7471, plain, (![A_23]: (accept_city(A_23, cityb) | ~accept_population(A_23, atheist, n78) | ~accept_city(A_23, sunnysideport) | ~accept_city(A_23, citya) | ~accept_city(A_23, stjosephburgh) | ~accept_city(A_23, suffertown)))). % 26.38/11.46 tff(c_7389, plain, (![A_27]: (accept_city(A_27, cityb) | ~accept_population(A_27, christian, n20) | ~accept_population(A_27, atheist, n78) | ~accept_city(A_27, sunnysideport) | ~accept_city(A_27, citya) | ~accept_city(A_27, stjosephburgh)))). % 26.38/11.46 tff(c_6631, plain, (![A_32]: (accept_city(A_32, cityb) | ~accept_population(A_32, muslim, n1) | ~accept_population(A_32, christian, n20) | ~accept_population(A_32, atheist, n78) | ~accept_city(A_32, sunnysideport) | ~accept_city(A_32, citya)))). % 26.38/11.46 tff(c_4044, plain, (![A_32]: (accept_city(A_32, sunsetpoint) | ~accept_population(A_32, native, n100) | ~accept_population(A_32, muslim, n0) | ~accept_population(A_32, christian, n0) | ~accept_population(A_32, atheist, n0) | ~accept_city(A_32, citya)))). % 26.38/11.46 tff(c_7291, plain, (![A_29]: (accept_city(A_29, citya) | ~accept_population(A_29, christian, n25) | ~accept_population(A_29, atheist, n75) | ~accept_city(A_29, cityb) | ~accept_city(A_29, coastvillage)))). % 26.38/11.46 tff(c_7144, plain, (![A_33]: (accept_city(A_33, cityb) | ~accept_population(A_33, atheist, n78) | ~accept_city(A_33, sunnysideport) | ~accept_city(A_33, towna) | ~accept_city(A_33, townb)))). % 26.38/11.46 tff(c_7005, plain, (![A_33]: (accept_city(A_33, cityb) | ~accept_population(A_33, atheist, n78) | ~accept_city(A_33, sunnysideport) | ~accept_city(A_33, centrallakecity) | ~accept_city(A_33, townb)))). % 26.38/11.46 tff(c_4460, plain, (![A_31]: (accept_city(A_31, coastvillage) | ~accept_population(A_31, native, n85) | ~accept_population(A_31, muslim, n0) | ~accept_population(A_31, christian, n3) | ~accept_population(A_31, atheist, n12) | ~accept_city(A_31, towna)))). % 26.38/11.46 tff(c_6807, plain, (![A_33]: (accept_city(A_33, cityb) | ~accept_population(A_33, atheist, n78) | ~accept_city(A_33, sunnysideport) | ~accept_city(A_33, stjosephburgh) | ~accept_city(A_33, townb)))). % 26.38/11.46 tff(c_6630, plain, (![A_33]: (accept_city(A_33, cityb) | ~accept_population(A_33, muslim, n1) | ~accept_population(A_33, christian, n20) | ~accept_population(A_33, atheist, n78) | ~accept_city(A_33, sunnysideport) | ~accept_city(A_33, townb)))). % 26.38/11.46 tff(c_6539, plain, (![A_29]: (accept_city(A_29, citya) | ~accept_population(A_29, christian, n25) | ~accept_population(A_29, atheist, n75) | ~accept_city(A_29, townb) | ~accept_city(A_29, coastvillage)))). % 26.38/11.46 tff(c_6671, plain, (~accept_city(countrybhumanitarianorganization, sunnysideport))). % 26.38/11.46 tff(c_4346, plain, (![A_25]: (accept_city(A_25, cityb) | ~accept_population(A_25, native, n0) | ~accept_population(A_25, muslim, n1) | ~accept_population(A_25, christian, n20) | ~accept_population(A_25, atheist, n78) | ~accept_city(A_25, sunnysideport)))). % 26.38/11.46 tff(c_4257, plain, (![A_29]: (accept_city(A_29, citya) | ~accept_population(A_29, native, n0) | ~accept_population(A_29, muslim, n0) | ~accept_population(A_29, christian, n25) | ~accept_population(A_29, atheist, n75) | ~accept_city(A_29, coastvillage)))). % 26.38/11.46 tff(c_6213, plain, (![A_26]: (accept_city(A_26, towna) | ~accept_population(A_26, christian, n24) | ~accept_population(A_26, atheist, n75) | ~accept_city(A_26, sunsetpoint) | ~accept_city(A_26, townc) | ~accept_city(A_26, centrallakecity)))). % 26.38/11.46 tff(c_6210, plain, (![A_27]: (accept_city(A_27, towna) | ~accept_population(A_27, christian, n24) | ~accept_population(A_27, atheist, n75) | ~accept_city(A_27, sunsetpoint) | ~accept_city(A_27, townc) | ~accept_city(A_27, stjosephburgh)))). % 26.38/11.46 tff(c_5246, plain, (![A_35]: (accept_city(A_35, towna) | ~accept_population(A_35, muslim, n1) | ~accept_population(A_35, christian, n24) | ~accept_population(A_35, atheist, n75) | ~accept_city(A_35, sunsetpoint) | ~accept_city(A_35, townc)))). % 26.38/11.46 tff(c_4182, plain, (![A_23]: (accept_city(A_23, centrallakecity) | ~accept_population(A_23, native, n10) | ~accept_population(A_23, muslim, n1) | ~accept_population(A_23, christian, n15) | ~accept_population(A_23, atheist, n70) | ~accept_city(A_23, suffertown)))). % 26.38/11.46 tff(c_6046, plain, (![A_34]: (accept_city(A_34, towna) | ~accept_population(A_34, christian, n24) | ~accept_population(A_34, atheist, n75) | ~accept_city(A_34, sunsetpoint) | ~accept_city(A_34, cityb)))). % 26.38/11.46 tff(c_5746, plain, (![A_26]: (accept_city(A_26, towna) | ~accept_population(A_26, christian, n24) | ~accept_population(A_26, atheist, n75) | ~accept_city(A_26, citya) | ~accept_city(A_26, centrallakecity)))). % 26.38/11.46 tff(c_5745, plain, (![A_34]: (accept_city(A_34, towna) | ~accept_population(A_34, christian, n24) | ~accept_population(A_34, atheist, n75) | ~accept_city(A_34, citya) | ~accept_city(A_34, cityb)))). % 26.38/11.46 tff(c_5743, plain, (![A_27]: (accept_city(A_27, towna) | ~accept_population(A_27, christian, n24) | ~accept_population(A_27, atheist, n75) | ~accept_city(A_27, citya) | ~accept_city(A_27, stjosephburgh)))). % 26.38/11.46 tff(c_5653, plain, (![A_32]: (accept_city(A_32, towna) | ~accept_population(A_32, muslim, n1) | ~accept_population(A_32, christian, n24) | ~accept_population(A_32, atheist, n75) | ~accept_city(A_32, citya)))). % 26.38/11.46 tff(c_5351, plain, (![A_26]: (accept_city(A_26, towna) | ~accept_population(A_26, christian, n24) | ~accept_population(A_26, atheist, n75) | ~accept_city(A_26, sunsetpoint) | ~accept_city(A_26, townb) | ~accept_city(A_26, centrallakecity)))). % 26.38/11.46 tff(c_5348, plain, (![A_27]: (accept_city(A_27, towna) | ~accept_population(A_27, christian, n24) | ~accept_population(A_27, atheist, n75) | ~accept_city(A_27, sunsetpoint) | ~accept_city(A_27, townb) | ~accept_city(A_27, stjosephburgh)))). % 26.38/11.46 tff(c_5242, plain, (![A_33]: (accept_city(A_33, towna) | ~accept_population(A_33, muslim, n1) | ~accept_population(A_33, christian, n24) | ~accept_population(A_33, atheist, n75) | ~accept_city(A_33, sunsetpoint) | ~accept_city(A_33, townb)))). % 26.38/11.46 tff(c_5155, plain, (![A_30]: (accept_city(A_30, citya) | ~accept_population(A_30, christian, n25) | ~accept_population(A_30, atheist, n75) | ~accept_city(A_30, towna) | ~accept_city(A_30, sunsetpoint)))). % 26.38/11.46 tff(c_5153, plain, (![A_29]: (accept_city(A_29, citya) | ~accept_population(A_29, christian, n25) | ~accept_population(A_29, atheist, n75) | ~accept_city(A_29, towna) | ~accept_city(A_29, coastvillage)))). % 26.38/11.46 tff(c_5154, plain, (![A_28]: (accept_city(A_28, citya) | ~accept_population(A_28, christian, n25) | ~accept_population(A_28, atheist, n75) | ~accept_city(A_28, towna) | ~accept_city(A_28, northport)))). % 26.38/11.46 tff(c_4628, plain, (![A_30]: (accept_city(A_30, towna) | ~accept_population(A_30, native, n0) | ~accept_population(A_30, muslim, n1) | ~accept_population(A_30, christian, n24) | ~accept_population(A_30, atheist, n75) | ~accept_city(A_30, sunsetpoint)))). % 26.38/11.46 tff(c_5061, plain, (![A_31]: (accept_city(A_31, citya) | ~accept_population(A_31, muslim, n0) | ~accept_population(A_31, christian, n25) | ~accept_population(A_31, atheist, n75) | ~accept_city(A_31, towna)))). % 26.38/11.46 tff(c_5001, plain, (![A_24]: (accept_city(A_24, sunnysideport) | ~accept_population(A_24, muslim, n60) | ~accept_population(A_24, christian, n8) | ~accept_population(A_24, atheist, n30) | ~accept_city(A_24, cityb) | ~accept_city(A_24, centraltown)))). % 26.38/11.46 tff(c_4134, plain, (![A_34]: (accept_city(A_34, sunnysideport) | ~accept_population(A_34, native, n1) | ~accept_population(A_34, muslim, n60) | ~accept_population(A_34, christian, n8) | ~accept_population(A_34, atheist, n30) | ~accept_city(A_34, cityb)))). % 26.38/11.46 tff(c_4045, plain, (![A_31]: (accept_city(A_31, sunsetpoint) | ~accept_population(A_31, native, n100) | ~accept_population(A_31, muslim, n0) | ~accept_population(A_31, christian, n0) | ~accept_population(A_31, atheist, n0) | ~accept_city(A_31, towna)))). % 26.38/11.46 tff(c_4461, plain, (![A_30]: (accept_city(A_30, coastvillage) | ~accept_population(A_30, native, n85) | ~accept_population(A_30, muslim, n0) | ~accept_population(A_30, christian, n3) | ~accept_population(A_30, atheist, n12) | ~accept_city(A_30, sunsetpoint)))). % 26.38/11.46 tff(c_4202, plain, (![A_26]: (accept_city(A_26, stjosephburgh) | ~accept_population(A_26, native, n11) | ~accept_population(A_26, muslim, n1) | ~accept_population(A_26, christian, n16) | ~accept_population(A_26, atheist, n68) | ~accept_city(A_26, centrallakecity)))). % 26.38/11.47 tff(c_4459, plain, (![A_32]: (accept_city(A_32, coastvillage) | ~accept_population(A_32, native, n85) | ~accept_population(A_32, muslim, n0) | ~accept_population(A_32, christian, n3) | ~accept_population(A_32, atheist, n12) | ~accept_city(A_32, citya)))). % 26.38/11.47 tff(c_4679, plain, (![A_33]: (accept_city(A_33, northport) | ~accept_population(A_33, native, n15) | ~accept_population(A_33, muslim, n0) | ~accept_population(A_33, christian, n13) | ~accept_population(A_33, atheist, n70) | ~accept_city(A_33, townb)))). % 26.38/11.47 tff(c_4181, plain, (![A_27]: (accept_city(A_27, centrallakecity) | ~accept_population(A_27, native, n10) | ~accept_population(A_27, muslim, n1) | ~accept_population(A_27, christian, n15) | ~accept_population(A_27, atheist, n70) | ~accept_city(A_27, stjosephburgh)))). % 26.38/11.47 tff(c_4396, plain, (![A_27]: (accept_city(A_27, suffertown) | ~accept_population(A_27, native, n4) | ~accept_population(A_27, muslim, n7) | ~accept_population(A_27, christian, n20) | ~accept_population(A_27, atheist, n65) | ~accept_city(A_27, stjosephburgh)))). % 26.38/11.47 tff(c_4398, plain, (![A_26]: (accept_city(A_26, suffertown) | ~accept_population(A_26, native, n4) | ~accept_population(A_26, muslim, n7) | ~accept_population(A_26, christian, n20) | ~accept_population(A_26, atheist, n65) | ~accept_city(A_26, centrallakecity)))). % 26.38/11.47 tff(c_4844, plain, (~accept_city(countryccivilorganization, sunnysideport))). % 26.38/11.47 tff(c_4840, plain, (~accept_population(countryccivilorganization, christian, n8))). % 26.38/11.47 tff(c_3959, plain, (![A_35]: (accept_city(A_35, townb) | ~accept_population(A_35, muslim, n8) | ~accept_population(A_35, christian, n20) | ~accept_population(A_35, atheist, n70) | ~accept_city(A_35, northport) | ~accept_city(A_35, townc)))). % 26.38/11.47 tff(c_4834, plain, (~accept_city(sufferterragovernment, sunnysideport))). % 26.38/11.47 tff(c_4830, plain, (~accept_population(sufferterragovernment, christian, n8))). % 26.38/11.47 tff(c_4829, plain, (~accept_city(countryamedicalorganization, sunnysideport))). % 26.38/11.47 tff(c_4825, plain, (~accept_population(countryamedicalorganization, christian, n8))). % 26.38/11.47 tff(c_4824, plain, (~accept_city(countrybcivilorganization, sunnysideport))). % 26.38/11.47 tff(c_4820, plain, (~accept_population(countrybcivilorganization, christian, n8))). % 26.38/11.47 tff(c_3958, plain, (![A_34]: (accept_city(A_34, townb) | ~accept_population(A_34, muslim, n8) | ~accept_population(A_34, christian, n20) | ~accept_population(A_34, atheist, n70) | ~accept_city(A_34, northport) | ~accept_city(A_34, cityb)))). % 26.38/11.47 tff(c_4814, plain, (~accept_city(countryafirstaidorganization, sunnysideport))). % 26.38/11.47 tff(c_4810, plain, (~accept_population(countryafirstaidorganization, christian, n8))). % 26.38/11.47 tff(c_4809, plain, (~accept_city(countrycmedicalorganization, sunnysideport))). % 26.38/11.47 tff(c_4805, plain, (~accept_population(countrycmedicalorganization, christian, n8))). % 26.38/11.47 tff(c_4804, plain, (~accept_city(christiancountrychumanitarianorganization, sunsetpoint))). % 26.38/11.47 tff(c_4800, plain, (~accept_population(christiancountrychumanitarianorganization, atheist, n0))). % 26.38/11.47 tff(c_3956, plain, (![A_32]: (accept_city(A_32, townb) | ~accept_population(A_32, muslim, n8) | ~accept_population(A_32, christian, n20) | ~accept_population(A_32, atheist, n70) | ~accept_city(A_32, northport) | ~accept_city(A_32, citya)))). % 26.38/11.47 tff(c_4794, plain, (~accept_city(countryamedicalorganization, sunsetpoint))). % 26.38/11.47 tff(c_4790, plain, (~accept_population(countryamedicalorganization, atheist, n0))). % 26.38/11.47 tff(c_4789, plain, (~accept_city(countryacivilorganization, sunnysideport))). % 26.38/11.47 tff(c_4785, plain, (~accept_population(countryacivilorganization, christian, n8))). % 26.38/11.47 tff(c_4784, plain, (~accept_city(countryccivilorganization, northport))). % 26.38/11.47 tff(c_4778, plain, (~accept_city(christiancountrychumanitarianorganization, northport))). % 26.38/11.47 tff(c_3957, plain, (![A_31]: (accept_city(A_31, townb) | ~accept_population(A_31, muslim, n8) | ~accept_population(A_31, christian, n20) | ~accept_population(A_31, atheist, n70) | ~accept_city(A_31, northport) | ~accept_city(A_31, towna)))). % 26.38/11.47 tff(c_4777, plain, (~accept_city(christiansufferterrahumanitarianorganization, sunnysideport))). % 26.38/11.47 tff(c_4773, plain, (~accept_population(christiansufferterrahumanitarianorganization, christian, n8))). % 26.38/11.47 tff(c_4772, plain, (~accept_city(countryafirstaidorganization, northport))). % 26.38/11.47 tff(c_4771, plain, (~accept_city(christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.47 tff(c_4767, plain, (~accept_population(christiancountrychumanitarianorganization, atheist, n12))). % 26.38/11.47 tff(c_4766, plain, (~accept_city(countrybcivilorganization, northport))). % 26.38/11.47 tff(c_4765, plain, (~accept_city(countryccivilorganization, sunsetpoint))). % 26.38/11.47 tff(c_4761, plain, (~accept_population(countryccivilorganization, atheist, n0))). % 26.38/11.47 tff(c_4760, plain, (~accept_city(countryacivilorganization, northport))). % 26.38/11.47 tff(c_4759, plain, (~accept_city(countryccivilorganization, coastvillage))). % 26.38/11.47 tff(c_4755, plain, (~accept_population(countryccivilorganization, atheist, n12))). % 26.38/11.47 tff(c_4754, plain, (~accept_city(countryahumanitarianorganization, northport))). % 26.38/11.47 tff(c_4753, plain, (~accept_city(muslimcountrybhumanitarianorganization, sunnysideport))). % 26.38/11.47 tff(c_4749, plain, (~accept_population(muslimcountrybhumanitarianorganization, christian, n8))). % 26.38/11.47 tff(c_4748, plain, (~accept_city(countryamedicalorganization, northport))). % 26.38/11.47 tff(c_4747, plain, (~accept_city(countryahumanitarianorganization, sunnysideport))). % 26.38/11.47 tff(c_4746, plain, (~accept_city(countryahumanitarianorganization, townc))). % 26.38/11.47 tff(c_4739, plain, (~accept_population(countryahumanitarianorganization, atheist, n30))). % 26.38/11.47 tff(c_4738, plain, (~accept_city(christiancountrychumanitarianorganization, sunnysideport))). % 26.38/11.47 tff(c_4734, plain, (~accept_population(christiancountrychumanitarianorganization, christian, n8))). % 26.38/11.47 tff(c_4733, plain, (~accept_city(sufferterragovernment, northport))). % 26.38/11.47 tff(c_4732, plain, (~accept_city(muslimcountrybhumanitarianorganization, northport))). % 26.38/11.47 tff(c_4731, plain, (~accept_city(countrybhumanitarianorganization, northport))). % 26.38/11.47 tff(c_4730, plain, (~accept_city(christiansufferterrahumanitarianorganization, northport))). % 26.38/11.47 tff(c_4729, plain, (~accept_city(countryahumanitarianorganization, sunsetpoint))). % 26.38/11.47 tff(c_4725, plain, (~accept_population(countryahumanitarianorganization, atheist, n0))). % 26.38/11.47 tff(c_4724, plain, (~accept_city(countrycmedicalorganization, northport))). % 26.38/11.47 tff(c_4723, plain, (~accept_city(christiancountrychumanitarianorganization, citya))). % 26.38/11.47 tff(c_4719, plain, (~accept_population(christiancountrychumanitarianorganization, christian, n25))). % 26.38/11.47 tff(c_4718, plain, (~accept_city(countryamedicalorganization, citya))). % 26.38/11.47 tff(c_4714, plain, (~accept_population(countryamedicalorganization, christian, n25))). % 26.38/11.47 tff(c_4713, plain, (~accept_city(countryccivilorganization, citya))). % 26.38/11.47 tff(c_4709, plain, (~accept_population(countryccivilorganization, christian, n25))). % 26.38/11.47 tff(c_4699, plain, (~accept_population(countryamedicalorganization, atheist, n12))). % 26.38/11.47 tff(c_4703, plain, (~accept_city(countrybcivilorganization, sunsetpoint))). % 26.38/11.48 tff(c_4698, plain, (~accept_population(countrybcivilorganization, atheist, n0))). % 26.38/11.48 tff(c_4697, plain, (~accept_city(christiansufferterrahumanitarianorganization, sunsetpoint))). % 26.38/11.48 tff(c_4693, plain, (~accept_population(christiansufferterrahumanitarianorganization, atheist, n0))). % 26.38/11.48 tff(c_4692, plain, (~accept_city(muslimcountrybhumanitarianorganization, citya))). % 26.38/11.48 tff(c_4684, plain, (~accept_population(muslimcountrybhumanitarianorganization, atheist, n75))). % 26.38/11.48 tff(c_4683, plain, (~accept_city(sufferterragovernment, citya))). % 26.38/11.48 tff(c_4670, plain, (~accept_population(sufferterragovernment, christian, n25))). % 26.38/11.48 tff(c_84, plain, (![A_28]: (accept_city(A_28, northport) | ~accept_population(A_28, other, n2) | ~accept_population(A_28, native, n15) | ~accept_population(A_28, muslim, n0) | ~accept_population(A_28, christian, n13) | ~accept_population(A_28, atheist, n70)))). % 26.38/11.48 tff(c_4669, plain, (~accept_city(countryafirstaidorganization, citya))). % 26.38/11.48 tff(c_4575, plain, (~accept_population(countryafirstaidorganization, christian, n25))). % 26.38/11.48 tff(c_120, plain, (![A_31]: (accept_city(A_31, towna) | ~accept_population(A_31, other, n0) | ~accept_population(A_31, native, n0) | ~accept_population(A_31, muslim, n1) | ~accept_population(A_31, christian, n24) | ~accept_population(A_31, atheist, n75)))). % 26.38/11.48 tff(c_4574, plain, (~accept_city(countrycmedicalorganization, citya))). % 26.38/11.48 tff(c_4570, plain, (~accept_population(countrycmedicalorganization, christian, n25))). % 26.38/11.48 tff(c_4498, plain, (~accept_city(countryacivilorganization, citya))). % 26.38/11.48 tff(c_168, plain, (![A_35]: (accept_city(A_35, townc) | ~accept_population(A_35, other, n5) | ~accept_population(A_35, native, n0) | ~accept_population(A_35, muslim, n65) | ~accept_population(A_35, christian, n0) | ~accept_population(A_35, atheist, n30)))). % 26.38/11.48 tff(c_4494, plain, (~accept_population(countryacivilorganization, christian, n25))). % 26.38/11.48 tff(c_4408, plain, (~accept_city(countrybcivilorganization, citya))). % 26.38/11.48 tff(c_96, plain, (![A_29]: (accept_city(A_29, coastvillage) | ~accept_population(A_29, other, n0) | ~accept_population(A_29, native, n85) | ~accept_population(A_29, muslim, n0) | ~accept_population(A_29, christian, n3) | ~accept_population(A_29, atheist, n12)))). % 26.38/11.48 tff(c_4404, plain, (~accept_population(countrybcivilorganization, christian, n25))). % 26.38/11.48 tff(c_4403, plain, (~accept_city(christiansufferterrahumanitarianorganization, citya))). % 26.38/11.48 tff(c_4399, plain, (~accept_population(christiansufferterrahumanitarianorganization, christian, n25))). % 26.38/11.48 tff(c_24, plain, (![A_23]: (accept_city(A_23, suffertown) | ~accept_population(A_23, other, n4) | ~accept_population(A_23, native, n4) | ~accept_population(A_23, muslim, n7) | ~accept_population(A_23, christian, n20) | ~accept_population(A_23, atheist, n65)))). % 26.38/11.48 tff(c_4385, plain, (~accept_city(countrybhumanitarianorganization, citya))). % 26.38/11.48 tff(c_4381, plain, (~accept_population(countrybhumanitarianorganization, christian, n25))). % 26.38/11.48 tff(c_156, plain, (![A_34]: (accept_city(A_34, cityb) | ~accept_population(A_34, other, n1) | ~accept_population(A_34, native, n0) | ~accept_population(A_34, muslim, n1) | ~accept_population(A_34, christian, n20) | ~accept_population(A_34, atheist, n78)))). % 26.38/11.48 tff(c_4305, plain, (~accept_city(countryahumanitarianorganization, citya))). % 26.38/11.48 tff(c_4301, plain, (~accept_population(countryahumanitarianorganization, christian, n25))). % 26.38/11.48 tff(c_4300, plain, (~accept_city(countryacivilorganization, sunsetpoint))). % 26.38/11.48 tff(c_4207, plain, (~accept_population(countryacivilorganization, atheist, n0))). % 26.38/11.48 tff(c_132, plain, (![A_32]: (accept_city(A_32, citya) | ~accept_population(A_32, other, n0) | ~accept_population(A_32, native, n0) | ~accept_population(A_32, muslim, n0) | ~accept_population(A_32, christian, n25) | ~accept_population(A_32, atheist, n75)))). % 26.38/11.48 tff(c_4206, plain, (~accept_city(sufferterragovernment, sunsetpoint))). % 26.38/11.48 tff(c_4189, plain, (~accept_population(sufferterragovernment, atheist, n0))). % 26.38/11.48 tff(c_72, plain, (![A_27]: (accept_city(A_27, stjosephburgh) | ~accept_population(A_27, other, n4) | ~accept_population(A_27, native, n11) | ~accept_population(A_27, muslim, n1) | ~accept_population(A_27, christian, n16) | ~accept_population(A_27, atheist, n68)))). % 26.38/11.48 tff(c_4188, plain, (~accept_city(muslimcountrybhumanitarianorganization, sunsetpoint))). % 26.38/11.48 tff(c_4184, plain, (~accept_population(muslimcountrybhumanitarianorganization, atheist, n0))). % 26.38/11.48 tff(c_4170, plain, (~accept_city(countrybhumanitarianorganization, sunsetpoint))). % 26.38/11.48 tff(c_60, plain, (![A_26]: (accept_city(A_26, centrallakecity) | ~accept_population(A_26, other, n4) | ~accept_population(A_26, native, n10) | ~accept_population(A_26, muslim, n1) | ~accept_population(A_26, christian, n15) | ~accept_population(A_26, atheist, n70)))). % 26.38/11.48 tff(c_4166, plain, (~accept_population(countrybhumanitarianorganization, atheist, n0))). % 26.38/11.48 tff(c_4092, plain, (~accept_city(countryafirstaidorganization, sunsetpoint))). % 26.38/11.48 tff(c_48, plain, (![A_25]: (accept_city(A_25, sunnysideport) | ~accept_population(A_25, other, n1) | ~accept_population(A_25, native, n1) | ~accept_population(A_25, muslim, n60) | ~accept_population(A_25, christian, n8) | ~accept_population(A_25, atheist, n30)))). % 26.38/11.48 tff(c_4088, plain, (~accept_population(countryafirstaidorganization, atheist, n0))). % 26.38/11.48 tff(c_4087, plain, (~accept_city(countrycmedicalorganization, sunsetpoint))). % 26.38/11.48 tff(c_4083, plain, (~accept_population(countrycmedicalorganization, atheist, n0))). % 26.38/11.48 tff(c_108, plain, (![A_30]: (accept_city(A_30, sunsetpoint) | ~accept_population(A_30, other, n0) | ~accept_population(A_30, native, n100) | ~accept_population(A_30, muslim, n0) | ~accept_population(A_30, christian, n0) | ~accept_population(A_30, atheist, n0)))). % 26.38/11.48 tff(c_3901, plain, (![A_28]: (accept_city(A_28, townb) | ~accept_population(A_28, native, n0) | ~accept_population(A_28, muslim, n8) | ~accept_population(A_28, christian, n20) | ~accept_population(A_28, atheist, n70) | ~accept_city(A_28, northport)))). % 26.38/11.48 tff(c_144, plain, (![A_33]: (accept_city(A_33, townb) | ~accept_population(A_33, other, n2) | ~accept_population(A_33, native, n0) | ~accept_population(A_33, muslim, n8) | ~accept_population(A_33, christian, n20) | ~accept_population(A_33, atheist, n70)))). % 26.38/11.48 tff(c_36, plain, (![A_24]: (accept_city(A_24, centraltown) | ~accept_population(A_24, other, n9) | ~accept_population(A_24, native, n1) | ~accept_population(A_24, muslim, n3) | ~accept_population(A_24, christian, n23) | ~accept_population(A_24, atheist, n54)))). % 26.38/11.48 tff(c_2, plain, (![A_1, L_4, C_2, N_3]: (accept_team(A_1, L_4, C_2, N_3) | ~accept_number(A_1, N_3) | ~accept_leader(A_1, L_4) | ~accept_city(A_1, C_2)))). % 26.38/11.48 tff(c_12, plain, (![A_8, P_11, M_10, N_9]: (accept_population(A_8, P_11, M_10) | ~less(M_10, N_9) | ~accept_population(A_8, P_11, N_9)))). % 26.38/11.48 tff(c_20, plain, (![A_18, L_19, C_20]: (~accept_leader(A_18, L_19) | ~accept_city(A_18, C_20) | ~the_agent_not_in_any_proposed_teams(A_18, L_19, C_20)))). % 26.38/11.48 tff(c_10, plain, (![A_5, M_7, N_6]: (accept_number(A_5, M_7) | ~less(M_7, N_6) | ~accept_number(A_5, N_6)))). % 26.38/11.48 tff(c_4, plain, (![A_1, N_3, L_4, C_2]: (accept_number(A_1, N_3) | ~accept_team(A_1, L_4, C_2, N_3)))). % 26.38/11.48 tff(c_2911, plain, (accept_leader(countryccivilorganization, countrycmedicalorganization))). % 26.38/11.48 tff(c_6, plain, (![A_1, L_4, C_2, N_3]: (accept_leader(A_1, L_4) | ~accept_team(A_1, L_4, C_2, N_3)))). % 26.38/11.48 tff(c_8, plain, (![A_1, C_2, L_4, N_3]: (accept_city(A_1, C_2) | ~accept_team(A_1, L_4, C_2, N_3)))). % 26.38/11.48 tff(c_42, plain, (![A_24]: (accept_population(A_24, muslim, n3) | ~accept_city(A_24, centraltown)))). % 26.38/11.48 tff(c_46, plain, (![A_24]: (accept_population(A_24, atheist, n54) | ~accept_city(A_24, centraltown)))). % 26.38/11.48 tff(c_130, plain, (![A_31]: (accept_population(A_31, atheist, n75) | ~accept_city(A_31, towna)))). % 26.38/11.48 tff(c_28, plain, (![A_23]: (accept_population(A_23, native, n4) | ~accept_city(A_23, suffertown)))). % 26.38/11.48 tff(c_128, plain, (![A_31]: (accept_population(A_31, christian, n24) | ~accept_city(A_31, towna)))). % 26.38/11.48 tff(c_148, plain, (![A_33]: (accept_population(A_33, native, n0) | ~accept_city(A_33, townb)))). % 26.38/11.48 tff(c_52, plain, (![A_25]: (accept_population(A_25, native, n1) | ~accept_city(A_25, sunnysideport)))). % 26.38/11.48 tff(c_54, plain, (![A_25]: (accept_population(A_25, muslim, n60) | ~accept_city(A_25, sunnysideport)))). % 26.38/11.48 tff(c_38, plain, (![A_24]: (accept_population(A_24, other, n9) | ~accept_city(A_24, centraltown)))). % 26.38/11.48 tff(c_152, plain, (![A_33]: (accept_population(A_33, christian, n20) | ~accept_city(A_33, townb)))). % 26.38/11.48 tff(c_14, plain, (![A_12, C_14, L_13]: (accept_city(A_12, C_14) | ~the_agent_in_all_proposed_teams(A_12, L_13, C_14)))). % 26.38/11.48 tff(c_78, plain, (![A_27]: (accept_population(A_27, muslim, n1) | ~accept_city(A_27, stjosephburgh)))). % 26.38/11.48 tff(c_136, plain, (![A_32]: (accept_population(A_32, native, n0) | ~accept_city(A_32, citya)))). % 26.38/11.48 tff(c_138, plain, (![A_32]: (accept_population(A_32, muslim, n0) | ~accept_city(A_32, citya)))). % 26.38/11.48 tff(c_80, plain, (![A_27]: (accept_population(A_27, christian, n16) | ~accept_city(A_27, stjosephburgh)))). % 26.38/11.48 tff(c_150, plain, (![A_33]: (accept_population(A_33, muslim, n8) | ~accept_city(A_33, townb)))). % 26.38/11.48 tff(c_40, plain, (![A_24]: (accept_population(A_24, native, n1) | ~accept_city(A_24, centraltown)))). % 26.38/11.48 tff(c_56, plain, (![A_25]: (accept_population(A_25, christian, n8) | ~accept_city(A_25, sunnysideport)))). % 26.38/11.48 tff(c_30, plain, (![A_23]: (accept_population(A_23, muslim, n7) | ~accept_city(A_23, suffertown)))). % 26.38/11.48 tff(c_104, plain, (![A_29]: (accept_population(A_29, christian, n3) | ~accept_city(A_29, coastvillage)))). % 26.38/11.48 tff(c_116, plain, (![A_30]: (accept_population(A_30, christian, n0) | ~accept_city(A_30, sunsetpoint)))). % 26.38/11.48 tff(c_82, plain, (![A_27]: (accept_population(A_27, atheist, n68) | ~accept_city(A_27, stjosephburgh)))). % 26.38/11.48 tff(c_174, plain, (![A_35]: (accept_population(A_35, muslim, n65) | ~accept_city(A_35, townc)))). % 26.38/11.48 tff(c_100, plain, (![A_29]: (accept_population(A_29, native, n85) | ~accept_city(A_29, coastvillage)))). % 26.38/11.48 tff(c_16, plain, (![A_12, L_13, C_14]: (accept_leader(A_12, L_13) | ~the_agent_in_all_proposed_teams(A_12, L_13, C_14)))). % 26.38/11.48 tff(c_44, plain, (![A_24]: (accept_population(A_24, christian, n23) | ~accept_city(A_24, centraltown)))). % 26.38/11.48 tff(c_18, plain, (![A_15, L_16, C_17]: (accept_leader(A_15, L_16) | ~any_agent_in_all_proposed_teams(A_15, L_16, C_17)))). % 26.38/11.48 tff(c_98, plain, (![A_29]: (accept_population(A_29, other, n0) | ~accept_city(A_29, coastvillage)))). % 26.38/11.48 tff(c_124, plain, (![A_31]: (accept_population(A_31, native, n0) | ~accept_city(A_31, towna)))). % 26.38/11.48 tff(c_118, plain, (![A_30]: (accept_population(A_30, atheist, n0) | ~accept_city(A_30, sunsetpoint)))). % 26.38/11.48 tff(c_178, plain, (![A_35]: (accept_population(A_35, atheist, n30) | ~accept_city(A_35, townc)))). % 26.38/11.48 tff(c_160, plain, (![A_34]: (accept_population(A_34, native, n0) | ~accept_city(A_34, cityb)))). % 26.38/11.48 tff(c_134, plain, (![A_32]: (accept_population(A_32, other, n0) | ~accept_city(A_32, citya)))). % 26.38/11.48 tff(c_86, plain, (![A_28]: (accept_population(A_28, other, n2) | ~accept_city(A_28, northport)))). % 26.38/11.48 tff(c_74, plain, (![A_27]: (accept_population(A_27, other, n4) | ~accept_city(A_27, stjosephburgh)))). % 26.38/11.48 tff(c_154, plain, (![A_33]: (accept_population(A_33, atheist, n70) | ~accept_city(A_33, townb)))). % 26.38/11.49 tff(c_32, plain, (![A_23]: (accept_population(A_23, christian, n20) | ~accept_city(A_23, suffertown)))). % 26.38/11.49 tff(c_76, plain, (![A_27]: (accept_population(A_27, native, n11) | ~accept_city(A_27, stjosephburgh)))). % 26.38/11.49 tff(c_34, plain, (![A_23]: (accept_population(A_23, atheist, n65) | ~accept_city(A_23, suffertown)))). % 26.38/11.49 tff(c_58, plain, (![A_25]: (accept_population(A_25, atheist, n30) | ~accept_city(A_25, sunnysideport)))). % 26.38/11.49 tff(c_176, plain, (![A_35]: (accept_population(A_35, christian, n0) | ~accept_city(A_35, townc)))). % 26.38/11.49 tff(c_50, plain, (![A_25]: (accept_population(A_25, other, n1) | ~accept_city(A_25, sunnysideport)))). % 26.38/11.49 tff(c_88, plain, (![A_28]: (accept_population(A_28, native, n15) | ~accept_city(A_28, northport)))). % 26.38/11.49 tff(c_140, plain, (![A_32]: (accept_population(A_32, christian, n25) | ~accept_city(A_32, citya)))). % 26.38/11.49 tff(c_164, plain, (![A_34]: (accept_population(A_34, christian, n20) | ~accept_city(A_34, cityb)))). % 26.38/11.49 tff(c_122, plain, (![A_31]: (accept_population(A_31, other, n0) | ~accept_city(A_31, towna)))). % 26.38/11.49 tff(c_102, plain, (![A_29]: (accept_population(A_29, muslim, n0) | ~accept_city(A_29, coastvillage)))). % 26.38/11.49 tff(c_142, plain, (![A_32]: (accept_population(A_32, atheist, n75) | ~accept_city(A_32, citya)))). % 26.38/11.49 tff(c_126, plain, (![A_31]: (accept_population(A_31, muslim, n1) | ~accept_city(A_31, towna)))). % 26.38/11.49 tff(c_94, plain, (![A_28]: (accept_population(A_28, atheist, n70) | ~accept_city(A_28, northport)))). % 26.38/11.49 tff(c_90, plain, (![A_28]: (accept_population(A_28, muslim, n0) | ~accept_city(A_28, northport)))). % 26.38/11.49 tff(c_106, plain, (![A_29]: (accept_population(A_29, atheist, n12) | ~accept_city(A_29, coastvillage)))). % 26.38/11.49 tff(c_172, plain, (![A_35]: (accept_population(A_35, native, n0) | ~accept_city(A_35, townc)))). % 26.38/11.49 tff(c_26, plain, (![A_23]: (accept_population(A_23, other, n4) | ~accept_city(A_23, suffertown)))). % 26.38/11.49 tff(c_158, plain, (![A_34]: (accept_population(A_34, other, n1) | ~accept_city(A_34, cityb)))). % 26.38/11.49 tff(c_112, plain, (![A_30]: (accept_population(A_30, native, n100) | ~accept_city(A_30, sunsetpoint)))). % 26.38/11.49 tff(c_110, plain, (![A_30]: (accept_population(A_30, other, n0) | ~accept_city(A_30, sunsetpoint)))). % 26.38/11.49 tff(c_162, plain, (![A_34]: (accept_population(A_34, muslim, n1) | ~accept_city(A_34, cityb)))). % 26.38/11.49 tff(c_170, plain, (![A_35]: (accept_population(A_35, other, n5) | ~accept_city(A_35, townc)))). % 26.38/11.49 tff(c_146, plain, (![A_33]: (accept_population(A_33, other, n2) | ~accept_city(A_33, townb)))). % 26.38/11.49 tff(c_92, plain, (![A_28]: (accept_population(A_28, christian, n13) | ~accept_city(A_28, northport)))). % 26.38/11.49 tff(c_166, plain, (![A_34]: (accept_population(A_34, atheist, n78) | ~accept_city(A_34, cityb)))). % 26.38/11.49 tff(c_62, plain, (![A_26]: (accept_population(A_26, other, n4) | ~accept_city(A_26, centrallakecity)))). % 26.38/11.49 tff(c_114, plain, (![A_30]: (accept_population(A_30, muslim, n0) | ~accept_city(A_30, sunsetpoint)))). % 26.38/11.49 tff(c_64, plain, (![A_26]: (accept_population(A_26, native, n10) | ~accept_city(A_26, centrallakecity)))). % 26.38/11.49 tff(c_70, plain, (![A_26]: (accept_population(A_26, atheist, n70) | ~accept_city(A_26, centrallakecity)))). % 26.38/11.49 tff(c_66, plain, (![A_26]: (accept_population(A_26, muslim, n1) | ~accept_city(A_26, centrallakecity)))). % 26.38/11.49 tff(c_68, plain, (![A_26]: (accept_population(A_26, christian, n15) | ~accept_city(A_26, centrallakecity)))). % 26.38/11.49 tff(c_22, plain, (![A_21, N_22]: (accept_number(A_21, N_22) | ~min_number_of_proposed_agents(A_21, N_22)))). % 26.38/11.49 tff(c_634, plain, (accept_team(countrycmedicalorganization, countryccivilorganization, towna, n4))). % 26.38/11.49 tff(c_302, plain, (accept_team(countryacivilorganization, countryafirstaidorganization, coastvillage, n6))). % 26.38/11.49 tff(c_244, plain, (~accept_team(countryamedicalorganization, sufferterragovernment, coastvillage, n2))). % 26.38/11.49 tff(c_524, plain, (accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n6))). % 26.38/11.49 tff(c_242, plain, (~accept_team(countryamedicalorganization, christiansufferterrahumanitarianorganization, coastvillage, n2))). % 26.38/11.49 tff(c_638, plain, (accept_team(countrycmedicalorganization, countrybhumanitarianorganization, towna, n6))). % 26.38/11.49 tff(c_602, plain, (~accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n2))). % 26.38/11.49 tff(c_410, plain, (~accept_team(countryccivilorganization, countrybcivilorganization, townc, n6))). % 26.38/11.49 tff(c_576, plain, (accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6))). % 26.38/11.49 tff(c_590, plain, (accept_team(countrybcivilorganization, countrybhumanitarianorganization, towna, n6))). % 26.38/11.49 tff(c_226, plain, (accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))). % 26.38/11.49 tff(c_474, plain, (accept_team(countryafirstaidorganization, countryahumanitarianorganization, cityb, n6))). % 26.38/11.49 tff(c_192, plain, (accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n2))). % 26.38/11.49 tff(c_604, plain, (~accept_team(christiansufferterrahumanitarianorganization, sufferterragovernment, towna, n6))). % 26.38/11.49 tff(c_380, plain, (accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_328, plain, (accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n6))). % 26.38/11.49 tff(c_266, plain, (accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n5))). % 26.38/11.49 tff(c_394, plain, (accept_team(christiancountrychumanitarianorganization, countryccivilorganization, townc, n4))). % 26.38/11.49 tff(c_320, plain, (~accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n5))). % 26.38/11.49 tff(c_426, plain, (accept_team(sufferterragovernment, countryahumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_436, plain, (accept_team(countrycmedicalorganization, countrybcivilorganization, townc, n6))). % 26.38/11.49 tff(c_334, plain, (accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_326, plain, (accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, coastvillage, n5))). % 26.38/11.49 tff(c_236, plain, (~accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n2))). % 26.38/11.49 tff(c_346, plain, (accept_team(sufferterragovernment, countryacivilorganization, coastvillage, n6))). % 26.38/11.49 tff(c_428, plain, (accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_450, plain, (accept_team(countrybhumanitarianorganization, countrycmedicalorganization, townc, n6))). % 26.38/11.49 tff(c_330, plain, (accept_team(countrybcivilorganization, muslimcountrybhumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_482, plain, (accept_team(countryafirstaidorganization, sufferterragovernment, towna, n5))). % 26.38/11.49 tff(c_362, plain, (accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, coastvillage, n6))). % 26.38/11.49 tff(c_528, plain, (~accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n2))). % 26.38/11.49 tff(c_344, plain, (accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n6))). % 26.38/11.49 tff(c_624, plain, (accept_team(countryacivilorganization, sufferterragovernment, towna, n5))). % 26.38/11.49 tff(c_274, plain, (accept_team(sufferterragovernment, countryacivilorganization, towna, n6))). % 26.38/11.49 tff(c_594, plain, (accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n6))). % 26.38/11.49 tff(c_532, plain, (~accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n2))). % 26.38/11.49 tff(c_610, plain, (~accept_team(countryccivilorganization, countrybcivilorganization, towna, n6))). % 26.38/11.49 tff(c_348, plain, (accept_team(sufferterragovernment, countryafirstaidorganization, coastvillage, n6))). % 26.38/11.49 tff(c_332, plain, (accept_team(countrybcivilorganization, countrybhumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_360, plain, (accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n6))). % 26.38/11.49 tff(c_384, plain, (accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, townc, n6))). % 26.38/11.49 tff(c_484, plain, (accept_team(countryafirstaidorganization, sufferterragovernment, towna, n6))). % 26.38/11.49 tff(c_314, plain, (accept_team(countryafirstaidorganization, countryacivilorganization, coastvillage, n6))). % 26.38/11.49 tff(c_616, plain, (~accept_team(countryccivilorganization, countrycmedicalorganization, towna, n6))). % 26.38/11.49 tff(c_246, plain, (~accept_team(countryamedicalorganization, countryahumanitarianorganization, coastvillage, n6))). % 26.38/11.49 tff(c_548, plain, (~accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n6))). % 26.38/11.49 tff(c_430, plain, (accept_team(countryamedicalorganization, countryahumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_490, plain, (accept_team(countryamedicalorganization, countryahumanitarianorganization, cityb, n6))). % 26.38/11.49 tff(c_660, plain, (accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n6))). % 26.38/11.49 tff(c_216, plain, (accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, cityb, n6))). % 26.38/11.49 tff(c_424, plain, (accept_team(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_256, plain, (accept_team(countryccivilorganization, countrycmedicalorganization, towna, n4))). % 26.38/11.49 tff(c_522, plain, (accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n5))). % 26.38/11.49 tff(c_526, plain, (~accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n2))). % 26.38/11.49 tff(c_408, plain, (~accept_team(countryccivilorganization, muslimcountrybhumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_498, plain, (accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n5))). % 26.38/11.49 tff(c_558, plain, (accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n5))). % 26.38/11.49 tff(c_218, plain, (accept_team(sufferterragovernment, countryacivilorganization, cityb, n6))). % 26.38/11.49 tff(c_322, plain, (~accept_team(countryccivilorganization, christiancountrychumanitarianorganization, coastvillage, n6))). % 26.38/11.49 tff(c_560, plain, (accept_team(countryahumanitarianorganization, sufferterragovernment, towna, n6))). % 26.38/11.49 tff(c_390, plain, (accept_team(countryacivilorganization, countryahumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_502, plain, (accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n5))). % 26.38/11.49 tff(c_588, plain, (accept_team(countrybcivilorganization, countryccivilorganization, towna, n4))). % 26.38/11.49 tff(c_636, plain, (accept_team(countrycmedicalorganization, countrybcivilorganization, towna, n6))). % 26.38/11.49 tff(c_414, plain, (~accept_team(countryccivilorganization, christiancountrychumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_370, plain, (accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n6))). % 26.38/11.49 tff(c_312, plain, (accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n6))). % 26.38/11.49 tff(c_422, plain, (accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n2))). % 26.38/11.49 tff(c_628, plain, (accept_team(countryacivilorganization, sufferterragovernment, towna, n6))). % 26.38/11.49 tff(c_658, plain, (accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, towna, n6))). % 26.38/11.49 tff(c_196, plain, (~accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n4))). % 26.38/11.49 tff(c_198, plain, (~accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n5))). % 26.38/11.49 tff(c_434, plain, (accept_team(countrycmedicalorganization, muslimcountrybhumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_280, plain, (accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, coastvillage, n5))). % 26.38/11.49 tff(c_228, plain, (accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))). % 26.38/11.49 tff(c_342, plain, (accept_team(sufferterragovernment, countryahumanitarianorganization, coastvillage, n5))). % 26.38/11.49 tff(c_540, plain, (~accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n3))). % 26.38/11.49 tff(c_258, plain, (~accept_team(countryccivilorganization, countrycmedicalorganization, towna, n5))). % 26.38/11.49 tff(c_556, plain, (accept_team(countryamedicalorganization, sufferterragovernment, towna, n6))). % 26.38/11.49 tff(c_468, plain, (accept_team(sufferterragovernment, countryahumanitarianorganization, cityb, n6))). % 26.38/11.49 tff(c_208, plain, (accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n4))). % 26.38/11.49 tff(c_578, plain, (accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n6))). % 26.38/11.49 tff(c_364, plain, (accept_team(christiansufferterrahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))). % 26.38/11.49 tff(c_412, plain, (~accept_team(countryccivilorganization, countrybhumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_300, plain, (accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n6))). % 26.38/11.49 tff(c_546, plain, (~accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, towna, n4))). % 26.38/11.49 tff(c_438, plain, (accept_team(countrycmedicalorganization, countrybhumanitarianorganization, townc, n6))). % 26.38/11.49 tff(c_448, plain, (accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))). % 26.38/11.50 tff(c_284, plain, (accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n4))). % 26.38/11.50 tff(c_568, plain, (accept_team(countrybhumanitarianorganization, countrycmedicalorganization, towna, n3))). % 26.38/11.50 tff(c_238, plain, (~accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n2))). % 26.38/11.50 tff(c_398, plain, (accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, townc, n6))). % 26.38/11.50 tff(c_486, plain, (accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n5))). % 26.38/11.50 tff(c_640, plain, (accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, towna, n6))). % 26.38/11.50 tff(c_512, plain, (accept_team(countryacivilorganization, countryahumanitarianorganization, cityb, n6))). % 26.38/11.50 tff(c_240, plain, (~accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n2))). % 26.38/11.50 tff(c_416, plain, (~accept_team(countryccivilorganization, countrycmedicalorganization, townc, n6))). % 26.38/11.50 tff(c_552, plain, (~accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n6))). % 26.38/11.50 tff(c_250, plain, (~accept_team(countryamedicalorganization, countryafirstaidorganization, coastvillage, n6))). % 26.38/11.50 tff(c_376, plain, (accept_team(muslimcountrybhumanitarianorganization, countryccivilorganization, townc, n4))). % 26.38/11.50 tff(c_614, plain, (~accept_team(countryccivilorganization, christiancountrychumanitarianorganization, towna, n6))). % 26.38/11.50 tff(c_440, plain, (accept_team(countrycmedicalorganization, christiancountrychumanitarianorganization, townc, n6))). % 26.38/11.50 tff(c_456, plain, (accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, cityb, n6))). % 26.38/11.50 tff(c_650, plain, (accept_team(christiancountrychumanitarianorganization, countryccivilorganization, towna, n4))). % 26.38/11.50 tff(c_294, plain, (accept_team(countryafirstaidorganization, countryacivilorganization, towna, n6))). % 26.38/11.50 tff(c_378, plain, (accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, townc, n6))). % 26.38/11.50 tff(c_358, plain, (accept_team(christiansufferterrahumanitarianorganization, countryahumanitarianorganization, coastvillage, n5))). % 26.38/11.50 tff(c_392, plain, (accept_team(countryafirstaidorganization, countryahumanitarianorganization, townc, n6))). % 26.38/11.50 tff(c_654, plain, (accept_team(christiancountrychumanitarianorganization, countrybcivilorganization, towna, n6))). % 26.38/11.50 tff(c_230, plain, (accept_team(christiansufferterrahumanitarianorganization, countryacivilorganization, towna, n6))). % 26.38/11.50 tff(c_564, plain, (accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n3))). % 26.38/11.50 tff(c_534, plain, (~accept_team(muslimcountrybhumanitarianorganization, countrybcivilorganization, towna, n3))). % 26.38/11.50 tff(c_184, plain, (accept_team(countryahumanitarianorganization, countryacivilorganization, coastvillage, n6))). % 26.38/11.50 tff(c_574, plain, (accept_team(countrybhumanitarianorganization, countrybcivilorganization, towna, n6))). % 26.38/11.50 tff(c_310, plain, (accept_team(countryafirstaidorganization, countryahumanitarianorganization, coastvillage, n5))). % 26.38/11.50 tff(c_536, plain, (~accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3))). % 26.38/11.50 tff(c_248, plain, (~accept_team(countryamedicalorganization, countryacivilorganization, coastvillage, n6))). % 26.38/11.50 tff(c_542, plain, (~accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n2))). % 26.38/11.50 tff(c_194, plain, (accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, cityb, n4))). % 26.38/11.50 tff(c_232, plain, (accept_team(countryamedicalorganization, countryacivilorganization, towna, n6))). % 26.38/11.50 tff(c_402, plain, (accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, townc, n6))). % 26.38/11.50 tff(c_612, plain, (~accept_team(countryccivilorganization, countrybhumanitarianorganization, towna, n6))). % 26.38/11.50 tff(c_180, plain, (accept_team(countryahumanitarianorganization, countryacivilorganization, cityb, n6))). % 26.38/11.50 tff(c_214, plain, (accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n4))). % 26.38/11.50 tff(c_550, plain, (~accept_team(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization, towna, n6))). % 26.38/11.50 tff(c_382, plain, (accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, townc, n6))). % 26.38/11.50 tff(c_592, plain, (accept_team(countrybcivilorganization, christiancountrychumanitarianorganization, towna, n6))). % 26.38/11.50 tff(c_464, plain, (~accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n5))). % 26.38/11.50 tff(c_538, plain, (~accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n3))). % 26.38/11.50 tff(c_288, plain, (accept_team(christiancountrychumanitarianorganization, countrycmedicalorganization, towna, n5))). % 26.38/11.50 tff(c_670, plain, (~accept_team(muslimcountrybhumanitarianorganization, countrycmedicalorganization, towna, n6))). % 26.38/11.50 tff(c_466, plain, (~accept_team(countryccivilorganization, countrybhumanitarianorganization, cityb, n6))). % 26.38/11.50 tff(c_432, plain, (accept_team(countrycmedicalorganization, countryccivilorganization, townc, n4))). % 26.38/11.50 tff(c_298, plain, (accept_team(countryacivilorganization, countryahumanitarianorganization, coastvillage, n5))). % 26.38/11.50 tff(c_504, plain, (accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, cityb, n6))). % 26.38/11.50 tff(c_488, plain, (accept_team(countrycmedicalorganization, countrybhumanitarianorganization, cityb, n6))). % 26.38/11.50 tff(c_400, plain, (accept_team(christiancountrychumanitarianorganization, countrybhumanitarianorganization, townc, n6))). % 26.38/11.50 tff(c_446, plain, (accept_team(countrybhumanitarianorganization, countrybcivilorganization, townc, n6))). % 26.38/11.50 tff(c_396, plain, (accept_team(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization, townc, n6))). % 26.38/11.50 tff(c_566, plain, (accept_team(countrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n3))). % 26.38/11.50 tff(c_530, plain, (~accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, towna, n2))). % 26.38/11.50 tff(c_186, plain, (accept_team(countryahumanitarianorganization, countryafirstaidorganization, coastvillage, n6))). % 26.38/11.50 tff(c_372, plain, (accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n6))). % 26.38/11.50 tff(c_206, plain, (accept_team(countryamedicalorganization, countryacivilorganization, cityb, n6))). % 26.38/11.50 tff(c_570, plain, (accept_team(countrybhumanitarianorganization, countryccivilorganization, towna, n3))). % 26.38/11.50 tff(c_210, plain, (accept_team(countryafirstaidorganization, countryacivilorganization, cityb, n6))). % 26.38/11.50 tff(c_554, plain, (accept_team(countryamedicalorganization, sufferterragovernment, towna, n5))). % 26.38/11.50 tff(c_336, plain, (accept_team(countrybcivilorganization, countrycmedicalorganization, townc, n6))). % 26.38/11.50 tff(c_500, plain, (accept_team(countrybcivilorganization, countrybhumanitarianorganization, cityb, n6))). % 26.38/11.50 tff(c_204, plain, (accept_team(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization, coastvillage, n5))). % 26.38/11.50 tff(c_264, plain, (accept_team(countrybcivilorganization, countrycmedicalorganization, towna, n4))). % 26.38/11.50 tff(c_182, plain, (accept_team(countryahumanitarianorganization, countryacivilorganization, towna, n6))). % 26.38/11.50 tff(c_914, plain, (accept_population(countrybhumanitarianorganization, muslim, n0))). % 26.38/11.50 tff(c_596, plain, (the_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))). % 26.38/11.50 tff(c_916, plain, (accept_population(countrybhumanitarianorganization, christian, n3))). % 26.38/11.50 tff(c_1166, plain, (accept_population(countryahumanitarianorganization, native, n0))). % 26.38/11.50 tff(c_924, plain, (accept_population(countrybhumanitarianorganization, other, n5))). % 26.38/11.50 tff(c_1168, plain, (accept_population(countryahumanitarianorganization, muslim, n1))). % 26.38/11.50 tff(c_918, plain, (accept_population(countrybhumanitarianorganization, atheist, n12))). % 26.38/11.50 tff(c_828, plain, (accept_population(countryacivilorganization, christian, n0))). % 26.38/11.50 tff(c_1034, plain, (accept_population(countryccivilorganization, christian, n0))). % 26.38/11.50 tff(c_406, plain, (any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))). % 26.38/11.50 tff(c_824, plain, (accept_population(countryacivilorganization, other, n5))). % 26.38/11.50 tff(c_1222, plain, (accept_population(countryafirstaidorganization, native, n0))). % 26.38/11.50 tff(c_912, plain, (accept_population(countrybhumanitarianorganization, native, n85))). % 26.38/11.50 tff(c_202, plain, (any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))). % 26.38/11.50 tff(c_696, plain, (accept_population(christiancountrychumanitarianorganization, christian, n20))). % 26.38/11.50 tff(c_1370, plain, (accept_population(christiancountrychumanitarianorganization, other, n0))). % 26.38/11.50 tff(c_726, plain, (accept_population(countryahumanitarianorganization, christian, n3))). % 26.38/11.50 tff(c_722, plain, (accept_population(countryahumanitarianorganization, native, n85))). % 26.38/11.50 tff(c_1070, plain, (accept_population(muslimcountrybhumanitarianorganization, muslim, n65))). % 26.38/11.50 tff(c_706, plain, (accept_population(countryamedicalorganization, other, n5))). % 26.38/11.50 tff(c_1060, plain, (accept_population(countrycmedicalorganization, atheist, n78))). % 26.38/11.50 tff(c_758, plain, (accept_population(countrybcivilorganization, atheist, n12))). % 26.38/11.50 tff(c_754, plain, (accept_population(countrybcivilorganization, muslim, n0))). % 26.38/11.50 tff(c_710, plain, (accept_population(countryamedicalorganization, christian, n0))). % 26.38/11.50 tff(c_188, plain, (the_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.50 tff(c_1046, plain, (accept_population(countrycmedicalorganization, muslim, n65))). % 26.38/11.50 tff(c_1072, plain, (accept_population(muslimcountrybhumanitarianorganization, christian, n0))). % 26.38/11.50 tff(c_442, plain, (the_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))). % 26.38/11.50 tff(c_1058, plain, (accept_population(countrycmedicalorganization, christian, n20))). % 26.38/11.50 tff(c_1074, plain, (accept_population(muslimcountrybhumanitarianorganization, atheist, n30))). % 26.38/11.50 tff(c_1068, plain, (accept_population(muslimcountrybhumanitarianorganization, other, n5))). % 26.38/11.50 tff(c_740, plain, (accept_population(countrycmedicalorganization, native, n85))). % 26.38/11.50 tff(c_712, plain, (accept_population(countryamedicalorganization, atheist, n30))). % 26.38/11.50 tff(c_684, plain, (accept_population(christiancountrychumanitarianorganization, muslim, n65))). % 26.38/11.50 tff(c_724, plain, (accept_population(countryahumanitarianorganization, muslim, n0))). % 26.38/11.50 tff(c_682, plain, (accept_population(christiancountrychumanitarianorganization, other, n5))). % 26.38/11.50 tff(c_698, plain, (accept_population(christiancountrychumanitarianorganization, atheist, n78))). % 26.38/11.50 tff(c_744, plain, (accept_population(countrycmedicalorganization, christian, n3))). % 26.38/11.50 tff(c_878, plain, (accept_population(countryafirstaidorganization, christian, n3))). % 26.38/11.50 tff(c_728, plain, (accept_population(countryahumanitarianorganization, atheist, n12))). % 26.38/11.50 tff(c_746, plain, (accept_population(countrycmedicalorganization, atheist, n12))). % 26.38/11.50 tff(c_686, plain, (accept_population(christiancountrychumanitarianorganization, christian, n0))). % 26.38/11.50 tff(c_708, plain, (accept_population(countryamedicalorganization, muslim, n65))). % 26.38/11.50 tff(c_694, plain, (accept_population(christiancountrychumanitarianorganization, other, n1))). % 26.38/11.50 tff(c_1228, plain, (accept_population(countryafirstaidorganization, atheist, n75))). % 26.38/11.50 tff(c_756, plain, (accept_population(countrybcivilorganization, christian, n3))). % 26.38/11.50 tff(c_1056, plain, (accept_population(countrycmedicalorganization, other, n1))). % 26.38/11.50 tff(c_1048, plain, (accept_population(countrycmedicalorganization, christian, n0))). % 26.38/11.50 tff(c_1050, plain, (accept_population(countrycmedicalorganization, atheist, n30))). % 26.38/11.50 tff(c_1088, plain, (accept_population(muslimcountrybhumanitarianorganization, atheist, n78))). % 26.38/11.50 tff(c_752, plain, (accept_population(countrybcivilorganization, native, n85))). % 26.38/11.50 tff(c_1244, plain, (accept_population(countrycmedicalorganization, other, n0))). % 26.38/11.50 tff(c_418, plain, (the_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))). % 26.38/11.50 tff(c_1246, plain, (accept_population(countrycmedicalorganization, native, n0))). % 26.38/11.50 tff(c_688, plain, (accept_population(christiancountrychumanitarianorganization, atheist, n30))). % 26.38/11.50 tff(c_742, plain, (accept_population(countrycmedicalorganization, muslim, n0))). % 26.38/11.50 tff(c_642, plain, (the_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))). % 26.38/11.50 tff(c_1080, plain, (accept_population(muslimcountrybhumanitarianorganization, other, n1))). % 26.38/11.50 tff(c_674, plain, (the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))). % 26.38/11.50 tff(c_1182, plain, (accept_population(sufferterragovernment, other, n1))). % 26.38/11.50 tff(c_1086, plain, (accept_population(muslimcountrybhumanitarianorganization, christian, n20))). % 26.38/11.50 tff(c_224, plain, (any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))). % 26.38/11.50 tff(c_1044, plain, (accept_population(countrycmedicalorganization, other, n5))). % 26.38/11.50 tff(c_666, plain, (any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))). % 26.38/11.50 tff(c_1082, plain, (accept_population(muslimcountrybhumanitarianorganization, native, n0))). % 26.38/11.50 tff(c_1220, plain, (accept_population(countryafirstaidorganization, other, n0))). % 26.38/11.50 tff(c_676, plain, (any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, sufferterragovernment, towna))). % 26.38/11.50 tff(c_968, plain, (accept_population(sufferterragovernment, atheist, n12))). % 26.38/11.50 tff(c_1036, plain, (accept_population(countryccivilorganization, atheist, n30))). % 26.38/11.50 tff(c_870, plain, (accept_population(muslimcountrybhumanitarianorganization, atheist, n12))). % 26.38/11.50 tff(c_1250, plain, (accept_population(countrycmedicalorganization, christian, n24))). % 26.38/11.50 tff(c_1248, plain, (accept_population(countrycmedicalorganization, muslim, n1))). % 26.38/11.50 tff(c_1024, plain, (accept_population(christiansufferterrahumanitarianorganization, atheist, n78))). % 26.38/11.50 tff(c_316, plain, (the_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.50 tff(c_664, plain, (the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, sufferterragovernment, towna))). % 26.38/11.50 tff(c_1084, plain, (accept_population(muslimcountrybhumanitarianorganization, muslim, n1))). % 26.38/11.50 tff(c_1032, plain, (accept_population(countryccivilorganization, muslim, n65))). % 26.38/11.50 tff(c_1016, plain, (accept_population(christiansufferterrahumanitarianorganization, other, n1))). % 26.38/11.50 tff(c_1134, plain, (accept_population(countryacivilorganization, christian, n20))). % 26.38/11.50 tff(c_902, plain, (accept_population(countryafirstaidorganization, christian, n20))). % 26.38/11.50 tff(c_770, plain, (accept_population(countrybcivilorganization, atheist, n30))). % 26.38/11.50 tff(c_270, plain, (the_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))). % 26.38/11.50 tff(c_764, plain, (accept_population(countrybcivilorganization, other, n5))). % 26.38/11.50 tff(c_780, plain, (accept_population(countrybcivilorganization, atheist, n78))). % 26.38/11.50 tff(c_960, plain, (accept_population(sufferterragovernment, other, n0))). % 26.38/11.50 tff(c_778, plain, (accept_population(countrybcivilorganization, christian, n20))). % 26.38/11.51 tff(c_776, plain, (accept_population(countrybcivilorganization, other, n1))). % 26.38/11.51 tff(c_478, plain, (the_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_1306, plain, (accept_population(countryacivilorganization, muslim, n1))). % 26.38/11.51 tff(c_980, plain, (accept_population(sufferterragovernment, atheist, n30))). % 26.38/11.51 tff(c_854, plain, (accept_population(christiansufferterrahumanitarianorganization, atheist, n12))). % 26.38/11.51 tff(c_1372, plain, (accept_population(christiancountrychumanitarianorganization, native, n0))). % 26.38/11.51 tff(c_508, plain, (any_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_1204, plain, (accept_population(countryccivilorganization, atheist, n75))). % 26.38/11.51 tff(c_1100, plain, (accept_population(countryamedicalorganization, atheist, n78))). % 26.38/11.51 tff(c_1098, plain, (accept_population(countryamedicalorganization, christian, n20))). % 26.38/11.51 tff(c_292, plain, (any_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))). % 26.38/11.51 tff(c_816, plain, (accept_population(countryacivilorganization, christian, n3))). % 26.38/11.51 tff(c_768, plain, (accept_population(countrybcivilorganization, christian, n0))). % 26.38/11.51 tff(c_866, plain, (accept_population(muslimcountrybhumanitarianorganization, muslim, n0))). % 26.38/11.51 tff(c_1270, plain, (accept_population(countrybcivilorganization, muslim, n1))). % 26.38/11.51 tff(c_1310, plain, (accept_population(countryacivilorganization, atheist, n75))). % 26.38/11.51 tff(c_836, plain, (accept_population(christiansufferterrahumanitarianorganization, christian, n24))). % 26.38/11.51 tff(c_1118, plain, (accept_population(countryamedicalorganization, native, n0))). % 26.38/11.51 tff(c_766, plain, (accept_population(countrybcivilorganization, muslim, n65))). % 26.38/11.51 tff(c_796, plain, (accept_population(countryccivilorganization, christian, n20))). % 26.38/11.51 tff(c_1148, plain, (accept_population(countryahumanitarianorganization, atheist, n78))). % 26.38/11.51 tff(c_838, plain, (accept_population(christiansufferterrahumanitarianorganization, atheist, n75))). % 26.38/11.51 tff(c_976, plain, (accept_population(sufferterragovernment, muslim, n65))). % 26.38/11.51 tff(c_470, plain, (the_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_812, plain, (accept_population(countryacivilorganization, native, n85))). % 26.38/11.51 tff(c_962, plain, (accept_population(sufferterragovernment, native, n85))). % 26.38/11.51 tff(c_1308, plain, (accept_population(countryacivilorganization, christian, n24))). % 26.38/11.51 tff(c_1188, plain, (accept_population(sufferterragovernment, christian, n20))). % 26.38/11.51 tff(c_978, plain, (accept_population(sufferterragovernment, christian, n0))). % 26.38/11.51 tff(c_994, plain, (accept_population(christiansufferterrahumanitarianorganization, christian, n0))). % 26.38/11.51 tff(c_1304, plain, (accept_population(countryacivilorganization, native, n0))). % 26.38/11.51 tff(c_818, plain, (accept_population(countryacivilorganization, atheist, n12))). % 26.38/11.51 tff(c_900, plain, (accept_population(countryafirstaidorganization, other, n1))). % 26.38/11.51 tff(c_518, plain, (any_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_1268, plain, (accept_population(countrybcivilorganization, native, n0))). % 26.38/11.51 tff(c_926, plain, (accept_population(countrybhumanitarianorganization, muslim, n65))). % 26.38/11.51 tff(c_388, plain, (any_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))). % 26.38/11.51 tff(c_222, plain, (the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryacivilorganization, towna))). % 26.38/11.51 tff(c_278, plain, (any_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))). % 26.38/11.51 tff(c_1226, plain, (accept_population(countryafirstaidorganization, christian, n24))). % 26.38/11.51 tff(c_974, plain, (accept_population(sufferterragovernment, other, n5))). % 26.38/11.51 tff(c_892, plain, (accept_population(countryafirstaidorganization, atheist, n30))). % 26.38/11.51 tff(c_990, plain, (accept_population(christiansufferterrahumanitarianorganization, other, n5))). % 26.38/11.51 tff(c_190, plain, (any_agent_in_all_proposed_teams(countryahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.51 tff(c_618, plain, (the_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))). % 26.38/11.51 tff(c_1136, plain, (accept_population(countryacivilorganization, atheist, n78))). % 26.38/11.51 tff(c_1144, plain, (accept_population(countryahumanitarianorganization, other, n1))). % 26.38/11.51 tff(c_848, plain, (accept_population(christiansufferterrahumanitarianorganization, native, n85))). % 26.38/11.51 tff(c_952, plain, (accept_population(countrybhumanitarianorganization, atheist, n75))). % 26.38/11.51 tff(c_880, plain, (accept_population(countryafirstaidorganization, atheist, n12))). % 26.38/11.51 tff(c_944, plain, (accept_population(countrybhumanitarianorganization, other, n0))). % 26.38/11.51 tff(c_948, plain, (accept_population(countrybhumanitarianorganization, muslim, n1))). % 26.38/11.51 tff(c_620, plain, (any_agent_in_all_proposed_teams(countryccivilorganization, sufferterragovernment, towna))). % 26.38/11.51 tff(c_996, plain, (accept_population(christiansufferterrahumanitarianorganization, atheist, n30))). % 26.38/11.51 tff(c_338, plain, (the_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))). % 26.38/11.51 tff(c_1272, plain, (accept_population(countrybcivilorganization, christian, n24))). % 26.38/11.51 tff(c_1196, plain, (accept_population(countryccivilorganization, other, n0))). % 26.38/11.51 tff(c_1200, plain, (accept_population(countryccivilorganization, muslim, n1))). % 26.38/11.51 tff(c_480, plain, (any_agent_in_all_proposed_teams(countryafirstaidorganization, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_252, plain, (the_agent_not_in_any_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.51 tff(c_368, plain, (any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.51 tff(c_868, plain, (accept_population(muslimcountrybhumanitarianorganization, christian, n3))). % 26.38/11.51 tff(c_1376, plain, (accept_population(christiancountrychumanitarianorganization, christian, n24))). % 26.38/11.51 tff(c_964, plain, (accept_population(sufferterragovernment, muslim, n0))). % 26.38/11.51 tff(c_582, plain, (any_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))). % 26.38/11.51 tff(c_1274, plain, (accept_population(countrybcivilorganization, atheist, n75))). % 26.38/11.51 tff(c_1020, plain, (accept_population(christiansufferterrahumanitarianorganization, muslim, n1))). % 26.38/11.51 tff(c_1266, plain, (accept_population(countrybcivilorganization, other, n0))). % 26.38/11.51 tff(c_272, plain, (any_agent_in_all_proposed_teams(countrybcivilorganization, countryacivilorganization, towna))). % 26.38/11.51 tff(c_1132, plain, (accept_population(countryacivilorganization, other, n1))). % 26.38/11.51 tff(c_496, plain, (any_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_1120, plain, (accept_population(countryamedicalorganization, muslim, n1))). % 26.38/11.51 tff(c_966, plain, (accept_population(sufferterragovernment, christian, n3))). % 26.38/11.51 tff(c_1252, plain, (accept_population(countrycmedicalorganization, atheist, n75))). % 26.38/11.51 tff(c_516, plain, (the_agent_in_all_proposed_teams(countryacivilorganization, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_352, plain, (any_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.51 tff(c_864, plain, (accept_population(muslimcountrybhumanitarianorganization, native, n85))). % 26.38/11.51 tff(c_1374, plain, (accept_population(christiancountrychumanitarianorganization, muslim, n1))). % 26.38/11.51 tff(c_460, plain, (the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_1202, plain, (accept_population(countryccivilorganization, christian, n24))). % 26.38/11.51 tff(c_890, plain, (accept_population(countryafirstaidorganization, christian, n0))). % 26.38/11.51 tff(c_506, plain, (the_agent_in_all_proposed_teams(countryahumanitarianorganization, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_1186, plain, (accept_population(sufferterragovernment, muslim, n1))). % 26.38/11.51 tff(c_260, plain, (the_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))). % 26.38/11.51 tff(c_1018, plain, (accept_population(christiansufferterrahumanitarianorganization, native, n0))). % 26.38/11.51 tff(c_420, plain, (any_agent_in_all_proposed_teams(countryccivilorganization, countryahumanitarianorganization, townc))). % 26.38/11.51 tff(c_830, plain, (accept_population(countryacivilorganization, atheist, n30))). % 26.38/11.51 tff(c_580, plain, (the_agent_in_all_proposed_teams(countrybhumanitarianorganization, sufferterragovernment, towna))). % 26.38/11.51 tff(c_452, plain, (the_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))). % 26.38/11.51 tff(c_304, plain, (the_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.51 tff(c_794, plain, (accept_population(countryccivilorganization, other, n1))). % 26.38/11.51 tff(c_874, plain, (accept_population(countryafirstaidorganization, native, n85))). % 26.38/11.51 tff(c_306, plain, (any_agent_in_all_proposed_teams(countryacivilorganization, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.51 tff(c_262, plain, (any_agent_in_all_proposed_teams(countryccivilorganization, countryacivilorganization, towna))). % 26.38/11.51 tff(c_850, plain, (accept_population(christiansufferterrahumanitarianorganization, muslim, n0))). % 26.38/11.51 tff(c_276, plain, (the_agent_in_all_proposed_teams(countrycmedicalorganization, countryacivilorganization, towna))). % 26.38/11.51 tff(c_876, plain, (accept_population(countryafirstaidorganization, muslim, n0))). % 26.38/11.51 tff(c_852, plain, (accept_population(christiansufferterrahumanitarianorganization, christian, n3))). % 26.38/11.51 tff(c_340, plain, (any_agent_in_all_proposed_teams(countrybcivilorganization, countryahumanitarianorganization, townc))). % 26.38/11.51 tff(c_1172, plain, (accept_population(countryahumanitarianorganization, atheist, n75))). % 26.38/11.51 tff(c_1146, plain, (accept_population(countryahumanitarianorganization, christian, n20))). % 26.38/11.51 tff(c_318, plain, (any_agent_in_all_proposed_teams(countryafirstaidorganization, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.51 tff(c_1096, plain, (accept_population(countryamedicalorganization, other, n1))). % 26.38/11.51 tff(c_598, plain, (any_agent_in_all_proposed_teams(countrybcivilorganization, sufferterragovernment, towna))). % 26.38/11.51 tff(c_644, plain, (any_agent_in_all_proposed_teams(countrycmedicalorganization, sufferterragovernment, towna))). % 26.38/11.51 tff(c_786, plain, (accept_population(sufferterragovernment, christian, n24))). % 26.38/11.51 tff(c_404, plain, (the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryahumanitarianorganization, townc))). % 26.38/11.51 tff(c_928, plain, (accept_population(countrybhumanitarianorganization, christian, n0))). % 26.38/11.51 tff(c_462, plain, (any_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_1124, plain, (accept_population(countryamedicalorganization, atheist, n75))). % 26.38/11.51 tff(c_798, plain, (accept_population(countryccivilorganization, atheist, n78))). % 26.38/11.51 tff(c_904, plain, (accept_population(countryafirstaidorganization, atheist, n78))). % 26.38/11.51 tff(c_1198, plain, (accept_population(countryccivilorganization, native, n0))). % 26.38/11.51 tff(c_930, plain, (accept_population(countrybhumanitarianorganization, atheist, n30))). % 26.38/11.51 tff(c_1184, plain, (accept_population(sufferterragovernment, native, n0))). % 26.38/11.51 tff(c_788, plain, (accept_population(sufferterragovernment, atheist, n75))). % 26.38/11.51 tff(c_826, plain, (accept_population(countryacivilorganization, muslim, n65))). % 26.38/11.51 tff(c_472, plain, (any_agent_in_all_proposed_teams(sufferterragovernment, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_886, plain, (accept_population(countryafirstaidorganization, other, n5))). % 26.38/11.51 tff(c_992, plain, (accept_population(christiansufferterrahumanitarianorganization, muslim, n65))). % 26.38/11.51 tff(c_350, plain, (the_agent_in_all_proposed_teams(sufferterragovernment, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.51 tff(c_1170, plain, (accept_population(countryahumanitarianorganization, christian, n24))). % 26.38/11.51 tff(c_290, plain, (the_agent_in_all_proposed_teams(christiancountrychumanitarianorganization, countryacivilorganization, towna))). % 26.38/11.51 tff(c_862, plain, (accept_population(muslimcountrybhumanitarianorganization, other, n0))). % 26.38/11.51 tff(c_494, plain, (the_agent_in_all_proposed_teams(countryamedicalorganization, countrybhumanitarianorganization, cityb))). % 26.38/11.51 tff(c_1224, plain, (accept_population(countryafirstaidorganization, muslim, n1))). % 26.38/11.51 tff(c_1378, plain, (accept_population(christiancountrychumanitarianorganization, atheist, n75))). % 26.38/11.51 tff(c_1190, plain, (accept_population(sufferterragovernment, atheist, n78))). % 26.38/11.51 tff(c_1022, plain, (accept_population(christiansufferterrahumanitarianorganization, christian, n20))). % 26.38/11.51 tff(c_386, plain, (the_agent_in_all_proposed_teams(muslimcountrybhumanitarianorganization, countryahumanitarianorganization, townc))). % 26.38/11.51 tff(c_1116, plain, (accept_population(countryamedicalorganization, other, n0))). % 26.38/11.51 tff(c_444, plain, (any_agent_in_all_proposed_teams(countrycmedicalorganization, countryahumanitarianorganization, townc))). % 26.38/11.51 tff(c_454, plain, (any_agent_in_all_proposed_teams(countrybhumanitarianorganization, countryahumanitarianorganization, townc))). % 26.38/11.51 tff(c_814, plain, (accept_population(countryacivilorganization, muslim, n0))). % 26.38/11.51 tff(c_946, plain, (accept_population(countrybhumanitarianorganization, native, n0))). % 26.38/11.51 tff(c_1030, plain, (accept_population(countryccivilorganization, other, n5))). % 26.38/11.51 tff(c_888, plain, (accept_population(countryafirstaidorganization, muslim, n65))). % 26.38/11.51 tff(c_1122, plain, (accept_population(countryamedicalorganization, christian, n24))). % 26.38/11.51 tff(c_846, plain, (accept_population(christiansufferterrahumanitarianorganization, other, n0))). % 26.38/11.51 tff(c_254, plain, (any_agent_in_all_proposed_teams(countryamedicalorganization, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.51 tff(c_1164, plain, (accept_population(countryahumanitarianorganization, other, n0))). % 26.38/11.51 tff(c_1302, plain, (accept_population(countryacivilorganization, other, n0))). % 26.38/11.51 tff(c_950, plain, (accept_population(countrybhumanitarianorganization, christian, n24))). % 26.38/11.51 tff(c_200, plain, (the_agent_not_in_any_proposed_teams(muslimcountrybhumanitarianorganization, countryacivilorganization, towna))). % 26.38/11.51 tff(c_366, plain, (the_agent_in_all_proposed_teams(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization, coastvillage))). % 26.38/11.51 tff(c_1294, plain, (accept_number(countryacivilorganization, n4))). % 26.38/11.51 tff(c_1352, plain, (accept_number(countrybhumanitarianorganization, n6))). % 26.38/11.51 tff(c_1382, plain, (accept_leader(christiancountrychumanitarianorganization, sufferterragovernment))). % 26.38/11.51 tff(c_934, plain, (accept_leader(countrybhumanitarianorganization, countryahumanitarianorganization))). % 26.38/11.51 tff(c_936, plain, (accept_leader(countrybhumanitarianorganization, countryccivilorganization))). % 26.38/11.51 tff(c_1174, plain, (accept_number(countryahumanitarianorganization, n6))). % 26.38/11.51 tff(c_940, plain, (accept_leader(countrybhumanitarianorganization, christiancountrychumanitarianorganization))). % 26.38/11.51 tff(c_1290, plain, (accept_number(sufferterragovernment, n6))). % 26.38/11.51 tff(c_1176, plain, (accept_leader(countryahumanitarianorganization, sufferterragovernment))). % 26.38/11.51 tff(c_1178, plain, (accept_city(countryahumanitarianorganization, towna))). % 26.38/11.51 tff(c_938, plain, (accept_leader(countrybhumanitarianorganization, countrybcivilorganization))). % 26.38/11.51 tff(c_942, plain, (accept_leader(countrybhumanitarianorganization, countrycmedicalorganization))). % 26.38/11.51 tff(c_1292, plain, (accept_number(countryacivilorganization, n5))). % 26.38/11.51 tff(c_922, plain, (accept_leader(countrybhumanitarianorganization, muslimcountrybhumanitarianorganization))). % 26.38/11.51 tff(c_932, plain, (accept_city(countrybhumanitarianorganization, townc))). % 26.38/11.51 tff(c_1296, plain, (accept_number(countryacivilorganization, n3))). % 26.38/11.51 tff(c_1350, plain, (accept_number(countrybhumanitarianorganization, n1))). % 26.38/11.51 tff(c_1180, plain, (accept_leader(sufferterragovernment, countryacivilorganization))). % 26.38/11.51 tff(c_1288, plain, (accept_number(sufferterragovernment, n1))). % 26.38/11.51 tff(c_1298, plain, (accept_number(countryacivilorganization, n2))). % 26.38/11.51 tff(c_1354, plain, (accept_leader(christiancountrychumanitarianorganization, countrybhumanitarianorganization))). % 26.38/11.51 tff(c_920, plain, (accept_city(countrybhumanitarianorganization, coastvillage))). % 26.38/11.51 tff(c_954, plain, (accept_city(countrybhumanitarianorganization, towna))). % 26.38/11.51 tff(c_956, plain, (accept_leader(countrybhumanitarianorganization, sufferterragovernment))). % 26.38/11.51 tff(c_958, plain, (accept_leader(sufferterragovernment, countryafirstaidorganization))). % 26.38/11.51 tff(c_1162, plain, (accept_number(countryahumanitarianorganization, n1))). % 26.38/11.51 tff(c_910, plain, (accept_leader(countrybhumanitarianorganization, countryacivilorganization))). % 26.38/11.51 tff(c_1286, plain, (accept_number(sufferterragovernment, n2))). % 26.38/11.51 tff(c_1384, plain, (accept_number(countrycmedicalorganization, n5))). % 26.38/11.51 tff(c_908, plain, (accept_leader(countryafirstaidorganization, countrybhumanitarianorganization))). % 26.38/11.51 tff(c_1300, plain, (accept_number(countryacivilorganization, n1))). % 26.38/11.51 tff(c_1356, plain, (accept_leader(christiancountrychumanitarianorganization, countrycmedicalorganization))). % 26.38/11.51 tff(c_1398, plain, (accept_number(muslimcountrybhumanitarianorganization, n4))). % 26.38/11.51 tff(c_1160, plain, (accept_number(countryahumanitarianorganization, n2))). % 26.38/11.51 tff(c_970, plain, (accept_city(sufferterragovernment, coastvillage))). % 26.38/11.51 tff(c_972, plain, (accept_leader(sufferterragovernment, christiancountrychumanitarianorganization))). % 26.38/11.51 tff(c_906, plain, (accept_city(countryafirstaidorganization, cityb))). % 26.38/11.51 tff(c_1192, plain, (accept_city(sufferterragovernment, cityb))). % 26.38/11.51 tff(c_1158, plain, (accept_number(countryahumanitarianorganization, n3))). % 26.38/11.51 tff(c_720, plain, (accept_leader(countryahumanitarianorganization, countryafirstaidorganization))). % 26.38/11.51 tff(c_702, plain, (~accept_city(countryamedicalorganization, coastvillage))). % 26.38/11.51 tff(c_732, plain, (accept_leader(countryahumanitarianorganization, christiancountrychumanitarianorganization))). % 26.38/11.51 tff(c_748, plain, (accept_city(countrycmedicalorganization, coastvillage))). % 26.38/11.51 tff(c_1328, plain, (accept_number(countrybcivilorganization, n5))). % 26.38/11.51 tff(c_736, plain, (accept_leader(christiansufferterrahumanitarianorganization, countryamedicalorganization))). % 26.38/11.51 tff(c_760, plain, (accept_city(countrybcivilorganization, coastvillage))). % 26.38/11.51 tff(c_734, plain, (accept_leader(countryafirstaidorganization, countryamedicalorganization))). % 26.38/11.52 tff(c_1054, plain, (accept_leader(countrycmedicalorganization, countryahumanitarianorganization))). % 26.38/11.52 tff(c_738, plain, (accept_leader(countrycmedicalorganization, countryacivilorganization))). % 26.38/11.52 tff(c_718, plain, (accept_leader(countryahumanitarianorganization, countryamedicalorganization))). % 26.38/11.52 tff(c_1238, plain, (accept_leader(countrycmedicalorganization, countrybcivilorganization))). % 26.38/11.52 tff(c_1066, plain, (accept_leader(muslimcountrybhumanitarianorganization, christiancountrychumanitarianorganization))). % 26.38/11.52 tff(c_1326, plain, (accept_leader(christiancountrychumanitarianorganization, countryccivilorganization))). % 26.38/11.52 tff(c_1092, plain, (accept_city(muslimcountrybhumanitarianorganization, cityb))). % 26.38/11.52 tff(c_714, plain, (accept_leader(countryamedicalorganization, countryahumanitarianorganization))). % 26.38/11.52 tff(c_1076, plain, (accept_city(muslimcountrybhumanitarianorganization, townc))). % 26.38/11.52 tff(c_730, plain, (accept_city(countryahumanitarianorganization, coastvillage))). % 26.38/11.52 tff(c_1078, plain, (accept_leader(muslimcountrybhumanitarianorganization, countryahumanitarianorganization))). % 26.38/11.52 tff(c_1062, plain, (accept_city(countrycmedicalorganization, cityb))). % 26.38/11.52 tff(c_1390, plain, (accept_number(countrycmedicalorganization, n2))). % 26.38/11.52 tff(c_1242, plain, (accept_leader(countrycmedicalorganization, christiancountrychumanitarianorganization))). % 26.38/11.52 tff(c_774, plain, (accept_leader(countrybcivilorganization, countryahumanitarianorganization))). % 26.38/11.52 tff(c_1240, plain, (accept_leader(countrycmedicalorganization, countrybhumanitarianorganization))). % 26.38/11.52 tff(c_1330, plain, (accept_number(countrybcivilorganization, n4))). % 26.38/11.52 tff(c_750, plain, (accept_leader(countrybcivilorganization, countryacivilorganization))). % 26.38/11.52 tff(c_1236, plain, (accept_leader(countrycmedicalorganization, countryccivilorganization))). % 26.38/11.52 tff(c_1064, plain, (accept_leader(muslimcountrybhumanitarianorganization, countrycmedicalorganization))). % 26.38/11.52 tff(c_1402, plain, (accept_number(muslimcountrybhumanitarianorganization, n2))). % 26.38/11.52 tff(c_1324, plain, (accept_number(countryccivilorganization, n4))). % 26.38/11.52 tff(c_1368, plain, (accept_number(christiancountrychumanitarianorganization, n6))). % 26.38/11.52 tff(c_762, plain, (accept_leader(countrybcivilorganization, muslimcountrybhumanitarianorganization))). % 26.38/11.52 tff(c_1090, plain, (accept_leader(muslimcountrybhumanitarianorganization, countrybhumanitarianorganization))). % 26.38/11.52 tff(c_772, plain, (accept_city(countrybcivilorganization, townc))). % 26.38/11.52 tff(c_716, plain, (accept_city(countryamedicalorganization, townc))). % 26.38/11.52 tff(c_784, plain, (accept_leader(sufferterragovernment, countryamedicalorganization))). % 26.38/11.52 tff(c_1332, plain, (accept_number(countrybcivilorganization, n3))). % 26.38/11.52 tff(c_1320, plain, (accept_number(countryccivilorganization, n2))). % 26.38/11.52 tff(c_782, plain, (accept_city(countrybcivilorganization, cityb))). % 26.38/11.52 tff(c_1052, plain, (accept_city(countrycmedicalorganization, townc))). % 26.38/11.52 tff(c_1234, plain, (accept_city(countryafirstaidorganization, towna))). % 26.38/11.52 tff(c_1392, plain, (accept_number(countrycmedicalorganization, n1))). % 26.38/11.52 tff(c_792, plain, (~accept_number(countryccivilorganization, n5))). % 26.38/11.52 tff(c_800, plain, (~accept_number(countryccivilorganization, n6))). % 26.38/11.52 tff(c_1094, plain, (accept_leader(countryamedicalorganization, countryacivilorganization))). % 26.38/11.52 tff(c_1254, plain, (accept_city(countrycmedicalorganization, towna))). % 26.38/11.52 tff(c_1256, plain, (accept_leader(countrycmedicalorganization, sufferterragovernment))). % 26.38/11.52 tff(c_690, plain, (accept_city(christiancountrychumanitarianorganization, townc))). % 26.38/11.52 tff(c_1038, plain, (accept_city(countryccivilorganization, townc))). % 26.38/11.52 tff(c_704, plain, (accept_leader(countryamedicalorganization, christiancountrychumanitarianorganization))). % 26.38/11.52 tff(c_700, plain, (accept_city(christiancountrychumanitarianorganization, cityb))). % 26.38/11.52 tff(c_790, plain, (accept_city(sufferterragovernment, towna))). % 26.38/11.52 tff(c_1334, plain, (accept_number(countrybcivilorganization, n2))). % 26.38/11.52 tff(c_1102, plain, (accept_city(countryamedicalorganization, cityb))). % 26.38/11.52 tff(c_1258, plain, (accept_leader(countrybcivilorganization, countryccivilorganization))). % 26.38/11.52 tff(c_1322, plain, (accept_number(countryccivilorganization, n1))). % 26.38/11.52 tff(c_1104, plain, (accept_leader(countryamedicalorganization, countrybhumanitarianorganization))). % 26.38/11.52 tff(c_1108, plain, (accept_number(countryamedicalorganization, n4))). % 26.38/11.52 tff(c_678, plain, (accept_leader(christiancountrychumanitarianorganization, countryacivilorganization))). % 26.38/11.52 tff(c_806, plain, (accept_leader(countryccivilorganization, countryacivilorganization))). % 26.38/11.52 tff(c_692, plain, (accept_leader(christiancountrychumanitarianorganization, countryahumanitarianorganization))). % 26.38/11.52 tff(c_1232, plain, (accept_leader(countryafirstaidorganization, sufferterragovernment))). % 26.38/11.52 tff(c_1230, plain, (accept_number(countryafirstaidorganization, n6))). % 26.38/11.52 tff(c_804, plain, (accept_city(countryccivilorganization, cityb))). % 26.38/11.52 tff(c_1106, plain, (accept_number(countryamedicalorganization, n5))). % 26.38/11.52 tff(c_802, plain, (accept_leader(countryccivilorganization, countrybhumanitarianorganization))). % 26.38/11.52 tff(c_1042, plain, (accept_leader(countrycmedicalorganization, muslimcountrybhumanitarianorganization))). % 26.38/11.52 tff(c_808, plain, (accept_leader(countryacivilorganization, countryamedicalorganization))). % 26.38/11.52 tff(c_1338, plain, (accept_number(countrybcivilorganization, n6))). % 26.38/11.52 tff(c_680, plain, (accept_leader(christiancountrychumanitarianorganization, muslimcountrybhumanitarianorganization))). % 26.38/11.52 tff(c_1112, plain, (accept_number(countryamedicalorganization, n2))). % 26.38/11.52 tff(c_1262, plain, (accept_leader(countrybcivilorganization, christiancountrychumanitarianorganization))). % 26.38/11.52 tff(c_1260, plain, (accept_leader(countrybcivilorganization, countrybhumanitarianorganization))). % 26.38/11.52 tff(c_1336, plain, (accept_number(countrybcivilorganization, n1))). % 26.38/11.52 tff(c_1110, plain, (accept_number(countryamedicalorganization, n3))). % 26.38/11.52 tff(c_1364, plain, (accept_number(christiancountrychumanitarianorganization, n2))). % 26.38/11.52 tff(c_1366, plain, (accept_number(christiancountrychumanitarianorganization, n1))). % 26.38/11.52 tff(c_1314, plain, (accept_leader(countryacivilorganization, sufferterragovernment))). % 26.38/11.52 tff(c_1400, plain, (accept_number(muslimcountrybhumanitarianorganization, n3))). % 26.38/11.52 tff(c_1114, plain, (accept_number(countryamedicalorganization, n1))). % 26.38/11.52 tff(c_1318, plain, (accept_number(countryccivilorganization, n3))). % 26.38/11.52 tff(c_810, plain, (accept_leader(countryacivilorganization, countryafirstaidorganization))). % 26.38/11.52 tff(c_1040, plain, (accept_leader(countryccivilorganization, countryahumanitarianorganization))). % 26.38/11.52 tff(c_1026, plain, (accept_city(christiansufferterrahumanitarianorganization, cityb))). % 26.38/11.52 tff(c_820, plain, (accept_city(countryacivilorganization, coastvillage))). % 26.38/11.52 tff(c_1406, plain, (accept_number(muslimcountrybhumanitarianorganization, n6))). % 26.38/11.52 tff(c_1388, plain, (accept_number(countrycmedicalorganization, n3))). % 26.38/11.52 tff(c_834, plain, (accept_city(countryacivilorganization, townc))). % 26.38/11.52 tff(c_1014, plain, (accept_number(christiansufferterrahumanitarianorganization, n6))). % 26.38/11.52 tff(c_1264, plain, (accept_leader(countrybcivilorganization, countrycmedicalorganization))). % 26.38/11.52 tff(c_1342, plain, (accept_number(countrybhumanitarianorganization, n5))). % 26.38/11.52 tff(c_1316, plain, (accept_city(countryacivilorganization, towna))). % 26.38/11.52 tff(c_822, plain, (accept_leader(countryacivilorganization, christiancountrychumanitarianorganization))). % 26.38/11.52 tff(c_832, plain, (accept_leader(countryacivilorganization, countryahumanitarianorganization))). % 26.38/11.52 tff(c_1028, plain, (accept_leader(christiansufferterrahumanitarianorganization, countrybhumanitarianorganization))). % 26.38/11.52 tff(c_1216, plain, (accept_number(countryafirstaidorganization, n2))). % 26.38/11.52 tff(c_1394, plain, (accept_number(countrycmedicalorganization, n6))). % 26.38/11.52 tff(c_1340, plain, (accept_leader(christiancountrychumanitarianorganization, countrybcivilorganization))). % 26.38/11.52 tff(c_1126, plain, (accept_number(countryamedicalorganization, n6))). % 26.38/11.52 tff(c_1010, plain, (accept_number(christiansufferterrahumanitarianorganization, n2))). % 26.38/11.52 tff(c_842, plain, (accept_city(christiansufferterrahumanitarianorganization, towna))). % 26.38/11.52 tff(c_840, plain, (~accept_leader(christiansufferterrahumanitarianorganization, sufferterragovernment))). % 26.38/11.52 tff(c_1212, plain, (accept_number(countryafirstaidorganization, n4))). % 26.38/11.52 tff(c_844, plain, (accept_leader(christiansufferterrahumanitarianorganization, countryafirstaidorganization))). % 26.38/11.52 tff(c_1218, plain, (accept_number(countryafirstaidorganization, n1))). % 26.38/11.52 tff(c_1128, plain, (accept_leader(countryamedicalorganization, sufferterragovernment))). % 26.38/11.52 tff(c_856, plain, (accept_city(christiansufferterrahumanitarianorganization, coastvillage))). % 26.38/11.52 tff(c_1214, plain, (accept_number(countryafirstaidorganization, n3))). % 26.38/11.52 tff(c_1138, plain, (accept_city(countryacivilorganization, cityb))). % 26.38/11.52 tff(c_1006, plain, (accept_number(christiansufferterrahumanitarianorganization, n4))). % 26.38/11.52 tff(c_1312, plain, (accept_number(countryacivilorganization, n6))). % 26.38/11.52 tff(c_1130, plain, (accept_city(countryamedicalorganization, towna))). % 26.38/11.52 tff(c_1362, plain, (accept_number(christiancountrychumanitarianorganization, n3))). % 26.38/11.52 tff(c_858, plain, (accept_leader(christiansufferterrahumanitarianorganization, christiancountrychumanitarianorganization))). % 26.38/11.52 tff(c_860, plain, (accept_leader(muslimcountrybhumanitarianorganization, countryacivilorganization))). % 26.38/11.52 tff(c_1210, plain, (accept_number(countryafirstaidorganization, n5))). % 26.38/11.52 tff(c_1140, plain, (accept_leader(countryacivilorganization, countrybhumanitarianorganization))). % 26.38/11.52 tff(c_1004, plain, (accept_number(christiansufferterrahumanitarianorganization, n5))). % 26.38/11.52 tff(c_1012, plain, (accept_number(christiansufferterrahumanitarianorganization, n1))). % 26.38/11.52 tff(c_1002, plain, (accept_leader(christiansufferterrahumanitarianorganization, countryacivilorganization))). % 26.38/11.52 tff(c_1344, plain, (accept_number(countrybhumanitarianorganization, n4))). % 26.38/11.52 tff(c_1276, plain, (accept_city(countrybcivilorganization, towna))). % 26.38/11.52 tff(c_872, plain, (accept_city(muslimcountrybhumanitarianorganization, coastvillage))). % 26.38/11.52 tff(c_1008, plain, (accept_number(christiansufferterrahumanitarianorganization, n3))). % 26.38/11.52 tff(c_1142, plain, (accept_leader(countryahumanitarianorganization, countryacivilorganization))). % 26.38/11.52 tff(c_1278, plain, (accept_leader(countrybcivilorganization, sufferterragovernment))). % 26.38/11.52 tff(c_882, plain, (accept_city(countryafirstaidorganization, coastvillage))). % 26.38/11.52 tff(c_884, plain, (accept_leader(countryafirstaidorganization, christiancountrychumanitarianorganization))). % 26.38/11.52 tff(c_1000, plain, (accept_city(christiansufferterrahumanitarianorganization, townc))). % 26.38/11.52 tff(c_1280, plain, (accept_number(sufferterragovernment, n5))). % 26.38/11.52 tff(c_1152, plain, (accept_leader(countryahumanitarianorganization, countrybhumanitarianorganization))). % 26.38/11.52 tff(c_1208, plain, (accept_leader(countryccivilorganization, sufferterragovernment))). % 26.38/11.52 tff(c_1346, plain, (accept_number(countrybhumanitarianorganization, n3))). % 26.38/11.52 tff(c_1150, plain, (accept_city(countryahumanitarianorganization, cityb))). % 26.38/11.52 tff(c_998, plain, (accept_leader(christiansufferterrahumanitarianorganization, countryahumanitarianorganization))). % 26.38/11.52 tff(c_1206, plain, (accept_city(countryccivilorganization, towna))). % 26.38/11.52 tff(c_894, plain, (accept_leader(countryafirstaidorganization, countryahumanitarianorganization))). % 26.38/11.52 tff(c_1360, plain, (accept_number(christiancountrychumanitarianorganization, n4))). % 26.38/11.52 tff(c_1282, plain, (accept_number(sufferterragovernment, n4))). % 26.38/11.52 tff(c_988, plain, (accept_leader(muslimcountrybhumanitarianorganization, countrybcivilorganization))). % 26.38/11.52 tff(c_986, plain, (accept_leader(muslimcountrybhumanitarianorganization, countryccivilorganization))). % 26.38/11.52 tff(c_896, plain, (accept_city(countryafirstaidorganization, townc))). % 26.38/11.52 tff(c_1386, plain, (accept_number(countrycmedicalorganization, n4))). % 26.38/11.52 tff(c_1154, plain, (accept_number(countryahumanitarianorganization, n5))). % 26.38/11.52 tff(c_898, plain, (accept_leader(countryafirstaidorganization, countryacivilorganization))). % 26.38/11.52 tff(c_1156, plain, (accept_number(countryahumanitarianorganization, n4))). % 26.38/11.52 tff(c_1284, plain, (accept_number(sufferterragovernment, n3))). % 26.38/11.52 tff(c_984, plain, (accept_city(sufferterragovernment, townc))). % 26.38/11.52 tff(c_982, plain, (accept_leader(sufferterragovernment, countryahumanitarianorganization))). % 26.38/11.52 tff(c_1358, plain, (accept_number(christiancountrychumanitarianorganization, n5))). % 26.38/11.52 tff(c_1194, plain, (accept_leader(sufferterragovernment, countrybhumanitarianorganization))). % 26.38/11.52 tff(c_1348, plain, (accept_number(countrybhumanitarianorganization, n2))). % 26.38/11.52 tff(c_1380, plain, (accept_city(christiancountrychumanitarianorganization, towna))). % 26.38/11.52 tff(c_1396, plain, (accept_number(muslimcountrybhumanitarianorganization, n5))). % 26.38/11.52 tff(c_1404, plain, (accept_number(muslimcountrybhumanitarianorganization, n1))). % 26.38/11.52 tff(c_1408, plain, (~accept_city(muslimcountrybhumanitarianorganization, towna))). % 26.38/11.52 tff(c_1410, plain, (accept_leader(muslimcountrybhumanitarianorganization, sufferterragovernment))). % 26.38/11.52 % SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 26.38/11.52 %------------------------------------------------------------------------------