%------------------------------------------------------------------------------
% File : Beagle---0.9.52
% Problem : MGT034+1 : TPTP v9.3.0. Released v2.0.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 : n015.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8046.5625MB
% OS : Linux 6.8.0-71-generic
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Sep 8 06:02:56 AM UTC 2026
% Result : CounterSatisfiable 13.14s 4.69s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.03 % Problem : MGT034+1 : TPTP v9.3.0. Released v2.0.0.
% 0.00/0.04 % 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.11/0.37 % Computer : n015.cluster.edu
% 0.11/0.37 % Model : x86_64 x86_64
% 0.11/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.37 % Memory : 8046.5625MB
% 0.11/0.37 % OS : Linux 6.8.0-71-generic
% 0.11/0.37 % CPULimit : 300
% 0.11/0.37 % WCLimit : 300
% 0.11/0.37 % DateTime : Mon Sep 7 12:31:45 UTC 2026
% 0.11/0.38 % CPUTime :
% 13.14/4.68
% 13.14/4.69 % SZS status CounterSatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 13.14/4.69
% 13.14/4.69 % SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 13.54/4.70 %$ subpopulations > selection_favors > in_environment > greater_or_equal > greater > environment > decreases > growth_rate > founding_rate > disbanding_rate > difference > appear > #nlpp > start_time > critical_point > zero > first_movers > efficient_producers > #skF_2 > #skF_1
% 13.54/4.70
% 13.54/4.70 %Foreground sorts:
% 13.54/4.70
% 13.54/4.70
% 13.54/4.70 %Background operators:
% 13.54/4.70
% 13.54/4.70
% 13.54/4.70 %Foreground operators:
% 13.54/4.70 tff(subpopulations, type, subpopulations: ($i * $i * $i * $i) > $o).
% 13.54/4.70 tff(greater, type, greater: ($i * $i) > $o).
% 13.54/4.70 tff(in_environment, type, in_environment: ($i * $i) > $o).
% 13.54/4.70 tff(founding_rate, type, founding_rate: ($i * $i) > $i).
% 13.54/4.70 tff(appear, type, appear: ($i * $i) > $i).
% 13.54/4.70 tff(efficient_producers, type, efficient_producers: $i).
% 13.54/4.70 tff(disbanding_rate, type, disbanding_rate: ($i * $i) > $i).
% 13.54/4.70 tff(critical_point, type, critical_point: $i > $i).
% 13.54/4.70 tff(growth_rate, type, growth_rate: ($i * $i) > $i).
% 13.54/4.70 tff(decreases, type, decreases: $i > $o).
% 13.54/4.70 tff('#skF_2', type, '#skF_2': $i).
% 13.54/4.70 tff('#skF_1', type, '#skF_1': $i).
% 13.54/4.70 tff(environment, type, environment: $i > $o).
% 13.54/4.70 tff(start_time, type, start_time: $i > $i).
% 13.54/4.70 tff(first_movers, type, first_movers: $i).
% 13.54/4.70 tff(difference, type, difference: ($i * $i) > $i).
% 13.54/4.70 tff(greater_or_equal, type, greater_or_equal: ($i * $i) > $o).
% 13.54/4.70 tff(selection_favors, type, selection_favors: ($i * $i * $i) > $o).
% 13.54/4.70 tff(zero, type, zero: $i).
% 13.54/4.70
% 13.54/4.70 %Saturated clause set:
% 13.54/4.70 tff(c_1900, plain, (![E_546, E_547]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_546))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_546)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_546))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_546))))) | ~in_environment(E_547, growth_rate(first_movers, appear(efficient_producers, E_546))) | ~environment(E_547) | greater(growth_rate(efficient_producers, appear(efficient_producers, E_546)), growth_rate(first_movers, appear(efficient_producers, E_546))) | difference(growth_rate(first_movers, appear(efficient_producers, E_546)), growth_rate(efficient_producers, appear(efficient_producers, E_546)))=zero | ~in_environment(E_546, appear(efficient_producers, E_546)) | ~environment(E_546) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_546)), appear(efficient_producers, E_547)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_546))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_546)))), zero)))).
% 13.54/4.70 tff(c_1850, plain, (![E_526, E_527]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_526))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_526)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_526))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_526))))) | ~in_environment(E_527, growth_rate(first_movers, appear(efficient_producers, E_526))) | greater(growth_rate(efficient_producers, appear(efficient_producers, E_526)), growth_rate(first_movers, appear(efficient_producers, E_526))) | difference(growth_rate(first_movers, appear(efficient_producers, E_526)), growth_rate(efficient_producers, appear(efficient_producers, E_526)))=zero | ~in_environment(E_526, appear(efficient_producers, E_526)) | ~environment(E_526) | ~subpopulations(first_movers, efficient_producers, E_527, growth_rate(efficient_producers, appear(efficient_producers, E_526))) | ~environment(E_527) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_526))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_526)))), zero)))).
% 13.54/4.70 tff(c_1879, plain, (![E_536, E_537]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_536))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_536)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_536))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_536))))) | ~in_environment(E_537, growth_rate(first_movers, appear(efficient_producers, E_536))) | appear(efficient_producers, E_536)=critical_point(E_536) | ~in_environment(E_536, critical_point(E_536)) | ~greater(growth_rate(first_movers, critical_point(E_536)), growth_rate(efficient_producers, critical_point(E_536))) | ~in_environment(E_536, appear(efficient_producers, E_536)) | ~environment(E_536) | ~subpopulations(first_movers, efficient_producers, E_537, growth_rate(efficient_producers, appear(efficient_producers, E_536))) | ~environment(E_537) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_536))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_536)))), zero)))).
% 13.54/4.70 tff(c_1889, plain, (![E_540, E_541]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_540))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_540)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_540))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_540))))) | ~in_environment(E_541, growth_rate(first_movers, appear(efficient_producers, E_540))) | greater(growth_rate(efficient_producers, critical_point(E_540)), growth_rate(first_movers, critical_point(E_540))) | appear(efficient_producers, E_540)=critical_point(E_540) | ~in_environment(E_540, critical_point(E_540)) | ~in_environment(E_540, appear(efficient_producers, E_540)) | ~environment(E_540) | ~subpopulations(first_movers, efficient_producers, E_541, growth_rate(efficient_producers, appear(efficient_producers, E_540))) | ~environment(E_541) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_540))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_540)))), zero)))).
% 13.54/4.71 tff(c_1884, plain, (![E_538, E_539]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_538))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_538)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_538))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_538))))) | ~in_environment(E_539, growth_rate(first_movers, appear(efficient_producers, E_538))) | ~environment(E_539) | appear(efficient_producers, E_538)=critical_point(E_538) | ~in_environment(E_538, critical_point(E_538)) | ~greater(growth_rate(first_movers, critical_point(E_538)), growth_rate(efficient_producers, critical_point(E_538))) | ~in_environment(E_538, appear(efficient_producers, E_538)) | ~environment(E_538) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_538)), appear(efficient_producers, E_539)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_538))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_538)))), zero)))).
% 13.54/4.71 tff(c_1894, plain, (![E_542, E_543]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_542))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_542)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_542))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_542))))) | ~in_environment(E_543, growth_rate(first_movers, appear(efficient_producers, E_542))) | ~environment(E_543) | greater(growth_rate(efficient_producers, critical_point(E_542)), growth_rate(first_movers, critical_point(E_542))) | appear(efficient_producers, E_542)=critical_point(E_542) | ~in_environment(E_542, critical_point(E_542)) | ~in_environment(E_542, appear(efficient_producers, E_542)) | ~environment(E_542) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_542)), appear(efficient_producers, E_543)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_542))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_542)))), zero)))).
% 13.54/4.71 tff(c_1776, plain, (![E_498, E_499]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_498))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_498)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_498))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_498))))) | ~in_environment(E_499, growth_rate(first_movers, appear(efficient_producers, E_498))) | ~environment(E_499) | appear(efficient_producers, E_498)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_498, critical_point('#skF_1')) | ~subpopulations(first_movers, efficient_producers, '#skF_1', appear(efficient_producers, E_498)) | ~in_environment(E_498, appear(efficient_producers, E_498)) | ~environment(E_498) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_498)), appear(efficient_producers, E_499)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_498))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_498)))), zero)))).
% 13.54/4.71 tff(c_1864, plain, (![E_530, E_531]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_530))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_530)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_530))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_530))))) | ~in_environment(E_531, growth_rate(first_movers, appear(efficient_producers, E_530))) | appear(efficient_producers, E_530)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_530, critical_point('#skF_1')) | ~subpopulations(first_movers, efficient_producers, '#skF_1', appear(efficient_producers, E_530)) | ~in_environment(E_530, appear(efficient_producers, E_530)) | ~environment(E_530) | ~subpopulations(first_movers, efficient_producers, E_531, growth_rate(efficient_producers, appear(efficient_producers, E_530))) | ~environment(E_531) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_530))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_530)))), zero)))).
% 13.54/4.71 tff(c_1801, plain, (![E_508, E_509]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_508))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_508)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_508))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_508))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_508))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_508)))), zero) | ~in_environment(E_509, growth_rate(first_movers, appear(efficient_producers, E_508))) | ~environment(E_509) | greater(growth_rate(efficient_producers, appear(efficient_producers, E_508)), growth_rate(first_movers, appear(efficient_producers, E_508))) | difference(growth_rate(first_movers, appear(efficient_producers, E_508)), growth_rate(efficient_producers, appear(efficient_producers, E_508)))=zero | ~in_environment(E_508, appear(efficient_producers, E_508)) | ~environment(E_508) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_508)), appear(efficient_producers, E_509))))).
% 13.54/4.71 tff(c_1820, plain, (![E_514, E_515]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_514))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_514)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_514))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_514))))) | ~in_environment(E_515, growth_rate(first_movers, appear(efficient_producers, E_514))) | appear(efficient_producers, E_514)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_514, critical_point('#skF_1')) | ~greater(appear(efficient_producers, E_514), appear(efficient_producers, '#skF_1')) | ~in_environment(E_514, appear(efficient_producers, E_514)) | ~environment(E_514) | ~subpopulations(first_movers, efficient_producers, E_515, growth_rate(efficient_producers, appear(efficient_producers, E_514))) | ~environment(E_515) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_514))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_514)))), zero)))).
% 13.54/4.71 tff(c_1859, plain, (![E_528, E_529]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_528))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_528)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_528))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_528))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_528))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_528)))), zero) | ~in_environment(E_529, growth_rate(first_movers, appear(efficient_producers, E_528))) | ~environment(E_529) | greater(growth_rate(efficient_producers, critical_point(E_528)), growth_rate(first_movers, critical_point(E_528))) | appear(efficient_producers, E_528)=critical_point(E_528) | ~in_environment(E_528, critical_point(E_528)) | ~in_environment(E_528, appear(efficient_producers, E_528)) | ~environment(E_528) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_528)), appear(efficient_producers, E_529))))).
% 13.54/4.71 tff(c_1858, plain, (![E_528, E_23]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_528))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_528)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_528))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_528))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_528))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_528)))), zero) | ~in_environment(E_23, growth_rate(first_movers, appear(efficient_producers, E_528))) | greater(growth_rate(efficient_producers, critical_point(E_528)), growth_rate(first_movers, critical_point(E_528))) | appear(efficient_producers, E_528)=critical_point(E_528) | ~in_environment(E_528, critical_point(E_528)) | ~in_environment(E_528, appear(efficient_producers, E_528)) | ~environment(E_528) | ~subpopulations(first_movers, efficient_producers, E_23, growth_rate(efficient_producers, appear(efficient_producers, E_528))) | ~environment(E_23)))).
% 13.54/4.71 tff(c_1845, plain, (![E_524, E_525]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_524))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_524)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_524))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_524))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_524))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_524)))), zero) | ~in_environment(E_525, growth_rate(first_movers, appear(efficient_producers, E_524))) | ~environment(E_525) | appear(efficient_producers, E_524)=critical_point(E_524) | ~in_environment(E_524, critical_point(E_524)) | ~greater(growth_rate(first_movers, critical_point(E_524)), growth_rate(efficient_producers, critical_point(E_524))) | ~in_environment(E_524, appear(efficient_producers, E_524)) | ~environment(E_524) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_524)), appear(efficient_producers, E_525))))).
% 13.54/4.71 tff(c_1844, plain, (![E_524, E_23]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_524))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_524)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_524))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_524))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_524))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_524)))), zero) | ~in_environment(E_23, growth_rate(first_movers, appear(efficient_producers, E_524))) | appear(efficient_producers, E_524)=critical_point(E_524) | ~in_environment(E_524, critical_point(E_524)) | ~greater(growth_rate(first_movers, critical_point(E_524)), growth_rate(efficient_producers, critical_point(E_524))) | ~in_environment(E_524, appear(efficient_producers, E_524)) | ~environment(E_524) | ~subpopulations(first_movers, efficient_producers, E_23, growth_rate(efficient_producers, appear(efficient_producers, E_524))) | ~environment(E_23)))).
% 13.54/4.71 tff(c_1869, plain, (![E_532, E_533]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_532))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_532)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_532))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_532))))) | ~in_environment(E_533, growth_rate(first_movers, appear(efficient_producers, E_532))) | ~environment(E_533) | appear(efficient_producers, E_532)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_532, critical_point('#skF_1')) | ~greater(appear(efficient_producers, E_532), appear(efficient_producers, '#skF_1')) | ~in_environment(E_532, appear(efficient_producers, E_532)) | ~environment(E_532) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_532)), appear(efficient_producers, E_533)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_532))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_532)))), zero)))).
% 13.54/4.72 tff(c_1688, plain, (![E_461, E_462]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_461))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_461)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_461))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_461))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_461))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_461)))), zero) | ~in_environment(E_462, growth_rate(first_movers, appear(efficient_producers, E_461))) | ~environment(E_462) | appear(efficient_producers, E_461)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_461, critical_point('#skF_1')) | ~greater(appear(efficient_producers, E_461), appear(efficient_producers, '#skF_1')) | ~in_environment(E_461, appear(efficient_producers, E_461)) | ~environment(E_461) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_461)), appear(efficient_producers, E_462))))).
% 13.54/4.72 tff(c_1727, plain, (![E_474, E_23]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_474))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_474)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_474))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_474))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_474))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_474)))), zero) | ~in_environment(E_23, growth_rate(first_movers, appear(efficient_producers, E_474))) | appear(efficient_producers, E_474)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_474, critical_point('#skF_1')) | ~subpopulations(first_movers, efficient_producers, '#skF_1', appear(efficient_producers, E_474)) | ~in_environment(E_474, appear(efficient_producers, E_474)) | ~environment(E_474) | ~subpopulations(first_movers, efficient_producers, E_23, growth_rate(efficient_producers, appear(efficient_producers, E_474))) | ~environment(E_23)))).
% 13.54/4.72 tff(c_1707, plain, (![E_467, E_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_467))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_467)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_467))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_467))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, E_467)), appear(efficient_producers, E_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_467))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_467)))), zero) | ~in_environment(E_9, growth_rate(first_movers, appear(efficient_producers, E_467))) | ~environment(E_9) | greater(growth_rate(efficient_producers, critical_point(E_467)), growth_rate(first_movers, critical_point(E_467))) | appear(efficient_producers, E_467)=critical_point(E_467) | ~in_environment(E_467, critical_point(E_467)) | ~in_environment(E_467, appear(efficient_producers, E_467)) | ~environment(E_467)))).
% 13.54/4.72 tff(c_1800, plain, (![E_508, E_23]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_508))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_508)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_508))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_508))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_508))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_508)))), zero) | ~in_environment(E_23, growth_rate(first_movers, appear(efficient_producers, E_508))) | greater(growth_rate(efficient_producers, appear(efficient_producers, E_508)), growth_rate(first_movers, appear(efficient_producers, E_508))) | difference(growth_rate(first_movers, appear(efficient_producers, E_508)), growth_rate(efficient_producers, appear(efficient_producers, E_508)))=zero | ~in_environment(E_508, appear(efficient_producers, E_508)) | ~environment(E_508) | ~subpopulations(first_movers, efficient_producers, E_23, growth_rate(efficient_producers, appear(efficient_producers, E_508))) | ~environment(E_23)))).
% 13.54/4.72 tff(c_1358, plain, (![E_413, E_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_413))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_413)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_413))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_413))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, E_413)), appear(efficient_producers, E_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_413))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_413)))), zero) | ~in_environment(E_9, growth_rate(first_movers, appear(efficient_producers, E_413))) | ~environment(E_9) | appear(efficient_producers, E_413)=critical_point(E_413) | ~in_environment(E_413, critical_point(E_413)) | ~greater(growth_rate(first_movers, critical_point(E_413)), growth_rate(efficient_producers, critical_point(E_413))) | ~in_environment(E_413, appear(efficient_producers, E_413)) | ~environment(E_413)))).
% 13.54/4.72 tff(c_1830, plain, (![E_518, E_519]: (greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_518))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_518)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_518))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_518))))) | ~in_environment(E_519, growth_rate(efficient_producers, appear(efficient_producers, E_518))) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, E_518)) | difference(growth_rate(first_movers, appear(efficient_producers, E_518)), growth_rate(efficient_producers, appear(efficient_producers, E_518)))=zero | ~in_environment(E_518, appear(efficient_producers, E_518)) | ~environment(E_518) | ~subpopulations(first_movers, efficient_producers, E_519, growth_rate(first_movers, appear(efficient_producers, E_518))) | ~environment(E_519) | ~greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_518))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_518)))), zero)))).
% 13.54/4.72 tff(c_1825, plain, (![E_516, E_517]: (greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_516))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_516)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_516))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_516))))) | ~in_environment(E_517, growth_rate(efficient_producers, appear(efficient_producers, E_516))) | ~environment(E_517) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, E_516)) | difference(growth_rate(first_movers, appear(efficient_producers, E_516)), growth_rate(efficient_producers, appear(efficient_producers, E_516)))=zero | ~in_environment(E_516, appear(efficient_producers, E_516)) | ~environment(E_516) | ~greater(growth_rate(first_movers, appear(efficient_producers, E_516)), appear(efficient_producers, E_517)) | ~greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_516))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_516)))), zero)))).
% 13.54/4.72 tff(c_1814, plain, (![E_512, E_23]: (greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_512))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_512)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_512))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_512))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_512))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_512)))), zero) | ~in_environment(E_23, growth_rate(efficient_producers, appear(efficient_producers, E_512))) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, E_512)) | difference(growth_rate(first_movers, appear(efficient_producers, E_512)), growth_rate(efficient_producers, appear(efficient_producers, E_512)))=zero | ~in_environment(E_512, appear(efficient_producers, E_512)) | ~environment(E_512) | ~subpopulations(first_movers, efficient_producers, E_23, growth_rate(first_movers, appear(efficient_producers, E_512))) | ~environment(E_23)))).
% 13.54/4.72 tff(c_1815, plain, (![E_512, E_513]: (greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_512))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_512)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_512))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_512))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_512))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_512)))), zero) | ~in_environment(E_513, growth_rate(efficient_producers, appear(efficient_producers, E_512))) | ~environment(E_513) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, E_512)) | difference(growth_rate(first_movers, appear(efficient_producers, E_512)), growth_rate(efficient_producers, appear(efficient_producers, E_512)))=zero | ~in_environment(E_512, appear(efficient_producers, E_512)) | ~environment(E_512) | ~greater(growth_rate(first_movers, appear(efficient_producers, E_512)), appear(efficient_producers, E_513))))).
% 13.54/4.72 tff(c_1687, plain, (![E_461, E_23]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_461))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_461)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_461))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_461))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_461))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_461)))), zero) | ~in_environment(E_23, growth_rate(first_movers, appear(efficient_producers, E_461))) | appear(efficient_producers, E_461)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_461, critical_point('#skF_1')) | ~greater(appear(efficient_producers, E_461), appear(efficient_producers, '#skF_1')) | ~in_environment(E_461, appear(efficient_producers, E_461)) | ~environment(E_461) | ~subpopulations(first_movers, efficient_producers, E_23, growth_rate(efficient_producers, appear(efficient_producers, E_461))) | ~environment(E_23)))).
% 13.54/4.72 tff(c_1046, plain, (![E_333, E_9]: (greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_333))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_333)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_333))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_333))))) | ~greater_or_equal(growth_rate(first_movers, appear(efficient_producers, E_333)), appear(efficient_producers, E_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_333))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_333)))), zero) | ~in_environment(E_9, growth_rate(efficient_producers, appear(efficient_producers, E_333))) | ~environment(E_9) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, E_333)) | difference(growth_rate(first_movers, appear(efficient_producers, E_333)), growth_rate(efficient_producers, appear(efficient_producers, E_333)))=zero | ~in_environment(E_333, appear(efficient_producers, E_333)) | ~environment(E_333)))).
% 13.54/4.72 tff(c_1791, plain, (![E_504, E_505]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_504))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_504)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_504))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_504))))) | ~in_environment(E_505, growth_rate(first_movers, appear(efficient_producers, E_504))) | ~environment(E_505) | ~in_environment(E_504, critical_point('#skF_1')) | appear(efficient_producers, E_504)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_504, critical_point('#skF_1')) | ~in_environment(E_504, appear(efficient_producers, E_504)) | ~environment(E_504) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_504)), appear(efficient_producers, E_505)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_504))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_504)))), zero)))).
% 13.54/4.72 tff(c_1026, plain, (![E_327, E_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_327))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_327)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_327))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_327))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, E_327)), appear(efficient_producers, E_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_327))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_327)))), zero) | ~in_environment(E_9, growth_rate(first_movers, appear(efficient_producers, E_327))) | ~environment(E_9) | greater(growth_rate(efficient_producers, appear(efficient_producers, E_327)), growth_rate(first_movers, appear(efficient_producers, E_327))) | difference(growth_rate(first_movers, appear(efficient_producers, E_327)), growth_rate(efficient_producers, appear(efficient_producers, E_327)))=zero | ~in_environment(E_327, appear(efficient_producers, E_327)) | ~environment(E_327)))).
% 13.54/4.72 tff(c_1786, plain, (![E_502, E_503]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_502))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_502)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_502))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_502))))) | ~in_environment(E_503, growth_rate(first_movers, appear(efficient_producers, E_502))) | ~in_environment(E_502, critical_point('#skF_1')) | appear(efficient_producers, E_502)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_502, critical_point('#skF_1')) | ~in_environment(E_502, appear(efficient_producers, E_502)) | ~environment(E_502) | ~subpopulations(first_movers, efficient_producers, E_503, growth_rate(efficient_producers, appear(efficient_producers, E_502))) | ~environment(E_503) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_502))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_502)))), zero)))).
% 13.54/4.73 tff(c_1749, plain, (![E_482, E_483]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_482))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_482)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_482))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_482))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_482))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_482)))), zero) | ~in_environment(E_483, growth_rate(first_movers, appear(efficient_producers, E_482))) | ~environment(E_483) | ~in_environment(E_482, critical_point('#skF_1')) | appear(efficient_producers, E_482)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_482, critical_point('#skF_1')) | ~in_environment(E_482, appear(efficient_producers, E_482)) | ~environment(E_482) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_482)), appear(efficient_producers, E_483))))).
% 13.54/4.73 tff(c_1748, plain, (![E_482, E_23]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_482))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_482)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_482))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_482))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_482))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_482)))), zero) | ~in_environment(E_23, growth_rate(first_movers, appear(efficient_producers, E_482))) | ~in_environment(E_482, critical_point('#skF_1')) | appear(efficient_producers, E_482)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_482, critical_point('#skF_1')) | ~in_environment(E_482, appear(efficient_producers, E_482)) | ~environment(E_482) | ~subpopulations(first_movers, efficient_producers, E_23, growth_rate(efficient_producers, appear(efficient_producers, E_482))) | ~environment(E_23)))).
% 13.54/4.73 tff(c_1770, plain, (![E_494, E_495]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(E_494))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(E_494)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(E_494))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(E_494))))) | ~in_environment(E_495, growth_rate(first_movers, critical_point(E_494))) | ~environment(E_495) | greater(growth_rate(efficient_producers, critical_point(E_494)), growth_rate(first_movers, critical_point(E_494))) | difference(growth_rate(first_movers, critical_point(E_494)), growth_rate(efficient_producers, critical_point(E_494)))=zero | ~in_environment(E_494, critical_point(E_494)) | ~environment(E_494) | ~greater(growth_rate(efficient_producers, critical_point(E_494)), appear(efficient_producers, E_495)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(E_494))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(E_494)))), zero)))).
% 13.54/4.73 tff(c_1728, plain, (![E_474, E_475]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_474))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_474)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_474))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_474))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_474))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_474)))), zero) | ~in_environment(E_475, growth_rate(first_movers, appear(efficient_producers, E_474))) | ~environment(E_475) | appear(efficient_producers, E_474)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_474, critical_point('#skF_1')) | ~subpopulations(first_movers, efficient_producers, '#skF_1', appear(efficient_producers, E_474)) | ~in_environment(E_474, appear(efficient_producers, E_474)) | ~environment(E_474) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, E_474)), appear(efficient_producers, E_475))))).
% 13.54/4.73 tff(c_1765, plain, (![E_492, E_493]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(E_492))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(E_492)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(E_492))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(E_492))))) | ~in_environment(E_493, growth_rate(first_movers, critical_point(E_492))) | greater(growth_rate(efficient_producers, critical_point(E_492)), growth_rate(first_movers, critical_point(E_492))) | difference(growth_rate(first_movers, critical_point(E_492)), growth_rate(efficient_producers, critical_point(E_492)))=zero | ~in_environment(E_492, critical_point(E_492)) | ~environment(E_492) | ~subpopulations(first_movers, efficient_producers, E_493, growth_rate(efficient_producers, critical_point(E_492))) | ~environment(E_493) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(E_492))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(E_492)))), zero)))).
% 13.54/4.73 tff(c_1760, plain, (![E_490, E_491]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(E_490))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(E_490)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(E_490))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(E_490))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(E_490))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(E_490)))), zero) | ~in_environment(E_491, growth_rate(first_movers, critical_point(E_490))) | ~environment(E_491) | greater(growth_rate(efficient_producers, critical_point(E_490)), growth_rate(first_movers, critical_point(E_490))) | difference(growth_rate(first_movers, critical_point(E_490)), growth_rate(efficient_producers, critical_point(E_490)))=zero | ~in_environment(E_490, critical_point(E_490)) | ~environment(E_490) | ~greater(growth_rate(efficient_producers, critical_point(E_490)), appear(efficient_producers, E_491))))).
% 13.54/4.73 tff(c_1759, plain, (![E_490, E_23]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(E_490))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(E_490)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(E_490))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(E_490))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(E_490))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(E_490)))), zero) | ~in_environment(E_23, growth_rate(first_movers, critical_point(E_490))) | greater(growth_rate(efficient_producers, critical_point(E_490)), growth_rate(first_movers, critical_point(E_490))) | difference(growth_rate(first_movers, critical_point(E_490)), growth_rate(efficient_producers, critical_point(E_490)))=zero | ~in_environment(E_490, critical_point(E_490)) | ~environment(E_490) | ~subpopulations(first_movers, efficient_producers, E_23, growth_rate(efficient_producers, critical_point(E_490))) | ~environment(E_23)))).
% 13.54/4.73 tff(c_848, plain, (![E_303, E_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(E_303))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(E_303)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(E_303))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(E_303))))) | ~greater_or_equal(growth_rate(efficient_producers, critical_point(E_303)), appear(efficient_producers, E_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(E_303))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(E_303)))), zero) | ~in_environment(E_9, growth_rate(first_movers, critical_point(E_303))) | ~environment(E_9) | greater(growth_rate(efficient_producers, critical_point(E_303)), growth_rate(first_movers, critical_point(E_303))) | difference(growth_rate(first_movers, critical_point(E_303)), growth_rate(efficient_producers, critical_point(E_303)))=zero | ~in_environment(E_303, critical_point(E_303)) | ~environment(E_303)))).
% 13.54/4.73 tff(c_1322, plain, (![E_401, E_403, E_8]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_401)), growth_rate(efficient_producers, appear(efficient_producers, E_401))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_401)), growth_rate(efficient_producers, appear(efficient_producers, E_401)))) | ~in_environment(E_403, appear(efficient_producers, E_8)) | ~environment(E_403) | appear(efficient_producers, E_8)=appear(efficient_producers, E_401) | ~subpopulations(first_movers, efficient_producers, E_401, appear(efficient_producers, E_8)) | ~environment(E_401) | ~greater(appear(efficient_producers, E_401), appear(efficient_producers, E_403)) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_8)), growth_rate(efficient_producers, appear(efficient_producers, E_8)))) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.73 tff(c_1385, plain, (![E_417, E_419, E_8]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_417)), growth_rate(efficient_producers, appear(efficient_producers, E_417))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_417)), growth_rate(efficient_producers, appear(efficient_producers, E_417)))) | ~in_environment(E_419, appear(efficient_producers, E_8)) | appear(efficient_producers, E_8)=appear(efficient_producers, E_417) | ~subpopulations(first_movers, efficient_producers, E_417, appear(efficient_producers, E_8)) | ~environment(E_417) | ~subpopulations(first_movers, efficient_producers, E_419, appear(efficient_producers, E_417)) | ~environment(E_419) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_8)), growth_rate(efficient_producers, appear(efficient_producers, E_8)))) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.73 tff(c_1235, plain, (![E_388, E_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_388))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_388)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_388))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_388))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, E_388)), appear(efficient_producers, E_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_388))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_388)))), zero) | ~in_environment(E_9, growth_rate(first_movers, appear(efficient_producers, E_388))) | ~environment(E_9) | ~in_environment(E_388, critical_point('#skF_1')) | appear(efficient_producers, E_388)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_388, critical_point('#skF_1')) | ~in_environment(E_388, appear(efficient_producers, E_388)) | ~environment(E_388)))).
% 13.54/4.73 tff(c_1386, plain, (![E_417, E_419, E_7]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_417)), growth_rate(efficient_producers, appear(efficient_producers, E_417))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_417)), growth_rate(efficient_producers, appear(efficient_producers, E_417)))) | ~in_environment(E_419, critical_point(E_7)) | critical_point(E_7)=appear(efficient_producers, E_417) | ~subpopulations(first_movers, efficient_producers, E_417, critical_point(E_7)) | ~environment(E_417) | ~subpopulations(first_movers, efficient_producers, E_419, appear(efficient_producers, E_417)) | ~environment(E_419) | greater(zero, difference(growth_rate(first_movers, critical_point(E_7)), growth_rate(efficient_producers, critical_point(E_7)))) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.73 tff(c_1323, plain, (![E_401, E_403, E_7]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_401)), growth_rate(efficient_producers, appear(efficient_producers, E_401))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_401)), growth_rate(efficient_producers, appear(efficient_producers, E_401)))) | ~in_environment(E_403, critical_point(E_7)) | ~environment(E_403) | critical_point(E_7)=appear(efficient_producers, E_401) | ~subpopulations(first_movers, efficient_producers, E_401, critical_point(E_7)) | ~environment(E_401) | ~greater(appear(efficient_producers, E_401), appear(efficient_producers, E_403)) | greater(zero, difference(growth_rate(first_movers, critical_point(E_7)), growth_rate(efficient_producers, critical_point(E_7)))) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.73 tff(c_1586, plain, (![E_437, E_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_437))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_437)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_437))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_437))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, E_437)), appear(efficient_producers, E_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_437))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_437)))), zero) | ~in_environment(E_9, growth_rate(first_movers, appear(efficient_producers, E_437))) | ~environment(E_9) | appear(efficient_producers, E_437)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_437, critical_point('#skF_1')) | ~subpopulations(first_movers, efficient_producers, '#skF_1', appear(efficient_producers, E_437)) | ~in_environment(E_437, appear(efficient_producers, E_437)) | ~environment(E_437)))).
% 13.54/4.73 tff(c_1605, plain, (![E_443, E_19]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_443)), growth_rate(efficient_producers, appear(efficient_producers, E_443))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_443)), growth_rate(efficient_producers, appear(efficient_producers, E_443)))) | start_time(E_19)=appear(efficient_producers, E_443) | ~subpopulations(first_movers, efficient_producers, E_443, start_time(E_19)) | ~environment(E_443) | ~greater(appear(efficient_producers, E_443), appear(efficient_producers, E_19)) | ~greater(difference(growth_rate(first_movers, start_time(E_19)), growth_rate(efficient_producers, start_time(E_19))), zero) | ~environment(E_19)))).
% 13.54/4.73 tff(c_1199, plain, (![E_380, E_8]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_380)), growth_rate(efficient_producers, appear(efficient_producers, E_380))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_380)), growth_rate(efficient_producers, appear(efficient_producers, E_380)))) | ~in_environment(E_380, appear(efficient_producers, E_8)) | appear(efficient_producers, E_8)=appear(efficient_producers, E_380) | ~subpopulations(first_movers, efficient_producers, E_380, appear(efficient_producers, E_8)) | ~environment(E_380) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_8)), growth_rate(efficient_producers, appear(efficient_producers, E_8)))) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.73 tff(c_1550, plain, (![E_428, E_19]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_428)), growth_rate(efficient_producers, appear(efficient_producers, E_428))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_428)), growth_rate(efficient_producers, appear(efficient_producers, E_428)))) | start_time(E_19)=appear(efficient_producers, E_428) | ~subpopulations(first_movers, efficient_producers, E_428, start_time(E_19)) | ~environment(E_428) | ~subpopulations(first_movers, efficient_producers, E_19, appear(efficient_producers, E_428)) | ~greater(difference(growth_rate(first_movers, start_time(E_19)), growth_rate(efficient_producers, start_time(E_19))), zero) | ~environment(E_19)))).
% 13.54/4.74 tff(c_1701, plain, (![E_8]: (greater(growth_rate(efficient_producers, critical_point(E_8)), growth_rate(first_movers, critical_point(E_8))) | greater(growth_rate(first_movers, appear(efficient_producers, E_8)), growth_rate(efficient_producers, appear(efficient_producers, E_8))) | appear(efficient_producers, E_8)=critical_point(E_8) | ~in_environment(E_8, critical_point(E_8)) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.74 tff(c_1679, plain, (![E_460]: (greater(growth_rate(efficient_producers, critical_point(E_460)), growth_rate(first_movers, critical_point(E_460))) | greater(growth_rate(first_movers, appear(efficient_producers, E_460)), growth_rate(efficient_producers, appear(efficient_producers, E_460))) | appear(efficient_producers, E_460)=critical_point(E_460) | ~in_environment(E_460, critical_point(E_460)) | ~environment(E_460) | decreases(difference(disbanding_rate(first_movers, appear(efficient_producers, E_460)), disbanding_rate(efficient_producers, appear(efficient_producers, E_460)))) | ~decreases(difference(founding_rate(first_movers, appear(efficient_producers, E_460)), founding_rate(efficient_producers, appear(efficient_producers, E_460))))))).
% 13.54/4.74 tff(c_1641, plain, (![E_452, E_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_452))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_452)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, E_452))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, E_452))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, E_452)), appear(efficient_producers, E_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, E_452))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, E_452)))), zero) | ~in_environment(E_9, growth_rate(first_movers, appear(efficient_producers, E_452))) | ~environment(E_9) | appear(efficient_producers, E_452)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_452, critical_point('#skF_1')) | ~greater(appear(efficient_producers, E_452), appear(efficient_producers, '#skF_1')) | ~in_environment(E_452, appear(efficient_producers, E_452)) | ~environment(E_452)))).
% 13.54/4.74 tff(c_1674, plain, (![E_459]: (greater(growth_rate(efficient_producers, critical_point(E_459)), growth_rate(first_movers, critical_point(E_459))) | greater(growth_rate(first_movers, appear(efficient_producers, E_459)), growth_rate(efficient_producers, appear(efficient_producers, E_459))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_459)), growth_rate(efficient_producers, appear(efficient_producers, E_459)))) | appear(efficient_producers, E_459)=critical_point(E_459) | ~in_environment(E_459, critical_point(E_459)) | ~environment(E_459)))).
% 13.54/4.74 tff(c_1666, plain, (![E_458]: (greater(growth_rate(first_movers, appear(efficient_producers, E_458)), growth_rate(efficient_producers, appear(efficient_producers, E_458))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_458)), growth_rate(efficient_producers, appear(efficient_producers, E_458)))) | appear(efficient_producers, E_458)=critical_point(E_458) | greater(zero, difference(growth_rate(first_movers, critical_point(E_458)), growth_rate(efficient_producers, critical_point(E_458)))) | ~in_environment(E_458, critical_point(E_458)) | ~environment(E_458)))).
% 13.54/4.74 tff(c_1657, plain, (![E_7]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_7)), growth_rate(efficient_producers, appear(efficient_producers, E_7))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_7)), growth_rate(efficient_producers, appear(efficient_producers, E_7)))) | appear(efficient_producers, E_7)=critical_point(E_7) | greater(zero, difference(growth_rate(first_movers, critical_point(E_7)), growth_rate(efficient_producers, critical_point(E_7)))) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.74 tff(c_1200, plain, (![E_380, E_7]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_380)), growth_rate(efficient_producers, appear(efficient_producers, E_380))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_380)), growth_rate(efficient_producers, appear(efficient_producers, E_380)))) | ~in_environment(E_380, critical_point(E_7)) | critical_point(E_7)=appear(efficient_producers, E_380) | ~subpopulations(first_movers, efficient_producers, E_380, critical_point(E_7)) | ~environment(E_380) | greater(zero, difference(growth_rate(first_movers, critical_point(E_7)), growth_rate(efficient_producers, critical_point(E_7)))) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.74 tff(c_1646, plain, (![E_54]: (selection_favors(first_movers, efficient_producers, appear(efficient_producers, E_54)) | appear(efficient_producers, E_54)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_54, critical_point('#skF_1')) | ~greater(appear(efficient_producers, E_54), appear(efficient_producers, '#skF_1')) | ~in_environment(E_54, appear(efficient_producers, E_54)) | ~environment(E_54)))).
% 13.54/4.74 tff(c_1635, plain, (![E_8]: (greater(growth_rate(first_movers, appear(efficient_producers, E_8)), growth_rate(efficient_producers, appear(efficient_producers, E_8))) | appear(efficient_producers, E_8)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_8, critical_point('#skF_1')) | ~greater(appear(efficient_producers, E_8), appear(efficient_producers, '#skF_1')) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.74 tff(c_1622, plain, (![E_447]: (greater(growth_rate(first_movers, appear(efficient_producers, E_447)), growth_rate(efficient_producers, appear(efficient_producers, E_447))) | appear(efficient_producers, E_447)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_447, critical_point('#skF_1')) | ~environment(E_447) | ~greater(appear(efficient_producers, E_447), appear(efficient_producers, '#skF_1')) | decreases(difference(disbanding_rate(first_movers, appear(efficient_producers, E_447)), disbanding_rate(efficient_producers, appear(efficient_producers, E_447)))) | ~decreases(difference(founding_rate(first_movers, appear(efficient_producers, E_447)), founding_rate(efficient_producers, appear(efficient_producers, E_447))))))).
% 13.54/4.74 tff(c_1617, plain, (![E_446]: (greater(growth_rate(first_movers, appear(efficient_producers, E_446)), growth_rate(efficient_producers, appear(efficient_producers, E_446))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_446)), growth_rate(efficient_producers, appear(efficient_producers, E_446)))) | appear(efficient_producers, E_446)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_446, critical_point('#skF_1')) | ~environment(E_446) | ~greater(appear(efficient_producers, E_446), appear(efficient_producers, '#skF_1'))))).
% 13.54/4.74 tff(c_1608, plain, (![E_443]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_443)), growth_rate(efficient_producers, appear(efficient_producers, E_443))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_443)), growth_rate(efficient_producers, appear(efficient_producers, E_443)))) | appear(efficient_producers, E_443)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_443, critical_point('#skF_1')) | ~environment(E_443) | ~greater(appear(efficient_producers, E_443), appear(efficient_producers, '#skF_1'))))).
% 13.54/4.74 tff(c_1325, plain, (![E_401, E_403, T_402]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_401)), growth_rate(efficient_producers, appear(efficient_producers, E_401))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_401)), growth_rate(efficient_producers, appear(efficient_producers, E_401)))) | ~in_environment(E_403, T_402) | ~environment(E_403) | appear(efficient_producers, E_401)=T_402 | ~subpopulations(first_movers, efficient_producers, E_401, T_402) | ~environment(E_401) | ~greater(appear(efficient_producers, E_401), appear(efficient_producers, E_403)) | ~greater(difference(growth_rate(first_movers, T_402), growth_rate(efficient_producers, T_402)), zero)))).
% 13.54/4.74 tff(c_1253, plain, (![E_8, E_393]: (subpopulations(first_movers, efficient_producers, E_8, difference(growth_rate(first_movers, appear(efficient_producers, E_393)), growth_rate(efficient_producers, appear(efficient_producers, E_393)))) | ~subpopulations(first_movers, efficient_producers, E_8, zero) | ~greater(appear(efficient_producers, E_8), difference(growth_rate(first_movers, appear(efficient_producers, E_393)), growth_rate(efficient_producers, appear(efficient_producers, E_393)))) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_393)), growth_rate(efficient_producers, appear(efficient_producers, E_393)))) | ~in_environment(E_393, appear(efficient_producers, E_393)) | ~environment(E_393) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.74 tff(c_1591, plain, (![E_54]: (selection_favors(first_movers, efficient_producers, appear(efficient_producers, E_54)) | appear(efficient_producers, E_54)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_54, critical_point('#skF_1')) | ~subpopulations(first_movers, efficient_producers, '#skF_1', appear(efficient_producers, E_54)) | ~in_environment(E_54, appear(efficient_producers, E_54)) | ~environment(E_54)))).
% 13.54/4.74 tff(c_1580, plain, (![E_8]: (greater(growth_rate(first_movers, appear(efficient_producers, E_8)), growth_rate(efficient_producers, appear(efficient_producers, E_8))) | appear(efficient_producers, E_8)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_8, critical_point('#skF_1')) | ~subpopulations(first_movers, efficient_producers, '#skF_1', appear(efficient_producers, E_8)) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.74 tff(c_1567, plain, (![E_432]: (greater(growth_rate(first_movers, appear(efficient_producers, E_432)), growth_rate(efficient_producers, appear(efficient_producers, E_432))) | appear(efficient_producers, E_432)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_432, critical_point('#skF_1')) | ~environment(E_432) | ~subpopulations(first_movers, efficient_producers, '#skF_1', appear(efficient_producers, E_432)) | decreases(difference(disbanding_rate(first_movers, appear(efficient_producers, E_432)), disbanding_rate(efficient_producers, appear(efficient_producers, E_432)))) | ~decreases(difference(founding_rate(first_movers, appear(efficient_producers, E_432)), founding_rate(efficient_producers, appear(efficient_producers, E_432))))))).
% 13.54/4.74 tff(c_1562, plain, (![E_431]: (greater(growth_rate(first_movers, appear(efficient_producers, E_431)), growth_rate(efficient_producers, appear(efficient_producers, E_431))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_431)), growth_rate(efficient_producers, appear(efficient_producers, E_431)))) | appear(efficient_producers, E_431)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_431, critical_point('#skF_1')) | ~environment(E_431) | ~subpopulations(first_movers, efficient_producers, '#skF_1', appear(efficient_producers, E_431))))).
% 13.54/4.74 tff(c_1553, plain, (![E_428]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_428)), growth_rate(efficient_producers, appear(efficient_producers, E_428))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_428)), growth_rate(efficient_producers, appear(efficient_producers, E_428)))) | appear(efficient_producers, E_428)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_428, critical_point('#skF_1')) | ~environment(E_428) | ~subpopulations(first_movers, efficient_producers, '#skF_1', appear(efficient_producers, E_428))))).
% 13.54/4.74 tff(c_1388, plain, (![E_417, E_419, T_418]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_417)), growth_rate(efficient_producers, appear(efficient_producers, E_417))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_417)), growth_rate(efficient_producers, appear(efficient_producers, E_417)))) | ~in_environment(E_419, T_418) | appear(efficient_producers, E_417)=T_418 | ~subpopulations(first_movers, efficient_producers, E_417, T_418) | ~environment(E_417) | ~subpopulations(first_movers, efficient_producers, E_419, appear(efficient_producers, E_417)) | ~environment(E_419) | ~greater(difference(growth_rate(first_movers, T_418), growth_rate(efficient_producers, T_418)), zero)))).
% 13.54/4.74 tff(c_1254, plain, (![E_7, E_393]: (subpopulations(first_movers, efficient_producers, E_7, difference(growth_rate(first_movers, appear(efficient_producers, E_393)), growth_rate(efficient_producers, appear(efficient_producers, E_393)))) | ~subpopulations(first_movers, efficient_producers, E_7, zero) | ~greater(critical_point(E_7), difference(growth_rate(first_movers, appear(efficient_producers, E_393)), growth_rate(efficient_producers, appear(efficient_producers, E_393)))) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_393)), growth_rate(efficient_producers, appear(efficient_producers, E_393)))) | ~in_environment(E_393, appear(efficient_producers, E_393)) | ~environment(E_393) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.74 tff(c_1536, plain, (![E_422]: (selection_favors(first_movers, efficient_producers, appear(efficient_producers, E_422)) | appear(efficient_producers, E_422)=critical_point(E_422) | ~in_environment(E_422, appear(efficient_producers, E_422)) | ~in_environment(E_422, critical_point(E_422)) | ~environment(E_422)))).
% 13.54/4.74 tff(c_1387, plain, (![E_417, E_419]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_417)), growth_rate(efficient_producers, appear(efficient_producers, E_417))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_417)), growth_rate(efficient_producers, appear(efficient_producers, E_417)))) | ~in_environment(E_419, critical_point('#skF_1')) | appear(efficient_producers, E_417)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_417, critical_point('#skF_1')) | ~environment(E_417) | ~subpopulations(first_movers, efficient_producers, E_419, appear(efficient_producers, E_417)) | ~environment(E_419)))).
% 13.54/4.74 tff(c_1186, plain, (![E_377, T_379, E_23]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_377)), growth_rate(efficient_producers, appear(efficient_producers, E_377))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_377)), growth_rate(efficient_producers, appear(efficient_producers, E_377)))) | ~greater_or_equal(difference(growth_rate(first_movers, T_379), growth_rate(efficient_producers, T_379)), zero) | ~in_environment(E_23, T_379) | appear(efficient_producers, E_377)=T_379 | ~subpopulations(first_movers, efficient_producers, E_377, T_379) | ~environment(E_377) | ~subpopulations(first_movers, efficient_producers, E_23, appear(efficient_producers, E_377)) | ~environment(E_23)))).
% 13.54/4.74 tff(c_1352, plain, (![E_8]: (greater(growth_rate(first_movers, appear(efficient_producers, E_8)), growth_rate(efficient_producers, appear(efficient_producers, E_8))) | appear(efficient_producers, E_8)=critical_point(E_8) | ~in_environment(E_8, critical_point(E_8)) | ~greater(growth_rate(first_movers, critical_point(E_8)), growth_rate(efficient_producers, critical_point(E_8))) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.74 tff(c_1303, plain, (![E_399]: (greater(growth_rate(first_movers, appear(efficient_producers, E_399)), growth_rate(efficient_producers, appear(efficient_producers, E_399))) | appear(efficient_producers, E_399)=critical_point(E_399) | ~in_environment(E_399, critical_point(E_399)) | ~environment(E_399) | ~greater(growth_rate(first_movers, critical_point(E_399)), growth_rate(efficient_producers, critical_point(E_399))) | decreases(difference(disbanding_rate(first_movers, appear(efficient_producers, E_399)), disbanding_rate(efficient_producers, appear(efficient_producers, E_399)))) | ~decreases(difference(founding_rate(first_movers, appear(efficient_producers, E_399)), founding_rate(efficient_producers, appear(efficient_producers, E_399))))))).
% 13.54/4.74 tff(c_1324, plain, (![E_401, E_403]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_401)), growth_rate(efficient_producers, appear(efficient_producers, E_401))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_401)), growth_rate(efficient_producers, appear(efficient_producers, E_401)))) | ~in_environment(E_403, critical_point('#skF_1')) | ~environment(E_403) | appear(efficient_producers, E_401)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_401, critical_point('#skF_1')) | ~environment(E_401) | ~greater(appear(efficient_producers, E_401), appear(efficient_producers, E_403))))).
% 13.54/4.74 tff(c_1187, plain, (![E_377, T_379, E_378]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_377)), growth_rate(efficient_producers, appear(efficient_producers, E_377))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_377)), growth_rate(efficient_producers, appear(efficient_producers, E_377)))) | ~greater_or_equal(difference(growth_rate(first_movers, T_379), growth_rate(efficient_producers, T_379)), zero) | ~in_environment(E_378, T_379) | ~environment(E_378) | appear(efficient_producers, E_377)=T_379 | ~subpopulations(first_movers, efficient_producers, E_377, T_379) | ~environment(E_377) | ~greater(appear(efficient_producers, E_377), appear(efficient_producers, E_378))))).
% 13.54/4.74 tff(c_1286, plain, (![E_398]: (greater(growth_rate(first_movers, appear(efficient_producers, E_398)), growth_rate(efficient_producers, appear(efficient_producers, E_398))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_398)), growth_rate(efficient_producers, appear(efficient_producers, E_398)))) | appear(efficient_producers, E_398)=critical_point(E_398) | ~in_environment(E_398, critical_point(E_398)) | ~environment(E_398) | ~greater(growth_rate(first_movers, critical_point(E_398)), growth_rate(efficient_producers, critical_point(E_398)))))).
% 13.54/4.74 tff(c_1292, plain, (~decreases(difference(founding_rate(first_movers, appear(efficient_producers, '#skF_1')), founding_rate(efficient_producers, appear(efficient_producers, '#skF_1')))))).
% 13.54/4.74 tff(c_1287, plain, (~decreases(difference(growth_rate(first_movers, appear(efficient_producers, '#skF_1')), growth_rate(efficient_producers, appear(efficient_producers, '#skF_1')))))).
% 13.54/4.75 tff(c_1271, plain, (![E_397]: (greater(growth_rate(first_movers, appear(efficient_producers, E_397)), growth_rate(efficient_producers, appear(efficient_producers, E_397))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_397)), growth_rate(efficient_producers, appear(efficient_producers, E_397)))) | appear(efficient_producers, E_397)=critical_point(E_397) | ~greater(difference(growth_rate(first_movers, critical_point(E_397)), growth_rate(efficient_producers, critical_point(E_397))), zero) | ~in_environment(E_397, critical_point(E_397)) | ~environment(E_397)))).
% 13.54/4.75 tff(c_1262, plain, (![E_7]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_7)), growth_rate(efficient_producers, appear(efficient_producers, E_7))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_7)), growth_rate(efficient_producers, appear(efficient_producers, E_7)))) | appear(efficient_producers, E_7)=critical_point(E_7) | ~greater(difference(growth_rate(first_movers, critical_point(E_7)), growth_rate(efficient_producers, critical_point(E_7))), zero) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.75 tff(c_1202, plain, (![E_380, T_381]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_380)), growth_rate(efficient_producers, appear(efficient_producers, E_380))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_380)), growth_rate(efficient_producers, appear(efficient_producers, E_380)))) | ~in_environment(E_380, T_381) | appear(efficient_producers, E_380)=T_381 | ~subpopulations(first_movers, efficient_producers, E_380, T_381) | ~environment(E_380) | ~greater(difference(growth_rate(first_movers, T_381), growth_rate(efficient_producers, T_381)), zero)))).
% 13.54/4.75 tff(c_733, plain, (![E_101, E_253, X_25]: (subpopulations(first_movers, efficient_producers, E_101, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~subpopulations(first_movers, efficient_producers, E_101, X_25) | ~subpopulations(first_movers, efficient_producers, E_101, zero) | ~environment(E_101) | ~greater(X_25, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~in_environment(E_253, appear(efficient_producers, E_253)) | ~environment(E_253)))).
% 13.54/4.75 tff(c_1240, plain, (![E_54]: (selection_favors(first_movers, efficient_producers, appear(efficient_producers, E_54)) | ~in_environment(E_54, critical_point('#skF_1')) | appear(efficient_producers, E_54)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_54, critical_point('#skF_1')) | ~in_environment(E_54, appear(efficient_producers, E_54)) | ~environment(E_54)))).
% 13.54/4.75 tff(c_1229, plain, (![E_8]: (greater(growth_rate(first_movers, appear(efficient_producers, E_8)), growth_rate(efficient_producers, appear(efficient_producers, E_8))) | ~in_environment(E_8, critical_point('#skF_1')) | appear(efficient_producers, E_8)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_8, critical_point('#skF_1')) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.75 tff(c_1216, plain, (![E_383]: (greater(growth_rate(first_movers, appear(efficient_producers, E_383)), growth_rate(efficient_producers, appear(efficient_producers, E_383))) | ~in_environment(E_383, critical_point('#skF_1')) | appear(efficient_producers, E_383)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_383, critical_point('#skF_1')) | ~environment(E_383) | decreases(difference(disbanding_rate(first_movers, appear(efficient_producers, E_383)), disbanding_rate(efficient_producers, appear(efficient_producers, E_383)))) | ~decreases(difference(founding_rate(first_movers, appear(efficient_producers, E_383)), founding_rate(efficient_producers, appear(efficient_producers, E_383))))))).
% 13.54/4.75 tff(c_1211, plain, (![E_382]: (greater(growth_rate(first_movers, appear(efficient_producers, E_382)), growth_rate(efficient_producers, appear(efficient_producers, E_382))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_382)), growth_rate(efficient_producers, appear(efficient_producers, E_382)))) | ~in_environment(E_382, critical_point('#skF_1')) | appear(efficient_producers, E_382)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_382, critical_point('#skF_1')) | ~environment(E_382)))).
% 13.54/4.75 tff(c_1201, plain, (![E_380]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_380)), growth_rate(efficient_producers, appear(efficient_producers, E_380))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_380)), growth_rate(efficient_producers, appear(efficient_producers, E_380)))) | ~in_environment(E_380, critical_point('#skF_1')) | appear(efficient_producers, E_380)=critical_point('#skF_1') | ~subpopulations(first_movers, efficient_producers, E_380, critical_point('#skF_1')) | ~environment(E_380)))).
% 13.54/4.75 tff(c_1188, plain, (![E_377, T_379]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_377)), growth_rate(efficient_producers, appear(efficient_producers, E_377))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_377)), growth_rate(efficient_producers, appear(efficient_producers, E_377)))) | ~greater_or_equal(difference(growth_rate(first_movers, T_379), growth_rate(efficient_producers, T_379)), zero) | ~in_environment(E_377, T_379) | appear(efficient_producers, E_377)=T_379 | ~subpopulations(first_movers, efficient_producers, E_377, T_379) | ~environment(E_377)))).
% 13.54/4.75 tff(c_385, plain, (![E_49, E_160, T_48]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, E_49)), growth_rate(efficient_producers, appear(efficient_producers, E_49))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, E_49)), growth_rate(efficient_producers, appear(efficient_producers, E_49)))) | ~greater_or_equal(appear(efficient_producers, E_49), appear(efficient_producers, E_160)) | ~greater_or_equal(difference(growth_rate(first_movers, T_48), growth_rate(efficient_producers, T_48)), zero) | ~in_environment(E_160, T_48) | ~environment(E_160) | appear(efficient_producers, E_49)=T_48 | ~subpopulations(first_movers, efficient_producers, E_49, T_48) | ~environment(E_49)))).
% 13.54/4.75 tff(c_1128, plain, (![E_8, E_353]: (subpopulations(first_movers, efficient_producers, E_8, difference(growth_rate(first_movers, critical_point(E_353)), growth_rate(efficient_producers, critical_point(E_353)))) | ~subpopulations(first_movers, efficient_producers, E_8, zero) | ~greater(appear(efficient_producers, E_8), difference(growth_rate(first_movers, critical_point(E_353)), growth_rate(efficient_producers, critical_point(E_353)))) | greater(zero, difference(growth_rate(first_movers, critical_point(E_353)), growth_rate(efficient_producers, critical_point(E_353)))) | ~in_environment(E_353, critical_point(E_353)) | ~environment(E_353) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.75 tff(c_1168, plain, (![E_369, E_370]: (greater(difference(growth_rate(first_movers, start_time(E_369)), growth_rate(efficient_producers, start_time(E_369))), zero) | ~decreases(difference(growth_rate(first_movers, start_time(E_369)), growth_rate(efficient_producers, start_time(E_369)))) | ~in_environment(E_370, appear(first_movers, E_369)) | appear(first_movers, E_369)=start_time(E_369) | ~environment(E_369) | ~subpopulations(first_movers, efficient_producers, E_370, start_time(E_369)) | ~environment(E_370) | ~greater(difference(growth_rate(first_movers, appear(first_movers, E_369)), growth_rate(efficient_producers, appear(first_movers, E_369))), zero)))).
% 13.54/4.75 tff(c_1163, plain, (![E_367, E_368]: (greater(difference(growth_rate(first_movers, start_time(E_367)), growth_rate(efficient_producers, start_time(E_367))), zero) | ~decreases(difference(growth_rate(first_movers, start_time(E_367)), growth_rate(efficient_producers, start_time(E_367)))) | ~in_environment(E_368, appear(first_movers, E_367)) | ~environment(E_368) | appear(first_movers, E_367)=start_time(E_367) | ~environment(E_367) | ~greater(start_time(E_367), appear(efficient_producers, E_368)) | ~greater(difference(growth_rate(first_movers, appear(first_movers, E_367)), growth_rate(efficient_producers, appear(first_movers, E_367))), zero)))).
% 13.54/4.75 tff(c_1147, plain, (![E_360, E_23]: (greater(difference(growth_rate(first_movers, start_time(E_360)), growth_rate(efficient_producers, start_time(E_360))), zero) | ~decreases(difference(growth_rate(first_movers, start_time(E_360)), growth_rate(efficient_producers, start_time(E_360)))) | ~greater_or_equal(difference(growth_rate(first_movers, appear(first_movers, E_360)), growth_rate(efficient_producers, appear(first_movers, E_360))), zero) | ~in_environment(E_23, appear(first_movers, E_360)) | appear(first_movers, E_360)=start_time(E_360) | ~environment(E_360) | ~subpopulations(first_movers, efficient_producers, E_23, start_time(E_360)) | ~environment(E_23)))).
% 13.54/4.75 tff(c_1148, plain, (![E_360, E_361]: (greater(difference(growth_rate(first_movers, start_time(E_360)), growth_rate(efficient_producers, start_time(E_360))), zero) | ~decreases(difference(growth_rate(first_movers, start_time(E_360)), growth_rate(efficient_producers, start_time(E_360)))) | ~greater_or_equal(difference(growth_rate(first_movers, appear(first_movers, E_360)), growth_rate(efficient_producers, appear(first_movers, E_360))), zero) | ~in_environment(E_361, appear(first_movers, E_360)) | ~environment(E_361) | appear(first_movers, E_360)=start_time(E_360) | ~environment(E_360) | ~greater(start_time(E_360), appear(efficient_producers, E_361))))).
% 13.54/4.75 tff(c_1154, plain, (![E_19, E_363]: (in_environment(E_19, difference(growth_rate(first_movers, appear(efficient_producers, E_363)), growth_rate(efficient_producers, appear(efficient_producers, E_363)))) | ~in_environment(E_19, zero) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_363)), growth_rate(efficient_producers, appear(efficient_producers, E_363)))) | ~in_environment(E_363, appear(efficient_producers, E_363)) | ~environment(E_363) | ~greater(start_time(E_19), difference(growth_rate(first_movers, appear(efficient_producers, E_363)), growth_rate(efficient_producers, appear(efficient_producers, E_363)))) | ~environment(E_19)))).
% 13.54/4.75 tff(c_1137, plain, (![E_355, E_356, X_25]: (in_environment(E_355, difference(growth_rate(first_movers, appear(efficient_producers, E_356)), growth_rate(efficient_producers, appear(efficient_producers, E_356)))) | ~in_environment(E_355, X_25) | ~in_environment(E_355, zero) | ~environment(E_355) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_356)), growth_rate(efficient_producers, appear(efficient_producers, E_356)))) | ~in_environment(E_356, appear(efficient_producers, E_356)) | ~environment(E_356) | ~greater(X_25, difference(growth_rate(first_movers, appear(efficient_producers, E_356)), growth_rate(efficient_producers, appear(efficient_producers, E_356))))))).
% 13.54/4.75 tff(c_388, plain, (![E_45, E_160]: (greater(difference(growth_rate(first_movers, start_time(E_45)), growth_rate(efficient_producers, start_time(E_45))), zero) | ~decreases(difference(growth_rate(first_movers, start_time(E_45)), growth_rate(efficient_producers, start_time(E_45)))) | ~greater_or_equal(start_time(E_45), appear(efficient_producers, E_160)) | ~greater_or_equal(difference(growth_rate(first_movers, appear(first_movers, E_45)), growth_rate(efficient_producers, appear(first_movers, E_45))), zero) | ~in_environment(E_160, appear(first_movers, E_45)) | ~environment(E_160) | appear(first_movers, E_45)=start_time(E_45) | ~environment(E_45)))).
% 13.54/4.75 tff(c_1129, plain, (![E_7, E_353]: (subpopulations(first_movers, efficient_producers, E_7, difference(growth_rate(first_movers, critical_point(E_353)), growth_rate(efficient_producers, critical_point(E_353)))) | ~subpopulations(first_movers, efficient_producers, E_7, zero) | ~greater(critical_point(E_7), difference(growth_rate(first_movers, critical_point(E_353)), growth_rate(efficient_producers, critical_point(E_353)))) | greater(zero, difference(growth_rate(first_movers, critical_point(E_353)), growth_rate(efficient_producers, critical_point(E_353)))) | ~in_environment(E_353, critical_point(E_353)) | ~environment(E_353) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.75 tff(c_736, plain, (![E_15, E_253, T2_17]: (in_environment(E_15, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~greater_or_equal(T2_17, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~in_environment(E_15, T2_17) | ~in_environment(E_15, zero) | ~environment(E_15) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~in_environment(E_253, appear(efficient_producers, E_253)) | ~environment(E_253)))).
% 13.54/4.75 tff(c_625, plain, (![E_101, E_210, X_25]: (subpopulations(first_movers, efficient_producers, E_101, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~subpopulations(first_movers, efficient_producers, E_101, X_25) | ~subpopulations(first_movers, efficient_producers, E_101, zero) | ~environment(E_101) | ~greater(X_25, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | greater(zero, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~in_environment(E_210, critical_point(E_210)) | ~environment(E_210)))).
% 13.54/4.75 tff(c_734, plain, (![E_29, T1_30, E_253]: (subpopulations(first_movers, efficient_producers, E_29, zero) | ~greater_or_equal(zero, T1_30) | ~subpopulations(first_movers, efficient_producers, E_29, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~subpopulations(first_movers, efficient_producers, E_29, T1_30) | ~environment(E_29) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~in_environment(E_253, appear(efficient_producers, E_253)) | ~environment(E_253)))).
% 13.54/4.75 tff(c_1116, plain, (![E_19, E_345]: (in_environment(E_19, difference(growth_rate(first_movers, critical_point(E_345)), growth_rate(efficient_producers, critical_point(E_345)))) | ~in_environment(E_19, zero) | greater(zero, difference(growth_rate(first_movers, critical_point(E_345)), growth_rate(efficient_producers, critical_point(E_345)))) | ~in_environment(E_345, critical_point(E_345)) | ~environment(E_345) | ~greater(start_time(E_19), difference(growth_rate(first_movers, critical_point(E_345)), growth_rate(efficient_producers, critical_point(E_345)))) | ~environment(E_19)))).
% 13.54/4.75 tff(c_1120, plain, (~in_environment('#skF_1', zero))).
% 13.54/4.75 tff(c_1039, plain, (![E_330, E_331, X_25]: (in_environment(E_330, difference(growth_rate(first_movers, critical_point(E_331)), growth_rate(efficient_producers, critical_point(E_331)))) | ~in_environment(E_330, X_25) | ~in_environment(E_330, zero) | ~environment(E_330) | greater(zero, difference(growth_rate(first_movers, critical_point(E_331)), growth_rate(efficient_producers, critical_point(E_331)))) | ~in_environment(E_331, critical_point(E_331)) | ~environment(E_331) | ~greater(X_25, difference(growth_rate(first_movers, critical_point(E_331)), growth_rate(efficient_producers, critical_point(E_331))))))).
% 13.54/4.75 tff(c_1106, plain, (![E_54]: (selection_favors(efficient_producers, first_movers, appear(efficient_producers, E_54)) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, E_54)) | ~in_environment(E_54, appear(efficient_producers, E_54)) | ~environment(E_54)))).
% 13.54/4.75 tff(c_732, plain, (![E_67, E_253, E_23]: (in_environment(E_67, zero) | ~in_environment(E_67, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~in_environment(E_67, appear(efficient_producers, E_23)) | ~environment(E_67) | ~subpopulations(first_movers, efficient_producers, E_23, zero) | ~environment(E_23) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~in_environment(E_253, appear(efficient_producers, E_253)) | ~environment(E_253)))).
% 13.54/4.75 tff(c_1031, plain, (![E_54]: (selection_favors(first_movers, efficient_producers, appear(efficient_producers, E_54)) | greater(growth_rate(efficient_producers, appear(efficient_producers, E_54)), growth_rate(first_movers, appear(efficient_producers, E_54))) | difference(growth_rate(first_movers, appear(efficient_producers, E_54)), growth_rate(efficient_producers, appear(efficient_producers, E_54)))=zero | ~in_environment(E_54, appear(efficient_producers, E_54)) | ~environment(E_54)))).
% 13.54/4.75 tff(c_628, plain, (![E_15, E_210, T2_17]: (in_environment(E_15, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~greater_or_equal(T2_17, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~in_environment(E_15, T2_17) | ~in_environment(E_15, zero) | ~environment(E_15) | greater(zero, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~in_environment(E_210, critical_point(E_210)) | ~environment(E_210)))).
% 13.54/4.75 tff(c_1020, plain, (![E_326]: (greater(growth_rate(efficient_producers, appear(efficient_producers, E_326)), growth_rate(first_movers, appear(efficient_producers, E_326))) | greater(growth_rate(first_movers, appear(efficient_producers, E_326)), growth_rate(efficient_producers, appear(efficient_producers, E_326))) | difference(growth_rate(first_movers, appear(efficient_producers, E_326)), growth_rate(efficient_producers, appear(efficient_producers, E_326)))=zero | ~in_environment(E_326, appear(efficient_producers, E_326)) | ~environment(E_326)))).
% 13.54/4.75 tff(c_1012, plain, (![E_325]: (greater(growth_rate(first_movers, appear(efficient_producers, E_325)), growth_rate(efficient_producers, appear(efficient_producers, E_325))) | difference(growth_rate(first_movers, appear(efficient_producers, E_325)), growth_rate(efficient_producers, appear(efficient_producers, E_325)))=zero | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_325)), growth_rate(efficient_producers, appear(efficient_producers, E_325)))) | ~in_environment(E_325, appear(efficient_producers, E_325)) | ~environment(E_325)))).
% 13.54/4.75 tff(c_737, plain, (![E_253]: (difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))=zero | greater(difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253))), zero) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~in_environment(E_253, appear(efficient_producers, E_253)) | ~environment(E_253)))).
% 13.54/4.75 tff(c_626, plain, (![E_29, T1_30, E_210]: (subpopulations(first_movers, efficient_producers, E_29, zero) | ~greater_or_equal(zero, T1_30) | ~subpopulations(first_movers, efficient_producers, E_29, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~subpopulations(first_movers, efficient_producers, E_29, T1_30) | ~environment(E_29) | greater(zero, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~in_environment(E_210, critical_point(E_210)) | ~environment(E_210)))).
% 13.54/4.76 tff(c_1002, plain, (~greater(growth_rate(first_movers, growth_rate(first_movers, critical_point('#skF_1'))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point('#skF_1')))))).
% 13.54/4.76 tff(c_998, plain, (~greater(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point('#skF_1'))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point('#skF_1')))), zero))).
% 13.54/4.76 tff(c_994, plain, (~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point('#skF_1'))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point('#skF_1')))), zero))).
% 13.54/4.76 tff(c_819, plain, (![E_8, E_292, E_294]: (subpopulations(first_movers, efficient_producers, E_8, appear(efficient_producers, E_292)) | ~subpopulations(first_movers, efficient_producers, E_8, appear(efficient_producers, E_294)) | ~subpopulations(first_movers, efficient_producers, E_292, appear(efficient_producers, E_8)) | ~environment(E_292) | ~subpopulations(first_movers, efficient_producers, E_294, appear(efficient_producers, E_292)) | ~environment(E_294) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.76 tff(c_624, plain, (![E_67, E_210, E_23]: (in_environment(E_67, zero) | ~in_environment(E_67, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~in_environment(E_67, appear(efficient_producers, E_23)) | ~environment(E_67) | ~subpopulations(first_movers, efficient_producers, E_23, zero) | ~environment(E_23) | greater(zero, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~in_environment(E_210, critical_point(E_210)) | ~environment(E_210)))).
% 13.54/4.76 tff(c_980, plain, (![E_7]: (selection_favors(first_movers, efficient_producers, critical_point(E_7)) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.76 tff(c_962, plain, (greater(zero, zero))).
% 13.54/4.76 tff(c_735, plain, (![E_67, E_253, Y_26]: (in_environment(E_67, zero) | ~in_environment(E_67, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~in_environment(E_67, Y_26) | ~environment(E_67) | ~greater(zero, Y_26) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_253)), growth_rate(efficient_producers, appear(efficient_producers, E_253)))) | ~in_environment(E_253, appear(efficient_producers, E_253)) | ~environment(E_253)))).
% 13.54/4.76 tff(c_859, plain, (~greater(growth_rate(first_movers, '#skF_2'), growth_rate(efficient_producers, '#skF_2')))).
% 13.54/4.76 tff(c_855, plain, (~greater(difference(growth_rate(first_movers, '#skF_2'), growth_rate(efficient_producers, '#skF_2')), zero))).
% 13.54/4.76 tff(c_851, plain, (~greater_or_equal(difference(growth_rate(first_movers, '#skF_2'), growth_rate(efficient_producers, '#skF_2')), zero))).
% 13.54/4.76 tff(c_811, plain, (![E_8]: (subpopulations(first_movers, efficient_producers, E_8, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~subpopulations(first_movers, efficient_producers, E_8, zero) | ~greater(appear(efficient_producers, E_8), difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.76 tff(c_842, plain, (![E_302]: (greater(growth_rate(efficient_producers, critical_point(E_302)), growth_rate(first_movers, critical_point(E_302))) | greater(growth_rate(first_movers, critical_point(E_302)), growth_rate(efficient_producers, critical_point(E_302))) | difference(growth_rate(first_movers, critical_point(E_302)), growth_rate(efficient_producers, critical_point(E_302)))=zero | ~in_environment(E_302, critical_point(E_302)) | ~environment(E_302)))).
% 13.54/4.76 tff(c_833, plain, (![E_298]: (greater(growth_rate(first_movers, critical_point(E_298)), growth_rate(efficient_producers, critical_point(E_298))) | difference(growth_rate(first_movers, critical_point(E_298)), growth_rate(efficient_producers, critical_point(E_298)))=zero | greater(zero, difference(growth_rate(first_movers, critical_point(E_298)), growth_rate(efficient_producers, critical_point(E_298)))) | ~in_environment(E_298, critical_point(E_298)) | ~environment(E_298)))).
% 13.54/4.76 tff(c_627, plain, (![E_67, E_210, Y_26]: (in_environment(E_67, zero) | ~in_environment(E_67, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~in_environment(E_67, Y_26) | ~environment(E_67) | ~greater(zero, Y_26) | greater(zero, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~in_environment(E_210, critical_point(E_210)) | ~environment(E_210)))).
% 13.54/4.76 tff(c_629, plain, (![E_210]: (difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))=zero | greater(difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210))), zero) | greater(zero, difference(growth_rate(first_movers, critical_point(E_210)), growth_rate(efficient_producers, critical_point(E_210)))) | ~in_environment(E_210, critical_point(E_210)) | ~environment(E_210)))).
% 13.54/4.76 tff(c_820, plain, (![E_7, E_292, E_294]: (subpopulations(first_movers, efficient_producers, E_7, appear(efficient_producers, E_292)) | ~subpopulations(first_movers, efficient_producers, E_7, appear(efficient_producers, E_294)) | ~subpopulations(first_movers, efficient_producers, E_292, critical_point(E_7)) | ~environment(E_292) | ~subpopulations(first_movers, efficient_producers, E_294, appear(efficient_producers, E_292)) | ~environment(E_294) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.76 tff(c_682, plain, (![E_232, E_233, T_235, E_23]: (subpopulations(first_movers, efficient_producers, E_232, appear(efficient_producers, E_233)) | ~subpopulations(first_movers, efficient_producers, E_232, T_235) | ~subpopulations(first_movers, efficient_producers, E_232, appear(efficient_producers, E_23)) | ~environment(E_232) | ~subpopulations(first_movers, efficient_producers, E_233, T_235) | ~environment(E_233) | ~subpopulations(first_movers, efficient_producers, E_23, appear(efficient_producers, E_233)) | ~environment(E_23)))).
% 13.54/4.76 tff(c_812, plain, (![E_7]: (subpopulations(first_movers, efficient_producers, E_7, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~subpopulations(first_movers, efficient_producers, E_7, zero) | ~greater(critical_point(E_7), difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.76 tff(c_545, plain, (![E_101, X_25]: (subpopulations(first_movers, efficient_producers, E_101, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~subpopulations(first_movers, efficient_producers, E_101, X_25) | ~subpopulations(first_movers, efficient_producers, E_101, zero) | ~environment(E_101) | ~greater(X_25, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1'))))))).
% 13.54/4.76 tff(c_805, plain, (~greater(growth_rate(first_movers, zero), growth_rate(efficient_producers, zero)))).
% 13.54/4.76 tff(c_801, plain, (~greater(difference(growth_rate(first_movers, zero), growth_rate(efficient_producers, zero)), zero))).
% 13.54/4.76 tff(c_797, plain, (~greater_or_equal(difference(growth_rate(first_movers, zero), growth_rate(efficient_producers, zero)), zero))).
% 13.54/4.76 tff(c_785, plain, (![E_7, E_280]: (subpopulations(first_movers, efficient_producers, E_7, appear(efficient_producers, E_280)) | ~subpopulations(first_movers, efficient_producers, E_280, appear(efficient_producers, E_7)) | ~environment(E_280) | ~greater(appear(efficient_producers, E_280), critical_point(E_7)) | ~in_environment(E_7, appear(efficient_producers, E_7)) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.76 tff(c_765, plain, (![E_8, E_269]: (subpopulations(first_movers, efficient_producers, E_8, appear(efficient_producers, E_269)) | ~subpopulations(first_movers, efficient_producers, E_269, critical_point(E_8)) | ~environment(E_269) | ~greater(appear(efficient_producers, E_269), appear(efficient_producers, E_8)) | ~in_environment(E_8, critical_point(E_8)) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.76 tff(c_784, plain, (![E_8, E_280]: (subpopulations(first_movers, efficient_producers, E_8, appear(efficient_producers, E_280)) | ~subpopulations(first_movers, efficient_producers, E_280, appear(efficient_producers, E_8)) | ~environment(E_280) | ~greater(appear(efficient_producers, E_280), appear(efficient_producers, E_8)) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.76 tff(c_744, plain, (![E_8, E_256, Y_258]: (subpopulations(first_movers, efficient_producers, E_8, appear(efficient_producers, E_256)) | ~subpopulations(first_movers, efficient_producers, E_8, Y_258) | ~subpopulations(first_movers, efficient_producers, E_256, appear(efficient_producers, E_8)) | ~environment(E_256) | ~greater(appear(efficient_producers, E_256), Y_258) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.76 tff(c_778, plain, (~decreases(difference(founding_rate(first_movers, zero), founding_rate(efficient_producers, zero))))).
% 13.54/4.76 tff(c_773, plain, (~decreases(difference(growth_rate(first_movers, zero), growth_rate(efficient_producers, zero))))).
% 13.54/4.76 tff(c_574, plain, (![E_196, E_197, E_23]: (subpopulations(first_movers, efficient_producers, E_196, start_time(E_197)) | ~subpopulations(first_movers, efficient_producers, E_196, appear(first_movers, E_197)) | ~subpopulations(first_movers, efficient_producers, E_196, appear(efficient_producers, E_23)) | ~environment(E_196) | ~environment(E_197) | ~subpopulations(first_movers, efficient_producers, E_23, start_time(E_197)) | ~environment(E_23)))).
% 13.54/4.76 tff(c_692, plain, (![E_8, T_241, E_243]: (subpopulations(first_movers, efficient_producers, E_8, T_241) | ~subpopulations(first_movers, efficient_producers, E_8, appear(efficient_producers, E_243)) | ~greater(appear(efficient_producers, E_8), T_241) | ~subpopulations(first_movers, efficient_producers, E_243, T_241) | ~environment(E_243) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.76 tff(c_766, plain, (![E_7, E_269]: (subpopulations(first_movers, efficient_producers, E_7, appear(efficient_producers, E_269)) | ~subpopulations(first_movers, efficient_producers, E_269, critical_point(E_7)) | ~environment(E_269) | ~greater(appear(efficient_producers, E_269), critical_point(E_7)) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.76 tff(c_745, plain, (![E_7, E_256, Y_258]: (subpopulations(first_movers, efficient_producers, E_7, appear(efficient_producers, E_256)) | ~subpopulations(first_movers, efficient_producers, E_7, Y_258) | ~subpopulations(first_movers, efficient_producers, E_256, critical_point(E_7)) | ~environment(E_256) | ~greater(appear(efficient_producers, E_256), Y_258) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.76 tff(c_751, plain, (![E_19, E_260, E_262]: (in_environment(E_19, appear(efficient_producers, E_260)) | ~in_environment(E_19, appear(efficient_producers, E_262)) | ~subpopulations(first_movers, efficient_producers, E_262, appear(efficient_producers, E_260)) | ~environment(E_262) | ~subpopulations(first_movers, efficient_producers, E_260, start_time(E_19)) | ~environment(E_260) | ~environment(E_19)))).
% 13.54/4.76 tff(c_754, plain, (![E_260, E_262]: (in_environment('#skF_1', appear(efficient_producers, E_260)) | ~in_environment('#skF_1', appear(efficient_producers, E_262)) | ~subpopulations(first_movers, efficient_producers, E_262, appear(efficient_producers, E_260)) | ~environment(E_262) | ~subpopulations(first_movers, efficient_producers, E_260, critical_point('#skF_1')) | ~environment(E_260)))).
% 13.54/4.76 tff(c_302, plain, (![E_127, E_23, T_24, E_130]: (in_environment(E_127, appear(efficient_producers, E_23)) | ~in_environment(E_127, T_24) | ~in_environment(E_127, appear(efficient_producers, E_130)) | ~environment(E_127) | ~subpopulations(first_movers, efficient_producers, E_130, appear(efficient_producers, E_23)) | ~environment(E_130) | ~subpopulations(first_movers, efficient_producers, E_23, T_24) | ~environment(E_23)))).
% 13.54/4.76 tff(c_683, plain, (![E_232, E_233, T_235, Y_26]: (subpopulations(first_movers, efficient_producers, E_232, appear(efficient_producers, E_233)) | ~subpopulations(first_movers, efficient_producers, E_232, T_235) | ~subpopulations(first_movers, efficient_producers, E_232, Y_26) | ~environment(E_232) | ~subpopulations(first_movers, efficient_producers, E_233, T_235) | ~environment(E_233) | ~greater(appear(efficient_producers, E_233), Y_26)))).
% 13.54/4.76 tff(c_713, plain, (![E_19]: (in_environment(E_19, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~in_environment(E_19, zero) | ~greater(start_time(E_19), difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~environment(E_19)))).
% 13.54/4.76 tff(c_329, plain, (![E_8]: (greater_or_equal(difference(growth_rate(first_movers, appear(efficient_producers, E_8)), growth_rate(efficient_producers, appear(efficient_producers, E_8))), zero) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, E_8)), growth_rate(efficient_producers, appear(efficient_producers, E_8)))) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.76 tff(c_717, plain, (~greater(critical_point('#skF_1'), difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))))).
% 13.54/4.76 tff(c_701, plain, (![E_244, X_25]: (in_environment(E_244, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~in_environment(E_244, X_25) | ~in_environment(E_244, zero) | ~environment(E_244) | ~greater(X_25, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1'))))))).
% 13.54/4.76 tff(c_693, plain, (![E_7, T_241, E_243]: (subpopulations(first_movers, efficient_producers, E_7, T_241) | ~subpopulations(first_movers, efficient_producers, E_7, appear(efficient_producers, E_243)) | ~greater(critical_point(E_7), T_241) | ~subpopulations(first_movers, efficient_producers, E_243, T_241) | ~environment(E_243) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.77 tff(c_669, plain, (![E_8, E_228]: (subpopulations(first_movers, efficient_producers, E_8, appear(first_movers, E_228)) | ~subpopulations(first_movers, efficient_producers, E_8, start_time(E_228)) | ~greater(appear(efficient_producers, E_8), appear(first_movers, E_228)) | ~environment(E_228) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.77 tff(c_548, plain, (![E_15, T2_17]: (in_environment(E_15, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~greater_or_equal(T2_17, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~in_environment(E_15, T2_17) | ~in_environment(E_15, zero) | ~environment(E_15)))).
% 13.54/4.77 tff(c_272, plain, (![E_120, T_24, X_123, E_23]: (subpopulations(first_movers, efficient_producers, E_120, T_24) | ~subpopulations(first_movers, efficient_producers, E_120, X_123) | ~subpopulations(first_movers, efficient_producers, E_120, appear(efficient_producers, E_23)) | ~environment(E_120) | ~greater(X_123, T_24) | ~subpopulations(first_movers, efficient_producers, E_23, T_24) | ~environment(E_23)))).
% 13.54/4.77 tff(c_546, plain, (![E_29, T1_30]: (subpopulations(first_movers, efficient_producers, E_29, zero) | ~greater_or_equal(zero, T1_30) | ~subpopulations(first_movers, efficient_producers, E_29, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~subpopulations(first_movers, efficient_producers, E_29, T1_30) | ~environment(E_29)))).
% 13.54/4.77 tff(c_544, plain, (![E_67, E_23]: (in_environment(E_67, zero) | ~in_environment(E_67, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~in_environment(E_67, appear(efficient_producers, E_23)) | ~environment(E_67) | ~subpopulations(first_movers, efficient_producers, E_23, zero) | ~environment(E_23)))).
% 13.54/4.77 tff(c_232, plain, (![E_101, E_23, T1_104, T_24]: (subpopulations(first_movers, efficient_producers, E_101, appear(efficient_producers, E_23)) | ~greater_or_equal(appear(efficient_producers, E_23), T1_104) | ~subpopulations(first_movers, efficient_producers, E_101, T_24) | ~subpopulations(first_movers, efficient_producers, E_101, T1_104) | ~environment(E_101) | ~subpopulations(first_movers, efficient_producers, E_23, T_24) | ~environment(E_23)))).
% 13.54/4.77 tff(c_670, plain, (![E_7, E_228]: (subpopulations(first_movers, efficient_producers, E_7, appear(first_movers, E_228)) | ~subpopulations(first_movers, efficient_producers, E_7, start_time(E_228)) | ~greater(critical_point(E_7), appear(first_movers, E_228)) | ~environment(E_228) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.77 tff(c_273, plain, (![E_120, E_20, X_123]: (subpopulations(first_movers, efficient_producers, E_120, appear(first_movers, E_20)) | ~subpopulations(first_movers, efficient_producers, E_120, X_123) | ~subpopulations(first_movers, efficient_producers, E_120, start_time(E_20)) | ~environment(E_120) | ~greater(X_123, appear(first_movers, E_20)) | ~environment(E_20)))).
% 13.54/4.77 tff(c_575, plain, (![E_196, E_197, Y_26]: (subpopulations(first_movers, efficient_producers, E_196, start_time(E_197)) | ~subpopulations(first_movers, efficient_producers, E_196, appear(first_movers, E_197)) | ~subpopulations(first_movers, efficient_producers, E_196, Y_26) | ~environment(E_196) | ~environment(E_197) | ~greater(start_time(E_197), Y_26)))).
% 13.54/4.77 tff(c_303, plain, (![E_127, E_20, E_130]: (in_environment(E_127, start_time(E_20)) | ~in_environment(E_127, appear(first_movers, E_20)) | ~in_environment(E_127, appear(efficient_producers, E_130)) | ~environment(E_127) | ~subpopulations(first_movers, efficient_producers, E_130, start_time(E_20)) | ~environment(E_130) | ~environment(E_20)))).
% 13.54/4.77 tff(c_636, plain, (![E_7, X_212]: (subpopulations(first_movers, efficient_producers, E_7, X_212) | ~greater(appear(efficient_producers, E_7), X_212) | ~greater(X_212, critical_point(E_7)) | ~in_environment(E_7, appear(efficient_producers, E_7)) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.77 tff(c_368, plain, (![E_8]: (subpopulations(first_movers, efficient_producers, E_8, appear(efficient_producers, '#skF_1')) | ~subpopulations(first_movers, efficient_producers, E_8, '#skF_2') | ~greater(appear(efficient_producers, '#skF_1'), appear(efficient_producers, E_8)) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.77 tff(c_337, plain, (![E_8, X_147]: (subpopulations(first_movers, efficient_producers, E_8, X_147) | ~greater(critical_point(E_8), X_147) | ~greater(X_147, appear(efficient_producers, E_8)) | ~in_environment(E_8, critical_point(E_8)) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.77 tff(c_635, plain, (![E_8, X_212]: (subpopulations(first_movers, efficient_producers, E_8, X_212) | ~greater(appear(efficient_producers, E_8), X_212) | ~greater(X_212, appear(efficient_producers, E_8)) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.77 tff(c_312, plain, (![E_8, X_132, Y_134]: (subpopulations(first_movers, efficient_producers, E_8, X_132) | ~subpopulations(first_movers, efficient_producers, E_8, Y_134) | ~greater(appear(efficient_producers, E_8), X_132) | ~greater(X_132, Y_134) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.77 tff(c_330, plain, (![E_7]: (greater_or_equal(difference(growth_rate(first_movers, critical_point(E_7)), growth_rate(efficient_producers, critical_point(E_7))), zero) | greater(zero, difference(growth_rate(first_movers, critical_point(E_7)), growth_rate(efficient_producers, critical_point(E_7)))) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.77 tff(c_604, plain, (![E_19, E_205]: (in_environment(E_19, appear(efficient_producers, E_205)) | ~greater(appear(efficient_producers, E_205), start_time(E_19)) | ~subpopulations(first_movers, efficient_producers, E_205, start_time(E_19)) | ~environment(E_205) | ~environment(E_19)))).
% 13.54/4.77 tff(c_607, plain, (![E_205]: (in_environment('#skF_1', appear(efficient_producers, E_205)) | ~greater(appear(efficient_producers, E_205), critical_point('#skF_1')) | ~subpopulations(first_movers, efficient_producers, E_205, start_time('#skF_1')) | ~environment(E_205)))).
% 13.54/4.77 tff(c_403, plain, (![E_19, E_163, Y_165]: (in_environment(E_19, appear(efficient_producers, E_163)) | ~in_environment(E_19, Y_165) | ~greater(appear(efficient_producers, E_163), Y_165) | ~subpopulations(first_movers, efficient_producers, E_163, start_time(E_19)) | ~environment(E_163) | ~environment(E_19)))).
% 13.54/4.77 tff(c_547, plain, (![E_67, Y_26]: (in_environment(E_67, zero) | ~in_environment(E_67, difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1')))) | ~in_environment(E_67, Y_26) | ~environment(E_67) | ~greater(zero, Y_26)))).
% 13.54/4.77 tff(c_593, plain, (selection_favors(first_movers, efficient_producers, critical_point('#skF_1')))).
% 13.54/4.77 tff(c_359, plain, (![E_151, E_23]: (subpopulations(first_movers, efficient_producers, E_151, appear(efficient_producers, '#skF_1')) | ~subpopulations(first_movers, efficient_producers, E_151, '#skF_2') | ~subpopulations(first_movers, efficient_producers, E_151, appear(efficient_producers, E_23)) | ~environment(E_151) | ~subpopulations(first_movers, efficient_producers, E_23, appear(efficient_producers, '#skF_1')) | ~environment(E_23)))).
% 13.54/4.77 tff(c_563, plain, (greater(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1'))))).
% 13.54/4.77 tff(c_233, plain, (![E_101, E_20, T1_104]: (subpopulations(first_movers, efficient_producers, E_101, start_time(E_20)) | ~greater_or_equal(start_time(E_20), T1_104) | ~subpopulations(first_movers, efficient_producers, E_101, appear(first_movers, E_20)) | ~subpopulations(first_movers, efficient_producers, E_101, T1_104) | ~environment(E_101) | ~environment(E_20)))).
% 13.54/4.77 tff(c_556, plain, (greater(difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1'))), zero))).
% 13.54/4.77 tff(c_555, plain, (~decreases(difference(founding_rate(first_movers, '#skF_2'), founding_rate(efficient_producers, '#skF_2'))))).
% 13.54/4.77 tff(c_550, plain, (~decreases(difference(growth_rate(first_movers, '#skF_2'), growth_rate(efficient_producers, '#skF_2'))))).
% 13.54/4.77 tff(c_530, plain, (greater_or_equal(difference(growth_rate(first_movers, critical_point('#skF_1')), growth_rate(efficient_producers, critical_point('#skF_1'))), zero))).
% 13.54/4.77 tff(c_406, plain, (![E_163, Y_165]: (in_environment('#skF_1', appear(efficient_producers, E_163)) | ~in_environment('#skF_1', Y_165) | ~greater(appear(efficient_producers, E_163), Y_165) | ~subpopulations(first_movers, efficient_producers, E_163, critical_point('#skF_1')) | ~environment(E_163)))).
% 13.54/4.77 tff(c_160, plain, (![E_74, E_23, T_24, Y_77]: (in_environment(E_74, appear(efficient_producers, E_23)) | ~in_environment(E_74, T_24) | ~in_environment(E_74, Y_77) | ~environment(E_74) | ~greater(appear(efficient_producers, E_23), Y_77) | ~subpopulations(first_movers, efficient_producers, E_23, T_24) | ~environment(E_23)))).
% 13.54/4.77 tff(c_282, plain, (![E_8]: (subpopulations(first_movers, efficient_producers, E_8, '#skF_2') | ~subpopulations(first_movers, efficient_producers, E_8, appear(efficient_producers, '#skF_1')) | ~greater(appear(efficient_producers, E_8), '#skF_2') | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.77 tff(c_10, plain, (![T_10, To_11, E_9]: (greater(difference(growth_rate(first_movers, T_10), growth_rate(efficient_producers, T_10)), zero) | ~decreases(difference(growth_rate(first_movers, T_10), growth_rate(efficient_producers, T_10))) | ~greater(To_11, T_10) | ~greater_or_equal(T_10, appear(efficient_producers, E_9)) | ~greater_or_equal(difference(growth_rate(first_movers, To_11), growth_rate(efficient_producers, To_11)), zero) | ~in_environment(E_9, To_11) | ~environment(E_9)))).
% 13.54/4.77 tff(c_369, plain, (![E_7]: (subpopulations(first_movers, efficient_producers, E_7, appear(efficient_producers, '#skF_1')) | ~subpopulations(first_movers, efficient_producers, E_7, '#skF_2') | ~greater(appear(efficient_producers, '#skF_1'), critical_point(E_7)) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.77 tff(c_305, plain, (![E_127, E_130]: (in_environment(E_127, appear(efficient_producers, '#skF_1')) | ~in_environment(E_127, '#skF_2') | ~in_environment(E_127, appear(efficient_producers, E_130)) | ~environment(E_127) | ~subpopulations(first_movers, efficient_producers, E_130, appear(efficient_producers, '#skF_1')) | ~environment(E_130)))).
% 13.54/4.77 tff(c_360, plain, (![E_151, Y_26]: (subpopulations(first_movers, efficient_producers, E_151, appear(efficient_producers, '#skF_1')) | ~subpopulations(first_movers, efficient_producers, E_151, '#skF_2') | ~subpopulations(first_movers, efficient_producers, E_151, Y_26) | ~environment(E_151) | ~greater(appear(efficient_producers, '#skF_1'), Y_26)))).
% 13.54/4.77 tff(c_362, plain, (~greater('#skF_2', critical_point('#skF_1')))).
% 13.54/4.77 tff(c_235, plain, (![E_101, T1_104]: (subpopulations(first_movers, efficient_producers, E_101, appear(efficient_producers, '#skF_1')) | ~greater_or_equal(appear(efficient_producers, '#skF_1'), T1_104) | ~subpopulations(first_movers, efficient_producers, E_101, '#skF_2') | ~subpopulations(first_movers, efficient_producers, E_101, T1_104) | ~environment(E_101)))).
% 13.54/4.77 tff(c_338, plain, (![E_7, X_147]: (subpopulations(first_movers, efficient_producers, E_7, X_147) | ~greater(critical_point(E_7), X_147) | ~greater(X_147, critical_point(E_7)) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.77 tff(c_313, plain, (![E_7, X_132, Y_134]: (subpopulations(first_movers, efficient_producers, E_7, X_132) | ~subpopulations(first_movers, efficient_producers, E_7, Y_134) | ~greater(critical_point(E_7), X_132) | ~greater(X_132, Y_134) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.77 tff(c_319, plain, (![E_19, Y_136, E_138]: (in_environment(E_19, Y_136) | ~in_environment(E_19, appear(efficient_producers, E_138)) | ~subpopulations(first_movers, efficient_producers, E_138, Y_136) | ~environment(E_138) | ~greater(start_time(E_19), Y_136) | ~environment(E_19)))).
% 13.54/4.77 tff(c_38, plain, (![T_28, E_27]: (greater_or_equal(difference(growth_rate(first_movers, T_28), growth_rate(efficient_producers, T_28)), zero) | greater(zero, difference(growth_rate(first_movers, T_28), growth_rate(efficient_producers, T_28))) | ~subpopulations(first_movers, efficient_producers, E_27, T_28) | ~environment(E_27)))).
% 13.54/4.77 tff(c_322, plain, (![Y_136, E_138]: (in_environment('#skF_1', Y_136) | ~in_environment('#skF_1', appear(efficient_producers, E_138)) | ~subpopulations(first_movers, efficient_producers, E_138, Y_136) | ~environment(E_138) | ~greater(critical_point('#skF_1'), Y_136)))).
% 13.54/4.77 tff(c_304, plain, (![E_127, Y_26, X_25, E_130]: (in_environment(E_127, Y_26) | ~in_environment(E_127, X_25) | ~in_environment(E_127, appear(efficient_producers, E_130)) | ~environment(E_127) | ~subpopulations(first_movers, efficient_producers, E_130, Y_26) | ~environment(E_130) | ~greater(X_25, Y_26)))).
% 13.54/4.77 tff(c_274, plain, (![E_120, X_25, X_123, Y_26]: (subpopulations(first_movers, efficient_producers, E_120, X_25) | ~subpopulations(first_movers, efficient_producers, E_120, X_123) | ~subpopulations(first_movers, efficient_producers, E_120, Y_26) | ~environment(E_120) | ~greater(X_123, X_25) | ~greater(X_25, Y_26)))).
% 13.54/4.77 tff(c_133, plain, (![E_67, T_24, T2_70, E_23]: (in_environment(E_67, T_24) | ~greater_or_equal(T2_70, T_24) | ~in_environment(E_67, T2_70) | ~in_environment(E_67, appear(efficient_producers, E_23)) | ~environment(E_67) | ~subpopulations(first_movers, efficient_producers, E_23, T_24) | ~environment(E_23)))).
% 13.54/4.78 tff(c_283, plain, (![E_7]: (subpopulations(first_movers, efficient_producers, E_7, '#skF_2') | ~subpopulations(first_movers, efficient_producers, E_7, appear(efficient_producers, '#skF_1')) | ~greater(critical_point(E_7), '#skF_2') | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.78 tff(c_275, plain, (![E_120, X_123]: (subpopulations(first_movers, efficient_producers, E_120, '#skF_2') | ~subpopulations(first_movers, efficient_producers, E_120, X_123) | ~subpopulations(first_movers, efficient_producers, E_120, appear(efficient_producers, '#skF_1')) | ~environment(E_120) | ~greater(X_123, '#skF_2')))).
% 13.54/4.78 tff(c_234, plain, (![E_101, Y_26, T1_104, X_25]: (subpopulations(first_movers, efficient_producers, E_101, Y_26) | ~greater_or_equal(Y_26, T1_104) | ~subpopulations(first_movers, efficient_producers, E_101, X_25) | ~subpopulations(first_movers, efficient_producers, E_101, T1_104) | ~environment(E_101) | ~greater(X_25, Y_26)))).
% 13.54/4.78 tff(c_254, plain, (![E_19, E_114]: (in_environment(E_19, appear(first_movers, E_114)) | ~in_environment(E_19, start_time(E_114)) | ~environment(E_114) | ~greater(start_time(E_19), appear(first_movers, E_114)) | ~environment(E_19)))).
% 13.54/4.78 tff(c_257, plain, (![E_114]: (in_environment('#skF_1', appear(first_movers, E_114)) | ~in_environment('#skF_1', start_time(E_114)) | ~environment(E_114) | ~greater(critical_point('#skF_1'), appear(first_movers, E_114))))).
% 13.54/4.78 tff(c_12, plain, (![T_12]: (decreases(difference(growth_rate(first_movers, T_12), growth_rate(efficient_producers, T_12))) | decreases(difference(disbanding_rate(first_movers, T_12), disbanding_rate(efficient_producers, T_12))) | ~decreases(difference(founding_rate(first_movers, T_12), founding_rate(efficient_producers, T_12)))))).
% 13.54/4.78 tff(c_247, plain, (![E_110, E_111, X_25]: (in_environment(E_110, appear(first_movers, E_111)) | ~in_environment(E_110, X_25) | ~in_environment(E_110, start_time(E_111)) | ~environment(E_110) | ~environment(E_111) | ~greater(X_25, appear(first_movers, E_111))))).
% 13.54/4.78 tff(c_134, plain, (![E_67, E_20, T2_70]: (in_environment(E_67, appear(first_movers, E_20)) | ~greater_or_equal(T2_70, appear(first_movers, E_20)) | ~in_environment(E_67, T2_70) | ~in_environment(E_67, start_time(E_20)) | ~environment(E_67) | ~environment(E_20)))).
% 13.54/4.78 tff(c_161, plain, (![E_74, E_20, Y_77]: (in_environment(E_74, start_time(E_20)) | ~in_environment(E_74, appear(first_movers, E_20)) | ~in_environment(E_74, Y_77) | ~environment(E_74) | ~greater(start_time(E_20), Y_77) | ~environment(E_20)))).
% 13.54/4.78 tff(c_106, plain, (![E_8]: (decreases(difference(founding_rate(first_movers, appear(efficient_producers, E_8)), founding_rate(efficient_producers, appear(efficient_producers, E_8)))) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.78 tff(c_217, plain, (![E_45]: (in_environment(E_45, appear(first_movers, E_45)) | ~greater(start_time(E_45), appear(first_movers, E_45)) | appear(first_movers, E_45)=start_time(E_45) | ~environment(E_45)))).
% 13.54/4.78 tff(c_40, plain, (![E_29, T_32, T2_31, T1_30]: (subpopulations(first_movers, efficient_producers, E_29, T_32) | ~greater_or_equal(T2_31, T_32) | ~greater_or_equal(T_32, T1_30) | ~subpopulations(first_movers, efficient_producers, E_29, T2_31) | ~subpopulations(first_movers, efficient_producers, E_29, T1_30) | ~environment(E_29)))).
% 13.54/4.78 tff(c_220, plain, (~greater(critical_point('#skF_1'), appear(first_movers, '#skF_1')))).
% 13.54/4.78 tff(c_198, plain, (![E_19]: (in_environment(E_19, appear(efficient_producers, '#skF_1')) | ~in_environment(E_19, '#skF_2') | ~greater(appear(efficient_producers, '#skF_1'), start_time(E_19)) | ~environment(E_19)))).
% 13.54/4.78 tff(c_42, plain, (![T_36, E_33]: (greater(growth_rate(efficient_producers, T_36), growth_rate(first_movers, T_36)) | ~greater(T_36, critical_point(E_33)) | ~subpopulations(first_movers, efficient_producers, E_33, T_36) | ~environment(E_33)))).
% 13.54/4.78 tff(c_209, plain, (![E_19, Y_93]: (in_environment(E_19, Y_93) | ~greater(Y_93, start_time(E_19)) | ~greater(start_time(E_19), Y_93) | ~environment(E_19)))).
% 13.54/4.78 tff(c_212, plain, (![Y_93]: (in_environment('#skF_1', Y_93) | ~greater(Y_93, critical_point('#skF_1')) | ~greater(start_time('#skF_1'), Y_93)))).
% 13.54/4.78 tff(c_170, plain, (![E_19, Y_79, Y_81]: (in_environment(E_19, Y_79) | ~in_environment(E_19, Y_81) | ~greater(Y_79, Y_81) | ~greater(start_time(E_19), Y_79) | ~environment(E_19)))).
% 13.54/4.78 tff(c_203, plain, (~greater(appear(efficient_producers, '#skF_1'), critical_point('#skF_1')))).
% 13.54/4.78 tff(c_163, plain, (![E_74, Y_77]: (in_environment(E_74, appear(efficient_producers, '#skF_1')) | ~in_environment(E_74, '#skF_2') | ~in_environment(E_74, Y_77) | ~environment(E_74) | ~greater(appear(efficient_producers, '#skF_1'), Y_77)))).
% 13.54/4.78 tff(c_184, plain, (![Y_86]: (in_environment('#skF_1', Y_86) | ~greater(Y_86, critical_point('#skF_1')) | ~greater(critical_point('#skF_1'), Y_86)))).
% 13.54/4.78 tff(c_183, plain, (![Y_86]: (in_environment('#skF_1', Y_86) | ~greater(Y_86, start_time('#skF_1')) | ~greater(critical_point('#skF_1'), Y_86)))).
% 13.54/4.78 tff(c_173, plain, (![Y_79, Y_81]: (in_environment('#skF_1', Y_79) | ~in_environment('#skF_1', Y_81) | ~greater(Y_79, Y_81) | ~greater(critical_point('#skF_1'), Y_79)))).
% 13.54/4.78 tff(c_2, plain, (![S2_3, S1_2, T_4, E_1]: (selection_favors(S2_3, S1_2, T_4) | ~greater(growth_rate(S2_3, T_4), growth_rate(S1_2, T_4)) | ~subpopulations(S1_2, S2_3, E_1, T_4) | ~environment(E_1)))).
% 13.54/4.78 tff(c_162, plain, (![E_74, Y_26, X_25, Y_77]: (in_environment(E_74, Y_26) | ~in_environment(E_74, X_25) | ~in_environment(E_74, Y_77) | ~environment(E_74) | ~greater(Y_26, Y_77) | ~greater(X_25, Y_26)))).
% 13.54/4.78 tff(c_135, plain, (![E_67, X_25, T2_70, Y_26]: (in_environment(E_67, X_25) | ~greater_or_equal(T2_70, X_25) | ~in_environment(E_67, T2_70) | ~in_environment(E_67, Y_26) | ~environment(E_67) | ~greater(X_25, Y_26)))).
% 13.54/4.78 tff(c_143, plain, (![E_19]: (in_environment(E_19, '#skF_2') | ~greater_or_equal(start_time(E_19), '#skF_2') | ~in_environment(E_19, appear(efficient_producers, '#skF_1')) | ~environment(E_19)))).
% 13.54/4.78 tff(c_147, plain, (~in_environment('#skF_1', appear(efficient_producers, '#skF_1')))).
% 13.54/4.78 tff(c_136, plain, (![E_67, T2_70]: (in_environment(E_67, '#skF_2') | ~greater_or_equal(T2_70, '#skF_2') | ~in_environment(E_67, T2_70) | ~in_environment(E_67, appear(efficient_producers, '#skF_1')) | ~environment(E_67)))).
% 13.54/4.78 tff(c_22, plain, (![E_15, T_18, T1_16, T2_17]: (in_environment(E_15, T_18) | ~greater_or_equal(T_18, T1_16) | ~greater_or_equal(T2_17, T_18) | ~in_environment(E_15, T2_17) | ~in_environment(E_15, T1_16) | ~environment(E_15)))).
% 13.54/4.78 tff(c_86, plain, (![E_49, T_48]: (appear(efficient_producers, E_49)=T_48 | greater(T_48, appear(efficient_producers, E_49)) | ~subpopulations(first_movers, efficient_producers, E_49, T_48) | ~environment(E_49)))).
% 13.54/4.78 tff(c_107, plain, (![E_7]: (decreases(difference(founding_rate(first_movers, critical_point(E_7)), founding_rate(efficient_producers, critical_point(E_7)))) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.78 tff(c_16, plain, (![T_13]: (greater(zero, difference(growth_rate(first_movers, T_13), growth_rate(efficient_producers, T_13))) | ~greater(growth_rate(efficient_producers, T_13), growth_rate(first_movers, T_13))))).
% 13.54/4.78 tff(c_20, plain, (![T_14]: (greater(difference(growth_rate(first_movers, T_14), growth_rate(efficient_producers, T_14)), zero) | ~greater(growth_rate(first_movers, T_14), growth_rate(efficient_producers, T_14))))).
% 13.54/4.78 tff(c_18, plain, (![T_14]: (greater(growth_rate(first_movers, T_14), growth_rate(efficient_producers, T_14)) | ~greater(difference(growth_rate(first_movers, T_14), growth_rate(efficient_producers, T_14)), zero)))).
% 13.54/4.78 tff(c_14, plain, (![T_13]: (greater(growth_rate(efficient_producers, T_13), growth_rate(first_movers, T_13)) | ~greater(zero, difference(growth_rate(first_movers, T_13), growth_rate(efficient_producers, T_13)))))).
% 13.54/4.78 tff(c_46, plain, (![T_38, E_37]: (decreases(difference(founding_rate(first_movers, T_38), founding_rate(efficient_producers, T_38))) | ~subpopulations(first_movers, efficient_producers, E_37, T_38) | ~environment(E_37)))).
% 13.54/4.78 tff(c_98, plain, (![E_54]: (subpopulations(efficient_producers, first_movers, E_54, appear(efficient_producers, E_54)) | ~in_environment(E_54, appear(efficient_producers, E_54)) | ~environment(E_54)))).
% 13.54/4.78 tff(c_4, plain, (![T_6, E_5]: (~decreases(difference(disbanding_rate(first_movers, T_6), disbanding_rate(efficient_producers, T_6))) | ~subpopulations(first_movers, efficient_producers, E_5, T_6) | ~environment(E_5)))).
% 13.54/4.78 tff(c_8, plain, (![E_8]: (subpopulations(first_movers, efficient_producers, E_8, appear(efficient_producers, E_8)) | ~in_environment(E_8, appear(efficient_producers, E_8)) | ~environment(E_8)))).
% 13.54/4.78 tff(c_79, plain, (![E_45]: (appear(first_movers, E_45)=start_time(E_45) | greater(appear(first_movers, E_45), start_time(E_45)) | ~environment(E_45)))).
% 13.54/4.78 tff(c_91, plain, (![E_7]: (subpopulations(efficient_producers, first_movers, E_7, critical_point(E_7)) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.78 tff(c_28, plain, (![E_21, T_22]: (subpopulations(efficient_producers, first_movers, E_21, T_22) | ~subpopulations(first_movers, efficient_producers, E_21, T_22) | ~environment(E_21)))).
% 13.54/4.78 tff(c_30, plain, (![T_24, E_23]: (greater_or_equal(T_24, appear(efficient_producers, E_23)) | ~subpopulations(first_movers, efficient_producers, E_23, T_24) | ~environment(E_23)))).
% 13.54/4.78 tff(c_6, plain, (![E_7]: (subpopulations(first_movers, efficient_producers, E_7, critical_point(E_7)) | ~in_environment(E_7, critical_point(E_7)) | ~environment(E_7)))).
% 13.54/4.78 tff(c_44, plain, (![E_33]: (~greater(growth_rate(efficient_producers, critical_point(E_33)), growth_rate(first_movers, critical_point(E_33))) | ~environment(E_33)))).
% 13.54/4.78 tff(c_26, plain, (![E_20]: (greater_or_equal(appear(first_movers, E_20), start_time(E_20)) | ~environment(E_20)))).
% 13.54/4.78 tff(c_74, plain, (greater('#skF_2', appear(efficient_producers, '#skF_1')))).
% 13.54/4.78 tff(c_32, plain, (![Y_26, X_25]: (Y_26=X_25 | greater(X_25, Y_26) | ~greater_or_equal(X_25, Y_26)))).
% 13.54/4.78 tff(c_24, plain, (![E_19]: (in_environment(E_19, start_time(E_19)) | ~environment(E_19)))).
% 13.54/4.78 tff(c_36, plain, (![X_25, Y_26]: (~greater(X_25, Y_26) | greater_or_equal(X_25, Y_26)))).
% 13.54/4.78 tff(c_52, plain, (greater_or_equal('#skF_2', appear(efficient_producers, '#skF_1')))).
% 13.54/4.78 tff(c_48, plain, (~selection_favors(first_movers, efficient_producers, '#skF_2'))).
% 13.54/4.78 tff(c_50, plain, (greater(critical_point('#skF_1'), '#skF_2'))).
% 13.54/4.78 tff(c_54, plain, (in_environment('#skF_1', critical_point('#skF_1')))).
% 13.54/4.78 tff(c_34, plain, (![Y_26]: (greater_or_equal(Y_26, Y_26)))).
% 13.54/4.79 tff(c_56, plain, (environment('#skF_1'))).
% 13.54/4.79 % SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 13.54/4.79
%------------------------------------------------------------------------------