TSTP Solution File: MGT029-1 by Prover9---1109a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Prover9---1109a
% Problem : MGT029-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : tptp2X_and_run_prover9 %d %s
% Computer : n032.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:56 EDT 2022
% Result : Unsatisfiable 1.51s 1.81s
% Output : Refutation 1.54s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.08 % Problem : MGT029-1 : TPTP v8.1.0. Released v2.4.0.
% 0.00/0.09 % Command : tptp2X_and_run_prover9 %d %s
% 0.09/0.28 % Computer : n032.cluster.edu
% 0.09/0.28 % Model : x86_64 x86_64
% 0.09/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.28 % Memory : 8042.1875MB
% 0.09/0.28 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.28 % CPULimit : 300
% 0.09/0.28 % WCLimit : 600
% 0.09/0.28 % DateTime : Thu Jun 9 09:54:37 EDT 2022
% 0.13/0.28 % CPUTime :
% 0.51/0.83 ============================== Prover9 ===============================
% 0.51/0.83 Prover9 (32) version 2009-11A, November 2009.
% 0.51/0.83 Process 6568 was started by sandbox on n032.cluster.edu,
% 0.51/0.83 Thu Jun 9 09:54:38 2022
% 0.51/0.83 The command was "/export/starexec/sandbox/solver/bin/prover9 -t 300 -f /tmp/Prover9_6221_n032.cluster.edu".
% 0.51/0.83 ============================== end of head ===========================
% 0.51/0.83
% 0.51/0.83 ============================== INPUT =================================
% 0.51/0.83
% 0.51/0.83 % Reading from file /tmp/Prover9_6221_n032.cluster.edu
% 0.51/0.83
% 0.51/0.83 set(prolog_style_variables).
% 0.51/0.83 set(auto2).
% 0.51/0.83 % set(auto2) -> set(auto).
% 0.51/0.83 % set(auto) -> set(auto_inference).
% 0.51/0.83 % set(auto) -> set(auto_setup).
% 0.51/0.83 % set(auto_setup) -> set(predicate_elim).
% 0.51/0.83 % set(auto_setup) -> assign(eq_defs, unfold).
% 0.51/0.83 % set(auto) -> set(auto_limits).
% 0.51/0.83 % set(auto_limits) -> assign(max_weight, "100.000").
% 0.51/0.83 % set(auto_limits) -> assign(sos_limit, 20000).
% 0.51/0.83 % set(auto) -> set(auto_denials).
% 0.51/0.83 % set(auto) -> set(auto_process).
% 0.51/0.83 % set(auto2) -> assign(new_constants, 1).
% 0.51/0.83 % set(auto2) -> assign(fold_denial_max, 3).
% 0.51/0.83 % set(auto2) -> assign(max_weight, "200.000").
% 0.51/0.83 % set(auto2) -> assign(max_hours, 1).
% 0.51/0.83 % assign(max_hours, 1) -> assign(max_seconds, 3600).
% 0.51/0.83 % set(auto2) -> assign(max_seconds, 0).
% 0.51/0.83 % set(auto2) -> assign(max_minutes, 5).
% 0.51/0.83 % assign(max_minutes, 5) -> assign(max_seconds, 300).
% 0.51/0.83 % set(auto2) -> set(sort_initial_sos).
% 0.51/0.83 % set(auto2) -> assign(sos_limit, -1).
% 0.51/0.83 % set(auto2) -> assign(lrs_ticks, 3000).
% 0.51/0.83 % set(auto2) -> assign(max_megs, 400).
% 0.51/0.83 % set(auto2) -> assign(stats, some).
% 0.51/0.83 % set(auto2) -> clear(echo_input).
% 0.51/0.83 % set(auto2) -> set(quiet).
% 0.51/0.83 % set(auto2) -> clear(print_initial_clauses).
% 0.51/0.83 % set(auto2) -> clear(print_given).
% 0.51/0.83 assign(lrs_ticks,-1).
% 0.51/0.83 assign(sos_limit,10000).
% 0.51/0.83 assign(order,kbo).
% 0.51/0.83 set(lex_order_vars).
% 0.51/0.83 clear(print_given).
% 0.51/0.83
% 0.51/0.83 % formulas(sos). % not echoed (22 formulas)
% 0.51/0.83
% 0.51/0.83 ============================== end of input ==========================
% 0.51/0.83
% 0.51/0.83 % From the command line: assign(max_seconds, 300).
% 0.51/0.83
% 0.51/0.83 ============================== PROCESS NON-CLAUSAL FORMULAS ==========
% 0.51/0.83
% 0.51/0.83 % Formulas that are not ordinary clauses:
% 0.51/0.83
% 0.51/0.83 ============================== end of process non-clausal formulas ===
% 0.51/0.83
% 0.51/0.83 ============================== PROCESS INITIAL CLAUSES ===============
% 0.51/0.83
% 0.51/0.83 ============================== PREDICATE ELIMINATION =================
% 0.51/0.83 1 -environment(A) | -stable(A) | in_environment(A,sk1(A)) # label(l1_32) # label(hypothesis). [assumption].
% 0.51/0.83 2 environment(sk3) # label(prove_l11_36) # label(negated_conjecture). [assumption].
% 0.51/0.83 Derived: -stable(sk3) | in_environment(sk3,sk1(sk3)). [resolve(1,a,2,a)].
% 0.51/0.83 3 -environment(A) | -stable(A) | in_environment(A,sk2(A)) # label(a4_34) # label(hypothesis). [assumption].
% 0.51/0.83 Derived: -stable(sk3) | in_environment(sk3,sk2(sk3)). [resolve(3,a,2,a)].
% 0.51/0.83 4 -environment(A) | -stable(A) | greater_or_equal(sk2(A),equilibrium(A)) # label(a4_35) # label(hypothesis). [assumption].
% 0.51/0.83 Derived: -stable(sk3) | greater_or_equal(sk2(sk3),equilibrium(sk3)). [resolve(4,a,2,a)].
% 0.51/0.83 5 -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_33) # label(hypothesis). [assumption].
% 0.51/0.83 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(5,a,2,a)].
% 0.51/0.83 6 -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_24) # label(hypothesis). [assumption].
% 0.51/0.83 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(6,a,2,a)].
% 0.51/0.83 7 -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_25) # label(hypothesis). [assumption].
% 0.51/0.83 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(7,a,2,a)].
% 0.51/0.83 8 -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_26) # label(hypothesis). [assumption].
% 0.51/0.83 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(8,a,2,a)].
% 0.51/0.83 9 -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_27) # label(hypothesis). [assumption].
% 0.51/0.83 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(9,a,2,a)].
% 0.51/0.83 10 -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_28) # label(hypothesis). [assumption].
% 0.51/0.83 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(10,a,2,a)].
% 0.51/0.83 11 -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_29) # label(hypothesis). [assumption].
% 0.51/0.83 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(11,a,2,a)].
% 0.51/0.83 12 -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_30) # label(hypothesis). [assumption].
% 0.51/0.83 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(12,a,2,a)].
% 0.51/0.83 13 -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_31) # label(hypothesis). [assumption].
% 0.51/0.83 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(13,a,2,a)].
% 0.51/0.83
% 0.51/0.83 ============================== end predicate elimination =============
% 0.51/0.83
% 0.51/0.83 Auto_denials: (non-Horn, no changes).
% 0.51/0.83
% 0.51/0.83 Term ordering decisions:
% 0.51/0.83 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.51/1.81
% 1.51/1.81 ============================== end of process initial clauses ========
% 1.51/1.81
% 1.51/1.81 ============================== CLAUSES FOR SEARCH ====================
% 1.51/1.81
% 1.51/1.81 ============================== end of clauses for search =============
% 1.51/1.81
% 1.51/1.81 ============================== SEARCH ================================
% 1.51/1.81
% 1.51/1.81 % Starting search at 0.01 seconds.
% 1.51/1.81
% 1.51/1.81 ============================== PROOF =================================
% 1.51/1.81 % SZS status Unsatisfiable
% 1.51/1.81 % SZS output start Refutation
% 1.51/1.81
% 1.51/1.81 % Proof 1 at 0.98 (+ 0.01) seconds.
% 1.51/1.81 % Length of proof is 738.
% 1.51/1.81 % Level of proof is 323.
% 1.51/1.81 % Maximum clause weight is 50.000.
% 1.51/1.81 % Given clauses 2581.
% 1.51/1.81
% 1.51/1.81 1 -environment(A) | -stable(A) | in_environment(A,sk1(A)) # label(l1_32) # label(hypothesis). [assumption].
% 1.51/1.81 2 environment(sk3) # label(prove_l11_36) # label(negated_conjecture). [assumption].
% 1.51/1.81 3 -environment(A) | -stable(A) | in_environment(A,sk2(A)) # label(a4_34) # label(hypothesis). [assumption].
% 1.51/1.81 4 -environment(A) | -stable(A) | greater_or_equal(sk2(A),equilibrium(A)) # label(a4_35) # label(hypothesis). [assumption].
% 1.51/1.81 5 -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_33) # label(hypothesis). [assumption].
% 1.51/1.81 6 -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_24) # label(hypothesis). [assumption].
% 1.51/1.81 8 -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_26) # label(hypothesis). [assumption].
% 1.51/1.81 9 -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_27) # label(hypothesis). [assumption].
% 1.51/1.81 10 -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_28) # label(hypothesis). [assumption].
% 1.51/1.81 11 -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_29) # label(hypothesis). [assumption].
% 1.51/1.81 12 -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_30) # label(hypothesis). [assumption].
% 1.51/1.81 13 -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_31) # label(hypothesis). [assumption].
% 1.51/1.81 14 stable(sk3) # label(prove_l11_37) # label(negated_conjecture). [assumption].
% 1.51/1.81 15 -in_environment(sk3,A) | -greater(growth_rate(efficient_producers,sk4(A)),zero) | -greater(zero,growth_rate(first_movers,sk4(A))) # label(prove_l11_40) # label(negated_conjecture). [assumption].
% 1.51/1.81 16 -greater(A,B) | greater_or_equal(A,B) # label(mp_greater_or_equal_22) # label(axiom). [assumption].
% 1.51/1.81 17 A != B | greater_or_equal(A,B) # label(mp_greater_or_equal_23) # label(axiom). [assumption].
% 1.51/1.81 18 -in_environment(sk3,A) | greater_or_equal(sk4(A),A) # label(prove_l11_39) # label(negated_conjecture). [assumption].
% 1.51/1.81 19 -greater(A,B) | -greater(B,C) | greater(A,C) # label(mp_greater_transitivity_19) # label(axiom). [assumption].
% 1.51/1.81 20 -greater_or_equal(A,B) | greater(A,B) | A = B # label(mp_greater_or_equal_21) # label(axiom). [assumption].
% 1.51/1.81 21 -in_environment(sk3,A) | subpopulations(first_movers,efficient_producers,sk3,sk4(A)) # label(prove_l11_38) # label(negated_conjecture). [assumption].
% 1.51/1.81 22 -in_environment(A,B) | -in_environment(A,C) | greater(C,B) | C = B | greater(B,C) # label(mp_times_in_environment_20) # label(axiom). [assumption].
% 1.51/1.81 23 -stable(sk3) | in_environment(sk3,sk1(sk3)). [resolve(1,a,2,a)].
% 1.51/1.81 24 in_environment(sk3,sk1(sk3)). [copy(23),unit_del(a,14)].
% 1.51/1.81 25 -stable(sk3) | in_environment(sk3,sk2(sk3)). [resolve(3,a,2,a)].
% 1.51/1.81 26 in_environment(sk3,sk2(sk3)). [copy(25),unit_del(a,14)].
% 1.51/1.81 27 -stable(sk3) | greater_or_equal(sk2(sk3),equilibrium(sk3)). [resolve(4,a,2,a)].
% 1.51/1.81 28 greater_or_equal(sk2(sk3),equilibrium(sk3)). [copy(27),unit_del(a,14)].
% 1.51/1.81 29 -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(5,a,2,a)].
% 1.51/1.81 30 -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(29),unit_del(a,14)].
% 1.51/1.81 31 -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(6,a,2,a)].
% 1.51/1.81 33 -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(8,a,2,a)].
% 1.51/1.81 34 -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(9,a,2,a)].
% 1.51/1.81 35 -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(10,a,2,a)].
% 1.51/1.81 36 -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(11,a,2,a)].
% 1.51/1.81 37 -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(12,a,2,a)].
% 1.51/1.81 38 -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(13,a,2,a)].
% 1.51/1.81 39 greater_or_equal(A,A). [xx_res(17,a)].
% 1.51/1.81 40 -in_environment(sk3,A) | greater(sk1(sk3),A) | sk1(sk3) = A | greater(A,sk1(sk3)). [resolve(24,a,22,b)].
% 1.51/1.81 41 subpopulations(first_movers,efficient_producers,sk3,sk4(sk1(sk3))). [resolve(24,a,21,a)].
% 1.51/1.81 42 greater_or_equal(sk4(sk1(sk3)),sk1(sk3)). [resolve(24,a,18,a)].
% 1.51/1.81 43 -greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(24,a,15,a)].
% 1.51/1.81 45 subpopulations(first_movers,efficient_producers,sk3,sk4(sk2(sk3))). [resolve(26,a,21,a)].
% 1.51/1.81 46 greater_or_equal(sk4(sk2(sk3)),sk2(sk3)). [resolve(26,a,18,a)].
% 1.51/1.81 47 -greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(26,a,15,a)].
% 1.51/1.81 48 greater(sk2(sk3),equilibrium(sk3)) | sk2(sk3) = equilibrium(sk3). [resolve(28,a,20,a)].
% 1.51/1.81 49 greater(sk4(sk1(sk3)),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3). [resolve(42,a,20,a)].
% 1.51/1.81 50 greater(sk4(sk2(sk3)),sk2(sk3)) | sk4(sk2(sk3)) = sk2(sk3). [resolve(46,a,20,a)].
% 1.51/1.81 51 -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(41,a,38,a)].
% 1.51/1.81 54 -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(41,a,35,a)].
% 1.51/1.81 55 -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(41,a,34,a)].
% 1.51/1.81 58 -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(41,a,31,a)].
% 1.51/1.81 59 greater(growth_rate(efficient_producers,sk4(sk1(sk3))),growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(41,a,30,a),unit_del(a,42)].
% 1.51/1.81 60 -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(45,a,38,a)].
% 1.51/1.81 61 -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(45,a,37,a)].
% 1.51/1.81 62 -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(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(45,a,36,a)].
% 1.51/1.81 63 -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(45,a,35,a)].
% 1.51/1.81 64 -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(45,a,34,a)].
% 1.51/1.81 65 -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(45,a,33,a)].
% 1.51/1.81 67 -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(45,a,31,a)].
% 1.51/1.81 68 -greater_or_equal(sk4(sk2(sk3)),sk1(sk3)) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(45,a,30,a)].
% 1.51/1.81 69 greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | greater(sk2(sk3),sk1(sk3)). [resolve(40,a,26,a),flip(b)].
% 1.51/1.81 70 sk2(sk3) = equilibrium(sk3) | -greater(A,sk2(sk3)) | greater(A,equilibrium(sk3)). [resolve(48,a,19,b)].
% 1.51/1.81 72 -greater(A,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(A,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(59,a,19,b)].
% 1.51/1.81 73 -greater(growth_rate(first_movers,sk4(sk1(sk3))),A) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),A). [resolve(59,a,19,a)].
% 1.51/1.81 76 sk4(sk1(sk3)) = sk1(sk3) | -greater(sk1(sk3),A) | greater(sk4(sk1(sk3)),A). [resolve(49,a,19,a)].
% 1.51/1.81 78 sk4(sk2(sk3)) = sk2(sk3) | -greater(sk2(sk3),A) | greater(sk4(sk2(sk3)),A). [resolve(50,a,19,a)].
% 1.51/1.81 79 sk2(sk3) = equilibrium(sk3) | greater(sk4(sk2(sk3)),equilibrium(sk3)) | sk4(sk2(sk3)) = sk2(sk3). [resolve(70,b,50,a)].
% 1.51/1.81 82 greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | greater_or_equal(sk2(sk3),sk1(sk3)). [resolve(69,c,16,a)].
% 1.51/1.81 83 sk4(sk2(sk3)) = sk2(sk3) | greater(sk4(sk2(sk3)),sk1(sk3)) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3). [resolve(78,b,69,c)].
% 1.51/1.81 86 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater_or_equal(sk4(sk2(sk3)),equilibrium(sk3)). [resolve(79,b,16,a)].
% 1.51/1.81 89 sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | sk2(sk3) = sk1(sk3) | greater_or_equal(sk4(sk2(sk3)),sk1(sk3)). [resolve(83,b,16,a)].
% 1.51/1.81 90 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(89,d,68,a)].
% 1.51/1.81 91 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(60,a,86,c)].
% 1.51/1.81 92 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(61,a,86,c)].
% 1.51/1.81 94 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(63,a,86,c)].
% 1.51/1.81 95 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(64,a,86,c)].
% 1.51/1.81 96 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(65,a,86,c)].
% 1.51/1.81 98 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(67,a,86,c)].
% 1.51/1.81 99 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(90,d,19,b)].
% 1.51/1.81 100 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(90,d,19,a)].
% 1.51/1.81 106 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(92,c,47,a)].
% 1.51/1.81 114 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(94,b,100,d),merge(e),merge(h)].
% 1.51/1.81 123 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(96,c,47,a)].
% 1.51/1.81 131 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(98,b,100,d),merge(e),merge(h)].
% 1.51/1.81 132 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(98,b,19,b)].
% 1.51/1.81 135 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(132,b,f)].
% 1.51/1.81 137 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(106,e,91,c),merge(e),merge(f),merge(g),merge(h)].
% 1.51/1.81 138 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(137,b,99,d),merge(d)].
% 1.51/1.81 140 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(137,b,19,a)].
% 1.51/1.81 146 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(123,e,95,c),merge(e),merge(f),merge(g),merge(h)].
% 1.51/1.81 147 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(146,b,99,d),merge(d)].
% 1.54/1.81 149 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(146,b,19,a)].
% 1.54/1.81 153 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(114,b,47,a)].
% 1.54/1.81 170 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(131,b,47,a)].
% 1.54/1.81 190 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(153,f,138,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 192 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(190,d,70,b),merge(e)].
% 1.54/1.81 196 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(192,e,76,b)].
% 1.54/1.81 199 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(192,e,16,a)].
% 1.54/1.81 206 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(170,f,147,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 208 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(206,d,70,b),merge(e)].
% 1.54/1.81 215 growth_rate(first_movers,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(208,e,76,b)].
% 1.54/1.81 218 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(208,e,16,a)].
% 1.54/1.81 227 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(196,f,16,a)].
% 1.54/1.81 233 growth_rate(first_movers,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(215,f,16,a)].
% 1.54/1.81 234 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(227,f,58,a)].
% 1.54/1.81 237 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(227,f,55,a)].
% 1.54/1.81 241 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(227,f,51,a)].
% 1.54/1.81 246 growth_rate(first_movers,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(growth_rate(first_movers,sk4(sk1(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(233,f,54,a)].
% 1.54/1.81 249 growth_rate(first_movers,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(233,f,51,a)].
% 1.54/1.81 252 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(234,g,73,a),merge(h)].
% 1.54/1.81 255 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(252,g,43,a)].
% 1.54/1.81 267 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(237,h,255,g),merge(h),merge(i),merge(j),merge(k),merge(l),merge(m)].
% 1.54/1.81 274 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(267,g,72,a)].
% 1.54/1.81 278 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(274,g,255,g),merge(g),merge(h),merge(i),merge(j),merge(k),merge(l)].
% 1.54/1.81 281 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(278(f,1),59(a,2))].
% 1.54/1.81 291 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(281,f,43,a)].
% 1.54/1.81 292 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(281,f,19,b)].
% 1.54/1.81 301 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(291,f,241,h),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 302 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(278(f,1),291(f,2)),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 308 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(301,g,292,f),merge(g),merge(h),merge(i),merge(j),merge(k)].
% 1.54/1.81 318 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(308,g,302,f),merge(g),merge(h),merge(i),merge(j),merge(k)].
% 1.54/1.81 325 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) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(318(a,1),47(a,1))].
% 1.54/1.81 326 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(318(a,1),90(d,1)),merge(f),merge(h)].
% 1.54/1.81 340 growth_rate(first_movers,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(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(246,g,73,a),merge(h)].
% 1.54/1.81 347 growth_rate(first_movers,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(first_movers,sk4(sk1(sk3)))). [resolve(340,g,43,a)].
% 1.54/1.81 356 growth_rate(first_movers,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(249,h,347,g),merge(h),merge(i),merge(j),merge(k),merge(l),merge(m)].
% 1.54/1.81 365 growth_rate(first_movers,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(first_movers,sk4(sk1(sk3)))). [resolve(356,g,72,a)].
% 1.54/1.81 404 growth_rate(first_movers,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(365,g,347,g),merge(g),merge(h),merge(i),merge(j),merge(k),merge(l)].
% 1.54/1.81 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(sk1(sk3),sk2(sk3)) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [para(404(a,1),90(d,2)),merge(f),merge(h)].
% 1.54/1.81 409 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). [para(404(a,1),325(g,2)),merge(f),merge(g),merge(h),merge(i),merge(j),merge(l)].
% 1.54/1.81 430 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)))). [resolve(407,g,47,a)].
% 1.54/1.81 432 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(430,g,326,g),merge(g),merge(h),merge(i),merge(j),merge(k),merge(l)].
% 1.54/1.81 434 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(432,f,70,b),merge(f)].
% 1.54/1.81 438 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(434,f,76,b),merge(f)].
% 1.54/1.81 447 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(438,f,16,a)].
% 1.54/1.81 449 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(447,f,54,a),merge(f)].
% 1.54/1.81 452 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(447,f,51,a),merge(f)].
% 1.54/1.81 457 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(449,f,73,a),merge(g)].
% 1.54/1.81 458 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(457,f,43,a)].
% 1.54/1.81 459 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(A,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(A,zero). [resolve(457,f,19,b)].
% 1.54/1.81 465 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(452,g,458,f),merge(g),merge(h),merge(i),merge(j),merge(k)].
% 1.54/1.81 467 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(465,f,459,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 472 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(467,f,409,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 475 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,zero) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(472(e,1),43(a,1))].
% 1.54/1.81 476 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(472(e,1),59(a,1))].
% 1.54/1.81 481 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero. [resolve(476,e,291,f),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 484 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(growth_rate(first_movers,sk4(sk1(sk3))),A) | greater(zero,A). [resolve(476,e,19,a)].
% 1.54/1.81 488 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(481(e,1),90(d,1)),merge(e),merge(g)].
% 1.54/1.81 491 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | greater(zero,zero). [para(481(e,1),146(b,2)),merge(g),merge(h)].
% 1.54/1.81 494 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,zero). [resolve(475,f,476,e),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 498 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk2(sk3))) = zero. [resolve(491,f,494,e),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 505 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk1(sk3),sk2(sk3)) | greater(zero,zero). [para(498(e,1),488(f,2)),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 507 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,zero) | greater(sk1(sk3),equilibrium(sk3)). [resolve(505,e,70,b),merge(f)].
% 1.54/1.81 511 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,zero) | greater(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(507,f,76,b),merge(f)].
% 1.54/1.81 520 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,zero) | greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(511,f,16,a)].
% 1.54/1.81 521 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,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(520,f,58,a)].
% 1.54/1.81 541 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,zero) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(521,g,484,e),merge(h),merge(i),merge(j),merge(k),merge(l)].
% 1.54/1.81 553 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,zero) | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [para(472(e,1),541(g,1)),merge(e),merge(f),merge(g),merge(h),merge(k)].
% 1.54/1.81 554 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(553,e,494,e),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 558 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,zero). [para(554(e,1),476(e,2)),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 559 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3). [resolve(558,e,494,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 561 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(growth_rate(efficient_producers,sk2(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(559(b,1),47(a,1,2))].
% 1.54/1.81 562 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk2(sk3)). [para(559(b,1),45(a,4))].
% 1.54/1.81 563 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,sk4(sk2(sk3))),growth_rate(first_movers,sk4(sk2(sk3)))). [para(559(b,1),68(a,1))].
% 1.54/1.81 572 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(562,d,38,a),unit_del(d,28)].
% 1.54/1.81 575 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(562,d,35,a),unit_del(d,28)].
% 1.54/1.81 576 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk2(sk3))) | greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(562,d,34,a),unit_del(d,28)].
% 1.54/1.81 577 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk2(sk3))) | greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(562,d,33,a),unit_del(d,28)].
% 1.54/1.81 579 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(growth_rate(first_movers,sk2(sk3)),zero) | greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(562,d,31,a),unit_del(d,28)].
% 1.54/1.81 580 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(562,d,30,a)].
% 1.54/1.81 581 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(growth_rate(efficient_producers,sk2(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [para(559(b,1),561(e,2,2)),merge(d),merge(e),merge(f)].
% 1.54/1.81 582 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(580,d,82,c),merge(f)].
% 1.54/1.81 583 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),growth_rate(first_movers,sk4(sk2(sk3)))) | greater(sk1(sk3),sk2(sk3)). [resolve(563,d,82,c),merge(f)].
% 1.54/1.81 584 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(582,d,19,b)].
% 1.54/1.81 585 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(582,d,19,a)].
% 1.54/1.81 590 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk4(sk2(sk3)))) | greater(sk1(sk3),sk2(sk3)). [para(559(b,1),583(d,1,2)),merge(d),merge(e),merge(f)].
% 1.54/1.81 625 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(575,e,585,e),merge(f),merge(g),merge(h),merge(j)].
% 1.54/1.81 630 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(625,e,581,d),merge(f),merge(g),merge(h)].
% 1.54/1.81 634 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(630,f,572,f),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 640 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(634,f,584,e),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 644 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(640,f,630,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 646 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(644,e,70,b),merge(e)].
% 1.54/1.81 656 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(646,e,76,b),merge(e)].
% 1.54/1.81 670 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(656,e,16,a)].
% 1.54/1.81 671 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(670,e,58,a)].
% 1.54/1.81 674 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(670,e,55,a)].
% 1.54/1.81 675 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(growth_rate(first_movers,sk4(sk1(sk3))),zero) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(670,e,54,a)].
% 1.54/1.81 678 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(670,e,51,a)].
% 1.54/1.81 692 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk2(sk3))) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(577,f,581,d),merge(f),merge(g),merge(h)].
% 1.54/1.81 700 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk2(sk3)),zero) | greater(sk1(sk3),sk2(sk3)). [resolve(579,e,585,e),merge(f),merge(g),merge(h),merge(j)].
% 1.54/1.81 705 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(700,e,581,d),merge(f),merge(g),merge(h)].
% 1.54/1.81 709 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(efficient_producers,sk2(sk3))). [resolve(705,f,576,f),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 710 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(709,f,584,e),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 714 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)). [resolve(710,f,705,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 716 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(sk1(sk3),equilibrium(sk3)). [resolve(714,e,70,b),merge(e)].
% 1.54/1.81 722 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(716,e,76,b),merge(e)].
% 1.54/1.81 731 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(722,e,16,a)].
% 1.54/1.81 732 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,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(731,e,58,a)].
% 1.54/1.81 735 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,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(731,e,55,a)].
% 1.54/1.81 764 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk2(sk3))). [resolve(692,f,576,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 994 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(671,f,73,a),merge(g)].
% 1.54/1.81 1050 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(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(675,f,73,a),merge(g)].
% 1.54/1.81 1108 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(994,f,43,a)].
% 1.54/1.81 1137 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(first_movers,sk4(sk1(sk3)))). [resolve(1050,f,43,a)].
% 1.54/1.81 1143 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(1108,f,674,g),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 1144 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(1137,f,678,g),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 1154 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(1143,f,72,a)].
% 1.54/1.81 1173 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(1154,f,1108,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 1176 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(1173(e,1),59(a,2))].
% 1.54/1.81 1186 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(1176,e,43,a)].
% 1.54/1.81 1187 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(1176,e,19,b)].
% 1.54/1.81 1188 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,zero). [para(1173(e,1),1186(e,2)),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 1193 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(zero,zero) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(1187,e,1144,f),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 1194 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(1193,e,1188,e),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 1198 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(zero,zero). [para(1194(e,1),1176(e,1)),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 1204 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(732,f,73,a),merge(g)].
% 1.54/1.81 1205 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero. [resolve(1198,e,1188,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 1208 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,zero) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [para(1205(d,1),581(d,1)),merge(d),merge(e),merge(f)].
% 1.54/1.81 1211 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))) | greater(sk1(sk3),sk2(sk3)). [para(1205(d,1),590(d,1)),merge(d),merge(e),merge(f)].
% 1.54/1.81 1215 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(zero,zero). [para(1205(d,1),764(e,2)),merge(d),merge(e),merge(f)].
% 1.54/1.81 1241 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk1(sk3),sk2(sk3)) | -greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(1211,d,561,e),merge(e),merge(f),merge(g)].
% 1.54/1.81 1262 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1204,f,43,a)].
% 1.54/1.81 1288 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(sk1(sk3)))). [resolve(1262,f,735,g),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 1301 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1288,f,72,a)].
% 1.54/1.81 1318 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(1301,f,1262,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 1324 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(1318(e,1),59(a,2))].
% 1.54/1.81 1333 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1324,e,43,a)].
% 1.54/1.81 1338 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | -greater(zero,zero). [para(1318(e,1),1333(e,2)),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 1341 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero. [resolve(1338,e,1215,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 1344 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(growth_rate(efficient_producers,sk2(sk3)),zero) | greater(sk1(sk3),sk2(sk3)). [para(1341(d,1),582(d,2)),merge(d),merge(e),merge(f)].
% 1.54/1.81 1349 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,zero). [para(1341(d,1),1208(e,2)),merge(d),merge(e),merge(f),merge(h)].
% 1.54/1.81 1358 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk1(sk3),sk2(sk3)). [resolve(1344,d,1241,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 1360 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk1(sk3),equilibrium(sk3)). [resolve(1358,d,70,b),merge(d)].
% 1.54/1.81 1364 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(1360,d,76,b),merge(d)].
% 1.54/1.81 1375 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(1364,d,16,a)].
% 1.54/1.81 1376 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(1375,d,58,a)].
% 1.54/1.81 1379 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(1375,d,55,a)].
% 1.54/1.81 1383 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(1375,d,51,a)].
% 1.54/1.81 1384 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(1376,e,73,a),merge(f)].
% 1.54/1.81 1385 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(1384,e,43,a)].
% 1.54/1.81 1386 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | -greater(A,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(A,zero). [resolve(1384,e,19,b)].
% 1.54/1.81 1392 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(1379,f,1385,e),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 1395 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,zero). [resolve(1392,e,1386,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 1400 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(1395,e,1349,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 1403 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(1400(d,1),59(a,2))].
% 1.54/1.81 1409 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(1403,d,43,a)].
% 1.54/1.81 1410 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(1403,d,19,b)].
% 1.54/1.81 1411 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(1383,f,1409,d),merge(f),merge(g),merge(h)].
% 1.54/1.81 1412 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(1411,e,1410,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 1418 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(1412,e,1349,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 1422 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,zero). [para(1418(d,1),1403(d,1)),merge(d),merge(e),merge(f)].
% 1.54/1.81 1423 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk1(sk3)) = sk1(sk3). [resolve(1422,d,1349,d),merge(d),merge(e),merge(f)].
% 1.54/1.81 1425 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater(growth_rate(efficient_producers,sk1(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(1423(c,1),43(a,1,2))].
% 1.54/1.81 1426 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk1(sk3)). [para(1423(c,1),41(a,4))].
% 1.54/1.81 1427 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk4(sk1(sk3)))). [para(1423(c,1),59(a,1,2))].
% 1.54/1.81 1428 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),growth_rate(first_movers,sk1(sk3))). [para(1423(c,1),59(a,2,2))].
% 1.54/1.81 1432 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater_or_equal(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)))). [para(1423(c,1),51(a,1))].
% 1.54/1.81 1441 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(1426,c,38,a)].
% 1.54/1.81 1444 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(1426,c,35,a)].
% 1.54/1.81 1445 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(1426,c,34,a)].
% 1.54/1.81 1448 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(1426,c,31,a)].
% 1.54/1.81 1449 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3))). [resolve(1426,c,30,a),unit_del(c,39)].
% 1.54/1.81 1450 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater(growth_rate(efficient_producers,sk1(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(1423(c,1),1425(d,2,2)),merge(c),merge(d)].
% 1.54/1.81 1451 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(1449,c,19,b)].
% 1.54/1.81 1452 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(1449,c,19,a)].
% 1.54/1.81 1456 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(1441,c,218,e),merge(g),merge(i)].
% 1.54/1.81 1457 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(1441,c,199,e),merge(g),merge(i)].
% 1.54/1.81 1464 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(1444,c,218,e),merge(g),merge(i)].
% 1.54/1.81 1465 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(1444,c,199,e),merge(g),merge(i)].
% 1.54/1.81 1474 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,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(1448,c,218,e),merge(g),merge(i)].
% 1.54/1.81 1475 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,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(1448,c,199,e),merge(g),merge(i)].
% 1.54/1.81 1530 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(1464,d,1452,c),merge(g),merge(h),merge(i)].
% 1.54/1.81 1531 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(1530,d,1450,c),merge(f),merge(g)].
% 1.54/1.81 1537 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(1531,f,1456,e),merge(f),merge(g),merge(h),merge(j),merge(k)].
% 1.54/1.81 1546 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(1537,f,1451,c),merge(f),merge(g)].
% 1.54/1.81 1553 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(1546,f,1531,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 1556 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(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [para(1553(d,1),90(d,2)),merge(e),merge(g)].
% 1.54/1.81 1561 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(1465,d,1452,c),merge(g),merge(h),merge(i)].
% 1.54/1.81 1562 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)))). [resolve(1556,f,47,a)].
% 1.54/1.81 1571 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(1561,d,1450,c),merge(f),merge(g)].
% 1.54/1.81 1576 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(1571,f,1457,e),merge(f),merge(g),merge(h),merge(j),merge(k)].
% 1.54/1.81 1583 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(1576,f,1451,c),merge(f),merge(g)].
% 1.54/1.81 1590 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(1583,f,1571,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 1593 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,zero) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(1590(d,1),47(a,1))].
% 1.54/1.81 1594 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(1590(d,1),90(d,1)),merge(e),merge(g)].
% 1.54/1.81 1632 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,zero). [para(1553(d,1),1593(f,2)),merge(e),merge(f),merge(g),merge(h),merge(j)].
% 1.54/1.81 1643 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(1594,f,1562,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 1644 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(1643,e,70,b),merge(e)].
% 1.54/1.81 1650 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(1644,e,16,a)].
% 1.54/1.81 1661 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(1650,e,1444,c),merge(e),merge(f),merge(g)].
% 1.54/1.81 1664 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(1650,e,1441,c),merge(e),merge(f),merge(g)].
% 1.54/1.81 1679 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(1661,e,1452,c),merge(f),merge(g),merge(h)].
% 1.54/1.81 1680 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))). [resolve(1679,e,1450,c),merge(e),merge(f)].
% 1.54/1.81 1681 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(1679,e,19,b)].
% 1.54/1.81 1684 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | 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(1474,d,1452,c),merge(g),merge(h),merge(i)].
% 1.54/1.81 1689 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | 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(1475,d,1452,c),merge(g),merge(h),merge(i)].
% 1.54/1.81 1690 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(1664,f,1680,e),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 1692 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,zero). [resolve(1690,e,1681,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 1698 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1692,e,1632,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 1701 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,growth_rate(first_movers,sk1(sk3))). [para(1698(c,1),1449(c,1)),merge(d),merge(e)].
% 1.54/1.81 1703 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(1698(c,1),1427(c,1)),merge(d),merge(e)].
% 1.54/1.81 1719 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1703,d,1425,d),merge(d),merge(e)].
% 1.54/1.81 1725 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,zero). [para(1698(c,1),1719(d,1)),merge(d),merge(e),merge(f)].
% 1.54/1.81 1738 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1684,d,1719,d),merge(f),merge(g),merge(h)].
% 1.54/1.81 1741 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [para(1738(d,1),90(d,2)),merge(e),merge(g)].
% 1.54/1.81 1754 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(1741,f,47,a)].
% 1.54/1.81 1756 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1689,d,1719,d),merge(f),merge(g),merge(h)].
% 1.54/1.81 1765 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(1756(d,1),90(d,1)),merge(e),merge(g)].
% 1.54/1.81 1786 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),sk2(sk3)). [resolve(1765,f,1754,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 1791 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(sk1(sk3),equilibrium(sk3)). [resolve(1786,e,70,b),merge(e)].
% 1.54/1.81 1797 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(1791,e,16,a)].
% 1.54/1.81 1798 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,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(1797,e,1448,c),merge(e),merge(f),merge(g)].
% 1.54/1.81 1814 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1798,e,1452,c),merge(f),merge(g),merge(h)].
% 1.54/1.81 1815 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(1814,e,1719,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 1822 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,zero). [para(1815(c,1),1701(d,2)),merge(d),merge(e),merge(f)].
% 1.54/1.81 1823 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(1822,d,1725,d),merge(d),merge(e),merge(f)].
% 1.54/1.81 1825 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater(growth_rate(efficient_producers,sk2(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(1823(c,1),47(a,1,2))].
% 1.54/1.81 1826 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk2(sk3)). [para(1823(c,1),45(a,4))].
% 1.54/1.81 1827 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater_or_equal(sk2(sk3),sk1(sk3)) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),growth_rate(first_movers,sk4(sk2(sk3)))). [para(1823(c,1),68(a,1))].
% 1.54/1.81 1836 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(1826,c,38,a),unit_del(c,28)].
% 1.54/1.81 1839 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(1826,c,35,a),unit_del(c,28)].
% 1.54/1.81 1840 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk2(sk3))) | greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(1826,c,34,a),unit_del(c,28)].
% 1.54/1.81 1843 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(growth_rate(first_movers,sk2(sk3)),zero) | greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(1826,c,31,a),unit_del(c,28)].
% 1.54/1.81 1844 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(1826,c,30,a)].
% 1.54/1.81 1845 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater(growth_rate(efficient_producers,sk2(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [para(1823(c,1),1825(d,2,2)),merge(c),merge(d)].
% 1.54/1.81 1846 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),growth_rate(first_movers,sk4(sk2(sk3)))) | greater(sk1(sk3),sk2(sk3)). [resolve(1827,c,82,c),merge(e)].
% 1.54/1.81 1847 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(1844,c,82,c),merge(e)].
% 1.54/1.81 1848 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(1847,c,19,b)].
% 1.54/1.81 1849 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(1847,c,19,a)].
% 1.54/1.81 1854 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk4(sk2(sk3)))) | greater(sk1(sk3),sk2(sk3)). [para(1823(c,1),1846(c,1,2)),merge(c),merge(d)].
% 1.54/1.81 1889 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(1839,d,1849,d),merge(e),merge(f),merge(h)].
% 1.54/1.81 1894 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(1889,d,1845,c),merge(e),merge(f)].
% 1.54/1.81 1903 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(1894,e,1836,e),merge(e),merge(f),merge(g)].
% 1.54/1.81 1904 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(1903,e,1848,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 1908 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)). [resolve(1904,e,1894,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 1915 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(sk1(sk3),equilibrium(sk3)). [resolve(1908,d,70,b),merge(d)].
% 1.54/1.81 1921 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(1915,d,16,a)].
% 1.54/1.81 1922 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(1921,d,1448,c),merge(d),merge(e)].
% 1.54/1.81 1925 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(1921,d,1445,c),merge(d),merge(e)].
% 1.54/1.81 1937 sk2(sk3) = equilibrium(sk3) | sk2(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(1921,d,1432,c),merge(d),merge(e)].
% 1.54/1.81 1959 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk2(sk3)),zero) | greater(sk1(sk3),sk2(sk3)). [resolve(1843,d,1849,d),merge(e),merge(f),merge(h)].
% 1.54/1.81 1969 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(1959,d,1845,c),merge(e),merge(f)].
% 1.54/1.81 1973 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(efficient_producers,sk2(sk3))). [resolve(1969,e,1840,e),merge(e),merge(f),merge(g)].
% 1.54/1.81 1974 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)) | greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(1973,e,1848,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 1978 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(sk1(sk3),sk2(sk3)). [resolve(1974,e,1969,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 1979 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(sk1(sk3),equilibrium(sk3)). [resolve(1978,d,70,b),merge(d)].
% 1.54/1.81 1985 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(1979,d,16,a)].
% 1.54/1.81 1988 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,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(1985,d,1448,c),merge(d),merge(e)].
% 1.54/1.81 1991 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,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(1985,d,1445,c),merge(d),merge(e)].
% 1.54/1.81 1992 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(first_movers,sk1(sk3)),zero) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1985,d,1444,c),merge(d),merge(e)].
% 1.54/1.81 1995 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,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(1985,d,1441,c),merge(d),merge(e)].
% 1.54/1.81 2280 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(1922,e,1452,c),merge(f),merge(g),merge(h)].
% 1.54/1.81 2287 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(2280,e,1450,c),merge(e),merge(f)].
% 1.54/1.81 2304 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(1925,f,2287,e),merge(f),merge(g),merge(h),merge(i)].
% 1.54/1.81 2339 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(2304,e,1451,c),merge(e),merge(f)].
% 1.54/1.81 2355 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero. [resolve(2339,e,2287,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 2358 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [para(2355(d,1),1449(c,2)),merge(d),merge(e)].
% 1.54/1.81 2360 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(2355(d,1),1428(c,2)),merge(d),merge(e)].
% 1.54/1.81 2380 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(2358,d,1450,c),merge(d),merge(e)].
% 1.54/1.81 2393 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,zero). [para(2355(d,1),2380(d,2)),merge(d),merge(e),merge(f)].
% 1.54/1.81 2400 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(2360,d,43,a)].
% 1.54/1.81 2401 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(A,growth_rate(efficient_producers,sk4(sk1(sk3)))) | greater(A,zero). [resolve(2360,d,19,b)].
% 1.54/1.81 2436 sk2(sk3) = equilibrium(sk3) | sk2(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(1937,f,2400,d),merge(f),merge(g),merge(h)].
% 1.54/1.81 2534 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | greater(zero,zero). [resolve(2436,e,2401,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 2552 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(2534,e,2393,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 2558 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(zero,zero). [para(2552(d,1),2360(d,1)),merge(d),merge(e),merge(f)].
% 1.54/1.81 2564 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1988,e,1452,c),merge(f),merge(g),merge(h)].
% 1.54/1.81 2565 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero. [resolve(2558,d,2393,d),merge(d),merge(e),merge(f)].
% 1.54/1.81 2568 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater(zero,zero) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [para(2565(c,1),1845(c,1)),merge(c),merge(d)].
% 1.54/1.81 2571 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))) | greater(sk1(sk3),sk2(sk3)). [para(2565(c,1),1854(c,1)),merge(c),merge(d)].
% 1.54/1.81 2602 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(sk1(sk3),sk2(sk3)) | -greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(2571,c,1825,d),merge(d),merge(e)].
% 1.54/1.81 2609 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(1992,e,1452,c),merge(f),merge(g),merge(h)].
% 1.54/1.81 2624 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(2564,e,1450,c),merge(e),merge(f)].
% 1.54/1.81 2645 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(2609,e,1450,c),merge(e),merge(f)].
% 1.54/1.81 2650 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(2624,e,1991,f),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 2651 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(2645,e,1995,f),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 2667 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(2650,e,1451,c),merge(e),merge(f)].
% 1.54/1.81 2680 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(2651,e,1451,c),merge(e),merge(f)].
% 1.54/1.81 2686 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(first_movers,sk1(sk3)) = zero. [resolve(2667,e,2624,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 2699 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk2(sk3)),zero) | greater(sk1(sk3),sk2(sk3)). [para(2686(c,1),1847(c,2)),merge(d),merge(e)].
% 1.54/1.81 2704 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | -greater(zero,zero). [para(2686(c,1),2568(d,2)),merge(d),merge(e),merge(g)].
% 1.54/1.81 2762 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(sk1(sk3),sk2(sk3)). [resolve(2699,d,2602,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 2763 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(sk1(sk3),equilibrium(sk3)). [resolve(2762,d,70,b),merge(d)].
% 1.54/1.81 2783 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(2763,d,16,a)].
% 1.54/1.81 2784 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(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(2783,d,1448,c),merge(d),merge(e),merge(f)].
% 1.54/1.81 2787 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(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(2783,d,1445,c),merge(d),merge(e),merge(f)].
% 1.54/1.81 2799 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | growth_rate(efficient_producers,sk1(sk3)) = zero. [resolve(2680,e,2645,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 2805 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk2(sk3)),zero) | greater(sk1(sk3),sk2(sk3)). [para(2799(c,1),1847(c,2)),merge(d),merge(e)].
% 1.54/1.81 2846 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(sk1(sk3),sk2(sk3)). [resolve(2805,d,2602,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 2847 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(sk1(sk3),equilibrium(sk3)). [resolve(2846,d,70,b),merge(d)].
% 1.54/1.81 2856 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(2847,d,16,a)].
% 1.54/1.81 2860 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(2856,d,1441,c),merge(d),merge(e),merge(f)].
% 1.54/1.81 2875 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(2784,d,1452,c),merge(e),merge(f),merge(g)].
% 1.54/1.81 2885 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(2875,d,1450,c),merge(d),merge(e)].
% 1.54/1.81 2886 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | -greater(A,growth_rate(efficient_producers,sk1(sk3))) | greater(A,zero). [resolve(2875,d,19,b)].
% 1.54/1.81 2905 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(2787,e,2885,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 2907 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,zero). [resolve(2905,d,2886,d),merge(d),merge(e),merge(f)].
% 1.54/1.81 2920 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(first_movers,sk1(sk3)) = zero. [resolve(2907,d,2704,d),merge(d),merge(e),merge(f)].
% 1.54/1.81 2923 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [para(2920(c,1),1449(c,2)),merge(c),merge(d)].
% 1.54/1.81 2944 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(2923,c,1450,c),merge(c),merge(d)].
% 1.54/1.81 2945 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater(A,growth_rate(efficient_producers,sk1(sk3))) | greater(A,zero). [resolve(2923,c,19,b)].
% 1.54/1.81 2946 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | -greater(zero,zero). [para(2920(c,1),2944(c,2)),merge(c),merge(d)].
% 1.54/1.81 2965 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))). [resolve(2860,e,2944,c),merge(e),merge(f)].
% 1.54/1.81 3004 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,zero). [resolve(2965,d,2945,c),merge(d),merge(e)].
% 1.54/1.81 3012 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero. [resolve(3004,d,2946,c),merge(d),merge(e)].
% 1.54/1.81 3019 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3) | greater(zero,zero). [para(3012(c,1),2923(c,1)),merge(c),merge(d)].
% 1.54/1.81 3020 sk2(sk3) = equilibrium(sk3) | sk2(sk3) = sk1(sk3). [resolve(3019,c,2946,c),merge(c),merge(d)].
% 1.54/1.81 3033 sk2(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),growth_rate(first_movers,sk4(sk2(sk3)))). [para(3020(b,1),68(a,1,1)),unit_del(b,42)].
% 1.54/1.81 3103 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(3033,b,149,d),merge(c)].
% 1.54/1.81 3104 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(3033,b,140,d),merge(c)].
% 1.54/1.81 3105 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(3033,b,135,e),merge(d)].
% 1.54/1.81 3217 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(3105,c,47,a)].
% 1.54/1.81 3236 sk2(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk4(sk2(sk3))) = zero | sk4(sk2(sk3)) = sk2(sk3). [resolve(3217,d,3103,d),merge(d),merge(e),merge(f)].
% 1.54/1.81 3242 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(growth_rate(efficient_producers,sk4(sk2(sk3))),zero). [para(3236(b,1),3033(b,2)),merge(c)].
% 1.54/1.81 3253 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [resolve(3242,c,47,a)].
% 1.54/1.81 3262 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | growth_rate(efficient_producers,sk4(sk2(sk3))) = zero. [resolve(3253,c,3104,d),merge(c),merge(e)].
% 1.54/1.81 3263 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | -greater(zero,zero). [para(3236(b,1),3253(c,2)),merge(c),merge(d)].
% 1.54/1.81 3273 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3) | greater(zero,zero). [para(3262(c,1),3242(c,1)),merge(c),merge(d)].
% 1.54/1.81 3274 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk2(sk3). [resolve(3273,c,3263,c),merge(c),merge(d)].
% 1.54/1.81 3276 sk2(sk3) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk2(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(3274(b,1),47(a,1,2))].
% 1.54/1.81 3277 sk2(sk3) = equilibrium(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk2(sk3)). [para(3274(b,1),45(a,4))].
% 1.54/1.81 3287 sk2(sk3) = equilibrium(sk3) | sk4(sk2(sk3)) = sk1(sk3). [para(3020(b,1),3274(b,2)),merge(b)].
% 1.54/1.81 3288 sk2(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk4(sk2(sk3)))). [para(3274(b,1),3033(b,1,2)),merge(b)].
% 1.54/1.81 3306 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(3277,b,38,a),unit_del(b,28)].
% 1.54/1.81 3309 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(3277,b,35,a),unit_del(b,28)].
% 1.54/1.81 3313 sk2(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(growth_rate(first_movers,sk2(sk3)),zero) | greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(3277,b,31,a),unit_del(b,28)].
% 1.54/1.81 3328 sk2(sk3) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk1(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(3287(b,1),47(a,1,2))].
% 1.54/1.81 3341 sk2(sk3) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk2(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk2(sk3))). [para(3274(b,1),3276(c,2,2)),merge(b)].
% 1.54/1.81 3342 sk2(sk3) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk2(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(3287(b,1),3276(c,2,2)),merge(b)].
% 1.54/1.81 3366 sk2(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk2(sk3))). [para(3274(b,1),3288(b,2,2)),merge(b)].
% 1.54/1.81 3367 sk2(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk2(sk3)),growth_rate(first_movers,sk1(sk3))). [para(3287(b,1),3288(b,2,2)),merge(b)].
% 1.54/1.81 3376 sk2(sk3) = equilibrium(sk3) | -greater(growth_rate(first_movers,sk2(sk3)),A) | greater(growth_rate(efficient_producers,sk2(sk3)),A). [resolve(3366,b,19,a)].
% 1.54/1.81 3379 sk2(sk3) = equilibrium(sk3) | -greater(A,growth_rate(efficient_producers,sk2(sk3))) | greater(A,growth_rate(first_movers,sk1(sk3))). [resolve(3367,b,19,b)].
% 1.54/1.81 3455 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(3309,c,3376,b),merge(d),merge(e)].
% 1.54/1.81 3456 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(3455,c,3342,b),merge(c)].
% 1.54/1.81 3457 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk2(sk3))). [resolve(3455,c,3341,b),merge(c)].
% 1.54/1.81 3462 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk2(sk3))). [resolve(3457,c,3306,d),merge(c),merge(d)].
% 1.54/1.81 3471 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero | greater(zero,growth_rate(first_movers,sk1(sk3))). [resolve(3462,c,3379,b),merge(c)].
% 1.54/1.81 3479 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk2(sk3)) = zero. [resolve(3471,c,3456,c),merge(c),merge(d)].
% 1.54/1.81 3488 sk2(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero. [para(3020(b,1),3479(b,1,2)),merge(b)].
% 1.54/1.81 3489 sk2(sk3) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk4(sk2(sk3)))). [para(3479(b,1),3288(b,1)),merge(b)].
% 1.54/1.81 3490 sk2(sk3) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk2(sk3))). [para(3479(b,1),3366(b,1)),merge(b)].
% 1.54/1.81 3507 sk2(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk2(sk3)) = zero | greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(3313,c,3376,b),merge(d),merge(e)].
% 1.54/1.81 3517 sk2(sk3) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(3489,b,3328,c),merge(b)].
% 1.54/1.81 3518 sk2(sk3) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk2(sk3)),zero). [resolve(3489,b,3276,c),merge(b)].
% 1.54/1.81 3520 sk2(sk3) = equilibrium(sk3) | -greater(zero,zero). [para(3488(b,1),3517(b,1)),merge(b)].
% 1.54/1.81 3538 sk2(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk2(sk3)) = zero. [resolve(3507,c,3518,b),merge(c)].
% 1.54/1.81 3551 sk2(sk3) = equilibrium(sk3) | greater(zero,zero). [para(3538(b,1),3490(b,2)),merge(b)].
% 1.54/1.81 3552 sk2(sk3) = equilibrium(sk3). [resolve(3551,b,3520,b),merge(b)].
% 1.54/1.81 3554 sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3) | -greater(growth_rate(first_movers,sk4(equilibrium(sk3))),A) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),A). [back_rewrite(100),rewrite([3552(2),3552(5),3552(10),3552(13),3552(19),3552(25)]),flip(c)].
% 1.54/1.81 3555 sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3) | -greater(A,growth_rate(efficient_producers,sk4(equilibrium(sk3)))) | greater(A,growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_rewrite(99),rewrite([3552(2),3552(5),3552(10),3552(13),3552(19),3552(25)]),flip(c)].
% 1.54/1.81 3561 greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3) | greater_or_equal(equilibrium(sk3),sk1(sk3)). [back_rewrite(82),rewrite([3552(4),3552(7),3552(12)]),flip(b)].
% 1.54/1.81 3564 sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(equilibrium(sk3),A) | greater(sk4(equilibrium(sk3)),A). [back_rewrite(78),rewrite([3552(2),3552(5),3552(8),3552(11)])].
% 1.54/1.81 3566 greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)). [back_rewrite(69),rewrite([3552(4),3552(7),3552(12)]),flip(b)].
% 1.54/1.81 3567 -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(68),rewrite([3552(2),3552(9),3552(14)])].
% 1.54/1.81 3568 -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(67),rewrite([3552(2),3552(9),3552(16),3552(23)])].
% 1.54/1.81 3570 -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(65),rewrite([3552(2),3552(9),3552(17),3552(23)])].
% 1.54/1.81 3571 -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(64),rewrite([3552(2),3552(9),3552(17),3552(24)])].
% 1.54/1.81 3572 -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(63),rewrite([3552(2),3552(9),3552(16),3552(23)])].
% 1.54/1.81 3573 -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(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_rewrite(62),rewrite([3552(2),3552(9),3552(16),3552(24)])].
% 1.54/1.81 3574 -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(61),rewrite([3552(2),3552(9),3552(17),3552(23)])].
% 1.54/1.81 3575 -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(60),rewrite([3552(2),3552(9),3552(17),3552(24)])].
% 1.54/1.81 3577 -greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_rewrite(47),rewrite([3552(3),3552(11)])].
% 1.54/1.81 3578 greater_or_equal(sk4(equilibrium(sk3)),equilibrium(sk3)). [back_rewrite(46),rewrite([3552(2),3552(5)])].
% 1.54/1.81 3579 subpopulations(first_movers,efficient_producers,sk3,sk4(equilibrium(sk3))). [back_rewrite(45),rewrite([3552(5)])].
% 1.54/1.81 3582 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(3575),unit_del(a,3578)].
% 1.54/1.81 3583 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(3574),unit_del(a,3578)].
% 1.54/1.81 3584 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(first_movers,sk4(equilibrium(sk3))),zero) | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_unit_del(3573),unit_del(a,3578)].
% 1.54/1.81 3585 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(3572),unit_del(a,3578)].
% 1.54/1.81 3586 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(3571),unit_del(a,3578)].
% 1.54/1.81 3587 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(3570),unit_del(a,3578)].
% 1.54/1.81 3589 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(3568),unit_del(a,3578)].
% 1.54/1.81 3590 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(3566,a,76,b)].
% 1.54/1.81 3593 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(3566,a,16,a)].
% 1.54/1.81 3598 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(3583,c,3577,a)].
% 1.54/1.81 3606 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3). [resolve(3585,b,3554,d),merge(f)].
% 1.54/1.81 3607 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(3585,b,19,b)].
% 1.54/1.81 3610 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(3607,b,d)].
% 1.54/1.81 3615 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(3587,c,3577,a)].
% 1.54/1.81 3623 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3). [resolve(3589,b,3554,d),merge(f)].
% 1.54/1.81 3624 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(3589,b,19,b)].
% 1.54/1.81 3627 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(3624,b,d)].
% 1.54/1.81 3629 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))). [resolve(3598,c,3582,c),merge(c),merge(d)].
% 1.54/1.81 3630 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3629,b,3555,d)].
% 1.54/1.81 3632 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | -greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),A) | greater(zero,A). [resolve(3629,b,19,a)].
% 1.54/1.81 3638 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(efficient_producers,sk4(equilibrium(sk3)))). [resolve(3615,c,3586,c),merge(c),merge(d)].
% 1.54/1.81 3639 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3638,b,3555,d)].
% 1.54/1.81 3641 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | -greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),A) | greater(zero,A). [resolve(3638,b,19,a)].
% 1.54/1.81 3647 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(3590,d,16,a)].
% 1.54/1.81 3648 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(3647,d,58,a)].
% 1.54/1.81 3651 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(3647,d,55,a)].
% 1.54/1.81 3652 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(3647,d,54,a)].
% 1.54/1.81 3655 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(3647,d,51,a)].
% 1.54/1.81 3660 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3606,b,3577,a)].
% 1.54/1.81 3666 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(3623,b,3577,a)].
% 1.54/1.81 3694 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(3648,e,73,a),merge(f)].
% 1.54/1.81 3714 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(3652,e,73,a),merge(f)].
% 1.54/1.81 3716 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3). [resolve(3660,e,3630,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 3722 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(3716,c,76,b)].
% 1.54/1.81 3734 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | sk1(sk3) = equilibrium(sk3). [resolve(3666,e,3639,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 3738 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | sk1(sk3) = equilibrium(sk3) | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(3734,c,16,a)].
% 1.54/1.81 3741 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(3694,e,43,a)].
% 1.54/1.81 3747 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(3714,e,43,a)].
% 1.54/1.81 3753 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater_or_equal(sk4(sk1(sk3)),equilibrium(sk3)). [resolve(3722,e,16,a)].
% 1.54/1.81 3761 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(3741,e,3651,f),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 3762 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(3747,e,3655,f),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 3766 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | sk1(sk3) = equilibrium(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(3753,e,58,a)].
% 1.54/1.81 3786 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(3761,e,72,a)].
% 1.54/1.81 3794 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(3762,e,72,a)].
% 1.54/1.81 3802 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(3786,e,3741,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 3807 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(3802,b,3564,b)].
% 1.54/1.81 3810 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater_or_equal(equilibrium(sk3),sk1(sk3)). [resolve(3802,b,16,a)].
% 1.54/1.81 3814 sk1(sk3) = equilibrium(sk3) | greater(equilibrium(sk3),sk1(sk3)) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(3794,e,3747,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 3819 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(3814,b,3564,b)].
% 1.54/1.81 3822 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(3814,b,16,a)].
% 1.54/1.81 3825 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(3807,e,16,a)].
% 1.54/1.81 3828 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(3819,e,16,a)].
% 1.54/1.81 3829 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(3825,e,3567,a)].
% 1.54/1.81 3830 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(3828,e,3567,a)].
% 1.54/1.81 3833 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [resolve(3766,f,73,a),merge(g)].
% 1.54/1.81 3847 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(3829,e,3641,b)].
% 1.54/1.81 3849 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(3829,e,3627,c)].
% 1.54/1.81 3863 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(3830,e,3632,b)].
% 1.54/1.81 3864 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(3830,e,3627,c)].
% 1.54/1.81 3883 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | sk4(equilibrium(sk3)) = equilibrium(sk3) | sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(3833,f,43,a)].
% 1.54/1.81 3895 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(3849,f,3577,a)].
% 1.54/1.81 3917 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(3864,f,3641,b),merge(f)].
% 1.54/1.81 3951 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(3895,f,3847,f),merge(f),merge(g),merge(h),merge(i),merge(j)].
% 1.54/1.81 3954 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(3951(c,1),59(a,2))].
% 1.54/1.81 3961 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(3954,e,43,a)].
% 1.54/1.81 3967 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(3951(c,1),3961(e,2)),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 3969 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(3967,e,3917,f),merge(e),merge(f),merge(h),merge(i)].
% 1.54/1.81 3976 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(3969(d,1),3830(e,2)),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 3986 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(3976,e,3577,a)].
% 1.54/1.81 3988 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(3986,e,3863,f),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 3993 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(3988(d,1),59(a,1))].
% 1.54/1.81 4002 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(3993,e,3883,f),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 4011 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(4002(e,1),59(a,2))].
% 1.54/1.81 4018 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)))). [resolve(4011,e,43,a)].
% 1.54/1.81 4020 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero. [resolve(4018,e,3993,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 4023 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(zero,zero) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [para(4020(d,1),3577(a,1))].
% 1.54/1.81 4027 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(4020(d,1),3638(b,2))].
% 1.54/1.81 4029 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [para(4020(d,1),3829(e,1)),merge(d),merge(e),merge(g)].
% 1.54/1.81 4034 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(4020(d,1),3976(e,1)),merge(d),merge(e),merge(f)].
% 1.54/1.81 4035 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(4027,e,3967,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.81 4042 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(zero,zero). [para(4035(d,1),4023(e,2)),merge(d),merge(e),merge(f),merge(h)].
% 1.54/1.81 4043 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(4034,e,4042,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 4046 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(4043(d,1),59(a,1))].
% 1.54/1.81 4062 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | greater(zero,zero). [para(4035(d,1),4029(e,2)),merge(d),merge(e),merge(f)].
% 1.54/1.81 4063 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(4062,e,4042,d),merge(e),merge(f),merge(g)].
% 1.54/1.81 4068 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(zero,zero). [para(4063(d,1),4046(d,2)),merge(d),merge(e),merge(f)].
% 1.54/1.81 4069 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3). [resolve(4068,d,4042,d),merge(d),merge(e),merge(f)].
% 1.54/1.81 4071 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk1(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(4069(b,1),43(a,1,2))].
% 1.54/1.82 4072 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk1(sk3)). [para(4069(b,1),41(a,4))].
% 1.54/1.82 4073 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk4(sk1(sk3)))). [para(4069(b,1),59(a,1,2))].
% 1.54/1.82 4087 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk1(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(4069(b,1),4071(d,2,2)),merge(c),merge(d)].
% 1.54/1.82 4088 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(4072,c,38,a)].
% 1.54/1.82 4091 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(4072,c,35,a)].
% 1.54/1.82 4093 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater_or_equal(sk1(sk3),equilibrium(sk3)) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(4072,c,33,a)].
% 1.54/1.82 4095 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(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(4072,c,31,a)].
% 1.54/1.82 4096 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3))). [resolve(4072,c,30,a),unit_del(c,39)].
% 1.54/1.82 4097 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(4096,c,19,b)].
% 1.54/1.82 4098 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(4096,c,19,a)].
% 1.54/1.82 4107 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(4088,c,3593,c),merge(f)].
% 1.54/1.82 4116 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(4091,c,3593,c),merge(f)].
% 1.54/1.82 4123 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(4093,c,3738,d),merge(g),merge(h)].
% 1.54/1.82 4131 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(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) | greater(equilibrium(sk3),sk1(sk3)). [resolve(4095,c,3593,c),merge(f)].
% 1.54/1.82 4156 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(4116,d,4098,c),merge(f),merge(g),merge(h)].
% 1.54/1.82 4160 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(4156,d,4087,c),merge(e),merge(f)].
% 1.54/1.82 4166 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(4160,e,4107,e),merge(e),merge(f),merge(g),merge(i)].
% 1.54/1.82 4167 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(4166,e,4097,c),merge(e),merge(f)].
% 1.54/1.82 4179 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)). [resolve(4167,e,4160,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.82 4184 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(sk4(equilibrium(sk3)),sk1(sk3)). [resolve(4179,d,3564,b),merge(d)].
% 1.54/1.82 4190 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(4184,d,16,a)].
% 1.54/1.82 4194 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(4190,d,3567,a)].
% 1.54/1.82 4206 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(4194,d,3641,b)].
% 1.54/1.82 4207 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(4194,d,3632,b)].
% 1.54/1.82 4208 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(4194,d,3627,c)].
% 1.54/1.82 4232 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(4208,e,3577,a)].
% 1.54/1.82 4257 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(4232,e,4206,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.82 4263 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(4257(d,1),4194(d,2)),merge(d),merge(e),merge(f)].
% 1.54/1.82 4270 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(4263,d,3577,a)].
% 1.54/1.82 4272 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(4270,d,4207,e),merge(d),merge(e),merge(f)].
% 1.54/1.82 4273 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,zero). [para(4257(d,1),4270(d,2)),merge(d),merge(e),merge(f)].
% 1.54/1.82 4285 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,zero). [para(4272(d,1),4263(d,1)),merge(d),merge(e),merge(f)].
% 1.54/1.82 4286 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero. [resolve(4285,d,4273,d),merge(d),merge(e),merge(f)].
% 1.54/1.82 4289 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk1(sk3))). [para(4286(c,1),4096(c,1)),merge(c),merge(d)].
% 1.54/1.82 4291 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(4286(c,1),4073(c,1)),merge(c),merge(d)].
% 1.54/1.82 4312 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(4291,c,4071,d),merge(c),merge(d)].
% 1.54/1.82 4318 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | -greater(zero,zero). [para(4286(c,1),4312(c,1)),merge(c),merge(d)].
% 1.54/1.82 4319 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(4123,e,4312,c),merge(f),merge(g)].
% 1.54/1.82 4325 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,zero) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [para(4286(c,1),4319(d,2)),merge(c),merge(d)].
% 1.54/1.82 4326 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(4325,d,4318,c),merge(e),merge(f)].
% 1.54/1.82 4356 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | greater(equilibrium(sk3),sk1(sk3)). [resolve(4131,d,4098,c),merge(f),merge(g),merge(h)].
% 1.54/1.82 4357 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)). [resolve(4356,d,4312,c),merge(e),merge(f)].
% 1.54/1.82 4360 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(sk4(equilibrium(sk3)),sk1(sk3)). [resolve(4357,d,3564,b),merge(d)].
% 1.54/1.82 4366 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater_or_equal(sk4(equilibrium(sk3)),sk1(sk3)). [resolve(4360,d,16,a)].
% 1.54/1.82 4373 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(4366,d,3567,a)].
% 1.54/1.82 4389 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [para(4326(d,1),4373(d,2)),merge(d),merge(e),merge(f)].
% 1.54/1.82 4392 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,zero). [resolve(4389,d,3632,b)].
% 1.54/1.82 4406 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero. [resolve(4392,e,4318,c),merge(e),merge(f)].
% 1.54/1.82 4411 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,zero). [para(4406(d,1),4389(d,1)),merge(d),merge(e),merge(f)].
% 1.54/1.82 4418 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero. [resolve(4411,d,4318,c),merge(d),merge(e)].
% 1.54/1.82 4425 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3) | greater(zero,zero). [para(4418(c,1),4289(c,2)),merge(c),merge(d)].
% 1.54/1.82 4426 sk1(sk3) = equilibrium(sk3) | sk4(equilibrium(sk3)) = equilibrium(sk3). [resolve(4425,c,4318,c),merge(c),merge(d)].
% 1.54/1.82 4428 sk1(sk3) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [para(4426(b,1),3577(a,1,2))].
% 1.54/1.82 4429 sk1(sk3) = equilibrium(sk3) | subpopulations(first_movers,efficient_producers,sk3,equilibrium(sk3)). [para(4426(b,1),3579(a,4))].
% 1.54/1.82 4430 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(4426(b,1),3567(a,1))].
% 1.54/1.82 4431 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(first_movers,equilibrium(sk3)),zero) | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [para(4426(b,1),3584(b,1,2))].
% 1.54/1.82 4432 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(first_movers,equilibrium(sk3)),zero) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [para(4426(b,1),3585(b,1,2))].
% 1.54/1.82 4477 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(4429,b,38,a),unit_del(b,39)].
% 1.54/1.82 4478 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(4429,b,37,a),unit_del(b,39)].
% 1.54/1.82 4481 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(4429,b,34,a),unit_del(b,39)].
% 1.54/1.82 4482 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(4429,b,33,a),unit_del(b,39)].
% 1.54/1.82 4484 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(4429,b,31,a),unit_del(b,39)].
% 1.54/1.82 4485 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(4429,b,30,a)].
% 1.54/1.82 4486 sk1(sk3) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) | -greater(zero,growth_rate(first_movers,equilibrium(sk3))). [para(4426(b,1),4428(c,2,2)),merge(b)].
% 1.54/1.82 4490 sk1(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))) | greater(sk1(sk3),equilibrium(sk3)). [resolve(4430,b,3561,c),merge(d)].
% 1.54/1.82 4492 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(4485,b,3822,d),merge(c)].
% 1.54/1.82 4493 sk1(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3))) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(4485,b,3810,d),merge(c)].
% 1.54/1.82 4509 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(first_movers,equilibrium(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(4432,d,3577,a)].
% 1.54/1.82 4524 sk1(sk3) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(4490,b,3641,b)].
% 1.54/1.82 4526 sk1(sk3) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [resolve(4490,b,3627,c)].
% 1.54/1.82 4573 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(4478,d,4486,b),merge(d)].
% 1.54/1.82 4622 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(4482,d,4486,b),merge(d)].
% 1.54/1.82 4639 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(4484,c,19,b)].
% 1.54/1.82 4642 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(4639,c,e)].
% 1.54/1.82 4695 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))). [resolve(4573,d,4477,d),merge(d),merge(e),merge(f)].
% 1.54/1.82 4697 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | -greater(growth_rate(efficient_producers,equilibrium(sk3)),A) | greater(zero,A). [resolve(4695,c,19,a)].
% 1.54/1.82 4708 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,growth_rate(efficient_producers,equilibrium(sk3))). [resolve(4622,d,4481,d),merge(d),merge(e),merge(f)].
% 1.54/1.82 4710 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | -greater(growth_rate(efficient_producers,equilibrium(sk3)),A) | greater(zero,A). [resolve(4708,c,19,a)].
% 1.54/1.82 4785 sk1(sk3) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | -greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(4524,d,4428,c),merge(d)].
% 1.54/1.82 4795 sk1(sk3) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [para(4426(b,1),4526(d,1,2)),merge(b)].
% 1.54/1.82 4796 sk1(sk3) = equilibrium(sk3) | greater(sk1(sk3),equilibrium(sk3)) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(4795,d,4785,d),merge(d),merge(e),merge(f)].
% 1.54/1.82 4805 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater_or_equal(sk1(sk3),equilibrium(sk3)). [resolve(4796,b,16,a)].
% 1.54/1.82 4850 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(first_movers,equilibrium(sk3)),zero). [resolve(4509,d,4431,d),merge(d),merge(e),merge(f)].
% 1.54/1.82 4927 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,growth_rate(first_movers,equilibrium(sk3))). [resolve(4492,b,4710,c),merge(d)].
% 1.54/1.82 4928 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,equilibrium(sk3))). [resolve(4492,b,4697,c),merge(d)].
% 1.54/1.82 4929 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(4492,b,4639,d),merge(d),merge(g)].
% 1.54/1.82 4951 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(first_movers,equilibrium(sk3))). [resolve(4493,b,4697,c),merge(d)].
% 1.54/1.82 4952 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [resolve(4493,b,4642,d),merge(d)].
% 1.54/1.82 5019 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero | -greater(zero,growth_rate(first_movers,equilibrium(sk3))). [resolve(4929,e,4486,b),merge(e)].
% 1.54/1.82 5051 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,zero). [resolve(4952,e,4710,c),merge(e),merge(f)].
% 1.54/1.82 5076 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero. [resolve(5019,e,4927,e),merge(e),merge(f),merge(g),merge(h)].
% 1.54/1.82 5085 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | -greater(zero,zero) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(5076(c,1),43(a,1))].
% 1.54/1.82 5086 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(5076(c,1),59(a,1))].
% 1.54/1.82 5098 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | -greater(zero,zero). [resolve(5085,e,5086,d),merge(e),merge(f),merge(g)].
% 1.54/1.82 5100 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(5098,d,5051,e),merge(d),merge(e),merge(g)].
% 1.54/1.82 5104 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,zero). [para(5100(d,1),5086(d,2)),merge(d),merge(e),merge(f)].
% 1.54/1.82 5105 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero. [resolve(5104,d,5098,d),merge(d),merge(e),merge(f)].
% 1.54/1.82 5118 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [para(5105(c,1),4492(b,2)),merge(c),merge(e)].
% 1.54/1.82 5119 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero) | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [para(5105(c,1),4493(b,2)),merge(c),merge(e)].
% 1.54/1.82 5153 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,equilibrium(sk3))). [resolve(5118,c,4486,b),merge(d)].
% 1.54/1.82 5155 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | -greater(zero,growth_rate(first_movers,equilibrium(sk3))). [resolve(5119,c,4486,b),merge(d)].
% 1.54/1.82 5163 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero | growth_rate(efficient_producers,equilibrium(sk3)) = zero. [resolve(5153,d,4928,e),merge(d),merge(e),merge(f)].
% 1.54/1.82 5167 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero | growth_rate(efficient_producers,equilibrium(sk3)) = zero. [resolve(5155,d,4951,e),merge(d),merge(e),merge(f)].
% 1.54/1.82 5177 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(5163(c,1),59(a,1))].
% 1.54/1.82 5181 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | greater(growth_rate(efficient_producers,sk4(sk1(sk3))),zero). [para(5167(c,1),59(a,2))].
% 1.54/1.82 5196 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [resolve(5181,d,43,a)].
% 1.54/1.82 5198 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero. [resolve(5196,d,5177,d),merge(d),merge(e),merge(f)].
% 1.54/1.82 5201 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,zero) | -greater(zero,growth_rate(first_movers,equilibrium(sk3))). [para(5198(c,1),4486(b,1)),merge(c)].
% 1.54/1.82 5220 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,zero) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [para(5198(c,1),5118(c,1)),merge(c),merge(d)].
% 1.54/1.82 5221 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,zero) | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [para(5198(c,1),5119(c,1)),merge(c),merge(d)].
% 1.54/1.82 5226 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | -greater(zero,zero). [para(5105(c,1),5201(d,2)),merge(c),merge(d),merge(f)].
% 1.54/1.82 5240 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(efficient_producers,sk4(sk1(sk3))) = zero. [resolve(5220,c,5226,c),merge(d),merge(e)].
% 1.54/1.82 5243 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(5240(c,1),59(a,1))].
% 1.54/1.82 5247 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | growth_rate(first_movers,sk4(sk1(sk3))) = zero. [resolve(5221,c,5226,c),merge(d),merge(e)].
% 1.54/1.82 5251 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3) | greater(zero,zero). [para(5247(c,1),5243(c,2)),merge(c),merge(d)].
% 1.54/1.82 5252 sk1(sk3) = equilibrium(sk3) | sk4(sk1(sk3)) = sk1(sk3). [resolve(5251,c,5226,c),merge(c),merge(d)].
% 1.54/1.82 5254 sk1(sk3) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk1(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(5252(b,1),43(a,1,2))].
% 1.54/1.82 5255 sk1(sk3) = equilibrium(sk3) | subpopulations(first_movers,efficient_producers,sk3,sk1(sk3)). [para(5252(b,1),41(a,4))].
% 1.54/1.82 5256 sk1(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk4(sk1(sk3)))). [para(5252(b,1),59(a,1,2))].
% 1.54/1.82 5270 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(5255,b,38,a)].
% 1.54/1.82 5273 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(5255,b,35,a)].
% 1.54/1.82 5275 sk1(sk3) = equilibrium(sk3) | -greater_or_equal(sk1(sk3),equilibrium(sk3)) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(5255,b,33,a)].
% 1.54/1.82 5277 sk1(sk3) = equilibrium(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(5255,b,31,a)].
% 1.54/1.82 5278 sk1(sk3) = equilibrium(sk3) | greater(growth_rate(efficient_producers,sk1(sk3)),growth_rate(first_movers,sk1(sk3))). [resolve(5255,b,30,a),unit_del(b,39)].
% 1.54/1.82 5279 sk1(sk3) = equilibrium(sk3) | -greater(A,growth_rate(efficient_producers,sk1(sk3))) | greater(A,growth_rate(first_movers,sk1(sk3))). [resolve(5278,b,19,b)].
% 1.54/1.82 5280 sk1(sk3) = equilibrium(sk3) | -greater(growth_rate(first_movers,sk1(sk3)),A) | greater(growth_rate(efficient_producers,sk1(sk3)),A). [resolve(5278,b,19,a)].
% 1.54/1.82 5283 sk1(sk3) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk1(sk3)),zero) | -greater(zero,growth_rate(first_movers,sk1(sk3))). [para(5252(b,1),5254(c,2,2)),merge(b)].
% 1.54/1.82 5294 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(5270,b,3593,c),merge(e)].
% 1.54/1.82 5314 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(5273,b,3593,c),merge(e)].
% 1.54/1.82 5320 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(5275,b,4805,c),merge(e)].
% 1.54/1.82 5339 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) | greater(equilibrium(sk3),sk1(sk3)). [resolve(5277,b,3593,c),merge(e)].
% 1.54/1.82 5380 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(5314,c,5280,b),merge(e),merge(f)].
% 1.54/1.82 5381 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(5380,c,5283,b),merge(d)].
% 1.54/1.82 5391 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(5381,d,5294,d),merge(d),merge(e),merge(g)].
% 1.54/1.82 5397 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(5391,d,5279,b),merge(d)].
% 1.54/1.82 5412 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)). [resolve(5397,d,5381,d),merge(d),merge(e),merge(f)].
% 1.54/1.82 5423 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater_or_equal(equilibrium(sk3),sk1(sk3)). [resolve(5412,c,16,a)].
% 1.54/1.82 5424 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(5423,c,4485,b),merge(c)].
% 1.54/1.82 5425 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(5423,c,4430,b),merge(c)].
% 1.54/1.82 5447 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,growth_rate(first_movers,equilibrium(sk3))). [resolve(5424,c,4710,c),merge(c)].
% 1.54/1.82 5451 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(5424,c,4642,d),merge(c)].
% 1.54/1.82 5484 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,equilibrium(sk3))). [para(4426(b,1),5425(c,2,2)),merge(b)].
% 1.54/1.82 5535 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero | -greater(zero,growth_rate(first_movers,equilibrium(sk3))). [resolve(5451,d,4486,b),merge(d)].
% 1.54/1.82 5560 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero. [resolve(5535,d,5447,d),merge(d),merge(e),merge(f)].
% 1.54/1.82 5569 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,zero). [para(5560(c,1),4850(c,1)),merge(c)].
% 1.54/1.82 5571 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [para(5560(c,1),5424(c,2)),merge(c),merge(d)].
% 1.54/1.82 5573 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [para(5560(c,1),5484(c,2)),merge(c),merge(d)].
% 1.54/1.82 5581 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,growth_rate(first_movers,equilibrium(sk3))). [resolve(5571,c,4486,b),merge(c)].
% 1.54/1.82 5584 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | -greater(zero,zero). [para(5560(c,1),5581(c,2)),merge(c),merge(d)].
% 1.54/1.82 5656 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero. [resolve(5569,d,5584,c),merge(d),merge(e)].
% 1.54/1.82 5666 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero | greater(zero,zero). [para(5656(c,1),5573(c,1)),merge(c),merge(d)].
% 1.54/1.82 5667 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk1(sk3)) = zero. [resolve(5666,c,5584,c),merge(c),merge(d)].
% 1.54/1.82 5670 sk1(sk3) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk1(sk3))). [para(5667(b,1),5278(b,1)),merge(b)].
% 1.54/1.82 5672 sk1(sk3) = equilibrium(sk3) | greater(zero,growth_rate(first_movers,sk4(sk1(sk3)))). [para(5667(b,1),5256(b,1)),merge(b)].
% 1.54/1.82 5704 sk1(sk3) = equilibrium(sk3) | -greater(growth_rate(efficient_producers,sk1(sk3)),zero). [resolve(5672,b,5254,c),merge(b)].
% 1.54/1.82 5714 sk1(sk3) = equilibrium(sk3) | -greater(zero,zero). [para(5667(b,1),5704(b,1)),merge(b)].
% 1.54/1.82 5744 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,growth_rate(efficient_producers,sk1(sk3))) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(5320,d,5704,b),merge(e)].
% 1.54/1.82 5751 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,zero) | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [para(5667(b,1),5744(c,2)),merge(b)].
% 1.54/1.82 5752 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(5751,c,5714,b),merge(d)].
% 1.54/1.82 5757 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | growth_rate(first_movers,equilibrium(sk3)) = zero. [para(4426(b,1),5752(c,1,2)),merge(b)].
% 1.54/1.82 5771 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero | greater(zero,zero). [para(5757(b,1),5670(b,2)),merge(c)].
% 1.54/1.82 5773 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,equilibrium(sk3)) = zero. [resolve(5771,c,5714,b),merge(c)].
% 1.54/1.82 5784 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,zero). [para(5773(b,1),4850(c,1)),merge(b)].
% 1.54/1.82 5789 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero. [resolve(5784,c,5714,b),merge(c)].
% 1.54/1.82 5793 sk1(sk3) = equilibrium(sk3) | growth_rate(efficient_producers,equilibrium(sk3)) = zero. [para(4426(b,1),5789(b,1,2)),merge(b)].
% 1.54/1.82 5805 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,sk1(sk3)),zero) | greater(equilibrium(sk3),sk1(sk3)). [resolve(5339,c,5280,b),merge(e),merge(f)].
% 1.54/1.82 5858 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(equilibrium(sk3),sk1(sk3)). [resolve(5805,c,5704,b),merge(d)].
% 1.54/1.82 5863 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater_or_equal(equilibrium(sk3),sk1(sk3)). [resolve(5858,c,16,a)].
% 1.54/1.82 5864 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),growth_rate(first_movers,equilibrium(sk3))). [resolve(5863,c,4485,b),merge(c)].
% 1.54/1.82 5874 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(growth_rate(efficient_producers,equilibrium(sk3)),zero). [para(5773(b,1),5864(c,2)),merge(b)].
% 1.54/1.82 5881 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero | greater(zero,zero). [para(5793(b,1),5874(c,1)),merge(b)].
% 1.54/1.82 5883 sk1(sk3) = equilibrium(sk3) | growth_rate(first_movers,sk1(sk3)) = zero. [resolve(5881,c,5714,b),merge(c)].
% 1.54/1.82 5890 sk1(sk3) = equilibrium(sk3) | greater(zero,zero). [para(5883(b,1),5670(b,2)),merge(b)].
% 1.54/1.82 5891 sk1(sk3) = equilibrium(sk3). [resolve(5890,b,5714,b),merge(b)].
% 1.54/1.82 5892 greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),growth_rate(first_movers,sk4(equilibrium(sk3)))). [back_rewrite(3567),rewrite([5891(5)]),unit_del(a,3578)].
% 1.54/1.82 5897 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_unit_del(3627),unit_del(c,5892)].
% 1.54/1.82 5898 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_unit_del(3610),unit_del(c,5892)].
% 1.54/1.82 5903 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(5892,a,3641,b)].
% 1.54/1.82 5907 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero | -greater(zero,growth_rate(first_movers,sk4(equilibrium(sk3)))). [resolve(5897,b,3577,a)].
% 1.54/1.82 5911 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero | greater(zero,zero). [resolve(5898,b,3632,b),merge(b)].
% 1.54/1.82 5924 growth_rate(first_movers,sk4(equilibrium(sk3))) = zero. [resolve(5907,b,5903,b),merge(b)].
% 1.54/1.82 5929 greater(growth_rate(efficient_producers,sk4(equilibrium(sk3))),zero). [back_rewrite(5892),rewrite([5924(10)])].
% 1.54/1.82 5930 -greater(zero,zero). [back_rewrite(3577),rewrite([5924(13)]),unit_del(a,5929)].
% 1.54/1.82 5931 growth_rate(efficient_producers,sk4(equilibrium(sk3))) = zero. [back_unit_del(5911),unit_del(b,5930)].
% 1.54/1.82 5932 $F. [back_rewrite(5929),rewrite([5931(5)]),unit_del(a,5930)].
% 1.54/1.82
% 1.54/1.82 % SZS output end Refutation
% 1.54/1.82 ============================== end of proof ==========================
% 1.54/1.82
% 1.54/1.82 ============================== STATISTICS ============================
% 1.54/1.82
% 1.54/1.82 Given=2581. Generated=16851. Kept=5914. proofs=1.
% 1.54/1.82 Usable=28. Sos=5. Demods=4. Limbo=1, Disabled=5914. Hints=0.
% 1.54/1.82 Megabytes=5.92.
% 1.54/1.82 User_CPU=0.99, System_CPU=0.01, Wall_clock=1.
% 1.54/1.82
% 1.54/1.82 ============================== end of statistics =====================
% 1.54/1.82
% 1.54/1.82 ============================== end of search =========================
% 1.54/1.82
% 1.54/1.82 THEOREM PROVED
% 1.54/1.82 % SZS status Unsatisfiable
% 1.54/1.82
% 1.54/1.82 Exiting with 1 proof.
% 1.54/1.82
% 1.54/1.82 Process 6568 exit (max_proofs) Thu Jun 9 09:54:39 2022
% 1.54/1.82 Prover9 interrupted
%------------------------------------------------------------------------------