TSTP Solution File: MGT035-1 by Prover9---1109a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Prover9---1109a
% Problem : MGT035-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : tptp2X_and_run_prover9 %d %s
% Computer : n020.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Sun Jul 17 22:22:58 EDT 2022
% Result : Unsatisfiable 1.52s 1.79s
% Output : Refutation 1.52s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : MGT035-1 : TPTP v8.1.0. Released v2.4.0.
% 0.10/0.12 % Command : tptp2X_and_run_prover9 %d %s
% 0.12/0.33 % Computer : n020.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Thu Jun 9 11:16:51 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.68/0.99 ============================== Prover9 ===============================
% 0.68/0.99 Prover9 (32) version 2009-11A, November 2009.
% 0.68/0.99 Process 3109 was started by sandbox2 on n020.cluster.edu,
% 0.68/0.99 Thu Jun 9 11:16:52 2022
% 0.68/0.99 The command was "/export/starexec/sandbox2/solver/bin/prover9 -t 300 -f /tmp/Prover9_2956_n020.cluster.edu".
% 0.68/0.99 ============================== end of head ===========================
% 0.68/0.99
% 0.68/0.99 ============================== INPUT =================================
% 0.68/0.99
% 0.68/0.99 % Reading from file /tmp/Prover9_2956_n020.cluster.edu
% 0.68/0.99
% 0.68/0.99 set(prolog_style_variables).
% 0.68/0.99 set(auto2).
% 0.68/0.99 % set(auto2) -> set(auto).
% 0.68/0.99 % set(auto) -> set(auto_inference).
% 0.68/0.99 % set(auto) -> set(auto_setup).
% 0.68/0.99 % set(auto_setup) -> set(predicate_elim).
% 0.68/0.99 % set(auto_setup) -> assign(eq_defs, unfold).
% 0.68/0.99 % set(auto) -> set(auto_limits).
% 0.68/0.99 % set(auto_limits) -> assign(max_weight, "100.000").
% 0.68/0.99 % set(auto_limits) -> assign(sos_limit, 20000).
% 0.68/0.99 % set(auto) -> set(auto_denials).
% 0.68/0.99 % set(auto) -> set(auto_process).
% 0.68/0.99 % set(auto2) -> assign(new_constants, 1).
% 0.68/0.99 % set(auto2) -> assign(fold_denial_max, 3).
% 0.68/0.99 % set(auto2) -> assign(max_weight, "200.000").
% 0.68/0.99 % set(auto2) -> assign(max_hours, 1).
% 0.68/0.99 % assign(max_hours, 1) -> assign(max_seconds, 3600).
% 0.68/0.99 % set(auto2) -> assign(max_seconds, 0).
% 0.68/0.99 % set(auto2) -> assign(max_minutes, 5).
% 0.68/0.99 % assign(max_minutes, 5) -> assign(max_seconds, 300).
% 0.68/0.99 % set(auto2) -> set(sort_initial_sos).
% 0.68/0.99 % set(auto2) -> assign(sos_limit, -1).
% 0.68/0.99 % set(auto2) -> assign(lrs_ticks, 3000).
% 0.68/0.99 % set(auto2) -> assign(max_megs, 400).
% 0.68/0.99 % set(auto2) -> assign(stats, some).
% 0.68/0.99 % set(auto2) -> clear(echo_input).
% 0.68/0.99 % set(auto2) -> set(quiet).
% 0.68/0.99 % set(auto2) -> clear(print_initial_clauses).
% 0.68/0.99 % set(auto2) -> clear(print_given).
% 0.68/0.99 assign(lrs_ticks,-1).
% 0.68/0.99 assign(sos_limit,10000).
% 0.68/0.99 assign(order,kbo).
% 0.68/0.99 set(lex_order_vars).
% 0.68/0.99 clear(print_given).
% 0.68/0.99
% 0.68/0.99 % formulas(sos). % not echoed (25 formulas)
% 0.68/0.99
% 0.68/0.99 ============================== end of input ==========================
% 0.68/0.99
% 0.68/0.99 % From the command line: assign(max_seconds, 300).
% 0.68/0.99
% 0.68/0.99 ============================== PROCESS NON-CLAUSAL FORMULAS ==========
% 0.68/0.99
% 0.68/0.99 % Formulas that are not ordinary clauses:
% 0.68/0.99
% 0.68/0.99 ============================== end of process non-clausal formulas ===
% 0.68/0.99
% 0.68/0.99 ============================== PROCESS INITIAL CLAUSES ===============
% 0.68/0.99
% 0.68/0.99 ============================== PREDICATE ELIMINATION =================
% 0.68/0.99 1 -environment(A) | -stable(A) | in_environment(A,sk1(A)) # label(l1_38) # label(hypothesis). [assumption].
% 0.68/0.99 2 environment(sk3) # label(prove_t4_42) # label(negated_conjecture). [assumption].
% 0.68/0.99 Derived: -stable(sk3) | in_environment(sk3,sk1(sk3)). [resolve(1,a,2,a)].
% 0.68/0.99 3 -environment(A) | -stable(A) | in_environment(A,sk2(A)) # label(a4_40) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -stable(sk3) | in_environment(sk3,sk2(sk3)). [resolve(3,a,2,a)].
% 0.68/0.99 4 -environment(A) | -stable(A) | greater_or_equal(sk2(A),equilibrium(A)) # label(a4_41) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -stable(sk3) | greater_or_equal(sk2(sk3),equilibrium(sk3)). [resolve(4,a,2,a)].
% 0.68/0.99 5 -environment(A) | -subpopulations(B,C,A,D) | -outcompetes(C,B,D) | greater_or_equal(growth_rate(C,D),zero) # label(d2_28) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -subpopulations(A,B,sk3,C) | -outcompetes(B,A,C) | greater_or_equal(growth_rate(B,C),zero). [resolve(5,a,2,a)].
% 0.68/0.99 6 -environment(A) | -subpopulations(B,C,A,D) | -outcompetes(C,B,D) | greater(zero,growth_rate(B,D)) # label(d2_29) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -subpopulations(A,B,sk3,C) | -outcompetes(B,A,C) | greater(zero,growth_rate(A,C)). [resolve(6,a,2,a)].
% 0.68/0.99 7 -environment(A) | -stable(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,sk1(A)) | greater(growth_rate(efficient_producers,B),growth_rate(first_movers,B)) # label(l1_39) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -stable(sk3) | -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,sk1(sk3)) | greater(growth_rate(efficient_producers,A),growth_rate(first_movers,A)). [resolve(7,a,2,a)].
% 0.68/0.99 8 -environment(A) | -subpopulations(B,C,A,D) | -greater_or_equal(growth_rate(C,D),zero) | -greater(zero,growth_rate(B,D)) | outcompetes(C,B,D) # label(d2_27) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -subpopulations(A,B,sk3,C) | -greater_or_equal(growth_rate(B,C),zero) | -greater(zero,growth_rate(A,C)) | outcompetes(B,A,C). [resolve(8,a,2,a)].
% 0.68/0.99 9 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(first_movers,B) = zero | greater(growth_rate(first_movers,B),zero) | greater(growth_rate(efficient_producers,B),zero) # label(l6_30) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(first_movers,A) = zero | greater(growth_rate(first_movers,A),zero) | greater(growth_rate(efficient_producers,A),zero). [resolve(9,a,2,a)].
% 0.68/0.99 10 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(first_movers,B) = zero | greater(growth_rate(first_movers,B),zero) | greater(zero,growth_rate(first_movers,B)) # label(l6_31) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(first_movers,A) = zero | greater(growth_rate(first_movers,A),zero) | greater(zero,growth_rate(first_movers,A)). [resolve(10,a,2,a)].
% 0.68/0.99 11 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(first_movers,B) = zero | greater(zero,growth_rate(efficient_producers,B)) | greater(growth_rate(efficient_producers,B),zero) # label(l6_32) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(first_movers,A) = zero | greater(zero,growth_rate(efficient_producers,A)) | greater(growth_rate(efficient_producers,A),zero). [resolve(11,a,2,a)].
% 0.68/0.99 12 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(first_movers,B) = zero | greater(zero,growth_rate(efficient_producers,B)) | greater(zero,growth_rate(first_movers,B)) # label(l6_33) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(first_movers,A) = zero | greater(zero,growth_rate(efficient_producers,A)) | greater(zero,growth_rate(first_movers,A)). [resolve(12,a,2,a)].
% 0.68/0.99 13 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(efficient_producers,B) = zero | greater(growth_rate(first_movers,B),zero) | greater(growth_rate(efficient_producers,B),zero) # label(l6_34) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(efficient_producers,A) = zero | greater(growth_rate(first_movers,A),zero) | greater(growth_rate(efficient_producers,A),zero). [resolve(13,a,2,a)].
% 0.68/0.99 14 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(efficient_producers,B) = zero | greater(growth_rate(first_movers,B),zero) | greater(zero,growth_rate(first_movers,B)) # label(l6_35) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(efficient_producers,A) = zero | greater(growth_rate(first_movers,A),zero) | greater(zero,growth_rate(first_movers,A)). [resolve(14,a,2,a)].
% 0.68/0.99 15 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(efficient_producers,B) = zero | greater(zero,growth_rate(efficient_producers,B)) | greater(growth_rate(efficient_producers,B),zero) # label(l6_36) # label(hypothesis). [assumption].
% 0.68/0.99 Derived: -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(efficient_producers,A) = zero | greater(zero,growth_rate(efficient_producers,A)) | greater(growth_rate(efficient_producers,A),zero). [resolve(15,a,2,a)].
% 1.52/1.79 16 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(efficient_producers,B) = zero | greater(zero,growth_rate(efficient_producers,B)) | greater(zero,growth_rate(first_movers,B)) # label(l6_37) # label(hypothesis). [assumption].
% 1.52/1.79 Derived: -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(efficient_producers,A) = zero | greater(zero,growth_rate(efficient_producers,A)) | greater(zero,growth_rate(first_movers,A)). [resolve(16,a,2,a)].
% 1.52/1.79
% 1.52/1.79 ============================== end predicate elimination =============
% 1.52/1.79
% 1.52/1.79 Auto_denials: (non-Horn, no changes).
% 1.52/1.79
% 1.52/1.79 Term ordering decisions:
% 1.52/1.79 Function symbol KB weights: sk3=1. zero=1. efficient_producers=1. first_movers=1. growth_rate=1. equilibrium=1. sk1=1. sk2=1. sk4=1.
% 1.52/1.79
% 1.52/1.79 ============================== end of process initial clauses ========
% 1.52/1.79
% 1.52/1.79 ============================== CLAUSES FOR SEARCH ====================
% 1.52/1.79
% 1.52/1.79 ============================== end of clauses for search =============
% 1.52/1.79
% 1.52/1.79 ============================== SEARCH ================================
% 1.52/1.79
% 1.52/1.79 % Starting search at 0.01 seconds.
% 1.52/1.79
% 1.52/1.79 ============================== PROOF =================================
% 1.52/1.79 % SZS status Unsatisfiable
% 1.52/1.79 % SZS output start Refutation
% 1.52/1.79
% 1.52/1.79 % Proof 1 at 0.79 (+ 0.01) seconds.
% 1.52/1.79 % Length of proof is 566.
% 1.52/1.79 % Level of proof is 285.
% 1.52/1.79 % Maximum clause weight is 50.000.
% 1.52/1.79 % Given clauses 2247.
% 1.52/1.79
% 1.52/1.79 1 -environment(A) | -stable(A) | in_environment(A,sk1(A)) # label(l1_38) # label(hypothesis). [assumption].
% 1.52/1.79 2 environment(sk3) # label(prove_t4_42) # label(negated_conjecture). [assumption].
% 1.52/1.79 3 -environment(A) | -stable(A) | in_environment(A,sk2(A)) # label(a4_40) # label(hypothesis). [assumption].
% 1.52/1.79 4 -environment(A) | -stable(A) | greater_or_equal(sk2(A),equilibrium(A)) # label(a4_41) # label(hypothesis). [assumption].
% 1.52/1.79 7 -environment(A) | -stable(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,sk1(A)) | greater(growth_rate(efficient_producers,B),growth_rate(first_movers,B)) # label(l1_39) # label(hypothesis). [assumption].
% 1.52/1.79 8 -environment(A) | -subpopulations(B,C,A,D) | -greater_or_equal(growth_rate(C,D),zero) | -greater(zero,growth_rate(B,D)) | outcompetes(C,B,D) # label(d2_27) # label(hypothesis). [assumption].
% 1.52/1.79 9 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(first_movers,B) = zero | greater(growth_rate(first_movers,B),zero) | greater(growth_rate(efficient_producers,B),zero) # label(l6_30) # label(hypothesis). [assumption].
% 1.52/1.79 11 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(first_movers,B) = zero | greater(zero,growth_rate(efficient_producers,B)) | greater(growth_rate(efficient_producers,B),zero) # label(l6_32) # label(hypothesis). [assumption].
% 1.52/1.79 12 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(first_movers,B) = zero | greater(zero,growth_rate(efficient_producers,B)) | greater(zero,growth_rate(first_movers,B)) # label(l6_33) # label(hypothesis). [assumption].
% 1.52/1.79 13 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(efficient_producers,B) = zero | greater(growth_rate(first_movers,B),zero) | greater(growth_rate(efficient_producers,B),zero) # label(l6_34) # label(hypothesis). [assumption].
% 1.52/1.79 15 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(efficient_producers,B) = zero | greater(zero,growth_rate(efficient_producers,B)) | greater(growth_rate(efficient_producers,B),zero) # label(l6_36) # label(hypothesis). [assumption].
% 1.52/1.79 16 -environment(A) | -subpopulations(first_movers,efficient_producers,A,B) | -greater_or_equal(B,equilibrium(A)) | growth_rate(efficient_producers,B) = zero | greater(zero,growth_rate(efficient_producers,B)) | greater(zero,growth_rate(first_movers,B)) # label(l6_37) # label(hypothesis). [assumption].
% 1.52/1.79 17 stable(sk3) # label(prove_t4_43) # label(negated_conjecture). [assumption].
% 1.52/1.79 18 -in_environment(sk3,A) | -outcompetes(efficient_producers,first_movers,sk4(A)) # label(prove_t4_46) # label(negated_conjecture). [assumption].
% 1.52/1.79 19 -greater(A,B) | greater_or_equal(A,B) # label(mp_greater_or_equal_25) # label(axiom). [assumption].
% 1.52/1.79 20 A != B | greater_or_equal(A,B) # label(mp_greater_or_equal_26) # label(axiom). [assumption].
% 1.52/1.79 21 -in_environment(sk3,A) | greater_or_equal(sk4(A),A) # label(prove_t4_45) # label(negated_conjecture). [assumption].
% 1.52/1.79 22 -greater(A,B) | -greater(B,C) | greater(A,C) # label(mp_greater_transitivity_22) # label(axiom). [assumption].
% 1.52/1.79 23 -greater_or_equal(A,B) | greater(A,B) | A = B # label(mp_greater_or_equal_24) # label(axiom). [assumption].
% 1.52/1.79 24 -in_environment(sk3,A) | subpopulations(first_movers,efficient_producers,sk3,sk4(A)) # label(prove_t4_44) # label(negated_conjecture). [assumption].
% 1.52/1.79 25 -in_environment(A,B) | -in_environment(A,C) | greater(C,B) | C = B | greater(B,C) # label(mp_times_in_environment_23) # label(axiom). [assumption].
% 1.52/1.79 26 -stable(sk3) | in_environment(sk3,sk1(sk3)). [resolve(1,a,2,a)].
% 1.52/1.79 27 in_environment(sk3,sk1(sk3)). [copy(26),unit_del(a,17)].
% 1.52/1.79 28 -stable(sk3) | in_environment(sk3,sk2(sk3)). [resolve(3,a,2,a)].
% 1.52/1.79 29 in_environment(sk3,sk2(sk3)). [copy(28),unit_del(a,17)].
% 1.52/1.79 30 -stable(sk3) | greater_or_equal(sk2(sk3),equilibrium(sk3)). [resolve(4,a,2,a)].
% 1.52/1.79 31 greater_or_equal(sk2(sk3),equilibrium(sk3)). [copy(30),unit_del(a,17)].
% 1.52/1.79 34 -stable(sk3) | -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,sk1(sk3)) | greater(growth_rate(efficient_producers,A),growth_rate(first_movers,A)). [resolve(7,a,2,a)].
% 1.52/1.79 35 -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,sk1(sk3)) | greater(growth_rate(efficient_producers,A),growth_rate(first_movers,A)). [copy(34),unit_del(a,17)].
% 1.52/1.79 36 -subpopulations(A,B,sk3,C) | -greater_or_equal(growth_rate(B,C),zero) | -greater(zero,growth_rate(A,C)) | outcompetes(B,A,C). [resolve(8,a,2,a)].
% 1.52/1.79 37 -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(first_movers,A) = zero | greater(growth_rate(first_movers,A),zero) | greater(growth_rate(efficient_producers,A),zero). [resolve(9,a,2,a)].
% 1.52/1.79 39 -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(first_movers,A) = zero | greater(zero,growth_rate(efficient_producers,A)) | greater(growth_rate(efficient_producers,A),zero). [resolve(11,a,2,a)].
% 1.52/1.79 40 -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(first_movers,A) = zero | greater(zero,growth_rate(efficient_producers,A)) | greater(zero,growth_rate(first_movers,A)). [resolve(12,a,2,a)].
% 1.52/1.79 41 -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(efficient_producers,A) = zero | greater(growth_rate(first_movers,A),zero) | greater(growth_rate(efficient_producers,A),zero). [resolve(13,a,2,a)].
% 1.52/1.79 43 -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(efficient_producers,A) = zero | greater(zero,growth_rate(efficient_producers,A)) | greater(growth_rate(efficient_producers,A),zero). [resolve(15,a,2,a)].
% 1.52/1.79 44 -subpopulations(first_movers,efficient_producers,sk3,A) | -greater_or_equal(A,equilibrium(sk3)) | growth_rate(efficient_producers,A) = zero | greater(zero,growth_rate(efficient_producers,A)) | greater(zero,growth_rate(first_movers,A)). [resolve(16,a,2,a)].
% 1.52/1.79 45 greater_or_equal(A,A). [xx_res(20,a)].
% 1.52/1.79 46 -in_environment(sk3,A) | greater(sk1(sk3),A) | sk1(sk3) = A | greater(A,sk1(sk3)). [resolve(27,a,25,b)].
% 1.52/1.79 47 subpopulations(first_movers,efficient_producers,sk3,sk4(sk1(sk3))). [resolve(27,a,24,a)].
% 1.52/1.79 48 greater_or_equal(sk4(sk1(sk3)),sk1(sk3)). [resolve(27,a,21,a)].
% 1.52/1.79 49 -outcompetes(efficient_producers,first_movers,sk4(sk1(sk3))). [ur(18,a,27,a)].
% 1.52/1.79 51 subpopulations(first_movers,efficient_producers,sk3,sk4(sk2(sk3))). [resolve(29,a,24,a)].
% 1.52/1.79 52 greater_or_equal(sk4(sk2(sk3)),sk2(sk3)). [resolve(29,a,21,a)].
% 1.52/1.79 53 -outcompetes(efficient_producers,first_movers,sk4(sk2(sk3))). [ur(18,a,29,a)].
% 1.52/1.79 54 greater(sk2(sk3),equilibrium(sk3)) | sk2(sk3) = equilibrium(sk3). [resolve(31,a,23,a)].
% 1.52/1.79 55 greater(sk4(sk1(sk3)),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3). [resolve(48,a,23,a)].
% 1.52/1.79 56 greater(sk4(sk2(sk3)),sk2(sk3)) | sk4(sk2(sk3)) = sk2(sk3). [resolve(52,a,23,a)].
% 1.52/1.79 57 -greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(47,a,44,a)].
% 1.52/1.79 60 -greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(47,a,41,a)].
% 1.52/1.79 61 -greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(47,a,40,a)].
% 1.52/1.79 64 -greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(47,a,37,a)].
% 1.52/1.79 65 -greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(47,a,36,a),unit_del(c,49)].
% 1.52/1.79 66 greater(growth_rate(efficient_producers,sk4(sk1(sk3))),growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(47,a,35,a),unit_del(a,48)].
% 1.52/1.79 67 -greater_or_equal(sk4(sk2(sk3)),equilibrium(sk3)) | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(51,a,44,a)].
% 1.52/1.79 68 -greater_or_equal(sk4(sk2(sk3)),equilibrium(sk3)) | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [resolve(51,a,43,a)].
% 1.52/1.79 70 -greater_or_equal(sk4(sk2(sk3)),equilibrium(sk3)) | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk2(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [resolve(51,a,41,a)].
% 1.52/1.79 71 -greater_or_equal(sk4(sk2(sk3)),equilibrium(sk3)) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(51,a,40,a)].
% 1.52/1.79 72 -greater_or_equal(sk4(sk2(sk3)),equilibrium(sk3)) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [resolve(51,a,39,a)].
% 1.52/1.79 74 -greater_or_equal(sk4(sk2(sk3)),equilibrium(sk3)) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk2(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [resolve(51,a,37,a)].
% 1.52/1.79 75 -greater_or_equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(51,a,36,a),unit_del(c,53)].
% 1.52/1.79 76 -greater_or_equal(sk4(sk2(sk3)),sk1(sk3)) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(51,a,35,a)].
% 1.52/1.79 77 greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | greater(sk2(sk3),sk1(sk3)). [resolve(46,a,29,a),flip(b)].
% 1.52/1.79 78 sk2(sk3) = equilibrium(sk3) | -greater(A,sk2(sk3)) | greater(A,equilibrium(sk3)). [resolve(54,a,22,b)].
% 1.52/1.79 80 -greater(A,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(A,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(66,a,22,b)].
% 1.52/1.79 81 -greater(growth_rate(first_movers,sk4(sk1(sk3))),A) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),A). [resolve(66,a,22,a)].
% 1.52/1.79 82 greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(66,a,19,a)].
% 1.52/1.79 84 sk4(sk1(sk3)) = sk1(sk3) | -greater(sk1(sk3),A) | greater(sk4(sk1(sk3)),A). [resolve(55,a,22,a)].
% 1.52/1.79 86 sk4(sk2(sk3)) = sk2(sk3) | -greater(sk2(sk3),A) | greater(sk4(sk2(sk3)),A). [resolve(56,a,22,a)].
% 1.52/1.79 87 sk2(sk3) = equilibrium(sk3) | greater(sk4(sk2(sk3)),equilibrium(sk3)) | sk4(sk2(sk3)) = sk2(sk3). [resolve(78,b,56,a)].
% 1.52/1.79 90 greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | greater_or_equal(sk2(sk3),sk1(sk3)). [resolve(77,c,19,a)].
% 1.52/1.79 91 sk4(sk2(sk3)) = sk2(sk3) | greater(sk4(sk2(sk3)),sk1(sk3)) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3). [resolve(86,b,77,c)].
% 1.52/1.79 94 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater_or_equal(sk4(sk2(sk3)),equilibrium(sk3)). [resolve(87,b,19,a)].
% 1.52/1.79 97 sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | greater_or_equal(sk4(sk2(sk3)),sk1(sk3)). [resolve(91,b,19,a)].
% 1.52/1.79 98 sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(97,d,76,a)].
% 1.52/1.79 99 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(67,a,94,c)].
% 1.52/1.79 100 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(68,a,94,c)].
% 1.52/1.79 102 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk2(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(70,a,94,c)].
% 1.52/1.79 103 growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(71,a,94,c)].
% 1.52/1.79 104 growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(72,a,94,c)].
% 1.52/1.79 106 growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk2(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(74,a,94,c)].
% 1.52/1.79 107 sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | -greater(A,growth_rate(efficient_producers,sk4(sk2(sk3)))) | greater(A,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(98,d,22,b)].
% 1.52/1.79 108 sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | -greater(growth_rate(first_movers,sk4(sk2(sk3))),A) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),A). [resolve(98,d,22,a)].
% 1.52/1.79 116 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater_or_equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [resolve(100,c,19,a)].
% 1.52/1.79 121 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3). [resolve(102,b,108,d),merge(e),merge(h)].
% 1.52/1.79 132 growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater_or_equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [resolve(104,c,19,a)].
% 1.52/1.79 137 growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3). [resolve(106,b,108,d),merge(e),merge(h)].
% 1.52/1.79 138 growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(A,growth_rate(first_movers,sk4(sk2(sk3)))) | greater(A,zero). [resolve(106,b,22,b)].
% 1.52/1.79 141 growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(growth_rate(efficient_producers,sk4(sk2(sk3))),growth_rate(first_movers,sk4(sk2(sk3)))). [factor(138,b,f)].
% 1.52/1.79 142 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(116,e,75,a)].
% 1.52/1.79 145 growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(132,e,75,a)].
% 1.52/1.79 147 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(142,e,99,c),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 148 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(147,b,107,d),merge(d)].
% 1.52/1.79 150 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(growth_rate(efficient_producers,sk4(sk2(sk3))),A) | greater(zero,A). [resolve(147,b,22,a)].
% 1.52/1.79 156 growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk2(sk3)))) | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(145,e,103,c),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 157 growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(156,b,107,d),merge(d)].
% 1.52/1.79 159 growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(growth_rate(efficient_producers,sk4(sk2(sk3))),A) | greater(zero,A). [resolve(156,b,22,a)].
% 1.52/1.79 169 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | greater_or_equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [resolve(121,b,19,a)].
% 1.52/1.79 183 growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | greater_or_equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [resolve(137,b,19,a)].
% 1.52/1.79 199 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(169,f,75,a)].
% 1.52/1.79 200 growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(183,f,75,a)].
% 1.52/1.79 205 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3). [resolve(199,f,148,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.52/1.79 207 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | greater(sk1(sk3),equilibrium(sk3)). [resolve(205,d,78,b),merge(e)].
% 1.52/1.79 211 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(207,e,84,b)].
% 1.52/1.79 214 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(207,e,19,a)].
% 1.52/1.79 221 growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3). [resolve(200,f,157,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.52/1.79 223 growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | greater(sk1(sk3),equilibrium(sk3)). [resolve(221,d,78,b),merge(e)].
% 1.52/1.79 230 growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(223,e,19,a)].
% 1.52/1.79 239 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(211,f,19,a)].
% 1.52/1.79 246 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(239,f,64,a)].
% 1.52/1.79 249 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(239,f,61,a)].
% 1.52/1.79 253 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(239,f,57,a)].
% 1.52/1.79 264 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(246,g,81,a),merge(h)].
% 1.52/1.79 269 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(264,g,19,a)].
% 1.52/1.79 270 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(269,g,65,a)].
% 1.52/1.79 279 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))). [resolve(249,h,270,g),merge(h),merge(i),merge(j),merge(k),merge(l),merge(m)].
% 1.52/1.79 289 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(279,g,80,a)].
% 1.52/1.79 298 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(289,g,270,g),merge(g),merge(h),merge(i),merge(j),merge(k),merge(l)].
% 1.52/1.79 306 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(298(f,1),66(a,2))].
% 1.52/1.79 307 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(298(f,1),82(a,2))].
% 1.52/1.79 312 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(A,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(A,zero). [resolve(306,f,22,b)].
% 1.52/1.79 321 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(307,f,65,a)].
% 1.52/1.79 322 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))). [resolve(321,f,253,h),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.52/1.79 323 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,zero). [para(298(f,1),321(f,2)),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.52/1.79 329 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,zero). [resolve(322,g,312,f),merge(g),merge(h),merge(i),merge(j),merge(k)].
% 1.52/1.79 343 growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(329,g,323,f),merge(g),merge(h),merge(i),merge(j),merge(k)].
% 1.52/1.79 346 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(343(a,1),75(a,1)),unit_del(f,45)].
% 1.52/1.79 347 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(343(a,1),98(d,1)),merge(f),merge(h)].
% 1.52/1.79 357 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(sk1(sk3),sk2(sk3)). [resolve(347,g,346,f),merge(g),merge(h),merge(i),merge(j),merge(k)].
% 1.52/1.79 359 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(sk1(sk3),equilibrium(sk3)). [resolve(357,f,78,b),merge(f)].
% 1.52/1.79 365 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(359,f,84,b),merge(f)].
% 1.52/1.79 378 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(365,f,19,a)].
% 1.52/1.79 383 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(378,f,60,a),merge(f)].
% 1.52/1.79 386 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(378,f,57,a),merge(f)].
% 1.52/1.79 398 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(383,f,81,a),merge(g)].
% 1.52/1.79 401 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(398,f,19,a)].
% 1.52/1.79 402 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(401,f,65,a)].
% 1.52/1.79 407 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))). [resolve(386,g,402,f),merge(g),merge(h),merge(i),merge(j),merge(k)].
% 1.52/1.79 413 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(407,f,80,a)].
% 1.52/1.79 417 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(413,f,402,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.52/1.79 420 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(417(e,1),65(a,1)),unit_del(e,45)].
% 1.52/1.79 421 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(417(e,1),66(a,1))].
% 1.52/1.79 429 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3). [resolve(421,e,420,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 432 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk2(sk3)). [para(429(b,1),51(a,4))].
% 1.52/1.79 433 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater_or_equal(growth_rate(efficient_producers,sk2(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(429(b,1),75(a,1,2))].
% 1.52/1.79 443 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk2(sk3))) | greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(432,d,44,a),unit_del(d,31)].
% 1.52/1.79 446 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(growth_rate(first_movers,sk2(sk3)),zero) | greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(432,d,41,a),unit_del(d,31)].
% 1.52/1.79 452 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater_or_equal(sk2(sk3),sk1(sk3)) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3))). [resolve(432,d,35,a)].
% 1.52/1.79 453 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3))) | greater(sk1(sk3),sk2(sk3)). [resolve(452,d,90,c),merge(f)].
% 1.52/1.79 454 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk1(sk3),sk2(sk3)) | -greater(A,growth_rate(efficient_producers,sk2(sk3))) | greater(A,growth_rate(first_movers,sk2(sk3))). [resolve(453,d,22,b)].
% 1.52/1.79 455 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk1(sk3),sk2(sk3)) | -greater(growth_rate(first_movers,sk2(sk3)),A) | greater(growth_rate(efficient_producers,sk2(sk3)),A). [resolve(453,d,22,a)].
% 1.52/1.79 493 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk2(sk3)),zero) | greater(sk1(sk3),sk2(sk3)). [resolve(446,e,455,e),merge(f),merge(g),merge(h),merge(j)].
% 1.52/1.79 500 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | greater_or_equal(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(493,e,19,a)].
% 1.52/1.79 502 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(500,f,433,d),merge(f),merge(g),merge(h)].
% 1.52/1.79 551 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [para(429(b,1),502(f,2,2)),merge(d),merge(e),merge(f)].
% 1.52/1.79 553 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(efficient_producers,sk2(sk3))). [resolve(551,f,443,f),merge(f),merge(g),merge(h),merge(i)].
% 1.52/1.79 555 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(553,f,454,e),merge(f),merge(g),merge(h),merge(i)].
% 1.52/1.79 565 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)). [resolve(555,f,551,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.52/1.79 567 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),equilibrium(sk3)). [resolve(565,e,78,b),merge(e)].
% 1.52/1.79 571 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(567,e,84,b),merge(e)].
% 1.52/1.79 580 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(571,e,19,a)].
% 1.52/1.79 583 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(580,e,64,a)].
% 1.52/1.79 586 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(580,e,61,a)].
% 1.52/1.79 590 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(580,e,57,a)].
% 1.52/1.79 973 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(583,f,81,a),merge(g)].
% 1.52/1.79 991 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(973,f,19,a)].
% 1.52/1.79 992 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(991,f,65,a)].
% 1.52/1.79 996 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))). [resolve(586,g,992,f),merge(g),merge(h),merge(i),merge(j),merge(k)].
% 1.52/1.79 1008 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(996,f,80,a)].
% 1.52/1.79 1012 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(1008,f,992,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.52/1.79 1015 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(1012(e,1),66(a,2))].
% 1.52/1.79 1016 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(1012(e,1),82(a,2))].
% 1.52/1.79 1033 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(A,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(A,zero). [resolve(1015,e,22,b)].
% 1.52/1.79 1034 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1016,e,65,a)].
% 1.52/1.79 1035 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,zero). [para(1012(e,1),1034(e,2)),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 1036 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))). [resolve(590,g,1034,e),merge(g),merge(h),merge(i),merge(j)].
% 1.52/1.79 1048 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,zero). [resolve(1036,f,1033,e),merge(f),merge(g),merge(h),merge(i)].
% 1.52/1.79 1073 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(1048,f,1035,e),merge(f),merge(g),merge(h),merge(i)].
% 1.52/1.79 1077 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(zero,zero). [para(1073(e,1),1015(e,1)),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 1078 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero. [resolve(1077,e,1035,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 1081 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(1078(d,1),433(d,1)),merge(d),merge(e),merge(f),unit_del(d,45)].
% 1.52/1.79 1082 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,growth_rate(first_movers,sk2(sk3))) | greater(sk1(sk3),sk2(sk3)). [para(1078(d,1),453(d,1)),merge(d),merge(e),merge(f)].
% 1.52/1.79 1107 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [para(429(b,1),1081(d,2,2)),merge(d),merge(e),merge(f)].
% 1.52/1.79 1113 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk1(sk3),sk2(sk3)). [resolve(1082,d,1107,d),merge(e),merge(f),merge(g)].
% 1.52/1.79 1122 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk1(sk3),equilibrium(sk3)). [resolve(1113,d,78,b),merge(d)].
% 1.52/1.79 1126 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(1122,d,84,b),merge(d)].
% 1.52/1.79 1147 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(1126,d,19,a)].
% 1.52/1.79 1148 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(1147,d,64,a)].
% 1.52/1.79 1151 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1147,d,61,a)].
% 1.52/1.79 1155 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1147,d,57,a)].
% 1.52/1.79 1203 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(1148,e,81,a),merge(f)].
% 1.52/1.79 1210 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(1203,e,19,a)].
% 1.52/1.79 1214 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1210,e,65,a)].
% 1.52/1.79 1223 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))). [resolve(1151,f,1214,e),merge(f),merge(g),merge(h),merge(i)].
% 1.52/1.79 1234 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1223,e,80,a)].
% 1.52/1.79 1241 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(1234,e,1214,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 1244 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(1241(d,1),66(a,2))].
% 1.52/1.79 1245 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(1241(d,1),82(a,2))].
% 1.52/1.79 1256 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(A,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(A,zero). [resolve(1244,d,22,b)].
% 1.52/1.79 1257 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1245,d,65,a)].
% 1.52/1.79 1258 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,zero). [para(1241(d,1),1257(d,2)),merge(d),merge(e),merge(f)].
% 1.52/1.79 1269 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))). [resolve(1155,f,1257,d),merge(f),merge(g),merge(h)].
% 1.52/1.79 1272 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,zero). [resolve(1269,e,1256,d),merge(e),merge(f),merge(g)].
% 1.52/1.79 1278 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(1272,e,1258,d),merge(e),merge(f),merge(g)].
% 1.52/1.79 1282 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,zero). [para(1278(d,1),1244(d,1)),merge(d),merge(e),merge(f)].
% 1.52/1.79 1283 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3). [resolve(1282,d,1258,d),merge(d),merge(e),merge(f)].
% 1.52/1.79 1286 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk1(sk3)). [para(1283(c,1),47(a,4))].
% 1.52/1.79 1287 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(1283(c,1),65(a,1,2))].
% 1.52/1.79 1288 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk4(sk1(sk3)))). [para(1283(c,1),66(a,1,2))].
% 1.52/1.79 1302 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater_or_equal(sk1(sk3),equilibrium(sk3)) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(1286,c,44,a)].
% 1.52/1.79 1305 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater_or_equal(sk1(sk3),equilibrium(sk3)) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1286,c,41,a)].
% 1.52/1.79 1306 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater_or_equal(sk1(sk3),equilibrium(sk3)) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(1286,c,40,a)].
% 1.52/1.79 1309 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater_or_equal(sk1(sk3),equilibrium(sk3)) | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1286,c,37,a)].
% 1.52/1.79 1311 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3))). [resolve(1286,c,35,a),unit_del(c,45)].
% 1.52/1.79 1312 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater(A,growth_rate(efficient_producers,sk1(sk3))) | greater(A,growth_rate(first_movers,sk1(sk3))). [resolve(1311,c,22,b)].
% 1.52/1.79 1313 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater(growth_rate(first_movers,sk1(sk3)),A) | greater(growth_rate(efficient_producers,sk1(sk3)),A). [resolve(1311,c,22,a)].
% 1.52/1.79 1314 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3))). [resolve(1311,c,19,a)].
% 1.52/1.79 1319 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1302,c,230,e),merge(g),merge(i)].
% 1.52/1.79 1320 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))) | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1302,c,214,e),merge(g),merge(i)].
% 1.52/1.79 1325 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1305,c,230,e),merge(g),merge(i)].
% 1.52/1.79 1326 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1305,c,214,e),merge(g),merge(i)].
% 1.52/1.79 1388 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1325,d,1313,c),merge(g),merge(h),merge(i)].
% 1.52/1.79 1392 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1388,d,19,a)].
% 1.52/1.79 1401 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1392,f,1287,c),merge(f),merge(g)].
% 1.52/1.79 1404 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(1283(c,1),1401(f,2,2)),merge(c),merge(d)].
% 1.52/1.79 1406 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(1404,f,1319,e),merge(f),merge(g),merge(h),merge(j),merge(k)].
% 1.52/1.79 1407 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(1406,f,1312,c),merge(f),merge(g)].
% 1.52/1.79 1414 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1326,d,1313,c),merge(g),merge(h),merge(i)].
% 1.52/1.79 1415 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1407,f,1404,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.52/1.79 1439 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1414,d,19,a)].
% 1.52/1.79 1441 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1439,f,1287,c),merge(f),merge(g)].
% 1.52/1.79 1443 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(1283(c,1),1441(f,2,2)),merge(c),merge(d)].
% 1.52/1.79 1444 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(1443,f,1320,e),merge(f),merge(g),merge(h),merge(j),merge(k)].
% 1.52/1.79 1451 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(1444,f,1312,c),merge(f),merge(g)].
% 1.52/1.79 1458 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1451,f,1443,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.52/1.79 1461 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(1458(d,1),75(a,1)),unit_del(e,45)].
% 1.52/1.79 1462 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(1458(d,1),98(d,1)),merge(e),merge(g)].
% 1.52/1.79 1471 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,zero). [para(1415(d,1),1461(e,2)),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 1503 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)). [resolve(1462,f,1461,e),merge(f),merge(g),merge(h),merge(i)].
% 1.52/1.79 1510 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),equilibrium(sk3)). [resolve(1503,e,78,b),merge(e)].
% 1.52/1.79 1516 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(1510,e,19,a)].
% 1.52/1.79 1521 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1516,e,1305,c),merge(e),merge(f),merge(g)].
% 1.52/1.79 1524 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(1516,e,1302,c),merge(e),merge(f),merge(g)].
% 1.52/1.79 1540 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1521,e,1313,c),merge(f),merge(g),merge(h)].
% 1.52/1.79 1541 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(A,growth_rate(efficient_producers,sk1(sk3))) | greater(A,zero). [resolve(1540,e,22,b)].
% 1.52/1.79 1543 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1540,e,19,a)].
% 1.52/1.79 1545 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1543,e,1287,c),merge(e),merge(f)].
% 1.52/1.79 1546 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(1283(c,1),1545(e,2,2)),merge(c),merge(d)].
% 1.52/1.79 1559 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(1524,f,1546,e),merge(f),merge(g),merge(h),merge(i)].
% 1.52/1.79 1561 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,zero). [resolve(1559,e,1541,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 1567 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1561,e,1471,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 1572 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(1567(c,1),1288(c,1)),merge(d),merge(e)].
% 1.52/1.79 1573 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(1567(c,1),1287(c,1)),merge(d),merge(e),unit_del(d,45)].
% 1.52/1.79 1594 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(1573,d,1572,d),merge(d),merge(e),merge(f)].
% 1.52/1.79 1597 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk2(sk3)). [para(1594(c,1),51(a,4))].
% 1.52/1.79 1598 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater_or_equal(growth_rate(efficient_producers,sk2(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(1594(c,1),75(a,1,2))].
% 1.52/1.79 1608 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk2(sk3))) | greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(1597,c,44,a),unit_del(c,31)].
% 1.52/1.79 1611 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(growth_rate(first_movers,sk2(sk3)),zero) | greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(1597,c,41,a),unit_del(c,31)].
% 1.52/1.79 1617 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater_or_equal(sk2(sk3),sk1(sk3)) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3))). [resolve(1597,c,35,a)].
% 1.52/1.79 1618 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3))) | greater(sk1(sk3),sk2(sk3)). [resolve(1617,c,90,c),merge(e)].
% 1.52/1.79 1619 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(sk1(sk3),sk2(sk3)) | -greater(A,growth_rate(efficient_producers,sk2(sk3))) | greater(A,growth_rate(first_movers,sk2(sk3))). [resolve(1618,c,22,b)].
% 1.52/1.79 1620 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(sk1(sk3),sk2(sk3)) | -greater(growth_rate(first_movers,sk2(sk3)),A) | greater(growth_rate(efficient_producers,sk2(sk3)),A). [resolve(1618,c,22,a)].
% 1.52/1.79 1658 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk2(sk3)),zero) | greater(sk1(sk3),sk2(sk3)). [resolve(1611,d,1620,d),merge(e),merge(f),merge(h)].
% 1.52/1.79 1665 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | greater_or_equal(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(1658,d,19,a)].
% 1.52/1.79 1667 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(1665,e,1598,c),merge(e),merge(f)].
% 1.52/1.79 1716 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [para(1594(c,1),1667(e,2,2)),merge(c),merge(d)].
% 1.52/1.79 1718 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(efficient_producers,sk2(sk3))). [resolve(1716,e,1608,e),merge(e),merge(f),merge(g)].
% 1.52/1.79 1726 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(1718,e,1619,d),merge(e),merge(f),merge(g)].
% 1.52/1.79 1730 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)). [resolve(1726,e,1716,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 1731 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),equilibrium(sk3)). [resolve(1730,d,78,b),merge(d)].
% 1.52/1.79 1737 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(1731,d,19,a)].
% 1.52/1.79 1738 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1737,d,1309,c),merge(d),merge(e)].
% 1.52/1.79 1741 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(1737,d,1306,c),merge(d),merge(e)].
% 1.52/1.79 1745 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(1737,d,1302,c),merge(d),merge(e)].
% 1.52/1.79 2154 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1738,e,1313,c),merge(f),merge(g),merge(h)].
% 1.52/1.79 2163 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(2154,e,19,a)].
% 1.52/1.79 2165 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(2163,e,1287,c),merge(e),merge(f)].
% 1.52/1.79 2166 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(1283(c,1),2165(e,2,2)),merge(c),merge(d)].
% 1.52/1.79 2177 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(1741,f,2166,e),merge(f),merge(g),merge(h),merge(i)].
% 1.52/1.79 2188 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(2177,e,1312,c),merge(e),merge(f)].
% 1.52/1.79 2193 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero. [resolve(2188,e,2166,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 2196 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [para(2193(d,1),1311(c,2)),merge(d),merge(e)].
% 1.52/1.79 2197 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),zero). [para(2193(d,1),1314(c,2)),merge(d),merge(e)].
% 1.52/1.79 2217 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(A,growth_rate(efficient_producers,sk1(sk3))) | greater(A,zero). [resolve(2196,d,22,b)].
% 1.52/1.79 2219 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(2197,d,1287,c),merge(d),merge(e)].
% 1.52/1.79 2241 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(1283(c,1),2219(d,2,2)),merge(c),merge(d)].
% 1.52/1.79 2242 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(2241,d,1745,f),merge(d),merge(e),merge(f)].
% 1.52/1.79 2243 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,zero). [para(2193(d,1),2241(d,2)),merge(d),merge(e),merge(f)].
% 1.52/1.79 2271 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,zero). [resolve(2242,e,2217,d),merge(e),merge(f),merge(g)].
% 1.52/1.79 2289 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk1(sk3)) = zero. [resolve(2271,e,2243,d),merge(e),merge(f),merge(g)].
% 1.52/1.79 2292 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(2289(c,1),1598(c,1)),merge(d),merge(e),unit_del(d,45)].
% 1.52/1.79 2293 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(first_movers,sk2(sk3))) | greater(sk1(sk3),sk2(sk3)). [para(2289(c,1),1618(c,1)),merge(d),merge(e)].
% 1.52/1.79 2305 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk2(sk3))). [para(1594(c,1),2292(d,2,2)),merge(c),merge(d)].
% 1.52/1.79 2312 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(sk1(sk3),sk2(sk3)). [resolve(2293,d,2305,d),merge(e),merge(f),merge(g)].
% 1.52/1.79 2313 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(sk1(sk3),equilibrium(sk3)). [resolve(2312,d,78,b),merge(d)].
% 1.52/1.79 2328 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(2313,d,19,a)].
% 1.52/1.79 2333 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(2328,d,1305,c),merge(d),merge(e),merge(f)].
% 1.52/1.79 2336 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(2328,d,1302,c),merge(d),merge(e),merge(f)].
% 1.52/1.79 2377 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(2333,d,1313,c),merge(e),merge(f),merge(g)].
% 1.52/1.79 2385 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(2377,d,19,a)].
% 1.52/1.79 2397 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(2385,d,1287,c),merge(d),merge(e)].
% 1.52/1.79 2398 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(1283(c,1),2397(d,2,2)),merge(c),merge(d)].
% 1.52/1.79 2423 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(2336,e,2398,d),merge(e),merge(f),merge(g)].
% 1.52/1.79 2434 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(2423,d,1312,c),merge(d),merge(e)].
% 1.52/1.79 2446 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero. [resolve(2434,d,2398,d),merge(d),merge(e),merge(f)].
% 1.52/1.79 2451 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(2446(c,1),1288(c,1)),merge(c),merge(d)].
% 1.52/1.79 2452 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(2446(c,1),1287(c,1)),merge(c),merge(d),unit_del(c,45)].
% 1.52/1.79 2503 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3). [resolve(2452,c,2451,c),merge(c),merge(d)].
% 1.52/1.79 2516 sk2(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),growth_rate(first_movers,sk4(sk2(sk3)))). [para(2503(b,1),76(a,1,1)),unit_del(b,48)].
% 1.52/1.79 2586 sk2(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(2516,b,159,d),merge(c)].
% 1.52/1.79 2587 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(2516,b,150,d),merge(c)].
% 1.52/1.79 2588 sk2(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) | sk4(sk2(sk3)) = sk2(sk3). [resolve(2516,b,141,e),merge(d)].
% 1.52/1.79 2592 sk2(sk3) = equilibrium(sk3) | greater_or_equal(growth_rate(efficient_producers,sk4(sk2(sk3))),growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(2516,b,19,a)].
% 1.52/1.79 2702 sk2(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater_or_equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [resolve(2588,c,19,a)].
% 1.52/1.79 2718 sk2(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(2702,d,75,a)].
% 1.52/1.79 2740 sk2(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(2718,d,2586,d),merge(d),merge(e),merge(f)].
% 1.52/1.79 2744 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [para(2740(b,1),2516(b,2)),merge(c)].
% 1.52/1.79 2745 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater_or_equal(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [para(2740(b,1),2592(b,2)),merge(c)].
% 1.52/1.79 2756 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(2745,c,75,a)].
% 1.52/1.79 2765 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero. [resolve(2756,c,2587,d),merge(c),merge(e)].
% 1.52/1.79 2766 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,zero). [para(2740(b,1),2756(c,2)),merge(c),merge(d)].
% 1.52/1.79 2774 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,zero). [para(2765(c,1),2744(c,1)),merge(c),merge(d)].
% 1.52/1.79 2779 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(2774,c,2766,c),merge(c),merge(d)].
% 1.52/1.79 2782 sk2(sk3) = equilibrium(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk2(sk3)). [para(2779(b,1),51(a,4))].
% 1.52/1.79 2783 sk2(sk3) = equilibrium(sk3) | -greater_or_equal(growth_rate(efficient_producers,sk2(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(2779(b,1),75(a,1,2))].
% 1.52/1.79 2792 sk2(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk2(sk3). [para(2503(b,1),2779(b,1,1)),merge(b)].
% 1.52/1.79 2793 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk1(sk3). [para(2503(b,1),2779(b,2)),merge(b)].
% 1.52/1.79 2794 sk2(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk4(sk2(sk3)))). [para(2779(b,1),2516(b,1,2)),merge(b)].
% 1.52/1.79 2813 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk2(sk3))) | greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(2782,b,44,a),unit_del(b,31)].
% 1.52/1.79 2816 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(growth_rate(first_movers,sk2(sk3)),zero) | greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(2782,b,41,a),unit_del(b,31)].
% 1.52/1.79 2824 sk2(sk3) = equilibrium(sk3) | -greater_or_equal(growth_rate(efficient_producers,sk2(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(2792(b,1),65(a,1,2))].
% 1.52/1.79 2835 sk2(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3). [para(2503(b,1),2792(b,2)),merge(b)].
% 1.52/1.79 2872 sk2(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3))). [para(2779(b,1),2794(b,2,2)),merge(b)].
% 1.52/1.79 2873 sk2(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk1(sk3))). [para(2793(b,1),2794(b,2,2)),merge(b)].
% 1.52/1.79 2881 sk2(sk3) = equilibrium(sk3) | -greater(growth_rate(first_movers,sk2(sk3)),A) | greater(growth_rate(efficient_producers,sk2(sk3)),A). [resolve(2872,b,22,a)].
% 1.52/1.79 2884 sk2(sk3) = equilibrium(sk3) | -greater(A,growth_rate(efficient_producers,sk2(sk3))) | greater(A,growth_rate(first_movers,sk1(sk3))). [resolve(2873,b,22,b)].
% 1.52/1.79 2952 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(2816,c,2881,b),merge(d),merge(e)].
% 1.52/1.79 2955 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater_or_equal(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(2952,c,19,a)].
% 1.52/1.79 2957 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(2955,c,2824,b),merge(c)].
% 1.52/1.79 2967 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk2(sk3))). [para(2792(b,1),2957(c,2,2)),merge(b)].
% 1.52/1.79 2968 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(2835(b,1),2957(c,2,2)),merge(b)].
% 1.52/1.79 2974 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk2(sk3))). [resolve(2967,c,2813,d),merge(c),merge(d)].
% 1.52/1.79 2975 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(2974,c,2884,b),merge(c)].
% 1.52/1.79 2983 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero. [resolve(2975,c,2968,c),merge(c),merge(d)].
% 1.52/1.79 2995 sk2(sk3) = equilibrium(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(2983(b,1),2783(b,1)),merge(b),unit_del(b,45)].
% 1.52/1.79 2997 sk2(sk3) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk2(sk3))). [para(2983(b,1),2872(b,1)),merge(b)].
% 1.52/1.79 3017 sk2(sk3) = equilibrium(sk3) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [para(2779(b,1),2995(b,2,2)),merge(b)].
% 1.52/1.79 3019 sk2(sk3) = equilibrium(sk3). [resolve(3017,b,2997,b),merge(b)].
% 1.52/1.79 3031 sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(equilibrium(sk3),A) | greater(sk4(equilibrium(sk3)),A). [back_rewrite(86),rewrite([3019(2),3019(5),3019(8),3019(11)])].
% 1.52/1.79 3033 greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)). [back_rewrite(77),rewrite([3019(4),3019(7),3019(12)]),flip(b)].
% 1.52/1.79 3034 -greater_or_equal(sk4(equilibrium(sk3)),sk1(sk3)) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_rewrite(76),rewrite([3019(2),3019(9),3019(14)])].
% 1.52/1.79 3035 -greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_rewrite(75),rewrite([3019(3),3019(11)])].
% 1.52/1.79 3036 -greater_or_equal(sk4(equilibrium(sk3)),equilibrium(sk3)) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_rewrite(74),rewrite([3019(2),3019(9),3019(16),3019(23)])].
% 1.52/1.79 3038 -greater_or_equal(sk4(equilibrium(sk3)),equilibrium(sk3)) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_rewrite(72),rewrite([3019(2),3019(9),3019(17),3019(23)])].
% 1.52/1.79 3039 -greater_or_equal(sk4(equilibrium(sk3)),equilibrium(sk3)) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_rewrite(71),rewrite([3019(2),3019(9),3019(17),3019(24)])].
% 1.52/1.79 3040 -greater_or_equal(sk4(equilibrium(sk3)),equilibrium(sk3)) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_rewrite(70),rewrite([3019(2),3019(9),3019(16),3019(23)])].
% 1.52/1.79 3042 -greater_or_equal(sk4(equilibrium(sk3)),equilibrium(sk3)) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_rewrite(68),rewrite([3019(2),3019(9),3019(17),3019(23)])].
% 1.52/1.79 3043 -greater_or_equal(sk4(equilibrium(sk3)),equilibrium(sk3)) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_rewrite(67),rewrite([3019(2),3019(9),3019(17),3019(24)])].
% 1.52/1.79 3046 greater_or_equal(sk4(equilibrium(sk3)),equilibrium(sk3)). [back_rewrite(52),rewrite([3019(2),3019(5)])].
% 1.52/1.79 3047 subpopulations(first_movers,efficient_producers,sk3,sk4(equilibrium(sk3))). [back_rewrite(51),rewrite([3019(5)])].
% 1.52/1.79 3050 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_unit_del(3043),unit_del(a,3046)].
% 1.52/1.79 3051 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_unit_del(3042),unit_del(a,3046)].
% 1.52/1.79 3053 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_unit_del(3040),unit_del(a,3046)].
% 1.52/1.79 3054 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_unit_del(3039),unit_del(a,3046)].
% 1.52/1.79 3055 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_unit_del(3038),unit_del(a,3046)].
% 1.52/1.79 3057 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_unit_del(3036),unit_del(a,3046)].
% 1.52/1.79 3058 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(3033,a,84,b)].
% 1.52/1.79 3061 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(3033,a,19,a)].
% 1.52/1.79 3068 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [resolve(3051,c,19,a)].
% 1.52/1.79 3074 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) | -greater(A,growth_rate(first_movers,sk4(equilibrium(sk3)))) | greater(A,zero). [resolve(3053,b,22,b)].
% 1.52/1.79 3077 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) | -greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [factor(3074,b,d)].
% 1.52/1.79 3084 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [resolve(3055,c,19,a)].
% 1.52/1.79 3090 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) | -greater(A,growth_rate(first_movers,sk4(equilibrium(sk3)))) | greater(A,zero). [resolve(3057,b,22,b)].
% 1.52/1.79 3093 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) | -greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [factor(3090,b,d)].
% 1.52/1.79 3094 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3068,c,3035,a)].
% 1.52/1.79 3095 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3084,c,3035,a)].
% 1.52/1.79 3097 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))). [resolve(3094,c,3050,c),merge(c),merge(d)].
% 1.52/1.79 3100 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | -greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),A) | greater(zero,A). [resolve(3097,b,22,a)].
% 1.52/1.79 3108 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(3058,d,19,a)].
% 1.52/1.79 3109 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))). [resolve(3095,c,3054,c),merge(c),merge(d)].
% 1.52/1.79 3112 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | -greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),A) | greater(zero,A). [resolve(3109,b,22,a)].
% 1.52/1.79 3116 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(3108,d,64,a)].
% 1.52/1.79 3119 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(3108,d,61,a)].
% 1.52/1.79 3120 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(growth_rate(first_movers,sk4(sk1(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(3108,d,60,a)].
% 1.52/1.79 3123 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(3108,d,57,a)].
% 1.52/1.79 3164 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(3116,e,81,a),merge(f)].
% 1.52/1.79 3180 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(3120,e,81,a),merge(f)].
% 1.52/1.79 3192 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(3164,e,19,a)].
% 1.52/1.79 3197 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(3180,e,19,a)].
% 1.52/1.79 3223 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(3192,e,65,a)].
% 1.52/1.79 3224 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(3197,e,65,a)].
% 1.52/1.79 3235 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))). [resolve(3223,e,3119,f),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3236 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))). [resolve(3224,e,3123,f),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3257 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(3235,e,80,a)].
% 1.52/1.79 3265 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(3236,e,80,a)].
% 1.52/1.79 3270 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(3257,e,3223,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3275 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk4(equilibrium(sk3)),sk1(sk3)). [resolve(3270,b,3031,b)].
% 1.52/1.79 3282 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(3265,e,3224,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3287 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk4(equilibrium(sk3)),sk1(sk3)). [resolve(3282,b,3031,b)].
% 1.52/1.79 3290 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater_or_equal(equilibrium(sk3),sk1(sk3)). [resolve(3282,b,19,a)].
% 1.52/1.79 3293 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater_or_equal(sk4(equilibrium(sk3)),sk1(sk3)). [resolve(3275,e,19,a)].
% 1.52/1.79 3296 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater_or_equal(sk4(equilibrium(sk3)),sk1(sk3)). [resolve(3287,e,19,a)].
% 1.52/1.79 3297 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3293,e,3034,a)].
% 1.52/1.79 3298 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3296,e,3034,a)].
% 1.52/1.79 3310 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3297,e,3112,b)].
% 1.52/1.79 3312 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [resolve(3297,e,3093,c)].
% 1.52/1.79 3326 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3298,e,3100,b)].
% 1.52/1.79 3327 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [resolve(3298,e,3093,c)].
% 1.52/1.79 3331 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3298,e,19,a)].
% 1.52/1.79 3364 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [resolve(3312,f,19,a)].
% 1.52/1.79 3382 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,zero). [resolve(3327,f,3112,b),merge(f)].
% 1.52/1.79 3406 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3364,f,3035,a)].
% 1.52/1.79 3427 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(3406,f,3310,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.52/1.79 3435 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(3427(c,1),82(a,2))].
% 1.52/1.79 3444 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(3435,e,65,a)].
% 1.52/1.79 3446 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | -greater(zero,zero). [para(3427(c,1),3444(e,2)),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3448 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(3446,e,3382,f),merge(e),merge(f),merge(h),merge(i)].
% 1.52/1.79 3455 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [para(3448(d,1),3298(e,2)),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3457 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [para(3448(d,1),3331(e,2)),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3461 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3457,e,3035,a)].
% 1.52/1.79 3462 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero. [resolve(3461,e,3326,f),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3466 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(3462(d,1),65(a,1)),unit_del(e,45)].
% 1.52/1.79 3467 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(3462(d,1),66(a,1))].
% 1.52/1.79 3475 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero. [resolve(3467,e,3466,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3478 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [para(3475(d,1),3035(a,1)),unit_del(d,45)].
% 1.52/1.79 3482 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,zero). [para(3475(d,1),3109(b,2))].
% 1.52/1.79 3488 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,zero). [para(3475(d,1),3455(e,1)),merge(d),merge(e),merge(f)].
% 1.52/1.79 3489 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(3482,e,3446,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3496 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(zero,zero). [para(3489(d,1),3478(d,2)),merge(d),merge(e),merge(f)].
% 1.52/1.79 3497 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(3488,e,3496,d),merge(e),merge(f),merge(g)].
% 1.52/1.79 3500 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(3497(d,1),65(a,1)),unit_del(d,45)].
% 1.52/1.79 3501 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(3497(d,1),66(a,1))].
% 1.52/1.79 3504 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3). [resolve(3501,d,3500,d),merge(d),merge(e),merge(f)].
% 1.52/1.79 3507 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk1(sk3)). [para(3504(b,1),47(a,4))].
% 1.52/1.79 3508 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(3504(b,1),65(a,1,2))].
% 1.52/1.79 3509 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk4(sk1(sk3)))). [para(3504(b,1),66(a,1,2))].
% 1.52/1.79 3523 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater_or_equal(sk1(sk3),equilibrium(sk3)) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(3507,c,44,a)].
% 1.52/1.79 3526 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater_or_equal(sk1(sk3),equilibrium(sk3)) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(3507,c,41,a)].
% 1.52/1.79 3532 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3))). [resolve(3507,c,35,a),unit_del(c,45)].
% 1.52/1.79 3533 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(A,growth_rate(efficient_producers,sk1(sk3))) | greater(A,growth_rate(first_movers,sk1(sk3))). [resolve(3532,c,22,b)].
% 1.52/1.79 3534 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(growth_rate(first_movers,sk1(sk3)),A) | greater(growth_rate(efficient_producers,sk1(sk3)),A). [resolve(3532,c,22,a)].
% 1.52/1.79 3543 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))) | greater(equilibrium(sk3),sk1(sk3)). [resolve(3523,c,3061,c),merge(f)].
% 1.52/1.79 3555 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | greater(equilibrium(sk3),sk1(sk3)). [resolve(3526,c,3061,c),merge(f)].
% 1.52/1.79 3594 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | greater(equilibrium(sk3),sk1(sk3)). [resolve(3555,d,3534,c),merge(f),merge(g),merge(h)].
% 1.52/1.79 3599 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)) | greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(3594,d,19,a)].
% 1.52/1.79 3601 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(3599,e,3508,c),merge(e),merge(f)].
% 1.52/1.79 3602 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)) | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(3504(b,1),3601(e,2,2)),merge(c),merge(d)].
% 1.52/1.79 3606 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)) | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(3602,e,3543,e),merge(e),merge(f),merge(g),merge(i)].
% 1.52/1.79 3607 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(3606,e,3533,c),merge(e),merge(f)].
% 1.52/1.79 3616 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)). [resolve(3607,e,3602,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3621 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(sk4(equilibrium(sk3)),sk1(sk3)). [resolve(3616,d,3031,b),merge(d)].
% 1.52/1.79 3630 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater_or_equal(sk4(equilibrium(sk3)),sk1(sk3)). [resolve(3621,d,19,a)].
% 1.52/1.79 3631 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3630,d,3034,a)].
% 1.52/1.79 3643 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3631,d,3112,b)].
% 1.52/1.79 3644 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3631,d,3100,b)].
% 1.52/1.79 3645 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [resolve(3631,d,3093,c)].
% 1.52/1.79 3649 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3631,d,19,a)].
% 1.52/1.79 3670 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [resolve(3645,e,19,a)].
% 1.52/1.79 3688 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3670,e,3035,a)].
% 1.52/1.79 3695 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(3688,e,3643,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 3701 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [para(3695(d,1),3631(d,2)),merge(d),merge(e),merge(f)].
% 1.52/1.79 3702 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [para(3695(d,1),3649(d,2)),merge(d),merge(e),merge(f)].
% 1.52/1.79 3709 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3702,d,3035,a)].
% 1.52/1.79 3710 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero. [resolve(3709,d,3644,e),merge(d),merge(e),merge(f)].
% 1.52/1.79 3711 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,zero). [para(3695(d,1),3709(d,2)),merge(d),merge(e),merge(f)].
% 1.52/1.79 3722 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,zero). [para(3710(d,1),3701(d,1)),merge(d),merge(e),merge(f)].
% 1.52/1.79 3723 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero. [resolve(3722,d,3711,d),merge(d),merge(e),merge(f)].
% 1.52/1.79 3728 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(3723(c,1),3509(c,1)),merge(c),merge(d)].
% 1.52/1.79 3729 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(3723(c,1),3508(c,1)),merge(c),merge(d),unit_del(c,45)].
% 1.52/1.79 3753 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3). [resolve(3729,c,3728,c),merge(c),merge(d)].
% 1.52/1.79 3756 sk1(sk3) = equilibrium(sk3) | -greater_or_equal(growth_rate(efficient_producers,equilibrium(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [para(3753(b,1),3035(a,1,2))].
% 1.52/1.79 3757 sk1(sk3) = equilibrium(sk3) | subpopulations(first_movers,efficient_producers,sk3,equilibrium(sk3)). [para(3753(b,1),3047(a,4))].
% 1.52/1.79 3758 sk1(sk3) = equilibrium(sk3) | -greater_or_equal(equilibrium(sk3),sk1(sk3)) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [para(3753(b,1),3034(a,1))].
% 1.52/1.79 3805 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) | greater(zero,growth_rate(first_movers,equilibrium(sk3))). [resolve(3757,b,44,a),unit_del(b,45)].
% 1.52/1.79 3806 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(3757,b,43,a),unit_del(b,45)].
% 1.52/1.79 3808 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(growth_rate(first_movers,equilibrium(sk3)),zero) | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(3757,b,41,a),unit_del(b,45)].
% 1.52/1.79 3809 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) | greater(zero,growth_rate(first_movers,equilibrium(sk3))). [resolve(3757,b,40,a),unit_del(b,45)].
% 1.52/1.79 3810 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(3757,b,39,a),unit_del(b,45)].
% 1.52/1.79 3812 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(growth_rate(first_movers,equilibrium(sk3)),zero) | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(3757,b,37,a),unit_del(b,45)].
% 1.52/1.79 3814 sk1(sk3) = equilibrium(sk3) | -greater_or_equal(equilibrium(sk3),sk1(sk3)) | greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3))). [resolve(3757,b,35,a)].
% 1.52/1.79 3816 sk1(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(3758,b,3290,d),merge(c)].
% 1.52/1.79 3820 sk1(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3))) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(3814,b,3290,d),merge(c)].
% 1.52/1.79 3899 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) | greater_or_equal(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(3806,d,19,a)].
% 1.52/1.79 3913 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) | -greater(A,growth_rate(first_movers,equilibrium(sk3))) | greater(A,zero). [resolve(3808,c,22,b)].
% 1.52/1.79 3934 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) | greater_or_equal(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(3810,d,19,a)].
% 1.52/1.79 3948 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) | -greater(A,growth_rate(first_movers,equilibrium(sk3))) | greater(A,zero). [resolve(3812,c,22,b)].
% 1.52/1.79 3951 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) | -greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3))). [factor(3948,c,e)].
% 1.52/1.79 3991 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3899,d,3756,b),merge(d)].
% 1.52/1.79 4015 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3934,d,3756,b),merge(d)].
% 1.52/1.79 4138 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) | -greater(zero,growth_rate(first_movers,equilibrium(sk3))). [para(3753(b,1),3991(d,2,2)),merge(b)].
% 1.52/1.79 4140 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))). [resolve(4138,d,3805,d),merge(d),merge(e),merge(f)].
% 1.52/1.79 4142 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | -greater(growth_rate(efficient_producers,equilibrium(sk3)),A) | greater(zero,A). [resolve(4140,c,22,a)].
% 1.52/1.79 4148 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))) | -greater(zero,growth_rate(first_movers,equilibrium(sk3))). [para(3753(b,1),4015(d,2,2)),merge(b)].
% 1.52/1.79 4149 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))). [resolve(4148,d,3809,d),merge(d),merge(e),merge(f)].
% 1.52/1.79 4152 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | -greater(growth_rate(efficient_producers,equilibrium(sk3)),A) | greater(zero,A). [resolve(4149,c,22,a)].
% 1.52/1.79 4258 sk1(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,sk4(equilibrium(sk3)))) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [para(3753(b,1),3816(b,1,2)),merge(b)].
% 1.52/1.79 4296 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(3913,d,3820,b),merge(d),merge(e)].
% 1.52/1.79 4328 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(4258,b,4142,c),merge(d)].
% 1.52/1.79 4390 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(4296,c,19,a)].
% 1.52/1.79 4442 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(4390,e,3756,b),merge(e)].
% 1.52/1.79 4537 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(4442,e,4328,e),merge(e),merge(f),merge(g),merge(h)].
% 1.52/1.79 4540 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(4537(d,1),65(a,1)),unit_del(d,45)].
% 1.52/1.79 4541 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(4537(d,1),66(a,1))].
% 1.52/1.79 4552 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | sk4(sk1(sk3)) = sk1(sk3). [resolve(4541,d,4540,d),merge(d),merge(e),merge(f)].
% 1.52/1.79 4555 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [para(4552(b,1),3756(b,1)),merge(c),unit_del(c,45)].
% 1.52/1.79 4566 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,growth_rate(first_movers,equilibrium(sk3))) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [para(4552(b,1),3820(b,1)),merge(c),merge(e)].
% 1.52/1.79 4587 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,growth_rate(first_movers,equilibrium(sk3))). [para(3753(b,1),4555(c,2,2)),merge(b)].
% 1.52/1.79 4626 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(4566,c,4587,c),merge(d),merge(e)].
% 1.52/1.79 4629 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(4626(c,1),65(a,1)),unit_del(c,45)].
% 1.52/1.79 4630 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(4626(c,1),66(a,1))].
% 1.52/1.79 4636 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3). [resolve(4630,c,4629,c),merge(c),merge(d)].
% 1.52/1.79 4639 sk1(sk3) = equilibrium(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk1(sk3)). [para(4636(b,1),47(a,4))].
% 1.52/1.79 4640 sk1(sk3) = equilibrium(sk3) | -greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(4636(b,1),65(a,1,2))].
% 1.52/1.79 4641 sk1(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk4(sk1(sk3)))). [para(4636(b,1),66(a,1,2))].
% 1.52/1.79 4655 sk1(sk3) = equilibrium(sk3) | -greater_or_equal(sk1(sk3),equilibrium(sk3)) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(4639,b,44,a)].
% 1.52/1.79 4658 sk1(sk3) = equilibrium(sk3) | -greater_or_equal(sk1(sk3),equilibrium(sk3)) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(4639,b,41,a)].
% 1.52/1.79 4664 sk1(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3))). [resolve(4639,b,35,a),unit_del(b,45)].
% 1.52/1.79 4665 sk1(sk3) = equilibrium(sk3) | -greater(A,growth_rate(efficient_producers,sk1(sk3))) | greater(A,growth_rate(first_movers,sk1(sk3))). [resolve(4664,b,22,b)].
% 1.52/1.79 4666 sk1(sk3) = equilibrium(sk3) | -greater(growth_rate(first_movers,sk1(sk3)),A) | greater(growth_rate(efficient_producers,sk1(sk3)),A). [resolve(4664,b,22,a)].
% 1.52/1.79 4679 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(zero,growth_rate(first_movers,sk1(sk3))) | greater(equilibrium(sk3),sk1(sk3)). [resolve(4655,b,3061,c),merge(e)].
% 1.52/1.79 4699 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | greater(equilibrium(sk3),sk1(sk3)). [resolve(4658,b,3061,c),merge(e)].
% 1.52/1.79 4764 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | greater(equilibrium(sk3),sk1(sk3)). [resolve(4699,c,4666,b),merge(e),merge(f)].
% 1.52/1.79 4773 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)) | greater_or_equal(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(4764,c,19,a)].
% 1.52/1.79 4775 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(4773,d,4640,b),merge(d)].
% 1.52/1.79 4776 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)) | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(4636(b,1),4775(d,2,2)),merge(b)].
% 1.52/1.79 4782 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)) | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(4776,d,4679,d),merge(d),merge(e),merge(g)].
% 1.52/1.79 4783 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)) | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(4782,d,4665,b),merge(d)].
% 1.52/1.79 4798 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)). [resolve(4783,d,4776,d),merge(d),merge(e),merge(f)].
% 1.52/1.79 4809 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater_or_equal(equilibrium(sk3),sk1(sk3)). [resolve(4798,c,19,a)].
% 1.52/1.79 4815 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3))). [resolve(4809,c,3814,b),merge(c)].
% 1.52/1.79 4816 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(4809,c,3758,b),merge(c)].
% 1.52/1.79 4837 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(4815,c,3951,d),merge(c)].
% 1.52/1.79 4845 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater_or_equal(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3))). [resolve(4815,c,19,a)].
% 1.52/1.79 4869 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,sk4(equilibrium(sk3)))). [para(3753(b,1),4816(c,1,2)),merge(b)].
% 1.52/1.79 4871 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(4869,c,4152,c),merge(c)].
% 1.52/1.79 4872 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(4869,c,4142,c),merge(c)].
% 1.52/1.79 4920 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero | greater_or_equal(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(4837,d,19,a)].
% 1.52/1.79 4939 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(4920,d,3756,b),merge(d)].
% 1.52/1.79 4977 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero. [resolve(4939,d,4871,d),merge(d),merge(e),merge(f)].
% 1.52/1.79 4990 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [para(4977(c,1),4815(c,2)),merge(c),merge(d)].
% 1.52/1.79 4991 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater_or_equal(growth_rate(efficient_producers,equilibrium(sk3)),zero). [para(4977(c,1),4845(c,2)),merge(c),merge(d)].
% 1.52/1.79 5004 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(4991,c,3756,b),merge(c)].
% 1.52/1.79 5007 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,equilibrium(sk3)) = zero. [resolve(5004,c,4872,d),merge(c),merge(d)].
% 1.52/1.79 5008 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,equilibrium(sk3))). [para(3753(b,1),5004(c,2,2)),merge(b)].
% 1.52/1.79 5018 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(5007(b,1),4641(b,1)),merge(c)].
% 1.52/1.79 5019 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(5007(b,1),4640(b,1)),merge(c),unit_del(c,45)].
% 1.52/1.80 5026 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,zero). [para(4977(c,1),5008(c,2)),merge(c),merge(d)].
% 1.52/1.80 5065 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero. [resolve(5019,c,5018,c),merge(c),merge(d)].
% 1.52/1.80 5087 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,zero). [para(5065(b,1),4990(c,1)),merge(b)].
% 1.52/1.80 5094 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero. [resolve(5087,c,5026,c),merge(c),merge(d)].
% 1.52/1.80 5103 sk1(sk3) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(5094(b,1),4641(b,1)),merge(b)].
% 1.52/1.80 5104 sk1(sk3) = equilibrium(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(5094(b,1),4640(b,1)),merge(b),unit_del(b,45)].
% 1.52/1.80 5132 sk1(sk3) = equilibrium(sk3). [resolve(5104,b,5103,b),merge(b)].
% 1.52/1.80 5133 greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_rewrite(3034),rewrite([5132(5)]),unit_del(a,3046)].
% 1.52/1.80 5134 greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_rewrite(82),rewrite([5132(3),5132(8)])].
% 1.52/1.80 5138 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_unit_del(3093),unit_del(c,5133)].
% 1.52/1.80 5139 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_unit_del(3077),unit_del(c,5133)].
% 1.52/1.80 5144 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(5133,a,3112,b)].
% 1.52/1.80 5150 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [resolve(5138,b,19,a)].
% 1.52/1.80 5151 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,zero). [resolve(5139,b,3100,b),merge(b)].
% 1.52/1.80 5162 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(5150,b,3035,a)].
% 1.52/1.80 5165 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(5162,b,5144,b),merge(b)].
% 1.52/1.80 5169 greater_or_equal(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_rewrite(5134),rewrite([5165(10)])].
% 1.52/1.80 5170 greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_rewrite(5133),rewrite([5165(10)])].
% 1.52/1.80 5171 -greater(zero,zero). [back_rewrite(3035),rewrite([5165(13)]),unit_del(a,5169)].
% 1.52/1.80 5172 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero. [back_unit_del(5151),unit_del(b,5171)].
% 1.52/1.80 5173 $F. [back_rewrite(5170),rewrite([5172(5)]),unit_del(a,5171)].
% 1.52/1.80
% 1.52/1.80 % SZS output end Refutation
% 1.52/1.80 ============================== end of proof ==========================
% 1.52/1.80
% 1.52/1.80 ============================== STATISTICS ============================
% 1.52/1.80
% 1.52/1.80 Given=2247. Generated=14089. Kept=5152. proofs=1.
% 1.52/1.80 Usable=32. Sos=5. Demods=4. Limbo=1, Disabled=5154. Hints=0.
% 1.52/1.80 Megabytes=5.28.
% 1.52/1.80 User_CPU=0.80, System_CPU=0.02, Wall_clock=0.
% 1.52/1.80
% 1.52/1.80 ============================== end of statistics =====================
% 1.52/1.80
% 1.52/1.80 ============================== end of search =========================
% 1.52/1.80
% 1.52/1.80 THEOREM PROVED
% 1.52/1.80 % SZS status Unsatisfiable
% 1.52/1.80
% 1.52/1.80 Exiting with 1 proof.
% 1.52/1.80
% 1.52/1.80 Process 3109 exit (max_proofs) Thu Jun 9 11:16:52 2022
% 1.52/1.80 Prover9 interrupted
%------------------------------------------------------------------------------