%------------------------------------------------------------------------------ % File : Beagle---0.9.52 % Problem : MGT034-1 : TPTP v9.3.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s % Computer : n018.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 : Satisfiable 16.22s 5.41s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.02 % Problem : MGT034-1 : TPTP v9.3.0. Released v2.4.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.09/0.36 % Computer : n018.cluster.edu % 0.09/0.36 % Model : x86_64 x86_64 % 0.09/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.09/0.36 % Memory : 8046.5625MB % 0.09/0.36 % OS : Linux 6.8.0-71-generic % 0.10/0.36 % CPULimit : 300 % 0.10/0.36 % WCLimit : 300 % 0.10/0.36 % DateTime : Mon Sep 7 12:32:22 UTC 2026 % 0.10/0.36 % CPUTime : % 16.22/5.40 % 16.22/5.41 % SZS status Satisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p % 16.22/5.41 % 16.22/5.41 % SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 16.22/5.42 %$ 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 > sk2 > sk1 > first_movers > efficient_producers % 16.22/5.42 % 16.22/5.42 %Foreground sorts: % 16.22/5.42 % 16.22/5.42 % 16.22/5.42 %Background operators: % 16.22/5.42 % 16.22/5.42 % 16.22/5.42 %Foreground operators: % 16.22/5.42 tff(subpopulations, type, subpopulations: ($i * $i * $i * $i) > $o). % 16.22/5.42 tff(greater, type, greater: ($i * $i) > $o). % 16.22/5.42 tff(in_environment, type, in_environment: ($i * $i) > $o). % 16.22/5.42 tff(founding_rate, type, founding_rate: ($i * $i) > $i). % 16.22/5.42 tff(sk2, type, sk2: $i). % 16.22/5.42 tff(sk1, type, sk1: $i). % 16.22/5.42 tff(appear, type, appear: ($i * $i) > $i). % 16.22/5.42 tff(efficient_producers, type, efficient_producers: $i). % 16.22/5.42 tff(disbanding_rate, type, disbanding_rate: ($i * $i) > $i). % 16.22/5.42 tff(critical_point, type, critical_point: $i > $i). % 16.22/5.42 tff(growth_rate, type, growth_rate: ($i * $i) > $i). % 16.22/5.42 tff(decreases, type, decreases: $i > $o). % 16.22/5.42 tff(environment, type, environment: $i > $o). % 16.22/5.42 tff(start_time, type, start_time: $i > $i). % 16.22/5.42 tff(first_movers, type, first_movers: $i). % 16.22/5.42 tff(difference, type, difference: ($i * $i) > $i). % 16.22/5.42 tff(greater_or_equal, type, greater_or_equal: ($i * $i) > $o). % 16.22/5.42 tff(selection_favors, type, selection_favors: ($i * $i * $i) > $o). % 16.22/5.42 tff(zero, type, zero: $i). % 16.22/5.42 % 16.22/5.42 %Saturated clause set: % 16.22/5.42 tff(c_2978, plain, (![A_693, A_694]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_693))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_693)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_693))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_693))))) | ~in_environment(A_694, growth_rate(first_movers, appear(efficient_producers, A_693))) | appear(efficient_producers, A_693)=critical_point(A_693) | ~in_environment(A_693, critical_point(A_693)) | ~greater(growth_rate(first_movers, critical_point(A_693)), growth_rate(efficient_producers, critical_point(A_693))) | ~in_environment(A_693, appear(efficient_producers, A_693)) | ~environment(A_693) | ~subpopulations(first_movers, efficient_producers, A_694, growth_rate(efficient_producers, appear(efficient_producers, A_693))) | ~environment(A_694) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_693))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_693)))), zero)))). % 16.22/5.42 tff(c_2968, plain, (![A_689, A_690]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_689))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_689)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_689))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_689))))) | ~in_environment(A_690, growth_rate(first_movers, appear(efficient_producers, A_689))) | greater(growth_rate(efficient_producers, critical_point(A_689)), growth_rate(first_movers, critical_point(A_689))) | appear(efficient_producers, A_689)=critical_point(A_689) | ~in_environment(A_689, critical_point(A_689)) | ~in_environment(A_689, appear(efficient_producers, A_689)) | ~environment(A_689) | ~subpopulations(first_movers, efficient_producers, A_690, growth_rate(efficient_producers, appear(efficient_producers, A_689))) | ~environment(A_690) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_689))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_689)))), zero)))). % 16.22/5.42 tff(c_2963, plain, (![A_687, A_688]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_687))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_687)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_687))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_687))))) | ~in_environment(A_688, growth_rate(first_movers, appear(efficient_producers, A_687))) | ~environment(A_688) | greater(growth_rate(efficient_producers, critical_point(A_687)), growth_rate(first_movers, critical_point(A_687))) | appear(efficient_producers, A_687)=critical_point(A_687) | ~in_environment(A_687, critical_point(A_687)) | ~in_environment(A_687, appear(efficient_producers, A_687)) | ~environment(A_687) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_687)), appear(efficient_producers, A_688)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_687))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_687)))), zero)))). % 16.22/5.43 tff(c_2973, plain, (![A_691, A_692]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_691))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_691)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_691))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_691))))) | ~in_environment(A_692, growth_rate(first_movers, appear(efficient_producers, A_691))) | ~environment(A_692) | appear(efficient_producers, A_691)=critical_point(A_691) | ~in_environment(A_691, critical_point(A_691)) | ~greater(growth_rate(first_movers, critical_point(A_691)), growth_rate(efficient_producers, critical_point(A_691))) | ~in_environment(A_691, appear(efficient_producers, A_691)) | ~environment(A_691) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_691)), appear(efficient_producers, A_692)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_691))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_691)))), zero)))). % 16.22/5.43 tff(c_2943, plain, (![A_679, A_680]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_679))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_679)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_679))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_679))))) | ~in_environment(A_680, growth_rate(first_movers, appear(efficient_producers, A_679))) | appear(efficient_producers, A_679)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_679, critical_point(sk1)) | ~subpopulations(first_movers, efficient_producers, sk1, appear(efficient_producers, A_679)) | ~in_environment(A_679, appear(efficient_producers, A_679)) | ~environment(A_679) | ~subpopulations(first_movers, efficient_producers, A_680, growth_rate(efficient_producers, appear(efficient_producers, A_679))) | ~environment(A_680) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_679))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_679)))), zero)))). % 16.22/5.43 tff(c_2948, plain, (![A_681, A_682]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_681))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_681)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_681))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_681))))) | ~in_environment(A_682, growth_rate(first_movers, appear(efficient_producers, A_681))) | ~environment(A_682) | appear(efficient_producers, A_681)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_681, critical_point(sk1)) | ~subpopulations(first_movers, efficient_producers, sk1, appear(efficient_producers, A_681)) | ~in_environment(A_681, appear(efficient_producers, A_681)) | ~environment(A_681) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_681)), appear(efficient_producers, A_682)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_681))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_681)))), zero)))). % 16.22/5.43 tff(c_2953, plain, (![A_683, A_684]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_683))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_683)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_683))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_683))))) | ~in_environment(A_684, growth_rate(first_movers, appear(efficient_producers, A_683))) | appear(efficient_producers, A_683)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_683, critical_point(sk1)) | ~greater(appear(efficient_producers, A_683), appear(efficient_producers, sk1)) | ~in_environment(A_683, appear(efficient_producers, A_683)) | ~environment(A_683) | ~subpopulations(first_movers, efficient_producers, A_684, growth_rate(efficient_producers, appear(efficient_producers, A_683))) | ~environment(A_684) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_683))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_683)))), zero)))). % 16.22/5.43 tff(c_2958, plain, (![A_685, A_686]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_685))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_685)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_685))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_685))))) | ~in_environment(A_686, growth_rate(first_movers, appear(efficient_producers, A_685))) | ~environment(A_686) | appear(efficient_producers, A_685)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_685, critical_point(sk1)) | ~greater(appear(efficient_producers, A_685), appear(efficient_producers, sk1)) | ~in_environment(A_685, appear(efficient_producers, A_685)) | ~environment(A_685) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_685)), appear(efficient_producers, A_686)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_685))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_685)))), zero)))). % 16.22/5.43 tff(c_2937, plain, (![A_677, A_25]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_677))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_677)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_677))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_677))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_677))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_677)))), zero) | ~in_environment(A_25, growth_rate(first_movers, appear(efficient_producers, A_677))) | appear(efficient_producers, A_677)=critical_point(A_677) | ~in_environment(A_677, critical_point(A_677)) | ~greater(growth_rate(first_movers, critical_point(A_677)), growth_rate(efficient_producers, critical_point(A_677))) | ~in_environment(A_677, appear(efficient_producers, A_677)) | ~environment(A_677) | ~subpopulations(first_movers, efficient_producers, A_25, growth_rate(efficient_producers, appear(efficient_producers, A_677))) | ~environment(A_25)))). % 16.22/5.43 tff(c_2938, plain, (![A_677, A_678]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_677))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_677)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_677))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_677))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_677))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_677)))), zero) | ~in_environment(A_678, growth_rate(first_movers, appear(efficient_producers, A_677))) | ~environment(A_678) | appear(efficient_producers, A_677)=critical_point(A_677) | ~in_environment(A_677, critical_point(A_677)) | ~greater(growth_rate(first_movers, critical_point(A_677)), growth_rate(efficient_producers, critical_point(A_677))) | ~in_environment(A_677, appear(efficient_producers, A_677)) | ~environment(A_677) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_677)), appear(efficient_producers, A_678))))). % 16.22/5.43 tff(c_2928, plain, (![A_675, A_25]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_675))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_675)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_675))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_675))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_675))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_675)))), zero) | ~in_environment(A_25, growth_rate(first_movers, appear(efficient_producers, A_675))) | greater(growth_rate(efficient_producers, critical_point(A_675)), growth_rate(first_movers, critical_point(A_675))) | appear(efficient_producers, A_675)=critical_point(A_675) | ~in_environment(A_675, critical_point(A_675)) | ~in_environment(A_675, appear(efficient_producers, A_675)) | ~environment(A_675) | ~subpopulations(first_movers, efficient_producers, A_25, growth_rate(efficient_producers, appear(efficient_producers, A_675))) | ~environment(A_25)))). % 16.22/5.43 tff(c_2929, plain, (![A_675, A_676]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_675))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_675)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_675))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_675))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_675))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_675)))), zero) | ~in_environment(A_676, growth_rate(first_movers, appear(efficient_producers, A_675))) | ~environment(A_676) | greater(growth_rate(efficient_producers, critical_point(A_675)), growth_rate(first_movers, critical_point(A_675))) | appear(efficient_producers, A_675)=critical_point(A_675) | ~in_environment(A_675, critical_point(A_675)) | ~in_environment(A_675, appear(efficient_producers, A_675)) | ~environment(A_675) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_675)), appear(efficient_producers, A_676))))). % 16.22/5.43 tff(c_2911, plain, (![A_671, A_672]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_671))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_671)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_671))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_671))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_671))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_671)))), zero) | ~in_environment(A_672, growth_rate(first_movers, appear(efficient_producers, A_671))) | ~environment(A_672) | appear(efficient_producers, A_671)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_671, critical_point(sk1)) | ~greater(appear(efficient_producers, A_671), appear(efficient_producers, sk1)) | ~in_environment(A_671, appear(efficient_producers, A_671)) | ~environment(A_671) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_671)), appear(efficient_producers, A_672))))). % 16.22/5.43 tff(c_2910, plain, (![A_671, A_25]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_671))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_671)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_671))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_671))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_671))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_671)))), zero) | ~in_environment(A_25, growth_rate(first_movers, appear(efficient_producers, A_671))) | appear(efficient_producers, A_671)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_671, critical_point(sk1)) | ~greater(appear(efficient_producers, A_671), appear(efficient_producers, sk1)) | ~in_environment(A_671, appear(efficient_producers, A_671)) | ~environment(A_671) | ~subpopulations(first_movers, efficient_producers, A_25, growth_rate(efficient_producers, appear(efficient_producers, A_671))) | ~environment(A_25)))). % 16.22/5.43 tff(c_2920, plain, (![A_673, A_674]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_673))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_673)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_673))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_673))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_673))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_673)))), zero) | ~in_environment(A_674, growth_rate(first_movers, appear(efficient_producers, A_673))) | ~environment(A_674) | appear(efficient_producers, A_673)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_673, critical_point(sk1)) | ~subpopulations(first_movers, efficient_producers, sk1, appear(efficient_producers, A_673)) | ~in_environment(A_673, appear(efficient_producers, A_673)) | ~environment(A_673) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_673)), appear(efficient_producers, A_674))))). % 16.22/5.43 tff(c_2919, plain, (![A_673, A_25]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_673))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_673)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_673))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_673))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_673))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_673)))), zero) | ~in_environment(A_25, growth_rate(first_movers, appear(efficient_producers, A_673))) | appear(efficient_producers, A_673)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_673, critical_point(sk1)) | ~subpopulations(first_movers, efficient_producers, sk1, appear(efficient_producers, A_673)) | ~in_environment(A_673, appear(efficient_producers, A_673)) | ~environment(A_673) | ~subpopulations(first_movers, efficient_producers, A_25, growth_rate(efficient_producers, appear(efficient_producers, A_673))) | ~environment(A_25)))). % 16.22/5.43 tff(c_1886, plain, (![A_447, A_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_447))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_447)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_447))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_447))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, A_447)), appear(efficient_producers, A_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_447))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_447)))), zero) | ~in_environment(A_9, growth_rate(first_movers, appear(efficient_producers, A_447))) | ~environment(A_9) | appear(efficient_producers, A_447)=critical_point(A_447) | ~in_environment(A_447, critical_point(A_447)) | ~greater(growth_rate(first_movers, critical_point(A_447)), growth_rate(efficient_producers, critical_point(A_447))) | ~in_environment(A_447, appear(efficient_producers, A_447)) | ~environment(A_447)))). % 16.22/5.44 tff(c_2394, plain, (![A_510, A_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_510))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_510)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_510))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_510))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, A_510)), appear(efficient_producers, A_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_510))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_510)))), zero) | ~in_environment(A_9, growth_rate(first_movers, appear(efficient_producers, A_510))) | ~environment(A_9) | greater(growth_rate(efficient_producers, critical_point(A_510)), growth_rate(first_movers, critical_point(A_510))) | appear(efficient_producers, A_510)=critical_point(A_510) | ~in_environment(A_510, critical_point(A_510)) | ~in_environment(A_510, appear(efficient_producers, A_510)) | ~environment(A_510)))). % 16.22/5.44 tff(c_2353, plain, (![A_499, A_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_499))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_499)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_499))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_499))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, A_499)), appear(efficient_producers, A_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_499))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_499)))), zero) | ~in_environment(A_9, growth_rate(first_movers, appear(efficient_producers, A_499))) | ~environment(A_9) | appear(efficient_producers, A_499)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_499, critical_point(sk1)) | ~subpopulations(first_movers, efficient_producers, sk1, appear(efficient_producers, A_499)) | ~in_environment(A_499, appear(efficient_producers, A_499)) | ~environment(A_499)))). % 16.22/5.44 tff(c_2207, plain, (![A_478, A_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_478))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_478)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_478))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_478))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, A_478)), appear(efficient_producers, A_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_478))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_478)))), zero) | ~in_environment(A_9, growth_rate(first_movers, appear(efficient_producers, A_478))) | ~environment(A_9) | appear(efficient_producers, A_478)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_478, critical_point(sk1)) | ~greater(appear(efficient_producers, A_478), appear(efficient_producers, sk1)) | ~in_environment(A_478, appear(efficient_producers, A_478)) | ~environment(A_478)))). % 16.22/5.44 tff(c_2896, plain, (![A_665, A_666]: (greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_665))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_665)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_665))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_665))))) | ~in_environment(A_666, growth_rate(efficient_producers, appear(efficient_producers, A_665))) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, A_665)) | difference(growth_rate(first_movers, appear(efficient_producers, A_665)), growth_rate(efficient_producers, appear(efficient_producers, A_665)))=zero | ~in_environment(A_665, appear(efficient_producers, A_665)) | ~environment(A_665) | ~subpopulations(first_movers, efficient_producers, A_666, growth_rate(first_movers, appear(efficient_producers, A_665))) | ~environment(A_666) | ~greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_665))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_665)))), zero)))). % 16.22/5.44 tff(c_2891, plain, (![A_663, A_664]: (greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_663))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_663)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_663))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_663))))) | ~in_environment(A_664, growth_rate(efficient_producers, appear(efficient_producers, A_663))) | ~environment(A_664) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, A_663)) | difference(growth_rate(first_movers, appear(efficient_producers, A_663)), growth_rate(efficient_producers, appear(efficient_producers, A_663)))=zero | ~in_environment(A_663, appear(efficient_producers, A_663)) | ~environment(A_663) | ~greater(growth_rate(first_movers, appear(efficient_producers, A_663)), appear(efficient_producers, A_664)) | ~greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_663))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_663)))), zero)))). % 16.22/5.44 tff(c_2823, plain, (![A_644, A_25]: (greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_644))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_644)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_644))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_644))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_644))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_644)))), zero) | ~in_environment(A_25, growth_rate(efficient_producers, appear(efficient_producers, A_644))) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, A_644)) | difference(growth_rate(first_movers, appear(efficient_producers, A_644)), growth_rate(efficient_producers, appear(efficient_producers, A_644)))=zero | ~in_environment(A_644, appear(efficient_producers, A_644)) | ~environment(A_644) | ~subpopulations(first_movers, efficient_producers, A_25, growth_rate(first_movers, appear(efficient_producers, A_644))) | ~environment(A_25)))). % 16.22/5.44 tff(c_2824, plain, (![A_644, A_645]: (greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_644))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_644)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_644))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_644))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_644))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_644)))), zero) | ~in_environment(A_645, growth_rate(efficient_producers, appear(efficient_producers, A_644))) | ~environment(A_645) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, A_644)) | difference(growth_rate(first_movers, appear(efficient_producers, A_644)), growth_rate(efficient_producers, appear(efficient_producers, A_644)))=zero | ~in_environment(A_644, appear(efficient_producers, A_644)) | ~environment(A_644) | ~greater(growth_rate(first_movers, appear(efficient_producers, A_644)), appear(efficient_producers, A_645))))). % 16.22/5.44 tff(c_2880, plain, (![A_657, A_658]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_657))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_657)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_657))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_657))))) | ~in_environment(A_658, growth_rate(first_movers, appear(efficient_producers, A_657))) | ~in_environment(A_657, critical_point(sk1)) | appear(efficient_producers, A_657)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_657, critical_point(sk1)) | ~in_environment(A_657, appear(efficient_producers, A_657)) | ~environment(A_657) | ~subpopulations(first_movers, efficient_producers, A_658, growth_rate(efficient_producers, appear(efficient_producers, A_657))) | ~environment(A_658) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_657))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_657)))), zero)))). % 16.22/5.44 tff(c_2875, plain, (![A_655, A_656]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_655))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_655)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_655))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_655))))) | ~in_environment(A_656, growth_rate(first_movers, appear(efficient_producers, A_655))) | ~environment(A_656) | ~in_environment(A_655, critical_point(sk1)) | appear(efficient_producers, A_655)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_655, critical_point(sk1)) | ~in_environment(A_655, appear(efficient_producers, A_655)) | ~environment(A_655) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_655)), appear(efficient_producers, A_656)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_655))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_655)))), zero)))). % 16.22/5.44 tff(c_2869, plain, (![A_653, A_25]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_653))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_653)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_653))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_653))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_653))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_653)))), zero) | ~in_environment(A_25, growth_rate(first_movers, appear(efficient_producers, A_653))) | ~in_environment(A_653, critical_point(sk1)) | appear(efficient_producers, A_653)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_653, critical_point(sk1)) | ~in_environment(A_653, appear(efficient_producers, A_653)) | ~environment(A_653) | ~subpopulations(first_movers, efficient_producers, A_25, growth_rate(efficient_producers, appear(efficient_producers, A_653))) | ~environment(A_25)))). % 16.22/5.44 tff(c_2870, plain, (![A_653, A_654]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_653))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_653)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_653))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_653))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_653))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_653)))), zero) | ~in_environment(A_654, growth_rate(first_movers, appear(efficient_producers, A_653))) | ~environment(A_654) | ~in_environment(A_653, critical_point(sk1)) | appear(efficient_producers, A_653)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_653, critical_point(sk1)) | ~in_environment(A_653, appear(efficient_producers, A_653)) | ~environment(A_653) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_653)), appear(efficient_producers, A_654))))). % 16.22/5.44 tff(c_1661, plain, (![A_408, A_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_408))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_408)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_408))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_408))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, A_408)), appear(efficient_producers, A_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_408))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_408)))), zero) | ~in_environment(A_9, growth_rate(first_movers, appear(efficient_producers, A_408))) | ~environment(A_9) | ~in_environment(A_408, critical_point(sk1)) | appear(efficient_producers, A_408)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_408, critical_point(sk1)) | ~in_environment(A_408, appear(efficient_producers, A_408)) | ~environment(A_408)))). % 16.22/5.44 tff(c_2752, plain, (![A_615, A_616]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_615))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_615)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_615))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_615))))) | ~in_environment(A_616, growth_rate(first_movers, appear(efficient_producers, A_615))) | ~environment(A_616) | greater(growth_rate(efficient_producers, appear(efficient_producers, A_615)), growth_rate(first_movers, appear(efficient_producers, A_615))) | difference(growth_rate(first_movers, appear(efficient_producers, A_615)), growth_rate(efficient_producers, appear(efficient_producers, A_615)))=zero | ~in_environment(A_615, appear(efficient_producers, A_615)) | ~environment(A_615) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_615)), appear(efficient_producers, A_616)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_615))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_615)))), zero)))). % 16.22/5.44 tff(c_2792, plain, (![A_638, A_639]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_638))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_638)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_638))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_638))))) | ~in_environment(A_639, growth_rate(first_movers, appear(efficient_producers, A_638))) | greater(growth_rate(efficient_producers, appear(efficient_producers, A_638)), growth_rate(first_movers, appear(efficient_producers, A_638))) | difference(growth_rate(first_movers, appear(efficient_producers, A_638)), growth_rate(efficient_producers, appear(efficient_producers, A_638)))=zero | ~in_environment(A_638, appear(efficient_producers, A_638)) | ~environment(A_638) | ~subpopulations(first_movers, efficient_producers, A_639, growth_rate(efficient_producers, appear(efficient_producers, A_638))) | ~environment(A_639) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_638))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_638)))), zero)))). % 16.22/5.44 tff(c_2852, plain, (![A_647]: (selection_favors(efficient_producers, first_movers, appear(efficient_producers, A_647)) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, A_647)) | ~in_environment(A_647, appear(efficient_producers, A_647)) | ~environment(A_647)))). % 16.22/5.44 tff(c_938, plain, (![A_306, A_9]: (greater(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_306))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_306)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_306))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_306))))) | ~greater_or_equal(growth_rate(first_movers, appear(efficient_producers, A_306)), appear(efficient_producers, A_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_306))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_306)))), zero) | ~in_environment(A_9, growth_rate(efficient_producers, appear(efficient_producers, A_306))) | ~environment(A_9) | selection_favors(first_movers, efficient_producers, appear(efficient_producers, A_306)) | difference(growth_rate(first_movers, appear(efficient_producers, A_306)), growth_rate(efficient_producers, appear(efficient_producers, A_306)))=zero | ~in_environment(A_306, appear(efficient_producers, A_306)) | ~environment(A_306)))). % 16.22/5.44 tff(c_2815, plain, (~greater(growth_rate(efficient_producers, critical_point(sk1)), growth_rate(first_movers, critical_point(sk1))))). % 16.22/5.44 tff(c_2799, plain, (~greater(zero, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))))). % 16.22/5.44 tff(c_2647, plain, (![A_561, A_25]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_561))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_561)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_561))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_561))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_561))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_561)))), zero) | ~in_environment(A_25, growth_rate(first_movers, appear(efficient_producers, A_561))) | greater(growth_rate(efficient_producers, appear(efficient_producers, A_561)), growth_rate(first_movers, appear(efficient_producers, A_561))) | difference(growth_rate(first_movers, appear(efficient_producers, A_561)), growth_rate(efficient_producers, appear(efficient_producers, A_561)))=zero | ~in_environment(A_561, appear(efficient_producers, A_561)) | ~environment(A_561) | ~subpopulations(first_movers, efficient_producers, A_25, growth_rate(efficient_producers, appear(efficient_producers, A_561))) | ~environment(A_25)))). % 16.22/5.45 tff(c_2711, plain, (![A_583, A_584]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(A_583))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(A_583)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(A_583))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(A_583))))) | ~in_environment(A_584, growth_rate(first_movers, critical_point(A_583))) | greater(growth_rate(efficient_producers, critical_point(A_583)), growth_rate(first_movers, critical_point(A_583))) | difference(growth_rate(first_movers, critical_point(A_583)), growth_rate(efficient_producers, critical_point(A_583)))=zero | ~in_environment(A_583, critical_point(A_583)) | ~environment(A_583) | ~subpopulations(first_movers, efficient_producers, A_584, growth_rate(efficient_producers, critical_point(A_583))) | ~environment(A_584) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(A_583))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(A_583)))), zero)))). % 16.22/5.45 tff(c_2648, plain, (![A_561, A_562]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_561))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_561)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_561))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_561))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_561))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_561)))), zero) | ~in_environment(A_562, growth_rate(first_movers, appear(efficient_producers, A_561))) | ~environment(A_562) | greater(growth_rate(efficient_producers, appear(efficient_producers, A_561)), growth_rate(first_movers, appear(efficient_producers, A_561))) | difference(growth_rate(first_movers, appear(efficient_producers, A_561)), growth_rate(efficient_producers, appear(efficient_producers, A_561)))=zero | ~in_environment(A_561, appear(efficient_producers, A_561)) | ~environment(A_561) | ~greater(growth_rate(efficient_producers, appear(efficient_producers, A_561)), appear(efficient_producers, A_562))))). % 16.22/5.45 tff(c_2725, plain, (![A_592, A_593]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(A_592))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(A_592)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(A_592))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(A_592))))) | ~in_environment(A_593, growth_rate(first_movers, critical_point(A_592))) | ~environment(A_593) | greater(growth_rate(efficient_producers, critical_point(A_592)), growth_rate(first_movers, critical_point(A_592))) | difference(growth_rate(first_movers, critical_point(A_592)), growth_rate(efficient_producers, critical_point(A_592)))=zero | ~in_environment(A_592, critical_point(A_592)) | ~environment(A_592) | ~greater(growth_rate(efficient_producers, critical_point(A_592)), appear(efficient_producers, A_593)) | ~greater(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(A_592))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(A_592)))), zero)))). % 16.22/5.45 tff(c_2553, plain, (![A_552, A_553]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(A_552))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(A_552)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(A_552))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(A_552))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(A_552))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(A_552)))), zero) | ~in_environment(A_553, growth_rate(first_movers, critical_point(A_552))) | ~environment(A_553) | greater(growth_rate(efficient_producers, critical_point(A_552)), growth_rate(first_movers, critical_point(A_552))) | difference(growth_rate(first_movers, critical_point(A_552)), growth_rate(efficient_producers, critical_point(A_552)))=zero | ~in_environment(A_552, critical_point(A_552)) | ~environment(A_552) | ~greater(growth_rate(efficient_producers, critical_point(A_552)), appear(efficient_producers, A_553))))). % 16.22/5.45 tff(c_2552, plain, (![A_552, A_25]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(A_552))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(A_552)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(A_552))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(A_552))))) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(A_552))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(A_552)))), zero) | ~in_environment(A_25, growth_rate(first_movers, critical_point(A_552))) | greater(growth_rate(efficient_producers, critical_point(A_552)), growth_rate(first_movers, critical_point(A_552))) | difference(growth_rate(first_movers, critical_point(A_552)), growth_rate(efficient_producers, critical_point(A_552)))=zero | ~in_environment(A_552, critical_point(A_552)) | ~environment(A_552) | ~subpopulations(first_movers, efficient_producers, A_25, growth_rate(efficient_producers, critical_point(A_552))) | ~environment(A_25)))). % 16.22/5.45 tff(c_918, plain, (![A_303, A_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_303))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_303)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, appear(efficient_producers, A_303))), growth_rate(efficient_producers, growth_rate(efficient_producers, appear(efficient_producers, A_303))))) | ~greater_or_equal(growth_rate(efficient_producers, appear(efficient_producers, A_303)), appear(efficient_producers, A_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, appear(efficient_producers, A_303))), growth_rate(efficient_producers, growth_rate(first_movers, appear(efficient_producers, A_303)))), zero) | ~in_environment(A_9, growth_rate(first_movers, appear(efficient_producers, A_303))) | ~environment(A_9) | greater(growth_rate(efficient_producers, appear(efficient_producers, A_303)), growth_rate(first_movers, appear(efficient_producers, A_303))) | difference(growth_rate(first_movers, appear(efficient_producers, A_303)), growth_rate(efficient_producers, appear(efficient_producers, A_303)))=zero | ~in_environment(A_303, appear(efficient_producers, A_303)) | ~environment(A_303)))). % 16.22/5.45 tff(c_765, plain, (![A_278, A_9]: (greater(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(A_278))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(A_278)))), zero) | ~decreases(difference(growth_rate(first_movers, growth_rate(efficient_producers, critical_point(A_278))), growth_rate(efficient_producers, growth_rate(efficient_producers, critical_point(A_278))))) | ~greater_or_equal(growth_rate(efficient_producers, critical_point(A_278)), appear(efficient_producers, A_9)) | ~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(A_278))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(A_278)))), zero) | ~in_environment(A_9, growth_rate(first_movers, critical_point(A_278))) | ~environment(A_9) | greater(growth_rate(efficient_producers, critical_point(A_278)), growth_rate(first_movers, critical_point(A_278))) | difference(growth_rate(first_movers, critical_point(A_278)), growth_rate(efficient_producers, critical_point(A_278)))=zero | ~in_environment(A_278, critical_point(A_278)) | ~environment(A_278)))). % 16.22/5.45 tff(c_1697, plain, (![A_412, A_414, A_8]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_412)), growth_rate(efficient_producers, appear(efficient_producers, A_412))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_412)), growth_rate(efficient_producers, appear(efficient_producers, A_412)))) | ~in_environment(A_414, appear(efficient_producers, A_8)) | ~environment(A_414) | appear(efficient_producers, A_8)=appear(efficient_producers, A_412) | ~subpopulations(first_movers, efficient_producers, A_412, appear(efficient_producers, A_8)) | ~environment(A_412) | ~greater(appear(efficient_producers, A_412), appear(efficient_producers, A_414)) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_8)), growth_rate(efficient_producers, appear(efficient_producers, A_8)))) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.45 tff(c_2469, plain, (![A_542]: (selection_favors(first_movers, efficient_producers, critical_point(A_542)) | ~in_environment(A_542, critical_point(A_542)) | ~environment(A_542)))). % 16.22/5.45 tff(c_1772, plain, (![A_424, A_426, A_8]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_424)), growth_rate(efficient_producers, appear(efficient_producers, A_424))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_424)), growth_rate(efficient_producers, appear(efficient_producers, A_424)))) | ~in_environment(A_426, appear(efficient_producers, A_8)) | appear(efficient_producers, A_8)=appear(efficient_producers, A_424) | ~subpopulations(first_movers, efficient_producers, A_424, appear(efficient_producers, A_8)) | ~environment(A_424) | ~subpopulations(first_movers, efficient_producers, A_426, appear(efficient_producers, A_424)) | ~environment(A_426) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_8)), growth_rate(efficient_producers, appear(efficient_producers, A_8)))) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.45 tff(c_2092, plain, (![A_459, A_21]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_459)), growth_rate(efficient_producers, appear(efficient_producers, A_459))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_459)), growth_rate(efficient_producers, appear(efficient_producers, A_459)))) | start_time(A_21)=appear(efficient_producers, A_459) | ~subpopulations(first_movers, efficient_producers, A_459, start_time(A_21)) | ~environment(A_459) | ~greater(appear(efficient_producers, A_459), appear(efficient_producers, A_21)) | ~greater(difference(growth_rate(first_movers, start_time(A_21)), growth_rate(efficient_producers, start_time(A_21))), zero) | ~environment(A_21)))). % 16.22/5.45 tff(c_2419, plain, (~greater(critical_point(sk1), zero))). % 16.22/5.45 tff(c_1698, plain, (![A_412, A_414, A_7]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_412)), growth_rate(efficient_producers, appear(efficient_producers, A_412))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_412)), growth_rate(efficient_producers, appear(efficient_producers, A_412)))) | ~in_environment(A_414, critical_point(A_7)) | ~environment(A_414) | critical_point(A_7)=appear(efficient_producers, A_412) | ~subpopulations(first_movers, efficient_producers, A_412, critical_point(A_7)) | ~environment(A_412) | ~greater(appear(efficient_producers, A_412), appear(efficient_producers, A_414)) | greater(zero, difference(growth_rate(first_movers, critical_point(A_7)), growth_rate(efficient_producers, critical_point(A_7)))) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.45 tff(c_2411, plain, (![A_515]: (selection_favors(first_movers, efficient_producers, appear(efficient_producers, A_515)) | appear(efficient_producers, A_515)=critical_point(A_515) | ~in_environment(A_515, critical_point(A_515)) | ~in_environment(A_515, appear(efficient_producers, A_515)) | ~environment(A_515)))). % 16.22/5.45 tff(c_2163, plain, (![A_470, A_21]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_470)), growth_rate(efficient_producers, appear(efficient_producers, A_470))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_470)), growth_rate(efficient_producers, appear(efficient_producers, A_470)))) | start_time(A_21)=appear(efficient_producers, A_470) | ~subpopulations(first_movers, efficient_producers, A_470, start_time(A_21)) | ~environment(A_470) | ~subpopulations(first_movers, efficient_producers, A_21, appear(efficient_producers, A_470)) | ~greater(difference(growth_rate(first_movers, start_time(A_21)), growth_rate(efficient_producers, start_time(A_21))), zero) | ~environment(A_21)))). % 16.22/5.45 tff(c_2384, plain, (![A_8]: (greater(growth_rate(efficient_producers, critical_point(A_8)), growth_rate(first_movers, critical_point(A_8))) | greater(growth_rate(first_movers, appear(efficient_producers, A_8)), growth_rate(efficient_producers, appear(efficient_producers, A_8))) | appear(efficient_producers, A_8)=critical_point(A_8) | ~in_environment(A_8, critical_point(A_8)) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.45 tff(c_1773, plain, (![A_424, A_426, A_7]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_424)), growth_rate(efficient_producers, appear(efficient_producers, A_424))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_424)), growth_rate(efficient_producers, appear(efficient_producers, A_424)))) | ~in_environment(A_426, critical_point(A_7)) | critical_point(A_7)=appear(efficient_producers, A_424) | ~subpopulations(first_movers, efficient_producers, A_424, critical_point(A_7)) | ~environment(A_424) | ~subpopulations(first_movers, efficient_producers, A_426, appear(efficient_producers, A_424)) | ~environment(A_426) | greater(zero, difference(growth_rate(first_movers, critical_point(A_7)), growth_rate(efficient_producers, critical_point(A_7)))) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.45 tff(c_2275, plain, (![A_487]: (greater(growth_rate(efficient_producers, critical_point(A_487)), growth_rate(first_movers, critical_point(A_487))) | greater(growth_rate(first_movers, appear(efficient_producers, A_487)), growth_rate(efficient_producers, appear(efficient_producers, A_487))) | appear(efficient_producers, A_487)=critical_point(A_487) | ~in_environment(A_487, critical_point(A_487)) | ~environment(A_487) | decreases(difference(disbanding_rate(first_movers, appear(efficient_producers, A_487)), disbanding_rate(efficient_producers, appear(efficient_producers, A_487)))) | ~decreases(difference(founding_rate(first_movers, appear(efficient_producers, A_487)), founding_rate(efficient_producers, appear(efficient_producers, A_487))))))). % 16.22/5.45 tff(c_2358, plain, (![A_61]: (selection_favors(first_movers, efficient_producers, appear(efficient_producers, A_61)) | appear(efficient_producers, A_61)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_61, critical_point(sk1)) | ~subpopulations(first_movers, efficient_producers, sk1, appear(efficient_producers, A_61)) | ~in_environment(A_61, appear(efficient_producers, A_61)) | ~environment(A_61)))). % 16.22/5.45 tff(c_2343, plain, (![A_8]: (greater(growth_rate(first_movers, appear(efficient_producers, A_8)), growth_rate(efficient_producers, appear(efficient_producers, A_8))) | appear(efficient_producers, A_8)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_8, critical_point(sk1)) | ~subpopulations(first_movers, efficient_producers, sk1, appear(efficient_producers, A_8)) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.45 tff(c_2189, plain, (![A_474]: (greater(growth_rate(first_movers, appear(efficient_producers, A_474)), growth_rate(efficient_producers, appear(efficient_producers, A_474))) | appear(efficient_producers, A_474)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_474, critical_point(sk1)) | ~environment(A_474) | ~subpopulations(first_movers, efficient_producers, sk1, appear(efficient_producers, A_474)) | decreases(difference(disbanding_rate(first_movers, appear(efficient_producers, A_474)), disbanding_rate(efficient_producers, appear(efficient_producers, A_474)))) | ~decreases(difference(founding_rate(first_movers, appear(efficient_producers, A_474)), founding_rate(efficient_producers, appear(efficient_producers, A_474))))))). % 16.22/5.45 tff(c_1345, plain, (![A_384, A_8]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_384)), growth_rate(efficient_producers, appear(efficient_producers, A_384))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_384)), growth_rate(efficient_producers, appear(efficient_producers, A_384)))) | ~in_environment(A_384, appear(efficient_producers, A_8)) | appear(efficient_producers, A_8)=appear(efficient_producers, A_384) | ~subpopulations(first_movers, efficient_producers, A_384, appear(efficient_producers, A_8)) | ~environment(A_384) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_8)), growth_rate(efficient_producers, appear(efficient_producers, A_8)))) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.45 tff(c_2307, plain, (~greater(growth_rate(first_movers, growth_rate(first_movers, critical_point(sk1))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(sk1)))))). % 16.22/5.45 tff(c_2303, plain, (~greater(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(sk1))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(sk1)))), zero))). % 16.22/5.45 tff(c_2299, plain, (~greater_or_equal(difference(growth_rate(first_movers, growth_rate(first_movers, critical_point(sk1))), growth_rate(efficient_producers, growth_rate(first_movers, critical_point(sk1)))), zero))). % 16.22/5.45 tff(c_2263, plain, (![A_486]: (greater(growth_rate(efficient_producers, critical_point(A_486)), growth_rate(first_movers, critical_point(A_486))) | greater(growth_rate(first_movers, appear(efficient_producers, A_486)), growth_rate(efficient_producers, appear(efficient_producers, A_486))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_486)), growth_rate(efficient_producers, appear(efficient_producers, A_486)))) | appear(efficient_producers, A_486)=critical_point(A_486) | ~in_environment(A_486, critical_point(A_486)) | ~environment(A_486)))). % 16.22/5.45 tff(c_2242, plain, (![A_485]: (greater(growth_rate(first_movers, appear(efficient_producers, A_485)), growth_rate(efficient_producers, appear(efficient_producers, A_485))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_485)), growth_rate(efficient_producers, appear(efficient_producers, A_485)))) | appear(efficient_producers, A_485)=critical_point(A_485) | greater(zero, difference(growth_rate(first_movers, critical_point(A_485)), growth_rate(efficient_producers, critical_point(A_485)))) | ~in_environment(A_485, critical_point(A_485)) | ~environment(A_485)))). % 16.22/5.45 tff(c_2212, plain, (![A_7]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_7)), growth_rate(efficient_producers, appear(efficient_producers, A_7))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_7)), growth_rate(efficient_producers, appear(efficient_producers, A_7)))) | appear(efficient_producers, A_7)=critical_point(A_7) | greater(zero, difference(growth_rate(first_movers, critical_point(A_7)), growth_rate(efficient_producers, critical_point(A_7)))) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.45 tff(c_2216, plain, (![A_61]: (selection_favors(first_movers, efficient_producers, appear(efficient_producers, A_61)) | appear(efficient_producers, A_61)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_61, critical_point(sk1)) | ~greater(appear(efficient_producers, A_61), appear(efficient_producers, sk1)) | ~in_environment(A_61, appear(efficient_producers, A_61)) | ~environment(A_61)))). % 16.22/5.45 tff(c_1346, plain, (![A_384, A_7]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_384)), growth_rate(efficient_producers, appear(efficient_producers, A_384))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_384)), growth_rate(efficient_producers, appear(efficient_producers, A_384)))) | ~in_environment(A_384, critical_point(A_7)) | critical_point(A_7)=appear(efficient_producers, A_384) | ~subpopulations(first_movers, efficient_producers, A_384, critical_point(A_7)) | ~environment(A_384) | greater(zero, difference(growth_rate(first_movers, critical_point(A_7)), growth_rate(efficient_producers, critical_point(A_7)))) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.45 tff(c_2197, plain, (![A_8]: (greater(growth_rate(first_movers, appear(efficient_producers, A_8)), growth_rate(efficient_producers, appear(efficient_producers, A_8))) | appear(efficient_producers, A_8)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_8, critical_point(sk1)) | ~greater(appear(efficient_producers, A_8), appear(efficient_producers, sk1)) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.45 tff(c_2178, plain, (![A_473]: (greater(growth_rate(first_movers, appear(efficient_producers, A_473)), growth_rate(efficient_producers, appear(efficient_producers, A_473))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_473)), growth_rate(efficient_producers, appear(efficient_producers, A_473)))) | appear(efficient_producers, A_473)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_473, critical_point(sk1)) | ~environment(A_473) | ~subpopulations(first_movers, efficient_producers, sk1, appear(efficient_producers, A_473))))). % 16.22/5.46 tff(c_2166, plain, (![A_470]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_470)), growth_rate(efficient_producers, appear(efficient_producers, A_470))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_470)), growth_rate(efficient_producers, appear(efficient_producers, A_470)))) | appear(efficient_producers, A_470)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_470, critical_point(sk1)) | ~environment(A_470) | ~subpopulations(first_movers, efficient_producers, sk1, appear(efficient_producers, A_470))))). % 16.22/5.46 tff(c_1774, plain, (![A_424, A_426, B_425]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_424)), growth_rate(efficient_producers, appear(efficient_producers, A_424))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_424)), growth_rate(efficient_producers, appear(efficient_producers, A_424)))) | ~in_environment(A_426, B_425) | appear(efficient_producers, A_424)=B_425 | ~subpopulations(first_movers, efficient_producers, A_424, B_425) | ~environment(A_424) | ~subpopulations(first_movers, efficient_producers, A_426, appear(efficient_producers, A_424)) | ~environment(A_426) | ~greater(difference(growth_rate(first_movers, B_425), growth_rate(efficient_producers, B_425)), zero)))). % 16.22/5.46 tff(c_2118, plain, (![A_463]: (greater(growth_rate(first_movers, appear(efficient_producers, A_463)), growth_rate(efficient_producers, appear(efficient_producers, A_463))) | appear(efficient_producers, A_463)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_463, critical_point(sk1)) | ~environment(A_463) | ~greater(appear(efficient_producers, A_463), appear(efficient_producers, sk1)) | decreases(difference(disbanding_rate(first_movers, appear(efficient_producers, A_463)), disbanding_rate(efficient_producers, appear(efficient_producers, A_463)))) | ~decreases(difference(founding_rate(first_movers, appear(efficient_producers, A_463)), founding_rate(efficient_producers, appear(efficient_producers, A_463))))))). % 16.22/5.46 tff(c_1433, plain, (![A_8, A_395]: (subpopulations(first_movers, efficient_producers, A_8, difference(growth_rate(first_movers, appear(efficient_producers, A_395)), growth_rate(efficient_producers, appear(efficient_producers, A_395)))) | ~subpopulations(first_movers, efficient_producers, A_8, zero) | ~greater(appear(efficient_producers, A_8), difference(growth_rate(first_movers, appear(efficient_producers, A_395)), growth_rate(efficient_producers, appear(efficient_producers, A_395)))) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_395)), growth_rate(efficient_producers, appear(efficient_producers, A_395)))) | ~in_environment(A_395, appear(efficient_producers, A_395)) | ~environment(A_395) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.46 tff(c_2107, plain, (![A_462]: (greater(growth_rate(first_movers, appear(efficient_producers, A_462)), growth_rate(efficient_producers, appear(efficient_producers, A_462))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_462)), growth_rate(efficient_producers, appear(efficient_producers, A_462)))) | appear(efficient_producers, A_462)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_462, critical_point(sk1)) | ~environment(A_462) | ~greater(appear(efficient_producers, A_462), appear(efficient_producers, sk1))))). % 16.22/5.46 tff(c_2095, plain, (![A_459]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_459)), growth_rate(efficient_producers, appear(efficient_producers, A_459))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_459)), growth_rate(efficient_producers, appear(efficient_producers, A_459)))) | appear(efficient_producers, A_459)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_459, critical_point(sk1)) | ~environment(A_459) | ~greater(appear(efficient_producers, A_459), appear(efficient_producers, sk1))))). % 16.22/5.46 tff(c_1699, plain, (![A_412, A_414, B_413]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_412)), growth_rate(efficient_producers, appear(efficient_producers, A_412))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_412)), growth_rate(efficient_producers, appear(efficient_producers, A_412)))) | ~in_environment(A_414, B_413) | ~environment(A_414) | appear(efficient_producers, A_412)=B_413 | ~subpopulations(first_movers, efficient_producers, A_412, B_413) | ~environment(A_412) | ~greater(appear(efficient_producers, A_412), appear(efficient_producers, A_414)) | ~greater(difference(growth_rate(first_movers, B_413), growth_rate(efficient_producers, B_413)), zero)))). % 16.22/5.46 tff(c_1876, plain, (![A_8]: (greater(growth_rate(first_movers, appear(efficient_producers, A_8)), growth_rate(efficient_producers, appear(efficient_producers, A_8))) | appear(efficient_producers, A_8)=critical_point(A_8) | ~in_environment(A_8, critical_point(A_8)) | ~greater(growth_rate(first_movers, critical_point(A_8)), growth_rate(efficient_producers, critical_point(A_8))) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.46 tff(c_1455, plain, (![A_397]: (greater(growth_rate(first_movers, appear(efficient_producers, A_397)), growth_rate(efficient_producers, appear(efficient_producers, A_397))) | appear(efficient_producers, A_397)=critical_point(A_397) | ~in_environment(A_397, critical_point(A_397)) | ~environment(A_397) | ~greater(growth_rate(first_movers, critical_point(A_397)), growth_rate(efficient_producers, critical_point(A_397))) | decreases(difference(disbanding_rate(first_movers, appear(efficient_producers, A_397)), disbanding_rate(efficient_producers, appear(efficient_producers, A_397)))) | ~decreases(difference(founding_rate(first_movers, appear(efficient_producers, A_397)), founding_rate(efficient_producers, appear(efficient_producers, A_397))))))). % 16.22/5.46 tff(c_1434, plain, (![A_7, A_395]: (subpopulations(first_movers, efficient_producers, A_7, difference(growth_rate(first_movers, appear(efficient_producers, A_395)), growth_rate(efficient_producers, appear(efficient_producers, A_395)))) | ~subpopulations(first_movers, efficient_producers, A_7, zero) | ~greater(critical_point(A_7), difference(growth_rate(first_movers, appear(efficient_producers, A_395)), growth_rate(efficient_producers, appear(efficient_producers, A_395)))) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_395)), growth_rate(efficient_producers, appear(efficient_producers, A_395)))) | ~in_environment(A_395, appear(efficient_producers, A_395)) | ~environment(A_395) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.46 tff(c_1771, plain, (![A_424, A_426]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_424)), growth_rate(efficient_producers, appear(efficient_producers, A_424))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_424)), growth_rate(efficient_producers, appear(efficient_producers, A_424)))) | ~in_environment(A_426, critical_point(sk1)) | appear(efficient_producers, A_424)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_424, critical_point(sk1)) | ~environment(A_424) | ~subpopulations(first_movers, efficient_producers, A_426, appear(efficient_producers, A_424)) | ~environment(A_426)))). % 16.22/5.46 tff(c_1323, plain, (![A_381, B_383, A_25]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_381)), growth_rate(efficient_producers, appear(efficient_producers, A_381))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_381)), growth_rate(efficient_producers, appear(efficient_producers, A_381)))) | ~greater_or_equal(difference(growth_rate(first_movers, B_383), growth_rate(efficient_producers, B_383)), zero) | ~in_environment(A_25, B_383) | appear(efficient_producers, A_381)=B_383 | ~subpopulations(first_movers, efficient_producers, A_381, B_383) | ~environment(A_381) | ~subpopulations(first_movers, efficient_producers, A_25, appear(efficient_producers, A_381)) | ~environment(A_25)))). % 16.22/5.46 tff(c_1696, plain, (![A_412, A_414]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_412)), growth_rate(efficient_producers, appear(efficient_producers, A_412))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_412)), growth_rate(efficient_producers, appear(efficient_producers, A_412)))) | ~in_environment(A_414, critical_point(sk1)) | ~environment(A_414) | appear(efficient_producers, A_412)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_412, critical_point(sk1)) | ~environment(A_412) | ~greater(appear(efficient_producers, A_412), appear(efficient_producers, A_414))))). % 16.22/5.46 tff(c_1324, plain, (![A_381, B_383, A_382]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_381)), growth_rate(efficient_producers, appear(efficient_producers, A_381))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_381)), growth_rate(efficient_producers, appear(efficient_producers, A_381)))) | ~greater_or_equal(difference(growth_rate(first_movers, B_383), growth_rate(efficient_producers, B_383)), zero) | ~in_environment(A_382, B_383) | ~environment(A_382) | appear(efficient_producers, A_381)=B_383 | ~subpopulations(first_movers, efficient_producers, A_381, B_383) | ~environment(A_381) | ~greater(appear(efficient_producers, A_381), appear(efficient_producers, A_382))))). % 16.22/5.46 tff(c_1666, plain, (![A_61]: (selection_favors(first_movers, efficient_producers, appear(efficient_producers, A_61)) | ~in_environment(A_61, critical_point(sk1)) | appear(efficient_producers, A_61)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_61, critical_point(sk1)) | ~in_environment(A_61, appear(efficient_producers, A_61)) | ~environment(A_61)))). % 16.22/5.46 tff(c_1651, plain, (![A_8]: (greater(growth_rate(first_movers, appear(efficient_producers, A_8)), growth_rate(efficient_producers, appear(efficient_producers, A_8))) | ~in_environment(A_8, critical_point(sk1)) | appear(efficient_producers, A_8)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_8, critical_point(sk1)) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.46 tff(c_1370, plain, (![A_387]: (greater(growth_rate(first_movers, appear(efficient_producers, A_387)), growth_rate(efficient_producers, appear(efficient_producers, A_387))) | ~in_environment(A_387, critical_point(sk1)) | appear(efficient_producers, A_387)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_387, critical_point(sk1)) | ~environment(A_387) | decreases(difference(disbanding_rate(first_movers, appear(efficient_producers, A_387)), disbanding_rate(efficient_producers, appear(efficient_producers, A_387)))) | ~decreases(difference(founding_rate(first_movers, appear(efficient_producers, A_387)), founding_rate(efficient_producers, appear(efficient_producers, A_387))))))). % 16.22/5.46 tff(c_1114, plain, (![A_8, A_335]: (subpopulations(first_movers, efficient_producers, A_8, difference(growth_rate(first_movers, critical_point(A_335)), growth_rate(efficient_producers, critical_point(A_335)))) | ~subpopulations(first_movers, efficient_producers, A_8, zero) | ~greater(appear(efficient_producers, A_8), difference(growth_rate(first_movers, critical_point(A_335)), growth_rate(efficient_producers, critical_point(A_335)))) | greater(zero, difference(growth_rate(first_movers, critical_point(A_335)), growth_rate(efficient_producers, critical_point(A_335)))) | ~in_environment(A_335, critical_point(A_335)) | ~environment(A_335) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.46 tff(c_1445, plain, (~decreases(difference(founding_rate(first_movers, appear(efficient_producers, sk1)), founding_rate(efficient_producers, appear(efficient_producers, sk1)))))). % 16.22/5.46 tff(c_1427, plain, (![A_393]: (greater(growth_rate(first_movers, appear(efficient_producers, A_393)), growth_rate(efficient_producers, appear(efficient_producers, A_393))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_393)), growth_rate(efficient_producers, appear(efficient_producers, A_393)))) | appear(efficient_producers, A_393)=critical_point(A_393) | ~in_environment(A_393, critical_point(A_393)) | ~environment(A_393) | ~greater(growth_rate(first_movers, critical_point(A_393)), growth_rate(efficient_producers, critical_point(A_393)))))). % 16.22/5.46 tff(c_1435, plain, (~decreases(difference(growth_rate(first_movers, appear(efficient_producers, sk1)), growth_rate(efficient_producers, appear(efficient_producers, sk1)))))). % 16.22/5.46 tff(c_575, plain, (![A_98, A_242, A_29]: (subpopulations(first_movers, efficient_producers, A_98, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~subpopulations(first_movers, efficient_producers, A_98, A_29) | ~subpopulations(first_movers, efficient_producers, A_98, zero) | ~environment(A_98) | ~greater(A_29, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~in_environment(A_242, appear(efficient_producers, A_242)) | ~environment(A_242)))). % 16.22/5.46 tff(c_1408, plain, (![A_392]: (greater(growth_rate(first_movers, appear(efficient_producers, A_392)), growth_rate(efficient_producers, appear(efficient_producers, A_392))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_392)), growth_rate(efficient_producers, appear(efficient_producers, A_392)))) | appear(efficient_producers, A_392)=critical_point(A_392) | ~greater(difference(growth_rate(first_movers, critical_point(A_392)), growth_rate(efficient_producers, critical_point(A_392))), zero) | ~in_environment(A_392, critical_point(A_392)) | ~environment(A_392)))). % 16.22/5.46 tff(c_1378, plain, (![A_7]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_7)), growth_rate(efficient_producers, appear(efficient_producers, A_7))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_7)), growth_rate(efficient_producers, appear(efficient_producers, A_7)))) | appear(efficient_producers, A_7)=critical_point(A_7) | ~greater(difference(growth_rate(first_movers, critical_point(A_7)), growth_rate(efficient_producers, critical_point(A_7))), zero) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.46 tff(c_1347, plain, (![A_384, B_385]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_384)), growth_rate(efficient_producers, appear(efficient_producers, A_384))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_384)), growth_rate(efficient_producers, appear(efficient_producers, A_384)))) | ~in_environment(A_384, B_385) | appear(efficient_producers, A_384)=B_385 | ~subpopulations(first_movers, efficient_producers, A_384, B_385) | ~environment(A_384) | ~greater(difference(growth_rate(first_movers, B_385), growth_rate(efficient_producers, B_385)), zero)))). % 16.22/5.46 tff(c_1359, plain, (![A_386]: (greater(growth_rate(first_movers, appear(efficient_producers, A_386)), growth_rate(efficient_producers, appear(efficient_producers, A_386))) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_386)), growth_rate(efficient_producers, appear(efficient_producers, A_386)))) | ~in_environment(A_386, critical_point(sk1)) | appear(efficient_producers, A_386)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_386, critical_point(sk1)) | ~environment(A_386)))). % 16.22/5.46 tff(c_1344, plain, (![A_384]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_384)), growth_rate(efficient_producers, appear(efficient_producers, A_384))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_384)), growth_rate(efficient_producers, appear(efficient_producers, A_384)))) | ~in_environment(A_384, critical_point(sk1)) | appear(efficient_producers, A_384)=critical_point(sk1) | ~subpopulations(first_movers, efficient_producers, A_384, critical_point(sk1)) | ~environment(A_384)))). % 16.22/5.46 tff(c_1325, plain, (![A_381, B_383]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_381)), growth_rate(efficient_producers, appear(efficient_producers, A_381))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_381)), growth_rate(efficient_producers, appear(efficient_producers, A_381)))) | ~greater_or_equal(difference(growth_rate(first_movers, B_383), growth_rate(efficient_producers, B_383)), zero) | ~in_environment(A_381, B_383) | appear(efficient_producers, A_381)=B_383 | ~subpopulations(first_movers, efficient_producers, A_381, B_383) | ~environment(A_381)))). % 16.22/5.46 tff(c_261, plain, (![A_55, A_122, B_54]: (greater(difference(growth_rate(first_movers, appear(efficient_producers, A_55)), growth_rate(efficient_producers, appear(efficient_producers, A_55))), zero) | ~decreases(difference(growth_rate(first_movers, appear(efficient_producers, A_55)), growth_rate(efficient_producers, appear(efficient_producers, A_55)))) | ~greater_or_equal(appear(efficient_producers, A_55), appear(efficient_producers, A_122)) | ~greater_or_equal(difference(growth_rate(first_movers, B_54), growth_rate(efficient_producers, B_54)), zero) | ~in_environment(A_122, B_54) | ~environment(A_122) | appear(efficient_producers, A_55)=B_54 | ~subpopulations(first_movers, efficient_producers, A_55, B_54) | ~environment(A_55)))). % 16.22/5.46 tff(c_1303, plain, (![A_373, A_374]: (greater(difference(growth_rate(first_movers, start_time(A_373)), growth_rate(efficient_producers, start_time(A_373))), zero) | ~decreases(difference(growth_rate(first_movers, start_time(A_373)), growth_rate(efficient_producers, start_time(A_373)))) | ~in_environment(A_374, appear(first_movers, A_373)) | appear(first_movers, A_373)=start_time(A_373) | ~environment(A_373) | ~subpopulations(first_movers, efficient_producers, A_374, start_time(A_373)) | ~environment(A_374) | ~greater(difference(growth_rate(first_movers, appear(first_movers, A_373)), growth_rate(efficient_producers, appear(first_movers, A_373))), zero)))). % 16.22/5.46 tff(c_1298, plain, (![A_371, A_372]: (greater(difference(growth_rate(first_movers, start_time(A_371)), growth_rate(efficient_producers, start_time(A_371))), zero) | ~decreases(difference(growth_rate(first_movers, start_time(A_371)), growth_rate(efficient_producers, start_time(A_371)))) | ~in_environment(A_372, appear(first_movers, A_371)) | ~environment(A_372) | appear(first_movers, A_371)=start_time(A_371) | ~environment(A_371) | ~greater(start_time(A_371), appear(efficient_producers, A_372)) | ~greater(difference(growth_rate(first_movers, appear(first_movers, A_371)), growth_rate(efficient_producers, appear(first_movers, A_371))), zero)))). % 16.22/5.46 tff(c_1273, plain, (![A_364, A_25]: (greater(difference(growth_rate(first_movers, start_time(A_364)), growth_rate(efficient_producers, start_time(A_364))), zero) | ~decreases(difference(growth_rate(first_movers, start_time(A_364)), growth_rate(efficient_producers, start_time(A_364)))) | ~greater_or_equal(difference(growth_rate(first_movers, appear(first_movers, A_364)), growth_rate(efficient_producers, appear(first_movers, A_364))), zero) | ~in_environment(A_25, appear(first_movers, A_364)) | appear(first_movers, A_364)=start_time(A_364) | ~environment(A_364) | ~subpopulations(first_movers, efficient_producers, A_25, start_time(A_364)) | ~environment(A_25)))). % 16.22/5.46 tff(c_1274, plain, (![A_364, A_365]: (greater(difference(growth_rate(first_movers, start_time(A_364)), growth_rate(efficient_producers, start_time(A_364))), zero) | ~decreases(difference(growth_rate(first_movers, start_time(A_364)), growth_rate(efficient_producers, start_time(A_364)))) | ~greater_or_equal(difference(growth_rate(first_movers, appear(first_movers, A_364)), growth_rate(efficient_producers, appear(first_movers, A_364))), zero) | ~in_environment(A_365, appear(first_movers, A_364)) | ~environment(A_365) | appear(first_movers, A_364)=start_time(A_364) | ~environment(A_364) | ~greater(start_time(A_364), appear(efficient_producers, A_365))))). % 16.22/5.46 tff(c_1286, plain, (![A_21, A_367]: (in_environment(A_21, difference(growth_rate(first_movers, appear(efficient_producers, A_367)), growth_rate(efficient_producers, appear(efficient_producers, A_367)))) | ~in_environment(A_21, zero) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_367)), growth_rate(efficient_producers, appear(efficient_producers, A_367)))) | ~in_environment(A_367, appear(efficient_producers, A_367)) | ~environment(A_367) | ~greater(start_time(A_21), difference(growth_rate(first_movers, appear(efficient_producers, A_367)), growth_rate(efficient_producers, appear(efficient_producers, A_367)))) | ~environment(A_21)))). % 16.22/5.46 tff(c_1220, plain, (![A_346, A_347, A_29]: (in_environment(A_346, difference(growth_rate(first_movers, appear(efficient_producers, A_347)), growth_rate(efficient_producers, appear(efficient_producers, A_347)))) | ~in_environment(A_346, A_29) | ~in_environment(A_346, zero) | ~environment(A_346) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_347)), growth_rate(efficient_producers, appear(efficient_producers, A_347)))) | ~in_environment(A_347, appear(efficient_producers, A_347)) | ~environment(A_347) | ~greater(A_29, difference(growth_rate(first_movers, appear(efficient_producers, A_347)), growth_rate(efficient_producers, appear(efficient_producers, A_347))))))). % 16.22/5.46 tff(c_1265, plain, (~greater(appear(efficient_producers, sk1), zero))). % 16.22/5.46 tff(c_264, plain, (![A_52, A_122]: (greater(difference(growth_rate(first_movers, start_time(A_52)), growth_rate(efficient_producers, start_time(A_52))), zero) | ~decreases(difference(growth_rate(first_movers, start_time(A_52)), growth_rate(efficient_producers, start_time(A_52)))) | ~greater_or_equal(start_time(A_52), appear(efficient_producers, A_122)) | ~greater_or_equal(difference(growth_rate(first_movers, appear(first_movers, A_52)), growth_rate(efficient_producers, appear(first_movers, A_52))), zero) | ~in_environment(A_122, appear(first_movers, A_52)) | ~environment(A_122) | appear(first_movers, A_52)=start_time(A_52) | ~environment(A_52)))). % 16.22/5.46 tff(c_578, plain, (![A_17, A_242, C_19]: (in_environment(A_17, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~greater_or_equal(C_19, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~in_environment(A_17, C_19) | ~in_environment(A_17, zero) | ~environment(A_17) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~in_environment(A_242, appear(efficient_producers, A_242)) | ~environment(A_242)))). % 16.22/5.46 tff(c_1210, plain, (~greater(zero, sk2))). % 16.22/5.46 tff(c_1206, plain, (~greater_or_equal(zero, sk2))). % 16.22/5.46 tff(c_1115, plain, (![A_7, A_335]: (subpopulations(first_movers, efficient_producers, A_7, difference(growth_rate(first_movers, critical_point(A_335)), growth_rate(efficient_producers, critical_point(A_335)))) | ~subpopulations(first_movers, efficient_producers, A_7, zero) | ~greater(critical_point(A_7), difference(growth_rate(first_movers, critical_point(A_335)), growth_rate(efficient_producers, critical_point(A_335)))) | greater(zero, difference(growth_rate(first_movers, critical_point(A_335)), growth_rate(efficient_producers, critical_point(A_335)))) | ~in_environment(A_335, critical_point(A_335)) | ~environment(A_335) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.47 tff(c_463, plain, (![A_98, A_189, A_29]: (subpopulations(first_movers, efficient_producers, A_98, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~subpopulations(first_movers, efficient_producers, A_98, A_29) | ~subpopulations(first_movers, efficient_producers, A_98, zero) | ~environment(A_98) | ~greater(A_29, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | greater(zero, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~in_environment(A_189, critical_point(A_189)) | ~environment(A_189)))). % 16.22/5.47 tff(c_576, plain, (![A_35, B_36, A_242]: (subpopulations(first_movers, efficient_producers, A_35, zero) | ~greater_or_equal(zero, B_36) | ~subpopulations(first_movers, efficient_producers, A_35, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~subpopulations(first_movers, efficient_producers, A_35, B_36) | ~environment(A_35) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~in_environment(A_242, appear(efficient_producers, A_242)) | ~environment(A_242)))). % 16.22/5.47 tff(c_574, plain, (![A_74, A_242, A_25]: (in_environment(A_74, zero) | ~in_environment(A_74, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~in_environment(A_74, appear(efficient_producers, A_25)) | ~environment(A_74) | ~subpopulations(first_movers, efficient_producers, A_25, zero) | ~environment(A_25) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~in_environment(A_242, appear(efficient_producers, A_242)) | ~environment(A_242)))). % 16.22/5.47 tff(c_1011, plain, (![A_21, A_316]: (in_environment(A_21, difference(growth_rate(first_movers, critical_point(A_316)), growth_rate(efficient_producers, critical_point(A_316)))) | ~in_environment(A_21, zero) | greater(zero, difference(growth_rate(first_movers, critical_point(A_316)), growth_rate(efficient_producers, critical_point(A_316)))) | ~in_environment(A_316, critical_point(A_316)) | ~environment(A_316) | ~greater(start_time(A_21), difference(growth_rate(first_movers, critical_point(A_316)), growth_rate(efficient_producers, critical_point(A_316)))) | ~environment(A_21)))). % 16.22/5.47 tff(c_1015, plain, (~in_environment(sk1, zero))). % 16.22/5.47 tff(c_1004, plain, (![A_312, A_313, A_29]: (in_environment(A_312, difference(growth_rate(first_movers, critical_point(A_313)), growth_rate(efficient_producers, critical_point(A_313)))) | ~in_environment(A_312, A_29) | ~in_environment(A_312, zero) | ~environment(A_312) | greater(zero, difference(growth_rate(first_movers, critical_point(A_313)), growth_rate(efficient_producers, critical_point(A_313)))) | ~in_environment(A_313, critical_point(A_313)) | ~environment(A_313) | ~greater(A_29, difference(growth_rate(first_movers, critical_point(A_313)), growth_rate(efficient_producers, critical_point(A_313))))))). % 16.22/5.47 tff(c_466, plain, (![A_17, A_189, C_19]: (in_environment(A_17, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~greater_or_equal(C_19, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~in_environment(A_17, C_19) | ~in_environment(A_17, zero) | ~environment(A_17) | greater(zero, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~in_environment(A_189, critical_point(A_189)) | ~environment(A_189)))). % 16.22/5.47 tff(c_932, plain, (![A_61]: (selection_favors(first_movers, efficient_producers, appear(efficient_producers, A_61)) | greater(growth_rate(efficient_producers, appear(efficient_producers, A_61)), growth_rate(first_movers, appear(efficient_producers, A_61))) | difference(growth_rate(first_movers, appear(efficient_producers, A_61)), growth_rate(efficient_producers, appear(efficient_producers, A_61)))=zero | ~in_environment(A_61, appear(efficient_producers, A_61)) | ~environment(A_61)))). % 16.22/5.47 tff(c_928, plain, (~greater(growth_rate(first_movers, sk2), growth_rate(efficient_producers, sk2)))). % 16.22/5.47 tff(c_924, plain, (~greater(difference(growth_rate(first_movers, sk2), growth_rate(efficient_producers, sk2)), zero))). % 16.22/5.47 tff(c_920, plain, (~greater_or_equal(difference(growth_rate(first_movers, sk2), growth_rate(efficient_producers, sk2)), zero))). % 16.22/5.47 tff(c_912, plain, (![A_302]: (greater(growth_rate(efficient_producers, appear(efficient_producers, A_302)), growth_rate(first_movers, appear(efficient_producers, A_302))) | greater(growth_rate(first_movers, appear(efficient_producers, A_302)), growth_rate(efficient_producers, appear(efficient_producers, A_302))) | difference(growth_rate(first_movers, appear(efficient_producers, A_302)), growth_rate(efficient_producers, appear(efficient_producers, A_302)))=zero | ~in_environment(A_302, appear(efficient_producers, A_302)) | ~environment(A_302)))). % 16.22/5.47 tff(c_904, plain, (![A_301]: (greater(growth_rate(first_movers, appear(efficient_producers, A_301)), growth_rate(efficient_producers, appear(efficient_producers, A_301))) | difference(growth_rate(first_movers, appear(efficient_producers, A_301)), growth_rate(efficient_producers, appear(efficient_producers, A_301)))=zero | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_301)), growth_rate(efficient_producers, appear(efficient_producers, A_301)))) | ~in_environment(A_301, appear(efficient_producers, A_301)) | ~environment(A_301)))). % 16.22/5.47 tff(c_579, plain, (![A_242]: (difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))=zero | greater(difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242))), zero) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~in_environment(A_242, appear(efficient_producers, A_242)) | ~environment(A_242)))). % 16.22/5.47 tff(c_462, plain, (![A_74, A_189, A_25]: (in_environment(A_74, zero) | ~in_environment(A_74, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~in_environment(A_74, appear(efficient_producers, A_25)) | ~environment(A_74) | ~subpopulations(first_movers, efficient_producers, A_25, zero) | ~environment(A_25) | greater(zero, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~in_environment(A_189, critical_point(A_189)) | ~environment(A_189)))). % 16.22/5.47 tff(c_464, plain, (![A_35, B_36, A_189]: (subpopulations(first_movers, efficient_producers, A_35, zero) | ~greater_or_equal(zero, B_36) | ~subpopulations(first_movers, efficient_producers, A_35, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~subpopulations(first_movers, efficient_producers, A_35, B_36) | ~environment(A_35) | greater(zero, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~in_environment(A_189, critical_point(A_189)) | ~environment(A_189)))). % 16.22/5.47 tff(c_604, plain, (![A_8, A_256, A_258]: (subpopulations(first_movers, efficient_producers, A_8, appear(efficient_producers, A_256)) | ~subpopulations(first_movers, efficient_producers, A_8, appear(efficient_producers, A_258)) | ~subpopulations(first_movers, efficient_producers, A_256, appear(efficient_producers, A_8)) | ~environment(A_256) | ~subpopulations(first_movers, efficient_producers, A_258, appear(efficient_producers, A_256)) | ~environment(A_258) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.47 tff(c_884, plain, (decreases(zero))). % 16.22/5.47 tff(c_577, plain, (![A_74, A_242, B_30]: (in_environment(A_74, zero) | ~in_environment(A_74, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~in_environment(A_74, B_30) | ~environment(A_74) | ~greater(zero, B_30) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_242)), growth_rate(efficient_producers, appear(efficient_producers, A_242)))) | ~in_environment(A_242, appear(efficient_producers, A_242)) | ~environment(A_242)))). % 16.22/5.47 tff(c_871, plain, (~greater(zero, zero))). % 16.22/5.47 tff(c_465, plain, (![A_74, A_189, B_30]: (in_environment(A_74, zero) | ~in_environment(A_74, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~in_environment(A_74, B_30) | ~environment(A_74) | ~greater(zero, B_30) | greater(zero, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~in_environment(A_189, critical_point(A_189)) | ~environment(A_189)))). % 16.22/5.47 tff(c_750, plain, (![A_8]: (subpopulations(first_movers, efficient_producers, A_8, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~subpopulations(first_movers, efficient_producers, A_8, zero) | ~greater(appear(efficient_producers, A_8), difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.47 tff(c_751, plain, (![A_7]: (subpopulations(first_movers, efficient_producers, A_7, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~subpopulations(first_movers, efficient_producers, A_7, zero) | ~greater(critical_point(A_7), difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.47 tff(c_759, plain, (![A_277]: (greater(growth_rate(efficient_producers, critical_point(A_277)), growth_rate(first_movers, critical_point(A_277))) | greater(growth_rate(first_movers, critical_point(A_277)), growth_rate(efficient_producers, critical_point(A_277))) | difference(growth_rate(first_movers, critical_point(A_277)), growth_rate(efficient_producers, critical_point(A_277)))=zero | ~in_environment(A_277, critical_point(A_277)) | ~environment(A_277)))). % 16.22/5.47 tff(c_744, plain, (![A_274]: (greater(growth_rate(first_movers, critical_point(A_274)), growth_rate(efficient_producers, critical_point(A_274))) | difference(growth_rate(first_movers, critical_point(A_274)), growth_rate(efficient_producers, critical_point(A_274)))=zero | greater(zero, difference(growth_rate(first_movers, critical_point(A_274)), growth_rate(efficient_producers, critical_point(A_274)))) | ~in_environment(A_274, critical_point(A_274)) | ~environment(A_274)))). % 16.22/5.47 tff(c_657, plain, (![A_98, A_29]: (subpopulations(first_movers, efficient_producers, A_98, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~subpopulations(first_movers, efficient_producers, A_98, A_29) | ~subpopulations(first_movers, efficient_producers, A_98, zero) | ~environment(A_98) | ~greater(A_29, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1))))))). % 16.22/5.47 tff(c_467, plain, (![A_189]: (difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))=zero | greater(difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189))), zero) | greater(zero, difference(growth_rate(first_movers, critical_point(A_189)), growth_rate(efficient_producers, critical_point(A_189)))) | ~in_environment(A_189, critical_point(A_189)) | ~environment(A_189)))). % 16.22/5.47 tff(c_735, plain, (~greater(growth_rate(first_movers, zero), growth_rate(efficient_producers, zero)))). % 16.22/5.47 tff(c_731, plain, (~greater(difference(growth_rate(first_movers, zero), growth_rate(efficient_producers, zero)), zero))). % 16.22/5.47 tff(c_727, plain, (~greater_or_equal(difference(growth_rate(first_movers, zero), growth_rate(efficient_producers, zero)), zero))). % 16.22/5.47 tff(c_721, plain, (![A_21]: (in_environment(A_21, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~in_environment(A_21, zero) | ~greater(start_time(A_21), difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~environment(A_21)))). % 16.22/5.47 tff(c_725, plain, (~greater(critical_point(sk1), difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))))). % 16.22/5.47 tff(c_713, plain, (![A_267, A_29]: (in_environment(A_267, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~in_environment(A_267, A_29) | ~in_environment(A_267, zero) | ~environment(A_267) | ~greater(A_29, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1))))))). % 16.22/5.47 tff(c_656, plain, (![A_74, A_25]: (in_environment(A_74, zero) | ~in_environment(A_74, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~in_environment(A_74, appear(efficient_producers, A_25)) | ~environment(A_74) | ~subpopulations(first_movers, efficient_producers, A_25, zero) | ~environment(A_25)))). % 16.22/5.47 tff(c_660, plain, (![A_17, C_19]: (in_environment(A_17, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~greater_or_equal(C_19, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~in_environment(A_17, C_19) | ~in_environment(A_17, zero) | ~environment(A_17)))). % 16.22/5.47 tff(c_705, plain, (~decreases(difference(founding_rate(first_movers, zero), founding_rate(efficient_producers, zero))))). % 16.22/5.47 tff(c_700, plain, (~decreases(difference(growth_rate(first_movers, zero), growth_rate(efficient_producers, zero))))). % 16.22/5.47 tff(c_699, plain, (~decreases(difference(founding_rate(first_movers, sk2), founding_rate(efficient_producers, sk2))))). % 16.22/5.47 tff(c_694, plain, (~decreases(difference(growth_rate(first_movers, sk2), growth_rate(efficient_producers, sk2))))). % 16.22/5.47 tff(c_659, plain, (![A_74, B_30]: (in_environment(A_74, zero) | ~in_environment(A_74, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~in_environment(A_74, B_30) | ~environment(A_74) | ~greater(zero, B_30)))). % 16.22/5.47 tff(c_658, plain, (![A_35, B_36]: (subpopulations(first_movers, efficient_producers, A_35, zero) | ~greater_or_equal(zero, B_36) | ~subpopulations(first_movers, efficient_producers, A_35, difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1)))) | ~subpopulations(first_movers, efficient_producers, A_35, B_36) | ~environment(A_35)))). % 16.22/5.47 tff(c_691, plain, (selection_favors(first_movers, efficient_producers, critical_point(sk1)))). % 16.22/5.47 tff(c_669, plain, (greater(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1))))). % 16.22/5.47 tff(c_662, plain, (greater(difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1))), zero))). % 16.22/5.47 tff(c_638, plain, (greater_or_equal(difference(growth_rate(first_movers, critical_point(sk1)), growth_rate(efficient_producers, critical_point(sk1))), zero))). % 16.22/5.48 tff(c_605, plain, (![A_7, A_256, A_258]: (subpopulations(first_movers, efficient_producers, A_7, appear(efficient_producers, A_256)) | ~subpopulations(first_movers, efficient_producers, A_7, appear(efficient_producers, A_258)) | ~subpopulations(first_movers, efficient_producers, A_256, critical_point(A_7)) | ~environment(A_256) | ~subpopulations(first_movers, efficient_producers, A_258, appear(efficient_producers, A_256)) | ~environment(A_258) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.48 tff(c_516, plain, (![A_212, A_213, B_215, A_25]: (subpopulations(first_movers, efficient_producers, A_212, appear(efficient_producers, A_213)) | ~subpopulations(first_movers, efficient_producers, A_212, B_215) | ~subpopulations(first_movers, efficient_producers, A_212, appear(efficient_producers, A_25)) | ~environment(A_212) | ~subpopulations(first_movers, efficient_producers, A_213, B_215) | ~environment(A_213) | ~subpopulations(first_movers, efficient_producers, A_25, appear(efficient_producers, A_213)) | ~environment(A_25)))). % 16.22/5.48 tff(c_557, plain, (![A_8, A_238]: (subpopulations(first_movers, efficient_producers, A_8, appear(efficient_producers, A_238)) | ~subpopulations(first_movers, efficient_producers, A_238, critical_point(A_8)) | ~environment(A_238) | ~greater(appear(efficient_producers, A_238), appear(efficient_producers, A_8)) | ~in_environment(A_8, critical_point(A_8)) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.48 tff(c_587, plain, (![A_7, A_247]: (subpopulations(first_movers, efficient_producers, A_7, appear(efficient_producers, A_247)) | ~subpopulations(first_movers, efficient_producers, A_247, appear(efficient_producers, A_7)) | ~environment(A_247) | ~greater(appear(efficient_producers, A_247), critical_point(A_7)) | ~in_environment(A_7, appear(efficient_producers, A_7)) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.48 tff(c_586, plain, (![A_8, A_247]: (subpopulations(first_movers, efficient_producers, A_8, appear(efficient_producers, A_247)) | ~subpopulations(first_movers, efficient_producers, A_247, appear(efficient_producers, A_8)) | ~environment(A_247) | ~greater(appear(efficient_producers, A_247), appear(efficient_producers, A_8)) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.48 tff(c_546, plain, (![A_8, A_231, B_233]: (subpopulations(first_movers, efficient_producers, A_8, appear(efficient_producers, A_231)) | ~subpopulations(first_movers, efficient_producers, A_8, B_233) | ~subpopulations(first_movers, efficient_producers, A_231, appear(efficient_producers, A_8)) | ~environment(A_231) | ~greater(appear(efficient_producers, A_231), B_233) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.48 tff(c_400, plain, (![A_167, A_168, A_25]: (subpopulations(first_movers, efficient_producers, A_167, start_time(A_168)) | ~subpopulations(first_movers, efficient_producers, A_167, appear(first_movers, A_168)) | ~subpopulations(first_movers, efficient_producers, A_167, appear(efficient_producers, A_25)) | ~environment(A_167) | ~environment(A_168) | ~subpopulations(first_movers, efficient_producers, A_25, start_time(A_168)) | ~environment(A_25)))). % 16.22/5.48 tff(c_242, plain, (![A_8]: (greater_or_equal(difference(growth_rate(first_movers, appear(efficient_producers, A_8)), growth_rate(efficient_producers, appear(efficient_producers, A_8))), zero) | greater(zero, difference(growth_rate(first_movers, appear(efficient_producers, A_8)), growth_rate(efficient_producers, appear(efficient_producers, A_8)))) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.48 tff(c_558, plain, (![A_7, A_238]: (subpopulations(first_movers, efficient_producers, A_7, appear(efficient_producers, A_238)) | ~subpopulations(first_movers, efficient_producers, A_238, critical_point(A_7)) | ~environment(A_238) | ~greater(appear(efficient_producers, A_238), critical_point(A_7)) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.48 tff(c_547, plain, (![A_7, A_231, B_233]: (subpopulations(first_movers, efficient_producers, A_7, appear(efficient_producers, A_231)) | ~subpopulations(first_movers, efficient_producers, A_7, B_233) | ~subpopulations(first_movers, efficient_producers, A_231, critical_point(A_7)) | ~environment(A_231) | ~greater(appear(efficient_producers, A_231), B_233) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.48 tff(c_503, plain, (![A_8, B_207, A_209]: (subpopulations(first_movers, efficient_producers, A_8, B_207) | ~subpopulations(first_movers, efficient_producers, A_8, appear(efficient_producers, A_209)) | ~greater(appear(efficient_producers, A_8), B_207) | ~subpopulations(first_movers, efficient_producers, A_209, B_207) | ~environment(A_209) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.48 tff(c_517, plain, (![A_212, A_213, B_215, B_30]: (subpopulations(first_movers, efficient_producers, A_212, appear(efficient_producers, A_213)) | ~subpopulations(first_movers, efficient_producers, A_212, B_215) | ~subpopulations(first_movers, efficient_producers, A_212, B_30) | ~environment(A_212) | ~subpopulations(first_movers, efficient_producers, A_213, B_215) | ~environment(A_213) | ~greater(appear(efficient_producers, A_213), B_30)))). % 16.22/5.48 tff(c_535, plain, (![A_222, A_224]: (in_environment(sk1, appear(efficient_producers, A_222)) | ~in_environment(sk1, appear(efficient_producers, A_224)) | ~subpopulations(first_movers, efficient_producers, A_224, appear(efficient_producers, A_222)) | ~environment(A_224) | ~subpopulations(first_movers, efficient_producers, A_222, critical_point(sk1)) | ~environment(A_222)))). % 16.22/5.48 tff(c_532, plain, (![A_21, A_222, A_224]: (in_environment(A_21, appear(efficient_producers, A_222)) | ~in_environment(A_21, appear(efficient_producers, A_224)) | ~subpopulations(first_movers, efficient_producers, A_224, appear(efficient_producers, A_222)) | ~environment(A_224) | ~subpopulations(first_movers, efficient_producers, A_222, start_time(A_21)) | ~environment(A_222) | ~environment(A_21)))). % 16.22/5.48 tff(c_328, plain, (![A_139, A_25, B_26, A_142]: (in_environment(A_139, appear(efficient_producers, A_25)) | ~in_environment(A_139, B_26) | ~in_environment(A_139, appear(efficient_producers, A_142)) | ~environment(A_139) | ~subpopulations(first_movers, efficient_producers, A_142, appear(efficient_producers, A_25)) | ~environment(A_142) | ~subpopulations(first_movers, efficient_producers, A_25, B_26) | ~environment(A_25)))). % 16.22/5.48 tff(c_350, plain, (![A_147, A_25]: (subpopulations(first_movers, efficient_producers, A_147, appear(efficient_producers, sk1)) | ~subpopulations(first_movers, efficient_producers, A_147, sk2) | ~subpopulations(first_movers, efficient_producers, A_147, appear(efficient_producers, A_25)) | ~environment(A_147) | ~subpopulations(first_movers, efficient_producers, A_25, appear(efficient_producers, sk1)) | ~environment(A_25)))). % 16.22/5.48 tff(c_504, plain, (![A_7, B_207, A_209]: (subpopulations(first_movers, efficient_producers, A_7, B_207) | ~subpopulations(first_movers, efficient_producers, A_7, appear(efficient_producers, A_209)) | ~greater(critical_point(A_7), B_207) | ~subpopulations(first_movers, efficient_producers, A_209, B_207) | ~environment(A_209) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.48 tff(c_204, plain, (![A_98, A_25, B_101, B_26]: (subpopulations(first_movers, efficient_producers, A_98, appear(efficient_producers, A_25)) | ~greater_or_equal(appear(efficient_producers, A_25), B_101) | ~subpopulations(first_movers, efficient_producers, A_98, B_26) | ~subpopulations(first_movers, efficient_producers, A_98, B_101) | ~environment(A_98) | ~subpopulations(first_movers, efficient_producers, A_25, B_26) | ~environment(A_25)))). % 16.22/5.48 tff(c_495, plain, (![A_8, A_202]: (subpopulations(first_movers, efficient_producers, A_8, appear(first_movers, A_202)) | ~subpopulations(first_movers, efficient_producers, A_8, start_time(A_202)) | ~greater(appear(efficient_producers, A_8), appear(first_movers, A_202)) | ~environment(A_202) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.48 tff(c_298, plain, (![A_132, B_26, A_135, A_25]: (subpopulations(first_movers, efficient_producers, A_132, B_26) | ~subpopulations(first_movers, efficient_producers, A_132, A_135) | ~subpopulations(first_movers, efficient_producers, A_132, appear(efficient_producers, A_25)) | ~environment(A_132) | ~greater(A_135, B_26) | ~subpopulations(first_movers, efficient_producers, A_25, B_26) | ~environment(A_25)))). % 16.22/5.48 tff(c_496, plain, (![A_7, A_202]: (subpopulations(first_movers, efficient_producers, A_7, appear(first_movers, A_202)) | ~subpopulations(first_movers, efficient_producers, A_7, start_time(A_202)) | ~greater(critical_point(A_7), appear(first_movers, A_202)) | ~environment(A_202) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.48 tff(c_299, plain, (![A_132, A_22, A_135]: (subpopulations(first_movers, efficient_producers, A_132, appear(first_movers, A_22)) | ~subpopulations(first_movers, efficient_producers, A_132, A_135) | ~subpopulations(first_movers, efficient_producers, A_132, start_time(A_22)) | ~environment(A_132) | ~greater(A_135, appear(first_movers, A_22)) | ~environment(A_22)))). % 16.22/5.48 tff(c_388, plain, (![A_8]: (subpopulations(first_movers, efficient_producers, A_8, appear(efficient_producers, sk1)) | ~subpopulations(first_movers, efficient_producers, A_8, sk2) | ~greater(appear(efficient_producers, sk1), appear(efficient_producers, A_8)) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.48 tff(c_401, plain, (![A_167, A_168, B_30]: (subpopulations(first_movers, efficient_producers, A_167, start_time(A_168)) | ~subpopulations(first_movers, efficient_producers, A_167, appear(first_movers, A_168)) | ~subpopulations(first_movers, efficient_producers, A_167, B_30) | ~environment(A_167) | ~environment(A_168) | ~greater(start_time(A_168), B_30)))). % 16.22/5.48 tff(c_329, plain, (![A_139, A_22, A_142]: (in_environment(A_139, start_time(A_22)) | ~in_environment(A_139, appear(first_movers, A_22)) | ~in_environment(A_139, appear(efficient_producers, A_142)) | ~environment(A_139) | ~subpopulations(first_movers, efficient_producers, A_142, start_time(A_22)) | ~environment(A_142) | ~environment(A_22)))). % 16.22/5.48 tff(c_442, plain, (![A_7, A_185]: (subpopulations(first_movers, efficient_producers, A_7, A_185) | ~greater(appear(efficient_producers, A_7), A_185) | ~greater(A_185, critical_point(A_7)) | ~in_environment(A_7, appear(efficient_producers, A_7)) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.48 tff(c_369, plain, (![A_8, A_159]: (subpopulations(first_movers, efficient_producers, A_8, A_159) | ~greater(critical_point(A_8), A_159) | ~greater(A_159, appear(efficient_producers, A_8)) | ~in_environment(A_8, critical_point(A_8)) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.48 tff(c_243, plain, (![A_7]: (greater_or_equal(difference(growth_rate(first_movers, critical_point(A_7)), growth_rate(efficient_producers, critical_point(A_7))), zero) | greater(zero, difference(growth_rate(first_movers, critical_point(A_7)), growth_rate(efficient_producers, critical_point(A_7)))) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.48 tff(c_441, plain, (![A_8, A_185]: (subpopulations(first_movers, efficient_producers, A_8, A_185) | ~greater(appear(efficient_producers, A_8), A_185) | ~greater(A_185, appear(efficient_producers, A_8)) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.48 tff(c_338, plain, (![A_8, A_144, B_146]: (subpopulations(first_movers, efficient_producers, A_8, A_144) | ~subpopulations(first_movers, efficient_producers, A_8, B_146) | ~greater(appear(efficient_producers, A_8), A_144) | ~greater(A_144, B_146) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.48 tff(c_425, plain, (![A_21, A_177]: (in_environment(A_21, appear(efficient_producers, A_177)) | ~greater(appear(efficient_producers, A_177), start_time(A_21)) | ~subpopulations(first_movers, efficient_producers, A_177, start_time(A_21)) | ~environment(A_177) | ~environment(A_21)))). % 16.22/5.48 tff(c_419, plain, (![A_173, B_175]: (in_environment(sk1, appear(efficient_producers, A_173)) | ~in_environment(sk1, B_175) | ~greater(appear(efficient_producers, A_173), B_175) | ~subpopulations(first_movers, efficient_producers, A_173, critical_point(sk1)) | ~environment(A_173)))). % 16.22/5.48 tff(c_428, plain, (![A_177]: (in_environment(sk1, appear(efficient_producers, A_177)) | ~greater(appear(efficient_producers, A_177), critical_point(sk1)) | ~subpopulations(first_movers, efficient_producers, A_177, start_time(sk1)) | ~environment(A_177)))). % 16.22/5.48 tff(c_416, plain, (![A_21, A_173, B_175]: (in_environment(A_21, appear(efficient_producers, A_173)) | ~in_environment(A_21, B_175) | ~greater(appear(efficient_producers, A_173), B_175) | ~subpopulations(first_movers, efficient_producers, A_173, start_time(A_21)) | ~environment(A_173) | ~environment(A_21)))). % 16.22/5.48 tff(c_161, plain, (![A_85, A_25, B_26, B_88]: (in_environment(A_85, appear(efficient_producers, A_25)) | ~in_environment(A_85, B_26) | ~in_environment(A_85, B_88) | ~environment(A_85) | ~greater(appear(efficient_producers, A_25), B_88) | ~subpopulations(first_movers, efficient_producers, A_25, B_26) | ~environment(A_25)))). % 16.22/5.48 tff(c_389, plain, (![A_7]: (subpopulations(first_movers, efficient_producers, A_7, appear(efficient_producers, sk1)) | ~subpopulations(first_movers, efficient_producers, A_7, sk2) | ~greater(appear(efficient_producers, sk1), critical_point(A_7)) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.48 tff(c_308, plain, (![A_8]: (subpopulations(first_movers, efficient_producers, A_8, sk2) | ~subpopulations(first_movers, efficient_producers, A_8, appear(efficient_producers, sk1)) | ~greater(appear(efficient_producers, A_8), sk2) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.48 tff(c_205, plain, (![A_98, A_22, B_101]: (subpopulations(first_movers, efficient_producers, A_98, start_time(A_22)) | ~greater_or_equal(start_time(A_22), B_101) | ~subpopulations(first_movers, efficient_producers, A_98, appear(first_movers, A_22)) | ~subpopulations(first_movers, efficient_producers, A_98, B_101) | ~environment(A_98) | ~environment(A_22)))). % 16.22/5.48 tff(c_351, plain, (![A_147, B_30]: (subpopulations(first_movers, efficient_producers, A_147, appear(efficient_producers, sk1)) | ~subpopulations(first_movers, efficient_producers, A_147, sk2) | ~subpopulations(first_movers, efficient_producers, A_147, B_30) | ~environment(A_147) | ~greater(appear(efficient_producers, sk1), B_30)))). % 16.22/5.48 tff(c_331, plain, (![A_139, A_142]: (in_environment(A_139, appear(efficient_producers, sk1)) | ~in_environment(A_139, sk2) | ~in_environment(A_139, appear(efficient_producers, A_142)) | ~environment(A_139) | ~subpopulations(first_movers, efficient_producers, A_142, appear(efficient_producers, sk1)) | ~environment(A_142)))). % 16.22/5.48 tff(c_381, plain, (~greater(sk2, critical_point(sk1)))). % 16.22/5.48 tff(c_370, plain, (![A_7, A_159]: (subpopulations(first_movers, efficient_producers, A_7, A_159) | ~greater(critical_point(A_7), A_159) | ~greater(A_159, critical_point(A_7)) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.48 tff(c_339, plain, (![A_7, A_144, B_146]: (subpopulations(first_movers, efficient_producers, A_7, A_144) | ~subpopulations(first_movers, efficient_producers, A_7, B_146) | ~greater(critical_point(A_7), A_144) | ~greater(A_144, B_146) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.48 tff(c_358, plain, (![A_21, B_150, A_152]: (in_environment(A_21, B_150) | ~in_environment(A_21, appear(efficient_producers, A_152)) | ~subpopulations(first_movers, efficient_producers, A_152, B_150) | ~environment(A_152) | ~greater(start_time(A_21), B_150) | ~environment(A_21)))). % 16.22/5.48 tff(c_361, plain, (![B_150, A_152]: (in_environment(sk1, B_150) | ~in_environment(sk1, appear(efficient_producers, A_152)) | ~subpopulations(first_movers, efficient_producers, A_152, B_150) | ~environment(A_152) | ~greater(critical_point(sk1), B_150)))). % 16.22/5.48 tff(c_330, plain, (![A_139, B_30, A_29, A_142]: (in_environment(A_139, B_30) | ~in_environment(A_139, A_29) | ~in_environment(A_139, appear(efficient_producers, A_142)) | ~environment(A_139) | ~subpopulations(first_movers, efficient_producers, A_142, B_30) | ~environment(A_142) | ~greater(A_29, B_30)))). % 16.22/5.49 tff(c_207, plain, (![A_98, B_101]: (subpopulations(first_movers, efficient_producers, A_98, appear(efficient_producers, sk1)) | ~greater_or_equal(appear(efficient_producers, sk1), B_101) | ~subpopulations(first_movers, efficient_producers, A_98, sk2) | ~subpopulations(first_movers, efficient_producers, A_98, B_101) | ~environment(A_98)))). % 16.22/5.49 tff(c_300, plain, (![A_132, A_29, A_135, B_30]: (subpopulations(first_movers, efficient_producers, A_132, A_29) | ~subpopulations(first_movers, efficient_producers, A_132, A_135) | ~subpopulations(first_movers, efficient_producers, A_132, B_30) | ~environment(A_132) | ~greater(A_135, A_29) | ~greater(A_29, B_30)))). % 16.22/5.49 tff(c_133, plain, (![A_74, B_26, C_77, A_25]: (in_environment(A_74, B_26) | ~greater_or_equal(C_77, B_26) | ~in_environment(A_74, C_77) | ~in_environment(A_74, appear(efficient_producers, A_25)) | ~environment(A_74) | ~subpopulations(first_movers, efficient_producers, A_25, B_26) | ~environment(A_25)))). % 16.22/5.49 tff(c_309, plain, (![A_7]: (subpopulations(first_movers, efficient_producers, A_7, sk2) | ~subpopulations(first_movers, efficient_producers, A_7, appear(efficient_producers, sk1)) | ~greater(critical_point(A_7), sk2) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.49 tff(c_301, plain, (![A_132, A_135]: (subpopulations(first_movers, efficient_producers, A_132, sk2) | ~subpopulations(first_movers, efficient_producers, A_132, A_135) | ~subpopulations(first_movers, efficient_producers, A_132, appear(efficient_producers, sk1)) | ~environment(A_132) | ~greater(A_135, sk2)))). % 16.22/5.49 tff(c_206, plain, (![A_98, B_30, B_101, A_29]: (subpopulations(first_movers, efficient_producers, A_98, B_30) | ~greater_or_equal(B_30, B_101) | ~subpopulations(first_movers, efficient_producers, A_98, A_29) | ~subpopulations(first_movers, efficient_producers, A_98, B_101) | ~environment(A_98) | ~greater(A_29, B_30)))). % 16.22/5.49 tff(c_281, plain, (![A_21, A_127]: (in_environment(A_21, appear(first_movers, A_127)) | ~in_environment(A_21, start_time(A_127)) | ~environment(A_127) | ~greater(start_time(A_21), appear(first_movers, A_127)) | ~environment(A_21)))). % 16.22/5.49 tff(c_284, plain, (![A_127]: (in_environment(sk1, appear(first_movers, A_127)) | ~in_environment(sk1, start_time(A_127)) | ~environment(A_127) | ~greater(critical_point(sk1), appear(first_movers, A_127))))). % 16.22/5.49 tff(c_274, plain, (![A_123, A_124, A_29]: (in_environment(A_123, appear(first_movers, A_124)) | ~in_environment(A_123, A_29) | ~in_environment(A_123, start_time(A_124)) | ~environment(A_123) | ~environment(A_124) | ~greater(A_29, appear(first_movers, A_124))))). % 16.22/5.49 tff(c_134, plain, (![A_74, A_22, C_77]: (in_environment(A_74, appear(first_movers, A_22)) | ~greater_or_equal(C_77, appear(first_movers, A_22)) | ~in_environment(A_74, C_77) | ~in_environment(A_74, start_time(A_22)) | ~environment(A_74) | ~environment(A_22)))). % 16.22/5.49 tff(c_10, plain, (![C_11, B_10, A_9]: (greater(difference(growth_rate(first_movers, C_11), growth_rate(efficient_producers, C_11)), zero) | ~decreases(difference(growth_rate(first_movers, C_11), growth_rate(efficient_producers, C_11))) | ~greater(B_10, C_11) | ~greater_or_equal(C_11, appear(efficient_producers, A_9)) | ~greater_or_equal(difference(growth_rate(first_movers, B_10), growth_rate(efficient_producers, B_10)), zero) | ~in_environment(A_9, B_10) | ~environment(A_9)))). % 16.22/5.49 tff(c_162, plain, (![A_85, A_22, B_88]: (in_environment(A_85, start_time(A_22)) | ~in_environment(A_85, appear(first_movers, A_22)) | ~in_environment(A_85, B_88) | ~environment(A_85) | ~greater(start_time(A_22), B_88) | ~environment(A_22)))). % 16.22/5.49 tff(c_106, plain, (![A_8]: (decreases(difference(founding_rate(first_movers, appear(efficient_producers, A_8)), founding_rate(efficient_producers, appear(efficient_producers, A_8)))) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.49 tff(c_223, plain, (![A_52]: (in_environment(A_52, appear(first_movers, A_52)) | ~greater(start_time(A_52), appear(first_movers, A_52)) | appear(first_movers, A_52)=start_time(A_52) | ~environment(A_52)))). % 16.22/5.49 tff(c_231, plain, (![A_21]: (in_environment(A_21, appear(efficient_producers, sk1)) | ~in_environment(A_21, sk2) | ~greater(appear(efficient_producers, sk1), start_time(A_21)) | ~environment(A_21)))). % 16.22/5.49 tff(c_236, plain, (~greater(appear(efficient_producers, sk1), critical_point(sk1)))). % 16.22/5.49 tff(c_38, plain, (![B_34, A_33]: (greater_or_equal(difference(growth_rate(first_movers, B_34), growth_rate(efficient_producers, B_34)), zero) | greater(zero, difference(growth_rate(first_movers, B_34), growth_rate(efficient_producers, B_34))) | ~subpopulations(first_movers, efficient_producers, A_33, B_34) | ~environment(A_33)))). % 16.22/5.49 tff(c_164, plain, (![A_85, B_88]: (in_environment(A_85, appear(efficient_producers, sk1)) | ~in_environment(A_85, sk2) | ~in_environment(A_85, B_88) | ~environment(A_85) | ~greater(appear(efficient_producers, sk1), B_88)))). % 16.22/5.49 tff(c_224, plain, (~greater(critical_point(sk1), appear(first_movers, sk1)))). % 16.22/5.49 tff(c_12, plain, (![A_12]: (decreases(difference(growth_rate(first_movers, A_12), growth_rate(efficient_producers, A_12))) | decreases(difference(disbanding_rate(first_movers, A_12), disbanding_rate(efficient_producers, A_12))) | ~decreases(difference(founding_rate(first_movers, A_12), founding_rate(efficient_producers, A_12)))))). % 16.22/5.49 tff(c_215, plain, (![A_21, B_104]: (in_environment(A_21, B_104) | ~greater(B_104, start_time(A_21)) | ~greater(start_time(A_21), B_104) | ~environment(A_21)))). % 16.22/5.49 tff(c_218, plain, (![B_104]: (in_environment(sk1, B_104) | ~greater(B_104, critical_point(sk1)) | ~greater(start_time(sk1), B_104)))). % 16.22/5.49 tff(c_172, plain, (![A_21, B_92, B_94]: (in_environment(A_21, B_92) | ~in_environment(A_21, B_94) | ~greater(B_92, B_94) | ~greater(start_time(A_21), B_92) | ~environment(A_21)))). % 16.22/5.49 tff(c_185, plain, (![B_95]: (in_environment(sk1, B_95) | ~greater(B_95, critical_point(sk1)) | ~greater(critical_point(sk1), B_95)))). % 16.22/5.49 tff(c_40, plain, (![A_35, D_38, C_37, B_36]: (subpopulations(first_movers, efficient_producers, A_35, D_38) | ~greater_or_equal(C_37, D_38) | ~greater_or_equal(D_38, B_36) | ~subpopulations(first_movers, efficient_producers, A_35, C_37) | ~subpopulations(first_movers, efficient_producers, A_35, B_36) | ~environment(A_35)))). % 16.22/5.49 tff(c_184, plain, (![B_95]: (in_environment(sk1, B_95) | ~greater(B_95, start_time(sk1)) | ~greater(critical_point(sk1), B_95)))). % 16.22/5.49 tff(c_175, plain, (![B_92, B_94]: (in_environment(sk1, B_92) | ~in_environment(sk1, B_94) | ~greater(B_92, B_94) | ~greater(critical_point(sk1), B_92)))). % 16.22/5.49 tff(c_163, plain, (![A_85, B_30, A_29, B_88]: (in_environment(A_85, B_30) | ~in_environment(A_85, A_29) | ~in_environment(A_85, B_88) | ~environment(A_85) | ~greater(B_30, B_88) | ~greater(A_29, B_30)))). % 16.22/5.49 tff(c_44, plain, (![C_43, A_41]: (greater(growth_rate(efficient_producers, C_43), growth_rate(first_movers, C_43)) | ~greater(C_43, critical_point(A_41)) | ~subpopulations(first_movers, efficient_producers, A_41, C_43) | ~environment(A_41)))). % 16.22/5.49 tff(c_135, plain, (![A_74, A_29, C_77, B_30]: (in_environment(A_74, A_29) | ~greater_or_equal(C_77, A_29) | ~in_environment(A_74, C_77) | ~in_environment(A_74, B_30) | ~environment(A_74) | ~greater(A_29, B_30)))). % 16.22/5.49 tff(c_144, plain, (![A_21]: (in_environment(A_21, sk2) | ~greater_or_equal(start_time(A_21), sk2) | ~in_environment(A_21, appear(efficient_producers, sk1)) | ~environment(A_21)))). % 16.22/5.49 tff(c_148, plain, (~in_environment(sk1, appear(efficient_producers, sk1)))). % 16.22/5.49 tff(c_136, plain, (![A_74, C_77]: (in_environment(A_74, sk2) | ~greater_or_equal(C_77, sk2) | ~in_environment(A_74, C_77) | ~in_environment(A_74, appear(efficient_producers, sk1)) | ~environment(A_74)))). % 16.22/5.49 tff(c_2, plain, (![C_3, B_2, D_4, A_1]: (selection_favors(C_3, B_2, D_4) | ~greater(growth_rate(C_3, D_4), growth_rate(B_2, D_4)) | ~subpopulations(B_2, C_3, A_1, D_4) | ~environment(A_1)))). % 16.22/5.49 tff(c_22, plain, (![A_17, D_20, B_18, C_19]: (in_environment(A_17, D_20) | ~greater_or_equal(D_20, B_18) | ~greater_or_equal(C_19, D_20) | ~in_environment(A_17, C_19) | ~in_environment(A_17, B_18) | ~environment(A_17)))). % 16.22/5.49 tff(c_85, plain, (![A_55, B_54]: (appear(efficient_producers, A_55)=B_54 | greater(B_54, appear(efficient_producers, A_55)) | ~subpopulations(first_movers, efficient_producers, A_55, B_54) | ~environment(A_55)))). % 16.22/5.49 tff(c_107, plain, (![A_7]: (decreases(difference(founding_rate(first_movers, critical_point(A_7)), founding_rate(efficient_producers, critical_point(A_7)))) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.49 tff(c_14, plain, (![A_13]: (greater(growth_rate(efficient_producers, A_13), growth_rate(first_movers, A_13)) | ~greater(zero, difference(growth_rate(first_movers, A_13), growth_rate(efficient_producers, A_13)))))). % 16.22/5.49 tff(c_18, plain, (![A_15]: (greater(growth_rate(first_movers, A_15), growth_rate(efficient_producers, A_15)) | ~greater(difference(growth_rate(first_movers, A_15), growth_rate(efficient_producers, A_15)), zero)))). % 16.22/5.49 tff(c_20, plain, (![A_16]: (greater(difference(growth_rate(first_movers, A_16), growth_rate(efficient_producers, A_16)), zero) | ~greater(growth_rate(first_movers, A_16), growth_rate(efficient_producers, A_16))))). % 16.22/5.49 tff(c_16, plain, (![A_14]: (greater(zero, difference(growth_rate(first_movers, A_14), growth_rate(efficient_producers, A_14))) | ~greater(growth_rate(efficient_producers, A_14), growth_rate(first_movers, A_14))))). % 16.22/5.49 tff(c_46, plain, (![B_45, A_44]: (decreases(difference(founding_rate(first_movers, B_45), founding_rate(efficient_producers, B_45))) | ~subpopulations(first_movers, efficient_producers, A_44, B_45) | ~environment(A_44)))). % 16.22/5.49 tff(c_98, plain, (![A_61]: (subpopulations(efficient_producers, first_movers, A_61, appear(efficient_producers, A_61)) | ~in_environment(A_61, appear(efficient_producers, A_61)) | ~environment(A_61)))). % 16.22/5.49 tff(c_4, plain, (![B_6, A_5]: (~decreases(difference(disbanding_rate(first_movers, B_6), disbanding_rate(efficient_producers, B_6))) | ~subpopulations(first_movers, efficient_producers, A_5, B_6) | ~environment(A_5)))). % 16.22/5.49 tff(c_8, plain, (![A_8]: (subpopulations(first_movers, efficient_producers, A_8, appear(efficient_producers, A_8)) | ~in_environment(A_8, appear(efficient_producers, A_8)) | ~environment(A_8)))). % 16.22/5.49 tff(c_78, plain, (![A_52]: (appear(first_movers, A_52)=start_time(A_52) | greater(appear(first_movers, A_52), start_time(A_52)) | ~environment(A_52)))). % 16.22/5.49 tff(c_91, plain, (![A_7]: (subpopulations(efficient_producers, first_movers, A_7, critical_point(A_7)) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.49 tff(c_28, plain, (![A_23, B_24]: (subpopulations(efficient_producers, first_movers, A_23, B_24) | ~subpopulations(first_movers, efficient_producers, A_23, B_24) | ~environment(A_23)))). % 16.22/5.49 tff(c_6, plain, (![A_7]: (subpopulations(first_movers, efficient_producers, A_7, critical_point(A_7)) | ~in_environment(A_7, critical_point(A_7)) | ~environment(A_7)))). % 16.22/5.49 tff(c_30, plain, (![B_26, A_25]: (greater_or_equal(B_26, appear(efficient_producers, A_25)) | ~subpopulations(first_movers, efficient_producers, A_25, B_26) | ~environment(A_25)))). % 16.22/5.49 tff(c_42, plain, (![A_39]: (~greater(growth_rate(efficient_producers, critical_point(A_39)), growth_rate(first_movers, critical_point(A_39))) | ~environment(A_39)))). % 16.22/5.49 tff(c_79, plain, (greater(sk2, appear(efficient_producers, sk1)))). % 16.22/5.49 tff(c_26, plain, (![A_22]: (greater_or_equal(appear(first_movers, A_22), start_time(A_22)) | ~environment(A_22)))). % 16.22/5.49 tff(c_32, plain, (![B_28, A_27]: (B_28=A_27 | greater(A_27, B_28) | ~greater_or_equal(A_27, B_28)))). % 16.22/5.49 tff(c_24, plain, (![A_21]: (in_environment(A_21, start_time(A_21)) | ~environment(A_21)))). % 16.22/5.49 tff(c_34, plain, (![A_29, B_30]: (greater_or_equal(A_29, B_30) | ~greater(A_29, B_30)))). % 16.22/5.49 tff(c_52, plain, (greater_or_equal(sk2, appear(efficient_producers, sk1)))). % 16.22/5.49 tff(c_54, plain, (greater(critical_point(sk1), sk2))). % 16.22/5.49 tff(c_56, plain, (~selection_favors(first_movers, efficient_producers, sk2))). % 16.22/5.49 tff(c_50, plain, (in_environment(sk1, critical_point(sk1)))). % 16.22/5.49 tff(c_36, plain, (![B_32]: (greater_or_equal(B_32, B_32)))). % 16.22/5.49 tff(c_48, plain, (environment(sk1))). % 16.22/5.49 % SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 16.22/5.49 %------------------------------------------------------------------------------