0.02/0.10 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.02/0.11 % Command : tptp2X_and_run_prover9 %d %s 0.10/0.31 % Computer : n031.cluster.edu 0.10/0.31 % Model : x86_64 x86_64 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.10/0.31 % Memory : 8042.1875MB 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64 0.10/0.31 % CPULimit : 960 0.10/0.31 % DateTime : Thu Jul 2 07:27:33 EDT 2020 0.10/0.31 % CPUTime : 0.73/1.13 ============================== Prover9 =============================== 0.73/1.13 Prover9 (32) version 2009-11A, November 2009. 0.73/1.13 Process 12936 was started by sandbox2 on n031.cluster.edu, 0.73/1.13 Thu Jul 2 07:27:33 2020 0.73/1.13 The command was "/export/starexec/sandbox2/solver/bin/prover9 -t 960 -f /tmp/Prover9_12779_n031.cluster.edu". 0.73/1.13 ============================== end of head =========================== 0.73/1.13 0.73/1.13 ============================== INPUT ================================= 0.73/1.13 0.73/1.13 % Reading from file /tmp/Prover9_12779_n031.cluster.edu 0.73/1.13 0.73/1.13 set(prolog_style_variables). 0.73/1.13 set(auto2). 0.73/1.13 % set(auto2) -> set(auto). 0.73/1.13 % set(auto) -> set(auto_inference). 0.73/1.13 % set(auto) -> set(auto_setup). 0.73/1.13 % set(auto_setup) -> set(predicate_elim). 0.73/1.13 % set(auto_setup) -> assign(eq_defs, unfold). 0.73/1.13 % set(auto) -> set(auto_limits). 0.73/1.13 % set(auto_limits) -> assign(max_weight, "100.000"). 0.73/1.13 % set(auto_limits) -> assign(sos_limit, 20000). 0.73/1.13 % set(auto) -> set(auto_denials). 0.73/1.13 % set(auto) -> set(auto_process). 0.73/1.13 % set(auto2) -> assign(new_constants, 1). 0.73/1.13 % set(auto2) -> assign(fold_denial_max, 3). 0.73/1.13 % set(auto2) -> assign(max_weight, "200.000"). 0.73/1.13 % set(auto2) -> assign(max_hours, 1). 0.73/1.13 % assign(max_hours, 1) -> assign(max_seconds, 3600). 0.73/1.13 % set(auto2) -> assign(max_seconds, 0). 0.73/1.13 % set(auto2) -> assign(max_minutes, 5). 0.73/1.13 % assign(max_minutes, 5) -> assign(max_seconds, 300). 0.73/1.13 % set(auto2) -> set(sort_initial_sos). 0.73/1.13 % set(auto2) -> assign(sos_limit, -1). 0.73/1.13 % set(auto2) -> assign(lrs_ticks, 3000). 0.73/1.13 % set(auto2) -> assign(max_megs, 400). 0.73/1.13 % set(auto2) -> assign(stats, some). 0.73/1.13 % set(auto2) -> clear(echo_input). 0.73/1.13 % set(auto2) -> set(quiet). 0.73/1.13 % set(auto2) -> clear(print_initial_clauses). 0.73/1.13 % set(auto2) -> clear(print_given). 0.73/1.13 assign(lrs_ticks,-1). 0.73/1.13 assign(sos_limit,10000). 0.73/1.13 assign(order,kbo). 0.73/1.13 set(lex_order_vars). 0.73/1.13 clear(print_given). 0.73/1.13 0.73/1.13 % formulas(sos). % not echoed (8 formulas) 0.73/1.13 0.73/1.13 ============================== end of input ========================== 0.73/1.13 0.73/1.13 % From the command line: assign(max_seconds, 960). 0.73/1.13 0.73/1.13 ============================== PROCESS NON-CLAUSAL FORMULAS ========== 0.73/1.13 0.73/1.13 % Formulas that are not ordinary clauses: 0.73/1.13 1 (all E all T (environment(E) & greater_or_equal(T,equilibrium(E)) & subpopulations(first_movers,efficient_producers,E,T) -> greater(zero,growth_rate(efficient_producers,T)) & greater(growth_rate(first_movers,T),zero) | greater(growth_rate(efficient_producers,T),zero) & greater(zero,growth_rate(first_movers,T)) | growth_rate(efficient_producers,T) = zero & zero = growth_rate(first_movers,T))) # label(l6) # label(hypothesis) # label(non_clause). [assumption]. 0.73/1.13 2 (all E (stable(E) & environment(E) -> (exists To ((all T (subpopulations(first_movers,efficient_producers,E,T) & greater_or_equal(T,To) -> greater(growth_rate(efficient_producers,T),growth_rate(first_movers,T)))) & in_environment(E,To))))) # label(l1) # label(hypothesis) # label(non_clause). [assumption]. 0.73/1.13 3 (all E all T1 all T2 (in_environment(E,T1) & in_environment(E,T2) -> greater(T2,T1) | T1 = T2 | greater(T1,T2))) # label(mp_times_in_environment) # label(axiom) # label(non_clause). [assumption]. 0.73/1.13 4 (all E all S1 all S2 all T (environment(E) & subpopulations(S1,S2,E,T) -> (greater(zero,growth_rate(S1,T)) & greater_or_equal(growth_rate(S2,T),zero) <-> outcompetes(S2,S1,T)))) # label(d2) # label(hypothesis) # label(non_clause). [assumption]. 0.73/1.13 5 (all X all Y all Z (greater(X,Y) & greater(Y,Z) -> greater(X,Z))) # label(mp_greater_transitivity) # label(axiom) # label(non_clause). [assumption]. 0.73/1.13 6 (all X all Y (X = Y | greater(X,Y) <-> greater_or_equal(X,Y))) # label(mp_greater_or_equal) # label(axiom) # label(non_clause). [assumption]. 0.73/1.13 7 (all E (environment(E) & stable(E) -> (exists T (in_environment(E,T) & greater_or_equal(T,equilibrium(E)))))) # label(a4) # label(hypothesis) # label(non_clause). [assumption]. 0.73/1.13 8 -(all E (environment(E) & stable(E) -> (exists To ((all T (greater_or_equal(T,To) & subpopulations(first_movers,efficient_producers,E,T) -> outcompetes(efficient_producers,first_movers,T))) & in_environment(E,To))))) # label(prove_t4) # label(negated_conjecture) # label(non_clause). [assumption]. 0.73/1.13 0.73/1.13 ============================== end of process non-clausal formulas === 0.73/1.13 0.73/1.13 ============================== PROCESS INITIAL CLAUSES =============== 0.73/1.13 0.73/1.13 ============================== PREDICATE ELIMINATION ================= 0.73/1.13 9 -stable(A) | -environment(A) | in_environment(A,f1(A)) # label(l1) # label(hypothesis). [clausify(2)]. 0.73/1.13 10 environment(c1) # label(prove_t4) # label(negated_conjecture). [clausify(8)]. 0.73/1.13 Derived: -stable(c1) | in_environment(c1,f1(c1)). [resolve(9,b,10,a)]. 0.73/1.13 11 -environment(A) | -stable(A) | in_environment(A,f2(A)) # label(a4) # label(hypothesis). [clausify(7)]. 0.73/1.13 Derived: -stable(c1) | in_environment(c1,f2(c1)). [resolve(11,a,10,a)]. 0.73/1.13 12 -environment(A) | -stable(A) | greater_or_equal(f2(A),equilibrium(A)) # label(a4) # label(hypothesis). [clausify(7)]. 0.73/1.13 Derived: -stable(c1) | greater_or_equal(f2(c1),equilibrium(c1)). [resolve(12,a,10,a)]. 0.73/1.13 13 -environment(A) | -subpopulations(B,C,A,D) | greater(zero,growth_rate(B,D)) | -outcompetes(C,B,D) # label(d2) # label(hypothesis). [clausify(4)]. 0.73/1.13 Derived: -subpopulations(A,B,c1,C) | greater(zero,growth_rate(A,C)) | -outcompetes(B,A,C). [resolve(13,a,10,a)]. 0.73/1.13 14 -environment(A) | -subpopulations(B,C,A,D) | greater_or_equal(growth_rate(C,D),zero) | -outcompetes(C,B,D) # label(d2) # label(hypothesis). [clausify(4)]. 0.73/1.13 Derived: -subpopulations(A,B,c1,C) | greater_or_equal(growth_rate(B,C),zero) | -outcompetes(B,A,C). [resolve(14,a,10,a)]. 0.73/1.13 15 -stable(A) | -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,f1(A)) | greater(growth_rate(efficient_producers,B),growth_rate(first_movers,B)) # label(l1) # label(hypothesis). [clausify(2)]. 0.73/1.13 Derived: -stable(c1) | -subpopulations(first_movers,efficient_producers,c1,A) | -greater_or_equal(A,f1(c1)) | greater(growth_rate(efficient_producers,A),growth_rate(first_movers,A)). [resolve(15,b,10,a)]. 0.73/1.13 16 -environment(A) | -subpopulations(B,C,A,D) | -greater(zero,growth_rate(B,D)) | -greater_or_equal(growth_rate(C,D),zero) | outcompetes(C,B,D) # label(d2) # label(hypothesis). [clausify(4)]. 0.73/1.13 Derived: -subpopulations(A,B,c1,C) | -greater(zero,growth_rate(A,C)) | -greater_or_equal(growth_rate(B,C),zero) | outcompetes(B,A,C). [resolve(16,a,10,a)]. 0.73/1.13 17 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(zero,growth_rate(efficient_producers,B)) | greater(growth_rate(efficient_producers,B),zero) | growth_rate(efficient_producers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 0.73/1.13 Derived: -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(zero,growth_rate(efficient_producers,A)) | greater(growth_rate(efficient_producers,A),zero) | growth_rate(efficient_producers,A) = zero. [resolve(17,a,10,a)]. 0.73/1.13 18 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(zero,growth_rate(efficient_producers,B)) | greater(growth_rate(efficient_producers,B),zero) | growth_rate(first_movers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 0.73/1.13 Derived: -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(zero,growth_rate(efficient_producers,A)) | greater(growth_rate(efficient_producers,A),zero) | growth_rate(first_movers,A) = zero. [resolve(18,a,10,a)]. 0.73/1.13 19 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(zero,growth_rate(efficient_producers,B)) | greater(zero,growth_rate(first_movers,B)) | growth_rate(efficient_producers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 0.73/1.13 Derived: -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(zero,growth_rate(efficient_producers,A)) | greater(zero,growth_rate(first_movers,A)) | growth_rate(efficient_producers,A) = zero. [resolve(19,a,10,a)]. 0.73/1.13 20 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(zero,growth_rate(efficient_producers,B)) | greater(zero,growth_rate(first_movers,B)) | growth_rate(first_movers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 Derived: -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(zero,growth_rate(efficient_producers,A)) | greater(zero,growth_rate(first_movers,A)) | growth_rate(first_movers,A) = zero. [resolve(20,a,10,a)]. 2.40/2.76 21 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(growth_rate(first_movers,B),zero) | greater(growth_rate(efficient_producers,B),zero) | growth_rate(efficient_producers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 Derived: -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(growth_rate(first_movers,A),zero) | greater(growth_rate(efficient_producers,A),zero) | growth_rate(efficient_producers,A) = zero. [resolve(21,a,10,a)]. 2.40/2.76 22 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(growth_rate(first_movers,B),zero) | greater(growth_rate(efficient_producers,B),zero) | growth_rate(first_movers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 Derived: -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(growth_rate(first_movers,A),zero) | greater(growth_rate(efficient_producers,A),zero) | growth_rate(first_movers,A) = zero. [resolve(22,a,10,a)]. 2.40/2.76 23 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(growth_rate(first_movers,B),zero) | greater(zero,growth_rate(first_movers,B)) | growth_rate(efficient_producers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 Derived: -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(growth_rate(first_movers,A),zero) | greater(zero,growth_rate(first_movers,A)) | growth_rate(efficient_producers,A) = zero. [resolve(23,a,10,a)]. 2.40/2.76 24 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(growth_rate(first_movers,B),zero) | greater(zero,growth_rate(first_movers,B)) | growth_rate(first_movers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 Derived: -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(growth_rate(first_movers,A),zero) | greater(zero,growth_rate(first_movers,A)) | growth_rate(first_movers,A) = zero. [resolve(24,a,10,a)]. 2.40/2.76 2.40/2.76 ============================== end predicate elimination ============= 2.40/2.76 2.40/2.76 Auto_denials: (non-Horn, no changes). 2.40/2.76 2.40/2.76 Term ordering decisions: 2.40/2.76 Function symbol KB weights: zero=1. efficient_producers=1. first_movers=1. c1=1. growth_rate=1. equilibrium=1. f1=1. f2=1. f3=1. 2.40/2.76 2.40/2.76 ============================== end of process initial clauses ======== 2.40/2.76 2.40/2.76 ============================== CLAUSES FOR SEARCH ==================== 2.40/2.76 2.40/2.76 ============================== end of clauses for search ============= 2.40/2.76 2.40/2.76 ============================== SEARCH ================================ 2.40/2.76 2.40/2.76 % Starting search at 0.01 seconds. 2.40/2.76 2.40/2.76 ============================== PROOF ================================= 2.40/2.76 % SZS status Theorem 2.40/2.76 % SZS output start Refutation 2.40/2.76 2.40/2.76 % Proof 1 at 1.62 (+ 0.02) seconds. 2.40/2.76 % Length of proof is 598. 2.40/2.76 % Level of proof is 299. 2.40/2.76 % Maximum clause weight is 50.000. 2.40/2.76 % Given clauses 2637. 2.40/2.76 2.40/2.76 1 (all E all T (environment(E) & greater_or_equal(T,equilibrium(E)) & subpopulations(first_movers,efficient_producers,E,T) -> greater(zero,growth_rate(efficient_producers,T)) & greater(growth_rate(first_movers,T),zero) | greater(growth_rate(efficient_producers,T),zero) & greater(zero,growth_rate(first_movers,T)) | growth_rate(efficient_producers,T) = zero & zero = growth_rate(first_movers,T))) # label(l6) # label(hypothesis) # label(non_clause). [assumption]. 2.40/2.76 2 (all E (stable(E) & environment(E) -> (exists To ((all T (subpopulations(first_movers,efficient_producers,E,T) & greater_or_equal(T,To) -> greater(growth_rate(efficient_producers,T),growth_rate(first_movers,T)))) & in_environment(E,To))))) # label(l1) # label(hypothesis) # label(non_clause). [assumption]. 2.40/2.76 3 (all E all T1 all T2 (in_environment(E,T1) & in_environment(E,T2) -> greater(T2,T1) | T1 = T2 | greater(T1,T2))) # label(mp_times_in_environment) # label(axiom) # label(non_clause). [assumption]. 2.40/2.76 4 (all E all S1 all S2 all T (environment(E) & subpopulations(S1,S2,E,T) -> (greater(zero,growth_rate(S1,T)) & greater_or_equal(growth_rate(S2,T),zero) <-> outcompetes(S2,S1,T)))) # label(d2) # label(hypothesis) # label(non_clause). [assumption]. 2.40/2.76 5 (all X all Y all Z (greater(X,Y) & greater(Y,Z) -> greater(X,Z))) # label(mp_greater_transitivity) # label(axiom) # label(non_clause). [assumption]. 2.40/2.76 6 (all X all Y (X = Y | greater(X,Y) <-> greater_or_equal(X,Y))) # label(mp_greater_or_equal) # label(axiom) # label(non_clause). [assumption]. 2.40/2.76 7 (all E (environment(E) & stable(E) -> (exists T (in_environment(E,T) & greater_or_equal(T,equilibrium(E)))))) # label(a4) # label(hypothesis) # label(non_clause). [assumption]. 2.40/2.76 8 -(all E (environment(E) & stable(E) -> (exists To ((all T (greater_or_equal(T,To) & subpopulations(first_movers,efficient_producers,E,T) -> outcompetes(efficient_producers,first_movers,T))) & in_environment(E,To))))) # label(prove_t4) # label(negated_conjecture) # label(non_clause). [assumption]. 2.40/2.76 9 -stable(A) | -environment(A) | in_environment(A,f1(A)) # label(l1) # label(hypothesis). [clausify(2)]. 2.40/2.76 10 environment(c1) # label(prove_t4) # label(negated_conjecture). [clausify(8)]. 2.40/2.76 11 -environment(A) | -stable(A) | in_environment(A,f2(A)) # label(a4) # label(hypothesis). [clausify(7)]. 2.40/2.76 12 -environment(A) | -stable(A) | greater_or_equal(f2(A),equilibrium(A)) # label(a4) # label(hypothesis). [clausify(7)]. 2.40/2.76 15 -stable(A) | -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,f1(A)) | greater(growth_rate(efficient_producers,B),growth_rate(first_movers,B)) # label(l1) # label(hypothesis). [clausify(2)]. 2.40/2.76 16 -environment(A) | -subpopulations(B,C,A,D) | -greater(zero,growth_rate(B,D)) | -greater_or_equal(growth_rate(C,D),zero) | outcompetes(C,B,D) # label(d2) # label(hypothesis). [clausify(4)]. 2.40/2.76 17 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(zero,growth_rate(efficient_producers,B)) | greater(growth_rate(efficient_producers,B),zero) | growth_rate(efficient_producers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 18 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(zero,growth_rate(efficient_producers,B)) | greater(growth_rate(efficient_producers,B),zero) | growth_rate(first_movers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 19 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(zero,growth_rate(efficient_producers,B)) | greater(zero,growth_rate(first_movers,B)) | growth_rate(efficient_producers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 20 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(zero,growth_rate(efficient_producers,B)) | greater(zero,growth_rate(first_movers,B)) | growth_rate(first_movers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 21 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(growth_rate(first_movers,B),zero) | greater(growth_rate(efficient_producers,B),zero) | growth_rate(efficient_producers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 22 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(growth_rate(first_movers,B),zero) | greater(growth_rate(efficient_producers,B),zero) | growth_rate(first_movers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 23 -environment(A) | -greater_or_equal(B,equilibrium(A)) | -subpopulations(first_movers,efficient_producers,A,B) | greater(growth_rate(first_movers,B),zero) | greater(zero,growth_rate(first_movers,B)) | growth_rate(efficient_producers,B) = zero # label(l6) # label(hypothesis). [clausify(1)]. 2.40/2.76 25 stable(c1) # label(prove_t4) # label(negated_conjecture). [clausify(8)]. 2.40/2.76 26 -outcompetes(efficient_producers,first_movers,f3(A)) | -in_environment(c1,A) # label(prove_t4) # label(negated_conjecture). [clausify(8)]. 2.40/2.76 27 A != B | greater_or_equal(B,A) # label(mp_greater_or_equal) # label(axiom). [clausify(6)]. 2.40/2.76 28 -greater(A,B) | greater_or_equal(A,B) # label(mp_greater_or_equal) # label(axiom). [clausify(6)]. 2.40/2.76 29 greater_or_equal(f3(A),A) | -in_environment(c1,A) # label(prove_t4) # label(negated_conjecture). [clausify(8)]. 2.40/2.76 30 -greater(A,B) | -greater(B,C) | greater(A,C) # label(mp_greater_transitivity) # label(axiom). [clausify(5)]. 2.40/2.76 31 A = B | greater(B,A) | -greater_or_equal(B,A) # label(mp_greater_or_equal) # label(axiom). [clausify(6)]. 2.40/2.76 32 subpopulations(first_movers,efficient_producers,c1,f3(A)) | -in_environment(c1,A) # label(prove_t4) # label(negated_conjecture). [clausify(8)]. 2.40/2.76 33 -in_environment(A,B) | -in_environment(A,C) | greater(C,B) | C = B | greater(B,C) # label(mp_times_in_environment) # label(axiom). [clausify(3)]. 2.40/2.76 34 -stable(c1) | in_environment(c1,f1(c1)). [resolve(9,b,10,a)]. 2.40/2.76 35 in_environment(c1,f1(c1)). [copy(34),unit_del(a,25)]. 2.40/2.76 36 -stable(c1) | in_environment(c1,f2(c1)). [resolve(11,a,10,a)]. 2.40/2.76 37 in_environment(c1,f2(c1)). [copy(36),unit_del(a,25)]. 2.40/2.76 38 -stable(c1) | greater_or_equal(f2(c1),equilibrium(c1)). [resolve(12,a,10,a)]. 2.40/2.76 39 greater_or_equal(f2(c1),equilibrium(c1)). [copy(38),unit_del(a,25)]. 2.40/2.76 42 -stable(c1) | -subpopulations(first_movers,efficient_producers,c1,A) | -greater_or_equal(A,f1(c1)) | greater(growth_rate(efficient_producers,A),growth_rate(first_movers,A)). [resolve(15,b,10,a)]. 2.40/2.76 43 -subpopulations(first_movers,efficient_producers,c1,A) | -greater_or_equal(A,f1(c1)) | greater(growth_rate(efficient_producers,A),growth_rate(first_movers,A)). [copy(42),unit_del(a,25)]. 2.40/2.76 44 -subpopulations(A,B,c1,C) | -greater(zero,growth_rate(A,C)) | -greater_or_equal(growth_rate(B,C),zero) | outcompetes(B,A,C). [resolve(16,a,10,a)]. 2.40/2.76 45 -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(zero,growth_rate(efficient_producers,A)) | greater(growth_rate(efficient_producers,A),zero) | growth_rate(efficient_producers,A) = zero. [resolve(17,a,10,a)]. 2.40/2.76 46 -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(zero,growth_rate(efficient_producers,A)) | greater(growth_rate(efficient_producers,A),zero) | growth_rate(first_movers,A) = zero. [resolve(18,a,10,a)]. 2.40/2.76 47 -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(zero,growth_rate(efficient_producers,A)) | greater(zero,growth_rate(first_movers,A)) | growth_rate(efficient_producers,A) = zero. [resolve(19,a,10,a)]. 2.40/2.76 48 -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(zero,growth_rate(efficient_producers,A)) | greater(zero,growth_rate(first_movers,A)) | growth_rate(first_movers,A) = zero. [resolve(20,a,10,a)]. 2.40/2.76 49 -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(growth_rate(first_movers,A),zero) | greater(growth_rate(efficient_producers,A),zero) | growth_rate(efficient_producers,A) = zero. [resolve(21,a,10,a)]. 2.40/2.76 50 -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(growth_rate(first_movers,A),zero) | greater(growth_rate(efficient_producers,A),zero) | growth_rate(first_movers,A) = zero. [resolve(22,a,10,a)]. 2.40/2.76 51 -greater_or_equal(A,equilibrium(c1)) | -subpopulations(first_movers,efficient_producers,c1,A) | greater(growth_rate(first_movers,A),zero) | greater(zero,growth_rate(first_movers,A)) | growth_rate(efficient_producers,A) = zero. [resolve(23,a,10,a)]. 2.40/2.76 53 greater_or_equal(A,A). [xx_res(27,a)]. 2.40/2.76 54 -in_environment(c1,A) | greater(f1(c1),A) | f1(c1) = A | greater(A,f1(c1)). [resolve(35,a,33,b)]. 2.40/2.76 55 subpopulations(first_movers,efficient_producers,c1,f3(f1(c1))). [resolve(35,a,32,b)]. 2.40/2.76 56 greater_or_equal(f3(f1(c1)),f1(c1)). [resolve(35,a,29,b)]. 2.40/2.76 57 -outcompetes(efficient_producers,first_movers,f3(f1(c1))). [ur(26,b,35,a)]. 2.40/2.76 59 subpopulations(first_movers,efficient_producers,c1,f3(f2(c1))). [resolve(37,a,32,b)]. 2.40/2.76 60 greater_or_equal(f3(f2(c1)),f2(c1)). [resolve(37,a,29,b)]. 2.40/2.76 61 -outcompetes(efficient_producers,first_movers,f3(f2(c1))). [ur(26,b,37,a)]. 2.40/2.76 62 f2(c1) = equilibrium(c1) | greater(f2(c1),equilibrium(c1)). [resolve(39,a,31,c),flip(a)]. 2.40/2.76 63 f3(f1(c1)) = f1(c1) | greater(f3(f1(c1)),f1(c1)). [resolve(56,a,31,c),flip(a)]. 2.40/2.76 64 f3(f2(c1)) = f2(c1) | greater(f3(f2(c1)),f2(c1)). [resolve(60,a,31,c),flip(a)]. 2.40/2.76 67 -greater_or_equal(f3(f1(c1)),equilibrium(c1)) | greater(growth_rate(first_movers,f3(f1(c1))),zero) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(first_movers,f3(f1(c1))) = zero. [resolve(55,a,50,b)]. 2.40/2.76 68 -greater_or_equal(f3(f1(c1)),equilibrium(c1)) | greater(growth_rate(first_movers,f3(f1(c1))),zero) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(55,a,49,b)]. 2.40/2.76 69 -greater_or_equal(f3(f1(c1)),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))) | greater(zero,growth_rate(first_movers,f3(f1(c1)))) | growth_rate(first_movers,f3(f1(c1))) = zero. [resolve(55,a,48,b)]. 2.40/2.76 70 -greater_or_equal(f3(f1(c1)),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))) | greater(zero,growth_rate(first_movers,f3(f1(c1)))) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(55,a,47,b)]. 2.40/2.76 73 -greater(zero,growth_rate(first_movers,f3(f1(c1)))) | -greater_or_equal(growth_rate(efficient_producers,f3(f1(c1))),zero). [resolve(55,a,44,a),unit_del(c,57)]. 2.40/2.76 74 greater(growth_rate(efficient_producers,f3(f1(c1))),growth_rate(first_movers,f3(f1(c1)))). [resolve(55,a,43,a),unit_del(a,56)]. 2.40/2.76 76 -greater_or_equal(f3(f2(c1)),equilibrium(c1)) | greater(growth_rate(first_movers,f3(f2(c1))),zero) | greater(zero,growth_rate(first_movers,f3(f2(c1)))) | growth_rate(efficient_producers,f3(f2(c1))) = zero. [resolve(59,a,51,b)]. 2.40/2.76 78 -greater_or_equal(f3(f2(c1)),equilibrium(c1)) | greater(growth_rate(first_movers,f3(f2(c1))),zero) | greater(growth_rate(efficient_producers,f3(f2(c1))),zero) | growth_rate(efficient_producers,f3(f2(c1))) = zero. [resolve(59,a,49,b)]. 2.40/2.76 80 -greater_or_equal(f3(f2(c1)),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f3(f2(c1)))) | greater(zero,growth_rate(first_movers,f3(f2(c1)))) | growth_rate(efficient_producers,f3(f2(c1))) = zero. [resolve(59,a,47,b)]. 2.40/2.76 82 -greater_or_equal(f3(f2(c1)),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f3(f2(c1)))) | greater(growth_rate(efficient_producers,f3(f2(c1))),zero) | growth_rate(efficient_producers,f3(f2(c1))) = zero. [resolve(59,a,45,b)]. 2.40/2.76 83 -greater(zero,growth_rate(first_movers,f3(f2(c1)))) | -greater_or_equal(growth_rate(efficient_producers,f3(f2(c1))),zero). [resolve(59,a,44,a),unit_del(c,61)]. 2.40/2.76 84 -greater_or_equal(f3(f2(c1)),f1(c1)) | greater(growth_rate(efficient_producers,f3(f2(c1))),growth_rate(first_movers,f3(f2(c1)))). [resolve(59,a,43,a)]. 2.40/2.76 85 greater(f1(c1),f2(c1)) | f2(c1) = f1(c1) | greater(f2(c1),f1(c1)). [resolve(54,a,37,a),flip(b)]. 2.40/2.76 86 f2(c1) = equilibrium(c1) | -greater(A,f2(c1)) | greater(A,equilibrium(c1)). [resolve(62,b,30,b)]. 2.40/2.76 88 -greater(A,growth_rate(efficient_producers,f3(f1(c1)))) | greater(A,growth_rate(first_movers,f3(f1(c1)))). [resolve(74,a,30,b)]. 2.40/2.76 89 -greater(growth_rate(first_movers,f3(f1(c1))),A) | greater(growth_rate(efficient_producers,f3(f1(c1))),A). [resolve(74,a,30,a)]. 2.40/2.76 90 greater_or_equal(growth_rate(efficient_producers,f3(f1(c1))),growth_rate(first_movers,f3(f1(c1)))). [resolve(74,a,28,a)]. 2.40/2.76 92 f3(f1(c1)) = f1(c1) | -greater(f1(c1),A) | greater(f3(f1(c1)),A). [resolve(63,b,30,a)]. 2.40/2.76 94 f3(f2(c1)) = f2(c1) | -greater(f2(c1),A) | greater(f3(f2(c1)),A). [resolve(64,b,30,a)]. 2.40/2.76 95 f2(c1) = equilibrium(c1) | greater(f3(f2(c1)),equilibrium(c1)) | f3(f2(c1)) = f2(c1). [resolve(86,b,64,b)]. 2.40/2.76 98 greater(f1(c1),f2(c1)) | f2(c1) = f1(c1) | greater_or_equal(f2(c1),f1(c1)). [resolve(85,c,28,a)]. 2.40/2.76 99 f3(f2(c1)) = f2(c1) | greater(f3(f2(c1)),f1(c1)) | greater(f1(c1),f2(c1)) | f2(c1) = f1(c1). [resolve(94,b,85,c)]. 2.40/2.76 102 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | greater_or_equal(f3(f2(c1)),equilibrium(c1)). [resolve(95,b,28,a)]. 2.40/2.76 105 f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)) | f2(c1) = f1(c1) | greater_or_equal(f3(f2(c1)),f1(c1)). [resolve(99,b,28,a)]. 2.40/2.76 106 f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)) | f2(c1) = f1(c1) | greater(growth_rate(efficient_producers,f3(f2(c1))),growth_rate(first_movers,f3(f2(c1)))). [resolve(105,d,84,a)]. 2.40/2.76 110 greater(growth_rate(first_movers,f3(f2(c1))),zero) | greater(growth_rate(efficient_producers,f3(f2(c1))),zero) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1). [resolve(78,a,102,c)]. 2.40/2.76 112 greater(zero,growth_rate(efficient_producers,f3(f2(c1)))) | greater(zero,growth_rate(first_movers,f3(f2(c1)))) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1). [resolve(80,a,102,c)]. 2.40/2.76 114 greater(zero,growth_rate(efficient_producers,f3(f2(c1)))) | greater(growth_rate(efficient_producers,f3(f2(c1))),zero) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1). [resolve(82,a,102,c)]. 2.40/2.76 115 f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)) | f2(c1) = f1(c1) | -greater(A,growth_rate(efficient_producers,f3(f2(c1)))) | greater(A,growth_rate(first_movers,f3(f2(c1)))). [resolve(106,d,30,b)]. 2.40/2.76 116 f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)) | f2(c1) = f1(c1) | -greater(growth_rate(first_movers,f3(f2(c1))),A) | greater(growth_rate(efficient_producers,f3(f2(c1))),A). [resolve(106,d,30,a)]. 2.40/2.76 131 greater(growth_rate(efficient_producers,f3(f2(c1))),zero) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)) | f2(c1) = f1(c1). [resolve(110,a,116,d),merge(e),merge(h)]. 2.40/2.76 132 greater(growth_rate(efficient_producers,f3(f2(c1))),zero) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | -greater(A,growth_rate(first_movers,f3(f2(c1)))) | greater(A,zero). [resolve(110,a,30,b)]. 2.40/2.76 135 greater(growth_rate(efficient_producers,f3(f2(c1))),zero) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | -greater(growth_rate(efficient_producers,f3(f2(c1))),growth_rate(first_movers,f3(f2(c1)))). [factor(132,a,f)]. 2.40/2.76 149 greater(zero,growth_rate(efficient_producers,f3(f2(c1)))) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | greater_or_equal(growth_rate(efficient_producers,f3(f2(c1))),zero). [resolve(114,b,28,a)]. 2.40/2.76 151 greater(zero,growth_rate(efficient_producers,f3(f2(c1)))) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f3(f2(c1)))). [resolve(149,e,83,b)]. 2.40/2.76 161 greater(zero,growth_rate(efficient_producers,f3(f2(c1)))) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1). [resolve(151,e,112,b),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.76 162 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)) | f2(c1) = f1(c1) | greater(zero,growth_rate(first_movers,f3(f2(c1)))). [resolve(161,a,115,d),merge(d)]. 2.40/2.76 164 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | -greater(growth_rate(efficient_producers,f3(f2(c1))),A) | greater(zero,A). [resolve(161,a,30,a)]. 2.40/2.76 188 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)) | f2(c1) = f1(c1) | greater_or_equal(growth_rate(efficient_producers,f3(f2(c1))),zero). [resolve(131,a,28,a)]. 2.40/2.77 205 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)) | f2(c1) = f1(c1) | -greater(zero,growth_rate(first_movers,f3(f2(c1)))). [resolve(188,f,83,b)]. 2.40/2.77 223 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)) | f2(c1) = f1(c1). [resolve(205,f,162,f),merge(f),merge(g),merge(h),merge(i),merge(j)]. 2.40/2.77 228 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | greater(f1(c1),equilibrium(c1)). [resolve(223,d,86,b),merge(e)]. 2.40/2.77 232 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(f3(f1(c1)),equilibrium(c1)). [resolve(228,e,92,b)]. 2.40/2.77 235 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | greater_or_equal(f1(c1),equilibrium(c1)). [resolve(228,e,28,a)]. 2.40/2.77 250 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater_or_equal(f3(f1(c1)),equilibrium(c1)). [resolve(232,f,28,a)]. 2.40/2.77 261 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))) | greater(zero,growth_rate(first_movers,f3(f1(c1)))) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(250,f,70,a)]. 2.40/2.77 263 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(growth_rate(first_movers,f3(f1(c1))),zero) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(250,f,68,a)]. 2.40/2.77 378 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(263,f,89,a),merge(h)]. 2.40/2.77 382 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,f3(f1(c1))),zero). [resolve(378,f,28,a)]. 2.40/2.77 383 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(382,g,73,b)]. 2.40/2.77 385 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))). [resolve(383,g,261,g),merge(g),merge(h),merge(i),merge(j),merge(k),merge(m)]. 2.40/2.77 388 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(385,g,88,a)]. 2.40/2.77 394 growth_rate(efficient_producers,f3(f2(c1))) = zero | f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(388,g,383,g),merge(g),merge(h),merge(i),merge(j),merge(k),merge(l)]. 2.40/2.77 397 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(f2(c1)))). [para(394(a,1),83(b,1)),unit_del(g,53)]. 2.40/2.77 398 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(f1(c1),f2(c1)) | greater(zero,growth_rate(first_movers,f3(f2(c1)))). [para(394(a,1),106(d,1)),merge(f),merge(h)]. 2.40/2.77 428 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(f1(c1),f2(c1)). [resolve(398,g,397,f),merge(g),merge(h),merge(i),merge(j),merge(k)]. 2.40/2.77 430 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(f1(c1),equilibrium(c1)). [resolve(428,f,86,b),merge(f)]. 2.40/2.77 435 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(f3(f1(c1)),equilibrium(c1)). [resolve(430,f,92,b),merge(f)]. 2.40/2.77 444 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater_or_equal(f3(f1(c1)),equilibrium(c1)). [resolve(435,f,28,a)]. 2.40/2.77 446 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))) | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(444,f,70,a),merge(h)]. 2.40/2.77 447 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(growth_rate(first_movers,f3(f1(c1))),zero) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero). [resolve(444,f,68,a),merge(h)]. 2.40/2.77 467 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(growth_rate(efficient_producers,f3(f1(c1))),zero). [resolve(447,f,89,a),merge(g)]. 2.40/2.77 473 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,f3(f1(c1))),zero). [resolve(467,f,28,a)]. 2.40/2.77 474 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(473,f,73,b)]. 2.40/2.77 475 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))). [resolve(474,f,446,g),merge(f),merge(g),merge(h),merge(i),merge(j)]. 2.40/2.77 476 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(475,f,88,a)]. 2.40/2.77 480 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(476,f,474,f),merge(f),merge(g),merge(h),merge(i),merge(j)]. 2.40/2.77 483 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(480(e,1),73(b,1)),unit_del(f,53)]. 2.40/2.77 484 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(480(e,1),74(a,1))]. 2.40/2.77 487 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1). [resolve(484,e,483,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 490 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | subpopulations(first_movers,efficient_producers,c1,f2(c1)). [para(487(b,1),59(a,4))]. 2.40/2.77 491 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | -greater(zero,growth_rate(first_movers,f3(f2(c1)))) | -greater_or_equal(growth_rate(efficient_producers,f2(c1)),zero). [para(487(b,1),83(b,1,2))]. 2.40/2.77 504 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(growth_rate(first_movers,f2(c1)),zero) | greater(growth_rate(efficient_producers,f2(c1)),zero) | growth_rate(efficient_producers,f2(c1)) = zero. [resolve(490,d,49,b),unit_del(d,39)]. 2.40/2.77 506 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(zero,growth_rate(efficient_producers,f2(c1))) | greater(zero,growth_rate(first_movers,f2(c1))) | growth_rate(efficient_producers,f2(c1)) = zero. [resolve(490,d,47,b),unit_del(d,39)]. 2.40/2.77 510 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | -greater_or_equal(f2(c1),f1(c1)) | greater(growth_rate(efficient_producers,f2(c1)),growth_rate(first_movers,f2(c1))). [resolve(490,d,43,a)]. 2.40/2.77 511 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(growth_rate(efficient_producers,f2(c1)),growth_rate(first_movers,f2(c1))) | greater(f1(c1),f2(c1)). [resolve(510,d,98,c),merge(f)]. 2.40/2.77 512 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(f1(c1),f2(c1)) | -greater(A,growth_rate(efficient_producers,f2(c1))) | greater(A,growth_rate(first_movers,f2(c1))). [resolve(511,d,30,b)]. 2.40/2.77 513 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(f1(c1),f2(c1)) | -greater(growth_rate(first_movers,f2(c1)),A) | greater(growth_rate(efficient_producers,f2(c1)),A). [resolve(511,d,30,a)]. 2.40/2.77 558 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(growth_rate(efficient_producers,f2(c1)),zero) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)). [resolve(504,d,513,e),merge(f),merge(g),merge(h),merge(j)]. 2.40/2.77 570 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)) | greater_or_equal(growth_rate(efficient_producers,f2(c1)),zero). [resolve(558,d,28,a)]. 2.40/2.77 572 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)) | -greater(zero,growth_rate(first_movers,f3(f2(c1)))). [resolve(570,f,491,e),merge(f),merge(g),merge(h)]. 2.40/2.77 652 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)) | -greater(zero,growth_rate(first_movers,f2(c1))). [para(487(b,1),572(f,2,2)),merge(d),merge(e),merge(f)]. 2.40/2.77 653 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)) | greater(zero,growth_rate(efficient_producers,f2(c1))). [resolve(652,f,506,e),merge(f),merge(g),merge(h),merge(j)]. 2.40/2.77 657 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)) | greater(zero,growth_rate(first_movers,f2(c1))). [resolve(653,f,512,e),merge(f),merge(g),merge(h),merge(i)]. 2.40/2.77 661 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)). [resolve(657,f,652,f),merge(f),merge(g),merge(h),merge(i),merge(j)]. 2.40/2.77 663 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),equilibrium(c1)). [resolve(661,e,86,b),merge(e)]. 2.40/2.77 667 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f3(f1(c1)),equilibrium(c1)). [resolve(663,e,92,b),merge(e)]. 2.40/2.77 680 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater_or_equal(f3(f1(c1)),equilibrium(c1)). [resolve(667,e,28,a)]. 2.40/2.77 684 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))) | greater(zero,growth_rate(first_movers,f3(f1(c1)))) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(680,e,70,a)]. 2.40/2.77 686 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(growth_rate(first_movers,f3(f1(c1))),zero) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(680,e,68,a)]. 2.40/2.77 1263 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(686,e,89,a),merge(g)]. 2.40/2.77 1289 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,f3(f1(c1))),zero). [resolve(1263,e,28,a)]. 2.40/2.77 1298 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | growth_rate(efficient_producers,f3(f1(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(1289,f,73,b)]. 2.40/2.77 1309 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))). [resolve(1298,f,684,f),merge(f),merge(g),merge(h),merge(i),merge(k)]. 2.40/2.77 1320 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(1309,f,88,a)]. 2.40/2.77 1339 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(1320,f,1298,f),merge(f),merge(g),merge(h),merge(i),merge(j)]. 2.40/2.77 1342 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(1339(e,1),73(b,1)),unit_del(f,53)]. 2.40/2.77 1343 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(1339(e,1),74(a,1))]. 2.40/2.77 1352 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero. [resolve(1343,e,1342,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 1355 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | -greater(zero,growth_rate(first_movers,f3(f2(c1)))). [para(1352(d,1),491(e,1)),merge(d),merge(e),merge(f),unit_del(e,53)]. 2.40/2.77 1356 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(zero,growth_rate(first_movers,f2(c1))) | greater(f1(c1),f2(c1)). [para(1352(d,1),511(d,1)),merge(d),merge(e),merge(f)]. 2.40/2.77 1370 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | -greater(zero,growth_rate(first_movers,f2(c1))). [para(487(b,1),1355(d,2,2)),merge(d),merge(e),merge(f)]. 2.40/2.77 1374 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(f1(c1),f2(c1)). [resolve(1356,d,1370,d),merge(e),merge(f),merge(g)]. 2.40/2.77 1376 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(f1(c1),equilibrium(c1)). [resolve(1374,d,86,b),merge(d)]. 2.40/2.77 1380 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(f3(f1(c1)),equilibrium(c1)). [resolve(1376,d,92,b),merge(d)]. 2.40/2.77 1391 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater_or_equal(f3(f1(c1)),equilibrium(c1)). [resolve(1380,d,28,a)]. 2.40/2.77 1394 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))) | greater(zero,growth_rate(first_movers,f3(f1(c1)))) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(1391,d,70,a)]. 2.40/2.77 1396 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(growth_rate(first_movers,f3(f1(c1))),zero) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(1391,d,68,a)]. 2.40/2.77 1416 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(1396,d,89,a),merge(f)]. 2.40/2.77 1419 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,f3(f1(c1))),zero). [resolve(1416,d,28,a)]. 2.40/2.77 1420 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(1419,e,73,b)]. 2.40/2.77 1423 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))). [resolve(1420,e,1394,e),merge(e),merge(f),merge(g),merge(i)]. 2.40/2.77 1427 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(1423,e,88,a)]. 2.40/2.77 1435 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(1427,e,1420,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 1438 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(1435(d,1),73(b,1)),unit_del(e,53)]. 2.40/2.77 1439 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1) | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(1435(d,1),74(a,1))]. 2.40/2.77 1443 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f1(c1)) = f1(c1). [resolve(1439,d,1438,d),merge(d),merge(e),merge(f)]. 2.40/2.77 1446 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | subpopulations(first_movers,efficient_producers,c1,f1(c1)). [para(1443(c,1),55(a,4))]. 2.40/2.77 1447 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))) | -greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [para(1443(c,1),73(b,1,2))]. 2.40/2.77 1448 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(growth_rate(efficient_producers,f1(c1)),growth_rate(first_movers,f3(f1(c1)))). [para(1443(c,1),74(a,1,2))]. 2.40/2.77 1464 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | -greater_or_equal(f1(c1),equilibrium(c1)) | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(first_movers,f1(c1)) = zero. [resolve(1446,c,50,b)]. 2.40/2.77 1465 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | -greater_or_equal(f1(c1),equilibrium(c1)) | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(1446,c,49,b)]. 2.40/2.77 1466 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | -greater_or_equal(f1(c1),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(first_movers,f1(c1)) = zero. [resolve(1446,c,48,b)]. 2.40/2.77 1467 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | -greater_or_equal(f1(c1),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(1446,c,47,b)]. 2.40/2.77 1471 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(growth_rate(efficient_producers,f1(c1)),growth_rate(first_movers,f1(c1))). [resolve(1446,c,43,a),unit_del(c,53)]. 2.40/2.77 1472 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | -greater(A,growth_rate(efficient_producers,f1(c1))) | greater(A,growth_rate(first_movers,f1(c1))). [resolve(1471,c,30,b)]. 2.40/2.77 1473 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | -greater(growth_rate(first_movers,f1(c1)),A) | greater(growth_rate(efficient_producers,f1(c1)),A). [resolve(1471,c,30,a)]. 2.40/2.77 1474 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),growth_rate(first_movers,f1(c1))). [resolve(1471,c,28,a)]. 2.40/2.77 1483 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(1464,c,235,e),merge(g),merge(i)]. 2.40/2.77 1487 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(1465,c,235,e),merge(g),merge(i)]. 2.40/2.77 1489 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(1466,c,235,e),merge(g),merge(i)]. 2.40/2.77 1491 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(1467,c,235,e),merge(g),merge(i)]. 2.40/2.77 1540 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(1483,c,1473,c),merge(g),merge(h),merge(i)]. 2.40/2.77 1544 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [resolve(1540,c,28,a)]. 2.40/2.77 1546 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(1544,f,1447,d),merge(f),merge(g)]. 2.40/2.77 1554 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f1(c1))). [para(1443(c,1),1546(f,2,2)),merge(c),merge(d)]. 2.40/2.77 1583 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(1487,c,1473,c),merge(g),merge(h),merge(i)]. 2.40/2.77 1587 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [resolve(1583,c,28,a)]. 2.40/2.77 1590 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(1587,f,1447,d),merge(f),merge(g)]. 2.40/2.77 1597 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f1(c1))). [para(1443(c,1),1590(f,2,2)),merge(c),merge(d)]. 2.40/2.77 1599 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(1489,d,1554,f),merge(g),merge(h),merge(i),merge(j),merge(k)]. 2.40/2.77 1604 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1) | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(1599,c,1472,c),merge(f),merge(g)]. 2.40/2.77 1613 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(1604,f,1554,f),merge(f),merge(g),merge(h),merge(i),merge(j)]. 2.40/2.77 1617 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f3(f2(c1)))). [para(1613(d,1),83(b,1)),unit_del(f,53)]. 2.40/2.77 1618 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)) | greater(zero,growth_rate(first_movers,f3(f2(c1)))). [para(1613(d,1),106(d,1)),merge(e),merge(g)]. 2.40/2.77 1622 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(1491,d,1597,f),merge(g),merge(h),merge(i),merge(j),merge(k)]. 2.40/2.77 1623 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)). [resolve(1618,f,1617,e),merge(f),merge(g),merge(h),merge(i)]. 2.40/2.77 1624 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(f1(c1),equilibrium(c1)). [resolve(1623,e,86,b),merge(e)]. 2.40/2.77 1630 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater_or_equal(f1(c1),equilibrium(c1)). [resolve(1624,e,28,a)]. 2.40/2.77 1640 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(1630,e,1466,c),merge(e),merge(f),merge(i)]. 2.40/2.77 1642 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero). [resolve(1630,e,1464,c),merge(e),merge(f),merge(i)]. 2.40/2.77 1666 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(growth_rate(efficient_producers,f1(c1)),zero). [resolve(1642,e,1473,c),merge(f),merge(g),merge(h)]. 2.40/2.77 1669 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [resolve(1666,e,28,a)]. 2.40/2.77 1671 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(1669,e,1447,d),merge(e),merge(f)]. 2.40/2.77 1672 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f1(c1))). [para(1443(c,1),1671(e,2,2)),merge(c),merge(d)]. 2.40/2.77 1676 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))). [resolve(1672,e,1640,f),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 1677 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(1676,e,1472,c),merge(e),merge(f)]. 2.40/2.77 1684 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(first_movers,f1(c1)) = zero | f3(f2(c1)) = f2(c1). [resolve(1677,e,1672,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 1687 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f2(c1)) = f2(c1) | greater(growth_rate(efficient_producers,f1(c1)),zero). [para(1684(c,1),1471(c,2)),merge(d),merge(e)]. 2.40/2.77 1688 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f2(c1)) = f2(c1) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [para(1684(c,1),1474(c,2)),merge(d),merge(e)]. 2.40/2.77 1707 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f2(c1)) = f2(c1) | -greater(A,growth_rate(efficient_producers,f1(c1))) | greater(A,zero). [resolve(1687,d,30,b)]. 2.40/2.77 1709 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(1688,d,1447,d),merge(d),merge(e)]. 2.40/2.77 1722 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f1(c1))). [para(1443(c,1),1709(d,2,2)),merge(c),merge(d)]. 2.40/2.77 1724 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f2(c1)) = f2(c1) | -greater(zero,zero). [para(1684(c,1),1722(d,2)),merge(d),merge(e),merge(f)]. 2.40/2.77 1742 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1) | greater(zero,zero). [resolve(1622,c,1707,d),merge(f),merge(g),merge(h)]. 2.40/2.77 1752 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(1742,f,1724,d),merge(f),merge(g),merge(h)]. 2.40/2.77 1755 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f3(f2(c1)))). [para(1752(d,1),83(b,1)),unit_del(f,53)]. 2.40/2.77 1756 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)) | greater(zero,growth_rate(first_movers,f3(f2(c1)))). [para(1752(d,1),106(d,1)),merge(e),merge(g)]. 2.40/2.77 1770 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(f1(c1),f2(c1)). [resolve(1756,f,1755,e),merge(f),merge(g),merge(h),merge(i)]. 2.40/2.77 1771 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(f1(c1),equilibrium(c1)). [resolve(1770,e,86,b),merge(e)]. 2.40/2.77 1777 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater_or_equal(f1(c1),equilibrium(c1)). [resolve(1771,e,28,a)]. 2.40/2.77 1778 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(1777,e,1467,c),merge(e),merge(f),merge(i)]. 2.40/2.77 1785 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))). [resolve(1778,f,1722,d),merge(f),merge(g),merge(h)]. 2.40/2.77 1786 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | f3(f2(c1)) = f2(c1) | greater(zero,zero). [resolve(1785,e,1707,d),merge(e),merge(f),merge(g)]. 2.40/2.77 1794 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | f3(f2(c1)) = f2(c1). [resolve(1786,e,1724,d),merge(e),merge(f),merge(g)]. 2.40/2.77 1801 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f2(c1)) = f2(c1) | greater(zero,zero). [para(1794(c,1),1687(d,1)),merge(d),merge(e),merge(f)]. 2.40/2.77 1812 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | f3(f2(c1)) = f2(c1). [resolve(1801,d,1724,d),merge(d),merge(e),merge(f)]. 2.40/2.77 1815 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | subpopulations(first_movers,efficient_producers,c1,f2(c1)). [para(1812(c,1),59(a,4))]. 2.40/2.77 1816 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | -greater(zero,growth_rate(first_movers,f3(f2(c1)))) | -greater_or_equal(growth_rate(efficient_producers,f2(c1)),zero). [para(1812(c,1),83(b,1,2))]. 2.40/2.77 1829 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(growth_rate(first_movers,f2(c1)),zero) | greater(growth_rate(efficient_producers,f2(c1)),zero) | growth_rate(efficient_producers,f2(c1)) = zero. [resolve(1815,c,49,b),unit_del(c,39)]. 2.40/2.77 1831 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(zero,growth_rate(efficient_producers,f2(c1))) | greater(zero,growth_rate(first_movers,f2(c1))) | growth_rate(efficient_producers,f2(c1)) = zero. [resolve(1815,c,47,b),unit_del(c,39)]. 2.40/2.77 1835 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | -greater_or_equal(f2(c1),f1(c1)) | greater(growth_rate(efficient_producers,f2(c1)),growth_rate(first_movers,f2(c1))). [resolve(1815,c,43,a)]. 2.40/2.77 1836 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(growth_rate(efficient_producers,f2(c1)),growth_rate(first_movers,f2(c1))) | greater(f1(c1),f2(c1)). [resolve(1835,c,98,c),merge(e)]. 2.40/2.77 1837 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(f1(c1),f2(c1)) | -greater(A,growth_rate(efficient_producers,f2(c1))) | greater(A,growth_rate(first_movers,f2(c1))). [resolve(1836,c,30,b)]. 2.40/2.77 1838 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(f1(c1),f2(c1)) | -greater(growth_rate(first_movers,f2(c1)),A) | greater(growth_rate(efficient_producers,f2(c1)),A). [resolve(1836,c,30,a)]. 2.40/2.77 1883 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(growth_rate(efficient_producers,f2(c1)),zero) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)). [resolve(1829,c,1838,d),merge(e),merge(f),merge(h)]. 2.40/2.77 1890 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)) | greater_or_equal(growth_rate(efficient_producers,f2(c1)),zero). [resolve(1883,c,28,a)]. 2.40/2.77 1897 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)) | -greater(zero,growth_rate(first_movers,f3(f2(c1)))). [resolve(1890,e,1816,d),merge(e),merge(f)]. 2.40/2.77 1974 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)) | -greater(zero,growth_rate(first_movers,f2(c1))). [para(1812(c,1),1897(e,2,2)),merge(c),merge(d)]. 2.40/2.77 1975 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)) | greater(zero,growth_rate(efficient_producers,f2(c1))). [resolve(1974,e,1831,d),merge(e),merge(f),merge(h)]. 2.40/2.77 1977 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)) | greater(zero,growth_rate(first_movers,f2(c1))). [resolve(1975,e,1837,d),merge(e),merge(f),merge(g)]. 2.40/2.77 1982 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),f2(c1)). [resolve(1977,e,1974,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 1983 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(f1(c1),equilibrium(c1)). [resolve(1982,d,86,b),merge(d)]. 2.40/2.77 1989 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater_or_equal(f1(c1),equilibrium(c1)). [resolve(1983,d,28,a)]. 2.40/2.77 1994 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(1989,d,1467,c),merge(d),merge(e)]. 2.40/2.77 1996 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(1989,d,1465,c),merge(d),merge(e)]. 2.40/2.77 2788 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(1996,d,1473,c),merge(f),merge(g),merge(h)]. 2.40/2.77 2861 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | growth_rate(efficient_producers,f1(c1)) = zero | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [resolve(2788,d,28,a)]. 2.40/2.77 2871 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | growth_rate(efficient_producers,f1(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(2861,e,1447,d),merge(e),merge(f)]. 2.40/2.77 2888 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | growth_rate(efficient_producers,f1(c1)) = zero | -greater(zero,growth_rate(first_movers,f1(c1))). [para(1443(c,1),2871(e,2,2)),merge(c),merge(d)]. 2.40/2.77 2890 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | growth_rate(efficient_producers,f1(c1)) = zero | greater(zero,growth_rate(efficient_producers,f1(c1))). [resolve(2888,e,1994,e),merge(e),merge(f),merge(g),merge(i)]. 2.40/2.77 2899 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | growth_rate(efficient_producers,f1(c1)) = zero | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(2890,e,1472,c),merge(e),merge(f)]. 2.40/2.77 2904 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f2(c1)) = zero | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(2899,e,2888,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 2920 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(f2(c1)))). [para(2904(c,1),1816(d,1)),merge(d),merge(e),unit_del(e,53)]. 2.40/2.77 2921 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(zero,growth_rate(first_movers,f2(c1))) | greater(f1(c1),f2(c1)). [para(2904(c,1),1836(c,1)),merge(d),merge(e)]. 2.40/2.77 2928 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | -greater(zero,growth_rate(first_movers,f2(c1))). [para(1812(c,1),2920(d,2,2)),merge(c),merge(d)]. 2.40/2.77 2989 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(f1(c1),f2(c1)). [resolve(2921,d,2928,d),merge(e),merge(f),merge(g)]. 2.40/2.77 2990 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(f1(c1),equilibrium(c1)). [resolve(2989,d,86,b),merge(d)]. 2.40/2.77 2996 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater_or_equal(f1(c1),equilibrium(c1)). [resolve(2990,d,28,a)]. 2.40/2.77 3003 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(2996,d,1467,c),merge(d),merge(e),merge(h)]. 2.40/2.77 3004 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero). [resolve(2996,d,1465,c),merge(d),merge(e),merge(h)]. 2.40/2.77 3028 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(growth_rate(efficient_producers,f1(c1)),zero). [resolve(3004,d,1473,c),merge(e),merge(f),merge(g)]. 2.40/2.77 3034 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [resolve(3028,d,28,a)]. 2.40/2.77 3036 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(3034,d,1447,d),merge(d),merge(e)]. 2.40/2.77 3037 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | -greater(zero,growth_rate(first_movers,f1(c1))). [para(1443(c,1),3036(d,2,2)),merge(c),merge(d)]. 2.40/2.77 3038 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(zero,growth_rate(efficient_producers,f1(c1))). [resolve(3037,d,3003,e),merge(d),merge(e),merge(f)]. 2.40/2.77 3045 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(3038,d,1472,c),merge(d),merge(e)]. 2.40/2.77 3050 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(3045,d,3037,d),merge(d),merge(e),merge(f)]. 2.40/2.77 3055 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(3050(c,1),1448(c,1)),merge(c),merge(d)]. 2.40/2.77 3056 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(3050(c,1),1447(d,1)),merge(c),merge(d),unit_del(d,53)]. 2.40/2.77 3095 f2(c1) = equilibrium(c1) | f2(c1) = f1(c1). [resolve(3056,c,3055,c),merge(c),merge(d)]. 2.40/2.77 3108 f2(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f3(f2(c1))),growth_rate(first_movers,f3(f2(c1)))). [para(3095(b,1),84(a,1,1)),unit_del(b,56)]. 2.40/2.77 3178 f2(c1) = equilibrium(c1) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1) | greater(zero,growth_rate(first_movers,f3(f2(c1)))). [resolve(3108,b,164,d),merge(c)]. 2.40/2.77 3180 f2(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f3(f2(c1))),zero) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(3108,b,135,e),merge(d)]. 2.40/2.77 3294 f2(c1) = equilibrium(c1) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1) | greater_or_equal(growth_rate(efficient_producers,f3(f2(c1))),zero). [resolve(3180,b,28,a)]. 2.40/2.77 3308 f2(c1) = equilibrium(c1) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f3(f2(c1)))). [resolve(3294,d,83,b)]. 2.40/2.77 3325 f2(c1) = equilibrium(c1) | growth_rate(efficient_producers,f3(f2(c1))) = zero | f3(f2(c1)) = f2(c1). [resolve(3308,d,3178,d),merge(d),merge(e),merge(f)]. 2.40/2.77 3328 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | -greater(zero,growth_rate(first_movers,f3(f2(c1)))). [para(3325(b,1),83(b,1)),unit_del(d,53)]. 2.40/2.77 3330 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1) | greater(zero,growth_rate(first_movers,f3(f2(c1)))). [para(3325(b,1),3108(b,1)),merge(c)]. 2.40/2.77 3341 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f2(c1). [resolve(3330,c,3328,c),merge(c),merge(d)]. 2.40/2.77 3347 f2(c1) = equilibrium(c1) | subpopulations(first_movers,efficient_producers,c1,f2(c1)). [para(3341(b,1),59(a,4))]. 2.40/2.77 3357 f2(c1) = equilibrium(c1) | f3(f1(c1)) = f2(c1). [para(3095(b,1),3341(b,1,1)),merge(b)]. 2.40/2.77 3358 f2(c1) = equilibrium(c1) | f3(f2(c1)) = f1(c1). [para(3095(b,1),3341(b,2)),merge(b)]. 2.40/2.77 3359 f2(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f2(c1)),growth_rate(first_movers,f3(f2(c1)))). [para(3341(b,1),3108(b,1,2)),merge(b)]. 2.40/2.77 3379 f2(c1) = equilibrium(c1) | greater(growth_rate(first_movers,f2(c1)),zero) | greater(growth_rate(efficient_producers,f2(c1)),zero) | growth_rate(first_movers,f2(c1)) = zero. [resolve(3347,b,50,b),unit_del(b,39)]. 2.40/2.77 3381 f2(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f2(c1))) | greater(zero,growth_rate(first_movers,f2(c1))) | growth_rate(first_movers,f2(c1)) = zero. [resolve(3347,b,48,b),unit_del(b,39)]. 2.40/2.77 3382 f2(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f2(c1))) | greater(zero,growth_rate(first_movers,f2(c1))) | growth_rate(efficient_producers,f2(c1)) = zero. [resolve(3347,b,47,b),unit_del(b,39)]. 2.40/2.77 3388 f2(c1) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))) | -greater_or_equal(growth_rate(efficient_producers,f2(c1)),zero). [para(3357(b,1),73(b,1,2))]. 2.40/2.77 3399 f2(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1). [para(3095(b,1),3357(b,2)),merge(b)]. 2.40/2.77 3437 f2(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f2(c1)),growth_rate(first_movers,f2(c1))). [para(3341(b,1),3359(b,2,2)),merge(b)]. 2.40/2.77 3438 f2(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f2(c1)),growth_rate(first_movers,f1(c1))). [para(3358(b,1),3359(b,2,2)),merge(b)]. 2.40/2.77 3440 f2(c1) = equilibrium(c1) | -greater(growth_rate(first_movers,f2(c1)),A) | greater(growth_rate(efficient_producers,f2(c1)),A). [resolve(3437,b,30,a)]. 2.40/2.77 3441 f2(c1) = equilibrium(c1) | greater_or_equal(growth_rate(efficient_producers,f2(c1)),growth_rate(first_movers,f2(c1))). [resolve(3437,b,28,a)]. 2.40/2.77 3451 f2(c1) = equilibrium(c1) | -greater(A,growth_rate(efficient_producers,f2(c1))) | greater(A,growth_rate(first_movers,f1(c1))). [resolve(3438,b,30,b)]. 2.40/2.77 3501 f2(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f2(c1)),zero) | growth_rate(first_movers,f2(c1)) = zero. [resolve(3379,b,3440,b),merge(d),merge(e)]. 2.40/2.77 3504 f2(c1) = equilibrium(c1) | growth_rate(first_movers,f2(c1)) = zero | greater_or_equal(growth_rate(efficient_producers,f2(c1)),zero). [resolve(3501,b,28,a)]. 2.40/2.77 3506 f2(c1) = equilibrium(c1) | growth_rate(first_movers,f2(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(3504,c,3388,c),merge(c)]. 2.40/2.77 3534 f2(c1) = equilibrium(c1) | growth_rate(first_movers,f2(c1)) = zero | -greater(zero,growth_rate(first_movers,f2(c1))). [para(3357(b,1),3506(c,2,2)),merge(b)]. 2.40/2.77 3535 f2(c1) = equilibrium(c1) | growth_rate(first_movers,f2(c1)) = zero | -greater(zero,growth_rate(first_movers,f1(c1))). [para(3399(b,1),3506(c,2,2)),merge(b)]. 2.40/2.77 3537 f2(c1) = equilibrium(c1) | growth_rate(first_movers,f2(c1)) = zero | greater(zero,growth_rate(efficient_producers,f2(c1))). [resolve(3534,c,3381,c),merge(c),merge(e)]. 2.40/2.77 3538 f2(c1) = equilibrium(c1) | growth_rate(first_movers,f2(c1)) = zero | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(3537,c,3451,b),merge(c)]. 2.40/2.77 3548 f2(c1) = equilibrium(c1) | growth_rate(first_movers,f2(c1)) = zero. [resolve(3538,c,3535,c),merge(c),merge(d)]. 2.40/2.77 3552 f2(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f2(c1)),zero). [para(3548(b,1),3437(b,2)),merge(b)]. 2.40/2.77 3553 f2(c1) = equilibrium(c1) | greater_or_equal(growth_rate(efficient_producers,f2(c1)),zero). [para(3548(b,1),3441(b,2)),merge(b)]. 2.40/2.77 3573 f2(c1) = equilibrium(c1) | -greater(A,growth_rate(efficient_producers,f2(c1))) | greater(A,zero). [resolve(3552,b,30,b)]. 2.40/2.77 3574 f2(c1) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(3553,b,3388,c),merge(b)]. 2.40/2.77 3592 f2(c1) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f2(c1))). [para(3357(b,1),3574(b,2,2)),merge(b)]. 2.40/2.77 3595 f2(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f2(c1))) | growth_rate(efficient_producers,f2(c1)) = zero. [resolve(3592,b,3382,c),merge(b)]. 2.40/2.77 3596 f2(c1) = equilibrium(c1) | -greater(zero,zero). [para(3548(b,1),3592(b,2)),merge(b)]. 2.40/2.77 3604 f2(c1) = equilibrium(c1) | growth_rate(efficient_producers,f2(c1)) = zero | greater(zero,zero). [resolve(3595,b,3573,b),merge(c)]. 2.40/2.77 3617 f2(c1) = equilibrium(c1) | growth_rate(efficient_producers,f2(c1)) = zero. [resolve(3604,c,3596,b),merge(c)]. 2.40/2.77 3630 f2(c1) = equilibrium(c1) | greater(zero,zero). [para(3617(b,1),3552(b,1)),merge(b)]. 2.40/2.77 3631 f2(c1) = equilibrium(c1). [resolve(3630,b,3596,b),merge(b)]. 2.40/2.77 3633 f3(equilibrium(c1)) = equilibrium(c1) | greater(f1(c1),equilibrium(c1)) | f1(c1) = equilibrium(c1) | -greater(growth_rate(first_movers,f3(equilibrium(c1))),A) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),A). [back_rewrite(116),rewrite([3631(2),3631(5),3631(10),3631(13),3631(19),3631(25)]),flip(c)]. 2.40/2.77 3634 f3(equilibrium(c1)) = equilibrium(c1) | greater(f1(c1),equilibrium(c1)) | f1(c1) = equilibrium(c1) | -greater(A,growth_rate(efficient_producers,f3(equilibrium(c1)))) | greater(A,growth_rate(first_movers,f3(equilibrium(c1)))). [back_rewrite(115),rewrite([3631(2),3631(5),3631(10),3631(13),3631(19),3631(25)]),flip(c)]. 2.40/2.77 3640 greater(f1(c1),equilibrium(c1)) | f1(c1) = equilibrium(c1) | greater_or_equal(equilibrium(c1),f1(c1)). [back_rewrite(98),rewrite([3631(4),3631(7),3631(12)]),flip(b)]. 2.40/2.77 3643 f3(equilibrium(c1)) = equilibrium(c1) | -greater(equilibrium(c1),A) | greater(f3(equilibrium(c1)),A). [back_rewrite(94),rewrite([3631(2),3631(5),3631(8),3631(11)])]. 2.40/2.77 3645 greater(f1(c1),equilibrium(c1)) | f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)). [back_rewrite(85),rewrite([3631(4),3631(7),3631(12)]),flip(b)]. 2.40/2.77 3646 -greater_or_equal(f3(equilibrium(c1)),f1(c1)) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),growth_rate(first_movers,f3(equilibrium(c1)))). [back_rewrite(84),rewrite([3631(2),3631(9),3631(14)])]. 2.40/2.77 3647 -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))) | -greater_or_equal(growth_rate(efficient_producers,f3(equilibrium(c1))),zero). [back_rewrite(83),rewrite([3631(4),3631(10)])]. 2.40/2.77 3648 -greater_or_equal(f3(equilibrium(c1)),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f3(equilibrium(c1)))) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [back_rewrite(82),rewrite([3631(2),3631(10),3631(16),3631(23)])]. 2.40/2.77 3650 -greater_or_equal(f3(equilibrium(c1)),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f3(equilibrium(c1)))) | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [back_rewrite(80),rewrite([3631(2),3631(10),3631(17),3631(23)])]. 2.40/2.77 3652 -greater_or_equal(f3(equilibrium(c1)),equilibrium(c1)) | greater(growth_rate(first_movers,f3(equilibrium(c1))),zero) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [back_rewrite(78),rewrite([3631(2),3631(9),3631(16),3631(23)])]. 2.40/2.77 3654 -greater_or_equal(f3(equilibrium(c1)),equilibrium(c1)) | greater(growth_rate(first_movers,f3(equilibrium(c1))),zero) | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [back_rewrite(76),rewrite([3631(2),3631(9),3631(17),3631(23)])]. 2.40/2.77 3658 greater_or_equal(f3(equilibrium(c1)),equilibrium(c1)). [back_rewrite(60),rewrite([3631(2),3631(5)])]. 2.40/2.77 3659 subpopulations(first_movers,efficient_producers,c1,f3(equilibrium(c1))). [back_rewrite(59),rewrite([3631(5)])]. 2.40/2.77 3663 greater(growth_rate(first_movers,f3(equilibrium(c1))),zero) | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [back_unit_del(3654),unit_del(a,3658)]. 2.40/2.77 3665 greater(growth_rate(first_movers,f3(equilibrium(c1))),zero) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [back_unit_del(3652),unit_del(a,3658)]. 2.40/2.77 3667 greater(zero,growth_rate(efficient_producers,f3(equilibrium(c1)))) | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [back_unit_del(3650),unit_del(a,3658)]. 2.40/2.77 3669 greater(zero,growth_rate(efficient_producers,f3(equilibrium(c1)))) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [back_unit_del(3648),unit_del(a,3658)]. 2.40/2.77 3670 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | greater(f3(f1(c1)),equilibrium(c1)). [resolve(3645,a,92,b)]. 2.40/2.77 3673 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | greater_or_equal(f1(c1),equilibrium(c1)). [resolve(3645,a,28,a)]. 2.40/2.77 3687 greater(growth_rate(efficient_producers,f3(equilibrium(c1))),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | greater(f1(c1),equilibrium(c1)) | f1(c1) = equilibrium(c1). [resolve(3665,a,3633,d),merge(f)]. 2.40/2.77 3688 greater(growth_rate(efficient_producers,f3(equilibrium(c1))),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | -greater(A,growth_rate(first_movers,f3(equilibrium(c1)))) | greater(A,zero). [resolve(3665,a,30,b)]. 2.40/2.77 3691 greater(growth_rate(efficient_producers,f3(equilibrium(c1))),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | -greater(growth_rate(efficient_producers,f3(equilibrium(c1))),growth_rate(first_movers,f3(equilibrium(c1)))). [factor(3688,a,d)]. 2.40/2.77 3705 greater(zero,growth_rate(efficient_producers,f3(equilibrium(c1)))) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,f3(equilibrium(c1))),zero). [resolve(3669,b,28,a)]. 2.40/2.77 3707 greater(zero,growth_rate(efficient_producers,f3(equilibrium(c1)))) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(3705,c,3647,b)]. 2.40/2.77 3720 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | greater_or_equal(f3(f1(c1)),equilibrium(c1)). [resolve(3670,d,28,a)]. 2.40/2.77 3721 greater(zero,growth_rate(efficient_producers,f3(equilibrium(c1)))) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(3707,c,3667,b),merge(c),merge(d)]. 2.40/2.77 3722 growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | greater(f1(c1),equilibrium(c1)) | f1(c1) = equilibrium(c1) | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(3721,a,3634,d)]. 2.40/2.77 3724 growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | -greater(growth_rate(efficient_producers,f3(equilibrium(c1))),A) | greater(zero,A). [resolve(3721,a,30,a)]. 2.40/2.77 3730 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))) | greater(zero,growth_rate(first_movers,f3(f1(c1)))) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(3720,d,70,a)]. 2.40/2.77 3731 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))) | greater(zero,growth_rate(first_movers,f3(f1(c1)))) | growth_rate(first_movers,f3(f1(c1))) = zero. [resolve(3720,d,69,a)]. 2.40/2.77 3732 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | greater(growth_rate(first_movers,f3(f1(c1))),zero) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(3720,d,68,a)]. 2.40/2.77 3733 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | greater(growth_rate(first_movers,f3(f1(c1))),zero) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(first_movers,f3(f1(c1))) = zero. [resolve(3720,d,67,a)]. 2.40/2.77 3753 growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | greater(f1(c1),equilibrium(c1)) | f1(c1) = equilibrium(c1) | greater_or_equal(growth_rate(efficient_producers,f3(equilibrium(c1))),zero). [resolve(3687,a,28,a)]. 2.40/2.77 3801 growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | greater(f1(c1),equilibrium(c1)) | f1(c1) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(3753,e,3647,b)]. 2.40/2.77 3804 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(3732,d,89,a),merge(f)]. 2.40/2.77 3813 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero) | growth_rate(first_movers,f3(f1(c1))) = zero. [resolve(3733,d,89,a),merge(f)]. 2.40/2.77 3814 growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | greater(f1(c1),equilibrium(c1)) | f1(c1) = equilibrium(c1). [resolve(3801,e,3722,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 3818 growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | f1(c1) = equilibrium(c1) | greater_or_equal(f1(c1),equilibrium(c1)). [resolve(3814,c,28,a)]. 2.40/2.77 3828 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,f3(f1(c1))),zero). [resolve(3804,d,28,a)]. 2.40/2.77 3841 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,f3(f1(c1))),zero). [resolve(3813,d,28,a)]. 2.40/2.77 3845 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(3828,e,73,b)]. 2.40/2.77 3857 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(3841,e,73,b)]. 2.40/2.77 3867 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))). [resolve(3845,e,3730,e),merge(e),merge(f),merge(g),merge(i)]. 2.40/2.77 3868 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero | greater(zero,growth_rate(efficient_producers,f3(f1(c1)))). [resolve(3857,e,3731,e),merge(e),merge(f),merge(g),merge(i)]. 2.40/2.77 3876 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(3867,e,88,a)]. 2.40/2.77 3884 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(3868,e,88,a)]. 2.40/2.77 3889 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(3876,e,3845,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 3894 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | greater(f3(equilibrium(c1)),f1(c1)). [resolve(3889,b,3643,b)]. 2.40/2.77 3897 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater_or_equal(equilibrium(c1),f1(c1)). [resolve(3889,b,28,a)]. 2.40/2.77 3898 f1(c1) = equilibrium(c1) | greater(equilibrium(c1),f1(c1)) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero. [resolve(3884,e,3857,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 3906 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero | greater_or_equal(equilibrium(c1),f1(c1)). [resolve(3898,b,28,a)]. 2.40/2.77 3909 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | greater_or_equal(f3(equilibrium(c1)),f1(c1)). [resolve(3894,e,28,a)]. 2.40/2.77 3913 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(3909,e,3646,a)]. 2.40/2.77 3928 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(3913,e,3724,b)]. 2.40/2.77 3930 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(3913,e,3691,c)]. 2.40/2.77 3973 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,f3(equilibrium(c1))),zero). [resolve(3930,e,28,a)]. 2.40/2.77 4011 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(3973,f,3647,b)]. 2.40/2.77 4036 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(4011,f,3928,f),merge(f),merge(g),merge(h),merge(i),merge(j)]. 2.40/2.77 4039 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(4036(c,1),73(b,1)),unit_del(f,53)]. 2.40/2.77 4040 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(4036(c,1),74(a,1))]. 2.40/2.77 4046 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(4040,e,4039,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 4051 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [para(4046(d,1),3647(b,1)),unit_del(e,53)]. 2.40/2.77 4056 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [para(4046(d,1),3913(e,1)),merge(d),merge(e),merge(g)]. 2.40/2.77 4083 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(4056,e,4051,d),merge(e),merge(f),merge(g)]. 2.40/2.77 4086 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(4083(d,1),73(b,1)),unit_del(e,53)]. 2.40/2.77 4087 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(4083(d,1),74(a,1))]. 2.40/2.77 4091 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | f3(equilibrium(c1)) = equilibrium(c1). [resolve(4087,d,4086,d),merge(d),merge(e),merge(f)]. 2.40/2.77 4094 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | subpopulations(first_movers,efficient_producers,c1,f1(c1)). [para(4091(b,1),55(a,4))]. 2.40/2.77 4095 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))) | -greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [para(4091(b,1),73(b,1,2))]. 2.40/2.77 4112 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater_or_equal(f1(c1),equilibrium(c1)) | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(first_movers,f1(c1)) = zero. [resolve(4094,c,50,b)]. 2.40/2.77 4114 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater_or_equal(f1(c1),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(first_movers,f1(c1)) = zero. [resolve(4094,c,48,b)]. 2.40/2.77 4115 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater_or_equal(f1(c1),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(4094,c,47,b)]. 2.40/2.77 4119 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(growth_rate(efficient_producers,f1(c1)),growth_rate(first_movers,f1(c1))). [resolve(4094,c,43,a),unit_del(c,53)]. 2.40/2.77 4120 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater(A,growth_rate(efficient_producers,f1(c1))) | greater(A,growth_rate(first_movers,f1(c1))). [resolve(4119,c,30,b)]. 2.40/2.77 4121 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater(growth_rate(first_movers,f1(c1)),A) | greater(growth_rate(efficient_producers,f1(c1)),A). [resolve(4119,c,30,a)]. 2.40/2.77 4122 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),growth_rate(first_movers,f1(c1))). [resolve(4119,c,28,a)]. 2.40/2.77 4136 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(4112,c,3673,c),merge(f)]. 2.40/2.77 4145 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(4114,c,3673,c),merge(f)]. 2.40/2.77 4146 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(4115,c,3818,d),merge(g),merge(h)]. 2.40/2.77 4148 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(4115,c,3673,c),merge(f)]. 2.40/2.77 4172 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(4136,c,4121,c),merge(f),merge(g),merge(h)]. 2.40/2.77 4177 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [resolve(4172,c,28,a)]. 2.40/2.77 4182 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(4177,e,4095,d),merge(e),merge(f)]. 2.40/2.77 4183 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | -greater(zero,growth_rate(first_movers,f1(c1))). [para(4091(b,1),4182(e,2,2)),merge(c),merge(d)]. 2.40/2.77 4203 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(4145,d,4183,e),merge(f),merge(g),merge(h),merge(i)]. 2.40/2.77 4208 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(4203,c,4120,c),merge(e),merge(f)]. 2.40/2.77 4233 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(4208,e,4183,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 4238 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(f3(equilibrium(c1)),f1(c1)). [resolve(4233,d,3643,b),merge(d)]. 2.40/2.77 4251 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater_or_equal(f3(equilibrium(c1)),f1(c1)). [resolve(4238,d,28,a)]. 2.40/2.77 4252 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(4251,d,3646,a)]. 2.40/2.77 4268 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(4252,d,3724,b)]. 2.40/2.77 4270 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(4252,d,3691,c)]. 2.40/2.77 4297 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,f3(equilibrium(c1))),zero). [resolve(4270,d,28,a)]. 2.40/2.77 4315 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(4297,e,3647,b)]. 2.40/2.77 4324 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(4315,e,4268,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 4327 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [para(4324(d,1),3647(b,1)),unit_del(e,53)]. 2.40/2.77 4331 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [para(4324(d,1),4252(d,1)),merge(d),merge(e),merge(f)]. 2.40/2.77 4335 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero. [resolve(4331,d,4327,d),merge(d),merge(e),merge(f)]. 2.40/2.77 4338 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(growth_rate(efficient_producers,f1(c1)),zero). [para(4335(c,1),4119(c,2)),merge(c),merge(d)]. 2.40/2.77 4339 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [para(4335(c,1),4122(c,2)),merge(c),merge(d)]. 2.40/2.77 4355 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater(A,growth_rate(efficient_producers,f1(c1))) | greater(A,zero). [resolve(4338,c,30,b)]. 2.40/2.77 4357 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(4339,c,4095,d),merge(c),merge(d)]. 2.40/2.77 4366 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f1(c1))). [para(4091(b,1),4357(c,2,2)),merge(c),merge(d)]. 2.40/2.77 4367 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | -greater(zero,zero). [para(4335(c,1),4366(c,2)),merge(c),merge(d)]. 2.40/2.77 4372 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(4146,d,4366,c),merge(f),merge(g)]. 2.40/2.77 4386 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(4148,d,4366,c),merge(f),merge(g)]. 2.40/2.77 4390 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(4386,c,4120,c),merge(e),merge(f)]. 2.40/2.77 4412 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(4390,e,4366,c),merge(e),merge(f)]. 2.40/2.77 4417 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(f3(equilibrium(c1)),f1(c1)). [resolve(4412,d,3643,b),merge(d)]. 2.40/2.77 4424 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater_or_equal(f3(equilibrium(c1)),f1(c1)). [resolve(4417,d,28,a)]. 2.40/2.77 4425 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(4424,d,3646,a)]. 2.40/2.77 4444 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | greater(zero,zero). [resolve(4372,c,4355,c),merge(e),merge(f)]. 2.40/2.77 4452 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(4444,e,4367,c),merge(e),merge(f)]. 2.40/2.77 4455 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [para(4452(d,1),3647(b,1)),unit_del(e,53)]. 2.40/2.77 4460 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [para(4452(d,1),4425(d,1)),merge(d),merge(e),merge(f)]. 2.40/2.77 4463 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(4460,d,4455,d),merge(d),merge(e),merge(f)]. 2.40/2.77 4474 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1) | greater(zero,zero). [para(4463(c,1),4338(c,1)),merge(c),merge(d)]. 2.40/2.77 4475 f1(c1) = equilibrium(c1) | f3(equilibrium(c1)) = equilibrium(c1). [resolve(4474,c,4367,c),merge(c),merge(d)]. 2.40/2.77 4478 f1(c1) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))) | -greater_or_equal(growth_rate(efficient_producers,equilibrium(c1)),zero). [para(4475(b,1),3647(b,1,2))]. 2.40/2.77 4479 f1(c1) = equilibrium(c1) | subpopulations(first_movers,efficient_producers,c1,equilibrium(c1)). [para(4475(b,1),3659(a,4))]. 2.40/2.77 4480 f1(c1) = equilibrium(c1) | -greater_or_equal(equilibrium(c1),f1(c1)) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),growth_rate(first_movers,f3(equilibrium(c1)))). [para(4475(b,1),3646(a,1))]. 2.40/2.77 4482 f1(c1) = equilibrium(c1) | greater(growth_rate(first_movers,equilibrium(c1)),zero) | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [para(4475(b,1),3663(a,1,2))]. 2.40/2.77 4484 f1(c1) = equilibrium(c1) | greater(growth_rate(first_movers,equilibrium(c1)),zero) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [para(4475(b,1),3665(a,1,2))]. 2.40/2.77 4529 f1(c1) = equilibrium(c1) | greater(growth_rate(first_movers,equilibrium(c1)),zero) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(first_movers,equilibrium(c1)) = zero. [resolve(4479,b,50,b),unit_del(b,53)]. 2.40/2.77 4530 f1(c1) = equilibrium(c1) | greater(growth_rate(first_movers,equilibrium(c1)),zero) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(efficient_producers,equilibrium(c1)) = zero. [resolve(4479,b,49,b),unit_del(b,53)]. 2.40/2.77 4531 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | greater(zero,growth_rate(first_movers,equilibrium(c1))) | growth_rate(first_movers,equilibrium(c1)) = zero. [resolve(4479,b,48,b),unit_del(b,53)]. 2.40/2.77 4532 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | greater(zero,growth_rate(first_movers,equilibrium(c1))) | growth_rate(efficient_producers,equilibrium(c1)) = zero. [resolve(4479,b,47,b),unit_del(b,53)]. 2.40/2.77 4533 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(first_movers,equilibrium(c1)) = zero. [resolve(4479,b,46,b),unit_del(b,53)]. 2.40/2.77 4534 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(efficient_producers,equilibrium(c1)) = zero. [resolve(4479,b,45,b),unit_del(b,53)]. 2.40/2.77 4536 f1(c1) = equilibrium(c1) | -greater_or_equal(equilibrium(c1),f1(c1)) | greater(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,equilibrium(c1))). [resolve(4479,b,43,a)]. 2.40/2.77 4538 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),growth_rate(first_movers,f3(equilibrium(c1)))) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero. [resolve(4480,b,3906,d),merge(c)]. 2.40/2.77 4539 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),growth_rate(first_movers,f3(equilibrium(c1)))) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(4480,b,3897,d),merge(c)]. 2.40/2.77 4542 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,equilibrium(c1))) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero. [resolve(4536,b,3906,d),merge(c)]. 2.40/2.77 4543 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,equilibrium(c1))) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(4536,b,3897,d),merge(c)]. 2.40/2.77 4544 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,equilibrium(c1))) | greater(f1(c1),equilibrium(c1)). [resolve(4536,b,3640,c),merge(d)]. 2.40/2.77 4545 f1(c1) = equilibrium(c1) | greater(f1(c1),equilibrium(c1)) | -greater(A,growth_rate(efficient_producers,equilibrium(c1))) | greater(A,growth_rate(first_movers,equilibrium(c1))). [resolve(4544,b,30,b)]. 2.40/2.77 4546 f1(c1) = equilibrium(c1) | greater(f1(c1),equilibrium(c1)) | -greater(growth_rate(first_movers,equilibrium(c1)),A) | greater(growth_rate(efficient_producers,equilibrium(c1)),A). [resolve(4544,b,30,a)]. 2.40/2.77 4604 f1(c1) = equilibrium(c1) | greater(growth_rate(first_movers,equilibrium(c1)),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,f3(equilibrium(c1))),zero). [resolve(4484,c,28,a)]. 2.40/2.77 4636 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(first_movers,equilibrium(c1)) = zero | -greater(A,growth_rate(first_movers,equilibrium(c1))) | greater(A,zero). [resolve(4529,b,30,b)]. 2.40/2.77 4639 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(first_movers,equilibrium(c1)) = zero | -greater(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,equilibrium(c1))). [factor(4636,b,e)]. 2.40/2.77 4651 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(f1(c1),equilibrium(c1)). [resolve(4530,b,4546,c),merge(d),merge(f)]. 2.40/2.77 4656 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(A,growth_rate(first_movers,equilibrium(c1))) | greater(A,zero). [resolve(4530,b,30,b)]. 2.40/2.77 4659 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,equilibrium(c1))). [factor(4656,b,e)]. 2.40/2.77 4668 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(f1(c1),equilibrium(c1)) | greater_or_equal(growth_rate(efficient_producers,equilibrium(c1)),zero). [resolve(4651,b,28,a)]. 2.40/2.77 4670 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(f1(c1),equilibrium(c1)) | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(4668,d,4478,c),merge(d)]. 2.40/2.77 4681 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | growth_rate(first_movers,equilibrium(c1)) = zero | greater_or_equal(growth_rate(efficient_producers,equilibrium(c1)),zero). [resolve(4533,c,28,a)]. 2.40/2.77 4684 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater_or_equal(growth_rate(efficient_producers,equilibrium(c1)),zero). [resolve(4534,c,28,a)]. 2.40/2.77 4736 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(f1(c1),equilibrium(c1)) | -greater(zero,growth_rate(first_movers,equilibrium(c1))). [para(4475(b,1),4670(d,2,2)),merge(b)]. 2.40/2.77 4739 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(f1(c1),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))). [resolve(4736,d,4532,c),merge(d),merge(f)]. 2.40/2.77 4742 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(f1(c1),equilibrium(c1)) | greater(zero,growth_rate(first_movers,equilibrium(c1))). [resolve(4739,d,4545,c),merge(d),merge(e)]. 2.40/2.77 4746 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(f1(c1),equilibrium(c1)). [resolve(4742,d,4736,d),merge(d),merge(e),merge(f)]. 2.40/2.77 4754 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater_or_equal(f1(c1),equilibrium(c1)). [resolve(4746,c,28,a)]. 2.40/2.77 4758 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | growth_rate(first_movers,equilibrium(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(4681,d,4478,c),merge(d)]. 2.40/2.77 4760 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(4684,d,4478,c),merge(d)]. 2.40/2.77 4858 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | growth_rate(first_movers,equilibrium(c1)) = zero | -greater(zero,growth_rate(first_movers,equilibrium(c1))). [para(4475(b,1),4758(d,2,2)),merge(b)]. 2.40/2.77 4860 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | growth_rate(first_movers,equilibrium(c1)) = zero. [resolve(4858,d,4531,c),merge(d),merge(e),merge(f)]. 2.40/2.77 4862 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero | -greater(growth_rate(efficient_producers,equilibrium(c1)),A) | greater(zero,A). [resolve(4860,b,30,a)]. 2.40/2.77 4868 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(zero,growth_rate(first_movers,equilibrium(c1))). [para(4475(b,1),4760(d,2,2)),merge(b)]. 2.40/2.77 4869 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,equilibrium(c1))) | growth_rate(efficient_producers,equilibrium(c1)) = zero. [resolve(4868,d,4532,c),merge(d),merge(e),merge(f)]. 2.40/2.77 4872 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(growth_rate(efficient_producers,equilibrium(c1)),A) | greater(zero,A). [resolve(4869,b,30,a)]. 2.40/2.77 4927 f1(c1) = equilibrium(c1) | greater(growth_rate(first_movers,equilibrium(c1)),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(4604,d,3647,b)]. 2.40/2.77 4950 f1(c1) = equilibrium(c1) | greater(growth_rate(first_movers,equilibrium(c1)),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(4927,d,4482,c),merge(d),merge(e),merge(f)]. 2.40/2.77 4976 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,f3(equilibrium(c1)))) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero. [para(4475(b,1),4538(b,1,2)),merge(b)]. 2.40/2.77 4996 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,f3(equilibrium(c1)))) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [para(4475(b,1),4539(b,1,2)),merge(b)]. 2.40/2.77 5016 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,equilibrium(c1))). [resolve(4542,b,28,a)]. 2.40/2.77 5032 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(first_movers,equilibrium(c1)) = zero | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(4636,d,4543,b),merge(d),merge(e)]. 2.40/2.77 5048 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(4976,b,4872,c),merge(d)]. 2.40/2.77 5061 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | growth_rate(first_movers,equilibrium(c1)) = zero | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(4996,b,4862,c),merge(d)]. 2.40/2.77 5134 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,equilibrium(c1)),zero). [resolve(5032,b,28,a)]. 2.40/2.77 5173 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(5134,e,4478,c),merge(e)]. 2.40/2.77 5272 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(5173,e,5061,e),merge(e),merge(f),merge(g),merge(h)]. 2.40/2.77 5275 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero | f3(f1(c1)) = f1(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(5272(d,1),73(b,1)),unit_del(e,53)]. 2.40/2.77 5276 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero | f3(f1(c1)) = f1(c1) | greater(zero,growth_rate(first_movers,f3(f1(c1)))). [para(5272(d,1),74(a,1))]. 2.40/2.77 5280 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero | f3(f1(c1)) = f1(c1). [resolve(5276,d,5275,d),merge(d),merge(e),merge(f)]. 2.40/2.77 5292 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | greater(zero,zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [para(5280(b,1),4950(b,1)),merge(c)]. 2.40/2.77 5293 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(first_movers,f3(f1(c1))) = zero. [para(5280(b,1),4542(b,2)),merge(c),merge(e)]. 2.40/2.77 5294 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [para(5280(b,1),4543(b,2)),merge(c),merge(e)]. 2.40/2.77 5296 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,equilibrium(c1)),zero). [para(5280(b,1),5016(d,2)),merge(c),merge(d)]. 2.40/2.77 5326 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(5296,d,4478,c),merge(d)]. 2.40/2.77 5344 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero | growth_rate(efficient_producers,equilibrium(c1)) = zero. [resolve(5326,d,5048,e),merge(d),merge(e),merge(f)]. 2.40/2.77 5349 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater_or_equal(growth_rate(efficient_producers,f3(f1(c1))),zero). [para(5344(c,1),90(a,2))]. 2.40/2.77 5368 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(5349,d,73,b)]. 2.40/2.77 5371 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(zero,zero). [para(5344(c,1),5368(d,2)),merge(d),merge(e),merge(f)]. 2.40/2.77 5372 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(5371,d,5292,c),merge(d),merge(e)]. 2.40/2.77 5383 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero. [para(4475(b,1),5372(d,1,2)),merge(b),merge(e)]. 2.40/2.77 5386 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [para(5383(c,1),4478(c,1)),merge(c),unit_del(d,53)]. 2.40/2.77 5406 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | greater(zero,zero) | growth_rate(first_movers,f3(f1(c1))) = zero. [para(5383(c,1),5293(c,1)),merge(c),merge(d)]. 2.40/2.77 5407 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | greater(zero,zero) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [para(5383(c,1),5294(c,1)),merge(c),merge(d)]. 2.40/2.77 5413 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | -greater(zero,growth_rate(first_movers,equilibrium(c1))). [para(4475(b,1),5386(c,2,2)),merge(b)]. 2.40/2.77 5414 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | -greater(zero,zero). [para(5280(b,1),5413(c,2)),merge(c),merge(d)]. 2.40/2.77 5428 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(first_movers,f3(f1(c1))) = zero. [resolve(5406,c,5414,c),merge(d),merge(e)]. 2.40/2.77 5431 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | greater(growth_rate(efficient_producers,f3(f1(c1))),zero). [para(5428(c,1),74(a,2))]. 2.40/2.77 5436 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | growth_rate(efficient_producers,f3(f1(c1))) = zero. [resolve(5407,c,5414,c),merge(d),merge(e)]. 2.40/2.77 5440 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1) | greater(zero,zero). [para(5436(c,1),5431(c,1)),merge(c),merge(d)]. 2.40/2.77 5441 f1(c1) = equilibrium(c1) | f3(f1(c1)) = f1(c1). [resolve(5440,c,5414,c),merge(c),merge(d)]. 2.40/2.77 5444 f1(c1) = equilibrium(c1) | subpopulations(first_movers,efficient_producers,c1,f1(c1)). [para(5441(b,1),55(a,4))]. 2.40/2.77 5445 f1(c1) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))) | -greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [para(5441(b,1),73(b,1,2))]. 2.40/2.77 5462 f1(c1) = equilibrium(c1) | -greater_or_equal(f1(c1),equilibrium(c1)) | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(first_movers,f1(c1)) = zero. [resolve(5444,b,50,b)]. 2.40/2.77 5463 f1(c1) = equilibrium(c1) | -greater_or_equal(f1(c1),equilibrium(c1)) | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(5444,b,49,b)]. 2.40/2.77 5464 f1(c1) = equilibrium(c1) | -greater_or_equal(f1(c1),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(first_movers,f1(c1)) = zero. [resolve(5444,b,48,b)]. 2.40/2.77 5465 f1(c1) = equilibrium(c1) | -greater_or_equal(f1(c1),equilibrium(c1)) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(5444,b,47,b)]. 2.40/2.77 5469 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f1(c1)),growth_rate(first_movers,f1(c1))). [resolve(5444,b,43,a),unit_del(b,53)]. 2.40/2.77 5470 f1(c1) = equilibrium(c1) | -greater(A,growth_rate(efficient_producers,f1(c1))) | greater(A,growth_rate(first_movers,f1(c1))). [resolve(5469,b,30,b)]. 2.40/2.77 5471 f1(c1) = equilibrium(c1) | -greater(growth_rate(first_movers,f1(c1)),A) | greater(growth_rate(efficient_producers,f1(c1)),A). [resolve(5469,b,30,a)]. 2.40/2.77 5472 f1(c1) = equilibrium(c1) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),growth_rate(first_movers,f1(c1))). [resolve(5469,b,28,a)]. 2.40/2.77 5499 f1(c1) = equilibrium(c1) | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(5462,b,3673,c),merge(e)]. 2.40/2.77 5504 f1(c1) = equilibrium(c1) | greater(growth_rate(first_movers,f1(c1)),zero) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(5463,b,3673,c),merge(e)]. 2.40/2.77 5509 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(5464,b,3673,c),merge(e)]. 2.40/2.77 5512 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,equilibrium(c1)) = zero. [resolve(5465,b,4754,c),merge(e)]. 2.40/2.77 5514 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | greater(zero,growth_rate(first_movers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(5465,b,3673,c),merge(e)]. 2.40/2.77 5557 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(5499,b,5471,b),merge(e),merge(f)]. 2.40/2.77 5566 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [resolve(5557,b,28,a)]. 2.40/2.77 5568 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(5566,d,5445,c),merge(d)]. 2.40/2.77 5569 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | -greater(zero,growth_rate(first_movers,f1(c1))). [para(5441(b,1),5568(d,2,2)),merge(b)]. 2.40/2.77 5575 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f1(c1)),zero) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(5504,b,5471,b),merge(e),merge(f)]. 2.40/2.77 5589 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [resolve(5575,b,28,a)]. 2.40/2.77 5591 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(5589,d,5445,c),merge(d)]. 2.40/2.77 5592 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | -greater(zero,growth_rate(first_movers,f1(c1))). [para(5441(b,1),5591(d,2,2)),merge(b)]. 2.40/2.77 5599 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(5509,c,5569,d),merge(e),merge(f),merge(g)]. 2.40/2.77 5604 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(5599,b,5470,b),merge(d)]. 2.40/2.77 5638 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(5604,d,5569,d),merge(d),merge(e),merge(f)]. 2.40/2.77 5649 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater_or_equal(equilibrium(c1),f1(c1)). [resolve(5638,c,28,a)]. 2.40/2.77 5662 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,equilibrium(c1))). [resolve(5649,c,4536,b),merge(c)]. 2.40/2.77 5663 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(growth_rate(efficient_producers,f3(equilibrium(c1))),growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(5649,c,4480,b),merge(c)]. 2.40/2.77 5684 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(efficient_producers,equilibrium(c1)) = zero. [resolve(5662,c,4659,d),merge(c)]. 2.40/2.77 5685 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(growth_rate(efficient_producers,equilibrium(c1)),zero) | growth_rate(first_movers,equilibrium(c1)) = zero. [resolve(5662,c,4639,d),merge(c)]. 2.40/2.77 5723 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,f3(equilibrium(c1)))). [para(4475(b,1),5663(c,1,2)),merge(b)]. 2.40/2.77 5725 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(5723,c,4872,c),merge(c)]. 2.40/2.77 5726 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(first_movers,equilibrium(c1)) = zero | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(5723,c,4862,c),merge(c)]. 2.40/2.77 5775 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater_or_equal(growth_rate(efficient_producers,equilibrium(c1)),zero). [resolve(5684,c,28,a)]. 2.40/2.77 5780 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(first_movers,equilibrium(c1)) = zero | greater_or_equal(growth_rate(efficient_producers,equilibrium(c1)),zero). [resolve(5685,c,28,a)]. 2.40/2.77 5797 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(5775,d,4478,c),merge(d)]. 2.40/2.77 5799 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(first_movers,equilibrium(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(5780,d,4478,c),merge(d)]. 2.40/2.77 5847 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(efficient_producers,equilibrium(c1)) = zero. [resolve(5797,d,5725,d),merge(d),merge(e),merge(f)]. 2.40/2.77 5856 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(growth_rate(efficient_producers,f1(c1)),zero). [para(5847(b,1),5469(b,2)),merge(c)]. 2.40/2.77 5857 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [para(5847(b,1),5472(b,2)),merge(c)]. 2.40/2.77 5870 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(A,growth_rate(efficient_producers,f1(c1))) | greater(A,zero). [resolve(5856,c,30,b)]. 2.40/2.77 5878 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(5857,c,5445,c),merge(c)]. 2.40/2.77 5883 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(zero,growth_rate(first_movers,f1(c1))). [para(5441(b,1),5878(c,2,2)),merge(b)]. 2.40/2.77 5896 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | -greater(zero,zero). [para(5847(b,1),5883(c,2)),merge(c),merge(d)]. 2.40/2.77 5925 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | growth_rate(first_movers,equilibrium(c1)) = zero. [resolve(5799,d,5726,d),merge(d),merge(e),merge(f)]. 2.40/2.77 5929 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [para(5925(b,1),5472(b,2)),merge(c)]. 2.40/2.77 5950 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(5929,c,5445,c),merge(c)]. 2.40/2.77 5956 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero | -greater(zero,growth_rate(first_movers,f1(c1))). [para(5441(b,1),5950(c,2,2)),merge(b)]. 2.40/2.77 5957 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero | -greater(zero,zero). [para(5925(b,1),5956(c,2)),merge(c),merge(d)]. 2.40/2.77 6047 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,equilibrium(c1)) = zero. [resolve(5512,c,5883,c),merge(e),merge(f)]. 2.40/2.77 6051 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(zero,zero). [resolve(6047,b,5870,c),merge(d),merge(e)]. 2.40/2.77 6068 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | growth_rate(efficient_producers,equilibrium(c1)) = zero. [resolve(6051,d,5896,c),merge(d),merge(e)]. 2.40/2.77 6075 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero | greater(zero,zero). [para(6068(b,1),5856(c,1)),merge(c),merge(d)]. 2.40/2.77 6077 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,equilibrium(c1)) = zero. [resolve(6075,c,5896,c),merge(c),merge(d)]. 2.40/2.77 6081 f1(c1) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [para(6077(b,1),4478(c,1)),merge(b),unit_del(c,53)]. 2.40/2.77 6091 f1(c1) = equilibrium(c1) | greater(zero,zero) | growth_rate(first_movers,equilibrium(c1)) = zero. [para(6077(b,1),4860(b,2)),merge(b)]. 2.40/2.77 6095 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero | greater(zero,growth_rate(first_movers,equilibrium(c1))). [para(6077(b,1),5662(c,1)),merge(b)]. 2.40/2.77 6101 f1(c1) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,equilibrium(c1))). [para(4475(b,1),6081(b,2,2)),merge(b)]. 2.40/2.77 6102 f1(c1) = equilibrium(c1) | greater(zero,growth_rate(efficient_producers,f1(c1))) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(5514,c,5592,d),merge(e),merge(f),merge(g)]. 2.40/2.77 6103 f1(c1) = equilibrium(c1) | growth_rate(first_movers,equilibrium(c1)) = zero. [resolve(6091,b,5957,c),merge(c),merge(d)]. 2.40/2.77 6118 f1(c1) = equilibrium(c1) | -greater(zero,zero). [para(6103(b,1),6101(b,2)),merge(b)]. 2.40/2.77 6162 f1(c1) = equilibrium(c1) | growth_rate(first_movers,f1(c1)) = zero. [resolve(6095,c,6101,b),merge(c)]. 2.40/2.77 6165 f1(c1) = equilibrium(c1) | greater(growth_rate(efficient_producers,f1(c1)),zero). [para(6162(b,1),5469(b,2)),merge(b)]. 2.40/2.77 6166 f1(c1) = equilibrium(c1) | greater_or_equal(growth_rate(efficient_producers,f1(c1)),zero). [para(6162(b,1),5472(b,2)),merge(b)]. 2.40/2.77 6173 f1(c1) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f3(f1(c1)))). [resolve(6166,b,5445,c),merge(b)]. 2.40/2.77 6176 f1(c1) = equilibrium(c1) | -greater(zero,growth_rate(first_movers,f1(c1))). [para(5441(b,1),6173(b,2,2)),merge(b)]. 2.40/2.77 6182 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)) | greater(zero,growth_rate(first_movers,f1(c1))). [resolve(6102,b,5470,b),merge(d)]. 2.40/2.77 6195 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(equilibrium(c1),f1(c1)). [resolve(6182,d,6176,b),merge(d)]. 2.40/2.77 6200 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater_or_equal(equilibrium(c1),f1(c1)). [resolve(6195,c,28,a)]. 2.40/2.77 6202 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(growth_rate(efficient_producers,equilibrium(c1)),growth_rate(first_movers,equilibrium(c1))). [resolve(6200,c,4536,b),merge(c)]. 2.40/2.77 6207 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero | greater(zero,growth_rate(first_movers,equilibrium(c1))). [para(6077(b,1),6202(c,1)),merge(b)]. 2.40/2.77 6211 f1(c1) = equilibrium(c1) | growth_rate(efficient_producers,f1(c1)) = zero. [resolve(6207,c,6101,b),merge(c)]. 2.40/2.77 6218 f1(c1) = equilibrium(c1) | greater(zero,zero). [para(6211(b,1),6165(b,1)),merge(b)]. 2.40/2.77 6219 f1(c1) = equilibrium(c1). [resolve(6218,b,6118,b),merge(b)]. 2.40/2.77 6220 greater(growth_rate(efficient_producers,f3(equilibrium(c1))),growth_rate(first_movers,f3(equilibrium(c1)))). [back_rewrite(3646),rewrite([6219(5)]),unit_del(a,3658)]. 2.40/2.77 6225 greater(growth_rate(efficient_producers,f3(equilibrium(c1))),zero) | growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [back_unit_del(3691),unit_del(c,6220)]. 2.40/2.77 6231 growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(6220,a,3724,b)]. 2.40/2.77 6237 growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | greater_or_equal(growth_rate(efficient_producers,f3(equilibrium(c1))),zero). [resolve(6225,a,28,a)]. 2.40/2.77 6249 growth_rate(efficient_producers,f3(equilibrium(c1))) = zero | -greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [resolve(6237,b,3647,b)]. 2.40/2.77 6252 growth_rate(efficient_producers,f3(equilibrium(c1))) = zero. [resolve(6249,b,6231,b),merge(b)]. 2.40/2.77 6256 greater(zero,growth_rate(first_movers,f3(equilibrium(c1)))). [back_rewrite(6220),rewrite([6252(5)])]. 2.40/2.77 6257 $F. [back_rewrite(3647),rewrite([6252(12)]),unit_del(a,6256),unit_del(b,53)]. 2.40/2.77 2.40/2.77 % SZS output end Refutation 2.40/2.77 ============================== end of proof ========================== 2.40/2.77 2.40/2.77 ============================== STATISTICS ============================ 2.40/2.77 2.40/2.77 Given=2637. Generated=17484. Kept=6228. proofs=1. 2.40/2.77 Usable=35. Sos=3. Demods=3. Limbo=5, Disabled=6225. Hints=0. 2.40/2.77 Megabytes=6.41. 2.40/2.77 User_CPU=1.63, System_CPU=0.02, Wall_clock=2. 2.40/2.77 2.40/2.77 ============================== end of statistics ===================== 2.40/2.77 2.40/2.77 ============================== end of search ========================= 2.40/2.77 2.40/2.77 THEOREM PROVED 2.40/2.77 % SZS status Theorem 2.40/2.77 2.40/2.77 Exiting with 1 proof. 2.40/2.77 2.40/2.77 Process 12936 exit (max_proofs) Thu Jul 2 07:27:35 2020 2.40/2.78 Prover9 interrupted 2.40/2.78 EOF